0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2693591-1277912419.wbo>
0.00/0.03 c original problem has 3957 variables (2094 bin, 0 int, 0 impl, 1863 cont) and 4571 constraints
0.00/0.03 c problem read
0.00/0.03 c presolving settings loaded
0.00/0.03 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
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, 2001 impls, 5 clqs
0.02/0.09 c (round 2) 0 del vars, 66 del conss, 1863 chg bounds, 51 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.02/0.10 c (round 3) 51 del vars, 136 del conss, 1876 chg bounds, 70 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.10 c (round 4) 115 del vars, 151 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 0 upgd conss, 2001 impls, 5 clqs
0.09/0.11 c (round 5) 130 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.12 c (round 6) 132 del vars, 153 del conss, 1878 chg bounds, 72 chg sides, 0 chg coeffs, 824 upgd conss, 2001 impls, 5 clqs
0.09/0.17 c (0.1s) probing: 101/2028 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.17 c presolving (7 rounds):
0.09/0.17 c 132 deleted vars, 153 deleted constraints, 1878 tightened bounds, 0 added holes, 72 changed sides, 0 changed coefficients
0.09/0.17 c 2001 implications, 5 cliques
0.09/0.17 c presolved problem has 3825 variables (2028 bin, 0 int, 0 impl, 1797 cont) and 4418 constraints
0.09/0.17 c 1797 constraints of type <indicator>
0.09/0.17 c 5 constraints of type <setppc>
0.09/0.17 c 1797 constraints of type <linear>
0.09/0.17 c 819 constraints of type <logicor>
0.09/0.17 c transformed objective value is always integral (scale: 1)
0.09/0.17 c Presolving Time: 0.12
0.09/0.17 c - non default parameters ----------------------------------------------------------------------
0.09/0.17 c # SCIP version 1.2.1.2
0.09/0.17 c
0.09/0.17 c # frequency for displaying node information lines
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.17 c display/freq = 10000
0.09/0.17 c
0.09/0.17 c # maximal time in seconds to run
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/time = 1799.98
0.09/0.17 c
0.09/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.17 c limits/memory = 3420
0.09/0.17 c
0.09/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.17 c lp/solvefreq = -1
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify inequalities
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/linear/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # should presolving try to simplify knapsacks
0.09/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.17 c
0.09/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.17 c separating/rapidlearning/freq = 0
0.09/0.17 c
0.09/0.17 c -----------------------------------------------------------------------------------------------
0.09/0.17 c start solving
0.09/0.17 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 | 2 | 0 | - | 12M| 0 | - |3825 |4418 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
2.88/2.96 c 2.8s| 10000 | 9297 | 0 | 0.0 | 19M|1945 | - |3825 |5376 | 0 | 0 | 0 |2276 | 0 | 0.000000e+00 | -- | Inf
6.50/6.56 c 6.4s| 20000 | 16835 | 0 | 0.0 | 29M|1945 | - |3825 |6906 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
11.00/11.06 c 10.8s| 30000 | 23908 | 0 | 0.0 | 37M|1945 | - |3825 |8709 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
14.09/14.12 c 13.8s| 40000 | 33903 | 0 | 0.0 | 40M|1945 | - |3825 |7957 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | -- | Inf
16.08/16.10 o 721
16.08/16.10 c *15.7s| 46646 | 35464 | 0 | 0.0 | 41M|1945 | - |3825 |7640 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 7.210000e+02 | Inf
16.59/16.64 o 665
16.59/16.64 c *16.2s| 48058 | 35005 | 0 | 0.0 | 41M|1945 | - |3825 |7425 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.650000e+02 | Inf
16.59/16.64 o 648
16.59/16.64 c *16.2s| 48059 | 34488 | 0 | 0.0 | 41M|1945 | - |3825 |7425 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 6.480000e+02 | Inf
16.79/16.81 o 468
16.79/16.81 c *16.4s| 48505 | 23064 | 0 | 0.0 | 37M|1945 | - |3825 |7380 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.680000e+02 | Inf
16.89/16.99 o 419
16.89/16.99 c *16.6s| 49036 | 21868 | 0 | 0.0 | 36M|1945 | - |3825 |7284 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 4.190000e+02 | Inf
16.99/17.05 o 281
16.99/17.05 c *16.6s| 49176 | 20574 | 0 | 0.0 | 36M|1945 | - |3825 |7222 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.810000e+02 | Inf
16.99/17.05 o 255
16.99/17.05 c *16.6s| 49177 | 20478 | 0 | 0.0 | 36M|1945 | - |3825 |7222 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.550000e+02 | Inf
17.29/17.39 o 246
17.29/17.39 c *16.9s| 49922 | 20946 | 0 | 0.0 | 36M|1945 | - |3825 |7013 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
17.39/17.42 c 17.0s| 50000 | 21021 | 0 | 0.0 | 36M|1945 | - |3825 |6935 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.460000e+02 | Inf
17.49/17.60 o 245
17.49/17.60 c *17.1s| 50391 | 21391 | 0 | 0.0 | 37M|1945 | - |3825 |6838 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 2.450000e+02 | Inf
18.28/18.32 o 233
18.28/18.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.28/18.32 c *17.9s| 52171 | 22974 | 0 | 0.0 | 38M|1945 | - |3825 |6722 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 2.330000e+02 | Inf
18.28/18.33 o 199
18.28/18.33 c *17.9s| 52172 | 22696 | 0 | 0.0 | 37M|1945 | - |3825 |6722 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.990000e+02 | Inf
18.28/18.37 o 195
18.28/18.37 c *17.9s| 52270 | 22764 | 0 | 0.0 | 37M|1945 | - |3825 |6723 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.950000e+02 | Inf
18.38/18.43 o 133
18.38/18.43 c *18.0s| 52425 | 22121 | 0 | 0.0 | 37M|1945 | - |3825 |6723 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.330000e+02 | Inf
18.38/18.44 o 114
18.38/18.44 c *18.0s| 52426 | 21908 | 0 | 0.0 | 37M|1945 | - |3825 |6723 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.140000e+02 | Inf
18.48/18.55 o 90
18.48/18.55 c *18.1s| 52657 | 21368 | 0 | 0.0 | 37M|1945 | - |3825 |6734 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 9.000000e+01 | Inf
18.48/18.55 o 84
18.48/18.55 c *18.1s| 52658 | 20965 | 0 | 0.0 | 37M|1945 | - |3825 |6734 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
18.79/18.86 o 61
18.79/18.86 c *18.4s| 53304 | 20234 | 0 | 0.0 | 37M|1945 | - |3825 |6687 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 6.100000e+01 | Inf
18.79/18.86 o 49
18.79/18.86 c *18.4s| 53305 | 19838 | 0 | 0.0 | 37M|1945 | - |3825 |6687 | 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
21.49/21.50 c 21.0s| 60000 | 25554 | 0 | 0.0 | 45M|1945 | - |3825 |4672 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
25.29/25.37 c 24.7s| 70000 | 33062 | 0 | 0.0 | 54M|1945 | - |3825 |5608 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
29.79/29.80 c 29.1s| 80000 | 39891 | 0 | 0.0 | 62M|1945 | - |3825 |6322 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
34.79/34.81 c 34.0s| 90000 | 46090 | 0 | 0.0 | 71M|1945 | - |3825 |6871 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
40.79/40.83 c 39.8s|100000 | 51166 | 0 | 0.0 | 82M|1945 | - |3825 |7477 | 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
47.20/47.21 c 46.1s|110000 | 55830 | 0 | 0.0 | 92M|1945 | - |3825 |8325 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
53.89/53.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.89/53.94 c 52.7s|120000 | 60131 | 0 | 0.0 | 102M|1945 | - |3825 |9270 | 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
61.59/61.65 c 60.3s|130000 | 63324 | 0 | 0.0 | 111M|1945 | - |3825 | 11k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
70.39/70.45 c 69.0s|140000 | 66013 | 0 | 0.0 | 117M|1945 | - |3825 |7677 | 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 4.900000e+01 | Inf
72.50/72.55 o 40
72.50/72.55 c *71.0s|144685 | 69661 | 0 | 0.0 | 120M|1945 | - |3825 |4774 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 4.000000e+01 | Inf
75.39/75.45 o 37
75.39/75.45 c *73.8s|149579 | 73371 | 0 | 0.0 | 127M|1945 | - |3825 |4561 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
75.69/75.71 c 74.1s|150000 | 73688 | 0 | 0.0 | 128M|1945 | - |3825 |4638 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
75.79/75.85 o 30
75.79/75.85 c *74.2s|150235 | 73501 | 0 | 0.0 | 127M|1945 | - |3825 |4708 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.000000e+01 | Inf
77.29/77.39 o 28
77.29/77.39 c *75.7s|152982 | 75389 | 0 | 0.0 | 131M|1945 | - |3825 |5036 | 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
80.30/80.36 o 27
80.30/80.36 c *78.6s|158217 | 79124 | 0 | 0.0 | 138M|1945 | - |3825 |5033 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
81.40/81.41 c 79.6s|160000 | 80404 | 0 | 0.0 | 140M|1945 | - |3825 |5155 | 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 2.700000e+01 | Inf
84.60/84.70 o 24
84.60/84.70 c *82.8s|165387 | 83762 | 0 | 0.0 | 146M|1945 | - |3825 |5679 | 0 | 0 | 0 | 112k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
87.90/87.95 c 86.0s|170000 | 86387 | 0 | 0.0 | 153M|1945 | - |3825 |6127 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
89.00/89.06 o 18
89.00/89.06 c *87.2s|171382 | 84851 | 0 | 0.0 | 146M|1945 | - |3825 |6494 | 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
93.79/93.82 c 91.8s|180000 | 90062 | 0 | 0.0 | 155M|1945 | - |3825 |6181 | 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
93.99/94.03 o 13
93.99/94.03 c *92.0s|180401 | 89836 | 0 | 0.0 | 153M|1945 | - |3825 |6289 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
99.09/99.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.09/99.11 c 97.0s|190000 | 95459 | 0 | 0.0 | 162M|1945 | - |3825 |6922 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
104.40/104.41 c 102s|200000 |101845 | 0 | 0.0 | 172M|1945 | - |3825 |7599 | 0 | 0 | 0 | 135k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
109.19/109.24 c 107s|210000 |108493 | 0 | 0.0 | 181M|1945 | - |3825 |7753 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
113.49/113.55 c 111s|220000 |115917 | 0 | 0.0 | 189M|1945 | - |3825 |5051 | 0 | 0 | 0 | 145k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
117.49/117.57 c 114s|230000 |123326 | 0 | 0.0 | 198M|1945 | - |3825 |6009 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
123.59/123.69 c 120s|240000 |128596 | 0 | 0.0 | 207M|1945 | - |3825 |7872 | 0 | 0 | 0 | 157k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
129.98/130.09 c 126s|250000 |133638 | 0 | 0.0 | 216M|1945 | - |3825 |9461 | 0 | 0 | 0 | 165k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
137.29/137.34 c 133s|260000 |138103 | 0 | 0.0 | 224M|1945 | - |3825 |9921 | 0 | 0 | 0 | 174k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
145.49/145.52 c 141s|270000 |141776 | 0 | 0.0 | 233M|1945 | - |3825 | 10k| 0 | 0 | 0 | 184k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
154.19/154.29 c 149s|280000 |145008 | 0 | 0.0 | 241M|1945 | - |3825 | 12k| 0 | 0 | 0 | 195k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
163.80/163.87 c 159s|290000 |147770 | 0 | 0.0 | 249M|1945 | - |3825 | 12k| 0 | 0 | 0 | 207k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
173.59/173.62 c 168s|300000 |150504 | 0 | 0.0 | 257M|1945 | - |3825 | 13k| 0 | 0 | 0 | 219k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
184.10/184.10 c 178s|310000 |152675 | 0 | 0.0 | 264M|1945 | - |3825 | 14k| 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
194.79/194.82 c 188s|320000 |155245 | 0 | 0.0 | 272M|1945 | - |3825 | 14k| 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
206.89/206.98 c 200s|330000 |157079 | 0 | 0.0 | 279M|1945 | - |3825 | 15k| 0 | 0 | 0 | 258k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
219.29/219.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.29/219.33 c 212s|340000 |158942 | 0 | 0.0 | 286M|1945 | - |3825 | 15k| 0 | 0 | 0 | 273k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
231.10/231.19 c 224s|350000 |160962 | 0 | 0.0 | 292M|1945 | - |3825 | 15k| 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
243.89/243.92 c 236s|360000 |162479 | 0 | 0.0 | 298M|1945 | - |3825 | 16k| 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
258.19/258.21 c 250s|370000 |162983 | 0 | 0.0 | 304M|1945 | - |3825 | 17k| 0 | 0 | 0 | 320k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
273.80/273.83 c 265s|380000 |162678 | 0 | 0.0 | 308M|1945 | - |3825 | 19k| 0 | 0 | 0 | 341k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
293.30/293.38 c 284s|390000 |160546 | 0 | 0.0 | 310M|1945 | - |3825 | 23k| 0 | 0 | 0 | 369k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
302.50/302.57 c 293s|400000 |166290 | 0 | 0.0 | 311M|1945 | - |3825 |6312 | 0 | 0 | 0 | 378k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
307.70/307.72 c 298s|410000 |173993 | 0 | 0.0 | 323M|1945 | - |3825 |6251 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
312.60/312.67 c 302s|420000 |181600 | 0 | 0.0 | 333M|1945 | - |3825 |6353 | 0 | 0 | 0 | 389k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
318.40/318.41 c 308s|430000 |188395 | 0 | 0.0 | 343M|1945 | - |3825 |7564 | 0 | 0 | 0 | 396k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
325.51/325.59 c 314s|440000 |194143 | 0 | 0.0 | 353M|1945 | - |3825 |8634 | 0 | 0 | 0 | 404k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
334.70/334.73 c 323s|450000 |198618 | 0 | 0.0 | 365M|1945 | - |3825 | 10k| 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
346.00/346.04 c 334s|460000 |202183 | 0 | 0.0 | 377M|1945 | - |3825 | 13k| 0 | 0 | 0 | 426k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
359.10/359.11 c 347s|470000 |205585 | 0 | 0.0 | 392M|1945 | - |3825 | 13k| 0 | 0 | 0 | 438k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
371.00/371.02 c 358s|480000 |210167 | 0 | 0.0 | 410M|1945 | - |3825 | 12k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
379.90/379.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
379.90/379.97 c 366s|490000 |215491 | 0 | 0.0 | 423M|1945 | - |3825 |5857 | 0 | 0 | 0 | 455k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
386.70/386.74 c 373s|500000 |220636 | 0 | 0.0 | 433M|1945 | - |3825 |6456 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
394.40/394.40 c 380s|510000 |225079 | 0 | 0.0 | 444M|1945 | - |3825 |7577 | 0 | 0 | 0 | 469k| 0 | 0.000000e+00 | 1.300000e+01 | Inf
400.80/400.84 o 7
400.80/400.84 c * 386s|517083 |224531 | 0 | 0.0 | 436M|1945 | - |3825 |8463 | 0 | 0 | 0 | 476k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
404.80/404.81 c 390s|520000 |224763 | 0 | 0.0 | 442M|1945 | - |3825 |9240 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 7.000000e+00 | Inf
407.20/407.25 o 5
407.20/407.25 c * 392s|521723 |222856 | 0 | 0.0 | 437M|1945 | - |3825 |9763 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 5.000000e+00 | Inf
407.20/407.28 o 2
407.20/407.28 c * 392s|521724 |206955 | 0 | 0.0 | 417M|1945 | - |3825 |9763 | 0 | 0 | 0 | 482k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
413.80/413.86 c 398s|530000 |210638 | 0 | 0.0 | 421M|1945 | - |3825 |6207 | 0 | 0 | 0 | 487k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
418.50/418.53 c 403s|540000 |217671 | 0 | 0.0 | 430M|1945 | - |3825 |6968 | 0 | 0 | 0 | 492k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
423.90/423.97 c 408s|550000 |224147 | 0 | 0.0 | 438M|1945 | - |3825 |7643 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
432.70/432.74 c 416s|560000 |227841 | 0 | 0.0 | 447M|1945 | - |3825 | 10k| 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
442.30/442.30 c 425s|570000 |231056 | 0 | 0.0 | 452M|1945 | - |3825 |7773 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
447.01/447.06 c 430s|580000 |238131 | 0 | 0.0 | 460M|1945 | - |3825 |7748 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
452.40/452.40 c 435s|590000 |244574 | 0 | 0.0 | 468M|1945 | - |3825 |8475 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
460.90/460.95 c 443s|600000 |248269 | 0 | 0.0 | 478M|1945 | - |3825 | 10k| 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
471.41/471.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
471.41/471.44 c 453s|610000 |250757 | 0 | 0.0 | 483M|1945 | - |3825 |9238 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
476.01/476.02 c 457s|620000 |258026 | 0 | 0.0 | 491M|1945 | - |3825 |7616 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
480.71/480.74 c 461s|630000 |264770 | 0 | 0.0 | 499M|1945 | - |3825 |8181 | 0 | 0 | 0 | 554k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
487.90/487.95 c 468s|640000 |269288 | 0 | 0.0 | 508M|1945 | - |3825 |9681 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
498.10/498.17 c 478s|650000 |271141 | 0 | 0.0 | 515M|1945 | - |3825 | 11k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
502.80/502.87 c 482s|660000 |278454 | 0 | 0.0 | 522M|1945 | - |3825 |7921 | 0 | 0 | 0 | 575k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
507.50/507.59 c 487s|670000 |285329 | 0 | 0.0 | 530M|1945 | - |3825 |8383 | 0 | 0 | 0 | 579k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
514.61/514.62 c 493s|680000 |290007 | 0 | 0.0 | 539M|1945 | - |3825 | 10k| 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
524.01/524.02 c 502s|690000 |292696 | 0 | 0.0 | 547M|1945 | - |3825 | 12k| 0 | 0 | 0 | 596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.20/536.29 c 514s|700000 |293569 | 0 | 0.0 | 553M|1945 | - |3825 | 11k| 0 | 0 | 0 | 608k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
549.91/549.98 c 527s|710000 |293966 | 0 | 0.0 | 559M|1945 | - |3825 | 13k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
566.01/566.00 c 543s|720000 |293515 | 0 | 0.0 | 563M|1945 | - |3825 | 14k| 0 | 0 | 0 | 632k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
582.81/582.84 c 559s|730000 |292694 | 0 | 0.0 | 568M|1945 | - |3825 | 14k| 0 | 0 | 0 | 646k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
600.80/600.87 c 577s|740000 |291439 | 0 | 0.0 | 571M|1945 | - |3825 | 17k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
621.01/621.05 c 597s|750000 |289540 | 0 | 0.0 | 572M|1945 | - |3825 | 18k| 0 | 0 | 0 | 675k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
641.61/641.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
641.61/641.60 c 617s|760000 |287882 | 0 | 0.0 | 574M|1945 | - |3825 | 19k| 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
663.22/663.27 c 638s|770000 |285664 | 0 | 0.0 | 574M|1945 | - |3825 | 21k| 0 | 0 | 0 | 706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
686.21/686.21 c 660s|780000 |282901 | 0 | 0.0 | 573M|1945 | - |3825 | 21k| 0 | 0 | 0 | 723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
709.31/709.39 c 683s|790000 |280155 | 0 | 0.0 | 572M|1945 | - |3825 | 21k| 0 | 0 | 0 | 739k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
733.01/733.08 c 706s|800000 |276714 | 0 | 0.0 | 567M|1945 | - |3825 | 21k| 0 | 0 | 0 | 758k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
760.32/760.38 c 733s|810000 |267599 | 0 | 0.0 | 555M|1945 | - |3825 | 23k| 0 | 0 | 0 | 778k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
783.01/783.05 c 755s|820000 |257051 | 0 | 0.0 | 518M|1945 | - |3825 |7658 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
788.72/788.80 c 760s|830000 |263200 | 0 | 0.0 | 526M|1945 | - |3825 |5607 | 0 | 0 | 0 | 801k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.42/794.45 c 766s|840000 |269248 | 0 | 0.0 | 534M|1945 | - |3825 |6255 | 0 | 0 | 0 | 807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
800.22/800.21 c 771s|850000 |275264 | 0 | 0.0 | 542M|1945 | - |3825 |6610 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
806.51/806.58 c 777s|860000 |280768 | 0 | 0.0 | 550M|1945 | - |3825 |7289 | 0 | 0 | 0 | 819k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.72/813.74 c 784s|870000 |285699 | 0 | 0.0 | 558M|1945 | - |3825 |7803 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
821.81/821.85 c 792s|880000 |289939 | 0 | 0.0 | 566M|1945 | - |3825 |8007 | 0 | 0 | 0 | 833k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
830.42/830.46 c 800s|890000 |293753 | 0 | 0.0 | 575M|1945 | - |3825 |8770 | 0 | 0 | 0 | 841k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
839.92/839.95 c 809s|900000 |296818 | 0 | 0.0 | 583M|1945 | - |3825 |9170 | 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
849.62/849.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.62/849.62 c 818s|910000 |299081 | 0 | 0.0 | 590M|1945 | - |3825 |9205 | 0 | 0 | 0 | 860k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
859.32/859.35 c 827s|920000 |301381 | 0 | 0.0 | 597M|1945 | - |3825 |9907 | 0 | 0 | 0 | 870k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
869.52/869.59 c 837s|930000 |303142 | 0 | 0.0 | 604M|1945 | - |3825 | 10k| 0 | 0 | 0 | 880k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
880.61/880.69 c 848s|940000 |304213 | 0 | 0.0 | 611M|1945 | - |3825 | 10k| 0 | 0 | 0 | 892k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
893.22/893.29 c 860s|950000 |303977 | 0 | 0.0 | 616M|1945 | - |3825 | 11k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
906.72/906.79 c 873s|960000 |303207 | 0 | 0.0 | 619M|1945 | - |3825 | 12k| 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
922.52/922.51 c 888s|970000 |301098 | 0 | 0.0 | 621M|1945 | - |3825 | 13k| 0 | 0 | 0 | 934k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
938.72/938.79 c 904s|980000 |298617 | 0 | 0.0 | 619M|1945 | - |3825 | 11k| 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
949.52/949.54 c 914s|990000 |299994 | 0 | 0.0 | 621M|1945 | - |3825 |8295 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
957.82/957.81 c 922s| 1000k|303221 | 0 | 0.0 | 626M|1945 | - |3825 |8400 | 0 | 0 | 0 | 969k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
965.42/965.45 c 929s| 1010k|307164 | 0 | 0.0 | 633M|1945 | - |3825 |9596 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
974.43/974.50 c 938s| 1020k|309954 | 0 | 0.0 | 639M|1945 | - |3825 | 10k| 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
984.02/984.04 c 947s| 1030k|312578 | 0 | 0.0 | 646M|1945 | - |3825 | 11k| 0 | 0 | 0 | 995k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
995.12/995.10 c 957s| 1040k|314276 | 0 | 0.0 | 652M|1945 | - |3825 | 13k| 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1007.82/1007.82 c 970s| 1050k|314965 | 0 | 0.0 | 658M|1945 | - |3825 | 15k| 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1023.42/1023.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1023.42/1023.41 c 985s| 1060k|313945 | 0 | 0.0 | 661M|1945 | - |3825 | 17k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1042.42/1042.47 c 1003s| 1070k|311075 | 0 | 0.0 | 660M|1945 | - |3825 | 20k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1053.73/1053.78 c 1014s| 1080k|313708 | 0 | 0.0 | 658M|1945 | - |3825 |9444 | 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1060.12/1060.14 c 1020s| 1090k|319154 | 0 | 0.0 | 666M|1945 | - |3825 |9082 | 0 | 0 | 0 |1063k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1067.73/1067.77 c 1027s| 1100k|323462 | 0 | 0.0 | 674M|1945 | - |3825 |9936 | 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1076.22/1076.26 c 1035s| 1110k|327130 | 0 | 0.0 | 682M|1945 | - |3825 | 10k| 0 | 0 | 0 |1079k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1085.33/1085.30 c 1044s| 1120k|330265 | 0 | 0.0 | 689M|1945 | - |3825 | 11k| 0 | 0 | 0 |1087k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.23/1095.26 c 1053s| 1130k|332681 | 0 | 0.0 | 696M|1945 | - |3825 | 12k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1105.72/1105.72 c 1063s| 1140k|334788 | 0 | 0.0 | 703M|1945 | - |3825 | 12k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1116.93/1116.96 c 1074s| 1150k|336273 | 0 | 0.0 | 708M|1945 | - |3825 | 13k| 0 | 0 | 0 |1118k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1129.43/1129.41 c 1086s| 1160k|337045 | 0 | 0.0 | 712M|1945 | - |3825 | 14k| 0 | 0 | 0 |1129k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.33/1143.39 c 1099s| 1170k|337108 | 0 | 0.0 | 715M|1945 | - |3825 | 16k| 0 | 0 | 0 |1142k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1157.93/1157.99 c 1113s| 1180k|337422 | 0 | 0.0 | 714M|1945 | - |3825 | 11k| 0 | 0 | 0 |1156k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1164.83/1164.84 c 1119s| 1190k|342750 | 0 | 0.0 | 721M|1945 | - |3825 |9647 | 0 | 0 | 0 |1162k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1172.13/1172.16 c 1126s| 1200k|347225 | 0 | 0.0 | 729M|1945 | - |3825 |9760 | 0 | 0 | 0 |1169k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1180.42/1180.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1180.42/1180.46 c 1134s| 1210k|350846 | 0 | 0.0 | 737M|1945 | - |3825 | 10k| 0 | 0 | 0 |1178k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1189.63/1189.64 c 1143s| 1220k|353712 | 0 | 0.0 | 744M|1945 | - |3825 | 10k| 0 | 0 | 0 |1187k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1199.23/1199.25 c 1152s| 1230k|356218 | 0 | 0.0 | 750M|1945 | - |3825 | 10k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1209.43/1209.41 c 1162s| 1240k|358197 | 0 | 0.0 | 757M|1945 | - |3825 | 12k| 0 | 0 | 0 |1206k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1220.43/1220.44 c 1172s| 1250k|359603 | 0 | 0.0 | 762M|1945 | - |3825 | 12k| 0 | 0 | 0 |1217k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.53/1232.53 c 1184s| 1260k|360383 | 0 | 0.0 | 766M|1945 | - |3825 | 13k| 0 | 0 | 0 |1229k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1245.94/1245.97 c 1197s| 1270k|360569 | 0 | 0.0 | 769M|1945 | - |3825 | 15k| 0 | 0 | 0 |1242k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1260.14/1260.12 c 1210s| 1280k|360928 | 0 | 0.0 | 770M|1945 | - |3825 | 16k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1268.43/1268.41 c 1218s| 1290k|365929 | 0 | 0.0 | 777M|1945 | - |3825 | 12k| 0 | 0 | 0 |1262k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1276.83/1276.82 c 1226s| 1300k|370354 | 0 | 0.0 | 785M|1945 | - |3825 | 13k| 0 | 0 | 0 |1269k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1285.74/1285.76 c 1235s| 1310k|374320 | 0 | 0.0 | 792M|1945 | - |3825 | 14k| 0 | 0 | 0 |1277k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1295.54/1295.55 c 1244s| 1320k|377770 | 0 | 0.0 | 799M|1945 | - |3825 | 14k| 0 | 0 | 0 |1286k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1306.33/1306.33 c 1254s| 1330k|380554 | 0 | 0.0 | 806M|1945 | - |3825 | 15k| 0 | 0 | 0 |1295k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1316.94/1316.96 c 1265s| 1340k|383397 | 0 | 0.0 | 813M|1945 | - |3825 | 15k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1328.63/1328.69 c 1276s| 1350k|385532 | 0 | 0.0 | 819M|1945 | - |3825 | 16k| 0 | 0 | 0 |1315k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1341.64/1341.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1341.64/1341.66 c 1288s| 1360k|386727 | 0 | 0.0 | 823M|1945 | - |3825 | 16k| 0 | 0 | 0 |1326k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1355.84/1355.89 c 1302s| 1370k|387255 | 0 | 0.0 | 827M|1945 | - |3825 | 18k| 0 | 0 | 0 |1339k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1372.43/1372.47 c 1318s| 1380k|386245 | 0 | 0.0 | 828M|1945 | - |3825 | 21k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1385.83/1385.82 c 1331s| 1390k|389014 | 0 | 0.0 | 830M|1945 | - |3825 | 18k| 0 | 0 | 0 |1364k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1395.53/1395.59 c 1340s| 1400k|393544 | 0 | 0.0 | 837M|1945 | - |3825 | 14k| 0 | 0 | 0 |1371k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1404.64/1404.66 c 1349s| 1410k|397839 | 0 | 0.0 | 844M|1945 | - |3825 | 14k| 0 | 0 | 0 |1379k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.33/1414.35 c 1358s| 1420k|401566 | 0 | 0.0 | 851M|1945 | - |3825 | 15k| 0 | 0 | 0 |1387k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.55/1424.50 c 1368s| 1430k|404905 | 0 | 0.0 | 859M|1945 | - |3825 | 14k| 0 | 0 | 0 |1396k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1434.74/1434.77 c 1378s| 1440k|407825 | 0 | 0.0 | 865M|1945 | - |3825 | 14k| 0 | 0 | 0 |1405k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1446.44/1446.45 c 1389s| 1450k|409552 | 0 | 0.0 | 870M|1945 | - |3825 | 15k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1459.44/1459.43 c 1401s| 1460k|410552 | 0 | 0.0 | 875M|1945 | - |3825 | 15k| 0 | 0 | 0 |1427k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.23/1474.25 c 1416s| 1470k|410178 | 0 | 0.0 | 877M|1945 | - |3825 | 17k| 0 | 0 | 0 |1441k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.84/1492.87 c 1434s| 1480k|407964 | 0 | 0.0 | 876M|1945 | - |3825 | 22k| 0 | 0 | 0 |1457k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1522.24/1522.22 c 1462s| 1490k|401941 | 0 | 0.0 | 867M|1945 | - |3825 | 24k| 0 | 0 | 0 |1478k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1556.55/1556.57 c 1496s| 1500k|394960 | 0 | 0.0 | 848M|1945 | - |3825 | 29k| 0 | 0 | 0 |1500k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1585.74/1585.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.74/1585.70 c 1525s| 1510k|389557 | 0 | 0.0 | 810M|1945 | - |3825 | 17k| 0 | 0 | 0 |1518k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1600.74/1600.73 c 1539s| 1520k|391324 | 0 | 0.0 | 816M|1945 | - |3825 | 15k| 0 | 0 | 0 |1530k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1616.74/1616.76 c 1555s| 1530k|392053 | 0 | 0.0 | 820M|1945 | - |3825 | 14k| 0 | 0 | 0 |1542k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1633.24/1633.26 c 1571s| 1540k|392247 | 0 | 0.0 | 824M|1945 | - |3825 | 15k| 0 | 0 | 0 |1555k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1651.25/1651.27 c 1588s| 1550k|391595 | 0 | 0.0 | 828M|1945 | - |3825 | 15k| 0 | 0 | 0 |1569k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.44/1669.43 c 1606s| 1560k|390957 | 0 | 0.0 | 830M|1945 | - |3825 | 15k| 0 | 0 | 0 |1583k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1687.95/1687.99 c 1624s| 1570k|389962 | 0 | 0.0 | 832M|1945 | - |3825 | 15k| 0 | 0 | 0 |1598k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1706.75/1706.73 c 1642s| 1580k|388884 | 0 | 0.0 | 834M|1945 | - |3825 | 16k| 0 | 0 | 0 |1612k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1726.04/1726.01 c 1661s| 1590k|387530 | 0 | 0.0 | 836M|1945 | - |3825 | 17k| 0 | 0 | 0 |1626k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1746.85/1746.85 c 1681s| 1600k|385541 | 0 | 0.0 | 836M|1945 | - |3825 | 18k| 0 | 0 | 0 |1641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.65/1768.65 c 1702s| 1610k|383121 | 0 | 0.0 | 836M|1945 | - |3825 | 18k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1791.15/1791.15 c 1724s| 1620k|380233 | 0 | 0.0 | 835M|1945 | - |3825 | 18k| 0 | 0 | 0 |1672k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.05/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.00 c Solving Time (sec) : 1732.82
1800.05/1800.00 c Solving Nodes : 1623921
1800.05/1800.00 c Primal Bound : +2.00000000000000e+00 (29 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.05 s SATISFIABLE
1800.05/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.05/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.05/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.05/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.05/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.05/1800.05 v -x125 x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104
1800.05/1800.05 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.05/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.05/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.05/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.05/1800.05 v -x1
1800.05/1800.05 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.05 c Solving Time : 1732.82
1800.05/1800.05 c Original Problem :
1800.05/1800.05 c Problem name : HOME/instance-2693591-1277912419.wbo
1800.05/1800.05 c Variables : 3957 (2094 binary, 0 integer, 0 implicit integer, 1863 continuous)
1800.05/1800.05 c Constraints : 4571 initial, 4571 maximal
1800.05/1800.05 c Presolved Problem :
1800.05/1800.05 c Problem name : t_HOME/instance-2693591-1277912419.wbo
1800.05/1800.05 c Variables : 3825 (2028 binary, 0 integer, 0 implicit integer, 1797 continuous)
1800.05/1800.05 c Constraints : 4418 initial, 35769 maximal
1800.05/1800.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.05 c trivial : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.05 c dualfix : 0.00 66 0 0 0 0 0 0 0
1800.05/1800.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 0.00 0 0 0 0 0 66 0 0
1800.05/1800.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c linear : 0.05 0 0 0 1878 0 87 72 0
1800.05/1800.05 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.05 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.05 c root node : - 1791 - - 3582 - - - -
1800.05/1800.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.05 c indicator : 1797 0 4233758 0 892961 143 1248661 0 0 0
1800.05/1800.05 c setppc : 5 0 6203411 0 1169493 2757 1857198 0 0 0
1800.05/1800.05 c linear : 1797 0 6253374 0 1182318 471012 38280822 0 0 0
1800.05/1800.05 c logicor : 819+ 0 3774289 0 1182331 184574 6993287 0 0 0
1800.05/1800.05 c bounddisjunction : 0+ 0 43460 0 0 0 23 0 0 0
1800.05/1800.05 c countsols : 0 0 0 0 1182328 0 0 0 0 0
1800.05/1800.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.05 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.05 c indicator : 8.08 0.00 3.13 0.00 4.95
1800.05/1800.05 c setppc : 8.02 0.00 7.34 0.00 0.68
1800.05/1800.05 c linear : 320.52 0.00 320.10 0.00 0.42
1800.05/1800.05 c logicor : 471.94 0.00 441.53 0.00 30.41
1800.05/1800.05 c bounddisjunction : 0.02 0.00 0.02 0.00 0.00
1800.05/1800.05 c countsols : 0.04 0.00 0.00 0.00 0.04
1800.05/1800.05 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.05 c vbounds : 0.20 2 0 0
1800.05/1800.05 c rootredcost : 0.17 0 0 0
1800.05/1800.05 c pseudoobj : 214.30 6258641 2476 1211503
1800.05/1800.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.05 c propagation : 27.19 660819 660773 2877718 17.1 71333 9.8 -
1800.05/1800.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.05 c pseudo solution : 0.00 42 42 146 15.3 52 8.3 -
1800.05/1800.05 c applied globally : - - - 1678954 15.9 - - -
1800.05/1800.05 c applied locally : - - - 2 220.0 - - -
1800.05/1800.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.05 c redcost : 0.00 0 0 0 0 0
1800.05/1800.05 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.05 c intobj : 0.00 0 0 0 0 0
1800.05/1800.05 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.05 c gomory : 0.00 0 0 0 0 0
1800.05/1800.05 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.05 c cmir : 0.00 0 0 0 0 0
1800.05/1800.05 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.05 c clique : 0.00 0 0 0 0 0
1800.05/1800.05 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.05 c mcf : 0.00 0 0 0 0 0
1800.05/1800.05 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.05 c Pricers : Time Calls Vars
1800.05/1800.05 c problem variables: 0.00 0 0
1800.05/1800.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.05 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.05 c inference : 21.78 1182299 0 0 0 0 2364598
1800.05/1800.05 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.05 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.05 c random : 0.00 0 0 0 0 0 0
1800.05/1800.05 c Primal Heuristics : Time Calls Found
1800.05/1800.05 c LP solutions : 0.00 - 0
1800.05/1800.05 c pseudo solutions : 0.11 - 29
1800.05/1800.05 c oneopt : 0.10 0 0
1800.05/1800.05 c trivial : 0.02 2 0
1800.05/1800.05 c simplerounding : 0.00 0 0
1800.05/1800.05 c zirounding : 0.00 0 0
1800.05/1800.05 c rounding : 0.00 0 0
1800.05/1800.05 c shifting : 0.00 0 0
1800.05/1800.05 c intshifting : 0.00 0 0
1800.05/1800.05 c twoopt : 0.00 0 0
1800.05/1800.05 c fixandinfer : 0.00 0 0
1800.05/1800.05 c feaspump : 0.00 0 0
1800.05/1800.05 c coefdiving : 0.00 0 0
1800.05/1800.05 c pscostdiving : 0.00 0 0
1800.05/1800.05 c fracdiving : 0.00 0 0
1800.05/1800.05 c veclendiving : 0.00 0 0
1800.05/1800.05 c intdiving : 0.00 0 0
1800.05/1800.05 c actconsdiving : 0.00 0 0
1800.05/1800.05 c objpscostdiving : 0.00 0 0
1800.05/1800.05 c rootsoldiving : 0.00 0 0
1800.05/1800.05 c linesearchdiving : 0.00 0 0
1800.05/1800.05 c guideddiving : 0.00 0 0
1800.05/1800.05 c octane : 0.00 0 0
1800.05/1800.05 c rens : 0.00 0 0
1800.05/1800.05 c rins : 0.00 0 0
1800.05/1800.05 c localbranching : 0.00 0 0
1800.05/1800.05 c mutation : 0.00 0 0
1800.05/1800.05 c crossover : 0.00 0 0
1800.05/1800.05 c dins : 0.00 0 0
1800.05/1800.05 c undercover : 0.00 0 0
1800.05/1800.05 c nlp : 0.10 0 0
1800.05/1800.05 c trysol : 0.07 1 0
1800.05/1800.05 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.05 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.05 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.05 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.05 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.05 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.05 c (at root node) : - 0 0 0.00 -
1800.05/1800.05 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.05 c B&B Tree :
1800.05/1800.05 c number of runs : 1
1800.05/1800.05 c nodes : 1623921
1800.05/1800.05 c nodes (total) : 1623921
1800.05/1800.05 c nodes left : 379216
1800.05/1800.05 c max depth : 1945
1800.05/1800.05 c max depth (total): 1945
1800.05/1800.05 c backtracks : 446792 (27.5%)
1800.05/1800.05 c delayed cutoffs : 309520
1800.05/1800.05 c repropagations : 1714436 (14082233 domain reductions, 219411 cutoffs)
1800.05/1800.05 c avg switch length: 55.67
1800.05/1800.05 c switching time : 566.45
1800.05/1800.05 c Solution :
1800.05/1800.05 c Solutions found : 29 (29 improvements)
1800.05/1800.05 c First Solution : +7.21000000000000e+02 (in run 1, after 46646 nodes, 15.67 seconds, depth 344, found by <relaxation>)
1800.05/1800.05 c Primal Bound : +2.00000000000000e+00 (in run 1, after 521724 nodes, 392.18 seconds, depth 251, found by <relaxation>)
1800.05/1800.05 c Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Gap : infinite
1800.05/1800.05 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.05 c Root Iterations : 0
1801.35/1801.38 c Time complete: 1801.44.