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.22/0.27 c Default LC presolving (default).
0.22/0.28 c ** Before presolving: virtualMemUsedAtLc = 108828377, getVmSize() = 96600064, SCIPgetMemUsed() = 68613430, SCIPgetMemTotal() = 72646062, SCIPgetMemExternEstim() = 36182315
0.22/0.28 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
36.97/37.16 c ** Estimated virtualMemUsedAtSolver = 127337183, getVmSize() = 182968320, SCIPgetMemUsed() = 96481524, SCIPgetMemTotal() = 154823460, SCIPgetMemExternEstim() = 36182315
36.97/37.16 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
36.97/37.16 c Original Problem :
36.97/37.16 c Problem name : instance-4464708-1722390921
36.97/37.16 c Variables : 21582 (21582 binary, 0 integer, 0 implicit integer, 0 continuous)
36.97/37.16 c Constraints : 17546
36.97/37.16 c Objective sense : minimize
36.97/37.16 c Presolved Problem :
36.97/37.16 c Variables : 12288 (12288 binary, 0 integer, 0 implicit integer, 0 continuous)
36.97/37.16 c Constraints : 5282
36.97/37.16 c Constraints : Number
36.97/37.16 c knapsack : 860
36.97/37.16 c setppc : 4264
36.97/37.16 c logicor : 158
36.97/37.16 c ** Instance transfer method used: 0
36.97/37.20 c ** ParaScipInstance copy does not increase the number of variables. **
37.06/37.25 c LC is working with racing ramp-up and with rebuilding tree after racing.
37.06/37.25 c Nodes Active
37.06/37.25 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
165.46/166.01 c 166 2 1 1 - 16.3999 -
173.63/174.22 c 174 3 2 1 - 16.3999 -
184.51/185.18 c 185 4 3 1 - 16.3999 -
192.57/193.25 c 193 5 4 1 - 16.3999 -
204.13/204.86 c 205 6 5 1 - 16.3999 -
220.09/220.86 c 221 7 6 1 - 16.3999 -
232.27/233.05 c 233 8 7 1 - 16.3999 -
240.43/241.23 c 241 9 8 1 - 16.3999 -
249.41/250.21 c 250 10 9 1 - 16.3999 -
257.68/258.56 c 259 11 10 1 - 16.3999 -
271.94/272.85 c 273 12 11 1 - 16.3999 -
279.62/280.57 c 281 13 12 1 - 16.3999 -
301.07/302.11 c 302 14 13 1 - 16.3999 -
309.93/310.99 c 311 15 14 1 - 16.3999 -
365.28/366.40 c 366 16 15 1 - 16.3999 -
370.77/371.93 c 372 17 16 1 - 16.3999 -
382.73/383.91 c 384 18 17 1 - 16.3999 -
403.78/405.02 c 405 19 18 1 - 16.3999 -
416.54/417.86 c 418 20 19 1 - 16.3999 -
424.73/426.07 c 426 21 20 1 - 16.3999 -
430.71/432.09 c 432 22 21 1 - 16.3999 -
444.46/445.89 c 446 23 22 1 - 16.3999 -
458.02/459.44 c 459 24 23 1 - 16.3999 -
496.69/498.27 c 498 25 24 1 - 16.3999 -
507.05/508.65 c 509 26 25 1 - 16.3999 -
512.64/514.24 c 514 27 26 1 - 16.3999 -
520.21/521.89 c 522 29 28 1 - 16.3999 -
527.88/529.57 c 530 30 29 1 - 16.3999 -
534.47/536.11 c 536 32 31 1 - 16.3999 -
542.53/544.28 c 544 34 33 1 - 16.3999 -
547.91/549.68 c 550 35 34 1 - 16.3999 -
555.99/557.78 c 558 36 35 1 - 16.3999 -
695.39/697.60 c 698 38 37 1 - 16.3999 -
731.17/733.55 c 734 40 39 1 - 16.3999 -
738.24/740.64 c 741 42 41 1 - 16.3999 -
743.22/745.67 c 746 43 42 1 - 16.3999 -
777.91/780.47 c 780 45 44 1 - 16.3999 -
799.63/802.26 c 802 47 46 1 - 16.3999 -
850.95/853.71 c 854 48 47 1 - 16.3999 -
861.92/864.71 c 865 49 48 1 - 16.3999 -
868.69/871.59 c 872 50 49 1 - 16.3999 -
880.05/882.98 c 883 51 50 1 - 16.3999 -
892.22/895.12 c 895 52 51 1 - 16.3999 -
907.97/910.91 c 911 53 52 1 - 16.3999 -
932.01/935.09 c 935 55 54 1 - 16.3999 -
951.05/954.13 c 954 57 56 1 - 16.3999 -
957.32/960.44 c 960 58 57 1 - 16.3999 -
966.10/969.25 c 969 59 58 1 - 16.3999 -
973.39/976.52 c 977 60 59 1 - 16.3999 -
981.77/985.01 c 985 62 61 1 - 16.3999 -
991.74/994.93 c 995 63 62 1 - 16.3999 -
1008.81/1012.08 c 1012 67 66 1 - 16.3999 -
1016.79/1020.08 c 1020 68 67 1 - 16.3999 -
1024.36/1027.69 c 1028 69 68 1 - 16.3999 -
1036.84/1040.17 c 1040 71 70 1 - 16.3999 -
1049.81/1053.18 c 1053 72 71 1 - 16.4013 -
1056.69/1060.07 c 1060 73 72 1 - 16.4013 -
1068.85/1072.28 c 1072 75 74 1 - 16.4013 -
1079.22/1082.66 c 1083 76 75 1 - 16.4013 -
1087.80/1091.27 c 1091 77 76 1 - 16.4013 -
1112.15/1115.66 c 1116 79 78 1 - 16.4013 -
1127.31/1130.86 c 1131 80 79 1 - 16.4013 -
1133.30/1136.87 c 1137 81 80 1 - 16.4013 -
1138.59/1142.14 c 1142 82 81 1 - 16.4015 -
1150.16/1153.79 c 1154 83 82 1 - 16.4015 -
1172.41/1176.09 c 1176 85 84 1 - 16.4015 -
1187.27/1190.91 c 1191 86 85 1 - 16.4015 -
1209.92/1213.68 c 1214 89 88 1 - 16.4015 -
1233.76/1237.57 c 1238 91 90 1 - 16.4015 -
1239.84/1243.65 c 1244 92 91 1 - 16.4032 -
1252.22/1256.06 c 1256 94 93 1 - 16.4032 -
1265.48/1269.37 c 1269 95 94 1 - 16.4032 -
1289.42/1293.34 c 1293 96 95 1 - 16.4032 -
1317.95/1321.94 c 1322 97 96 1 - 16.4032 -
1325.04/1329.06 c 1329 98 97 1 - 16.4032 -
1338.12/1342.18 c 1342 99 98 1 - 16.4032 -
1344.39/1348.46 c 1348 101 100 1 - 16.4032 -
1358.26/1362.33 c 1362 103 102 1 - 16.4032 -
1364.84/1368.98 c 1369 104 103 1 - 16.4032 -
1372.93/1377.03 c 1377 105 104 1 - 16.4032 -
1410.23/1414.45 c 1414 107 106 1 - 16.4032 -
1422.10/1426.39 c 1426 111 110 1 - 16.4032 -
1427.80/1432.10 c 1432 112 111 1 - 16.4040 -
1435.17/1439.44 c 1439 113 112 1 - 16.4040 -
1443.15/1447.42 c 1447 115 114 1 - 16.4040 -
1452.13/1456.40 c 1456 120 119 1 - 16.4040 -
1475.07/1479.45 c 1479 122 121 1 - 16.4040 -
1486.96/1491.32 c 1491 123 124 1 - 16.4040 -
1496.03/1500.47 c 1500 126 123 1 - 16.4040 -
1501.41/1505.81 c 1506 127 124 1 - 16.4040 -
1507.80/1512.28 c 1512 130 127 1 - 16.4040 -
1518.17/1522.63 c 1523 132 129 1 - 16.4040 -
1539.32/1543.80 c 1544 134 131 1 - 16.4040 -
1546.01/1550.59 c 1551 138 135 1 - 16.4040 -
1555.60/1560.18 c 1560 139 136 1 - 16.4040 -
1569.46/1574.05 c 1574 142 139 1 - 16.4040 -
1587.21/1591.80 c 1592 145 142 1 - 16.4040 -
1602.98/1607.61 c 1608 147 144 1 - 16.4040 -
1607.96/1612.64 c 1613 149 146 1 - 16.4040 -
1613.55/1618.28 c 1618 152 149 1 - 16.4040 -
1625.62/1630.30 c 1630 153 150 1 - 16.4040 -
1643.17/1647.92 c 1648 157 154 1 - 16.4040 -
1653.85/1658.62 c 1659 162 159 1 - 16.4040 -
1678.70/1683.52 c 1684 165 162 1 - 16.4040 -
1694.76/1699.69 c 1700 170 167 1 - 16.4040 -
1706.43/1711.38 c 1711 173 170 1 - 16.4040 -
1728.68/1733.66 c 1734 178 175 1 - 16.4040 -
1738.25/1743.26 c 1743 182 179 1 - 16.4040 -
1750.32/1755.37 c 1755 186 183 1 - 16.4040 -
1765.19/1770.23 c 1770 190 187 1 - 16.4040 -
1775.47/1780.53 c 1781 194 191 1 - 16.4040 -
1786.44/1791.52 c 1792 198 195 1 - 16.4040 -
1796.11/1801.26 c 1801 202 199 1 - 16.4040 -
1803.01/1808.12 c 1808 206 203 1 - 16.4040 -
1808.58/1813.75 c 1814 209 206 1 - 16.4040 -
1846.00/1851.22 c 1851 212 209 1 - 16.4040 -
1855.67/1861.01 c 1861 213 210 1 - 16.4040 -
1863.77/1869.07 c 1869 215 212 1 - 16.4040 -
1876.92/1882.28 c 1882 219 216 1 - 16.4040 -
1883.01/1888.31 c 1888 221 218 1 - 16.4040 -
1888.81/1894.16 c 1894 223 220 1 - 16.4040 -
1904.26/1909.66 c 1910 227 224 1 - 16.4040 -
1909.84/1915.23 c 1915 229 226 1 - 16.4040 -
1918.83/1924.25 c 1924 231 228 1 - 16.4040 -
1940.88/1946.38 c 1946 232 229 1 - 16.4062 -
1947.46/1953.01 c 1953 234 231 1 - 16.4062 -
1954.14/1959.67 c 1960 235 232 1 - 16.4062 -
1963.92/1969.48 c 1969 239 236 1 - 16.4062 -
1973.70/1979.27 c 1979 243 240 1 - 16.4062 -
1982.67/1988.28 c 1988 247 244 1 - 16.4062 -
1989.47/1995.02 c 1995 251 248 1 - 16.4062 -
1998.94/2004.50 c 2004 253 250 1 - 16.4062 -
2013.00/2018.63 c 2019 255 252 1 - 16.4062 -
2019.59/2025.28 c 2025 258 255 1 - 16.4062 -
2027.38/2033.07 c 2033 259 256 1 - 16.4062 -
2069.67/2075.40 c 2075 261 258 1 - 16.4062 -
2080.25/2086.10 c 2086 263 260 1 - 16.4062 -
2088.62/2094.46 c 2094 266 263 1 - 16.4062 -
2098.70/2104.53 c 2105 268 265 1 - 16.4062 -
2137.31/2143.27 c 2143 271 268 1 - 16.4062 -
2147.38/2153.34 c 2153 274 271 1 - 16.4062 -
2158.56/2164.57 c 2165 277 274 1 - 16.4062 -
2170.93/2176.91 c 2177 278 275 1 - 16.4062 -
2186.59/2192.67 c 2193 280 277 1 - 16.4062 -
2193.57/2199.64 c 2200 283 280 1 - 16.4062 -
2205.06/2211.12 c 2211 289 286 1 - 16.4062 -
2215.52/2221.64 c 2222 290 287 1 - 16.4062 -
2225.91/2232.09 c 2232 293 290 1 - 16.4062 -
2237.17/2243.30 c 2243 297 294 1 - 16.4062 -
2244.36/2250.50 c 2250 300 297 1 - 16.4062 -
2251.74/2257.94 c 2258 302 299 1 - 16.4072 -
2256.94/2263.19 c 2263 303 300 1 - 16.4072 -
2263.11/2269.38 c 2269 304 301 1 - 16.4072 -
2273.09/2279.32 c 2279 305 302 1 - 16.4072 -
2290.25/2296.59 c 2297 308 305 1 - 16.4072 -
2295.54/2301.87 c 2302 310 307 1 - 16.4072 -
2304.83/2311.15 c 2311 311 308 1 - 16.4072 -
2311.20/2317.57 c 2318 312 309 1 - 16.4081 -
2319.28/2325.65 c 2326 313 310 1 - 16.4081 -
2324.37/2330.74 c 2331 314 311 1 - 16.4081 -
2333.54/2339.97 c 2340 315 312 1 - 16.4081 -
2345.32/2351.76 c 2352 320 317 1 - 16.4081 -
2367.77/2374.27 c 2374 326 323 1 - 16.4081 -
2374.15/2380.64 c 2381 328 323 1 - 16.4081 -
2382.03/2388.57 c 2389 331 326 1 - 16.4081 -
2393.71/2400.24 c 2400 332 327 1 - 16.4081 -
2398.70/2405.29 c 2405 333 328 1 - 16.4081 -
2405.78/2412.37 c 2412 335 330 1 - 16.4081 -
2421.94/2428.52 c 2429 337 332 1 - 16.4081 -
2429.32/2435.90 c 2436 340 335 1 - 16.4081 -
2439.70/2446.33 c 2446 341 336 1 - 16.4081 -
2454.87/2461.57 c 2462 344 339 1 - 16.4081 -
2460.75/2467.46 c 2467 347 342 1 - 16.4081 -
2469.72/2476.44 c 2476 349 344 1 - 16.4081 -
2487.68/2494.48 c 2494 351 346 1 - 16.4081 -
2497.17/2504.01 c 2504 354 349 1 - 16.4081 -
2507.64/2514.41 c 2514 355 350 1 - 16.4081 -
2514.24/2521.06 c 2521 358 353 1 - 16.4081 -
2523.40/2530.29 c 2530 363 358 1 - 16.4081 -
2535.29/2542.17 c 2542 365 360 1 - 16.4081 -
2540.56/2547.49 c 2547 366 361 1 - 16.4081 -
2554.24/2561.17 c 2561 369 364 1 - 16.4081 -
2559.42/2566.34 c 2566 370 365 1 - 16.4081 -
2566.40/2573.38 c 2573 372 367 1 - 16.4081 -
2590.64/2597.60 c 2598 378 373 1 - 16.4081 -
2601.13/2608.14 c 2608 380 375 1 - 16.4081 -
2610.90/2617.93 c 2618 383 378 1 - 16.4081 -
2621.38/2628.48 c 2628 385 380 1 - 16.4081 -
2628.46/2635.57 c 2636 387 382 1 - 16.4081 -
2636.84/2644.01 c 2644 391 386 1 - 16.4081 -
2647.42/2654.58 c 2655 392 387 1 - 16.4109 -
2653.30/2660.47 c 2660 393 388 1 - 16.4109 -
2661.38/2668.56 c 2669 395 390 1 - 16.4109 -
2672.16/2679.37 c 2679 400 395 1 - 16.4109 -
2694.10/2701.36 c 2701 404 399 1 - 16.4109 -
2705.18/2712.46 c 2712 407 402 1 - 16.4109 -
2714.06/2721.38 c 2721 409 404 1 - 16.4109 -
2722.44/2729.79 c 2730 414 409 1 - 16.4109 -
2727.73/2735.10 c 2735 419 414 1 - 16.4109 -
2746.48/2753.86 c 2754 422 417 1 - 16.4238 -
2758.76/2766.17 c 2766 425 420 1 - 16.4238 -
2768.04/2775.46 c 2775 426 421 1 - 16.4238 -
2783.00/2790.45 c 2790 429 424 1 - 16.4238 -
2788.99/2796.42 c 2796 430 425 1 - 16.4238 -
2804.25/2811.70 c 2812 434 429 1 - 16.4238 -
2811.54/2819.09 c 2819 437 432 1 - 16.4238 -
2821.91/2829.45 c 2829 438 433 1 - 16.4238 -
2828.70/2836.26 c 2836 440 435 1 - 16.4238 -
2836.08/2843.67 c 2844 442 437 1 - 16.4238 -
2841.97/2849.50 c 2849 443 438 1 - 16.4238 -
2851.15/2858.79 c 2859 445 440 1 - 16.4238 -
2865.43/2873.09 c 2873 446 441 1 - 16.4238 -
2883.48/2891.11 c 2891 449 442 1 - 16.4238 -
2891.36/2899.05 c 2899 452 445 1 - 16.4238 -
2900.83/2908.53 c 2909 454 447 1 - 16.4238 -
2910.32/2918.05 c 2918 457 450 1 - 16.4238 -
2919.69/2927.48 c 2927 461 454 1 - 16.4238 -
2925.58/2933.37 c 2933 462 455 1 - 16.4251 -
2932.66/2940.47 c 2940 463 456 1 - 16.4251 -
2939.54/2947.39 c 2947 465 458 1 - 16.4251 -
2946.02/2953.83 c 2954 467 460 1 - 16.4251 -
2959.69/2967.54 c 2968 469 462 1 - 16.4251 -
2968.47/2976.35 c 2976 472 465 1 - 16.4251 -
2974.75/2982.60 c 2983 475 468 1 - 16.4251 -
2983.15/2991.06 c 2991 477 470 1 - 16.4251 -
2993.01/3000.94 c 3001 481 474 1 - 16.4251 -
3004.38/3012.30 c 3012 485 478 1 - 16.4251 -
3012.08/3020.04 c 3020 488 481 1 - 16.4251 -
3025.84/3033.85 c 3034 489 482 1 - 16.4251 -
3032.82/3040.86 c 3041 492 485 1 - 16.4251 -
3043.30/3051.32 c 3051 493 486 1 - 16.4251 -
3060.86/3068.93 c 3069 496 489 1 - 16.4251 -
3066.14/3074.27 c 3074 497 490 1 - 16.4251 -
3076.52/3084.63 c 3085 500 491 1 - 16.4251 -
3084.60/3092.72 c 3093 502 493 1 - 16.4251 -
3096.58/3104.77 c 3105 509 500 1 - 16.4251 -
3102.76/3110.96 c 3111 512 503 1 - 16.4251 -
3108.15/3116.38 c 3116 514 505 1 - 16.4251 -
3114.53/3122.80 c 3123 517 508 1 - 16.4251 -
3121.52/3129.72 c 3130 520 511 1 - 16.4251 -
3136.08/3144.39 c 3144 525 514 1 - 16.4251 -
3142.57/3150.87 c 3151 530 519 1 - 16.4251 -
3160.33/3168.62 c 3169 531 520 1 - 16.4251 -
3166.61/3175.00 c 3175 536 523 1 - 16.4251 -
3194.76/3203.12 c 3203 537 524 1 - 16.4251 -
3202.33/3210.73 c 3211 541 528 1 - 16.4251 -
3207.62/3216.03 c 3216 542 529 1 - 16.4258 -
3213.80/3222.26 c 3222 543 530 1 - 16.4258 -
3220.38/3228.88 c 3229 546 533 1 - 16.4258 -
3225.69/3234.13 c 3234 547 534 1 - 16.4258 -
3231.76/3240.25 c 3240 548 535 1 - 16.4258 -
3277.75/3286.32 c 3286 551 538 1 - 16.4258 -
3294.61/3303.21 c 3303 552 539 1 - 16.4259 -
3299.61/3308.28 c 3308 553 540 1 - 16.4259 -
3332.23/3340.93 c 3341 554 541 1 - 16.4259 -
3346.80/3355.51 c 3356 556 543 1 - 16.4259 -
3372.14/3380.97 c 3381 557 544 1 - 16.4259 -
3380.72/3389.52 c 3390 559 546 1 - 16.4259 -
3389.79/3398.67 c 3399 562 549 1 - 16.4259 -
3433.70/3442.61 c 3443 563 550 1 - 16.4259 -
3444.58/3453.59 c 3454 566 553 1 - 16.4259 -
3452.76/3461.76 c 3462 568 555 1 - 16.4259 -
3459.94/3468.90 c 3469 572 559 1 - 16.4259 -
3471.21/3480.25 c 3480 573 560 1 - 16.4259 -
3481.39/3490.46 c 3490 576 563 1 - 16.4259 -
3487.09/3496.19 c 3496 579 566 1 - 16.4259 -
3493.36/3502.48 c 3502 581 568 1 - 16.4259 -
3529.18/3538.38 c 3538 582 569 1 - 16.4266 -
3535.17/3544.33 c 3544 583 570 1 - 16.4266 -
3546.95/3556.18 c 3556 585 572 1 - 16.4266 -
3557.31/3566.54 c 3567 587 574 1 - 16.4266 -
3564.10/3573.35 c 3573 591 578 1 - 16.4266 -
3578.56/3587.90 c 3588 593 580 1 - 16.4275 -
3584.25/3593.59 c 3594 594 581 1 - 16.4275 -
3588.75/3598.09 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.75/3598.09 c Total Time : 3598.0900
3588.75/3598.09 c solving : 3598.0900
3588.75/3598.09 c presolving : 36.8886 (included in solving)
3588.75/3598.09 c B&B Tree :
3588.75/3598.09 c nodes (total) : 1
3588.75/3598.09 c Solution :
3588.75/3598.09 c Solutions found : 0
3588.75/3598.09 c Primal Bound : -
3588.75/3598.09 c Dual Bound : +1.64275295299975e+01
3588.75/3598.09 c Gap : -
3588.85/3598.19 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: 64096 MiB (62169 MiB free)
memory of node 1: 64473 MiB (63855 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464708-1722390921/watcher-4464708-1722390921 -o /tmp/evaluation-result-4464708-1722390921/solver-4464708-1722390921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722390921-35059 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464708-1722390921.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=35291, runsolver pid=35285
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.08 1.11 1.66 6/244 35363
/proc/meminfo: memFree=128988724/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=51964 memory=40456 CPUtime=0.11 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 7976 0 0 0 8 3 0 0 20 0 1 0 5463234 53211136 10114 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 12991 10114 2347 3035 0 9387 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 51964 KiB
Current children cumulated memory: 40456 KiB
[startup+0.215313 s]*
/proc/loadavg: 1.08 1.11 1.66 6/252 35439
/proc/meminfo: memFree=128909992/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=81012 memory=70876 CPUtime=0.22 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 15495 0 0 0 17 5 0 0 20 0 1 0 5463234 82956288 17719 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 20253 17719 2555 3035 0 16649 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 81012 KiB
Current children cumulated memory: 70876 KiB
[startup+0.315124 s]*
/proc/loadavg: 1.08 1.11 1.66 6/247 35466
/proc/meminfo: memFree=128853232/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=101496 memory=87992 CPUtime=0.31 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 19726 0 0 0 25 6 0 0 20 0 1 0 5463234 103931904 21998 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 25374 21998 2614 3035 0 21770 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 101496 KiB
Current children cumulated memory: 87992 KiB
[startup+0.700359 s]
/proc/loadavg: 1.08 1.11 1.66 5/241 35484
/proc/meminfo: memFree=128869160/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=122060 memory=108324 CPUtime=0.68 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 26416 0 0 0 60 8 0 0 20 0 1 0 5463234 124989440 27081 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 30515 27081 2678 3035 0 26911 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122060 KiB
Current children cumulated memory: 108324 KiB
[startup+1.50036 s]
/proc/loadavg: 1.08 1.11 1.66 5/244 35490
/proc/meminfo: memFree=128760292/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=127032 memory=113188 CPUtime=1.48 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 28661 0 0 0 139 9 0 0 20 0 1 0 5463234 130080768 28297 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 31758 28297 2790 3035 0 28154 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 127032 KiB
Current children cumulated memory: 113188 KiB
[startup+3.11349 s]
/proc/loadavg: 1.08 1.11 1.66 5/248 35524
/proc/meminfo: memFree=128519420/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=135404 memory=120844 CPUtime=3.09 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 30586 0 0 0 300 9 0 0 20 0 1 0 5463234 138653696 30211 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 33851 30211 2790 3035 0 30247 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 135404 KiB
Current children cumulated memory: 120844 KiB
[startup+6.30032 s]
/proc/loadavg: 1.31 1.16 1.68 5/248 35526
/proc/meminfo: memFree=128503100/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=142956 memory=128164 CPUtime=6.26 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 33482 0 0 0 617 9 0 0 20 0 1 0 5463234 146386944 32041 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 35739 32041 2790 3035 0 32135 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 142956 KiB
Current children cumulated memory: 128164 KiB
[startup+12.7003 s]
/proc/loadavg: 1.53 1.21 1.69 5/250 35574
/proc/meminfo: memFree=128492568/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=149992 memory=135340 CPUtime=12.64 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 35598 0 0 0 1255 9 0 0 20 0 1 0 5463234 153591808 33835 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 37498 33835 2790 3035 0 33894 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149992 KiB
Current children cumulated memory: 135340 KiB
[startup+25.5003 s]
/proc/loadavg: 2.15 1.36 1.73 5/250 35575
/proc/meminfo: memFree=128310288/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=151320 memory=136396 CPUtime=25.4 cores=1,3
/proc/35291/stat : 35291 (fscip) R 35285 35291 35020 0 -1 4194304 35901 0 0 0 2531 9 0 0 20 0 1 0 5463234 154951680 34099 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 37830 34099 2790 3035 0 34226 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 151320 KiB
Current children cumulated memory: 136396 KiB
[startup+51.112 s]
/proc/loadavg: 2.84 1.59 1.80 5/247 35680
/proc/meminfo: memFree=128182400/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=345100 memory=266004 CPUtime=50.92 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 87958 0 0 0 5072 20 0 0 20 0 3 0 5463234 353382400 66501 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 86275 66501 2950 3035 0 76213 0
[pid=35291/tid=35579] ppid=35285 vsize=345100 memory=266000 CPUtime=13.85 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 45712 0 0 0 1376 9 0 0 20 0 3 0 5466950 353382400 66501 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=345100 memory=264816 CPUtime=0 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5466959 353382400 66501 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 345100 KiB
Current children cumulated memory: 266004 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.98 1.92 5/251 35785
/proc/meminfo: memFree=123901632/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=432784 memory=314788 CPUtime=101.96 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 168547 0 0 0 10170 26 0 0 20 0 3 0 5463234 443170816 78697 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 108196 78697 2982 3035 0 89152 0
[pid=35291/tid=35579] ppid=35285 vsize=432784 memory=309892 CPUtime=64.89 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 126266 0 0 0 6474 15 0 0 20 0 3 0 5466950 443170816 78697 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=432784 memory=309540 CPUtime=0 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 5466959 443170816 78697 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 432784 KiB
Current children cumulated memory: 314788 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.38 2.07 5/249 35843
/proc/meminfo: memFree=123037856/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=432784 memory=369460 CPUtime=161.77 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 228441 0 0 0 16146 31 0 0 20 0 3 0 5463234 443170816 92365 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 108196 92365 2982 3035 0 102158 0
[pid=35291/tid=35579] ppid=35285 vsize=432784 memory=320560 CPUtime=124.7 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 186142 0 0 0 12449 21 0 0 20 0 3 0 5466950 443170816 92365 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=432784 memory=324612 CPUtime=0 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 5466959 443170816 92365 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 432784 KiB
Current children cumulated memory: 369460 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 2.75 2.22 5/252 36025
/proc/meminfo: memFree=120983020/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=432784 memory=377924 CPUtime=221.59 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 244013 0 0 0 22126 33 0 0 20 0 3 0 5463234 443170816 94481 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 108196 94481 3030 3035 0 102158 0
[pid=35291/tid=35579] ppid=35285 vsize=432784 memory=373260 CPUtime=184.51 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 201665 0 0 0 18429 22 0 0 20 0 3 0 5466950 443170816 94481 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=432784 memory=11392 CPUtime=0 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 85 0 0 0 0 0 0 0 20 0 3 0 5466959 443170816 94481 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 432784 KiB
Current children cumulated memory: 377924 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.01 2.34 5/252 36035
/proc/meminfo: memFree=120928328/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=432784 memory=380480 CPUtime=281.41 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 253326 0 0 0 28108 33 0 0 20 0 3 0 5463234 443170816 95120 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 108196 95120 3030 3035 0 102158 0
[pid=35291/tid=35579] ppid=35285 vsize=432784 memory=378208 CPUtime=244.34 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 210952 0 0 0 24412 22 0 0 20 0 3 0 5466950 443170816 95120 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=432784 memory=5548 CPUtime=0 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 91 0 0 0 0 0 0 0 20 0 3 0 5466959 443170816 95120 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 432784 KiB
Current children cumulated memory: 380480 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.45 5/252 36061
/proc/meminfo: memFree=120936000/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=432784 memory=388836 CPUtime=341.24 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 253687 0 0 0 34091 33 0 0 20 0 3 0 5463234 443170816 97209 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 108196 97209 3030 3035 0 102158 0
################
# More data... #
################
Current children cumulated memory: 551952 KiB
[startup+3402.3 s]
/proc/loadavg: 3.16 3.12 3.13 4/243 37268
/proc/meminfo: memFree=123404360/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=552000 CPUtime=3393.49 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 473022 0 0 0 339282 67 0 0 20 0 3 0 5463234 644497408 138000 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138000 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=551952 CPUtime=3356.33 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 429356 0 0 0 335582 51 0 0 20 0 3 0 5466950 644497408 138000 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=551984 CPUtime=0.04 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 347 0 0 0 1 3 0 0 20 0 3 0 5466959 644497408 138000 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3393.49 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 552000 KiB
[startup+3462.3 s]
/proc/loadavg: 3.18 3.13 3.13 4/243 37280
/proc/meminfo: memFree=123401456/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=552016 CPUtime=3453.36 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 478772 0 0 0 345268 68 0 0 20 0 3 0 5463234 644497408 138004 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138004 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=551952 CPUtime=3416.18 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 435079 0 0 0 341567 51 0 0 20 0 3 0 5466950 644497408 138004 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=552016 CPUtime=0.04 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 352 0 0 0 1 3 0 0 20 0 3 0 5466959 644497408 138004 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3453.36 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 552016 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.12 3.13 4/243 37290
/proc/meminfo: memFree=123394140/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=552308 CPUtime=3513.21 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 484792 0 0 0 351253 68 0 0 20 0 3 0 5463234 644497408 138077 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138077 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=552016 CPUtime=3476.05 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 441073 0 0 0 347553 52 0 0 20 0 3 0 5466950 644497408 138077 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=551952 CPUtime=0.04 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 358 0 0 0 1 3 0 0 20 0 3 0 5466959 644497408 138077 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3513.21 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 552308 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.11 3.12 4/243 37300
/proc/meminfo: memFree=123373804/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553492 CPUtime=3573.07 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 489794 0 0 0 357238 69 0 0 20 0 3 0 5463234 644497408 138373 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138373 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=553484 CPUtime=3535.9 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 446046 0 0 0 353538 52 0 0 20 0 3 0 5466950 644497408 138373 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=11392 CPUtime=0.04 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 3 0 0 20 0 3 0 5466959 644497408 138373 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553492 KiB
[startup+3598.22 s]
# the end of solver process 35291 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.24 s, system=0.725082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.09 3.11 3.12 4/243 37300
/proc/meminfo: memFree=123373744/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553500 CPUtime=3574.78 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 490527 0 0 0 357409 69 0 0 20 0 3 0 5463234 644497408 138375 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138375 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=11284 CPUtime=3537.61 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 446779 0 0 0 353709 52 0 0 20 0 3 0 5466950 644497408 138375 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=-7233808450367617732 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 644497408 138375 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3574.78 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553500 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.11 3.12 5/244 37303
/proc/meminfo: memFree=123373460/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553624 CPUtime=3581.15 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 491112 0 0 0 358046 69 0 0 20 0 3 0 5463234 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138406 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=11392 CPUtime=3543.99 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 447364 0 0 0 354346 53 0 0 20 0 3 0 5466950 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=553492 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3581.15 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553624 KiB
[startup+3593.6 s]
/proc/loadavg: 3.08 3.11 3.12 4/243 37303
/proc/meminfo: memFree=123373556/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553624 CPUtime=3584.35 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 491121 0 0 0 358366 69 0 0 20 0 3 0 5463234 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138406 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=-7523099919130911096 CPUtime=3547.18 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 447372 0 0 0 354665 53 0 0 20 0 3 0 5466950 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=553500 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553624 KiB
[startup+3596.8 s]
/proc/loadavg: 3.15 3.12 3.12 4/243 37304
/proc/meminfo: memFree=123373544/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553624 CPUtime=3587.54 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 491122 0 0 0 358685 69 0 0 20 0 3 0 5463234 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138406 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=553540 CPUtime=3550.38 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 447373 0 0 0 354985 53 0 0 20 0 3 0 5466950 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=11392 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553624 KiB
[startup+3597.6 s]
/proc/loadavg: 3.15 3.12 3.12 4/243 37304
/proc/meminfo: memFree=123373488/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553624 CPUtime=3588.34 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 491122 0 0 0 358765 69 0 0 20 0 3 0 5463234 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138406 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=629392 memory=5548 CPUtime=3551.17 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 447373 0 0 0 355064 53 0 0 20 0 3 0 5466950 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=629392 memory=12992 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 644497408 138406 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3588.34 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553624 KiB
[startup+3598 s]*
/proc/loadavg: 3.15 3.12 3.12 4/243 37304
/proc/meminfo: memFree=123373480/131655788 swapFree=131071996/131071996
[pid=35291] ppid=35285 vsize=629392 memory=553640 CPUtime=3588.75 cores=1,3
/proc/35291/stat : 35291 (fscip) S 35285 35291 35020 0 -1 1077936128 491222 0 0 0 358806 69 0 0 20 0 3 0 5463234 644497408 138410 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
/proc/35291/statm: 157348 138410 3030 3035 0 146275 0
[pid=35291/tid=35579] ppid=35285 vsize=607244 memory=-5155631301560593285 CPUtime=3551.59 cores=1,3
/proc/35291/task/35579/stat : 35579 (fscip) R 35285 35291 35020 0 -1 4194368 447471 0 0 0 355106 53 0 0 20 0 3 0 5466950 621817856 132873 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
[pid=35291/tid=35580] ppid=35285 vsize=607244 memory=-7233808450367617732 CPUtime=0.05 cores=1,3
/proc/35291/task/35580/stat : 35580 (fscip) S 35285 35291 35020 0 -1 1077936192 361 0 0 0 1 4 0 0 20 0 3 0 5466959 621817856 132873 134679101440 4194304 16623229 140729804289184 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53571584 140729804297238 140729804297354 140729804297354 140729804304368 0
Current children cumulated CPU time: 3588.75 s
Current children cumulated vsize: 629392 KiB
Current children cumulated memory: 553640 KiB
[startup+3598.21 s]*
/proc/loadavg: 3.15 3.12 3.12 4/242 37304
/proc/meminfo: memFree=123662976/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.23
CPU time (s): 3588.96
CPU user time (s): 3588.24
CPU system time (s): 0.725082
CPU usage (%): 99.7426
Max. virtual memory (cumulated for all children) (KiB): 629392
Max. memory (cumulated for all children) (KiB): 553640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.24
system time used= 0.725082
maximum resident set size= 553640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499766
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= 4558
involuntary context switches= 5871
# summary of solver processes directly reported to runsolver:
# pid: 35291
# total CPU time (s): 3588.96
# total CPU user time (s): 3588.24
# total CPU system time (s): 0.725082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2904 second user time and 33.7888 second system time
The end
Begin job on nodeC004 at 2024-07-31 03:55:21
IDJOB=4464708
IDBENCH=178791
IDSOLVER=3092
FILE ID=nodeC004/4464708-1722390921
RUNJOBID= nodeC004-1722390921-35059
SLURM_JOB_ID= 8249883
Free space on /tmp= 723780 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns903616.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-4464708-1722390921/watcher-4464708-1722390921 -o /tmp/evaluation-result-4464708-1722390921/solver-4464708-1722390921 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722390921-35059 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464708-1722390921.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e7ea4c2c57ab07c8372f618eaa0eff24
RANDOM SEED=953149030
nodeC004.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 : 1197.238
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.85
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 : 1197.239
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.39
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.236
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.85
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.234
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.39
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 : 1197.238
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.85
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 : 1197.235
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.39
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 : 1197.238
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.85
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.239
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129051224 kB
MemAvailable: 130023312 kB
Buffers: 109368 kB
Cached: 1698236 kB
SwapCached: 0 kB
Active: 268604 kB
Inactive: 1904376 kB
Active(anon): 1336 kB
Inactive(anon): 386048 kB
Active(file): 267268 kB
Inactive(file): 1518328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123376 kB
Writeback: 0 kB
AnonPages: 365084 kB
Mapped: 89192 kB
Shmem: 21316 kB
KReclaimable: 53384 kB
Slab: 129512 kB
SReclaimable: 53384 kB
SUnreclaim: 76128 kB
KernelStack: 3880 kB
PageTables: 10052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 732964 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 192512 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723684 MiB
End job on nodeC004 at 2024-07-31 04:55:20