Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 50769 | 20.9739 | 21.0518 |
| 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.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4497202-1751390492.opb>
0.00/0.03 c original problem has 3945 variables (3945 bin, 0 int, 0 impl, 0 cont) and 8604 constraints
0.00/0.03 c problem read in 0.02
0.00/0.04 o 3036193
0.00/0.04 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 3.036193e+06
0.00/0.04 c presolving:
0.00/0.06 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.06 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.06 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.06 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.06 c (0.1s) running MILP presolver
0.00/0.07 c (0.1s) MILP presolver found nothing
0.00/0.08 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.08 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.08 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.09 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.09 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.08/0.12 c (0.1s) probing: 51/2063 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.08/0.12 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.08/0.12 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.08/0.12 c (0.1s) symmetry computation finished: 2 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.08/0.12 c dynamic symmetry handling statistics:
0.08/0.12 c orbitopal reduction: no components
0.08/0.12 c orbital reduction: no components
0.08/0.12 c lexicographic reduction: no permutations
0.08/0.12 c handled 2 out of 2 symmetry components
0.08/0.12 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.08/0.13 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.08/0.13 c presolving (12 rounds: 12 fast, 7 medium, 7 exhaustive):
0.08/0.13 c 1882 deleted vars, 6345 deleted constraints, 200 added constraints, 5 tightened bounds, 0 added holes, 0 changed sides, 5 changed coefficients
0.08/0.13 c 0 implications, 3550 cliques
0.08/0.13 c presolved problem has 2063 variables (2063 bin, 0 int, 0 impl, 0 cont) and 2459 constraints
0.08/0.13 c 2235 constraints of type <setppc>
0.08/0.13 c 198 constraints of type <and>
0.08/0.13 c 26 constraints of type <logicor>
0.08/0.13 c transformed objective value is always integral (scale: 1)
0.08/0.13 c Presolving Time: 0.09
0.08/0.13 c - non default parameters ----------------------------------------------------------------------
0.08/0.13 c # SCIP version 10.0.0
0.08/0.13 c
0.08/0.13 c # maximal time in seconds to run
0.08/0.13 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.08/0.13 c limits/time = 3596.997011
0.08/0.13 c
0.08/0.13 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.13 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.08/0.13 c limits/memory = 27900
0.08/0.13 c
0.08/0.13 c # belongs reading time to solving time?
0.08/0.13 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.08/0.13 c timing/reading = TRUE
0.08/0.13 c
0.08/0.13 c -----------------------------------------------------------------------------------------------
0.08/0.13 c start solving
0.08/0.13 c
0.08/0.14 o 3028228
0.08/0.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.14 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.08/0.15 o 64176
0.08/0.15 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.08/0.17 o 56383
0.08/0.17 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.08/0.19 o 54505
0.08/0.19 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.19/0.23 c 0.2s| 1 | 0 | 643 | - | 50M | 0 |2063 |2464 |2657 | 0 | 0 | 5 | 0 | 4.951990e+04 | 5.450500e+04 | 10.07%| unknown
0.98/1.03 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.67/1.75 c 1.7s| 1 | 0 | 805 | - | 61M | 0 |2063 |2464 |2661 | 4 | 2 | 5 | 0 | 4.989514e+04 | 5.450500e+04 | 9.24%| unknown
1.77/1.86 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.87/1.97 c 2.0s| 1 | 0 | 946 | - | 62M | 0 |2063 |2464 |2666 | 9 | 4 | 5 | 0 | 4.999851e+04 | 5.450500e+04 | 9.01%| unknown
1.98/2.08 c 2.1s| 1 | 0 | 1008 | - | 63M | 0 |2063 |2464 |2668 | 11 | 5 | 5 | 0 | 5.002746e+04 | 5.450500e+04 | 8.95%| unknown
2.17/2.20 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.27/2.32 c 2.3s| 1 | 0 | 1117 | - | 63M | 0 |2063 |2464 |2674 | 17 | 7 | 5 | 0 | 5.005616e+04 | 5.450500e+04 | 8.89%| unknown
2.37/2.43 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.47/2.54 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.57/2.66 c 2.7s| 1 | 0 | 1235 | - | 64M | 0 |2063 |2464 |2681 | 24 | 10 | 5 | 0 | 5.009028e+04 | 5.450500e+04 | 8.81%| unknown
2.57/2.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.57/2.68 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.67/2.70 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.67/2.72 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.67/2.73 c 2.7s| 1 | 0 | 1408 | - | 65M | 0 |2063 |2464 |2691 | 34 | 14 | 5 | 0 | 5.015690e+04 | 5.450500e+04 | 8.67%| unknown
2.67/2.75 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.67/2.77 c 2.8s| 1 | 0 | 1476 | - | 66M | 0 |2063 |2464 |2693 | 38 | 16 | 5 | 0 | 5.016723e+04 | 5.450500e+04 | 8.65%| unknown
2.67/2.79 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.77/2.81 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.77/2.83 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.77/2.85 c 2.8s| 1 | 0 | 1598 | - | 67M | 0 |2063 |2464 |2698 | 43 | 20 | 5 | 0 | 5.017889e+04 | 5.450500e+04 | 8.62%| unknown
2.97/3.05 o 53551
2.97/3.05 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.97/3.09 o 50995
2.97/3.09 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.07/3.17 o 50878
3.07/3.17 c L 3.2s| 1 | 0 | 4075 | - | rens| 0 |2063 |2469 |2698 | 43 | 21 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.07/3.19 c 3.2s| 1 | 0 | 4075 | - | 68M | 0 |2063 |2469 |2698 | 43 | 21 | 10 | 0 | 5.017889e+04 | 5.087800e+04 | 1.39%| unknown
3.17/3.20 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.17/3.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.17/3.21 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.17/3.21 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.17/3.22 c (run 1, node 1) restarting after 1321 global fixings of integer variables
3.17/3.22 c
3.17/3.23 c (restart) converted 40 cuts from the global cut pool into linear constraints
3.17/3.23 c
3.17/3.24 c presolving:
3.17/3.24 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.17/3.24 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.17/3.24 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.17/3.25 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.17/3.26 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.17/3.27 c presolving (6 rounds: 6 fast, 4 medium, 3 exhaustive):
3.17/3.27 c 1344 deleted vars, 23 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 392 changed coefficients
3.17/3.27 c 0 implications, 1094 cliques
3.17/3.27 c presolved problem has 719 variables (719 bin, 0 int, 0 impl, 0 cont) and 938 constraints
3.17/3.27 c 39 constraints of type <knapsack>
3.17/3.27 c 799 constraints of type <setppc>
3.17/3.27 c 64 constraints of type <and>
3.17/3.27 c 36 constraints of type <logicor>
3.17/3.27 c transformed objective value is always integral (scale: 1)
3.17/3.27 c Presolving Time: 0.13
3.17/3.27 c transformed 5/9 original solutions to the transformed problem space
3.17/3.27 c
3.27/3.30 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3.27/3.30 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.27/3.30 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.47/3.58 c 3.6s| 1 | 0 | 4725 | - | 81M | 0 | 719 | 892 | 947 | 2 | 1 | 10 | 0 | 5.020097e+04 | 5.087800e+04 | 1.35%| unknown
3.47/3.58 c 3.6s| 1 | 0 | 4725 | - | 81M | 0 | 719 | 892 | 941 | 2 | 1 | 10 | 0 | 5.020097e+04 | 5.087800e+04 | 1.35%| unknown
3.77/3.84 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.77/3.84 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.98/4.08 c 4.1s| 1 | 0 | 4852 | - | 105M | 0 | 719 | 881 | 939 | 5 | 3 | 10 | 0 | 5.023050e+04 | 5.087800e+04 | 1.29%| unknown
3.98/4.08 c 4.1s| 1 | 0 | 4852 | - | 105M | 0 | 719 | 881 | 929 | 5 | 3 | 10 | 0 | 5.023050e+04 | 5.087800e+04 | 1.29%| unknown
4.27/4.30 c 4.3s| 1 | 0 | 4886 | - | 115M | 0 | 719 | 871 | 931 | 7 | 4 | 10 | 0 | 5.023606e+04 | 5.087800e+04 | 1.28%| unknown
4.46/4.51 c 4.5s| 1 | 0 | 4928 | - | 121M | 0 | 719 | 871 | 932 | 8 | 5 | 10 | 0 | 5.023905e+04 | 5.087800e+04 | 1.27%| unknown
4.46/4.51 c 4.5s| 1 | 0 | 4928 | - | 121M | 0 | 719 | 871 | 931 | 8 | 5 | 10 | 0 | 5.023905e+04 | 5.087800e+04 | 1.27%| unknown
4.66/4.74 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.66/4.74 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.87/4.96 c 5.0s| 1 | 0 | 5060 | - | 132M | 0 | 719 | 871 | 934 | 11 | 7 | 10 | 0 | 5.024929e+04 | 5.087800e+04 | 1.25%| unknown
4.87/4.97 c 5.0s| 1 | 0 | 5060 | - | 132M | 0 | 719 | 871 | 931 | 11 | 7 | 10 | 0 | 5.024929e+04 | 5.087800e+04 | 1.25%| unknown
5.07/5.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
5.07/5.19 c 5.2s| 1 | 0 | 5111 | - | 147M | 0 | 719 | 868 | 933 | 13 | 8 | 10 | 0 | 5.025299e+04 | 5.087800e+04 | 1.24%| unknown
5.36/5.42 c 5.4s| 1 | 0 | 5171 | - | 150M | 0 | 719 | 868 | 935 | 15 | 9 | 10 | 0 | 5.025569e+04 | 5.087800e+04 | 1.24%| unknown
5.36/5.43 c 5.4s| 1 | 0 | 5171 | - | 150M | 0 | 719 | 868 | 933 | 15 | 9 | 10 | 0 | 5.025569e+04 | 5.087800e+04 | 1.24%| unknown
5.56/5.66 c 5.7s| 1 | 0 | 5228 | - | 164M | 0 | 719 | 867 | 935 | 17 | 10 | 10 | 0 | 5.025725e+04 | 5.087800e+04 | 1.24%| unknown
5.67/5.72 c 5.7s| 1 | 0 | 5253 | - | 164M | 0 | 719 | 867 | 937 | 19 | 11 | 10 | 0 | 5.025760e+04 | 5.087800e+04 | 1.23%| unknown
5.67/5.77 c 5.8s| 1 | 0 | 5287 | - | 164M | 0 | 719 | 867 | 926 | 21 | 12 | 10 | 0 | 5.025800e+04 | 5.087800e+04 | 1.23%| unknown
5.77/5.83 c 5.8s| 1 | 0 | 5309 | - | 164M | 0 | 719 | 867 | 928 | 23 | 13 | 10 | 0 | 5.025816e+04 | 5.087800e+04 | 1.23%| unknown
5.77/5.88 c 5.9s| 1 | 0 | 5358 | - | 164M | 0 | 719 | 867 | 931 | 26 | 14 | 10 | 0 | 5.025934e+04 | 5.087800e+04 | 1.23%| unknown
5.87/5.94 c 5.9s| 1 | 0 | 5374 | - | 164M | 0 | 719 | 867 | 932 | 27 | 15 | 10 | 0 | 5.025949e+04 | 5.087800e+04 | 1.23%| unknown
5.87/5.99 c 6.0s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 867 | 933 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.87/6.00 c 6.0s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 867 | 930 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.87/6.00 c 6.0s| 1 | 0 | 5412 | - | 164M | 0 | 719 | 849 | 930 | 28 | 16 | 10 | 0 | 5.026021e+04 | 5.087800e+04 | 1.23%| unknown
5.97/6.06 c 6.0s| 1 | 0 | 5426 | - | 164M | 0 | 719 | 849 | 931 | 29 | 17 | 10 | 0 | 5.026030e+04 | 5.087800e+04 | 1.23%| unknown
6.07/6.12 c 6.1s| 1 | 0 | 5432 | - | 164M | 0 | 719 | 849 | 924 | 30 | 18 | 10 | 0 | 5.026032e+04 | 5.087800e+04 | 1.23%| unknown
6.07/6.17 c 6.2s| 1 | 0 | 5453 | - | 164M | 0 | 719 | 849 | 926 | 32 | 19 | 10 | 0 | 5.026066e+04 | 5.087800e+04 | 1.23%| unknown
6.17/6.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.17/6.22 c 6.2s| 1 | 0 | 5473 | - | 164M | 0 | 719 | 849 | 928 | 34 | 20 | 10 | 0 | 5.026101e+04 | 5.087800e+04 | 1.23%| unknown
6.17/6.28 c 6.3s| 1 | 0 | 5475 | - | 164M | 0 | 719 | 849 | 929 | 35 | 21 | 10 | 0 | 5.026103e+04 | 5.087800e+04 | 1.23%| unknown
6.26/6.34 c 6.3s| 1 | 0 | 5502 | - | 164M | 0 | 719 | 849 | 931 | 37 | 22 | 10 | 0 | 5.026140e+04 | 5.087800e+04 | 1.23%| unknown
6.26/6.39 c 6.4s| 1 | 0 | 5513 | - | 164M | 0 | 719 | 849 | 933 | 39 | 23 | 10 | 0 | 5.026146e+04 | 5.087800e+04 | 1.23%| unknown
6.36/6.45 c 6.4s| 1 | 0 | 5523 | - | 164M | 0 | 719 | 849 | 929 | 40 | 24 | 10 | 0 | 5.026148e+04 | 5.087800e+04 | 1.23%| unknown
6.46/6.51 c 6.5s| 1 | 0 | 5524 | - | 164M | 0 | 719 | 849 | 930 | 41 | 25 | 10 | 0 | 5.026148e+04 | 5.087800e+04 | 1.23%| unknown
6.46/6.57 c 6.6s| 1 | 0 | 5526 | - | 164M | 0 | 719 | 849 | 931 | 42 | 26 | 10 | 0 | 5.026149e+04 | 5.087800e+04 | 1.23%| unknown
6.56/6.63 c 6.6s| 1 | 0 | 5531 | - | 164M | 0 | 719 | 849 | 932 | 43 | 27 | 10 | 0 | 5.026151e+04 | 5.087800e+04 | 1.23%| unknown
6.66/6.76 o 50806
6.66/6.76 c L 6.7s| 1 | 0 | 6420 | - | rens| 0 | 719 | 850 | 932 | 43 | 27 | 11 | 0 | 5.026151e+04 | 5.080600e+04 | 1.08%| unknown
6.66/6.76 c (run 2, node 1) restarting after 76 global fixings of integer variables
6.66/6.76 c
6.66/6.76 c (restart) converted 39 cuts from the global cut pool into linear constraints
6.66/6.76 c
6.76/6.84 c presolving:
6.76/6.85 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.76/6.86 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.76/6.87 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.76/6.88 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.76/6.88 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
6.76/6.88 c 94 deleted vars, 18 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 78 changed coefficients
6.76/6.88 c 0 implications, 935 cliques
6.76/6.88 c presolved problem has 625 variables (625 bin, 0 int, 0 impl, 0 cont) and 871 constraints
6.76/6.88 c 56 constraints of type <knapsack>
6.76/6.88 c 703 constraints of type <setppc>
6.76/6.88 c 53 constraints of type <and>
6.76/6.88 c 22 constraints of type <linear>
6.76/6.88 c 37 constraints of type <logicor>
6.76/6.88 c transformed objective value is always integral (scale: 1)
6.76/6.88 c Presolving Time: 0.18
6.76/6.89 c transformed 5/11 original solutions to the transformed problem space
6.76/6.89 c
6.86/6.93 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
6.86/6.93 c 6.9s| 1 | 0 | 7132 | - | 156M | 0 | 625 | 871 | 913 | 0 | 0 | 11 | 0 | 5.026198e+04 | 5.080600e+04 | 1.08%| unknown
6.86/6.93 c 6.9s| 1 | 0 | 7132 | - | 156M | 0 | 625 | 871 | 887 | 0 | 0 | 11 | 0 | 5.026198e+04 | 5.080600e+04 | 1.08%| unknown
7.16/7.28 c 7.3s| 1 | 0 | 7177 | - | 157M | 0 | 625 | 845 | 886 | 2 | 1 | 11 | 0 | 5.026390e+04 | 5.080600e+04 | 1.08%| unknown
7.16/7.28 c 7.3s| 1 | 0 | 7177 | - | 157M | 0 | 625 | 845 | 884 | 2 | 1 | 11 | 0 | 5.026390e+04 | 5.080600e+04 | 1.08%| unknown
7.46/7.56 c 7.5s| 1 | 0 | 7246 | - | 157M | 0 | 625 | 840 | 886 | 4 | 2 | 11 | 0 | 5.026581e+04 | 5.080600e+04 | 1.07%| unknown
7.76/7.86 c 7.8s| 1 | 0 | 7288 | - | 156M | 0 | 625 | 840 | 887 | 5 | 3 | 11 | 0 | 5.026636e+04 | 5.080600e+04 | 1.07%| unknown
8.06/8.18 c 8.2s| 1 | 0 | 7330 | - | 160M | 0 | 625 | 840 | 888 | 6 | 4 | 11 | 0 | 5.026756e+04 | 5.080600e+04 | 1.07%| unknown
8.06/8.18 c 8.2s| 1 | 0 | 7330 | - | 160M | 0 | 625 | 840 | 886 | 6 | 4 | 11 | 0 | 5.026756e+04 | 5.080600e+04 | 1.07%| unknown
8.46/8.50 c 8.5s| 1 | 0 | 7368 | - | 159M | 0 | 625 | 838 | 887 | 7 | 5 | 11 | 0 | 5.026857e+04 | 5.080600e+04 | 1.07%| unknown
8.76/8.80 c 8.8s| 1 | 0 | 7431 | - | 160M | 0 | 625 | 838 | 888 | 8 | 6 | 11 | 0 | 5.027189e+04 | 5.080600e+04 | 1.06%| unknown
8.96/9.08 c 9.1s| 1 | 0 | 7499 | - | 160M | 0 | 625 | 838 | 889 | 9 | 7 | 11 | 0 | 5.027555e+04 | 5.080600e+04 | 1.06%| unknown
8.96/9.08 c 9.1s| 1 | 0 | 7499 | - | 160M | 0 | 625 | 838 | 885 | 9 | 7 | 11 | 0 | 5.027555e+04 | 5.080600e+04 | 1.06%| unknown
9.25/9.37 c 9.4s| 1 | 0 | 7543 | - | 166M | 0 | 625 | 834 | 887 | 11 | 8 | 11 | 0 | 5.027758e+04 | 5.080600e+04 | 1.05%| unknown
9.55/9.68 c 9.7s| 1 | 0 | 7613 | - | 167M | 0 | 625 | 834 | 888 | 12 | 9 | 11 | 0 | 5.028045e+04 | 5.080600e+04 | 1.05%| unknown
9.85/9.97 c 10.0s| 1 | 0 | 7683 | - | 168M | 0 | 625 | 834 | 890 | 14 | 10 | 11 | 0 | 5.028184e+04 | 5.080600e+04 | 1.04%| unknown
9.85/9.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
9.85/9.97 c 10.0s| 1 | 0 | 7683 | - | 168M | 0 | 625 | 834 | 889 | 14 | 10 | 11 | 0 | 5.028184e+04 | 5.080600e+04 | 1.04%| unknown
9.96/10.08 c 10.1s| 1 | 0 | 7740 | - | 169M | 0 | 625 | 833 | 892 | 17 | 11 | 11 | 0 | 5.028269e+04 | 5.080600e+04 | 1.04%| unknown
9.96/10.09 c 10.1s| 1 | 0 | 7740 | - | 169M | 0 | 625 | 833 | 890 | 17 | 11 | 11 | 0 | 5.028269e+04 | 5.080600e+04 | 1.04%| unknown
10.25/10.36 c 10.3s| 1 | 0 | 8619 | - | 169M | 0 | 625 | 831 | 890 | 17 | 11 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.25/10.36 c 10.4s| 1 | 0 | 8619 | - | 169M | 0 | 625 | 831 | 872 | 17 | 11 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.35/10.45 c 10.4s| 1 | 0 | 8681 | - | 169M | 0 | 625 | 814 | 873 | 18 | 12 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.35/10.45 c 10.4s| 1 | 0 | 8681 | - | 169M | 0 | 625 | 814 | 838 | 18 | 12 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.35/10.46 c 10.4s| 1 | 0 | 8697 | - | 169M | 0 | 625 | 814 | 839 | 19 | 13 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.35/10.46 c 10.5s| 1 | 0 | 8697 | - | 169M | 0 | 625 | 778 | 839 | 19 | 13 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.45/10.55 c 10.5s| 1 | 0 | 8718 | - | 169M | 0 | 625 | 778 | 841 | 21 | 14 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.45/10.55 c 10.5s| 1 | 0 | 8721 | - | 169M | 0 | 625 | 778 | 842 | 22 | 15 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.45/10.56 c 10.5s| 1 | 0 | 8721 | - | 169M | 0 | 625 | 778 | 841 | 22 | 15 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.45/10.56 c (run 3, node 1) restarting after 78 global fixings of integer variables
10.45/10.56 c
10.45/10.56 c (restart) converted 22 cuts from the global cut pool into linear constraints
10.45/10.56 c
10.55/10.63 c presolving:
10.55/10.64 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.55/10.65 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.55/10.66 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.55/10.66 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.55/10.67 c presolving (5 rounds: 5 fast, 4 medium, 3 exhaustive):
10.55/10.67 c 90 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 122 changed coefficients
10.55/10.67 c 0 implications, 773 cliques
10.55/10.67 c presolved problem has 535 variables (535 bin, 0 int, 0 impl, 0 cont) and 785 constraints
10.55/10.67 c 68 constraints of type <knapsack>
10.55/10.67 c 600 constraints of type <setppc>
10.55/10.67 c 44 constraints of type <and>
10.55/10.67 c 32 constraints of type <linear>
10.55/10.67 c 41 constraints of type <logicor>
10.55/10.67 c transformed objective value is always integral (scale: 1)
10.55/10.67 c Presolving Time: 0.22
10.55/10.67 c transformed 5/13 original solutions to the transformed problem space
10.55/10.67 c
10.65/10.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.65/10.71 c 10.7s| 1 | 0 | 9413 | - | 164M | 0 | 535 | 785 | 814 | 0 | 0 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.65/10.71 c 10.7s| 1 | 0 | 9413 | - | 164M | 0 | 535 | 785 | 801 | 0 | 0 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.85/10.92 c 10.9s| 1 | 0 | 9440 | - | 164M | 0 | 535 | 773 | 803 | 2 | 1 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
10.85/10.92 c 10.9s| 1 | 0 | 9440 | - | 164M | 0 | 535 | 773 | 801 | 2 | 1 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.05/11.14 c 11.1s| 1 | 0 | 9480 | - | 165M | 0 | 535 | 771 | 803 | 4 | 2 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.05/11.15 c 11.1s| 1 | 0 | 9480 | - | 165M | 0 | 535 | 771 | 792 | 4 | 2 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.25/11.33 c 11.3s| 1 | 0 | 9516 | - | 167M | 0 | 535 | 760 | 793 | 5 | 3 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.25/11.34 c 11.3s| 1 | 0 | 9516 | - | 167M | 0 | 535 | 760 | 786 | 5 | 3 | 22 | 9 | 5.035637e+04 | 5.080600e+04 | 0.89%| unknown
11.44/11.53 c 11.5s| 1 | 0 | 9547 | - | 169M | 0 | 535 | 753 | 788 | 7 | 4 | 22 | 9 | 5.036266e+04 | 5.080600e+04 | 0.88%| unknown
11.44/11.53 c 11.5s| 1 | 0 | 9547 | - | 169M | 0 | 535 | 753 | 782 | 7 | 4 | 22 | 9 | 5.036266e+04 | 5.080600e+04 | 0.88%| unknown
11.64/11.73 c 11.7s| 1 | 0 | 9585 | - | 171M | 0 | 535 | 748 | 783 | 8 | 5 | 22 | 9 | 5.036665e+04 | 5.080600e+04 | 0.87%| unknown
11.64/11.74 c 11.7s| 1 | 0 | 9585 | - | 171M | 0 | 535 | 748 | 781 | 8 | 5 | 22 | 9 | 5.036665e+04 | 5.080600e+04 | 0.87%| unknown
11.84/11.92 c 11.9s| 1 | 0 | 9644 | - | 172M | 0 | 535 | 747 | 783 | 10 | 6 | 22 | 9 | 5.037809e+04 | 5.080600e+04 | 0.85%| unknown
11.84/11.92 c 11.9s| 1 | 0 | 9644 | - | 172M | 0 | 535 | 747 | 776 | 10 | 6 | 22 | 9 | 5.037809e+04 | 5.080600e+04 | 0.85%| unknown
12.05/12.12 c 12.1s| 1 | 0 | 9723 | - | 174M | 0 | 535 | 740 | 778 | 12 | 7 | 22 | 9 | 5.038724e+04 | 5.080600e+04 | 0.83%| unknown
12.05/12.12 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
12.05/12.12 c 12.1s| 1 | 0 | 9723 | - | 174M | 0 | 535 | 740 | 775 | 12 | 7 | 22 | 9 | 5.038724e+04 | 5.080600e+04 | 0.83%| unknown
12.24/12.30 c 12.3s| 1 | 0 | 9739 | - | 176M | 0 | 535 | 737 | 776 | 13 | 8 | 22 | 9 | 5.038811e+04 | 5.080600e+04 | 0.83%| unknown
12.24/12.31 c 12.3s| 1 | 0 | 9739 | - | 176M | 0 | 535 | 737 | 775 | 13 | 8 | 22 | 9 | 5.038811e+04 | 5.080600e+04 | 0.83%| unknown
12.34/12.49 c 12.5s| 1 | 0 | 9780 | - | 178M | 0 | 535 | 736 | 776 | 14 | 9 | 22 | 9 | 5.039026e+04 | 5.080600e+04 | 0.83%| unknown
12.54/12.69 c 12.7s| 1 | 0 | 9800 | - | 187M | 0 | 535 | 736 | 777 | 15 | 10 | 22 | 9 | 5.039104e+04 | 5.080600e+04 | 0.82%| unknown
12.64/12.76 c 12.8s| 1 | 0 | 9858 | - | 187M | 0 | 535 | 736 | 779 | 17 | 11 | 22 | 9 | 5.039620e+04 | 5.080600e+04 | 0.81%| unknown
12.64/12.77 c 12.8s| 1 | 0 | 9858 | - | 187M | 0 | 535 | 736 | 775 | 17 | 11 | 22 | 9 | 5.039620e+04 | 5.080600e+04 | 0.81%| unknown
12.74/12.84 c 12.8s| 1 | 0 | 9878 | - | 187M | 0 | 535 | 732 | 776 | 18 | 12 | 22 | 9 | 5.039697e+04 | 5.080600e+04 | 0.81%| unknown
12.84/12.92 c 12.9s| 1 | 0 | 9902 | - | 187M | 0 | 535 | 732 | 707 | 19 | 13 | 22 | 9 | 5.039781e+04 | 5.080600e+04 | 0.81%| unknown
12.84/12.96 c 13.0s| 1 | 0 | 9911 | - | 187M | 0 | 535 | 732 | 708 | 20 | 14 | 22 | 9 | 5.039798e+04 | 5.080600e+04 | 0.81%| unknown
12.94/13.00 c 13.0s| 1 | 0 | 9927 | - | 187M | 0 | 535 | 732 | 709 | 21 | 15 | 22 | 9 | 5.039833e+04 | 5.080600e+04 | 0.81%| unknown
12.94/13.00 c 13.0s| 1 | 0 | 9927 | - | 187M | 0 | 535 | 732 | 708 | 21 | 15 | 22 | 9 | 5.039833e+04 | 5.080600e+04 | 0.81%| unknown
12.94/13.04 c 13.0s| 1 | 0 | 9945 | - | 187M | 0 | 535 | 731 | 711 | 24 | 16 | 22 | 9 | 5.039880e+04 | 5.080600e+04 | 0.81%| unknown
12.94/13.09 c 13.1s| 1 | 0 | 9960 | - | 187M | 0 | 535 | 731 | 712 | 25 | 17 | 22 | 9 | 5.039906e+04 | 5.080600e+04 | 0.81%| unknown
13.04/13.13 c 13.1s| 1 | 0 | 9999 | - | 187M | 0 | 535 | 731 | 714 | 27 | 18 | 22 | 9 | 5.040002e+04 | 5.080600e+04 | 0.81%| unknown
13.04/13.18 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.04/13.18 c 13.2s| 1 | 0 | 10023 | - | 187M | 0 | 535 | 731 | 706 | 28 | 19 | 22 | 9 | 5.040114e+04 | 5.080600e+04 | 0.80%| unknown
13.14/13.22 c 13.2s| 1 | 0 | 10046 | - | 188M | 0 | 535 | 731 | 707 | 29 | 20 | 22 | 9 | 5.040218e+04 | 5.080600e+04 | 0.80%| unknown
13.14/13.23 c 13.2s| 1 | 0 | 10046 | - | 188M | 0 | 535 | 731 | 704 | 29 | 20 | 22 | 9 | 5.040218e+04 | 5.080600e+04 | 0.80%| unknown
13.14/13.26 c 13.3s| 1 | 0 | 10067 | - | 188M | 0 | 535 | 728 | 705 | 30 | 21 | 22 | 9 | 5.040242e+04 | 5.080600e+04 | 0.80%| unknown
13.14/13.27 c 13.3s| 1 | 0 | 10067 | - | 188M | 0 | 535 | 714 | 705 | 30 | 21 | 22 | 9 | 5.040242e+04 | 5.080600e+04 | 0.80%| unknown
13.24/13.30 c 13.3s| 1 | 0 | 10087 | - | 188M | 0 | 535 | 714 | 706 | 31 | 22 | 22 | 9 | 5.040330e+04 | 5.080600e+04 | 0.80%| unknown
13.24/13.35 c 13.3s| 1 | 0 | 10098 | - | 188M | 0 | 535 | 714 | 707 | 32 | 23 | 22 | 9 | 5.040338e+04 | 5.080600e+04 | 0.80%| unknown
13.24/13.39 c 13.4s| 1 | 0 | 10100 | - | 188M | 0 | 535 | 714 | 708 | 33 | 24 | 22 | 9 | 5.040340e+04 | 5.080600e+04 | 0.80%| unknown
13.33/13.43 c 13.4s| 1 | 0 | 10114 | - | 188M | 0 | 535 | 714 | 705 | 34 | 25 | 22 | 9 | 5.040380e+04 | 5.080600e+04 | 0.80%| unknown
13.33/13.47 c 13.5s| 1 | 0 | 10135 | - | 188M | 0 | 535 | 714 | 706 | 35 | 26 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.33/13.48 c 13.5s| 1 | 0 | 10135 | - | 188M | 0 | 535 | 714 | 698 | 35 | 26 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.43/13.52 c 13.5s| 1 | 0 | 10137 | - | 188M | 0 | 535 | 712 | 699 | 36 | 27 | 22 | 9 | 5.040422e+04 | 5.080600e+04 | 0.80%| unknown
13.43/13.56 c 13.6s| 1 | 0 | 10139 | - | 188M | 0 | 535 | 712 | 700 | 37 | 28 | 22 | 9 | 5.040425e+04 | 5.080600e+04 | 0.80%| unknown
13.53/13.61 c 13.6s| 1 | 0 | 10156 | - | 188M | 0 | 535 | 712 | 701 | 38 | 29 | 22 | 9 | 5.040430e+04 | 5.080600e+04 | 0.80%| unknown
13.53/13.65 c 13.6s| 1 | 0 | 10163 | - | 188M | 0 | 535 | 712 | 703 | 40 | 30 | 22 | 9 | 5.040442e+04 | 5.080600e+04 | 0.80%| unknown
13.63/13.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.63/13.70 c 13.7s| 1 | 0 | 10165 | - | 188M | 0 | 535 | 712 | 700 | 41 | 31 | 22 | 9 | 5.040443e+04 | 5.080600e+04 | 0.80%| unknown
13.63/13.75 c 13.7s| 1 | 0 | 10178 | - | 188M | 0 | 535 | 712 | 701 | 42 | 32 | 22 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
13.73/13.83 c (run 4, node 1) restarting after 61 global fixings of integer variables
13.73/13.83 c
13.73/13.84 c (restart) converted 34 cuts from the global cut pool into linear constraints
13.73/13.84 c
13.83/13.90 c presolving:
13.83/13.91 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.83/13.92 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.83/13.93 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.83/13.93 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.83/13.94 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.83/13.94 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.83/13.94 c presolving (7 rounds: 7 fast, 6 medium, 5 exhaustive):
13.83/13.94 c 72 deleted vars, 11 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 74 changed coefficients
13.83/13.94 c 0 implications, 654 cliques
13.83/13.94 c presolved problem has 463 variables (463 bin, 0 int, 0 impl, 0 cont) and 738 constraints
13.83/13.94 c 84 constraints of type <knapsack>
13.83/13.94 c 526 constraints of type <setppc>
13.83/13.94 c 34 constraints of type <and>
13.83/13.94 c 50 constraints of type <linear>
13.83/13.94 c 44 constraints of type <logicor>
13.83/13.94 c transformed objective value is always integral (scale: 1)
13.83/13.94 c Presolving Time: 0.26
13.83/13.94 c transformed 6/15 original solutions to the transformed problem space
13.83/13.94 c
13.83/13.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.83/13.98 c 14.0s| 1 | 0 | 10950 | - | 185M | 0 | 463 | 738 | 754 | 0 | 0 | 25 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
13.83/13.98 c 14.0s| 1 | 0 | 10950 | - | 185M | 0 | 463 | 738 | 741 | 0 | 0 | 25 | 9 | 5.040466e+04 | 5.080600e+04 | 0.80%| unknown
14.13/14.22 c 14.2s| 1 | 0 | 11011 | - | 185M | 0 | 463 | 726 | 742 | 1 | 1 | 25 | 9 | 5.040853e+04 | 5.080600e+04 | 0.79%| unknown
14.13/14.23 c 14.2s| 1 | 0 | 11011 | - | 185M | 0 | 463 | 726 | 740 | 1 | 1 | 25 | 9 | 5.040853e+04 | 5.080600e+04 | 0.79%| unknown
14.33/14.43 c 14.4s| 1 | 0 | 11050 | - | 185M | 0 | 463 | 724 | 741 | 2 | 2 | 25 | 9 | 5.040991e+04 | 5.080600e+04 | 0.79%| unknown
14.53/14.65 c 14.6s| 1 | 0 | 11093 | - | 185M | 0 | 463 | 724 | 742 | 3 | 3 | 25 | 9 | 5.041109e+04 | 5.080600e+04 | 0.78%| unknown
14.73/14.88 c 14.9s| 1 | 0 | 11145 | - | 187M | 0 | 463 | 724 | 743 | 4 | 4 | 25 | 9 | 5.041373e+04 | 5.080600e+04 | 0.78%| unknown
14.73/14.88 c 14.9s| 1 | 0 | 11145 | - | 187M | 0 | 463 | 724 | 740 | 4 | 4 | 25 | 9 | 5.041373e+04 | 5.080600e+04 | 0.78%| unknown
14.93/15.09 c 15.1s| 1 | 0 | 11183 | - | 187M | 0 | 463 | 722 | 741 | 5 | 5 | 25 | 9 | 5.041491e+04 | 5.080600e+04 | 0.78%| unknown
15.13/15.29 c 15.3s| 1 | 0 | 11254 | - | 189M | 0 | 463 | 722 | 744 | 8 | 6 | 25 | 9 | 5.041935e+04 | 5.080600e+04 | 0.77%| unknown
15.23/15.30 c 15.3s| 1 | 0 | 11254 | - | 189M | 0 | 463 | 722 | 741 | 8 | 6 | 25 | 9 | 5.041935e+04 | 5.080600e+04 | 0.77%| unknown
15.33/15.49 c 15.5s| 1 | 0 | 11285 | - | 190M | 0 | 463 | 719 | 743 | 10 | 7 | 25 | 9 | 5.042003e+04 | 5.080600e+04 | 0.77%| unknown
15.63/15.70 c 15.7s| 1 | 0 | 11357 | - | 193M | 0 | 463 | 719 | 745 | 12 | 8 | 25 | 9 | 5.042207e+04 | 5.080600e+04 | 0.76%| unknown
15.63/15.70 c 15.7s| 1 | 0 | 11357 | - | 193M | 0 | 463 | 719 | 744 | 12 | 8 | 25 | 9 | 5.042207e+04 | 5.080600e+04 | 0.76%| unknown
15.83/15.92 c 15.9s| 1 | 0 | 11373 | - | 194M | 0 | 463 | 718 | 745 | 13 | 9 | 25 | 9 | 5.042251e+04 | 5.080600e+04 | 0.76%| unknown
16.04/16.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.04/16.14 c 16.1s| 1 | 0 | 11435 | - | 197M | 0 | 463 | 718 | 746 | 14 | 10 | 25 | 9 | 5.042406e+04 | 5.080600e+04 | 0.76%| unknown
16.04/16.14 c 16.1s| 1 | 0 | 11435 | - | 197M | 0 | 463 | 718 | 745 | 14 | 10 | 25 | 9 | 5.042406e+04 | 5.080600e+04 | 0.76%| unknown
16.13/16.24 c 16.2s| 1 | 0 | 11457 | - | 197M | 0 | 463 | 717 | 746 | 15 | 11 | 25 | 9 | 5.042454e+04 | 5.080600e+04 | 0.76%| unknown
16.13/16.24 c 16.2s| 1 | 0 | 11457 | - | 197M | 0 | 463 | 701 | 746 | 15 | 11 | 25 | 9 | 5.042454e+04 | 5.080600e+04 | 0.76%| unknown
16.23/16.33 c 16.3s| 1 | 0 | 11496 | - | 197M | 0 | 463 | 701 | 748 | 17 | 12 | 25 | 9 | 5.042493e+04 | 5.080600e+04 | 0.76%| unknown
16.33/16.43 c 16.4s| 1 | 0 | 11521 | - | 197M | 0 | 463 | 701 | 662 | 18 | 13 | 25 | 9 | 5.042514e+04 | 5.080600e+04 | 0.76%| unknown
16.33/16.43 c 16.4s| 1 | 0 | 11521 | - | 197M | 0 | 463 | 701 | 652 | 18 | 13 | 25 | 9 | 5.042514e+04 | 5.080600e+04 | 0.76%| unknown
16.33/16.49 c 16.5s| 1 | 0 | 11536 | - | 198M | 0 | 463 | 700 | 654 | 20 | 14 | 25 | 9 | 5.042523e+04 | 5.080600e+04 | 0.76%| unknown
16.43/16.55 c 16.5s| 1 | 0 | 11546 | - | 198M | 0 | 463 | 700 | 655 | 21 | 15 | 25 | 9 | 5.042530e+04 | 5.080600e+04 | 0.75%| unknown
16.53/16.61 c 16.6s| 1 | 0 | 11559 | - | 198M | 0 | 463 | 700 | 656 | 22 | 16 | 25 | 9 | 5.042547e+04 | 5.080600e+04 | 0.75%| unknown
16.53/16.68 c 16.7s| 1 | 0 | 11572 | - | 198M | 0 | 463 | 700 | 657 | 23 | 17 | 25 | 9 | 5.042552e+04 | 5.080600e+04 | 0.75%| unknown
16.63/16.74 c 16.7s| 1 | 0 | 11579 | - | 198M | 0 | 463 | 700 | 658 | 24 | 18 | 25 | 9 | 5.042553e+04 | 5.080600e+04 | 0.75%| unknown
16.73/16.81 c 16.8s| 1 | 0 | 11589 | - | 198M | 0 | 463 | 700 | 645 | 25 | 19 | 25 | 9 | 5.042556e+04 | 5.080600e+04 | 0.75%| unknown
16.73/16.87 c 16.9s| 1 | 0 | 11592 | - | 198M | 0 | 463 | 700 | 646 | 26 | 20 | 25 | 9 | 5.042556e+04 | 5.080600e+04 | 0.75%| unknown
16.83/16.93 c 16.9s| 1 | 0 | 11605 | - | 198M | 0 | 463 | 700 | 647 | 27 | 21 | 25 | 9 | 5.042559e+04 | 5.080600e+04 | 0.75%| unknown
16.83/16.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.83/16.99 c 17.0s| 1 | 0 | 11617 | - | 198M | 0 | 463 | 700 | 648 | 28 | 22 | 25 | 9 | 5.042563e+04 | 5.080600e+04 | 0.75%| unknown
17.03/17.13 c 17.1s| 1 | 0 | 12469 | - | 198M | 0 | 463 | 704 | 648 | 28 | 22 | 31 | 10 | 5.047228e+04 | 5.080600e+04 | 0.66%| unknown
17.03/17.13 c (run 5, node 1) restarting after 51 global fixings of integer variables
17.03/17.13 c
17.03/17.13 c (restart) converted 24 cuts from the global cut pool into linear constraints
17.03/17.13 c
17.03/17.19 c presolving:
17.13/17.20 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
17.13/17.20 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
17.13/17.20 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
17.13/17.21 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
17.13/17.22 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
17.13/17.22 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
17.13/17.22 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
17.13/17.23 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
17.13/17.23 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
17.13/17.23 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
17.13/17.23 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
17.13/17.23 c presolving (12 rounds: 12 fast, 9 medium, 8 exhaustive):
17.13/17.23 c 62 deleted vars, 82 deleted constraints, 3 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 152 changed coefficients
17.13/17.23 c 0 implications, 528 cliques
17.13/17.23 c presolved problem has 401 variables (401 bin, 0 int, 0 impl, 0 cont) and 649 constraints
17.13/17.23 c 97 constraints of type <knapsack>
17.13/17.23 c 418 constraints of type <setppc>
17.13/17.23 c 30 constraints of type <and>
17.13/17.23 c 60 constraints of type <linear>
17.13/17.23 c 44 constraints of type <logicor>
17.13/17.23 c transformed objective value is always integral (scale: 1)
17.13/17.23 c Presolving Time: 0.31
17.13/17.23 c transformed 5/17 original solutions to the transformed problem space
17.13/17.23 c
17.13/17.26 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
17.13/17.26 c 17.3s| 1 | 0 | 12991 | - | 181M | 0 | 401 | 649 | 660 | 0 | 0 | 31 | 10 | 5.047433e+04 | 5.080600e+04 | 0.66%| unknown
17.13/17.27 c 17.3s| 1 | 0 | 12991 | - | 181M | 0 | 401 | 649 | 603 | 0 | 0 | 31 | 10 | 5.047433e+04 | 5.080600e+04 | 0.66%| unknown
17.33/17.41 c 17.4s| 1 | 0 | 13007 | - | 182M | 0 | 401 | 595 | 600 | 1 | 1 | 31 | 10 | 5.047742e+04 | 5.080600e+04 | 0.65%| unknown
17.33/17.42 c 17.4s| 1 | 0 | 13007 | - | 182M | 0 | 401 | 595 | 600 | 1 | 1 | 31 | 10 | 5.047742e+04 | 5.080600e+04 | 0.65%| unknown
17.43/17.56 c 17.6s| 1 | 0 | 13066 | - | 182M | 0 | 401 | 591 | 599 | 2 | 2 | 31 | 10 | 5.050754e+04 | 5.080600e+04 | 0.59%| unknown
17.43/17.57 c 17.6s| 1 | 0 | 13066 | - | 182M | 0 | 401 | 591 | 588 | 2 | 2 | 31 | 10 | 5.050754e+04 | 5.080600e+04 | 0.59%| unknown
17.62/17.70 c 17.7s| 1 | 0 | 13093 | - | 183M | 0 | 401 | 578 | 589 | 4 | 3 | 31 | 10 | 5.052491e+04 | 5.080600e+04 | 0.56%| unknown
17.62/17.70 c 17.7s| 1 | 0 | 13093 | - | 183M | 0 | 401 | 578 | 582 | 4 | 3 | 31 | 10 | 5.052491e+04 | 5.080600e+04 | 0.56%| unknown
17.72/17.82 c 17.8s| 1 | 0 | 13124 | - | 184M | 0 | 401 | 571 | 583 | 5 | 4 | 31 | 10 | 5.053924e+04 | 5.080600e+04 | 0.53%| unknown
17.72/17.83 c 17.8s| 1 | 0 | 13124 | - | 184M | 0 | 401 | 571 | 576 | 5 | 4 | 31 | 10 | 5.053924e+04 | 5.080600e+04 | 0.53%| unknown
17.82/17.94 c 17.9s| 1 | 0 | 13185 | - | 185M | 0 | 401 | 564 | 577 | 6 | 5 | 31 | 10 | 5.055398e+04 | 5.080600e+04 | 0.50%| unknown
17.82/17.95 c 17.9s| 1 | 0 | 13185 | - | 185M | 0 | 401 | 564 | 569 | 6 | 5 | 31 | 10 | 5.055398e+04 | 5.080600e+04 | 0.50%| unknown
17.93/18.07 c 18.1s| 1 | 0 | 13231 | - | 186M | 0 | 401 | 555 | 570 | 7 | 6 | 31 | 10 | 5.056982e+04 | 5.080600e+04 | 0.47%| unknown
17.93/18.07 c 18.1s| 1 | 0 | 13231 | - | 186M | 0 | 401 | 555 | 564 | 7 | 6 | 31 | 10 | 5.056982e+04 | 5.080600e+04 | 0.47%| unknown
18.12/18.20 c 18.2s| 1 | 0 | 13262 | - | 186M | 0 | 401 | 549 | 565 | 8 | 7 | 31 | 10 | 5.057702e+04 | 5.080600e+04 | 0.45%| unknown
18.12/18.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.12/18.20 c 18.2s| 1 | 0 | 13262 | - | 186M | 0 | 401 | 549 | 563 | 8 | 7 | 31 | 10 | 5.057702e+04 | 5.080600e+04 | 0.45%| unknown
18.22/18.33 c 18.3s| 1 | 0 | 13306 | - | 188M | 0 | 401 | 547 | 564 | 9 | 8 | 31 | 10 | 5.058143e+04 | 5.080600e+04 | 0.44%| unknown
18.22/18.33 c 18.3s| 1 | 0 | 13306 | - | 188M | 0 | 401 | 547 | 563 | 9 | 8 | 31 | 10 | 5.058143e+04 | 5.080600e+04 | 0.44%| unknown
18.32/18.46 c 18.4s| 1 | 0 | 13348 | - | 188M | 0 | 401 | 546 | 564 | 10 | 9 | 31 | 10 | 5.058836e+04 | 5.080600e+04 | 0.43%| unknown
18.32/18.46 c 18.5s| 1 | 0 | 13348 | - | 188M | 0 | 401 | 546 | 563 | 10 | 9 | 31 | 10 | 5.058836e+04 | 5.080600e+04 | 0.43%| unknown
18.42/18.58 c 18.6s| 1 | 0 | 13363 | - | 189M | 0 | 401 | 545 | 564 | 11 | 10 | 31 | 10 | 5.058883e+04 | 5.080600e+04 | 0.43%| unknown
18.52/18.66 c 18.7s| 1 | 0 | 13385 | - | 189M | 0 | 401 | 545 | 565 | 12 | 11 | 31 | 10 | 5.058997e+04 | 5.080600e+04 | 0.43%| unknown
18.62/18.74 c 18.7s| 1 | 0 | 13405 | - | 189M | 0 | 401 | 545 | 441 | 13 | 12 | 31 | 10 | 5.059123e+04 | 5.080600e+04 | 0.42%| unknown
18.62/18.78 c 18.8s| 1 | 0 | 13418 | - | 189M | 0 | 401 | 545 | 442 | 14 | 13 | 31 | 10 | 5.059178e+04 | 5.080600e+04 | 0.42%| unknown
18.72/18.82 c 18.8s| 1 | 0 | 13437 | - | 189M | 0 | 401 | 545 | 443 | 15 | 14 | 31 | 10 | 5.059220e+04 | 5.080600e+04 | 0.42%| unknown
18.72/18.86 c 18.8s| 1 | 0 | 13470 | - | 189M | 0 | 401 | 545 | 444 | 16 | 15 | 31 | 10 | 5.059363e+04 | 5.080600e+04 | 0.42%| unknown
18.82/18.90 c 18.9s| 1 | 0 | 13493 | - | 189M | 0 | 401 | 545 | 445 | 17 | 16 | 31 | 10 | 5.059416e+04 | 5.080600e+04 | 0.42%| unknown
18.82/18.93 c 18.9s| 1 | 0 | 13515 | - | 189M | 0 | 401 | 545 | 446 | 18 | 17 | 31 | 10 | 5.059454e+04 | 5.080600e+04 | 0.42%| unknown
18.82/18.97 c 19.0s| 1 | 0 | 13526 | - | 189M | 0 | 401 | 545 | 438 | 19 | 18 | 31 | 10 | 5.059477e+04 | 5.080600e+04 | 0.42%| unknown
18.93/19.01 c 19.0s| 1 | 0 | 13530 | - | 189M | 0 | 401 | 545 | 439 | 20 | 19 | 31 | 10 | 5.059479e+04 | 5.080600e+04 | 0.42%| unknown
18.93/19.02 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.93/19.02 c 19.0s| 1 | 0 | 13530 | - | 189M | 0 | 401 | 507 | 439 | 20 | 19 | 31 | 10 | 5.059479e+04 | 5.080600e+04 | 0.42%| unknown
18.93/19.05 c 19.0s| 1 | 0 | 13538 | - | 189M | 0 | 401 | 507 | 440 | 21 | 20 | 31 | 10 | 5.059488e+04 | 5.080600e+04 | 0.42%| unknown
18.93/19.09 c 19.1s| 1 | 0 | 13554 | - | 189M | 0 | 401 | 507 | 441 | 22 | 21 | 31 | 10 | 5.059535e+04 | 5.080600e+04 | 0.42%| unknown
18.93/19.09 c 19.1s| 1 | 0 | 13554 | - | 189M | 0 | 401 | 507 | 427 | 22 | 21 | 31 | 10 | 5.059535e+04 | 5.080600e+04 | 0.42%| unknown
19.03/19.13 c 19.1s| 1 | 0 | 13563 | - | 189M | 0 | 401 | 506 | 428 | 23 | 22 | 31 | 10 | 5.059607e+04 | 5.080600e+04 | 0.41%| unknown
19.03/19.16 c 19.2s| 1 | 0 | 13572 | - | 189M | 0 | 401 | 507 | 430 | 25 | 23 | 32 | 10 | 5.059619e+04 | 5.080600e+04 | 0.41%| unknown
19.12/19.20 c 19.2s| 1 | 0 | 13590 | - | 189M | 0 | 401 | 507 | 423 | 26 | 24 | 32 | 10 | 5.059702e+04 | 5.080600e+04 | 0.41%| unknown
19.12/19.20 c 19.2s| 1 | 0 | 13590 | - | 189M | 0 | 401 | 508 | 421 | 26 | 24 | 33 | 10 | 5.059702e+04 | 5.080600e+04 | 0.41%| unknown
19.12/19.24 c 19.2s| 1 | 0 | 13616 | - | 189M | 0 | 401 | 506 | 423 | 28 | 25 | 33 | 10 | 5.059772e+04 | 5.080600e+04 | 0.41%| unknown
19.12/19.28 c 19.3s| 1 | 0 | 13624 | - | 189M | 0 | 401 | 506 | 424 | 29 | 26 | 33 | 10 | 5.059845e+04 | 5.080600e+04 | 0.41%| unknown
19.22/19.32 c 19.3s| 1 | 0 | 13630 | - | 189M | 0 | 401 | 506 | 426 | 31 | 27 | 33 | 10 | 5.059854e+04 | 5.080600e+04 | 0.41%| unknown
19.22/19.36 c 19.4s| 1 | 0 | 13636 | - | 189M | 0 | 401 | 506 | 427 | 32 | 28 | 33 | 10 | 5.059879e+04 | 5.080600e+04 | 0.41%| unknown
19.32/19.40 c 19.4s| 1 | 0 | 13655 | - | 189M | 0 | 401 | 506 | 428 | 33 | 29 | 33 | 10 | 5.060003e+04 | 5.080600e+04 | 0.41%| unknown
19.32/19.41 c 19.4s| 1 | 0 | 13655 | - | 189M | 0 | 401 | 506 | 428 | 33 | 29 | 33 | 10 | 5.060003e+04 | 5.080600e+04 | 0.41%| unknown
19.32/19.45 c 19.4s| 1 | 0 | 13660 | - | 189M | 0 | 401 | 506 | 426 | 34 | 30 | 33 | 10 | 5.060006e+04 | 5.080600e+04 | 0.41%| unknown
19.32/19.46 c (run 6, node 1) restarting after 124 global fixings of integer variables
19.32/19.46 c
19.32/19.46 c (restart) converted 31 cuts from the global cut pool into linear constraints
19.32/19.46 c
19.32/19.49 c presolving:
19.32/19.49 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
19.42/19.50 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
19.42/19.51 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
19.42/19.51 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
19.42/19.51 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
19.42/19.51 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
19.42/19.51 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
19.42/19.51 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
19.42/19.51 c presolving (9 rounds: 9 fast, 8 medium, 7 exhaustive):
19.42/19.51 c 130 deleted vars, 14 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 140 changed coefficients
19.42/19.51 c 0 implications, 337 cliques
19.42/19.51 c presolved problem has 271 variables (271 bin, 0 int, 0 impl, 0 cont) and 529 constraints
19.42/19.51 c 113 constraints of type <knapsack>
19.42/19.51 c 278 constraints of type <setppc>
19.42/19.51 c 20 constraints of type <and>
19.42/19.51 c 75 constraints of type <linear>
19.42/19.51 c 43 constraints of type <logicor>
19.42/19.51 c transformed objective value is always integral (scale: 1)
19.42/19.51 c Presolving Time: 0.35
19.42/19.52 c transformed 5/19 original solutions to the transformed problem space
19.42/19.52 c
19.42/19.54 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
19.42/19.54 c 19.5s| 1 | 0 | 14326 | - | 185M | 0 | 271 | 529 | 530 | 0 | 0 | 39 | 10 | 5.060007e+04 | 5.080600e+04 | 0.41%| unknown
19.42/19.54 c 19.5s| 1 | 0 | 14326 | - | 185M | 0 | 271 | 529 | 528 | 0 | 0 | 39 | 10 | 5.060007e+04 | 5.080600e+04 | 0.41%| unknown
19.52/19.68 c 19.7s| 1 | 0 | 14370 | - | 185M | 0 | 271 | 527 | 530 | 2 | 1 | 39 | 10 | 5.060284e+04 | 5.080600e+04 | 0.40%| unknown
19.72/19.82 c 19.8s| 1 | 0 | 14416 | - | 185M | 0 | 271 | 527 | 531 | 3 | 2 | 39 | 10 | 5.060438e+04 | 5.080600e+04 | 0.40%| unknown
19.72/19.83 c 19.8s| 1 | 0 | 14416 | - | 185M | 0 | 271 | 527 | 530 | 3 | 2 | 39 | 10 | 5.060438e+04 | 5.080600e+04 | 0.40%| unknown
19.82/19.96 c 19.9s| 1 | 0 | 14438 | - | 186M | 0 | 271 | 526 | 529 | 4 | 3 | 39 | 10 | 5.060495e+04 | 5.080600e+04 | 0.40%| unknown
19.92/20.09 c 20.1s| 1 | 0 | 14468 | - | 186M | 0 | 271 | 524 | 530 | 5 | 4 | 39 | 10 | 5.060629e+04 | 5.080600e+04 | 0.39%| unknown
20.12/20.23 c 20.2s| 1 | 0 | 14502 | - | 188M | 0 | 271 | 524 | 531 | 6 | 5 | 39 | 10 | 5.061040e+04 | 5.080600e+04 | 0.39%| unknown
20.12/20.23 c 20.2s| 1 | 0 | 14502 | - | 188M | 0 | 271 | 524 | 530 | 6 | 5 | 39 | 10 | 5.061040e+04 | 5.080600e+04 | 0.39%| unknown
20.22/20.35 c 20.3s| 1 | 0 | 14544 | - | 189M | 0 | 271 | 523 | 532 | 8 | 6 | 39 | 10 | 5.061386e+04 | 5.080600e+04 | 0.38%| unknown
20.32/20.47 c 20.5s| 1 | 0 | 14586 | - | 189M | 0 | 271 | 523 | 533 | 9 | 7 | 39 | 10 | 5.061611e+04 | 5.080600e+04 | 0.38%| unknown
20.42/20.59 c 20.6s| 1 | 0 | 14625 | - | 191M | 0 | 271 | 523 | 535 | 11 | 8 | 39 | 10 | 5.061854e+04 | 5.080600e+04 | 0.37%| unknown
20.42/20.59 c 20.6s| 1 | 0 | 14625 | - | 191M | 0 | 271 | 524 | 534 | 11 | 8 | 40 | 10 | 5.061854e+04 | 5.080600e+04 | 0.37%| unknown
20.62/20.70 c 20.7s| 1 | 0 | 14643 | - | 193M | 0 | 271 | 523 | 535 | 12 | 9 | 40 | 10 | 5.061881e+04 | 5.080600e+04 | 0.37%| unknown
20.62/20.70 c 20.7s| 1 | 0 | 14643 | - | 193M | 0 | 271 | 523 | 534 | 12 | 9 | 40 | 10 | 5.061881e+04 | 5.080600e+04 | 0.37%| unknown
20.71/20.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.71/20.81 c 20.8s| 1 | 0 | 14669 | - | 198M | 0 | 271 | 522 | 535 | 13 | 10 | 40 | 10 | 5.062002e+04 | 5.080600e+04 | 0.37%| unknown
20.71/20.82 c 20.8s| 1 | 0 | 14669 | - | 198M | 0 | 271 | 522 | 534 | 13 | 10 | 40 | 10 | 5.062002e+04 | 5.080600e+04 | 0.37%| unknown
20.71/20.89 c 20.9s| 1 | 0 | 14702 | - | 198M | 0 | 271 | 521 | 535 | 14 | 11 | 40 | 10 | 5.062184e+04 | 5.080600e+04 | 0.36%| unknown
20.71/20.89 c 20.9s| 1 | 0 | 14702 | - | 198M | 0 | 271 | 521 | 533 | 14 | 11 | 40 | 10 | 5.062184e+04 | 5.080600e+04 | 0.36%| unknown
20.81/20.92 c 20.9s| 1 | 0 | 14893 | - | 198M | 0 | 271 | 520 | 533 | 14 | 11 | 47 | 12 | 5.070333e+04 | 5.080600e+04 | 0.20%| unknown
20.81/20.92 c (run 7, node 1) restarting after 45 global fixings of integer variables
20.81/20.92 c
20.81/20.92 c (restart) converted 14 cuts from the global cut pool into linear constraints
20.81/20.92 c
20.81/20.94 c presolving:
20.81/20.95 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.81/20.95 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.81/20.95 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.96 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.81/20.97 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.81/20.97 c presolving (14 rounds: 14 fast, 11 medium, 10 exhaustive):
20.81/20.97 c 63 deleted vars, 102 deleted constraints, 6 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 231 changed coefficients
20.81/20.97 c 0 implications, 235 cliques
20.81/20.97 c presolved problem has 208 variables (208 bin, 0 int, 0 impl, 0 cont) and 438 constraints
20.81/20.97 c 115 constraints of type <knapsack>
20.81/20.97 c 188 constraints of type <setppc>
20.81/20.97 c 18 constraints of type <and>
20.81/20.97 c 78 constraints of type <linear>
20.81/20.97 c 39 constraints of type <logicor>
20.81/20.97 c transformed objective value is always integral (scale: 1)
20.81/20.97 c Presolving Time: 0.37
20.81/20.97 c transformed 3/20 original solutions to the transformed problem space
20.81/20.97 c
20.81/20.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.81/20.98 c 21.0s| 1 | 0 | 15211 | - | 194M | 0 | 208 | 438 | 444 | 0 | 0 | 47 | 12 | 5.070650e+04 | 5.080600e+04 | 0.20%| unknown
20.81/20.99 c 21.0s| 1 | 0 | 15211 | - | 194M | 0 | 208 | 438 | 386 | 0 | 0 | 47 | 12 | 5.070650e+04 | 5.080600e+04 | 0.20%| unknown
20.92/21.02 c 21.0s| 1 | 0 | 15245 | - | 194M | 0 | 208 | 381 | 384 | 1 | 1 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.92/21.02 c 21.0s| 1 | 0 | 15245 | - | 194M | 0 | 208 | 381 | 376 | 1 | 1 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.92/21.02 c 21.0s| 1 | 0 | 15245 | - | 194M | 0 | 208 | 341 | 376 | 1 | 2 | 47 | 12 | 5.076900e+04 | 5.080600e+04 | 0.07%| unknown
20.92/21.02 o 50769
20.92/21.02 c d21.0s| 1 | 0 | 15245 | - |conflict| 0 | 208 | 335 | 376 | 0 | 3 | 47 | 12 | 5.076900e+04 | 5.076900e+04 | 0.00%| unknown
20.92/21.02 c 21.0s| 1 | 0 | 15245 | - | 194M | 0 | 208 | 335 | 376 | 1 | 3 | 47 | 12 | 5.076900e+04 | 5.076900e+04 | 0.00%| unknown
20.92/21.02 c
20.92/21.02 c SCIP Status : problem is solved [optimal solution found]
20.92/21.02 c Solving Time (sec) : 21.01
20.92/21.02 c Solving Nodes : 1 (total of 8 nodes in 8 runs)
20.92/21.02 c Primal Bound : +5.07690000000000e+04 (22 solutions)
20.92/21.02 c Dual Bound : +5.07690000000000e+04
20.92/21.02 c Gap : 0.00 %
20.92/21.02 s OPTIMUM FOUND
20.92/21.02 v x216 -x3944 -x215 -x3942 x214 x3940 x213 x3938 -x212 -x3936 -x3934 x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920 -x3918 -x3916
20.92/21.02 v -x3914 -x3912 -x3910 -x211 -x3908 x3906 x3904 x3902 -x3900 -x3898 -x3896 x210 -x3894 -x3892 -x209 -x3890 -x3888 -x3886 -x3884
20.92/21.02 v -x3882 -x208 -x3880 -x3878 -x3876 -x3874 x3872 x207 -x3870 -x3868 -x3866 x3864 -x3862 -x3860 -x3858 -x3856 -x206 -x3854 x205
20.92/21.02 v x3852 -x204 -x3850 -x3848 -x3846 -x3844 -x3842 -x203 -x3840 -x3838 -x3836 -x202 -x3834 x3832 -x3830 -x3828 -x3826 -x3824 -x201
20.92/21.02 v -x3822 -x3820 -x3818 -x3816 -x3814 -x3812 -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 -x3788
20.92/21.02 v -x3786 -x200 -x3782 -x3779 -x3777 -x3775 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x3759 -x3757 -x3755 -x3753 -x3751
20.92/21.02 v -x3749 -x3747 -x199 -x3745 -x3743 -x3741 -x3739 -x3737 -x198 -x3735 -x3733 -x3731 -x3729 -x3727 -x197 -x3725 -x3723 -x3720
20.92/21.02 v -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x3699 -x3697 -x3695 -x3693 -x3691 -x3689 -x3687 -x196 -x3685
20.92/21.02 v -x3683 -x3681 -x3679 -x3677 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x195
20.92/21.02 v -x3648 x3646 -x3644 -x3642 -x3640 -x3638 x3636 x3634 -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x194 -x3620 -x193 -x3618
20.92/21.02 v -x192 -x3616 -x3614 -x3612 -x3610 -x3608 -x191 -x3606 -x3604 -x3602 -x190 -x3600 -x3598 -x3596 -x189 -x3594 -x3592 -x188 -x3590
20.92/21.02 v -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x187 -x3561 -x3559 -x3556 -x3554
20.92/21.02 v -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x186 -x3532 -x3530 -x3528 -x185 -x3526 -x3524 -x3522
20.92/21.02 v -x184 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x183 -x3490
20.92/21.02 v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454
20.92/21.02 v -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x182 -x3438 -x3436 x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420
20.92/21.02 v -x181 -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 x3394 -x3392 -x3390 -x3388 -x3386 -x3384
20.92/21.02 v -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x180 -x3362 -x3360 -x3358 -x179 -x3356 -x3354 -x3352
20.92/21.02 v -x178 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x177 -x3320
20.92/21.02 v -x3318 -x3316 -x176 -x3314 -x3312 -x3310 -x175 -x3308 -x3306 -x3304 -x174 -x3302 -x173 -x3300 -x172 -x3298 -x3296 -x3294
20.92/21.02 v -x3292 -x3290 -x171 -x3288 -x3286 -x3284 -x170 -x3282 -x3280 -x3278 -x169 -x3276 -x3274 -x3272 -x168 -x3270 -x3268 -x3266 -x3264
20.92/21.02 v -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x167 -x3240 -x3238 -x3236 -x166 -x3234 -x3232
20.92/21.02 v -x3230 -x165 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x164 -x3206 -x3204 -x3202 -x3200
20.92/21.02 v -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x163 -x3183 -x3181 -x162 -x3179 -x3177 -x3175 -x161 -x3173 -x3171 -x3169
20.92/21.02 v -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x160 -x3151 -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x159 -x3137 -x3135
20.92/21.02 v -x3133 -x3131 -x3129 -x3127 -x3125 -x158 -x3123 -x3121 -x3119 -x3117 -x3115 -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101
20.92/21.02 v -x3099 -x3097 -x3095 -x157 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067
20.92/21.02 v -x3065 -x156 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033
20.92/21.02 v -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 x3015 -x3012 -x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996
20.92/21.02 v -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962
20.92/21.02 v -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926
20.92/21.02 v -x155 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x154 -x2902 -x2900 -x2898 -x2896 -x2894
20.92/21.02 v -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 -x153 -x2880 -x2878 -x2876 -x2874 -x2872 -x152 -x2870 -x2868 -x2866 -x2864 -x2862 -x151
20.92/21.02 v -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x150
20.92/21.02 v -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x149 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794
20.92/21.02 v -x2792 -x2790 -x2788 -x2786 -x2784 -x148 -x2782 -x2780 -x2778 -x2776 -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760
20.92/21.02 v -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724
20.92/21.02 v -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2695 -x2693 -x2691 -x2689
20.92/21.02 v -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669 -x2667 -x2665 -x2663 -x2661 -x2659 -x2657 -x2655 -x2653
20.92/21.02 v -x2651 -x2649 -x2647 -x2645 -x147 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x146 -x2629 -x2627 -x2625 x2623 -x2621 -x2619
20.92/21.02 v -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605 -x2603 -x145 -x2601 -x2599 -x2597 -x144 -x2595 -x2593 -x2591 -x143 -x2589
20.92/21.02 v -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x142 -x2575 -x2573 -x2571 -x141 -x2569 -x2567 -x2565 -x140 -x2563 -x2561 -x2559
20.92/21.02 v -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x139 -x2533 -x2531 -x2529 -x138 -x2527
20.92/21.02 v -x2525 -x2523 -x137 -x2521 -x2519 -x2517 -x136 -x2515 -x2513 -x2511 -x2509 -x2507 -x135 -x2505 -x134 -x2503 -x133 -x2501 -x2499
20.92/21.02 v -x2497 -x2495 -x2493 -x132 -x2491 -x2489 -x2487 -x131 -x2485 -x2483 -x2481 -x130 -x2479 -x2477 -x2475 -x2473 -x2471 -x2469
20.92/21.02 v -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x129 -x2449 -x2447 -x2445 -x128 -x2443 -x2441 -x127 -x2439
20.92/21.02 v -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x126 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405
20.92/21.02 v -x2403 -x2401 -x2399 -x2397 -x125 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x124 -x2381 -x2379 -x2377 -x123 -x2375 -x2373
20.92/21.02 v -x2371 -x122 -x2369 -x2367 -x2365 -x2363 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x121 -x2347 -x2345 -x2343 -x2341
20.92/21.02 v -x2339 -x2337 -x2335 -x2333 -x2331 -x2329 -x2327 -x120 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307
20.92/21.02 v -x2305 -x119 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 x2291 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273
20.92/21.02 v -x2271 -x2269 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237
20.92/21.02 v -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x118 -x2203
20.92/21.02 v -x2201 -x2199 -x2197 -x2195 -x2193 -x2191 -x117 -x2189 -x2187 -x2185 -x2183 -x2181 -x2179 -x2177 -x116 -x2175 -x2173 -x2171
20.92/21.02 v -x115 -x2169 -x2167 -x2165 -x114 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x113 -x2141
20.92/21.02 v -x2139 -x2137 -x2135 -x2133 -x2131 -x2129 -x112 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x111 -x2113 -x2111 -x2109
20.92/21.02 v -x2107 -x2105 -x2103 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077 -x2075 -x2073
20.92/21.02 v x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037
20.92/21.02 v -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001
20.92/21.02 v -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x1977 x1975 -x1973 -x1971 -x1969 -x1967 -x1965
20.92/21.02 v -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x110 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931
20.92/21.02 v -x1929 -x1927 -x1925 -x1923 -x109 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x108 -x1899
20.92/21.02 v -x1897 -x1895 -x1893 -x1891 -x107 -x1889 -x1887 -x1885 -x1883 -x1881 -x106 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867
20.92/21.02 v -x1865 -x1863 -x1861 -x1859 -x105 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x1837 -x104 -x1835 -x1833
20.92/21.02 v -x1831 -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x103 -x1805 -x1803 -x1801 -x1799
20.92/21.02 v -x1797 -x1795 -x1793 -x102 -x1791 -x1789 -x1787 -x101 -x1785 -x1783 -x1781 -x100 -x1779 -x1777 -x1775 -x1773 -x1771 -x1769
20.92/21.02 v -x99 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757 -x1755 -x98 -x1753 -x1751 -x1749 -x1747 -x1745 -x1743 -x1741 -x97 -x1739 -x1737
20.92/21.02 v -x1735 -x1733 -x1731 -x1729 -x1727 -x96 -x1725 -x1723 -x1721 -x95 -x1719 -x1717 -x1715 -x94 -x1713 -x1711 -x1709 -x93 -x1707
20.92/21.02 v -x1705 -x1703 -x92 -x1701 -x1699 -x1697 -x91 -x1695 -x1693 -x1691 -x90 -x1689 -x89 -x1687 -x88 -x1685 -x1683 -x1681 -x87
20.92/21.02 v -x1679 -x1677 -x1675 -x86 -x1673 -x1671 -x1669 -x85 -x1667 -x1665 -x1663 -x1661 -x1659 -x1657 x1655 -x1653 -x1651 -x1649 -x1647
20.92/21.02 v -x1645 -x1643 -x1641 -x84 -x1639 -x1637 -x1635 -x83 -x1633 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x82 -x1619 -x1617
20.92/21.02 v -x1615 -x1613 -x1611 -x1609 -x1607 -x81 -x1605 -x1603 -x1601 -x80 -x1599 -x1597 -x1595 -x79 -x1593 -x1591 -x1589 -x1587 -x1585
20.92/21.02 v -x1583 -x1581 -x78 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567 -x1565 -x1563 -x1561 x1559 -x1557 -x1555 -x1553 -x1551
20.92/21.02 v -x1549 -x1547 -x1545 -x77 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533 -x1531 -x76 -x1529 -x1527 -x1525 -x75 -x1523 -x1521 -x1519
20.92/21.02 v -x74 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x73 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485
20.92/21.02 v -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 x1465 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453 -x1451 -x1449
20.92/21.02 v -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x1419 -x1417 -x1415
20.92/21.02 v -x1413 -x72 -x1411 -x1409 -x1407 -x1405 -x1403 -x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x71 -x1381
20.92/21.02 v -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x1353 -x1351 -x1349 -x1347 -x1345
20.92/21.02 v -x1343 -x1341 -x1339 x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x1309
20.92/21.02 v -x1307 -x1305 -x1303 -x1301 -x1299 -x70 -x1297 -x1295 -x1293 -x1291 -x1289 -x69 -x1287 -x1285 -x1283 -x1281 -x1279 -x68
20.92/21.02 v -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x67 -x1255 -x1253 -x1251 -x66 -x1249 -x1247 -x1245
20.92/21.02 v -x1243 -x1241 -x1239 -x1237 -x65 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x64 -x1220 -x1218 -x1216 -x1214 -x1212
20.92/21.02 v -x1210 -x63 -x1208 -x1206 -x1204 -x62 -x1202 -x1200 -x1198 -x61 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x60 -x1182
20.92/21.02 v -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x59 -x1168 -x1166 -x1164 -x58 -x1162 -x1160 -x1158 -x57 -x1156 -x1154 -x1152 x56
20.92/21.02 v x1150 -x55 -x1148 -x54 -x1146 -x1144 -x1142 -x53 -x1140 -x1138 -x1136 -x52 -x1134 -x1132 -x1130 -x51 -x1128 -x1126 -x1124 -x50
20.92/21.02 v -x1122 -x1120 -x1118 -x1115 -x1113 -x1111 -x1109 -x1107 -x1105 -x1103 -x49 -x1101 -x1099 -x1097 -x48 -x1095 -x1093 -x1091 -x1089
20.92/21.02 v -x1087 -x1085 -x1083 -x47 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x46 -x1067 -x1065 -x1063 -x45 -x1061 -x1059
20.92/21.02 v -x1057 -x44 -x1055 -x1053 -x1051 -x1049 -x1047 -x1045 -x1043 -x43 -x1041 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x42 -x1027
20.92/21.02 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x41 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991
20.92/21.02 v -x989 -x987 -x985 -x983 -x981 x979 -x977 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949
20.92/21.02 v -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x40 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x39 -x915 -x913 -x911
20.92/21.02 v -x38 -x909 -x907 x905 -x903 -x901 -x899 -x897 -x895 -x893 -x891 -x37 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873
20.92/21.02 v -x871 -x869 -x867 -x865 -x863 -x861 -x36 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x839 -x837 -x835 -x833
20.92/21.02 v -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x796 -x794 -x792 -x790
20.92/21.02 v -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x772 x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748
20.92/21.02 v -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x35 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x34
20.92/21.02 v -x708 -x706 -x704 -x702 -x700 -x33 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x32 -x676 x674 -x672 -x670
20.92/21.02 v -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630
20.92/21.02 v -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588
20.92/21.02 v -x586 -x31 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x30 -x570 -x568 -x566 -x29 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x28
20.92/21.02 v -x550 -x548 -x546 -x27 -x544 -x542 -x540 -x26 -x538 -x536 -x533 -x531 -x529 -x527 -x25 -x525 -x523 -x521 -x519 -x517 -x515
20.92/21.02 v -x513 -x511 -x509 -x507 -x505 -x24 -x503 -x501 -x499 -x23 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x22 -x483 -x481 -x479
20.92/21.02 v -x21 -x477 -x475 -x473 -x20 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 x455 -x453 -x451 -x449 -x447 -x445 -x19 -x443 -x441
20.92/21.02 v -x439 -x18 -x437 -x435 -x433 -x17 -x431 -x16 -x429 -x15 -x427 -x425 -x423 -x14 -x421 -x419 -x417 -x13 -x415 -x413 -x411 -x12
20.92/21.02 v -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x11 -x395 -x393 -x391 -x10 -x389 -x387 -x385 -x9 -x383 -x381 -x379 -x377 -x375
20.92/21.02 v -x373 -x371 -x8 -x369 -x367 -x365 -x7 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x6 -x349 -x347 -x345 -x343 -x341 -x339 -x337
20.92/21.02 v -x335 -x333 -x331 -x329 -x5 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 -x299 -x297
20.92/21.02 v -x295 -x293 -x291 -x289 x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255
20.92/21.02 v -x253 -x4 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x3 -x237 -x235 -x233 -x2 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x1 -x217
20.92/21.02 v -x3945 -x3943 x3941 x3939 -x3937 -x3935 x3933 -x3931 -x3929 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911
20.92/21.02 v -x3909 x3907 x3905 x3903 -x3901 -x3899 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 -x3879 -x3877 -x3875
20.92/21.02 v x3873 -x3871 -x3869 -x3867 x3865 -x3863 -x3861 -x3859 -x3857 -x3855 x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837
20.92/21.02 v -x3835 x3833 -x3831 -x3829 -x3827 -x3825 -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801
20.92/21.02 v -x3799 -x3797 -x3795 -x3793 -x3791 -x3789 -x3787 -x3785 -x3784 -x3783 -x3781 -x3780 -x3778 -x3776 -x3774 -x3772 -x3770
20.92/21.02 v -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734
20.92/21.02 v -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3721 -x3719 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700
20.92/21.02 v -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665
20.92/21.02 v -x3663 -x3661 -x3659 -x3657 -x3655 -x3653 -x3651 -x3649 x3647 -x3645 -x3643 -x3641 -x3639 x3637 x3635 -x3633 -x3631 -x3629
20.92/21.02 v -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593
20.92/21.02 v -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x3575 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562 -x3560 -x3558
20.92/21.02 v -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523
20.92/21.02 v -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487
20.92/21.02 v -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x3457 -x3455 -x3453 -x3451
20.92/21.02 v -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415
20.92/21.02 v -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379
20.92/21.02 v -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3349 -x3347 -x3345 -x3343
20.92/21.02 v -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3319 -x3317 -x3315 -x3313 -x3311 -x3309
20.92/21.02 v -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273
20.92/21.02 v -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257 -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237
20.92/21.02 v -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223 -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201
20.92/21.02 v -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x3168 -x3166
20.92/21.02 v -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134 -x3132 -x3130
20.92/21.02 v -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098 -x3096 -x3094
20.92/21.02 v -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062 -x3060
20.92/21.02 v -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024
20.92/21.02 v -x3022 -x3020 -x3018 x3016 -x3014 -x3013 -x3011 -x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989
20.92/21.02 v -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953
20.92/21.02 v -x2951 -x2949 -x2947 -x2945 -x2943 -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917
20.92/21.02 v -x2915 -x2913 -x2911 -x2909 -x2907 -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881
20.92/21.02 v -x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 -x2851 -x2849 -x2847 -x2845
20.92/21.02 v -x2843 -x2841 -x2839 -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809
20.92/21.02 v -x2807 -x2805 -x2803 -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775
20.92/21.02 v -x2773 -x2771 -x2769 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739
20.92/21.02 v -x2737 -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703
20.92/21.02 v -x2701 -x2699 x2697 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668
20.92/21.02 v -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632
20.92/21.02 v -x2630 -x2628 -x2626 x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596
20.92/21.02 v -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560
20.92/21.02 v -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524
20.92/21.02 v -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488
20.92/21.02 v -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454
20.92/21.02 v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418
20.92/21.02 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 -x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
20.92/21.02 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346
20.92/21.02 v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
20.92/21.02 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274
20.92/21.02 v -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238
20.92/21.02 v -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202
20.92/21.02 v -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
20.92/21.02 v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132
20.92/21.02 v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096
20.92/21.02 v -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060
20.92/21.02 v -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024
20.92/21.02 v -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988
20.92/21.02 v -x1986 -x1984 -x1982 -x1980 -x1978 x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952
20.92/21.02 v -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916
20.92/21.02 v -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880
20.92/21.02 v -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846
20.92/21.02 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810
20.92/21.02 v -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774
20.92/21.02 v -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738
20.92/21.02 v -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702
20.92/21.02 v -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666
20.92/21.02 v -x1664 -x1662 -x1660 -x1658 x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630
20.92/21.02 v -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594
20.92/21.02 v -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 x1560 -x1558
20.92/21.02 v -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524
20.92/21.02 v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488
20.92/21.02 v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452
20.92/21.02 v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416
20.92/21.02 v -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380
20.92/21.02 v -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344
20.92/21.02 v -x1342 -x1340 x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308
20.92/21.02 v -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272
20.92/21.02 v -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236
20.92/21.02 v -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1221 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203
20.92/21.02 v -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 -x1171 -x1169 -x1167
20.92/21.02 v -x1165 -x1163 -x1161 -x1159 -x1157 -x1155 -x1153 x1151 -x1149 -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131
20.92/21.02 v -x1129 -x1127 -x1125 -x1123 -x1121 -x1119 -x1117 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096
20.92/21.02 v -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060
20.92/21.02 v -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024
20.92/21.02 v -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986
20.92/21.02 v -x984 -x982 x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944
20.92/21.02 v -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 x906 -x904 -x902
20.92/21.02 v -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862
20.92/21.02 v -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820
20.92/21.02 v -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 x798 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779
20.92/21.02 v -x777 -x775 -x773 x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737
20.92/21.02 v -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695
20.92/21.02 v -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 x675 -x673 -x671 -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653
20.92/21.02 v -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617 -x615 -x613 -x611
20.92/21.02 v -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569
20.92/21.02 v -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x534 -x532 -x530 -x528
20.92/21.02 v -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488
20.92/21.02 v -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 x456 -x454 -x452 -x450 -x448 -x446
20.92/21.02 v -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404
20.92/21.02 v -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362
20.92/21.02 v -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320
20.92/21.02 v -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 x288 -x286 -x284 -x282 -x280 -x278
20.92/21.02 v -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236
20.92/21.02 v -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218
20.92/21.02 c SCIP Status : problem is solved [optimal solution found]
20.92/21.02 c Total Time : 21.01
20.92/21.02 c solving : 21.01
20.92/21.02 c presolving : 0.37 (included in solving)
20.92/21.02 c reading : 0.02 (included in solving)
20.92/21.02 c copying : 0.03 (6 #copies) (minimal 0.00, maximal 0.01, average 0.01)
20.92/21.02 c Original Problem :
20.92/21.02 c Problem name : HOME/instance-4497202-1751390492.opb
20.92/21.02 c Variables : 3945 (3945 binary, 0 integer, 0 implicit integer, 0 continuous)
20.92/21.02 c Constraints : 8604 initial, 8604 maximal
20.92/21.02 c Objective : minimize, 1872 non-zeros (abs.min = 1080, abs.max = 2110)
20.92/21.02 c Presolved Problem :
20.92/21.02 c Problem name : t_HOME/instance-4497202-1751390492.opb
20.92/21.02 c Variables : 208 (208 binary, 0 integer, 0 implicit integer, 0 continuous)
20.92/21.02 c Constraints : 438 initial, 438 maximal
20.92/21.02 c Objective : minimize, 190 non-zeros (abs.min = 1106, abs.max = 2956)
20.92/21.02 c Nonzeros : 18674 constraint, 300 clique table
20.92/21.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
20.92/21.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c domcol : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
20.92/21.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c dualsparsify : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
20.92/21.02 c gateextraction : 0.02 0.00 45 0 0 0 0 0 1513 198 0 0
20.92/21.02 c implics : 0.00 0.00 53 0 0 0 0 0 0 0 0 0
20.92/21.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
20.92/21.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
20.92/21.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c trivial : 0.00 0.00 70 1756 0 0 0 0 0 0 0 0
20.92/21.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c dualfix : 0.00 0.00 70 5 0 0 0 0 0 0 0 0
20.92/21.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
20.92/21.02 c pseudoobj : 0.00 0.00 14 0 0 0 0 0 0 0 0 0
20.92/21.02 c symmetry : 0.01 0.00 1 0 0 0 0 0 0 2 0 0
20.92/21.02 c vbounds : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
20.92/21.02 c knapsack : 0.11 0.00 136 0 0 0 0 0 7 9 3 180
20.92/21.02 c setppc : 0.04 0.00 142 0 31 0 0 0 181 0 0 0
20.92/21.02 c and : 0.00 0.00 88 0 47 0 0 0 47 0 0 349
20.92/21.02 c linear : 0.10 0.01 88 5 1872 0 5 0 4833 0 0 1
20.92/21.02 c logicor : 0.00 0.00 133 14 7 0 0 0 28 0 0 664
20.92/21.02 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c components : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
20.92/21.02 c root node : - - - 1845 - - 1845 - - - - -
20.92/21.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
20.92/21.02 c benderslp : 0 0 0 0 3 0 0 267 0 0 0 0 0 0 0
20.92/21.02 c integral : 0 0 0 0 3 0 0 267 0 0 53 0 0 0 0
20.92/21.02 c knapsack : 115 115 138 12406 0 0 0 0 0 0 0 23 1 0 0
20.92/21.02 c setppc : 188 188 161 23054 0 0 0 249 184 4 265 0 0 0 0
20.92/21.02 c and : 18 18 161 23471 0 0 0 248 6 0 138 0 0 0 0
20.92/21.02 c linear : 78 78 111 5246 0 0 0 3 0 0 0 0 0 0 0
20.92/21.02 c logicor : 39 39 161 3125 0 0 0 71 4 3 2 75 7 0 0
20.92/21.02 c benders : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
20.92/21.02 c fixedvar : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
20.92/21.02 c countsols : 0 0 0 0 0 0 0 58 0 0 0 0 0 0 0
20.92/21.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
20.92/21.02 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c integral : 0.20 0.00 0.00 0.00 0.20 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c knapsack : 3.48 0.00 3.40 0.08 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c setppc : 0.16 0.00 0.01 0.13 0.00 0.00 0.00 0.02 0.00 0.00
20.92/21.02 c and : 0.05 0.00 0.01 0.04 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c linear : 1.06 0.01 1.01 0.04 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c fixedvar : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
20.92/21.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
20.92/21.02 c dualfix : 40 0 0 0
20.92/21.02 c genvbounds : 0 0 0 0
20.92/21.02 c nlobbt : 0 0 0 0
20.92/21.02 c obbt : 0 0 0 0
20.92/21.02 c probing : 0 0 0 0
20.92/21.02 c pseudoobj : 353 0 0 0
20.92/21.02 c redcost : 252 0 0 1344
20.92/21.02 c rootredcost : 0 0 0 0
20.92/21.02 c symmetry : 0 0 0 0
20.92/21.02 c vbounds : 9535 0 0 0
20.92/21.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
20.92/21.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
20.92/21.02 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
20.92/21.02 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
20.92/21.02 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c symmetry : 0.01 0.00 0.01 0.00 0.00 0.00
20.92/21.02 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
20.92/21.02 c Symmetry :
20.92/21.02 c orbitopal red. : 0 reductions applied, 0 cutoffs
20.92/21.02 c orbital reduction: 0 reductions applied, 0 cutoffs
20.92/21.02 c lexicographic red: 0 reductions applied, 0 cutoffs
20.92/21.02 c shadow tree time : 0.00 s
20.92/21.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
20.92/21.02 c propagation : 0.00 6 5 - 9 17.7 0 0.0 - - -
20.92/21.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
20.92/21.02 c bound exceed. LP : 0.02 43 24 - 39 11.0 0 0.0 5 1.0 240
20.92/21.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
20.92/21.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
20.92/21.02 c applied globally : 0.00 - - 5 42 12.2 - - 5 - -
20.92/21.02 c applied locally : - - - 0 0 0.0 - - 0 - -
20.92/21.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
20.92/21.02 c cut pool : 0.16 - 281 281 - - 9771 22242 - - - - - (maximal pool size: 1749)
20.92/21.02 c aggregation : 3.51 0.00 159 159 0 0 1 1 0 1 1 0 0
20.92/21.02 c > cmir : - - - - - - - 1 0 1 1 0 -
20.92/21.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
20.92/21.02 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
20.92/21.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c clique : 0.05 0.00 159 159 0 0 1 1 0 0 0 0 0
20.92/21.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c gomory : 9.25 0.00 71 71 0 0 9633 21929 0 105 105 0 0
20.92/21.02 c > gomorymi : - - - - - - - 20206 0 96 96 0 -
20.92/21.02 c > strongcg : - - - - - - - 1723 0 9 9 0 -
20.92/21.02 c impliedbounds : 0.02 0.00 159 159 0 35 1 1 0 1 1 0 0
20.92/21.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c mcf : 0.01 0.00 8 8 0 0 0 0 0 0 0 0 0
20.92/21.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c multilinear : 0.00 0.00 161 161 0 0 0 0 0 0 0 0 0
20.92/21.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
20.92/21.02 c rlt : 0.07 0.00 71 71 0 0 0 0 0 0 0 0 0
20.92/21.02 c zerohalf : 0.29 0.00 125 125 0 0 135 310 0 112 112 0 0
20.92/21.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
20.92/21.02 c hybrid : 0.08 0.00 158 158 227 0 22113 227 0 22113
20.92/21.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c Pricers : ExecTime SetupTime Calls Vars
20.92/21.02 c problem variables: 0.00 - 0 0
20.92/21.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
20.92/21.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c relpscost : 0.20 0.00 3 0 0 0 53 0 0 0
20.92/21.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
20.92/21.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
20.92/21.02 c LP solutions : 0.00 - - 0 0
20.92/21.02 c relax solutions : 0.00 - - 0 0
20.92/21.02 c pseudo solutions : 0.00 - - 0 0
20.92/21.02 c strong branching : 0.00 - - 0 0
20.92/21.02 c actconsdiving : 0.00 0.00 0 0 0
20.92/21.02 c adaptivediving : 0.00 0.00 0 0 0
20.92/21.02 c alns : 0.02 0.00 1 0 0
20.92/21.02 c bound : 0.00 0.00 0 0 0
20.92/21.02 c clique : 0.02 0.00 1 1 1
20.92/21.02 c coefdiving : 0.00 0.00 0 0 0
20.92/21.02 c completesol : 0.00 0.00 0 0 0
20.92/21.02 c conflictdiving : 0.12 0.00 8 1 1
20.92/21.02 c crossover : 0.00 0.00 0 0 0
20.92/21.02 c dins : 0.00 0.00 0 0 0
20.92/21.02 c distributiondivin: 0.00 0.00 0 0 0
20.92/21.02 c dps : 0.00 0.00 0 0 0
20.92/21.02 c dualval : 0.00 0.00 0 0 0
20.92/21.02 c farkasdiving : 0.34 0.00 4 1 1
20.92/21.02 c feasjump : 0.00 0.00 0 0 0
20.92/21.02 c feaspump : 0.04 0.00 1 1 1
20.92/21.02 c fixandinfer : 0.00 0.00 0 0 0
20.92/21.02 c fracdiving : 0.00 0.00 0 0 0
20.92/21.02 c gins : 0.00 0.00 0 0 0
20.92/21.02 c guideddiving : 0.00 0.00 0 0 0
20.92/21.02 c indcoefdiving : 0.00 0.00 0 0 0
20.92/21.02 c indicator : 0.00 0.00 0 0 0
20.92/21.02 c indicatordiving : 0.00 0.00 0 0 0
20.92/21.02 c indoneopt : 0.00 0.00 0 0 0
20.92/21.02 c indrounding : 0.00 0.00 0 0 0
20.92/21.02 c indtwoopt : 0.00 0.00 0 0 0
20.92/21.02 c intdiving : 0.00 0.00 0 0 0
20.92/21.02 c intshifting : 0.00 0.00 0 0 0
20.92/21.02 c linesearchdiving : 0.00 0.00 0 0 0
20.92/21.02 c localbranching : 0.00 0.00 0 0 0
20.92/21.02 c locks : 0.01 0.00 1 0 0
20.92/21.02 c lpface : 0.00 0.00 0 0 0
20.92/21.02 c mpec : 0.00 0.00 0 0 0
20.92/21.02 c multistart : 0.00 0.00 0 0 0
20.92/21.02 c mutation : 0.00 0.00 0 0 0
20.92/21.02 c nlpdiving : 0.00 0.00 0 0 0
20.92/21.02 c objpscostdiving : 0.00 0.00 0 0 0
20.92/21.02 c octane : 0.00 0.00 0 0 0
20.92/21.02 c ofins : 0.00 0.00 0 0 0
20.92/21.02 c oneopt : 0.01 0.00 3 0 0
20.92/21.02 c padm : 0.00 0.00 0 0 0
20.92/21.02 c proximity : 0.00 0.00 0 0 0
20.92/21.02 c pscostdiving : 0.00 0.00 0 0 0
20.92/21.02 c randrounding : 0.49 0.00 167 0 0
20.92/21.02 c rens : 0.28 0.00 5 5 2
20.92/21.02 c reoptsols : 0.00 0.00 0 0 0
20.92/21.02 c repair : 0.00 0.00 0 0 0
20.92/21.02 c rins : 0.00 0.00 0 0 0
20.92/21.02 c rootsoldiving : 0.00 0.00 0 0 0
20.92/21.02 c rounding : 0.02 0.00 100 0 0
20.92/21.02 c scheduler : 0.00 0.00 0 0 0
20.92/21.02 c shiftandpropagate: 0.00 0.00 0 0 0
20.92/21.02 c shifting : 0.02 0.00 100 0 0
20.92/21.02 c simplerounding : 0.00 0.00 237 0 0
20.92/21.02 c smallcard : 0.00 0.00 0 0 0
20.92/21.02 c subnlp : 0.00 0.00 0 0 0
20.92/21.02 c trivial : 0.01 0.00 16 11 2
20.92/21.02 c trivialnegation : 0.00 0.00 0 0 0
20.92/21.02 c trustregion : 0.00 0.00 0 0 0
20.92/21.02 c trysol : 0.00 0.00 0 0 0
20.92/21.02 c twoopt : 0.00 0.00 0 0 0
20.92/21.02 c undercover : 0.00 0.00 1 0 0
20.92/21.02 c vbounds : 0.03 0.00 8 2 2
20.92/21.02 c veclendiving : 0.00 0.00 0 0 0
20.92/21.02 c zeroobj : 0.00 0.00 0 0 0
20.92/21.02 c zirounding : 0.00 0.00 7 0 0
20.92/21.02 c other solutions : - - - 0 -
20.92/21.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
20.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 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.92/21.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
20.92/21.02 c primal LP : 0.00 14 0 0.00 - 0.00 14
20.92/21.02 c dual LP : 0.66 246 9637 58.05 14530.05 0.03 80
20.92/21.02 c lex dual LP : 0.00 0 0 0.00 -
20.92/21.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
20.92/21.02 c resolve instable : 0.00 0 0 0.00 -
20.92/21.02 c diving/probing LP: 0.44 178 5608 31.51 12678.78
20.92/21.02 c strong branching : 0.17 12 2506 208.83 14891.40 - - 0
20.92/21.02 c (at root node) : - 12 2506 208.83 -
20.92/21.02 c conflict analysis: 0.01 24 240 10.00 22818.03
20.92/21.02 c B&B Tree :
20.92/21.02 c number of runs : 8
20.92/21.02 c nodes : 1 (0 internal, 1 leaves)
20.92/21.02 c feasible leaves : 0
20.92/21.02 c infeas. leaves : 0
20.92/21.02 c objective leaves : 0
20.92/21.02 c nodes (total) : 8 (0 internal, 8 leaves)
20.92/21.02 c nodes left : 0
20.92/21.02 c max depth : 0
20.92/21.02 c max depth (total): 0
20.92/21.02 c backtracks : 0 (0.0%)
20.92/21.02 c early backtracks : 0 (0.0%)
20.92/21.02 c nodes exc. ref. : 0 (0.0%)
20.92/21.02 c delayed cutoffs : 0
20.92/21.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
20.92/21.02 c avg switch length: 2.00
20.92/21.02 c switching time : 0.00
20.92/21.02 c Root Node :
20.92/21.02 c First LP value : +4.95199000000000e+04
20.92/21.02 c First LP Iters : 629 (23418.59 Iter/sec)
20.92/21.02 c First LP Time : 0.03
20.92/21.02 c Final Dual Bound : +5.07690000000000e+04
20.92/21.02 c Final Root Iters : 9637
20.92/21.02 c Root LP Estimate : -
20.92/21.02 c Solution :
20.92/21.02 c Solutions found : 22 (10 improvements)
20.92/21.02 c First Solution : +3.03619300000000e+06 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
20.92/21.02 c Gap First Sol. : infinite
20.92/21.02 c Gap Last Sol. : 0.00 %
20.92/21.02 c Primal Bound : +5.07690000000000e+04 (in run 8, after 1 nodes, 21.01 seconds, depth 1, found by <conflictdiving>)
20.92/21.02 c Dual Bound : +5.07690000000000e+04
20.92/21.02 c Gap : 0.00 %
20.92/21.02 c Integrals : Total Avg%
20.92/21.02 c primal-dual : 61.44 2.92
20.92/21.02 c primal-ref : - - (not evaluated)
20.92/21.02 c dual-ref : - - (not evaluated)
20.92/21.04 c Time complete: 20.962.
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 (62541 MiB free)
memory of node 1: 64507 MiB (62249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497202-1751390492/watcher-4497202-1751390492 -o /tmp/evaluation-result-4497202-1751390492/solver-4497202-1751390492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58508 --watchdog 3760 pbscip -f HOME/instance-4497202-1751390492.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=60554, runsolver pid=60551
[startup+0.100062 s]*
/proc/loadavg: 4.17 4.13 4.09 3/260 60555
/proc/meminfo: memFree=127758444/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=69668 memory=43428 CPUtime=0.08 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 7717 0 0 0 7 1 0 0 20 0 1 0 54727119 71340032 10857 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 17417 10857 3712 3530 0 8868 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69668 KiB
Current children cumulated memory: 43428 KiB
[startup+0.205466 s]*
/proc/loadavg: 4.17 4.13 4.09 4/263 60564
/proc/meminfo: memFree=127778512/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=95096 memory=62500 CPUtime=0.19 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 12317 0 0 0 17 2 0 0 20 0 1 0 54727119 97378304 15625 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 23774 15625 3904 3530 0 15225 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 95096 KiB
Current children cumulated memory: 62500 KiB
[startup+0.305552 s]*
/proc/loadavg: 4.17 4.13 4.09 4/261 60569
/proc/meminfo: memFree=127776752/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=97880 memory=64164 CPUtime=0.29 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 12711 0 0 0 27 2 0 0 20 0 1 0 54727119 100229120 16041 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 24470 16041 3936 3530 0 15921 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97880 KiB
Current children cumulated memory: 64164 KiB
[startup+0.700119 s]
/proc/loadavg: 4.17 4.13 4.09 3/260 60581
/proc/meminfo: memFree=127775804/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=98712 memory=64932 CPUtime=0.68 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 12922 0 0 0 66 2 0 0 20 0 1 0 54727119 101081088 16233 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 24678 16233 3936 3530 0 16129 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 98712 KiB
Current children cumulated memory: 64932 KiB
[startup+1.50015 s]
/proc/loadavg: 4.17 4.13 4.09 5/265 60606
/proc/meminfo: memFree=127767412/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=104700 memory=70564 CPUtime=1.47 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 14330 0 0 0 145 2 0 0 20 0 1 0 54727119 107212800 17641 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 26175 17641 3936 3530 0 17626 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104700 KiB
Current children cumulated memory: 70564 KiB
[startup+3.10546 s]
/proc/loadavg: 4.17 4.13 4.09 5/266 60727
/proc/meminfo: memFree=127736464/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=115816 memory=78912 CPUtime=3.07 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 16688 0 0 0 305 2 0 0 20 0 1 0 54727119 118595584 19728 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 28954 19728 3936 3530 0 20405 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 115816 KiB
Current children cumulated memory: 78912 KiB
[startup+6.30017 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126759348/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=210632 memory=172476 CPUtime=6.26 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 43976 0 0 0 619 7 0 0 20 0 1 0 54727119 215687168 43119 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 52658 43119 3968 3530 0 44109 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 210632 KiB
Current children cumulated memory: 172476 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126272820/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=235972 memory=198824 CPUtime=12.64 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 50780 0 0 0 1257 7 0 0 20 0 1 0 54727119 241635328 49706 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 58993 49706 3968 3530 0 50444 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 235972 KiB
Current children cumulated memory: 198824 KiB
[startup+21.0518 s]
# the end of solver process 60554 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=20.8812 s, system=0.09272 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8002 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 60772
/proc/meminfo: memFree=126272820/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=235972 memory=198824 CPUtime=12.74 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 50780 0 0 0 1267 7 0 0 20 0 1 0 54727119 241635328 49706 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 58993 49706 3968 3530 0 50444 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 235972 KiB
Current children cumulated memory: 198824 KiB
[startup+16.0002 s]*
/proc/loadavg: 4.21 4.14 4.10 5/266 60772
/proc/meminfo: memFree=126168240/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=245516 memory=207784 CPUtime=15.94 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 53012 0 0 0 1586 8 0 0 20 0 1 0 54727119 251408384 51946 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 61379 51946 3968 3530 0 52830 0
Current children cumulated CPU time: 15.94 s
Current children cumulated vsize: 245516 KiB
Current children cumulated memory: 207784 KiB
[startup+19.2002 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 60772
/proc/meminfo: memFree=125995196/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=251096 memory=212776 CPUtime=19.12 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 54275 0 0 0 1904 8 0 0 20 0 1 0 54727119 257122304 53194 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 62774 53194 3968 3530 0 54225 0
Current children cumulated CPU time: 19.12 s
Current children cumulated vsize: 251096 KiB
Current children cumulated memory: 212776 KiB
[startup+20.0002 s]*
/proc/loadavg: 4.19 4.13 4.10 5/266 60772
/proc/meminfo: memFree=125995196/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=251096 memory=212904 CPUtime=19.92 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 54283 0 0 0 1984 8 0 0 20 0 1 0 54727119 257122304 53226 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 62774 53226 3968 3530 0 54225 0
Current children cumulated CPU time: 19.92 s
Current children cumulated vsize: 251096 KiB
Current children cumulated memory: 212904 KiB
[startup+20.8001 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 60772
/proc/meminfo: memFree=125995196/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=252068 memory=214184 CPUtime=20.71 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 54614 0 0 0 2063 8 0 0 20 0 1 0 54727119 258117632 53546 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 63017 53546 3968 3530 0 54468 0
Current children cumulated CPU time: 20.71 s
Current children cumulated vsize: 252068 KiB
Current children cumulated memory: 214184 KiB
[startup+21.0001 s]*
/proc/loadavg: 4.19 4.13 4.10 5/266 60772
/proc/meminfo: memFree=125987132/131249996 swapFree=33010684/33010684
[pid=60554] ppid=60551 vsize=252068 memory=214184 CPUtime=20.92 cores=5,7
/proc/60554/stat : 60554 (pbscip) R 60551 60554 58495 0 -1 4194304 54614 0 0 0 2084 8 0 0 20 0 1 0 54727119 258117632 53546 18446744073709551615 4235264 18693293 140731392452192 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 32600064 140731392461193 140731392461292 140731392461292 140731392466894 0
/proc/60554/statm: 63017 53546 3968 3530 0 54468 0
Current children cumulated CPU time: 20.92 s
Current children cumulated vsize: 252068 KiB
Current children cumulated memory: 214184 KiB
Child status: 0
Real time (s): 21.0518
CPU time (s): 20.9739
CPU user time (s): 20.8812
CPU system time (s): 0.09272
CPU usage (%): 99.63
Max. virtual memory (cumulated for all children) (KiB): 252068
Max. memory (cumulated for all children) (KiB): 214184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8812
system time used= 0.09272
maximum resident set size= 214184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54620
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= 81
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 60554
# total CPU time (s): 20.9739
# total CPU user time (s): 20.8812
# total CPU system time (s): 0.09272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.065701 second user time and 0.118155 second system time
The end
Begin job on nodeC024 at 2025-07-01 19:21:32 IDJOB=4497202 IDBENCH=148155 IDSOLVER=3365 FILE ID=nodeC024/4497202-1751390492 RUNJOBID= nodeC024-1751383217-58508 SLURM_JOB_ID= 9598230 Free space on /tmp= 432920 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497202-1751390492/watcher-4497202-1751390492 -o /tmp/evaluation-result-4497202-1751390492/solver-4497202-1751390492 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751383217-58508 --watchdog 3760 pbscip -f HOME/instance-4497202-1751390492.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768 RANDOM SEED=1049188576 nodeC024 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.676 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.36 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.578 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.36 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 : 3604.981 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.904 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.698 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.36 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.673 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.36 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 : 3598.812 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.614 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 127785448 kB MemAvailable: 129214256 kB Buffers: 3280 kB Cached: 2221644 kB SwapCached: 0 kB Active: 638096 kB Inactive: 1964496 kB Active(anon): 395732 kB Inactive(anon): 0 kB Active(file): 242364 kB Inactive(file): 1964496 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010684 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 58476 kB Writeback: 4 kB AnonPages: 380824 kB Mapped: 115884 kB Shmem: 18064 kB KReclaimable: 121972 kB Slab: 211084 kB SReclaimable: 121972 kB SUnreclaim: 89112 kB KernelStack: 4244 kB PageTables: 3740 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 731508 kB VmallocTotal: 34359738367 kB VmallocUsed: 150472 kB VmallocChunk: 0 kB Percpu: 3808 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 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: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432884 MiB End job on nodeC024 at 2025-07-01 19:21:53