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 = 47235072, getVmSize() = 47235072, SCIPgetMemUsed() = 20474344, SCIPgetMemTotal() = 25028600, SCIPgetMemExternEstim() = 11006671
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
4.48/4.55 c ** Estimated virtualMemUsedAtSolver = 74033256, getVmSize() = 124813312, SCIPgetMemUsed() = 70809261, SCIPgetMemTotal() = 100043213, SCIPgetMemExternEstim() = 11006671
4.48/4.55 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
4.48/4.55 c Original Problem :
4.48/4.55 c Problem name : instance-4464478-1722385793
4.48/4.55 c Variables : 5644 (5644 binary, 0 integer, 0 implicit integer, 0 continuous)
4.48/4.55 c Constraints : 5812
4.48/4.55 c Objective sense : minimize
4.48/4.55 c Presolved Problem :
4.48/4.55 c Variables : 4910 (4910 binary, 0 integer, 0 implicit integer, 0 continuous)
4.48/4.55 c Constraints : 5059
4.48/4.55 c Constraints : Number
4.48/4.55 c knapsack : 1
4.48/4.55 c setppc : 1085
4.48/4.55 c orbitope : 3
4.48/4.55 c logicor : 3970
4.48/4.55 c ** Instance transfer method used: 0
4.48/4.56 c ** ParaScipInstance copy increased the number of variables. **
4.48/4.58 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.48/4.58 c Nodes Active
4.48/4.58 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
91.19/91.59 c 92 2 1 1 - 0.0000 -
98.07/98.46 c 98 8 7 1 - 0.0000 -
104.16/104.59 c 105 14 13 1 - 0.0000 -
110.44/110.89 c 111 21 20 1 - 0.0000 -
116.92/117.35 c 117 27 22 1 - 0.0000 -
122.01/122.44 c 122 52 29 1 - 0.0000 -
128.29/128.73 c 129 67 28 1 - 0.0000 -
133.87/134.36 c 134 73 28 1 - 0.0000 -
149.82/150.34 c 150 76 31 1 - 0.0000 -
155.11/155.62 c 156 90 31 1 - 0.0000 -
161.09/161.67 c 162 101 36 1 - 0.0000 -
166.68/167.24 c 167 104 39 1 - 0.0000 -
183.63/184.29 c 184 107 42 1 - 0.0000 -
204.59/205.25 c 205 110 45 1 - 0.0000 -
210.38/211.02 c 211 115 50 1 - 0.0000 -
216.65/217.30 c 217 119 54 1 - 0.0000 -
221.64/222.36 c 222 126 59 1 - 0.0000 -
227.23/227.97 c 228 131 64 1 - 0.0000 -
233.71/234.48 c 234 134 67 1 - 0.0000 -
243.39/244.16 c 244 137 70 1 - 0.0000 -
250.47/251.26 c 251 142 75 1 - 0.0000 -
261.64/262.42 c 262 147 80 1 - 0.0000 -
271.51/272.33 c 272 152 85 1 - 0.0000 -
279.79/280.68 c 281 157 90 1 - 0.0000 -
285.37/286.26 c 286 159 92 1 - 0.0000 -
293.65/294.59 c 295 162 95 1 - 0.0000 -
299.83/300.79 c 301 165 98 1 - 0.0000 -
307.22/308.14 c 308 167 100 1 - 0.0000 -
319.09/320.07 c 320 172 105 1 - 0.0000 -
325.27/326.30 c 326 176 109 1 - 0.0000 -
334.94/335.97 c 336 179 112 1 - 0.0000 -
346.02/347.00 c 347 182 115 1 - 0.0000 -
352.10/353.19 c 353 185 118 1 - 0.0000 -
362.57/363.62 c 364 187 120 1 - 0.0000 -
368.45/369.57 c 370 189 122 1 - 0.0000 -
375.83/376.97 c 377 192 125 1 - 0.0000 -
381.02/382.12 c 382 194 127 1 - 0.0000 -
393.58/394.78 c 395 197 130 1 - 0.0000 -
399.97/401.14 c 401 199 132 1 - 0.0000 -
417.93/419.14 c 419 202 135 1 - 0.0000 -
424.01/425.22 c 425 205 138 1 - 0.0000 -
512.08/513.52 c 514 207 140 1 - 0.0000 -
520.56/522.05 c 522 211 144 1 - 0.0000 -
526.93/528.48 c 528 213 146 1 - 0.0000 -
538.90/540.41 c 540 217 150 1 - 0.0000 -
549.26/550.87 c 551 222 155 1 - 0.0000 -
555.34/556.92 c 557 225 158 1 - 0.0000 -
561.02/562.60 c 563 227 160 1 - 0.0000 -
583.15/584.80 c 585 234 163 1 - 0.0000 -
589.13/590.89 c 591 252 163 1 - 0.0000 -
595.81/597.56 c 598 264 165 1 - 0.0000 -
601.69/603.45 c 603 273 168 1 - 0.0000 -
608.07/609.83 c 610 292 167 1 - 0.0000 -
614.36/616.13 c 616 304 173 1 - 0.0000 -
619.93/621.74 c 622 317 174 1 - 0.0000 -
625.22/627.01 c 627 325 174 1 - 0.0000 -
630.79/632.64 c 633 329 178 1 - 0.0000 -
635.87/637.71 c 638 335 180 1 - 0.0000 -
641.86/643.79 c 644 346 183 1 - 0.0000 -
647.25/649.16 c 649 356 187 1 - 0.0000 -
652.53/654.45 c 654 361 190 1 - 0.0000 -
658.70/660.66 c 661 371 192 1 - 0.0000 -
664.48/666.48 c 666 381 192 1 - 0.0000 -
670.36/672.30 c 672 391 194 1 - 0.0000 -
676.05/678.10 c 678 399 194 1 - 0.0000 -
682.23/684.21 c 684 405 198 1 - 0.0000 -
687.91/689.90 c 690 416 201 1 - 0.0000 -
692.89/694.94 c 695 426 205 1 - 0.0000 -
698.87/700.92 c 701 434 207 1 - 0.0000 -
704.65/706.73 c 707 440 211 1 - 0.0000 -
722.89/725.07 c 725 445 216 1 - 0.0000 -
729.28/731.43 c 731 450 221 1 - 0.0000 -
736.05/738.24 c 738 455 226 1 - 0.0000 -
741.84/744.05 c 744 465 228 1 - 0.0000 -
747.22/749.47 c 749 477 228 1 - 0.0000 -
753.39/755.70 c 756 479 230 1 - 0.0000 -
760.47/762.78 c 763 484 235 1 - 0.0000 -
766.45/768.71 c 769 508 237 1 - 0.0000 -
772.93/775.25 c 775 524 241 1 - 0.0000 -
781.20/783.55 c 784 526 243 1 - 0.0000 -
786.59/788.92 c 789 537 242 1 - 0.0000 -
792.07/794.43 c 794 554 241 1 - 0.0000 -
797.55/799.93 c 800 570 239 1 - 0.0000 -
803.74/806.18 c 806 584 241 1 - 0.0000 -
808.92/811.30 c 811 597 240 1 - 0.0000 -
815.00/817.45 c 817 605 242 1 - 0.0000 -
820.48/822.92 c 823 608 243 1 - 0.0000 -
831.34/833.87 c 834 617 246 1 - 0.0000 -
836.53/839.05 c 839 627 244 1 - 0.0000 -
842.31/844.80 c 845 642 243 1 - 0.0000 -
848.39/850.94 c 851 647 244 1 - 0.0000 -
853.57/856.18 c 856 660 243 1 - 0.0000 -
859.55/862.12 c 862 674 246 1 - 0.0000 -
865.54/868.15 c 868 687 243 1 - 0.0000 -
871.21/873.81 c 874 699 245 1 - 0.0000 -
877.40/880.02 c 880 709 245 1 - 0.0000 -
882.68/885.35 c 885 717 251 1 - 0.0000 -
888.56/891.28 c 891 727 251 1 - 0.0000 -
895.03/897.76 c 898 743 253 1 - 0.0000 -
900.22/902.91 c 903 755 253 1 - 0.0000 -
905.20/907.93 c 908 765 253 1 - 0.0000 -
910.39/913.18 c 913 773 255 1 - 0.0000 -
916.37/919.16 c 919 787 257 1 - 0.0000 -
921.65/924.42 c 924 792 258 1 - 0.0000 -
926.73/929.50 c 930 804 258 1 - 0.0000 -
932.61/935.44 c 935 813 259 1 - 0.0000 -
938.49/941.39 c 941 823 265 1 - 0.0000 -
944.98/947.87 c 948 826 268 1 - 0.0000 -
951.95/954.85 c 955 844 268 1 - 0.0000 -
956.94/959.86 c 960 853 271 1 - 0.0000 -
962.62/965.52 c 966 868 270 1 - 0.0000 -
967.90/970.84 c 971 884 274 1 - 0.0000 -
973.38/976.32 c 976 899 271 1 - 0.0000 -
979.17/982.14 c 982 916 272 1 - 0.0000 -
985.44/988.47 c 988 931 271 1 - 0.0000 -
991.03/994.05 c 994 943 273 1 - 0.0000 -
997.01/1000.01 c 1000 960 272 1 - 0.0000 -
1001.99/1005.04 c 1005 974 274 1 - 0.0000 -
1007.57/1010.68 c 1011 978 276 1 - 0.0000 -
1013.56/1016.68 c 1017 995 277 1 - 0.0000 -
1018.64/1021.70 c 1022 1006 276 1 - 0.0000 -
1024.43/1027.56 c 1028 1017 277 1 - 0.0000 -
1029.71/1032.81 c 1033 1033 276 1 - 0.0000 -
1034.79/1037.91 c 1038 1044 275 1 - 0.0000 -
1040.07/1043.29 c 1043 1057 274 1 - 0.0000 -
1046.16/1049.34 c 1049 1071 278 1 - 0.0000 -
1052.34/1055.56 c 1056 1079 273 1 - 0.0000 -
1058.02/1061.26 c 1061 1083 275 1 - 0.0000 -
1064.40/1067.64 c 1068 1089 279 1 - 0.0000 -
1070.28/1073.53 c 1074 1099 277 1 - 0.0000 -
1075.76/1079.08 c 1079 1109 277 1 - 0.0000 -
1081.34/1084.70 c 1085 1124 278 1 - 0.0000 -
1086.73/1090.06 c 1090 1137 275 1 - 0.0000 -
1092.41/1095.71 c 1096 1150 274 1 - 0.0000 -
1103.08/1106.49 c 1106 1158 276 1 - 0.0000 -
1108.76/1112.11 c 1112 1170 274 1 - 0.0000 -
1114.53/1117.96 c 1118 1179 279 1 - 0.0000 -
1119.62/1123.10 c 1123 1188 280 1 - 0.0000 -
1125.11/1128.55 c 1129 1196 282 1 - 0.0000 -
1130.69/1134.11 c 1134 1211 281 1 - 0.0000 -
1137.16/1140.65 c 1141 1224 280 1 - 0.0000 -
1142.65/1146.13 c 1146 1238 280 1 - 0.0000 -
1149.32/1152.83 c 1153 1252 280 1 - 0.0000 -
1154.61/1158.18 c 1158 1260 284 1 - 0.0000 -
1160.28/1163.82 c 1164 1276 282 1 - 0.0000 -
1165.78/1169.30 c 1169 1286 282 1 - 0.0000 -
1171.36/1174.92 c 1175 1294 282 1 - 0.0000 -
1177.83/1181.49 c 1182 1306 282 1 - 0.0000 -
1184.11/1187.75 c 1188 1314 284 1 - 0.0000 -
1189.40/1193.05 c 1193 1324 284 1 - 0.0000 -
1195.18/1198.86 c 1199 1329 287 1 - 0.0000 -
1201.56/1205.26 c 1205 1348 288 1 - 0.0000 -
1207.44/1211.15 c 1211 1363 287 1 - 0.0000 -
1213.52/1217.22 c 1217 1375 285 1 - 0.0000 -
1218.90/1222.62 c 1223 1388 286 1 - 0.0000 -
1224.08/1227.85 c 1228 1394 288 1 - 0.0000 -
1229.86/1233.67 c 1234 1406 290 1 - 0.0000 -
1235.15/1238.93 c 1239 1420 288 1 - 0.0000 -
1240.93/1244.75 c 1245 1435 285 1 - 0.0000 -
1246.91/1250.79 c 1251 1445 284 1 - 0.0000 -
1251.99/1255.89 c 1256 1453 284 1 - 0.0000 -
1258.18/1262.02 c 1262 1473 288 1 - 0.0000 -
1263.95/1267.82 c 1268 1491 286 1 - 0.0000 -
1269.74/1273.69 c 1274 1507 286 1 - 0.0000 -
1275.02/1278.94 c 1279 1526 287 1 - 0.0000 -
1280.90/1284.85 c 1285 1543 284 1 - 0.0000 -
1286.28/1290.22 c 1290 1556 283 1 - 0.0000 -
1292.66/1296.65 c 1297 1579 283 1 - 0.0000 -
1297.95/1301.93 c 1302 1598 284 1 - 0.0000 -
1303.53/1307.56 c 1308 1616 284 1 - 0.0000 -
1308.71/1312.78 c 1313 1628 284 1 - 0.0000 -
1314.79/1318.90 c 1319 1648 284 1 - 0.0000 -
1320.57/1324.67 c 1325 1664 286 1 - 0.0000 -
1326.45/1330.51 c 1331 1684 286 1 - 0.0000 -
1332.23/1336.37 c 1336 1704 286 1 - 0.0000 -
1337.82/1341.93 c 1342 1723 283 1 - 0.0000 -
1343.21/1347.30 c 1347 1735 283 1 - 0.0000 -
1348.39/1352.53 c 1353 1751 283 1 - 0.0000 -
1354.57/1358.74 c 1359 1766 280 1 - 0.0000 -
1360.07/1364.22 c 1364 1774 284 1 - 0.0000 -
1366.15/1370.33 c 1370 1795 285 1 - 0.0000 -
1371.34/1375.54 c 1376 1809 285 1 - 0.0000 -
1376.52/1380.70 c 1381 1821 283 1 - 0.0000 -
1381.71/1385.92 c 1386 1837 283 1 - 0.0000 -
1387.59/1391.85 c 1392 1856 286 1 - 0.0000 -
1392.98/1397.27 c 1397 1865 283 1 - 0.0000 -
1398.07/1402.34 c 1402 1877 283 1 - 0.0000 -
1404.26/1408.50 c 1408 1885 285 1 - 0.0000 -
1410.74/1415.03 c 1415 1903 285 1 - 0.0000 -
1415.93/1420.26 c 1420 1923 279 1 - 0.0000 -
1421.72/1426.03 c 1426 1937 279 1 - 0.0000 -
1427.30/1431.68 c 1432 1949 281 1 - 0.0000 -
1432.88/1437.26 c 1437 1961 277 1 - 0.0000 -
1438.57/1442.90 c 1443 1970 280 1 - 0.0000 -
1444.05/1448.46 c 1448 1982 282 1 - 0.0000 -
1450.03/1454.43 c 1454 1998 280 1 - 0.0000 -
1455.42/1459.85 c 1460 2009 279 1 - 0.0000 -
1461.20/1465.64 c 1466 2015 281 1 - 0.0000 -
1466.99/1471.50 c 1472 2024 280 1 - 0.0000 -
1472.37/1476.81 c 1477 2035 281 1 - 0.0000 -
1478.46/1482.99 c 1483 2048 282 1 - 0.0000 -
1483.65/1488.14 c 1488 2058 280 1 - 0.0000 -
1489.22/1493.71 c 1494 2070 282 1 - 0.0000 -
1494.91/1499.48 c 1499 2083 281 1 - 0.0000 -
1500.50/1505.02 c 1505 2092 280 1 - 0.0000 -
1506.59/1511.11 c 1511 2102 280 1 - 0.0000 -
1512.77/1517.36 c 1517 2113 281 1 - 0.0000 -
1517.85/1522.42 c 1522 2123 281 1 - 0.0000 -
1524.54/1529.10 c 1529 2133 281 1 - 0.0000 -
1530.62/1535.24 c 1535 2147 283 1 - 0.0000 -
1536.11/1540.77 c 1541 2157 283 1 - 0.0000 -
1542.79/1547.44 c 1547 2165 281 1 - 0.0000 -
1548.08/1552.76 c 1553 2175 283 1 - 0.0000 -
1554.26/1558.99 c 1559 2184 282 1 - 0.0000 -
1559.45/1564.13 c 1564 2192 282 1 - 0.0000 -
1565.23/1569.90 c 1570 2201 283 1 - 0.0000 -
1571.52/1576.25 c 1576 2218 284 1 - 0.0000 -
1576.81/1581.55 c 1582 2229 283 1 - 0.0000 -
1582.19/1586.97 c 1587 2237 285 1 - 0.0000 -
1588.77/1593.59 c 1594 2246 282 1 - 0.0000 -
1594.37/1599.14 c 1599 2254 282 1 - 0.0000 -
1599.54/1604.37 c 1604 2264 284 1 - 0.0000 -
1605.43/1610.20 c 1610 2272 282 1 - 0.0000 -
1611.41/1616.26 c 1616 2284 284 1 - 0.0000 -
1616.70/1621.54 c 1622 2293 281 1 - 0.0000 -
1621.79/1626.62 c 1627 2303 281 1 - 0.0000 -
1626.88/1631.79 c 1632 2316 282 1 - 0.0000 -
1633.06/1637.96 c 1638 2327 281 1 - 0.0000 -
1639.44/1644.37 c 1644 2338 280 1 - 0.0000 -
1644.63/1649.57 c 1650 2349 281 1 - 0.0000 -
1650.42/1655.39 c 1655 2362 278 1 - 0.0000 -
1662.99/1667.97 c 1668 2367 283 1 - 0.0000 -
1668.58/1673.52 c 1674 2378 284 1 - 0.0000 -
1721.55/1726.62 c 1727 2379 285 1 - 0.0000 -
1728.04/1733.15 c 1733 2390 288 1 - 0.0000 -
1734.12/1739.26 c 1739 2403 287 1 - 0.0000 -
1739.20/1744.39 c 1744 2415 285 1 - 0.0000 -
1744.29/1749.45 c 1749 2424 284 1 - 0.0000 -
1749.48/1754.66 c 1755 2440 282 1 - 0.0000 -
1755.06/1760.29 c 1760 2451 283 1 - 0.0000 -
1761.74/1766.91 c 1767 2460 284 1 - 0.0000 -
1775.21/1780.43 c 1780 2463 287 1 - 0.0000 -
1780.29/1785.51 c 1786 2469 287 1 - 0.0000 -
1785.28/1790.54 c 1791 2484 290 1 - 0.0000 -
1791.17/1796.43 c 1796 2498 290 1 - 0.0000 -
1796.35/1801.62 c 1802 2506 290 1 - 0.0000 -
1802.04/1807.37 c 1807 2519 291 1 - 0.0000 -
1808.33/1813.60 c 1814 2531 291 1 - 0.0000 -
1813.72/1819.04 c 1819 2540 288 1 - 0.0000 -
1819.80/1825.17 c 1825 2549 287 1 - 0.0000 -
1825.88/1831.22 c 1831 2563 289 1 - 0.0000 -
1831.57/1836.97 c 1837 2572 290 1 - 0.0000 -
1874.57/1880.00 c 1880 2574 0 1 - 0.0000 -
1897.30/1902.88 c 1903 2575 1 1 - 0.0000 -
1923.54/1929.16 c 1929 2583 9 1 - 0.0000 -
1939.80/1945.43 c 1945 2585 11 1 - 0.0000 -
1952.47/1958.12 c 1958 2586 12 1 - 0.0000 -
1969.43/1975.16 c 1975 2587 13 1 - 0.0000 -
1994.86/2000.66 c 2001 2588 14 1 - 0.0000 -
2000.45/2006.25 c 2006 2590 16 1 - 0.0000 -
2015.41/2021.25 c 2021 2591 17 1 - 0.0000 -
2041.34/2047.23 c 2047 2592 18 1 - 0.0000 -
2058.80/2064.78 c 2065 2593 19 1 - 0.0000 -
2075.95/2081.90 c 2082 2595 21 1 - 0.0000 -
2087.23/2093.24 c 2093 2597 23 1 - 0.0000 -
2097.90/2103.90 c 2104 2599 25 1 - 0.0000 -
2115.66/2121.75 c 2122 2601 27 1 - 0.0000 -
2126.53/2132.66 c 2133 2603 29 1 - 0.0000 -
2140.30/2146.44 c 2146 2605 31 1 - 0.0000 -
2145.99/2152.12 c 2152 2609 35 1 - 0.0000 -
2151.27/2157.42 c 2157 2617 37 1 - 0.0000 -
2158.95/2165.11 c 2165 2621 39 1 - 0.0000 -
2164.53/2170.79 c 2171 2635 39 1 - 0.0000 -
2170.42/2176.64 c 2177 2646 38 1 - 0.0000 -
2175.41/2181.67 c 2182 2654 36 1 - 0.0000 -
2180.59/2186.82 c 2187 2660 36 1 - 0.0000 -
2185.68/2191.96 c 2192 2670 40 1 - 0.0000 -
2191.37/2197.66 c 2198 2684 36 1 - 0.0000 -
2205.14/2211.48 c 2211 2687 39 1 - 0.0000 -
2211.42/2217.74 c 2218 2702 42 1 - 0.0000 -
2217.41/2223.72 c 2224 2711 39 1 - 0.0000 -
2223.29/2229.66 c 2230 2722 38 1 - 0.0000 -
2229.28/2235.60 c 2236 2732 44 1 - 0.0000 -
2234.77/2241.19 c 2241 2737 45 1 - 0.0000 -
2239.95/2246.36 c 2246 2745 45 1 - 0.0000 -
2246.23/2252.69 c 2253 2759 45 1 - 0.0000 -
2252.92/2259.38 c 2259 2770 44 1 - 0.0000 -
2258.71/2265.13 c 2265 2786 48 1 - 0.0000 -
2264.79/2271.20 c 2271 2803 45 1 - 0.0000 -
2270.58/2277.08 c 2277 2811 45 1 - 0.0000 -
2276.46/2282.95 c 2283 2821 41 1 - 0.0000 -
2282.55/2289.08 c 2289 2832 42 1 - 0.0000 -
2289.23/2295.74 c 2296 2843 43 1 - 0.0000 -
2294.41/2300.91 c 2301 2853 45 1 - 0.0000 -
2299.50/2306.00 c 2306 2864 44 1 - 0.0000 -
2305.49/2312.03 c 2312 2875 43 1 - 0.0000 -
2310.88/2317.40 c 2317 2883 41 1 - 0.0000 -
2316.16/2322.73 c 2323 2892 42 1 - 0.0000 -
2321.95/2328.52 c 2329 2903 43 1 - 0.0000 -
2335.32/2341.98 c 2342 2908 46 1 - 0.0000 -
2341.00/2347.60 c 2348 2917 49 1 - 0.0000 -
2346.99/2353.65 c 2354 2933 51 1 - 0.0000 -
2352.77/2359.42 c 2359 2947 49 1 - 0.0000 -
2357.76/2364.46 c 2364 2958 50 1 - 0.0000 -
2364.35/2371.01 c 2371 2968 50 1 - 0.0000 -
2370.93/2377.61 c 2378 2985 47 1 - 0.0000 -
2376.32/2383.00 c 2383 2995 47 1 - 0.0000 -
2382.50/2389.24 c 2389 3008 46 1 - 0.0000 -
2388.08/2394.83 c 2395 3017 49 1 - 0.0000 -
2394.17/2400.94 c 2401 3037 47 1 - 0.0000 -
2399.55/2406.38 c 2406 3050 48 1 - 0.0000 -
2404.93/2411.71 c 2412 3059 49 1 - 0.0000 -
2410.61/2417.42 c 2417 3070 52 1 - 0.0000 -
2415.70/2422.59 c 2423 3079 47 1 - 0.0000 -
2421.08/2427.96 c 2428 3089 51 1 - 0.0000 -
2426.56/2433.47 c 2433 3102 50 1 - 0.0000 -
2431.85/2438.77 c 2439 3111 49 1 - 0.0000 -
2437.13/2444.02 c 2444 3121 51 1 - 0.0000 -
2442.51/2449.41 c 2449 3129 51 1 - 0.0000 -
2449.00/2455.92 c 2456 3140 48 1 - 0.0000 -
2454.38/2461.37 c 2461 3154 50 1 - 0.0000 -
2460.56/2467.58 c 2468 3170 52 1 - 0.0000 -
2466.64/2473.60 c 2474 3181 51 1 - 0.0000 -
2472.42/2479.48 c 2479 3192 48 1 - 0.0000 -
2477.60/2484.69 c 2485 3201 47 1 - 0.0000 -
2483.29/2490.30 c 2490 3211 49 1 - 0.0000 -
2488.47/2495.55 c 2496 3221 49 1 - 0.0000 -
2493.65/2500.78 c 2501 3228 48 1 - 0.0000 -
2499.63/2506.72 c 2507 3239 49 1 - 0.0000 -
2504.72/2511.80 c 2512 3247 49 1 - 0.0000 -
2509.90/2517.07 c 2517 3260 48 1 - 0.0000 -
2515.18/2522.33 c 2522 3272 46 1 - 0.0000 -
2520.87/2528.10 c 2528 3279 47 1 - 0.0000 -
2526.25/2533.45 c 2533 3292 50 1 - 0.0000 -
2531.93/2539.18 c 2539 3309 51 1 - 0.0000 -
2537.21/2544.45 c 2544 3318 50 1 - 0.0000 -
2542.80/2550.01 c 2550 3330 50 1 - 0.0000 -
2549.07/2556.32 c 2556 3343 49 1 - 0.0000 -
2554.86/2562.14 c 2562 3359 47 1 - 0.0000 -
2560.13/2567.45 c 2567 3370 46 1 - 0.0000 -
2565.52/2572.86 c 2573 3378 48 1 - 0.0000 -
2571.40/2578.72 c 2579 3390 50 1 - 0.0000 -
2578.69/2586.05 c 2586 3401 49 1 - 0.0000 -
2584.37/2591.78 c 2592 3409 49 1 - 0.0000 -
2589.56/2596.99 c 2597 3422 50 1 - 0.0000 -
2594.94/2602.33 c 2602 3436 49 1 - 0.0000 -
2600.23/2607.60 c 2608 3449 50 1 - 0.0000 -
2605.21/2612.69 c 2613 3459 48 1 - 0.0000 -
2611.40/2618.82 c 2619 3471 50 1 - 0.0000 -
2616.48/2623.98 c 2624 3480 49 1 - 0.0000 -
2622.18/2629.63 c 2630 3491 46 1 - 0.0000 -
2627.57/2635.03 c 2635 3508 50 1 - 0.0000 -
2633.45/2640.94 c 2641 3519 46 1 - 0.0000 -
2639.64/2647.14 c 2647 3531 46 1 - 0.0000 -
2646.01/2653.54 c 2654 3542 47 1 - 0.0000 -
2651.50/2659.09 c 2659 3550 45 1 - 0.0000 -
2657.38/2664.94 c 2665 3563 44 1 - 0.0000 -
2662.67/2670.25 c 2670 3572 45 1 - 0.0000 -
2668.15/2675.71 c 2676 3584 43 1 - 0.0000 -
2673.54/2681.11 c 2681 3594 47 1 - 0.0000 -
2678.93/2686.58 c 2687 3605 48 1 - 0.0000 -
2685.01/2692.65 c 2693 3620 49 1 - 0.0000 -
2691.29/2698.90 c 2699 3639 50 1 - 0.0000 -
2696.28/2703.91 c 2704 3656 50 1 - 0.0000 -
2701.67/2709.32 c 2709 3663 53 1 - 0.0000 -
2707.55/2715.28 c 2715 3689 52 1 - 0.0000 -
2712.74/2720.42 c 2720 3703 50 1 - 0.0000 -
2718.43/2726.12 c 2726 3715 48 1 - 0.0000 -
2724.41/2732.17 c 2732 3726 49 1 - 0.0000 -
2730.30/2738.09 c 2738 3737 50 1 - 0.0000 -
2736.58/2744.30 c 2744 3751 52 1 - 0.0000 -
2741.66/2749.49 c 2750 3764 49 1 - 0.0000 -
2748.04/2755.86 c 2756 3779 52 1 - 0.0000 -
2754.03/2761.81 c 2762 3798 51 1 - 0.0000 -
2759.12/2766.97 c 2767 3808 51 1 - 0.0000 -
2764.50/2772.35 c 2772 3823 52 1 - 0.0000 -
2770.38/2778.23 c 2778 3842 51 1 - 0.0000 -
2775.68/2783.53 c 2784 3855 48 1 - 0.0000 -
2781.96/2789.82 c 2790 3874 47 1 - 0.0000 -
2787.45/2795.37 c 2795 3882 47 1 - 0.0000 -
2793.43/2801.35 c 2801 3886 47 1 - 0.0000 -
2799.02/2806.96 c 2807 3895 50 1 - 0.0000 -
2805.21/2813.12 c 2813 3906 49 1 - 0.0000 -
2810.20/2818.16 c 2818 3915 50 1 - 0.0000 -
2815.38/2823.30 c 2823 3923 52 1 - 0.0000 -
2820.86/2828.86 c 2829 3933 50 1 - 0.0000 -
2827.15/2835.14 c 2835 3945 50 1 - 0.0000 -
2833.63/2841.69 c 2842 3960 47 1 - 0.0000 -
2838.82/2846.88 c 2847 3971 52 1 - 0.0000 -
2845.70/2853.75 c 2854 3996 53 1 - 0.0000 -
2851.58/2859.60 c 2860 4022 53 1 - 0.0000 -
2857.27/2865.37 c 2865 4036 53 1 - 0.0000 -
2863.65/2871.71 c 2872 4050 49 1 - 0.0000 -
2869.64/2877.74 c 2878 4062 51 1 - 0.0000 -
2874.72/2882.84 c 2883 4075 50 1 - 0.0000 -
2881.11/2889.27 c 2889 4096 53 1 - 0.0000 -
2886.90/2895.07 c 2895 4112 51 1 - 0.0000 -
2892.58/2900.71 c 2901 4125 52 1 - 0.0000 -
2897.76/2905.96 c 2906 4144 53 1 - 0.0000 -
2903.85/2912.09 c 2912 4160 53 1 - 0.0000 -
2909.84/2918.10 c 2918 4182 53 1 - 0.0000 -
2915.02/2923.23 c 2923 4197 50 1 - 0.0000 -
2920.21/2928.40 c 2928 4204 51 1 - 0.0000 -
2925.29/2933.59 c 2934 4213 48 1 - 0.0000 -
2931.57/2939.82 c 2940 4233 50 1 - 0.0000 -
2937.56/2945.81 c 2946 4240 45 1 - 0.0000 -
2943.04/2951.33 c 2951 4242 45 1 - 0.0000 -
2948.73/2957.05 c 2957 4251 46 1 - 0.0000 -
2954.82/2963.17 c 2963 4259 44 1 - 0.0000 -
2960.00/2968.33 c 2968 4265 46 1 - 0.0000 -
2965.88/2974.27 c 2974 4276 51 1 - 0.0000 -
2972.57/2980.92 c 2981 4286 51 1 - 0.0000 -
2978.75/2987.11 c 2987 4293 46 1 - 0.0000 -
2984.93/2993.38 c 2993 4303 48 1 - 0.0000 -
2990.12/2998.52 c 2999 4311 45 1 - 0.0000 -
2996.40/3004.89 c 3005 4324 46 1 - 0.0000 -
3002.38/3010.86 c 3011 4335 47 1 - 0.0000 -
3007.58/3016.01 c 3016 4344 48 1 - 0.0000 -
3012.96/3021.42 c 3021 4353 45 1 - 0.0000 -
3018.24/3026.74 c 3027 4363 47 1 - 0.0000 -
3041.49/3050.05 c 3050 4371 49 1 - 0.0000 -
3047.77/3056.36 c 3056 4380 50 1 - 0.0000 -
3053.95/3062.50 c 3063 4390 52 1 - 0.0000 -
3059.64/3068.26 c 3068 4397 49 1 - 0.0000 -
3065.22/3073.85 c 3074 4405 47 1 - 0.0000 -
3071.21/3079.85 c 3080 4412 48 1 - 0.0000 -
3076.99/3085.61 c 3086 4422 48 1 - 0.0000 -
3082.99/3091.64 c 3092 4432 48 1 - 0.0000 -
3088.38/3097.09 c 3097 4442 44 1 - 0.0000 -
3095.05/3103.76 c 3104 4451 47 1 - 0.0000 -
3100.94/3109.67 c 3110 4461 47 1 - 0.0000 -
3106.52/3115.25 c 3115 4473 46 1 - 0.0000 -
3112.11/3120.80 c 3121 4485 44 1 - 0.0000 -
3118.30/3127.04 c 3127 4496 46 1 - 0.0000 -
3123.88/3132.62 c 3133 4506 46 1 - 0.0000 -
3130.26/3139.00 c 3139 4515 45 1 - 0.0000 -
3135.64/3144.48 c 3144 4532 44 1 - 0.0000 -
3141.53/3150.39 c 3150 4541 43 1 - 0.0000 -
3146.71/3155.55 c 3156 4548 46 1 - 0.0000 -
3153.80/3162.69 c 3163 4556 48 1 - 0.0000 -
3160.38/3169.28 c 3169 4565 47 1 - 0.0000 -
3165.76/3174.65 c 3175 4574 48 1 - 0.0000 -
3171.35/3180.22 c 3180 4582 48 1 - 0.0000 -
3177.93/3186.83 c 3187 4592 48 1 - 0.0000 -
3183.82/3192.71 c 3193 4602 48 1 - 0.0000 -
3189.11/3198.09 c 3198 4612 45 1 - 0.0000 -
3194.39/3203.34 c 3203 4619 46 1 - 0.0000 -
3199.97/3208.92 c 3209 4628 45 1 - 0.0000 -
3205.76/3214.76 c 3215 4637 46 1 - 0.0000 -
3213.94/3222.97 c 3223 4647 46 1 - 0.0000 -
3219.42/3228.45 c 3228 4654 47 1 - 0.0000 -
3224.61/3233.61 c 3234 4662 47 1 - 0.0000 -
3229.69/3238.77 c 3239 4671 46 1 - 0.0000 -
3235.08/3244.19 c 3244 4677 44 1 - 0.0000 -
3240.77/3249.82 c 3250 4684 45 1 - 0.0000 -
3247.15/3256.26 c 3256 4698 43 1 - 0.0000 -
3255.13/3264.29 c 3264 4705 46 1 - 0.0000 -
3261.02/3270.13 c 3270 4713 48 1 - 0.0000 -
3266.90/3276.04 c 3276 4727 48 1 - 0.0000 -
3273.18/3282.35 c 3282 4744 47 1 - 0.0000 -
3278.27/3287.49 c 3288 4757 48 1 - 0.0000 -
3284.56/3293.72 c 3294 4768 47 1 - 0.0000 -
3290.15/3299.37 c 3299 4780 47 1 - 0.0000 -
3296.23/3305.49 c 3305 4793 46 1 - 0.0000 -
3301.42/3310.69 c 3311 4805 48 1 - 0.0000 -
3307.70/3316.94 c 3317 4811 52 1 - 0.0000 -
3313.79/3323.05 c 3323 4824 48 1 - 0.0000 -
3319.67/3328.97 c 3329 4836 50 1 - 0.0000 -
3324.96/3334.22 c 3334 4847 49 1 - 0.0000 -
3330.04/3339.39 c 3339 4859 51 1 - 0.0000 -
3335.33/3344.67 c 3345 4869 49 1 - 0.0000 -
3342.41/3351.74 c 3352 4882 50 1 - 0.0000 -
3348.29/3357.67 c 3358 4892 50 1 - 0.0000 -
3353.58/3362.93 c 3363 4906 52 1 - 0.0000 -
3359.36/3368.79 c 3369 4917 51 1 - 0.0000 -
3365.05/3374.45 c 3374 4927 51 1 - 0.0000 -
3370.54/3379.98 c 3380 4942 50 1 - 0.0000 -
3376.72/3386.16 c 3386 4950 52 1 - 0.0000 -
3382.50/3391.90 c 3392 4960 52 1 - 0.0000 -
3388.69/3398.11 c 3398 4976 50 1 - 0.0000 -
3394.17/3403.67 c 3404 4982 50 1 - 0.0000 -
3400.66/3410.14 c 3410 4996 50 1 - 0.0000 -
3406.34/3415.80 c 3416 5003 51 1 - 0.0000 -
3411.53/3421.06 c 3421 5012 54 1 - 0.0000 -
3416.81/3426.32 c 3426 5025 53 1 - 0.0000 -
3422.00/3431.50 c 3432 5033 51 1 - 0.0000 -
3427.59/3437.16 c 3437 5041 51 1 - 0.0000 -
3433.07/3442.64 c 3443 5052 54 1 - 0.0000 -
3439.46/3449.05 c 3449 5066 54 1 - 0.0000 -
3444.74/3454.34 c 3454 5075 53 1 - 0.0000 -
3450.63/3460.21 c 3460 5083 53 1 - 0.0000 -
3456.21/3465.86 c 3466 5093 55 1 - 0.0000 -
3461.50/3471.11 c 3471 5106 52 1 - 0.0000 -
3466.50/3476.13 c 3476 5118 52 1 - 0.0000 -
3471.98/3481.63 c 3482 5129 51 1 - 0.0000 -
3477.67/3487.37 c 3487 5139 51 1 - 0.0000 -
3484.15/3493.87 c 3494 5151 53 1 - 0.0000 -
3490.13/3499.89 c 3500 5161 51 1 - 0.0000 -
3495.92/3505.65 c 3506 5174 50 1 - 0.0000 -
3502.80/3512.52 c 3513 5184 48 1 - 0.0000 -
3508.39/3518.14 c 3518 5191 49 1 - 0.0000 -
3514.27/3524.01 c 3524 5202 50 1 - 0.0000 -
3520.16/3529.99 c 3530 5220 52 1 - 0.0000 -
3525.25/3535.01 c 3535 5235 51 1 - 0.0000 -
3530.43/3540.22 c 3540 5239 53 1 - 0.0000 -
3536.41/3546.22 c 3546 5251 51 1 - 0.0000 -
3542.40/3552.29 c 3552 5260 50 1 - 0.0000 -
3548.29/3558.19 c 3558 5270 50 1 - 0.0000 -
3554.17/3564.00 c 3564 5282 50 1 - 0.0000 -
3559.26/3569.18 c 3569 5287 49 1 - 0.0000 -
3566.43/3576.36 c 3576 5291 51 1 - 0.0000 -
3572.32/3582.21 c 3582 5301 51 1 - 0.0000 -
3577.90/3587.85 c 3588 5311 53 1 - 0.0000 -
3583.09/3593.03 c 3593 5320 50 1 - 0.0000 -
3588.08/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.08/3598.05 c Total Time : 3598.0500
3588.08/3598.05 c solving : 3598.0500
3588.08/3598.05 c presolving : 4.5229 (included in solving)
3588.08/3598.05 c B&B Tree :
3588.08/3598.05 c nodes (total) : 1
3588.08/3598.05 c Solution :
3588.08/3598.05 c Solutions found : 0
3588.08/3598.05 c Primal Bound : -
3588.08/3598.05 c Dual Bound : +0.00000000000000e+00
3588.08/3598.05 c Gap : -
3588.08/3598.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55013 MiB free)
memory of node 1: 64473 MiB (63577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464478-1722385793/watcher-4464478-1722385793 -o /tmp/evaluation-result-4464478-1722385793/solver-4464478-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464478-1722385793.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=33213, runsolver pid=33210
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 33214
/proc/meminfo: memFree=121402352/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=56184 memory=45220 CPUtime=0.09 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 9694 0 0 0 8 1 0 0 20 0 1 0 5176298 57532416 11305 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 14046 11305 2662 3035 0 10442 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56184 KiB
Current children cumulated memory: 45220 KiB
[startup+0.205815 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 33214
/proc/meminfo: memFree=121391736/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=71060 memory=57356 CPUtime=0.2 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 13252 0 0 0 19 1 0 0 20 0 1 0 5176298 72765440 14339 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 17765 14339 2758 3035 0 14161 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71060 KiB
Current children cumulated memory: 57356 KiB
[startup+0.305769 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 33214
/proc/meminfo: memFree=121381852/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=79648 memory=66092 CPUtime=0.3 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 15411 0 0 0 28 2 0 0 20 0 1 0 5176298 81559552 16523 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 19912 16523 2774 3035 0 16308 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79648 KiB
Current children cumulated memory: 66092 KiB
[startup+0.700232 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 33214
/proc/meminfo: memFree=121466368/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=79780 memory=66092 CPUtime=0.69 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 15452 0 0 0 67 2 0 0 20 0 1 0 5176298 81694720 16523 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 19945 16523 2774 3035 0 16341 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79780 KiB
Current children cumulated memory: 66092 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.11 4.09 5/262 33260
/proc/meminfo: memFree=121906836/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=79780 memory=66880 CPUtime=1.49 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 15667 0 0 0 147 2 0 0 20 0 1 0 5176298 81694720 16720 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 19945 16720 2774 3035 0 16341 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79780 KiB
Current children cumulated memory: 66880 KiB
[startup+3.1055 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 33275
/proc/meminfo: memFree=121950056/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=79920 memory=67144 CPUtime=3.09 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 4194304 15675 0 0 0 307 2 0 0 20 0 1 0 5176298 81838080 16786 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 19980 16786 2774 3035 0 16376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79920 KiB
Current children cumulated memory: 67144 KiB
[startup+6.30028 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 33361
/proc/meminfo: memFree=121756976/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=214912 memory=160460 CPUtime=6.26 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 45468 0 0 0 621 5 0 0 20 0 3 0 5176298 220069888 40115 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 53728 40115 2950 3035 0 48439 0
[pid=33213/tid=33358] ppid=33210 vsize=214912 memory=-5155635708297833349 CPUtime=1.7 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 20467 0 0 0 168 2 0 0 20 0 3 0 5176754 220069888 40115 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=214912 memory=144728 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5176757 220069888 40115 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 214912 KiB
Current children cumulated memory: 160460 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 33363
/proc/meminfo: memFree=121684796/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=214912 memory=163460 CPUtime=12.6 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 54930 0 0 0 1254 6 0 0 20 0 3 0 5176298 220069888 40865 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 53728 40865 2966 3035 0 49142 0
[pid=33213/tid=33358] ppid=33210 vsize=214912 memory=163460 CPUtime=8.04 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 29913 0 0 0 802 2 0 0 20 0 3 0 5176754 220069888 40865 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=214912 memory=11400 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 5176757 220069888 40865 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 214912 KiB
Current children cumulated memory: 163460 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 33413
/proc/meminfo: memFree=127790024/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349716 memory=240696 CPUtime=25.37 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 87380 0 0 0 2528 9 0 0 20 0 3 0 5176298 358109184 60174 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87429 60174 2982 3035 0 68745 0
[pid=33213/tid=33358] ppid=33210 vsize=349716 memory=4612 CPUtime=20.82 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 62347 0 0 0 2076 6 0 0 20 0 3 0 5176754 358109184 60174 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=349716 memory=218260 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5176757 358109184 60174 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 349716 KiB
Current children cumulated memory: 240696 KiB
[startup+51.106 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 33521
/proc/meminfo: memFree=127692256/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349716 memory=261636 CPUtime=50.91 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 119158 0 0 0 5079 12 0 0 20 0 3 0 5176298 358109184 65409 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87429 65409 2982 3035 0 73008 0
[pid=33213/tid=33358] ppid=33210 vsize=349716 memory=261636 CPUtime=46.35 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 94111 0 0 0 4627 8 0 0 20 0 3 0 5176754 358109184 65409 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=349716 memory=261636 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5176757 358109184 65409 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 349716 KiB
Current children cumulated memory: 261636 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 33533
/proc/meminfo: memFree=127490868/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349852 memory=269536 CPUtime=101.96 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 150134 0 0 0 10182 14 0 0 20 0 3 0 5176298 358248448 67384 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87463 67384 2982 3035 0 73042 0
[pid=33213/tid=33358] ppid=33210 vsize=349852 memory=-7523662869084333695 CPUtime=97.4 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 125059 0 0 0 9729 11 0 0 20 0 3 0 5176754 358248448 67384 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=349852 memory=11400 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5176757 358248448 67384 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 349852 KiB
Current children cumulated memory: 269536 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/268 33544
/proc/meminfo: memFree=127400276/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349852 memory=272672 CPUtime=161.79 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 166577 0 0 0 16164 15 0 0 20 0 3 0 5176298 358248448 68168 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87463 68168 3030 3035 0 73042 0
[pid=33213/tid=33358] ppid=33210 vsize=349852 memory=269704 CPUtime=157.23 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 141453 0 0 0 15712 11 0 0 20 0 3 0 5176754 358248448 68168 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=349852 memory=11400 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 73 0 0 0 0 0 0 0 20 0 3 0 5176757 358248448 68168 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 349852 KiB
Current children cumulated memory: 272672 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/268 33554
/proc/meminfo: memFree=127314648/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349852 memory=279280 CPUtime=221.64 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 167957 0 0 0 22148 16 0 0 20 0 3 0 5176298 358248448 69820 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87463 69820 3030 3035 0 73042 0
[pid=33213/tid=33358] ppid=33210 vsize=349852 memory=279280 CPUtime=217.08 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 142814 0 0 0 21696 12 0 0 20 0 3 0 5176754 358248448 69820 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=349852 memory=2336 CPUtime=0 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 5176757 358248448 69820 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 349852 KiB
Current children cumulated memory: 279280 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 33565
/proc/meminfo: memFree=127279800/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=349852 memory=279280 CPUtime=281.48 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 168892 0 0 0 28132 16 0 0 20 0 3 0 5176298 358248448 69820 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 87463 69820 3030 3035 0 73042 0
[pid=33213/tid=33358] ppid=33210 vsize=349852 memory=279280 CPUtime=276.92 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 143714 0 0 0 27680 12 0 0 20 0 3 0 5176754 358248448 69820 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
################
# More data... #
################
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=12696 CPUtime=3388.16 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 258596 0 0 0 338782 34 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=315728 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 284 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/264 35218
/proc/meminfo: memFree=126623816/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3452.72 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 285225 0 0 0 345228 44 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3448 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 259156 0 0 0 344766 34 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=315728 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/266 35399
/proc/meminfo: memFree=126622264/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3512.57 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 285826 0 0 0 351212 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3507.86 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 259742 0 0 0 350751 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=12696 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/269 35415
/proc/meminfo: memFree=126622124/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3572.42 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286352 0 0 0 357197 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3567.7 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260246 0 0 0 356735 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=12696 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 294 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3598.07 s]
# the end of solver process 33213 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.7 s, system=0.460681 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.11 5/269 35415
/proc/meminfo: memFree=126622124/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3574.12 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286352 0 0 0 357367 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=7686721470247706567 CPUtime=3569.4 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260246 0 0 0 356905 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=2756 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 294 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3574.12 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 35415
/proc/meminfo: memFree=126622160/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3580.5 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286562 0 0 0 358005 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3575.78 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260453 0 0 0 357543 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=11400 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3580.5 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622020/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3583.69 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286589 0 0 0 358324 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3578.97 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260479 0 0 0 357862 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=315728 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622020/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3585.28 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286592 0 0 0 358483 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=1940 CPUtime=3580.56 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260482 0 0 0 358021 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=2336 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3585.28 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622028/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3586.88 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286596 0 0 0 358643 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=315728 CPUtime=3582.16 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260486 0 0 0 358181 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=315728 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3597.6 s]
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126622028/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3587.68 cores=1,3
/proc/33213/stat : 33213 (fscip) S 33210 33213 28847 0 -1 1077936128 286597 0 0 0 358723 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=7072 CPUtime=3582.96 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260487 0 0 0 358261 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=11400 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
[startup+3598 s]*
/proc/loadavg: 4.08 4.14 4.11 5/269 35416
/proc/meminfo: memFree=126620928/131524600 swapFree=131071216/131071996
[pid=33213] ppid=33210 vsize=346260 memory=315728 CPUtime=3588.08 cores=1,3
/proc/33213/stat : 33213 (fscip) R 33210 33213 28847 0 -1 1077936128 286599 0 0 0 358763 45 0 0 20 0 3 0 5176298 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
/proc/33213/statm: 86565 78932 3334 3035 0 81861 0
[pid=33213/tid=33358] ppid=33210 vsize=346260 memory=7686721470247706567 CPUtime=3583.36 cores=1,3
/proc/33213/task/33358/stat : 33358 (fscip) R 33210 33213 28847 0 -1 4194368 260489 0 0 0 358301 35 0 0 20 0 3 0 5176754 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
[pid=33213/tid=33359] ppid=33210 vsize=346260 memory=315728 CPUtime=0.03 cores=1,3
/proc/33213/task/33359/stat : 33359 (fscip) S 33210 33213 28847 0 -1 1077936192 296 0 0 0 1 2 0 0 20 0 3 0 5176757 354570240 78932 134679101440 4194304 16623229 140736132066704 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 39424000 140736132068374 140736132068490 140736132068490 140736132075504 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 346260 KiB
Current children cumulated memory: 315728 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.16
CPU user time (s): 3587.7
CPU system time (s): 0.460681
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 349992
Max. memory (cumulated for all children) (KiB): 315728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.7
system time used= 0.460681
maximum resident set size= 315728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287281
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= 7564
involuntary context switches= 1643
# summary of solver processes directly reported to runsolver:
# pid: 33213
# total CPU time (s): 3588.16
# total CPU user time (s): 3587.7
# total CPU system time (s): 0.460681
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.29393 second user time and 17.6797 second system time
The end
Begin job on nodeC017 at 2024-07-31 02:29:53
IDJOB=4464478
IDBENCH=158345
IDSOLVER=3092
FILE ID=nodeC017/4464478-1722385793
RUNJOBID= nodeC017-1722378594-28859
SLURM_JOB_ID= 8249830
Free space on /tmp= 889952 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.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-4464478-1722385793/watcher-4464478-1722385793 -o /tmp/evaluation-result-4464478-1722385793/solver-4464478-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464478-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bcb1c72c6ad4afea1adf0a0324f1d09c
RANDOM SEED=1367756045
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.806
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.515
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.323
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.861
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.257
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121437640 kB
MemAvailable: 122837420 kB
Buffers: 101184 kB
Cached: 2130308 kB
SwapCached: 52 kB
Active: 310840 kB
Inactive: 9284356 kB
Active(anon): 1472 kB
Inactive(anon): 7383408 kB
Active(file): 309368 kB
Inactive(file): 1900948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28996 kB
Writeback: 0 kB
AnonPages: 7361740 kB
Mapped: 120960 kB
Shmem: 21136 kB
KReclaimable: 58576 kB
Slab: 139540 kB
SReclaimable: 58576 kB
SUnreclaim: 80964 kB
KernelStack: 4284 kB
PageTables: 23688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5287492 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5533696 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC017 at 2024-07-31 03:29:51