0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver SoPlex 1.4.1
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1869014-1245154360.opb>
0.19/0.22 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13489 constraints
0.19/0.29 c start presolving problem
0.19/0.29 c presolving:
0.29/0.38 c (round 1) 2925 del vars, 496 del conss, 323 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38106 impls, 0 clqs
0.39/0.44 c (round 2) 3199 del vars, 4444 del conss, 358 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 49388 impls, 0 clqs
0.39/0.46 c (round 3) 3234 del vars, 4874 del conss, 373 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 49707 impls, 0 clqs
0.39/0.47 c (round 4) 3269 del vars, 4958 del conss, 389 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 50118 impls, 0 clqs
0.39/0.48 c (round 5) 3304 del vars, 5050 del conss, 403 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 50485 impls, 0 clqs
0.39/0.49 c (round 6) 3333 del vars, 5124 del conss, 415 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 50808 impls, 0 clqs
0.49/0.50 c (round 7) 3356 del vars, 5191 del conss, 425 chg bounds, 16 chg sides, 32 chg coeffs, 0 upgd conss, 51028 impls, 0 clqs
0.49/0.51 c (round 8) 3376 del vars, 5244 del conss, 434 chg bounds, 20 chg sides, 40 chg coeffs, 0 upgd conss, 51260 impls, 0 clqs
0.49/0.52 c (round 9) 3392 del vars, 5288 del conss, 442 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 51440 impls, 0 clqs
0.49/0.52 c (round 10) 3408 del vars, 5328 del conss, 450 chg bounds, 28 chg sides, 56 chg coeffs, 0 upgd conss, 51566 impls, 0 clqs
0.49/0.53 c (round 11) 3424 del vars, 5368 del conss, 458 chg bounds, 32 chg sides, 64 chg coeffs, 0 upgd conss, 51692 impls, 0 clqs
0.49/0.54 c (round 12) 3440 del vars, 5408 del conss, 466 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 51814 impls, 0 clqs
0.49/0.55 c (round 13) 3456 del vars, 5448 del conss, 474 chg bounds, 40 chg sides, 80 chg coeffs, 0 upgd conss, 51970 impls, 0 clqs
0.49/0.56 c (round 14) 3472 del vars, 5488 del conss, 482 chg bounds, 44 chg sides, 88 chg coeffs, 0 upgd conss, 52096 impls, 0 clqs
0.49/0.57 c (round 15) 3489 del vars, 5529 del conss, 491 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 52238 impls, 0 clqs
0.49/0.58 c (round 16) 3505 del vars, 5569 del conss, 499 chg bounds, 52 chg sides, 104 chg coeffs, 0 upgd conss, 52362 impls, 0 clqs
0.49/0.58 c (round 17) 3514 del vars, 5606 del conss, 508 chg bounds, 56 chg sides, 112 chg coeffs, 0 upgd conss, 52394 impls, 0 clqs
0.49/0.59 c (round 18) 3529 del vars, 5632 del conss, 517 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 52528 impls, 0 clqs
0.59/0.60 c (round 19) 3545 del vars, 5672 del conss, 527 chg bounds, 66 chg sides, 132 chg coeffs, 0 upgd conss, 52652 impls, 0 clqs
0.59/0.61 c (round 20) 3559 del vars, 5706 del conss, 535 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 52795 impls, 0 clqs
0.59/0.62 c (round 21) 3577 del vars, 5752 del conss, 547 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 52892 impls, 0 clqs
0.59/0.63 c (round 22) 3591 del vars, 5786 del conss, 555 chg bounds, 76 chg sides, 152 chg coeffs, 0 upgd conss, 53011 impls, 0 clqs
0.59/0.63 c (round 23) 3602 del vars, 5828 del conss, 566 chg bounds, 79 chg sides, 158 chg coeffs, 0 upgd conss, 53040 impls, 0 clqs
0.59/0.64 c (round 24) 3615 del vars, 5861 del conss, 578 chg bounds, 82 chg sides, 164 chg coeffs, 0 upgd conss, 53099 impls, 0 clqs
0.59/0.65 c (round 25) 3631 del vars, 5900 del conss, 592 chg bounds, 84 chg sides, 168 chg coeffs, 0 upgd conss, 53147 impls, 0 clqs
0.59/0.66 c (round 26) 3647 del vars, 5941 del conss, 606 chg bounds, 87 chg sides, 174 chg coeffs, 0 upgd conss, 53225 impls, 0 clqs
0.59/0.67 c (round 27) 3663 del vars, 5982 del conss, 620 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 53303 impls, 0 clqs
0.59/0.68 c (round 28) 3679 del vars, 6015 del conss, 633 chg bounds, 92 chg sides, 184 chg coeffs, 0 upgd conss, 53375 impls, 0 clqs
0.59/0.68 c (round 29) 3695 del vars, 6054 del conss, 646 chg bounds, 94 chg sides, 188 chg coeffs, 0 upgd conss, 53471 impls, 0 clqs
0.59/0.69 c (round 30) 3708 del vars, 6091 del conss, 658 chg bounds, 97 chg sides, 194 chg coeffs, 0 upgd conss, 53554 impls, 0 clqs
0.69/0.70 c (round 31) 3726 del vars, 6136 del conss, 672 chg bounds, 100 chg sides, 198 chg coeffs, 0 upgd conss, 53598 impls, 0 clqs
0.69/0.71 c (round 32) 3744 del vars, 6169 del conss, 684 chg bounds, 103 chg sides, 204 chg coeffs, 0 upgd conss, 53752 impls, 0 clqs
0.69/0.72 c (round 33) 3755 del vars, 6214 del conss, 694 chg bounds, 104 chg sides, 206 chg coeffs, 0 upgd conss, 53809 impls, 0 clqs
0.69/0.72 c (round 34) 3772 del vars, 6246 del conss, 709 chg bounds, 109 chg sides, 216 chg coeffs, 0 upgd conss, 53879 impls, 0 clqs
0.69/0.73 c (round 35) 3787 del vars, 6289 del conss, 724 chg bounds, 114 chg sides, 226 chg coeffs, 0 upgd conss, 53918 impls, 0 clqs
0.69/0.74 c (round 36) 3806 del vars, 6330 del conss, 740 chg bounds, 118 chg sides, 234 chg coeffs, 0 upgd conss, 54003 impls, 0 clqs
0.69/0.75 c (round 37) 3820 del vars, 6372 del conss, 751 chg bounds, 123 chg sides, 244 chg coeffs, 0 upgd conss, 54097 impls, 0 clqs
0.69/0.75 c (round 38) 3833 del vars, 6406 del conss, 765 chg bounds, 127 chg sides, 252 chg coeffs, 0 upgd conss, 54127 impls, 0 clqs
0.69/0.76 c (round 39) 3852 del vars, 6446 del conss, 778 chg bounds, 133 chg sides, 264 chg coeffs, 0 upgd conss, 54222 impls, 0 clqs
0.69/0.77 c (round 40) 3866 del vars, 6487 del conss, 789 chg bounds, 136 chg sides, 270 chg coeffs, 0 upgd conss, 54338 impls, 0 clqs
0.69/0.78 c (round 41) 3886 del vars, 6528 del conss, 805 chg bounds, 140 chg sides, 278 chg coeffs, 0 upgd conss, 54428 impls, 0 clqs
0.69/0.79 c (round 42) 3901 del vars, 6566 del conss, 815 chg bounds, 143 chg sides, 284 chg coeffs, 0 upgd conss, 54539 impls, 0 clqs
0.69/0.79 c (round 43) 3917 del vars, 6606 del conss, 827 chg bounds, 146 chg sides, 292 chg coeffs, 0 upgd conss, 54631 impls, 0 clqs
0.79/0.80 c (round 44) 3930 del vars, 6644 del conss, 841 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 54667 impls, 0 clqs
0.79/0.81 c (round 45) 3942 del vars, 6682 del conss, 851 chg bounds, 153 chg sides, 306 chg coeffs, 0 upgd conss, 54726 impls, 0 clqs
0.79/0.82 c (round 46) 3958 del vars, 6717 del conss, 867 chg bounds, 158 chg sides, 316 chg coeffs, 0 upgd conss, 54781 impls, 0 clqs
0.79/0.82 c (round 47) 3978 del vars, 6754 del conss, 883 chg bounds, 164 chg sides, 328 chg coeffs, 0 upgd conss, 54890 impls, 0 clqs
0.79/0.83 c (round 48) 3993 del vars, 6806 del conss, 897 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 54952 impls, 0 clqs
0.79/0.84 c (round 49) 4011 del vars, 6843 del conss, 911 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 55042 impls, 0 clqs
0.79/0.85 c (round 50) 4026 del vars, 6884 del conss, 922 chg bounds, 175 chg sides, 348 chg coeffs, 0 upgd conss, 55099 impls, 0 clqs
0.79/0.85 c (round 51) 4041 del vars, 6925 del conss, 937 chg bounds, 180 chg sides, 358 chg coeffs, 0 upgd conss, 55183 impls, 0 clqs
0.79/0.86 c (round 52) 4060 del vars, 6971 del conss, 952 chg bounds, 183 chg sides, 364 chg coeffs, 0 upgd conss, 55253 impls, 0 clqs
0.79/0.87 c (round 53) 4070 del vars, 7006 del conss, 966 chg bounds, 188 chg sides, 374 chg coeffs, 0 upgd conss, 55299 impls, 0 clqs
0.79/0.88 c (round 54) 4090 del vars, 7051 del conss, 983 chg bounds, 192 chg sides, 382 chg coeffs, 0 upgd conss, 55362 impls, 0 clqs
0.79/0.89 c (round 55) 4102 del vars, 7083 del conss, 994 chg bounds, 193 chg sides, 384 chg coeffs, 0 upgd conss, 55401 impls, 0 clqs
0.79/0.89 c (round 56) 4121 del vars, 7119 del conss, 1011 chg bounds, 198 chg sides, 394 chg coeffs, 0 upgd conss, 55481 impls, 0 clqs
0.89/0.90 c (round 57) 4138 del vars, 7169 del conss, 1025 chg bounds, 201 chg sides, 398 chg coeffs, 0 upgd conss, 55516 impls, 0 clqs
0.89/0.91 c (round 58) 4147 del vars, 7193 del conss, 1034 chg bounds, 204 chg sides, 404 chg coeffs, 0 upgd conss, 55586 impls, 0 clqs
0.89/0.91 c (round 59) 4162 del vars, 7225 del conss, 1046 chg bounds, 205 chg sides, 407 chg coeffs, 0 upgd conss, 55643 impls, 0 clqs
0.89/0.92 c (round 60) 4174 del vars, 7260 del conss, 1059 chg bounds, 211 chg sides, 417 chg coeffs, 0 upgd conss, 55674 impls, 0 clqs
0.89/0.93 c (round 61) 4186 del vars, 7290 del conss, 1070 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55725 impls, 0 clqs
0.89/0.93 c (round 62) 4191 del vars, 7306 del conss, 1075 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55745 impls, 0 clqs
0.89/0.94 c (round 63) 4198 del vars, 7319 del conss, 1080 chg bounds, 214 chg sides, 423 chg coeffs, 0 upgd conss, 55815 impls, 0 clqs
0.89/0.95 c (round 64) 4203 del vars, 7335 del conss, 1085 chg bounds, 216 chg sides, 427 chg coeffs, 0 upgd conss, 55832 impls, 0 clqs
0.89/0.95 c (round 65) 4208 del vars, 7348 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55876 impls, 0 clqs
0.89/0.96 c (round 66) 4208 del vars, 7352 del conss, 1090 chg bounds, 219 chg sides, 431 chg coeffs, 0 upgd conss, 55896 impls, 0 clqs
1.00/1.05 c (round 67) 4208 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 55896 impls, 0 clqs
1.19/1.25 c (round 68) 4258 del vars, 7355 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107042 impls, 0 clqs
1.19/1.26 c (round 69) 4259 del vars, 7361 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107124 impls, 0 clqs
1.19/1.28 c (round 70) 4261 del vars, 7361 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.29/1.38 c (round 71) 4261 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 107180 impls, 0 clqs
1.49/1.58 c (round 72) 4311 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 113668 impls, 0 clqs
1.59/1.69 c (round 73) 4361 del vars, 7380 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114388 impls, 0 clqs
1.69/1.73 c (round 74) 4361 del vars, 7386 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114388 impls, 0 clqs
1.79/1.84 c (1.3s) probing: 831/2144 (38.8%) - 1 fixings, 183 aggregations, 6555 implications, 0 bound changes
1.79/1.84 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.79/1.84 c (round 75) 4395 del vars, 7386 del conss, 1090 chg bounds, 222 chg sides, 431 chg coeffs, 6134 upgd conss, 114802 impls, 0 clqs
1.79/1.86 c (1.4s) probing: 841/2144 (39.2%) - 1 fixings, 183 aggregations, 6555 implications, 0 bound changes
1.79/1.86 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.79/1.86 c presolving (76 rounds):
1.79/1.86 c 4395 deleted vars, 7386 deleted constraints, 1090 tightened bounds, 0 added holes, 222 changed sides, 431 changed coefficients
1.79/1.86 c 114802 implications, 0 cliques
1.79/1.86 c presolved problem has 1957 variables (1957 bin, 0 int, 0 impl, 0 cont) and 6103 constraints
1.79/1.86 c 6103 constraints of type <logicor>
1.79/1.86 c transformed objective value is always integral (scale: 1)
1.79/1.86 c Presolving Time: 1.32
1.79/1.86 c strange?!, PURESAT with obj
1.79/1.86 c -----------------------------------------------------------------------------------------------
1.79/1.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.86 c limits/memory = c 1620
1.79/1.86 c # maximal time in seconds to run
1.79/1.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.86 c limits/time = c 1791
1.79/1.86 c # frequency for displaying node information lines
1.79/1.86 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.86 c display/freq = c 10000
1.79/1.86 c -----------------------------------------------------------------------------------------------
1.79/1.86 c start solving problem
1.79/1.86 c
2.39/2.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.47 c 1.9s| 1 | 0 | 2095 | 22M| 0 |1253 |1957 |6103 |6103 |1957 |5916 | 0 | 0 | 0 | 2.814317e+03 | -- | Inf
6.19/6.24 c 5.7s| 1 | 0 | 7860 | 23M| 0 |1248 |1957 |6103 |6103 |1957 |7896 |1980 | 0 | 0 | 2.830293e+03 | -- | Inf
8.89/8.95 c 8.4s| 1 | 0 | 9652 | 24M| 0 |1167 |1957 |6103 |6103 |1957 |7938 |2022 | 0 | 0 | 2.850958e+03 | -- | Inf
10.29/10.38 c 9.8s| 1 | 0 | 10522 | 24M| 0 |1206 |1957 |6103 |6103 |1957 |7974 |2058 | 0 | 0 | 2.855547e+03 | -- | Inf
11.69/11.70 c 11.1s| 1 | 0 | 11164 | 25M| 0 |1224 |1957 |6103 |6103 |1957 |8011 |2095 | 0 | 0 | 2.860825e+03 | -- | Inf
13.29/13.30 c 12.7s| 1 | 0 | 11835 | 28M| 0 |1261 |1957 |6103 |6103 |1957 |8041 |2125 | 0 | 0 | 2.864935e+03 | -- | Inf
15.29/15.30 c 14.7s| 1 | 0 | 12951 | 30M| 0 |1276 |1957 |6103 |6103 |1957 |8075 |2159 | 0 | 0 | 2.866194e+03 | -- | Inf
17.39/17.45 c 16.8s| 1 | 0 | 14195 | 30M| 0 |1252 |1957 |6103 |6103 |1957 |8112 |2196 | 0 | 0 | 2.871035e+03 | -- | Inf
19.19/19.21 c 18.6s| 1 | 0 | 15200 | 32M| 0 |1244 |1957 |6103 |6103 |1957 |8152 |2236 | 0 | 0 | 2.874852e+03 | -- | Inf
24.39/24.42 c 23.8s| 1 | 0 | 17941 | 34M| 0 |1265 |1957 |6103 |6103 |1957 |8189 |2273 | 0 | 0 | 2.879279e+03 | -- | Inf
27.49/27.51 c 26.9s| 1 | 0 | 19629 | 37M| 0 |1307 |1957 |6103 |6103 |1957 |8228 |2312 | 0 | 0 | 2.882437e+03 | -- | Inf
30.38/30.40 c 29.7s| 1 | 0 | 20660 | 38M| 0 |1311 |1957 |6103 |6103 |1957 |8267 |2351 | 0 | 0 | 2.888993e+03 | -- | Inf
32.48/32.59 c 31.9s| 1 | 0 | 21805 | 39M| 0 |1310 |1957 |6103 |6103 |1957 |6417 |2391 | 0 | 0 | 2.894027e+03 | -- | Inf
36.88/36.96 c 36.3s| 1 | 0 | 24504 | 41M| 0 |1315 |1957 |6103 |6103 |1957 |6458 |2432 | 0 | 0 | 2.897865e+03 | -- | Inf
41.28/41.33 c 40.6s| 1 | 0 | 26936 | 44M| 0 |1342 |1957 |6103 |6103 |1957 |6515 |2489 | 0 | 0 | 2.904772e+03 | -- | Inf
43.68/43.79 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.68/43.79 c 43.1s| 1 | 0 | 28502 | 46M| 0 |1324 |1957 |6103 |6103 |1957 |6566 |2540 | 0 | 0 | 2.908293e+03 | -- | Inf
48.38/48.43 c 47.7s| 1 | 0 | 31034 | 47M| 0 |1351 |1957 |6103 |6103 |1957 |6620 |2594 | 0 | 0 | 2.911713e+03 | -- | Inf
51.38/51.45 c 50.7s| 1 | 0 | 32819 | 49M| 0 |1384 |1957 |6103 |6103 |1957 |6676 |2650 | 0 | 0 | 2.916746e+03 | -- | Inf
55.28/55.37 c 54.6s| 1 | 0 | 34861 | 51M| 0 |1439 |1957 |6103 |6103 |1957 |6598 |2699 | 0 | 0 | 2.921995e+03 | -- | Inf
58.28/58.33 c 57.5s| 1 | 0 | 36594 | 54M| 0 |1453 |1957 |6103 |6103 |1957 |6640 |2741 | 0 | 0 | 2.923797e+03 | -- | Inf
61.57/61.60 c 60.8s| 1 | 0 | 38354 | 55M| 0 |1440 |1957 |6103 |6103 |1957 |6685 |2786 | 0 | 0 | 2.926566e+03 | -- | Inf
66.98/67.00 c 66.2s| 1 | 0 | 40658 | 56M| 0 |1501 |1957 |6103 |6103 |1957 |6747 |2848 | 0 | 0 | 2.931400e+03 | -- | Inf
74.78/74.81 c 73.9s| 1 | 0 | 44591 | 57M| 0 |1513 |1957 |6103 |6103 |1957 |6810 |2911 | 0 | 0 | 2.936156e+03 | -- | Inf
80.77/80.85 c 80.0s| 1 | 0 | 47461 | 57M| 0 |1523 |1957 |6103 |6103 |1957 |6871 |2972 | 0 | 0 | 2.941029e+03 | -- | Inf
87.37/87.47 c 86.5s| 1 | 0 | 50198 | 58M| 0 |1510 |1957 |6103 |6103 |1957 |6729 |3018 | 0 | 0 | 2.947415e+03 | -- | Inf
94.26/94.35 c 93.4s| 1 | 0 | 53668 | 59M| 0 |1503 |1957 |6103 |6103 |1957 |6764 |3053 | 0 | 0 | 2.950333e+03 | -- | Inf
103.16/103.23 c 102s| 1 | 0 | 58044 | 59M| 0 |1404 |1957 |6103 |6103 |1957 |6832 |3121 | 0 | 0 | 2.964406e+03 | -- | Inf
108.27/108.31 c 107s| 1 | 0 | 60990 | 60M| 0 |1490 |1957 |6103 |6103 |1957 |6871 |3160 | 0 | 0 | 2.967388e+03 | -- | Inf
112.67/112.76 c 112s| 1 | 0 | 63437 | 61M| 0 |1477 |1957 |6103 |6103 |1957 |6913 |3202 | 0 | 0 | 2.970102e+03 | -- | Inf
115.96/116.08 c 115s| 1 | 0 | 65258 | 62M| 0 |1427 |1957 |6103 |6103 |1957 |6948 |3237 | 0 | 0 | 2.973695e+03 | -- | Inf
120.36/120.41 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
120.36/120.41 c 119s| 1 | 0 | 67859 | 62M| 0 |1481 |1957 |6103 |6103 |1957 |6764 |3285 | 0 | 0 | 2.975990e+03 | -- | Inf
122.97/123.05 c 122s| 1 | 0 | 69466 | 64M| 0 |1521 |1957 |6103 |6103 |1957 |6803 |3324 | 0 | 0 | 2.977790e+03 | -- | Inf
126.25/126.38 c 125s| 1 | 0 | 71312 | 66M| 0 |1519 |1957 |6103 |6103 |1957 |6841 |3362 | 0 | 0 | 2.980279e+03 | -- | Inf
129.26/129.35 c 128s| 1 | 0 | 72801 | 67M| 0 |1494 |1957 |6103 |6103 |1957 |6886 |3407 | 0 | 0 | 2.982354e+03 | -- | Inf
133.36/133.41 c 132s| 1 | 0 | 75044 | 67M| 0 |1486 |1957 |6103 |6103 |1957 |6928 |3449 | 0 | 0 | 2.985135e+03 | -- | Inf
137.15/137.23 c 136s| 1 | 0 | 77257 | 68M| 0 |1560 |1957 |6103 |6103 |1957 |6968 |3489 | 0 | 0 | 2.987393e+03 | -- | Inf
143.45/143.57 c 142s| 1 | 0 | 80515 | 68M| 0 |1599 |1957 |6103 |6103 |1957 |6730 |3537 | 0 | 0 | 2.991910e+03 | -- | Inf
148.36/148.48 c 147s| 1 | 0 | 83382 | 70M| 0 |1580 |1957 |6103 |6103 |1957 |6769 |3576 | 0 | 0 | 2.994833e+03 | -- | Inf
153.35/153.40 c 152s| 1 | 0 | 86043 | 70M| 0 |1581 |1957 |6103 |6103 |1957 |6814 |3621 | 0 | 0 | 2.997914e+03 | -- | Inf
159.55/159.62 c 158s| 1 | 0 | 89068 | 71M| 0 |1620 |1957 |6103 |6103 |1957 |6850 |3657 | 0 | 0 | 3.001193e+03 | -- | Inf
164.95/165.09 c 164s| 1 | 0 | 91747 | 72M| 0 |1577 |1957 |6103 |6103 |1957 |6889 |3696 | 0 | 0 | 3.004103e+03 | -- | Inf
175.25/175.36 c 174s| 1 | 0 | 96906 | 73M| 0 |1555 |1957 |6103 |6103 |1957 |6926 |3733 | 0 | 0 | 3.008012e+03 | -- | Inf
182.14/182.24 c 181s| 1 | 0 |100647 | 73M| 0 |1543 |1957 |6103 |6103 |1957 |6776 |3770 | 0 | 0 | 3.011531e+03 | -- | Inf
186.34/186.49 c 185s| 1 | 0 |103725 | 74M| 0 |1603 |1957 |6103 |6103 |1957 |6815 |3809 | 0 | 0 | 3.015732e+03 | -- | Inf
190.05/190.16 c 189s| 1 | 0 |106069 | 75M| 0 |1594 |1957 |6103 |6103 |1957 |6856 |3850 | 0 | 0 | 3.018345e+03 | -- | Inf
195.04/195.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
195.04/195.13 c 194s| 1 | 0 |108616 | 75M| 0 |1589 |1957 |6103 |6103 |1957 |6901 |3895 | 0 | 0 | 3.021603e+03 | -- | Inf
198.44/198.57 c 197s| 1 | 0 |110799 | 76M| 0 |1614 |1957 |6103 |6103 |1957 |6959 |3953 | 0 | 0 | 3.025022e+03 | -- | Inf
201.34/201.43 c 200s| 1 | 0 |112776 | 77M| 0 |1639 |1957 |6103 |6103 |1957 |6986 |3980 | 0 | 0 | 3.026358e+03 | -- | Inf
205.74/205.85 c 205s| 1 | 0 |114703 | 77M| 0 |1650 |1957 |6103 |6103 |1957 |6818 |4019 | 0 | 0 | 3.030072e+03 | -- | Inf
208.24/208.32 c 207s| 1 | 0 |116591 | 78M| 0 |1566 |1957 |6103 |6103 |1957 |6862 |4063 | 0 | 0 | 3.031573e+03 | -- | Inf
210.34/210.44 c 209s| 1 | 0 |118178 | 79M| 0 |1590 |1957 |6103 |6103 |1957 |6907 |4108 | 0 | 0 | 3.033468e+03 | -- | Inf
212.34/212.42 c 211s| 1 | 0 |119537 | 80M| 0 |1612 |1957 |6103 |6103 |1957 |6946 |4147 | 0 | 0 | 3.035762e+03 | -- | Inf
215.04/215.13 c 214s| 1 | 0 |121213 | 81M| 0 |1660 |1957 |6103 |6103 |1957 |6984 |4185 | 0 | 0 | 3.036930e+03 | -- | Inf
218.93/219.06 c 218s| 1 | 0 |123307 | 82M| 0 |1562 |1957 |6103 |6103 |1957 |7012 |4213 | 0 | 0 | 3.038275e+03 | -- | Inf
223.64/223.75 c 222s| 1 | 0 |126024 | 82M| 0 |1671 |1957 |6103 |6103 |1957 |6779 |4243 | 0 | 0 | 3.039772e+03 | -- | Inf
229.93/230.02 c 229s| 1 | 0 |128840 | 82M| 0 |1652 |1957 |6103 |6103 |1957 |6821 |4285 | 0 | 0 | 3.043164e+03 | -- | Inf
233.83/233.91 c 233s| 1 | 0 |130481 | 83M| 0 |1621 |1957 |6103 |6103 |1957 |6861 |4325 | 0 | 0 | 3.044942e+03 | -- | Inf
238.43/238.58 c 237s| 1 | 0 |133499 | 83M| 0 |1678 |1957 |6103 |6103 |1957 |6892 |4356 | 0 | 0 | 3.047273e+03 | -- | Inf
246.03/246.11 c 245s| 1 | 0 |137787 | 84M| 0 |1651 |1957 |6103 |6103 |1957 |6926 |4390 | 0 | 0 | 3.050490e+03 | -- | Inf
250.43/250.51 c 249s| 1 | 0 |140625 | 85M| 0 |1627 |1957 |6103 |6103 |1957 |6963 |4427 | 0 | 0 | 3.051741e+03 | -- | Inf
256.52/256.65 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
256.52/256.65 c 255s| 1 | 0 |144054 | 85M| 0 |1566 |1957 |6103 |6103 |1957 |6806 |4471 | 0 | 0 | 3.054602e+03 | -- | Inf
258.12/258.25 c 257s| 1 | 0 |145151 | 86M| 0 |1555 |1957 |6103 |6103 |1957 |6836 |4501 | 0 | 0 | 3.055493e+03 | -- | Inf
261.52/261.66 c 260s| 1 | 0 |147331 | 87M| 0 |1565 |1957 |6103 |6103 |1957 |6866 |4531 | 0 | 0 | 3.055919e+03 | -- | Inf
264.22/264.36 c 263s| 1 | 0 |148885 | 88M| 0 |1582 |1957 |6103 |6103 |1957 |6895 |4560 | 0 | 0 | 3.057269e+03 | -- | Inf
266.82/266.99 c 265s| 1 | 0 |150442 | 89M| 0 |1594 |1957 |6103 |6103 |1957 |6931 |4596 | 0 | 0 | 3.059573e+03 | -- | Inf
269.22/269.35 c 268s| 1 | 0 |151953 | 89M| 0 |1609 |1957 |6103 |6103 |1957 |6970 |4635 | 0 | 0 | 3.063737e+03 | -- | Inf
271.32/271.43 c 270s| 1 | 0 |152987 | 90M| 0 |1605 |1957 |6103 |6103 |1957 |6803 |4661 | 0 | 0 | 3.065430e+03 | -- | Inf
274.83/274.98 c 273s| 1 | 0 |154727 | 91M| 0 |1591 |1957 |6103 |6103 |1957 |6836 |4694 | 0 | 0 | 3.069389e+03 | -- | Inf
278.02/278.10 c 277s| 1 | 0 |156243 | 91M| 0 |1627 |1957 |6103 |6103 |1957 |6860 |4718 | 0 | 0 | 3.071080e+03 | -- | Inf
281.42/281.55 c 280s| 1 | 0 |157151 | 91M| 0 |1633 |1957 |6103 |6103 |1957 |6881 |4739 | 0 | 0 | 3.071611e+03 | -- | Inf
284.42/284.57 c 283s| 1 | 0 |157957 | 92M| 0 |1581 |1957 |6103 |6103 |1957 |6903 |4761 | 0 | 0 | 3.072697e+03 | -- | Inf
287.83/287.96 c 286s| 1 | 0 |159275 | 92M| 0 |1591 |1957 |6103 |6103 |1957 |6936 |4794 | 0 | 0 | 3.073176e+03 | -- | Inf
291.22/291.39 c 290s| 1 | 0 |160393 | 93M| 0 |1612 |1957 |6103 |6103 |1957 |6793 |4810 | 0 | 0 | 3.074077e+03 | -- | Inf
295.42/295.54 c 294s| 1 | 0 |161579 | 93M| 0 |1636 |1957 |6103 |6103 |1957 |6804 |4821 | 0 | 0 | 3.074366e+03 | -- | Inf
299.22/299.39 c 298s| 1 | 0 |162760 | 93M| 0 |1615 |1957 |6103 |6103 |1957 |6818 |4835 | 0 | 0 | 3.074568e+03 | -- | Inf
303.92/304.06 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.92/304.06 c 302s| 1 | 0 |164414 | 93M| 0 |1617 |1957 |6103 |6103 |1957 |6835 |4852 | 0 | 0 | 3.074962e+03 | -- | Inf
307.92/308.08 c 306s| 1 | 0 |165515 | 93M| 0 |1603 |1957 |6103 |6103 |1957 |6840 |4857 | 0 | 0 | 3.075025e+03 | -- | Inf
311.02/311.18 c 309s| 1 | 0 |165778 | 93M| 0 |1601 |1957 |6103 |6103 |1957 |6849 |4866 | 0 | 0 | 3.075035e+03 | -- | Inf
313.42/313.50 c 312s| 1 | 0 |165909 | 93M| 0 |1597 |1957 |6103 |6103 |1957 |6631 |4869 | 0 | 0 | 3.075041e+03 | -- | Inf
315.01/315.16 c 313s| 1 | 0 |165967 | 93M| 0 |1598 |1957 |6103 |6103 |1957 |6632 |4870 | 0 | 0 | 3.075041e+03 | -- | Inf
332.51/332.69 c 331s| 1 | 2 |165967 | 93M| 0 |1598 |1957 |6103 |6103 |1957 |6632 |4870 | 0 | 18 | 3.075041e+03 | -- | Inf
1796.55/1797.05 c
1796.55/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.55/1797.05 c Solving Time (sec) : 1791.01
1796.55/1797.05 c Solving Nodes : 1045
1796.55/1797.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.55/1797.05 c Dual Bound : +3.10244867183465e+03
1796.55/1797.05 c Gap : infinite
1796.55/1797.05 c NODE 1045
1796.55/1797.05 c DUAL BOUND 3102.45
1796.55/1797.05 c PRIMAL BOUND 1e+20
1796.55/1797.05 c GAP 1e+20
1796.55/1797.05 s UNKNOWN
1796.55/1797.05 c SCIP Status : solving was interrupted [time limit reached]
1796.55/1797.05 c Solving Time : 1791.01
1796.55/1797.05 c Original Problem :
1796.55/1797.05 c Problem name : HOME/instance-1869014-1245154360.opb
1796.55/1797.05 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.55/1797.05 c Constraints : 13489 initial, 13489 maximal
1796.55/1797.05 c Presolved Problem :
1796.55/1797.05 c Problem name : t_HOME/instance-1869014-1245154360.opb
1796.55/1797.05 c Variables : 1957 (1957 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.55/1797.05 c Constraints : 6103 initial, 7166 maximal
1796.55/1797.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.55/1797.05 c trivial : 0.04 55 0 0 0 0 0 0 0
1796.55/1797.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1796.55/1797.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.55/1797.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.55/1797.05 c implics : 0.10 0 3078 0 0 0 0 0 0
1796.55/1797.05 c probing : 0.50 1 183 0 0 0 0 0 0
1796.55/1797.05 c linear : 0.33 1035 43 0 1090 0 7355 222 431
1796.55/1797.05 c logicor : 0.27 0 0 0 0 0 31 0 0
1796.55/1797.05 c root node : - 0 - - 0 - - - -
1796.55/1797.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.55/1797.05 c integral : 0 0 0 866 0 1 2 0 0 1726
1796.55/1797.05 c logicor : 6103+ 80 28208 0 1 314 97004 0 0 0
1796.55/1797.05 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.55/1797.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.55/1797.05 c integral : 515.21 0.00 0.00 515.21 0.00
1796.55/1797.05 c logicor : 1.30 0.12 1.18 0.00 0.00
1796.55/1797.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.55/1797.05 c Propagators : Time Calls Cutoffs DomReds
1796.55/1797.05 c rootredcost : 0.02 0 0 0
1796.55/1797.05 c pseudoobj : 1.78 25814 0 0
1796.55/1797.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.55/1797.05 c propagation : 0.17 313 309 3430 37.8 28 7.6 -
1796.55/1797.05 c infeasible LP : 0.28 102 102 1383 42.1 10 5.3 0
1796.55/1797.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.55/1797.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.55/1797.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.55/1797.05 c applied globally : - - - 1376 29.0 - - -
1796.55/1797.05 c applied locally : - - - 0 0.0 - - -
1796.55/1797.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.55/1797.05 c cut pool : 1.69 79 - - 3837 - (maximal pool size: 25467)
1796.55/1797.05 c redcost : 0.06 945 0 0 0 0
1796.55/1797.05 c impliedbounds : 0.15 80 0 0 4010 0
1796.55/1797.05 c intobj : 0.00 0 0 0 0 0
1796.55/1797.05 c gomory : 65.06 80 0 0 36291 0
1796.55/1797.05 c strongcg : 5.14 20 0 0 10000 0
1796.55/1797.05 c cmir : 0.88 10 0 0 0 0
1796.55/1797.05 c flowcover : 0.82 10 0 0 0 0
1796.55/1797.05 c clique : 0.11 79 0 0 62 0
1796.55/1797.05 c zerohalf : 0.00 0 0 0 0 0
1796.55/1797.05 c mcf : 0.02 1 0 0 0 0
1796.55/1797.05 c Pricers : Time Calls Vars
1796.55/1797.05 c problem variables: 0.00 0 0
1796.55/1797.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.55/1797.05 c relpscost : 515.21 866 1 2 0 0 1726
1796.55/1797.05 c pscost : 0.00 0 0 0 0 0 0
1796.55/1797.05 c inference : 0.00 1 0 0 0 0 2
1796.55/1797.05 c mostinf : 0.00 0 0 0 0 0 0
1796.55/1797.05 c leastinf : 0.00 0 0 0 0 0 0
1796.55/1797.05 c fullstrong : 0.00 0 0 0 0 0 0
1796.55/1797.05 c allfullstrong : 0.00 0 0 0 0 0 0
1796.55/1797.05 c random : 0.00 0 0 0 0 0 0
1796.55/1797.05 c Primal Heuristics : Time Calls Found
1796.55/1797.05 c LP solutions : 0.00 - 0
1796.55/1797.05 c pseudo solutions : 0.00 - 0
1796.55/1797.05 c oneopt : 0.00 0 0
1796.55/1797.05 c crossover : 0.00 0 0
1796.55/1797.05 c coefdiving : 63.58 10 0
1796.55/1797.05 c pscostdiving : 72.31 10 0
1796.55/1797.05 c fracdiving : 59.52 10 0
1796.55/1797.05 c veclendiving : 52.16 10 0
1796.55/1797.05 c linesearchdiving : 48.90 11 0
1796.55/1797.05 c simplerounding : 0.00 0 0
1796.55/1797.05 c rounding : 0.70 394 0
1796.55/1797.05 c shifting : 2.19 121 0
1796.55/1797.05 c intshifting : 0.00 0 0
1796.55/1797.05 c fixandinfer : 0.00 0 0
1796.55/1797.05 c feaspump : 36.25 4 0
1796.55/1797.05 c intdiving : 0.00 0 0
1796.55/1797.05 c actconsdiving : 0.00 0 0
1796.55/1797.05 c objpscostdiving : 92.26 1 0
1796.55/1797.05 c rootsoldiving : 61.32 3 0
1796.55/1797.05 c guideddiving : 0.00 0 0
1796.55/1797.05 c octane : 0.00 0 0
1796.55/1797.05 c rens : 0.01 0 0
1796.55/1797.05 c rins : 0.00 0 0
1796.55/1797.05 c localbranching : 0.00 0 0
1796.55/1797.05 c mutation : 0.00 0 0
1796.55/1797.05 c dins : 0.00 0 0
1796.55/1797.05 c LP : Time Calls Iterations Iter/call Iter/sec
1796.55/1797.05 c primal LP : 0.16 0 0 0.00 0.00
1796.55/1797.05 c dual LP : 703.09 1018 599845 589.24 853.16
1796.55/1797.05 c barrier LP : 0.00 0 0 0.00 -
1796.55/1797.05 c diving/probing LP: 468.98 5291 375091 70.89 799.80
1796.55/1797.05 c strong branching : 514.48 956 418090 437.33 812.65
1796.55/1797.05 c (at root node) : - 18 10165 564.72 -
1796.55/1797.05 c conflict analysis: 0.00 0 0 0.00 -
1796.55/1797.05 c B&B Tree :
1796.55/1797.05 c number of runs : 1
1796.55/1797.05 c nodes : 1045
1796.55/1797.05 c nodes (total) : 1045
1796.55/1797.05 c nodes left : 542
1796.55/1797.05 c max depth : 44
1796.55/1797.05 c max depth (total): 44
1796.55/1797.05 c backtracks : 589 (56.4%)
1796.55/1797.05 c delayed cutoffs : 142
1796.55/1797.05 c repropagations : 455 (46086 domain reductions, 110 cutoffs)
1796.55/1797.05 c avg switch length: 5.63
1796.55/1797.05 c switching time : 0.65
1796.55/1797.05 c Solution :
1796.55/1797.05 c Solutions found : 0 (0 improvements)
1796.55/1797.05 c Primal Bound : -
1796.55/1797.05 c Dual Bound : +3.10244867183465e+03
1796.55/1797.05 c Gap : infinite
1796.55/1797.05 c Root Dual Bound : +3.07504080897309e+03
1796.75/1797.21 c Time complete: 1796.77.