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-2664168-1276363058.opb>
0.10/0.14 c original problem has 10724 variables (10724 bin, 0 int, 0 impl, 0 cont) and 1662 constraints
0.10/0.14 c problem read
0.10/0.14 c presolving settings loaded
0.10/0.14 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.26 c presolving:
0.19/0.30 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 2077 chg coeffs, 0 upgd conss, 0 impls, 383 clqs
0.39/0.40 c (round 2) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 2077 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.49/0.58 c (round 3) 1698 del vars, 57 del conss, 0 chg bounds, 112 chg sides, 3725 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.59/0.69 c (round 4) 2111 del vars, 71 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.69/0.74 c (round 5) 2231 del vars, 79 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
0.69/0.77 c (round 6) 2247 del vars, 82 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 0 impls, 383 clqs
1.00/1.02 c (round 7) 2297 del vars, 82 del conss, 0 chg bounds, 124 chg sides, 4221 chg coeffs, 1657 upgd conss, 5334 impls, 383 clqs
1.00/1.06 c (round 8) 2297 del vars, 93 del conss, 0 chg bounds, 129 chg sides, 4231 chg coeffs, 1657 upgd conss, 5334 impls, 383 clqs
1.10/1.19 c (round 9) 2347 del vars, 93 del conss, 0 chg bounds, 129 chg sides, 4231 chg coeffs, 1657 upgd conss, 6936 impls, 383 clqs
1.19/1.23 c (round 10) 2347 del vars, 93 del conss, 0 chg bounds, 132 chg sides, 4237 chg coeffs, 1657 upgd conss, 6936 impls, 383 clqs
1.29/1.33 c (round 11) 2397 del vars, 93 del conss, 0 chg bounds, 132 chg sides, 4237 chg coeffs, 1657 upgd conss, 7558 impls, 383 clqs
1.29/1.36 c (round 12) 2397 del vars, 101 del conss, 0 chg bounds, 133 chg sides, 4239 chg coeffs, 1657 upgd conss, 7558 impls, 383 clqs
1.39/1.48 c (round 13) 2447 del vars, 101 del conss, 0 chg bounds, 133 chg sides, 4239 chg coeffs, 1657 upgd conss, 8666 impls, 383 clqs
1.49/1.51 c (round 14) 2447 del vars, 101 del conss, 0 chg bounds, 135 chg sides, 4243 chg coeffs, 1657 upgd conss, 8666 impls, 383 clqs
1.59/1.67 c (round 15) 2497 del vars, 101 del conss, 0 chg bounds, 135 chg sides, 4243 chg coeffs, 1657 upgd conss, 9576 impls, 383 clqs
1.69/1.71 c (round 16) 2497 del vars, 101 del conss, 0 chg bounds, 137 chg sides, 4247 chg coeffs, 1657 upgd conss, 9576 impls, 383 clqs
1.79/1.87 c (round 17) 2547 del vars, 101 del conss, 0 chg bounds, 137 chg sides, 4247 chg coeffs, 1657 upgd conss, 10668 impls, 383 clqs
1.89/1.91 c (round 18) 2547 del vars, 124 del conss, 0 chg bounds, 139 chg sides, 4251 chg coeffs, 1657 upgd conss, 10668 impls, 383 clqs
2.09/2.14 c (round 19) 2597 del vars, 124 del conss, 0 chg bounds, 139 chg sides, 4251 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.09/2.18 c (round 20) 2597 del vars, 128 del conss, 0 chg bounds, 145 chg sides, 4263 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.09/2.19 c (round 21) 2597 del vars, 128 del conss, 0 chg bounds, 146 chg sides, 4297 chg coeffs, 1657 upgd conss, 15102 impls, 383 clqs
2.39/2.45 c (round 22) 2647 del vars, 128 del conss, 0 chg bounds, 146 chg sides, 4297 chg coeffs, 1657 upgd conss, 17484 impls, 383 clqs
2.39/2.48 c (round 23) 2647 del vars, 132 del conss, 0 chg bounds, 149 chg sides, 4303 chg coeffs, 1657 upgd conss, 17484 impls, 384 clqs
2.59/2.60 c (2.3s) probing: 1000/8477 (11.8%) - 435 fixings, 0 aggregations, 8894 implications, 0 bound changes
2.59/2.62 c (round 24) 2697 del vars, 132 del conss, 0 chg bounds, 149 chg sides, 4303 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.59/2.65 c (round 25) 2697 del vars, 132 del conss, 0 chg bounds, 155 chg sides, 4315 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.59/2.67 c (round 26) 2697 del vars, 132 del conss, 0 chg bounds, 158 chg sides, 4355 chg coeffs, 1657 upgd conss, 18268 impls, 384 clqs
2.79/2.84 c (round 27) 2747 del vars, 132 del conss, 0 chg bounds, 158 chg sides, 4355 chg coeffs, 1657 upgd conss, 20798 impls, 384 clqs
2.79/2.87 c (round 28) 2747 del vars, 135 del conss, 0 chg bounds, 160 chg sides, 4359 chg coeffs, 1657 upgd conss, 20798 impls, 385 clqs
2.99/3.04 c (round 29) 2797 del vars, 135 del conss, 0 chg bounds, 160 chg sides, 4359 chg coeffs, 1657 upgd conss, 22784 impls, 385 clqs
2.99/3.08 c (round 30) 2797 del vars, 137 del conss, 0 chg bounds, 161 chg sides, 4361 chg coeffs, 1657 upgd conss, 22784 impls, 385 clqs
3.20/3.22 c (round 31) 2847 del vars, 137 del conss, 0 chg bounds, 161 chg sides, 4361 chg coeffs, 1657 upgd conss, 23984 impls, 385 clqs
3.20/3.25 c (round 32) 2847 del vars, 145 del conss, 0 chg bounds, 163 chg sides, 4365 chg coeffs, 1657 upgd conss, 23984 impls, 385 clqs
3.30/3.39 c (round 33) 2897 del vars, 145 del conss, 0 chg bounds, 163 chg sides, 4365 chg coeffs, 1657 upgd conss, 25206 impls, 385 clqs
3.39/3.43 c (round 34) 2897 del vars, 157 del conss, 0 chg bounds, 167 chg sides, 4373 chg coeffs, 1657 upgd conss, 25206 impls, 385 clqs
3.59/3.64 c (round 35) 2947 del vars, 157 del conss, 0 chg bounds, 167 chg sides, 4373 chg coeffs, 1657 upgd conss, 27426 impls, 385 clqs
3.59/3.67 c (round 36) 2947 del vars, 159 del conss, 0 chg bounds, 168 chg sides, 4375 chg coeffs, 1657 upgd conss, 27426 impls, 385 clqs
3.89/3.95 c (round 37) 2997 del vars, 159 del conss, 0 chg bounds, 168 chg sides, 4375 chg coeffs, 1657 upgd conss, 30162 impls, 385 clqs
3.89/3.99 c (round 38) 2997 del vars, 167 del conss, 0 chg bounds, 173 chg sides, 4385 chg coeffs, 1657 upgd conss, 30162 impls, 385 clqs
4.09/4.13 c (round 39) 3047 del vars, 167 del conss, 0 chg bounds, 173 chg sides, 4385 chg coeffs, 1657 upgd conss, 31324 impls, 385 clqs
4.09/4.16 c (round 40) 3047 del vars, 169 del conss, 0 chg bounds, 176 chg sides, 4391 chg coeffs, 1657 upgd conss, 31324 impls, 385 clqs
4.19/4.29 c (round 41) 3097 del vars, 169 del conss, 0 chg bounds, 176 chg sides, 4391 chg coeffs, 1657 upgd conss, 32866 impls, 385 clqs
4.30/4.32 c (round 42) 3097 del vars, 184 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 32866 impls, 385 clqs
4.30/4.40 c (round 43) 3147 del vars, 184 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 33112 impls, 385 clqs
4.40/4.42 c (round 44) 3147 del vars, 189 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 33112 impls, 385 clqs
4.40/4.49 c (4.1s) probing: 2000/8477 (23.6%) - 929 fixings, 0 aggregations, 16557 implications, 0 bound changes
4.59/4.62 c (round 45) 3197 del vars, 189 del conss, 0 chg bounds, 177 chg sides, 4393 chg coeffs, 1657 upgd conss, 36220 impls, 385 clqs
4.59/4.65 c (round 46) 3197 del vars, 189 del conss, 0 chg bounds, 181 chg sides, 4401 chg coeffs, 1657 upgd conss, 36220 impls, 385 clqs
4.79/4.85 c (round 47) 3247 del vars, 189 del conss, 0 chg bounds, 181 chg sides, 4401 chg coeffs, 1657 upgd conss, 38434 impls, 385 clqs
4.79/4.88 c (round 48) 3247 del vars, 197 del conss, 0 chg bounds, 183 chg sides, 4405 chg coeffs, 1657 upgd conss, 38434 impls, 385 clqs
5.19/5.21 c (round 49) 3297 del vars, 197 del conss, 0 chg bounds, 183 chg sides, 4405 chg coeffs, 1657 upgd conss, 42004 impls, 385 clqs
5.19/5.25 c (round 50) 3297 del vars, 198 del conss, 0 chg bounds, 188 chg sides, 4415 chg coeffs, 1657 upgd conss, 42004 impls, 385 clqs
5.50/5.54 c (round 51) 3347 del vars, 198 del conss, 0 chg bounds, 188 chg sides, 4415 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.50/5.57 c (round 52) 3347 del vars, 210 del conss, 0 chg bounds, 192 chg sides, 4422 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.50/5.58 c (round 53) 3347 del vars, 210 del conss, 0 chg bounds, 193 chg sides, 4462 chg coeffs, 1657 upgd conss, 45676 impls, 385 clqs
5.79/5.82 c (round 54) 3397 del vars, 210 del conss, 0 chg bounds, 193 chg sides, 4462 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
5.79/5.85 c (round 55) 3397 del vars, 210 del conss, 0 chg bounds, 195 chg sides, 4465 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
5.79/5.87 c (round 56) 3397 del vars, 210 del conss, 0 chg bounds, 196 chg sides, 4493 chg coeffs, 1657 upgd conss, 47514 impls, 385 clqs
6.19/6.26 c (round 57) 3447 del vars, 210 del conss, 0 chg bounds, 196 chg sides, 4493 chg coeffs, 1657 upgd conss, 53308 impls, 385 clqs
6.29/6.30 c (round 58) 3447 del vars, 224 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 53308 impls, 385 clqs
6.39/6.42 c (round 59) 3497 del vars, 224 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 54192 impls, 385 clqs
6.39/6.45 c (round 60) 3497 del vars, 231 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 54192 impls, 385 clqs
6.49/6.54 c (6.1s) probing: 3000/8477 (35.4%) - 1269 fixings, 0 aggregations, 27152 implications, 0 bound changes
6.49/6.59 c (round 61) 3547 del vars, 231 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 55524 impls, 385 clqs
6.60/6.63 c (round 62) 3547 del vars, 237 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 55524 impls, 385 clqs
6.79/6.82 c (round 63) 3597 del vars, 237 del conss, 0 chg bounds, 204 chg sides, 4509 chg coeffs, 1657 upgd conss, 57734 impls, 385 clqs
6.79/6.86 c (round 64) 3597 del vars, 237 del conss, 0 chg bounds, 205 chg sides, 4511 chg coeffs, 1657 upgd conss, 57734 impls, 385 clqs
7.19/7.21 c (round 65) 3647 del vars, 237 del conss, 0 chg bounds, 205 chg sides, 4511 chg coeffs, 1657 upgd conss, 61996 impls, 385 clqs
7.19/7.25 c (round 66) 3647 del vars, 240 del conss, 0 chg bounds, 208 chg sides, 4517 chg coeffs, 1657 upgd conss, 61996 impls, 385 clqs
7.39/7.44 c (round 67) 3697 del vars, 240 del conss, 0 chg bounds, 208 chg sides, 4517 chg coeffs, 1657 upgd conss, 63524 impls, 385 clqs
7.39/7.48 c (round 68) 3697 del vars, 243 del conss, 0 chg bounds, 210 chg sides, 4521 chg coeffs, 1657 upgd conss, 63524 impls, 385 clqs
7.59/7.65 c (round 69) 3747 del vars, 243 del conss, 0 chg bounds, 210 chg sides, 4521 chg coeffs, 1657 upgd conss, 64382 impls, 385 clqs
7.59/7.69 c (round 70) 3747 del vars, 243 del conss, 0 chg bounds, 212 chg sides, 4525 chg coeffs, 1657 upgd conss, 64382 impls, 385 clqs
8.19/8.26 c (round 71) 3797 del vars, 243 del conss, 0 chg bounds, 212 chg sides, 4525 chg coeffs, 1657 upgd conss, 73442 impls, 385 clqs
8.29/8.31 c (round 72) 3797 del vars, 257 del conss, 0 chg bounds, 222 chg sides, 4545 chg coeffs, 1657 upgd conss, 73442 impls, 385 clqs
8.39/8.45 c (round 73) 3847 del vars, 257 del conss, 0 chg bounds, 222 chg sides, 4545 chg coeffs, 1657 upgd conss, 74404 impls, 385 clqs
8.39/8.49 c (round 74) 3847 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 74404 impls, 385 clqs
8.59/8.61 c (round 75) 3897 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 75224 impls, 385 clqs
8.59/8.66 c (8.1s) probing: 4000/8477 (47.2%) - 1651 fixings, 0 aggregations, 37041 implications, 0 bound changes
8.69/8.78 c (round 76) 3947 del vars, 261 del conss, 0 chg bounds, 226 chg sides, 4553 chg coeffs, 1657 upgd conss, 76028 impls, 385 clqs
8.80/8.81 c (round 77) 3947 del vars, 264 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 76028 impls, 385 clqs
8.99/9.03 c (round 78) 3997 del vars, 264 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 77920 impls, 385 clqs
8.99/9.07 c (round 79) 3997 del vars, 272 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 77920 impls, 385 clqs
9.18/9.22 c (round 80) 4047 del vars, 272 del conss, 0 chg bounds, 228 chg sides, 4557 chg coeffs, 1657 upgd conss, 79028 impls, 385 clqs
9.18/9.25 c (round 81) 4047 del vars, 284 del conss, 0 chg bounds, 229 chg sides, 4559 chg coeffs, 1657 upgd conss, 79028 impls, 385 clqs
9.39/9.49 c (round 82) 4097 del vars, 284 del conss, 0 chg bounds, 229 chg sides, 4559 chg coeffs, 1657 upgd conss, 80904 impls, 385 clqs
9.49/9.53 c (round 83) 4097 del vars, 287 del conss, 0 chg bounds, 230 chg sides, 4561 chg coeffs, 1657 upgd conss, 80904 impls, 385 clqs
9.69/9.77 c (round 84) 4147 del vars, 287 del conss, 0 chg bounds, 230 chg sides, 4561 chg coeffs, 1657 upgd conss, 82698 impls, 385 clqs
9.80/9.80 c (round 85) 4147 del vars, 290 del conss, 0 chg bounds, 231 chg sides, 4563 chg coeffs, 1657 upgd conss, 82698 impls, 385 clqs
10.09/10.15 c (round 86) 4197 del vars, 290 del conss, 0 chg bounds, 231 chg sides, 4563 chg coeffs, 1657 upgd conss, 86004 impls, 385 clqs
10.09/10.19 c (round 87) 4197 del vars, 295 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 86004 impls, 385 clqs
10.29/10.37 c (round 88) 4247 del vars, 295 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 87166 impls, 385 clqs
10.39/10.41 c (round 89) 4247 del vars, 299 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 87166 impls, 385 clqs
10.58/10.65 c (round 90) 4297 del vars, 299 del conss, 0 chg bounds, 232 chg sides, 4565 chg coeffs, 1657 upgd conss, 88934 impls, 385 clqs
10.58/10.68 c (round 91) 4297 del vars, 299 del conss, 0 chg bounds, 234 chg sides, 4569 chg coeffs, 1657 upgd conss, 88934 impls, 385 clqs
10.69/10.75 c (10.1s) probing: 5000/8477 (59.0%) - 2080 fixings, 0 aggregations, 43950 implications, 0 bound changes
10.69/10.79 c (round 92) 4347 del vars, 299 del conss, 0 chg bounds, 234 chg sides, 4569 chg coeffs, 1657 upgd conss, 89310 impls, 385 clqs
10.79/10.81 c (round 93) 4347 del vars, 302 del conss, 0 chg bounds, 236 chg sides, 4573 chg coeffs, 1657 upgd conss, 89310 impls, 385 clqs
10.89/10.96 c (round 94) 4397 del vars, 302 del conss, 0 chg bounds, 236 chg sides, 4573 chg coeffs, 1657 upgd conss, 90616 impls, 385 clqs
10.89/11.00 c (round 95) 4397 del vars, 302 del conss, 0 chg bounds, 239 chg sides, 4579 chg coeffs, 1657 upgd conss, 90616 impls, 385 clqs
11.09/11.11 c (round 96) 4447 del vars, 302 del conss, 0 chg bounds, 239 chg sides, 4579 chg coeffs, 1657 upgd conss, 91132 impls, 385 clqs
11.09/11.15 c (round 97) 4447 del vars, 305 del conss, 0 chg bounds, 241 chg sides, 4583 chg coeffs, 1657 upgd conss, 91132 impls, 385 clqs
11.59/11.67 c (round 98) 4497 del vars, 305 del conss, 0 chg bounds, 241 chg sides, 4583 chg coeffs, 1657 upgd conss, 100230 impls, 385 clqs
11.69/11.71 c (round 99) 4497 del vars, 312 del conss, 0 chg bounds, 248 chg sides, 4597 chg coeffs, 1657 upgd conss, 100230 impls, 385 clqs
11.79/11.87 c (round 100) 4547 del vars, 312 del conss, 0 chg bounds, 248 chg sides, 4597 chg coeffs, 1657 upgd conss, 101178 impls, 385 clqs
11.89/11.90 c (round 101) 4547 del vars, 319 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 101178 impls, 385 clqs
11.99/12.09 c (round 102) 4597 del vars, 319 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 102618 impls, 385 clqs
12.10/12.12 c (round 103) 4597 del vars, 327 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 102618 impls, 385 clqs
12.19/12.28 c (round 104) 4647 del vars, 327 del conss, 0 chg bounds, 251 chg sides, 4603 chg coeffs, 1657 upgd conss, 103330 impls, 385 clqs
12.28/12.31 c (round 105) 4647 del vars, 332 del conss, 0 chg bounds, 253 chg sides, 4607 chg coeffs, 1657 upgd conss, 103330 impls, 385 clqs
12.49/12.50 c (round 106) 4697 del vars, 332 del conss, 0 chg bounds, 253 chg sides, 4607 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.49/12.55 c (round 107) 4697 del vars, 332 del conss, 0 chg bounds, 256 chg sides, 4612 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.49/12.56 c (round 108) 4697 del vars, 332 del conss, 0 chg bounds, 257 chg sides, 4640 chg coeffs, 1657 upgd conss, 105024 impls, 385 clqs
12.68/12.72 c (round 109) 4747 del vars, 332 del conss, 0 chg bounds, 257 chg sides, 4640 chg coeffs, 1657 upgd conss, 105720 impls, 385 clqs
12.68/12.75 c (round 110) 4747 del vars, 333 del conss, 0 chg bounds, 259 chg sides, 4644 chg coeffs, 1657 upgd conss, 105720 impls, 385 clqs
12.89/12.92 c (round 111) 4797 del vars, 333 del conss, 0 chg bounds, 259 chg sides, 4644 chg coeffs, 1657 upgd conss, 106862 impls, 385 clqs
12.89/12.95 c (round 112) 4797 del vars, 333 del conss, 0 chg bounds, 261 chg sides, 4648 chg coeffs, 1657 upgd conss, 106862 impls, 385 clqs
12.89/12.98 c (12.3s) probing: 6000/8477 (70.8%) - 2557 fixings, 0 aggregations, 52550 implications, 0 bound changes
13.20/13.21 c (round 113) 4847 del vars, 333 del conss, 0 chg bounds, 261 chg sides, 4648 chg coeffs, 1657 upgd conss, 108340 impls, 385 clqs
13.20/13.25 c (round 114) 4847 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4654 chg coeffs, 1657 upgd conss, 108340 impls, 385 clqs
13.49/13.51 c (round 115) 4897 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4654 chg coeffs, 1657 upgd conss, 109688 impls, 385 clqs
13.79/13.80 c (round 116) 4947 del vars, 348 del conss, 0 chg bounds, 264 chg sides, 4655 chg coeffs, 1657 upgd conss, 110938 impls, 385 clqs
13.79/13.84 c (round 117) 4947 del vars, 351 del conss, 0 chg bounds, 266 chg sides, 4659 chg coeffs, 1657 upgd conss, 110938 impls, 385 clqs
13.89/13.97 c (round 118) 4997 del vars, 351 del conss, 0 chg bounds, 266 chg sides, 4659 chg coeffs, 1657 upgd conss, 111306 impls, 385 clqs
13.99/14.00 c (round 119) 4997 del vars, 364 del conss, 0 chg bounds, 269 chg sides, 4665 chg coeffs, 1657 upgd conss, 111306 impls, 386 clqs
14.49/14.59 c (round 120) 5047 del vars, 364 del conss, 0 chg bounds, 269 chg sides, 4665 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.59/14.63 c (round 121) 5047 del vars, 371 del conss, 0 chg bounds, 274 chg sides, 4676 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.59/14.65 c (round 122) 5047 del vars, 371 del conss, 0 chg bounds, 275 chg sides, 4679 chg coeffs, 1657 upgd conss, 118834 impls, 386 clqs
14.79/14.82 c (round 123) 5097 del vars, 371 del conss, 0 chg bounds, 275 chg sides, 4679 chg coeffs, 1657 upgd conss, 119824 impls, 386 clqs
14.79/14.85 c (round 124) 5097 del vars, 373 del conss, 0 chg bounds, 280 chg sides, 4687 chg coeffs, 1657 upgd conss, 119824 impls, 387 clqs
14.79/14.86 c (round 125) 5097 del vars, 373 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 119824 impls, 387 clqs
14.89/14.98 c (round 126) 5147 del vars, 373 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 120342 impls, 387 clqs
14.99/15.01 c (round 127) 5147 del vars, 376 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 120342 impls, 387 clqs
15.09/15.19 c (round 128) 5197 del vars, 376 del conss, 0 chg bounds, 281 chg sides, 4728 chg coeffs, 1657 upgd conss, 121662 impls, 387 clqs
15.19/15.22 c (round 129) 5197 del vars, 377 del conss, 0 chg bounds, 283 chg sides, 4732 chg coeffs, 1657 upgd conss, 121662 impls, 387 clqs
15.19/15.24 c (14.5s) probing: 7000/8477 (82.6%) - 2956 fixings, 0 aggregations, 59746 implications, 0 bound changes
15.40/15.48 c (round 130) 5247 del vars, 377 del conss, 0 chg bounds, 283 chg sides, 4732 chg coeffs, 1657 upgd conss, 123926 impls, 387 clqs
15.49/15.52 c (round 131) 5247 del vars, 377 del conss, 0 chg bounds, 284 chg sides, 4734 chg coeffs, 1657 upgd conss, 123926 impls, 387 clqs
15.58/15.66 c (round 132) 5297 del vars, 377 del conss, 0 chg bounds, 284 chg sides, 4734 chg coeffs, 1657 upgd conss, 124906 impls, 387 clqs
15.58/15.69 c (round 133) 5297 del vars, 384 del conss, 0 chg bounds, 286 chg sides, 4738 chg coeffs, 1657 upgd conss, 124906 impls, 387 clqs
15.89/15.91 c (round 134) 5347 del vars, 384 del conss, 0 chg bounds, 286 chg sides, 4738 chg coeffs, 1657 upgd conss, 126438 impls, 387 clqs
15.89/15.95 c (round 135) 5347 del vars, 384 del conss, 0 chg bounds, 288 chg sides, 4742 chg coeffs, 1657 upgd conss, 126438 impls, 387 clqs
16.09/16.12 c (round 136) 5397 del vars, 384 del conss, 0 chg bounds, 288 chg sides, 4742 chg coeffs, 1657 upgd conss, 127112 impls, 387 clqs
16.09/16.15 c (round 137) 5397 del vars, 391 del conss, 0 chg bounds, 289 chg sides, 4744 chg coeffs, 1657 upgd conss, 127112 impls, 387 clqs
16.29/16.33 c (round 138) 5447 del vars, 391 del conss, 0 chg bounds, 289 chg sides, 4744 chg coeffs, 1657 upgd conss, 128128 impls, 387 clqs
16.29/16.37 c (round 139) 5447 del vars, 393 del conss, 0 chg bounds, 290 chg sides, 4746 chg coeffs, 1657 upgd conss, 128128 impls, 387 clqs
16.89/16.91 c (round 140) 5497 del vars, 393 del conss, 0 chg bounds, 290 chg sides, 4746 chg coeffs, 1657 upgd conss, 131422 impls, 387 clqs
16.89/16.95 c (round 141) 5497 del vars, 398 del conss, 0 chg bounds, 293 chg sides, 4752 chg coeffs, 1657 upgd conss, 131422 impls, 387 clqs
17.19/17.20 c (round 142) 5547 del vars, 398 del conss, 0 chg bounds, 293 chg sides, 4752 chg coeffs, 1657 upgd conss, 133032 impls, 387 clqs
17.19/17.24 c (round 143) 5547 del vars, 402 del conss, 0 chg bounds, 294 chg sides, 4754 chg coeffs, 1657 upgd conss, 133032 impls, 387 clqs
17.49/17.51 c (round 144) 5597 del vars, 402 del conss, 0 chg bounds, 294 chg sides, 4754 chg coeffs, 1657 upgd conss, 134170 impls, 387 clqs
17.49/17.55 c (round 145) 5597 del vars, 403 del conss, 0 chg bounds, 295 chg sides, 4756 chg coeffs, 1657 upgd conss, 134170 impls, 387 clqs
17.49/17.57 c (16.7s) probing: 8000/8477 (94.4%) - 3350 fixings, 0 aggregations, 65998 implications, 0 bound changes
17.69/17.79 c (round 146) 5647 del vars, 403 del conss, 0 chg bounds, 295 chg sides, 4756 chg coeffs, 1657 upgd conss, 136124 impls, 387 clqs
17.79/17.83 c (round 147) 5647 del vars, 409 del conss, 0 chg bounds, 300 chg sides, 4766 chg coeffs, 1657 upgd conss, 136124 impls, 387 clqs
17.89/17.90 c (round 148) 5697 del vars, 409 del conss, 0 chg bounds, 300 chg sides, 4766 chg coeffs, 1657 upgd conss, 136304 impls, 387 clqs
17.89/17.93 c (round 149) 5697 del vars, 413 del conss, 0 chg bounds, 301 chg sides, 4768 chg coeffs, 1657 upgd conss, 136304 impls, 387 clqs
17.99/18.08 c (round 150) 5747 del vars, 413 del conss, 0 chg bounds, 301 chg sides, 4768 chg coeffs, 1657 upgd conss, 136870 impls, 387 clqs
18.09/18.11 c (round 151) 5747 del vars, 415 del conss, 0 chg bounds, 302 chg sides, 4770 chg coeffs, 1657 upgd conss, 136870 impls, 387 clqs
18.59/18.63 c (round 152) 5783 del vars, 415 del conss, 0 chg bounds, 302 chg sides, 4770 chg coeffs, 1657 upgd conss, 140288 impls, 387 clqs
18.59/18.66 c (round 153) 5783 del vars, 422 del conss, 0 chg bounds, 306 chg sides, 4778 chg coeffs, 1657 upgd conss, 140288 impls, 387 clqs
18.59/18.67 c presolving (154 rounds):
18.59/18.67 c 5783 deleted vars, 422 deleted constraints, 0 tightened bounds, 0 added holes, 306 changed sides, 4778 changed coefficients
18.59/18.67 c 140288 implications, 387 cliques
18.59/18.67 c presolved problem has 4941 variables (4941 bin, 0 int, 0 impl, 0 cont) and 1406 constraints
18.59/18.67 c 825 constraints of type <knapsack>
18.59/18.67 c 549 constraints of type <setppc>
18.59/18.67 c 32 constraints of type <logicor>
18.59/18.67 c transformed objective value is always integral (scale: 1)
18.59/18.67 c Presolving Time: 17.72
18.59/18.67 c - non default parameters ----------------------------------------------------------------------
18.59/18.67 c # SCIP version 1.2.1.2
18.59/18.67 c
18.59/18.67 c # frequency for displaying node information lines
18.59/18.67 c # [type: int, range: [-1,2147483647], default: 100]
18.59/18.67 c display/freq = 10000
18.59/18.67 c
18.59/18.67 c # maximal time in seconds to run
18.59/18.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.59/18.67 c limits/time = 1799.87
18.59/18.67 c
18.59/18.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.59/18.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.59/18.67 c limits/memory = 1620
18.59/18.67 c
18.59/18.67 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
18.59/18.67 c # [type: int, range: [-1,2147483647], default: 1]
18.59/18.67 c lp/solvefreq = -1
18.59/18.67 c
18.59/18.67 c # should presolving try to simplify inequalities
18.59/18.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.59/18.67 c constraints/linear/simplifyinequalities = TRUE
18.59/18.67 c
18.59/18.67 c # should presolving try to simplify knapsacks
18.59/18.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.59/18.67 c constraints/knapsack/simplifyinequalities = TRUE
18.59/18.67 c
18.59/18.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
18.59/18.67 c # [type: int, range: [-1,2147483647], default: -1]
18.59/18.67 c separating/rapidlearning/freq = 0
18.59/18.67 c
18.59/18.67 c -----------------------------------------------------------------------------------------------
18.59/18.67 c start solving
18.59/18.67 c
18.59/18.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.59/18.68 c 17.8s| 1 | 2 | 0 | - | 37M| 0 | - |4941 |1406 | 0 | 0 | 0 | 0 | 0 |-1.745140e+05 | -- | Inf
61.67/61.73 c 60.5s| 10000 | 9999 | 0 | 0.0 | 48M| 61 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.718710e+05 | -- | Inf
104.17/104.24 c 103s| 20000 | 19999 | 0 | 0.0 | 57M| 65 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.715660e+05 | -- | Inf
146.75/146.87 c 145s| 30000 | 29999 | 0 | 0.0 | 66M| 69 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.713490e+05 | -- | Inf
189.34/189.48 c 187s| 40000 | 39999 | 0 | 0.0 | 75M| 69 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.711640e+05 | -- | Inf
231.93/232.09 c 229s| 50000 | 49999 | 0 | 0.0 | 85M| 73 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.710690e+05 | -- | Inf
274.82/274.94 c 272s| 60000 | 59999 | 0 | 0.0 | 95M| 75 | - |4941 |1407 | 0 | 0 | 0 | 1 | 0 |-1.709640e+05 | -- | Inf
317.61/317.76 c 315s| 70000 | 69997 | 0 | 0.0 | 105M| 77 | - |4941 |1408 | 0 | 0 | 0 | 2 | 0 |-1.708800e+05 | -- | Inf
360.20/360.32 c 357s| 80000 | 79997 | 0 | 0.0 | 115M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.708220e+05 | -- | Inf
402.49/402.69 c 399s| 90000 | 89997 | 0 | 0.0 | 126M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.707720e+05 | -- | Inf
444.97/445.15 c 441s|100000 | 99997 | 0 | 0.0 | 136M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.707320e+05 | -- | Inf
487.46/487.63 c 483s|110000 |109997 | 0 | 0.0 | 147M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.706870e+05 | -- | Inf
529.96/530.13 c 525s|120000 |119997 | 0 | 0.0 | 157M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.706420e+05 | -- | Inf
572.44/572.67 c 567s|130000 |129997 | 0 | 0.0 | 168M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.706060e+05 | -- | Inf
615.02/615.22 c 610s|140000 |139997 | 0 | 0.0 | 179M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.705690e+05 | -- | Inf
657.71/657.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.71/657.90 c 652s|150000 |149997 | 0 | 0.0 | 190M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.705410e+05 | -- | Inf
700.20/700.42 c 694s|160000 |159997 | 0 | 0.0 | 201M| 79 | - |4941 |1407 | 0 | 0 | 0 | 2 | 0 |-1.705100e+05 | -- | Inf
742.79/743.03 c 736s|170000 |169997 | 0 | 0.0 | 212M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.704870e+05 | -- | Inf
785.48/785.70 c 779s|180000 |179997 | 0 | 0.0 | 223M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.704620e+05 | -- | Inf
828.08/828.33 c 821s|190000 |189997 | 0 | 0.0 | 235M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.704390e+05 | -- | Inf
870.65/870.92 c 863s|200000 |199997 | 0 | 0.0 | 246M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.704180e+05 | -- | Inf
913.25/913.55 c 906s|210000 |209997 | 0 | 0.0 | 257M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.703960e+05 | -- | Inf
955.84/956.10 c 948s|220000 |219997 | 0 | 0.0 | 268M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.703750e+05 | -- | Inf
998.33/998.64 c 990s|230000 |229997 | 0 | 0.0 | 280M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.703570e+05 | -- | Inf
1040.81/1041.13 c 1032s|240000 |239997 | 0 | 0.0 | 291M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.703360e+05 | -- | Inf
1083.21/1083.58 c 1074s|250000 |249997 | 0 | 0.0 | 302M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.703140e+05 | -- | Inf
1125.58/1125.98 c 1116s|260000 |259997 | 0 | 0.0 | 313M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702950e+05 | -- | Inf
1168.08/1168.43 c 1158s|270000 |269997 | 0 | 0.0 | 324M| 79 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702780e+05 | -- | Inf
1210.36/1210.79 c 1200s|280000 |279997 | 0 | 0.0 | 335M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702560e+05 | -- | Inf
1252.75/1253.17 c 1243s|290000 |289997 | 0 | 0.0 | 346M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702390e+05 | -- | Inf
1295.14/1295.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1295.14/1295.50 c 1285s|300000 |299997 | 0 | 0.0 | 357M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702260e+05 | -- | Inf
1337.43/1337.82 c 1327s|310000 |309997 | 0 | 0.0 | 369M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.702100e+05 | -- | Inf
1379.82/1380.21 c 1369s|320000 |319997 | 0 | 0.0 | 380M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701930e+05 | -- | Inf
1422.10/1422.56 c 1411s|330000 |329997 | 0 | 0.0 | 391M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701790e+05 | -- | Inf
1464.50/1464.94 c 1453s|340000 |339997 | 0 | 0.0 | 403M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701660e+05 | -- | Inf
1506.88/1507.35 c 1495s|350000 |349997 | 0 | 0.0 | 414M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701540e+05 | -- | Inf
1549.18/1549.69 c 1537s|360000 |359997 | 0 | 0.0 | 425M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701400e+05 | -- | Inf
1591.66/1592.12 c 1579s|370000 |369997 | 0 | 0.0 | 437M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701270e+05 | -- | Inf
1633.95/1634.47 c 1621s|380000 |379997 | 0 | 0.0 | 448M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701140e+05 | -- | Inf
1676.34/1676.88 c 1663s|390000 |389997 | 0 | 0.0 | 460M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.701030e+05 | -- | Inf
1718.74/1719.28 c 1705s|400000 |399997 | 0 | 0.0 | 471M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.700920e+05 | -- | Inf
1761.12/1761.65 c 1747s|410000 |409997 | 0 | 0.0 | 483M| 82 | - |4941 |1406 | 0 | 0 | 0 | 2 | 0 |-1.700800e+05 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.51 c
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time (sec) : 1785.42
1800.01/1800.51 c Solving Nodes : 419166
1800.01/1800.51 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.51 c Dual Bound : -1.70069000000000e+05
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 s UNKNOWN
1800.01/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.51 c Solving Time : 1785.42
1800.01/1800.51 c Original Problem :
1800.01/1800.51 c Problem name : HOME/instance-2664168-1276363058.opb
1800.01/1800.51 c Variables : 10724 (10724 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 1662 initial, 1662 maximal
1800.01/1800.51 c Presolved Problem :
1800.01/1800.51 c Problem name : t_HOME/instance-2664168-1276363058.opb
1800.01/1800.51 c Variables : 4941 (4941 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.51 c Constraints : 1406 initial, 1408 maximal
1800.01/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.51 c trivial : 0.23 0 0 0 0 0 0 0 0
1800.01/1800.51 c dualfix : 0.15 0 0 0 0 0 0 0 0
1800.01/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.51 c implics : 0.16 0 0 0 0 0 0 0 0
1800.01/1800.51 c probing : 14.23 3536 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 2.26 2247 0 0 0 0 304 306 2701
1800.01/1800.51 c setppc : 0.35 0 0 0 0 0 0 0 0
1800.01/1800.51 c linear : 0.09 0 0 0 0 0 5 0 2077
1800.01/1800.51 c logicor : 0.00 0 0 0 0 0 113 0 0
1800.01/1800.51 c root node : - 0 - - 0 - - - -
1800.01/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.51 c knapsack : 825 0 1015538 0 419164 1535 6129501 0 0 0
1800.01/1800.51 c setppc : 549 0 1014003 0 419164 1989 521652 0 0 0
1800.01/1800.51 c logicor : 32+ 0 15215 0 419164 14 814 0 0 0
1800.01/1800.51 c countsols : 0 0 0 0 419164 0 0 0 0 0
1800.01/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.51 c knapsack : 107.88 0.00 104.99 0.00 2.89
1800.01/1800.51 c setppc : 194.01 0.00 45.37 0.00 148.64
1800.01/1800.51 c logicor : 12.38 0.00 0.11 0.00 12.27
1800.01/1800.51 c countsols : 0.40 0.00 0.00 0.00 0.40
1800.01/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.51 c vbounds : 0.89 2 0 0
1800.01/1800.51 c rootredcost : 0.91 0 0 0
1800.01/1800.51 c pseudoobj : 524.39 993142 0 0
1800.01/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.51 c propagation : 0.00 2 2 2 2.5 0 0.0 -
1800.01/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.51 c applied globally : - - - 2 2.5 - - -
1800.01/1800.51 c applied locally : - - - 0 0.0 - - -
1800.01/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.51 c redcost : 0.00 0 0 0 0 0
1800.01/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.51 c intobj : 0.00 0 0 0 0 0
1800.01/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.51 c gomory : 0.00 0 0 0 0 0
1800.01/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.51 c cmir : 0.00 0 0 0 0 0
1800.01/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.51 c clique : 0.00 0 0 0 0 0
1800.01/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.51 c mcf : 0.00 0 0 0 0 0
1800.01/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.51 c Pricers : Time Calls Vars
1800.01/1800.51 c problem variables: 0.00 0 0
1800.01/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.51 c inference : 871.09 419164 0 0 0 0 838328
1800.01/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.51 c random : 0.00 0 0 0 0 0 0
1800.01/1800.51 c Primal Heuristics : Time Calls Found
1800.01/1800.51 c LP solutions : 0.00 - 0
1800.01/1800.51 c pseudo solutions : 0.00 - 0
1800.01/1800.51 c oneopt : 0.36 0 0
1800.01/1800.51 c trivial : 0.02 2 0
1800.01/1800.51 c simplerounding : 0.00 0 0
1800.01/1800.51 c zirounding : 0.00 0 0
1800.01/1800.51 c rounding : 0.00 0 0
1800.01/1800.51 c shifting : 0.00 0 0
1800.01/1800.51 c intshifting : 0.00 0 0
1800.01/1800.51 c twoopt : 0.00 0 0
1800.01/1800.51 c fixandinfer : 0.00 0 0
1800.01/1800.51 c feaspump : 0.00 0 0
1800.01/1800.51 c coefdiving : 0.00 0 0
1800.01/1800.51 c pscostdiving : 0.00 0 0
1800.01/1800.51 c fracdiving : 0.00 0 0
1800.01/1800.51 c veclendiving : 0.00 0 0
1800.01/1800.51 c intdiving : 0.00 0 0
1800.01/1800.51 c actconsdiving : 0.00 0 0
1800.01/1800.51 c objpscostdiving : 0.00 0 0
1800.01/1800.51 c rootsoldiving : 0.00 0 0
1800.01/1800.51 c linesearchdiving : 0.00 0 0
1800.01/1800.51 c guideddiving : 0.00 0 0
1800.01/1800.51 c octane : 0.00 0 0
1800.01/1800.51 c rens : 0.00 0 0
1800.01/1800.51 c rins : 0.00 0 0
1800.01/1800.51 c localbranching : 0.00 0 0
1800.01/1800.51 c mutation : 0.00 0 0
1800.01/1800.51 c crossover : 0.00 0 0
1800.01/1800.51 c dins : 0.00 0 0
1800.01/1800.51 c undercover : 0.00 0 0
1800.01/1800.51 c nlp : 0.56 0 0
1800.01/1800.51 c trysol : 0.24 0 0
1800.01/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.51 c (at root node) : - 0 0 0.00 -
1800.01/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.51 c B&B Tree :
1800.01/1800.51 c number of runs : 1
1800.01/1800.51 c nodes : 419166
1800.01/1800.51 c nodes (total) : 419166
1800.01/1800.51 c nodes left : 419163
1800.01/1800.51 c max depth : 82
1800.01/1800.51 c max depth (total): 82
1800.01/1800.51 c backtracks : 10145 (2.4%)
1800.01/1800.51 c delayed cutoffs : 0
1800.01/1800.51 c repropagations : 8 (1 domain reductions, 0 cutoffs)
1800.01/1800.51 c avg switch length: 2.78
1800.01/1800.51 c switching time : 26.52
1800.01/1800.51 c Solution :
1800.01/1800.51 c Solutions found : 0 (0 improvements)
1800.01/1800.51 c Primal Bound : -
1800.01/1800.51 c Dual Bound : -1.70069000000000e+05
1800.01/1800.51 c Gap : infinite
1800.01/1800.51 c Root Dual Bound : -1.74514000000000e+05
1800.01/1800.51 c Root Iterations : 0
1801.01/1801.57 c Time complete: 1801.08.