| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3587.5 | 3597.07 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb |
| MD5SUM | 0bf652578c2f1d207084d270794d0d34 |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 0 |
| Best CPU time to get the best result obtained on this benchmark | 16.9419 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 6256 |
| Total number of constraints | 6442 |
| Number of constraints which are clauses | 6350 |
| Number of constraints which are cardinality constraints (but not clauses) | 92 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 92 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 93 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4507310-1751185786.opb>
0.00/0.03 c original problem has 6256 variables (6256 bin, 0 int, 0 impl, 0 cont) and 6442 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.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, 1247 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, 1234 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, 1239 clqs
0.00/0.06 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1265 clqs
0.00/0.06 c (round 5, fast) 581 del vars, 303 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1280 clqs
0.00/0.08 c (0.1s) running MILP presolver
0.09/0.13 c (0.1s) MILP presolver (5 rounds): 0 aggregations, 94 fixings, 0 bound changes
0.09/0.14 c (round 6, medium) 677 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1281 clqs
0.09/0.14 c (round 7, fast) 677 del vars, 399 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1285 clqs
0.09/0.15 c (round 8, exhaustive) 677 del vars, 489 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1285 clqs
0.09/0.17 c (round 9, exhaustive) 677 del vars, 489 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5953 upgd conss, 0 impls, 1285 clqs
0.09/0.20 c (round 10, exhaustive) 736 del vars, 489 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5953 upgd conss, 0 impls, 1273 clqs
0.19/0.21 c (round 11, fast) 795 del vars, 548 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5953 upgd conss, 0 impls, 1273 clqs
0.78/0.80 c (round 12, exhaustive) 820 del vars, 549 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 58 chg coeffs, 5953 upgd conss, 0 impls, 36905 clqs
0.78/0.81 c (round 13, fast) 820 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 117 chg coeffs, 5953 upgd conss, 0 impls, 36919 clqs
1.08/1.18 c (round 14, exhaustive) 846 del vars, 574 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 118 chg coeffs, 5953 upgd conss, 0 impls, 37341 clqs
1.08/1.18 c (round 15, fast) 846 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 174 chg coeffs, 5953 upgd conss, 0 impls, 37350 clqs
1.18/1.23 c (round 16, exhaustive) 873 del vars, 600 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 174 chg coeffs, 5953 upgd conss, 0 impls, 37354 clqs
1.18/1.23 c (round 17, fast) 873 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 230 chg coeffs, 5953 upgd conss, 0 impls, 37365 clqs
1.48/1.56 c (round 18, exhaustive) 901 del vars, 627 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 233 chg coeffs, 5953 upgd conss, 0 impls, 37350 clqs
1.48/1.56 c (round 19, fast) 901 del vars, 654 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 286 chg coeffs, 5953 upgd conss, 0 impls, 37356 clqs
1.58/1.62 c (round 20, exhaustive) 926 del vars, 654 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 286 chg coeffs, 5953 upgd conss, 0 impls, 37319 clqs
1.58/1.62 c (round 21, fast) 926 del vars, 679 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 329 chg coeffs, 5953 upgd conss, 0 impls, 37322 clqs
1.58/1.67 c (round 22, exhaustive) 951 del vars, 679 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 329 chg coeffs, 5953 upgd conss, 0 impls, 37226 clqs
1.58/1.67 c (round 23, fast) 951 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 353 chg coeffs, 5953 upgd conss, 0 impls, 37226 clqs
1.87/1.95 c (1.9s) probing: 1000/5741 (17.4%) - 165 fixings, 1 aggregations, 590242 implications, 0 bound changes
3.08/3.18 c (3.2s) probing: 2000/5741 (34.8%) - 169 fixings, 1 aggregations, 1141683 implications, 0 bound changes
3.97/4.03 c (round 24, exhaustive) 976 del vars, 704 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 353 chg coeffs, 5953 upgd conss, 0 impls, 37365 clqs
3.97/4.03 c (round 25, fast) 976 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 5953 upgd conss, 0 impls, 37372 clqs
3.97/4.08 c (round 26, exhaustive) 1001 del vars, 729 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 397 chg coeffs, 5953 upgd conss, 0 impls, 37388 clqs
3.97/4.08 c (round 27, fast) 1001 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 433 chg coeffs, 5953 upgd conss, 0 impls, 37390 clqs
4.27/4.31 c (4.3s) probing: 3000/5741 (52.3%) - 216 fixings, 1 aggregations, 1543257 implications, 0 bound changes
5.26/5.32 c (5.3s) probing: 4000/5741 (69.7%) - 219 fixings, 1 aggregations, 1963664 implications, 0 bound changes
6.26/6.31 c (6.3s) probing: 5000/5741 (87.1%) - 221 fixings, 1 aggregations, 2350228 implications, 0 bound changes
6.86/6.91 c (6.9s) probing cycle finished: starting next cycle
8.16/8.26 c (8.3s) probing: 1000/5519 (18.1%) - 225 fixings, 3 aggregations, 3167411 implications, 0 bound changes
8.75/8.86 c (8.9s) probing: 1500/5519 (27.2%) - 225 fixings, 3 aggregations, 3433136 implications, 0 bound changes
8.75/8.86 c (8.9s) probing aborted: 1000/1000 successive useless probings
8.75/8.87 c (round 28, exhaustive) 1024 del vars, 754 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 433 chg coeffs, 5953 upgd conss, 0 impls, 35967 clqs
8.75/8.87 c (round 29, fast) 1024 del vars, 777 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 470 chg coeffs, 5953 upgd conss, 0 impls, 35971 clqs
8.96/9.03 c (9.0s) probing: 1600/5519 (29.0%) - 225 fixings, 3 aggregations, 3483704 implications, 0 bound changes
8.96/9.03 c (9.0s) probing aborted: 1000/1000 successive useless probings
8.96/9.04 c (9.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
8.96/9.07 c (9.1s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
8.96/9.07 c dynamic symmetry handling statistics:
8.96/9.07 c orbitopal reduction: no components
8.96/9.07 c orbital reduction: no components
8.96/9.07 c lexicographic reduction: 4 permutations with support sizes 172, 340, 172, 156
8.96/9.07 c handled 5 out of 5 symmetry components
8.96/9.07 c (round 30, exhaustive) 1030 del vars, 777 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 470 chg coeffs, 5953 upgd conss, 0 impls, 37477 clqs
8.96/9.07 c (round 31, fast) 1030 del vars, 783 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 482 chg coeffs, 5953 upgd conss, 0 impls, 37477 clqs
9.15/9.23 c (9.2s) probing: 1700/5519 (30.8%) - 225 fixings, 3 aggregations, 3536634 implications, 0 bound changes
9.15/9.23 c (9.2s) probing aborted: 1000/1000 successive useless probings
9.15/9.24 c presolving (32 rounds: 32 fast, 15 medium, 14 exhaustive):
9.15/9.24 c 1030 deleted vars, 783 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 482 changed coefficients
9.15/9.24 c 0 implications, 37490 cliques
9.15/9.24 c presolved problem has 5507 variables (5507 bin, 0 int, 0 impl, 0 cont) and 5660 constraints
9.15/9.24 c 1200 constraints of type <setppc>
9.15/9.24 c 1 constraints of type <orbitope>
9.15/9.24 c 4459 constraints of type <logicor>
9.15/9.24 c transformed objective value is always integral (scale: 1)
9.15/9.24 c Presolving Time: 9.19
9.15/9.24 c - non default parameters ----------------------------------------------------------------------
9.15/9.24 c # SCIP version 10.0.0
9.15/9.24 c
9.15/9.24 c # maximal time in seconds to run
9.15/9.24 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.15/9.24 c limits/time = 3596.998007
9.15/9.24 c
9.15/9.24 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.15/9.24 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.15/9.24 c limits/memory = 27900
9.15/9.24 c
9.15/9.24 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
9.15/9.24 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
9.15/9.24 c limits/solutions = 1
9.15/9.24 c
9.15/9.24 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.
9.15/9.24 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
9.15/9.24 c misc/usesymmetry = 3
9.15/9.24 c
9.15/9.24 c # belongs reading time to solving time?
9.15/9.24 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.15/9.24 c timing/reading = TRUE
9.15/9.24 c
9.15/9.24 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
9.15/9.24 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.15/9.24 c propagating/symmetry/detectdoublelex = FALSE
9.15/9.24 c
9.15/9.24 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
9.15/9.24 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.15/9.24 c propagating/symmetry/detectsubgroups = FALSE
9.15/9.24 c
9.15/9.24 c # Type of symmetries that shall be computed?
9.15/9.24 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
9.15/9.24 c propagating/symmetry/symtype = 1
9.15/9.24 c
9.15/9.24 c # Should components consisting of a single full reflection be handled?
9.15/9.24 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
9.15/9.24 c propagating/symmetry/usesimplesgncomp = FALSE
9.15/9.24 c
9.15/9.24 c -----------------------------------------------------------------------------------------------
9.15/9.24 c start solving
9.15/9.24 c
12.95/13.01 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.95/13.01 c 13.0s| 1 | 0 | 11131 | - | 88M | 0 |5507 |5775 |5659 | 0 | 0 | 133 | 0 | 0.000000e+00 | -- | Inf | unknown
48.44/48.61 c 48.6s| 1 | 0 | 68911 | - | 95M | 0 |5507 |5983 |5671 | 12 | 1 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
51.84/52.01 c 52.0s| 1 | 0 | 75975 | - | 102M | 0 |5507 |5984 |5680 | 21 | 2 | 142 | 0 | 0.000000e+00 | -- | Inf | unknown
56.02/56.21 c 56.2s| 1 | 0 | 84650 | - | 103M | 0 |5507 |5985 |5691 | 32 | 3 | 143 | 0 | 0.000000e+00 | -- | Inf | unknown
59.52/59.70 c 59.7s| 1 | 0 | 91616 | - | 105M | 0 |5507 |5985 |5705 | 46 | 4 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
62.71/62.94 c 62.9s| 1 | 0 | 97525 | - | 108M | 0 |5507 |5994 |5716 | 57 | 5 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
67.49/67.71 c 67.7s| 1 | 0 |106833 | - | 108M | 0 |5507 |6003 |5729 | 70 | 6 | 167 | 0 | 0.000000e+00 | -- | Inf | unknown
71.89/72.16 c 72.1s| 1 | 0 |115208 | - | 110M | 0 |5507 |6007 |5743 | 84 | 7 | 171 | 0 | 0.000000e+00 | -- | Inf | unknown
75.17/75.46 c 75.4s| 1 | 0 |120798 | - | 111M | 0 |5507 |6013 |5751 | 92 | 8 | 177 | 0 | 0.000000e+00 | -- | Inf | unknown
80.37/80.65 c 80.6s| 1 | 0 |130680 | - | 113M | 0 |5507 |6012 |5763 | 104 | 9 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
84.16/84.45 c 84.4s| 1 | 0 |137341 | - | 114M | 0 |5507 |6016 |5775 | 116 | 10 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
88.45/88.70 c 88.7s| 1 | 0 |145871 | - | 114M | 0 |5507 |6014 |5790 | 131 | 11 | 185 | 0 | 0.000000e+00 | -- | Inf | unknown
112.19/112.52 c 113s| 1 | 2 |172317 | - | 115M | 0 |5507 |5992 |5790 | 131 | 11 | 194 | 11 | 0.000000e+00 | -- | Inf | unknown
266.58/267.35 c 267s| 100 | 17 |522423 |3807.4 | 122M | 33 |5507 |6039 |5733 | 157 | 1 | 273 | 11 | 0.000000e+00 | -- | Inf | unknown
396.73/397.89 c 398s| 200 | 23 |847352 |3527.0 | 131M | 40 |5507 |6090 |5728 | 176 | 1 | 410 | 11 | 0.000000e+00 | -- | Inf | unknown
498.05/499.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
498.05/499.45 c 499s| 300 | 30 | 1120k|3259.6 | 135M | 40 |5507 |6111 |5727 | 203 | 1 | 481 | 11 | 0.000000e+00 | -- | Inf | 2.45%
585.18/586.88 c 587s| 400 | 30 | 1359k|3042.3 | 139M | 40 |5507 |6160 |5731 | 210 | 1 | 536 | 11 | 0.000000e+00 | -- | Inf | 2.48%
693.74/695.70 c 696s| 500 | 28 | 1636k|2988.5 | 144M | 40 |5507 |6191 |5734 | 237 | 0 | 616 | 11 | 0.000000e+00 | -- | Inf | 2.67%
854.04/856.50 c 856s| 600 | 29 | 2028k|3144.3 | 147M | 40 |5507 |6269 |5734 | 244 | 1 | 725 | 11 | 0.000000e+00 | -- | Inf | 2.77%
989.02/991.97 c 992s| 700 | 29 | 2368k|3180.4 | 152M | 40 |5507 |6313 |5737 | 255 | 0 | 800 | 11 | 0.000000e+00 | -- | Inf | 2.77%
1123.10/1126.49 c 1126s| 800 | 27 | 2685k|3178.7 | 158M | 40 |5507 |6309 |5737 | 329 | 1 | 865 | 11 | 0.000000e+00 | -- | Inf | 3.12%
1191.11/1194.67 c 1195s| 900 | 31 | 2877k|3039.0 | 161M | 40 |5507 |6278 |5738 | 406 | 0 | 904 | 11 | 0.000000e+00 | -- | Inf | 3.34%
1234.10/1237.72 c 1238s| 1000 | 35 | 3002k|2859.4 | 162M | 40 |5507 |6329 |5738 | 406 | 0 | 970 | 11 | 0.000000e+00 | -- | Inf | 3.36%
1260.93/1264.67 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1260.93/1264.67 c (run 1, node 1049) performing user restart
1260.93/1264.67 c
1260.93/1264.68 c (restart) converted 71 cuts from the global cut pool into linear constraints
1260.93/1264.68 c
1260.93/1264.69 c presolving:
1261.03/1264.71 c (round 1, fast) 24 del vars, 10 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 85 chg coeffs, 0 upgd conss, 0 impls, 27391 clqs
1261.03/1264.72 c (round 2, medium) 48 del vars, 10 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 85 chg coeffs, 0 upgd conss, 0 impls, 26395 clqs
1261.03/1264.72 c (round 3, fast) 68 del vars, 34 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 636 chg coeffs, 0 upgd conss, 0 impls, 26419 clqs
1261.03/1264.74 c (round 4, exhaustive) 68 del vars, 65 del conss, 0 add conss, 0 chg bounds, 34 chg sides, 641 chg coeffs, 0 upgd conss, 0 impls, 26419 clqs
1261.03/1264.75 c (round 5, exhaustive) 68 del vars, 65 del conss, 0 add conss, 0 chg bounds, 34 chg sides, 642 chg coeffs, 239 upgd conss, 0 impls, 26419 clqs
1261.03/1264.76 c (round 6, medium) 68 del vars, 66 del conss, 7 add conss, 0 chg bounds, 61 chg sides, 693 chg coeffs, 239 upgd conss, 0 impls, 26432 clqs
1261.03/1264.78 c (round 7, exhaustive) 68 del vars, 97 del conss, 7 add conss, 0 chg bounds, 61 chg sides, 725 chg coeffs, 239 upgd conss, 0 impls, 26432 clqs
1261.34/1265.10 c (round 8, exhaustive) 68 del vars, 147 del conss, 7 add conss, 0 chg bounds, 61 chg sides, 4266 chg coeffs, 239 upgd conss, 0 impls, 26432 clqs
1261.63/1265.36 c presolving (9 rounds: 9 fast, 7 medium, 5 exhaustive):
1261.63/1265.36 c 68 deleted vars, 147 deleted constraints, 7 added constraints, 0 tightened bounds, 0 added holes, 61 changed sides, 4352 changed coefficients
1261.63/1265.36 c 0 implications, 26432 cliques
1261.63/1265.36 c presolved problem has 5459 variables (5459 bin, 0 int, 0 impl, 0 cont) and 6278 constraints
1261.63/1265.36 c 42 constraints of type <knapsack>
1261.63/1265.36 c 1258 constraints of type <setppc>
1261.63/1265.36 c 3 constraints of type <linear>
1261.63/1265.36 c 1 constraints of type <orbitope>
1261.63/1265.36 c 4974 constraints of type <logicor>
1261.63/1265.36 c transformed objective value is always integral (scale: 1)
1261.63/1265.36 c Presolving Time: 9.87
1261.63/1265.36 c
1266.12/1269.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1266.12/1269.81 c 1270s| 1 | 0 | 3085k| - | 169M | 0 |5459 |6250 |5657 | 0 | 0 |1011 | 11 | 0.000000e+00 | -- | Inf | unknown
1269.50/1273.28 c 1273s| 1 | 0 | 3089k| - | 171M | 0 |5459 |6248 |5667 | 10 | 1 |1013 | 11 | 0.000000e+00 | -- | Inf | unknown
1272.20/1275.92 c 1276s| 1 | 0 | 3095k| - | 171M | 0 |5459 |6241 |5675 | 18 | 2 |1018 | 11 | 0.000000e+00 | -- | Inf | unknown
1278.58/1282.30 c 1282s| 1 | 0 | 3107k| - | 172M | 0 |5459 |6229 |5691 | 34 | 3 |1022 | 11 | 0.000000e+00 | -- | Inf | unknown
1281.38/1285.16 c 1285s| 1 | 0 | 3111k| - | 172M | 0 |5459 |6209 |5702 | 45 | 4 |1032 | 11 | 0.000000e+00 | -- | Inf | unknown
1283.87/1287.64 c 1288s| 1 | 0 | 3116k| - | 172M | 0 |5459 |6189 |5714 | 57 | 5 |1035 | 11 | 0.000000e+00 | -- | Inf | unknown
1287.86/1291.63 c 1292s| 1 | 0 | 3123k| - | 174M | 0 |5459 |6168 |5733 | 76 | 6 |1036 | 11 | 0.000000e+00 | -- | Inf | unknown
1293.25/1297.00 c 1297s| 1 | 0 | 3134k| - | 174M | 0 |5459 |6170 |5753 | 96 | 7 |1040 | 11 | 0.000000e+00 | -- | Inf | unknown
1298.53/1302.31 c 1302s| 1 | 0 | 3143k| - | 174M | 0 |5459 |6159 |5773 | 116 | 8 |1043 | 11 | 0.000000e+00 | -- | Inf | unknown
1302.52/1306.38 c 1306s| 1 | 0 | 3151k| - | 175M | 0 |5459 |6149 |5790 | 133 | 9 |1046 | 11 | 0.000000e+00 | -- | Inf | unknown
1308.21/1312.10 c 1312s| 1 | 0 | 3161k| - | 176M | 0 |5459 |6149 |5804 | 147 | 10 |1048 | 11 | 0.000000e+00 | -- | Inf | unknown
1312.70/1316.57 c 1317s| 1 | 0 | 3169k| - | 177M | 0 |5459 |6134 |5813 | 156 | 11 |1049 | 11 | 0.000000e+00 | -- | Inf | unknown
1340.54/1344.47 c 1344s| 1 | 2 | 3213k| - | 177M | 0 |5459 |6103 |5813 | 156 | 11 |1056 | 22 | 0.000000e+00 | -- | Inf | unknown
1479.07/1483.32 c 1483s| 100 | 19 | 3534k|2867.9 | 179M | 20 |5459 |6140 |5682 | 223 | 1 |1118 | 22 | 0.000000e+00 | -- | Inf | unknown
1607.34/1611.96 c 1612s| 200 | 27 | 3837k|2880.8 | 179M | 35 |5459 |6197 |5685 | 254 | 1 |1230 | 22 | 0.000000e+00 | -- | Inf | unknown
1800.37/1805.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1800.37/1805.44 c 1805s| 300 | 31 | 4165k|2910.2 | 180M | 40 |5459 |6240 |5684 | 255 | 1 |1295 | 22 | 0.000000e+00 | -- | Inf | unknown
1876.28/1881.52 c 1882s| 400 | 31 | 4384k|2861.0 | 180M | 40 |5459 |6229 | 0 | 260 | 0 |1316 | 22 | 0.000000e+00 | -- | Inf | unknown
1973.33/1978.82 c 1979s| 500 | 51 | 4666k|2857.9 | 182M | 40 |5459 |6249 |5684 | 293 | 1 |1376 | 22 | 0.000000e+00 | -- | Inf | unknown
2028.10/2033.73 c 2034s| 600 | 55 | 4830k|2784.0 | 183M | 40 |5459 |6297 |5684 | 293 | 1 |1426 | 22 | 0.000000e+00 | -- | Inf | unknown
2087.04/2092.88 c 2093s| 700 | 58 | 5009k|2727.2 | 184M | 40 |5459 |6359 |5684 | 294 | 1 |1495 | 22 | 0.000000e+00 | -- | Inf | unknown
2139.41/2145.36 c 2145s| 800 | 54 | 5169k|2666.3 | 185M | 40 |5459 |6402 |5684 | 295 | 1 |1539 | 22 | 0.000000e+00 | -- | Inf | unknown
2188.78/2194.85 c 2195s| 900 | 58 | 5320k|2607.2 | 186M | 40 |5459 |6439 |5685 | 298 | 0 |1578 | 22 | 0.000000e+00 | -- | Inf | unknown
2268.98/2275.21 c 2275s| 1000 | 60 | 5564k|2598.7 | 188M | 40 |5459 |6527 |5684 | 300 | 0 |1684 | 22 | 0.000000e+00 | -- | Inf | unknown
2337.59/2344.05 c 2344s| 1100 | 68 | 5767k|2572.3 | 189M | 40 |5459 |6540 |5684 | 310 | 1 |1730 | 22 | 0.000000e+00 | -- | Inf | unknown
2411.41/2418.06 c 2418s| 1200 | 74 | 5984k|2554.7 | 192M | 40 |5459 |6521 |5680 | 325 | 1 |1752 | 22 | 0.000000e+00 | -- | Inf | unknown
2472.45/2479.25 c 2479s| 1300 | 72 | 6171k|2525.4 | 194M | 40 |5459 |6520 |5682 | 348 | 1 |1779 | 22 | 0.000000e+00 | -- | Inf | unknown
2535.59/2542.58 c 2543s| 1400 | 70 | 6358k|2498.5 | 194M | 40 |5459 |6511 |5684 | 372 | 1 |1791 | 22 | 0.000000e+00 | -- | Inf | unknown
2601.21/2608.39 c 2608s| 1500 | 72 | 6547k|2474.6 | 196M | 40 |5459 |6496 |5687 | 408 | 0 |1809 | 22 | 0.000000e+00 | -- | Inf | unknown
2670.33/2677.60 c 2678s| 1600 | 74 | 6752k|2458.8 | 197M | 40 |5459 |6474 |5682 | 424 | 0 |1821 | 22 | 0.000000e+00 | -- | Inf | unknown
2750.22/2757.73 c 2758s| 1700 | 72 | 6984k|2453.8 | 198M | 46 |5459 |6445 |5684 | 473 | 0 |1828 | 22 | 0.000000e+00 | -- | Inf | unknown
2835.41/2843.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2835.41/2843.13 c 2843s| 1800 | 64 | 7232k|2454.6 | 199M | 46 |5459 |6397 |5684 | 515 | 1 |1878 | 22 | 0.000000e+00 | -- | Inf | unknown
2926.08/2934.04 c 2934s| 1900 | 74 | 7496k|2460.9 | 200M | 46 |5459 |6379 |5687 | 566 | 0 |1900 | 22 | 0.000000e+00 | -- | Inf | unknown
2981.44/2989.52 c 2990s| 2000 | 76 | 7661k|2434.3 | 201M | 46 |5459 |6413 |5686 | 600 | 0 |1946 | 22 | 0.000000e+00 | -- | Inf | unknown
3035.40/3043.68 c 3044s| 2100 | 77 | 7822k|2408.0 | 203M | 46 |5459 |6452 |5686 | 628 | 1 |1992 | 22 | 0.000000e+00 | -- | Inf | unknown
3083.79/3092.10 c 3092s| 2200 | 77 | 7966k|2378.1 | 205M | 46 |5459 |6492 |5693 | 661 | 1 |2035 | 22 | 0.000000e+00 | -- | Inf | unknown
3136.05/3144.58 c 3145s| 2300 | 75 | 8118k|2352.6 | 207M | 54 |5459 |6518 |5697 | 695 | 1 |2065 | 22 | 0.000000e+00 | -- | Inf | unknown
3177.74/3186.34 c 3186s| 2400 | 75 | 8241k|2319.9 | 209M | 54 |5459 |6549 |5689 | 722 | 1 |2099 | 22 | 0.000000e+00 | -- | Inf | unknown
3246.28/3255.04 c 3255s| 2500 | 75 | 8439k|2310.4 | 210M | 54 |5459 |6583 |5689 | 761 | 1 |2159 | 22 | 0.000000e+00 | -- | Inf | unknown
3305.03/3314.00 c 3314s| 2600 | 87 | 8610k|2294.0 | 210M | 54 |5459 |6628 |5695 | 811 | 1 |2227 | 22 | 0.000000e+00 | -- | Inf | unknown
3350.91/3360.00 c 3360s| 2700 | 89 | 8749k|2269.8 | 213M | 54 |5459 |6667 |5698 | 832 | 1 |2268 | 22 | 0.000000e+00 | -- | Inf | unknown
3392.81/3401.99 c 3402s| 2800 | 89 | 8874k|2243.3 | 219M | 54 |5459 |6700 |5694 | 867 | 0 |2308 | 22 | 0.000000e+00 | -- | Inf | unknown
3440.39/3449.69 c 3450s| 2900 | 93 | 9018k|2223.1 | 219M | 54 |5459 |6764 |5695 | 880 | 1 |2378 | 22 | 0.000000e+00 | -- | Inf | unknown
3483.69/3493.06 c 3493s| 3000 | 91 | 9151k|2201.0 | 220M | 54 |5459 |6806 |5700 | 894 | 0 |2424 | 22 | 0.000000e+00 | -- | Inf | unknown
3530.57/3540.09 c 3540s| 3100 | 89 | 9291k|2181.5 | 221M | 54 |5459 |6831 |5699 | 945 | 1 |2461 | 22 | 0.000000e+00 | -- | Inf | unknown
3567.77/3577.38 c 3577s| 3200 | 93 | 9403k|2156.7 | 221M | 54 |5459 |6844 |5702 | 963 | 0 |2498 | 22 | 0.000000e+00 | -- | Inf | unknown
3587.43/3597.01 c
3587.43/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.43/3597.01 c Solving Time (sec) : 3597.00
3587.43/3597.01 c Solving Nodes : 3261 (total of 4310 nodes in 2 runs)
3587.43/3597.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.43/3597.01 c Dual Bound : +0.00000000000000e+00
3587.43/3597.01 c Gap : infinite
3587.43/3597.01 s UNKNOWN
3587.43/3597.01 c SCIP Status : solving was interrupted [time limit reached]
3587.43/3597.01 c Total Time : 3597.00
3587.43/3597.01 c solving : 3597.00
3587.43/3597.01 c presolving : 9.87 (included in solving)
3587.43/3597.01 c reading : 0.02 (included in solving)
3587.43/3597.01 c copying : 1.70 (104 #copies) (minimal 0.01, maximal 0.02, average 0.02)
3587.43/3597.01 c Original Problem :
3587.43/3597.01 c Problem name : HOME/instance-4507310-1751185786.opb
3587.43/3597.01 c Variables : 6256 (6256 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.43/3597.01 c Constraints : 6442 initial, 6442 maximal
3587.43/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.43/3597.01 c Presolved Problem :
3587.43/3597.01 c Problem name : t_HOME/instance-4507310-1751185786.opb
3587.43/3597.01 c Variables : 5459 (5459 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.43/3597.01 c Constraints : 6278 initial, 6862 maximal
3587.43/3597.01 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.43/3597.01 c Nonzeros : 116466 constraint, 58749 clique table
3587.43/3597.01 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.43/3597.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c domcol : 0.10 0.00 12 0 0 0 0 0 0 0 0 3
3587.43/3597.01 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c gateextraction : 0.06 0.00 17 0 0 0 0 0 1 0 0 0
3587.43/3597.01 c implics : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c milp : 0.07 0.00 1 94 0 0 0 0 0 0 0 0
3587.43/3597.01 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c sparsify : 0.15 0.00 3 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c trivial : 0.00 0.00 41 324 0 0 0 0 0 0 0 0
3587.43/3597.01 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c dualfix : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c probing : 8.34 0.00 11 225 3 0 0 0 0 0 0 0
3587.43/3597.01 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3587.43/3597.01 c vbounds : 0.01 0.00 4 4 0 0 0 0 0 0 0 0
3587.43/3597.01 c knapsack : 0.01 0.00 21 0 0 0 0 0 0 7 30 137
3587.43/3597.01 c setppc : 0.06 0.00 68 0 0 0 0 0 145 0 0 0
3587.43/3597.01 c linear : 0.06 0.00 24 141 0 0 141 0 520 0 31 0
3587.43/3597.01 c orbitope : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c logicor : 0.90 0.02 65 60 0 0 0 0 264 0 0 4694
3587.43/3597.01 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c root node : - - - 24 - - 24 - - - - -
3587.43/3597.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.43/3597.01 c benderslp : 0 0 0 0 2219 0 0 283 0 0 0 0 0 0 0
3587.43/3597.01 c integral : 0 0 0 0 2219 0 0 283 0 0 0 0 0 0 4438
3587.43/3597.01 c knapsack : 42+ 44 11 25489 0 0 0 0 53605 0 13096 5 2 0 0
3587.43/3597.01 c setppc : 1258+ 1313 22 153629 0 0 0 278 1208996 168 189283 2 0 0 0
3587.43/3597.01 c linear : 3+ 79 23 35653 0 0 0 3 680 11 280 3 2 0 0
3587.43/3597.01 c orbitope : 1 1 0 39345 0 0 0 0 8654 11 2289 0 0 0 0
3587.43/3597.01 c logicor : 4974+ 5453 22 129597 0 0 0 0 2281012 230 300038 69 31 0 0
3587.43/3597.01 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.43/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.43/3597.01 c integral : 9.84 0.00 0.00 0.00 9.84 0.00 0.00 0.00 0.00 0.00
3587.43/3597.01 c knapsack : 0.24 0.00 0.08 0.14 0.00 0.00 0.00 0.00 0.02 0.00
3587.43/3597.01 c setppc : 1.86 0.00 0.00 1.54 0.00 0.00 0.00 0.00 0.29 0.03
3587.43/3597.01 c linear : 0.06 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.01
3587.43/3597.01 c orbitope : 0.08 0.00 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3587.43/3597.01 c logicor : 4.31 0.02 0.02 3.44 0.00 0.00 0.00 0.00 0.82 0.02
3587.43/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.43/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.43/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.43/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.43/3597.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.43/3597.01 c dualfix : 2 0 0 0
3587.43/3597.01 c genvbounds : 0 0 0 0
3587.43/3597.01 c nlobbt : 0 0 0 0
3587.43/3597.01 c obbt : 0 0 0 0
3587.43/3597.01 c probing : 0 0 0 0
3587.43/3597.01 c pseudoobj : 0 0 0 0
3587.43/3597.01 c redcost : 0 0 0 0
3587.43/3597.01 c rootredcost : 0 0 0 0
3587.43/3597.01 c symmetry : 7168 0 0 45
3587.43/3597.01 c vbounds : 28216 0 0 0
3587.43/3597.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.43/3597.01 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.43/3597.01 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.43/3597.01 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.43/3597.01 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.43/3597.01 c probing : 8.34 0.00 8.34 0.00 0.00 0.00
3587.43/3597.01 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.43/3597.01 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.43/3597.01 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.43/3597.01 c symmetry : 0.07 0.00 0.03 0.04 0.00 0.00
3587.43/3597.01 c vbounds : 0.43 0.00 0.01 0.41 0.00 0.00
3587.43/3597.01 c Symmetry :
3587.43/3597.01 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.43/3597.01 c orbital reduction: 0 reductions applied, 0 cutoffs
3587.43/3597.01 c lexicographic red: 45 reductions applied, 0 cutoffs
3587.43/3597.01 c shadow tree time : 0.01 s
3587.43/3597.01 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.43/3597.01 c propagation : 0.07 402 269 - 1592 179.1 20 18.6 - - -
3587.43/3597.01 c infeasible LP : 7.55 1986 1263 - 24209 970.4 26 23.9 27 70.5 0
3587.43/3597.01 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.43/3597.01 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.43/3597.01 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.43/3597.01 c applied globally : 0.09 - - 0 2482 157.5 - - 27 - -
3587.43/3597.01 c applied locally : - - - 0 8 798.1 - - 0 - -
3587.43/3597.01 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.43/3597.01 c cut pool : 0.10 - 543 42 - - 1670 7209 - - - - - (maximal pool size: 621)
3587.43/3597.01 c aggregation : 0.13 0.00 94 22 0 0 1 3 0 3 3 0 0
3587.43/3597.01 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.43/3597.01 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.43/3597.01 c > knapsackcover : - - - - - - - 3 0 3 3 0 -
3587.43/3597.01 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c clique : 0.70 0.00 22 22 0 0 157 674 0 251 251 0 0
3587.43/3597.01 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c gomory : 12.71 0.00 92 20 0 0 1472 5815 244 540 492 48 0
3587.43/3597.01 c > gomorymi : - - - - - - - 2764 122 277 248 29 -
3587.43/3597.01 c > strongcg : - - - - - - - 3051 122 263 244 19 -
3587.43/3597.01 c impliedbounds : 0.11 0.00 94 22 0 0 93 315 0 121 121 0 0
3587.43/3597.01 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c mcf : 0.01 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c multilinear : 0.00 0.00 80 22 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c rapidlearning : 62.38 0.00 100 2 0 67862 0 0 0 0 0 0 722
3587.43/3597.01 c rlt : 0.00 0.00 66 20 0 0 0 0 0 0 0 0 0
3587.43/3597.01 c zerohalf : 6.84 0.00 94 22 0 0 370 402 179 443 282 161 0
3587.43/3597.01 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.43/3597.01 c hybrid : 0.02 0.00 298 22 1396 38 5899 287 0 360
3587.43/3597.01 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c Pricers : ExecTime SetupTime Calls Vars
3587.43/3597.01 c problem variables: 0.00 - 0 0
3587.43/3597.01 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.43/3597.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c relpscost : 9.83 0.00 2219 0 0 0 0 0 0 4438
3587.43/3597.01 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.43/3597.01 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.43/3597.01 c LP solutions : 0.00 - - 0 0
3587.43/3597.01 c relax solutions : 0.00 - - 0 0
3587.43/3597.01 c pseudo solutions : 0.00 - - 0 0
3587.43/3597.01 c strong branching : 0.00 - - 0 0
3587.43/3597.01 c actconsdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c adaptivediving : 17.67 0.00 4 0 0
3587.43/3597.01 c alns : 0.12 0.00 4 0 0
3587.43/3597.01 c bound : 0.00 0.00 0 0 0
3587.43/3597.01 c clique : 0.05 0.00 1 0 0
3587.43/3597.01 c coefdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c completesol : 0.00 0.00 0 0 0
3587.43/3597.01 c conflictdiving : 44.80 0.00 3 0 0
3587.43/3597.01 c crossover : 0.00 0.00 0 0 0
3587.43/3597.01 c dins : 0.00 0.00 0 0 0
3587.43/3597.01 c distributiondivin: 15.85 0.00 2 0 0
3587.43/3597.01 c dps : 0.00 0.00 0 0 0
3587.43/3597.01 c dualval : 0.00 0.00 0 0 0
3587.43/3597.01 c farkasdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c feasjump : 0.04 0.00 2 0 0
3587.43/3597.01 c feaspump : 35.87 0.00 2 0 0
3587.43/3597.01 c fixandinfer : 0.00 0.00 0 0 0
3587.43/3597.01 c fracdiving : 3.48 0.00 2 0 0
3587.43/3597.01 c gins : 0.00 0.00 0 0 0
3587.43/3597.01 c guideddiving : 0.00 0.00 0 0 0
3587.43/3597.01 c indcoefdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c indicator : 0.00 0.00 0 0 0
3587.43/3597.01 c indicatordiving : 0.00 0.00 0 0 0
3587.43/3597.01 c indoneopt : 0.00 0.00 0 0 0
3587.43/3597.01 c indrounding : 0.00 0.00 0 0 0
3587.43/3597.01 c indtwoopt : 0.00 0.00 0 0 0
3587.43/3597.01 c intdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c intshifting : 0.00 0.00 0 0 0
3587.43/3597.01 c linesearchdiving : 3.80 0.00 2 0 0
3587.43/3597.01 c localbranching : 0.00 0.00 0 0 0
3587.43/3597.01 c locks : 0.02 0.00 1 0 0
3587.43/3597.01 c lpface : 0.02 0.00 0 0 0
3587.43/3597.01 c mpec : 0.00 0.00 0 0 0
3587.43/3597.01 c multistart : 0.00 0.00 0 0 0
3587.43/3597.01 c mutation : 0.00 0.00 0 0 0
3587.43/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3587.43/3597.01 c objpscostdiving : 125.03 0.00 2 0 0
3587.43/3597.01 c octane : 0.00 0.00 0 0 0
3587.43/3597.01 c ofins : 0.00 0.00 0 0 0
3587.43/3597.01 c oneopt : 0.00 0.00 0 0 0
3587.43/3597.01 c padm : 0.00 0.00 0 0 0
3587.43/3597.01 c proximity : 0.00 0.00 0 0 0
3587.43/3597.01 c pscostdiving : 12.56 0.00 3 0 0
3587.43/3597.01 c randrounding : 0.24 0.00 293 0 0
3587.43/3597.01 c rens : 0.19 0.00 2 0 0
3587.43/3597.01 c reoptsols : 0.00 0.00 0 0 0
3587.43/3597.01 c repair : 0.00 0.00 0 0 0
3587.43/3597.01 c rins : 0.00 0.00 0 0 0
3587.43/3597.01 c rootsoldiving : 11.63 0.00 2 0 0
3587.43/3597.01 c rounding : 0.15 0.00 672 0 0
3587.43/3597.01 c scheduler : 0.00 0.00 0 0 0
3587.43/3597.01 c shiftandpropagate: 0.04 0.00 2 0 0
3587.43/3597.01 c shifting : 0.42 0.00 289 0 0
3587.43/3597.01 c simplerounding : 0.00 0.00 0 0 0
3587.43/3597.01 c smallcard : 0.00 0.00 0 0 0
3587.43/3597.01 c subnlp : 0.00 0.00 0 0 0
3587.43/3597.01 c trivial : 0.01 0.00 4 0 0
3587.43/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3587.43/3597.01 c trustregion : 0.00 0.00 0 0 0
3587.43/3597.01 c trysol : 0.00 0.00 0 0 0
3587.43/3597.01 c twoopt : 0.00 0.00 0 0 0
3587.43/3597.01 c undercover : 0.00 0.00 0 0 0
3587.43/3597.01 c vbounds : 0.06 0.00 2 0 0
3587.43/3597.01 c veclendiving : 17.90 0.00 3 0 0
3587.43/3597.01 c zeroobj : 0.00 0.00 0 0 0
3587.43/3597.01 c zirounding : 0.08 0.00 1000 0 0
3587.43/3597.01 c other solutions : - - - 0 -
3587.43/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.43/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.43/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.43/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.43/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.43/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.43/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.43/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.43/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.43/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.43/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.43/3597.01 c primal LP : 0.60 114 0 0.00 0.00 0.60 114
3587.43/3597.01 c dual LP : 3188.14 4567 8937870 1961.35 2803.48 0.02 10
3587.43/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3587.43/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.43/3597.01 c resolve instable : 10.41 7 25523 3646.14 2452.80
3587.43/3597.01 c diving/probing LP: 287.95 1080 524938 486.05 1823.02
3587.43/3597.01 c strong branching : 7.85 22 14648 665.82 1865.36 - - 25
3587.43/3597.01 c (at root node) : - 22 14648 665.82 -
3587.43/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3587.43/3597.01 c B&B Tree :
3587.43/3597.01 c number of runs : 2
3587.43/3597.01 c nodes : 3261 (1677 internal, 1584 leaves)
3587.43/3597.01 c feasible leaves : 0
3587.43/3597.01 c infeas. leaves : 1583
3587.43/3597.01 c objective leaves : 0
3587.43/3597.01 c nodes (total) : 4310 (2219 internal, 2091 leaves)
3587.43/3597.01 c nodes left : 93
3587.43/3597.01 c max depth : 54
3587.43/3597.01 c max depth (total): 54
3587.43/3597.01 c backtracks : 430 (13.2%)
3587.43/3597.01 c early backtracks : 0 (0.0%)
3587.43/3597.01 c nodes exc. ref. : 0 (0.0%)
3587.43/3597.01 c delayed cutoffs : 2
3587.43/3597.01 c repropagations : 2188 (12379 domain reductions, 2 cutoffs)
3587.43/3597.01 c avg switch length: 3.90
3587.43/3597.01 c switching time : 2.03
3587.43/3597.01 c Root Node :
3587.43/3597.01 c First LP value : +0.00000000000000e+00
3587.43/3597.01 c First LP Iters : 10748 (2971.71 Iter/sec)
3587.43/3597.01 c First LP Time : 3.62
3587.43/3597.01 c Final Dual Bound : +0.00000000000000e+00
3587.43/3597.01 c Final Root Iters : 242049
3587.43/3597.01 c Root LP Estimate : +1.37875579914096e-02
3587.43/3597.01 c Solution :
3587.43/3597.01 c Solutions found : 0 (0 improvements)
3587.43/3597.01 c Primal Bound : -
3587.43/3597.01 c Dual Bound : +0.00000000000000e+00
3587.43/3597.01 c Gap : infinite
3587.43/3597.01 c Integrals : Total Avg%
3587.43/3597.01 c primal-dual : 359699.84 100.00
3587.43/3597.01 c primal-ref : - - (not evaluated)
3587.43/3597.01 c dual-ref : - - (not evaluated)
3587.43/3597.06 c Time complete: 3587.5.
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 (63012 MiB free)
memory of node 1: 64465 MiB (63857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507310-1751185786/watcher-4507310-1751185786 -o /tmp/evaluation-result-4507310-1751185786/solver-4507310-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23749 --watchdog 3760 pbscip -f HOME/instance-4507310-1751185786.opb -t 3600 -j 2 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24163, runsolver pid=24155
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129754656/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=77936 memory=51276 CPUtime=0.09 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 10352 0 0 0 7 2 0 0 20 0 1 0 34257233 79806464 12819 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 19484 12819 3712 3530 0 10935 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77936 KiB
Current children cumulated memory: 51276 KiB
[startup+0.20553 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129726872/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=84368 memory=57584 CPUtime=0.19 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 12501 0 0 0 17 2 0 0 20 0 1 0 34257233 86392832 14396 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 21092 14396 3712 3530 0 12543 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 84368 KiB
Current children cumulated memory: 57584 KiB
[startup+0.30541 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129653540/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=98948 memory=71804 CPUtime=0.29 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 15600 0 0 0 26 3 0 0 20 0 1 0 34257233 101322752 17951 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 24737 17951 3744 3530 0 16188 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 98948 KiB
Current children cumulated memory: 71804 KiB
[startup+0.700179 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129645624/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=105140 memory=77820 CPUtime=0.68 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 17125 0 0 0 65 3 0 0 20 0 1 0 34257233 107663360 19455 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 26285 19455 3744 3530 0 17736 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 105140 KiB
Current children cumulated memory: 77820 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129637264/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=105140 memory=78332 CPUtime=1.48 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 17252 0 0 0 145 3 0 0 20 0 1 0 34257233 107663360 19583 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 26285 19583 3744 3530 0 17736 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105140 KiB
Current children cumulated memory: 78332 KiB
[startup+3.10536 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129593728/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=105140 memory=78332 CPUtime=3.08 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 17252 0 0 0 305 3 0 0 20 0 1 0 34257233 107663360 19583 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 26285 19583 3744 3530 0 17736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 105140 KiB
Current children cumulated memory: 78332 KiB
[startup+6.30017 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129594144/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=106164 memory=79356 CPUtime=6.26 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 17518 0 0 0 623 3 0 0 20 0 1 0 34257233 108711936 19839 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 26541 19839 3744 3530 0 17992 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 106164 KiB
Current children cumulated memory: 79356 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129514284/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=141432 memory=106648 CPUtime=12.65 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 25464 0 0 0 1261 4 0 0 20 0 1 0 34257233 144826368 26662 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 35358 26662 3968 3530 0 26809 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 141432 KiB
Current children cumulated memory: 106648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129506248/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=142852 memory=107800 CPUtime=25.41 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 25732 0 0 0 2537 4 0 0 20 0 1 0 34257233 146280448 26950 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 35713 26950 3968 3530 0 27164 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 142852 KiB
Current children cumulated memory: 107800 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.08 4.05 5/265 24170
/proc/meminfo: memFree=129142068/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234832 memory=196604 CPUtime=50.94 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 47409 0 0 0 5086 8 0 0 20 0 1 0 34257233 240467968 49151 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58708 49151 4000 3530 0 50159 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 234832 KiB
Current children cumulated memory: 196604 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/266 24178
/proc/meminfo: memFree=129140812/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234832 memory=197500 CPUtime=102.01 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 47629 0 0 0 10192 9 0 0 20 0 1 0 34257233 240467968 49375 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58708 49375 4000 3530 0 50159 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 234832 KiB
Current children cumulated memory: 197500 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/265 24180
/proc/meminfo: memFree=129095240/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=199652 CPUtime=161.86 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 52068 0 0 0 16176 10 0 0 20 0 1 0 34257233 240558080 49913 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 49913 4000 3530 0 50181 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 199652 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/266 24183
/proc/meminfo: memFree=129092464/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=199652 CPUtime=221.7 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 52069 0 0 0 22160 10 0 0 20 0 1 0 34257233 240558080 49913 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 49913 4000 3530 0 50181 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 199652 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 4.06 5/266 24185
/proc/meminfo: memFree=128992180/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=199652 CPUtime=281.54 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 52069 0 0 0 28144 10 0 0 20 0 1 0 34257233 240558080 49913 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 49913 4000 3530 0 50181 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 199652 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/264 24187
/proc/meminfo: memFree=128971908/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=199652 CPUtime=341.38 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 52072 0 0 0 34128 10 0 0 20 0 1 0 34257233 240558080 49913 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 49913 4000 3530 0 50181 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 199652 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/263 24189
/proc/meminfo: memFree=128971760/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=202860 CPUtime=401.22 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 53235 0 0 0 40112 10 0 0 20 0 1 0 34257233 240558080 50715 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 50715 4000 3530 0 50181 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 234920 KiB
Current children cumulated memory: 202860 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.06 5/263 24191
/proc/meminfo: memFree=128964748/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=234920 memory=208876 CPUtime=461.06 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 55887 0 0 0 46095 11 0 0 20 0 1 0 34257233 240558080 52219 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 58730 52219 4000 3530 0 50181 0
Current children cumulated CPU time: 461.06 s
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.09 5/265 24348
/proc/meminfo: memFree=128668152/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3153.81 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98528 0 0 0 315356 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3153.81 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 24350
/proc/meminfo: memFree=128668216/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3213.65 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98528 0 0 0 321340 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3213.65 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 24351
/proc/meminfo: memFree=128668248/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3273.5 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98529 0 0 0 327325 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 24353
/proc/meminfo: memFree=128668788/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3333.36 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98530 0 0 0 333311 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 24355
/proc/meminfo: memFree=128668532/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3393.21 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98533 0 0 0 339296 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 24357
/proc/meminfo: memFree=128667884/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3453.06 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98533 0 0 0 345281 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 24359
/proc/meminfo: memFree=128667996/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3512.91 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98638 0 0 0 351266 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.48 4.17 4.12 5/264 24364
/proc/meminfo: memFree=128668316/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3572.76 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 357251 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3597.07 s]
# the end of solver process 24163 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.25 s, system=0.254443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.48 4.17 4.12 5/264 24364
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3574.46 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 357421 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3574.46 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3590.4 s]
/proc/loadavg: 4.52 4.19 4.12 5/264 24365
/proc/meminfo: memFree=128668340/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3580.84 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358059 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3580.84 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3593.6 s]
/proc/loadavg: 4.48 4.18 4.12 5/264 24365
/proc/meminfo: memFree=128668372/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3584.03 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358378 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3584.03 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3595.2 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668372/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3585.63 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358538 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3585.63 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3596 s]*
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3586.43 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358618 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3596.8 s]
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3587.23 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358698 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3587.23 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
[startup+3597 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24163] ppid=24155 vsize=285440 memory=259976 CPUtime=3587.43 cores=4,6
/proc/24163/stat : 24163 (pbscip) R 24155 24163 23738 0 -1 4194304 98640 0 0 0 358718 25 0 0 20 0 1 0 34257233 292290560 64994 18446744073709551615 4235264 18693293 140731472285488 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 40443904 140731472288137 140731472288236 140731472288236 140731472293838 0
/proc/24163/statm: 71360 64994 4160 3530 0 62811 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 285440 KiB
Current children cumulated memory: 259976 KiB
Child status: 0
Real time (s): 3597.07
CPU time (s): 3587.5
CPU user time (s): 3587.25
CPU system time (s): 0.254443
CPU usage (%): 99.734
Max. virtual memory (cumulated for all children) (KiB): 285440
Max. memory (cumulated for all children) (KiB): 259976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.25
system time used= 0.254443
maximum resident set size= 259976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98648
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= 127
involuntary context switches= 1581
# summary of solver processes directly reported to runsolver:
# pid: 24163
# total CPU time (s): 3587.5
# total CPU user time (s): 3587.25
# total CPU system time (s): 0.254443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26183 second user time and 13.2691 second system time
The end
Begin job on nodeC026 at 2025-06-29 10:29:46 IDJOB=4507310 IDBENCH=158341 IDSOLVER=3365 FILE ID=nodeC026/4507310-1751185786 RUNJOBID= nodeC026-1751182186-23749 SLURM_JOB_ID= 9587556 Free space on /tmp= 433024 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507310-1751185786/watcher-4507310-1751185786 -o /tmp/evaluation-result-4507310-1751185786/solver-4507310-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23749 --watchdog 3760 pbscip -f HOME/instance-4507310-1751185786.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34 RANDOM SEED=1593073636 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.784 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 : 3600.023 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 : 3600.121 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 : 3558.098 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 : 3595.076 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 : 3654.282 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.770 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 : 3599.929 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: 129946492 kB MemAvailable: 129743812 kB Buffers: 3280 kB Cached: 607132 kB SwapCached: 0 kB Active: 291632 kB Inactive: 386944 kB Active(anon): 86244 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 386944 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 66328 kB Writeback: 16 kB AnonPages: 71256 kB Mapped: 102984 kB Shmem: 18080 kB KReclaimable: 88452 kB Slab: 174108 kB SReclaimable: 88452 kB SUnreclaim: 85656 kB KernelStack: 4140 kB PageTables: 2940 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 333736 kB VmallocTotal: 34359738367 kB VmallocUsed: 150440 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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 11:29:43