| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3588.56 | 3597.17 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb |
| MD5SUM | a01609390e4b909b7e540efbd0d53806 |
| 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 | 1.88101 |
| 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 | 28926 |
| Total number of constraints | 20352 |
| Number of constraints which are clauses | 8741 |
| Number of constraints which are cardinality constraints (but not clauses) | 2114 |
| Number of constraints which are nor clauses,nor cardinality constraints | 9497 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 1295 |
| 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 | 1005 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 11145 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-4514997-1751225700.opb>
0.10/0.10 c original problem has 28926 variables (28926 bin, 0 int, 0 cont) and 20352 constraints
0.10/0.10 c problem read in 0.105 seconds
0.10/0.10 c problem without objective
0.10/0.20 c presolving:
0.20/0.27 c (round 1, fast) 5568 del vars, 3598 del conss, 0 add conss, 5423 chg bounds, 20 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 6031 clqs
0.20/0.29 c (round 2, fast) 5725 del vars, 4263 del conss, 0 add conss, 5491 chg bounds, 25 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 7241 clqs
0.30/0.37 c (0.4s) running MILP presolver
0.40/0.48 c (0.5s) MILP presolver (5 rounds): 152 aggregations, 0 fixings, 0 bound changes
0.40/0.49 c (round 3, medium) 5889 del vars, 4263 del conss, 0 add conss, 5491 chg bounds, 25 chg sides, 16 chg coeffs, 0 upgd conss, 0 impls, 7174 clqs
0.40/0.50 c (round 4, fast) 5892 del vars, 4378 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 0 upgd conss, 0 impls, 8214 clqs
0.50/0.52 c (round 5, exhaustive) 5905 del vars, 4715 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 0 upgd conss, 0 impls, 8281 clqs
0.50/0.60 c (round 6, exhaustive) 5907 del vars, 4716 del conss, 0 add conss, 5491 chg bounds, 26 chg sides, 18 chg coeffs, 15125 upgd conss, 0 impls, 8537 clqs
0.59/0.67 c (round 7, medium) 5912 del vars, 4785 del conss, 413 add conss, 5491 chg bounds, 121 chg sides, 308 chg coeffs, 15125 upgd conss, 0 impls, 9218 clqs
0.59/0.68 c (round 8, fast) 5914 del vars, 4816 del conss, 413 add conss, 5491 chg bounds, 127 chg sides, 328 chg coeffs, 15125 upgd conss, 0 impls, 9216 clqs
0.69/0.79 c (round 9, exhaustive) 5972 del vars, 4874 del conss, 413 add conss, 5491 chg bounds, 127 chg sides, 1070 chg coeffs, 15125 upgd conss, 0 impls, 9216 clqs
0.79/0.83 c (round 10, exhaustive) 5972 del vars, 4874 del conss, 413 add conss, 5491 chg bounds, 132 chg sides, 1831 chg coeffs, 15161 upgd conss, 0 impls, 9386 clqs
0.79/0.88 c (round 11, exhaustive) 5972 del vars, 4981 del conss, 413 add conss, 5491 chg bounds, 132 chg sides, 2538 chg coeffs, 15161 upgd conss, 0 impls, 9567 clqs
0.89/0.93 c (round 12, exhaustive) 6128 del vars, 4991 del conss, 413 add conss, 5491 chg bounds, 132 chg sides, 2921 chg coeffs, 15161 upgd conss, 0 impls, 9714 clqs
0.89/0.93 c (round 13, fast) 6128 del vars, 5041 del conss, 413 add conss, 5491 chg bounds, 132 chg sides, 2926 chg coeffs, 15161 upgd conss, 0 impls, 9714 clqs
2.58/2.61 c (2.6s) probing: 485/23043 (2.1%) - 170 fixings, 0 aggregations, 5561 implications, 0 bound changes
2.58/2.61 c (2.6s) probing aborted: 50/50 successive totally useless probings
2.58/2.61 c (2.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.09/3.16 c (3.2s) symmetry computation finished: 549 generators found (max: 1500, log10 of symmetry group size: 385.69) (symcode time: 0.53)
3.28/3.34 c dynamic symmetry handling statistics:
3.28/3.34 c orbitopal reduction: no components
3.28/3.34 c orbital reduction: no components
3.28/3.34 c lexicographic reduction: 1 permutations with support sizes 328
3.28/3.34 c handled 13 out of 13 symmetry components
3.28/3.34 c (round 14, exhaustive) 7276 del vars, 5075 del conss, 926 add conss, 5491 chg bounds, 132 chg sides, 3309 chg coeffs, 15161 upgd conss, 0 impls, 14457 clqs
3.28/3.35 c (round 15, fast) 7276 del vars, 5542 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14459 clqs
3.28/3.38 c (round 16, medium) 7486 del vars, 5543 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14518 clqs
3.38/3.40 c (round 17, medium) 7675 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14441 clqs
3.38/3.41 c (round 18, medium) 7847 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14385 clqs
3.38/3.43 c (round 19, medium) 8002 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14341 clqs
3.38/3.44 c (round 20, medium) 8142 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14301 clqs
3.38/3.46 c (round 21, medium) 8267 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14265 clqs
3.38/3.47 c (round 22, medium) 8377 del vars, 5544 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14222 clqs
3.38/3.49 c (round 23, medium) 8472 del vars, 5555 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14194 clqs
3.48/3.50 c (round 24, medium) 8545 del vars, 5562 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14140 clqs
3.48/3.51 c (round 25, fast) 8545 del vars, 5592 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14140 clqs
3.48/3.52 c (round 26, medium) 8605 del vars, 5592 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14120 clqs
3.48/3.53 c (round 27, medium) 8633 del vars, 5612 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14112 clqs
3.48/3.55 c (round 28, medium) 8654 del vars, 5612 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3326 chg coeffs, 15161 upgd conss, 0 impls, 14106 clqs
3.68/3.77 c (round 29, exhaustive) 8692 del vars, 5612 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3755 chg coeffs, 15171 upgd conss, 0 impls, 21041 clqs
3.68/3.78 c (round 30, fast) 8692 del vars, 5631 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 3755 chg coeffs, 15171 upgd conss, 0 impls, 21042 clqs
3.98/4.06 c (round 31, exhaustive) 8743 del vars, 5631 del conss, 1123 add conss, 5491 chg bounds, 132 chg sides, 4300 chg coeffs, 15171 upgd conss, 0 impls, 34836 clqs
3.98/4.07 c (round 32, fast) 8743 del vars, 5683 del conss, 1150 add conss, 5491 chg bounds, 132 chg sides, 4305 chg coeffs, 15171 upgd conss, 0 impls, 34867 clqs
4.18/4.28 c (round 33, exhaustive) 8768 del vars, 5683 del conss, 1150 add conss, 5491 chg bounds, 132 chg sides, 4827 chg coeffs, 15171 upgd conss, 0 impls, 41671 clqs
4.28/4.30 c (round 34, fast) 8768 del vars, 5705 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 4827 chg coeffs, 15171 upgd conss, 0 impls, 42017 clqs
4.38/4.50 c (round 35, exhaustive) 8796 del vars, 5705 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 5247 chg coeffs, 15171 upgd conss, 0 impls, 46401 clqs
4.68/4.70 c (round 36, exhaustive) 8824 del vars, 5707 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 5597 chg coeffs, 15171 upgd conss, 0 impls, 50977 clqs
4.88/4.92 c (round 37, exhaustive) 8852 del vars, 5708 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 5832 chg coeffs, 15171 upgd conss, 0 impls, 55176 clqs
5.08/5.14 c (round 38, exhaustive) 8880 del vars, 5710 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 5996 chg coeffs, 15171 upgd conss, 0 impls, 57841 clqs
5.27/5.35 c (round 39, exhaustive) 8908 del vars, 5712 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6159 chg coeffs, 15171 upgd conss, 0 impls, 60220 clqs
5.47/5.54 c (round 40, exhaustive) 8936 del vars, 5714 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6320 chg coeffs, 15171 upgd conss, 0 impls, 62053 clqs
5.67/5.76 c (round 41, exhaustive) 8964 del vars, 5716 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6429 chg coeffs, 15171 upgd conss, 0 impls, 63630 clqs
5.98/6.02 c (round 42, exhaustive) 8992 del vars, 5717 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6534 chg coeffs, 15171 upgd conss, 0 impls, 64868 clqs
6.57/6.60 c (round 43, exhaustive) 9017 del vars, 5718 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6636 chg coeffs, 15171 upgd conss, 0 impls, 66242 clqs
6.67/6.76 c (round 44, exhaustive) 9017 del vars, 5737 del conss, 1156 add conss, 5491 chg bounds, 132 chg sides, 6693 chg coeffs, 15171 upgd conss, 0 impls, 66386 clqs
7.97/8.03 c (8.0s) probing: 1000/23043 (4.3%) - 214 fixings, 309 aggregations, 96649 implications, 0 bound changes
12.16/12.22 c (12.2s) probing: 1784/23043 (7.7%) - 214 fixings, 309 aggregations, 225464 implications, 0 bound changes
12.16/12.22 c (12.2s) probing aborted: 1000/1000 successive useless probings
12.16/12.26 c presolving (45 rounds: 45 fast, 35 medium, 21 exhaustive):
12.16/12.26 c 9020 deleted vars, 5737 deleted constraints, 1156 added constraints, 5491 tightened bounds, 0 added holes, 132 changed sides, 6748 changed coefficients
12.16/12.26 c 0 implications, 206980 cliques
12.16/12.26 c presolved problem has 19995 variables (19995 bin, 0 int, 0 cont) and 15723 constraints
12.16/12.26 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
12.16/12.26 c 5651 constraints of type <knapsack>
12.16/12.26 c 6539 constraints of type <setppc>
12.16/12.26 c 58 constraints of type <xor>
12.16/12.26 c 403 constraints of type <linear>
12.16/12.26 c 441 constraints of type <orbitope_pp>
12.16/12.26 c 2631 constraints of type <logicor>
12.16/12.26 c transformed objective value is always integral (scale: 1)
12.16/12.26 c Presolving Time: 12.06
12.16/12.26 c
12.16/12.26 c - non default parameters ----------------------------------------------------------------------
12.16/12.26 c
12.16/12.26 c # SCIP version 10.0.0
12.16/12.26 c
12.16/12.26 c # maximal time in seconds to run
12.16/12.26 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
12.16/12.26 c limits/time = 3596.998091
12.16/12.26 c
12.16/12.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.16/12.26 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
12.16/12.26 c limits/memory = 27900
12.16/12.26 c
12.16/12.26 c # belongs reading time to solving time?
12.16/12.26 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
12.16/12.26 c timing/reading = TRUE
12.16/12.26 c
12.16/12.26 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
12.16/12.26 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
12.16/12.26 c reading/opbreader/maxintsize = 47
12.16/12.26 c
12.16/12.26 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
12.16/12.26 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
12.16/12.26 c propagating/genvbounds/timingmask = 0
12.16/12.26 c
12.16/12.26 c -----------------------------------------------------------------------------------------------
12.16/12.26 c
16.84/16.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.84/16.92 c 16.9s| 1 | 0 | 10606 | - | 472M | 0 | 19k| 15k| 15k| 0 | 0 | 70 | 0 | 0.000000e+00 | -- | Inf | unknown
23.82/23.97 c 24.0s| 1 | 0 | 21657 | - | 487M | 0 | 19k| 15k| 15k| 132 | 1 | 71 | 0 | 0.000000e+00 | -- | Inf | unknown
31.01/31.19 c 31.2s| 1 | 0 | 33017 | - | 492M | 0 | 19k| 15k| 15k| 288 | 2 | 72 | 0 | 0.000000e+00 | -- | Inf | unknown
36.79/36.90 c 36.9s| 1 | 0 | 41729 | - | 499M | 0 | 19k| 15k| 15k| 419 | 3 | 73 | 0 | 0.000000e+00 | -- | Inf | unknown
43.98/44.18 c 44.2s| 1 | 0 | 52777 | - | 503M | 0 | 19k| 15k| 15k| 560 | 4 | 74 | 0 | 0.000000e+00 | -- | Inf | unknown
47.56/47.70 c 47.7s| 1 | 0 | 58565 | - | 509M | 0 | 19k| 15k| 16k| 721 | 5 | 75 | 0 | 0.000000e+00 | -- | Inf | unknown
53.05/53.24 c 53.2s| 1 | 0 | 67788 | - | 515M | 0 | 19k| 15k| 16k| 863 | 6 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
61.43/61.62 c 61.6s| 1 | 0 | 79083 | - | 519M | 0 | 19k| 15k| 16k| 963 | 7 | 79 | 0 | 0.000000e+00 | -- | Inf | unknown
68.52/68.76 c 68.8s| 1 | 0 | 88546 | - | 527M | 0 | 19k| 15k| 16k|1071 | 8 | 80 | 0 | 0.000000e+00 | -- | Inf | unknown
73.60/73.83 c 73.8s| 1 | 0 | 96610 | - | 529M | 0 | 19k| 15k| 16k|1190 | 9 | 81 | 0 | 0.000000e+00 | -- | Inf | unknown
81.28/81.57 c 81.6s| 1 | 0 |107481 | - | 535M | 0 | 19k| 15k| 16k|1341 | 10 | 83 | 0 | 0.000000e+00 | -- | Inf | unknown
90.76/91.03 c 91.0s| 1 | 0 |118302 | - | 537M | 0 | 19k| 15k| 16k|1468 | 11 | 84 | 0 | 0.000000e+00 | -- | Inf | unknown
99.43/99.72 c 99.7s| 1 | 0 |118833 | - | 541M | 0 | 19k| 15k| 16k|1468 | 11 | 90 | 20 | 0.000000e+00 | -- | Inf | unknown
101.62/101.97 c 102s| 1 | 0 |122226 | - | 543M | 0 | 19k| 15k| 16k|1569 | 12 | 91 | 20 | 0.000000e+00 | -- | Inf | unknown
106.91/107.26 c 107s| 1 | 0 |131219 | - | 543M | 0 | 19k| 15k| 16k|1615 | 13 | 93 | 20 | 0.000000e+00 | -- | Inf | unknown
118.38/118.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
118.38/118.76 c 119s| 1 | 0 |131537 | - | 543M | 0 | 19k| 15k| 16k|1615 | 13 | 95 | 41 | 0.000000e+00 | -- | Inf | unknown
126.26/126.63 c 127s| 1 | 0 |142285 | - | 548M | 0 | 19k| 15k| 16k|1706 | 14 | 95 | 41 | 0.000000e+00 | -- | Inf | unknown
127.56/127.91 c 128s| 1 | 0 |144315 | - | 548M | 0 | 19k| 15k| 16k|1737 | 15 | 101 | 41 | 0.000000e+00 | -- | Inf | unknown
136.83/137.22 c 137s| 1 | 0 |144670 | - | 548M | 0 | 19k| 15k| 16k|1737 | 15 | 106 | 57 | 0.000000e+00 | -- | Inf | unknown
144.72/145.12 c 145s| 1 | 0 |155273 | - | 551M | 0 | 19k| 15k| 16k|1880 | 16 | 107 | 57 | 0.000000e+00 | -- | Inf | unknown
145.41/145.83 c 146s| 1 | 0 |156366 | - | 551M | 0 | 19k| 15k| 16k|1927 | 17 | 110 | 57 | 0.000000e+00 | -- | Inf | unknown
149.80/150.24 c 150s| 1 | 0 |156848 | - | 551M | 0 | 19k| 15k| 16k|1927 | 17 | 112 | 65 | 0.000000e+00 | -- | Inf | unknown
152.09/152.53 c 153s| 1 | 0 |159846 | - | 552M | 0 | 19k| 15k| 16k|2020 | 18 | 113 | 65 | 0.000000e+00 | -- | Inf | unknown
152.60/153.04 c 153s| 1 | 0 |160503 | - | 552M | 0 | 19k| 15k| 16k|2058 | 19 | 119 | 65 | 0.000000e+00 | -- | Inf | unknown
175.03/175.56 c 176s| 1 | 0 |161137 | - | 554M | 0 | 19k| 15k| 16k|2058 | 19 | 137 | 107 | 0.000000e+00 | -- | Inf | unknown
179.12/179.68 c 180s| 1 | 0 |167648 | - | 556M | 0 | 19k| 15k| 16k|2129 | 20 | 142 | 107 | 0.000000e+00 | -- | Inf | unknown
186.70/187.22 c 187s| 1 | 0 |178156 | - | 556M | 0 | 19k| 15k| 16k|2165 | 21 | 143 | 107 | 0.000000e+00 | -- | Inf | unknown
198.48/199.08 c 199s| 1 | 0 |178527 | - | 556M | 0 | 19k| 15k| 16k|2165 | 21 | 151 | 130 | 0.000000e+00 | -- | Inf | unknown
206.56/207.19 c 207s| 1 | 0 |189550 | - | 557M | 0 | 19k| 15k| 16k|2254 | 22 | 152 | 130 | 0.000000e+00 | -- | Inf | unknown
209.65/210.28 c 210s| 1 | 0 |192173 | - | 557M | 0 | 19k| 15k| 16k|2292 | 23 | 152 | 130 | 0.000000e+00 | -- | Inf | unknown
219.92/220.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
219.92/220.51 c 221s| 1 | 0 |192712 | - | 557M | 0 | 19k| 15k| 16k|2292 | 23 | 156 | 150 | 0.000000e+00 | -- | Inf | unknown
228.00/228.68 c 229s| 1 | 0 |203539 | - | 558M | 0 | 19k| 15k| 16k|2391 | 24 | 157 | 150 | 0.000000e+00 | -- | Inf | unknown
231.59/232.23 c 232s| 1 | 0 |207347 | - | 558M | 0 | 19k| 15k| 16k|2439 | 25 | 161 | 150 | 0.000000e+00 | -- | Inf | unknown
244.66/245.37 c 245s| 1 | 0 |208013 | - | 558M | 0 | 19k| 15k| 16k|2439 | 25 | 163 | 171 | 0.000000e+00 | -- | Inf | unknown
253.34/254.10 c 254s| 1 | 0 |219132 | - | 562M | 0 | 19k| 15k| 16k|2555 | 26 | 164 | 171 | 0.000000e+00 | -- | Inf | unknown
256.43/257.14 c 257s| 1 | 0 |220857 | - | 562M | 0 | 19k| 15k| 16k|2601 | 27 | 165 | 171 | 0.000000e+00 | -- | Inf | unknown
266.70/267.44 c 267s| 1 | 0 |221126 | - | 562M | 0 | 19k| 15k| 16k|2601 | 27 | 168 | 189 | 0.000000e+00 | -- | Inf | unknown
274.48/275.28 c 275s| 1 | 0 |231403 | - | 564M | 0 | 19k| 15k| 16k|2694 | 28 | 169 | 189 | 0.000000e+00 | -- | Inf | unknown
282.36/283.13 c 283s| 1 | 0 |241960 | - | 564M | 0 | 19k| 15k| 16k|2741 | 29 | 170 | 189 | 0.000000e+00 | -- | Inf | unknown
296.33/297.13 c 297s| 1 | 0 |242583 | - | 564M | 0 | 19k| 15k| 16k|2741 | 29 | 175 | 210 | 0.000000e+00 | -- | Inf | unknown
303.50/304.33 c 304s| 1 | 0 |252910 | - | 564M | 0 | 19k| 15k| 16k|2831 | 30 | 175 | 210 | 0.000000e+00 | -- | Inf | unknown
305.90/306.77 c 307s| 1 | 0 |254247 | - | 564M | 0 | 19k| 15k| 16k|2892 | 31 | 176 | 210 | 0.000000e+00 | -- | Inf | unknown
319.06/319.97 c 320s| 1 | 0 |254716 | - | 564M | 0 | 19k| 15k| 16k|2892 | 31 | 179 | 232 | 0.000000e+00 | -- | Inf | unknown
320.87/321.74 c 322s| 1 | 0 |257527 | - | 565M | 0 | 19k| 15k| 16k|2976 | 32 | 179 | 232 | 0.000000e+00 | -- | Inf | unknown
322.56/323.45 c 323s| 1 | 0 |258962 | - | 565M | 0 | 19k| 15k| 16k|3019 | 33 | 180 | 232 | 0.000000e+00 | -- | Inf | unknown
332.64/333.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
332.64/333.58 c 334s| 1 | 2 |259168 | - | 565M | 0 | 19k| 15k| 16k|3019 | 33 | 181 | 251 | 0.000000e+00 | -- | Inf | unknown
969.37/971.88 c 972s| 100 | 68 |908528 |6600.3 | 583M | 46 | 19k| 15k| 15k|3866 | 1 | 295 | 251 | 0.000000e+00 | -- | Inf | unknown
1693.93/1698.15 c 1698s| 200 | 127 | 1751k|7521.6 | 594M | 46 | 19k| 15k| 15k|5375 | 2 | 368 | 251 | 0.000000e+00 | -- | Inf | unknown
2505.07/2511.21 c 2511s| 300 | 181 | 2655k|8027.7 | 603M | 46 | 19k| 16k| 15k|6664 | 1 | 545 | 251 | 0.000000e+00 | -- | Inf | unknown
3250.12/3258.10 c 3258s| 400 | 263 | 3435k|7970.8 | 606M | 46 | 19k| 16k| 15k|7181 | 2 | 655 | 251 | 0.000000e+00 | -- | Inf | unknown
3588.29/3597.00 c
3588.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.29/3597.00 c Solving Time (sec) : 3597.00
3588.29/3597.00 c Solving Nodes : 471
3588.29/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3588.29/3597.00 c Dual Bound : +0.00000000000000e+00
3588.29/3597.00 c Gap : infinite
3588.29/3597.00 s UNKNOWN
3588.29/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3588.29/3597.00 c Total Time : 3597.00
3588.29/3597.00 c solving : 3597.00
3588.29/3597.00 c presolving : 12.06 (included in solving)
3588.29/3597.00 c reading : 0.10 (included in solving)
3588.29/3597.00 c copying : 0.22 (5 #copies) (minimal 0.04, maximal 0.05, average 0.04)
3588.29/3597.00 c Original Problem :
3588.29/3597.00 c Problem name : HOME/instance-4514997-1751225700.opb
3588.29/3597.00 c Variables : 28926 (28926 binary, 0 integer, 0 continuous)
3588.29/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.29/3597.00 c Constraints : 20352 initial, 20352 maximal
3588.29/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00 c Presolved Problem :
3588.29/3597.00 c Problem name : t_HOME/instance-4514997-1751225700.opb
3588.29/3597.00 c Variables : 19995 (19995 binary, 0 integer, 0 continuous)
3588.29/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3588.29/3597.00 c Constraints : 15723 initial, 16128 maximal
3588.29/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3588.29/3597.00 c Nonzeros : 190150 constraint, 525602 clique table
3588.29/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3588.29/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c domcol : 0.00 0.00 15 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gateextraction : 0.05 0.00 19 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c implics : 0.01 0.00 35 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c milp : 0.19 0.00 1 0 152 0 0 0 0 0 0 0
3588.29/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c trivial : 0.02 0.00 45 89 0 0 0 0 0 0 0 0
3588.29/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c dualfix : 0.02 0.00 45 11 0 0 0 0 0 0 0 0
3588.29/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c probing : 8.54 0.00 15 214 309 0 0 0 0 0 0 0
3588.29/3597.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c symmetry : 0.73 0.00 1 1134 0 0 0 0 34 513 0 0
3588.29/3597.00 c vbounds : 0.11 0.00 11 17 10 0 0 0 0 0 0 0
3588.29/3597.00 c knapsack : 1.52 0.00 90 0 0 0 0 0 305 643 106 6701
3588.29/3597.00 c setppc : 0.43 0.00 90 0 2 0 0 0 492 0 0 0
3588.29/3597.00 c xor : 0.00 0.00 89 0 58 0 0 0 58 0 0 9
3588.29/3597.00 c linear : 0.20 0.03 64 5491 53 0 5491 0 4740 0 26 18
3588.29/3597.00 c orbitope_pp : 0.01 0.00 26 1391 0 0 0 0 28 0 0 0
3588.29/3597.00 c logicor : 0.12 0.00 86 0 0 0 0 0 80 0 0 20
3588.29/3597.00 c components : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c root node : - - - 112 - - 112 - - - - -
3588.29/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3588.29/3597.00 c integral : 0 0 0 0 410 0 0 602 0 0 24 0 0 16 798
3588.29/3597.00 c knapsack : 5651+ 5678 22 36409 0 0 0 598 15535 12 21275 2384 25 0 0
3588.29/3597.00 c setppc : 6539+ 6545 22 36397 0 0 0 546 7756 29 14246 2 2 0 0
3588.29/3597.00 c xor : 58 58 22 36368 0 0 0 0 31 29 113 0 0 0 0
3588.29/3597.00 c linear : 403+ 429 22 36339 0 0 0 3 9469 68 32187 0 0 0 0
3588.29/3597.00 c orbitope_pp : 441 441 0 35158 0 0 0 0 853 26 5356 0 0 0 0
3588.29/3597.00 c logicor : 2631+ 2993 22 6490 0 0 0 0 1020 23 794 8 3 0 0
3588.29/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3588.29/3597.00 c integral : 132.87 0.00 0.00 0.00 132.65 0.00 0.00 0.22 0.00 0.00
3588.29/3597.00 c knapsack : 3.05 0.00 0.22 1.95 0.00 0.00 0.00 0.83 0.00 0.04
3588.29/3597.00 c setppc : 0.76 0.00 0.01 0.71 0.00 0.00 0.00 0.00 0.00 0.03
3588.29/3597.00 c xor : 1.60 0.00 0.00 1.60 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c linear : 0.57 0.03 0.00 0.48 0.00 0.00 0.00 0.00 0.00 0.06
3588.29/3597.00 c orbitope_pp : 4.00 0.00 0.00 3.71 0.00 0.00 0.00 0.00 0.00 0.29
3588.29/3597.00 c logicor : 0.05 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.01
3588.29/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3588.29/3597.00 c dualfix : 21 0 0 0
3588.29/3597.00 c genvbounds : 0 0 0 0
3588.29/3597.00 c nlobbt : 0 0 0 0
3588.29/3597.00 c obbt : 0 0 0 0
3588.29/3597.00 c probing : 0 0 0 0
3588.29/3597.00 c pseudoobj : 0 0 0 0
3588.29/3597.00 c redcost : 0 0 0 0
3588.29/3597.00 c rootredcost : 0 0 0 0
3588.29/3597.00 c symmetry : 853 0 0 0
3588.29/3597.00 c vbounds : 7625 0 0 0
3588.29/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3588.29/3597.00 c dualfix : 0.03 0.00 0.02 0.01 0.00 0.00
3588.29/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c probing : 8.54 0.00 8.54 0.00 0.00 0.00
3588.29/3597.00 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
3588.29/3597.00 c symmetry : 0.77 0.00 0.73 0.04 0.00 0.00
3588.29/3597.00 c vbounds : 0.22 0.00 0.11 0.11 0.00 0.00
3588.29/3597.00 c Symmetry :
3588.29/3597.00 c #affected vars : 17474 (17474 bin, 0 int, 0 cont)
3588.29/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3588.29/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3588.29/3597.00 c lexicographic red: 0 reductions applied, 0 cutoffs
3588.29/3597.00 c shadow tree time : 0.00 s
3588.29/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3588.29/3597.00 c propagation : 0.00 150 145 - 351 40.5 5 4.0 - - -
3588.29/3597.00 c infeasible LP : 0.25 89 93 - 628 245.1 11 44.6 89 340.8 0
3588.29/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3588.29/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3588.29/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3588.29/3597.00 c applied globally : 0.07 - - 4 704 126.0 - - 89 - -
3588.29/3597.00 c applied locally : - - - 0 0 0.0 - - 0 - -
3588.29/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3588.29/3597.00 c cut pool : 0.27 - 180 54 - - 14609 28399 - - - - - (maximal pool size: 12752)
3588.29/3597.00 c aggregation : 0.40 0.00 44 22 0 0 1414 4110 0 1374 1374 0 0
3588.29/3597.00 c > cmir : - - - - - - - 1155 0 125 125 0 -
3588.29/3597.00 c > flowcover : - - - - - - - 1546 0 208 208 0 -
3588.29/3597.00 c > knapsackcover : - - - - - - - 1409 0 1041 1041 0 -
3588.29/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c clique : 2.57 0.00 22 22 0 0 114 319 0 42 42 0 0
3588.29/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 5.18 0.00 32 10 0 0 3114 6528 20 752 752 0 0
3588.29/3597.00 c > gomorymi : - - - - - - - 2061 10 148 148 0 -
3588.29/3597.00 c > strongcg : - - - - - - - 4467 10 604 604 0 -
3588.29/3597.00 c impliedbounds : 0.35 0.00 44 22 0 0 9651 16257 0 4387 4387 0 0
3588.29/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c multilinear : 0.00 0.00 37 22 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3588.29/3597.00 c zerohalf : 2.13 0.00 42 20 0 0 362 1185 26 985 967 18 0
3588.29/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3588.29/3597.00 c hybrid : 0.06 0.00 137 33 7570 0 23269 3019 0 14430
3588.29/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3588.29/3597.00 c problem variables: 0.00 - 0 0
3588.29/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3588.29/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c relpscost : 132.65 0.00 410 0 0 0 24 0 17 798
3588.29/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3588.29/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3588.29/3597.00 c LP solutions : 0.00 - - 0 0
3588.29/3597.00 c relax solutions : 0.00 - - 0 0
3588.29/3597.00 c pseudo solutions : 0.00 - - 0 0
3588.29/3597.00 c strong branching : 0.00 - - 0 0
3588.29/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c adaptivediving : 61.27 0.00 6 0 0
3588.29/3597.00 c alns : 4.75 0.00 4 0 0
3588.29/3597.00 c bound : 0.00 0.00 0 0 0
3588.29/3597.00 c clique : 0.12 0.00 1 0 0
3588.29/3597.00 c coefdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c completesol : 0.00 0.00 0 0 0
3588.29/3597.00 c conflictdiving : 14.16 0.00 6 0 0
3588.29/3597.00 c crossover : 0.00 0.00 0 0 0
3588.29/3597.00 c dins : 0.00 0.00 0 0 0
3588.29/3597.00 c distributiondivin: 47.59 0.00 5 0 0
3588.29/3597.00 c dks : 0.00 0.00 0 0 0
3588.29/3597.00 c dps : 0.00 0.00 0 0 0
3588.29/3597.00 c dualval : 0.00 0.00 0 0 0
3588.29/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c feaspump : 20.48 0.00 3 0 0
3588.29/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3588.29/3597.00 c fracdiving : 45.26 0.00 5 0 0
3588.29/3597.00 c gins : 0.00 0.00 0 0 0
3588.29/3597.00 c guideddiving : 0.00 0.00 0 0 0
3588.29/3597.00 c indicator : 0.00 0.00 0 0 0
3588.29/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3588.29/3597.00 c intdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c intshifting : 0.00 0.00 0 0 0
3588.29/3597.00 c linesearchdiving : 42.19 0.00 5 0 0
3588.29/3597.00 c localbranching : 0.00 0.00 0 0 0
3588.29/3597.00 c locks : 0.04 0.00 1 0 0
3588.29/3597.00 c lpface : 0.03 0.00 0 0 0
3588.29/3597.00 c mpec : 0.00 0.00 0 0 0
3588.29/3597.00 c multistart : 0.00 0.00 0 0 0
3588.29/3597.00 c mutation : 0.00 0.00 0 0 0
3588.29/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3588.29/3597.00 c objpscostdiving : 329.83 0.00 3 0 0
3588.29/3597.00 c octane : 0.00 0.00 0 0 0
3588.29/3597.00 c ofins : 0.00 0.00 0 0 0
3588.29/3597.00 c oneopt : 0.00 0.00 0 0 0
3588.29/3597.00 c padm : 0.00 0.00 0 0 0
3588.29/3597.00 c proximity : 0.00 0.00 0 0 0
3588.29/3597.00 c pscostdiving : 141.98 0.00 6 0 0
3588.29/3597.00 c randrounding : 14.37 0.00 95 0 0
3588.29/3597.00 c rens : 0.13 0.00 1 0 0
3588.29/3597.00 c reoptsols : 0.00 0.00 0 0 0
3588.29/3597.00 c repair : 0.00 0.00 0 0 0
3588.29/3597.00 c rins : 0.00 0.00 0 0 0
3588.29/3597.00 c rootsoldiving : 17.75 0.00 3 0 0
3588.29/3597.00 c rounding : 0.26 0.00 287 0 0
3588.29/3597.00 c scheduler : 0.00 0.00 0 0 0
3588.29/3597.00 c shiftandpropagate: 0.04 0.00 1 0 0
3588.29/3597.00 c shifting : 0.93 0.00 140 0 0
3588.29/3597.00 c simplerounding : 0.00 0.00 0 0 0
3588.29/3597.00 c subnlp : 0.00 0.00 0 0 0
3588.29/3597.00 c trivial : 0.01 0.00 2 0 0
3588.29/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3588.29/3597.00 c trustregion : 0.00 0.00 0 0 0
3588.29/3597.00 c trysol : 0.00 0.00 0 0 0
3588.29/3597.00 c twoopt : 0.00 0.00 0 0 0
3588.29/3597.00 c undercover : 0.00 0.00 0 0 0
3588.29/3597.00 c vbounds : 0.64 0.00 1 0 0
3588.29/3597.00 c veclendiving : 55.17 0.00 5 0 0
3588.29/3597.00 c zeroobj : 0.00 0.00 0 0 0
3588.29/3597.00 c zirounding : 0.17 0.00 399 0 0
3588.29/3597.00 c other solutions : - - - 0 -
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/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
3588.29/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3588.29/3597.00 c primal LP : 0.65 62 0 0.00 0.00 0.65 62
3588.29/3597.00 c dual LP : 2638.10 584 3217090 5537.16 1219.47 1.40 3
3588.29/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3588.29/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3588.29/3597.00 c resolve instable : 0.45 4 323 80.75 723.26
3588.29/3597.00 c diving/probing LP: 779.47 5220 623164 119.38 799.47
3588.29/3597.00 c strong branching : 120.88 251 170168 677.96 1407.75 - - 244
3588.29/3597.00 c (at root node) : - 251 170168 677.96 -
3588.29/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3588.29/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3588.29/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3588.29/3597.00 c B&B Tree :
3588.29/3597.00 c number of runs : 1
3588.29/3597.00 c nodes : 471 (399 internal, 72 leaves)
3588.29/3597.00 c feasible leaves : 0
3588.29/3597.00 c infeas. leaves : 71
3588.29/3597.00 c objective leaves : 0
3588.29/3597.00 c nodes (total) : 471 (399 internal, 72 leaves)
3588.29/3597.00 c nodes left : 288
3588.29/3597.00 c max depth : 50
3588.29/3597.00 c max depth (total): 50
3588.29/3597.00 c backtracks : 80 (17.0%)
3588.29/3597.00 c early backtracks : 0 (0.0%)
3588.29/3597.00 c nodes exc. ref. : 0 (0.0%)
3588.39/3597.00 c delayed cutoffs : 40
3588.39/3597.00 c repropagations : 428 (4461 domain reductions, 12 cutoffs)
3588.39/3597.00 c avg switch length: 4.10
3588.39/3597.00 c switching time : 0.99
3588.39/3597.00 c Root Node :
3588.39/3597.00 c First LP value : +0.00000000000000e+00
3588.39/3597.00 c First LP Iters : 10606 (2780.45 Iter/sec)
3588.39/3597.00 c First LP Time : 3.81
3588.39/3597.00 c Final Dual Bound : +0.00000000000000e+00
3588.39/3597.00 c Final Root Iters : 255103
3588.39/3597.00 c Root LP Estimate : +5.46841501690060e-02
3588.39/3597.00 c Solution :
3588.39/3597.00 c Solutions found : 0 (0 improvements)
3588.39/3597.00 c Primal Bound : -
3588.39/3597.00 c Dual Bound : +0.00000000000000e+00
3588.39/3597.00 c Gap : infinite
3588.39/3597.00 c Integrals : Total Avg%
3588.39/3597.00 c primal-dual : 359699.87 100.00
3588.39/3597.00 c primal-ref : - - (not evaluated)
3588.39/3597.00 c dual-ref : - - (not evaluated)
3588.49/3597.16 c Time complete (sec): 3588.558
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: 63665 MiB (62723 MiB free)
memory of node 1: 64507 MiB (62876 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514997-1751225700/watcher-4514997-1751225700 -o /tmp/evaluation-result-4514997-1751225700/solver-4514997-1751225700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751217947-35228 --watchdog 3760 pbsolver -f HOME/instance-4514997-1751225700.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=36612, runsolver pid=36609
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.13 4.12 4.09 5/266 36613
/proc/meminfo: memFree=128574096/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=64092 memory=53760 CPUtime=0.1 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 11488 0 0 0 9 1 0 0 20 0 1 0 38247926 65630208 13440 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 16023 13440 2176 2575 0 12930 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 64092 KiB
Current children cumulated memory: 53760 KiB
[startup+0.205797 s]*
/proc/loadavg: 4.13 4.12 4.09 5/266 36613
/proc/meminfo: memFree=128501772/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=138524 memory=126388 CPUtime=0.2 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 29500 0 0 0 16 4 0 0 20 0 1 0 38247926 141848576 31597 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 34631 31597 2400 2575 0 31538 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 138524 KiB
Current children cumulated memory: 126388 KiB
[startup+0.305796 s]*
/proc/loadavg: 4.13 4.12 4.09 5/266 36613
/proc/meminfo: memFree=128493708/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=152112 memory=137908 CPUtime=0.3 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 32383 0 0 0 26 4 0 0 20 0 1 0 38247926 155762688 34477 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 38028 34477 2432 2575 0 34935 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152112 KiB
Current children cumulated memory: 137908 KiB
[startup+0.70018 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 36613
/proc/meminfo: memFree=128465420/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=190852 memory=177280 CPUtime=0.69 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 46333 0 0 0 62 7 0 0 20 0 1 0 38247926 195432448 44320 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 47800 44320 2592 2575 0 44707 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 190852 KiB
Current children cumulated memory: 177280 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 36613
/proc/meminfo: memFree=128449796/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=196068 memory=182144 CPUtime=1.48 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 47500 0 0 0 141 7 0 0 20 0 1 0 38247926 200773632 45536 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 49017 45536 2624 2575 0 45924 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 196068 KiB
Current children cumulated memory: 182144 KiB
[startup+3.10493 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 36613
/proc/meminfo: memFree=128381700/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=314212 memory=266604 CPUtime=3.09 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 65785 0 0 0 298 11 0 0 20 0 1 0 38247926 321753088 66651 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 78553 66651 2624 2575 0 75460 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 314212 KiB
Current children cumulated memory: 266604 KiB
[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 36613
/proc/meminfo: memFree=128252732/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=435340 memory=391020 CPUtime=6.27 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 96867 0 0 0 612 15 0 0 20 0 1 0 38247926 445788160 97755 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 108835 97755 2624 2575 0 105742 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 435340 KiB
Current children cumulated memory: 391020 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 36614
/proc/meminfo: memFree=128220472/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=504352 memory=459596 CPUtime=12.66 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 113075 0 0 0 1248 18 0 0 20 0 1 0 38247926 516456448 114899 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 126088 114899 2656 2575 0 122995 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 504352 KiB
Current children cumulated memory: 459596 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/265 36614
/proc/meminfo: memFree=128064612/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=593548 memory=544304 CPUtime=25.42 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 121086 0 0 0 2522 20 0 0 20 0 1 0 38247926 607793152 136076 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 148387 136076 2688 2575 0 145294 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 593548 KiB
Current children cumulated memory: 544304 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.13 4.10 5/264 36614
/proc/meminfo: memFree=128034320/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=618912 memory=568368 CPUtime=50.96 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 126617 0 0 0 5075 21 0 0 20 0 1 0 38247926 633765888 142092 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 154728 142092 2688 2575 0 151635 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 618912 KiB
Current children cumulated memory: 568368 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 36618
/proc/meminfo: memFree=127945672/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=690056 memory=637428 CPUtime=102.02 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 147196 0 0 0 10178 24 0 0 20 0 1 0 38247926 706617344 159357 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 172514 159357 2688 2575 0 169421 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 690056 KiB
Current children cumulated memory: 637428 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 36622
/proc/meminfo: memFree=127963940/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=690056 memory=640372 CPUtime=161.87 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 147256 0 0 0 16163 24 0 0 20 0 1 0 38247926 706617344 160093 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 172514 160093 2688 2575 0 169421 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 690056 KiB
Current children cumulated memory: 640372 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 36624
/proc/meminfo: memFree=127958076/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=690056 memory=640628 CPUtime=221.71 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 147319 0 0 0 22147 24 0 0 20 0 1 0 38247926 706617344 160157 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 172514 160157 2688 2575 0 169421 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 690056 KiB
Current children cumulated memory: 640628 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 36627
/proc/meminfo: memFree=127984472/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=669044 memory=618988 CPUtime=281.56 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 147467 0 0 0 28132 24 0 0 20 0 1 0 38247926 685101056 154747 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 167261 154747 2688 2575 0 164168 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 669044 KiB
Current children cumulated memory: 618988 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 36630
/proc/meminfo: memFree=127939804/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=670548 memory=621164 CPUtime=341.41 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 147939 0 0 0 34116 25 0 0 20 0 1 0 38247926 686641152 155291 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 167637 155291 2688 2575 0 164544 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 670548 KiB
Current children cumulated memory: 621164 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 36632
/proc/meminfo: memFree=127924848/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=673956 memory=633452 CPUtime=401.26 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 148720 0 0 0 40101 25 0 0 20 0 1 0 38247926 690130944 158363 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 168489 158363 2688 2575 0 165396 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 673956 KiB
Current children cumulated memory: 633452 KiB
[startup+462.3 s]
/proc/loadavg: 4.31 4.15 4.10 5/264 36634
/proc/meminfo: memFree=127863844/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=742848 memory=704480 CPUtime=461.11 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 168185 0 0 0 46083 28 0 0 20 0 1 0 38247926 760676352 176120 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 185712 176120 2688 2575 0 182619 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
/proc/loadavg: 2.03 3.16 3.73 2/247 36881
/proc/meminfo: memFree=128744632/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3214.49 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189307 0 0 0 321417 32 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3214.49 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3282.3 s]
/proc/loadavg: 1.43 2.78 3.56 2/247 36883
/proc/meminfo: memFree=128744844/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3274.37 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189310 0 0 0 327404 33 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3274.37 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3342.3 s]
/proc/loadavg: 1.20 2.47 3.40 2/247 36886
/proc/meminfo: memFree=128744888/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3334.24 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189359 0 0 0 333391 33 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3334.24 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3402.3 s]
/proc/loadavg: 1.17 2.23 3.26 2/247 36888
/proc/meminfo: memFree=128753300/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3394.11 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189518 0 0 0 339378 33 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3394.11 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 2.02 3.12 2/247 36890
/proc/meminfo: memFree=128753148/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3453.97 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189562 0 0 0 345364 33 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3453.97 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3522.3 s]
/proc/loadavg: 1.15 1.86 2.99 2/245 36892
/proc/meminfo: memFree=128753712/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3513.84 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189691 0 0 0 351351 33 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3513.84 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 1.73 2.88 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3573.72 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189720 0 0 0 357338 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3573.72 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3597.17 s]
# the end of solver process 36612 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.21 s, system=0.347756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.26 1.74 2.87 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3575.42 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189720 0 0 0 357508 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3575.42 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3590.4 s]
/proc/loadavg: 1.32 1.74 2.87 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3581.8 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189720 0 0 0 358146 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3593.6 s]
/proc/loadavg: 1.32 1.74 2.87 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3584.99 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189720 0 0 0 358465 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3584.99 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3595.2 s]
/proc/loadavg: 1.37 1.75 2.86 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3586.59 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189720 0 0 0 358625 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3586.59 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3596 s]*
/proc/loadavg: 1.37 1.75 2.86 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3587.39 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189721 0 0 0 358705 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3587.39 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3596.8 s]
/proc/loadavg: 1.37 1.75 2.86 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3588.19 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189721 0 0 0 358785 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3588.19 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3597 s]*
/proc/loadavg: 1.37 1.75 2.86 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=779456 memory=745396 CPUtime=3588.39 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189722 0 0 0 358805 34 0 0 20 0 1 0 38247926 798162944 186349 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 194864 186349 2688 2575 0 191771 0
Current children cumulated CPU time: 3588.39 s
Current children cumulated vsize: 779456 KiB
Current children cumulated memory: 745396 KiB
[startup+3597.1 s]
/proc/loadavg: 1.37 1.75 2.86 2/246 36900
/proc/meminfo: memFree=128754380/131249996 swapFree=33010684/33010684
[pid=36612] ppid=36609 vsize=726732 memory=692672 CPUtime=3588.49 cores=4,6
/proc/36612/stat : 36612 (pbsolver) R 36609 36612 35217 0 -1 4194304 189810 0 0 0 358815 34 0 0 20 0 1 0 38247926 744173568 173168 18446744073709551615 4198400 14743177 140737037818048 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 33988608 140737037826442 140737037826538 140737037826538 140737037832140 0
/proc/36612/statm: 181683 173168 2688 2575 0 178590 0
Current children cumulated CPU time: 3588.49 s
Current children cumulated vsize: 726732 KiB
Current children cumulated memory: 692672 KiB
Child status: 0
Real time (s): 3597.17
CPU time (s): 3588.56
CPU user time (s): 3588.21
CPU system time (s): 0.347756
CPU usage (%): 99.7607
Max. virtual memory (cumulated for all children) (KiB): 800808
Max. memory (cumulated for all children) (KiB): 764584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.21
system time used= 0.347756
maximum resident set size= 765736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189815
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= 32
involuntary context switches= 1390
# summary of solver processes directly reported to runsolver:
# pid: 36612
# total CPU time (s): 3588.56
# total CPU user time (s): 3588.21
# total CPU system time (s): 0.347756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97284 second user time and 15.2676 second system time
The end
Begin job on nodeC024 at 2025-06-29 21:35:00 IDJOB=4514997 IDBENCH=164082 IDSOLVER=3366 FILE ID=nodeC024/4514997-1751225700 RUNJOBID= nodeC024-1751217947-35228 SLURM_JOB_ID= 9587664 Free space on /tmp= 433012 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-academictimetablesmall.0.s.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514997-1751225700/watcher-4514997-1751225700 -o /tmp/evaluation-result-4514997-1751225700/solver-4514997-1751225700 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751217947-35228 --watchdog 3760 pbsolver -f HOME/instance-4514997-1751225700.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a01609390e4b909b7e540efbd0d53806 RANDOM SEED=1736964006 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.632 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.641 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.837 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3615.573 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3599.701 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.654 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 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 : 3613.192 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 128614164 kB MemAvailable: 128881096 kB Buffers: 3280 kB Cached: 1074256 kB SwapCached: 0 kB Active: 1171924 kB Inactive: 819568 kB Active(anon): 932020 kB Inactive(anon): 0 kB Active(file): 239904 kB Inactive(file): 819568 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17632 kB Writeback: 12 kB AnonPages: 917000 kB Mapped: 136408 kB Shmem: 18064 kB KReclaimable: 92996 kB Slab: 179164 kB SReclaimable: 92996 kB SUnreclaim: 86168 kB KernelStack: 4256 kB PageTables: 4776 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 1277924 kB VmallocTotal: 34359738367 kB VmallocUsed: 150568 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 645120 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 433044 MiB End job on nodeC024 at 2025-06-29 22:34:58