0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c External libraries: 
0.00/0.00	c   SoPlex 8.0.0         Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
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 4.0.0        AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00	c   PaPILO 3.0.0         parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00	c   bliss 0.77           Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00	c   sassy 2.0            Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00	c 
0.00/0.00	c reading problem <HOME/instance-4490759-1751384297.opb>
0.00/0.00	c original problem has 238 variables (238 bin, 0 int, 0 cont) and 398 constraints
0.00/0.00	c problem read in 0.002 seconds
0.00/0.00	c presolving:
0.00/0.01	c    (0.0s) running MILP presolver
0.00/0.01	c    (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.01	c (round 1, medium)     0 del vars, 398 del conss, 202 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 21 clqs
0.00/0.01	c (round 2, exhaustive) 0 del vars, 398 del conss, 202 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6 upgd conss, 0 impls, 21 clqs
0.00/0.02	c    (0.0s) probing cycle finished: starting next cycle
0.00/0.02	c    (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.02	c    (0.0s) symmetry computation finished: 70 generators found (max: 1500, log10 of symmetry group size: 21.07) (symcode time: 0.00)
0.00/0.02	c dynamic symmetry handling statistics:
0.00/0.02	c    orbitopal reduction:       no components
0.00/0.02	c    orbital reduction:         no components
0.00/0.02	c    lexicographic reduction:   no permutations
0.00/0.02	c handled 70 out of 70 symmetry components
0.00/0.02	c (round 3, exhaustive) 0 del vars, 398 del conss, 272 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 6 upgd conss, 0 impls, 287 clqs
0.00/0.02	c (round 4, exhaustive) 0 del vars, 398 del conss, 272 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 76 upgd conss, 0 impls, 287 clqs
0.00/0.02	c presolving (5 rounds: 5 fast, 5 medium, 4 exhaustive):
0.00/0.02	c  0 deleted vars, 398 deleted constraints, 272 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 287 cliques
0.00/0.02	c presolved problem has 238 variables (238 bin, 0 int, 0 cont) and 272 constraints
0.00/0.02	c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.00/0.02	c       6 constraints of type <knapsack>
0.00/0.02	c      70 constraints of type <setppc>
0.00/0.02	c     196 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.02
0.00/0.02	c 
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c 
0.00/0.02	c # SCIP version 10.0.0
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.02	c limits/time = 3596.99803
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.02	c limits/memory = 27900
0.00/0.02	c 
0.00/0.02	c # belongs reading time to solving time?
0.00/0.02	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c timing/reading = TRUE
0.00/0.02	c 
0.00/0.02	c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.00/0.02	c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.02	c reading/opbreader/maxintsize = 47
0.00/0.02	c 
0.00/0.02	c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.02	c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.02	c propagating/genvbounds/timingmask = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c 
0.00/0.03	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.00/0.03	c   0.0s|     1 |     0 |   237 |     - |  8870k |   0 | 238 | 282 | 272 |   0 |  0 |   9 |   0 | 6.000000e+00 |      --      |    Inf | unknown
0.00/0.06	c   0.1s|     1 |     0 |  1001 |     - |  9520k |   0 | 238 | 282 | 278 |   6 |  1 |   9 |   0 | 6.000000e+00 |      --      |    Inf | unknown
0.00/0.07	c   0.1s|     1 |     0 |  1023 |     - |    10M |   0 | 238 | 282 | 284 |  12 |  2 |   9 |   0 | 6.020833e+00 |      --      |    Inf | unknown
0.00/0.08	c   0.1s|     1 |     0 |  1041 |     - |    10M |   0 | 238 | 282 | 290 |  18 |  3 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.00/0.09	c   0.1s|     1 |     0 |  1049 |     - |    12M |   0 | 238 | 282 | 295 |  23 |  4 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.10	c   0.1s|     1 |     0 |  1056 |     - |    13M |   0 | 238 | 282 | 301 |  29 |  5 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.11	c   0.1s|     1 |     0 |  1064 |     - |    13M |   0 | 238 | 282 | 306 |  34 |  6 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.12	c   0.1s|     1 |     0 |  1075 |     - |    14M |   0 | 238 | 282 | 312 |  40 |  7 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.13	c   0.1s|     1 |     0 |  1087 |     - |    14M |   0 | 238 | 282 | 318 |  46 |  8 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.15	c   0.1s|     1 |     0 |  1096 |     - |    15M |   0 | 238 | 282 | 324 |  52 |  9 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.16	c   0.2s|     1 |     0 |  1108 |     - |    16M |   0 | 238 | 282 | 330 |  58 | 10 |   9 |   0 | 7.000000e+00 |      --      |    Inf | unknown
0.09/0.17	c   0.2s|     1 |     0 |  1117 |     - |    17M |   0 | 238 | 282 | 335 |  63 | 11 |   9 |   0 | 7.020833e+00 |      --      |    Inf | unknown
0.09/0.17	c   0.2s|     1 |     0 |  1126 |     - |    17M |   0 | 238 | 282 | 340 |  68 | 12 |   9 |   0 | 7.020833e+00 |      --      |    Inf | unknown
0.09/0.18	c   0.2s|     1 |     0 |  1136 |     - |    18M |   0 | 238 | 282 | 345 |  73 | 13 |   9 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.09/0.19	c   0.2s|     1 |     0 |  1151 |     - |    18M |   0 | 238 | 286 | 350 |  78 | 14 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.09/0.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.09/0.20	c   0.2s|     1 |     0 |  1162 |     - |    18M |   0 | 238 | 286 | 355 |  83 | 15 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.09/0.21	c   0.2s|     1 |     0 |  1182 |     - |    18M |   0 | 238 | 286 | 343 |  88 | 16 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.20/0.21	c   0.2s|     1 |     0 |  1191 |     - |    18M |   0 | 238 | 286 | 348 |  93 | 17 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.20/0.22	c   0.2s|     1 |     0 |  1202 |     - |    18M |   0 | 238 | 286 | 354 |  99 | 18 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.20/0.23	c   0.2s|     1 |     0 |  1223 |     - |    18M |   0 | 238 | 286 | 360 | 105 | 19 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.20/0.24	c   0.2s|     1 |     0 |  1233 |     - |    18M |   0 | 238 | 286 | 365 | 110 | 20 |  13 |   0 | 7.166667e+00 |      --      |    Inf | unknown
0.20/0.25	c   0.2s|     1 |     0 |  1241 |     - |    18M |   0 | 238 | 287 | 369 | 114 | 21 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.25	c   0.3s|     1 |     0 |  1263 |     - |    18M |   0 | 238 | 287 | 355 | 119 | 22 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.26	c   0.3s|     1 |     0 |  1283 |     - |    19M |   0 | 238 | 287 | 360 | 124 | 23 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.27	c   0.3s|     1 |     0 |  1296 |     - |    19M |   0 | 238 | 287 | 365 | 129 | 24 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.28	c   0.3s|     1 |     0 |  1312 |     - |    19M |   0 | 238 | 287 | 370 | 134 | 25 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.29	c   0.3s|     1 |     0 |  1331 |     - |    20M |   0 | 238 | 287 | 375 | 139 | 26 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.29	c   0.3s|     1 |     0 |  1349 |     - |    20M |   0 | 238 | 287 | 380 | 144 | 27 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.20/0.30	c   0.3s|     1 |     0 |  1364 |     - |    20M |   0 | 238 | 287 | 367 | 148 | 28 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.30/0.31	c   0.3s|     1 |     0 |  1372 |     - |    20M |   0 | 238 | 287 | 373 | 154 | 29 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.30/0.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.30/0.32	c   0.3s|     1 |     0 |  1383 |     - |    20M |   0 | 238 | 287 | 378 | 159 | 30 |  14 |   0 | 7.200000e+00 |      --      |    Inf | unknown
0.30/0.32	c   0.3s|     1 |     0 |  1427 |     - |    20M |   0 | 238 | 290 | 382 | 163 | 31 |  17 |   0 | 7.210417e+00 |      --      |    Inf | unknown
0.30/0.33	c   0.3s|     1 |     0 |  1455 |     - |    20M |   0 | 238 | 290 | 387 | 168 | 32 |  17 |   0 | 7.210417e+00 |      --      |    Inf | unknown
0.30/0.34	c   0.3s|     1 |     0 |  1464 |     - |    20M |   0 | 238 | 290 | 391 | 172 | 33 |  17 |   0 | 7.210417e+00 |      --      |    Inf | unknown
0.30/0.34	c   0.3s|     1 |     0 |  1482 |     - |    20M |   0 | 238 | 290 | 381 | 177 | 34 |  17 |   0 | 7.214451e+00 |      --      |    Inf | unknown
0.30/0.35	c   0.4s|     1 |     0 |  1495 |     - |    20M |   0 | 238 | 290 | 386 | 182 | 35 |  17 |   0 | 7.214451e+00 |      --      |    Inf | unknown
0.30/0.36	c   0.4s|     1 |     0 |  1511 |     - |    20M |   0 | 238 | 290 | 390 | 186 | 36 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.36	c   0.4s|     1 |     0 |  1532 |     - |    20M |   0 | 238 | 290 | 396 | 192 | 37 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.37	c   0.4s|     1 |     0 |  1551 |     - |    20M |   0 | 238 | 290 | 400 | 196 | 38 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.38	c   0.4s|     1 |     0 |  1564 |     - |    20M |   0 | 238 | 290 | 406 | 202 | 39 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.38	c   0.4s|     1 |     0 |  1586 |     - |    20M |   0 | 238 | 290 | 387 | 207 | 40 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.39	c   0.4s|     1 |     0 |  1592 |     - |    20M |   0 | 238 | 290 | 391 | 211 | 41 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.39	c   0.4s|     1 |     0 |  1597 |     - |    20M |   0 | 238 | 290 | 395 | 215 | 42 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.39	c   0.4s|     1 |     0 |  1601 |     - |    20M |   0 | 238 | 290 | 399 | 219 | 43 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.40	c   0.4s|     1 |     0 |  1616 |     - |    20M |   0 | 238 | 290 | 404 | 224 | 44 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.30/0.40	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.30/0.40	c   0.4s|     1 |     0 |  1631 |     - |    20M |   0 | 238 | 290 | 411 | 231 | 45 |  17 |   0 | 7.224702e+00 |      --      |    Inf | unknown
0.40/0.41	c   0.4s|     1 |     0 |  1642 |     - |    20M |   0 | 238 | 290 | 399 | 236 | 46 |  17 |   0 | 7.343750e+00 |      --      |    Inf | unknown
0.40/0.42	c   0.4s|     1 |     0 |  1655 |     - |    21M |   0 | 238 | 290 | 402 | 239 | 47 |  17 |   0 | 7.343750e+00 |      --      |    Inf | unknown
0.40/0.43	c   0.4s|     1 |     0 |  1672 |     - |    21M |   0 | 238 | 291 | 407 | 244 | 48 |  18 |   0 | 7.343750e+00 |      --      |    Inf | unknown
0.40/0.43	c   0.4s|     1 |     0 |  1679 |     - |    21M |   0 | 238 | 291 | 410 | 247 | 49 |  18 |   0 | 7.343750e+00 |      --      |    Inf | unknown
0.40/0.44	c   0.4s|     1 |     0 |  1699 |     - |    21M |   0 | 238 | 291 | 415 | 252 | 50 |  18 |   0 | 7.343750e+00 |      --      |    Inf | unknown
0.40/0.44	c   0.4s|     1 |     0 |  1723 |     - |    21M |   0 | 238 | 291 | 421 | 258 | 51 |  18 |   0 | 7.362745e+00 |      --      |    Inf | unknown
0.40/0.45	c   0.5s|     1 |     0 |  1743 |     - |    21M |   0 | 238 | 291 | 405 | 263 | 52 |  18 |   0 | 7.362745e+00 |      --      |    Inf | unknown
0.40/0.45	c   0.5s|     1 |     0 |  1768 |     - |    21M |   0 | 238 | 291 | 410 | 268 | 53 |  18 |   0 | 7.365725e+00 |      --      |    Inf | unknown
0.40/0.46	c   0.5s|     1 |     0 |  1779 |     - |    21M |   0 | 238 | 291 | 413 | 271 | 54 |  18 |   0 | 7.365725e+00 |      --      |    Inf | unknown
0.40/0.46	c   0.5s|     1 |     0 |  1791 |     - |    21M |   0 | 238 | 291 | 418 | 276 | 55 |  18 |   0 | 7.371718e+00 |      --      |    Inf | unknown
0.40/0.46	c   0.5s|     1 |     0 |  1804 |     - |    21M |   0 | 238 | 295 | 422 | 280 | 56 |  22 |   0 | 7.384259e+00 |      --      |    Inf | unknown
0.40/0.47	c   0.5s|     1 |     0 |  1813 |     - |    21M |   0 | 238 | 295 | 426 | 284 | 57 |  22 |   0 | 7.415323e+00 |      --      |    Inf | unknown
0.40/0.47	c   0.5s|     1 |     0 |  1819 |     - |    21M |   0 | 238 | 295 | 408 | 288 | 58 |  22 |   0 | 7.415739e+00 |      --      |    Inf | unknown
0.40/0.48	c   0.5s|     1 |     0 |  1824 |     - |    21M |   0 | 238 | 295 | 412 | 292 | 59 |  22 |   0 | 7.415739e+00 |      --      |    Inf | unknown
0.40/0.48	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.40/0.48	c   0.5s|     1 |     0 |  1829 |     - |    21M |   0 | 238 | 296 | 416 | 296 | 60 |  23 |   0 | 7.422743e+00 |      --      |    Inf | unknown
0.40/0.49	c   0.5s|     1 |     0 |  1833 |     - |    21M |   0 | 238 | 297 | 419 | 299 | 61 |  24 |   0 | 7.422743e+00 |      --      |    Inf | unknown
0.40/0.49	c   0.5s|     1 |     0 |  1840 |     - |    21M |   0 | 238 | 299 | 422 | 302 | 62 |  26 |   0 | 7.434769e+00 |      --      |    Inf | unknown
0.40/0.49	c   0.5s|     1 |     0 |  1848 |     - |    21M |   0 | 238 | 300 | 425 | 305 | 63 |  27 |   0 | 7.435486e+00 |      --      |    Inf | unknown
0.40/0.50	c   0.5s|     1 |     0 |  1854 |     - |    21M |   0 | 238 | 300 | 405 | 308 | 64 |  27 |   0 | 7.437824e+00 |      --      |    Inf | unknown
0.40/0.50	c   0.5s|     1 |     0 |  1856 |     - |    21M |   0 | 238 | 300 | 407 | 310 | 65 |  27 |   0 | 7.437824e+00 |      --      |    Inf | unknown
0.40/0.50	c   0.5s|     1 |     0 |  1860 |     - |    21M |   0 | 238 | 300 | 411 | 314 | 66 |  27 |   0 | 7.437824e+00 |      --      |    Inf | unknown
0.50/0.51	c   0.5s|     1 |     0 |  1866 |     - |    21M |   0 | 238 | 300 | 415 | 318 | 67 |  27 |   0 | 7.437824e+00 |      --      |    Inf | unknown
0.50/0.51	c   0.5s|     1 |     0 |  1875 |     - |    21M |   0 | 238 | 300 | 418 | 321 | 68 |  27 |   0 | 7.478051e+00 |      --      |    Inf | unknown
0.50/0.51	c   0.5s|     1 |     0 |  1882 |     - |    21M |   0 | 238 | 300 | 423 | 326 | 69 |  27 |   0 | 7.480349e+00 |      --      |    Inf | unknown
0.50/0.52	c   0.5s|     1 |     0 |  1901 |     - |    21M |   0 | 238 | 300 | 403 | 330 | 70 |  27 |   0 | 7.498685e+00 |      --      |    Inf | unknown
0.50/0.53	c   0.5s|     1 |     0 |  1908 |     - |    21M |   0 | 238 | 300 | 408 | 335 | 71 |  27 |   0 | 7.498687e+00 |      --      |    Inf | unknown
0.50/0.53	c   0.5s|     1 |     0 |  1918 |     - |    21M |   0 | 238 | 300 | 412 | 339 | 72 |  27 |   0 | 7.498687e+00 |      --      |    Inf | unknown
0.50/0.54	c   0.5s|     1 |     0 |  1926 |     - |    21M |   0 | 238 | 300 | 415 | 342 | 73 |  27 |   0 | 7.498687e+00 |      --      |    Inf | unknown
0.50/0.54	c   0.5s|     1 |     0 |  1930 |     - |    21M |   0 | 238 | 300 | 417 | 344 | 74 |  27 |   0 | 7.498687e+00 |      --      |    Inf | unknown
0.50/0.55	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.50/0.55	c   0.5s|     1 |     0 |  1966 |     - |    21M |   0 | 238 | 303 | 420 | 347 | 75 |  30 |   0 | 7.513959e+00 |      --      |    Inf | unknown
0.50/0.55	c   0.6s|     1 |     0 |  1973 |     - |    21M |   0 | 238 | 303 | 411 | 351 | 76 |  30 |   0 | 7.514179e+00 |      --      |    Inf | unknown
0.50/0.55	c   0.6s|     1 |     0 |  1982 |     - |    21M |   0 | 238 | 303 | 414 | 354 | 77 |  30 |   0 | 7.519486e+00 |      --      |    Inf | unknown
0.50/0.56	c   0.6s|     1 |     0 |  1988 |     - |    21M |   0 | 238 | 303 | 417 | 357 | 78 |  30 |   0 | 7.519486e+00 |      --      |    Inf | unknown
0.50/0.56	c   0.6s|     1 |     0 |  1991 |     - |    21M |   0 | 238 | 303 | 420 | 360 | 79 |  30 |   0 | 7.519486e+00 |      --      |    Inf | unknown
0.50/0.56	c   0.6s|     1 |     0 |  1994 |     - |    21M |   0 | 238 | 303 | 423 | 363 | 80 |  30 |   0 | 7.519486e+00 |      --      |    Inf | unknown
0.50/0.57	c   0.6s|     1 |     0 |  2004 |     - |    21M |   0 | 238 | 303 | 429 | 369 | 81 |  30 |   0 | 7.520381e+00 |      --      |    Inf | unknown
0.50/0.57	c   0.6s|     1 |     0 |  2029 |     - |    21M |   0 | 238 | 303 | 418 | 373 | 82 |  30 |   0 | 7.579868e+00 |      --      |    Inf | unknown
0.50/0.57	c   0.6s|     1 |     0 |  2034 |     - |    21M |   0 | 238 | 303 | 422 | 377 | 83 |  30 |   0 | 7.582198e+00 |      --      |    Inf | unknown
0.50/0.58	c   0.6s|     1 |     0 |  2038 |     - |    21M |   0 | 238 | 303 | 425 | 380 | 84 |  30 |   0 | 7.582491e+00 |      --      |    Inf | unknown
0.50/0.58	c   0.6s|     1 |     0 |  2056 |     - |    21M |   0 | 238 | 303 | 432 | 387 | 85 |  30 |   0 | 7.588869e+00 |      --      |    Inf | unknown
0.50/0.59	c   0.6s|     1 |     0 |  2066 |     - |    21M |   0 | 238 | 303 | 435 | 390 | 86 |  30 |   0 | 7.589664e+00 |      --      |    Inf | unknown
0.50/0.59	c   0.6s|     1 |     0 |  2071 |     - |    21M |   0 | 238 | 303 | 439 | 394 | 87 |  30 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.50/0.59	c   0.6s|     1 |     0 |  2075 |     - |    21M |   0 | 238 | 303 | 420 | 398 | 88 |  30 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.50/0.60	c   0.6s|     1 |     0 |  2077 |     - |    21M |   0 | 238 | 306 | 422 | 400 | 89 |  33 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.50/0.60	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
0.50/0.60	c   0.6s|     1 |     0 |  2079 |     - |    21M |   0 | 238 | 310 | 424 | 402 | 90 |  37 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.59/0.60	c   0.6s|     1 |     0 |  2081 |     - |    21M |   0 | 238 | 310 | 426 | 404 | 91 |  37 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.59/0.61	c   0.6s|     1 |     0 |  2083 |     - |    21M |   0 | 238 | 310 | 428 | 406 | 92 |  37 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.59/0.61	c   0.6s|     1 |     0 |  2085 |     - |    21M |   0 | 238 | 311 | 430 | 408 | 93 |  38 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.59/0.61	c   0.6s|     1 |     0 |  2086 |     - |    21M |   0 | 238 | 311 | 408 | 409 | 94 |  38 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.59/0.62	c   0.6s|     1 |     0 |  2087 |     - |    21M |   0 | 238 | 311 | 409 | 410 | 95 |  38 |   0 | 7.589756e+00 |      --      |    Inf | unknown
0.68/0.71	c   0.7s|     1 |     2 |  2701 |     - |    21M |   0 | 238 | 324 | 409 | 410 | 96 |  51 |  38 | 8.134304e+00 |      --      |    Inf | unknown
0.68/0.79	o 25
0.68/0.79	c * 0.8s|     7 |     4 |  2795 | 131.5 |    LP  |   5 | 238 | 324 | 346 | 410 |  0 |  51 |  38 | 8.134304e+00 | 2.500000e+01 | 207.34%|   3.44%
1.68/1.74	c   1.7s|   100 |    43 |  8674 |  67.4 |    22M |  14 | 238 | 395 |   0 | 517 |  0 | 123 |  38 | 9.031033e+00 | 2.500000e+01 | 176.82%|  24.78%
1.99/2.06	c   2.1s|   200 |    63 | 10912 |  44.8 |    24M |  17 | 238 | 497 | 356 | 612 |  1 | 225 |  48 | 1.150000e+01 | 2.500000e+01 | 117.39%|  32.62%
2.18/2.27	c   2.3s|   300 |    57 | 12508 |  35.1 |    24M |  17 | 238 | 624 | 348 | 651 |  1 | 353 |  78 | 1.201042e+01 | 2.500000e+01 | 108.15%|  34.01%
2.48/2.55	c   2.6s|   400 |    70 | 14988 |  32.5 |    26M |  18 | 238 | 750 |   0 | 739 |  0 | 480 |  99 | 1.250000e+01 | 2.500000e+01 | 100.00%|  41.03%
2.99/3.05	c   3.0s|   500 |   103 | 18987 |  34.0 |    32M |  19 | 238 | 897 | 354 | 941 |  1 | 632 | 181 | 1.300000e+01 | 2.500000e+01 |  92.31%|  43.67%
3.18/3.27	c   3.3s|   600 |   128 | 20817 |  31.4 |    33M |  20 | 238 |1012 | 346 | 982 |  1 | 749 | 191 | 1.304000e+01 | 2.500000e+01 |  91.72%|  44.70%
3.38/3.47	c   3.5s|   700 |   161 | 22457 |  29.3 |    35M |  20 | 238 |1126 | 361 |1103 |  1 | 877 | 212 | 1.504082e+01 | 2.500000e+01 |  66.21%|  47.45%
3.58/3.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
3.58/3.61	c   3.6s|   800 |   162 | 23998 |  27.5 |    35M |  20 | 238 |1248 |   0 |1202 |  0 |1001 | 251 | 1.600000e+01 | 2.500000e+01 |  56.25%|  51.79%
3.68/3.75	c   3.8s|   900 |   172 | 25829 |  26.5 |    35M |  20 | 238 |1368 |   0 |1266 |  0 |1123 | 289 | 1.600000e+01 | 2.500000e+01 |  56.25%|  51.98%
3.88/3.94	c   3.9s|  1000 |   194 | 28368 |  26.4 |    36M |  20 | 238 |1486 | 361 |1395 |  1 |1246 | 330 | 1.600000e+01 | 2.500000e+01 |  56.25%|  53.79%
4.08/4.12	c   4.1s|  1100 |   210 | 30275 |  25.7 |    36M |  20 | 238 |1546 | 346 |1503 |  1 |1312 | 330 | 1.600685e+01 | 2.500000e+01 |  56.18%|  53.98%
4.27/4.31	c   4.3s|  1200 |   216 | 31741 |  24.8 |    36M |  20 | 238 |1656 |   0 |1624 |  0 |1429 | 355 | 1.700000e+01 | 2.500000e+01 |  47.06%|  55.27%
4.37/4.45	c   4.5s|  1300 |   202 | 33187 |  24.0 |    36M |  20 | 238 |1862 | 357 |1657 |  2 |1646 | 461 | 1.700000e+01 | 2.500000e+01 |  47.06%|  55.58%
4.47/4.58	c   4.6s|  1400 |   217 | 34708 |  23.4 |    37M |  20 | 238 |1925 |   0 |1731 |  0 |1719 | 471 | 1.700000e+01 | 2.500000e+01 |  47.06%|  57.63%
4.67/4.76	c   4.8s|  1500 |   232 | 36553 |  23.0 |    37M |  20 | 238 |2040 | 346 |1853 |  1 |1851 | 504 | 1.700000e+01 | 2.500000e+01 |  47.06%|  58.05%
4.87/4.93	c   4.9s|  1600 |   248 | 38358 |  22.7 |    37M |  20 | 238 |2125 | 354 |1991 |  1 |1949 | 514 | 1.700000e+01 | 2.500000e+01 |  47.06%|  58.52%
4.98/5.10	c   5.1s|  1700 |   256 | 39647 |  22.2 |    37M |  20 | 238 |2242 |   0 |2096 |  0 |2087 | 544 | 1.725000e+01 | 2.500000e+01 |  44.93%|  59.28%
5.17/5.25	c   5.2s|  1800 |   260 | 41226 |  21.8 |    38M |  20 | 238 |2378 |   0 |2159 |  0 |2245 | 583 | 1.750000e+01 | 2.500000e+01 |  42.86%|  61.39%
5.37/5.40	c   5.4s|  1900 |   270 | 42687 |  21.4 |    38M |  20 | 238 |2480 |   0 |2239 |  0 |2363 | 635 | 1.751515e+01 | 2.500000e+01 |  42.73%|  61.55%
5.47/5.56	c   5.6s|  2000 |   288 | 44337 |  21.2 |    39M |  20 | 238 |2551 |   0 |2344 |  0 |2464 | 650 | 1.800000e+01 | 2.500000e+01 |  38.89%|  62.33%
5.67/5.75	c   5.7s|  2100 |   291 | 45961 |  20.9 |    39M |  20 | 238 |2634 | 355 |2427 |  1 |2602 | 690 | 1.800000e+01 | 2.500000e+01 |  38.89%|  62.62%
5.77/5.84	c   5.8s|  2200 |   302 | 47210 |  20.6 |    39M |  20 | 238 |2716 |   0 |2440 |  0 |2712 | 727 | 1.900000e+01 | 2.500000e+01 |  31.58%|  63.50%
5.87/5.91	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.87/5.91	c   5.9s|  2300 |   309 | 48177 |  20.1 |    39M |  20 | 238 |2773 |   0 |2440 |  0 |2822 | 744 | 1.900000e+01 | 2.500000e+01 |  31.58%|  63.55%
5.97/6.03	c   6.0s|  2400 |   313 | 49635 |  19.9 |    39M |  20 | 238 |2800 | 350 |2494 |  1 |2916 | 788 | 1.900000e+01 | 2.500000e+01 |  31.58%|  63.82%
6.07/6.14	c   6.1s|  2500 |   311 | 50884 |  19.6 |    39M |  20 | 238 |2838 | 367 |2537 |  1 |3016 | 813 | 1.900000e+01 | 2.500000e+01 |  31.58%|  63.92%
6.17/6.25	c   6.2s|  2600 |   306 | 51908 |  19.2 |    40M |  20 | 238 |2795 | 355 |2547 |  2 |3120 | 839 | 1.900000e+01 | 2.500000e+01 |  31.58%|  64.01%
6.27/6.33	c   6.3s|  2700 |   296 | 52807 |  18.8 |    40M |  20 | 238 |2790 | 354 |2560 |  1 |3215 | 870 | 1.900000e+01 | 2.500000e+01 |  31.58%|  64.45%
6.36/6.45	c   6.4s|  2800 |   300 | 53995 |  18.6 |    40M |  20 | 238 |2746 |   0 |2606 |  0 |3332 | 893 | 1.900000e+01 | 2.500000e+01 |  31.58%|  65.39%
6.46/6.56	c   6.6s|  2900 |   301 | 54923 |  18.3 |    40M |  20 | 238 |2732 | 346 |2637 |  1 |3385 | 898 | 1.900000e+01 | 2.500000e+01 |  31.58%|  65.67%
6.56/6.68	c   6.7s|  3000 |   279 | 55832 |  17.9 |    40M |  20 | 238 |2729 |   0 |2639 |  0 |3502 | 937 | 1.900000e+01 | 2.500000e+01 |  31.58%|  67.33%
6.66/6.76	c   6.8s|  3100 |   285 | 56858 |  17.7 |    40M |  20 | 238 |2696 | 347 |2646 |  1 |3552 | 947 | 1.900000e+01 | 2.500000e+01 |  31.58%|  68.18%
6.86/6.91	c   6.9s|  3200 |   288 | 57632 |  17.4 |    40M |  20 | 238 |2677 | 355 |2678 |  1 |3602 | 956 | 1.900000e+01 | 2.500000e+01 |  31.58%|  68.21%
6.96/7.01	c   7.0s|  3300 |   248 | 58569 |  17.1 |    40M |  20 | 238 |2564 |   0 |2707 |  0 |3662 | 966 | 1.900000e+01 | 2.500000e+01 |  31.58%|  68.93%
7.07/7.11	c   7.1s|  3400 |   214 | 59401 |  16.9 |    40M |  20 | 238 |2544 |   0 |2714 |  0 |3778 |1007 | 1.950000e+01 | 2.500000e+01 |  28.21%|  71.63%
7.46/7.57	c   7.6s|  3500 |   235 | 61703 |  17.1 |    40M |  20 | 238 |2369 |   0 |2844 |  0 |3880 |1081 | 2.000000e+01 | 2.500000e+01 |  25.00%|  74.95%
7.66/7.71	c   7.7s|  3600 |   218 | 62747 |  16.9 |    40M |  20 | 238 |2356 |   0 |2915 |  0 |3986 |1097 | 2.000000e+01 | 2.500000e+01 |  25.00%|  75.15%
7.76/7.82	c   7.8s|  3700 |   186 | 63606 |  16.7 |    40M |  20 | 238 |2302 |   0 |2969 |  0 |4079 |1113 | 2.000000e+01 | 2.500000e+01 |  25.00%|  76.18%
7.86/7.92	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
7.86/7.92	c   7.9s|  3800 |   183 | 64560 |  16.5 |    40M |  20 | 238 |2280 | 354 |3035 |  1 |4165 |1130 | 2.000000e+01 | 2.500000e+01 |  25.00%|  77.57%
7.96/8.00	c   8.0s|  3900 |   181 | 65393 |  16.3 |    40M |  20 | 238 |2332 | 353 |3047 |  1 |4293 |1166 | 2.040000e+01 | 2.500000e+01 |  22.55%|  78.45%
7.96/8.09	c   8.1s|  4000 |   166 | 66028 |  16.0 |    40M |  20 | 238 |2246 | 353 |3063 |  1 |4354 |1194 | 2.100000e+01 | 2.500000e+01 |  19.05%|  79.04%
8.16/8.21	c   8.2s|  4100 |   163 | 67121 |  15.9 |    40M |  20 | 238 |2235 |   0 |3231 |  0 |4429 |1210 | 2.100000e+01 | 2.500000e+01 |  19.05%|  79.23%
8.26/8.32	c   8.3s|  4200 |   151 | 68100 |  15.7 |    40M |  20 | 238 |2222 |   0 |3280 |  0 |4502 |1237 | 2.100000e+01 | 2.500000e+01 |  19.05%|  79.41%
8.35/8.48	c   8.5s|  4300 |   137 | 69467 |  15.7 |    40M |  20 | 238 |2194 | 356 |3353 |  1 |4588 |1243 | 2.100000e+01 | 2.500000e+01 |  19.05%|  79.78%
8.45/8.59	c   8.6s|  4400 |   145 | 70830 |  15.6 |    40M |  20 | 238 |2209 |   0 |3470 |  0 |4641 |1260 | 2.100000e+01 | 2.500000e+01 |  19.05%|  79.92%
8.65/8.72	c   8.7s|  4500 |   140 | 71868 |  15.5 |    41M |  20 | 238 |2295 |   0 |3546 |  0 |4754 |1322 | 2.100000e+01 | 2.500000e+01 |  19.05%|  80.06%
8.75/8.86	c   8.9s|  4600 |   128 | 73117 |  15.5 |    41M |  20 | 238 |2259 |   0 |3626 |  0 |4857 |1360 | 2.100000e+01 | 2.500000e+01 |  19.05%|  80.33%
8.85/8.96	c   9.0s|  4700 |   125 | 74038 |  15.3 |    41M |  20 | 238 |2307 |   0 |3690 |  0 |4932 |1366 | 2.100000e+01 | 2.500000e+01 |  19.05%|  80.56%
8.96/9.07	c   9.1s|  4800 |   123 | 75144 |  15.2 |    41M |  20 | 238 |2339 | 350 |3725 |  1 |5029 |1385 | 2.100000e+01 | 2.500000e+01 |  19.05%|  80.96%
9.06/9.15	c   9.2s|  4900 |   113 | 76123 |  15.1 |    41M |  20 | 238 |2410 | 355 |3766 |  2 |5142 |1421 | 2.100000e+01 | 2.500000e+01 |  19.05%|  81.09%
9.15/9.25	c   9.3s|  5000 |    93 | 76999 |  15.0 |    41M |  20 | 238 |2443 | 356 |3789 |  2 |5208 |1441 | 2.100000e+01 | 2.500000e+01 |  19.05%|  82.40%
9.25/9.33	c   9.3s|  5100 |    94 | 77805 |  14.9 |    41M |  20 | 238 |2480 | 353 |3811 |  1 |5271 |1465 | 2.100000e+01 | 2.500000e+01 |  19.05%|  83.25%
9.35/9.43	c   9.4s|  5200 |    87 | 78579 |  14.7 |    41M |  20 | 238 |2486 | 354 |3835 |  1 |5319 |1467 | 2.100000e+01 | 2.500000e+01 |  19.05%|  83.64%
9.45/9.59	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
9.45/9.59	c   9.6s|  5300 |    71 | 79428 |  14.6 |    41M |  20 | 238 |2502 | 353 |3910 |  1 |5376 |1476 | 2.100000e+01 | 2.500000e+01 |  19.05%|  84.17%
9.65/9.70	c   9.7s|  5400 |    88 | 80482 |  14.5 |    41M |  20 | 238 |2514 |   0 |3934 |  0 |5434 |1498 | 2.100000e+01 | 2.500000e+01 |  19.05%|  85.06%
9.75/9.80	c   9.8s|  5500 |    48 | 81081 |  14.4 |    41M |  20 | 238 |2550 | 356 |3953 |  1 |5527 |1506 | 2.200000e+01 | 2.500000e+01 |  13.64%|  88.65%
9.75/9.86	c   9.9s|  5600 |    38 | 81666 |  14.2 |    41M |  20 | 238 |2572 |   0 |3965 |  0 |5592 |1508 | 2.200000e+01 | 2.500000e+01 |  13.64%|  91.09%
9.85/9.98	c  10.0s|  5700 |    31 | 83179 |  14.2 |    42M |  20 | 238 |2588 | 355 |4040 |  1 |5655 |1508 | 2.300000e+01 | 2.500000e+01 |   8.70%|  95.48%
9.95/10.07	c  10.1s|  5800 |    13 | 84062 |  14.2 |    42M |  20 | 238 |2346 | 352 |4110 |  1 |5736 |1513 | 2.400000e+01 | 2.500000e+01 |   4.17%|  96.62%
10.05/10.13	c 
10.05/10.13	c SCIP Status        : problem is solved [optimal solution found]
10.05/10.13	c Solving Time (sec) : 10.13
10.05/10.13	c Solving Nodes      : 5873
10.05/10.13	c Primal Bound       : +2.50000000000000e+01 (1 solutions)
10.05/10.13	c Dual Bound         : +2.50000000000000e+01
10.05/10.13	c Gap                : 0.00 %
10.05/10.13	s OPTIMUM FOUND
10.05/10.13	v x1 -x2 -x3 x4 x5 -x6 -x31 -x32 x33 -x34 x35 -x36 x37 x38 x39 -x40 x41 -x42 -x238 x25 x26 -x27 x28 -x29 -x30 -x237 -x236 -x235 -x234
10.05/10.13	v -x233 x19 x20 x21 -x22 -x23 -x24 -x232 -x231 -x230 -x229 -x228 -x227 x226 -x225 -x224 x223 -x222 x221 x220 x219 x7 -x8 -x9 -x10
10.05/10.13	v -x11 -x12 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 x204 x203 -x202 x201 x200 x199 -x198
10.05/10.13	v -x197 -x196 x195 x194 x193 x192 x191 x190 -x189 -x13 -x14 -x15 -x16 -x17 -x18 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 -x180
10.05/10.13	v -x179 -x178 -x177 x176 x175 -x174 -x173 -x172 x171 x170 -x169 x168 x167 x166 x165 x164 x163 -x162 -x161 -x160 x159 x158 x157 x156
10.05/10.13	v x155 x154 -x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 -x133 -x132 -x131
10.05/10.13	v -x130 x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 x119 x118 x117 -x116 -x115 -x114 x113 x112 -x111 x110 x109 x108 x107
10.05/10.13	v x106 x105 x104 x103 x102 -x101 -x100 -x99 x98 x97 x96 x95 x94 x93 -x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77
10.05/10.13	v x76 x75 x74 x73 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 x46 x45
10.05/10.13	v x44 x43
10.05/10.13	c SCIP Status        : problem is solved [optimal solution found]
10.05/10.13	c Total Time         :      10.13
10.05/10.13	c   solving          :      10.13
10.05/10.13	c   presolving       :       0.02 (included in solving)
10.05/10.13	c   reading          :       0.00 (included in solving)
10.05/10.13	c   copying          :       0.24 (68 #copies) (minimal 0.00, maximal 0.01, average 0.00)
10.05/10.13	c Original Problem   :
10.05/10.13	c   Problem name     : HOME/instance-4490759-1751384297.opb
10.05/10.13	c   Variables        : 238 (238 binary, 0 integer, 0 continuous)
10.05/10.13	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
10.05/10.13	c   Constraints      : 398 initial, 398 maximal
10.05/10.13	c   Objective        : minimize, 6 non-zeros (abs.min = 1, abs.max = 32)
10.05/10.13	c Presolved Problem  :
10.05/10.13	c   Problem name     : t_HOME/instance-4490759-1751384297.opb
10.05/10.13	c   Variables        : 238 (238 binary, 0 integer, 0 continuous)
10.05/10.13	c   implied integral : 0 (0 binary, 0 integer, 0 continuous)
10.05/10.13	c   Constraints      : 272 initial, 2850 maximal
10.05/10.13	c   Objective        : minimize, 6 non-zeros (abs.min = 1, abs.max = 32)
10.05/10.13	c   Nonzeros         : 4230 constraint, 186 clique table
10.05/10.13	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
10.05/10.13	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   domcol           :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
10.05/10.13	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.05/10.13	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   implics          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
10.05/10.13	c   implint          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   milp             :       0.01       0.00      1          0          0          0          0          0        398        202          0          0
10.05/10.13	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.05/10.13	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   trivial          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
10.05/10.13	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   dualfix          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
10.05/10.13	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   probing          :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
10.05/10.13	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   symmetry         :       0.00       0.00      1          0          0          0          0          0          0         70          0          0
10.05/10.13	c   vbounds          :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
10.05/10.13	c   knapsack         :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
10.05/10.13	c   setppc           :       0.00       0.00      3          0          0          0          0          0          0          0          0          0
10.05/10.13	c   linear           :       0.00       0.00      9          0          0          0          0          0          0          0          0          0
10.05/10.13	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
10.05/10.13	c   root node        :          -          -      -        145          -          -        145          -          -          -          -          -
10.05/10.13	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
10.05/10.13	c   integral         :          0          0          0          0       3680          0          0         74          0          0       2088          0          0       1616       6538
10.05/10.13	c   knapsack         :          6+        86         96      35497          0          0          0         68      13168        240       8357        363          3          0          0
10.05/10.13	c   setppc           :         70+       110         96      34901          0          0          0         45       1817         57       3206          0          0          0          0
10.05/10.13	c   linear           :        196+       247         96      35394          0          0          0         37      13765       4540     128794         15          2          0          0
10.05/10.13	c   logicor          :          0+      2439         96      13398          0          0          0          0       3375        443       3817          1          1          0          0
10.05/10.13	c   fixedvar         :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
10.05/10.13	c   countsols        :          0          0          0          0          0          0          0          3          0          0          0          0          0          0          0
10.05/10.13	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
10.05/10.13	c   integral         :       0.69       0.00       0.00       0.00       0.69       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   knapsack         :       0.13       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.00       0.01
10.05/10.13	c   setppc           :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   linear           :       0.82       0.00       0.00       0.72       0.00       0.00       0.00       0.00       0.01       0.08
10.05/10.13	c   logicor          :       0.27       0.00       0.00       0.25       0.00       0.00       0.00       0.00       0.00       0.02
10.05/10.13	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
10.05/10.13	c   dualfix          :          1          0          0          0
10.05/10.13	c   genvbounds       :          0          0          0          0
10.05/10.13	c   nlobbt           :          0          0          0          0
10.05/10.13	c   obbt             :          0          0          0          0
10.05/10.13	c   probing          :          0          0          0          0
10.05/10.13	c   pseudoobj        :      20411       1218          2        721
10.05/10.13	c   redcost          :       8630          0          0        103
10.05/10.13	c   rootredcost      :          2          0          0          3
10.05/10.13	c   symmetry         :          0          0          0          0
10.05/10.13	c   vbounds          :      21352          0          0          0
10.05/10.13	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
10.05/10.13	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   probing          :       0.01       0.00       0.01       0.00       0.00       0.00
10.05/10.13	c   pseudoobj        :       0.02       0.00       0.00       0.01       0.00       0.00
10.05/10.13	c   redcost          :       0.03       0.00       0.00       0.03       0.00       0.00
10.05/10.13	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   symmetry         :       0.01       0.00       0.00       0.00       0.00       0.00
10.05/10.13	c   vbounds          :       0.03       0.00       0.00       0.03       0.00       0.00
10.05/10.13	c Symmetry           :
10.05/10.13	c   #affected vars   :        140 (140 bin, 0 int, 0 cont)
10.05/10.13	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
10.05/10.13	c   orbital reduction:          0 reductions applied,          0 cutoffs
10.05/10.13	c   lexicographic red:          0 reductions applied,          0 cutoffs
10.05/10.13	c   shadow tree time :       0.00 s
10.05/10.13	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
10.05/10.13	c   propagation      :       0.04       2490       2362          -      10544       17.9         60       13.9          -          -          -
10.05/10.13	c   infeasible LP    :       0.02        308        307          -        966       13.2          6       12.7        307       14.9          0
10.05/10.13	c   bound exceed. LP :       0.00         44         44          -        132       13.8          2       19.0         44       14.6         94
10.05/10.13	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
10.05/10.13	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
10.05/10.13	c   applied globally :       0.01          -          -          0       5429       15.3          -          -        349          -          -
10.05/10.13	c   applied locally  :          -          -          -          0          0        0.0          -          -          2          -          -
10.05/10.13	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
10.05/10.13	c   cut pool         :       0.76          -       1284        149          -          -      38650     166291          -          -          -          -          -    (maximal pool size:       7231)
10.05/10.13	c   aggregation      :       0.83       0.00        575         96          0          0      21044      72172       1848       2385       2085        300          0
10.05/10.13	c   > cmir           :          -          -          -          -          -          -          -      25105         20        406        405          1          -
10.05/10.13	c   > flowcover      :          -          -          -          -          -          -          -      45186         19       1627       1626          1          -
10.05/10.13	c   > knapsackcover  :          -          -          -          -          -          -          -       1881       1809        352         54        298          -
10.05/10.13	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   clique           :       0.01       0.00         96         96          0          0          0          0          0          0          0          0          0
10.05/10.13	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   gomory           :       0.96       0.00        479         10          0          0      20246      85355       1461       1243       1145         98          0
10.05/10.13	c   > gomorymi       :          -          -          -          -          -          -          -      46198        741        693        641         52          -
10.05/10.13	c   > strongcg       :          -          -          -          -          -          -          -      39157        720        550        504         46          -
10.05/10.13	c   impliedbounds    :       0.00       0.00        579         96          0          3         23        152          0        101        101          0          0
10.05/10.13	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
10.05/10.13	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   multilinear      :       0.00       0.00        440         96          0          0          0          0          0          0          0          0          0
10.05/10.13	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
10.05/10.13	c   rapidlearning    :       1.94       0.00         60          1          0       1501          0          0          0          0          0          0        230
10.05/10.13	c   rlt              :       0.00       0.00         10         10          0          0          0          0          0          0          0          0          0
10.05/10.13	c   zerohalf         :       0.09       0.00        474         20          0          0        704       8612         58        408        401          7          0
10.05/10.13	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
10.05/10.13	c   hybrid           :       0.05       0.00        760         95       4068         78     165649        410          0      40233
10.05/10.13	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c Pricers            :   ExecTime  SetupTime      Calls       Vars
10.05/10.13	c   problem variables:       0.00          -          0          0
10.05/10.13	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
10.05/10.13	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c   relpscost        :       0.69       0.00       3680          0          0          0       2088          0       1710       6538
10.05/10.13	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
10.05/10.13	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
10.05/10.13	c   LP solutions     :       0.00          -          -          0          0
10.05/10.13	c   relax solutions  :       0.00          -          -          0          0
10.05/10.13	c   pseudo solutions :       0.00          -          -          0          0
10.05/10.13	c   strong branching :       0.00          -          -          0          0
10.05/10.13	c   actconsdiving    :       0.00       0.00          0          0          0
10.05/10.13	c   adaptivediving   :       0.05       0.00         48          0          0
10.05/10.13	c   alns             :       0.04       0.00          6          0          0
10.05/10.13	c   bound            :       0.00       0.00          0          0          0
10.05/10.13	c   clique           :       0.00       0.00          1          0          0
10.05/10.13	c   coefdiving       :       0.00       0.00          0          0          0
10.05/10.13	c   completesol      :       0.00       0.00          0          0          0
10.05/10.13	c   conflictdiving   :       0.06       0.00         67          0          0
10.05/10.13	c   crossover        :       0.00       0.00          0          0          0
10.05/10.13	c   dins             :       0.00       0.00          0          0          0
10.05/10.13	c   distributiondivin:       0.26       0.00         62          0          0
10.05/10.13	c   dks              :       0.00       0.00          0          0          0
10.05/10.13	c   dps              :       0.00       0.00          0          0          0
10.05/10.13	c   dualval          :       0.00       0.00          0          0          0
10.05/10.13	c   farkasdiving     :       0.02       0.00          1          0          0
10.05/10.13	c   feaspump         :       0.06       0.00         12          0          0
10.05/10.13	c   fixandinfer      :       0.00       0.00          0          0          0
10.05/10.13	c   fracdiving       :       0.05       0.00         67          0          0
10.05/10.13	c   gins             :       0.00       0.00          0          0          0
10.05/10.13	c   guideddiving     :       0.07       0.00         67          0          0
10.05/10.13	c   indicator        :       0.00       0.00          0          0          0
10.05/10.13	c   indicatordiving  :       0.00       0.00          0          0          0
10.05/10.13	c   intdiving        :       0.00       0.00          0          0          0
10.05/10.13	c   intshifting      :       0.00       0.00          0          0          0
10.05/10.13	c   linesearchdiving :       0.05       0.00         66          0          0
10.05/10.13	c   localbranching   :       0.00       0.00          0          0          0
10.05/10.13	c   locks            :       0.00       0.00          1          0          0
10.05/10.13	c   lpface           :       0.00       0.00          0          0          0
10.05/10.13	c   mpec             :       0.00       0.00          0          0          0
10.05/10.13	c   multistart       :       0.00       0.00          0          0          0
10.05/10.13	c   mutation         :       0.00       0.00          0          0          0
10.05/10.13	c   nlpdiving        :       0.00       0.00          0          0          0
10.05/10.13	c   objpscostdiving  :       0.03       0.00          3          0          0
10.05/10.13	c   octane           :       0.00       0.00          0          0          0
10.05/10.13	c   ofins            :       0.00       0.00          0          0          0
10.05/10.13	c   oneopt           :       0.00       0.00          1          0          0
10.05/10.13	c   padm             :       0.00       0.00          0          0          0
10.05/10.13	c   proximity        :       0.00       0.00          0          0          0
10.05/10.13	c   pscostdiving     :       0.05       0.00         67          0          0
10.05/10.13	c   randrounding     :       0.08       0.00        149          0          0
10.05/10.13	c   rens             :       0.01       0.00          1          0          0
10.05/10.13	c   reoptsols        :       0.00       0.00          0          0          0
10.05/10.13	c   repair           :       0.00       0.00          0          0          0
10.05/10.13	c   rins             :       0.01       0.00          1          0          0
10.05/10.13	c   rootsoldiving    :       0.04       0.00         11          0          0
10.05/10.13	c   rounding         :       0.01       0.00        867          0          0
10.05/10.13	c   scheduler        :       0.00       0.00          0          0          0
10.05/10.13	c   shiftandpropagate:       0.00       0.00          1          0          0
10.05/10.13	c   shifting         :       0.12       0.00        407          0          0
10.05/10.13	c   simplerounding   :       0.00       0.00          0          0          0
10.05/10.13	c   subnlp           :       0.00       0.00          0          0          0
10.05/10.13	c   trivial          :       0.00       0.00          2          0          0
10.05/10.13	c   trivialnegation  :       0.00       0.00          0          0          0
10.05/10.13	c   trustregion      :       0.00       0.00          0          0          0
10.05/10.13	c   trysol           :       0.00       0.00          0          0          0
10.05/10.13	c   twoopt           :       0.00       0.00          0          0          0
10.05/10.13	c   undercover       :       0.00       0.00          0          0          0
10.05/10.13	c   vbounds          :       0.00       0.00          1          0          0
10.05/10.13	c   veclendiving     :       0.04       0.00         67          0          0
10.05/10.13	c   zeroobj          :       0.00       0.00          0          0          0
10.05/10.13	c   zirounding       :       0.01       0.00       1000          0          0
10.05/10.13	c   other solutions  :          -          -          -          0          -
10.05/10.13	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
10.05/10.13	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
10.05/10.13	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
10.05/10.13	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
10.05/10.13	c   primal LP        :       0.04        387          0       0.00       0.00       0.04        387
10.05/10.13	c   dual LP          :       1.26       4779      57799      12.61   46009.37       0.03        194
10.05/10.13	c   lex dual LP      :       0.00          0          0       0.00          -
10.05/10.13	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
10.05/10.13	c   resolve instable :       0.00          0          0       0.00          -
10.05/10.13	c   diving/probing LP:       0.34       1039      26863      25.85   80149.06
10.05/10.13	c   strong branching :       0.28       1513      12281       8.12   43346.29          -          -          9
10.05/10.13	c     (at root node) :          -         38       2974      78.26          -
10.05/10.13	c   conflict analysis:       0.00         10         94       9.40          -
10.05/10.13	c Relaxators         :       Time      Calls    Cutoffs ImprBounds   ImprTime ReducedDom  Separated AddedConss
10.05/10.13	c   benders          :       0.00          0          0          0       0.00          0          0          0
10.05/10.13	c B&B Tree           :
10.05/10.13	c   number of runs   :          1
10.05/10.13	c   nodes            :       5873 (3269 internal, 2604 leaves)
10.05/10.13	c   feasible leaves  :          0
10.05/10.13	c   infeas. leaves   :       2586
10.05/10.13	c   objective leaves :         18
10.05/10.13	c   nodes (total)    :       5873 (3269 internal, 2604 leaves)
10.05/10.13	c   nodes left       :          0
10.05/10.13	c   max depth        :         20
10.05/10.13	c   max depth (total):         20
10.05/10.13	c   backtracks       :       2026 (34.5%)
10.05/10.13	c   early backtracks :          0 (0.0%)
10.05/10.13	c   nodes exc. ref.  :          0 (0.0%)
10.05/10.13	c   delayed cutoffs  :        664
10.05/10.13	c   repropagations   :       2033 (21387 domain reductions, 487 cutoffs)
10.05/10.13	c   avg switch length:       6.15
10.05/10.13	c   switching time   :       0.76
10.05/10.13	c Root Node          :
10.05/10.13	c   First LP value   : +6.00000000000000e+00
10.05/10.13	c   First LP Iters   :        156 (231454.01 Iter/sec)
10.05/10.13	c   First LP Time    :       0.00
10.05/10.13	c   Final Dual Bound : +8.13430420711974e+00
10.05/10.13	c   Final Root Iters :       2006
10.05/10.13	c   Root LP Estimate : +2.53140451794297e+01
10.05/10.13	c Solution           :
10.05/10.13	c   Solutions found  :          1 (1 improvements)
10.05/10.13	c   First Solution   : +2.50000000000000e+01   (in run 1, after 7 nodes, 0.79 seconds, depth 5, found by <relaxation>)
10.05/10.13	c   Gap First Sol.   :     207.34 %
10.05/10.13	c   Gap Last Sol.    :     207.34 %
10.05/10.13	c   Primal Bound     : +2.50000000000000e+01   (in run 1, after 7 nodes, 0.79 seconds, depth 5, found by <relaxation>)
10.05/10.13	c   Dual Bound       : +2.50000000000000e+01
10.05/10.13	c   Gap              :       0.00 %
10.05/10.13	c Integrals          :      Total       Avg%
10.05/10.13	c   primal-dual      :     386.93      38.19
10.05/10.13	c   primal-ref       :          -          - (not evaluated)
10.05/10.13	c   dual-ref         :          -          - (not evaluated)
10.05/10.14	c Time complete (sec):     10.110

OK	25

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: 63665 MiB (59289 MiB free)
  memory of node 1: 64507 MiB (47443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490759-1751384297/watcher-4490759-1751384297 -o /tmp/evaluation-result-4490759-1751384297/solver-4490759-1751384297 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4490759-1751384297.opb -t 3600 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=53628, runsolver pid=53622

[startup+0.100059 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=109181328/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=35440 memory=25984 CPUtime=0.09 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 4069 0 0 0 9 0 0 0 20 0 1 0 54108582 36290560 6496 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 8860 6496 2688 2575 0 5767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35440 KiB
Current children cumulated memory: 25984 KiB

[startup+0.20565 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=109101872/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=39576 memory=29824 CPUtime=0.2 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 5031 0 0 0 20 0 0 0 20 0 1 0 54108582 40525824 7456 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 9894 7456 2688 2575 0 6801 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39576 KiB
Current children cumulated memory: 29824 KiB

[startup+0.305493 s]*
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=109023436/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=41044 memory=31232 CPUtime=0.3 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 5374 0 0 0 30 0 0 0 20 0 1 0 54108582 42029056 7808 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 10261 7808 2688 2575 0 7168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41044 KiB
Current children cumulated memory: 31232 KiB

[startup+0.700172 s]
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=108864928/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=46516 memory=35456 CPUtime=0.68 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 6426 0 0 0 68 0 0 0 20 0 1 0 54108582 47632384 8864 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 11629 8864 2688 2575 0 8536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46516 KiB
Current children cumulated memory: 35456 KiB

[startup+1.50016 s]
/proc/loadavg: 0.65 1.11 1.92 5/267 53642
/proc/meminfo: memFree=108702492/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=48828 memory=38912 CPUtime=1.49 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 7296 0 0 0 148 1 0 0 20 0 1 0 54108582 49999872 9728 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 12207 9728 2688 2575 0 9114 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 48828 KiB
Current children cumulated memory: 38912 KiB

[startup+3.10545 s]
/proc/loadavg: 0.92 1.16 1.93 5/267 53642
/proc/meminfo: memFree=108451744/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=58036 memory=47336 CPUtime=3.09 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 9958 0 0 0 307 2 0 0 20 0 1 0 54108582 59428864 11834 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 14509 11834 2688 2575 0 11416 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58036 KiB
Current children cumulated memory: 47336 KiB

[startup+6.30015 s]
/proc/loadavg: 0.92 1.16 1.93 5/267 53642
/proc/meminfo: memFree=108437608/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=64916 memory=53928 CPUtime=6.27 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 12275 0 0 0 625 2 0 0 20 0 1 0 54108582 66473984 13482 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 16229 13482 2688 2575 0 13136 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 64916 KiB
Current children cumulated memory: 53928 KiB

[startup+10.1503 s]
# the end of solver process 53628 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=10.08 s, system=0.033807 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40018 s]
/proc/loadavg: 0.92 1.16 1.93 5/267 53642
/proc/meminfo: memFree=108437608/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=64916 memory=53928 CPUtime=6.36 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 12276 0 0 0 634 2 0 0 20 0 1 0 54108582 66473984 13482 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 16229 13482 2688 2575 0 13136 0
Current children cumulated CPU time: 6.36 s
Current children cumulated vsize: 64916 KiB
Current children cumulated memory: 53928 KiB

[startup+8.00014 s]*
/proc/loadavg: 1.25 1.22 1.94 5/267 53642
/proc/meminfo: memFree=108389476/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=72900 memory=62248 CPUtime=7.96 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 14341 0 0 0 794 2 0 0 20 0 1 0 54108582 74649600 15562 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 18225 15562 2688 2575 0 15132 0
Current children cumulated CPU time: 7.96 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 62248 KiB

[startup+8.80014 s]
/proc/loadavg: 1.25 1.22 1.94 5/267 53642
/proc/meminfo: memFree=108389476/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=72900 memory=62248 CPUtime=8.75 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 14341 0 0 0 873 2 0 0 20 0 1 0 54108582 74649600 15562 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 18225 15562 2688 2575 0 15132 0
Current children cumulated CPU time: 8.75 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 62248 KiB

[startup+9.60015 s]
/proc/loadavg: 1.25 1.22 1.94 5/267 53642
/proc/meminfo: memFree=108377316/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=72900 memory=62248 CPUtime=9.55 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 14341 0 0 0 953 2 0 0 20 0 1 0 54108582 74649600 15562 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 18225 15562 2688 2575 0 15132 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 62248 KiB

[startup+10.0001 s]*
/proc/loadavg: 1.25 1.22 1.94 5/266 53642
/proc/meminfo: memFree=108353248/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=72900 memory=62248 CPUtime=9.95 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 14341 0 0 0 993 2 0 0 20 0 1 0 54108582 74649600 15562 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 18225 15562 2688 2575 0 15132 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 62248 KiB

[startup+10.1054 s]
/proc/loadavg: 1.25 1.22 1.94 5/266 53642
/proc/meminfo: memFree=108353248/131249988 swapFree=33010160/33010684
[pid=53628] ppid=53622 vsize=72900 memory=62248 CPUtime=10.05 cores=4,6
/proc/53628/stat : 53628 (pbsolver) R 53622 53628 53573 0 -1 4194304 14341 0 0 0 1003 2 0 0 20 0 1 0 54108582 74649600 15562 18446744073709551615 4198400 14743177 140731949984112 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 28446720 140731949992330 140731949992426 140731949992426 140731949998028 0
/proc/53628/statm: 18225 15562 2688 2575 0 15132 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 72900 KiB
Current children cumulated memory: 62248 KiB

Child status: 0

Real time (s): 10.1504
CPU time (s): 10.1138
CPU user time (s): 10.08
CPU system time (s): 0.033807
CPU usage (%): 99.6402
Max. virtual memory (cumulated for all children) (KiB): 72900
Max. memory (cumulated for all children) (KiB): 62248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.08
system time used= 0.033807
maximum resident set size= 62248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14341
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= 3
involuntary context switches= 19


# summary of solver processes directly reported to runsolver:
#   pid: 53628
#   total CPU time (s): 10.1138
#   total CPU user time (s): 10.08
#   total CPU system time (s): 0.033807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041175 second user time and 0.067903 second system time

The end

Begin job on nodeC034 at 2025-07-01 17:38:17
IDJOB=4490759
IDBENCH=147618
IDSOLVER=3366
FILE ID=nodeC034/4490759-1751384297
RUNJOBID= nodeC034-1751384297-53584
SLURM_JOB_ID= 9598234
Free space on /tmp= 433056 MiB

SOLVER NAME= SCIP-10 2025-06-13
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_7.opb
COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490759-1751384297/watcher-4490759-1751384297 -o /tmp/evaluation-result-4490759-1751384297/solver-4490759-1751384297 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760  pbsolver -f HOME/instance-4490759-1751384297.opb -t 3600 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 31239eff399a5786b9ac75ec6014d884
RANDOM SEED=371247318

nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.758
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.654
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3601.154
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.759
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.730
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3599.826
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.763
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
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		: 3536.897
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        109310660 kB
MemAvailable:   129733248 kB
Buffers:            2128 kB
Cached:         21163476 kB
SwapCached:           36 kB
Active:           521736 kB
Inactive:       20723412 kB
Active(anon):      93404 kB
Inactive(anon):     4208 kB
Active(file):     428332 kB
Inactive(file): 20719204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             52164 kB
Writeback:             0 kB
AnonPages:         82568 kB
Mapped:           103464 kB
Shmem:             18068 kB
KReclaimable:     228184 kB
Slab:             320060 kB
SReclaimable:     228184 kB
SUnreclaim:        91876 kB
KernelStack:        4072 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     339904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC034 at 2025-07-01 17:38:28