0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667490-1276413377.opb>
0.03/0.04 c original problem has 349 variables (349 bin, 0 int, 0 impl, 0 cont) and 707 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.05 o 349
0.03/0.05 c feasible solution found by trivial heuristic, objective value 3.490000e+02
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 1 del vars, 2 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.09/0.11 c (round 2) 1 del vars, 120 del conss, 1 chg bounds, 4 chg sides, 0 chg coeffs, 696 upgd conss, 4 impls, 0 clqs
0.09/0.11 c (round 3) 5 del vars, 128 del conss, 1 chg bounds, 4 chg sides, 0 chg coeffs, 696 upgd conss, 4 impls, 0 clqs
0.09/0.12 c (0.1s) probing: 101/344 (29.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.12 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.12 c presolving (4 rounds):
0.09/0.12 c 5 deleted vars, 128 deleted constraints, 1 tightened bounds, 0 added holes, 4 changed sides, 0 changed coefficients
0.09/0.12 c 4 implications, 0 cliques
0.09/0.12 c presolved problem has 344 variables (344 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.09/0.12 c 579 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.05
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 1.2.1.2
0.09/0.12 c
0.09/0.12 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.12 c conflict/interconss = 0
0.09/0.12 c
0.09/0.12 c # should binary conflicts be preferred?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c conflict/preferbinary = TRUE
0.09/0.12 c
0.09/0.12 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.12 c constraints/agelimit = 1
0.09/0.12 c
0.09/0.12 c # should enforcement of pseudo solution be disabled?
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/disableenfops = TRUE
0.09/0.12 c
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = 10000
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = 1799.97
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = 1620
0.09/0.12 c
0.09/0.12 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.12 c lp/solvefreq = 0
0.09/0.12 c
0.09/0.12 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.12 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.12 c lp/pricing = a
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify inequalities
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/linear/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # should presolving try to simplify knapsacks
0.09/0.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.12 c
0.09/0.12 c # priority of node selection rule <dfs> in standard mode
0.09/0.12 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.12 c nodeselection/dfs/stdpriority = 1000000
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.12 o 345
0.09/0.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |1956k| 0 | - | 344 | 579 | 0 | 0 | 0 | 0 | 0 | -- | 3.450000e+02 | Inf
0.09/0.12 o 309
0.09/0.12 c t 0.1s| 1 | 0 | 0 | - |1960k| 0 | - | 344 | 579 | 0 | 0 | 0 | 0 | 0 | -- | 3.090000e+02 | Inf
0.09/0.13 o 24
0.09/0.13 c b 0.1s| 1 | 0 | 0 | - |2828k| 0 | - | 344 | 579 | 344 | 579 | 0 | 0 | 0 | -- | 2.400000e+01 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 156 | - |2824k| 0 | 54 | 344 | 579 | 344 | 579 | 0 | 0 | 0 | 1.323214e+01 | 2.400000e+01 | 81.38%
0.09/0.15 o 21
0.09/0.15 c b 0.1s| 1 | 0 | 156 | - |2840k| 0 | 54 | 344 | 579 | 344 | 579 | 0 | 0 | 0 | 1.323214e+01 | 2.100000e+01 | 58.70%
0.19/0.27 c 0.2s| 1 | 0 | 187 | - |3248k| 0 | 33 | 344 | 579 | 344 | 583 | 4 | 0 | 0 | 1.382127e+01 | 2.100000e+01 | 51.94%
0.19/0.27 o 20
0.19/0.27 c b 0.2s| 1 | 0 | 187 | - |3259k| 0 | 33 | 344 | 579 | 344 | 583 | 4 | 0 | 0 | 1.382127e+01 | 2.000000e+01 | 44.70%
0.29/0.35 c 0.3s| 1 | 0 | 219 | - |3461k| 0 | 37 | 344 | 579 | 344 | 588 | 9 | 0 | 0 | 1.424638e+01 | 2.000000e+01 | 40.39%
0.39/0.46 c 0.4s| 1 | 0 | 241 | - |3744k| 0 | 39 | 344 | 579 | 344 | 590 | 11 | 0 | 0 | 1.441667e+01 | 2.000000e+01 | 38.73%
0.59/0.60 c 0.5s| 1 | 0 | 264 | - |4284k| 0 | 43 | 344 | 579 | 344 | 592 | 13 | 0 | 0 | 1.466667e+01 | 2.000000e+01 | 36.36%
0.69/0.76 c 0.7s| 1 | 0 | 311 | - |4514k| 0 | 37 | 344 | 579 | 344 | 595 | 16 | 0 | 0 | 1.466667e+01 | 2.000000e+01 | 36.36%
0.89/0.94 c 0.8s| 1 | 0 | 339 | - |4765k| 0 | 37 | 344 | 579 | 344 | 597 | 18 | 0 | 0 | 1.466667e+01 | 2.000000e+01 | 36.36%
1.10/1.13 c 1.0s| 1 | 0 | 343 | - |4873k| 0 | 36 | 344 | 579 | 344 | 598 | 19 | 0 | 0 | 1.466667e+01 | 2.000000e+01 | 36.36%
1.19/1.30 c 1.2s| 1 | 0 | 361 | - |4880k| 0 | 51 | 344 | 579 | 344 | 599 | 20 | 0 | 0 | 1.500000e+01 | 2.000000e+01 | 33.33%
1.49/1.50 c 1.4s| 1 | 0 | 390 | - |4942k| 0 | 49 | 344 | 579 | 344 | 600 | 21 | 0 | 0 | 1.500000e+01 | 2.000000e+01 | 33.33%
1.59/1.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.66 c 1.6s| 1 | 0 | 409 | - |4995k| 0 | 52 | 344 | 579 | 344 | 601 | 22 | 0 | 0 | 1.500000e+01 | 2.000000e+01 | 33.33%
1.69/1.79 c 1.7s| 1 | 0 | 423 | - |5025k| 0 | 40 | 344 | 579 | 344 | 601 | 23 | 0 | 0 | 1.500000e+01 | 2.000000e+01 | 33.33%
1.79/1.88 c 1.8s| 1 | 0 | 443 | - |5046k| 0 | 47 | 344 | 579 | 344 | 602 | 24 | 0 | 0 | 1.500000e+01 | 2.000000e+01 | 33.33%
2.10/2.12 o 16
2.10/2.12 c E 2.0s| 1 | 0 | 443 | - |5050k| 0 | 47 | 344 | 579 | 344 | 602 | 24 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
2.10/2.13 c 2.0s| 1 | 0 | 443 | - |5050k| 0 | 47 | 344 | 579 | 344 | 602 | 24 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
2.19/2.24 c 2.1s| 1 | 0 | 443 | - |5025k| 0 | 47 | 344 | 551 | 344 | 512 | 24 | 0 | 0 | 1.500000e+01 | 1.600000e+01 | 6.67%
2.59/2.66 c 2.5s| 1 | 0 | 473 | - |5020k| 0 | 49 | 344 | 544 | 344 | 512 | 24 | 0 | 33 | 1.500000e+01 | 1.600000e+01 | 6.67%
2.89/2.98 c 2.9s| 1 | 0 | 473 | - |5020k| 0 | - | 344 | 544 | 344 | 512 | 24 | 0 | 48 | 1.500000e+01 | 1.600000e+01 | 6.67%
2.89/2.98 c (run 1, node 1) restarting after 72 global fixings of integer variables
2.89/2.98 c
2.89/2.98 c (restart) converted 23 cuts from the global cut pool into linear constraints
2.89/2.98 c
2.89/2.99 c presolving:
2.89/3.00 c (round 1) 72 del vars, 81 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 4 impls, 0 clqs
2.99/3.02 c (round 2) 72 del vars, 157 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 23 upgd conss, 4 impls, 0 clqs
2.99/3.03 c presolving (3 rounds):
2.99/3.03 c 72 deleted vars, 157 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.03 c 4 implications, 0 cliques
2.99/3.03 c presolved problem has 272 variables (272 bin, 0 int, 0 impl, 0 cont) and 410 constraints
2.99/3.03 c 19 constraints of type <knapsack>
2.99/3.03 c 391 constraints of type <logicor>
2.99/3.03 c transformed objective value is always integral (scale: 1)
2.99/3.03 c Presolving Time: 0.09
2.99/3.03 c
2.99/3.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.99/3.06 c 2.9s| 1 | 0 | 685 | - |2914k| 0 | 29 | 272 | 410 | 272 | 410 | 0 | 0 | 48 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.19/3.26 c 3.1s| 1 | 0 | 718 | - |2941k| 0 | 36 | 272 | 410 | 272 | 412 | 2 | 0 | 48 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.30/3.36 c 3.2s| 1 | 0 | 762 | - |2941k| 0 | 48 | 272 | 410 | 272 | 412 | 2 | 0 | 58 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.59/3.61 c 3.5s| 1 | 0 | 778 | - |2941k| 0 | 46 | 272 | 410 | 272 | 412 | 2 | 0 | 84 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.59/3.68 c 3.5s| 1 | 0 | 789 | - |2939k| 0 | 42 | 272 | 406 | 272 | 412 | 2 | 0 | 93 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.78/3.81 c 3.7s| 1 | 0 | 798 | - |2939k| 0 | 37 | 272 | 406 | 272 | 412 | 2 | 0 | 109 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.78/3.88 c 3.7s| 1 | 0 | 800 | - |2939k| 0 | 35 | 272 | 406 | 272 | 412 | 2 | 0 | 113 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.89/3.90 c 3.8s| 1 | 0 | 802 | - |2939k| 0 | 38 | 272 | 406 | 272 | 412 | 2 | 0 | 114 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.89/3.92 c 3.8s| 1 | 0 | 805 | - |2937k| 0 | 36 | 272 | 402 | 272 | 412 | 2 | 0 | 116 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.89/3.93 c 3.8s| 1 | 2 | 805 | - |2938k| 0 | 36 | 272 | 402 | 272 | 412 | 2 | 0 | 117 | 1.500000e+01 | 1.600000e+01 | 6.67%
3.89/3.93 c (run 2, node 1) restarting after 25 global fixings of integer variables
3.89/3.93 c
3.89/3.94 c (restart) converted 1 cuts from the global cut pool into linear constraints
3.89/3.94 c
3.89/3.94 c presolving:
3.89/3.96 c (round 1) 25 del vars, 25 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 4 impls, 0 clqs
3.89/3.97 c presolving (2 rounds):
3.89/3.97 c 25 deleted vars, 25 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.89/3.97 c 4 implications, 0 cliques
3.89/3.97 c presolved problem has 247 variables (247 bin, 0 int, 0 impl, 0 cont) and 378 constraints
3.89/3.97 c 19 constraints of type <knapsack>
3.89/3.97 c 359 constraints of type <logicor>
3.89/3.97 c transformed objective value is always integral (scale: 1)
3.89/3.97 c Presolving Time: 0.11
3.89/3.97 c
3.89/3.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.89/3.99 c 3.8s| 1 | 0 | 935 | - |2806k| 0 | 47 | 247 | 378 | 247 | 378 | 0 | 0 | 117 | 1.500000e+01 | 1.600000e+01 | 6.67%
4.09/4.16 c 4.0s| 1 | 0 | 956 | - |2816k| 0 | 37 | 247 | 378 | 247 | 379 | 1 | 0 | 117 | 1.500000e+01 | 1.600000e+01 | 6.67%
4.49/4.51 c 4.3s| 1 | 0 | 966 | - |2816k| 0 | 38 | 247 | 378 | 247 | 379 | 1 | 0 | 149 | 1.500000e+01 | 1.600000e+01 | 6.67%
4.59/4.67 c 4.5s| 1 | 0 | 972 | - |2816k| 0 | 33 | 247 | 378 | 247 | 379 | 1 | 0 | 160 | 1.500000e+01 | 1.600000e+01 | 6.67%
4.59/4.69 c 4.5s| 1 | 0 | 975 | - |2816k| 0 | 33 | 247 | 378 | 247 | 379 | 1 | 0 | 163 | 1.500000e+01 | 1.600000e+01 | 6.67%
4.69/4.72 c 4.5s| 1 | 2 | 975 | - |2817k| 0 | 33 | 247 | 378 | 247 | 379 | 1 | 0 | 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
13.39/13.44 c 13.0s| 10000 | 117 | 975 | 0.0 |2918k| 152 | - | 247 | 379 | 0 | 0 | 1 |5469 | 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
24.09/24.12 c 23.4s| 20000 | 117 | 975 | 0.0 |2921k| 152 | - | 247 | 378 | 0 | 0 | 1 | 10k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
34.37/34.45 c 33.5s| 30000 | 121 | 975 | 0.0 |2924k| 152 | - | 247 | 380 | 0 | 0 | 1 | 16k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
44.87/44.94 c 43.7s| 40000 | 122 | 975 | 0.0 |2926k| 152 | - | 247 | 379 | 0 | 0 | 1 | 21k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
55.67/55.73 c 54.2s| 50000 | 123 | 975 | 0.0 |2925k| 152 | - | 247 | 379 | 0 | 0 | 1 | 27k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
65.87/66.00 c 64.2s| 60000 | 116 | 975 | 0.0 |2923k| 152 | - | 247 | 381 | 0 | 0 | 1 | 32k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
77.26/77.32 c 75.3s| 70000 | 114 | 975 | 0.0 |2924k| 152 | - | 247 | 378 | 0 | 0 | 1 | 38k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
88.76/88.81 c 86.5s| 80000 | 110 | 975 | 0.0 |2921k| 152 | - | 247 | 378 | 0 | 0 | 1 | 43k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
99.06/99.19 c 96.7s| 90000 | 106 | 975 | 0.0 |2928k| 152 | - | 247 | 379 | 0 | 0 | 1 | 49k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
113.05/113.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
113.05/113.17 c 110s|100000 | 115 | 975 | 0.0 |2928k| 152 | - | 247 | 383 | 0 | 0 | 1 | 55k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
124.65/124.77 c 122s|110000 | 116 | 975 | 0.0 |2932k| 152 | - | 247 | 385 | 0 | 0 | 1 | 60k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
137.45/137.51 c 134s|120000 | 115 | 975 | 0.0 |2931k| 152 | - | 247 | 384 | 0 | 0 | 1 | 66k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
151.34/151.43 c 148s|130000 | 108 | 975 | 0.0 |2940k| 152 | - | 247 | 389 | 0 | 0 | 1 | 72k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
163.63/163.79 c 160s|140000 | 117 | 975 | 0.0 |2932k| 152 | - | 247 | 384 | 0 | 0 | 1 | 78k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
176.23/176.34 c 172s|150000 | 115 | 975 | 0.0 |2931k| 152 | - | 247 | 385 | 0 | 0 | 1 | 84k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
190.53/190.60 c 186s|160000 | 115 | 975 | 0.0 |2932k| 152 | - | 247 | 384 | 0 | 0 | 1 | 90k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
203.92/204.04 c 199s|170000 | 117 | 975 | 0.0 |2933k| 152 | - | 247 | 387 | 0 | 0 | 1 | 95k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
217.73/217.85 c 213s|180000 | 112 | 975 | 0.0 |2939k| 152 | - | 247 | 385 | 0 | 0 | 1 | 101k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
231.93/232.08 c 227s|190000 | 110 | 975 | 0.0 |2939k| 152 | - | 247 | 391 | 0 | 0 | 1 | 107k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
245.01/245.18 c 239s|200000 | 129 | 975 | 0.0 |2941k| 152 | - | 247 | 383 | 0 | 0 | 1 | 113k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
257.11/257.21 c 251s|210000 | 110 | 975 | 0.0 |2945k| 152 | - | 247 | 383 | 0 | 0 | 1 | 119k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
269.31/269.40 c 263s|220000 | 113 | 975 | 0.0 |2939k| 152 | - | 247 | 386 | 0 | 0 | 1 | 125k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
281.81/281.97 c 275s|230000 | 112 | 975 | 0.0 |2948k| 152 | - | 247 | 394 | 0 | 0 | 1 | 131k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
294.61/294.70 c 288s|240000 | 102 | 975 | 0.0 |2935k| 152 | - | 247 | 384 | 0 | 0 | 1 | 137k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
309.01/309.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
309.01/309.13 c 302s|250000 | 110 | 975 | 0.0 |2938k| 152 | - | 247 | 383 | 0 | 0 | 1 | 143k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
321.10/321.21 c 314s|260000 | 109 | 975 | 0.0 |2945k| 152 | - | 247 | 385 | 0 | 0 | 1 | 149k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
333.29/333.43 c 326s|270000 | 111 | 975 | 0.0 |3024k| 152 | - | 247 | 384 | 0 | 0 | 1 | 157k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
347.09/347.22 c 339s|280000 | 108 | 975 | 0.0 |3020k| 152 | - | 247 | 395 | 0 | 0 | 1 | 163k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
359.69/359.88 c 352s|290000 | 119 | 975 | 0.0 |3020k| 152 | - | 247 | 385 | 0 | 0 | 1 | 169k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
373.18/373.32 c 365s|300000 | 113 | 975 | 0.0 |3028k| 152 | - | 247 | 390 | 0 | 0 | 1 | 175k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
386.38/386.55 c 378s|310000 | 118 | 975 | 0.0 |3030k| 152 | - | 247 | 388 | 0 | 0 | 1 | 181k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
400.68/400.83 c 392s|320000 | 110 | 975 | 0.0 |3022k| 152 | - | 247 | 383 | 0 | 0 | 1 | 187k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
414.77/414.96 c 405s|330000 | 109 | 975 | 0.0 |3025k| 152 | - | 247 | 394 | 0 | 0 | 1 | 193k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
430.17/430.32 c 420s|340000 | 113 | 975 | 0.0 |3031k| 152 | - | 247 | 384 | 0 | 0 | 1 | 199k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
448.36/448.59 c 438s|350000 | 118 | 975 | 0.0 |3023k| 152 | - | 247 | 379 | 0 | 0 | 1 | 206k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
464.07/464.26 c 454s|360000 | 110 | 975 | 0.0 |3029k| 152 | - | 247 | 388 | 0 | 0 | 1 | 212k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
479.85/480.08 c 469s|370000 | 114 | 975 | 0.0 |3026k| 152 | - | 247 | 378 | 0 | 0 | 1 | 219k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
493.45/493.64 c 482s|380000 | 108 | 975 | 0.0 |3025k| 152 | - | 247 | 380 | 0 | 0 | 1 | 225k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
506.25/506.42 c 495s|390000 | 113 | 975 | 0.0 |3028k| 152 | - | 247 | 378 | 0 | 0 | 1 | 231k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
517.64/517.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
517.64/517.84 c 506s|400000 | 116 | 975 | 0.0 |3028k| 152 | - | 247 | 378 | 0 | 0 | 1 | 237k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
530.34/530.56 c 519s|410000 | 104 | 975 | 0.0 |3029k| 152 | - | 247 | 379 | 0 | 0 | 1 | 243k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
545.73/545.92 c 534s|420000 | 114 | 975 | 0.0 |3029k| 152 | - | 247 | 388 | 0 | 0 | 1 | 250k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
559.23/559.45 c 547s|430000 | 109 | 975 | 0.0 |3027k| 152 | - | 247 | 380 | 0 | 0 | 1 | 255k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
571.03/571.24 c 558s|440000 | 118 | 975 | 0.0 |3029k| 152 | - | 247 | 378 | 0 | 0 | 1 | 261k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
582.43/582.67 c 570s|450000 | 117 | 975 | 0.0 |3027k| 152 | - | 247 | 379 | 0 | 0 | 1 | 267k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
594.93/595.13 c 582s|460000 | 111 | 975 | 0.0 |3032k| 152 | - | 247 | 385 | 0 | 0 | 1 | 273k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
607.42/607.66 c 594s|470000 | 108 | 975 | 0.0 |3031k| 152 | - | 247 | 388 | 0 | 0 | 1 | 279k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
619.61/619.81 c 606s|480000 | 107 | 975 | 0.0 |3028k| 152 | - | 247 | 382 | 0 | 0 | 1 | 285k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
632.71/632.95 c 619s|490000 | 109 | 975 | 0.0 |3030k| 152 | - | 247 | 382 | 0 | 0 | 1 | 291k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
647.40/647.61 c 633s|500000 | 109 | 975 | 0.0 |3035k| 152 | - | 247 | 388 | 0 | 0 | 1 | 297k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
659.50/659.70 c 645s|510000 | 105 | 975 | 0.0 |3026k| 152 | - | 247 | 384 | 0 | 0 | 1 | 303k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
671.60/671.88 c 657s|520000 | 122 | 975 | 0.0 |3028k| 152 | - | 247 | 378 | 0 | 0 | 1 | 308k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
685.10/685.40 c 670s|530000 | 115 | 975 | 0.0 |3027k| 152 | - | 247 | 380 | 0 | 0 | 1 | 314k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
699.80/700.00 c 684s|540000 | 102 | 975 | 0.0 |3029k| 152 | - | 247 | 382 | 0 | 0 | 1 | 321k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
712.79/713.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.79/713.08 c 697s|550000 | 106 | 975 | 0.0 |3026k| 152 | - | 247 | 383 | 0 | 0 | 1 | 326k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
726.19/726.41 c 710s|560000 | 123 | 975 | 0.0 |3030k| 152 | - | 247 | 380 | 0 | 0 | 1 | 332k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
738.18/738.48 c 722s|570000 | 110 | 975 | 0.0 |3027k| 152 | - | 247 | 378 | 0 | 0 | 1 | 338k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
749.89/750.14 c 733s|580000 | 114 | 975 | 0.0 |3029k| 152 | - | 247 | 381 | 0 | 0 | 1 | 344k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
762.47/762.77 c 745s|590000 | 108 | 975 | 0.0 |3033k| 152 | - | 247 | 382 | 0 | 0 | 1 | 350k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
774.37/774.63 c 757s|600000 | 110 | 975 | 0.0 |3030k| 152 | - | 247 | 381 | 0 | 0 | 1 | 355k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
787.07/787.36 c 770s|610000 | 109 | 975 | 0.0 |3026k| 152 | - | 247 | 378 | 0 | 0 | 1 | 361k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
800.66/800.91 c 783s|620000 | 115 | 975 | 0.0 |3028k| 152 | - | 247 | 380 | 0 | 0 | 1 | 367k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
811.57/811.84 c 793s|630000 | 115 | 975 | 0.0 |3032k| 152 | - | 247 | 379 | 0 | 0 | 1 | 372k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
823.36/823.69 c 805s|640000 | 119 | 975 | 0.0 |3031k| 152 | - | 247 | 381 | 0 | 0 | 1 | 378k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
834.45/834.75 c 816s|650000 | 110 | 975 | 0.0 |3033k| 152 | - | 247 | 381 | 0 | 0 | 1 | 384k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
845.35/845.60 c 826s|660000 | 121 | 975 | 0.0 |3033k| 152 | - | 247 | 382 | 0 | 0 | 1 | 390k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
857.35/857.66 c 838s|670000 | 122 | 975 | 0.0 |3080k| 152 | - | 247 | 510 | 0 | 0 | 1 | 396k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
866.45/866.75 c 847s|680000 | 111 | 975 | 0.0 |3036k| 152 | - | 247 | 390 | 0 | 0 | 1 | 402k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
876.55/876.81 c 857s|690000 | 117 | 975 | 0.0 |3031k| 152 | - | 247 | 379 | 0 | 0 | 1 | 408k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
887.74/888.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
887.74/888.00 c 868s|700000 | 118 | 975 | 0.0 |3033k| 152 | - | 247 | 384 | 0 | 0 | 1 | 414k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
900.24/900.51 c 880s|710000 | 117 | 975 | 0.0 |3030k| 152 | - | 247 | 378 | 0 | 0 | 1 | 420k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
912.64/912.91 c 892s|720000 | 115 | 975 | 0.0 |3031k| 152 | - | 247 | 379 | 0 | 0 | 1 | 426k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
923.93/924.22 c 903s|730000 | 109 | 975 | 0.0 |3030k| 152 | - | 247 | 380 | 0 | 0 | 1 | 432k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
935.43/935.79 c 914s|740000 | 123 | 975 | 0.0 |3032k| 152 | - | 247 | 379 | 0 | 0 | 1 | 438k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
947.53/947.80 c 926s|750000 | 118 | 975 | 0.0 |3033k| 152 | - | 247 | 380 | 0 | 0 | 1 | 444k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
959.42/959.70 c 938s|760000 | 107 | 975 | 0.0 |3032k| 152 | - | 247 | 378 | 0 | 0 | 1 | 450k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
970.42/970.70 c 948s|770000 | 114 | 975 | 0.0 |3032k| 152 | - | 247 | 381 | 0 | 0 | 1 | 455k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
983.61/984.00 c 962s|780000 | 119 | 975 | 0.0 |3035k| 152 | - | 247 | 385 | 0 | 0 | 1 | 461k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
996.91/997.22 c 974s|790000 | 115 | 975 | 0.0 |3029k| 152 | - | 247 | 381 | 0 | 0 | 1 | 467k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1009.52/1009.86 c 987s|800000 | 119 | 975 | 0.0 |3030k| 152 | - | 247 | 380 | 0 | 0 | 1 | 473k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1024.21/1024.54 c 1001s|810000 | 136 | 975 | 0.0 |3038k| 152 | - | 247 | 379 | 0 | 0 | 1 | 479k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1033.41/1033.78 c 1010s|820000 | 120 | 975 | 0.0 |3031k| 152 | - | 247 | 379 | 0 | 0 | 1 | 484k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1045.00/1045.34 c 1021s|830000 | 114 | 975 | 0.0 |3031k| 152 | - | 247 | 383 | 0 | 0 | 1 | 490k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1056.00/1056.32 c 1032s|840000 | 119 | 975 | 0.0 |3034k| 152 | - | 247 | 380 | 0 | 0 | 1 | 496k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1067.70/1068.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1067.70/1068.00 c 1044s|850000 | 116 | 975 | 0.0 |3034k| 152 | - | 247 | 379 | 0 | 0 | 1 | 502k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1079.19/1079.57 c 1055s|860000 | 116 | 975 | 0.0 |3031k| 152 | - | 247 | 380 | 0 | 0 | 1 | 508k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1091.28/1091.66 c 1067s|870000 | 108 | 975 | 0.0 |3027k| 152 | - | 247 | 379 | 0 | 0 | 1 | 514k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1102.39/1102.78 c 1078s|880000 | 110 | 975 | 0.0 |3034k| 152 | - | 247 | 384 | 0 | 0 | 1 | 520k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1114.28/1114.69 c 1089s|890000 | 114 | 975 | 0.0 |3032k| 152 | - | 247 | 383 | 0 | 0 | 1 | 525k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1125.17/1125.55 c 1100s|900000 | 111 | 975 | 0.0 |3030k| 152 | - | 247 | 380 | 0 | 0 | 1 | 531k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1137.08/1137.50 c 1111s|910000 | 111 | 975 | 0.0 |3029k| 152 | - | 247 | 382 | 0 | 0 | 1 | 537k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1149.08/1149.49 c 1123s|920000 | 118 | 975 | 0.0 |3030k| 152 | - | 247 | 378 | 0 | 0 | 1 | 543k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1161.06/1161.47 c 1135s|930000 | 107 | 975 | 0.0 |3029k| 152 | - | 247 | 379 | 0 | 0 | 1 | 549k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1172.57/1172.93 c 1146s|940000 | 111 | 975 | 0.0 |3028k| 152 | - | 247 | 379 | 0 | 0 | 1 | 555k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1184.96/1185.34 c 1158s|950000 | 113 | 975 | 0.0 |3030k| 152 | - | 247 | 380 | 0 | 0 | 1 | 561k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1196.85/1197.29 c 1170s|960000 | 113 | 975 | 0.0 |3030k| 152 | - | 247 | 382 | 0 | 0 | 1 | 566k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1209.26/1209.65 c 1182s|970000 | 119 | 975 | 0.0 |3217k| 152 | - | 247 |1159 | 0 | 0 | 1 | 573k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1222.76/1223.16 c 1195s|980000 | 118 | 975 | 0.0 |3066k| 152 | - | 247 | 380 | 0 | 0 | 1 | 580k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1236.34/1236.78 c 1208s|990000 | 105 | 975 | 0.0 |3063k| 152 | - | 247 | 382 | 0 | 0 | 1 | 586k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1248.74/1249.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1248.74/1249.12 c 1221s| 1000k| 108 | 975 | 0.0 |3063k| 152 | - | 247 | 381 | 0 | 0 | 1 | 592k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1261.64/1262.07 c 1233s| 1010k| 102 | 975 | 0.0 |3080k| 152 | - | 247 | 438 | 0 | 0 | 1 | 598k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1278.04/1278.41 c 1249s| 1020k| 109 | 975 | 0.0 |3064k| 152 | - | 247 | 381 | 0 | 0 | 1 | 605k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1293.63/1294.02 c 1264s| 1030k| 107 | 975 | 0.0 |3067k| 152 | - | 247 | 383 | 0 | 0 | 1 | 611k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1307.32/1307.73 c 1278s| 1040k| 109 | 975 | 0.0 |3077k| 152 | - | 247 | 415 | 0 | 0 | 1 | 617k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1323.52/1323.93 c 1294s| 1050k| 107 | 975 | 0.0 |3066k| 152 | - | 247 | 387 | 0 | 0 | 1 | 623k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1335.82/1336.24 c 1306s| 1060k| 117 | 975 | 0.0 |3068k| 152 | - | 247 | 383 | 0 | 0 | 1 | 629k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1346.41/1346.82 c 1316s| 1070k| 125 | 975 | 0.0 |3073k| 152 | - | 247 | 386 | 0 | 0 | 1 | 635k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1358.21/1358.66 c 1328s| 1080k| 116 | 975 | 0.0 |3070k| 152 | - | 247 | 385 | 0 | 0 | 1 | 641k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1372.50/1372.91 c 1342s| 1090k| 109 | 975 | 0.0 |3071k| 152 | - | 247 | 388 | 0 | 0 | 1 | 647k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1387.41/1387.83 c 1356s| 1100k| 112 | 975 | 0.0 |3072k| 152 | - | 247 | 387 | 0 | 0 | 1 | 654k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1399.10/1399.53 c 1368s| 1110k| 109 | 975 | 0.0 |3069k| 152 | - | 247 | 384 | 0 | 0 | 1 | 659k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1410.39/1410.82 c 1379s| 1120k| 117 | 975 | 0.0 |3069k| 152 | - | 247 | 386 | 0 | 0 | 1 | 665k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1422.80/1423.29 c 1391s| 1130k| 108 | 975 | 0.0 |3071k| 152 | - | 247 | 390 | 0 | 0 | 1 | 671k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1435.19/1435.64 c 1403s| 1140k| 108 | 975 | 0.0 |3070k| 152 | - | 247 | 396 | 0 | 0 | 1 | 677k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1447.59/1448.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1447.59/1448.01 c 1415s| 1150k| 102 | 975 | 0.0 |3066k| 152 | - | 247 | 387 | 0 | 0 | 1 | 683k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1459.48/1459.99 c 1427s| 1160k| 112 | 975 | 0.0 |3066k| 152 | - | 247 | 383 | 0 | 0 | 1 | 689k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1472.49/1472.96 c 1439s| 1170k| 109 | 975 | 0.0 |3069k| 152 | - | 247 | 387 | 0 | 0 | 1 | 695k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1485.77/1486.21 c 1452s| 1180k| 111 | 975 | 0.0 |3906k| 152 | - | 247 |3594 | 0 | 0 | 1 | 704k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1501.67/1502.12 c 1468s| 1190k| 119 | 975 | 0.0 |3190k| 152 | - | 247 | 382 | 0 | 0 | 1 | 710k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1516.97/1517.44 c 1483s| 1200k| 118 | 975 | 0.0 |3207k| 152 | - | 247 | 444 | 0 | 0 | 1 | 717k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1529.96/1530.42 c 1496s| 1210k| 106 | 975 | 0.0 |3193k| 152 | - | 247 | 385 | 0 | 0 | 1 | 723k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1542.96/1543.45 c 1508s| 1220k| 105 | 975 | 0.0 |3193k| 152 | - | 247 | 381 | 0 | 0 | 1 | 728k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1555.16/1555.67 c 1520s| 1230k| 104 | 975 | 0.0 |3191k| 152 | - | 247 | 382 | 0 | 0 | 1 | 734k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1568.06/1568.60 c 1533s| 1240k| 114 | 975 | 0.0 |3193k| 152 | - | 247 | 382 | 0 | 0 | 1 | 740k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1582.36/1582.90 c 1547s| 1250k| 103 | 975 | 0.0 |3191k| 152 | - | 247 | 384 | 0 | 0 | 1 | 746k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1594.95/1595.42 c 1559s| 1260k| 121 | 975 | 0.0 |3199k| 152 | - | 247 | 381 | 0 | 0 | 1 | 752k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1606.55/1607.00 c 1570s| 1270k| 121 | 975 | 0.0 |3195k| 152 | - | 247 | 379 | 0 | 0 | 1 | 758k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1617.45/1617.98 c 1581s| 1280k| 110 | 975 | 0.0 |3193k| 152 | - | 247 | 383 | 0 | 0 | 1 | 764k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1628.24/1628.72 c 1592s| 1290k| 109 | 975 | 0.0 |3191k| 152 | - | 247 | 378 | 0 | 0 | 1 | 769k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1639.23/1639.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1639.23/1639.76 c 1602s| 1300k| 116 | 975 | 0.0 |3194k| 152 | - | 247 | 381 | 0 | 0 | 1 | 775k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1650.13/1650.64 c 1613s| 1310k| 112 | 975 | 0.0 |3193k| 152 | - | 247 | 381 | 0 | 0 | 1 | 781k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1662.03/1662.51 c 1625s| 1320k| 110 | 975 | 0.0 |3192k| 152 | - | 247 | 380 | 0 | 0 | 1 | 787k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1672.93/1673.47 c 1635s| 1330k| 114 | 975 | 0.0 |3194k| 152 | - | 247 | 379 | 0 | 0 | 1 | 793k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1686.13/1686.69 c 1648s| 1340k| 114 | 975 | 0.0 |3193k| 152 | - | 247 | 378 | 0 | 0 | 1 | 800k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1700.42/1700.90 c 1662s| 1350k| 117 | 975 | 0.0 |3195k| 152 | - | 247 | 379 | 0 | 0 | 1 | 806k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1711.02/1711.50 c 1673s| 1360k| 114 | 975 | 0.0 |3194k| 152 | - | 247 | 381 | 0 | 0 | 1 | 812k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1721.32/1721.86 c 1683s| 1370k| 106 | 975 | 0.0 |3192k| 152 | - | 247 | 379 | 0 | 0 | 1 | 818k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1732.41/1732.99 c 1694s| 1380k| 113 | 975 | 0.0 |3193k| 152 | - | 247 | 381 | 0 | 0 | 1 | 823k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1743.40/1743.94 c 1704s| 1390k| 115 | 975 | 0.0 |3223k| 152 | - | 247 | 478 | 0 | 0 | 1 | 829k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1754.90/1755.42 c 1715s| 1400k| 110 | 975 | 0.0 |3346k| 152 | - | 247 | 982 | 0 | 0 | 1 | 836k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1766.30/1766.86 c 1727s| 1410k| 110 | 975 | 0.0 |3195k| 152 | - | 247 | 381 | 0 | 0 | 1 | 843k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1778.40/1778.92 c 1738s| 1420k| 110 | 975 | 0.0 |3216k| 152 | - | 247 | 445 | 0 | 0 | 1 | 849k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1790.39/1790.99 c 1750s| 1430k| 105 | 975 | 0.0 |3196k| 152 | - | 247 | 380 | 0 | 0 | 1 | 855k| 165 | 1.500000e+01 | 1.600000e+01 | 6.67%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1759.38
1800.00/1800.50 c Solving Nodes : 1437217 (total of 1437219 nodes in 3 runs)
1800.00/1800.50 c Primal Bound : +1.60000000000000e+01 (7 solutions)
1800.00/1800.50 c Dual Bound : +1.50000000000000e+01
1800.00/1800.50 c Gap : 6.67 %
1800.00/1800.51 s SATISFIABLE
1800.00/1800.51 v -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1800.00/1800.51 v -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1800.00/1800.51 v -x306 -x305 x304 -x303 -x302 x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286
1800.00/1800.51 v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 x269 -x268 -x267 -x266 -x265
1800.00/1800.51 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 -x246 -x245 -x244
1800.00/1800.51 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1800.00/1800.51 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1800.00/1800.51 v -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1800.00/1800.51 v -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
1800.00/1800.51 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.00/1800.51 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
1800.00/1800.51 v -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1800.00/1800.51 v -x96 -x95 x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
1800.00/1800.51 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46
1800.00/1800.51 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21
1800.00/1800.51 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.00/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.51 c Solving Time : 1759.38
1800.00/1800.51 c Original Problem :
1800.00/1800.51 c Problem name : HOME/instance-2667490-1276413377.opb
1800.00/1800.51 c Variables : 349 (349 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 707 initial, 707 maximal
1800.00/1800.51 c Presolved Problem :
1800.00/1800.51 c Problem name : t_HOME/instance-2667490-1276413377.opb
1800.00/1800.51 c Variables : 247 (247 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.51 c Constraints : 378 initial, 4194 maximal
1800.00/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.51 c trivial : 0.01 97 0 0 0 0 0 0 0
1800.00/1800.51 c dualfix : 0.00 4 0 0 0 0 0 0 0
1800.00/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c probing : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.51 c knapsack : 0.03 0 0 0 0 0 0 0 0
1800.00/1800.51 c linear : 0.03 1 0 0 1 0 11 4 0
1800.00/1800.51 c logicor : 0.03 0 0 0 0 0 299 0 0
1800.00/1800.51 c root node : - 106 - - 106 - - - -
1800.00/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c integral : 0 0 0 14 0 0 44 0 0 4
1800.00/1800.51 c knapsack : 19 2 4926808 0 0 221693 96237 0 0 0
1800.00/1800.51 c logicor : 359+ 17 2848167 0 0 451843 3023185 0 0 0
1800.00/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.51 c integral : 1.80 0.00 0.00 1.80 0.00
1800.00/1800.51 c knapsack : 1355.50 0.21 1355.29 0.00 0.00
1800.00/1800.51 c logicor : 70.60 0.00 70.60 0.00 0.00
1800.00/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.51 c vbounds : 2.42 4 0 0
1800.00/1800.51 c rootredcost : 2.33 0 0 0
1800.00/1800.51 c pseudoobj : 158.49 5099377 172557 42824565
1800.00/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.51 c propagation : 84.52 823079 823079 823079 39.8 56480 28.6 -
1800.00/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.00/1800.51 c applied globally : - - - 389070 19.8 - - -
1800.00/1800.51 c applied locally : - - - 471166 54.4 - - -
1800.00/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 1)
1800.00/1800.51 c redcost : 0.01 17 0 62 0 0
1800.00/1800.51 c impliedbounds : 0.00 17 0 0 0 0
1800.00/1800.51 c intobj : 0.00 0 0 0 0 0
1800.00/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.51 c gomory : 0.91 17 0 0 1855 0
1800.00/1800.51 c strongcg : 0.85 17 0 0 2076 0
1800.00/1800.51 c cmir : 0.11 12 0 0 2 0
1800.00/1800.51 c flowcover : 0.16 12 0 0 3 0
1800.00/1800.51 c clique : 0.00 3 0 0 0 0
1800.00/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.51 c mcf : 0.01 3 0 0 0 0
1800.00/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.51 c Pricers : Time Calls Vars
1800.00/1800.51 c problem variables: 0.00 0 0
1800.00/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.51 c relpscost : 1.80 14 0 44 0 0 4
1800.00/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.51 c inference : 23.13 1069561 0 0 0 0 2139122
1800.00/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.51 c random : 0.00 0 0 0 0 0 0
1800.00/1800.51 c Primal Heuristics : Time Calls Found
1800.00/1800.51 c LP solutions : 0.00 - 0
1800.00/1800.51 c pseudo solutions : 0.00 - 0
1800.00/1800.51 c crossover : 0.00 0 0
1800.00/1800.51 c oneopt : 0.86 5 3
1800.00/1800.51 c trivial : 0.00 2 3
1800.00/1800.51 c simplerounding : 0.00 28 0
1800.00/1800.51 c zirounding : 0.00 2 0
1800.00/1800.51 c rounding : 0.00 28 0
1800.00/1800.51 c shifting : 0.01 28 0
1800.00/1800.51 c intshifting : 0.00 0 0
1800.00/1800.51 c twoopt : 0.00 0 0
1800.00/1800.51 c fixandinfer : 0.00 0 0
1800.00/1800.51 c feaspump : 0.00 0 0
1800.00/1800.51 c coefdiving : 0.00 0 0
1800.00/1800.51 c pscostdiving : 0.00 0 0
1800.00/1800.51 c fracdiving : 0.00 0 0
1800.00/1800.51 c veclendiving : 0.00 0 0
1800.00/1800.51 c intdiving : 0.00 0 0
1800.00/1800.51 c actconsdiving : 0.00 0 0
1800.00/1800.51 c objpscostdiving : 0.00 0 0
1800.00/1800.51 c rootsoldiving : 0.00 0 0
1800.00/1800.51 c linesearchdiving : 0.00 0 0
1800.00/1800.51 c guideddiving : 0.00 0 0
1800.00/1800.51 c octane : 0.00 0 0
1800.00/1800.51 c rens : 0.12 1 1
1800.00/1800.51 c rins : 0.00 0 0
1800.00/1800.51 c localbranching : 0.00 0 0
1800.00/1800.51 c mutation : 0.00 0 0
1800.00/1800.51 c dins : 0.00 0 0
1800.00/1800.51 c undercover : 0.00 0 0
1800.00/1800.51 c nlp : 0.54 0 0
1800.00/1800.51 c trysol : 0.76 0 0
1800.00/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.00/1800.51 c dual LP : 0.12 28 975 34.82 8125.00
1800.00/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.51 c strong branching : 1.80 165 11592 70.25 6440.00
1800.00/1800.51 c (at root node) : - 165 11592 70.25 -
1800.00/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.51 c B&B Tree :
1800.00/1800.51 c number of runs : 3
1800.00/1800.51 c nodes : 1437217
1800.00/1800.51 c nodes (total) : 1437219
1800.00/1800.51 c nodes left : 108
1800.00/1800.51 c max depth : 152
1800.00/1800.51 c max depth (total): 152
1800.00/1800.51 c backtracks : 631390 (43.9%)
1800.00/1800.51 c delayed cutoffs : 701800
1800.00/1800.51 c repropagations : 1921236 (25861312 domain reductions, 478438 cutoffs)
1800.00/1800.51 c avg switch length: 3.67
1800.00/1800.51 c switching time : 74.51
1800.00/1800.51 c Solution :
1800.00/1800.51 c Solutions found : 7 (7 improvements)
1800.00/1800.51 c First Solution : +3.49000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.00/1800.51 c Primal Bound : +1.60000000000000e+01 (in run 1, after 1 nodes, 2.00 seconds, depth 0, found by <rens>)
1800.00/1800.51 c Dual Bound : +1.50000000000000e+01
1800.00/1800.51 c Gap : 6.67 %
1800.00/1800.51 c Root Dual Bound : +1.50000000000000e+01
1800.00/1800.51 c Root Iterations : 975
1800.00/1800.52 c Time complete: 1800.02.