0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
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-2705515-1278572954.wbo>
0.00/0.03 c original problem has 3835 variables (2033 bin, 0 int, 1802 impl, 0 cont) and 4510 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.03/0.04 c presolving:
0.03/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.03/0.08 c (round 2) 0 del vars, 71 del conss, 1802 chg bounds, 53 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.03/0.09 c (round 3) 53 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 0 upgd conss, 148 impls, 9 clqs
0.03/0.10 c (round 4) 122 del vars, 146 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.10 c (round 5) 122 del vars, 168 del conss, 1810 chg bounds, 67 chg sides, 0 chg coeffs, 882 upgd conss, 148 impls, 9 clqs
0.09/0.15 c (0.1s) probing: 101/1972 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.15 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.15 c presolving (6 rounds):
0.09/0.15 c 122 deleted vars, 168 deleted constraints, 1810 tightened bounds, 0 added holes, 67 changed sides, 0 changed coefficients
0.09/0.15 c 3616 implications, 9 cliques
0.09/0.15 c presolved problem has 3713 variables (1972 bin, 0 int, 1741 impl, 0 cont) and 4342 constraints
0.09/0.15 c 55 constraints of type <setppc>
0.09/0.15 c 1741 constraints of type <linear>
0.09/0.15 c 1741 constraints of type <indicator>
0.09/0.15 c 805 constraints of type <logicor>
0.09/0.15 c transformed objective value is always integral (scale: 1)
0.09/0.15 c Presolving Time: 0.11
0.09/0.15 c - non default parameters ----------------------------------------------------------------------
0.09/0.15 c # SCIP version 1.2.1.3
0.09/0.15 c
0.09/0.15 c # frequency for displaying node information lines
0.09/0.15 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.15 c display/freq = 10000
0.09/0.15 c
0.09/0.15 c # maximal time in seconds to run
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/time = 1789.98
0.09/0.15 c
0.09/0.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.15 c limits/memory = 3420
0.09/0.15 c
0.09/0.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.15 c # [type: int, range: [1,2], default: 1]
0.09/0.15 c timing/clocktype = 2
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify inequalities
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/linear/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/indicator/addCouplingCons = TRUE
0.09/0.15 c
0.09/0.15 c # should presolving try to simplify knapsacks
0.09/0.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.15 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.15 c
0.09/0.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.15 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.15 c separating/rapidlearning/freq = 0
0.09/0.15 c
0.09/0.15 c -----------------------------------------------------------------------------------------------
0.09/0.15 c start solving
0.09/0.15 c
0.09/0.16 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.16 c 0.1s| 1 | 0 | 15 | - | 14M| 0 | 7 |3713 |4342 |3713 | 860 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.25 c 0.2s| 1 | 0 | 73 | - | 14M| 0 | 31 |3713 |4342 |3713 | 875 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 120 | - | 14M| 0 | 16 |3713 |4342 |3713 | 892 | 32 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.34 c 0.3s| 1 | 0 | 166 | - | 14M| 0 | 21 |3713 |4342 |3713 | 903 | 43 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.38 c 0.3s| 1 | 0 | 252 | - | 14M| 0 | 43 |3713 |4342 |3713 | 908 | 48 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.45 c 0.4s| 1 | 0 | 316 | - | 14M| 0 | 47 |3713 |4342 |3713 | 919 | 59 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.52 c 0.5s| 1 | 0 | 372 | - | 14M| 0 | 48 |3713 |4342 |3713 | 928 | 68 | 0 | 0 | 0.000000e+00 | -- | Inf
0.49/0.59 c 0.6s| 1 | 0 | 398 | - | 14M| 0 | 48 |3713 |4342 |3713 | 932 | 72 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.84 c 0.8s| 1 | 2 | 398 | - | 14M| 0 | 48 |3713 |4342 |3713 | 932 | 72 | 0 | 16 | 0.000000e+00 | -- | Inf
1.39/1.42 o 87754
1.39/1.42 c y 1.4s| 16 | 15 | 859 | 30.7 | 14M| 14 | - |3713 |4342 | 0 | 0 | 94 | 0 | 153 | 0.000000e+00 | 8.775400e+04 | Inf
14.59/14.63 c 14.6s| 10000 | 9995 | 4711 | 0.4 | 32M|1487 | 0 |3713 |4348 |3713 | 967 | 598 | 6 | 751 | 0.000000e+00 | 8.775400e+04 | Inf
22.39/22.42 o 342
22.39/22.42 c *22.4s| 16825 | 11701 | 6330 | 0.4 | 36M|1487 | - |3713 |4359 |3713 | 989 | 845 | 17 | 968 | 0.000000e+00 | 3.420000e+02 | Inf
26.30/26.34 c 26.3s| 20000 | 14859 | 7063 | 0.3 | 42M|1487 | 0 |3713 |4386 |3713 | 964 | 985 | 44 |1007 | 0.000000e+00 | 3.420000e+02 | Inf
26.89/26.93 o 332
26.89/26.93 c *26.9s| 20378 | 14975 | 7672 | 0.4 | 42M|1487 | - |3713 |4412 |3713 | 954 |1064 | 70 |1030 | 0.000000e+00 | 3.320000e+02 | Inf
32.40/32.45 o 329
32.40/32.45 c *32.4s| 25077 | 19567 | 8335 | 0.3 | 51M|1487 | - |3713 |4436 |3713 | 975 |1181 | 94 |1036 | 0.000000e+00 | 3.290000e+02 | Inf
35.99/36.04 o 327
35.99/36.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
35.99/36.04 c *36.0s| 28033 | 22450 | 8775 | 0.3 | 56M|1487 | - |3713 |4448 |3713 | 974 |1285 | 106 |1037 | 0.000000e+00 | 3.270000e+02 | Inf
38.09/38.16 c 38.1s| 30000 | 24415 | 8964 | 0.3 | 60M|1520 | 0 |3713 |4450 |3713 | 936 |1310 | 108 |1044 | 0.000000e+00 | 3.270000e+02 | Inf
48.40/48.49 o 310
48.40/48.49 c *48.5s| 38911 | 32536 | 9746 | 0.2 | 74M|1520 | - |3713 |4456 |3713 | 946 |1433 | 114 |1048 | 0.000000e+00 | 3.100000e+02 | Inf
48.49/48.50 o 278
48.49/48.50 c *48.5s| 38912 | 30962 | 9746 | 0.2 | 71M|1520 | - |3713 |4456 |3713 | 946 |1433 | 114 |1048 | 0.000000e+00 | 2.780000e+02 | Inf
49.80/49.83 c 49.8s| 40000 | 32050 | 9958 | 0.2 | 74M|1520 | 0 |3713 |4456 |3713 | 940 |1462 | 114 |1048 | 0.000000e+00 | 2.780000e+02 | Inf
50.79/50.88 o 240
50.79/50.88 c *50.9s| 40870 | 30491 | 10082 | 0.2 | 71M|1520 | - |3713 |4456 |3713 | 950 |1506 | 114 |1048 | 0.000000e+00 | 2.400000e+02 | Inf
50.79/50.89 o 233
50.79/50.89 c *50.9s| 40871 | 29956 | 10082 | 0.2 | 71M|1520 | - |3713 |4456 |3713 | 950 |1506 | 114 |1048 | 0.000000e+00 | 2.330000e+02 | Inf
51.89/51.96 o 221
51.89/51.96 c *51.9s| 41718 | 29887 | 10216 | 0.2 | 71M|1520 | - |3713 |4456 |3713 | 949 |1530 | 114 |1048 | 0.000000e+00 | 2.210000e+02 | Inf
52.39/52.46 o 187
52.39/52.46 c R52.4s| 41943 | 27429 | 10812 | 0.2 | 67M|1520 | - |3713 |4670 |3713 | 934 |1577 | 329 |1064 | 0.000000e+00 | 1.870000e+02 | Inf
53.89/53.99 o 178
53.89/53.99 c *54.0s| 42594 | 26841 | 13455 | 0.3 | 68M|1520 | - |3713 |5231 |3713 | 937 |1796 | 907 |1140 | 0.000000e+00 | 1.780000e+02 | Inf
56.39/56.41 o 177
56.39/56.41 c *56.4s| 43444 | 27077 | 17758 | 0.4 | 71M|1520 | - |3713 |5943 |3713 | 950 |2442 |1724 |1251 | 0.000000e+00 | 1.770000e+02 | Inf
56.49/56.56 o 167
56.49/56.56 c R56.5s| 43497 | 25733 | 18076 | 0.4 | 69M|1520 | - |3713 |5993 |3713 | 947 |2465 |1780 |1261 | 0.000000e+00 | 1.670000e+02 | Inf
56.99/57.06 o 160
56.99/57.06 c *57.0s| 43721 | 24476 | 18580 | 0.4 | 67M|1520 | - |3713 |6170 |3713 | 938 |2544 |1973 |1271 | 0.000000e+00 | 1.600000e+02 | Inf
59.29/59.34 o 150
59.29/59.34 c *59.3s| 44606 | 22815 | 21987 | 0.5 | 66M|1520 | - |3713 |6961 |3713 | 932 |2914 |2937 |1329 | 0.000000e+00 | 1.500000e+02 | Inf
59.29/59.35 o 144
59.29/59.35 c *59.3s| 44614 | 21544 | 21992 | 0.5 | 64M|1520 | - |3713 |6961 |3713 | 932 |2914 |2937 |1329 | 0.000000e+00 | 1.440000e+02 | Inf
60.59/60.66 o 143
60.59/60.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.59/60.66 c *60.6s| 45123 | 21533 | 23936 | 0.5 | 65M|1520 | - |3713 |7524 |3713 | 943 |3273 |3595 |1365 | 0.000000e+00 | 1.430000e+02 | Inf
62.09/62.18 o 131
62.09/62.18 c *62.2s| 45664 | 19340 | 27127 | 0.6 | 63M|1520 | - |3713 |7840 |3713 | 959 |3754 |4064 |1395 | 0.000000e+00 | 1.310000e+02 | Inf
64.60/64.62 o 129
64.60/64.62 c *64.6s| 46571 | 19250 | 32724 | 0.7 | 65M|1520 | - |3713 |8358 |3713 | 945 |4414 |4924 |1454 | 0.000000e+00 | 1.290000e+02 | Inf
64.60/64.64 o 117
64.60/64.64 c *64.6s| 46578 | 16925 | 32738 | 0.7 | 61M|1520 | - |3713 |8358 |3713 | 945 |4414 |4924 |1454 | 0.000000e+00 | 1.170000e+02 | Inf
67.39/67.40 o 111
67.39/67.40 c *67.4s| 47585 | 16050 | 39038 | 0.8 | 62M|1520 | - |3713 |8915 |3713 | 953 |5321 |6048 |1498 | 0.000000e+00 | 1.110000e+02 | Inf
67.59/67.66 o 104
67.59/67.66 c *67.6s| 47674 | 14698 | 39595 | 0.8 | 60M|1520 | - |3713 |8930 |3713 | 983 |5374 |6119 |1510 | 0.000000e+00 | 1.040000e+02 | Inf
70.89/70.96 o 103
70.89/70.96 c *70.9s| 48781 | 14743 | 46504 | 0.9 | 64M|1520 | - |3713 |8618 |3713 | 975 |6290 |7282 |1548 | 0.000000e+00 | 1.030000e+02 | Inf
70.89/70.96 o 98
70.89/70.96 c *70.9s| 48782 | 13641 | 46528 | 0.9 | 62M|1520 | - |3713 |8618 |3713 | 972 |6290 |7282 |1548 | 0.000000e+00 | 9.800000e+01 | Inf
71.40/71.44 o 96
71.40/71.44 c *71.4s| 48956 | 13053 | 47937 | 1.0 | 62M|1520 | - |3713 |8386 |3713 | 962 |6385 |7477 |1554 | 0.000000e+00 | 9.600000e+01 | Inf
72.19/72.20 o 93
72.19/72.20 c *72.2s| 49184 | 12473 | 49921 | 1.0 | 62M|1520 | - |3713 |7968 |3713 | 944 |6550 |7726 |1556 | 0.000000e+00 | 9.300000e+01 | Inf
72.19/72.25 o 89
72.19/72.25 c *72.2s| 49201 | 11588 | 49998 | 1.0 | 60M|1520 | - |3713 |7885 |3713 | 950 |6562 |7731 |1556 | 0.000000e+00 | 8.900000e+01 | Inf
72.19/72.25 o 84
72.19/72.25 c *72.2s| 49202 | 10397 | 49998 | 1.0 | 58M|1520 | - |3713 |7885 |3713 | 950 |6562 |7731 |1556 | 0.000000e+00 | 8.400000e+01 | Inf
72.60/72.64 o 80
72.60/72.64 c *72.6s| 49333 | 9533 | 50977 | 1.0 | 56M|1520 | - |3713 |7372 |3713 | 954 |6640 |7827 |1556 | 0.000000e+00 | 8.000000e+01 | Inf
72.89/72.91 o 66
72.89/72.91 c *72.9s| 49424 | 6990 | 51664 | 1.0 | 48M|1520 | - |3713 |7045 |3713 | 941 |6744 |7916 |1559 | 0.000000e+00 | 6.600000e+01 | Inf
73.09/73.18 o 64
73.09/73.18 c *73.1s| 49477 | 6760 | 52420 | 1.1 | 48M|1520 | - |3713 |6578 |3713 | 959 |6859 |7987 |1570 | 0.000000e+00 | 6.400000e+01 | Inf
73.29/73.35 o 62
73.29/73.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.29/73.35 c *73.3s| 49530 | 6522 | 53091 | 1.1 | 47M|1520 | - |3713 |6422 |3713 | 944 |6918 |8040 |1570 | 0.000000e+00 | 6.200000e+01 | Inf
73.60/73.63 o 58
73.60/73.63 c *73.6s| 49636 | 5968 | 54306 | 1.1 | 46M|1520 | - |3713 |6185 |3713 | 989 |6997 |8143 |1570 | 0.000000e+00 | 5.800000e+01 | Inf
73.60/73.69 o 50
73.60/73.69 c *73.7s| 49645 | 4525 | 54484 | 1.1 | 36M|1520 | - |3713 |6037 |3713 | 972 |7028 |8153 |1573 | 0.000000e+00 | 5.000000e+01 | Inf
74.49/74.52 c 74.5s| 50000 | 4531 | 56652 | 1.1 | 36M|1520 | - |3713 |5655 | 0 | 0 |7143 |8568 |1597 | 0.000000e+00 | 5.000000e+01 | Inf
86.99/87.05 o 46
86.99/87.05 c *87.0s| 56513 | 4519 | 90154 | 1.6 | 42M|1520 | - |3713 |6042 |3713 | 939 |9037 | 16k|1715 | 0.000000e+00 | 4.600000e+01 | Inf
93.79/93.86 c 93.8s| 60000 | 4730 |110264 | 1.8 | 45M|1520 | 19 |3713 |5995 |3713 | 940 | 10k| 20k|1726 | 0.000000e+00 | 4.600000e+01 | Inf
102.59/102.61 o 37
102.59/102.61 c * 103s| 64911 | 4241 |129824 | 2.0 | 46M|1520 | - |3713 |6215 |3713 | 956 | 11k| 26k|1728 | 0.000000e+00 | 3.700000e+01 | Inf
111.59/111.60 c 112s| 70000 | 4443 |152173 | 2.2 | 49M|1520 | 1 |3713 |6707 |3713 | 973 | 13k| 32k|1732 | 0.000000e+00 | 3.700000e+01 | Inf
116.00/116.08 o 32
116.00/116.08 c * 116s| 72642 | 3973 |163085 | 2.2 | 46M|1520 | - |3713 |6106 |3713 | 948 | 13k| 36k|1732 | 0.000000e+00 | 3.200000e+01 | Inf
116.40/116.43 o 31
116.40/116.43 c * 116s| 72839 | 3845 |163568 | 2.2 | 46M|1520 | - |3713 |5675 |3713 | 947 | 13k| 36k|1732 | 0.000000e+00 | 3.100000e+01 | Inf
128.40/128.49 c 128s| 80000 | 3857 |197424 | 2.5 | 48M|1520 | - |3713 |5827 | 0 | 0 | 15k| 45k|1822 | 0.000000e+00 | 3.100000e+01 | Inf
145.99/146.04 c 146s| 90000 | 3970 |246580 | 2.7 | 51M|1520 | - |3713 |6992 | 0 | 0 | 18k| 58k|1992 | 0.000000e+00 | 3.100000e+01 | Inf
146.49/146.56 o 25
146.49/146.56 c * 147s| 90320 | 3438 |247708 | 2.7 | 48M|1520 | - |3713 |7249 |3713 | 974 | 18k| 59k|1992 | 0.000000e+00 | 2.500000e+01 | Inf
162.70/162.79 c 163s|100000 | 3361 |294969 | 2.9 | 49M|1520 | 17 |3713 |6412 |3713 | 939 | 20k| 72k|2208 | 0.000000e+00 | 2.500000e+01 | Inf
166.99/167.09 o 16
166.99/167.09 c * 167s|102504 | 2595 |309789 | 3.0 | 46M|1520 | - |3713 |7287 |3713 | 934 | 21k| 75k|2259 | 0.000000e+00 | 1.600000e+01 | Inf
171.40/171.47 o 14
171.40/171.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.40/171.47 c * 171s|105080 | 2412 |325189 | 3.1 | 46M|1520 | - |3713 |8623 |3713 | 964 | 21k| 78k|2332 | 0.000000e+00 | 1.400000e+01 | Inf
171.40/171.49 o 10
171.40/171.49 c * 171s|105082 | 2179 |325203 | 3.1 | 44M|1520 | - |3713 |8487 |3713 | 961 | 21k| 78k|2332 | 0.000000e+00 | 1.000000e+01 | Inf
171.79/171.80 o 9
171.79/171.80 c * 172s|105216 | 2061 |326824 | 3.1 | 42M|1520 | - |3713 |8288 |3713 | 986 | 21k| 79k|2333 | 0.000000e+00 | 9.000000e+00 | Inf
172.30/172.37 o 3
172.30/172.37 c * 172s|105540 | 1479 |329138 | 3.1 | 38M|1520 | - |3713 |8229 |3713 | 972 | 21k| 79k|2335 | 0.000000e+00 | 3.000000e+00 | Inf
179.09/179.12 c 179s|110000 | 1426 |356648 | 3.2 | 37M|1520 | - |3713 |5671 | 0 | 0 | 22k| 85k|2444 | 0.000000e+00 | 3.000000e+00 | Inf
194.00/194.01 c 194s|120000 | 1405 |415665 | 3.5 | 38M|1520 | 1 |3713 |8597 |3713 | 930 | 25k| 98k|2637 | 0.000000e+00 | 3.000000e+00 | Inf
209.70/209.71 c 210s|130000 | 1408 |476113 | 3.7 | 38M|1520 | 22 |3713 |8036 |3713 | 943 | 26k| 110k|2854 | 0.000000e+00 | 3.000000e+00 | Inf
225.00/225.10 c 225s|140000 | 1334 |536235 | 3.8 | 39M|1520 | 1 |3713 |9128 |3713 | 957 | 28k| 123k|3011 | 0.000000e+00 | 3.000000e+00 | Inf
240.80/240.86 c 241s|150000 | 1388 |592543 | 3.9 | 40M|1520 | 14 |3713 | 12k|3713 | 951 | 30k| 136k|3130 | 0.000000e+00 | 3.000000e+00 | Inf
258.50/258.51 c 258s|160000 | 1532 |653590 | 4.1 | 43M|1520 | 22 |3713 | 17k|3713 | 960 | 32k| 150k|3273 | 0.000000e+00 | 3.000000e+00 | Inf
277.00/277.08 c 277s|170000 | 1487 |714201 | 4.2 | 43M|1520 | 9 |3713 | 14k|3713 | 939 | 34k| 165k|3421 | 0.000000e+00 | 3.000000e+00 | Inf
294.10/294.15 c 294s|180000 | 1448 |772776 | 4.3 | 42M|1520 | 1 |3713 | 12k|3713 | 940 | 36k| 177k|3655 | 0.000000e+00 | 3.000000e+00 | Inf
311.30/311.34 c 311s|190000 | 1432 |830940 | 4.4 | 42M|1520 | - |3713 | 12k| 0 | 0 | 38k| 190k|3809 | 0.000000e+00 | 3.000000e+00 | Inf
329.30/329.33 c 329s|200000 | 1512 |895972 | 4.5 | 44M|1520 | - |3713 | 14k| 0 | 0 | 39k| 203k|3913 | 0.000000e+00 | 3.000000e+00 | Inf
348.50/348.53 c 349s|210000 | 1486 |970212 | 4.6 | 45M|1520 | - |3713 | 15k| 0 | 0 | 41k| 216k|4082 | 0.000000e+00 | 3.000000e+00 | Inf
366.60/366.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
366.60/366.65 c 367s|220000 | 1492 | 1036k| 4.7 | 44M|1520 | 23 |3713 | 11k|3713 | 959 | 43k| 229k|4189 | 0.000000e+00 | 3.000000e+00 | Inf
383.40/383.47 c 383s|230000 | 1528 | 1098k| 4.8 | 45M|1520 | - |3713 | 13k| 0 | 0 | 45k| 242k|4341 | 0.000000e+00 | 3.000000e+00 | Inf
401.20/401.28 c 401s|240000 | 1739 | 1165k| 4.9 | 48M|1520 | - |3713 | 15k| 0 | 0 | 46k| 255k|4466 | 0.000000e+00 | 3.000000e+00 | Inf
419.40/419.43 c 419s|250000 | 1783 | 1231k| 4.9 | 49M|1520 | - |3713 | 14k| 0 | 0 | 48k| 268k|4546 | 0.000000e+00 | 3.000000e+00 | Inf
438.10/438.17 c 438s|260000 | 1890 | 1303k| 5.0 | 52M|1520 | - |3713 | 17k| 0 | 0 | 50k| 282k|4692 | 0.000000e+00 | 3.000000e+00 | Inf
457.20/457.24 c 457s|270000 | 1807 | 1370k| 5.1 | 51M|1520 | 17 |3713 | 14k|3713 | 944 | 51k| 296k|4814 | 0.000000e+00 | 3.000000e+00 | Inf
474.91/474.95 c 475s|280000 | 1808 | 1431k| 5.1 | 52M|1520 | 19 |3713 | 18k|3713 | 957 | 53k| 310k|4902 | 0.000000e+00 | 3.000000e+00 | Inf
494.30/494.36 c 494s|290000 | 1657 | 1497k| 5.2 | 49M|1520 | 1 |3713 | 14k|3713 | 946 | 55k| 324k|4997 | 0.000000e+00 | 3.000000e+00 | Inf
510.41/510.44 c 510s|300000 | 1561 | 1548k| 5.2 | 46M|1520 | 16 |3713 | 10k|3713 | 930 | 57k| 337k|5081 | 0.000000e+00 | 3.000000e+00 | Inf
527.31/527.39 c 527s|310000 | 1652 | 1611k| 5.2 | 49M|1520 | - |3713 | 14k| 0 | 0 | 59k| 350k|5151 | 0.000000e+00 | 3.000000e+00 | Inf
545.61/545.64 c 546s|320000 | 1666 | 1678k| 5.2 | 49M|1520 | 10 |3713 | 15k|3713 | 938 | 61k| 363k|5232 | 0.000000e+00 | 3.000000e+00 | Inf
563.11/563.19 c 563s|330000 | 1675 | 1735k| 5.3 | 50M|1520 | 11 |3713 | 17k|3713 | 930 | 63k| 376k|5314 | 0.000000e+00 | 3.000000e+00 | Inf
582.21/582.29 c 582s|340000 | 1755 | 1789k| 5.3 | 53M|1520 | - |3713 | 22k| 0 | 0 | 66k| 390k|5395 | 0.000000e+00 | 3.000000e+00 | Inf
602.41/602.47 c 602s|350000 | 1689 | 1844k| 5.3 | 52M|1520 | 16 |3713 | 21k|3713 | 938 | 68k| 404k|5457 | 0.000000e+00 | 3.000000e+00 | Inf
622.11/622.11 c 622s|360000 | 1759 | 1897k| 5.3 | 53M|1520 | - |3713 | 22k| 0 | 0 | 70k| 418k|5564 | 0.000000e+00 | 3.000000e+00 | Inf
642.11/642.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
642.11/642.17 c 642s|370000 | 1766 | 1952k| 5.3 | 53M|1520 | 24 |3713 | 22k|3713 | 942 | 73k| 433k|5624 | 0.000000e+00 | 3.000000e+00 | Inf
661.91/661.93 c 662s|380000 | 1720 | 2009k| 5.3 | 53M|1520 | - |3713 | 22k| 0 | 0 | 75k| 446k|5692 | 0.000000e+00 | 3.000000e+00 | Inf
682.62/682.69 c 683s|390000 | 1773 | 2067k| 5.3 | 54M|1520 | 1 |3713 | 24k|3713 | 952 | 78k| 460k|5810 | 0.000000e+00 | 3.000000e+00 | Inf
703.41/703.47 c 703s|400000 | 1712 | 2123k| 5.3 | 53M|1520 | 21 |3713 | 22k|3713 | 930 | 80k| 474k|5891 | 0.000000e+00 | 3.000000e+00 | Inf
723.31/723.31 c 723s|410000 | 1719 | 2179k| 5.3 | 54M|1520 | - |3713 | 23k| 0 | 0 | 83k| 487k|5957 | 0.000000e+00 | 3.000000e+00 | Inf
745.21/745.25 c 745s|420000 | 1756 | 2241k| 5.3 | 56M|1520 | - |3713 | 29k| 0 | 0 | 85k| 500k|6010 | 0.000000e+00 | 3.000000e+00 | Inf
768.31/768.34 c 768s|430000 | 1760 | 2305k| 5.4 | 56M|1520 | 18 |3713 | 28k|3713 | 952 | 87k| 514k|6083 | 0.000000e+00 | 3.000000e+00 | Inf
790.41/790.48 c 790s|440000 | 1746 | 2366k| 5.4 | 56M|1520 | - |3713 | 27k| 0 | 0 | 89k| 528k|6157 | 0.000000e+00 | 3.000000e+00 | Inf
813.72/813.72 c 814s|450000 | 1732 | 2426k| 5.4 | 56M|1520 | 30 |3713 | 28k|3713 | 954 | 91k| 541k|6223 | 0.000000e+00 | 3.000000e+00 | Inf
836.82/836.88 c 837s|460000 | 1820 | 2487k| 5.4 | 58M|1520 | 19 |3713 | 31k|3713 | 963 | 93k| 555k|6292 | 0.000000e+00 | 3.000000e+00 | Inf
860.81/860.82 c 861s|470000 | 1844 | 2549k| 5.4 | 58M|1520 | - |3713 | 31k| 0 | 0 | 95k| 569k|6385 | 0.000000e+00 | 3.000000e+00 | Inf
884.11/884.11 c 884s|480000 | 1820 | 2612k| 5.4 | 58M|1520 | - |3713 | 30k| 0 | 0 | 98k| 584k|6447 | 0.000000e+00 | 3.000000e+00 | Inf
909.02/909.07 c 909s|490000 | 2019 | 2679k| 5.5 | 60M|1520 | 25 |3713 | 31k|3713 | 954 | 100k| 597k|6519 | 0.000000e+00 | 3.000000e+00 | Inf
933.32/933.39 c 933s|500000 | 2092 | 2740k| 5.5 | 61M|1520 | - |3713 | 31k| 0 | 0 | 102k| 612k|6581 | 0.000000e+00 | 3.000000e+00 | Inf
957.51/957.50 c 957s|510000 | 2151 | 2800k| 5.5 | 61M|1520 | 7 |3713 | 31k|3713 | 954 | 104k| 626k|6629 | 0.000000e+00 | 3.000000e+00 | Inf
981.82/981.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
981.82/981.83 c 982s|520000 | 2219 | 2861k| 5.5 | 62M|1520 | 24 |3713 | 31k|3713 | 977 | 106k| 640k|6684 | 0.000000e+00 | 3.000000e+00 | Inf
1005.12/1005.15 c 1005s|530000 | 2151 | 2917k| 5.5 | 62M|1520 | 1 |3713 | 31k|3713 | 966 | 108k| 655k|6744 | 0.000000e+00 | 3.000000e+00 | Inf
1029.12/1029.15 c 1029s|540000 | 2084 | 2979k| 5.5 | 62M|1520 | 26 |3713 | 32k|3713 | 954 | 110k| 670k|6812 | 0.000000e+00 | 3.000000e+00 | Inf
1053.12/1053.17 c 1053s|550000 | 2059 | 3045k| 5.5 | 61M|1520 | - |3713 | 31k| 0 | 0 | 112k| 685k|6875 | 0.000000e+00 | 3.000000e+00 | Inf
1077.82/1077.81 c 1078s|560000 | 2056 | 3111k| 5.6 | 62M|1520 | - |3713 | 32k| 0 | 0 | 115k| 700k|6952 | 0.000000e+00 | 3.000000e+00 | Inf
1102.02/1102.04 c 1102s|570000 | 2001 | 3177k| 5.6 | 62M|1520 | 16 |3713 | 32k|3713 | 962 | 117k| 715k|7021 | 0.000000e+00 | 3.000000e+00 | Inf
1122.73/1122.75 c 1123s|580000 | 1924 | 3245k| 5.6 | 57M|1520 | - |3713 | 21k|3713 | 970 | 119k| 730k|7088 | 0.000000e+00 | 3.000000e+00 | Inf
1142.73/1142.78 c 1143s|590000 | 1894 | 3312k| 5.6 | 58M|1520 | 1 |3713 | 23k|3713 | 955 | 121k| 745k|7141 | 0.000000e+00 | 3.000000e+00 | Inf
1163.33/1163.37 c 1163s|600000 | 1827 | 3377k| 5.6 | 57M|1520 | - |3713 | 20k| 0 | 0 | 123k| 759k|7201 | 0.000000e+00 | 3.000000e+00 | Inf
1182.62/1182.63 c 1183s|610000 | 1875 | 3436k| 5.6 | 58M|1520 | - |3713 | 23k| 0 | 0 | 126k| 773k|7239 | 0.000000e+00 | 3.000000e+00 | Inf
1202.03/1202.07 c 1202s|620000 | 1782 | 3496k| 5.6 | 54M|1520 | 28 |3713 | 14k|3713 | 930 | 128k| 787k|7285 | 0.000000e+00 | 3.000000e+00 | Inf
1220.03/1220.04 c 1220s|630000 | 1729 | 3550k| 5.6 | 54M|1520 | 20 |3713 | 17k|3713 | 941 | 131k| 801k|7351 | 0.000000e+00 | 3.000000e+00 | Inf
1238.93/1238.91 c 1239s|640000 | 1732 | 3606k| 5.6 | 56M|1520 | 21 |3713 | 22k|3713 | 942 | 133k| 815k|7393 | 0.000000e+00 | 3.000000e+00 | Inf
1260.63/1260.62 c 1261s|650000 | 1676 | 3660k| 5.6 | 54M|1520 | 14 |3713 | 18k|3713 | 930 | 136k| 829k|7465 | 0.000000e+00 | 3.000000e+00 | Inf
1279.83/1279.83 c 1280s|660000 | 1578 | 3723k| 5.6 | 52M|1520 | - |3713 | 17k| 0 | 0 | 138k| 842k|7515 | 0.000000e+00 | 3.000000e+00 | Inf
1299.04/1299.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1299.04/1299.07 c 1299s|670000 | 1596 | 3786k| 5.7 | 53M|1520 | - |3713 | 19k| 0 | 0 | 141k| 856k|7561 | 0.000000e+00 | 3.000000e+00 | Inf
1319.63/1319.60 c 1320s|680000 | 1646 | 3850k| 5.7 | 55M|1520 | 25 |3713 | 24k|3713 | 944 | 144k| 869k|7617 | 0.000000e+00 | 3.000000e+00 | Inf
1341.83/1341.87 c 1342s|690000 | 1680 | 3920k| 5.7 | 56M|1520 | 34 |3713 | 24k|3713 | 952 | 146k| 883k|7670 | 0.000000e+00 | 3.000000e+00 | Inf
1363.63/1363.66 c 1364s|700000 | 1640 | 3983k| 5.7 | 54M|1520 | - |3713 | 20k| 0 | 0 | 149k| 896k|7748 | 0.000000e+00 | 3.000000e+00 | Inf
1383.33/1383.39 c 1383s|710000 | 1561 | 4040k| 5.7 | 51M|1520 | 1 |3713 | 17k|3713 | 936 | 151k| 909k|7919 | 0.000000e+00 | 3.000000e+00 | Inf
1401.23/1401.29 c 1401s|720000 | 1439 | 4094k| 5.7 | 48M|1520 | 21 |3713 | 11k|3713 | 949 | 153k| 921k|8238 | 0.000000e+00 | 3.000000e+00 | Inf
1418.23/1418.27 c 1418s|730000 | 1396 | 4158k| 5.7 | 49M|1520 | 19 |3713 | 16k|3713 | 968 | 156k| 934k|8238 | 0.000000e+00 | 3.000000e+00 | Inf
1437.13/1437.15 c 1437s|740000 | 1398 | 4222k| 5.7 | 50M|1520 | 22 |3713 | 18k|3713 | 970 | 159k| 948k|8238 | 0.000000e+00 | 3.000000e+00 | Inf
1457.13/1457.17 c 1457s|750000 | 1373 | 4285k| 5.7 | 49M|1520 | 1 |3713 | 16k|3713 | 930 | 161k| 961k|8261 | 0.000000e+00 | 3.000000e+00 | Inf
1476.03/1476.01 c 1476s|760000 | 1405 | 4337k| 5.7 | 50M|1520 | 11 |3713 | 19k|3713 | 938 | 163k| 973k|8330 | 0.000000e+00 | 3.000000e+00 | Inf
1495.94/1495.91 c 1496s|770000 | 1443 | 4396k| 5.7 | 51M|1520 | 15 |3713 | 20k|3713 | 938 | 164k| 986k|8375 | 0.000000e+00 | 3.000000e+00 | Inf
1516.63/1516.68 c 1517s|780000 | 1456 | 4457k| 5.7 | 52M|1520 | 13 |3713 | 22k|3713 | 956 | 166k|1000k|8463 | 0.000000e+00 | 3.000000e+00 | Inf
1537.93/1537.95 c 1538s|790000 | 1400 | 4525k| 5.7 | 50M|1520 | 1 |3713 | 19k|3713 | 938 | 168k|1013k|8523 | 0.000000e+00 | 3.000000e+00 | Inf
1555.74/1555.74 c 1556s|800000 | 1165 | 4583k| 5.7 | 46M|1520 | - |3713 | 12k| 0 | 0 | 170k|1026k|8684 | 0.000000e+00 | 3.000000e+00 | Inf
1574.83/1574.87 c 1575s|810000 | 1200 | 4652k| 5.7 | 48M|1520 | 1 |3713 | 16k|3713 | 964 | 171k|1039k|8715 | 0.000000e+00 | 3.000000e+00 | Inf
1594.14/1594.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1594.14/1594.17 c 1594s|820000 | 1182 | 4720k| 5.8 | 48M|1520 | 12 |3713 | 17k|3713 | 939 | 173k|1053k|8759 | 0.000000e+00 | 3.000000e+00 | Inf
1613.74/1613.71 c 1614s|830000 | 1187 | 4781k| 5.8 | 49M|1520 | 19 |3713 | 20k|3713 | 957 | 175k|1066k|8787 | 0.000000e+00 | 3.000000e+00 | Inf
1635.04/1635.02 c 1635s|840000 | 1188 | 4841k| 5.8 | 50M|1520 | - |3713 | 23k| 0 | 0 | 177k|1080k|8823 | 0.000000e+00 | 3.000000e+00 | Inf
1654.84/1654.81 c 1655s|850000 | 1186 | 4896k| 5.8 | 49M|1520 | 6 |3713 | 22k|3713 | 951 | 179k|1093k|8904 | 0.000000e+00 | 3.000000e+00 | Inf
1677.04/1677.04 c 1677s|860000 | 1197 | 4956k| 5.8 | 51M|1520 | 15 |3713 | 26k|3713 | 958 | 181k|1106k|8932 | 0.000000e+00 | 3.000000e+00 | Inf
1699.64/1699.64 o 2
1699.64/1699.64 c *1700s|869876 | 1085 | 5013k| 5.8 | 50M|1520 | - |3713 | 28k|3713 | 963 | 183k|1120k|8969 | 0.000000e+00 | 2.000000e+00 | Inf
1699.94/1699.97 c 1700s|870000 | 1091 | 5014k| 5.8 | 50M|1520 | - |3713 | 27k| 0 | 0 | 183k|1120k|8969 | 0.000000e+00 | 2.000000e+00 | Inf
1724.64/1724.69 c 1725s|880000 | 1105 | 5076k| 5.8 | 51M|1520 | 9 |3713 | 27k|3713 | 948 | 185k|1135k|9031 | 0.000000e+00 | 2.000000e+00 | Inf
1747.35/1747.34 c 1747s|890000 | 1126 | 5141k| 5.8 | 50M|1520 | - |3713 | 25k| 0 | 0 | 188k|1149k|9072 | 0.000000e+00 | 2.000000e+00 | Inf
1768.75/1768.76 c 1769s|900000 | 1141 | 5203k| 5.8 | 51M|1520 | - |3713 | 26k| 0 | 0 | 190k|1163k|9089 | 0.000000e+00 | 2.000000e+00 | Inf
1790.04/1790.01 c
1790.04/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.01 c Solving Time (sec) : 1789.98
1790.04/1790.01 c Solving Nodes : 909885
1790.04/1790.01 c Primal Bound : +2.00000000000000e+00 (173 solutions)
1790.04/1790.01 c Dual Bound : +0.00000000000000e+00
1790.04/1790.01 c Gap : infinite
1790.04/1790.04 s SATISFIABLE
1790.04/1790.04 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1790.04/1790.04 v x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 x190 -x189
1790.04/1790.04 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1790.04/1790.04 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1790.04/1790.04 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126
1790.04/1790.04 v -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1790.04/1790.04 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
1790.04/1790.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
1790.04/1790.04 v -x54 -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
1790.04/1790.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
1790.04/1790.04 v x1
1790.04/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1790.04/1790.04 c Solving Time : 1789.98
1790.04/1790.04 c Original Problem :
1790.04/1790.04 c Problem name : HOME/instance-2705515-1278572954.wbo
1790.04/1790.04 c Variables : 3835 (2033 binary, 0 integer, 1802 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4510 initial, 4510 maximal
1790.04/1790.04 c Presolved Problem :
1790.04/1790.04 c Problem name : t_HOME/instance-2705515-1278572954.wbo
1790.04/1790.04 c Variables : 3713 (1972 binary, 0 integer, 1741 implicit integer, 0 continuous)
1790.04/1790.04 c Constraints : 4342 initial, 33906 maximal
1790.04/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.04/1790.04 c trivial : 0.00 61 0 0 0 0 0 0 0
1790.04/1790.04 c dualfix : 0.00 61 0 0 0 0 0 0 0
1790.04/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c probing : 0.04 0 0 0 0 0 0 0 0
1790.04/1790.04 c setppc : 0.00 0 0 0 0 0 22 0 0
1790.04/1790.04 c linear : 0.05 0 0 0 1810 0 85 67 0
1790.04/1790.04 c indicator : 0.00 0 0 0 0 0 61 0 0
1790.04/1790.04 c logicor : 0.01 0 0 0 0 0 0 0 0
1790.04/1790.04 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1790.04/1790.04 c root node : - 3434 - - 3434 - - - -
1790.04/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c integral : 0 0 0 536520 0 32 567 0 0 932550
1790.04/1790.04 c setppc : 55 7 4878102 60002 1 9020 1272452 0 0 0
1790.04/1790.04 c linear : 1741 7 4883142 69722 1 242276 19852397 193353 0 0
1790.04/1790.04 c indicator : 1741 0 4577858 69461 1 600 1900765 0 0 0
1790.04/1790.04 c logicor : 805+ 7 1599068 44518 1 184262 3964416 0 0 0
1790.04/1790.04 c bounddisjunction : 0+ 0 213826 0 0 142 3588 0 0 0
1790.04/1790.04 c countsols : 0 0 0 44518 1 0 0 0 0 0
1790.04/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.04/1790.04 c integral : 21.09 0.00 0.00 21.09 0.00
1790.04/1790.04 c setppc : 9.87 0.00 9.84 0.03 0.00
1790.04/1790.04 c linear : 153.36 0.00 150.65 2.70 0.00
1790.04/1790.04 c indicator : 23.31 0.02 18.12 5.17 0.00
1790.04/1790.04 c logicor : 311.36 0.00 311.03 0.33 0.00
1790.04/1790.04 c bounddisjunction : 1.12 0.00 1.12 0.00 0.00
1790.04/1790.04 c countsols : 0.01 0.00 0.00 0.01 0.00
1790.04/1790.04 c Propagators : Time Calls Cutoffs DomReds
1790.04/1790.04 c vbounds : 0.76 19874 1 1466
1790.04/1790.04 c rootredcost : 0.70 46 0 1717
1790.04/1790.04 c pseudoobj : 124.68 4898403 6178 1831845
1790.04/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.04/1790.04 c propagation : 21.91 441878 441548 2684283 27.9 12201 25.3 -
1790.04/1790.04 c infeasible LP : 5.31 19899 19899 156960 44.7 219 16.7 0
1790.04/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.04/1790.04 c pseudo solution : 0.00 2 2 16 26.5 0 0.0 -
1790.04/1790.04 c applied globally : - - - 1177789 22.5 - - -
1790.04/1790.04 c applied locally : - - - 0 0.0 - - -
1790.04/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.04/1790.04 c cut pool : 0.00 6 - - 31 - (maximal pool size: 160)
1790.04/1790.04 c redcost : 34.51 539075 0 92090 0 0
1790.04/1790.04 c impliedbounds : 0.00 7 0 0 0 0
1790.04/1790.04 c intobj : 0.00 0 0 0 0 0
1790.04/1790.04 c cgmip : 0.00 0 0 0 0 0
1790.04/1790.04 c gomory : 0.11 7 0 0 1005 0
1790.04/1790.04 c strongcg : 0.09 7 0 0 889 0
1790.04/1790.04 c cmir : 0.03 7 0 0 1 0
1790.04/1790.04 c flowcover : 0.08 7 0 0 2 0
1790.04/1790.04 c clique : 0.00 7 0 0 0 0
1790.04/1790.04 c zerohalf : 0.00 0 0 0 0 0
1790.04/1790.04 c mcf : 0.00 1 0 0 0 0
1790.04/1790.04 c rapidlearning : 0.07 1 0 0 0 0
1790.04/1790.04 c Pricers : Time Calls Vars
1790.04/1790.04 c problem variables: 0.00 0 0
1790.04/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.04/1790.04 c relpscost : 20.70 466729 32 567 0 0 932550
1790.04/1790.04 c pscost : 0.00 0 0 0 0 0 0
1790.04/1790.04 c inference : 9.76 44476 0 0 0 0 89101
1790.04/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1790.04/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1790.04/1790.04 c random : 0.00 0 0 0 0 0 0
1790.04/1790.04 c Primal Heuristics : Time Calls Found
1790.04/1790.04 c LP solutions : 0.08 - 43
1790.04/1790.04 c pseudo solutions : 0.00 - 0
1790.04/1790.04 c intshifting : 0.00 0 0
1790.04/1790.04 c feaspump : 0.01 1 0
1790.04/1790.04 c oneopt : 0.40 41 0
1790.04/1790.04 c guideddiving : 0.15 99 0
1790.04/1790.04 c veclendiving : 0.12 99 0
1790.04/1790.04 c pscostdiving : 0.12 100 0
1790.04/1790.04 c coefdiving : 0.12 100 0
1790.04/1790.04 c fracdiving : 0.12 100 0
1790.04/1790.04 c linesearchdiving : 0.12 100 0
1790.04/1790.04 c crossover : 1.57 44 0
1790.04/1790.04 c objpscostdiving : 0.13 94 0
1790.04/1790.04 c rootsoldiving : 0.14 95 0
1790.04/1790.04 c trivial : 0.00 2 0
1790.04/1790.04 c simplerounding : 0.64 466966 0
1790.04/1790.04 c zirounding : 0.33 1000 0
1790.04/1790.04 c rounding : 3.41 45162 2
1790.04/1790.04 c shifting : 0.64 3014 0
1790.04/1790.04 c twoopt : 0.00 0 0
1790.04/1790.04 c fixandinfer : 0.00 0 0
1790.04/1790.04 c intdiving : 0.00 0 0
1790.04/1790.04 c actconsdiving : 0.00 0 0
1790.04/1790.04 c octane : 0.00 0 0
1790.04/1790.04 c rens : 0.03 1 0
1790.04/1790.04 c rins : 0.00 0 0
1790.04/1790.04 c localbranching : 0.00 0 0
1790.04/1790.04 c mutation : 0.00 0 0
1790.04/1790.04 c dins : 0.00 0 0
1790.04/1790.04 c undercover : 0.00 0 0
1790.04/1790.04 c nlp : 0.15 0 0
1790.04/1790.04 c trysol : 0.35 445 128
1790.04/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1790.04/1790.04 c primal LP : 0.00 0 0 0.00 -
1790.04/1790.04 c dual LP : 575.85 512589 5264951 10.27 9142.99
1790.04/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1790.04/1790.04 c barrier LP : 0.00 0 0 0.00 -
1790.04/1790.04 c diving/probing LP: 0.14 68 1238 18.21 8982.08
1790.04/1790.04 c strong branching : 16.78 9140 188855 20.66 11257.36
1790.04/1790.04 c (at root node) : - 16 2688 168.00 -
1790.04/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1790.04/1790.04 c B&B Tree :
1790.04/1790.04 c number of runs : 1
1790.04/1790.04 c nodes : 909885
1790.04/1790.04 c nodes (total) : 909885
1790.04/1790.04 c nodes left : 1191
1790.04/1790.04 c max depth : 1520
1790.04/1790.04 c max depth (total): 1520
1790.04/1790.04 c backtracks : 76218 (8.4%)
1790.04/1790.04 c delayed cutoffs : 66564
1790.04/1790.04 c repropagations : 2608578 (4538818 domain reductions, 63244 cutoffs)
1790.04/1790.04 c avg switch length: 7.09
1790.04/1790.04 c switching time : 278.49
1790.04/1790.04 c Solution :
1790.04/1790.04 c Solutions found : 173 (46 improvements)
1790.04/1790.04 c First Solution : +8.77540000000000e+04 (in run 1, after 15 nodes, 1.39 seconds, depth 15, found by <trysol>)
1790.04/1790.04 c Primal Bound : +2.00000000000000e+00 (in run 1, after 869876 nodes, 1699.61 seconds, depth 36, found by <relaxation>)
1790.04/1790.04 c Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Gap : infinite
1790.04/1790.04 c Root Dual Bound : +0.00000000000000e+00
1790.04/1790.04 c Root Iterations : 398
1790.14/1790.11 c Time complete: 1790.15.