0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3730717-1338690239.opb>
0.00/0.04 c original problem has 3618 variables (3618 bin, 0 int, 0 impl, 0 cont) and 3931 constraints
0.00/0.04 c problem read
0.00/0.04 c No objective function, only one solution is needed.
0.00/0.04 c presolving settings loaded
0.00/0.05 c presolving:
0.06/0.07 c (round 1) 86 del vars, 1 del conss, 0 add conss, 1 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 2) 88 del vars, 175 del conss, 0 add conss, 3 chg bounds, 537 chg sides, 1074 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 3) 102 del vars, 178 del conss, 0 add conss, 5 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 4) 106 del vars, 186 del conss, 0 add conss, 9 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 5) 110 del vars, 194 del conss, 0 add conss, 13 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 6) 114 del vars, 202 del conss, 0 add conss, 17 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 7) 118 del vars, 210 del conss, 0 add conss, 21 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 8) 122 del vars, 218 del conss, 0 add conss, 25 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 9) 126 del vars, 227 del conss, 0 add conss, 29 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 10) 128 del vars, 230 del conss, 0 add conss, 31 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 11) 132 del vars, 238 del conss, 0 add conss, 35 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 12) 136 del vars, 246 del conss, 0 add conss, 39 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.08 c (round 13) 140 del vars, 254 del conss, 0 add conss, 43 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 14) 144 del vars, 262 del conss, 0 add conss, 47 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 15) 148 del vars, 270 del conss, 0 add conss, 51 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 16) 152 del vars, 278 del conss, 0 add conss, 55 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 17) 156 del vars, 286 del conss, 0 add conss, 59 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 18) 160 del vars, 294 del conss, 0 add conss, 63 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 19) 164 del vars, 302 del conss, 0 add conss, 67 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 20) 168 del vars, 310 del conss, 0 add conss, 71 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 21) 172 del vars, 318 del conss, 0 add conss, 75 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 22) 176 del vars, 326 del conss, 0 add conss, 79 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41720 impls, 0 clqs
0.06/0.09 c (round 23) 180 del vars, 331 del conss, 0 add conss, 81 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41772 impls, 0 clqs
0.06/0.09 c (round 24) 184 del vars, 344 del conss, 0 add conss, 85 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41772 impls, 0 clqs
0.06/0.09 c (round 25) 189 del vars, 353 del conss, 0 add conss, 89 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41774 impls, 0 clqs
0.06/0.10 c (round 26) 191 del vars, 361 del conss, 0 add conss, 91 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41780 impls, 0 clqs
0.09/0.10 c (round 27) 193 del vars, 364 del conss, 0 add conss, 93 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41780 impls, 0 clqs
0.09/0.10 c (round 28) 197 del vars, 369 del conss, 0 add conss, 95 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 29) 201 del vars, 382 del conss, 0 add conss, 99 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 30) 205 del vars, 390 del conss, 0 add conss, 103 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 31) 209 del vars, 398 del conss, 0 add conss, 107 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 32) 213 del vars, 406 del conss, 0 add conss, 111 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 33) 217 del vars, 414 del conss, 0 add conss, 115 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 34) 221 del vars, 422 del conss, 0 add conss, 119 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41840 impls, 0 clqs
0.09/0.10 c (round 35) 223 del vars, 427 del conss, 0 add conss, 121 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41858 impls, 0 clqs
0.09/0.10 c (round 36) 229 del vars, 437 del conss, 0 add conss, 125 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41866 impls, 0 clqs
0.09/0.10 c (round 37) 233 del vars, 449 del conss, 0 add conss, 129 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41866 impls, 0 clqs
0.09/0.10 c (round 38) 239 del vars, 459 del conss, 0 add conss, 133 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41874 impls, 0 clqs
0.09/0.11 c (round 39) 243 del vars, 471 del conss, 0 add conss, 137 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41874 impls, 0 clqs
0.09/0.11 c (round 40) 245 del vars, 476 del conss, 0 add conss, 139 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41894 impls, 0 clqs
0.09/0.11 c (round 41) 248 del vars, 481 del conss, 0 add conss, 141 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41906 impls, 0 clqs
0.09/0.11 c (round 42) 252 del vars, 492 del conss, 0 add conss, 145 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41906 impls, 0 clqs
0.09/0.11 c (round 43) 257 del vars, 501 del conss, 0 add conss, 149 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41912 impls, 0 clqs
0.09/0.11 c (round 44) 261 del vars, 511 del conss, 0 add conss, 153 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41912 impls, 0 clqs
0.09/0.11 c (round 45) 265 del vars, 519 del conss, 0 add conss, 157 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41912 impls, 0 clqs
0.09/0.11 c (round 46) 267 del vars, 524 del conss, 0 add conss, 159 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41914 impls, 0 clqs
0.09/0.11 c (round 47) 269 del vars, 529 del conss, 0 add conss, 161 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41936 impls, 0 clqs
0.09/0.11 c (round 48) 271 del vars, 534 del conss, 0 add conss, 163 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.11 c (round 49) 275 del vars, 542 del conss, 0 add conss, 167 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.11 c (round 50) 279 del vars, 550 del conss, 0 add conss, 171 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.11 c (round 51) 283 del vars, 558 del conss, 0 add conss, 175 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.12 c (round 52) 287 del vars, 566 del conss, 0 add conss, 179 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.12 c (round 53) 291 del vars, 574 del conss, 0 add conss, 183 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.12 c (round 54) 295 del vars, 582 del conss, 0 add conss, 187 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41960 impls, 0 clqs
0.09/0.12 c (round 55) 300 del vars, 591 del conss, 0 add conss, 191 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41962 impls, 0 clqs
0.09/0.12 c (round 56) 305 del vars, 602 del conss, 0 add conss, 195 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 57) 309 del vars, 612 del conss, 0 add conss, 199 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 58) 313 del vars, 620 del conss, 0 add conss, 203 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 59) 317 del vars, 628 del conss, 0 add conss, 207 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 60) 321 del vars, 636 del conss, 0 add conss, 211 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 61) 325 del vars, 644 del conss, 0 add conss, 215 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 41964 impls, 0 clqs
0.09/0.12 c (round 62) 329 del vars, 649 del conss, 0 add conss, 217 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42008 impls, 0 clqs
0.09/0.12 c (round 63) 333 del vars, 662 del conss, 0 add conss, 221 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42008 impls, 0 clqs
0.09/0.12 c (round 64) 335 del vars, 667 del conss, 0 add conss, 223 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42010 impls, 0 clqs
0.09/0.12 c (round 65) 337 del vars, 672 del conss, 0 add conss, 225 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42012 impls, 0 clqs
0.09/0.13 c (round 66) 342 del vars, 679 del conss, 0 add conss, 229 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42014 impls, 0 clqs
0.09/0.13 c (round 67) 349 del vars, 694 del conss, 0 add conss, 234 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42090 impls, 0 clqs
0.09/0.13 c (round 68) 357 del vars, 713 del conss, 0 add conss, 242 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42090 impls, 0 clqs
0.09/0.13 c (round 69) 363 del vars, 725 del conss, 0 add conss, 248 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42092 impls, 0 clqs
0.09/0.13 c (round 70) 366 del vars, 737 del conss, 0 add conss, 251 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42096 impls, 0 clqs
0.09/0.13 c (round 71) 368 del vars, 744 del conss, 0 add conss, 253 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42100 impls, 0 clqs
0.09/0.13 c (round 72) 372 del vars, 750 del conss, 0 add conss, 257 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42100 impls, 0 clqs
0.09/0.13 c (round 73) 376 del vars, 759 del conss, 0 add conss, 261 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42100 impls, 0 clqs
0.09/0.13 c (round 74) 381 del vars, 768 del conss, 0 add conss, 265 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42102 impls, 0 clqs
0.09/0.13 c (round 75) 386 del vars, 779 del conss, 0 add conss, 269 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42104 impls, 0 clqs
0.09/0.13 c (round 76) 390 del vars, 791 del conss, 0 add conss, 273 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42104 impls, 0 clqs
0.09/0.13 c (round 77) 392 del vars, 794 del conss, 0 add conss, 275 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42104 impls, 0 clqs
0.09/0.13 c (round 78) 394 del vars, 799 del conss, 0 add conss, 277 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42106 impls, 0 clqs
0.09/0.14 c (round 79) 396 del vars, 804 del conss, 0 add conss, 279 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42112 impls, 0 clqs
0.09/0.14 c (round 80) 400 del vars, 812 del conss, 0 add conss, 283 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42112 impls, 0 clqs
0.09/0.14 c (round 81) 404 del vars, 818 del conss, 0 add conss, 287 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42112 impls, 0 clqs
0.09/0.14 c (round 82) 406 del vars, 825 del conss, 0 add conss, 289 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42114 impls, 0 clqs
0.09/0.14 c (round 83) 411 del vars, 832 del conss, 0 add conss, 293 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42116 impls, 0 clqs
0.09/0.14 c (round 84) 413 del vars, 841 del conss, 0 add conss, 295 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 85) 417 del vars, 847 del conss, 0 add conss, 299 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 86) 421 del vars, 857 del conss, 0 add conss, 303 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 87) 425 del vars, 863 del conss, 0 add conss, 307 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 88) 429 del vars, 873 del conss, 0 add conss, 311 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 89) 433 del vars, 879 del conss, 0 add conss, 315 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 90) 437 del vars, 889 del conss, 0 add conss, 319 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 91) 441 del vars, 895 del conss, 0 add conss, 323 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.14 c (round 92) 445 del vars, 903 del conss, 0 add conss, 327 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.15 c (round 93) 449 del vars, 913 del conss, 0 add conss, 331 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.15 c (round 94) 453 del vars, 919 del conss, 0 add conss, 335 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42118 impls, 0 clqs
0.09/0.15 c (round 95) 456 del vars, 927 del conss, 0 add conss, 337 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
0.09/0.15 c (round 96) 460 del vars, 935 del conss, 0 add conss, 341 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
0.09/0.15 c (round 97) 464 del vars, 944 del conss, 0 add conss, 345 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
0.09/0.15 c (round 98) 468 del vars, 953 del conss, 0 add conss, 349 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
0.09/0.15 c (round 99) 470 del vars, 957 del conss, 0 add conss, 351 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
0.09/0.15 c (round 100) 472 del vars, 962 del conss, 0 add conss, 353 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42128 impls, 0 clqs
0.09/0.15 c (round 101) 476 del vars, 970 del conss, 0 add conss, 357 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42128 impls, 0 clqs
0.09/0.15 c (round 102) 480 del vars, 976 del conss, 0 add conss, 361 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42128 impls, 0 clqs
0.09/0.15 c (round 103) 482 del vars, 983 del conss, 0 add conss, 363 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42130 impls, 0 clqs
0.09/0.15 c (round 104) 486 del vars, 991 del conss, 0 add conss, 367 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42130 impls, 0 clqs
0.09/0.15 c (round 105) 490 del vars, 997 del conss, 0 add conss, 371 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42130 impls, 0 clqs
0.09/0.15 c (round 106) 492 del vars, 1004 del conss, 0 add conss, 373 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42214 impls, 0 clqs
0.09/0.16 c (round 107) 494 del vars, 1009 del conss, 0 add conss, 375 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42350 impls, 0 clqs
0.09/0.16 c (round 108) 498 del vars, 1017 del conss, 0 add conss, 379 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42350 impls, 0 clqs
0.09/0.16 c (round 109) 501 del vars, 1022 del conss, 0 add conss, 381 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42362 impls, 0 clqs
0.09/0.16 c (round 110) 505 del vars, 1031 del conss, 0 add conss, 385 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42362 impls, 0 clqs
0.09/0.16 c (round 111) 507 del vars, 1038 del conss, 0 add conss, 387 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42372 impls, 0 clqs
0.09/0.16 c (round 112) 509 del vars, 1043 del conss, 0 add conss, 389 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42486 impls, 0 clqs
0.09/0.16 c (round 113) 511 del vars, 1048 del conss, 0 add conss, 391 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42664 impls, 0 clqs
0.09/0.16 c (round 114) 515 del vars, 1054 del conss, 0 add conss, 395 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42664 impls, 0 clqs
0.09/0.16 c (round 115) 517 del vars, 1061 del conss, 0 add conss, 397 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.16 c (round 116) 521 del vars, 1067 del conss, 0 add conss, 401 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.16 c (round 117) 525 del vars, 1075 del conss, 0 add conss, 405 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.16 c (round 118) 529 del vars, 1083 del conss, 0 add conss, 409 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.16 c (round 119) 533 del vars, 1091 del conss, 0 add conss, 413 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.16 c (round 120) 537 del vars, 1099 del conss, 0 add conss, 417 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.17 c (round 121) 539 del vars, 1105 del conss, 0 add conss, 419 chg bounds, 539 chg sides, 1076 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.17 c (round 122) 555 del vars, 1111 del conss, 0 add conss, 423 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42674 impls, 0 clqs
0.09/0.17 c (round 123) 557 del vars, 1118 del conss, 0 add conss, 425 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 124) 561 del vars, 1124 del conss, 0 add conss, 429 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 125) 565 del vars, 1132 del conss, 0 add conss, 433 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 126) 569 del vars, 1140 del conss, 0 add conss, 437 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 127) 573 del vars, 1148 del conss, 0 add conss, 441 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 128) 577 del vars, 1156 del conss, 0 add conss, 445 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 129) 581 del vars, 1164 del conss, 0 add conss, 449 chg bounds, 542 chg sides, 1079 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 130) 620 del vars, 1174 del conss, 0 add conss, 488 chg bounds, 559 chg sides, 1158 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 131) 641 del vars, 1182 del conss, 0 add conss, 509 chg bounds, 569 chg sides, 1189 chg coeffs, 0 upgd conss, 42676 impls, 0 clqs
0.09/0.17 c (round 132) 645 del vars, 1189 del conss, 0 add conss, 513 chg bounds, 570 chg sides, 1191 chg coeffs, 0 upgd conss, 42678 impls, 0 clqs
0.09/0.18 c (round 133) 650 del vars, 1195 del conss, 0 add conss, 518 chg bounds, 570 chg sides, 1193 chg coeffs, 0 upgd conss, 42678 impls, 0 clqs
0.09/0.18 c (round 134) 654 del vars, 1203 del conss, 0 add conss, 522 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42678 impls, 0 clqs
0.09/0.18 c (round 135) 658 del vars, 1211 del conss, 0 add conss, 526 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42678 impls, 0 clqs
0.09/0.18 c (round 136) 660 del vars, 1217 del conss, 0 add conss, 528 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42678 impls, 0 clqs
0.09/0.18 c (round 137) 662 del vars, 1222 del conss, 0 add conss, 530 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42684 impls, 0 clqs
0.09/0.18 c (round 138) 664 del vars, 1227 del conss, 0 add conss, 532 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42686 impls, 0 clqs
0.09/0.18 c (round 139) 668 del vars, 1234 del conss, 0 add conss, 536 chg bounds, 571 chg sides, 1195 chg coeffs, 0 upgd conss, 42686 impls, 0 clqs
0.09/0.18 c (round 140) 675 del vars, 1237 del conss, 0 add conss, 543 chg bounds, 593 chg sides, 1257 chg coeffs, 0 upgd conss, 42686 impls, 0 clqs
0.09/0.18 c presolving (141 rounds):
0.09/0.18 c 677 deleted vars, 1237 deleted constraints, 0 added constraints, 545 tightened bounds, 0 added holes, 593 changed sides, 1257 changed coefficients
0.09/0.18 c 42686 implications, 0 cliques
0.09/0.18 c presolving detected infeasibility
0.09/0.18 c Presolving Time: 0.13
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 2.0.1.5
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1797
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 13950
0.09/0.18 c
0.09/0.18 c # solving stops, if the given number of solutions were found (-1: no limit)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c limits/solutions = 1
0.09/0.18 c
0.09/0.18 c # maximal number of separation rounds per node (-1: unlimited)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 5]
0.09/0.18 c separating/maxrounds = 1
0.09/0.18 c
0.09/0.18 c # maximal number of separation rounds in the root node (-1: unlimited)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/maxroundsroot = 5
0.09/0.18 c
0.09/0.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.18 c # [type: int, range: [1,2], default: 1]
0.09/0.18 c timing/clocktype = 2
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/indicator/addCouplingCons = TRUE
0.09/0.18 c
0.09/0.18 c # should disaggregation of knapsack constraints be allowed in preprocessing?
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
0.09/0.18 c constraints/knapsack/disaggregation = FALSE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c presolving/probing/maxrounds = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/coefdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/coefdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/coefdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 30]
0.09/0.18 c heuristics/crossover/freq = -1
0.09/0.18 c
0.09/0.18 c # number of nodes added to the contingent of the total nodes
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.18 c heuristics/crossover/nodesofs = 750
0.09/0.18 c
0.09/0.18 c # number of nodes without incumbent change that heuristic should wait
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 200]
0.09/0.18 c heuristics/crossover/nwaitingnodes = 100
0.09/0.18 c
0.09/0.18 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
0.09/0.18 c # [type: real, range: [0,1], default: 0.1]
0.09/0.18 c heuristics/crossover/nodesquot = 0.15
0.09/0.18 c
0.09/0.18 c # minimum percentage of integer variables that have to be fixed
0.09/0.18 c # [type: real, range: [0,1], default: 0.666]
0.09/0.18 c heuristics/crossover/minfixingrate = 0.5
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/feaspump/freq = -1
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/feaspump/maxlpiterofs = 2000
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/fracdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/fracdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/fracdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/guideddiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/guideddiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/guideddiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/intdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/intshifting/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/linesearchdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/linesearchdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/linesearchdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/objpscostdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to total iteration number
0.09/0.18 c # [type: real, range: [0,1], default: 0.01]
0.09/0.18 c heuristics/objpscostdiving/maxlpiterquot = 0.015
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/objpscostdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/oneopt/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/pscostdiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/pscostdiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/pscostdiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/rens/freq = -1
0.09/0.18 c
0.09/0.18 c # minimum percentage of integer variables that have to be fixable
0.09/0.18 c # [type: real, range: [0,1], default: 0.5]
0.09/0.18 c heuristics/rens/minfixingrate = 0.3
0.09/0.18 c
0.09/0.18 c # number of nodes added to the contingent of the total nodes
0.09/0.18 c # [type: longint, range: [0,9223372036854775807], default: 500]
0.09/0.18 c heuristics/rens/nodesofs = 2000
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 20]
0.09/0.18 c heuristics/rootsoldiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
0.09/0.18 c heuristics/rootsoldiving/maxlpiterquot = 0.015
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/rootsoldiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/rounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/shiftandpropagate/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/shifting/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/simplerounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/subnlp/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/trivial/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/trysol/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c heuristics/undercover/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 10]
0.09/0.18 c heuristics/veclendiving/freq = -1
0.09/0.18 c
0.09/0.18 c # maximal fraction of diving LP iterations compared to node LP iterations
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
0.09/0.18 c heuristics/veclendiving/maxlpiterquot = 0.075
0.09/0.18 c
0.09/0.18 c # additional number of allowed LP iterations
0.09/0.18 c # [type: int, range: [0,2147483647], default: 1000]
0.09/0.18 c heuristics/veclendiving/maxlpiterofs = 1500
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.18 c heuristics/zirounding/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c separating/cmir/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.18 c separating/flowcover/freq = -1
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.18 c SCIP Status : problem is solved [infeasible]
0.09/0.18 c Solving Time (sec) : 0.18
0.09/0.18 c Solving Nodes : 0
0.09/0.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
0.09/0.18 c Dual Bound : -1.00000000000000e+20
0.09/0.18 c Gap : infinite
0.09/0.18 s UNSATISFIABLE
0.09/0.18 c SCIP Status : problem is solved [infeasible]
0.09/0.18 c Total Time : 0.18
0.09/0.18 c solving : 0.18
0.09/0.18 c presolving : 0.13 (included in solving)
0.09/0.18 c reading : 0.04 (included in solving)
0.09/0.18 c Original Problem :
0.09/0.18 c Problem name : HOME/instance-3730717-1338690239.opb
0.09/0.18 c Variables : 3618 (3618 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 3931 initial, 3931 maximal
0.09/0.18 c Presolved Problem :
0.09/0.18 c Problem name : t_HOME/instance-3730717-1338690239.opb
0.09/0.18 c Variables : 2941 (2941 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.18 c Constraints : 2694 initial, 2694 maximal
0.09/0.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.09/0.18 c trivial : 0.01 0 0 0 0 0 0 0 0 0
0.09/0.18 c dualfix : 0.01 24 0 0 0 0 0 0 0 0
0.09/0.18 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
0.09/0.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
0.09/0.18 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
0.09/0.18 c implics : 0.01 0 108 0 0 0 0 0 0 0
0.09/0.18 c probing : 0.00 0 0 0 0 0 0 0 0 0
0.09/0.18 c linear : 0.06 545 0 0 545 0 1237 0 593 1257
0.09/0.18 c root node : - 0 - - 0 - - - - -
0.09/0.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
0.09/0.18 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
0.09/0.18 c linear : 2694 0 0 0 0 0 0 0 0 0 0 0
0.09/0.18 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
0.09/0.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
0.09/0.18 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.18 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.18 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.18 c Propagators : #Propagate #Resprop Cutoffs DomReds
0.09/0.18 c pseudoobj : 0 0 0 0
0.09/0.18 c rootredcost : 0 0 0 0
0.09/0.18 c vbounds : 0 0 0 0
0.09/0.18 c Propagator Timings : TotalTime Propagate Resprop
0.09/0.18 c pseudoobj : 0.00 0.00 0.00
0.09/0.18 c rootredcost : 0.00 0.00 0.00
0.09/0.18 c vbounds : 0.00 0.00 0.00
0.09/0.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
0.09/0.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
0.09/0.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
0.09/0.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
0.09/0.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
0.09/0.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
0.09/0.18 c applied globally : - - - 0 0.0 - - -
0.09/0.18 c applied locally : - - - 0 0.0 - - -
0.09/0.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
0.09/0.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
0.09/0.18 c redcost : 0.00 0 0 0 0 0
0.09/0.18 c impliedbounds : 0.00 0 0 0 0 0
0.09/0.18 c intobj : 0.00 0 0 0 0 0
0.09/0.18 c gomory : 0.00 0 0 0 0 0
0.09/0.18 c cgmip : 0.00 0 0 0 0 0
0.09/0.18 c closecuts : 0.00 0 0 0 0 0
0.09/0.18 c strongcg : 0.00 0 0 0 0 0
0.09/0.18 c cmir : 0.00 0 0 0 0 0
0.09/0.18 c flowcover : 0.00 0 0 0 0 0
0.09/0.18 c clique : 0.00 0 0 0 0 0
0.09/0.18 c zerohalf : 0.00 0 0 0 0 0
0.09/0.18 c mcf : 0.00 0 0 0 0 0
0.09/0.18 c oddcycle : 0.00 0 0 0 0 0
0.09/0.18 c rapidlearning : 0.00 0 0 0 0 0
0.09/0.18 c Pricers : Time Calls Vars
0.09/0.18 c problem variables: 0.00 0 0
0.09/0.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
0.09/0.18 c pscost : 0.00 0 0 0 0 0 0
0.09/0.18 c inference : 0.00 0 0 0 0 0 0
0.09/0.18 c mostinf : 0.00 0 0 0 0 0 0
0.09/0.18 c leastinf : 0.00 0 0 0 0 0 0
0.09/0.18 c fullstrong : 0.00 0 0 0 0 0 0
0.09/0.18 c allfullstrong : 0.00 0 0 0 0 0 0
0.09/0.18 c random : 0.00 0 0 0 0 0 0
0.09/0.18 c relpscost : 0.00 0 0 0 0 0 0
0.09/0.18 c Primal Heuristics : Time Calls Found
0.09/0.18 c LP solutions : 0.00 - 0
0.09/0.18 c pseudo solutions : 0.00 - 0
0.09/0.18 c trivial : 0.00 1 0
0.09/0.18 c shiftandpropagate: 0.00 0 0
0.09/0.18 c simplerounding : 0.00 0 0
0.09/0.18 c zirounding : 0.00 0 0
0.09/0.18 c rounding : 0.00 0 0
0.09/0.18 c shifting : 0.00 0 0
0.09/0.18 c intshifting : 0.00 0 0
0.09/0.18 c oneopt : 0.00 0 0
0.09/0.18 c twoopt : 0.00 0 0
0.09/0.18 c fixandinfer : 0.00 0 0
0.09/0.18 c feaspump : 0.00 0 0
0.09/0.18 c clique : 0.00 0 0
0.09/0.18 c coefdiving : 0.00 0 0
0.09/0.18 c pscostdiving : 0.00 0 0
0.09/0.18 c fracdiving : 0.00 0 0
0.09/0.18 c veclendiving : 0.00 0 0
0.09/0.18 c intdiving : 0.00 0 0
0.09/0.18 c actconsdiving : 0.00 0 0
0.09/0.18 c objpscostdiving : 0.00 0 0
0.09/0.18 c rootsoldiving : 0.00 0 0
0.09/0.18 c linesearchdiving : 0.00 0 0
0.09/0.18 c guideddiving : 0.00 0 0
0.09/0.18 c octane : 0.00 0 0
0.09/0.18 c rens : 0.00 0 0
0.09/0.18 c rins : 0.00 0 0
0.09/0.18 c localbranching : 0.00 0 0
0.09/0.18 c mutation : 0.00 0 0
0.09/0.18 c crossover : 0.00 0 0
0.09/0.18 c dins : 0.00 0 0
0.09/0.18 c vbounds : 0.00 0 0
0.09/0.18 c undercover : 0.00 0 0
0.09/0.18 c subnlp : 0.00 0 0
0.09/0.18 c trysol : 0.00 0 0
0.09/0.18 c LP : Time Calls Iterations Iter/call Iter/sec
0.09/0.18 c primal LP : 0.00 0 0 0.00 -
0.09/0.18 c dual LP : 0.00 0 0 0.00 -
0.09/0.18 c lex dual LP : 0.00 0 0 0.00 -
0.09/0.18 c barrier LP : 0.00 0 0 0.00 -
0.09/0.18 c diving/probing LP: 0.00 0 0 0.00 -
0.09/0.18 c strong branching : 0.00 0 0 0.00 -
0.09/0.18 c (at root node) : - 0 0 0.00 -
0.09/0.18 c conflict analysis: 0.00 0 0 0.00 -
0.09/0.18 c B&B Tree :
0.09/0.18 c number of runs : 1
0.09/0.18 c nodes : 0
0.09/0.18 c nodes (total) : 0
0.09/0.18 c nodes left : 1
0.09/0.18 c max depth : -1
0.09/0.18 c max depth (total): -1
0.09/0.18 c backtracks : 0 (0.0%)
0.09/0.18 c delayed cutoffs : 0
0.09/0.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.09/0.18 c avg switch length: 0.00
0.09/0.18 c switching time : 0.00
0.09/0.18 c Solution :
0.09/0.18 c Solutions found : 0 (0 improvements)
0.09/0.18 c Primal Bound : infeasible
0.09/0.18 c Dual Bound : -
0.09/0.18 c Gap : infinite
0.09/0.18 c Root Dual Bound : -
0.09/0.18 c Root Iterations : 0
0.19/0.20 c Time complete: 0.19.