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 = 169929926, getVmSize() = 134168576, SCIPgetMemUsed() = 101527472, SCIPgetMemTotal() = 108149768, SCIPgetMemExternEstim() = 61780158
0.09/0.16 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.29/0.34 c ** Estimated virtualMemUsedAtSolver = 132559426, getVmSize() = 164610048, SCIPgetMemUsed() = 99457989, SCIPgetMemTotal() = 137058981, SCIPgetMemExternEstim() = 61780158
0.29/0.34 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.29/0.34 c Original Problem :
0.29/0.34 c Problem name : instance-4459827-1721939469
0.29/0.34 c Variables : 32590 (1000 binary, 0 integer, 31590 implicit integer, 0 continuous)
0.29/0.34 c Constraints : 33590
0.29/0.34 c Objective sense : minimize
0.29/0.34 c Presolved Problem :
0.29/0.34 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.29/0.34 c Constraints : 1000
0.29/0.34 c Constraints : Number
0.29/0.34 c logicor : 1000
0.29/0.34 c ** Instance transfer method used: 0
0.29/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.29/0.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.29/0.35 c Nodes Active
0.29/0.35 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.29/0.36 c * 0 0 1 1 1000.0000 - -
0.39/0.42 c * 0 0 1 1 58.0000 - -
35.88/36.08 c 36 2 1 1 58.0000 30.3806 90.91%
57.83/58.05 c 58 3 2 1 58.0000 30.4686 90.36%
94.92/95.20 c 95 4 3 1 58.0000 30.4686 90.36%
130.54/130.99 c 131 5 4 1 58.0000 30.4686 90.36%
148.80/149.21 c 149 6 5 1 58.0000 30.4686 90.36%
163.35/163.82 c 164 7 6 1 58.0000 30.4686 90.36%
169.64/170.15 c 170 11 10 1 58.0000 30.4686 90.36%
181.30/181.85 c 182 13 12 1 58.0000 30.4686 90.36%
188.18/188.77 c 189 16 15 1 58.0000 30.4686 90.36%
193.47/194.05 c 194 18 17 1 58.0000 30.4686 90.36%
200.74/201.33 c 201 20 19 1 58.0000 30.4686 90.36%
214.00/214.64 c 215 21 20 1 58.0000 30.4686 90.36%
228.56/229.26 c 229 23 22 1 58.0000 30.4686 90.36%
234.44/235.12 c 235 26 25 1 58.0000 30.4686 90.36%
249.10/249.82 c 250 31 30 1 58.0000 30.4686 90.36%
256.28/257.05 c 257 33 32 1 58.0000 30.4686 90.36%
269.44/270.27 c 270 34 33 1 58.0000 30.4686 90.36%
274.92/275.71 c 276 36 35 1 58.0000 30.4686 90.36%
292.28/293.14 c 293 38 37 1 58.0000 30.4686 90.36%
319.29/320.26 c 320 39 38 1 58.0000 30.4686 90.36%
332.35/333.35 c 333 41 40 1 58.0000 30.4686 90.36%
337.44/338.44 c 338 42 41 1 58.0000 30.5218 90.03%
353.40/354.42 c 354 43 42 1 58.0000 30.5218 90.03%
363.57/364.64 c 365 45 44 1 58.0000 30.5577 89.80%
379.95/381.08 c 381 47 46 1 58.0000 30.5577 89.80%
394.21/395.38 c 395 49 48 1 58.0000 30.5577 89.80%
411.77/412.97 c 413 51 50 1 58.0000 30.5577 89.80%
429.33/430.55 c 431 53 52 1 58.0000 30.5698 89.73%
442.29/443.57 c 444 60 59 1 58.0000 30.5755 89.69%
460.25/461.56 c 462 62 61 1 58.0000 30.5755 89.69%
474.92/476.23 c 476 64 63 1 58.0000 30.5755 89.69%
487.69/489.04 c 489 66 65 1 58.0000 30.5755 89.69%
502.35/503.78 c 504 67 66 1 58.0000 30.5755 89.69%
513.13/514.54 c 515 68 67 1 58.0000 30.5755 89.69%
529.50/530.99 c 531 70 69 1 58.0000 30.5755 89.69%
546.86/548.33 c 548 72 71 1 58.0000 30.5755 89.69%
562.63/564.16 c 564 73 72 1 58.0000 30.5755 89.69%
574.09/575.60 c 576 74 73 1 58.0000 30.5755 89.69%
581.28/582.87 c 583 76 75 1 58.0000 30.5755 89.69%
588.06/589.62 c 590 79 78 1 58.0000 30.5755 89.69%
601.63/603.22 c 603 82 81 1 58.0000 30.5755 89.69%
621.88/623.58 c 624 86 85 1 58.0000 30.5755 89.69%
627.07/628.76 c 629 88 87 1 58.0000 30.5755 89.69%
632.37/634.05 c 634 90 89 1 58.0000 30.5755 89.69%
653.51/655.29 c 655 93 92 1 58.0000 30.5755 89.69%
663.89/665.67 c 666 95 94 1 58.0000 30.5755 89.69%
680.75/682.53 c 683 97 96 1 58.0000 30.5755 89.69%
688.04/689.87 c 690 99 98 1 58.0000 30.5755 89.69%
706.99/708.89 c 709 100 99 1 58.0000 30.5755 89.69%
719.47/721.31 c 721 101 100 1 58.0000 30.5755 89.69%
735.74/737.64 c 738 103 102 1 58.0000 30.5755 89.69%
749.71/751.61 c 752 106 105 1 58.0000 30.5755 89.69%
771.36/773.33 c 773 109 108 1 58.0000 30.5755 89.69%
776.45/778.40 c 778 111 110 1 58.0000 30.5755 89.69%
793.31/795.38 c 795 112 111 1 58.0000 30.5755 89.69%
798.60/800.60 c 801 114 113 1 58.0000 30.5755 89.69%
813.07/815.11 c 815 115 114 1 58.0000 30.5755 89.69%
823.84/826.00 c 826 117 116 1 58.0000 30.5755 89.69%
838.81/840.97 c 841 118 117 1 58.0000 30.5755 89.69%
849.18/851.34 c 851 121 120 1 58.0000 30.5755 89.69%
876.72/878.92 c 879 122 121 1 58.0000 30.5755 89.69%
886.10/888.36 c 888 124 123 1 58.0000 30.5755 89.69%
900.17/902.46 c 902 125 124 1 58.0000 30.5755 89.69%
906.95/909.22 c 909 126 125 1 58.0000 30.5755 89.69%
915.74/918.05 c 918 129 128 1 58.0000 30.5755 89.69%
929.00/931.31 c 931 130 129 1 58.0000 30.5755 89.69%
934.88/937.26 c 937 132 131 1 58.0000 30.5755 89.69%
951.43/953.84 c 954 134 133 1 58.0000 30.5755 89.69%
959.02/961.46 c 961 136 135 1 58.0000 30.5755 89.69%
966.79/969.21 c 969 137 136 1 58.0000 30.5755 89.69%
982.55/985.05 c 985 138 137 1 58.0000 30.5755 89.69%
990.13/992.63 c 993 140 139 1 58.0000 30.5755 89.69%
1004.49/1007.00 c 1007 141 140 1 58.0000 30.5755 89.69%
1021.23/1023.81 c 1024 142 141 1 58.0000 30.5755 89.69%
1028.32/1030.94 c 1031 145 144 1 58.0000 30.5755 89.69%
1041.19/1043.88 c 1044 146 145 1 58.0000 30.5755 89.69%
1048.48/1051.17 c 1051 148 147 1 58.0000 30.5755 89.69%
1060.25/1062.98 c 1063 149 148 1 58.0000 30.5755 89.69%
1067.83/1070.51 c 1071 151 150 1 58.0000 30.5755 89.69%
1074.21/1076.92 c 1077 153 152 1 58.0000 30.5755 89.69%
1087.69/1090.47 c 1090 154 153 1 58.0000 30.5755 89.69%
1107.25/1110.04 c 1110 158 157 1 58.0000 30.5755 89.69%
1113.43/1116.23 c 1116 160 159 1 58.0000 30.5755 89.69%
1121.22/1124.09 c 1124 161 160 1 58.0000 30.5755 89.69%
1148.05/1150.94 c 1151 162 161 1 58.0000 30.5755 89.69%
1163.81/1166.70 c 1167 164 163 1 58.0000 30.5755 89.69%
1174.29/1177.24 c 1177 166 165 1 58.0000 30.5755 89.69%
1180.38/1183.34 c 1183 168 167 1 58.0000 30.5755 89.69%
1200.04/1203.04 c 1203 170 169 1 58.0000 30.5755 89.69%
1209.90/1212.98 c 1213 172 171 1 58.0000 30.5755 89.69%
1227.06/1230.14 c 1230 174 173 1 58.0000 30.5755 89.69%
1235.33/1238.45 c 1238 175 174 1 58.0000 30.5755 89.69%
1241.71/1244.81 c 1245 177 176 1 58.0000 30.5755 89.69%
1257.66/1260.83 c 1261 178 177 1 58.0000 30.5755 89.69%
1265.54/1268.74 c 1269 179 178 1 58.0000 30.5755 89.69%
1271.42/1274.65 c 1275 181 180 1 58.0000 30.5755 89.69%
1285.38/1288.61 c 1289 182 181 1 58.0000 30.5755 89.69%
1290.97/1294.25 c 1294 183 182 1 58.0000 30.5755 89.69%
1299.94/1303.28 c 1303 185 184 1 58.0000 30.5755 89.69%
1318.19/1321.54 c 1322 186 185 1 58.0000 30.5755 89.69%
1332.95/1336.36 c 1336 188 187 1 58.0000 30.5755 89.69%
1343.32/1346.73 c 1347 189 188 1 58.0000 30.5755 89.69%
1368.95/1372.40 c 1372 190 189 1 58.0000 30.5755 89.69%
1375.03/1378.50 c 1378 192 191 1 58.0000 30.5755 89.69%
1384.00/1387.57 c 1388 193 192 1 58.0000 30.5755 89.69%
1395.57/1399.17 c 1399 194 193 1 58.0000 30.5755 89.69%
1409.23/1412.83 c 1413 196 195 1 58.0000 30.5755 89.69%
1421.79/1425.47 c 1425 198 197 1 58.0000 30.5755 89.69%
1427.08/1430.76 c 1431 200 199 1 58.0000 30.5755 89.69%
1438.04/1441.73 c 1442 201 202 1 58.0000 30.5755 89.69%
1483.81/1487.68 c 1488 201 202 1 58.0000 30.5755 89.69%
1498.97/1502.80 c 1503 202 201 1 58.0000 30.5755 89.69%
1505.66/1509.57 c 1510 204 203 1 58.0000 30.5755 89.69%
1534.59/1538.51 c 1539 206 205 1 58.0000 30.5755 89.69%
1592.37/1596.45 c 1596 208 207 1 58.0000 30.5755 89.69%
1598.35/1602.44 c 1602 209 208 1 58.0000 30.5755 89.69%
1607.83/1611.92 c 1612 211 210 1 58.0000 30.5755 89.69%
1618.21/1622.34 c 1622 213 212 1 58.0000 30.5755 89.69%
1626.39/1630.58 c 1631 214 213 1 58.0000 30.5755 89.69%
1638.56/1642.72 c 1643 215 214 1 58.0000 30.5755 89.69%
1643.96/1648.11 c 1648 217 216 1 58.0000 30.5755 89.69%
1655.83/1660.08 c 1660 218 217 1 58.0000 30.5755 89.69%
1709.81/1714.17 c 1714 219 218 1 58.0000 30.5755 89.69%
1715.19/1719.56 c 1720 221 220 1 58.0000 30.5755 89.69%
1735.05/1739.43 c 1739 222 221 1 58.0000 30.5755 89.69%
1747.02/1751.40 c 1751 224 223 1 58.0000 30.5755 89.69%
1755.71/1760.15 c 1760 225 224 1 58.0000 30.5755 89.69%
1769.07/1773.59 c 1774 226 225 1 58.0000 30.5755 89.69%
1780.14/1784.67 c 1785 228 227 1 58.0000 30.5755 89.69%
1791.52/1796.02 c 1796 230 229 1 58.0000 30.5755 89.69%
1801.50/1806.08 c 1806 232 231 1 58.0000 30.5755 89.69%
1818.26/1822.84 c 1823 234 233 1 58.0000 30.5755 89.69%
1825.85/1830.44 c 1830 236 235 1 58.0000 30.5755 89.69%
1832.03/1836.69 c 1837 237 236 1 58.0000 30.5755 89.69%
1843.71/1848.38 c 1848 238 237 1 58.0000 30.5755 89.69%
1854.98/1859.60 c 1860 240 239 1 58.0000 30.5755 89.69%
1876.73/1881.40 c 1881 241 240 1 58.0000 30.5755 89.69%
1893.30/1898.10 c 1898 242 241 1 58.0000 30.5755 89.69%
1903.38/1908.15 c 1908 245 244 1 58.0000 30.5755 89.69%
1916.14/1920.90 c 1921 246 245 1 58.0000 30.5755 89.69%
1926.82/1931.66 c 1932 248 247 1 58.0000 30.5755 89.69%
1939.49/1944.37 c 1944 250 249 1 58.0000 30.5755 89.69%
1946.18/1951.06 c 1951 252 251 1 58.0000 30.5755 89.69%
1967.23/1972.15 c 1972 254 253 1 58.0000 30.5755 89.69%
1976.11/1981.05 c 1981 256 255 1 58.0000 30.5755 89.69%
1992.57/1997.50 c 1998 257 258 1 58.0000 30.5755 89.69%
1999.96/2004.91 c 2005 260 259 1 58.0000 30.5755 89.69%
2007.24/2012.22 c 2012 261 260 1 58.0000 30.5755 89.69%
2021.21/2026.20 c 2026 262 261 1 58.0000 30.5755 89.69%
2028.59/2033.65 c 2034 264 263 1 58.0000 30.5755 89.69%
2058.42/2063.51 c 2064 266 265 1 58.0000 30.5755 89.69%
2064.81/2069.90 c 2070 269 268 1 58.0000 30.5755 89.69%
2072.39/2077.51 c 2078 270 269 1 58.0000 30.5755 89.69%
2078.18/2083.38 c 2083 272 271 1 58.0000 30.5755 89.69%
2084.56/2089.77 c 2090 273 272 1 58.0000 30.5755 89.69%
2093.14/2098.34 c 2098 275 276 1 58.0000 30.5755 89.69%
2103.12/2108.34 c 2108 276 275 1 58.0000 30.5755 89.69%
2109.71/2114.91 c 2115 277 276 1 58.0000 30.5755 89.69%
2122.08/2127.35 c 2127 278 277 1 58.0000 30.5755 89.69%
2128.27/2133.50 c 2134 280 279 1 58.0000 30.5755 89.69%
2134.35/2139.64 c 2140 281 280 1 58.0000 30.5755 89.69%
2152.21/2157.55 c 2158 282 281 1 58.0000 30.5755 89.69%
2159.30/2164.69 c 2165 284 283 1 58.0000 30.5755 89.69%
2195.02/2200.42 c 2200 286 285 1 58.0000 30.5755 89.69%
2203.71/2209.18 c 2209 288 287 1 58.0000 30.5755 89.69%
2217.97/2223.45 c 2223 290 289 1 58.0000 30.5755 89.69%
2225.75/2231.28 c 2231 292 291 1 58.0000 30.5755 89.69%
2251.28/2256.83 c 2257 294 293 1 58.0000 30.5755 89.69%
2264.75/2270.35 c 2270 296 295 1 58.0000 30.5755 89.69%
2277.02/2282.66 c 2283 297 296 1 58.0000 30.5755 89.69%
2289.58/2295.21 c 2295 298 297 1 58.0000 30.5755 89.69%
2300.36/2306.10 c 2306 300 299 1 58.0000 30.5755 89.69%
2314.42/2320.13 c 2320 302 301 1 58.0000 30.5755 89.69%
2320.89/2326.69 c 2327 304 303 1 58.0000 30.5755 89.69%
2336.65/2342.40 c 2342 306 305 1 58.0000 30.5755 89.69%
2341.73/2347.51 c 2348 308 307 1 58.0000 30.5755 89.69%
2347.12/2352.93 c 2353 309 308 1 58.0000 30.5755 89.69%
2373.94/2379.81 c 2380 310 309 1 58.0000 30.5755 89.69%
2379.62/2385.51 c 2386 312 311 1 58.0000 30.5755 89.69%
2398.27/2404.23 c 2404 314 313 1 58.0000 30.5755 89.69%
2407.64/2413.64 c 2414 316 315 1 58.0000 30.5755 89.69%
2414.72/2420.74 c 2421 317 316 1 58.0000 30.5755 89.69%
2435.76/2441.86 c 2442 318 317 1 58.0000 30.5755 89.69%
2447.04/2453.17 c 2453 321 320 1 58.0000 30.5755 89.69%
2455.51/2461.64 c 2462 322 321 1 58.0000 30.5755 89.69%
2462.59/2468.75 c 2469 325 324 1 58.0000 30.5755 89.69%
2472.26/2478.40 c 2478 326 325 1 58.0000 30.5755 89.69%
2478.64/2484.83 c 2485 328 327 1 58.0000 30.5755 89.69%
2494.70/2500.92 c 2501 330 329 1 58.0000 30.5755 89.69%
2505.97/2512.21 c 2512 332 331 1 58.0000 30.5755 89.69%
2515.44/2521.70 c 2522 334 333 1 58.0000 30.5755 89.69%
2527.21/2533.52 c 2534 337 336 1 58.0000 30.5755 89.69%
2542.67/2549.00 c 2549 338 337 1 58.0000 30.5755 89.69%
2553.84/2560.29 c 2560 341 340 1 58.0000 30.5755 89.69%
2569.09/2575.54 c 2576 342 341 1 58.0000 30.5755 89.69%
2577.47/2583.90 c 2584 345 344 1 58.0000 30.5755 89.69%
2587.84/2594.37 c 2594 346 345 1 58.0000 30.5755 89.69%
2595.02/2601.52 c 2602 348 347 1 58.0000 31.0152 87.01%
2610.07/2616.63 c 2617 350 349 1 58.0000 31.0152 87.01%
2620.94/2627.51 c 2628 353 352 1 58.0000 31.0152 87.01%
2631.41/2638.04 c 2638 354 353 1 58.0000 31.0152 87.01%
2637.30/2643.93 c 2644 356 355 1 58.0000 31.0152 87.01%
2649.56/2656.27 c 2656 358 357 1 58.0000 31.0152 87.01%
2658.23/2664.92 c 2665 360 359 1 58.0000 31.0152 87.01%
2680.47/2687.20 c 2687 362 361 1 58.0000 31.0152 87.01%
2688.45/2695.23 c 2695 365 364 1 58.0000 31.0152 87.01%
2699.92/2706.77 c 2707 366 365 1 58.0000 31.0152 87.01%
2709.39/2716.21 c 2716 368 367 1 58.0000 31.0152 87.01%
2715.28/2722.17 c 2722 369 368 1 58.0000 31.0152 87.01%
2724.74/2731.64 c 2732 370 369 1 58.0000 31.0152 87.01%
2729.93/2736.82 c 2737 372 371 1 58.0000 31.0152 87.01%
2738.22/2745.12 c 2745 373 372 1 58.0000 31.0152 87.01%
2753.88/2760.84 c 2761 374 373 1 58.0000 31.0152 87.01%
2759.97/2766.90 c 2767 376 375 1 58.0000 31.0152 87.01%
2767.16/2774.10 c 2774 377 376 1 58.0000 31.0152 87.01%
2780.32/2787.31 c 2787 378 377 1 58.0000 31.0152 87.01%
2788.11/2795.11 c 2795 381 380 1 58.0000 31.0152 87.01%
2797.28/2804.37 c 2804 382 381 1 58.0000 31.0152 87.01%
2804.57/2811.62 c 2812 385 384 1 58.0000 31.0152 87.01%
2812.05/2819.12 c 2819 387 386 1 58.0000 31.0152 87.01%
2818.34/2825.42 c 2825 388 387 1 58.0000 31.0152 87.01%
2828.51/2835.68 c 2836 390 389 1 58.0000 31.0152 87.01%
2836.70/2843.87 c 2844 393 392 1 58.0000 31.0152 87.01%
2849.97/2857.11 c 2857 394 393 1 58.0000 31.0152 87.01%
2855.76/2862.96 c 2863 396 395 1 58.0000 31.0152 87.01%
2861.15/2868.30 c 2868 397 396 1 58.0000 31.0152 87.01%
2872.13/2879.35 c 2879 398 397 1 58.0000 31.0152 87.01%
2883.10/2890.39 c 2890 401 400 1 58.0000 31.0152 87.01%
2891.49/2898.77 c 2899 402 401 1 58.0000 31.0152 87.01%
2903.16/2910.44 c 2910 404 403 1 58.0000 31.0152 87.01%
2908.25/2915.57 c 2916 405 404 1 58.0000 31.0152 87.01%
2925.51/2932.81 c 2933 406 405 1 58.0000 31.0152 87.01%
2930.80/2938.12 c 2938 408 407 1 58.0000 31.0152 87.01%
2939.68/2947.07 c 2947 409 408 1 58.0000 31.0152 87.01%
2954.83/2962.28 c 2962 410 409 1 58.0000 31.0152 87.01%
2962.62/2970.09 c 2970 412 411 1 58.0000 31.0152 87.01%
2967.80/2975.25 c 2975 414 413 1 58.0000 31.0152 87.01%
2975.48/2982.92 c 2983 417 416 1 58.0000 31.0152 87.01%
2981.66/2989.13 c 2989 418 417 1 58.0000 31.0152 87.01%
2987.44/2994.98 c 2995 420 419 1 58.0000 31.0152 87.01%
2992.73/3000.23 c 3000 421 420 1 58.0000 31.0152 87.01%
3005.99/3013.50 c 3014 422 421 1 58.0000 31.0152 87.01%
3014.37/3021.96 c 3022 425 424 1 58.0000 31.0152 87.01%
3022.15/3029.79 c 3030 426 425 1 58.0000 31.0152 87.01%
3030.02/3037.63 c 3038 428 427 1 58.0000 31.0152 87.01%
3038.60/3046.28 c 3046 429 428 1 58.0000 31.0152 87.01%
3047.17/3054.81 c 3055 430 429 1 58.0000 31.0152 87.01%
3054.46/3062.10 c 3062 432 431 1 58.0000 31.0152 87.01%
3064.92/3072.64 c 3073 434 433 1 58.0000 31.0152 87.01%
3070.01/3077.76 c 3078 436 435 1 58.0000 31.0152 87.01%
3094.35/3102.19 c 3102 438 437 1 58.0000 31.0152 87.01%
3103.02/3110.84 c 3111 441 440 1 58.0000 31.0152 87.01%
3120.66/3128.53 c 3129 442 441 1 58.0000 31.0152 87.01%
3126.55/3134.41 c 3134 444 443 1 58.0000 31.0152 87.01%
3145.39/3153.37 c 3153 446 445 1 58.0000 31.0152 87.01%
3150.38/3158.39 c 3158 448 447 1 58.0000 31.0152 87.01%
3171.82/3179.82 c 3180 450 449 1 58.0000 31.0152 87.01%
3179.40/3187.44 c 3187 453 452 1 58.0000 31.0152 87.01%
3195.85/3203.90 c 3204 454 453 1 58.0000 31.0152 87.01%
3201.83/3209.98 c 3210 456 455 1 58.0000 31.0152 87.01%
3211.81/3219.95 c 3220 458 457 1 58.0000 31.0152 87.01%
3217.29/3225.41 c 3225 460 459 1 58.0000 31.0152 87.01%
3229.75/3237.94 c 3238 462 461 1 58.0000 31.0152 87.01%
3235.04/3243.24 c 3243 464 463 1 58.0000 31.0152 87.01%
3245.51/3253.74 c 3254 466 465 1 58.0000 31.0152 87.01%
3251.49/3259.72 c 3260 468 467 1 58.0000 31.0152 87.01%
3261.56/3269.85 c 3270 470 469 1 58.0000 31.0152 87.01%
3267.95/3276.20 c 3276 473 472 1 58.0000 31.0152 87.01%
3276.73/3285.01 c 3285 474 473 1 58.0000 31.0152 87.01%
3283.71/3292.05 c 3292 476 475 1 58.0000 31.0152 87.01%
3301.45/3309.86 c 3310 478 477 1 58.0000 31.0152 87.01%
3309.93/3318.32 c 3318 481 480 1 58.0000 31.0152 87.01%
3317.80/3326.23 c 3326 482 481 1 58.0000 31.0152 87.01%
3322.79/3331.25 c 3331 484 483 1 58.0000 31.0152 87.01%
3345.23/3353.73 c 3354 486 485 1 58.0000 31.0152 87.01%
3352.31/3360.86 c 3361 488 487 1 58.0000 31.0152 87.01%
3358.09/3366.60 c 3367 490 489 1 58.0000 31.0152 87.01%
3364.87/3373.43 c 3373 493 492 1 58.0000 31.0152 87.01%
3382.92/3391.58 c 3392 494 493 1 58.0000 31.0152 87.01%
3391.50/3400.11 c 3400 497 496 1 58.0000 31.0152 87.01%
3400.38/3409.04 c 3409 498 497 1 58.0000 31.0152 87.01%
3406.75/3415.42 c 3415 500 499 1 58.0000 31.0152 87.01%
3423.42/3432.19 c 3432 502 501 1 58.0000 31.0152 87.01%
3431.40/3440.12 c 3440 504 503 1 58.0000 31.0152 87.01%
3444.95/3453.70 c 3454 506 505 1 58.0000 31.0152 87.01%
3452.83/3461.61 c 3462 509 508 1 58.0000 31.0152 87.01%
3461.11/3469.90 c 3470 510 509 1 58.0000 31.0152 87.01%
3469.48/3478.31 c 3478 513 512 1 58.0000 31.0152 87.01%
3475.87/3484.72 c 3485 514 513 1 58.0000 31.0152 87.01%
3482.85/3491.78 c 3492 517 516 1 58.0000 31.0152 87.01%
3495.51/3504.49 c 3504 518 517 1 58.0000 31.0152 87.01%
3503.39/3512.33 c 3512 521 520 1 58.0000 31.0152 87.01%
3515.06/3524.09 c 3524 522 521 1 58.0000 31.0152 87.01%
3522.63/3531.65 c 3532 525 524 1 58.0000 31.0152 87.01%
3528.91/3537.91 c 3538 526 525 1 58.0000 31.0152 87.01%
3535.49/3544.58 c 3545 529 528 1 58.0000 31.0152 87.01%
3550.65/3559.74 c 3560 530 529 1 58.0000 31.0152 87.01%
3558.13/3567.20 c 3567 532 531 1 58.0000 31.0152 87.01%
3574.08/3583.23 c 3583 534 533 1 58.0000 31.0152 87.01%
3579.17/3588.30 c 3588 536 535 1 58.0000 31.0152 87.01%
3590.64/3599.89 c 3600 538 537 1 58.0000 31.0152 87.01%
3591.03/3600.23 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.03/3600.23 c Total Time : 3600.23
3591.03/3600.23 c solving : 3600.23
3591.03/3600.23 c presolving : 0.18 (included in solving)
3591.03/3600.23 c B&B Tree :
3591.03/3600.23 c nodes (total) : 1
3591.03/3600.23 c Solution :
3591.03/3600.23 c Solutions found : 2
3591.03/3600.23 c Primal Bound : +5.80000000000000e+01
3591.03/3600.23 c Dual Bound : +3.10151612938342e+01
3591.03/3600.23 c Gap : 87.00531 %
3591.03/3600.23 c * Warning: final gap: 8.70053e-01 is greater than SCIPepsilon: 1.00000e-09
3591.03/3600.25 o 58
3591.03/3600.25 s SATISFIABLE
3591.03/3600.25 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
3591.03/3600.25 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
3591.03/3600.25 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3591.03/3600.25 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
3591.03/3600.25 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
3591.03/3600.25 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
3591.03/3600.25 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855
3591.03/3600.25 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
3591.03/3600.25 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
3591.03/3600.25 v -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792
3591.03/3600.25 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3591.03/3600.25 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3591.03/3600.25 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
3591.03/3600.25 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
3591.03/3600.25 v -x707 -x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
3591.03/3600.25 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
3591.03/3600.25 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
3591.03/3600.25 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625
3591.03/3600.25 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
3591.03/3600.25 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
3591.03/3600.25 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
3591.03/3600.25 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
3591.03/3600.25 v -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
3591.03/3600.25 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499
3591.03/3600.25 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
3591.03/3600.25 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
3591.03/3600.25 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436
3591.03/3600.25 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3591.03/3600.25 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3591.03/3600.25 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374
3591.03/3600.25 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3591.03/3600.25 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332
3591.03/3600.30 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3591.03/3600.30 v -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3591.03/3600.30 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269
3591.03/3600.30 v -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3591.03/3600.30 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
3591.03/3600.30 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206
3591.03/3600.30 v x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3591.03/3600.30 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 x167 -x166 -x165 -x164 -x163
3591.03/3600.30 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142
3591.03/3600.30 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121
3591.03/3600.30 v x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99
3591.03/3600.30 v -x98 -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
3591.03/3600.30 v x72 -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.03/3600.30 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
3591.03/3600.30 v x20 -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: 63968 MiB (50069 MiB free)
memory of node 1: 64473 MiB (56415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459827-1721939469/watcher-4459827-1721939469 -o /tmp/evaluation-result-4459827-1721939469/solver-4459827-1721939469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459827-1721939469.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=311013, runsolver pid=311010
[startup+0.100372 s]*
/proc/loadavg: 0.49 0.17 0.22 5/266 311014
/proc/meminfo: memFree=108959324/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=101340 memory=90192 CPUtime=0.09 cores=1,3
/proc/311013/stat : 311013 (fscip) R 311010 311013 310643 0 -1 4194304 20763 0 0 0 6 3 0 0 20 0 1 0 30476294 103772160 22548 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 25335 22548 2574 3032 0 21735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 101340 KiB
Current children cumulated memory: 90192 KiB
[startup+0.205814 s]*
/proc/loadavg: 0.49 0.17 0.22 6/266 311014
/proc/meminfo: memFree=108908132/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=156192 memory=141528 CPUtime=0.19 cores=1,3
/proc/311013/stat : 311013 (fscip) R 311010 311013 310643 0 -1 4194304 33589 0 0 0 15 4 0 0 20 0 1 0 30476294 159940608 35382 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 39048 35382 2606 3032 0 35448 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 156192 KiB
Current children cumulated memory: 141528 KiB
[startup+0.30489 s]*
/proc/loadavg: 0.49 0.17 0.22 5/266 311014
/proc/meminfo: memFree=108903636/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=159072 memory=144876 CPUtime=0.29 cores=1,3
/proc/311013/stat : 311013 (fscip) R 311010 311013 310643 0 -1 4194304 34408 0 0 0 25 4 0 0 20 0 1 0 30476294 162889728 36219 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 39768 36219 2622 3032 0 36168 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 159072 KiB
Current children cumulated memory: 144876 KiB
[startup+0.700164 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311016
/proc/meminfo: memFree=108873136/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=246828 memory=174468 CPUtime=0.67 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 42697 0 0 0 61 6 0 0 20 0 3 0 30476294 252751872 43617 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 61707 43617 2878 3032 0 47912 0
[pid=311013/tid=311015] ppid=311010 vsize=246828 memory=1988 CPUtime=0.33 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 7051 0 0 0 32 1 0 0 20 0 3 0 30476329 252751872 43617 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=246828 memory=2273 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476330 252751872 43617 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 246828 KiB
Current children cumulated memory: 174468 KiB
[startup+1.50021 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311016
/proc/meminfo: memFree=108848348/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=248280 memory=176576 CPUtime=1.47 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 44330 0 0 0 141 6 0 0 20 0 3 0 30476294 254238720 44144 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 62070 44144 2878 3032 0 48519 0
[pid=311013/tid=311015] ppid=311010 vsize=248280 memory=2273 CPUtime=1.13 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 8684 0 0 0 112 1 0 0 20 0 3 0 30476329 254238720 44144 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=248280 memory=0 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30476330 254238720 44144 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 248280 KiB
Current children cumulated memory: 176576 KiB
[startup+3.10545 s]
/proc/loadavg: 0.49 0.17 0.22 5/268 311018
/proc/meminfo: memFree=108750416/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=255692 memory=186328 CPUtime=3.07 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 46552 0 0 0 300 7 0 0 20 0 3 0 30476294 261828608 46582 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 63923 46582 2878 3032 0 50903 0
[pid=311013/tid=311015] ppid=311010 vsize=255692 memory=176632 CPUtime=2.72 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 10900 0 0 0 271 1 0 0 20 0 3 0 30476329 261828608 46582 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=255692 memory=0 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30476330 261828608 46582 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 255692 KiB
Current children cumulated memory: 186328 KiB
[startup+6.3002 s]
/proc/loadavg: 0.77 0.24 0.24 5/268 311114
/proc/meminfo: memFree=108641672/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=319608 memory=261736 CPUtime=6.26 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 80226 0 0 0 616 10 0 0 20 0 3 0 30476294 327278592 65434 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 79902 65434 2910 3032 0 69764 0
[pid=311013/tid=311015] ppid=311010 vsize=319608 memory=11540 CPUtime=5.92 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 44574 0 0 0 587 5 0 0 20 0 3 0 30476329 327278592 65434 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=319608 memory=217500 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 30476330 327278592 65434 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 319608 KiB
Current children cumulated memory: 261736 KiB
[startup+12.7002 s]
/proc/loadavg: 1.03 0.30 0.26 5/268 311114
/proc/meminfo: memFree=108444776/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=397948 CPUtime=12.64 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 134842 0 0 0 1248 16 0 0 20 0 3 0 30476294 461496320 99487 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 99487 2926 3032 0 103914 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=6944656575208382560 CPUtime=12.29 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 99186 0 0 0 1219 10 0 0 20 0 3 0 30476329 461496320 99487 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=397376 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 99487 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 450680 KiB
Current children cumulated memory: 397948 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 0.50 0.32 5/268 311117
/proc/meminfo: memFree=108397500/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=399596 CPUtime=25.41 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 144633 0 0 0 2524 17 0 0 20 0 3 0 30476294 461496320 99899 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 99899 2926 3032 0 104304 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=399592 CPUtime=25.06 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 108965 0 0 0 2495 11 0 0 20 0 3 0 30476329 461496320 99899 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=399596 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 99899 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 450680 KiB
Current children cumulated memory: 399596 KiB
[startup+51.1056 s]
/proc/loadavg: 3.07 0.91 0.47 5/268 311121
/proc/meminfo: memFree=108258444/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=399780 CPUtime=50.95 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 158847 0 0 0 5077 18 0 0 20 0 3 0 30476294 461496320 99945 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 99945 2926 3032 0 104361 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=74940 CPUtime=50.6 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 123129 0 0 0 5048 12 0 0 20 0 3 0 30476329 461496320 99945 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=12544 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 99945 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 450680 KiB
Current children cumulated memory: 399780 KiB
[startup+102.3 s]
/proc/loadavg: 3.93 1.49 0.69 5/268 311130
/proc/meminfo: memFree=108167668/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=399980 CPUtime=102.01 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 174073 0 0 0 10182 19 0 0 20 0 3 0 30476294 461496320 99995 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 99995 2974 3032 0 104361 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=11540 CPUtime=101.66 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 138278 0 0 0 10153 13 0 0 20 0 3 0 30476329 461496320 99995 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=7306645528725573740 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 99995 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 450680 KiB
Current children cumulated memory: 399980 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 1.97 0.91 5/268 311141
/proc/meminfo: memFree=108115552/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=399984 CPUtime=161.86 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 187707 0 0 0 16167 19 0 0 20 0 3 0 30476294 461496320 99996 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 99996 2974 3032 0 104361 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=74940 CPUtime=161.51 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 151833 0 0 0 16138 13 0 0 20 0 3 0 30476329 461496320 99996 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=399984 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 99996 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 450680 KiB
Current children cumulated memory: 399984 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.35 1.11 5/268 311151
/proc/meminfo: memFree=108066064/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=450680 memory=407044 CPUtime=221.68 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 213038 0 0 0 22147 21 0 0 20 0 3 0 30476294 461496320 101761 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 112670 101761 2974 3032 0 106143 0
[pid=311013/tid=311015] ppid=311010 vsize=450680 memory=12544 CPUtime=221.33 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 177109 0 0 0 22118 15 0 0 20 0 3 0 30476329 461496320 101761 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=450680 memory=74940 CPUtime=0 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 30476330 461496320 101761 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
################
# More data... #
################
Current children cumulated memory: 616816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/268 313020
/proc/meminfo: memFree=107009516/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3453.53 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 516412 0 0 0 345306 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=616816 CPUtime=3453.11 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 478993 0 0 0 345273 38 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=616816 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 348 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3453.53 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.16 4.05 5/268 313030
/proc/meminfo: memFree=106991004/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3513.36 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 517796 0 0 0 351289 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=74940 CPUtime=3512.94 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 480349 0 0 0 351255 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=616816 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 354 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.18 4.06 5/267 313097
/proc/meminfo: memFree=106974916/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3573.19 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519084 0 0 0 357272 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=164 CPUtime=3572.77 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481609 0 0 0 357238 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=7408 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3600.31 s]
# the end of solver process 311013 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.66 s, system=0.487638 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.26 4.17 4.06 5/267 313099
/proc/meminfo: memFree=106973840/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3574.89 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519092 0 0 0 357442 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=6720664337603771242 CPUtime=3574.47 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481617 0 0 0 357408 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=-8982072546711028383 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3590.4 s]
/proc/loadavg: 4.23 4.17 4.06 5/265 313100
/proc/meminfo: memFree=106975020/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3581.26 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519097 0 0 0 358079 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=616816 CPUtime=3580.85 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481620 0 0 0 358046 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=11540 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3581.26 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.17 4.06 5/257 313137
/proc/meminfo: memFree=107704168/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3587.64 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519097 0 0 0 358717 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=6944656592452872868 CPUtime=3587.23 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481620 0 0 0 358684 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=616816 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3598.4 s]
/proc/loadavg: 4.22 4.17 4.06 5/265 313149
/proc/meminfo: memFree=107559472/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3589.24 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519097 0 0 0 358877 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=616816 CPUtime=3588.83 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481620 0 0 0 358844 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=74940 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3589.24 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3599.2 s]
/proc/loadavg: 4.20 4.16 4.06 5/265 313149
/proc/meminfo: memFree=107621696/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3590.04 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519097 0 0 0 358957 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=11540 CPUtime=3589.62 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481620 0 0 0 358923 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=616816 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3590.04 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3600 s]*
/proc/loadavg: 4.20 4.16 4.06 3/256 313211
/proc/meminfo: memFree=108102932/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3590.84 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519100 0 0 0 359037 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=-6530988449531264197 CPUtime=3590.43 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 481623 0 0 0 359004 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=545416 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3600.2 s]
/proc/loadavg: 4.20 4.16 4.06 3/256 313211
/proc/meminfo: memFree=108102932/131524600 swapFree=131071728/131071996
[pid=311013] ppid=311010 vsize=649440 memory=616816 CPUtime=3591.03 cores=1,3
/proc/311013/stat : 311013 (fscip) S 311010 311013 310643 0 -1 1077936128 519698 0 0 0 359056 47 0 0 20 0 3 0 30476294 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
/proc/311013/statm: 162360 154204 2974 3032 0 156497 0
[pid=311013/tid=311015] ppid=311010 vsize=649440 memory=4580 CPUtime=3590.62 cores=1,3
/proc/311013/task/311015/stat : 311015 (fscip) R 311010 311013 310643 0 -1 4194368 482218 0 0 0 359023 39 0 0 20 0 3 0 30476329 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
[pid=311013/tid=311016] ppid=311010 vsize=649440 memory=154372 CPUtime=0.03 cores=1,3
/proc/311013/task/311016/stat : 311016 (fscip) S 311010 311013 310643 0 -1 1077936192 360 0 0 0 1 2 0 0 20 0 3 0 30476330 665026560 154204 134679101440 4194304 16613245 140726690109440 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 36806656 140726690116628 140726690116744 140726690116744 140726690123760 0
Current children cumulated CPU time: 3591.03 s
Current children cumulated vsize: 649440 KiB
Current children cumulated memory: 616816 KiB
[startup+3600.3 s]*
/proc/loadavg: 4.20 4.16 4.06 5/255 313281
/proc/meminfo: memFree=108699228/131524600 swapFree=131071728/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): 3600.31
CPU time (s): 3591.15
CPU user time (s): 3590.66
CPU system time (s): 0.487638
CPU usage (%): 99.7457
Max. virtual memory (cumulated for all children) (KiB): 653300
Max. memory (cumulated for all children) (KiB): 616816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.66
system time used= 0.487638
maximum resident set size= 616816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526566
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= 4671
involuntary context switches= 1423
# summary of solver processes directly reported to runsolver:
# pid: 311013
# total CPU time (s): 3591.15
# total CPU user time (s): 3590.66
# total CPU system time (s): 0.487638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72891 second user time and 16.6381 second system time
The end
Begin job on nodeC029 at 2024-07-25 22:31:09
IDJOB=4459827
IDBENCH=148597
IDSOLVER=3064
FILE ID=nodeC029/4459827-1721939469
RUNJOBID= nodeC029-1721939462-310657
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.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-4459827-1721939469/watcher-4459827-1721939469 -o /tmp/evaluation-result-4459827-1721939469/solver-4459827-1721939469 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310657 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459827-1721939469.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2fbc7789f215ae658897d89229f86125
RANDOM SEED=533500584
nodeC029.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.595
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.50
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 : 3677.277
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.34
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 : 3599.904
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.50
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 : 3655.765
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.34
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.563
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.50
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 : 3670.506
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.012
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.50
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.792
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.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 109041296 kB
MemAvailable: 129413252 kB
Buffers: 330036 kB
Cached: 20745172 kB
SwapCached: 44 kB
Active: 2898472 kB
Inactive: 18708072 kB
Active(anon): 1564 kB
Inactive(anon): 583784 kB
Active(file): 2896908 kB
Inactive(file): 18124288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 86068 kB
Writeback: 32 kB
AnonPages: 531380 kB
Mapped: 155364 kB
Shmem: 54012 kB
KReclaimable: 381168 kB
Slab: 515808 kB
SReclaimable: 381168 kB
SUnreclaim: 134640 kB
KernelStack: 4260 kB
PageTables: 10232 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 806576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC029 at 2024-07-25 23:31:09