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-2664694-1276460155.opb>
0.09/0.17 c original problem has 4360 variables (4360 bin, 0 int, 0 impl, 0 cont) and 8958 constraints
0.09/0.17 c problem read
0.09/0.17 c presolving settings loaded
0.09/0.18 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.19/0.25 c presolving:
0.39/0.45 c (round 1) 2751 del vars, 170 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 162950 impls, 0 clqs
0.49/0.52 c (round 2) 2908 del vars, 4538 del conss, 160 chg bounds, 60 chg sides, 141 chg coeffs, 0 upgd conss, 165412 impls, 0 clqs
0.49/0.54 c (round 3) 2988 del vars, 4901 del conss, 213 chg bounds, 72 chg sides, 154 chg coeffs, 0 upgd conss, 166829 impls, 0 clqs
0.49/0.55 c (round 4) 3106 del vars, 5308 del conss, 293 chg bounds, 78 chg sides, 165 chg coeffs, 0 upgd conss, 167607 impls, 0 clqs
0.49/0.56 c (round 5) 3218 del vars, 5582 del conss, 366 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 167865 impls, 0 clqs
0.49/0.57 c (round 6) 3261 del vars, 5684 del conss, 390 chg bounds, 105 chg sides, 210 chg coeffs, 0 upgd conss, 167952 impls, 0 clqs
0.49/0.57 c (round 7) 3277 del vars, 5732 del conss, 401 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167973 impls, 0 clqs
0.49/0.58 c (round 8) 3279 del vars, 5739 del conss, 402 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167979 impls, 0 clqs
0.49/0.58 c (round 9) 3281 del vars, 5743 del conss, 403 chg bounds, 108 chg sides, 214 chg coeffs, 0 upgd conss, 167981 impls, 0 clqs
0.89/0.93 c (round 10) 3281 del vars, 6009 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.89/0.96 c (round 11) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2646 upgd conss, 167981 impls, 0 clqs
0.89/0.98 c (round 12) 3283 del vars, 6010 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2860 upgd conss, 167981 impls, 0 clqs
1.00/1.05 c (round 13) 3283 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 167981 impls, 0 clqs
1.89/1.95 c (round 14) 3333 del vars, 6021 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281949 impls, 0 clqs
1.89/1.96 c (round 15) 3336 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 281967 impls, 0 clqs
2.39/2.48 c (round 16) 3386 del vars, 6028 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
2.39/2.48 c (round 17) 3386 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 325639 impls, 0 clqs
3.20/3.24 c (round 18) 3436 del vars, 6077 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342041 impls, 0 clqs
3.20/3.25 c (round 19) 3440 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342073 impls, 0 clqs
3.30/3.33 c (round 20) 3490 del vars, 6086 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.30/3.34 c (round 21) 3490 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342859 impls, 0 clqs
3.30/3.38 c (3.1s) probing: 1000/1077 (92.9%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.30/3.39 c (3.1s) probing: 1042/1077 (96.8%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.30/3.39 c (3.1s) probing aborted: 100/100 successive totally useless probings
3.30/3.39 c (round 22) 3517 del vars, 6094 del conss, 403 chg bounds, 250 chg sides, 214 chg coeffs, 2861 upgd conss, 342937 impls, 0 clqs
3.39/3.41 c (3.1s) probing: 1052/1077 (97.7%) - 17 fixings, 210 aggregations, 54400 implications, 0 bound changes
3.39/3.41 c (3.1s) probing aborted: 100/100 successive totally useless probings
3.39/3.41 c presolving (23 rounds):
3.39/3.41 c 3517 deleted vars, 6094 deleted constraints, 403 tightened bounds, 0 added holes, 250 changed sides, 214 changed coefficients
3.39/3.41 c 342937 implications, 0 cliques
3.39/3.41 c presolved problem has 843 variables (843 bin, 0 int, 0 impl, 0 cont) and 2864 constraints
3.39/3.41 c 94 constraints of type <linear>
3.39/3.41 c 2770 constraints of type <logicor>
3.39/3.41 c transformed objective value is always integral (scale: 1)
3.39/3.41 c Presolving Time: 3.06
3.39/3.41 c - non default parameters ----------------------------------------------------------------------
3.39/3.41 c # SCIP version 1.2.1.2
3.39/3.41 c
3.39/3.41 c # frequency for displaying node information lines
3.39/3.41 c # [type: int, range: [-1,2147483647], default: 100]
3.39/3.41 c display/freq = 10000
3.39/3.41 c
3.39/3.41 c # maximal time in seconds to run
3.39/3.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.41 c limits/time = 1799.83
3.39/3.41 c
3.39/3.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.39/3.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.39/3.41 c limits/memory = 1620
3.39/3.41 c
3.39/3.41 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
3.39/3.41 c # [type: int, range: [-1,2147483647], default: 1]
3.39/3.41 c lp/solvefreq = -1
3.39/3.41 c
3.39/3.41 c # should presolving try to simplify inequalities
3.39/3.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.41 c constraints/linear/simplifyinequalities = TRUE
3.39/3.41 c
3.39/3.41 c # should presolving try to simplify knapsacks
3.39/3.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.39/3.41 c constraints/knapsack/simplifyinequalities = TRUE
3.39/3.41 c
3.39/3.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.39/3.41 c # [type: int, range: [-1,2147483647], default: -1]
3.39/3.41 c separating/rapidlearning/freq = 0
3.39/3.41 c
3.39/3.41 c -----------------------------------------------------------------------------------------------
3.39/3.41 c start solving
3.39/3.41 c
3.39/3.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.39/3.41 c 3.1s| 1 | 2 | 0 | - | 16M| 0 | - | 843 |2864 | 0 | 0 | 0 | 0 | 0 | 1.945000e+03 | -- | Inf
11.79/11.87 c 11.2s| 10000 | 9926 | 0 | 0.0 | 23M| 33 | - | 843 |2912 | 0 | 0 | 0 | 49 | 0 | 2.021000e+03 | -- | Inf
20.08/20.12 c 19.0s| 20000 | 19907 | 0 | 0.0 | 30M| 34 | - | 843 |2921 | 0 | 0 | 0 | 60 | 0 | 2.023000e+03 | -- | Inf
28.39/28.42 c 26.9s| 30000 | 29779 | 0 | 0.0 | 38M| 34 | - | 843 |2981 | 0 | 0 | 0 | 135 | 0 | 2.025000e+03 | -- | Inf
36.47/36.50 c 34.6s| 40000 | 39682 | 0 | 0.0 | 45M| 36 | - | 843 |3012 | 0 | 0 | 0 | 175 | 0 | 2.025000e+03 | -- | Inf
44.57/44.68 c 42.4s| 50000 | 49583 | 0 | 0.0 | 53M| 36 | - | 843 |3027 | 0 | 0 | 0 | 214 | 0 | 2.026000e+03 | -- | Inf
53.57/53.67 c 51.0s| 60000 | 59339 | 0 | 0.0 | 61M| 36 | - | 843 |3092 | 0 | 0 | 0 | 296 | 0 | 2.026000e+03 | -- | Inf
62.57/62.69 c 59.5s| 70000 | 69141 | 0 | 0.0 | 70M| 36 | - | 843 |3095 | 0 | 0 | 0 | 311 | 0 | 2.027000e+03 | -- | Inf
71.66/71.77 c 68.2s| 80000 | 79030 | 0 | 0.0 | 79M| 36 | - | 843 |3111 | 0 | 0 | 0 | 331 | 0 | 2.028000e+03 | -- | Inf
80.76/80.88 c 76.9s| 90000 | 88993 | 0 | 0.0 | 87M| 36 | - | 843 |3111 | 0 | 0 | 0 | 333 | 0 | 2.028000e+03 | -- | Inf
89.56/89.63 c 85.2s|100000 | 98786 | 0 | 0.0 | 96M| 36 | - | 843 |3129 | 0 | 0 | 0 | 361 | 0 | 2.028000e+03 | -- | Inf
98.76/98.81 c 94.0s|110000 |108762 | 0 | 0.0 | 104M| 36 | - | 843 |3123 | 0 | 0 | 0 | 363 | 0 | 2.029000e+03 | -- | Inf
108.05/108.18 c 103s|120000 |118677 | 0 | 0.0 | 113M| 36 | - | 843 |3131 | 0 | 0 | 0 | 383 | 0 | 2.029000e+03 | -- | Inf
117.05/117.13 c 111s|130000 |128500 | 0 | 0.0 | 122M| 36 | - | 843 |3132 | 0 | 0 | 0 | 411 | 0 | 2.029000e+03 | -- | Inf
126.25/126.34 c 120s|140000 |138330 | 0 | 0.0 | 131M| 36 | - | 843 |3118 | 0 | 0 | 0 | 411 | 0 | 2.029000e+03 | -- | Inf
135.44/135.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
135.44/135.60 c 129s|150000 |148201 | 0 | 0.0 | 140M| 36 | - | 843 |3119 | 0 | 0 | 0 | 412 | 0 | 2.030000e+03 | -- | Inf
144.74/144.84 c 138s|160000 |158172 | 0 | 0.0 | 148M| 36 | - | 843 |3122 | 0 | 0 | 0 | 415 | 0 | 2.030000e+03 | -- | Inf
154.14/154.20 c 147s|170000 |168111 | 0 | 0.0 | 157M| 36 | - | 843 |3131 | 0 | 0 | 0 | 424 | 0 | 2.030000e+03 | -- | Inf
163.24/163.38 c 156s|180000 |177985 | 0 | 0.0 | 166M| 36 | - | 843 |3155 | 0 | 0 | 0 | 448 | 0 | 2.030000e+03 | -- | Inf
172.34/172.43 c 164s|190000 |187825 | 0 | 0.0 | 175M| 36 | - | 843 |3159 | 0 | 0 | 0 | 453 | 0 | 2.030000e+03 | -- | Inf
181.94/182.03 c 173s|200000 |197650 | 0 | 0.0 | 184M| 36 | - | 843 |3141 | 0 | 0 | 0 | 456 | 0 | 2.031000e+03 | -- | Inf
191.34/191.41 c 182s|210000 |207533 | 0 | 0.0 | 193M| 36 | - | 843 |3143 | 0 | 0 | 0 | 459 | 0 | 2.031000e+03 | -- | Inf
200.63/200.77 c 191s|220000 |217514 | 0 | 0.0 | 202M| 36 | - | 843 |3142 | 0 | 0 | 0 | 461 | 0 | 2.031000e+03 | -- | Inf
210.03/210.12 c 200s|230000 |227504 | 0 | 0.0 | 211M| 36 | - | 843 |3142 | 0 | 0 | 0 | 462 | 0 | 2.031000e+03 | -- | Inf
219.32/219.42 c 209s|240000 |237484 | 0 | 0.0 | 220M| 36 | - | 843 |3143 | 0 | 0 | 0 | 463 | 0 | 2.031000e+03 | -- | Inf
228.32/228.46 c 218s|250000 |247466 | 0 | 0.0 | 229M| 36 | - | 843 |3144 | 0 | 0 | 0 | 464 | 0 | 2.031000e+03 | -- | Inf
237.02/237.11 c 226s|260000 |257405 | 0 | 0.0 | 238M| 36 | - | 843 |3149 | 0 | 0 | 0 | 469 | 0 | 2.031000e+03 | -- | Inf
246.22/246.40 c 235s|270000 |267331 | 0 | 0.0 | 246M| 36 | - | 843 |3149 | 0 | 0 | 0 | 469 | 0 | 2.031000e+03 | -- | Inf
255.81/255.91 c 244s|280000 |277266 | 0 | 0.0 | 255M| 36 | - | 843 |3150 | 0 | 0 | 0 | 473 | 0 | 2.031000e+03 | -- | Inf
264.92/265.03 c 253s|290000 |287098 | 0 | 0.0 | 264M| 37 | - | 843 |3154 | 0 | 0 | 0 | 487 | 0 | 2.032000e+03 | -- | Inf
273.91/274.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
273.91/274.08 c 261s|300000 |297078 | 0 | 0.0 | 273M| 37 | - | 843 |3150 | 0 | 0 | 0 | 490 | 0 | 2.032000e+03 | -- | Inf
283.11/283.24 c 270s|310000 |307072 | 0 | 0.0 | 282M| 37 | - | 843 |3147 | 0 | 0 | 0 | 490 | 0 | 2.032000e+03 | -- | Inf
292.20/292.40 c 279s|320000 |317067 | 0 | 0.0 | 290M| 37 | - | 843 |3146 | 0 | 0 | 0 | 490 | 0 | 2.032000e+03 | -- | Inf
301.50/301.60 c 288s|330000 |327056 | 0 | 0.0 | 299M| 37 | - | 843 |3148 | 0 | 0 | 0 | 492 | 0 | 2.032000e+03 | -- | Inf
310.60/310.72 c 296s|340000 |337053 | 0 | 0.0 | 308M| 37 | - | 843 |3148 | 0 | 0 | 0 | 492 | 0 | 2.032000e+03 | -- | Inf
319.50/319.62 c 305s|350000 |347046 | 0 | 0.0 | 317M| 37 | - | 843 |3148 | 0 | 0 | 0 | 492 | 0 | 2.032000e+03 | -- | Inf
327.89/328.03 c 313s|360000 |357038 | 0 | 0.0 | 325M| 37 | - | 843 |3148 | 0 | 0 | 0 | 492 | 0 | 2.032000e+03 | -- | Inf
337.09/337.29 c 322s|370000 |366965 | 0 | 0.0 | 334M| 37 | - | 843 |3150 | 0 | 0 | 0 | 494 | 0 | 2.032000e+03 | -- | Inf
346.69/346.81 c 331s|380000 |376921 | 0 | 0.0 | 343M| 37 | - | 843 |3150 | 0 | 0 | 0 | 494 | 0 | 2.032000e+03 | -- | Inf
356.29/356.45 c 340s|390000 |386881 | 0 | 0.0 | 353M| 37 | - | 843 |3151 | 0 | 0 | 0 | 497 | 0 | 2.032000e+03 | -- | Inf
365.58/365.73 c 349s|400000 |396812 | 0 | 0.0 | 362M| 37 | - | 843 |3157 | 0 | 0 | 0 | 506 | 0 | 2.032000e+03 | -- | Inf
374.89/375.01 c 358s|410000 |406748 | 0 | 0.0 | 370M| 37 | - | 843 |3164 | 0 | 0 | 0 | 513 | 0 | 2.033000e+03 | -- | Inf
384.17/384.32 c 367s|420000 |416743 | 0 | 0.0 | 379M| 37 | - | 843 |3163 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
393.58/393.73 c 376s|430000 |426741 | 0 | 0.0 | 387M| 37 | - | 843 |3158 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
402.77/402.96 c 384s|440000 |436737 | 0 | 0.0 | 396M| 37 | - | 843 |3157 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
412.17/412.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
412.17/412.33 c 393s|450000 |446733 | 0 | 0.0 | 405M| 37 | - | 843 |3156 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
421.46/421.61 c 402s|460000 |456728 | 0 | 0.0 | 414M| 37 | - | 843 |3154 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
430.77/430.93 c 411s|470000 |466724 | 0 | 0.0 | 422M| 37 | - | 843 |3154 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
439.96/440.19 c 420s|480000 |476720 | 0 | 0.0 | 431M| 38 | - | 843 |3154 | 0 | 0 | 0 | 514 | 0 | 2.033000e+03 | -- | Inf
448.96/449.15 c 428s|490000 |486704 | 0 | 0.0 | 440M| 38 | - | 843 |3154 | 0 | 0 | 0 | 515 | 0 | 2.033000e+03 | -- | Inf
457.55/457.79 c 437s|500000 |496694 | 0 | 0.0 | 449M| 38 | - | 843 |3155 | 0 | 0 | 0 | 516 | 0 | 2.033000e+03 | -- | Inf
466.95/467.11 c 445s|510000 |506626 | 0 | 0.0 | 458M| 38 | - | 843 |3155 | 0 | 0 | 0 | 517 | 0 | 2.033000e+03 | -- | Inf
476.55/476.79 c 455s|520000 |516564 | 0 | 0.0 | 467M| 38 | - | 843 |3154 | 0 | 0 | 0 | 517 | 0 | 2.033000e+03 | -- | Inf
486.25/486.45 c 464s|530000 |526526 | 0 | 0.0 | 476M| 38 | - | 843 |3153 | 0 | 0 | 0 | 517 | 0 | 2.033000e+03 | -- | Inf
495.85/496.02 c 473s|540000 |536485 | 0 | 0.0 | 485M| 38 | - | 843 |3153 | 0 | 0 | 0 | 517 | 0 | 2.033000e+03 | -- | Inf
505.04/505.21 c 482s|550000 |546404 | 0 | 0.0 | 494M| 38 | - | 843 |3157 | 0 | 0 | 0 | 523 | 0 | 2.033000e+03 | -- | Inf
514.34/514.52 c 491s|560000 |556341 | 0 | 0.0 | 502M| 38 | - | 843 |3158 | 0 | 0 | 0 | 524 | 0 | 2.034000e+03 | -- | Inf
523.64/523.87 c 500s|570000 |566338 | 0 | 0.0 | 511M| 38 | - | 843 |3158 | 0 | 0 | 0 | 524 | 0 | 2.034000e+03 | -- | Inf
533.25/533.41 c 509s|580000 |576337 | 0 | 0.0 | 520M| 38 | - | 843 |3158 | 0 | 0 | 0 | 524 | 0 | 2.034000e+03 | -- | Inf
542.53/542.78 c 518s|590000 |586323 | 0 | 0.0 | 528M| 38 | - | 843 |3165 | 0 | 0 | 0 | 531 | 0 | 2.034000e+03 | -- | Inf
551.83/552.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
551.83/552.08 c 526s|600000 |596312 | 0 | 0.0 | 537M| 38 | - | 843 |3170 | 0 | 0 | 0 | 537 | 0 | 2.034000e+03 | -- | Inf
561.23/561.46 c 535s|610000 |606308 | 0 | 0.0 | 546M| 38 | - | 843 |3163 | 0 | 0 | 0 | 538 | 0 | 2.034000e+03 | -- | Inf
570.63/570.88 c 544s|620000 |616300 | 0 | 0.0 | 554M| 38 | - | 843 |3165 | 0 | 0 | 0 | 543 | 0 | 2.034000e+03 | -- | Inf
579.92/580.11 c 553s|630000 |626275 | 0 | 0.0 | 563M| 38 | - | 843 |3169 | 0 | 0 | 0 | 555 | 0 | 2.034000e+03 | -- | Inf
589.21/589.41 c 562s|640000 |636261 | 0 | 0.0 | 572M| 38 | - | 843 |3172 | 0 | 0 | 0 | 562 | 0 | 2.034000e+03 | -- | Inf
598.32/598.56 c 571s|650000 |646251 | 0 | 0.0 | 581M| 38 | - | 843 |3168 | 0 | 0 | 0 | 565 | 0 | 2.034000e+03 | -- | Inf
607.41/607.65 c 579s|660000 |656235 | 0 | 0.0 | 589M| 38 | - | 843 |3167 | 0 | 0 | 0 | 568 | 0 | 2.034000e+03 | -- | Inf
616.21/616.49 c 588s|670000 |666215 | 0 | 0.0 | 598M| 38 | - | 843 |3164 | 0 | 0 | 0 | 568 | 0 | 2.034000e+03 | -- | Inf
625.21/625.41 c 596s|680000 |676124 | 0 | 0.0 | 607M| 38 | - | 843 |3161 | 0 | 0 | 0 | 571 | 0 | 2.034000e+03 | -- | Inf
634.80/635.00 c 605s|690000 |686061 | 0 | 0.0 | 616M| 38 | - | 843 |3163 | 0 | 0 | 0 | 580 | 0 | 2.034000e+03 | -- | Inf
644.40/644.61 c 615s|700000 |695978 | 0 | 0.0 | 625M| 38 | - | 843 |3167 | 0 | 0 | 0 | 584 | 0 | 2.034000e+03 | -- | Inf
654.00/654.29 c 624s|710000 |705924 | 0 | 0.0 | 634M| 38 | - | 843 |3171 | 0 | 0 | 0 | 588 | 0 | 2.034000e+03 | -- | Inf
663.69/663.94 c 633s|720000 |715841 | 0 | 0.0 | 643M| 38 | - | 843 |3175 | 0 | 0 | 0 | 595 | 0 | 2.034000e+03 | -- | Inf
673.09/673.39 c 642s|730000 |725723 | 0 | 0.0 | 652M| 38 | - | 843 |3176 | 0 | 0 | 0 | 609 | 0 | 2.034000e+03 | -- | Inf
682.39/682.62 c 651s|740000 |735647 | 0 | 0.0 | 661M| 38 | - | 843 |3172 | 0 | 0 | 0 | 609 | 0 | 2.035000e+03 | -- | Inf
691.69/691.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.69/691.96 c 660s|750000 |745640 | 0 | 0.0 | 669M| 38 | - | 843 |3172 | 0 | 0 | 0 | 609 | 0 | 2.035000e+03 | -- | Inf
701.08/701.31 c 669s|760000 |755638 | 0 | 0.0 | 678M| 38 | - | 843 |3172 | 0 | 0 | 0 | 609 | 0 | 2.035000e+03 | -- | Inf
710.39/710.64 c 678s|770000 |765638 | 0 | 0.0 | 687M| 38 | - | 843 |3172 | 0 | 0 | 0 | 609 | 0 | 2.035000e+03 | -- | Inf
719.57/719.86 c 686s|780000 |775632 | 0 | 0.0 | 696M| 38 | - | 843 |3172 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
728.87/729.11 c 695s|790000 |785632 | 0 | 0.0 | 704M| 38 | - | 843 |3172 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
738.17/738.44 c 704s|800000 |795632 | 0 | 0.0 | 713M| 38 | - | 843 |3172 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
747.36/747.65 c 713s|810000 |805632 | 0 | 0.0 | 722M| 38 | - | 843 |3170 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
756.66/756.91 c 722s|820000 |815631 | 0 | 0.0 | 730M| 38 | - | 843 |3170 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
765.76/766.03 c 730s|830000 |825628 | 0 | 0.0 | 739M| 38 | - | 843 |3170 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
774.96/775.25 c 739s|840000 |835628 | 0 | 0.0 | 748M| 38 | - | 843 |3169 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
784.06/784.36 c 748s|850000 |845626 | 0 | 0.0 | 757M| 38 | - | 843 |3167 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
792.95/793.29 c 756s|860000 |855623 | 0 | 0.0 | 765M| 38 | - | 843 |3167 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
801.95/802.25 c 765s|870000 |865622 | 0 | 0.0 | 774M| 38 | - | 843 |3167 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
810.85/811.14 c 774s|880000 |875618 | 0 | 0.0 | 783M| 38 | - | 843 |3166 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
819.26/819.53 c 781s|890000 |885613 | 0 | 0.0 | 792M| 38 | - | 843 |3165 | 0 | 0 | 0 | 611 | 0 | 2.035000e+03 | -- | Inf
828.54/828.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.54/828.88 c 790s|900000 |895563 | 0 | 0.0 | 801M| 38 | - | 843 |3166 | 0 | 0 | 0 | 612 | 0 | 2.035000e+03 | -- | Inf
837.94/838.21 c 799s|910000 |905552 | 0 | 0.0 | 810M| 38 | - | 843 |3166 | 0 | 0 | 0 | 612 | 0 | 2.035000e+03 | -- | Inf
847.43/847.75 c 808s|920000 |915513 | 0 | 0.0 | 819M| 38 | - | 843 |3171 | 0 | 0 | 0 | 617 | 0 | 2.035000e+03 | -- | Inf
857.13/857.46 c 818s|930000 |925422 | 0 | 0.0 | 828M| 38 | - | 843 |3194 | 0 | 0 | 0 | 640 | 0 | 2.035000e+03 | -- | Inf
866.63/866.99 c 827s|940000 |935320 | 0 | 0.0 | 837M| 38 | - | 843 |3205 | 0 | 0 | 0 | 652 | 0 | 2.035000e+03 | -- | Inf
876.33/876.62 c 836s|950000 |945222 | 0 | 0.0 | 846M| 38 | - | 843 |3214 | 0 | 0 | 0 | 662 | 0 | 2.035000e+03 | -- | Inf
885.72/886.02 c 845s|960000 |955001 | 0 | 0.0 | 855M| 38 | - | 843 |3233 | 0 | 0 | 0 | 685 | 0 | 2.035000e+03 | -- | Inf
895.32/895.63 c 854s|970000 |964991 | 0 | 0.0 | 863M| 38 | - | 843 |3233 | 0 | 0 | 0 | 685 | 0 | 2.036000e+03 | -- | Inf
904.93/905.28 c 863s|980000 |974988 | 0 | 0.0 | 872M| 38 | - | 843 |3233 | 0 | 0 | 0 | 685 | 0 | 2.036000e+03 | -- | Inf
914.71/915.07 c 873s|990000 |984988 | 0 | 0.0 | 881M| 38 | - | 843 |3231 | 0 | 0 | 0 | 685 | 0 | 2.036000e+03 | -- | Inf
924.61/924.90 c 882s| 1000k|994988 | 0 | 0.0 | 890M| 38 | - | 843 |3231 | 0 | 0 | 0 | 685 | 0 | 2.036000e+03 | -- | Inf
934.40/934.71 c 891s| 1010k| 1004k| 0 | 0.0 | 899M| 38 | - | 843 |3234 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
944.31/944.64 c 901s| 1020k| 1014k| 0 | 0.0 | 908M| 38 | - | 843 |3230 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
954.09/954.46 c 910s| 1030k| 1024k| 0 | 0.0 | 917M| 38 | - | 843 |3215 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
964.09/964.45 c 920s| 1040k| 1034k| 0 | 0.0 | 926M| 38 | - | 843 |3207 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
973.79/974.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.79/974.19 c 929s| 1050k| 1044k| 0 | 0.0 | 935M| 38 | - | 843 |3202 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
983.69/984.03 c 938s| 1060k| 1054k| 0 | 0.0 | 944M| 38 | - | 843 |3199 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
993.09/993.48 c 947s| 1070k| 1064k| 0 | 0.0 | 952M| 38 | - | 843 |3190 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
1002.80/1003.11 c 957s| 1080k| 1074k| 0 | 0.0 | 961M| 38 | - | 843 |3188 | 0 | 0 | 0 | 689 | 0 | 2.036000e+03 | -- | Inf
1012.18/1012.52 c 966s| 1090k| 1084k| 0 | 0.0 | 970M| 38 | - | 843 |3189 | 0 | 0 | 0 | 692 | 0 | 2.036000e+03 | -- | Inf
1021.48/1021.86 c 974s| 1100k| 1094k| 0 | 0.0 | 979M| 38 | - | 843 |3189 | 0 | 0 | 0 | 692 | 0 | 2.036000e+03 | -- | Inf
1030.78/1031.14 c 983s| 1110k| 1104k| 0 | 0.0 | 988M| 38 | - | 843 |3193 | 0 | 0 | 0 | 697 | 0 | 2.036000e+03 | -- | Inf
1040.07/1040.45 c 992s| 1120k| 1114k| 0 | 0.0 | 997M| 38 | - | 843 |3187 | 0 | 0 | 0 | 697 | 0 | 2.036000e+03 | -- | Inf
1049.17/1049.51 c 1001s| 1130k| 1124k| 0 | 0.0 |1006M| 38 | - | 843 |3187 | 0 | 0 | 0 | 700 | 0 | 2.036000e+03 | -- | Inf
1058.06/1058.46 c 1009s| 1140k| 1134k| 0 | 0.0 |1015M| 38 | - | 843 |3191 | 0 | 0 | 0 | 706 | 0 | 2.036000e+03 | -- | Inf
1066.46/1066.80 c 1017s| 1150k| 1144k| 0 | 0.0 |1024M| 38 | - | 843 |3193 | 0 | 0 | 0 | 708 | 0 | 2.036000e+03 | -- | Inf
1076.36/1076.72 c 1027s| 1160k| 1154k| 0 | 0.0 |1033M| 38 | - | 843 |3197 | 0 | 0 | 0 | 712 | 0 | 2.036000e+03 | -- | Inf
1086.47/1086.81 c 1036s| 1170k| 1164k| 0 | 0.0 |1042M| 38 | - | 843 |3209 | 0 | 0 | 0 | 724 | 0 | 2.036000e+03 | -- | Inf
1096.36/1096.75 c 1046s| 1180k| 1174k| 0 | 0.0 |1051M| 38 | - | 843 |3219 | 0 | 0 | 0 | 738 | 0 | 2.036000e+03 | -- | Inf
1106.46/1106.86 c 1055s| 1190k| 1184k| 0 | 0.0 |1060M| 38 | - | 843 |3224 | 0 | 0 | 0 | 751 | 0 | 2.036000e+03 | -- | Inf
1116.65/1117.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.65/1117.02 c 1065s| 1200k| 1194k| 0 | 0.0 |1070M| 38 | - | 843 |3244 | 0 | 0 | 0 | 775 | 0 | 2.036000e+03 | -- | Inf
1126.74/1127.13 c 1075s| 1210k| 1204k| 0 | 0.0 |1079M| 38 | - | 843 |3264 | 0 | 0 | 0 | 797 | 0 | 2.036000e+03 | -- | Inf
1136.55/1136.92 c 1084s| 1220k| 1214k| 0 | 0.0 |1088M| 38 | - | 843 |3288 | 0 | 0 | 0 | 821 | 0 | 2.036000e+03 | -- | Inf
1146.64/1147.02 c 1094s| 1230k| 1224k| 0 | 0.0 |1097M| 38 | - | 843 |3288 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1156.23/1156.69 c 1103s| 1240k| 1234k| 0 | 0.0 |1106M| 38 | - | 843 |3288 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1165.94/1166.37 c 1112s| 1250k| 1244k| 0 | 0.0 |1115M| 38 | - | 843 |3288 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1175.83/1176.29 c 1122s| 1260k| 1254k| 0 | 0.0 |1124M| 38 | - | 843 |3277 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1185.73/1186.19 c 1131s| 1270k| 1264k| 0 | 0.0 |1133M| 38 | - | 843 |3276 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1195.83/1196.21 c 1141s| 1280k| 1274k| 0 | 0.0 |1141M| 38 | - | 843 |3275 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1205.72/1206.12 c 1150s| 1290k| 1284k| 0 | 0.0 |1151M| 38 | - | 843 |3275 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1215.62/1216.07 c 1160s| 1300k| 1294k| 0 | 0.0 |1159M| 38 | - | 843 |3275 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1225.52/1225.96 c 1169s| 1310k| 1304k| 0 | 0.0 |1168M| 38 | - | 843 |3273 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1235.51/1235.93 c 1179s| 1320k| 1314k| 0 | 0.0 |1177M| 38 | - | 843 |3265 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1245.41/1245.90 c 1188s| 1330k| 1324k| 0 | 0.0 |1186M| 38 | - | 843 |3263 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1255.31/1255.75 c 1198s| 1340k| 1334k| 0 | 0.0 |1195M| 38 | - | 843 |3263 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1265.10/1265.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.10/1265.54 c 1207s| 1350k| 1344k| 0 | 0.0 |1204M| 38 | - | 843 |3258 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1274.70/1275.14 c 1216s| 1360k| 1354k| 0 | 0.0 |1213M| 38 | - | 843 |3255 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1284.31/1284.75 c 1225s| 1370k| 1364k| 0 | 0.0 |1222M| 38 | - | 843 |3253 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1293.89/1294.39 c 1234s| 1380k| 1374k| 0 | 0.0 |1231M| 38 | - | 843 |3248 | 0 | 0 | 0 | 821 | 0 | 2.037000e+03 | -- | Inf
1303.59/1304.03 c 1244s| 1390k| 1384k| 0 | 0.0 |1240M| 38 | - | 843 |3246 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1312.99/1313.47 c 1253s| 1400k| 1394k| 0 | 0.0 |1249M| 38 | - | 843 |3235 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1322.48/1322.92 c 1262s| 1410k| 1404k| 0 | 0.0 |1257M| 38 | - | 843 |3230 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1331.78/1332.27 c 1270s| 1420k| 1414k| 0 | 0.0 |1266M| 38 | - | 843 |3218 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1340.98/1341.41 c 1279s| 1430k| 1424k| 0 | 0.0 |1275M| 38 | - | 843 |3216 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1350.17/1350.65 c 1288s| 1440k| 1434k| 0 | 0.0 |1284M| 38 | - | 843 |3206 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1359.18/1359.69 c 1297s| 1450k| 1444k| 0 | 0.0 |1293M| 38 | - | 843 |3203 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1367.88/1368.35 c 1305s| 1460k| 1454k| 0 | 0.0 |1302M| 38 | - | 843 |3199 | 0 | 0 | 0 | 823 | 0 | 2.037000e+03 | -- | Inf
1377.67/1378.16 c 1314s| 1470k| 1464k| 0 | 0.0 |1311M| 39 | - | 843 |3220 | 0 | 0 | 0 | 844 | 0 | 2.037000e+03 | -- | Inf
1387.77/1388.27 c 1324s| 1480k| 1474k| 0 | 0.0 |1320M| 39 | - | 843 |3229 | 0 | 0 | 0 | 853 | 0 | 2.037000e+03 | -- | Inf
1398.06/1398.51 c 1334s| 1490k| 1484k| 0 | 0.0 |1329M| 39 | - | 843 |3250 | 0 | 0 | 0 | 876 | 0 | 2.037000e+03 | -- | Inf
1408.15/1408.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1408.15/1408.63 c 1343s| 1500k| 1493k| 0 | 0.0 |1339M| 39 | - | 843 |3302 | 0 | 0 | 0 | 931 | 0 | 2.037000e+03 | -- | Inf
1418.26/1418.71 c 1353s| 1510k| 1503k| 0 | 0.0 |1348M| 39 | - | 843 |3323 | 0 | 0 | 0 | 953 | 0 | 2.037000e+03 | -- | Inf
1428.36/1428.80 c 1362s| 1520k| 1513k| 0 | 0.0 |1357M| 39 | - | 843 |3343 | 0 | 0 | 0 | 973 | 0 | 2.037000e+03 | -- | Inf
1430.15/1430.62 c (node 1521848) switching to memory saving mode (mem: 1296.0M/1620.0M)
1441.25/1441.75 c (node 1521882) switching to standard mode (mem: 648.0M/1620.0M)
1451.84/1452.38 c
1451.84/1452.38 c SCIP Status : problem is solved [infeasible]
1451.84/1452.38 c Solving Time (sec) : 1383.87
1451.84/1452.38 c Solving Nodes : 1521882
1451.84/1452.38 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1451.84/1452.38 c Dual Bound : +1.00000000000000e+20
1451.84/1452.38 c Gap : 0.00 %
1451.84/1452.38 s UNSATISFIABLE
1451.84/1452.38 c SCIP Status : problem is solved [infeasible]
1451.84/1452.38 c Solving Time : 1383.87
1451.84/1452.38 c Original Problem :
1451.84/1452.38 c Problem name : HOME/instance-2664694-1276460155.opb
1451.84/1452.38 c Variables : 4360 (4360 binary, 0 integer, 0 implicit integer, 0 continuous)
1451.84/1452.38 c Constraints : 8958 initial, 8958 maximal
1451.84/1452.38 c Presolved Problem :
1451.84/1452.38 c Problem name : t_HOME/instance-2664694-1276460155.opb
1451.84/1452.38 c Variables : 843 (843 binary, 0 integer, 0 implicit integer, 0 continuous)
1451.84/1452.38 c Constraints : 2864 initial, 3370 maximal
1451.84/1452.38 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1451.84/1452.38 c trivial : 0.01 13 0 0 0 0 0 0 0
1451.84/1452.38 c dualfix : 0.00 113 0 0 0 0 0 0 0
1451.84/1452.38 c boundshift : 0.00 0 0 0 0 0 0 0 0
1451.84/1452.38 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1451.84/1452.38 c implics : 0.17 0 2702 0 0 0 0 0 0
1451.84/1452.38 c probing : 2.19 17 210 0 0 0 0 0 0
1451.84/1452.38 c linear : 0.37 390 71 0 403 0 6003 250 214
1451.84/1452.38 c logicor : 0.28 1 0 0 0 0 91 0 0
1451.84/1452.38 c root node : - 27 - - 27 - - - -
1451.84/1452.38 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1451.84/1452.38 c integral : 0 0 0 0 0 0 0 0 0 0
1451.84/1452.38 c linear : 94 0 8391815 0 1520916 1 384879 0 0 0
1451.84/1452.38 c logicor : 2770+ 0 8324236 0 1520916 1026 18157823 0 0 0
1451.84/1452.38 c countsols : 0 0 0 0 1520916 0 0 0 0 0
1451.84/1452.38 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1451.84/1452.38 c integral : 0.00 0.00 0.00 0.00 0.00
1451.84/1452.38 c linear : 31.16 0.00 29.21 0.00 1.95
1451.84/1452.38 c logicor : 459.35 0.00 148.66 0.00 310.69
1451.84/1452.38 c countsols : 0.63 0.00 0.00 0.00 0.63
1451.84/1452.38 c Propagators : Time Calls Cutoffs DomReds
1451.84/1452.38 c vbounds : 4.01 2 0 0
1451.84/1452.38 c rootredcost : 3.75 0 0 0
1451.84/1452.38 c pseudoobj : 182.00 8387391 0 0
1451.84/1452.38 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1451.84/1452.38 c propagation : 0.02 1019 920 1096 3.8 26 3.6 -
1451.84/1452.38 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1451.84/1452.38 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1451.84/1452.38 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1451.84/1452.38 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1451.84/1452.38 c applied globally : - - - 1030 3.7 - - -
1451.84/1452.38 c applied locally : - - - 0 0.0 - - -
1451.84/1452.38 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1451.84/1452.38 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1451.84/1452.38 c redcost : 0.00 0 0 0 0 0
1451.84/1452.38 c impliedbounds : 0.00 0 0 0 0 0
1451.84/1452.38 c intobj : 0.00 0 0 0 0 0
1451.84/1452.38 c cgmip : 0.00 0 0 0 0 0
1451.84/1452.38 c gomory : 0.00 0 0 0 0 0
1451.84/1452.38 c strongcg : 0.00 0 0 0 0 0
1451.84/1452.38 c cmir : 0.00 0 0 0 0 0
1451.84/1452.38 c flowcover : 0.00 0 0 0 0 0
1451.84/1452.38 c clique : 0.00 0 0 0 0 0
1451.84/1452.38 c zerohalf : 0.00 0 0 0 0 0
1451.84/1452.38 c mcf : 0.00 0 0 0 0 0
1451.84/1452.38 c rapidlearning : 0.00 0 0 0 0 0
1451.84/1452.38 c Pricers : Time Calls Vars
1451.84/1452.38 c problem variables: 0.00 0 0
1451.84/1452.38 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1451.84/1452.38 c relpscost : 0.00 0 0 0 0 0 0
1451.84/1452.38 c pscost : 0.00 0 0 0 0 0 0
1451.84/1452.38 c inference : 140.78 1520916 0 0 0 0 3041832
1451.84/1452.38 c mostinf : 0.00 0 0 0 0 0 0
1451.84/1452.38 c leastinf : 0.00 0 0 0 0 0 0
1451.84/1452.38 c fullstrong : 0.00 0 0 0 0 0 0
1451.84/1452.38 c allfullstrong : 0.00 0 0 0 0 0 0
1451.84/1452.38 c random : 0.00 0 0 0 0 0 0
1451.84/1452.38 c Primal Heuristics : Time Calls Found
1451.84/1452.38 c LP solutions : 0.00 - 0
1451.84/1452.38 c pseudo solutions : 0.00 - 0
1451.84/1452.38 c oneopt : 0.94 0 0
1451.84/1452.38 c trivial : 0.02 2 0
1451.84/1452.38 c simplerounding : 0.00 0 0
1451.84/1452.38 c zirounding : 0.00 0 0
1451.84/1452.38 c rounding : 0.00 0 0
1451.84/1452.38 c shifting : 0.00 0 0
1451.84/1452.38 c intshifting : 0.00 0 0
1451.84/1452.38 c twoopt : 0.00 0 0
1451.84/1452.38 c fixandinfer : 0.00 0 0
1451.84/1452.38 c feaspump : 0.00 0 0
1451.84/1452.38 c coefdiving : 0.00 0 0
1451.84/1452.38 c pscostdiving : 0.00 0 0
1451.84/1452.38 c fracdiving : 0.00 0 0
1451.84/1452.38 c veclendiving : 0.00 0 0
1451.84/1452.38 c intdiving : 0.00 0 0
1451.84/1452.38 c actconsdiving : 0.00 0 0
1451.84/1452.38 c objpscostdiving : 0.00 0 0
1451.84/1452.38 c rootsoldiving : 0.00 0 0
1451.84/1452.38 c linesearchdiving : 0.00 0 0
1451.84/1452.38 c guideddiving : 0.00 0 0
1451.84/1452.38 c octane : 0.00 0 0
1451.84/1452.38 c rens : 0.00 0 0
1451.84/1452.38 c rins : 0.00 0 0
1451.84/1452.38 c localbranching : 0.00 0 0
1451.84/1452.38 c mutation : 0.00 0 0
1451.84/1452.38 c crossover : 0.00 0 0
1451.84/1452.38 c dins : 0.00 0 0
1451.84/1452.38 c undercover : 0.00 0 0
1451.84/1452.38 c nlp : 0.97 0 0
1451.84/1452.38 c trysol : 0.67 0 0
1451.84/1452.38 c LP : Time Calls Iterations Iter/call Iter/sec
1451.84/1452.38 c primal LP : 0.00 0 0 0.00 -
1451.84/1452.38 c dual LP : 0.00 0 0 0.00 -
1451.84/1452.38 c lex dual LP : 0.00 0 0 0.00 -
1451.84/1452.38 c barrier LP : 0.00 0 0 0.00 -
1451.84/1452.38 c diving/probing LP: 0.00 0 0 0.00 -
1451.84/1452.38 c strong branching : 0.00 0 0 0.00 -
1451.84/1452.38 c (at root node) : - 0 0 0.00 -
1451.84/1452.38 c conflict analysis: 0.00 0 0 0.00 -
1451.84/1452.38 c B&B Tree :
1451.84/1452.38 c number of runs : 1
1451.84/1452.38 c nodes : 1521882
1451.84/1452.38 c nodes (total) : 1521882
1451.84/1452.38 c nodes left : 0
1451.84/1452.38 c max depth : 57
1451.84/1452.38 c max depth (total): 57
1451.84/1452.38 c backtracks : 261090 (17.2%)
1451.84/1452.38 c delayed cutoffs : 1519951
1451.84/1452.38 c repropagations : 6207 (6066 domain reductions, 53 cutoffs)
1451.84/1452.38 c avg switch length: 7.69
1451.84/1452.38 c switching time : 443.25
1451.84/1452.38 c Solution :
1451.84/1452.38 c Solutions found : 0 (0 improvements)
1451.84/1452.38 c Primal Bound : infeasible
1451.84/1452.38 c Dual Bound : -
1451.84/1452.38 c Gap : 0.00 %
1451.84/1452.38 c Root Dual Bound : +1.94500000000000e+03
1451.84/1452.38 c Root Iterations : 0
1451.94/1452.46 c Time complete: 1452.01.