Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | OPTIMUM | 155.573 | 156.131 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02ac_wcsp.wbo |
| MD5SUM | 022d1494f6130b0a4572cc40f0203308 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1559 |
| Best CPU time to get the best result obtained on this benchmark | 1.69148 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 1030 |
| Total number of constraints | 43694 |
| Number of soft constraints | 43512 |
| Number of constraints which are clauses | 43512 |
| Number of constraints which are cardinality constraints (but not clauses) | 182 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 9 |
| Top cost | 156112 |
| Min constraint cost | 1 |
| Max constraint cost | 156112 |
| Sum of constraints costs | 6685649767 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 10 |
| Number of bits of the biggest sum of numbers | 4 |
| 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-4526758-1751634378.wbo>
0.39/0.47 c original problem has 44542 variables (44542 bin, 0 int, 0 impl, 0 cont) and 87207 constraints
0.39/0.47 c problem read in 0.46
1.35/1.41 c presolving:
1.66/1.70 c (round 1, fast) 85665 del vars, 42841 del conss, 0 add conss, 85650 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 167 clqs
1.66/1.78 c (round 2, fast) 85669 del vars, 42845 del conss, 0 add conss, 85650 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.66/1.79 c (round 3, fast) 85669 del vars, 42845 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.76/1.85 c (round 4, exhaustive) 85669 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.86/1.92 c (round 5, exhaustive) 85669 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25167 clqs
2.07/2.12 c (round 6, exhaustive) 85694 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25711 clqs
2.15/2.25 c (round 7, exhaustive) 85719 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25736 clqs
2.15/2.26 c (round 8, fast) 85719 del vars, 60691 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25736 clqs
2.35/2.40 c (round 9, exhaustive) 85744 del vars, 60691 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25779 clqs
2.35/2.41 c (round 10, fast) 85744 del vars, 60716 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25779 clqs
2.45/2.53 c (round 11, exhaustive) 85769 del vars, 60716 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25804 clqs
2.45/2.53 c (round 12, fast) 85769 del vars, 60741 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25804 clqs
2.55/2.64 c (round 13, exhaustive) 85794 del vars, 60741 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25829 clqs
2.55/2.64 c (round 14, fast) 85794 del vars, 60766 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25829 clqs
2.65/2.77 c (round 15, exhaustive) 85819 del vars, 60766 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25854 clqs
2.65/2.77 c (round 16, fast) 85819 del vars, 60791 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25854 clqs
2.75/2.87 c (round 17, exhaustive) 85844 del vars, 60791 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25885 clqs
2.75/2.88 c (round 18, fast) 85844 del vars, 60816 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25885 clqs
2.85/2.99 c (round 19, exhaustive) 85869 del vars, 60816 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25910 clqs
2.85/3.00 c (round 20, fast) 85869 del vars, 60841 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25910 clqs
2.96/3.10 c (round 21, exhaustive) 85894 del vars, 60841 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25935 clqs
2.96/3.10 c (round 22, fast) 85894 del vars, 60866 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25935 clqs
3.15/3.22 c (round 23, exhaustive) 85919 del vars, 60866 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25960 clqs
3.15/3.23 c (round 24, fast) 85919 del vars, 60891 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25960 clqs
3.25/3.33 c (round 25, exhaustive) 85944 del vars, 60891 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25992 clqs
3.25/3.33 c (round 26, fast) 85944 del vars, 60916 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25992 clqs
3.35/3.45 c (round 27, exhaustive) 85969 del vars, 60916 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26017 clqs
3.35/3.46 c (round 28, fast) 85969 del vars, 60941 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26017 clqs
3.45/3.57 c (round 29, exhaustive) 85994 del vars, 60941 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26042 clqs
3.45/3.58 c (round 30, fast) 85994 del vars, 60966 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26042 clqs
3.55/3.68 c (round 31, exhaustive) 86019 del vars, 60966 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26067 clqs
3.55/3.69 c (round 32, fast) 86019 del vars, 60991 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26067 clqs
3.65/3.78 c (round 33, exhaustive) 86044 del vars, 60991 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26094 clqs
3.65/3.79 c (round 34, fast) 86044 del vars, 61016 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26094 clqs
3.85/3.91 c (round 35, exhaustive) 86069 del vars, 61016 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26125 clqs
3.85/3.91 c (round 36, fast) 86069 del vars, 61041 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26125 clqs
3.96/4.02 c (round 37, exhaustive) 86094 del vars, 61041 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26156 clqs
3.96/4.03 c (round 38, fast) 86094 del vars, 61066 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26156 clqs
4.06/4.12 c (round 39, exhaustive) 86119 del vars, 61066 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26187 clqs
4.06/4.13 c (round 40, fast) 86119 del vars, 61091 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26187 clqs
4.15/4.24 c (round 41, exhaustive) 86144 del vars, 61091 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26219 clqs
4.15/4.25 c (round 42, fast) 86144 del vars, 61116 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26219 clqs
4.25/4.34 c (4.3s) probing: 1000/2385 (41.9%) - 0 fixings, 493 aggregations, 1079 implications, 0 bound changes
4.25/4.36 c (round 43, exhaustive) 86169 del vars, 61116 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26244 clqs
4.25/4.37 c (round 44, fast) 86169 del vars, 61141 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26244 clqs
4.35/4.48 c (round 45, exhaustive) 86194 del vars, 61141 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26269 clqs
4.35/4.48 c (round 46, fast) 86194 del vars, 61166 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26269 clqs
4.44/4.58 c (round 47, exhaustive) 86219 del vars, 61166 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26294 clqs
4.44/4.59 c (round 48, fast) 86219 del vars, 61191 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26294 clqs
4.54/4.69 c (round 49, exhaustive) 86244 del vars, 61191 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26319 clqs
4.64/4.70 c (round 50, fast) 86244 del vars, 61216 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26319 clqs
4.74/4.82 c (round 51, exhaustive) 86269 del vars, 61216 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26344 clqs
4.74/4.82 c (round 52, fast) 86269 del vars, 61241 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26344 clqs
4.84/4.93 c (round 53, exhaustive) 86294 del vars, 61241 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26369 clqs
4.84/4.93 c (round 54, fast) 86294 del vars, 61266 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26369 clqs
4.96/5.04 c (round 55, exhaustive) 86319 del vars, 61266 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26394 clqs
4.96/5.05 c (round 56, fast) 86319 del vars, 61291 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26394 clqs
5.06/5.15 c (round 57, exhaustive) 86344 del vars, 61291 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26419 clqs
5.06/5.15 c (round 58, fast) 86344 del vars, 61316 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26419 clqs
5.24/5.34 c (5.3s) probing: 1438/2385 (60.3%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
5.24/5.34 c (5.3s) probing aborted: 50/50 successive totally useless probings
5.24/5.34 c (round 59, exhaustive) 86356 del vars, 61316 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26431 clqs
5.24/5.34 c (round 60, fast) 86356 del vars, 61341 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26431 clqs
5.24/5.37 c (5.4s) probing: 1443/2385 (60.5%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
5.24/5.37 c (5.4s) probing aborted: 50/50 successive totally useless probings
5.24/5.37 c (5.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
5.24/5.39 c (5.4s) no symmetry present (symcode time: 0.00)
5.34/5.40 c presolving (61 rounds: 61 fast, 31 medium, 31 exhaustive):
5.34/5.40 c 86356 deleted vars, 61341 deleted constraints, 0 added constraints, 86337 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.34/5.40 c 687 implications, 26431 cliques
5.34/5.40 c presolved problem has 1698 variables (1698 bin, 0 int, 0 impl, 0 cont) and 25866 constraints
5.34/5.40 c 25167 constraints of type <setppc>
5.34/5.40 c 687 constraints of type <linear>
5.34/5.40 c 12 constraints of type <indicator>
5.34/5.40 c transformed objective value is always integral (scale: 1)
5.34/5.40 c Presolving Time: 4.62
5.34/5.40 c - non default parameters ----------------------------------------------------------------------
5.34/5.40 c # SCIP version 10.0.0
5.34/5.40 c
5.34/5.40 c # maximal time in seconds to run
5.34/5.40 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.34/5.40 c limits/time = 3596.993154
5.34/5.40 c
5.34/5.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.34/5.40 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.34/5.40 c limits/memory = 27900
5.34/5.40 c
5.34/5.40 c # belongs reading time to solving time?
5.34/5.40 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.34/5.40 c timing/reading = TRUE
5.34/5.40 c
5.34/5.40 c -----------------------------------------------------------------------------------------------
5.34/5.40 c start solving
5.34/5.41 c
5.44/5.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.44/5.56 c 5.5s| 1 | 0 | 1433 | - | 318M | 0 |1698 | 25k| 25k| 0 | 0 | 44 | 0 | 5.223136e+02 | -- | Inf | unknown
5.84/5.90 c 5.9s| 1 | 0 | 2710 | - | 328M | 0 |1698 | 25k| 25k| 6 | 1 | 45 | 0 | 5.782552e+02 | -- | Inf | unknown
5.95/6.05 c 6.0s| 1 | 0 | 2800 | - | 340M | 0 |1698 | 25k| 25k| 12 | 2 | 47 | 0 | 5.883503e+02 | -- | Inf | unknown
6.34/6.42 c 6.4s| 1 | 0 | 3035 | - | 351M | 0 |1698 | 25k| 25k| 19 | 3 | 49 | 0 | 6.323430e+02 | -- | Inf | unknown
6.54/6.62 c 6.6s| 1 | 0 | 3247 | - | 362M | 0 |1698 | 25k| 25k| 27 | 4 | 50 | 0 | 6.776736e+02 | -- | Inf | unknown
6.84/6.93 c 6.9s| 1 | 0 | 3473 | - | 375M | 0 |1698 | 25k| 25k| 34 | 5 | 51 | 0 | 6.930380e+02 | -- | Inf | unknown
7.33/7.45 c 7.4s| 1 | 0 | 3634 | - | 391M | 0 |1698 | 25k| 25k| 43 | 6 | 52 | 0 | 6.957228e+02 | -- | Inf | unknown
7.73/7.85 c 7.8s| 1 | 0 | 3736 | - | 405M | 0 |1698 | 25k| 25k| 51 | 7 | 53 | 0 | 6.986970e+02 | -- | Inf | unknown
8.13/8.28 c 8.3s| 1 | 0 | 3970 | - | 413M | 0 |1698 | 25k| 25k| 59 | 8 | 54 | 0 | 7.064831e+02 | -- | Inf | unknown
8.63/8.75 c 8.7s| 1 | 0 | 4660 | - | 428M | 0 |1698 | 25k| 25k| 64 | 9 | 55 | 0 | 7.392857e+02 | -- | Inf | unknown
9.83/9.95 c 9.9s| 1 | 0 | 4839 | - | 431M | 0 |1698 | 25k| 25k| 74 | 10 | 56 | 0 | 7.455332e+02 | -- | Inf | unknown
9.94/10.08 c 10.1s| 1 | 0 | 5285 | - | 434M | 0 |1698 | 25k| 25k| 81 | 11 | 57 | 0 | 7.948077e+02 | -- | Inf | unknown
10.04/10.17 c 10.2s| 1 | 0 | 5491 | - | 438M | 0 |1698 | 25k| 25k| 91 | 12 | 60 | 0 | 7.948380e+02 | -- | Inf | unknown
10.13/10.25 c 10.2s| 1 | 0 | 5634 | - | 440M | 0 |1698 | 25k| 25k| 100 | 13 | 61 | 0 | 7.960966e+02 | -- | Inf | unknown
10.23/10.37 c 10.4s| 1 | 0 | 5906 | - | 443M | 0 |1698 | 25k| 25k| 110 | 14 | 64 | 0 | 7.979201e+02 | -- | Inf | unknown
10.33/10.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.33/10.44 c 10.4s| 1 | 0 | 6001 | - | 446M | 0 |1698 | 25k| 25k| 117 | 15 | 65 | 0 | 7.981527e+02 | -- | Inf | unknown
10.43/10.53 c 10.5s| 1 | 0 | 6193 | - | 448M | 0 |1698 | 25k| 25k| 122 | 16 | 66 | 0 | 7.993809e+02 | -- | Inf | unknown
10.53/10.64 c 10.6s| 1 | 0 | 6444 | - | 451M | 0 |1698 | 25k| 25k| 135 | 17 | 70 | 0 | 8.046143e+02 | -- | Inf | unknown
10.63/10.74 c 10.7s| 1 | 0 | 6655 | - | 454M | 0 |1698 | 25k| 25k| 144 | 18 | 71 | 0 | 8.080557e+02 | -- | Inf | unknown
10.72/10.86 c 10.8s| 1 | 0 | 6959 | - | 456M | 0 |1698 | 25k| 25k| 154 | 19 | 72 | 0 | 8.130005e+02 | -- | Inf | unknown
10.82/10.97 c 11.0s| 1 | 0 | 7193 | - | 460M | 0 |1698 | 25k| 25k| 158 | 20 | 73 | 0 | 8.326115e+02 | -- | Inf | unknown
10.94/11.04 c 11.0s| 1 | 0 | 7303 | - | 460M | 0 |1698 | 25k| 25k| 168 | 21 | 75 | 0 | 8.353932e+02 | -- | Inf | unknown
10.94/11.11 c 11.1s| 1 | 0 | 7437 | - | 460M | 0 |1698 | 25k| 26k| 172 | 22 | 76 | 0 | 8.391824e+02 | -- | Inf | unknown
11.04/11.19 c 11.2s| 1 | 0 | 7607 | - | 461M | 0 |1698 | 25k| 26k| 179 | 23 | 77 | 0 | 8.416032e+02 | -- | Inf | unknown
11.12/11.24 c 11.2s| 1 | 0 | 7658 | - | 461M | 0 |1698 | 25k| 26k| 183 | 24 | 78 | 0 | 8.433819e+02 | -- | Inf | unknown
11.12/11.30 c 11.3s| 1 | 0 | 7738 | - | 461M | 0 |1698 | 25k| 26k| 185 | 25 | 81 | 0 | 8.440300e+02 | -- | Inf | unknown
11.22/11.37 c 11.4s| 1 | 0 | 7840 | - | 461M | 0 |1698 | 25k| 25k| 188 | 26 | 84 | 0 | 8.446924e+02 | -- | Inf | unknown
11.32/11.41 c 11.4s| 1 | 0 | 7875 | - | 461M | 0 |1698 | 25k| 25k| 189 | 27 | 85 | 0 | 8.451428e+02 | -- | Inf | unknown
11.32/11.47 c 11.5s| 1 | 0 | 7945 | - | 462M | 0 |1698 | 25k| 25k| 193 | 28 | 86 | 0 | 8.457200e+02 | -- | Inf | unknown
11.42/11.57 c 11.6s| 1 | 0 | 8238 | - | 462M | 0 |1698 | 25k| 26k| 200 | 29 | 88 | 0 | 8.474700e+02 | -- | Inf | unknown
11.52/11.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.52/11.62 c 11.6s| 1 | 0 | 8298 | - | 462M | 0 |1698 | 25k| 26k| 204 | 30 | 91 | 0 | 8.480665e+02 | -- | Inf | unknown
11.52/11.67 c 11.7s| 1 | 0 | 8378 | - | 462M | 0 |1698 | 25k| 26k| 208 | 31 | 92 | 0 | 8.492566e+02 | -- | Inf | unknown
11.62/11.74 c 11.7s| 1 | 0 | 8438 | - | 462M | 0 |1698 | 25k| 25k| 212 | 32 | 93 | 0 | 8.497452e+02 | -- | Inf | unknown
11.62/11.79 c 11.8s| 1 | 0 | 8522 | - | 462M | 0 |1698 | 25k| 25k| 218 | 33 | 94 | 0 | 8.510193e+02 | -- | Inf | unknown
11.72/11.85 c 11.8s| 1 | 0 | 8574 | - | 462M | 0 |1698 | 25k| 25k| 221 | 34 | 97 | 0 | 8.513586e+02 | -- | Inf | unknown
11.72/11.89 c 11.9s| 1 | 0 | 8597 | - | 462M | 0 |1698 | 25k| 25k| 224 | 35 | 100 | 0 | 8.514462e+02 | -- | Inf | unknown
11.82/11.93 c 11.9s| 1 | 0 | 8605 | - | 462M | 0 |1698 | 25k| 26k| 225 | 36 | 102 | 0 | 8.514624e+02 | -- | Inf | unknown
11.82/11.97 c 12.0s| 1 | 0 | 8606 | - | 462M | 0 |1698 | 25k| 26k| 227 | 37 | 103 | 0 | 8.514624e+02 | -- | Inf | unknown
11.93/12.02 c 12.0s| 1 | 0 | 8615 | - | 463M | 0 |1698 | 25k| 25k| 229 | 38 | 104 | 0 | 8.514717e+02 | -- | Inf | unknown
11.93/12.06 c 12.0s| 1 | 0 | 8617 | - | 463M | 0 |1698 | 25k| 25k| 231 | 39 | 105 | 0 | 8.514741e+02 | -- | Inf | unknown
11.93/12.10 c 12.1s| 1 | 0 | 8622 | - | 463M | 0 |1698 | 25k| 25k| 232 | 40 | 111 | 0 | 8.514741e+02 | -- | Inf | unknown
16.01/16.15 c 16.1s| 1 | 2 | 16354 | - | 466M | 0 |1698 | 26k| 25k| 232 | 41 | 152 | 19 | 8.709461e+02 | -- | Inf | unknown
52.57/52.85 c 52.8s| 100 | 21 | 39478 | 311.7 | 525M | 14 |1698 | 26k| 25k| 423 | 2 | 377 | 383 | 9.236253e+02 | -- | Inf | 26.97%
53.97/54.30 o 1909
53.97/54.30 c *54.3s| 114 | 24 | 42765 | 302.2 | LP | 14 |1698 | 26k| 26k| 469 | 1 | 388 | 383 | 9.575484e+02 | 1.909000e+03 | 99.36%| 11.25%
54.27/54.53 o 1559
54.27/54.53 c *54.5s| 125 | 19 | 43374 | 280.3 |strongbr| 16 |1698 | 26k| 25k| 469 | 2 | 393 | 383 | 9.575484e+02 | 1.559000e+03 | 62.81%| 14.87%
68.61/69.00 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.61/69.00 c 69.0s| 200 | 28 | 59309 | 254.7 | 634M | 21 |1698 | 26k| 26k| 819 | 0 | 459 | 426 | 9.727899e+02 | 1.559000e+03 | 60.26%| 23.96%
93.83/94.24 c 94.2s| 300 | 39 | 82602 | 247.4 | 665M | 24 |1698 | 26k| 26k|1124 | 2 | 543 | 453 | 1.087438e+03 | 1.559000e+03 | 43.36%| 40.37%
103.90/104.37 c 104s| 400 | 29 | 98951 | 226.4 | 677M | 27 |1698 | 26k| 0 |1274 | 0 | 767 | 504 | 1.122136e+03 | 1.559000e+03 | 38.93%| 50.86%
116.67/117.12 c 117s| 500 | 31 |114583 | 212.3 | 686M | 27 |1698 | 26k| 26k|1410 | 0 | 872 | 543 | 1.163425e+03 | 1.559000e+03 | 34.00%| 62.70%
141.68/142.26 c 142s| 600 | 27 |139812 | 219.0 | 742M | 27 |1698 | 26k| 0 |1612 | 0 |1018 | 592 | 1.219368e+03 | 1.559000e+03 | 27.85%| 78.85%
155.03/155.60 c
155.03/155.60 c SCIP Status : problem is solved [optimal solution found]
155.03/155.60 c Solving Time (sec) : 155.58
155.03/155.60 c Solving Nodes : 670
155.03/155.60 c Primal Bound : +1.55900000000000e+03 (2 solutions)
155.03/155.60 c Dual Bound : +1.55900000000000e+03
155.03/155.60 c Gap : 0.00 %
155.03/155.66 s OPTIMUM FOUND
155.03/155.66 v -x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011
155.03/155.66 v -x1010 x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992
155.03/155.66 v -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970
155.03/155.66 v x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949
155.03/155.66 v -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 x931 -x930 -x929 -x928
155.03/155.66 v x927 -x926 x925 x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906
155.03/155.66 v -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 x886 -x885
155.03/155.66 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864
155.03/155.66 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 x845 -x844 -x843 -x842
155.03/155.66 v x841 -x840 -x839 x838 -x837 x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821
155.03/155.66 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799
155.03/155.66 v -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
155.03/155.66 v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 x757
155.03/155.66 v -x756 -x755 -x754 x753 -x752 -x751 x750 -x749 x748 -x747 -x746 -x745 x744 -x743 -x742 x741 -x740 -x739 x738 -x737 x736 -x735
155.03/155.66 v -x734 x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713
155.03/155.66 v -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692
155.03/155.66 v -x691 -x690 -x689 -x688 -x687 -x686 -x685 x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671
155.03/155.66 v -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 x655 -x654 -x653 -x652 x651 -x650 -x649
155.03/155.66 v x648 -x647 x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628
155.03/155.66 v -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
155.03/155.66 v -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585
155.03/155.66 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564
155.03/155.66 v -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 x548 -x547 -x546 -x545 x544 -x543 -x542
155.03/155.66 v x541 -x540 x539 -x538 -x537 -x536 -x535 x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 x526 -x525 -x524 x523 -x522 -x521 -x520
155.03/155.66 v x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
155.03/155.66 v -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478
155.03/155.66 v -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 x461 -x460 -x459 -x458 -x457
155.03/155.66 v -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435
155.03/155.66 v x434 -x433 x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 x416 -x415 -x414 -x413
155.03/155.66 v x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
155.03/155.66 v -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371
155.03/155.66 v -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349
155.03/155.66 v -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 x334 -x333 -x332 -x331 x330 -x329 -x328
155.03/155.66 v x327 -x326 x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306
155.03/155.66 v x305 -x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
155.03/155.66 v -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263
155.03/155.66 v -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242
155.03/155.66 v -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221
155.03/155.66 v x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 x210 -x209 -x208 -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 -x199
155.03/155.66 v x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
155.03/155.66 v -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156
155.03/155.66 v -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135
155.03/155.66 v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114
155.03/155.66 v x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 x93 -x92 -x91 -x90
155.03/155.66 v -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
155.03/155.66 v x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39
155.03/155.66 v -x38 x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12
155.03/155.66 v -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 -x2 x1
155.03/155.66 c SCIP Status : problem is solved [optimal solution found]
155.03/155.66 c Total Time : 155.58
155.03/155.66 c solving : 155.58
155.03/155.66 c presolving : 4.62 (included in solving)
155.03/155.66 c reading : 0.46 (included in solving)
155.03/155.66 c copying : 0.40 (11 #copies) (minimal 0.03, maximal 0.04, average 0.04)
155.03/155.66 c Original Problem :
155.03/155.66 c Problem name : HOME/instance-4526758-1751634378.wbo
155.03/155.66 c Variables : 44542 (44542 binary, 0 integer, 0 implicit integer, 0 continuous)
155.03/155.66 c Constraints : 87207 initial, 87207 maximal
155.03/155.66 c Objective : minimize, 43512 non-zeros (abs.min = 1, abs.max = 156112)
155.03/155.66 c Presolved Problem :
155.03/155.66 c Problem name : t_HOME/instance-4526758-1751634378.wbo
155.03/155.66 c Variables : 1698 (1698 binary, 0 integer, 0 implicit integer, 0 continuous)
155.03/155.66 c Constraints : 25866 initial, 26659 maximal
155.03/155.66 c Objective : minimize, 687 non-zeros (abs.min = 1, abs.max = 596)
155.03/155.66 c Nonzeros : 52422 constraint, 53696 clique table
155.03/155.66 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
155.03/155.66 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c domcol : 0.00 0.00 29 0 0 0 0 0 0 0 0 0
155.03/155.66 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c implics : 0.00 0.00 31 0 0 0 0 0 0 0 0 0
155.03/155.66 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c trivial : 0.01 0.00 61 0 0 0 0 0 0 0 0 0
155.03/155.66 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c dualfix : 0.01 0.00 61 0 0 0 0 0 0 0 0 0
155.03/155.66 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c probing : 2.82 0.00 29 0 687 0 0 0 0 0 0 0
155.03/155.66 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c setppc : 0.58 0.00 114 0 0 0 0 0 0 0 0 0
155.03/155.66 c linear : 0.41 0.01 92 42825 19 0 43512 0 17841 0 0 0
155.03/155.66 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c indicator : 0.09 0.00 31 42825 0 0 42825 0 43500 0 0 0
155.03/155.66 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c root node : - - - 933 - - 933 - - - - -
155.03/155.66 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
155.03/155.66 c benderslp : 0 0 0 0 406 0 0 93 0 0 0 0 0 0 0
155.03/155.66 c integral : 0 0 0 0 406 0 0 93 0 1 639 0 0 477 682
155.03/155.66 c knapsack : 0+ 15 0 9163 0 0 0 0 121 0 570 0 0 0 0
155.03/155.66 c setppc : 25167+ 25252 41 15823 1 0 0 87 23511 210 38821 1 0 0 0
155.03/155.66 c linear : 687+ 707 41 15613 1 0 0 30 6615 2 10674 0 0 0 0
155.03/155.66 c logicor : 0+ 699 41 4876 0 0 0 0 581 17 870 4 2 0 0
155.03/155.66 c benders : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
155.03/155.66 c indicator : 12 12 389 15594 1 0 0 1 0 0 0 0 0 0 0
155.03/155.66 c fixedvar : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
155.03/155.66 c countsols : 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0
155.03/155.66 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
155.03/155.66 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c integral : 42.40 0.00 0.00 0.00 42.40 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c knapsack : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.01
155.03/155.66 c setppc : 1.47 0.00 0.04 1.14 0.00 0.00 0.00 0.03 0.01 0.25
155.03/155.66 c linear : 0.32 0.01 0.17 0.12 0.00 0.00 0.00 0.00 0.00 0.01
155.03/155.66 c logicor : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.01
155.03/155.66 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c indicator : 0.05 0.00 0.00 0.04 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
155.03/155.66 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c Propagators : #Propagate #ResProp Cutoffs DomReds
155.03/155.66 c dualfix : 1 0 0 0
155.03/155.66 c genvbounds : 0 0 0 0
155.03/155.66 c nlobbt : 0 0 0 0
155.03/155.66 c obbt : 0 0 0 0
155.03/155.66 c probing : 0 0 0 0
155.03/155.66 c pseudoobj : 5284 0 0 42
155.03/155.66 c redcost : 1813 0 0 26041
155.03/155.66 c rootredcost : 3 0 0 0
155.03/155.66 c symmetry : 0 0 0 0
155.03/155.66 c vbounds : 6979 0 0 0
155.03/155.66 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
155.03/155.66 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
155.03/155.66 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c probing : 2.82 0.00 2.82 0.00 0.00 0.00
155.03/155.66 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
155.03/155.66 c redcost : 0.16 0.00 0.00 0.16 0.00 0.00
155.03/155.66 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
155.03/155.66 c symmetry : 0.03 0.00 0.02 0.00 0.00 0.00
155.03/155.66 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
155.03/155.66 c Symmetry :
155.03/155.66 c orbitopal red. : 0 reductions applied, 0 cutoffs
155.03/155.66 c orbital reduction: 0 reductions applied, 0 cutoffs
155.03/155.66 c lexicographic red: 0 reductions applied, 0 cutoffs
155.03/155.66 c shadow tree time : 0.00 s
155.03/155.66 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
155.03/155.66 c propagation : 0.02 222 215 - 825 104.1 23 10.2 - - -
155.03/155.66 c infeasible LP : 0.03 41 41 - 205 37.4 6 3.7 38 116.0 0
155.03/155.66 c bound exceed. LP : 0.35 122 46 - 390 111.1 0 0.0 4 47.0 702
155.03/155.66 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
155.03/155.66 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
155.03/155.66 c applied globally : 0.07 - - 0 1098 63.9 - - 42 - -
155.03/155.66 c applied locally : - - - 0 2 274.0 - - 0 - -
155.03/155.66 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
155.03/155.66 c cut pool : 2.02 - 571 80 - - 7483 18676 - - - - - (maximal pool size: 3576)
155.03/155.66 c aggregation : 3.08 0.00 330 41 0 0 1 1 0 0 0 0 0
155.03/155.66 c > cmir : - - - - - - - 0 0 0 0 0 -
155.03/155.66 c > flowcover : - - - - - - - 0 0 0 0 0 -
155.03/155.66 c > knapsackcover : - - - - - - - 1 0 0 0 0 -
155.03/155.66 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c clique : 0.21 0.00 41 41 0 0 247 2997 0 681 681 0 0
155.03/155.66 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c gomory : 54.42 0.00 153 10 0 0 6939 13891 0 380 380 0 0
155.03/155.66 c > gomorymi : - - - - - - - 7645 0 178 178 0 -
155.03/155.66 c > strongcg : - - - - - - - 6246 0 202 202 0 -
155.03/155.66 c impliedbounds : 0.17 0.00 330 41 0 0 17 46 0 35 35 0 0
155.03/155.66 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
155.03/155.66 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c multilinear : 0.00 0.00 105 41 0 0 0 0 0 0 0 0 0
155.03/155.66 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c rapidlearning : 0.04 0.00 0 0 0 0 0 0 0 0 0 0 0
155.03/155.66 c rlt : 0.00 0.00 51 10 0 0 0 0 0 0 0 0 0
155.03/155.66 c zerohalf : 1.06 0.00 163 20 0 0 279 1741 0 602 602 0 0
155.03/155.66 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
155.03/155.66 c hybrid : 0.13 0.00 356 40 1700 0 16981 232 0 2843
155.03/155.66 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c Pricers : ExecTime SetupTime Calls Vars
155.03/155.66 c problem variables: 0.00 - 0 0
155.03/155.66 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
155.03/155.66 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.66 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.67 c random : 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.67 c relpscost : 42.40 0.00 405 0 0 1 639 0 528 682
155.03/155.67 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
155.03/155.67 c Primal Heuristics : ExecTime SetupTime Calls Found Best
155.03/155.67 c LP solutions : 0.00 - - 1 1
155.03/155.67 c relax solutions : 0.00 - - 0 0
155.03/155.67 c pseudo solutions : 0.00 - - 0 0
155.03/155.67 c strong branching : 0.01 - - 1 1
155.03/155.67 c actconsdiving : 0.00 0.00 0 0 0
155.03/155.67 c adaptivediving : 0.02 0.00 1 0 0
155.03/155.67 c alns : 0.42 0.00 5 0 0
155.03/155.67 c bound : 0.00 0.00 0 0 0
155.03/155.67 c clique : 0.04 0.00 1 0 0
155.03/155.67 c coefdiving : 0.00 0.00 0 0 0
155.03/155.67 c completesol : 0.00 0.00 0 0 0
155.03/155.67 c conflictdiving : 0.19 0.00 1 0 0
155.03/155.67 c crossover : 0.00 0.00 0 0 0
155.03/155.67 c dins : 0.00 0.00 0 0 0
155.03/155.67 c distributiondivin: 0.05 0.00 0 0 0
155.03/155.67 c dps : 0.00 0.00 0 0 0
155.03/155.67 c dualval : 0.00 0.00 0 0 0
155.03/155.67 c farkasdiving : 2.23 0.00 1 0 0
155.03/155.67 c feasjump : 0.02 0.00 1 0 0
155.03/155.67 c feaspump : 0.20 0.00 1 0 0
155.03/155.67 c fixandinfer : 0.00 0.00 0 0 0
155.03/155.67 c fracdiving : 0.09 0.00 1 0 0
155.03/155.67 c gins : 0.25 0.00 2 0 0
155.03/155.67 c guideddiving : 0.00 0.00 0 0 0
155.03/155.67 c indcoefdiving : 0.00 0.00 0 0 0
155.03/155.67 c indicator : 0.00 0.00 0 0 0
155.03/155.67 c indicatordiving : 0.00 0.00 0 0 0
155.03/155.67 c indoneopt : 0.03 0.00 3 0 0
155.03/155.67 c indrounding : 0.00 0.00 0 0 0
155.03/155.67 c indtwoopt : 0.00 0.00 0 0 0
155.03/155.67 c intdiving : 0.00 0.00 0 0 0
155.03/155.67 c intshifting : 0.00 0.00 0 0 0
155.03/155.67 c linesearchdiving : 0.00 0.00 0 0 0
155.03/155.67 c localbranching : 0.00 0.00 0 0 0
155.03/155.67 c locks : 0.01 0.00 1 0 0
155.03/155.67 c lpface : 0.00 0.00 0 0 0
155.03/155.67 c mpec : 0.00 0.00 0 0 0
155.03/155.67 c multistart : 0.00 0.00 0 0 0
155.03/155.67 c mutation : 0.00 0.00 0 0 0
155.03/155.67 c nlpdiving : 0.00 0.00 0 0 0
155.03/155.67 c objpscostdiving : 0.59 0.00 1 0 0
155.03/155.67 c octane : 0.00 0.00 0 0 0
155.03/155.67 c ofins : 0.00 0.00 0 0 0
155.03/155.67 c oneopt : 0.00 0.00 2 0 0
155.03/155.67 c padm : 0.00 0.00 0 0 0
155.03/155.67 c proximity : 0.00 0.00 0 0 0
155.03/155.67 c pscostdiving : 0.06 0.00 1 0 0
155.03/155.67 c randrounding : 0.27 0.00 97 0 0
155.03/155.67 c rens : 0.10 0.00 1 0 0
155.03/155.67 c reoptsols : 0.00 0.00 0 0 0
155.03/155.67 c repair : 0.00 0.00 0 0 0
155.03/155.67 c rins : 0.29 0.00 3 0 0
155.03/155.67 c rootsoldiving : 0.00 0.00 0 0 0
155.03/155.67 c rounding : 0.30 0.00 326 0 0
155.03/155.67 c scheduler : 0.00 0.00 0 0 0
155.03/155.67 c shiftandpropagate: 0.01 0.00 1 0 0
155.03/155.67 c shifting : 1.15 0.00 228 0 0
155.03/155.67 c simplerounding : 0.04 0.00 771 0 0
155.03/155.67 c smallcard : 0.00 0.00 0 0 0
155.03/155.67 c subnlp : 0.00 0.00 0 0 0
155.03/155.67 c trivial : 0.05 0.00 2 0 0
155.03/155.67 c trivialnegation : 0.00 0.00 0 0 0
155.03/155.67 c trustregion : 0.00 0.00 0 0 0
155.03/155.67 c trysol : 0.00 0.00 0 0 0
155.03/155.67 c twoopt : 0.00 0.00 0 0 0
155.03/155.67 c undercover : 0.00 0.00 0 0 0
155.03/155.67 c vbounds : 0.02 0.00 1 0 0
155.03/155.67 c veclendiving : 0.01 0.00 1 0 0
155.03/155.67 c zeroobj : 0.00 0.00 0 0 0
155.03/155.67 c zirounding : 0.07 0.00 341 0 0
155.03/155.67 c other solutions : - - - 0 -
155.03/155.67 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
155.03/155.67 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
155.03/155.67 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
155.03/155.67 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
155.03/155.67 c primal LP : 0.23 100 0 0.00 0.00 0.23 100
155.03/155.67 c dual LP : 34.04 1865 139258 134.03 4090.62 2.26 826
155.03/155.67 c lex dual LP : 0.00 0 0 0.00 -
155.03/155.67 c barrier LP : 0.00 0 0 0.00 - 0.00 0
155.03/155.67 c resolve instable : 0.00 0 0 0.00 -
155.03/155.67 c diving/probing LP: 3.27 276 13018 47.17 3983.10
155.03/155.67 c strong branching : 38.54 626 175540 280.42 4554.84 - - 121
155.03/155.67 c (at root node) : - 19 5988 315.16 -
155.03/155.67 c conflict analysis: 0.23 71 702 9.89 3016.51
155.03/155.67 c B&B Tree :
155.03/155.67 c number of runs : 1
155.03/155.67 c nodes : 670 (341 internal, 329 leaves)
155.03/155.67 c feasible leaves : 1
155.03/155.67 c infeas. leaves : 82
155.03/155.67 c objective leaves : 246
155.03/155.67 c nodes (total) : 670 (341 internal, 329 leaves)
155.03/155.67 c nodes left : 0
155.03/155.67 c max depth : 27
155.03/155.67 c max depth (total): 27
155.03/155.67 c backtracks : 145 (21.6%)
155.03/155.67 c early backtracks : 0 (0.0%)
155.03/155.67 c nodes exc. ref. : 0 (0.0%)
155.03/155.67 c delayed cutoffs : 7
155.03/155.67 c repropagations : 163 (1179 domain reductions, 5 cutoffs)
155.03/155.67 c avg switch length: 4.37
155.03/155.67 c switching time : 1.00
155.03/155.67 c Root Node :
155.03/155.67 c First LP value : +5.22313646106216e+02
155.03/155.67 c First LP Iters : 1433 (28497.56 Iter/sec)
155.03/155.67 c First LP Time : 0.05
155.03/155.67 c Final Dual Bound : +8.70946093587098e+02
155.03/155.67 c Final Root Iters : 8622
155.03/155.67 c Root LP Estimate : +2.45265630659326e+03
155.03/155.67 c Solution :
155.03/155.67 c Solutions found : 2 (2 improvements)
155.03/155.67 c First Solution : +1.90900000000000e+03 (in run 1, after 114 nodes, 54.28 seconds, depth 11, found by <relaxation>)
155.03/155.67 c Gap First Sol. : 99.36 %
155.03/155.67 c Gap Last Sol. : 62.81 %
155.03/155.67 c Primal Bound : +1.55900000000000e+03 (in run 1, after 125 nodes, 54.51 seconds, depth 11, found by <relaxation>)
155.03/155.67 c Dual Bound : +1.55900000000000e+03
155.03/155.67 c Gap : 0.00 %
155.03/155.67 c Integrals : Total Avg%
155.03/155.67 c primal-dual : 8359.96 53.73
155.03/155.67 c primal-ref : - - (not evaluated)
155.03/155.67 c dual-ref : - - (not evaluated)
155.55/156.11 c Time complete: 155.551.
OK 1559
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: 63794 MiB (57601 MiB free)
memory of node 1: 64507 MiB (50371 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526758-1751634378/watcher-4526758-1751634378 -o /tmp/evaluation-result-4526758-1751634378/solver-4526758-1751634378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760 pbscip -f HOME/instance-4526758-1751634378.wbo -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=91539, runsolver pid=91536
Current StackSize limit: 8192 KiB
[startup+0.100077 s]*
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110560300/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=58444 memory=30592 CPUtime=0.08 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 4767 0 0 0 7 1 0 0 20 0 1 0 79117513 59846656 7648 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 0 0 0 0 17 3 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 14611 7648 3200 3530 0 6062 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 58444 KiB
Current children cumulated memory: 30592 KiB
[startup+0.215556 s]*
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110536232/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=73476 memory=45696 CPUtime=0.19 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 8580 0 0 0 17 2 0 0 20 0 1 0 79117513 75239424 11424 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 18369 11424 3200 3530 0 9820 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 73476 KiB
Current children cumulated memory: 45696 KiB
[startup+0.314409 s]*
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110520356/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=89560 memory=60928 CPUtime=0.29 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 12382 0 0 0 25 4 0 0 20 0 1 0 79117513 91709440 15232 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 22390 15232 3200 3530 0 13841 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89560 KiB
Current children cumulated memory: 60928 KiB
[startup+0.700329 s]
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110480540/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=188552 memory=161164 CPUtime=0.66 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 37623 0 0 0 55 11 0 0 20 0 1 0 79117513 193077248 40291 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 47138 40291 3520 3530 0 38589 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 188552 KiB
Current children cumulated memory: 161164 KiB
[startup+1.50034 s]
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110359580/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=356540 memory=322104 CPUtime=1.45 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 80382 0 0 0 124 21 0 0 20 0 1 0 79117513 365096960 80526 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 89135 80526 3552 3530 0 80586 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 356540 KiB
Current children cumulated memory: 322104 KiB
[startup+3.11424 s]
/proc/loadavg: 4.12 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110251360/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=345936 memory=311932 CPUtime=3.06 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 81357 0 0 0 284 22 0 0 20 0 1 0 79117513 354238464 77983 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 86484 77983 3616 3530 0 77935 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 345936 KiB
Current children cumulated memory: 311932 KiB
[startup+6.30033 s]
/proc/loadavg: 4.11 4.15 4.17 5/252 91540
/proc/meminfo: memFree=110215352/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=408900 memory=367380 CPUtime=6.23 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 96093 0 0 0 599 24 0 0 20 0 1 0 79117513 418713600 91845 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 102225 91845 3840 3530 0 93676 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 408900 KiB
Current children cumulated memory: 367380 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.15 4.16 5/252 91540
/proc/meminfo: memFree=110106596/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=526348 memory=441092 CPUtime=12.62 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 114007 0 0 0 1234 28 0 0 20 0 1 0 79117513 538980352 110273 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 131587 110273 3840 3530 0 123038 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 526348 KiB
Current children cumulated memory: 441092 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.14 4.16 5/251 91541
/proc/meminfo: memFree=110055844/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=562236 memory=476804 CPUtime=25.36 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 122879 0 0 0 2507 29 0 0 20 0 1 0 79117513 575729664 119201 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 140559 119201 3936 3530 0 132010 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 562236 KiB
Current children cumulated memory: 476804 KiB
[startup+51.1141 s]
/proc/loadavg: 4.11 4.14 4.16 5/251 91541
/proc/meminfo: memFree=109955300/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=577036 memory=480332 CPUtime=50.9 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 123263 0 0 0 5060 30 0 0 20 0 1 0 79117513 590884864 120083 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 144259 120083 3936 3530 0 135710 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 577036 KiB
Current children cumulated memory: 480332 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/251 91543
/proc/meminfo: memFree=109782396/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=765160 memory=608948 CPUtime=101.91 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 162975 0 0 0 10155 36 0 0 20 0 1 0 79117513 783523840 152237 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 191290 152237 3936 3530 0 182741 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 765160 KiB
Current children cumulated memory: 608948 KiB
[startup+156.13 s]
# the end of solver process 91539 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=155.152 s, system=0.420818 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.05 4.12 4.15 5/251 91543
/proc/meminfo: memFree=109782396/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=765160 memory=608948 CPUtime=102.01 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 162975 0 0 0 10165 36 0 0 20 0 1 0 79117513 783523840 152237 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 191290 152237 3936 3530 0 182741 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 765160 KiB
Current children cumulated memory: 608948 KiB
[startup+128 s]*
/proc/loadavg: 4.09 4.12 4.15 5/251 91544
/proc/meminfo: memFree=109749008/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=789304 memory=622600 CPUtime=127.54 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 165868 0 0 0 12717 37 0 0 20 0 1 0 79117513 808247296 155650 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 197326 155650 3936 3530 0 188777 0
Current children cumulated CPU time: 127.54 s
Current children cumulated vsize: 789304 KiB
Current children cumulated memory: 622600 KiB
[startup+140.8 s]
/proc/loadavg: 4.07 4.12 4.15 5/251 91544
/proc/meminfo: memFree=109734012/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=801112 memory=626316 CPUtime=140.28 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 166310 0 0 0 13991 37 0 0 20 0 1 0 79117513 820338688 156579 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 200278 156579 3936 3530 0 191729 0
Current children cumulated CPU time: 140.28 s
Current children cumulated vsize: 801112 KiB
Current children cumulated memory: 626316 KiB
[startup+147.2 s]
/proc/loadavg: 4.06 4.11 4.15 5/251 91545
/proc/meminfo: memFree=109729320/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=818828 memory=629644 CPUtime=146.66 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 167118 0 0 0 14629 37 0 0 20 0 1 0 79117513 838479872 157411 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 204707 157411 3936 3530 0 196158 0
Current children cumulated CPU time: 146.66 s
Current children cumulated vsize: 818828 KiB
Current children cumulated memory: 629644 KiB
[startup+150.4 s]
/proc/loadavg: 4.06 4.11 4.15 5/251 91545
/proc/meminfo: memFree=109730660/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=821272 memory=631720 CPUtime=149.85 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 167121 0 0 0 14948 37 0 0 20 0 1 0 79117513 840982528 157930 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 205318 157930 3936 3530 0 196769 0
Current children cumulated CPU time: 149.85 s
Current children cumulated vsize: 821272 KiB
Current children cumulated memory: 631720 KiB
[startup+153.6 s]
/proc/loadavg: 4.06 4.11 4.15 5/251 91545
/proc/meminfo: memFree=109684484/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=857380 memory=663720 CPUtime=153.04 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 175127 0 0 0 15266 38 0 0 20 0 1 0 79117513 877957120 165930 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 214345 165930 3936 3530 0 205796 0
Current children cumulated CPU time: 153.04 s
Current children cumulated vsize: 857380 KiB
Current children cumulated memory: 663720 KiB
[startup+155.2 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 91545
/proc/meminfo: memFree=109684484/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=857380 memory=663720 CPUtime=154.63 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 175127 0 0 0 15425 38 0 0 20 0 1 0 79117513 877957120 165930 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 214345 165930 3936 3530 0 205796 0
Current children cumulated CPU time: 154.63 s
Current children cumulated vsize: 857380 KiB
Current children cumulated memory: 663720 KiB
[startup+155.6 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 91545
/proc/meminfo: memFree=109684484/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=857380 memory=663720 CPUtime=155.03 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 175127 0 0 0 15465 38 0 0 20 0 1 0 79117513 877957120 165930 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 214345 165930 3936 3530 0 205796 0
Current children cumulated CPU time: 155.03 s
Current children cumulated vsize: 857380 KiB
Current children cumulated memory: 663720 KiB
[startup+156 s]*
/proc/loadavg: 4.14 4.13 4.15 5/251 91545
/proc/meminfo: memFree=109680168/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=840080 memory=646548 CPUtime=155.44 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 175140 0 0 0 15506 38 0 0 20 0 1 0 79117513 860241920 161637 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 210020 161637 3936 3530 0 201471 0
Current children cumulated CPU time: 155.44 s
Current children cumulated vsize: 840080 KiB
Current children cumulated memory: 646548 KiB
[startup+156.114 s]
/proc/loadavg: 4.14 4.13 4.15 5/251 91545
/proc/meminfo: memFree=109680168/131382112 swapFree=33010416/33010684
[pid=91539] ppid=91536 vsize=638612 memory=448560 CPUtime=155.55 cores=1,3
/proc/91539/stat : 91539 (pbscip) R 91536 91539 88018 0 -1 4194304 175141 0 0 0 15515 40 0 0 20 0 1 0 79117513 653938688 112315 18446744073709551615 4235264 18693293 140732061665280 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 58798080 140732061673863 140732061673962 140732061673962 140732061679566 0
/proc/91539/statm: 159653 112315 3936 3530 0 151104 0
Current children cumulated CPU time: 155.55 s
Current children cumulated vsize: 638612 KiB
Current children cumulated memory: 448560 KiB
Child status: 0
Real time (s): 156.131
CPU time (s): 155.573
CPU user time (s): 155.152
CPU system time (s): 0.420818
CPU usage (%): 99.6429
Max. virtual memory (cumulated for all children) (KiB): 857380
Max. memory (cumulated for all children) (KiB): 663720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.152
system time used= 0.420818
maximum resident set size= 663720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175147
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= 84
involuntary context switches= 192
# summary of solver processes directly reported to runsolver:
# pid: 91539
# total CPU time (s): 155.573
# total CPU user time (s): 155.152
# total CPU system time (s): 0.420818
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.828359 second user time and 1.75412 second system time
The end
Begin job on nodeC012 at 2025-07-04 15:06:18 IDJOB=4526758 IDBENCH=144148 IDSOLVER=3382 FILE ID=nodeC012/4526758-1751634378 RUNJOBID= nodeC012-1751626031-88030 SLURM_JOB_ID= 9598953 Free space on /tmp= 431480 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/satellite/normalized-satellite02ac_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526758-1751634378/watcher-4526758-1751634378 -o /tmp/evaluation-result-4526758-1751634378/solver-4526758-1751634378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760 pbscip -f HOME/instance-4526758-1751634378.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 022d1494f6130b0a4572cc40f0203308 RANDOM SEED=367381273 nodeC012 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 : 3553.304 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.39 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 : 3492.880 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.39 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.582 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.39 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.155 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.39 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 : 3491.536 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.39 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 : 3651.274 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.39 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 : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.39 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.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 110564396 kB MemAvailable: 111279932 kB Buffers: 2136 kB Cached: 1514656 kB SwapCached: 16 kB Active: 19257076 kB Inactive: 894428 kB Active(anon): 18647708 kB Inactive(anon): 4948 kB Active(file): 609368 kB Inactive(file): 889480 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 20088 kB Writeback: 4 kB AnonPages: 18595216 kB Mapped: 138540 kB Shmem: 17944 kB KReclaimable: 112248 kB Slab: 197832 kB SReclaimable: 112248 kB SUnreclaim: 85584 kB KernelStack: 4064 kB PageTables: 40228 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 21462032 kB VmallocTotal: 34359738367 kB VmallocUsed: 149448 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 5949440 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: 187208 kB DirectMap2M: 8103936 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 431460 MiB End job on nodeC012 at 2025-07-04 15:08:54