Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SCIP 2024-07-07 | ? | 3585.89 | 3597.07 |
Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb |
MD5SUM | 7361f1d7a542e71300a3f7026fcde645 |
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 | 5.09705 |
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 | 7140 |
Total number of constraints | 7352 |
Number of constraints which are clauses | 7247 |
Number of constraints which are cardinality constraints (but not clauses) | 105 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 105 |
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 | 106 |
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 7.0.0] [GitHash: 405ed0d46f] 0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB) 0.00/0.00 c 0.00/0.00 c user parameter file <scip.set> not found - using default parameters 0.00/0.00 c reading problem <HOME/instance-4447155-1721345880.opb> 0.00/0.02 c original problem has 7140 variables (7140 bin, 0 int, 0 impl, 0 cont) and 7352 constraints 0.00/0.02 c problem read in 0.02 0.00/0.03 c No objective function, only one solution is needed. 0.00/0.05 c presolving: 0.00/0.06 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, 1429 clqs 0.00/0.06 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, 1416 clqs 0.00/0.06 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, 1421 clqs 0.00/0.07 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, 1447 clqs 0.00/0.07 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, 1462 clqs 0.00/0.08 c (0.1s) running MILP presolver 0.09/0.14 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 103 fixings, 0 bound changes 0.09/0.14 c (round 6, medium) 686 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1462 clqs 0.09/0.14 c (round 7, fast) 686 del vars, 408 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1462 clqs 0.09/0.15 c (round 8, exhaustive) 686 del vars, 511 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1462 clqs 0.09/0.18 c (round 9, exhaustive) 686 del vars, 511 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 6841 upgd conss, 0 impls, 1462 clqs 0.19/0.23 c (round 10, exhaustive) 748 del vars, 511 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6841 upgd conss, 0 impls, 1450 clqs 0.19/0.23 c (round 11, fast) 810 del vars, 573 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6841 upgd conss, 0 impls, 1450 clqs 0.98/1.08 c (round 12, exhaustive) 835 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 62 chg coeffs, 6841 upgd conss, 0 impls, 42106 clqs 0.98/1.09 c (round 13, fast) 835 del vars, 599 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 121 chg coeffs, 6841 upgd conss, 0 impls, 42121 clqs 1.37/1.47 c (round 14, exhaustive) 862 del vars, 599 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 122 chg coeffs, 6841 upgd conss, 0 impls, 42604 clqs 1.37/1.48 c (round 15, fast) 864 del vars, 626 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6841 upgd conss, 0 impls, 42612 clqs 1.57/1.65 c (round 16, exhaustive) 891 del vars, 626 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 177 chg coeffs, 6841 upgd conss, 0 impls, 42624 clqs 1.57/1.65 c (round 17, fast) 891 del vars, 653 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 224 chg coeffs, 6841 upgd conss, 0 impls, 42632 clqs 1.98/2.04 c (round 18, exhaustive) 916 del vars, 653 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 224 chg coeffs, 6841 upgd conss, 0 impls, 42634 clqs 1.98/2.04 c (round 19, fast) 916 del vars, 678 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 278 chg coeffs, 6841 upgd conss, 0 impls, 42639 clqs 1.98/2.10 c (round 20, exhaustive) 942 del vars, 678 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 278 chg coeffs, 6841 upgd conss, 0 impls, 42573 clqs 1.98/2.10 c (round 21, fast) 943 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 6841 upgd conss, 0 impls, 42574 clqs 2.17/2.29 c (2.3s) probing: 1000/6613 (15.1%) - 147 fixings, 1 aggregations, 665605 implications, 0 bound changes 3.56/3.61 c (round 22, exhaustive) 968 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 305 chg coeffs, 6841 upgd conss, 0 impls, 42613 clqs 3.56/3.62 c (round 23, fast) 968 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 330 chg coeffs, 6841 upgd conss, 0 impls, 42613 clqs 3.56/3.67 c (3.7s) probing: 2000/6613 (30.2%) - 153 fixings, 1 aggregations, 1238397 implications, 0 bound changes 3.66/3.71 c (round 24, exhaustive) 993 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 330 chg coeffs, 6841 upgd conss, 0 impls, 42671 clqs 3.66/3.71 c (round 25, fast) 993 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 356 chg coeffs, 6841 upgd conss, 0 impls, 42671 clqs 4.76/4.80 c (4.8s) probing: 3000/6613 (45.4%) - 190 fixings, 1 aggregations, 1676037 implications, 0 bound changes 5.46/5.55 c (round 26, exhaustive) 1018 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 356 chg coeffs, 6841 upgd conss, 0 impls, 42681 clqs 5.46/5.55 c (round 27, fast) 1018 del vars, 779 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 6841 upgd conss, 0 impls, 42684 clqs 5.85/5.97 c (6.0s) probing: 4000/6613 (60.5%) - 216 fixings, 1 aggregations, 2096487 implications, 0 bound changes 6.96/7.05 c (7.0s) probing: 5000/6613 (75.6%) - 218 fixings, 1 aggregations, 2516401 implications, 0 bound changes 7.25/7.36 c (7.4s) probing: 5302/6613 (80.2%) - 218 fixings, 1 aggregations, 2636202 implications, 0 bound changes 7.25/7.36 c (7.4s) probing aborted: 1000/1000 successive useless probings 7.25/7.36 c (round 28, exhaustive) 1035 del vars, 779 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 6841 upgd conss, 0 impls, 42703 clqs 7.25/7.36 c (round 29, fast) 1035 del vars, 796 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 423 chg coeffs, 6841 upgd conss, 0 impls, 42703 clqs 7.45/7.51 c (7.5s) probing: 5402/6613 (81.7%) - 218 fixings, 1 aggregations, 2675171 implications, 0 bound changes 7.45/7.51 c (7.5s) probing aborted: 1000/1000 successive useless probings 7.45/7.52 c (7.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -) 7.45/7.56 c (7.6s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01) 7.45/7.56 c dynamic symmetry handling statistics: 7.45/7.56 c orbitopal reduction: no components 7.45/7.56 c orbital reduction: no components 7.45/7.56 c lexicographic reduction: 4 permutations with support sizes 198, 392, 198, 182 7.45/7.56 c handled 5 out of 5 symmetry components 7.45/7.56 c (round 30, exhaustive) 1041 del vars, 796 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 423 chg coeffs, 6841 upgd conss, 0 impls, 42752 clqs 7.45/7.56 c (round 31, fast) 1041 del vars, 802 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 435 chg coeffs, 6841 upgd conss, 0 impls, 42752 clqs 7.65/7.70 c (7.7s) probing: 5502/6613 (83.2%) - 218 fixings, 1 aggregations, 2713527 implications, 0 bound changes 7.65/7.70 c (7.7s) probing aborted: 1000/1000 successive useless probings 7.65/7.71 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive): 7.65/7.71 c 1041 deleted vars, 802 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 435 changed coefficients 7.65/7.71 c 0 implications, 42772 cliques 7.65/7.71 c presolved problem has 6385 variables (6385 bin, 0 int, 0 impl, 0 cont) and 6551 constraints 7.65/7.71 c 1389 constraints of type <setppc> 7.65/7.71 c 1 constraints of type <orbitope> 7.65/7.71 c 5161 constraints of type <logicor> 7.65/7.71 c transformed objective value is always integral (scale: 1) 7.65/7.71 c Presolving Time: 7.66 7.65/7.71 c - non default parameters ---------------------------------------------------------------------- 7.65/7.71 c # SCIP version 10.0.0 7.65/7.71 c 7.65/7.71 c # maximal time in seconds to run 7.65/7.71 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20] 7.65/7.71 c limits/time = 3596.99701 7.65/7.71 c 7.65/7.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage! 7.65/7.71 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207] 7.65/7.71 c limits/memory = 27900 7.65/7.71 c 7.65/7.71 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit) 7.65/7.71 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1] 7.65/7.71 c limits/solutions = 1 7.65/7.71 c 7.65/7.71 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h. 7.65/7.71 c # [type: int, advanced: FALSE, range: [0,7], default: 7] 7.65/7.71 c misc/usesymmetry = 3 7.65/7.71 c 7.65/7.71 c # belongs reading time to solving time? 7.65/7.71 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE] 7.65/7.71 c timing/reading = TRUE 7.65/7.71 c 7.65/7.71 c # Should we check whether the components of the symmetry group can be handled by double lex matrices? 7.65/7.71 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 7.65/7.71 c propagating/symmetry/detectdoublelex = FALSE 7.65/7.71 c 7.65/7.71 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables? 7.65/7.71 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 7.65/7.71 c propagating/symmetry/detectsubgroups = FALSE 7.65/7.71 c 7.65/7.71 c # Type of symmetries that shall be computed? 7.65/7.71 c # [type: int, advanced: TRUE, range: [0,1], default: 0] 7.65/7.71 c propagating/symmetry/symtype = 1 7.65/7.71 c 7.65/7.71 c # Should components consisting of a single full reflection be handled? 7.65/7.71 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE] 7.65/7.71 c propagating/symmetry/usesimplesgncomp = FALSE 7.65/7.71 c 7.65/7.71 c ----------------------------------------------------------------------------------------------- 7.65/7.71 c start solving 7.65/7.71 c 12.63/12.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 12.63/12.71 c 12.7s| 1 | 0 | 12258 | - | 97M | 0 |6385 |6719 |6550 | 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown 63.84/64.13 c 64.1s| 1 | 0 | 79781 | - | 108M | 0 |6385 |6919 |6565 | 15 | 1 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown 67.02/67.38 c 67.4s| 1 | 0 | 85634 | - | 112M | 0 |6385 |6924 |6570 | 20 | 2 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown 70.01/70.33 c 70.3s| 1 | 0 | 90778 | - | 113M | 0 |6385 |6925 |6578 | 28 | 3 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown 74.29/74.61 c 74.6s| 1 | 0 | 98313 | - | 115M | 0 |6385 |6933 |6584 | 34 | 4 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown 79.18/79.59 c 79.6s| 1 | 0 |107269 | - | 116M | 0 |6385 |6929 |6595 | 45 | 5 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown 81.77/82.18 c 82.2s| 1 | 0 |111091 | - | 117M | 0 |6385 |6913 |6599 | 49 | 6 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown 86.85/87.27 c 87.3s| 1 | 0 |120099 | - | 118M | 0 |6385 |6923 |6605 | 55 | 7 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown 93.12/93.54 c 93.5s| 1 | 0 |130393 | - | 119M | 0 |6385 |6932 |6616 | 66 | 8 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown 98.80/99.28 c 99.3s| 1 | 0 |139479 | - | 120M | 0 |6385 |6932 |6628 | 78 | 9 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown 103.88/104.32 c 104s| 1 | 0 |148142 | - | 121M | 0 |6385 |6932 |6638 | 88 | 10 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown 108.76/109.20 c 109s| 1 | 0 |157187 | - | 121M | 0 |6385 |6931 |6654 | 104 | 11 | 216 | 0 | 0.000000e+00 | -- | Inf | unknown 154.11/154.73 c 155s| 1 | 2 |223859 | - | 122M | 0 |6385 |6913 |6654 | 104 | 11 | 226 | 12 | 0.000000e+00 | -- | Inf | unknown 282.05/283.12 c 283s| 100 | 21 |464215 |3104.4 | 139M | 40 |6385 |6979 |6616 | 125 | 0 | 302 | 12 | 0.000000e+00 | -- | Inf | unknown 417.60/419.13 c 419s| 200 | 31 |768300 |3072.5 | 159M | 40 |6385 |7051 |6615 | 131 | 0 | 407 | 12 | 0.000000e+00 | -- | Inf | unknown 994.68/997.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 994.68/997.90 c 998s| 300 | 121 | 2050k|6331.5 | 175M | 40 |6385 |7131 |6611 | 282 | 1 | 719 | 12 | 0.000000e+00 | -- | Inf | 25.00% 1364.48/1368.83 c 1369s| 400 | 151 | 2849k|6747.6 | 181M | 40 |6385 |7240 |6611 | 395 | 1 | 945 | 12 | 0.000000e+00 | -- | Inf | 25.01% 1593.80/1598.89 c 1599s| 500 | 207 | 3386k|6471.4 | 186M | 40 |6385 |7220 |6611 | 422 | 1 |1063 | 12 | 0.000000e+00 | -- | Inf | 25.01% 1945.96/1952.07 c 1952s| 600 | 279 | 4215k|6775.1 | 196M | 40 |6385 |7294 |6623 | 529 | 1 |1241 | 12 | 0.000000e+00 | -- | Inf | 25.05% 2046.85/2053.23 c 2053s| 700 | 303 | 4482k|6188.9 | 201M | 40 |6385 |7237 |6615 | 622 | 0 |1251 | 12 | 0.000000e+00 | -- | Inf | 25.08% 2140.37/2147.03 c 2147s| 800 | 311 | 4737k|5733.3 | 204M | 40 |6385 |7273 |6637 | 671 | 0 |1335 | 12 | 0.000000e+00 | -- | Inf | 25.18% 2260.40/2267.44 c 2267s| 900 | 333 | 5034k|5425.3 | 208M | 40 |6385 |7319 |6620 | 795 | 0 |1425 | 12 | 0.000000e+00 | -- | Inf | 25.20% 2426.70/2434.28 c 2434s| 1000 | 355 | 5470k|5319.2 | 209M | 40 |6385 |7353 |6623 | 997 | 1 |1522 | 12 | 0.000000e+00 | -- | Inf | 25.83% 2581.74/2589.75 c 2590s| 1100 | 375 | 5856k|5186.2 | 214M | 40 |6385 |7347 |6611 |1218 | 1 |1618 | 12 | 0.000000e+00 | -- | Inf | 26.42% 2626.51/2634.63 c Restart triggered after 50 consecutive estimations that the remaining tree will be large 2626.51/2634.64 c (run 1, node 1172) performing user restart 2626.51/2634.64 c 2626.51/2634.64 c (restart) converted 50 cuts from the global cut pool into linear constraints 2626.51/2634.64 c 2626.51/2634.66 c presolving: 2626.51/2634.67 c (round 1, fast) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 42772 clqs 2626.51/2634.69 c (round 2, exhaustive) 0 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 4 chg coeffs, 248 upgd conss, 0 impls, 42772 clqs 2626.61/2634.70 c (round 3, medium) 0 del vars, 19 del conss, 8 add conss, 0 chg bounds, 28 chg sides, 53 chg coeffs, 248 upgd conss, 0 impls, 42772 clqs 2626.71/2634.85 c (round 4, exhaustive) 0 del vars, 51 del conss, 8 add conss, 0 chg bounds, 28 chg sides, 1058 chg coeffs, 248 upgd conss, 0 impls, 42772 clqs 2626.71/2634.87 c (round 5, exhaustive) 0 del vars, 77 del conss, 8 add conss, 0 chg bounds, 28 chg sides, 1076 chg coeffs, 248 upgd conss, 0 impls, 42772 clqs 2626.91/2635.01 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive): 2626.91/2635.01 c 0 deleted vars, 78 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 28 changed sides, 1121 changed coefficients 2626.91/2635.01 c 0 implications, 42772 cliques 2626.91/2635.01 c presolved problem has 6385 variables (6385 bin, 0 int, 0 impl, 0 cont) and 7336 constraints 2626.91/2635.01 c 40 constraints of type <knapsack> 2626.91/2635.01 c 1590 constraints of type <setppc> 2626.91/2635.01 c 2 constraints of type <linear> 2626.91/2635.01 c 1 constraints of type <orbitope> 2626.91/2635.01 c 5703 constraints of type <logicor> 2626.91/2635.01 c transformed objective value is always integral (scale: 1) 2626.91/2635.01 c Presolving Time: 8.01 2626.91/2635.01 c 2631.69/2639.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 2631.69/2639.81 c 2640s| 1 | 0 | 5985k| - | 216M | 0 |6385 |7339 |6585 | 0 | 0 |1669 | 12 | 0.000000e+00 | -- | Inf | unknown 2635.98/2644.17 c 2644s| 1 | 0 | 5991k| - | 217M | 0 |6385 |7336 |6601 | 16 | 1 |1674 | 12 | 0.000000e+00 | -- | Inf | unknown 2639.67/2647.83 c 2648s| 1 | 0 | 5998k| - | 217M | 0 |6385 |7329 |6614 | 29 | 2 |1676 | 12 | 0.000000e+00 | -- | Inf | unknown 2644.05/2652.25 c 2652s| 1 | 0 | 6006k| - | 218M | 0 |6385 |7330 |6632 | 47 | 3 |1685 | 12 | 0.000000e+00 | -- | Inf | unknown 2650.33/2658.59 c 2659s| 1 | 0 | 6016k| - | 220M | 0 |6385 |7327 |6654 | 69 | 4 |1688 | 12 | 0.000000e+00 | -- | Inf | unknown 2657.61/2665.81 c 2666s| 1 | 0 | 6026k| - | 220M | 0 |6385 |7331 |6669 | 84 | 5 |1694 | 12 | 0.000000e+00 | -- | Inf | unknown 2662.40/2670.65 c 2671s| 1 | 0 | 6034k| - | 222M | 0 |6385 |7337 |6678 | 93 | 6 |1704 | 12 | 0.000000e+00 | -- | Inf | unknown 2671.97/2680.22 c 2680s| 1 | 0 | 6047k| - | 223M | 0 |6385 |7330 |6697 | 112 | 7 |1706 | 12 | 0.000000e+00 | -- | Inf | unknown 2678.65/2686.97 c 2687s| 1 | 0 | 6057k| - | 224M | 0 |6385 |7320 |6707 | 122 | 8 |1707 | 12 | 0.000000e+00 | -- | Inf | unknown 2685.43/2693.73 c 2694s| 1 | 0 | 6067k| - | 224M | 0 |6385 |7320 |6716 | 131 | 9 |1708 | 12 | 0.000000e+00 | -- | Inf | unknown 2693.00/2701.38 c 2701s| 1 | 0 | 6078k| - | 225M | 0 |6385 |7316 |6731 | 146 | 10 |1710 | 12 | 0.000000e+00 | -- | Inf | unknown 2699.59/2707.96 c 2708s| 1 | 0 | 6088k| - | 226M | 0 |6385 |7319 |6747 | 162 | 11 |1717 | 12 | 0.000000e+00 | -- | Inf | unknown 2738.48/2746.91 c 2747s| 1 | 2 | 6139k| - | 226M | 0 |6385 |7302 |6747 | 162 | 11 |1728 | 23 | 0.000000e+00 | -- | Inf | unknown 2880.93/2889.80 c 2890s| 100 | 33 | 6440k|4852.7 | 227M | 35 |6385 |7327 |6627 | 234 | 0 |1774 | 23 | 0.000000e+00 | -- | Inf | unknown 2948.39/2957.57 c 2958s| 200 | 32 | 6628k|4636.3 | 229M | 39 |6385 |7367 |6633 | 275 | 0 |1865 | 23 | 0.000000e+00 | -- | Inf | unknown 3007.08/3016.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl. 3007.08/3016.43 c 3016s| 300 | 36 | 6790k|4431.3 | 231M | 39 |6385 |7411 |6629 | 285 | 1 |1969 | 23 | 0.000000e+00 | -- | Inf | unknown 3063.28/3072.81 c 3073s| 400 | 36 | 6951k|4251.7 | 232M | 39 |6385 |7492 |6630 | 307 | 0 |2065 | 23 | 0.000000e+00 | -- | Inf | unknown 3124.86/3134.62 c 3135s| 500 | 34 | 7129k|4103.6 | 233M | 40 |6385 |7499 |6636 | 347 | 0 |2073 | 23 | 0.000000e+00 | -- | Inf | unknown 3191.13/3201.15 c 3201s| 600 | 36 | 7313k|3975.6 | 233M | 40 |6385 |7501 | 0 | 390 | 0 |2077 | 23 | 0.000000e+00 | -- | Inf | unknown 3256.22/3266.44 c 3266s| 700 | 36 | 7496k|3860.8 | 234M | 40 |6385 |7471 |6640 | 439 | 1 |2108 | 23 | 0.000000e+00 | -- | Inf | unknown 3301.38/3311.71 c 3312s| 800 | 36 | 7624k|3730.2 | 235M | 40 |6385 |7483 |6637 | 459 | 0 |2185 | 23 | 0.000000e+00 | -- | Inf | unknown 3345.56/3356.02 c 3356s| 900 | 35 | 7751k|3611.3 | 236M | 40 |6385 |7551 |6640 | 476 | 0 |2276 | 23 | 0.000000e+00 | -- | Inf | unknown 3405.97/3416.60 c 3417s| 1000 | 36 | 7921k|3523.5 | 237M | 40 |6385 |7590 |6645 | 520 | 0 |2365 | 23 | 0.000000e+00 | -- | Inf | unknown 3457.01/3467.88 c 3468s| 1100 | 41 | 8065k|3431.5 | 239M | 40 |6385 |7638 |6649 | 549 | 1 |2448 | 23 | 0.000000e+00 | -- | Inf | unknown 3508.75/3519.76 c 3520s| 1200 | 42 | 8211k|3348.5 | 240M | 40 |6385 |7676 |6649 | 592 | 0 |2509 | 23 | 0.000000e+00 | -- | Inf | unknown 3565.37/3576.53 c 3577s| 1300 | 40 | 8371k|3277.7 | 242M | 40 |6385 |7750 |6651 | 622 | 0 |2593 | 23 | 0.000000e+00 | -- | Inf | unknown 3585.71/3597.00 c 3585.71/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.71/3597.00 c Solving Time (sec) : 3597.00 3585.71/3597.00 c Solving Nodes : 1341 (total of 2513 nodes in 2 runs) 3585.71/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions) 3585.71/3597.00 c Dual Bound : +0.00000000000000e+00 3585.71/3597.00 c Gap : infinite 3585.71/3597.00 s UNKNOWN 3585.71/3597.00 c SCIP Status : solving was interrupted [time limit reached] 3585.71/3597.00 c Total Time : 3597.00 3585.71/3597.00 c solving : 3597.00 3585.71/3597.00 c presolving : 8.01 (included in solving) 3585.71/3597.00 c reading : 0.02 (included in solving) 3585.71/3597.00 c copying : 1.78 (105 #copies) (minimal 0.01, maximal 0.02, average 0.02) 3585.71/3597.00 c Original Problem : 3585.71/3597.00 c Problem name : HOME/instance-4447155-1721345880.opb 3585.71/3597.00 c Variables : 7140 (7140 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.71/3597.00 c Constraints : 7352 initial, 7352 maximal 3585.71/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.71/3597.00 c Presolved Problem : 3585.71/3597.00 c Problem name : t_HOME/instance-4447155-1721345880.opb 3585.71/3597.00 c Variables : 6385 (6385 binary, 0 integer, 0 implicit integer, 0 continuous) 3585.71/3597.00 c Constraints : 7336 initial, 7775 maximal 3585.71/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20) 3585.71/3597.00 c Nonzeros : 71327 constraint, 91746 clique table 3585.71/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs 3585.71/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c domcol : 0.12 0.00 12 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c gateextraction : 0.06 0.00 16 0 0 0 0 0 1 0 0 0 3585.71/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c milp : 0.07 0.00 1 103 0 0 0 0 0 0 0 0 3585.71/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c sparsify : 0.16 0.00 3 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c trivial : 0.00 0.00 38 286 0 0 0 0 0 0 0 0 3585.71/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c dualfix : 0.00 0.00 38 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c probing : 6.70 0.00 11 218 1 0 0 0 0 0 0 0 3585.71/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0 3585.71/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c knapsack : 0.02 0.00 15 0 0 0 0 0 0 8 28 118 3585.71/3597.00 c setppc : 0.06 0.00 62 0 0 0 0 0 100 0 0 0 3585.71/3597.00 c linear : 0.05 0.01 20 141 0 0 141 0 511 0 0 0 3585.71/3597.00 c orbitope : 0.00 0.00 6 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c logicor : 0.67 0.01 60 62 0 0 0 0 268 0 0 1438 3585.71/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c root node : - - - 0 - - 0 - - - - - 3585.71/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children 3585.71/3597.00 c benderslp : 0 0 0 0 1471 0 0 224 0 0 0 0 0 0 0 3585.71/3597.00 c integral : 0 0 0 0 1471 0 0 224 0 0 0 0 0 0 2942 3585.71/3597.00 c knapsack : 40 40 11 21189 0 0 0 0 20095 0 2407 0 0 0 0 3585.71/3597.00 c setppc : 1590+ 1601 22 144891 0 0 0 219 807875 198 116838 0 0 0 0 3585.71/3597.00 c linear : 2+ 17 22 50079 0 0 0 3 1473 3 673 0 0 0 0 3585.71/3597.00 c orbitope : 1 1 0 53049 0 0 0 0 3447 2 1200 0 0 0 0 3585.71/3597.00 c logicor : 5703+ 6117 22 115940 0 0 0 0 1319284 314 176681 92 46 0 0 3585.71/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop 3585.71/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c integral : 17.10 0.00 0.00 0.00 17.10 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c knapsack : 0.10 0.00 0.05 0.04 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c setppc : 1.44 0.00 0.00 1.21 0.00 0.00 0.00 0.00 0.21 0.01 3585.71/3597.00 c linear : 0.04 0.01 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c orbitope : 0.09 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c logicor : 3.20 0.01 0.02 2.68 0.00 0.00 0.00 0.00 0.46 0.02 3585.71/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds 3585.71/3597.00 c dualfix : 2 0 0 0 3585.71/3597.00 c genvbounds : 0 0 0 0 3585.71/3597.00 c nlobbt : 0 0 0 0 3585.71/3597.00 c obbt : 0 0 0 0 3585.71/3597.00 c probing : 0 0 0 0 3585.71/3597.00 c pseudoobj : 0 0 0 0 3585.71/3597.00 c redcost : 0 0 0 0 3585.71/3597.00 c rootredcost : 0 0 0 0 3585.71/3597.00 c symmetry : 23362 0 0 30 3585.71/3597.00 c vbounds : 25915 0 0 0 3585.71/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop 3585.71/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00 3585.71/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c probing : 6.70 0.00 6.70 0.00 0.00 0.00 3585.71/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00 3585.71/3597.00 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00 3585.71/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00 3585.71/3597.00 c symmetry : 0.08 0.00 0.03 0.05 0.00 0.00 3585.71/3597.00 c vbounds : 0.26 0.00 0.01 0.25 0.00 0.00 3585.71/3597.00 c Symmetry : 3585.71/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs 3585.71/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs 3585.71/3597.00 c lexicographic red: 30 reductions applied, 0 cutoffs 3585.71/3597.00 c shadow tree time : 0.01 s 3585.71/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000]) 3585.71/3597.00 c propagation : 0.07 503 353 - 1988 132.7 53 25.6 - - - 3585.71/3597.00 c infeasible LP : 5.11 1120 604 - 12287 1083.0 31 9.5 14 316.0 0 3585.71/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0 3585.71/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0 3585.71/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - - 3585.71/3597.00 c applied globally : 0.14 - - 0 2586 291.1 - - 13 - - 3585.71/3597.00 c applied locally : - - - 0 19 1184.5 - - 1 - - 3585.71/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss 3585.71/3597.00 c cut pool : 0.09 - 465 42 - - 2040 16785 - - - - - (maximal pool size: 1219) 3585.71/3597.00 c aggregation : 0.14 0.00 99 22 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 - 3585.71/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 - 3585.71/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 - 3585.71/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c clique : 0.87 0.00 22 22 0 0 164 716 0 342 342 0 0 3585.71/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c gomory : 16.77 0.00 97 20 0 0 1676 14543 124 764 759 5 0 3585.71/3597.00 c > gomorymi : - - - - - - - 6912 62 463 459 4 - 3585.71/3597.00 c > strongcg : - - - - - - - 7631 62 301 300 1 - 3585.71/3597.00 c impliedbounds : 0.14 0.00 99 22 0 0 122 341 0 139 139 0 0 3585.71/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c multilinear : 0.00 0.00 105 22 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c rapidlearning : 42.25 0.00 100 2 0 26817 0 0 0 0 0 0 485 3585.71/3597.00 c rlt : 0.00 0.00 63 20 0 0 0 0 0 0 0 0 0 3585.71/3597.00 c zerohalf : 9.44 0.00 99 22 0 0 357 1185 155 647 514 133 0 3585.71/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt 3585.71/3597.00 c hybrid : 0.02 0.00 291 22 1962 0 14185 267 0 227 3585.71/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0 3585.71/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0 3585.71/3597.00 c Pricers : ExecTime SetupTime Calls Vars 3585.71/3597.00 c problem variables: 0.00 - 0 0 3585.71/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children 3585.71/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.71/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0 3585.71/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0 3585.71/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c relpscost : 17.10 0.00 1471 0 0 0 0 0 0 2942 3585.82/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0 3585.82/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best 3585.82/3597.00 c LP solutions : 0.00 - - 0 0 3585.82/3597.00 c relax solutions : 0.00 - - 0 0 3585.82/3597.00 c pseudo solutions : 0.00 - - 0 0 3585.82/3597.00 c strong branching : 0.00 - - 0 0 3585.82/3597.00 c actconsdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c adaptivediving : 68.63 0.00 4 0 0 3585.82/3597.00 c alns : 13.49 0.00 4 0 0 3585.82/3597.00 c bound : 0.00 0.00 0 0 0 3585.82/3597.00 c clique : 0.05 0.00 1 0 0 3585.82/3597.00 c coefdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c completesol : 0.00 0.00 0 0 0 3585.82/3597.00 c conflictdiving : 116.92 0.00 12 0 0 3585.82/3597.00 c crossover : 0.00 0.00 0 0 0 3585.82/3597.00 c dins : 0.00 0.00 0 0 0 3585.82/3597.00 c distributiondivin: 54.35 0.00 11 0 0 3585.82/3597.00 c dps : 0.00 0.00 0 0 0 3585.82/3597.00 c dualval : 0.00 0.00 0 0 0 3585.82/3597.00 c farkasdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c feasjump : 0.05 0.00 2 0 0 3585.82/3597.00 c feaspump : 66.33 0.00 6 0 0 3585.82/3597.00 c fixandinfer : 0.00 0.00 0 0 0 3585.82/3597.00 c fracdiving : 39.74 0.00 11 0 0 3585.82/3597.00 c gins : 0.00 0.00 0 0 0 3585.82/3597.00 c guideddiving : 0.00 0.00 0 0 0 3585.82/3597.00 c indcoefdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c indicator : 0.00 0.00 0 0 0 3585.82/3597.00 c indicatordiving : 0.00 0.00 0 0 0 3585.82/3597.00 c indoneopt : 0.00 0.00 0 0 0 3585.82/3597.00 c indrounding : 0.00 0.00 0 0 0 3585.82/3597.00 c indtwoopt : 0.00 0.00 0 0 0 3585.82/3597.00 c intdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c intshifting : 0.00 0.00 0 0 0 3585.82/3597.00 c linesearchdiving : 68.15 0.00 11 0 0 3585.82/3597.00 c localbranching : 0.00 0.00 0 0 0 3585.82/3597.00 c locks : 0.02 0.00 1 0 0 3585.82/3597.00 c lpface : 0.02 0.00 0 0 0 3585.82/3597.00 c mpec : 0.00 0.00 0 0 0 3585.82/3597.00 c multistart : 0.00 0.00 0 0 0 3585.82/3597.00 c mutation : 0.00 0.00 0 0 0 3585.82/3597.00 c nlpdiving : 0.00 0.00 0 0 0 3585.82/3597.00 c objpscostdiving : 255.11 0.00 2 0 0 3585.82/3597.00 c octane : 0.00 0.00 0 0 0 3585.82/3597.00 c ofins : 0.00 0.00 0 0 0 3585.82/3597.00 c oneopt : 0.00 0.00 0 0 0 3585.82/3597.00 c padm : 0.00 0.00 0 0 0 3585.82/3597.00 c proximity : 0.00 0.00 0 0 0 3585.82/3597.00 c pscostdiving : 97.41 0.00 12 0 0 3585.82/3597.00 c randrounding : 0.27 0.00 234 0 0 3585.82/3597.00 c rens : 0.21 0.00 2 0 0 3585.82/3597.00 c reoptsols : 0.00 0.00 0 0 0 3585.82/3597.00 c repair : 0.00 0.00 0 0 0 3585.82/3597.00 c rins : 0.00 0.00 0 0 0 3585.82/3597.00 c rootsoldiving : 58.86 0.00 3 0 0 3585.82/3597.00 c rounding : 0.12 0.00 540 0 0 3585.82/3597.00 c scheduler : 0.00 0.00 0 0 0 3585.82/3597.00 c shiftandpropagate: 0.03 0.00 2 0 0 3585.82/3597.00 c shifting : 0.40 0.00 251 0 0 3585.82/3597.00 c simplerounding : 0.00 0.00 0 0 0 3585.82/3597.00 c smallcard : 0.00 0.00 0 0 0 3585.82/3597.00 c subnlp : 0.00 0.00 0 0 0 3585.82/3597.00 c trivial : 0.01 0.00 4 0 0 3585.82/3597.00 c trivialnegation : 0.00 0.00 0 0 0 3585.82/3597.00 c trustregion : 0.00 0.00 0 0 0 3585.82/3597.00 c trysol : 0.00 0.00 0 0 0 3585.82/3597.00 c twoopt : 0.00 0.00 0 0 0 3585.82/3597.00 c undercover : 0.00 0.00 0 0 0 3585.82/3597.00 c vbounds : 0.05 0.00 2 0 0 3585.82/3597.00 c veclendiving : 130.74 0.00 11 0 0 3585.82/3597.00 c zeroobj : 0.00 0.00 0 0 0 3585.82/3597.00 c zirounding : 0.09 0.00 1000 0 0 3585.82/3597.00 c other solutions : - - - 0 - 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/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 3585.82/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit 3585.82/3597.00 c primal LP : 0.57 119 0 0.00 0.00 0.57 119 3585.82/3597.00 c dual LP : 2520.29 2831 6297980 2246.07 2498.91 0.05 27 3585.82/3597.00 c lex dual LP : 0.00 0 0 0.00 - 3585.82/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0 3585.82/3597.00 c resolve instable : 3.64 12 10040 836.67 2755.72 3585.82/3597.00 c diving/probing LP: 957.51 2040 2130922 1044.57 2225.49 3585.82/3597.00 c strong branching : 10.87 23 19434 844.96 1787.88 - - 33 3585.82/3597.00 c (at root node) : - 23 19434 844.96 - 3585.82/3597.00 c conflict analysis: 0.00 0 0 0.00 - 3585.82/3597.00 c B&B Tree : 3585.82/3597.00 c number of runs : 2 3585.82/3597.00 c nodes : 1341 (692 internal, 649 leaves) 3585.82/3597.00 c feasible leaves : 0 3585.82/3597.00 c infeas. leaves : 648 3585.82/3597.00 c objective leaves : 0 3585.82/3597.00 c nodes (total) : 2513 (1471 internal, 1042 leaves) 3585.82/3597.00 c nodes left : 40 3585.82/3597.00 c max depth : 40 3585.82/3597.00 c max depth (total): 40 3585.82/3597.00 c backtracks : 182 (13.6%) 3585.82/3597.00 c early backtracks : 0 (0.0%) 3585.82/3597.00 c nodes exc. ref. : 0 (0.0%) 3585.82/3597.00 c delayed cutoffs : 5 3585.82/3597.00 c repropagations : 1005 (5359 domain reductions, 5 cutoffs) 3585.82/3597.00 c avg switch length: 3.68 3585.82/3597.00 c switching time : 1.68 3585.82/3597.00 c Root Node : 3585.82/3597.00 c First LP value : +0.00000000000000e+00 3585.82/3597.00 c First LP Iters : 11949 (2472.66 Iter/sec) 3585.82/3597.00 c First LP Time : 4.83 3585.82/3597.00 c Final Dual Bound : +0.00000000000000e+00 3585.82/3597.00 c Final Root Iters : 272435 3585.82/3597.00 c Root LP Estimate : +3.67513668160442e-02 3585.82/3597.00 c Solution : 3585.82/3597.00 c Solutions found : 0 (0 improvements) 3585.82/3597.00 c Primal Bound : - 3585.82/3597.00 c Dual Bound : +0.00000000000000e+00 3585.82/3597.00 c Gap : infinite 3585.82/3597.00 c Integrals : Total Avg% 3585.82/3597.00 c primal-dual : 359699.78 100.00 3585.82/3597.00 c primal-ref : - - (not evaluated) 3585.82/3597.00 c dual-ref : - - (not evaluated) 3585.82/3597.06 c Time complete: 3585.88.
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: 63931 MiB (59963 MiB free) memory of node 1: 64510 MiB (60711 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447155-1721345880/watcher-4447155-1721345880 -o /tmp/evaluation-result-4447155-1721345880/solver-4447155-1721345880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721342295-1010591 --watchdog 3760 pbscip -f HOME/instance-4447155-1721345880.opb -t 3600 -j 2 -m 31000 running on 2 cores: 0,2 CPU governors: performance: 0 2 Enforcing FSIZE limit: 104857600 KiB Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 4.18.0-301.1.el8.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1012687, runsolver pid=1012679 [startup+0.100933 s]* /proc/loadavg: 4.10 4.10 4.09 8/257 1012697 /proc/meminfo: memFree=123410544/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=96552 memory=56900 CPUtime=0.09 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 11916 0 0 0 7 2 0 0 20 0 1 0 186753339 98869248 14225 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 24138 14225 3668 3540 0 12395 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 96552 KiB Current children cumulated memory: 56900 KiB [startup+0.206952 s]* /proc/loadavg: 4.10 4.10 4.09 8/257 1012697 /proc/meminfo: memFree=123382260/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=101724 memory=62164 CPUtime=0.19 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 13834 0 0 0 17 2 0 0 20 0 1 0 186753339 104165376 15541 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 25431 15541 3732 3540 0 13688 0 Current children cumulated CPU time: 0.19 s Current children cumulated vsize: 101724 KiB Current children cumulated memory: 62164 KiB [startup+0.306193 s]* /proc/loadavg: 4.10 4.10 4.09 7/257 1012697 /proc/meminfo: memFree=123334036/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=117480 memory=75324 CPUtime=0.29 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 17237 0 0 0 26 3 0 0 20 0 1 0 186753339 120299520 18831 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 29370 18831 3764 3540 0 17627 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 117480 KiB Current children cumulated memory: 75324 KiB [startup+0.700203 s] /proc/loadavg: 4.10 4.10 4.09 7/257 1012697 /proc/meminfo: memFree=123308724/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=124740 memory=82716 CPUtime=0.67 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 19061 0 0 0 64 3 0 0 20 0 1 0 186753339 127733760 20679 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 31185 20679 3780 3540 0 19442 0 Current children cumulated CPU time: 0.67 s Current children cumulated vsize: 124740 KiB Current children cumulated memory: 82716 KiB [startup+1.50019 s] /proc/loadavg: 4.10 4.10 4.09 6/257 1012697 /proc/meminfo: memFree=123308276/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=124740 memory=82716 CPUtime=1.47 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 19061 0 0 0 144 3 0 0 20 0 1 0 186753339 127733760 20679 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 31185 20679 3780 3540 0 19442 0 Current children cumulated CPU time: 1.47 s Current children cumulated vsize: 124740 KiB Current children cumulated memory: 82716 KiB [startup+3.10638 s] /proc/loadavg: 4.10 4.10 4.09 6/257 1012697 /proc/meminfo: memFree=123304004/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=125764 memory=84300 CPUtime=3.07 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 19444 0 0 0 304 3 0 0 20 0 1 0 186753339 128782336 21075 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 31441 21075 3780 3540 0 19698 0 Current children cumulated CPU time: 3.07 s Current children cumulated vsize: 125764 KiB Current children cumulated memory: 84300 KiB [startup+6.3002 s] /proc/loadavg: 4.09 4.09 4.09 6/257 1012698 /proc/meminfo: memFree=123280488/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=125764 memory=84300 CPUtime=6.25 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 19451 0 0 0 622 3 0 0 20 0 1 0 186753339 128782336 21075 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 31441 21075 3780 3540 0 19698 0 Current children cumulated CPU time: 6.25 s Current children cumulated vsize: 125764 KiB Current children cumulated memory: 84300 KiB [startup+12.7002 s] /proc/loadavg: 4.09 4.09 4.09 5/257 1012698 /proc/meminfo: memFree=123184116/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=165236 memory=115708 CPUtime=12.63 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 28158 0 0 0 1258 5 0 0 20 0 1 0 186753339 169201664 28927 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 41309 28927 3988 3540 0 29566 0 Current children cumulated CPU time: 12.63 s Current children cumulated vsize: 165236 KiB Current children cumulated memory: 115708 KiB [startup+25.5002 s] /proc/loadavg: 4.07 4.09 4.09 6/257 1012701 /proc/meminfo: memFree=123174060/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=167240 memory=117352 CPUtime=25.38 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 28583 0 0 0 2533 5 0 0 20 0 1 0 186753339 171253760 29338 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 41810 29338 4004 3540 0 30067 0 Current children cumulated CPU time: 25.38 s Current children cumulated vsize: 167240 KiB Current children cumulated memory: 117352 KiB [startup+51.1063 s] /proc/loadavg: 4.10 4.09 4.09 6/257 1012704 /proc/meminfo: memFree=122969172/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=167240 memory=117616 CPUtime=50.89 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 28613 0 0 0 5084 5 0 0 20 0 1 0 186753339 171253760 29404 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 41810 29404 4004 3540 0 30067 0 Current children cumulated CPU time: 50.89 s Current children cumulated vsize: 167240 KiB Current children cumulated memory: 117616 KiB [startup+102.3 s] /proc/loadavg: 4.10 4.09 4.09 6/257 1012713 /proc/meminfo: memFree=122699952/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276264 memory=223936 CPUtime=101.89 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 54193 0 0 0 10178 11 0 0 20 0 1 0 186753339 282894336 55984 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69066 55984 4046 3540 0 57323 0 Current children cumulated CPU time: 101.89 s Current children cumulated vsize: 276264 KiB Current children cumulated memory: 223936 KiB [startup+162.3 s] /proc/loadavg: 4.16 4.10 4.09 6/259 1012729 /proc/meminfo: memFree=122688776/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276264 memory=226544 CPUtime=161.68 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 54800 0 0 0 16156 12 0 0 20 0 1 0 186753339 282894336 56636 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69066 56636 4046 3540 0 57323 0 Current children cumulated CPU time: 161.68 s Current children cumulated vsize: 276264 KiB Current children cumulated memory: 226544 KiB [startup+222.3 s] /proc/loadavg: 4.11 4.10 4.09 6/259 1012740 /proc/meminfo: memFree=122681388/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276264 memory=226544 CPUtime=221.46 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 54849 0 0 0 22133 13 0 0 20 0 1 0 186753339 282894336 56636 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69066 56636 4046 3540 0 57323 0 Current children cumulated CPU time: 221.46 s Current children cumulated vsize: 276264 KiB Current children cumulated memory: 226544 KiB [startup+282.3 s] /proc/loadavg: 4.08 4.09 4.09 6/259 1012750 /proc/meminfo: memFree=122677260/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276264 memory=226544 CPUtime=281.25 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 54849 0 0 0 28111 14 0 0 20 0 1 0 186753339 282894336 56636 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69066 56636 4046 3540 0 57323 0 Current children cumulated CPU time: 281.25 s Current children cumulated vsize: 276264 KiB Current children cumulated memory: 226544 KiB [startup+342.3 s] /proc/loadavg: 4.10 4.10 4.09 6/257 1012761 /proc/meminfo: memFree=122653500/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276264 memory=227780 CPUtime=341.04 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 54856 0 0 0 34090 14 0 0 20 0 1 0 186753339 282894336 56945 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69066 56945 4046 3540 0 57323 0 Current children cumulated CPU time: 341.04 s Current children cumulated vsize: 276264 KiB Current children cumulated memory: 227780 KiB [startup+402.3 s] /proc/loadavg: 4.08 4.10 4.09 6/257 1012772 /proc/meminfo: memFree=122641260/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276312 memory=230468 CPUtime=400.85 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 55668 0 0 0 40070 15 0 0 20 0 1 0 186753339 282943488 57617 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69078 57617 4046 3540 0 57335 0 Current children cumulated CPU time: 400.85 s Current children cumulated vsize: 276312 KiB Current children cumulated memory: 230468 KiB [startup+462.3 s] /proc/loadavg: 4.15 4.11 4.09 6/255 1012783 /proc/meminfo: memFree=122635968/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=276312 memory=235084 CPUtime=460.67 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 56775 0 0 0 46052 15 0 0 20 0 1 0 186753339 282943488 58771 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 69078 58771 4046 3540 0 57335 0 ################ # More data... # ################ /proc/loadavg: 4.10 4.12 4.09 6/259 1014468 /proc/meminfo: memFree=122252208/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306544 CPUtime=3152.46 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 136734 0 0 0 315207 39 0 0 20 0 1 0 186753339 355717120 76636 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76636 4221 3540 0 75102 0 Current children cumulated CPU time: 3152.46 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306544 KiB [startup+3222.3 s] /proc/loadavg: 4.10 4.11 4.09 6/259 1014478 /proc/meminfo: memFree=122251264/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306584 CPUtime=3212.26 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 136847 0 0 0 321187 39 0 0 20 0 1 0 186753339 355717120 76646 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76646 4221 3540 0 75102 0 Current children cumulated CPU time: 3212.26 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306584 KiB [startup+3282.3 s] /proc/loadavg: 4.09 4.11 4.09 5/260 1014489 /proc/meminfo: memFree=122250024/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3272.07 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 136968 0 0 0 327168 39 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3272.07 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3342.3 s] /proc/loadavg: 4.07 4.10 4.09 6/259 1014501 /proc/meminfo: memFree=122249356/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3331.9 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137088 0 0 0 333150 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3331.9 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3402.3 s] /proc/loadavg: 4.10 4.11 4.09 6/259 1014512 /proc/meminfo: memFree=122248740/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3391.71 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137210 0 0 0 339131 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3391.71 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3462.3 s] /proc/loadavg: 4.08 4.10 4.09 6/256 1014524 /proc/meminfo: memFree=122247928/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3451.53 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137332 0 0 0 345113 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3451.53 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3522.3 s] /proc/loadavg: 4.14 4.11 4.09 5/256 1014534 /proc/meminfo: memFree=122247288/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3511.34 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137453 0 0 0 351094 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3511.34 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3582.3 s] /proc/loadavg: 4.11 4.11 4.09 6/256 1014546 /proc/meminfo: memFree=122246388/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3571.16 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 357076 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3571.16 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3597.07 s] # the end of solver process 1012687 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3585.48 s, system=0.408839 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3584 s]* /proc/loadavg: 4.11 4.11 4.09 5/256 1014546 /proc/meminfo: memFree=122246388/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3572.86 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 357246 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3572.86 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3590.4 s] /proc/loadavg: 4.10 4.10 4.09 6/256 1014547 /proc/meminfo: memFree=122246296/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3579.23 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 357883 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3579.23 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3593.6 s] /proc/loadavg: 4.09 4.10 4.09 6/255 1014547 /proc/meminfo: memFree=122246376/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3582.42 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 358202 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3582.42 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3595.2 s] /proc/loadavg: 4.09 4.10 4.09 6/255 1014549 /proc/meminfo: memFree=122246284/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3584.02 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 358362 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3584.02 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3596 s]* /proc/loadavg: 4.08 4.10 4.09 6/255 1014549 /proc/meminfo: memFree=122246252/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3584.82 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 358442 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3584.82 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3596.8 s] /proc/loadavg: 4.08 4.10 4.09 6/255 1014549 /proc/meminfo: memFree=122246252/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3585.61 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 358521 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3585.61 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB [startup+3597 s]* /proc/loadavg: 4.08 4.10 4.09 5/255 1014549 /proc/meminfo: memFree=122246276/131524600 swapFree=131071996/131071996 [pid=1012687] ppid=1012679 vsize=347380 memory=306804 CPUtime=3585.82 cores=0,2 /proc/1012687/stat : 1012687 (pbscip) R 1012679 1012687 1010581 0 -1 4194304 137574 0 0 0 358542 40 0 0 20 0 1 0 186753339 355717120 76701 134679101440 4194304 18693293 140736011856480 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 21375888 21430392 55070720 140736011863042 140736011863141 140736011863141 140736011870158 0 /proc/1012687/statm: 86845 76701 4221 3540 0 75102 0 Current children cumulated CPU time: 3585.82 s Current children cumulated vsize: 347380 KiB Current children cumulated memory: 306804 KiB Child status: 0 Real time (s): 3597.07 CPU time (s): 3585.89 CPU user time (s): 3585.48 CPU system time (s): 0.408839 CPU usage (%): 99.6892 Max. virtual memory (cumulated for all children) (KiB): 347804 Max. memory (cumulated for all children) (KiB): 306804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3585.48 system time used= 0.408839 maximum resident set size= 306804 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 137584 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= 50 involuntary context switches= 24567 # summary of solver processes directly reported to runsolver: # pid: 1012687 # total CPU time (s): 3585.89 # total CPU user time (s): 3585.48 # total CPU system time (s): 0.408839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.04723 second user time and 18.462 second system time The end
Begin job on nodeC025 at 2024-07-19 01:38:12 IDJOB=4447155 IDBENCH=158365 IDSOLVER=3059 FILE ID=nodeC025/4447155-1721345880 RUNJOBID= nodeC025-1721342295-1010591 SLURM_JOB_ID= 7542740 Free space on /tmp= 890028 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447155-1721345880/watcher-4447155-1721345880 -o /tmp/evaluation-result-4447155-1721345880/solver-4447155-1721345880 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721342295-1010591 --watchdog 3760 pbscip -f HOME/instance-4447155-1721345880.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645 RANDOM SEED=1822656745 nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3652.773 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3657.286 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3563.296 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3605.743 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3613.464 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3606.483 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 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 : 3635.782 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.72 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 : 3636.806 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123572436 kB MemAvailable: 129617348 kB Buffers: 530856 kB Cached: 6277132 kB SwapCached: 0 kB Active: 1090340 kB Inactive: 6086692 kB Active(anon): 1520 kB Inactive(anon): 405548 kB Active(file): 1088820 kB Inactive(file): 5681144 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 75400 kB Writeback: 68 kB AnonPages: 367388 kB Mapped: 106336 kB Shmem: 37720 kB KReclaimable: 229192 kB Slab: 357340 kB SReclaimable: 229192 kB SUnreclaim: 128148 kB KernelStack: 3800 kB PageTables: 9872 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 780296 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 70560 kB HardwareCorrupted: 0 kB AnonHugePages: 491520 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 318164 kB DirectMap2M: 43495424 kB DirectMap1G: 92274688 kB Free space on /tmp at the end= 889956 MiB End job on nodeC025 at 2024-07-19 02:38:10