| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2024-07-07 | ? | 3586.3 | 3597.06 |
| Name | PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb |
| MD5SUM | 5fb93660b547b6cc9dd610c04b6e276e |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| 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 | 5712 |
| Total number of constraints | 5882 |
| Number of constraints which are clauses | 5798 |
| Number of constraints which are cardinality constraints (but not clauses) | 84 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 84 |
| 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 | 85 |
| 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-4507346-1751185786.opb>
0.00/0.02 c original problem has 5712 variables (5712 bin, 0 int, 0 impl, 0 cont) and 5882 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.04 c presolving:
0.00/0.05 c (round 1, fast) 148 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1135 clqs
0.00/0.05 c (round 2, fast) 392 del vars, 155 del conss, 0 add conss, 66 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1122 clqs
0.00/0.05 c (round 3, fast) 506 del vars, 237 del conss, 0 add conss, 114 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1127 clqs
0.00/0.05 c (round 4, fast) 570 del vars, 294 del conss, 0 add conss, 139 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1153 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, 1168 clqs
0.00/0.07 c (0.1s) running MILP presolver
0.09/0.10 c (0.1s) MILP presolver (4 rounds): 0 aggregations, 81 fixings, 0 bound changes
0.09/0.11 c (round 6, medium) 664 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1170 clqs
0.09/0.11 c (round 7, fast) 664 del vars, 386 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1170 clqs
0.09/0.11 c (round 8, exhaustive) 664 del vars, 468 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1170 clqs
0.09/0.13 c (round 9, exhaustive) 664 del vars, 468 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5414 upgd conss, 0 impls, 1170 clqs
0.09/0.16 c (round 10, exhaustive) 726 del vars, 468 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5414 upgd conss, 0 impls, 1158 clqs
0.09/0.16 c (round 11, fast) 788 del vars, 530 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5414 upgd conss, 0 impls, 1158 clqs
0.59/0.69 c (round 12, exhaustive) 815 del vars, 531 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5414 upgd conss, 0 impls, 33543 clqs
0.59/0.69 c (round 13, fast) 817 del vars, 558 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 126 chg coeffs, 5414 upgd conss, 0 impls, 33560 clqs
0.98/1.04 c (round 14, exhaustive) 842 del vars, 558 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 126 chg coeffs, 5414 upgd conss, 0 impls, 34120 clqs
0.98/1.05 c (round 15, fast) 842 del vars, 583 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 5414 upgd conss, 0 impls, 34124 clqs
1.18/1.21 c (round 16, exhaustive) 868 del vars, 583 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 176 chg coeffs, 5414 upgd conss, 0 impls, 34124 clqs
1.18/1.22 c (round 17, fast) 868 del vars, 609 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 226 chg coeffs, 5414 upgd conss, 0 impls, 34128 clqs
1.28/1.31 c (round 18, exhaustive) 893 del vars, 609 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 226 chg coeffs, 5414 upgd conss, 0 impls, 34125 clqs
1.28/1.31 c (round 19, fast) 893 del vars, 634 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 266 chg coeffs, 5414 upgd conss, 0 impls, 34130 clqs
1.28/1.35 c (round 20, exhaustive) 918 del vars, 634 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 266 chg coeffs, 5414 upgd conss, 0 impls, 34042 clqs
1.28/1.35 c (round 21, fast) 918 del vars, 659 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 288 chg coeffs, 5414 upgd conss, 0 impls, 34042 clqs
1.58/1.69 c (1.7s) probing: 1000/5207 (19.2%) - 145 fixings, 1 aggregations, 566915 implications, 0 bound changes
2.37/2.47 c (round 22, exhaustive) 943 del vars, 659 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 288 chg coeffs, 5414 upgd conss, 0 impls, 34170 clqs
2.37/2.47 c (round 23, fast) 943 del vars, 684 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 5414 upgd conss, 0 impls, 34172 clqs
2.47/2.51 c (round 24, exhaustive) 968 del vars, 684 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 315 chg coeffs, 5414 upgd conss, 0 impls, 34186 clqs
2.47/2.52 c (round 25, fast) 968 del vars, 709 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 344 chg coeffs, 5414 upgd conss, 0 impls, 34187 clqs
2.67/2.78 c (2.8s) probing: 2000/5207 (38.4%) - 188 fixings, 1 aggregations, 1055877 implications, 0 bound changes
3.47/3.53 c (round 26, exhaustive) 993 del vars, 709 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 344 chg coeffs, 5414 upgd conss, 0 impls, 34209 clqs
3.47/3.53 c (round 27, fast) 993 del vars, 734 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 390 chg coeffs, 5414 upgd conss, 0 impls, 34212 clqs
3.67/3.73 c (3.7s) probing: 3000/5207 (57.6%) - 220 fixings, 1 aggregations, 1453625 implications, 0 bound changes
4.57/4.63 c (4.6s) probing: 4000/5207 (76.8%) - 221 fixings, 1 aggregations, 1862645 implications, 0 bound changes
4.77/4.81 c (4.8s) probing: 4216/5207 (81.0%) - 221 fixings, 1 aggregations, 1943414 implications, 0 bound changes
4.77/4.81 c (4.8s) probing aborted: 1000/1000 successive useless probings
4.77/4.81 c (round 28, exhaustive) 1014 del vars, 734 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 390 chg coeffs, 5414 upgd conss, 0 impls, 34218 clqs
4.77/4.81 c (round 29, fast) 1014 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 424 chg coeffs, 5414 upgd conss, 0 impls, 34219 clqs
5.46/5.51 c (5.5s) probing: 5000/5207 (96.0%) - 222 fixings, 1 aggregations, 2230367 implications, 0 bound changes
5.56/5.63 c (5.6s) probing cycle finished: starting next cycle
6.66/6.75 c (6.7s) probing: 1000/4982 (20.1%) - 225 fixings, 3 aggregations, 2822142 implications, 0 bound changes
7.07/7.16 c (7.2s) probing: 1368/4982 (27.5%) - 225 fixings, 3 aggregations, 3018235 implications, 0 bound changes
7.07/7.16 c (7.2s) probing aborted: 1000/1000 successive useless probings
7.07/7.16 c (round 30, exhaustive) 1020 del vars, 755 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 424 chg coeffs, 5414 upgd conss, 0 impls, 32854 clqs
7.07/7.16 c (round 31, fast) 1020 del vars, 761 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 434 chg coeffs, 5414 upgd conss, 0 impls, 32857 clqs
7.26/7.30 c (7.3s) probing: 1468/4982 (29.5%) - 225 fixings, 3 aggregations, 3069608 implications, 0 bound changes
7.26/7.30 c (7.3s) probing aborted: 1000/1000 successive useless probings
7.26/7.31 c (7.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
7.26/7.34 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.34 c dynamic symmetry handling statistics:
7.26/7.34 c orbitopal reduction: no components
7.26/7.34 c orbital reduction: no components
7.26/7.34 c lexicographic reduction: 4 permutations with support sizes 156, 308, 156, 140
7.26/7.34 c handled 5 out of 5 symmetry components
7.26/7.34 c (round 32, exhaustive) 1026 del vars, 761 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 434 chg coeffs, 5414 upgd conss, 0 impls, 34229 clqs
7.26/7.34 c (round 33, fast) 1026 del vars, 767 del conss, 1 add conss, 141 chg bounds, 0 chg sides, 446 chg coeffs, 5414 upgd conss, 0 impls, 34229 clqs
7.36/7.48 c (7.5s) probing: 1568/4982 (31.5%) - 225 fixings, 3 aggregations, 3122807 implications, 0 bound changes
7.36/7.48 c (7.5s) probing aborted: 1000/1000 successive useless probings
7.36/7.48 c presolving (34 rounds: 34 fast, 16 medium, 15 exhaustive):
7.36/7.48 c 1026 deleted vars, 767 deleted constraints, 1 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 446 changed coefficients
7.36/7.48 c 0 implications, 34238 cliques
7.36/7.48 c presolved problem has 4971 variables (4971 bin, 0 int, 0 impl, 0 cont) and 5116 constraints
7.36/7.48 c 1088 constraints of type <setppc>
7.36/7.48 c 1 constraints of type <orbitope>
7.36/7.48 c 4027 constraints of type <logicor>
7.36/7.48 c transformed objective value is always integral (scale: 1)
7.36/7.48 c Presolving Time: 7.45
7.36/7.48 c - non default parameters ----------------------------------------------------------------------
7.36/7.48 c # SCIP version 10.0.0
7.36/7.48 c
7.36/7.48 c # maximal time in seconds to run
7.36/7.48 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
7.36/7.48 c limits/time = 3596.997986
7.36/7.48 c
7.36/7.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.36/7.48 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
7.36/7.48 c limits/memory = 27900
7.36/7.48 c
7.36/7.48 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
7.36/7.48 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
7.36/7.48 c limits/solutions = 1
7.36/7.48 c
7.36/7.48 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.36/7.48 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
7.36/7.48 c misc/usesymmetry = 3
7.36/7.48 c
7.36/7.48 c # belongs reading time to solving time?
7.36/7.48 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
7.36/7.48 c timing/reading = TRUE
7.36/7.48 c
7.36/7.48 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
7.36/7.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.36/7.48 c propagating/symmetry/detectdoublelex = FALSE
7.36/7.48 c
7.36/7.48 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
7.36/7.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.36/7.48 c propagating/symmetry/detectsubgroups = FALSE
7.36/7.48 c
7.36/7.48 c # Type of symmetries that shall be computed?
7.36/7.48 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
7.36/7.48 c propagating/symmetry/symtype = 1
7.36/7.48 c
7.36/7.48 c # Should components consisting of a single full reflection be handled?
7.36/7.48 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
7.36/7.48 c propagating/symmetry/usesimplesgncomp = FALSE
7.36/7.48 c
7.36/7.48 c -----------------------------------------------------------------------------------------------
7.36/7.48 c start solving
7.36/7.49 c
10.96/11.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.96/11.03 c 11.0s| 1 | 0 | 11057 | - | 78M | 0 |4971 |5247 |5115 | 0 | 0 | 130 | 0 | 0.000000e+00 | -- | Inf | unknown
38.67/38.81 c 38.8s| 1 | 0 | 66998 | - | 86M | 0 |4971 |5448 |5127 | 12 | 1 | 131 | 0 | 0.000000e+00 | -- | Inf | unknown
40.16/40.38 c 40.4s| 1 | 0 | 70176 | - | 89M | 0 |4971 |5451 |5130 | 15 | 2 | 134 | 0 | 0.000000e+00 | -- | Inf | unknown
42.35/42.57 c 42.6s| 1 | 0 | 74808 | - | 91M | 0 |4971 |5450 |5139 | 24 | 3 | 135 | 0 | 0.000000e+00 | -- | Inf | unknown
45.05/45.26 c 45.3s| 1 | 0 | 80377 | - | 92M | 0 |4971 |5451 |5152 | 37 | 4 | 136 | 0 | 0.000000e+00 | -- | Inf | unknown
50.13/50.33 c 50.3s| 1 | 0 | 90930 | - | 95M | 0 |4971 |5453 |5164 | 49 | 5 | 138 | 0 | 0.000000e+00 | -- | Inf | unknown
52.02/52.26 c 52.3s| 1 | 0 | 93429 | - | 96M | 0 |4971 |5456 |5169 | 54 | 6 | 141 | 0 | 0.000000e+00 | -- | Inf | unknown
54.51/54.71 c 54.7s| 1 | 0 | 98153 | - | 96M | 0 |4971 |5461 |5178 | 63 | 7 | 149 | 0 | 0.000000e+00 | -- | Inf | unknown
57.81/58.01 c 58.0s| 1 | 0 |105161 | - | 98M | 0 |4971 |5471 |5190 | 75 | 8 | 159 | 0 | 0.000000e+00 | -- | Inf | unknown
61.39/61.69 c 61.7s| 1 | 0 |112688 | - | 99M | 0 |4971 |5479 |5201 | 86 | 9 | 169 | 0 | 0.000000e+00 | -- | Inf | unknown
64.68/64.90 c 64.9s| 1 | 0 |119276 | - | 100M | 0 |4971 |5489 |5213 | 98 | 10 | 179 | 0 | 0.000000e+00 | -- | Inf | unknown
67.17/67.44 c 67.4s| 1 | 0 |124915 | - | 101M | 0 |4971 |5494 |5219 | 104 | 11 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
92.49/92.80 c 92.8s| 1 | 0 |169311 | - | 102M | 0 |4971 |5503 |5212 | 104 | 11 | 209 | 14 | 0.000000e+00 | -- | Inf | unknown
94.88/95.29 c 95.3s| 1 | 0 |174973 | - | 103M | 0 |4971 |5499 |5225 | 117 | 12 | 210 | 14 | 0.000000e+00 | -- | Inf | unknown
95.28/95.64 c 95.6s| 1 | 0 |175727 | - | 103M | 0 |4971 |5503 |5230 | 122 | 13 | 214 | 14 | 0.000000e+00 | -- | Inf | unknown
101.86/102.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
101.86/102.24 c 102s| 1 | 2 |176237 | - | 103M | 0 |4971 |5488 |5230 | 122 | 13 | 216 | 27 | 0.000000e+00 | -- | Inf | unknown
623.67/625.66 c 626s| 100 | 55 | 1320k|12004.2 | 121M | 28 |4971 |5542 |5181 | 146 | 1 | 374 | 27 | 0.000000e+00 | -- | Inf | 1.61%
687.21/689.30 c 689s| 200 | 61 | 1512k|6937.9 | 126M | 28 |4971 |5571 |5183 | 244 | 1 | 418 | 27 | 0.000000e+00 | -- | Inf | 1.68%
728.70/730.91 c 731s| 300 | 63 | 1654k|5091.1 | 129M | 36 |4971 |5602 |5210 | 269 | 0 | 480 | 27 | 0.000000e+00 | -- | Inf | 1.69%
764.81/767.15 c 767s| 400 | 61 | 1780k|4130.8 | 131M | 37 |4971 |5627 |5202 | 284 | 0 | 526 | 27 | 0.000000e+00 | -- | Inf | 1.69%
799.73/802.11 c 802s| 500 | 61 | 1896k|3536.3 | 132M | 37 |4971 |5654 |5211 | 334 | 0 | 578 | 27 | 0.000000e+00 | -- | Inf | 1.69%
836.33/838.84 c 839s| 600 | 69 | 2023k|3157.6 | 133M | 37 |4971 |5649 |5202 | 350 | 0 | 599 | 27 | 0.000000e+00 | -- | Inf | 1.69%
873.83/876.43 c 876s| 700 | 67 | 2153k|2892.4 | 133M | 37 |4971 |5653 |5213 | 379 | 1 | 621 | 27 | 0.000000e+00 | -- | Inf | 1.69%
904.15/906.80 c 907s| 800 | 63 | 2258k|2661.2 | 133M | 40 |4971 |5670 |5186 | 405 | 1 | 661 | 27 | 0.000000e+00 | -- | Inf | 1.70%
942.25/945.06 c 945s| 900 | 61 | 2389k|2510.9 | 135M | 40 |4971 |5687 | 0 | 430 | 0 | 702 | 27 | 0.000000e+00 | -- | Inf | 1.71%
988.43/991.31 c 991s| 1000 | 63 | 2547k|2418.0 | 137M | 40 |4971 |5697 |5177 | 449 | 0 | 732 | 27 | 0.000000e+00 | -- | Inf | 1.74%
1037.90/1040.98 c 1041s| 1100 | 61 | 2713k|2349.1 | 138M | 40 |4971 |5704 |5182 | 467 | 0 | 747 | 27 | 0.000000e+00 | -- | Inf | 1.84%
1081.28/1084.44 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1081.28/1084.45 c (run 1, node 1178) performing user restart
1081.28/1084.45 c
1081.28/1084.45 c (restart) converted 57 cuts from the global cut pool into linear constraints
1081.28/1084.45 c
1081.28/1084.46 c presolving:
1081.28/1084.48 c (round 1, exhaustive) 2 del vars, 9 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 5 chg coeffs, 0 upgd conss, 0 impls, 34236 clqs
1081.28/1084.49 c (round 2, exhaustive) 2 del vars, 9 del conss, 0 add conss, 0 chg bounds, 9 chg sides, 5 chg coeffs, 230 upgd conss, 0 impls, 34236 clqs
1081.38/1084.50 c (round 3, medium) 2 del vars, 14 del conss, 14 add conss, 0 chg bounds, 124 chg sides, 154 chg coeffs, 230 upgd conss, 0 impls, 34236 clqs
1081.38/1084.50 c (round 4, fast) 2 del vars, 15 del conss, 14 add conss, 0 chg bounds, 125 chg sides, 396 chg coeffs, 230 upgd conss, 0 impls, 34236 clqs
1081.38/1084.52 c (round 5, exhaustive) 2 del vars, 52 del conss, 14 add conss, 0 chg bounds, 125 chg sides, 430 chg coeffs, 230 upgd conss, 0 impls, 34236 clqs
1081.48/1084.64 c (round 6, exhaustive) 2 del vars, 82 del conss, 14 add conss, 0 chg bounds, 125 chg sides, 1907 chg coeffs, 230 upgd conss, 0 impls, 34236 clqs
1081.58/1084.76 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1081.58/1084.76 c 2 deleted vars, 83 deleted constraints, 14 added constraints, 0 tightened bounds, 0 added holes, 125 changed sides, 1968 changed coefficients
1081.58/1084.76 c 0 implications, 34236 cliques
1081.58/1084.76 c presolved problem has 4969 variables (4969 bin, 0 int, 0 impl, 0 cont) and 5700 constraints
1081.58/1084.76 c 30 constraints of type <knapsack>
1081.58/1084.76 c 1179 constraints of type <setppc>
1081.58/1084.76 c 6 constraints of type <linear>
1081.58/1084.76 c 1 constraints of type <orbitope>
1081.58/1084.76 c 4484 constraints of type <logicor>
1081.58/1084.76 c transformed objective value is always integral (scale: 1)
1081.58/1084.76 c Presolving Time: 7.75
1081.58/1084.77 c
1085.07/1088.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1085.07/1088.20 c 1088s| 1 | 0 | 2872k| - | 143M | 0 |4969 |5714 |5141 | 0 | 0 | 803 | 27 | 0.000000e+00 | -- | Inf | unknown
1087.67/1090.86 c 1091s| 1 | 0 | 2876k| - | 144M | 0 |4969 |5729 |5153 | 12 | 1 | 808 | 27 | 0.000000e+00 | -- | Inf | unknown
1089.56/1092.79 c 1093s| 1 | 0 | 2881k| - | 145M | 0 |4969 |5707 |5165 | 24 | 2 | 810 | 27 | 0.000000e+00 | -- | Inf | unknown
1092.16/1095.39 c 1095s| 1 | 0 | 2887k| - | 145M | 0 |4969 |5703 |5180 | 39 | 3 | 813 | 27 | 0.000000e+00 | -- | Inf | unknown
1094.15/1097.35 c 1097s| 1 | 0 | 2891k| - | 145M | 0 |4969 |5700 |5197 | 56 | 4 | 823 | 27 | 0.000000e+00 | -- | Inf | unknown
1096.25/1099.47 c 1099s| 1 | 0 | 2895k| - | 146M | 0 |4969 |5698 |5214 | 73 | 5 | 833 | 27 | 0.000000e+00 | -- | Inf | unknown
1098.34/1101.57 c 1102s| 1 | 0 | 2899k| - | 147M | 0 |4969 |5702 |5226 | 85 | 6 | 839 | 27 | 0.000000e+00 | -- | Inf | unknown
1102.53/1105.77 c 1106s| 1 | 0 | 2908k| - | 147M | 0 |4969 |5702 |5239 | 98 | 7 | 840 | 27 | 0.000000e+00 | -- | Inf | unknown
1105.83/1109.09 c 1109s| 1 | 0 | 2915k| - | 148M | 0 |4969 |5695 |5253 | 112 | 8 | 843 | 27 | 0.000000e+00 | -- | Inf | unknown
1109.32/1112.59 c 1113s| 1 | 0 | 2922k| - | 148M | 0 |4969 |5689 |5264 | 123 | 9 | 848 | 27 | 0.000000e+00 | -- | Inf | unknown
1115.10/1118.31 c 1118s| 1 | 0 | 2932k| - | 150M | 0 |4969 |5682 |5280 | 139 | 10 | 850 | 27 | 0.000000e+00 | -- | Inf | unknown
1118.69/1121.95 c 1122s| 1 | 0 | 2939k| - | 150M | 0 |4969 |5674 |5290 | 149 | 11 | 851 | 27 | 0.000000e+00 | -- | Inf | unknown
1146.73/1150.09 c 1150s| 1 | 2 | 2988k| - | 151M | 0 |4969 |5625 |5290 | 149 | 11 | 856 | 38 | 0.000000e+00 | -- | Inf | unknown
1293.85/1297.52 c 1298s| 100 | 27 | 3400k|2498.3 | 154M | 27 |4969 |5659 |5211 | 200 | 0 | 908 | 38 | 0.000000e+00 | -- | Inf | unknown
1414.73/1418.72 c 1419s| 200 | 43 | 3726k|2553.1 | 157M | 31 |4969 |5699 |5211 | 209 | 1 |1000 | 38 | 0.000000e+00 | -- | Inf | unknown
1497.41/1501.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1497.41/1501.65 c 1502s| 300 | 51 | 3971k|2546.1 | 159M | 44 |4969 |5700 |5211 | 236 | 1 |1034 | 38 | 0.000000e+00 | -- | Inf | unknown
1545.69/1550.09 c 1550s| 400 | 59 | 4123k|2481.3 | 162M | 44 |4969 |5742 |5211 | 253 | 0 |1094 | 38 | 0.000000e+00 | -- | Inf | unknown
1579.79/1584.28 c 1584s| 500 | 59 | 4239k|2402.2 | 162M | 44 |4969 |5780 |5191 | 259 | 1 |1146 | 38 | 0.000000e+00 | -- | Inf | unknown
1620.18/1624.71 c 1625s| 600 | 67 | 4371k|2341.2 | 164M | 44 |4969 |5770 |5213 | 292 | 0 |1162 | 38 | 0.000000e+00 | -- | Inf | unknown
1679.29/1684.06 c 1684s| 700 | 69 | 4552k|2313.1 | 166M | 44 |4969 |5790 |5216 | 321 | 1 |1222 | 38 | 0.000000e+00 | -- | Inf | unknown
1721.27/1726.18 c 1726s| 800 | 79 | 4687k|2264.6 | 168M | 44 |4969 |5794 |5200 | 348 | 0 |1263 | 38 | 0.000000e+00 | -- | Inf | unknown
1748.18/1753.18 c 1753s| 900 | 79 | 4783k|2201.7 | 168M | 44 |4969 |5757 |5198 | 363 | 1 |1266 | 38 | 0.000000e+00 | -- | Inf | unknown
1774.79/1779.85 c 1780s| 1000 | 77 | 4878k|2144.4 | 168M | 44 |4969 |5775 |5199 | 371 | 1 |1287 | 38 | 0.000000e+00 | -- | Inf | unknown
1815.46/1820.65 c 1821s| 1100 | 77 | 5016k|2110.5 | 168M | 44 |4969 |5768 |5214 | 383 | 1 |1313 | 38 | 0.000000e+00 | -- | Inf | unknown
1853.34/1858.61 c 1859s| 1200 | 79 | 5146k|2076.6 | 169M | 44 |4969 |5768 |5199 | 403 | 0 |1328 | 38 | 0.000000e+00 | -- | Inf | unknown
1879.36/1884.72 c 1885s| 1300 | 77 | 5240k|2030.8 | 169M | 44 |4969 |5765 |5201 | 414 | 0 |1329 | 38 | 0.000000e+00 | -- | Inf | unknown
1907.57/1913.08 c 1913s| 1400 | 77 | 5342k|1991.4 | 169M | 44 |4969 |5776 |5203 | 423 | 0 |1340 | 38 | 0.000000e+00 | -- | Inf | unknown
1945.35/1950.93 c 1951s| 1500 | 77 | 5472k|1965.7 | 169M | 44 |4969 |5780 |5198 | 430 | 0 |1359 | 38 | 0.000000e+00 | -- | Inf | unknown
2072.54/2078.56 c 2079s| 1600 | 89 | 5873k|2039.2 | 169M | 44 |4969 |5772 |5217 | 466 | 1 |1391 | 38 | 0.000000e+00 | -- | Inf | unknown
2154.89/2161.13 c 2161s| 1700 | 98 | 6125k|2055.9 | 169M | 44 |4969 |5752 |5207 | 503 | 1 |1425 | 38 | 0.000000e+00 | -- | Inf | unknown
2272.51/2279.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2272.51/2279.11 c 2279s| 1800 | 110 | 6462k|2100.0 | 174M | 44 |4969 |5800 |5196 | 555 | 1 |1488 | 38 | 0.000000e+00 | -- | Inf | unknown
2388.64/2395.67 c 2396s| 1900 | 126 | 6782k|2135.9 | 175M | 44 |4969 |5810 |5221 | 611 | 1 |1565 | 38 | 0.000000e+00 | -- | Inf | 0.51%
2490.61/2497.97 c 2498s| 2000 | 133 | 7070k|2159.3 | 179M | 44 |4969 |5818 |5223 | 694 | 0 |1609 | 38 | 0.000000e+00 | -- | Inf | 0.61%
2703.25/2711.23 c 2711s| 2100 | 150 | 7508k|2227.1 | 180M | 44 |4969 |5842 |5226 | 738 | 0 |1720 | 38 | 0.000000e+00 | -- | Inf | 0.61%
2806.42/2814.73 c 2815s| 2200 | 154 | 7833k|2257.2 | 181M | 44 |4969 |5850 |5232 | 782 | 0 |1769 | 38 | 0.000000e+00 | -- | Inf | 0.62%
2859.95/2868.49 c 2868s| 2300 | 160 | 8006k|2242.2 | 181M | 44 |4969 |5887 |5204 | 801 | 0 |1830 | 38 | 0.000000e+00 | -- | Inf | 0.62%
2922.94/2931.65 c 2932s| 2400 | 162 | 8212k|2237.0 | 183M | 44 |4969 |5907 |5204 | 841 | 1 |1935 | 38 | 0.000000e+00 | -- | Inf | 0.62%
2982.85/2991.71 c 2992s| 2500 | 162 | 8408k|2229.6 | 184M | 44 |4969 |5967 |5211 | 897 | 0 |2040 | 38 | 0.000000e+00 | -- | Inf | 0.62%
3036.38/3045.40 c 3045s| 2600 | 160 | 8583k|2216.8 | 186M | 44 |4969 |6015 |5203 | 919 | 1 |2170 | 38 | 0.000000e+00 | -- | Inf | 0.62%
3102.77/3112.02 c 3112s| 2700 | 160 | 8796k|2214.7 | 187M | 44 |4969 |6102 |5213 | 975 | 0 |2339 | 38 | 0.000000e+00 | -- | Inf | 0.62%
3167.96/3177.46 c 3177s| 2800 | 158 | 9004k|2211.3 | 191M | 44 |4969 |6211 |5214 |1034 | 1 |2489 | 38 | 0.000000e+00 | -- | Inf | 0.62%
3216.41/3226.03 c 3226s| 2900 | 156 | 9160k|2195.3 | 192M | 51 |4969 |6158 |5226 |1091 | 0 |2539 | 38 | 0.000000e+00 | -- | Inf | 0.63%
3274.02/3283.84 c 3284s| 3000 | 164 | 9344k|2186.6 | 192M | 51 |4969 |6185 |5220 |1151 | 1 |2679 | 38 | 0.000000e+00 | -- | Inf | 0.63%
3362.05/3372.17 c 3372s| 3100 | 172 | 9614k|2198.7 | 194M | 51 |4969 |6194 |5203 |1238 | 0 |2728 | 38 | 0.000000e+00 | -- | Inf | 0.64%
3409.59/3419.89 c 3420s| 3200 | 172 | 9770k|2184.2 | 194M | 51 |4969 |6223 |5208 |1273 | 0 |2785 | 38 | 0.000000e+00 | -- | Inf | 0.64%
3462.63/3473.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3462.63/3473.03 c 3473s| 3300 | 174 | 9945k|2174.4 | 194M | 51 |4969 |6245 |5204 |1306 | 1 |2843 | 38 | 0.000000e+00 | -- | Inf | 0.64%
3513.86/3524.41 c 3524s| 3400 | 174 | 10114k|2163.8 | 195M | 51 |4969 |6311 |5214 |1331 | 1 |2955 | 38 | 0.000000e+00 | -- | Inf | 0.64%
3561.71/3572.43 c 3572s| 3500 | 174 | 10270k|2150.8 | 195M | 51 |4969 |6359 |5200 |1367 | 1 |3039 | 38 | 0.000000e+00 | -- | Inf | 0.64%
3586.23/3597.00 c
3586.23/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.23/3597.00 c Solving Time (sec) : 3597.00
3586.23/3597.00 c Solving Nodes : 3546 (total of 4724 nodes in 2 runs)
3586.23/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.23/3597.00 c Dual Bound : +0.00000000000000e+00
3586.23/3597.00 c Gap : infinite
3586.23/3597.00 s UNKNOWN
3586.23/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.23/3597.00 c Total Time : 3597.00
3586.23/3597.00 c solving : 3597.00
3586.23/3597.00 c presolving : 7.75 (included in solving)
3586.23/3597.00 c reading : 0.02 (included in solving)
3586.23/3597.00 c copying : 1.44 (105 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.23/3597.00 c Original Problem :
3586.23/3597.00 c Problem name : HOME/instance-4507346-1751185786.opb
3586.23/3597.00 c Variables : 5712 (5712 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.23/3597.00 c Constraints : 5882 initial, 5882 maximal
3586.23/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.23/3597.00 c Presolved Problem :
3586.23/3597.00 c Problem name : t_HOME/instance-4507346-1751185786.opb
3586.23/3597.00 c Variables : 4969 (4969 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.23/3597.00 c Constraints : 5700 initial, 6380 maximal
3586.23/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.23/3597.00 c Nonzeros : 70160 constraint, 73312 clique table
3586.23/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.23/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c domcol : 0.10 0.00 13 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c gateextraction : 0.05 0.00 18 0 0 0 0 0 1 0 0 0
3586.23/3597.00 c implics : 0.00 0.00 22 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c milp : 0.05 0.00 1 81 0 0 0 0 0 0 0 0
3586.23/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c sparsify : 0.12 0.00 3 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c trivial : 0.00 0.00 41 287 0 0 0 0 0 0 0 0
3586.23/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c dualfix : 0.00 0.00 41 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c probing : 6.71 0.00 12 225 3 0 0 0 0 0 0 0
3586.23/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c symmetry : 0.03 0.00 1 6 0 0 0 0 0 1 0 0
3586.23/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c knapsack : 0.02 0.00 12 0 0 0 0 0 1 14 116 467
3586.23/3597.00 c setppc : 0.05 0.00 69 0 0 0 0 0 124 0 0 0
3586.23/3597.00 c linear : 0.04 0.00 22 141 0 0 141 0 477 0 9 1
3586.23/3597.00 c orbitope : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c logicor : 0.52 0.01 66 62 0 0 0 0 247 0 0 1946
3586.23/3597.00 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c root node : - - - 2 - - 2 - - - - -
3586.23/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.23/3597.00 c benderslp : 0 0 0 0 2484 0 0 380 0 0 0 0 0 0 0
3586.23/3597.00 c integral : 0 0 0 0 2484 0 0 380 0 0 1 0 0 0 4966
3586.23/3597.00 c knapsack : 30+ 31 11 38178 0 0 0 0 67498 0 9825 14 6 0 0
3586.23/3597.00 c setppc : 1179+ 1199 23 147335 0 0 0 375 751873 207 156269 0 0 0 0
3586.23/3597.00 c linear : 6+ 51 23 48102 0 0 0 3 1570 6 434 8 7 0 0
3586.23/3597.00 c orbitope : 1 1 0 50942 0 0 0 0 5122 11 2475 0 0 0 0
3586.23/3597.00 c logicor : 4484+ 5124 23 127372 0 0 0 0 1476401 230 289676 76 37 0 0
3586.23/3597.00 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.23/3597.00 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c integral : 17.38 0.00 0.00 0.00 17.38 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c knapsack : 0.29 0.00 0.12 0.15 0.00 0.00 0.00 0.00 0.02 0.00
3586.23/3597.00 c setppc : 1.44 0.00 0.00 1.25 0.00 0.00 0.00 0.00 0.17 0.02
3586.23/3597.00 c linear : 0.06 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c orbitope : 0.10 0.00 0.00 0.10 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c logicor : 3.46 0.01 0.02 2.87 0.00 0.00 0.00 0.00 0.54 0.03
3586.23/3597.00 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.23/3597.00 c dualfix : 4 0 0 0
3586.23/3597.00 c genvbounds : 0 0 0 0
3586.23/3597.00 c nlobbt : 0 0 0 0
3586.23/3597.00 c obbt : 0 0 0 0
3586.23/3597.00 c probing : 0 0 0 0
3586.23/3597.00 c pseudoobj : 0 0 0 0
3586.23/3597.00 c redcost : 0 0 0 0
3586.23/3597.00 c rootredcost : 0 0 0 0
3586.23/3597.00 c symmetry : 2872 0 0 24
3586.23/3597.00 c vbounds : 30461 0 0 0
3586.23/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.23/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.23/3597.00 c probing : 6.71 0.00 6.71 0.00 0.00 0.00
3586.23/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.23/3597.00 c symmetry : 0.07 0.00 0.03 0.04 0.00 0.00
3586.23/3597.00 c vbounds : 0.29 0.00 0.01 0.28 0.00 0.00
3586.23/3597.00 c Symmetry :
3586.23/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.23/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.23/3597.00 c lexicographic red: 24 reductions applied, 0 cutoffs
3586.23/3597.00 c shadow tree time : 0.01 s
3586.23/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.23/3597.00 c propagation : 0.08 439 279 - 1547 114.4 17 30.1 - - -
3586.23/3597.00 c infeasible LP : 5.92 2166 838 - 17019 789.7 29 34.6 29 301.5 0
3586.23/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.23/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.23/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.23/3597.00 c applied globally : 0.11 - - 0 3004 261.6 - - 25 - -
3586.23/3597.00 c applied locally : - - - 0 20 843.7 - - 4 - -
3586.23/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.23/3597.00 c cut pool : 0.08 - 631 45 - - 1306 10845 - - - - - (maximal pool size: 554)
3586.23/3597.00 c aggregation : 0.12 0.00 90 23 0 0 3 36 1 16 16 0 0
3586.23/3597.00 c > cmir : - - - - - - - 36 0 16 16 0 -
3586.23/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.23/3597.00 c > knapsackcover : - - - - - - - 0 1 0 0 0 -
3586.23/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c clique : 0.70 0.00 23 23 0 0 175 1110 0 414 414 0 0
3586.23/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c gomory : 10.72 0.00 87 20 0 0 953 8502 110 690 684 6 0
3586.23/3597.00 c > gomorymi : - - - - - - - 3835 55 379 376 3 -
3586.23/3597.00 c > strongcg : - - - - - - - 4667 55 311 308 3 -
3586.23/3597.00 c impliedbounds : 0.11 0.00 90 23 0 0 116 389 0 166 166 0 0
3586.23/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c multilinear : 0.00 0.00 120 23 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c rapidlearning : 30.84 0.00 100 2 0 43468 0 0 0 0 0 0 736
3586.23/3597.00 c rlt : 0.00 0.00 61 20 0 0 0 0 0 0 0 0 0
3586.23/3597.00 c zerohalf : 6.73 0.00 90 23 0 0 339 808 169 543 396 147 0
3586.23/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.23/3597.00 c hybrid : 0.01 0.00 409 24 1930 0 8713 271 0 279
3586.23/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.23/3597.00 c problem variables: 0.00 - 0 0
3586.23/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.23/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c relpscost : 17.37 0.00 2484 0 0 0 1 0 1 4966
3586.23/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.23/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.23/3597.00 c LP solutions : 0.00 - - 0 0
3586.23/3597.00 c relax solutions : 0.00 - - 0 0
3586.23/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.23/3597.00 c strong branching : 0.00 - - 0 0
3586.23/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.23/3597.00 c adaptivediving : 43.50 0.00 5 0 0
3586.23/3597.00 c alns : 2.28 0.00 4 0 0
3586.23/3597.00 c bound : 0.00 0.00 0 0 0
3586.23/3597.00 c clique : 0.02 0.00 1 0 0
3586.23/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.23/3597.00 c completesol : 0.00 0.00 0 0 0
3586.23/3597.00 c conflictdiving : 62.11 0.00 5 0 0
3586.23/3597.00 c crossover : 0.00 0.00 0 0 0
3586.23/3597.00 c dins : 0.00 0.00 0 0 0
3586.23/3597.00 c distributiondivin: 35.08 0.00 5 0 0
3586.23/3597.00 c dps : 0.00 0.00 0 0 0
3586.23/3597.00 c dualval : 0.00 0.00 0 0 0
3586.23/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.23/3597.00 c feasjump : 0.04 0.00 2 0 0
3586.23/3597.00 c feaspump : 62.04 0.00 3 0 0
3586.23/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.23/3597.00 c fracdiving : 45.53 0.00 5 0 0
3586.23/3597.00 c gins : 0.00 0.00 0 0 0
3586.23/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.23/3597.00 c indcoefdiving : 0.00 0.00 0 0 0
3586.23/3597.00 c indicator : 0.00 0.00 0 0 0
3586.23/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.23/3597.00 c indoneopt : 0.00 0.00 0 0 0
3586.23/3597.00 c indrounding : 0.00 0.00 0 0 0
3586.23/3597.00 c indtwoopt : 0.00 0.00 0 0 0
3586.23/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.23/3597.01 c intshifting : 0.00 0.00 0 0 0
3586.23/3597.01 c linesearchdiving : 61.17 0.00 5 0 0
3586.23/3597.01 c localbranching : 0.00 0.00 0 0 0
3586.23/3597.01 c locks : 0.01 0.00 1 0 0
3586.23/3597.01 c lpface : 0.02 0.00 0 0 0
3586.23/3597.01 c mpec : 0.00 0.00 0 0 0
3586.23/3597.01 c multistart : 0.00 0.00 0 0 0
3586.23/3597.01 c mutation : 0.00 0.00 0 0 0
3586.23/3597.01 c nlpdiving : 0.00 0.00 0 0 0
3586.23/3597.01 c objpscostdiving : 313.76 0.00 2 0 0
3586.23/3597.01 c octane : 0.00 0.00 0 0 0
3586.23/3597.01 c ofins : 0.00 0.00 0 0 0
3586.23/3597.01 c oneopt : 0.00 0.00 0 0 0
3586.23/3597.01 c padm : 0.00 0.00 0 0 0
3586.23/3597.01 c proximity : 0.00 0.00 0 0 0
3586.23/3597.01 c pscostdiving : 44.52 0.00 5 0 0
3586.23/3597.01 c randrounding : 0.25 0.00 393 0 0
3586.23/3597.01 c rens : 0.19 0.00 2 0 0
3586.23/3597.01 c reoptsols : 0.00 0.00 0 0 0
3586.23/3597.01 c repair : 0.00 0.00 0 0 0
3586.23/3597.01 c rins : 0.00 0.00 0 0 0
3586.23/3597.01 c rootsoldiving : 56.66 0.00 3 0 0
3586.23/3597.01 c rounding : 0.13 0.00 700 0 0
3586.23/3597.01 c scheduler : 0.00 0.00 0 0 0
3586.23/3597.01 c shiftandpropagate: 0.04 0.00 2 0 0
3586.23/3597.01 c shifting : 0.44 0.00 309 0 0
3586.23/3597.01 c simplerounding : 0.00 0.00 0 0 0
3586.23/3597.01 c smallcard : 0.00 0.00 0 0 0
3586.23/3597.01 c subnlp : 0.00 0.00 0 0 0
3586.23/3597.01 c trivial : 0.01 0.00 4 0 0
3586.23/3597.01 c trivialnegation : 0.00 0.00 0 0 0
3586.23/3597.01 c trustregion : 0.00 0.00 0 0 0
3586.23/3597.01 c trysol : 0.00 0.00 0 0 0
3586.23/3597.01 c twoopt : 0.00 0.00 0 0 0
3586.23/3597.01 c undercover : 0.00 0.00 0 0 0
3586.23/3597.01 c vbounds : 0.03 0.00 2 0 0
3586.23/3597.01 c veclendiving : 37.05 0.00 5 0 0
3586.23/3597.01 c zeroobj : 0.00 0.00 0 0 0
3586.23/3597.01 c zirounding : 0.07 0.00 1000 0 0
3586.23/3597.01 c other solutions : - - - 0 -
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/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
3586.23/3597.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.23/3597.01 c primal LP : 0.64 156 0 0.00 0.00 0.64 156
3586.23/3597.01 c dual LP : 2743.24 5099 8677277 1708.80 3163.15 0.03 21
3586.23/3597.01 c lex dual LP : 0.00 0 0 0.00 -
3586.23/3597.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.23/3597.01 c resolve instable : 6.52 20 14581 729.05 2237.42
3586.23/3597.01 c diving/probing LP: 761.15 2265 1672913 738.59 2197.87
3586.23/3597.01 c strong branching : 13.57 38 28219 742.61 2080.11 - - 47
3586.23/3597.01 c (at root node) : - 38 28219 742.61 -
3586.23/3597.01 c conflict analysis: 0.00 0 0 0.00 -
3586.23/3597.01 c B&B Tree :
3586.23/3597.01 c number of runs : 2
3586.23/3597.01 c nodes : 3546 (1863 internal, 1683 leaves)
3586.23/3597.01 c feasible leaves : 0
3586.23/3597.01 c infeas. leaves : 1682
3586.23/3597.01 c objective leaves : 0
3586.23/3597.01 c nodes (total) : 4724 (2483 internal, 2241 leaves)
3586.23/3597.01 c nodes left : 175
3586.23/3597.01 c max depth : 51
3586.23/3597.01 c max depth (total): 51
3586.23/3597.01 c backtracks : 452 (12.7%)
3586.23/3597.01 c early backtracks : 0 (0.0%)
3586.23/3597.01 c nodes exc. ref. : 0 (0.0%)
3586.23/3597.01 c delayed cutoffs : 7
3586.23/3597.01 c repropagations : 1743 (6825 domain reductions, 6 cutoffs)
3586.23/3597.01 c avg switch length: 3.67
3586.23/3597.01 c switching time : 1.97
3586.23/3597.01 c Root Node :
3586.23/3597.01 c First LP value : +0.00000000000000e+00
3586.23/3597.01 c First LP Iters : 11057 (3201.27 Iter/sec)
3586.23/3597.01 c First LP Time : 3.45
3586.23/3597.01 c Final Dual Bound : +0.00000000000000e+00
3586.23/3597.01 c Final Root Iters : 210684
3586.23/3597.01 c Root LP Estimate : +3.29152812527610e-02
3586.23/3597.01 c Solution :
3586.23/3597.01 c Solutions found : 0 (0 improvements)
3586.23/3597.01 c Primal Bound : -
3586.23/3597.01 c Dual Bound : +0.00000000000000e+00
3586.23/3597.01 c Gap : infinite
3586.23/3597.01 c Integrals : Total Avg%
3586.23/3597.01 c primal-dual : 359699.85 100.00
3586.23/3597.01 c primal-ref : - - (not evaluated)
3586.23/3597.01 c dual-ref : - - (not evaluated)
3586.23/3597.05 c Time complete: 3586.3.
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 (62984 MiB free)
memory of node 1: 64465 MiB (63842 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507346-1751185786/watcher-4507346-1751185786 -o /tmp/evaluation-result-4507346-1751185786/solver-4507346-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23750 --watchdog 3760 pbscip -f HOME/instance-4507346-1751185786.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=24168, runsolver pid=24165
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129746592/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=75860 memory=49240 CPUtime=0.09 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 9789 0 0 0 8 1 0 0 20 0 1 0 34257236 77680640 12310 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 18965 12310 3680 3530 0 10416 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75860 KiB
Current children cumulated memory: 49240 KiB
[startup+0.205496 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129695876/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=90076 memory=60992 CPUtime=0.2 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 13309 0 0 0 18 2 0 0 20 0 1 0 34257236 92237824 15248 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 22519 15248 3712 3530 0 13970 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90076 KiB
Current children cumulated memory: 60992 KiB
[startup+0.305527 s]*
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129645476/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=100096 memory=71104 CPUtime=0.29 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 15794 0 0 0 27 2 0 0 20 0 1 0 34257236 102498304 17776 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 25024 17776 3744 3530 0 16475 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 100096 KiB
Current children cumulated memory: 71104 KiB
[startup+0.700167 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129645832/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=100624 memory=71616 CPUtime=0.68 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 15926 0 0 0 66 2 0 0 20 0 1 0 34257236 103038976 17904 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 25156 17904 3744 3530 0 16607 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100624 KiB
Current children cumulated memory: 71616 KiB
[startup+1.50017 s]
/proc/loadavg: 4.10 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129637264/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=100624 memory=72128 CPUtime=1.48 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 16077 0 0 0 146 2 0 0 20 0 1 0 34257236 103038976 18032 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 25156 18032 3744 3530 0 16607 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100624 KiB
Current children cumulated memory: 72128 KiB
[startup+3.10537 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129593728/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=100624 memory=72256 CPUtime=3.08 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 16086 0 0 0 306 2 0 0 20 0 1 0 34257236 103038976 18064 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 25156 18064 3744 3530 0 16607 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100624 KiB
Current children cumulated memory: 72256 KiB
[startup+6.30016 s]
/proc/loadavg: 4.09 4.10 4.05 5/265 24169
/proc/meminfo: memFree=129594144/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=101752 memory=73280 CPUtime=6.26 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 16342 0 0 0 624 2 0 0 20 0 1 0 34257236 104194048 18320 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 25438 18320 3744 3530 0 16889 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 101752 KiB
Current children cumulated memory: 73280 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129506220/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=131924 memory=95524 CPUtime=12.65 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 22913 0 0 0 1262 3 0 0 20 0 1 0 34257236 135090176 23881 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 32981 23881 3968 3530 0 24432 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 131924 KiB
Current children cumulated memory: 95524 KiB
[startup+25.5001 s]
/proc/loadavg: 4.06 4.09 4.05 5/265 24169
/proc/meminfo: memFree=129506248/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=132056 memory=96164 CPUtime=25.41 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 23076 0 0 0 2538 3 0 0 20 0 1 0 34257236 135225344 24041 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 33014 24041 3968 3530 0 24465 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 132056 KiB
Current children cumulated memory: 96164 KiB
[startup+51.1046 s]
/proc/loadavg: 4.04 4.08 4.05 5/265 24170
/proc/meminfo: memFree=129142068/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=201104 memory=162968 CPUtime=50.93 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 40180 0 0 0 5087 6 0 0 20 0 1 0 34257236 205930496 40742 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 50276 40742 3968 3530 0 41727 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 201104 KiB
Current children cumulated memory: 162968 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=24168] ppid=24165 vsize=199908 memory=163588 CPUtime=101.96 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 40610 0 0 0 10190 6 0 0 20 0 1 0 34257236 204705792 40897 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49977 40897 3968 3530 0 41428 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 199908 KiB
Current children cumulated memory: 163588 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=24168] ppid=24165 vsize=199896 memory=164032 CPUtime=161.77 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 44953 0 0 0 16169 8 0 0 20 0 1 0 34257236 204693504 41008 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41008 3968 3530 0 41425 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 164032 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=24168] ppid=24165 vsize=199896 memory=164108 CPUtime=221.58 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 48662 0 0 0 22149 9 0 0 20 0 1 0 34257236 204693504 41027 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41027 3968 3530 0 41425 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 164108 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=24168] ppid=24165 vsize=199896 memory=164108 CPUtime=281.4 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 48662 0 0 0 28131 9 0 0 20 0 1 0 34257236 204693504 41027 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41027 3968 3530 0 41425 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 164108 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=24168] ppid=24165 vsize=199896 memory=164108 CPUtime=341.21 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 48662 0 0 0 34112 9 0 0 20 0 1 0 34257236 204693504 41027 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41027 3968 3530 0 41425 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 164108 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=24168] ppid=24165 vsize=199896 memory=164108 CPUtime=401.01 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 48662 0 0 0 40092 9 0 0 20 0 1 0 34257236 204693504 41027 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41027 3968 3530 0 41425 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 199896 KiB
Current children cumulated memory: 164108 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=24168] ppid=24165 vsize=199896 memory=164108 CPUtime=460.82 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 48662 0 0 0 46073 9 0 0 20 0 1 0 34257236 204693504 41027 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 49974 41027 3968 3530 0 41425 0
################
# More data... #
################
/proc/loadavg: 4.11 4.09 4.09 5/265 24348
/proc/meminfo: memFree=128668152/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3152.91 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 315278 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3212.72 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 321259 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3212.72 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3272.53 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 327240 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3332.34 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 333221 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3392.15 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 339202 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3451.96 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 345183 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3511.77 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 351164 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3571.58 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 357145 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3571.58 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 KiB
[startup+3597.06 s]
# the end of solver process 24168 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.16 s, system=0.141505 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3573.28 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 357315 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3573.28 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3579.65 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 357952 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3579.65 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3582.84 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 358271 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3584.44 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 358431 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3584.44 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 KiB
[startup+3596 s]*
/proc/loadavg: 4.48 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3585.24 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 358511 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3585.24 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 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=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3586.03 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 358590 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 KiB
[startup+3597 s]*
/proc/loadavg: 4.44 4.18 4.12 5/263 24365
/proc/meminfo: memFree=128668388/131250000 swapFree=33010684/33010684
[pid=24168] ppid=24165 vsize=259504 memory=234244 CPUtime=3586.23 cores=1,3
/proc/24168/stat : 24168 (pbscip) R 24165 24168 23738 0 -1 4194304 79920 0 0 0 358610 13 0 0 20 0 1 0 34257236 265732096 58561 18446744073709551615 4235264 18693293 140728825294416 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 50368512 140728825297289 140728825297388 140728825297388 140728825302990 0
/proc/24168/statm: 64876 58561 4128 3530 0 56327 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 259504 KiB
Current children cumulated memory: 234244 KiB
Child status: 0
Real time (s): 3597.06
CPU time (s): 3586.3
CPU user time (s): 3586.16
CPU system time (s): 0.141505
CPU usage (%): 99.701
Max. virtual memory (cumulated for all children) (KiB): 259504
Max. memory (cumulated for all children) (KiB): 234244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.16
system time used= 0.141505
maximum resident set size= 234244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79930
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= 107
involuntary context switches= 1157
# summary of solver processes directly reported to runsolver:
# pid: 24168
# total CPU time (s): 3586.3
# total CPU user time (s): 3586.16
# total CPU system time (s): 0.141505
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.09722 second user time and 12.4079 second system time
The end
Begin job on nodeC026 at 2025-06-29 10:29:46 IDJOB=4507346 IDBENCH=158343 IDSOLVER=3365 FILE ID=nodeC026/4507346-1751185786 RUNJOBID= nodeC026-1751182186-23750 SLURM_JOB_ID= 9587556 Free space on /tmp= 433000 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507346-1751185786/watcher-4507346-1751185786 -o /tmp/evaluation-result-4507346-1751185786/solver-4507346-1751185786 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751182186-23750 --watchdog 3760 pbscip -f HOME/instance-4507346-1751185786.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e 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.881 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 : 3599.984 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.675 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.814 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.218 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 : 3600.258 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.881 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.786 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: 129930556 kB MemAvailable: 129738692 kB Buffers: 3280 kB Cached: 617948 kB SwapCached: 0 kB Active: 293212 kB Inactive: 397760 kB Active(anon): 87824 kB Inactive(anon): 0 kB Active(file): 205388 kB Inactive(file): 397760 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 77200 kB Writeback: 28 kB AnonPages: 72628 kB Mapped: 103080 kB Shmem: 18080 kB KReclaimable: 88452 kB Slab: 174340 kB SReclaimable: 88452 kB SUnreclaim: 85888 kB KernelStack: 4176 kB PageTables: 2968 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 364120 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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