0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.16 c Default LC presolving (default).
0.09/0.16 c ** Before presolving: virtualMemUsedAtLc = 169929926, getVmSize() = 134184960, SCIPgetMemUsed() = 101527552, SCIPgetMemTotal() = 108149768, SCIPgetMemExternEstim() = 61780158
0.09/0.16 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
0.30/0.34 c ** Estimated virtualMemUsedAtSolver = 132559426, getVmSize() = 164626432, SCIPgetMemUsed() = 99458069, SCIPgetMemTotal() = 137058981, SCIPgetMemExternEstim() = 61780158
0.30/0.34 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.30/0.34 c Original Problem :
0.30/0.34 c Problem name : instance-4464782-1722382194
0.30/0.34 c Variables : 32590 (1000 binary, 0 integer, 31590 implicit integer, 0 continuous)
0.30/0.34 c Constraints : 33590
0.30/0.34 c Objective sense : minimize
0.30/0.34 c Presolved Problem :
0.30/0.34 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.30/0.34 c Constraints : 1000
0.30/0.34 c Constraints : Number
0.30/0.34 c logicor : 1000
0.30/0.34 c ** Instance transfer method used: 0
0.30/0.35 c ** ParaScipInstance copy does not increase the number of variables. **
0.30/0.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.30/0.35 c Nodes Active
0.30/0.35 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.30/0.36 c * 0 0 1 1 1000.0000 - -
0.40/0.42 c * 0 0 1 1 58.0000 - -
36.44/36.61 c 37 2 1 1 58.0000 30.3806 90.91%
58.58/58.83 c 59 3 2 1 58.0000 30.4686 90.36%
95.90/96.21 c 96 4 3 1 58.0000 30.4686 90.36%
131.61/132.08 c 132 5 4 1 58.0000 30.4686 90.36%
149.86/150.31 c 150 6 5 1 58.0000 30.4686 90.36%
164.42/164.91 c 165 7 6 1 58.0000 30.4686 90.36%
170.71/171.23 c 171 11 10 1 58.0000 30.4686 90.36%
182.28/182.88 c 183 13 12 1 58.0000 30.4686 90.36%
189.16/189.77 c 190 16 15 1 58.0000 30.4686 90.36%
194.46/195.07 c 195 18 17 1 58.0000 30.4686 90.36%
201.74/202.39 c 202 20 19 1 58.0000 30.4686 90.36%
215.11/215.75 c 216 21 20 1 58.0000 30.4686 90.36%
229.77/230.43 c 230 23 22 1 58.0000 30.4686 90.36%
235.66/236.33 c 236 26 25 1 58.0000 30.4686 90.36%
250.43/251.11 c 251 31 30 1 58.0000 30.4686 90.36%
257.61/258.31 c 258 33 32 1 58.0000 30.4686 90.36%
270.88/271.60 c 272 34 33 1 58.0000 30.4686 90.36%
276.27/277.06 c 277 36 35 1 58.0000 30.4686 90.36%
293.72/294.59 c 295 38 37 1 58.0000 30.4686 90.36%
320.95/321.86 c 322 39 38 1 58.0000 30.4686 90.36%
334.02/334.93 c 335 41 40 1 58.0000 30.4686 90.36%
339.12/340.05 c 340 42 41 1 58.0000 30.5218 90.03%
355.18/356.14 c 356 43 42 1 58.0000 30.5218 90.03%
365.46/366.49 c 366 45 44 1 58.0000 30.5577 89.80%
382.03/383.09 c 383 47 46 1 58.0000 30.5577 89.80%
396.39/397.47 c 397 49 48 1 58.0000 30.5577 89.80%
414.25/415.31 c 415 51 50 1 58.0000 30.5577 89.80%
431.91/433.08 c 433 53 52 1 58.0000 30.5698 89.73%
445.07/446.22 c 446 60 59 1 58.0000 30.5755 89.69%
463.23/464.41 c 464 62 61 1 58.0000 30.5755 89.69%
478.09/479.34 c 479 64 63 1 58.0000 30.5755 89.69%
491.06/492.31 c 492 66 65 1 58.0000 30.5755 89.69%
505.92/507.21 c 507 67 66 1 58.0000 30.5755 89.69%
516.79/518.13 c 518 68 67 1 58.0000 30.5755 89.69%
533.35/534.79 c 535 70 69 1 58.0000 30.5755 89.69%
550.80/552.26 c 552 72 71 1 58.0000 30.5755 89.69%
566.75/568.26 c 568 73 72 1 58.0000 30.5755 89.69%
578.31/579.83 c 580 74 73 1 58.0000 30.5755 89.69%
585.59/587.17 c 587 76 75 1 58.0000 30.5755 89.69%
592.47/594.01 c 594 79 78 1 58.0000 30.5755 89.69%
606.13/607.74 c 608 82 81 1 58.0000 30.5755 89.69%
626.67/628.31 c 628 86 85 1 58.0000 30.5755 89.69%
631.86/633.53 c 634 88 87 1 58.0000 30.5755 89.69%
637.14/638.89 c 639 90 89 1 58.0000 30.5755 89.69%
658.58/660.32 c 660 93 92 1 58.0000 30.5755 89.69%
668.94/670.79 c 671 95 94 1 58.0000 30.5755 89.69%
685.99/687.83 c 688 97 96 1 58.0000 30.5755 89.69%
693.37/695.25 c 695 99 98 1 58.0000 30.5755 89.69%
712.51/714.42 c 714 100 99 1 58.0000 30.5755 89.69%
724.97/726.97 c 727 101 100 1 58.0000 30.5755 89.69%
741.43/743.41 c 743 103 102 1 58.0000 30.5755 89.69%
755.39/757.49 c 758 106 105 1 58.0000 30.5755 89.69%
777.32/779.44 c 779 109 108 1 58.0000 30.5755 89.69%
782.41/784.57 c 785 111 110 1 58.0000 30.5755 89.69%
799.55/801.73 c 802 112 111 1 58.0000 30.5755 89.69%
804.84/807.00 c 807 114 113 1 58.0000 30.5755 89.69%
819.40/821.64 c 822 115 114 1 58.0000 30.5755 89.69%
830.36/832.64 c 833 117 116 1 58.0000 30.5755 89.69%
845.42/847.73 c 848 118 117 1 58.0000 30.5755 89.69%
855.88/858.21 c 858 121 120 1 58.0000 30.5755 89.69%
883.61/886.05 c 886 122 121 1 58.0000 30.5755 89.69%
893.08/895.59 c 896 124 123 1 58.0000 30.5755 89.69%
907.34/909.85 c 910 125 124 1 58.0000 30.5755 89.69%
914.12/916.67 c 917 126 125 1 58.0000 30.5755 89.69%
922.99/925.59 c 926 129 128 1 58.0000 30.5755 89.69%
936.35/938.97 c 939 130 129 1 58.0000 30.5755 89.69%
942.33/944.98 c 945 132 131 1 58.0000 30.5755 89.69%
959.08/961.72 c 962 134 133 1 58.0000 30.5755 89.69%
966.76/969.42 c 969 136 135 1 58.0000 30.5755 89.69%
974.54/977.26 c 977 137 136 1 58.0000 30.5755 89.69%
990.49/993.27 c 993 138 137 1 58.0000 30.5755 89.69%
998.16/1000.94 c 1001 140 139 1 58.0000 30.5755 89.69%
1012.62/1015.47 c 1015 141 140 1 58.0000 30.5755 89.69%
1029.57/1032.47 c 1032 142 141 1 58.0000 30.5755 89.69%
1036.75/1039.69 c 1040 145 144 1 58.0000 30.5755 89.69%
1049.81/1052.78 c 1053 146 145 1 58.0000 30.5755 89.69%
1057.19/1060.12 c 1060 148 147 1 58.0000 30.5755 89.69%
1069.05/1072.03 c 1072 149 148 1 58.0000 30.5755 89.69%
1076.62/1079.63 c 1080 151 150 1 58.0000 30.5755 89.69%
1083.02/1086.08 c 1086 153 152 1 58.0000 30.5755 89.69%
1096.67/1099.71 c 1100 154 153 1 58.0000 30.5755 89.69%
1116.31/1119.41 c 1119 158 157 1 58.0000 30.5755 89.69%
1122.49/1125.67 c 1126 160 159 1 58.0000 30.5755 89.69%
1130.46/1133.63 c 1134 161 160 1 58.0000 30.5755 89.69%
1157.39/1160.64 c 1161 162 161 1 58.0000 30.5755 89.69%
1173.24/1176.56 c 1177 164 163 1 58.0000 30.5755 89.69%
1183.81/1187.19 c 1187 166 165 1 58.0000 30.5755 89.69%
1189.99/1193.34 c 1193 168 167 1 58.0000 30.5755 89.69%
1209.73/1213.19 c 1213 170 169 1 58.0000 30.5755 89.69%
1219.81/1223.25 c 1223 172 171 1 58.0000 30.5755 89.69%
1237.05/1240.56 c 1241 174 173 1 58.0000 30.5755 89.69%
1245.43/1248.95 c 1249 175 174 1 58.0000 30.5755 89.69%
1251.81/1255.38 c 1255 177 176 1 58.0000 30.5755 89.69%
1267.96/1271.57 c 1272 178 177 1 58.0000 30.5755 89.69%
1275.94/1279.58 c 1280 179 178 1 58.0000 30.5755 89.69%
1281.92/1285.56 c 1286 181 180 1 58.0000 30.5755 89.69%
1295.98/1299.65 c 1300 182 181 1 58.0000 30.5755 89.69%
1301.66/1305.34 c 1305 183 182 1 58.0000 30.5755 89.69%
1310.83/1314.50 c 1315 185 184 1 58.0000 30.5755 89.69%
1329.17/1332.93 c 1333 186 185 1 58.0000 30.5755 89.69%
1344.13/1347.93 c 1348 188 187 1 58.0000 30.5755 89.69%
1354.59/1358.43 c 1358 189 188 1 58.0000 30.5755 89.69%
1380.42/1384.39 c 1384 190 189 1 58.0000 30.5755 89.69%
1386.60/1390.56 c 1391 192 191 1 58.0000 30.5755 89.69%
1395.77/1399.74 c 1400 193 192 1 58.0000 30.5755 89.69%
1407.43/1411.44 c 1411 194 193 1 58.0000 30.5755 89.69%
1421.19/1425.25 c 1425 196 195 1 58.0000 30.5755 89.69%
1433.97/1438.03 c 1438 198 197 1 58.0000 30.5755 89.69%
1439.25/1443.36 c 1443 200 199 1 58.0000 30.5755 89.69%
1450.31/1454.43 c 1454 201 202 1 58.0000 30.5755 89.69%
1496.27/1500.52 c 1501 201 202 1 58.0000 30.5755 89.69%
1511.42/1515.74 c 1516 202 201 1 58.0000 30.5755 89.69%
1518.31/1522.62 c 1523 204 203 1 58.0000 30.5755 89.69%
1547.52/1551.90 c 1552 206 205 1 58.0000 30.5755 89.69%
1605.64/1610.24 c 1610 208 207 1 58.0000 30.5755 89.69%
1611.73/1616.30 c 1616 209 208 1 58.0000 30.5755 89.69%
1621.20/1625.89 c 1626 211 210 1 58.0000 30.5755 89.69%
1631.77/1636.42 c 1636 213 212 1 58.0000 30.5755 89.69%
1640.04/1644.73 c 1645 214 213 1 58.0000 30.5755 89.69%
1652.31/1657.01 c 1657 215 214 1 58.0000 30.5755 89.69%
1657.69/1662.48 c 1662 217 216 1 58.0000 30.5755 89.69%
1669.77/1674.59 c 1675 218 217 1 58.0000 30.5755 89.69%
1724.35/1729.27 c 1729 219 218 1 58.0000 30.5755 89.69%
1729.83/1734.73 c 1735 221 220 1 58.0000 30.5755 89.69%
1749.88/1754.88 c 1755 222 221 1 58.0000 30.5755 89.69%
1762.06/1767.06 c 1767 224 223 1 58.0000 30.5755 89.69%
1770.94/1775.96 c 1776 225 224 1 58.0000 30.5755 89.69%
1784.51/1789.56 c 1790 226 225 1 58.0000 30.5755 89.69%
1795.68/1800.79 c 1801 228 227 1 58.0000 30.5755 89.69%
1807.25/1812.30 c 1812 230 229 1 58.0000 30.5755 89.69%
1817.33/1822.48 c 1822 232 231 1 58.0000 30.5755 89.69%
1834.18/1839.30 c 1839 234 233 1 58.0000 30.5755 89.69%
1841.75/1846.98 c 1847 236 235 1 58.0000 30.5755 89.69%
1848.14/1853.31 c 1853 237 236 1 58.0000 30.5755 89.69%
1859.90/1865.15 c 1865 238 237 1 58.0000 30.5755 89.69%
1871.26/1876.51 c 1877 240 239 1 58.0000 30.5755 89.69%
1893.19/1898.53 c 1899 241 240 1 58.0000 30.5755 89.69%
1910.05/1915.41 c 1915 242 241 1 58.0000 30.5755 89.69%
1920.22/1925.61 c 1926 245 244 1 58.0000 30.5755 89.69%
1933.08/1938.52 c 1939 246 245 1 58.0000 30.5755 89.69%
1943.95/1949.42 c 1949 248 247 1 58.0000 30.5755 89.69%
1956.80/1962.30 c 1962 250 249 1 58.0000 30.5755 89.69%
1963.49/1969.06 c 1969 252 251 1 58.0000 30.5755 89.69%
1984.72/1990.40 c 1990 254 253 1 58.0000 30.5755 89.69%
1993.80/1999.42 c 1999 256 255 1 58.0000 30.5755 89.69%
2010.24/2015.97 c 2016 257 258 1 58.0000 30.5755 89.69%
2017.72/2023.46 c 2023 260 259 1 58.0000 30.5755 89.69%
2025.10/2030.83 c 2031 261 260 1 58.0000 30.5755 89.69%
2039.15/2044.96 c 2045 262 261 1 58.0000 30.5755 89.69%
2046.64/2052.49 c 2052 264 263 1 58.0000 30.5755 89.69%
2076.74/2082.65 c 2083 266 265 1 58.0000 30.5755 89.69%
2083.13/2089.10 c 2089 269 268 1 58.0000 30.5755 89.69%
2090.80/2096.75 c 2097 270 269 1 58.0000 30.5755 89.69%
2096.68/2102.69 c 2103 272 271 1 58.0000 30.5755 89.69%
2103.16/2109.16 c 2109 273 272 1 58.0000 30.5755 89.69%
2111.84/2117.82 c 2118 275 276 1 58.0000 30.5755 89.69%
2121.81/2127.82 c 2128 276 275 1 58.0000 30.5755 89.69%
2128.39/2134.44 c 2134 277 276 1 58.0000 30.5755 89.69%
2140.96/2147.04 c 2147 278 277 1 58.0000 30.5755 89.69%
2147.13/2153.25 c 2153 280 279 1 58.0000 30.5755 89.69%
2153.31/2159.47 c 2159 281 280 1 58.0000 30.5755 89.69%
2171.46/2177.61 c 2178 282 281 1 58.0000 30.5755 89.69%
2178.64/2184.83 c 2185 284 283 1 58.0000 30.5755 89.69%
2214.63/2220.94 c 2221 286 285 1 58.0000 30.5755 89.69%
2223.51/2229.84 c 2230 288 287 1 58.0000 30.5755 89.69%
2237.86/2244.26 c 2244 290 289 1 58.0000 30.5755 89.69%
2245.84/2252.23 c 2252 292 291 1 58.0000 30.5755 89.69%
2271.66/2278.13 c 2278 294 293 1 58.0000 30.5755 89.69%
2285.31/2291.86 c 2292 296 295 1 58.0000 30.5755 89.69%
2297.79/2304.36 c 2304 297 296 1 58.0000 30.5755 89.69%
2310.45/2317.10 c 2317 298 297 1 58.0000 30.5755 89.69%
2321.52/2328.13 c 2328 300 299 1 58.0000 30.5755 89.69%
2335.67/2342.38 c 2342 302 301 1 58.0000 30.5755 89.69%
2342.35/2349.06 c 2349 304 303 1 58.0000 30.5755 89.69%
2358.31/2365.03 c 2365 306 305 1 58.0000 30.5755 89.69%
2363.48/2370.23 c 2370 308 307 1 58.0000 30.5755 89.69%
2368.97/2375.76 c 2376 309 308 1 58.0000 30.5755 89.69%
2396.19/2403.01 c 2403 310 309 1 58.0000 30.5755 89.69%
2401.97/2408.82 c 2409 312 311 1 58.0000 30.5755 89.69%
2420.91/2427.81 c 2428 314 313 1 58.0000 30.5755 89.69%
2430.39/2437.35 c 2437 316 315 1 58.0000 30.5755 89.69%
2437.57/2444.56 c 2445 317 316 1 58.0000 30.5755 89.69%
2458.90/2465.97 c 2466 318 317 1 58.0000 30.5755 89.69%
2470.36/2477.46 c 2477 321 320 1 58.0000 30.5755 89.69%
2478.94/2486.06 c 2486 322 321 1 58.0000 30.5755 89.69%
2486.11/2493.29 c 2493 325 324 1 58.0000 30.5755 89.69%
2495.89/2503.09 c 2503 326 325 1 58.0000 30.5755 89.69%
2502.47/2509.63 c 2510 328 327 1 58.0000 30.5755 89.69%
2518.72/2525.95 c 2526 330 329 1 58.0000 30.5755 89.69%
2530.18/2537.44 c 2537 332 331 1 58.0000 30.5755 89.69%
2539.76/2547.10 c 2547 334 333 1 58.0000 30.5755 89.69%
2544.85/2552.11 c 2552 336 335 1 58.0000 30.5755 89.69%
2551.82/2559.11 c 2559 337 336 1 58.0000 30.5755 89.69%
2567.47/2574.80 c 2575 338 337 1 58.0000 30.5755 89.69%
2578.84/2586.27 c 2586 341 340 1 58.0000 30.5755 89.69%
2594.29/2601.76 c 2602 342 341 1 58.0000 30.5755 89.69%
2602.77/2610.26 c 2610 345 344 1 58.0000 30.5755 89.69%
2613.34/2620.89 c 2621 346 345 1 58.0000 30.5755 89.69%
2620.62/2628.17 c 2628 348 347 1 58.0000 31.0152 87.01%
2625.70/2633.23 c 2633 349 348 1 58.0000 31.0152 87.01%
2635.97/2643.52 c 2644 350 349 1 58.0000 31.0152 87.01%
2641.05/2648.61 c 2649 352 351 1 58.0000 31.0152 87.01%
2646.94/2654.55 c 2655 353 352 1 58.0000 31.0152 87.01%
2657.60/2665.22 c 2665 354 353 1 58.0000 31.0152 87.01%
2663.50/2671.18 c 2671 356 355 1 58.0000 31.0152 87.01%
2675.95/2683.67 c 2684 358 357 1 58.0000 31.0152 87.01%
2684.73/2692.43 c 2692 360 359 1 58.0000 31.0152 87.01%
2707.16/2714.98 c 2715 362 361 1 58.0000 31.0152 87.01%
2715.34/2723.13 c 2723 365 364 1 58.0000 31.0152 87.01%
2727.00/2734.82 c 2735 366 365 1 58.0000 31.0152 87.01%
2736.57/2744.40 c 2744 368 367 1 58.0000 31.0152 87.01%
2742.55/2750.43 c 2750 369 368 1 58.0000 31.0152 87.01%
2752.12/2760.03 c 2760 370 369 1 58.0000 31.0152 87.01%
2757.30/2765.29 c 2765 372 371 1 58.0000 31.0152 87.01%
2765.79/2773.71 c 2774 373 372 1 58.0000 31.0152 87.01%
2781.64/2789.65 c 2790 374 373 1 58.0000 31.0152 87.01%
2787.72/2795.78 c 2796 376 375 1 58.0000 31.0152 87.01%
2795.10/2803.14 c 2803 377 376 1 58.0000 31.0152 87.01%
2808.36/2816.48 c 2816 378 377 1 58.0000 31.0152 87.01%
2816.33/2824.41 c 2824 381 380 1 58.0000 31.0152 87.01%
2825.70/2833.80 c 2834 382 381 1 58.0000 31.0152 87.01%
2832.98/2841.16 c 2841 385 384 1 58.0000 31.0152 87.01%
2837.97/2846.17 c 2846 386 385 1 58.0000 31.0152 87.01%
2846.95/2855.18 c 2855 388 387 1 58.0000 31.0152 87.01%
2857.31/2865.57 c 2866 390 389 1 58.0000 31.0152 87.01%
2865.68/2873.94 c 2874 393 392 1 58.0000 31.0152 87.01%
2879.04/2887.38 c 2887 394 393 1 58.0000 31.0152 87.01%
2885.02/2893.32 c 2893 396 395 1 58.0000 31.0152 87.01%
2890.51/2898.81 c 2899 397 396 1 58.0000 31.0152 87.01%
2901.58/2909.99 c 2910 398 397 1 58.0000 31.0152 87.01%
2912.84/2921.23 c 2921 401 400 1 58.0000 31.0152 87.01%
2921.32/2929.73 c 2930 402 401 1 58.0000 31.0152 87.01%
2933.18/2941.60 c 2942 404 403 1 58.0000 31.0152 87.01%
2938.37/2946.82 c 2947 405 404 1 58.0000 31.0152 87.01%
2955.84/2964.33 c 2964 406 405 1 58.0000 31.0152 87.01%
2961.22/2969.75 c 2970 408 407 1 58.0000 31.0152 87.01%
2970.30/2978.84 c 2979 409 408 1 58.0000 31.0152 87.01%
2985.66/2994.29 c 2994 410 409 1 58.0000 31.0152 87.01%
2993.65/3002.21 c 3002 412 411 1 58.0000 31.0152 87.01%
2998.83/3007.45 c 3007 414 413 1 58.0000 31.0152 87.01%
3006.62/3015.27 c 3015 417 416 1 58.0000 31.0152 87.01%
3013.00/3021.62 c 3022 418 417 1 58.0000 31.0152 87.01%
3018.89/3027.56 c 3028 420 419 1 58.0000 31.0152 87.01%
3024.18/3032.89 c 3033 421 420 1 58.0000 31.0152 87.01%
3037.75/3046.40 c 3046 422 421 1 58.0000 31.0152 87.01%
3046.34/3055.00 c 3055 425 424 1 58.0000 31.0152 87.01%
3054.22/3062.94 c 3063 426 425 1 58.0000 31.0152 87.01%
3062.20/3070.91 c 3071 428 427 1 58.0000 31.0152 87.01%
3070.88/3079.69 c 3080 429 428 1 58.0000 31.0152 87.01%
3079.66/3088.40 c 3088 430 429 1 58.0000 31.0152 87.01%
3087.04/3095.80 c 3096 432 431 1 58.0000 31.0152 87.01%
3097.63/3106.47 c 3106 434 433 1 58.0000 31.0152 87.01%
3102.81/3111.68 c 3112 436 435 1 58.0000 31.0152 87.01%
3127.55/3136.48 c 3136 438 437 1 58.0000 31.0152 87.01%
3136.34/3145.27 c 3145 441 440 1 58.0000 31.0152 87.01%
3154.30/3163.24 c 3163 442 441 1 58.0000 31.0152 87.01%
3160.19/3169.19 c 3169 444 443 1 58.0000 31.0152 87.01%
3179.54/3188.50 c 3188 446 445 1 58.0000 31.0152 87.01%
3184.53/3193.58 c 3194 448 447 1 58.0000 31.0152 87.01%
3206.29/3215.36 c 3215 450 449 1 58.0000 31.0152 87.01%
3214.08/3223.13 c 3223 453 452 1 58.0000 31.0152 87.01%
3230.73/3239.81 c 3240 454 453 1 58.0000 31.0152 87.01%
3236.82/3245.99 c 3246 456 455 1 58.0000 31.0152 87.01%
3247.00/3256.16 c 3256 458 457 1 58.0000 31.0152 87.01%
3252.58/3261.73 c 3262 460 459 1 58.0000 31.0152 87.01%
3265.25/3274.43 c 3274 462 461 1 58.0000 31.0152 87.01%
3270.64/3279.84 c 3280 464 463 1 58.0000 31.0152 87.01%
3281.32/3290.50 c 3290 466 465 1 58.0000 31.0152 87.01%
3287.41/3296.60 c 3297 468 467 1 58.0000 31.0152 87.01%
3297.59/3306.89 c 3307 470 469 1 58.0000 31.0152 87.01%
3304.08/3313.38 c 3313 473 472 1 58.0000 31.0152 87.01%
3313.05/3322.36 c 3322 474 473 1 58.0000 31.0152 87.01%
3320.24/3329.51 c 3330 476 475 1 58.0000 31.0152 87.01%
3338.30/3347.67 c 3348 478 477 1 58.0000 31.0152 87.01%
3346.88/3356.29 c 3356 481 480 1 58.0000 31.0152 87.01%
3354.96/3364.33 c 3364 482 481 1 58.0000 31.0152 87.01%
3360.05/3369.44 c 3369 484 483 1 58.0000 31.0152 87.01%
3382.90/3392.33 c 3392 486 485 1 58.0000 31.0152 87.01%
3390.08/3399.58 c 3400 488 487 1 58.0000 31.0152 87.01%
3395.97/3405.43 c 3405 490 489 1 58.0000 31.0152 87.01%
3402.85/3412.37 c 3412 493 492 1 58.0000 31.0152 87.01%
3421.32/3430.81 c 3431 494 493 1 58.0000 31.0152 87.01%
3429.90/3439.48 c 3439 497 496 1 58.0000 31.0152 87.01%
3438.98/3448.56 c 3449 498 497 1 58.0000 31.0152 87.01%
3445.46/3455.03 c 3455 500 499 1 58.0000 31.0152 87.01%
3462.42/3472.09 c 3472 502 501 1 58.0000 31.0152 87.01%
3470.50/3480.15 c 3480 504 503 1 58.0000 31.0152 87.01%
3484.27/3493.98 c 3494 506 505 1 58.0000 31.0152 87.01%
3492.35/3502.03 c 3502 509 508 1 58.0000 31.0152 87.01%
3500.73/3510.47 c 3510 510 509 1 58.0000 31.0152 87.01%
3509.22/3518.98 c 3519 513 512 1 58.0000 31.0152 87.01%
3515.70/3525.49 c 3525 514 513 1 58.0000 31.0152 87.01%
3522.98/3532.71 c 3533 517 516 1 58.0000 31.0152 87.01%
3535.85/3545.63 c 3546 518 517 1 58.0000 31.0152 87.01%
3543.84/3553.61 c 3554 521 520 1 58.0000 31.0152 87.01%
3555.71/3565.56 c 3566 522 521 1 58.0000 31.0152 87.01%
3560.69/3570.58 c 3571 524 523 1 58.0000 31.0152 87.01%
3569.77/3579.61 c 3580 526 525 1 58.0000 31.0152 87.01%
3576.56/3586.41 c 3586 529 528 1 58.0000 31.0152 87.01%
3588.14/3598.00 c 3598 529 528 0 58.0000 31.0152 87.01%
3588.54/3598.48 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.54/3598.48 c Total Time : 3598.47
3588.54/3598.48 c solving : 3598.47
3588.54/3598.48 c presolving : 0.18 (included in solving)
3588.54/3598.48 c B&B Tree :
3588.54/3598.48 c nodes (total) : 1
3588.54/3598.48 c Solution :
3588.54/3598.48 c Solutions found : 2
3588.54/3598.48 c Primal Bound : +5.80000000000000e+01
3588.54/3598.48 c Dual Bound : +3.10151612938342e+01
3588.54/3598.48 c Gap : 87.00531 %
3588.54/3598.48 c * Warning: final gap: 8.70053e-01 is greater than SCIPepsilon: 1.00000e-09
3588.54/3598.48 o 58
3588.54/3598.48 s SATISFIABLE
3588.54/3598.48 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
3588.54/3598.48 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
3588.54/3598.48 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
3588.54/3598.48 v -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917
3588.54/3598.48 v -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896
3588.54/3598.48 v -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
3588.54/3598.48 v -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855
3588.54/3598.48 v -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834
3588.54/3598.48 v -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
3588.54/3598.48 v -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 -x794 -x793 -x792
3588.54/3598.48 v -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771
3588.54/3598.48 v -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750
3588.54/3598.48 v -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729
3588.54/3598.48 v -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708
3588.54/3598.48 v -x707 -x706 x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
3588.54/3598.48 v x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666
3588.54/3598.48 v -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
3588.54/3598.48 v -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625
3588.54/3598.48 v -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604
3588.54/3598.48 v -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583
3588.54/3598.48 v -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562
3588.54/3598.48 v -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
3588.54/3598.48 v -x540 -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520
3588.54/3598.48 v -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499
3588.54/3598.48 v -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478
3588.54/3598.48 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
3588.54/3598.48 v -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 -x436
3588.54/3598.48 v -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416
3588.54/3598.48 v -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395
3588.54/3598.48 v -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374
3588.54/3598.48 v -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353
3588.54/3598.48 v -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337 -x336 -x335 -x334 -x333 -x332
3588.63/3598.53 v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311
3588.63/3598.53 v -x310 -x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290
3588.63/3598.53 v -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269
3588.63/3598.53 v -x268 -x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248
3588.63/3598.53 v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227
3588.63/3598.53 v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 x208 -x207 -x206
3588.63/3598.53 v x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185
3588.63/3598.53 v -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 x168 x167 -x166 -x165 -x164 -x163
3588.63/3598.53 v x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142
3588.63/3598.53 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 x130 -x129 -x128 -x127 -x126 -x125 x124 -x123 -x122 -x121
3588.63/3598.53 v x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 x106 -x105 x104 -x103 -x102 -x101 -x100 -x99
3588.63/3598.53 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
3588.63/3598.53 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
3588.63/3598.53 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
3588.63/3598.53 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 (61096 MiB free)
memory of node 1: 64473 MiB (63065 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464782-1722382194/watcher-4464782-1722382194 -o /tmp/evaluation-result-4464782-1722382194/solver-4464782-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464782-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31023, runsolver pid=31020
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.07 4.15 4.09 5/265 31024
/proc/meminfo: memFree=127063348/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=104436 memory=93880 CPUtime=0.09 cores=1,3
/proc/31023/stat : 31023 (fscip) R 31020 31023 28847 0 -1 4194304 21696 0 0 0 7 2 0 0 20 0 1 0 4816403 106942464 23470 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 26109 23470 2571 3035 0 22505 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 104436 KiB
Current children cumulated memory: 93880 KiB
[startup+0.205755 s]*
/proc/loadavg: 4.07 4.15 4.09 7/257 31024
/proc/meminfo: memFree=127646980/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=157236 memory=143144 CPUtime=0.2 cores=1,3
/proc/31023/stat : 31023 (fscip) R 31020 31023 28847 0 -1 4194304 33945 0 0 0 16 4 0 0 20 0 1 0 4816403 161009664 35786 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 39309 35786 2614 3035 0 35705 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 157236 KiB
Current children cumulated memory: 143144 KiB
[startup+0.305392 s]*
/proc/loadavg: 4.07 4.15 4.09 3/254 31032
/proc/meminfo: memFree=128044216/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=159088 memory=144908 CPUtime=0.3 cores=1,3
/proc/31023/stat : 31023 (fscip) R 31020 31023 28847 0 -1 4194304 34411 0 0 0 26 4 0 0 20 0 1 0 4816403 162906112 36227 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 39772 36227 2630 3035 0 36168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 159088 KiB
Current children cumulated memory: 144908 KiB
[startup+0.701086 s]
/proc/loadavg: 4.07 4.15 4.09 2/246 31051
/proc/meminfo: memFree=128357548/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=246844 memory=174616 CPUtime=0.67 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 42703 0 0 0 62 5 0 0 20 0 3 0 4816403 252768256 43654 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 61711 43654 2918 3035 0 47912 0
[pid=31023/tid=31037] ppid=31020 vsize=246844 memory=2336 CPUtime=0.33 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 7056 0 0 0 32 1 0 0 20 0 3 0 4816438 252768256 43654 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=246844 memory=11400 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816439 252768256 43654 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 246844 KiB
Current children cumulated memory: 174616 KiB
[startup+1.50109 s]
/proc/loadavg: 3.83 4.10 4.07 6/254 31158
/proc/meminfo: memFree=128306648/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=248296 memory=176720 CPUtime=1.47 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 44325 0 0 0 141 6 0 0 20 0 3 0 4816403 254255104 44180 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 62074 44180 2918 3035 0 48519 0
[pid=31023/tid=31037] ppid=31020 vsize=248296 memory=11400 CPUtime=1.12 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 8678 0 0 0 111 1 0 0 20 0 3 0 4816438 254255104 44180 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=248296 memory=2336 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816439 254255104 44180 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 248296 KiB
Current children cumulated memory: 176720 KiB
[startup+3.10609 s]
/proc/loadavg: 3.83 4.10 4.07 5/257 31224
/proc/meminfo: memFree=127357488/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=255708 memory=185284 CPUtime=3.06 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 47277 0 0 0 300 6 0 0 20 0 3 0 4816403 261844992 46321 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 63927 46321 2918 3035 0 50903 0
[pid=31023/tid=31037] ppid=31020 vsize=255708 memory=183192 CPUtime=2.71 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 11624 0 0 0 269 2 0 0 20 0 3 0 4816438 261844992 46321 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=255708 memory=176792 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4816439 261844992 46321 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 255708 KiB
Current children cumulated memory: 185284 KiB
[startup+6.30111 s]
/proc/loadavg: 3.84 4.10 4.07 5/265 31265
/proc/meminfo: memFree=125755228/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=319624 memory=258092 CPUtime=6.22 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 78502 0 0 0 613 9 0 0 20 0 3 0 4816403 327294976 64523 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 79906 64523 2950 3035 0 69047 0
[pid=31023/tid=31037] ppid=31020 vsize=319624 memory=176792 CPUtime=5.87 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 42849 0 0 0 582 5 0 0 20 0 3 0 4816438 327294976 64523 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=319624 memory=0 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4816439 327294976 64523 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 319624 KiB
Current children cumulated memory: 258092 KiB
[startup+12.7002 s]
/proc/loadavg: 3.93 4.11 4.08 5/263 31284
/proc/meminfo: memFree=127778076/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=397192 CPUtime=12.6 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 134021 0 0 0 1244 16 0 0 20 0 3 0 4816403 461512704 99298 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 99298 2950 3035 0 103889 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=0 CPUtime=12.24 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 98364 0 0 0 1213 11 0 0 20 0 3 0 4816438 461512704 99298 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=5711576 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 99298 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 397192 KiB
[startup+25.5002 s]
/proc/loadavg: 3.94 4.11 4.08 5/265 31317
/proc/meminfo: memFree=126155780/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=402000 CPUtime=25.36 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 144246 0 0 0 2520 16 0 0 20 0 3 0 4816403 461512704 100500 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 100500 2950 3035 0 104304 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=401996 CPUtime=25.01 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 108581 0 0 0 2489 12 0 0 20 0 3 0 4816438 461512704 100500 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=2209 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 100500 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 402000 KiB
[startup+51.1056 s]
/proc/loadavg: 4.03 4.12 4.08 5/266 31380
/proc/meminfo: memFree=126107136/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=402460 CPUtime=50.9 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 158718 0 0 0 5073 17 0 0 20 0 3 0 4816403 461512704 100615 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 100615 2950 3035 0 104361 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=13176 CPUtime=50.56 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 123031 0 0 0 5043 13 0 0 20 0 3 0 4816438 461512704 100615 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=402392 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 100615 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 402460 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/267 31391
/proc/meminfo: memFree=126053512/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=402640 CPUtime=101.98 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 168797 0 0 0 10180 18 0 0 20 0 3 0 4816403 461512704 100660 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 100660 2950 3035 0 104361 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=11400 CPUtime=101.62 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 133076 0 0 0 10149 13 0 0 20 0 3 0 4816438 461512704 100660 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=402640 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 100660 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 402640 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.10 4.08 5/267 31401
/proc/meminfo: memFree=125982440/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=404764 CPUtime=161.83 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 174655 0 0 0 16165 18 0 0 20 0 3 0 4816403 461512704 101191 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 101191 2998 3035 0 104361 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=13176 CPUtime=161.48 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 138900 0 0 0 16134 14 0 0 20 0 3 0 4816438 461512704 101191 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=404624 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 101191 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 450696 KiB
Current children cumulated memory: 404764 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/267 31411
/proc/meminfo: memFree=125874792/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=450696 memory=415060 CPUtime=221.69 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 179339 0 0 0 22150 19 0 0 20 0 3 0 4816403 461512704 103765 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 112674 103765 2998 3035 0 106119 0
[pid=31023/tid=31037] ppid=31020 vsize=450696 memory=414924 CPUtime=221.33 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 143560 0 0 0 22119 14 0 0 20 0 3 0 4816438 461512704 103765 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=450696 memory=5404 CPUtime=0 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4816439 461512704 103765 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
################
# More data... #
################
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3452.74 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1123218 0 0 0 345186 88 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=12696 CPUtime=3452.32 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1086314 0 0 0 345151 81 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=11400 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 273 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 33156
/proc/meminfo: memFree=120834848/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3512.61 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1129609 0 0 0 351172 89 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=615744 CPUtime=3512.19 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1092683 0 0 0 351137 82 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=615744 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 278 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/266 33166
/proc/meminfo: memFree=120831816/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3572.47 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1172882 0 0 0 357156 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=13176 CPUtime=3572.05 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1135934 0 0 0 357121 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=12696 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3598.54 s]
# the end of solver process 31023 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.75 s, system=0.938273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.10 4.09 5/266 33166
/proc/meminfo: memFree=120831816/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3574.17 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1172884 0 0 0 357326 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=20784 CPUtime=3573.75 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1135936 0 0 0 357291 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=5544 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 33166
/proc/meminfo: memFree=120830976/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3580.55 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1173158 0 0 0 357964 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=615744 CPUtime=3580.13 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1136210 0 0 0 357929 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=615744 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120831000/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3583.75 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1173159 0 0 0 358284 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=615744 CPUtime=3583.32 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1136211 0 0 0 358248 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=11400 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830980/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3586.94 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1173159 0 0 0 358603 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=11400 CPUtime=3586.52 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1136211 0 0 0 358568 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=615744 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3586.94 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830976/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3587.74 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1173159 0 0 0 358683 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=5472 CPUtime=3587.32 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1136211 0 0 0 358648 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=11400 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3587.74 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830992/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3588.14 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1173159 0 0 0 358723 91 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=-7452168224999826559 CPUtime=3587.72 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1136211 0 0 0 358688 84 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=4497855350632509086 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3588.14 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3598.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830992/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=653572 memory=615744 CPUtime=3588.54 cores=1,3
/proc/31023/stat : 31023 (fscip) S 31020 31023 28847 0 -1 1077936128 1188250 0 0 0 358762 92 0 0 20 0 3 0 4816403 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 163393 153936 3014 3035 0 157929 0
[pid=31023/tid=31037] ppid=31020 vsize=653572 memory=13176 CPUtime=3588.11 cores=1,3
/proc/31023/task/31037/stat : 31037 (fscip) R 31020 31023 28847 0 -1 4194368 1151298 0 0 0 358726 85 0 0 20 0 3 0 4816438 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
[pid=31023/tid=31042] ppid=31020 vsize=653572 memory=5472 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 3 0 4816439 669257728 153936 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3588.54 s
Current children cumulated vsize: 653572 KiB
Current children cumulated memory: 615744 KiB
[startup+3598.5 s]
/proc/loadavg: 4.12 4.11 4.09 5/266 33168
/proc/meminfo: memFree=120830992/131524600 swapFree=131071216/131071996
[pid=31023] ppid=31020 vsize=615424 memory=524540 CPUtime=3588.63 cores=1,3
/proc/31023/stat : 31023 (fscip) R 31020 31023 28847 0 -1 4194304 1192974 0 0 0 358771 92 0 0 20 0 2 0 4816403 630194176 131135 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
/proc/31023/statm: 153856 131135 3014 3035 0 148392 0
[pid=31023/tid=31042] ppid=31020 vsize=615424 memory=11400 CPUtime=0.02 cores=1,3
/proc/31023/task/31042/stat : 31042 (fscip) S 31020 31023 28847 0 -1 1077936192 283 0 0 0 1 1 0 0 20 0 2 0 4816439 630194176 131135 134679101440 4194304 16623229 140730870669888 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 50102272 140730870678550 140730870678666 140730870678666 140730870685680 0
Current children cumulated CPU time: 3588.63 s
Current children cumulated vsize: 615424 KiB
Current children cumulated memory: 524540 KiB
Child status: 0
Real time (s): 3598.54
CPU time (s): 3588.68
CPU user time (s): 3587.75
CPU system time (s): 0.938273
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 653572
Max. memory (cumulated for all children) (KiB): 615744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.75
system time used= 0.938273
maximum resident set size= 615744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1194978
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= 4672
involuntary context switches= 1799
# summary of solver processes directly reported to runsolver:
# pid: 31023
# total CPU time (s): 3588.68
# total CPU user time (s): 3587.75
# total CPU system time (s): 0.938273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99509 second user time and 16.8614 second system time
The end
Begin job on nodeC017 at 2024-07-31 01:29:54
IDJOB=4464782
IDBENCH=148597
IDSOLVER=3092
FILE ID=nodeC017/4464782-1722382194
RUNJOBID= nodeC017-1722378594-28859
SLURM_JOB_ID= 8249830
Free space on /tmp= 889992 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464782-1722382194/watcher-4464782-1722382194 -o /tmp/evaluation-result-4464782-1722382194/solver-4464782-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1722378594-28859 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464782-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2fbc7789f215ae658897d89229f86125
RANDOM SEED=1453536771
nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.269
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.241
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.141
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.813
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.276
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.606
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.273
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.82
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3613.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127142152 kB
MemAvailable: 128447892 kB
Buffers: 94008 kB
Cached: 2044656 kB
SwapCached: 52 kB
Active: 262932 kB
Inactive: 3641624 kB
Active(anon): 1464 kB
Inactive(anon): 1785600 kB
Active(file): 261468 kB
Inactive(file): 1856024 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28896 kB
Writeback: 0 kB
AnonPages: 1765880 kB
Mapped: 124840 kB
Shmem: 21136 kB
KReclaimable: 56144 kB
Slab: 136416 kB
SReclaimable: 56144 kB
SUnreclaim: 80272 kB
KernelStack: 4240 kB
PageTables: 12460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 986724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9024 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1468416 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889924 MiB
End job on nodeC017 at 2024-07-31 02:29:53