| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | UNSAT | 179.516 | 180.128 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb |
| MD5SUM | 4d1871845096300f202b70284b6187b6 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 0.213693 |
| 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 | 4884 |
| Total number of constraints | 1456 |
| Number of constraints which are clauses | 761 |
| Number of constraints which are cardinality constraints (but not clauses) | 464 |
| Number of constraints which are nor clauses,nor cardinality constraints | 231 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 13 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 3 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4542630-1753213487.opb>
0.00/0.01 c original problem has 4884 variables (4884 bin, 0 int, 0 cont) and 1456 constraints
0.00/0.01 c problem read in 0.009 seconds
0.00/0.01 c problem without objective
0.00/0.02 c presolving:
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 983 upgd conss, 0 impls, 462 clqs
0.00/0.04 c (round 2, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1456 upgd conss, 0 impls, 462 clqs
0.00/0.06 c (0.1s) probing: 51/4884 (1.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.40/0.50 c (0.5s) symmetry computation finished: 925 generators found (max: 1500, log10 of symmetry group size: 568.49) (symcode time: 0.44)
0.50/0.60 c dynamic symmetry handling statistics:
0.50/0.60 c orbitopal reduction: no components
0.50/0.60 c orbital reduction: 7 components of sizes 841, 13, 13, 13, 13, 13, 13
0.50/0.60 c lexicographic reduction: 919 permutations with support sizes 18, 4440, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18,c 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 16, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 1c 6, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 16, 2, 2, 16, 16, 16, 16, 16, 16, 1c 6, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 18, 2, 2, 16, 16, 16, 16, 16, 18, 16, 18, 16, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 18, 16, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 18, 18, 18, 18, 18, 18, 16, 16, 16, 16, 16, 16, 18, 16, 16, 18, 18, 18, 18, 18
0.50/0.60 c handled 13 out of 13 symmetry components
0.50/0.60 c (round 3, exhaustive) 0 del vars, 0 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 1456 upgd conss, 0 impls, 468 clqs
0.50/0.60 c (round 4, exhaustive) 0 del vars, 0 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 8 chg coeffs, 1462 upgd conss, 0 impls, 468 clqs
0.59/0.61 c presolving (5 rounds: 5 fast, 5 medium, 5 exhaustive):
0.59/0.61 c 0 deleted vars, 0 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 25 changed coefficients
0.59/0.61 c 0 implications, 468 cliques
0.59/0.61 c presolved problem has 4884 variables (4884 bin, 0 int, 0 cont) and 1462 constraints
0.59/0.61 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.59/0.61 c 233 constraints of type <knapsack>
0.59/0.61 c 468 constraints of type <setppc>
0.59/0.61 c 761 constraints of type <logicor>
0.59/0.61 c transformed objective value is always integral (scale: 1)
0.59/0.61 c Presolving Time: 0.59
0.59/0.61 c
0.59/0.61 c - non default parameters ----------------------------------------------------------------------
0.59/0.61 c
0.59/0.61 c # SCIP version 10.0.0
0.59/0.61 c
0.59/0.61 c # maximal time in seconds to run
0.59/0.61 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.59/0.61 c limits/time = 3596.99801
0.59/0.61 c
0.59/0.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.61 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.59/0.61 c limits/memory = 27900
0.59/0.61 c
0.59/0.61 c # belongs reading time to solving time?
0.59/0.61 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.59/0.61 c timing/reading = TRUE
0.59/0.61 c
0.59/0.61 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.59/0.61 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.59/0.61 c reading/opbreader/maxintsize = 47
0.59/0.61 c
0.59/0.61 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.59/0.61 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.59/0.61 c propagating/genvbounds/timingmask = 0
0.59/0.61 c
0.59/0.61 c -----------------------------------------------------------------------------------------------
0.59/0.61 c
0.59/0.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.66 c 0.7s| 1 | 0 | 2489 | - | 103M | 0 |4884 |1614 |1462 | 0 | 0 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
0.79/0.85 c 0.9s| 1 | 0 | 3396 | - | 106M | 0 |4884 |1627 |1476 | 14 | 1 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
0.89/0.93 c 0.9s| 1 | 0 | 3451 | - | 110M | 0 |4884 |1627 |1490 | 28 | 2 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
0.99/1.01 c 1.0s| 1 | 0 | 3502 | - | 112M | 0 |4884 |1627 |1502 | 40 | 3 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.09/1.11 c 1.1s| 1 | 0 | 3542 | - | 117M | 0 |4884 |1627 |1514 | 52 | 4 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.09/1.19 c 1.2s| 1 | 0 | 3582 | - | 119M | 0 |4884 |1627 |1526 | 64 | 5 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.19/1.24 c 1.2s| 1 | 0 | 3618 | - | 120M | 0 |4884 |1627 |1537 | 75 | 6 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.28/1.30 c 1.3s| 1 | 0 | 3656 | - | 122M | 0 |4884 |1627 |1548 | 86 | 7 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.38/1.42 c 1.4s| 1 | 0 | 3709 | - | 129M | 0 |4884 |1627 |1558 | 96 | 8 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.48/1.53 c 1.5s| 1 | 0 | 3769 | - | 134M | 0 |4884 |1627 |1569 | 107 | 9 | 152 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.65 c 1.7s| 1 | 0 | 3814 | - | 137M | 0 |4884 |1634 |1579 | 117 | 10 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
1.58/1.67 c 1.7s| 1 | 0 | 3834 | - | 138M | 0 |4884 |1634 |1588 | 126 | 11 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
1.78/1.82 c 1.8s| 1 | 2 | 4726 | - | 138M | 0 |4884 |1643 |1588 | 126 | 11 | 168 | 17 | 0.000000e+00 | -- | Inf | unknown
3.78/3.83 c 3.8s| 100 | 55 | 13409 | 96.7 | 140M | 41 |4884 |1672 | 0 | 171 | 0 | 199 | 17 | 0.000000e+00 | -- | Inf | 85.16%
5.08/5.17 c 5.2s| 200 | 93 | 17928 | 70.8 | 149M | 49 |4884 |1707 |1511 | 319 | 1 | 234 | 17 | 0.000000e+00 | -- | Inf | 85.16%
6.16/6.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.16/6.25 c 6.3s| 300 | 152 | 20052 | 54.2 | 150M | 75 |4884 |1760 |1513 | 326 | 1 | 290 | 17 | 0.000000e+00 | -- | Inf | 85.25%
6.97/7.10 c 7.1s| 400 | 114 | 20568 | 41.9 | 150M | 77 |4884 |1819 | 0 | 331 | 0 | 349 | 17 | 0.000000e+00 | -- | Inf | 88.38%
7.86/7.94 c 7.9s| 500 | 98 | 21244 | 34.9 | 151M | 77 |4884 |1842 | 0 | 348 | 0 | 372 | 17 | 0.000000e+00 | -- | Inf | 88.77%
8.86/8.98 c 9.0s| 600 | 98 | 22370 | 30.9 | 151M | 77 |4884 |1870 | 0 | 410 | 0 | 400 | 17 | 0.000000e+00 | -- | Inf | 88.77%
10.05/10.15 c 10.2s| 700 | 116 | 24593 | 29.7 | 151M | 77 |4884 |1901 |1492 | 493 | 1 | 431 | 17 | 0.000000e+00 | -- | Inf | 88.78%
11.14/11.23 c 11.2s| 800 | 144 | 27263 | 29.3 | 152M | 77 |4884 |1944 |1505 | 615 | 1 | 474 | 17 | 0.000000e+00 | -- | Inf | 88.85%
12.24/12.33 c 12.3s| 900 | 164 | 29776 | 28.9 | 152M | 77 |4884 |1989 | 0 | 669 | 0 | 519 | 17 | 0.000000e+00 | -- | Inf | 88.85%
13.04/13.19 c 13.2s| 1000 | 147 | 30630 | 26.8 | 153M | 77 |4884 |2009 | 0 | 735 | 0 | 539 | 17 | 0.000000e+00 | -- | Inf | 95.34%
14.04/14.18 c 14.2s| 1100 | 159 | 32420 | 26.0 | 155M | 77 |4884 |2025 |1520 | 847 | 1 | 555 | 17 | 0.000000e+00 | -- | Inf | 95.96%
14.94/15.04 c 15.0s| 1200 | 171 | 34057 | 25.2 | 155M | 77 |4884 |2043 |1501 | 970 | 2 | 573 | 17 | 0.000000e+00 | -- | Inf | 96.13%
15.73/15.89 c 15.9s| 1300 | 167 | 34969 | 24.0 | 155M | 77 |4884 |2049 |1512 |1037 | 1 | 579 | 17 | 0.000000e+00 | -- | Inf | 96.18%
16.53/16.67 c 16.7s| 1400 | 153 | 36030 | 23.0 | 155M | 77 |4884 |2057 |1506 |1129 | 1 | 587 | 17 | 0.000000e+00 | -- | Inf | 97.50%
17.22/17.37 c 17.4s| 1500 | 141 | 36920 | 22.1 | 155M | 77 |4884 |2067 |1510 |1203 | 1 | 597 | 17 | 0.000000e+00 | -- | Inf | 98.31%
18.03/18.15 c 18.2s| 1600 | 119 | 37762 | 21.2 | 156M | 77 |4884 |2075 |1511 |1290 | 1 | 606 | 17 | 0.000000e+00 | -- | Inf | 98.33%
18.82/18.98 c 19.0s| 1700 | 118 | 39190 | 20.8 | 156M | 77 |4884 |2095 |1502 |1371 | 1 | 633 | 17 | 0.000000e+00 | -- | Inf | 98.64%
19.61/19.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.61/19.76 c 19.8s| 1800 | 108 | 39818 | 20.0 | 156M | 77 |4884 |2104 | 0 |1396 | 0 | 643 | 17 | 0.000000e+00 | -- | Inf | 99.05%
20.92/21.03 c 21.0s| 1900 | 148 | 41388 | 19.8 | 156M | 77 |4884 |2122 |1516 |1477 | 1 | 661 | 17 | 0.000000e+00 | -- | Inf | 99.06%
21.81/21.93 c 21.9s| 2000 | 184 | 43314 | 19.7 | 157M | 77 |4884 |2232 |1516 |1482 | 1 | 771 | 17 | 0.000000e+00 | -- | Inf | 99.06%
22.61/22.70 c 22.7s| 2100 | 200 | 44918 | 19.6 | 157M | 77 |4884 |2294 |1516 |1489 | 1 | 833 | 17 | 0.000000e+00 | -- | Inf | 99.06%
23.31/23.46 c 23.5s| 2200 | 188 | 45600 | 19.0 | 157M | 77 |4884 |2330 | 0 |1497 | 0 | 877 | 17 | 0.000000e+00 | -- | Inf | 99.06%
24.10/24.22 c 24.2s| 2300 | 168 | 46418 | 18.5 | 157M | 77 |4884 |2364 |1518 |1499 | 2 | 911 | 17 | 0.000000e+00 | -- | Inf | 99.06%
24.91/25.03 c 25.0s| 2400 | 152 | 47235 | 18.1 | 157M | 77 |4884 |2391 | 0 |1511 | 0 | 944 | 17 | 0.000000e+00 | -- | Inf | 99.06%
25.80/25.97 c 26.0s| 2500 | 142 | 48305 | 17.8 | 157M | 77 |4884 |2422 |1516 |1538 | 1 | 983 | 17 | 0.000000e+00 | -- | Inf | 99.06%
26.90/27.07 c 27.1s| 2600 | 148 | 49707 | 17.7 | 157M | 77 |4884 |2436 |1511 |1650 | 1 |1005 | 17 | 0.000000e+00 | -- | Inf | 99.06%
27.90/28.02 c 28.0s| 2700 | 180 | 50571 | 17.3 | 157M | 77 |4884 |2439 |1517 |1678 | 1 |1014 | 17 | 0.000000e+00 | -- | Inf | 99.06%
28.79/28.97 c 29.0s| 2800 | 216 | 52286 | 17.3 | 158M | 85 |4884 |2476 |1517 |1678 | 1 |1065 | 17 | 0.000000e+00 | -- | Inf | 99.06%
29.59/29.78 c 29.8s| 2900 | 240 | 53229 | 17.0 | 158M | 86 |4884 |2500 |1517 |1678 | 1 |1097 | 17 | 0.000000e+00 | -- | Inf | 99.06%
30.48/30.61 c 30.6s| 3000 | 264 | 54541 | 16.9 | 158M | 86 |4884 |2526 | 0 |1678 | 0 |1128 | 17 | 0.000000e+00 | -- | Inf | 99.06%
31.38/31.52 c 31.5s| 3100 | 288 | 56365 | 17.0 | 158M | 86 |4884 |2536 |1517 |1680 | 1 |1142 | 17 | 0.000000e+00 | -- | Inf | 99.06%
32.28/32.45 c 32.4s| 3200 | 306 | 58050 | 16.9 | 158M | 86 |4884 |2566 |1517 |1680 | 1 |1182 | 17 | 0.000000e+00 | -- | Inf | 99.06%
33.17/33.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
33.17/33.38 c 33.4s| 3300 | 344 | 59588 | 16.9 | 158M | 86 |4884 |2589 | 0 |1681 | 0 |1212 | 17 | 0.000000e+00 | -- | Inf | 99.06%
34.07/34.26 c 34.3s| 3400 | 360 | 60811 | 16.8 | 158M | 86 |4884 |2601 |1517 |1682 | 1 |1229 | 17 | 0.000000e+00 | -- | Inf | 99.06%
34.87/35.10 c 35.1s| 3500 | 404 | 61791 | 16.6 | 158M | 86 |4884 |2606 | 0 |1682 | 0 |1236 | 17 | 0.000000e+00 | -- | Inf | 99.06%
35.77/36.00 c 36.0s| 3600 | 426 | 62907 | 16.4 | 158M | 86 |4884 |2619 |1517 |1682 | 1 |1258 | 17 | 0.000000e+00 | -- | Inf | 99.06%
36.76/36.92 c 36.9s| 3700 | 436 | 63860 | 16.2 | 158M | 86 |4884 |2613 | 0 |1682 | 0 |1270 | 17 | 0.000000e+00 | -- | Inf | 99.06%
37.66/37.84 c 37.8s| 3800 | 438 | 64875 | 16.1 | 158M | 86 |4884 |2602 |1517 |1682 | 1 |1278 | 17 | 0.000000e+00 | -- | Inf | 99.06%
38.46/38.68 c 38.7s| 3900 | 442 | 65718 | 15.9 | 158M | 86 |4884 |2598 |1517 |1682 | 1 |1293 | 17 | 0.000000e+00 | -- | Inf | 99.06%
39.25/39.41 c 39.4s| 4000 | 433 | 66556 | 15.7 | 158M | 86 |4884 |2604 | 0 |1682 | 0 |1314 | 17 | 0.000000e+00 | -- | Inf | 99.06%
39.96/40.12 c 40.1s| 4100 | 402 | 67324 | 15.5 | 158M | 86 |4884 |2611 | 0 |1682 | 0 |1333 | 17 | 0.000000e+00 | -- | Inf | 99.06%
40.75/40.98 c 41.0s| 4200 | 398 | 68263 | 15.3 | 158M | 86 |4884 |2627 |1517 |1684 | 1 |1358 | 17 | 0.000000e+00 | -- | Inf | 99.06%
41.55/41.73 c 41.7s| 4300 | 380 | 69059 | 15.2 | 158M | 86 |4884 |2620 | 0 |1685 | 0 |1371 | 17 | 0.000000e+00 | -- | Inf | 99.06%
42.34/42.53 c 42.5s| 4400 | 364 | 69828 | 15.0 | 158M | 86 |4884 |2620 | 0 |1687 | 0 |1390 | 17 | 0.000000e+00 | -- | Inf | 99.06%
43.14/43.30 c 43.3s| 4500 | 342 | 70642 | 14.8 | 158M | 86 |4884 |2616 | 0 |1687 | 0 |1418 | 17 | 0.000000e+00 | -- | Inf | 99.06%
43.84/44.03 c 44.0s| 4600 | 310 | 71202 | 14.6 | 158M | 86 |4884 |2612 |1517 |1687 | 1 |1433 | 17 | 0.000000e+00 | -- | Inf | 99.06%
44.64/44.84 c 44.8s| 4700 | 304 | 71825 | 14.5 | 158M | 86 |4884 |2630 | 0 |1687 | 0 |1462 | 17 | 0.000000e+00 | -- | Inf | 99.06%
45.53/45.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.53/45.77 c 45.8s| 4800 | 314 | 72906 | 14.4 | 158M | 86 |4884 |2635 |1516 |1687 | 1 |1474 | 17 | 0.000000e+00 | -- | Inf | 99.06%
46.53/46.71 c 46.7s| 4900 | 310 | 73760 | 14.3 | 158M | 86 |4884 |2637 | 0 |1687 | 0 |1490 | 17 | 0.000000e+00 | -- | Inf | 99.06%
47.43/47.65 c 47.7s| 5000 | 318 | 74624 | 14.2 | 158M | 86 |4884 |2635 |1516 |1687 | 1 |1500 | 17 | 0.000000e+00 | -- | Inf | 99.06%
48.32/48.57 c 48.6s| 5100 | 303 | 75288 | 14.0 | 158M | 86 |4884 |2633 | 0 |1687 | 0 |1503 | 17 | 0.000000e+00 | -- | Inf | 99.06%
49.22/49.47 c 49.5s| 5200 | 285 | 75982 | 13.9 | 158M | 86 |4884 |2635 | 0 |1687 | 0 |1521 | 17 | 0.000000e+00 | -- | Inf | 99.06%
50.02/50.29 c 50.3s| 5300 | 273 | 76691 | 13.7 | 158M | 86 |4884 |2639 | 0 |1687 | 0 |1541 | 17 | 0.000000e+00 | -- | Inf | 99.06%
50.92/51.16 c 51.2s| 5400 | 261 | 77468 | 13.6 | 158M | 86 |4884 |2629 |1516 |1688 | 1 |1560 | 17 | 0.000000e+00 | -- | Inf | 99.06%
51.82/52.02 c 52.0s| 5500 | 247 | 78059 | 13.5 | 158M | 86 |4884 |2626 |1517 |1689 | 1 |1571 | 17 | 0.000000e+00 | -- | Inf | 99.06%
52.51/52.79 c 52.8s| 5600 | 212 | 78949 | 13.4 | 158M | 86 |4884 |2630 | 0 |1690 | 0 |1590 | 17 | 0.000000e+00 | -- | Inf | 99.06%
53.31/53.50 c 53.5s| 5700 | 180 | 79492 | 13.3 | 158M | 86 |4884 |2633 | 0 |1690 | 0 |1610 | 17 | 0.000000e+00 | -- | Inf | 99.06%
54.00/54.24 c 54.2s| 5800 | 164 | 80183 | 13.2 | 158M | 86 |4884 |2635 | 0 |1690 | 0 |1619 | 17 | 0.000000e+00 | -- | Inf | 99.06%
54.90/55.16 c 55.2s| 5900 | 160 | 81284 | 13.1 | 159M | 86 |4884 |2640 |1520 |1744 | 3 |1635 | 17 | 0.000000e+00 | -- | Inf | 99.06%
55.80/56.00 c 56.0s| 6000 | 162 | 82926 | 13.2 | 159M | 86 |4884 |2628 | 0 |1770 | 0 |1642 | 17 | 0.000000e+00 | -- | Inf | 99.06%
56.69/56.91 c 56.9s| 6100 | 170 | 84093 | 13.2 | 159M | 86 |4884 |2631 |1503 |1830 | 1 |1658 | 17 | 0.000000e+00 | -- | Inf | 99.06%
57.49/57.76 c 57.8s| 6200 | 170 | 85192 | 13.1 | 160M | 86 |4884 |2634 |1519 |1872 | 1 |1676 | 17 | 0.000000e+00 | -- | Inf | 99.06%
58.39/58.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
58.39/58.61 c 58.6s| 6300 | 168 | 86087 | 13.1 | 160M | 86 |4884 |2632 |1503 |1910 | 1 |1688 | 17 | 0.000000e+00 | -- | Inf | 99.06%
59.19/59.46 c 59.5s| 6400 | 170 | 86844 | 13.0 | 160M | 86 |4884 |2633 |1503 |1915 | 1 |1694 | 17 | 0.000000e+00 | -- | Inf | 99.06%
60.09/60.31 c 60.3s| 6500 | 176 | 87683 | 12.9 | 160M | 86 |4884 |2639 |1506 |1928 | 1 |1703 | 17 | 0.000000e+00 | -- | Inf | 99.06%
60.89/61.19 c 61.2s| 6600 | 177 | 88470 | 12.8 | 160M | 86 |4884 |2646 |1506 |1947 | 1 |1718 | 17 | 0.000000e+00 | -- | Inf | 99.06%
61.68/61.94 c 61.9s| 6700 | 175 | 89135 | 12.7 | 160M | 86 |4884 |2650 |1499 |1958 | 1 |1727 | 17 | 0.000000e+00 | -- | Inf | 99.06%
62.57/62.85 c 62.9s| 6800 | 183 | 89847 | 12.7 | 160M | 86 |4884 |2656 |1506 |1975 | 1 |1735 | 17 | 0.000000e+00 | -- | Inf | 99.06%
63.27/63.58 c 63.6s| 6900 | 181 | 90268 | 12.5 | 160M | 86 |4884 |2651 |1506 |1994 | 1 |1736 | 17 | 0.000000e+00 | -- | Inf | 99.06%
64.07/64.30 c 64.3s| 7000 | 179 | 90653 | 12.4 | 160M | 86 |4884 |2646 |1508 |2009 | 1 |1739 | 17 | 0.000000e+00 | -- | Inf | 99.06%
64.96/65.29 c 65.3s| 7100 | 187 | 92458 | 12.5 | 160M | 86 |4884 |2654 | 0 |2044 | 0 |1751 | 17 | 0.000000e+00 | -- | Inf | 99.06%
65.87/66.15 c 66.2s| 7200 | 183 | 93385 | 12.4 | 160M | 86 |4884 |2658 | 0 |2088 | 0 |1759 | 17 | 0.000000e+00 | -- | Inf | 99.06%
66.66/66.99 c 67.0s| 7300 | 179 | 94513 | 12.4 | 160M | 86 |4884 |2657 |1528 |2104 | 1 |1764 | 17 | 0.000000e+00 | -- | Inf | 99.06%
67.56/67.80 c 67.8s| 7400 | 177 | 95169 | 12.3 | 160M | 86 |4884 |2661 |1506 |2135 | 1 |1770 | 17 | 0.000000e+00 | -- | Inf | 99.06%
68.35/68.64 c 68.6s| 7500 | 183 | 95895 | 12.3 | 160M | 86 |4884 |2659 |1502 |2149 | 1 |1771 | 17 | 0.000000e+00 | -- | Inf | 99.06%
69.15/69.47 c 69.5s| 7600 | 183 | 96857 | 12.2 | 161M | 86 |4884 |2657 |1525 |2196 | 1 |1776 | 17 | 0.000000e+00 | -- | Inf | 99.06%
69.95/70.24 c 70.2s| 7700 | 189 | 97847 | 12.2 | 161M | 86 |4884 |2659 |1512 |2220 | 1 |1780 | 17 | 0.000000e+00 | -- | Inf | 99.06%
70.75/71.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
70.75/71.01 c 71.0s| 7800 | 189 | 98542 | 12.1 | 161M | 86 |4884 |2654 |1499 |2220 | 1 |1786 | 17 | 0.000000e+00 | -- | Inf | 99.06%
71.54/71.85 c 71.9s| 7900 | 189 | 99388 | 12.1 | 161M | 86 |4884 |2650 |1499 |2244 | 1 |1786 | 17 | 0.000000e+00 | -- | Inf | 99.06%
72.34/72.69 c 72.7s| 8000 | 189 |100164 | 12.0 | 161M | 86 |4884 |2647 |1499 |2244 | 1 |1788 | 17 | 0.000000e+00 | -- | Inf | 99.06%
73.34/73.65 c 73.7s| 8100 | 195 |100670 | 12.0 | 161M | 86 |4884 |2641 | 0 |2255 | 0 |1791 | 17 | 0.000000e+00 | -- | Inf | 99.06%
74.23/74.50 c 74.5s| 8200 | 197 |101019 | 11.9 | 161M | 86 |4884 |2617 | 0 |2273 | 0 |1792 | 17 | 0.000000e+00 | -- | Inf | 99.06%
75.13/75.41 c 75.4s| 8300 | 195 |101517 | 11.8 | 161M | 86 |4884 |2607 |1508 |2303 | 1 |1793 | 17 | 0.000000e+00 | -- | Inf | 99.06%
75.83/76.11 c 76.1s| 8400 | 197 |101966 | 11.7 | 161M | 86 |4884 |2607 |1508 |2307 | 1 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
76.62/76.94 c 76.9s| 8500 | 201 |102317 | 11.6 | 161M | 86 |4884 |2593 |1504 |2307 | 1 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
77.42/77.73 c 77.7s| 8600 | 197 |102723 | 11.5 | 161M | 86 |4884 |2572 | 0 |2313 | 0 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
78.12/78.45 c 78.4s| 8700 | 195 |103016 | 11.4 | 161M | 86 |4884 |2568 |1511 |2321 | 1 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
78.82/79.18 c 79.2s| 8800 | 195 |103443 | 11.3 | 161M | 86 |4884 |2565 |1511 |2338 | 1 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
79.61/79.92 c 79.9s| 8900 | 191 |103730 | 11.2 | 161M | 86 |4884 |2564 | 0 |2354 | 0 |1794 | 17 | 0.000000e+00 | -- | Inf | 99.06%
80.41/80.78 c 80.8s| 9000 | 199 |104639 | 11.2 | 161M | 86 |4884 |2564 | 0 |2396 | 0 |1800 | 17 | 0.000000e+00 | -- | Inf | 99.06%
81.41/81.72 c 81.7s| 9100 | 209 |106042 | 11.2 | 161M | 86 |4884 |2571 |1510 |2463 | 1 |1827 | 17 | 0.000000e+00 | -- | Inf | 99.06%
82.21/82.55 c 82.6s| 9200 | 199 |106584 | 11.2 | 161M | 86 |4884 |2575 | 0 |2470 | 0 |1837 | 17 | 0.000000e+00 | -- | Inf | 99.06%
83.10/83.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
83.10/83.42 c 83.4s| 9300 | 205 |107032 | 11.1 | 161M | 86 |4884 |2576 | 0 |2475 | 0 |1843 | 17 | 0.000000e+00 | -- | Inf | 99.06%
83.90/84.22 c 84.2s| 9400 | 209 |107824 | 11.1 | 161M | 86 |4884 |2572 |1506 |2553 | 1 |1847 | 17 | 0.000000e+00 | -- | Inf | 99.06%
84.60/84.94 c 84.9s| 9500 | 213 |108376 | 11.0 | 161M | 86 |4884 |2574 |1515 |2570 | 1 |1853 | 17 | 0.000000e+00 | -- | Inf | 99.06%
85.29/85.69 c 85.7s| 9600 | 217 |109124 | 11.0 | 161M | 86 |4884 |2574 |1511 |2590 | 1 |1855 | 17 | 0.000000e+00 | -- | Inf | 99.06%
86.09/86.45 c 86.5s| 9700 | 215 |109710 | 10.9 | 161M | 86 |4884 |2574 |1514 |2609 | 1 |1856 | 17 | 0.000000e+00 | -- | Inf | 99.06%
86.89/87.23 c 87.2s| 9800 | 223 |110452 | 10.9 | 161M | 86 |4884 |2576 |1511 |2626 | 1 |1860 | 17 | 0.000000e+00 | -- | Inf | 99.06%
87.69/88.06 c 88.1s| 9900 | 225 |111511 | 10.9 | 161M | 86 |4884 |2572 |1518 |2718 | 1 |1863 | 17 | 0.000000e+00 | -- | Inf | 99.06%
88.48/88.82 c 88.8s| 10000 | 223 |112167 | 10.8 | 161M | 86 |4884 |2571 | 0 |2766 | 0 |1867 | 17 | 0.000000e+00 | -- | Inf | 99.06%
89.28/89.62 c 89.6s| 10100 | 229 |113179 | 10.8 | 161M | 86 |4884 |2570 | 0 |2821 | 0 |1869 | 17 | 0.000000e+00 | -- | Inf | 99.06%
90.08/90.40 c 90.4s| 10200 | 229 |113898 | 10.8 | 161M | 86 |4884 |2569 |1518 |2876 | 5 |1876 | 17 | 0.000000e+00 | -- | Inf | 99.06%
90.88/91.20 c 91.2s| 10300 | 229 |114704 | 10.8 | 161M | 86 |4884 |2568 | 0 |2960 | 0 |1879 | 17 | 0.000000e+00 | -- | Inf | 99.06%
91.78/92.15 c 92.1s| 10400 | 229 |115401 | 10.7 | 161M | 86 |4884 |2562 |1505 |3000 | 1 |1882 | 17 | 0.000000e+00 | -- | Inf | 99.06%
92.48/92.89 c 92.9s| 10500 | 229 |115997 | 10.7 | 161M | 86 |4884 |2559 | 0 |3021 | 0 |1883 | 17 | 0.000000e+00 | -- | Inf | 99.06%
93.28/93.61 c 93.6s| 10600 | 233 |116329 | 10.6 | 161M | 86 |4884 |2554 | 0 |3026 | 0 |1883 | 17 | 0.000000e+00 | -- | Inf | 99.06%
93.97/94.36 c 94.4s| 10700 | 229 |116671 | 10.5 | 161M | 86 |4884 |2552 |1507 |3026 | 1 |1883 | 17 | 0.000000e+00 | -- | Inf | 99.06%
94.97/95.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
94.97/95.36 c 95.4s| 10800 | 229 |117330 | 10.5 | 161M | 86 |4884 |2551 | 0 |3044 | 0 |1890 | 17 | 0.000000e+00 | -- | Inf | 99.06%
95.97/96.38 c 96.4s| 10900 | 235 |118183 | 10.5 | 161M | 86 |4884 |2547 |1518 |3072 | 1 |1892 | 17 | 0.000000e+00 | -- | Inf | 99.06%
96.77/97.14 c 97.1s| 11000 | 231 |118724 | 10.4 | 161M | 86 |4884 |2545 |1501 |3096 | 1 |1892 | 17 | 0.000000e+00 | -- | Inf | 99.06%
97.56/97.91 c 97.9s| 11100 | 231 |119445 | 10.4 | 161M | 86 |4884 |2544 | 0 |3146 | 0 |1894 | 17 | 0.000000e+00 | -- | Inf | 99.06%
98.36/98.70 c 98.7s| 11200 | 227 |120015 | 10.4 | 161M | 86 |4884 |2545 | 0 |3157 | 0 |1902 | 17 | 0.000000e+00 | -- | Inf | 99.06%
99.26/99.61 c 99.6s| 11300 | 223 |120829 | 10.4 | 161M | 86 |4884 |2534 | 0 |3193 | 0 |1904 | 17 | 0.000000e+00 | -- | Inf | 99.06%
100.15/100.54 c 101s| 11400 | 225 |121767 | 10.3 | 161M | 86 |4884 |2528 |1510 |3244 | 1 |1905 | 17 | 0.000000e+00 | -- | Inf | 99.06%
100.95/101.36 c 101s| 11500 | 229 |122593 | 10.3 | 161M | 86 |4884 |2524 | 0 |3284 | 0 |1906 | 17 | 0.000000e+00 | -- | Inf | 99.06%
101.85/102.25 c 102s| 11600 | 229 |123550 | 10.3 | 161M | 86 |4884 |2519 |1506 |3353 | 1 |1908 | 17 | 0.000000e+00 | -- | Inf | 99.06%
102.75/103.15 c 103s| 11700 | 225 |124296 | 10.3 | 161M | 86 |4884 |2518 | 0 |3375 | 0 |1913 | 17 | 0.000000e+00 | -- | Inf | 99.06%
103.65/104.07 c 104s| 11800 | 221 |125203 | 10.3 | 161M | 86 |4884 |2516 |1506 |3445 | 1 |1915 | 17 | 0.000000e+00 | -- | Inf | 99.06%
104.44/104.89 c 105s| 11900 | 213 |125975 | 10.3 | 161M | 86 |4884 |2512 | 0 |3467 | 0 |1924 | 17 | 0.000000e+00 | -- | Inf | 99.07%
105.44/105.84 c 106s| 12000 | 213 |126943 | 10.3 | 161M | 86 |4884 |2509 |1506 |3535 | 1 |1928 | 17 | 0.000000e+00 | -- | Inf | 99.07%
106.23/106.63 c 107s| 12100 | 209 |127774 | 10.2 | 161M | 86 |4884 |2512 | 0 |3595 | 0 |1933 | 17 | 0.000000e+00 | -- | Inf | 99.07%
107.13/107.52 c 108s| 12200 | 202 |128905 | 10.3 | 162M | 86 |4884 |2513 |1506 |3621 | 1 |1944 | 17 | 0.000000e+00 | -- | Inf | 99.07%
108.03/108.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
108.03/108.49 c 108s| 12300 | 202 |129681 | 10.2 | 162M | 86 |4884 |2516 | 0 |3653 | 0 |1950 | 17 | 0.000000e+00 | -- | Inf | 99.07%
109.22/109.67 c 110s| 12400 | 198 |130566 | 10.2 | 163M | 86 |4884 |2518 |1507 |3701 | 1 |1956 | 17 | 0.000000e+00 | -- | Inf | 99.07%
110.02/110.48 c 110s| 12500 | 193 |131135 | 10.2 | 163M | 86 |4884 |2523 |1503 |3726 | 1 |1965 | 17 | 0.000000e+00 | -- | Inf | 99.07%
111.01/111.42 c 111s| 12600 | 193 |132112 | 10.2 | 163M | 86 |4884 |2523 |1514 |3761 | 1 |1970 | 17 | 0.000000e+00 | -- | Inf | 99.07%
112.41/112.80 c 113s| 12700 | 189 |133454 | 10.2 | 163M | 86 |4884 |2526 |1506 |3934 | 1 |1976 | 17 | 0.000000e+00 | -- | Inf | 99.07%
113.41/113.89 c 114s| 12800 | 175 |134288 | 10.2 | 163M | 86 |4884 |2534 | 0 |4033 | 0 |1985 | 17 | 0.000000e+00 | -- | Inf | 99.07%
114.20/114.65 c 115s| 12900 | 163 |134921 | 10.2 | 163M | 86 |4884 |2532 |1511 |4056 | 1 |1989 | 17 | 0.000000e+00 | -- | Inf | 99.07%
115.10/115.53 c 116s| 13000 | 152 |135540 | 10.1 | 163M | 86 |4884 |2535 |1508 |4085 | 1 |1995 | 17 | 0.000000e+00 | -- | Inf | 99.08%
116.10/116.52 c 117s| 13100 | 151 |136433 | 10.1 | 163M | 86 |4884 |2533 | 0 |4145 | 0 |2005 | 17 | 0.000000e+00 | -- | Inf | 99.08%
116.99/117.46 c 117s| 13200 | 149 |137260 | 10.1 | 163M | 86 |4884 |2529 | 0 |4197 | 0 |2013 | 17 | 0.000000e+00 | -- | Inf | 99.08%
118.09/118.51 c 119s| 13300 | 155 |137869 | 10.1 | 163M | 86 |4884 |2533 | 0 |4217 | 0 |2031 | 17 | 0.000000e+00 | -- | Inf | 99.09%
120.28/120.71 c 121s| 13400 | 159 |139204 | 10.1 | 163M | 86 |4884 |2538 |1508 |4379 | 1 |2045 | 17 | 0.000000e+00 | -- | Inf | 99.09%
122.37/122.82 c 123s| 13500 | 165 |140485 | 10.1 | 163M | 86 |4884 |2539 |1506 |4488 | 1 |2056 | 17 | 0.000000e+00 | -- | Inf | 99.09%
124.36/124.81 c 125s| 13600 | 155 |141626 | 10.1 | 163M | 86 |4884 |2538 |1506 |4600 | 2 |2066 | 17 | 0.000000e+00 | -- | Inf | 99.10%
125.96/126.43 c 126s| 13700 | 140 |142593 | 10.1 | 163M | 86 |4884 |2538 |1505 |4672 | 1 |2075 | 17 | 0.000000e+00 | -- | Inf | 99.10%
126.75/127.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
126.75/127.22 c 127s| 13800 | 131 |143279 | 10.1 | 163M | 86 |4884 |2546 |1513 |4698 | 1 |2089 | 17 | 0.000000e+00 | -- | Inf | 99.10%
127.56/128.03 c 128s| 13900 | 135 |144027 | 10.1 | 163M | 86 |4884 |2546 | 0 |4735 | 0 |2096 | 17 | 0.000000e+00 | -- | Inf | 99.10%
128.25/128.78 c 129s| 14000 | 129 |144633 | 10.1 | 163M | 86 |4884 |2551 | 0 |4776 | 0 |2105 | 17 | 0.000000e+00 | -- | Inf | 99.10%
129.14/129.60 c 130s| 14100 | 120 |145269 | 10.0 | 163M | 86 |4884 |2541 | 0 |4805 | 0 |2119 | 17 | 0.000000e+00 | -- | Inf | 99.12%
129.84/130.36 c 130s| 14200 | 120 |145777 | 10.0 | 163M | 86 |4884 |2540 |1509 |4828 | 1 |2125 | 17 | 0.000000e+00 | -- | Inf | 99.12%
130.75/131.27 c 131s| 14300 | 138 |147406 | 10.0 | 163M | 86 |4884 |2537 | 0 |4840 | 0 |2126 | 17 | 0.000000e+00 | -- | Inf | 99.12%
131.65/132.16 c 132s| 14400 | 118 |147809 | 10.0 | 163M | 86 |4884 |2527 | 0 |4858 | 0 |2132 | 17 | 0.000000e+00 | -- | Inf | 99.13%
132.65/133.14 c 133s| 14500 | 113 |148859 | 10.0 | 163M | 86 |4884 |2529 | 0 |4943 | 0 |2139 | 17 | 0.000000e+00 | -- | Inf | 99.17%
133.44/133.97 c 134s| 14600 | 107 |149785 | 10.0 | 163M | 86 |4884 |2529 | 0 |5014 | 0 |2145 | 17 | 0.000000e+00 | -- | Inf | 99.19%
134.64/135.17 c 135s| 14700 | 106 |150687 | 10.0 | 163M | 86 |4884 |2526 | 0 |5081 | 0 |2154 | 17 | 0.000000e+00 | -- | Inf | 99.22%
135.63/136.14 c 136s| 14800 | 100 |151707 | 10.0 | 164M | 86 |4884 |2527 |1518 |5234 | 1 |2162 | 17 | 0.000000e+00 | -- | Inf | 99.22%
136.72/137.20 c 137s| 14900 | 99 |152816 | 10.0 | 164M | 86 |4884 |2529 | 0 |5393 | 0 |2171 | 17 | 0.000000e+00 | -- | Inf | 99.22%
137.42/137.94 c 138s| 15000 | 92 |153440 | 10.0 | 164M | 86 |4884 |2524 | 0 |5418 | 0 |2180 | 17 | 0.000000e+00 | -- | Inf | 99.26%
138.32/138.81 c 139s| 15100 | 86 |154332 | 10.0 | 164M | 86 |4884 |2521 | 0 |5473 | 0 |2188 | 17 | 0.000000e+00 | -- | Inf | 99.26%
139.11/139.65 c 140s| 15200 | 70 |154910 | 9.9 | 164M | 86 |4884 |2514 |1496 |5564 | 1 |2195 | 17 | 0.000000e+00 | -- | Inf | 99.46%
140.11/140.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
140.11/140.64 c 141s| 15300 | 66 |155792 | 9.9 | 164M | 86 |4884 |2515 |1496 |5604 | 1 |2202 | 17 | 0.000000e+00 | -- | Inf | 99.51%
141.31/141.86 c 142s| 15400 | 64 |156538 | 9.9 | 164M | 86 |4884 |2512 | 0 |5660 | 0 |2211 | 17 | 0.000000e+00 | -- | Inf | 99.53%
142.30/142.84 c 143s| 15500 | 62 |157583 | 9.9 | 164M | 86 |4884 |2518 | 0 |5757 | 0 |2222 | 17 | 0.000000e+00 | -- | Inf | 99.55%
143.20/143.79 c 144s| 15600 | 52 |158937 | 9.9 | 164M | 86 |4884 |2518 | 0 |5902 | 0 |2226 | 17 | 0.000000e+00 | -- | Inf | 99.56%
144.10/144.60 c 145s| 15700 | 44 |159799 | 9.9 | 164M | 86 |4884 |2520 | 0 |5985 | 0 |2234 | 17 | 0.000000e+00 | -- | Inf | 99.56%
144.79/145.35 c 145s| 15800 | 36 |160469 | 9.9 | 164M | 86 |4884 |2522 | 0 |6028 | 0 |2244 | 17 | 0.000000e+00 | -- | Inf | 99.59%
145.60/146.14 c 146s| 15900 | 24 |161427 | 9.9 | 164M | 86 |4884 |2522 | 0 |6125 | 0 |2257 | 17 | 0.000000e+00 | -- | Inf | 99.70%
146.39/146.91 c 147s| 16000 | 30 |162314 | 9.9 | 164M | 86 |4884 |2519 |1511 |6202 | 1 |2261 | 17 | 0.000000e+00 | -- | Inf | 99.71%
147.09/147.67 c 148s| 16100 | 16 |163085 | 9.9 | 164M | 86 |4884 |2509 | 0 |6279 | 0 |2266 | 17 | 0.000000e+00 | -- | Inf | 99.77%
147.88/148.42 c 148s| 16200 | 16 |163923 | 9.9 | 164M | 86 |4884 |2511 | 0 |6344 | 0 |2274 | 17 | 0.000000e+00 | -- | Inf | 99.90%
148.59/149.16 c 149s| 16300 | 16 |164991 | 9.9 | 164M | 86 |4884 |2507 |1495 |6490 | 1 |2279 | 17 | 0.000000e+00 | -- | Inf | 99.90%
149.38/149.94 c 150s| 16400 | 20 |166158 | 9.9 | 164M | 86 |4884 |2505 |1518 |6670 | 2 |2282 | 17 | 0.000000e+00 | -- | Inf | 99.91%
150.28/150.85 c 151s| 16500 | 34 |166982 | 9.9 | 164M | 86 |4884 |2528 |1531 |6714 | 1 |2308 | 17 | 0.000000e+00 | -- | Inf | 99.91%
151.17/151.74 c 152s| 16600 | 28 |167714 | 9.9 | 164M | 86 |4884 |2535 |1523 |6738 | 1 |2322 | 17 | 0.000000e+00 | -- | Inf | 99.91%
151.97/152.58 c 153s| 16700 | 26 |168436 | 9.9 | 164M | 86 |4884 |2542 | 0 |6790 | 0 |2332 | 17 | 0.000000e+00 | -- | Inf | 99.91%
152.87/153.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
152.87/153.47 c 153s| 16800 | 28 |169388 | 9.9 | 164M | 86 |4884 |2556 |1526 |6828 | 1 |2349 | 17 | 0.000000e+00 | -- | Inf | 99.91%
153.76/154.35 c 154s| 16900 | 36 |170419 | 9.9 | 164M | 86 |4884 |2563 |1525 |6876 | 1 |2358 | 17 | 0.000000e+00 | -- | Inf | 99.91%
154.66/155.29 c 155s| 17000 | 46 |173369 | 10.0 | 164M | 86 |4884 |2573 |1529 |6937 | 1 |2373 | 17 | 0.000000e+00 | -- | Inf | 99.91%
155.56/156.14 c 156s| 17100 | 44 |174199 | 10.0 | 165M | 86 |4884 |2570 |1529 |7004 | 1 |2382 | 17 | 0.000000e+00 | -- | Inf | 99.91%
156.46/157.07 c 157s| 17200 | 34 |175174 | 10.0 | 165M | 86 |4884 |2575 |1523 |7062 | 1 |2392 | 17 | 0.000000e+00 | -- | Inf | 99.91%
157.56/158.18 c 158s| 17300 | 34 |176258 | 10.0 | 165M | 86 |4884 |2587 |1514 |7125 | 1 |2410 | 17 | 0.000000e+00 | -- | Inf | 99.91%
158.55/159.16 c 159s| 17400 | 30 |177103 | 10.0 | 165M | 86 |4884 |2591 |1524 |7197 | 1 |2418 | 17 | 0.000000e+00 | -- | Inf | 99.91%
159.34/159.98 c 160s| 17500 | 28 |177720 | 9.9 | 165M | 86 |4884 |2591 |1524 |7233 | 1 |2422 | 17 | 0.000000e+00 | -- | Inf | 99.91%
160.24/160.87 c 161s| 17600 | 24 |178602 | 9.9 | 165M | 86 |4884 |2598 |1502 |7272 | 1 |2432 | 17 | 0.000000e+00 | -- | Inf | 99.91%
161.04/161.66 c 162s| 17700 | 24 |179347 | 9.9 | 166M | 86 |4884 |2599 | 0 |7348 | 0 |2437 | 17 | 0.000000e+00 | -- | Inf | 99.91%
161.84/162.42 c 162s| 17800 | 18 |179985 | 9.9 | 166M | 86 |4884 |2596 |1509 |7413 | 2 |2439 | 17 | 0.000000e+00 | -- | Inf | 99.91%
162.63/163.26 c 163s| 17900 | 18 |180757 | 9.9 | 166M | 86 |4884 |2594 |1510 |7413 | 1 |2442 | 17 | 0.000000e+00 | -- | Inf | 99.91%
163.44/164.09 c 164s| 18000 | 20 |181636 | 9.9 | 166M | 86 |4884 |2595 |1496 |7461 | 1 |2445 | 17 | 0.000000e+00 | -- | Inf | 99.91%
164.33/164.99 c 165s| 18100 | 28 |182720 | 9.9 | 166M | 86 |4884 |2591 |1510 |7581 | 1 |2449 | 17 | 0.000000e+00 | -- | Inf | 99.91%
165.32/165.94 c 166s| 18200 | 30 |183549 | 9.9 | 166M | 86 |4884 |2599 |1526 |7666 | 1 |2461 | 17 | 0.000000e+00 | -- | Inf | 99.91%
166.22/166.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
166.22/166.86 c 167s| 18300 | 26 |184521 | 9.9 | 166M | 86 |4884 |2599 |1526 |7799 | 1 |2470 | 17 | 0.000000e+00 | -- | Inf | 99.91%
167.12/167.71 c 168s| 18400 | 24 |185728 | 9.9 | 166M | 86 |4884 |2599 | 0 |8010 | 0 |2477 | 17 | 0.000000e+00 | -- | Inf | 99.91%
167.92/168.58 c 169s| 18500 | 18 |186727 | 9.9 | 166M | 86 |4884 |2593 | 0 |8101 | 0 |2481 | 17 | 0.000000e+00 | -- | Inf | 99.92%
168.81/169.49 c 169s| 18600 | 26 |187766 | 9.9 | 166M | 86 |4884 |2594 |1525 |8183 | 1 |2491 | 17 | 0.000000e+00 | -- | Inf | 99.92%
169.61/170.29 c 170s| 18700 | 22 |188565 | 9.9 | 166M | 86 |4884 |2593 |1518 |8247 | 1 |2492 | 17 | 0.000000e+00 | -- | Inf | 99.92%
170.51/171.16 c 171s| 18800 | 20 |189454 | 9.9 | 166M | 86 |4884 |2593 |1515 |8279 | 1 |2499 | 17 | 0.000000e+00 | -- | Inf | 99.97%
171.41/172.06 c 172s| 18900 | 14 |190837 | 9.9 | 166M | 86 |4884 |2592 |1515 |8456 | 1 |2508 | 17 | 0.000000e+00 | -- | Inf | 99.97%
172.30/172.95 c 173s| 19000 | 14 |191797 | 9.9 | 166M | 86 |4884 |2597 | 0 |8559 | 0 |2516 | 17 | 0.000000e+00 | -- | Inf | 99.97%
173.10/173.79 c 174s| 19100 | 12 |192698 | 9.9 | 166M | 86 |4884 |2597 |1524 |8642 | 1 |2531 | 17 | 0.000000e+00 | -- | Inf | 99.97%
173.90/174.56 c 175s| 19200 | 14 |193517 | 9.9 | 166M | 86 |4884 |2597 |1524 |8702 | 1 |2550 | 17 | 0.000000e+00 | -- | Inf | 99.97%
174.69/175.36 c 175s| 19300 | 10 |194631 | 9.9 | 166M | 86 |4884 |2603 |1518 |8846 | 2 |2567 | 17 | 0.000000e+00 | -- | Inf | 99.98%
175.59/176.22 c 176s| 19400 | 12 |195591 | 9.9 | 166M | 86 |4884 |2601 | 0 |8947 | 0 |2572 | 17 | 0.000000e+00 | -- | Inf | 99.98%
176.39/177.05 c 177s| 19500 | 4 |196149 | 9.9 | 166M | 86 |4884 |2610 | 0 |8963 | 0 |2585 | 17 | 0.000000e+00 | -- | Inf | 99.99%
177.18/177.83 c 178s| 19600 | 10 |197020 | 9.9 | 166M | 86 |4884 |2609 | 0 |9004 | 0 |2600 | 17 | 0.000000e+00 | -- | Inf | 99.99%
177.88/178.53 c 179s| 19700 | 4 |197609 | 9.8 | 166M | 86 |4884 |2614 | 0 |9006 | 0 |2615 | 17 | 0.000000e+00 | -- | Inf | 100.00%
178.68/179.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.68/179.32 c 179s| 19800 | 8 |198385 | 9.8 | 166M | 86 |4884 |2615 |1511 |9064 | 1 |2625 | 17 | 0.000000e+00 | -- | Inf | 100.00%
179.38/180.09 c
179.38/180.09 c SCIP Status : problem is solved [infeasible]
179.38/180.09 c Solving Time (sec) : 180.10
179.38/180.09 c Solving Nodes : 19892
179.38/180.09 c Primal Bound : +1.00000000000000e+20 (0 solutions)
179.38/180.09 c Dual Bound : +1.00000000000000e+20
179.38/180.09 c Gap : 0.00 %
179.38/180.09 s UNSATISFIABLE
179.38/180.09 c SCIP Status : problem is solved [infeasible]
179.38/180.09 c Total Time : 180.10
179.38/180.09 c solving : 180.10
179.38/180.09 c presolving : 0.59 (included in solving)
179.38/180.09 c reading : 0.01 (included in solving)
179.38/180.09 c copying : 0.78 (106 #copies) (minimal 0.01, maximal 0.01, average 0.01)
179.38/180.09 c Original Problem :
179.38/180.09 c Problem name : HOME/instance-4542630-1753213487.opb
179.38/180.09 c Variables : 4884 (4884 binary, 0 integer, 0 continuous)
179.38/180.09 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
179.38/180.09 c Constraints : 1456 initial, 1456 maximal
179.38/180.09 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
179.38/180.09 c Presolved Problem :
179.38/180.09 c Problem name : t_HOME/instance-4542630-1753213487.opb
179.38/180.09 c Variables : 4884 (4884 binary, 0 integer, 0 continuous)
179.38/180.09 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
179.38/180.09 c Constraints : 1462 initial, 2661 maximal
179.38/180.09 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
179.38/180.09 c Nonzeros : 14138 constraint, 4167 clique table
179.38/180.09 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
179.38/180.09 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
179.38/180.09 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
179.38/180.09 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
179.38/180.09 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
179.38/180.09 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
179.38/180.09 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c symmetry : 0.54 0.00 1 0 0 0 0 0 0 6 0 0
179.38/180.09 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c knapsack : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
179.38/180.09 c setppc : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
179.38/180.09 c linear : 0.01 0.00 6 0 0 0 0 0 0 0 0 0
179.38/180.09 c logicor : 0.00 0.00 10 0 0 0 0 0 0 0 0 25
179.38/180.09 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c root node : - - - 71 - - 71 - - - - -
179.38/180.09 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
179.38/180.09 c integral : 0 0 0 0 9975 0 0 1187 0 0 0 0 0 0 19950
179.38/180.09 c knapsack : 233+ 302 11 44387 0 0 0 1183 1092 1403 7389 0 0 0 0
179.38/180.09 c setppc : 468+ 491 11 42984 0 0 0 22 3447 86 12124 0 0 0 0
179.38/180.09 c linear : 0+ 35 11 41408 0 0 0 3 13 0 326 0 0 0 0
179.38/180.09 c logicor : 761+ 1872 11 28354 0 0 0 17 2455 956 20275 0 0 0 0
179.38/180.09 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
179.38/180.09 c integral : 0.73 0.00 0.00 0.00 0.73 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c knapsack : 0.20 0.00 0.01 0.16 0.00 0.00 0.00 0.03 0.00 0.00
179.38/180.09 c setppc : 0.05 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c linear : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c logicor : 0.21 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c Propagators : #Propagate #ResProp Cutoffs DomReds
179.38/180.09 c dualfix : 1 0 0 0
179.38/180.09 c genvbounds : 0 0 0 0
179.38/180.09 c nlobbt : 0 0 0 0
179.38/180.09 c obbt : 0 0 0 0
179.38/180.09 c probing : 0 0 0 0
179.38/180.09 c pseudoobj : 0 0 0 0
179.38/180.09 c redcost : 0 0 0 0
179.38/180.09 c rootredcost : 0 0 0 0
179.38/180.09 c symmetry : 38224 0 7397 76690
179.38/180.09 c vbounds : 6199 0 0 0
179.38/180.09 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
179.38/180.09 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
179.38/180.09 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
179.38/180.09 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
179.38/180.09 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
179.38/180.09 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
179.38/180.09 c symmetry : 133.55 0.00 0.54 133.01 0.00 0.00
179.38/180.09 c vbounds : 0.07 0.00 0.00 0.07 0.00 0.00
179.38/180.09 c Symmetry :
179.38/180.09 c #affected vars : 4878 (4878 bin, 0 int, 0 cont)
179.38/180.09 c orbitopal red. : 0 reductions applied, 0 cutoffs
179.38/180.09 c orbital reduction: 76687 reductions applied, 7397 cutoffs
179.38/180.09 c lexicographic red: 5 reductions applied, 0 cutoffs
179.38/180.09 c shadow tree time : 0.03 s
179.38/180.09 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
179.38/180.09 c propagation : 0.02 2434 1553 - 2045 14.9 10 7.2 - - -
179.38/180.09 c infeasible LP : 0.07 227 228 - 453 14.1 1 3.0 227 20.5 0
179.38/180.09 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
179.38/180.09 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
179.38/180.09 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
179.38/180.09 c applied globally : 0.01 - - 1 2406 14.5 - - 227 - -
179.38/180.09 c applied locally : - - - 0 0 0.0 - - 0 - -
179.38/180.09 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
179.38/180.09 c cut pool : 1.08 - 2334 21 - - 11699 137125 - - - - - (maximal pool size: 2146)
179.38/180.09 c aggregation : 0.16 0.00 350 11 0 0 9 77 0 0 0 0 0
179.38/180.09 c > cmir : - - - - - - - 73 0 0 0 0 -
179.38/180.09 c > flowcover : - - - - - - - 3 0 0 0 0 -
179.38/180.09 c > knapsackcover : - - - - - - - 1 0 0 0 0 -
179.38/180.09 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c clique : 0.01 0.00 11 11 0 0 0 0 0 0 0 0 0
179.38/180.09 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c gomory : 3.79 0.00 349 10 0 0 11639 119445 912 4210 4186 24 0
179.38/180.09 c > gomorymi : - - - - - - - 41055 456 1264 1250 14 -
179.38/180.09 c > strongcg : - - - - - - - 78390 456 2946 2936 10 -
179.38/180.09 c impliedbounds : 0.02 0.00 350 11 0 0 29 291 0 274 274 0 0
179.38/180.09 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
179.38/180.09 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c multilinear : 0.00 0.00 176 11 0 0 0 0 0 0 0 0 0
179.38/180.09 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
179.38/180.09 c rapidlearning : 9.35 0.00 100 1 0 32 0 0 0 0 0 0 630
179.38/180.09 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
179.38/180.09 c zerohalf : 0.31 0.00 350 11 0 0 1231 17312 297 4643 4519 124 0
179.38/180.09 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
179.38/180.09 c hybrid : 0.11 0.00 1636 11 9127 0 129207 126 0 2210
179.38/180.09 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c Pricers : ExecTime SetupTime Calls Vars
179.38/180.09 c problem variables: 0.00 - 0 0
179.38/180.09 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
179.38/180.09 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c random : 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c relpscost : 0.72 0.00 9975 0 0 0 0 0 0 19950
179.38/180.09 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
179.38/180.09 c Primal Heuristics : ExecTime SetupTime Calls Found Best
179.38/180.09 c LP solutions : 0.00 - - 0 0
179.38/180.09 c relax solutions : 0.00 - - 0 0
179.38/180.09 c pseudo solutions : 0.00 - - 0 0
179.38/180.09 c strong branching : 0.00 - - 0 0
179.38/180.09 c actconsdiving : 0.00 0.00 0 0 0
179.38/180.09 c adaptivediving : 0.22 0.00 14 0 0
179.38/180.09 c alns : 0.53 0.00 5 0 0
179.38/180.09 c bound : 0.00 0.00 0 0 0
179.38/180.09 c clique : 0.01 0.00 1 0 0
179.38/180.09 c coefdiving : 0.00 0.00 0 0 0
179.38/180.09 c completesol : 0.00 0.00 0 0 0
179.38/180.09 c conflictdiving : 0.16 0.00 8 0 0
179.38/180.09 c crossover : 0.01 0.00 0 0 0
179.38/180.09 c dins : 0.00 0.00 0 0 0
179.38/180.09 c distributiondivin: 0.21 0.00 7 0 0
179.38/180.09 c dks : 0.00 0.00 0 0 0
179.38/180.09 c dps : 0.00 0.00 0 0 0
179.38/180.09 c dualval : 0.00 0.00 0 0 0
179.38/180.09 c farkasdiving : 0.00 0.00 0 0 0
179.38/180.09 c feaspump : 0.15 0.00 4 0 0
179.38/180.09 c fixandinfer : 0.00 0.00 0 0 0
179.38/180.09 c fracdiving : 0.13 0.00 8 0 0
179.38/180.09 c gins : 0.00 0.00 0 0 0
179.38/180.09 c guideddiving : 0.00 0.00 0 0 0
179.38/180.09 c indicator : 0.00 0.00 0 0 0
179.38/180.09 c indicatordiving : 0.00 0.00 0 0 0
179.38/180.09 c intdiving : 0.00 0.00 0 0 0
179.38/180.09 c intshifting : 0.00 0.00 0 0 0
179.38/180.09 c linesearchdiving : 0.16 0.00 8 0 0
179.38/180.09 c localbranching : 0.00 0.00 0 0 0
179.38/180.09 c locks : 0.01 0.00 1 0 0
179.38/180.09 c lpface : 0.10 0.00 0 0 0
179.38/180.09 c mpec : 0.00 0.00 0 0 0
179.38/180.09 c multistart : 0.00 0.00 0 0 0
179.38/180.09 c mutation : 0.00 0.00 0 0 0
179.38/180.09 c nlpdiving : 0.00 0.00 0 0 0
179.38/180.09 c objpscostdiving : 0.33 0.00 4 0 0
179.38/180.09 c octane : 0.00 0.00 0 0 0
179.38/180.09 c ofins : 0.00 0.00 0 0 0
179.38/180.09 c oneopt : 0.01 0.00 0 0 0
179.38/180.09 c padm : 0.00 0.00 0 0 0
179.38/180.09 c proximity : 0.00 0.00 0 0 0
179.38/180.09 c pscostdiving : 0.17 0.00 8 0 0
179.38/180.09 c randrounding : 0.19 0.00 1181 0 0
179.38/180.09 c rens : 0.02 0.00 1 0 0
179.38/180.09 c reoptsols : 0.00 0.00 0 0 0
179.38/180.09 c repair : 0.00 0.00 0 0 0
179.38/180.09 c rins : 0.01 0.00 0 0 0
179.38/180.09 c rootsoldiving : 0.11 0.00 4 0 0
179.38/180.09 c rounding : 0.06 0.00 1481 0 0
179.38/180.09 c scheduler : 0.00 0.00 0 0 0
179.38/180.09 c shiftandpropagate: 0.00 0.00 1 0 0
179.38/180.09 c shifting : 0.29 0.00 718 0 0
179.38/180.09 c simplerounding : 0.01 0.00 0 0 0
179.38/180.09 c subnlp : 0.00 0.00 0 0 0
179.38/180.09 c trivial : 0.00 0.00 2 0 0
179.38/180.09 c trivialnegation : 0.00 0.00 0 0 0
179.38/180.09 c trustregion : 0.00 0.00 0 0 0
179.38/180.09 c trysol : 0.00 0.00 0 0 0
179.38/180.09 c twoopt : 0.00 0.00 0 0 0
179.38/180.09 c undercover : 0.00 0.00 0 0 0
179.38/180.09 c vbounds : 0.00 0.00 1 0 0
179.38/180.09 c veclendiving : 0.11 0.00 8 0 0
179.38/180.09 c zeroobj : 0.00 0.00 0 0 0
179.38/180.09 c zirounding : 0.05 0.00 1000 0 0
179.38/180.09 c other solutions : - - - 0 -
179.38/180.09 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 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
179.38/180.09 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
179.38/180.09 c primal LP : 0.48 510 0 0.00 0.00 0.48 510
179.38/180.09 c dual LP : 18.74 11785 168759 14.34 9006.69 0.02 18
179.38/180.09 c lex dual LP : 0.00 0 0 0.00 -
179.38/180.09 c barrier LP : 0.00 0 0 0.00 - 0.00 0
179.38/180.09 c resolve instable : 0.00 0 0 0.00 -
179.38/180.09 c diving/probing LP: 0.94 461 30422 65.99 32371.78
179.38/180.09 c strong branching : 0.04 17 136 8.00 3099.93 - - 0
179.38/180.09 c (at root node) : - 17 136 8.00 -
179.38/180.09 c conflict analysis: 0.00 0 0 0.00 -
179.38/180.09 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
179.38/180.09 c benders : 0.00 0 0 0 0.00 0 0 0
179.38/180.09 c B&B Tree :
179.38/180.09 c number of runs : 1
179.38/180.09 c nodes : 19892 (9975 internal, 9917 leaves)
179.38/180.09 c feasible leaves : 0
179.38/180.09 c infeas. leaves : 9917
179.38/180.09 c objective leaves : 0
179.38/180.09 c nodes (total) : 19892 (9975 internal, 9917 leaves)
179.38/180.09 c nodes left : 0
179.38/180.09 c max depth : 86
179.38/180.09 c max depth (total): 86
179.38/180.09 c backtracks : 4626 (23.3%)
179.38/180.09 c early backtracks : 0 (0.0%)
179.38/180.09 c nodes exc. ref. : 0 (0.0%)
179.38/180.09 c delayed cutoffs : 59
179.38/180.09 c repropagations : 1345 (776 domain reductions, 18 cutoffs)
179.38/180.09 c avg switch length: 4.31
179.38/180.09 c switching time : 1.64
179.38/180.09 c Root Node :
179.38/180.09 c First LP value : +0.00000000000000e+00
179.38/180.09 c First LP Iters : 2489 (80303.27 Iter/sec)
179.38/180.09 c First LP Time : 0.03
179.38/180.09 c Final Dual Bound : +0.00000000000000e+00
179.38/180.09 c Final Root Iters : 3834
179.38/180.09 c Root LP Estimate : +4.29424863018666e-03
179.38/180.09 c Solution :
179.38/180.09 c Solutions found : 0 (0 improvements)
179.38/180.09 c Primal Bound : infeasible
179.38/180.09 c Dual Bound : -
179.38/180.09 c Gap : 0.00 %
179.38/180.09 c Integrals : Total Avg%
179.38/180.09 c primal-dual : - - (problem infeasible)
179.38/180.09 c primal-ref : - - (problem infeasible)
179.38/180.09 c dual-ref : - - (problem infeasible)
179.48/180.12 c Time complete (sec): 179.509
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (47231 MiB free)
memory of node 1: 64465 MiB (41100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542630-1753213487/watcher-4542630-1753213487 -o /tmp/evaluation-result-4542630-1753213487/solver-4542630-1753213487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158261 --watchdog 3760 pbsolver -f HOME/instance-4542630-1753213487.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
Current StackSize limit: 8192 KiB
solver pid=159044, runsolver pid=159041
[startup+0.100069 s]*
/proc/loadavg: 4.27 4.17 4.12 5/264 159045
/proc/meminfo: memFree=90380224/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=58704 memory=41460 CPUtime=0.09 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 8489 0 0 0 9 0 0 0 20 0 1 0 237023225 60112896 10365 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 14676 10365 2592 2575 0 11583 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58704 KiB
Current children cumulated memory: 41460 KiB
[startup+0.205792 s]*
/proc/loadavg: 4.27 4.17 4.12 5/264 159045
/proc/meminfo: memFree=90303868/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=63764 memory=46708 CPUtime=0.2 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 9789 0 0 0 19 1 0 0 20 0 1 0 237023225 65294336 11677 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 15941 11677 2592 2575 0 12848 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63764 KiB
Current children cumulated memory: 46708 KiB
[startup+0.3056 s]*
/proc/loadavg: 4.27 4.17 4.12 5/264 159045
/proc/meminfo: memFree=90235324/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=66800 memory=49780 CPUtime=0.3 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 10548 0 0 0 29 1 0 0 20 0 1 0 237023225 68403200 12445 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 16700 12445 2592 2575 0 13607 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66800 KiB
Current children cumulated memory: 49780 KiB
[startup+0.700194 s]
/proc/loadavg: 4.27 4.17 4.12 5/264 159045
/proc/meminfo: memFree=90098488/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=126396 memory=107164 CPUtime=0.68 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 25074 0 0 0 65 3 0 0 20 0 1 0 237023225 129429504 26791 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 31599 26791 2656 2575 0 28506 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126396 KiB
Current children cumulated memory: 107164 KiB
[startup+1.50019 s]
/proc/loadavg: 4.27 4.17 4.12 5/264 159045
/proc/meminfo: memFree=89704272/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=159640 memory=138552 CPUtime=1.48 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 36095 0 0 0 144 4 0 0 20 0 1 0 237023225 163471360 34638 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 39910 34638 2688 2575 0 36817 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 159640 KiB
Current children cumulated memory: 138552 KiB
[startup+3.10549 s]
/proc/loadavg: 4.25 4.17 4.11 5/264 159045
/proc/meminfo: memFree=88151636/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=185720 memory=164900 CPUtime=3.08 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 46620 0 0 0 302 6 0 0 20 0 1 0 237023225 190177280 41225 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 46430 41225 2688 2575 0 43337 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 185720 KiB
Current children cumulated memory: 164900 KiB
[startup+6.30019 s]
/proc/loadavg: 4.25 4.17 4.11 5/264 159045
/proc/meminfo: memFree=86128460/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=197300 memory=176796 CPUtime=6.26 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 50467 0 0 0 619 7 0 0 20 0 1 0 237023225 202035200 44199 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 49325 44199 2688 2575 0 46232 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 197300 KiB
Current children cumulated memory: 176796 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.19 4.12 5/264 159046
/proc/meminfo: memFree=84384792/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=199168 memory=178916 CPUtime=12.64 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 53556 0 0 0 1256 8 0 0 20 0 1 0 237023225 203948032 44729 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 49792 44729 2688 2575 0 46699 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 199168 KiB
Current children cumulated memory: 178916 KiB
[startup+25.5001 s]
/proc/loadavg: 4.31 4.19 4.12 5/264 159091
/proc/meminfo: memFree=99448324/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=208420 memory=187920 CPUtime=25.4 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 58957 0 0 0 2531 9 0 0 20 0 1 0 237023225 213422080 46980 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 52105 46980 2688 2575 0 49012 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 208420 KiB
Current children cumulated memory: 187920 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 159137
/proc/meminfo: memFree=118048660/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=207104 memory=186940 CPUtime=50.92 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 60769 0 0 0 5083 9 0 0 20 0 1 0 237023225 212074496 46735 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 51776 46735 2688 2575 0 48683 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 207104 KiB
Current children cumulated memory: 186940 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/264 159139
/proc/meminfo: memFree=118077844/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=214036 memory=193716 CPUtime=101.95 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 66945 0 0 0 10184 11 0 0 20 0 1 0 237023225 219172864 48429 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 53509 48429 2688 2575 0 50416 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 214036 KiB
Current children cumulated memory: 193716 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 159141
/proc/meminfo: memFree=117084588/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=161.74 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 16161 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+180.128 s]
# the end of solver process 159044 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=179.369 s, system=0.146509 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 159141
/proc/meminfo: memFree=117074380/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=165.82 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 16569 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 165.82 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+172.8 s]
/proc/loadavg: 4.11 4.15 4.11 5/264 159141
/proc/meminfo: memFree=117050692/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=172.2 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17207 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 172.2 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+176 s]*
/proc/loadavg: 4.11 4.15 4.11 5/264 159141
/proc/meminfo: memFree=117050412/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=175.4 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17527 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 175.4 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+177.6 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 159141
/proc/meminfo: memFree=117046884/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=176.98 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17685 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 176.98 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+179.2 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 159141
/proc/meminfo: memFree=117042096/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=178.58 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17845 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 178.58 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+179.6 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 159141
/proc/meminfo: memFree=117042096/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=178.98 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17885 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 178.98 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+180 s]*
/proc/loadavg: 4.10 4.14 4.11 5/264 159141
/proc/meminfo: memFree=117041088/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=216776 memory=196348 CPUtime=179.38 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17925 13 0 0 20 0 1 0 237023225 221978624 49087 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 54194 49087 2688 2575 0 51101 0
Current children cumulated CPU time: 179.38 s
Current children cumulated vsize: 216776 KiB
Current children cumulated memory: 196348 KiB
[startup+180.105 s]
/proc/loadavg: 4.10 4.14 4.11 5/264 159141
/proc/meminfo: memFree=117041088/131249992 swapFree=33009392/33010684
[pid=159044] ppid=159041 vsize=203376 memory=183056 CPUtime=179.48 cores=4,6
/proc/159044/stat : 159044 (pbsolver) R 159041 159044 158250 0 -1 4194304 80988 0 0 0 17935 13 0 0 20 0 1 0 237023225 208257024 45764 18446744073709551615 4198400 14743177 140728722134496 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 53121024 140728722143624 140728722143720 140728722143720 140728722149324 0
/proc/159044/statm: 50844 45764 2688 2575 0 47751 0
Current children cumulated CPU time: 179.48 s
Current children cumulated vsize: 203376 KiB
Current children cumulated memory: 183056 KiB
Child status: 0
Real time (s): 180.128
CPU time (s): 179.516
CPU user time (s): 179.369
CPU system time (s): 0.146509
CPU usage (%): 99.6603
Max. virtual memory (cumulated for all children) (KiB): 216776
Max. memory (cumulated for all children) (KiB): 196348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.369
system time used= 0.146509
maximum resident set size= 196348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 181
# summary of solver processes directly reported to runsolver:
# pid: 159044
# total CPU time (s): 179.516
# total CPU user time (s): 179.369
# total CPU system time (s): 0.146509
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.365599 second user time and 0.795018 second system time
The end
Begin job on nodeC035 at 2025-07-22 21:44:47 IDJOB=4542630 IDBENCH=163940 IDSOLVER=3366 FILE ID=nodeC035/4542630-1753213487 RUNJOBID= nodeC035-1753209881-158261 SLURM_JOB_ID= 9687779 Free space on /tmp= 432224 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542630-1753213487/watcher-4542630-1753213487 -o /tmp/evaluation-result-4542630-1753213487/solver-4542630-1753213487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753209881-158261 --watchdog 3760 pbsolver -f HOME/instance-4542630-1753213487.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4d1871845096300f202b70284b6187b6 RANDOM SEED=1205459289 nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.688 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.727 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3592.726 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.008 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3548.363 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.798 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.760 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249992 kB MemFree: 90492364 kB MemAvailable: 92938744 kB Buffers: 664 kB Cached: 3197576 kB SwapCached: 336 kB Active: 37567368 kB Inactive: 2327320 kB Active(anon): 36703444 kB Inactive(anon): 18908 kB Active(file): 863924 kB Inactive(file): 2308412 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009392 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 84852 kB Writeback: 40 kB AnonPages: 36691376 kB Mapped: 139064 kB Shmem: 25904 kB KReclaimable: 226564 kB Slab: 322072 kB SReclaimable: 226564 kB SUnreclaim: 95508 kB KernelStack: 4300 kB PageTables: 75444 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 41099516 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3872 kB HardwareCorrupted: 0 kB AnonHugePages: 10571776 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205524 kB DirectMap2M: 7954432 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432352 MiB End job on nodeC035 at 2025-07-22 21:47:47