| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 1359.45 | 1362.44 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP065.shuf-3.opb |
| MD5SUM | ff63d464810e05f4e638d683112dc5a7 |
| 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 | 1.4335 |
| 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 | 11055 |
| Total number of constraints | 2212 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 3 |
| Number of constraints which are nor clauses,nor cardinality constraints | 2209 |
| Minimum length of a constraint | 5 |
| 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 | 9 |
| Number of bits of the biggest number in a constraint | 4 |
| Biggest sum of numbers in a constraint | 29 |
| 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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4452815-1721450829.opb>
0.00/0.02 c original problem has 11055 variables (11055 bin, 0 int, 0 impl, 0 cont) and 2212 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver found nothing
0.00/0.09 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 2136 upgd conss, 0 impls, 0 clqs
0.10/0.11 c (round 3, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 2190 upgd conss, 0 impls, 0 clqs
0.10/0.11 c (round 4, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 2212 upgd conss, 0 impls, 0 clqs
0.10/0.16 c (0.2s) probing: 51/11055 (0.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.16 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.10/0.17 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1358.20/1361.24 c (1361.2s) symmetry computation finished: 1500 generators found (max: 1500, log10 of symmetry group size: 4520.0) (symcode time: 1361.05)
1358.40/1361.44 c dynamic symmetry handling statistics:
1358.40/1361.44 c orbitopal reduction: no components
1358.40/1361.44 c orbital reduction: 356 components of sizes 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, c 3, 3, 3, 3, 3, 3, 3, 1, 3, 3, 3, 3, 3, 3, 3, 3, 3, 1, 2, 1, 2, 2, 1, 3, 3, 2, 3, 3, 1, 2, 3, 2, 3
1358.40/1361.44 c lexicographic reduction: 1436 permutations with support sizes 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2c , 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, c 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2
1358.40/1361.44 c handled 375 out of 375 symmetry components
1358.40/1361.44 c (round 5, exhaustive) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 2212 upgd conss, 0 impls, 64 clqs
1358.40/1361.44 c (round 6, exhaustive) 0 del vars, 0 del conss, 64 add conss, 0 chg bounds, 67 chg sides, 0 chg coeffs, 2276 upgd conss, 0 impls, 64 clqs
1358.40/1361.46 c presolving (7 rounds: 7 fast, 6 medium, 6 exhaustive):
1358.40/1361.46 c 0 deleted vars, 0 deleted constraints, 64 added constraints, 0 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
1358.40/1361.46 c 0 implications, 64 cliques
1358.40/1361.46 c presolved problem has 11055 variables (11055 bin, 0 int, 0 impl, 0 cont) and 2276 constraints
1358.40/1361.46 c 2212 constraints of type <knapsack>
1358.40/1361.46 c 64 constraints of type <setppc>
1358.40/1361.46 c transformed objective value is always integral (scale: 1)
1358.40/1361.46 c Presolving Time: 1361.42
1358.40/1361.46 c - non default parameters ----------------------------------------------------------------------
1358.40/1361.46 c # SCIP version 10.0.0
1358.40/1361.46 c
1358.40/1361.46 c # maximal time in seconds to run
1358.40/1361.46 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
1358.40/1361.46 c limits/time = 3596.998007
1358.40/1361.46 c
1358.40/1361.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1358.40/1361.46 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
1358.40/1361.46 c limits/memory = 27900
1358.40/1361.46 c
1358.40/1361.46 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
1358.40/1361.46 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
1358.40/1361.46 c limits/solutions = 1
1358.40/1361.46 c
1358.40/1361.46 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.
1358.40/1361.46 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
1358.40/1361.46 c misc/usesymmetry = 3
1358.40/1361.46 c
1358.40/1361.46 c # belongs reading time to solving time?
1358.40/1361.46 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
1358.40/1361.46 c timing/reading = TRUE
1358.40/1361.46 c
1358.40/1361.46 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
1358.40/1361.46 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1358.40/1361.46 c propagating/symmetry/detectdoublelex = FALSE
1358.40/1361.46 c
1358.40/1361.46 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
1358.40/1361.46 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1358.40/1361.46 c propagating/symmetry/detectsubgroups = FALSE
1358.40/1361.46 c
1358.40/1361.46 c # Type of symmetries that shall be computed?
1358.40/1361.46 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
1358.40/1361.46 c propagating/symmetry/symtype = 1
1358.40/1361.46 c
1358.40/1361.46 c # Should components consisting of a single full reflection be handled?
1358.40/1361.46 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
1358.40/1361.46 c propagating/symmetry/usesimplesgncomp = FALSE
1358.40/1361.46 c
1358.40/1361.46 c -----------------------------------------------------------------------------------------------
1358.40/1361.46 c start solving
1358.40/1361.46 c
1359.30/1362.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1359.30/1362.39 c 1362s| 1 | 0 | 11534 | - | 219M | 0 | 11k|2286 |2276 | 0 | 0 | 9 | 0 | cutoff | -- | 0.00%| unknown
1359.30/1362.39 c 1362s| 1 | 0 | 11534 | - | 219M | 0 | 11k|2286 |2276 | 0 | 0 | 9 | 0 | cutoff | -- | 0.00%| unknown
1359.30/1362.39 c
1359.30/1362.39 c SCIP Status : problem is solved [infeasible]
1359.30/1362.39 c Solving Time (sec) : 1362.39
1359.30/1362.39 c Solving Nodes : 1
1359.30/1362.39 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1359.30/1362.39 c Dual Bound : +1.00000000000000e+20
1359.30/1362.39 c Gap : 0.00 %
1359.30/1362.39 s UNSATISFIABLE
1359.30/1362.39 c SCIP Status : problem is solved [infeasible]
1359.30/1362.39 c Total Time : 1362.39
1359.30/1362.39 c solving : 1362.39
1359.30/1362.39 c presolving : 1361.42 (included in solving)
1359.30/1362.39 c reading : 0.02 (included in solving)
1359.30/1362.39 c copying : 0.00 (0 times copied the problem)
1359.30/1362.39 c Original Problem :
1359.30/1362.39 c Problem name : HOME/instance-4452815-1721450829.opb
1359.30/1362.39 c Variables : 11055 (11055 binary, 0 integer, 0 implicit integer, 0 continuous)
1359.30/1362.39 c Constraints : 2212 initial, 2212 maximal
1359.30/1362.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1359.30/1362.39 c Presolved Problem :
1359.30/1362.39 c Problem name : t_HOME/instance-4452815-1721450829.opb
1359.30/1362.39 c Variables : 11055 (11055 binary, 0 integer, 0 implicit integer, 0 continuous)
1359.30/1362.39 c Constraints : 2276 initial, 2286 maximal
1359.30/1362.39 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
1359.30/1362.39 c Nonzeros : 32638 constraint, 128 clique table
1359.30/1362.39 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1359.30/1362.39 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c domcol : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c symmetry : 1361.27 0.00 1 0 0 0 0 0 0 64 0 0
1359.30/1362.39 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c knapsack : 0.02 0.00 15 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c linear : 0.03 0.00 9 0 0 0 0 0 0 0 67 0
1359.30/1362.39 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c root node : - - - 0 - - 0 - - - - -
1359.30/1362.39 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1359.30/1362.39 c benderslp : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
1359.30/1362.39 c integral : 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0
1359.30/1362.39 c knapsack : 2212 2212 0 317 0 0 0 3 269 7 0 0 0 0 0
1359.30/1362.39 c setppc : 64 64 0 164 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c logicor : 0+ 10 0 5 0 0 0 0 1 0 0 0 0 0 0
1359.30/1362.39 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1359.30/1362.39 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c knapsack : 0.03 0.00 0.01 0.02 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c Propagators : #Propagate #ResProp Cutoffs DomReds
1359.30/1362.39 c dualfix : 1 0 0 0
1359.30/1362.39 c genvbounds : 0 0 0 0
1359.30/1362.39 c nlobbt : 0 0 0 0
1359.30/1362.39 c obbt : 0 0 0 0
1359.30/1362.39 c probing : 0 0 0 0
1359.30/1362.39 c pseudoobj : 0 0 0 0
1359.30/1362.39 c redcost : 0 0 0 0
1359.30/1362.39 c rootredcost : 0 0 0 0
1359.30/1362.39 c symmetry : 0 0 0 0
1359.30/1362.39 c vbounds : 74 0 0 0
1359.30/1362.39 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1359.30/1362.39 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
1359.30/1362.39 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c symmetry : 1361.27 0.00 1361.27 0.00 0.00 0.00
1359.30/1362.39 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1359.30/1362.39 c Symmetry :
1359.30/1362.39 c orbitopal red. : 0 reductions applied, 0 cutoffs
1359.30/1362.39 c orbital reduction: 0 reductions applied, 0 cutoffs
1359.30/1362.39 c lexicographic red: 0 reductions applied, 0 cutoffs
1359.30/1362.39 c shadow tree time : 0.00 s
1359.30/1362.39 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1359.30/1362.39 c propagation : 0.00 5 5 - 9 6.4 0 0.0 - - -
1359.30/1362.39 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1359.30/1362.39 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
1359.30/1362.39 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1359.30/1362.39 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1359.30/1362.39 c applied globally : 0.00 - - 0 9 6.4 - - 0 - -
1359.30/1362.39 c applied locally : - - - 0 0 0.0 - - 0 - -
1359.30/1362.39 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1359.30/1362.39 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
1359.30/1362.39 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c > cmir : - - - - - - - 0 0 0 0 0 -
1359.30/1362.39 c > flowcover : - - - - - - - 0 0 0 0 0 -
1359.30/1362.39 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
1359.30/1362.39 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c > gomorymi : - - - - - - - 0 0 0 0 0 -
1359.30/1362.39 c > strongcg : - - - - - - - 0 0 0 0 0 -
1359.30/1362.39 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1359.30/1362.39 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1359.30/1362.39 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c Pricers : ExecTime SetupTime Calls Vars
1359.30/1362.39 c problem variables: 0.00 - 0 0
1359.30/1362.39 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1359.30/1362.39 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1359.30/1362.39 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1359.30/1362.39 c LP solutions : 0.00 - - 0 0
1359.30/1362.39 c relax solutions : 0.00 - - 0 0
1359.30/1362.39 c pseudo solutions : 0.00 - - 0 0
1359.30/1362.39 c strong branching : 0.00 - - 0 0
1359.30/1362.39 c actconsdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c adaptivediving : 0.00 0.00 0 0 0
1359.30/1362.39 c alns : 0.00 0.00 0 0 0
1359.30/1362.39 c bound : 0.00 0.00 0 0 0
1359.30/1362.39 c clique : 0.02 0.00 1 0 0
1359.30/1362.39 c coefdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c completesol : 0.00 0.00 0 0 0
1359.30/1362.39 c conflictdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c crossover : 0.00 0.00 0 0 0
1359.30/1362.39 c dins : 0.00 0.00 0 0 0
1359.30/1362.39 c distributiondivin: 0.00 0.00 0 0 0
1359.30/1362.39 c dps : 0.00 0.00 0 0 0
1359.30/1362.39 c dualval : 0.00 0.00 0 0 0
1359.30/1362.39 c farkasdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c feasjump : 0.02 0.00 1 0 0
1359.30/1362.39 c feaspump : 0.00 0.00 0 0 0
1359.30/1362.39 c fixandinfer : 0.00 0.00 0 0 0
1359.30/1362.39 c fracdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c gins : 0.00 0.00 0 0 0
1359.30/1362.39 c guideddiving : 0.00 0.00 0 0 0
1359.30/1362.39 c indcoefdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c indicator : 0.00 0.00 0 0 0
1359.30/1362.39 c indicatordiving : 0.00 0.00 0 0 0
1359.30/1362.39 c indoneopt : 0.00 0.00 0 0 0
1359.30/1362.39 c indrounding : 0.00 0.00 0 0 0
1359.30/1362.39 c indtwoopt : 0.00 0.00 0 0 0
1359.30/1362.39 c intdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c intshifting : 0.00 0.00 0 0 0
1359.30/1362.39 c linesearchdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c localbranching : 0.00 0.00 0 0 0
1359.30/1362.39 c locks : 0.00 0.00 1 0 0
1359.30/1362.39 c lpface : 0.00 0.00 0 0 0
1359.30/1362.39 c mpec : 0.00 0.00 0 0 0
1359.30/1362.39 c multistart : 0.00 0.00 0 0 0
1359.30/1362.39 c mutation : 0.00 0.00 0 0 0
1359.30/1362.39 c nlpdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c objpscostdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c octane : 0.00 0.00 0 0 0
1359.30/1362.39 c ofins : 0.00 0.00 0 0 0
1359.30/1362.39 c oneopt : 0.00 0.00 0 0 0
1359.30/1362.39 c padm : 0.00 0.00 0 0 0
1359.30/1362.39 c proximity : 0.00 0.00 0 0 0
1359.30/1362.39 c pscostdiving : 0.00 0.00 0 0 0
1359.30/1362.39 c randrounding : 0.00 0.00 0 0 0
1359.30/1362.39 c rens : 0.00 0.00 0 0 0
1359.30/1362.39 c reoptsols : 0.00 0.00 0 0 0
1359.30/1362.39 c repair : 0.00 0.00 0 0 0
1359.30/1362.39 c rins : 0.00 0.00 0 0 0
1359.30/1362.39 c rootsoldiving : 0.00 0.00 0 0 0
1359.30/1362.39 c rounding : 0.00 0.00 0 0 0
1359.30/1362.39 c scheduler : 0.00 0.00 0 0 0
1359.30/1362.39 c shiftandpropagate: 0.01 0.00 1 0 0
1359.30/1362.39 c shifting : 0.00 0.00 0 0 0
1359.30/1362.39 c simplerounding : 0.00 0.00 0 0 0
1359.30/1362.39 c smallcard : 0.00 0.00 0 0 0
1359.30/1362.39 c subnlp : 0.00 0.00 0 0 0
1359.30/1362.39 c trivial : 0.00 0.00 2 0 0
1359.30/1362.39 c trivialnegation : 0.00 0.00 0 0 0
1359.30/1362.39 c trustregion : 0.00 0.00 0 0 0
1359.30/1362.39 c trysol : 0.00 0.00 0 0 0
1359.30/1362.39 c twoopt : 0.00 0.00 0 0 0
1359.30/1362.39 c undercover : 0.00 0.00 0 0 0
1359.30/1362.39 c vbounds : 0.00 0.00 0 0 0
1359.30/1362.39 c veclendiving : 0.00 0.00 0 0 0
1359.30/1362.39 c zeroobj : 0.00 0.00 0 0 0
1359.30/1362.39 c zirounding : 0.00 0.00 0 0 0
1359.30/1362.39 c other solutions : - - - 0 -
1359.30/1362.39 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 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
1359.30/1362.39 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1359.30/1362.39 c primal LP : 0.00 0 0 0.00 - 0.00 0
1359.30/1362.39 c dual LP : 0.88 3 11534 5767.00 13169.88 0.00 1
1359.30/1362.39 c lex dual LP : 0.00 0 0 0.00 -
1359.30/1362.39 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1359.30/1362.39 c resolve instable : 0.00 0 0 0.00 -
1359.30/1362.39 c diving/probing LP: 0.00 0 0 0.00 -
1359.30/1362.39 c strong branching : 0.00 0 0 0.00 - - - 0
1359.30/1362.39 c (at root node) : - 0 0 0.00 -
1359.30/1362.39 c conflict analysis: 0.00 0 0 0.00 -
1359.30/1362.39 c B&B Tree :
1359.30/1362.39 c number of runs : 1
1359.30/1362.39 c nodes : 1 (0 internal, 1 leaves)
1359.30/1362.39 c feasible leaves : 0
1359.30/1362.39 c infeas. leaves : 1
1359.30/1362.39 c objective leaves : 0
1359.30/1362.39 c nodes (total) : 1 (0 internal, 1 leaves)
1359.30/1362.39 c nodes left : 0
1359.30/1362.39 c max depth : 0
1359.30/1362.39 c max depth (total): 0
1359.30/1362.39 c backtracks : 0 (0.0%)
1359.30/1362.39 c early backtracks : 0 (0.0%)
1359.30/1362.39 c nodes exc. ref. : 0 (0.0%)
1359.30/1362.39 c delayed cutoffs : 0
1359.30/1362.39 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1359.30/1362.39 c avg switch length: 2.00
1359.30/1362.39 c switching time : 0.00
1359.30/1362.39 c Root Node :
1359.30/1362.39 c First LP value : -
1359.30/1362.39 c First LP Iters : 0
1359.30/1362.39 c First LP Time : 0.88
1359.30/1362.39 c Final Dual Bound : -
1359.30/1362.39 c Final Root Iters : 11534
1359.30/1362.39 c Root LP Estimate : -
1359.30/1362.39 c Solution :
1359.30/1362.39 c Solutions found : 0 (0 improvements)
1359.30/1362.39 c Primal Bound : infeasible
1359.30/1362.39 c Dual Bound : -
1359.30/1362.39 c Gap : 0.00 %
1359.30/1362.39 c Integrals : Total Avg%
1359.30/1362.39 c primal-dual : - - (problem infeasible)
1359.30/1362.39 c primal-ref : - - (problem infeasible)
1359.30/1362.39 c dual-ref : - - (problem infeasible)
1359.39/1362.43 c Time complete: 1359.44.
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: 63968 MiB (61955 MiB free)
memory of node 1: 64473 MiB (59704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452815-1721450829/watcher-4452815-1721450829 -o /tmp/evaluation-result-4452815-1721450829/solver-4452815-1721450829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044305 --watchdog 3760 pbscip -f HOME/instance-4452815-1721450829.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1046423, runsolver pid=1046420
[startup+0.105001 s]*
/proc/loadavg: 4.14 4.11 4.07 5/254 1046424
/proc/meminfo: memFree=124526520/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=107448 memory=66996 CPUtime=0.1 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 14767 0 0 0 8 2 0 0 20 0 1 0 197247894 110026752 16749 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 26862 16749 3700 3540 0 15119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107448 KiB
Current children cumulated memory: 66996 KiB
[startup+0.205333 s]*
/proc/loadavg: 4.14 4.11 4.07 5/254 1046424
/proc/meminfo: memFree=124505524/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=149236 memory=93004 CPUtime=0.2 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 20690 0 0 0 17 3 0 0 20 0 1 0 197247894 152817664 23251 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 37309 23251 3764 3540 0 25566 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 149236 KiB
Current children cumulated memory: 93004 KiB
[startup+0.305249 s]*
/proc/loadavg: 4.14 4.11 4.07 6/254 1046424
/proc/meminfo: memFree=124491272/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=161964 memory=102504 CPUtime=0.29 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 23152 0 0 0 26 3 0 0 20 0 1 0 197247894 165851136 25626 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 40491 25626 3764 3540 0 28748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 161964 KiB
Current children cumulated memory: 102504 KiB
[startup+0.700205 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 1046424
/proc/meminfo: memFree=124470636/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=196100 memory=136824 CPUtime=0.68 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 31693 0 0 0 63 5 0 0 20 0 1 0 197247894 200806400 34206 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 49025 34206 3764 3540 0 37282 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 196100 KiB
Current children cumulated memory: 136824 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 1046424
/proc/meminfo: memFree=124447980/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=208452 memory=151540 CPUtime=1.49 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 34847 0 0 0 143 6 0 0 20 0 1 0 197247894 213454848 37885 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 52113 37885 3764 3540 0 40370 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 208452 KiB
Current children cumulated memory: 151540 KiB
[startup+3.10531 s]
/proc/loadavg: 4.13 4.11 4.07 4/251 1046438
/proc/meminfo: memFree=125000664/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=221756 memory=164736 CPUtime=3.08 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 38164 0 0 0 302 6 0 0 20 0 1 0 197247894 227078144 41184 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 55439 41184 3764 3540 0 43696 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 221756 KiB
Current children cumulated memory: 164736 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.11 4.07 5/254 1046471
/proc/meminfo: memFree=124876400/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=237912 memory=182424 CPUtime=6.27 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 42572 0 0 0 620 7 0 0 20 0 1 0 197247894 243621888 45606 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 59478 45606 3764 3540 0 47735 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 237912 KiB
Current children cumulated memory: 182424 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.11 4.07 5/254 1046472
/proc/meminfo: memFree=124830488/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=260720 memory=204864 CPUtime=12.66 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 48233 0 0 0 1257 9 0 0 20 0 1 0 197247894 266977280 51216 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 65180 51216 3764 3540 0 53437 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 260720 KiB
Current children cumulated memory: 204864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.07 5/254 1046475
/proc/meminfo: memFree=124767952/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=292080 memory=236280 CPUtime=25.43 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 56032 0 0 0 2532 11 0 0 20 0 1 0 197247894 299089920 59070 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 73020 59070 3764 3540 0 61277 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 292080 KiB
Current children cumulated memory: 236280 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.07 5/254 1046478
/proc/meminfo: memFree=124745552/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307288 memory=251328 CPUtime=50.98 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59834 0 0 0 5085 13 0 0 20 0 1 0 197247894 314662912 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76822 62832 3764 3540 0 65079 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 307288 KiB
Current children cumulated memory: 251328 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/254 1046487
/proc/meminfo: memFree=124745216/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307300 memory=251328 CPUtime=102.06 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59837 0 0 0 10191 15 0 0 20 0 1 0 197247894 314675200 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76825 62832 3764 3540 0 65082 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 307300 KiB
Current children cumulated memory: 251328 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/254 1046497
/proc/meminfo: memFree=124744760/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307308 memory=251328 CPUtime=161.93 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59839 0 0 0 16175 18 0 0 20 0 1 0 197247894 314683392 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76827 62832 3764 3540 0 65084 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 307308 KiB
Current children cumulated memory: 251328 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/256 1046512
/proc/meminfo: memFree=124744176/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307316 memory=251328 CPUtime=221.8 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59841 0 0 0 22159 21 0 0 20 0 1 0 197247894 314691584 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76829 62832 3764 3540 0 65086 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 307316 KiB
Current children cumulated memory: 251328 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/256 1046522
/proc/meminfo: memFree=124743624/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307324 memory=251328 CPUtime=281.67 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59843 0 0 0 28143 24 0 0 20 0 1 0 197247894 314699776 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76831 62832 3764 3540 0 65088 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 307324 KiB
Current children cumulated memory: 251328 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 1046532
/proc/meminfo: memFree=124743148/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307332 memory=251328 CPUtime=341.54 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59845 0 0 0 34127 27 0 0 20 0 1 0 197247894 314707968 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76833 62832 3764 3540 0 65090 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 307332 KiB
Current children cumulated memory: 251328 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.13 4.09 5/256 1046543
/proc/meminfo: memFree=124742672/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307336 memory=251328 CPUtime=401.41 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59846 0 0 0 40111 30 0 0 20 0 1 0 197247894 314712064 62832 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76834 62832 3764 3540 0 65091 0
Current children cumulated CPU time: 401.41 s
Current children cumulated vsize: 307336 KiB
Current children cumulated memory: 251328 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/257 1046555
/proc/meminfo: memFree=124742204/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307340 memory=251580 CPUtime=461.27 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59921 0 0 0 46095 32 0 0 20 0 1 0 197247894 314716160 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76835 62895 3764 3540 0 65092 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.09 5/255 1047003
/proc/meminfo: memFree=123257064/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307352 memory=251580 CPUtime=581 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59929 0 0 0 58065 35 0 0 20 0 1 0 197247894 314728448 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76838 62895 3764 3540 0 65095 0
Current children cumulated CPU time: 581 s
Current children cumulated vsize: 307352 KiB
Current children cumulated memory: 251580 KiB
[startup+642.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 1047015
/proc/meminfo: memFree=123252724/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307356 memory=251580 CPUtime=640.87 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59932 0 0 0 64051 36 0 0 20 0 1 0 197247894 314732544 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76839 62895 3764 3540 0 65096 0
Current children cumulated CPU time: 640.87 s
Current children cumulated vsize: 307356 KiB
Current children cumulated memory: 251580 KiB
[startup+702.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1047195
/proc/meminfo: memFree=123252092/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307360 memory=251580 CPUtime=700.74 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59935 0 0 0 70038 36 0 0 20 0 1 0 197247894 314736640 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76840 62895 3764 3540 0 65097 0
Current children cumulated CPU time: 700.74 s
Current children cumulated vsize: 307360 KiB
Current children cumulated memory: 251580 KiB
[startup+762.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1047205
/proc/meminfo: memFree=123251616/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307364 memory=251580 CPUtime=760.61 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59938 0 0 0 76024 37 0 0 20 0 1 0 197247894 314740736 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76841 62895 3764 3540 0 65098 0
Current children cumulated CPU time: 760.61 s
Current children cumulated vsize: 307364 KiB
Current children cumulated memory: 251580 KiB
[startup+822.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 1047231
/proc/meminfo: memFree=123250840/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307368 memory=251580 CPUtime=820.48 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59940 0 0 0 82011 37 0 0 20 0 1 0 197247894 314744832 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76842 62895 3764 3540 0 65099 0
Current children cumulated CPU time: 820.48 s
Current children cumulated vsize: 307368 KiB
Current children cumulated memory: 251580 KiB
[startup+882.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1047241
/proc/meminfo: memFree=123250532/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307372 memory=251580 CPUtime=880.34 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59944 0 0 0 87997 37 0 0 20 0 1 0 197247894 314748928 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76843 62895 3764 3540 0 65100 0
Current children cumulated CPU time: 880.34 s
Current children cumulated vsize: 307372 KiB
Current children cumulated memory: 251580 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1047251
/proc/meminfo: memFree=123250116/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307376 memory=251580 CPUtime=940.21 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59948 0 0 0 93984 37 0 0 20 0 1 0 197247894 314753024 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76844 62895 3764 3540 0 65101 0
Current children cumulated CPU time: 940.21 s
Current children cumulated vsize: 307376 KiB
Current children cumulated memory: 251580 KiB
[startup+1002.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 1047262
/proc/meminfo: memFree=123249988/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307380 memory=251580 CPUtime=1000.08 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59950 0 0 0 99971 37 0 0 20 0 1 0 197247894 314757120 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76845 62895 3764 3540 0 65102 0
Current children cumulated CPU time: 1000.08 s
Current children cumulated vsize: 307380 KiB
Current children cumulated memory: 251580 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 1047273
/proc/meminfo: memFree=123249480/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307380 memory=251580 CPUtime=1059.95 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59952 0 0 0 105958 37 0 0 20 0 1 0 197247894 314757120 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76845 62895 3764 3540 0 65102 0
Current children cumulated CPU time: 1059.95 s
Current children cumulated vsize: 307380 KiB
Current children cumulated memory: 251580 KiB
[startup+1122.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 1047283
/proc/meminfo: memFree=123248924/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307384 memory=251580 CPUtime=1119.83 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59954 0 0 0 111945 38 0 0 20 0 1 0 197247894 314761216 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76846 62895 3764 3540 0 65103 0
Current children cumulated CPU time: 1119.83 s
Current children cumulated vsize: 307384 KiB
Current children cumulated memory: 251580 KiB
[startup+1182.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/254 1047293
/proc/meminfo: memFree=123248592/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307388 memory=251580 CPUtime=1179.69 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59956 0 0 0 117931 38 0 0 20 0 1 0 197247894 314765312 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76847 62895 3764 3540 0 65104 0
Current children cumulated CPU time: 1179.69 s
Current children cumulated vsize: 307388 KiB
Current children cumulated memory: 251580 KiB
[startup+1242.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 1047304
/proc/meminfo: memFree=123247956/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307392 memory=251580 CPUtime=1239.56 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59958 0 0 0 123918 38 0 0 20 0 1 0 197247894 314769408 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76848 62895 3764 3540 0 65105 0
Current children cumulated CPU time: 1239.56 s
Current children cumulated vsize: 307392 KiB
Current children cumulated memory: 251580 KiB
[startup+1302.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/254 1047314
/proc/meminfo: memFree=123247480/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=307396 memory=251580 CPUtime=1299.43 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 59960 0 0 0 129905 38 0 0 20 0 1 0 197247894 314773504 62895 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 76849 62895 3764 3540 0 65106 0
Current children cumulated CPU time: 1299.43 s
Current children cumulated vsize: 307396 KiB
Current children cumulated memory: 251580 KiB
[startup+1362.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 1047324
/proc/meminfo: memFree=123249788/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=303428 memory=248996 CPUtime=1359.3 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 61447 0 0 0 135892 38 0 0 20 0 1 0 197247894 310710272 62249 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 75857 62249 3780 3540 0 64114 0
Current children cumulated CPU time: 1359.3 s
Current children cumulated vsize: 303428 KiB
Current children cumulated memory: 248996 KiB
[startup+1362.44 s]
# the end of solver process 1046423 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1359.05 s, system=0.399051 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1362.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/254 1047324
/proc/meminfo: memFree=123249788/131524600 swapFree=131070704/131071996
[pid=1046423] ppid=1046420 vsize=303428 memory=248996 CPUtime=1359.39 cores=4,6
/proc/1046423/stat : 1046423 (pbscip) R 1046420 1046423 1044294 0 -1 4194304 61447 0 0 0 135901 38 0 0 20 0 1 0 197247894 310710272 62249 134679101440 4194304 18693293 140734000355664 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 33501184 140734000358402 140734000358501 140734000358501 140734000365518 0
/proc/1046423/statm: 75857 62249 3780 3540 0 64114 0
Current children cumulated CPU time: 1359.39 s
Current children cumulated vsize: 303428 KiB
Current children cumulated memory: 248996 KiB
Child status: 0
Real time (s): 1362.44
CPU time (s): 1359.45
CPU user time (s): 1359.05
CPU system time (s): 0.399051
CPU usage (%): 99.7802
Max. virtual memory (cumulated for all children) (KiB): 307396
Max. memory (cumulated for all children) (KiB): 251636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1359.05
system time used= 0.399051
maximum resident set size= 251636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61454
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= 10
involuntary context switches= 630
# summary of solver processes directly reported to runsolver:
# pid: 1046423
# total CPU time (s): 1359.45
# total CPU user time (s): 1359.05
# total CPU system time (s): 0.399051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44083 second user time and 5.80642 second system time
The end
Begin job on nodeC023 at 2024-07-20 06:47:22 IDJOB=4452815 IDBENCH=165322 IDSOLVER=3059 FILE ID=nodeC023/4452815-1721450829 RUNJOBID= nodeC023-1721447234-1044305 SLURM_JOB_ID= 7545676 Free space on /tmp= 890024 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP065.shuf-3.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452815-1721450829/watcher-4452815-1721450829 -o /tmp/evaluation-result-4452815-1721450829/solver-4452815-1721450829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721447234-1044305 --watchdog 3760 pbscip -f HOME/instance-4452815-1721450829.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ff63d464810e05f4e638d683112dc5a7 RANDOM SEED=1769555095 nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3674.367 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3682.391 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3606.303 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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 : 3600.160 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3665.850 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3682.410 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 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 : 3658.966 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.61 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.851 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.48 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 124579532 kB MemAvailable: 126804996 kB Buffers: 588748 kB Cached: 2472772 kB SwapCached: 80 kB Active: 1224180 kB Inactive: 5145968 kB Active(anon): 1580 kB Inactive(anon): 3352780 kB Active(file): 1222600 kB Inactive(file): 1793188 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070704 kB Dirty: 18932 kB Writeback: 0 kB AnonPages: 3308560 kB Mapped: 138708 kB Shmem: 45728 kB KReclaimable: 99000 kB Slab: 193264 kB SReclaimable: 99000 kB SUnreclaim: 94264 kB KernelStack: 4064 kB PageTables: 15676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 3844032 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 33760 kB HardwareCorrupted: 0 kB AnonHugePages: 3106816 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 316116 kB DirectMap2M: 38254592 kB DirectMap1G: 97517568 kB Free space on /tmp at the end= 890004 MiB End job on nodeC023 at 2024-07-20 07:10:05