10.28/10.38 c SCIP version 1.1.0.7
10.28/10.38 c LP-Solver Clp 1.8.2
10.28/10.38 c user parameter file <scip.set> not found - using default parameters
10.28/10.38 c read problem <HOME/instance-1884218-1245255954.opb>
10.28/10.38 c original problem has 156980 variables (156980 bin, 0 int, 0 impl, 0 cont) and 696581 constraints
12.99/13.07 c No objective function, only one solution is needed.
12.99/13.07 c start presolving problem
12.99/13.07 c presolving:
42.38/42.47 c (round 1) 43190 del vars, 26590 del conss, 6670 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21053211 impls, 0 clqs
48.88/48.94 c (round 2) 68523 del vars, 190179 del conss, 31374 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21890548 impls, 0 clqs
54.27/54.38 c (round 3) 98632 del vars, 377934 del conss, 55395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22729071 impls, 0 clqs
57.17/57.24 c (round 4) 113911 del vars, 459845 del conss, 69860 chg bounds, 0 chg sides, 12 chg coeffs, 0 upgd conss, 23089970 impls, 0 clqs
58.07/58.15 c (round 5) 115742 del vars, 498490 del conss, 71312 chg bounds, 0 chg sides, 24 chg coeffs, 0 upgd conss, 23258803 impls, 0 clqs
58.57/58.64 c (round 6) 116582 del vars, 507921 del conss, 72003 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23326868 impls, 0 clqs
58.87/59.00 c (round 7) 117064 del vars, 511729 del conss, 72345 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23367961 impls, 0 clqs
59.28/59.30 c (round 8) 117470 del vars, 513646 del conss, 72641 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23398272 impls, 0 clqs
59.47/59.59 c (round 9) 117849 del vars, 515208 del conss, 72908 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23428383 impls, 0 clqs
59.77/59.87 c (round 10) 118221 del vars, 516808 del conss, 73181 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23451724 impls, 0 clqs
60.07/60.15 c (round 11) 118564 del vars, 518232 del conss, 73428 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23477254 impls, 0 clqs
60.37/60.42 c (round 12) 118907 del vars, 519689 del conss, 73684 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23503287 impls, 0 clqs
60.57/60.69 c (round 13) 119217 del vars, 521005 del conss, 73909 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23528099 impls, 0 clqs
60.87/60.95 c (round 14) 119537 del vars, 522304 del conss, 74150 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23546409 impls, 0 clqs
61.18/61.21 c (round 15) 119829 del vars, 523560 del conss, 74362 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23567765 impls, 0 clqs
61.38/61.47 c (round 16) 120129 del vars, 524734 del conss, 74586 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23591932 impls, 0 clqs
61.67/61.74 c (round 17) 120424 del vars, 525933 del conss, 74801 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23615700 impls, 0 clqs
61.88/61.99 c (round 18) 120718 del vars, 527156 del conss, 75018 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23631323 impls, 0 clqs
62.17/62.24 c (round 19) 120980 del vars, 528313 del conss, 75214 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23650272 impls, 0 clqs
62.37/62.48 c (round 20) 121242 del vars, 529348 del conss, 75411 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23670159 impls, 0 clqs
62.67/62.72 c (round 21) 121479 del vars, 530336 del conss, 75586 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23687875 impls, 0 clqs
62.87/62.97 c (round 22) 121733 del vars, 531363 del conss, 75771 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23707715 impls, 0 clqs
63.17/63.21 c (round 23) 121970 del vars, 532373 del conss, 75942 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23726826 impls, 0 clqs
63.37/63.44 c (round 24) 122202 del vars, 533316 del conss, 76112 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23743853 impls, 0 clqs
63.57/63.68 c (round 25) 122433 del vars, 534336 del conss, 76282 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23760507 impls, 0 clqs
63.87/63.92 c (round 26) 122673 del vars, 535305 del conss, 76458 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23776219 impls, 0 clqs
64.07/64.15 c (round 27) 122904 del vars, 536318 del conss, 76622 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23791431 impls, 0 clqs
64.27/64.38 c (round 28) 123134 del vars, 537276 del conss, 76789 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23804573 impls, 0 clqs
64.57/64.60 c (round 29) 123325 del vars, 538096 del conss, 76930 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23818318 impls, 0 clqs
64.77/64.82 c (round 30) 123535 del vars, 538940 del conss, 77087 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23831017 impls, 0 clqs
64.97/65.04 c (round 31) 123729 del vars, 539767 del conss, 77231 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23844555 impls, 0 clqs
65.17/65.27 c (round 32) 123935 del vars, 540657 del conss, 77381 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23857748 impls, 0 clqs
65.37/65.49 c (round 33) 124130 del vars, 541501 del conss, 77522 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23868691 impls, 0 clqs
65.67/65.70 c (round 34) 124317 del vars, 542277 del conss, 77661 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23882054 impls, 0 clqs
65.87/65.92 c (round 35) 124495 del vars, 543062 del conss, 77792 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23893779 impls, 0 clqs
66.07/66.13 c (round 36) 124665 del vars, 543784 del conss, 77919 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23906762 impls, 0 clqs
66.27/66.34 c (round 37) 124824 del vars, 544503 del conss, 78037 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23916236 impls, 0 clqs
66.47/66.55 c (round 38) 124983 del vars, 545187 del conss, 78151 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23924568 impls, 0 clqs
66.67/66.75 c (round 39) 125140 del vars, 545863 del conss, 78265 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23932159 impls, 0 clqs
66.87/66.95 c (round 40) 125292 del vars, 546523 del conss, 78375 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23941753 impls, 0 clqs
67.08/67.15 c (round 41) 125433 del vars, 547124 del conss, 78483 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23948862 impls, 0 clqs
67.27/67.35 c (round 42) 125585 del vars, 547752 del conss, 78595 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23957845 impls, 0 clqs
67.47/67.55 c (round 43) 125728 del vars, 548341 del conss, 78700 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23964811 impls, 0 clqs
67.67/67.75 c (round 44) 125865 del vars, 548915 del conss, 78805 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23971063 impls, 0 clqs
67.87/67.94 c (round 45) 125991 del vars, 549487 del conss, 78895 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23979076 impls, 0 clqs
68.07/68.13 c (round 46) 126100 del vars, 550008 del conss, 78978 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23983665 impls, 0 clqs
68.27/68.31 c (round 47) 126199 del vars, 550442 del conss, 79053 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23991326 impls, 0 clqs
68.47/68.50 c (round 48) 126302 del vars, 550894 del conss, 79127 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 23996954 impls, 0 clqs
68.57/68.68 c (round 49) 126391 del vars, 551241 del conss, 79191 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24004042 impls, 0 clqs
68.77/68.86 c (round 50) 126474 del vars, 551581 del conss, 79254 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24007808 impls, 0 clqs
68.97/69.04 c (round 51) 126551 del vars, 551902 del conss, 79313 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24012473 impls, 0 clqs
69.17/69.22 c (round 52) 126635 del vars, 552255 del conss, 79375 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 24018248 impls, 0 clqs
69.37/69.40 c (round 53) 126723 del vars, 552667 del conss, 79438 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24024636 impls, 0 clqs
69.46/69.58 c (round 54) 126809 del vars, 553045 del conss, 79500 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24031152 impls, 0 clqs
69.67/69.76 c (round 55) 126890 del vars, 553436 del conss, 79559 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24035047 impls, 0 clqs
69.86/69.93 c (round 56) 126966 del vars, 553768 del conss, 79616 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24038379 impls, 0 clqs
70.07/70.11 c (round 57) 127048 del vars, 554113 del conss, 79678 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24042418 impls, 0 clqs
70.16/70.29 c (round 58) 127133 del vars, 554462 del conss, 79743 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24046752 impls, 0 clqs
70.37/70.47 c (round 59) 127213 del vars, 554781 del conss, 79803 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24053856 impls, 0 clqs
70.57/70.65 c (round 60) 127291 del vars, 555088 del conss, 79863 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24058755 impls, 0 clqs
70.77/70.82 c (round 61) 127363 del vars, 555390 del conss, 79916 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24064351 impls, 0 clqs
70.97/71.00 c (round 62) 127431 del vars, 555707 del conss, 79966 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24069468 impls, 0 clqs
71.07/71.17 c (round 63) 127491 del vars, 555965 del conss, 80011 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24074187 impls, 0 clqs
71.27/71.35 c (round 64) 127550 del vars, 556232 del conss, 80055 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24079541 impls, 0 clqs
71.47/71.52 c (round 65) 127606 del vars, 556455 del conss, 80097 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24083807 impls, 0 clqs
71.57/71.68 c (round 66) 127659 del vars, 556670 del conss, 80140 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24086113 impls, 0 clqs
71.77/71.85 c (round 67) 127713 del vars, 556879 del conss, 80182 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24091178 impls, 0 clqs
71.96/72.02 c (round 68) 127777 del vars, 557133 del conss, 80234 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24094884 impls, 0 clqs
72.07/72.20 c (round 69) 127844 del vars, 557392 del conss, 80285 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24099622 impls, 0 clqs
72.27/72.37 c (round 70) 127913 del vars, 557709 del conss, 80331 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24104006 impls, 0 clqs
72.47/72.54 c (round 71) 127970 del vars, 557974 del conss, 80370 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24108152 impls, 0 clqs
72.67/72.71 c (round 72) 128031 del vars, 558228 del conss, 80418 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24111323 impls, 0 clqs
72.77/72.88 c (round 73) 128101 del vars, 558563 del conss, 80464 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24117205 impls, 0 clqs
72.97/73.05 c (round 74) 128154 del vars, 558817 del conss, 80506 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24121492 impls, 0 clqs
73.17/73.22 c (round 75) 128209 del vars, 559045 del conss, 80546 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24125534 impls, 0 clqs
73.27/73.39 c (round 76) 128264 del vars, 559278 del conss, 80589 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24130440 impls, 0 clqs
73.47/73.57 c (round 77) 128321 del vars, 559559 del conss, 80630 chg bounds, 0 chg sides, 28 chg coeffs, 0 upgd conss, 24136462 impls, 0 clqs
73.67/73.73 c (round 78) 128380 del vars, 559821 del conss, 80675 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24138524 impls, 0 clqs
73.87/73.90 c (round 79) 128426 del vars, 560074 del conss, 80707 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24144281 impls, 0 clqs
73.96/74.07 c (round 80) 128473 del vars, 560333 del conss, 80744 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24147406 impls, 0 clqs
74.17/74.23 c (round 81) 128509 del vars, 560479 del conss, 80769 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24150563 impls, 0 clqs
74.26/74.39 c (round 82) 128545 del vars, 560646 del conss, 80798 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24153955 impls, 0 clqs
74.47/74.56 c (round 83) 128580 del vars, 560781 del conss, 80824 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 24158122 impls, 0 clqs
74.67/74.72 c (round 84) 128621 del vars, 560958 del conss, 80854 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24160642 impls, 0 clqs
74.77/74.88 c (round 85) 128662 del vars, 561146 del conss, 80883 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24164643 impls, 0 clqs
74.97/75.05 c (round 86) 128702 del vars, 561296 del conss, 80913 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24166627 impls, 0 clqs
75.16/75.21 c (round 87) 128741 del vars, 561462 del conss, 80940 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24171447 impls, 0 clqs
75.26/75.37 c (round 88) 128786 del vars, 561647 del conss, 80975 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24174560 impls, 0 clqs
75.47/75.54 c (round 89) 128831 del vars, 561828 del conss, 81006 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24179054 impls, 0 clqs
75.67/75.70 c (round 90) 128878 del vars, 562042 del conss, 81039 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24182432 impls, 0 clqs
75.77/75.87 c (round 91) 128924 del vars, 562215 del conss, 81073 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24188194 impls, 0 clqs
75.97/76.04 c (round 92) 128974 del vars, 562427 del conss, 81107 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24194248 impls, 0 clqs
76.17/76.21 c (round 93) 129024 del vars, 562660 del conss, 81137 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24198375 impls, 0 clqs
76.26/76.37 c (round 94) 129070 del vars, 562855 del conss, 81171 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24201983 impls, 0 clqs
76.47/76.54 c (round 95) 129112 del vars, 563027 del conss, 81200 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24207587 impls, 0 clqs
76.66/76.70 c (round 96) 129161 del vars, 563242 del conss, 81236 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24211290 impls, 0 clqs
76.77/76.87 c (round 97) 129208 del vars, 563439 del conss, 81269 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24216340 impls, 0 clqs
76.97/77.03 c (round 98) 129253 del vars, 563620 del conss, 81303 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24220582 impls, 0 clqs
77.07/77.19 c (round 99) 129303 del vars, 563826 del conss, 81337 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24224821 impls, 0 clqs
77.26/77.36 c (round 100) 129348 del vars, 564031 del conss, 81369 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24228833 impls, 0 clqs
77.46/77.52 c (round 101) 129383 del vars, 564186 del conss, 81394 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24233219 impls, 0 clqs
77.57/77.68 c (round 102) 129420 del vars, 564326 del conss, 81422 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24236265 impls, 0 clqs
77.76/77.85 c (round 103) 129461 del vars, 564488 del conss, 81450 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24242750 impls, 0 clqs
77.97/78.01 c (round 104) 129507 del vars, 564700 del conss, 81481 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24246961 impls, 0 clqs
78.07/78.17 c (round 105) 129537 del vars, 564846 del conss, 81501 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24251841 impls, 0 clqs
78.26/78.33 c (round 106) 129568 del vars, 564985 del conss, 81523 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24253468 impls, 0 clqs
78.37/78.49 c (round 107) 129594 del vars, 565087 del conss, 81542 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24257292 impls, 0 clqs
78.56/78.65 c (round 108) 129620 del vars, 565201 del conss, 81561 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24259798 impls, 0 clqs
78.77/78.81 c (round 109) 129648 del vars, 565328 del conss, 81581 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24263122 impls, 0 clqs
78.87/78.97 c (round 110) 129671 del vars, 565451 del conss, 81596 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24265733 impls, 0 clqs
79.07/79.12 c (round 111) 129688 del vars, 565532 del conss, 81608 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24266817 impls, 0 clqs
79.17/79.28 c (round 112) 129703 del vars, 565601 del conss, 81619 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24268376 impls, 0 clqs
79.36/79.43 c (round 113) 129716 del vars, 565662 del conss, 81629 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24269277 impls, 0 clqs
79.46/79.59 c (round 114) 129733 del vars, 565725 del conss, 81643 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24269874 impls, 0 clqs
79.67/79.74 c (round 115) 129752 del vars, 565789 del conss, 81657 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24271148 impls, 0 clqs
79.77/79.89 c (round 116) 129770 del vars, 565865 del conss, 81671 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24271984 impls, 0 clqs
79.96/80.05 c (round 117) 129788 del vars, 565934 del conss, 81684 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24273414 impls, 0 clqs
80.17/80.20 c (round 118) 129808 del vars, 566009 del conss, 81700 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24275165 impls, 0 clqs
80.27/80.36 c (round 119) 129835 del vars, 566118 del conss, 81717 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24276739 impls, 0 clqs
80.47/80.51 c (round 120) 129851 del vars, 566192 del conss, 81728 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24277848 impls, 0 clqs
80.57/80.67 c (round 121) 129866 del vars, 566275 del conss, 81736 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24279206 impls, 0 clqs
80.76/80.82 c (round 122) 129876 del vars, 566316 del conss, 81743 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24280822 impls, 0 clqs
80.87/80.97 c (round 123) 129886 del vars, 566354 del conss, 81750 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24281198 impls, 0 clqs
81.07/81.12 c (round 124) 129895 del vars, 566392 del conss, 81757 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24281888 impls, 0 clqs
81.17/81.28 c (round 125) 129902 del vars, 566420 del conss, 81761 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24283554 impls, 0 clqs
81.37/81.43 c (round 126) 129905 del vars, 566435 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24284365 impls, 0 clqs
81.47/81.58 c (round 127) 129908 del vars, 566465 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 0 upgd conss, 24284679 impls, 0 clqs
83.17/83.29 c (round 128) 129908 del vars, 570453 del conss, 81762 chg bounds, 0 chg sides, 32 chg coeffs, 126128 upgd conss, 24284679 impls, 0 clqs
83.57/83.62 c presolving (129 rounds):
83.57/83.62 c 129908 deleted vars, 570453 deleted constraints, 81762 tightened bounds, 0 added holes, 0 changed sides, 32 changed coefficients
83.57/83.62 c 24284679 implications, 0 cliques
83.57/83.62 c presolved problem has 27067 variables (27067 bin, 0 int, 0 impl, 0 cont) and 126128 constraints
83.57/83.62 c 126128 constraints of type <logicor>
83.57/83.62 c transformed objective value is always integral (scale: 1)
83.57/83.62 c Presolving Time: 61.48
83.57/83.62 c PURESAT
83.57/83.62 c -----------------------------------------------------------------------------------------------
83.57/83.62 c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 0]
83.57/83.62 c separating/flowcover/freq = c -1
83.57/83.62 c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 0]
83.57/83.62 c separating/cmir/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/veclendiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/veclendiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/veclendiving/freq = c -1
83.57/83.62 c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 1]
83.57/83.62 c heuristics/simplerounding/freq = c -1
83.57/83.62 c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/shifting/freq = c -1
83.57/83.62 c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 1]
83.57/83.62 c heuristics/rounding/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/rootsoldiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
83.57/83.62 c heuristics/rootsoldiving/maxlpiterquot = c 0.015
83.57/83.62 c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 20]
83.57/83.62 c heuristics/rootsoldiving/freq = c -1
83.57/83.62 c # number of nodes added to the contingent of the total nodes
83.57/83.62 c # [type: longint, range: [0,9223372036854775807], default: 500]
83.57/83.62 c heuristics/rens/nodesofs = c 2000
83.57/83.62 c # minimum percentage of integer variables that have to be fixable
83.57/83.62 c # [type: real, range: [0,1], default: 0.5]
83.57/83.62 c heuristics/rens/minfixingrate = c 0.3
83.57/83.62 c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 0]
83.57/83.62 c heuristics/rens/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/pscostdiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/pscostdiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/pscostdiving/freq = c -1
83.57/83.62 c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 1]
83.57/83.62 c heuristics/oneopt/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/objpscostdiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to total iteration number
83.57/83.62 c # [type: real, range: [0,1], default: 0.01]
83.57/83.62 c heuristics/objpscostdiving/maxlpiterquot = c 0.015
83.57/83.62 c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 20]
83.57/83.62 c heuristics/objpscostdiving/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/linesearchdiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/linesearchdiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/linesearchdiving/freq = c -1
83.57/83.62 c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/intshifting/freq = c -1
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/intdiving/maxlpiterquot = c 0.075
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/guideddiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/guideddiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/guideddiving/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/fracdiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/fracdiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/fracdiving/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/feaspump/maxlpiterofs = c 2000
83.57/83.62 c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 20]
83.57/83.62 c heuristics/feaspump/freq = c -1
83.57/83.62 c # minimum percentage of integer variables that have to be fixed
83.57/83.62 c # [type: real, range: [0,1], default: 0.666]
83.57/83.62 c heuristics/crossover/minfixingrate = c 0.5
83.57/83.62 c # contingent of sub problem nodes in relation to the number of nodes of the original problem
83.57/83.62 c # [type: real, range: [0,1], default: 0.1]
83.57/83.62 c heuristics/crossover/nodesquot = c 0.15
83.57/83.62 c # number of nodes without incumbent change that heuristic should wait
83.57/83.62 c # [type: longint, range: [0,9223372036854775807], default: 200]
83.57/83.62 c heuristics/crossover/nwaitingnodes = c 100
83.57/83.62 c # number of nodes added to the contingent of the total nodes
83.57/83.62 c # [type: longint, range: [0,9223372036854775807], default: 500]
83.57/83.62 c heuristics/crossover/nodesofs = c 750
83.57/83.62 c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 30]
83.57/83.62 c heuristics/crossover/freq = c -1
83.57/83.62 c # additional number of allowed LP iterations
83.57/83.62 c # [type: int, range: [0,2147483647], default: 1000]
83.57/83.62 c heuristics/coefdiving/maxlpiterofs = c 1500
83.57/83.62 c # maximal fraction of diving LP iterations compared to node LP iterations
83.57/83.62 c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
83.57/83.62 c heuristics/coefdiving/maxlpiterquot = c 0.075
83.57/83.62 c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: 10]
83.57/83.62 c heuristics/coefdiving/freq = c -1
83.57/83.62 c # priority of node selection rule <dfs> in standard mode
83.57/83.62 c # [type: int, range: [-536870912,536870911], default: 0]
83.57/83.62 c nodeselection/dfs/stdpriority = c 1000000
83.57/83.62 c # maximal number of presolving rounds the presolver participates in (-1: no limit)
83.57/83.62 c # [type: int, range: [-1,2147483647], default: -1]
83.57/83.62 c presolving/probing/maxrounds = c 0
83.57/83.62 c # should presolving try to simplify knapsacks
83.57/83.62 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
83.57/83.62 c constraints/knapsack/simplifyinequalities = c TRUE
83.57/83.62 c # should disaggregation of knapsack constraints be allowed in preprocessing?
83.57/83.62 c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
83.57/83.62 c constraints/knapsack/disaggregation = c FALSE
83.57/83.62 c # maximal number of cardinality inequalities lifted per separation round (-1: unlimited)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: -1]
83.57/83.66 c constraints/knapsack/maxnumcardlift = c 0
83.57/83.66 c # should presolving try to simplify inequalities
83.57/83.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
83.57/83.66 c constraints/linear/simplifyinequalities = c TRUE
83.57/83.66 c # maximal number of separation rounds in the root node (-1: unlimited)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: -1]
83.57/83.66 c separating/maxroundsroot = c 5
83.57/83.66 c # maximal number of separation rounds per node (-1: unlimited)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: 5]
83.57/83.66 c separating/maxrounds = c 1
83.57/83.66 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
83.57/83.66 c # [type: char, range: {lafpsqd}, default: l]
83.57/83.66 c lp/pricing = c a
83.57/83.66 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: 1]
83.57/83.66 c lp/solvefreq = c 0
83.57/83.66 c # solving stops, if the given number of solutions were found (-1: no limit)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: -1]
83.57/83.66 c limits/solutions = c 1
83.57/83.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
83.57/83.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
83.57/83.66 c limits/memory = c 1620
83.57/83.66 c # maximal time in seconds to run
83.57/83.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
83.57/83.66 c limits/time = c 1791
83.57/83.66 c # frequency for displaying node information lines
83.57/83.66 c # [type: int, range: [-1,2147483647], default: 100]
83.57/83.66 c display/freq = c 10000
83.57/83.66 c # should enforcement of pseudo solution be disabled?
83.57/83.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
83.57/83.66 c constraints/disableenfops = c TRUE
83.57/83.66 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: 0]
83.57/83.66 c constraints/agelimit = c 1
83.57/83.66 c # should binary conflicts be preferred?
83.57/83.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
83.57/83.66 c conflict/preferbinary = c TRUE
83.57/83.66 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
83.57/83.66 c # [type: int, range: [-1,2147483647], default: -1]
83.57/83.66 c conflict/interconss = c 0
83.57/83.66 c -----------------------------------------------------------------------------------------------
83.57/83.66 c start solving problem
83.57/83.66 c
142.95/143.05 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
142.95/143.05 c 122s| 1 | 0 | 18206 | 698M| 0 |6390 | 27k| 126k| 126k| 27k| 126k| 0 | 0 | 0 | 3.908719e+03 | -- | Inf
381.77/381.97 c 361s| 1 | 0 | 21960 | 703M| 0 |6017 | 27k| 126k| 126k| 27k| 126k| 6 | 0 | 0 | 3.910424e+03 | -- | Inf
711.26/711.55 c 690s| 1 | 0 | 26014 | 708M| 0 |5996 | 27k| 126k| 126k| 27k| 126k| 11 | 0 | 0 | 3.910986e+03 | -- | Inf
1062.75/1063.13 c 1041s| 1 | 0 | 32630 | 713M| 0 |7099 | 27k| 126k| 126k| 27k| 126k| 18 | 0 | 0 | 3.912952e+03 | -- | Inf
1366.06/1366.56 c 1344s| 1 | 0 | 37240 | 723M| 0 |6908 | 27k| 126k| 126k| 27k| 126k| 25 | 0 | 0 | 3.913604e+03 | -- | Inf