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-2703442-1278554529.opb>
0.10/0.12 c original problem has 2650 variables (2650 bin, 0 int, 0 impl, 0 cont) and 6619 constraints
0.10/0.12 c problem read
0.10/0.12 c presolving settings loaded
0.10/0.16 c presolving:
0.19/0.28 c (round 1) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6495 upgd conss, 5626 impls, 0 clqs
0.29/0.30 c (round 2) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6496 upgd conss, 5626 impls, 0 clqs
0.29/0.32 c (round 3) 0 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 5626 impls, 0 clqs
0.39/0.40 c (round 4) 50 del vars, 122 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7088 impls, 0 clqs
0.39/0.42 c (round 5) 53 del vars, 177 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs
0.39/0.43 c (round 6) 53 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 7126 impls, 0 clqs
0.59/0.65 c (round 7) 103 del vars, 179 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 impls, 0 clqs
0.59/0.66 c (round 8) 103 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 27314 impls, 0 clqs
0.79/0.82 c (round 9) 153 del vars, 229 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 46770 impls, 0 clqs
0.79/0.83 c (round 10) 153 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 46770 impls, 0 clqs
0.89/0.99 c (0.9s) probing: 548/2650 (20.7%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
0.89/0.99 c (0.9s) probing aborted: 100/100 successive totally useless probings
0.89/0.99 c (round 11) 188 del vars, 279 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 48372 impls, 0 clqs
1.00/1.00 c (round 12) 188 del vars, 314 del conss, 0 chg bounds, 122 chg sides, 0 chg coeffs, 6497 upgd conss, 48372 impls, 0 clqs
1.00/1.03 c (0.9s) probing: 558/2650 (21.1%) - 2 fixings, 183 aggregations, 12557 implications, 0 bound changes
1.00/1.03 c (0.9s) probing aborted: 100/100 successive totally useless probings
1.00/1.03 c presolving (13 rounds):
1.00/1.03 c 188 deleted vars, 314 deleted constraints, 0 tightened bounds, 0 added holes, 122 changed sides, 0 changed coefficients
1.00/1.03 c 48372 implications, 0 cliques
1.00/1.03 c presolved problem has 2462 variables (2462 bin, 0 int, 0 impl, 0 cont) and 6305 constraints
1.00/1.03 c 1507 constraints of type <setppc>
1.00/1.03 c 4798 constraints of type <logicor>
1.00/1.03 c transformed objective value is always integral (scale: 1)
1.00/1.03 c Presolving Time: 0.88
1.00/1.03 c - non default parameters ----------------------------------------------------------------------
1.00/1.03 c # SCIP version 1.2.1.3
1.00/1.03 c
1.00/1.03 c # frequency for displaying node information lines
1.00/1.03 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.03 c display/freq = 10000
1.00/1.03 c
1.00/1.03 c # maximal time in seconds to run
1.00/1.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.03 c limits/time = 1789.88
1.00/1.03 c
1.00/1.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.03 c limits/memory = 1620
1.00/1.03 c
1.00/1.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.00/1.03 c # [type: int, range: [1,2], default: 1]
1.00/1.03 c timing/clocktype = 2
1.00/1.03 c
1.00/1.03 c # should presolving try to simplify inequalities
1.00/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.03 c constraints/linear/simplifyinequalities = TRUE
1.00/1.03 c
1.00/1.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.00/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.03 c constraints/indicator/addCouplingCons = TRUE
1.00/1.03 c
1.00/1.03 c # should presolving try to simplify knapsacks
1.00/1.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.03 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.03 c
1.00/1.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.03 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.03 c separating/rapidlearning/freq = 0
1.00/1.03 c
1.00/1.03 c -----------------------------------------------------------------------------------------------
1.00/1.03 c start solving
1.00/1.03 c
4.39/4.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.39/4.41 c 4.3s| 1 | 0 | 4815 | - | 13M| 0 |1637 |2462 |6305 |2462 |6303 | 0 | 0 | 0 | 7.947391e+02 | -- | Inf
21.68/21.71 c 21.6s| 1 | 0 | 15115 | - | 20M| 0 |1963 |2462 |7409 |2462 |7281 | 978 | 0 | 0 | 8.205148e+02 | -- | Inf
24.18/24.22 c 24.1s| 1 | 0 | 16650 | - | 22M| 0 |1554 |2462 |7409 |2462 |7321 |1018 | 0 | 0 | 8.261537e+02 | -- | Inf
26.78/26.89 c 26.8s| 1 | 0 | 18334 | - | 25M| 0 |1637 |2462 |7409 |2462 |7360 |1057 | 0 | 0 | 8.306652e+02 | -- | Inf
29.27/29.38 c 29.3s| 1 | 0 | 19409 | - | 28M| 0 |1596 |2462 |7409 |2462 |7393 |1090 | 0 | 0 | 8.338176e+02 | -- | Inf
32.58/32.68 c 32.6s| 1 | 0 | 21199 | - | 31M| 0 |1594 |2462 |7409 |2462 |7429 |1126 | 0 | 0 | 8.379095e+02 | -- | Inf
36.37/36.41 c 36.3s| 1 | 0 | 22874 | - | 34M| 0 |1602 |2462 |7409 |2462 |7456 |1153 | 0 | 0 | 8.400232e+02 | -- | Inf
41.27/41.35 c 41.2s| 1 | 0 | 24143 | - | 35M| 0 |1642 |2462 |7409 |2462 |7494 |1191 | 0 | 0 | 8.461575e+02 | -- | Inf
44.77/44.87 c 44.8s| 1 | 0 | 25851 | - | 38M| 0 |1639 |2462 |7409 |2462 |7535 |1232 | 0 | 0 | 8.498807e+02 | -- | Inf
49.38/49.42 c 49.3s| 1 | 0 | 27706 | - | 41M| 0 |1598 |2462 |7409 |2462 |7574 |1271 | 0 | 0 | 8.538038e+02 | -- | Inf
54.06/54.18 c 54.1s| 1 | 0 | 29708 | - | 45M| 0 |1642 |2462 |7409 |2462 |7606 |1303 | 0 | 0 | 8.563877e+02 | -- | Inf
61.06/61.18 c 61.1s| 1 | 0 | 31838 | - | 47M| 0 |1687 |2462 |7409 |2462 |7647 |1344 | 0 | 0 | 8.636519e+02 | -- | Inf
66.46/66.56 c 66.4s| 1 | 0 | 34332 | - | 50M| 0 |1628 |2462 |7409 |2462 |7699 |1396 | 0 | 0 | 8.674547e+02 | -- | Inf
74.77/74.86 c 74.7s| 1 | 0 | 37941 | - | 51M| 0 |1638 |2462 |7409 |2462 |7735 |1432 | 0 | 0 | 8.705509e+02 | -- | Inf
83.95/84.09 c 84.0s| 1 | 0 | 40949 | - | 52M| 0 |1597 |2462 |7409 |2462 |6801 |1493 | 0 | 0 | 8.853913e+02 | -- | Inf
87.25/87.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.25/87.37 c 87.2s| 1 | 0 | 41978 | - | 53M| 0 |1664 |2462 |7409 |2462 |6851 |1543 | 0 | 0 | 8.927766e+02 | -- | Inf
90.55/90.67 c 90.6s| 1 | 0 | 43472 | - | 56M| 0 |1671 |2462 |7409 |2462 |6901 |1593 | 0 | 0 | 8.951250e+02 | -- | Inf
96.76/96.84 c 96.7s| 1 | 0 | 46025 | - | 59M| 0 |1656 |2462 |7409 |2462 |6956 |1648 | 0 | 0 | 9.015955e+02 | -- | Inf
109.45/109.54 c 109s| 1 | 0 | 51012 | - | 65M| 0 |1618 |2462 |7409 |2462 |6993 |1685 | 0 | 0 | 9.069750e+02 | -- | Inf
112.84/112.94 c 113s| 1 | 0 | 52365 | - | 68M| 0 |1685 |2462 |7409 |2462 |7045 |1737 | 0 | 0 | 9.104329e+02 | -- | Inf
118.53/118.61 c 118s| 1 | 0 | 54446 | - | 71M| 0 |1666 |2462 |7409 |2462 |6936 |1774 | 0 | 0 | 9.121291e+02 | -- | Inf
122.04/122.19 c 122s| 1 | 0 | 56114 | - | 73M| 0 |1736 |2462 |7409 |2462 |6970 |1808 | 0 | 0 | 9.141711e+02 | -- | Inf
126.63/126.73 c 127s| 1 | 0 | 58030 | - | 75M| 0 |1729 |2462 |7409 |2462 |7012 |1850 | 0 | 0 | 9.160360e+02 | -- | Inf
134.63/134.79 c 135s| 1 | 0 | 61486 | - | 76M| 0 |1755 |2462 |7409 |2462 |7066 |1904 | 0 | 0 | 9.189731e+02 | -- | Inf
146.13/146.28 c 146s| 1 | 0 | 66182 | - | 78M| 0 |1777 |2462 |7409 |2462 |7117 |1955 | 0 | 0 | 9.233998e+02 | -- | Inf
152.62/152.70 c 153s| 1 | 0 | 69055 | - | 81M| 0 |1836 |2462 |7409 |2462 |7164 |2002 | 0 | 0 | 9.268002e+02 | -- | Inf
163.51/163.67 c 164s| 1 | 0 | 73152 | - | 82M| 0 |1882 |2462 |7409 |2462 |6979 |2039 | 0 | 0 | 9.313873e+02 | -- | Inf
169.22/169.40 c 169s| 1 | 0 | 75596 | - | 84M| 0 |1840 |2462 |7409 |2462 |7018 |2078 | 0 | 0 | 9.325033e+02 | -- | Inf
182.01/182.12 c 182s| 1 | 0 | 80905 | - | 85M| 0 |1882 |2462 |7409 |2462 |7070 |2130 | 0 | 0 | 9.351556e+02 | -- | Inf
193.52/193.67 c 194s| 1 | 0 | 85121 | - | 86M| 0 |1851 |2462 |7409 |2462 |7134 |2194 | 0 | 0 | 9.449558e+02 | -- | Inf
203.90/204.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.90/204.01 c 204s| 1 | 0 | 89619 | - | 88M| 0 |1851 |2462 |7409 |2462 |7189 |2249 | 0 | 0 | 9.516727e+02 | -- | Inf
215.09/215.25 c 215s| 1 | 0 | 94109 | - | 89M| 0 |1841 |2462 |7409 |2462 |7234 |2294 | 0 | 0 | 9.550861e+02 | -- | Inf
222.90/223.02 c 223s| 1 | 0 | 97224 | - | 90M| 0 |1843 |2462 |7409 |2462 |7134 |2353 | 0 | 0 | 9.621437e+02 | -- | Inf
229.29/229.46 c 229s| 1 | 0 |100054 | - | 91M| 0 |1768 |2462 |7409 |2462 |7175 |2394 | 0 | 0 | 9.646085e+02 | -- | Inf
237.59/237.79 c 238s| 1 | 0 |103917 | - | 94M| 0 |1859 |2462 |7409 |2462 |7223 |2442 | 0 | 0 | 9.677493e+02 | -- | Inf
247.18/247.31 c 247s| 1 | 0 |107888 | - | 94M| 0 |1926 |2462 |7409 |2462 |7301 |2520 | 0 | 0 | 9.850699e+02 | -- | Inf
251.69/251.83 c 252s| 1 | 0 |109931 | - | 97M| 0 |1934 |2462 |7409 |2462 |7344 |2563 | 0 | 0 | 9.875174e+02 | -- | Inf
262.28/262.41 c 262s| 1 | 0 |113927 | - | 98M| 0 |1826 |2462 |7409 |2462 |7399 |2618 | 0 | 0 | 9.965777e+02 | -- | Inf
274.58/274.77 c 275s| 1 | 0 |118904 | - | 99M| 0 |1878 |2462 |7409 |2462 |7256 |2683 | 0 | 0 | 1.004056e+03 | -- | Inf
284.97/285.19 c 285s| 1 | 0 |123859 | - | 100M| 0 |1958 |2462 |7409 |2462 |7301 |2728 | 0 | 0 | 1.006505e+03 | -- | Inf
293.17/293.38 c 293s| 1 | 0 |127214 | - | 101M| 0 |1903 |2462 |7409 |2462 |7357 |2784 | 0 | 0 | 1.010797e+03 | -- | Inf
302.37/302.54 c 302s| 1 | 0 |131341 | - | 103M| 0 |1865 |2462 |7409 |2462 |7399 |2826 | 0 | 0 | 1.014783e+03 | -- | Inf
312.56/312.72 c 313s| 1 | 0 |135351 | - | 103M| 0 |1785 |2462 |7409 |2462 |7462 |2889 | 0 | 0 | 1.022214e+03 | -- | Inf
318.56/318.74 c 319s| 1 | 0 |137905 | - | 104M| 0 |1846 |2462 |7409 |2462 |7529 |2956 | 0 | 0 | 1.029456e+03 | -- | Inf
332.15/332.37 c 332s| 1 | 0 |143524 | - | 106M| 0 |2005 |2462 |7409 |2462 |7326 |3007 | 0 | 0 | 1.030940e+03 | -- | Inf
337.46/337.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.46/337.69 c 338s| 1 | 0 |146078 | - | 108M| 0 |1941 |2462 |7409 |2462 |7353 |3034 | 0 | 0 | 1.031841e+03 | -- | Inf
346.15/346.37 c 346s| 1 | 0 |149899 | - | 110M| 0 |1853 |2462 |7409 |2462 |7404 |3085 | 0 | 0 | 1.035282e+03 | -- | Inf
351.45/351.61 c 351s| 1 | 0 |152240 | - | 112M| 0 |2010 |2462 |7409 |2462 |7441 |3122 | 0 | 0 | 1.036630e+03 | -- | Inf
357.25/357.43 c 357s| 1 | 0 |154618 | - | 114M| 0 |1997 |2462 |7409 |2462 |7474 |3155 | 0 | 0 | 1.038564e+03 | -- | Inf
364.04/364.25 c 364s| 1 | 0 |157480 | - | 115M| 0 |2016 |2462 |7409 |2462 |7507 |3188 | 0 | 0 | 1.040242e+03 | -- | Inf
375.53/375.78 c 376s| 1 | 0 |162070 | - | 115M| 0 |2019 |2462 |7409 |2462 |7287 |3238 | 0 | 0 | 1.042197e+03 | -- | Inf
385.94/386.17 c 386s| 1 | 0 |166505 | - | 116M| 0 |1802 |2462 |7409 |2462 |7370 |3321 | 0 | 0 | 1.060649e+03 | -- | Inf
393.73/393.96 c 394s| 1 | 0 |170376 | - | 118M| 0 |2083 |2462 |7409 |2462 |7426 |3377 | 0 | 0 | 1.067156e+03 | -- | Inf
399.32/399.58 c 399s| 1 | 0 |172931 | - | 120M| 0 |2087 |2462 |7409 |2462 |7470 |3421 | 0 | 0 | 1.070342e+03 | -- | Inf
409.12/409.35 c 409s| 1 | 0 |176474 | - | 121M| 0 |2012 |2462 |7409 |2462 |7504 |3455 | 0 | 0 | 1.072290e+03 | -- | Inf
413.02/413.20 c 413s| 1 | 0 |177827 | - | 121M| 0 |2064 |2462 |7409 |2462 |7542 |3493 | 0 | 0 | 1.073182e+03 | -- | Inf
416.72/416.92 c 417s| 1 | 0 |179291 | - | 123M| 0 |1950 |2462 |7409 |2462 |7328 |3529 | 0 | 0 | 1.074261e+03 | -- | Inf
424.02/424.22 c 424s| 1 | 0 |182978 | - | 124M| 0 |2019 |2462 |7409 |2462 |7370 |3571 | 0 | 0 | 1.075211e+03 | -- | Inf
430.01/430.23 c 430s| 1 | 0 |185424 | - | 125M| 0 |2050 |2462 |7409 |2462 |7415 |3616 | 0 | 0 | 1.077882e+03 | -- | Inf
435.31/435.51 c 435s| 1 | 0 |187590 | - | 127M| 0 |2032 |2462 |7409 |2462 |7454 |3655 | 0 | 0 | 1.078397e+03 | -- | Inf
441.30/441.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
441.30/441.54 c 441s| 1 | 0 |190014 | - | 130M| 0 |2084 |2462 |7409 |2462 |7483 |3684 | 0 | 0 | 1.078743e+03 | -- | Inf
450.99/451.23 c 451s| 1 | 0 |194401 | - | 130M| 0 |1932 |2462 |7409 |2462 |7560 |3761 | 0 | 0 | 1.092697e+03 | -- | Inf
456.31/456.59 c 456s| 1 | 0 |196926 | - | 131M| 0 |1897 |2462 |7409 |2462 |7351 |3817 | 0 | 0 | 1.098109e+03 | -- | Inf
460.30/460.54 c 460s| 1 | 0 |198806 | - | 133M| 0 |2049 |2462 |7409 |2462 |7379 |3845 | 0 | 0 | 1.099574e+03 | -- | Inf
467.79/468.01 c 468s| 1 | 0 |201901 | - | 133M| 0 |1933 |2462 |7409 |2462 |7444 |3910 | 0 | 0 | 1.107396e+03 | -- | Inf
472.99/473.25 c 473s| 1 | 0 |204456 | - | 135M| 0 |1870 |2462 |7409 |2462 |7494 |3960 | 0 | 0 | 1.108849e+03 | -- | Inf
478.59/478.80 c 479s| 1 | 0 |206946 | - | 137M| 0 |1858 |2462 |7409 |2462 |7541 |4007 | 0 | 0 | 1.110159e+03 | -- | Inf
484.68/484.91 c 485s| 1 | 0 |209472 | - | 139M| 0 |1928 |2462 |7409 |2462 |7574 |4040 | 0 | 0 | 1.111146e+03 | -- | Inf
489.89/490.17 c 490s| 1 | 0 |211735 | - | 143M| 0 |1980 |2462 |7409 |2462 |7431 |4073 | 0 | 0 | 1.111669e+03 | -- | Inf
495.09/495.33 c 495s| 1 | 0 |214143 | - | 143M| 0 |2076 |2462 |7409 |2462 |7476 |4118 | 0 | 0 | 1.112905e+03 | -- | Inf
505.18/505.43 c 505s| 1 | 0 |217962 | - | 144M| 0 |1897 |2462 |7409 |2462 |7544 |4186 | 0 | 0 | 1.122304e+03 | -- | Inf
510.28/510.50 c 510s| 1 | 0 |220282 | - | 145M| 0 |1896 |2462 |7409 |2462 |7595 |4237 | 0 | 0 | 1.127016e+03 | -- | Inf
513.39/513.61 c 513s| 1 | 0 |221699 | - | 147M| 0 |1978 |2462 |7409 |2462 |7636 |4278 | 0 | 0 | 1.127800e+03 | -- | Inf
517.88/518.13 c 518s| 1 | 0 |223548 | - | 150M| 0 |1914 |2462 |7409 |2462 |7666 |4308 | 0 | 0 | 1.128867e+03 | -- | Inf
522.57/522.83 c 523s| 1 | 0 |225140 | - | 151M| 0 |2006 |2462 |7409 |2462 |7423 |4352 | 0 | 0 | 1.129922e+03 | -- | Inf
530.98/531.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.98/531.28 c 531s| 1 | 0 |228302 | - | 151M| 0 |1961 |2462 |7409 |2462 |7479 |4408 | 0 | 0 | 1.137372e+03 | -- | Inf
535.17/535.46 c 535s| 1 | 0 |230095 | - | 152M| 0 |2001 |2462 |7409 |2462 |7529 |4458 | 0 | 0 | 1.138625e+03 | -- | Inf
541.06/541.39 c 541s| 1 | 0 |232664 | - | 153M| 0 |2023 |2462 |7409 |2462 |7571 |4500 | 0 | 0 | 1.140381e+03 | -- | Inf
547.96/548.28 c 548s| 1 | 0 |235648 | - | 154M| 0 |1979 |2462 |7409 |2462 |7627 |4556 | 0 | 0 | 1.148170e+03 | -- | Inf
553.46/553.78 c 554s| 1 | 0 |238165 | - | 155M| 0 |2032 |2462 |7409 |2462 |7662 |4591 | 0 | 0 | 1.150123e+03 | -- | Inf
559.46/559.80 c 560s| 1 | 0 |240612 | - | 156M| 0 |1987 |2462 |7409 |2462 |7449 |4627 | 0 | 0 | 1.152407e+03 | -- | Inf
562.86/563.10 c 563s| 1 | 0 |241861 | - | 157M| 0 |2129 |2462 |7409 |2462 |7480 |4658 | 0 | 0 | 1.153204e+03 | -- | Inf
566.45/566.72 c 567s| 1 | 0 |243317 | - | 158M| 0 |2120 |2462 |7409 |2462 |7509 |4687 | 0 | 0 | 1.153870e+03 | -- | Inf
573.35/573.67 c 574s| 1 | 0 |246080 | - | 158M| 0 |2071 |2462 |7409 |2462 |7555 |4733 | 0 | 0 | 1.159074e+03 | -- | Inf
580.46/580.77 c 581s| 1 | 0 |248710 | - | 159M| 0 |1974 |2462 |7409 |2462 |7617 |4795 | 0 | 0 | 1.165654e+03 | -- | Inf
585.95/586.29 c 586s| 1 | 0 |251358 | - | 160M| 0 |2067 |2462 |7409 |2462 |7662 |4840 | 0 | 0 | 1.169136e+03 | -- | Inf
591.94/592.25 c 592s| 1 | 0 |253768 | - | 161M| 0 |2074 |2462 |7409 |2462 |7457 |4880 | 0 | 0 | 1.171511e+03 | -- | Inf
594.24/594.50 c 594s| 1 | 0 |254409 | - | 162M| 0 |2050 |2462 |7409 |2462 |7483 |4906 | 0 | 0 | 1.172354e+03 | -- | Inf
597.74/598.00 c 598s| 1 | 0 |255457 | - | 163M| 0 |2119 |2462 |7409 |2462 |7501 |4924 | 0 | 0 | 1.173552e+03 | -- | Inf
603.84/604.18 c 604s| 1 | 0 |257251 | - | 163M| 0 |2105 |2462 |7409 |2462 |7536 |4959 | 0 | 0 | 1.176591e+03 | -- | Inf
609.84/610.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.84/610.12 c 610s| 1 | 0 |259109 | - | 164M| 0 |2120 |2462 |7409 |2462 |7563 |4986 | 0 | 0 | 1.177876e+03 | -- | Inf
617.44/617.77 c 618s| 1 | 0 |261652 | - | 164M| 0 |2062 |2462 |7409 |2462 |7614 |5037 | 0 | 0 | 1.182613e+03 | -- | Inf
620.73/621.06 c 621s| 1 | 0 |263151 | - | 165M| 0 |2092 |2462 |7409 |2462 |7449 |5075 | 0 | 0 | 1.183611e+03 | -- | Inf
625.94/626.21 c 626s| 1 | 0 |265891 | - | 166M| 0 |2122 |2462 |7409 |2462 |7483 |5109 | 0 | 0 | 1.184919e+03 | -- | Inf
633.13/633.50 c 633s| 1 | 0 |269217 | - | 166M| 0 |2104 |2462 |7409 |2462 |7530 |5156 | 0 | 0 | 1.190155e+03 | -- | Inf
638.42/638.70 c 639s| 1 | 0 |271461 | - | 167M| 0 |1908 |2462 |7409 |2462 |7569 |5195 | 0 | 0 | 1.193397e+03 | -- | Inf
641.04/641.36 c 641s| 1 | 0 |272869 | - | 168M| 0 |1960 |2462 |7409 |2462 |7591 |5217 | 0 | 0 | 1.194023e+03 | -- | Inf
645.63/645.93 c 646s| 1 | 0 |275144 | - | 170M| 0 |2144 |2462 |7409 |2462 |7614 |5240 | 0 | 0 | 1.194210e+03 | -- | Inf
654.42/654.78 c 655s| 1 | 0 |278499 | - | 170M| 0 |2121 |2462 |7409 |2462 |7427 |5271 | 0 | 0 | 1.196161e+03 | -- | Inf
661.62/661.95 c 662s| 1 | 0 |281616 | - | 171M| 0 |2107 |2462 |7409 |2462 |7453 |5297 | 0 | 0 | 1.197798e+03 | -- | Inf
664.12/664.44 c 664s| 1 | 0 |282898 | - | 172M| 0 |2140 |2462 |7409 |2462 |7482 |5326 | 0 | 0 | 1.198859e+03 | -- | Inf
670.32/670.63 c 671s| 1 | 0 |285092 | - | 172M| 0 |2142 |2462 |7409 |2462 |7513 |5357 | 0 | 0 | 1.199710e+03 | -- | Inf
673.21/673.50 c 673s| 1 | 0 |286336 | - | 169M| 0 |2143 |2462 |7409 |2462 |7524 |5368 | 0 | 0 | 1.200037e+03 | -- | Inf
680.31/680.64 c 681s| 1 | 0 |289142 | - | 166M| 0 |2049 |2462 |7409 |2462 |7554 |5398 | 0 | 0 | 1.200969e+03 | -- | Inf
685.60/685.91 c 686s| 1 | 0 |291324 | - | 165M| 0 |2043 |2462 |7409 |2462 |7383 |5429 | 0 | 0 | 1.203306e+03 | -- | Inf
690.80/691.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.80/691.11 c 691s| 1 | 0 |293382 | - | 162M| 0 |1988 |2462 |7409 |2462 |7421 |5467 | 0 | 0 | 1.205659e+03 | -- | Inf
694.91/695.23 c 695s| 1 | 0 |295107 | - | 160M| 0 |2014 |2462 |7409 |2462 |7450 |5496 | 0 | 0 | 1.208491e+03 | -- | Inf
697.30/697.61 c 697s| 1 | 0 |296022 | - | 157M| 0 |2033 |2462 |7409 |2462 |7485 |5531 | 0 | 0 | 1.209721e+03 | -- | Inf
701.30/701.65 c 702s| 1 | 0 |297546 | - | 157M| 0 |2029 |2462 |7409 |2462 |7522 |5568 | 0 | 0 | 1.211173e+03 | -- | Inf
705.20/705.50 c 705s| 1 | 0 |299605 | - | 155M| 0 |2046 |2462 |7409 |2462 |7549 |5595 | 0 | 0 | 1.212067e+03 | -- | Inf
708.50/708.89 c 709s| 1 | 0 |300935 | - | 153M| 0 |2082 |2462 |7409 |2462 |7412 |5619 | 0 | 0 | 1.212551e+03 | -- | Inf
711.40/711.78 c 712s| 1 | 0 |302650 | - | 150M| 0 |2117 |2462 |7409 |2462 |7437 |5644 | 0 | 0 | 1.213254e+03 | -- | Inf
717.00/717.38 c 717s| 1 | 0 |304777 | - | 148M| 0 |2068 |2462 |7409 |2462 |7471 |5678 | 0 | 0 | 1.215442e+03 | -- | Inf
720.10/720.43 c 720s| 1 | 0 |305892 | - | 146M| 0 |2036 |2462 |7409 |2462 |7496 |5703 | 0 | 0 | 1.216709e+03 | -- | Inf
723.79/724.11 c 724s| 1 | 0 |307626 | - | 146M| 0 |2000 |2462 |7409 |2462 |7533 |5740 | 0 | 0 | 1.218690e+03 | -- | Inf
727.59/727.92 c 728s| 1 | 0 |310029 | - | 145M| 0 |2108 |2462 |7409 |2462 |7569 |5776 | 0 | 0 | 1.219848e+03 | -- | Inf
732.09/732.44 c 732s| 1 | 0 |311425 | - | 144M| 0 |2083 |2462 |7409 |2462 |7444 |5804 | 0 | 0 | 1.221625e+03 | -- | Inf
734.78/735.16 c 735s| 1 | 0 |312701 | - | 143M| 0 |2098 |2462 |7409 |2462 |7462 |5822 | 0 | 0 | 1.222454e+03 | -- | Inf
739.39/739.74 c 740s| 1 | 0 |314815 | - | 140M| 0 |2042 |2462 |7409 |2462 |7502 |5862 | 0 | 0 | 1.226571e+03 | -- | Inf
744.29/744.70 c 745s| 1 | 0 |317373 | - | 135M| 0 |2103 |2462 |7409 |2462 |7535 |5895 | 0 | 0 | 1.227905e+03 | -- | Inf
748.68/749.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
748.68/749.02 c 749s| 1 | 0 |319234 | - | 133M| 0 |2063 |2462 |7409 |2462 |7561 |5921 | 0 | 0 | 1.228674e+03 | -- | Inf
752.68/753.05 c 753s| 1 | 0 |321069 | - | 130M| 0 |2101 |2462 |7409 |2462 |7587 |5947 | 0 | 0 | 1.230314e+03 | -- | Inf
758.88/759.24 c 759s| 1 | 0 |324016 | - | 128M| 0 |2020 |2462 |7409 |2462 |7468 |5980 | 0 | 0 | 1.231647e+03 | -- | Inf
762.47/762.80 c 763s| 1 | 0 |325779 | - | 127M| 0 |2104 |2462 |7409 |2462 |7496 |6008 | 0 | 0 | 1.233291e+03 | -- | Inf
767.38/767.74 c 768s| 1 | 0 |327937 | - | 126M| 0 |2123 |2462 |7409 |2462 |7529 |6041 | 0 | 0 | 1.234313e+03 | -- | Inf
773.26/773.64 c 774s| 1 | 0 |329700 | - | 124M| 0 |2127 |2462 |7409 |2462 |7552 |6064 | 0 | 0 | 1.234972e+03 | -- | Inf
779.66/780.04 c 780s| 1 | 0 |332799 | - | 122M| 0 |2089 |2462 |7409 |2462 |7589 |6101 | 0 | 0 | 1.236995e+03 | -- | Inf
782.07/782.49 c 782s| 1 | 0 |334012 | - | 121M| 0 |2107 |2462 |7409 |2462 |7613 |6125 | 0 | 0 | 1.237562e+03 | -- | Inf
784.77/785.16 c 785s| 1 | 0 |334802 | - | 120M| 0 |2075 |2462 |7409 |2462 |7457 |6141 | 0 | 0 | 1.238313e+03 | -- | Inf
787.96/788.30 c 788s| 1 | 0 |336004 | - | 119M| 0 |2140 |2462 |7409 |2462 |7482 |6166 | 0 | 0 | 1.238672e+03 | -- | Inf
790.27/790.69 c 791s| 1 | 0 |336308 | - | 119M| 0 |2121 |2462 |7409 |2462 |7496 |6180 | 0 | 0 | 1.238766e+03 | -- | Inf
794.76/795.10 c 795s| 1 | 0 |338576 | - | 117M| 0 |2105 |2462 |7409 |2462 |7526 |6210 | 0 | 0 | 1.240455e+03 | -- | Inf
799.66/800.03 c 800s| 1 | 0 |341133 | - | 118M| 0 |2058 |2462 |7409 |2462 |7547 |6231 | 0 | 0 | 1.241979e+03 | -- | Inf
804.06/804.45 c 804s| 1 | 0 |343270 | - | 116M| 0 |2150 |2462 |7409 |2462 |7570 |6254 | 0 | 0 | 1.242996e+03 | -- | Inf
808.95/809.36 c 809s| 1 | 0 |344331 | - | 116M| 0 |2107 |2462 |7409 |2462 |7436 |6271 | 0 | 0 | 1.243783e+03 | -- | Inf
813.75/814.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.75/814.19 c 814s| 1 | 0 |345559 | - | 113M| 0 |2132 |2462 |7409 |2462 |7444 |6279 | 0 | 0 | 1.244089e+03 | -- | Inf
817.56/817.99 c 818s| 1 | 0 |345967 | - | 113M| 0 |2128 |2462 |7409 |2462 |7450 |6285 | 0 | 0 | 1.244322e+03 | -- | Inf
821.95/822.31 c 822s| 1 | 0 |346894 | - | 110M| 0 |2138 |2462 |7409 |2462 |7457 |6292 | 0 | 0 | 1.244763e+03 | -- | Inf
825.55/825.98 c 826s| 1 | 0 |347760 | - | 109M| 0 |2145 |2462 |7409 |2462 |7471 |6306 | 0 | 0 | 1.245382e+03 | -- | Inf
829.25/829.60 c 829s| 1 | 0 |348386 | - | 108M| 0 |2123 |2462 |7409 |2462 |7487 |6322 | 0 | 0 | 1.245578e+03 | -- | Inf
832.85/833.24 c 833s| 1 | 0 |349023 | - | 107M| 0 |2126 |2462 |7409 |2462 |7391 |6332 | 0 | 0 | 1.245838e+03 | -- | Inf
836.24/836.68 c 837s| 1 | 0 |349789 | - | 106M| 0 |2130 |2462 |7409 |2462 |7415 |6356 | 0 | 0 | 1.246392e+03 | -- | Inf
840.24/840.66 c 841s| 1 | 0 |350912 | - | 105M| 0 |2153 |2462 |7409 |2462 |7439 |6380 | 0 | 0 | 1.248250e+03 | -- | Inf
843.85/844.22 c 844s| 1 | 0 |351772 | - | 105M| 0 |2135 |2462 |7409 |2462 |7462 |6403 | 0 | 0 | 1.250395e+03 | -- | Inf
847.34/847.72 c 848s| 1 | 0 |352471 | - | 104M| 0 |2152 |2462 |7409 |2462 |7478 |6419 | 0 | 0 | 1.251265e+03 | -- | Inf
849.54/849.96 c 850s| 1 | 0 |353132 | - | 103M| 0 |2121 |2462 |7409 |2462 |7497 |6438 | 0 | 0 | 1.251806e+03 | -- | Inf
853.54/853.96 c 854s| 1 | 0 |354223 | - | 102M| 0 |2073 |2462 |7409 |2462 |7414 |6459 | 0 | 0 | 1.253887e+03 | -- | Inf
856.64/857.01 c 857s| 1 | 0 |355425 | - | 100M| 0 |2072 |2462 |7409 |2462 |7428 |6473 | 0 | 0 | 1.254363e+03 | -- | Inf
859.74/860.15 c 860s| 1 | 0 |357202 | - | 99M| 0 |2089 |2462 |7409 |2462 |7445 |6490 | 0 | 0 | 1.255246e+03 | -- | Inf
864.94/865.34 c 865s| 1 | 0 |359529 | - | 98M| 0 |2126 |2462 |7409 |2462 |7469 |6514 | 0 | 0 | 1.256613e+03 | -- | Inf
867.54/868.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.63/868.00 c 868s| 1 | 0 |360807 | - | 97M| 0 |2099 |2462 |7409 |2462 |7489 |6534 | 0 | 0 | 1.256818e+03 | -- | Inf
871.43/871.80 c 872s| 1 | 0 |363396 | - | 96M| 0 |2047 |2462 |7409 |2462 |7512 |6557 | 0 | 0 | 1.258495e+03 | -- | Inf
874.33/874.76 c 875s| 1 | 0 |365245 | - | 97M| 0 |2071 |2462 |7409 |2462 |7459 |6590 | 0 | 0 | 1.259250e+03 | -- | Inf
878.73/879.11 c 879s| 1 | 0 |367559 | - | 95M| 0 |2039 |2462 |7409 |2462 |7492 |6623 | 0 | 0 | 1.261299e+03 | -- | Inf
881.73/882.12 c 882s| 1 | 0 |369461 | - | 94M| 0 |2047 |2462 |7409 |2462 |7520 |6651 | 0 | 0 | 1.262183e+03 | -- | Inf
883.93/884.31 c 884s| 1 | 0 |370670 | - | 94M| 0 |2063 |2462 |7409 |2462 |7536 |6667 | 0 | 0 | 1.262258e+03 | -- | Inf
886.82/887.23 c 887s| 1 | 0 |372423 | - | 94M| 0 |2086 |2462 |7409 |2462 |7555 |6686 | 0 | 0 | 1.262826e+03 | -- | Inf
891.13/891.59 c 891s| 1 | 0 |374617 | - | 93M| 0 |2109 |2462 |7409 |2462 |7588 |6719 | 0 | 0 | 1.264329e+03 | -- | Inf
895.33/895.75 c 896s| 1 | 0 |377028 | - | 93M| 0 |2098 |2462 |7409 |2462 |7520 |6738 | 0 | 0 | 1.265300e+03 | -- | Inf
900.12/900.52 c 900s| 1 | 0 |379017 | - | 92M| 0 |2032 |2462 |7409 |2462 |7544 |6762 | 0 | 0 | 1.266985e+03 | -- | Inf
903.32/903.77 c 904s| 1 | 0 |380810 | - | 92M| 0 |2048 |2462 |7409 |2462 |7563 |6781 | 0 | 0 | 1.267399e+03 | -- | Inf
905.02/905.45 c 905s| 1 | 0 |381133 | - | 91M| 0 |2053 |2462 |7409 |2462 |7575 |6793 | 0 | 0 | 1.267412e+03 | -- | Inf
909.02/909.49 c 909s| 1 | 0 |383111 | - | 89M| 0 |2051 |2462 |7409 |2462 |7600 |6818 | 0 | 0 | 1.268273e+03 | -- | Inf
911.72/912.14 c 912s| 1 | 0 |384157 | - | 88M| 0 |2100 |2462 |7409 |2462 |7623 |6841 | 0 | 0 | 1.268460e+03 | -- | Inf
917.31/917.77 c 918s| 1 | 0 |386645 | - | 88M| 0 |2034 |2462 |7409 |2462 |7535 |6883 | 0 | 0 | 1.269929e+03 | -- | Inf
921.72/922.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.72/922.20 c 922s| 1 | 0 |388802 | - | 86M| 0 |2043 |2462 |7409 |2462 |7560 |6908 | 0 | 0 | 1.272489e+03 | -- | Inf
925.21/925.69 c 926s| 1 | 0 |390360 | - | 87M| 0 |2082 |2462 |7409 |2462 |7596 |6944 | 0 | 0 | 1.273196e+03 | -- | Inf
930.21/930.67 c 931s| 1 | 0 |392655 | - | 85M| 0 |1974 |2462 |7409 |2462 |7629 |6977 | 0 | 0 | 1.275587e+03 | -- | Inf
934.40/934.85 c 935s| 1 | 0 |394934 | - | 85M| 0 |1997 |2462 |7409 |2462 |7645 |6993 | 0 | 0 | 1.275798e+03 | -- | Inf
940.40/940.83 c 941s| 1 | 0 |397757 | - | 83M| 0 |1999 |2462 |7409 |2462 |7672 |7020 | 0 | 0 | 1.277052e+03 | -- | Inf
944.70/945.14 c 945s| 1 | 0 |399671 | - | 80M| 0 |2048 |2462 |7409 |2462 |7575 |7046 | 0 | 0 | 1.277774e+03 | -- | Inf
947.61/948.06 c 948s| 1 | 0 |400889 | - | 80M| 0 |2025 |2462 |7409 |2462 |7592 |7063 | 0 | 0 | 1.278080e+03 | -- | Inf
951.60/952.08 c 952s| 1 | 0 |402966 | - | 80M| 0 |2018 |2462 |7409 |2462 |7612 |7083 | 0 | 0 | 1.279240e+03 | -- | Inf
955.30/955.70 c 956s| 1 | 0 |405189 | - | 79M| 0 |2084 |2462 |7409 |2462 |7627 |7098 | 0 | 0 | 1.280107e+03 | -- | Inf
961.39/961.84 c 962s| 1 | 0 |408534 | - | 77M| 0 |1996 |2462 |7409 |2462 |7652 |7123 | 0 | 0 | 1.281531e+03 | -- | Inf
964.59/965.01 c 965s| 1 | 0 |410165 | - | 76M| 0 |2045 |2462 |7409 |2462 |7670 |7141 | 0 | 0 | 1.281919e+03 | -- | Inf
968.39/968.89 c 969s| 1 | 0 |411456 | - | 75M| 0 |2004 |2462 |7409 |2462 |7563 |7153 | 0 | 0 | 1.282136e+03 | -- | Inf
974.30/974.78 c 975s| 1 | 0 |414305 | - | 74M| 0 |2044 |2462 |7409 |2462 |7576 |7166 | 0 | 0 | 1.282620e+03 | -- | Inf
976.50/976.97 c 977s| 1 | 0 |414891 | - | 74M| 0 |2057 |2462 |7409 |2462 |7590 |7180 | 0 | 0 | 1.282620e+03 | -- | Inf
981.69/982.18 c 982s| 1 | 0 |417190 | - | 73M| 0 |1993 |2462 |7409 |2462 |7597 |7187 | 0 | 0 | 1.282978e+03 | -- | Inf
985.48/985.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.48/985.93 c 986s| 1 | 0 |418351 | - | 73M| 0 |2014 |2462 |7409 |2462 |7616 |7206 | 0 | 0 | 1.283434e+03 | -- | Inf
989.29/989.72 c 990s| 1 | 0 |420020 | - | 73M| 0 |2033 |2462 |7409 |2462 |7637 |7227 | 0 | 0 | 1.284053e+03 | -- | Inf
993.78/994.24 c 994s| 1 | 0 |421521 | - | 71M| 0 |2015 |2462 |7409 |2462 |7520 |7237 | 0 | 0 | 1.284499e+03 | -- | Inf
998.19/998.61 c 998s| 1 | 0 |423145 | - | 70M| 0 |1998 |2462 |7409 |2462 |7529 |7246 | 0 | 0 | 1.284881e+03 | -- | Inf
1006.48/1006.94 c 1007s| 1 | 0 |426491 | - | 70M| 0 |2029 |2462 |7409 |2462 |7535 |7252 | 0 | 0 | 1.284950e+03 | -- | Inf
1010.67/1011.10 c 1011s| 1 | 0 |427270 | - | 69M| 0 |1965 |2462 |7409 |2462 |7539 |7256 | 0 | 0 | 1.285009e+03 | -- | Inf
1017.78/1018.23 c 1018s| 1 | 0 |430240 | - | 69M| 0 |2057 |2462 |7409 |2462 |7547 |7264 | 0 | 0 | 1.285426e+03 | -- | Inf
1020.47/1020.95 c 1021s| 1 | 0 |430501 | - | 69M| 0 |2053 |2462 |7409 |2462 |7553 |7270 | 0 | 0 | 1.285466e+03 | -- | Inf
1025.26/1025.74 c 1026s| 1 | 0 |432143 | - | 67M| 0 |1974 |2462 |7409 |2462 |7470 |7275 | 0 | 0 | 1.285911e+03 | -- | Inf
1029.08/1029.53 c 1029s| 1 | 0 |433431 | - | 67M| 0 |2029 |2462 |7409 |2462 |7480 |7285 | 0 | 0 | 1.286027e+03 | -- | Inf
1031.97/1032.42 c 1032s| 1 | 0 |433652 | - | 66M| 0 |2059 |2462 |7409 |2462 |7486 |7291 | 0 | 0 | 1.286027e+03 | -- | Inf
1035.26/1035.72 c 1036s| 1 | 0 |434061 | - | 65M| 0 |2024 |2462 |7409 |2462 |7488 |7293 | 0 | 0 | 1.286039e+03 | -- | Inf
1037.87/1038.34 c 1038s| 1 | 0 |434290 | - | 65M| 0 |2033 |2462 |7409 |2462 |7492 |7297 | 0 | 0 | 1.286039e+03 | -- | Inf
1041.17/1041.63 c 1042s| 1 | 0 |434940 | - | 64M| 0 |2057 |2462 |7409 |2462 |7499 |7304 | 0 | 0 | 1.286039e+03 | -- | Inf
1044.06/1044.59 c 1044s| 1 | 0 |435215 | - | 64M| 0 |2040 |2462 |7409 |2462 |7451 |7305 | 0 | 0 | 1.286039e+03 | -- | Inf
1049.05/1049.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.05/1049.57 c 1049s| 1 | 2 |435215 | - | 64M| 0 |2040 |2462 |7409 |2462 |7451 |7305 | 0 | 10 | 1.286039e+03 | -- | Inf
1789.27/1790.01 c
1789.27/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.27/1790.01 c Solving Time (sec) : 1789.89
1789.27/1790.01 c Solving Nodes : 88
1789.27/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.27/1790.01 c Dual Bound : +1.28605156135306e+03
1789.27/1790.01 c Gap : infinite
1789.27/1790.01 s UNKNOWN
1789.27/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.27/1790.01 c Solving Time : 1789.89
1789.27/1790.01 c Original Problem :
1789.27/1790.01 c Problem name : HOME/instance-2703442-1278554529.opb
1789.27/1790.01 c Variables : 2650 (2650 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.27/1790.01 c Constraints : 6619 initial, 6619 maximal
1789.27/1790.01 c Presolved Problem :
1789.27/1790.01 c Problem name : t_HOME/instance-2703442-1278554529.opb
1789.27/1790.01 c Variables : 2462 (2462 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.27/1790.01 c Constraints : 6305 initial, 7459 maximal
1789.27/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.27/1790.01 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.27/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.27/1790.01 c implics : 0.01 0 3 0 0 0 0 0 0
1789.27/1790.01 c probing : 0.55 2 183 0 0 0 0 0 0
1789.27/1790.01 c setppc : 0.04 0 0 0 0 0 190 0 0
1789.27/1790.01 c linear : 0.10 0 0 0 0 0 122 122 0
1789.27/1790.01 c logicor : 0.14 0 0 0 0 0 2 0 0
1789.27/1790.01 c root node : - 0 - - 0 - - - -
1789.27/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.27/1790.01 c integral : 0 0 0 89 0 0 1 0 0 176
1789.27/1790.01 c setppc : 1507 194 6874 0 0 13 62 0 0 0
1789.27/1790.01 c linear : 0+ 194 2975 0 0 0 0 94 0 0
1789.27/1790.01 c logicor : 4798+ 194 4748 0 0 6 97 0 0 0
1789.27/1790.01 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.27/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.27/1790.01 c integral : 437.87 0.00 0.00 437.87 0.00
1789.27/1790.01 c setppc : 0.50 0.06 0.44 0.00 0.00
1789.27/1790.01 c linear : 0.50 0.33 0.17 0.00 0.00
1789.27/1790.01 c logicor : 0.18 0.12 0.06 0.00 0.00
1789.27/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.27/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.27/1790.01 c vbounds : 0.00 2 0 0
1789.27/1790.01 c rootredcost : 0.00 0 0 0
1789.27/1790.01 c pseudoobj : 0.36 3179 0 0
1789.27/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.27/1790.01 c propagation : 0.00 17 17 20 7.0 11 4.5 -
1789.27/1790.01 c infeasible LP : 0.02 12 12 22 20.0 0 0.0 0
1789.27/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.27/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.27/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.27/1790.01 c applied globally : - - - 50 11.4 - - -
1789.27/1790.01 c applied locally : - - - 0 0.0 - - -
1789.27/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.27/1790.01 c cut pool : 8.03 193 - - 7438 - (maximal pool size: 36826)
1789.27/1790.01 c redcost : 0.06 282 0 0 0 0
1789.27/1790.01 c impliedbounds : 0.24 194 0 0 2146 0
1789.27/1790.01 c intobj : 0.00 0 0 0 0 0
1789.27/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.27/1790.01 c gomory : 299.35 194 0 0 86136 0
1789.27/1790.01 c strongcg : 11.63 20 0 0 10000 0
1789.27/1790.01 c cmir : 0.85 10 0 0 0 0
1789.27/1790.01 c flowcover : 0.88 10 0 0 0 0
1789.27/1790.01 c clique : 0.47 194 0 0 82 0
1789.27/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.27/1790.01 c mcf : 0.01 1 0 0 0 0
1789.27/1790.01 c rapidlearning : 2.65 1 0 0 0 1104
1789.27/1790.01 c Pricers : Time Calls Vars
1789.27/1790.01 c problem variables: 0.00 0 0
1789.27/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.27/1790.01 c relpscost : 437.87 89 0 1 0 0 176
1789.27/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.27/1790.01 c inference : 0.00 0 0 0 0 0 0
1789.27/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.27/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.27/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.27/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.27/1790.01 c random : 0.00 0 0 0 0 0 0
1789.27/1790.01 c Primal Heuristics : Time Calls Found
1789.27/1790.01 c LP solutions : 0.00 - 0
1789.27/1790.01 c pseudo solutions : 0.00 - 0
1789.27/1790.01 c oneopt : 0.00 0 0
1789.27/1790.01 c crossover : 0.00 0 0
1789.27/1790.01 c pscostdiving : 21.47 2 0
1789.27/1790.01 c fracdiving : 14.18 2 0
1789.27/1790.01 c veclendiving : 9.13 2 0
1789.27/1790.01 c linesearchdiving : 14.04 2 0
1789.27/1790.01 c coefdiving : 15.35 2 0
1789.27/1790.01 c rootsoldiving : 43.85 2 0
1789.27/1790.01 c trivial : 0.01 2 0
1789.27/1790.01 c simplerounding : 0.00 0 0
1789.27/1790.01 c zirounding : 0.10 87 0
1789.27/1790.01 c rounding : 0.33 145 0
1789.27/1790.01 c shifting : 2.40 104 0
1789.27/1790.01 c intshifting : 0.00 0 0
1789.27/1790.01 c twoopt : 0.00 0 0
1789.27/1790.01 c fixandinfer : 0.00 0 0
1789.27/1790.01 c feaspump : 9.19 1 0
1789.27/1790.01 c intdiving : 0.00 0 0
1789.27/1790.01 c actconsdiving : 0.00 0 0
1789.27/1790.01 c objpscostdiving : 108.89 2 0
1789.27/1790.01 c guideddiving : 0.00 0 0
1789.27/1790.01 c octane : 0.00 0 0
1789.27/1790.01 c rens : 0.01 0 0
1789.27/1790.01 c rins : 0.00 0 0
1789.27/1790.01 c localbranching : 0.00 0 0
1789.27/1790.01 c mutation : 0.00 0 0
1789.27/1790.01 c dins : 0.00 0 0
1789.27/1790.01 c undercover : 0.00 0 0
1789.27/1790.01 c nlp : 0.00 0 0
1789.27/1790.01 c trysol : 0.00 0 0
1789.27/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.27/1790.01 c primal LP : 0.44 0 0 0.00 0.00
1789.27/1790.01 c dual LP : 783.82 283 502190 1774.52 640.70
1789.27/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.27/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.27/1790.01 c diving/probing LP: 230.93 1354 163145 120.49 706.46
1789.27/1790.01 c strong branching : 437.75 896 358191 399.77 818.26
1789.27/1790.01 c (at root node) : - 10 3177 317.70 -
1789.27/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.27/1790.01 c B&B Tree :
1789.27/1790.01 c number of runs : 1
1789.27/1790.01 c nodes : 88
1789.27/1790.01 c nodes (total) : 88
1789.27/1790.01 c nodes left : 89
1789.27/1790.01 c max depth : 11
1789.27/1790.01 c max depth (total): 11
1789.27/1790.01 c backtracks : 13 (14.8%)
1789.27/1790.01 c delayed cutoffs : 0
1789.27/1790.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.27/1790.01 c avg switch length: 2.12
1789.27/1790.01 c switching time : 0.05
1789.27/1790.01 c Solution :
1789.27/1790.01 c Solutions found : 0 (0 improvements)
1789.27/1790.01 c Primal Bound : -
1789.27/1790.01 c Dual Bound : +1.28605156135306e+03
1789.27/1790.01 c Gap : infinite
1789.27/1790.01 c Root Dual Bound : +1.28603867874403e+03
1789.27/1790.01 c Root Iterations : 435215
1789.36/1790.15 c Time complete: 1789.42.