0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692749-1277900794.wbo>
0.02/0.03 c original problem has 3967 variables (2099 bin, 0 int, 0 impl, 1868 cont) and 4576 constraints
0.02/0.03 c problem read
0.02/0.03 c presolving settings loaded
0.02/0.05 c presolving:
0.02/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.09 c (round 2) 0 del vars, 67 del conss, 1868 chg bounds, 49 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.02/0.10 c (round 3) 49 del vars, 134 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 2006 impls, 5 clqs
0.09/0.11 c (round 4) 106 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.12 c (round 5) 114 del vars, 142 del conss, 1876 chg bounds, 67 chg sides, 0 chg coeffs, 812 upgd conss, 2006 impls, 5 clqs
0.09/0.16 c (0.1s) probing: 101/2042 (4.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.16 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.16 c presolving (6 rounds):
0.09/0.16 c 114 deleted vars, 142 deleted constraints, 1876 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.16 c 2006 implications, 5 cliques
0.09/0.16 c presolved problem has 3853 variables (2042 bin, 0 int, 0 impl, 1811 cont) and 4434 constraints
0.09/0.16 c 1811 constraints of type <indicator>
0.09/0.16 c 5 constraints of type <setppc>
0.09/0.16 c 1811 constraints of type <linear>
0.09/0.16 c 807 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.10
0.09/0.16 c - non default parameters ----------------------------------------------------------------------
0.09/0.16 c # SCIP version 1.2.1.2
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 = 1799.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 = 3420
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 # 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.09/0.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.17 c 0.1s| 1 | 0 | 8 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 92548
0.09/0.18 c y 0.1s| 1 | 0 | 18 | - | 14M| 0 | 6 |3853 |4434 |3853 | 812 | 0 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.20 c 0.1s| 1 | 0 | 63 | - | 14M| 0 | 27 |3853 |4434 |3853 | 829 | 17 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.19/0.24 c 0.2s| 1 | 0 | 152 | - | 14M| 0 | 43 |3853 |4434 |3853 | 864 | 52 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.30 c 0.2s| 1 | 0 | 184 | - | 14M| 0 | 46 |3853 |4434 |3853 | 877 | 65 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.29/0.36 c 0.3s| 1 | 0 | 193 | - | 14M| 0 | 48 |3853 |4434 |3853 | 882 | 70 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.42 c 0.3s| 1 | 0 | 215 | - | 14M| 0 | 51 |3853 |4434 |3853 | 889 | 77 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 0 | 0.000000e+00 | 9.254800e+04 | Inf
0.89/0.90 c 0.8s| 1 | 2 | 230 | - | 14M| 0 | 51 |3853 |4434 |3853 | 894 | 82 | 0 | 33 | 0.000000e+00 | 9.254800e+04 | Inf
26.19/26.28 c 25.3s| 10000 | 9999 | 54820 | 5.5 | 37M| 147 | 0 |3853 |4435 |3853 | 945 |6005 | 1 |1401 | 0.000000e+00 | 9.254800e+04 | Inf
43.90/43.91 c 42.3s| 20000 | 19995 | 90009 | 4.5 | 55M| 147 | 0 |3853 |4439 |3853 | 945 | 10k| 5 |1430 | 0.000000e+00 | 9.254800e+04 | Inf
61.69/61.79 c 59.6s| 30000 | 29991 |127333 | 4.2 | 73M| 147 | 0 |3853 |4445 |3853 | 940 | 15k| 14 |1509 | 0.000000e+00 | 9.254800e+04 | Inf
80.49/80.51 c 77.6s| 40000 | 39983 |168828 | 4.2 | 90M| 147 | 0 |3853 |4441 |3853 | 940 | 19k| 18 |1664 | 0.000000e+00 | 9.254800e+04 | Inf
98.80/98.80 c 95.3s| 50000 | 49975 |208497 | 4.2 | 108M| 147 | 0 |3853 |4452 |3853 | 937 | 24k| 31 |1783 | 0.000000e+00 | 9.254800e+04 | Inf
116.50/116.57 c 112s| 60000 | 59973 |240333 | 4.0 | 126M| 147 | 0 |3853 |4442 |3853 | 939 | 28k| 37 |1999 | 0.000000e+00 | 9.254800e+04 | Inf
133.29/133.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.29/133.31 c 129s| 70000 | 69973 |264726 | 3.8 | 143M| 151 | 0 |3853 |4438 |3853 | 921 | 31k| 37 |2159 | 0.000000e+00 | 9.254800e+04 | Inf
150.78/150.86 c 146s| 80000 | 79971 |295477 | 3.7 | 161M| 151 | 0 |3853 |4437 |3853 | 945 | 35k| 38 |2387 | 0.000000e+00 | 9.254800e+04 | Inf
166.29/166.34 c 161s| 90000 | 89971 |310254 | 3.4 | 178M| 151 | 0 |3853 |4437 |3853 | 931 | 38k| 38 |2420 | 0.000000e+00 | 9.254800e+04 | Inf
181.49/181.56 c 175s|100000 | 99971 |322239 | 3.2 | 195M| 151 | 0 |3853 |4437 |3853 | 944 | 40k| 38 |2509 | 0.000000e+00 | 9.254800e+04 | Inf
196.69/196.74 c 190s|110000 |109969 |334410 | 3.0 | 213M| 151 | 0 |3853 |4437 |3853 | 943 | 42k| 39 |2574 | 0.000000e+00 | 9.254800e+04 | Inf
211.69/211.78 c 205s|120000 |119969 |345191 | 2.9 | 230M| 151 | 0 |3853 |4437 |3853 | 943 | 45k| 39 |2663 | 0.000000e+00 | 9.254800e+04 | Inf
226.29/226.38 c 219s|130000 |129965 |355938 | 2.7 | 248M| 265 | 0 |3853 |4447 |3853 | 955 | 47k| 49 |2687 | 0.000000e+00 | 9.254800e+04 | Inf
239.89/239.90 c 232s|140000 |139961 |360913 | 2.6 | 265M| 265 | 0 |3853 |4453 |3853 | 934 | 48k| 59 |2739 | 0.000000e+00 | 9.254800e+04 | Inf
253.79/253.81 c 245s|150000 |149953 |367949 | 2.5 | 282M| 265 | 0 |3853 |4456 |3853 | 942 | 50k| 70 |2813 | 0.000000e+00 | 9.254800e+04 | Inf
265.89/265.96 o 729
265.89/265.96 c * 257s|158732 |144983 |375674 | 2.4 | 275M| 265 | - |3853 |4457 |3853 | 911 | 51k| 82 |2833 | 0.000000e+00 | 7.290000e+02 | Inf
268.09/268.13 c 259s|160000 |146249 |378316 | 2.4 | 278M| 265 | 0 |3853 |4459 |3853 | 943 | 51k| 85 |2834 | 0.000000e+00 | 7.290000e+02 | Inf
278.49/278.53 o 723
278.49/278.53 c * 269s|164787 |150374 |404479 | 2.5 | 286M| 265 | - |3853 |4783 |3853 | 917 | 55k| 503 |2947 | 0.000000e+00 | 7.230000e+02 | Inf
287.69/287.76 o 718
287.69/287.76 c * 278s|169527 |154636 |418578 | 2.5 | 295M| 265 | - |3853 |4880 |3853 | 942 | 58k| 777 |3009 | 0.000000e+00 | 7.180000e+02 | Inf
288.79/288.85 c 279s|170000 |155090 |421150 | 2.5 | 296M| 265 | 0 |3853 |4911 |3853 | 927 | 58k| 852 |3018 | 0.000000e+00 | 7.180000e+02 | Inf
290.99/291.09 o 716
290.99/291.09 c * 281s|171014 |155892 |425995 | 2.5 | 298M| 265 | - |3853 |4941 |3853 | 947 | 59k| 997 |3041 | 0.000000e+00 | 7.160000e+02 | Inf
304.29/304.35 o 709
304.29/304.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.29/304.35 c * 294s|178112 |162251 |442670 | 2.5 | 312M| 265 | - |3853 |5022 |3853 | 925 | 64k|1485 |3089 | 0.000000e+00 | 7.090000e+02 | Inf
307.69/307.76 c 298s|180000 |164108 |445580 | 2.5 | 316M| 265 | 0 |3853 |4983 |3853 | 945 | 64k|1556 |3107 | 0.000000e+00 | 7.090000e+02 | Inf
307.69/307.79 o 700
307.69/307.79 c * 298s|180012 |163378 |445581 | 2.5 | 315M| 265 | - |3853 |4986 |3853 | 945 | 64k|1562 |3107 | 0.000000e+00 | 7.000000e+02 | Inf
314.49/314.60 o 696
314.49/314.60 c * 304s|183490 |166338 |455873 | 2.5 | 321M| 265 | - |3853 |5147 |3853 | 923 | 66k|1946 |3128 | 0.000000e+00 | 6.960000e+02 | Inf
314.69/314.74 o 636
314.69/314.74 c * 304s|183537 |160610 |456313 | 2.5 | 308M| 265 | - |3853 |5159 |3853 | 924 | 66k|1970 |3128 | 0.000000e+00 | 6.360000e+02 | Inf
314.89/314.94 o 627
314.89/314.94 c * 305s|183632 |159755 |456736 | 2.5 | 306M| 265 | - |3853 |5223 |3853 | 921 | 66k|2046 |3128 | 0.000000e+00 | 6.270000e+02 | Inf
326.70/326.71 o 595
326.70/326.71 c * 316s|189564 |161421 |475259 | 2.5 | 311M| 265 | - |3853 |5329 |3853 | 926 | 70k|2800 |3197 | 0.000000e+00 | 5.950000e+02 | Inf
327.59/327.60 c 317s|190000 |161815 |476430 | 2.5 | 312M| 265 | 0 |3853 |5371 |3853 | 933 | 70k|2917 |3199 | 0.000000e+00 | 5.950000e+02 | Inf
328.69/328.75 o 584
328.69/328.75 c * 318s|190562 |160901 |478722 | 2.5 | 310M| 265 | - |3853 |5331 |3853 | 938 | 71k|2949 |3202 | 0.000000e+00 | 5.840000e+02 | Inf
343.39/343.43 o 575
343.39/343.43 c * 332s|197571 |166240 |510270 | 2.6 | 322M| 265 | - |3853 |5304 |3853 | 934 | 75k|3755 |3269 | 0.000000e+00 | 5.750000e+02 | Inf
343.79/343.89 o 573
343.79/343.89 c * 333s|197783 |166106 |510907 | 2.6 | 322M| 265 | - |3853 |5311 |3853 | 955 | 75k|3811 |3269 | 0.000000e+00 | 5.730000e+02 | Inf
346.09/346.12 o 566
346.09/346.12 c * 335s|198964 |166137 |513871 | 2.6 | 323M| 265 | - |3853 |5299 |3853 | 931 | 76k|3950 |3292 | 0.000000e+00 | 5.660000e+02 | Inf
346.89/346.91 o 563
346.89/346.91 c * 336s|199340 |166011 |514772 | 2.6 | 323M| 265 | - |3853 |5355 |3853 | 939 | 76k|4047 |3294 | 0.000000e+00 | 5.630000e+02 | Inf
348.29/348.34 c 337s|200000 |166624 |517306 | 2.6 | 324M| 265 | 0 |3853 |5366 |3853 | 935 | 77k|4145 |3318 | 0.000000e+00 | 5.630000e+02 | Inf
355.89/355.98 o 561
355.89/355.98 c * 344s|203735 |169707 |527102 | 2.6 | 335M| 265 | - |3853 |5587 |3853 | 938 | 79k|4986 |3343 | 0.000000e+00 | 5.610000e+02 | Inf
362.39/362.40 o 552
362.39/362.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.39/362.40 c * 351s|206656 |170904 |541132 | 2.6 | 338M| 265 | - |3853 |5357 |3853 | 913 | 81k|5384 |3367 | 0.000000e+00 | 5.520000e+02 | Inf
370.09/370.11 c 358s|210000 |174042 |561642 | 2.7 | 345M| 265 | 0 |3853 |5321 |3853 | 927 | 84k|5846 |3404 | 0.000000e+00 | 5.520000e+02 | Inf
378.30/378.32 o 549
378.30/378.32 c * 366s|213851 |177224 |579298 | 2.7 | 351M| 265 | - |3853 |5162 |3853 | 930 | 87k|6131 |3459 | 0.000000e+00 | 5.490000e+02 | Inf
378.30/378.33 o 543
378.30/378.33 c * 366s|213852 |176188 |579298 | 2.7 | 349M| 265 | - |3853 |5162 |3853 | 930 | 87k|6131 |3459 | 0.000000e+00 | 5.430000e+02 | Inf
379.29/379.30 o 512
379.29/379.30 c * 367s|214340 |170804 |580493 | 2.7 | 335M| 265 | - |3853 |5149 |3853 | 920 | 87k|6155 |3466 | 0.000000e+00 | 5.120000e+02 | Inf
380.00/380.05 o 510
380.00/380.05 c * 368s|214754 |170768 |581188 | 2.7 | 335M| 265 | - |3853 |5180 |3853 | 941 | 87k|6239 |3468 | 0.000000e+00 | 5.100000e+02 | Inf
381.69/381.74 o 506
381.69/381.74 c * 369s|215613 |170718 |583140 | 2.7 | 335M| 265 | - |3853 |5240 |3853 | 938 | 88k|6389 |3472 | 0.000000e+00 | 5.060000e+02 | Inf
386.00/386.01 o 505
386.00/386.01 c * 373s|217632 |172310 |589572 | 2.7 | 339M| 265 | - |3853 |5382 |3853 | 931 | 89k|6852 |3489 | 0.000000e+00 | 5.050000e+02 | Inf
386.39/386.49 o 502
386.39/386.49 c * 374s|217845 |171896 |589889 | 2.7 | 339M| 265 | - |3853 |5406 |3853 | 934 | 89k|6896 |3489 | 0.000000e+00 | 5.020000e+02 | Inf
386.49/386.57 o 501
386.49/386.57 c * 374s|217880 |171724 |589942 | 2.7 | 339M| 265 | - |3853 |5404 |3853 | 933 | 89k|6896 |3489 | 0.000000e+00 | 5.010000e+02 | Inf
387.59/387.67 o 496
387.59/387.67 c * 375s|218404 |171119 |591108 | 2.7 | 338M| 265 | - |3853 |5408 |3853 | 937 | 89k|6945 |3512 | 0.000000e+00 | 4.960000e+02 | Inf
387.99/388.04 o 492
387.99/388.04 c * 375s|218569 |170414 |591647 | 2.7 | 336M| 265 | - |3853 |5405 |3853 | 938 | 89k|6996 |3518 | 0.000000e+00 | 4.920000e+02 | Inf
390.09/390.19 o 487
390.09/390.19 c * 377s|219489 |170093 |596856 | 2.7 | 335M| 265 | - |3853 |5408 |3853 | 929 | 90k|7182 |3532 | 0.000000e+00 | 4.870000e+02 | Inf
391.39/391.40 c 379s|220000 |170565 |600071 | 2.7 | 336M| 265 | 0 |3853 |5418 |3853 | 919 | 90k|7263 |3536 | 0.000000e+00 | 4.870000e+02 | Inf
394.19/394.23 o 484
394.19/394.23 c * 381s|221253 |171011 |606836 | 2.7 | 337M| 265 | - |3853 |5459 |3853 | 954 | 91k|7501 |3543 | 0.000000e+00 | 4.840000e+02 | Inf
394.59/394.67 o 482
394.59/394.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
394.59/394.67 c * 382s|221398 |170634 |608527 | 2.7 | 336M| 265 | - |3853 |5505 |3853 | 942 | 91k|7590 |3543 | 0.000000e+00 | 4.820000e+02 | Inf
394.59/394.68 o 481
394.59/394.68 c * 382s|221399 |170411 |608528 | 2.7 | 336M| 265 | - |3853 |5505 |3853 | 942 | 91k|7590 |3543 | 0.000000e+00 | 4.810000e+02 | Inf
394.89/394.98 o 480
394.89/394.98 c * 382s|221489 |170237 |609825 | 2.8 | 336M| 265 | - |3853 |5509 |3853 | 924 | 92k|7612 |3543 | 0.000000e+00 | 4.800000e+02 | Inf
395.00/395.09 o 469
395.00/395.09 c * 382s|221531 |167660 |609911 | 2.8 | 330M| 265 | - |3853 |5501 |3853 | 942 | 92k|7616 |3543 | 0.000000e+00 | 4.690000e+02 | Inf
395.09/395.17 o 464
395.09/395.17 c * 382s|221554 |166515 |610114 | 2.8 | 328M| 265 | - |3853 |5496 |3853 | 937 | 92k|7624 |3543 | 0.000000e+00 | 4.640000e+02 | Inf
396.09/396.17 o 461
396.09/396.17 c * 383s|221874 |166012 |614093 | 2.8 | 327M| 265 | - |3853 |5588 |3853 | 924 | 92k|7789 |3544 | 0.000000e+00 | 4.610000e+02 | Inf
396.79/396.89 o 458
396.79/396.89 c * 384s|222108 |165547 |616388 | 2.8 | 326M| 265 | - |3853 |5693 |3853 | 944 | 92k|7966 |3559 | 0.000000e+00 | 4.580000e+02 | Inf
400.09/400.16 o 455
400.09/400.16 c * 387s|223179 |165545 |627814 | 2.8 | 328M| 265 | - |3853 |6073 |3853 | 932 | 94k|8721 |3573 | 0.000000e+00 | 4.550000e+02 | Inf
416.49/416.53 c 403s|230000 |171904 |673092 | 2.9 | 343M| 265 | 0 |3853 |5782 |3853 | 911 | 99k|9722 |3715 | 0.000000e+00 | 4.550000e+02 | Inf
423.99/424.01 o 453
423.99/424.01 c * 410s|233101 |173915 |691573 | 3.0 | 348M| 265 | - |3853 |5948 |3853 | 912 | 101k| 10k|3798 | 0.000000e+00 | 4.530000e+02 | Inf
424.50/424.57 o 447
424.50/424.57 c * 411s|233334 |172464 |692319 | 3.0 | 346M| 265 | - |3853 |6126 |3853 | 927 | 102k| 11k|3799 | 0.000000e+00 | 4.470000e+02 | Inf
424.89/424.99 o 446
424.89/424.99 c * 411s|233509 |172335 |693009 | 3.0 | 346M| 265 | - |3853 |6182 |3853 | 920 | 102k| 11k|3799 | 0.000000e+00 | 4.460000e+02 | Inf
426.80/426.88 o 427
426.80/426.88 c * 413s|234376 |168034 |696463 | 3.0 | 337M| 265 | - |3853 |6395 |3853 | 922 | 102k| 12k|3801 | 0.000000e+00 | 4.270000e+02 | Inf
426.90/426.90 o 422
426.90/426.90 c * 413s|234379 |166697 |696503 | 3.0 | 334M| 265 | - |3853 |6384 |3853 | 916 | 102k| 12k|3801 | 0.000000e+00 | 4.220000e+02 | Inf
433.49/433.54 o 416
433.49/433.54 c * 419s|237311 |167671 |712702 | 3.0 | 336M| 265 | - |3853 |6023 |3853 | 933 | 105k| 12k|3831 | 0.000000e+00 | 4.160000e+02 | Inf
436.49/436.57 o 409
436.49/436.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.49/436.57 c * 422s|238478 |166568 |721095 | 3.0 | 336M| 265 | - |3853 |6175 |3853 | 937 | 106k| 13k|3842 | 0.000000e+00 | 4.090000e+02 | Inf
437.19/437.27 o 408
437.19/437.27 c * 423s|238811 |166588 |721966 | 3.0 | 336M| 265 | - |3853 |6130 |3853 | 926 | 106k| 13k|3842 | 0.000000e+00 | 4.080000e+02 | Inf
438.29/438.30 o 407
438.29/438.30 c * 424s|239263 |166639 |724381 | 3.0 | 336M| 265 | - |3853 |5981 |3853 | 942 | 106k| 13k|3842 | 0.000000e+00 | 4.070000e+02 | Inf
438.29/438.33 o 405
438.29/438.33 c * 424s|239273 |166030 |724395 | 3.0 | 335M| 265 | - |3853 |5978 |3853 | 943 | 106k| 13k|3842 | 0.000000e+00 | 4.050000e+02 | Inf
440.00/440.09 c 426s|240000 |166651 |728551 | 3.0 | 337M| 265 | 6 |3853 |5938 |3853 | 950 | 107k| 13k|3851 | 0.000000e+00 | 4.050000e+02 | Inf
440.60/440.62 o 401
440.60/440.62 c * 426s|240195 |165650 |730174 | 3.0 | 335M| 265 | - |3853 |5879 |3853 | 911 | 107k| 13k|3858 | 0.000000e+00 | 4.010000e+02 | Inf
445.10/445.11 o 397
445.10/445.11 c * 431s|241987 |165890 |743597 | 3.1 | 336M| 265 | - |3853 |5801 |3853 | 916 | 109k| 14k|3905 | 0.000000e+00 | 3.970000e+02 | Inf
445.19/445.24 o 384
445.19/445.24 c * 431s|242032 |162017 |743929 | 3.1 | 328M| 265 | - |3853 |5797 |3853 | 917 | 109k| 14k|3905 | 0.000000e+00 | 3.840000e+02 | Inf
445.39/445.46 o 381
445.39/445.46 c * 431s|242115 |161170 |744240 | 3.1 | 327M| 265 | - |3853 |5788 |3853 | 905 | 109k| 14k|3905 | 0.000000e+00 | 3.810000e+02 | Inf
445.60/445.69 o 377
445.60/445.69 c * 431s|242204 |159995 |744728 | 3.1 | 325M| 265 | - |3853 |5781 |3853 | 921 | 109k| 14k|3905 | 0.000000e+00 | 3.770000e+02 | Inf
450.19/450.22 o 376
450.19/450.22 c * 436s|243771 |160866 |760286 | 3.1 | 328M| 265 | - |3853 |6024 |3853 | 945 | 110k| 15k|3916 | 0.000000e+00 | 3.760000e+02 | Inf
455.30/455.37 o 373
455.30/455.37 c * 440s|245831 |161787 |773187 | 3.1 | 331M| 265 | - |3853 |5885 |3853 | 944 | 112k| 15k|3960 | 0.000000e+00 | 3.730000e+02 | Inf
455.80/455.80 o 370
455.80/455.80 c * 441s|246003 |160973 |774043 | 3.1 | 329M| 265 | - |3853 |5895 |3853 | 944 | 112k| 15k|3960 | 0.000000e+00 | 3.700000e+02 | Inf
457.19/457.21 o 368
457.19/457.21 c * 442s|246544 |160658 |777127 | 3.2 | 330M| 265 | - |3853 |5994 |3853 | 937 | 113k| 15k|3975 | 0.000000e+00 | 3.680000e+02 | Inf
457.29/457.34 o 367
457.29/457.34 c * 442s|246601 |160368 |777217 | 3.2 | 329M| 265 | - |3853 |5991 |3853 | 940 | 113k| 15k|3975 | 0.000000e+00 | 3.670000e+02 | Inf
461.59/461.63 o 364
461.59/461.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
461.59/461.63 c * 447s|248241 |160796 |788644 | 3.2 | 331M| 265 | - |3853 |5957 |3853 | 961 | 114k| 16k|3988 | 0.000000e+00 | 3.640000e+02 | Inf
466.69/466.72 c 451s|250000 |162200 |806914 | 3.2 | 335M| 265 | 0 |3853 |5846 |3853 | 920 | 116k| 16k|4065 | 0.000000e+00 | 3.640000e+02 | Inf
466.90/466.90 o 362
466.90/466.90 c * 452s|250055 |161482 |807454 | 3.2 | 334M| 265 | - |3853 |5839 |3853 | 940 | 116k| 16k|4065 | 0.000000e+00 | 3.620000e+02 | Inf
469.60/469.66 o 361
469.60/469.66 c * 454s|251057 |162030 |816085 | 3.2 | 337M| 265 | - |3853 |5758 |3853 | 964 | 117k| 16k|4069 | 0.000000e+00 | 3.610000e+02 | Inf
482.80/482.88 o 360
482.80/482.88 c * 467s|256325 |165841 |849847 | 3.3 | 349M| 265 | - |3853 |6096 |3853 | 934 | 122k| 19k|4128 | 0.000000e+00 | 3.600000e+02 | Inf
487.69/487.75 o 355
487.69/487.75 c * 472s|258383 |165955 |863349 | 3.3 | 349M| 265 | - |3853 |5822 |3853 | 922 | 123k| 19k|4146 | 0.000000e+00 | 3.550000e+02 | Inf
487.79/487.83 o 353
487.79/487.83 c * 472s|258408 |165214 |863554 | 3.3 | 348M| 265 | - |3853 |5823 |3853 | 913 | 123k| 19k|4146 | 0.000000e+00 | 3.530000e+02 | Inf
491.09/491.10 c 475s|260000 |166678 |868369 | 3.3 | 351M| 265 | 0 |3853 |5783 |3853 | 947 | 124k| 19k|4168 | 0.000000e+00 | 3.530000e+02 | Inf
492.70/492.79 o 348
492.70/492.79 c * 477s|260857 |165590 |871185 | 3.3 | 348M| 265 | - |3853 |5679 |3853 | 899 | 124k| 19k|4179 | 0.000000e+00 | 3.480000e+02 | Inf
492.70/492.80 o 338
492.70/492.80 c * 477s|260858 |161702 |871185 | 3.3 | 339M| 265 | - |3853 |5679 |3853 | 899 | 124k| 19k|4179 | 0.000000e+00 | 3.380000e+02 | Inf
493.39/493.48 o 332
493.39/493.48 c * 477s|261107 |159551 |873290 | 3.3 | 334M| 265 | - |3853 |5692 |3853 | 917 | 124k| 19k|4180 | 0.000000e+00 | 3.320000e+02 | Inf
493.90/493.90 o 331
493.90/493.90 c * 478s|261262 |159308 |874651 | 3.3 | 334M| 265 | - |3853 |5745 |3853 | 938 | 124k| 20k|4180 | 0.000000e+00 | 3.310000e+02 | Inf
494.29/494.30 o 329
494.29/494.30 c * 478s|261369 |158502 |876109 | 3.4 | 333M| 265 | - |3853 |5771 |3853 | 928 | 124k| 20k|4180 | 0.000000e+00 | 3.290000e+02 | Inf
495.80/495.80 o 321
495.80/495.80 c * 480s|261900 |155653 |880258 | 3.4 | 328M| 265 | - |3853 |5800 |3853 | 934 | 125k| 20k|4187 | 0.000000e+00 | 3.210000e+02 | Inf
497.20/497.23 o 318
497.20/497.23 c * 481s|262491 |154787 |882761 | 3.4 | 327M| 265 | - |3853 |5969 |3853 | 937 | 125k| 20k|4188 | 0.000000e+00 | 3.180000e+02 | Inf
497.50/497.51 o 317
497.50/497.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.50/497.51 c * 481s|262627 |154470 |883161 | 3.4 | 326M| 265 | - |3853 |6013 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.170000e+02 | Inf
497.50/497.52 o 314
497.50/497.52 c * 481s|262628 |153191 |883161 | 3.4 | 323M| 265 | - |3853 |6013 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.140000e+02 | Inf
498.09/498.20 o 312
498.09/498.20 c * 482s|262924 |152586 |883916 | 3.4 | 322M| 265 | - |3853 |6071 |3853 | 934 | 126k| 20k|4188 | 0.000000e+00 | 3.120000e+02 | Inf
498.70/498.78 o 310
498.70/498.78 c * 482s|263163 |151809 |884905 | 3.4 | 320M| 265 | - |3853 |6137 |3853 | 943 | 126k| 20k|4188 | 0.000000e+00 | 3.100000e+02 | Inf
500.79/500.82 o 304
500.79/500.82 c * 484s|263979 |149835 |889684 | 3.4 | 318M| 265 | - |3853 |6163 |3853 | 929 | 127k| 21k|4189 | 0.000000e+00 | 3.040000e+02 | Inf
501.19/501.25 o 297
501.19/501.25 c * 485s|264104 |146834 |891114 | 3.4 | 311M| 265 | - |3853 |6179 |3853 | 931 | 127k| 21k|4189 | 0.000000e+00 | 2.970000e+02 | Inf
502.90/502.97 o 295
502.90/502.97 c * 486s|264821 |146456 |894246 | 3.4 | 312M| 265 | - |3853 |6088 |3853 | 939 | 127k| 21k|4203 | 0.000000e+00 | 2.950000e+02 | Inf
503.60/503.68 o 276
503.60/503.68 c * 487s|265044 |137665 |896313 | 3.4 | 293M| 265 | - |3853 |5977 |3853 | 912 | 127k| 21k|4215 | 0.000000e+00 | 2.760000e+02 | Inf
503.60/503.69 o 273
503.60/503.69 c * 487s|265045 |136253 |896313 | 3.4 | 290M| 265 | - |3853 |5977 |3853 | 912 | 127k| 21k|4215 | 0.000000e+00 | 2.730000e+02 | Inf
503.70/503.76 o 272
503.70/503.76 c * 487s|265073 |135715 |896420 | 3.4 | 288M| 265 | - |3853 |5968 |3853 | 936 | 127k| 21k|4215 | 0.000000e+00 | 2.720000e+02 | Inf
505.69/505.74 o 265
505.69/505.74 c * 489s|265825 |132681 |902035 | 3.4 | 283M| 265 | - |3853 |5925 |3853 | 938 | 128k| 22k|4232 | 0.000000e+00 | 2.650000e+02 | Inf
505.69/505.75 o 262
505.69/505.75 c * 489s|265826 |131130 |902035 | 3.4 | 279M| 265 | - |3853 |5925 |3853 | 938 | 128k| 22k|4232 | 0.000000e+00 | 2.620000e+02 | Inf
506.70/506.71 o 247
506.70/506.71 c * 490s|266172 |123130 |904340 | 3.4 | 263M| 265 | - |3853 |5926 |3853 | 936 | 129k| 22k|4236 | 0.000000e+00 | 2.470000e+02 | Inf
507.90/507.97 o 239
507.90/507.97 c * 491s|266662 |119207 |907235 | 3.4 | 256M| 265 | - |3853 |6085 |3853 | 932 | 129k| 22k|4240 | 0.000000e+00 | 2.390000e+02 | Inf
509.20/509.21 o 227
509.20/509.21 c * 492s|267100 |112818 |910587 | 3.4 | 244M| 265 | - |3853 |6120 |3853 | 937 | 129k| 22k|4241 | 0.000000e+00 | 2.270000e+02 | Inf
513.20/513.20 o 216
513.20/513.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
513.20/513.20 c * 496s|268512 |107210 |922052 | 3.4 | 236M| 265 | - |3853 |6529 |3853 | 920 | 131k| 24k|4248 | 0.000000e+00 | 2.160000e+02 | Inf
513.39/513.48 o 213
513.39/513.48 c * 497s|268597 |105605 |922788 | 3.4 | 233M| 265 | - |3853 |6536 |3853 | 933 | 131k| 24k|4249 | 0.000000e+00 | 2.130000e+02 | Inf
513.39/513.49 o 209
513.39/513.49 c * 497s|268598 |103495 |922788 | 3.4 | 229M| 265 | - |3853 |6536 |3853 | 933 | 131k| 24k|4249 | 0.000000e+00 | 2.090000e+02 | Inf
513.50/513.55 o 208
513.50/513.55 c * 497s|268614 |102887 |922907 | 3.4 | 228M| 265 | - |3853 |6536 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 2.080000e+02 | Inf
513.60/513.62 o 205
513.60/513.62 c * 497s|268634 |101190 |922999 | 3.4 | 225M| 265 | - |3853 |6531 |3853 | 927 | 131k| 24k|4249 | 0.000000e+00 | 2.050000e+02 | Inf
513.80/513.83 o 203
513.80/513.83 c * 497s|268710 |100142 |923320 | 3.4 | 223M| 265 | - |3853 |6530 |3853 | 936 | 131k| 24k|4249 | 0.000000e+00 | 2.030000e+02 | Inf
513.80/513.86 o 193
513.80/513.86 c * 497s|268720 | 94455 |923323 | 3.4 | 213M| 265 | - |3853 |6530 |3853 | 936 | 131k| 24k|4249 | 0.000000e+00 | 1.930000e+02 | Inf
514.10/514.19 o 185
514.10/514.19 c * 497s|268832 | 89908 |923871 | 3.4 | 205M| 265 | - |3853 |6521 |3853 | 931 | 131k| 24k|4249 | 0.000000e+00 | 1.850000e+02 | Inf
514.10/514.19 o 182
514.10/514.19 c * 497s|268833 | 88321 |923871 | 3.4 | 202M| 265 | - |3853 |6521 |3853 | 931 | 131k| 24k|4249 | 0.000000e+00 | 1.820000e+02 | Inf
514.20/514.26 o 180
514.20/514.26 c * 497s|268854 | 87199 |924021 | 3.4 | 200M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.800000e+02 | Inf
514.20/514.29 o 171
514.20/514.29 c * 497s|268858 | 81926 |924021 | 3.4 | 189M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.710000e+02 | Inf
514.29/514.30 o 161
514.29/514.30 c * 497s|268859 | 76193 |924021 | 3.4 | 178M| 265 | - |3853 |6523 |3853 | 926 | 131k| 24k|4249 | 0.000000e+00 | 1.610000e+02 | Inf
514.59/514.64 o 160
514.59/514.64 c * 498s|268947 | 75701 |924822 | 3.4 | 178M| 265 | - |3853 |6524 |3853 | 934 | 132k| 24k|4249 | 0.000000e+00 | 1.600000e+02 | Inf
517.00/517.03 o 157
517.00/517.03 c * 500s|269618 | 74285 |931971 | 3.5 | 177M| 265 | - |3853 |6488 |3853 | 941 | 132k| 24k|4273 | 0.000000e+00 | 1.570000e+02 | Inf
517.39/517.45 o 154
517.39/517.45 c * 500s|269754 | 72659 |933059 | 3.5 | 174M| 265 | - |3853 |6502 |3853 | 941 | 132k| 24k|4274 | 0.000000e+00 | 1.540000e+02 | Inf
518.10/518.12 o 153
518.10/518.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
518.10/518.12 c * 501s|269928 | 72200 |934964 | 3.5 | 174M| 265 | - |3853 |6541 |3853 | 942 | 132k| 24k|4282 | 0.000000e+00 | 1.530000e+02 | Inf
518.30/518.36 c 501s|270000 | 72241 |935620 | 3.5 | 174M| 265 | 0 |3853 |6497 |3853 | 933 | 133k| 24k|4286 | 0.000000e+00 | 1.530000e+02 | Inf
519.59/519.69 o 149
519.59/519.69 c * 503s|270489 | 70152 |938669 | 3.5 | 172M| 265 | - |3853 |6275 |3853 | 915 | 133k| 25k|4293 | 0.000000e+00 | 1.490000e+02 | Inf
520.00/520.00 o 146
520.00/520.00 c * 503s|270594 | 68366 |939286 | 3.5 | 168M| 265 | - |3853 |6256 |3853 | 914 | 133k| 25k|4293 | 0.000000e+00 | 1.460000e+02 | Inf
520.00/520.04 o 143
520.00/520.04 c * 503s|270609 | 66865 |939294 | 3.5 | 165M| 265 | - |3853 |6256 |3853 | 914 | 133k| 25k|4293 | 0.000000e+00 | 1.430000e+02 | Inf
520.10/520.12 o 132
520.10/520.12 c * 503s|270644 | 60766 |939321 | 3.5 | 152M| 265 | - |3853 |6248 |3853 | 907 | 133k| 25k|4293 | 0.000000e+00 | 1.320000e+02 | Inf
520.70/520.73 o 130
520.70/520.73 c * 504s|270850 | 59928 |940472 | 3.5 | 151M| 265 | - |3853 |6227 |3853 | 932 | 133k| 25k|4297 | 0.000000e+00 | 1.300000e+02 | Inf
521.10/521.17 o 127
521.10/521.17 c * 504s|271044 | 58581 |941016 | 3.5 | 149M| 265 | - |3853 |6259 |3853 | 946 | 133k| 25k|4297 | 0.000000e+00 | 1.270000e+02 | Inf
521.30/521.30 o 116
521.30/521.30 c * 504s|271076 | 53325 |941378 | 3.5 | 138M| 265 | - |3853 |6254 |3853 | 927 | 133k| 25k|4297 | 0.000000e+00 | 1.160000e+02 | Inf
522.00/522.02 o 113
522.00/522.02 c * 505s|271377 | 52167 |942805 | 3.5 | 136M| 265 | - |3853 |6212 |3853 | 927 | 133k| 25k|4298 | 0.000000e+00 | 1.130000e+02 | Inf
522.20/522.24 o 111
522.20/522.24 c * 505s|271439 | 51161 |943336 | 3.5 | 135M| 265 | - |3853 |6211 |3853 | 920 | 134k| 25k|4299 | 0.000000e+00 | 1.110000e+02 | Inf
522.30/522.32 o 99
522.30/522.32 c * 505s|271451 | 44328 |943573 | 3.5 | 121M| 265 | - |3853 |6199 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.900000e+01 | Inf
522.30/522.35 o 95
522.30/522.35 c * 505s|271453 | 41986 |943583 | 3.5 | 116M| 265 | - |3853 |6124 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.500000e+01 | Inf
522.30/522.36 o 92
522.30/522.36 c * 505s|271454 | 40101 |943583 | 3.5 | 112M| 265 | - |3853 |6124 |3853 | 904 | 134k| 25k|4301 | 0.000000e+00 | 9.200000e+01 | Inf
522.40/522.42 o 75
522.40/522.42 c * 505s|271458 | 31336 |943711 | 3.5 | 92M| 265 | - |3853 |5955 |3853 | 912 | 134k| 25k|4301 | 0.000000e+00 | 7.500000e+01 | Inf
522.50/522.55 o 70
522.50/522.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.50/522.55 c * 505s|271512 | 29050 |943790 | 3.5 | 87M| 265 | - |3853 |5557 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 7.000000e+01 | Inf
522.50/522.57 o 51
522.50/522.57 c * 505s|271513 | 21701 |943790 | 3.5 | 71M| 265 | - |3853 |5557 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 5.100000e+01 | Inf
522.60/522.63 o 47
522.60/522.63 c * 505s|271535 | 20812 |943810 | 3.5 | 69M| 265 | - |3853 |5013 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 4.700000e+01 | Inf
522.60/522.65 o 28
522.60/522.65 c * 505s|271536 | 15913 |943810 | 3.5 | 60M| 265 | - |3853 |5013 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 2.800000e+01 | Inf
522.79/522.84 o 23
522.79/522.84 c * 506s|271624 | 14138 |944028 | 3.5 | 57M| 265 | - |3853 |4439 |3853 | 927 | 134k| 25k|4301 | 0.000000e+00 | 2.300000e+01 | Inf
522.90/523.00 o 21
522.90/523.00 c * 506s|271692 | 13604 |944303 | 3.5 | 55M| 265 | - |3853 |4170 |3853 | 924 | 134k| 25k|4301 | 0.000000e+00 | 2.100000e+01 | Inf
522.99/523.09 o 20
522.99/523.09 c * 506s|271713 | 13412 |944622 | 3.5 | 55M| 265 | - |3853 |4054 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 2.000000e+01 | Inf
523.10/523.11 o 14
523.10/523.11 c * 506s|271714 | 11585 |944625 | 3.5 | 51M| 265 | - |3853 |4054 |3853 | 918 | 134k| 25k|4301 | 0.000000e+00 | 1.400000e+01 | Inf
523.10/523.15 o 9
523.10/523.15 c * 506s|271716 | 3390 |944719 | 3.5 | 32M| 265 | - |3853 |3894 |3853 | 922 | 134k| 25k|4301 | 0.000000e+00 | 9.000000e+00 | Inf
527.29/527.32 o 8
527.29/527.32 c * 510s|273835 | 2129 |959306 | 3.5 | 31M| 265 | - |3853 |5012 |3853 | 906 | 134k| 28k|4302 | 0.000000e+00 | 8.000000e+00 | Inf
538.29/538.30 c 520s|280000 | 2082 |991421 | 3.5 | 33M| 265 | - |3853 |7668 | 0 | 0 | 137k| 36k|4357 | 0.000000e+00 | 8.000000e+00 | Inf
557.49/557.51 c 539s|290000 | 2128 | 1048k| 3.6 | 35M| 265 | 4 |3853 |7685 |3853 | 901 | 144k| 50k|4427 | 0.000000e+00 | 8.000000e+00 | Inf
575.30/575.33 c 556s|300000 | 2180 | 1097k| 3.7 | 37M| 265 | - |3853 |9674 | 0 | 0 | 148k| 64k|4519 | 0.000000e+00 | 8.000000e+00 | Inf
585.10/585.17 o 4
585.10/585.17 c * 565s|305519 | 2002 | 1122k| 3.7 | 36M| 265 | - |3853 | 11k|3853 | 910 | 150k| 72k|4561 | 0.000000e+00 | 4.000000e+00 | Inf
592.90/592.99 c 572s|310000 | 1985 | 1143k| 3.7 | 36M| 265 | - |3853 | 11k| 0 | 0 | 152k| 78k|4564 | 0.000000e+00 | 4.000000e+00 | Inf
610.90/610.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
610.90/610.98 c 590s|320000 | 2053 | 1191k| 3.7 | 39M| 265 | 22 |3853 | 15k|3853 | 900 | 158k| 92k|4640 | 0.000000e+00 | 4.000000e+00 | Inf
628.99/629.03 c 607s|330000 | 2032 | 1235k| 3.7 | 38M| 265 | 23 |3853 | 14k|3853 | 899 | 162k| 106k|4693 | 0.000000e+00 | 4.000000e+00 | Inf
647.59/647.69 c 625s|340000 | 1841 | 1284k| 3.8 | 37M| 265 | - |3853 | 13k| 0 | 0 | 167k| 120k|4790 | 0.000000e+00 | 4.000000e+00 | Inf
666.90/666.98 c 643s|350000 | 1893 | 1328k| 3.8 | 39M| 265 | - |3853 | 17k| 0 | 0 | 171k| 133k|4887 | 0.000000e+00 | 4.000000e+00 | Inf
688.30/688.36 c 664s|360000 | 1942 | 1385k| 3.8 | 39M| 265 | 1 |3853 | 14k|3853 | 902 | 178k| 147k|4954 | 0.000000e+00 | 4.000000e+00 | Inf
709.60/709.66 c 684s|370000 | 1940 | 1442k| 3.9 | 40M| 265 | - |3853 | 17k| 0 | 0 | 185k| 161k|5036 | 0.000000e+00 | 4.000000e+00 | Inf
729.81/729.81 c 704s|380000 | 1915 | 1488k| 3.9 | 40M| 265 | 22 |3853 | 16k|3853 | 891 | 189k| 175k|5086 | 0.000000e+00 | 4.000000e+00 | Inf
750.70/750.71 c 724s|390000 | 1915 | 1541k| 4.0 | 41M| 265 | 17 |3853 | 19k|3853 | 907 | 195k| 189k|5172 | 0.000000e+00 | 4.000000e+00 | Inf
773.10/773.10 c 745s|400000 | 1937 | 1595k| 4.0 | 41M| 265 | - |3853 | 18k| 0 | 0 | 200k| 203k|5255 | 0.000000e+00 | 4.000000e+00 | Inf
794.50/794.53 c 766s|410000 | 1958 | 1645k| 4.0 | 42M| 265 | - |3853 | 18k| 0 | 0 | 206k| 217k|5323 | 0.000000e+00 | 4.000000e+00 | Inf
815.70/815.78 c 786s|420000 | 1991 | 1693k| 4.0 | 43M| 265 | 1 |3853 | 18k|3853 | 899 | 209k| 231k|5409 | 0.000000e+00 | 4.000000e+00 | Inf
835.40/835.44 c 805s|430000 | 1996 | 1732k| 4.0 | 44M| 265 | - |3853 | 21k| 0 | 0 | 212k| 244k|5458 | 0.000000e+00 | 4.000000e+00 | Inf
856.61/856.65 c 826s|440000 | 2019 | 1774k| 4.0 | 45M| 265 | 15 |3853 | 22k|3853 | 905 | 215k| 258k|5518 | 0.000000e+00 | 4.000000e+00 | Inf
878.50/878.53 c 847s|450000 | 2267 | 1823k| 4.1 | 46M| 265 | 9 |3853 | 21k|3853 | 902 | 220k| 271k|5567 | 0.000000e+00 | 4.000000e+00 | Inf
900.11/900.13 c 867s|460000 | 2436 | 1872k| 4.1 | 48M| 265 | 19 |3853 | 23k|3853 | 891 | 225k| 285k|5618 | 0.000000e+00 | 4.000000e+00 | Inf
921.00/921.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.00/921.03 c 888s|470000 | 2461 | 1913k| 4.1 | 50M| 265 | - |3853 | 24k| 0 | 0 | 229k| 299k|5666 | 0.000000e+00 | 4.000000e+00 | Inf
944.00/944.06 c 910s|480000 | 2469 | 1964k| 4.1 | 50M| 265 | 1 |3853 | 25k|3853 | 910 | 234k| 313k|5754 | 0.000000e+00 | 4.000000e+00 | Inf
964.81/964.86 c 930s|490000 | 2467 | 2003k| 4.1 | 51M| 265 | - |3853 | 27k| 0 | 0 | 236k| 327k|5795 | 0.000000e+00 | 4.000000e+00 | Inf
987.21/987.25 c 951s|500000 | 2431 | 2048k| 4.1 | 50M| 265 | 18 |3853 | 24k|3853 | 911 | 239k| 341k|5872 | 0.000000e+00 | 4.000000e+00 | Inf
1007.52/1007.55 c 971s|510000 | 2518 | 2082k| 4.1 | 53M| 265 | 12 |3853 | 28k|3853 | 901 | 240k| 355k|5898 | 0.000000e+00 | 4.000000e+00 | Inf
1028.20/1028.27 c 991s|520000 | 2643 | 2116k| 4.1 | 53M| 265 | 10 |3853 | 26k|3853 | 901 | 241k| 369k|5944 | 0.000000e+00 | 4.000000e+00 | Inf
1047.41/1047.47 c 1009s|530000 | 2760 | 2151k| 4.1 | 55M| 265 | 1 |3853 | 27k|3853 | 901 | 242k| 383k|5993 | 0.000000e+00 | 4.000000e+00 | Inf
1067.51/1067.57 c 1028s|540000 | 2734 | 2186k| 4.0 | 55M| 265 | - |3853 | 25k| 0 | 0 | 244k| 398k|6032 | 0.000000e+00 | 4.000000e+00 | Inf
1086.82/1086.83 c 1047s|550000 | 2710 | 2221k| 4.0 | 53M| 265 | - |3853 | 20k| 0 | 0 | 246k| 412k|6081 | 0.000000e+00 | 4.000000e+00 | Inf
1105.81/1105.85 c 1065s|560000 | 2626 | 2259k| 4.0 | 52M| 265 | 10 |3853 | 19k|3853 | 904 | 247k| 427k|6149 | 0.000000e+00 | 4.000000e+00 | Inf
1127.21/1127.21 c 1086s|570000 | 2823 | 2310k| 4.1 | 54M| 265 | - |3853 | 22k| 0 | 0 | 257k| 440k|6203 | 0.000000e+00 | 4.000000e+00 | Inf
1147.61/1147.60 c 1105s|580000 | 2883 | 2351k| 4.1 | 55M| 265 | - |3853 | 22k| 0 | 0 | 262k| 454k|6261 | 0.000000e+00 | 4.000000e+00 | Inf
1168.51/1168.53 c 1125s|590000 | 2782 | 2399k| 4.1 | 55M| 265 | - |3853 | 21k| 0 | 0 | 269k| 467k|6316 | 0.000000e+00 | 4.000000e+00 | Inf
1188.81/1188.81 c 1145s|600000 | 2713 | 2442k| 4.1 | 54M| 265 | - |3853 | 19k| 0 | 0 | 273k| 481k|6365 | 0.000000e+00 | 4.000000e+00 | Inf
1208.11/1208.19 c 1163s|610000 | 2607 | 2484k| 4.1 | 52M| 265 | 9 |3853 | 18k|3853 | 909 | 277k| 495k|6407 | 0.000000e+00 | 4.000000e+00 | Inf
1227.11/1227.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.11/1227.19 c 1181s|620000 | 2537 | 2526k| 4.1 | 52M| 265 | 7 |3853 | 17k|3853 | 891 | 279k| 508k|6453 | 0.000000e+00 | 4.000000e+00 | Inf
1248.01/1248.00 c 1201s|630000 | 2555 | 2577k| 4.1 | 53M| 265 | 9 |3853 | 20k|3853 | 891 | 287k| 523k|6510 | 0.000000e+00 | 4.000000e+00 | Inf
1268.32/1268.39 c 1221s|640000 | 2513 | 2622k| 4.1 | 52M| 265 | 1 |3853 | 17k|3853 | 901 | 292k| 538k|6577 | 0.000000e+00 | 4.000000e+00 | Inf
1288.82/1288.86 c 1241s|650000 | 2551 | 2673k| 4.1 | 54M| 265 | - |3853 | 23k| 0 | 0 | 299k| 552k|6627 | 0.000000e+00 | 4.000000e+00 | Inf
1312.11/1312.10 c 1263s|660000 | 2529 | 2724k| 4.1 | 53M| 265 | 12 |3853 | 19k|3853 | 891 | 306k| 566k|6703 | 0.000000e+00 | 4.000000e+00 | Inf
1333.02/1333.07 c 1283s|670000 | 2558 | 2770k| 4.1 | 56M| 265 | 1 |3853 | 24k|3853 | 904 | 311k| 581k|6755 | 0.000000e+00 | 4.000000e+00 | Inf
1353.81/1353.88 c 1303s|680000 | 2578 | 2813k| 4.1 | 57M| 265 | 24 |3853 | 27k|3853 | 904 | 315k| 595k|6798 | 0.000000e+00 | 4.000000e+00 | Inf
1376.52/1376.55 c 1325s|690000 | 2477 | 2856k| 4.1 | 54M| 265 | - |3853 | 22k| 0 | 0 | 319k| 609k|6885 | 0.000000e+00 | 4.000000e+00 | Inf
1397.82/1397.82 c 1345s|700000 | 2512 | 2898k| 4.1 | 55M| 265 | 18 |3853 | 24k|3853 | 904 | 320k| 623k|6933 | 0.000000e+00 | 4.000000e+00 | Inf
1420.92/1420.97 c 1368s|710000 | 2478 | 2947k| 4.2 | 56M| 265 | 8 |3853 | 25k|3853 | 911 | 326k| 637k|6994 | 0.000000e+00 | 4.000000e+00 | Inf
1444.01/1444.06 c 1390s|720000 | 2516 | 2999k| 4.2 | 57M| 265 | 15 |3853 | 28k|3853 | 903 | 333k| 651k|7049 | 0.000000e+00 | 4.000000e+00 | Inf
1467.12/1467.16 c 1412s|730000 | 2523 | 3047k| 4.2 | 57M| 265 | - |3853 | 27k| 0 | 0 | 338k| 665k|7102 | 0.000000e+00 | 4.000000e+00 | Inf
1488.42/1488.43 c 1433s|740000 | 2547 | 3087k| 4.2 | 56M| 265 | - |3853 | 24k| 0 | 0 | 341k| 679k|7141 | 0.000000e+00 | 4.000000e+00 | Inf
1511.82/1511.88 c 1455s|750000 | 2594 | 3144k| 4.2 | 58M| 265 | - |3853 | 27k| 0 | 0 | 348k| 693k|7199 | 0.000000e+00 | 4.000000e+00 | Inf
1534.82/1534.84 c 1477s|760000 | 2494 | 3192k| 4.2 | 55M| 265 | - |3853 | 21k| 0 | 0 | 351k| 706k|7306 | 0.000000e+00 | 4.000000e+00 | Inf
1555.12/1555.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1555.12/1555.12 c 1497s|770000 | 2501 | 3239k| 4.2 | 56M| 265 | - |3853 | 22k| 0 | 0 | 356k| 720k|7364 | 0.000000e+00 | 4.000000e+00 | Inf
1577.02/1577.00 c 1518s|780000 | 2466 | 3289k| 4.2 | 55M| 265 | - |3853 | 20k| 0 | 0 | 361k| 733k|7423 | 0.000000e+00 | 4.000000e+00 | Inf
1597.33/1597.37 c 1537s|790000 | 2410 | 3334k| 4.2 | 54M| 265 | 1 |3853 | 21k|3853 | 904 | 366k| 747k|7464 | 0.000000e+00 | 4.000000e+00 | Inf
1610.63/1610.62 o 3
1610.63/1610.62 c *1550s|796715 | 2069 | 3359k| 4.2 | 50M| 265 | - |3853 | 21k|3853 | 904 | 367k| 757k|7503 | 0.000000e+00 | 3.000000e+00 | Inf
1617.33/1617.32 c 1557s|800000 | 2046 | 3372k| 4.2 | 49M| 265 | 16 |3853 | 20k|3853 | 906 | 367k| 762k|7514 | 0.000000e+00 | 3.000000e+00 | Inf
1636.13/1636.12 c 1575s|810000 | 2013 | 3409k| 4.2 | 49M| 265 | 15 |3853 | 22k|3853 | 903 | 369k| 775k|7579 | 0.000000e+00 | 3.000000e+00 | Inf
1654.43/1654.49 c 1592s|820000 | 2080 | 3442k| 4.2 | 51M| 265 | - |3853 | 24k| 0 | 0 | 371k| 789k|7584 | 0.000000e+00 | 3.000000e+00 | Inf
1674.92/1674.95 c 1612s|830000 | 2097 | 3480k| 4.2 | 52M| 265 | - |3853 | 26k| 0 | 0 | 373k| 803k|7636 | 0.000000e+00 | 3.000000e+00 | Inf
1696.13/1696.17 c 1632s|840000 | 2080 | 3517k| 4.2 | 53M| 265 | - |3853 | 29k| 0 | 0 | 376k| 818k|7687 | 0.000000e+00 | 3.000000e+00 | Inf
1719.24/1719.29 c 1655s|850000 | 2124 | 3558k| 4.2 | 55M| 265 | 16 |3853 | 34k|3853 | 903 | 379k| 832k|7721 | 0.000000e+00 | 3.000000e+00 | Inf
1744.72/1744.77 c 1679s|860000 | 2123 | 3604k| 4.2 | 55M| 265 | 18 |3853 | 33k|3853 | 914 | 385k| 847k|7767 | 0.000000e+00 | 3.000000e+00 | Inf
1769.93/1769.99 c 1704s|870000 | 2044 | 3651k| 4.2 | 55M| 265 | 1 |3853 | 34k|3853 | 910 | 391k| 862k|7800 | 0.000000e+00 | 3.000000e+00 | Inf
1794.22/1794.27 c 1727s|880000 | 1998 | 3691k| 4.2 | 53M| 265 | - |3853 | 31k| 0 | 0 | 393k| 875k|7862 | 0.000000e+00 | 3.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.01 c Solving Time (sec) : 1732.82
1800.03/1800.01 c Solving Nodes : 882261
1800.03/1800.01 c Primal Bound : +3.00000000000000e+00 (227 solutions)
1800.03/1800.01 c Dual Bound : +0.00000000000000e+00
1800.03/1800.01 c Gap : infinite
1800.03/1800.05 s SATISFIABLE
1800.03/1800.05 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 x211 -x210
1800.03/1800.05 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189
1800.03/1800.05 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.05 v -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.05 v x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
1800.03/1800.05 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1800.03/1800.05 v -x104 x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80
1800.03/1800.05 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54
1800.03/1800.05 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29
1800.03/1800.05 v -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
1800.03/1800.05 v x1
1800.03/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.05 c Solving Time : 1732.82
1800.03/1800.05 c Original Problem :
1800.03/1800.05 c Problem name : HOME/instance-2692749-1277900794.wbo
1800.03/1800.05 c Variables : 3967 (2099 binary, 0 integer, 0 implicit integer, 1868 continuous)
1800.03/1800.05 c Constraints : 4576 initial, 4576 maximal
1800.03/1800.05 c Presolved Problem :
1800.03/1800.05 c Problem name : t_HOME/instance-2692749-1277900794.wbo
1800.03/1800.05 c Variables : 3853 (2042 binary, 0 integer, 0 implicit integer, 1811 continuous)
1800.03/1800.05 c Constraints : 4434 initial, 36741 maximal
1800.03/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.05 c trivial : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c dualfix : 0.00 57 0 0 0 0 0 0 0
1800.03/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c probing : 0.03 0 0 0 0 0 0 0 0
1800.03/1800.05 c indicator : 0.00 0 0 0 0 0 57 0 0
1800.03/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c linear : 0.05 0 0 0 1876 0 85 67 0
1800.03/1800.05 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.05 c root node : - 1770 - - 3540 - - - -
1800.03/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c integral : 0 0 0 666663 0 9 378 0 0 725912
1800.03/1800.05 c indicator : 1811 0 3377138 301876 0 246 4008187 0 0 0
1800.03/1800.05 c setppc : 5 6 3226438 142577 0 5554 578106 0 0 0
1800.03/1800.05 c linear : 1811 6 3486296 300492 0 185906 14885010 393661 0 0
1800.03/1800.05 c logicor : 807+ 6 1408342 238229 0 117592 2993912 0 0 0
1800.03/1800.05 c bounddisjunction : 0+ 0 60165 0 0 0 171 0 0 0
1800.03/1800.05 c countsols : 0 0 0 238229 0 0 0 0 0 0
1800.03/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.05 c integral : 21.49 0.00 0.00 21.49 0.00
1800.03/1800.05 c indicator : 49.53 0.00 15.43 34.10 0.00
1800.03/1800.05 c setppc : 3.35 0.00 3.35 0.00 0.00
1800.03/1800.05 c linear : 119.32 0.00 110.29 9.03 0.00
1800.03/1800.05 c logicor : 205.09 0.00 203.50 1.59 0.00
1800.03/1800.05 c bounddisjunction : 0.04 0.00 0.04 0.00 0.00
1800.03/1800.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.05 c vbounds : 0.00 2 0 0
1800.03/1800.05 c rootredcost : 0.01 127 0 1770
1800.03/1800.05 c pseudoobj : 115.98 3500130 4599 1997973
1800.03/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.05 c propagation : 15.99 313651 313258 1989080 28.7 14928 18.3 -
1800.03/1800.05 c infeasible LP : 6.76 24463 24463 214170 42.1 298 16.1 0
1800.03/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.05 c pseudo solution : 0.04 412 412 2475 16.9 404 4.9 -
1800.03/1800.05 c applied globally : - - - 879075 22.7 - - -
1800.03/1800.05 c applied locally : - - - 0 0.0 - - -
1800.03/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.05 c cut pool : 0.00 5 - - 23 - (maximal pool size: 58)
1800.03/1800.05 c redcost : 40.64 675323 0 1762708 0 0
1800.03/1800.05 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.05 c intobj : 0.00 0 0 0 0 0
1800.03/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.05 c gomory : 0.11 6 0 0 368 0
1800.03/1800.05 c strongcg : 0.06 6 0 0 78 0
1800.03/1800.05 c cmir : 0.03 6 0 0 0 0
1800.03/1800.05 c flowcover : 0.07 6 0 0 0 0
1800.03/1800.05 c clique : 0.00 6 0 0 0 0
1800.03/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.05 c mcf : 0.00 1 0 0 0 0
1800.03/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.05 c Pricers : Time Calls Vars
1800.03/1800.05 c problem variables: 0.00 0 0
1800.03/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.05 c relpscost : 21.36 363263 9 378 0 0 725912
1800.03/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.05 c inference : 36.16 238103 0 0 0 0 476206
1800.03/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.05 c random : 0.00 0 0 0 0 0 0
1800.03/1800.05 c Primal Heuristics : Time Calls Found
1800.03/1800.05 c LP solutions : 0.71 - 126
1800.03/1800.05 c pseudo solutions : 0.00 - 0
1800.03/1800.05 c feaspump : 0.01 1 0
1800.03/1800.05 c intshifting : 0.00 7 0
1800.03/1800.05 c oneopt : 0.64 114 0
1800.03/1800.05 c crossover : 2.50 119 0
1800.03/1800.05 c coefdiving : 4.85 4673 0
1800.03/1800.05 c pscostdiving : 4.60 4673 0
1800.03/1800.05 c fracdiving : 4.49 4673 0
1800.03/1800.05 c veclendiving : 5.02 4673 0
1800.03/1800.05 c linesearchdiving : 4.63 4674 0
1800.03/1800.05 c guideddiving : 4.89 4674 0
1800.03/1800.05 c rootsoldiving : 5.05 4665 0
1800.03/1800.05 c objpscostdiving : 4.52 4666 0
1800.03/1800.05 c trivial : 0.01 2 0
1800.03/1800.05 c simplerounding : 0.41 365386 0
1800.03/1800.05 c zirounding : 0.16 1000 0
1800.03/1800.05 c rounding : 1.41 8507 0
1800.03/1800.05 c shifting : 1.27 2664 0
1800.03/1800.05 c twoopt : 0.00 0 0
1800.03/1800.05 c fixandinfer : 0.00 0 0
1800.03/1800.05 c intdiving : 0.00 0 0
1800.03/1800.05 c actconsdiving : 0.00 0 0
1800.03/1800.05 c octane : 0.00 0 0
1800.03/1800.05 c rens : 0.02 1 0
1800.03/1800.05 c rins : 0.00 0 0
1800.03/1800.05 c localbranching : 0.00 0 0
1800.03/1800.05 c mutation : 0.00 0 0
1800.03/1800.05 c dins : 0.00 0 0
1800.03/1800.05 c undercover : 0.00 0 0
1800.03/1800.05 c nlp : 0.01 0 0
1800.03/1800.05 c trysol : 0.99 10227 101
1800.03/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.05 c dual LP : 596.58 470842 3697591 7.85 6197.98
1800.03/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.05 c diving/probing LP: 0.45 198 3537 17.86 7860.00
1800.03/1800.05 c strong branching : 18.35 7869 123644 15.71 6738.09
1800.03/1800.05 c (at root node) : - 33 3577 108.39 -
1800.03/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.05 c B&B Tree :
1800.03/1800.05 c number of runs : 1
1800.03/1800.05 c nodes : 882261
1800.03/1800.05 c nodes (total) : 882261
1800.03/1800.05 c nodes left : 1977
1800.03/1800.05 c max depth : 265
1800.03/1800.05 c max depth (total): 265
1800.03/1800.05 c backtracks : 77081 (8.7%)
1800.03/1800.05 c delayed cutoffs : 61125
1800.03/1800.05 c repropagations : 1309397 (4218423 domain reductions, 57672 cutoffs)
1800.03/1800.05 c avg switch length: 4.76
1800.03/1800.05 c switching time : 212.12
1800.03/1800.05 c Solution :
1800.03/1800.05 c Solutions found : 227 (127 improvements)
1800.03/1800.05 c First Solution : +9.25480000000000e+04 (in run 1, after 1 nodes, 0.11 seconds, depth 0, found by <trysol>)
1800.03/1800.05 c Primal Bound : +3.00000000000000e+00 (in run 1, after 796715 nodes, 1550.18 seconds, depth 39, found by <relaxation>)
1800.03/1800.05 c Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Gap : infinite
1800.03/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.05 c Root Iterations : 230
1800.13/1800.14 c Time complete: 1800.17.