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 | 134248448 | 1097.79 | 1101 |
| Name | PB24/normalized-PB16/OPT-LIN/lion9-single-obj/ normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb |
| MD5SUM | a5dff9c93e7230bd45df778b178a2583 |
| 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 | 134248448 |
| Best CPU time to get the best result obtained on this benchmark | 1.87431 |
| 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 | 3564 |
| Total number of constraints | 11685 |
| Number of constraints which are clauses | 11625 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 84 |
| Number of terms in the objective function | 166 |
| Biggest coefficient in the objective function | 5242880 |
| Number of bits for the biggest coefficient in the objective function | 23 |
| Sum of the numbers in the objective function | 461373439 |
| Number of bits of the sum of numbers in the objective function | 29 |
| Biggest number in a constraint | 5242880 |
| Number of bits of the biggest number in a constraint | 23 |
| Biggest sum of numbers in a constraint | 461373439 |
| Number of bits of the biggest sum of numbers | 29 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4512443-1751530142.opb>
0.00/0.02 c original problem has 3564 variables (3564 bin, 0 int, 0 cont) and 11685 constraints
0.00/0.02 c problem read in 0.020 seconds
0.00/0.03 c presolving:
0.00/0.05 c (round 1, fast) 1059 del vars, 2758 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5286 clqs
0.00/0.05 c (round 2, fast) 1089 del vars, 2953 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5310 clqs
0.00/0.05 c (round 3, fast) 1104 del vars, 2983 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 5280 clqs
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver (2 rounds): 246 aggregations, 0 fixings, 0 bound changes
0.00/0.07 c (round 4, medium) 1350 del vars, 2983 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4788 clqs
0.00/0.07 c (round 5, fast) 1350 del vars, 3475 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4788 clqs
0.00/0.08 c (round 6, exhaustive) 1350 del vars, 3740 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 4788 clqs
0.00/0.09 c (round 7, exhaustive) 1350 del vars, 3740 del conss, 0 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 7699 upgd conss, 0 impls, 4788 clqs
0.09/0.11 c (round 8, exhaustive) 1350 del vars, 9992 del conss, 1827 add conss, 175 chg bounds, 0 chg sides, 0 chg coeffs, 7699 upgd conss, 0 impls, 4788 clqs
0.09/0.11 c (round 9, medium) 1365 del vars, 9992 del conss, 1827 add conss, 175 chg bounds, 15 chg sides, 15 chg coeffs, 7699 upgd conss, 0 impls, 4758 clqs
0.09/0.12 c (round 10, exhaustive) 2022 del vars, 10649 del conss, 1827 add conss, 175 chg bounds, 15 chg sides, 15 chg coeffs, 7699 upgd conss, 0 impls, 3444 clqs
0.30/0.36 c (0.4s) probing: 1000/1572 (63.6%) - 0 fixings, 0 aggregations, 25351 implications, 0 bound changes
0.30/0.36 c (0.4s) probing: 1001/1572 (63.7%) - 0 fixings, 0 aggregations, 25351 implications, 0 bound changes
0.30/0.36 c (0.4s) probing aborted: 1000/1000 successive useless probings
0.30/0.36 c (0.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.30/0.38 c (0.4s) symmetry computation finished: 7 generators found (max: 1500, log10 of symmetry group size: 243.13) (symcode time: 0.02)
0.30/0.38 c dynamic symmetry handling statistics:
0.30/0.38 c orbitopal reduction: no components
0.30/0.38 c orbital reduction: 1 components of sizes 7
0.30/0.38 c lexicographic reduction: 7 permutations with support sizes 1294, 1294, 194, 194, 1294, 194, 1484
0.30/0.38 c handled 1 out of 1 symmetry components
0.30/0.39 c presolving (11 rounds: 11 fast, 7 medium, 5 exhaustive):
0.30/0.39 c 2022 deleted vars, 10649 deleted constraints, 1827 added constraints, 175 tightened bounds, 0 added holes, 15 changed sides, 15 changed coefficients
0.30/0.39 c 0 implications, 28795 cliques
0.30/0.39 c presolved problem has 1572 variables (1572 bin, 0 int, 0 cont) and 2863 constraints
0.30/0.39 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.30/0.39 c 378 constraints of type <setppc>
0.30/0.39 c 1155 constraints of type <and>
0.30/0.39 c 246 constraints of type <linear>
0.30/0.39 c 1084 constraints of type <logicor>
0.30/0.39 c transformed objective value is always integral (scale: 256)
0.30/0.39 c Presolving Time: 0.35
0.30/0.39 c
0.30/0.39 c - non default parameters ----------------------------------------------------------------------
0.30/0.39 c
0.30/0.39 c # SCIP version 10.0.0
0.30/0.39 c
0.30/0.39 c # maximal time in seconds to run
0.30/0.39 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.30/0.39 c limits/time = 3596.998125
0.30/0.39 c
0.30/0.39 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.39 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.30/0.39 c limits/memory = 27900
0.30/0.39 c
0.30/0.39 c # belongs reading time to solving time?
0.30/0.39 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.30/0.39 c timing/reading = TRUE
0.30/0.39 c
0.30/0.39 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.30/0.39 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.30/0.39 c reading/opbreader/maxintsize = 47
0.30/0.39 c
0.30/0.39 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.30/0.39 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.30/0.39 c propagating/genvbounds/timingmask = 0
0.30/0.39 c
0.30/0.39 c -----------------------------------------------------------------------------------------------
0.30/0.39 c
0.50/0.53 o 193287424
0.50/0.53 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.50/0.53 c p 0.5s| 1 | 0 | 163 | - | vbounds| 0 |1572 |2943 |4018 | 0 | 0 | 79 | 0 | 3.146112e+07 | 1.932874e+08 | 514.37%| unknown
0.88/0.92 c 0.9s| 1 | 0 | 4835 | - | 57M | 0 |1572 |2960 |4018 | 0 | 0 | 96 | 0 | 6.317245e+07 | 1.932874e+08 | 205.97%| unknown
0.88/0.98 o 182494464
0.88/0.98 c L 1.0s| 1 | 0 | 4835 | - |undercov| 0 |1572 |2997 |4018 | 0 | 0 | 133 | 0 | 6.317245e+07 | 1.824945e+08 | 188.88%| unknown
1.38/1.46 o 144730368
1.38/1.46 c * 1.5s| 1 | 0 | 4835 | - | LP | 0 |1572 |2997 |4018 | 0 | 0 | 133 | 0 | 6.317245e+07 | 1.447304e+08 | 129.10%| unknown
1.58/1.67 c 1.7s| 1 | 0 | 7082 | - | 75M | 0 |1572 |3197 |4142 | 124 | 1 | 133 | 0 | 6.565439e+07 | 1.447304e+08 | 120.44%| unknown
1.88/2.00 c 2.0s| 1 | 0 | 9739 | - | 78M | 0 |1572 |3198 |4268 | 250 | 2 | 134 | 0 | 7.135771e+07 | 1.447304e+08 | 102.82%| unknown
2.28/2.30 c 2.3s| 1 | 0 | 12226 | - | 80M | 0 |1572 |3200 |4381 | 363 | 3 | 136 | 0 | 7.541328e+07 | 1.447304e+08 | 91.92%| unknown
2.58/2.60 c 2.6s| 1 | 0 | 14762 | - | 85M | 0 |1572 |3201 |4536 | 518 | 4 | 137 | 0 | 7.727456e+07 | 1.447304e+08 | 87.29%| unknown
2.78/2.82 c 2.8s| 1 | 0 | 16664 | - | 88M | 0 |1572 |3203 |4628 | 610 | 5 | 139 | 0 | 8.085700e+07 | 1.447304e+08 | 79.00%| unknown
2.98/3.00 c 3.0s| 1 | 0 | 17782 | - | 93M | 0 |1572 |3204 |4748 | 730 | 6 | 140 | 0 | 8.166846e+07 | 1.447304e+08 | 77.22%| unknown
3.17/3.22 c 3.2s| 1 | 0 | 19338 | - | 95M | 0 |1572 |3207 |4829 | 811 | 7 | 143 | 0 | 8.340810e+07 | 1.447304e+08 | 73.52%| unknown
3.37/3.41 c 3.4s| 1 | 0 | 20605 | - | 99M | 0 |1572 |3217 |4906 | 888 | 8 | 153 | 0 | 8.437930e+07 | 1.447304e+08 | 71.52%| unknown
3.57/3.61 c 3.6s| 1 | 0 | 21946 | - | 101M | 0 |1572 |3220 |4964 | 946 | 9 | 156 | 0 | 8.573842e+07 | 1.447304e+08 | 68.80%| unknown
3.77/3.86 c 3.9s| 1 | 0 | 23793 | - | 105M | 0 |1572 |3230 |5013 | 995 | 10 | 166 | 0 | 8.764454e+07 | 1.447304e+08 | 65.13%| unknown
3.87/3.96 c 4.0s| 1 | 0 | 24609 | - | 105M | 0 |1572 |3233 |5059 |1041 | 11 | 169 | 0 | 8.805051e+07 | 1.447304e+08 | 64.37%| unknown
4.07/4.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.07/4.12 c 4.1s| 1 | 0 | 26124 | - | 108M | 0 |1572 |3234 |5093 |1075 | 12 | 170 | 0 | 8.858171e+07 | 1.447304e+08 | 63.39%| unknown
4.17/4.28 c 4.3s| 1 | 0 | 27481 | - | 108M | 0 |1572 |3235 |5133 |1115 | 13 | 171 | 0 | 8.903651e+07 | 1.447304e+08 | 62.55%| unknown
4.47/4.54 c 4.5s| 1 | 0 | 29896 | - | 109M | 0 |1572 |3236 |5169 |1151 | 14 | 172 | 0 | 9.034669e+07 | 1.447304e+08 | 60.19%| unknown
4.77/4.87 c 4.9s| 1 | 0 | 32757 | - | 109M | 0 |1572 |3240 |5207 |1189 | 15 | 176 | 0 | 9.137273e+07 | 1.447304e+08 | 58.40%| unknown
4.97/5.01 c 5.0s| 1 | 0 | 33822 | - | 110M | 0 |1572 |3242 |4999 |1234 | 16 | 178 | 0 | 9.167990e+07 | 1.447304e+08 | 57.86%| unknown
4.97/5.07 c 5.1s| 1 | 0 | 34152 | - | 110M | 0 |1572 |3245 |5021 |1256 | 17 | 181 | 0 | 9.168289e+07 | 1.447304e+08 | 57.86%| unknown
5.07/5.13 c 5.1s| 1 | 0 | 34475 | - | 111M | 0 |1572 |3247 |5041 |1276 | 18 | 183 | 0 | 9.168557e+07 | 1.447304e+08 | 57.86%| unknown
5.07/5.19 c 5.2s| 1 | 0 | 34786 | - | 112M | 0 |1572 |3249 |5060 |1295 | 19 | 185 | 0 | 9.168788e+07 | 1.447304e+08 | 57.85%| unknown
5.36/5.45 c 5.5s| 1 | 0 | 37249 | - | 112M | 0 |1572 |3253 |5081 |1316 | 20 | 189 | 0 | 9.238376e+07 | 1.447304e+08 | 56.66%| unknown
5.36/5.50 c 5.5s| 1 | 0 | 37465 | - | 112M | 0 |1572 |3255 |5123 |1358 | 21 | 191 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.46/5.54 c 5.5s| 1 | 0 | 37694 | - | 112M | 0 |1572 |3260 |4915 |1393 | 22 | 196 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.46/5.58 c 5.6s| 1 | 0 | 37794 | - | 112M | 0 |1572 |3261 |4936 |1414 | 23 | 197 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.56/5.60 c 5.6s| 1 | 0 | 37855 | - | 112M | 0 |1572 |3262 |4953 |1431 | 24 | 198 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.56/5.62 c 5.6s| 1 | 0 | 37899 | - | 112M | 0 |1572 |3263 |4969 |1447 | 25 | 199 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.56/5.65 c 5.7s| 1 | 0 | 37973 | - | 112M | 0 |1572 |3268 |5013 |1491 | 26 | 204 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.56/5.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.56/5.68 c 5.7s| 1 | 0 | 38066 | - | 112M | 0 |1572 |3269 |5047 |1525 | 27 | 205 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.66/5.71 c 5.7s| 1 | 0 | 38122 | - | 112M | 0 |1572 |3270 |4877 |1531 | 28 | 206 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.66/5.73 c 5.7s| 1 | 0 | 38153 | - | 112M | 0 |1572 |3272 |4887 |1541 | 29 | 208 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
5.66/5.75 c 5.7s| 1 | 0 | 38158 | - | 112M | 0 |1572 |3273 |4889 |1543 | 30 | 209 | 0 | 9.239085e+07 | 1.447304e+08 | 56.65%| unknown
10.96/11.00 c 11.0s| 1 | 2 | 78263 | - | 113M | 0 |1572 |3285 |4889 |1543 | 31 | 221 | 11 | 9.316810e+07 | 1.447304e+08 | 55.34%| unknown
56.43/56.60 c 56.6s| 100 | 99 |366175 |3314.9 | 128M | 11 |1572 |3205 |5360 |4780 | 3 | 403 | 396 | 1.060249e+08 | 1.447304e+08 | 36.51%| 57.90%
96.52/96.89 c 96.9s| 200 | 199 |667500 |3163.3 | 169M | 11 |1572 |3125 |5858 | 10k| 12 | 428 | 673 | 1.081589e+08 | 1.447304e+08 | 33.81%| 59.21%
98.73/99.07 o 140547584
98.73/99.07 c L99.1s| 201 | 200 |671924 |3169.6 | rins| 11 |1572 |3119 |5416 | 10k| 3 | 428 | 679 | 1.086127e+08 | 1.405476e+08 | 29.40%| 59.48%
98.73/99.08 o 135304704
98.73/99.08 c i99.1s| 202 | 199 |671924 |3153.9 | oneopt| 11 |1572 |3119 |5377 | 10k| 0 | 428 | 679 | 1.086127e+08 | 1.353047e+08 | 24.58%| 59.48%
157.86/158.34 c 158s| 300 | 293 | 1101k|3555.8 | 195M | 13 |1572 |3133 |5415 | 21k| 3 | 520 |1063 | 1.095727e+08 | 1.353047e+08 | 23.48%| 62.35%
212.42/213.09 c 213s| 400 | 383 | 1572k|3846.7 | 215M | 13 |1572 |3173 |5337 | 34k| 2 | 651 |1292 | 1.128908e+08 | 1.353047e+08 | 19.85%| 65.23%
271.55/272.39 c 272s| 500 | 456 | 2089k|4111.3 | 240M | 15 |1572 |3300 |5805 | 49k| 9 | 834 |1522 | 1.140082e+08 | 1.353047e+08 | 18.68%| 67.51%
301.18/302.03 o 134248448
301.18/302.03 c * 302s| 548 | 479 | 2349k|4226.4 |strongbr| 19 |1572 |3373 |5723 | 56k| 2 | 975 |1688 | 1.148498e+08 | 1.342484e+08 | 16.89%| 68.49%
326.40/327.34 c 327s| 600 | 511 | 2610k|4294.0 | 251M | 19 |1572 |3517 |5611 | 63k| 2 |1209 |1756 | 1.159049e+08 | 1.342484e+08 | 15.83%| 69.03%
388.53/389.62 c 390s| 700 | 571 | 3228k|4563.7 | 273M | 19 |1572 |3567 |5512 | 77k| 3 |1462 |1928 | 1.167985e+08 | 1.342484e+08 | 14.94%| 70.08%
457.45/458.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
457.45/458.75 c 459s| 800 | 609 | 3946k|4891.7 | 301M | 19 |1572 |3639 |5617 | 94k| 0 |1739 |2011 | 1.170219e+08 | 1.342484e+08 | 14.72%| 71.91%
500.04/501.41 c 501s| 900 | 629 | 4385k|4835.7 | 305M | 19 |1572 |3659 |5689 | 106k| 2 |1914 |2083 | 1.172890e+08 | 1.342484e+08 | 14.46%| 73.40%
547.40/548.93 c 549s| 1000 | 663 | 4873k|4840.6 | 315M | 19 |1572 |3705 |5690 | 116k| 4 |2078 |2141 | 1.175207e+08 | 1.342484e+08 | 14.23%| 74.72%
595.05/596.70 c 597s| 1100 | 692 | 5368k|4850.4 | 327M | 19 |1572 |3747 |5798 | 126k| 4 |2224 |2221 | 1.187571e+08 | 1.342484e+08 | 13.04%| 75.81%
626.84/628.60 c 629s| 1200 | 692 | 5696k|4719.2 | 333M | 19 |1572 |3830 |6929 | 131k| 0 |2443 |2344 | 1.192329e+08 | 1.342484e+08 | 12.59%| 76.77%
674.50/676.48 c 676s| 1300 | 700 | 6200k|4744.3 | 357M | 19 |1572 |3842 |5528 | 142k| 4 |2606 |2376 | 1.199766e+08 | 1.342484e+08 | 11.90%| 78.21%
705.40/707.44 c 707s| 1400 | 694 | 6495k|4616.0 | 359M | 19 |1572 |3888 |5757 | 146k| 4 |2827 |2534 | 1.208081e+08 | 1.342484e+08 | 11.13%| 79.06%
747.57/749.79 c 750s| 1500 | 682 | 6932k|4599.6 | 370M | 19 |1572 |4018 |6079 | 155k| 0 |3155 |2728 | 1.211039e+08 | 1.342484e+08 | 10.85%| 80.24%
788.34/790.68 c 791s| 1600 | 664 | 7385k|4595.3 | 386M | 19 |1572 |3985 |6003 | 162k| 2 |3247 |2747 | 1.217080e+08 | 1.342484e+08 | 10.30%| 81.36%
819.65/822.01 c 822s| 1700 | 652 | 7726k|4525.3 | 390M | 19 |1572 |3981 |5888 | 168k| 4 |3417 |2822 | 1.222635e+08 | 1.342484e+08 | 9.80%| 82.45%
836.49/838.98 c 839s| 1800 | 628 | 7897k|4369.0 | 391M | 19 |1572 |3978 |5616 | 171k| 0 |3533 |2862 | 1.224391e+08 | 1.342484e+08 | 9.65%| 83.10%
867.89/870.46 c 870s| 1900 | 598 | 8238k|4318.1 | 398M | 19 |1572 |3991 |5693 | 175k| 4 |3669 |2942 | 1.226665e+08 | 1.342484e+08 | 9.44%| 84.08%
887.33/889.97 c 890s| 2000 | 558 | 8448k|4207.3 | 401M | 19 |1572 |3930 |5767 | 178k| 0 |3718 |2953 | 1.235998e+08 | 1.342484e+08 | 8.62%| 85.20%
905.97/908.63 c 909s| 2100 | 516 | 8652k|4104.1 | 403M | 19 |1572 |3880 |5694 | 180k| 0 |3762 |2964 | 1.240967e+08 | 1.342484e+08 | 8.18%| 86.50%
921.72/924.42 c 924s| 2200 | 470 | 8817k|3992.7 | 405M | 19 |1572 |3826 |6274 | 182k| 0 |3797 |2977 | 1.246769e+08 | 1.342484e+08 | 7.68%| 87.58%
942.56/945.34 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
942.56/945.34 c 945s| 2300 | 432 | 9036k|3914.2 | 406M | 19 |1572 |3822 |5950 | 185k| 2 |3868 |3002 | 1.251178e+08 | 1.342484e+08 | 7.30%| 88.80%
961.89/964.76 c 965s| 2400 | 380 | 9248k|3839.2 | 407M | 19 |1572 |3767 |5852 | 187k| 0 |3889 |3008 | 1.253809e+08 | 1.342484e+08 | 7.07%| 90.08%
979.15/982.08 c 982s| 2500 | 336 | 9435k|3760.5 | 408M | 19 |1572 |3742 |6239 | 189k| 0 |3941 |3022 | 1.256370e+08 | 1.342484e+08 | 6.85%| 91.18%
1001.08/1004.06 c 1004s| 2600 | 282 | 9669k|3705.9 | 412M | 19 |1572 |3728 |6661 | 191k| 0 |3991 |3044 | 1.259230e+08 | 1.342484e+08 | 6.61%| 92.54%
1023.30/1026.39 c 1026s| 2700 | 234 | 9920k|3661.5 | 413M | 19 |1572 |3698 |7460 | 193k| 0 |4042 |3057 | 1.260894e+08 | 1.342484e+08 | 6.47%| 93.80%
1041.66/1044.74 c 1045s| 2800 | 182 | 10121k|3602.4 | 414M | 19 |1572 |3671 |5866 | 194k| 2 |4066 |3063 | 1.276395e+08 | 1.342484e+08 | 5.18%| 95.16%
1057.11/1060.26 c 1060s| 2900 | 126 | 10291k|3536.9 | 414M | 19 |1572 |3627 |6711 | 195k| 0 |4080 |3069 | 1.281056e+08 | 1.342484e+08 | 4.80%| 96.55%
1080.03/1083.28 c 1083s| 3000 | 62 | 10538k|3501.3 | 414M | 19 |1572 |3570 |8014 | 196k| 0 |4084 |3070 | 1.290385e+08 | 1.342484e+08 | 4.04%| 98.12%
1097.67/1100.93 c
1097.67/1100.93 c SCIP Status : problem is solved [optimal solution found]
1097.67/1100.93 c Solving Time (sec) : 1100.93
1097.67/1100.93 c Solving Nodes : 3066
1097.67/1100.93 c Primal Bound : +1.34248448000000e+08 (7 solutions)
1097.67/1100.93 c Dual Bound : +1.34248448000000e+08
1097.67/1100.93 c Gap : 0.00 %
1097.67/1100.93 s OPTIMUM FOUND
1097.67/1100.93 v -x2622 -x2635 -x2648 -x2660 -x2669 x2679 x2692 -x2703 x2709 -x2717 x2722 -x2727 x2732 -x2737 -x2742 -x2747 -x2753 -x2761 -x2766
1097.67/1100.93 v x2771 x2776 -x2781 -x2786 -x2791 -x2796 x2801 x2806 x2811 -x2816 -x2821 -x2827 -x2835 x2840 -x2845 -x2850 -x2855 -x2860 -x2865 -x2870
1097.67/1100.93 v -x2875 -x2880 -x2885 x2890 -x2895 -x2900 x2905 -x2910 -x2915 -x2920 x2925 x2930 x2935 x2940 -x2945 x2950 -x2955 -x2960 -x2965 -x2970
1097.67/1100.93 v x2975 -x2980 -x2985 -x2990 -x2995 -x3000 -x3005 -x3010 -x3015 -x3020 -x3025 -x3030 x3035 -x3040 -x3045 -x3050 -x3055 -x3060 x3065
1097.67/1100.93 v x3070 -x3075 -x3080 x3085 x3090 -x3095 x3100 -x3105 -x3110 x3114 -x3116 x3118 x3120 -x3431 -x3433 x3435 -x3437 -x3438 -x3440 -x3442
1097.67/1100.93 v x3444 -x3446 -x3447 -x3449 -x3451 -x3453 x3455 -x3456 -x3458 -x3460 -x3462 x3464 -x3465 -x3467 -x3469 x3471 -x3473 -x3474 -x3476
1097.67/1100.93 v -x3478 x3480 -x3482 -x3483 -x3485 -x3487 -x3489 x3491 -x3492 -x3494 -x3496 -x3498 x3500 -x3501 -x3503 -x3505 -x3507 x3509 -x3510
1097.67/1100.93 v -x3512 -x3514 -x3516 x3518 -x3519 -x3521 -x3523 -x3525 x3527 -x3528 -x3530 -x3532 x3534 -x3536 -x3537 -x3539 -x3541 x3543 -x3545
1097.67/1100.93 v -x3546 -x3548 -x3550 x3552 -x3554 -x3555 -x3557 -x3559 x3561 -x3563 -x3564 x1 x2 x7 x12 x17 x22 x27 x32 x37 x42 x47 x52 x57 x62
1097.67/1100.93 v x67 x72 x2423 x2441 x3125 x3129 x3133 x3137 x3141 x3145 x3149 x3153 x3157 x3161 x3165 x3169 x3173 x3177 x3181 x2421 x2439 -x4 -x3
1097.67/1100.93 v x5 x6 -x9 -x8 x10 x11 x13 -x14 x15 x16 -x19 x18 x20 x21 -x23 -x24 x25 x26 -x28 -x29 x30 x31 x33 -x34 x35 x36 -x39 x38 x40 x41 -x44
1097.67/1100.93 v x43 x45 x46 -x49 x48 x50 x51 -x54 x53 x55 x56 -x59 -x58 x60 x61 -x64 -x63 x65 x66 -x69 -x68 x70 x71 -x73 -x74 x75 x76 -x77 -x78
1097.67/1100.93 v x79 -x80 x81 x84 x83 -x85 -x86 -x87 -x88 -x89 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x100 -x99 -x101 -x102 -x103 -x104 -x105 -x108
1097.67/1100.93 v -x107 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x123 -x124 -x125 -x126 x127 -x128 x129 -x132 -x131
1097.67/1100.93 v -x133 -x134 -x135 -x136 -x137 -x140 -x139 -x141 -x142 -x143 -x144 -x145 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x155 -x156 -x157
1097.67/1100.93 v -x158 -x159 -x160 -x161 -x164 -x163 -x165 -x166 -x167 -x168 -x169 -x172 -x171 -x173 -x174 x175 -x176 x177 -x179 -x180 -x181 -x182
1097.67/1100.93 v -x183 -x184 -x185 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x196 -x195 -x197 -x198 -x199 -x200 -x201 -x204 -x203 -x205 -x206 -x207
1097.67/1100.93 v -x208 -x209 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x228 -x227 -x229 -x230 -x231 -x232
1097.67/1100.93 v -x233 -x236 -x235 -x237 -x238 -x239 -x240 -x241 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1097.67/1100.93 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x268 -x267 -x269 -x270 -x271 -x272 -x273 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x284
1097.67/1100.93 v -x283 -x285 -x286 -x287 -x288 -x289 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x300 -x299 -x301 -x302 x303 -x304 x305 -x307 -x308
1097.67/1100.93 v -x309 -x310 x311 -x312 x313 -x316 -x315 -x317 -x318 x319 -x320 x321 -x323 -x324 -x325 -x326 x327 -x328 x329 -x332 -x331 -x333 -x334
1097.67/1100.93 v x335 -x336 x337 -x339 -x340 -x341 x342 x343 x344 x345 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x355 -x356 -x357 -x358 -x359 -x360
1097.67/1100.93 v -x361 -x364 -x363 -x365 -x366 -x367 -x368 -x369 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 x383 -x384 x385
1097.67/1100.93 v -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x396 -x395 -x397 -x398 -x399 -x400 -x401 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x411
1097.67/1100.93 v -x412 -x413 -x414 -x415 x416 x417 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x428 -x427 -x429 -x430 -x431 -x432 -x433 -x435 -x436
1097.67/1100.93 v -x437 -x438 -x439 x440 x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x451 -x452 -x453 -x454 x455 -x456 x457 -x460 -x459 -x461
1097.67/1100.93 v -x462 -x463 x464 x465 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x483 -x484 -x485 -x486
1097.67/1100.93 v -x487 -x488 -x489 -x492 -x491 -x493 -x494 -x495 -x496 -x497 -x499 -x500 -x501 -x502 x503 -x504 x505 -x507 -x508 -x509 -x510 -x511
1097.67/1100.93 v -x512 -x513 -x516 -x515 -x517 -x518 -x519 -x520 -x521 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x532 -x531 -x533 -x534 -x535 x536
1097.67/1100.93 v x537 -x540 -x539 -x541 -x542 -x543 -x544 -x545 -x548 -x547 -x549 -x550 -x551 -x552 -x553 -x555 -x556 -x557 -x558 -x559 x560 x561
1097.67/1100.93 v -x564 -x563 -x565 -x566 -x567 -x568 -x569 -x572 -x571 -x573 -x574 x575 -x576 x577 -x580 -x579 -x581 -x582 -x583 x584 x585 -x587
1097.67/1100.93 v -x588 -x589 -x590 -x591 -x592 -x593 -x596 -x595 -x597 -x598 -x599 -x600 -x601 -x604 -x603 -x605 -x606 -x607 -x608 -x609 -x612 -x611
1097.67/1100.93 v -x613 -x614 -x615 -x616 -x617 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x628 -x627 -x629 -x630 -x631 -x632 -x633 -x636 -x635 -x637
1097.67/1100.93 v -x638 -x639 -x640 -x641 -x644 -x643 -x645 -x646 -x647 -x648 -x649 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x660 -x659 -x661 -x662
1097.67/1100.93 v -x663 -x664 -x665 -x668 -x667 -x669 -x670 -x671 -x672 -x673 -x676 -x675 -x677 -x678 -x679 -x680 -x681 -x683 -x684 -x685 -x686 -x687
1097.67/1100.93 v -x688 -x689 -x692 -x691 -x693 -x694 -x695 -x696 -x697 -x700 -x699 -x701 -x702 -x703 -x704 -x705 -x708 -x707 -x709 -x710 -x711 -x712
1097.67/1100.93 v -x713 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x724 -x723 -x725 -x726 -x727 -x728 -x729 -x732 -x731 -x733 -x734 -x735 -x736 -x737
1097.67/1100.93 v -x740 -x739 -x741 -x742 -x743 -x744 -x745 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x756 -x755 -x757 -x758 -x759 -x760 -x761 -x764
1097.67/1100.93 v -x763 -x765 -x766 -x767 -x768 -x769 -x772 -x771 -x773 -x774 -x775 -x776 -x777 -x780 -x779 -x781 -x782 -x783 -x784 -x785 -x787 -x788
1097.67/1100.93 v -x789 x790 -x791 -x792 x793 -x796 -x795 -x797 -x798 -x799 -x800 -x801 -x804 -x803 -x805 -x806 -x807 -x808 -x809 -x812 -x811 -x813
1097.67/1100.93 v -x814 x815 -x816 x817 -x819 -x820 -x821 -x822 x823 -x824 x825 x828 x827 -x829 x830 -x831 -x832 x833 x836 x835 -x837 -x838 -x839
1097.67/1100.93 v -x840 -x841 -x844 -x843 -x845 -x846 -x847 -x848 -x849 -x851 -x852 -x853 x854 -x855 -x856 x857 -x860 -x859 -x861 -x862 -x863 -x864
1097.67/1100.93 v -x865 -x868 -x867 -x869 -x870 -x871 -x872 -x873 -x876 -x875 -x877 x878 -x879 -x880 x881 -x883 -x884 -x885 -x886 -x887 -x888 -x889
1097.67/1100.93 v -x892 -x891 -x893 -x894 -x895 -x896 -x897 -x900 -x899 -x901 -x902 -x903 -x904 -x905 -x908 -x907 -x909 -x910 -x911 x912 x913 x914
1097.67/1100.93 v x915 -x917 -x918 -x919 -x920 -x921 x922 -x923 x924 -x927 -x926 -x928 -x929 x930 -x931 x932 -x934 -x935 -x936 -x937 -x938 x939 -x940
1097.67/1100.93 v x941 -x943 -x944 -x945 -x946 x947 -x948 x949 -x952 -x951 -x953 -x954 -x955 -x956 -x957 -x960 -x959 x961 -x962 -x963 -x964 -x965
1097.67/1100.93 v -x966 -x969 -x968 -x970 -x971 x972 -x973 x974 -x977 -x976 -x978 -x979 -x980 -x981 -x982 -x984 -x985 -x986 -x987 x988 -x989 x990
1097.67/1100.93 v -x993 -x992 -x994 -x995 -x996 -x997 -x998 -x1001 -x1000 -x1002 x1003 -x1004 -x1005 x1006 -x1009 -x1008 -x1010 -x1011 x1012 -x1013
1097.67/1100.93 v -x1014 x1015 -x1018 -x1017 -x1019 x1020 -x1021 -x1022 x1023 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1035
1097.67/1100.93 v -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1045 -x1044 -x1046 -x1047 -x1048 -x1049 -x1050 -x1053 -x1052 x1054 -x1055 -x1056
1097.67/1100.93 v -x1057 -x1058 -x1059 -x1062 -x1061 -x1063 -x1064 -x1065 -x1066 -x1067 -x1070 -x1069 -x1071 -x1072 x1073 -x1074 x1075 -x1078 -x1077
1097.67/1100.93 v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1090 -x1089 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1097.67/1100.93 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1119 -x1120
1097.67/1100.93 v -x1121 -x1122 x1123 -x1124 x1125 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1139 -x1138 -x1140 -x1141
1097.67/1100.93 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1149 -x1148 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1158 -x1159 -x1160 -x1161 -x1162
1097.67/1100.93 v -x1163 -x1164 -x1165 -x1166 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183
1097.67/1100.93 v -x1186 -x1185 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1203 -x1202 -x1204 -x1205
1097.67/1100.93 v -x1206 x1207 x1208 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1227
1097.67/1100.93 v -x1228 -x1229 -x1230 x1231 -x1232 x1233 -x1236 -x1235 -x1237 -x1238 x1239 -x1240 x1241 -x1243 -x1244 -x1245 -x1246 x1247 -x1248
1097.67/1100.93 v x1249 -x1252 -x1251 -x1253 -x1254 -x1255 x1256 -x1257 x1258 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 x1266 -x1269 -x1268 -x1270
1097.67/1100.93 v x1271 x1272 x1273 x1274 x1277 x1276 -x1278 -x1279 -x1280 -x1281 -x1282 -x1285 -x1284 -x1286 -x1287 -x1288 -x1289 -x1290 -x1293 -x1292
1097.67/1100.93 v -x1294 -x1295 x1296 -x1297 -x1298 x1299 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 x1307 -x1310 -x1309 -x1311 x1312 -x1313 -x1314
1097.67/1100.93 v x1315 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 x1323 -x1326 -x1325 -x1327 -x1328 x1329 -x1330 x1331 -x1333 -x1334 -x1335 -x1336
1097.67/1100.93 v x1337 -x1338 x1339 x1342 x1341 -x1343 x1344 x1345 x1346 x1347 -x1349 -x1350 -x1351 -x1352 x1353 -x1354 -x1355 x1356 x1359 x1358
1097.67/1100.93 v -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 x1367 -x1369 -x1370 -x1371 -x1372 x1373 -x1374 x1375 -x1377 -x1378 -x1379 -x1380
1097.67/1100.93 v x1381 x1382 x1383 x1384 -x1386 -x1387 -x1388 x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1398 -x1399 -x1400 x1401 -x1402
1097.67/1100.93 v -x1403 x1404 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1417 -x1416 -x1418 x1419 -x1420 -x1421 x1422 -x1424
1097.67/1100.93 v -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1435 -x1434 -x1436 -x1437 -x1438 -x1439 -x1440 -x1443 -x1442 -x1444 -x1445
1097.67/1100.93 v -x1446 -x1447 -x1448 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1097.67/1100.93 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485
1097.67/1100.93 v -x1486 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1506 -x1505 x1507
1097.67/1100.93 v -x1508 -x1509 -x1510 -x1511 -x1512 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 x1521 -x1524 -x1523 -x1525 -x1526 -x1527 -x1528
1097.67/1100.93 v -x1529 -x1532 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 x1546 -x1548 -x1549 -x1550
1097.67/1100.93 v -x1551 x1552 -x1553 x1554 -x1557 -x1556 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1572
1097.67/1100.93 v -x1571 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 x1580 -x1583 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1591 -x1590 -x1592
1097.67/1100.93 v -x1593 -x1594 x1595 x1596 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
1097.67/1100.93 v x1613 -x1614 x1615 x1618 x1617 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 x1633 -x1635
1097.67/1100.93 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 x1645 -x1648 -x1647 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655
1097.67/1100.93 v -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1667 -x1666 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1675 -x1676
1097.67/1100.93 v -x1677 -x1678 -x1679 -x1680 -x1681 -x1684 -x1683 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 x1693 -x1694 x1695 -x1697
1097.67/1100.93 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 x1708 -x1711 -x1710 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717
1097.67/1100.93 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1726 -x1725 -x1727 -x1728 -x1729 -x1730 -x1731 -x1734 -x1733 -x1735 -x1736 -x1737 -x1738
1097.67/1100.93 v -x1739 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 x1747 x1750 x1749 -x1751 -x1752 -x1753 -x1754 -x1755 -x1758 -x1757 -x1759 -x1760
1097.67/1100.93 v -x1761 x1762 -x1763 x1764 -x1767 -x1766 -x1768 -x1769 -x1770 -x1771 -x1772 -x1775 -x1774 -x1776 -x1777 -x1778 -x1779 -x1780 -x1782
1097.67/1100.93 v -x1783 -x1784 -x1785 x1786 -x1787 x1788 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 x1803 x1802 -x1804
1097.67/1100.93 v -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1823 -x1824 -x1825
1097.67/1100.93 v -x1826 -x1827 -x1828 x1829 -x1830 x1831 -x1834 -x1833 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 x1842 -x1845 -x1844 -x1846
1097.67/1100.93 v -x1847 -x1848 -x1849 x1850 -x1851 x1852 -x1855 -x1854 -x1856 -x1857 -x1858 x1859 -x1860 x1861 -x1863 -x1864 -x1865 x1866 x1867 x1868
1097.67/1100.93 v x1869 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1884 -x1883 -x1885 -x1886 x1887 -x1888 x1889
1097.67/1100.93 v -x1892 -x1891 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1901 -x1900 -x1902 -x1903 -x1904 x1905 x1906 -x1909 -x1908 -x1910 -x1911
1097.67/1100.93 v x1912 -x1913 x1914 -x1917 -x1916 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1926 -x1925 -x1927 x1928 -x1929 -x1930 x1931 -x1932
1097.67/1100.93 v x1933 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 -x1941 x1942 -x1945 -x1944 -x1946 -x1947 -x1948 x1949 x1950 x1951 x1952 -x1954 -x1955
1097.67/1100.93 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 x1969 -x1971 -x1972 -x1973 -x1974 -x1975
1097.67/1100.93 v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1097.67/1100.93 v -x1995 -x1998 -x1997 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2009 -x2008 -x2010 -x2011 x2012 -x2013 -x2014 x2015
1097.67/1100.93 v -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 -x2026 -x2025 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 x2034 -x2037 -x2036
1097.67/1100.93 v -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 x2054 x2055 x2056
1097.67/1100.93 v x2057 -x2060 -x2059 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 x2072 -x2075 -x2074 -x2076 -x2077
1097.67/1100.93 v -x2078 x2079 x2080 x2081 x2082 x2084 x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 x2092 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1097.67/1100.93 v x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2114 -x2113 -x2115 -x2116 -x2117 -x2118 -x2119
1097.67/1100.93 v -x2120 -x2121 -x2124 -x2123 -x2125 -x2126 -x2127 -x2128 -x2129 x2130 -x2131 x2132 -x2135 -x2134 -x2136 -x2137 -x2138 -x2139 -x2140
1097.67/1100.93 v -x2141 x2142 -x2143 x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2160 -x2159 -x2161
1097.67/1100.93 v -x2162 -x2163 -x2164 -x2165 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2177 -x2176 -x2178 -x2179 -x2180 -x2181 -x2182
1097.67/1100.93 v -x2183 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202
1097.67/1100.93 v -x2203 -x2204 -x2207 -x2206 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2221 -x2222 -x2223
1097.67/1100.93 v -x2224 -x2225 x2226 -x2227 -x2228 x2229 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2244 -x2243
1097.67/1100.93 v -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1097.67/1100.93 v -x2264 -x2265 -x2266 -x2267 -x2268 x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2282 -x2283
1097.67/1100.93 v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2293 -x2292 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303
1097.67/1100.93 v -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2314 -x2313 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 x2321 -x2322 -x2323
1097.67/1100.93 v -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2333 -x2332 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343
1097.67/1100.93 v x2346 x2345 -x2347 -x2348 x2349 -x2350 -x2351 x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2363 -x2364 -x2365
1097.67/1100.93 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1097.67/1100.93 v -x2385 x2386 x2387 x2388 x2389 x2391 x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 x2402 -x2403 -x2404 x2405
1097.67/1100.93 v -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 x2420 x2422 -x2424 -x2425 x2426
1097.67/1100.93 v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 x2435 -x2436 -x2437 x2438 x2440 x2442 -x2443 -x2444 -x2445 -x2446 -x2447
1097.67/1100.93 v -x2448 -x2449 -x2450 -x2451 -x2452 x2453 x2454 -x2457 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 -x2467
1097.67/1100.93 v -x2468 x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 -x2486
1097.67/1100.93 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1097.67/1100.93 v -x2506 -x2507 x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 x2519 -x2520 -x2521 -x2522 -x2523 -x2524
1097.67/1100.93 v -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543
1097.67/1100.93 v -x2544 -x2545 -x2546 -x2547 x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562
1097.67/1100.93 v -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581
1097.67/1100.93 v -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 x2599 -x2600
1097.67/1100.93 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 x2615 -x2616 -x2617 -x2618 x2620
1097.67/1100.93 v -x2621 -x2619 -x2624 -x2625 -x2623 -x2627 -x2628 x2626 -x2630 -x2631 -x2629 -x2633 -x2634 x2632 -x2637 -x2638 -x2636 x2640 -x2641
1097.67/1100.93 v -x2639 -x2643 -x2644 -x2642 -x2646 -x2647 -x2645 -x2650 -x2651 -x2649 x2653 x2654 x2652 -x2656 -x2657 -x2655 x2659 x2658 -x2662
1097.67/1100.93 v -x2661 -x2664 -x2663 -x2666 -x2665 -x2667 -x2668 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2677 -x2678 -x2676 -x2681 -x2682 -x2680
1097.67/1100.93 v -x2684 -x2685 x2683 x2687 -x2688 -x2686 -x2690 -x2691 x2689 -x2694 -x2695 -x2693 -x2697 -x2698 -x2696 x2700 -x2701 -x2699 -x2702
1097.67/1100.93 v -x2704 -x2705 -x2706 x2707 -x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 x2716 -x2718 -x2719 -x2720 -x2721 -x2723 -x2724 -x2725
1097.67/1100.93 v -x2726 -x2728 -x2729 -x2730 -x2731 -x2733 -x2734 -x2735 x2736 -x2738 -x2739 -x2740 -x2741 -x2743 x2744 -x2745 -x2746 -x2748 -x2749
1097.67/1100.93 v -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2762 -x2763 -x2764 -x2765 -x2767 -x2768 -x2769 -x2770 -x2772
1097.67/1100.93 v -x2773 -x2774 -x2775 -x2777 -x2778 -x2779 -x2780 -x2782 -x2783 -x2784 -x2785 -x2787 -x2788 -x2789 -x2790 -x2792 -x2793 -x2794 -x2795
1097.67/1100.93 v -x2797 -x2798 -x2799 -x2800 -x2802 -x2803 -x2804 -x2805 -x2807 -x2808 -x2809 -x2810 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819
1097.67/1100.93 v -x2820 -x2822 -x2823 x2824 -x2826 -x2825 -x2829 -x2828 -x2831 -x2830 -x2833 x2832 -x2834 -x2836 x2837 -x2838 -x2839 -x2841 -x2842
1097.67/1100.93 v -x2843 -x2844 -x2846 -x2847 -x2848 -x2849 -x2851 -x2852 -x2853 -x2854 -x2856 -x2857 -x2858 -x2859 -x2861 -x2862 -x2863 -x2864 -x2866
1097.67/1100.93 v -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2876 x2877 -x2878 -x2879 -x2881 -x2882 x2883 -x2884 -x2886 x2887 -x2888 -x2889
1097.67/1100.93 v -x2891 -x2892 -x2893 -x2894 -x2896 x2897 -x2898 -x2899 -x2901 -x2902 -x2903 -x2904 -x2906 -x2907 -x2908 x2909 -x2911 -x2912 -x2913
1097.67/1100.93 v -x2914 -x2916 -x2917 -x2918 -x2919 -x2921 -x2922 -x2923 -x2924 -x2926 -x2927 -x2928 -x2929 -x2931 -x2932 -x2933 -x2934 -x2936 -x2937
1097.67/1100.93 v -x2938 -x2939 -x2941 -x2942 -x2943 -x2944 -x2946 -x2947 -x2948 -x2949 -x2951 -x2952 -x2953 -x2954 -x2956 -x2957 -x2958 -x2959 -x2961
1097.67/1100.93 v -x2962 -x2963 -x2964 -x2966 x2967 -x2968 -x2969 -x2971 -x2972 -x2973 -x2974 -x2976 -x2977 -x2978 -x2979 -x2981 -x2982 -x2983 -x2984
1097.67/1100.93 v -x2986 -x2987 -x2988 -x2989 -x2991 -x2992 -x2993 x2994 -x2996 -x2997 -x2998 -x2999 -x3001 x3002 -x3003 -x3004 -x3006 -x3007 x3008
1097.67/1100.93 v -x3009 -x3011 -x3012 -x3013 -x3014 -x3016 -x3017 -x3018 x3019 -x3021 -x3022 -x3023 -x3024 -x3026 x3027 -x3028 -x3029 -x3031 -x3032
1097.67/1100.93 v -x3033 -x3034 -x3036 -x3037 -x3038 -x3039 -x3041 -x3042 -x3043 -x3044 -x3046 -x3047 -x3048 -x3049 -x3051 -x3052 -x3053 -x3054 -x3056
1097.67/1100.93 v -x3057 -x3058 -x3059 -x3061 -x3062 -x3063 -x3064 -x3066 -x3067 -x3068 -x3069 -x3071 -x3072 -x3073 -x3074 -x3076 -x3077 -x3078 -x3079
1097.67/1100.93 v -x3081 -x3082 -x3083 -x3084 -x3086 -x3087 -x3088 -x3089 -x3091 -x3092 -x3093 -x3094 -x3096 -x3097 -x3098 -x3099 -x3101 -x3102 -x3103
1097.67/1100.93 v x3104 -x3106 -x3107 -x3108 -x3109 -x3111 -x3112 -x3113 x3115 -x3117 x3119 x3121 x3122 x3124 x3123 x3126 x3128 x3127 x3130 x3132
1097.67/1100.93 v x3131 x3134 x3136 x3135 x3138 x3140 x3139 x3142 x3144 x3143 x3146 x3148 x3147 x3150 x3152 x3151 x3154 x3156 x3155 x3158 x3160 x3159
1097.67/1100.93 v x3162 x3164 x3163 x3166 x3168 x3167 x3170 x3172 x3171 x3174 x3176 x3175 x3178 x3180 x3179 -x3182 -x490 x3183 x2083 -x3184 -x1449
1097.67/1100.93 v -x3185 -x1646 -x3186 -x1201 -x3187 -x1316 -x3188 -x514 -x3189 -x754 -x3190 -x202 -x3191 -x983 -x3192 -x1899 -x3193 -x1674 -x3194
1097.67/1100.93 v -x942 -x3195 -x162 -x3196 -x1943 -x3197 -x298 -x3198 -x1773 -x3199 -x1376 -x3200 -x2166 -x3201 -x330 -x3202 -x2312 -x3203 -x2331
1097.67/1100.93 v -x3204 -x866 -x3205 -x338 -x3206 -x2455 -x3207 -x474 -x3208 -x554 -x3209 -x282 -x3210 -x106 -x3211 -x618 -x3212 -x842 -x3213 -x562
1097.67/1100.93 v -x3214 -x98 -x3215 -x738 -x3216 -x1570 -x3217 -x794 -x3218 -x362 -x3219 -x2122 -x3220 -x1724 -x3221 -x1051 -x3222 -x650 -x3223 -x975
1097.67/1100.93 v -x3224 -x90 -x3225 -x1882 -x3226 -x346 -x3227 -x1457 -x3228 -x426 x3229 x1275 -x3230 -x1291 -x3231 -x967 -x3232 -x1597 -x3233 -x1915
1097.67/1100.93 v -x3234 -x1348 -x3235 -x122 -x3236 -x2184 -x3237 -x522 -x3238 -x610 -x3239 -x690 x3240 x826 -x3241 -x2133 -x3242 -x1099 -x3243 -x2007
1097.67/1100.93 v -x3244 -x1250 -x3245 -x722 -x3246 -x1765 -x3247 -x250 -x3248 -x1581 -x3249 -x402 -x3250 -x1007 -x3251 -x1226 -x3252 -x874 -x3253
1097.67/1100.93 v -x546 -x3254 -x2073 x3255 x1748 -x3256 -x1259 x3257 x1801 -x3258 -x1126 x3259 -x3260 -x1496 -x3261 -x706 -x3262 -x170 -x3263 -x2175
1097.67/1100.93 v -x3264 -x1193 -x3265 -x1709 -x3266 -x1217 -x3267 -x1756 -x3268 -x2281 -x3269 -x802 x3270 -x3271 -x2220 -x3272 -x458 -x3273 -x1157
1097.67/1100.93 v -x3274 -x258 -x3275 -x882 -x3276 -x858 -x3277 -x1924 -x3278 -x210 -x3279 -x2242 -x3280 -x154 -x3281 -x274 -x3282 -x1184 -x3283 -x354
1097.67/1100.93 v -x3284 -x2158 -x3285 -x178 -x3286 -x1665 -x3287 -x2362 -x3288 -x1324 -x3289 -x2230 -x3290 -x714 -x3291 -x506 -x3292 -x1682 -x3293
1097.67/1100.93 v -x1626 -x3294 -x1118 -x3295 -x1547 x3296 x1340 -x3297 -x586 -x3298 -x999 -x3299 -x2058 -x3300 -x2112 -x3301 -x370 x3302 x2390 -x3303
1097.67/1100.93 v -x1504 -x3304 -x1870 -x3305 -x916 -x3306 -x322 -x3307 -x186 -x3308 -x530 -x3309 -x1068 -x3310 -x1513 -x3311 -x1283 -x3312 -x146
1097.67/1100.93 v -x3313 -x1555 -x3314 -x1016 -x3315 -x234 -x3316 -x1822 -x3317 -x1539 -x3318 -x1970 -x3319 -x991 -x3320 -x1385 -x3321 -x1300 -x3322
1097.67/1100.93 v -x658 -x3323 -x1242 -x3324 -x386 -x3325 -x194 -x3326 -x450 -x3327 -x2205 -x3328 -x1441 -x3329 -x1308 -x3330 -x698 -x3331 -x950 -x3332
1097.67/1100.93 v -x746 -x3333 -x434 -x3334 -x1843 -x3335 -x1740 -x3336 -x1732 x3337 x1357 -x3338 -x1996 -x3339 -x1832 x3340 x834 -x3341 -x2024 -x3342
1097.67/1100.93 v -x1397 -x3343 -x2145 -x3344 -x1405 -x3345 -x466 -x3346 -x906 -x3347 -x394 -x3348 -x1890 -x3349 -x770 -x3350 -x578 -x3351 -x626 -x3352
1097.67/1100.93 v -x1423 -x3353 -x2016 -x3354 -x674 -x3355 -x1109 -x3356 -x933 -x3357 -x2093 -x3358 -x306 -x3359 -x666 -x3360 -x1267 -x3361 -x1332
1097.67/1100.93 v -x3362 -x378 -x3363 -x634 -x3364 -x890 -x3365 -x818 -x3366 -x810 -x3367 -x1907 -x3368 -x786 -x3369 -x570 -x3370 -x850 -x3371 -x2291
1097.67/1100.93 v -x3372 -x1060 -x3373 -x1862 -x3374 -x498 -x3375 -x1853 -x3376 -x1368 -x3377 -x1530 -x3378 -x1934 -x3379 -x1076 -x3380 -x442 -x3381
1097.67/1100.93 v -x1781 x3382 x82 -x3383 -x2035 -x3384 -x1589 -x3385 -x218 -x3386 -x1953 -x3387 -x1137 -x3388 -x1789 -x3389 -x1696 -x3390 -x410 x3391
1097.67/1100.93 v x1616 -x3392 -x1147 -x3393 -x290 -x3394 -x642 -x3395 -x1487 -x3396 -x898 -x3397 -x1234 -x3398 -x1043 -x3399 -x594 -x3400 -x1634
1097.67/1100.93 v -x3401 -x1167 -x3402 -x682 -x3403 -x1024 -x3404 -x762 -x3405 -x314 -x3406 -x1522 -x3407 -x242 -x3408 -x958 -x3409 -x925 -x3410 -x1176
1097.67/1100.93 v x3411 x1209 -x3412 -x1034 -x3413 -x2353 -x3414 -x1415 -x3415 -x130 -x3416 -x1812 -x3417 -x602 -x3418 -x418 -x3419 -x1433 x3420 x2344
1097.67/1100.93 v -x3421 -x482 -x3422 -x538 -x3423 -x226 -x3424 -x266 -x3425 -x138 -x3426 -x730 -x3427 -x114 -x3428 -x1088 -x3429 -x778 -x3430 -x3432
1097.67/1100.93 v x3434 -x3436 -x3439 -x3441 x3443 -x3445 -x3448 -x3450 -x3452 x3454 -x3457 -x3459 -x3461 x3463 -x3466 -x3468 x3470 -x3472 -x3475
1097.67/1100.93 v -x3477 x3479 -x3481 -x3484 -x3486 -x3488 x3490 -x3493 -x3495 -x3497 x3499 -x3502 -x3504 -x3506 x3508 -x3511 -x3513 -x3515 x3517
1097.67/1100.93 v -x3520 -x3522 -x3524 x3526 -x3529 -x3531 x3533 -x3535 -x3538 -x3540 x3542 -x3544 -x3547 -x3549 x3551 -x3553 -x3556 -x3558 x3560
1097.67/1100.93 v -x3562
1097.67/1100.93 c SCIP Status : problem is solved [optimal solution found]
1097.67/1100.93 c Total Time : 1100.93
1097.67/1100.93 c solving : 1100.93
1097.67/1100.93 c presolving : 0.35 (included in solving)
1097.67/1100.93 c reading : 0.02 (included in solving)
1097.67/1100.93 c copying : 0.11 (17 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1097.67/1100.93 c Original Problem :
1097.67/1100.93 c Problem name : HOME/instance-4512443-1751530142.opb
1097.67/1100.93 c Variables : 3564 (3564 binary, 0 integer, 0 continuous)
1097.67/1100.93 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1097.67/1100.93 c Constraints : 11685 initial, 11685 maximal
1097.67/1100.93 c Objective : minimize, 166 non-zeros (abs.min = 1, abs.max = 5.24288e+06)
1097.67/1100.93 c Presolved Problem :
1097.67/1100.93 c Problem name : t_HOME/instance-4512443-1751530142.opb
1097.67/1100.93 c Variables : 1572 (1572 binary, 0 integer, 0 continuous)
1097.67/1100.93 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
1097.67/1100.93 c Constraints : 2863 initial, 4047 maximal
1097.67/1100.93 c Objective : minimize, 115 non-zeros (abs.min = 15, abs.max = 20480)
1097.67/1100.93 c Nonzeros : 10311 constraint, 56832 clique table
1097.67/1100.93 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1097.67/1100.93 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c gateextraction : 0.01 0.00 3 0 0 0 0 0 6252 1827 0 0
1097.67/1100.93 c implics : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c milp : 0.02 0.00 1 0 246 0 0 0 0 0 0 0
1097.67/1100.93 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c trivial : 0.00 0.00 11 30 0 0 0 0 0 0 0 0
1097.67/1100.93 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c dualfix : 0.00 0.00 11 1 0 0 0 0 0 0 0 0
1097.67/1100.93 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c probing : 0.23 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c setppc : 0.00 0.00 10 0 15 0 0 0 0 0 15 15
1097.67/1100.93 c and : 0.01 0.00 5 0 657 0 0 0 657 0 0 0
1097.67/1100.93 c linear : 0.04 0.00 14 175 868 0 175 0 3740 0 0 0
1097.67/1100.93 c logicor : 0.01 0.00 9 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c root node : - - - 104 - - 104 - - - - -
1097.67/1100.93 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
1097.67/1100.93 c integral : 0 0 0 0 1914 0 0 16 0 1 1459 0 0 1349 3076
1097.67/1100.93 c knapsack : 0+ 1 0 21307 0 0 0 0 2 1 1 0 0 0 0
1097.67/1100.93 c setppc : 378+ 401 31 54431 0 0 0 10 1256 17 9648 3 3 0 0
1097.67/1100.93 c and : 1155 1155 5240 54527 0 0 0 7 27288 131 33182 259107 78837 0 0
1097.67/1100.93 c linear : 246+ 465 32 54271 0 0 0 10 1171 172 297 34 8 0 0
1097.67/1100.93 c logicor : 1084+ 2174 31 31861 0 0 0 7 2270 234 3751 322 44 0 0
1097.67/1100.93 c fixedvar : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
1097.67/1100.93 c countsols : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
1097.67/1100.93 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
1097.67/1100.93 c integral : 137.29 0.00 0.00 0.00 137.29 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c knapsack : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c setppc : 0.10 0.00 0.00 0.07 0.00 0.00 0.00 0.00 0.00 0.03
1097.67/1100.93 c and : 2.71 0.00 1.32 0.97 0.00 0.00 0.00 0.00 0.01 0.41
1097.67/1100.93 c linear : 0.19 0.00 0.01 0.14 0.00 0.00 0.00 0.00 0.00 0.03
1097.67/1100.93 c logicor : 0.37 0.00 0.01 0.31 0.00 0.00 0.00 0.00 0.00 0.05
1097.67/1100.93 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c Propagators : #Propagate #ResProp Cutoffs DomReds
1097.67/1100.93 c dualfix : 2 0 0 0
1097.67/1100.93 c genvbounds : 0 0 0 0
1097.67/1100.93 c nlobbt : 0 0 0 0
1097.67/1100.93 c obbt : 0 0 0 0
1097.67/1100.93 c probing : 0 0 0 0
1097.67/1100.93 c pseudoobj : 13701 0 1 0
1097.67/1100.93 c redcost : 14566 0 0 3402
1097.67/1100.93 c rootredcost : 4 0 0 0
1097.67/1100.93 c symmetry : 48088 0 15 777
1097.67/1100.93 c vbounds : 33360 0 0 0
1097.67/1100.93 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
1097.67/1100.93 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
1097.67/1100.93 c probing : 0.23 0.00 0.23 0.00 0.00 0.00
1097.67/1100.93 c pseudoobj : 0.03 0.00 0.00 0.03 0.00 0.00
1097.67/1100.93 c redcost : 0.39 0.00 0.00 0.39 0.00 0.00
1097.67/1100.93 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
1097.67/1100.93 c symmetry : 1.75 0.00 0.02 1.61 0.00 0.11
1097.67/1100.93 c vbounds : 0.03 0.00 0.00 0.02 0.00 0.01
1097.67/1100.93 c Symmetry :
1097.67/1100.93 c #affected vars : 1572 (1572 bin, 0 int, 0 cont)
1097.67/1100.93 c orbitopal red. : 0 reductions applied, 0 cutoffs
1097.67/1100.93 c orbital reduction: 488 reductions applied, 1 cutoffs
1097.67/1100.93 c lexicographic red: 695 reductions applied, 14 cutoffs
1097.67/1100.93 c shadow tree time : 0.01 s
1097.67/1100.93 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
1097.67/1100.93 c propagation : 0.01 395 358 - 1628 32.7 15 10.5 - - -
1097.67/1100.93 c infeasible LP : 0.00 9 9 - 47 43.8 0 0.0 9 51.4 0
1097.67/1100.93 c bound exceed. LP : 1.22 1171 1153 - 3803 43.9 10 19.1 1152 77.9 7060
1097.67/1100.93 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
1097.67/1100.93 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
1097.67/1100.93 c applied globally : 0.04 - - 0 2933 24.7 - - 1161 - -
1097.67/1100.93 c applied locally : - - - 0 2 3.0 - - 0 - -
1097.67/1100.93 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
1097.67/1100.93 c cut pool : 4.54 - 3066 56 - - 48093 886025 - - - - - (maximal pool size: 7203)
1097.67/1100.93 c aggregation : 2.15 0.00 648 31 0 0 128 2203 0 94 94 0 0
1097.67/1100.93 c > cmir : - - - - - - - 2172 0 78 78 0 -
1097.67/1100.93 c > flowcover : - - - - - - - 6 0 1 1 0 -
1097.67/1100.93 c > knapsackcover : - - - - - - - 25 0 15 15 0 -
1097.67/1100.93 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c clique : 0.21 0.00 31 31 0 0 55 2935 0 621 621 0 0
1097.67/1100.93 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c gomory : 7.96 0.00 489 10 0 0 26138 232878 0 5545 5545 0 0
1097.67/1100.93 c > gomorymi : - - - - - - - 93190 0 776 776 0 -
1097.67/1100.93 c > strongcg : - - - - - - - 139688 0 4769 4769 0 -
1097.67/1100.93 c impliedbounds : 0.64 0.00 648 31 0 0 20010 453309 0 85211 85211 0 0
1097.67/1100.93 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c multilinear : 0.00 0.00 95 31 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c rapidlearning : 1.72 0.00 8 1 0 5 0 0 0 0 0 0 270
1097.67/1100.93 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
1097.67/1100.93 c zerohalf : 5.04 0.00 499 20 0 0 1762 194700 0 26174 26174 0 0
1097.67/1100.93 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
1097.67/1100.93 c hybrid : 0.90 0.00 6317 30 196541 0 948950 1543 0 10285
1097.67/1100.93 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c Pricers : ExecTime SetupTime Calls Vars
1097.67/1100.93 c problem variables: 0.00 - 0 0
1097.67/1100.93 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
1097.67/1100.93 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c random : 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c relpscost : 137.28 0.00 1914 0 0 1 1459 0 2011 3076
1097.67/1100.93 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
1097.67/1100.93 c Primal Heuristics : ExecTime SetupTime Calls Found Best
1097.67/1100.93 c LP solutions : 0.00 - - 0 0
1097.67/1100.93 c relax solutions : 0.00 - - 0 0
1097.67/1100.93 c pseudo solutions : 0.00 - - 0 0
1097.67/1100.93 c strong branching : 0.01 - - 1 1
1097.67/1100.93 c actconsdiving : 0.00 0.00 0 0 0
1097.67/1100.93 c adaptivediving : 5.10 0.00 18 0 0
1097.67/1100.93 c alns : 0.02 0.00 1 0 0
1097.67/1100.93 c bound : 0.00 0.00 0 0 0
1097.67/1100.93 c clique : 0.02 0.00 1 0 0
1097.67/1100.93 c coefdiving : 0.00 0.00 0 0 0
1097.67/1100.93 c completesol : 0.00 0.00 0 0 0
1097.67/1100.93 c conflictdiving : 2.06 0.00 34 0 0
1097.67/1100.93 c crossover : 0.02 0.00 1 1 0
1097.67/1100.93 c dins : 0.00 0.00 0 0 0
1097.67/1100.93 c distributiondivin: 5.43 0.00 33 0 0
1097.67/1100.93 c dks : 0.00 0.00 0 0 0
1097.67/1100.93 c dps : 0.00 0.00 0 0 0
1097.67/1100.93 c dualval : 0.00 0.00 0 0 0
1097.67/1100.93 c farkasdiving : 1.93 0.00 1 0 0
1097.67/1100.93 c feaspump : 2.23 0.00 1 0 0
1097.67/1100.93 c fixandinfer : 0.00 0.00 0 0 0
1097.67/1100.93 c fracdiving : 8.52 0.00 34 0 0
1097.67/1100.93 c gins : 0.08 0.00 4 0 0
1097.67/1100.93 c guideddiving : 4.84 0.00 22 0 0
1097.67/1100.93 c indicator : 0.00 0.00 0 0 0
1097.67/1100.93 c indicatordiving : 0.00 0.00 0 0 0
1097.67/1100.93 c intdiving : 0.00 0.00 0 0 0
1097.67/1100.93 c intshifting : 0.00 0.00 0 0 0
1097.67/1100.93 c linesearchdiving : 5.48 0.00 33 0 0
1097.67/1100.93 c localbranching : 0.00 0.00 0 0 0
1097.67/1100.93 c locks : 0.00 0.00 1 0 0
1097.67/1100.93 c lpface : 0.00 0.00 0 0 0
1097.67/1100.93 c mpec : 0.00 0.00 0 0 0
1097.67/1100.93 c multistart : 0.00 0.00 0 0 0
1097.67/1100.93 c mutation : 0.00 0.00 0 0 0
1097.67/1100.93 c nlpdiving : 0.00 0.00 0 0 0
1097.67/1100.93 c objpscostdiving : 0.58 0.00 1 0 0
1097.67/1100.93 c octane : 0.00 0.00 0 0 0
1097.67/1100.93 c ofins : 0.00 0.00 0 0 0
1097.67/1100.93 c oneopt : 0.00 0.00 4 1 1
1097.67/1100.93 c padm : 0.00 0.00 0 0 0
1097.67/1100.93 c proximity : 0.00 0.00 0 0 0
1097.67/1100.93 c pscostdiving : 7.57 0.00 34 0 0
1097.67/1100.93 c randrounding : 0.11 0.00 31 0 0
1097.67/1100.93 c rens : 0.00 0.00 0 0 0
1097.67/1100.93 c reoptsols : 0.00 0.00 0 0 0
1097.67/1100.93 c repair : 0.00 0.00 0 0 0
1097.67/1100.93 c rins : 1.49 0.00 1 1 1
1097.67/1100.93 c rootsoldiving : 2.34 0.00 2 0 0
1097.67/1100.93 c rounding : 0.24 0.00 1205 0 0
1097.67/1100.93 c scheduler : 0.00 0.00 0 0 0
1097.67/1100.93 c shiftandpropagate: 0.00 0.00 0 0 0
1097.67/1100.93 c shifting : 0.76 0.00 633 0 0
1097.67/1100.93 c simplerounding : 0.00 0.00 0 0 0
1097.67/1100.93 c subnlp : 0.00 0.00 0 0 0
1097.67/1100.93 c trivial : 0.00 0.00 2 0 0
1097.67/1100.93 c trivialnegation : 0.00 0.00 0 0 0
1097.67/1100.93 c trustregion : 0.00 0.00 0 0 0
1097.67/1100.93 c trysol : 0.00 0.00 0 0 0
1097.67/1100.93 c twoopt : 0.00 0.00 0 0 0
1097.67/1100.93 c undercover : 0.06 0.00 1 1 1
1097.67/1100.93 c vbounds : 0.13 0.00 1 1 1
1097.67/1100.93 c veclendiving : 7.21 0.00 33 0 0
1097.67/1100.93 c zeroobj : 0.00 0.00 0 0 0
1097.67/1100.93 c zirounding : 0.16 0.00 1000 0 0
1097.67/1100.93 c other solutions : - - - 0 -
1097.67/1100.93 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 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
1097.67/1100.93 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
1097.67/1100.93 c primal LP : 0.58 930 0 0.00 0.00 0.58 930
1097.67/1100.93 c dual LP : 869.18 11697 10046885 1034.80 11559.08 1.32 1988
1097.67/1100.93 c lex dual LP : 0.00 0 0 0.00 -
1097.67/1100.93 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1097.67/1100.93 c resolve instable : 0.00 0 0 0.00 -
1097.67/1100.93 c diving/probing LP: 66.15 1609 658171 409.06 9949.73
1097.67/1100.93 c strong branching : 115.01 3070 1292444 420.99 11237.80 - - 1821
1097.67/1100.93 c (at root node) : - 11 9069 824.45 -
1097.67/1100.93 c conflict analysis: 0.78 710 7060 9.94 9075.26
1097.67/1100.93 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
1097.67/1100.93 c benders : 0.00 0 0 0 0.00 0 0 0
1097.67/1100.93 c B&B Tree :
1097.67/1100.93 c number of runs : 1
1097.67/1100.93 c nodes : 3066 (1538 internal, 1528 leaves)
1097.67/1100.93 c feasible leaves : 0
1097.67/1100.93 c infeas. leaves : 69
1097.67/1100.93 c objective leaves : 1459
1097.67/1100.93 c nodes (total) : 3066 (1538 internal, 1528 leaves)
1097.67/1100.93 c nodes left : 0
1097.67/1100.93 c max depth : 19
1097.67/1100.93 c max depth (total): 19
1097.67/1100.93 c backtracks : 1751 (57.1%)
1097.67/1100.93 c early backtracks : 0 (0.0%)
1097.67/1100.93 c nodes exc. ref. : 0 (0.0%)
1097.67/1100.93 c delayed cutoffs : 4
1097.67/1100.93 c repropagations : 160 (575 domain reductions, 2 cutoffs)
1097.67/1100.93 c avg switch length: 9.99
1097.67/1100.93 c switching time : 1.52
1097.67/1100.93 c Root Node :
1097.67/1100.93 c First LP value : +6.31724486530612e+07
1097.67/1100.93 c First LP Iters : 4672 (12276.39 Iter/sec)
1097.67/1100.93 c First LP Time : 0.38
1097.67/1100.93 c Final Dual Bound : -
1097.67/1100.93 c Final Root Iters : 37995
1097.67/1100.93 c Root LP Estimate : +1.72130416503895e+08
1097.67/1100.93 c Solution :
1097.67/1100.93 c Solutions found : 7 (6 improvements)
1097.67/1100.93 c First Solution : +1.93287424000000e+08 (in run 1, after 1 nodes, 0.53 seconds, depth 61, found by <vbounds>)
1097.67/1100.93 c Gap First Sol. : 514.37 %
1097.67/1100.93 c Gap Last Sol. : 16.89 %
1097.67/1100.93 c Primal Bound : +1.34248448000000e+08 (in run 1, after 548 nodes, 302.03 seconds, depth 21, found by <relaxation>)
1097.67/1100.93 c Dual Bound : +1.34248448000000e+08
1097.67/1100.93 c Gap : 0.00 %
1097.67/1100.93 c Integrals : Total Avg%
1097.67/1100.93 c primal-dual : 14415.75 13.09
1097.67/1100.93 c primal-ref : - - (not evaluated)
1097.67/1100.93 c dual-ref : - - (not evaluated)
1097.67/1100.99 c Time complete (sec): 1097.786
OK 134248448
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: 63665 MiB (60697 MiB free)
memory of node 1: 64507 MiB (63788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512443-1751530142/watcher-4512443-1751530142 -o /tmp/evaluation-result-4512443-1751530142/solver-4512443-1751530142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751526542-73835 --watchdog 3760 pbsolver -f HOME/instance-4512443-1751530142.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB
solver pid=74340, runsolver pid=74337
[startup+0.100062 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 74341
/proc/meminfo: memFree=127441664/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=51652 memory=42580 CPUtime=0.09 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 9335 0 0 0 8 1 0 0 20 0 1 0 68694053 52891648 10645 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 12913 10645 2528 2575 0 9820 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51652 KiB
Current children cumulated memory: 42580 KiB
[startup+0.205423 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 74341
/proc/meminfo: memFree=127441664/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=57056 memory=47956 CPUtime=0.2 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 10635 0 0 0 18 2 0 0 20 0 1 0 68694053 58425344 11989 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 14264 11989 2560 2575 0 11171 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57056 KiB
Current children cumulated memory: 47956 KiB
[startup+0.304811 s]*
/proc/loadavg: 4.23 4.14 4.10 5/264 74341
/proc/meminfo: memFree=127441732/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=58536 memory=49364 CPUtime=0.3 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 11007 0 0 0 28 2 0 0 20 0 1 0 68694053 59940864 12341 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 14634 12341 2560 2575 0 11541 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58536 KiB
Current children cumulated memory: 49364 KiB
[startup+0.700168 s]
/proc/loadavg: 4.23 4.14 4.10 5/264 74341
/proc/meminfo: memFree=127417792/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=91992 memory=76828 CPUtime=0.68 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 18708 0 0 0 65 3 0 0 20 0 1 0 68694053 94199808 19207 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 22998 19207 2688 2575 0 19905 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91992 KiB
Current children cumulated memory: 76828 KiB
[startup+1.50013 s]
/proc/loadavg: 4.23 4.14 4.10 4/260 74349
/proc/meminfo: memFree=127429640/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=119020 memory=103756 CPUtime=1.48 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 26137 0 0 0 144 4 0 0 20 0 1 0 68694053 121876480 25939 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 29755 25939 2688 2575 0 26662 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119020 KiB
Current children cumulated memory: 103756 KiB
[startup+3.10524 s]
/proc/loadavg: 4.21 4.13 4.10 5/264 74386
/proc/meminfo: memFree=127343460/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=121784 memory=106700 CPUtime=3.08 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 26871 0 0 0 304 4 0 0 20 0 1 0 68694053 124706816 26675 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 30446 26675 2688 2575 0 27353 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121784 KiB
Current children cumulated memory: 106700 KiB
[startup+6.30017 s]
/proc/loadavg: 4.21 4.13 4.10 5/264 74386
/proc/meminfo: memFree=127288528/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=139292 memory=116556 CPUtime=6.26 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 29351 0 0 0 622 4 0 0 20 0 1 0 68694053 142635008 29139 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 34823 29139 2688 2575 0 31730 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139292 KiB
Current children cumulated memory: 116556 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 74386
/proc/meminfo: memFree=127241012/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=149704 memory=125644 CPUtime=12.65 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 31621 0 0 0 1260 5 0 0 20 0 1 0 68694053 153296896 31411 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 37426 31411 2688 2575 0 34333 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 149704 KiB
Current children cumulated memory: 125644 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 74386
/proc/meminfo: memFree=127210024/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=160300 memory=137392 CPUtime=25.42 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 35549 0 0 0 2536 6 0 0 20 0 1 0 68694053 164147200 34348 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 40075 34348 2688 2575 0 36982 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 160300 KiB
Current children cumulated memory: 137392 KiB
[startup+51.1053 s]
/proc/loadavg: 4.24 4.14 4.10 5/264 74477
/proc/meminfo: memFree=127304252/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=161980 memory=139312 CPUtime=50.95 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 36026 0 0 0 5089 6 0 0 20 0 1 0 68694053 165867520 34828 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 40495 34828 2688 2575 0 37402 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 161980 KiB
Current children cumulated memory: 139312 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.15 4.10 4/265 74586
/proc/meminfo: memFree=127959440/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=215896 memory=171928 CPUtime=102.01 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 44932 0 0 0 10193 8 0 0 20 0 1 0 68694053 221077504 42982 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 53974 42982 2688 2575 0 50881 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 215896 KiB
Current children cumulated memory: 171928 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 74710
/proc/meminfo: memFree=127752656/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=222700 memory=174232 CPUtime=161.85 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 45509 0 0 0 16177 8 0 0 20 0 1 0 68694053 228044800 43558 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 55675 43558 2688 2575 0 52582 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 222700 KiB
Current children cumulated memory: 174232 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/266 74712
/proc/meminfo: memFree=127682488/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=247204 memory=179700 CPUtime=221.69 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 48734 0 0 0 22160 9 0 0 20 0 1 0 68694053 253136896 44925 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 61801 44925 2688 2575 0 58708 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 247204 KiB
Current children cumulated memory: 179700 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 74760
/proc/meminfo: memFree=128199796/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=269732 memory=186500 CPUtime=281.52 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 52128 0 0 0 28143 9 0 0 20 0 1 0 68694053 276205568 46625 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 67433 46625 2688 2575 0 64340 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 269732 KiB
Current children cumulated memory: 186500 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 74806
/proc/meminfo: memFree=128173936/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=284092 memory=202500 CPUtime=341.37 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 53569 0 0 0 34127 10 0 0 20 0 1 0 68694053 290910208 50625 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 71023 50625 2688 2575 0 67930 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 284092 KiB
Current children cumulated memory: 202500 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 74852
/proc/meminfo: memFree=128375312/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=304216 memory=260228 CPUtime=401.2 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 54751 0 0 0 40110 10 0 0 20 0 1 0 68694053 311517184 65057 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 76054 65057 2688 2575 0 72961 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 304216 KiB
Current children cumulated memory: 260228 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 74856
/proc/meminfo: memFree=128213736/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=327268 memory=315396 CPUtime=461.04 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 56626 0 0 0 46094 10 0 0 20 0 1 0 68694053 335122432 78849 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 81817 78849 2688 2575 0 78724 0
Current children cumulated CPU time: 461.04 s
################
# More data... #
################
/proc/loadavg: 4.11 4.13 4.10 5/263 74917
/proc/meminfo: memFree=128037756/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=402616 memory=334068 CPUtime=760.13 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 63834 0 0 0 76000 13 0 0 20 0 1 0 68694053 412278784 83517 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 100654 83517 2688 2575 0 97561 0
Current children cumulated CPU time: 760.13 s
Current children cumulated vsize: 402616 KiB
Current children cumulated memory: 334068 KiB
[startup+822.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 74919
/proc/meminfo: memFree=127974016/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=415180 memory=336500 CPUtime=819.94 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 64562 0 0 0 81981 13 0 0 20 0 1 0 68694053 425144320 84125 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 103795 84125 2688 2575 0 100702 0
Current children cumulated CPU time: 819.94 s
Current children cumulated vsize: 415180 KiB
Current children cumulated memory: 336500 KiB
[startup+882.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/262 74921
/proc/meminfo: memFree=127857972/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=426820 memory=341364 CPUtime=879.75 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 65799 0 0 0 87962 13 0 0 20 0 1 0 68694053 437063680 85341 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 106705 85341 2688 2575 0 103612 0
Current children cumulated CPU time: 879.75 s
Current children cumulated vsize: 426820 KiB
Current children cumulated memory: 341364 KiB
[startup+942.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 74923
/proc/meminfo: memFree=127724868/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=430520 memory=342772 CPUtime=939.57 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 66147 0 0 0 93944 13 0 0 20 0 1 0 68694053 440852480 85693 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 107630 85693 2688 2575 0 104537 0
Current children cumulated CPU time: 939.57 s
Current children cumulated vsize: 430520 KiB
Current children cumulated memory: 342772 KiB
[startup+1002.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/262 74925
/proc/meminfo: memFree=127574292/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=438996 memory=345972 CPUtime=999.38 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 67087 0 0 0 99925 13 0 0 20 0 1 0 68694053 449531904 86493 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 109749 86493 2688 2575 0 106656 0
Current children cumulated CPU time: 999.38 s
Current children cumulated vsize: 438996 KiB
Current children cumulated memory: 345972 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 74927
/proc/meminfo: memFree=127470568/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=440584 memory=346456 CPUtime=1059.2 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 68982 0 0 0 105906 14 0 0 20 0 1 0 68694053 451158016 86614 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110146 86614 2688 2575 0 107053 0
Current children cumulated CPU time: 1059.2 s
Current children cumulated vsize: 440584 KiB
Current children cumulated memory: 346456 KiB
[startup+1101 s]
# the end of solver process 74340 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1097.64 s, system=0.152513 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1075.2 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 74927
/proc/meminfo: memFree=127443840/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=440736 memory=346456 CPUtime=1072.06 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 68988 0 0 0 107192 14 0 0 20 0 1 0 68694053 451313664 86614 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110184 86614 2688 2575 0 107091 0
Current children cumulated CPU time: 1072.06 s
Current children cumulated vsize: 440736 KiB
Current children cumulated memory: 346456 KiB
[startup+1088 s]*
/proc/loadavg: 4.11 4.11 4.09 5/262 74927
/proc/meminfo: memFree=127408340/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=441304 memory=346968 CPUtime=1084.82 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69132 0 0 0 108468 14 0 0 20 0 1 0 68694053 451895296 86742 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110326 86742 2688 2575 0 107233 0
Current children cumulated CPU time: 1084.82 s
Current children cumulated vsize: 441304 KiB
Current children cumulated memory: 346968 KiB
[startup+1094.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 74928
/proc/meminfo: memFree=127406576/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1091.19 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69811 0 0 0 109105 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1091.19 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1097.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 74928
/proc/meminfo: memFree=127377476/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1094.38 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109424 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1094.38 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1099.2 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 74928
/proc/meminfo: memFree=127373696/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1095.98 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109584 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1095.98 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1100 s]*
/proc/loadavg: 4.09 4.10 4.09 5/262 74928
/proc/meminfo: memFree=127373696/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1096.78 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109664 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1096.78 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1100.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 74928
/proc/meminfo: memFree=127373696/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1097.18 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109704 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1097.18 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1100.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 74928
/proc/meminfo: memFree=127373696/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1097.58 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109744 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1097.58 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
[startup+1100.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 74928
/proc/meminfo: memFree=127373696/131250000 swapFree=33010416/33010684
[pid=74340] ppid=74337 vsize=442804 memory=348584 CPUtime=1097.67 cores=1,3
/proc/74340/stat : 74340 (pbsolver) R 74337 74340 73823 0 -1 4194304 69812 0 0 0 109753 14 0 0 20 0 1 0 68694053 453431296 87146 18446744073709551615 4198400 14743177 140733723607312 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 49545216 140733723609482 140733723609578 140733723609578 140733723615180 0
/proc/74340/statm: 110701 87146 2688 2575 0 107608 0
Current children cumulated CPU time: 1097.67 s
Current children cumulated vsize: 442804 KiB
Current children cumulated memory: 348584 KiB
Child status: 0
Real time (s): 1101
CPU time (s): 1097.79
CPU user time (s): 1097.64
CPU system time (s): 0.152513
CPU usage (%): 99.7084
Max. virtual memory (cumulated for all children) (KiB): 443992
Max. memory (cumulated for all children) (KiB): 349656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1097.64
system time used= 0.152513
maximum resident set size= 353524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69831
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= 42
involuntary context switches= 1112
# summary of solver processes directly reported to runsolver:
# pid: 74340
# total CPU time (s): 1097.79
# total CPU user time (s): 1097.64
# total CPU system time (s): 0.152513
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.22378 second user time and 4.26774 second system time
The end
Begin job on nodeC027 at 2025-07-03 10:09:02 IDJOB=4512443 IDBENCH=161280 IDSOLVER=3366 FILE ID=nodeC027/4512443-1751530142 RUNJOBID= nodeC027-1751526542-73835 SLURM_JOB_ID= 9598657 Free space on /tmp= 431128 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f4-DataDisplay_2_order9.seq-A-3-2-irabcde.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512443-1751530142/watcher-4512443-1751530142 -o /tmp/evaluation-result-4512443-1751530142/solver-4512443-1751530142 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751526542-73835 --watchdog 3760 pbsolver -f HOME/instance-4512443-1751530142.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= a5dff9c93e7230bd45df778b178a2583 RANDOM SEED=1829715645 nodeC027 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.642 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.29 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.656 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.29 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.266 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.29 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 : 3522.012 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.29 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.604 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.29 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 : 3700.000 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.29 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 : 3600.810 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.29 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.640 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.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 127473624 kB MemAvailable: 127712824 kB Buffers: 2488 kB Cached: 1039036 kB SwapCached: 12 kB Active: 2592448 kB Inactive: 498516 kB Active(anon): 2064704 kB Inactive(anon): 2792 kB Active(file): 527744 kB Inactive(file): 495724 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30748 kB Writeback: 32 kB AnonPages: 2051956 kB Mapped: 136648 kB Shmem: 18056 kB KReclaimable: 109540 kB Slab: 198216 kB SReclaimable: 109540 kB SUnreclaim: 88676 kB KernelStack: 4224 kB PageTables: 6904 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 2435820 kB VmallocTotal: 34359738367 kB VmallocUsed: 150504 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1705984 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431124 MiB End job on nodeC027 at 2025-07-03 10:27:23