0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4499269-1751406522.opb>
0.00/0.01 c original problem has 2850 variables (2850 bin, 0 int, 0 cont) and 3286 constraints
0.00/0.01 c problem read in 0.012 seconds
0.00/0.02 c presolving:
0.00/0.03 c (round 1, fast) 6 del vars, 1 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
0.00/0.03 c (round 2, fast) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 369 clqs
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.05 c (round 3, exhaustive) 6 del vars, 2845 del conss, 0 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 369 clqs
0.09/0.10 c (0.1s) probing: 51/2844 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.11 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.39/0.42 c (0.4s) symmetry computation finished: 422 generators found (max: 1500, log10 of symmetry group size: 183.80) (symcode time: 0.31)
0.39/0.44 c dynamic symmetry handling statistics:
0.39/0.44 c orbitopal reduction: no components
0.39/0.44 c orbital reduction: no components
0.39/0.44 c lexicographic reduction: no permutations
0.39/0.44 c handled 1 out of 1 symmetry components
0.39/0.44 c (round 4, exhaustive) 676 del vars, 2845 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 369 clqs
0.39/0.44 c (round 5, medium) 755 del vars, 2845 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 369 clqs
0.39/0.45 c (round 6, medium) 845 del vars, 2885 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 365 clqs
0.39/0.45 c (round 7, medium) 872 del vars, 2932 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.39/0.45 c (round 8, medium) 894 del vars, 2947 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.39/0.45 c (round 9, medium) 898 del vars, 2959 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.39/0.45 c (round 10, medium) 898 del vars, 2963 del conss, 382 add conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 441 upgd conss, 0 impls, 361 clqs
0.59/0.67 c (0.7s) probing: 1000/2844 (35.2%) - 0 fixings, 0 aggregations, 29058 implications, 0 bound changes
0.88/0.92 c (0.9s) probing: 1818/2844 (63.9%) - 0 fixings, 0 aggregations, 35805 implications, 0 bound changes
0.88/0.92 c (0.9s) probing aborted: 1000/1000 successive useless probings
0.88/0.92 c presolving (11 rounds: 11 fast, 9 medium, 3 exhaustive):
0.88/0.92 c 898 deleted vars, 2963 deleted constraints, 382 added constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.88/0.92 c 0 implications, 28909 cliques
0.88/0.92 c presolved problem has 1952 variables (1952 bin, 0 int, 0 cont) and 705 constraints
0.88/0.92 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.88/0.92 c 325 constraints of type <knapsack>
0.88/0.92 c 57 constraints of type <setppc>
0.88/0.92 c 323 constraints of type <orbitope_pp>
0.88/0.92 c transformed objective value is always integral (scale: 1)
0.88/0.92 c Presolving Time: 0.90
0.88/0.92 c
0.88/0.92 c - non default parameters ----------------------------------------------------------------------
0.88/0.92 c
0.88/0.92 c # SCIP version 10.0.0
0.88/0.92 c
0.88/0.92 c # maximal time in seconds to run
0.88/0.92 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.88/0.92 c limits/time = 3596.998474
0.88/0.92 c
0.88/0.92 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.88/0.92 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.88/0.92 c limits/memory = 27900
0.88/0.92 c
0.88/0.92 c # belongs reading time to solving time?
0.88/0.92 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.88/0.92 c timing/reading = TRUE
0.88/0.92 c
0.88/0.92 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.88/0.92 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.88/0.92 c reading/opbreader/maxintsize = 47
0.88/0.92 c
0.88/0.92 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.88/0.92 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.88/0.92 c propagating/genvbounds/timingmask = 0
0.88/0.92 c
0.88/0.92 c -----------------------------------------------------------------------------------------------
0.88/0.92 c
0.99/1.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.99/1.05 c 1.1s| 1 | 0 | 441 | - | 66M | 0 |1952 | 756 | 382 | 0 | 0 | 50 | 0 | 6.000000e+00 | -- | Inf | unknown
1.09/1.17 c 1.2s| 1 | 0 | 668 | - | 69M | 0 |1952 | 756 | 396 | 14 | 1 | 50 | 0 | 6.000000e+00 | -- | Inf | unknown
1.18/1.20 c 1.2s| 1 | 0 | 716 | - | 70M | 0 |1952 | 756 | 413 | 31 | 2 | 50 | 0 | 6.000000e+00 | -- | Inf | unknown
1.18/1.23 c 1.2s| 1 | 0 | 739 | - | 70M | 0 |1952 | 756 | 426 | 44 | 3 | 50 | 0 | 6.000000e+00 | -- | Inf | unknown
1.18/1.27 c 1.3s| 1 | 0 | 805 | - | 71M | 0 |1952 | 756 | 444 | 62 | 4 | 50 | 0 | 6.000000e+00 | -- | Inf | unknown
1.28/1.34 c 1.3s| 1 | 0 | 862 | - | 75M | 0 |1952 | 761 | 457 | 75 | 5 | 55 | 0 | 6.000000e+00 | -- | Inf | unknown
1.38/1.40 c 1.4s| 1 | 0 | 898 | - | 78M | 0 |1952 | 764 | 470 | 88 | 6 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
1.38/1.43 c 1.4s| 1 | 0 | 936 | - | 78M | 0 |1952 | 764 | 485 | 103 | 7 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
1.38/1.47 c 1.5s| 1 | 0 | 964 | - | 79M | 0 |1952 | 764 | 500 | 118 | 8 | 58 | 0 | 6.000000e+00 | -- | Inf | unknown
1.48/1.51 c 1.5s| 1 | 0 | 1019 | - | 79M | 0 |1952 | 765 | 515 | 133 | 9 | 59 | 0 | 6.000000e+00 | -- | Inf | unknown
1.48/1.54 c 1.5s| 1 | 0 | 1066 | - | 79M | 0 |1952 | 766 | 530 | 148 | 10 | 60 | 0 | 6.000000e+00 | -- | Inf | unknown
1.48/1.57 c 1.6s| 1 | 0 | 1117 | - | 79M | 0 |1952 | 768 | 543 | 161 | 11 | 62 | 0 | 6.000000e+00 | -- | Inf | unknown
1.68/1.72 c 1.7s| 1 | 2 | 1486 | - | 80M | 0 |1952 | 789 | 543 | 161 | 11 | 83 | 12 | 6.000000e+00 | -- | Inf | unknown
3.08/3.20 c 3.2s| 100 | 70 | 10925 | 99.1 | 86M | 50 |1952 |1065 | 469 | 270 | 1 | 361 | 12 | 6.000000e+00 | -- | Inf | unknown
3.77/3.83 c 3.8s| 200 | 116 | 14622 | 67.9 | 102M | 50 |1952 |1215 | 468 | 431 | 1 | 511 | 12 | 6.000000e+00 | -- | Inf | unknown
4.17/4.23 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
4.17/4.23 c 4.2s| 300 | 144 | 17403 | 54.5 | 107M | 50 |1952 |1397 | 471 | 587 | 1 | 693 | 12 | 6.000000e+00 | -- | Inf | unknown
4.37/4.49 c 4.5s| 400 | 168 | 19245 | 45.4 | 113M | 50 |1952 |1479 | 467 | 671 | 1 | 775 | 12 | 6.000000e+00 | -- | Inf | unknown
4.57/4.70 c 4.7s| 500 | 171 | 20410 | 38.7 | 114M | 50 |1952 |1585 | 0 | 700 | 0 | 881 | 12 | 6.000000e+00 | -- | Inf | unknown
4.86/4.90 c 4.9s| 600 | 184 | 22029 | 34.9 | 115M | 52 |1952 |1667 | 475 | 780 | 1 | 963 | 12 | 6.000000e+00 | -- | Inf | unknown
4.97/5.07 c 5.1s| 700 | 194 | 23288 | 31.7 | 115M | 52 |1952 |1776 | 467 | 828 | 1 |1073 | 12 | 6.000000e+00 | -- | Inf | unknown
5.36/5.42 c 5.4s| 800 | 224 | 25632 | 30.7 | 116M | 55 |1952 |1954 | 468 | 956 | 1 |1257 | 12 | 6.000000e+00 | -- | Inf | unknown
5.66/5.76 c 5.8s| 900 | 244 | 28640 | 30.6 | 116M | 55 |1952 |2178 | 466 |1100 | 0 |1494 | 12 | 6.000000e+00 | -- | Inf | unknown
5.97/6.03 c 6.0s| 1000 | 265 | 30623 | 29.5 | 117M | 55 |1952 |2370 | 475 |1236 | 1 |1694 | 12 | 6.000000e+00 | -- | Inf | unknown
6.16/6.25 c 6.2s| 1100 | 269 | 32602 | 28.6 | 117M | 55 |1952 |2420 | 0 |1310 | 0 |1762 | 12 | 6.000000e+00 | -- | Inf | unknown
6.36/6.46 c 6.5s| 1200 | 277 | 34611 | 27.9 | 118M | 55 |1952 |2467 | 472 |1384 | 0 |1825 | 12 | 6.000000e+00 | -- | Inf | unknown
6.57/6.66 c 6.7s| 1300 | 299 | 36300 | 27.1 | 118M | 55 |1952 |2515 | 472 |1437 | 1 |1887 | 12 | 6.000000e+00 | -- | Inf | unknown
6.87/6.93 c 6.9s| 1400 | 316 | 38704 | 26.9 | 118M | 57 |1952 |2573 | 461 |1543 | 1 |1952 | 12 | 6.000000e+00 | -- | Inf | unknown
7.27/7.34 c 7.3s| 1500 | 340 | 42462 | 27.6 | 119M | 57 |1952 |2607 | 475 |1749 | 1 |2020 | 12 | 6.000000e+00 | -- | Inf | unknown
7.47/7.59 c 7.6s| 1600 | 354 | 44867 | 27.4 | 119M | 57 |1952 |2624 | 475 |1854 | 0 |2110 | 12 | 6.000000e+00 | -- | Inf | unknown
7.76/7.87 c 7.9s| 1700 | 389 | 47734 | 27.4 | 119M | 57 |1952 |2687 | 473 |2046 | 1 |2213 | 12 | 6.000000e+00 | -- | Inf | unknown
8.16/8.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
8.16/8.25 c 8.3s| 1800 | 404 | 51294 | 27.9 | 119M | 57 |1952 |2730 | 463 |2277 | 1 |2319 | 12 | 6.000000e+00 | -- | Inf | unknown
8.46/8.58 c 8.6s| 1900 | 437 | 54672 | 28.2 | 120M | 57 |1952 |2784 | 471 |2496 | 1 |2419 | 12 | 6.000000e+00 | -- | Inf | unknown
8.66/8.75 c 8.8s| 2000 | 443 | 55805 | 27.4 | 120M | 57 |1952 |2826 | 474 |2555 | 1 |2479 | 12 | 6.000000e+00 | -- | Inf | unknown
8.86/8.99 c 9.0s| 2100 | 459 | 57764 | 27.0 | 120M | 57 |1952 |2838 | 466 |2643 | 0 |2539 | 12 | 6.000000e+00 | -- | Inf | unknown
9.16/9.24 c 9.2s| 2200 | 470 | 59876 | 26.7 | 120M | 57 |1952 |2843 | 474 |2750 | 0 |2562 | 12 | 6.000000e+00 | -- | Inf | unknown
9.35/9.44 c 9.4s| 2300 | 475 | 61275 | 26.2 | 121M | 57 |1952 |2822 | 0 |2820 | 0 |2609 | 12 | 6.000000e+00 | -- | Inf | unknown
9.55/9.68 c 9.7s| 2400 | 476 | 63477 | 26.0 | 121M | 57 |1952 |2821 | 471 |2975 | 0 |2662 | 12 | 6.000000e+00 | -- | Inf | unknown
9.96/10.05 c 10.0s| 2500 | 490 | 66898 | 26.3 | 121M | 57 |1952 |2911 | 477 |3131 | 2 |2819 | 12 | 6.000000e+00 | -- | Inf | unknown
10.15/10.24 c 10.2s| 2600 | 498 | 68751 | 26.0 | 121M | 57 |1952 |3008 | 472 |3174 | 0 |2940 | 12 | 6.000000e+00 | -- | Inf | unknown
10.35/10.43 c 10.4s| 2700 | 499 | 70398 | 25.7 | 122M | 57 |1952 |3044 | 470 |3247 | 0 |3015 | 12 | 6.000000e+00 | -- | Inf | unknown
10.45/10.59 c 10.6s| 2800 | 497 | 71303 | 25.1 | 122M | 57 |1952 |3108 | 470 |3275 | 0 |3099 | 12 | 6.000000e+00 | -- | Inf | unknown
10.75/10.81 c 10.8s| 2900 | 510 | 73575 | 25.0 | 122M | 57 |1952 |3114 | 470 |3354 | 1 |3173 | 12 | 6.000000e+00 | -- | Inf | unknown
10.95/11.06 c 11.1s| 3000 | 517 | 75650 | 24.9 | 123M | 57 |1952 |3143 | 475 |3429 | 1 |3275 | 12 | 6.000000e+00 | -- | Inf | unknown
11.14/11.24 c 11.2s| 3100 | 533 | 76972 | 24.5 | 123M | 57 |1952 |3199 | 467 |3464 | 1 |3349 | 12 | 6.000000e+00 | -- | Inf | unknown
11.44/11.59 c 11.6s| 3200 | 565 | 79759 | 24.6 | 124M | 57 |1952 |3221 | 0 |3637 | 0 |3427 | 12 | 6.000000e+00 | -- | Inf | unknown
11.74/11.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.74/11.87 c 11.9s| 3300 | 598 | 82117 | 24.6 | 124M | 57 |1952 |3273 | 469 |3747 | 0 |3513 | 12 | 6.000000e+00 | -- | Inf | unknown
12.05/12.12 c 12.1s| 3400 | 620 | 84786 | 24.6 | 124M | 57 |1952 |3306 | 472 |3856 | 1 |3593 | 12 | 6.000000e+00 | -- | Inf | unknown
12.24/12.37 c 12.4s| 3500 | 636 | 87645 | 24.7 | 125M | 57 |1952 |3365 | 0 |3987 | 0 |3677 | 12 | 6.000000e+00 | -- | Inf | unknown
12.54/12.65 c 12.7s| 3600 | 638 | 91013 | 25.0 | 125M | 57 |1952 |3419 | 0 |4125 | 0 |3742 | 12 | 6.000000e+00 | -- | Inf | unknown
12.94/13.00 c 13.0s| 3700 | 649 | 93115 | 24.9 | 125M | 57 |1952 |3453 | 480 |4248 | 2 |3882 | 12 | 6.000000e+00 | -- | Inf | unknown
13.14/13.23 c 13.2s| 3800 | 668 | 94600 | 24.6 | 125M | 57 |1952 |3589 | 476 |4346 | 1 |4042 | 12 | 6.000000e+00 | -- | Inf | unknown
13.34/13.40 c 13.4s| 3900 | 673 | 95763 | 24.3 | 125M | 57 |1952 |3656 | 483 |4448 | 2 |4135 | 12 | 6.000000e+00 | -- | Inf | unknown
13.44/13.56 c 13.6s| 4000 | 670 | 96482 | 23.8 | 125M | 57 |1952 |3810 | 471 |4494 | 1 |4338 | 12 | 6.000000e+00 | -- | Inf | unknown
13.64/13.72 c 13.7s| 4100 | 678 | 97897 | 23.6 | 125M | 57 |1952 |3820 | 466 |4512 | 0 |4433 | 12 | 6.000000e+00 | -- | Inf | unknown
13.83/13.95 c 14.0s| 4200 | 690 | 99940 | 23.5 | 125M | 57 |1952 |3717 | 466 |4579 | 1 |4525 | 12 | 6.000000e+00 | -- | Inf | unknown
14.14/14.30 c 14.3s| 4300 | 717 |102275 | 23.5 | 126M | 57 |1952 |3741 | 472 |4704 | 1 |4657 | 12 | 6.000000e+00 | -- | Inf | unknown
14.44/14.51 c 14.5s| 4400 | 714 |104084 | 23.4 | 126M | 57 |1952 |3712 | 476 |4756 | 1 |4705 | 12 | 6.000000e+00 | -- | Inf | unknown
14.64/14.74 c 14.7s| 4500 | 716 |105875 | 23.3 | 126M | 57 |1952 |3706 | 471 |4854 | 1 |4802 | 12 | 6.000000e+00 | -- | Inf | unknown
14.84/14.92 c 14.9s| 4600 | 711 |107353 | 23.1 | 126M | 57 |1952 |3716 | 0 |4865 | 0 |4865 | 12 | 6.000000e+00 | -- | Inf | unknown
15.04/15.19 c 15.2s| 4700 | 724 |109715 | 23.1 | 126M | 57 |1952 |3657 | 0 |4980 | 0 |4978 | 12 | 6.000000e+00 | -- | Inf | unknown
15.24/15.39 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
15.24/15.39 c 15.4s| 4800 | 730 |111209 | 22.9 | 126M | 59 |1952 |3702 | 476 |5033 | 0 |5096 | 12 | 6.000000e+00 | -- | Inf | unknown
15.54/15.60 c 15.6s| 4900 | 754 |113317 | 22.9 | 126M | 59 |1952 |3742 | 476 |5128 | 2 |5156 | 12 | 6.000000e+00 | -- | Inf | unknown
15.74/15.85 c 15.9s| 5000 | 760 |115559 | 22.9 | 126M | 59 |1952 |3796 | 466 |5243 | 0 |5217 | 12 | 6.000000e+00 | -- | Inf | unknown
15.94/16.06 c 16.1s| 5100 | 759 |117410 | 22.8 | 126M | 60 |1952 |3817 | 474 |5328 | 1 |5264 | 12 | 6.000000e+00 | -- | Inf | unknown
16.14/16.24 c 16.2s| 5200 | 764 |118875 | 22.7 | 127M | 60 |1952 |3750 | 479 |5377 | 1 |5345 | 12 | 6.000000e+00 | -- | Inf | unknown
16.33/16.44 c 16.4s| 5300 | 766 |120783 | 22.6 | 127M | 60 |1952 |3700 | 481 |5413 | 1 |5359 | 12 | 6.000000e+00 | -- | Inf | unknown
16.53/16.66 c 16.7s| 5400 | 764 |122736 | 22.5 | 127M | 60 |1952 |3743 | 468 |5476 | 1 |5464 | 12 | 6.000000e+00 | -- | Inf | unknown
16.73/16.86 c 16.9s| 5500 | 762 |124504 | 22.4 | 127M | 60 |1952 |3744 | 478 |5557 | 1 |5556 | 12 | 6.000000e+00 | -- | Inf | unknown
16.94/17.05 c 17.0s| 5600 | 773 |125792 | 22.3 | 127M | 64 |1952 |3797 | 490 |5617 | 1 |5650 | 12 | 6.000000e+00 | -- | Inf | unknown
17.13/17.21 c 17.2s| 5700 | 764 |126903 | 22.1 | 127M | 64 |1952 |3862 | 482 |5629 | 0 |5732 | 12 | 6.000000e+00 | -- | Inf | unknown
17.23/17.38 c 17.4s| 5800 | 766 |127995 | 21.9 | 127M | 64 |1952 |3876 | 487 |5670 | 1 |5771 | 12 | 6.000000e+00 | -- | Inf | unknown
17.43/17.54 c 17.5s| 5900 | 766 |129033 | 21.7 | 127M | 68 |1952 |3887 | 488 |5722 | 1 |5820 | 12 | 6.000000e+00 | -- | Inf | unknown
17.63/17.73 c 17.7s| 6000 | 776 |130763 | 21.6 | 127M | 68 |1952 |3798 | 476 |5760 | 1 |5850 | 12 | 6.000000e+00 | -- | Inf | unknown
17.83/17.92 c 17.9s| 6100 | 778 |132279 | 21.5 | 127M | 68 |1952 |3891 | 476 |5800 | 0 |5960 | 12 | 6.000000e+00 | -- | Inf | unknown
17.93/18.07 c 18.1s| 6200 | 782 |133423 | 21.3 | 127M | 68 |1952 |3982 | 480 |5846 | 1 |6061 | 12 | 6.000000e+00 | -- | Inf | unknown
18.13/18.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.13/18.24 c 18.2s| 6300 | 778 |134475 | 21.2 | 128M | 68 |1952 |4025 | 479 |5891 | 1 |6126 | 12 | 6.000000e+00 | -- | Inf | unknown
18.33/18.42 c 18.4s| 6400 | 781 |135662 | 21.0 | 128M | 68 |1952 |3999 | 469 |5951 | 1 |6163 | 12 | 6.000000e+00 | -- | Inf | unknown
18.53/18.61 c 18.6s| 6500 | 785 |136970 | 20.9 | 128M | 68 |1952 |3944 | 0 |5998 | 0 |6207 | 12 | 6.000000e+00 | -- | Inf | unknown
18.62/18.77 c 18.8s| 6600 | 782 |138307 | 20.8 | 128M | 68 |1952 |3880 | 475 |6059 | 0 |6254 | 12 | 6.000000e+00 | -- | Inf | unknown
18.93/19.04 c 19.0s| 6700 | 785 |140456 | 20.8 | 128M | 68 |1952 |3820 | 473 |6183 | 1 |6297 | 12 | 6.000000e+00 | -- | Inf | unknown
19.12/19.27 c 19.3s| 6800 | 797 |141947 | 20.7 | 128M | 68 |1952 |3786 | 467 |6239 | 1 |6369 | 12 | 6.000000e+00 | -- | Inf | unknown
19.32/19.42 c 19.4s| 6900 | 796 |142822 | 20.5 | 128M | 68 |1952 |3993 | 471 |6270 | 0 |6584 | 12 | 6.000000e+00 | -- | Inf | unknown
19.62/19.71 c 19.7s| 7000 | 815 |144797 | 20.5 | 128M | 68 |1952 |3717 | 472 |6391 | 0 |6635 | 12 | 6.000000e+00 | -- | Inf | unknown
19.82/19.93 c 19.9s| 7100 | 822 |146845 | 20.5 | 128M | 68 |1952 |3686 | 478 |6467 | 0 |6712 | 12 | 6.000000e+00 | -- | Inf | unknown
20.02/20.18 c 20.2s| 7200 | 815 |148675 | 20.5 | 129M | 68 |1952 |3538 | 475 |6569 | 1 |6823 | 12 | 6.000000e+00 | -- | Inf | unknown
20.32/20.45 c 20.5s| 7300 | 807 |150755 | 20.5 | 129M | 68 |1952 |3459 | 479 |6634 | 2 |6924 | 12 | 6.000000e+00 | -- | Inf | unknown
20.62/20.76 c 20.8s| 7400 | 815 |152826 | 20.5 | 129M | 68 |1952 |3411 | 476 |6733 | 1 |7060 | 12 | 6.000000e+00 | -- | Inf | unknown
20.92/21.03 c 21.0s| 7500 | 831 |155747 | 20.6 | 129M | 68 |1952 |3364 | 470 |6845 | 0 |7150 | 12 | 6.000000e+00 | -- | Inf | unknown
21.11/21.26 c 21.3s| 7600 | 834 |157848 | 20.6 | 129M | 68 |1952 |3100 | 0 |6958 | 0 |7216 | 12 | 6.000000e+00 | -- | Inf | unknown
21.31/21.49 c 21.5s| 7700 | 838 |159935 | 20.6 | 129M | 68 |1952 |2781 | 498 |7019 | 1 |7297 | 12 | 6.000000e+00 | -- | Inf | unknown
21.61/21.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
21.61/21.76 c 21.8s| 7800 | 838 |162187 | 20.7 | 129M | 68 |1952 |2646 | 0 |7109 | 0 |7379 | 12 | 6.000000e+00 | -- | Inf | unknown
21.92/22.02 c 22.0s| 7900 | 851 |163776 | 20.6 | 129M | 68 |1952 |2587 | 475 |7224 | 1 |7473 | 12 | 6.000000e+00 | -- | Inf | unknown
22.11/22.22 c 22.2s| 8000 | 848 |165124 | 20.5 | 129M | 68 |1952 |2533 | 477 |7278 | 1 |7505 | 12 | 6.000000e+00 | -- | Inf | unknown
22.31/22.45 c 22.4s| 8100 | 848 |166906 | 20.5 | 129M | 68 |1952 |2522 | 483 |7368 | 0 |7602 | 12 | 6.000000e+00 | -- | Inf | unknown
22.51/22.68 c 22.7s| 8200 | 862 |168852 | 20.5 | 129M | 68 |1952 |2525 | 462 |7478 | 1 |7694 | 12 | 6.000000e+00 | -- | Inf | unknown
22.81/22.94 c 22.9s| 8300 | 895 |170975 | 20.5 | 129M | 68 |1952 |2539 | 473 |7609 | 1 |7734 | 12 | 6.000000e+00 | -- | Inf | unknown
23.01/23.15 c 23.2s| 8400 | 908 |172498 | 20.4 | 129M | 68 |1952 |2629 | 0 |7690 | 0 |7860 | 12 | 6.000000e+00 | -- | Inf | unknown
23.31/23.41 c 23.4s| 8500 | 933 |174789 | 20.4 | 129M | 68 |1952 |2636 | 480 |7802 | 2 |7932 | 12 | 6.000000e+00 | -- | Inf | unknown
23.51/23.67 c 23.7s| 8600 | 964 |177560 | 20.5 | 129M | 68 |1952 |2710 | 476 |7973 | 0 |8041 | 12 | 6.000000e+00 | -- | Inf | unknown
23.81/23.95 c 23.9s| 8700 | 966 |179754 | 20.5 | 130M | 68 |1952 |2671 | 474 |8062 | 1 |8179 | 12 | 6.000000e+00 | -- | Inf | unknown
24.10/24.22 c 24.2s| 8800 | 989 |181924 | 20.5 | 130M | 68 |1952 |2552 | 481 |8157 | 0 |8245 | 12 | 6.000000e+00 | -- | Inf | unknown
24.30/24.47 c 24.5s| 8900 | 995 |184160 | 20.6 | 130M | 68 |1952 |2551 | 467 |8255 | 1 |8307 | 12 | 6.000000e+00 | -- | Inf | unknown
24.60/24.72 c 24.7s| 9000 | 1005 |186775 | 20.6 | 130M | 68 |1952 |2600 | 0 |8371 | 0 |8450 | 12 | 6.000000e+00 | -- | Inf | unknown
24.91/25.01 c 25.0s| 9100 | 1013 |189567 | 20.7 | 130M | 68 |1952 |2578 | 473 |8527 | 1 |8533 | 12 | 6.000000e+00 | -- | Inf | unknown
25.10/25.28 c 25.3s| 9200 | 1031 |191910 | 20.7 | 130M | 68 |1952 |2563 | 473 |8624 | 1 |8643 | 12 | 6.000000e+00 | -- | Inf | unknown
25.30/25.49 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
25.30/25.49 c 25.5s| 9300 | 1032 |193575 | 20.7 | 130M | 68 |1952 |2586 | 466 |8648 | 0 |8782 | 12 | 6.000000e+00 | -- | Inf | unknown
25.60/25.74 c 25.7s| 9400 | 1049 |195671 | 20.7 | 131M | 68 |1952 |2574 | 474 |8736 | 1 |8895 | 12 | 6.000000e+00 | -- | Inf | unknown
25.90/26.04 c 26.0s| 9500 | 1043 |198761 | 20.8 | 131M | 68 |1952 |2474 | 0 |8830 | 0 |8952 | 12 | 6.000000e+00 | -- | Inf | unknown
26.20/26.30 c 26.3s| 9600 | 1054 |201615 | 20.9 | 131M | 68 |1952 |2419 | 476 |8941 | 0 |9030 | 12 | 6.000000e+00 | -- | Inf | unknown
26.40/26.55 c 26.6s| 9700 | 1076 |204002 | 20.9 | 131M | 68 |1952 |2379 | 474 |9012 | 1 |9117 | 12 | 6.000000e+00 | -- | Inf | unknown
26.69/26.85 c 26.9s| 9800 | 1083 |207625 | 21.1 | 131M | 68 |1952 |2337 | 474 |9179 | 1 |9154 | 12 | 6.000000e+00 | -- | Inf | unknown
26.90/27.08 c 27.1s| 9900 | 1090 |209658 | 21.1 | 131M | 68 |1952 |2385 | 477 |9248 | 0 |9257 | 12 | 6.000000e+00 | -- | Inf | unknown
27.19/27.38 c 27.4s| 10000 | 1115 |212875 | 21.2 | 131M | 68 |1952 |2287 | 469 |9365 | 1 |9334 | 12 | 6.000000e+00 | -- | Inf | unknown
27.49/27.61 c 27.6s| 10100 | 1120 |215098 | 21.2 | 131M | 68 |1952 |2266 | 468 |9450 | 1 |9372 | 12 | 6.000000e+00 | -- | Inf | unknown
27.69/27.83 c 27.8s| 10200 | 1118 |217481 | 21.2 | 131M | 68 |1952 |2254 | 478 |9501 | 1 |9448 | 12 | 6.000000e+00 | -- | Inf | unknown
27.89/28.02 c 28.0s| 10300 | 1118 |219336 | 21.2 | 131M | 68 |1952 |2274 | 475 |9527 | 0 |9522 | 12 | 6.000000e+00 | -- | Inf | unknown
28.19/28.33 c 28.3s| 10400 | 1119 |222251 | 21.3 | 132M | 68 |1952 |2268 | 491 |9618 | 2 |9622 | 12 | 6.000000e+00 | -- | Inf | unknown
28.39/28.55 c 28.6s| 10500 | 1132 |224103 | 21.2 | 132M | 68 |1952 |2322 | 475 |9739 | 1 |9754 | 12 | 6.000000e+00 | -- | Inf | unknown
28.69/28.84 c 28.8s| 10600 | 1141 |226432 | 21.3 | 132M | 68 |1952 |2328 | 492 |9851 | 1 |9868 | 12 | 6.000000e+00 | -- | Inf | unknown
28.79/28.99 c 29.0s| 10700 | 1149 |227867 | 21.2 | 132M | 68 |1952 |2344 | 493 |9911 | 1 |9913 | 12 | 6.000000e+00 | -- | Inf | unknown
29.09/29.21 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.09/29.21 c 29.2s| 10800 | 1133 |229905 | 21.2 | 132M | 68 |1952 |2303 | 478 |9969 | 1 |9967 | 12 | 6.000000e+00 | -- | Inf | unknown
29.28/29.44 c 29.4s| 10900 | 1139 |231983 | 21.2 | 132M | 68 |1952 |2309 | 479 | 10k| 0 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
29.58/29.73 c 29.7s| 11000 | 1138 |234289 | 21.2 | 132M | 68 |1952 |2395 | 0 | 10k| 0 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
29.78/29.99 c 30.0s| 11100 | 1142 |236800 | 21.2 | 132M | 68 |1952 |2390 | 477 | 10k| 1 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
30.08/30.22 c 30.2s| 11200 | 1161 |239272 | 21.3 | 132M | 68 |1952 |2458 | 481 | 10k| 1 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
30.38/30.54 c 30.5s| 11300 | 1175 |241803 | 21.3 | 132M | 68 |1952 |2463 | 0 | 10k| 0 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
30.58/30.70 c 30.7s| 11400 | 1187 |243011 | 21.2 | 132M | 68 |1952 |2462 | 473 | 10k| 1 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
30.88/31.01 c 31.0s| 11500 | 1196 |245304 | 21.2 | 132M | 68 |1952 |2503 | 472 | 10k| 0 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
31.18/31.32 c 31.3s| 11600 | 1214 |247798 | 21.3 | 132M | 68 |1952 |2449 | 484 | 10k| 1 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
31.38/31.51 c 31.5s| 11700 | 1208 |249232 | 21.2 | 132M | 68 |1952 |2456 | 485 | 10k| 0 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
31.67/31.88 c 31.9s| 11800 | 1245 |252219 | 21.3 | 132M | 68 |1952 |2449 | 466 | 10k| 1 | 10k| 12 | 6.000000e+00 | -- | Inf | unknown
31.98/32.15 c 32.2s| 11900 | 1273 |254160 | 21.3 | 132M | 68 |1952 |2500 | 479 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
32.17/32.35 c 32.4s| 12000 | 1271 |255892 | 21.2 | 132M | 68 |1952 |2611 | 489 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
32.48/32.65 c 32.6s| 12100 | 1293 |258773 | 21.3 | 132M | 68 |1952 |2654 | 0 | 11k| 0 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
32.78/32.91 c 32.9s| 12200 | 1306 |260914 | 21.3 | 133M | 68 |1952 |2667 | 479 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
32.98/33.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
32.98/33.14 c 33.1s| 12300 | 1318 |262905 | 21.3 | 133M | 68 |1952 |2735 | 476 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
33.27/33.43 c 33.4s| 12400 | 1337 |265027 | 21.3 | 133M | 68 |1952 |2705 | 0 | 11k| 0 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
33.37/33.59 c 33.6s| 12500 | 1345 |265834 | 21.2 | 133M | 68 |1952 |2784 | 481 | 11k| 0 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
33.57/33.74 c 33.7s| 12600 | 1350 |266599 | 21.1 | 133M | 68 |1952 |2818 | 487 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
33.67/33.87 c 33.9s| 12700 | 1348 |267540 | 21.0 | 133M | 68 |1952 |2816 | 480 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
33.88/34.05 c 34.1s| 12800 | 1349 |268494 | 20.9 | 133M | 68 |1952 |2895 | 490 | 11k| 1 | 11k| 12 | 6.000000e+00 | -- | Inf | unknown
34.07/34.22 c 34.2s| 12900 | 1359 |269515 | 20.8 | 133M | 68 |1952 |2901 | 0 | 11k| 0 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
34.27/34.41 c 34.4s| 13000 | 1369 |270746 | 20.7 | 134M | 77 |1952 |2994 | 486 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
34.47/34.66 c 34.7s| 13100 | 1374 |272208 | 20.7 | 134M | 77 |1952 |3011 | 481 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
34.67/34.81 c 34.8s| 13200 | 1372 |273300 | 20.6 | 134M | 79 |1952 |3060 | 491 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
34.77/34.95 c 35.0s| 13300 | 1373 |274126 | 20.5 | 134M | 79 |1952 |3075 | 491 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
34.87/35.06 c 35.1s| 13400 | 1370 |274866 | 20.4 | 134M | 79 |1952 |3081 | 491 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.07/35.21 c 35.2s| 13500 | 1362 |275756 | 20.3 | 134M | 79 |1952 |3082 | 481 | 11k| 0 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.17/35.38 c 35.4s| 13600 | 1374 |277263 | 20.3 | 134M | 79 |1952 |3040 | 0 | 11k| 0 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.37/35.55 c 35.6s| 13700 | 1374 |278561 | 20.3 | 134M | 79 |1952 |3100 | 489 | 11k| 0 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.57/35.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
35.57/35.71 c 35.7s| 13800 | 1376 |279328 | 20.2 | 134M | 79 |1952 |3148 | 492 | 11k| 0 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.66/35.88 c 35.9s| 13900 | 1375 |280774 | 20.1 | 134M | 79 |1952 |3150 | 489 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
35.87/36.09 c 36.1s| 14000 | 1366 |282662 | 20.1 | 135M | 79 |1952 |3143 | 490 | 11k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
36.06/36.28 c 36.3s| 14100 | 1382 |283606 | 20.0 | 135M | 79 |1952 |3057 | 471 | 12k| 1 | 12k| 12 | 6.000000e+00 | -- | Inf | unknown
36.26/36.46 c 36.5s| 14200 | 1384 |284807 | 20.0 | 135M | 79 |1952 |3076 | 490 | 12k| 0 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
36.46/36.63 c 36.6s| 14300 | 1388 |285777 | 19.9 | 135M | 79 |1952 |3168 | 0 | 12k| 0 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
36.56/36.77 c 36.8s| 14400 | 1385 |286318 | 19.8 | 135M | 79 |1952 |3142 | 0 | 12k| 0 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
36.76/36.93 c 36.9s| 14500 | 1390 |287159 | 19.7 | 135M | 79 |1952 |3144 | 0 | 12k| 0 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
36.96/37.11 c 37.1s| 14600 | 1389 |287875 | 19.6 | 135M | 79 |1952 |3091 | 484 | 12k| 0 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
37.06/37.29 c 37.3s| 14700 | 1394 |288865 | 19.6 | 135M | 79 |1952 |3110 | 472 | 12k| 1 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
37.26/37.46 c 37.5s| 14800 | 1410 |289664 | 19.5 | 136M | 79 |1952 |3149 | 484 | 12k| 1 | 13k| 12 | 6.000000e+00 | -- | Inf | unknown
37.46/37.63 c 37.6s| 14900 | 1417 |290522 | 19.4 | 136M | 79 |1952 |3222 | 482 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
37.66/37.81 c 37.8s| 15000 | 1433 |291996 | 19.4 | 136M | 79 |1952 |3185 | 0 | 12k| 0 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
37.76/37.97 c 38.0s| 15100 | 1432 |292622 | 19.3 | 136M | 79 |1952 |3221 | 481 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
37.96/38.18 c 38.2s| 15200 | 1440 |294031 | 19.3 | 136M | 79 |1952 |3012 | 481 | 12k| 0 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
38.15/38.33 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
38.15/38.33 c 38.3s| 15300 | 1447 |294876 | 19.2 | 136M | 79 |1952 |3075 | 482 | 12k| 0 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
38.35/38.51 c 38.5s| 15400 | 1443 |296200 | 19.2 | 136M | 79 |1952 |3101 | 474 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
38.55/38.72 c 38.7s| 15500 | 1440 |297641 | 19.1 | 136M | 79 |1952 |3135 | 480 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
38.65/38.88 c 38.9s| 15600 | 1441 |298572 | 19.1 | 137M | 79 |1952 |3144 | 479 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
38.86/39.09 c 39.1s| 15700 | 1453 |299727 | 19.0 | 137M | 79 |1952 |2883 | 496 | 12k| 1 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
39.05/39.23 c 39.2s| 15800 | 1460 |300482 | 18.9 | 137M | 79 |1952 |2902 | 0 | 12k| 0 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
39.15/39.39 c 39.4s| 15900 | 1456 |301232 | 18.9 | 137M | 79 |1952 |2914 | 0 | 12k| 0 | 14k| 12 | 6.000000e+00 | -- | Inf | unknown
39.35/39.54 c 39.5s| 16000 | 1455 |302049 | 18.8 | 137M | 79 |1952 |2973 | 495 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
39.55/39.74 c 39.7s| 16100 | 1464 |303021 | 18.8 | 137M | 79 |1952 |2984 | 476 | 12k| 0 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
39.65/39.88 c 39.9s| 16200 | 1468 |303930 | 18.7 | 137M | 79 |1952 |3048 | 477 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
39.95/40.16 c 40.2s| 16300 | 1493 |306050 | 18.7 | 138M | 79 |1952 |2829 | 0 | 12k| 0 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.05/40.28 c 40.3s| 16400 | 1505 |306715 | 18.6 | 138M | 79 |1952 |2901 | 476 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.25/40.43 c 40.4s| 16500 | 1504 |307582 | 18.6 | 138M | 79 |1952 |2897 | 479 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.35/40.59 c 40.6s| 16600 | 1507 |308607 | 18.5 | 138M | 79 |1952 |2902 | 481 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.54/40.76 c 40.8s| 16700 | 1504 |309515 | 18.5 | 138M | 79 |1952 |2906 | 475 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.74/40.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
40.74/40.90 c 40.9s| 16800 | 1516 |310314 | 18.4 | 138M | 79 |1952 |2964 | 474 | 12k| 1 | 15k| 12 | 6.000000e+00 | -- | Inf | unknown
40.85/41.05 c 41.1s| 16900 | 1520 |311190 | 18.3 | 138M | 79 |1952 |2979 | 0 | 12k| 0 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.04/41.22 c 41.2s| 17000 | 1519 |311971 | 18.3 | 138M | 79 |1952 |3049 | 0 | 12k| 0 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.14/41.39 c 41.4s| 17100 | 1528 |313289 | 18.3 | 138M | 79 |1952 |3034 | 481 | 12k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.34/41.57 c 41.6s| 17200 | 1531 |314251 | 18.2 | 138M | 79 |1952 |3110 | 482 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.54/41.73 c 41.7s| 17300 | 1536 |315333 | 18.2 | 138M | 79 |1952 |3021 | 480 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.64/41.89 c 41.9s| 17400 | 1537 |316140 | 18.1 | 138M | 79 |1952 |2849 | 485 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
41.84/42.06 c 42.1s| 17500 | 1550 |316989 | 18.1 | 139M | 79 |1952 |2707 | 477 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
42.04/42.20 c 42.2s| 17600 | 1546 |317477 | 18.0 | 139M | 79 |1952 |2736 | 477 | 13k| 0 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
42.14/42.33 c 42.3s| 17700 | 1543 |318290 | 17.9 | 139M | 79 |1952 |2727 | 476 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
42.34/42.51 c 42.5s| 17800 | 1540 |319268 | 17.9 | 139M | 79 |1952 |2715 | 513 | 13k| 1 | 16k| 12 | 6.000000e+00 | -- | Inf | unknown
42.44/42.65 c 42.7s| 17900 | 1545 |320077 | 17.8 | 139M | 79 |1952 |2792 | 488 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
42.64/42.85 c 42.8s| 18000 | 1545 |321412 | 17.8 | 139M | 79 |1952 |2855 | 490 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
42.84/43.06 c 43.1s| 18100 | 1553 |322532 | 17.8 | 139M | 79 |1952 |2830 | 489 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.03/43.20 c 43.2s| 18200 | 1545 |323223 | 17.7 | 139M | 79 |1952 |2846 | 475 | 13k| 2 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.23/43.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
43.23/43.44 c 43.4s| 18300 | 1551 |324431 | 17.7 | 140M | 79 |1952 |2837 | 478 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.33/43.59 c 43.6s| 18400 | 1554 |325577 | 17.6 | 140M | 79 |1952 |2857 | 0 | 13k| 0 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.53/43.76 c 43.8s| 18500 | 1552 |326683 | 17.6 | 140M | 79 |1952 |2847 | 484 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.73/43.95 c 44.0s| 18600 | 1547 |327724 | 17.6 | 140M | 79 |1952 |2861 | 0 | 13k| 0 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
43.94/44.12 c 44.1s| 18700 | 1550 |328526 | 17.5 | 140M | 79 |1952 |2982 | 478 | 13k| 0 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
44.03/44.26 c 44.3s| 18800 | 1552 |329319 | 17.5 | 140M | 79 |1952 |3023 | 0 | 13k| 0 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
44.23/44.41 c 44.4s| 18900 | 1545 |330094 | 17.4 | 140M | 79 |1952 |3058 | 480 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
44.33/44.58 c 44.6s| 19000 | 1548 |331064 | 17.4 | 140M | 79 |1952 |3065 | 483 | 13k| 1 | 17k| 12 | 6.000000e+00 | -- | Inf | unknown
44.53/44.74 c 44.7s| 19100 | 1555 |331957 | 17.3 | 140M | 79 |1952 |3063 | 480 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
44.73/44.93 c 44.9s| 19200 | 1542 |332945 | 17.3 | 140M | 79 |1952 |3086 | 480 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
44.93/45.11 c 45.1s| 19300 | 1542 |333747 | 17.2 | 140M | 79 |1952 |3090 | 481 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
45.13/45.30 c 45.3s| 19400 | 1545 |335147 | 17.2 | 140M | 79 |1952 |3085 | 0 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
45.23/45.48 c 45.5s| 19500 | 1542 |336198 | 17.2 | 140M | 79 |1952 |3081 | 481 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
45.52/45.73 c 45.7s| 19600 | 1554 |338463 | 17.2 | 140M | 79 |1952 |2981 | 489 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
45.72/45.93 c 45.9s| 19700 | 1559 |340138 | 17.2 | 140M | 79 |1952 |2897 | 0 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
45.93/46.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.93/46.16 c 46.2s| 19800 | 1572 |342280 | 17.2 | 140M | 79 |1952 |2778 | 492 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
46.22/46.42 c 46.4s| 19900 | 1579 |343846 | 17.2 | 140M | 79 |1952 |2799 | 482 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
46.42/46.60 c 46.6s| 20000 | 1591 |345259 | 17.2 | 140M | 79 |1952 |2818 | 0 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
46.52/46.77 c 46.8s| 20100 | 1586 |345939 | 17.2 | 141M | 79 |1952 |2887 | 480 | 13k| 1 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
46.72/46.95 c 46.9s| 20200 | 1594 |347156 | 17.1 | 141M | 79 |1952 |2924 | 0 | 13k| 0 | 18k| 12 | 6.000000e+00 | -- | Inf | unknown
46.92/47.13 c 47.1s| 20300 | 1600 |348299 | 17.1 | 141M | 79 |1952 |2929 | 472 | 13k| 1 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.02/47.28 c 47.3s| 20400 | 1617 |349091 | 17.1 | 141M | 79 |1952 |2992 | 0 | 13k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.22/47.42 c 47.4s| 20500 | 1630 |349718 | 17.0 | 141M | 79 |1952 |3031 | 0 | 13k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.32/47.57 c 47.6s| 20600 | 1633 |350230 | 16.9 | 141M | 79 |1952 |3057 | 0 | 13k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.52/47.71 c 47.7s| 20700 | 1638 |350768 | 16.9 | 141M | 79 |1952 |3068 | 480 | 13k| 1 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.62/47.84 c 47.8s| 20800 | 1640 |351369 | 16.8 | 141M | 79 |1952 |3096 | 477 | 14k| 1 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.72/48.00 c 48.0s| 20900 | 1643 |352051 | 16.8 | 141M | 79 |1952 |3122 | 478 | 14k| 1 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
47.92/48.12 c 48.1s| 21000 | 1650 |352689 | 16.7 | 141M | 79 |1952 |3120 | 0 | 14k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.01/48.27 c 48.3s| 21100 | 1643 |353510 | 16.7 | 141M | 79 |1952 |3123 | 0 | 14k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.21/48.43 c 48.4s| 21200 | 1646 |354403 | 16.7 | 141M | 79 |1952 |3111 | 0 | 14k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.31/48.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
48.31/48.58 c 48.6s| 21300 | 1649 |355103 | 16.6 | 141M | 79 |1952 |3153 | 0 | 14k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.51/48.74 c 48.7s| 21400 | 1643 |355711 | 16.6 | 141M | 79 |1952 |3176 | 0 | 14k| 0 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.72/48.90 c 48.9s| 21500 | 1647 |356185 | 16.5 | 141M | 79 |1952 |3264 | 480 | 14k| 2 | 19k| 12 | 6.000000e+00 | -- | Inf | unknown
48.82/49.06 c 49.1s| 21600 | 1648 |356784 | 16.5 | 141M | 79 |1952 |3202 | 476 | 14k| 1 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.02/49.20 c 49.2s| 21700 | 1653 |357460 | 16.4 | 142M | 79 |1952 |3197 | 475 | 14k| 1 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.12/49.34 c 49.3s| 21800 | 1658 |358034 | 16.4 | 142M | 79 |1952 |3206 | 481 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.32/49.50 c 49.5s| 21900 | 1658 |358756 | 16.3 | 142M | 79 |1952 |3218 | 479 | 14k| 1 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.42/49.66 c 49.7s| 22000 | 1659 |359244 | 16.3 | 142M | 79 |1952 |3276 | 475 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.62/49.82 c 49.8s| 22100 | 1655 |359740 | 16.2 | 142M | 79 |1952 |3359 | 0 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.72/49.97 c 50.0s| 22200 | 1651 |360329 | 16.2 | 142M | 79 |1952 |3394 | 476 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
49.92/50.12 c 50.1s| 22300 | 1649 |361031 | 16.1 | 142M | 79 |1952 |3354 | 476 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.01/50.29 c 50.3s| 22400 | 1650 |361751 | 16.1 | 142M | 79 |1952 |3334 | 477 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.21/50.43 c 50.4s| 22500 | 1655 |362340 | 16.1 | 142M | 79 |1952 |3254 | 476 | 14k| 1 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.31/50.58 c 50.6s| 22600 | 1654 |362965 | 16.0 | 142M | 79 |1952 |3192 | 482 | 14k| 1 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.51/50.74 c 50.7s| 22700 | 1654 |363587 | 16.0 | 142M | 79 |1952 |3245 | 476 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.71/50.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
50.71/50.91 c 50.9s| 22800 | 1667 |364692 | 15.9 | 142M | 79 |1952 |3229 | 0 | 14k| 0 | 20k| 12 | 6.000000e+00 | -- | Inf | unknown
50.82/51.00 c 51.0s| 22900 | 1667 |365056 | 15.9 | 142M | 79 |1952 |3324 | 479 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
50.92/51.16 c 51.2s| 23000 | 1676 |366211 | 15.9 | 142M | 79 |1952 |3126 | 474 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.11/51.32 c 51.3s| 23100 | 1674 |367068 | 15.8 | 142M | 79 |1952 |3082 | 477 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.21/51.48 c 51.5s| 23200 | 1680 |367964 | 15.8 | 143M | 79 |1952 |3051 | 474 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.41/51.63 c 51.6s| 23300 | 1681 |368782 | 15.8 | 143M | 79 |1952 |3074 | 0 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.61/51.80 c 51.8s| 23400 | 1689 |369418 | 15.7 | 143M | 79 |1952 |3108 | 476 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.71/51.97 c 52.0s| 23500 | 1681 |370054 | 15.7 | 143M | 79 |1952 |3135 | 480 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
51.91/52.13 c 52.1s| 23600 | 1682 |370754 | 15.7 | 143M | 79 |1952 |3156 | 477 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
52.11/52.33 c 52.3s| 23700 | 1685 |371784 | 15.6 | 143M | 79 |1952 |3083 | 480 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
52.31/52.52 c 52.5s| 23800 | 1693 |373575 | 15.7 | 143M | 79 |1952 |3002 | 474 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
52.51/52.70 c 52.7s| 23900 | 1699 |375152 | 15.7 | 143M | 79 |1952 |2912 | 479 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
52.60/52.88 c 52.9s| 24000 | 1693 |376465 | 15.6 | 143M | 79 |1952 |2975 | 481 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
52.81/53.06 c 53.1s| 24100 | 1697 |377505 | 15.6 | 143M | 79 |1952 |2925 | 480 | 14k| 1 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
53.00/53.25 c 53.3s| 24200 | 1711 |378803 | 15.6 | 143M | 79 |1952 |2891 | 476 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
53.20/53.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
53.20/53.42 c 53.4s| 24300 | 1729 |380434 | 15.6 | 143M | 79 |1952 |2934 | 0 | 14k| 0 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
53.40/53.61 c 53.6s| 24400 | 1729 |382069 | 15.6 | 143M | 79 |1952 |2973 | 477 | 14k| 2 | 21k| 12 | 6.000000e+00 | -- | Inf | unknown
53.50/53.77 c 53.8s| 24500 | 1721 |383176 | 15.6 | 143M | 79 |1952 |3050 | 478 | 14k| 0 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
53.70/53.94 c 53.9s| 24600 | 1719 |384577 | 15.6 | 143M | 79 |1952 |3031 | 482 | 14k| 2 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
53.90/54.15 c 54.1s| 24700 | 1722 |386090 | 15.6 | 143M | 79 |1952 |2983 | 485 | 14k| 2 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
54.10/54.34 c 54.3s| 24800 | 1723 |387069 | 15.6 | 144M | 79 |1952 |3067 | 0 | 14k| 0 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
54.30/54.54 c 54.5s| 24900 | 1725 |388208 | 15.5 | 144M | 79 |1952 |3067 | 484 | 14k| 1 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
54.50/54.74 c 54.7s| 25000 | 1725 |389605 | 15.5 | 144M | 79 |1952 |3022 | 484 | 14k| 1 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
54.70/54.97 c 55.0s| 25100 | 1721 |390684 | 15.5 | 144M | 79 |1952 |2917 | 480 | 14k| 2 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
55.00/55.21 c 55.2s| 25200 | 1742 |392242 | 15.5 | 144M | 79 |1952 |2947 | 481 | 14k| 0 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
55.20/55.40 c 55.4s| 25300 | 1738 |393373 | 15.5 | 144M | 79 |1952 |2965 | 485 | 14k| 1 | 22k| 12 | 6.000000e+00 | -- | Inf | unknown
55.39/55.61 c 55.6s| 25400 | 1749 |394960 | 15.5 | 144M | 79 |1952 |2983 | 482 | 14k| 0 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
55.49/55.79 c 55.8s| 25500 | 1746 |395784 | 15.5 | 145M | 79 |1952 |3081 | 0 | 14k| 0 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
55.80/56.08 c 56.1s| 25600 | 1766 |397135 | 15.5 | 146M | 79 |1952 |3087 | 0 | 15k| 0 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
55.99/56.26 c 56.3s| 25700 | 1774 |397717 | 15.4 | 146M | 79 |1952 |3185 | 482 | 15k| 1 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
56.19/56.46 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
56.19/56.46 c 56.5s| 25800 | 1772 |398372 | 15.4 | 146M | 79 |1952 |3210 | 475 | 15k| 0 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
56.39/56.64 c 56.6s| 25900 | 1771 |399362 | 15.4 | 146M | 79 |1952 |3222 | 0 | 15k| 0 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
56.59/56.82 c 56.8s| 26000 | 1771 |400417 | 15.4 | 146M | 79 |1952 |3158 | 466 | 15k| 1 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
56.89/57.15 c 57.2s| 26100 | 1794 |402313 | 15.4 | 146M | 79 |1952 |3094 | 467 | 15k| 1 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
57.19/57.43 c 57.4s| 26200 | 1818 |404826 | 15.4 | 147M | 79 |1952 |3062 | 467 | 15k| 1 | 23k| 12 | 6.000000e+00 | -- | Inf | unknown
57.39/57.60 c 57.6s| 26300 | 1828 |406139 | 15.4 | 147M | 79 |1952 |3083 | 0 | 15k| 0 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
57.49/57.77 c 57.8s| 26400 | 1832 |407076 | 15.4 | 147M | 79 |1952 |3135 | 482 | 15k| 0 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
57.68/57.99 c 58.0s| 26500 | 1833 |408773 | 15.4 | 147M | 79 |1952 |3122 | 479 | 15k| 0 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
57.89/58.16 c 58.2s| 26600 | 1833 |409896 | 15.4 | 147M | 79 |1952 |3097 | 476 | 15k| 1 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
58.08/58.36 c 58.4s| 26700 | 1832 |411367 | 15.4 | 147M | 79 |1952 |3065 | 478 | 15k| 1 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
58.38/58.62 c 58.6s| 26800 | 1842 |412770 | 15.4 | 147M | 79 |1952 |3054 | 478 | 15k| 1 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
58.48/58.78 c 58.8s| 26900 | 1851 |413859 | 15.3 | 147M | 79 |1952 |3095 | 480 | 15k| 1 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
58.79/59.02 c 59.0s| 27000 | 1842 |414812 | 15.3 | 147M | 79 |1952 |3054 | 476 | 15k| 0 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
58.98/59.29 c 59.3s| 27100 | 1864 |416663 | 15.3 | 147M | 79 |1952 |2917 | 491 | 15k| 1 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
59.18/59.49 c 59.5s| 27200 | 1868 |418482 | 15.3 | 147M | 79 |1952 |2972 | 0 | 15k| 0 | 24k| 12 | 6.000000e+00 | -- | Inf | unknown
59.38/59.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
59.38/59.69 c 59.7s| 27300 | 1870 |419596 | 15.3 | 147M | 79 |1952 |3003 | 487 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
59.68/59.92 c 59.9s| 27400 | 1883 |421069 | 15.3 | 147M | 79 |1952 |3001 | 481 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
59.78/60.09 c 60.1s| 27500 | 1889 |422219 | 15.3 | 147M | 79 |1952 |3027 | 481 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
59.98/60.28 c 60.3s| 27600 | 1892 |423222 | 15.3 | 147M | 79 |1952 |3026 | 486 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
60.18/60.47 c 60.5s| 27700 | 1892 |424655 | 15.3 | 147M | 79 |1952 |3048 | 473 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
60.37/60.69 c 60.7s| 27800 | 1904 |426152 | 15.3 | 147M | 79 |1952 |3062 | 0 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
60.67/60.92 c 60.9s| 27900 | 1908 |428046 | 15.3 | 147M | 79 |1952 |3046 | 477 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
60.88/61.10 c 61.1s| 28000 | 1907 |429249 | 15.3 | 147M | 79 |1952 |3072 | 0 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
61.07/61.37 c 61.4s| 28100 | 1924 |431628 | 15.3 | 147M | 79 |1952 |2923 | 468 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
61.37/61.60 c 61.6s| 28200 | 1935 |433460 | 15.3 | 147M | 79 |1952 |2876 | 489 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
61.47/61.77 c 61.8s| 28300 | 1930 |434425 | 15.3 | 148M | 79 |1952 |2914 | 482 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
61.67/61.96 c 62.0s| 28400 | 1932 |435499 | 15.3 | 148M | 79 |1952 |2972 | 490 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
61.87/62.11 c 62.1s| 28500 | 1931 |436379 | 15.3 | 148M | 79 |1952 |3030 | 477 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
62.07/62.31 c 62.3s| 28600 | 1937 |437542 | 15.3 | 148M | 79 |1952 |3029 | 480 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
62.17/62.49 c 62.5s| 28700 | 1947 |438611 | 15.2 | 148M | 79 |1952 |3041 | 489 | 16k| 0 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
62.37/62.66 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
62.37/62.66 c 62.7s| 28800 | 1945 |439852 | 15.2 | 148M | 79 |1952 |3047 | 491 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
62.57/62.81 c 62.8s| 28900 | 1943 |441326 | 15.2 | 148M | 79 |1952 |3060 | 497 | 16k| 1 | 25k| 12 | 6.000000e+00 | -- | Inf | unknown
62.67/62.97 c 63.0s| 29000 | 1947 |442346 | 15.2 | 148M | 79 |1952 |3084 | 487 | 16k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
62.77/63.08 c 63.1s| 29100 | 1943 |442900 | 15.2 | 148M | 79 |1952 |3154 | 0 | 16k| 0 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
62.96/63.24 c 63.2s| 29200 | 1943 |443884 | 15.2 | 148M | 79 |1952 |3139 | 518 | 16k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
63.16/63.42 c 63.4s| 29300 | 1940 |445171 | 15.2 | 148M | 79 |1952 |3132 | 480 | 16k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
63.36/63.60 c 63.6s| 29400 | 1943 |446513 | 15.2 | 148M | 79 |1952 |3153 | 466 | 17k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
63.46/63.75 c 63.8s| 29500 | 1949 |447856 | 15.1 | 148M | 79 |1952 |3188 | 488 | 17k| 0 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
63.66/63.94 c 63.9s| 29600 | 1949 |449229 | 15.1 | 148M | 79 |1952 |3236 | 497 | 17k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
63.77/64.10 c 64.1s| 29700 | 1943 |450364 | 15.1 | 148M | 79 |1952 |3261 | 477 | 17k| 0 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
64.16/64.40 c 64.4s| 29800 | 1956 |451899 | 15.1 | 148M | 79 |1952 |3246 | 477 | 17k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
64.36/64.61 c 64.6s| 29900 | 1957 |453729 | 15.1 | 148M | 79 |1952 |3180 | 0 | 17k| 0 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
64.56/64.84 c 64.8s| 30000 | 1965 |455380 | 15.1 | 148M | 79 |1952 |3198 | 468 | 17k| 1 | 26k| 12 | 6.000000e+00 | -- | Inf | unknown
64.86/65.13 c 65.1s| 30100 | 1976 |457538 | 15.2 | 148M | 79 |1952 |3158 | 478 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
65.06/65.34 c 65.3s| 30200 | 1967 |458649 | 15.2 | 148M | 79 |1952 |3188 | 478 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
65.26/65.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
65.26/65.59 c 65.6s| 30300 | 1977 |459941 | 15.1 | 148M | 79 |1952 |3187 | 479 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
65.55/65.82 c 65.8s| 30400 | 1983 |461583 | 15.1 | 148M | 79 |1952 |3164 | 474 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
65.65/66.00 c 66.0s| 30500 | 1984 |462474 | 15.1 | 148M | 79 |1952 |3233 | 0 | 17k| 0 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
65.86/66.16 c 66.2s| 30600 | 1988 |463248 | 15.1 | 149M | 79 |1952 |3254 | 478 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
66.05/66.32 c 66.3s| 30700 | 1992 |463768 | 15.1 | 149M | 79 |1952 |3310 | 486 | 17k| 1 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
66.35/66.64 c 66.6s| 30800 | 2016 |466159 | 15.1 | 149M | 79 |1952 |3295 | 0 | 17k| 0 | 27k| 12 | 6.000000e+00 | -- | Inf | unknown
66.65/66.96 c 67.0s| 30900 | 2006 |467529 | 15.1 | 149M | 79 |1952 |3327 | 492 | 17k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
66.86/67.14 c 67.1s| 31000 | 2038 |468658 | 15.1 | 149M | 79 |1952 |3265 | 0 | 17k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
66.95/67.28 c 67.3s| 31100 | 2038 |469387 | 15.1 | 149M | 79 |1952 |3242 | 481 | 17k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.15/67.42 c 67.4s| 31200 | 2026 |469872 | 15.0 | 149M | 79 |1952 |3260 | 0 | 17k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.25/67.56 c 67.6s| 31300 | 2026 |470657 | 15.0 | 149M | 79 |1952 |3263 | 478 | 18k| 1 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.45/67.71 c 67.7s| 31400 | 2026 |471552 | 15.0 | 149M | 79 |1952 |3316 | 481 | 18k| 2 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.65/67.90 c 67.9s| 31500 | 2035 |472771 | 15.0 | 149M | 79 |1952 |3285 | 474 | 18k| 1 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.75/68.07 c 68.1s| 31600 | 2044 |474046 | 15.0 | 149M | 79 |1952 |3191 | 0 | 18k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
67.95/68.25 c 68.3s| 31700 | 2045 |475297 | 15.0 | 149M | 79 |1952 |3021 | 466 | 18k| 1 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
68.25/68.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
68.25/68.50 c 68.5s| 31800 | 2064 |476820 | 15.0 | 149M | 79 |1952 |3092 | 481 | 18k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
68.45/68.74 c 68.7s| 31900 | 2069 |478659 | 15.0 | 150M | 79 |1952 |3193 | 0 | 18k| 0 | 28k| 12 | 6.000000e+00 | -- | Inf | unknown
68.65/68.90 c 68.9s| 32000 | 2070 |479623 | 15.0 | 151M | 79 |1952 |3194 | 0 | 18k| 0 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
68.85/69.11 c 69.1s| 32100 | 2062 |480892 | 14.9 | 151M | 79 |1952 |3209 | 476 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
68.94/69.26 c 69.3s| 32200 | 2063 |482085 | 14.9 | 151M | 79 |1952 |3206 | 468 | 18k| 0 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
69.14/69.41 c 69.4s| 32300 | 2069 |483110 | 14.9 | 151M | 79 |1952 |3238 | 471 | 18k| 0 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
69.34/69.67 c 69.7s| 32400 | 2075 |484646 | 14.9 | 151M | 79 |1952 |3177 | 487 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
69.64/69.95 c 70.0s| 32500 | 2072 |486666 | 14.9 | 151M | 79 |1952 |3169 | 491 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
69.94/70.21 c 70.2s| 32600 | 2079 |488478 | 15.0 | 151M | 79 |1952 |3185 | 468 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
70.14/70.46 c 70.5s| 32700 | 2094 |490479 | 15.0 | 151M | 79 |1952 |3080 | 487 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
70.44/70.77 c 70.8s| 32800 | 2105 |493670 | 15.0 | 151M | 79 |1952 |3005 | 483 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
70.64/70.95 c 71.0s| 32900 | 2110 |494927 | 15.0 | 151M | 79 |1952 |3026 | 496 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
70.84/71.13 c 71.1s| 33000 | 2104 |496012 | 15.0 | 151M | 79 |1952 |3047 | 478 | 18k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
71.04/71.34 c 71.3s| 33100 | 2107 |497101 | 15.0 | 151M | 79 |1952 |3063 | 471 | 19k| 1 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
71.34/71.62 c 71.6s| 33200 | 2122 |499144 | 15.0 | 151M | 79 |1952 |3108 | 0 | 19k| 0 | 29k| 12 | 6.000000e+00 | -- | Inf | unknown
71.54/71.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
71.54/71.82 c 71.8s| 33300 | 2143 |500607 | 15.0 | 151M | 79 |1952 |2900 | 465 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
71.93/72.29 c 72.3s| 33400 | 2185 |503355 | 15.0 | 151M | 79 |1952 |2809 | 474 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
72.23/72.50 c 72.5s| 33500 | 2194 |504796 | 15.0 | 151M | 79 |1952 |2936 | 480 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
72.33/72.66 c 72.7s| 33600 | 2204 |505595 | 15.0 | 151M | 79 |1952 |2985 | 479 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
72.53/72.85 c 72.9s| 33700 | 2199 |506514 | 15.0 | 151M | 79 |1952 |3020 | 485 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
72.74/73.02 c 73.0s| 33800 | 2199 |507364 | 15.0 | 151M | 79 |1952 |3059 | 0 | 19k| 0 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
72.93/73.23 c 73.2s| 33900 | 2203 |508270 | 15.0 | 151M | 79 |1952 |3123 | 484 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.13/73.45 c 73.5s| 34000 | 2197 |509763 | 15.0 | 151M | 79 |1952 |3140 | 475 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.33/73.62 c 73.6s| 34100 | 2205 |511268 | 15.0 | 151M | 79 |1952 |3152 | 475 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.43/73.74 c 73.7s| 34200 | 2209 |512310 | 14.9 | 151M | 79 |1952 |3157 | 481 | 19k| 0 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.63/73.91 c 73.9s| 34300 | 2213 |514023 | 15.0 | 151M | 79 |1952 |3200 | 480 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.73/74.09 c 74.1s| 34400 | 2206 |515631 | 15.0 | 151M | 79 |1952 |3227 | 476 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
73.92/74.27 c 74.3s| 34500 | 2206 |517454 | 15.0 | 151M | 79 |1952 |3222 | 483 | 19k| 0 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
74.12/74.46 c 74.5s| 34600 | 2200 |519260 | 15.0 | 151M | 79 |1952 |3233 | 481 | 19k| 1 | 30k| 12 | 6.000000e+00 | -- | Inf | unknown
74.32/74.60 c 74.6s| 34700 | 2200 |520580 | 15.0 | 151M | 79 |1952 |3240 | 482 | 19k| 0 | 31k| 12 | 6.000000e+00 | -- | Inf | unknown
74.42/74.71 o 6
74.42/74.73 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
74.42/74.73 c d74.7s| 34733 | 0 |521179 | 15.0 |adaptive| 79 |1952 |3183 | 478 | 0 | 1 | 31k| 12 | 6.000000e+00 | 6.000000e+00 | 0.00%| 100.00%
74.42/74.73 c
74.42/74.73 c SCIP Status : problem is solved [optimal solution found]
74.42/74.73 c Solving Time (sec) : 74.73
74.42/74.73 c Solving Nodes : 34733
74.42/74.73 c Primal Bound : +6.00000000000000e+00 (1 solutions)
74.42/74.73 c Dual Bound : +6.00000000000000e+00
74.42/74.73 c Gap : 0.00 %
74.42/74.73 s OPTIMUM FOUND
74.42/74.73 v x3 x5 x8 x12 x13 x14 x84 -x98 -x123 -x154 -x180 -x194 -x202 -x225 -x247 -x280 -x302 -x327 -x360 -x373 -x435 -x415 -x2342 -x2243
74.42/74.73 v -x2275 -x2204 -x2229 -x2145 -x2125 -x2149 -x2529 -x2551 -x2477 -x2503 -x2429 -x2453 -x2378 -x2405 -x2720 -x1564 -x1596 -x1623 -x1646
74.42/74.73 v -x1460 -x1483 -x1478 -x1500 -x1521 -x1773 -x1797 -x1822 -x1848 -x1672 -x1694 -x2007 -x2052 -x2036 -x1328 -x1305 -x1366 -x1342 -x1403
74.42/74.73 v -x1411 -x1397 -x1449 -x1429 -x1141 -x1117 -x1187 -x1168 -x846 -x862 -x878 -x904 -x929 -x642 -x623 -x600 -x577 -x589 -x758 -x727
74.42/74.73 v -x712 -x684 -x463 -x440 -x88 -x17 -x45 -x163 -x189 -x114 -x144 -x2808 -x2790 -x2848 -x2843 -x2821 -x2729 -x2710 -x2765 -x2750 -x1891
74.42/74.73 v x1384 -x413 -x2630 -x1861 -x1108 -x347 -x376 -x206 -x232 -x1081 -x1105 -x1041 -x1063 -x1603 -x1630 -x1667 -x1688 -x2291 -x2326 -x2233
74.42/74.73 v -x2263 -x2584 -x2569 -x2702 -x2679 -x1894 -x1879 -x1935 x1911 -x2666 -x521 x1234 -x1004 -x1959 -x2578 -x1340 -x2081 -x2725 x508
74.42/74.73 v -x277 -x1012 -x1869 -x1888 -x2545 -x2526 -x2492 -x2474 -x2455 -x2427 x2602 -x2619 -x2557 -x2583 -x1801 -x1779 -x1856 -x1827 -x1982
74.42/74.73 v -x1998 -x1862 -x1882 -x1900 -x1917 -x1009 -x984 -x1164 -x1190 -x1125 -x1145 -x1274 -x1296 -x1225 -x1251 -x739 -x757 -x418 -x436
74.42/74.73 v -x460 -x482 -x505 -x526 -x2611 -x2592 -x2579 -x2568 -x2836 -x2818 -x2798 -x2784 -x2086 -x1901 x1918 -x1877 -x1324 -x1341 -x1360
74.42/74.73 v -x1226 -x691 -x627 -x650 -x572 -x2199 -x2174 -x2142 -x2338 -x2113 -x1481 -x1461 -x1523 -x1372 -x1314 -x1334 -x912 -x2481 -x2499
74.42/74.73 v -x2528 x2552 -x1670 -x1696 -x1828 -x1847 -x1281 -x1256 -x1229 -x1204 -x933 -x982 -x523 -x497 -x207 -x234 -x258 -x287 -x2379 -x2403
74.42/74.73 v -x2525 -x2542 -x2519 -x2544 -x2373 -x2399 -x2432 -x2457 -x2654 -x2633 -x2699 -x2677 -x2591 -x2570 -x2623 -x2607 -x2799 -x2782 -x2837
74.42/74.73 v -x2816 -x2726 -x2711 -x2764 -x2746 -x60 -x78 -x4 -x36 -x48 -x164 -x187 -x115 -x140 -x253 -x283 -x204 -x230 -x353 -x379 -x310 -x331
74.42/74.73 v -x470 -x451 -x425 -x402 -x554 -x536 -x511 -x489 -x659 -x633 -x614 -x586 -x751 -x732 -x705 -x686 -x772 -x795 -x810 -x825 -x842 -x860
74.42/74.73 v -x881 -x899 -x922 -x254 -x284 -x205 -x231 -x354 -x380 -x311 -x332 -x471 -x452 -x426 -x403 -x555 -x537 -x512 -x490 -x660 -x634 -x615
74.42/74.73 v -x587 -x752 -x733 -x706 -x687 -x773 -x796 -x811 -x826 -x843 -x861 -x882 -x900 -x923 -x936 -x960 -x992 -x1014 -x1032 -x1050 -x1071
74.42/74.73 v -x1095 -x1150 -x1131 -x1184 -x1162 -x1237 -x1210 -x1286 -x1262 -x1332 -x1313 -x1374 -x1359 -x1417 -x1389 -x1453 -x1435 -x1853 -x1829
74.42/74.73 v -x1811 -x1793 -x1768 -x1734 -x1711 -x901 -x924 -x937 -x961 -x993 -x1015 -x1033 -x1051 -x1072 -x1096 -x1151 -x1132 -x1185 -x1163
74.42/74.73 v -x1238 -x1211 -x1287 -x1261 -x1331 -x1312 -x1373 -x1358 -x1416 -x1388 -x1452 -x1434 -x1852 -x1826 -x1810 -x1792 -x1767 -x1733 -x1710
74.42/74.73 v -x1681 -x1657 -x1651 -x1612 -x1583 -x1552 -x1535 -x1518 -x1488 -x1470 -x2098 -x2119 -x2076 -x2088 -x2049 -x2061 -x2019 -x2031 -x1981
74.42/74.73 v -x1996 -x1940 -x1958 -x1908 -x1925 -x1868 -x1885 -x2498 -x2484 -x2465 -x2534 -x2513 -x1732 -x1709 -x1680 -x1656 -x1650 -x1611 -x1582
74.42/74.73 v -x1551 -x1534 -x1517 -x1487 -x1469 -x2097 -x2118 -x2075 -x2087 -x2048 -x2060 -x2018 -x2030 -x1980 -x1995 -x1939 -x1957 -x1907 -x1924
74.42/74.73 v -x1867 -x1884 -x2497 -x2483 -x2464 -x2533 -x2512 -x2396 -x2368 -x2447 -x2419 -x2281 -x2256 -x2353 -x2313 -x2164 -x2141 -x2222 -x2189
74.42/74.73 v -x2796 -x2810 -x2829 -x2847 -x2723 -x2740 -x2760 -x2779 -x2639 -x2658 -x2675 -x2691 -x2554 -x2575 -x2599 -x2613 -x2625 -x291 -x263
74.42/74.73 v x2532 -x2511 -x2395 -x2367 -x2446 -x2418 -x2280 -x2255 -x2352 -x2312 -x2163 -x2140 -x2221 -x2188 -x2795 -x2809 -x2828 -x2846 -x2722
74.42/74.73 v -x2739 -x2759 -x2778 -x2638 -x2657 -x2674 -x2690 -x2553 -x2574 -x2598 -x2612 -x2624 -x290 -x262 -x243 -x214 -x393 -x367 -x339 -x321
74.42/74.73 v -x74 -x52 -x39 -x7 -x184 -x160 -x134 -x118 -x626 -x652 -x571 -x596 -x716 -x742 -x665 -x694 -x455 -x479 -x405 -x432 -x550 -x568 -x510
74.42/74.73 v -x485 -x515 -x289 -x261 -x242 -x213 -x392 -x366 -x338 -x320 -x73 -x51 -x38 -x6 -x183 -x159 -x133 -x117 -x625 -x651 -x570 -x595 -x715
74.42/74.73 v -x741 -x664 -x693 -x454 -x478 -x404 -x431 -x549 -x567 -x509 -x484 -x514 -x968 -x946 -x1021 -x999 -x1068 -x1049 -x1110 -x1087 -x791
74.42/74.73 v -x770 -x833 -x817 -x869 -x853 -x927 -x906 -x1309 -x1327 -x1347 -x1365 -x1382 -x1406 -x1422 -x1438 -x1138 -x1157 -x1178 -x1203 -x1213
74.42/74.73 v -x1243 -x1239 -x1855 x1778 -x1800 -x1919 -x1102 -x932 -x959 -x987 -x375 -x299 -x325 -x250 -x2012 -x2006 -x1990 -x1974 -x2716 -x2771
74.42/74.73 v -x2753 -x2663 -x581 -x747 -x722 -x699 -x1648 -x2442 x394 -x1025 -x1602 -x2773 -x1772 -x1932 -x2610 x477 -x1193 -x1464 -x800 -x778
74.42/74.73 v -x930 -x898 x883 -x863 -x576 -x585 -x606 -x631 -x657 -x685 -x713 -x724 -x750 -x401 -x421 -x444 -x466 -x488 -x517 -x535 -x551 -x229
74.42/74.73 v -x200 -x274 -x245 -x330 -x303 -x384 -x362 -x47 -x26 -x91 -x67 -x139 -x112 -x192 -x166 -x157 -x2695 -x2673 -x2656 -x2636 -x2617 -x2597
74.42/74.73 v -x2573 -x2561 -x2845 -x2827 -x2813 -x2793 -x2777 -x2758 -x2742 -x2714 -x2319 -x2351 -x2254 -x2287 -x2195 -x2220 -x2137 -x2167 -x46
74.42/74.73 v -x25 -x90 -x66 -x138 -x111 -x191 -x165 -x156 -x2694 -x2672 -x2655 -x2635 -x2616 -x2596 -x2572 -x2560 -x2844 -x2826 -x2812 -x2792
74.42/74.73 v -x2776 -x2757 -x2741 -x2713 -x2318 -x2350 -x2253 -x2286 -x2194 -x2219 -x2136 -x2166 -x2506 -x2531 -x2467 -x2487 -x2414 -x2445 -x2370
74.42/74.73 v -x2372 -x2398 -x1956 -x1943 -x1992 -x1975 -x1886 -x1871 -x1921 -x1896 -x2089 -x2073 -x2115 -x2104 -x2032 -x2016 -x2055 -x2041 -x1553
74.42/74.73 v -x1586 -x1615 -x1641 -x1471 -x1490 -x2138 -x2168 -x2507 -x2535 -x2468 -x2488 -x2415 -x2448 -x2371 -x2374 -x2400 -x1960 -x1944 -x1993
74.42/74.73 v -x1976 -x1887 -x1872 -x1922 -x1897 -x2090 -x2074 -x2116 -x2105 -x2033 -x2017 -x2056 -x2042 -x1554 -x1587 -x1616 -x1642 -x1472 -x1491
74.42/74.73 v -x1502 -x1524 -x1769 -x1789 -x1817 -x1844 -x1658 -x1678 -x1702 -x1724 -x1747 -x1194 -x1179 -x1153 -x1135 -x1291 -x1270 -x1252 -x1227
74.42/74.73 v -x1361 -x1348 -x1319 -x1303 -x1443 -x1431 -x1412 -x1391 -x820 -x834 -x774 -x797 -x1473 -x1492 -x1503 -x1525 -x1770 -x1790 -x1818
74.42/74.73 v -x1845 -x1659 -x1679 -x1703 -x1725 -x1748 -x1195 -x1180 -x1154 -x1136 -x1292 -x1271 -x1253 -x1228 -x1362 -x1349 -x1320 -x1304 -x1444
74.42/74.73 v -x1432 -x1413 -x1392 -x821 -x835 -x775 -x798 -x887 -x913 -x856 -x874 -x1002 -x1022 -x947 -x972 -x1088 -x1073 -x1100 -x1034 -x1052
74.42/74.73 v -x433 -x408 -x468 -x449 -x527 -x501 -x563 -x546 -x597 -x578 -x646 -x617 -x702 -x680 -x761 -x728 -x9 -x30 -x776 -x799 -x888 -x914
74.42/74.73 v -x857 -x875 -x1003 -x1023 -x948 -x973 -x1089 -x1074 -x1101 -x1035 -x1053 -x434 -x409 -x469 -x450 -x528 -x502 -x564 -x547 -x598 -x579
74.42/74.73 v -x647 -x618 -x703 -x681 -x762 -x729 -x10 -x31 -x54 -x80 -x103 -x125 -x149 -x177 -x215 -x240 -x268 -x293 -x275 -x306 -x333 -x356
74.42/74.73 v -x386 -x2472 -x2490 -x2516 -x2538 -x2361 -x2387 -x2422 -x2449 -x2248 -x2276 -x2301 -x2331 -x2126 -x2151 -x2180 -x2206 -x11 -x32
74.42/74.73 v -x55 -x81 -x104 -x126 -x150 -x178 -x216 -x241 -x269 -x294 -x276 -x307 -x334 -x357 -x387 -x2473 -x2491 -x2517 -x2539 -x2362 -x2388
74.42/74.73 v -x2423 -x2450 -x2249 -x2277 -x2302 -x2332 -x2127 -x2152 -x2181 -x2207 -x2814 -x2797 -x2850 -x2830 -x2743 -x2724 -x2774 -x2761 -x2648
74.42/74.73 v -x2628 -x2688 -x2705 -x2684 -x2588 -x2565 -x2622 -x2604 -x1808 -x1835 -x1764 -x1794 -x1708 -x1735 -x1653 -x1682 -x1619 -x1652 -x1543
74.42/74.73 v -x1568 -x1498 -x1522 -x1833 -x1806 -x1494 -x1476 x1458 -x1519 -x1496 -x1575 -x1028 -x1005 -x980 -x953 -x938 -x925 -x902 -x884 -x397
74.42/74.73 v -x368 -x235 -x210 -x286 -x285 -x255 -x141 -x2178 -x2208 -x2121 -x2153 -x2298 -x2330 -x2336 -x2246 -x2114 -x2102 -x1459 -x1479 -x1499
74.42/74.73 v -x1520 -x1542 -x1559 -x1368 -x1350 -x1329 -x1310 -x896 -x921 -x858 -x876 -x2135 -x2223 -x2197 -x2282 -x2259 -x2343 -x2308 -x2384
74.42/74.73 v -x616 x182 -x155 -x137 -x107 -x75 -x61 -x33 -x1333 -x1354 -x1375 -x865 -x850 -x910 -x890 -x794 -x1497 -x1573 -x1544 -x1625 -x1599
74.42/74.73 v -x2020 -x2034 -x2050 -x2184 -x2156 -x2129 -x2323 -x2299 -x2267 -x2239 -x2755 -x251 -x142 -x113 -x193 -x167 -x42 -x21 -x87 -x1968
74.42/74.73 v -x1950 -x1931 -x1904 -x2649 -x2629 -x2689 -x2671 -x491 -x518 -x635 -x661 -x1212 -x1235 -x1263 -x1284 -x1955 -x1973 -x1910 -x1933
74.42/74.73 v -x2644 -x2664 -x2680 x2703 -x169 x197 -x19 -x40 -x65 -x63 -x83 -x316 -x2441 -x2412 -x2386 -x2355 -x2540 -x2515 -x2520 -x2494 -x2647
74.42/74.73 v -x2667 -x1687 -x1663 -x1741 -x1716 -x1780 -x1802 -x1951 -x1971 -x1987 -x2001 -x1107 -x1084 -x1064 -x1042 -x1208 -x1233 -x1165 -x1186
74.42/74.73 v -x1123 -x1142 -x345 -x318 -x492 -x516 -x539 -x558 -x398 -x419 -x439 -x464 -x1393 -x1450 -x1433 -x1339 -x399 -x763 x730 -x704 -x2646
74.42/74.73 v -x2706 -x2685 -x2730 -x1878 -x2000 -x1985 -x1970 -x1400 -x1424 -x1440 -x1311 -x27 -x718 -x744 -x673 -x2665 -x2645 -x2701 -x2681
74.42/74.73 v -x522 -x486 -x467 -x445 -x1230 -x1205 -x1283 -x1258 -x1601 -x1629 -x1673 -x1693 -x2295 -x2328 x2241 -x2271 -x170 -x196 -x18 -x41
74.42/74.73 v -x1415 -x1343 -x2025 -x2043 -x2250 -x2748 -x226 -x248 -x1059 -x994 -x1698 x1728 -x1631 -x848 x195 -x2413 -x1608 -x812 -x979 -x954
74.42/74.73 v -x298 -x322 -x2169 -x2202 -x1782 -x1506 x974 -x1000 -x342 -x270 -x2044 -x2057 -x2013 -x2029 -x2266 x2235 -x2324 -x2292 -x2822 -x2840
74.42/74.73 v -x2708 -x2731 -x2762 -x2775 -x94 -x71 -x628 -x655 -x588 -x609 -x734 -x740 -x669 -x692 -x1257 -x1280 -x1318 -x1338 -x1357 -x1377
74.42/74.73 v -x1383 -x1402 -x1697 -x1674 -x1754 -x1726 -x1571 -x1538 -x1627 -x1624 -x2502 -x2478 -x2456 -x2428 -x2401 -x2375 -x2333 -x2297 -x2335
74.42/74.73 v -x2732 -x2709 -x2763 x85 -x15 -x37 -x760 -x911 -x766 -x788 -x818 -x2791 -x2849 -x2831 -x2738 -x1859 -x2117 -x2103 -x2091 -x1224
74.42/74.73 v -x1297 -x1276 -x1323 -x1669 -x1744 -x1719 -x1803 -x1781 -x1757 -x1836 -x1807 -x2650 -x2460 -x2438 -x2406 -x2380 -x2357 -x2541 -x2514
74.42/74.73 v -x438 -x461 -x483 -x324 -x300 -x374 -x396 -x370 -x1250 -x1172 -x1191 -x1127 -x1146 -x1106 -x1082 -x1085 -x2504 -x2485 -x2471 -x2451
74.42/74.73 v -x2424 -x2389 -x2363 -x2678 -x1510 -x1783 -x1763 -x1846 -x1819 -x1683 x1661 -x1736 -x1112 -x765 -x785 -x807 -x2627 -x2687 x2668
74.42/74.73 v -x2745 -x1863 -x1997 -x1983 -x1966 -x1220 -x1300 -x1277 -x1147 -x1007 -x562 -x542 -x532 -x211 -x203 -x233 -x2715 -x1045 -x1109 -x1083
74.42/74.73 v -x1119 -x221 -x389 -x369 x344 -x2686 -x2631 -x2652 -x2595 -x2063 -x1949 -x1965 -x1984 -x1445 -x1385 -x1407 -x1171 -x648 -x666 -x688
74.42/74.73 v -x717 -x62 -x131 -x105 -x176 -x806 -x784 -x764 x915 -x1712 -x1590 -x1563 -x1644 -x2420 -x2397 -x2369 -x2341 -x95 -x110 -x143 -x168
74.42/74.73 v -x847 -x780 -x804 -x903 -x988 x967 -x940 -x1264 -x361 -x223 -x199 -x273 -x2216 -x2139 -x2162 -x2309 -x1840 -x1466 -x1493 -x1513
74.42/74.73 v -x1026 -x942 -x981 -x889 -x391 -x220 -x244 -x259 -x2505 -x2385 -x2358 -x2440 x2411 -x2283 -x2251 -x2348 -x1812 -x1791 -x1758 -x1740
74.42/74.73 v -x1715 -x1686 -x1664 -x1636 -x1038 -x1170 -x1189 -x1133 -x1152 -x1269 -x1293 -x1217 -x301 -x372 -x348 -x414 -x427 -x453 -x472 -x507
74.42/74.73 v -x2475 -x2463 -x2437 -x2409 -x2377 -x2676 -x2698 -x2632 -x1774 -x1858 -x1831 -x1692 -x1668 -x1746 -x1730 -x1947 -x783 -x805 -x808
74.42/74.73 v -x831 -x696 -x672 -x64 -x82 -x2562 -x2585 -x2606 -x2620 -x1953 -x1972 -x1912 -x1936 -x1122 x1144 -x1167 -x1188 -x679 -x711 -x443
74.42/74.73 v -x462 -x2444 -x1649 -x830 x175 -x2436 -x2651 -x272 -x1013 -x870 x127 -x2273 -x1595 -x2559 x2582 -x2670 -x2693 -x2641 -x2660 -x2756
74.42/74.73 v -x2772 -x2721 -x2736 -x2832 -x2835 -x2783 -x2801 -x2230 -x2201 -x506 -x531 -x540 -x561 -x407 -x423 -x457 -x481 -x671 -x697 -x719
74.42/74.73 v -x743 -x593 -x613 -x639 -x663 -x282 -x256 -x1275 -x1302 -x1219 -x1247 -x1176 -x1199 -x1137 -x1149 -x1423 -x1439 -x1380 -x1420 -x1351
74.42/74.73 v -x1369 -x1010 -x983 -x962 -x935 -x2024 -x2009 -x2059 -x2040 -x2078 -x2068 -x2107 -x2096 -x1895 -x1876 -x1916 -x1899 -x1501 -x1526
74.42/74.73 v -x1566 -x1592 -x1620 -x1645 -x2768 -x2747 -x2728 -x2712 -x2842 -x2823 -x2805 -x2785 -x2621 -x2601 -x2205 -x2232 -x2143 -x2165 -x2300
74.42/74.73 v -x2337 -x2247 -x2274 -x710 -x678 -x756 -x738 -x611 -x590 -x653 -x630 -x2425 x264 -x966 -x1548 -x2356 -x317 x1477 -x1821 -x2155 -x2177
74.42/74.73 v -x208 -x395 -x955 -x1027 -x1282 -x1837 -x1934 -x1873 -x943 -x969 -x1285 -x1260 -x1765 x1788 -x1815 -x1843 -x2365 -x2391 -x2509 -x2537
74.42/74.73 v -x106 -x116 -x186 -x162 -x956 -x907 -x926 -x905 -x1756 -x1834 -x1809 -x1830 -x1954 -x2571 -x689 -x69 x816 -x1516 -x1539 -x1572 -x1588
74.42/74.73 v -x1622 x1647 -x1654 -x1685 -x1705 -x2124 -x2150 -x2296 -x2303 -x2334 -x2245 -x2278 -x2421 -x755 -x737 -x709 -x677 -x668 -x641 -x619
74.42/74.73 v -x599 -x809 -x839 -x1410 -x1390 -x1448 -x1441 -x1426 -x1322 -x1613 -x1643 -x1555 -x1581 -x2058 -x2039 -x2046 -x2028 -x2193 -x2218
74.42/74.73 v -x2258 -x2279 -x2317 -x2349 -x2727 -x2737 -x252 -x985 x1718 -x2435 -x209 -x957 x120 -x148 -x2123 -x2154 -x1541 -x1570 -x978 -x952
74.42/74.73 v -x494 -x520 -x2581 -x2586 -x2510 -x2530 -x2366 -x2394 -x2417 x2430 -x2459 -x1994 -x1978 -x1964 -x1946 -x1923 -x1902 -x1881 -x1860
74.42/74.73 v -x2120 -x2106 -x2092 -x2077 -x2062 -x2045 -x2026 -x2014 -x1607 -x1638 -x1547 -x1577 -x1512 -x1536 -x1465 -x1484 -x1814 -x1839 -x1761
74.42/74.73 v -x1786 -x1714 -x1739 -x1750 -x1676 -x1700 -x1156 -x1130 -x1202 -x1183 -x1242 -x1222 -x1299 -x1273 -x1326 -x1308 -x1364 -x1346 -x1405
74.42/74.73 v -x1396 -x1447 -x1428 -x769 -x793 -x815 -x838 -x852 -x873 -x895 -x919 -x1813 -x1838 -x1760 -x1785 -x1713 -x1738 -x1749 -x1675 -x1699
74.42/74.73 v -x1155 -x1129 -x1201 -x1182 -x1241 -x1221 -x1298 -x1272 -x1325 -x1307 -x1363 -x1345 -x1404 -x1395 -x1446 -x1427 -x768 -x792 -x814
74.42/74.73 v -x837 -x851 -x872 -x894 -x918 -x945 -x977 -x998 -x1019 -x1048 -x1030 -x1057 -x1076 -x1099 -x475 -x448 -x430 -x412 -x566 -x545 -x525
74.42/74.73 v -x504 -x645 -x622 -x603 -x575 -x754 -x736 -x708 -x676 -x59 -x77 -x2 -x35 -x153 -x174 -x893 -x917 -x944 -x976 -x997 -x1018 -x1047
74.42/74.73 v -x1029 -x1056 -x1075 -x1098 -x474 -x447 -x429 -x411 -x565 -x544 -x524 -x503 -x644 -x621 -x602 -x574 -x753 -x735 -x707 -x675 -x58
74.42/74.73 v -x76 -x1 -x34 -x152 -x173 -x100 -x130 -x266 -x296 -x218 -x238 -x228 -x352 -x378 -x309 -x329 -x2787 -x2804 -x2825 -x2834 -x2718 -x2735
74.42/74.73 v -x2752 -x2770 -x2643 -x2662 -x2683 -x2697 -x2556 -x2577 -x2594 -x2615 -x2501 -x2480 -x2549 -x2524 -x151 -x172 -x99 -x129 -x265 -x295
74.42/74.73 v -x217 -x237 -x227 -x351 -x377 -x308 -x328 -x2786 -x2803 -x2824 -x2833 -x2717 -x2734 -x2751 -x2769 -x2642 -x2661 -x2682 -x2696 -x2555
74.42/74.73 v -x2576 -x2593 -x2614 -x2500 -x2479 -x2548 -x2523 -x2408 -x2383 -x2462 -x2434 -x2265 -x2238 -x2322 -x2345 -x2316 -x2161 -x2131 -x2215
74.42/74.73 v -x2192 -x2095 -x2110 -x2070 -x2083 -x2038 -x2054 -x2011 -x2022 -x1989 -x2005 -x1942 -x1962 -x1906 -x1930 -x1865 -x1890 -x1851 -x1825
74.42/74.73 v -x2547 -x2522 -x2407 -x2382 -x2461 -x2433 -x2264 -x2237 -x2321 -x2344 -x2315 -x2160 -x2130 -x2214 -x2191 -x2094 -x2109 -x2069 -x2082
74.42/74.73 v -x2037 -x2053 -x2010 -x2021 -x1988 -x2004 -x1941 -x1961 -x1905 -x1929 -x1864 -x1889 -x1850 -x1824 -x1805 -x1777 -x1743 -x1722 -x1690
74.42/74.73 v -x1666 -x1634 -x1605 -x1610 -x1580 -x1550 -x1533 -x1515 -x1486 -x1468 -x1316 -x1336 -x1353 -x1371 -x1399 -x1419 -x1437 -x1456 -x1116
74.42/74.73 v -x1161 -x1175 -x1197 -x1216 -x1245 -x1268 -x1290 -x1849 -x1823 -x1804 -x1776 -x1742 -x1721 -x1689 -x1665 -x1633 -x1604 -x1609 -x1579
74.42/74.73 v -x1549 -x1532 -x1514 -x1485 -x1467 -x1315 -x1335 -x1352 -x1370 -x1398 -x1418 -x1436 -x1455 -x1115 -x1160 -x1174 -x1196 -x1215 -x1244
74.42/74.73 v -x1267 -x1289 -x964 -x931 -x1008 -x986 -x1061 -x1039 -x1104 -x1080 -x803 -x790 -x771 -x840 -x819 -x867 -x854 -x908 -x886 -x638 -x662
74.42/74.73 v -x592 -x612 -x721 -x746 -x674 -x698 -x456 -x480 -x406 -x422 -x548 -x569 -x2203 -x2227 x2133 -x2159 -x2314 -x2347 -x2257 -x2289 -x2410
74.42/74.73 v -x2439 -x2381 -x2404 -x2521 -x2546 -x2476 -x2495 -x2800 -x2781 -x1463 -x1495 -x1509 -x1531 -x1557 -x1578 -x1614 -x1639 -x1662 -x1691
74.42/74.73 v -x1720 -x1745 -x1775 -x1798 -x2085 -x2071 -x2112 -x2100 -x1097 -x1078 -x1054 -x1031 -x1011 -x990 -x965 -x941 -x916 -x892 -x871 -x855
74.42/74.73 v -x1223 -x1249 -x1173 -x1192 -x1124 -x1159 -x336 -x305 -x383 -x359 -x222 -x198 -x279 -x260 -x128 -x102 -x499 -x529 -x541 -x559 -x417
74.42/74.73 v -x437 -x459 -x476 -x2458 -x2431 -x2402 -x2376 -x2550 -x2527 -x2482 -x2466 -x2794 -x2811 -x2600 -x2618 -x2558 -x2580 -x2669 -x2692
74.42/74.73 v -x2640 -x2659 -x1704 -x1671 -x1755 -x1727 -x1796 -x1766 -x1158 -x1265 -x1301 -x1218 -x1248 -x1561 -x1594 -x1618 -x2067 x2111 -x2099
74.42/74.73 v -x2023 -x2008 -x2051 -x2035 -x2307 -x2563 -x2841 -x2819 -x2807 -x2780 -x2767 -x2754 -x2733 -x496 -x557 -x538 -x607 -x583 -x658 -x637
74.42/74.73 v -x700 -x1118 -x1279 -x1254 -x1232 -x1206 -x1379 -x1355 -x1330 -x1854 -x1771 -x1795 -x1723 -x1752 -x1677 -x1701 -x1606 -x1457 -x1857
74.42/74.73 v -x1832 -x1799 -x2122 -x2211 -x2182 -x2496 -x2704 -x2566 -x2590 -x2608 -x2002 -x1952 -x1969 -x1909 -x1086 -x1120 -x1143 x1166 -x371
74.42/74.73 v -x346 -x319 -x442 -x868 -x824 -x844 x777 -x802 -x1079 -x1103 -x1040 -x1062 -x991 -x1017 -x939 -x963 -x1295 -x1266 -x1240 -x132 -x158
74.42/74.73 v -x185 -x28 -x49 -x68 -x92 -x297 -x323 -x349 -x382 -x201 -x224 -x246 -x278 -x533 -x629 -x2454 -x2426 -x2390 -x2364 -x2536 -x2508
74.42/74.73 v -x2489 -x2469 -x2228 -x2200 -x2157 -x2134 -x2354 -x2311 -x2288 -x2700 -x2634 -x2653 -x1695 -x1660 -x1737 -x1707 -x1787 -x1762 -x1842
74.42/74.73 v -x1820 -x1482 -x1475 -x1530 -x1508 -x1585 -x1926 -x1945 -x1963 -x1977 -x1991 -x1111 -x1092 -x1065 -x1046 -x1024 -x995 -x975 -x949
74.42/74.73 v -x909 -x891 -x866 -x1288 -x1214 -x1246 -x1177 -x1200 -x1134 -x1139 -x343 -x315 -x390 -x365 -x239 -x219 -x292 -x257 -x135 -x1928
74.42/74.73 v -x1903 -x1883 -x1870 -x1356 -x1378 -x1394 -x1409 -x636 -x656 -x582 -x604 -x122 -x97 -x2788 -x2806 -x2171 -x2148 -x2226 -x2196 x1591
74.42/74.73 v -x1560 -x1527 -x1505 x2190 -x2185 -x2213 -x2234 -x2262 -x2290 -x2320 -x534 -x553 -x495 -x519 -x441 -x465 -x400 -x420 -x726 -x385
74.42/74.73 v -x358 -x364 -x340 -x314 -x288 -x267 -x236 -x212 -x1207 -x1231 -x1255 -x1278 -x1121 -x1140 -x1169 -x845 -x827 -x1060 -x1067 -x1044
74.42/74.73 v -x1114 -x1091 -x971 -x951 -x1020 -x996 -x1915 -x1938 -x1875 -x1893 -x1986 -x1628 -x1600 -x1567 -x1537 -x1562 -x1731 -x1706 -x1684
74.42/74.73 v -x1655 -x1841 -x1816 -x1784 -x1759 -x2564 -x2589 -x2603 -x2209 -x2176 -x2270 -x2242 -x2327 -x2340 -x2306 -x2393 -x2360 -x2443 -x2416
74.42/74.73 v -x2486 -x2470 -x2543 -x2518 -x337 -x682 -x701 -x723 -x749 -x591 -x610 -x594 -x624 -x649 -x500 -x530 -x543 -x560 -x416 -x424 -x458
74.42/74.73 v -x2175 -x2269 -x2272 -x2244 -x171 -x147 -x119 -x101 -x989 -x877 -x859 -x920 -x1637 -x1546 -x1576 -x1717 x2224 -x2252 -x2285 -x2310
74.42/74.73 v -x181 -x108 -x136 -x57 -x179 -x96 -x124 -x53 -x2817 -x2146 -x2173 -x2198 -x2101 -x2084 -x2072 -x1504 -x880 -x822 -x841 -x781 -x146
74.42/74.73 v -x161 -x188 -x23 -x2493 x2186 -x2212 -x2128 -x1507 -x1584 -x1556 -x1635 -x2183 -x2158 -x2132 -x2346 -x86 -x312 -x335 -x355 -x829
74.42/74.73 v -x767 -x786 -x1077 -x1528 -x1558 -x1589 -x1621 -x2231 -x2144 x2172 -x2304 -x493 -x271 x1016 -x1751 -x2452 -x2637 -x1414 -x1387 -x1451
74.42/74.73 v -x1425 -x72 -x93 -x22 -x44 -x605 -x584 -x759 -x731 -x690 -x667 -x2838 -x2815 -x2294 -x2329 -x2240 -x2268 -x2179 -x2225 -x2147 -x2170
74.42/74.73 v -x1729 -x1753 -x1540 -x1569 -x1598 -x1626 -x1462 -x1480 -x1070 -x1093 -x1037 -x1055 -x828 -x849 -x782 -x787 -x249 -x281 x304 -x326
74.42/74.73 v -x350 -x381 -x20 -x43 -x556 -x487 -x513 -x446 -x473 -x410 -x428 -x720 -x745 -x670 -x695 -x620 -x643 -x573 -x601 -x879 -x1001 -x1209
74.42/74.73 v -x1236 -x1259 -x1294 -x1128 -x1148 -x1181 -x1198 -x1381 -x1401 -x1421 -x1442 -x1306 -x1321 -x1344 -x1632 -x1545 -x1574 -x2064 -x2047
74.42/74.73 v -x2027 -x2015 -x2108 -x2093 -x2080 -x2066 -x1937 -x1914 -x1892 -x1874 -x2003 -x2210 -x2236 -x2261 -x2293 -x2325 -x2744 -x2707 -x2766
74.42/74.73 v -x2749 -x2802 -x2789 -x2839 -x2820 -x2587 -x2567 -x2626 -x190 -x109 -x145 -x70 -x89 -x24 -x50 -x748 -x725 -x714 -x683 -x654 -x632
74.42/74.73 v -x608 -x580 -x552 -x1006 -x864 -x885 -x897 -x928 -x779 x801 -x823 -x836 -x1408 -x1386 -x1454 -x1430 -x1337 -x1317 -x1376 x121 -x789
74.42/74.73 v -x1593 -x2719 -x498 -x1126 -x1913 -x2605 -x640 -x1367 -x1927 x2609 -x958 -x934 -x1094 -x1069 -x1058 -x1036 -x2079 -x2065 -x1565
74.42/74.73 v -x1597 -x1617 -x1640 -x1474 -x1489 -x1511 -x1529 -x2359 -x2392 -x2305 -x2339 -x2260 -x2284 -x2187 -x2217 -x313 -x341 -x363 -x388
74.42/74.73 v -x16 -x29 -x56 -x79 -x950 -x970 -x1090 -x1113 -x1043 -x1066 -x813 -x832 -x1999 -x1979 -x1967 -x1948 -x1920 -x1898 -x1880 x1866
74.42/74.73 c SCIP Status : problem is solved [optimal solution found]
74.42/74.73 c Total Time : 74.73
74.42/74.73 c solving : 74.73
74.42/74.73 c presolving : 0.90 (included in solving)
74.42/74.73 c reading : 0.01 (included in solving)
74.42/74.73 c copying : 0.07 (13 #copies) (minimal 0.00, maximal 0.02, average 0.01)
74.42/74.73 c Original Problem :
74.42/74.73 c Problem name : HOME/instance-4499269-1751406522.opb
74.42/74.73 c Variables : 2850 (2850 binary, 0 integer, 0 continuous)
74.42/74.73 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
74.42/74.73 c Constraints : 3286 initial, 3286 maximal
74.42/74.73 c Objective : minimize, 6 non-zeros (abs.min = 1, abs.max = 1)
74.42/74.73 c Presolved Problem :
74.42/74.73 c Problem name : t_HOME/instance-4499269-1751406522.opb
74.42/74.73 c Variables : 1952 (1952 binary, 0 integer, 0 continuous)
74.42/74.73 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
74.42/74.73 c Constraints : 705 initial, 4045 maximal
74.42/74.73 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
74.42/74.73 c Nonzeros : 33572 constraint, 60860 clique table
74.42/74.73 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
74.42/74.73 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c domcol : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
74.42/74.73 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c implics : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
74.42/74.73 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c trivial : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
74.42/74.73 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c dualfix : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
74.42/74.73 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c probing : 0.48 0.00 2 0 0 0 0 0 0 0 0 0
74.42/74.73 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c symmetry : 0.33 0.00 1 670 0 0 0 0 0 382 0 0
74.42/74.73 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c knapsack : 0.03 0.00 18 0 0 0 0 0 59 0 0 0
74.42/74.73 c setppc : 0.00 0.00 18 0 0 0 0 0 0 0 0 0
74.42/74.73 c linear : 0.02 0.00 4 6 0 0 6 0 2845 0 0 0
74.42/74.73 c orbitope_pp : 0.00 0.00 7 222 0 0 0 0 59 0 0 0
74.42/74.73 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c root node : - - - 0 - - 0 - - - - -
74.42/74.73 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
74.42/74.73 c integral : 0 0 0 0 19055 0 0 3547 0 0 0 0 0 0 38110
74.42/74.73 c knapsack : 325+ 330 11 104617 0 0 0 3541 1994121 1708 562650 2210 10 0 0
74.42/74.73 c setppc : 57+ 100 11 102909 0 0 0 62 573296 1060 175691 0 0 0 0
74.42/74.73 c linear : 0+ 40 0 97171 0 0 0 3 64844 3091 134600 0 0 0 0
74.42/74.73 c orbitope_pp : 323 323 0 98658 0 0 0 1 307561 1172 130453 0 0 0 0
74.42/74.73 c logicor : 0+ 3279 11 41647 0 0 0 0 60918 719 13905 0 0 0 0
74.42/74.73 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
74.42/74.73 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
74.42/74.73 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
74.42/74.73 c integral : 0.57 0.00 0.00 0.00 0.57 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c knapsack : 3.30 0.00 0.01 2.44 0.00 0.00 0.00 0.18 0.67 0.00
74.42/74.73 c setppc : 1.30 0.00 0.00 1.17 0.00 0.00 0.00 0.00 0.13 0.00
74.42/74.73 c linear : 1.13 0.00 0.00 0.66 0.00 0.00 0.00 0.00 0.47 0.00
74.42/74.73 c orbitope_pp : 8.76 0.00 0.00 8.74 0.00 0.00 0.00 0.00 0.01 0.00
74.42/74.73 c logicor : 1.02 0.00 0.00 0.91 0.00 0.00 0.00 0.00 0.11 0.00
74.42/74.73 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c Propagators : #Propagate #ResProp Cutoffs DomReds
74.42/74.73 c dualfix : 1 0 0 0
74.42/74.73 c genvbounds : 0 0 0 0
74.42/74.73 c nlobbt : 0 0 0 0
74.42/74.73 c obbt : 0 0 0 0
74.42/74.73 c probing : 0 0 0 0
74.42/74.73 c pseudoobj : 0 0 0 0
74.42/74.73 c redcost : 0 0 0 0
74.42/74.73 c rootredcost : 0 0 0 0
74.42/74.73 c symmetry : 0 0 0 0
74.42/74.73 c vbounds : 75256 0 0 0
74.42/74.73 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
74.42/74.73 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
74.42/74.73 c probing : 0.48 0.00 0.48 0.00 0.00 0.00
74.42/74.73 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
74.42/74.73 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
74.42/74.73 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
74.42/74.73 c symmetry : 0.35 0.00 0.33 0.02 0.00 0.00
74.42/74.73 c vbounds : 0.65 0.00 0.00 0.65 0.00 0.00
74.42/74.73 c Symmetry :
74.42/74.73 c #affected vars : 2844 (2844 bin, 0 int, 0 cont)
74.42/74.73 c orbitopal red. : 0 reductions applied, 0 cutoffs
74.42/74.73 c orbital reduction: 0 reductions applied, 0 cutoffs
74.42/74.73 c lexicographic red: 0 reductions applied, 0 cutoffs
74.42/74.73 c shadow tree time : 0.00 s
74.42/74.73 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
74.42/74.73 c propagation : 2.87 4946 4843 - 108343 252.2 162 157.9 - - -
74.42/74.73 c infeasible LP : 7.07 9404 2802 - 82999 332.8 24 98.9 228 240.6 0
74.42/74.73 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
74.42/74.73 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
74.42/74.73 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
74.42/74.73 c applied globally : 1.40 - - 0 30749 120.8 - - 204 - -
74.42/74.73 c applied locally : - - - 0 51 211.7 - - 24 - -
74.42/74.73 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
74.42/74.73 c cut pool : 3.02 - 4859 21 - - 31909 538708 - - - - - (maximal pool size: 4659)
74.42/74.73 c aggregation : 1.30 0.00 302 11 0 0 21882 402237 2010 15027 14840 187 0
74.42/74.73 c > cmir : - - - - - - - 383323 8 10968 10966 2 -
74.42/74.73 c > flowcover : - - - - - - - 18746 4 3863 3860 3 -
74.42/74.73 c > knapsackcover : - - - - - - - 168 1998 196 14 182 -
74.42/74.73 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c clique : 0.03 0.00 11 11 0 0 10 183 0 104 104 0 0
74.42/74.73 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c gomory : 2.89 0.00 303 10 0 0 12505 133650 657 3301 3282 19 0
74.42/74.73 c > gomorymi : - - - - - - - 60208 329 2114 2096 18 -
74.42/74.73 c > strongcg : - - - - - - - 73442 328 1187 1186 1 -
74.42/74.73 c impliedbounds : 0.17 0.00 304 11 0 0 150 2023 0 1512 1512 0 0
74.42/74.73 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c multilinear : 0.00 0.00 204 11 0 0 0 0 0 0 0 0 0
74.42/74.73 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
74.42/74.73 c rapidlearning : 0.39 0.00 7 1 0 0 0 0 0 0 0 0 0
74.42/74.73 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
74.42/74.73 c zerohalf : 0.12 0.00 271 11 0 0 473 615 444 42 15 27 0
74.42/74.73 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
74.42/74.73 c hybrid : 0.43 0.00 4404 11 19996 0 524033 161 0 7794
74.42/74.73 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c Pricers : ExecTime SetupTime Calls Vars
74.42/74.73 c problem variables: 0.00 - 0 0
74.42/74.73 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
74.42/74.73 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c random : 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c relpscost : 0.56 0.00 19055 0 0 0 0 0 0 38110
74.42/74.73 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
74.42/74.73 c Primal Heuristics : ExecTime SetupTime Calls Found Best
74.42/74.73 c LP solutions : 0.00 - - 0 0
74.42/74.73 c relax solutions : 0.00 - - 0 0
74.42/74.73 c pseudo solutions : 0.00 - - 0 0
74.42/74.73 c strong branching : 0.00 - - 0 0
74.42/74.73 c actconsdiving : 0.00 0.00 0 0 0
74.42/74.73 c adaptivediving : 0.33 0.00 34 1 1
74.42/74.73 c alns : 0.38 0.00 7 0 0
74.42/74.73 c bound : 0.00 0.00 0 0 0
74.42/74.73 c clique : 0.01 0.00 1 0 0
74.42/74.73 c coefdiving : 0.00 0.00 0 0 0
74.42/74.73 c completesol : 0.00 0.00 0 0 0
74.42/74.73 c conflictdiving : 0.19 0.00 29 0 0
74.42/74.73 c crossover : 0.00 0.00 0 0 0
74.42/74.73 c dins : 0.00 0.00 0 0 0
74.42/74.73 c distributiondivin: 1.22 0.00 29 0 0
74.42/74.73 c dks : 0.00 0.00 0 0 0
74.42/74.73 c dps : 0.00 0.00 0 0 0
74.42/74.73 c dualval : 0.00 0.00 0 0 0
74.42/74.73 c farkasdiving : 0.00 0.00 0 0 0
74.42/74.73 c feaspump : 0.21 0.00 15 0 0
74.42/74.73 c fixandinfer : 0.00 0.00 0 0 0
74.42/74.73 c fracdiving : 0.19 0.00 29 0 0
74.42/74.73 c gins : 0.00 0.00 0 0 0
74.42/74.73 c guideddiving : 0.00 0.00 0 0 0
74.42/74.73 c indicator : 0.00 0.00 0 0 0
74.42/74.73 c indicatordiving : 0.00 0.00 0 0 0
74.42/74.73 c intdiving : 0.00 0.00 0 0 0
74.42/74.73 c intshifting : 0.00 0.00 0 0 0
74.42/74.73 c linesearchdiving : 0.15 0.00 29 0 0
74.42/74.73 c localbranching : 0.00 0.00 0 0 0
74.42/74.73 c locks : 0.01 0.00 1 0 0
74.42/74.73 c lpface : 0.06 0.00 0 0 0
74.42/74.73 c mpec : 0.00 0.00 0 0 0
74.42/74.73 c multistart : 0.00 0.00 0 0 0
74.42/74.73 c mutation : 0.00 0.00 0 0 0
74.42/74.73 c nlpdiving : 0.00 0.00 0 0 0
74.42/74.73 c objpscostdiving : 0.51 0.00 15 0 0
74.42/74.73 c octane : 0.00 0.00 0 0 0
74.42/74.73 c ofins : 0.00 0.00 0 0 0
74.42/74.73 c oneopt : 0.01 0.00 0 0 0
74.42/74.73 c padm : 0.00 0.00 0 0 0
74.42/74.73 c proximity : 0.00 0.00 0 0 0
74.42/74.73 c pscostdiving : 0.29 0.00 29 0 0
74.42/74.73 c randrounding : 0.39 0.00 3544 0 0
74.42/74.73 c rens : 0.02 0.00 1 0 0
74.42/74.73 c reoptsols : 0.00 0.00 0 0 0
74.42/74.73 c repair : 0.00 0.00 0 0 0
74.42/74.73 c rins : 0.00 0.00 0 0 0
74.42/74.73 c rootsoldiving : 0.28 0.00 15 0 0
74.42/74.73 c rounding : 0.05 0.00 2147 0 0
74.42/74.73 c scheduler : 0.00 0.00 0 0 0
74.42/74.73 c shiftandpropagate: 0.02 0.00 1 0 0
74.42/74.73 c shifting : 0.53 0.00 1073 0 0
74.42/74.73 c simplerounding : 0.01 0.00 0 0 0
74.42/74.73 c subnlp : 0.00 0.00 0 0 0
74.42/74.73 c trivial : 0.00 0.00 2 0 0
74.42/74.73 c trivialnegation : 0.00 0.00 0 0 0
74.42/74.73 c trustregion : 0.00 0.00 0 0 0
74.42/74.73 c trysol : 0.00 0.00 0 0 0
74.42/74.73 c twoopt : 0.00 0.00 0 0 0
74.42/74.73 c undercover : 0.00 0.00 0 0 0
74.42/74.73 c vbounds : 0.08 0.00 1 0 0
74.42/74.73 c veclendiving : 0.17 0.00 29 0 0
74.42/74.73 c zeroobj : 0.00 0.00 0 0 0
74.42/74.73 c zirounding : 0.01 0.00 1000 0 0
74.42/74.73 c other solutions : - - - 0 -
74.42/74.73 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
74.42/74.73 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
74.42/74.73 c zeroobjective : 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
74.42/74.73 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
74.42/74.73 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
74.42/74.73 c primal LP : 0.81 1950 0 0.00 0.00 0.81 1950
74.42/74.73 c dual LP : 27.71 32756 493951 15.23 17826.43 0.07 313
74.42/74.73 c lex dual LP : 0.00 0 0 0.00 -
74.42/74.73 c barrier LP : 0.00 0 0 0.00 - 0.00 0
74.42/74.73 c resolve instable : 0.00 0 0 0.00 -
74.42/74.73 c diving/probing LP: 1.43 1538 27228 17.70 19092.66
74.42/74.73 c strong branching : 0.07 12 758 63.17 10579.20 - - 0
74.42/74.73 c (at root node) : - 12 758 63.17 -
74.42/74.73 c conflict analysis: 0.00 0 0 0.00 -
74.42/74.73 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
74.42/74.73 c benders : 0.00 0 0 0 0.00 0 0 0
74.42/74.73 c B&B Tree :
74.42/74.73 c number of runs : 1
74.42/74.73 c nodes : 34733 (19055 internal, 15678 leaves)
74.42/74.73 c feasible leaves : 0
74.42/74.73 c infeas. leaves : 15678
74.42/74.73 c objective leaves : 0
74.42/74.73 c nodes (total) : 34733 (19055 internal, 15678 leaves)
74.42/74.73 c nodes left : 0
74.42/74.73 c max depth : 79
74.42/74.73 c max depth (total): 79
74.42/74.73 c backtracks : 6325 (18.2%)
74.42/74.73 c early backtracks : 0 (0.0%)
74.42/74.73 c nodes exc. ref. : 0 (0.0%)
74.42/74.73 c delayed cutoffs : 1169
74.42/74.73 c repropagations : 18756 (98365 domain reductions, 848 cutoffs)
74.42/74.73 c avg switch length: 4.51
74.42/74.73 c switching time : 3.72
74.42/74.73 c Root Node :
74.42/74.73 c First LP value : +6.00000000000000e+00
74.42/74.73 c First LP Iters : 441 (46328.40 Iter/sec)
74.42/74.73 c First LP Time : 0.01
74.42/74.73 c Final Dual Bound : +6.00000000000000e+00
74.42/74.73 c Final Root Iters : 1117
74.42/74.73 c Root LP Estimate : +6.00566013914121e+00
74.42/74.73 c Solution :
74.42/74.73 c Solutions found : 1 (1 improvements)
74.42/74.73 c First Solution : +6.00000000000000e+00 (in run 1, after 34733 nodes, 74.71 seconds, depth 69, found by <adaptivediving>)
74.42/74.73 c Gap First Sol. : 0.00 %
74.42/74.73 c Gap Last Sol. : 0.00 %
74.42/74.73 c Primal Bound : +6.00000000000000e+00 (in run 1, after 34733 nodes, 74.71 seconds, depth 69, found by <adaptivediving>)
74.42/74.73 c Dual Bound : +6.00000000000000e+00
74.42/74.73 c Gap : 0.00 %
74.42/74.73 c Integrals : Total Avg%
74.42/74.73 c primal-dual : 7472.78 100.00
74.42/74.73 c primal-ref : - - (not evaluated)
74.42/74.73 c dual-ref : - - (not evaluated)
74.42/74.76 c Time complete (sec): 74.493
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62293 MiB free)
memory of node 1: 64507 MiB (57078 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499269-1751406522/watcher-4499269-1751406522 -o /tmp/evaluation-result-4499269-1751406522/solver-4499269-1751406522 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751406326-62870 --watchdog 3760 pbsolver -f HOME/instance-4499269-1751406522.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63516, runsolver pid=63513
[startup+0.100063 s]*
/proc/loadavg: 4.09 3.49 3.39 5/267 63517
/proc/meminfo: memFree=122220832/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=47920 memory=38256 CPUtime=0.09 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 7910 0 0 0 8 1 0 0 20 0 1 0 56330109 49070080 9564 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 11980 9564 2592 2575 0 8887 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47920 KiB
Current children cumulated memory: 38256 KiB
[startup+0.205471 s]*
/proc/loadavg: 4.09 3.49 3.39 5/267 63517
/proc/meminfo: memFree=122220832/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=62100 memory=49372 CPUtime=0.2 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 10198 0 0 0 19 1 0 0 20 0 1 0 56330109 63590400 12343 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 15525 12343 2592 2575 0 12432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62100 KiB
Current children cumulated memory: 49372 KiB
[startup+0.305418 s]*
/proc/loadavg: 4.09 3.49 3.39 5/267 63517
/proc/meminfo: memFree=122220832/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=63124 memory=50396 CPUtime=0.3 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 10479 0 0 0 29 1 0 0 20 0 1 0 56330109 64638976 12599 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 15781 12599 2592 2575 0 12688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 63124 KiB
Current children cumulated memory: 50396 KiB
[startup+0.700136 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63517
/proc/meminfo: memFree=122219824/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=79064 memory=66352 CPUtime=0.68 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 14602 0 0 0 67 1 0 0 20 0 1 0 56330109 80961536 16588 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 19766 16588 2592 2575 0 16673 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79064 KiB
Current children cumulated memory: 66352 KiB
[startup+1.50013 s]
/proc/loadavg: 4.09 3.49 3.39 5/267 63517
/proc/meminfo: memFree=122219824/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=104292 memory=90460 CPUtime=1.48 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 21455 0 0 0 145 3 0 0 20 0 1 0 56330109 106795008 22615 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 26073 22615 2688 2575 0 22980 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 104292 KiB
Current children cumulated memory: 90460 KiB
[startup+3.1054 s]
/proc/loadavg: 4.08 3.50 3.39 5/267 63518
/proc/meminfo: memFree=122178556/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=119388 memory=106508 CPUtime=3.08 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 28830 0 0 0 304 4 0 0 20 0 1 0 56330109 122253312 26627 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 29847 26627 2688 2575 0 26754 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 119388 KiB
Current children cumulated memory: 106508 KiB
[startup+6.30015 s]
/proc/loadavg: 4.08 3.50 3.39 5/267 63518
/proc/meminfo: memFree=122158760/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=139656 memory=126528 CPUtime=6.26 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 34904 0 0 0 621 5 0 0 20 0 1 0 56330109 143007744 31632 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 34914 31632 2688 2575 0 31821 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 139656 KiB
Current children cumulated memory: 126528 KiB
[startup+12.7001 s]
/proc/loadavg: 4.07 3.52 3.40 5/267 63518
/proc/meminfo: memFree=122155232/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=147440 memory=134208 CPUtime=12.64 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 36831 0 0 0 1258 6 0 0 20 0 1 0 56330109 150978560 33552 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 36860 33552 2688 2575 0 33767 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147440 KiB
Current children cumulated memory: 134208 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 3.54 3.40 5/267 63518
/proc/meminfo: memFree=122131924/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=154112 memory=140736 CPUtime=25.4 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 38511 0 0 0 2533 7 0 0 20 0 1 0 56330109 157810688 35184 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 38528 35184 2688 2575 0 35435 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 154112 KiB
Current children cumulated memory: 140736 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 3.59 3.42 5/265 63518
/proc/meminfo: memFree=122103400/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=165372 memory=152164 CPUtime=50.92 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 43121 0 0 0 5083 9 0 0 20 0 1 0 56330109 169340928 38041 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 41343 38041 2688 2575 0 38250 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 165372 KiB
Current children cumulated memory: 152164 KiB
[startup+74.7715 s]
# the end of solver process 63516 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=74.3893 s, system=0.113644 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.10 3.59 3.42 5/265 63518
/proc/meminfo: memFree=122103400/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=165372 memory=152164 CPUtime=51.01 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 43136 0 0 0 5092 9 0 0 20 0 1 0 56330109 169340928 38041 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 41343 38041 2688 2575 0 38250 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 165372 KiB
Current children cumulated memory: 152164 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.08 3.61 3.43 5/264 63520
/proc/meminfo: memFree=122101952/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=170964 memory=157668 CPUtime=63.77 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 44516 0 0 0 6368 9 0 0 20 0 1 0 56330109 175067136 39417 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 42741 39417 2688 2575 0 39648 0
Current children cumulated CPU time: 63.77 s
Current children cumulated vsize: 170964 KiB
Current children cumulated memory: 157668 KiB
[startup+70.4001 s]
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122076816/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174180 CPUtime=70.14 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48721 0 0 0 7004 10 0 0 20 0 1 0 56330109 193257472 43545 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43545 2688 2575 0 44089 0
Current children cumulated CPU time: 70.14 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174180 KiB
[startup+72.0001 s]*
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122079236/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174308 CPUtime=71.74 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48725 0 0 0 7164 10 0 0 20 0 1 0 56330109 193257472 43577 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43577 2688 2575 0 44089 0
Current children cumulated CPU time: 71.74 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174308 KiB
[startup+73.6002 s]
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122079488/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174436 CPUtime=73.33 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48779 0 0 0 7323 10 0 0 20 0 1 0 56330109 193257472 43609 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43609 2688 2575 0 44089 0
Current children cumulated CPU time: 73.33 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174436 KiB
[startup+74.4001 s]
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122087244/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174436 CPUtime=74.12 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48779 0 0 0 7402 10 0 0 20 0 1 0 56330109 193257472 43609 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43609 2688 2575 0 44089 0
Current children cumulated CPU time: 74.12 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174436 KiB
[startup+74.6001 s]
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122087244/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174436 CPUtime=74.32 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48779 0 0 0 7422 10 0 0 20 0 1 0 56330109 193257472 43609 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43609 2688 2575 0 44089 0
Current children cumulated CPU time: 74.32 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174436 KiB
[startup+74.7001 s]
/proc/loadavg: 4.07 3.62 3.44 5/264 63520
/proc/meminfo: memFree=122087244/131249996 swapFree=33010684/33010684
[pid=63516] ppid=63513 vsize=188728 memory=174436 CPUtime=74.42 cores=5,7
/proc/63516/stat : 63516 (pbsolver) R 63513 63516 62857 0 -1 4194304 48779 0 0 0 7432 10 0 0 20 0 1 0 56330109 193257472 43609 18446744073709551615 4198400 14743177 140726605242720 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 31436800 140726605244810 140726605244906 140726605244906 140726605250508 0
/proc/63516/statm: 47182 43609 2688 2575 0 44089 0
Current children cumulated CPU time: 74.42 s
Current children cumulated vsize: 188728 KiB
Current children cumulated memory: 174436 KiB
Child status: 0
Real time (s): 74.7716
CPU time (s): 74.503
CPU user time (s): 74.3893
CPU system time (s): 0.113644
CPU usage (%): 99.6408
Max. virtual memory (cumulated for all children) (KiB): 188728
Max. memory (cumulated for all children) (KiB): 174436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.3893
system time used= 0.113644
maximum resident set size= 174436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 102
# summary of solver processes directly reported to runsolver:
# pid: 63516
# total CPU time (s): 74.503
# total CPU user time (s): 74.3893
# total CPU system time (s): 0.113644
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147138 second user time and 0.355706 second system time
The end