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