| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 24.9846 | 25.0809 |
| Name | PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb |
| MD5SUM | a3c0b836e0973314fbcd5a68d5736cb2 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 3.89419 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 677 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-4495110-1751151974.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.1s) 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.99707
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.09/0.13 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.13 c 0.1s| 1 | 0 | 95 | - | 11M | 0 | 231 |2470 |2443 | 0 | 0 | 26 | 0 | 0.000000e+00 | -- | Inf | unknown
0.19/0.28 c 0.3s| 1 | 0 | 2024 | - | 12M | 0 | 231 |2475 |2445 | 2 | 1 | 31 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.32 c 0.3s| 1 | 0 | 2050 | - | 14M | 0 | 231 |2476 |2449 | 6 | 2 | 32 | 0 | 0.000000e+00 | -- | Inf | unknown
0.29/0.39 c 0.4s| 1 | 0 | 2074 | - | 17M | 0 | 231 |2482 |2453 | 10 | 3 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.39/0.44 c 0.4s| 1 | 0 | 2093 | - | 22M | 0 | 231 |2482 |2457 | 14 | 4 | 38 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.52 c 0.5s| 1 | 0 | 2109 | - | 26M | 0 | 231 |2487 |2460 | 17 | 5 | 43 | 0 | 0.000000e+00 | -- | Inf | unknown
0.50/0.60 c 0.6s| 1 | 0 | 2120 | - | 30M | 0 | 231 |2490 |2462 | 19 | 6 | 46 | 0 | 0.000000e+00 | -- | Inf | unknown
0.59/0.66 c 0.6s| 1 | 0 | 2136 | - | 35M | 0 | 231 |2494 |2465 | 22 | 7 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.72 c 0.7s| 1 | 0 | 2151 | - | 38M | 0 | 231 |2494 |2468 | 25 | 8 | 50 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.78 c 0.8s| 1 | 0 | 2166 | - | 42M | 0 | 231 |2499 |2472 | 29 | 9 | 55 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.86 c 0.9s| 1 | 0 | 2184 | - | 47M | 0 | 231 |2500 |2474 | 31 | 10 | 56 | 0 | 0.000000e+00 | -- | Inf | unknown
0.78/0.87 c 0.9s| 1 | 0 | 2195 | - | 49M | 0 | 231 |2501 |2477 | 34 | 11 | 57 | 0 | 0.000000e+00 | -- | Inf | unknown
0.88/0.96 c 1.0s| 1 | 2 | 2498 | - | 49M | 0 | 231 |2527 |2477 | 34 | 11 | 83 | 19 | 0.000000e+00 | -- | Inf | unknown
1.28/1.35 c 1.3s| 100 | 15 | 4891 | 27.2 | 50M | 17 | 231 |2625 |2450 | 55 | 0 | 183 | 19 | 0.000000e+00 | -- | Inf | 50.32%
1.68/1.70 c 1.7s| 200 | 20 | 6785 | 23.1 | 52M | 20 | 231 |2706 |2452 | 82 | 0 | 264 | 19 | 0.000000e+00 | -- | Inf | 51.03%
1.78/1.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.78/1.85 c 1.8s| 300 | 20 | 8265 | 20.3 | 52M | 20 | 231 |2798 |2452 | 89 | 0 | 357 | 19 | 0.000000e+00 | -- | Inf | 51.13%
2.08/2.11 c 2.1s| 400 | 18 | 9648 | 18.7 | 52M | 20 | 231 |2881 |2452 | 89 | 1 | 443 | 19 | 0.000000e+00 | -- | Inf | 51.19%
2.17/2.29 c 2.3s| 500 | 14 | 10985 | 17.6 | 54M | 20 | 231 |2942 |2452 | 107 | 0 | 505 | 19 | 0.000000e+00 | -- | Inf | 51.42%
2.57/2.60 c 2.6s| 600 | 14 | 12528 | 17.3 | 54M | 20 | 231 |3011 |2452 | 107 | 1 | 581 | 19 | 0.000000e+00 | -- | Inf | 51.49%
2.77/2.86 c 2.9s| 700 | 17 | 14182 | 17.1 | 55M | 20 | 231 |3064 |2452 | 115 | 0 | 642 | 19 | 0.000000e+00 | -- | Inf | 51.74%
3.17/3.20 c 3.2s| 800 | 17 | 15714 | 16.9 | 56M | 20 | 231 |3145 |2451 | 127 | 1 | 727 | 19 | 0.000000e+00 | -- | Inf | 53.10%
3.77/3.84 c 3.8s| 900 | 15 | 17575 | 17.1 | 56M | 20 | 231 |3228 |2452 | 142 | 1 | 820 | 19 | 0.000000e+00 | -- | Inf | 53.69%
4.08/4.16 c 4.2s| 1000 | 17 | 19194 | 17.0 | 56M | 20 | 231 |3307 |2452 | 190 | 0 | 904 | 19 | 0.000000e+00 | -- | Inf | 54.28%
4.37/4.45 c 4.4s| 1100 | 19 | 20532 | 16.7 | 56M | 20 | 231 |3372 |2453 | 205 | 1 | 974 | 19 | 0.000000e+00 | -- | Inf | 54.45%
4.57/4.67 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
4.57/4.67 c (run 1, node 1195) performing user restart
4.57/4.67 c
4.57/4.67 c (restart) converted 6 cuts from the global cut pool into linear constraints
4.57/4.67 c
4.57/4.68 c presolving:
4.57/4.68 c (round 1, fast) 21 del vars, 633 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 305 chg coeffs, 0 upgd conss, 0 impls, 320 clqs
4.57/4.69 c (round 2, medium) 31 del vars, 633 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 305 chg coeffs, 0 upgd conss, 0 impls, 301 clqs
4.57/4.69 c (round 3, fast) 31 del vars, 655 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 324 chg coeffs, 0 upgd conss, 0 impls, 301 clqs
4.57/4.69 c (round 4, exhaustive) 31 del vars, 655 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 324 chg coeffs, 4 upgd conss, 0 impls, 301 clqs
4.57/4.69 c (round 5, medium) 31 del vars, 655 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 331 chg coeffs, 4 upgd conss, 0 impls, 302 clqs
4.57/4.69 c (round 6, exhaustive) 31 del vars, 659 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 332 chg coeffs, 4 upgd conss, 0 impls, 302 clqs
4.67/4.70 c (round 7, exhaustive) 31 del vars, 870 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 977 chg coeffs, 4 upgd conss, 0 impls, 302 clqs
4.67/4.70 c (round 8, exhaustive) 31 del vars, 909 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 977 chg coeffs, 4 upgd conss, 0 impls, 303 clqs
4.67/4.71 c (round 9, exhaustive) 31 del vars, 909 del conss, 3 add conss, 0 chg bounds, 4 chg sides, 1051 chg coeffs, 4 upgd conss, 0 impls, 303 clqs
4.67/4.72 c presolving (10 rounds: 10 fast, 8 medium, 6 exhaustive):
4.67/4.72 c 31 deleted vars, 911 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 1052 changed coefficients
4.67/4.72 c 0 implications, 303 cliques
4.67/4.72 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 2562 constraints
4.67/4.72 c 5 constraints of type <knapsack>
4.67/4.72 c 20 constraints of type <setppc>
4.67/4.72 c 2537 constraints of type <logicor>
4.67/4.72 c transformed objective value is always integral (scale: 1)
4.67/4.72 c Presolving Time: 0.08
4.67/4.72 c
4.67/4.74 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.67/4.74 c 4.7s| 1 | 0 | 21898 | - | 56M | 0 | 200 |2584 |1834 | 0 | 0 |1090 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.81 c 4.8s| 1 | 0 | 21912 | - | 56M | 0 | 200 |2584 |1839 | 5 | 1 |1090 | 19 | 0.000000e+00 | -- | Inf | unknown
4.77/4.85 c 4.8s| 1 | 0 | 21938 | - | 56M | 0 | 200 |2585 |1842 | 8 | 2 |1091 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.91 c 4.9s| 1 | 0 | 21959 | - | 56M | 0 | 200 |2586 |1847 | 13 | 3 |1092 | 19 | 0.000000e+00 | -- | Inf | unknown
4.87/4.97 c 5.0s| 1 | 0 | 21974 | - | 57M | 0 | 200 |2587 |1849 | 15 | 4 |1093 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.02 c 5.0s| 1 | 0 | 21985 | - | 57M | 0 | 200 |2591 |1852 | 18 | 5 |1097 | 19 | 0.000000e+00 | -- | Inf | unknown
4.97/5.08 c 5.1s| 1 | 0 | 22007 | - | 57M | 0 | 200 |2592 |1855 | 21 | 6 |1098 | 19 | 0.000000e+00 | -- | Inf | unknown
5.07/5.15 c 5.1s| 1 | 0 | 22025 | - | 57M | 0 | 200 |2593 |1856 | 22 | 7 |1099 | 19 | 0.000000e+00 | -- | Inf | unknown
5.17/5.20 c 5.2s| 1 | 0 | 22036 | - | 57M | 0 | 200 |2596 |1859 | 25 | 8 |1102 | 19 | 0.000000e+00 | -- | Inf | unknown
5.17/5.27 c 5.3s| 1 | 0 | 22050 | - | 59M | 0 | 200 |2597 |1862 | 28 | 9 |1103 | 19 | 0.000000e+00 | -- | Inf | unknown
5.26/5.33 c 5.3s| 1 | 0 | 22074 | - | 60M | 0 | 200 |2600 |1866 | 32 | 10 |1106 | 19 | 0.000000e+00 | -- | Inf | unknown
5.26/5.33 c 5.3s| 1 | 0 | 22088 | - | 60M | 0 | 200 |2603 |1868 | 34 | 11 |1109 | 19 | 0.000000e+00 | -- | Inf | unknown
5.36/5.40 c 5.4s| 1 | 2 | 22261 | - | 60M | 0 | 200 |2609 |1868 | 34 | 11 |1115 | 38 | 0.000000e+00 | -- | Inf | unknown
5.76/5.85 c 5.8s| 100 | 13 | 23951 | 16.6 | 61M | 20 | 200 |2661 |1840 | 61 | 1 |1174 | 38 | 0.000000e+00 | -- | Inf | 14.75%
6.16/6.29 c 6.3s| 200 | 9 | 25455 | 16.5 | 61M | 20 | 200 |2705 |1836 | 81 | 1 |1228 | 38 | 0.000000e+00 | -- | Inf | 33.78%
6.66/6.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.66/6.73 c 6.7s| 300 | 9 | 26958 | 16.4 | 62M | 20 | 200 |2761 |1836 | 92 | 0 |1302 | 38 | 0.000000e+00 | -- | Inf | 56.84%
7.06/7.11 c 7.1s| 400 | 15 | 28452 | 16.3 | 62M | 20 | 200 |2797 |1839 | 129 | 0 |1368 | 38 | 0.000000e+00 | -- | Inf | 63.03%
7.35/7.46 c 7.5s| 500 | 17 | 29953 | 16.2 | 64M | 20 | 200 |2822 |1839 | 168 | 0 |1425 | 38 | 0.000000e+00 | -- | Inf | 64.12%
7.65/7.78 c 7.8s| 600 | 15 | 31188 | 16.0 | 66M | 20 | 200 |2863 |1840 | 185 | 1 |1492 | 38 | 0.000000e+00 | -- | Inf | 64.39%
7.96/8.03 c 8.0s| 700 | 14 | 32610 | 15.9 | 69M | 20 | 200 |2923 |1841 | 210 | 1 |1566 | 38 | 0.000000e+00 | -- | Inf | 64.60%
8.16/8.20 c 8.2s| 800 | 10 | 33922 | 15.8 | 69M | 20 | 200 |2983 |1837 | 211 | 0 |1644 | 38 | 0.000000e+00 | -- | Inf | 64.77%
8.56/8.62 c 8.6s| 900 | 11 | 35682 | 15.9 | 69M | 20 | 200 |3003 |1839 | 261 | 0 |1708 | 38 | 0.000000e+00 | -- | Inf | 69.58%
8.76/8.84 c 8.8s| 1000 | 14 | 37240 | 15.9 | 69M | 22 | 200 |3035 |1843 | 295 | 1 |1777 | 38 | 0.000000e+00 | -- | Inf | 70.21%
8.85/8.96 c 9.0s| 1100 | 16 | 38444 | 15.7 | 69M | 22 | 200 |3105 |1839 | 311 | 1 |1866 | 38 | 0.000000e+00 | -- | Inf | 70.38%
8.96/9.07 c 9.1s| 1200 | 15 | 39844 | 15.6 | 69M | 22 | 200 |3148 |1842 | 318 | 1 |1941 | 38 | 0.000000e+00 | -- | Inf | 70.53%
9.06/9.17 c 9.2s| 1300 | 12 | 41225 | 15.5 | 69M | 23 | 200 |3199 |1843 | 326 | 2 |2028 | 38 | 0.000000e+00 | -- | Inf | 70.55%
9.25/9.38 c 9.4s| 1400 | 12 | 42616 | 15.5 | 69M | 27 | 200 |3248 |1840 | 359 | 1 |2101 | 38 | 0.000000e+00 | -- | Inf | 70.92%
9.45/9.52 c 9.5s| 1500 | 15 | 44012 | 15.4 | 69M | 27 | 200 |3316 |1842 | 379 | 2 |2195 | 38 | 0.000000e+00 | -- | Inf | 72.81%
9.55/9.66 c 9.7s| 1600 | 12 | 45386 | 15.4 | 69M | 27 | 200 |3369 | 0 | 395 | 0 |2261 | 38 | 0.000000e+00 | -- | Inf | 73.34%
9.75/9.86 c 9.9s| 1700 | 14 | 46851 | 15.3 | 69M | 27 | 200 |3414 |1840 | 423 | 0 |2325 | 38 | 0.000000e+00 | -- | Inf | 73.72%
9.85/9.95 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.85/9.95 c 9.9s| 1800 | 16 | 47926 | 15.2 | 69M | 27 | 200 |3488 |1840 | 426 | 0 |2409 | 38 | 0.000000e+00 | -- | Inf | 73.75%
9.96/10.05 c 10.0s| 1900 | 15 | 49225 | 15.1 | 69M | 27 | 200 |3583 |1840 | 436 | 1 |2524 | 38 | 0.000000e+00 | -- | Inf | 73.76%
10.15/10.29 c 10.3s| 2000 | 13 | 51008 | 15.2 | 70M | 27 | 200 |3646 |1845 | 465 | 0 |2603 | 38 | 0.000000e+00 | -- | Inf | 74.08%
10.25/10.38 c 10.4s| 2100 | 8 | 52279 | 15.1 | 70M | 27 | 200 |3749 |1840 | 466 | 0 |2716 | 38 | 0.000000e+00 | -- | Inf | 74.13%
10.35/10.47 c 10.5s| 2200 | 8 | 53471 | 15.0 | 70M | 29 | 200 |3818 | 0 | 467 | 0 |2806 | 38 | 0.000000e+00 | -- | Inf | 74.15%
10.45/10.57 c 10.6s| 2300 | 7 | 55033 | 15.0 | 70M | 29 | 200 |3866 |1845 | 468 | 1 |2889 | 38 | 0.000000e+00 | -- | Inf | 74.96%
10.55/10.67 c 10.7s| 2400 | 12 | 56562 | 15.1 | 70M | 29 | 200 |3927 |1841 | 468 | 0 |2981 | 38 | 0.000000e+00 | -- | Inf | 74.96%
10.65/10.77 c 10.8s| 2500 | 7 | 58233 | 15.1 | 70M | 30 | 200 |3980 |1845 | 468 | 0 |3074 | 38 | 0.000000e+00 | -- | Inf | 74.99%
10.75/10.87 c 10.9s| 2600 | 5 | 59796 | 15.1 | 70M | 30 | 200 |4080 |1846 | 469 | 0 |3193 | 38 | 0.000000e+00 | -- | Inf | 74.99%
11.15/11.24 c 11.2s| 2700 | 10 | 61473 | 15.2 | 70M | 30 | 200 |4137 |1843 | 520 | 2 |3271 | 38 | 0.000000e+00 | -- | Inf | 80.93%
11.45/11.58 c 11.6s| 2800 | 12 | 62949 | 15.1 | 70M | 30 | 200 |4203 |1839 | 554 | 1 |3345 | 38 | 0.000000e+00 | -- | Inf | 82.36%
11.74/11.80 c 11.8s| 2900 | 14 | 64190 | 15.1 | 70M | 30 | 200 |4271 |1840 | 589 | 1 |3418 | 38 | 0.000000e+00 | -- | Inf | 83.25%
11.84/11.96 c 12.0s| 3000 | 16 | 65275 | 15.0 | 70M | 30 | 200 |4343 |1840 | 610 | 0 |3494 | 38 | 0.000000e+00 | -- | Inf | 83.57%
11.95/12.05 c 12.0s| 3100 | 16 | 66414 | 14.9 | 70M | 30 | 200 |4402 |1844 | 620 | 0 |3557 | 38 | 0.000000e+00 | -- | Inf | 83.65%
12.05/12.18 c 12.2s| 3200 | 14 | 67766 | 14.9 | 70M | 30 | 200 |4460 |1841 | 641 | 0 |3619 | 38 | 0.000000e+00 | -- | Inf | 83.76%
12.14/12.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.14/12.28 c 12.3s| 3300 | 18 | 69048 | 14.8 | 73M | 30 | 200 |4536 |1842 | 645 | 1 |3699 | 38 | 0.000000e+00 | -- | Inf | 83.79%
12.24/12.36 c 12.4s| 3400 | 20 | 70274 | 14.8 | 73M | 30 | 200 |4613 |1842 | 645 | 1 |3776 | 38 | 0.000000e+00 | -- | Inf | 83.80%
12.34/12.45 c 12.4s| 3500 | 17 | 71620 | 14.7 | 73M | 30 | 200 |4668 |1844 | 646 | 1 |3834 | 38 | 0.000000e+00 | -- | Inf | 83.80%
12.44/12.55 c 12.5s| 3600 | 14 | 73068 | 14.7 | 73M | 30 | 200 |4729 |1843 | 647 | 0 |3898 | 38 | 0.000000e+00 | -- | Inf | 83.85%
12.54/12.63 c 12.6s| 3700 | 14 | 74159 | 14.7 | 73M | 30 | 200 |4813 |1843 | 648 | 1 |3982 | 38 | 0.000000e+00 | -- | Inf | 83.90%
12.64/12.72 c 12.7s| 3800 | 15 | 75357 | 14.6 | 73M | 30 | 200 |4894 |1843 | 649 | 1 |4065 | 38 | 0.000000e+00 | -- | Inf | 83.91%
12.74/12.82 c 12.8s| 3900 | 17 | 76763 | 14.6 | 73M | 31 | 200 |4963 |1843 | 649 | 1 |4136 | 38 | 0.000000e+00 | -- | Inf | 83.92%
12.84/12.92 c 12.9s| 4000 | 16 | 78238 | 14.6 | 73M | 31 | 200 |5029 |1843 | 651 | 1 |4206 | 38 | 0.000000e+00 | -- | Inf | 83.92%
12.94/13.01 c 13.0s| 4100 | 13 | 79503 | 14.6 | 73M | 31 | 200 |5087 |1844 | 652 | 0 |4268 | 38 | 0.000000e+00 | -- | Inf | 83.93%
13.14/13.24 c 13.2s| 4200 | 12 | 80960 | 14.6 | 73M | 31 | 200 |5161 | 0 | 678 | 0 |4349 | 38 | 0.000000e+00 | -- | Inf | 85.74%
13.24/13.37 c 13.4s| 4300 | 10 | 82414 | 14.6 | 73M | 31 | 200 |5239 |1843 | 697 | 1 |4432 | 38 | 0.000000e+00 | -- | Inf | 87.01%
13.44/13.51 c 13.5s| 4400 | 11 | 83947 | 14.6 | 73M | 31 | 200 |5300 |1836 | 714 | 0 |4503 | 38 | 0.000000e+00 | -- | Inf | 87.47%
13.63/13.75 c 13.7s| 4500 | 13 | 85110 | 14.5 | 73M | 31 | 200 |5349 |1839 | 752 | 0 |4567 | 38 | 0.000000e+00 | -- | Inf | 89.23%
13.83/13.96 c 13.9s| 4600 | 11 | 86183 | 14.5 | 73M | 31 | 200 |5392 |1840 | 777 | 1 |4632 | 38 | 0.000000e+00 | -- | Inf | 91.38%
13.94/14.09 c 14.1s| 4700 | 12 | 87415 | 14.4 | 73M | 31 | 200 |5446 |1839 | 797 | 0 |4703 | 38 | 0.000000e+00 | -- | Inf | 91.62%
14.04/14.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
14.04/14.19 c 14.2s| 4800 | 12 | 88819 | 14.4 | 73M | 31 | 200 |5489 |1839 | 807 | 0 |4761 | 38 | 0.000000e+00 | -- | Inf | 91.74%
14.13/14.28 c 14.3s| 4900 | 9 | 90142 | 14.4 | 73M | 31 | 200 |5565 |1842 | 807 | 0 |4851 | 38 | 0.000000e+00 | -- | Inf | 91.78%
14.43/14.59 c 14.6s| 5000 | 19 | 91694 | 14.4 | 73M | 31 | 200 |5583 |1839 | 855 | 1 |4916 | 38 | 0.000000e+00 | -- | Inf | 92.57%
14.53/14.69 c 14.7s| 5100 | 17 | 92697 | 14.3 | 73M | 31 | 200 |5620 |1840 | 863 | 1 |4994 | 38 | 0.000000e+00 | -- | Inf | 92.76%
14.73/14.83 c 14.8s| 5200 | 20 | 93785 | 14.3 | 74M | 31 | 200 |5663 |1841 | 882 | 1 |5057 | 38 | 0.000000e+00 | -- | Inf | 92.96%
14.83/14.94 c 14.9s| 5300 | 24 | 94800 | 14.2 | 74M | 31 | 200 |5724 |1841 | 891 | 0 |5152 | 38 | 0.000000e+00 | -- | Inf | 93.04%
14.94/15.03 c 15.0s| 5400 | 24 | 95754 | 14.1 | 74M | 31 | 200 |5790 |1841 | 891 | 1 |5236 | 38 | 0.000000e+00 | -- | Inf | 93.06%
15.04/15.12 c 15.1s| 5500 | 22 | 97138 | 14.1 | 74M | 31 | 200 |5888 | 0 | 891 | 0 |5347 | 38 | 0.000000e+00 | -- | Inf | 93.07%
15.13/15.26 c 15.3s| 5600 | 22 | 98417 | 14.1 | 74M | 31 | 200 |5933 |1844 | 912 | 1 |5414 | 38 | 0.000000e+00 | -- | Inf | 93.14%
15.23/15.37 c 15.4s| 5700 | 21 | 99725 | 14.1 | 74M | 31 | 200 |6015 |1844 | 919 | 1 |5515 | 38 | 0.000000e+00 | -- | Inf | 93.30%
15.33/15.46 c 15.4s| 5800 | 21 |101071 | 14.1 | 74M | 31 | 200 |6097 |1844 | 919 | 1 |5617 | 38 | 0.000000e+00 | -- | Inf | 93.31%
15.43/15.55 c 15.5s| 5900 | 24 |102441 | 14.1 | 74M | 31 | 200 |6182 |1844 | 919 | 1 |5716 | 38 | 0.000000e+00 | -- | Inf | 93.32%
15.53/15.65 c 15.6s| 6000 | 25 |103841 | 14.1 | 74M | 31 | 200 |6259 |1844 | 919 | 1 |5808 | 38 | 0.000000e+00 | -- | Inf | 93.33%
15.63/15.74 c 15.7s| 6100 | 22 |105139 | 14.1 | 74M | 31 | 200 |6339 |1844 | 919 | 1 |5895 | 38 | 0.000000e+00 | -- | Inf | 93.33%
15.73/15.83 c 15.8s| 6200 | 25 |106318 | 14.0 | 74M | 31 | 200 |6438 |1844 | 919 | 1 |6002 | 38 | 0.000000e+00 | -- | Inf | 93.33%
15.83/15.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.83/15.92 c 15.9s| 6300 | 21 |107754 | 14.1 | 74M | 31 | 200 |6550 |1844 | 922 | 0 |6120 | 38 | 0.000000e+00 | -- | Inf | 93.33%
15.93/16.03 c 16.0s| 6400 | 26 |109392 | 14.1 | 74M | 31 | 200 |6662 |1844 | 922 | 0 |6237 | 38 | 0.000000e+00 | -- | Inf | 93.33%
16.03/16.13 c 16.1s| 6500 | 23 |110904 | 14.1 | 74M | 31 | 200 |6784 |1844 | 922 | 1 |6361 | 38 | 0.000000e+00 | -- | Inf | 93.33%
16.13/16.27 c 16.3s| 6600 | 23 |112597 | 14.1 | 74M | 31 | 200 |6866 |1839 | 932 | 1 |6445 | 38 | 0.000000e+00 | -- | Inf | 93.38%
16.22/16.36 c 16.4s| 6700 | 22 |113827 | 14.1 | 74M | 31 | 200 |6963 | 0 | 932 | 0 |6548 | 38 | 0.000000e+00 | -- | Inf | 93.47%
16.32/16.45 c 16.4s| 6800 | 21 |115041 | 14.1 | 74M | 31 | 200 |7067 |1844 | 932 | 0 |6656 | 38 | 0.000000e+00 | -- | Inf | 93.50%
16.42/16.54 c 16.5s| 6900 | 22 |116348 | 14.1 | 75M | 31 | 200 |7178 |1839 | 932 | 1 |6767 | 38 | 0.000000e+00 | -- | Inf | 93.53%
16.62/16.71 c 16.7s| 7000 | 18 |117627 | 14.1 | 75M | 31 | 200 |7282 |1841 | 946 | 1 |6879 | 38 | 0.000000e+00 | -- | Inf | 93.69%
16.72/16.87 c 16.9s| 7100 | 18 |119211 | 14.1 | 75M | 31 | 200 |7379 |1841 | 957 | 0 |6986 | 38 | 0.000000e+00 | -- | Inf | 93.93%
16.93/17.04 c 17.0s| 7200 | 22 |120434 | 14.1 | 75M | 31 | 200 |7414 |1839 | 988 | 1 |7042 | 38 | 0.000000e+00 | -- | Inf | 94.09%
17.03/17.14 c 17.1s| 7300 | 20 |122002 | 14.1 | 75M | 32 | 200 |7512 |1844 | 988 | 1 |7148 | 38 | 0.000000e+00 | -- | Inf | 94.19%
17.12/17.28 c 17.3s| 7400 | 21 |123696 | 14.1 | 75M | 33 | 200 |7569 |1841 | 997 | 1 |7229 | 38 | 0.000000e+00 | -- | Inf | 94.29%
17.22/17.39 c 17.4s| 7500 | 20 |125098 | 14.1 | 75M | 33 | 200 |7635 |1839 |1007 | 0 |7314 | 38 | 0.000000e+00 | -- | Inf | 94.36%
17.32/17.49 c 17.5s| 7600 | 20 |126531 | 14.1 | 75M | 33 | 200 |7723 |1843 |1009 | 0 |7412 | 38 | 0.000000e+00 | -- | Inf | 94.37%
17.52/17.62 c 17.6s| 7700 | 30 |128407 | 14.2 | 75M | 33 | 200 |7712 |1840 |1016 | 0 |7459 | 38 | 0.000000e+00 | -- | Inf | 94.43%
17.62/17.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.62/17.79 c 17.8s| 7800 | 34 |131050 | 14.3 | 75M | 33 | 200 |7753 |1839 |1028 | 1 |7550 | 38 | 0.000000e+00 | -- | Inf | 94.48%
17.82/17.90 c 17.9s| 7900 | 34 |132731 | 14.3 | 75M | 33 | 200 |7841 |1840 |1028 | 0 |7652 | 38 | 0.000000e+00 | -- | Inf | 94.50%
17.92/18.01 c 18.0s| 8000 | 36 |134347 | 14.3 | 75M | 33 | 200 |7945 |1839 |1028 | 1 |7777 | 38 | 0.000000e+00 | -- | Inf | 94.50%
18.02/18.16 c 18.2s| 8100 | 32 |136120 | 14.4 | 75M | 33 | 200 |8056 |1841 |1036 | 0 |7901 | 38 | 0.000000e+00 | -- | Inf | 94.56%
18.12/18.28 c 18.3s| 8200 | 46 |137911 | 14.4 | 75M | 33 | 200 |8080 |1841 |1036 | 1 |7972 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.22/18.37 c 18.4s| 8300 | 50 |139411 | 14.4 | 75M | 33 | 200 |8132 |1844 |1039 | 1 |8039 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.32/18.47 c 18.5s| 8400 | 50 |140739 | 14.4 | 75M | 36 | 200 |8206 |1843 |1041 | 1 |8131 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.42/18.58 c 18.6s| 8500 | 49 |142298 | 14.4 | 75M | 36 | 200 |8300 |1841 |1041 | 0 |8243 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.52/18.66 c 18.7s| 8600 | 51 |143513 | 14.4 | 75M | 36 | 200 |8366 |1841 |1041 | 0 |8319 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.62/18.75 c 18.7s| 8700 | 53 |144686 | 14.4 | 75M | 36 | 200 |8451 |1841 |1041 | 1 |8410 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.72/18.85 c 18.8s| 8800 | 53 |145988 | 14.4 | 75M | 36 | 200 |8537 |1843 |1041 | 1 |8505 | 38 | 0.000000e+00 | -- | Inf | 94.59%
18.82/18.99 c 19.0s| 8900 | 47 |147476 | 14.4 | 75M | 36 | 200 |8607 |1840 |1052 | 0 |8605 | 38 | 0.000000e+00 | -- | Inf | 95.00%
18.92/19.09 c 19.1s| 9000 | 48 |149086 | 14.4 | 76M | 36 | 200 |8693 |1841 |1052 | 1 |8704 | 38 | 0.000000e+00 | -- | Inf | 95.01%
19.02/19.19 c 19.2s| 9100 | 46 |150436 | 14.4 | 76M | 36 | 200 |8769 |1843 |1054 | 1 |8795 | 38 | 0.000000e+00 | -- | Inf | 95.03%
19.21/19.30 c 19.3s| 9200 | 41 |151839 | 14.4 | 76M | 36 | 200 |8819 |1841 |1054 | 0 |8878 | 38 | 0.000000e+00 | -- | Inf | 95.06%
19.31/19.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.31/19.40 c 19.4s| 9300 | 41 |153193 | 14.4 | 76M | 36 | 200 |8908 |1840 |1056 | 0 |8999 | 38 | 0.000000e+00 | -- | Inf | 95.09%
19.41/19.51 c 19.5s| 9400 | 41 |154693 | 14.4 | 76M | 36 | 200 |8987 |1842 |1057 | 1 |9116 | 38 | 0.000000e+00 | -- | Inf | 95.10%
19.51/19.61 c 19.6s| 9500 | 39 |156326 | 14.4 | 76M | 36 | 200 |9049 | 0 |1057 | 0 |9211 | 38 | 0.000000e+00 | -- | Inf | 95.10%
19.71/19.83 c 19.8s| 9600 | 39 |157487 | 14.4 | 76M | 36 | 200 |9116 |1837 |1074 | 1 |9317 | 38 | 0.000000e+00 | -- | Inf | 95.64%
19.81/19.96 c 19.9s| 9700 | 36 |158814 | 14.4 | 76M | 36 | 200 |9136 |1844 |1084 | 1 |9407 | 38 | 0.000000e+00 | -- | Inf | 95.89%
19.92/20.05 c 20.0s| 9800 | 34 |160066 | 14.3 | 76M | 36 | 200 |9200 |1841 |1085 | 0 |9529 | 38 | 0.000000e+00 | -- | Inf | 95.89%
20.02/20.16 c 20.2s| 9900 | 34 |161634 | 14.3 | 76M | 36 | 200 |9293 |1841 |1088 | 1 |9659 | 38 | 0.000000e+00 | -- | Inf | 95.89%
20.11/20.26 c 20.3s| 10000 | 34 |163100 | 14.4 | 76M | 36 | 200 |9399 |1841 |1088 | 0 |9807 | 38 | 0.000000e+00 | -- | Inf | 95.89%
20.21/20.36 c 20.4s| 10100 | 34 |164567 | 14.4 | 76M | 36 | 200 |9491 |1842 |1088 | 1 |9945 | 38 | 0.000000e+00 | -- | Inf | 95.89%
20.31/20.46 c 20.5s| 10200 | 33 |165931 | 14.3 | 76M | 36 | 200 |9568 |1842 |1089 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 95.90%
20.41/20.57 c 20.6s| 10300 | 29 |167475 | 14.4 | 76M | 36 | 200 |9642 |1841 |1089 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 95.91%
20.51/20.68 c 20.7s| 10400 | 29 |168927 | 14.4 | 76M | 36 | 200 |9693 |1842 |1089 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 95.95%
20.61/20.77 c 20.8s| 10500 | 28 |170118 | 14.3 | 76M | 36 | 200 |9741 |1842 |1090 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 95.96%
20.71/20.87 c 20.9s| 10600 | 28 |171475 | 14.3 | 76M | 36 | 200 |9779 |1842 |1091 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 95.97%
20.81/20.98 c 21.0s| 10700 | 24 |172982 | 14.3 | 76M | 36 | 200 |9844 |1843 |1092 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 96.00%
20.91/21.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.91/21.08 c 21.1s| 10800 | 25 |174375 | 14.3 | 76M | 36 | 200 |9924 |1842 |1094 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 96.01%
21.01/21.19 c 21.2s| 10900 | 25 |175932 | 14.3 | 76M | 36 | 200 |9993 |1841 |1094 | 1 | 10k| 38 | 0.000000e+00 | -- | Inf | 96.01%
21.11/21.29 c 21.3s| 11000 | 23 |177408 | 14.3 | 76M | 36 | 200 | 10k|1843 |1094 | 0 | 10k| 38 | 0.000000e+00 | -- | Inf | 96.01%
21.21/21.39 c 21.4s| 11100 | 21 |178807 | 14.3 | 76M | 36 | 200 | 10k|1843 |1094 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.01%
21.41/21.50 c 21.5s| 11200 | 19 |180387 | 14.4 | 76M | 36 | 200 | 10k|1841 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.01%
21.41/21.59 c 21.6s| 11300 | 23 |181737 | 14.3 | 76M | 36 | 200 | 10k|1841 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.02%
21.60/21.70 c 21.7s| 11400 | 15 |183242 | 14.4 | 76M | 36 | 200 | 10k|1841 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.02%
21.70/21.80 c 21.8s| 11500 | 15 |184508 | 14.3 | 76M | 36 | 200 | 10k|1840 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.04%
21.80/21.91 c 21.9s| 11600 | 17 |185993 | 14.3 | 76M | 37 | 200 | 10k|1840 |1094 | 1 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.06%
21.91/22.03 c 22.0s| 11700 | 16 |187842 | 14.4 | 76M | 38 | 200 | 10k| 0 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.07%
22.01/22.14 c 22.1s| 11800 | 14 |189374 | 14.4 | 76M | 38 | 200 | 10k|1843 |1094 | 0 | 11k| 38 | 0.000000e+00 | -- | Inf | 96.07%
22.10/22.24 c 22.2s| 11900 | 13 |190644 | 14.4 | 76M | 39 | 200 | 10k|1843 |1094 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 96.08%
22.30/22.40 c 22.4s| 12000 | 13 |192471 | 14.4 | 76M | 39 | 200 | 11k|1843 |1105 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 96.47%
22.50/22.60 c 22.6s| 12100 | 13 |194145 | 14.4 | 76M | 39 | 200 | 10k|1843 |1128 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 96.86%
22.80/22.95 c 22.9s| 12200 | 18 |195605 | 14.4 | 76M | 39 | 200 | 10k|1840 |1180 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 97.51%
22.91/23.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
22.91/23.07 c 23.1s| 12300 | 16 |196846 | 14.4 | 76M | 39 | 200 | 10k|1844 |1187 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 97.73%
23.20/23.35 c 23.3s| 12400 | 15 |198599 | 14.4 | 76M | 39 | 200 | 10k|1840 |1241 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.29%
23.40/23.56 c 23.6s| 12500 | 17 |200048 | 14.4 | 76M | 39 | 200 | 10k|1838 |1267 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.50%
23.60/23.70 c 23.7s| 12600 | 16 |201702 | 14.4 | 76M | 39 | 200 | 10k|1838 |1281 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.68%
23.70/23.83 c 23.8s| 12700 | 16 |203104 | 14.4 | 76M | 39 | 200 | 10k|1842 |1292 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.80%
23.80/23.97 c 24.0s| 12800 | 17 |204592 | 14.4 | 76M | 39 | 200 | 10k|1841 |1300 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.88%
23.90/24.08 c 24.1s| 12900 | 16 |206257 | 14.5 | 76M | 39 | 200 | 10k|1842 |1302 | 0 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.91%
24.10/24.21 c 24.2s| 13000 | 18 |207768 | 14.5 | 76M | 39 | 200 | 10k|1842 |1311 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.92%
24.20/24.31 c 24.3s| 13100 | 14 |209148 | 14.5 | 76M | 39 | 200 | 10k|1841 |1311 | 1 | 12k| 38 | 0.000000e+00 | -- | Inf | 98.94%
24.29/24.42 c 24.4s| 13200 | 12 |210319 | 14.4 | 76M | 39 | 200 | 10k|1843 |1315 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 99.17%
24.39/24.55 c 24.5s| 13300 | 11 |211994 | 14.5 | 76M | 39 | 200 | 10k|1843 |1317 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 99.19%
24.49/24.66 c 24.7s| 13400 | 11 |213500 | 14.5 | 76M | 39 | 200 | 10k|1845 |1317 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 99.21%
24.69/24.84 c 24.8s| 13500 | 6 |214999 | 14.5 | 76M | 39 | 200 | 10k|1842 |1338 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 99.94%
24.79/24.96 c 25.0s| 13600 | 5 |216480 | 14.5 | 76M | 39 | 200 | 10k|1841 |1338 | 1 | 13k| 38 | 0.000000e+00 | -- | Inf | 99.97%
24.90/25.06 c 25.1s| 13700 | 1 |217796 | 14.5 | 76M | 39 | 200 |8001 |1841 |1338 | 0 | 13k| 38 | 0.000000e+00 | -- | Inf | 100.00%
24.90/25.06 c
24.90/25.06 c SCIP Status : problem is solved [infeasible]
24.90/25.06 c Solving Time (sec) : 25.06
24.90/25.06 c Solving Nodes : 13703 (total of 14898 nodes in 2 runs)
24.90/25.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
24.90/25.06 c Dual Bound : +1.00000000000000e+20
24.90/25.06 c Gap : 0.00 %
24.90/25.06 s UNSATISFIABLE
24.90/25.06 c SCIP Status : problem is solved [infeasible]
24.90/25.06 c Total Time : 25.06
24.90/25.06 c solving : 25.06
24.90/25.06 c presolving : 0.08 (included in solving)
24.90/25.06 c reading : 0.00 (included in solving)
24.90/25.06 c copying : 0.61 (106 #copies) (minimal 0.00, maximal 0.01, average 0.01)
24.90/25.06 c Original Problem :
24.90/25.06 c Problem name : HOME/instance-4495110-1751151974.opb
24.90/25.06 c Variables : 231 (231 binary, 0 integer, 0 implicit integer, 0 continuous)
24.90/25.06 c Constraints : 2707 initial, 2707 maximal
24.90/25.06 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
24.90/25.06 c Presolved Problem :
24.90/25.06 c Problem name : t_HOME/instance-4495110-1751151974.opb
24.90/25.06 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
24.90/25.06 c Constraints : 2562 initial, 11034 maximal
24.90/25.06 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
24.90/25.06 c Nonzeros : 12310 constraint, 746 clique table
24.90/25.06 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
24.90/25.06 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
24.90/25.06 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
24.90/25.06 c implics : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
24.90/25.06 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c trivial : 0.00 0.00 16 21 0 0 0 0 0 0 0 0
24.90/25.06 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c dualfix : 0.00 0.00 16 0 0 0 0 0 0 0 0 0
24.90/25.06 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
24.90/25.06 c vbounds : 0.00 0.00 2 0 10 0 0 0 0 0 0 0
24.90/25.06 c knapsack : 0.00 0.00 30 0 0 0 0 0 1 3 4 9
24.90/25.06 c setppc : 0.00 0.00 30 0 0 0 0 0 69 0 0 0
24.90/25.06 c linear : 0.02 0.00 13 0 0 0 0 0 200 0 55 0
24.90/25.06 c logicor : 0.03 0.00 27 0 0 0 0 0 905 0 0 1043
24.90/25.06 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
24.90/25.06 c root node : - - - 102 - - 102 - - - - -
24.90/25.06 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
24.90/25.06 c benderslp : 0 0 0 0 7538 0 0 595 0 0 0 0 0 0 0
24.90/25.06 c integral : 0 0 0 0 7538 0 0 595 0 0 0 0 0 0 15076
24.90/25.06 c knapsack : 5+ 6 22 56431 0 0 0 591 11304 213 40934 4 1 0 0
24.90/25.06 c setppc : 20+ 22 22 56230 0 0 0 313 119953 460 71416 0 0 0 0
24.90/25.06 c linear : 0+ 13 0 4168 0 0 0 2 0 0 20 0 0 0 0
24.90/25.06 c logicor : 2537+ 11007 22 29033 0 0 0 0 45305 201 93571 8 3 0 0
24.90/25.06 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
24.90/25.06 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c integral : 0.29 0.00 0.00 0.00 0.29 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c knapsack : 0.10 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.01 0.00
24.90/25.06 c setppc : 0.18 0.00 0.00 0.16 0.00 0.00 0.00 0.00 0.02 0.00
24.90/25.06 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c logicor : 1.24 0.00 0.01 1.20 0.00 0.00 0.00 0.00 0.02 0.00
24.90/25.06 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c Propagators : #Propagate #ResProp Cutoffs DomReds
24.90/25.06 c dualfix : 2 0 0 0
24.90/25.06 c genvbounds : 0 0 0 0
24.90/25.06 c nlobbt : 0 0 0 0
24.90/25.06 c obbt : 0 0 0 0
24.90/25.06 c probing : 0 0 0 0
24.90/25.06 c pseudoobj : 0 0 0 0
24.90/25.06 c redcost : 0 0 0 0
24.90/25.06 c rootredcost : 0 0 0 0
24.90/25.06 c symmetry : 3944 0 0 10
24.90/25.06 c vbounds : 45679 0 0 0
24.90/25.06 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
24.90/25.06 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
24.90/25.06 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
24.90/25.06 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
24.90/25.06 c symmetry : 0.04 0.00 0.01 0.03 0.00 0.00
24.90/25.06 c vbounds : 0.05 0.00 0.00 0.05 0.00 0.00
24.90/25.06 c Symmetry :
24.90/25.06 c orbitopal red. : 0 reductions applied, 0 cutoffs
24.90/25.06 c orbital reduction: 10 reductions applied, 0 cutoffs
24.90/25.06 c lexicographic red: 0 reductions applied, 0 cutoffs
24.90/25.06 c shadow tree time : 0.02 s
24.90/25.06 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
24.90/25.06 c propagation : 0.02 870 865 - 4164 14.9 17 12.9 - - -
24.90/25.06 c infeasible LP : 0.74 6727 6091 - 33041 24.2 16 12.9 14 14.6 0
24.90/25.06 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
24.90/25.06 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
24.90/25.06 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
24.90/25.06 c applied globally : 0.08 - - 0 13558 9.8 - - 14 - -
24.90/25.06 c applied locally : - - - 0 2 43.5 - - 0 - -
24.90/25.06 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
24.90/25.06 c cut pool : 0.65 - 1399 42 - - 16274 21669 - - - - - (maximal pool size: 3565)
24.90/25.06 c aggregation : 0.11 0.00 428 22 0 0 12 10 4 0 0 0 0
24.90/25.06 c > cmir : - - - - - - - 10 4 0 0 0 -
24.90/25.06 c > flowcover : - - - - - - - 0 0 0 0 0 -
24.90/25.06 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
24.90/25.06 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c clique : 0.00 0.00 22 22 0 0 1 1 0 1 1 0 0
24.90/25.06 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c gomory : 6.09 0.00 426 20 0 0 23701 21517 7481 1049 832 217 0
24.90/25.06 c > gomorymi : - - - - - - - 11383 3754 417 298 119 -
24.90/25.06 c > strongcg : - - - - - - - 10134 3727 632 534 98 -
24.90/25.06 c impliedbounds : 0.01 0.00 428 22 0 0 1 1 0 1 1 0 0
24.90/25.06 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
24.90/25.06 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c multilinear : 0.00 0.00 614 22 0 0 0 0 0 0 0 0 0
24.90/25.06 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.90/25.06 c rapidlearning : 2.37 0.00 100 2 0 4224 0 0 0 0 0 0 152
24.90/25.06 c rlt : 0.00 0.00 219 20 0 0 0 0 0 0 0 0 0
24.90/25.06 c zerohalf : 0.16 0.00 428 22 0 0 804 140 760 497 43 454 0
24.90/25.06 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
24.90/25.06 c hybrid : 0.04 0.00 495 22 1552 0 28374 68 0 6069
24.90/25.06 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c Pricers : ExecTime SetupTime Calls Vars
24.90/25.06 c problem variables: 0.00 - 0 0
24.90/25.06 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
24.90/25.06 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c random : 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c relpscost : 0.29 0.00 7538 0 0 0 0 0 0 15076
24.90/25.06 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
24.90/25.06 c Primal Heuristics : ExecTime SetupTime Calls Found Best
24.90/25.06 c LP solutions : 0.00 - - 0 0
24.90/25.06 c relax solutions : 0.00 - - 0 0
24.90/25.06 c pseudo solutions : 0.00 - - 0 0
24.90/25.06 c strong branching : 0.00 - - 0 0
24.90/25.06 c actconsdiving : 0.00 0.00 0 0 0
24.90/25.06 c adaptivediving : 0.02 0.00 4 0 0
24.90/25.06 c alns : 0.04 0.00 4 0 0
24.90/25.06 c bound : 0.00 0.00 0 0 0
24.90/25.06 c clique : 0.00 0.00 1 0 0
24.90/25.06 c coefdiving : 0.00 0.00 0 0 0
24.90/25.06 c completesol : 0.00 0.00 0 0 0
24.90/25.06 c conflictdiving : 0.03 0.00 3 0 0
24.90/25.06 c crossover : 0.00 0.00 0 0 0
24.90/25.06 c dins : 0.00 0.00 0 0 0
24.90/25.06 c distributiondivin: 0.13 0.00 2 0 0
24.90/25.06 c dps : 0.00 0.00 0 0 0
24.90/25.06 c dualval : 0.00 0.00 0 0 0
24.90/25.06 c farkasdiving : 0.00 0.00 0 0 0
24.90/25.06 c feasjump : 0.08 0.00 2 0 0
24.90/25.06 c feaspump : 0.09 0.00 2 0 0
24.90/25.06 c fixandinfer : 0.00 0.00 0 0 0
24.90/25.06 c fracdiving : 0.02 0.00 3 0 0
24.90/25.06 c gins : 0.00 0.00 0 0 0
24.90/25.06 c guideddiving : 0.00 0.00 0 0 0
24.90/25.06 c indcoefdiving : 0.00 0.00 0 0 0
24.90/25.06 c indicator : 0.00 0.00 0 0 0
24.90/25.06 c indicatordiving : 0.00 0.00 0 0 0
24.90/25.06 c indoneopt : 0.00 0.00 0 0 0
24.90/25.06 c indrounding : 0.00 0.00 0 0 0
24.90/25.06 c indtwoopt : 0.00 0.00 0 0 0
24.90/25.06 c intdiving : 0.00 0.00 0 0 0
24.90/25.06 c intshifting : 0.00 0.00 0 0 0
24.90/25.06 c linesearchdiving : 0.01 0.00 2 0 0
24.90/25.06 c localbranching : 0.00 0.00 0 0 0
24.90/25.06 c locks : 0.00 0.00 1 0 0
24.90/25.06 c lpface : 0.00 0.00 0 0 0
24.90/25.06 c mpec : 0.00 0.00 0 0 0
24.90/25.06 c multistart : 0.00 0.00 0 0 0
24.90/25.06 c mutation : 0.00 0.00 0 0 0
24.90/25.06 c nlpdiving : 0.00 0.00 0 0 0
24.90/25.06 c objpscostdiving : 0.06 0.00 2 0 0
24.90/25.06 c octane : 0.00 0.00 0 0 0
24.90/25.06 c ofins : 0.00 0.00 0 0 0
24.90/25.06 c oneopt : 0.00 0.00 0 0 0
24.90/25.06 c padm : 0.00 0.00 0 0 0
24.90/25.06 c proximity : 0.00 0.00 0 0 0
24.90/25.06 c pscostdiving : 0.02 0.00 3 0 0
24.90/25.06 c randrounding : 0.03 0.00 606 0 0
24.90/25.06 c rens : 0.02 0.00 2 0 0
24.90/25.06 c reoptsols : 0.00 0.00 0 0 0
24.90/25.06 c repair : 0.00 0.00 0 0 0
24.90/25.06 c rins : 0.00 0.00 0 0 0
24.90/25.06 c rootsoldiving : 0.03 0.00 2 0 0
24.90/25.06 c rounding : 0.05 0.00 1208 0 0
24.90/25.06 c scheduler : 0.00 0.00 0 0 0
24.90/25.06 c shiftandpropagate: 0.00 0.00 2 0 0
24.90/25.06 c shifting : 0.07 0.00 432 0 0
24.90/25.06 c simplerounding : 0.00 0.00 0 0 0
24.90/25.06 c smallcard : 0.00 0.00 0 0 0
24.90/25.06 c subnlp : 0.00 0.00 0 0 0
24.90/25.06 c trivial : 0.00 0.00 4 0 0
24.90/25.06 c trivialnegation : 0.00 0.00 0 0 0
24.90/25.06 c trustregion : 0.00 0.00 0 0 0
24.90/25.06 c trysol : 0.00 0.00 0 0 0
24.90/25.06 c twoopt : 0.00 0.00 0 0 0
24.90/25.06 c undercover : 0.00 0.00 0 0 0
24.90/25.06 c vbounds : 0.00 0.00 1 0 0
24.90/25.06 c veclendiving : 0.03 0.00 3 0 0
24.90/25.06 c zeroobj : 0.00 0.00 0 0 0
24.90/25.06 c zirounding : 0.01 0.00 1000 0 0
24.90/25.06 c other solutions : - - - 0 -
24.90/25.06 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 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
24.90/25.06 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
24.90/25.06 c primal LP : 0.05 264 0 0.00 0.00 0.05 264
24.90/25.06 c dual LP : 8.80 14795 211854 14.37 24075.77 0.01 51
24.90/25.06 c lex dual LP : 0.00 0 0 0.00 -
24.90/25.06 c barrier LP : 0.00 0 0 0.00 - 0.00 0
24.90/25.06 c resolve instable : 0.00 0 0 0.00 -
24.90/25.06 c diving/probing LP: 0.27 200 6001 30.00 21879.82
24.90/25.06 c strong branching : 0.08 38 1683 44.29 20272.71 - - 0
24.90/25.06 c (at root node) : - 38 1683 44.29 -
24.90/25.06 c conflict analysis: 0.00 0 0 0.00 -
24.90/25.06 c B&B Tree :
24.90/25.06 c number of runs : 2
24.90/25.06 c nodes : 13703 (6928 internal, 6775 leaves)
24.90/25.06 c feasible leaves : 0
24.90/25.06 c infeas. leaves : 6775
24.90/25.06 c objective leaves : 0
24.90/25.06 c nodes (total) : 14898 (7538 internal, 7360 leaves)
24.90/25.06 c nodes left : 0
24.90/25.06 c max depth : 39
24.90/25.06 c max depth (total): 39
24.90/25.06 c backtracks : 1830 (13.4%)
24.90/25.06 c early backtracks : 0 (0.0%)
24.90/25.06 c nodes exc. ref. : 0 (0.0%)
24.90/25.06 c delayed cutoffs : 154
24.90/25.06 c repropagations : 19849 (28935 domain reductions, 154 cutoffs)
24.90/25.06 c avg switch length: 4.52
24.90/25.06 c switching time : 1.18
24.90/25.06 c Root Node :
24.90/25.06 c First LP value : +0.00000000000000e+00
24.90/25.06 c First LP Iters : 95 (30934.55 Iter/sec)
24.90/25.06 c First LP Time : 0.00
24.90/25.06 c Final Dual Bound : -
24.90/25.06 c Final Root Iters : 2457
24.90/25.06 c Root LP Estimate : +2.27591605612518e-03
24.90/25.06 c Solution :
24.90/25.06 c Solutions found : 0 (0 improvements)
24.90/25.06 c Primal Bound : infeasible
24.90/25.06 c Dual Bound : -
24.90/25.06 c Gap : 0.00 %
24.90/25.06 c Integrals : Total Avg%
24.90/25.06 c primal-dual : - - (problem infeasible)
24.90/25.06 c primal-ref : - - (problem infeasible)
24.90/25.06 c dual-ref : - - (problem infeasible)
24.90/25.07 c Time complete: 24.9787.
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 (59655 MiB free)
memory of node 1: 64507 MiB (62812 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495110-1751151974/watcher-4495110-1751151974 -o /tmp/evaluation-result-4495110-1751151974/solver-4495110-1751151974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14925 --watchdog 3760 pbscip -f HOME/instance-4495110-1751151974.opb -t 3600 -j 2 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=17128, runsolver pid=17125
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125389408/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=54732 memory=29076 CPUtime=0.09 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 3972 0 0 0 9 0 0 0 20 0 1 0 30875331 56045568 7269 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 13683 7269 3840 3530 0 5134 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 29076 KiB
[startup+0.205763 s]*
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125389408/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=54732 memory=29588 CPUtime=0.19 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 3993 0 0 0 19 0 0 0 20 0 1 0 30875331 56045568 7397 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 13683 7397 3936 3530 0 5134 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 54732 KiB
Current children cumulated memory: 29588 KiB
[startup+0.305657 s]*
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125389408/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=64476 memory=37864 CPUtime=0.29 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 6286 0 0 0 29 0 0 0 20 0 1 0 30875331 66023424 9466 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 16119 9466 3936 3530 0 7570 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64476 KiB
Current children cumulated memory: 37864 KiB
[startup+0.700178 s]
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125389408/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=81208 memory=53224 CPUtime=0.68 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 10123 0 0 0 67 1 0 0 20 0 1 0 30875331 83156992 13306 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 20302 13306 3936 3530 0 11753 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81208 KiB
Current children cumulated memory: 53224 KiB
[startup+1.50017 s]
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125365476/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=101632 memory=72424 CPUtime=1.48 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 14929 0 0 0 146 2 0 0 20 0 1 0 30875331 104071168 18106 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 25408 18106 3936 3530 0 16859 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101632 KiB
Current children cumulated memory: 72424 KiB
[startup+3.10565 s]
/proc/loadavg: 4.15 4.13 4.11 5/267 17129
/proc/meminfo: memFree=125360708/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=107732 memory=78048 CPUtime=3.08 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 16922 0 0 0 306 2 0 0 20 0 1 0 30875331 110317568 19512 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 26933 19512 3936 3530 0 18384 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107732 KiB
Current children cumulated memory: 78048 KiB
[startup+6.30016 s]
/proc/loadavg: 4.14 4.13 4.11 5/267 17130
/proc/meminfo: memFree=125344588/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=113832 memory=84460 CPUtime=6.26 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 23174 0 0 0 623 3 0 0 20 0 1 0 30875331 116563968 21115 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 28458 21115 3936 3530 0 19909 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113832 KiB
Current children cumulated memory: 84460 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.11 5/267 17130
/proc/meminfo: memFree=125334760/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=121748 memory=91512 CPUtime=12.64 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32686 0 0 0 1259 5 0 0 20 0 1 0 30875331 124669952 22878 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30437 22878 3936 3530 0 21888 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 121748 KiB
Current children cumulated memory: 91512 KiB
[startup+25.0809 s]
# the end of solver process 17128 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=24.9238 s, system=0.060803 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.12 4.13 4.11 5/267 17130
/proc/meminfo: memFree=125334760/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=121748 memory=91512 CPUtime=12.74 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32686 0 0 0 1269 5 0 0 20 0 1 0 30875331 124669952 22878 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30437 22878 3936 3530 0 21888 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 121748 KiB
Current children cumulated memory: 91512 KiB
[startup+19.2002 s]
/proc/loadavg: 4.10 4.12 4.11 5/267 17130
/proc/meminfo: memFree=125330980/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=122628 memory=92152 CPUtime=19.11 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32838 0 0 0 1906 5 0 0 20 0 1 0 30875331 125571072 23038 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30657 23038 3936 3530 0 22108 0
Current children cumulated CPU time: 19.11 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 92152 KiB
[startup+22.4002 s]
/proc/loadavg: 4.10 4.12 4.11 5/267 17130
/proc/meminfo: memFree=125330980/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=122628 memory=92152 CPUtime=22.3 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32842 0 0 0 2225 5 0 0 20 0 1 0 30875331 125571072 23038 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30657 23038 3936 3530 0 22108 0
Current children cumulated CPU time: 22.3 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 92152 KiB
[startup+24.0001 s]*
/proc/loadavg: 4.10 4.12 4.10 5/267 17130
/proc/meminfo: memFree=125330980/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=122628 memory=92152 CPUtime=23.9 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32842 0 0 0 2385 5 0 0 20 0 1 0 30875331 125571072 23038 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30657 23038 3936 3530 0 22108 0
Current children cumulated CPU time: 23.9 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 92152 KiB
[startup+24.8002 s]
/proc/loadavg: 4.10 4.12 4.10 5/267 17130
/proc/meminfo: memFree=125330980/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=122628 memory=92152 CPUtime=24.69 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32842 0 0 0 2464 5 0 0 20 0 1 0 30875331 125571072 23038 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30657 23038 3936 3530 0 22108 0
Current children cumulated CPU time: 24.69 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 92152 KiB
[startup+25.0001 s]*
/proc/loadavg: 4.10 4.12 4.10 5/267 17130
/proc/meminfo: memFree=125314852/131249996 swapFree=33010684/33010684
[pid=17128] ppid=17125 vsize=122628 memory=92152 CPUtime=24.9 cores=0,2
/proc/17128/stat : 17128 (pbscip) R 17125 17128 14915 0 -1 4194304 32842 0 0 0 2485 5 0 0 20 0 1 0 30875331 125571072 23038 18446744073709551615 4235264 18693293 140732462421888 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 46968832 140732462430601 140732462430700 140732462430700 140732462436302 0
/proc/17128/statm: 30657 23038 3936 3530 0 22108 0
Current children cumulated CPU time: 24.9 s
Current children cumulated vsize: 122628 KiB
Current children cumulated memory: 92152 KiB
Child status: 0
Real time (s): 25.0809
CPU time (s): 24.9846
CPU user time (s): 24.9238
CPU system time (s): 0.060803
CPU usage (%): 99.616
Max. virtual memory (cumulated for all children) (KiB): 122628
Max. memory (cumulated for all children) (KiB): 92152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.9238
system time used= 0.060803
maximum resident set size= 92152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32848
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= 67
# summary of solver processes directly reported to runsolver:
# pid: 17128
# total CPU time (s): 24.9846
# total CPU user time (s): 24.9238
# total CPU system time (s): 0.060803
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051648 second user time and 0.158175 second system time
The end
Begin job on nodeC024 at 2025-06-29 01:06:14 IDJOB=4495110 IDBENCH=147987 IDSOLVER=3365 FILE ID=nodeC024/4495110-1751151974 RUNJOBID= nodeC024-1751144686-14925 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.1900579996.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495110-1751151974/watcher-4495110-1751151974 -o /tmp/evaluation-result-4495110-1751151974/solver-4495110-1751151974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751144686-14925 --watchdog 3760 pbscip -f HOME/instance-4495110-1751151974.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a3c0b836e0973314fbcd5a68d5736cb2 RANDOM SEED=784058803 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 : 3602.692 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.670 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 : 3599.669 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 : 3586.968 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.639 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.681 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 : 3700.000 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 : 3599.960 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: 125407100 kB MemAvailable: 125053296 kB Buffers: 3280 kB Cached: 457036 kB SwapCached: 0 kB Active: 5016128 kB Inactive: 249300 kB Active(anon): 4823176 kB Inactive(anon): 0 kB Active(file): 192952 kB Inactive(file): 249300 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 37584 kB Writeback: 36 kB AnonPages: 4806340 kB Mapped: 137524 kB Shmem: 18064 kB KReclaimable: 85096 kB Slab: 167708 kB SReclaimable: 85096 kB SUnreclaim: 82612 kB KernelStack: 4308 kB PageTables: 12708 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 6243268 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 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:40