0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703861-1278559749.opb>
0.00/0.03 c original problem has 2993 variables (2993 bin, 0 int, 0 impl, 0 cont) and 112 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.04/0.06 c presolving:
0.04/0.07 c (round 1) 1620 del vars, 12 del conss, 1620 chg bounds, 0 chg sides, 10 chg coeffs, 0 upgd conss, 0 impls, 73 clqs
0.04/0.08 c (round 2) 1620 del vars, 12 del conss, 1620 chg bounds, 0 chg sides, 10 chg coeffs, 100 upgd conss, 0 impls, 73 clqs
0.04/0.09 c (round 3) 1620 del vars, 12 del conss, 1620 chg bounds, 10 chg sides, 103 chg coeffs, 100 upgd conss, 28 impls, 110 clqs
0.09/0.17 c (0.1s) probing: 229/1373 (16.7%) - 0 fixings, 0 aggregations, 6999 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (4 rounds):
0.09/0.17 c 1620 deleted vars, 12 deleted constraints, 1620 tightened bounds, 0 added holes, 10 changed sides, 103 changed coefficients
0.09/0.17 c 14090 implications, 110 cliques
0.09/0.17 c presolved problem has 1373 variables (1373 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.09/0.17 c 27 constraints of type <knapsack>
0.09/0.17 c 73 constraints of type <setppc>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.13
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.3
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1789.97
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 1620
0.09/0.17 c
0.09/0.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.17 c # [type: int, range: [1,2], default: 1]
0.09/0.17 c timing/clocktype = 2
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/indicator/addCouplingCons = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 c
0.20/0.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.20/0.29 c 0.3s| 1 | 0 | 1730 | - |7496k| 0 | 28 |1373 | 100 |1373 | 100 | 0 | 0 | 0 |-7.432517e+07 | -- | Inf
4.69/4.77 o -55873761
4.69/4.77 c y 4.7s| 1 | 0 | 4171 | - |7666k| 0 | 28 |1373 | 100 |1373 | 100 | 0 | 0 | 0 |-7.432517e+07 |-5.587376e+07 | 24.83%
4.69/4.79 c 4.8s| 1 | 0 | 4194 | - |7667k| 0 | 48 |1373 | 118 |1373 | 116 | 16 | 0 | 0 |-7.425933e+07 |-5.587376e+07 | 24.76%
4.79/4.85 c 4.8s| 1 | 0 | 4219 | - |7704k| 0 | 66 |1373 | 118 |1373 | 130 | 30 | 0 | 0 |-7.424201e+07 |-5.587376e+07 | 24.74%
4.89/4.91 c 4.9s| 1 | 0 | 4241 | - |7749k| 0 | 77 |1373 | 118 |1373 | 144 | 44 | 0 | 0 |-7.422894e+07 |-5.587376e+07 | 24.73%
4.89/4.99 c 5.0s| 1 | 0 | 4259 | - |7764k| 0 | 85 |1373 | 118 |1373 | 155 | 55 | 0 | 0 |-7.422002e+07 |-5.587376e+07 | 24.72%
4.99/5.06 c 5.0s| 1 | 0 | 4282 | - |7772k| 0 | 90 |1373 | 118 |1373 | 162 | 62 | 0 | 0 |-7.421301e+07 |-5.587376e+07 | 24.71%
5.09/5.14 c 5.1s| 1 | 0 | 4304 | - |7779k| 0 | 86 |1373 | 118 |1373 | 168 | 68 | 0 | 0 |-7.420670e+07 |-5.587376e+07 | 24.71%
5.19/5.22 c 5.2s| 1 | 0 | 4348 | - |7814k| 0 | 78 |1373 | 118 |1373 | 176 | 76 | 0 | 0 |-7.417988e+07 |-5.587376e+07 | 24.68%
5.29/5.30 c 5.3s| 1 | 0 | 4374 | - |7828k| 0 | 95 |1373 | 118 |1373 | 185 | 85 | 0 | 0 |-7.417515e+07 |-5.587376e+07 | 24.67%
5.39/5.42 c 5.4s| 1 | 0 | 4403 | - |7841k| 0 | 96 |1373 | 118 |1373 | 193 | 93 | 0 | 0 |-7.417120e+07 |-5.587376e+07 | 24.67%
5.50/5.54 c 5.5s| 1 | 0 | 4423 | - |7849k| 0 | 93 |1373 | 118 |1373 | 198 | 98 | 0 | 0 |-7.416957e+07 |-5.587376e+07 | 24.67%
5.59/5.62 c 5.6s| 1 | 0 | 4434 | - |7855k| 0 | 95 |1373 | 118 |1373 | 203 | 103 | 0 | 0 |-7.416789e+07 |-5.587376e+07 | 24.67%
5.59/5.69 c 5.7s| 1 | 0 | 4446 | - |7864k| 0 | 105 |1373 | 118 |1373 | 207 | 107 | 0 | 0 |-7.416723e+07 |-5.587376e+07 | 24.67%
5.69/5.77 c 5.7s| 1 | 0 | 4459 | - |7872k| 0 | 112 |1373 | 118 |1373 | 211 | 111 | 0 | 0 |-7.416569e+07 |-5.587376e+07 | 24.66%
5.79/5.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.79/5.87 c 5.8s| 1 | 0 | 4483 | - |7878k| 0 | 105 |1373 | 118 |1373 | 214 | 114 | 0 | 0 |-7.416225e+07 |-5.587376e+07 | 24.66%
5.89/5.98 c 5.9s| 1 | 0 | 4498 | - |7882k| 0 | 110 |1373 | 118 |1373 | 217 | 117 | 0 | 0 |-7.416182e+07 |-5.587376e+07 | 24.66%
5.99/6.08 c 6.1s| 1 | 0 | 4504 | - |7884k| 0 | 108 |1373 | 118 |1373 | 218 | 119 | 0 | 0 |-7.416112e+07 |-5.587376e+07 | 24.66%
6.09/6.19 c 6.2s| 1 | 0 | 4511 | - |7888k| 0 | 108 |1373 | 118 |1373 | 221 | 122 | 0 | 0 |-7.416093e+07 |-5.587376e+07 | 24.66%
6.29/6.30 c 6.3s| 1 | 0 | 4521 | - |7891k| 0 | 109 |1373 | 118 |1373 | 223 | 124 | 0 | 0 |-7.416072e+07 |-5.587376e+07 | 24.66%
6.39/6.41 c 6.4s| 1 | 0 | 4526 | - |7893k| 0 | 109 |1373 | 118 |1373 | 224 | 125 | 0 | 0 |-7.416048e+07 |-5.587376e+07 | 24.66%
6.59/6.60 o -73517086
6.59/6.60 c E 6.6s| 1 | 0 | 4526 | - |7935k| 0 | 109 |1373 | 118 |1373 | 224 | 125 | 0 | 0 |-7.416048e+07 |-7.351709e+07 | 0.87%
6.59/6.61 c 6.6s| 1 | 0 | 4526 | - |7935k| 0 | 109 |1373 | 118 |1373 | 224 | 125 | 0 | 0 |-7.416048e+07 |-7.351709e+07 | 0.87%
6.68/6.72 c 6.7s| 1 | 0 | 4526 | - |7564k| 0 | 109 |1373 | 109 |1373 | 224 | 125 | 0 | 0 |-7.416048e+07 |-7.351709e+07 | 0.87%
6.78/6.86 c 6.8s| 1 | 2 | 4526 | - |7565k| 0 | 109 |1373 | 109 |1373 | 224 | 125 | 0 | 10 |-7.416048e+07 |-7.351709e+07 | 0.87%
6.78/6.86 c (run 1, node 1) restarting after 291 global fixings of integer variables
6.78/6.86 c
6.78/6.86 c (restart) converted 1 cuts from the global cut pool into linear constraints
6.78/6.86 c
6.78/6.86 c presolving:
6.78/6.87 c (round 1) 292 del vars, 1 del conss, 0 chg bounds, 2 chg sides, 63 chg coeffs, 10 upgd conss, 14106 impls, 72 clqs
6.78/6.88 c presolving (2 rounds):
6.78/6.88 c 292 deleted vars, 1 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 63 changed coefficients
6.78/6.88 c 14106 implications, 72 cliques
6.78/6.88 c presolved problem has 1081 variables (1081 bin, 0 int, 0 impl, 0 cont) and 109 constraints
6.78/6.88 c 28 constraints of type <knapsack>
6.78/6.88 c 72 constraints of type <setppc>
6.78/6.88 c 9 constraints of type <logicor>
6.78/6.88 c transformed objective value is always integral (scale: 1)
6.78/6.88 c Presolving Time: 0.14
6.78/6.88 c
6.89/6.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.89/6.96 c 6.9s| 1 | 0 | 5986 | - |7207k| 0 | 30 |1081 | 109 |1081 | 100 | 0 | 0 | 10 |-7.429934e+07 |-7.351709e+07 | 1.05%
6.89/7.00 c 7.0s| 1 | 0 | 6016 | - |7226k| 0 | 50 |1081 | 109 |1081 | 116 | 16 | 0 | 10 |-7.422226e+07 |-7.351709e+07 | 0.95%
6.99/7.04 c 7.0s| 1 | 2 | 6016 | - |7226k| 0 | 50 |1081 | 109 |1081 | 116 | 16 | 0 | 27 |-7.422226e+07 |-7.351709e+07 | 0.95%
22.38/22.48 o -73665123
22.38/22.48 c C22.4s| 1647 | 1374 | 43605 | 22.8 | 11M| 41 | 34 |1081 | 481 |1081 | 116 | 16 | 375 |2133 |-7.410793e+07 |-7.366512e+07 | 0.60%
34.09/34.14 o -73690673
34.09/34.14 c C34.1s| 3648 | 2714 | 72283 | 18.2 | 18M| 46 | 34 |1081 | 868 |1081 | 116 | 16 | 880 |2567 |-7.409583e+07 |-7.369067e+07 | 0.55%
58.77/58.86 o -73774738
58.77/58.86 c C58.8s| 8630 | 4837 |136276 | 15.1 | 26M| 56 | 24 |1081 |1463 |1081 | 116 | 16 |2673 |3019 |-7.406998e+07 |-7.377474e+07 | 0.40%
64.78/64.88 c 64.8s| 10000 | 5617 |149787 | 14.4 | 30M| 58 | 20 |1081 |1568 |1081 | 116 | 16 |3131 |3106 |-7.406762e+07 |-7.377474e+07 | 0.40%
67.77/67.89 o -73844518
67.77/67.89 c C67.9s| 10577 | 4544 |155591 | 14.1 | 25M| 58 | 26 |1081 |1562 |1081 | 116 | 16 |3374 |3129 |-7.406553e+07 |-7.384452e+07 | 0.30%
83.37/83.45 o -73869139
83.37/83.45 c C83.4s| 14492 | 5354 |188431 | 12.6 | 30M| 61 | 25 |1081 |2118 |1081 | 116 | 16 |5734 |3353 |-7.406000e+07 |-7.386914e+07 | 0.26%
104.06/104.17 c 104s| 20000 | 6492 |229431 | 11.2 | 37M| 61 | 20 |1081 |1659 |1081 | 116 | 16 |9518 |3701 |-7.405237e+07 |-7.386914e+07 | 0.25%
140.75/140.85 c 141s| 30000 | 8117 |303364 | 9.9 | 47M| 62 | 22 |1081 |1284 |1081 | 116 | 16 | 16k|4668 |-7.403892e+07 |-7.386914e+07 | 0.23%
142.85/143.00 o -73871431
142.85/143.00 c C 143s| 30490 | 8106 |307017 | 9.9 | 47M| 62 | 27 |1081 |1183 |1081 | 116 | 16 | 17k|4715 |-7.403838e+07 |-7.387143e+07 | 0.23%
165.65/165.75 o -73872038
165.65/165.75 c C 166s| 36704 | 8973 |352729 | 9.4 | 52M| 62 | - |1081 | 881 |1081 | 116 | 16 | 22k|5342 |-7.403164e+07 |-7.387204e+07 | 0.22%
177.24/177.33 c 177s| 40000 | 9350 |375671 | 9.2 | 54M| 63 | - |1081 | 844 |1081 | 116 | 16 | 24k|5652 |-7.402857e+07 |-7.387204e+07 | 0.21%
184.33/184.43 o -73875876
184.33/184.43 c C 184s| 41967 | 9481 |389112 | 9.1 | 55M| 63 | - |1081 | 883 |1081 | 116 | 16 | 26k|5800 |-7.402744e+07 |-7.387588e+07 | 0.20%
207.53/207.68 o -73877839
207.53/207.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
207.53/207.68 c C 208s| 48636 | 10294 |435120 | 8.8 | 59M| 63 | - |1081 | 881 |1081 | 116 | 16 | 31k|6281 |-7.402091e+07 |-7.387784e+07 | 0.19%
212.52/212.61 c 213s| 50000 | 10412 |444478 | 8.8 | 59M| 63 | 20 |1081 | 813 |1081 | 116 | 16 | 32k|6438 |-7.401938e+07 |-7.387784e+07 | 0.19%
246.62/246.77 c 247s| 60000 | 11426 |512634 | 8.4 | 65M| 63 | - |1081 |1038 | 0 | 0 | 16 | 41k|7052 |-7.401189e+07 |-7.387784e+07 | 0.18%
273.31/273.42 o -73895434
273.31/273.42 c C 273s| 68032 | 10754 |563690 | 8.2 | 63M| 63 | - |1081 |1035 |1081 | 116 | 16 | 47k|7627 |-7.400590e+07 |-7.389543e+07 | 0.15%
280.01/280.12 c 280s| 70000 | 10779 |576647 | 8.2 | 63M| 63 | 6 |1081 |1163 |1081 | 116 | 16 | 49k|7705 |-7.400453e+07 |-7.389543e+07 | 0.15%
280.41/280.53 o -73899111
280.41/280.53 c f 280s| 70109 | 10341 |577321 | 8.1 | 61M| 63 | - |1081 |1110 |1081 | 116 | 16 | 49k|7720 |-7.400446e+07 |-7.389911e+07 | 0.14%
281.11/281.23 o -73899460
281.11/281.23 c * 281s| 70359 | 10519 |578176 | 8.1 | 61M| 66 | - |1081 | 917 |1081 | 116 | 16 | 49k|7946 |-7.400417e+07 |-7.389946e+07 | 0.14%
281.41/281.53 o -73899704
281.41/281.53 c s 281s| 70478 | 10578 |578517 | 8.1 | 61M| 67 | 2 |1081 | 879 |1081 | 116 | 16 | 49k|7993 |-7.400416e+07 |-7.389970e+07 | 0.14%
281.41/281.53 o -73899704
281.41/281.53 c v 281s| 70479 | 10581 |578523 | 8.1 | 61M| 67 | - |1081 | 879 |1081 | 116 | 16 | 49k|7993 |-7.400416e+07 |-7.389970e+07 | 0.14%
283.71/283.83 o -73899722
283.71/283.83 c * 284s| 71804 | 11609 |581554 | 8.0 | 62M| 73 | - |1081 | 754 |1081 | 116 | 16 | 50k|8208 |-7.400392e+07 |-7.389972e+07 | 0.14%
286.70/286.83 o -73899777
286.70/286.83 c p 287s| 73621 | 12937 |586367 | 7.9 | 63M| 73 | - |1081 | 744 |1081 | 116 | 16 | 50k|8282 |-7.400312e+07 |-7.389978e+07 | 0.14%
296.41/296.57 c 297s| 80000 | 17324 |603344 | 7.5 | 67M| 73 | 2 |1081 | 487 |1081 | 116 | 16 | 50k|8420 |-7.400060e+07 |-7.389978e+07 | 0.14%
310.50/310.68 c 311s| 90000 | 23275 |627039 | 6.9 | 72M| 74 | 2 |1081 | 691 |1081 | 116 | 16 | 51k|8563 |-7.399684e+07 |-7.389978e+07 | 0.13%
324.70/324.85 c 325s|100000 | 28501 |651996 | 6.5 | 77M| 74 | 2 |1081 | 614 |1081 | 116 | 16 | 52k|8686 |-7.399162e+07 |-7.389978e+07 | 0.12%
338.70/338.81 c 339s|110000 | 34049 |674724 | 6.1 | 82M| 74 | 1 |1081 | 539 |1081 | 116 | 16 | 53k|8835 |-7.398828e+07 |-7.389978e+07 | 0.12%
352.48/352.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.48/352.67 c 353s|120000 | 38565 |696537 | 5.8 | 86M| 74 | - |1081 | 718 |1081 | 116 | 16 | 54k|8970 |-7.398515e+07 |-7.389978e+07 | 0.12%
362.08/362.29 o -73899814
362.08/362.29 c R 362s|127057 | 10707 |711992 | 5.6 | 64M| 74 | - |1081 | 724 |1081 | 116 | 16 | 54k|9049 |-7.398338e+07 |-7.389981e+07 | 0.11%
372.48/372.67 c 373s|130000 | 10527 |730484 | 5.6 | 65M| 74 | 23 |1081 |1175 |1081 | 116 | 16 | 58k|9198 |-7.398213e+07 |-7.389981e+07 | 0.11%
406.97/407.16 c 407s|140000 | 9758 |791693 | 5.6 | 65M| 74 | - |1081 |1211 |1081 | 116 | 16 | 68k|9709 |-7.397818e+07 |-7.389981e+07 | 0.11%
440.97/441.13 c 441s|150000 | 8593 |851702 | 5.6 | 63M| 74 | 30 |1081 |1203 |1081 | 116 | 16 | 79k| 10k|-7.397332e+07 |-7.389981e+07 | 0.10%
474.55/474.73 c 475s|160000 | 7499 |910703 | 5.7 | 61M| 74 | - |1081 |1462 |1081 | 116 | 16 | 91k| 10k|-7.396852e+07 |-7.389981e+07 | 0.09%
508.05/508.22 c 508s|170000 | 6053 |968149 | 5.7 | 56M| 74 | 26 |1081 |1347 |1081 | 116 | 16 | 102k| 10k|-7.396344e+07 |-7.389981e+07 | 0.09%
542.14/542.36 c 542s|180000 | 3803 | 1025k| 5.7 | 45M| 74 | - |1081 |1420 |1081 | 116 | 16 | 114k| 11k|-7.395715e+07 |-7.389981e+07 | 0.08%
576.72/576.90 c
576.72/576.90 c SCIP Status : problem is solved [optimal solution found]
576.72/576.90 c Solving Time (sec) : 576.87
576.72/576.90 c Solving Nodes : 189519 (total of 189520 nodes in 2 runs)
576.72/576.90 c Primal Bound : -7.38998140000000e+07 (613 solutions)
576.72/576.90 c Dual Bound : -7.38998140000000e+07
576.72/576.90 c Gap : 0.00 %
576.72/576.90 c [linear] <>: -1056340<x2317>[B] +376154<x2773>[B] +1627100<x236>[B] +4145150<x691>[B] +1253670<x1147>[B] +802617<x1602>[B] +823453<x2057>[B] +109665<x2247>[B] +687622<x2292>[B] +129999<x2338>[B] +1267760<x2383>[B] -2183140<x2429>[B] +832711<x2475>[B] +2325070<x2520>[B] +102671<x2566>[B] +2140250<x2611>[B] +427181<x2656>[B] +815753<x2702>[B] -824541<x2747>[B] +2799530<x2793>[B] -1000290<x2838>[B] -135542<x2885>[B] -856027<x2930>[B] -1194700<x2975>[B] +147001<x29>[B] -740380<x74>[B] +2576200<x120>[B] -101270<x165>[B] -1462840<x210>[B] -3198300<x256>[B] -112824<x301>[B] +26142000<x348>[B] +493570<x393>[B] +4602280<x438>[B] +155316<x484>[B] +1270590<x529>[B] +4075<x575>[B] +405285<x620>[B] +191042<x665>[B] -27260<x711>[B] -165383<x756>[B] +24367300<x803>[B] -2133310<x848>[B] -297349<x894>[B] +237772<x939>[B] -938002<x984>[B] -560595<x1030>[B] -912715<x1075>[B] +638323<x1122>[B] -491185<x1167>[B] +2440630<x1212>[B] +209294<x1259>[B] +806638<x1304>[B] +1667680<x1350>[B] +2172460<x1395>[B] +1686100<x1440>[B] +254c 6780<x1486>[B] +6607340<x1531>[B] -1537060<x1577>[B] -132675<x1622>[B] -2116690<x1667>[B] -8203450<x1714>[B] -592145<x1759>[B] +2971540<x1805>[B] +3974510<x1850>[B] +1453480<x1896>[B] +2007180<x1941>[B] +229651<x1986>[B] +177932<x2032>[B] -32801<x2077>[B] +372024<x2123>[B] +55326<x2169>[B] +240347<x2214>[B] >= 0;
576.72/576.90 c violation: left hand side is violated by 34
576.72/576.90 c best solution is not feasible in original problem
576.72/576.90 c internal error
576.72/576.90 s UNKNOWN
576.72/576.90 c SCIP Status : problem is solved [optimal solution found]
576.72/576.90 c Solving Time : 576.87
576.72/576.90 c Original Problem :
576.72/576.90 c Problem name : HOME/instance-2703861-1278559749.opb
576.72/576.90 c Variables : 2993 (2993 binary, 0 integer, 0 implicit integer, 0 continuous)
576.72/576.90 c Constraints : 112 initial, 112 maximal
576.72/576.90 c Presolved Problem :
576.72/576.90 c Problem name : t_HOME/instance-2703861-1278559749.opb
576.72/576.90 c Variables : 1081 (1081 binary, 0 integer, 0 implicit integer, 0 continuous)
576.72/576.90 c Constraints : 109 initial, 2210 maximal
576.72/576.90 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
576.72/576.90 c trivial : 0.00 291 0 0 0 0 0 0 0
576.72/576.90 c dualfix : 0.00 0 0 0 0 0 0 0 0
576.72/576.90 c boundshift : 0.00 0 0 0 0 0 0 0 0
576.72/576.90 c inttobinary : 0.00 0 0 0 0 0 0 0 0
576.72/576.90 c implics : 0.00 0 0 0 0 0 0 0 0
576.72/576.90 c probing : 0.08 0 0 0 0 0 0 0 0
576.72/576.90 c knapsack : 0.02 0 0 0 0 0 0 12 156
576.72/576.90 c setppc : 0.00 0 1 0 0 0 1 0 0
576.72/576.90 c linear : 0.02 1620 0 0 1620 0 12 0 10
576.72/576.90 c logicor : 0.00 0 0 0 0 0 0 0 0
576.72/576.90 c root node : - 524 - - 524 - - - -
576.72/576.90 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
576.72/576.90 c integral : 0 0 0 117794 0 117 4991 0 0 226082
576.72/576.90 c knapsack : 28 21 756251 2 0 7214 1071328 289 0 0
576.72/576.90 c setppc : 72 21 749036 1 0 8684 1431592 0 0 0
576.72/576.90 c logicor : 9+ 1 224154 0 0 1933 30564 0 0 0
576.72/576.90 c countsols : 0 0 0 2 0 0 0 0 0 0
576.72/576.90 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
576.72/576.90 c integral : 18.64 0.00 0.00 18.64 0.00
576.72/576.90 c knapsack : 52.81 0.06 52.75 0.00 0.00
576.72/576.90 c setppc : 11.88 0.00 11.88 0.00 0.00
576.72/576.90 c logicor : 13.16 0.00 13.16 0.00 0.00
576.72/576.90 c countsols : 0.00 0.00 0.00 0.00 0.00
576.72/576.90 c Propagators : Time Calls Cutoffs DomReds
576.72/576.90 c vbounds : 0.30 3 0 0
576.72/576.90 c rootredcost : 0.35 16 0 222
576.72/576.90 c pseudoobj : 43.09 759614 40 387
576.72/576.90 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
576.72/576.90 c propagation : 8.27 17831 17804 199960 99.9 297 43.5 -
576.72/576.90 c infeasible LP : 0.30 495 495 5184 79.3 2 16.0 0
576.72/576.90 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
576.72/576.90 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
576.72/576.90 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
576.72/576.90 c applied globally : - - - 125812 60.8 - - -
576.72/576.90 c applied locally : - - - 648 204.2 - - -
576.72/576.90 c Separators : Time Calls Cutoffs DomReds Cuts Conss
576.72/576.90 c cut pool : 0.00 0 - - 0 - (maximal pool size: 5)
576.72/576.90 c redcost : 24.54 235020 0 3892231 0 0
576.72/576.90 c impliedbounds : 0.00 21 0 0 0 0
576.72/576.90 c intobj : 0.00 0 0 0 0 0
576.72/576.90 c cgmip : 0.00 0 0 0 0 0
576.72/576.90 c gomory : 0.60 21 0 0 7 0
576.72/576.90 c strongcg : 0.67 21 0 0 9 0
576.72/576.90 c cmir : 0.08 11 0 0 4 0
576.72/576.90 c flowcover : 0.23 11 0 0 4 0
576.72/576.90 c clique : 0.03 21 0 0 0 0
576.72/576.90 c zerohalf : 0.00 0 0 0 0 0
576.72/576.90 c mcf : 0.00 2 0 0 0 0
576.72/576.90 c rapidlearning : 4.19 1 0 0 0 18
576.72/576.90 c Pricers : Time Calls Vars
576.72/576.90 c problem variables: 0.00 0 0
576.72/576.90 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
576.72/576.90 c relpscost : 18.44 117792 117 4991 0 0 226082
576.72/576.90 c pscost : 0.00 0 0 0 0 0 0
576.72/576.90 c inference : 0.00 0 0 0 0 0 0
576.72/576.90 c mostinf : 0.00 0 0 0 0 0 0
576.72/576.90 c leastinf : 0.00 0 0 0 0 0 0
576.72/576.90 c fullstrong : 0.00 0 0 0 0 0 0
576.72/576.90 c allfullstrong : 0.00 0 0 0 0 0 0
576.72/576.90 c random : 0.00 0 0 0 0 0 0
576.72/576.90 c Primal Heuristics : Time Calls Found
576.72/576.90 c LP solutions : 0.00 - 2
576.72/576.90 c pseudo solutions : 0.00 - 0
576.72/576.90 c oneopt : 0.16 19 1
576.72/576.90 c feaspump : 0.42 2 0
576.72/576.90 c crossover : 6.18 45 27
576.72/576.90 c veclendiving : 6.10 485 7
576.72/576.90 c linesearchdiving : 4.18 485 4
576.72/576.90 c guideddiving : 4.93 485 6
576.72/576.90 c coefdiving : 5.24 485 9
576.72/576.90 c objpscostdiving : 3.86 243 76
576.72/576.90 c rootsoldiving : 5.71 243 92
576.72/576.90 c pscostdiving : 5.70 486 5
576.72/576.90 c fracdiving : 4.97 486 4
576.72/576.90 c trivial : 0.01 2 0
576.72/576.90 c simplerounding : 0.15 0 0
576.72/576.90 c zirounding : 0.08 1000 0
576.72/576.90 c rounding : 1.03 11710 1
576.72/576.90 c shifting : 18.58 14773 377
576.72/576.90 c intshifting : 0.01 0 0
576.72/576.90 c twoopt : 0.00 0 0
576.72/576.90 c fixandinfer : 0.00 0 0
576.72/576.90 c intdiving : 0.00 0 0
576.72/576.90 c actconsdiving : 0.00 0 0
576.72/576.90 c octane : 0.00 0 0
576.72/576.90 c rens : 0.20 1 1
576.72/576.90 c rins : 0.00 0 0
576.72/576.90 c localbranching : 0.00 0 0
576.72/576.90 c mutation : 0.00 0 0
576.72/576.90 c dins : 0.00 0 0
576.72/576.90 c undercover : 0.00 0 0
576.72/576.90 c nlp : 0.08 0 0
576.72/576.90 c trysol : 0.14 0 0
576.72/576.90 c LP : Time Calls Iterations Iter/call Iter/sec
576.72/576.90 c primal LP : 0.00 0 0 0.00 -
576.72/576.90 c dual LP : 209.29 225057 958442 4.26 4579.51
576.72/576.90 c lex dual LP : 0.00 0 0 0.00 -
576.72/576.90 c barrier LP : 0.00 0 0 0.00 -
576.72/576.90 c diving/probing LP: 24.56 39122 121066 3.09 4930.08
576.72/576.90 c strong branching : 16.02 11618 92868 7.99 5797.21
576.72/576.90 c (at root node) : - 27 993 36.78 -
576.72/576.90 c conflict analysis: 0.00 0 0 0.00 -
576.72/576.90 c B&B Tree :
576.72/576.90 c number of runs : 2
576.72/576.90 c nodes : 189519
576.72/576.90 c nodes (total) : 189520
576.72/576.90 c nodes left : 0
576.72/576.90 c max depth : 74
576.72/576.90 c max depth (total): 74
576.72/576.90 c backtracks : 38665 (20.4%)
576.72/576.90 c delayed cutoffs : 587
576.72/576.90 c repropagations : 11792 (38977 domain reductions, 533 cutoffs)
576.72/576.90 c avg switch length: 9.55
576.72/576.90 c switching time : 51.83
576.72/576.90 c Solution :
576.72/576.90 c Solutions found : 613 (19 improvements)
576.72/576.90 c First Solution : -5.58737610000000e+07 (in run 1, after 1 nodes, 4.74 seconds, depth 0, found by <trysol>)
576.72/576.90 c Primal Bound : -7.38998140000000e+07 (in run 2, after 127057 nodes, 362.15 seconds, depth 63, found by <rounding>)
576.72/576.90 c Dual Bound : -7.38998140000000e+07
576.72/576.90 c Gap : 0.00 %
576.72/576.90 c Root Dual Bound : -7.42222613545777e+07
576.72/576.90 c Root Iterations : 6016
576.72/576.94 c Time complete: 576.77.