0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.16 c Default LC presolving (default).
0.09/0.16 c ** Before presolving: virtualMemUsedAtLc = 170082915, getVmSize() = 134369280, SCIPgetMemUsed() = 101405088, SCIPgetMemTotal() = 108388856, SCIPgetMemExternEstim() = 61694059
0.09/0.16 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.30/0.35 c ** Estimated virtualMemUsedAtSolver = 132483219, getVmSize() = 164679680, SCIPgetMemUsed() = 99342474, SCIPgetMemTotal() = 137030770, SCIPgetMemExternEstim() = 61694059
0.30/0.35 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.35 c Original Problem :
0.30/0.35 c Problem name : instance-4459843-1721939471
0.30/0.35 c Variables : 32544 (1000 binary, 0 integer, 31544 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 33544
0.30/0.35 c Objective sense : minimize
0.30/0.35 c Presolved Problem :
0.30/0.35 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.35 c Constraints : 1000
0.30/0.35 c Constraints : Number
0.30/0.35 c logicor : 1000
0.30/0.35 c ** Instance transfer method used: 0
0.30/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.36 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.36 c Nodes Active
0.30/0.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.30/0.37 c * 0 0 1 1 1000.0000 - -
0.39/0.43 c * 0 0 1 1 57.0000 - -
332.48/333.54 c 334 2 1 1 57.0000 30.3533 87.79%
369.81/370.90 c 371 3 2 1 57.0000 30.4235 87.35%
391.26/392.42 c 392 4 3 1 57.0000 30.4235 87.35%
408.02/409.26 c 409 5 4 1 57.0000 30.4235 87.35%
424.98/426.28 c 426 6 5 1 57.0000 30.4235 87.35%
440.84/442.13 c 442 7 6 1 57.0000 30.4235 87.35%
453.11/454.41 c 454 8 7 1 57.0000 30.4235 87.35%
458.60/459.99 c 460 11 10 1 57.0000 30.4235 87.35%
471.78/473.10 c 473 13 12 1 57.0000 30.4235 87.35%
478.26/479.67 c 480 16 15 1 57.0000 30.4235 87.35%
483.55/484.94 c 485 18 17 1 57.0000 30.4235 87.35%
490.64/492.03 c 492 20 19 1 57.0000 30.4235 87.35%
506.99/508.49 c 508 25 24 1 57.0000 30.4235 87.35%
523.45/524.93 c 525 28 27 1 57.0000 30.4235 87.35%
529.64/531.15 c 531 31 30 1 57.0000 30.4235 87.35%
543.91/545.41 c 545 35 34 1 57.0000 30.4235 87.35%
549.50/551.10 c 551 39 38 1 57.0000 30.4235 87.35%
565.36/566.99 c 567 42 41 1 57.0000 30.4235 87.35%
594.09/595.78 c 596 44 43 1 57.0000 30.4235 87.35%
610.15/611.87 c 612 46 45 1 57.0000 30.4235 87.35%
618.93/620.65 c 621 48 47 1 57.0000 30.4235 87.35%
637.39/639.16 c 639 50 49 1 57.0000 30.4235 87.35%
655.15/656.97 c 657 52 51 1 57.0000 30.4235 87.35%
670.81/672.66 c 673 54 53 1 57.0000 30.4235 87.35%
685.98/687.88 c 688 56 55 1 57.0000 30.4235 87.35%
700.64/702.56 c 703 57 56 1 57.0000 30.4235 87.35%
717.80/719.73 c 720 58 57 1 57.0000 30.4235 87.35%
735.07/737.07 c 737 60 59 1 57.0000 30.4235 87.35%
750.73/752.72 c 753 62 61 1 57.0000 30.4235 87.35%
768.58/770.67 c 771 64 63 1 57.0000 30.4235 87.35%
799.42/801.57 c 802 66 65 1 57.0000 30.4235 87.35%
818.97/821.13 c 821 68 67 1 57.0000 30.4235 87.35%
834.84/837.00 c 837 70 69 1 57.0000 30.4235 87.35%
850.90/853.16 c 853 71 70 1 57.0000 30.4235 87.35%
860.27/862.54 c 863 72 71 1 57.0000 30.4235 87.35%
873.64/875.91 c 876 74 73 1 57.0000 30.4235 87.35%
891.09/893.47 c 893 76 75 1 57.0000 30.4235 87.35%
908.65/911.01 c 911 77 76 1 57.0000 30.4235 87.35%
923.21/925.69 c 926 78 77 1 57.0000 30.4235 87.35%
928.41/930.84 c 931 79 78 1 57.0000 30.4235 87.35%
939.78/942.27 c 942 80 79 1 57.0000 30.4235 87.35%
967.91/970.44 c 970 82 81 1 57.0000 30.4235 87.35%
983.18/985.72 c 986 84 83 1 57.0000 30.4235 87.35%
997.64/1000.23 c 1000 86 85 1 57.0000 30.4235 87.35%
1022.38/1025.05 c 1025 88 87 1 57.0000 30.4235 87.35%
1037.74/1040.40 c 1040 90 89 1 57.0000 30.4235 87.35%
1067.09/1069.87 c 1070 92 91 1 57.0000 30.4235 87.35%
1082.05/1084.82 c 1085 94 93 1 57.0000 30.4235 87.35%
1094.72/1097.52 c 1098 95 94 1 57.0000 30.4235 87.35%
1108.09/1110.91 c 1111 96 95 1 57.0000 30.4235 87.35%
1121.86/1124.73 c 1125 98 97 1 57.0000 30.4235 87.35%
1147.40/1150.36 c 1150 100 99 1 57.0000 30.4235 87.35%
1164.17/1167.14 c 1167 102 101 1 57.0000 30.4235 87.35%
1193.70/1196.73 c 1197 104 103 1 57.0000 30.4235 87.35%
1204.58/1207.63 c 1208 105 104 1 57.0000 30.4235 87.35%
1217.05/1220.11 c 1220 106 105 1 57.0000 30.4235 87.35%
1226.13/1229.24 c 1229 108 107 1 57.0000 30.4235 87.35%
1255.17/1258.38 c 1258 111 110 1 57.0000 30.4235 87.35%
1261.86/1265.02 c 1265 113 112 1 57.0000 30.6571 85.93%
1279.82/1283.02 c 1283 121 120 1 57.0000 30.6571 85.93%
1290.19/1293.40 c 1293 123 122 1 57.0000 30.6949 85.70%
1295.27/1298.59 c 1299 126 125 1 57.0000 30.7842 85.16%
1310.05/1313.31 c 1313 127 126 1 57.0000 30.7842 85.16%
1317.73/1321.01 c 1321 129 128 1 57.0000 30.8107 85.00%
1323.12/1326.47 c 1326 131 130 1 57.0000 30.8618 84.69%
1331.60/1334.95 c 1335 133 132 1 57.0000 30.9071 84.42%
1345.47/1348.86 c 1349 135 134 1 57.0000 30.9311 84.28%
1353.35/1356.77 c 1357 139 138 1 57.0000 30.9918 83.92%
1358.44/1361.82 c 1362 141 140 1 57.0000 30.9918 83.92%
1368.81/1372.20 c 1372 144 143 1 57.0000 30.9918 83.92%
1382.19/1385.63 c 1386 145 144 1 57.0000 30.9918 83.92%
1390.87/1394.40 c 1394 148 147 1 57.0000 30.9918 83.92%
1397.85/1401.30 c 1401 150 149 1 57.0000 30.9918 83.92%
1409.23/1412.73 c 1413 151 150 1 57.0000 30.9918 83.92%
1421.90/1425.49 c 1425 153 152 1 57.0000 31.0261 83.72%
1432.38/1435.95 c 1436 154 153 1 57.0000 31.0261 83.72%
1450.54/1454.18 c 1454 157 156 1 57.0000 31.0261 83.72%
1459.21/1462.83 c 1463 159 158 1 57.0000 31.0261 83.72%
1472.39/1476.00 c 1476 160 159 1 57.0000 31.0261 83.72%
1490.74/1494.42 c 1494 163 162 1 57.0000 31.0261 83.72%
1514.49/1518.27 c 1518 166 165 1 57.0000 31.0261 83.72%
1520.48/1524.20 c 1524 168 167 1 57.0000 31.0261 83.72%
1535.94/1539.78 c 1540 169 168 1 57.0000 31.0261 83.72%
1546.52/1550.37 c 1550 171 170 1 57.0000 31.0261 83.72%
1572.06/1575.98 c 1576 172 171 1 57.0000 31.0261 83.72%
1581.94/1585.83 c 1586 173 172 1 57.0000 31.0261 83.72%
1599.10/1603.10 c 1603 175 174 1 57.0000 31.0261 83.72%
1615.07/1619.09 c 1619 177 176 1 57.0000 31.0261 83.72%
1623.44/1627.44 c 1627 178 177 1 57.0000 31.0261 83.72%
1628.44/1632.47 c 1632 180 179 1 57.0000 31.0261 83.72%
1642.31/1646.38 c 1646 181 180 1 57.0000 31.0261 83.72%
1649.79/1653.83 c 1654 183 182 1 57.0000 31.0399 83.63%
1668.95/1673.01 c 1673 184 183 1 57.0000 31.0399 83.63%
1685.41/1689.59 c 1690 187 186 1 57.0000 31.0399 83.63%
1694.59/1698.74 c 1699 189 188 1 57.0000 31.0399 83.63%
1709.96/1714.11 c 1714 190 189 1 57.0000 31.0399 83.63%
1724.72/1728.91 c 1729 192 191 1 57.0000 31.0399 83.63%
1733.00/1737.20 c 1737 195 194 1 57.0000 31.0399 83.63%
1745.38/1749.66 c 1750 196 195 1 57.0000 31.0399 83.63%
1752.96/1757.27 c 1757 198 197 1 57.0000 31.0399 83.63%
1773.71/1778.05 c 1778 199 198 1 57.0000 31.0399 83.63%
1780.30/1784.65 c 1785 201 202 1 57.0000 31.0399 83.63%
1851.83/1856.34 c 1856 201 202 1 57.0000 31.0399 83.63%
1863.01/1867.58 c 1868 202 201 1 57.0000 31.0399 83.63%
1870.39/1874.96 c 1875 204 203 1 57.0000 31.0399 83.63%
1892.24/1896.83 c 1897 205 204 1 57.0000 31.0399 83.63%
1897.54/1902.17 c 1902 207 206 1 57.0000 31.0399 83.63%
1908.91/1913.56 c 1914 208 207 1 57.0000 31.0399 83.63%
1936.14/1940.86 c 1941 211 210 1 57.0000 31.0399 83.63%
1941.73/1946.49 c 1946 213 212 1 57.0000 31.0668 83.48%
1954.20/1958.99 c 1959 214 213 1 57.0000 31.0668 83.48%
1966.88/1971.66 c 1972 216 215 1 57.0000 31.0668 83.48%
1974.46/1979.26 c 1979 217 216 1 57.0000 31.0668 83.48%
1986.64/1991.49 c 1992 220 219 1 57.0000 31.0668 83.48%
1998.22/2003.00 c 2003 222 221 1 57.0000 31.0668 83.48%
2010.58/2015.47 c 2015 223 222 1 57.0000 31.0668 83.48%
2017.18/2022.07 c 2022 224 225 1 57.0000 31.0668 83.48%
2093.45/2098.53 c 2099 225 224 1 57.0000 31.0668 83.48%
2110.51/2115.69 c 2116 226 225 1 57.0000 31.0668 83.48%
2147.84/2153.07 c 2153 227 226 1 57.0000 31.0668 83.48%
2157.51/2162.75 c 2163 229 228 1 57.0000 31.0668 83.48%
2182.95/2188.24 c 2188 232 231 1 57.0000 31.0668 83.48%
2199.62/2204.99 c 2205 235 234 1 57.0000 31.0668 83.48%
2205.60/2210.95 c 2211 237 236 1 57.0000 31.0668 83.48%
2212.38/2217.76 c 2218 238 237 1 57.0000 31.0668 83.48%
2222.07/2227.48 c 2227 239 238 1 57.0000 31.0668 83.48%
2228.15/2233.51 c 2234 242 241 1 57.0000 31.0668 83.48%
2239.63/2245.01 c 2245 243 242 1 57.0000 31.0668 83.48%
2246.41/2251.86 c 2252 245 244 1 57.0000 31.0668 83.48%
2258.08/2263.53 c 2264 247 246 1 57.0000 31.0668 83.48%
2265.47/2270.90 c 2271 249 248 1 57.0000 31.0668 83.48%
2288.71/2294.23 c 2294 251 250 1 57.0000 31.0668 83.48%
2293.80/2299.31 c 2299 253 252 1 57.0000 31.0894 83.34%
2311.87/2317.48 c 2317 255 254 1 57.0000 31.0894 83.34%
2319.05/2324.64 c 2325 257 256 1 57.0000 31.0894 83.34%
2346.50/2352.15 c 2352 259 258 1 57.0000 31.0894 83.34%
2353.97/2359.61 c 2360 261 260 1 57.0000 31.0894 83.34%
2383.31/2389.07 c 2389 263 262 1 57.0000 31.0894 83.34%
2391.49/2397.26 c 2397 266 265 1 57.0000 31.0894 83.34%
2401.87/2407.69 c 2408 267 266 1 57.0000 31.0894 83.34%
2409.55/2415.31 c 2415 269 270 1 57.0000 31.0894 83.34%
2419.83/2425.64 c 2426 271 270 1 57.0000 31.0894 83.34%
2431.10/2436.90 c 2437 273 272 1 57.0000 31.0973 83.30%
2443.07/2448.99 c 2449 275 274 1 57.0000 31.0973 83.30%
2452.45/2458.36 c 2458 277 276 1 57.0000 31.0973 83.30%
2461.83/2467.72 c 2468 279 278 1 57.0000 31.0973 83.30%
2468.92/2474.84 c 2475 281 280 1 57.0000 31.0973 83.30%
2475.80/2481.71 c 2482 282 281 1 57.0000 31.0973 83.30%
2484.28/2490.28 c 2490 283 282 1 57.0000 31.0973 83.30%
2489.47/2495.47 c 2495 284 283 1 57.0000 31.0973 83.30%
2495.26/2501.24 c 2501 285 284 1 57.0000 31.0973 83.30%
2503.24/2509.22 c 2509 286 285 1 57.0000 31.0973 83.30%
2525.29/2531.36 c 2531 287 286 1 57.0000 31.0973 83.30%
2534.87/2540.90 c 2541 289 288 1 57.0000 31.0973 83.30%
2544.85/2550.91 c 2551 291 290 1 57.0000 31.0973 83.30%
2554.93/2561.10 c 2561 293 292 1 57.0000 31.1840 82.79%
2577.98/2584.16 c 2584 295 294 1 57.0000 31.1840 82.79%
2585.46/2591.67 c 2592 297 296 1 57.0000 31.1840 82.79%
2599.33/2605.50 c 2606 299 298 1 57.0000 31.1840 82.79%
2604.62/2610.83 c 2611 300 299 1 57.0000 31.1840 82.79%
2611.61/2617.84 c 2618 301 300 1 57.0000 31.1840 82.79%
2625.68/2631.97 c 2632 303 302 1 57.0000 31.1840 82.79%
2635.05/2641.30 c 2641 305 304 1 57.0000 31.1840 82.79%
2645.53/2651.88 c 2652 307 306 1 57.0000 31.1840 82.79%
2655.01/2661.38 c 2661 309 308 1 57.0000 31.1840 82.79%
2683.13/2689.51 c 2690 311 310 1 57.0000 31.1840 82.79%
2693.80/2700.26 c 2700 313 312 1 57.0000 31.1916 82.74%
2705.96/2712.43 c 2712 315 314 1 57.0000 31.1916 82.74%
2713.55/2720.06 c 2720 317 316 1 57.0000 31.1916 82.74%
2733.29/2739.84 c 2740 319 318 1 57.0000 31.1916 82.74%
2741.17/2747.72 c 2748 321 320 1 57.0000 31.1916 82.74%
2746.35/2752.98 c 2753 322 321 1 57.0000 31.1916 82.74%
2760.02/2766.66 c 2767 323 322 1 57.0000 31.1916 82.74%
2769.89/2776.52 c 2777 325 324 1 57.0000 31.1916 82.74%
2775.67/2782.39 c 2782 326 325 1 57.0000 31.1916 82.74%
2785.24/2791.90 c 2792 326 327 1 57.0000 31.1916 82.74%
2816.06/2822.83 c 2823 327 326 1 57.0000 31.1916 82.74%
2821.45/2828.27 c 2828 329 328 1 57.0000 31.1916 82.74%
2826.63/2833.45 c 2833 330 329 1 57.0000 31.1916 82.74%
2843.19/2850.05 c 2850 331 330 1 57.0000 31.1916 82.74%
2849.27/2856.18 c 2856 333 332 1 57.0000 31.2301 82.52%
2860.03/2866.91 c 2867 335 334 1 57.0000 31.2301 82.52%
2869.01/2875.91 c 2876 336 335 1 57.0000 31.2301 82.52%
2876.19/2883.14 c 2883 338 337 1 57.0000 31.2301 82.52%
2891.35/2898.36 c 2898 339 338 1 57.0000 31.2301 82.52%
2896.43/2903.47 c 2903 342 341 1 57.0000 31.2301 82.52%
2909.30/2916.31 c 2916 343 342 1 57.0000 31.2301 82.52%
2915.98/2923.08 c 2923 345 344 1 57.0000 31.2301 82.52%
2927.64/2934.70 c 2935 347 346 1 57.0000 31.2301 82.52%
2936.93/2944.06 c 2944 348 347 1 57.0000 31.2301 82.52%
2943.02/2950.11 c 2950 350 349 1 57.0000 31.2301 82.52%
2953.89/2961.00 c 2961 351 350 1 57.0000 31.2301 82.52%
2959.37/2966.60 c 2967 353 352 1 57.0000 31.2904 82.16%
2979.02/2986.20 c 2986 355 354 1 57.0000 31.2904 82.16%
2987.00/2994.28 c 2994 358 357 1 57.0000 31.3239 81.97%
2998.38/3005.63 c 3006 359 358 1 57.0000 31.3239 81.97%
3004.07/3011.34 c 3011 361 360 1 57.0000 31.3322 81.92%
3025.22/3032.54 c 3033 363 362 1 57.0000 31.3322 81.92%
3030.71/3038.07 c 3038 365 364 1 57.0000 31.3322 81.92%
3043.08/3050.47 c 3050 367 366 1 57.0000 31.3322 81.92%
3048.87/3056.29 c 3056 369 368 1 57.0000 31.3322 81.92%
3067.73/3075.11 c 3075 371 370 1 57.0000 31.3322 81.92%
3074.72/3082.12 c 3082 374 373 1 57.0000 31.3370 81.89%
3087.98/3095.40 c 3095 375 374 1 57.0000 31.3370 81.89%
3096.26/3103.73 c 3104 378 377 1 57.0000 31.3370 81.89%
3112.03/3119.56 c 3120 379 378 1 57.0000 31.3370 81.89%
3119.91/3127.46 c 3127 381 380 1 57.0000 31.3370 81.89%
3132.88/3140.46 c 3140 383 382 1 57.0000 31.3370 81.89%
3138.57/3146.10 c 3146 385 384 1 57.0000 31.3370 81.89%
3143.65/3151.22 c 3151 386 385 1 57.0000 31.3370 81.89%
3157.12/3164.75 c 3165 387 386 1 57.0000 31.3370 81.89%
3164.31/3171.95 c 3172 390 389 1 57.0000 31.3370 81.89%
3171.69/3179.35 c 3179 391 390 1 57.0000 31.3370 81.89%
3179.77/3187.45 c 3187 394 393 1 57.0000 31.3607 81.76%
3197.53/3205.24 c 3205 395 394 1 57.0000 31.3607 81.76%
3204.42/3212.10 c 3212 398 397 1 57.0000 31.3922 81.57%
3210.81/3218.53 c 3219 399 398 1 57.0000 31.3922 81.57%
3216.09/3223.86 c 3224 401 400 1 57.0000 31.3922 81.57%
3239.05/3246.81 c 3247 403 402 1 57.0000 31.3922 81.57%
3244.53/3252.36 c 3252 406 405 1 57.0000 31.3922 81.57%
3255.01/3262.83 c 3263 407 406 1 57.0000 31.3922 81.57%
3260.40/3268.25 c 3268 409 408 1 57.0000 31.3922 81.57%
3273.67/3281.53 c 3282 410 409 1 57.0000 31.3922 81.57%
3280.76/3288.66 c 3289 411 410 1 57.0000 31.3922 81.57%
3287.64/3295.51 c 3296 413 412 1 57.0000 31.3922 81.57%
3310.29/3318.22 c 3318 415 414 1 57.0000 31.3922 81.57%
3317.97/3325.92 c 3326 418 417 1 57.0000 31.3922 81.57%
3336.14/3344.14 c 3344 419 418 1 57.0000 31.3922 81.57%
3341.83/3349.88 c 3350 421 420 1 57.0000 31.3922 81.57%
3357.30/3365.37 c 3365 423 422 1 57.0000 31.3922 81.57%
3365.48/3373.51 c 3374 425 424 1 57.0000 31.3922 81.57%
3386.44/3394.55 c 3395 427 426 1 57.0000 31.3922 81.57%
3392.52/3400.68 c 3401 429 428 1 57.0000 31.3922 81.57%
3424.06/3432.29 c 3432 431 430 1 57.0000 31.3922 81.57%
3431.24/3439.48 c 3439 434 433 1 57.0000 31.4086 81.48%
3449.70/3457.94 c 3458 435 434 1 57.0000 31.4086 81.48%
3461.48/3469.79 c 3470 438 437 1 57.0000 31.4484 81.25%
3478.74/3487.01 c 3487 439 438 1 57.0000 31.4484 81.25%
3485.43/3493.70 c 3494 442 441 1 57.0000 31.4484 81.25%
3500.29/3508.67 c 3509 443 442 1 57.0000 31.4484 81.25%
3507.68/3516.00 c 3516 446 445 1 57.0000 31.4484 81.25%
3520.76/3529.18 c 3529 447 446 1 57.0000 31.4484 81.25%
3525.94/3534.30 c 3534 449 448 1 57.0000 31.4484 81.25%
3536.72/3545.16 c 3545 451 450 1 57.0000 31.4484 81.25%
3544.30/3552.79 c 3553 453 452 1 57.0000 31.4615 81.17%
3558.37/3566.86 c 3567 455 454 1 57.0000 31.4615 81.17%
3566.85/3575.32 c 3575 457 456 1 57.0000 31.4970 80.97%
3587.91/3596.49 c 3596 459 458 1 57.0000 31.4970 80.97%
3591.70/3600.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.70/3600.22 c Total Time : 3600.23
3591.70/3600.22 c solving : 3600.23
3591.70/3600.22 c presolving : 0.18 (included in solving)
3591.70/3600.22 c B&B Tree :
3591.70/3600.22 c nodes (total) : 1
3591.70/3600.22 c Solution :
3591.70/3600.22 c Solutions found : 2
3591.70/3600.22 c Primal Bound : +5.70000000000000e+01
3591.70/3600.22 c Dual Bound : +3.14969501260176e+01
3591.70/3600.22 c Gap : 80.96990 %
3591.70/3600.22 c * Warning: final gap: 8.09699e-01 is greater than SCIPepsilon: 1.00000e-09
3591.70/3600.23 o 57
3591.70/3600.23 s SATISFIABLE
3591.70/3600.23 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
3591.70/3600.23 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
3591.70/3600.23 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3591.70/3600.23 v x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
3591.70/3600.23 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
3591.70/3600.23 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
3591.70/3600.23 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854
3591.70/3600.23 v -x853 x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
3591.70/3600.23 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
3591.70/3600.23 v -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792
3591.70/3600.23 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3591.70/3600.23 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3591.70/3600.23 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
3591.70/3600.23 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
3591.70/3600.23 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688
3591.70/3600.23 v -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667
3591.70/3600.23 v -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
3591.70/3600.23 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625
3591.70/3600.23 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
3591.70/3600.23 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
3591.70/3600.23 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
3591.70/3600.23 v -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542
3591.70/3600.23 v -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521
3591.70/3600.23 v -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500
3591.70/3600.23 v -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479
3591.70/3600.23 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458
3591.70/3600.23 v -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437
3591.70/3600.23 v -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3591.70/3600.23 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3591.70/3600.23 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374
3591.70/3600.23 v x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3591.70/3600.23 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332
3591.70/3600.28 v -x331 -x330 x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3591.70/3600.28 v -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3591.70/3600.28 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269
3591.70/3600.28 v -x268 -x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248
3591.70/3600.28 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 -x231 -x230 -x229 -x228 -x227
3591.70/3600.28 v -x226 -x225 -x224 -x223 -x222 -x221 x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206
3591.70/3600.28 v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 x185 -x184
3591.70/3600.28 v -x183 -x182 -x181 -x180 x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 x171 -x170 -x169 x168 x167 -x166 -x165 -x164 x163
3591.70/3600.28 v -x162 -x161 -x160 x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
3591.70/3600.28 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 -x121 -x120
3591.70/3600.28 v -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 x109 x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 x98
3591.70/3600.28 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 x74 x73 -x72
3591.70/3600.28 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 x47
3591.70/3600.28 v -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 -x31 -x30 x29 -x28 x27 x26 -x25 -x24 -x23 x22 -x21 -x20
3591.70/3600.28 v -x19 -x18 -x17 -x16 x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 x6 x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59443 MiB free)
memory of node 1: 64510 MiB (53029 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459843-1721939471/watcher-4459843-1721939471 -o /tmp/evaluation-result-4459843-1721939471/solver-4459843-1721939471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261033 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459843-1721939471.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
Current StackSize limit: 8192 KiB
solver pid=261342, runsolver pid=261339
[startup+0.100208 s]*
/proc/loadavg: 0.64 0.23 0.21 5/266 261343
/proc/meminfo: memFree=115102248/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=97252 memory=85636 CPUtime=0.09 cores=1,3
/proc/261342/stat : 261342 (fscip) R 261339 261342 261021 0 -1 4194304 19622 0 0 0 7 2 0 0 20 0 1 0 30470673 99586048 21409 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 24313 21409 2574 3032 0 20713 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97252 KiB
Current children cumulated memory: 85636 KiB
[startup+0.205719 s]*
/proc/loadavg: 0.64 0.23 0.21 5/266 261343
/proc/meminfo: memFree=115044260/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=155388 memory=140668 CPUtime=0.2 cores=1,3
/proc/261342/stat : 261342 (fscip) R 261339 261342 261021 0 -1 4194304 33352 0 0 0 15 5 0 0 20 0 1 0 30470673 159117312 35167 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 38847 35167 2606 3032 0 35247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 155388 KiB
Current children cumulated memory: 140668 KiB
[startup+0.305814 s]*
/proc/loadavg: 0.64 0.23 0.21 5/266 261343
/proc/meminfo: memFree=115036756/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=159332 memory=145072 CPUtime=0.3 cores=1,3
/proc/261342/stat : 261342 (fscip) R 261339 261342 261021 0 -1 4194304 34421 0 0 0 25 5 0 0 20 0 1 0 30470673 163155968 36268 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 39833 36268 2622 3032 0 36233 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159332 KiB
Current children cumulated memory: 145072 KiB
[startup+0.70019 s]
/proc/loadavg: 0.64 0.23 0.21 5/268 261345
/proc/meminfo: memFree=115009344/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=246576 memory=173420 CPUtime=0.68 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 42457 0 0 0 61 7 0 0 20 0 3 0 30470673 252493824 43355 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 61644 43355 2878 3032 0 47764 0
[pid=261342/tid=261344] ppid=261339 vsize=246576 memory=26016 CPUtime=0.32 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 6978 0 0 0 31 1 0 0 20 0 3 0 30470708 252493824 43355 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=246576 memory=2241 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470709 252493824 43355 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 246576 KiB
Current children cumulated memory: 173420 KiB
[startup+1.50019 s]
/proc/loadavg: 0.64 0.23 0.21 5/268 261345
/proc/meminfo: memFree=115006368/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=247688 memory=174976 CPUtime=1.47 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 43840 0 0 0 140 7 0 0 20 0 3 0 30470673 253632512 43744 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 61922 43744 2878 3032 0 48197 0
[pid=261342/tid=261344] ppid=261339 vsize=247688 memory=2241 CPUtime=1.11 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 8361 0 0 0 110 1 0 0 20 0 3 0 30470708 253632512 43744 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=247688 memory=0 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30470709 253632512 43744 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 247688 KiB
Current children cumulated memory: 174976 KiB
[startup+3.10543 s]
/proc/loadavg: 0.64 0.23 0.21 6/268 261345
/proc/meminfo: memFree=114982504/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=255196 memory=184536 CPUtime=3.07 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 46398 0 0 0 299 8 0 0 20 0 3 0 30470673 261320704 46134 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 63799 46134 2878 3032 0 50770 0
[pid=261342/tid=261344] ppid=261339 vsize=255196 memory=175188 CPUtime=2.71 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 10913 0 0 0 269 2 0 0 20 0 3 0 30470708 261320704 46134 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=255196 memory=0 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30470709 261320704 46134 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 255196 KiB
Current children cumulated memory: 184536 KiB
[startup+6.30022 s]
/proc/loadavg: 0.91 0.30 0.23 5/268 261346
/proc/meminfo: memFree=114917204/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=320360 memory=259652 CPUtime=6.25 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 78366 0 0 0 614 11 0 0 20 0 3 0 30470673 328048640 64913 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 80090 64913 2910 3032 0 69410 0
[pid=261342/tid=261344] ppid=261339 vsize=320360 memory=13472 CPUtime=5.89 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 42881 0 0 0 584 5 0 0 20 0 3 0 30470708 328048640 64913 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=320360 memory=215564 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30470709 328048640 64913 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 320360 KiB
Current children cumulated memory: 259652 KiB
[startup+12.7002 s]
/proc/loadavg: 1.24 0.37 0.26 5/268 261346
/proc/meminfo: memFree=114754484/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=451432 memory=397368 CPUtime=12.63 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 133461 0 0 0 1245 18 0 0 20 0 3 0 30470673 462266368 99342 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 112858 99342 2910 3032 0 103973 0
[pid=261342/tid=261344] ppid=261339 vsize=451432 memory=6944656592387989600 CPUtime=12.28 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 97972 0 0 0 1216 12 0 0 20 0 3 0 30470708 462266368 99342 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=451432 memory=184536 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 30470709 462266368 99342 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 451432 KiB
Current children cumulated memory: 397368 KiB
[startup+25.5002 s]
/proc/loadavg: 1.85 0.55 0.32 5/268 261349
/proc/meminfo: memFree=114719008/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=454152 memory=415836 CPUtime=25.39 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 166114 0 0 0 2519 20 0 0 20 0 3 0 30470673 465051648 103959 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 113538 103959 2926 3032 0 108836 0
[pid=261342/tid=261344] ppid=261339 vsize=454152 memory=415820 CPUtime=25.04 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 130616 0 0 0 2490 14 0 0 20 0 3 0 30470708 465051648 103959 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=454152 memory=415288 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 30470709 465051648 103959 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 454152 KiB
Current children cumulated memory: 415836 KiB
[startup+51.1053 s]
/proc/loadavg: 2.59 0.83 0.42 5/268 261352
/proc/meminfo: memFree=114567492/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=454152 memory=416992 CPUtime=50.92 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 174349 0 0 0 5071 21 0 0 20 0 3 0 30470673 465051648 104248 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 113538 104248 2926 3032 0 109160 0
[pid=261342/tid=261344] ppid=261339 vsize=454152 memory=13472 CPUtime=50.56 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 138841 0 0 0 5042 14 0 0 20 0 3 0 30470708 465051648 104248 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=454152 memory=-6514293481972874083 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 30470709 465051648 104248 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 454152 KiB
Current children cumulated memory: 416992 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.37 0.62 5/268 261362
/proc/meminfo: memFree=114449228/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=454152 memory=418232 CPUtime=101.97 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 187544 0 0 0 10175 22 0 0 20 0 3 0 30470673 465051648 104558 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 113538 104558 2926 3032 0 109510 0
[pid=261342/tid=261344] ppid=261339 vsize=454152 memory=13472 CPUtime=101.61 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 152021 0 0 0 10145 16 0 0 20 0 3 0 30470708 465051648 104558 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=454152 memory=13472 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 30470709 465051648 104558 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 454152 KiB
Current children cumulated memory: 418232 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 1.88 0.85 5/266 261373
/proc/meminfo: memFree=114308180/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=454152 memory=418540 CPUtime=161.8 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 194636 0 0 0 16157 23 0 0 20 0 3 0 30470673 465051648 104635 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 113538 104635 2926 3032 0 109510 0
[pid=261342/tid=261344] ppid=261339 vsize=454152 memory=12452 CPUtime=161.43 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 159104 0 0 0 16127 16 0 0 20 0 3 0 30470708 465051648 104635 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=454152 memory=13472 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 30470709 465051648 104635 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 454152 KiB
Current children cumulated memory: 418540 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.28 1.05 5/266 261383
/proc/meminfo: memFree=114239288/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=454152 memory=418628 CPUtime=221.62 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 203877 0 0 0 22139 23 0 0 20 0 3 0 30470673 465051648 104657 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 113538 104657 2926 3032 0 109510 0
[pid=261342/tid=261344] ppid=261339 vsize=454152 memory=418628 CPUtime=221.26 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 168341 0 0 0 22109 17 0 0 20 0 3 0 30470708 465051648 104657 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=454152 memory=418628 CPUtime=0 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 57 0 0 0 0 0 0 0 20 0 3 0 30470709 465051648 104657 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
################
# More data... #
################
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3393.8 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 894129 0 0 0 339309 71 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 350 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3394.22 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/267 263104
/proc/meminfo: memFree=111315812/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3454.09 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 931783 0 0 0 345328 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3453.67 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 894811 0 0 0 345296 71 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 355 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3454.09 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/267 263115
/proc/meminfo: memFree=111245576/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3513.96 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 932482 0 0 0 351315 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3513.54 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 895487 0 0 0 351283 71 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 361 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.04 5/264 263182
/proc/meminfo: memFree=111222204/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3573.84 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933169 0 0 0 357303 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3573.42 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896154 0 0 0 357270 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 364 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3573.84 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3600.29 s]
# the end of solver process 261342 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.97 s, system=0.82585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.04 6/264 263184
/proc/meminfo: memFree=111221492/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3575.54 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933185 0 0 0 357473 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=6720669839490367588 CPUtime=3575.12 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896168 0 0 0 357440 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=-4421386496147548257 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3575.54 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.04 5/264 263184
/proc/meminfo: memFree=111216768/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3581.92 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933186 0 0 0 358111 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3581.5 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896169 0 0 0 358078 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3581.92 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.04 5/257 263317
/proc/meminfo: memFree=114648784/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3588.3 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933189 0 0 0 358749 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=682484 CPUtime=3587.89 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896170 0 0 0 358717 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=682484 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3588.3 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114516100/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3589.9 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933192 0 0 0 358909 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=6720669839490367588 CPUtime=3589.49 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896173 0 0 0 358877 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=4812 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3589.9 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3599.2 s]
/proc/loadavg: 4.12 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114510584/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3590.7 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933192 0 0 0 358989 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=76836 CPUtime=3590.28 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896173 0 0 0 358956 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=2840 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114505864/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3591.5 cores=1,3
/proc/261342/stat : 261342 (fscip) R 261339 261342 261021 0 -1 1077936128 933193 0 0 0 359069 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=-9103577399196099260 CPUtime=3591.09 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896174 0 0 0 359037 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=2832 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3591.5 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
[startup+3600.2 s]
/proc/loadavg: 4.11 4.11 4.04 5/262 263375
/proc/meminfo: memFree=114505864/131524600 swapFree=131056796/131071996
[pid=261342] ppid=261339 vsize=759600 memory=682484 CPUtime=3591.7 cores=1,3
/proc/261342/stat : 261342 (fscip) S 261339 261342 261021 0 -1 1077936128 933195 0 0 0 359089 81 0 0 20 0 3 0 30470673 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
/proc/261342/statm: 189900 170621 2974 3032 0 174512 0
[pid=261342/tid=261344] ppid=261339 vsize=759600 memory=109392 CPUtime=3591.28 cores=1,3
/proc/261342/task/261344/stat : 261344 (fscip) R 261339 261342 261021 0 -1 4194368 896175 0 0 0 359056 72 0 0 20 0 3 0 30470708 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
[pid=261342/tid=261345] ppid=261339 vsize=759600 memory=2764 CPUtime=0.02 cores=1,3
/proc/261342/task/261345/stat : 261345 (fscip) S 261339 261342 261021 0 -1 1077936192 366 0 0 0 0 2 0 0 20 0 3 0 30470709 777830400 170621 134679101440 4194304 16613245 140723253064336 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54059008 140723253072916 140723253073032 140723253073032 140723253080048 0
Current children cumulated CPU time: 3591.7 s
Current children cumulated vsize: 759600 KiB
Current children cumulated memory: 682484 KiB
Child status: 0
Real time (s): 3600.29
CPU time (s): 3591.8
CPU user time (s): 3590.97
CPU system time (s): 0.82585
CPU usage (%): 99.7642
Max. virtual memory (cumulated for all children) (KiB): 763508
Max. memory (cumulated for all children) (KiB): 685680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.97
system time used= 0.82585
maximum resident set size= 685680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 938954
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= 4544
involuntary context switches= 1842
# summary of solver processes directly reported to runsolver:
# pid: 261342
# total CPU time (s): 3591.8
# total CPU user time (s): 3590.97
# total CPU system time (s): 0.82585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.60581 second user time and 14.083 second system time
The end
Begin job on nodeC032 at 2024-07-25 22:31:11
IDJOB=4459843
IDBENCH=148605
IDSOLVER=3064
FILE ID=nodeC032/4459843-1721939471
RUNJOBID= nodeC032-1721939462-261033
SLURM_JOB_ID= 8247252
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459843-1721939471/watcher-4459843-1721939471 -o /tmp/evaluation-result-4459843-1721939471/solver-4459843-1721939471 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721939462-261033 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459843-1721939471.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ceddeda2654bf0127aac8a1ddeee280b
RANDOM SEED=533500584
nodeC032.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 : 3668.778
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.31
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 : 3669.638
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.79
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.073
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.31
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 : 3665.895
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.79
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 : 3668.813
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.31
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 : 3668.961
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.79
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 : 3599.688
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.686
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115173852 kB
MemAvailable: 129302488 kB
Buffers: 319388 kB
Cached: 14597112 kB
SwapCached: 140 kB
Active: 2693424 kB
Inactive: 12975792 kB
Active(anon): 2120 kB
Inactive(anon): 803320 kB
Active(file): 2691304 kB
Inactive(file): 12172472 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056796 kB
Dirty: 86084 kB
Writeback: 12 kB
AnonPages: 751368 kB
Mapped: 150864 kB
Shmem: 53052 kB
KReclaimable: 209016 kB
Slab: 328364 kB
SReclaimable: 209016 kB
SUnreclaim: 119348 kB
KernelStack: 4368 kB
PageTables: 11044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 901484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19296 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 363220 kB
DirectMap2M: 42401792 kB
DirectMap1G: 93323264 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC032 at 2024-07-25 23:31:11