0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664589-1276351658.opb>
0.10/0.11 c original problem has 2112 variables (2112 bin, 0 int, 0 impl, 0 cont) and 5020 constraints
0.10/0.11 c problem read
0.10/0.11 c presolving settings loaded
0.10/0.11 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.10/0.14 c presolving:
0.10/0.17 c (round 1) 384 del vars, 3840 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 432 impls, 90 clqs
0.19/0.20 c (round 2) 384 del vars, 4002 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 918 upgd conss, 432 impls, 90 clqs
0.19/0.25 c (round 3) 384 del vars, 4026 del conss, 0 chg bounds, 144 chg sides, 288 chg coeffs, 918 upgd conss, 18432 impls, 378 clqs
0.19/0.28 c (round 4) 384 del vars, 4170 del conss, 0 chg bounds, 576 chg sides, 1704 chg coeffs, 918 upgd conss, 18432 impls, 522 clqs
0.29/0.30 c (round 5) 384 del vars, 4794 del conss, 0 chg bounds, 1368 chg sides, 3816 chg coeffs, 918 upgd conss, 18432 impls, 666 clqs
0.29/0.36 c (0.2s) probing: 101/1728 (5.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.36 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.36 c presolving (6 rounds):
0.29/0.36 c 384 deleted vars, 4794 deleted constraints, 0 tightened bounds, 0 added holes, 1368 changed sides, 3816 changed coefficients
0.29/0.36 c 18432 implications, 666 cliques
0.29/0.36 c presolved problem has 1728 variables (1728 bin, 0 int, 0 impl, 0 cont) and 1450 constraints
0.29/0.36 c 180 constraints of type <knapsack>
0.29/0.36 c 954 constraints of type <setppc>
0.29/0.36 c 100 constraints of type <linear>
0.29/0.36 c 216 constraints of type <logicor>
0.29/0.36 c transformed objective value is always integral (scale: 1)
0.29/0.36 c Presolving Time: 0.19
0.29/0.36 c - non default parameters ----------------------------------------------------------------------
0.29/0.36 c # SCIP version 1.2.1.2
0.29/0.36 c
0.29/0.36 c # frequency for displaying node information lines
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.36 c display/freq = 10000
0.29/0.36 c
0.29/0.36 c # maximal time in seconds to run
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/time = 1799.89
0.29/0.36 c
0.29/0.36 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.36 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.36 c limits/memory = 1620
0.29/0.36 c
0.29/0.36 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.36 c lp/solvefreq = -1
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify inequalities
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/linear/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # should presolving try to simplify knapsacks
0.29/0.36 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.36 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.36 c
0.29/0.36 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.36 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.36 c separating/rapidlearning/freq = 0
0.29/0.36 c
0.29/0.36 c -----------------------------------------------------------------------------------------------
0.29/0.36 c start solving
0.29/0.37 c
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c 0.2s| 1 | 2 | 0 | - |8794k| 0 | - |1728 |1450 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
11.78/11.84 c 11.4s| 10000 | 9880 | 0 | 0.0 | 13M| 241 | - |1728 |1678 | 0 | 0 | 0 | 258 | 0 | 1.000000e+00 | -- | Inf
23.28/23.35 c 22.7s| 20000 | 19820 | 0 | 0.0 | 17M| 261 | - |1728 |1587 | 0 | 0 | 0 | 338 | 0 | 1.000000e+00 | -- | Inf
34.48/34.52 c 33.6s| 30000 | 29773 | 0 | 0.0 | 21M| 269 | - |1728 |1562 | 0 | 0 | 0 | 397 | 0 | 1.000000e+00 | -- | Inf
45.48/45.55 c 44.5s| 40000 | 39694 | 0 | 0.0 | 26M| 273 | - |1728 |1581 | 0 | 0 | 0 | 506 | 0 | 1.000000e+00 | -- | Inf
56.19/56.27 c 55.0s| 50000 | 49608 | 0 | 0.0 | 30M| 273 | - |1728 |1605 | 0 | 0 | 0 | 637 | 0 | 1.000000e+00 | -- | Inf
65.98/66.07 c 64.5s| 60000 | 59431 | 0 | 0.0 | 34M| 305 | - |1728 |1666 | 0 | 0 | 0 | 871 | 0 | 1.000000e+00 | -- | Inf
77.07/77.11 c 75.3s| 70000 | 69420 | 0 | 0.0 | 38M| 305 | - |1728 |1521 | 0 | 0 | 0 | 889 | 0 | 1.000000e+00 | -- | Inf
87.76/87.87 c 85.8s| 80000 | 79416 | 0 | 0.0 | 42M| 305 | - |1728 |1490 | 0 | 0 | 0 | 895 | 0 | 1.000000e+00 | -- | Inf
98.26/98.38 c 96.1s| 90000 | 89404 | 0 | 0.0 | 46M| 305 | - |1728 |1485 | 0 | 0 | 0 | 915 | 0 | 1.000000e+00 | -- | Inf
108.66/108.74 c 106s|100000 | 99398 | 0 | 0.0 | 49M| 305 | - |1728 |1480 | 0 | 0 | 0 | 931 | 0 | 1.000000e+00 | -- | Inf
118.86/118.97 c 116s|110000 |109387 | 0 | 0.0 | 53M| 305 | - |1728 |1482 | 0 | 0 | 0 | 947 | 0 | 1.000000e+00 | -- | Inf
128.95/129.04 c 126s|120000 |119376 | 0 | 0.0 | 58M| 305 | - |1728 |1486 | 0 | 0 | 0 | 965 | 0 | 1.000000e+00 | -- | Inf
138.75/138.85 c 136s|130000 |129376 | 0 | 0.0 | 62M| 305 | - |1728 |1478 | 0 | 0 | 0 | 965 | 0 | 1.000000e+00 | -- | Inf
147.75/147.89 c 144s|140000 |139368 | 0 | 0.0 | 66M| 305 | - |1728 |1480 | 0 | 0 | 0 | 977 | 0 | 1.000000e+00 | -- | Inf
156.26/156.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
156.26/156.37 c 153s|150000 |149301 | 0 | 0.0 | 72M| 305 | - |1728 |1537 | 0 | 0 | 0 |1093 | 0 | 1.000000e+00 | -- | Inf
164.85/164.91 c 161s|160000 |159252 | 0 | 0.0 | 76M| 321 | - |1728 |1512 | 0 | 0 | 0 |1150 | 0 | 1.000000e+00 | -- | Inf
173.94/174.02 c 170s|170000 |169190 | 0 | 0.0 | 81M| 321 | - |1728 |1532 | 0 | 0 | 0 |1259 | 0 | 2.000000e+00 | -- | Inf
185.14/185.20 c 181s|180000 |179167 | 0 | 0.0 | 85M| 321 | - |1728 |1484 | 0 | 0 | 0 |1277 | 0 | 2.000000e+00 | -- | Inf
196.13/196.20 c 192s|190000 |189117 | 0 | 0.0 | 88M| 321 | - |1728 |1510 | 0 | 0 | 0 |1323 | 0 | 2.000000e+00 | -- | Inf
207.23/207.39 c 203s|200000 |199077 | 0 | 0.0 | 92M| 321 | - |1728 |1504 | 0 | 0 | 0 |1368 | 0 | 2.000000e+00 | -- | Inf
218.52/218.61 c 214s|210000 |209024 | 0 | 0.0 | 96M| 321 | - |1728 |1520 | 0 | 0 | 0 |1410 | 0 | 2.000000e+00 | -- | Inf
229.73/229.82 c 225s|220000 |218974 | 0 | 0.0 | 99M| 321 | - |1728 |1534 | 0 | 0 | 0 |1463 | 0 | 2.000000e+00 | -- | Inf
240.93/241.01 c 236s|230000 |228917 | 0 | 0.0 | 103M| 321 | - |1728 |1548 | 0 | 0 | 0 |1512 | 0 | 2.000000e+00 | -- | Inf
252.02/252.15 c 246s|240000 |238833 | 0 | 0.0 | 107M| 321 | - |1728 |1571 | 0 | 0 | 0 |1599 | 0 | 2.000000e+00 | -- | Inf
262.93/263.05 c 257s|250000 |248742 | 0 | 0.0 | 111M| 321 | - |1728 |1583 | 0 | 0 | 0 |1686 | 0 | 2.000000e+00 | -- | Inf
273.92/274.09 c 268s|260000 |258686 | 0 | 0.0 | 115M| 321 | - |1728 |1568 | 0 | 0 | 0 |1741 | 0 | 2.000000e+00 | -- | Inf
284.81/284.95 c 278s|270000 |268585 | 0 | 0.0 | 119M| 321 | - |1728 |1592 | 0 | 0 | 0 |1847 | 0 | 2.000000e+00 | -- | Inf
295.70/295.88 c 289s|280000 |278498 | 0 | 0.0 | 123M| 321 | - |1728 |1579 | 0 | 0 | 0 |1926 | 0 | 2.000000e+00 | -- | Inf
306.50/306.60 c 300s|290000 |288439 | 0 | 0.0 | 128M| 321 | - |1728 |1551 | 0 | 0 | 0 |1999 | 0 | 2.000000e+00 | -- | Inf
317.30/317.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
317.30/317.46 c 310s|300000 |298357 | 0 | 0.0 | 132M| 321 | - |1728 |1580 | 0 | 0 | 0 |2075 | 0 | 2.000000e+00 | -- | Inf
328.29/328.41 c 321s|310000 |308302 | 0 | 0.0 | 136M| 321 | - |1728 |1564 | 0 | 0 | 0 |2148 | 0 | 2.000000e+00 | -- | Inf
339.09/339.28 c 332s|320000 |318224 | 0 | 0.0 | 140M| 321 | - |1728 |1568 | 0 | 0 | 0 |2205 | 0 | 2.000000e+00 | -- | Inf
349.80/349.99 c 342s|330000 |328185 | 0 | 0.0 | 144M| 321 | - |1728 |1553 | 0 | 0 | 0 |2251 | 0 | 2.000000e+00 | -- | Inf
360.59/360.71 c 353s|340000 |338141 | 0 | 0.0 | 148M| 321 | - |1728 |1536 | 0 | 0 | 0 |2270 | 0 | 2.000000e+00 | -- | Inf
371.58/371.71 c 363s|350000 |348069 | 0 | 0.0 | 152M| 321 | - |1728 |1571 | 0 | 0 | 0 |2353 | 0 | 2.000000e+00 | -- | Inf
382.18/382.33 c 374s|360000 |358028 | 0 | 0.0 | 156M| 321 | - |1728 |1550 | 0 | 0 | 0 |2383 | 0 | 2.000000e+00 | -- | Inf
392.97/393.12 c 384s|370000 |367947 | 0 | 0.0 | 160M| 321 | - |1728 |1592 | 0 | 0 | 0 |2466 | 0 | 2.000000e+00 | -- | Inf
403.97/404.13 c 395s|380000 |377916 | 0 | 0.0 | 164M| 321 | - |1728 |1555 | 0 | 0 | 0 |2492 | 0 | 2.000000e+00 | -- | Inf
414.77/414.90 c 406s|390000 |387873 | 0 | 0.0 | 168M| 321 | - |1728 |1554 | 0 | 0 | 0 |2524 | 0 | 2.000000e+00 | -- | Inf
425.36/425.55 c 416s|400000 |397812 | 0 | 0.0 | 172M| 321 | - |1728 |1594 | 0 | 0 | 0 |2597 | 0 | 2.000000e+00 | -- | Inf
436.06/436.29 c 427s|410000 |407766 | 0 | 0.0 | 176M| 321 | - |1728 |1588 | 0 | 0 | 0 |2660 | 0 | 2.000000e+00 | -- | Inf
446.76/446.94 c 437s|420000 |417679 | 0 | 0.0 | 181M| 321 | - |1728 |1632 | 0 | 0 | 0 |2790 | 0 | 2.000000e+00 | -- | Inf
457.56/457.71 c 448s|430000 |427617 | 0 | 0.0 | 185M| 321 | - |1728 |1601 | 0 | 0 | 0 |2872 | 0 | 2.000000e+00 | -- | Inf
468.46/468.60 c 458s|440000 |437587 | 0 | 0.0 | 189M| 321 | - |1728 |1578 | 0 | 0 | 0 |2917 | 0 | 2.000000e+00 | -- | Inf
479.16/479.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.16/479.33 c 469s|450000 |447534 | 0 | 0.0 | 193M| 321 | - |1728 |1569 | 0 | 0 | 0 |2960 | 0 | 2.000000e+00 | -- | Inf
489.65/489.90 c 479s|460000 |457458 | 0 | 0.0 | 197M| 321 | - |1728 |1600 | 0 | 0 | 0 |3037 | 0 | 2.000000e+00 | -- | Inf
500.35/500.54 c 490s|470000 |467438 | 0 | 0.0 | 201M| 321 | - |1728 |1584 | 0 | 0 | 0 |3069 | 0 | 2.000000e+00 | -- | Inf
510.94/511.11 c 500s|480000 |477398 | 0 | 0.0 | 205M| 321 | - |1728 |1585 | 0 | 0 | 0 |3121 | 0 | 2.000000e+00 | -- | Inf
521.54/521.71 c 510s|490000 |487332 | 0 | 0.0 | 210M| 321 | - |1728 |1587 | 0 | 0 | 0 |3196 | 0 | 2.000000e+00 | -- | Inf
532.04/532.27 c 521s|500000 |497260 | 0 | 0.0 | 214M| 321 | - |1728 |1588 | 0 | 0 | 0 |3272 | 0 | 2.000000e+00 | -- | Inf
542.73/542.95 c 531s|510000 |507197 | 0 | 0.0 | 218M| 321 | - |1728 |1585 | 0 | 0 | 0 |3372 | 0 | 2.000000e+00 | -- | Inf
553.53/553.74 c 542s|520000 |517130 | 0 | 0.0 | 222M| 321 | - |1728 |1588 | 0 | 0 | 0 |3460 | 0 | 2.000000e+00 | -- | Inf
564.43/564.61 c 552s|530000 |527100 | 0 | 0.0 | 226M| 321 | - |1728 |1560 | 0 | 0 | 0 |3500 | 0 | 2.000000e+00 | -- | Inf
575.02/575.27 c 563s|540000 |537080 | 0 | 0.0 | 230M| 321 | - |1728 |1567 | 0 | 0 | 0 |3528 | 0 | 2.000000e+00 | -- | Inf
585.82/586.00 c 573s|550000 |547055 | 0 | 0.0 | 234M| 321 | - |1728 |1559 | 0 | 0 | 0 |3558 | 0 | 2.000000e+00 | -- | Inf
596.52/596.76 c 584s|560000 |556990 | 0 | 0.0 | 239M| 321 | - |1728 |1596 | 0 | 0 | 0 |3640 | 0 | 2.000000e+00 | -- | Inf
607.42/607.67 c 594s|570000 |566956 | 0 | 0.0 | 243M| 321 | - |1728 |1592 | 0 | 0 | 0 |3677 | 0 | 2.000000e+00 | -- | Inf
618.02/618.27 c 605s|580000 |576893 | 0 | 0.0 | 247M| 321 | - |1728 |1600 | 0 | 0 | 0 |3781 | 0 | 2.000000e+00 | -- | Inf
628.41/628.64 c 615s|590000 |586818 | 0 | 0.0 | 251M| 321 | - |1728 |1598 | 0 | 0 | 0 |3887 | 0 | 2.000000e+00 | -- | Inf
638.91/639.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.91/639.19 c 625s|600000 |596754 | 0 | 0.0 | 255M| 321 | - |1728 |1579 | 0 | 0 | 0 |3954 | 0 | 2.000000e+00 | -- | Inf
649.50/649.72 c 636s|610000 |606728 | 0 | 0.0 | 259M| 321 | - |1728 |1568 | 0 | 0 | 0 |4006 | 0 | 2.000000e+00 | -- | Inf
660.00/660.24 c 646s|620000 |616697 | 0 | 0.0 | 264M| 321 | - |1728 |1576 | 0 | 0 | 0 |4048 | 0 | 2.000000e+00 | -- | Inf
670.50/670.76 c 656s|630000 |626648 | 0 | 0.0 | 268M| 321 | - |1728 |1586 | 0 | 0 | 0 |4116 | 0 | 2.000000e+00 | -- | Inf
681.19/681.45 c 667s|640000 |636591 | 0 | 0.0 | 272M| 321 | - |1728 |1596 | 0 | 0 | 0 |4187 | 0 | 2.000000e+00 | -- | Inf
691.59/691.89 c 677s|650000 |646551 | 0 | 0.0 | 276M| 321 | - |1728 |1579 | 0 | 0 | 0 |4243 | 0 | 2.000000e+00 | -- | Inf
701.99/702.30 c 687s|660000 |656511 | 0 | 0.0 | 281M| 321 | - |1728 |1600 | 0 | 0 | 0 |4306 | 0 | 2.000000e+00 | -- | Inf
712.49/712.76 c 697s|670000 |666441 | 0 | 0.0 | 285M| 321 | - |1728 |1614 | 0 | 0 | 0 |4401 | 0 | 2.000000e+00 | -- | Inf
722.88/723.16 c 707s|680000 |676373 | 0 | 0.0 | 290M| 321 | - |1728 |1603 | 0 | 0 | 0 |4490 | 0 | 2.000000e+00 | -- | Inf
733.28/733.58 c 718s|690000 |686344 | 0 | 0.0 | 294M| 321 | - |1728 |1581 | 0 | 0 | 0 |4544 | 0 | 2.000000e+00 | -- | Inf
743.78/744.02 c 728s|700000 |696282 | 0 | 0.0 | 298M| 321 | - |1728 |1585 | 0 | 0 | 0 |4635 | 0 | 2.000000e+00 | -- | Inf
754.48/754.73 c 738s|710000 |706231 | 0 | 0.0 | 302M| 321 | - |1728 |1593 | 0 | 0 | 0 |4700 | 0 | 2.000000e+00 | -- | Inf
764.77/765.09 c 748s|720000 |716182 | 0 | 0.0 | 306M| 321 | - |1728 |1602 | 0 | 0 | 0 |4757 | 0 | 2.000000e+00 | -- | Inf
775.17/775.47 c 758s|730000 |726150 | 0 | 0.0 | 311M| 321 | - |1728 |1600 | 0 | 0 | 0 |4811 | 0 | 2.000000e+00 | -- | Inf
785.56/785.87 c 769s|740000 |736121 | 0 | 0.0 | 315M| 321 | - |1728 |1581 | 0 | 0 | 0 |4862 | 0 | 2.000000e+00 | -- | Inf
795.96/796.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
795.96/796.28 c 779s|750000 |746082 | 0 | 0.0 | 319M| 321 | - |1728 |1591 | 0 | 0 | 0 |4912 | 0 | 2.000000e+00 | -- | Inf
806.56/806.85 c 789s|760000 |756042 | 0 | 0.0 | 323M| 321 | - |1728 |1600 | 0 | 0 | 0 |4972 | 0 | 2.000000e+00 | -- | Inf
816.86/817.14 c 799s|770000 |766028 | 0 | 0.0 | 328M| 321 | - |1728 |1569 | 0 | 0 | 0 |4992 | 0 | 2.000000e+00 | -- | Inf
827.16/827.40 c 809s|780000 |776016 | 0 | 0.0 | 332M| 321 | - |1728 |1561 | 0 | 0 | 0 |5012 | 0 | 2.000000e+00 | -- | Inf
837.35/837.69 c 819s|790000 |786003 | 0 | 0.0 | 336M| 321 | - |1728 |1556 | 0 | 0 | 0 |5025 | 0 | 2.000000e+00 | -- | Inf
848.05/848.34 c 830s|800000 |795974 | 0 | 0.0 | 341M| 321 | - |1728 |1569 | 0 | 0 | 0 |5054 | 0 | 2.000000e+00 | -- | Inf
858.44/858.79 c 840s|810000 |805937 | 0 | 0.0 | 345M| 321 | - |1728 |1577 | 0 | 0 | 0 |5107 | 0 | 2.000000e+00 | -- | Inf
869.04/869.32 c 850s|820000 |815933 | 0 | 0.0 | 349M| 321 | - |1728 |1548 | 0 | 0 | 0 |5111 | 0 | 2.000000e+00 | -- | Inf
879.54/879.85 c 861s|830000 |825926 | 0 | 0.0 | 353M| 321 | - |1728 |1546 | 0 | 0 | 0 |5119 | 0 | 2.000000e+00 | -- | Inf
890.23/890.52 c 871s|840000 |835901 | 0 | 0.0 | 357M| 321 | - |1728 |1567 | 0 | 0 | 0 |5150 | 0 | 2.000000e+00 | -- | Inf
900.74/901.02 c 881s|850000 |845827 | 0 | 0.0 | 362M| 321 | - |1728 |1625 | 0 | 0 | 0 |5275 | 0 | 2.000000e+00 | -- | Inf
911.03/911.33 c 891s|860000 |855784 | 0 | 0.0 | 366M| 321 | - |1728 |1590 | 0 | 0 | 0 |5348 | 0 | 2.000000e+00 | -- | Inf
921.53/921.80 c 902s|870000 |865722 | 0 | 0.0 | 370M| 321 | - |1728 |1593 | 0 | 0 | 0 |5443 | 0 | 2.000000e+00 | -- | Inf
931.82/932.17 c 912s|880000 |875648 | 0 | 0.0 | 375M| 321 | - |1728 |1649 | 0 | 0 | 0 |5569 | 0 | 2.000000e+00 | -- | Inf
942.32/942.65 c 922s|890000 |885571 | 0 | 0.0 | 379M| 321 | - |1728 |1634 | 0 | 0 | 0 |5668 | 0 | 2.000000e+00 | -- | Inf
952.62/952.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.62/952.90 c 932s|900000 |895487 | 0 | 0.0 | 384M| 321 | - |1728 |1629 | 0 | 0 | 0 |5779 | 0 | 2.000000e+00 | -- | Inf
962.82/963.19 c 942s|910000 |905428 | 0 | 0.0 | 389M| 321 | - |1728 |1615 | 0 | 0 | 0 |5872 | 0 | 2.000000e+00 | -- | Inf
973.11/973.45 c 952s|920000 |915408 | 0 | 0.0 | 393M| 321 | - |1728 |1586 | 0 | 0 | 0 |5902 | 0 | 2.000000e+00 | -- | Inf
983.61/983.99 c 962s|930000 |925379 | 0 | 0.0 | 397M| 321 | - |1728 |1601 | 0 | 0 | 0 |5950 | 0 | 2.000000e+00 | -- | Inf
994.21/994.53 c 973s|940000 |935296 | 0 | 0.0 | 402M| 321 | - |1728 |1671 | 0 | 0 | 0 |6068 | 0 | 2.000000e+00 | -- | Inf
1004.60/1004.94 c 983s|950000 |945200 | 0 | 0.0 | 406M| 321 | - |1728 |1671 | 0 | 0 | 0 |6213 | 0 | 2.000000e+00 | -- | Inf
1014.80/1015.11 c 993s|960000 |955140 | 0 | 0.0 | 411M| 321 | - |1728 |1662 | 0 | 0 | 0 |6316 | 0 | 2.000000e+00 | -- | Inf
1024.79/1025.11 c 1003s|970000 |965115 | 0 | 0.0 | 415M| 321 | - |1728 |1594 | 0 | 0 | 0 |6348 | 0 | 2.000000e+00 | -- | Inf
1034.99/1035.31 c 1013s|980000 |975064 | 0 | 0.0 | 420M| 321 | - |1728 |1630 | 0 | 0 | 0 |6431 | 0 | 2.000000e+00 | -- | Inf
1045.29/1045.65 c 1023s|990000 |984999 | 0 | 0.0 | 424M| 321 | - |1728 |1668 | 0 | 0 | 0 |6549 | 0 | 2.000000e+00 | -- | Inf
1055.80/1056.15 c 1033s| 1000k|994956 | 0 | 0.0 | 428M| 321 | - |1728 |1613 | 0 | 0 | 0 |6611 | 0 | 2.000000e+00 | -- | Inf
1066.08/1066.45 c 1043s| 1010k| 1004k| 0 | 0.0 | 432M| 321 | - |1728 |1587 | 0 | 0 | 0 |6628 | 0 | 2.000000e+00 | -- | Inf
1076.08/1076.45 c 1053s| 1020k| 1014k| 0 | 0.0 | 437M| 321 | - |1728 |1568 | 0 | 0 | 0 |6641 | 0 | 2.000000e+00 | -- | Inf
1086.27/1086.62 c 1063s| 1030k| 1024k| 0 | 0.0 | 441M| 321 | - |1728 |1588 | 0 | 0 | 0 |6689 | 0 | 2.000000e+00 | -- | Inf
1096.68/1097.03 c 1073s| 1040k| 1034k| 0 | 0.0 | 446M| 321 | - |1728 |1588 | 0 | 0 | 0 |6751 | 0 | 2.000000e+00 | -- | Inf
1107.07/1107.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1107.07/1107.40 c 1083s| 1050k| 1044k| 0 | 0.0 | 450M| 321 | - |1728 |1620 | 0 | 0 | 0 |6849 | 0 | 2.000000e+00 | -- | Inf
1117.17/1117.54 c 1093s| 1060k| 1054k| 0 | 0.0 | 454M| 321 | - |1728 |1594 | 0 | 0 | 0 |6885 | 0 | 2.000000e+00 | -- | Inf
1127.37/1127.72 c 1103s| 1070k| 1064k| 0 | 0.0 | 458M| 321 | - |1728 |1569 | 0 | 0 | 0 |6917 | 0 | 2.000000e+00 | -- | Inf
1137.67/1138.09 c 1113s| 1080k| 1074k| 0 | 0.0 | 463M| 321 | - |1728 |1589 | 0 | 0 | 0 |6963 | 0 | 2.000000e+00 | -- | Inf
1147.86/1148.23 c 1123s| 1090k| 1084k| 0 | 0.0 | 467M| 321 | - |1728 |1603 | 0 | 0 | 0 |7023 | 0 | 2.000000e+00 | -- | Inf
1158.07/1158.42 c 1133s| 1100k| 1094k| 0 | 0.0 | 471M| 321 | - |1728 |1616 | 0 | 0 | 0 |7151 | 0 | 2.000000e+00 | -- | Inf
1168.06/1168.49 c 1143s| 1110k| 1104k| 0 | 0.0 | 476M| 321 | - |1728 |1583 | 0 | 0 | 0 |7183 | 0 | 2.000000e+00 | -- | Inf
1178.25/1178.66 c 1153s| 1120k| 1114k| 0 | 0.0 | 480M| 321 | - |1728 |1583 | 0 | 0 | 0 |7223 | 0 | 2.000000e+00 | -- | Inf
1188.65/1189.00 c 1163s| 1130k| 1124k| 0 | 0.0 | 484M| 321 | - |1728 |1605 | 0 | 0 | 0 |7284 | 0 | 2.000000e+00 | -- | Inf
1198.85/1199.29 c 1173s| 1140k| 1134k| 0 | 0.0 | 489M| 321 | - |1728 |1650 | 0 | 0 | 0 |7394 | 0 | 2.000000e+00 | -- | Inf
1209.14/1209.56 c 1183s| 1150k| 1144k| 0 | 0.0 | 493M| 321 | - |1728 |1647 | 0 | 0 | 0 |7514 | 0 | 2.000000e+00 | -- | Inf
1219.24/1219.69 c 1193s| 1160k| 1154k| 0 | 0.0 | 498M| 321 | - |1728 |1581 | 0 | 0 | 0 |7524 | 0 | 2.000000e+00 | -- | Inf
1229.45/1229.83 c 1203s| 1170k| 1164k| 0 | 0.0 | 502M| 321 | - |1728 |1578 | 0 | 0 | 0 |7552 | 0 | 2.000000e+00 | -- | Inf
1239.63/1240.08 c 1213s| 1180k| 1174k| 0 | 0.0 | 506M| 321 | - |1728 |1595 | 0 | 0 | 0 |7619 | 0 | 2.000000e+00 | -- | Inf
1249.53/1249.98 c 1222s| 1190k| 1184k| 0 | 0.0 | 511M| 321 | - |1728 |1586 | 0 | 0 | 0 |7668 | 0 | 2.000000e+00 | -- | Inf
1259.63/1260.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1259.63/1260.06 c 1232s| 1200k| 1194k| 0 | 0.0 | 515M| 321 | - |1728 |1595 | 0 | 0 | 0 |7732 | 0 | 2.000000e+00 | -- | Inf
1269.93/1270.40 c 1242s| 1210k| 1204k| 0 | 0.0 | 519M| 321 | - |1728 |1622 | 0 | 0 | 0 |7840 | 0 | 2.000000e+00 | -- | Inf
1280.13/1280.58 c 1252s| 1220k| 1214k| 0 | 0.0 | 524M| 321 | - |1728 |1592 | 0 | 0 | 0 |7891 | 0 | 2.000000e+00 | -- | Inf
1290.43/1290.82 c 1262s| 1230k| 1223k| 0 | 0.0 | 528M| 321 | - |1728 |1630 | 0 | 0 | 0 |8017 | 0 | 2.000000e+00 | -- | Inf
1300.52/1300.92 c 1272s| 1240k| 1233k| 0 | 0.0 | 532M| 321 | - |1728 |1629 | 0 | 0 | 0 |8113 | 0 | 2.000000e+00 | -- | Inf
1310.51/1310.94 c 1282s| 1250k| 1243k| 0 | 0.0 | 537M| 321 | - |1728 |1619 | 0 | 0 | 0 |8206 | 0 | 2.000000e+00 | -- | Inf
1320.61/1321.09 c 1292s| 1260k| 1253k| 0 | 0.0 | 541M| 321 | - |1728 |1616 | 0 | 0 | 0 |8292 | 0 | 2.000000e+00 | -- | Inf
1330.81/1331.27 c 1302s| 1270k| 1263k| 0 | 0.0 | 545M| 321 | - |1728 |1596 | 0 | 0 | 0 |8337 | 0 | 2.000000e+00 | -- | Inf
1341.21/1341.62 c 1312s| 1280k| 1273k| 0 | 0.0 | 550M| 321 | - |1728 |1610 | 0 | 0 | 0 |8414 | 0 | 2.000000e+00 | -- | Inf
1351.20/1351.65 c 1322s| 1290k| 1283k| 0 | 0.0 | 554M| 321 | - |1728 |1676 | 0 | 0 | 0 |8535 | 0 | 2.000000e+00 | -- | Inf
1361.30/1361.71 c 1332s| 1300k| 1293k| 0 | 0.0 | 558M| 321 | - |1728 |1650 | 0 | 0 | 0 |8654 | 0 | 2.000000e+00 | -- | Inf
1371.41/1371.89 c 1341s| 1310k| 1303k| 0 | 0.0 | 563M| 321 | - |1728 |1656 | 0 | 0 | 0 |8791 | 0 | 2.000000e+00 | -- | Inf
1381.49/1381.99 c 1351s| 1320k| 1313k| 0 | 0.0 | 567M| 321 | - |1728 |1608 | 0 | 0 | 0 |8835 | 0 | 2.000000e+00 | -- | Inf
1391.59/1392.08 c 1361s| 1330k| 1323k| 0 | 0.0 | 571M| 321 | - |1728 |1605 | 0 | 0 | 0 |8883 | 0 | 2.000000e+00 | -- | Inf
1401.78/1402.25 c 1371s| 1340k| 1333k| 0 | 0.0 | 576M| 321 | - |1728 |1688 | 0 | 0 | 0 |9057 | 0 | 2.000000e+00 | -- | Inf
1411.99/1412.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1411.99/1412.43 c 1381s| 1350k| 1343k| 0 | 0.0 | 580M| 321 | - |1728 |1595 | 0 | 0 | 0 |9106 | 0 | 2.000000e+00 | -- | Inf
1422.09/1422.57 c 1391s| 1360k| 1353k| 0 | 0.0 | 585M| 321 | - |1728 |1589 | 0 | 0 | 0 |9179 | 0 | 2.000000e+00 | -- | Inf
1432.09/1432.50 c 1401s| 1370k| 1363k| 0 | 0.0 | 589M| 321 | - |1728 |1628 | 0 | 0 | 0 |9302 | 0 | 2.000000e+00 | -- | Inf
1442.18/1442.63 c 1410s| 1380k| 1373k| 0 | 0.0 | 593M| 321 | - |1728 |1594 | 0 | 0 | 0 |9375 | 0 | 2.000000e+00 | -- | Inf
1451.98/1452.47 c 1420s| 1390k| 1383k| 0 | 0.0 | 598M| 321 | - |1728 |1639 | 0 | 0 | 0 |9524 | 0 | 2.000000e+00 | -- | Inf
1461.77/1462.26 c 1430s| 1400k| 1393k| 0 | 0.0 | 602M| 321 | - |1728 |1585 | 0 | 0 | 0 |9541 | 0 | 2.000000e+00 | -- | Inf
1471.77/1472.29 c 1439s| 1410k| 1402k| 0 | 0.0 | 607M| 321 | - |1728 |1601 | 0 | 0 | 0 |9605 | 0 | 2.000000e+00 | -- | Inf
1481.97/1482.47 c 1449s| 1420k| 1412k| 0 | 0.0 | 611M| 321 | - |1728 |1595 | 0 | 0 | 0 |9694 | 0 | 2.000000e+00 | -- | Inf
1492.37/1492.80 c 1459s| 1430k| 1422k| 0 | 0.0 | 615M| 321 | - |1728 |1642 | 0 | 0 | 0 |9839 | 0 | 2.000000e+00 | -- | Inf
1502.36/1502.89 c 1469s| 1440k| 1432k| 0 | 0.0 | 620M| 321 | - |1728 |1697 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1512.26/1512.72 c 1479s| 1450k| 1442k| 0 | 0.0 | 624M| 321 | - |1728 |1643 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1522.15/1522.64 c 1489s| 1460k| 1452k| 0 | 0.0 | 629M| 321 | - |1728 |1628 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1532.25/1532.73 c 1498s| 1470k| 1462k| 0 | 0.0 | 633M| 321 | - |1728 |1641 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1542.55/1543.00 c 1508s| 1480k| 1472k| 0 | 0.0 | 638M| 321 | - |1728 |1616 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1552.44/1552.93 c 1518s| 1490k| 1482k| 0 | 0.0 | 642M| 321 | - |1728 |1623 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1562.05/1562.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.05/1562.54 c 1528s| 1500k| 1492k| 0 | 0.0 | 647M| 321 | - |1728 |1626 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1571.84/1572.36 c 1537s| 1510k| 1502k| 0 | 0.0 | 651M| 321 | - |1728 |1643 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | -- | Inf
1581.84/1582.38 c 1547s| 1520k| 1512k| 0 | 0.0 | 656M| 321 | - |1728 |1713 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1591.84/1592.31 c 1557s| 1530k| 1521k| 0 | 0.0 | 661M| 321 | - |1728 |1671 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1601.73/1602.25 c 1566s| 1540k| 1531k| 0 | 0.0 | 665M| 321 | - |1728 |1687 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1611.52/1612.07 c 1576s| 1550k| 1541k| 0 | 0.0 | 670M| 321 | - |1728 |1638 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1621.23/1621.72 c 1585s| 1560k| 1551k| 0 | 0.0 | 674M| 321 | - |1728 |1640 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1631.02/1631.59 c 1595s| 1570k| 1561k| 0 | 0.0 | 679M| 321 | - |1728 |1693 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1640.92/1641.49 c 1604s| 1580k| 1571k| 0 | 0.0 | 683M| 321 | - |1728 |1627 | 0 | 0 | 0 | 11k| 0 | 2.000000e+00 | -- | Inf
1650.72/1651.29 c 1614s| 1590k| 1581k| 0 | 0.0 | 688M| 321 | - |1728 |1678 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1660.42/1660.99 c 1623s| 1600k| 1591k| 0 | 0.0 | 692M| 321 | - |1728 |1620 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1670.52/1671.03 c 1633s| 1610k| 1601k| 0 | 0.0 | 696M| 321 | - |1728 |1639 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1680.42/1680.92 c 1643s| 1620k| 1611k| 0 | 0.0 | 701M| 321 | - |1728 |1619 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1690.40/1690.91 c 1653s| 1630k| 1621k| 0 | 0.0 | 705M| 321 | - |1728 |1633 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1700.00/1700.55 c 1662s| 1640k| 1631k| 0 | 0.0 | 710M| 321 | - |1728 |1619 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1709.70/1710.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1709.70/1710.28 c 1672s| 1650k| 1641k| 0 | 0.0 | 715M| 321 | - |1728 |1671 | 0 | 0 | 0 | 12k| 0 | 2.000000e+00 | -- | Inf
1719.40/1719.92 c 1681s| 1660k| 1650k| 0 | 0.0 | 719M| 321 | - |1728 |1643 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1729.29/1729.86 c 1691s| 1670k| 1660k| 0 | 0.0 | 724M| 321 | - |1728 |1663 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1739.10/1739.62 c 1700s| 1680k| 1670k| 0 | 0.0 | 728M| 321 | - |1728 |1677 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1749.09/1749.60 c 1710s| 1690k| 1680k| 0 | 0.0 | 733M| 321 | - |1728 |1687 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1759.08/1759.69 c 1720s| 1700k| 1690k| 0 | 0.0 | 737M| 321 | - |1728 |1693 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1768.79/1769.31 c 1729s| 1710k| 1700k| 0 | 0.0 | 742M| 321 | - |1728 |1629 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1778.48/1779.03 c 1739s| 1720k| 1710k| 0 | 0.0 | 746M| 321 | - |1728 |1626 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1788.37/1788.99 c 1748s| 1730k| 1720k| 0 | 0.0 | 751M| 321 | - |1728 |1696 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1798.28/1798.81 c 1758s| 1740k| 1730k| 0 | 0.0 | 755M| 321 | - |1728 |1651 | 0 | 0 | 0 | 13k| 0 | 2.000000e+00 | -- | Inf
1800.08/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.61 c
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time (sec) : 1759.68
1800.08/1800.61 c Solving Nodes : 1741874
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +2.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 s UNKNOWN
1800.08/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.61 c Solving Time : 1759.68
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2664589-1276351658.opb
1800.08/1800.61 c Variables : 2112 (2112 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 5020 initial, 5020 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2664589-1276351658.opb
1800.08/1800.61 c Variables : 1728 (1728 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 1450 initial, 1726 maximal
1800.08/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c dualfix : 0.01 384 0 0 0 0 0 0 0
1800.08/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c probing : 0.05 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.05 0 0 0 0 0 432 1368 3816
1800.08/1800.61 c setppc : 0.03 0 0 0 0 0 360 0 0
1800.08/1800.61 c linear : 0.04 0 0 0 0 0 4002 0 0
1800.08/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 2 - - 2 - - - -
1800.08/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 180 0 2625300 0 1738110 0 521181 0 0 0
1800.08/1800.61 c setppc : 954 0 2625300 0 1738110 407 2673590 0 0 0
1800.08/1800.61 c linear : 100 0 2624893 0 1738105 4475 1591311 0 0 0
1800.08/1800.61 c logicor : 216+ 0 295905 0 1738105 177 243862 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 1738104 0 0 0 0 0
1800.08/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.61 c knapsack : 186.27 0.00 27.83 0.00 158.44
1800.08/1800.61 c setppc : 558.83 0.00 88.55 0.00 470.28
1800.08/1800.61 c linear : 69.27 0.00 65.28 0.00 3.99
1800.08/1800.61 c logicor : 44.79 0.00 3.23 0.00 41.56
1800.08/1800.61 c countsols : 0.72 0.00 0.00 0.00 0.72
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 1.32 2 0 0
1800.08/1800.61 c rootredcost : 1.51 0 0 0
1800.08/1800.61 c pseudoobj : 42.96 2625100 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 0.57 5059 5049 19302 35.6 199 30.1 -
1800.08/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.08/1800.61 c applied globally : - - - 13992 34.0 - - -
1800.08/1800.61 c applied locally : - - - 0 0.0 - - -
1800.08/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.08/1800.61 c redcost : 0.00 0 0 0 0 0
1800.08/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.08/1800.61 c intobj : 0.00 0 0 0 0 0
1800.08/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.61 c gomory : 0.00 0 0 0 0 0
1800.08/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.08/1800.61 c cmir : 0.00 0 0 0 0 0
1800.08/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.08/1800.61 c clique : 0.00 0 0 0 0 0
1800.08/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.61 c mcf : 0.00 0 0 0 0 0
1800.08/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.61 c Pricers : Time Calls Vars
1800.08/1800.61 c problem variables: 0.00 0 0
1800.08/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.61 c inference : 746.28 1738104 0 0 0 0 3476208
1800.08/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.61 c random : 0.00 0 0 0 0 0 0
1800.08/1800.61 c Primal Heuristics : Time Calls Found
1800.08/1800.61 c LP solutions : 0.00 - 0
1800.08/1800.61 c pseudo solutions : 0.00 - 0
1800.08/1800.61 c oneopt : 1.11 0 0
1800.08/1800.61 c trivial : 0.00 2 0
1800.08/1800.61 c simplerounding : 0.00 0 0
1800.08/1800.61 c zirounding : 0.00 0 0
1800.08/1800.61 c rounding : 0.00 0 0
1800.08/1800.61 c shifting : 0.00 0 0
1800.08/1800.61 c intshifting : 0.00 0 0
1800.08/1800.61 c twoopt : 0.00 0 0
1800.08/1800.61 c fixandinfer : 0.00 0 0
1800.08/1800.61 c feaspump : 0.00 0 0
1800.08/1800.61 c coefdiving : 0.00 0 0
1800.08/1800.61 c pscostdiving : 0.00 0 0
1800.08/1800.61 c fracdiving : 0.00 0 0
1800.08/1800.61 c veclendiving : 0.00 0 0
1800.08/1800.61 c intdiving : 0.00 0 0
1800.08/1800.61 c actconsdiving : 0.00 0 0
1800.08/1800.61 c objpscostdiving : 0.00 0 0
1800.08/1800.61 c rootsoldiving : 0.00 0 0
1800.08/1800.61 c linesearchdiving : 0.00 0 0
1800.08/1800.61 c guideddiving : 0.00 0 0
1800.08/1800.61 c octane : 0.00 0 0
1800.08/1800.61 c rens : 0.00 0 0
1800.08/1800.61 c rins : 0.00 0 0
1800.08/1800.61 c localbranching : 0.00 0 0
1800.08/1800.61 c mutation : 0.00 0 0
1800.08/1800.61 c crossover : 0.00 0 0
1800.08/1800.61 c dins : 0.00 0 0
1800.08/1800.61 c undercover : 0.00 0 0
1800.08/1800.61 c nlp : 1.95 0 0
1800.08/1800.61 c trysol : 0.87 0 0
1800.08/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.08/1800.61 c (at root node) : - 0 0 0.00 -
1800.08/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.61 c B&B Tree :
1800.08/1800.61 c number of runs : 1
1800.08/1800.61 c nodes : 1741874
1800.08/1800.61 c nodes (total) : 1741874
1800.08/1800.61 c nodes left : 1732294
1800.08/1800.61 c max depth : 321
1800.08/1800.61 c max depth (total): 321
1800.08/1800.61 c backtracks : 12322 (0.7%)
1800.08/1800.61 c delayed cutoffs : 2041
1800.08/1800.61 c repropagations : 33309 (84905 domain reductions, 1289 cutoffs)
1800.08/1800.61 c avg switch length: 2.50
1800.08/1800.61 c switching time : 39.23
1800.08/1800.61 c Solution :
1800.08/1800.61 c Solutions found : 0 (0 improvements)
1800.08/1800.61 c Primal Bound : -
1800.08/1800.61 c Dual Bound : +2.00000000000000e+00
1800.08/1800.61 c Gap : infinite
1800.08/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.61 c Root Iterations : 0