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 | 126.365 | 126.795 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/satellite/ normalized-satellite02bc_wcsp.wbo |
| MD5SUM | 16713d3fa0552eafdb06b909d1729aab |
| 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 | 2211 |
| Best CPU time to get the best result obtained on this benchmark | 0.920114 |
| 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 | 214775 |
| Min constraint cost | 1 |
| Max constraint cost | 214775 |
| Sum of constraints costs | 9197950033 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4425271-1720894410.wbo>
0.09/0.16 c original problem has 44542 variables (44542 bin, 0 int, 0 impl, 0 cont) and 87207 constraints
0.09/0.16 c problem read in 0.16
0.59/0.62 c presolving:
0.78/0.84 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
0.88/0.90 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
0.88/0.90 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
0.88/0.95 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
0.99/1.00 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
1.09/1.14 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
1.18/1.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
1.18/1.25 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
1.28/1.36 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
1.28/1.37 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
1.38/1.47 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
1.38/1.47 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
1.48/1.57 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
1.48/1.57 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
1.58/1.69 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
1.68/1.70 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
1.68/1.79 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
1.78/1.80 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
1.88/1.90 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
1.88/1.91 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
1.88/2.00 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
1.99/2.00 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
2.09/2.12 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
2.09/2.12 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
2.18/2.21 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
2.18/2.22 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
2.28/2.33 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
2.28/2.33 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
2.38/2.44 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
2.38/2.45 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
2.48/2.55 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
2.48/2.56 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
2.58/2.65 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
2.58/2.65 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
2.68/2.76 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
2.68/2.77 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
2.78/2.87 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
2.78/2.87 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
2.88/2.96 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
2.88/2.97 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
2.98/3.07 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
2.98/3.08 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
3.08/3.16 c (3.2s) probing: 1000/2385 (41.9%) - 0 fixings, 493 aggregations, 1079 implications, 0 bound changes
3.08/3.18 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
3.08/3.18 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
3.18/3.29 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
3.18/3.29 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
3.28/3.38 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
3.28/3.39 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
3.38/3.48 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
3.38/3.49 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
3.58/3.60 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
3.58/3.60 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
3.67/3.71 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
3.67/3.71 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
3.77/3.81 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
3.77/3.82 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
3.87/3.91 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
3.87/3.91 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
3.98/4.09 c (4.1s) probing: 1438/2385 (60.3%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
3.98/4.09 c (4.1s) probing aborted: 50/50 successive totally useless probings
3.98/4.09 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
3.98/4.09 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
4.08/4.11 c (4.1s) probing: 1443/2385 (60.5%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
4.08/4.11 c (4.1s) probing aborted: 50/50 successive totally useless probings
4.08/4.11 c (4.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.08/4.14 c (4.1s) no symmetry present (symcode time: 0.00)
4.08/4.15 c presolving (61 rounds: 61 fast, 31 medium, 31 exhaustive):
4.08/4.15 c 86356 deleted vars, 61341 deleted constraints, 0 added constraints, 86337 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.08/4.15 c 687 implications, 26431 cliques
4.08/4.15 c presolved problem has 1698 variables (1698 bin, 0 int, 0 impl, 0 cont) and 25866 constraints
4.08/4.15 c 25167 constraints of type <setppc>
4.08/4.15 c 687 constraints of type <linear>
4.08/4.15 c 12 constraints of type <indicator>
4.08/4.15 c transformed objective value is always integral (scale: 1)
4.08/4.15 c Presolving Time: 3.85
4.08/4.15 c - non default parameters ----------------------------------------------------------------------
4.08/4.15 c # SCIP version 10.0.0
4.08/4.15 c
4.08/4.15 c # maximal time in seconds to run
4.08/4.15 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.08/4.15 c limits/time = 3596.998008
4.08/4.15 c
4.08/4.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.08/4.15 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.08/4.15 c limits/memory = 27900
4.08/4.15 c
4.08/4.15 c # belongs reading time to solving time?
4.08/4.15 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.08/4.15 c timing/reading = TRUE
4.08/4.15 c
4.08/4.15 c -----------------------------------------------------------------------------------------------
4.08/4.15 c start solving
4.08/4.15 c
4.17/4.28 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.28 c 4.3s| 1 | 0 | 1413 | - | 318M | 0 |1698 | 25k| 25k| 0 | 0 | 44 | 0 | 5.789829e+02 | -- | Inf | unknown
4.98/5.06 c 5.1s| 1 | 0 | 5590 | - | 329M | 0 |1698 | 25k| 25k| 6 | 1 | 45 | 0 | 6.706111e+02 | -- | Inf | unknown
5.27/5.34 c 5.3s| 1 | 0 | 5784 | - | 341M | 0 |1698 | 25k| 25k| 15 | 2 | 47 | 0 | 8.287746e+02 | -- | Inf | unknown
5.37/5.47 c 5.5s| 1 | 0 | 5894 | - | 354M | 0 |1698 | 25k| 25k| 21 | 3 | 48 | 0 | 8.751010e+02 | -- | Inf | unknown
5.67/5.71 c 5.7s| 1 | 0 | 6127 | - | 372M | 0 |1698 | 25k| 25k| 27 | 4 | 49 | 0 | 9.326118e+02 | -- | Inf | unknown
6.57/6.67 c 6.7s| 1 | 0 | 6294 | - | 374M | 0 |1698 | 25k| 25k| 38 | 5 | 52 | 0 | 9.471874e+02 | -- | Inf | unknown
7.56/7.61 c 7.6s| 1 | 0 | 6462 | - | 378M | 0 |1698 | 25k| 25k| 51 | 6 | 53 | 0 | 9.713703e+02 | -- | Inf | unknown
8.57/8.60 c 8.6s| 1 | 0 | 6508 | - | 381M | 0 |1698 | 25k| 25k| 56 | 7 | 55 | 0 | 9.716089e+02 | -- | Inf | unknown
9.46/9.59 c 9.6s| 1 | 0 | 6775 | - | 384M | 0 |1698 | 25k| 25k| 67 | 8 | 56 | 0 | 9.834939e+02 | -- | Inf | unknown
11.25/11.39 c 11.4s| 1 | 0 | 7134 | - | 389M | 0 |1698 | 25k| 25k| 77 | 9 | 57 | 0 | 9.962564e+02 | -- | Inf | unknown
12.35/12.41 c 12.4s| 1 | 0 | 7903 | - | 392M | 0 |1698 | 25k| 25k| 88 | 10 | 59 | 0 | 1.079459e+03 | -- | Inf | unknown
12.45/12.51 c 12.5s| 1 | 0 | 8149 | - | 395M | 0 |1698 | 25k| 25k| 99 | 11 | 60 | 0 | 1.096622e+03 | -- | Inf | unknown
12.55/12.62 c 12.6s| 1 | 0 | 8467 | - | 397M | 0 |1698 | 25k| 25k| 107 | 12 | 61 | 0 | 1.120531e+03 | -- | Inf | unknown
12.55/12.68 c 12.7s| 1 | 0 | 8510 | - | 400M | 0 |1698 | 25k| 25k| 115 | 13 | 62 | 0 | 1.122683e+03 | -- | Inf | unknown
12.65/12.79 c 12.8s| 1 | 0 | 8837 | - | 403M | 0 |1698 | 25k| 25k| 121 | 14 | 64 | 0 | 1.162097e+03 | -- | Inf | unknown
12.85/12.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.85/12.90 c 12.9s| 1 | 0 | 9200 | - | 406M | 0 |1698 | 25k| 25k| 132 | 15 | 65 | 0 | 1.189830e+03 | -- | Inf | unknown
12.95/13.03 c 13.0s| 1 | 0 | 9577 | - | 409M | 0 |1698 | 25k| 25k| 139 | 16 | 67 | 0 | 1.215356e+03 | -- | Inf | unknown
13.05/13.17 c 13.2s| 1 | 0 | 10106 | - | 412M | 0 |1698 | 25k| 25k| 144 | 17 | 68 | 0 | 1.247227e+03 | -- | Inf | unknown
13.15/13.23 c 13.2s| 1 | 0 | 10175 | - | 414M | 0 |1698 | 25k| 25k| 149 | 18 | 70 | 0 | 1.250516e+03 | -- | Inf | unknown
13.25/13.32 c 13.3s| 1 | 0 | 10340 | - | 417M | 0 |1698 | 25k| 25k| 156 | 19 | 72 | 0 | 1.256153e+03 | -- | Inf | unknown
13.35/13.41 c 13.4s| 1 | 0 | 10583 | - | 420M | 0 |1698 | 25k| 26k| 165 | 20 | 73 | 0 | 1.265242e+03 | -- | Inf | unknown
13.35/13.48 c 13.5s| 1 | 0 | 10695 | - | 420M | 0 |1698 | 25k| 26k| 172 | 21 | 74 | 0 | 1.269315e+03 | -- | Inf | unknown
13.45/13.58 c 13.6s| 1 | 0 | 10942 | - | 420M | 0 |1698 | 25k| 25k| 178 | 22 | 75 | 0 | 1.275459e+03 | -- | Inf | unknown
13.55/13.65 c 13.6s| 1 | 0 | 11093 | - | 420M | 0 |1698 | 25k| 26k| 183 | 23 | 76 | 0 | 1.282112e+03 | -- | Inf | unknown
13.65/13.72 c 13.7s| 1 | 0 | 11222 | - | 421M | 0 |1698 | 25k| 26k| 191 | 24 | 82 | 0 | 1.288466e+03 | -- | Inf | unknown
13.65/13.78 c 13.8s| 1 | 0 | 11351 | - | 421M | 0 |1698 | 25k| 26k| 198 | 25 | 83 | 0 | 1.291073e+03 | -- | Inf | unknown
13.74/13.84 c 13.8s| 1 | 0 | 11445 | - | 421M | 0 |1698 | 25k| 26k| 203 | 26 | 86 | 0 | 1.293182e+03 | -- | Inf | unknown
13.84/13.90 c 13.9s| 1 | 0 | 11548 | - | 421M | 0 |1698 | 25k| 26k| 207 | 27 | 87 | 0 | 1.295760e+03 | -- | Inf | unknown
13.84/13.95 c 14.0s| 1 | 0 | 11612 | - | 421M | 0 |1698 | 25k| 26k| 213 | 28 | 88 | 0 | 1.296922e+03 | -- | Inf | unknown
13.95/14.01 c 14.0s| 1 | 0 | 11680 | - | 421M | 0 |1698 | 25k| 26k| 219 | 29 | 90 | 0 | 1.299769e+03 | -- | Inf | unknown
13.95/14.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.95/14.07 c 14.1s| 1 | 0 | 11771 | - | 422M | 0 |1698 | 25k| 26k| 227 | 30 | 91 | 0 | 1.301353e+03 | -- | Inf | unknown
14.05/14.13 c 14.1s| 1 | 0 | 11872 | - | 422M | 0 |1698 | 25k| 26k| 234 | 31 | 92 | 0 | 1.305499e+03 | -- | Inf | unknown
14.14/14.20 c 14.2s| 1 | 0 | 12013 | - | 422M | 0 |1698 | 25k| 26k| 241 | 32 | 93 | 0 | 1.309004e+03 | -- | Inf | unknown
14.14/14.24 c 14.2s| 1 | 0 | 12032 | - | 422M | 0 |1698 | 25k| 26k| 247 | 33 | 94 | 0 | 1.309241e+03 | -- | Inf | unknown
14.14/14.29 c 14.3s| 1 | 0 | 12064 | - | 423M | 0 |1698 | 25k| 26k| 250 | 34 | 95 | 0 | 1.309464e+03 | -- | Inf | unknown
14.24/14.33 c 14.3s| 1 | 0 | 12083 | - | 423M | 0 |1698 | 25k| 26k| 254 | 35 | 96 | 0 | 1.309715e+03 | -- | Inf | unknown
14.24/14.38 c 14.4s| 1 | 0 | 12105 | - | 423M | 0 |1698 | 25k| 26k| 256 | 36 | 100 | 0 | 1.310548e+03 | -- | Inf | unknown
14.34/14.42 c 14.4s| 1 | 0 | 12123 | - | 423M | 0 |1698 | 25k| 26k| 259 | 37 | 101 | 0 | 1.310888e+03 | -- | Inf | unknown
14.34/14.47 c 14.5s| 1 | 0 | 12148 | - | 423M | 0 |1698 | 25k| 26k| 266 | 38 | 102 | 0 | 1.311224e+03 | -- | Inf | unknown
14.44/14.51 c 14.5s| 1 | 0 | 12167 | - | 423M | 0 |1698 | 25k| 26k| 267 | 39 | 103 | 0 | 1.311495e+03 | -- | Inf | unknown
14.44/14.56 c 14.6s| 1 | 0 | 12223 | - | 424M | 0 |1698 | 25k| 26k| 268 | 40 | 104 | 0 | 1.312181e+03 | -- | Inf | unknown
14.54/14.60 c 14.6s| 1 | 0 | 12262 | - | 424M | 0 |1698 | 25k| 26k| 270 | 41 | 107 | 0 | 1.313348e+03 | -- | Inf | unknown
14.54/14.64 c 14.6s| 1 | 0 | 12276 | - | 424M | 0 |1698 | 25k| 26k| 271 | 42 | 108 | 0 | 1.313532e+03 | -- | Inf | unknown
14.54/14.68 c 14.7s| 1 | 0 | 12309 | - | 424M | 0 |1698 | 25k| 26k| 272 | 43 | 109 | 0 | 1.314050e+03 | -- | Inf | unknown
14.64/14.71 c 14.7s| 1 | 0 | 12311 | - | 424M | 0 |1698 | 25k| 26k| 275 | 44 | 110 | 0 | 1.314050e+03 | -- | Inf | unknown
19.42/19.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.42/19.58 c 19.6s| 1 | 2 | 19831 | - | 427M | 0 |1698 | 26k| 26k| 275 | 45 | 170 | 20 | 1.335190e+03 | -- | Inf | unknown
49.03/49.29 o 2930
49.03/49.29 c *49.3s| 89 | 11 | 34360 | 250.6 | LP | 10 |1698 | 26k| 25k| 282 | 1 | 494 | 563 | 1.429441e+03 | 2.930000e+03 | 104.98%| 11.89%
49.13/49.32 o 2386
49.13/49.32 c i49.3s| 90 | 8 | 34360 | 247.7 | oneopt| 10 |1698 | 26k| 25k| 282 | 0 | 494 | 563 | 1.429441e+03 | 2.386000e+03 | 66.92%| 16.90%
49.83/50.08 c 50.1s| 100 | 12 | 36428 | 243.6 | 437M | 10 |1698 | 26k| 26k| 291 | 2 | 498 | 563 | 1.429441e+03 | 2.386000e+03 | 66.92%| 18.47%
66.18/66.47 c 66.5s| 200 | 14 | 57725 | 228.2 | 614M | 20 |1698 | 26k| 26k| 627 | 0 | 618 | 635 | 1.475599e+03 | 2.386000e+03 | 61.70%| 50.28%
74.35/74.65 c 74.6s| 300 | 12 | 68854 | 189.1 | 629M | 22 |1698 | 26k| 26k| 703 | 2 | 727 | 652 | 1.611598e+03 | 2.386000e+03 | 48.05%| 52.45%
93.99/94.38 c 94.4s| 400 | 13 | 85491 | 183.4 | 652M | 29 |1698 | 26k| 26k| 878 | 0 | 834 | 687 | 1.709604e+03 | 2.386000e+03 | 39.56%| 53.81%
100.87/101.25 c 101s| 500 | 18 | 99729 | 175.2 | 656M | 29 |1698 | 26k| 26k| 913 | 2 | 903 | 711 | 1.720502e+03 | 2.386000e+03 | 38.68%| 54.70%
100.96/101.36 o 2211
100.96/101.36 c * 101s| 506 | 11 |100053 | 173.7 | LP | 29 |1698 | 26k| 26k| 913 | 1 | 911 | 711 | 1.720502e+03 | 2.211000e+03 | 28.51%| 54.85%
113.41/113.80 c 114s| 600 | 3 |113291 | 168.6 | 673M | 29 |1698 | 23k| 26k|1038 | 0 | 933 | 738 | 1.786826e+03 | 2.211000e+03 | 23.74%| 87.17%
125.86/126.36 c
125.86/126.36 c SCIP Status : problem is solved [optimal solution found]
125.86/126.36 c Solving Time (sec) : 126.36
125.86/126.36 c Solving Nodes : 640
125.86/126.36 c Primal Bound : +2.21100000000000e+03 (5 solutions)
125.86/126.36 c Dual Bound : +2.21100000000000e+03
125.86/126.36 c Gap : 0.00 %
125.96/126.43 s OPTIMUM FOUND
125.96/126.43 v -x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011
125.96/126.43 v -x1010 x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992
125.96/126.43 v -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970
125.96/126.43 v x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949
125.96/126.43 v -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 x931 -x930 -x929 -x928
125.96/126.43 v x927 -x926 x925 x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906
125.96/126.43 v -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 x886 -x885
125.96/126.43 v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864
125.96/126.43 v -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 x845 -x844 -x843 -x842
125.96/126.43 v x841 -x840 -x839 x838 -x837 x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821
125.96/126.43 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799
125.96/126.43 v -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778
125.96/126.43 v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 x757
125.96/126.43 v -x756 -x755 -x754 x753 -x752 -x751 x750 -x749 x748 -x747 -x746 -x745 x744 -x743 -x742 x741 -x740 -x739 x738 -x737 x736 -x735
125.96/126.43 v -x734 x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713
125.96/126.43 v -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692
125.96/126.43 v -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671
125.96/126.43 v -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 x655 -x654 -x653 -x652 x651 -x650 -x649
125.96/126.43 v x648 -x647 x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628
125.96/126.43 v -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606
125.96/126.43 v -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585
125.96/126.43 v -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564
125.96/126.43 v -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 x548 -x547 -x546 -x545 x544 -x543 -x542
125.96/126.43 v x541 -x540 x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 x530 -x529 x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520
125.96/126.43 v x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499
125.96/126.43 v -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478
125.96/126.43 v -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
125.96/126.43 v -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435
125.96/126.43 v x434 -x433 x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 x423 -x422 -x421 x420 -x419 -x418 -x417 x416 -x415 -x414 -x413
125.96/126.43 v x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
125.96/126.43 v -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371
125.96/126.43 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349
125.96/126.43 v -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 x334 -x333 -x332 -x331 x330 -x329 -x328
125.96/126.43 v x327 -x326 x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 x313 -x312 -x311 -x310 x309 -x308 x307 -x306
125.96/126.43 v -x305 -x304 -x303 -x302 x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
125.96/126.43 v -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263
125.96/126.43 v -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242
125.96/126.43 v -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221
125.96/126.43 v x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 x199
125.96/126.43 v -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
125.96/126.43 v -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156
125.96/126.43 v -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135
125.96/126.43 v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 v -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 -x2 x1
125.96/126.43 c SCIP Status : problem is solved [optimal solution found]
125.96/126.43 c Total Time : 126.36
125.96/126.43 c solving : 126.36
125.96/126.43 c presolving : 3.85 (included in solving)
125.96/126.43 c reading : 0.16 (included in solving)
125.96/126.43 c copying : 0.47 (13 #copies) (minimal 0.03, maximal 0.04, average 0.04)
125.96/126.43 c Original Problem :
125.96/126.43 c Problem name : HOME/instance-4425271-1720894410.wbo
125.96/126.43 c Variables : 44542 (44542 binary, 0 integer, 0 implicit integer, 0 continuous)
125.96/126.43 c Constraints : 87207 initial, 87207 maximal
125.96/126.43 c Objective : minimize, 43512 non-zeros (abs.min = 1, abs.max = 214775)
125.96/126.43 c Presolved Problem :
125.96/126.43 c Problem name : t_HOME/instance-4425271-1720894410.wbo
125.96/126.43 c Variables : 1698 (1698 binary, 0 integer, 0 implicit integer, 0 continuous)
125.96/126.43 c Constraints : 25866 initial, 26657 maximal
125.96/126.43 c Objective : minimize, 687 non-zeros (abs.min = 1, abs.max = 594)
125.96/126.43 c Nonzeros : 52422 constraint, 24060 clique table
125.96/126.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
125.96/126.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c domcol : 0.00 0.00 29 0 0 0 0 0 0 0 0 0
125.96/126.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c implics : 0.00 0.00 31 0 0 0 0 0 0 0 0 0
125.96/126.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c trivial : 0.01 0.00 61 0 0 0 0 0 0 0 0 0
125.96/126.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c dualfix : 0.01 0.00 61 0 0 0 0 0 0 0 0 0
125.96/126.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c probing : 2.58 0.00 29 0 687 0 0 0 0 0 0 0
125.96/126.43 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c setppc : 0.49 0.00 114 0 0 0 0 0 0 0 0 0
125.96/126.43 c linear : 0.30 0.01 92 42825 19 0 43512 0 17841 0 0 0
125.96/126.43 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c indicator : 0.07 0.00 31 42825 0 0 42825 0 43500 0 0 0
125.96/126.43 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c root node : - - - 495 - - 495 - - - - -
125.96/126.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
125.96/126.43 c benderslp : 0 0 0 0 384 0 0 97 0 0 0 0 0 0 0
125.96/126.43 c integral : 0 0 0 0 384 0 0 97 0 0 439 0 0 357 660
125.96/126.43 c knapsack : 0+ 24 0 9728 0 0 0 0 29 9 243 0 0 0 0
125.96/126.43 c setppc : 25167+ 25328 45 16640 2 0 0 91 24846 215 36194 0 0 0 0
125.96/126.43 c linear : 687+ 696 45 16425 2 0 0 47 3133 1 9860 0 0 0 0
125.96/126.43 c logicor : 0+ 620 45 5176 0 0 0 0 507 19 938 1 1 0 0
125.96/126.43 c benders : 0 0 0 0 2 0 0 7 0 0 0 0 0 0 0
125.96/126.43 c indicator : 12 12 265 16405 2 0 0 5 0 0 0 0 0 0 0
125.96/126.43 c fixedvar : 0 0 0 0 2 0 0 7 0 0 0 0 0 0 0
125.96/126.43 c countsols : 0 0 0 0 2 0 0 7 0 0 0 0 0 0 0
125.96/126.43 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
125.96/126.43 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c integral : 39.39 0.00 0.00 0.00 39.38 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
125.96/126.43 c setppc : 1.41 0.00 0.04 1.02 0.00 0.00 0.00 0.04 0.01 0.29
125.96/126.43 c linear : 0.31 0.01 0.18 0.10 0.00 0.00 0.00 0.00 0.00 0.01
125.96/126.43 c logicor : 0.04 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.01
125.96/126.43 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c indicator : 0.03 0.00 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c fixedvar : 0.02 0.00 0.00 0.00 0.00 0.00 0.00 0.02 0.00 0.00
125.96/126.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c Propagators : #Propagate #ResProp Cutoffs DomReds
125.96/126.43 c dualfix : 1 0 0 0
125.96/126.43 c genvbounds : 0 0 0 0
125.96/126.43 c nlobbt : 0 0 0 0
125.96/126.43 c obbt : 0 0 0 0
125.96/126.43 c probing : 0 0 0 0
125.96/126.43 c pseudoobj : 5153 0 0 5
125.96/126.43 c redcost : 1558 0 0 24679
125.96/126.43 c rootredcost : 4 0 0 0
125.96/126.43 c symmetry : 0 0 0 0
125.96/126.43 c vbounds : 7406 0 0 0
125.96/126.43 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
125.96/126.43 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
125.96/126.43 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c probing : 2.58 0.00 2.58 0.00 0.00 0.00
125.96/126.43 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
125.96/126.43 c redcost : 0.14 0.00 0.00 0.14 0.00 0.00
125.96/126.43 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
125.96/126.43 c symmetry : 0.02 0.00 0.02 0.00 0.00 0.00
125.96/126.43 c vbounds : 0.02 0.00 0.00 0.02 0.00 0.00
125.96/126.43 c Symmetry :
125.96/126.43 c orbitopal red. : 0 reductions applied, 0 cutoffs
125.96/126.43 c orbital reduction: 0 reductions applied, 0 cutoffs
125.96/126.43 c lexicographic red: 0 reductions applied, 0 cutoffs
125.96/126.43 c shadow tree time : 0.00 s
125.96/126.43 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
125.96/126.43 c propagation : 0.01 238 237 - 650 62.6 59 6.9 - - -
125.96/126.43 c infeasible LP : 0.03 39 39 - 218 64.8 3 13.0 36 118.2 0
125.96/126.43 c bound exceed. LP : 0.21 72 19 - 160 95.7 0 0.0 0 0.0 470
125.96/126.43 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
125.96/126.43 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
125.96/126.43 c applied globally : 0.05 - - 0 922 45.8 - - 36 - -
125.96/126.43 c applied locally : - - - 0 0 0.0 - - 0 - -
125.96/126.43 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
125.96/126.43 c cut pool : 1.13 - 401 88 - - 4599 11106 - - - - - (maximal pool size: 2436)
125.96/126.43 c aggregation : 1.68 0.00 218 45 0 0 0 0 0 0 0 0 0
125.96/126.43 c > cmir : - - - - - - - 0 0 0 0 0 -
125.96/126.43 c > flowcover : - - - - - - - 0 0 0 0 0 -
125.96/126.43 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
125.96/126.43 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c clique : 0.23 0.00 45 45 0 0 254 1750 0 494 494 0 0
125.96/126.43 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c gomory : 41.45 0.00 102 10 0 0 4107 8100 0 201 201 0 0
125.96/126.43 c > gomorymi : - - - - - - - 4261 0 91 91 0 -
125.96/126.43 c > strongcg : - - - - - - - 3839 0 110 110 0 -
125.96/126.43 c impliedbounds : 0.12 0.00 218 45 0 0 21 33 0 23 23 0 0
125.96/126.43 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
125.96/126.43 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c multilinear : 0.00 0.00 92 45 0 0 0 0 0 0 0 0 0
125.96/126.43 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
125.96/126.43 c rlt : 0.00 0.00 36 10 0 0 0 0 0 0 0 0 0
125.96/126.43 c zerohalf : 0.75 0.00 112 20 0 0 217 1223 0 456 456 0 0
125.96/126.43 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
125.96/126.43 c hybrid : 0.08 0.00 234 44 1175 0 9932 275 0 1802
125.96/126.43 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c Pricers : ExecTime SetupTime Calls Vars
125.96/126.43 c problem variables: 0.00 - 0 0
125.96/126.43 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
125.96/126.43 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c random : 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c relpscost : 39.38 0.00 382 0 0 0 439 0 380 660
125.96/126.43 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
125.96/126.43 c Primal Heuristics : ExecTime SetupTime Calls Found Best
125.96/126.43 c LP solutions : 0.00 - - 2 2
125.96/126.43 c relax solutions : 0.00 - - 0 0
125.96/126.43 c pseudo solutions : 0.00 - - 0 0
125.96/126.43 c strong branching : 0.00 - - 0 0
125.96/126.43 c actconsdiving : 0.00 0.00 0 0 0
125.96/126.43 c adaptivediving : 0.00 0.00 0 0 0
125.96/126.43 c alns : 0.32 0.00 5 0 0
125.96/126.43 c bound : 0.00 0.00 0 0 0
125.96/126.43 c clique : 0.04 0.00 1 0 0
125.96/126.43 c coefdiving : 0.00 0.00 0 0 0
125.96/126.43 c completesol : 0.00 0.00 0 0 0
125.96/126.43 c conflictdiving : 0.37 0.00 1 0 0
125.96/126.43 c crossover : 0.09 0.00 1 1 0
125.96/126.43 c dins : 0.00 0.00 0 0 0
125.96/126.43 c distributiondivin: 0.04 0.00 0 0 0
125.96/126.43 c dps : 0.00 0.00 0 0 0
125.96/126.43 c dualval : 0.00 0.00 0 0 0
125.96/126.43 c farkasdiving : 2.29 0.00 1 0 0
125.96/126.43 c feasjump : 0.02 0.00 1 0 0
125.96/126.43 c feaspump : 0.64 0.00 1 0 0
125.96/126.43 c fixandinfer : 0.00 0.00 0 0 0
125.96/126.43 c fracdiving : 0.00 0.00 0 0 0
125.96/126.43 c gins : 0.19 0.00 2 0 0
125.96/126.43 c guideddiving : 0.00 0.00 0 0 0
125.96/126.43 c indcoefdiving : 0.00 0.00 0 0 0
125.96/126.43 c indicator : 0.00 0.00 0 0 0
125.96/126.43 c indicatordiving : 0.00 0.00 0 0 0
125.96/126.43 c indoneopt : 0.05 0.00 4 1 0
125.96/126.43 c indrounding : 0.00 0.00 0 0 0
125.96/126.43 c indtwoopt : 0.00 0.00 0 0 0
125.96/126.43 c intdiving : 0.00 0.00 0 0 0
125.96/126.43 c intshifting : 0.00 0.00 0 0 0
125.96/126.43 c linesearchdiving : 0.00 0.00 0 0 0
125.96/126.43 c localbranching : 0.00 0.00 0 0 0
125.96/126.43 c locks : 0.01 0.00 1 0 0
125.96/126.43 c lpface : 0.00 0.00 0 0 0
125.96/126.43 c mpec : 0.00 0.00 0 0 0
125.96/126.43 c multistart : 0.00 0.00 0 0 0
125.96/126.43 c mutation : 0.00 0.00 0 0 0
125.96/126.43 c nlpdiving : 0.00 0.00 0 0 0
125.96/126.43 c objpscostdiving : 0.00 0.00 0 0 0
125.96/126.43 c octane : 0.00 0.00 0 0 0
125.96/126.43 c ofins : 0.00 0.00 0 0 0
125.96/126.43 c oneopt : 0.01 0.00 2 1 1
125.96/126.43 c padm : 0.00 0.00 0 0 0
125.96/126.43 c proximity : 0.00 0.00 0 0 0
125.96/126.43 c pscostdiving : 0.10 0.00 1 0 0
125.96/126.43 c randrounding : 0.25 0.00 88 0 0
125.96/126.43 c rens : 0.10 0.00 1 0 0
125.96/126.43 c reoptsols : 0.00 0.00 0 0 0
125.96/126.43 c repair : 0.00 0.00 0 0 0
125.96/126.43 c rins : 0.47 0.00 5 0 0
125.96/126.43 c rootsoldiving : 0.00 0.00 0 0 0
125.96/126.43 c rounding : 0.26 0.00 311 0 0
125.96/126.43 c scheduler : 0.00 0.00 0 0 0
125.96/126.43 c shiftandpropagate: 0.01 0.00 1 0 0
125.96/126.43 c shifting : 0.77 0.00 207 0 0
125.96/126.43 c simplerounding : 0.03 0.00 623 0 0
125.96/126.43 c smallcard : 0.00 0.00 0 0 0
125.96/126.43 c subnlp : 0.00 0.00 0 0 0
125.96/126.43 c trivial : 0.03 0.00 2 0 0
125.96/126.43 c trivialnegation : 0.00 0.00 0 0 0
125.96/126.43 c trustregion : 0.00 0.00 0 0 0
125.96/126.43 c trysol : 0.00 0.00 0 0 0
125.96/126.43 c twoopt : 0.00 0.00 0 0 0
125.96/126.43 c undercover : 0.00 0.00 0 0 0
125.96/126.43 c vbounds : 0.01 0.00 1 0 0
125.96/126.43 c veclendiving : 0.00 0.00 0 0 0
125.96/126.43 c zeroobj : 0.00 0.00 0 0 0
125.96/126.43 c zirounding : 0.06 0.00 330 0 0
125.96/126.43 c other solutions : - - - 0 -
125.96/126.43 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 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
125.96/126.43 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
125.96/126.43 c primal LP : 0.15 70 0 0.00 0.00 0.15 70
125.96/126.43 c dual LP : 26.33 1579 108389 124.30 4116.39 1.86 707
125.96/126.43 c lex dual LP : 0.00 0 0 0.00 -
125.96/126.43 c barrier LP : 0.00 0 0 0.00 - 0.00 0
125.96/126.43 c resolve instable : 0.00 0 0 0.00 -
125.96/126.43 c diving/probing LP: 3.24 267 12631 47.31 3898.62
125.96/126.43 c strong branching : 35.02 756 165178 218.49 4716.90 - - 121
125.96/126.43 c (at root node) : - 20 8345 417.25 -
125.96/126.43 c conflict analysis: 0.15 47 470 10.00 3239.41
125.96/126.43 c B&B Tree :
125.96/126.43 c number of runs : 1
125.96/126.43 c nodes : 640 (330 internal, 310 leaves)
125.96/126.43 c feasible leaves : 2
125.96/126.43 c infeas. leaves : 76
125.96/126.43 c objective leaves : 232
125.96/126.43 c nodes (total) : 640 (330 internal, 310 leaves)
125.96/126.43 c nodes left : 0
125.96/126.43 c max depth : 29
125.96/126.43 c max depth (total): 29
125.96/126.43 c backtracks : 136 (21.2%)
125.96/126.43 c early backtracks : 0 (0.0%)
125.96/126.43 c nodes exc. ref. : 0 (0.0%)
125.96/126.43 c delayed cutoffs : 10
125.96/126.43 c repropagations : 134 (1284 domain reductions, 10 cutoffs)
125.96/126.43 c avg switch length: 3.15
125.96/126.43 c switching time : 0.71
125.96/126.43 c Root Node :
125.96/126.43 c First LP value : +5.78982905982906e+02
125.96/126.43 c First LP Iters : 1413 (32887.23 Iter/sec)
125.96/126.43 c First LP Time : 0.04
125.96/126.43 c Final Dual Bound : +1.33518986651783e+03
125.96/126.43 c Final Root Iters : 12311
125.96/126.43 c Root LP Estimate : +4.77293015264136e+03
125.96/126.43 c Solution :
125.96/126.43 c Solutions found : 5 (3 improvements)
125.96/126.43 c First Solution : +2.93000000000000e+03 (in run 1, after 89 nodes, 49.29 seconds, depth 8, found by <relaxation>)
125.96/126.43 c Gap First Sol. : 104.98 %
125.96/126.43 c Gap Last Sol. : 28.51 %
125.96/126.43 c Primal Bound : +2.21100000000000e+03 (in run 1, after 640 nodes, 126.36 seconds, depth -1, found by <relaxation>)
125.96/126.43 c Dual Bound : +2.21100000000000e+03
125.96/126.43 c Gap : 0.00 %
125.96/126.43 c Integrals : Total Avg%
125.96/126.43 c primal-dual : 7134.30 56.46
125.96/126.43 c primal-ref : - - (not evaluated)
125.96/126.43 c dual-ref : - - (not evaluated)
126.26/126.78 c Time complete: 126.352.
OK 2211
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: 63931 MiB (61485 MiB free)
memory of node 1: 64510 MiB (62632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425271-1720894410/watcher-4425271-1720894410 -o /tmp/evaluation-result-4425271-1720894410/solver-4425271-1720894410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720894420-724337 --watchdog 3760 pbscip -f HOME/instance-4425271-1720894410.wbo -t 3600 -j 2 -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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=724446, runsolver pid=724443
[startup+0.101014 s]*
/proc/loadavg: 3.65 3.99 3.99 4/255 724447
/proc/meminfo: memFree=127108568/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=100264 memory=59576 CPUtime=0.09 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 12051 0 0 0 8 1 0 0 20 0 1 0 141602849 102670336 14894 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 25066 14894 3204 3540 0 13323 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 100264 KiB
Current children cumulated memory: 59576 KiB
[startup+0.205466 s]*
/proc/loadavg: 3.65 3.99 3.99 4/252 724455
/proc/meminfo: memFree=126962952/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=172932 memory=131900 CPUtime=0.2 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 30300 0 0 0 16 4 0 0 20 0 1 0 141602849 177082368 32975 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 43233 32975 3507 3540 0 31490 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 172932 KiB
Current children cumulated memory: 131900 KiB
[startup+0.305777 s]*
/proc/loadavg: 3.65 3.99 3.99 4/254 724461
/proc/meminfo: memFree=126836300/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=223948 memory=181140 CPUtime=0.3 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 42600 0 0 0 24 6 0 0 20 0 1 0 141602849 229322752 45285 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 55987 45285 3555 3540 0 44244 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 223948 KiB
Current children cumulated memory: 181140 KiB
[startup+0.700222 s]
/proc/loadavg: 3.65 3.99 3.99 5/257 724493
/proc/meminfo: memFree=126570196/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=369340 memory=322324 CPUtime=0.69 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 80410 0 0 0 56 13 0 0 20 0 1 0 141602849 378204160 80581 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 92335 80581 3555 3540 0 80592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 369340 KiB
Current children cumulated memory: 322324 KiB
[startup+1.50023 s]
/proc/loadavg: 3.65 3.99 3.99 5/257 724493
/proc/meminfo: memFree=126129092/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=358364 memory=311516 CPUtime=1.48 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 81282 0 0 0 135 13 0 0 20 0 1 0 141602849 366964736 77879 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 89591 77879 3571 3540 0 77848 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 358364 KiB
Current children cumulated memory: 311516 KiB
[startup+3.10548 s]
/proc/loadavg: 3.65 3.99 3.99 4/254 724553
/proc/meminfo: memFree=124017328/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=359376 memory=312632 CPUtime=3.08 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 81526 0 0 0 295 13 0 0 20 0 1 0 141602849 368001024 78158 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 89844 78158 3587 3540 0 78101 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 359376 KiB
Current children cumulated memory: 312632 KiB
[startup+6.3002 s]
/proc/loadavg: 3.68 4.00 3.99 5/257 724585
/proc/meminfo: memFree=120962696/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=447896 memory=387808 CPUtime=6.27 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 101213 0 0 0 610 17 0 0 20 0 1 0 141602849 458645504 96952 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 111974 96952 3827 3540 0 100231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 447896 KiB
Current children cumulated memory: 387808 KiB
[startup+12.7002 s]
/proc/loadavg: 3.62 3.98 3.99 4/250 724617
/proc/meminfo: memFree=115324992/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=477348 memory=395728 CPUtime=12.65 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 103186 0 0 0 1246 19 0 0 20 0 1 0 141602849 488804352 98932 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 119337 98932 3827 3540 0 107594 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 477348 KiB
Current children cumulated memory: 395728 KiB
[startup+25.5002 s]
/proc/loadavg: 3.55 3.95 3.98 4/250 724621
/proc/meminfo: memFree=109132404/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=538068 memory=442364 CPUtime=25.41 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 114194 0 0 0 2519 22 0 0 20 0 1 0 141602849 550981632 110591 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 134517 110591 3969 3540 0 122774 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 538068 KiB
Current children cumulated memory: 442364 KiB
[startup+51.1054 s]
/proc/loadavg: 3.42 3.88 3.96 4/250 724625
/proc/meminfo: memFree=107952644/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=538356 memory=442888 CPUtime=50.93 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 114389 0 0 0 5071 22 0 0 20 0 1 0 141602849 551276544 110722 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 134589 110722 3985 3540 0 122846 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 538356 KiB
Current children cumulated memory: 442888 KiB
[startup+102.3 s]
/proc/loadavg: 3.25 3.76 3.91 4/250 724634
/proc/meminfo: memFree=99831484/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=759196 memory=593996 CPUtime=101.96 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 154415 0 0 0 10167 29 0 0 20 0 1 0 141602849 777416704 148499 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 189799 148499 3985 3540 0 178056 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 759196 KiB
Current children cumulated memory: 593996 KiB
[startup+126.795 s]
# the end of solver process 724446 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=126.044 s, system=0.321843 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 3.25 3.76 3.91 4/250 724634
/proc/meminfo: memFree=99831484/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=759196 memory=593996 CPUtime=102.06 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 154415 0 0 0 10177 29 0 0 20 0 1 0 141602849 777416704 148499 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 189799 148499 3985 3540 0 178056 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 759196 KiB
Current children cumulated memory: 593996 KiB
[startup+115.2 s]
/proc/loadavg: 3.20 3.72 3.89 4/248 724636
/proc/meminfo: memFree=95825736/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=768900 memory=595428 CPUtime=114.8 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157339 0 0 0 11451 29 0 0 20 0 1 0 141602849 787353600 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192225 148857 3985 3540 0 180482 0
Current children cumulated CPU time: 114.8 s
Current children cumulated vsize: 768900 KiB
Current children cumulated memory: 595428 KiB
[startup+121.6 s]
/proc/loadavg: 3.18 3.71 3.89 4/248 724637
/proc/meminfo: memFree=95359692/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=771340 memory=595428 CPUtime=121.18 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157340 0 0 0 12089 29 0 0 20 0 1 0 141602849 789852160 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192835 148857 3985 3540 0 181092 0
Current children cumulated CPU time: 121.18 s
Current children cumulated vsize: 771340 KiB
Current children cumulated memory: 595428 KiB
[startup+124.8 s]
/proc/loadavg: 3.18 3.71 3.89 4/248 724637
/proc/meminfo: memFree=95107328/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=771340 memory=595428 CPUtime=124.36 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157340 0 0 0 12407 29 0 0 20 0 1 0 141602849 789852160 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192835 148857 3985 3540 0 181092 0
Current children cumulated CPU time: 124.36 s
Current children cumulated vsize: 771340 KiB
Current children cumulated memory: 595428 KiB
[startup+125.6 s]
/proc/loadavg: 3.17 3.70 3.88 4/248 724637
/proc/meminfo: memFree=95031732/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=771340 memory=595428 CPUtime=125.16 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157340 0 0 0 12487 29 0 0 20 0 1 0 141602849 789852160 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192835 148857 3985 3540 0 181092 0
Current children cumulated CPU time: 125.16 s
Current children cumulated vsize: 771340 KiB
Current children cumulated memory: 595428 KiB
[startup+126.4 s]
/proc/loadavg: 3.17 3.70 3.88 4/248 724637
/proc/meminfo: memFree=94928052/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=771340 memory=595428 CPUtime=125.96 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157353 0 0 0 12567 29 0 0 20 0 1 0 141602849 789852160 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192835 148857 3985 3540 0 181092 0
Current children cumulated CPU time: 125.96 s
Current children cumulated vsize: 771340 KiB
Current children cumulated memory: 595428 KiB
[startup+126.6 s]
/proc/loadavg: 3.17 3.70 3.88 4/248 724637
/proc/meminfo: memFree=94928052/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=771340 memory=595428 CPUtime=126.16 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157353 0 0 0 12587 29 0 0 20 0 1 0 141602849 789852160 148857 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 192835 148857 3985 3540 0 181092 0
Current children cumulated CPU time: 126.16 s
Current children cumulated vsize: 771340 KiB
Current children cumulated memory: 595428 KiB
[startup+126.7 s]
/proc/loadavg: 3.17 3.70 3.88 4/248 724637
/proc/meminfo: memFree=94928052/131524600 swapFree=131071996/131071996
[pid=724446] ppid=724443 vsize=705996 memory=530200 CPUtime=126.26 cores=4,6
/proc/724446/stat : 724446 (pbscip) R 724443 724446 721936 0 -1 4194304 157353 0 0 0 12596 30 0 0 20 0 1 0 141602849 722939904 132550 134679101440 4194304 18693293 140729291903552 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 56750080 140729291908130 140729291908229 140729291908229 140729291915214 0
/proc/724446/statm: 176499 132550 3985 3540 0 164756 0
Current children cumulated CPU time: 126.26 s
Current children cumulated vsize: 705996 KiB
Current children cumulated memory: 530200 KiB
Child status: 0
Real time (s): 126.795
CPU time (s): 126.365
CPU user time (s): 126.044
CPU system time (s): 0.321843
CPU usage (%): 99.6612
Max. virtual memory (cumulated for all children) (KiB): 771340
Max. memory (cumulated for all children) (KiB): 595428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.044
system time used= 0.321843
maximum resident set size= 605608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157358
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= 8
involuntary context switches= 153
# summary of solver processes directly reported to runsolver:
# pid: 724446
# total CPU time (s): 126.365
# total CPU user time (s): 126.044
# total CPU system time (s): 0.321843
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.247165 second user time and 0.618726 second system time
The end
Begin job on nodeC017 at 2024-07-13 20:13:42 IDJOB=4425271 IDBENCH=144151 IDSOLVER=3038 FILE ID=nodeC017/4425271-1720894410 RUNJOBID= nodeC017-1720894420-724337 SLURM_JOB_ID= 7485801 Free space on /tmp= 889940 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/satellite/normalized-satellite02bc_wcsp.wbo COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425271-1720894410/watcher-4425271-1720894410 -o /tmp/evaluation-result-4425271-1720894410/solver-4425271-1720894410 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1720894420-724337 --watchdog 3760 pbscip -f HOME/instance-4425271-1720894410.wbo -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 16713d3fa0552eafdb06b909d1729aab RANDOM SEED=1197242675 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3667.210 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3687.697 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3601.541 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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.984 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3664.781 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3687.721 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3657.384 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.919 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 127113880 kB MemAvailable: 127886508 kB Buffers: 336640 kB Cached: 1277960 kB SwapCached: 0 kB Active: 642996 kB Inactive: 3199300 kB Active(anon): 1568 kB Inactive(anon): 2263880 kB Active(file): 641428 kB Inactive(file): 935420 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 165332 kB Writeback: 4 kB AnonPages: 2227812 kB Mapped: 130396 kB Shmem: 37720 kB KReclaimable: 70852 kB Slab: 168944 kB SReclaimable: 70852 kB SUnreclaim: 98092 kB KernelStack: 4128 kB PageTables: 13548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2480056 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 54048 kB HardwareCorrupted: 0 kB AnonHugePages: 223232 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 162516 kB DirectMap2M: 11145216 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 889940 MiB End job on nodeC017 at 2024-07-13 20:15:49