Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | -10280 | 488.964 | 490.364 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-opm2-z7-s2.opb |
| MD5SUM | cf5cf55a0ad097c03b301970f48ee2e9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -10280 |
| Best CPU time to get the best result obtained on this benchmark | 75.897 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2023 |
| Total number of constraints | 31798 |
| Number of constraints which are clauses | 31790 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 8 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2023 |
| Number of terms in the objective function | 1997 |
| Biggest coefficient in the objective function | 333 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 170608 |
| Number of bits of the sum of numbers in the objective function | 18 |
| Biggest number in a constraint | 735392 |
| Number of bits of the biggest number in a constraint | 20 |
| Biggest sum of numbers in a constraint | 5003866 |
| Number of bits of the biggest sum of numbers | 23 |
| 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-4522376-1751582274.opb>
0.00/0.06 c original problem has 2023 variables (2023 bin, 0 int, 0 impl, 0 cont) and 31798 constraints
0.00/0.06 c problem read in 0.05
0.00/0.10 o 0
0.00/0.10 c feasible solution found by trivial heuristic after 0.1 seconds, objective value 0.000000e+00
0.00/0.10 c presolving:
0.09/0.14 c (round 1, fast) 122 del vars, 4922 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26864 clqs
0.09/0.16 c (round 2, fast) 123 del vars, 4955 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26831 clqs
0.09/0.19 c (0.2s) running MILP presolver
0.19/0.22 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.29/0.37 c (round 3, exhaustive) 123 del vars, 4959 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26839 upgd conss, 0 impls, 26831 clqs
0.29/0.38 c (round 4, fast) 127 del vars, 5038 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26839 upgd conss, 0 impls, 26683 clqs
0.29/0.39 c (round 5, fast) 127 del vars, 5107 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 26839 upgd conss, 0 impls, 26683 clqs
3.67/3.71 c (3.7s) probing: 1000/1896 (52.7%) - 0 fixings, 0 aggregations, 73471 implications, 0 bound changes
3.67/3.71 c (3.7s) probing: 1001/1896 (52.8%) - 0 fixings, 0 aggregations, 73570 implications, 0 bound changes
3.67/3.71 c (3.7s) probing aborted: 1000/1000 successive useless probings
3.78/3.85 c (3.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3.78/3.88 c (3.9s) no symmetry present (symcode time: 0.01)
3.78/3.89 c presolving (6 rounds: 6 fast, 2 medium, 2 exhaustive):
3.78/3.89 c 127 deleted vars, 5107 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.78/3.89 c 0 implications, 79762 cliques
3.78/3.89 c presolved problem has 1896 variables (1896 bin, 0 int, 0 impl, 0 cont) and 26691 constraints
3.78/3.89 c 8 constraints of type <knapsack>
3.78/3.89 c 26683 constraints of type <setppc>
3.78/3.89 c transformed objective value is always integral (scale: 1)
3.78/3.89 c Presolving Time: 3.79
3.78/3.89 c - non default parameters ----------------------------------------------------------------------
3.78/3.89 c # SCIP version 10.0.0
3.78/3.89 c
3.78/3.89 c # maximal time in seconds to run
3.78/3.89 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
3.78/3.89 c limits/time = 3596.998016
3.78/3.89 c
3.78/3.89 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.78/3.89 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
3.78/3.89 c limits/memory = 27900
3.78/3.89 c
3.78/3.89 c # belongs reading time to solving time?
3.78/3.89 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
3.78/3.89 c timing/reading = TRUE
3.78/3.89 c
3.78/3.89 c -----------------------------------------------------------------------------------------------
3.78/3.89 c start solving
3.78/3.89 c transformed 1/1 original solutions to the transformed problem space
3.78/3.89 c
3.87/3.98 o -4580
3.87/3.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.87/3.98 c p 4.0s| 1 | 0 | 0 | - | locks| 0 |1896 | 26k| 26k| 0 | 0 | 0 | 0 |-1.094360e+05 |-4.580000e+03 |2289.43%| unknown
3.98/4.01 o -6398
3.98/4.01 c p 4.0s| 1 | 0 | 0 | - | vbounds| 0 |1896 | 26k| 26k| 0 | 0 | 0 | 0 |-1.094360e+05 |-6.398000e+03 |1610.47%| unknown
9.75/9.87 c 9.9s| 1 | 0 | 11305 | - | 154M | 0 |1896 | 26k| 26k| 0 | 0 | 18 | 0 |-1.287969e+04 |-6.398000e+03 | 101.31%| unknown
14.74/14.82 o -8547
14.74/14.82 c d14.8s| 1 | 0 | 16486 | - |farkasdi| 0 |1896 | 26k| 26k| 0 | 1 | 19 | 0 |-1.287969e+04 |-8.547000e+03 | 50.69%| unknown
17.04/17.16 c 17.2s| 1 | 0 | 22901 | - | 164M | 0 |1896 | 26k| 26k| 0 | 1 | 25 | 0 |-1.287969e+04 |-8.547000e+03 | 50.69%| unknown
27.61/27.76 c 27.8s| 1 | 2 | 22901 | - | 164M | 0 |1896 | 26k| 26k| 0 | 2 | 26 | 23 |-1.270001e+04 |-8.547000e+03 | 48.59%| unknown
92.43/92.75 o -9160
92.43/92.75 c r92.7s| 15 | 6 | 33555 |1589.3 |shifting| 10 |1896 | 26k| 26k| 0 | 0 | 29 | 227 |-1.251114e+04 |-9.160000e+03 | 36.58%| 9.62%
92.93/93.20 o -9615
92.93/93.20 c i93.2s| 16 | 7 | 33555 |1483.3 | oneopt| 11 |1896 | 26k| 26k| 0 | 0 | 29 | 227 |-1.251114e+04 |-9.615000e+03 | 30.12%| 9.62%
93.03/93.30 o -9790
93.03/93.30 c r93.3s| 17 | 10 | 33860 |1409.7 |ziroundi| 12 |1896 | 26k| 26k| 0 | 1 | 29 | 227 |-1.251114e+04 |-9.790000e+03 | 27.80%| 11.24%
93.03/93.32 o -9811
93.03/93.32 c i93.3s| 18 | 11 | 33887 |1328.4 | oneopt| 13 |1896 | 26k| 26k| 0 | 2 | 29 | 227 |-1.251114e+04 |-9.811000e+03 | 27.52%| 11.24%
93.13/93.43 o -9829
93.13/93.43 c r93.4s| 25 | 16 | 33991 | 945.2 |randroun| 20 |1896 | 26k| 26k| 0 | 0 | 29 | 227 |-1.251114e+04 |-9.829000e+03 | 27.29%| 11.29%
93.13/93.45 o -9836
93.13/93.45 c i93.4s| 25 | 18 | 33991 | 945.2 | oneopt| 20 |1896 | 26k| 26k| 0 | 2 | 29 | 227 |-1.251114e+04 |-9.836000e+03 | 27.20%| 11.29%
93.23/93.52 o -9840
93.23/93.52 c r93.5s| 30 | 23 | 34019 | 783.2 |ziroundi| 25 |1896 | 26k| 26k| 0 | 2 | 29 | 227 |-1.251114e+04 |-9.840000e+03 | 27.15%| 11.29%
93.43/93.72 o -9846
93.43/93.72 c r93.7s| 43 | 31 | 34200 | 545.1 |ziroundi| 36 |1896 | 26k| 26k| 0 | 2 | 29 | 227 |-1.251114e+04 |-9.846000e+03 | 27.07%| 11.30%
110.48/110.89 c 111s| 100 | 58 | 52291 | 414.0 | 168M | 37 |1896 | 26k| 26k| 0 | 2 | 29 | 259 |-1.221740e+04 |-9.846000e+03 | 24.08%| 20.19%
117.57/117.92 o -9976
117.57/117.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
117.57/117.92 c r 118s| 135 | 26 | 59675 | 361.0 |ziroundi| 37 |1896 | 26k| 26k| 0 | 1 | 29 | 259 |-1.220479e+04 |-9.976000e+03 | 22.34%| 20.55%
117.57/117.99 o -10067
117.57/117.99 c i 118s| 136 | 27 | 59809 | 359.3 | oneopt| 37 |1896 | 26k| 26k| 0 | 2 | 29 | 259 |-1.220479e+04 |-1.006700e+04 | 21.24%| 20.56%
132.22/132.60 c 133s| 200 | 43 | 70222 | 296.1 | 172M | 37 |1896 | 26k| 26k| 0 | 1 | 45 | 278 |-1.206328e+04 |-1.006700e+04 | 19.83%| 38.18%
137.01/137.43 o -10070
137.01/137.43 c r 137s| 226 | 42 | 72965 | 274.0 |rounding| 37 |1896 | 26k| 26k| 0 | 0 | 48 | 278 |-1.206328e+04 |-1.007000e+04 | 19.79%| 38.58%
137.01/137.44 o -10071
137.01/137.44 c i 137s| 226 | 44 | 72965 | 274.0 | oneopt| 37 |1896 | 26k| 26k| 0 | 2 | 48 | 278 |-1.206328e+04 |-1.007100e+04 | 19.78%| 38.58%
137.01/137.46 o -10073
137.01/137.46 c r 137s| 227 | 43 | 72992 | 273.0 |rounding| 37 |1896 | 26k| 26k| 0 | 0 | 48 | 278 |-1.206328e+04 |-1.007300e+04 | 19.76%| 38.58%
137.90/138.35 o -10078
137.90/138.35 c r 138s| 283 | 84 | 74579 | 224.4 |randroun| 40 |1896 | 26k| 26k| 0 | 0 | 48 | 278 |-1.206328e+04 |-1.007800e+04 | 19.70%| 38.58%
138.40/138.86 c 139s| 300 | 91 | 75123 | 213.4 | 183M | 45 |1896 | 26k| 26k| 4 | 2 | 50 | 278 |-1.206328e+04 |-1.007800e+04 | 19.70%| 38.62%
140.49/140.99 c 141s| 400 | 121 | 77250 | 165.3 | 189M | 54 |1896 | 26k| 26k| 23 | 2 | 67 | 278 |-1.206328e+04 |-1.007800e+04 | 19.70%| 38.83%
153.86/154.33 o -10086
153.86/154.33 c r 154s| 448 | 99 | 85372 | 165.7 |randroun| 54 |1896 | 26k| 26k| 29 | 0 | 67 | 294 |-1.199972e+04 |-1.008600e+04 | 18.97%| 39.06%
154.66/155.11 c 155s| 500 | 127 | 86674 | 151.0 | 191M | 55 |1896 | 26k| 26k| 34 | 2 | 71 | 294 |-1.199972e+04 |-1.008600e+04 | 18.97%| 39.10%
175.80/176.39 c 176s| 600 | 131 |156571 | 242.5 | 193M | 65 |1896 | 26k| 26k| 38 | 1 | 71 | 294 |-1.148467e+04 |-1.008600e+04 | 13.87%| 41.10%
187.87/188.48 o -10120
187.87/188.48 c L 188s| 648 | 64 |168325 | 242.7 | rins| 66 |1896 | 26k| 26k| 38 | 1 | 75 | 310 |-1.141400e+04 |-1.012000e+04 | 12.79%| 42.63%
188.96/189.53 c 190s| 700 | 98 |169847 | 226.8 | 194M | 66 |1896 | 26k| 26k| 38 | 2 | 91 | 310 |-1.141400e+04 |-1.012000e+04 | 12.79%| 42.67%
192.25/192.86 c 193s| 800 | 140 |174789 | 204.6 | 197M | 66 |1896 | 26k| 26k| 47 | 1 | 91 | 310 |-1.136220e+04 |-1.012000e+04 | 12.27%| 43.03%
192.56/193.11 o -10123
192.56/193.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
192.56/193.11 c r 193s| 811 | 108 |175054 | 202.2 |rounding| 66 |1896 | 26k| 26k| 50 | 0 | 91 | 310 |-1.136220e+04 |-1.012300e+04 | 12.24%| 43.03%
199.13/199.72 c 200s| 900 | 133 |181681 | 189.5 | 197M | 66 |1896 | 26k| 26k| 59 | 1 | 99 | 325 |-1.133523e+04 |-1.012300e+04 | 11.97%| 43.17%
207.91/208.53 c 209s| 1000 | 171 |205869 | 194.8 | 199M | 66 |1896 | 26k| 26k| 70 | 2 | 130 | 328 |-1.128841e+04 |-1.012300e+04 | 11.51%| 43.58%
208.21/208.81 o -10125
208.21/208.81 c L 209s| 1012 | 168 |206043 | 192.6 | rins| 66 |1896 | 26k| 26k| 70 | 1 | 130 | 328 |-1.128841e+04 |-1.012500e+04 | 11.49%| 43.58%
208.21/208.83 o -10126
208.21/208.83 c i 209s| 1013 | 165 |206046 | 192.4 | oneopt| 66 |1896 | 26k| 26k| 70 | 1 | 130 | 328 |-1.128841e+04 |-1.012600e+04 | 11.48%| 43.59%
210.41/211.09 c 211s| 1100 | 184 |207737 | 178.7 | 200M | 66 |1896 | 26k| 26k| 76 | 0 | 176 | 394 |-1.128841e+04 |-1.012600e+04 | 11.48%| 43.60%
220.97/221.67 c 222s| 1200 | 185 |214454 | 169.4 | 200M | 66 |1896 | 26k| 26k| 78 | 1 | 256 | 528 |-1.128461e+04 |-1.012600e+04 | 11.44%| 44.65%
240.92/241.64 c 242s| 1300 | 211 |232035 | 169.9 | 201M | 66 |1896 | 26k| 26k| 78 | 0 | 267 | 543 |-1.121310e+04 |-1.012600e+04 | 10.74%| 46.24%
258.39/259.18 o -10133
258.39/259.18 c r 259s| 1381 | 166 |252639 | 174.9 |rounding| 66 |1896 | 26k| 26k| 78 | 0 | 293 | 561 |-1.108137e+04 |-1.013300e+04 | 9.36%| 48.09%
258.68/259.43 c 259s| 1400 | 177 |252925 | 172.7 | 202M | 66 |1896 | 26k| 26k| 78 | 0 | 293 | 562 |-1.108137e+04 |-1.013300e+04 | 9.36%| 48.09%
269.95/270.73 c 271s| 1500 | 215 |266108 | 170.0 | 202M | 66 |1896 | 26k| 26k| 79 | 1 | 296 | 577 |-1.103768e+04 |-1.013300e+04 | 8.93%| 49.85%
270.15/270.92 o -10134
270.15/270.92 c r 271s| 1519 | 218 |266335 | 168.0 |randroun| 66 |1896 | 26k| 26k| 80 | 1 | 296 | 577 |-1.103768e+04 |-1.013400e+04 | 8.92%| 49.86%
276.34/277.18 o -10135
276.34/277.18 c r 277s| 1546 | 201 |273135 | 169.5 |ziroundi| 66 |1896 | 26k| 26k| 80 | 1 | 303 | 590 |-1.102489e+04 |-1.013500e+04 | 8.78%| 50.37%
277.03/277.80 c 278s| 1600 | 221 |273823 | 164.2 | 202M | 66 |1896 | 26k| 26k| 80 | 1 | 303 | 590 |-1.102489e+04 |-1.013500e+04 | 8.78%| 50.37%
287.30/288.18 o -10145
287.30/288.18 c r 288s| 1674 | 160 |284831 | 163.5 |ziroundi| 66 |1896 | 26k| 26k| 80 | 1 | 317 | 609 |-1.093944e+04 |-1.014500e+04 | 7.83%| 51.30%
287.40/288.20 o -10170
287.40/288.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
287.40/288.20 c r 288s| 1675 | 143 |284882 | 163.4 |rounding| 66 |1896 | 26k| 26k| 80 | 0 | 317 | 609 |-1.093944e+04 |-1.017000e+04 | 7.57%| 51.32%
287.40/288.22 o -10171
287.40/288.22 c i 288s| 1675 | 144 |284882 | 163.4 | oneopt| 66 |1896 | 26k| 26k| 80 | 2 | 317 | 609 |-1.093944e+04 |-1.017100e+04 | 7.56%| 51.32%
287.60/288.47 o -10173
287.60/288.47 c r 288s| 1686 | 153 |285374 | 162.7 |rounding| 66 |1896 | 26k| 26k| 80 | 0 | 317 | 609 |-1.093944e+04 |-1.017300e+04 | 7.53%| 51.32%
287.60/288.48 o -10174
287.60/288.48 c i 288s| 1686 | 155 |285374 | 162.7 | oneopt| 66 |1896 | 26k| 26k| 80 | 2 | 317 | 609 |-1.093944e+04 |-1.017400e+04 | 7.52%| 51.32%
288.00/288.86 c 289s| 1700 | 169 |286140 | 161.8 | 202M | 66 |1896 | 26k| 26k| 80 | 2 | 324 | 609 |-1.093944e+04 |-1.017400e+04 | 7.52%| 51.32%
290.49/291.32 o -10181
290.49/291.32 c r 291s| 1781 | 175 |289066 | 156.0 |rounding| 66 |1896 | 27k| 26k| 101 | 0 | 367 | 609 |-1.093944e+04 |-1.018100e+04 | 7.45%| 51.36%
290.79/291.62 c 292s| 1800 | 186 |289529 | 154.7 | 203M | 66 |1896 | 27k| 26k| 101 | 0 | 377 | 609 |-1.093944e+04 |-1.018100e+04 | 7.45%| 51.36%
296.47/297.37 c 297s| 1900 | 205 |296042 | 149.9 | 203M | 66 |1896 | 27k| 26k| 106 | 1 | 409 | 620 |-1.093020e+04 |-1.018100e+04 | 7.36%| 56.55%
302.06/302.98 c L 303s| 1981 | 266 |301936 | 146.8 | rins| 66 |1896 | 27k| 26k| 106 | 2 | 445 | 634 |-1.091173e+04 |-1.018100e+04 | 7.18%| 57.71%
302.46/303.35 c 303s| 2000 | 281 |302336 | 145.6 | 205M | 66 |1896 | 27k| 26k| 108 | 0 | 445 | 634 |-1.091173e+04 |-1.018100e+04 | 7.18%| 57.71%
307.74/308.61 c 309s| 2100 | 325 |308373 | 141.5 | 205M | 66 |1896 | 27k| 26k| 116 | 0 | 449 | 634 |-1.090801e+04 |-1.018100e+04 | 7.14%| 58.33%
314.52/315.43 c 315s| 2200 | 357 |314761 | 138.0 | 205M | 66 |1896 | 27k| 26k| 121 | 2 | 449 | 648 |-1.086566e+04 |-1.018100e+04 | 6.72%| 58.78%
318.91/319.86 o -10182
318.91/319.87 c r 320s| 2255 | 349 |316604 | 135.4 |randroun| 66 |1896 | 27k| 26k| 129 | 1 | 455 | 648 |-1.086566e+04 |-1.018200e+04 | 6.71%| 58.86%
319.50/320.41 c 320s| 2300 | 360 |317344 | 133.1 | 205M | 66 |1896 | 27k| 26k| 131 | 1 | 455 | 648 |-1.086566e+04 |-1.018200e+04 | 6.71%| 58.93%
330.28/331.21 c 331s| 2400 | 376 |329816 | 132.8 | 205M | 66 |1896 | 27k| 26k| 132 | 0 | 460 | 666 |-1.081253e+04 |-1.018200e+04 | 6.19%| 60.24%
339.65/340.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
339.65/340.60 c 341s| 2500 | 362 |340873 | 131.9 | 206M | 66 |1896 | 27k| 26k| 134 | 0 | 465 | 680 |-1.076236e+04 |-1.018200e+04 | 5.70%| 61.80%
358.40/359.46 c 359s| 2600 | 328 |356631 | 132.9 | 206M | 66 |1896 | 27k| 26k| 138 | 0 | 468 | 693 |-1.070958e+04 |-1.018200e+04 | 5.18%| 64.10%
358.80/359.89 o -10188
358.80/359.89 c r 360s| 2610 | 205 |357444 | 132.7 |ziroundi| 66 |1896 | 27k| 26k| 139 | 3 | 468 | 693 |-1.070958e+04 |-1.018800e+04 | 5.12%| 64.11%
363.88/364.96 c 365s| 2700 | 249 |360867 | 129.5 | 206M | 66 |1896 | 27k| 26k| 140 | 2 | 515 | 741 |-1.070044e+04 |-1.018800e+04 | 5.03%| 64.52%
368.17/369.28 c 369s| 2800 | 251 |368037 | 127.4 | 206M | 66 |1896 | 27k| 26k| 142 | 0 | 528 | 741 |-1.065620e+04 |-1.018800e+04 | 4.60%| 65.41%
373.96/375.00 c 375s| 2900 | 253 |373909 | 125.1 | 206M | 66 |1896 | 27k| 26k| 145 | 2 | 538 | 754 |-1.064239e+04 |-1.018800e+04 | 4.46%| 68.15%
376.95/378.09 c 378s| 3000 | 265 |379039 | 122.6 | 207M | 66 |1896 | 27k| 26k| 146 | 1 | 551 | 757 |-1.062450e+04 |-1.018800e+04 | 4.28%| 69.46%
381.53/382.68 c 383s| 3100 | 257 |383659 | 120.2 | 207M | 66 |1896 | 27k| 26k| 146 | 0 | 636 | 818 |-1.062204e+04 |-1.018800e+04 | 4.26%| 71.00%
388.62/389.75 c 390s| 3200 | 262 |391044 | 118.7 | 207M | 66 |1896 | 27k| 26k| 146 | 0 | 665 | 841 |-1.060116e+04 |-1.018800e+04 | 4.06%| 73.00%
395.10/396.23 c 396s| 3300 | 276 |397396 | 117.0 | 207M | 66 |1896 | 27k| 26k| 152 | 0 | 681 | 881 |-1.056052e+04 |-1.018800e+04 | 3.66%| 74.51%
399.09/400.22 c 400s| 3400 | 265 |403265 | 115.3 | 207M | 66 |1896 | 27k| 26k| 156 | 2 | 682 | 887 |-1.053626e+04 |-1.018800e+04 | 3.42%| 76.15%
404.07/405.24 c 405s| 3500 | 277 |409742 | 113.9 | 208M | 66 |1896 | 27k| 26k| 158 | 0 | 693 | 901 |-1.052508e+04 |-1.018800e+04 | 3.31%| 77.89%
416.44/417.61 c 418s| 3600 | 319 |416561 | 112.6 | 208M | 66 |1896 | 27k| 26k| 161 | 0 | 752 | 964 |-1.051045e+04 |-1.018800e+04 | 3.17%| 79.11%
421.93/423.14 c 423s| 3700 | 299 |423936 | 111.6 | 208M | 66 |1896 | 27k| 26k| 161 | 2 | 779 | 996 |-1.047988e+04 |-1.018800e+04 | 2.86%| 81.65%
425.71/426.94 c 427s| 3800 | 277 |427732 | 109.6 | 208M | 66 |1896 | 27k| 26k| 163 | 2 | 851 |1056 |-1.047786e+04 |-1.018800e+04 | 2.85%| 82.70%
429.10/430.34 o -10191
429.10/430.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
429.10/430.34 c r 430s| 3888 | 181 |431651 | 108.1 |ziroundi| 66 |1896 | 27k| 26k| 163 | 2 | 881 |1081 |-1.046390e+04 |-1.019100e+04 | 2.68%| 84.37%
429.30/430.50 c 430s| 3900 | 193 |431925 | 107.9 | 208M | 66 |1896 | 27k| 26k| 163 | 2 | 881 |1081 |-1.046390e+04 |-1.019100e+04 | 2.68%| 84.37%
433.89/435.17 c 435s| 4000 | 164 |437581 | 106.6 | 208M | 66 |1896 | 27k| 26k| 165 | 0 | 920 |1114 |-1.044487e+04 |-1.019100e+04 | 2.49%| 86.05%
440.57/441.80 o -10214
440.57/441.80 c r 442s| 4065 | 92 |440495 | 105.6 |ziroundi| 66 |1896 | 27k| 26k| 166 | 2 | 944 |1145 |-1.042775e+04 |-1.021400e+04 | 2.09%| 86.93%
440.57/441.82 o -10238
440.57/441.82 c i 442s| 4066 | 81 |440521 | 105.6 | oneopt| 66 |1896 | 27k| 26k| 166 | 2 | 944 |1145 |-1.042775e+04 |-1.023800e+04 | 1.85%| 86.94%
441.07/442.34 c 442s| 4100 | 105 |441249 | 104.9 | 208M | 66 |1896 | 27k| 26k| 166 | 2 | 954 |1145 |-1.042775e+04 |-1.023800e+04 | 1.85%| 86.95%
442.56/443.86 c 444s| 4200 | 115 |443604 | 103.0 | 209M | 66 |1896 | 27k| 26k| 171 | 0 | 969 |1145 |-1.042648e+04 |-1.023800e+04 | 1.84%| 87.30%
445.06/446.30 c 446s| 4300 | 117 |447338 | 101.4 | 209M | 66 |1896 | 27k| 26k| 177 | 1 | 978 |1145 |-1.041928e+04 |-1.023800e+04 | 1.77%| 89.03%
448.05/449.35 c 449s| 4400 | 101 |450351 | 99.8 | 209M | 66 |1896 | 27k| 26k| 183 | 0 |1017 |1190 |-1.040878e+04 |-1.023800e+04 | 1.67%| 90.65%
448.15/449.44 c r 449s| 4406 | 103 |450445 | 99.7 |ziroundi| 66 |1896 | 27k| 26k| 183 | 2 |1017 |1190 |-1.040878e+04 |-1.023800e+04 | 1.67%| 90.66%
451.14/452.44 c 452s| 4500 | 107 |453101 | 98.2 | 209M | 66 |1896 | 27k| 26k| 187 | 2 |1090 |1277 |-1.040371e+04 |-1.023800e+04 | 1.62%| 90.98%
454.13/455.45 c 455s| 4600 | 107 |456036 | 96.7 | 209M | 66 |1896 | 27k| 26k| 188 | 0 |1153 |1349 |-1.039992e+04 |-1.023800e+04 | 1.58%| 91.94%
456.12/457.47 o -10245
456.12/457.47 c r 457s| 4645 | 61 |457546 | 96.1 |ziroundi| 66 |1896 | 27k| 26k| 188 | 2 |1156 |1370 |-1.038933e+04 |-1.024500e+04 | 1.41%| 92.54%
456.22/457.53 o -10267
456.22/457.53 c i 458s| 4646 | 42 |457682 | 96.1 | oneopt| 66 |1896 | 27k| 26k| 188 | 2 |1156 |1370 |-1.038933e+04 |-1.026700e+04 | 1.19%| 92.57%
457.02/458.37 o -10268
457.02/458.37 c r 458s| 4686 | 57 |459080 | 95.6 |ziroundi| 66 |1896 | 26k| 26k| 188 | 1 |1156 |1370 |-1.038933e+04 |-1.026800e+04 | 1.18%| 92.93%
457.32/458.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
457.32/458.68 c 459s| 4700 | 61 |459655 | 95.4 | 209M | 66 |1896 | 26k| 26k| 188 | 1 |1156 |1370 |-1.038711e+04 |-1.026800e+04 | 1.16%| 93.28%
458.51/459.85 o -10269
458.51/459.85 c r 460s| 4759 | 66 |461203 | 94.6 |ziroundi| 66 |1896 | 26k| 26k| 189 | 2 |1157 |1376 |-1.037954e+04 |-1.026900e+04 | 1.08%| 94.01%
459.61/460.93 c 461s| 4800 | 81 |462308 | 94.0 | 209M | 66 |1896 | 26k| 26k| 189 | 0 |1192 |1401 |-1.037677e+04 |-1.026900e+04 | 1.05%| 94.34%
463.19/464.57 c 465s| 4900 | 61 |465767 | 92.8 | 210M | 66 |1896 | 26k| 26k| 189 | 0 |1296 |1513 |-1.035239e+04 |-1.026900e+04 | 0.81%| 95.64%
466.08/467.40 c 467s| 5000 | 47 |468459 | 91.4 | 210M | 66 |1896 | 27k| 26k| 190 | 0 |1354 |1557 |-1.034671e+04 |-1.026900e+04 | 0.76%| 96.73%
470.06/471.44 c 471s| 5100 | 55 |472704 | 90.5 | 210M | 66 |1896 | 27k| 26k| 190 | 2 |1396 |1601 |-1.033806e+04 |-1.026900e+04 | 0.67%| 97.76%
470.77/472.19 o -10274
470.77/472.19 c r 472s| 5132 | 51 |473196 | 90.0 |ziroundi| 66 |1896 | 27k| 26k| 198 | 2 |1396 |1601 |-1.033806e+04 |-1.027400e+04 | 0.62%| 97.77%
472.16/473.58 c 474s| 5200 | 65 |474569 | 89.1 | 210M | 66 |1896 | 27k| 26k| 211 | 0 |1406 |1601 |-1.032898e+04 |-1.027400e+04 | 0.54%| 98.07%
474.05/475.47 c 475s| 5300 | 56 |476838 | 87.9 | 210M | 66 |1896 | 26k| 26k| 216 | 2 |1440 |1611 |-1.031779e+04 |-1.027400e+04 | 0.43%| 98.70%
476.74/478.16 c 478s| 5400 | 66 |479619 | 86.7 | 210M | 66 |1896 | 26k| 26k| 218 | 2 |1577 |1687 |-1.031779e+04 |-1.027400e+04 | 0.43%| 98.81%
480.03/481.45 c 481s| 5500 | 66 |482801 | 85.7 | 210M | 66 |1896 | 26k| 26k| 219 | 1 |1680 |1764 |-1.029917e+04 |-1.027400e+04 | 0.25%| 99.28%
482.12/483.59 c 484s| 5600 | 72 |484988 | 84.6 | 210M | 66 |1896 | 26k| 26k| 225 | 0 |1759 |1804 |-1.029861e+04 |-1.027400e+04 | 0.24%| 99.40%
483.51/484.95 o -10279
483.51/484.95 c r 485s| 5631 | 21 |486470 | 84.4 |rounding| 66 |1896 | 26k| 26k| 227 | 2 |1806 |1850 |-1.029290e+04 |-1.027900e+04 | 0.14%| 99.47%
485.40/486.84 c 487s| 5700 | 36 |488414 | 83.7 | 210M | 66 |1896 | 26k| 26k| 227 | 4 |1866 |1897 |-1.028871e+04 |-1.027900e+04 | 0.09%| 99.60%
486.40/487.84 o -10280
486.40/487.84 c r 488s| 5764 | 22 |489553 | 83.0 |ziroundi| 66 |1896 | 26k| 26k| 227 | 1 |1888 |1921 |-1.028709e+04 |-1.028000e+04 | 0.07%| 99.74%
487.40/488.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
487.40/488.81 c 489s| 5800 | 36 |490536 | 82.6 | 210M | 66 |1896 | 25k| 26k| 228 | 1 |1923 |1939 |-1.028620e+04 |-1.028000e+04 | 0.06%| 99.77%
488.79/490.28 c
488.79/490.28 c SCIP Status : problem is solved [optimal solution found]
488.79/490.28 c Solving Time (sec) : 490.27
488.79/490.28 c Solving Nodes : 5884
488.79/490.28 c Primal Bound : -1.02800000000000e+04 (921 solutions)
488.79/490.28 c Dual Bound : -1.02800000000000e+04
488.79/490.28 c Gap : 0.00 %
488.79/490.29 s OPTIMUM FOUND
488.79/490.29 v x2023 -x2022 -x2021 -x2020 -x2019 x2018 x2017 x2016 -x2015 -x2014 -x2013 -x2012 x2011 x2010 x2009 -x2008 x2007 x2006 -x2005 -x2004
488.79/490.29 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 x1993 x1992 x1991 x1990 x1989 x1988 x1987 x1986 x1985
488.79/490.29 v x1984 x1983 x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 x1975 x1974 -x1973 -x1972 x1971 x1970 x1969 x1968 -x1967 -x1966
488.79/490.29 v -x1965 -x1964 -x1963 x1962 -x1961 -x1960 -x1959 x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948
488.79/490.29 v x1947 -x1946 -x1945 -x1944 x1943 x1942 -x1941 -x1940 x1939 -x1938 -x1937 -x1936 x1935 -x1934 -x1933 -x1932 -x1931 -x1930 x1929
488.79/490.29 v x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 -x1912 -x1911
488.79/490.29 v x1910 -x1909 -x1908 x1907 -x1906 -x1905 x1904 -x1903 -x1902 -x1901 -x1900 x1899 -x1898 -x1897 x1896 -x1895 -x1894 x1893 -x1892
488.79/490.29 v -x1891 x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
488.79/490.29 v -x1873 -x1872 x1871 x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 x1861 -x1860 -x1859 -x1858 x1857 x1856 x1855
488.79/490.29 v x1854 x1853 -x1852 -x1851 x1850 x1849 x1848 -x1847 x1846 -x1845 -x1844 -x1843 x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835
488.79/490.29 v -x1834 x1833 x1832 -x1831 -x1830 -x1829 x1828 x1827 -x1826 x1825 x1824 x1823 x1822 x1821 x1820 x1819 x1818 x1817 -x1816 -x1815
488.79/490.29 v x1814 -x1813 x1812 x1811 x1810 x1809 x1808 x1807 x1806 x1805 x1804 x1803 x1802 x1801 x1800 -x1799 -x1798 -x1797 x1796 x1795
488.79/490.29 v x1794 x1793 x1792 x1791 x1790 x1789 x1788 x1787 x1786 x1785 x1784 x1783 x1782 -x1781 -x1780 x1779 x1778 x1777 x1776 x1775
488.79/490.29 v x1774 x1773 x1772 x1771 x1770 x1769 x1768 x1767 x1766 x1765 x1764 -x1763 x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754
488.79/490.29 v x1753 x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733
488.79/490.29 v x1732 x1731 x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720 x1719 x1718 x1717 -x1716 -x1715 -x1714 -x1713
488.79/490.29 v -x1712 x1711 x1710 -x1709 -x1708 x1707 x1706 x1705 x1704 x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694
488.79/490.29 v -x1693 -x1692 -x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676
488.79/490.29 v -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658
488.79/490.29 v -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
488.79/490.29 v -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623
488.79/490.29 v -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605
488.79/490.29 v -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587
488.79/490.29 v -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 x1572 x1571 -x1570 -x1569
488.79/490.29 v -x1568 -x1567 x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 x1556 x1555 x1554 x1553 -x1552 -x1551 -x1550
488.79/490.29 v -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 x1542 x1541 x1540 x1539 x1538 x1537 -x1536 x1535 -x1534 -x1533 -x1532 -x1531
488.79/490.29 v -x1530 x1529 -x1528 x1527 x1526 x1525 x1524 x1523 x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 x1515 x1514 x1513 x1512
488.79/490.29 v x1511 x1510 x1509 x1508 x1507 x1506 x1505 -x1504 x1503 -x1502 -x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 x1493 x1492
488.79/490.29 v x1491 x1490 x1489 x1488 x1487 x1486 -x1485 -x1484 -x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472
488.79/490.29 v x1471 x1470 -x1469 -x1468 x1467 x1466 x1465 x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457 x1456 -x1455 -x1454 -x1453 -x1452
488.79/490.29 v x1451 x1450 x1449 x1448 x1447 x1446 x1445 x1444 x1443 x1442 x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
488.79/490.29 v -x1431 -x1430 -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
488.79/490.29 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396
488.79/490.29 v -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
488.79/490.29 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361
488.79/490.29 v -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343
488.79/490.29 v -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325
488.79/490.29 v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307
488.79/490.29 v -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289
488.79/490.29 v -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 x1275 x1274 -x1273 -x1272 -x1271
488.79/490.29 v -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 x1260 x1259 x1258 x1257 x1256 -x1255 -x1254 -x1253 -x1252
488.79/490.29 v -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 x1243 x1242 x1241 x1240 x1239 -x1238 -x1237 -x1236 -x1235 -x1234
488.79/490.29 v -x1233 -x1232 -x1231 -x1230 -x1229 x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215
488.79/490.29 v -x1214 -x1213 x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 -x1196 x1195
488.79/490.29 v -x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176
488.79/490.29 v x1175 x1174 x1173 x1172 x1171 x1170 x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 x1158 x1157
488.79/490.29 v x1156 x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138
488.79/490.29 v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
488.79/490.29 v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
488.79/490.29 v -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
488.79/490.29 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
488.79/490.29 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049
488.79/490.29 v -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
488.79/490.29 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013
488.79/490.29 v -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995
488.79/490.29 v -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974
488.79/490.29 v -x973 -x972 -x971 x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 x954 x953 x952
488.79/490.29 v -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 x938 x937 x936 x935 -x934 -x933 -x932 -x931
488.79/490.29 v -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 x922 x921 x920 x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909
488.79/490.29 v -x908 -x907 x906 x905 x904 x903 x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 x887
488.79/490.29 v x886 x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 -x869 -x868 -x867 -x866 -x865
488.79/490.29 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
488.79/490.29 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824
488.79/490.29 v -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
488.79/490.29 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
488.79/490.29 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
488.79/490.29 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
488.79/490.29 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
488.79/490.29 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699
488.79/490.29 v -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
488.79/490.29 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
488.79/490.29 v -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 x636
488.79/490.29 v x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 x618 x617 -x616 x615 -x614
488.79/490.29 v -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593
488.79/490.29 v -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572
488.79/490.29 v -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551
488.79/490.29 v -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530
488.79/490.29 v -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510
488.79/490.29 v -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489
488.79/490.29 v -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468
488.79/490.29 v -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447
488.79/490.29 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426
488.79/490.29 v -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405
488.79/490.29 v -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
488.79/490.29 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
488.79/490.29 v -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
488.79/490.29 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
488.79/490.29 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
488.79/490.29 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
488.79/490.29 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260
488.79/490.29 v -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239
488.79/490.29 v -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
488.79/490.29 v -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197
488.79/490.29 v -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176
488.79/490.29 v -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155
488.79/490.29 v -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
488.79/490.29 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
488.79/490.29 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
488.79/490.29 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
488.79/490.29 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
488.79/490.29 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17
488.79/490.29 v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
488.79/490.29 c SCIP Status : problem is solved [optimal solution found]
488.79/490.29 c Total Time : 490.27
488.79/490.29 c solving : 490.27
488.79/490.29 c presolving : 3.79 (included in solving)
488.79/490.29 c reading : 0.05 (included in solving)
488.79/490.29 c copying : 0.79 (25 #copies) (minimal 0.03, maximal 0.03, average 0.03)
488.79/490.29 c Original Problem :
488.79/490.29 c Problem name : HOME/instance-4522376-1751582274.opb
488.79/490.29 c Variables : 2023 (2023 binary, 0 integer, 0 implicit integer, 0 continuous)
488.79/490.29 c Constraints : 31798 initial, 31798 maximal
488.79/490.29 c Objective : minimize, 1997 non-zeros (abs.min = 1, abs.max = 333)
488.79/490.29 c Presolved Problem :
488.79/490.29 c Problem name : t_HOME/instance-4522376-1751582274.opb
488.79/490.29 c Variables : 1896 (1896 binary, 0 integer, 0 implicit integer, 0 continuous)
488.79/490.29 c Constraints : 26691 initial, 27537 maximal
488.79/490.29 c Objective : minimize, 1870 non-zeros (abs.min = 1, abs.max = 333)
488.79/490.29 c Nonzeros : 68532 constraint, 143560 clique table
488.79/490.29 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
488.79/490.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c dualsparsify : 0.14 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c milp : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c trivial : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
488.79/490.29 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c dualfix : 0.00 0.00 6 121 0 0 0 0 0 0 0 0
488.79/490.29 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c probing : 2.63 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c pseudoobj : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
488.79/490.29 c symmetry : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c knapsack : 0.65 0.00 5 0 0 0 0 0 0 0 0 0
488.79/490.29 c setppc : 0.03 0.00 5 4 0 0 0 0 148 0 0 0
488.79/490.29 c linear : 0.19 0.01 4 0 2 0 0 0 4959 0 0 0
488.79/490.29 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c root node : - - - 179 - - 179 - - - - -
488.79/490.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
488.79/490.29 c benderslp : 0 0 0 0 4112 0 0 1200 0 0 0 0 0 0 0
488.79/490.29 c integral : 0 0 0 0 4112 0 0 1200 0 0 6072 0 0 1268 6800
488.79/490.29 c knapsack : 8 8 2 48844 0 0 0 1194 2 33 2453 0 0 0 0
488.79/490.29 c setppc : 26683+ 26704 2 49013 0 0 0 976 131881 21 149624 0 0 0 0
488.79/490.29 c linear : 0+ 55 0 13186 0 0 0 3 2 1 15 0 0 0 0
488.79/490.29 c logicor : 0+ 1352 2 7365 0 0 0 0 63 63 102 0 0 0 0
488.79/490.29 c benders : 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0
488.79/490.29 c fixedvar : 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0
488.79/490.29 c countsols : 0 0 0 0 0 0 0 963 0 0 0 0 0 0 0
488.79/490.29 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
488.79/490.29 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c integral : 168.24 0.00 0.00 0.00 168.20 0.00 0.00 0.04 0.00 0.00
488.79/490.29 c knapsack : 0.86 0.00 0.40 0.28 0.00 0.00 0.00 0.08 0.00 0.10
488.79/490.29 c setppc : 3.03 0.00 0.02 1.69 0.00 0.00 0.00 0.68 0.05 0.59
488.79/490.29 c linear : 0.05 0.01 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.01
488.79/490.29 c logicor : 0.08 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.01
488.79/490.29 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
488.79/490.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
488.79/490.29 c dualfix : 3 0 0 0
488.79/490.29 c genvbounds : 0 0 0 0
488.79/490.29 c nlobbt : 0 0 0 0
488.79/490.29 c obbt : 0 0 0 0
488.79/490.29 c probing : 0 0 0 0
488.79/490.29 c pseudoobj : 29978 0 0 0
488.79/490.29 c redcost : 13361 0 0 19972
488.79/490.29 c rootredcost : 41 0 0 0
488.79/490.29 c symmetry : 0 0 0 0
488.79/490.29 c vbounds : 37772 0 0 0
488.79/490.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
488.79/490.29 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
488.79/490.29 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
488.79/490.29 c probing : 2.63 0.00 2.63 0.00 0.00 0.00
488.79/490.29 c pseudoobj : 0.89 0.00 0.00 0.89 0.00 0.00
488.79/490.29 c redcost : 0.48 0.00 0.00 0.48 0.00 0.00
488.79/490.29 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
488.79/490.29 c symmetry : 0.04 0.00 0.03 0.01 0.00 0.00
488.79/490.29 c vbounds : 0.10 0.00 0.00 0.08 0.00 0.01
488.79/490.29 c Symmetry :
488.79/490.29 c orbitopal red. : 0 reductions applied, 0 cutoffs
488.79/490.29 c orbital reduction: 0 reductions applied, 0 cutoffs
488.79/490.29 c lexicographic red: 0 reductions applied, 0 cutoffs
488.79/490.29 c shadow tree time : 0.00 s
488.79/490.29 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
488.79/490.29 c propagation : 0.01 115 109 - 291 108.9 0 0.0 - - -
488.79/490.29 c infeasible LP : 0.00 1 1 - 20 187.1 0 0.0 0 0.0 0
488.79/490.29 c bound exceed. LP : 5.89 1667 377 - 5871 226.4 0 0.0 69 265.1 13401
488.79/490.29 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
488.79/490.29 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
488.79/490.29 c applied globally : 0.36 - - 0 1884 81.4 - - 69 - -
488.79/490.29 c applied locally : - - - 0 0 0.0 - - 0 - -
488.79/490.29 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
488.79/490.29 c cut pool : 0.07 - 938 0 - - 208 248 - - - - - (maximal pool size: 50)
488.79/490.29 c aggregation : 11.55 0.00 248 2 0 0 208 248 0 229 229 0 0
488.79/490.29 c > cmir : - - - - - - - 86 0 81 81 0 -
488.79/490.29 c > flowcover : - - - - - - - 142 0 133 133 0 -
488.79/490.29 c > knapsackcover : - - - - - - - 20 0 15 15 0 -
488.79/490.29 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c clique : 0.19 0.00 2 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c gomory : 52.14 0.00 232 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c > gomorymi : - - - - - - - 0 0 0 0 0 -
488.79/490.29 c > strongcg : - - - - - - - 0 0 0 0 0 -
488.79/490.29 c impliedbounds : 0.44 0.00 248 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c mcf : 0.01 0.00 1 1 0 0 0 0 0 0 0 0 0
488.79/490.29 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c multilinear : 0.00 0.00 82 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c rapidlearning : 0.03 0.00 0 0 0 0 0 0 0 0 0 0 0
488.79/490.29 c rlt : 0.00 0.00 114 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c zerohalf : 1.54 0.00 232 2 0 0 0 0 0 0 0 0 0
488.79/490.29 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
488.79/490.29 c hybrid : 0.00 0.00 227 0 229 0 19 0 0 0
488.79/490.29 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c Pricers : ExecTime SetupTime Calls Vars
488.79/490.29 c problem variables: 0.00 - 0 0
488.79/490.29 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
488.79/490.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c random : 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c relpscost : 168.19 0.00 4112 0 0 0 6072 0 1311 6800
488.79/490.29 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
488.79/490.29 c Primal Heuristics : ExecTime SetupTime Calls Found Best
488.79/490.29 c LP solutions : 0.00 - - 0 0
488.79/490.29 c relax solutions : 0.00 - - 0 0
488.79/490.29 c pseudo solutions : 0.00 - - 0 0
488.79/490.29 c strong branching : 0.04 - - 0 0
488.79/490.29 c actconsdiving : 0.00 0.00 0 0 0
488.79/490.29 c adaptivediving : 0.93 0.00 23 0 0
488.79/490.29 c alns : 0.54 0.00 6 0 0
488.79/490.29 c bound : 0.00 0.00 0 0 0
488.79/490.29 c clique : 0.04 0.00 1 0 0
488.79/490.29 c coefdiving : 0.00 0.00 0 0 0
488.79/490.29 c completesol : 0.00 0.00 0 0 0
488.79/490.29 c conflictdiving : 1.81 0.00 12 0 0
488.79/490.29 c crossover : 0.83 0.00 10 6 0
488.79/490.29 c dins : 0.00 0.00 0 0 0
488.79/490.29 c distributiondivin: 1.10 0.00 11 0 0
488.79/490.29 c dps : 0.00 0.00 0 0 0
488.79/490.29 c dualval : 0.00 0.00 0 0 0
488.79/490.29 c farkasdiving : 3.72 0.00 12 1 1
488.79/490.29 c feasjump : 0.00 0.00 0 0 0
488.79/490.29 c feaspump : 0.60 0.00 1 1 0
488.79/490.29 c fixandinfer : 0.00 0.00 0 0 0
488.79/490.29 c fracdiving : 0.32 0.00 12 0 0
488.79/490.29 c gins : 0.02 0.00 0 0 0
488.79/490.29 c guideddiving : 0.46 0.00 12 0 0
488.79/490.29 c indcoefdiving : 0.00 0.00 0 0 0
488.79/490.29 c indicator : 0.00 0.00 0 0 0
488.79/490.29 c indicatordiving : 0.00 0.00 0 0 0
488.79/490.29 c indoneopt : 0.00 0.00 0 0 0
488.79/490.29 c indrounding : 0.00 0.00 0 0 0
488.79/490.29 c indtwoopt : 0.00 0.00 0 0 0
488.79/490.29 c intdiving : 0.00 0.00 0 0 0
488.79/490.29 c intshifting : 0.00 0.00 0 0 0
488.79/490.29 c linesearchdiving : 0.49 0.00 12 0 0
488.79/490.29 c localbranching : 0.00 0.00 0 0 0
488.79/490.29 c locks : 0.04 0.00 1 1 1
488.79/490.29 c lpface : 0.00 0.00 0 0 0
488.79/490.29 c mpec : 0.00 0.00 0 0 0
488.79/490.29 c multistart : 0.00 0.00 0 0 0
488.79/490.29 c mutation : 0.00 0.00 0 0 0
488.79/490.29 c nlpdiving : 0.00 0.00 0 0 0
488.79/490.29 c objpscostdiving : 5.97 0.00 1 0 0
488.79/490.29 c octane : 0.00 0.00 0 0 0
488.79/490.29 c ofins : 0.00 0.00 0 0 0
488.79/490.29 c oneopt : 0.08 0.00 33 10 10
488.79/490.29 c padm : 0.00 0.00 0 0 0
488.79/490.29 c proximity : 0.00 0.00 0 0 0
488.79/490.29 c pscostdiving : 0.37 0.00 12 0 0
488.79/490.29 c randrounding : 0.14 0.00 350 24 5
488.79/490.29 c rens : 0.00 0.00 0 0 0
488.79/490.29 c reoptsols : 0.00 0.00 0 0 0
488.79/490.29 c repair : 0.00 0.00 0 0 0
488.79/490.29 c rins : 1.81 0.00 9 7 2
488.79/490.29 c rootsoldiving : 2.82 0.00 3 0 0
488.79/490.29 c rounding : 12.14 0.00 4315 8 8
488.79/490.29 c scheduler : 0.00 0.00 0 0 0
488.79/490.29 c shiftandpropagate: 0.00 0.00 0 0 0
488.79/490.29 c shifting : 1.79 0.00 586 63 1
488.79/490.29 c simplerounding : 0.14 0.00 4742 0 0
488.79/490.29 c smallcard : 0.00 0.00 0 0 0
488.79/490.29 c subnlp : 0.00 0.00 0 0 0
488.79/490.29 c trivial : 0.00 0.00 2 1 1
488.79/490.29 c trivialnegation : 0.00 0.00 0 0 0
488.79/490.29 c trustregion : 0.00 0.00 0 0 0
488.79/490.29 c trysol : 0.00 0.00 0 0 0
488.79/490.29 c twoopt : 0.00 0.00 0 0 0
488.79/490.29 c undercover : 0.00 0.00 0 0 0
488.79/490.29 c vbounds : 0.11 0.00 1 1 1
488.79/490.29 c veclendiving : 0.28 0.00 12 0 0
488.79/490.29 c zeroobj : 0.00 0.00 0 0 0
488.79/490.29 c zirounding : 2.51 0.00 3400 798 14
488.79/490.29 c other solutions : - - - 0 -
488.79/490.29 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
488.79/490.29 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
488.79/490.29 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
488.79/490.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
488.79/490.29 c primal LP : 0.35 149 0 0.00 0.00 0.35 149
488.79/490.29 c dual LP : 190.56 11739 403430 59.24 2117.07 13.08 4929
488.79/490.29 c lex dual LP : 0.00 0 0 0.00 -
488.79/490.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
488.79/490.29 c resolve instable : 0.00 0 0 0.00 -
488.79/490.29 c diving/probing LP: 19.20 682 88823 130.24 4626.57
488.79/490.29 c strong branching : 152.03 1968 313749 159.43 2063.72 - - 556
488.79/490.29 c (at root node) : - 23 14603 634.91 -
488.79/490.29 c conflict analysis: 3.77 1366 13401 9.81 3556.17
488.79/490.29 c B&B Tree :
488.79/490.29 c number of runs : 1
488.79/490.29 c nodes : 5884 (3400 internal, 2484 leaves)
488.79/490.29 c feasible leaves : 0
488.79/490.29 c infeas. leaves : 17
488.79/490.29 c objective leaves : 2467
488.79/490.29 c nodes (total) : 5884 (3400 internal, 2484 leaves)
488.79/490.29 c nodes left : 0
488.79/490.29 c max depth : 66
488.79/490.29 c max depth (total): 66
488.79/490.29 c backtracks : 1612 (27.4%)
488.79/490.29 c early backtracks : 0 (0.0%)
488.79/490.29 c nodes exc. ref. : 0 (0.0%)
488.79/490.29 c delayed cutoffs : 6
488.79/490.29 c repropagations : 248 (373 domain reductions, 3 cutoffs)
488.79/490.29 c avg switch length: 6.38
488.79/490.29 c switching time : 3.77
488.79/490.29 c Root Node :
488.79/490.29 c First LP value : -1.28796868970874e+04
488.79/490.29 c First LP Iters : 11305 (1959.71 Iter/sec)
488.79/490.29 c First LP Time : 5.77
488.79/490.29 c Final Dual Bound : -1.27000078362753e+04
488.79/490.29 c Final Root Iters : 11305
488.79/490.29 c Root LP Estimate : -2.32801091246156e+03
488.79/490.29 c Solution :
488.79/490.29 c Solutions found : 921 (44 improvements)
488.79/490.29 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.09 seconds, depth 0, found by <trivial>)
488.79/490.29 c Gap First Sol. : infinite
488.79/490.29 c Gap Last Sol. : 0.07 %
488.79/490.29 c Primal Bound : -1.02800000000000e+04 (in run 1, after 5764 nodes, 487.83 seconds, depth 31, found by <zirounding>)
488.79/490.29 c Dual Bound : -1.02800000000000e+04
488.79/490.29 c Gap : 0.00 %
488.79/490.29 c Integrals : Total Avg%
488.79/490.29 c primal-dual : 6952.66 14.18
488.79/490.29 c primal-ref : - - (not evaluated)
488.79/490.29 c dual-ref : - - (not evaluated)
488.89/490.35 c Time complete: 488.951.
OK -10280
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 (57294 MiB free)
memory of node 1: 64465 MiB (62857 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522376-1751582274/watcher-4522376-1751582274 -o /tmp/evaluation-result-4522376-1751582274/solver-4522376-1751582274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4522376-1751582274.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=79889, runsolver pid=79886
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122987404/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=91040 memory=62484 CPUtime=0.09 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 12578 0 0 0 7 2 0 0 20 0 1 0 73904961 93224960 15621 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 22760 15621 3584 3530 0 14211 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 62484 KiB
[startup+0.205527 s]*
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122971864/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=109072 memory=80920 CPUtime=0.19 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 18777 0 0 0 16 3 0 0 20 0 1 0 73904961 111689728 20230 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 27268 20230 3712 3530 0 18719 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109072 KiB
Current children cumulated memory: 80920 KiB
[startup+0.305415 s]*
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122971864/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=105328 memory=77424 CPUtime=0.29 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 19049 0 0 0 26 3 0 0 20 0 1 0 73904961 107855872 19356 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 26332 19356 3712 3530 0 17783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 105328 KiB
Current children cumulated memory: 77424 KiB
[startup+0.700136 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122971864/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=107548 memory=79752 CPUtime=0.68 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 20609 0 0 0 65 3 0 0 20 0 1 0 73904961 110129152 19938 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 26887 19938 3744 3530 0 18338 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107548 KiB
Current children cumulated memory: 79752 KiB
[startup+1.50016 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122971864/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=108908 memory=81544 CPUtime=1.48 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 21067 0 0 0 145 3 0 0 20 0 1 0 73904961 111521792 20386 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 27227 20386 3744 3530 0 18678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108908 KiB
Current children cumulated memory: 81544 KiB
[startup+3.10532 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122968588/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=115960 memory=87944 CPUtime=3.08 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 22679 0 0 0 305 3 0 0 20 0 1 0 73904961 118743040 21986 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 28990 21986 3744 3530 0 20441 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115960 KiB
Current children cumulated memory: 87944 KiB
[startup+6.30016 s]
/proc/loadavg: 4.11 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122887852/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=212932 memory=176076 CPUtime=6.26 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 40317 0 0 0 621 5 0 0 20 0 1 0 73904961 218042368 44019 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 53233 44019 3904 3530 0 44684 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 212932 KiB
Current children cumulated memory: 176076 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 79890
/proc/meminfo: memFree=122884268/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=222984 memory=184140 CPUtime=12.64 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 42311 0 0 0 1259 5 0 0 20 0 1 0 73904961 228335616 46035 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 55746 46035 3936 3530 0 47197 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 222984 KiB
Current children cumulated memory: 184140 KiB
[startup+25.5012 s]
/proc/loadavg: 4.08 4.08 4.02 5/265 79890
/proc/meminfo: memFree=122831020/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=258288 memory=217932 CPUtime=25.42 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 50743 0 0 0 2535 7 0 0 20 0 1 0 73904961 264486912 54483 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 64572 54483 3936 3530 0 56023 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 258288 KiB
Current children cumulated memory: 217932 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.09 4.02 5/265 79891
/proc/meminfo: memFree=122822972/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=258288 memory=218060 CPUtime=50.95 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 50771 0 0 0 5088 7 0 0 20 0 1 0 73904961 264486912 54515 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 64572 54515 3936 3530 0 56023 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 258288 KiB
Current children cumulated memory: 218060 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/265 79893
/proc/meminfo: memFree=122801360/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=258288 memory=218060 CPUtime=102.01 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 50787 0 0 0 10194 7 0 0 20 0 1 0 73904961 264486912 54515 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 64572 54515 3936 3530 0 56023 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 258288 KiB
Current children cumulated memory: 218060 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/265 79895
/proc/meminfo: memFree=122722740/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=284064 memory=244104 CPUtime=161.84 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 59687 0 0 0 16176 8 0 0 20 0 1 0 73904961 290881536 61026 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 71016 61026 3936 3530 0 62467 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 284064 KiB
Current children cumulated memory: 244104 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/265 79896
/proc/meminfo: memFree=122648864/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=299448 memory=260360 CPUtime=221.67 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 63764 0 0 0 22158 9 0 0 20 0 1 0 73904961 306634752 65090 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 74862 65090 3936 3530 0 66313 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 299448 KiB
Current children cumulated memory: 260360 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 79903
/proc/meminfo: memFree=122632800/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=299448 memory=260360 CPUtime=281.52 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 63764 0 0 0 28142 10 0 0 20 0 1 0 73904961 306634752 65090 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 74862 65090 3936 3530 0 66313 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 299448 KiB
Current children cumulated memory: 260360 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/263 79905
/proc/meminfo: memFree=122612640/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=303320 memory=263944 CPUtime=341.35 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 64666 0 0 0 34125 10 0 0 20 0 1 0 73904961 310599680 65986 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 75830 65986 3936 3530 0 67281 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 303320 KiB
Current children cumulated memory: 263944 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/263 79907
/proc/meminfo: memFree=122559316/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=401.18 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68299 0 0 0 40107 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+462.3 s]
/proc/loadavg: 4.39 4.17 4.07 5/264 79912
/proc/meminfo: memFree=122544932/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=461 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 46089 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 461 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+490.364 s]
# the end of solver process 79889 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=488.837 s, system=0.126589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+473.6 s]
/proc/loadavg: 4.41 4.18 4.07 5/264 79913
/proc/meminfo: memFree=122533776/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=472.26 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 47215 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 472.26 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+480 s]*
/proc/loadavg: 4.34 4.17 4.07 5/264 79913
/proc/meminfo: memFree=122531372/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=478.64 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 47853 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 478.64 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+486.4 s]
/proc/loadavg: 4.31 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542532/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=485.01 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 48490 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 485.01 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+488 s]*
/proc/loadavg: 4.31 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542744/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=486.6 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 48649 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 486.6 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+489.6 s]
/proc/loadavg: 4.29 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542744/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=488.19 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 48808 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 488.19 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+490 s]*
/proc/loadavg: 4.29 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542744/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=488.6 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 48849 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 488.6 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+490.2 s]
/proc/loadavg: 4.29 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542744/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=488.79 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68302 0 0 0 48868 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 488.79 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
[startup+490.3 s]
/proc/loadavg: 4.29 4.17 4.07 5/264 79914
/proc/meminfo: memFree=122542744/131250000 swapFree=33007332/33010684
[pid=79889] ppid=79886 vsize=318412 memory=278536 CPUtime=488.89 cores=5,7
/proc/79889/stat : 79889 (pbscip) R 79886 79889 78955 0 -1 4194304 68313 0 0 0 48878 11 0 0 20 0 1 0 73904961 326053888 69634 18446744073709551615 4235264 18693293 140732050484240 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 28168192 140732050487689 140732050487788 140732050487788 140732050493390 0
/proc/79889/statm: 79603 69634 3936 3530 0 71054 0
Current children cumulated CPU time: 488.89 s
Current children cumulated vsize: 318412 KiB
Current children cumulated memory: 278536 KiB
Child status: 0
Real time (s): 490.364
CPU time (s): 488.964
CPU user time (s): 488.837
CPU system time (s): 0.126589
CPU usage (%): 99.7143
Max. virtual memory (cumulated for all children) (KiB): 318412
Max. memory (cumulated for all children) (KiB): 278536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 488.837
system time used= 0.126589
maximum resident set size= 278536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68320
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= 80
involuntary context switches= 541
# summary of solver processes directly reported to runsolver:
# pid: 79889
# total CPU time (s): 488.964
# total CPU user time (s): 488.837
# total CPU system time (s): 0.126589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.911739 second user time and 2.0287 second system time
The end
Begin job on nodeC019 at 2025-07-04 00:37:54 IDJOB=4522376 IDBENCH=178754 IDSOLVER=3365 FILE ID=nodeC019/4522376-1751582274 RUNJOBID= nodeC019-1751578154-78968 SLURM_JOB_ID= 9598809 Free space on /tmp= 431460 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522376-1751582274/watcher-4522376-1751582274 -o /tmp/evaluation-result-4522376-1751582274/solver-4522376-1751582274 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751578154-78968 --watchdog 3760 pbscip -f HOME/instance-4522376-1751582274.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9 RANDOM SEED=361447711 nodeC019 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.624 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.37 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.680 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.37 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 : 3599.833 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.37 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.803 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.37 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 : 3599.684 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.37 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 : 3601.925 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.37 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 : 3700.000 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.37 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.699 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 123035796 kB MemAvailable: 124886496 kB Buffers: 904 kB Cached: 2652684 kB SwapCached: 440 kB Active: 5018564 kB Inactive: 2507056 kB Active(anon): 4859488 kB Inactive(anon): 27736 kB Active(file): 159076 kB Inactive(file): 2479320 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33007332 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 19328 kB Writeback: 32 kB AnonPages: 4873916 kB Mapped: 139212 kB Shmem: 15192 kB KReclaimable: 103088 kB Slab: 191920 kB SReclaimable: 103088 kB SUnreclaim: 88832 kB KernelStack: 4272 kB PageTables: 13284 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 5616008 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1445888 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: 176852 kB DirectMap2M: 9031680 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431440 MiB End job on nodeC019 at 2025-07-04 00:46:05