Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | -192 | 253.947 | 254.574 |
| Name | PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/ opb/normalized-sporttournament28.opb |
| MD5SUM | 390ec8fc201467376172e52d21e0ee7b |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -192 |
| Best CPU time to get the best result obtained on this benchmark | 116.495 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 972 |
| Biggest coefficient in the objective function | 2 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 1048 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1048 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 728 |
| Sum of products size (including duplicates) | 1456 |
| 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-4512231-1751271860.opb>
0.00/0.00 c original problem has 1106 variables (378 bin, 0 int, 728 cont) and 728 constraints
0.00/0.00 c original problem has 728 implied integral variables (0 bin, 0 int, 728 cont)
0.00/0.00 c problem read in 0.002 seconds
0.00/0.00 o 0
0.00/0.00 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.00 c presolving:
0.00/0.01 c (0.0s) probing: 51/1106 (4.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.01 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.01 c (0.0s) no symmetry present (symcode time: 0.00)
0.00/0.01 c presolving (1 rounds: 1 fast, 1 medium, 1 exhaustive):
0.00/0.01 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 0 implications, 1456 cliques
0.00/0.01 c presolved problem has 1106 variables (378 bin, 0 int, 728 cont) and 728 constraints
0.00/0.01 c presolved problem has 728 implied integral variables (0 bin, 0 int, 728 cont)
0.00/0.01 c 728 constraints of type <and>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c problem pure SAT
0.00/0.01 c
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c
0.00/0.01 c # SCIP version 10.0.0
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.00/0.01 c limits/time = 3596.998009
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.00/0.01 c limits/memory = 27900
0.00/0.01 c
0.00/0.01 c # belongs reading time to solving time?
0.00/0.01 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c timing/reading = TRUE
0.00/0.01 c
0.00/0.01 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
0.00/0.01 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.00/0.01 c reading/opbreader/maxintsize = 47
0.00/0.01 c
0.00/0.01 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.00/0.01 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.00/0.01 c propagating/genvbounds/timingmask = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c transformed 2/2 original solutions to the transformed problem space
0.00/0.01 c
0.00/0.02 o -104
0.00/0.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.00/0.02 c p 0.0s| 1 | 0 | 0 | - | clique| 0 |1106 | 728 |1456 | 0 | 0 | 0 | 0 |-5.240000e+02 |-1.040000e+02 | 403.85%| unknown
0.00/0.03 o -132
0.00/0.03 c p 0.0s| 1 | 0 | 0 | - | vbounds| 0 |1106 | 728 |1456 | 0 | 0 | 0 | 0 |-5.240000e+02 |-1.320000e+02 | 296.97%| unknown
0.00/0.06 c 0.1s| 1 | 0 | 929 | - | 13M | 0 |1106 | 728 |1456 | 0 | 0 | 0 | 0 |-2.380000e+02 |-1.320000e+02 | 80.30%| unknown
0.00/0.08 c 0.1s| 1 | 0 | 932 | - | 13M | 0 |1106 | 728 |1690 | 234 | 1 | 0 | 0 |-2.380000e+02 |-1.320000e+02 | 80.30%| unknown
0.00/0.09 c 0.1s| 1 | 0 | 948 | - | 13M | 0 |1106 | 728 |1920 | 464 | 2 | 0 | 0 |-2.380000e+02 |-1.320000e+02 | 80.30%| unknown
0.09/0.14 c 0.1s| 1 | 0 | 1291 | - | 16M | 0 |1106 | 728 |1950 | 494 | 3 | 0 | 0 |-2.240000e+02 |-1.320000e+02 | 69.70%| unknown
0.09/0.20 c 0.2s| 1 | 0 | 1539 | - | 17M | 0 |1106 | 728 |1988 | 532 | 4 | 0 | 0 |-2.177500e+02 |-1.320000e+02 | 64.96%| unknown
0.20/0.28 c 0.3s| 1 | 0 | 1882 | - | 20M | 0 |1106 | 728 |2012 | 556 | 5 | 0 | 0 |-2.152500e+02 |-1.320000e+02 | 63.07%| unknown
0.30/0.39 c 0.4s| 1 | 0 | 2467 | - | 23M | 0 |1106 | 728 |2038 | 582 | 6 | 0 | 0 |-2.120000e+02 |-1.320000e+02 | 60.61%| unknown
0.49/0.51 c 0.5s| 1 | 0 | 2910 | - | 26M | 0 |1106 | 728 |2070 | 614 | 7 | 0 | 0 |-2.096528e+02 |-1.320000e+02 | 58.83%| unknown
0.59/0.66 c 0.7s| 1 | 0 | 3486 | - | 27M | 0 |1106 | 728 |2097 | 641 | 8 | 0 | 0 |-2.072083e+02 |-1.320000e+02 | 56.98%| unknown
0.79/0.88 c 0.9s| 1 | 0 | 4401 | - | 33M | 0 |1106 | 728 |2123 | 667 | 9 | 0 | 0 |-2.059430e+02 |-1.320000e+02 | 56.02%| unknown
0.99/1.05 c 1.0s| 1 | 0 | 5200 | - | 36M | 0 |1106 | 728 |2143 | 687 | 10 | 0 | 0 |-2.047626e+02 |-1.320000e+02 | 55.12%| unknown
1.19/1.24 c 1.2s| 1 | 0 | 6048 | - | 40M | 0 |1106 | 728 |2166 | 710 | 11 | 0 | 0 |-2.047626e+02 |-1.320000e+02 | 55.12%| unknown
1.19/1.24 c 1.2s| 1 | 0 | 6048 | - | 40M | 0 |1106 | 728 |2166 | 710 | 11 | 0 | 0 |-2.032095e+02 |-1.320000e+02 | 53.95%| unknown
1.38/1.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.38/1.46 c 1.5s| 1 | 0 | 7078 | - | 45M | 0 |1106 | 728 |2186 | 730 | 12 | 0 | 0 |-2.032095e+02 |-1.320000e+02 | 53.95%| unknown
1.38/1.46 c 1.5s| 1 | 0 | 7105 | - | 45M | 0 |1106 | 728 |2186 | 730 | 12 | 0 | 0 |-2.019190e+02 |-1.320000e+02 | 52.97%| unknown
1.48/1.56 c 1.6s| 1 | 0 | 7804 | - | 45M | 0 |1106 | 728 |2204 | 748 | 13 | 0 | 0 |-2.019190e+02 |-1.320000e+02 | 52.97%| unknown
1.48/1.56 c 1.6s| 1 | 0 | 7804 | - | 45M | 0 |1106 | 728 |2204 | 748 | 13 | 0 | 0 |-2.012346e+02 |-1.320000e+02 | 52.45%| unknown
1.58/1.68 c 1.7s| 1 | 0 | 8720 | - | 45M | 0 |1106 | 728 |2205 | 766 | 14 | 0 | 0 |-2.012346e+02 |-1.320000e+02 | 52.45%| unknown
1.58/1.69 c 1.7s| 1 | 0 | 8721 | - | 45M | 0 |1106 | 728 |2205 | 766 | 14 | 0 | 0 |-2.005368e+02 |-1.320000e+02 | 51.92%| unknown
1.68/1.78 c 1.8s| 1 | 0 | 9338 | - | 47M | 0 |1106 | 728 |2221 | 782 | 15 | 0 | 0 |-2.005368e+02 |-1.320000e+02 | 51.92%| unknown
1.68/1.79 c 1.8s| 1 | 0 | 9338 | - | 47M | 0 |1106 | 728 |2221 | 782 | 15 | 0 | 0 |-2.002236e+02 |-1.320000e+02 | 51.68%| unknown
1.88/1.91 c 1.9s| 1 | 0 | 10022 | - | 47M | 0 |1106 | 728 |2222 | 799 | 16 | 0 | 0 |-2.002236e+02 |-1.320000e+02 | 51.68%| unknown
1.88/1.92 c 1.9s| 1 | 0 | 10022 | - | 47M | 0 |1106 | 728 |2222 | 799 | 16 | 0 | 0 |-1.998348e+02 |-1.320000e+02 | 51.39%| unknown
1.98/2.04 c 2.0s| 1 | 0 | 10874 | - | 47M | 0 |1106 | 728 |2242 | 819 | 17 | 0 | 0 |-1.998348e+02 |-1.320000e+02 | 51.39%| unknown
1.98/2.04 c 2.0s| 1 | 0 | 10875 | - | 47M | 0 |1106 | 728 |2242 | 819 | 17 | 0 | 0 |-1.993124e+02 |-1.320000e+02 | 50.99%| unknown
2.09/2.13 c 2.1s| 1 | 0 | 11277 | - | 47M | 0 |1106 | 728 |2253 | 830 | 18 | 0 | 0 |-1.993124e+02 |-1.320000e+02 | 50.99%| unknown
2.09/2.14 c 2.1s| 1 | 0 | 11281 | - | 47M | 0 |1106 | 728 |2238 | 830 | 18 | 0 | 0 |-1.992225e+02 |-1.320000e+02 | 50.93%| unknown
2.19/2.24 c 2.2s| 1 | 0 | 11796 | - | 47M | 0 |1106 | 728 |2252 | 844 | 19 | 0 | 0 |-1.992225e+02 |-1.320000e+02 | 50.93%| unknown
2.19/2.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.19/2.24 c 2.2s| 1 | 0 | 11796 | - | 47M | 0 |1106 | 728 |2252 | 844 | 19 | 0 | 0 |-1.990172e+02 |-1.320000e+02 | 50.77%| unknown
2.29/2.35 c 2.4s| 1 | 0 | 12477 | - | 48M | 0 |1106 | 728 |2265 | 857 | 20 | 0 | 0 |-1.990172e+02 |-1.320000e+02 | 50.77%| unknown
2.29/2.36 c 2.4s| 1 | 0 | 12486 | - | 48M | 0 |1106 | 728 |2265 | 857 | 20 | 0 | 0 |-1.988101e+02 |-1.320000e+02 | 50.61%| unknown
2.39/2.48 c 2.5s| 1 | 0 | 13121 | - | 48M | 0 |1106 | 728 |2257 | 870 | 21 | 0 | 0 |-1.988101e+02 |-1.320000e+02 | 50.61%| unknown
2.39/2.48 c 2.5s| 1 | 0 | 13145 | - | 48M | 0 |1106 | 728 |2257 | 870 | 21 | 0 | 0 |-1.986426e+02 |-1.320000e+02 | 50.49%| unknown
2.49/2.59 c 2.6s| 1 | 0 | 13676 | - | 48M | 0 |1106 | 728 |2263 | 876 | 22 | 0 | 0 |-1.986426e+02 |-1.320000e+02 | 50.49%| unknown
2.49/2.59 c 2.6s| 1 | 0 | 13676 | - | 48M | 0 |1106 | 728 |2263 | 876 | 22 | 0 | 0 |-1.984796e+02 |-1.320000e+02 | 50.36%| unknown
2.59/2.63 c 2.6s| 1 | 0 | 13722 | - | 48M | 0 |1106 | 728 |2268 | 881 | 23 | 0 | 0 |-1.984782e+02 |-1.320000e+02 | 50.36%| unknown
2.59/2.67 c 2.7s| 1 | 0 | 13767 | - | 48M | 0 |1106 | 728 |2260 | 884 | 24 | 0 | 0 |-1.984782e+02 |-1.320000e+02 | 50.36%| unknown
2.59/2.67 c 2.7s| 1 | 0 | 13767 | - | 48M | 0 |1106 | 728 |2260 | 884 | 24 | 0 | 0 |-1.984777e+02 |-1.320000e+02 | 50.36%| unknown
3.68/3.76 o -173
3.68/3.76 c d 3.8s| 1 | 0 | 25347 | - |farkasdi| 0 |1106 | 728 |2260 | 0 | 25 | 0 | 0 |-1.984777e+02 |-1.730000e+02 | 14.73%| unknown
4.09/4.19 c 4.2s| 1 | 0 | 30750 | - | 48M | 0 |1106 | 728 |2260 | 884 | 25 | 0 | 0 |-1.984777e+02 |-1.730000e+02 | 14.73%| unknown
4.18/4.23 c 4.2s| 1 | 0 | 30751 | - | 48M | 0 |1106 | 728 |2261 | 885 | 26 | 0 | 0 |-1.984777e+02 |-1.730000e+02 | 14.73%| unknown
6.88/6.97 c 7.0s| 1 | 2 | 30757 | - | 48M | 0 |1106 | 728 |2261 | 885 | 27 | 0 | 26 |-1.984777e+02 |-1.730000e+02 | 14.73%| unknown
20.84/20.97 o -186
20.84/20.97 c d21.0s| 17 | 18 | 42370 |1787.6 |pscostdi| 16 |1106 | 728 |2265 | 0 | 1 | 0 | 155 |-1.984777e+02 |-1.860000e+02 | 6.71%| unknown
20.84/20.97 o -187
20.84/20.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.84/20.97 c i21.0s| 18 | 17 | 42401 |1684.3 | oneopt| 16 |1106 | 728 |2243 | 951 | 0 | 0 | 155 |-1.984777e+02 |-1.870000e+02 | 6.14%| unknown
24.73/24.81 o -188
24.73/24.81 c r24.8s| 84 | 36 | 63543 | 599.7 |simplero| 28 |1106 | 728 |2285 |1045 | 0 | 0 | 185 |-1.984777e+02 |-1.880000e+02 | 5.57%| unknown
25.03/25.14 c 25.1s| 100 | 36 | 66959 | 537.3 | 83M | 28 |1106 | 728 |2288 |1051 | 0 | 0 | 185 |-1.984777e+02 |-1.880000e+02 | 5.57%| unknown
35.20/35.31 c 35.3s| 200 | 66 |124507 | 556.5 | 114M | 28 |1106 | 728 |2294 |1226 | 2 | 0 | 228 |-1.976672e+02 |-1.880000e+02 | 5.14%| unknown
41.29/41.47 o -189
41.29/41.47 c r41.5s| 284 | 69 |174637 | 568.4 |simplero| 28 |1106 | 728 |2279 |1275 | 0 | 0 | 241 |-1.972468e+02 |-1.890000e+02 | 4.36%| unknown
41.89/42.05 c 42.0s| 300 | 67 |180730 | 558.4 | 114M | 28 |1106 | 728 |2277 |1275 | 0 | 0 | 241 |-1.972468e+02 |-1.890000e+02 | 4.36%| unknown
49.77/49.93 c 49.9s| 400 | 85 |234638 | 553.6 | 114M | 28 |1106 | 728 |2276 |1280 | 1 | 0 | 279 |-1.967542e+02 |-1.890000e+02 | 4.10%| unknown
57.36/57.55 c 57.5s| 500 | 97 |281478 | 536.5 | 123M | 28 |1106 | 728 |2288 |1331 | 0 | 0 | 298 |-1.967127e+02 |-1.890000e+02 | 4.08%| unknown
64.74/64.95 c 64.9s| 600 | 109 |337648 | 540.7 | 123M | 28 |1106 | 728 |2294 |1437 | 0 | 0 | 328 |-1.963641e+02 |-1.890000e+02 | 3.90%| unknown
66.14/66.36 o -190
66.14/66.36 c L66.4s| 618 | 103 |349849 | 544.7 | gins| 28 |1106 | 728 |2271 |1451 | 1 | 0 | 332 |-1.963587e+02 |-1.900000e+02 | 3.35%| unknown
74.72/74.92 c 74.9s| 700 | 129 |400874 | 553.8 | 125M | 28 |1106 | 728 |2279 |1529 | 1 | 0 | 361 |-1.963269e+02 |-1.900000e+02 | 3.33%| unknown
80.11/80.32 c 80.3s| 800 | 131 |440665 | 534.3 | 125M | 28 |1106 | 728 |2281 |1562 | 1 | 0 | 389 |-1.963169e+02 |-1.900000e+02 | 3.32%| unknown
86.29/86.55 c 86.6s| 900 | 139 |482581 | 521.5 | 126M | 28 |1106 | 728 |2280 |1577 | 1 | 0 | 420 |-1.962705e+02 |-1.900000e+02 | 3.30%| unknown
87.69/87.92 o -192
87.69/87.92 c d87.9s| 923 | 110 |492305 | 519.0 |pscostdi| 28 |1106 | 728 |2267 | 0 | 1 | 0 | 427 |-1.962450e+02 |-1.920000e+02 | 2.21%| 16.03%
101.65/101.93 c 102s| 1000 | 113 |548552 | 535.3 | 247M | 28 |1106 | 728 |2278 |1709 | 1 | 0 | 462 |-1.961242e+02 |-1.920000e+02 | 2.15%| 18.46%
114.82/115.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
114.82/115.12 c 115s| 1100 | 115 |610989 | 543.4 | 349M | 28 |1106 | 728 |2298 |1860 | 0 | 0 | 499 |-1.960332e+02 |-1.920000e+02 | 2.10%| 21.12%
131.69/132.05 c 132s| 1200 | 121 |691709 | 565.4 | 416M | 28 |1106 | 728 |2291 |2053 | 0 | 0 | 546 |-1.959455e+02 |-1.920000e+02 | 2.05%| 23.73%
145.75/146.18 c 146s| 1300 | 115 |764493 | 577.9 | 424M | 28 |1106 | 728 |2285 |2184 | 1 | 0 | 588 |-1.959239e+02 |-1.920000e+02 | 2.04%| 27.32%
159.11/159.50 c 160s| 1400 | 109 |831089 | 584.2 | 425M | 28 |1106 | 728 |2275 |2304 | 1 | 0 | 628 |-1.958958e+02 |-1.920000e+02 | 2.03%| 34.60%
175.68/176.15 c 176s| 1500 | 103 |912002 | 599.2 | 424M | 28 |1106 | 728 |2292 |2487 | 1 | 0 | 682 |-1.958575e+02 |-1.920000e+02 | 2.01%| 40.93%
187.34/187.89 c 188s| 1600 | 85 |989256 | 610.1 | 425M | 28 |1106 | 728 |2287 |2627 | 0 | 0 | 710 |-1.957739e+02 |-1.920000e+02 | 1.97%| 49.18%
200.62/201.17 c 201s| 1700 | 63 | 1068k| 620.6 | 427M | 28 |1106 | 728 |2278 |2782 | 0 | 0 | 736 |-1.957424e+02 |-1.920000e+02 | 1.95%| 58.52%
211.78/212.37 c 212s| 1800 | 53 | 1141k| 627.0 | 428M | 28 |1106 | 728 |2295 |2908 | 1 | 0 | 747 |-1.956549e+02 |-1.920000e+02 | 1.90%| 67.32%
220.06/220.69 c 221s| 1900 | 45 | 1214k| 632.3 | 428M | 28 |1106 | 728 |2286 |2939 | 0 | 0 | 749 |-1.955647e+02 |-1.920000e+02 | 1.86%| 74.27%
229.13/229.75 c 230s| 2000 | 31 | 1285k| 636.2 | 428M | 28 |1106 | 728 |2287 |2999 | 0 | 0 | 758 |-1.955488e+02 |-1.920000e+02 | 1.85%| 83.10%
242.80/243.46 c 243s| 2100 | 13 | 1363k| 642.9 | 428M | 28 |1106 | 728 |2269 |3145 | 1 | 0 | 793 |-1.953365e+02 |-1.920000e+02 | 1.74%| 94.22%
252.57/253.26 c
252.57/253.26 c SCIP Status : problem is solved [optimal solution found]
252.57/253.26 c Solving Time (sec) : 253.27
252.57/253.26 c Solving Nodes : 2167
252.57/253.26 c Primal Bound : -1.92000000000000e+02 (24 solutions)
252.57/253.26 c Dual Bound : -1.92000000000000e+02
252.57/253.26 c Gap : 0.00 %
252.57/253.26 s OPTIMUM FOUND
252.57/253.26 v x1 x206 -x209 -x250 x262 x2 -x130 -x219 -x258 -x273 x3 x107 -x253 x280 x4 x6 -x8 -x264 x295 x5 -x88 -x132 x287 -x70 x108 -x7 x59
252.57/253.26 v -x197 x298 x299 x255 -x310 -x9 -x54 x267 -x10 x77 -x229 x307 -x11 x93 -x115 -x314 -x12 x15 x244 -x13 -x56 -x90 -x221 x224 -x14 -x116
252.57/253.26 v x140 -x320 -x16 x63 -x81 -x19 x17 -x142 -x167 x324 x18 -x27 -x34 x20 -x48 x102 -x23 x21 -x169 -x198 x22 -x44 x24 -x35 x125 -x28
252.57/253.26 v x25 -x200 -x230 x26 -x61 x234 x321 -x325 x29 x150 -x337 -x36 x30 -x31 -x73 x137 x281 -x57 x305 -x347 x32 -x232 -x245 x33 x79 x96
252.57/253.26 v x315 x49 -x62 x335 -x37 x242 -x38 x85 x251 x293 -x351 x39 x346 -x40 x42 x268 x282 x341 -x41 x76 -x195 -x43 x95 -x233 x308 x45 x46
252.57/253.26 v -x246 x80 x354 x47 x343 -x344 x64 -x50 -x210 -x51 x301 -x302 -x52 x67 x249 -x356 x53 x184 -x217 x323 x129 -x358 x55 -x134 x110 x188
252.57/253.26 v x259 x275 -x348 -x58 x274 x289 x334 -x60 x119 -x201 -x300 x100 x82 -x101 -x65 -x243 -x66 -x153 -x357 x68 x183 x69 x186 x272 x318
252.57/253.26 v x156 x361 -x71 x319 -x328 x72 x74 -x297 -x139 x113 x363 x75 -x269 -x342 -x78 x145 -x170 -x292 x122 x103 x123 -x83 -x84 -x212 -x352
252.57/253.26 v -x355 x86 x214 -x294 -x87 -x304 x339 x365 -x89 x189 -x333 x136 -x226 x91 -x92 -x367 -x94 -x143 -x172 x97 -x99 -x237 -x270 -x291
252.57/253.26 v x98 -x205 x248 -x149 x148 -x336 -x126 -x104 x124 x105 x284 -x286 x345 x368 -x106 -x311 x369 x160 -x257 -x109 x112 -x266 -x111 x162
252.57/253.26 v -x193 x370 x114 -x371 x141 x118 -x117 x290 -x203 x120 -x175 -x364 x121 -x174 -x178 -x177 -x151 x247 x254 x127 x128 x277 -x279 x372
252.57/253.26 v x131 -x285 -x158 x373 -x135 -x252 x133 x313 x296 x353 -x138 -x163 x288 -x329 x168 x144 -x236 -x146 x147 -x360 x176 -x208 -x207 -x179
252.57/253.26 v x152 x155 -x154 -x271 -x326 -x330 -x331 -x338 x157 -x278 -x187 -x375 x159 -x161 -x374 -x164 x165 x227 x166 x199 x171 -x173 x202
252.57/253.26 v x241 x240 x376 x180 -x181 -x182 -x276 -x327 -x185 -x332 x303 x362 -x265 -x190 -x218 x366 x191 x194 -x192 x196 x231 x204 x235 x350
252.57/253.26 v -x261 x263 -x211 -x213 -x283 -x322 x215 -x216 x340 -x359 -x220 x312 x223 -x222 -x225 x260 x228 -x349 x238 -x239 x377 -x378 -x256
252.57/253.26 v x306 x317 -x316 x309
252.57/253.26 c SCIP Status : problem is solved [optimal solution found]
252.57/253.26 c Total Time : 253.27
252.57/253.26 c solving : 253.27
252.57/253.26 c presolving : 0.01 (included in solving)
252.57/253.26 c reading : 0.00 (included in solving)
252.57/253.26 c copying : 0.04 (15 #copies) (minimal 0.00, maximal 0.00, average 0.00)
252.57/253.26 c Original Problem :
252.57/253.26 c Problem name : HOME/instance-4512231-1751271860.opb
252.57/253.26 c Variables : 1106 (378 binary, 0 integer, 728 continuous)
252.57/253.26 c implied integral : 728 (0 binary, 0 integer, 728 continuous)
252.57/253.26 c Constraints : 728 initial, 728 maximal
252.57/253.26 c Objective : minimize, 972 non-zeros (abs.min = 1, abs.max = 2)
252.57/253.26 c Presolved Problem :
252.57/253.26 c Problem name : t_HOME/instance-4512231-1751271860.opb
252.57/253.26 c Variables : 1106 (378 binary, 0 integer, 728 continuous)
252.57/253.26 c implied integral : 728 (0 binary, 0 integer, 728 continuous)
252.57/253.26 c Constraints : 728 initial, 728 maximal
252.57/253.26 c Objective : minimize, 972 non-zeros (abs.min = 1, abs.max = 2)
252.57/253.26 c Nonzeros : 2184 constraint, 2912 clique table
252.57/253.26 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
252.57/253.26 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c implics : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c trivial : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c dualfix : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c and : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
252.57/253.26 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
252.57/253.26 c root node : - - - 40 - - 40 - - - - -
252.57/253.26 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
252.57/253.26 c integral : 0 0 0 0 1114 0 0 186 0 0 0 0 0 0 2228
252.57/253.26 c and : 728 728 1682 27312 0 0 0 184 0 0 5783 866 745 0 0
252.57/253.26 c fixedvar : 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0
252.57/253.26 c countsols : 0 0 0 0 0 0 0 28 0 0 0 0 0 0 0
252.57/253.26 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
252.57/253.26 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
252.57/253.26 c integral : 63.58 0.00 0.00 0.00 63.58 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c and : 0.38 0.00 0.22 0.14 0.00 0.00 0.00 0.00 0.00 0.02
252.57/253.26 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c Propagators : #Propagate #ResProp Cutoffs DomReds
252.57/253.26 c dualfix : 3 0 0 0
252.57/253.26 c genvbounds : 0 0 0 0
252.57/253.26 c nlobbt : 0 0 0 0
252.57/253.26 c obbt : 0 0 0 0
252.57/253.26 c probing : 0 0 0 0
252.57/253.26 c pseudoobj : 6824 0 0 0
252.57/253.26 c redcost : 4776 0 0 37668
252.57/253.26 c rootredcost : 7 0 0 0
252.57/253.26 c symmetry : 0 0 0 0
252.57/253.26 c vbounds : 13228 0 0 0
252.57/253.26 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
252.57/253.26 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
252.57/253.26 c redcost : 0.11 0.00 0.00 0.11 0.00 0.00
252.57/253.26 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
252.57/253.26 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
252.57/253.26 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
252.57/253.26 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
252.57/253.26 c bound exceed. LP : 0.00 5 0 - 0 0.0 0 0.0 0 0.0 50
252.57/253.26 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
252.57/253.26 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
252.57/253.26 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
252.57/253.26 c applied locally : - - - 0 0 0.0 - - 0 - -
252.57/253.26 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
252.57/253.26 c cut pool : 3.64 - 685 44 - - 15475 32556 - - - - - (maximal pool size: 4797)
252.57/253.26 c aggregation : 4.71 0.00 303 24 0 0 2 5 0 1 1 0 0
252.57/253.26 c > cmir : - - - - - - - 5 0 1 1 0 -
252.57/253.26 c > flowcover : - - - - - - - 0 0 0 0 0 -
252.57/253.26 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
252.57/253.27 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c clique : 0.01 0.00 24 24 0 0 0 0 0 0 0 0 0
252.57/253.27 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c gomory : 22.86 0.00 265 10 0 0 14853 22956 100 883 882 1 0
252.57/253.27 c > gomorymi : - - - - - - - 10873 50 135 135 0 -
252.57/253.27 c > strongcg : - - - - - - - 12083 50 748 747 1 -
252.57/253.27 c impliedbounds : 0.02 0.00 303 24 0 0 61 113 0 89 89 0 0
252.57/253.27 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
252.57/253.27 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c mixing : 0.00 0.00 305 26 0 0 0 0 0 0 0 0 0
252.57/253.27 c multilinear : 0.00 0.00 96 26 0 0 0 0 0 0 0 0 0
252.57/253.27 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c rapidlearning : 0.01 0.00 0 0 0 0 0 0 0 0 0 0 0
252.57/253.27 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
252.57/253.27 c zerohalf : 3.26 0.00 275 20 0 0 663 9482 4 1548 1546 2 0
252.57/253.27 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
252.57/253.27 c hybrid : 0.32 0.00 568 25 3266 0 30260 885 0 3307
252.57/253.27 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c Pricers : ExecTime SetupTime Calls Vars
252.57/253.27 c problem variables: 0.09 - 6160 6324
252.57/253.27 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
252.57/253.27 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c random : 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c relpscost : 63.58 0.00 1114 0 0 0 0 0 0 2228
252.57/253.27 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
252.57/253.27 c Primal Heuristics : ExecTime SetupTime Calls Found Best
252.57/253.27 c LP solutions : 0.00 - - 0 0
252.57/253.27 c relax solutions : 0.00 - - 0 0
252.57/253.27 c pseudo solutions : 0.00 - - 0 0
252.57/253.27 c strong branching : 0.00 - - 0 0
252.57/253.27 c actconsdiving : 0.00 0.00 0 0 0
252.57/253.27 c adaptivediving : 1.49 0.00 8 0 0
252.57/253.27 c alns : 0.04 0.00 5 0 0
252.57/253.27 c bound : 0.00 0.00 0 0 0
252.57/253.27 c clique : 0.01 0.00 1 1 1
252.57/253.27 c coefdiving : 0.00 0.00 0 0 0
252.57/253.27 c completesol : 0.00 0.00 0 0 0
252.57/253.27 c conflictdiving : 0.00 0.00 0 0 0
252.57/253.27 c crossover : 0.00 0.00 0 0 0
252.57/253.27 c dins : 0.00 0.00 0 0 0
252.57/253.27 c distributiondivin: 1.75 0.00 4 0 0
252.57/253.27 c dks : 0.00 0.00 0 0 0
252.57/253.27 c dps : 0.00 0.00 0 0 0
252.57/253.27 c dualval : 0.00 0.00 0 0 0
252.57/253.27 c farkasdiving : 2.13 0.00 5 1 1
252.57/253.27 c feaspump : 0.42 0.00 1 0 0
252.57/253.27 c fixandinfer : 0.00 0.00 0 0 0
252.57/253.27 c fracdiving : 1.04 0.00 4 0 0
252.57/253.27 c gins : 0.09 0.00 8 9 1
252.57/253.27 c guideddiving : 0.92 0.00 4 0 0
252.57/253.27 c indicator : 0.00 0.00 0 0 0
252.57/253.27 c indicatordiving : 0.00 0.00 0 0 0
252.57/253.27 c intdiving : 0.00 0.00 0 0 0
252.57/253.27 c intshifting : 0.00 0.00 0 0 0
252.57/253.27 c linesearchdiving : 1.21 0.00 4 0 0
252.57/253.27 c localbranching : 0.00 0.00 0 0 0
252.57/253.27 c locks : 0.00 0.00 1 0 0
252.57/253.27 c lpface : 0.00 0.00 0 0 0
252.57/253.27 c mpec : 0.00 0.00 0 0 0
252.57/253.27 c multistart : 0.00 0.00 0 0 0
252.57/253.27 c mutation : 0.00 0.00 0 0 0
252.57/253.27 c nlpdiving : 0.00 0.00 0 0 0
252.57/253.27 c objpscostdiving : 2.28 0.00 3 2 0
252.57/253.27 c octane : 0.00 0.00 0 0 0
252.57/253.27 c ofins : 0.00 0.00 0 0 0
252.57/253.27 c oneopt : 0.00 0.00 7 1 1
252.57/253.27 c padm : 0.00 0.00 0 0 0
252.57/253.27 c proximity : 0.00 0.00 0 0 0
252.57/253.27 c pscostdiving : 0.42 0.00 4 2 2
252.57/253.27 c randrounding : 0.08 0.00 152 0 0
252.57/253.27 c rens : 0.00 0.00 0 0 0
252.57/253.27 c reoptsols : 0.00 0.00 0 0 0
252.57/253.27 c repair : 0.00 0.00 0 0 0
252.57/253.27 c rins : 0.00 0.00 0 0 0
252.57/253.27 c rootsoldiving : 0.73 0.00 3 3 0
252.57/253.27 c rounding : 0.03 0.00 521 0 0
252.57/253.27 c scheduler : 0.00 0.00 0 0 0
252.57/253.27 c shiftandpropagate: 0.00 0.00 0 0 0
252.57/253.27 c shifting : 0.12 0.00 259 0 0
252.57/253.27 c simplerounding : 0.10 0.00 4150 2 2
252.57/253.27 c subnlp : 0.00 0.00 0 0 0
252.57/253.27 c trivial : 0.00 0.00 2 2 1
252.57/253.27 c trivialnegation : 0.00 0.00 0 0 0
252.57/253.27 c trustregion : 0.00 0.00 0 0 0
252.57/253.27 c trysol : 0.00 0.00 0 0 0
252.57/253.27 c twoopt : 0.00 0.00 0 0 0
252.57/253.27 c undercover : 0.02 0.00 1 0 0
252.57/253.27 c vbounds : 0.02 0.00 1 1 1
252.57/253.27 c veclendiving : 0.15 0.00 4 0 0
252.57/253.27 c zeroobj : 0.00 0.00 0 0 0
252.57/253.27 c zirounding : 0.35 0.00 1000 0 0
252.57/253.27 c other solutions : - - - 0 -
252.57/253.27 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 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
252.57/253.27 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
252.57/253.27 c primal LP : 12.37 2600 88278 61.69 7135.58 1.35 1169
252.57/253.27 c dual LP : 114.86 3889 1176398 430.13 10242.43 0.67 1154
252.57/253.27 c lex dual LP : 0.00 0 0 0.00 -
252.57/253.27 c barrier LP : 0.00 0 0 0.00 - 0.00 0
252.57/253.27 c resolve instable : 0.00 0 0 0.00 -
252.57/253.27 c diving/probing LP: 12.89 676 148649 219.89 11532.61
252.57/253.27 c strong branching : 62.16 845 621390 735.37 9997.26 - - 480
252.57/253.27 c (at root node) : - 26 24769 952.65 -
252.57/253.27 c conflict analysis: 0.00 5 50 10.00 -
252.57/253.27 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
252.57/253.27 c benders : 0.00 0 0 0 0.00 0 0 0
252.57/253.27 c B&B Tree :
252.57/253.27 c number of runs : 1
252.57/253.27 c nodes : 2167 (1114 internal, 1053 leaves)
252.57/253.27 c feasible leaves : 0
252.57/253.27 c infeas. leaves : 1053
252.57/253.27 c objective leaves : 0
252.57/253.27 c nodes (total) : 2167 (1114 internal, 1053 leaves)
252.57/253.27 c nodes left : 0
252.57/253.27 c max depth : 28
252.57/253.27 c max depth (total): 28
252.57/253.27 c backtracks : 679 (31.3%)
252.57/253.27 c early backtracks : 0 (0.0%)
252.57/253.27 c nodes exc. ref. : 0 (0.0%)
252.57/253.27 c delayed cutoffs : 0
252.57/253.27 c repropagations : 0 (0 domain reductions, 0 cutoffs)
252.57/253.27 c avg switch length: 3.82
252.57/253.27 c switching time : 0.39
252.57/253.27 c Root Node :
252.57/253.27 c First LP value : -2.38000000000000e+02
252.57/253.27 c First LP Iters : 929 (65989.49 Iter/sec)
252.57/253.27 c First LP Time : 0.01
252.57/253.27 c Final Dual Bound : -1.98477653356255e+02
252.57/253.27 c Final Root Iters : 13768
252.57/253.27 c Root LP Estimate : -1.17702205089518e+02
252.57/253.27 c Solution :
252.57/253.27 c Solutions found : 24 (10 improvements)
252.57/253.27 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
252.57/253.27 c Gap First Sol. : infinite
252.57/253.27 c Gap Last Sol. : 2.21 %
252.57/253.27 c Primal Bound : -1.92000000000000e+02 (in run 1, after 923 nodes, 87.92 seconds, depth 94, found by <pscostdiving>)
252.57/253.27 c Dual Bound : -1.92000000000000e+02
252.57/253.27 c Gap : 0.00 %
252.57/253.27 c Integrals : Total Avg%
252.57/253.27 c primal-dual : 947.37 3.74
252.57/253.27 c primal-ref : - - (not evaluated)
252.57/253.27 c dual-ref : - - (not evaluated)
253.86/254.56 c Time complete (sec): 253.935
OK -192
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 (62786 MiB free)
memory of node 1: 64465 MiB (63460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512231-1751271860/watcher-4512231-1751271860 -o /tmp/evaluation-result-4512231-1751271860/solver-4512231-1751271860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36903 --watchdog 3760 pbsolver -f HOME/instance-4512231-1751271860.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=37729, runsolver pid=37726
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.15 4.10 4.02 6/263 37730
/proc/meminfo: memFree=129273328/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=45668 memory=33920 CPUtime=0.09 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 7029 0 0 0 9 0 0 0 20 0 1 0 42864512 46764032 8480 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 11417 8480 2656 2575 0 8324 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 33920 KiB
[startup+0.20548 s]*
/proc/loadavg: 4.15 4.10 4.02 5/263 37730
/proc/meminfo: memFree=129273328/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=45668 memory=34944 CPUtime=0.2 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 7301 0 0 0 20 0 0 0 20 0 1 0 42864512 46764032 8736 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 11417 8736 2656 2575 0 8324 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 34944 KiB
[startup+0.30543 s]*
/proc/loadavg: 4.15 4.10 4.02 5/263 37730
/proc/meminfo: memFree=129273328/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=45668 memory=35072 CPUtime=0.3 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 7341 0 0 0 30 0 0 0 20 0 1 0 42864512 46764032 8768 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 11417 8768 2656 2575 0 8324 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 35072 KiB
[startup+0.700176 s]
/proc/loadavg: 4.15 4.10 4.02 5/263 37730
/proc/meminfo: memFree=129273328/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=51636 memory=39680 CPUtime=0.68 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 8453 0 0 0 68 0 0 0 20 0 1 0 42864512 52875264 9888 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 12909 9920 2656 2575 0 9816 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 51636 KiB
Current children cumulated memory: 39680 KiB
[startup+1.50017 s]
/proc/loadavg: 4.22 4.12 4.03 5/263 37730
/proc/meminfo: memFree=129273580/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=67688 memory=55040 CPUtime=1.48 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 12304 0 0 0 147 1 0 0 20 0 1 0 42864512 69312512 13760 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 16922 13760 2656 2575 0 13829 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 67688 KiB
Current children cumulated memory: 55040 KiB
[startup+3.10529 s]
/proc/loadavg: 4.22 4.12 4.03 5/263 37730
/proc/meminfo: memFree=129256896/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=71772 memory=57472 CPUtime=3.09 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 12883 0 0 0 307 2 0 0 20 0 1 0 42864512 73494528 14368 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 17943 14368 2688 2575 0 14850 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 71772 KiB
Current children cumulated memory: 57472 KiB
[startup+6.30012 s]
/proc/loadavg: 4.20 4.12 4.03 5/263 37730
/proc/meminfo: memFree=129168444/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=78148 memory=62720 CPUtime=6.28 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 14214 0 0 0 626 2 0 0 20 0 1 0 42864512 80023552 15680 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 19537 15680 2688 2575 0 16444 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 78148 KiB
Current children cumulated memory: 62720 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.11 4.03 5/263 37730
/proc/meminfo: memFree=129103928/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=78148 memory=62720 CPUtime=12.66 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 14214 0 0 0 1264 2 0 0 20 0 1 0 42864512 80023552 15680 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 19537 15680 2688 2575 0 16444 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 78148 KiB
Current children cumulated memory: 62720 KiB
[startup+25.5001 s]
/proc/loadavg: 4.31 4.14 4.04 5/263 37730
/proc/meminfo: memFree=129026404/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=112636 memory=97152 CPUtime=25.43 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 22820 0 0 0 2540 3 0 0 20 0 1 0 42864512 115339264 24288 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 28159 24288 2688 2575 0 25066 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 112636 KiB
Current children cumulated memory: 97152 KiB
[startup+51.1053 s]
/proc/loadavg: 4.50 4.21 4.06 5/263 37731
/proc/meminfo: memFree=128976164/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=143568 memory=126848 CPUtime=50.97 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 30415 0 0 0 5093 4 0 0 20 0 1 0 42864512 147013632 31712 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 35892 31712 2688 2575 0 32799 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 143568 KiB
Current children cumulated memory: 126848 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.19 4.06 5/263 37732
/proc/meminfo: memFree=128747884/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=292332 memory=273572 CPUtime=102.05 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 69490 0 0 0 10195 10 0 0 20 0 1 0 42864512 299347968 68393 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 73083 68393 2688 2575 0 69990 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 292332 KiB
Current children cumulated memory: 273572 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.17 4.06 5/265 37736
/proc/meminfo: memFree=128543256/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=461468 memory=439548 CPUtime=161.91 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 111875 0 0 0 16173 18 0 0 20 0 1 0 42864512 472543232 109887 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115367 109887 2688 2575 0 112274 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 461468 KiB
Current children cumulated memory: 439548 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.07 5/265 37738
/proc/meminfo: memFree=128537760/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441340 CPUtime=221.75 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112335 0 0 0 22157 18 0 0 20 0 1 0 42864512 473591808 110335 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110335 2688 2575 0 112530 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441340 KiB
[startup+254.574 s]
# the end of solver process 37729 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=253.734 s, system=0.212348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.15 4.16 4.07 5/265 37739
/proc/meminfo: memFree=128523592/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441340 CPUtime=229.83 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112335 0 0 0 22965 18 0 0 20 0 1 0 42864512 473591808 110335 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110335 2688 2575 0 112530 0
Current children cumulated CPU time: 229.83 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441340 KiB
[startup+243.2 s]
/proc/loadavg: 4.11 4.16 4.07 5/265 37740
/proc/meminfo: memFree=128523784/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441468 CPUtime=242.6 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112351 0 0 0 24241 19 0 0 20 0 1 0 42864512 473591808 110367 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110367 2688 2575 0 112530 0
Current children cumulated CPU time: 242.6 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441468 KiB
[startup+249.6 s]
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441468 CPUtime=248.98 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 24879 19 0 0 20 0 1 0 42864512 473591808 110367 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110367 2688 2575 0 112530 0
Current children cumulated CPU time: 248.98 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441468 KiB
[startup+252.8 s]
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441468 CPUtime=252.17 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 25198 19 0 0 20 0 1 0 42864512 473591808 110367 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110367 2688 2575 0 112530 0
Current children cumulated CPU time: 252.17 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441468 KiB
[startup+253.6 s]
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441468 CPUtime=252.97 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 25278 19 0 0 20 0 1 0 42864512 473591808 110367 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110367 2688 2575 0 112530 0
Current children cumulated CPU time: 252.97 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441468 KiB
[startup+254 s]*
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=462492 memory=441468 CPUtime=253.37 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 25318 19 0 0 20 0 1 0 42864512 473591808 110367 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 115623 110367 2688 2575 0 112530 0
Current children cumulated CPU time: 253.37 s
Current children cumulated vsize: 462492 KiB
Current children cumulated memory: 441468 KiB
[startup+254.4 s]
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=459428 memory=438472 CPUtime=253.77 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 25358 19 0 0 20 0 1 0 42864512 470454272 109618 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 114857 109618 2688 2575 0 111764 0
Current children cumulated CPU time: 253.77 s
Current children cumulated vsize: 459428 KiB
Current children cumulated memory: 438472 KiB
[startup+254.5 s]
/proc/loadavg: 4.10 4.15 4.07 5/265 37740
/proc/meminfo: memFree=128512356/131249988 swapFree=33010684/33010684
[pid=37729] ppid=37726 vsize=450228 memory=429456 CPUtime=253.86 cores=4,6
/proc/37729/stat : 37729 (pbsolver) R 37726 37729 36885 0 -1 4194304 112361 0 0 0 25367 19 0 0 20 0 1 0 42864512 461033472 107364 18446744073709551615 4198400 14743177 140736666437808 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 30871552 140736666442122 140736666442218 140736666442218 140736666447820 0
/proc/37729/statm: 112557 107364 2688 2575 0 109464 0
Current children cumulated CPU time: 253.86 s
Current children cumulated vsize: 450228 KiB
Current children cumulated memory: 429456 KiB
Child status: 0
Real time (s): 254.574
CPU time (s): 253.947
CPU user time (s): 253.734
CPU system time (s): 0.212348
CPU usage (%): 99.7537
Max. virtual memory (cumulated for all children) (KiB): 462492
Max. memory (cumulated for all children) (KiB): 441468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.734
system time used= 0.212348
maximum resident set size= 441468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112361
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= 3
involuntary context switches= 251
# summary of solver processes directly reported to runsolver:
# pid: 37729
# total CPU time (s): 253.947
# total CPU user time (s): 253.734
# total CPU system time (s): 0.212348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.429671 second user time and 1.07585 second system time
The end
Begin job on nodeC031 at 2025-06-30 10:24:20 IDJOB=4512231 IDBENCH=160524 IDSOLVER=3366 FILE ID=nodeC031/4512231-1751271860 RUNJOBID= nodeC031-1751268232-36903 SLURM_JOB_ID= 9594198 Free space on /tmp= 433016 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512231-1751271860/watcher-4512231-1751271860 -o /tmp/evaluation-result-4512231-1751271860/solver-4512231-1751271860 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751268232-36903 --watchdog 3760 pbsolver -f HOME/instance-4512231-1751271860.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 390ec8fc201467376172e52d21e0ee7b RANDOM SEED=694883639 nodeC031 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.876 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.78 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.861 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.075 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.78 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 : 3579.815 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.78 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.896 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.885 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.880 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.78 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 : 3700.000 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.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 129277360 kB MemAvailable: 129235656 kB Buffers: 3280 kB Cached: 765976 kB SwapCached: 0 kB Active: 843616 kB Inactive: 511212 kB Active(anon): 603648 kB Inactive(anon): 0 kB Active(file): 239968 kB Inactive(file): 511212 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 60596 kB Writeback: 4 kB AnonPages: 588856 kB Mapped: 135076 kB Shmem: 18064 kB KReclaimable: 92712 kB Slab: 179040 kB SReclaimable: 92712 kB SUnreclaim: 86328 kB KernelStack: 4208 kB PageTables: 4216 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 993708 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 45056 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: 191188 kB DirectMap2M: 9017344 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433000 MiB End job on nodeC031 at 2025-06-30 10:28:34