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 | 50769 | 20.5117 | 20.5664 |
| Name | PB24/normalized-PB07/OPT-LIN/submittedPB07/ aksoy/trarea_ac/normalized-fir09_trarea_ac.opb |
| MD5SUM | ec773b047bf21dab87650e27deaa6768 |
| 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 | 50769 |
| Best CPU time to get the best result obtained on this benchmark | 4.19641 |
| 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 | 3945 |
| Total number of constraints | 8604 |
| Number of constraints which are clauses | 8604 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 59 |
| Number of terms in the objective function | 1872 |
| Biggest coefficient in the objective function | 2110 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3036193 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2110 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3036193 |
| Number of bits of the biggest sum of numbers | 22 |
| 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-4497203-1751388061.opb>
0.00/0.01 c original problem has 3945 variables (3945 bin, 0 int, 0 cont) and 8604 constraints
0.00/0.01 c problem read in 0.016 seconds
0.00/0.03 o 3036193
0.00/0.03 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 3.036193e+06
0.00/0.03 c presolving:
0.00/0.04 c (round 1, fast) 1860 del vars, 3737 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3582 clqs
0.00/0.05 c (round 2, fast) 1863 del vars, 4801 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3576 clqs
0.00/0.05 c (round 3, fast) 1877 del vars, 4818 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3548 clqs
0.00/0.05 c (round 4, fast) 1877 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 3548 clqs
0.00/0.05 c (0.1s) running MILP presolver
0.00/0.05 c (0.1s) MILP presolver found nothing
0.00/0.06 c (round 5, exhaustive) 1877 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.00/0.06 c (round 6, fast) 1882 del vars, 4832 del conss, 0 add conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.00/0.07 c (round 7, exhaustive) 1882 del vars, 5563 del conss, 104 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3431 upgd conss, 0 impls, 3548 clqs
0.00/0.07 c (round 8, exhaustive) 1882 del vars, 5563 del conss, 104 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3548 clqs
0.00/0.08 c (round 9, exhaustive) 1882 del vars, 6345 del conss, 198 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3548 clqs
0.00/0.10 c (0.1s) probing: 51/2063 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.10/0.10 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 773.06) (symcode time: 0.00)
0.10/0.10 c dynamic symmetry handling statistics:
0.10/0.10 c orbitopal reduction: no components
0.10/0.10 c orbital reduction: no components
0.10/0.10 c lexicographic reduction: no permutations
0.10/0.10 c handled 2 out of 2 symmetry components
0.10/0.10 c (round 10, exhaustive) 1882 del vars, 6345 del conss, 200 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3772 upgd conss, 0 impls, 3550 clqs
0.10/0.11 c (round 11, exhaustive) 1882 del vars, 6345 del conss, 200 add conss, 5 chg bounds, 0 chg sides, 5 chg coeffs, 3774 upgd conss, 0 impls, 3550 clqs
0.10/0.11 c presolving (12 rounds: 12 fast, 7 medium, 7 exhaustive):
0.10/0.11 c 1882 deleted vars, 6345 deleted constraints, 200 added constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 5 changed coefficients
0.10/0.11 c 0 implications, 3550 cliques
0.10/0.11 c presolved problem has 2063 variables (2063 bin, 0 int, 0 cont) and 2459 constraints
0.10/0.11 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.10/0.11 c 2235 constraints of type <setppc>
0.10/0.11 c 198 constraints of type <and>
0.10/0.11 c 26 constraints of type <logicor>
0.10/0.11 c transformed objective value is always integral (scale: 1)
0.10/0.11 c Presolving Time: 0.09
0.10/0.11 c
0.10/0.11 c - non default parameters ----------------------------------------------------------------------
0.10/0.11 c
0.10/0.11 c # SCIP version 10.0.0
0.10/0.11 c
0.10/0.11 c # maximal time in seconds to run
0.10/0.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.10/0.11 c limits/time = 3596.998013
0.10/0.11 c
0.10/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.10/0.11 c limits/memory = 27900
0.10/0.11 c
0.10/0.11 c # belongs reading time to solving time?
0.10/0.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.10/0.11 c timing/reading = TRUE
0.10/0.11 c
0.10/0.11 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.10/0.11 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.10/0.11 c reading/opbreader/maxintsize = 47
0.10/0.11 c
0.10/0.11 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.10/0.11 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.10/0.11 c propagating/genvbounds/timingmask = 0
0.10/0.11 c
0.10/0.11 c -----------------------------------------------------------------------------------------------
0.10/0.11 c
0.10/0.12 o 3028228
0.10/0.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.10/0.12 c t 0.1s| 1 | 0 | 0 | - | trivial| 0 |2063 |2459 | 0 | 0 | 0 | 0 | 0 | 2.802000e+03 | 3.028228e+06 | Large | unknown
0.10/0.13 o 64176
0.10/0.13 c p 0.1s| 1 | 0 | 0 | - | clique| 0 |2063 |2459 |2657 | 0 | 0 | 0 | 0 | 2.802000e+03 | 6.417600e+04 |2190.36%| unknown
0.10/0.15 o 56383
0.10/0.15 c p 0.2s| 1 | 0 | 0 | - | vbounds| 0 |2063 |2459 |2657 | 0 | 0 | 0 | 0 | 2.802000e+03 | 5.638300e+04 |1912.24%| unknown
0.10/0.17 o 54505
0.10/0.17 c p 0.2s| 1 | 0 | 14 | - | vbounds| 0 |2063 |2464 |2657 | 0 | 0 | 5 | 0 | 2.802000e+03 | 5.450500e+04 |1845.22%| unknown
0.20/0.21 c 0.2s| 1 | 0 | 643 | - | 51M | 0 |2063 |2464 |2657 | 0 | 0 | 5 | 0 | 4.951990e+04 | 5.450500e+04 | 10.07%| unknown
0.99/1.00 c 1.0s| 1 | 0 | 724 | - | 56M | 0 |2063 |2464 |2660 | 3 | 1 | 5 | 0 | 4.979315e+04 | 5.450500e+04 | 9.46%| unknown
1.68/1.71 c 1.7s| 1 | 0 | 805 | - | 62M | 0 |2063 |2464 |2661 | 4 | 2 | 5 | 0 | 4.989514e+04 | 5.450500e+04 | 9.24%| unknown
1.78/1.82 c 1.8s| 1 | 0 | 866 | - | 62M | 0 |2063 |2464 |2663 | 6 | 3 | 5 | 0 | 4.992182e+04 | 5.450500e+04 | 9.18%| unknown
1.88/1.93 c 1.9s| 1 | 0 | 946 | - | 62M | 0 |2063 |2464 |2666 | 9 | 4 | 5 | 0 | 4.999851e+04 | 5.450500e+04 | 9.01%| unknown
1.99/2.04 c 2.0s| 1 | 0 | 1008 | - | 63M | 0 |2063 |2464 |2668 | 11 | 5 | 5 | 0 | 5.002746e+04 | 5.450500e+04 | 8.95%| unknown
2.09/2.16 c 2.2s| 1 | 0 | 1052 | - | 63M | 0 |2063 |2464 |2671 | 14 | 6 | 5 | 0 | 5.003715e+04 | 5.450500e+04 | 8.93%| unknown
2.18/2.29 c 2.3s| 1 | 0 | 1117 | - | 64M | 0 |2063 |2464 |2674 | 17 | 7 | 5 | 0 | 5.005616e+04 | 5.450500e+04 | 8.89%| unknown
2.38/2.41 c 2.4s| 1 | 0 | 1164 | - | 64M | 0 |2063 |2464 |2677 | 20 | 8 | 5 | 0 | 5.007162e+04 | 5.450500e+04 | 8.85%| unknown
2.48/2.52 c 2.5s| 1 | 0 | 1190 | - | 64M | 0 |2063 |2464 |2679 | 22 | 9 | 5 | 0 | 5.007827e+04 | 5.450500e+04 | 8.84%| unknown
2.58/2.64 c 2.6s| 1 | 0 | 1235 | - | 64M | 0 |2063 |2464 |2681 | 24 | 10 | 5 | 0 | 5.009028e+04 | 5.450500e+04 | 8.81%| unknown
2.58/2.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.65 c 2.7s| 1 | 0 | 1289 | - | 65M | 0 |2063 |2464 |2683 | 26 | 11 | 5 | 0 | 5.010256e+04 | 5.450500e+04 | 8.79%| unknown
2.58/2.67 c 2.7s| 1 | 0 | 1351 | - | 65M | 0 |2063 |2464 |2685 | 28 | 12 | 5 | 0 | 5.013248e+04 | 5.450500e+04 | 8.72%| unknown
2.58/2.69 c 2.7s| 1 | 0 | 1381 | - | 65M | 0 |2063 |2464 |2688 | 31 | 13 | 5 | 0 | 5.014990e+04 | 5.450500e+04 | 8.68%| unknown
2.68/2.70 c 2.7s| 1 | 0 | 1408 | - | 66M | 0 |2063 |2464 |2691 | 34 | 14 | 5 | 0 | 5.015690e+04 | 5.450500e+04 | 8.67%| unknown
2.68/2.72 c 2.7s| 1 | 0 | 1450 | - | 66M | 0 |2063 |2464 |2694 | 37 | 15 | 5 | 0 | 5.016210e+04 | 5.450500e+04 | 8.66%| unknown
2.68/2.74 c 2.7s| 1 | 0 | 1476 | - | 67M | 0 |2063 |2464 |2693 | 38 | 16 | 5 | 0 | 5.016723e+04 | 5.450500e+04 | 8.65%| unknown
2.68/2.76 c 2.8s| 1 | 0 | 1501 | - | 67M | 0 |2063 |2464 |2694 | 39 | 17 | 5 | 0 | 5.017015e+04 | 5.450500e+04 | 8.64%| unknown
2.68/2.78 c 2.8s| 1 | 0 | 1535 | - | 67M | 0 |2063 |2464 |2696 | 41 | 18 | 5 | 0 | 5.017341e+04 | 5.450500e+04 | 8.63%| unknown
2.78/2.80 c 2.8s| 1 | 0 | 1549 | - | 67M | 0 |2063 |2464 |2697 | 42 | 19 | 5 | 0 | 5.017362e+04 | 5.450500e+04 | 8.63%| unknown
2.78/2.82 c 2.8s| 1 | 0 | 1598 | - | 68M | 0 |2063 |2464 |2698 | 43 | 20 | 5 | 0 | 5.017889e+04 | 5.450500e+04 | 8.62%| unknown
2.98/3.01 o 53551
2.98/3.01 c d 3.0s| 1 | 0 | 3215 | - |farkasdi| 0 |2063 |2464 |2698 | 0 | 21 | 5 | 0 | 5.017889e+04 | 5.355100e+04 | 6.72%| unknown
2.98/3.05 o 50995
2.98/3.05 c o 3.1s| 1 | 0 | 3930 | - |feaspump| 0 |2063 |2464 |2698 | 43 | 21 | 5 | 0 | 5.017889e+04 | 5.099500e+04 | 1.63%| unknown
3.09/3.13 o 50878
3.09/3.13 c L 3.1s| 1 | 0 | 4075 | - | rens| 0 |2063 |2469 |2698 | 43 | 21 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.09/3.15 c 3.2s| 1 | 0 | 4075 | - | 69M | 0 |2063 |2469 |2698 | 43 | 21 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.09/3.16 c 3.2s| 1 | 0 | 4075 | - | 69M | 0 |2063 |2469 |1449 | 43 | 21 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.09/3.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.09/3.17 c 3.2s| 1 | 0 | 4075 | - | 69M | 0 |2063 |1338 |1449 | 43 | 22 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.09/3.17 c 3.2s| 1 | 0 | 4075 | - | 69M | 0 |2063 | 921 |1449 | 43 | 22 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.09/3.18 c (run 1, node 1) restarting after 1321 global fixings of integer variables
3.09/3.18 c
3.09/3.18 c (restart) converted 40 cuts from the global cut pool into linear constraints
3.09/3.18 c
3.09/3.19 c presolving:
3.09/3.19 c (round 1, fast) 1338 del vars, 17 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1100 clqs
3.18/3.20 c (round 2, fast) 1339 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1099 clqs
3.18/3.20 c (round 3, medium) 1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 0 upgd conss, 0 impls, 1094 clqs
3.18/3.20 c (round 4, exhaustive) 1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 375 chg coeffs, 40 upgd conss, 0 impls, 1094 clqs
3.18/3.22 c (round 5, exhaustive) 1344 del vars, 23 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 388 chg coeffs, 40 upgd conss, 0 impls, 1094 clqs
3.18/3.22 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
3.18/3.22 c 1344 deleted vars, 23 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 392 changed coefficients
3.18/3.22 c 0 implications, 1094 cliques
3.18/3.22 c presolved problem has 719 variables (719 bin, 0 int, 0 cont) and 938 constraints
3.18/3.22 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
3.18/3.22 c 39 constraints of type <knapsack>
3.18/3.22 c 799 constraints of type <setppc>
3.18/3.22 c 64 constraints of type <and>
3.18/3.22 c 36 constraints of type <logicor>
3.18/3.22 c transformed objective value is always integral (scale: 1)
3.18/3.22 c Presolving Time: 0.12
3.18/3.23 c transformed 5/9 original solutions to the transformed problem space
3.18/3.23 c
3.18/3.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.18/3.25 c 3.3s| 1 | 0 | 4692 | - | 70M | 0 | 719 | 938 | 992 | 0 | 0 | 10 | 0 | 5.018936e+04 | 5.087800e+04 | 1.37%| unknown
3.18/3.26 c 3.3s| 1 | 0 | 4692 | - | 70M | 0 | 719 | 938 | 946 | 0 | 0 | 10 | 0 | 5.018936e+04 | 5.087800e+04 | 1.37%| unknown
3.48/3.53 c 3.5s| 1 | 0 | 4725 | - | 81M | 0 | 719 | 892 | 947 | 2 | 1 | 10 | 0 | 5.020097e+04 | 5.087800e+04 | 1.35%| unknown
3.48/3.53 c 3.5s| 1 | 0 | 4725 | - | 81M | 0 | 719 | 892 | 941 | 2 | 1 | 10 | 0 | 5.020097e+04 | 5.087800e+04 | 1.35%| unknown
3.68/3.78 c 3.8s| 1 | 0 | 4780 | - | 95M | 0 | 719 | 885 | 942 | 3 | 2 | 10 | 0 | 5.021208e+04 | 5.087800e+04 | 1.33%| unknown
3.68/3.78 c 3.8s| 1 | 0 | 4780 | - | 95M | 0 | 719 | 885 | 937 | 3 | 2 | 10 | 0 | 5.021208e+04 | 5.087800e+04 | 1.33%| unknown
3.99/4.02 c 4.0s| 1 | 0 | 4852 | - | 105M | 0 | 719 | 881 | 939 | 5 | 3 | 10 | 0 | 5.023050e+04 | 5.087800e+04 | 1.29%| unknown
3.99/4.02 c 4.0s| 1 | 0 | 4852 | - | 105M | 0 | 719 | 881 | 929 | 5 | 3 | 10 | 0 | 5.023050e+04 | 5.087800e+04 | 1.29%| unknown
4.18/4.24 c 4.2s| 1 | 0 | 4886 | - | 115M | 0 | 719 | 871 | 931 | 7 | 4 | 10 | 0 | 5.023606e+04 | 5.087800e+04 | 1.28%| unknown
4.37/4.44 c 4.4s| 1 | 0 | 4928 | - | 121M | 0 | 719 | 871 | 932 | 8 | 5 | 10 | 0 | 5.023905e+04 | 5.087800e+04 | 1.27%| unknown
4.37/4.44 c 4.4s| 1 | 0 | 4928 | - | 121M | 0 | 719 | 871 | 931 | 8 | 5 | 10 | 0 | 5.023905e+04 | 5.087800e+04 | 1.27%| unknown
4.58/4.66 c 4.7s| 1 | 0 | 4987 | - | 125M | 0 | 719 | 871 | 933 | 10 | 6 | 10 | 0 | 5.024490e+04 | 5.087800e+04 | 1.26%| unknown
4.58/4.66 c 4.7s| 1 | 0 | 4987 | - | 125M | 0 | 719 | 871 | 933 | 10 | 6 | 10 | 0 | 5.024490e+04 | 5.087800e+04 | 1.26%| unknown
4.78/4.88 c 4.9s| 1 | 0 | 5060 | - | 132M | 0 | 719 | 871 | 934 | 11 | 7 | 10 | 0 | 5.024929e+04 | 5.087800e+04 | 1.25%| unknown
4.78/4.88 c 4.9s| 1 | 0 | 5060 | - | 132M | 0 | 719 | 871 | 931 | 11 | 7 | 10 | 0 | 5.024929e+04 | 5.087800e+04 | 1.25%| unknown
5.08/5.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.08/5.11 c 5.1s| 1 | 0 | 5111 | - | 147M | 0 | 719 | 868 | 933 | 13 | 8 | 10 | 0 | 5.025299e+04 | 5.087800e+04 | 1.24%| unknown
5.28/5.33 c 5.3s| 1 | 0 | 5171 | - | 150M | 0 | 719 | 868 | 935 | 15 | 9 | 10 | 0 | 5.025569e+04 | 5.087800e+04 | 1.24%| unknown
5.28/5.34 c 5.3s| 1 | 0 | 5171 | - | 150M | 0 | 719 | 868 | 933 | 15 | 9 | 10 | 0 | 5.025569e+04 | 5.087800e+04 | 1.24%| unknown
5.48/5.57 c 5.6s| 1 | 0 | 5228 | - | 164M | 0 | 719 | 867 | 935 | 17 | 10 | 10 | 0 | 5.025725e+04 | 5.087800e+04 | 1.24%| unknown
5.58/5.62 c 5.6s| 1 | 0 | 5253 | - | 164M | 0 | 719 | 867 | 937 | 19 | 11 | 10 | 0 | 5.025760e+04 | 5.087800e+04 | 1.23%| unknown
5.58/5.67 c 5.7s| 1 | 0 | 5287 | - | 164M | 0 | 719 | 867 | 926 | 21 | 12 | 10 | 0 | 5.025800e+04 | 5.087800e+04 | 1.23%| unknown
5.68/5.73 c 5.7s| 1 | 0 | 5309 | - | 164M | 0 | 719 | 867 | 928 | 23 | 13 | 10 | 0 | 5.025816e+04 | 5.087800e+04 | 1.23%| unknown
5.68/5.79 c 5.8s| 1 | 0 | 5358 | - | 164M | 0 | 719 | 867 | 931 | 26 | 14 | 10 | 0 | 5.025934e+04 | 5.087800e+04 | 1.23%| unknown
5.78/5.84 c 5.8s| 1 | 0 | 5374 | - | 164M | 0 | 719 | 867 | 932 | 27 | 15 | 10 | 0 | 5.025949e+04 | 5.087800e+04 | 1.23%| unknown
5.78/5.89 c 5.9s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 867 | 933 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.78/5.90 c 5.9s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 867 | 930 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.88/5.90 c 5.9s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 849 | 930 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.88/5.96 c 6.0s| 1 | 0 | 5426 | - | 164M | 0 | 719 | 849 | 931 | 29 | 17 | 10 | 0 | 5.026030e+04 | 5.087800e+04 | 1.23%| unknown
5.98/6.01 c 6.0s| 1 | 0 | 5432 | - | 164M | 0 | 719 | 849 | 924 | 30 | 18 | 10 | 0 | 5.026032e+04 | 5.087800e+04 | 1.23%| unknown
5.98/6.07 c 6.1s| 1 | 0 | 5453 | - | 164M | 0 | 719 | 849 | 926 | 32 | 19 | 10 | 0 | 5.026066e+04 | 5.087800e+04 | 1.23%| unknown
6.08/6.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.08/6.12 c 6.1s| 1 | 0 | 5473 | - | 164M | 0 | 719 | 849 | 928 | 34 | 20 | 10 | 0 | 5.026101e+04 | 5.087800e+04 | 1.23%| unknown
6.08/6.17 c 6.2s| 1 | 0 | 5475 | - | 164M | 0 | 719 | 849 | 929 | 35 | 21 | 10 | 0 | 5.026103e+04 | 5.087800e+04 | 1.23%| unknown
6.17/6.23 c 6.2s| 1 | 0 | 5502 | - | 164M | 0 | 719 | 849 | 931 | 37 | 22 | 10 | 0 | 5.026140e+04 | 5.087800e+04 | 1.23%| unknown
6.17/6.28 c 6.3s| 1 | 0 | 5513 | - | 164M | 0 | 719 | 849 | 933 | 39 | 23 | 10 | 0 | 5.026146e+04 | 5.087800e+04 | 1.23%| unknown
6.27/6.34 c 6.3s| 1 | 0 | 5523 | - | 164M | 0 | 719 | 849 | 929 | 40 | 24 | 10 | 0 | 5.026148e+04 | 5.087800e+04 | 1.23%| unknown
6.27/6.39 c 6.4s| 1 | 0 | 5524 | - | 164M | 0 | 719 | 849 | 930 | 41 | 25 | 10 | 0 | 5.026148e+04 | 5.087800e+04 | 1.23%| unknown
6.37/6.45 c 6.5s| 1 | 0 | 5526 | - | 164M | 0 | 719 | 849 | 931 | 42 | 26 | 10 | 0 | 5.026149e+04 | 5.087800e+04 | 1.23%| unknown
6.47/6.51 c 6.5s| 1 | 0 | 5531 | - | 164M | 0 | 719 | 849 | 932 | 43 | 27 | 10 | 0 | 5.026151e+04 | 5.087800e+04 | 1.23%| unknown
6.57/6.64 o 50806
6.57/6.64 c L 6.6s| 1 | 0 | 6420 | - | rens| 0 | 719 | 850 | 932 | 43 | 27 | 11 | 0 | 5.026151e+04 | 5.080600e+04 | 1.08%| unknown
6.57/6.64 c (run 2, node 1) restarting after 76 global fixings of integer variables
6.57/6.64 c
6.57/6.64 c (restart) converted 39 cuts from the global cut pool into linear constraints
6.57/6.64 c
6.67/6.72 c presolving:
6.67/6.73 c (round 1, fast) 85 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 0 upgd conss, 0 impls, 944 clqs
6.67/6.74 c (round 2, medium) 94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 67 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
6.67/6.75 c (round 3, exhaustive) 94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 74 chg coeffs, 0 upgd conss, 0 impls, 935 clqs
6.67/6.75 c (round 4, exhaustive) 94 del vars, 18 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 75 chg coeffs, 17 upgd conss, 0 impls, 935 clqs
6.67/6.76 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
6.67/6.76 c 94 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 78 changed coefficients
6.67/6.76 c 0 implications, 935 cliques
6.67/6.76 c presolved problem has 625 variables (625 bin, 0 int, 0 cont) and 871 constraints
6.67/6.76 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
6.67/6.76 c 56 constraints of type <knapsack>
6.67/6.76 c 703 constraints of type <setppc>
6.67/6.76 c 53 constraints of type <and>
6.67/6.76 c 22 constraints of type <linear>
6.67/6.76 c 37 constraints of type <logicor>
6.67/6.76 c transformed objective value is always integral (scale: 1)
6.67/6.76 c Presolving Time: 0.17
6.67/6.76 c transformed 5/11 original solutions to the transformed problem space
6.67/6.76 c
6.77/6.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.77/6.80 c 6.8s| 1 | 0 | 7132 | - | 156M | 0 | 625 | 871 | 913 | 0 | 0 | 11 | 0 | 5.026198e+04 | 5.080600e+04 | 1.08%| unknown
6.77/6.81 c 6.8s| 1 | 0 | 7132 | - | 156M | 0 | 625 | 871 | 887 | 0 | 0 | 11 | 0 | 5.026198e+04 | 5.080600e+04 | 1.08%| unknown
7.07/7.14 c 7.1s| 1 | 0 | 7177 | - | 157M | 0 | 625 | 845 | 886 | 2 | 1 | 11 | 0 | 5.026390e+04 | 5.080600e+04 | 1.08%| unknown
7.07/7.15 c 7.1s| 1 | 0 | 7177 | - | 157M | 0 | 625 | 845 | 884 | 2 | 1 | 11 | 0 | 5.026390e+04 | 5.080600e+04 | 1.08%| unknown
7.37/7.41 c 7.4s| 1 | 0 | 7246 | - | 157M | 0 | 625 | 840 | 886 | 4 | 2 | 11 | 0 | 5.026581e+04 | 5.080600e+04 | 1.07%| unknown
7.66/7.71 c 7.7s| 1 | 0 | 7288 | - | 156M | 0 | 625 | 840 | 887 | 5 | 3 | 11 | 0 | 5.026636e+04 | 5.080600e+04 | 1.07%| unknown
7.97/8.03 c 8.0s| 1 | 0 | 7330 | - | 160M | 0 | 625 | 840 | 888 | 6 | 4 | 11 | 0 | 5.026756e+04 | 5.080600e+04 | 1.07%| unknown
7.97/8.03 c 8.0s| 1 | 0 | 7330 | - | 160M | 0 | 625 | 840 | 886 | 6 | 4 | 11 | 0 | 5.026756e+04 | 5.080600e+04 | 1.07%| unknown
8.26/8.34 c 8.3s| 1 | 0 | 7368 | - | 159M | 0 | 625 | 838 | 887 | 7 | 5 | 11 | 0 | 5.026857e+04 | 5.080600e+04 | 1.07%| unknown
8.56/8.64 c 8.6s| 1 | 0 | 7431 | - | 160M | 0 | 625 | 838 | 888 | 8 | 6 | 11 | 0 | 5.027189e+04 | 5.080600e+04 | 1.06%| unknown
8.86/8.91 c 8.9s| 1 | 0 | 7499 | - | 160M | 0 | 625 | 838 | 889 | 9 | 7 | 11 | 0 | 5.027555e+04 | 5.080600e+04 | 1.06%| unknown
8.86/8.91 c 8.9s| 1 | 0 | 7499 | - | 160M | 0 | 625 | 838 | 885 | 9 | 7 | 11 | 0 | 5.027555e+04 | 5.080600e+04 | 1.06%| unknown
9.16/9.20 c 9.2s| 1 | 0 | 7543 | - | 165M | 0 | 625 | 834 | 887 | 11 | 8 | 11 | 0 | 5.027758e+04 | 5.080600e+04 | 1.05%| unknown
9.47/9.50 c 9.5s| 1 | 0 | 7613 | - | 167M | 0 | 625 | 834 | 888 | 12 | 9 | 11 | 0 | 5.028045e+04 | 5.080600e+04 | 1.05%| unknown
9.67/9.79 c 9.8s| 1 | 0 | 7683 | - | 168M | 0 | 625 | 834 | 890 | 14 | 10 | 11 | 0 | 5.028184e+04 | 5.080600e+04 | 1.04%| unknown
9.67/9.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.67/9.79 c 9.8s| 1 | 0 | 7683 | - | 168M | 0 | 625 | 834 | 889 | 14 | 10 | 11 | 0 | 5.028184e+04 | 5.080600e+04 | 1.04%| unknown
9.87/9.90 c 9.9s| 1 | 0 | 7740 | - | 169M | 0 | 625 | 833 | 892 | 17 | 11 | 11 | 0 | 5.028269e+04 | 5.080600e+04 | 1.04%| unknown
9.87/9.90 c 9.9s| 1 | 0 | 7740 | - | 169M | 0 | 625 | 833 | 890 | 17 | 11 | 11 | 0 | 5.028269e+04 | 5.080600e+04 | 1.04%| unknown
10.07/10.17 c 10.2s| 1 | 0 | 8619 | - | 169M | 0 | 625 | 831 | 890 | 17 | 11 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.07/10.18 c 10.2s| 1 | 0 | 8619 | - | 169M | 0 | 625 | 831 | 872 | 17 | 11 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.17/10.26 c 10.3s| 1 | 0 | 8681 | - | 169M | 0 | 625 | 814 | 873 | 18 | 12 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.17/10.27 c 10.3s| 1 | 0 | 8681 | - | 169M | 0 | 625 | 814 | 838 | 18 | 12 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.17/10.27 c 10.3s| 1 | 0 | 8697 | - | 169M | 0 | 625 | 814 | 839 | 19 | 13 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.17/10.27 c 10.3s| 1 | 0 | 8697 | - | 169M | 0 | 625 | 778 | 839 | 19 | 13 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.27/10.36 c 10.4s| 1 | 0 | 8718 | - | 169M | 0 | 625 | 778 | 841 | 21 | 14 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.27/10.36 c 10.4s| 1 | 0 | 8721 | - | 169M | 0 | 625 | 778 | 842 | 22 | 15 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.27/10.37 c 10.4s| 1 | 0 | 8721 | - | 169M | 0 | 625 | 778 | 841 | 22 | 15 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.27/10.37 c (run 3, node 1) restarting after 78 global fixings of integer variables
10.27/10.37 c
10.27/10.37 c (restart) converted 22 cuts from the global cut pool into linear constraints
10.27/10.37 c
10.36/10.44 c presolving:
10.36/10.45 c (round 1, fast) 86 del vars, 10 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 0 upgd conss, 0 impls, 777 clqs
10.36/10.46 c (round 2, medium) 90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 111 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
10.36/10.47 c (round 3, exhaustive) 90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 117 chg coeffs, 0 upgd conss, 0 impls, 773 clqs
10.36/10.47 c (round 4, exhaustive) 90 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 119 chg coeffs, 12 upgd conss, 0 impls, 773 clqs
10.36/10.48 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
10.36/10.48 c 90 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 122 changed coefficients
10.36/10.48 c 0 implications, 773 cliques
10.36/10.48 c presolved problem has 535 variables (535 bin, 0 int, 0 cont) and 785 constraints
10.36/10.48 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
10.36/10.48 c 68 constraints of type <knapsack>
10.36/10.48 c 600 constraints of type <setppc>
10.36/10.48 c 44 constraints of type <and>
10.36/10.48 c 32 constraints of type <linear>
10.36/10.48 c 41 constraints of type <logicor>
10.36/10.48 c transformed objective value is always integral (scale: 1)
10.36/10.48 c Presolving Time: 0.20
10.36/10.48 c transformed 5/13 original solutions to the transformed problem space
10.36/10.48 c
10.46/10.51 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.46/10.51 c 10.5s| 1 | 0 | 9413 | - | 163M | 0 | 535 | 785 | 814 | 0 | 0 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.46/10.52 c 10.5s| 1 | 0 | 9413 | - | 163M | 0 | 535 | 785 | 801 | 0 | 0 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.66/10.72 c 10.7s| 1 | 0 | 9440 | - | 164M | 0 | 535 | 773 | 803 | 2 | 1 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.66/10.73 c 10.7s| 1 | 0 | 9440 | - | 164M | 0 | 535 | 773 | 801 | 2 | 1 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.86/10.94 c 10.9s| 1 | 0 | 9480 | - | 164M | 0 | 535 | 771 | 803 | 4 | 2 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.86/10.94 c 10.9s| 1 | 0 | 9480 | - | 164M | 0 | 535 | 771 | 792 | 4 | 2 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.07/11.13 c 11.1s| 1 | 0 | 9516 | - | 167M | 0 | 535 | 760 | 793 | 5 | 3 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.07/11.13 c 11.1s| 1 | 0 | 9516 | - | 167M | 0 | 535 | 760 | 786 | 5 | 3 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.26/11.32 c 11.3s| 1 | 0 | 9547 | - | 169M | 0 | 535 | 753 | 788 | 7 | 4 | 22 | 9 | 5.036266e+04 | 5.080600e+04 | 0.88%| unknown
11.26/11.32 c 11.3s| 1 | 0 | 9547 | - | 169M | 0 | 535 | 753 | 782 | 7 | 4 | 22 | 9 | 5.036266e+04 | 5.080600e+04 | 0.88%| unknown
11.46/11.52 c 11.5s| 1 | 0 | 9585 | - | 171M | 0 | 535 | 748 | 783 | 8 | 5 | 22 | 9 | 5.036665e+04 | 5.080600e+04 | 0.87%| unknown
11.46/11.53 c 11.5s| 1 | 0 | 9585 | - | 171M | 0 | 535 | 748 | 781 | 8 | 5 | 22 | 9 | 5.036665e+04 | 5.080600e+04 | 0.87%| unknown
11.66/11.71 c 11.7s| 1 | 0 | 9644 | - | 172M | 0 | 535 | 747 | 783 | 10 | 6 | 22 | 9 | 5.037809e+04 | 5.080600e+04 | 0.85%| unknown
11.66/11.71 c 11.7s| 1 | 0 | 9644 | - | 172M | 0 | 535 | 747 | 776 | 10 | 6 | 22 | 9 | 5.037809e+04 | 5.080600e+04 | 0.85%| unknown
11.86/11.91 c 11.9s| 1 | 0 | 9723 | - | 174M | 0 | 535 | 740 | 778 | 12 | 7 | 22 | 9 | 5.038724e+04 | 5.080600e+04 | 0.83%| unknown
11.86/11.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.86/11.91 c 11.9s| 1 | 0 | 9723 | - | 174M | 0 | 535 | 740 | 775 | 12 | 7 | 22 | 9 | 5.038724e+04 | 5.080600e+04 | 0.83%| unknown
11.96/12.09 c 12.1s| 1 | 0 | 9739 | - | 175M | 0 | 535 | 737 | 776 | 13 | 8 | 22 | 9 | 5.038811e+04 | 5.080600e+04 | 0.83%| unknown
11.96/12.09 c 12.1s| 1 | 0 | 9739 | - | 175M | 0 | 535 | 737 | 775 | 13 | 8 | 22 | 9 | 5.038811e+04 | 5.080600e+04 | 0.83%| unknown
12.16/12.27 c 12.3s| 1 | 0 | 9780 | - | 177M | 0 | 535 | 736 | 776 | 14 | 9 | 22 | 9 | 5.039026e+04 | 5.080600e+04 | 0.83%| unknown
12.35/12.46 c 12.5s| 1 | 0 | 9800 | - | 187M | 0 | 535 | 736 | 777 | 15 | 10 | 22 | 9 | 5.039104e+04 | 5.080600e+04 | 0.82%| unknown
12.45/12.54 c 12.5s| 1 | 0 | 9858 | - | 187M | 0 | 535 | 736 | 779 | 17 | 11 | 22 | 9 | 5.039620e+04 | 5.080600e+04 | 0.81%| unknown
12.45/12.54 c 12.5s| 1 | 0 | 9858 | - | 187M | 0 | 535 | 736 | 775 | 17 | 11 | 22 | 9 | 5.039620e+04 | 5.080600e+04 | 0.81%| unknown
12.55/12.61 c 12.6s| 1 | 0 | 9878 | - | 187M | 0 | 535 | 732 | 776 | 18 | 12 | 22 | 9 | 5.039697e+04 | 5.080600e+04 | 0.81%| unknown
12.55/12.68 c 12.7s| 1 | 0 | 9902 | - | 187M | 0 | 535 | 732 | 707 | 19 | 13 | 22 | 9 | 5.039781e+04 | 5.080600e+04 | 0.81%| unknown
12.65/12.73 c 12.7s| 1 | 0 | 9911 | - | 187M | 0 | 535 | 732 | 708 | 20 | 14 | 22 | 9 | 5.039798e+04 | 5.080600e+04 | 0.81%| unknown
12.65/12.77 c 12.8s| 1 | 0 | 9927 | - | 187M | 0 | 535 | 732 | 709 | 21 | 15 | 22 | 9 | 5.039833e+04 | 5.080600e+04 | 0.81%| unknown
12.65/12.77 c 12.8s| 1 | 0 | 9927 | - | 187M | 0 | 535 | 732 | 708 | 21 | 15 | 22 | 9 | 5.039833e+04 | 5.080600e+04 | 0.81%| unknown
12.75/12.80 c 12.8s| 1 | 0 | 9945 | - | 187M | 0 | 535 | 731 | 711 | 24 | 16 | 22 | 9 | 5.039880e+04 | 5.080600e+04 | 0.81%| unknown
12.75/12.85 c 12.8s| 1 | 0 | 9960 | - | 187M | 0 | 535 | 731 | 712 | 25 | 17 | 22 | 9 | 5.039906e+04 | 5.080600e+04 | 0.81%| unknown
12.75/12.89 c 12.9s| 1 | 0 | 9999 | - | 187M | 0 | 535 | 731 | 714 | 27 | 18 | 22 | 9 | 5.040002e+04 | 5.080600e+04 | 0.81%| unknown
12.85/12.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.85/12.93 c 12.9s| 1 | 0 | 10023 | - | 187M | 0 | 535 | 731 | 706 | 28 | 19 | 22 | 9 | 5.040114e+04 | 5.080600e+04 | 0.80%| unknown
12.85/12.98 c 13.0s| 1 | 0 | 10046 | - | 187M | 0 | 535 | 731 | 707 | 29 | 20 | 22 | 9 | 5.040218e+04 | 5.080600e+04 | 0.80%| unknown
12.85/12.98 c 13.0s| 1 | 0 | 10046 | - | 187M | 0 | 535 | 731 | 704 | 29 | 20 | 22 | 9 | 5.040218e+04 | 5.080600e+04 | 0.80%| unknown
12.96/13.02 c 13.0s| 1 | 0 | 10067 | - | 187M | 0 | 535 | 728 | 705 | 30 | 21 | 22 | 9 | 5.040242e+04 | 5.080600e+04 | 0.80%| unknown
12.96/13.02 c 13.0s| 1 | 0 | 10067 | - | 187M | 0 | 535 | 714 | 705 | 30 | 21 | 22 | 9 | 5.040242e+04 | 5.080600e+04 | 0.80%| unknown
12.96/13.06 c 13.1s| 1 | 0 | 10087 | - | 187M | 0 | 535 | 714 | 706 | 31 | 22 | 22 | 9 | 5.040330e+04 | 5.080600e+04 | 0.80%| unknown
12.96/13.10 c 13.1s| 1 | 0 | 10098 | - | 187M | 0 | 535 | 714 | 707 | 32 | 23 | 22 | 9 | 5.040338e+04 | 5.080600e+04 | 0.80%| unknown
13.06/13.14 c 13.1s| 1 | 0 | 10100 | - | 187M | 0 | 535 | 714 | 708 | 33 | 24 | 22 | 9 | 5.040340e+04 | 5.080600e+04 | 0.80%| unknown
13.06/13.18 c 13.2s| 1 | 0 | 10114 | - | 187M | 0 | 535 | 714 | 705 | 34 | 25 | 22 | 9 | 5.040380e+04 | 5.080600e+04 | 0.80%| unknown
13.15/13.22 c 13.2s| 1 | 0 | 10135 | - | 187M | 0 | 535 | 714 | 706 | 35 | 26 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.15/13.22 c 13.2s| 1 | 0 | 10135 | - | 187M | 0 | 535 | 714 | 698 | 35 | 26 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.15/13.26 c 13.3s| 1 | 0 | 10137 | - | 187M | 0 | 535 | 712 | 699 | 36 | 27 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.25/13.30 c 13.3s| 1 | 0 | 10139 | - | 187M | 0 | 535 | 712 | 700 | 37 | 28 | 22 | 9 | 5.040425e+04 | 5.080600e+04 | 0.80%| unknown
13.25/13.35 c 13.3s| 1 | 0 | 10156 | - | 187M | 0 | 535 | 712 | 701 | 38 | 29 | 22 | 9 | 5.040430e+04 | 5.080600e+04 | 0.80%| unknown
13.25/13.39 c 13.4s| 1 | 0 | 10163 | - | 187M | 0 | 535 | 712 | 703 | 40 | 30 | 22 | 9 | 5.040442e+04 | 5.080600e+04 | 0.80%| unknown
13.35/13.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.35/13.43 c 13.4s| 1 | 0 | 10165 | - | 187M | 0 | 535 | 712 | 700 | 41 | 31 | 22 | 9 | 5.040443e+04 | 5.080600e+04 | 0.80%| unknown
13.35/13.48 c 13.5s| 1 | 0 | 10178 | - | 187M | 0 | 535 | 712 | 701 | 42 | 32 | 22 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
13.45/13.55 c (run 4, node 1) restarting after 61 global fixings of integer variables
13.45/13.55 c
13.45/13.56 c (restart) converted 34 cuts from the global cut pool into linear constraints
13.45/13.56 c
13.55/13.61 c presolving:
13.55/13.62 c (round 1, fast) 68 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 57 chg coeffs, 0 upgd conss, 0 impls, 658 clqs
13.55/13.63 c (round 2, medium) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 57 chg coeffs, 0 upgd conss, 0 impls, 654 clqs
13.55/13.64 c (round 3, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 62 chg coeffs, 0 upgd conss, 0 impls, 654 clqs
13.55/13.64 c (round 4, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 64 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
13.55/13.65 c (round 5, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 68 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
13.55/13.65 c (round 6, exhaustive) 72 del vars, 11 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 73 chg coeffs, 16 upgd conss, 0 impls, 654 clqs
13.55/13.65 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
13.55/13.65 c 72 deleted vars, 11 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 74 changed coefficients
13.55/13.65 c 0 implications, 654 cliques
13.55/13.65 c presolved problem has 463 variables (463 bin, 0 int, 0 cont) and 738 constraints
13.55/13.65 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
13.55/13.65 c 84 constraints of type <knapsack>
13.55/13.65 c 526 constraints of type <setppc>
13.55/13.65 c 34 constraints of type <and>
13.55/13.65 c 50 constraints of type <linear>
13.55/13.65 c 44 constraints of type <logicor>
13.55/13.65 c transformed objective value is always integral (scale: 1)
13.55/13.65 c Presolving Time: 0.25
13.55/13.66 c transformed 6/15 original solutions to the transformed problem space
13.55/13.66 c
13.55/13.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.55/13.69 c 13.7s| 1 | 0 | 10950 | - | 185M | 0 | 463 | 738 | 754 | 0 | 0 | 25 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
13.55/13.69 c 13.7s| 1 | 0 | 10950 | - | 185M | 0 | 463 | 738 | 741 | 0 | 0 | 25 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
13.85/13.93 c 13.9s| 1 | 0 | 11011 | - | 185M | 0 | 463 | 726 | 742 | 1 | 1 | 25 | 9 | 5.040853e+04 | 5.080600e+04 | 0.79%| unknown
13.85/13.93 c 13.9s| 1 | 0 | 11011 | - | 185M | 0 | 463 | 726 | 740 | 1 | 1 | 25 | 9 | 5.040853e+04 | 5.080600e+04 | 0.79%| unknown
14.05/14.13 c 14.1s| 1 | 0 | 11050 | - | 185M | 0 | 463 | 724 | 741 | 2 | 2 | 25 | 9 | 5.040991e+04 | 5.080600e+04 | 0.79%| unknown
14.25/14.35 c 14.4s| 1 | 0 | 11093 | - | 185M | 0 | 463 | 724 | 742 | 3 | 3 | 25 | 9 | 5.041109e+04 | 5.080600e+04 | 0.78%| unknown
14.45/14.57 c 14.6s| 1 | 0 | 11145 | - | 186M | 0 | 463 | 724 | 743 | 4 | 4 | 25 | 9 | 5.041373e+04 | 5.080600e+04 | 0.78%| unknown
14.45/14.57 c 14.6s| 1 | 0 | 11145 | - | 186M | 0 | 463 | 724 | 740 | 4 | 4 | 25 | 9 | 5.041373e+04 | 5.080600e+04 | 0.78%| unknown
14.65/14.77 c 14.8s| 1 | 0 | 11183 | - | 186M | 0 | 463 | 722 | 741 | 5 | 5 | 25 | 9 | 5.041491e+04 | 5.080600e+04 | 0.78%| unknown
14.85/14.97 c 15.0s| 1 | 0 | 11254 | - | 188M | 0 | 463 | 722 | 744 | 8 | 6 | 25 | 9 | 5.041935e+04 | 5.080600e+04 | 0.77%| unknown
14.85/14.98 c 15.0s| 1 | 0 | 11254 | - | 188M | 0 | 463 | 722 | 741 | 8 | 6 | 25 | 9 | 5.041935e+04 | 5.080600e+04 | 0.77%| unknown
15.05/15.16 c 15.2s| 1 | 0 | 11285 | - | 189M | 0 | 463 | 719 | 743 | 10 | 7 | 25 | 9 | 5.042003e+04 | 5.080600e+04 | 0.77%| unknown
15.24/15.37 c 15.4s| 1 | 0 | 11357 | - | 193M | 0 | 463 | 719 | 745 | 12 | 8 | 25 | 9 | 5.042207e+04 | 5.080600e+04 | 0.76%| unknown
15.24/15.37 c 15.4s| 1 | 0 | 11357 | - | 193M | 0 | 463 | 719 | 744 | 12 | 8 | 25 | 9 | 5.042207e+04 | 5.080600e+04 | 0.76%| unknown
15.44/15.58 c 15.6s| 1 | 0 | 11373 | - | 194M | 0 | 463 | 718 | 745 | 13 | 9 | 25 | 9 | 5.042251e+04 | 5.080600e+04 | 0.76%| unknown
15.75/15.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.75/15.80 c 15.8s| 1 | 0 | 11435 | - | 197M | 0 | 463 | 718 | 746 | 14 | 10 | 25 | 9 | 5.042406e+04 | 5.080600e+04 | 0.76%| unknown
15.75/15.81 c 15.8s| 1 | 0 | 11435 | - | 197M | 0 | 463 | 718 | 745 | 14 | 10 | 25 | 9 | 5.042406e+04 | 5.080600e+04 | 0.76%| unknown
15.85/15.90 c 15.9s| 1 | 0 | 11457 | - | 197M | 0 | 463 | 717 | 746 | 15 | 11 | 25 | 9 | 5.042454e+04 | 5.080600e+04 | 0.76%| unknown
15.85/15.90 c 15.9s| 1 | 0 | 11457 | - | 197M | 0 | 463 | 701 | 746 | 15 | 11 | 25 | 9 | 5.042454e+04 | 5.080600e+04 | 0.76%| unknown
15.85/15.99 c 16.0s| 1 | 0 | 11496 | - | 197M | 0 | 463 | 701 | 748 | 17 | 12 | 25 | 9 | 5.042493e+04 | 5.080600e+04 | 0.76%| unknown
15.96/16.08 c 16.1s| 1 | 0 | 11521 | - | 197M | 0 | 463 | 701 | 662 | 18 | 13 | 25 | 9 | 5.042514e+04 | 5.080600e+04 | 0.76%| unknown
15.96/16.08 c 16.1s| 1 | 0 | 11521 | - | 197M | 0 | 463 | 701 | 652 | 18 | 13 | 25 | 9 | 5.042514e+04 | 5.080600e+04 | 0.76%| unknown
16.06/16.14 c 16.1s| 1 | 0 | 11536 | - | 197M | 0 | 463 | 700 | 654 | 20 | 14 | 25 | 9 | 5.042523e+04 | 5.080600e+04 | 0.76%| unknown
16.15/16.20 c 16.2s| 1 | 0 | 11546 | - | 197M | 0 | 463 | 700 | 655 | 21 | 15 | 25 | 9 | 5.042530e+04 | 5.080600e+04 | 0.75%| unknown
16.15/16.26 c 16.3s| 1 | 0 | 11559 | - | 197M | 0 | 463 | 700 | 656 | 22 | 16 | 25 | 9 | 5.042547e+04 | 5.080600e+04 | 0.75%| unknown
16.25/16.33 c 16.3s| 1 | 0 | 11572 | - | 197M | 0 | 463 | 700 | 657 | 23 | 17 | 25 | 9 | 5.042552e+04 | 5.080600e+04 | 0.75%| unknown
16.25/16.39 c 16.4s| 1 | 0 | 11579 | - | 197M | 0 | 463 | 700 | 658 | 24 | 18 | 25 | 9 | 5.042553e+04 | 5.080600e+04 | 0.75%| unknown
16.35/16.46 c 16.5s| 1 | 0 | 11589 | - | 197M | 0 | 463 | 700 | 645 | 25 | 19 | 25 | 9 | 5.042556e+04 | 5.080600e+04 | 0.75%| unknown
16.45/16.52 c 16.5s| 1 | 0 | 11592 | - | 198M | 0 | 463 | 700 | 646 | 26 | 20 | 25 | 9 | 5.042556e+04 | 5.080600e+04 | 0.75%| unknown
16.45/16.57 c 16.6s| 1 | 0 | 11605 | - | 198M | 0 | 463 | 700 | 647 | 27 | 21 | 25 | 9 | 5.042559e+04 | 5.080600e+04 | 0.75%| unknown
16.55/16.63 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.55/16.63 c 16.6s| 1 | 0 | 11617 | - | 198M | 0 | 463 | 700 | 648 | 28 | 22 | 25 | 9 | 5.042563e+04 | 5.080600e+04 | 0.75%| unknown
16.65/16.76 c 16.8s| 1 | 0 | 12469 | - | 198M | 0 | 463 | 704 | 648 | 28 | 22 | 31 | 10 | 5.047228e+04 | 5.080600e+04 | 0.66%| unknown
16.65/16.76 c (run 5, node 1) restarting after 51 global fixings of integer variables
16.65/16.76 c
16.65/16.77 c (restart) converted 24 cuts from the global cut pool into linear constraints
16.65/16.77 c
16.75/16.82 c presolving:
16.75/16.83 c (round 1, fast) 57 del vars, 73 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 92 chg coeffs, 0 upgd conss, 0 impls, 532 clqs
16.75/16.83 c (round 2, fast) 59 del vars, 74 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 0 upgd conss, 0 impls, 532 clqs
16.75/16.83 c (round 3, fast) 60 del vars, 76 del conss, 1 add conss, 0 chg bounds, 0 chg sides, 95 chg coeffs, 0 upgd conss, 0 impls, 530 clqs
16.75/16.84 c (round 4, medium) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 99 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
16.75/16.85 c (round 5, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 121 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
16.75/16.85 c (round 6, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 133 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
16.75/16.85 c (round 7, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 137 chg coeffs, 0 upgd conss, 0 impls, 528 clqs
16.75/16.85 c (round 8, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 139 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
16.75/16.86 c (round 9, exhaustive) 62 del vars, 80 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 142 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
16.75/16.86 c (round 10, exhaustive) 62 del vars, 82 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 143 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
16.75/16.86 c (round 11, exhaustive) 62 del vars, 82 del conss, 3 add conss, 0 chg bounds, 2 chg sides, 152 chg coeffs, 14 upgd conss, 0 impls, 528 clqs
16.75/16.86 c presolving (12 rounds: 12 fast, 9 medium, 8 exhaustive):
16.75/16.86 c 62 deleted vars, 82 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 152 changed coefficients
16.75/16.86 c 0 implications, 528 cliques
16.75/16.86 c presolved problem has 401 variables (401 bin, 0 int, 0 cont) and 649 constraints
16.75/16.86 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
16.75/16.86 c 97 constraints of type <knapsack>
16.75/16.86 c 418 constraints of type <setppc>
16.75/16.86 c 30 constraints of type <and>
16.75/16.86 c 60 constraints of type <linear>
16.75/16.86 c 44 constraints of type <logicor>
16.75/16.86 c transformed objective value is always integral (scale: 1)
16.75/16.86 c Presolving Time: 0.29
16.75/16.86 c transformed 5/17 original solutions to the transformed problem space
16.75/16.86 c
16.75/16.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.75/16.89 c 16.9s| 1 | 0 | 12991 | - | 181M | 0 | 401 | 649 | 660 | 0 | 0 | 31 | 10 | 5.047433e+04 | 5.080600e+04 | 0.66%| unknown
16.85/16.90 c 16.9s| 1 | 0 | 12991 | - | 181M | 0 | 401 | 649 | 603 | 0 | 0 | 31 | 10 | 5.047433e+04 | 5.080600e+04 | 0.66%| unknown
16.95/17.04 c 17.0s| 1 | 0 | 13007 | - | 181M | 0 | 401 | 595 | 600 | 1 | 1 | 31 | 10 | 5.047742e+04 | 5.080600e+04 | 0.65%| unknown
16.95/17.04 c 17.0s| 1 | 0 | 13007 | - | 181M | 0 | 401 | 595 | 600 | 1 | 1 | 31 | 10 | 5.047742e+04 | 5.080600e+04 | 0.65%| unknown
17.05/17.19 c 17.2s| 1 | 0 | 13066 | - | 182M | 0 | 401 | 591 | 599 | 2 | 2 | 31 | 10 | 5.050754e+04 | 5.080600e+04 | 0.59%| unknown
17.05/17.19 c 17.2s| 1 | 0 | 13066 | - | 182M | 0 | 401 | 591 | 588 | 2 | 2 | 31 | 10 | 5.050754e+04 | 5.080600e+04 | 0.59%| unknown
17.25/17.32 c 17.3s| 1 | 0 | 13093 | - | 183M | 0 | 401 | 578 | 589 | 4 | 3 | 31 | 10 | 5.052491e+04 | 5.080600e+04 | 0.56%| unknown
17.25/17.32 c 17.3s| 1 | 0 | 13093 | - | 183M | 0 | 401 | 578 | 582 | 4 | 3 | 31 | 10 | 5.052491e+04 | 5.080600e+04 | 0.56%| unknown
17.34/17.44 c 17.4s| 1 | 0 | 13124 | - | 184M | 0 | 401 | 571 | 583 | 5 | 4 | 31 | 10 | 5.053924e+04 | 5.080600e+04 | 0.53%| unknown
17.34/17.45 c 17.4s| 1 | 0 | 13124 | - | 184M | 0 | 401 | 571 | 576 | 5 | 4 | 31 | 10 | 5.053924e+04 | 5.080600e+04 | 0.53%| unknown
17.44/17.56 c 17.6s| 1 | 0 | 13185 | - | 184M | 0 | 401 | 564 | 577 | 6 | 5 | 31 | 10 | 5.055398e+04 | 5.080600e+04 | 0.50%| unknown
17.44/17.56 c 17.6s| 1 | 0 | 13185 | - | 184M | 0 | 401 | 564 | 569 | 6 | 5 | 31 | 10 | 5.055398e+04 | 5.080600e+04 | 0.50%| unknown
17.54/17.68 c 17.7s| 1 | 0 | 13231 | - | 185M | 0 | 401 | 555 | 570 | 7 | 6 | 31 | 10 | 5.056982e+04 | 5.080600e+04 | 0.47%| unknown
17.54/17.69 c 17.7s| 1 | 0 | 13231 | - | 185M | 0 | 401 | 555 | 564 | 7 | 6 | 31 | 10 | 5.056982e+04 | 5.080600e+04 | 0.47%| unknown
17.74/17.81 c 17.8s| 1 | 0 | 13262 | - | 185M | 0 | 401 | 549 | 565 | 8 | 7 | 31 | 10 | 5.057702e+04 | 5.080600e+04 | 0.45%| unknown
17.74/17.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.74/17.81 c 17.8s| 1 | 0 | 13262 | - | 185M | 0 | 401 | 549 | 563 | 8 | 7 | 31 | 10 | 5.057702e+04 | 5.080600e+04 | 0.45%| unknown
17.84/17.93 c 17.9s| 1 | 0 | 13306 | - | 187M | 0 | 401 | 547 | 564 | 9 | 8 | 31 | 10 | 5.058143e+04 | 5.080600e+04 | 0.44%| unknown
17.84/17.94 c 17.9s| 1 | 0 | 13306 | - | 187M | 0 | 401 | 547 | 563 | 9 | 8 | 31 | 10 | 5.058143e+04 | 5.080600e+04 | 0.44%| unknown
17.95/18.06 c 18.1s| 1 | 0 | 13348 | - | 187M | 0 | 401 | 546 | 564 | 10 | 9 | 31 | 10 | 5.058836e+04 | 5.080600e+04 | 0.43%| unknown
17.95/18.07 c 18.1s| 1 | 0 | 13348 | - | 187M | 0 | 401 | 546 | 563 | 10 | 9 | 31 | 10 | 5.058836e+04 | 5.080600e+04 | 0.43%| unknown
18.05/18.19 c 18.2s| 1 | 0 | 13363 | - | 188M | 0 | 401 | 545 | 564 | 11 | 10 | 31 | 10 | 5.058883e+04 | 5.080600e+04 | 0.43%| unknown
18.14/18.26 c 18.3s| 1 | 0 | 13385 | - | 188M | 0 | 401 | 545 | 565 | 12 | 11 | 31 | 10 | 5.058997e+04 | 5.080600e+04 | 0.43%| unknown
18.24/18.34 c 18.3s| 1 | 0 | 13405 | - | 188M | 0 | 401 | 545 | 441 | 13 | 12 | 31 | 10 | 5.059123e+04 | 5.080600e+04 | 0.42%| unknown
18.24/18.38 c 18.4s| 1 | 0 | 13418 | - | 188M | 0 | 401 | 545 | 442 | 14 | 13 | 31 | 10 | 5.059178e+04 | 5.080600e+04 | 0.42%| unknown
18.34/18.41 c 18.4s| 1 | 0 | 13437 | - | 188M | 0 | 401 | 545 | 443 | 15 | 14 | 31 | 10 | 5.059220e+04 | 5.080600e+04 | 0.42%| unknown
18.34/18.45 c 18.5s| 1 | 0 | 13470 | - | 188M | 0 | 401 | 545 | 444 | 16 | 15 | 31 | 10 | 5.059363e+04 | 5.080600e+04 | 0.42%| unknown
18.34/18.49 c 18.5s| 1 | 0 | 13493 | - | 189M | 0 | 401 | 545 | 445 | 17 | 16 | 31 | 10 | 5.059416e+04 | 5.080600e+04 | 0.42%| unknown
18.44/18.53 c 18.5s| 1 | 0 | 13515 | - | 189M | 0 | 401 | 545 | 446 | 18 | 17 | 31 | 10 | 5.059454e+04 | 5.080600e+04 | 0.42%| unknown
18.44/18.56 c 18.6s| 1 | 0 | 13526 | - | 189M | 0 | 401 | 545 | 438 | 19 | 18 | 31 | 10 | 5.059477e+04 | 5.080600e+04 | 0.42%| unknown
18.54/18.60 c 18.6s| 1 | 0 | 13530 | - | 189M | 0 | 401 | 545 | 439 | 20 | 19 | 31 | 10 | 5.059479e+04 | 5.080600e+04 | 0.42%| unknown
18.54/18.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.54/18.61 c 18.6s| 1 | 0 | 13530 | - | 189M | 0 | 401 | 507 | 439 | 20 | 19 | 31 | 10 | 5.059479e+04 | 5.080600e+04 | 0.42%| unknown
18.54/18.64 c 18.6s| 1 | 0 | 13538 | - | 189M | 0 | 401 | 507 | 440 | 21 | 20 | 31 | 10 | 5.059488e+04 | 5.080600e+04 | 0.42%| unknown
18.54/18.67 c 18.7s| 1 | 0 | 13554 | - | 189M | 0 | 401 | 507 | 441 | 22 | 21 | 31 | 10 | 5.059535e+04 | 5.080600e+04 | 0.42%| unknown
18.54/18.68 c 18.7s| 1 | 0 | 13554 | - | 189M | 0 | 401 | 507 | 427 | 22 | 21 | 31 | 10 | 5.059535e+04 | 5.080600e+04 | 0.42%| unknown
18.64/18.71 c 18.7s| 1 | 0 | 13563 | - | 189M | 0 | 401 | 506 | 428 | 23 | 22 | 31 | 10 | 5.059607e+04 | 5.080600e+04 | 0.41%| unknown
18.64/18.74 c 18.7s| 1 | 0 | 13572 | - | 189M | 0 | 401 | 507 | 430 | 25 | 23 | 32 | 10 | 5.059619e+04 | 5.080600e+04 | 0.41%| unknown
18.64/18.78 c 18.8s| 1 | 0 | 13590 | - | 189M | 0 | 401 | 507 | 423 | 26 | 24 | 32 | 10 | 5.059702e+04 | 5.080600e+04 | 0.41%| unknown
18.64/18.78 c 18.8s| 1 | 0 | 13590 | - | 189M | 0 | 401 | 508 | 421 | 26 | 24 | 33 | 10 | 5.059702e+04 | 5.080600e+04 | 0.41%| unknown
18.74/18.81 c 18.8s| 1 | 0 | 13616 | - | 189M | 0 | 401 | 506 | 423 | 28 | 25 | 33 | 10 | 5.059772e+04 | 5.080600e+04 | 0.41%| unknown
18.74/18.85 c 18.9s| 1 | 0 | 13624 | - | 189M | 0 | 401 | 506 | 424 | 29 | 26 | 33 | 10 | 5.059845e+04 | 5.080600e+04 | 0.41%| unknown
18.74/18.89 c 18.9s| 1 | 0 | 13630 | - | 189M | 0 | 401 | 506 | 426 | 31 | 27 | 33 | 10 | 5.059854e+04 | 5.080600e+04 | 0.41%| unknown
18.84/18.93 c 18.9s| 1 | 0 | 13636 | - | 189M | 0 | 401 | 506 | 427 | 32 | 28 | 33 | 10 | 5.059879e+04 | 5.080600e+04 | 0.41%| unknown
18.84/18.97 c 19.0s| 1 | 0 | 13655 | - | 189M | 0 | 401 | 506 | 428 | 33 | 29 | 33 | 10 | 5.060003e+04 | 5.080600e+04 | 0.41%| unknown
18.84/18.97 c 19.0s| 1 | 0 | 13655 | - | 189M | 0 | 401 | 506 | 428 | 33 | 29 | 33 | 10 | 5.060003e+04 | 5.080600e+04 | 0.41%| unknown
18.95/19.01 c 19.0s| 1 | 0 | 13660 | - | 189M | 0 | 401 | 506 | 426 | 34 | 30 | 33 | 10 | 5.060006e+04 | 5.080600e+04 | 0.41%| unknown
18.95/19.02 c (run 6, node 1) restarting after 124 global fixings of integer variables
18.95/19.02 c
18.95/19.02 c (restart) converted 31 cuts from the global cut pool into linear constraints
18.95/19.02 c
18.95/19.04 c presolving:
18.95/19.05 c (round 1, fast) 129 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 0 upgd conss, 0 impls, 337 clqs
18.95/19.06 c (round 2, medium) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 129 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
18.95/19.06 c (round 3, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 133 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
18.95/19.06 c (round 4, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 135 chg coeffs, 0 upgd conss, 0 impls, 336 clqs
18.95/19.07 c (round 5, exhaustive) 130 del vars, 6 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 135 chg coeffs, 16 upgd conss, 0 impls, 336 clqs
18.95/19.07 c (round 6, exhaustive) 130 del vars, 9 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 16 upgd conss, 0 impls, 336 clqs
18.95/19.07 c (round 7, exhaustive) 130 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 16 upgd conss, 0 impls, 337 clqs
18.95/19.07 c (round 8, exhaustive) 130 del vars, 14 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 140 chg coeffs, 16 upgd conss, 0 impls, 337 clqs
18.95/19.07 c presolving (9 rounds: 9 fast, 8 medium, 7 exhaustive):
18.95/19.07 c 130 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 140 changed coefficients
18.95/19.07 c 0 implications, 337 cliques
18.95/19.07 c presolved problem has 271 variables (271 bin, 0 int, 0 cont) and 529 constraints
18.95/19.07 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
18.95/19.07 c 113 constraints of type <knapsack>
18.95/19.07 c 278 constraints of type <setppc>
18.95/19.07 c 20 constraints of type <and>
18.95/19.07 c 75 constraints of type <linear>
18.95/19.07 c 43 constraints of type <logicor>
18.95/19.07 c transformed objective value is always integral (scale: 1)
18.95/19.07 c Presolving Time: 0.32
18.95/19.07 c transformed 5/19 original solutions to the transformed problem space
18.95/19.07 c
18.95/19.09 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.95/19.09 c 19.1s| 1 | 0 | 14326 | - | 184M | 0 | 271 | 529 | 530 | 0 | 0 | 39 | 10 | 5.060007e+04 | 5.080600e+04 | 0.41%| unknown
18.95/19.10 c 19.1s| 1 | 0 | 14326 | - | 184M | 0 | 271 | 529 | 528 | 0 | 0 | 39 | 10 | 5.060007e+04 | 5.080600e+04 | 0.41%| unknown
19.14/19.23 c 19.2s| 1 | 0 | 14370 | - | 184M | 0 | 271 | 527 | 530 | 2 | 1 | 39 | 10 | 5.060284e+04 | 5.080600e+04 | 0.40%| unknown
19.24/19.37 c 19.4s| 1 | 0 | 14416 | - | 184M | 0 | 271 | 527 | 531 | 3 | 2 | 39 | 10 | 5.060438e+04 | 5.080600e+04 | 0.40%| unknown
19.24/19.37 c 19.4s| 1 | 0 | 14416 | - | 184M | 0 | 271 | 527 | 530 | 3 | 2 | 39 | 10 | 5.060438e+04 | 5.080600e+04 | 0.40%| unknown
19.44/19.50 c 19.5s| 1 | 0 | 14438 | - | 185M | 0 | 271 | 526 | 529 | 4 | 3 | 39 | 10 | 5.060495e+04 | 5.080600e+04 | 0.40%| unknown
19.54/19.63 c 19.6s| 1 | 0 | 14468 | - | 185M | 0 | 271 | 524 | 530 | 5 | 4 | 39 | 10 | 5.060629e+04 | 5.080600e+04 | 0.39%| unknown
19.64/19.76 c 19.8s| 1 | 0 | 14502 | - | 187M | 0 | 271 | 524 | 531 | 6 | 5 | 39 | 10 | 5.061040e+04 | 5.080600e+04 | 0.39%| unknown
19.64/19.76 c 19.8s| 1 | 0 | 14502 | - | 187M | 0 | 271 | 524 | 530 | 6 | 5 | 39 | 10 | 5.061040e+04 | 5.080600e+04 | 0.39%| unknown
19.74/19.88 c 19.9s| 1 | 0 | 14544 | - | 188M | 0 | 271 | 523 | 532 | 8 | 6 | 39 | 10 | 5.061386e+04 | 5.080600e+04 | 0.38%| unknown
19.84/19.99 c 20.0s| 1 | 0 | 14586 | - | 188M | 0 | 271 | 523 | 533 | 9 | 7 | 39 | 10 | 5.061611e+04 | 5.080600e+04 | 0.38%| unknown
20.04/20.10 c 20.1s| 1 | 0 | 14625 | - | 190M | 0 | 271 | 523 | 535 | 11 | 8 | 39 | 10 | 5.061854e+04 | 5.080600e+04 | 0.37%| unknown
20.04/20.11 c 20.1s| 1 | 0 | 14625 | - | 190M | 0 | 271 | 524 | 534 | 11 | 8 | 40 | 10 | 5.061854e+04 | 5.080600e+04 | 0.37%| unknown
20.14/20.21 c 20.2s| 1 | 0 | 14643 | - | 192M | 0 | 271 | 523 | 535 | 12 | 9 | 40 | 10 | 5.061881e+04 | 5.080600e+04 | 0.37%| unknown
20.14/20.22 c 20.2s| 1 | 0 | 14643 | - | 192M | 0 | 271 | 523 | 534 | 12 | 9 | 40 | 10 | 5.061881e+04 | 5.080600e+04 | 0.37%| unknown
20.24/20.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.24/20.32 c 20.3s| 1 | 0 | 14669 | - | 197M | 0 | 271 | 522 | 535 | 13 | 10 | 40 | 10 | 5.062002e+04 | 5.080600e+04 | 0.37%| unknown
20.24/20.33 c 20.3s| 1 | 0 | 14669 | - | 197M | 0 | 271 | 522 | 534 | 13 | 10 | 40 | 10 | 5.062002e+04 | 5.080600e+04 | 0.37%| unknown
20.24/20.39 c 20.4s| 1 | 0 | 14702 | - | 197M | 0 | 271 | 521 | 535 | 14 | 11 | 40 | 10 | 5.062184e+04 | 5.080600e+04 | 0.36%| unknown
20.34/20.40 c 20.4s| 1 | 0 | 14702 | - | 197M | 0 | 271 | 521 | 533 | 14 | 11 | 40 | 10 | 5.062184e+04 | 5.080600e+04 | 0.36%| unknown
20.34/20.43 c 20.4s| 1 | 0 | 14893 | - | 197M | 0 | 271 | 520 | 533 | 14 | 11 | 47 | 12 | 5.070333e+04 | 5.080600e+04 | 0.20%| unknown
20.34/20.43 c (run 7, node 1) restarting after 45 global fixings of integer variables
20.34/20.43 c
20.34/20.43 c (restart) converted 14 cuts from the global cut pool into linear constraints
20.34/20.43 c
20.34/20.45 c presolving:
20.34/20.46 c (round 1, fast) 55 del vars, 92 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 130 chg coeffs, 0 upgd conss, 0 impls, 240 clqs
20.34/20.46 c (round 2, fast) 60 del vars, 97 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 137 chg coeffs, 0 upgd conss, 0 impls, 238 clqs
20.34/20.46 c (round 3, fast) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 0 chg sides, 138 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 4, medium) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 139 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 5, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 174 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 6, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 186 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 7, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 194 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 8, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 201 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 9, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 206 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 10, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 208 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 11, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 209 chg coeffs, 0 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 12, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 209 chg coeffs, 10 upgd conss, 0 impls, 235 clqs
20.34/20.47 c (round 13, exhaustive) 63 del vars, 102 del conss, 6 add conss, 0 chg bounds, 1 chg sides, 231 chg coeffs, 10 upgd conss, 0 impls, 235 clqs
20.34/20.48 c presolving (14 rounds: 14 fast, 11 medium, 10 exhaustive):
20.34/20.48 c 63 deleted vars, 102 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 231 changed coefficients
20.34/20.48 c 0 implications, 235 cliques
20.34/20.48 c presolved problem has 208 variables (208 bin, 0 int, 0 cont) and 438 constraints
20.34/20.48 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
20.34/20.48 c 115 constraints of type <knapsack>
20.34/20.48 c 188 constraints of type <setppc>
20.34/20.48 c 18 constraints of type <and>
20.34/20.48 c 78 constraints of type <linear>
20.34/20.48 c 39 constraints of type <logicor>
20.34/20.48 c transformed objective value is always integral (scale: 1)
20.34/20.48 c Presolving Time: 0.35
20.34/20.48 c transformed 3/20 original solutions to the transformed problem space
20.34/20.48 c
20.34/20.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.34/20.49 c 20.5s| 1 | 0 | 15211 | - | 193M | 0 | 208 | 438 | 444 | 0 | 0 | 47 | 12 | 5.070650e+04 | 5.080600e+04 | 0.20%| unknown
20.34/20.49 c 20.5s| 1 | 0 | 15211 | - | 193M | 0 | 208 | 438 | 386 | 0 | 0 | 47 | 12 | 5.070650e+04 | 5.080600e+04 | 0.20%| unknown
20.44/20.53 c 20.5s| 1 | 0 | 15245 | - | 193M | 0 | 208 | 381 | 384 | 1 | 1 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.44/20.53 c 20.5s| 1 | 0 | 15245 | - | 193M | 0 | 208 | 381 | 376 | 1 | 1 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.44/20.53 c 20.5s| 1 | 0 | 15245 | - | 193M | 0 | 208 | 341 | 376 | 1 | 2 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.44/20.53 o 50769
20.44/20.53 c d20.5s| 1 | 0 | 15245 | - |conflict| 0 | 208 | 335 | 376 | 0 | 3 | 47 | 12 | 5.076900e+04 | 5.076900e+04 | 0.00%| unknown
20.44/20.53 c 20.5s| 1 | 0 | 15245 | - | 193M | 0 | 208 | 335 | 376 | 1 | 3 | 47 | 12 | 5.076900e+04 | 5.076900e+04 | 0.00%| unknown
20.44/20.53 c
20.44/20.53 c SCIP Status : problem is solved [optimal solution found]
20.44/20.53 c Solving Time (sec) : 20.53
20.44/20.53 c Solving Nodes : 1 (total of 8 nodes in 8 runs)
20.44/20.53 c Primal Bound : +5.07690000000000e+04 (22 solutions)
20.44/20.53 c Dual Bound : +5.07690000000000e+04
20.44/20.53 c Gap : 0.00 %
20.44/20.53 s OPTIMUM FOUND
20.44/20.53 v -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 -x260
20.44/20.53 v -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x286 x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304
20.44/20.53 v -x306 -x308 -x310 -x312 -x314 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x346 -x348
20.44/20.53 v -x350 -x352 -x354 -x356 -x358 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x390 -x392
20.44/20.53 v -x394 -x396 -x398 -x400 -x402 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436
20.44/20.53 v -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 x456 -x458 -x460 -x462 -x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480
20.44/20.53 v -x482 -x484 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x516 -x518 -x520 -x522 -x524
20.44/20.53 v -x526 -x528 -x530 -x532 -x534 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 -x559 -x561 -x563 -x565 -x567
20.44/20.53 v -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611
20.44/20.53 v -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655
20.44/20.53 v -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699
20.44/20.53 v -x701 -x703 -x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743
20.44/20.53 v -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787
20.44/20.53 v -x789 -x791 -x793 -x795 -x797 x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x820 -x822 -x824 -x826 -x828 -x830
20.44/20.53 v -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874
20.44/20.53 v -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 x906 -x908 -x910 -x912 -x914 -x916 -x918
20.44/20.53 v -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962
20.44/20.53 v -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004
20.44/20.53 v -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042
20.44/20.53 v -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080
20.44/20.53 v -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1117
20.44/20.53 v -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x1141 -x1143 -x1145 -x1147 -x1149 x1151 -x1153 -x1155
20.44/20.53 v -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193
20.44/20.53 v -x1195 -x1197 -x1199 -x1201 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1222 -x1224 -x1226 -x1228 -x1230
20.44/20.53 v -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268
20.44/20.53 v -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306
20.44/20.53 v -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x1328 -x1330 -x1332 -x1334 -x1336 x1338 -x1340 -x1342 -x1344
20.44/20.53 v -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382
20.44/20.53 v -x1384 -x1386 -x1388 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420
20.44/20.53 v -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x1452 -x1454 -x1456 -x1458
20.44/20.53 v -x1460 -x1462 -x1464 x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496
20.44/20.53 v -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534
20.44/20.53 v -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572
20.44/20.53 v -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x1608 -x1610
20.44/20.53 v -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648
20.44/20.53 v -x1650 -x1652 -x1654 x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686
20.44/20.53 v -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724
20.44/20.53 v -x1726 -x1728 -x1730 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x1762
20.44/20.53 v -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800
20.44/20.53 v -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838
20.44/20.53 v -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876
20.44/20.53 v -x1878 -x1880 -x1882 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914
20.44/20.53 v -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952
20.44/20.53 v -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990
20.44/20.53 v -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x2024 -x2026 -x2028
20.44/20.53 v -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066
20.44/20.53 v -x2068 -x2070 x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104
20.44/20.53 v -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142
20.44/20.53 v -x2144 -x2146 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x2178 -x2180
20.44/20.53 v -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218
20.44/20.53 v -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256
20.44/20.53 v -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 x2292 -x2294
20.44/20.53 v -x2296 -x2298 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332
20.44/20.53 v -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370
20.44/20.53 v -x2372 -x2374 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x2406 -x2408
20.44/20.53 v -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446
20.44/20.53 v -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x2478 -x2480 -x2482 -x2484
20.44/20.53 v -x2486 -x2488 -x2490 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x2506 -x2508 -x2510 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522
20.44/20.53 v -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560
20.44/20.53 v -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598
20.44/20.53 v -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636
20.44/20.53 v -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674
20.44/20.53 v -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711
20.44/20.53 v -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749
20.44/20.53 v -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787
20.44/20.53 v -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825
20.44/20.53 v -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863
20.44/20.53 v -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901
20.44/20.53 v -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939
20.44/20.53 v -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977
20.44/20.53 v -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3014
20.44/20.53 v x3016 -x3018 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x3050 -x3052
20.44/20.53 v -x3054 -x3056 -x3058 -x3060 -x3062 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090
20.44/20.53 v -x3092 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x3122 -x3124 -x3126 -x3128
20.44/20.53 v -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166
20.44/20.53 v -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203
20.44/20.53 v -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241
20.44/20.53 v -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279
20.44/20.53 v -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317
20.44/20.53 v -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355
20.44/20.53 v -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393
20.44/20.53 v x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 -x3417 -x3419 -x3421 -x3423 -x3425 -x3427 -x3429 -x3431
20.44/20.53 v -x3433 x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469
20.44/20.53 v x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507
20.44/20.53 v -x3509 -x3511 -x3513 -x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545
20.44/20.53 v -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3575 -x3577 -x3579 -x3581
20.44/20.53 v -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619
20.44/20.53 v -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 x3635 x3637 -x3639 -x3641 -x3643 -x3645 x3647 -x3649 -x3651 -x3653 -x3655 -x3657
20.44/20.53 v -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694
20.44/20.53 v -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3719 -x3721 -x3722 -x3724 -x3726 -x3728 -x3730
20.44/20.53 v -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x3760 -x3762 -x3764 -x3766 -x3768
20.44/20.53 v -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3781 -x3783 -x3784 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803
20.44/20.53 v -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 x3833 -x3835 -x3837 -x3839 -x3841
20.44/20.53 v -x3843 -x3845 -x3847 -x3849 -x3851 x3853 -x3855 -x3857 -x3859 -x3861 -x3863 x3865 -x3867 -x3869 -x3871 x3873 -x3875 -x3877 -x3879
20.44/20.53 v -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 x3903 x3905 x3907 -x3909 -x3911 -x3913 -x3915 -x3917
20.44/20.53 v -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 x3933 -x3935 -x3937 x3939 x3941 -x3943 -x3945 -x217 -x1 -x219 -x221 -x223 -x225
20.44/20.53 v -x227 -x229 -x231 -x2 -x233 -x235 -x237 -x3 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x4 -x253 -x255 -x257 -x259 -x261 -x263 -x265
20.44/20.53 v -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309
20.44/20.53 v -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x5 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x6
20.44/20.53 v -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x7 -x365 -x367 -x369 -x8 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x9 -x385 -x387 -x389
20.44/20.53 v -x10 -x391 -x393 -x395 -x11 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x12 -x411 -x413 -x415 -x13 -x417 -x419 -x421 -x14 -x423 -x425
20.44/20.53 v -x427 -x15 -x429 -x16 -x431 -x17 -x433 -x435 -x437 -x18 -x439 -x441 -x443 -x19 -x445 -x447 -x449 -x451 -x453 x455 -x457 -x459 -x461
20.44/20.53 v -x463 -x465 -x467 -x469 -x471 -x20 -x473 -x475 -x477 -x21 -x479 -x481 -x483 -x22 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x23
20.44/20.53 v -x499 -x501 -x503 -x24 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x25 -x527 -x529 -x531 -x533 -x536 -x538
20.44/20.53 v -x26 -x540 -x542 -x544 -x27 -x546 -x548 -x550 -x28 -x552 -x554 -x556 -x558 -x560 -x562 -x564 -x29 -x566 -x568 -x570 -x30 -x572 -x574
20.44/20.53 v -x576 -x578 -x580 -x582 -x584 -x31 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x604 -x606 -x608 -x610 -x612 -x614 -x616
20.44/20.53 v -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660
20.44/20.53 v -x662 -x664 -x666 -x668 -x670 -x672 x674 -x676 -x32 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x33 -x700
20.44/20.53 v -x702 -x704 -x706 -x708 -x34 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x35 -x732 -x734 -x736 -x738 -x740
20.44/20.53 v -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784
20.44/20.53 v -x786 -x788 -x790 -x792 -x794 -x796 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x821 -x823 -x825 -x827 -x829
20.44/20.53 v -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x36 -x861 -x863 -x865 -x867 -x869 -x871
20.44/20.53 v -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x37 -x891 -x893 -x895 -x897 -x899 -x901 -x903 x905 -x907 -x909 -x38 -x911
20.44/20.53 v -x913 -x915 -x39 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x40 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951
20.44/20.53 v -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995
20.44/20.53 v -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x41 -x1015 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x42 -x1029 -x1031
20.44/20.53 v -x1033 -x1035 -x1037 -x1039 -x1041 -x43 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x44 -x1057 -x1059 -x1061 -x45 -x1063 -x1065
20.44/20.53 v -x1067 -x46 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x47 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x48 -x1097 -x1099
20.44/20.53 v -x1101 -x49 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1118 -x1120 -x1122 -x50 -x1124 -x1126 -x1128 -x51 -x1130 -x1132 -x1134
20.44/20.53 v -x52 -x1136 -x1138 -x1140 -x53 -x1142 -x1144 -x1146 -x54 -x1148 -x55 x1150 x56 -x1152 -x1154 -x1156 -x57 -x1158 -x1160 -x1162 -x58
20.44/20.53 v -x1164 -x1166 -x1168 -x59 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x60 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196
20.44/20.53 v -x61 -x1198 -x1200 -x1202 -x62 -x1204 -x1206 -x1208 -x63 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x64 -x1223 -x1225 -x1227 -x1229
20.44/20.53 v -x1231 -x1233 -x1235 -x65 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x66 -x1251 -x1253 -x1255 -x67 -x1257 -x1259 -x1261 -x1263
20.44/20.53 v -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x68 -x1279 -x1281 -x1283 -x1285 -x1287 -x69 -x1289 -x1291 -x1293 -x1295 -x1297
20.44/20.53 v -x70 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333
20.44/20.53 v -x1335 x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371
20.44/20.53 v -x1373 -x1375 -x1377 -x1379 -x1381 -x71 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407
20.44/20.53 v -x1409 -x1411 -x72 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443
20.44/20.53 v -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481
20.44/20.53 v -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x73 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517
20.44/20.53 v -x74 -x1519 -x1521 -x1523 -x75 -x1525 -x1527 -x1529 -x76 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x77 -x1545 -x1547 -x1549
20.44/20.53 v -x1551 -x1553 -x1555 -x1557 x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x78 -x1581 -x1583 -x1585
20.44/20.53 v -x1587 -x1589 -x1591 -x1593 -x79 -x1595 -x1597 -x1599 -x80 -x1601 -x1603 -x1605 -x81 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619
20.44/20.53 v -x82 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x83 -x1635 -x1637 -x1639 -x84 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653
20.44/20.53 v x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x85 -x1669 -x1671 -x1673 -x86 -x1675 -x1677 -x1679 -x87 -x1681 -x1683 -x1685 -x88
20.44/20.53 v -x1687 -x89 -x1689 -x90 -x1691 -x1693 -x1695 -x91 -x1697 -x1699 -x1701 -x92 -x1703 -x1705 -x1707 -x93 -x1709 -x1711 -x1713 -x94
20.44/20.53 v -x1715 -x1717 -x1719 -x95 -x1721 -x1723 -x1725 -x96 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x97 -x1741 -x1743 -x1745 -x1747
20.44/20.53 v -x1749 -x1751 -x1753 -x98 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x99 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x100
20.44/20.53 v -x1781 -x1783 -x1785 -x101 -x1787 -x1789 -x1791 -x102 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x103 -x1807 -x1809 -x1811
20.44/20.53 v -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x104 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847
20.44/20.53 v -x1849 -x1851 -x1853 -x1855 -x1857 -x105 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x106 -x1881
20.44/20.53 v -x1883 -x1885 -x1887 -x1889 -x107 -x1891 -x1893 -x1895 -x1897 -x1899 -x108 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915
20.44/20.53 v -x1917 -x1919 -x1921 -x109 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x110 -x1945 -x1947 -x1949
20.44/20.53 v -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987
20.44/20.53 v -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025
20.44/20.53 v -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063
20.44/20.53 v -x2065 -x2067 -x2069 x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101
20.44/20.53 v -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x111 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x112 -x2129 -x2131 -x2133 -x2135
20.44/20.53 v -x2137 -x2139 -x2141 -x113 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x114 -x2165 -x2167 -x2169
20.44/20.53 v -x115 -x2171 -x2173 -x2175 -x116 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x117 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201
20.44/20.53 v -x2203 -x118 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237
20.44/20.53 v -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275
20.44/20.53 v -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x119 -x2305 -x2307 -x2309 -x2311
20.44/20.53 v -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x120 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347
20.44/20.53 v -x121 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x122 -x2371 -x2373 -x2375 -x123 -x2377 -x2379
20.44/20.53 v -x2381 -x124 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x125 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413
20.44/20.53 v -x2415 -x2417 -x126 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x127 -x2441 -x2443 -x128 -x2445
20.44/20.53 v -x2447 -x2449 -x129 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x130
20.44/20.53 v -x2481 -x2483 -x2485 -x131 -x2487 -x2489 -x2491 -x132 -x2493 -x2495 -x2497 -x2499 -x2501 -x133 -x2503 -x134 -x2505 -x135 -x2507
20.44/20.53 v -x2509 -x2511 -x2513 -x2515 -x136 -x2517 -x2519 -x2521 -x137 -x2523 -x2525 -x2527 -x138 -x2529 -x2531 -x2533 -x139 -x2535 -x2537
20.44/20.53 v -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x140 -x2565 -x2567 -x2569 -x141 -x2571
20.44/20.53 v -x2573 -x2575 -x142 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x143 -x2591 -x2593 -x2595 -x144 -x2597 -x2599 -x2601 -x145
20.44/20.53 v -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 x2623 -x2625 -x2627 -x2629 -x146 -x2631 -x2633 -x2635 -x2637
20.44/20.53 v -x2639 -x2641 -x2643 -x147 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673
20.44/20.53 v -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2698 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712
20.44/20.53 v -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750
20.44/20.53 v -x2752 -x2754 -x2756 -x2758 -x2760 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x148 -x2784 -x2786
20.44/20.53 v -x2788 -x2790 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x149 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822
20.44/20.53 v -x2824 -x2826 -x150 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x2854 -x2856 -x2858
20.44/20.53 v -x2860 -x151 -x2862 -x2864 -x2866 -x2868 -x2870 -x152 -x2872 -x2874 -x2876 -x2878 -x2880 -x153 -x2882 -x2884 -x2886 -x2888 -x2890
20.44/20.53 v -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x154 -x2904 -x2906 -x2908 -x2910 -x2912 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x155
20.44/20.53 v -x2926 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962
20.44/20.53 v -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000
20.44/20.53 v -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039
20.44/20.53 v -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x156 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075
20.44/20.53 v -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x157 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111
20.44/20.53 v -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x158 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x159 -x3139 -x3141 -x3143 -x3145
20.44/20.53 v -x3147 -x3149 -x3151 -x160 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x161 -x3175 -x3177 -x3179
20.44/20.53 v -x162 -x3181 -x3183 -x163 -x3186 -x3188 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x164 -x3208 -x3210 -x3212
20.44/20.53 v -x3214 -x3216 -x3218 -x3220 -x3222 -x3224 -x3226 -x3228 -x165 -x3230 -x3232 -x3234 -x166 -x3236 -x3238 -x3240 -x167 -x3242 -x3244
20.44/20.53 v -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x168 -x3272 -x3274 -x3276 -x169 -x3278
20.44/20.53 v -x3280 -x3282 -x170 -x3284 -x3286 -x3288 -x171 -x3290 -x3292 -x3294 -x3296 -x3298 -x172 -x3300 -x173 -x3302 -x174 -x3304 -x3306
20.44/20.53 v -x3308 -x175 -x3310 -x3312 -x3314 -x176 -x3316 -x3318 -x3320 -x177 -x3322 -x3324 -x3326 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338
20.44/20.53 v -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x178 -x3352 -x3354 -x3356 -x179 -x3358 -x3360 -x3362 -x180 -x3364 -x3366 -x3368 -x3370
20.44/20.53 v -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x3386 -x3388 -x3390 -x3392 x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x3406 -x3408
20.44/20.53 v -x3410 -x3412 -x3414 -x3416 -x3418 -x181 -x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 x3434 -x3436 -x3438 -x182 -x3440 -x3442
20.44/20.53 v -x3444 -x3446 -x3448 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x3464 -x3466 -x3468 x3470 -x3472 -x3474 -x3476 -x3478 -x3480
20.44/20.53 v -x3482 -x3484 -x3486 -x3488 -x3490 -x183 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 -x3514 -x3516
20.44/20.53 v -x3518 -x3520 -x184 -x3522 -x3524 -x3526 -x185 -x3528 -x3530 -x3532 -x186 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548
20.44/20.53 v -x3550 -x3552 -x3554 -x3556 -x3559 -x3561 -x187 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586
20.44/20.53 v -x3588 -x3590 -x188 -x3592 -x3594 -x189 -x3596 -x3598 -x3600 -x190 -x3602 -x3604 -x3606 -x191 -x3608 -x3610 -x3612 -x3614 -x3616
20.44/20.53 v -x192 -x3618 -x193 -x3620 -x194 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 x3634 x3636 -x3638 -x3640 -x3642 -x3644 x3646 -x3648 -x195
20.44/20.53 v -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3677 -x3679 -x3681 -x3683 -x3685 -x196
20.44/20.53 v -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3720 -x3723 -x3725
20.44/20.53 v -x197 -x3727 -x3729 -x3731 -x3733 -x3735 -x198 -x3737 -x3739 -x3741 -x3743 -x3745 -x199 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757
20.44/20.53 v -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3782 -x200 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796
20.44/20.53 v -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x3820 -x3822 -x201 -x3824 -x3826 -x3828 -x3830 x3832
20.44/20.53 v -x3834 -x202 -x3836 -x3838 -x3840 -x203 -x3842 -x3844 -x3846 -x3848 -x3850 -x204 x3852 x205 -x3854 -x206 -x3856 -x3858 -x3860 -x3862
20.44/20.53 v x3864 -x3866 -x3868 -x3870 x207 x3872 -x3874 -x3876 -x3878 -x3880 -x208 -x3882 -x3884 -x3886 -x3888 -x3890 -x209 -x3892 -x3894 x210
20.44/20.53 v -x3896 -x3898 -x3900 x3902 x3904 x3906 -x3908 -x211 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930
20.44/20.53 v x3932 -x3934 -x3936 -x212 x3938 x213 x3940 x214 -x3942 -x215 -x3944 x216
20.44/20.53 c SCIP Status : problem is solved [optimal solution found]
20.44/20.53 c Total Time : 20.53
20.44/20.53 c solving : 20.53
20.44/20.53 c presolving : 0.35 (included in solving)
20.44/20.53 c reading : 0.02 (included in solving)
20.44/20.53 c copying : 0.03 (6 #copies) (minimal 0.00, maximal 0.01, average 0.00)
20.44/20.53 c Original Problem :
20.44/20.53 c Problem name : HOME/instance-4497203-1751388061.opb
20.44/20.53 c Variables : 3945 (3945 binary, 0 integer, 0 continuous)
20.44/20.53 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.44/20.53 c Constraints : 8604 initial, 8604 maximal
20.44/20.53 c Objective : minimize, 1872 non-zeros (abs.min = 1080, abs.max = 2110)
20.44/20.53 c Presolved Problem :
20.44/20.53 c Problem name : t_HOME/instance-4497203-1751388061.opb
20.44/20.53 c Variables : 208 (208 binary, 0 integer, 0 continuous)
20.44/20.53 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
20.44/20.53 c Constraints : 438 initial, 438 maximal
20.44/20.53 c Objective : minimize, 190 non-zeros (abs.min = 1106, abs.max = 2956)
20.44/20.53 c Nonzeros : 18674 constraint, 300 clique table
20.44/20.53 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
20.44/20.53 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c domcol : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
20.44/20.53 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.44/20.53 c gateextraction : 0.01 0.00 45 0 0 0 0 0 1513 198 0 0
20.44/20.53 c implics : 0.00 0.00 53 0 0 0 0 0 0 0 0 0
20.44/20.53 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
20.44/20.53 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.44/20.53 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c trivial : 0.00 0.00 70 1756 0 0 0 0 0 0 0 0
20.44/20.53 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c dualfix : 0.00 0.00 70 5 0 0 0 0 0 0 0 0
20.44/20.53 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
20.44/20.53 c pseudoobj : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
20.44/20.53 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 2 0 0
20.44/20.53 c vbounds : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
20.44/20.53 c knapsack : 0.10 0.00 136 0 0 0 0 0 7 9 3 180
20.44/20.53 c setppc : 0.04 0.00 142 0 31 0 0 0 181 0 0 0
20.44/20.53 c and : 0.00 0.00 88 0 47 0 0 0 47 0 0 349
20.44/20.53 c linear : 0.10 0.01 88 5 1872 0 5 0 4833 0 0 1
20.44/20.53 c logicor : 0.00 0.00 133 14 7 0 0 0 28 0 0 664
20.44/20.53 c components : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
20.44/20.53 c root node : - - - 1845 - - 1845 - - - - -
20.44/20.53 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
20.44/20.53 c integral : 0 0 0 0 3 0 0 267 0 0 53 0 0 0 0
20.44/20.53 c knapsack : 115 115 138 12406 0 0 0 0 0 0 0 23 1 0 0
20.44/20.53 c setppc : 188 188 161 23054 0 0 0 249 184 4 265 0 0 0 0
20.44/20.53 c and : 18 18 161 23471 0 0 0 248 6 0 138 0 0 0 0
20.44/20.53 c linear : 78 78 111 5246 0 0 0 3 0 0 0 0 0 0 0
20.44/20.53 c logicor : 39 39 161 3125 0 0 0 71 4 3 2 75 7 0 0
20.44/20.53 c fixedvar : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
20.44/20.53 c countsols : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
20.44/20.53 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
20.44/20.53 c integral : 0.19 0.00 0.00 0.00 0.19 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c knapsack : 3.38 0.00 3.29 0.08 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c setppc : 0.15 0.00 0.01 0.12 0.00 0.00 0.00 0.02 0.00 0.00
20.44/20.53 c and : 0.05 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c linear : 1.02 0.01 0.97 0.04 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
20.44/20.53 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c Propagators : #Propagate #ResProp Cutoffs DomReds
20.44/20.53 c dualfix : 40 0 0 0
20.44/20.53 c genvbounds : 0 0 0 0
20.44/20.53 c nlobbt : 0 0 0 0
20.44/20.53 c obbt : 0 0 0 0
20.44/20.53 c probing : 0 0 0 0
20.44/20.53 c pseudoobj : 363 0 0 0
20.44/20.53 c redcost : 262 0 0 1344
20.44/20.53 c rootredcost : 0 0 0 0
20.44/20.53 c symmetry : 0 0 0 0
20.44/20.53 c vbounds : 9535 0 0 0
20.44/20.53 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
20.44/20.53 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
20.44/20.53 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
20.44/20.53 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.44/20.53 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
20.44/20.53 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
20.44/20.53 c Symmetry :
20.44/20.53 c #affected vars : 4 (4 bin, 0 int, 0 cont)
20.44/20.53 c orbitopal red. : 0 reductions applied, 0 cutoffs
20.44/20.53 c orbital reduction: 0 reductions applied, 0 cutoffs
20.44/20.53 c lexicographic red: 0 reductions applied, 0 cutoffs
20.44/20.53 c shadow tree time : 0.00 s
20.44/20.53 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
20.44/20.53 c propagation : 0.00 6 5 - 9 17.7 0 0.0 - - -
20.44/20.53 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.44/20.53 c bound exceed. LP : 0.02 43 24 - 39 11.0 0 0.0 5 1.0 240
20.44/20.53 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
20.44/20.53 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
20.44/20.53 c applied globally : 0.00 - - 5 42 12.2 - - 5 - -
20.44/20.53 c applied locally : - - - 0 0 0.0 - - 0 - -
20.44/20.53 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
20.44/20.53 c cut pool : 0.15 - 281 281 - - 9769 22235 - - - - - (maximal pool size: 1749)
20.44/20.53 c aggregation : 3.48 0.00 159 159 0 0 1 1 0 1 1 0 0
20.44/20.53 c > cmir : - - - - - - - 1 0 1 1 0 -
20.44/20.53 c > flowcover : - - - - - - - 0 0 0 0 0 -
20.44/20.53 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
20.44/20.53 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c clique : 0.05 0.00 159 159 0 0 1 1 0 0 0 0 0
20.44/20.53 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c gomory : 9.13 0.00 71 71 0 0 9631 21922 0 105 105 0 0
20.44/20.53 c > gomorymi : - - - - - - - 20199 0 96 96 0 -
20.44/20.53 c > strongcg : - - - - - - - 1723 0 9 9 0 -
20.44/20.53 c impliedbounds : 0.01 0.00 159 159 0 35 1 1 0 1 1 0 0
20.44/20.53 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c mcf : 0.01 0.00 8 8 0 0 0 0 0 0 0 0 0
20.44/20.53 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c multilinear : 0.00 0.00 161 161 0 0 0 0 0 0 0 0 0
20.44/20.53 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.44/20.53 c rlt : 0.00 0.00 73 73 0 0 0 0 0 0 0 0 0
20.44/20.53 c zerohalf : 0.28 0.00 125 125 0 0 135 310 0 112 112 0 0
20.44/20.53 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
20.44/20.53 c hybrid : 0.08 0.00 158 158 227 0 22106 227 0 22106
20.44/20.53 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c Pricers : ExecTime SetupTime Calls Vars
20.44/20.53 c problem variables: 0.00 - 0 0
20.44/20.53 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
20.44/20.53 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c random : 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c relpscost : 0.19 0.00 3 0 0 0 53 0 0 0
20.44/20.53 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
20.44/20.53 c Primal Heuristics : ExecTime SetupTime Calls Found Best
20.44/20.53 c LP solutions : 0.00 - - 0 0
20.44/20.53 c relax solutions : 0.00 - - 0 0
20.44/20.53 c pseudo solutions : 0.00 - - 0 0
20.44/20.53 c strong branching : 0.00 - - 0 0
20.44/20.53 c actconsdiving : 0.00 0.00 0 0 0
20.44/20.53 c adaptivediving : 0.00 0.00 0 0 0
20.44/20.53 c alns : 0.02 0.00 1 0 0
20.44/20.53 c bound : 0.00 0.00 0 0 0
20.44/20.53 c clique : 0.02 0.00 1 1 1
20.44/20.53 c coefdiving : 0.00 0.00 0 0 0
20.44/20.53 c completesol : 0.00 0.00 0 0 0
20.44/20.53 c conflictdiving : 0.12 0.00 8 1 1
20.44/20.53 c crossover : 0.00 0.00 0 0 0
20.44/20.53 c dins : 0.00 0.00 0 0 0
20.44/20.53 c distributiondivin: 0.00 0.00 0 0 0
20.44/20.53 c dks : 0.00 0.00 0 0 0
20.44/20.53 c dps : 0.00 0.00 0 0 0
20.44/20.53 c dualval : 0.00 0.00 0 0 0
20.44/20.53 c farkasdiving : 0.33 0.00 4 1 1
20.44/20.53 c feaspump : 0.04 0.00 1 1 1
20.44/20.53 c fixandinfer : 0.00 0.00 0 0 0
20.44/20.53 c fracdiving : 0.00 0.00 0 0 0
20.44/20.53 c gins : 0.00 0.00 0 0 0
20.44/20.53 c guideddiving : 0.00 0.00 0 0 0
20.44/20.53 c indicator : 0.00 0.00 0 0 0
20.44/20.53 c indicatordiving : 0.00 0.00 0 0 0
20.44/20.53 c intdiving : 0.00 0.00 0 0 0
20.44/20.53 c intshifting : 0.00 0.00 0 0 0
20.44/20.53 c linesearchdiving : 0.00 0.00 0 0 0
20.44/20.53 c localbranching : 0.00 0.00 0 0 0
20.44/20.53 c locks : 0.01 0.00 1 0 0
20.44/20.53 c lpface : 0.00 0.00 0 0 0
20.44/20.53 c mpec : 0.00 0.00 0 0 0
20.44/20.53 c multistart : 0.00 0.00 0 0 0
20.44/20.53 c mutation : 0.00 0.00 0 0 0
20.44/20.53 c nlpdiving : 0.00 0.00 0 0 0
20.44/20.53 c objpscostdiving : 0.00 0.00 0 0 0
20.44/20.53 c octane : 0.00 0.00 0 0 0
20.44/20.53 c ofins : 0.00 0.00 0 0 0
20.44/20.53 c oneopt : 0.01 0.00 3 0 0
20.44/20.53 c padm : 0.00 0.00 0 0 0
20.44/20.53 c proximity : 0.00 0.00 0 0 0
20.44/20.53 c pscostdiving : 0.00 0.00 0 0 0
20.44/20.53 c randrounding : 0.47 0.00 167 0 0
20.44/20.53 c rens : 0.27 0.00 5 5 2
20.44/20.53 c reoptsols : 0.00 0.00 0 0 0
20.44/20.53 c repair : 0.00 0.00 0 0 0
20.44/20.53 c rins : 0.00 0.00 0 0 0
20.44/20.53 c rootsoldiving : 0.00 0.00 0 0 0
20.44/20.53 c rounding : 0.02 0.00 100 0 0
20.44/20.53 c scheduler : 0.00 0.00 0 0 0
20.44/20.53 c shiftandpropagate: 0.00 0.00 0 0 0
20.44/20.53 c shifting : 0.02 0.00 100 0 0
20.44/20.53 c simplerounding : 0.00 0.00 237 0 0
20.44/20.53 c subnlp : 0.00 0.00 0 0 0
20.44/20.53 c trivial : 0.01 0.00 16 11 2
20.44/20.53 c trivialnegation : 0.00 0.00 0 0 0
20.44/20.53 c trustregion : 0.00 0.00 0 0 0
20.44/20.53 c trysol : 0.00 0.00 0 0 0
20.44/20.53 c twoopt : 0.00 0.00 0 0 0
20.44/20.53 c undercover : 0.00 0.00 1 0 0
20.44/20.53 c vbounds : 0.03 0.00 8 2 2
20.44/20.53 c veclendiving : 0.00 0.00 0 0 0
20.44/20.53 c zeroobj : 0.00 0.00 0 0 0
20.44/20.53 c zirounding : 0.00 0.00 7 0 0
20.44/20.53 c other solutions : - - - 0 -
20.44/20.53 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 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
20.44/20.53 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
20.44/20.53 c primal LP : 0.00 14 0 0.00 - 0.00 14
20.44/20.53 c dual LP : 0.66 246 9637 58.05 14613.49 0.03 80
20.44/20.53 c lex dual LP : 0.00 0 0 0.00 -
20.44/20.53 c barrier LP : 0.00 0 0 0.00 - 0.00 0
20.44/20.53 c resolve instable : 0.00 0 0 0.00 -
20.44/20.53 c diving/probing LP: 0.44 178 5608 31.51 12693.81
20.44/20.53 c strong branching : 0.16 12 2506 208.83 15212.50 - - 0
20.44/20.53 c (at root node) : - 12 2506 208.83 -
20.44/20.53 c conflict analysis: 0.01 24 240 10.00 23647.65
20.44/20.53 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
20.44/20.53 c benders : 0.00 0 0 0 0.00 0 0 0
20.44/20.53 c B&B Tree :
20.44/20.53 c number of runs : 8
20.44/20.53 c nodes : 1 (0 internal, 1 leaves)
20.44/20.53 c feasible leaves : 0
20.44/20.53 c infeas. leaves : 0
20.44/20.53 c objective leaves : 0
20.44/20.53 c nodes (total) : 8 (0 internal, 8 leaves)
20.44/20.53 c nodes left : 0
20.44/20.53 c max depth : 0
20.44/20.53 c max depth (total): 0
20.44/20.53 c backtracks : 0 (0.0%)
20.44/20.53 c early backtracks : 0 (0.0%)
20.44/20.53 c nodes exc. ref. : 0 (0.0%)
20.44/20.53 c delayed cutoffs : 0
20.44/20.53 c repropagations : 0 (0 domain reductions, 0 cutoffs)
20.44/20.53 c avg switch length: 2.00
20.44/20.53 c switching time : 0.00
20.44/20.53 c Root Node :
20.44/20.53 c First LP value : +4.95199000000000e+04
20.44/20.53 c First LP Iters : 629 (23352.52 Iter/sec)
20.44/20.53 c First LP Time : 0.03
20.44/20.53 c Final Dual Bound : -
20.44/20.53 c Final Root Iters : 9637
20.44/20.53 c Root LP Estimate : -
20.44/20.53 c Solution :
20.44/20.53 c Solutions found : 22 (10 improvements)
20.44/20.53 c First Solution : +3.03619300000000e+06 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
20.44/20.53 c Gap First Sol. : infinite
20.44/20.53 c Gap Last Sol. : 0.00 %
20.44/20.53 c Primal Bound : +5.07690000000000e+04 (in run 8, after 1 nodes, 20.53 seconds, depth 1, found by <conflictdiving>)
20.44/20.53 c Dual Bound : +5.07690000000000e+04
20.44/20.53 c Gap : 0.00 %
20.44/20.53 c Integrals : Total Avg%
20.44/20.53 c primal-dual : 60.11 2.93
20.44/20.53 c primal-ref : - - (not evaluated)
20.44/20.53 c dual-ref : - - (not evaluated)
20.44/20.55 c Time complete (sec): 20.502
OK 50769
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 (59228 MiB free)
memory of node 1: 64507 MiB (46746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497203-1751388061/watcher-4497203-1751388061 -o /tmp/evaluation-result-4497203-1751388061/solver-4497203-1751388061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4497203-1751388061.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=55333, runsolver pid=55328
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.15 4.16 4.10 5/263 55334
/proc/meminfo: memFree=108518852/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=53436 memory=40652 CPUtime=0.1 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 8086 0 0 0 9 1 0 0 20 0 1 0 54484970 54718464 10163 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 13359 10163 2528 2575 0 10266 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 53436 KiB
Current children cumulated memory: 40652 KiB
[startup+0.204531 s]*
/proc/loadavg: 4.15 4.16 4.10 5/263 55346
/proc/meminfo: memFree=108510192/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=73720 memory=57932 CPUtime=0.2 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 12298 0 0 0 18 2 0 0 20 0 1 0 54484970 75489280 14483 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 18430 14483 2656 2575 0 15337 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73720 KiB
Current children cumulated memory: 57932 KiB
[startup+0.305806 s]*
/proc/loadavg: 4.15 4.16 4.10 4/261 55352
/proc/meminfo: memFree=108501372/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=75820 memory=58828 CPUtime=0.3 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 12532 0 0 0 28 2 0 0 20 0 1 0 54484970 77639680 14707 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 18955 14707 2656 2575 0 15862 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75820 KiB
Current children cumulated memory: 58828 KiB
[startup+0.700167 s]
/proc/loadavg: 4.15 4.16 4.10 5/265 55365
/proc/meminfo: memFree=108472356/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=76584 memory=59596 CPUtime=0.69 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 12726 0 0 0 67 2 0 0 20 0 1 0 54484970 78422016 14899 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 19146 14899 2656 2575 0 16053 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76584 KiB
Current children cumulated memory: 59596 KiB
[startup+1.50012 s]
/proc/loadavg: 4.15 4.16 4.10 5/262 55365
/proc/meminfo: memFree=108392220/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=83424 memory=65996 CPUtime=1.48 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 14340 0 0 0 146 2 0 0 20 0 1 0 54484970 85426176 16499 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 20856 16499 2656 2575 0 17763 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83424 KiB
Current children cumulated memory: 65996 KiB
[startup+3.10558 s]
/proc/loadavg: 4.15 4.16 4.10 4/263 55450
/proc/meminfo: memFree=108430220/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=110084 memory=88816 CPUtime=3.09 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 20266 0 0 0 306 3 0 0 20 0 1 0 54484970 112726016 22204 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 27521 22204 2688 2575 0 24428 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 110084 KiB
Current children cumulated memory: 88816 KiB
[startup+6.30012 s]
/proc/loadavg: 4.13 4.15 4.10 5/265 55500
/proc/meminfo: memFree=107991372/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=188792 memory=167372 CPUtime=6.27 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 43845 0 0 0 621 6 0 0 20 0 1 0 54484970 193323008 41843 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 47198 41843 2688 2575 0 44105 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188792 KiB
Current children cumulated memory: 167372 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 55500
/proc/meminfo: memFree=107017764/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=214696 memory=194204 CPUtime=12.65 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 50764 0 0 0 1258 7 0 0 20 0 1 0 54484970 219848704 48551 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 53674 48551 2688 2575 0 50581 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 214696 KiB
Current children cumulated memory: 194204 KiB
[startup+20.5663 s]
# the end of solver process 55333 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.414 s, system=0.097721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.12 4.15 4.10 5/265 55500
/proc/meminfo: memFree=107017764/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=214696 memory=194204 CPUtime=12.75 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 50764 0 0 0 1268 7 0 0 20 0 1 0 54484970 219848704 48551 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 53674 48551 2688 2575 0 50581 0
Current children cumulated CPU time: 12.75 s
Current children cumulated vsize: 214696 KiB
Current children cumulated memory: 194204 KiB
[startup+16.0001 s]*
/proc/loadavg: 4.11 4.15 4.10 5/265 55500
/proc/meminfo: memFree=106969684/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=226096 memory=203676 CPUtime=15.96 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53125 0 0 0 1588 8 0 0 20 0 1 0 54484970 231522304 50919 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 56524 50919 2688 2575 0 53431 0
Current children cumulated CPU time: 15.96 s
Current children cumulated vsize: 226096 KiB
Current children cumulated memory: 203676 KiB
[startup+17.6001 s]
/proc/loadavg: 4.11 4.15 4.10 5/265 55500
/proc/meminfo: memFree=106897108/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=228444 memory=206620 CPUtime=17.54 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53853 0 0 0 1746 8 0 0 20 0 1 0 54484970 233926656 51655 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 57111 51655 2688 2575 0 54018 0
Current children cumulated CPU time: 17.54 s
Current children cumulated vsize: 228444 KiB
Current children cumulated memory: 206620 KiB
[startup+19.2001 s]
/proc/loadavg: 4.11 4.15 4.10 5/265 55500
/proc/meminfo: memFree=106897108/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=228444 memory=206620 CPUtime=19.14 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53858 0 0 0 1906 8 0 0 20 0 1 0 54484970 233926656 51655 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 57111 51655 2688 2575 0 54018 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 228444 KiB
Current children cumulated memory: 206620 KiB
[startup+20.0001 s]*
/proc/loadavg: 4.10 4.14 4.10 5/265 55500
/proc/meminfo: memFree=106889044/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=228444 memory=206620 CPUtime=19.94 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53858 0 0 0 1986 8 0 0 20 0 1 0 54484970 233926656 51655 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 57111 51655 2688 2575 0 54018 0
Current children cumulated CPU time: 19.94 s
Current children cumulated vsize: 228444 KiB
Current children cumulated memory: 206620 KiB
[startup+20.4001 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 55500
/proc/meminfo: memFree=106889044/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=228444 memory=207004 CPUtime=20.34 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53947 0 0 0 2026 8 0 0 20 0 1 0 54484970 233926656 51751 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 57111 51751 2688 2575 0 54018 0
Current children cumulated CPU time: 20.34 s
Current children cumulated vsize: 228444 KiB
Current children cumulated memory: 207004 KiB
[startup+20.5001 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 55500
/proc/meminfo: memFree=106889044/131249988 swapFree=33010160/33010684
[pid=55333] ppid=55328 vsize=228444 memory=207004 CPUtime=20.44 cores=4,6
/proc/55333/stat : 55333 (pbsolver) R 55328 55333 53573 0 -1 4194304 53947 0 0 0 2036 8 0 0 20 0 1 0 54484970 233926656 51751 18446744073709551615 4198400 14743177 140728043891568 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 24047616 140728043899274 140728043899370 140728043899370 140728043904972 0
/proc/55333/statm: 57111 51751 2688 2575 0 54018 0
Current children cumulated CPU time: 20.44 s
Current children cumulated vsize: 228444 KiB
Current children cumulated memory: 207004 KiB
Child status: 0
Real time (s): 20.5664
CPU time (s): 20.5117
CPU user time (s): 20.414
CPU system time (s): 0.097721
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 228444
Max. memory (cumulated for all children) (KiB): 207004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.414
system time used= 0.097721
maximum resident set size= 207004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53947
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 55333
# total CPU time (s): 20.5117
# total CPU user time (s): 20.414
# total CPU system time (s): 0.097721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038618 second user time and 0.131424 second system time
The end
Begin job on nodeC034 at 2025-07-01 18:41:01 IDJOB=4497203 IDBENCH=148155 IDSOLVER=3366 FILE ID=nodeC034/4497203-1751388061 RUNJOBID= nodeC034-1751384297-53584 SLURM_JOB_ID= 9598234 Free space on /tmp= 433008 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497203-1751388061/watcher-4497203-1751388061 -o /tmp/evaluation-result-4497203-1751388061/solver-4497203-1751388061 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751384297-53584 --watchdog 3760 pbsolver -f HOME/instance-4497203-1751388061.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768 RANDOM SEED=1150349587 nodeC034 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.136 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.53 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.755 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.763 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.53 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 : 3621.539 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.53 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 : 3602.343 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.763 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.53 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.172 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3700.000 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 108518852 kB MemAvailable: 128957184 kB Buffers: 2128 kB Cached: 21179088 kB SwapCached: 36 kB Active: 1204264 kB Inactive: 20738992 kB Active(anon): 775900 kB Inactive(anon): 4208 kB Active(file): 428364 kB Inactive(file): 20734784 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 30448 kB Writeback: 28 kB AnonPages: 764780 kB Mapped: 125584 kB Shmem: 18068 kB KReclaimable: 228444 kB Slab: 319372 kB SReclaimable: 228444 kB SUnreclaim: 90928 kB KernelStack: 4176 kB PageTables: 4400 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 1109332 kB VmallocTotal: 34359738367 kB VmallocUsed: 150520 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 266240 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 432976 MiB End job on nodeC034 at 2025-07-01 18:41:22