| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.94 | 3597.06 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb |
| MD5SUM | 0bf652578c2f1d207084d270794d0d34 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 16.9419 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6256 |
| Total number of constraints | 6442 |
| Number of constraints which are clauses | 6350 |
| Number of constraints which are cardinality constraints (but not clauses) | 92 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 93 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4507311-1751187286.opb>
0.00/0.02 c original problem has 6256 variables (6256 bin, 0 int, 0 cont) and 6442 constraints
0.00/0.02 c problem read in 0.020 seconds
0.00/0.02 c problem without objective
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1247 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1234 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1239 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1265 clqs
0.00/0.05 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1280 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.10/0.14 c (0.1s) MILP presolver (5 rounds): 1 aggregations, 94 fixings, 0 bound changes
0.10/0.15 c (round 6, medium) 678 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1280 clqs
0.10/0.15 c (round 7, fast) 678 del vars, 401 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1286 clqs
0.10/0.15 c (round 8, exhaustive) 678 del vars, 490 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1286 clqs
0.10/0.18 c (round 9, exhaustive) 678 del vars, 490 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5952 upgd conss, 0 impls, 1286 clqs
0.20/0.21 c (round 10, exhaustive) 737 del vars, 490 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5952 upgd conss, 0 impls, 1274 clqs
0.20/0.21 c (round 11, fast) 796 del vars, 549 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5952 upgd conss, 0 impls, 1274 clqs
0.78/0.89 c (round 12, exhaustive) 822 del vars, 550 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5952 upgd conss, 0 impls, 36898 clqs
0.78/0.89 c (round 13, fast) 822 del vars, 576 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 5952 upgd conss, 0 impls, 36914 clqs
1.38/1.40 c (round 14, exhaustive) 848 del vars, 576 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 5952 upgd conss, 0 impls, 37368 clqs
1.38/1.41 c (round 15, fast) 849 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 173 chg coeffs, 5952 upgd conss, 0 impls, 37375 clqs
1.48/1.58 c (round 16, exhaustive) 875 del vars, 602 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 5952 upgd conss, 0 impls, 37357 clqs
1.48/1.58 c (round 17, fast) 875 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 224 chg coeffs, 5952 upgd conss, 0 impls, 37360 clqs
1.58/1.68 c (round 18, exhaustive) 900 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 224 chg coeffs, 5952 upgd conss, 0 impls, 37333 clqs
1.58/1.68 c (round 19, fast) 900 del vars, 652 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 270 chg coeffs, 5952 upgd conss, 0 impls, 37340 clqs
1.68/1.77 c (round 20, exhaustive) 925 del vars, 652 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 270 chg coeffs, 5952 upgd conss, 0 impls, 37276 clqs
1.68/1.77 c (round 21, fast) 925 del vars, 677 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 293 chg coeffs, 5952 upgd conss, 0 impls, 37276 clqs
1.88/1.96 c (round 22, exhaustive) 950 del vars, 677 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 293 chg coeffs, 5952 upgd conss, 0 impls, 37311 clqs
1.88/1.96 c (round 23, fast) 950 del vars, 702 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 316 chg coeffs, 5952 upgd conss, 0 impls, 37311 clqs
1.99/2.01 c (round 24, exhaustive) 975 del vars, 702 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 316 chg coeffs, 5952 upgd conss, 0 impls, 37264 clqs
1.99/2.01 c (round 25, fast) 975 del vars, 727 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 344 chg coeffs, 5952 upgd conss, 0 impls, 37264 clqs
2.08/2.14 c (2.1s) probing: 1000/5740 (17.4%) - 184 fixings, 1 aggregations, 579763 implications, 0 bound changes
3.38/3.45 c (3.4s) probing: 2000/5740 (34.8%) - 188 fixings, 1 aggregations, 1125599 implications, 0 bound changes
4.37/4.41 c (round 26, exhaustive) 1000 del vars, 727 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 345 chg coeffs, 5952 upgd conss, 0 impls, 37385 clqs
4.37/4.41 c (round 27, fast) 1000 del vars, 752 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 390 chg coeffs, 5952 upgd conss, 0 impls, 37393 clqs
4.57/4.60 c (4.6s) probing: 3000/5740 (52.3%) - 219 fixings, 1 aggregations, 1528817 implications, 0 bound changes
5.47/5.58 c (5.6s) probing: 3911/5740 (68.1%) - 219 fixings, 1 aggregations, 1917631 implications, 0 bound changes
5.47/5.58 c (5.6s) probing aborted: 1000/1000 successive useless probings
5.47/5.58 c (round 28, exhaustive) 1019 del vars, 752 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 390 chg coeffs, 5952 upgd conss, 0 impls, 37395 clqs
5.47/5.59 c (round 29, fast) 1019 del vars, 771 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 417 chg coeffs, 5952 upgd conss, 0 impls, 37395 clqs
5.67/5.72 c (5.7s) probing: 4000/5740 (69.7%) - 220 fixings, 1 aggregations, 1954491 implications, 0 bound changes
6.57/6.68 c (6.7s) probing: 4912/5740 (85.6%) - 220 fixings, 1 aggregations, 2310034 implications, 0 bound changes
6.57/6.68 c (6.7s) probing aborted: 1000/1000 successive useless probings
6.57/6.69 c (6.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
6.67/6.71 c (6.7s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.01)
6.67/6.72 c dynamic symmetry handling statistics:
6.67/6.72 c orbitopal reduction: no components
6.67/6.72 c orbital reduction: no components
6.67/6.72 c lexicographic reduction: 4 permutations with support sizes 172, 340, 172, 156
6.67/6.72 c handled 5 out of 5 symmetry components
6.67/6.72 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
6.67/6.72 c 1023 deleted vars, 772 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 418 changed coefficients
6.67/6.72 c 0 implications, 37466 cliques
6.67/6.72 c presolved problem has 5515 variables (5515 bin, 0 int, 0 cont) and 5673 constraints
6.67/6.72 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.67/6.72 c 1 constraints of type <knapsack>
6.67/6.72 c 1211 constraints of type <setppc>
6.67/6.72 c 3 constraints of type <orbitope_pp>
6.67/6.72 c 4458 constraints of type <logicor>
6.67/6.72 c transformed objective value is always integral (scale: 1)
6.67/6.72 c Presolving Time: 6.69
6.67/6.72 c
6.67/6.72 c - non default parameters ----------------------------------------------------------------------
6.67/6.72 c
6.67/6.72 c # SCIP version 10.0.0
6.67/6.72 c
6.67/6.72 c # maximal time in seconds to run
6.67/6.72 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
6.67/6.72 c limits/time = 3596.99815
6.67/6.72 c
6.67/6.72 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.67/6.72 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
6.67/6.72 c limits/memory = 27900
6.67/6.72 c
6.67/6.72 c # belongs reading time to solving time?
6.67/6.72 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
6.67/6.72 c timing/reading = TRUE
6.67/6.72 c
6.67/6.72 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
6.67/6.72 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
6.67/6.72 c reading/opbreader/maxintsize = 47
6.67/6.72 c
6.67/6.72 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
6.67/6.72 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
6.67/6.72 c propagating/genvbounds/timingmask = 0
6.67/6.72 c
6.67/6.72 c -----------------------------------------------------------------------------------------------
6.67/6.72 c
10.16/10.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.16/10.29 c 10.3s| 1 | 0 | 10838 | - | 123M | 0 |5515 |5819 |5667 | 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
44.97/45.14 c 45.1s| 1 | 0 | 67599 | - | 131M | 0 |5515 |6020 |5678 | 11 | 1 | 175 | 0 | 0.000000e+00 | -- | Inf | unknown
47.46/47.64 c 47.6s| 1 | 0 | 72588 | - | 134M | 0 |5515 |6022 |5687 | 20 | 2 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
49.65/49.87 c 49.9s| 1 | 0 | 76733 | - | 136M | 0 |5515 |6024 |5699 | 32 | 3 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
53.54/53.72 c 53.7s| 1 | 0 | 84430 | - | 139M | 0 |5515 |6025 |5711 | 44 | 4 | 186 | 0 | 0.000000e+00 | -- | Inf | unknown
59.03/59.22 c 59.2s| 1 | 0 | 94862 | - | 141M | 0 |5515 |6033 |5718 | 51 | 5 | 196 | 0 | 0.000000e+00 | -- | Inf | unknown
62.32/62.51 c 62.5s| 1 | 0 |100050 | - | 143M | 0 |5515 |6034 |5727 | 60 | 6 | 198 | 0 | 0.000000e+00 | -- | Inf | unknown
66.11/66.39 c 66.4s| 1 | 0 |107504 | - | 143M | 0 |5515 |6035 |5735 | 68 | 7 | 199 | 0 | 0.000000e+00 | -- | Inf | unknown
69.80/70.09 c 70.1s| 1 | 0 |114226 | - | 144M | 0 |5515 |6039 |5746 | 79 | 8 | 203 | 0 | 0.000000e+00 | -- | Inf | unknown
74.38/74.61 c 74.6s| 1 | 0 |122655 | - | 146M | 0 |5515 |6043 |5758 | 91 | 9 | 207 | 0 | 0.000000e+00 | -- | Inf | unknown
79.57/79.86 c 79.9s| 1 | 0 |132652 | - | 147M | 0 |5515 |6044 |5770 | 103 | 10 | 208 | 0 | 0.000000e+00 | -- | Inf | unknown
83.86/84.14 c 84.1s| 1 | 0 |141183 | - | 148M | 0 |5515 |6053 |5781 | 114 | 11 | 218 | 0 | 0.000000e+00 | -- | Inf | unknown
117.96/118.30 c 118s| 1 | 2 |198389 | - | 150M | 0 |5515 |6061 |5781 | 114 | 11 | 251 | 11 | 0.000000e+00 | -- | Inf | unknown
699.08/700.91 c 701s| 100 | 51 | 1279k|11497.4 | 172M | 31 |5515 |6075 |5737 | 139 | 0 | 357 | 11 | 0.000000e+00 | -- | Inf | unknown
732.48/734.41 c 734s| 200 | 59 | 1384k|6247.5 | 174M | 40 |5515 |6091 |5736 | 171 | 0 | 383 | 11 | 0.000000e+00 | -- | Inf | unknown
767.46/769.55 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
767.46/769.55 c 770s| 300 | 61 | 1499k|4544.4 | 178M | 40 |5515 |6125 |5736 | 219 | 1 | 425 | 11 | 0.000000e+00 | -- | Inf | unknown
790.08/792.26 c 792s| 400 | 61 | 1582k|3611.4 | 180M | 40 |5515 |6127 |5744 | 261 | 1 | 435 | 11 | 0.000000e+00 | -- | Inf | unknown
815.30/817.53 c 818s| 500 | 57 | 1668k|3060.3 | 181M | 40 |5515 |6114 |5740 | 281 | 1 | 445 | 11 | 0.000000e+00 | -- | Inf | unknown
854.39/856.72 c 857s| 600 | 53 | 1786k|2746.1 | 184M | 40 |5515 |6118 |5747 | 313 | 0 | 461 | 11 | 0.000000e+00 | -- | Inf | unknown
902.57/905.10 c 905s| 700 | 53 | 1932k|2562.7 | 186M | 40 |5515 |6127 |5738 | 333 | 1 | 487 | 11 | 0.000000e+00 | -- | Inf | unknown
961.00/963.62 c 964s| 800 | 53 | 2104k|2457.3 | 189M | 40 |5515 |6132 |5738 | 377 | 1 | 516 | 11 | 0.000000e+00 | -- | Inf | unknown
1022.75/1025.53 c 1026s| 900 | 53 | 2282k|2382.2 | 191M | 40 |5515 |6149 |5738 | 399 | 1 | 556 | 11 | 0.000000e+00 | -- | Inf | unknown
1062.85/1065.74 c 1066s| 1000 | 55 | 2407k|2268.1 | 192M | 40 |5515 |6147 |5745 | 435 | 1 | 571 | 11 | 0.000000e+00 | -- | Inf | unknown
1092.67/1095.64 c 1096s| 1100 | 52 | 2501k|2147.4 | 195M | 40 |5515 |6159 |5738 | 456 | 1 | 604 | 11 | 0.000000e+00 | -- | Inf | unknown
1140.15/1143.21 c 1143s| 1200 | 58 | 2644k|2088.1 | 196M | 40 |5515 |6152 |5739 | 488 | 0 | 626 | 11 | 0.000000e+00 | -- | Inf | unknown
1207.78/1211.08 c 1211s| 1300 | 57 | 2830k|2070.0 | 200M | 40 |5515 |6167 |5741 | 518 | 1 | 673 | 11 | 0.000000e+00 | -- | Inf | unknown
1287.38/1290.87 c 1291s| 1400 | 55 | 3044k|2075.1 | 203M | 40 |5515 |6192 |5741 | 551 | 1 | 719 | 11 | 0.000000e+00 | -- | Inf | unknown
1345.84/1349.45 c 1349s| 1500 | 54 | 3205k|2044.4 | 205M | 40 |5515 |6205 |5737 | 597 | 0 | 762 | 11 | 0.000000e+00 | -- | Inf | unknown
1419.46/1423.23 c 1423s| 1600 | 54 | 3411k|2045.0 | 207M | 40 |5515 |6238 |5743 | 636 | 0 | 815 | 11 | 0.000000e+00 | -- | Inf | unknown
1482.41/1486.35 c 1486s| 1700 | 56 | 3586k|2028.0 | 209M | 40 |5515 |6274 |5744 | 673 | 0 | 872 | 11 | 0.000000e+00 | -- | Inf | unknown
1572.90/1577.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1572.90/1577.02 c 1577s| 1800 | 58 | 3843k|2057.8 | 209M | 40 |5515 |6272 |5745 | 702 | 1 | 914 | 11 | 0.000000e+00 | -- | Inf | unknown
1633.54/1637.80 c 1638s| 1900 | 56 | 4008k|2036.5 | 212M | 40 |5515 |6318 |5751 | 732 | 0 | 965 | 11 | 0.000000e+00 | -- | Inf | unknown
1755.34/1759.93 c 1760s| 2000 | 56 | 4346k|2103.8 | 213M | 40 |5515 |6312 |5750 | 775 | 1 |1004 | 11 | 0.000000e+00 | -- | Inf | unknown
1811.41/1816.19 c 1816s| 2100 | 57 | 4509k|2081.1 | 214M | 40 |5515 |6236 |5742 | 780 | 0 |1051 | 11 | 0.000000e+00 | -- | Inf | unknown
1886.62/1891.56 c 1892s| 2200 | 55 | 4727k|2085.4 | 215M | 40 |5515 |6212 |5747 | 827 | 1 |1098 | 11 | 0.000000e+00 | -- | Inf | unknown
1956.24/1961.33 c 1961s| 2300 | 59 | 4924k|2080.5 | 216M | 40 |5515 |6240 |5750 | 876 | 1 |1144 | 11 | 0.000000e+00 | -- | Inf | unknown
2013.50/2018.72 c 2019s| 2400 | 55 | 5082k|2059.9 | 217M | 40 |5515 |6267 |5750 | 903 | 0 |1195 | 11 | 0.000000e+00 | -- | Inf | unknown
2075.54/2080.91 c 2081s| 2500 | 55 | 5260k|2048.5 | 218M | 40 |5515 |6292 |5752 | 932 | 1 |1234 | 11 | 0.000000e+00 | -- | Inf | unknown
2143.88/2149.41 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2145.37/2150.90 c 2151s| 2600 | 53 | 5464k|2048.4 | 218M | 40 |5515 |6162 |5753 | 984 | 1 |1290 | 11 | 0.000000e+00 | -- | Inf | unknown
2145.37/2150.90 c (run 1, node 2600) performing user restart
2145.37/2150.90 c
2145.37/2150.90 c (restart) converted 62 cuts from the global cut pool into linear constraints
2145.37/2150.90 c
2145.37/2150.92 c presolving:
2145.37/2150.93 c (round 1, fast) 0 del vars, 8 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 37466 clqs
2145.37/2150.94 c (round 2, exhaustive) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 37466 clqs
2145.37/2150.95 c (round 3, exhaustive) 0 del vars, 17 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 0 chg coeffs, 241 upgd conss, 0 impls, 37466 clqs
2145.37/2150.96 c (round 4, medium) 0 del vars, 18 del conss, 11 add conss, 0 chg bounds, 45 chg sides, 77 chg coeffs, 241 upgd conss, 0 impls, 37466 clqs
2145.37/2150.97 c (round 5, exhaustive) 0 del vars, 52 del conss, 11 add conss, 0 chg bounds, 45 chg sides, 110 chg coeffs, 241 upgd conss, 0 impls, 37466 clqs
2145.67/2151.20 c (round 6, exhaustive) 0 del vars, 69 del conss, 11 add conss, 0 chg bounds, 45 chg sides, 4466 chg coeffs, 241 upgd conss, 0 impls, 37466 clqs
2145.77/2151.36 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
2145.77/2151.36 c 0 deleted vars, 69 deleted constraints, 11 added constraints, 0 tightened bounds, 0 added holes, 45 changed sides, 4544 changed coefficients
2145.77/2151.36 c 0 implications, 37466 cliques
2145.77/2151.36 c presolved problem has 5515 variables (5515 bin, 0 int, 0 cont) and 6166 constraints
2145.77/2151.36 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2145.77/2151.36 c 38 constraints of type <knapsack>
2145.77/2151.36 c 1276 constraints of type <setppc>
2145.77/2151.36 c 1 constraints of type <linear>
2145.77/2151.36 c 3 constraints of type <orbitope_pp>
2145.77/2151.36 c 4848 constraints of type <logicor>
2145.77/2151.36 c transformed objective value is always integral (scale: 1)
2145.77/2151.36 c Presolving Time: 7.14
2145.77/2151.36 c
2149.86/2155.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2149.86/2155.41 c 2155s| 1 | 0 | 5476k| - | 224M | 0 |5515 |6139 |5707 | 0 | 0 |1309 | 11 | 0.000000e+00 | -- | Inf | unknown
2152.15/2157.78 c 2158s| 1 | 0 | 5480k| - | 225M | 0 |5515 |6123 |5725 | 18 | 1 |1315 | 11 | 0.000000e+00 | -- | Inf | unknown
2153.95/2159.52 c 2160s| 1 | 0 | 5483k| - | 225M | 0 |5515 |6117 |5736 | 29 | 2 |1316 | 11 | 0.000000e+00 | -- | Inf | unknown
2156.84/2162.49 c 2162s| 1 | 0 | 5489k| - | 225M | 0 |5515 |6091 |5752 | 45 | 3 |1317 | 11 | 0.000000e+00 | -- | Inf | unknown
2162.53/2168.11 c 2168s| 1 | 0 | 5500k| - | 225M | 0 |5515 |6082 |5766 | 59 | 4 |1327 | 11 | 0.000000e+00 | -- | Inf | unknown
2167.12/2172.70 c 2173s| 1 | 0 | 5508k| - | 227M | 0 |5515 |6068 |5776 | 69 | 5 |1337 | 11 | 0.000000e+00 | -- | Inf | unknown
2169.81/2175.45 c 2175s| 1 | 0 | 5513k| - | 227M | 0 |5515 |6066 |5782 | 75 | 6 |1339 | 11 | 0.000000e+00 | -- | Inf | unknown
2173.60/2179.23 c 2179s| 1 | 0 | 5521k| - | 228M | 0 |5515 |6057 |5793 | 86 | 7 |1340 | 11 | 0.000000e+00 | -- | Inf | unknown
2176.79/2182.49 c 2182s| 1 | 0 | 5527k| - | 228M | 0 |5515 |6052 |5806 | 99 | 8 |1341 | 11 | 0.000000e+00 | -- | Inf | unknown
2181.18/2186.82 c 2187s| 1 | 0 | 5535k| - | 229M | 0 |5515 |6052 |5818 | 111 | 9 |1343 | 11 | 0.000000e+00 | -- | Inf | unknown
2184.87/2190.57 c 2191s| 1 | 0 | 5541k| - | 230M | 0 |5515 |6054 |5780 | 123 | 10 |1350 | 11 | 0.000000e+00 | -- | Inf | unknown
2188.86/2194.56 c 2195s| 1 | 0 | 5549k| - | 230M | 0 |5515 |6052 |5793 | 136 | 11 |1351 | 11 | 0.000000e+00 | -- | Inf | unknown
2222.39/2228.15 c 2228s| 1 | 2 | 5592k| - | 230M | 0 |5515 |6034 |5793 | 136 | 11 |1356 | 30 | 0.000000e+00 | -- | Inf | unknown
2290.31/2296.24 c 2296s| 100 | 29 | 5774k|2055.6 | 232M | 36 |5515 |6066 |5741 | 174 | 0 |1398 | 30 | 0.000000e+00 | -- | Inf | unknown
2387.17/2393.39 c 2393s| 200 | 39 | 6052k|2081.6 | 235M | 36 |5515 |6107 |5740 | 204 | 1 |1455 | 30 | 0.000000e+00 | -- | Inf | 3.13%
2443.34/2449.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2443.34/2449.63 c 2450s| 300 | 45 | 6218k|2067.1 | 238M | 40 |5515 |6164 |5740 | 239 | 1 |1518 | 30 | 0.000000e+00 | -- | Inf | 3.13%
2491.51/2497.91 c 2498s| 400 | 45 | 6360k|2045.6 | 240M | 40 |5515 |6210 |5745 | 287 | 1 |1567 | 30 | 0.000000e+00 | -- | Inf | 3.13%
2546.58/2553.17 c 2553s| 500 | 43 | 6527k|2033.3 | 242M | 40 |5515 |6233 |5733 | 337 | 0 |1601 | 30 | 0.000000e+00 | -- | Inf | 3.13%
2603.83/2610.54 c 2611s| 600 | 39 | 6695k|2022.4 | 242M | 40 |5515 |6275 |5740 | 371 | 1 |1660 | 30 | 0.000000e+00 | -- | Inf | 3.18%
2658.90/2665.78 c 2666s| 700 | 36 | 6854k|2009.2 | 243M | 40 |5515 |6318 |5735 | 424 | 1 |1712 | 30 | 0.000000e+00 | -- | Inf | 3.23%
2767.23/2774.35 c 2774s| 800 | 68 | 7146k|2036.0 | 247M | 40 |5515 |6386 |5746 | 557 | 1 |1791 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2793.47/2800.65 c 2801s| 900 | 74 | 7231k|2002.2 | 248M | 40 |5515 |6398 |5747 | 561 | 0 |1815 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2828.48/2835.77 c 2836s| 1000 | 88 | 7345k|1978.2 | 250M | 40 |5515 |6412 |5750 | 587 | 0 |1831 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2856.51/2863.89 c 2864s| 1100 | 84 | 7441k|1950.5 | 252M | 40 |5515 |6428 |5749 | 625 | 1 |1849 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2883.34/2890.72 c 2891s| 1200 | 82 | 7533k|1923.5 | 252M | 40 |5515 |6441 |5748 | 653 | 1 |1867 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2912.47/2919.95 c 2920s| 1300 | 80 | 7633k|1899.8 | 252M | 40 |5515 |6446 |5748 | 676 | 0 |1880 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2942.70/2950.24 c 2950s| 1400 | 80 | 7735k|1877.7 | 254M | 40 |5515 |6439 |5745 | 695 | 0 |1884 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2965.94/2973.59 c 2974s| 1500 | 82 | 7816k|1851.8 | 255M | 40 |5515 |6455 |5746 | 728 | 0 |1902 | 30 | 0.000000e+00 | -- | Inf | 3.27%
2988.29/2995.95 c 2996s| 1600 | 80 | 7894k|1826.2 | 255M | 40 |5515 |6459 |5745 | 746 | 0 |1906 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3017.42/3025.10 c 3025s| 1700 | 82 | 7993k|1806.7 | 257M | 40 |5515 |6462 |5751 | 783 | 0 |1914 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3048.14/3055.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3048.14/3055.98 c 3056s| 1800 | 82 | 8097k|1789.3 | 257M | 40 |5515 |6458 |5748 | 814 | 0 |1921 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3074.38/3082.29 c 3082s| 1900 | 80 | 8188k|1769.7 | 258M | 40 |5515 |6489 |5749 | 853 | 0 |1955 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3105.60/3113.58 c 3114s| 2000 | 78 | 8290k|1753.5 | 258M | 40 |5515 |6512 |5760 | 916 | 1 |1983 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3137.62/3145.60 c 3146s| 2100 | 83 | 8398k|1739.2 | 259M | 40 |5515 |6545 |5754 | 969 | 0 |2033 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3167.45/3175.55 c 3176s| 2200 | 81 | 8500k|1724.1 | 259M | 40 |5515 |6523 |5748 |1009 | 1 |2048 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3203.66/3211.84 c 3212s| 2300 | 81 | 8624k|1714.2 | 260M | 41 |5515 |6511 |5750 |1081 | 0 |2065 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3241.67/3249.92 c 3250s| 2400 | 77 | 8755k|1706.1 | 260M | 41 |5515 |6512 |5753 |1134 | 0 |2078 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3278.37/3286.72 c 3287s| 2500 | 79 | 8879k|1697.0 | 260M | 41 |5515 |6519 |5753 |1188 | 1 |2114 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3312.38/3320.84 c 3321s| 2600 | 77 | 8989k|1685.6 | 260M | 41 |5515 |6558 |5754 |1242 | 0 |2160 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3347.89/3356.47 c 3356s| 2700 | 75 | 9107k|1676.0 | 260M | 41 |5515 |6574 |5742 |1294 | 0 |2192 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3391.78/3400.40 c 3400s| 2800 | 83 | 9251k|1671.7 | 260M | 41 |5515 |6585 |5756 |1358 | 0 |2244 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3429.48/3438.26 c 3438s| 2900 | 83 | 9377k|1664.2 | 262M | 41 |5515 |6581 |5754 |1379 | 1 |2245 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3474.77/3483.62 c 3484s| 3000 | 81 | 9527k|1661.3 | 262M | 41 |5515 |6581 |5758 |1437 | 0 |2251 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3535.71/3544.74 c 3545s| 3100 | 83 | 9720k|1665.9 | 262M | 41 |5515 |6584 |5742 |1560 | 1 |2266 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3582.69/3591.81 c 3592s| 3200 | 78 | 9873k|1663.7 | 262M | 41 |5515 |6679 | 0 |1613 | 0 |2390 | 30 | 0.000000e+00 | -- | Inf | 3.27%
3587.78/3597.00 c
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Solving Time (sec) : 3597.00
3587.78/3597.00 c Solving Nodes : 3220 (total of 5820 nodes in 2 runs)
3587.78/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.78/3597.00 c Dual Bound : +0.00000000000000e+00
3587.78/3597.00 c Gap : infinite
3587.78/3597.00 s UNKNOWN
3587.78/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.78/3597.00 c Total Time : 3597.00
3587.78/3597.00 c solving : 3597.00
3587.78/3597.00 c presolving : 7.14 (included in solving)
3587.78/3597.00 c reading : 0.02 (included in solving)
3587.78/3597.00 c copying : 1.39 (106 #copies) (minimal 0.01, maximal 0.01, average 0.01)
3587.78/3597.00 c Original Problem :
3587.78/3597.00 c Problem name : HOME/instance-4507311-1751187286.opb
3587.78/3597.00 c Variables : 6256 (6256 binary, 0 integer, 0 continuous)
3587.78/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.78/3597.00 c Constraints : 6442 initial, 6442 maximal
3587.78/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.78/3597.00 c Presolved Problem :
3587.78/3597.00 c Problem name : t_HOME/instance-4507311-1751187286.opb
3587.78/3597.00 c Variables : 5515 (5515 binary, 0 integer, 0 continuous)
3587.78/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.78/3597.00 c Constraints : 6166 initial, 6707 maximal
3587.78/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.78/3597.00 c Nonzeros : 87471 constraint, 80398 clique table
3587.78/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.78/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c domcol : 0.09 0.00 11 0 0 0 0 0 0 0 0 3
3587.78/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 1 0 0 1
3587.78/3597.00 c gateextraction : 0.03 0.00 16 0 0 0 0 0 1 0 0 0
3587.78/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c milp : 0.09 0.00 1 94 1 0 0 0 0 0 0 0
3587.78/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c trivial : 0.00 0.00 37 281 0 0 0 0 0 0 0 0
3587.78/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c dualfix : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c probing : 5.89 0.00 10 220 1 0 0 0 0 0 0 0
3587.78/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3587.78/3597.00 c vbounds : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c knapsack : 0.02 0.00 61 0 0 0 0 0 0 11 36 138
3587.78/3597.00 c setppc : 0.05 0.00 61 0 0 0 0 0 110 0 0 0
3587.78/3597.00 c linear : 0.05 0.00 22 141 0 0 141 0 499 0 9 0
3587.78/3597.00 c orbitope_pp : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c logicor : 0.67 0.02 58 60 0 0 0 0 230 0 0 4820
3587.78/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c root node : - - - 0 - - 0 - - - - -
3587.78/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.78/3597.00 c integral : 0 0 0 0 2985 0 0 415 0 0 0 0 0 0 5970
3587.78/3597.00 c knapsack : 38+ 40 22 131423 0 0 0 410 17204 1 4126 0 0 0 0
3587.78/3597.00 c setppc : 1276+ 1342 22 133955 0 0 0 327 948114 190 186452 2 0 0 0
3587.78/3597.00 c linear : 1+ 10 11 49118 0 0 0 3 2734 5 625 3 3 0 0
3587.78/3597.00 c orbitope_pp : 3 3 0 56696 0 0 0 0 2541 0 1279 0 0 0 0
3587.78/3597.00 c logicor : 4848+ 5314 22 109640 0 0 0 0 1908056 235 249506 70 39 0 0
3587.78/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.78/3597.00 c integral : 16.75 0.00 0.00 0.00 16.75 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c knapsack : 0.24 0.00 0.07 0.16 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c setppc : 1.52 0.00 0.00 1.27 0.00 0.00 0.00 0.00 0.23 0.02
3587.78/3597.00 c linear : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c orbitope_pp : 0.15 0.00 0.00 0.14 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c logicor : 3.44 0.02 0.02 2.69 0.00 0.00 0.00 0.00 0.69 0.02
3587.78/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.78/3597.00 c dualfix : 2 0 0 0
3587.78/3597.00 c genvbounds : 0 0 0 0
3587.78/3597.00 c nlobbt : 0 0 0 0
3587.78/3597.00 c obbt : 0 0 0 0
3587.78/3597.00 c probing : 0 0 0 0
3587.78/3597.00 c pseudoobj : 0 0 0 0
3587.78/3597.00 c redcost : 0 0 0 0
3587.78/3597.00 c rootredcost : 0 0 0 0
3587.78/3597.00 c symmetry : 5972 0 0 92
3587.78/3597.00 c vbounds : 35404 0 0 0
3587.78/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.78/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.78/3597.00 c probing : 5.89 0.00 5.89 0.00 0.00 0.00
3587.78/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.78/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.78/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.78/3597.00 c symmetry : 0.09 0.00 0.02 0.07 0.00 0.00
3587.78/3597.00 c vbounds : 0.52 0.00 0.01 0.50 0.00 0.00
3587.78/3597.00 c Symmetry :
3587.78/3597.00 c #affected vars : 1160 (1160 bin, 0 int, 0 cont)
3587.78/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.78/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.78/3597.00 c lexicographic red: 92 reductions applied, 0 cutoffs
3587.78/3597.00 c shadow tree time : 0.01 s
3587.78/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.78/3597.00 c propagation : 0.09 425 284 - 2276 162.9 32 52.8 - - -
3587.78/3597.00 c infeasible LP : 9.37 2737 1064 - 21268 1170.0 17 7.4 19 371.7 0
3587.78/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.78/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.78/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.78/3597.00 c applied globally : 0.09 - - 0 2407 208.9 - - 19 - -
3587.78/3597.00 c applied locally : - - - 0 20 1177.2 - - 0 - -
3587.78/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.78/3597.00 c cut pool : 0.20 - 838 42 - - 1953 17900 - - - - - (maximal pool size: 992)
3587.78/3597.00 c aggregation : 0.12 0.00 89 22 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.78/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.78/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.78/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c clique : 0.66 0.00 22 22 0 0 167 820 0 288 288 0 0
3587.78/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c gomory : 9.99 0.00 87 20 0 0 1664 15340 202 1225 1214 11 0
3587.78/3597.00 c > gomorymi : - - - - - - - 7430 101 712 703 9 -
3587.78/3597.00 c > strongcg : - - - - - - - 7910 101 513 511 2 -
3587.78/3597.00 c impliedbounds : 0.13 0.00 89 22 0 0 148 639 0 342 342 0 0
3587.78/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c multilinear : 0.00 0.00 75 22 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c rapidlearning : 38.18 0.00 100 1 0 50654 0 0 0 0 0 0 980
3587.78/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.78/3597.00 c zerohalf : 6.08 0.00 89 22 0 0 336 1101 160 707 575 132 0
3587.78/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.78/3597.00 c hybrid : 0.03 0.00 563 22 2634 0 15313 251 0 266
3587.78/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3587.78/3597.00 c problem variables: 0.00 - 0 0
3587.78/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.78/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c relpscost : 16.75 0.00 2985 0 0 0 0 0 0 5970
3587.78/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.78/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.78/3597.00 c LP solutions : 0.00 - - 0 0
3587.78/3597.00 c relax solutions : 0.00 - - 0 0
3587.78/3597.00 c pseudo solutions : 0.00 - - 0 0
3587.78/3597.00 c strong branching : 0.00 - - 0 0
3587.78/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3587.78/3597.00 c adaptivediving : 47.55 0.00 6 0 0
3587.78/3597.00 c alns : 0.35 0.00 4 0 0
3587.78/3597.00 c bound : 0.00 0.00 0 0 0
3587.78/3597.00 c clique : 0.02 0.00 1 0 0
3587.78/3597.00 c coefdiving : 0.00 0.00 0 0 0
3587.78/3597.00 c completesol : 0.00 0.00 0 0 0
3587.78/3597.00 c conflictdiving : 57.07 0.00 4 0 0
3587.78/3597.00 c crossover : 0.00 0.00 0 0 0
3587.78/3597.00 c dins : 0.00 0.00 0 0 0
3587.78/3597.00 c distributiondivin: 28.27 0.00 4 0 0
3587.78/3597.00 c dks : 0.00 0.00 0 0 0
3587.78/3597.00 c dps : 0.00 0.00 0 0 0
3587.78/3597.00 c dualval : 0.00 0.00 0 0 0
3587.78/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3587.78/3597.00 c feaspump : 32.41 0.00 2 0 0
3587.78/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3587.78/3597.00 c fracdiving : 43.48 0.00 4 0 0
3587.78/3597.00 c gins : 0.00 0.00 0 0 0
3587.78/3597.00 c guideddiving : 0.00 0.00 0 0 0
3587.78/3597.00 c indicator : 0.00 0.00 0 0 0
3587.78/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3587.78/3597.00 c intdiving : 0.00 0.00 0 0 0
3587.78/3597.00 c intshifting : 0.00 0.00 0 0 0
3587.78/3597.00 c linesearchdiving : 54.77 0.00 4 0 0
3587.78/3597.00 c localbranching : 0.00 0.00 0 0 0
3587.78/3597.00 c locks : 0.02 0.00 1 0 0
3587.78/3597.00 c lpface : 0.02 0.00 0 0 0
3587.78/3597.00 c mpec : 0.00 0.00 0 0 0
3587.78/3597.00 c multistart : 0.00 0.00 0 0 0
3587.78/3597.00 c mutation : 0.00 0.00 0 0 0
3587.78/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3587.78/3597.00 c objpscostdiving : 274.09 0.00 2 0 0
3587.78/3597.00 c octane : 0.00 0.00 0 0 0
3587.78/3597.00 c ofins : 0.00 0.00 0 0 0
3587.78/3597.00 c oneopt : 0.00 0.00 0 0 0
3587.78/3597.00 c padm : 0.00 0.00 0 0 0
3587.78/3597.00 c proximity : 0.00 0.00 0 0 0
3587.78/3597.00 c pscostdiving : 49.28 0.00 4 0 0
3587.78/3597.00 c randrounding : 0.31 0.00 425 0 0
3587.78/3597.00 c rens : 0.19 0.00 2 0 0
3587.78/3597.00 c reoptsols : 0.00 0.00 0 0 0
3587.78/3597.00 c repair : 0.00 0.00 0 0 0
3587.78/3597.00 c rins : 0.00 0.00 0 0 0
3587.78/3597.00 c rootsoldiving : 32.56 0.00 2 0 0
3587.78/3597.00 c rounding : 0.17 0.00 822 0 0
3587.78/3597.00 c scheduler : 0.00 0.00 0 0 0
3587.78/3597.00 c shiftandpropagate: 0.05 0.00 2 0 0
3587.78/3597.00 c shifting : 0.53 0.00 368 0 0
3587.78/3597.00 c simplerounding : 0.00 0.00 0 0 0
3587.78/3597.00 c subnlp : 0.00 0.00 0 0 0
3587.78/3597.00 c trivial : 0.01 0.00 4 0 0
3587.78/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3587.78/3597.00 c trustregion : 0.00 0.00 0 0 0
3587.78/3597.00 c trysol : 0.00 0.00 0 0 0
3587.78/3597.00 c twoopt : 0.00 0.00 0 0 0
3587.78/3597.00 c undercover : 0.00 0.00 0 0 0
3587.78/3597.00 c vbounds : 0.09 0.00 2 0 0
3587.78/3597.00 c veclendiving : 33.10 0.00 4 0 0
3587.78/3597.00 c zeroobj : 0.00 0.00 0 0 0
3587.78/3597.00 c zirounding : 0.08 0.00 1000 0 0
3587.78/3597.00 c other solutions : - - - 0 -
3587.78/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.78/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.78/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.78/3597.00 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
3587.78/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.78/3597.00 c primal LP : 1.01 255 0 0.00 0.00 1.01 255
3587.78/3597.00 c dual LP : 2843.26 6389 8621631 1360.95 3032.30 0.07 54
3587.78/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3587.78/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.78/3597.00 c resolve instable : 9.20 43 15463 359.60 1680.30
3587.78/3597.00 c diving/probing LP: 652.30 1861 1268196 681.46 1944.21
3587.78/3597.00 c strong branching : 12.79 30 23627 787.57 1847.19 - - 40
3587.78/3597.00 c (at root node) : - 30 23627 787.57 -
3587.78/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3587.78/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.78/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3587.78/3597.00 c B&B Tree :
3587.78/3597.00 c number of runs : 2
3587.78/3597.00 c nodes : 3220 (1657 internal, 1563 leaves)
3587.78/3597.00 c feasible leaves : 0
3587.78/3597.00 c infeas. leaves : 1562
3587.78/3597.00 c objective leaves : 0
3587.78/3597.00 c nodes (total) : 5820 (2985 internal, 2835 leaves)
3587.78/3597.00 c nodes left : 70
3587.78/3597.00 c max depth : 41
3587.78/3597.00 c max depth (total): 41
3587.78/3597.00 c backtracks : 521 (16.2%)
3587.78/3597.00 c early backtracks : 0 (0.0%)
3587.78/3597.00 c nodes exc. ref. : 0 (0.0%)
3587.78/3597.00 c delayed cutoffs : 26
3587.78/3597.00 c repropagations : 1251 (6253 domain reductions, 18 cutoffs)
3587.78/3597.00 c avg switch length: 3.26
3587.78/3597.00 c switching time : 2.45
3587.78/3597.00 c Root Node :
3587.78/3597.00 c First LP value : +0.00000000000000e+00
3587.78/3597.00 c First LP Iters : 10838 (3160.28 Iter/sec)
3587.78/3597.00 c First LP Time : 3.43
3587.78/3597.00 c Final Dual Bound : +0.00000000000000e+00
3587.78/3597.00 c Final Root Iters : 226214
3587.78/3597.00 c Root LP Estimate : +3.43938716003518e-02
3587.78/3597.00 c Solution :
3587.78/3597.00 c Solutions found : 0 (0 improvements)
3587.78/3597.00 c Primal Bound : -
3587.78/3597.00 c Dual Bound : +0.00000000000000e+00
3587.78/3597.00 c Gap : infinite
3587.78/3597.00 c Integrals : Total Avg%
3587.78/3597.00 c primal-dual : 359699.85 100.00
3587.78/3597.00 c primal-ref : - - (not evaluated)
3587.78/3597.00 c dual-ref : - - (not evaluated)
3587.88/3597.05 c Time complete (sec): 3587.938
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62819 MiB free)
memory of node 1: 64465 MiB (63822 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507311-1751187286/watcher-4507311-1751187286 -o /tmp/evaluation-result-4507311-1751187286/solver-4507311-1751187286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507311-1751187286.opb -t 3600 -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
Current StackSize limit: 8192 KiB
solver pid=23200, runsolver pid=23197
[startup+0.100067 s]*
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129657248/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=56660 memory=46940 CPUtime=0.1 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 10394 0 0 0 9 1 0 0 20 0 1 0 34351165 58019840 11735 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 14165 11735 2496 2575 0 11072 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 56660 KiB
Current children cumulated memory: 46940 KiB
[startup+0.205651 s]*
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129649596/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=62812 memory=53176 CPUtime=0.2 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 12505 0 0 0 19 1 0 0 20 0 1 0 34351165 64319488 13294 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 15703 13294 2560 2575 0 12610 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62812 KiB
Current children cumulated memory: 53176 KiB
[startup+0.305542 s]*
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129625404/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=77984 memory=66232 CPUtime=0.3 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 15793 0 0 0 28 2 0 0 20 0 1 0 34351165 79855616 16558 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 19496 16558 2592 2575 0 16403 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77984 KiB
Current children cumulated memory: 66232 KiB
[startup+0.700171 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129617340/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=84436 memory=72632 CPUtime=0.68 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 17407 0 0 0 66 2 0 0 20 0 1 0 34351165 86462464 18158 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 21109 18158 2592 2575 0 18016 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 72632 KiB
[startup+1.50017 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 23201
/proc/meminfo: memFree=129617340/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=85460 memory=73656 CPUtime=1.48 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 17664 0 0 0 146 2 0 0 20 0 1 0 34351165 87511040 18414 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 21365 18414 2592 2575 0 18272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 85460 KiB
Current children cumulated memory: 73656 KiB
[startup+3.10545 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129609960/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=85460 memory=74552 CPUtime=3.08 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 17865 0 0 0 306 2 0 0 20 0 1 0 34351165 87511040 18638 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 21365 18638 2592 2575 0 18272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85460 KiB
Current children cumulated memory: 74552 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129566280/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=86536 memory=75576 CPUtime=6.27 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 18121 0 0 0 625 2 0 0 20 0 1 0 34351165 88612864 18894 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 21634 18894 2592 2575 0 18541 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86536 KiB
Current children cumulated memory: 75576 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 23201
/proc/meminfo: memFree=129485352/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=154036 memory=126780 CPUtime=12.65 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 30412 0 0 0 1261 4 0 0 20 0 1 0 34351165 157732864 31695 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 38509 31695 2656 2575 0 35416 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 154036 KiB
Current children cumulated memory: 126780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 23201
/proc/meminfo: memFree=129305528/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=155368 memory=127932 CPUtime=25.41 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 30706 0 0 0 2537 4 0 0 20 0 1 0 34351165 159096832 31983 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 38842 31983 2656 2575 0 35749 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 155368 KiB
Current children cumulated memory: 127932 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23202
/proc/meminfo: memFree=128930536/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=235868 CPUtime=50.95 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 57500 0 0 0 5086 9 0 0 20 0 1 0 34351165 272134144 58967 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 58967 2688 2575 0 63346 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 235868 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 23204
/proc/meminfo: memFree=128912364/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=236252 CPUtime=102.01 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 57639 0 0 0 10192 9 0 0 20 0 1 0 34351165 272134144 59063 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59063 2688 2575 0 63346 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 236252 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23206
/proc/meminfo: memFree=128881568/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238300 CPUtime=161.85 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58150 0 0 0 16176 9 0 0 20 0 1 0 34351165 272134144 59575 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59575 2688 2575 0 63346 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 238300 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 23208
/proc/meminfo: memFree=128684052/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238300 CPUtime=221.69 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58154 0 0 0 22160 9 0 0 20 0 1 0 34351165 272134144 59575 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59575 2688 2575 0 63346 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 238300 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 23210
/proc/meminfo: memFree=128655924/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238428 CPUtime=281.54 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58173 0 0 0 28145 9 0 0 20 0 1 0 34351165 272134144 59607 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59607 2688 2575 0 63346 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 238428 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/264 23212
/proc/meminfo: memFree=128624768/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238428 CPUtime=341.4 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58173 0 0 0 34131 9 0 0 20 0 1 0 34351165 272134144 59607 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59607 2688 2575 0 63346 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 238428 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/263 23227
/proc/meminfo: memFree=128606012/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238428 CPUtime=401.25 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58173 0 0 0 40116 9 0 0 20 0 1 0 34351165 272134144 59607 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59607 2688 2575 0 63346 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 265756 KiB
Current children cumulated memory: 238428 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 23229
/proc/meminfo: memFree=128551708/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=265756 memory=238428 CPUtime=461.1 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 58173 0 0 0 46101 9 0 0 20 0 1 0 34351165 272134144 59607 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 66439 59607 2688 2575 0 63346 0
Current children cumulated CPU time: 461.1 s
################
# More data... #
################
/proc/loadavg: 4.07 4.09 4.09 5/266 23377
/proc/meminfo: memFree=128267344/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=296740 memory=287148 CPUtime=3154.28 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 85610 0 0 0 315414 14 0 0 20 0 1 0 34351165 303861760 71787 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74185 71787 2944 2575 0 71092 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 287148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 23379
/proc/meminfo: memFree=128266484/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=297280 memory=287788 CPUtime=3214.14 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 85754 0 0 0 321400 14 0 0 20 0 1 0 34351165 304414720 71947 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74320 71947 2944 2575 0 71227 0
Current children cumulated CPU time: 3214.14 s
Current children cumulated vsize: 297280 KiB
Current children cumulated memory: 287788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23383
/proc/meminfo: memFree=128245260/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=297464 memory=287916 CPUtime=3273.98 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 85800 0 0 0 327384 14 0 0 20 0 1 0 34351165 304603136 71979 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74366 71979 2944 2575 0 71273 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 297464 KiB
Current children cumulated memory: 287916 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 23385
/proc/meminfo: memFree=128244912/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=297464 memory=287916 CPUtime=3333.83 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 85804 0 0 0 333369 14 0 0 20 0 1 0 34351165 304603136 71979 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74366 71979 2944 2575 0 71273 0
Current children cumulated CPU time: 3333.83 s
Current children cumulated vsize: 297464 KiB
Current children cumulated memory: 287916 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 23391
/proc/meminfo: memFree=128245536/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=297464 memory=287916 CPUtime=3393.68 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 85893 0 0 0 339354 14 0 0 20 0 1 0 34351165 304603136 71979 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74366 71979 2944 2575 0 71273 0
Current children cumulated CPU time: 3393.68 s
Current children cumulated vsize: 297464 KiB
Current children cumulated memory: 287916 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/264 23393
/proc/meminfo: memFree=128219556/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3453.52 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86189 0 0 0 345338 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/265 23400
/proc/meminfo: memFree=128245620/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3513.37 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86189 0 0 0 351323 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3513.37 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3573.21 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86300 0 0 0 357307 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3597.06 s]
# the end of solver process 23200 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.79 s, system=0.147579 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3574.91 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 357477 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3574.91 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3581.29 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358115 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3581.29 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3584.49 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358435 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 23402
/proc/meminfo: memFree=128245288/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3586.08 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358594 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3596 s]*
/proc/loadavg: 4.08 4.10 4.09 4/261 23407
/proc/meminfo: memFree=128513800/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3586.88 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358674 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3586.88 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.10 4.09 4/261 23407
/proc/meminfo: memFree=128513800/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3587.68 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358754 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3587.68 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 4/263 23416
/proc/meminfo: memFree=128511964/131250000 swapFree=33010684/33010684
[pid=23200] ppid=23197 vsize=299084 memory=289068 CPUtime=3587.88 cores=1,3
/proc/23200/stat : 23200 (pbsolver) R 23197 23200 22771 0 -1 4194304 86301 0 0 0 358774 14 0 0 20 0 1 0 34351165 306262016 72267 18446744073709551615 4198400 14743177 140736714407360 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 23314432 140736714414474 140736714414570 140736714414570 140736714420172 0
/proc/23200/statm: 74771 72267 2944 2575 0 71678 0
Current children cumulated CPU time: 3587.88 s
Current children cumulated vsize: 299084 KiB
Current children cumulated memory: 289068 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3587.94
CPU user time (s): 3587.79
CPU system time (s): 0.147579
CPU usage (%): 99.7466
Max. virtual memory (cumulated for all children) (KiB): 299084
Max. memory (cumulated for all children) (KiB): 289068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 0.147579
maximum resident set size= 289068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86319
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= 38
involuntary context switches= 5140
# summary of solver processes directly reported to runsolver:
# pid: 23200
# total CPU time (s): 3587.94
# total CPU user time (s): 3587.79
# total CPU system time (s): 0.147579
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74298 second user time and 13.9255 second system time
The end
Begin job on nodeC028 at 2025-06-29 10:54:46 IDJOB=4507311 IDBENCH=158341 IDSOLVER=3366 FILE ID=nodeC028/4507311-1751187286 RUNJOBID= nodeC028-1751183686-22783 SLURM_JOB_ID= 9587572 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507311-1751187286/watcher-4507311-1751187286 -o /tmp/evaluation-result-4507311-1751187286/solver-4507311-1751187286 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22783 --watchdog 3760 pbsolver -f HOME/instance-4507311-1751187286.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34 RANDOM SEED=767391425 nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.085 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.473 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3487.677 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.074 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.086 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3600.178 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3651.425 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 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 : 3824.364 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129681124 kB MemAvailable: 129395304 kB Buffers: 3280 kB Cached: 524884 kB SwapCached: 0 kB Active: 726172 kB Inactive: 268504 kB Active(anon): 484592 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 268504 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 63340 kB Writeback: 0 kB AnonPages: 469972 kB Mapped: 134188 kB Shmem: 18068 kB KReclaimable: 86672 kB Slab: 169704 kB SReclaimable: 86672 kB SUnreclaim: 83032 kB KernelStack: 4284 kB PageTables: 4008 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 842252 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433000 MiB End job on nodeC028 at 2025-06-29 11:54:44