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-2664592-1276354090.opb>
0.00/0.02 c original problem has 572 variables (572 bin, 0 int, 0 impl, 0 cont) and 126 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.01/0.03 c presolving:
0.01/0.03 c (round 1) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 56 clqs
0.01/0.04 c (round 2) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 0 chg coeffs, 89 upgd conss, 0 impls, 56 clqs
0.01/0.06 c (round 3) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 2 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.06 c (round 4) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 4 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.06 c (round 5) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 6 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.07 c (round 6) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 8 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.07 c (round 7) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 10 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.07 c (round 8) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 11 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.07 c (round 9) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 12 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.01/0.07 c (round 10) 0 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 13 chg coeffs, 89 upgd conss, 0 impls, 60 clqs
0.39/0.50 c (round 11) 6 del vars, 2 del conss, 0 chg bounds, 1 chg sides, 13 chg coeffs, 89 upgd conss, 3456 impls, 60 clqs
0.49/0.52 c presolving (12 rounds):
0.49/0.52 c 6 deleted vars, 2 deleted constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 13 changed coefficients
0.49/0.52 c 3456 implications, 60 cliques
0.49/0.52 c presolved problem has 566 variables (566 bin, 0 int, 0 impl, 0 cont) and 124 constraints
0.49/0.52 c 30 constraints of type <knapsack>
0.49/0.52 c 56 constraints of type <setppc>
0.49/0.52 c 35 constraints of type <linear>
0.49/0.52 c 3 constraints of type <logicor>
0.49/0.52 c transformed objective value is always integral (scale: 1)
0.49/0.52 c Presolving Time: 0.47
0.49/0.52 c - non default parameters ----------------------------------------------------------------------
0.49/0.52 c # SCIP version 1.2.1.2
0.49/0.52 c
0.49/0.52 c # frequency for displaying node information lines
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.52 c display/freq = 10000
0.49/0.52 c
0.49/0.52 c # maximal time in seconds to run
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/time = 1799.99
0.49/0.52 c
0.49/0.52 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.52 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.52 c limits/memory = 1620
0.49/0.52 c
0.49/0.52 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.52 c lp/solvefreq = -1
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify inequalities
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/linear/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c # should presolving try to simplify knapsacks
0.49/0.52 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.52 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.52 c
0.49/0.52 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.52 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.52 c separating/rapidlearning/freq = 0
0.49/0.52 c
0.49/0.52 c -----------------------------------------------------------------------------------------------
0.49/0.52 c start solving
0.49/0.52 c
0.49/0.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.52 c 0.5s| 1 | 2 | 0 | - |2278k| 0 | - | 566 | 124 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
9.29/9.30 c 9.1s| 10000 | 9989 | 0 | 0.0 |5213k| 247 | - | 566 | 134 | 0 | 0 | 0 | 10 | 0 | 4.700000e+02 | -- | Inf
19.39/19.42 c 19.0s| 20000 | 19860 | 0 | 0.0 |8482k| 272 | - | 566 | 303 | 0 | 0 | 0 | 185 | 0 | 5.160000e+02 | -- | Inf
30.18/30.21 c 29.6s| 30000 | 29736 | 0 | 0.0 | 12M| 272 | - | 566 | 468 | 0 | 0 | 0 | 353 | 0 | 5.540000e+02 | -- | Inf
41.08/41.17 c 40.3s| 40000 | 39616 | 0 | 0.0 | 15M| 272 | - | 566 | 563 | 0 | 0 | 0 | 503 | 0 | 6.060000e+02 | -- | Inf
52.68/52.76 c 51.7s| 50000 | 49518 | 0 | 0.0 | 19M| 272 | - | 566 | 574 | 0 | 0 | 0 | 591 | 0 | 6.300000e+02 | -- | Inf
63.37/63.44 c 62.1s| 60000 | 59458 | 0 | 0.0 | 23M| 272 | - | 566 | 584 | 0 | 0 | 0 | 665 | 0 | 6.500000e+02 | -- | Inf
74.96/75.06 c 73.6s| 70000 | 69381 | 0 | 0.0 | 27M| 272 | - | 566 | 611 | 0 | 0 | 0 | 748 | 0 | 6.700000e+02 | -- | Inf
86.27/86.30 c 84.6s| 80000 | 79299 | 0 | 0.0 | 30M| 272 | - | 566 | 656 | 0 | 0 | 0 | 872 | 0 | 6.910000e+02 | -- | Inf
97.27/97.33 c 95.4s| 90000 | 89222 | 0 | 0.0 | 34M| 272 | - | 566 | 650 | 0 | 0 | 0 | 957 | 0 | 7.060000e+02 | -- | Inf
108.86/108.96 c 107s|100000 | 99144 | 0 | 0.0 | 38M| 272 | - | 566 | 669 | 0 | 0 | 0 |1060 | 0 | 7.170000e+02 | -- | Inf
120.56/120.66 c 118s|110000 |109014 | 0 | 0.0 | 41M| 272 | - | 566 | 689 | 0 | 0 | 0 |1195 | 0 | 7.280000e+02 | -- | Inf
132.15/132.26 c 130s|120000 |118766 | 0 | 0.0 | 45M| 272 | - | 566 | 724 | 0 | 0 | 0 |1464 | 0 | 7.580000e+02 | -- | Inf
143.55/143.64 c 141s|130000 |128604 | 0 | 0.0 | 49M| 272 | - | 566 | 667 | 0 | 0 | 0 |1660 | 0 | 7.730000e+02 | -- | Inf
155.25/155.33 c 152s|140000 |138485 | 0 | 0.0 | 53M| 272 | - | 566 | 639 | 0 | 0 | 0 |1797 | 0 | 7.840000e+02 | -- | Inf
166.74/166.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.74/166.82 c 164s|150000 |148356 | 0 | 0.0 | 56M| 272 | - | 566 | 604 | 0 | 0 | 0 |1933 | 0 | 7.950000e+02 | -- | Inf
178.34/178.49 c 175s|160000 |158167 | 0 | 0.0 | 60M| 272 | - | 566 | 579 | 0 | 0 | 0 |2181 | 0 | 8.120000e+02 | -- | Inf
190.43/190.51 c 187s|170000 |167972 | 0 | 0.0 | 64M| 272 | - | 566 | 505 | 0 | 0 | 0 |2422 | 0 | 8.300000e+02 | -- | Inf
202.14/202.28 c 198s|180000 |177804 | 0 | 0.0 | 68M| 272 | - | 566 | 528 | 0 | 0 | 0 |2596 | 0 | 8.420000e+02 | -- | Inf
213.93/214.00 c 210s|190000 |187571 | 0 | 0.0 | 72M| 272 | - | 566 | 615 | 0 | 0 | 0 |2850 | 0 | 8.580000e+02 | -- | Inf
225.03/225.17 c 221s|200000 |197396 | 0 | 0.0 | 76M| 272 | - | 566 | 672 | 0 | 0 | 0 |3107 | 0 | 8.690000e+02 | -- | Inf
236.62/236.78 c 232s|210000 |207160 | 0 | 0.0 | 80M| 272 | - | 566 | 700 | 0 | 0 | 0 |3409 | 0 | 8.830000e+02 | -- | Inf
248.12/248.26 c 244s|220000 |216899 | 0 | 0.0 | 83M| 272 | - | 566 | 699 | 0 | 0 | 0 |3650 | 0 | 8.970000e+02 | -- | Inf
260.02/260.19 c 255s|230000 |226630 | 0 | 0.0 | 87M| 272 | - | 566 | 796 | 0 | 0 | 0 |3965 | 0 | 9.080000e+02 | -- | Inf
271.81/271.96 c 267s|240000 |236460 | 0 | 0.0 | 91M| 272 | - | 566 | 790 | 0 | 0 | 0 |4165 | 0 | 9.200000e+02 | -- | Inf
283.42/283.52 c 278s|250000 |246284 | 0 | 0.0 | 95M| 272 | - | 566 | 780 | 0 | 0 | 0 |4369 | 0 | 9.310000e+02 | -- | Inf
294.11/294.30 c 289s|260000 |256158 | 0 | 0.0 | 98M| 272 | - | 566 | 676 | 0 | 0 | 0 |4532 | 0 | 9.350000e+02 | -- | Inf
305.10/305.26 c 299s|270000 |266040 | 0 | 0.0 | 102M| 272 | - | 566 | 672 | 0 | 0 | 0 |4671 | 0 | 9.420000e+02 | -- | Inf
316.20/316.32 c 310s|280000 |275882 | 0 | 0.0 | 106M| 272 | - | 566 | 685 | 0 | 0 | 0 |4848 | 0 | 9.460000e+02 | -- | Inf
327.71/327.82 c 322s|290000 |285842 | 0 | 0.0 | 109M| 272 | - | 566 | 630 | 0 | 0 | 0 |4910 | 0 | 9.540000e+02 | -- | Inf
339.10/339.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.10/339.21 c 333s|300000 |295733 | 0 | 0.0 | 113M| 272 | - | 566 | 645 | 0 | 0 | 0 |5045 | 0 | 9.610000e+02 | -- | Inf
350.49/350.69 c 344s|310000 |305630 | 0 | 0.0 | 116M| 272 | - | 566 | 618 | 0 | 0 | 0 |5193 | 0 | 9.660000e+02 | -- | Inf
361.80/361.94 c 355s|320000 |315454 | 0 | 0.0 | 120M| 272 | - | 566 | 626 | 0 | 0 | 0 |5402 | 0 | 9.760000e+02 | -- | Inf
373.19/373.34 c 366s|330000 |325240 | 0 | 0.0 | 124M| 272 | - | 566 | 735 | 0 | 0 | 0 |5702 | 0 | 9.820000e+02 | -- | Inf
384.58/384.70 c 377s|340000 |335051 | 0 | 0.0 | 128M| 272 | - | 566 | 786 | 0 | 0 | 0 |5948 | 0 | 9.880000e+02 | -- | Inf
395.68/395.84 c 388s|350000 |344864 | 0 | 0.0 | 132M| 272 | - | 566 | 778 | 0 | 0 | 0 |6147 | 0 | 9.920000e+02 | -- | Inf
407.38/407.59 c 400s|360000 |354599 | 0 | 0.0 | 135M| 272 | - | 566 | 871 | 0 | 0 | 0 |6520 | 0 | 9.970000e+02 | -- | Inf
419.28/419.42 c 411s|370000 |364363 | 0 | 0.0 | 139M| 272 | - | 566 | 842 | 0 | 0 | 0 |6807 | 0 | 1.003000e+03 | -- | Inf
430.67/430.83 c 423s|380000 |374205 | 0 | 0.0 | 143M| 272 | - | 566 | 823 | 0 | 0 | 0 |7053 | 0 | 1.006000e+03 | -- | Inf
442.67/442.89 c 434s|390000 |384039 | 0 | 0.0 | 147M| 272 | - | 566 | 812 | 0 | 0 | 0 |7267 | 0 | 1.010000e+03 | -- | Inf
454.87/455.08 c 446s|400000 |393810 | 0 | 0.0 | 151M| 272 | - | 566 | 735 | 0 | 0 | 0 |7553 | 0 | 1.015000e+03 | -- | Inf
466.66/466.88 c 458s|410000 |403648 | 0 | 0.0 | 155M| 272 | - | 566 | 814 | 0 | 0 | 0 |7782 | 0 | 1.016000e+03 | -- | Inf
478.76/478.90 c 470s|420000 |413457 | 0 | 0.0 | 159M| 272 | - | 566 | 910 | 0 | 0 | 0 |8037 | 0 | 1.018000e+03 | -- | Inf
490.85/491.08 c 482s|430000 |423246 | 0 | 0.0 | 162M| 272 | - | 566 | 974 | 0 | 0 | 0 |8345 | 0 | 1.020000e+03 | -- | Inf
503.15/503.31 c 494s|440000 |433028 | 0 | 0.0 | 166M| 272 | - | 566 | 939 | 0 | 0 | 0 |8606 | 0 | 1.024000e+03 | -- | Inf
514.56/514.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.56/514.79 c 505s|450000 |442869 | 0 | 0.0 | 170M| 272 | - | 566 | 904 | 0 | 0 | 0 |8790 | 0 | 1.026000e+03 | -- | Inf
526.84/527.06 c 517s|460000 |452649 | 0 | 0.0 | 174M| 272 | - | 566 | 941 | 0 | 0 | 0 |9087 | 0 | 1.028000e+03 | -- | Inf
538.85/539.07 c 529s|470000 |462466 | 0 | 0.0 | 178M| 272 | - | 566 | 907 | 0 | 0 | 0 |9280 | 0 | 1.032000e+03 | -- | Inf
551.44/551.69 c 541s|480000 |472253 | 0 | 0.0 | 182M| 272 | - | 566 | 889 | 0 | 0 | 0 |9544 | 0 | 1.036000e+03 | -- | Inf
563.14/563.38 c 553s|490000 |481991 | 0 | 0.0 | 186M| 272 | - | 566 | 897 | 0 | 0 | 0 |9862 | 0 | 1.040000e+03 | -- | Inf
575.23/575.46 c 565s|500000 |491777 | 0 | 0.0 | 190M| 272 | - | 566 | 951 | 0 | 0 | 0 | 10k| 0 | 1.042000e+03 | -- | Inf
587.83/588.06 c 577s|510000 |501428 | 0 | 0.0 | 194M| 272 | - | 566 |1108 | 0 | 0 | 0 | 10k| 0 | 1.046000e+03 | -- | Inf
599.93/600.10 c 589s|520000 |511197 | 0 | 0.0 | 197M| 272 | - | 566 | 990 | 0 | 0 | 0 | 10k| 0 | 1.050000e+03 | -- | Inf
611.72/611.97 c 600s|530000 |520976 | 0 | 0.0 | 201M| 272 | - | 566 | 962 | 0 | 0 | 0 | 11k| 0 | 1.052000e+03 | -- | Inf
623.82/624.10 c 612s|540000 |530744 | 0 | 0.0 | 205M| 272 | - | 566 |1013 | 0 | 0 | 0 | 11k| 0 | 1.055000e+03 | -- | Inf
635.82/636.07 c 624s|550000 |540578 | 0 | 0.0 | 209M| 272 | - | 566 | 980 | 0 | 0 | 0 | 11k| 0 | 1.058000e+03 | -- | Inf
648.02/648.28 c 636s|560000 |550355 | 0 | 0.0 | 213M| 272 | - | 566 |1021 | 0 | 0 | 0 | 11k| 0 | 1.061000e+03 | -- | Inf
660.11/660.30 c 648s|570000 |560161 | 0 | 0.0 | 217M| 272 | - | 566 | 969 | 0 | 0 | 0 | 12k| 0 | 1.063000e+03 | -- | Inf
671.81/672.05 c 659s|580000 |569974 | 0 | 0.0 | 221M| 272 | - | 566 | 980 | 0 | 0 | 0 | 12k| 0 | 1.064000e+03 | -- | Inf
684.31/684.55 c 672s|590000 |579761 | 0 | 0.0 | 225M| 272 | - | 566 |1043 | 0 | 0 | 0 | 12k| 0 | 1.065000e+03 | -- | Inf
697.10/697.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.10/697.32 c 684s|600000 |589419 | 0 | 0.0 | 229M| 272 | - | 566 |1215 | 0 | 0 | 0 | 13k| 0 | 1.067000e+03 | -- | Inf
710.00/710.21 c 697s|610000 |599207 | 0 | 0.0 | 232M| 272 | - | 566 |1234 | 0 | 0 | 0 | 13k| 0 | 1.069000e+03 | -- | Inf
722.09/722.30 c 709s|620000 |609010 | 0 | 0.0 | 236M| 272 | - | 566 |1139 | 0 | 0 | 0 | 13k| 0 | 1.071000e+03 | -- | Inf
734.60/734.87 c 721s|630000 |618788 | 0 | 0.0 | 240M| 272 | - | 566 |1045 | 0 | 0 | 0 | 14k| 0 | 1.074000e+03 | -- | Inf
746.48/746.76 c 733s|640000 |628481 | 0 | 0.0 | 244M| 272 | - | 566 |1086 | 0 | 0 | 0 | 14k| 0 | 1.075000e+03 | -- | Inf
758.58/758.89 c 745s|650000 |638290 | 0 | 0.0 | 248M| 272 | - | 566 |1163 | 0 | 0 | 0 | 14k| 0 | 1.076000e+03 | -- | Inf
770.37/770.65 c 756s|660000 |648030 | 0 | 0.0 | 251M| 272 | - | 566 |1103 | 0 | 0 | 0 | 15k| 0 | 1.079000e+03 | -- | Inf
781.86/782.11 c 767s|670000 |657805 | 0 | 0.0 | 255M| 272 | - | 566 |1001 | 0 | 0 | 0 | 15k| 0 | 1.082000e+03 | -- | Inf
793.86/794.18 c 779s|680000 |667593 | 0 | 0.0 | 259M| 272 | - | 566 | 989 | 0 | 0 | 0 | 15k| 0 | 1.085000e+03 | -- | Inf
805.85/806.20 c 791s|690000 |677433 | 0 | 0.0 | 263M| 272 | - | 566 | 904 | 0 | 0 | 0 | 15k| 0 | 1.086000e+03 | -- | Inf
818.15/818.49 c 803s|700000 |687267 | 0 | 0.0 | 267M| 272 | - | 566 | 882 | 0 | 0 | 0 | 16k| 0 | 1.088000e+03 | -- | Inf
829.65/829.91 c 814s|710000 |697058 | 0 | 0.0 | 271M| 272 | - | 566 | 934 | 0 | 0 | 0 | 16k| 0 | 1.089000e+03 | -- | Inf
842.35/842.68 c 827s|720000 |706789 | 0 | 0.0 | 275M| 272 | - | 566 | 998 | 0 | 0 | 0 | 16k| 0 | 1.091000e+03 | -- | Inf
854.35/854.66 c 839s|730000 |716604 | 0 | 0.0 | 279M| 272 | - | 566 |1008 | 0 | 0 | 0 | 16k| 0 | 1.093000e+03 | -- | Inf
865.93/866.25 c 850s|740000 |726393 | 0 | 0.0 | 282M| 272 | - | 566 |1017 | 0 | 0 | 0 | 17k| 0 | 1.094000e+03 | -- | Inf
878.13/878.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
878.13/878.48 c 862s|750000 |736156 | 0 | 0.0 | 286M| 272 | - | 566 |1019 | 0 | 0 | 0 | 17k| 0 | 1.096000e+03 | -- | Inf
890.32/890.65 c 874s|760000 |746008 | 0 | 0.0 | 290M| 272 | - | 566 | 965 | 0 | 0 | 0 | 17k| 0 | 1.097000e+03 | -- | Inf
902.42/902.74 c 886s|770000 |755856 | 0 | 0.0 | 294M| 272 | - | 566 | 958 | 0 | 0 | 0 | 17k| 0 | 1.098000e+03 | -- | Inf
914.22/914.55 c 897s|780000 |765699 | 0 | 0.0 | 297M| 272 | - | 566 |1005 | 0 | 0 | 0 | 17k| 0 | 1.099000e+03 | -- | Inf
925.52/925.88 c 909s|790000 |775522 | 0 | 0.0 | 301M| 272 | - | 566 | 992 | 0 | 0 | 0 | 18k| 0 | 1.100000e+03 | -- | Inf
938.02/938.31 c 921s|800000 |785333 | 0 | 0.0 | 305M| 272 | - | 566 |1009 | 0 | 0 | 0 | 18k| 0 | 1.101000e+03 | -- | Inf
950.11/950.49 c 933s|810000 |795080 | 0 | 0.0 | 309M| 272 | - | 566 |1135 | 0 | 0 | 0 | 18k| 0 | 1.102000e+03 | -- | Inf
961.21/961.50 c 943s|820000 |804879 | 0 | 0.0 | 313M| 272 | - | 566 |1073 | 0 | 0 | 0 | 18k| 0 | 1.105000e+03 | -- | Inf
972.81/973.17 c 955s|830000 |814697 | 0 | 0.0 | 316M| 272 | - | 566 |1085 | 0 | 0 | 0 | 19k| 0 | 1.107000e+03 | -- | Inf
984.70/985.02 c 967s|840000 |824477 | 0 | 0.0 | 320M| 272 | - | 566 |1111 | 0 | 0 | 0 | 19k| 0 | 1.110000e+03 | -- | Inf
996.39/996.74 c 978s|850000 |834337 | 0 | 0.0 | 324M| 272 | - | 566 |1013 | 0 | 0 | 0 | 19k| 0 | 1.111000e+03 | -- | Inf
1008.40/1008.75 c 990s|860000 |844182 | 0 | 0.0 | 328M| 272 | - | 566 |1001 | 0 | 0 | 0 | 19k| 0 | 1.113000e+03 | -- | Inf
1019.99/1020.33 c 1001s|870000 |854055 | 0 | 0.0 | 332M| 272 | - | 566 | 997 | 0 | 0 | 0 | 20k| 0 | 1.114000e+03 | -- | Inf
1032.09/1032.47 c 1013s|880000 |863886 | 0 | 0.0 | 336M| 272 | - | 566 |1026 | 0 | 0 | 0 | 20k| 0 | 1.115000e+03 | -- | Inf
1043.78/1044.10 c 1024s|890000 |873645 | 0 | 0.0 | 339M| 272 | - | 566 |1109 | 0 | 0 | 0 | 20k| 0 | 1.117000e+03 | -- | Inf
1056.08/1056.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.08/1056.42 c 1037s|900000 |883324 | 0 | 0.0 | 343M| 272 | - | 566 |1264 | 0 | 0 | 0 | 20k| 0 | 1.119000e+03 | -- | Inf
1068.27/1068.62 c 1049s|910000 |893078 | 0 | 0.0 | 347M| 272 | - | 566 |1213 | 0 | 0 | 0 | 21k| 0 | 1.121000e+03 | -- | Inf
1080.97/1081.35 c 1061s|920000 |902828 | 0 | 0.0 | 351M| 272 | - | 566 |1254 | 0 | 0 | 0 | 21k| 0 | 1.123000e+03 | -- | Inf
1093.56/1093.92 c 1073s|930000 |912571 | 0 | 0.0 | 355M| 272 | - | 566 |1307 | 0 | 0 | 0 | 21k| 0 | 1.124000e+03 | -- | Inf
1106.57/1106.97 c 1086s|940000 |922191 | 0 | 0.0 | 360M| 272 | - | 566 |1427 | 0 | 0 | 0 | 22k| 0 | 1.126000e+03 | -- | Inf
1118.86/1119.25 c 1098s|950000 |931915 | 0 | 0.0 | 364M| 272 | - | 566 |1421 | 0 | 0 | 0 | 22k| 0 | 1.128000e+03 | -- | Inf
1130.95/1131.33 c 1110s|960000 |941624 | 0 | 0.0 | 367M| 272 | - | 566 |1399 | 0 | 0 | 0 | 23k| 0 | 1.130000e+03 | -- | Inf
1143.25/1143.62 c 1122s|970000 |951509 | 0 | 0.0 | 371M| 272 | - | 566 |1257 | 0 | 0 | 0 | 23k| 0 | 1.131000e+03 | -- | Inf
1155.45/1155.81 c 1134s|980000 |961349 | 0 | 0.0 | 375M| 272 | - | 566 |1128 | 0 | 0 | 0 | 23k| 0 | 1.132000e+03 | -- | Inf
1168.44/1168.82 c 1147s|990000 |971178 | 0 | 0.0 | 379M| 272 | - | 566 |1047 | 0 | 0 | 0 | 23k| 0 | 1.134000e+03 | -- | Inf
1180.84/1181.25 c 1159s| 1000k|980922 | 0 | 0.0 | 383M| 272 | - | 566 |1134 | 0 | 0 | 0 | 24k| 0 | 1.137000e+03 | -- | Inf
1192.44/1192.88 c 1171s| 1010k|990793 | 0 | 0.0 | 387M| 272 | - | 566 |1140 | 0 | 0 | 0 | 24k| 0 | 1.138000e+03 | -- | Inf
1204.33/1204.73 c 1182s| 1020k| 1000k| 0 | 0.0 | 391M| 272 | - | 566 |1222 | 0 | 0 | 0 | 24k| 0 | 1.140000e+03 | -- | Inf
1216.33/1216.75 c 1194s| 1030k| 1010k| 0 | 0.0 | 395M| 272 | - | 566 |1218 | 0 | 0 | 0 | 24k| 0 | 1.141000e+03 | -- | Inf
1228.82/1229.24 c 1206s| 1040k| 1020k| 0 | 0.0 | 399M| 272 | - | 566 |1225 | 0 | 0 | 0 | 24k| 0 | 1.142000e+03 | -- | Inf
1241.22/1241.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1241.22/1241.61 c 1218s| 1050k| 1029k| 0 | 0.0 | 403M| 272 | - | 566 |1300 | 0 | 0 | 0 | 25k| 0 | 1.143000e+03 | -- | Inf
1253.22/1253.65 c 1230s| 1060k| 1039k| 0 | 0.0 | 406M| 272 | - | 566 |1253 | 0 | 0 | 0 | 25k| 0 | 1.145000e+03 | -- | Inf
1265.52/1265.98 c 1242s| 1070k| 1049k| 0 | 0.0 | 410M| 272 | - | 566 |1263 | 0 | 0 | 0 | 25k| 0 | 1.146000e+03 | -- | Inf
1277.41/1277.81 c 1254s| 1080k| 1059k| 0 | 0.0 | 414M| 272 | - | 566 |1248 | 0 | 0 | 0 | 26k| 0 | 1.147000e+03 | -- | Inf
1289.11/1289.55 c 1265s| 1090k| 1069k| 0 | 0.0 | 418M| 272 | - | 566 |1285 | 0 | 0 | 0 | 26k| 0 | 1.148000e+03 | -- | Inf
1301.11/1301.59 c 1277s| 1100k| 1078k| 0 | 0.0 | 422M| 272 | - | 566 |1315 | 0 | 0 | 0 | 26k| 0 | 1.149000e+03 | -- | Inf
1313.40/1313.80 c 1289s| 1110k| 1088k| 0 | 0.0 | 426M| 272 | - | 566 |1375 | 0 | 0 | 0 | 26k| 0 | 1.150000e+03 | -- | Inf
1325.40/1325.87 c 1301s| 1120k| 1098k| 0 | 0.0 | 430M| 272 | - | 566 |1305 | 0 | 0 | 0 | 27k| 0 | 1.151000e+03 | -- | Inf
1337.20/1337.66 c 1313s| 1130k| 1108k| 0 | 0.0 | 434M| 272 | - | 566 |1350 | 0 | 0 | 0 | 27k| 0 | 1.153000e+03 | -- | Inf
1349.09/1349.54 c 1324s| 1140k| 1118k| 0 | 0.0 | 437M| 272 | - | 566 |1335 | 0 | 0 | 0 | 27k| 0 | 1.155000e+03 | -- | Inf
1361.19/1361.64 c 1336s| 1150k| 1127k| 0 | 0.0 | 441M| 272 | - | 566 |1268 | 0 | 0 | 0 | 27k| 0 | 1.156000e+03 | -- | Inf
1373.88/1374.39 c 1349s| 1160k| 1137k| 0 | 0.0 | 445M| 272 | - | 566 |1319 | 0 | 0 | 0 | 28k| 0 | 1.157000e+03 | -- | Inf
1386.38/1386.82 c 1361s| 1170k| 1147k| 0 | 0.0 | 449M| 272 | - | 566 |1345 | 0 | 0 | 0 | 28k| 0 | 1.159000e+03 | -- | Inf
1399.28/1399.77 c 1374s| 1180k| 1157k| 0 | 0.0 | 453M| 272 | - | 566 |1316 | 0 | 0 | 0 | 28k| 0 | 1.160000e+03 | -- | Inf
1411.37/1411.90 c 1386s| 1190k| 1167k| 0 | 0.0 | 457M| 272 | - | 566 |1405 | 0 | 0 | 0 | 28k| 0 | 1.161000e+03 | -- | Inf
1424.16/1424.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1424.16/1424.62 c 1398s| 1200k| 1176k| 0 | 0.0 | 461M| 272 | - | 566 |1422 | 0 | 0 | 0 | 29k| 0 | 1.163000e+03 | -- | Inf
1437.36/1437.82 c 1411s| 1210k| 1186k| 0 | 0.0 | 465M| 272 | - | 566 |1505 | 0 | 0 | 0 | 29k| 0 | 1.165000e+03 | -- | Inf
1448.76/1449.20 c 1422s| 1220k| 1196k| 0 | 0.0 | 469M| 272 | - | 566 |1521 | 0 | 0 | 0 | 29k| 0 | 1.166000e+03 | -- | Inf
1460.85/1461.36 c 1434s| 1230k| 1205k| 0 | 0.0 | 473M| 272 | - | 566 |1595 | 0 | 0 | 0 | 30k| 0 | 1.167000e+03 | -- | Inf
1472.66/1473.12 c 1446s| 1240k| 1215k| 0 | 0.0 | 477M| 272 | - | 566 |1548 | 0 | 0 | 0 | 30k| 0 | 1.168000e+03 | -- | Inf
1485.55/1486.03 c 1458s| 1250k| 1225k| 0 | 0.0 | 480M| 272 | - | 566 |1544 | 0 | 0 | 0 | 30k| 0 | 1.170000e+03 | -- | Inf
1498.14/1498.62 c 1471s| 1260k| 1235k| 0 | 0.0 | 484M| 272 | - | 566 |1496 | 0 | 0 | 0 | 30k| 0 | 1.171000e+03 | -- | Inf
1510.85/1511.35 c 1483s| 1270k| 1245k| 0 | 0.0 | 488M| 272 | - | 566 |1616 | 0 | 0 | 0 | 31k| 0 | 1.171000e+03 | -- | Inf
1523.04/1523.52 c 1495s| 1280k| 1254k| 0 | 0.0 | 492M| 272 | - | 566 |1560 | 0 | 0 | 0 | 31k| 0 | 1.173000e+03 | -- | Inf
1535.83/1536.33 c 1508s| 1290k| 1264k| 0 | 0.0 | 496M| 272 | - | 566 |1531 | 0 | 0 | 0 | 31k| 0 | 1.174000e+03 | -- | Inf
1548.24/1548.79 c 1520s| 1300k| 1274k| 0 | 0.0 | 500M| 272 | - | 566 |1461 | 0 | 0 | 0 | 32k| 0 | 1.176000e+03 | -- | Inf
1560.44/1560.97 c 1532s| 1310k| 1284k| 0 | 0.0 | 504M| 272 | - | 566 |1484 | 0 | 0 | 0 | 32k| 0 | 1.177000e+03 | -- | Inf
1572.53/1573.05 c 1544s| 1320k| 1293k| 0 | 0.0 | 508M| 272 | - | 566 |1546 | 0 | 0 | 0 | 32k| 0 | 1.179000e+03 | -- | Inf
1584.93/1585.41 c 1556s| 1330k| 1303k| 0 | 0.0 | 512M| 272 | - | 566 |1533 | 0 | 0 | 0 | 32k| 0 | 1.180000e+03 | -- | Inf
1596.73/1597.26 c 1568s| 1340k| 1313k| 0 | 0.0 | 516M| 272 | - | 566 |1530 | 0 | 0 | 0 | 33k| 0 | 1.181000e+03 | -- | Inf
1609.31/1609.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1609.31/1609.89 c 1580s| 1350k| 1323k| 0 | 0.0 | 520M| 272 | - | 566 |1489 | 0 | 0 | 0 | 33k| 0 | 1.182000e+03 | -- | Inf
1621.81/1622.39 c 1592s| 1360k| 1333k| 0 | 0.0 | 524M| 272 | - | 566 |1538 | 0 | 0 | 0 | 33k| 0 | 1.183000e+03 | -- | Inf
1634.71/1635.21 c 1605s| 1370k| 1343k| 0 | 0.0 | 527M| 272 | - | 566 |1481 | 0 | 0 | 0 | 33k| 0 | 1.184000e+03 | -- | Inf
1647.10/1647.64 c 1617s| 1380k| 1352k| 0 | 0.0 | 531M| 272 | - | 566 |1457 | 0 | 0 | 0 | 33k| 0 | 1.185000e+03 | -- | Inf
1659.70/1660.29 c 1630s| 1390k| 1362k| 0 | 0.0 | 535M| 272 | - | 566 |1515 | 0 | 0 | 0 | 34k| 0 | 1.187000e+03 | -- | Inf
1672.00/1672.58 c 1642s| 1400k| 1372k| 0 | 0.0 | 539M| 272 | - | 566 |1621 | 0 | 0 | 0 | 34k| 0 | 1.188000e+03 | -- | Inf
1684.60/1685.12 c 1654s| 1410k| 1382k| 0 | 0.0 | 543M| 272 | - | 566 |1681 | 0 | 0 | 0 | 34k| 0 | 1.188000e+03 | -- | Inf
1696.70/1697.21 c 1666s| 1420k| 1392k| 0 | 0.0 | 547M| 272 | - | 566 |1627 | 0 | 0 | 0 | 35k| 0 | 1.189000e+03 | -- | Inf
1709.29/1709.88 c 1678s| 1430k| 1401k| 0 | 0.0 | 551M| 272 | - | 566 |1745 | 0 | 0 | 0 | 35k| 0 | 1.191000e+03 | -- | Inf
1721.39/1721.99 c 1690s| 1440k| 1411k| 0 | 0.0 | 554M| 272 | - | 566 |1746 | 0 | 0 | 0 | 35k| 0 | 1.191000e+03 | -- | Inf
1733.78/1734.30 c 1702s| 1450k| 1421k| 0 | 0.0 | 558M| 272 | - | 566 |1774 | 0 | 0 | 0 | 36k| 0 | 1.191000e+03 | -- | Inf
1746.58/1747.19 c 1715s| 1460k| 1431k| 0 | 0.0 | 562M| 272 | - | 566 |1730 | 0 | 0 | 0 | 36k| 0 | 1.192000e+03 | -- | Inf
1759.28/1759.85 c 1727s| 1470k| 1440k| 0 | 0.0 | 566M| 272 | - | 566 |1631 | 0 | 0 | 0 | 36k| 0 | 1.193000e+03 | -- | Inf
1771.38/1771.99 c 1739s| 1480k| 1450k| 0 | 0.0 | 570M| 272 | - | 566 |1580 | 0 | 0 | 0 | 36k| 0 | 1.194000e+03 | -- | Inf
1784.07/1784.68 c 1752s| 1490k| 1460k| 0 | 0.0 | 574M| 272 | - | 566 |1578 | 0 | 0 | 0 | 36k| 0 | 1.195000e+03 | -- | Inf
1796.67/1797.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.67/1797.25 c 1764s| 1500k| 1470k| 0 | 0.0 | 578M| 272 | - | 566 |1567 | 0 | 0 | 0 | 37k| 0 | 1.196000e+03 | -- | Inf
1800.08/1800.61 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) : 1767.35
1800.08/1800.61 c Solving Nodes : 1502702
1800.08/1800.61 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.08/1800.61 c Dual Bound : +1.19600000000000e+03
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 : 1767.35
1800.08/1800.61 c Original Problem :
1800.08/1800.61 c Problem name : HOME/instance-2664592-1276354090.opb
1800.08/1800.61 c Variables : 572 (572 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 126 initial, 126 maximal
1800.08/1800.61 c Presolved Problem :
1800.08/1800.61 c Problem name : t_HOME/instance-2664592-1276354090.opb
1800.08/1800.61 c Variables : 566 (566 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.61 c Constraints : 124 initial, 1816 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.00 0 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.41 6 0 0 0 0 0 0 0
1800.08/1800.61 c knapsack : 0.04 0 0 0 0 0 0 0 13
1800.08/1800.61 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c linear : 0.00 0 0 0 0 0 2 1 0
1800.08/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.61 c root node : - 0 - - 0 - - - -
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 : 30 0 2126111 0 1490495 3377 804435 0 0 0
1800.08/1800.61 c setppc : 56 0 2122734 0 1490495 2998 1592296 0 0 0
1800.08/1800.61 c linear : 35 0 2119736 0 1490495 8812 1391609 0 0 0
1800.08/1800.61 c logicor : 3+ 0 373567 0 1490234 1141 102132 0 0 0
1800.08/1800.61 c countsols : 0 0 0 0 1490495 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 : 1301.93 0.00 1241.23 0.00 60.70
1800.08/1800.61 c setppc : 33.35 0.00 7.53 0.00 25.82
1800.08/1800.61 c linear : 202.27 0.00 200.34 0.00 1.93
1800.08/1800.61 c logicor : 8.43 0.00 6.46 0.00 1.97
1800.08/1800.61 c countsols : 0.60 0.00 0.00 0.00 0.60
1800.08/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.61 c vbounds : 0.99 2 0 0
1800.08/1800.61 c rootredcost : 1.01 0 0 0
1800.08/1800.61 c pseudoobj : 53.95 2124844 0 0
1800.08/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.61 c propagation : 1.49 16135 16004 58482 44.8 1109 13.0 -
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 : - - - 36805 25.8 - - -
1800.08/1800.61 c applied locally : - - - 315 96.3 - - -
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 : 87.41 1490495 0 0 0 0 2980990
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 : 0.79 0 0
1800.08/1800.61 c trivial : 0.01 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 : 0.78 0 0
1800.08/1800.61 c trysol : 0.74 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 : 1502702
1800.08/1800.61 c nodes (total) : 1502702
1800.08/1800.61 c nodes left : 1473151
1800.08/1800.61 c max depth : 272
1800.08/1800.61 c max depth (total): 272
1800.08/1800.61 c backtracks : 28823 (1.9%)
1800.08/1800.61 c delayed cutoffs : 5138
1800.08/1800.61 c repropagations : 66793 (226741 domain reductions, 4115 cutoffs)
1800.08/1800.61 c avg switch length: 3.92
1800.08/1800.61 c switching time : 31.68
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 : +1.19600000000000e+03
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