0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692830-1338026741.opb>
0.59/0.65 c original problem has 81558 variables (81558 bin, 0 int, 0 impl, 0 cont) and 240469 constraints
0.59/0.65 c problem read in 0.65
1.69/1.70 c presolving:
4.69/4.70 c (round 1) 913 del vars, 298 del conss, 0 add conss, 113 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001050 impls, 0 clqs
4.89/4.98 c (round 2) 945 del vars, 2004 del conss, 0 add conss, 117 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6001702 impls, 0 clqs
5.79/5.80 c (round 3) 1828 del vars, 2039 del conss, 0 add conss, 165 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6017304 impls, 0 clqs
6.09/6.12 c (round 4) 1882 del vars, 4377 del conss, 0 add conss, 174 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6029089 impls, 0 clqs
6.29/6.33 c (round 5) 1882 del vars, 4467 del conss, 0 add conss, 174 chg bounds, 2302 chg sides, 4716 chg coeffs, 0 upgd conss, 6029089 impls, 0 clqs
7.99/8.02 c (round 6) 1882 del vars, 4488 del conss, 0 add conss, 174 chg bounds, 2302 chg sides, 4716 chg coeffs, 236010 upgd conss, 6029089 impls, 0 clqs
9.69/9.76 c (round 7) 1909 del vars, 235423 del conss, 76968 add conss, 179 chg bounds, 2302 chg sides, 4716 chg coeffs, 236010 upgd conss, 6047296 impls, 0 clqs
11.00/11.01 c (round 8) 1920 del vars, 235434 del conss, 76968 add conss, 179 chg bounds, 2302 chg sides, 4727 chg coeffs, 236034 upgd conss, 6047320 impls, 24 clqs
12.58/12.61 c (round 9) 1982 del vars, 235979 del conss, 77513 add conss, 179 chg bounds, 2302 chg sides, 4727 chg coeffs, 236034 upgd conss, 6597668 impls, 25 clqs
13.89/13.96 c (round 10) 1999 del vars, 236057 del conss, 77591 add conss, 179 chg bounds, 2302 chg sides, 4727 chg coeffs, 236034 upgd conss, 6597668 impls, 569 clqs
15.09/15.14 c (round 11) 2012 del vars, 236084 del conss, 77591 add conss, 179 chg bounds, 2302 chg sides, 4727 chg coeffs, 236034 upgd conss, 6597668 impls, 573 clqs
16.29/16.31 c (round 12) 2021 del vars, 236089 del conss, 77591 add conss, 179 chg bounds, 2302 chg sides, 4732 chg coeffs, 236034 upgd conss, 6597668 impls, 573 clqs
19.38/19.48 c (round 13) 2071 del vars, 236098 del conss, 77595 add conss, 183 chg bounds, 2302 chg sides, 4736 chg coeffs, 236034 upgd conss, 6644906 impls, 573 clqs
20.59/20.65 c (round 14) 2084 del vars, 236119 del conss, 77595 add conss, 183 chg bounds, 2302 chg sides, 4749 chg coeffs, 236062 upgd conss, 6644906 impls, 573 clqs
21.99/22.07 c (round 15) 2094 del vars, 236125 del conss, 77601 add conss, 183 chg bounds, 2302 chg sides, 4749 chg coeffs, 236062 upgd conss, 6669652 impls, 573 clqs
23.38/23.41 c (round 16) 2097 del vars, 236135 del conss, 77611 add conss, 183 chg bounds, 2302 chg sides, 4749 chg coeffs, 236062 upgd conss, 6669652 impls, 574 clqs
26.29/26.39 c (round 17) 2151 del vars, 236140 del conss, 77616 add conss, 199 chg bounds, 2302 chg sides, 4749 chg coeffs, 236062 upgd conss, 6703254 impls, 574 clqs
27.49/27.56 c (round 18) 2170 del vars, 236169 del conss, 77616 add conss, 199 chg bounds, 2302 chg sides, 4768 chg coeffs, 236096 upgd conss, 6703254 impls, 574 clqs
29.09/29.14 c (round 19) 2181 del vars, 236185 del conss, 77621 add conss, 199 chg bounds, 2302 chg sides, 4768 chg coeffs, 236096 upgd conss, 6737198 impls, 574 clqs
30.89/30.98 c (round 20) 2214 del vars, 236190 del conss, 77624 add conss, 211 chg bounds, 2302 chg sides, 4768 chg coeffs, 236096 upgd conss, 6763394 impls, 574 clqs
32.09/32.15 c (round 21) 2229 del vars, 236211 del conss, 77624 add conss, 211 chg bounds, 2302 chg sides, 4783 chg coeffs, 236120 upgd conss, 6763394 impls, 576 clqs
33.89/33.97 c (round 22) 2262 del vars, 236214 del conss, 77627 add conss, 222 chg bounds, 2302 chg sides, 4783 chg coeffs, 236120 upgd conss, 6789531 impls, 577 clqs
35.09/35.13 c (round 23) 2277 del vars, 236235 del conss, 77627 add conss, 222 chg bounds, 2302 chg sides, 4798 chg coeffs, 236144 upgd conss, 6789531 impls, 577 clqs
37.09/37.13 c (round 24) 2321 del vars, 236238 del conss, 77630 add conss, 230 chg bounds, 2302 chg sides, 4798 chg coeffs, 236144 upgd conss, 6817601 impls, 577 clqs
38.18/38.29 c (round 25) 2340 del vars, 236263 del conss, 77630 add conss, 230 chg bounds, 2302 chg sides, 4817 chg coeffs, 236174 upgd conss, 6817631 impls, 577 clqs
40.19/40.28 c (round 26) 2385 del vars, 236266 del conss, 77633 add conss, 237 chg bounds, 2302 chg sides, 4817 chg coeffs, 236174 upgd conss, 6855498 impls, 577 clqs
41.38/41.45 c (round 27) 2399 del vars, 236292 del conss, 77633 add conss, 237 chg bounds, 2302 chg sides, 4831 chg coeffs, 236188 upgd conss, 6855498 impls, 577 clqs
42.89/42.99 c (round 28) 2399 del vars, 236303 del conss, 77644 add conss, 237 chg bounds, 2302 chg sides, 4831 chg coeffs, 236188 upgd conss, 6855498 impls, 577 clqs
45.88/45.92 c (round 29) 2452 del vars, 236305 del conss, 77644 add conss, 241 chg bounds, 2302 chg sides, 4831 chg coeffs, 236188 upgd conss, 6949454 impls, 577 clqs
46.98/47.09 c (round 30) 2471 del vars, 236326 del conss, 77644 add conss, 241 chg bounds, 2302 chg sides, 4850 chg coeffs, 236226 upgd conss, 6949492 impls, 577 clqs
48.39/48.42 c (round 31) 2473 del vars, 236332 del conss, 77650 add conss, 241 chg bounds, 2302 chg sides, 4850 chg coeffs, 236226 upgd conss, 6949492 impls, 577 clqs
51.48/51.55 c (round 32) 2530 del vars, 236336 del conss, 77654 add conss, 253 chg bounds, 2302 chg sides, 4850 chg coeffs, 236226 upgd conss, 6974844 impls, 578 clqs
52.69/52.71 c (round 33) 2545 del vars, 236355 del conss, 77654 add conss, 253 chg bounds, 2302 chg sides, 4865 chg coeffs, 236272 upgd conss, 6974870 impls, 579 clqs
60.98/61.05 c (round 34) 2574 del vars, 236356 del conss, 77655 add conss, 266 chg bounds, 2302 chg sides, 4865 chg coeffs, 236272 upgd conss, 7360959 impls, 579 clqs
62.18/62.22 c (round 35) 2589 del vars, 236375 del conss, 77655 add conss, 266 chg bounds, 2302 chg sides, 4880 chg coeffs, 236284 upgd conss, 7360959 impls, 579 clqs
63.48/63.56 c (round 36) 2590 del vars, 236385 del conss, 77665 add conss, 266 chg bounds, 2302 chg sides, 4880 chg coeffs, 236284 upgd conss, 7361111 impls, 580 clqs
70.48/70.54 c (round 37) 2618 del vars, 236386 del conss, 77666 add conss, 271 chg bounds, 2302 chg sides, 4880 chg coeffs, 236284 upgd conss, 7713054 impls, 582 clqs
71.67/71.70 c (round 38) 2628 del vars, 236397 del conss, 77666 add conss, 271 chg bounds, 2302 chg sides, 4890 chg coeffs, 236288 upgd conss, 7713054 impls, 583 clqs
73.18/73.23 c (round 39) 2628 del vars, 236414 del conss, 77683 add conss, 271 chg bounds, 2302 chg sides, 4890 chg coeffs, 236288 upgd conss, 7713054 impls, 583 clqs
76.38/76.40 c (round 40) 2657 del vars, 236414 del conss, 77683 add conss, 278 chg bounds, 2302 chg sides, 4890 chg coeffs, 236288 upgd conss, 7845397 impls, 583 clqs
77.48/77.56 c (round 41) 2668 del vars, 236427 del conss, 77683 add conss, 278 chg bounds, 2302 chg sides, 4901 chg coeffs, 236304 upgd conss, 7845403 impls, 583 clqs
78.98/79.09 c (round 42) 2668 del vars, 236433 del conss, 77689 add conss, 278 chg bounds, 2302 chg sides, 4901 chg coeffs, 236304 upgd conss, 7845403 impls, 584 clqs
83.38/83.48 c (round 43) 2723 del vars, 236433 del conss, 77689 add conss, 285 chg bounds, 2302 chg sides, 4901 chg coeffs, 236304 upgd conss, 8036214 impls, 584 clqs
84.59/84.64 c (round 44) 2742 del vars, 236456 del conss, 77689 add conss, 285 chg bounds, 2302 chg sides, 4920 chg coeffs, 236338 upgd conss, 8036250 impls, 584 clqs
85.88/85.98 c (round 45) 2743 del vars, 236466 del conss, 77699 add conss, 285 chg bounds, 2302 chg sides, 4920 chg coeffs, 236338 upgd conss, 8037372 impls, 584 clqs
87.28/87.32 c (round 46) 2747 del vars, 236471 del conss, 77704 add conss, 285 chg bounds, 2302 chg sides, 4920 chg coeffs, 236338 upgd conss, 8037372 impls, 585 clqs
90.88/90.91 c (round 47) 2783 del vars, 236475 del conss, 77704 add conss, 297 chg bounds, 2302 chg sides, 4924 chg coeffs, 236338 upgd conss, 8123704 impls, 585 clqs
91.98/92.07 c (round 48) 2796 del vars, 236489 del conss, 77704 add conss, 297 chg bounds, 2302 chg sides, 4937 chg coeffs, 236352 upgd conss, 8123708 impls, 585 clqs
93.58/93.61 c (round 49) 2796 del vars, 236497 del conss, 77712 add conss, 297 chg bounds, 2302 chg sides, 4937 chg coeffs, 236352 upgd conss, 8123708 impls, 585 clqs
95.28/95.37 c (round 50) 2836 del vars, 236497 del conss, 77712 add conss, 317 chg bounds, 2302 chg sides, 4937 chg coeffs, 236352 upgd conss, 8132140 impls, 585 clqs
96.47/96.54 c (round 51) 2861 del vars, 236522 del conss, 77712 add conss, 317 chg bounds, 2302 chg sides, 4962 chg coeffs, 236382 upgd conss, 8132440 impls, 585 clqs
97.78/97.87 c (round 52) 2871 del vars, 236523 del conss, 77713 add conss, 317 chg bounds, 2302 chg sides, 4962 chg coeffs, 236382 upgd conss, 8133260 impls, 586 clqs
99.27/99.40 c (round 53) 2876 del vars, 236538 del conss, 77723 add conss, 317 chg bounds, 2302 chg sides, 4962 chg coeffs, 236382 upgd conss, 8133330 impls, 586 clqs
100.88/100.91 c (round 54) 2876 del vars, 236548 del conss, 77723 add conss, 317 chg bounds, 2302 chg sides, 4962 chg coeffs, 236382 upgd conss, 8133330 impls, 587 clqs
104.57/104.67 c (round 55) 2902 del vars, 236548 del conss, 77723 add conss, 330 chg bounds, 2302 chg sides, 4962 chg coeffs, 236382 upgd conss, 8282507 impls, 587 clqs
105.77/105.83 c (round 56) 2915 del vars, 236561 del conss, 77723 add conss, 330 chg bounds, 2302 chg sides, 4975 chg coeffs, 236388 upgd conss, 8282513 impls, 587 clqs
107.27/107.37 c (round 57) 2915 del vars, 236572 del conss, 77734 add conss, 330 chg bounds, 2302 chg sides, 4975 chg coeffs, 236388 upgd conss, 8282513 impls, 587 clqs
111.88/111.90 c (round 58) 2941 del vars, 236572 del conss, 77734 add conss, 331 chg bounds, 2302 chg sides, 4975 chg coeffs, 236388 upgd conss, 8501710 impls, 587 clqs
112.97/113.06 c (round 59) 2954 del vars, 236585 del conss, 77734 add conss, 331 chg bounds, 2302 chg sides, 4988 chg coeffs, 236392 upgd conss, 8501734 impls, 587 clqs
114.47/114.59 c (round 60) 2954 del vars, 236596 del conss, 77745 add conss, 331 chg bounds, 2302 chg sides, 4988 chg coeffs, 236392 upgd conss, 8501734 impls, 588 clqs
118.78/118.87 c (round 61) 2986 del vars, 236596 del conss, 77745 add conss, 339 chg bounds, 2302 chg sides, 4988 chg coeffs, 236392 upgd conss, 8710230 impls, 588 clqs
119.98/120.03 c (round 62) 3002 del vars, 236612 del conss, 77745 add conss, 339 chg bounds, 2302 chg sides, 5004 chg coeffs, 236402 upgd conss, 8710262 impls, 588 clqs
121.47/121.56 c (round 63) 3002 del vars, 236623 del conss, 77756 add conss, 339 chg bounds, 2302 chg sides, 5004 chg coeffs, 236402 upgd conss, 8710262 impls, 588 clqs
124.48/124.58 c (round 64) 3050 del vars, 236623 del conss, 77756 add conss, 349 chg bounds, 2302 chg sides, 5004 chg coeffs, 236402 upgd conss, 8825394 impls, 588 clqs
125.67/125.74 c (round 65) 3066 del vars, 236641 del conss, 77756 add conss, 349 chg bounds, 2302 chg sides, 5020 chg coeffs, 236430 upgd conss, 8825428 impls, 588 clqs
127.17/127.26 c (round 66) 3066 del vars, 236649 del conss, 77764 add conss, 349 chg bounds, 2302 chg sides, 5020 chg coeffs, 236430 upgd conss, 8825428 impls, 588 clqs
131.27/131.33 c (round 67) 3092 del vars, 236649 del conss, 77764 add conss, 357 chg bounds, 2302 chg sides, 5020 chg coeffs, 236430 upgd conss, 9002722 impls, 588 clqs
132.37/132.49 c (round 68) 3105 del vars, 236662 del conss, 77764 add conss, 357 chg bounds, 2302 chg sides, 5033 chg coeffs, 236440 upgd conss, 9002732 impls, 588 clqs
133.97/134.01 c (round 69) 3105 del vars, 236670 del conss, 77772 add conss, 357 chg bounds, 2302 chg sides, 5033 chg coeffs, 236440 upgd conss, 9002732 impls, 588 clqs
138.17/138.20 c (round 70) 3135 del vars, 236670 del conss, 77772 add conss, 357 chg bounds, 2302 chg sides, 5033 chg coeffs, 236440 upgd conss, 9213228 impls, 588 clqs
139.27/139.35 c (round 71) 3150 del vars, 236685 del conss, 77772 add conss, 357 chg bounds, 2302 chg sides, 5048 chg coeffs, 236450 upgd conss, 9213258 impls, 588 clqs
140.78/140.87 c (round 72) 3150 del vars, 236695 del conss, 77782 add conss, 357 chg bounds, 2302 chg sides, 5048 chg coeffs, 236450 upgd conss, 9213258 impls, 588 clqs
143.67/143.78 c (round 73) 3180 del vars, 236695 del conss, 77782 add conss, 357 chg bounds, 2302 chg sides, 5048 chg coeffs, 236450 upgd conss, 9319176 impls, 588 clqs
144.87/144.93 c (round 74) 3195 del vars, 236710 del conss, 77782 add conss, 357 chg bounds, 2302 chg sides, 5063 chg coeffs, 236460 upgd conss, 9319206 impls, 588 clqs
146.37/146.44 c (round 75) 3195 del vars, 236720 del conss, 77792 add conss, 357 chg bounds, 2302 chg sides, 5063 chg coeffs, 236460 upgd conss, 9319206 impls, 588 clqs
149.17/149.27 c (round 76) 3225 del vars, 236720 del conss, 77792 add conss, 357 chg bounds, 2302 chg sides, 5063 chg coeffs, 236460 upgd conss, 9433082 impls, 588 clqs
150.37/150.41 c (round 77) 3240 del vars, 236735 del conss, 77792 add conss, 357 chg bounds, 2302 chg sides, 5078 chg coeffs, 236470 upgd conss, 9433112 impls, 588 clqs
151.87/151.93 c (round 78) 3240 del vars, 236745 del conss, 77802 add conss, 357 chg bounds, 2302 chg sides, 5078 chg coeffs, 236470 upgd conss, 9433112 impls, 588 clqs
154.17/154.22 c (round 79) 3269 del vars, 236745 del conss, 77802 add conss, 359 chg bounds, 2302 chg sides, 5078 chg coeffs, 236470 upgd conss, 9486298 impls, 588 clqs
155.27/155.38 c (round 80) 3280 del vars, 236758 del conss, 77802 add conss, 359 chg bounds, 2302 chg sides, 5089 chg coeffs, 236482 upgd conss, 9486326 impls, 588 clqs
156.87/156.90 c (round 81) 3280 del vars, 236766 del conss, 77810 add conss, 359 chg bounds, 2302 chg sides, 5089 chg coeffs, 236482 upgd conss, 9486326 impls, 588 clqs
161.87/161.95 c (round 82) 3311 del vars, 236766 del conss, 77810 add conss, 366 chg bounds, 2302 chg sides, 5089 chg coeffs, 236482 upgd conss, 9740591 impls, 587 clqs
163.07/163.18 c (round 83) 3326 del vars, 236787 del conss, 77810 add conss, 366 chg bounds, 2302 chg sides, 5103 chg coeffs, 236504 upgd conss, 9767667 impls, 587 clqs
164.46/164.53 c (round 84) 3342 del vars, 236802 del conss, 77823 add conss, 366 chg bounds, 2302 chg sides, 5104 chg coeffs, 236504 upgd conss, 9767691 impls, 587 clqs
168.87/168.95 c (round 85) 3379 del vars, 236804 del conss, 77825 add conss, 380 chg bounds, 2302 chg sides, 5104 chg coeffs, 236504 upgd conss, 9931419 impls, 587 clqs
170.07/170.12 c (round 86) 3395 del vars, 236821 del conss, 77825 add conss, 380 chg bounds, 2302 chg sides, 5120 chg coeffs, 236516 upgd conss, 9931425 impls, 587 clqs
171.57/171.66 c (round 87) 3395 del vars, 236832 del conss, 77836 add conss, 380 chg bounds, 2302 chg sides, 5120 chg coeffs, 236516 upgd conss, 9931425 impls, 587 clqs
181.56/181.63 c (round 88) 3766 del vars, 236832 del conss, 77836 add conss, 386 chg bounds, 2302 chg sides, 5120 chg coeffs, 236516 upgd conss, 10522529 impls, 587 clqs
182.76/182.81 c (round 89) 3849 del vars, 236920 del conss, 77836 add conss, 386 chg bounds, 2302 chg sides, 5203 chg coeffs, 236516 upgd conss, 10523211 impls, 587 clqs
184.16/184.22 c (round 90) 3850 del vars, 236930 del conss, 77846 add conss, 386 chg bounds, 2302 chg sides, 5203 chg coeffs, 236516 upgd conss, 10568795 impls, 587 clqs
196.76/196.81 c (round 91) 3875 del vars, 236931 del conss, 77847 add conss, 390 chg bounds, 2302 chg sides, 5203 chg coeffs, 236516 upgd conss, 11473355 impls, 587 clqs
198.06/198.12 c (round 92) 4027 del vars, 236936 del conss, 77847 add conss, 445 chg bounds, 2302 chg sides, 5205 chg coeffs, 236517 upgd conss, 11473418 impls, 587 clqs
199.25/199.34 c (round 93) 4224 del vars, 236991 del conss, 77847 add conss, 445 chg bounds, 2302 chg sides, 5260 chg coeffs, 236520 upgd conss, 11473418 impls, 587 clqs
200.46/200.51 c (round 94) 4304 del vars, 237063 del conss, 77847 add conss, 445 chg bounds, 2302 chg sides, 5332 chg coeffs, 236520 upgd conss, 11473418 impls, 587 clqs
201.56/201.64 c (round 95) 4312 del vars, 237071 del conss, 77847 add conss, 445 chg bounds, 2302 chg sides, 5340 chg coeffs, 236520 upgd conss, 11473896 impls, 587 clqs
202.85/202.97 c (round 96) 4322 del vars, 237113 del conss, 77889 add conss, 445 chg bounds, 2302 chg sides, 5340 chg coeffs, 236520 upgd conss, 11473896 impls, 587 clqs
204.05/204.12 c (round 97) 4332 del vars, 237113 del conss, 77889 add conss, 445 chg bounds, 2302 chg sides, 5340 chg coeffs, 236520 upgd conss, 11473896 impls, 602 clqs
205.15/205.27 c (round 98) 4342 del vars, 237123 del conss, 77889 add conss, 445 chg bounds, 2302 chg sides, 5350 chg coeffs, 236520 upgd conss, 11473896 impls, 602 clqs
211.16/211.26 c (round 99) 4701 del vars, 237124 del conss, 77889 add conss, 445 chg bounds, 2302 chg sides, 5350 chg coeffs, 236520 upgd conss, 11769352 impls, 602 clqs
212.35/212.41 c (round 100) 4777 del vars, 237206 del conss, 77889 add conss, 445 chg bounds, 2302 chg sides, 5426 chg coeffs, 236520 upgd conss, 11769354 impls, 602 clqs
216.66/216.77 c (round 101) 4806 del vars, 237209 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5426 chg coeffs, 236520 upgd conss, 11923915 impls, 602 clqs
217.96/218.03 c (round 102) 4958 del vars, 237220 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5431 chg coeffs, 236540 upgd conss, 11924103 impls, 602 clqs
219.15/219.28 c (round 103) 5105 del vars, 237232 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5443 chg coeffs, 236540 upgd conss, 11924103 impls, 602 clqs
220.35/220.46 c (round 104) 5230 del vars, 237346 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5557 chg coeffs, 236540 upgd conss, 11924103 impls, 602 clqs
221.45/221.56 c (round 105) 5241 del vars, 237356 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5567 chg coeffs, 236540 upgd conss, 11924361 impls, 602 clqs
224.85/224.91 c (round 106) 5602 del vars, 237357 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5568 chg coeffs, 236540 upgd conss, 11983793 impls, 602 clqs
225.95/226.03 c (round 107) 5678 del vars, 237439 del conss, 77892 add conss, 448 chg bounds, 2302 chg sides, 5644 chg coeffs, 236540 upgd conss, 11983949 impls, 602 clqs
229.76/229.83 c (round 108) 6754 del vars, 237440 del conss, 77893 add conss, 448 chg bounds, 2302 chg sides, 5644 chg coeffs, 236540 upgd conss, 12067521 impls, 601 clqs
230.85/231.00 c (round 109) 6983 del vars, 237687 del conss, 77893 add conss, 448 chg bounds, 2302 chg sides, 5872 chg coeffs, 236540 upgd conss, 12068777 impls, 601 clqs
232.34/232.42 c (round 110) 6983 del vars, 237695 del conss, 77901 add conss, 448 chg bounds, 2302 chg sides, 5872 chg coeffs, 236540 upgd conss, 12068777 impls, 601 clqs
235.65/235.72 c (round 111) 7714 del vars, 237695 del conss, 77901 add conss, 448 chg bounds, 2302 chg sides, 5872 chg coeffs, 236540 upgd conss, 12143585 impls, 601 clqs
236.75/236.83 c (round 112) 7869 del vars, 237862 del conss, 77901 add conss, 448 chg bounds, 2302 chg sides, 6027 chg coeffs, 236546 upgd conss, 12144305 impls, 601 clqs
238.15/238.22 c (round 113) 7869 del vars, 237872 del conss, 77911 add conss, 448 chg bounds, 2302 chg sides, 6027 chg coeffs, 236546 upgd conss, 12144305 impls, 601 clqs
241.05/241.19 c (round 114) 8246 del vars, 237872 del conss, 77911 add conss, 453 chg bounds, 2302 chg sides, 6027 chg coeffs, 236546 upgd conss, 12230746 impls, 602 clqs
242.15/242.25 c (round 115) 8326 del vars, 237958 del conss, 77911 add conss, 453 chg bounds, 2302 chg sides, 6107 chg coeffs, 236548 upgd conss, 12230818 impls, 602 clqs
243.55/243.63 c (round 116) 8326 del vars, 237966 del conss, 77919 add conss, 453 chg bounds, 2302 chg sides, 6107 chg coeffs, 236548 upgd conss, 12230818 impls, 602 clqs
245.85/245.99 c (round 117) 8684 del vars, 237966 del conss, 77919 add conss, 454 chg bounds, 2302 chg sides, 6107 chg coeffs, 236548 upgd conss, 12284213 impls, 602 clqs
246.94/247.03 c (round 118) 8761 del vars, 238049 del conss, 77919 add conss, 454 chg bounds, 2302 chg sides, 6184 chg coeffs, 236548 upgd conss, 12284215 impls, 602 clqs
249.74/249.88 c (round 119) 9115 del vars, 238051 del conss, 77921 add conss, 455 chg bounds, 2302 chg sides, 6184 chg coeffs, 236548 upgd conss, 12379820 impls, 601 clqs
250.85/250.92 c (round 120) 9192 del vars, 238134 del conss, 77921 add conss, 455 chg bounds, 2302 chg sides, 6260 chg coeffs, 236548 upgd conss, 12380784 impls, 601 clqs
252.05/252.10 c (round 121) 9198 del vars, 238142 del conss, 77925 add conss, 455 chg bounds, 2302 chg sides, 6262 chg coeffs, 236548 upgd conss, 12380784 impls, 601 clqs
256.34/256.49 c (round 122) 9556 del vars, 238142 del conss, 77925 add conss, 456 chg bounds, 2302 chg sides, 6262 chg coeffs, 236548 upgd conss, 12632615 impls, 601 clqs
257.44/257.52 c (round 123) 9634 del vars, 238226 del conss, 77925 add conss, 456 chg bounds, 2302 chg sides, 6340 chg coeffs, 236548 upgd conss, 12632749 impls, 601 clqs
258.54/258.67 c (round 124) 9635 del vars, 238234 del conss, 77933 add conss, 456 chg bounds, 2302 chg sides, 6340 chg coeffs, 236548 upgd conss, 12632749 impls, 601 clqs
273.04/273.15 c (round 125) 9662 del vars, 238235 del conss, 77933 add conss, 456 chg bounds, 2302 chg sides, 6341 chg coeffs, 236548 upgd conss, 13720919 impls, 602 clqs
274.04/274.13 c (round 126) 9665 del vars, 238241 del conss, 77933 add conss, 456 chg bounds, 2302 chg sides, 6347 chg coeffs, 236550 upgd conss, 13720919 impls, 602 clqs
275.34/275.48 c (round 127) 9666 del vars, 238258 del conss, 77949 add conss, 456 chg bounds, 2302 chg sides, 6347 chg coeffs, 236550 upgd conss, 13721159 impls, 602 clqs
601.86/602.05 c (602.0s) probing: 1000/80603 (1.2%) - 6163 fixings, 63 aggregations, 8290230 implications, 266 bound changes
1211.43/1211.75 c (1211.7s) probing: 2000/80603 (2.5%) - 6163 fixings, 64 aggregations, 14376740 implications, 266 bound changes
1502.67/1503.09 c (1503.1s) probing: 2517/80603 (3.1%) - 6163 fixings, 64 aggregations, 17191546 implications, 266 bound changes
1502.67/1503.09 c (1503.1s) probing aborted: 1000/1000 successive useless probings
1502.87/1503.25 c presolving (128 rounds):
1502.87/1503.25 c 9671 deleted vars, 238258 deleted constraints, 77949 added constraints, 457 tightened bounds, 0 added holes, 2302 changed sides, 6347 changed coefficients
1502.87/1503.25 c 244334568 implications, 603 cliques
1502.87/1503.25 c presolved problem has 71887 variables (71887 bin, 0 int, 0 impl, 0 cont) and 74730 constraints
1502.87/1503.25 c 4596 constraints of type <knapsack>
1502.87/1503.25 c 1524 constraints of type <setppc>
1502.87/1503.25 c 68610 constraints of type <and>
1502.87/1503.25 c transformed objective value is always integral (scale: 1)
1502.87/1503.25 c Presolving Time: 1502.31
1502.87/1503.25 c - non default parameters ----------------------------------------------------------------------
1502.87/1503.25 c # SCIP version 2.1.1.4
1502.87/1503.25 c
1502.87/1503.25 c # maximal time in seconds to run
1502.87/1503.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1502.87/1503.25 c limits/time = 1797
1502.87/1503.25 c
1502.87/1503.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1502.87/1503.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1502.87/1503.25 c limits/memory = 13950
1502.87/1503.25 c
1502.87/1503.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
1502.87/1503.25 c # [type: int, range: [1,2], default: 1]
1502.87/1503.25 c timing/clocktype = 2
1502.87/1503.25 c
1502.87/1503.25 c # belongs reading time to solving time?
1502.87/1503.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1502.87/1503.25 c timing/reading = TRUE
1502.87/1503.25 c
1502.87/1503.25 c -----------------------------------------------------------------------------------------------
1502.87/1503.25 c start solving
1502.87/1503.28 c
1510.27/1510.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.27/1510.64 c 1511s| 1 | 0 | 9178 | - |6927M| 0 |5101 | 71k| 74k| 71k| 143k| 0 | 59 | 0 | 0.000000e+00 | -- | Inf
1637.05/1637.41 c 1637s| 1 | 0 | 42369 | - |6937M| 0 | 10k| 71k| 74k| 71k| 145k|2000 | 83 | 0 | 0.000000e+00 | -- | Inf
1660.04/1660.45 c 1660s| 1 | 0 | 53536 | - |6938M| 0 | 11k| 71k| 74k| 71k| 147k|4000 | 83 | 0 | 0.000000e+00 | -- | Inf
1707.14/1707.56 c 1708s| 1 | 0 | 67266 | - |6938M| 0 | 14k| 71k| 74k| 71k| 149k|6000 | 83 | 0 | 0.000000e+00 | -- | Inf
1762.63/1763.02 c 1763s| 1 | 0 | 81490 | - |6939M| 0 | 16k| 71k| 74k| 71k| 151k|8000 | 83 | 0 | 0.000000e+00 | -- | Inf
1796.62/1797.05 c 1797s| 1 | 0 | 92275 | - |6939M| 0 | - | 71k| 74k| 71k| 153k| 10k| 83 | 0 | 0.000000e+00 | -- | Inf
1796.62/1797.05 c (node 1) LP solver hit time limit in LP 9 -- using pseudo solution instead
1796.62/1797.07 c 1797s| 1 | 2 | 92275 | - |6939M| 0 | - | 71k| 74k| 71k| 153k| 10k| 83 | 0 | 0.000000e+00 | -- | Inf
1796.62/1797.07 c
1796.62/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.62/1797.07 c Solving Time (sec) : 1797.06
1796.62/1797.07 c Solving Nodes : 1
1796.62/1797.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.62/1797.07 c Dual Bound : +0.00000000000000e+00
1796.62/1797.07 c Gap : infinite
1796.62/1797.07 s UNKNOWN
1796.62/1797.07 c SCIP Status : solving was interrupted [time limit reached]
1796.62/1797.07 c Total Time : 1797.06
1796.62/1797.07 c solving : 1797.06
1796.62/1797.07 c presolving : 1502.31 (included in solving)
1796.62/1797.07 c reading : 0.65 (included in solving)
1796.62/1797.07 c copying : 0.00 (0 times copied the problem)
1796.62/1797.07 c Original Problem :
1796.62/1797.07 c Problem name : HOME/instance-3692830-1338026741.opb
1796.62/1797.07 c Variables : 81558 (81558 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.62/1797.07 c Constraints : 240469 initial, 240469 maximal
1796.62/1797.07 c Objective sense : minimize
1796.62/1797.07 c Presolved Problem :
1796.62/1797.07 c Problem name : t_HOME/instance-3692830-1338026741.opb
1796.62/1797.07 c Variables : 71887 (71887 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.62/1797.07 c Constraints : 74730 initial, 74812 maximal
1796.62/1797.07 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.62/1797.07 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c trivial : 0.82 0.00 87 0 0 0 0 0 0 0 0
1796.62/1797.07 c dualfix : 0.57 0.00 2 0 0 0 0 0 0 0 0
1796.62/1797.07 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c gateextraction : 0.86 0.00 0 0 0 0 0 230929 76968 0 0
1796.62/1797.07 c implics : 3.87 0.00 0 844 0 0 0 0 0 0 0
1796.62/1797.07 c components : 0.09 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c probing : 1324.24 0.00 6163 64 0 266 0 0 0 0 0
1796.62/1797.07 c knapsack : 0.80 0.00 0 0 0 0 0 0 0 0 0
1796.62/1797.07 c setppc : 0.82 0.00 0 3 0 0 0 208 0 0 0
1796.62/1797.07 c and : 163.58 0.00 612 1751 0 0 0 2633 981 0 1631
1796.62/1797.07 c linear : 5.01 0.00 136 9 0 136 0 4488 0 2302 4716
1796.62/1797.07 c logicor : 0.47 0.06 0 0 0 55 0 0 0 0 0
1796.62/1797.07 c root node : - - 0 - - 0 - - - - -
1796.62/1797.07 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.62/1797.07 c integral : 0 0 0 0 0 0 4 0 0 0 0 0 0
1796.62/1797.07 c knapsack : 4596 4596 1 55871 0 1 3 0 0 0 200 0 0
1796.62/1797.07 c setppc : 1524 1524 1 55871 0 1 0 487 2 0 0 0 0
1796.62/1797.07 c and : 68610 68610 5 55869 0 1 0 2872 23 0 22019 0 0
1796.62/1797.07 c logicor : 0+ 85 1 49 0 1 0 29 12 0 5 0 0
1796.62/1797.07 c countsols : 0 0 0 0 0 1 0 0 0 0 0 0 0
1796.62/1797.07 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.62/1797.07 c integral : 0.02 0.00 0.00 0.00 0.00 0.00 0.02 0.00
1796.62/1797.07 c knapsack : 11.74 0.00 0.01 11.73 0.00 0.00 0.00 0.00
1796.62/1797.07 c setppc : 4.95 0.00 0.00 4.95 0.00 0.00 0.00 0.00
1796.62/1797.07 c and : 258.48 0.00 0.25 258.22 0.00 0.00 0.00 0.00
1796.62/1797.07 c logicor : 0.07 0.06 0.00 0.00 0.00 0.00 0.00 0.00
1796.62/1797.07 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.62/1797.07 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.62/1797.07 c rootredcost : 0 0 0 0
1796.62/1797.07 c pseudoobj : 0 0 0 0
1796.62/1797.07 c vbounds : 0 0 0 0
1796.62/1797.07 c redcost : 5 0 0 0
1796.62/1797.07 c probing : 0 0 0 0
1796.62/1797.07 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.62/1797.07 c rootredcost : 0.06 0.00 0.00 0.06 0.00
1796.62/1797.07 c pseudoobj : 0.07 0.00 0.00 0.07 0.00
1796.62/1797.07 c vbounds : 0.08 0.01 0.00 0.07 0.00
1796.62/1797.07 c redcost : 0.07 0.00 0.00 0.07 0.00
1796.62/1797.07 c probing : 1324.25 0.00 1324.24 0.00 0.00
1796.62/1797.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.62/1797.07 c propagation : 0.01 37 23 97 17.7 27 4.4 -
1796.62/1797.07 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.62/1797.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.62/1797.07 c applied globally : - - - 83 12.9 - - -
1796.62/1797.07 c applied locally : - - - 0 0.0 - - -
1796.62/1797.07 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.62/1797.07 c cut pool : 0.00 4 - - 2075 - (maximal pool size: 7502)
1796.62/1797.07 c closecuts : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c impliedbounds : 0.23 0.00 1 0 0 11549 0
1796.62/1797.07 c intobj : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c gomory : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c cgmip : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c strongcg : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c cmir : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c flowcover : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c clique : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c mcf : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.62/1797.07 c Pricers : ExecTime SetupTime Calls Vars
1796.62/1797.07 c problem variables: 0.00 - 0 0
1796.62/1797.07 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.62/1797.07 c relpscost : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c inference : 0.02 0.00 1 0 0 0 0 2
1796.62/1797.07 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c random : 0.00 0.00 0 0 0 0 0 0
1796.62/1797.07 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.62/1797.07 c LP solutions : 0.00 - - 0
1796.62/1797.07 c pseudo solutions : 0.00 - - 0
1796.62/1797.07 c oneopt : 0.00 0.00 0 0
1796.62/1797.07 c smallcard : 0.00 0.00 0 0
1796.62/1797.07 c trivial : 0.09 0.00 2 0
1796.62/1797.07 c shiftandpropagate: 1.85 0.00 1 0
1796.62/1797.07 c simplerounding : 0.00 0.00 0 0
1796.62/1797.07 c zirounding : 0.00 0.00 0 0
1796.62/1797.07 c rounding : 0.10 0.00 5 0
1796.62/1797.07 c shifting : 8.39 0.00 5 0
1796.62/1797.07 c intshifting : 0.00 0.00 0 0
1796.62/1797.07 c twoopt : 0.00 0.00 0 0
1796.62/1797.07 c indtwoopt : 0.00 0.00 0 0
1796.62/1797.07 c indoneopt : 0.00 0.00 0 0
1796.62/1797.07 c fixandinfer : 0.00 0.00 0 0
1796.62/1797.07 c feaspump : 67.68 0.00 1 0
1796.62/1797.07 c clique : 0.00 0.00 0 0
1796.62/1797.07 c indrounding : 0.00 0.00 0 0
1796.62/1797.07 c indcoefdiving : 0.00 0.00 0 0
1796.62/1797.07 c coefdiving : 0.00 0.00 0 0
1796.62/1797.07 c pscostdiving : 0.00 0.00 0 0
1796.62/1797.07 c nlpdiving : 0.00 0.00 0 0
1796.62/1797.07 c fracdiving : 0.00 0.00 0 0
1796.62/1797.07 c veclendiving : 0.00 0.00 0 0
1796.62/1797.07 c intdiving : 0.00 0.00 0 0
1796.62/1797.07 c actconsdiving : 0.00 0.00 0 0
1796.62/1797.07 c objpscostdiving : 0.00 0.00 0 0
1796.62/1797.07 c rootsoldiving : 0.00 0.00 0 0
1796.62/1797.07 c linesearchdiving : 0.00 0.00 0 0
1796.62/1797.07 c guideddiving : 0.00 0.00 0 0
1796.62/1797.07 c octane : 0.00 0.00 0 0
1796.62/1797.07 c rens : 0.00 0.00 0 0
1796.62/1797.07 c rins : 0.00 0.00 0 0
1796.62/1797.07 c localbranching : 0.00 0.00 0 0
1796.62/1797.07 c mutation : 0.00 0.00 0 0
1796.62/1797.07 c crossover : 0.00 0.00 0 0
1796.62/1797.07 c dins : 0.00 0.00 0 0
1796.62/1797.07 c vbounds : 0.00 0.00 0 0
1796.62/1797.07 c undercover : 20.43 0.00 1 0
1796.62/1797.07 c subnlp : 0.00 0.00 0 0
1796.62/1797.07 c trysol : 0.00 0.00 0 0
1796.62/1797.07 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.62/1797.07 c primal LP : 0.00 0 0 0.00 - 0.00 0
1796.62/1797.07 c dual LP : 191.83 7 73264 12210.67 381.91 0.06 1
1796.62/1797.07 c lex dual LP : 0.00 0 0 0.00 -
1796.62/1797.07 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.62/1797.07 c diving/probing LP: 67.35 3 19011 6337.00 282.28
1796.62/1797.07 c strong branching : 0.00 0 0 0.00 -
1796.62/1797.07 c (at root node) : - 0 0 0.00 -
1796.62/1797.07 c conflict analysis: 0.00 0 0 0.00 -
1796.62/1797.07 c B&B Tree :
1796.62/1797.07 c number of runs : 1
1796.62/1797.07 c nodes : 1
1796.62/1797.07 c nodes (total) : 1
1796.62/1797.07 c nodes left : 2
1796.62/1797.07 c max depth : 0
1796.62/1797.07 c max depth (total): 0
1796.62/1797.07 c backtracks : 0 (0.0%)
1796.62/1797.07 c delayed cutoffs : 0
1796.62/1797.07 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.62/1797.07 c avg switch length: 1.00
1796.62/1797.07 c switching time : 0.00
1796.62/1797.07 c Solution :
1796.62/1797.07 c Solutions found : 0 (0 improvements)
1796.62/1797.07 c Primal Bound : -
1796.62/1797.07 c Dual Bound : +0.00000000000000e+00
1796.62/1797.07 c Gap : infinite
1796.62/1797.07 c Root Dual Bound : +0.00000000000000e+00
1796.62/1797.07 c Root Iterations : 92275
1798.03/1798.48 c Time complete: 1798.1.