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-2692801-1277904315.wbo>
0.00/0.03 c original problem has 3797 variables (2014 bin, 0 int, 0 impl, 1783 cont) and 4491 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.05 c presolving:
0.03/0.06 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.03/0.09 c (round 2) 0 del vars, 72 del conss, 1783 chg bounds, 55 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.10/0.10 c (round 3) 55 del vars, 169 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 0 upgd conss, 1931 impls, 11 clqs
0.10/0.12 c (round 4) 134 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.10/0.13 c (round 5) 158 del vars, 193 del conss, 1807 chg bounds, 97 chg sides, 0 chg coeffs, 890 upgd conss, 1931 impls, 11 clqs
0.10/0.19 c (0.1s) probing: 101/1935 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.19 c presolving (6 rounds):
0.10/0.19 c 158 deleted vars, 193 deleted constraints, 1807 tightened bounds, 0 added holes, 97 changed sides, 0 changed coefficients
0.10/0.19 c 1931 implications, 11 cliques
0.10/0.19 c presolved problem has 3639 variables (1935 bin, 0 int, 0 impl, 1704 cont) and 4298 constraints
0.10/0.19 c 1704 constraints of type <indicator>
0.10/0.19 c 11 constraints of type <setppc>
0.10/0.19 c 1704 constraints of type <linear>
0.10/0.19 c 879 constraints of type <logicor>
0.10/0.19 c transformed objective value is always integral (scale: 1)
0.10/0.19 c Presolving Time: 0.13
0.10/0.19 c - non default parameters ----------------------------------------------------------------------
0.10/0.19 c # SCIP version 1.2.1.2
0.10/0.19 c
0.10/0.19 c # frequency for displaying node information lines
0.10/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.19 c display/freq = 10000
0.10/0.19 c
0.10/0.19 c # maximal time in seconds to run
0.10/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.19 c limits/time = 1799.97
0.10/0.19 c
0.10/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.19 c limits/memory = 3420
0.10/0.19 c
0.10/0.19 c # should presolving try to simplify inequalities
0.10/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.19 c constraints/linear/simplifyinequalities = TRUE
0.10/0.19 c
0.10/0.19 c # should presolving try to simplify knapsacks
0.10/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.19 c
0.10/0.19 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.19 c separating/rapidlearning/freq = 0
0.10/0.19 c
0.10/0.19 c -----------------------------------------------------------------------------------------------
0.10/0.19 c start solving
0.10/0.19 c
0.19/0.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.20 c 0.1s| 1 | 0 | 11 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 o 86790
0.19/0.20 c y 0.1s| 1 | 0 | 13 | - | 13M| 0 | 7 |3639 |4298 |3639 | 890 | 0 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 55 | - | 13M| 0 | 32 |3639 |4298 |3639 | 909 | 19 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.19/0.27 c 0.2s| 1 | 0 | 131 | - | 13M| 0 | 42 |3639 |4298 |3639 | 941 | 51 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.29/0.34 c 0.3s| 1 | 0 | 171 | - | 14M| 0 | 49 |3639 |4298 |3639 | 957 | 67 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.42 c 0.4s| 1 | 0 | 198 | - | 14M| 0 | 52 |3639 |4298 |3639 | 964 | 74 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.39/0.49 c 0.4s| 1 | 0 | 209 | - | 14M| 0 | 56 |3639 |4298 |3639 | 967 | 77 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
0.49/0.57 c 0.5s| 1 | 0 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 0 | 0.000000e+00 | 8.679000e+04 | Inf
1.00/1.01 c 0.9s| 1 | 2 | 230 | - | 14M| 0 | 55 |3639 |4298 |3639 | 972 | 82 | 0 | 33 | 0.000000e+00 | 8.679000e+04 | Inf
25.30/25.37 c 25.0s| 10000 | 9987 | 27130 | 2.7 | 37M| 113 | 0 |3639 |4319 |3639 |1001 |3385 | 23 |1564 | 0.000000e+00 | 8.679000e+04 | Inf
42.99/43.06 c 42.5s| 20000 | 19981 | 48085 | 2.4 | 54M| 113 | 0 |3639 |4315 |3639 | 999 |6061 | 27 |1763 | 0.000000e+00 | 8.679000e+04 | Inf
59.30/59.35 c 58.6s| 30000 | 29963 | 60271 | 2.0 | 71M| 113 | 0 |3639 |4338 |3639 |1004 |7981 | 61 |1792 | 0.000000e+00 | 8.679000e+04 | Inf
75.99/76.01 c 75.2s| 40000 | 39941 | 75938 | 1.9 | 89M| 113 | 0 |3639 |4358 |3639 | 989 | 10k| 94 |1801 | 0.000000e+00 | 8.679000e+04 | Inf
92.80/92.81 c 91.8s| 50000 | 49931 | 93406 | 1.9 | 106M| 113 | 0 |3639 |4334 |3639 | 990 | 12k| 104 |1809 | 0.000000e+00 | 8.679000e+04 | Inf
109.40/109.45 c 108s| 60000 | 59925 |107971 | 1.8 | 123M| 113 | 0 |3639 |4326 |3639 |1003 | 13k| 119 |1810 | 0.000000e+00 | 8.679000e+04 | Inf
126.59/126.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
126.59/126.66 c 125s| 70000 | 69917 |129692 | 1.8 | 140M| 113 | 0 |3639 |4332 |3639 | 987 | 16k| 130 |1811 | 0.000000e+00 | 8.679000e+04 | Inf
143.39/143.41 c 142s| 80000 | 79911 |146011 | 1.8 | 157M| 113 | 0 |3639 |4324 |3639 | 994 | 18k| 139 |1811 | 0.000000e+00 | 8.679000e+04 | Inf
159.80/159.83 c 158s| 90000 | 89909 |158990 | 1.8 | 174M| 113 | 0 |3639 |4317 |3639 | 999 | 20k| 140 |1811 | 0.000000e+00 | 8.679000e+04 | Inf
176.20/176.25 c 174s|100000 | 99901 |172352 | 1.7 | 191M| 113 | 0 |3639 |4322 |3639 | 995 | 22k| 155 |1811 | 0.000000e+00 | 8.679000e+04 | Inf
192.40/192.49 c 190s|110000 |109897 |184040 | 1.7 | 207M| 113 | 0 |3639 |4319 |3639 | 992 | 24k| 157 |1815 | 0.000000e+00 | 8.679000e+04 | Inf
209.01/209.06 c 207s|120000 |119887 |198422 | 1.7 | 224M| 113 | 0 |3639 |4330 |3639 |1005 | 26k| 173 |1815 | 0.000000e+00 | 8.679000e+04 | Inf
225.40/225.42 c 223s|130000 |129885 |210154 | 1.6 | 241M| 113 | 0 |3639 |4325 |3639 | 990 | 28k| 176 |1872 | 0.000000e+00 | 8.679000e+04 | Inf
241.79/241.85 c 239s|140000 |139885 |222182 | 1.6 | 258M| 113 | 0 |3639 |4321 |3639 | 993 | 30k| 176 |1906 | 0.000000e+00 | 8.679000e+04 | Inf
245.20/245.28 o 1010
245.20/245.28 c * 243s|142127 |139973 |224401 | 1.6 | 259M| 113 | - |3639 |4323 |3639 | 994 | 31k| 179 |1925 | 0.000000e+00 | 1.010000e+03 | Inf
260.90/260.99 c 258s|150000 |147844 |245380 | 1.6 | 272M| 113 | 3 |3639 |4321 |3639 | 979 | 34k| 180 |2019 | 0.000000e+00 | 1.010000e+03 | Inf
280.70/280.78 c 278s|160000 |157836 |271929 | 1.7 | 289M| 117 | 0 |3639 |4323 |3639 | 991 | 37k| 185 |2134 | 0.000000e+00 | 1.010000e+03 | Inf
293.61/293.66 o 1001
293.61/293.66 c * 291s|167069 |164780 |282993 | 1.7 | 301M| 159 | - |3639 |4327 |3639 | 996 | 39k| 195 |2215 | 0.000000e+00 | 1.001000e+03 | Inf
300.40/300.44 c 297s|170000 |167674 |294298 | 1.7 | 307M| 159 | 0 |3639 |4402 |3639 | 998 | 40k| 290 |2225 | 0.000000e+00 | 1.001000e+03 | Inf
304.61/304.61 o 996
304.61/304.61 c * 301s|171819 |169405 |300830 | 1.7 | 310M| 159 | - |3639 |4386 |3639 | 982 | 41k| 301 |2257 | 0.000000e+00 | 9.960000e+02 | Inf
312.70/312.71 o 985
312.70/312.71 c * 309s|175232 |172576 |315828 | 1.8 | 316M| 159 | - |3639 |4461 |3639 |1006 | 43k| 436 |2299 | 0.000000e+00 | 9.850000e+02 | Inf
323.20/323.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.20/323.28 c 320s|180000 |177297 |329942 | 1.8 | 325M| 159 | 0 |3639 |4414 |3639 | 998 | 45k| 534 |2397 | 0.000000e+00 | 9.850000e+02 | Inf
326.30/326.33 o 946
326.30/326.33 c * 323s|181341 |177764 |334941 | 1.8 | 326M| 159 | - |3639 |4462 |3639 | 997 | 46k| 619 |2405 | 0.000000e+00 | 9.460000e+02 | Inf
345.11/345.15 c 342s|190000 |186372 |360449 | 1.9 | 341M| 159 | 0 |3639 |4414 |3639 | 992 | 50k| 730 |2492 | 0.000000e+00 | 9.460000e+02 | Inf
368.60/368.69 o 934
368.60/368.69 c * 365s|199961 |195807 |400120 | 2.0 | 361M| 159 | - |3639 |4449 |3639 | 995 | 56k|1150 |2656 | 0.000000e+00 | 9.340000e+02 | Inf
368.70/368.70 o 915
368.70/368.70 c * 365s|199962 |195134 |400120 | 2.0 | 359M| 159 | - |3639 |4446 |3639 | 995 | 56k|1150 |2656 | 0.000000e+00 | 9.150000e+02 | Inf
368.80/368.81 c 365s|200000 |195172 |400365 | 2.0 | 359M| 159 | 0 |3639 |4445 |3639 | 995 | 56k|1150 |2657 | 0.000000e+00 | 9.150000e+02 | Inf
369.30/369.30 o 525
369.30/369.30 c * 365s|200210 |151077 |400843 | 2.0 | 287M| 159 | - |3639 |4457 |3639 | 992 | 56k|1166 |2657 | 0.000000e+00 | 5.250000e+02 | Inf
369.51/369.51 o 522
369.51/369.51 c * 366s|200272 |150542 |401397 | 2.0 | 287M| 159 | - |3639 |4463 |3639 | 993 | 56k|1176 |2657 | 0.000000e+00 | 5.220000e+02 | Inf
369.81/369.83 o 520
369.81/369.83 c * 366s|200407 |150252 |401768 | 2.0 | 286M| 159 | - |3639 |4465 |3639 | 992 | 56k|1181 |2657 | 0.000000e+00 | 5.200000e+02 | Inf
373.00/373.01 o 511
373.00/373.01 c * 369s|201731 |149565 |405554 | 2.0 | 287M| 159 | - |3639 |4631 |3639 | 991 | 57k|1369 |2660 | 0.000000e+00 | 5.110000e+02 | Inf
373.31/373.34 o 510
373.31/373.34 c * 369s|201862 |149465 |405975 | 2.0 | 287M| 159 | - |3639 |4655 |3639 |1006 | 57k|1397 |2660 | 0.000000e+00 | 5.100000e+02 | Inf
375.31/375.38 o 492
375.31/375.38 c * 371s|202709 |146308 |409516 | 2.0 | 282M| 159 | - |3639 |4824 |3639 | 984 | 57k|1614 |2665 | 0.000000e+00 | 4.920000e+02 | Inf
375.70/375.71 o 468
375.70/375.71 c * 372s|202832 |140728 |410048 | 2.0 | 272M| 159 | - |3639 |4828 |3639 | 997 | 57k|1634 |2666 | 0.000000e+00 | 4.680000e+02 | Inf
375.70/375.77 o 459
375.70/375.77 c * 372s|202848 |138565 |410234 | 2.0 | 268M| 159 | - |3639 |4845 |3639 |1003 | 57k|1653 |2666 | 0.000000e+00 | 4.590000e+02 | Inf
375.70/375.78 o 456
375.70/375.78 c * 372s|202849 |137789 |410234 | 2.0 | 267M| 159 | - |3639 |4845 |3639 |1003 | 57k|1653 |2666 | 0.000000e+00 | 4.560000e+02 | Inf
376.00/376.03 o 454
376.00/376.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
376.00/376.03 c * 372s|202939 |137422 |410654 | 2.0 | 267M| 159 | - |3639 |4861 |3639 |1026 | 57k|1686 |2668 | 0.000000e+00 | 4.540000e+02 | Inf
378.90/378.93 o 452
378.90/378.93 c * 375s|204211 |138052 |414300 | 2.0 | 269M| 159 | - |3639 |5028 |3639 |1020 | 58k|2004 |2671 | 0.000000e+00 | 4.520000e+02 | Inf
386.50/386.52 o 449
386.50/386.52 c * 382s|207376 |140213 |424669 | 2.0 | 275M| 159 | - |3639 |5217 |3639 | 998 | 60k|2519 |2745 | 0.000000e+00 | 4.490000e+02 | Inf
388.81/388.89 o 440
388.81/388.89 c * 385s|208284 |138687 |429280 | 2.1 | 273M| 159 | - |3639 |5134 |3639 | 983 | 61k|2617 |2751 | 0.000000e+00 | 4.400000e+02 | Inf
389.00/389.07 o 439
389.00/389.07 c * 385s|208336 |138523 |429864 | 2.1 | 273M| 159 | - |3639 |5123 |3639 | 993 | 61k|2634 |2751 | 0.000000e+00 | 4.390000e+02 | Inf
393.71/393.79 c 390s|210000 |139913 |439455 | 2.1 | 278M| 159 | 0 |3639 |5275 |3639 |1006 | 63k|3194 |2773 | 0.000000e+00 | 4.390000e+02 | Inf
393.71/393.79 o 437
393.71/393.79 c * 390s|210003 |139330 |439455 | 2.1 | 277M| 159 | - |3639 |5275 |3639 |1006 | 63k|3194 |2773 | 0.000000e+00 | 4.370000e+02 | Inf
394.21/394.29 o 433
394.21/394.29 c * 390s|210154 |138340 |440708 | 2.1 | 275M| 159 | - |3639 |5343 |3639 | 981 | 63k|3329 |2786 | 0.000000e+00 | 4.330000e+02 | Inf
394.21/394.29 o 430
394.21/394.29 c * 390s|210155 |137457 |440708 | 2.1 | 273M| 159 | - |3639 |5343 |3639 | 981 | 63k|3329 |2786 | 0.000000e+00 | 4.300000e+02 | Inf
394.81/394.85 o 426
394.81/394.85 c * 391s|210304 |136461 |442573 | 2.1 | 271M| 159 | - |3639 |5339 |3639 | 995 | 63k|3401 |2795 | 0.000000e+00 | 4.260000e+02 | Inf
396.51/396.50 o 423
396.51/396.50 c * 392s|210749 |136058 |448032 | 2.1 | 271M| 159 | - |3639 |5440 |3639 | 998 | 63k|3626 |2804 | 0.000000e+00 | 4.230000e+02 | Inf
396.81/396.87 o 405
396.81/396.87 c * 393s|210853 |131186 |449263 | 2.1 | 263M| 159 | - |3639 |5451 |3639 |1008 | 63k|3662 |2804 | 0.000000e+00 | 4.050000e+02 | Inf
402.21/402.26 o 384
402.21/402.26 c * 398s|212668 |126595 |462802 | 2.2 | 255M| 159 | - |3639 |5652 |3639 | 995 | 65k|4478 |2836 | 0.000000e+00 | 3.840000e+02 | Inf
402.21/402.27 o 374
402.21/402.27 c * 398s|212669 |123744 |462803 | 2.2 | 249M| 159 | - |3639 |5650 |3639 | 996 | 65k|4478 |2836 | 0.000000e+00 | 3.740000e+02 | Inf
404.00/404.06 o 370
404.00/404.06 c * 400s|213264 |123068 |466553 | 2.2 | 249M| 159 | - |3639 |5751 |3639 |1002 | 66k|4857 |2872 | 0.000000e+00 | 3.700000e+02 | Inf
404.41/404.40 o 366
404.41/404.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.41/404.40 c * 400s|213337 |121976 |467918 | 2.2 | 247M| 159 | - |3639 |5741 |3639 | 983 | 66k|4918 |2888 | 0.000000e+00 | 3.660000e+02 | Inf
404.51/404.56 o 352
404.51/404.56 c * 400s|213373 |117726 |468345 | 2.2 | 239M| 159 | - |3639 |5727 |3639 | 994 | 66k|4918 |2889 | 0.000000e+00 | 3.520000e+02 | Inf
406.51/406.55 o 344
406.51/406.55 c * 402s|214022 |115957 |473136 | 2.2 | 236M| 159 | - |3639 |5942 |3639 |1007 | 66k|5398 |2903 | 0.000000e+00 | 3.440000e+02 | Inf
406.51/406.56 o 341
406.51/406.56 c * 402s|214023 |115012 |473136 | 2.2 | 235M| 159 | - |3639 |5942 |3639 |1007 | 66k|5398 |2903 | 0.000000e+00 | 3.410000e+02 | Inf
410.21/410.21 o 340
410.21/410.21 c * 406s|215296 |115607 |480200 | 2.2 | 239M| 159 | - |3639 |6231 |3639 | 984 | 68k|6188 |2908 | 0.000000e+00 | 3.400000e+02 | Inf
411.90/411.94 o 319
411.90/411.94 c * 408s|215708 |108395 |486509 | 2.3 | 226M| 159 | - |3639 |6248 |3639 | 995 | 68k|6516 |2909 | 0.000000e+00 | 3.190000e+02 | Inf
412.00/412.08 o 309
412.00/412.08 c * 408s|215734 |104784 |486881 | 2.3 | 218M| 159 | - |3639 |6226 |3639 | 995 | 68k|6518 |2915 | 0.000000e+00 | 3.090000e+02 | Inf
412.11/412.17 o 306
412.11/412.17 c * 408s|215756 |103724 |487043 | 2.3 | 217M| 159 | - |3639 |6225 |3639 | 997 | 68k|6528 |2915 | 0.000000e+00 | 3.060000e+02 | Inf
412.80/412.84 o 305
412.80/412.84 c * 408s|215992 |103432 |488548 | 2.3 | 217M| 159 | - |3639 |6331 |3639 | 986 | 68k|6807 |2923 | 0.000000e+00 | 3.050000e+02 | Inf
412.90/412.94 o 301
412.90/412.94 c * 408s|216019 |101929 |488659 | 2.3 | 214M| 159 | - |3639 |6346 |3639 | 995 | 68k|6835 |2924 | 0.000000e+00 | 3.010000e+02 | Inf
415.10/415.19 o 292
415.10/415.19 c * 411s|216723 | 98807 |493835 | 2.3 | 209M| 159 | - |3639 |6415 |3639 | 993 | 69k|7505 |2967 | 0.000000e+00 | 2.920000e+02 | Inf
415.51/415.59 o 291
415.51/415.59 c * 411s|216861 | 98625 |494596 | 2.3 | 209M| 159 | - |3639 |6414 |3639 | 988 | 69k|7594 |2969 | 0.000000e+00 | 2.910000e+02 | Inf
416.10/416.14 o 282
416.10/416.14 c * 412s|217041 | 95576 |495390 | 2.3 | 204M| 159 | - |3639 |6412 |3639 | 986 | 69k|7726 |2971 | 0.000000e+00 | 2.820000e+02 | Inf
416.41/416.48 o 281
416.41/416.48 c * 412s|217167 | 95307 |495976 | 2.3 | 204M| 159 | - |3639 |6438 |3639 | 989 | 69k|7792 |2971 | 0.000000e+00 | 2.810000e+02 | Inf
417.31/417.39 o 278
417.31/417.39 c * 413s|217520 | 94439 |497157 | 2.3 | 203M| 159 | - |3639 |6440 |3639 |1004 | 69k|7885 |2971 | 0.000000e+00 | 2.780000e+02 | Inf
417.41/417.48 o 276
417.41/417.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
417.41/417.48 c * 413s|217552 | 93739 |497266 | 2.3 | 202M| 159 | - |3639 |6438 |3639 |1008 | 69k|7888 |2971 | 0.000000e+00 | 2.760000e+02 | Inf
417.61/417.63 o 271
417.61/417.63 c * 413s|217603 | 91773 |497505 | 2.3 | 198M| 159 | - |3639 |6450 |3639 | 986 | 69k|7915 |2971 | 0.000000e+00 | 2.710000e+02 | Inf
418.11/418.15 o 266
418.11/418.15 c * 414s|217744 | 89964 |499107 | 2.3 | 195M| 159 | - |3639 |6426 |3639 | 986 | 70k|7991 |2971 | 0.000000e+00 | 2.660000e+02 | Inf
418.21/418.28 o 247
418.21/418.28 c * 414s|217766 | 81878 |499473 | 2.3 | 180M| 159 | - |3639 |6428 |3639 | 989 | 70k|8013 |2973 | 0.000000e+00 | 2.470000e+02 | Inf
418.31/418.34 o 234
418.31/418.34 c * 414s|217777 | 75159 |499660 | 2.3 | 167M| 159 | - |3639 |6424 |3639 | 994 | 70k|8022 |2973 | 0.000000e+00 | 2.340000e+02 | Inf
418.81/418.85 o 231
418.81/418.85 c * 414s|217903 | 72986 |500839 | 2.3 | 164M| 159 | - |3639 |6382 |3639 | 988 | 70k|8131 |2975 | 0.000000e+00 | 2.310000e+02 | Inf
420.12/420.15 o 229
420.12/420.15 c * 416s|218275 | 72096 |503204 | 2.3 | 164M| 159 | - |3639 |6343 |3639 | 990 | 70k|8299 |2978 | 0.000000e+00 | 2.290000e+02 | Inf
420.12/420.17 o 226
420.12/420.17 c * 416s|218286 | 70706 |503208 | 2.3 | 161M| 159 | - |3639 |6343 |3639 | 990 | 70k|8299 |2978 | 0.000000e+00 | 2.260000e+02 | Inf
422.70/422.77 o 220
422.70/422.77 c * 418s|219172 | 68445 |506932 | 2.3 | 159M| 159 | - |3639 |6422 |3639 | 983 | 71k|8951 |2981 | 0.000000e+00 | 2.200000e+02 | Inf
422.70/422.78 o 217
422.70/422.78 c * 418s|219173 | 67092 |506932 | 2.3 | 157M| 159 | - |3639 |6422 |3639 | 983 | 71k|8951 |2981 | 0.000000e+00 | 2.170000e+02 | Inf
422.81/422.90 o 210
422.81/422.90 c * 418s|219197 | 64176 |507245 | 2.3 | 151M| 159 | - |3639 |6413 |3639 | 997 | 71k|8963 |2982 | 0.000000e+00 | 2.100000e+02 | Inf
423.21/423.28 o 194
423.21/423.28 c * 419s|219306 | 58193 |508219 | 2.3 | 139M| 159 | - |3639 |6446 |3639 |1005 | 71k|9090 |2982 | 0.000000e+00 | 1.940000e+02 | Inf
423.41/423.43 o 193
423.41/423.43 c * 419s|219353 | 57550 |508427 | 2.3 | 138M| 159 | - |3639 |6442 |3639 |1001 | 71k|9102 |2982 | 0.000000e+00 | 1.930000e+02 | Inf
424.21/424.27 o 189
424.21/424.27 c * 420s|219646 | 55923 |509192 | 2.3 | 136M| 159 | - |3639 |6468 |3639 | 999 | 71k|9223 |2983 | 0.000000e+00 | 1.890000e+02 | Inf
425.21/425.21 o 188
425.21/425.21 c * 421s|219929 | 55830 |510371 | 2.3 | 137M| 159 | - |3639 |6410 |3639 |1001 | 71k|9359 |2984 | 0.000000e+00 | 1.880000e+02 | Inf
425.31/425.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
425.31/425.39 c 421s|220000 | 55889 |510489 | 2.3 | 138M| 159 | - |3639 |6409 |3639 | 996 | 71k|9373 |2984 | 0.000000e+00 | 1.880000e+02 | Inf
425.51/425.54 o 181
425.51/425.54 c * 421s|220066 | 52936 |510662 | 2.3 | 131M| 159 | - |3639 |6422 |3639 | 996 | 71k|9430 |2984 | 0.000000e+00 | 1.810000e+02 | Inf
426.50/426.57 o 179
426.50/426.57 c * 422s|220406 | 51912 |512194 | 2.3 | 129M| 159 | - |3639 |6243 |3639 | 998 | 71k|9659 |2984 | 0.000000e+00 | 1.790000e+02 | Inf
428.00/428.04 o 175
428.00/428.04 c * 423s|220866 | 50308 |515088 | 2.3 | 127M| 159 | - |3639 |6187 |3639 | 999 | 72k| 10k|2997 | 0.000000e+00 | 1.750000e+02 | Inf
428.61/428.66 o 166
428.61/428.66 c * 424s|221038 | 47269 |516515 | 2.3 | 121M| 159 | - |3639 |6265 |3639 |1009 | 72k| 10k|3004 | 0.000000e+00 | 1.660000e+02 | Inf
428.61/428.67 o 163
428.61/428.67 c * 424s|221039 | 45812 |516515 | 2.3 | 118M| 159 | - |3639 |6265 |3639 |1009 | 72k| 10k|3004 | 0.000000e+00 | 1.630000e+02 | Inf
429.51/429.59 o 148
429.51/429.59 c * 425s|221272 | 39148 |518072 | 2.3 | 104M| 159 | - |3639 |6133 |3639 | 995 | 72k| 10k|3029 | 0.000000e+00 | 1.480000e+02 | Inf
429.91/429.96 o 129
429.91/429.96 c * 425s|221370 | 29716 |518489 | 2.3 | 85M| 159 | - |3639 |6122 |3639 |1009 | 72k| 10k|3035 | 0.000000e+00 | 1.290000e+02 | Inf
429.91/429.98 o 111
429.91/429.98 c * 425s|221375 | 25927 |518492 | 2.3 | 78M| 159 | - |3639 |6121 |3639 |1011 | 72k| 10k|3035 | 0.000000e+00 | 1.110000e+02 | Inf
430.01/430.04 o 93
430.01/430.04 c * 425s|221387 | 21312 |518569 | 2.3 | 68M| 159 | - |3639 |6120 |3639 |1003 | 72k| 10k|3035 | 0.000000e+00 | 9.300000e+01 | Inf
430.11/430.18 o 91
430.11/430.18 c * 425s|221433 | 20503 |518678 | 2.3 | 67M| 159 | - |3639 |5927 |3639 | 996 | 72k| 10k|3036 | 0.000000e+00 | 9.100000e+01 | Inf
430.20/430.22 o 78
430.20/430.22 c * 426s|221435 | 16026 |518678 | 2.3 | 57M| 159 | - |3639 |5864 |3639 | 996 | 72k| 10k|3036 | 0.000000e+00 | 7.800000e+01 | Inf
430.30/430.32 o 67
430.30/430.32 c * 426s|221456 | 13847 |518899 | 2.3 | 52M| 159 | - |3639 |5535 |3639 | 990 | 72k| 10k|3037 | 0.000000e+00 | 6.700000e+01 | Inf
430.30/430.33 o 61
430.30/430.33 c * 426s|221457 | 13055 |518899 | 2.3 | 51M| 159 | - |3639 |5535 |3639 | 990 | 72k| 10k|3037 | 0.000000e+00 | 6.100000e+01 | Inf
430.50/430.53 o 60
430.50/430.53 c * 426s|221505 | 6060 |519293 | 2.3 | 38M| 159 | - |3639 |5082 |3639 | 985 | 72k| 10k|3037 | 0.000000e+00 | 6.000000e+01 | Inf
434.21/434.27 o 53
434.21/434.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
434.21/434.27 c * 430s|222973 | 5573 |526216 | 2.4 | 39M| 159 | - |3639 |5289 |3639 | 985 | 73k| 12k|3048 | 0.000000e+00 | 5.300000e+01 | Inf
436.31/436.39 o 52
436.31/436.39 c * 432s|223885 | 5475 |529722 | 2.4 | 39M| 159 | - |3639 |5249 |3639 | 980 | 73k| 13k|3051 | 0.000000e+00 | 5.200000e+01 | Inf
436.50/436.57 o 51
436.50/436.57 c * 432s|223953 | 5464 |530070 | 2.4 | 39M| 159 | - |3639 |5239 |3639 | 977 | 73k| 13k|3051 | 0.000000e+00 | 5.100000e+01 | Inf
437.81/437.88 o 42
437.81/437.88 c * 433s|224560 | 4947 |531740 | 2.4 | 38M| 159 | - |3639 |5753 |3639 | 986 | 73k| 14k|3051 | 0.000000e+00 | 4.200000e+01 | Inf
449.81/449.86 c 445s|230000 | 4569 |553459 | 2.4 | 41M| 159 | - |3639 |7593 | 0 | 0 | 75k| 21k|3093 | 0.000000e+00 | 4.200000e+01 | Inf
452.70/452.75 o 39
452.70/452.75 c * 448s|231403 | 4348 |558027 | 2.4 | 41M| 159 | - |3639 |7863 |3639 | 980 | 76k| 23k|3093 | 0.000000e+00 | 3.900000e+01 | Inf
452.91/452.95 o 38
452.91/452.95 c * 448s|231505 | 4348 |558256 | 2.4 | 41M| 159 | - |3639 |7852 |3639 | 982 | 76k| 23k|3093 | 0.000000e+00 | 3.800000e+01 | Inf
453.11/453.16 o 1
453.11/453.16 c * 448s|231605 | 2875 |558430 | 2.4 | 35M| 159 | - |3639 |7835 |3639 | 978 | 76k| 23k|3093 | 0.000000e+00 | 1.000000e+00 | Inf
467.81/467.84 c 463s|240000 | 2381 |596769 | 2.5 | 36M| 159 | 16 |3639 |9344 |3639 | 979 | 78k| 34k|3207 | 0.000000e+00 | 1.000000e+00 | Inf
485.81/485.86 c 480s|250000 | 2353 |639011 | 2.6 | 38M| 159 | 23 |3639 | 14k|3639 | 980 | 80k| 47k|3258 | 0.000000e+00 | 1.000000e+00 | Inf
504.71/504.76 c 499s|260000 | 2395 |678182 | 2.6 | 41M| 159 | 14 |3639 | 18k|3639 | 983 | 82k| 60k|3392 | 0.000000e+00 | 1.000000e+00 | Inf
524.61/524.65 c 519s|270000 | 2189 |718662 | 2.7 | 41M| 159 | 1 |3639 | 19k|3639 | 987 | 84k| 73k|3511 | 0.000000e+00 | 1.000000e+00 | Inf
547.31/547.32 c 541s|280000 | 2134 |768846 | 2.7 | 42M| 159 | - |3639 | 23k| 0 | 0 | 88k| 86k|3638 | 0.000000e+00 | 1.000000e+00 | Inf
571.91/571.96 c 565s|290000 | 2152 |816195 | 2.8 | 44M| 159 | 22 |3639 | 28k|3639 | 983 | 93k| 99k|3738 | 0.000000e+00 | 1.000000e+00 | Inf
599.11/599.19 c 592s|300000 | 2001 |863144 | 2.9 | 45M| 159 | - |3639 | 31k| 0 | 0 | 98k| 112k|3884 | 0.000000e+00 | 1.000000e+00 | Inf
625.61/625.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
625.61/625.66 c 619s|310000 | 2005 |908234 | 2.9 | 47M| 159 | - |3639 | 36k|3639 | 982 | 102k| 125k|4006 | 0.000000e+00 | 1.000000e+00 | Inf
656.62/656.70 c 649s|320000 | 2058 |957638 | 3.0 | 50M| 159 | - |3639 | 42k| 0 | 0 | 108k| 139k|4071 | 0.000000e+00 | 1.000000e+00 | Inf
690.72/690.77 c 683s|330000 | 2093 | 1008k| 3.1 | 52M| 159 | - |3639 | 45k| 0 | 0 | 116k| 154k|4172 | 0.000000e+00 | 1.000000e+00 | Inf
724.92/724.93 c 717s|340000 | 2094 | 1058k| 3.1 | 52M| 159 | 16 |3639 | 44k|3639 | 977 | 122k| 167k|4292 | 0.000000e+00 | 1.000000e+00 | Inf
758.81/758.90 c 751s|350000 | 2192 | 1107k| 3.2 | 55M| 159 | - |3639 | 49k| 0 | 0 | 129k| 181k|4439 | 0.000000e+00 | 1.000000e+00 | Inf
796.43/796.48 c 788s|360000 | 2247 | 1159k| 3.2 | 57M| 159 | 11 |3639 | 53k|3639 | 969 | 135k| 195k|4524 | 0.000000e+00 | 1.000000e+00 | Inf
836.40/836.45 c 828s|370000 | 2343 | 1215k| 3.3 | 59M| 159 | - |3639 | 56k| 0 | 0 | 142k| 209k|4653 | 0.000000e+00 | 1.000000e+00 | Inf
874.48/874.50 c 865s|380000 | 2472 | 1268k| 3.3 | 61M| 159 | 15 |3639 | 59k|3639 | 969 | 148k| 223k|4739 | 0.000000e+00 | 1.000000e+00 | Inf
913.17/913.23 c 904s|390000 | 2519 | 1320k| 3.4 | 62M| 159 | - |3639 | 61k| 0 | 0 | 155k| 238k|4864 | 0.000000e+00 | 1.000000e+00 | Inf
952.67/952.73 c 943s|400000 | 2515 | 1371k| 3.4 | 62M| 159 | 18 |3639 | 60k|3639 | 976 | 161k| 254k|4917 | 0.000000e+00 | 1.000000e+00 | Inf
992.08/992.16 c 982s|410000 | 2407 | 1423k| 3.5 | 60M| 159 | 13 |3639 | 57k|3639 | 969 | 167k| 268k|5043 | 0.000000e+00 | 1.000000e+00 | Inf
1026.57/1026.67 c 1017s|420000 | 2277 | 1468k| 3.5 | 58M| 159 | - |3639 | 52k| 0 | 0 | 172k| 283k|5099 | 0.000000e+00 | 1.000000e+00 | Inf
1059.77/1059.88 c 1049s|430000 | 2171 | 1516k| 3.5 | 57M| 159 | - |3639 | 51k| 0 | 0 | 176k| 297k|5161 | 0.000000e+00 | 1.000000e+00 | Inf
1094.17/1094.23 c 1084s|440000 | 2145 | 1568k| 3.6 | 58M| 159 | 17 |3639 | 54k|3639 | 986 | 182k| 311k|5281 | 0.000000e+00 | 1.000000e+00 | Inf
1129.07/1129.20 c 1118s|450000 | 2009 | 1613k| 3.6 | 55M| 159 | - |3639 | 50k| 0 | 0 | 187k| 324k|5504 | 0.000000e+00 | 1.000000e+00 | Inf
1160.49/1160.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.49/1160.59 c 1149s|460000 | 1989 | 1656k| 3.6 | 57M| 159 | - |3639 | 55k| 0 | 0 | 192k| 337k|5517 | 0.000000e+00 | 1.000000e+00 | Inf
1197.08/1197.19 c 1186s|470000 | 2070 | 1705k| 3.6 | 60M| 159 | - |3639 | 61k| 0 | 0 | 199k| 351k|5576 | 0.000000e+00 | 1.000000e+00 | Inf
1235.48/1235.55 c 1224s|480000 | 1966 | 1751k| 3.6 | 59M| 159 | 1 |3639 | 59k|3639 | 983 | 206k| 364k|5627 | 0.000000e+00 | 1.000000e+00 | Inf
1271.98/1272.05 c 1260s|490000 | 1858 | 1802k| 3.7 | 58M| 159 | 15 |3639 | 58k|3639 | 981 | 212k| 377k|5815 | 0.000000e+00 | 1.000000e+00 | Inf
1310.39/1310.44 c 1298s|500000 | 1868 | 1855k| 3.7 | 60M| 159 | 20 |3639 | 63k|3639 | 969 | 217k| 390k|5883 | 0.000000e+00 | 1.000000e+00 | Inf
1351.08/1351.14 c 1339s|510000 | 1858 | 1908k| 3.7 | 60M| 159 | 26 |3639 | 64k|3639 | 969 | 223k| 404k|5948 | 0.000000e+00 | 1.000000e+00 | Inf
1390.98/1391.07 c 1378s|520000 | 1890 | 1958k| 3.8 | 62M| 159 | 17 |3639 | 67k|3639 | 969 | 229k| 417k|6030 | 0.000000e+00 | 1.000000e+00 | Inf
1435.69/1435.72 c 1423s|530000 | 1859 | 2006k| 3.8 | 63M| 159 | 12 |3639 | 70k|3639 | 969 | 234k| 430k|6112 | 0.000000e+00 | 1.000000e+00 | Inf
1483.68/1483.74 c 1470s|540000 | 1901 | 2061k| 3.8 | 65M| 159 | 15 |3639 | 76k|3639 | 977 | 241k| 444k|6215 | 0.000000e+00 | 1.000000e+00 | Inf
1530.99/1531.06 c 1518s|550000 | 1862 | 2113k| 3.8 | 65M| 159 | - |3639 | 77k| 0 | 0 | 247k| 457k|6303 | 0.000000e+00 | 1.000000e+00 | Inf
1579.49/1579.56 c 1566s|560000 | 1888 | 2168k| 3.9 | 68M| 159 | - |3639 | 84k| 0 | 0 | 254k| 471k|6373 | 0.000000e+00 | 1.000000e+00 | Inf
1629.99/1630.03 c 1616s|570000 | 1867 | 2220k| 3.9 | 67M| 159 | 8 |3639 | 81k|3639 | 974 | 259k| 485k|6444 | 0.000000e+00 | 1.000000e+00 | Inf
1683.09/1683.11 c 1669s|580000 | 1866 | 2269k| 3.9 | 69M| 159 | - |3639 | 88k| 0 | 0 | 265k| 498k|6509 | 0.000000e+00 | 1.000000e+00 | Inf
1736.60/1736.63 c 1722s|590000 | 1862 | 2320k| 3.9 | 70M| 159 | 11 |3639 | 90k|3639 | 978 | 270k| 511k|6619 | 0.000000e+00 | 1.000000e+00 | Inf
1794.30/1794.36 c 1780s|600000 | 1860 | 2370k| 3.9 | 73M| 159 | - |3639 | 97k|3639 | 977 | 276k| 525k|6698 | 0.000000e+00 | 1.000000e+00 | Inf
1800.01/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.01 c Solving Time (sec) : 1785.13
1800.01/1800.01 c Solving Nodes : 601004
1800.01/1800.01 c Primal Bound : +1.00000000000000e+00 (210 solutions)
1800.01/1800.01 c Dual Bound : +0.00000000000000e+00
1800.01/1800.01 c Gap : infinite
1800.01/1800.04 s SATISFIABLE
1800.01/1800.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 x210
1800.01/1800.04 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189
1800.01/1800.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x168
1800.01/1800.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 x148 -x147
1800.01/1800.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125
1800.01/1800.04 v -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104
1800.01/1800.04 v -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.01/1800.04 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.01/1800.04 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.01/1800.04 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.01/1800.04 v -x1
1800.01/1800.04 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.04 c Solving Time : 1785.13
1800.01/1800.04 c Original Problem :
1800.01/1800.04 c Problem name : HOME/instance-2692801-1277904315.wbo
1800.01/1800.04 c Variables : 3797 (2014 binary, 0 integer, 0 implicit integer, 1783 continuous)
1800.01/1800.04 c Constraints : 4491 initial, 4491 maximal
1800.01/1800.04 c Presolved Problem :
1800.01/1800.04 c Problem name : t_HOME/instance-2692801-1277904315.wbo
1800.01/1800.04 c Variables : 3639 (1935 binary, 0 integer, 0 implicit integer, 1704 continuous)
1800.01/1800.04 c Constraints : 4298 initial, 97962 maximal
1800.01/1800.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.04 c trivial : 0.00 79 0 0 0 0 0 0 0
1800.01/1800.04 c dualfix : 0.00 79 0 0 0 0 0 0 0
1800.01/1800.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c probing : 0.05 0 0 0 0 0 0 0 0
1800.01/1800.04 c indicator : 0.00 0 0 0 0 0 79 0 0
1800.01/1800.04 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c linear : 0.07 0 0 0 1807 0 114 97 0
1800.01/1800.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.04 c root node : - 1704 - - 3408 - - - -
1800.01/1800.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.04 c integral : 0 0 0 483292 0 10 340 0 0 465908
1800.01/1800.04 c indicator : 1704 0 425824 217183 0 120 1940850 0 0 0
1800.01/1800.04 c setppc : 11 6 2095098 197153 0 11130 955236 0 0 0
1800.01/1800.04 c linear : 1704 6 2152466 245821 0 123867 9114734 276939 0 0
1800.01/1800.04 c logicor : 879+ 6 940917 198204 0 60811 2119042 0 0 0
1800.01/1800.04 c bounddisjunction : 0+ 0 443 0 0 0 0 0 0 0
1800.01/1800.04 c countsols : 0 0 0 198204 0 0 0 0 0 0
1800.01/1800.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.04 c integral : 19.76 0.00 0.00 19.76 0.00
1800.01/1800.04 c indicator : 40.13 0.02 10.05 30.06 0.00
1800.01/1800.04 c setppc : 9.47 0.00 9.38 0.09 0.00
1800.01/1800.04 c linear : 96.14 0.00 88.30 7.84 0.00
1800.01/1800.04 c logicor : 433.41 0.00 431.68 1.73 0.00
1800.01/1800.04 c bounddisjunction : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.04 c countsols : 0.04 0.00 0.00 0.04 0.00
1800.01/1800.04 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.04 c vbounds : 0.54 2 0 0
1800.01/1800.04 c rootredcost : 0.52 82 0 1704
1800.01/1800.04 c pseudoobj : 73.84 2171984 3588 1178412
1800.01/1800.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.04 c propagation : 11.44 199396 199142 1301831 27.1 7053 20.0 -
1800.01/1800.04 c infeasible LP : 4.08 14096 14096 118223 43.0 117 17.2 0
1800.01/1800.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.04 c pseudo solution : 0.02 164 164 1202 20.5 85 6.7 -
1800.01/1800.04 c applied globally : - - - 526521 22.3 - - -
1800.01/1800.04 c applied locally : - - - 0 0.0 - - -
1800.01/1800.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.04 c cut pool : 0.00 5 - - 58 - (maximal pool size: 101)
1800.01/1800.04 c redcost : 31.48 484860 0 597966 0 0
1800.01/1800.04 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.04 c intobj : 0.00 0 0 0 0 0
1800.01/1800.04 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.04 c gomory : 0.13 6 0 0 625 0
1800.01/1800.04 c strongcg : 0.10 6 0 0 116 0
1800.01/1800.04 c cmir : 0.02 6 0 0 1 0
1800.01/1800.04 c flowcover : 0.07 6 0 0 2 0
1800.01/1800.04 c clique : 0.00 6 0 0 0 0
1800.01/1800.04 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.04 c mcf : 0.00 1 0 0 0 0
1800.01/1800.04 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.04 c Pricers : Time Calls Vars
1800.01/1800.04 c problem variables: 0.00 0 0
1800.01/1800.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.04 c relpscost : 19.49 233215 10 340 0 0 465908
1800.01/1800.04 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.04 c inference : 31.94 198123 0 0 0 0 396246
1800.01/1800.04 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.04 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.04 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.04 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.04 c random : 0.00 0 0 0 0 0 0
1800.01/1800.04 c Primal Heuristics : Time Calls Found
1800.01/1800.04 c LP solutions : 0.52 - 81
1800.01/1800.04 c pseudo solutions : 0.00 - 0
1800.01/1800.04 c feaspump : 0.00 1 0
1800.01/1800.04 c intshifting : 0.03 6 0
1800.01/1800.04 c oneopt : 0.79 74 0
1800.01/1800.04 c crossover : 1.89 67 0
1800.01/1800.04 c pscostdiving : 5.70 5510 0
1800.01/1800.04 c fracdiving : 5.29 5510 0
1800.01/1800.04 c veclendiving : 5.97 5510 0
1800.01/1800.04 c guideddiving : 5.92 5510 0
1800.01/1800.04 c coefdiving : 6.05 5511 0
1800.01/1800.04 c linesearchdiving : 5.74 5511 0
1800.01/1800.04 c objpscostdiving : 5.94 5083 0
1800.01/1800.04 c rootsoldiving : 5.74 5123 0
1800.01/1800.04 c trivial : 0.00 2 0
1800.01/1800.04 c simplerounding : 0.60 233425 0
1800.01/1800.04 c zirounding : 0.47 1000 0
1800.01/1800.04 c rounding : 1.31 6753 0
1800.01/1800.04 c shifting : 1.11 2147 0
1800.01/1800.04 c twoopt : 0.00 0 0
1800.01/1800.04 c fixandinfer : 0.00 0 0
1800.01/1800.04 c intdiving : 0.00 0 0
1800.01/1800.04 c actconsdiving : 0.00 0 0
1800.01/1800.04 c octane : 0.00 0 0
1800.01/1800.04 c rens : 0.02 1 0
1800.01/1800.04 c rins : 0.00 0 0
1800.01/1800.04 c localbranching : 0.00 0 0
1800.01/1800.04 c mutation : 0.00 0 0
1800.01/1800.04 c dins : 0.00 0 0
1800.01/1800.04 c undercover : 0.00 0 0
1800.01/1800.04 c nlp : 0.19 0 0
1800.01/1800.04 c trysol : 0.62 7004 129
1800.01/1800.04 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.04 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.04 c dual LP : 431.63 309453 2372800 7.67 5497.30
1800.01/1800.04 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.04 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.04 c diving/probing LP: 0.49 379 2673 7.05 5455.10
1800.01/1800.04 c strong branching : 17.03 6698 108285 16.17 6358.49
1800.01/1800.04 c (at root node) : - 33 3188 96.61 -
1800.01/1800.04 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.04 c B&B Tree :
1800.01/1800.04 c number of runs : 1
1800.01/1800.04 c nodes : 601004
1800.01/1800.04 c nodes (total) : 601004
1800.01/1800.04 c nodes left : 1867
1800.01/1800.04 c max depth : 159
1800.01/1800.04 c max depth (total): 159
1800.01/1800.04 c backtracks : 58128 (9.7%)
1800.01/1800.04 c delayed cutoffs : 46895
1800.01/1800.04 c repropagations : 738530 (3208839 domain reductions, 43853 cutoffs)
1800.01/1800.04 c avg switch length: 4.16
1800.01/1800.04 c switching time : 276.56
1800.01/1800.04 c Solution :
1800.01/1800.04 c Solutions found : 210 (82 improvements)
1800.01/1800.04 c First Solution : +8.67900000000000e+04 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <trysol>)
1800.01/1800.04 c Primal Bound : +1.00000000000000e+00 (in run 1, after 231605 nodes, 448.09 seconds, depth 74, found by <relaxation>)
1800.01/1800.04 c Dual Bound : +0.00000000000000e+00
1800.01/1800.04 c Gap : infinite
1800.01/1800.04 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.04 c Root Iterations : 230
1800.10/1800.18 c Time complete: 1800.18.