0.19/0.22 c SCIP version 1.1.0.7
0.19/0.22 c LP-Solver Clp 1.8.2
0.19/0.22 c user parameter file <scip.set> not found - using default parameters
0.19/0.22 c read problem <HOME/instance-1869165-1245161671.opb>
0.19/0.22 c original problem has 6352 variables (6352 bin, 0 int, 0 impl, 0 cont) and 13453 constraints
0.19/0.29 c start presolving problem
0.19/0.29 c presolving:
0.29/0.38 c (round 1) 2985 del vars, 484 del conss, 317 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 38900 impls, 0 clqs
0.39/0.44 c (round 2) 3252 del vars, 4511 del conss, 341 chg bounds, 1 chg sides, 2 chg coeffs, 0 upgd conss, 51428 impls, 0 clqs
0.39/0.46 c (round 3) 3283 del vars, 4948 del conss, 356 chg bounds, 3 chg sides, 6 chg coeffs, 0 upgd conss, 51677 impls, 0 clqs
0.39/0.47 c (round 4) 3318 del vars, 5025 del conss, 370 chg bounds, 6 chg sides, 12 chg coeffs, 0 upgd conss, 52116 impls, 0 clqs
0.39/0.48 c (round 5) 3350 del vars, 5108 del conss, 383 chg bounds, 9 chg sides, 18 chg coeffs, 0 upgd conss, 52497 impls, 0 clqs
0.39/0.49 c (round 6) 3378 del vars, 5181 del conss, 394 chg bounds, 12 chg sides, 24 chg coeffs, 0 upgd conss, 52814 impls, 0 clqs
0.49/0.50 c (round 7) 3402 del vars, 5244 del conss, 403 chg bounds, 15 chg sides, 30 chg coeffs, 0 upgd conss, 53079 impls, 0 clqs
0.49/0.51 c (round 8) 3422 del vars, 5297 del conss, 410 chg bounds, 18 chg sides, 36 chg coeffs, 0 upgd conss, 53366 impls, 0 clqs
0.49/0.52 c (round 9) 3438 del vars, 5341 del conss, 416 chg bounds, 21 chg sides, 42 chg coeffs, 0 upgd conss, 53567 impls, 0 clqs
0.49/0.53 c (round 10) 3454 del vars, 5381 del conss, 422 chg bounds, 24 chg sides, 48 chg coeffs, 0 upgd conss, 53726 impls, 0 clqs
0.49/0.54 c (round 11) 3470 del vars, 5421 del conss, 428 chg bounds, 27 chg sides, 54 chg coeffs, 0 upgd conss, 53885 impls, 0 clqs
0.49/0.54 c (round 12) 3486 del vars, 5461 del conss, 434 chg bounds, 30 chg sides, 60 chg coeffs, 0 upgd conss, 54058 impls, 0 clqs
0.49/0.55 c (round 13) 3502 del vars, 5501 del conss, 440 chg bounds, 33 chg sides, 66 chg coeffs, 0 upgd conss, 54297 impls, 0 clqs
0.49/0.56 c (round 14) 3518 del vars, 5541 del conss, 446 chg bounds, 36 chg sides, 72 chg coeffs, 0 upgd conss, 54494 impls, 0 clqs
0.49/0.57 c (round 15) 3534 del vars, 5581 del conss, 452 chg bounds, 39 chg sides, 78 chg coeffs, 0 upgd conss, 54751 impls, 0 clqs
0.49/0.58 c (round 16) 3551 del vars, 5622 del conss, 459 chg bounds, 42 chg sides, 84 chg coeffs, 0 upgd conss, 54958 impls, 0 clqs
0.49/0.59 c (round 17) 3567 del vars, 5662 del conss, 465 chg bounds, 45 chg sides, 90 chg coeffs, 0 upgd conss, 55161 impls, 0 clqs
0.49/0.60 c (round 18) 3583 del vars, 5702 del conss, 471 chg bounds, 48 chg sides, 96 chg coeffs, 0 upgd conss, 55442 impls, 0 clqs
0.59/0.61 c (round 19) 3599 del vars, 5742 del conss, 477 chg bounds, 51 chg sides, 102 chg coeffs, 0 upgd conss, 55637 impls, 0 clqs
0.59/0.61 c (round 20) 3615 del vars, 5782 del conss, 483 chg bounds, 54 chg sides, 108 chg coeffs, 0 upgd conss, 55836 impls, 0 clqs
0.59/0.62 c (round 21) 3631 del vars, 5822 del conss, 489 chg bounds, 57 chg sides, 114 chg coeffs, 0 upgd conss, 55989 impls, 0 clqs
0.59/0.63 c (round 22) 3645 del vars, 5856 del conss, 493 chg bounds, 58 chg sides, 116 chg coeffs, 0 upgd conss, 56165 impls, 0 clqs
0.59/0.64 c (round 23) 3653 del vars, 5894 del conss, 500 chg bounds, 61 chg sides, 122 chg coeffs, 0 upgd conss, 56193 impls, 0 clqs
0.59/0.65 c (round 24) 3666 del vars, 5913 del conss, 505 chg bounds, 63 chg sides, 126 chg coeffs, 0 upgd conss, 56336 impls, 0 clqs
0.59/0.66 c (round 25) 3681 del vars, 5956 del conss, 514 chg bounds, 65 chg sides, 130 chg coeffs, 0 upgd conss, 56438 impls, 0 clqs
0.59/0.66 c (round 26) 3697 del vars, 5997 del conss, 524 chg bounds, 67 chg sides, 134 chg coeffs, 0 upgd conss, 56590 impls, 0 clqs
0.59/0.67 c (round 27) 3711 del vars, 6034 del conss, 533 chg bounds, 69 chg sides, 138 chg coeffs, 0 upgd conss, 56744 impls, 0 clqs
0.59/0.68 c (round 28) 3729 del vars, 6076 del conss, 544 chg bounds, 71 chg sides, 142 chg coeffs, 0 upgd conss, 56882 impls, 0 clqs
0.59/0.69 c (round 29) 3744 del vars, 6116 del conss, 553 chg bounds, 74 chg sides, 148 chg coeffs, 0 upgd conss, 57028 impls, 0 clqs
0.59/0.70 c (round 30) 3753 del vars, 6153 del conss, 562 chg bounds, 77 chg sides, 154 chg coeffs, 0 upgd conss, 57062 impls, 0 clqs
0.69/0.70 c (round 31) 3768 del vars, 6178 del conss, 571 chg bounds, 81 chg sides, 162 chg coeffs, 0 upgd conss, 57214 impls, 0 clqs
0.69/0.71 c (round 32) 3781 del vars, 6213 del conss, 579 chg bounds, 83 chg sides, 166 chg coeffs, 0 upgd conss, 57335 impls, 0 clqs
0.69/0.72 c (round 33) 3797 del vars, 6254 del conss, 590 chg bounds, 86 chg sides, 172 chg coeffs, 0 upgd conss, 57438 impls, 0 clqs
0.69/0.73 c (round 34) 3809 del vars, 6288 del conss, 603 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 57481 impls, 0 clqs
0.69/0.74 c (round 35) 3826 del vars, 6327 del conss, 615 chg bounds, 93 chg sides, 186 chg coeffs, 0 upgd conss, 57533 impls, 0 clqs
0.69/0.74 c (round 36) 3839 del vars, 6363 del conss, 628 chg bounds, 98 chg sides, 196 chg coeffs, 0 upgd conss, 57612 impls, 0 clqs
0.69/0.75 c (round 37) 3855 del vars, 6401 del conss, 639 chg bounds, 102 chg sides, 204 chg coeffs, 0 upgd conss, 57678 impls, 0 clqs
0.69/0.76 c (round 38) 3865 del vars, 6439 del conss, 650 chg bounds, 104 chg sides, 208 chg coeffs, 0 upgd conss, 57700 impls, 0 clqs
0.69/0.77 c (round 39) 3881 del vars, 6476 del conss, 666 chg bounds, 109 chg sides, 218 chg coeffs, 0 upgd conss, 57727 impls, 0 clqs
0.69/0.78 c (round 40) 3897 del vars, 6514 del conss, 681 chg bounds, 111 chg sides, 222 chg coeffs, 0 upgd conss, 57787 impls, 0 clqs
0.69/0.78 c (round 41) 3919 del vars, 6552 del conss, 698 chg bounds, 114 chg sides, 228 chg coeffs, 0 upgd conss, 57861 impls, 0 clqs
0.69/0.79 c (round 42) 3931 del vars, 6594 del conss, 710 chg bounds, 115 chg sides, 230 chg coeffs, 0 upgd conss, 57916 impls, 0 clqs
0.79/0.80 c (round 43) 3947 del vars, 6630 del conss, 725 chg bounds, 120 chg sides, 240 chg coeffs, 0 upgd conss, 57974 impls, 0 clqs
0.79/0.81 c (round 44) 3963 del vars, 6668 del conss, 737 chg bounds, 122 chg sides, 244 chg coeffs, 0 upgd conss, 58069 impls, 0 clqs
0.79/0.81 c (round 45) 3974 del vars, 6702 del conss, 750 chg bounds, 125 chg sides, 250 chg coeffs, 0 upgd conss, 58123 impls, 0 clqs
0.79/0.82 c (round 46) 3993 del vars, 6743 del conss, 769 chg bounds, 132 chg sides, 264 chg coeffs, 0 upgd conss, 58155 impls, 0 clqs
0.79/0.83 c (round 47) 4007 del vars, 6783 del conss, 781 chg bounds, 135 chg sides, 270 chg coeffs, 0 upgd conss, 58217 impls, 0 clqs
0.79/0.84 c (round 48) 4021 del vars, 6825 del conss, 798 chg bounds, 140 chg sides, 280 chg coeffs, 0 upgd conss, 58233 impls, 0 clqs
0.79/0.84 c (round 49) 4037 del vars, 6867 del conss, 813 chg bounds, 144 chg sides, 288 chg coeffs, 0 upgd conss, 58306 impls, 0 clqs
0.79/0.85 c (round 50) 4055 del vars, 6905 del conss, 832 chg bounds, 151 chg sides, 302 chg coeffs, 0 upgd conss, 58331 impls, 0 clqs
0.79/0.86 c (round 51) 4071 del vars, 6950 del conss, 845 chg bounds, 155 chg sides, 310 chg coeffs, 0 upgd conss, 58405 impls, 0 clqs
0.79/0.87 c (round 52) 4087 del vars, 6978 del conss, 859 chg bounds, 160 chg sides, 320 chg coeffs, 0 upgd conss, 58477 impls, 0 clqs
0.79/0.88 c (round 53) 4103 del vars, 7018 del conss, 874 chg bounds, 166 chg sides, 332 chg coeffs, 0 upgd conss, 58526 impls, 0 clqs
0.79/0.88 c (round 54) 4119 del vars, 7063 del conss, 886 chg bounds, 168 chg sides, 336 chg coeffs, 0 upgd conss, 58694 impls, 0 clqs
0.79/0.89 c (round 55) 4133 del vars, 7105 del conss, 902 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 58727 impls, 0 clqs
0.89/0.90 c (round 56) 4150 del vars, 7148 del conss, 918 chg bounds, 181 chg sides, 362 chg coeffs, 0 upgd conss, 58801 impls, 0 clqs
0.89/0.91 c (round 57) 4166 del vars, 7181 del conss, 930 chg bounds, 182 chg sides, 364 chg coeffs, 0 upgd conss, 58880 impls, 0 clqs
0.89/0.91 c (round 58) 4183 del vars, 7225 del conss, 947 chg bounds, 187 chg sides, 374 chg coeffs, 0 upgd conss, 58980 impls, 0 clqs
0.89/0.92 c (round 59) 4198 del vars, 7261 del conss, 957 chg bounds, 189 chg sides, 378 chg coeffs, 0 upgd conss, 59057 impls, 0 clqs
0.89/0.93 c (round 60) 4208 del vars, 7287 del conss, 966 chg bounds, 191 chg sides, 382 chg coeffs, 0 upgd conss, 59125 impls, 0 clqs
0.89/0.93 c (round 61) 4220 del vars, 7322 del conss, 978 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59177 impls, 0 clqs
0.89/0.94 c (round 62) 4228 del vars, 7340 del conss, 982 chg bounds, 194 chg sides, 390 chg coeffs, 0 upgd conss, 59229 impls, 0 clqs
0.89/0.95 c (round 63) 4239 del vars, 7365 del conss, 993 chg bounds, 196 chg sides, 394 chg coeffs, 0 upgd conss, 59253 impls, 0 clqs
0.89/0.96 c (round 64) 4245 del vars, 7383 del conss, 999 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59274 impls, 0 clqs
0.89/0.96 c (round 65) 4252 del vars, 7395 del conss, 1003 chg bounds, 197 chg sides, 396 chg coeffs, 0 upgd conss, 59336 impls, 0 clqs
0.89/0.97 c (round 66) 4256 del vars, 7414 del conss, 1007 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59340 impls, 0 clqs
0.89/0.98 c (round 67) 4257 del vars, 7419 del conss, 1008 chg bounds, 198 chg sides, 398 chg coeffs, 0 upgd conss, 59396 impls, 0 clqs
0.99/1.08 c (round 68) 4257 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 59396 impls, 0 clqs
1.19/1.28 c (round 69) 4307 del vars, 7422 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114266 impls, 0 clqs
1.19/1.29 c (round 70) 4308 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114306 impls, 0 clqs
1.29/1.31 c (round 71) 4310 del vars, 7428 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.29/1.35 c (round 72) 4310 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 114320 impls, 0 clqs
1.49/1.54 c (round 73) 4360 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117168 impls, 0 clqs
1.60/1.65 c (round 74) 4410 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 117950 impls, 0 clqs
1.69/1.73 c (1.2s) probing: 714/2095 (34.1%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
1.69/1.73 c (1.2s) probing aborted: 100/100 successive totally useless probings
1.69/1.73 c (round 75) 4443 del vars, 7432 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
1.69/1.77 c (round 76) 4443 del vars, 7436 del conss, 1008 chg bounds, 201 chg sides, 398 chg coeffs, 6031 upgd conss, 118380 impls, 0 clqs
1.69/1.80 c (1.3s) probing: 724/2095 (34.6%) - 1 fixings, 182 aggregations, 4766 implications, 0 bound changes
1.69/1.80 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.69/1.80 c presolving (77 rounds):
1.69/1.80 c 4443 deleted vars, 7436 deleted constraints, 1008 tightened bounds, 0 added holes, 201 changed sides, 398 changed coefficients
1.69/1.80 c 118380 implications, 0 cliques
1.69/1.80 c presolved problem has 1909 variables (1909 bin, 0 int, 0 impl, 0 cont) and 6017 constraints
1.69/1.80 c 6017 constraints of type <logicor>
1.69/1.80 c transformed objective value is always integral (scale: 1)
1.69/1.80 c Presolving Time: 1.27
1.79/1.80 c strange?!, PURESAT with obj
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/memory = c 1620
1.79/1.80 c # maximal time in seconds to run
1.79/1.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.80 c limits/time = c 1791
1.79/1.80 c # frequency for displaying node information lines
1.79/1.80 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.80 c display/freq = c 10000
1.79/1.80 c -----------------------------------------------------------------------------------------------
1.79/1.80 c start solving problem
1.79/1.80 c
1.99/2.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.05 c 1.5s| 1 | 0 | 1785 | 21M| 0 |1210 |1909 |6017 |6017 |1909 |5831 | 0 | 0 | 0 | 2.821920e+03 | -- | Inf
5.19/5.25 c 4.7s| 1 | 0 | 8278 | 22M| 0 |1128 |1909 |6017 |6017 |1909 |6123 | 292 | 0 | 0 | 2.872850e+03 | -- | Inf
5.59/5.69 c 5.2s| 1 | 0 | 8589 | 23M| 0 |1177 |1909 |6017 |6017 |1909 |6158 | 327 | 0 | 0 | 2.883924e+03 | -- | Inf
6.38/6.46 c 5.9s| 1 | 0 | 9355 | 23M| 0 |1181 |1909 |6017 |6017 |1909 |6197 | 366 | 0 | 0 | 2.891198e+03 | -- | Inf
7.18/7.20 c 6.7s| 1 | 0 | 10042 | 24M| 0 |1167 |1909 |6017 |6017 |1909 |6248 | 417 | 0 | 0 | 2.899152e+03 | -- | Inf
7.99/8.08 c 7.5s| 1 | 0 | 10898 | 25M| 0 |1194 |1909 |6017 |6017 |1909 |6299 | 468 | 0 | 0 | 2.909185e+03 | -- | Inf
8.79/8.87 c 8.3s| 1 | 0 | 11589 | 26M| 0 |1231 |1909 |6017 |6017 |1909 |6344 | 513 | 0 | 0 | 2.918064e+03 | -- | Inf
9.58/9.68 c 9.1s| 1 | 0 | 12043 | 26M| 0 |1239 |1909 |6017 |6017 |1909 |6393 | 562 | 0 | 0 | 2.928485e+03 | -- | Inf
10.39/10.45 c 9.9s| 1 | 0 | 12655 | 27M| 0 |1236 |1909 |6017 |6017 |1909 |6447 | 616 | 0 | 0 | 2.936577e+03 | -- | Inf
11.38/11.45 c 10.9s| 1 | 0 | 13499 | 28M| 0 |1261 |1909 |6017 |6017 |1909 |6507 | 676 | 0 | 0 | 2.946455e+03 | -- | Inf
12.99/13.05 c 12.5s| 1 | 0 | 14877 | 29M| 0 |1278 |1909 |6017 |6017 |1909 |6556 | 725 | 0 | 0 | 2.954538e+03 | -- | Inf
13.98/14.04 c 13.4s| 1 | 0 | 15837 | 30M| 0 |1311 |1909 |6017 |6017 |1909 |6601 | 770 | 0 | 0 | 2.960425e+03 | -- | Inf
14.89/14.90 c 14.3s| 1 | 0 | 16667 | 31M| 0 |1306 |1909 |6017 |6017 |1909 |6669 | 838 | 0 | 0 | 2.972459e+03 | -- | Inf
15.79/15.86 c 15.3s| 1 | 0 | 17470 | 32M| 0 |1323 |1909 |6017 |6017 |1909 |6727 | 896 | 0 | 0 | 2.980468e+03 | -- | Inf
16.68/16.78 c 16.2s| 1 | 0 | 18250 | 33M| 0 |1311 |1909 |6017 |6017 |1909 |6776 | 945 | 0 | 0 | 2.986611e+03 | -- | Inf
17.69/17.77 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.69/17.77 c 17.2s| 1 | 0 | 19207 | 34M| 0 |1398 |1909 |6017 |6017 |1909 |6828 | 997 | 0 | 0 | 2.991785e+03 | -- | Inf
19.29/19.30 c 18.7s| 1 | 0 | 20493 | 35M| 0 |1319 |1909 |6017 |6017 |1909 |6536 |1047 | 0 | 0 | 2.999605e+03 | -- | Inf
20.69/20.74 c 20.1s| 1 | 0 | 22029 | 36M| 0 |1375 |1909 |6017 |6017 |1909 |6598 |1109 | 0 | 0 | 3.006281e+03 | -- | Inf
21.48/21.59 c 21.0s| 1 | 0 | 22833 | 37M| 0 |1356 |1909 |6017 |6017 |1909 |6671 |1182 | 0 | 0 | 3.015156e+03 | -- | Inf
22.49/22.55 c 21.9s| 1 | 0 | 23824 | 38M| 0 |1423 |1909 |6017 |6017 |1909 |6728 |1239 | 0 | 0 | 3.024351e+03 | -- | Inf
23.39/23.44 c 22.8s| 1 | 0 | 24642 | 39M| 0 |1418 |1909 |6017 |6017 |1909 |6789 |1300 | 0 | 0 | 3.031982e+03 | -- | Inf
24.29/24.37 c 23.7s| 1 | 0 | 25784 | 40M| 0 |1424 |1909 |6017 |6017 |1909 |6834 |1345 | 0 | 0 | 3.039372e+03 | -- | Inf
25.08/25.10 c 24.4s| 1 | 0 | 26557 | 40M| 0 |1510 |1909 |6017 |6017 |1909 |6649 |1393 | 0 | 0 | 3.043665e+03 | -- | Inf
25.68/25.74 c 25.1s| 1 | 0 | 27377 | 41M| 0 |1544 |1909 |6017 |6017 |1909 |6701 |1445 | 0 | 0 | 3.048351e+03 | -- | Inf
26.78/26.88 c 26.2s| 1 | 0 | 28730 | 41M| 0 |1535 |1909 |6017 |6017 |1909 |6757 |1501 | 0 | 0 | 3.052334e+03 | -- | Inf
27.68/27.77 c 27.1s| 1 | 0 | 29686 | 42M| 0 |1560 |1909 |6017 |6017 |1909 |6804 |1548 | 0 | 0 | 3.058041e+03 | -- | Inf
28.78/28.80 c 28.1s| 1 | 0 | 30778 | 42M| 0 |1555 |1909 |6017 |6017 |1909 |6855 |1599 | 0 | 0 | 3.062827e+03 | -- | Inf
29.68/29.76 c 29.1s| 1 | 0 | 31909 | 43M| 0 |1604 |1909 |6017 |6017 |1909 |6901 |1645 | 0 | 0 | 3.066411e+03 | -- | Inf
31.28/31.39 c 30.7s| 1 | 0 | 33486 | 43M| 0 |1572 |1909 |6017 |6017 |1909 |6677 |1694 | 0 | 0 | 3.073426e+03 | -- | Inf
32.38/32.49 c 31.8s| 1 | 0 | 34873 | 44M| 0 |1626 |1909 |6017 |6017 |1909 |6721 |1738 | 0 | 0 | 3.076996e+03 | -- | Inf
33.68/33.70 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.68/33.70 c 33.0s| 1 | 0 | 36273 | 44M| 0 |1645 |1909 |6017 |6017 |1909 |6761 |1778 | 0 | 0 | 3.080731e+03 | -- | Inf
34.68/34.78 c 34.1s| 1 | 0 | 37483 | 45M| 0 |1628 |1909 |6017 |6017 |1909 |6808 |1825 | 0 | 0 | 3.085540e+03 | -- | Inf
35.68/35.75 c 35.0s| 1 | 0 | 38605 | 45M| 0 |1666 |1909 |6017 |6017 |1909 |6845 |1862 | 0 | 0 | 3.087704e+03 | -- | Inf
36.97/37.06 c 36.4s| 1 | 0 | 40000 | 46M| 0 |1580 |1909 |6017 |6017 |1909 |6883 |1900 | 0 | 0 | 3.090992e+03 | -- | Inf
38.58/38.65 c 37.9s| 1 | 0 | 41276 | 46M| 0 |1630 |1909 |6017 |6017 |1909 |6663 |1938 | 0 | 0 | 3.093686e+03 | -- | Inf
39.78/39.84 c 39.1s| 1 | 0 | 42537 | 46M| 0 |1590 |1909 |6017 |6017 |1909 |6696 |1971 | 0 | 0 | 3.096972e+03 | -- | Inf
40.97/41.08 c 40.4s| 1 | 0 | 43772 | 47M| 0 |1637 |1909 |6017 |6017 |1909 |6737 |2012 | 0 | 0 | 3.099004e+03 | -- | Inf
43.07/43.13 c 42.4s| 1 | 0 | 44763 | 47M| 0 |1574 |1909 |6017 |6017 |1909 |6774 |2049 | 0 | 0 | 3.100832e+03 | -- | Inf
43.98/44.07 c 43.3s| 1 | 0 | 45715 | 48M| 0 |1601 |1909 |6017 |6017 |1909 |6825 |2100 | 0 | 0 | 3.102897e+03 | -- | Inf
44.87/44.99 c 44.2s| 1 | 0 | 46528 | 48M| 0 |1615 |1909 |6017 |6017 |1909 |6874 |2149 | 0 | 0 | 3.105927e+03 | -- | Inf
46.27/46.32 c 45.6s| 1 | 0 | 47893 | 48M| 0 |1562 |1909 |6017 |6017 |1909 |6682 |2194 | 0 | 0 | 3.109720e+03 | -- | Inf
47.27/47.37 c 46.6s| 1 | 0 | 48653 | 49M| 0 |1574 |1909 |6017 |6017 |1909 |6717 |2229 | 0 | 0 | 3.111564e+03 | -- | Inf
48.47/48.52 c 47.8s| 1 | 0 | 49233 | 49M| 0 |1582 |1909 |6017 |6017 |1909 |6732 |2244 | 0 | 0 | 3.112685e+03 | -- | Inf
50.17/50.26 c 49.5s| 1 | 0 | 49685 | 49M| 0 |1578 |1909 |6017 |6017 |1909 |6751 |2263 | 0 | 0 | 3.114620e+03 | -- | Inf
51.87/51.97 c 51.2s| 1 | 0 | 50056 | 49M| 0 |1624 |1909 |6017 |6017 |1909 |6762 |2274 | 0 | 0 | 3.115094e+03 | -- | Inf
53.67/53.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.67/53.76 c 53.0s| 1 | 0 | 50366 | 49M| 0 |1599 |1909 |6017 |6017 |1909 |6780 |2292 | 0 | 0 | 3.115376e+03 | -- | Inf
55.47/55.50 c 54.7s| 1 | 0 | 50900 | 49M| 0 |1600 |1909 |6017 |6017 |1909 |6586 |2308 | 0 | 0 | 3.116300e+03 | -- | Inf
57.07/57.12 c 56.3s| 1 | 0 | 51477 | 50M| 0 |1598 |1909 |6017 |6017 |1909 |6602 |2324 | 0 | 0 | 3.116604e+03 | -- | Inf
58.28/58.37 c 57.6s| 1 | 0 | 51930 | 50M| 0 |1598 |1909 |6017 |6017 |1909 |6621 |2343 | 0 | 0 | 3.117432e+03 | -- | Inf
59.47/59.51 c 58.7s| 1 | 0 | 52737 | 51M| 0 |1620 |1909 |6017 |6017 |1909 |6642 |2364 | 0 | 0 | 3.118870e+03 | -- | Inf
61.17/61.25 c 60.5s| 1 | 0 | 53049 | 51M| 0 |1581 |1909 |6017 |6017 |1909 |6657 |2379 | 0 | 0 | 3.119619e+03 | -- | Inf
62.97/63.04 c 62.2s| 1 | 0 | 53661 | 51M| 0 |1593 |1909 |6017 |6017 |1909 |6683 |2405 | 0 | 0 | 3.120184e+03 | -- | Inf
65.16/65.22 c 64.4s| 1 | 0 | 54072 | 51M| 0 |1570 |1909 |6017 |6017 |1909 |6491 |2426 | 0 | 0 | 3.120477e+03 | -- | Inf
66.97/67.07 c 66.3s| 1 | 0 | 54645 | 51M| 0 |1583 |1909 |6017 |6017 |1909 |6504 |2439 | 0 | 0 | 3.121466e+03 | -- | Inf
68.37/68.47 c 67.7s| 1 | 0 | 55343 | 52M| 0 |1619 |1909 |6017 |6017 |1909 |6519 |2454 | 0 | 0 | 3.122843e+03 | -- | Inf
70.46/70.56 c 69.7s| 1 | 0 | 55895 | 52M| 0 |1542 |1909 |6017 |6017 |1909 |6542 |2477 | 0 | 0 | 3.124713e+03 | -- | Inf
71.57/71.67 c 70.8s| 1 | 0 | 56414 | 52M| 0 |1562 |1909 |6017 |6017 |1909 |6558 |2493 | 0 | 0 | 3.125646e+03 | -- | Inf
73.16/73.28 c 72.5s| 1 | 0 | 56666 | 52M| 0 |1591 |1909 |6017 |6017 |1909 |6568 |2503 | 0 | 0 | 3.125700e+03 | -- | Inf
75.47/75.52 c 74.7s| 1 | 0 | 57342 | 52M| 0 |1599 |1909 |6017 |6017 |1909 |6492 |2510 | 0 | 0 | 3.125962e+03 | -- | Inf
77.06/77.17 c 76.3s| 1 | 0 | 57708 | 52M| 0 |1550 |1909 |6017 |6017 |1909 |6503 |2521 | 0 | 0 | 3.126642e+03 | -- | Inf
78.66/78.76 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.66/78.76 c 77.9s| 1 | 0 | 58081 | 52M| 0 |1551 |1909 |6017 |6017 |1909 |6512 |2530 | 0 | 0 | 3.126776e+03 | -- | Inf
79.96/80.03 c 79.2s| 1 | 0 | 58896 | 53M| 0 |1593 |1909 |6017 |6017 |1909 |6535 |2553 | 0 | 0 | 3.127639e+03 | -- | Inf
81.76/81.80 c 81.0s| 1 | 0 | 59640 | 53M| 0 |1556 |1909 |6017 |6017 |1909 |6562 |2580 | 0 | 0 | 3.128769e+03 | -- | Inf
82.86/82.99 c 82.1s| 1 | 0 | 60497 | 53M| 0 |1615 |1909 |6017 |6017 |1909 |6584 |2602 | 0 | 0 | 3.129783e+03 | -- | Inf
84.96/85.07 c 84.2s| 1 | 0 | 61220 | 53M| 0 |1544 |1909 |6017 |6017 |1909 |6471 |2621 | 0 | 0 | 3.131085e+03 | -- | Inf
86.26/86.33 c 85.5s| 1 | 0 | 61754 | 54M| 0 |1568 |1909 |6017 |6017 |1909 |6494 |2644 | 0 | 0 | 3.132009e+03 | -- | Inf
87.96/88.08 c 87.2s| 1 | 0 | 62381 | 54M| 0 |1587 |1909 |6017 |6017 |1909 |6526 |2676 | 0 | 0 | 3.133207e+03 | -- | Inf
88.86/88.97 c 88.1s| 1 | 0 | 62863 | 54M| 0 |1596 |1909 |6017 |6017 |1909 |6551 |2701 | 0 | 0 | 3.134752e+03 | -- | Inf
90.66/90.74 c 89.9s| 1 | 0 | 63337 | 54M| 0 |1587 |1909 |6017 |6017 |1909 |6578 |2728 | 0 | 0 | 3.135574e+03 | -- | Inf
91.85/91.97 c 91.1s| 1 | 0 | 63656 | 55M| 0 |1582 |1909 |6017 |6017 |1909 |6587 |2737 | 0 | 0 | 3.135791e+03 | -- | Inf
93.76/93.87 c 93.0s| 1 | 0 | 63893 | 55M| 0 |1589 |1909 |6017 |6017 |1909 |6518 |2749 | 0 | 0 | 3.136186e+03 | -- | Inf
95.56/95.61 c 94.7s| 1 | 0 | 64198 | 55M| 0 |1599 |1909 |6017 |6017 |1909 |6525 |2756 | 0 | 0 | 3.136791e+03 | -- | Inf
97.26/97.33 c 96.4s| 1 | 0 | 64519 | 55M| 0 |1601 |1909 |6017 |6017 |1909 |6540 |2771 | 0 | 0 | 3.137252e+03 | -- | Inf
98.96/99.03 c 98.1s| 1 | 0 | 64808 | 55M| 0 |1596 |1909 |6017 |6017 |1909 |6549 |2780 | 0 | 0 | 3.137823e+03 | -- | Inf
100.45/100.57 c 99.7s| 1 | 0 | 64828 | 55M| 0 |1598 |1909 |6017 |6017 |1909 |6551 |2782 | 0 | 0 | 3.137827e+03 | -- | Inf
102.26/102.38 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.26/102.38 c 101s| 1 | 0 | 65186 | 55M| 0 |1589 |1909 |6017 |6017 |1909 |6553 |2784 | 0 | 0 | 3.138355e+03 | -- | Inf
104.05/104.14 c 103s| 1 | 0 | 65438 | 55M| 0 |1587 |1909 |6017 |6017 |1909 |6455 |2790 | 0 | 0 | 3.138789e+03 | -- | Inf
105.56/105.69 c 105s| 1 | 0 | 65654 | 55M| 0 |1586 |1909 |6017 |6017 |1909 |6467 |2802 | 0 | 0 | 3.138981e+03 | -- | Inf
107.25/107.35 c 106s| 1 | 0 | 65927 | 55M| 0 |1583 |1909 |6017 |6017 |1909 |6477 |2812 | 0 | 0 | 3.139097e+03 | -- | Inf
108.86/108.96 c 108s| 1 | 0 | 66402 | 56M| 0 |1584 |1909 |6017 |6017 |1909 |6492 |2827 | 0 | 0 | 3.139625e+03 | -- | Inf
110.85/110.95 c 110s| 1 | 0 | 67078 | 56M| 0 |1582 |1909 |6017 |6017 |1909 |6511 |2846 | 0 | 0 | 3.140471e+03 | -- | Inf
112.66/112.72 c 112s| 1 | 0 | 67312 | 56M| 0 |1584 |1909 |6017 |6017 |1909 |6524 |2859 | 0 | 0 | 3.141158e+03 | -- | Inf
114.66/114.77 c 114s| 1 | 0 | 67833 | 56M| 0 |1582 |1909 |6017 |6017 |1909 |6452 |2869 | 0 | 0 | 3.141569e+03 | -- | Inf
116.55/116.69 c 116s| 1 | 0 | 68590 | 56M| 0 |1578 |1909 |6017 |6017 |1909 |6460 |2877 | 0 | 0 | 3.141959e+03 | -- | Inf
118.35/118.47 c 118s| 1 | 0 | 68805 | 56M| 0 |1590 |1909 |6017 |6017 |1909 |6471 |2888 | 0 | 0 | 3.141963e+03 | -- | Inf
120.05/120.18 c 119s| 1 | 0 | 69086 | 56M| 0 |1577 |1909 |6017 |6017 |1909 |6476 |2893 | 0 | 0 | 3.142117e+03 | -- | Inf
121.85/121.94 c 121s| 1 | 0 | 69148 | 56M| 0 |1570 |1909 |6017 |6017 |1909 |6478 |2895 | 0 | 0 | 3.142117e+03 | -- | Inf
123.35/123.44 c 122s| 1 | 0 | 69157 | 56M| 0 |1570 |1909 |6017 |6017 |1909 |6479 |2896 | 0 | 0 | 3.142117e+03 | -- | Inf
128.05/128.13 c 127s| 1 | 2 | 69157 | 56M| 0 |1570 |1909 |6017 |6017 |1909 |6479 |2896 | 0 | 20 | 3.142117e+03 | -- | Inf
1798.18/1798.76 c
1798.18/1798.76 c SCIP Status : solving was interrupted [time limit reached]
1798.18/1798.76 c Solving Time (sec) : 1791.01
1798.18/1798.76 c Solving Nodes : 3658
1798.18/1798.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.18/1798.76 c Dual Bound : +3.15204519441164e+03
1798.18/1798.76 c Gap : infinite
1798.18/1798.76 c NODE 3658
1798.18/1798.76 c DUAL BOUND 3152.05
1798.18/1798.76 c PRIMAL BOUND 1e+20
1798.18/1798.76 c GAP 1e+20
1798.18/1798.76 s UNKNOWN
1798.18/1798.76 c SCIP Status : solving was interrupted [time limit reached]
1798.18/1798.76 c Solving Time : 1791.01
1798.18/1798.76 c Original Problem :
1798.18/1798.76 c Problem name : HOME/instance-1869165-1245161671.opb
1798.18/1798.76 c Variables : 6352 (6352 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.18/1798.76 c Constraints : 13453 initial, 13453 maximal
1798.18/1798.76 c Presolved Problem :
1798.18/1798.76 c Problem name : t_HOME/instance-1869165-1245161671.opb
1798.18/1798.76 c Variables : 1909 (1909 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.18/1798.76 c Constraints : 6017 initial, 7634 maximal
1798.18/1798.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.18/1798.76 c trivial : 0.03 49 0 0 0 0 0 0 0
1798.18/1798.76 c dualfix : 0.01 0 0 0 0 0 0 0 0
1798.18/1798.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.18/1798.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.18/1798.76 c implics : 0.11 0 3215 0 0 0 0 0 0
1798.18/1798.76 c probing : 0.49 1 182 0 0 0 0 0 0
1798.18/1798.76 c linear : 0.30 959 37 0 1008 0 7422 201 398
1798.18/1798.76 c logicor : 0.17 0 0 0 0 0 14 0 0
1798.18/1798.76 c root node : - 0 - - 0 - - - -
1798.18/1798.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.18/1798.76 c integral : 0 0 0 2750 0 3 52 0 0 5450
1798.18/1798.76 c logicor : 6017+ 88 96887 0 1 1657 635933 0 0 0
1798.18/1798.76 c countsols : 0 0 0 0 1 0 0 0 0 0
1798.18/1798.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.18/1798.76 c integral : 538.46 0.00 0.00 538.46 0.00
1798.18/1798.76 c logicor : 6.03 0.05 5.97 0.00 0.01
1798.18/1798.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.18/1798.76 c Propagators : Time Calls Cutoffs DomReds
1798.18/1798.76 c rootredcost : 0.05 0 0 0
1798.18/1798.76 c pseudoobj : 6.26 95605 0 0
1798.18/1798.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.18/1798.76 c propagation : 1.02 1656 1600 21461 47.2 574 9.8 -
1798.18/1798.76 c infeasible LP : 0.11 208 0 0 0.0 0 0.0 0
1798.18/1798.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.18/1798.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.18/1798.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.18/1798.76 c applied globally : - - - 6262 36.6 - - -
1798.18/1798.76 c applied locally : - - - 0 0.0 - - -
1798.18/1798.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.18/1798.76 c cut pool : 1.12 87 - - 4722 - (maximal pool size: 22083)
1798.18/1798.76 c redcost : 0.19 2837 0 0 0 0
1798.18/1798.76 c impliedbounds : 0.15 88 0 0 618 0
1798.18/1798.76 c intobj : 0.00 0 0 0 0 0
1798.18/1798.76 c gomory : 74.21 88 0 0 34057 0
1798.18/1798.76 c strongcg : 2.72 20 0 0 10000 0
1798.18/1798.76 c cmir : 0.72 10 0 0 0 0
1798.18/1798.76 c flowcover : 0.64 10 0 0 0 0
1798.18/1798.76 c clique : 0.23 88 0 0 25 0
1798.18/1798.76 c zerohalf : 0.00 0 0 0 0 0
1798.18/1798.76 c mcf : 0.01 1 0 0 0 0
1798.18/1798.76 c Pricers : Time Calls Vars
1798.18/1798.76 c problem variables: 0.00 0 0
1798.18/1798.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.18/1798.76 c relpscost : 538.45 2750 3 52 0 0 5450
1798.18/1798.76 c pscost : 0.00 0 0 0 0 0 0
1798.18/1798.76 c inference : 0.00 1 0 0 0 0 2
1798.18/1798.76 c mostinf : 0.00 0 0 0 0 0 0
1798.18/1798.76 c leastinf : 0.00 0 0 0 0 0 0
1798.18/1798.76 c fullstrong : 0.00 0 0 0 0 0 0
1798.18/1798.76 c allfullstrong : 0.00 0 0 0 0 0 0
1798.18/1798.76 c random : 0.00 0 0 0 0 0 0
1798.18/1798.76 c Primal Heuristics : Time Calls Found
1798.18/1798.76 c LP solutions : 0.00 - 0
1798.18/1798.76 c pseudo solutions : 0.00 - 0
1798.18/1798.76 c oneopt : 0.01 0 0
1798.18/1798.76 c crossover : 0.00 0 0
1798.18/1798.76 c rootsoldiving : 65.96 4 0
1798.18/1798.76 c pscostdiving : 42.45 19 0
1798.18/1798.76 c linesearchdiving : 40.67 20 0
1798.18/1798.76 c coefdiving : 38.93 20 0
1798.18/1798.76 c simplerounding : 0.01 0 0
1798.18/1798.76 c rounding : 1.33 693 0
1798.18/1798.76 c shifting : 2.19 229 0
1798.18/1798.76 c intshifting : 0.00 0 0
1798.18/1798.76 c fixandinfer : 0.00 0 0
1798.18/1798.76 c feaspump : 44.92 7 0
1798.18/1798.76 c fracdiving : 51.49 20 0
1798.18/1798.76 c veclendiving : 60.32 17 0
1798.18/1798.76 c intdiving : 0.00 0 0
1798.18/1798.76 c actconsdiving : 0.00 0 0
1798.18/1798.76 c objpscostdiving : 37.01 5 0
1798.18/1798.76 c guideddiving : 0.00 0 0
1798.18/1798.76 c octane : 0.00 0 0
1798.18/1798.76 c rens : 0.01 0 0
1798.18/1798.76 c rins : 0.00 0 0
1798.18/1798.76 c localbranching : 0.00 0 0
1798.18/1798.76 c mutation : 0.00 0 0
1798.18/1798.76 c dins : 0.00 0 0
1798.18/1798.76 c LP : Time Calls Iterations Iter/call Iter/sec
1798.18/1798.76 c primal LP : 1.45 0 0 0.00 0.00
1798.18/1798.76 c dual LP : 760.99 3012 1528017 507.31 2007.93
1798.18/1798.76 c barrier LP : 0.00 0 0 0.00 -
1798.18/1798.76 c diving/probing LP: 362.14 7554 461749 61.13 1275.06
1798.18/1798.76 c strong branching : 536.21 3344 872681 260.97 1627.50
1798.18/1798.76 c (at root node) : - 20 4739 236.95 -
1798.18/1798.76 c conflict analysis: 0.00 0 0 0.00 -
1798.18/1798.76 c B&B Tree :
1798.18/1798.76 c number of runs : 1
1798.18/1798.76 c nodes : 3658
1798.18/1798.76 c nodes (total) : 3658
1798.18/1798.76 c nodes left : 521
1798.18/1798.76 c max depth : 58
1798.18/1798.76 c max depth (total): 58
1798.18/1798.76 c backtracks : 955 (26.1%)
1798.18/1798.76 c delayed cutoffs : 1274
1798.18/1798.76 c repropagations : 2653 (285588 domain reductions, 704 cutoffs)
1798.18/1798.76 c avg switch length: 4.26
1798.18/1798.76 c switching time : 3.41
1798.18/1798.76 c Solution :
1798.18/1798.76 c Solutions found : 0 (0 improvements)
1798.18/1798.76 c Primal Bound : -
1798.18/1798.76 c Dual Bound : +3.15204519441164e+03
1798.18/1798.76 c Gap : infinite
1798.18/1798.76 c Root Dual Bound : +3.14211652612299e+03
1798.28/1798.89 c Time complete: 1798.37.