0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2704407-1278554543.opb>
0.00/0.03 c original problem has 634 variables (634 bin, 0 int, 0 impl, 0 cont) and 1581 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.04 c presolving:
0.06/0.09 c (round 1) 0 del vars, 60 del conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1519 upgd conss, 1610 impls, 0 clqs
0.09/0.10 c (round 2) 0 del vars, 60 del conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1520 upgd conss, 1610 impls, 0 clqs
0.09/0.10 c (round 3) 0 del vars, 60 del conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1521 upgd conss, 1610 impls, 0 clqs
0.09/0.15 c (round 4) 50 del vars, 60 del conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1521 upgd conss, 15530 impls, 0 clqs
0.09/0.15 c (round 5) 50 del vars, 110 del conss, 0 chg bounds, 60 chg sides, 0 chg coeffs, 1521 upgd conss, 15530 impls, 0 clqs
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 50 deleted vars, 110 deleted constraints, 0 tightened bounds, 0 added holes, 60 changed sides, 0 changed coefficients
0.09/0.16 c 15530 implications, 0 cliques
0.09/0.16 c presolved problem has 584 variables (584 bin, 0 int, 0 impl, 0 cont) and 1471 constraints
0.09/0.16 c 389 constraints of type <setppc>
0.09/0.16 c 1082 constraints of type <logicor>
0.09/0.16 c transformed objective value is always integral (scale: 1)
0.09/0.16 c Presolving Time: 0.11
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.3
0.09/0.16 c
0.09/0.16 c # frequency for displaying node information lines
0.09/0.16 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.16 c display/freq = 10000
0.09/0.16 c
0.09/0.16 c # maximal time in seconds to run
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/time = 1789.97
0.09/0.16 c
0.09/0.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.16 c limits/memory = 1620
0.09/0.16 c
0.09/0.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.16 c # [type: int, range: [1,2], default: 1]
0.09/0.16 c timing/clocktype = 2
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify inequalities
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/linear/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/indicator/addCouplingCons = TRUE
0.09/0.16 c
0.09/0.16 c # should presolving try to simplify knapsacks
0.09/0.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.16 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.16 c
0.09/0.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.16 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.16 c separating/rapidlearning/freq = 0
0.09/0.16 c
0.09/0.16 c -----------------------------------------------------------------------------------------------
0.09/0.16 c start solving
0.09/0.16 c
0.39/0.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.39/0.42 c 0.4s| 1 | 0 | 1466 | - |3345k| 0 | 555 | 584 |1471 | 584 |1471 | 0 | 0 | 0 | 2.038542e+02 | -- | Inf
2.39/2.49 c 2.5s| 1 | 0 | 4623 | - |7402k| 0 | 425 | 584 |2469 | 584 |1633 | 162 | 0 | 0 | 2.098930e+02 | -- | Inf
2.89/2.90 c 2.9s| 1 | 0 | 5111 | - |8646k| 0 | 379 | 584 |2469 | 584 |1669 | 198 | 0 | 0 | 2.215667e+02 | -- | Inf
3.20/3.22 c 3.2s| 1 | 0 | 5563 | - |9489k| 0 | 413 | 584 |2469 | 584 |1688 | 217 | 0 | 0 | 2.257682e+02 | -- | Inf
3.59/3.65 c 3.6s| 1 | 0 | 5866 | - | 11M| 0 | 383 | 584 |2469 | 584 |1703 | 232 | 0 | 0 | 2.302812e+02 | -- | Inf
3.78/3.88 c 3.8s| 1 | 0 | 6101 | - | 12M| 0 | 382 | 584 |2469 | 584 |1721 | 250 | 0 | 0 | 2.329688e+02 | -- | Inf
4.30/4.38 c 4.3s| 1 | 0 | 6612 | - | 13M| 0 | 368 | 584 |2469 | 584 |1739 | 268 | 0 | 0 | 2.342885e+02 | -- | Inf
4.79/4.87 c 4.8s| 1 | 0 | 7065 | - | 15M| 0 | 385 | 584 |2469 | 584 |1763 | 292 | 0 | 0 | 2.396202e+02 | -- | Inf
5.29/5.35 c 5.3s| 1 | 0 | 7575 | - | 16M| 0 | 371 | 584 |2469 | 584 |1788 | 317 | 0 | 0 | 2.458626e+02 | -- | Inf
5.79/5.86 c 5.8s| 1 | 0 | 8096 | - | 18M| 0 | 449 | 584 |2469 | 584 |1808 | 337 | 0 | 0 | 2.501148e+02 | -- | Inf
6.39/6.40 c 6.4s| 1 | 0 | 8483 | - | 21M| 0 | 401 | 584 |2469 | 584 |1837 | 366 | 0 | 0 | 2.571739e+02 | -- | Inf
6.89/6.97 c 6.9s| 1 | 0 | 9177 | - | 22M| 0 | 397 | 584 |2469 | 584 |1858 | 387 | 0 | 0 | 2.598182e+02 | -- | Inf
7.59/7.67 c 7.6s| 1 | 0 | 9863 | - | 25M| 0 | 414 | 584 |2469 | 584 |1872 | 401 | 0 | 0 | 2.635436e+02 | -- | Inf
8.09/8.17 c 8.1s| 1 | 0 | 10266 | - | 27M| 0 | 416 | 584 |2469 | 584 |1889 | 418 | 0 | 0 | 2.676083e+02 | -- | Inf
8.48/8.52 c 8.5s| 1 | 0 | 10520 | - | 29M| 0 | 424 | 584 |2469 | 584 |1900 | 429 | 0 | 0 | 2.683110e+02 | -- | Inf
9.09/9.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.09/9.11 c 9.1s| 1 | 0 | 10970 | - | 30M| 0 | 427 | 584 |2469 | 584 |1927 | 456 | 0 | 0 | 2.733321e+02 | -- | Inf
9.68/9.71 c 9.7s| 1 | 0 | 11385 | - | 31M| 0 | 401 | 584 |2469 | 584 |1753 | 484 | 0 | 0 | 2.786532e+02 | -- | Inf
10.09/10.19 c 10.2s| 1 | 0 | 11834 | - | 32M| 0 | 382 | 584 |2469 | 584 |1773 | 504 | 0 | 0 | 2.827076e+02 | -- | Inf
10.48/10.54 c 10.5s| 1 | 0 | 12213 | - | 34M| 0 | 437 | 584 |2469 | 584 |1793 | 524 | 0 | 0 | 2.838646e+02 | -- | Inf
11.00/11.02 c 11.0s| 1 | 0 | 12763 | - | 36M| 0 | 410 | 584 |2469 | 584 |1814 | 545 | 0 | 0 | 2.856375e+02 | -- | Inf
11.39/11.41 c 11.4s| 1 | 0 | 13168 | - | 37M| 0 | 444 | 584 |2469 | 584 |1831 | 562 | 0 | 0 | 2.861434e+02 | -- | Inf
11.79/11.88 c 11.8s| 1 | 0 | 13715 | - | 38M| 0 | 428 | 584 |2469 | 584 |1859 | 590 | 0 | 0 | 2.897424e+02 | -- | Inf
12.29/12.34 c 12.3s| 1 | 0 | 14352 | - | 38M| 0 | 429 | 584 |2469 | 584 |1784 | 614 | 0 | 0 | 2.919437e+02 | -- | Inf
12.69/12.76 c 12.7s| 1 | 0 | 14980 | - | 39M| 0 | 494 | 584 |2469 | 584 |1806 | 636 | 0 | 0 | 2.932323e+02 | -- | Inf
13.09/13.20 c 13.2s| 1 | 0 | 15381 | - | 39M| 0 | 476 | 584 |2469 | 584 |1833 | 663 | 0 | 0 | 2.946419e+02 | -- | Inf
13.38/13.49 c 13.5s| 1 | 0 | 15718 | - | 40M| 0 | 474 | 584 |2469 | 584 |1844 | 674 | 0 | 0 | 2.951130e+02 | -- | Inf
13.79/13.80 c 13.8s| 1 | 0 | 16109 | - | 41M| 0 | 501 | 584 |2469 | 584 |1855 | 685 | 0 | 0 | 2.954601e+02 | -- | Inf
14.29/14.34 c 14.3s| 1 | 0 | 16569 | - | 41M| 0 | 486 | 584 |2469 | 584 |1871 | 701 | 0 | 0 | 2.974941e+02 | -- | Inf
14.99/15.03 c 15.0s| 1 | 0 | 17489 | - | 42M| 0 | 486 | 584 |2469 | 584 |1788 | 721 | 0 | 0 | 2.999460e+02 | -- | Inf
15.39/15.41 c 15.4s| 1 | 0 | 17746 | - | 42M| 0 | 483 | 584 |2469 | 584 |1798 | 731 | 0 | 0 | 3.001958e+02 | -- | Inf
15.99/16.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.01 c 16.0s| 1 | 0 | 18450 | - | 43M| 0 | 457 | 584 |2469 | 584 |1810 | 743 | 0 | 0 | 3.013832e+02 | -- | Inf
16.49/16.51 c 16.5s| 1 | 0 | 19243 | - | 43M| 0 | 445 | 584 |2469 | 584 |1826 | 759 | 0 | 0 | 3.016656e+02 | -- | Inf
16.88/16.93 c 16.9s| 1 | 0 | 19837 | - | 44M| 0 | 481 | 584 |2469 | 584 |1842 | 775 | 0 | 0 | 3.018059e+02 | -- | Inf
17.59/17.62 c 17.6s| 1 | 0 | 20804 | - | 44M| 0 | 486 | 584 |2469 | 584 |1851 | 784 | 0 | 0 | 3.019525e+02 | -- | Inf
18.19/18.28 c 18.3s| 1 | 0 | 21641 | - | 44M| 0 | 494 | 584 |2469 | 584 |1751 | 793 | 0 | 0 | 3.021555e+02 | -- | Inf
18.88/18.92 c 18.9s| 1 | 0 | 22365 | - | 44M| 0 | 497 | 584 |2469 | 584 |1761 | 803 | 0 | 0 | 3.023149e+02 | -- | Inf
19.29/19.35 c 19.3s| 1 | 0 | 22648 | - | 44M| 0 | 489 | 584 |2469 | 584 |1767 | 809 | 0 | 0 | 3.023525e+02 | -- | Inf
19.79/19.81 c 19.8s| 1 | 0 | 23077 | - | 44M| 0 | 451 | 584 |2469 | 584 |1771 | 813 | 0 | 0 | 3.024616e+02 | -- | Inf
20.29/20.34 c 20.3s| 1 | 0 | 23960 | - | 45M| 0 | 506 | 584 |2469 | 584 |1778 | 820 | 0 | 0 | 3.027543e+02 | -- | Inf
20.68/20.73 c 20.7s| 1 | 0 | 24417 | - | 45M| 0 | 493 | 584 |2469 | 584 |1781 | 823 | 0 | 0 | 3.030533e+02 | -- | Inf
21.08/21.13 c 21.1s| 1 | 0 | 24866 | - | 45M| 0 | 483 | 584 |2469 | 584 |1721 | 827 | 0 | 0 | 3.031380e+02 | -- | Inf
21.39/21.45 c 21.4s| 1 | 0 | 25157 | - | 45M| 0 | 476 | 584 |2469 | 584 |1726 | 832 | 0 | 0 | 3.032833e+02 | -- | Inf
21.58/21.69 c 21.7s| 1 | 0 | 25243 | - | 45M| 0 | 483 | 584 |2469 | 584 |1728 | 834 | 0 | 0 | 3.032931e+02 | -- | Inf
21.99/22.06 c 22.0s| 1 | 0 | 25490 | - | 45M| 0 | 489 | 584 |2469 | 584 |1729 | 835 | 0 | 0 | 3.033049e+02 | -- | Inf
22.38/22.44 c 22.4s| 1 | 0 | 25911 | - | 45M| 0 | 482 | 584 |2469 | 584 |1735 | 841 | 0 | 0 | 3.033724e+02 | -- | Inf
22.86/22.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
22.86/22.97 c 22.9s| 1 | 0 | 26631 | - | 45M| 0 | 478 | 584 |2469 | 584 |1742 | 848 | 0 | 0 | 3.042054e+02 | -- | Inf
23.36/23.41 c 23.4s| 1 | 0 | 27112 | - | 45M| 0 | 485 | 584 |2469 | 584 |1691 | 855 | 0 | 0 | 3.045212e+02 | -- | Inf
23.77/23.80 c 23.8s| 1 | 0 | 27657 | - | 45M| 0 | 462 | 584 |2469 | 584 |1697 | 861 | 0 | 0 | 3.049255e+02 | -- | Inf
24.07/24.20 c 24.2s| 1 | 0 | 28249 | - | 46M| 0 | 480 | 584 |2469 | 584 |1704 | 868 | 0 | 0 | 3.051322e+02 | -- | Inf
24.36/24.47 c 24.4s| 1 | 0 | 28344 | - | 46M| 0 | 481 | 584 |2469 | 584 |1707 | 871 | 0 | 0 | 3.051416e+02 | -- | Inf
26.56/26.65 c 26.6s| 1 | 2 | 28344 | - | 46M| 0 | 481 | 584 |2469 | 584 |1707 | 871 | 0 | 10 | 3.051416e+02 | -- | Inf
291.19/291.38 o 317
291.19/291.38 c v 291s| 2016 | 392 |575098 | 271.3 | 48M| 19 | - | 584 |3988 | 584 |1621 | 871 |4106 |1029 | 3.114722e+02 | 3.170000e+02 | 1.77%
522.92/523.19 c
522.92/523.19 c SCIP Status : problem is solved [optimal solution found]
522.92/523.19 c Solving Time (sec) : 523.15
522.92/523.19 c Solving Nodes : 4725
522.92/523.19 c Primal Bound : +3.17000000000000e+02 (1 solutions)
522.92/523.19 c Dual Bound : +3.17000000000000e+02
522.92/523.19 c Gap : 0.00 %
522.92/523.19 s OPTIMUM FOUND
522.92/523.19 v x634 -x633 x632 -x631 -x630 x629 x628 -x627 -x626 x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 x616 -x615 -x614 x613 -x612
522.92/523.19 v x611 -x610 x609 x608 -x607 x606 -x605 -x604 x603 -x602 x601 x600 -x599 x598 -x597 -x596 x595 -x594 x593 x592 -x591 -x590 x589
522.92/523.19 v x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 -x572 x571 -x570 x569 -x568 x567 -x566
522.92/523.19 v x565 x564 -x563 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 -x553 x552 -x551 -x550 x549 -x548 x547 x546 -x545 -x544 x543
522.92/523.19 v x542 -x541 x540 -x539 -x538 x537 x536 -x535 -x534 x533 -x532 x531 x530 -x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521
522.92/523.19 v -x520 x519 -x518 x517 x516 -x515 -x514 x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505 -x504 x503 x502 -x501 -x500 x499 x498
522.92/523.19 v -x497 x496 -x495 x494 -x493 -x492 x491 -x490 x489 -x488 x487 -x486 x485 x484 -x483 x482 -x481 x480 -x479 x478 -x477 -x476 x475
522.92/523.19 v x474 -x473 -x472 x471 x470 -x469 -x468 x467 -x466 x465 x464 -x463 -x462 x461 -x460 x459 -x458 x457 x456 -x455 x454 -x453 -x452
522.92/523.19 v x451 -x450 x449 -x448 x447 -x446 x445 x444 -x443 -x442 x441 x440 -x439 x438 -x437 -x436 x435 -x434 x433 x432 -x431 x430
522.92/523.19 v -x429 -x428 x427 x426 -x425 -x424 x423 x422 -x421 x420 -x419 -x418 x417 -x416 x415 x414 -x413 x412 -x411 -x410 x409 -x408 x407
522.92/523.19 v -x406 x405 x404 -x403 x402 -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 x392 -x391 -x390 x389 x388 -x387 x386 -x385 x384
522.92/523.19 v -x383 x382 -x381 x380 -x379 -x378 x377 x376 -x375 x374 -x373 x372 -x371 x370 -x369 -x368 x367 -x366 x365 x364 -x363 -x362
522.92/523.19 v x361 x360 -x359 x358 -x357 -x356 x355 x354 -x353 x352 -x351 x350 -x349 -x348 x347 x346 -x345 -x344 x343 x342 -x341 -x340 x339
522.92/523.19 v -x338 x337 x336 -x335 -x334 x333 -x332 x331 x330 -x329 -x328 x327 -x326 x325 x324 -x323 x322 -x321 -x320 x319 x318 -x317 -x316
522.92/523.19 v x315 x314 -x313 x312 -x311 x310 -x309 -x308 x307 x306 -x305 -x304 x303 x302 -x301 -x300 x299 x298 -x297 -x296 x295 x294 -x293
522.92/523.19 v -x292 x291 -x290 x289 -x288 x287 -x286 x285 x284 -x283 -x282 x281 x280 -x279 x278 -x277 -x276 x275 -x274 x273 x272 -x271
522.92/523.19 v x270 -x269 x268 -x267 x266 -x265 -x264 x263 x262 -x261 -x260 x259 -x258 x257 x256 -x255 x254 -x253 x252 -x251 x250 -x249 x248
522.92/523.19 v -x247 x246 -x245 x244 -x243 x242 -x241 x240 -x239 x238 -x237 x236 -x235 x234 -x233 x232 -x231 x230 -x229 x228 -x227 x226 -x225
522.92/523.19 v x224 -x223 x222 -x221 x220 -x219 x218 -x217 x216 -x215 x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 x204 -x203 x202
522.92/523.19 v -x201 x200 -x199 x198 -x197 x196 -x195 x194 -x193 x192 -x191 x190 -x189 x188 -x187 x186 -x185 x184 -x183 x182 -x181 x180
522.92/523.19 v -x179 x178 -x177 x176 -x175 x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 x158 -x157
522.92/523.19 v x156 -x155 x154 -x153 x152 -x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134
522.92/523.19 v -x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 x124 -x123 -x122 x121 x120 -x119 x118 -x117 x116 -x115 -x114 x113 x112 -x111
522.92/523.19 v x110 -x109 x108 -x107 -x106 x105 x104 -x103 x102 -x101 x100 -x99 -x98 x97 x96 -x95 x94 -x93 x92 -x91 -x90 x89 x88 -x87 x86
522.92/523.19 v -x85 x84 -x83 -x82 x81 x80 -x79 x78 -x77 x76 -x75 -x74 x73 x72 -x71 x70 -x69 x68 -x67 -x66 x65 x64 -x63 x62 -x61 x60 -x59
522.92/523.19 v -x58 x57 x56 -x55 x54 -x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 -x44 x43 -x42 x41 -x40 x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31
522.92/523.19 v -x30 x29 -x28 x27 x26 -x25 x24 -x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 x6 -x5 -x4 x3 -x2 x1
522.92/523.19 c SCIP Status : problem is solved [optimal solution found]
522.92/523.19 c Solving Time : 523.15
522.92/523.19 c Original Problem :
522.92/523.19 c Problem name : HOME/instance-2704407-1278554543.opb
522.92/523.19 c Variables : 634 (634 binary, 0 integer, 0 implicit integer, 0 continuous)
522.92/523.19 c Constraints : 1581 initial, 1581 maximal
522.92/523.19 c Presolved Problem :
522.92/523.19 c Problem name : t_HOME/instance-2704407-1278554543.opb
522.92/523.19 c Variables : 584 (584 binary, 0 integer, 0 implicit integer, 0 continuous)
522.92/523.19 c Constraints : 1471 initial, 4029 maximal
522.92/523.19 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
522.92/523.19 c trivial : 0.00 0 0 0 0 0 0 0 0
522.92/523.19 c dualfix : 0.00 0 0 0 0 0 0 0 0
522.92/523.19 c boundshift : 0.00 0 0 0 0 0 0 0 0
522.92/523.19 c inttobinary : 0.00 0 0 0 0 0 0 0 0
522.92/523.19 c implics : 0.00 0 0 0 0 0 0 0 0
522.92/523.19 c probing : 0.05 0 50 0 0 0 0 0 0
522.92/523.19 c setppc : 0.01 0 0 0 0 0 50 0 0
522.92/523.19 c linear : 0.03 0 0 0 0 0 60 60 0
522.92/523.19 c logicor : 0.03 0 0 0 0 0 0 0 0
522.92/523.19 c root node : - 6 - - 6 - - - -
522.92/523.19 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
522.92/523.19 c integral : 0 0 0 2660 0 35 323 0 0 5052
522.92/523.19 c setppc : 389 50 66112 0 0 605 123102 0 0 0
522.92/523.19 c linear : 0+ 50 64958 0 0 38 2991 206 0 0
522.92/523.19 c logicor : 1082+ 50 54631 0 0 544 98652 0 0 0
522.92/523.19 c countsols : 0 0 0 0 0 0 0 0 0 0
522.92/523.19 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
522.92/523.19 c integral : 139.31 0.00 0.00 139.31 0.00
522.92/523.19 c setppc : 3.08 0.00 3.08 0.00 0.00
522.92/523.19 c linear : 1.19 0.05 1.15 0.00 0.00
522.92/523.19 c logicor : 2.52 0.00 2.52 0.00 0.00
522.92/523.19 c countsols : 0.00 0.00 0.00 0.00 0.00
522.92/523.19 c Propagators : Time Calls Cutoffs DomReds
522.92/523.19 c vbounds : 0.03 2 0 0
522.92/523.19 c rootredcost : 0.03 1 0 0
522.92/523.19 c pseudoobj : 1.66 65741 1 0
522.92/523.19 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
522.92/523.19 c propagation : 0.18 1187 1136 5166 15.9 99 5.5 -
522.92/523.19 c infeasible LP : 0.34 586 564 4107 18.3 5 5.4 0
522.92/523.19 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
522.92/523.19 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
522.92/523.19 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
522.92/523.19 c applied globally : - - - 5072 15.7 - - -
522.92/523.19 c applied locally : - - - 0 0.0 - - -
522.92/523.19 c Separators : Time Calls Cutoffs DomReds Cuts Conss
522.92/523.19 c cut pool : 0.62 49 - - 1145 - (maximal pool size: 11937)
522.92/523.19 c redcost : 0.16 3398 0 2447 0 0
522.92/523.19 c impliedbounds : 0.02 50 0 0 277 0
522.92/523.19 c intobj : 0.00 0 0 0 0 0
522.92/523.19 c cgmip : 0.00 0 0 0 0 0
522.92/523.19 c gomory : 8.60 50 0 0 16667 0
522.92/523.19 c strongcg : 2.05 20 0 0 9853 0
522.92/523.19 c cmir : 0.14 10 0 0 0 0
522.92/523.19 c flowcover : 0.11 10 0 0 0 0
522.92/523.19 c clique : 0.02 50 0 0 54 0
522.92/523.19 c zerohalf : 0.00 0 0 0 0 0
522.92/523.19 c mcf : 0.00 1 0 0 0 0
522.92/523.19 c rapidlearning : 1.09 1 0 0 0 998
522.92/523.19 c Pricers : Time Calls Vars
522.92/523.19 c problem variables: 0.00 0 0
522.92/523.19 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
522.92/523.19 c relpscost : 139.30 2660 35 323 0 0 5052
522.92/523.19 c pscost : 0.00 0 0 0 0 0 0
522.92/523.19 c inference : 0.00 0 0 0 0 0 0
522.92/523.19 c mostinf : 0.00 0 0 0 0 0 0
522.92/523.19 c leastinf : 0.00 0 0 0 0 0 0
522.92/523.19 c fullstrong : 0.00 0 0 0 0 0 0
522.92/523.19 c allfullstrong : 0.00 0 0 0 0 0 0
522.92/523.19 c random : 0.00 0 0 0 0 0 0
522.92/523.19 c Primal Heuristics : Time Calls Found
522.92/523.19 c LP solutions : 0.00 - 0
522.92/523.19 c pseudo solutions : 0.00 - 0
522.92/523.19 c crossover : 0.01 0 0
522.92/523.19 c intshifting : 0.00 0 0
522.92/523.19 c oneopt : 0.01 1 0
522.92/523.19 c pscostdiving : 13.69 76 0
522.92/523.19 c fracdiving : 10.94 77 0
522.92/523.19 c coefdiving : 12.34 77 0
522.92/523.19 c trivial : 0.00 2 0
522.92/523.19 c simplerounding : 0.01 0 0
522.92/523.19 c zirounding : 0.15 1000 0
522.92/523.19 c rounding : 0.32 687 0
522.92/523.19 c shifting : 0.40 272 0
522.92/523.19 c twoopt : 0.00 0 0
522.92/523.19 c fixandinfer : 0.00 0 0
522.92/523.19 c feaspump : 0.53 1 0
522.92/523.19 c veclendiving : 14.59 75 1
522.92/523.19 c intdiving : 0.00 0 0
522.92/523.19 c actconsdiving : 0.00 0 0
522.92/523.19 c objpscostdiving : 3.38 4 0
522.92/523.19 c rootsoldiving : 2.43 5 0
522.92/523.19 c linesearchdiving : 10.54 65 0
522.92/523.19 c guideddiving : 2.64 16 0
522.92/523.19 c octane : 0.00 0 0
522.92/523.19 c rens : 0.01 0 0
522.92/523.19 c rins : 0.00 0 0
522.92/523.19 c localbranching : 0.00 0 0
522.92/523.19 c mutation : 0.00 0 0
522.92/523.19 c dins : 0.00 0 0
522.92/523.19 c undercover : 0.00 0 0
522.92/523.19 c nlp : 0.01 0 0
522.92/523.19 c trysol : 0.00 0 0
522.92/523.19 c LP : Time Calls Iterations Iter/call Iter/sec
522.92/523.19 c primal LP : 0.02 0 0 0.00 0.00
522.92/523.19 c dual LP : 284.10 4473 927232 207.30 3263.75
522.92/523.19 c lex dual LP : 0.00 0 0 0.00 -
522.92/523.19 c barrier LP : 0.00 0 0 0.00 -
522.92/523.19 c diving/probing LP: 64.28 4745 199199 41.98 3098.74
522.92/523.19 c strong branching : 138.76 1823 443780 243.43 3198.23
522.92/523.19 c (at root node) : - 10 5296 529.60 -
522.92/523.19 c conflict analysis: 0.00 0 0 0.00 -
522.92/523.19 c B&B Tree :
522.92/523.19 c number of runs : 1
522.92/523.19 c nodes : 4725
522.92/523.19 c nodes (total) : 4725
522.92/523.19 c nodes left : 0
522.92/523.19 c max depth : 19
522.92/523.19 c max depth (total): 19
522.92/523.19 c backtracks : 2005 (42.4%)
522.92/523.19 c delayed cutoffs : 231
522.92/523.19 c repropagations : 1396 (44699 domain reductions, 183 cutoffs)
522.92/523.19 c avg switch length: 7.81
522.92/523.19 c switching time : 4.76
522.92/523.19 c Solution :
522.92/523.19 c Solutions found : 1 (1 improvements)
522.92/523.19 c First Solution : +3.17000000000000e+02 (in run 1, after 2016 nodes, 291.35 seconds, depth 17, found by <veclendiving>)
522.92/523.19 c Primal Bound : +3.17000000000000e+02 (in run 1, after 2016 nodes, 291.35 seconds, depth 17, found by <veclendiving>)
522.92/523.19 c Dual Bound : +3.17000000000000e+02
522.92/523.19 c Gap : 0.00 %
522.92/523.19 c Root Dual Bound : +3.05141589973717e+02
522.92/523.19 c Root Iterations : 28344
523.02/523.23 c Time complete: 523.06.