| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | UNSAT | 325.2 | 326.219 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb |
| MD5SUM | abde55a93501845a748728a01651cccf |
| 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.10617 |
| 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 | 85570 |
| Total number of constraints | 1851 |
| Number of constraints which are clauses | 931 |
| Number of constraints which are cardinality constraints (but not clauses) | 920 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 93 |
| 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 | 94 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4544111-1753217310.opb>
0.19/0.29 c original problem has 85570 variables (85570 bin, 0 int, 0 impl, 0 cont) and 1851 constraints
0.19/0.29 c problem read in 0.27
0.19/0.29 c No objective function, only one solution is needed.
0.58/0.64 c presolving:
0.76/0.85 c (0.8s) running MILP presolver
1.07/1.12 c (1.1s) MILP presolver found nothing
1.36/1.42 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 931 upgd conss, 0 impls, 920 clqs
1.56/1.68 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1851 upgd conss, 0 impls, 920 clqs
2.45/2.56 c (2.5s) probing: 51/85570 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.45/2.56 c (2.5s) probing aborted: 50/50 successive totally useless probings
2.55/2.61 c (2.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
208.16/208.77 c (208.8s) symmetry computation finished: 747 generators found (max: 747, log10 of symmetry group size: 2860.0) (symcode time: 205.93)
208.47/209.07 c dynamic symmetry handling statistics:
208.47/209.07 c orbitopal reduction: no components
208.47/209.07 c orbital reduction: no components
208.47/209.07 c lexicographic reduction: no permutations
208.47/209.07 c handled 5 out of 5 symmetry components
208.47/209.08 c (round 3, exhaustive) 376 del vars, 0 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1851 upgd conss, 0 impls, 920 clqs
208.57/209.11 c (round 4, medium) 751 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 747 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.57/209.15 c (round 5, medium) 1117 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1113 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.57/209.18 c (round 6, medium) 1478 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1474 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.66/209.21 c (round 7, medium) 1834 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 1830 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.66/209.25 c (round 8, medium) 2185 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2181 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.66/209.28 c (round 9, medium) 2531 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2527 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.76/209.31 c (round 10, medium) 2872 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 2868 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.76/209.34 c (round 11, medium) 3208 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3204 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.76/209.37 c (round 12, medium) 3539 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3535 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.86/209.41 c (round 13, medium) 3865 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 3861 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.86/209.44 c (round 14, medium) 4186 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4182 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.86/209.47 c (round 15, medium) 4502 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4498 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.96/209.50 c (round 16, medium) 4814 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 4810 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.96/209.53 c (round 17, medium) 5122 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5118 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.96/209.56 c (round 18, medium) 5426 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5422 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
208.96/209.59 c (round 19, medium) 5726 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 5722 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.06/209.62 c (round 20, medium) 6022 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6018 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.06/209.66 c (round 21, medium) 6314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.06/209.69 c (round 22, medium) 6602 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6598 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.16/209.72 c (round 23, medium) 6886 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 6882 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.16/209.75 c (round 24, medium) 7166 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7162 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.16/209.78 c (round 25, medium) 7442 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7438 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.26/209.81 c (round 26, medium) 7714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7710 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.26/209.84 c (round 27, medium) 7982 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 7978 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.26/209.87 c (round 28, medium) 8246 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8242 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.36/209.90 c (round 29, medium) 8506 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8502 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.36/209.93 c (round 30, medium) 8762 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 8758 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.36/209.96 c (round 31, medium) 9014 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9010 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.36/209.99 c (round 32, medium) 9262 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9258 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.47/210.02 c (round 33, medium) 9506 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9502 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.47/210.05 c (round 34, medium) 9746 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9742 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.47/210.08 c (round 35, medium) 9982 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 9978 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.47/210.10 c (round 36, medium) 10214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.57/210.13 c (round 37, medium) 10442 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10438 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.57/210.16 c (round 38, medium) 10666 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10662 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.57/210.19 c (round 39, medium) 10886 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 10882 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.65/210.22 c (round 40, medium) 11102 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11098 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.65/210.25 c (round 41, medium) 11314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.65/210.28 c (round 42, medium) 11522 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11518 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.75/210.31 c (round 43, medium) 11726 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11722 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.75/210.34 c (round 44, medium) 11926 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 11922 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.75/210.36 c (round 45, medium) 12122 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12118 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.75/210.39 c (round 46, medium) 12314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.85/210.42 c (round 47, medium) 12502 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12498 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.85/210.45 c (round 48, medium) 12686 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12682 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.85/210.48 c (round 49, medium) 12866 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 12862 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.95/210.50 c (round 50, medium) 13042 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13038 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.95/210.53 c (round 51, medium) 13214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.95/210.56 c (round 52, medium) 13382 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13378 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
209.95/210.59 c (round 53, medium) 13546 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13542 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.05/210.62 c (round 54, medium) 13706 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13702 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.05/210.64 c (round 55, medium) 13862 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 13858 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.05/210.67 c (round 56, medium) 14014 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14010 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.15/210.70 c (round 57, medium) 14162 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14158 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.15/210.73 c (round 58, medium) 14306 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14302 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.15/210.76 c (round 59, medium) 14446 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14442 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.15/210.78 c (round 60, medium) 14582 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14578 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.25/210.81 c (round 61, medium) 14714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14710 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.25/210.84 c (round 62, medium) 14842 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14838 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.25/210.87 c (round 63, medium) 14966 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 14962 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.25/210.89 c (round 64, medium) 15086 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15082 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.35/210.92 c (round 65, medium) 15202 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15198 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.35/210.95 c (round 66, medium) 15314 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15310 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.35/210.97 c (round 67, medium) 15422 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15418 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.35/211.00 c (round 68, medium) 15526 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15522 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.46/211.03 c (round 69, medium) 15626 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15622 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.46/211.06 c (round 70, medium) 15722 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15718 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.46/211.08 c (round 71, medium) 15814 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15810 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.56/211.11 c (round 72, medium) 15902 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15898 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.56/211.14 c (round 73, medium) 15986 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 15982 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.56/211.17 c (round 74, medium) 16066 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16062 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.56/211.19 c (round 75, medium) 16142 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16138 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.65/211.22 c (round 76, medium) 16214 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16210 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.65/211.25 c (round 77, medium) 16282 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16278 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.65/211.27 c (round 78, medium) 16346 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16342 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.75/211.30 c (round 79, medium) 16406 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16402 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.75/211.33 c (round 80, medium) 16462 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16458 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.85/211.46 c (round 81, exhaustive) 16562 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16510 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
210.95/211.54 c (round 82, exhaustive) 16646 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16602 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
211.05/211.62 c (round 83, exhaustive) 16714 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16678 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
211.15/211.71 c (round 84, exhaustive) 16786 del vars, 4 del conss, 376 add conss, 0 chg bounds, 0 chg sides, 16738 chg coeffs, 1851 upgd conss, 0 impls, 916 clqs
220.62/221.24 c (221.2s) probing: 1000/85570 (1.2%) - 188 fixings, 0 aggregations, 487 implications, 0 bound changes
223.61/224.25 c (224.2s) probing: 1280/85570 (1.5%) - 188 fixings, 0 aggregations, 4747 implications, 0 bound changes
223.61/224.25 c (224.2s) probing aborted: 1000/1000 successive useless probings
223.61/224.29 c presolving (85 rounds: 85 fast, 85 medium, 8 exhaustive):
223.61/224.29 c 16826 deleted vars, 4 deleted constraints, 376 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 16798 changed coefficients
223.61/224.29 c 0 implications, 5663 cliques
223.61/224.29 c presolved problem has 68744 variables (68744 bin, 0 int, 0 impl, 0 cont) and 2223 constraints
223.61/224.29 c 916 constraints of type <setppc>
223.61/224.29 c 376 constraints of type <orbitope>
223.61/224.29 c 931 constraints of type <logicor>
223.61/224.29 c transformed objective value is always integral (scale: 1)
223.61/224.29 c Presolving Time: 223.72
223.61/224.29 c - non default parameters ----------------------------------------------------------------------
223.61/224.29 c # SCIP version 10.0.0
223.61/224.29 c
223.61/224.29 c # maximal time in seconds to run
223.61/224.29 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
223.61/224.29 c limits/time = 3596.993168
223.61/224.29 c
223.61/224.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
223.61/224.29 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
223.61/224.29 c limits/memory = 27900
223.61/224.29 c
223.61/224.29 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
223.61/224.29 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
223.61/224.29 c limits/solutions = 1
223.61/224.29 c
223.61/224.29 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.
223.61/224.29 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
223.61/224.29 c misc/usesymmetry = 3
223.61/224.29 c
223.61/224.29 c # belongs reading time to solving time?
223.61/224.29 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
223.61/224.29 c timing/reading = TRUE
223.61/224.29 c
223.61/224.29 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
223.61/224.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.61/224.29 c propagating/symmetry/detectdoublelex = FALSE
223.61/224.29 c
223.61/224.29 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
223.61/224.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.61/224.29 c propagating/symmetry/detectsubgroups = FALSE
223.61/224.29 c
223.61/224.29 c # Type of symmetries that shall be computed?
223.61/224.29 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
223.61/224.29 c propagating/symmetry/symtype = 1
223.61/224.29 c
223.61/224.29 c # Should components consisting of a single full reflection be handled?
223.61/224.29 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
223.61/224.29 c propagating/symmetry/usesimplesgncomp = FALSE
223.61/224.29 c
223.61/224.29 c -----------------------------------------------------------------------------------------------
223.61/224.29 c start solving
223.71/224.30 c
293.39/294.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
293.39/294.31 c 294s| 1 | 0 | 1463 | - | 874M | 0 | 68k|2264 |1847 | 0 | 0 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
300.47/301.44 c 301s| 1 | 0 | 6701 | - | 926M | 0 | 68k|2264 |1854 | 7 | 1 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
302.46/303.45 c 303s| 1 | 0 | 6773 | - | 973M | 0 | 68k|2264 |1954 | 107 | 2 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
303.36/304.35 c 304s| 1 | 0 | 6819 | - | 973M | 0 | 68k|2264 |1959 | 112 | 3 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
303.56/304.58 c 305s| 1 | 0 | 6827 | - | 974M | 0 | 68k|2263 |1964 | 117 | 4 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
303.86/304.80 c 305s| 1 | 0 | 6842 | - | 974M | 0 | 68k|2263 |1967 | 120 | 5 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
304.07/305.10 c 305s| 1 | 0 | 6892 | - | 975M | 0 | 68k|2263 |1974 | 127 | 6 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
304.46/305.40 c 305s| 1 | 0 | 6949 | - | 976M | 0 | 68k|2263 |1979 | 132 | 7 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
304.65/305.65 c 306s| 1 | 0 | 7005 | - | 977M | 0 | 68k|2263 |1991 | 144 | 8 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
304.95/305.97 c 306s| 1 | 0 | 7040 | - | 978M | 0 | 68k|2263 |1997 | 150 | 9 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
305.25/306.23 c 306s| 1 | 0 | 7082 | - | 981M | 0 | 68k|2263 |2002 | 155 | 10 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
305.35/306.31 c 306s| 1 | 0 | 7109 | - | 981M | 0 | 68k|2263 |2007 | 160 | 11 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
305.45/306.42 c 306s| 1 | 0 | 7188 | - | 981M | 0 | 68k|2269 |2014 | 167 | 12 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
305.55/306.50 c 306s| 1 | 0 | 7213 | - | 982M | 0 | 68k|2269 |2020 | 173 | 13 | 86 | 0 | 0.000000e+00 | -- | Inf | unknown
310.24/311.22 c 311s| 1 | 0 | 20941 | - | 988M | 0 | 68k|2275 |2020 | 173 | 13 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown
310.34/311.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
310.34/311.33 c 311s| 1 | 0 | 20998 | - | 989M | 0 | 68k|2275 |1950 | 220 | 14 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown
310.34/311.39 c 311s| 1 | 0 | 21001 | - | 989M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 18 | 0.000000e+00 | -- | Inf | unknown
312.33/313.31 c 313s| 1 | 0 | 22815 | - | 989M | 0 | 68k|2275 |1952 | 222 | 15 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown
312.53/313.57 c 314s| 1 | 0 | 22878 | - | 992M | 0 | 68k|2275 |1988 | 258 | 16 | 92 | 39 | 0.000000e+00 | -- | Inf | unknown
313.52/314.50 c 314s| 1 | 2 | 23223 | - | 992M | 0 | 68k|2275 |1988 | 258 | 17 | 92 | 60 | 0.000000e+00 | -- | Inf | unknown
324.88/325.92 c
324.88/325.92 c SCIP Status : problem is solved [infeasible]
324.88/325.92 c Solving Time (sec) : 325.91
324.88/325.92 c Solving Nodes : 26
324.88/325.92 c Primal Bound : +1.00000000000000e+20 (0 solutions)
324.88/325.92 c Dual Bound : +1.00000000000000e+20
324.88/325.92 c Gap : 0.00 %
324.88/325.92 s UNSATISFIABLE
324.88/325.92 c SCIP Status : problem is solved [infeasible]
324.88/325.92 c Total Time : 325.91
324.88/325.92 c solving : 325.91
324.88/325.92 c presolving : 223.72 (included in solving)
324.88/325.92 c reading : 0.27 (included in solving)
324.88/325.92 c copying : 0.19 (2 #copies) (minimal 0.09, maximal 0.10, average 0.09)
324.88/325.92 c Original Problem :
324.88/325.92 c Problem name : HOME/instance-4544111-1753217310.opb
324.88/325.92 c Variables : 85570 (85570 binary, 0 integer, 0 implicit integer, 0 continuous)
324.88/325.92 c Constraints : 1851 initial, 1851 maximal
324.88/325.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
324.88/325.92 c Presolved Problem :
324.88/325.92 c Problem name : t_HOME/instance-4544111-1753217310.opb
324.88/325.92 c Variables : 68744 (68744 binary, 0 integer, 0 implicit integer, 0 continuous)
324.88/325.92 c Constraints : 2223 initial, 2341 maximal
324.88/325.92 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
324.88/325.92 c Nonzeros : 207592 constraint, 78192 clique table
324.88/325.92 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
324.88/325.92 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c domcol : 0.14 0.00 6 0 0 0 0 0 0 0 0 0
324.88/325.92 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c dualsparsify : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
324.88/325.92 c gateextraction : 0.06 0.00 6 0 0 0 0 0 0 0 0 0
324.88/325.92 c implics : 0.11 0.00 85 0 0 0 0 0 0 0 0 0
324.88/325.92 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c milp : 0.39 0.00 1 0 0 0 0 0 0 0 0 0
324.88/325.92 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c sparsify : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
324.88/325.92 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c trivial : 0.21 0.00 85 0 0 0 0 0 0 0 0 0
324.88/325.92 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c dualfix : 0.21 0.00 85 0 0 0 0 0 0 0 0 0
324.88/325.92 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c probing : 13.04 0.00 6 188 0 0 0 0 0 0 0 0
324.88/325.92 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c symmetry : 206.46 0.00 1 376 0 0 0 0 0 376 0 0
324.88/325.92 c vbounds : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
324.88/325.92 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c setppc : 1.36 0.00 172 0 4 0 0 0 4 0 0 0
324.88/325.92 c linear : 0.56 0.04 4 0 0 0 0 0 0 0 0 0
324.88/325.92 c orbitope : 0.14 0.00 82 16258 0 0 0 0 0 0 0 0
324.88/325.92 c logicor : 0.74 0.00 174 0 0 0 0 0 0 0 0 16798
324.88/325.92 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
324.88/325.92 c root node : - - - 14 - - 14 - - - - -
324.88/325.92 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
324.88/325.92 c benderslp : 0 0 0 0 20 0 0 11 0 0 0 0 0 0 0
324.88/325.92 c integral : 0 0 0 0 20 0 0 11 0 0 4 0 0 1 36
324.88/325.92 c knapsack : 0+ 11 0 4604 0 0 0 0 68 1 0 0 0 0 0
324.88/325.92 c setppc : 916+ 921 15 69837 0 0 0 7 8502 10 645 0 0 0 0
324.88/325.92 c orbitope : 376 376 0 69727 0 0 0 5 980 30 0 0 0 0 0
324.88/325.92 c logicor : 931+ 1034 15 38576 0 0 0 5 47 12 2 2 1 0 0
324.88/325.92 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
324.88/325.92 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c integral : 2.77 0.00 0.00 0.00 2.77 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c setppc : 0.40 0.00 0.01 0.32 0.00 0.00 0.00 0.02 0.00 0.04
324.88/325.92 c orbitope : 73.60 0.00 0.00 73.36 0.00 0.00 0.00 0.00 0.00 0.24
324.88/325.92 c logicor : 0.20 0.00 0.01 0.18 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c Propagators : #Propagate #ResProp Cutoffs DomReds
324.88/325.92 c dualfix : 3 0 0 0
324.88/325.92 c genvbounds : 0 0 0 0
324.88/325.92 c nlobbt : 0 0 0 0
324.88/325.92 c obbt : 0 0 0 0
324.88/325.92 c probing : 0 0 0 0
324.88/325.92 c pseudoobj : 0 0 0 0
324.88/325.92 c redcost : 0 0 0 0
324.88/325.92 c rootredcost : 0 0 0 0
324.88/325.92 c symmetry : 0 0 0 0
324.88/325.92 c vbounds : 3945 0 0 0
324.88/325.92 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
324.88/325.92 c dualfix : 0.21 0.00 0.21 0.01 0.00 0.00
324.88/325.92 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
324.88/325.92 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c probing : 13.05 0.00 13.04 0.00 0.00 0.00
324.88/325.92 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
324.88/325.92 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
324.88/325.92 c symmetry : 206.48 0.00 206.46 0.02 0.00 0.00
324.88/325.92 c vbounds : 0.11 0.00 0.04 0.07 0.00 0.00
324.88/325.92 c Symmetry :
324.88/325.92 c orbitopal red. : 0 reductions applied, 0 cutoffs
324.88/325.92 c orbital reduction: 0 reductions applied, 0 cutoffs
324.88/325.92 c lexicographic red: 0 reductions applied, 0 cutoffs
324.88/325.92 c shadow tree time : 0.00 s
324.88/325.92 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
324.88/325.92 c propagation : 0.01 48 16 - 547 207.7 0 0.0 - - -
324.88/325.92 c infeasible LP : 0.16 19 24 - 331 377.0 0 0.0 19 750.5 0
324.88/325.92 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
324.88/325.92 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
324.88/325.92 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
324.88/325.92 c applied globally : 0.00 - - 5 155 132.9 - - 18 - -
324.88/325.92 c applied locally : - - - 0 0 0.0 - - 0 - -
324.88/325.92 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
324.88/325.92 c cut pool : 0.03 - 31 31 - - 597 970 - - - - - (maximal pool size: 597)
324.88/325.92 c aggregation : 0.18 0.00 15 15 0 0 24 45 0 5 5 0 0
324.88/325.92 c > cmir : - - - - - - - 32 0 1 1 0 -
324.88/325.92 c > flowcover : - - - - - - - 2 0 2 2 0 -
324.88/325.92 c > knapsackcover : - - - - - - - 11 0 2 2 0 -
324.88/325.92 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c clique : 0.14 0.00 15 15 0 0 7 10 0 2 2 0 0
324.88/325.92 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c gomory : 5.32 0.00 10 10 0 0 266 426 0 24 24 0 0
324.88/325.92 c > gomorymi : - - - - - - - 177 0 15 15 0 -
324.88/325.92 c > strongcg : - - - - - - - 249 0 9 9 0 -
324.88/325.92 c impliedbounds : 0.04 0.00 15 15 0 0 268 450 0 204 204 0 0
324.88/325.92 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
324.88/325.92 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c multilinear : 0.00 0.00 20 15 0 0 0 0 0 0 0 0 0
324.88/325.92 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
324.88/325.92 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
324.88/325.92 c zerohalf : 0.42 0.00 15 15 0 0 32 39 0 22 22 0 0
324.88/325.92 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
324.88/325.92 c hybrid : 0.02 0.00 16 16 258 0 714 258 0 714
324.88/325.92 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c Pricers : ExecTime SetupTime Calls Vars
324.88/325.92 c problem variables: 0.00 - 0 0
324.88/325.92 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
324.88/325.92 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c random : 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c relpscost : 2.77 0.00 20 0 0 0 4 0 1 36
324.88/325.92 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
324.88/325.92 c Primal Heuristics : ExecTime SetupTime Calls Found Best
324.88/325.92 c LP solutions : 0.00 - - 0 0
324.88/325.92 c relax solutions : 0.00 - - 0 0
324.88/325.92 c pseudo solutions : 0.00 - - 0 0
324.88/325.92 c strong branching : 0.03 - - 0 0
324.88/325.92 c actconsdiving : 0.00 0.00 0 0 0
324.88/325.92 c adaptivediving : 1.40 0.00 1 0 0
324.88/325.92 c alns : 0.27 0.00 1 0 0
324.88/325.92 c bound : 0.00 0.00 0 0 0
324.88/325.92 c clique : 1.34 0.00 1 0 0
324.88/325.92 c coefdiving : 0.00 0.00 0 0 0
324.88/325.92 c completesol : 0.00 0.00 0 0 0
324.88/325.92 c conflictdiving : 3.02 0.00 1 0 0
324.88/325.92 c crossover : 0.00 0.00 0 0 0
324.88/325.92 c dins : 0.00 0.00 0 0 0
324.88/325.92 c distributiondivin: 0.88 0.00 1 0 0
324.88/325.92 c dps : 0.00 0.00 0 0 0
324.88/325.92 c dualval : 0.00 0.00 0 0 0
324.88/325.92 c farkasdiving : 0.00 0.00 0 0 0
324.88/325.92 c feasjump : 0.04 0.00 1 0 0
324.88/325.92 c feaspump : 4.91 0.00 1 0 0
324.88/325.92 c fixandinfer : 0.00 0.00 0 0 0
324.88/325.92 c fracdiving : 0.98 0.00 1 0 0
324.88/325.92 c gins : 0.00 0.00 0 0 0
324.88/325.92 c guideddiving : 0.00 0.00 0 0 0
324.88/325.92 c indcoefdiving : 0.00 0.00 0 0 0
324.88/325.92 c indicator : 0.00 0.00 0 0 0
324.88/325.92 c indicatordiving : 0.00 0.00 0 0 0
324.88/325.92 c indoneopt : 0.00 0.00 0 0 0
324.88/325.92 c indrounding : 0.00 0.00 0 0 0
324.88/325.92 c indtwoopt : 0.00 0.00 0 0 0
324.88/325.92 c intdiving : 0.00 0.00 0 0 0
324.88/325.92 c intshifting : 0.00 0.00 0 0 0
324.88/325.92 c linesearchdiving : 0.62 0.00 1 0 0
324.88/325.92 c localbranching : 0.00 0.00 0 0 0
324.88/325.92 c locks : 2.27 0.00 1 0 0
324.88/325.92 c lpface : 0.00 0.00 0 0 0
324.88/325.92 c mpec : 0.00 0.00 0 0 0
324.88/325.92 c multistart : 0.00 0.00 0 0 0
324.88/325.92 c mutation : 0.00 0.00 0 0 0
324.88/325.92 c nlpdiving : 0.00 0.00 0 0 0
324.88/325.92 c objpscostdiving : 2.37 0.00 1 0 0
324.88/325.92 c octane : 0.00 0.00 0 0 0
324.88/325.92 c ofins : 0.00 0.00 0 0 0
324.88/325.92 c oneopt : 0.00 0.00 0 0 0
324.88/325.92 c padm : 0.00 0.00 0 0 0
324.88/325.92 c proximity : 0.00 0.00 0 0 0
324.88/325.92 c pscostdiving : 1.93 0.00 2 0 0
324.88/325.92 c randrounding : 1.16 0.00 19 0 0
324.88/325.92 c rens : 0.29 0.00 1 0 0
324.88/325.92 c reoptsols : 0.00 0.00 0 0 0
324.88/325.92 c repair : 0.00 0.00 0 0 0
324.88/325.92 c rins : 0.00 0.00 0 0 0
324.88/325.92 c rootsoldiving : 0.69 0.00 1 0 0
324.88/325.92 c rounding : 0.01 0.00 36 0 0
324.88/325.92 c scheduler : 0.00 0.00 0 0 0
324.88/325.92 c shiftandpropagate: 0.07 0.00 1 0 0
324.88/325.92 c shifting : 0.19 0.00 19 0 0
324.88/325.92 c simplerounding : 0.00 0.00 0 0 0
324.88/325.92 c smallcard : 0.00 0.00 0 0 0
324.88/325.92 c subnlp : 0.00 0.00 0 0 0
324.88/325.92 c trivial : 0.08 0.00 2 0 0
324.88/325.92 c trivialnegation : 0.00 0.00 0 0 0
324.88/325.92 c trustregion : 0.00 0.00 0 0 0
324.88/325.92 c trysol : 0.00 0.00 0 0 0
324.88/325.92 c twoopt : 0.00 0.00 0 0 0
324.88/325.92 c undercover : 0.00 0.00 0 0 0
324.88/325.92 c vbounds : 65.63 0.00 1 0 0
324.88/325.92 c veclendiving : 0.81 0.00 2 0 0
324.88/325.92 c zeroobj : 0.00 0.00 0 0 0
324.88/325.92 c zirounding : 0.03 0.00 17 0 0
324.88/325.92 c other solutions : - - - 0 -
324.88/325.92 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 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
324.88/325.92 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
324.88/325.92 c primal LP : 0.01 2 0 0.00 0.00 0.01 2
324.88/325.92 c dual LP : 3.19 44 18597 422.66 5831.24 0.00 0
324.88/325.92 c lex dual LP : 0.00 0 0 0.00 -
324.88/325.92 c barrier LP : 0.00 0 0 0.00 - 0.00 0
324.88/325.92 c resolve instable : 0.00 0 0 0.00 -
324.88/325.92 c diving/probing LP: 7.00 312 42669 136.76 6099.54
324.88/325.92 c strong branching : 1.63 60 3571 59.52 2186.75 - - 0
324.88/325.92 c (at root node) : - 60 3571 59.52 -
324.88/325.92 c conflict analysis: 0.00 0 0 0.00 -
324.88/325.92 c B&B Tree :
324.88/325.92 c number of runs : 1
324.88/325.92 c nodes : 26 (18 internal, 8 leaves)
324.88/325.92 c feasible leaves : 0
324.88/325.93 c infeas. leaves : 8
324.88/325.93 c objective leaves : 0
324.88/325.93 c nodes (total) : 26 (18 internal, 8 leaves)
324.88/325.93 c nodes left : 0
324.88/325.93 c max depth : 8
324.88/325.93 c max depth (total): 8
324.88/325.93 c backtracks : 19 (73.1%)
324.88/325.93 c early backtracks : 0 (0.0%)
324.88/325.93 c nodes exc. ref. : 0 (0.0%)
324.88/325.93 c delayed cutoffs : 11
324.88/325.93 c repropagations : 19 (2 domain reductions, 0 cutoffs)
324.88/325.93 c avg switch length: 5.85
324.88/325.93 c switching time : 0.02
324.88/325.93 c Root Node :
324.88/325.93 c First LP value : +0.00000000000000e+00
324.88/325.93 c First LP Iters : 1456 (2381.34 Iter/sec)
324.88/325.93 c First LP Time : 0.61
324.88/325.93 c Final Dual Bound : -
324.88/325.93 c Final Root Iters : 9460
324.88/325.93 c Root LP Estimate : +2.38006899393632e-03
324.88/325.93 c Solution :
324.88/325.93 c Solutions found : 0 (0 improvements)
324.88/325.93 c Primal Bound : infeasible
324.88/325.93 c Dual Bound : -
324.88/325.93 c Gap : 0.00 %
324.88/325.93 c Integrals : Total Avg%
324.88/325.93 c primal-dual : - - (problem infeasible)
324.88/325.93 c primal-ref : - - (problem infeasible)
324.88/325.93 c dual-ref : - - (problem infeasible)
325.09/326.18 c Time complete: 325.164.
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: 63837 MiB (45272 MiB free)
memory of node 1: 64465 MiB (51049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4544111-1753217310/watcher-4544111-1753217310 -o /tmp/evaluation-result-4544111-1753217310/solver-4544111-1753217310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158213 --watchdog 3760 pbscip -f HOME/instance-4544111-1753217310.opb -t 3600 -j 2 -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=159744, runsolver pid=159741
Current StackSize limit: 8192 KiB
[startup+0.100075 s]*
/proc/loadavg: 4.10 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98614088/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=72020 memory=44288 CPUtime=0.09 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 8172 0 0 0 6 3 0 0 20 0 1 0 237410361 73748480 11072 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 18005 11072 3232 3530 0 9456 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 72020 KiB
Current children cumulated memory: 44288 KiB
[startup+0.213624 s]*
/proc/loadavg: 4.10 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98582360/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=109888 memory=81024 CPUtime=0.19 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 17310 0 0 0 14 5 0 0 20 0 1 0 237410361 112525312 20224 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 27472 20224 3232 3530 0 18923 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109888 KiB
Current children cumulated memory: 81024 KiB
[startup+0.311705 s]*
/proc/loadavg: 4.10 4.09 4.11 6/250 159745
/proc/meminfo: memFree=98582360/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=144000 memory=117072 CPUtime=0.29 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 26449 0 0 0 21 8 0 0 20 0 1 0 237410361 147456000 29268 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 36000 29268 3520 3530 0 27451 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 144000 KiB
Current children cumulated memory: 117072 KiB
[startup+0.700293 s]
/proc/loadavg: 4.10 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98552720/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=269512 memory=234704 CPUtime=0.66 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 55821 0 0 0 49 17 0 0 20 0 1 0 237410361 275980288 58676 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 67378 58676 3552 3530 0 58829 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 269512 KiB
Current children cumulated memory: 234704 KiB
[startup+1.50032 s]
/proc/loadavg: 4.10 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98472140/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=302064 memory=267332 CPUtime=1.46 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 67298 0 0 0 126 20 0 0 20 0 1 0 237410361 309313536 66833 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 75516 66833 3680 3530 0 66967 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 302064 KiB
Current children cumulated memory: 267332 KiB
[startup+3.11311 s]
/proc/loadavg: 4.09 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98387908/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=560120 memory=374424 CPUtime=3.07 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 91101 0 0 0 282 25 0 0 20 0 1 0 237410361 573562880 93606 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 140030 93606 3744 3530 0 131481 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 560120 KiB
Current children cumulated memory: 374424 KiB
[startup+6.30027 s]
/proc/loadavg: 4.09 4.09 4.11 5/250 159745
/proc/meminfo: memFree=98239164/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=688492 memory=511484 CPUtime=6.24 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 123311 0 0 0 594 30 0 0 20 0 1 0 237410361 705015808 127871 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 172123 127871 3744 3530 0 163574 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 688492 KiB
Current children cumulated memory: 511484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.08 4.10 5/250 159745
/proc/meminfo: memFree=98124284/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=799484 memory=630648 CPUtime=12.63 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 151064 0 0 0 1229 34 0 0 20 0 1 0 237410361 818671616 157662 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 199871 157662 3744 3530 0 191322 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 799484 KiB
Current children cumulated memory: 630648 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.10 4.11 5/250 159745
/proc/meminfo: memFree=97978408/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=938556 memory=773204 CPUtime=25.4 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 186183 0 0 0 2500 40 0 0 20 0 1 0 237410361 961081344 193301 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 234639 193301 3744 3530 0 226090 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 938556 KiB
Current children cumulated memory: 773204 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.10 5/250 159746
/proc/meminfo: memFree=97865204/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1042860 memory=877524 CPUtime=50.95 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 212261 0 0 0 5051 44 0 0 20 0 1 0 237410361 1067888640 219381 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 260715 219381 3744 3530 0 252166 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1042860 KiB
Current children cumulated memory: 877524 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/250 159748
/proc/meminfo: memFree=97867388/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1042864 memory=877524 CPUtime=102.02 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 212263 0 0 0 10157 45 0 0 20 0 1 0 237410361 1067892736 219381 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 260716 219381 3744 3530 0 252167 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1042864 KiB
Current children cumulated memory: 877524 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 159750
/proc/meminfo: memFree=97873816/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1042868 memory=877524 CPUtime=161.88 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 212267 0 0 0 16143 45 0 0 20 0 1 0 237410361 1067896832 219381 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 260717 219381 3744 3530 0 252168 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1042868 KiB
Current children cumulated memory: 877524 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/249 159752
/proc/meminfo: memFree=97877764/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1021528 memory=861224 CPUtime=221.72 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 214325 0 0 0 22126 46 0 0 20 0 1 0 237410361 1046044672 215306 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 255382 215306 3744 3530 0 246833 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1021528 KiB
Current children cumulated memory: 861224 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/249 159754
/proc/meminfo: memFree=97882232/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1022304 memory=862120 CPUtime=281.45 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 214666 0 0 0 28099 46 0 0 20 0 1 0 237410361 1046839296 215530 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 255576 215530 3904 3530 0 247027 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1022304 KiB
Current children cumulated memory: 862120 KiB
[startup+326.219 s]
# the end of solver process 159744 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=324.547 s, system=0.652905 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.04 4.07 4.09 5/250 159762
/proc/meminfo: memFree=97849616/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1058344 memory=895768 CPUtime=306.25 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 222021 0 0 0 30577 48 0 0 20 0 1 0 237410361 1083744256 223942 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 264586 223942 3936 3530 0 256037 0
Current children cumulated CPU time: 306.25 s
Current children cumulated vsize: 1058344 KiB
Current children cumulated memory: 895768 KiB
[startup+320 s]*
/proc/loadavg: 4.12 4.09 4.09 5/250 159762
/proc/meminfo: memFree=97766036/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1117132 memory=954420 CPUtime=319.01 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 293748 0 0 0 31840 61 0 0 20 0 1 0 237410361 1143943168 238605 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 279283 238605 3968 3530 0 270734 0
Current children cumulated CPU time: 319.01 s
Current children cumulated vsize: 1117132 KiB
Current children cumulated memory: 954420 KiB
[startup+323.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 159762
/proc/meminfo: memFree=97785156/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1117132 memory=954420 CPUtime=322.18 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 293748 0 0 0 32157 61 0 0 20 0 1 0 237410361 1143943168 238605 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 279283 238605 3968 3530 0 270734 0
Current children cumulated CPU time: 322.18 s
Current children cumulated vsize: 1117132 KiB
Current children cumulated memory: 954420 KiB
[startup+324.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 159762
/proc/meminfo: memFree=97785156/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1117132 memory=954420 CPUtime=323.78 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 293748 0 0 0 32317 61 0 0 20 0 1 0 237410361 1143943168 238605 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 279283 238605 3968 3530 0 270734 0
Current children cumulated CPU time: 323.78 s
Current children cumulated vsize: 1117132 KiB
Current children cumulated memory: 954420 KiB
[startup+325.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 159762
/proc/meminfo: memFree=97785156/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1117132 memory=954420 CPUtime=324.58 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 293748 0 0 0 32397 61 0 0 20 0 1 0 237410361 1143943168 238605 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 279283 238605 3968 3530 0 270734 0
Current children cumulated CPU time: 324.58 s
Current children cumulated vsize: 1117132 KiB
Current children cumulated memory: 954420 KiB
[startup+326 s]*
/proc/loadavg: 4.11 4.09 4.09 5/250 159762
/proc/meminfo: memFree=97785408/131382112 swapFree=33001664/33010684
[pid=159744] ppid=159741 vsize=1116288 memory=953624 CPUtime=324.99 cores=1,3
/proc/159744/stat : 159744 (pbscip) R 159741 159744 158201 0 -1 4194304 293748 0 0 0 32438 61 0 0 20 0 1 0 237410361 1143078912 238406 18446744073709551615 4235264 18693293 140727908191008 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 44376064 140727908198791 140727908198890 140727908198890 140727908204494 0
/proc/159744/statm: 279072 238406 3968 3530 0 270523 0
Current children cumulated CPU time: 324.99 s
Current children cumulated vsize: 1116288 KiB
Current children cumulated memory: 953624 KiB
[startup+326.2 s]*
/proc/loadavg: 4.11 4.09 4.09 5/250 159762
/proc/meminfo: memFree=98225348/131382112 swapFree=33001664/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 326.219
CPU time (s): 325.2
CPU user time (s): 324.547
CPU system time (s): 0.652905
CPU usage (%): 99.6876
Max. virtual memory (cumulated for all children) (KiB): 1246372
Max. memory (cumulated for all children) (KiB): 1068056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 324.547
system time used= 0.652905
maximum resident set size= 1068184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 214
# summary of solver processes directly reported to runsolver:
# pid: 159744
# total CPU time (s): 325.2
# total CPU user time (s): 324.547
# total CPU system time (s): 0.652905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67831 second user time and 3.23718 second system time
The end
Begin job on nodeC005 at 2025-07-22 22:48:30 IDJOB=4544111 IDBENCH=174892 IDSOLVER=3365 FILE ID=nodeC005/4544111-1753217310 RUNJOBID= nodeC005-1753211112-158213 SLURM_JOB_ID= 9687789 Free space on /tmp= 432960 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_10_092.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4544111-1753217310/watcher-4544111-1753217310 -o /tmp/evaluation-result-4544111-1753217310/solver-4544111-1753217310 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1753211112-158213 --watchdog 3760 pbscip -f HOME/instance-4544111-1753217310.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= abde55a93501845a748728a01651cccf RANDOM SEED=1911010096 nodeC005 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 : 0xb00001f cpu MHz : 3661.669 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.759 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.693 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.246 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3661.129 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3662.240 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 1197.410 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 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 : 0xb00001f cpu MHz : 3700.000 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 98634060 kB MemAvailable: 122790668 kB Buffers: 12 kB Cached: 24928004 kB SwapCached: 776 kB Active: 7391824 kB Inactive: 24514340 kB Active(anon): 6960328 kB Inactive(anon): 38384 kB Active(file): 431496 kB Inactive(file): 24475956 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33001664 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20628 kB Writeback: 28 kB AnonPages: 6979764 kB Mapped: 135492 kB Shmem: 20564 kB KReclaimable: 177568 kB Slab: 268728 kB SReclaimable: 177568 kB SUnreclaim: 91160 kB KernelStack: 4060 kB PageTables: 17160 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 7857624 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 1167360 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: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432940 MiB End job on nodeC005 at 2025-07-22 22:53:56