0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4494822-1751151947.opb>
0.00/0.01	c original problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2707 constraints
0.00/0.01	c problem read in 0.00
0.00/0.01	c No objective function, only one solution is needed.
0.00/0.01	c presolving:
0.00/0.02	c    (0.0s) running MILP presolver
0.00/0.02	c    (0.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.00/0.03	c (round 1, exhaustive) 0 del vars, 143 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.03	c (round 2, exhaustive) 0 del vars, 187 del conss, 0 add conss, 0 chg bounds, 44 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04	c (round 3, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 143 clqs
0.00/0.04	c (round 4, exhaustive) 0 del vars, 198 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.04	c (round 5, exhaustive) 0 del vars, 264 del conss, 0 add conss, 0 chg bounds, 55 chg sides, 0 chg coeffs, 2509 upgd conss, 0 impls, 143 clqs
0.00/0.05	c    (0.0s) probing: 51/231 (22.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.05	c    (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.05	c    (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.06	c    (0.0s) symmetry computation finished: 1 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.00/0.06	c dynamic symmetry handling statistics:
0.00/0.06	c    orbitopal reduction:       no components
0.00/0.06	c    orbital reduction:          1 components of sizes 1
0.00/0.06	c    lexicographic reduction:    1 permutations with support sizes 121
0.00/0.06	c handled 1 out of 1 symmetry components
0.00/0.06	c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
0.00/0.06	c  0 deleted vars, 264 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 55 changed sides, 0 changed coefficients
0.00/0.06	c  0 implications, 143 cliques
0.00/0.06	c presolved problem has 231 variables (231 bin, 0 int, 0 impl, 0 cont) and 2443 constraints
0.00/0.06	c       1 constraints of type <knapsack>
0.00/0.06	c      22 constraints of type <setppc>
0.00/0.06	c    2420 constraints of type <logicor>
0.00/0.06	c transformed objective value is always integral (scale: 1)
0.00/0.06	c Presolving Time: 0.04
0.00/0.06	c - non default parameters ----------------------------------------------------------------------
0.00/0.06	c # SCIP version 10.0.0
0.00/0.06	c 
0.00/0.06	c # maximal time in seconds to run
0.00/0.06	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.06	c limits/time = 3596.998007
0.00/0.06	c 
0.00/0.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.06	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.06	c limits/memory = 27900
0.00/0.06	c 
0.00/0.06	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.00/0.06	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.00/0.06	c limits/solutions = 1
0.00/0.06	c 
0.00/0.06	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.00/0.06	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.00/0.06	c misc/usesymmetry = 3
0.00/0.06	c 
0.00/0.06	c # belongs reading time to solving time?
0.00/0.06	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.06	c timing/reading = TRUE
0.00/0.06	c 
0.00/0.06	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.00/0.06	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06	c propagating/symmetry/detectdoublelex = FALSE
0.00/0.06	c 
0.00/0.06	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.00/0.06	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06	c propagating/symmetry/detectsubgroups = FALSE
0.00/0.06	c 
0.00/0.06	c # Type of symmetries that shall be computed?
0.00/0.06	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.00/0.06	c propagating/symmetry/symtype = 1
0.00/0.06	c 
0.00/0.06	c # Should components consisting of a single full reflection be handled?
0.00/0.06	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.00/0.06	c propagating/symmetry/usesimplesgncomp = FALSE
0.00/0.06	c 
0.00/0.06	c -----------------------------------------------------------------------------------------------
0.00/0.06	c start solving
0.00/0.06	c 
0.00/0.09	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.09	c   0.1s|     1 |     0 |    95 |     - |    11M |   0 | 231 |2457 |2443 |   0 |  0 |  13 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.18/0.26	c   0.2s|     1 |     0 |  2042 |     - |    12M |   0 | 231 |2459 |2445 |   2 |  1 |  15 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.28/0.31	c   0.3s|     1 |     0 |  2057 |     - |    14M |   0 | 231 |2462 |2448 |   5 |  2 |  18 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.28/0.35	c   0.3s|     1 |     0 |  2077 |     - |    17M |   0 | 231 |2465 |2453 |  10 |  3 |  21 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.28/0.40	c   0.4s|     1 |     0 |  2093 |     - |    20M |   0 | 231 |2467 |2455 |  12 |  4 |  23 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.38/0.46	c   0.5s|     1 |     0 |  2113 |     - |    22M |   0 | 231 |2471 |2458 |  15 |  5 |  27 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.48/0.55	c   0.5s|     1 |     0 |  2134 |     - |    25M |   0 | 231 |2475 |2461 |  18 |  6 |  31 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.48/0.59	c   0.6s|     1 |     0 |  2144 |     - |    27M |   0 | 231 |2479 |2463 |  20 |  7 |  35 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.57/0.65	c   0.6s|     1 |     0 |  2160 |     - |    31M |   0 | 231 |2482 |2467 |  24 |  8 |  38 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.67/0.70	c   0.7s|     1 |     0 |  2169 |     - |    34M |   0 | 231 |2484 |2468 |  25 |  9 |  40 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.67/0.76	c   0.8s|     1 |     0 |  2186 |     - |    39M |   0 | 231 |2488 |2470 |  27 | 10 |  44 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.67/0.77	c   0.8s|     1 |     0 |  2195 |     - |    39M |   0 | 231 |2490 |2472 |  29 | 11 |  46 |   0 | 0.000000e+00 |      --      |    Inf | unknown
0.76/0.87	c   0.9s|     1 |     2 |  2913 |     - |    39M |   0 | 231 |2521 |2472 |  29 | 11 |  77 |  18 | 0.000000e+00 |      --      |    Inf | unknown
1.07/1.18	c   1.2s|   100 |     9 |  4288 |  21.1 |    41M |  20 | 231 |2581 |2448 |  43 |  0 | 139 |  18 | 0.000000e+00 |      --      |    Inf |  60.25%
1.47/1.51	c   1.5s|   200 |     6 |  5998 |  19.1 |    44M |  20 | 231 |2669 |2448 |  62 |  0 | 227 |  18 | 0.000000e+00 |      --      |    Inf |  61.33%
1.67/1.75	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
1.67/1.75	c   1.7s|   300 |     6 |  7515 |  17.8 |    46M |  20 | 231 |2742 |2448 |  80 |  1 | 304 |  18 | 0.000000e+00 |      --      |    Inf |  62.05%
1.86/1.96	c   2.0s|   400 |     6 |  9510 |  18.3 |    46M |  20 | 231 |2852 |2448 |  88 |  1 | 418 |  18 | 0.000000e+00 |      --      |    Inf |  62.50%
2.16/2.29	c   2.3s|   500 |    11 | 11146 |  17.9 |    46M |  32 | 231 |2938 |2448 |  88 |  0 | 513 |  18 | 0.000000e+00 |      --      |    Inf |  62.50%
2.56/2.65	c   2.6s|   600 |     3 | 12850 |  17.8 |    48M |  33 | 231 |3021 |2451 | 105 |  0 | 613 |  18 | 0.000000e+00 |      --      |    Inf |  75.00%
3.06/3.17	c   3.2s|   700 |    10 | 14715 |  17.9 |    49M |  33 | 231 |3089 |2449 | 140 |  1 | 684 |  18 | 0.000000e+00 |      --      |    Inf |  86.83%
3.26/3.38	c   3.4s|   800 |     8 | 16381 |  17.8 |    54M |  33 | 231 |3160 |2452 | 160 |  1 | 757 |  18 | 0.000000e+00 |      --      |    Inf |  87.45%
3.86/3.91	c   3.9s|   900 |    10 | 17868 |  17.4 |    55M |  33 | 231 |3218 |   0 | 211 |  0 | 818 |  18 | 0.000000e+00 |      --      |    Inf |  89.72%
4.16/4.24	c   4.2s|  1000 |     8 | 19486 |  17.3 |    55M |  33 | 231 |3284 |2451 | 226 |  2 | 888 |  18 | 0.000000e+00 |      --      |    Inf |  89.99%
4.36/4.43	c   4.4s|  1100 |     7 | 20805 |  16.9 |    55M |  33 | 231 |3346 |2449 | 249 |  1 | 950 |  18 | 0.000000e+00 |      --      |    Inf |  90.31%
4.66/4.78	c   4.8s|  1200 |     9 | 22343 |  16.8 |    55M |  33 | 231 |3413 |2449 | 265 |  0 |1020 |  18 | 0.000000e+00 |      --      |    Inf |  90.72%
4.96/5.03	c   5.0s|  1300 |     9 | 23639 |  16.5 |    55M |  33 | 231 |3464 |2451 | 304 |  0 |1072 |  18 | 0.000000e+00 |      --      |    Inf |  91.59%
5.26/5.34	c   5.3s|  1400 |    10 | 25054 |  16.3 |    55M |  33 | 231 |3512 |2450 | 332 |  1 |1120 |  18 | 0.000000e+00 |      --      |    Inf |  91.97%
5.46/5.55	c   5.5s|  1500 |    10 | 26506 |  16.2 |    55M |  33 | 231 |3580 |2451 | 332 |  1 |1193 |  18 | 0.000000e+00 |      --      |    Inf |  92.04%
5.96/6.08	c   6.1s|  1600 |    12 | 28297 |  16.3 |    55M |  33 | 231 |3648 |2449 | 369 |  1 |1263 |  18 | 0.000000e+00 |      --      |    Inf |  93.14%
6.35/6.40	c   6.4s|  1700 |    11 | 29861 |  16.3 |    55M |  33 | 231 |3728 |2450 | 410 |  0 |1344 |  18 | 0.000000e+00 |      --      |    Inf |  93.85%
6.65/6.79	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
6.65/6.79	c   6.8s|  1800 |    16 | 31297 |  16.2 |    55M |  33 | 231 |3786 |2451 | 457 |  1 |1404 |  18 | 0.000000e+00 |      --      |    Inf |  94.45%
6.96/7.08	c   7.1s|  1900 |    18 | 32492 |  16.0 |    55M |  33 | 231 |3863 |2449 | 481 |  1 |1485 |  18 | 0.000000e+00 |      --      |    Inf |  94.59%
7.15/7.23	c   7.2s|  2000 |    17 | 33599 |  15.7 |    55M |  33 | 231 |3931 |2451 | 494 |  0 |1554 |  18 | 0.000000e+00 |      --      |    Inf |  94.64%
7.35/7.46	c   7.5s|  2100 |    19 | 34762 |  15.5 |    55M |  33 | 231 |3996 |2455 | 494 |  0 |1621 |  18 | 0.000000e+00 |      --      |    Inf |  94.69%
7.55/7.66	c   7.7s|  2200 |    19 | 35926 |  15.3 |    55M |  33 | 231 |4036 |2455 | 495 |  0 |1666 |  18 | 0.000000e+00 |      --      |    Inf |  94.72%
7.85/7.96	c   7.9s|  2300 |    21 | 37387 |  15.3 |    55M |  33 | 231 |4093 |2452 | 510 |  2 |1738 |  18 | 0.000000e+00 |      --      |    Inf |  94.88%
7.95/8.05	c   8.0s|  2400 |    27 | 38587 |  15.2 |    55M |  33 | 231 |4145 |2452 | 513 |  1 |1794 |  18 | 0.000000e+00 |      --      |    Inf |  94.94%
8.05/8.15	c   8.1s|  2500 |    26 | 39742 |  15.0 |    55M |  33 | 231 |4237 |2453 | 522 |  1 |1889 |  18 | 0.000000e+00 |      --      |    Inf |  94.95%
8.14/8.24	c   8.2s|  2600 |    23 | 40830 |  14.9 |    55M |  33 | 231 |4316 |2451 | 528 |  0 |1970 |  18 | 0.000000e+00 |      --      |    Inf |  94.97%
8.24/8.37	c   8.4s|  2700 |    23 | 42166 |  14.8 |    55M |  33 | 231 |4394 |2453 | 551 |  1 |2049 |  18 | 0.000000e+00 |      --      |    Inf |  94.99%
8.34/8.47	c   8.5s|  2800 |    22 | 43243 |  14.7 |    55M |  33 | 231 |4478 |2448 | 551 |  1 |2133 |  18 | 0.000000e+00 |      --      |    Inf |  95.04%
8.44/8.59	c   8.6s|  2900 |    20 | 44510 |  14.6 |    55M |  33 | 231 |4566 |2454 | 559 |  0 |2223 |  18 | 0.000000e+00 |      --      |    Inf |  95.15%
8.64/8.72	c   8.7s|  3000 |    25 | 45695 |  14.5 |    55M |  33 | 231 |4614 |2450 | 567 |  1 |2272 |  18 | 0.000000e+00 |      --      |    Inf |  95.20%
8.74/8.81	c   8.8s|  3100 |    28 | 46747 |  14.4 |    55M |  33 | 231 |4708 |2451 | 568 |  1 |2367 |  18 | 0.000000e+00 |      --      |    Inf |  95.21%
8.84/8.91	c   8.9s|  3200 |    30 | 48173 |  14.4 |    55M |  33 | 231 |4811 |2451 | 570 |  0 |2473 |  18 | 0.000000e+00 |      --      |    Inf |  95.21%
8.95/9.00	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
8.95/9.00	c   9.0s|  3300 |    27 | 49247 |  14.3 |    55M |  33 | 231 |4899 |   0 | 573 |  0 |2565 |  18 | 0.000000e+00 |      --      |    Inf |  95.21%
9.05/9.10	c   9.1s|  3400 |    28 | 50557 |  14.2 |    55M |  33 | 231 |4999 |2450 | 574 |  0 |2669 |  18 | 0.000000e+00 |      --      |    Inf |  95.22%
9.14/9.21	c   9.2s|  3500 |    25 | 51950 |  14.2 |    55M |  33 | 231 |5101 |2451 | 575 |  0 |2779 |  18 | 0.000000e+00 |      --      |    Inf |  95.22%
9.24/9.32	c   9.3s|  3600 |    30 | 53437 |  14.2 |    55M |  33 | 231 |5193 |2450 | 575 |  1 |2877 |  18 | 0.000000e+00 |      --      |    Inf |  95.22%
9.34/9.42	c   9.4s|  3700 |    25 | 54864 |  14.2 |    55M |  33 | 231 |5315 |2451 | 577 |  0 |3006 |  18 | 0.000000e+00 |      --      |    Inf |  95.23%
9.44/9.52	c   9.5s|  3800 |    24 | 56323 |  14.2 |    55M |  34 | 231 |5410 |2451 | 578 |  0 |3114 |  18 | 0.000000e+00 |      --      |    Inf |  95.23%
9.54/9.67	c   9.7s|  3900 |    20 | 58026 |  14.3 |    55M |  34 | 231 |5482 |2451 | 592 |  0 |3196 |  18 | 0.000000e+00 |      --      |    Inf |  95.34%
9.64/9.76	c   9.8s|  4000 |    22 | 59279 |  14.3 |    55M |  34 | 231 |5560 |2454 | 596 |  0 |3281 |  18 | 0.000000e+00 |      --      |    Inf |  95.37%
9.74/9.86	c   9.8s|  4100 |    24 | 60607 |  14.3 |    55M |  34 | 231 |5624 |2454 | 598 |  1 |3352 |  18 | 0.000000e+00 |      --      |    Inf |  95.43%
9.84/9.95	c   9.9s|  4200 |    24 | 61997 |  14.2 |    55M |  34 | 231 |5715 |2455 | 599 |  1 |3448 |  18 | 0.000000e+00 |      --      |    Inf |  95.43%
9.94/10.06	c  10.0s|  4300 |    21 | 63387 |  14.2 |    55M |  34 | 231 |5802 |2454 | 601 |  0 |3542 |  18 | 0.000000e+00 |      --      |    Inf |  95.45%
10.14/10.21	c  10.2s|  4400 |    21 | 64957 |  14.3 |    55M |  34 | 231 |5872 |2449 | 609 |  0 |3623 |  18 | 0.000000e+00 |      --      |    Inf |  95.53%
10.24/10.32	c  10.3s|  4500 |    23 | 66376 |  14.3 |    55M |  34 | 231 |5944 |2457 | 616 |  0 |3709 |  18 | 0.000000e+00 |      --      |    Inf |  95.58%
10.34/10.45	c  10.4s|  4600 |    20 | 67727 |  14.2 |    55M |  34 | 231 |6021 |2451 | 626 |  0 |3794 |  18 | 0.000000e+00 |      --      |    Inf |  95.79%
10.44/10.59	c  10.6s|  4700 |    17 | 68987 |  14.2 |    55M |  34 | 231 |6073 |2449 | 646 |  1 |3869 |  18 | 0.000000e+00 |      --      |    Inf |  95.94%
10.64/10.73	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
10.64/10.73	c  10.7s|  4800 |    15 | 70392 |  14.2 |    55M |  34 | 231 |6136 |2452 | 656 |  0 |3953 |  18 | 0.000000e+00 |      --      |    Inf |  95.99%
10.74/10.83	c  10.8s|  4900 |    17 | 71599 |  14.2 |    56M |  34 | 231 |6195 |2455 | 656 |  1 |4024 |  18 | 0.000000e+00 |      --      |    Inf |  95.99%
10.83/10.92	c  10.9s|  5000 |    19 | 72905 |  14.1 |    56M |  34 | 231 |6244 |2455 | 656 |  0 |4087 |  18 | 0.000000e+00 |      --      |    Inf |  95.99%
10.94/11.02	c  11.0s|  5100 |    16 | 74231 |  14.1 |    56M |  34 | 231 |6309 |2456 | 657 |  1 |4172 |  18 | 0.000000e+00 |      --      |    Inf |  95.99%
11.04/11.12	c  11.1s|  5200 |    18 | 75473 |  14.1 |    56M |  34 | 231 |6362 |2452 | 657 |  0 |4248 |  18 | 0.000000e+00 |      --      |    Inf |  96.02%
11.13/11.23	c  11.2s|  5300 |    18 | 76875 |  14.1 |    56M |  34 | 231 |6415 |2452 | 658 |  0 |4325 |  18 | 0.000000e+00 |      --      |    Inf |  96.03%
11.23/11.34	c  11.3s|  5400 |    16 | 78427 |  14.1 |    56M |  34 | 231 |6493 |2453 | 659 |  0 |4419 |  18 | 0.000000e+00 |      --      |    Inf |  96.04%
11.33/11.45	c  11.4s|  5500 |    16 | 79892 |  14.1 |    56M |  34 | 231 |6550 |2453 | 660 |  1 |4507 |  18 | 0.000000e+00 |      --      |    Inf |  96.05%
11.43/11.58	c  11.6s|  5600 |    18 | 81253 |  14.1 |    56M |  34 | 231 |6619 |2449 | 668 |  1 |4591 |  18 | 0.000000e+00 |      --      |    Inf |  96.09%
11.53/11.69	c  11.7s|  5700 |    22 | 82549 |  14.1 |    56M |  34 | 231 |6672 |2456 | 674 |  1 |4664 |  18 | 0.000000e+00 |      --      |    Inf |  96.12%
11.63/11.79	c  11.8s|  5800 |    24 | 83901 |  14.1 |    56M |  34 | 231 |6727 |2449 | 674 |  0 |4736 |  18 | 0.000000e+00 |      --      |    Inf |  96.16%
11.73/11.89	c  11.9s|  5900 |    22 | 85229 |  14.1 |    56M |  34 | 231 |6828 |2457 | 675 |  0 |4862 |  18 | 0.000000e+00 |      --      |    Inf |  96.16%
11.94/12.01	c  12.0s|  6000 |    20 | 86733 |  14.1 |    56M |  35 | 231 |6918 |2449 | 676 |  1 |4966 |  18 | 0.000000e+00 |      --      |    Inf |  96.17%
12.04/12.12	c  12.1s|  6100 |    17 | 88011 |  14.1 |    56M |  35 | 231 |6982 |2449 | 676 |  0 |5063 |  18 | 0.000000e+00 |      --      |    Inf |  96.18%
12.13/12.22	c  12.2s|  6200 |    17 | 89421 |  14.1 |    56M |  35 | 231 |7035 |2449 | 676 |  0 |5169 |  18 | 0.000000e+00 |      --      |    Inf |  96.20%
12.23/12.32	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
12.23/12.32	c  12.3s|  6300 |    19 | 90948 |  14.1 |    56M |  35 | 231 |7151 |2449 | 676 |  1 |5313 |  18 | 0.000000e+00 |      --      |    Inf |  96.22%
12.33/12.43	c  12.4s|  6400 |    16 | 92238 |  14.1 |    56M |  35 | 231 |7258 |2449 | 676 |  0 |5453 |  18 | 0.000000e+00 |      --      |    Inf |  96.23%
12.43/12.54	c  12.5s|  6500 |    16 | 93779 |  14.1 |    56M |  35 | 231 |7370 |2449 | 676 |  0 |5603 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
12.53/12.65	c  12.6s|  6600 |    19 | 95279 |  14.1 |    56M |  35 | 231 |7515 |2449 | 676 |  1 |5754 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
12.63/12.75	c  12.7s|  6700 |    19 | 96718 |  14.1 |    56M |  35 | 231 |7610 |2449 | 676 |  1 |5876 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
12.73/12.86	c  12.8s|  6800 |    15 | 98071 |  14.1 |    56M |  35 | 231 |7730 |2449 | 676 |  0 |6006 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
12.83/12.95	c  12.9s|  6900 |    17 | 99419 |  14.1 |    56M |  35 | 231 |7842 |2449 | 676 |  1 |6119 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
12.93/13.06	c  13.1s|  7000 |    17 |100913 |  14.1 |    56M |  35 | 231 |7947 |2449 | 676 |  1 |6236 |  18 | 0.000000e+00 |      --      |    Inf |  96.24%
13.13/13.24	c  13.2s|  7100 |    17 |102623 |  14.1 |    57M |  37 | 231 |8000 |2450 | 692 |  0 |6329 |  18 | 0.000000e+00 |      --      |    Inf |  97.20%
13.33/13.43	c  13.4s|  7200 |    17 |103947 |  14.1 |    57M |  37 | 231 |8023 |2450 | 715 |  0 |6401 |  18 | 0.000000e+00 |      --      |    Inf |  97.77%
13.43/13.58	c  13.6s|  7300 |    15 |105217 |  14.1 |    57M |  37 | 231 |8084 |2449 | 724 |  1 |6503 |  18 | 0.000000e+00 |      --      |    Inf |  97.86%
13.53/13.69	c  13.7s|  7400 |    13 |106731 |  14.1 |    57M |  37 | 231 |8090 |2454 | 724 |  1 |6578 |  18 | 0.000000e+00 |      --      |    Inf |  97.92%
13.72/13.87	c  13.9s|  7500 |    12 |107883 |  14.1 |    57M |  37 | 231 |8124 |2450 | 737 |  0 |6660 |  18 | 0.000000e+00 |      --      |    Inf |  98.31%
13.93/14.08	c  14.1s|  7600 |    14 |109352 |  14.1 |    57M |  37 | 231 |8129 |2452 | 756 |  1 |6736 |  18 | 0.000000e+00 |      --      |    Inf |  98.70%
14.12/14.26	c  14.3s|  7700 |    12 |110829 |  14.1 |    57M |  37 | 231 |8174 |2451 | 780 |  0 |6830 |  18 | 0.000000e+00 |      --      |    Inf |  99.00%
14.32/14.45	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
14.32/14.45	c  14.4s|  7800 |    14 |112407 |  14.1 |    57M |  37 | 231 |8203 |2448 | 793 |  1 |6893 |  18 | 0.000000e+00 |      --      |    Inf |  99.11%
14.42/14.55	c  14.5s|  7900 |    13 |113706 |  14.1 |    57M |  37 | 231 |8230 |   0 | 793 |  0 |6960 |  18 | 0.000000e+00 |      --      |    Inf |  99.17%
14.52/14.64	c  14.6s|  8000 |     9 |114980 |  14.1 |    57M |  37 | 231 |8282 |2454 | 794 |  0 |7037 |  18 | 0.000000e+00 |      --      |    Inf |  99.19%
14.62/14.79	c  14.8s|  8100 |     9 |116443 |  14.1 |    57M |  37 | 231 |8322 |2448 | 794 |  1 |7108 |  18 | 0.000000e+00 |      --      |    Inf |  99.26%
14.82/14.91	c  14.9s|  8200 |     8 |117965 |  14.1 |    57M |  37 | 231 |8415 |2448 | 796 |  1 |7240 |  18 | 0.000000e+00 |      --      |    Inf |  99.26%
15.02/15.11	c  15.1s|  8300 |     7 |119685 |  14.2 |    57M |  37 | 231 |8397 |2451 | 817 |  0 |7330 |  18 | 0.000000e+00 |      --      |    Inf |  99.55%
15.12/15.26	c  15.3s|  8400 |     7 |120830 |  14.1 |    57M |  37 | 231 |8435 |2451 | 823 |  0 |7436 |  18 | 0.000000e+00 |      --      |    Inf |  99.66%
15.22/15.38	c  15.4s|  8500 |     7 |122242 |  14.1 |    57M |  37 | 231 |8462 |2452 | 824 |  2 |7553 |  18 | 0.000000e+00 |      --      |    Inf |  99.70%
15.42/15.56	c  15.6s|  8600 |     7 |123652 |  14.1 |    57M |  37 | 231 |8491 |2450 | 840 |  0 |7651 |  18 | 0.000000e+00 |      --      |    Inf |  99.81%
15.62/15.70	c  15.7s|  8700 |    11 |125170 |  14.1 |    57M |  37 | 231 |8490 |2452 | 850 |  1 |7733 |  18 | 0.000000e+00 |      --      |    Inf |  99.88%
15.72/15.81	c  15.8s|  8800 |    13 |126687 |  14.1 |    57M |  37 | 231 |8584 |2452 | 851 |  1 |7879 |  18 | 0.000000e+00 |      --      |    Inf |  99.89%
15.81/15.92	c  15.9s|  8900 |    11 |128042 |  14.1 |    57M |  37 | 231 |8735 |2452 | 851 |  0 |8052 |  18 | 0.000000e+00 |      --      |    Inf |  99.89%
15.92/16.02	c  16.0s|  9000 |     9 |129351 |  14.1 |    57M |  37 | 231 |8875 |2452 | 851 |  0 |8208 |  18 | 0.000000e+00 |      --      |    Inf |  99.90%
16.02/16.13	c  16.1s|  9100 |    10 |130814 |  14.1 |    57M |  37 | 231 |8995 |2452 | 851 |  0 |8345 |  18 | 0.000000e+00 |      --      |    Inf |  99.91%
16.11/16.24	c  16.2s|  9200 |    12 |132346 |  14.1 |    57M |  37 | 231 |9159 |2452 | 851 |  0 |8515 |  18 | 0.000000e+00 |      --      |    Inf |  99.92%
16.21/16.35	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
16.21/16.35	c  16.3s|  9300 |    14 |133679 |  14.1 |    57M |  37 | 231 |9305 |2452 | 851 |  1 |8678 |  18 | 0.000000e+00 |      --      |    Inf |  99.92%
16.31/16.46	c  16.5s|  9400 |    16 |135060 |  14.1 |    57M |  37 | 231 |9391 |2452 | 854 |  1 |8796 |  18 | 0.000000e+00 |      --      |    Inf |  99.93%
16.41/16.57	c  16.6s|  9500 |    20 |136477 |  14.1 |    57M |  37 | 231 |9485 |2452 | 855 |  0 |8903 |  18 | 0.000000e+00 |      --      |    Inf |  99.93%
16.51/16.68	c  16.7s|  9600 |    20 |137834 |  14.1 |    57M |  37 | 231 |9560 |2453 | 858 |  0 |9011 |  18 | 0.000000e+00 |      --      |    Inf |  99.93%
16.61/16.79	c  16.8s|  9700 |    16 |139223 |  14.1 |    57M |  37 | 231 |9666 |2452 | 858 |  0 |9139 |  18 | 0.000000e+00 |      --      |    Inf |  99.93%
16.81/16.90	c  16.9s|  9800 |    18 |140545 |  14.1 |    57M |  37 | 231 |9797 |2452 | 858 |  1 |9273 |  18 | 0.000000e+00 |      --      |    Inf |  99.93%
16.92/17.01	c  17.0s|  9900 |    16 |142134 |  14.1 |    57M |  37 | 231 |9930 |2452 | 858 |  1 |9420 |  18 | 0.000000e+00 |      --      |    Inf |  99.94%
17.02/17.12	c  17.1s| 10000 |    16 |143478 |  14.1 |    57M |  37 | 231 |  10k|2452 | 859 |  0 |9562 |  18 | 0.000000e+00 |      --      |    Inf |  99.94%
17.11/17.24	c  17.2s| 10100 |    16 |145060 |  14.1 |    57M |  37 | 231 |  10k|2452 | 861 |  1 |9682 |  18 | 0.000000e+00 |      --      |    Inf |  99.94%
17.21/17.35	c  17.3s| 10200 |    16 |146578 |  14.2 |    57M |  37 | 231 |  10k|2450 | 863 |  0 |9718 |  18 | 0.000000e+00 |      --      |    Inf |  99.97%
17.31/17.44	c  17.4s| 10300 |    16 |147761 |  14.1 |    57M |  37 | 231 |  10k|2450 | 864 |  1 |9781 |  18 | 0.000000e+00 |      --      |    Inf |  99.98%
17.41/17.55	c  17.5s| 10400 |    16 |149222 |  14.1 |    57M |  37 | 231 |  10k|2452 | 866 |  1 |9894 |  18 | 0.000000e+00 |      --      |    Inf |  99.98%
17.51/17.67	c  17.7s| 10500 |    14 |150709 |  14.1 |    57M |  37 | 231 |  10k|2452 | 866 |  0 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
17.61/17.77	c  17.8s| 10600 |    15 |152036 |  14.1 |    57M |  37 | 231 |  10k|2453 | 868 |  1 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
17.71/17.87	c  17.9s| 10700 |    16 |153068 |  14.1 |    57M |  37 | 231 |  10k|2453 | 869 |  1 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
17.81/17.97	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
17.81/17.97	c  18.0s| 10800 |    15 |154396 |  14.1 |    57M |  37 | 231 |  10k|2453 | 871 |  0 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
17.91/18.09	c  18.1s| 10900 |    19 |155948 |  14.1 |    57M |  37 | 231 |  10k|2452 | 873 |  0 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.11/18.21	c  18.2s| 11000 |    22 |157578 |  14.1 |    57M |  37 | 231 |  11k|2453 | 873 |  1 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.21/18.31	c  18.3s| 11100 |    21 |158787 |  14.1 |    57M |  37 | 231 |  11k|2452 | 873 |  1 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.31/18.43	c  18.4s| 11200 |    20 |160506 |  14.1 |    57M |  37 | 231 |  11k|2453 | 873 |  0 |  10k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.41/18.53	c  18.5s| 11300 |    16 |161829 |  14.1 |    57M |  37 | 231 |  11k|2452 | 873 |  1 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.51/18.63	c  18.6s| 11400 |    15 |163154 |  14.1 |    57M |  37 | 231 |  11k|2452 | 873 |  1 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.60/18.73	c  18.7s| 11500 |    12 |164541 |  14.1 |    57M |  37 | 231 |  11k|2451 | 875 |  0 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.70/18.84	c  18.8s| 11600 |    15 |165956 |  14.1 |    57M |  37 | 231 |  11k|2452 | 875 |  0 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.80/18.96	c  19.0s| 11700 |    14 |167652 |  14.1 |    57M |  37 | 231 |  11k|2451 | 877 |  1 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
18.91/19.07	c  19.1s| 11800 |    17 |169165 |  14.2 |    57M |  37 | 231 |  11k|2452 | 878 |  1 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.01/19.18	c  19.2s| 11900 |    19 |170844 |  14.2 |    57M |  37 | 231 |  11k|2452 | 878 |  0 |  11k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.10/19.29	c  19.3s| 12000 |    21 |172303 |  14.2 |    57M |  37 | 231 |  12k|2452 | 878 |  1 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.30/19.40	c  19.4s| 12100 |    23 |173862 |  14.2 |    57M |  37 | 231 |  12k|2452 | 878 |  1 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.40/19.52	c  19.5s| 12200 |    24 |175379 |  14.2 |    57M |  37 | 231 |  12k|2452 | 880 |  0 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.50/19.65	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
19.50/19.65	c  19.6s| 12300 |    25 |176970 |  14.2 |    57M |  38 | 231 |  12k|2452 | 880 |  1 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.60/19.77	c  19.8s| 12400 |    26 |178389 |  14.2 |    57M |  38 | 231 |  12k|2452 | 880 |  0 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
19.80/19.91	c  19.9s| 12500 |    25 |180111 |  14.2 |    57M |  38 | 231 |  12k|2452 | 880 |  0 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.10/20.21	c  20.2s| 12600 |    27 |181970 |  14.3 |    58M |  41 | 231 |  12k|2452 | 904 |  0 |  12k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.20/20.39	c  20.4s| 12700 |    16 |183543 |  14.3 |    58M |  42 | 231 |  12k|2452 | 914 |  0 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.40/20.52	c  20.5s| 12800 |    14 |185140 |  14.3 |    58M |  42 | 231 |  12k|2450 | 915 |  1 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.50/20.67	c  20.7s| 12900 |    11 |186684 |  14.3 |    58M |  42 | 231 |  12k|2452 | 916 |  0 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.70/20.80	c  20.8s| 13000 |    11 |188171 |  14.3 |    58M |  42 | 231 |  12k|2452 | 916 |  0 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.80/20.93	c  20.9s| 13100 |    11 |189638 |  14.3 |    58M |  42 | 231 |  12k|2452 | 916 |  1 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
20.90/21.07	c  21.1s| 13200 |    10 |191156 |  14.3 |    58M |  42 | 231 |  12k|2452 | 916 |  1 |  13k|  18 | 0.000000e+00 |      --      |    Inf |  99.99%
21.10/21.20	c  21.2s| 13300 |     8 |192742 |  14.3 |    58M |  42 | 231 |  12k|   0 | 916 |  0 |  13k|  18 | 0.000000e+00 |      --      |    Inf | 100.00%
21.20/21.35	c  21.3s| 13400 |     6 |194272 |  14.3 |    58M |  42 | 231 |  12k|2454 | 916 |  1 |  14k|  18 | 0.000000e+00 |      --      |    Inf | 100.00%
21.40/21.50	c  21.5s| 13500 |     6 |196116 |  14.4 |    58M |  42 | 231 |  12k|2452 | 916 |  0 |  14k|  18 | 0.000000e+00 |      --      |    Inf | 100.00%
21.50/21.62	c  21.6s| 13600 |     6 |197640 |  14.4 |    58M |  42 | 231 |  12k|2452 | 916 |  0 |  14k|  18 | 0.000000e+00 |      --      |    Inf | 100.00%
21.59/21.75	c  21.7s| 13700 |     4 |199191 |  14.4 |    58M |  42 | 231 |  12k|2452 | 916 |  0 |  14k|  18 | 0.000000e+00 |      --      |    Inf | 100.00%
21.69/21.82	c 
21.69/21.82	c SCIP Status        : problem is solved [infeasible]
21.69/21.82	c Solving Time (sec) : 21.81
21.69/21.82	c Solving Nodes      : 13744
21.69/21.82	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
21.69/21.82	c Dual Bound         : +1.00000000000000e+20
21.69/21.82	c Gap                : 0.00 %
21.69/21.82	s UNSATISFIABLE
21.69/21.82	c SCIP Status        : problem is solved [infeasible]
21.69/21.82	c Total Time         :      21.81
21.69/21.82	c   solving          :      21.81
21.69/21.82	c   presolving       :       0.04 (included in solving)
21.69/21.82	c   reading          :       0.00 (included in solving)
21.69/21.82	c   copying          :       0.64 (106 #copies) (minimal 0.00, maximal 0.02, average 0.01)
21.69/21.82	c Original Problem   :
21.69/21.82	c   Problem name     : HOME/instance-4494822-1751151947.opb
21.69/21.82	c   Variables        : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
21.69/21.82	c   Constraints      : 2707 initial, 2707 maximal
21.69/21.82	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
21.69/21.82	c Presolved Problem  :
21.69/21.82	c   Problem name     : t_HOME/instance-4494822-1751151947.opb
21.69/21.82	c   Variables        : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
21.69/21.82	c   Constraints      : 2443 initial, 12235 maximal
21.69/21.82	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
21.69/21.82	c   Nonzeros         : 7612 constraint, 392 clique table
21.69/21.82	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
21.69/21.82	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   domcol           :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   gateextraction   :       0.00       0.00      2          0          0          0          0          0          0          0          0          0
21.69/21.82	c   implics          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
21.69/21.82	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   milp             :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   trivial          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
21.69/21.82	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   dualfix          :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
21.69/21.82	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   probing          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   symmetry         :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   knapsack         :       0.00       0.00      6          0          0          0          0          0          0          0          0          0
21.69/21.82	c   setppc           :       0.00       0.00      6          0          0          0          0          0         66          0          0          0
21.69/21.82	c   linear           :       0.02       0.00      8          0          0          0          0          0        198          0         55          0
21.69/21.82	c   logicor          :       0.00       0.00      5          0          0          0          0          0          0          0          0          0
21.69/21.82	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   components       :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   root node        :          -          -      -         40          -          -         40          -          -          -          -          -
21.69/21.82	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
21.69/21.82	c   benderslp        :          0          0          0          0       6915          0          0        546          0          0          0          0          0          0          0
21.69/21.82	c   integral         :          0          0          0          0       6915          0          0        546          0          0          0          0          0          0      13830
21.69/21.82	c   knapsack         :          1+         5         11      52450          0          0          0        543       3062         81      19221          0          0          0          0
21.69/21.82	c   setppc           :         22+        32         11      52402          0          0          0        300     111890        252      69758          0          0          0          0
21.69/21.82	c   linear           :          0+        21          0      32791          0          0          0          2          0          0        113          0          0          0          0
21.69/21.82	c   logicor          :       2420+     12211         11      25329          0          0          0          0      48181         92      88451          0          0          0          0
21.69/21.82	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
21.69/21.82	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   integral         :       0.23       0.00       0.00       0.00       0.23       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   knapsack         :       0.03       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   setppc           :       0.12       0.00       0.00       0.11       0.00       0.00       0.00       0.00       0.01       0.00
21.69/21.82	c   linear           :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   logicor          :       0.77       0.00       0.00       0.75       0.00       0.00       0.00       0.00       0.02       0.00
21.69/21.82	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
21.69/21.82	c   dualfix          :          1          0          0          0
21.69/21.82	c   genvbounds       :          0          0          0          0
21.69/21.82	c   nlobbt           :          0          0          0          0
21.69/21.82	c   obbt             :          0          0          0          0
21.69/21.82	c   probing          :          0          0          0          0
21.69/21.82	c   pseudoobj        :          0          0          0          0
21.69/21.82	c   redcost          :          0          0          0          0
21.69/21.82	c   rootredcost      :          0          0          0          0
21.69/21.82	c   symmetry         :      51531          0          0         10
21.69/21.82	c   vbounds          :      37094          0          0          0
21.69/21.82	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
21.69/21.82	c   dualfix          :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
21.69/21.82	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   probing          :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
21.69/21.82	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
21.69/21.82	c   symmetry         :       0.41       0.00       0.01       0.40       0.00       0.00
21.69/21.82	c   vbounds          :       0.03       0.00       0.00       0.03       0.00       0.00
21.69/21.82	c Symmetry           :
21.69/21.82	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
21.69/21.82	c   orbital reduction:         10 reductions applied,          0 cutoffs
21.69/21.82	c   lexicographic red:          0 reductions applied,          0 cutoffs
21.69/21.82	c   shadow tree time :       0.01 s
21.69/21.82	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
21.69/21.82	c   propagation      :       0.01        423        422          -       2098       15.6          5       13.6          -          -          -
21.69/21.82	c   infeasible LP    :       0.83       6499       5989          -      35017       24.1         19       10.4          9       17.7          0
21.69/21.82	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
21.69/21.82	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
21.69/21.82	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
21.69/21.82	c   applied globally :       0.06          -          -          0      14427        9.8          -          -          9          -          -
21.69/21.82	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
21.69/21.82	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
21.69/21.82	c   cut pool         :       0.31          -       1103         21          -          -       8739      11875          -          -          -          -          -    (maximal pool size:       3264)
21.69/21.82	c   aggregation      :       0.06       0.00        224         11          0          0          7         11          0          1          1          0          0
21.69/21.82	c   > cmir           :          -          -          -          -          -          -          -          7          0          0          0          0          -
21.69/21.82	c   > flowcover      :          -          -          -          -          -          -          -          4          0          1          1          0          -
21.69/21.82	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
21.69/21.82	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   clique           :       0.00       0.00         11         11          0          0          0          0          0          0          0          0          0
21.69/21.82	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   gomory           :       3.47       0.00        223         10          0          0      12628      11770       3922        611        487        124          0
21.69/21.82	c   > gomorymi       :          -          -          -          -          -          -          -       5759       1961        237        168         69          -
21.69/21.82	c   > strongcg       :          -          -          -          -          -          -          -       6011       1961        374        319         55          -
21.69/21.82	c   impliedbounds    :       0.00       0.00        224         11          0          0          0          0          0          0          0          0          0
21.69/21.82	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   mcf              :       0.00       0.00          1          1          0          0          0          0          0          0          0          0          0
21.69/21.82	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   multilinear      :       0.00       0.00        387         11          0          0          0          0          0          0          0          0          0
21.69/21.82	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
21.69/21.82	c   rapidlearning    :       2.39       0.00        100          1          0       5114          0          0          0          0          0          0        225
21.69/21.82	c   rlt              :       0.00       0.00        114         10          0          0          0          0          0          0          0          0          0
21.69/21.82	c   zerohalf         :       0.10       0.00        224         11          0          0        474         94        448        304         43        261          0
21.69/21.82	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
21.69/21.82	c   hybrid           :       0.02       0.00        328         11        916          0      15272         29          0       3092
21.69/21.82	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c Pricers            :   ExecTime  SetupTime      Calls       Vars
21.69/21.82	c   problem variables:       0.00          -          0          0
21.69/21.82	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
21.69/21.82	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c   relpscost        :       0.23       0.00       6915          0          0          0          0          0          0      13830
21.69/21.82	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
21.69/21.82	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
21.69/21.82	c   LP solutions     :       0.00          -          -          0          0
21.69/21.82	c   relax solutions  :       0.00          -          -          0          0
21.69/21.82	c   pseudo solutions :       0.00          -          -          0          0
21.69/21.82	c   strong branching :       0.00          -          -          0          0
21.69/21.82	c   actconsdiving    :       0.00       0.00          0          0          0
21.69/21.82	c   adaptivediving   :       0.01       0.00          1          0          0
21.69/21.82	c   alns             :       0.08       0.00          6          0          0
21.69/21.82	c   bound            :       0.00       0.00          0          0          0
21.69/21.82	c   clique           :       0.00       0.00          1          0          0
21.69/21.82	c   coefdiving       :       0.00       0.00          0          0          0
21.69/21.82	c   completesol      :       0.00       0.00          0          0          0
21.69/21.82	c   conflictdiving   :       0.04       0.00          1          0          0
21.69/21.82	c   crossover        :       0.00       0.00          0          0          0
21.69/21.82	c   dins             :       0.00       0.00          0          0          0
21.69/21.82	c   distributiondivin:       0.05       0.00          0          0          0
21.69/21.82	c   dps              :       0.00       0.00          0          0          0
21.69/21.82	c   dualval          :       0.00       0.00          0          0          0
21.69/21.82	c   farkasdiving     :       0.00       0.00          0          0          0
21.69/21.82	c   feasjump         :       0.03       0.00          1          0          0
21.69/21.82	c   feaspump         :       0.08       0.00          1          0          0
21.69/21.82	c   fixandinfer      :       0.00       0.00          0          0          0
21.69/21.82	c   fracdiving       :       0.00       0.00          1          0          0
21.69/21.82	c   gins             :       0.00       0.00          0          0          0
21.69/21.82	c   guideddiving     :       0.00       0.00          0          0          0
21.69/21.82	c   indcoefdiving    :       0.00       0.00          0          0          0
21.69/21.82	c   indicator        :       0.00       0.00          0          0          0
21.69/21.82	c   indicatordiving  :       0.00       0.00          0          0          0
21.69/21.82	c   indoneopt        :       0.00       0.00          0          0          0
21.69/21.82	c   indrounding      :       0.00       0.00          0          0          0
21.69/21.82	c   indtwoopt        :       0.00       0.00          0          0          0
21.69/21.82	c   intdiving        :       0.00       0.00          0          0          0
21.69/21.82	c   intshifting      :       0.00       0.00          0          0          0
21.69/21.82	c   linesearchdiving :       0.00       0.00          0          0          0
21.69/21.82	c   localbranching   :       0.00       0.00          0          0          0
21.69/21.82	c   locks            :       0.00       0.00          1          0          0
21.69/21.82	c   lpface           :       0.00       0.00          0          0          0
21.69/21.82	c   mpec             :       0.00       0.00          0          0          0
21.69/21.82	c   multistart       :       0.00       0.00          0          0          0
21.69/21.82	c   mutation         :       0.00       0.00          0          0          0
21.69/21.82	c   nlpdiving        :       0.00       0.00          0          0          0
21.69/21.82	c   objpscostdiving  :       0.00       0.00          0          0          0
21.69/21.82	c   octane           :       0.00       0.00          0          0          0
21.69/21.82	c   ofins            :       0.00       0.00          0          0          0
21.69/21.82	c   oneopt           :       0.00       0.00          0          0          0
21.69/21.82	c   padm             :       0.00       0.00          0          0          0
21.69/21.82	c   proximity        :       0.00       0.00          0          0          0
21.69/21.82	c   pscostdiving     :       0.00       0.00          1          0          0
21.69/21.82	c   randrounding     :       0.02       0.00        553          0          0
21.69/21.82	c   rens             :       0.01       0.00          1          0          0
21.69/21.82	c   reoptsols        :       0.00       0.00          0          0          0
21.69/21.82	c   repair           :       0.00       0.00          0          0          0
21.69/21.82	c   rins             :       0.00       0.00          0          0          0
21.69/21.82	c   rootsoldiving    :       0.00       0.00          0          0          0
21.69/21.82	c   rounding         :       0.05       0.00       1171          0          0
21.69/21.82	c   scheduler        :       0.00       0.00          0          0          0
21.69/21.82	c   shiftandpropagate:       0.00       0.00          1          0          0
21.69/21.82	c   shifting         :       0.07       0.00        415          0          0
21.69/21.82	c   simplerounding   :       0.00       0.00          0          0          0
21.69/21.82	c   smallcard        :       0.00       0.00          0          0          0
21.69/21.82	c   subnlp           :       0.00       0.00          0          0          0
21.69/21.82	c   trivial          :       0.00       0.00          2          0          0
21.69/21.82	c   trivialnegation  :       0.00       0.00          0          0          0
21.69/21.82	c   trustregion      :       0.00       0.00          0          0          0
21.69/21.82	c   trysol           :       0.00       0.00          0          0          0
21.69/21.82	c   twoopt           :       0.00       0.00          0          0          0
21.69/21.82	c   undercover       :       0.00       0.00          0          0          0
21.69/21.82	c   vbounds          :       0.00       0.00          0          0          0
21.69/21.82	c   veclendiving     :       0.01       0.00          1          0          0
21.69/21.82	c   zeroobj          :       0.00       0.00          0          0          0
21.69/21.82	c   zirounding       :       0.01       0.00       1000          0          0
21.69/21.82	c   other solutions  :          -          -          -          0          -
21.69/21.82	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
21.69/21.82	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
21.69/21.82	c   zeroobjective    :          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
21.69/21.82	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
21.69/21.82	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
21.69/21.82	c   primal LP        :       0.03        161          0       0.00       0.00       0.03        161
21.69/21.82	c   dual LP          :       9.56      13816     197217      14.33   20633.85       0.01         51
21.69/21.82	c   lex dual LP      :       0.00          0          0       0.00          -
21.69/21.82	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
21.69/21.82	c   resolve instable :       0.00          0          0       0.00          -
21.69/21.82	c   diving/probing LP:       0.12         50       2806      56.12   22776.16
21.69/21.82	c   strong branching :       0.03         18        676      37.56   19822.88          -          -          0
21.69/21.82	c     (at root node) :          -         18        676      37.56          -
21.69/21.82	c   conflict analysis:       0.00          0          0       0.00          -
21.69/21.82	c B&B Tree           :
21.69/21.82	c   number of runs   :          1
21.69/21.82	c   nodes            :      13744 (6915 internal, 6829 leaves)
21.69/21.82	c   feasible leaves  :          0
21.69/21.82	c   infeas. leaves   :       6829
21.69/21.82	c   objective leaves :          0
21.69/21.82	c   nodes (total)    :      13744 (6915 internal, 6829 leaves)
21.69/21.82	c   nodes left       :          0
21.69/21.82	c   max depth        :         42
21.69/21.82	c   max depth (total):         42
21.69/21.82	c   backtracks       :       1749 (12.7%)
21.69/21.82	c   early backtracks :          0 (0.0%)
21.69/21.82	c   nodes exc. ref.  :          0 (0.0%)
21.69/21.82	c   delayed cutoffs  :         87
21.69/21.82	c   repropagations   :      21834 (25490 domain reductions, 86 cutoffs)
21.69/21.82	c   avg switch length:       4.66
21.69/21.82	c   switching time   :       0.81
21.69/21.82	c Root Node          :
21.69/21.82	c   First LP value   : +0.00000000000000e+00
21.69/21.82	c   First LP Iters   :         95 (30478.02 Iter/sec)
21.69/21.82	c   First LP Time    :       0.00
21.69/21.82	c   Final Dual Bound : +0.00000000000000e+00
21.69/21.82	c   Final Root Iters :       2195
21.69/21.82	c   Root LP Estimate : +2.72644831438605e-03
21.69/21.82	c Solution           :
21.69/21.82	c   Solutions found  :          0 (0 improvements)
21.69/21.82	c   Primal Bound     : infeasible
21.69/21.82	c   Dual Bound       :          -
21.69/21.82	c   Gap              :       0.00 %
21.69/21.82	c Integrals          :      Total       Avg%
21.69/21.82	c   primal-dual      :          -          - (problem infeasible)
21.69/21.82	c   primal-ref       :          -          - (problem infeasible)
21.69/21.82	c   dual-ref         :          -          - (problem infeasible)
21.69/21.83	c Time complete: 21.7356.

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494822-1751151947/watcher-4494822-1751151947 -o /tmp/evaluation-result-4494822-1751151947/solver-4494822-1751151947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14928 --watchdog 3760 pbscip -f HOME/instance-4494822-1751151947.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=16858, runsolver pid=16855

[startup+0.100069 s]*
/proc/loadavg: 4.11 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125369704/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=54728 memory=29432 CPUtime=0.08 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 3935 0 0 0 8 0 0 0 20 0 1 0 30872636 56041472 7358 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 13682 7358 3904 3530 0 5133 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 54728 KiB
Current children cumulated memory: 29432 KiB

[startup+0.206083 s]*
/proc/loadavg: 4.11 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125368696/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=55144 memory=30072 CPUtime=0.18 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 4089 0 0 0 18 0 0 0 20 0 1 0 30872636 56467456 7518 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 13786 7518 3904 3530 0 5237 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 55144 KiB
Current children cumulated memory: 30072 KiB

[startup+0.305727 s]*
/proc/loadavg: 4.11 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125354584/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=64292 memory=37848 CPUtime=0.28 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 6217 0 0 0 28 0 0 0 20 0 1 0 30872636 65835008 9462 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 16073 9462 3936 3530 0 7524 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64292 KiB
Current children cumulated memory: 37848 KiB

[startup+0.700183 s]
/proc/loadavg: 4.10 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125354804/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=78244 memory=50264 CPUtime=0.67 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 9339 0 0 0 66 1 0 0 20 0 1 0 30872636 80121856 12566 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 19561 12566 3936 3530 0 11012 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78244 KiB
Current children cumulated memory: 50264 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125338928/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=91968 memory=63200 CPUtime=1.47 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 12923 0 0 0 145 2 0 0 20 0 1 0 30872636 94175232 15800 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 22992 15800 3936 3530 0 14443 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91968 KiB
Current children cumulated memory: 63200 KiB

[startup+3.10554 s]
/proc/loadavg: 4.10 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125328416/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=100704 memory=70396 CPUtime=3.06 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 17200 0 0 0 304 2 0 0 20 0 1 0 30872636 103120896 17599 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 25176 17599 3936 3530 0 16627 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 100704 KiB
Current children cumulated memory: 70396 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.13 4.11 5/267 16859
/proc/meminfo: memFree=125317472/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=109608 memory=78624 CPUtime=6.25 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 21848 0 0 0 622 3 0 0 20 0 1 0 30872636 112238592 19656 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 27402 19656 3936 3530 0 18853 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 109608 KiB
Current children cumulated memory: 78624 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.11 4/265 16918
/proc/meminfo: memFree=125345284/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=108932 memory=78060 CPUtime=12.63 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 22188 0 0 0 1260 3 0 0 20 0 1 0 30872636 111546368 19515 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 27233 19515 3936 3530 0 18684 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 108932 KiB
Current children cumulated memory: 78060 KiB

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

# cumulated CPU time of all completed processes:  user=21.7016 s, system=0.040857 s

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

[startup+12.8002 s]
/proc/loadavg: 4.09 4.12 4.11 4/265 16918
/proc/meminfo: memFree=125345284/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=108932 memory=78060 CPUtime=12.73 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 22188 0 0 0 1270 3 0 0 20 0 1 0 30872636 111546368 19515 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 27233 19515 3936 3530 0 18684 0
Current children cumulated CPU time: 12.73 s
Current children cumulated vsize: 108932 KiB
Current children cumulated memory: 78060 KiB

[startup+16.0001 s]*
/proc/loadavg: 4.08 4.12 4.11 5/267 16994
/proc/meminfo: memFree=125354388/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=114104 memory=81900 CPUtime=15.92 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 23147 0 0 0 1589 3 0 0 20 0 1 0 30872636 116842496 20475 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 28526 20475 3936 3530 0 19977 0
Current children cumulated CPU time: 15.92 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 81900 KiB

[startup+19.2001 s]
/proc/loadavg: 4.08 4.12 4.11 5/267 16994
/proc/meminfo: memFree=125314608/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=114104 memory=81900 CPUtime=19.1 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 23147 0 0 0 1907 3 0 0 20 0 1 0 30872636 116842496 20475 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 28526 20475 3936 3530 0 19977 0
Current children cumulated CPU time: 19.1 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 81900 KiB

[startup+20.8002 s]
/proc/loadavg: 4.08 4.12 4.11 5/267 16994
/proc/meminfo: memFree=125314616/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=114104 memory=81900 CPUtime=20.7 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 23147 0 0 0 2067 3 0 0 20 0 1 0 30872636 116842496 20475 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 28526 20475 3936 3530 0 19977 0
Current children cumulated CPU time: 20.7 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 81900 KiB

[startup+21.6002 s]
/proc/loadavg: 4.07 4.12 4.10 5/267 16994
/proc/meminfo: memFree=125314616/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=114104 memory=81900 CPUtime=21.5 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 23147 0 0 0 2147 3 0 0 20 0 1 0 30872636 116842496 20475 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 28526 20475 3936 3530 0 19977 0
Current children cumulated CPU time: 21.5 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 81900 KiB

[startup+21.8002 s]
/proc/loadavg: 4.07 4.12 4.10 5/267 16994
/proc/meminfo: memFree=125314616/131249996 swapFree=33010684/33010684
[pid=16858] ppid=16855 vsize=114104 memory=81900 CPUtime=21.69 cores=5,7
/proc/16858/stat : 16858 (pbscip) R 16855 16858 14915 0 -1 4194304 23147 0 0 0 2166 3 0 0 20 0 1 0 30872636 116842496 20475 18446744073709551615 4235264 18693293 140734705792960 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 54018048 140734705797513 140734705797612 140734705797612 140734705803214 0
/proc/16858/statm: 28526 20475 3936 3530 0 19977 0
Current children cumulated CPU time: 21.69 s
Current children cumulated vsize: 114104 KiB
Current children cumulated memory: 81900 KiB

Child status: 0

Real time (s): 21.8371
CPU time (s): 21.7425
CPU user time (s): 21.7016
CPU system time (s): 0.040857
CPU usage (%): 99.5667
Max. virtual memory (cumulated for all children) (KiB): 114104
Max. memory (cumulated for all children) (KiB): 81900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.7016
system time used= 0.040857
maximum resident set size= 81900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23154
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= 80
involuntary context switches= 31


# summary of solver processes directly reported to runsolver:
#   pid: 16858
#   total CPU time (s): 21.7425
#   total CPU user time (s): 21.7016
#   total CPU system time (s): 0.040857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055181 second user time and 0.131902 second system time

The end

Begin job on nodeC024 at 2025-06-29 01:05:47
IDJOB=4494822
IDBENCH=147933
IDSOLVER=3365
FILE ID=nodeC024/4494822-1751151947
RUNJOBID= nodeC024-1751144686-14928
SLURM_JOB_ID= 9587443
Free space on /tmp= 432984 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494822-1751151947/watcher-4494822-1751151947 -o /tmp/evaluation-result-4494822-1751151947/solver-4494822-1751151947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14928 --watchdog 3760  pbscip -f HOME/instance-4494822-1751151947.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 75eee10e25ffa4d5aec52eb68458e53f
RANDOM SEED=662339344

nodeC024 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.621
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.36
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.705
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.36
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.187
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.36
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		: 3598.896
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.36
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.886
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.36
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.675
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.36
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.119
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.36
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		: 3583.238
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125377204 kB
MemAvailable:   125023344 kB
Buffers:            3280 kB
Cached:           457036 kB
SwapCached:            0 kB
Active:          5006040 kB
Inactive:         249296 kB
Active(anon):    4813088 kB
Inactive(anon):        0 kB
Active(file):     192952 kB
Inactive(file):   249296 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37808 kB
Writeback:             0 kB
AnonPages:       4796244 kB
Mapped:           137620 kB
Shmem:             18064 kB
KReclaimable:      84992 kB
Slab:             167612 kB
SReclaimable:      84992 kB
SUnreclaim:        82620 kB
KernelStack:        4288 kB
PageTables:        12792 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    6234384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3584000 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432964 MiB
End job on nodeC024 at 2025-06-29 01:06:09