| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.72 | 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 | 2.52945 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4507562-1751189384.opb>
0.00/0.03 c original problem has 7140 variables (7140 bin, 0 int, 0 impl, 0 cont) and 7352 constraints
0.00/0.03 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.07 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.07 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.07 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.09 c (0.1s) running MILP presolver
0.08/0.14 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 103 fixings, 0 bound changes
0.08/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.08/0.15 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.08/0.16 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.08/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.22 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.22 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.07 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.07 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.38/1.45 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.38/1.45 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.58/1.62 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.58/1.63 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.01 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.01 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.07 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.07 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.18/2.25 c (2.2s) probing: 1000/6613 (15.1%) - 147 fixings, 1 aggregations, 665605 implications, 0 bound changes
3.47/3.55 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.47/3.55 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.57/3.60 c (3.6s) probing: 2000/6613 (30.2%) - 153 fixings, 1 aggregations, 1238397 implications, 0 bound changes
3.57/3.65 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.57/3.65 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.67/4.72 c (4.7s) probing: 3000/6613 (45.4%) - 190 fixings, 1 aggregations, 1676037 implications, 0 bound changes
5.37/5.45 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.37/5.45 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.77/5.87 c (5.9s) probing: 4000/6613 (60.5%) - 216 fixings, 1 aggregations, 2096487 implications, 0 bound changes
6.76/6.87 c (6.9s) probing: 5000/6613 (75.6%) - 218 fixings, 1 aggregations, 2516401 implications, 0 bound changes
7.07/7.15 c (7.1s) probing: 5302/6613 (80.2%) - 218 fixings, 1 aggregations, 2636202 implications, 0 bound changes
7.07/7.15 c (7.1s) probing aborted: 1000/1000 successive useless probings
7.07/7.15 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.07/7.15 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.16/7.29 c (7.3s) probing: 5402/6613 (81.7%) - 218 fixings, 1 aggregations, 2675171 implications, 0 bound changes
7.16/7.29 c (7.3s) probing aborted: 1000/1000 successive useless probings
7.26/7.30 c (7.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.26/7.33 c (7.3s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
7.26/7.33 c dynamic symmetry handling statistics:
7.26/7.33 c orbitopal reduction: no components
7.26/7.33 c orbital reduction: no components
7.26/7.33 c lexicographic reduction: 4 permutations with support sizes 198, 392, 198, 182
7.26/7.33 c handled 5 out of 5 symmetry components
7.26/7.33 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.26/7.33 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.35/7.46 c (7.5s) probing: 5502/6613 (83.2%) - 218 fixings, 1 aggregations, 2713527 implications, 0 bound changes
7.35/7.46 c (7.5s) probing aborted: 1000/1000 successive useless probings
7.35/7.47 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
7.35/7.47 c 1041 deleted vars, 802 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 435 changed coefficients
7.35/7.47 c 0 implications, 42772 cliques
7.35/7.47 c presolved problem has 6385 variables (6385 bin, 0 int, 0 impl, 0 cont) and 6551 constraints
7.35/7.47 c 1389 constraints of type <setppc>
7.35/7.47 c 1 constraints of type <orbitope>
7.35/7.47 c 5161 constraints of type <logicor>
7.35/7.47 c transformed objective value is always integral (scale: 1)
7.35/7.47 c Presolving Time: 7.42
7.35/7.47 c - non default parameters ----------------------------------------------------------------------
7.35/7.47 c # SCIP version 10.0.0
7.35/7.47 c
7.35/7.47 c # maximal time in seconds to run
7.35/7.47 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.35/7.47 c limits/time = 3596.998009
7.35/7.47 c
7.35/7.47 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.35/7.47 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.35/7.47 c limits/memory = 27900
7.35/7.47 c
7.35/7.47 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
7.35/7.47 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
7.35/7.47 c limits/solutions = 1
7.35/7.47 c
7.35/7.47 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.35/7.47 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
7.35/7.47 c misc/usesymmetry = 3
7.35/7.47 c
7.35/7.47 c # belongs reading time to solving time?
7.35/7.47 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.35/7.47 c timing/reading = TRUE
7.35/7.47 c
7.35/7.47 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
7.35/7.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.35/7.47 c propagating/symmetry/detectdoublelex = FALSE
7.35/7.47 c
7.35/7.47 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
7.35/7.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.35/7.47 c propagating/symmetry/detectsubgroups = FALSE
7.35/7.47 c
7.35/7.47 c # Type of symmetries that shall be computed?
7.35/7.47 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
7.35/7.47 c propagating/symmetry/symtype = 1
7.35/7.47 c
7.35/7.47 c # Should components consisting of a single full reflection be handled?
7.35/7.47 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.35/7.47 c propagating/symmetry/usesimplesgncomp = FALSE
7.35/7.47 c
7.35/7.47 c -----------------------------------------------------------------------------------------------
7.35/7.47 c start solving
7.35/7.47 c
12.34/12.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.34/12.40 c 12.4s| 1 | 0 | 12258 | - | 97M | 0 |6385 |6719 |6550 | 0 | 0 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
62.92/63.14 c 63.1s| 1 | 0 | 79781 | - | 108M | 0 |6385 |6919 |6565 | 15 | 1 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
66.11/66.40 c 66.4s| 1 | 0 | 85634 | - | 112M | 0 |6385 |6924 |6570 | 20 | 2 | 178 | 0 | 0.000000e+00 | -- | Inf | unknown
69.10/69.37 c 69.4s| 1 | 0 | 90778 | - | 113M | 0 |6385 |6925 |6578 | 28 | 3 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
73.39/73.65 c 73.6s| 1 | 0 | 98313 | - | 115M | 0 |6385 |6933 |6584 | 34 | 4 | 187 | 0 | 0.000000e+00 | -- | Inf | unknown
78.38/78.63 c 78.6s| 1 | 0 |107269 | - | 116M | 0 |6385 |6929 |6595 | 45 | 5 | 190 | 0 | 0.000000e+00 | -- | Inf | unknown
80.97/81.23 c 81.2s| 1 | 0 |111091 | - | 117M | 0 |6385 |6913 |6599 | 49 | 6 | 191 | 0 | 0.000000e+00 | -- | Inf | unknown
86.06/86.34 c 86.3s| 1 | 0 |120099 | - | 118M | 0 |6385 |6923 |6605 | 55 | 7 | 201 | 0 | 0.000000e+00 | -- | Inf | unknown
92.34/92.64 c 92.6s| 1 | 0 |130393 | - | 119M | 0 |6385 |6932 |6616 | 66 | 8 | 211 | 0 | 0.000000e+00 | -- | Inf | unknown
98.12/98.45 c 98.4s| 1 | 0 |139479 | - | 120M | 0 |6385 |6932 |6628 | 78 | 9 | 212 | 0 | 0.000000e+00 | -- | Inf | unknown
103.11/103.49 c 103s| 1 | 0 |148142 | - | 121M | 0 |6385 |6932 |6638 | 88 | 10 | 215 | 0 | 0.000000e+00 | -- | Inf | unknown
108.00/108.36 c 108s| 1 | 0 |157187 | - | 121M | 0 |6385 |6931 |6654 | 104 | 11 | 216 | 0 | 0.000000e+00 | -- | Inf | unknown
153.48/153.96 c 154s| 1 | 2 |223859 | - | 122M | 0 |6385 |6913 |6654 | 104 | 11 | 226 | 12 | 0.000000e+00 | -- | Inf | unknown
281.53/282.35 c 282s| 100 | 21 |464215 |3104.4 | 139M | 40 |6385 |6979 |6616 | 125 | 0 | 302 | 12 | 0.000000e+00 | -- | Inf | unknown
417.58/418.78 c 419s| 200 | 31 |768300 |3072.5 | 159M | 40 |6385 |7051 |6615 | 131 | 0 | 407 | 12 | 0.000000e+00 | -- | Inf | unknown
1001.90/1004.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1001.90/1004.58 c 1005s| 300 | 121 | 2050k|6331.5 | 175M | 40 |6385 |7131 |6611 | 282 | 1 | 719 | 12 | 0.000000e+00 | -- | Inf | 25.00%
1376.34/1379.90 c 1380s| 400 | 151 | 2849k|6747.6 | 181M | 40 |6385 |7240 |6611 | 395 | 1 | 945 | 12 | 0.000000e+00 | -- | Inf | 25.01%
1608.73/1612.96 c 1613s| 500 | 207 | 3386k|6471.4 | 186M | 40 |6385 |7220 |6611 | 422 | 1 |1063 | 12 | 0.000000e+00 | -- | Inf | 25.01%
1965.31/1970.44 c 1970s| 600 | 279 | 4215k|6775.1 | 196M | 40 |6385 |7294 |6623 | 529 | 1 |1241 | 12 | 0.000000e+00 | -- | Inf | 25.05%
2067.25/2072.67 c 2073s| 700 | 303 | 4482k|6188.9 | 201M | 40 |6385 |7237 |6615 | 622 | 0 |1251 | 12 | 0.000000e+00 | -- | Inf | 25.08%
2161.79/2167.46 c 2167s| 800 | 311 | 4737k|5733.3 | 204M | 40 |6385 |7273 |6637 | 671 | 0 |1335 | 12 | 0.000000e+00 | -- | Inf | 25.18%
2283.08/2289.09 c 2289s| 900 | 333 | 5034k|5425.3 | 208M | 40 |6385 |7319 |6620 | 795 | 0 |1425 | 12 | 0.000000e+00 | -- | Inf | 25.20%
2451.35/2457.73 c 2458s| 1000 | 355 | 5470k|5319.2 | 209M | 40 |6385 |7353 |6623 | 997 | 1 |1522 | 12 | 0.000000e+00 | -- | Inf | 25.83%
2607.95/2614.79 c 2615s| 1100 | 375 | 5856k|5186.2 | 214M | 40 |6385 |7347 |6611 |1218 | 1 |1618 | 12 | 0.000000e+00 | -- | Inf | 26.42%
2653.23/2660.18 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
2653.23/2660.18 c (run 1, node 1172) performing user restart
2653.23/2660.18 c
2653.23/2660.19 c (restart) converted 50 cuts from the global cut pool into linear constraints
2653.23/2660.19 c
2653.33/2660.21 c presolving:
2653.33/2660.22 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
2653.33/2660.24 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
2653.33/2660.25 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
2653.53/2660.40 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
2653.53/2660.41 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
2653.63/2660.54 c presolving (6 rounds: 6 fast, 5 medium, 4 exhaustive):
2653.63/2660.54 c 0 deleted vars, 78 deleted constraints, 8 added constraints, 0 tightened bounds, 0 added holes, 28 changed sides, 1121 changed coefficients
2653.63/2660.54 c 0 implications, 42772 cliques
2653.63/2660.54 c presolved problem has 6385 variables (6385 bin, 0 int, 0 impl, 0 cont) and 7336 constraints
2653.63/2660.54 c 40 constraints of type <knapsack>
2653.63/2660.54 c 1590 constraints of type <setppc>
2653.63/2660.54 c 2 constraints of type <linear>
2653.63/2660.54 c 1 constraints of type <orbitope>
2653.63/2660.54 c 5703 constraints of type <logicor>
2653.63/2660.54 c transformed objective value is always integral (scale: 1)
2653.63/2660.54 c Presolving Time: 7.76
2653.63/2660.55 c
2658.51/2665.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2658.51/2665.40 c 2665s| 1 | 0 | 5985k| - | 216M | 0 |6385 |7339 |6585 | 0 | 0 |1669 | 12 | 0.000000e+00 | -- | Inf | unknown
2662.90/2669.83 c 2670s| 1 | 0 | 5991k| - | 217M | 0 |6385 |7336 |6601 | 16 | 1 |1674 | 12 | 0.000000e+00 | -- | Inf | unknown
2666.59/2673.55 c 2674s| 1 | 0 | 5998k| - | 217M | 0 |6385 |7329 |6614 | 29 | 2 |1676 | 12 | 0.000000e+00 | -- | Inf | unknown
2671.08/2678.01 c 2678s| 1 | 0 | 6006k| - | 218M | 0 |6385 |7330 |6632 | 47 | 3 |1685 | 12 | 0.000000e+00 | -- | Inf | unknown
2677.46/2684.42 c 2684s| 1 | 0 | 6016k| - | 220M | 0 |6385 |7327 |6654 | 69 | 4 |1688 | 12 | 0.000000e+00 | -- | Inf | unknown
2684.74/2691.72 c 2692s| 1 | 0 | 6026k| - | 220M | 0 |6385 |7331 |6669 | 84 | 5 |1694 | 12 | 0.000000e+00 | -- | Inf | unknown
2689.63/2696.66 c 2697s| 1 | 0 | 6034k| - | 222M | 0 |6385 |7337 |6678 | 93 | 6 |1704 | 12 | 0.000000e+00 | -- | Inf | unknown
2699.30/2706.31 c 2706s| 1 | 0 | 6047k| - | 223M | 0 |6385 |7330 |6697 | 112 | 7 |1706 | 12 | 0.000000e+00 | -- | Inf | unknown
2706.09/2713.16 c 2713s| 1 | 0 | 6057k| - | 224M | 0 |6385 |7320 |6707 | 122 | 8 |1707 | 12 | 0.000000e+00 | -- | Inf | unknown
2712.97/2720.01 c 2720s| 1 | 0 | 6067k| - | 224M | 0 |6385 |7320 |6716 | 131 | 9 |1708 | 12 | 0.000000e+00 | -- | Inf | unknown
2720.75/2727.81 c 2728s| 1 | 0 | 6078k| - | 225M | 0 |6385 |7316 |6731 | 146 | 10 |1710 | 12 | 0.000000e+00 | -- | Inf | unknown
2727.33/2734.48 c 2734s| 1 | 0 | 6088k| - | 226M | 0 |6385 |7319 |6747 | 162 | 11 |1717 | 12 | 0.000000e+00 | -- | Inf | unknown
2766.63/2773.81 c 2774s| 1 | 2 | 6139k| - | 226M | 0 |6385 |7302 |6747 | 162 | 11 |1728 | 23 | 0.000000e+00 | -- | Inf | unknown
2910.24/2917.83 c 2918s| 100 | 33 | 6440k|4852.7 | 227M | 35 |6385 |7327 |6627 | 234 | 0 |1774 | 23 | 0.000000e+00 | -- | Inf | unknown
2978.27/2986.04 c 2986s| 200 | 32 | 6628k|4636.3 | 229M | 39 |6385 |7367 |6633 | 275 | 0 |1865 | 23 | 0.000000e+00 | -- | Inf | unknown
3037.31/3045.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3037.31/3045.25 c 3045s| 300 | 36 | 6790k|4431.3 | 231M | 39 |6385 |7411 |6629 | 285 | 1 |1969 | 23 | 0.000000e+00 | -- | Inf | unknown
3093.85/3101.97 c 3102s| 400 | 36 | 6951k|4251.7 | 232M | 39 |6385 |7492 |6630 | 307 | 0 |2065 | 23 | 0.000000e+00 | -- | Inf | unknown
3155.99/3164.21 c 3164s| 500 | 34 | 7129k|4103.6 | 233M | 40 |6385 |7499 |6636 | 347 | 0 |2073 | 23 | 0.000000e+00 | -- | Inf | unknown
3222.81/3231.22 c 3231s| 600 | 36 | 7313k|3975.6 | 233M | 40 |6385 |7501 | 0 | 390 | 0 |2077 | 23 | 0.000000e+00 | -- | Inf | unknown
3288.44/3297.02 c 3297s| 700 | 36 | 7496k|3860.8 | 234M | 40 |6385 |7471 |6640 | 439 | 1 |2108 | 23 | 0.000000e+00 | -- | Inf | unknown
3334.01/3342.74 c 3343s| 800 | 36 | 7624k|3730.2 | 235M | 40 |6385 |7483 |6637 | 459 | 0 |2185 | 23 | 0.000000e+00 | -- | Inf | unknown
3378.60/3387.46 c 3387s| 900 | 35 | 7751k|3611.3 | 236M | 40 |6385 |7551 |6640 | 476 | 0 |2276 | 23 | 0.000000e+00 | -- | Inf | unknown
3439.54/3448.53 c 3449s| 1000 | 36 | 7921k|3523.5 | 237M | 40 |6385 |7590 |6645 | 520 | 0 |2365 | 23 | 0.000000e+00 | -- | Inf | unknown
3491.10/3500.20 c 3500s| 1100 | 41 | 8065k|3431.5 | 239M | 40 |6385 |7638 |6649 | 549 | 1 |2448 | 23 | 0.000000e+00 | -- | Inf | unknown
3543.26/3552.51 c 3553s| 1200 | 42 | 8211k|3348.5 | 240M | 40 |6385 |7676 |6649 | 592 | 0 |2509 | 23 | 0.000000e+00 | -- | Inf | unknown
3587.65/3597.01 c
3587.65/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.65/3597.01 c Solving Time (sec) : 3597.00
3587.65/3597.01 c Solving Nodes : 1281 (total of 2453 nodes in 2 runs)
3587.65/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.65/3597.01 c Dual Bound : +0.00000000000000e+00
3587.65/3597.01 c Gap : infinite
3587.65/3597.01 s UNKNOWN
3587.65/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.65/3597.01 c Total Time : 3597.00
3587.65/3597.01 c solving : 3597.00
3587.65/3597.01 c presolving : 7.76 (included in solving)
3587.65/3597.01 c reading : 0.02 (included in solving)
3587.65/3597.01 c copying : 1.79 (105 #copies) (minimal 0.02, maximal 0.02, average 0.02)
3587.65/3597.01 c Original Problem :
3587.65/3597.01 c Problem name : HOME/instance-4507562-1751189384.opb
3587.65/3597.01 c Variables : 7140 (7140 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.65/3597.01 c Constraints : 7352 initial, 7352 maximal
3587.65/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.65/3597.01 c Presolved Problem :
3587.65/3597.01 c Problem name : t_HOME/instance-4507562-1751189384.opb
3587.65/3597.01 c Variables : 6385 (6385 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.65/3597.01 c Constraints : 7336 initial, 7737 maximal
3587.65/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.65/3597.01 c Nonzeros : 71327 constraint, 91746 clique table
3587.65/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.65/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c domcol : 0.12 0.00 12 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c gateextraction : 0.06 0.00 16 0 0 0 0 0 1 0 0 0
3587.65/3597.01 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c milp : 0.07 0.00 1 103 0 0 0 0 0 0 0 0
3587.65/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c sparsify : 0.16 0.00 3 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c trivial : 0.00 0.00 38 286 0 0 0 0 0 0 0 0
3587.65/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c dualfix : 0.00 0.00 38 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c probing : 6.49 0.00 11 218 1 0 0 0 0 0 0 0
3587.65/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3587.65/3597.01 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c knapsack : 0.02 0.00 15 0 0 0 0 0 0 8 28 118
3587.65/3597.01 c setppc : 0.06 0.00 62 0 0 0 0 0 100 0 0 0
3587.65/3597.01 c linear : 0.05 0.01 20 141 0 0 141 0 511 0 0 0
3587.65/3597.01 c orbitope : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c logicor : 0.63 0.01 60 62 0 0 0 0 268 0 0 1438
3587.65/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c root node : - - - 0 - - 0 - - - - -
3587.65/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.65/3597.01 c benderslp : 0 0 0 0 1442 0 0 222 0 0 0 0 0 0 0
3587.65/3597.01 c integral : 0 0 0 0 1442 0 0 222 0 0 0 0 0 0 2884
3587.65/3597.01 c knapsack : 40 40 11 20771 0 0 0 0 18845 0 2373 0 0 0 0
3587.65/3597.01 c setppc : 1590+ 1601 22 144473 0 0 0 217 781344 198 115526 0 0 0 0
3587.65/3597.01 c linear : 2+ 17 22 49661 0 0 0 3 1472 3 663 0 0 0 0
3587.65/3597.01 c orbitope : 1 1 0 52631 0 0 0 0 3305 2 1199 0 0 0 0
3587.65/3597.01 c logicor : 5703+ 6079 22 115619 0 0 0 0 1265835 314 173402 92 46 0 0
3587.65/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.65/3597.01 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c integral : 17.19 0.00 0.00 0.00 17.19 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c knapsack : 0.10 0.00 0.05 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c setppc : 1.41 0.00 0.00 1.18 0.00 0.00 0.00 0.00 0.21 0.01
3587.65/3597.01 c linear : 0.04 0.01 0.00 0.03 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c orbitope : 0.09 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c logicor : 3.13 0.01 0.02 2.60 0.00 0.00 0.00 0.00 0.48 0.02
3587.65/3597.01 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.65/3597.01 c dualfix : 2 0 0 0
3587.65/3597.01 c genvbounds : 0 0 0 0
3587.65/3597.01 c nlobbt : 0 0 0 0
3587.65/3597.01 c obbt : 0 0 0 0
3587.65/3597.01 c probing : 0 0 0 0
3587.65/3597.01 c pseudoobj : 0 0 0 0
3587.65/3597.01 c redcost : 0 0 0 0
3587.65/3597.01 c rootredcost : 0 0 0 0
3587.65/3597.01 c symmetry : 23362 0 0 30
3587.65/3597.01 c vbounds : 25601 0 0 0
3587.65/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.65/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.65/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c probing : 6.49 0.00 6.49 0.00 0.00 0.00
3587.65/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.65/3597.01 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
3587.65/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.65/3597.01 c symmetry : 0.08 0.00 0.03 0.05 0.00 0.00
3587.65/3597.01 c vbounds : 0.26 0.00 0.01 0.25 0.00 0.00
3587.65/3597.01 c Symmetry :
3587.65/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.65/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.65/3597.01 c lexicographic red: 30 reductions applied, 0 cutoffs
3587.65/3597.01 c shadow tree time : 0.01 s
3587.65/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.65/3597.01 c propagation : 0.07 503 353 - 1988 132.7 53 25.6 - - -
3587.65/3597.01 c infeasible LP : 5.00 1089 582 - 11749 1080.2 31 9.5 14 316.0 0
3587.65/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.65/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.65/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.65/3597.01 c applied globally : 0.13 - - 0 2543 289.2 - - 13 - -
3587.65/3597.01 c applied locally : - - - 0 19 1184.5 - - 1 - -
3587.65/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.65/3597.01 c cut pool : 0.09 - 458 42 - - 2022 16609 - - - - - (maximal pool size: 1219)
3587.65/3597.01 c aggregation : 0.13 0.00 98 22 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.65/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.65/3597.01 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.65/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c clique : 0.91 0.00 22 22 0 0 164 715 0 341 341 0 0
3587.65/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c gomory : 17.29 0.00 96 20 0 0 1658 14373 124 751 746 5 0
3587.65/3597.01 c > gomorymi : - - - - - - - 6830 62 454 450 4 -
3587.65/3597.01 c > strongcg : - - - - - - - 7543 62 297 296 1 -
3587.65/3597.01 c impliedbounds : 0.14 0.00 98 22 0 0 122 341 0 139 139 0 0
3587.65/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c multilinear : 0.00 0.00 105 22 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c rapidlearning : 41.98 0.00 100 2 0 26817 0 0 0 0 0 0 485
3587.65/3597.01 c rlt : 0.00 0.00 62 20 0 0 0 0 0 0 0 0 0
3587.65/3597.01 c zerohalf : 9.46 0.00 98 22 0 0 354 1180 152 642 512 130 0
3587.65/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.65/3597.01 c hybrid : 0.02 0.00 286 22 1943 0 14025 267 0 227
3587.65/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.65/3597.01 c problem variables: 0.00 - 0 0
3587.65/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.65/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c relpscost : 17.19 0.00 1442 0 0 0 0 0 0 2884
3587.65/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.65/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.65/3597.01 c LP solutions : 0.00 - - 0 0
3587.65/3597.01 c relax solutions : 0.00 - - 0 0
3587.65/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.65/3597.01 c strong branching : 0.00 - - 0 0
3587.65/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c adaptivediving : 69.21 0.00 4 0 0
3587.65/3597.01 c alns : 13.55 0.00 4 0 0
3587.65/3597.01 c bound : 0.00 0.00 0 0 0
3587.65/3597.01 c clique : 0.05 0.00 1 0 0
3587.65/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c completesol : 0.00 0.00 0 0 0
3587.65/3597.01 c conflictdiving : 117.80 0.00 12 0 0
3587.65/3597.01 c crossover : 0.00 0.00 0 0 0
3587.65/3597.01 c dins : 0.00 0.00 0 0 0
3587.65/3597.01 c distributiondivin: 55.00 0.00 11 0 0
3587.65/3597.01 c dps : 0.00 0.00 0 0 0
3587.65/3597.01 c dualval : 0.00 0.00 0 0 0
3587.65/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c feasjump : 0.05 0.00 2 0 0
3587.65/3597.01 c feaspump : 66.35 0.00 6 0 0
3587.65/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.65/3597.01 c fracdiving : 40.22 0.00 11 0 0
3587.65/3597.01 c gins : 0.00 0.00 0 0 0
3587.65/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.65/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c indicator : 0.00 0.00 0 0 0
3587.65/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.65/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.65/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.65/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.65/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.65/3597.01 c linesearchdiving : 69.11 0.00 11 0 0
3587.65/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.65/3597.01 c locks : 0.02 0.00 1 0 0
3587.65/3597.01 c lpface : 0.02 0.00 0 0 0
3587.65/3597.01 c mpec : 0.00 0.00 0 0 0
3587.65/3597.01 c multistart : 0.00 0.00 0 0 0
3587.65/3597.01 c mutation : 0.00 0.00 0 0 0
3587.65/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.65/3597.01 c objpscostdiving : 257.78 0.00 2 0 0
3587.65/3597.01 c octane : 0.00 0.00 0 0 0
3587.65/3597.01 c ofins : 0.00 0.00 0 0 0
3587.65/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.65/3597.01 c padm : 0.00 0.00 0 0 0
3587.65/3597.01 c proximity : 0.00 0.00 0 0 0
3587.65/3597.01 c pscostdiving : 98.48 0.00 12 0 0
3587.65/3597.01 c randrounding : 0.27 0.00 232 0 0
3587.65/3597.01 c rens : 0.22 0.00 2 0 0
3587.65/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.65/3597.01 c repair : 0.00 0.00 0 0 0
3587.65/3597.01 c rins : 0.00 0.00 0 0 0
3587.65/3597.01 c rootsoldiving : 59.42 0.00 3 0 0
3587.65/3597.01 c rounding : 0.12 0.00 536 0 0
3587.65/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.65/3597.01 c shiftandpropagate: 0.03 0.00 2 0 0
3587.65/3597.01 c shifting : 0.40 0.00 250 0 0
3587.65/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.65/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.65/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.65/3597.01 c trivial : 0.01 0.00 4 0 0
3587.65/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.65/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.65/3597.01 c trysol : 0.00 0.00 0 0 0
3587.65/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.65/3597.01 c undercover : 0.00 0.00 0 0 0
3587.65/3597.01 c vbounds : 0.05 0.00 2 0 0
3587.65/3597.01 c veclendiving : 132.40 0.00 11 0 0
3587.65/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.65/3597.01 c zirounding : 0.09 0.00 1000 0 0
3587.65/3597.01 c other solutions : - - - 0 -
3587.65/3597.01 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.65/3597.01 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.65/3597.01 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.65/3597.01 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.65/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.65/3597.01 c primal LP : 0.57 118 0 0.00 0.00 0.57 118
3587.65/3597.01 c dual LP : 2510.87 2766 6204714 2265.32 2471.14 0.05 27
3587.65/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.65/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.65/3597.01 c resolve instable : 3.68 12 10040 836.67 2726.06
3587.65/3597.01 c diving/probing LP: 967.16 2040 2130922 1044.57 2203.27
3587.65/3597.01 c strong branching : 10.96 23 19434 844.96 1773.83 - - 33
3587.65/3597.01 c (at root node) : - 23 19434 844.96 -
3587.65/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.65/3597.01 c B&B Tree :
3587.65/3597.01 c number of runs : 2
3587.65/3597.01 c nodes : 1281 (663 internal, 618 leaves)
3587.65/3597.01 c feasible leaves : 0
3587.65/3597.01 c infeas. leaves : 617
3587.65/3597.01 c objective leaves : 0
3587.65/3597.01 c nodes (total) : 2453 (1442 internal, 1011 leaves)
3587.65/3597.01 c nodes left : 42
3587.65/3597.01 c max depth : 40
3587.65/3597.01 c max depth (total): 40
3587.65/3597.01 c backtracks : 172 (13.4%)
3587.65/3597.01 c early backtracks : 0 (0.0%)
3587.65/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.65/3597.01 c delayed cutoffs : 5
3587.65/3597.01 c repropagations : 961 (5002 domain reductions, 5 cutoffs)
3587.65/3597.01 c avg switch length: 3.67
3587.65/3597.01 c switching time : 1.66
3587.65/3597.01 c Root Node :
3587.65/3597.01 c First LP value : +0.00000000000000e+00
3587.65/3597.01 c First LP Iters : 11949 (2500.78 Iter/sec)
3587.65/3597.01 c First LP Time : 4.78
3587.65/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.65/3597.01 c Final Root Iters : 272435
3587.65/3597.01 c Root LP Estimate : +3.67490928476391e-02
3587.65/3597.01 c Solution :
3587.65/3597.01 c Solutions found : 0 (0 improvements)
3587.65/3597.01 c Primal Bound : -
3587.65/3597.01 c Dual Bound : +0.00000000000000e+00
3587.65/3597.01 c Gap : infinite
3587.65/3597.01 c Integrals : Total Avg%
3587.65/3597.01 c primal-dual : 359699.86 100.00
3587.65/3597.01 c primal-ref : - - (not evaluated)
3587.65/3597.01 c dual-ref : - - (not evaluated)
3587.65/3597.07 c Time complete: 3587.72.
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62486 MiB free)
memory of node 1: 64465 MiB (63852 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507562-1751189384/watcher-4507562-1751189384 -o /tmp/evaluation-result-4507562-1751189384/solver-4507562-1751189384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4507562-1751189384.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24495, runsolver pid=24487
[startup+0.100061 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129274924/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=83752 memory=56712 CPUtime=0.08 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 11916 0 0 0 6 2 0 0 20 0 1 0 34617065 85762048 14178 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 20938 14178 3648 3530 0 12389 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83752 KiB
Current children cumulated memory: 56712 KiB
[startup+0.205392 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129264864/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=88968 memory=61700 CPUtime=0.19 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 13842 0 0 0 17 2 0 0 20 0 1 0 34617065 91103232 15425 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 22242 15425 3648 3530 0 13693 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88968 KiB
Current children cumulated memory: 61700 KiB
[startup+0.305377 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129244016/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=104724 memory=76636 CPUtime=0.29 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 17155 0 0 0 26 3 0 0 20 0 1 0 34617065 107237376 19159 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 26181 19159 3680 3530 0 17632 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104724 KiB
Current children cumulated memory: 76636 KiB
[startup+0.700184 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 24500
/proc/meminfo: memFree=129269008/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=111984 memory=84060 CPUtime=0.68 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 18976 0 0 0 64 4 0 0 20 0 1 0 34617065 114671616 21015 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 27996 21015 3712 3530 0 19447 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111984 KiB
Current children cumulated memory: 84060 KiB
[startup+1.50017 s]
/proc/loadavg: 4.44 4.18 4.12 4/259 24508
/proc/meminfo: memFree=129754196/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=111984 memory=84060 CPUtime=1.48 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 18976 0 0 0 144 4 0 0 20 0 1 0 34617065 114671616 21015 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 27996 21015 3712 3530 0 19447 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 111984 KiB
Current children cumulated memory: 84060 KiB
[startup+3.10533 s]
/proc/loadavg: 4.44 4.18 4.12 5/263 24545
/proc/meminfo: memFree=129747544/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=113008 memory=85596 CPUtime=3.08 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 19359 0 0 0 304 4 0 0 20 0 1 0 34617065 115720192 21399 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 28252 21399 3712 3530 0 19703 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113008 KiB
Current children cumulated memory: 85596 KiB
[startup+6.30016 s]
/proc/loadavg: 4.40 4.18 4.12 5/263 24545
/proc/meminfo: memFree=129703932/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=113008 memory=85596 CPUtime=6.26 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 19367 0 0 0 622 4 0 0 20 0 1 0 34617065 115720192 21399 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 28252 21399 3712 3530 0 19703 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113008 KiB
Current children cumulated memory: 85596 KiB
[startup+12.7001 s]
/proc/loadavg: 4.37 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129648260/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=154284 memory=116620 CPUtime=12.64 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 28458 0 0 0 1259 5 0 0 20 0 1 0 34617065 157986816 29155 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 38571 29155 3936 3530 0 30022 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 154284 KiB
Current children cumulated memory: 116620 KiB
[startup+25.5001 s]
/proc/loadavg: 4.29 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129564416/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=154284 memory=116876 CPUtime=25.41 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 28523 0 0 0 2536 5 0 0 20 0 1 0 34617065 157986816 29219 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 38571 29219 3936 3530 0 30022 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 154284 KiB
Current children cumulated memory: 116876 KiB
[startup+51.1051 s]
/proc/loadavg: 4.25 4.17 4.12 5/263 24545
/proc/meminfo: memFree=129339872/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=154284 memory=117004 CPUtime=50.95 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 28551 0 0 0 5090 5 0 0 20 0 1 0 34617065 157986816 29251 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 38571 29251 3936 3530 0 30022 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 154284 KiB
Current children cumulated memory: 117004 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 24547
/proc/meminfo: memFree=129242868/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263516 memory=223180 CPUtime=102.01 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 54115 0 0 0 10191 10 0 0 20 0 1 0 34617065 269840384 55795 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65879 55795 3936 3530 0 57330 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 263516 KiB
Current children cumulated memory: 223180 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/264 24554
/proc/meminfo: memFree=129211732/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263516 memory=225356 CPUtime=161.86 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 54431 0 0 0 16176 10 0 0 20 0 1 0 34617065 269840384 56339 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65879 56339 3936 3530 0 57330 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 263516 KiB
Current children cumulated memory: 225356 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 24556
/proc/meminfo: memFree=129205932/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263516 memory=229452 CPUtime=221.69 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 54848 0 0 0 22159 10 0 0 20 0 1 0 34617065 269840384 57363 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65879 57363 3936 3530 0 57330 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 263516 KiB
Current children cumulated memory: 229452 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 24558
/proc/meminfo: memFree=129207692/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263516 memory=235468 CPUtime=281.53 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 54852 0 0 0 28143 10 0 0 20 0 1 0 34617065 269840384 58867 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65879 58867 3936 3530 0 57330 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 263516 KiB
Current children cumulated memory: 235468 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/264 24561
/proc/meminfo: memFree=129186300/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263516 memory=235468 CPUtime=341.38 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 54934 0 0 0 34128 10 0 0 20 0 1 0 34617065 269840384 58867 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65879 58867 3936 3530 0 57330 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 263516 KiB
Current children cumulated memory: 235468 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 24563
/proc/meminfo: memFree=129182124/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263564 memory=235644 CPUtime=401.23 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 55720 0 0 0 40113 10 0 0 20 0 1 0 34617065 269889536 58911 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65891 58911 3936 3530 0 57342 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 263564 KiB
Current children cumulated memory: 235644 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 24565
/proc/meminfo: memFree=129124532/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=263564 memory=235644 CPUtime=461.08 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 56758 0 0 0 46098 10 0 0 20 0 1 0 34617065 269889536 58911 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 65891 58911 3936 3530 0 57342 0
################
# More data... #
################
/proc/loadavg: 4.09 4.09 4.09 5/265 24758
/proc/meminfo: memFree=129035932/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3154.09 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132411 0 0 0 315387 22 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 24760
/proc/meminfo: memFree=129039980/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3213.93 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132425 0 0 0 321371 22 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3213.93 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 24762
/proc/meminfo: memFree=129042856/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3273.78 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 327356 22 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24764
/proc/meminfo: memFree=129046364/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3333.62 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 333340 22 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/262 24766
/proc/meminfo: memFree=129047756/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3393.47 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 339324 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/262 24768
/proc/meminfo: memFree=129049416/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3453.3 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 345307 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/262 24770
/proc/meminfo: memFree=129052456/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3513.15 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 351292 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/262 24772
/proc/meminfo: memFree=129048312/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3572.99 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 357276 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3597.07 s]
# the end of solver process 24495 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.49 s, system=0.231298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.10 5/262 24772
/proc/meminfo: memFree=129048320/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3574.69 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 357446 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3581.06 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358083 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3581.06 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3593.6 s]
/proc/loadavg: 4.10 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3584.26 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358403 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3584.26 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048328/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3585.85 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358562 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3585.85 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048336/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3586.65 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358642 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3586.65 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048336/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3587.45 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358722 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
[startup+3597 s]*
/proc/loadavg: 4.09 4.13 4.10 5/262 24772
/proc/meminfo: memFree=129048352/131250000 swapFree=33010684/33010684
[pid=24495] ppid=24487 vsize=322064 memory=294704 CPUtime=3587.65 cores=5,7
/proc/24495/stat : 24495 (pbscip) R 24487 24495 23738 0 -1 4194304 132426 0 0 0 358742 23 0 0 20 0 1 0 34617065 329793536 73676 18446744073709551615 4235264 18693293 140730250767280 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 52264960 140730250774921 140730250775020 140730250775020 140730250780622 0
/proc/24495/statm: 80516 73676 4096 3530 0 71967 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 322064 KiB
Current children cumulated memory: 294704 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3587.72
CPU user time (s): 3587.49
CPU system time (s): 0.231298
CPU usage (%): 99.7401
Max. virtual memory (cumulated for all children) (KiB): 334808
Max. memory (cumulated for all children) (KiB): 307200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.49
system time used= 0.231298
maximum resident set size= 307200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132435
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= 132
involuntary context switches= 2217
# summary of solver processes directly reported to runsolver:
# pid: 24495
# total CPU time (s): 3587.72
# total CPU user time (s): 3587.49
# total CPU system time (s): 0.231298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07321 second user time and 14.1829 second system time
The end
Begin job on nodeC026 at 2025-06-29 11:29:44 IDJOB=4507562 IDBENCH=158365 IDSOLVER=3365 FILE ID=nodeC026/4507562-1751189384 RUNJOBID= nodeC026-1751182186-23751 SLURM_JOB_ID= 9587556 Free space on /tmp= 433040 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 -w /tmp/evaluation-result-4507562-1751189384/watcher-4507562-1751189384 -o /tmp/evaluation-result-4507562-1751189384/solver-4507562-1751189384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23751 --watchdog 3760 pbscip -f HOME/instance-4507562-1751189384.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645 RANDOM SEED=1201654598 nodeC026 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.799 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.59 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 : 3601.209 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.59 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 : 3613.319 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.791 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.750 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.59 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.790 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.59 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 : 3599.795 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.59 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 : 3600.588 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.59 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129383192 kB MemAvailable: 129192584 kB Buffers: 3280 kB Cached: 619196 kB SwapCached: 0 kB Active: 838312 kB Inactive: 399008 kB Active(anon): 632924 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 399008 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 56780 kB Writeback: 0 kB AnonPages: 617088 kB Mapped: 116092 kB Shmem: 18080 kB KReclaimable: 88472 kB Slab: 174136 kB SReclaimable: 88472 kB SUnreclaim: 85664 kB KernelStack: 4080 kB PageTables: 4168 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 933180 kB VmallocTotal: 34359738367 kB VmallocUsed: 150456 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 530432 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: 187092 kB DirectMap2M: 9021440 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432984 MiB End job on nodeC026 at 2025-06-29 12:29:41