| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 24.7617 | 24.8454 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb |
| MD5SUM | 585b31dbafa0f7a6999a9b17497812eb |
| 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 | 0.495801 |
| 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 | 10192 |
| Total number of constraints | 2383 |
| Number of constraints which are clauses | 1237 |
| Number of constraints which are cardinality constraints (but not clauses) | 821 |
| Number of constraints which are nor clauses,nor cardinality constraints | 325 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 15 |
| 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 | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 18 |
| Number of bits of the biggest sum of numbers | 5 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4542396-1753209887.opb>
0.00/0.01 c original problem has 10192 variables (10192 bin, 0 int, 0 cont) and 2383 constraints
0.00/0.01 c problem read in 0.016 seconds
0.00/0.01 c problem without objective
0.00/0.03 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.05 c (0.1s) MILP presolver found nothing
0.00/0.06 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1551 upgd conss, 0 impls, 819 clqs
0.00/0.07 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2383 upgd conss, 0 impls, 819 clqs
0.09/0.11 c (0.1s) probing: 51/10192 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.28/1.31 c (1.3s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 1033.29) (symcode time: 1.19)
1.59/1.62 c dynamic symmetry handling statistics:
1.59/1.62 c orbitopal reduction: no components
1.59/1.62 c orbital reduction: 83 components of sizes 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17, 17
1.59/1.62 c lexicographic reduction: 1411 permutations with support sizes 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 22, 22, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 22, 20, 20, 20, 22, 20, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 20, 2c 0, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 22, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 22, 22, 22, 20, 22, 22, 22, 20, 22, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 20, 22, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 22, 22, 20, 20, 22, 22, 22, 22, 20, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20,c 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 20, 20, 22, 22, 20, 20, 20, 20, 20, 22, 22, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 20, 20, 22, 20, 22, 22, 22, 22, 22, 20, 20, 20, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 2c 0, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 22, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 22, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 22, 22, 20, 20, 20, 20, 20,c 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 22, 22, 22, 22, 22, 22, 20, 20, 20, 22, 20, 20, 20, 20, 20, 22, 20, 20, 20, 20, 20, 22, 20, 20, 22, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 22, 22, 20, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 22, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 22, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 20, 2c 0, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 22, 22, 22, 22, 20, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 22, 20, 20, 20, 20, 22, 20, 20, 20, 22, 20, 22, 22, 22, 22, 22, 20, 22, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 20, 20, 20, 20, 22, 20, 22, 22, 22, 20, 22, 20, 20, 20, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 20, 20, 20, 20, 20, 20, 20, 20, 20, 22, 22, 22, 22, 22, 22, 22, 22
1.59/1.62 c handled 168 out of 168 symmetry components
1.59/1.62 c (round 3, exhaustive) 15 del vars, 0 del conss, 85 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 2383 upgd conss, 0 impls, 903 clqs
1.59/1.62 c (round 4, exhaustive) 15 del vars, 0 del conss, 85 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 2467 upgd conss, 0 impls, 903 clqs
1.59/1.63 c (round 5, exhaustive) 15 del vars, 0 del conss, 85 add conss, 0 chg bounds, 0 chg sides, 316 chg coeffs, 2467 upgd conss, 0 impls, 903 clqs
1.59/1.63 c (1.6s) probing: 56/10192 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.59/1.63 c (1.6s) probing aborted: 50/50 successive totally useless probings
1.59/1.64 c presolving (6 rounds: 6 fast, 6 medium, 6 exhaustive):
1.59/1.64 c 15 deleted vars, 0 deleted constraints, 85 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 316 changed coefficients
1.59/1.64 c 0 implications, 903 cliques
1.59/1.64 c presolved problem has 10177 variables (10177 bin, 0 int, 0 cont) and 2468 constraints
1.59/1.64 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1.59/1.64 c 327 constraints of type <knapsack>
1.59/1.64 c 903 constraints of type <setppc>
1.59/1.64 c 1 constraints of type <orbitope_pp>
1.59/1.64 c 1237 constraints of type <logicor>
1.59/1.64 c transformed objective value is always integral (scale: 1)
1.59/1.64 c Presolving Time: 1.61
1.59/1.64 c
1.59/1.64 c - non default parameters ----------------------------------------------------------------------
1.59/1.64 c
1.59/1.64 c # SCIP version 10.0.0
1.59/1.64 c
1.59/1.64 c # maximal time in seconds to run
1.59/1.64 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1.59/1.64 c limits/time = 3596.998252
1.59/1.64 c
1.59/1.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.64 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1.59/1.64 c limits/memory = 27900
1.59/1.64 c
1.59/1.64 c # belongs reading time to solving time?
1.59/1.64 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1.59/1.64 c timing/reading = TRUE
1.59/1.64 c
1.59/1.64 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
1.59/1.64 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
1.59/1.64 c reading/opbreader/maxintsize = 47
1.59/1.64 c
1.59/1.64 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
1.59/1.64 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
1.59/1.64 c propagating/genvbounds/timingmask = 0
1.59/1.64 c
1.59/1.64 c -----------------------------------------------------------------------------------------------
1.59/1.64 c
1.68/1.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.68/1.77 c 1.8s| 1 | 0 | 5480 | - | 198M | 0 | 10k|2692 |2467 | 0 | 0 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
1.89/1.95 c 2.0s| 1 | 0 | 7096 | - | 205M | 0 | 10k|2692 |2489 | 22 | 1 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.09/2.12 c 2.1s| 1 | 0 | 7162 | - | 209M | 0 | 10k|2692 |2507 | 40 | 2 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.18/2.29 c 2.3s| 1 | 0 | 7236 | - | 214M | 0 | 10k|2692 |2517 | 82 | 3 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.39/2.45 c 2.4s| 1 | 0 | 7300 | - | 220M | 0 | 10k|2692 |2532 | 129 | 4 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.59/2.61 c 2.6s| 1 | 0 | 7375 | - | 225M | 0 | 10k|2692 |2547 | 144 | 5 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.78/2.86 c 2.9s| 1 | 0 | 7463 | - | 234M | 0 | 10k|2692 |2561 | 158 | 6 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
2.99/3.04 c 3.0s| 1 | 0 | 7554 | - | 238M | 0 | 10k|2692 |2576 | 173 | 7 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
3.19/3.25 c 3.3s| 1 | 0 | 7596 | - | 246M | 0 | 10k|2692 |2590 | 187 | 8 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
3.38/3.43 c 3.4s| 1 | 0 | 7631 | - | 249M | 0 | 10k|2692 |2598 | 195 | 9 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.62 c 3.6s| 1 | 0 | 7678 | - | 254M | 0 | 10k|2692 |2605 | 210 | 10 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
3.58/3.65 c 3.7s| 1 | 0 | 7700 | - | 255M | 0 | 10k|2692 |2612 | 217 | 11 | 224 | 0 | 0.000000e+00 | -- | Inf | unknown
4.68/4.70 c 4.7s| 1 | 0 | 9135 | - | 256M | 0 | 10k|2691 |2612 | 217 | 11 | 228 | 48 | 0.000000e+00 | -- | Inf | unknown
4.68/4.72 c 4.7s| 1 | 0 | 9152 | - | 256M | 0 | 10k|2691 |2617 | 222 | 12 | 228 | 48 | 0.000000e+00 | -- | Inf | unknown
4.68/4.73 c 4.7s| 1 | 0 | 9153 | - | 256M | 0 | 10k|2691 |2572 | 223 | 13 | 228 | 48 | 0.000000e+00 | -- | Inf | unknown
5.08/5.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.08/5.14 c 5.1s| 1 | 0 | 9267 | - | 257M | 0 | 10k|2691 |2572 | 223 | 13 | 232 | 81 | 0.000000e+00 | -- | Inf | unknown
5.08/5.16 c 5.2s| 1 | 0 | 9313 | - | 257M | 0 | 10k|2691 |2576 | 227 | 14 | 232 | 81 | 0.000000e+00 | -- | Inf | unknown
5.08/5.16 c 5.2s| 1 | 0 | 9315 | - | 257M | 0 | 10k|2691 |2577 | 228 | 15 | 232 | 81 | 0.000000e+00 | -- | Inf | unknown
5.27/5.30 c 5.3s| 1 | 0 | 9378 | - | 257M | 0 | 10k|2691 |2577 | 228 | 15 | 234 | 97 | 0.000000e+00 | -- | Inf | unknown
5.27/5.32 c 5.3s| 1 | 0 | 9420 | - | 257M | 0 | 10k|2691 |2584 | 235 | 16 | 234 | 97 | 0.000000e+00 | -- | Inf | unknown
5.27/5.33 c 5.3s| 1 | 0 | 9424 | - | 257M | 0 | 10k|2691 |2532 | 237 | 17 | 234 | 97 | 0.000000e+00 | -- | Inf | unknown
5.37/5.46 c 5.5s| 1 | 0 | 9494 | - | 257M | 0 | 10k|2692 |2532 | 237 | 17 | 236 | 114 | 0.000000e+00 | -- | Inf | unknown
5.37/5.48 c 5.5s| 1 | 0 | 9506 | - | 257M | 0 | 10k|2692 |2536 | 241 | 18 | 236 | 114 | 0.000000e+00 | -- | Inf | unknown
5.37/5.48 c 5.5s| 1 | 0 | 9514 | - | 257M | 0 | 10k|2692 |2538 | 243 | 19 | 236 | 114 | 0.000000e+00 | -- | Inf | unknown
5.57/5.61 c 5.6s| 1 | 0 | 9578 | - | 257M | 0 | 10k|2692 |2538 | 243 | 19 | 238 | 130 | 0.000000e+00 | -- | Inf | unknown
5.57/5.62 c 5.6s| 1 | 0 | 9586 | - | 257M | 0 | 10k|2692 |2542 | 247 | 20 | 238 | 130 | 0.000000e+00 | -- | Inf | unknown
5.57/5.63 c 5.6s| 1 | 0 | 9589 | - | 257M | 0 | 10k|2692 |2504 | 248 | 21 | 238 | 130 | 0.000000e+00 | -- | Inf | unknown
5.67/5.77 c 5.8s| 1 | 2 | 9617 | - | 257M | 0 | 10k|2692 |2504 | 248 | 21 | 238 | 149 | 0.000000e+00 | -- | Inf | unknown
8.36/8.43 c 8.4s| 100 | 72 | 26103 | 184.4 | 277M | 14 | 10k|2744 |2507 | 546 | 3 | 330 | 149 | 0.000000e+00 | -- | Inf | 49.67%
10.26/10.35 c 10.4s| 200 | 82 | 31134 | 117.0 | 279M | 42 | 10k|2783 |2492 | 691 | 1 | 390 | 149 | 0.000000e+00 | -- | Inf | 56.87%
11.66/11.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.76/11.80 c 11.8s| 300 | 147 | 37850 | 100.4 | 282M | 42 | 10k|2844 |2505 | 807 | 1 | 463 | 149 | 0.000000e+00 | -- | Inf | 64.35%
12.75/12.80 c 12.8s| 400 | 168 | 41639 | 84.7 | 283M | 44 | 10k|2897 |2503 | 888 | 1 | 525 | 149 | 0.000000e+00 | -- | Inf | 64.55%
13.55/13.61 c 13.6s| 500 | 190 | 43976 | 72.4 | 284M | 62 | 10k|2979 | 0 | 918 | 0 | 618 | 149 | 0.000000e+00 | -- | Inf | 64.55%
13.95/14.09 c 14.1s| 600 | 203 | 44782 | 61.7 | 284M | 62 | 10k|3052 | 0 | 938 | 0 | 691 | 149 | 0.000000e+00 | -- | Inf | 64.55%
14.84/14.94 c 14.9s| 700 | 241 | 48484 | 58.1 | 286M | 62 | 10k|3105 |2508 |1052 | 1 | 744 | 149 | 0.000000e+00 | -- | Inf | 64.55%
15.34/15.47 c 15.5s| 800 | 245 | 50448 | 53.3 | 286M | 62 | 10k|3155 |2503 |1069 | 1 | 811 | 149 | 0.000000e+00 | -- | Inf | 64.55%
16.14/16.25 c 16.3s| 900 | 244 | 52539 | 49.7 | 286M | 62 | 10k|3224 | 0 |1164 | 0 | 880 | 149 | 0.000000e+00 | -- | Inf | 64.55%
16.64/16.76 c 16.8s| 1000 | 243 | 53901 | 46.1 | 286M | 62 | 10k|3295 |2503 |1193 | 1 | 952 | 149 | 0.000000e+00 | -- | Inf | 64.55%
17.14/17.22 c 17.2s| 1100 | 233 | 55152 | 43.0 | 286M | 62 | 10k|3365 |2503 |1210 | 1 |1025 | 149 | 0.000000e+00 | -- | Inf | 64.55%
17.83/17.91 c 17.9s| 1200 | 245 | 57092 | 41.1 | 287M | 62 | 10k|3421 |2516 |1314 | 3 |1081 | 149 | 0.000000e+00 | -- | Inf | 64.55%
18.33/18.46 c 18.5s| 1300 | 241 | 58516 | 39.0 | 287M | 62 | 10k|3494 |2503 |1372 | 1 |1154 | 149 | 0.000000e+00 | -- | Inf | 64.55%
19.03/19.13 c 19.1s| 1400 | 218 | 59979 | 37.3 | 287M | 62 | 10k|3568 | 0 |1469 | 0 |1232 | 149 | 0.000000e+00 | -- | Inf | 64.55%
19.63/19.72 c 19.7s| 1500 | 193 | 61356 | 35.7 | 287M | 62 | 10k|3616 |2503 |1516 | 1 |1303 | 149 | 0.000000e+00 | -- | Inf | 64.55%
20.03/20.14 c 20.1s| 1600 | 163 | 62258 | 34.0 | 287M | 62 | 10k|3665 |2505 |1516 | 1 |1420 | 149 | 0.000000e+00 | -- | Inf | 64.55%
20.42/20.58 c 20.6s| 1700 | 131 | 63805 | 32.9 | 287M | 62 | 10k|3669 | 0 |1523 | 0 |1512 | 149 | 0.000000e+00 | -- | Inf | 64.55%
21.12/21.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.12/21.21 c 21.2s| 1800 | 120 | 65712 | 32.2 | 287M | 62 | 10k|3660 |2498 |1584 | 1 |1582 | 149 | 0.000000e+00 | -- | Inf | 65.36%
21.82/21.93 c 21.9s| 1900 | 145 | 68440 | 31.9 | 289M | 62 | 10k|3498 |2498 |1623 | 1 |1644 | 149 | 0.000000e+00 | -- | Inf | 65.90%
22.61/22.77 c 22.8s| 2000 | 192 | 72116 | 32.2 | 289M | 64 | 10k|3552 |2501 |1641 | 1 |1714 | 149 | 0.000000e+00 | -- | Inf | 65.90%
23.21/23.35 c 23.3s| 2100 | 141 | 73878 | 31.5 | 290M | 67 | 10k|3650 | 0 |1653 | 0 |1848 | 149 | 0.000000e+00 | -- | Inf | 65.90%
23.61/23.77 c 23.8s| 2200 | 111 | 75496 | 30.8 | 290M | 67 | 10k|3685 |2495 |1664 | 1 |1925 | 149 | 0.000000e+00 | -- | Inf | 65.91%
23.71/23.81 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
23.71/23.82 c (run 1, node 2213) performing user restart
23.71/23.82 c
23.71/23.82 c (restart) converted 19 cuts from the global cut pool into linear constraints
23.71/23.82 c
23.71/23.85 c presolving:
23.71/23.85 c (round 1, fast) 63 del vars, 848 del conss, 1 add conss, 0 chg bounds, 4 chg sides, 263 chg coeffs, 0 upgd conss, 0 impls, 870 clqs
23.71/23.86 c (round 2, fast) 673 del vars, 1028 del conss, 13 add conss, 0 chg bounds, 4 chg sides, 271 chg coeffs, 0 upgd conss, 0 impls, 870 clqs
23.71/23.87 c (round 3, exhaustive) 673 del vars, 1029 del conss, 13 add conss, 0 chg bounds, 4 chg sides, 271 chg coeffs, 14 upgd conss, 0 impls, 879 clqs
23.71/23.87 c (round 4, exhaustive) 673 del vars, 1158 del conss, 13 add conss, 0 chg bounds, 4 chg sides, 336 chg coeffs, 14 upgd conss, 0 impls, 879 clqs
23.71/23.88 c (round 5, fast) 705 del vars, 1167 del conss, 14 add conss, 0 chg bounds, 4 chg sides, 354 chg coeffs, 14 upgd conss, 0 impls, 875 clqs
23.71/23.89 c (round 6, exhaustive) 705 del vars, 1170 del conss, 14 add conss, 0 chg bounds, 4 chg sides, 354 chg coeffs, 14 upgd conss, 0 impls, 875 clqs
23.81/23.90 c presolving (7 rounds: 7 fast, 4 medium, 4 exhaustive):
23.81/23.90 c 705 deleted vars, 1170 deleted constraints, 14 added constraints, 0 tightened bounds, 0 added holes, 4 changed sides, 369 changed coefficients
23.81/23.90 c 0 implications, 875 cliques
23.81/23.90 c presolved problem has 9472 variables (9472 bin, 0 int, 0 cont) and 2542 constraints
23.81/23.90 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
23.81/23.90 c 380 constraints of type <knapsack>
23.81/23.90 c 855 constraints of type <setppc>
23.81/23.90 c 4 constraints of type <linear>
23.81/23.90 c 1 constraints of type <orbitope_pp>
23.81/23.90 c 1302 constraints of type <logicor>
23.81/23.90 c transformed objective value is always integral (scale: 1)
23.81/23.90 c Presolving Time: 1.66
23.81/23.90 c
23.81/23.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
23.81/23.96 c 24.0s| 1 | 0 | 80080 | - | 291M | 0 |9472 |2589 |2174 | 0 | 0 |1981 | 149 | 0.000000e+00 | -- | Inf | unknown
24.11/24.23 c 24.2s| 1 | 0 | 80103 | - | 292M | 0 |9472 |2598 |2171 | 5 | 1 |1984 | 149 | 0.000000e+00 | -- | Inf | unknown
24.11/24.25 c 24.2s| 1 | 0 | 80138 | - | 293M | 0 |9472 |2597 |2175 | 9 | 2 |1985 | 149 | 0.000000e+00 | -- | Inf | unknown
24.11/24.29 c 24.3s| 1 | 0 | 80166 | - | 293M | 0 |9472 |2599 |2182 | 16 | 3 |1987 | 149 | 0.000000e+00 | -- | Inf | unknown
24.21/24.33 c 24.3s| 1 | 0 | 80179 | - | 293M | 0 |9472 |2600 |2186 | 20 | 4 |1988 | 149 | 0.000000e+00 | -- | Inf | unknown
24.21/24.37 c 24.4s| 1 | 0 | 80192 | - | 294M | 0 |9472 |2601 |2190 | 24 | 5 |1989 | 149 | 0.000000e+00 | -- | Inf | unknown
24.31/24.40 c 24.4s| 1 | 0 | 80209 | - | 294M | 0 |9472 |2601 |2195 | 29 | 6 |1989 | 149 | 0.000000e+00 | -- | Inf | unknown
24.31/24.44 c 24.4s| 1 | 0 | 80241 | - | 294M | 0 |9472 |2605 |2196 | 83 | 7 |1993 | 149 | 0.000000e+00 | -- | Inf | unknown
24.31/24.49 c 24.5s| 1 | 0 | 80262 | - | 294M | 0 |9472 |2604 |2197 | 89 | 8 |1994 | 149 | 0.000000e+00 | -- | Inf | unknown
24.41/24.53 c 24.5s| 1 | 0 | 80292 | - | 294M | 0 |9472 |2604 |2195 | 92 | 9 |1996 | 149 | 0.000000e+00 | -- | Inf | unknown
24.41/24.57 c 24.6s| 1 | 0 | 80305 | - | 294M | 0 |9472 |2603 |2199 | 96 | 10 |1996 | 149 | 0.000000e+00 | -- | Inf | unknown
24.41/24.59 c 24.6s| 1 | 0 | 80313 | - | 295M | 0 |9472 |2604 |2201 | 98 | 11 |1997 | 149 | 0.000000e+00 | -- | Inf | unknown
24.51/24.61 c 24.6s| 1 | 0 | 80316 | - | 295M | 0 |9472 |2604 |2189 | 101 | 12 |1997 | 149 | 0.000000e+00 | -- | Inf | unknown
24.51/24.62 c 24.6s| 1 | 0 | 80321 | - | 295M | 0 |9472 |2606 |2191 | 103 | 13 |1999 | 149 | 0.000000e+00 | -- | Inf | unknown
24.61/24.71 c 24.7s| 1 | 0 | 81811 | - | 296M | 0 |9472 |2567 |2191 | 103 | 13 |2007 | 151 | 0.000000e+00 | -- | Inf | unknown
24.61/24.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.61/24.72 c 24.7s| 1 | 0 | 81831 | - | 296M | 0 |9472 |2566 |2193 | 105 | 14 |2008 | 151 | 0.000000e+00 | -- | Inf | unknown
24.61/24.76 c 24.8s| 1 | 2 | 81859 | - | 296M | 0 |9472 |2567 |2193 | 105 | 15 |2009 | 158 | 0.000000e+00 | -- | Inf | unknown
24.61/24.79 c
24.61/24.79 c SCIP Status : problem is solved [infeasible]
24.61/24.79 c Solving Time (sec) : 24.79
24.61/24.79 c Solving Nodes : 10 (total of 2223 nodes in 2 runs)
24.61/24.79 c Primal Bound : +1.00000000000000e+20 (0 solutions)
24.61/24.79 c Dual Bound : +1.00000000000000e+20
24.61/24.79 c Gap : 0.00 %
24.61/24.79 s UNSATISFIABLE
24.61/24.79 c SCIP Status : problem is solved [infeasible]
24.61/24.79 c Total Time : 24.79
24.61/24.79 c solving : 24.79
24.61/24.79 c presolving : 1.66 (included in solving)
24.61/24.79 c reading : 0.02 (included in solving)
24.61/24.79 c copying : 0.09 (7 #copies) (minimal 0.01, maximal 0.01, average 0.01)
24.61/24.79 c Original Problem :
24.61/24.79 c Problem name : HOME/instance-4542396-1753209887.opb
24.61/24.79 c Variables : 10192 (10192 binary, 0 integer, 0 continuous)
24.61/24.79 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
24.61/24.79 c Constraints : 2383 initial, 2383 maximal
24.61/24.79 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
24.61/24.79 c Presolved Problem :
24.61/24.79 c Problem name : t_HOME/instance-4542396-1753209887.opb
24.61/24.79 c Variables : 9472 (9472 binary, 0 integer, 0 continuous)
24.61/24.79 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
24.61/24.79 c Constraints : 2542 initial, 2608 maximal
24.61/24.79 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
24.61/24.79 c Nonzeros : 30467 constraint, 8439 clique table
24.61/24.79 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
24.61/24.79 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c domcol : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
24.61/24.79 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.61/24.79 c gateextraction : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
24.61/24.79 c implics : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
24.61/24.79 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
24.61/24.79 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.61/24.79 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c trivial : 0.00 0.00 13 63 0 0 0 0 0 0 0 0
24.61/24.79 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c dualfix : 0.00 0.00 13 642 0 0 0 0 0 0 0 0
24.61/24.79 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c probing : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
24.61/24.79 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
24.61/24.79 c symmetry : 1.50 0.00 1 15 0 0 0 0 0 85 0 0
24.61/24.79 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
24.61/24.79 c knapsack : 0.01 0.00 30 0 0 0 0 0 20 14 2 27
24.61/24.79 c setppc : 0.02 0.00 27 0 0 0 0 0 16 0 0 0
24.61/24.79 c linear : 0.02 0.00 17 0 0 0 0 0 8 0 2 4
24.61/24.79 c orbitope_pp : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
24.61/24.79 c logicor : 0.03 0.00 27 0 0 0 0 0 1126 0 0 654
24.61/24.79 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
24.61/24.79 c root node : - - - 97 - - 97 - - - - -
24.61/24.79 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
24.61/24.79 c integral : 0 0 0 0 1283 0 0 379 0 0 9 0 0 2 2554
24.61/24.79 c knapsack : 380 380 31 18517 0 0 0 374 812 815 1429 0 0 0 0
24.61/24.79 c setppc : 855 855 31 17702 0 0 0 33 3289 17 5544 5 0 0 0
24.61/24.79 c linear : 4+ 15 14 7242 0 0 0 3 171 4 610 0 0 0 0
24.61/24.79 c orbitope_pp : 1 1 0 17581 0 0 0 11 3 4 26 0 0 0 0
24.61/24.79 c logicor : 1302+ 1364 31 5551 0 0 0 11 2054 95 2176 6 1 0 0
24.61/24.79 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
24.61/24.79 c integral : 2.03 0.00 0.00 0.00 2.03 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c knapsack : 0.09 0.00 0.02 0.04 0.00 0.00 0.00 0.03 0.00 0.00
24.61/24.79 c setppc : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.01 0.00 0.00
24.61/24.79 c linear : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c orbitope_pp : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c logicor : 0.05 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c Propagators : #Propagate #ResProp Cutoffs DomReds
24.61/24.79 c dualfix : 11 0 0 10
24.61/24.79 c genvbounds : 0 0 0 0
24.61/24.79 c nlobbt : 0 0 0 0
24.61/24.79 c obbt : 0 0 0 0
24.61/24.79 c probing : 0 0 0 0
24.61/24.79 c pseudoobj : 0 0 0 0
24.61/24.79 c redcost : 0 0 0 0
24.61/24.79 c rootredcost : 0 0 0 0
24.61/24.79 c symmetry : 9333 0 0 53258
24.61/24.79 c vbounds : 7192 0 0 0
24.61/24.79 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
24.61/24.79 c dualfix : 0.01 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
24.61/24.79 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
24.61/24.79 c symmetry : 6.20 0.00 1.50 4.70 0.00 0.00
24.61/24.79 c vbounds : 0.12 0.00 0.00 0.11 0.00 0.00
24.61/24.79 c Symmetry :
24.61/24.79 c #affected vars : 9275 (9275 bin, 0 int, 0 cont)
24.61/24.79 c orbitopal red. : 0 reductions applied, 0 cutoffs
24.61/24.79 c orbital reduction: 53258 reductions applied, 0 cutoffs
24.61/24.79 c lexicographic red: 0 reductions applied, 0 cutoffs
24.61/24.79 c shadow tree time : 0.00 s
24.61/24.79 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
24.61/24.79 c propagation : 0.01 923 869 - 1270 14.3 230 2.8 - - -
24.61/24.79 c infeasible LP : 0.12 194 214 - 439 12.2 25 9.2 194 17.5 0
24.61/24.79 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
24.61/24.79 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
24.61/24.79 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
24.61/24.79 c applied globally : 0.01 - - 20 1820 12.4 - - 194 - -
24.61/24.79 c applied locally : - - - 0 0 0.0 - - 0 - -
24.61/24.79 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
24.61/24.79 c cut pool : 0.49 - 554 64 - - 5173 32036 - - - - - (maximal pool size: 3202)
24.61/24.79 c aggregation : 0.25 0.00 225 30 0 0 10 99 0 2 2 0 0
24.61/24.79 c > cmir : - - - - - - - 89 0 0 0 0 -
24.61/24.79 c > flowcover : - - - - - - - 8 0 0 0 0 -
24.61/24.79 c > knapsackcover : - - - - - - - 2 0 2 2 0 -
24.61/24.79 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c clique : 0.11 0.00 30 30 0 0 0 0 0 0 0 0 0
24.61/24.79 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c gomory : 3.06 0.00 213 20 0 0 5277 28782 498 1038 867 171 0
24.61/24.79 c > gomorymi : - - - - - - - 10852 249 449 356 93 -
24.61/24.79 c > strongcg : - - - - - - - 17930 249 589 511 78 -
24.61/24.79 c impliedbounds : 0.05 0.00 226 30 0 11 17 64 0 49 49 0 0
24.61/24.79 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
24.61/24.79 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c multilinear : 0.00 0.00 57 30 0 0 0 0 0 0 0 0 0
24.61/24.79 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
24.61/24.79 c rapidlearning : 0.22 0.00 1 1 0 5 0 0 0 0 0 0 11
24.61/24.79 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
24.61/24.79 c zerohalf : 0.45 0.00 223 30 0 0 510 3091 143 671 624 47 0
24.61/24.79 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
24.61/24.79 c hybrid : 0.04 0.00 342 35 1600 169 30970 233 120 3363
24.61/24.79 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c Pricers : ExecTime SetupTime Calls Vars
24.61/24.79 c problem variables: 0.00 - 0 0
24.61/24.79 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
24.61/24.79 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c random : 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c relpscost : 2.03 0.00 1283 0 0 0 9 0 2 2554
24.61/24.79 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
24.61/24.79 c Primal Heuristics : ExecTime SetupTime Calls Found Best
24.61/24.79 c LP solutions : 0.00 - - 0 0
24.61/24.79 c relax solutions : 0.00 - - 0 0
24.61/24.79 c pseudo solutions : 0.00 - - 0 0
24.61/24.79 c strong branching : 0.01 - - 0 0
24.61/24.79 c actconsdiving : 0.00 0.00 0 0 0
24.61/24.79 c adaptivediving : 0.35 0.00 14 0 0
24.61/24.79 c alns : 0.84 0.00 4 0 0
24.61/24.79 c bound : 0.00 0.00 0 0 0
24.61/24.79 c clique : 0.02 0.00 1 0 0
24.61/24.79 c coefdiving : 0.00 0.00 0 0 0
24.61/24.79 c completesol : 0.00 0.00 0 0 0
24.61/24.79 c conflictdiving : 0.37 0.00 11 0 0
24.61/24.79 c crossover : 0.00 0.00 0 0 0
24.61/24.79 c dins : 0.00 0.00 0 0 0
24.61/24.79 c distributiondivin: 0.39 0.00 10 0 0
24.61/24.79 c dks : 0.00 0.00 0 0 0
24.61/24.79 c dps : 0.00 0.00 0 0 0
24.61/24.79 c dualval : 0.00 0.00 0 0 0
24.61/24.79 c farkasdiving : 0.00 0.00 0 0 0
24.61/24.79 c feaspump : 0.38 0.00 5 0 0
24.61/24.79 c fixandinfer : 0.00 0.00 0 0 0
24.61/24.79 c fracdiving : 0.28 0.00 10 0 0
24.61/24.79 c gins : 0.00 0.00 0 0 0
24.61/24.79 c guideddiving : 0.00 0.00 0 0 0
24.61/24.79 c indicator : 0.00 0.00 0 0 0
24.61/24.79 c indicatordiving : 0.00 0.00 0 0 0
24.61/24.79 c intdiving : 0.00 0.00 0 0 0
24.61/24.79 c intshifting : 0.00 0.00 0 0 0
24.61/24.79 c linesearchdiving : 0.26 0.00 10 0 0
24.61/24.79 c localbranching : 0.00 0.00 0 0 0
24.61/24.79 c locks : 0.01 0.00 1 0 0
24.61/24.79 c lpface : 0.02 0.00 0 0 0
24.61/24.79 c mpec : 0.00 0.00 0 0 0
24.61/24.79 c multistart : 0.00 0.00 0 0 0
24.61/24.79 c mutation : 0.00 0.00 0 0 0
24.61/24.79 c nlpdiving : 0.00 0.00 0 0 0
24.61/24.79 c objpscostdiving : 0.37 0.00 2 0 0
24.61/24.79 c octane : 0.00 0.00 0 0 0
24.61/24.79 c ofins : 0.00 0.00 0 0 0
24.61/24.79 c oneopt : 0.00 0.00 0 0 0
24.61/24.79 c padm : 0.00 0.00 0 0 0
24.61/24.79 c proximity : 0.00 0.00 0 0 0
24.61/24.79 c pscostdiving : 0.30 0.00 11 0 0
24.61/24.79 c randrounding : 0.20 0.00 378 0 0
24.61/24.79 c rens : 0.08 0.00 2 0 0
24.61/24.79 c reoptsols : 0.00 0.00 0 0 0
24.61/24.79 c repair : 0.00 0.00 0 0 0
24.61/24.79 c rins : 0.00 0.00 0 0 0
24.61/24.79 c rootsoldiving : 0.10 0.00 2 0 0
24.61/24.79 c rounding : 0.03 0.00 523 0 0
24.61/24.79 c scheduler : 0.00 0.00 0 0 0
24.61/24.79 c shiftandpropagate: 0.02 0.00 2 0 0
24.61/24.79 c shifting : 0.14 0.00 280 0 0
24.61/24.79 c simplerounding : 0.00 0.00 0 0 0
24.61/24.79 c subnlp : 0.00 0.00 0 0 0
24.61/24.79 c trivial : 0.01 0.00 4 0 0
24.61/24.79 c trivialnegation : 0.00 0.00 0 0 0
24.61/24.79 c trustregion : 0.00 0.00 0 0 0
24.61/24.79 c trysol : 0.00 0.00 0 0 0
24.61/24.79 c twoopt : 0.00 0.00 0 0 0
24.61/24.79 c undercover : 0.00 0.00 0 0 0
24.61/24.79 c vbounds : 0.01 0.00 2 0 0
24.61/24.79 c veclendiving : 0.25 0.00 10 0 0
24.61/24.79 c zeroobj : 0.00 0.00 0 0 0
24.61/24.79 c zirounding : 0.07 0.00 1000 0 0
24.61/24.79 c other solutions : - - - 0 -
24.61/24.79 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
24.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 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.61/24.79 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
24.61/24.79 c primal LP : 0.22 123 0 0.00 0.00 0.22 123
24.61/24.79 c dual LP : 4.85 1737 44868 26.13 9246.64 0.02 20
24.61/24.79 c lex dual LP : 0.00 0 0 0.00 -
24.61/24.79 c barrier LP : 0.00 0 0 0.00 - 0.00 0
24.61/24.79 c resolve instable : 0.00 0 0 0.00 -
24.61/24.79 c diving/probing LP: 1.51 395 37066 93.84 24525.87
24.61/24.79 c strong branching : 1.47 158 10477 66.31 7120.55 - - 0
24.61/24.79 c (at root node) : - 158 10477 66.31 -
24.61/24.79 c conflict analysis: 0.00 0 0 0.00 -
24.61/24.79 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
24.61/24.79 c benders : 0.00 0 0 0 0.00 0 0 0
24.61/24.79 c B&B Tree :
24.61/24.79 c number of runs : 2
24.61/24.79 c nodes : 10 (5 internal, 5 leaves)
24.61/24.79 c feasible leaves : 0
24.61/24.79 c infeas. leaves : 5
24.61/24.79 c objective leaves : 0
24.61/24.79 c nodes (total) : 2223 (1277 internal, 946 leaves)
24.61/24.79 c nodes left : 0
24.61/24.79 c max depth : 3
24.61/24.79 c max depth (total): 67
24.61/24.79 c backtracks : 5 (50.0%)
24.61/24.79 c early backtracks : 0 (0.0%)
24.61/24.79 c nodes exc. ref. : 0 (0.0%)
24.61/24.79 c delayed cutoffs : 1
24.61/24.79 c repropagations : 2 (1 domain reductions, 1 cutoffs)
24.61/24.79 c avg switch length: 2.80
24.61/24.79 c switching time : 0.43
24.61/24.79 c Root Node :
24.61/24.79 c First LP value : +0.00000000000000e+00
24.61/24.79 c First LP Iters : 5480 (58089.61 Iter/sec)
24.61/24.79 c First LP Time : 0.09
24.61/24.79 c Final Dual Bound : -
24.61/24.79 c Final Root Iters : 12440
24.61/24.79 c Root LP Estimate : +7.15973728704947e-04
24.61/24.79 c Solution :
24.61/24.79 c Solutions found : 0 (0 improvements)
24.61/24.79 c Primal Bound : infeasible
24.61/24.79 c Dual Bound : -
24.61/24.79 c Gap : 0.00 %
24.61/24.79 c Integrals : Total Avg%
24.61/24.79 c primal-dual : - - (problem infeasible)
24.61/24.79 c primal-ref : - - (problem infeasible)
24.61/24.79 c dual-ref : - - (problem infeasible)
24.71/24.83 c Time complete (sec): 24.752
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: 63708 MiB (59855 MiB free)
memory of node 1: 64465 MiB (61866 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542396-1753209887/watcher-4542396-1753209887 -o /tmp/evaluation-result-4542396-1753209887/solver-4542396-1753209887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158262 --watchdog 3760 pbsolver -f HOME/instance-4542396-1753209887.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=158724, runsolver pid=158721
Current StackSize limit: 8192 KiB
[startup+0.100067 s]*
/proc/loadavg: 1.87 3.45 3.86 5/265 158725
/proc/meminfo: memFree=124450820/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=60944 memory=50724 CPUtime=0.09 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 12228 0 0 0 8 1 0 0 20 0 1 0 236663247 62406656 12681 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 15236 12681 2592 2575 0 12143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60944 KiB
Current children cumulated memory: 50724 KiB
[startup+0.20567 s]*
/proc/loadavg: 1.87 3.45 3.86 5/265 158725
/proc/meminfo: memFree=124249724/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=100864 memory=74916 CPUtime=0.2 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 18280 0 0 0 18 2 0 0 20 0 1 0 236663247 103284736 18729 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 25216 18729 2592 2575 0 22123 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 100864 KiB
Current children cumulated memory: 74916 KiB
[startup+0.305606 s]*
/proc/loadavg: 1.87 3.45 3.86 5/265 158725
/proc/meminfo: memFree=124064252/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=108832 memory=82852 CPUtime=0.3 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 20291 0 0 0 28 2 0 0 20 0 1 0 236663247 111443968 20713 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 27208 20713 2592 2575 0 24115 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108832 KiB
Current children cumulated memory: 82852 KiB
[startup+0.700174 s]
/proc/loadavg: 1.87 3.45 3.86 5/265 158725
/proc/meminfo: memFree=123718092/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=126760 memory=100900 CPUtime=0.68 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 24776 0 0 0 66 2 0 0 20 0 1 0 236663247 129802240 25225 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 31690 25225 2592 2575 0 28597 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126760 KiB
Current children cumulated memory: 100900 KiB
[startup+1.50018 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=122854856/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=201784 memory=175268 CPUtime=1.49 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 43371 0 0 0 143 6 0 0 20 0 1 0 236663247 206626816 43817 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 50446 43817 2592 2575 0 47353 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 201784 KiB
Current children cumulated memory: 175268 KiB
[startup+3.10558 s]
/proc/loadavg: 2.12 3.47 3.87 5/265 158726
/proc/meminfo: memFree=120504492/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=276676 memory=243704 CPUtime=3.08 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 58775 0 0 0 300 8 0 0 20 0 1 0 236663247 283316224 60926 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 69169 60926 2688 2575 0 66076 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 276676 KiB
Current children cumulated memory: 243704 KiB
[startup+6.30017 s]
/proc/loadavg: 2.27 3.48 3.87 5/265 158726
/proc/meminfo: memFree=117247812/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=325164 memory=289144 CPUtime=6.27 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 70197 0 0 0 617 10 0 0 20 0 1 0 236663247 332967936 72286 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 81291 72286 2688 2575 0 78198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 325164 KiB
Current children cumulated memory: 289144 KiB
[startup+12.7002 s]
/proc/loadavg: 2.41 3.49 3.87 5/265 158726
/proc/meminfo: memFree=114443312/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=360064 memory=327584 CPUtime=12.65 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 80403 0 0 0 1253 12 0 0 20 0 1 0 236663247 368705536 81896 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 90016 81896 2688 2575 0 86923 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 360064 KiB
Current children cumulated memory: 327584 KiB
[startup+24.8453 s]
# the end of solver process 158724 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=24.6151 s, system=0.146563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 2.41 3.49 3.87 5/265 158726
/proc/meminfo: memFree=114443312/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=360064 memory=327584 CPUtime=12.75 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 80403 0 0 0 1263 12 0 0 20 0 1 0 236663247 368705536 81896 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 90016 81896 2688 2575 0 86923 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 360064 KiB
Current children cumulated memory: 327584 KiB
[startup+19.2002 s]
/proc/loadavg: 2.54 3.50 3.87 5/265 158726
/proc/meminfo: memFree=112920936/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=360064 memory=327712 CPUtime=19.13 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 80413 0 0 0 1901 12 0 0 20 0 1 0 236663247 368705536 81928 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 90016 81928 2688 2575 0 86923 0
Current children cumulated CPU time: 19.13 s
Current children cumulated vsize: 360064 KiB
Current children cumulated memory: 327712 KiB
[startup+22.4002 s]
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112459140/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=360064 memory=327712 CPUtime=22.32 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 80413 0 0 0 2220 12 0 0 20 0 1 0 236663247 368705536 81928 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 90016 81928 2688 2575 0 86923 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 360064 KiB
Current children cumulated memory: 327712 KiB
[startup+24.0002 s]*
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112475460/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=356652 memory=324488 CPUtime=23.91 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 80924 0 0 0 2379 12 0 0 20 0 1 0 236663247 365211648 81122 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 89163 81122 2688 2575 0 86070 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 356652 KiB
Current children cumulated memory: 324488 KiB
[startup+24.4002 s]
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112475460/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=366776 memory=333832 CPUtime=24.31 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 83253 0 0 0 2418 13 0 0 20 0 1 0 236663247 375578624 83458 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 91694 83458 2688 2575 0 88601 0
Current children cumulated CPU time: 24.31 s
Current children cumulated vsize: 366776 KiB
Current children cumulated memory: 333832 KiB
[startup+24.8002 s]
/proc/loadavg: 2.66 3.51 3.87 5/265 158726
/proc/meminfo: memFree=112475460/131249992 swapFree=33009392/33010684
[pid=158724] ppid=158721 vsize=366776 memory=333960 CPUtime=24.71 cores=1,3
/proc/158724/stat : 158724 (pbsolver) R 158721 158724 158250 0 -1 4194304 83274 0 0 0 2458 13 0 0 20 0 1 0 236663247 375578624 83490 18446744073709551615 4198400 14743177 140731611438304 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49954816 140731611445640 140731611445736 140731611445736 140731611451340 0
/proc/158724/statm: 91694 83490 2688 2575 0 88601 0
Current children cumulated CPU time: 24.71 s
Current children cumulated vsize: 366776 KiB
Current children cumulated memory: 333960 KiB
Child status: 0
Real time (s): 24.8454
CPU time (s): 24.7617
CPU user time (s): 24.6151
CPU system time (s): 0.146563
CPU usage (%): 99.6632
Max. virtual memory (cumulated for all children) (KiB): 366776
Max. memory (cumulated for all children) (KiB): 333960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6151
system time used= 0.146563
maximum resident set size= 333960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83274
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 33
# summary of solver processes directly reported to runsolver:
# pid: 158724
# total CPU time (s): 24.7617
# total CPU user time (s): 24.6151
# total CPU system time (s): 0.146563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.071426 second user time and 0.132337 second system time
The end
Begin job on nodeC035 at 2025-07-22 20:44:47 IDJOB=4542396 IDBENCH=163924 IDSOLVER=3366 FILE ID=nodeC035/4542396-1753209887 RUNJOBID= nodeC035-1753209881-158262 SLURM_JOB_ID= 9687779 Free space on /tmp= 432320 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542396-1753209887/watcher-4542396-1753209887 -o /tmp/evaluation-result-4542396-1753209887/solver-4542396-1753209887 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158262 --watchdog 3760 pbsolver -f HOME/instance-4542396-1753209887.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 585b31dbafa0f7a6999a9b17497812eb RANDOM SEED=1205459289 nodeC035 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.777 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.51 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.750 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.51 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 : 3586.891 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.51 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 : 3601.744 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.51 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.817 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.51 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.793 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.51 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.976 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3613.050 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 124740784 kB MemAvailable: 127082124 kB Buffers: 664 kB Cached: 3092616 kB SwapCached: 336 kB Active: 3537168 kB Inactive: 2222348 kB Active(anon): 2673244 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2203440 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 163340 kB Writeback: 0 kB AnonPages: 2669296 kB Mapped: 137536 kB Shmem: 25904 kB KReclaimable: 226432 kB Slab: 321872 kB SReclaimable: 226432 kB SUnreclaim: 95440 kB KernelStack: 4336 kB PageTables: 7668 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3159172 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 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: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432304 MiB End job on nodeC035 at 2025-07-22 20:45:12