| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 3586.86 | 3597.05 |
| 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.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4507347-1751190884.opb>
0.00/0.01 c original problem has 5712 variables (5712 bin, 0 int, 0 cont) and 5882 constraints
0.00/0.02 c problem read in 0.017 seconds
0.00/0.02 c problem without objective
0.00/0.03 c presolving:
0.00/0.04 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.04 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.04 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.04 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.04 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.06 c (0.1s) running MILP presolver
0.10/0.10 c (0.1s) MILP presolver (4 rounds): 1 aggregations, 81 fixings, 0 bound changes
0.10/0.10 c (round 6, medium) 665 del vars, 305 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1169 clqs
0.10/0.11 c (round 7, fast) 665 del vars, 388 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1171 clqs
0.10/0.11 c (round 8, exhaustive) 665 del vars, 469 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1171 clqs
0.10/0.13 c (round 9, exhaustive) 665 del vars, 469 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 0 chg coeffs, 5413 upgd conss, 0 impls, 1171 clqs
0.10/0.15 c (round 10, exhaustive) 727 del vars, 469 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5413 upgd conss, 0 impls, 1159 clqs
0.10/0.15 c (round 11, fast) 789 del vars, 531 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5413 upgd conss, 0 impls, 1159 clqs
0.50/0.60 c (round 12, exhaustive) 816 del vars, 532 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 61 chg coeffs, 5413 upgd conss, 0 impls, 33514 clqs
0.50/0.60 c (round 13, fast) 818 del vars, 559 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 123 chg coeffs, 5413 upgd conss, 0 impls, 33531 clqs
0.88/0.91 c (round 14, exhaustive) 844 del vars, 559 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 123 chg coeffs, 5413 upgd conss, 0 impls, 34119 clqs
0.88/0.91 c (round 15, fast) 844 del vars, 585 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 5413 upgd conss, 0 impls, 34122 clqs
0.99/1.05 c (round 16, exhaustive) 869 del vars, 585 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 168 chg coeffs, 5413 upgd conss, 0 impls, 34129 clqs
0.99/1.05 c (round 17, fast) 869 del vars, 610 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 220 chg coeffs, 5413 upgd conss, 0 impls, 34134 clqs
1.10/1.15 c (round 18, exhaustive) 894 del vars, 610 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 220 chg coeffs, 5413 upgd conss, 0 impls, 34128 clqs
1.10/1.15 c (round 19, fast) 894 del vars, 635 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 5413 upgd conss, 0 impls, 34132 clqs
1.10/1.18 c (round 20, exhaustive) 919 del vars, 635 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 258 chg coeffs, 5413 upgd conss, 0 impls, 34074 clqs
1.10/1.18 c (round 21, fast) 919 del vars, 660 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 282 chg coeffs, 5413 upgd conss, 0 impls, 34074 clqs
1.39/1.48 c (1.5s) probing: 1000/5206 (19.2%) - 146 fixings, 1 aggregations, 562636 implications, 0 bound changes
2.19/2.21 c (round 22, exhaustive) 944 del vars, 660 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 282 chg coeffs, 5413 upgd conss, 0 impls, 34125 clqs
2.19/2.21 c (round 23, fast) 944 del vars, 685 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 306 chg coeffs, 5413 upgd conss, 0 impls, 34125 clqs
2.19/2.24 c (round 24, exhaustive) 969 del vars, 685 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 306 chg coeffs, 5413 upgd conss, 0 impls, 34125 clqs
2.19/2.25 c (round 25, fast) 969 del vars, 710 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 331 chg coeffs, 5413 upgd conss, 0 impls, 34125 clqs
2.39/2.43 c (2.4s) probing: 2000/5206 (38.4%) - 185 fixings, 1 aggregations, 1055981 implications, 0 bound changes
2.88/2.99 c (round 26, exhaustive) 994 del vars, 710 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 331 chg coeffs, 5413 upgd conss, 0 impls, 34209 clqs
2.88/3.00 c (round 27, fast) 994 del vars, 735 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 379 chg coeffs, 5413 upgd conss, 0 impls, 34212 clqs
3.18/3.27 c (3.3s) probing: 3000/5206 (57.6%) - 219 fixings, 1 aggregations, 1452469 implications, 0 bound changes
3.99/4.07 c (4.1s) probing: 4000/5206 (76.8%) - 222 fixings, 1 aggregations, 1860291 implications, 0 bound changes
4.37/4.46 c (4.5s) probing: 4487/5206 (86.2%) - 222 fixings, 1 aggregations, 2042086 implications, 0 bound changes
4.37/4.46 c (4.5s) probing aborted: 1000/1000 successive useless probings
4.37/4.46 c (round 28, exhaustive) 1016 del vars, 735 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 379 chg coeffs, 5413 upgd conss, 0 impls, 34219 clqs
4.37/4.46 c (round 29, fast) 1016 del vars, 757 del conss, 0 add conss, 141 chg bounds, 0 chg sides, 411 chg coeffs, 5413 upgd conss, 0 impls, 34219 clqs
4.47/4.57 c (4.6s) probing: 4587/5206 (88.1%) - 222 fixings, 1 aggregations, 2079685 implications, 0 bound changes
4.47/4.57 c (4.6s) probing aborted: 1000/1000 successive useless probings
4.47/4.58 c (4.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
4.47/4.59 c (4.6s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 2.58) (symcode time: 0.00)
4.57/4.60 c dynamic symmetry handling statistics:
4.57/4.60 c orbitopal reduction: no components
4.57/4.60 c orbital reduction: no components
4.57/4.60 c lexicographic reduction: 4 permutations with support sizes 156, 308, 156, 140
4.57/4.60 c handled 5 out of 5 symmetry components
4.57/4.60 c presolving (30 rounds: 30 fast, 14 medium, 13 exhaustive):
4.57/4.60 c 1019 deleted vars, 757 deleted constraints, 3 added constraints, 141 tightened bounds, 0 added holes, 0 changed sides, 411 changed coefficients
4.57/4.60 c 0 implications, 34230 cliques
4.57/4.60 c presolved problem has 4978 variables (4978 bin, 0 int, 0 cont) and 5128 constraints
4.57/4.60 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
4.57/4.60 c 1 constraints of type <knapsack>
4.57/4.60 c 1098 constraints of type <setppc>
4.57/4.60 c 3 constraints of type <orbitope_pp>
4.57/4.60 c 4026 constraints of type <logicor>
4.57/4.60 c transformed objective value is always integral (scale: 1)
4.57/4.60 c Presolving Time: 4.57
4.57/4.60 c
4.57/4.60 c - non default parameters ----------------------------------------------------------------------
4.57/4.60 c
4.57/4.60 c # SCIP version 10.0.0
4.57/4.60 c
4.57/4.60 c # maximal time in seconds to run
4.57/4.60 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
4.57/4.60 c limits/time = 3596.999002
4.57/4.60 c
4.57/4.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.57/4.60 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
4.57/4.60 c limits/memory = 27900
4.57/4.60 c
4.57/4.60 c # belongs reading time to solving time?
4.57/4.60 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
4.57/4.60 c timing/reading = TRUE
4.57/4.60 c
4.57/4.60 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
4.57/4.60 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
4.57/4.60 c reading/opbreader/maxintsize = 47
4.57/4.60 c
4.57/4.60 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
4.57/4.60 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
4.57/4.60 c propagating/genvbounds/timingmask = 0
4.57/4.60 c
4.57/4.60 c -----------------------------------------------------------------------------------------------
4.57/4.60 c
8.05/8.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.05/8.15 c 8.1s| 1 | 0 | 10997 | - | 110M | 0 |4978 |5273 |5122 | 0 | 0 | 147 | 0 | 0.000000e+00 | -- | Inf | unknown
41.55/41.70 c 41.7s| 1 | 0 | 66585 | - | 118M | 0 |4978 |5481 |5127 | 5 | 1 | 157 | 0 | 0.000000e+00 | -- | Inf | unknown
43.64/43.81 c 43.8s| 1 | 0 | 71193 | - | 124M | 0 |4978 |5478 |5133 | 11 | 2 | 158 | 0 | 0.000000e+00 | -- | Inf | unknown
46.03/46.20 c 46.2s| 1 | 0 | 76273 | - | 126M | 0 |4978 |5479 |5148 | 26 | 3 | 161 | 0 | 0.000000e+00 | -- | Inf | unknown
48.93/49.11 c 49.1s| 1 | 0 | 82825 | - | 129M | 0 |4978 |5478 |5159 | 37 | 4 | 163 | 0 | 0.000000e+00 | -- | Inf | unknown
51.22/51.40 c 51.4s| 1 | 0 | 87495 | - | 129M | 0 |4978 |5484 |5171 | 49 | 5 | 170 | 0 | 0.000000e+00 | -- | Inf | unknown
54.01/54.25 c 54.3s| 1 | 0 | 93375 | - | 130M | 0 |4978 |5478 |5183 | 61 | 6 | 172 | 0 | 0.000000e+00 | -- | Inf | unknown
57.60/57.80 c 57.8s| 1 | 0 |100840 | - | 131M | 0 |4978 |5471 |5195 | 73 | 7 | 173 | 0 | 0.000000e+00 | -- | Inf | unknown
60.90/61.12 c 61.1s| 1 | 0 |107303 | - | 133M | 0 |4978 |5465 |5206 | 84 | 8 | 176 | 0 | 0.000000e+00 | -- | Inf | unknown
64.18/64.44 c 64.4s| 1 | 0 |113904 | - | 136M | 0 |4978 |5469 |5221 | 99 | 9 | 180 | 0 | 0.000000e+00 | -- | Inf | unknown
69.47/69.74 c 69.7s| 1 | 0 |124165 | - | 136M | 0 |4978 |5472 |5237 | 115 | 10 | 183 | 0 | 0.000000e+00 | -- | Inf | unknown
73.76/74.00 c 74.0s| 1 | 0 |132812 | - | 137M | 0 |4978 |5471 |5247 | 125 | 11 | 184 | 0 | 0.000000e+00 | -- | Inf | unknown
95.80/96.17 c 96.2s| 1 | 2 |171932 | - | 140M | 0 |4978 |5483 |5247 | 125 | 11 | 207 | 10 | 0.000000e+00 | -- | Inf | unknown
261.49/262.34 c 262s| 100 | 31 |560459 |4319.7 | 146M | 20 |4978 |5536 |5212 | 184 | 1 | 301 | 10 | 0.000000e+00 | -- | Inf | 12.51%
347.52/348.67 c 349s| 200 | 47 |806011 |3382.9 | 156M | 40 |4978 |5598 |5219 | 248 | 1 | 375 | 10 | 0.000000e+00 | -- | Inf | 12.52%
488.78/490.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
488.78/490.31 c 490s| 300 | 49 | 1156k|3422.4 | 171M | 40 |4978 |5569 |5219 | 346 | 0 | 417 | 10 | 0.000000e+00 | -- | Inf | 13.33%
565.04/566.88 c 567s| 400 | 49 | 1397k|3170.1 | 176M | 40 |4978 |5597 |5223 | 440 | 0 | 470 | 10 | 0.000000e+00 | -- | Inf | 13.34%
616.28/618.24 c 618s| 500 | 49 | 1561k|2863.4 | 179M | 40 |4978 |5613 |5224 | 475 | 1 | 522 | 10 | 0.000000e+00 | -- | Inf | 13.34%
667.92/670.05 c 670s| 600 | 46 | 1731k|2668.4 | 181M | 40 |4978 |5629 |5220 | 503 | 0 | 595 | 10 | 0.000000e+00 | -- | Inf | 13.34%
723.54/725.85 c 726s| 700 | 51 | 1912k|2545.8 | 184M | 40 |4978 |5631 |5225 | 533 | 1 | 656 | 10 | 0.000000e+00 | -- | Inf | 13.34%
780.56/783.01 c 783s| 800 | 51 | 2094k|2455.8 | 188M | 50 |4978 |5629 |5248 | 575 | 1 | 683 | 10 | 0.000000e+00 | -- | Inf | 13.34%
829.21/831.86 c 832s| 900 | 49 | 2250k|2355.2 | 191M | 50 |4978 |5652 |5223 | 607 | 0 | 733 | 10 | 0.000000e+00 | -- | Inf | 13.34%
876.76/879.57 c 880s| 1000 | 49 | 2402k|2272.4 | 192M | 50 |4978 |5699 |5224 | 647 | 0 | 787 | 10 | 0.000000e+00 | -- | Inf | 13.34%
936.47/939.40 c 939s| 1100 | 45 | 2595k|2240.7 | 195M | 50 |4978 |5681 |5222 | 688 | 0 | 812 | 10 | 0.000000e+00 | -- | Inf | 13.34%
985.31/988.48 c 988s| 1200 | 53 | 2754k|2186.6 | 196M | 50 |4978 |5703 |5226 | 754 | 0 | 869 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1030.88/1034.12 c 1034s| 1300 | 57 | 2903k|2132.9 | 197M | 50 |4978 |5731 |5225 | 804 | 1 | 909 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1077.03/1080.48 c 1080s| 1400 | 59 | 3052k|2086.6 | 198M | 50 |4978 |5752 |5226 | 856 | 0 | 957 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1139.83/1143.40 c 1143s| 1500 | 55 | 3256k|2083.8 | 203M | 50 |4978 |5773 |5225 | 943 | 0 |1006 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1199.35/1203.18 c 1203s| 1600 | 55 | 3446k|2072.4 | 206M | 50 |4978 |5779 |5229 |1017 | 1 |1065 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1269.03/1273.02 c 1273s| 1700 | 54 | 3669k|2081.8 | 210M | 50 |4978 |5749 |5218 |1136 | 1 |1095 | 10 | 0.000000e+00 | -- | Inf | 13.34%
1340.81/1345.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1340.81/1345.03 c 1345s| 1800 | 50 | 3898k|2093.0 | 211M | 50 |4978 |5645 |5233 |1248 | 1 |1152 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1402.12/1406.51 c 1407s| 1900 | 61 | 4095k|2086.8 | 211M | 50 |4978 |5669 |5234 |1314 | 1 |1248 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1456.05/1460.60 c 1461s| 2000 | 59 | 4272k|2070.7 | 213M | 50 |4978 |5681 |5246 |1390 | 1 |1302 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1522.74/1527.53 c 1528s| 2100 | 61 | 4487k|2074.8 | 213M | 50 |4978 |5663 |5235 |1481 | 0 |1311 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1605.18/1610.22 c 1610s| 2200 | 69 | 4749k|2099.5 | 216M | 50 |4978 |5676 |5227 |1584 | 0 |1351 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1667.98/1673.20 c 1673s| 2300 | 69 | 4952k|2096.3 | 217M | 50 |4978 |5677 |5226 |1618 | 1 |1394 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1746.24/1751.71 c 1752s| 2400 | 67 | 5203k|2113.5 | 217M | 50 |4978 |5693 |5227 |1699 | 1 |1431 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1826.82/1832.52 c 1833s| 2500 | 67 | 5455k|2129.8 | 218M | 50 |4978 |5651 |5224 |1777 | 1 |1476 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1916.29/1922.20 c 1922s| 2600 | 89 | 5728k|2153.1 | 219M | 50 |4978 |5715 |5212 |1861 | 1 |1613 | 10 | 0.000000e+00 | -- | Inf | 13.35%
1924.57/1930.52 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1924.57/1930.52 c (run 1, node 2608) performing user restart
1924.57/1930.52 c
1924.57/1930.52 c (restart) converted 76 cuts from the global cut pool into linear constraints
1924.57/1930.52 c
1924.57/1930.54 c presolving:
1924.57/1930.55 c (round 1, fast) 0 del vars, 15 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34230 clqs
1924.57/1930.57 c (round 2, exhaustive) 0 del vars, 38 del conss, 1 add conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 34230 clqs
1924.57/1930.58 c (round 3, exhaustive) 0 del vars, 38 del conss, 1 add conss, 0 chg bounds, 17 chg sides, 0 chg coeffs, 251 upgd conss, 0 impls, 34230 clqs
1924.57/1930.59 c (round 4, medium) 0 del vars, 45 del conss, 18 add conss, 0 chg bounds, 82 chg sides, 100 chg coeffs, 251 upgd conss, 0 impls, 34230 clqs
1924.67/1930.60 c (round 5, exhaustive) 0 del vars, 75 del conss, 18 add conss, 0 chg bounds, 82 chg sides, 145 chg coeffs, 251 upgd conss, 0 impls, 34230 clqs
1924.87/1930.81 c (round 6, exhaustive) 0 del vars, 88 del conss, 18 add conss, 0 chg bounds, 82 chg sides, 4225 chg coeffs, 251 upgd conss, 0 impls, 34230 clqs
1924.97/1930.95 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
1924.97/1930.95 c 0 deleted vars, 89 deleted constraints, 18 added constraints, 0 tightened bounds, 0 added holes, 82 changed sides, 4310 changed coefficients
1924.97/1930.95 c 0 implications, 34230 cliques
1924.97/1930.95 c presolved problem has 4978 variables (4978 bin, 0 int, 0 cont) and 5715 constraints
1924.97/1930.95 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1924.97/1930.95 c 47 constraints of type <knapsack>
1924.97/1930.95 c 1207 constraints of type <setppc>
1924.97/1930.95 c 8 constraints of type <linear>
1924.97/1930.95 c 3 constraints of type <orbitope_pp>
1924.97/1930.95 c 4450 constraints of type <logicor>
1924.97/1930.95 c transformed objective value is always integral (scale: 1)
1924.97/1930.95 c Presolving Time: 4.98
1924.97/1930.95 c
1928.36/1934.37 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1928.36/1934.37 c 1934s| 1 | 0 | 5764k| - | 222M | 0 |4978 |5722 |5178 | 0 | 0 |1628 | 10 | 0.000000e+00 | -- | Inf | unknown
1931.85/1937.85 c 1938s| 1 | 0 | 5770k| - | 223M | 0 |4978 |5731 |5189 | 11 | 1 |1633 | 10 | 0.000000e+00 | -- | Inf | unknown
1933.25/1939.24 c 1939s| 1 | 0 | 5772k| - | 223M | 0 |4978 |5698 |5195 | 17 | 2 |1636 | 10 | 0.000000e+00 | -- | Inf | unknown
1935.74/1941.78 c 1942s| 1 | 0 | 5778k| - | 223M | 0 |4978 |5689 |5207 | 29 | 3 |1646 | 10 | 0.000000e+00 | -- | Inf | unknown
1939.93/1946.00 c 1946s| 1 | 0 | 5787k| - | 224M | 0 |4978 |5686 |5222 | 44 | 4 |1651 | 10 | 0.000000e+00 | -- | Inf | unknown
1942.82/1948.88 c 1949s| 1 | 0 | 5794k| - | 224M | 0 |4978 |5685 |5236 | 58 | 5 |1654 | 10 | 0.000000e+00 | -- | Inf | unknown
1950.11/1956.17 c 1956s| 1 | 0 | 5807k| - | 224M | 0 |4978 |5682 |5252 | 74 | 6 |1657 | 10 | 0.000000e+00 | -- | Inf | unknown
1954.19/1960.21 c 1960s| 1 | 0 | 5814k| - | 225M | 0 |4978 |5688 |5266 | 88 | 7 |1665 | 10 | 0.000000e+00 | -- | Inf | unknown
1957.49/1963.56 c 1964s| 1 | 0 | 5821k| - | 226M | 0 |4978 |5687 |5275 | 97 | 8 |1667 | 10 | 0.000000e+00 | -- | Inf | unknown
1962.77/1968.80 c 1969s| 1 | 0 | 5832k| - | 226M | 0 |4978 |5683 |5289 | 111 | 9 |1668 | 10 | 0.000000e+00 | -- | Inf | unknown
1965.37/1971.49 c 1971s| 1 | 0 | 5836k| - | 227M | 0 |4978 |5685 |5295 | 117 | 10 |1674 | 10 | 0.000000e+00 | -- | Inf | unknown
1968.66/1974.72 c 1975s| 1 | 0 | 5843k| - | 227M | 0 |4978 |5678 |5304 | 126 | 11 |1675 | 10 | 0.000000e+00 | -- | Inf | unknown
1998.08/2004.29 c 2004s| 1 | 2 | 5899k| - | 227M | 0 |4978 |5637 |5304 | 126 | 11 |1680 | 21 | 0.000000e+00 | -- | Inf | unknown
2941.38/2949.90 c 2950s| 100 | 81 | 8058k|2894.6 | 235M | 21 |4978 |5824 |5182 | 218 | 1 |2104 | 21 | 0.000000e+00 | -- | Inf | unknown
3283.99/3293.44 c 3293s| 200 | 143 | 9007k|3129.7 | 238M | 32 |4978 |5963 |5188 | 306 | 1 |2510 | 21 | 0.000000e+00 | -- | Inf | 1.59%
3306.64/3316.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3306.64/3316.17 c 3316s| 300 | 141 | 9086k|3049.0 | 242M | 40 |4978 |5947 |5182 | 352 | 1 |2526 | 21 | 0.000000e+00 | -- | Inf | 1.59%
3436.29/3446.15 c 3446s| 400 | 153 | 9460k|3072.3 | 245M | 40 |4978 |5962 |5188 | 418 | 0 |2575 | 21 | 0.000000e+00 | -- | Inf | 1.61%
3460.62/3470.58 c 3471s| 500 | 151 | 9543k|3000.0 | 245M | 40 |4978 |5958 |5190 | 458 | 1 |2589 | 21 | 0.000000e+00 | -- | Inf | 1.61%
3575.82/3586.09 c 3586s| 600 | 165 | 9847k|3001.2 | 248M | 40 |4978 |5996 |5182 | 545 | 1 |2817 | 21 | 0.000000e+00 | -- | Inf | 1.65%
3586.70/3597.00 c
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Solving Time (sec) : 3597.00
3586.70/3597.00 c Solving Nodes : 615 (total of 3223 nodes in 2 runs)
3586.70/3597.00 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3586.70/3597.00 c Dual Bound : +0.00000000000000e+00
3586.70/3597.00 c Gap : infinite
3586.70/3597.00 s UNKNOWN
3586.70/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.70/3597.00 c Total Time : 3597.00
3586.70/3597.00 c solving : 3597.00
3586.70/3597.00 c presolving : 4.98 (included in solving)
3586.70/3597.00 c reading : 0.02 (included in solving)
3586.70/3597.00 c copying : 1.24 (102 #copies) (minimal 0.01, maximal 0.02, average 0.01)
3586.70/3597.00 c Original Problem :
3586.70/3597.00 c Problem name : HOME/instance-4507347-1751190884.opb
3586.70/3597.00 c Variables : 5712 (5712 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 5882 initial, 5882 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Presolved Problem :
3586.70/3597.00 c Problem name : t_HOME/instance-4507347-1751190884.opb
3586.70/3597.00 c Variables : 4978 (4978 binary, 0 integer, 0 continuous)
3586.70/3597.00 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.70/3597.00 c Constraints : 5715 initial, 6102 maximal
3586.70/3597.00 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.70/3597.00 c Nonzeros : 80262 constraint, 73391 clique table
3586.70/3597.00 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.70/3597.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c domcol : 0.07 0.00 11 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gateextraction : 0.03 0.00 16 0 0 0 0 0 3 1 0 0
3586.70/3597.00 c implics : 0.00 0.00 20 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c milp : 0.06 0.00 1 81 1 0 0 0 0 0 0 0
3586.70/3597.00 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c sparsify : 0.11 0.00 3 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c trivial : 0.00 0.00 37 285 0 0 0 0 0 0 0 0
3586.70/3597.00 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c dualfix : 0.00 0.00 37 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c probing : 3.99 0.00 10 222 1 0 0 0 0 0 0 0
3586.70/3597.00 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c symmetry : 0.02 0.00 1 3 0 0 0 0 0 3 0 0
3586.70/3597.00 c vbounds : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c knapsack : 0.02 0.00 61 0 0 0 0 0 0 17 65 211
3586.70/3597.00 c setppc : 0.05 0.00 61 0 0 0 0 0 111 0 0 0
3586.70/3597.00 c linear : 0.04 0.00 22 141 0 0 141 0 490 0 17 0
3586.70/3597.00 c orbitope_pp : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c logicor : 0.54 0.01 58 62 0 0 0 0 242 0 0 4510
3586.70/3597.00 c components : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c root node : - - - 0 - - 0 - - - - -
3586.70/3597.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.70/3597.00 c integral : 0 0 0 0 1749 0 0 270 0 0 0 0 0 0 3498
3586.70/3597.00 c knapsack : 47+ 48 22 122359 0 0 0 265 15721 1 3512 0 0 0 0
3586.70/3597.00 c setppc : 1207+ 1268 22 123296 0 0 0 205 746559 209 111889 1 1 0 0
3586.70/3597.00 c linear : 8+ 59 23 54495 0 0 0 3 1750 25 838 1 1 0 0
3586.70/3597.00 c orbitope_pp : 3 3 0 55677 0 0 0 0 2293 1 427 0 0 0 0
3586.70/3597.00 c logicor : 4450+ 4757 22 104037 0 0 0 0 1335563 284 260639 52 33 0 0
3586.70/3597.00 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.70/3597.00 c integral : 9.79 0.00 0.00 0.00 9.79 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c knapsack : 0.31 0.00 0.11 0.18 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c setppc : 1.06 0.00 0.00 0.87 0.00 0.00 0.00 0.00 0.17 0.01
3586.70/3597.00 c linear : 0.07 0.00 0.01 0.05 0.00 0.00 0.00 0.00 0.01 0.00
3586.70/3597.00 c orbitope_pp : 0.13 0.00 0.00 0.12 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c logicor : 2.46 0.01 0.01 1.92 0.00 0.00 0.00 0.00 0.49 0.02
3586.70/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.70/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.70/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.70/3597.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.70/3597.00 c dualfix : 2 0 0 0
3586.70/3597.00 c genvbounds : 0 0 0 0
3586.70/3597.00 c nlobbt : 0 0 0 0
3586.70/3597.00 c obbt : 0 0 0 0
3586.70/3597.00 c probing : 0 0 0 0
3586.70/3597.00 c pseudoobj : 0 0 0 0
3586.70/3597.00 c redcost : 0 0 0 0
3586.70/3597.00 c rootredcost : 0 0 0 0
3586.70/3597.00 c symmetry : 6701 0 4 50
3586.70/3597.00 c vbounds : 28145 0 0 0
3586.70/3597.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.70/3597.00 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.70/3597.00 c probing : 3.99 0.00 3.99 0.00 0.00 0.00
3586.70/3597.00 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3586.70/3597.00 c symmetry : 0.09 0.00 0.02 0.07 0.00 0.00
3586.70/3597.00 c vbounds : 0.29 0.00 0.01 0.28 0.00 0.00
3586.70/3597.00 c Symmetry :
3586.70/3597.00 c #affected vars : 1048 (1048 bin, 0 int, 0 cont)
3586.70/3597.00 c orbitopal red. : 0 reductions applied, 0 cutoffs
3586.70/3597.00 c orbital reduction: 0 reductions applied, 0 cutoffs
3586.70/3597.00 c lexicographic red: 50 reductions applied, 4 cutoffs
3586.70/3597.00 c shadow tree time : 0.01 s
3586.70/3597.00 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.70/3597.00 c propagation : 0.08 491 334 - 2051 149.6 56 26.7 - - -
3586.70/3597.00 c infeasible LP : 5.48 1523 878 - 17838 1044.1 41 9.6 15 135.6 0
3586.70/3597.00 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.70/3597.00 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.70/3597.00 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.70/3597.00 c applied globally : 0.09 - - 0 2802 266.5 - - 15 - -
3586.70/3597.00 c applied locally : - - - 0 1 867.0 - - 0 - -
3586.70/3597.00 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.70/3597.00 c cut pool : 0.24 - 571 42 - - 2151 20697 - - - - - (maximal pool size: 819)
3586.70/3597.00 c aggregation : 0.16 0.00 138 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c > cmir : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3586.70/3597.00 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c clique : 0.54 0.00 22 22 0 0 174 977 0 239 239 0 0
3586.70/3597.00 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 14.80 0.00 136 20 0 0 1803 18443 102 1124 1117 7 0
3586.70/3597.00 c > gomorymi : - - - - - - - 9396 51 695 690 5 -
3586.70/3597.00 c > strongcg : - - - - - - - 9047 51 429 427 2 -
3586.70/3597.00 c impliedbounds : 0.16 0.00 138 22 0 0 86 402 0 186 186 0 0
3586.70/3597.00 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c multilinear : 0.00 0.00 67 22 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c rapidlearning : 39.60 0.00 96 2 0 39031 0 0 0 0 0 0 587
3586.70/3597.00 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.70/3597.00 c zerohalf : 7.19 0.00 138 22 0 0 595 875 405 830 465 365 0
3586.70/3597.00 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.70/3597.00 c hybrid : 0.06 0.00 377 22 2431 0 18012 251 0 666
3586.70/3597.00 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Pricers : ExecTime SetupTime Calls Vars
3586.70/3597.00 c problem variables: 0.00 - 0 0
3586.70/3597.00 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.70/3597.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c relpscost : 9.79 0.00 1749 0 0 0 0 0 0 3498
3586.70/3597.00 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.70/3597.00 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.70/3597.00 c LP solutions : 0.00 - - 0 0
3586.70/3597.00 c relax solutions : 0.00 - - 0 0
3586.70/3597.00 c pseudo solutions : 0.00 - - 0 0
3586.70/3597.00 c strong branching : 0.00 - - 0 0
3586.70/3597.00 c actconsdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c adaptivediving : 42.19 0.00 7 0 0
3586.70/3597.00 c alns : 20.60 0.00 4 0 0
3586.70/3597.00 c bound : 0.00 0.00 0 0 0
3586.70/3597.00 c clique : 0.02 0.00 1 0 0
3586.70/3597.00 c coefdiving : 0.00 0.00 0 0 0
3586.70/3597.00 c completesol : 0.00 0.00 0 0 0
3586.70/3597.00 c conflictdiving : 110.63 0.00 9 0 0
3586.70/3597.00 c crossover : 0.00 0.00 0 0 0
3586.70/3597.00 c dins : 0.00 0.00 0 0 0
3586.70/3597.00 c distributiondivin: 50.55 0.00 9 0 0
3586.80/3597.00 c dks : 0.00 0.00 0 0 0
3586.80/3597.00 c dps : 0.00 0.00 0 0 0
3586.80/3597.00 c dualval : 0.00 0.00 0 0 0
3586.80/3597.00 c farkasdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c feaspump : 101.24 0.00 4 0 0
3586.80/3597.00 c fixandinfer : 0.00 0.00 0 0 0
3586.80/3597.00 c fracdiving : 63.84 0.00 9 0 0
3586.80/3597.00 c gins : 0.00 0.00 0 0 0
3586.80/3597.00 c guideddiving : 0.00 0.00 0 0 0
3586.80/3597.00 c indicator : 0.00 0.00 0 0 0
3586.80/3597.00 c indicatordiving : 0.00 0.00 0 0 0
3586.80/3597.00 c intdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c intshifting : 0.00 0.00 0 0 0
3586.80/3597.00 c linesearchdiving : 71.41 0.00 9 0 0
3586.80/3597.00 c localbranching : 0.00 0.00 0 0 0
3586.80/3597.00 c locks : 0.01 0.00 1 0 0
3586.80/3597.00 c lpface : 0.01 0.00 0 0 0
3586.80/3597.00 c mpec : 0.00 0.00 0 0 0
3586.80/3597.00 c multistart : 0.00 0.00 0 0 0
3586.80/3597.00 c mutation : 0.00 0.00 0 0 0
3586.80/3597.00 c nlpdiving : 0.00 0.00 0 0 0
3586.80/3597.00 c objpscostdiving : 504.46 0.00 3 0 0
3586.80/3597.00 c octane : 0.00 0.00 0 0 0
3586.80/3597.00 c ofins : 0.00 0.00 0 0 0
3586.80/3597.00 c oneopt : 0.00 0.00 0 0 0
3586.80/3597.00 c padm : 0.00 0.00 0 0 0
3586.80/3597.00 c proximity : 0.00 0.00 0 0 0
3586.80/3597.00 c pscostdiving : 107.93 0.00 9 0 0
3586.80/3597.00 c randrounding : 0.22 0.00 280 0 0
3586.80/3597.00 c rens : 0.16 0.00 2 0 0
3586.80/3597.00 c reoptsols : 0.00 0.00 0 0 0
3586.80/3597.00 c repair : 0.00 0.00 0 0 0
3586.80/3597.00 c rins : 0.00 0.00 0 0 0
3586.80/3597.00 c rootsoldiving : 50.75 0.00 5 0 0
3586.80/3597.00 c rounding : 0.11 0.00 602 0 0
3586.80/3597.00 c scheduler : 0.00 0.00 0 0 0
3586.80/3597.00 c shiftandpropagate: 0.04 0.00 2 0 0
3586.80/3597.00 c shifting : 0.38 0.00 282 0 0
3586.80/3597.00 c simplerounding : 0.00 0.00 0 0 0
3586.80/3597.00 c subnlp : 0.00 0.00 0 0 0
3586.80/3597.00 c trivial : 0.01 0.00 4 0 0
3586.80/3597.00 c trivialnegation : 0.00 0.00 0 0 0
3586.80/3597.00 c trustregion : 0.00 0.00 0 0 0
3586.80/3597.00 c trysol : 0.00 0.00 0 0 0
3586.80/3597.00 c twoopt : 0.00 0.00 0 0 0
3586.80/3597.00 c undercover : 0.00 0.00 0 0 0
3586.80/3597.00 c vbounds : 0.04 0.00 2 0 0
3586.80/3597.00 c veclendiving : 133.94 0.00 9 0 0
3586.80/3597.00 c zeroobj : 0.00 0.00 0 0 0
3586.80/3597.00 c zirounding : 0.07 0.00 1000 0 0
3586.80/3597.00 c other solutions : - - - 0 -
3586.80/3597.00 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.80/3597.00 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3586.80/3597.00 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.80/3597.00 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3586.80/3597.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.80/3597.00 c primal LP : 0.73 163 0 0.00 0.00 0.73 163
3586.80/3597.00 c dual LP : 2249.10 3608 6981140 1961.55 3103.97 0.26 49
3586.80/3597.00 c lex dual LP : 0.00 0 0 0.00 -
3586.80/3597.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.80/3597.00 c resolve instable : 8.08 27 21110 781.85 2613.84
3586.80/3597.00 c diving/probing LP: 1233.42 3113 2896713 930.52 2348.51
3586.80/3597.00 c strong branching : 7.72 21 15386 732.67 1994.14 - - 26
3586.80/3597.00 c (at root node) : - 21 15386 732.67 -
3586.80/3597.00 c conflict analysis: 0.00 0 0 0.00 -
3586.80/3597.00 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.80/3597.00 c benders : 0.00 0 0 0 0.00 0 0 0
3586.80/3597.00 c B&B Tree :
3586.80/3597.00 c number of runs : 2
3586.80/3597.00 c nodes : 615 (391 internal, 224 leaves)
3586.80/3597.00 c feasible leaves : 0
3586.80/3597.00 c infeas. leaves : 224
3586.80/3597.00 c objective leaves : 0
3586.80/3597.00 c nodes (total) : 3223 (1749 internal, 1474 leaves)
3586.80/3597.00 c nodes left : 168
3586.80/3597.00 c max depth : 40
3586.80/3597.00 c max depth (total): 50
3586.80/3597.00 c backtracks : 120 (19.5%)
3586.80/3597.00 c early backtracks : 0 (0.0%)
3586.80/3597.00 c nodes exc. ref. : 0 (0.0%)
3586.80/3597.00 c delayed cutoffs : 0
3586.80/3597.00 c repropagations : 129 (167 domain reductions, 0 cutoffs)
3586.80/3597.00 c avg switch length: 3.61
3586.80/3597.00 c switching time : 1.80
3586.80/3597.00 c Root Node :
3586.80/3597.00 c First LP value : +0.00000000000000e+00
3586.80/3597.00 c First LP Iters : 10997 (3174.04 Iter/sec)
3586.80/3597.00 c First LP Time : 3.46
3586.80/3597.00 c Final Dual Bound : +0.00000000000000e+00
3586.80/3597.00 c Final Root Iters : 222567
3586.80/3597.00 c Root LP Estimate : +3.76923350936478e-02
3586.80/3597.00 c Solution :
3586.80/3597.00 c Solutions found : 0 (0 improvements)
3586.80/3597.00 c Primal Bound : -
3586.80/3597.00 c Dual Bound : +0.00000000000000e+00
3586.80/3597.00 c Gap : infinite
3586.80/3597.00 c Integrals : Total Avg%
3586.80/3597.00 c primal-dual : 359700.10 100.00
3586.80/3597.00 c primal-ref : - - (not evaluated)
3586.80/3597.00 c dual-ref : - - (not evaluated)
3586.80/3597.05 c Time complete (sec): 3586.856
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 (62414 MiB free)
memory of node 1: 64465 MiB (63358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507347-1751190884/watcher-4507347-1751190884 -o /tmp/evaluation-result-4507347-1751190884/solver-4507347-1751190884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507347-1751190884.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23454, runsolver pid=23451
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.08 4.10 4.09 4/261 23455
/proc/meminfo: memFree=128776008/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=52356 memory=42832 CPUtime=0.1 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 9801 0 0 0 9 1 0 0 20 0 1 0 34710908 53612544 10708 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 13089 10708 2496 2575 0 9996 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 42832 KiB
[startup+0.205604 s]*
/proc/loadavg: 4.08 4.10 4.09 4/262 23456
/proc/meminfo: memFree=128761644/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=73688 memory=61520 CPUtime=0.2 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 14462 0 0 0 19 1 0 0 20 0 1 0 34710908 75456512 15380 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 18422 15380 2560 2575 0 15329 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73688 KiB
Current children cumulated memory: 61520 KiB
[startup+0.305766 s]*
/proc/loadavg: 4.08 4.10 4.09 4/263 23461
/proc/meminfo: memFree=128753888/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=79960 memory=67792 CPUtime=0.3 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 16027 0 0 0 29 1 0 0 20 0 1 0 34710908 81879040 16948 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 19990 16948 2592 2575 0 16897 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79960 KiB
Current children cumulated memory: 67792 KiB
[startup+0.700189 s]
/proc/loadavg: 4.07 4.09 4.09 4/261 23478
/proc/meminfo: memFree=128774464/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=79960 memory=67792 CPUtime=0.68 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 16027 0 0 0 67 1 0 0 20 0 1 0 34710908 81879040 16948 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 19990 16948 2592 2575 0 16897 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79960 KiB
Current children cumulated memory: 67792 KiB
[startup+1.50017 s]
/proc/loadavg: 4.07 4.09 4.09 5/261 23500
/proc/meminfo: memFree=129323948/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=80984 memory=69584 CPUtime=1.49 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 16473 0 0 0 147 2 0 0 20 0 1 0 34710908 82927616 17396 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 20246 17396 2592 2575 0 17153 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80984 KiB
Current children cumulated memory: 69584 KiB
[startup+3.1055 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 23537
/proc/meminfo: memFree=129252716/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=80984 memory=69584 CPUtime=3.09 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 16473 0 0 0 307 2 0 0 20 0 1 0 34710908 82927616 17396 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 20246 17396 2592 2575 0 17153 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80984 KiB
Current children cumulated memory: 69584 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129754672/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=138320 memory=110544 CPUtime=6.25 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 26692 0 0 0 620 5 0 0 20 0 1 0 34710908 141639680 27636 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 34580 27636 2688 2575 0 31487 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 138320 KiB
Current children cumulated memory: 110544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.09 5/265 23582
/proc/meminfo: memFree=129649412/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=140468 memory=113104 CPUtime=12.63 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 27315 0 0 0 1258 5 0 0 20 0 1 0 34710908 143839232 28276 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 35117 28276 2688 2575 0 32024 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 140468 KiB
Current children cumulated memory: 113104 KiB
[startup+25.5001 s]
/proc/loadavg: 4.05 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129575960/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=141776 memory=114640 CPUtime=25.4 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 27522 0 0 0 2534 6 0 0 20 0 1 0 34710908 145178624 28660 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 35444 28660 2688 2575 0 32351 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 141776 KiB
Current children cumulated memory: 114640 KiB
[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 23583
/proc/meminfo: memFree=129320236/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=223188 CPUtime=50.93 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53322 0 0 0 5083 10 0 0 20 0 1 0 34710908 251604992 55797 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 55797 2688 2575 0 58334 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 223188 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 23585
/proc/meminfo: memFree=129046660/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=228180 CPUtime=101.98 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53436 0 0 0 10188 10 0 0 20 0 1 0 34710908 251604992 57045 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 57045 2688 2575 0 58334 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 228180 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 23587
/proc/meminfo: memFree=129017988/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=233812 CPUtime=161.8 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53566 0 0 0 16170 10 0 0 20 0 1 0 34710908 251604992 58453 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 58453 2688 2575 0 58334 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 233812 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/262 23589
/proc/meminfo: memFree=128971080/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=233812 CPUtime=221.61 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53681 0 0 0 22151 10 0 0 20 0 1 0 34710908 251604992 58453 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 58453 2688 2575 0 58334 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 233812 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 23593
/proc/meminfo: memFree=128972208/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=233812 CPUtime=281.43 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53747 0 0 0 28133 10 0 0 20 0 1 0 34710908 251604992 58453 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 58453 2688 2575 0 58334 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 233812 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 23595
/proc/meminfo: memFree=128964636/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245708 memory=233812 CPUtime=341.24 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 53838 0 0 0 34114 10 0 0 20 0 1 0 34710908 251604992 58453 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61427 58453 2688 2575 0 58334 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 245708 KiB
Current children cumulated memory: 233812 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/264 23608
/proc/meminfo: memFree=128940340/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245668 memory=233996 CPUtime=401.05 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 55800 0 0 0 40095 10 0 0 20 0 1 0 34710908 251564032 58499 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61417 58499 2688 2575 0 58324 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 245668 KiB
Current children cumulated memory: 233996 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 23613
/proc/meminfo: memFree=128926372/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=245668 memory=235148 CPUtime=460.86 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 55887 0 0 0 46076 10 0 0 20 0 1 0 34710908 251564032 58787 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 61417 58787 2976 2575 0 58324 0
################
# More data... #
################
/proc/loadavg: 4.13 4.14 4.10 5/265 23748
/proc/meminfo: memFree=128736364/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=312000 memory=301112 CPUtime=3153.23 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 81264 0 0 0 315306 17 0 0 20 0 1 0 34710908 319488000 75278 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78000 75278 2976 2575 0 74907 0
Current children cumulated CPU time: 3153.23 s
Current children cumulated vsize: 312000 KiB
Current children cumulated memory: 301112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 23751
/proc/meminfo: memFree=128738736/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=312000 memory=301112 CPUtime=3213.08 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 81379 0 0 0 321291 17 0 0 20 0 1 0 34710908 319488000 75278 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78000 75278 2976 2575 0 74907 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 312000 KiB
Current children cumulated memory: 301112 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/265 23753
/proc/meminfo: memFree=128705656/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=312000 memory=301368 CPUtime=3272.92 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 81422 0 0 0 327275 17 0 0 20 0 1 0 34710908 319488000 75342 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78000 75342 2976 2575 0 74907 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 312000 KiB
Current children cumulated memory: 301368 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/265 23755
/proc/meminfo: memFree=128726100/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=306220 memory=295480 CPUtime=3332.76 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 82163 0 0 0 333259 17 0 0 20 0 1 0 34710908 313569280 73870 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 76555 73870 2976 2575 0 73462 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 306220 KiB
Current children cumulated memory: 295480 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 23757
/proc/meminfo: memFree=128726512/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=306220 memory=295480 CPUtime=3392.6 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 82163 0 0 0 339243 17 0 0 20 0 1 0 34710908 313569280 73870 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 76555 73870 2976 2575 0 73462 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 306220 KiB
Current children cumulated memory: 295480 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 23761
/proc/meminfo: memFree=128727892/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=314052 memory=303288 CPUtime=3452.44 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 84221 0 0 0 345227 17 0 0 20 0 1 0 34710908 321589248 75822 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78513 75822 2976 2575 0 75420 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 314052 KiB
Current children cumulated memory: 303288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 23768
/proc/meminfo: memFree=128721496/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=316032 memory=305300 CPUtime=3512.29 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 91571 0 0 0 351211 18 0 0 20 0 1 0 34710908 323616768 76325 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 79008 76325 2976 2575 0 75915 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 316032 KiB
Current children cumulated memory: 305300 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128714672/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=314436 memory=303648 CPUtime=3572.13 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93515 0 0 0 357195 18 0 0 20 0 1 0 34710908 321982464 75912 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78609 75912 2976 2575 0 75516 0
Current children cumulated CPU time: 3572.13 s
Current children cumulated vsize: 314436 KiB
Current children cumulated memory: 303648 KiB
[startup+3597.05 s]
# the end of solver process 23454 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.66 s, system=0.194923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128714672/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=314436 memory=303648 CPUtime=3573.83 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93515 0 0 0 357365 18 0 0 20 0 1 0 34710908 321982464 75912 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78609 75912 2976 2575 0 75516 0
Current children cumulated CPU time: 3573.83 s
Current children cumulated vsize: 314436 KiB
Current children cumulated memory: 303648 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715176/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3580.21 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358002 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3580.21 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3583.41 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358322 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3583.41 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3585 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358481 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3585 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3585.81 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358562 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3585.81 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3586.6 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358641 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
[startup+3597 s]*
/proc/loadavg: 4.08 4.10 4.09 5/263 23770
/proc/meminfo: memFree=128715184/131250000 swapFree=33010684/33010684
[pid=23454] ppid=23451 vsize=315616 memory=304928 CPUtime=3586.8 cores=4,6
/proc/23454/stat : 23454 (pbsolver) R 23451 23454 22771 0 -1 4194304 93817 0 0 0 358661 19 0 0 20 0 1 0 34710908 323190784 76232 18446744073709551615 4198400 14743177 140733089095600 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 29458432 140733089098122 140733089098218 140733089098218 140733089103820 0
/proc/23454/statm: 78904 76232 2976 2575 0 75811 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 315616 KiB
Current children cumulated memory: 304928 KiB
Child status: 0
Real time (s): 3597.05
CPU time (s): 3586.86
CPU user time (s): 3586.66
CPU system time (s): 0.194923
CPU usage (%): 99.7166
Max. virtual memory (cumulated for all children) (KiB): 324100
Max. memory (cumulated for all children) (KiB): 313048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.66
system time used= 0.194923
maximum resident set size= 313816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93830
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= 41
involuntary context switches= 3163
# summary of solver processes directly reported to runsolver:
# pid: 23454
# total CPU time (s): 3586.86
# total CPU user time (s): 3586.66
# total CPU system time (s): 0.194923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4193 second user time and 14.6555 second system time
The end
Begin job on nodeC028 at 2025-06-29 11:54:44 IDJOB=4507347 IDBENCH=158343 IDSOLVER=3366 FILE ID=nodeC028/4507347-1751190884 RUNJOBID= nodeC028-1751183686-22782 SLURM_JOB_ID= 9587572 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507347-1751190884/watcher-4507347-1751190884 -o /tmp/evaluation-result-4507347-1751190884/solver-4507347-1751190884 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751183686-22782 --watchdog 3760 pbsolver -f HOME/instance-4507347-1751190884.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e RANDOM SEED=1148741347 nodeC028 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 : 3600.044 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 : 7000.16 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 : 3598.664 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 : 7000.16 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 : 3593.235 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 : 7000.16 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 : 3600.129 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 : 7000.16 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.086 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 : 7000.16 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.078 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 : 7000.16 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 : 3601.584 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 : 7000.16 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 : 3601.104 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 : 7000.16 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 128792016 kB MemAvailable: 128507908 kB Buffers: 3280 kB Cached: 526584 kB SwapCached: 0 kB Active: 1580780 kB Inactive: 270216 kB Active(anon): 1339200 kB Inactive(anon): 0 kB Active(file): 241580 kB Inactive(file): 270216 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 15220 kB Writeback: 4 kB AnonPages: 1322452 kB Mapped: 126836 kB Shmem: 18068 kB KReclaimable: 86672 kB Slab: 169960 kB SReclaimable: 86672 kB SUnreclaim: 83288 kB KernelStack: 4144 kB PageTables: 5452 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 1701264 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3712 kB HardwareCorrupted: 0 kB AnonHugePages: 1216512 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: 197332 kB DirectMap2M: 7962624 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 433004 MiB End job on nodeC028 at 2025-06-29 12:54:41