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-2694113-1277906070.wbo>
0.01/0.03 c original problem has 3801 variables (2016 bin, 0 int, 0 impl, 1785 cont) and 4493 constraints
0.01/0.03 c problem read
0.01/0.03 c presolving settings loaded
0.01/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.01/0.05 c presolving:
0.01/0.05 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.01/0.09 c (round 2) 0 del vars, 75 del conss, 1785 chg bounds, 52 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.01/0.09 c (round 3) 52 del vars, 171 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 0 upgd conss, 1937 impls, 11 clqs
0.10/0.11 c (round 4) 128 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.10/0.12 c (round 5) 152 del vars, 195 del conss, 1809 chg bounds, 96 chg sides, 0 chg coeffs, 880 upgd conss, 1937 impls, 11 clqs
0.10/0.17 c (0.1s) probing: 101/1940 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.10/0.17 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.10/0.17 c presolving (6 rounds):
0.10/0.17 c 152 deleted vars, 195 deleted constraints, 1809 tightened bounds, 0 added holes, 96 changed sides, 0 changed coefficients
0.10/0.17 c 1937 implications, 11 cliques
0.10/0.17 c presolved problem has 3649 variables (1940 bin, 0 int, 0 impl, 1709 cont) and 4298 constraints
0.10/0.17 c 1709 constraints of type <indicator>
0.10/0.17 c 11 constraints of type <setppc>
0.10/0.17 c 1709 constraints of type <linear>
0.10/0.17 c 869 constraints of type <logicor>
0.10/0.17 c transformed objective value is always integral (scale: 1)
0.10/0.17 c Presolving Time: 0.13
0.10/0.17 c - non default parameters ----------------------------------------------------------------------
0.10/0.17 c # SCIP version 1.2.1.2
0.10/0.17 c
0.10/0.17 c # frequency for displaying node information lines
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 100]
0.10/0.17 c display/freq = 10000
0.10/0.17 c
0.10/0.17 c # maximal time in seconds to run
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/time = 1799.98
0.10/0.17 c
0.10/0.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.10/0.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.10/0.17 c limits/memory = 3420
0.10/0.17 c
0.10/0.17 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: 1]
0.10/0.17 c lp/solvefreq = -1
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify inequalities
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/linear/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # should presolving try to simplify knapsacks
0.10/0.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.10/0.17 c constraints/knapsack/simplifyinequalities = TRUE
0.10/0.17 c
0.10/0.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.10/0.17 c # [type: int, range: [-1,2147483647], default: -1]
0.10/0.17 c separating/rapidlearning/freq = 0
0.10/0.17 c
0.10/0.17 c -----------------------------------------------------------------------------------------------
0.10/0.17 c start solving
0.10/0.17 c
0.10/0.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.10/0.18 c 0.1s| 1 | 2 | 0 | - | 12M| 0 | - |3649 |4298 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.29/1.39 o 414
1.29/1.39 c * 1.3s| 4723 | 4136 | 0 | 0.0 | 16M|1899 | - |3649 |5000 | 0 | 0 | 0 |1109 | 0 | 0.000000e+00 | 4.140000e+02 | Inf
1.39/1.46 o 403
1.39/1.46 c * 1.4s| 4917 | 4323 | 0 | 0.0 | 16M|1899 | - |3649 |5005 | 0 | 0 | 0 |1122 | 0 | 0.000000e+00 | 4.030000e+02 | Inf
1.69/1.73 o 385
1.69/1.73 c * 1.7s| 5759 | 5147 | 0 | 0.0 | 16M|1899 | - |3649 |5050 | 0 | 0 | 0 |1218 | 0 | 0.000000e+00 | 3.850000e+02 | Inf
1.69/1.73 o 363
1.69/1.73 c * 1.7s| 5760 | 5096 | 0 | 0.0 | 16M|1899 | - |3649 |5050 | 0 | 0 | 0 |1218 | 0 | 0.000000e+00 | 3.630000e+02 | Inf
1.69/1.78 o 344
1.69/1.78 c * 1.7s| 5913 | 5216 | 0 | 0.0 | 16M|1899 | - |3649 |5060 | 0 | 0 | 0 |1238 | 0 | 0.000000e+00 | 3.440000e+02 | Inf
1.69/1.78 o 322
1.69/1.78 c * 1.7s| 5914 | 5179 | 0 | 0.0 | 16M|1899 | - |3649 |5060 | 0 | 0 | 0 |1238 | 0 | 0.000000e+00 | 3.220000e+02 | Inf
1.89/1.93 o 261
1.89/1.93 c * 1.8s| 6495 | 5431 | 0 | 0.0 | 17M|1899 | - |3649 |5078 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 2.610000e+02 | Inf
1.89/1.95 o 180
1.89/1.95 c * 1.9s| 6592 | 5376 | 0 | 0.0 | 16M|1899 | - |3649 |5064 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 1.800000e+02 | Inf
1.89/1.95 o 154
1.89/1.95 c * 1.9s| 6593 | 5362 | 0 | 0.0 | 17M|1899 | - |3649 |5064 | 0 | 0 | 0 |1302 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
2.79/2.80 c 2.7s| 10000 | 8386 | 0 | 0.0 | 19M|1899 | - |3649 |5551 | 0 | 0 | 0 |2859 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
5.60/5.67 c 5.5s| 20000 | 16549 | 0 | 0.0 | 28M|1899 | - |3649 |6597 | 0 | 0 | 0 |9121 | 0 | 0.000000e+00 | 1.540000e+02 | Inf
9.39/9.45 c 9.2s| 30000 | 23502 | 0 | 0.0 | 38M|1899 | - |3649 |7809 | 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.540000e+02 | Inf
11.39/11.46 o 151
11.39/11.46 c *11.1s| 33645 | 25717 | 0 | 0.0 | 42M|1899 | - |3649 |7550 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.510000e+02 | Inf
11.49/11.51 o 105
11.49/11.51 c *11.2s| 33751 | 25429 | 0 | 0.0 | 41M|1899 | - |3649 |7515 | 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.050000e+02 | Inf
12.10/12.15 o 104
12.10/12.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.10/12.15 c *11.8s| 35112 | 26701 | 0 | 0.0 | 43M|1899 | - |3649 |7178 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.040000e+02 | Inf
12.39/12.43 o 93
12.39/12.43 c *12.1s| 35589 | 26889 | 0 | 0.0 | 44M|1899 | - |3649 |7173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 9.300000e+01 | Inf
12.39/12.43 o 84
12.39/12.43 c *12.1s| 35590 | 26530 | 0 | 0.0 | 44M|1899 | - |3649 |7173 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 8.400000e+01 | Inf
12.39/12.46 o 63
12.39/12.46 c *12.1s| 35634 | 25886 | 0 | 0.0 | 42M|1899 | - |3649 |7158 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 6.300000e+01 | Inf
12.69/12.78 o 57
12.69/12.78 c *12.4s| 36155 | 26126 | 0 | 0.0 | 44M|1899 | - |3649 |7308 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.700000e+01 | Inf
12.79/12.83 o 56
12.79/12.83 c *12.4s| 36216 | 26158 | 0 | 0.0 | 45M|1899 | - |3649 |7334 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 5.600000e+01 | Inf
14.40/14.40 o 50
14.40/14.40 c *14.0s| 39547 | 28618 | 0 | 0.0 | 53M|1899 | - |3649 |6369 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 5.000000e+01 | Inf
14.40/14.41 o 42
14.40/14.41 c *14.0s| 39548 | 28373 | 0 | 0.0 | 52M|1899 | - |3649 |6369 | 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 4.200000e+01 | Inf
14.49/14.55 o 37
14.49/14.55 c *14.1s| 39845 | 27843 | 0 | 0.0 | 51M|1899 | - |3649 |6323 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
14.59/14.63 c 14.2s| 40000 | 27970 | 0 | 0.0 | 52M|1899 | - |3649 |6359 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 3.700000e+01 | Inf
14.59/14.68 o 28
14.59/14.68 c *14.3s| 40118 | 27720 | 0 | 0.0 | 51M|1899 | - |3649 |6366 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 2.800000e+01 | Inf
14.59/14.68 o 10
14.59/14.68 c *14.3s| 40119 | 26806 | 0 | 0.0 | 51M|1899 | - |3649 |6366 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
19.39/19.41 c 18.9s| 50000 | 34803 | 0 | 0.0 | 89M|1899 | - |3649 |5149 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
22.49/22.53 c 21.9s| 60000 | 42802 | 0 | 0.0 | 96M|1899 | - |3649 |4725 | 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
25.49/25.51 c 24.8s| 70000 | 50927 | 0 | 0.0 | 104M|1899 | - |3649 |4672 | 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
28.39/28.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.39/28.47 c 27.7s| 80000 | 59050 | 0 | 0.0 | 112M|1899 | - |3649 |5054 | 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
31.69/31.72 c 30.8s| 90000 | 66642 | 0 | 0.0 | 121M|1899 | - |3649 |5539 | 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
35.20/35.25 c 34.3s|100000 | 73861 | 0 | 0.0 | 129M|1899 | - |3649 |5935 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
39.10/39.17 c 38.1s|110000 | 80399 | 0 | 0.0 | 139M|1899 | - |3649 |6531 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
43.50/43.58 c 42.4s|120000 | 86068 | 0 | 0.0 | 148M|1899 | - |3649 |7068 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
48.69/48.72 c 47.4s|130000 | 90349 | 0 | 0.0 | 157M|1899 | - |3649 |7707 | 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
54.90/54.94 c 53.5s|140000 | 92002 | 0 | 0.0 | 165M|1899 | - |3649 |8591 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
61.79/61.87 c 60.3s|150000 | 91426 | 0 | 0.0 | 164M|1899 | - |3649 |4461 | 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
65.19/65.24 c 63.6s|160000 | 99436 | 0 | 0.0 | 172M|1899 | - |3649 |5371 | 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
70.20/70.24 c 68.5s|170000 |105347 | 0 | 0.0 | 181M|1899 | - |3649 |5041 | 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
73.89/73.93 c 72.0s|180000 |113005 | 0 | 0.0 | 190M|1899 | - |3649 |5894 | 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
78.60/78.66 c 76.7s|190000 |119435 | 0 | 0.0 | 199M|1899 | - |3649 |5750 | 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
83.09/83.19 c 81.1s|200000 |125950 | 0 | 0.0 | 208M|1899 | - |3649 |5904 | 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
87.09/87.17 c 85.0s|210000 |133293 | 0 | 0.0 | 217M|1899 | - |3649 |5457 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
91.30/91.39 c 89.1s|220000 |140333 | 0 | 0.0 | 226M|1899 | - |3649 |6638 | 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
96.90/96.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.90/96.98 c 94.5s|230000 |145835 | 0 | 0.0 | 236M|1899 | - |3649 |9424 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
100.19/100.21 c 97.7s|240000 |154249 | 0 | 0.0 | 242M|1899 | - |3649 |5900 | 0 | 0 | 0 | 140k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
103.59/103.62 c 101s|250000 |162227 | 0 | 0.0 | 251M|1899 | - |3649 |6525 | 0 | 0 | 0 | 144k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
107.19/107.29 c 105s|260000 |169926 | 0 | 0.0 | 259M|1899 | - |3649 |6887 | 0 | 0 | 0 | 149k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
111.10/111.15 c 108s|270000 |177358 | 0 | 0.0 | 267M|1899 | - |3649 |7478 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
115.40/115.44 c 112s|280000 |184275 | 0 | 0.0 | 276M|1899 | - |3649 |8658 | 0 | 0 | 0 | 160k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
119.80/119.87 c 117s|290000 |191035 | 0 | 0.0 | 285M|1899 | - |3649 | 10k| 0 | 0 | 0 | 167k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
125.09/125.13 c 122s|300000 |197050 | 0 | 0.0 | 293M|1899 | - |3649 | 11k| 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
129.09/129.13 c 126s|310000 |204582 | 0 | 0.0 | 301M|1899 | - |3649 |9981 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
133.39/133.41 c 130s|320000 |211653 | 0 | 0.0 | 309M|1899 | - |3649 |8735 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
137.69/137.79 c 134s|330000 |218549 | 0 | 0.0 | 318M|1899 | - |3649 |9393 | 0 | 0 | 0 | 191k| 0 | 0.000000e+00 | 1.000000e+01 | Inf
140.10/140.19 o 8
140.10/140.19 c * 137s|336638 |222736 | 0 | 0.0 | 321M|1899 | - |3649 |9312 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
141.79/141.87 c 138s|340000 |224795 | 0 | 0.0 | 324M|1899 | - |3649 | 10k| 0 | 0 | 0 | 196k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
145.89/145.95 c 142s|350000 |232298 | 0 | 0.0 | 333M|1899 | - |3649 | 10k| 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
149.99/150.07 c 146s|360000 |239685 | 0 | 0.0 | 342M|1899 | - |3649 | 10k| 0 | 0 | 0 | 206k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
154.50/154.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.50/154.52 c 151s|370000 |246658 | 0 | 0.0 | 351M|1899 | - |3649 | 10k| 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
157.90/157.92 c 154s|380000 |254844 | 0 | 0.0 | 358M|1899 | - |3649 |9435 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
162.39/162.43 c 158s|390000 |261606 | 0 | 0.0 | 368M|1899 | - |3649 | 12k| 0 | 0 | 0 | 220k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
166.90/166.91 c 163s|400000 |268798 | 0 | 0.0 | 375M|1899 | - |3649 |9712 | 0 | 0 | 0 | 225k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
170.80/170.85 c 167s|410000 |276193 | 0 | 0.0 | 384M|1899 | - |3649 | 11k| 0 | 0 | 0 | 229k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
176.00/176.03 c 172s|420000 |282440 | 0 | 0.0 | 393M|1899 | - |3649 | 12k| 0 | 0 | 0 | 236k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
180.59/180.66 c 176s|430000 |289272 | 0 | 0.0 | 401M|1899 | - |3649 | 11k| 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
184.99/185.03 c 180s|440000 |296205 | 0 | 0.0 | 410M|1899 | - |3649 | 12k| 0 | 0 | 0 | 248k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
188.99/189.00 c 184s|450000 |303821 | 0 | 0.0 | 418M|1899 | - |3649 | 11k| 0 | 0 | 0 | 252k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
193.29/193.32 c 188s|460000 |311053 | 0 | 0.0 | 426M|1899 | - |3649 |5683 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
196.39/196.48 c 192s|470000 |319222 | 0 | 0.0 | 434M|1899 | - |3649 |5297 | 0 | 0 | 0 | 260k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
200.40/200.45 c 195s|480000 |326131 | 0 | 0.0 | 442M|1899 | - |3649 |7305 | 0 | 0 | 0 | 265k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
204.69/204.72 c 200s|490000 |332910 | 0 | 0.0 | 451M|1899 | - |3649 |8450 | 0 | 0 | 0 | 271k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
209.30/209.30 c 204s|500000 |339491 | 0 | 0.0 | 460M|1899 | - |3649 |9679 | 0 | 0 | 0 | 276k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
213.99/214.05 c 209s|510000 |346001 | 0 | 0.0 | 468M|1899 | - |3649 | 10k| 0 | 0 | 0 | 282k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
219.00/219.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
219.00/219.03 c 214s|520000 |352445 | 0 | 0.0 | 477M|1899 | - |3649 | 11k| 0 | 0 | 0 | 288k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
224.09/224.16 c 219s|530000 |358875 | 0 | 0.0 | 486M|1899 | - |3649 | 12k| 0 | 0 | 0 | 294k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
229.29/229.39 c 224s|540000 |365295 | 0 | 0.0 | 494M|1899 | - |3649 | 13k| 0 | 0 | 0 | 301k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
234.79/234.83 c 229s|550000 |371637 | 0 | 0.0 | 503M|1899 | - |3649 | 13k| 0 | 0 | 0 | 307k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
240.30/240.37 c 235s|560000 |377911 | 0 | 0.0 | 511M|1899 | - |3649 | 13k| 0 | 0 | 0 | 313k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
246.40/246.46 c 241s|570000 |383719 | 0 | 0.0 | 520M|1899 | - |3649 | 14k| 0 | 0 | 0 | 321k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
252.79/252.87 c 247s|580000 |389320 | 0 | 0.0 | 529M|1899 | - |3649 | 14k| 0 | 0 | 0 | 328k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
259.70/259.77 c 254s|590000 |394623 | 0 | 0.0 | 538M|1899 | - |3649 | 15k| 0 | 0 | 0 | 337k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
266.29/266.32 c 260s|600000 |400289 | 0 | 0.0 | 547M|1899 | - |3649 | 15k| 0 | 0 | 0 | 344k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
273.29/273.33 c 267s|610000 |405486 | 0 | 0.0 | 556M|1899 | - |3649 | 16k| 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
280.89/280.96 c 274s|620000 |410367 | 0 | 0.0 | 565M|1899 | - |3649 | 16k| 0 | 0 | 0 | 362k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
288.69/288.76 c 282s|630000 |415191 | 0 | 0.0 | 573M|1899 | - |3649 | 16k| 0 | 0 | 0 | 371k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
296.79/296.90 c 290s|640000 |419844 | 0 | 0.0 | 582M|1899 | - |3649 | 17k| 0 | 0 | 0 | 380k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
305.10/305.11 c 298s|650000 |424440 | 0 | 0.0 | 591M|1899 | - |3649 | 17k| 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
314.19/314.29 c 307s|660000 |428403 | 0 | 0.0 | 599M|1899 | - |3649 | 18k| 0 | 0 | 0 | 401k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
323.89/323.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
323.89/323.90 c 317s|670000 |432112 | 0 | 0.0 | 608M|1899 | - |3649 | 19k| 0 | 0 | 0 | 412k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
333.90/333.96 c 327s|680000 |435637 | 0 | 0.0 | 616M|1899 | - |3649 | 19k| 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
344.60/344.66 c 337s|690000 |438693 | 0 | 0.0 | 624M|1899 | - |3649 | 19k| 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
355.30/355.39 c 348s|700000 |441616 | 0 | 0.0 | 632M|1899 | - |3649 | 19k| 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
367.19/367.25 c 360s|710000 |443566 | 0 | 0.0 | 639M|1899 | - |3649 | 20k| 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
379.19/379.25 c 372s|720000 |445680 | 0 | 0.0 | 646M|1899 | - |3649 | 20k| 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
391.89/391.99 c 384s|730000 |446928 | 0 | 0.0 | 652M|1899 | - |3649 | 20k| 0 | 0 | 0 | 489k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
405.49/405.52 c 398s|740000 |447520 | 0 | 0.0 | 657M|1899 | - |3649 | 20k| 0 | 0 | 0 | 505k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
420.40/420.44 c 412s|750000 |446550 | 0 | 0.0 | 659M|1899 | - |3649 | 23k| 0 | 0 | 0 | 523k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
428.50/428.57 c 420s|760000 |452056 | 0 | 0.0 | 660M|1899 | - |3649 |8618 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
433.20/433.24 c 425s|770000 |459656 | 0 | 0.0 | 671M|1899 | - |3649 |7988 | 0 | 0 | 0 | 535k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
438.00/438.05 c 430s|780000 |467055 | 0 | 0.0 | 682M|1899 | - |3649 |8610 | 0 | 0 | 0 | 539k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
443.09/443.15 c 434s|790000 |474195 | 0 | 0.0 | 693M|1899 | - |3649 |9141 | 0 | 0 | 0 | 544k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
448.30/448.35 c 440s|800000 |481249 | 0 | 0.0 | 704M|1899 | - |3649 |9354 | 0 | 0 | 0 | 550k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
454.21/454.25 c 445s|810000 |487664 | 0 | 0.0 | 716M|1899 | - |3649 | 10k| 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
460.90/460.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
460.90/460.91 c 452s|820000 |493565 | 0 | 0.0 | 729M|1899 | - |3649 | 11k| 0 | 0 | 0 | 563k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
468.30/468.34 c 459s|830000 |498993 | 0 | 0.0 | 742M|1899 | - |3649 | 12k| 0 | 0 | 0 | 572k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
476.60/476.68 c 467s|840000 |503755 | 0 | 0.0 | 756M|1899 | - |3649 | 13k| 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
486.30/486.33 c 477s|850000 |507576 | 0 | 0.0 | 769M|1899 | - |3649 | 16k| 0 | 0 | 0 | 593k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
497.40/497.41 c 488s|860000 |510593 | 0 | 0.0 | 781M|1899 | - |3649 | 20k| 0 | 0 | 0 | 607k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
509.00/509.09 c 499s|870000 |514091 | 0 | 0.0 | 790M|1899 | - |3649 | 20k| 0 | 0 | 0 | 620k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
514.81/514.81 c 505s|880000 |521894 | 0 | 0.0 | 797M|1899 | - |3649 | 13k| 0 | 0 | 0 | 624k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
519.90/519.91 c 510s|890000 |529494 | 0 | 0.0 | 806M|1899 | - |3649 | 12k| 0 | 0 | 0 | 628k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
525.10/525.15 c 515s|900000 |536809 | 0 | 0.0 | 816M|1899 | - |3649 | 12k| 0 | 0 | 0 | 633k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
530.60/530.61 c 520s|910000 |543935 | 0 | 0.0 | 827M|1899 | - |3649 | 13k| 0 | 0 | 0 | 638k| 0 | 0.000000e+00 | 8.000000e+00 | Inf
534.70/534.70 o 2
534.70/534.70 c * 524s|917055 |530190 | 0 | 0.0 | 805M|1899 | - |3649 | 13k| 0 | 0 | 0 | 641k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
536.60/536.65 c 526s|920000 |532115 | 0 | 0.0 | 811M|1899 | - |3649 | 14k| 0 | 0 | 0 | 643k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
544.70/544.76 c 534s|930000 |537758 | 0 | 0.0 | 831M|1899 | - |3649 | 15k| 0 | 0 | 0 | 651k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
554.00/554.00 c 543s|940000 |542737 | 0 | 0.0 | 852M|1899 | - |3649 | 17k| 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
565.00/565.04 c 554s|950000 |546768 | 0 | 0.0 | 872M|1899 | - |3649 | 20k| 0 | 0 | 0 | 671k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
577.00/577.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.00/577.02 c 566s|960000 |549955 | 0 | 0.0 | 885M|1899 | - |3649 | 20k| 0 | 0 | 0 | 684k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
587.00/587.06 c 576s|970000 |554730 | 0 | 0.0 | 894M|1899 | - |3649 | 20k| 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
595.90/595.91 c 584s|980000 |560646 | 0 | 0.0 | 908M|1899 | - |3649 | 19k| 0 | 0 | 0 | 701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
603.90/603.99 c 592s|990000 |566850 | 0 | 0.0 | 923M|1899 | - |3649 | 19k| 0 | 0 | 0 | 709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
612.61/612.64 c 601s| 1000k|572676 | 0 | 0.0 | 939M|1899 | - |3649 | 20k| 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
622.01/622.03 c 610s| 1010k|578111 | 0 | 0.0 | 956M|1899 | - |3649 | 21k| 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
632.60/632.65 c 621s| 1020k|582827 | 0 | 0.0 | 974M|1899 | - |3649 | 23k| 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
644.50/644.52 c 632s| 1030k|587141 | 0 | 0.0 | 991M|1899 | - |3649 | 24k| 0 | 0 | 0 | 745k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
655.01/655.09 c 643s| 1040k|592332 | 0 | 0.0 |1006M|1899 | - |3649 | 23k| 0 | 0 | 0 | 754k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
664.00/664.03 c 651s| 1050k|598437 | 0 | 0.0 |1020M|1899 | - |3649 | 23k| 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
672.30/672.35 c 660s| 1060k|604866 | 0 | 0.0 |1036M|1899 | - |3649 | 23k| 0 | 0 | 0 | 769k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
680.30/680.33 c 667s| 1070k|611461 | 0 | 0.0 |1051M|1899 | - |3649 | 22k| 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
688.11/688.10 c 675s| 1080k|617998 | 0 | 0.0 |1067M|1899 | - |3649 | 21k| 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
695.90/695.91 c 683s| 1090k|624404 | 0 | 0.0 |1083M|1899 | - |3649 | 21k| 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
703.70/703.79 c 691s| 1100k|630738 | 0 | 0.0 |1099M|1899 | - |3649 | 22k| 0 | 0 | 0 | 797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
712.11/712.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
712.11/712.15 c 699s| 1110k|636859 | 0 | 0.0 |1116M|1899 | - |3649 | 23k| 0 | 0 | 0 | 805k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
720.91/720.96 c 707s| 1120k|642729 | 0 | 0.0 |1133M|1899 | - |3649 | 24k| 0 | 0 | 0 | 813k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
730.41/730.41 c 717s| 1130k|648321 | 0 | 0.0 |1149M|1899 | - |3649 | 25k| 0 | 0 | 0 | 821k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
739.00/739.03 c 725s| 1140k|653359 | 0 | 0.0 |1155M|1899 | - |3649 | 13k| 0 | 0 | 0 | 830k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
746.70/746.77 c 733s| 1150k|657723 | 0 | 0.0 |1163M|1899 | - |3649 | 14k| 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
755.40/755.45 c 741s| 1160k|661628 | 0 | 0.0 |1171M|1899 | - |3649 | 16k| 0 | 0 | 0 | 850k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
765.20/765.22 c 751s| 1170k|664691 | 0 | 0.0 |1178M|1899 | - |3649 | 17k| 0 | 0 | 0 | 863k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
776.70/776.76 c 762s| 1180k|666549 | 0 | 0.0 |1180M|1899 | - |3649 | 14k| 0 | 0 | 0 | 879k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
780.80/780.82 c 766s| 1190k|674460 | 0 | 0.0 |1187M|1899 | - |3649 | 10k| 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
785.00/785.08 c 770s| 1200k|681978 | 0 | 0.0 |1195M|1899 | - |3649 | 10k| 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
789.51/789.58 c 775s| 1210k|689294 | 0 | 0.0 |1203M|1899 | - |3649 | 10k| 0 | 0 | 0 | 891k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
794.00/794.03 c 779s| 1220k|696561 | 0 | 0.0 |1212M|1899 | - |3649 | 11k| 0 | 0 | 0 | 895k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
798.61/798.69 c 784s| 1230k|703672 | 0 | 0.0 |1220M|1899 | - |3649 | 11k| 0 | 0 | 0 | 900k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
803.60/803.61 c 789s| 1240k|710567 | 0 | 0.0 |1228M|1899 | - |3649 | 11k| 0 | 0 | 0 | 905k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
808.40/808.43 c 793s| 1250k|717511 | 0 | 0.0 |1236M|1899 | - |3649 | 12k| 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
813.30/813.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.30/813.31 c 798s| 1260k|724406 | 0 | 0.0 |1245M|1899 | - |3649 | 12k| 0 | 0 | 0 | 915k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
818.71/818.73 c 803s| 1270k|730831 | 0 | 0.0 |1253M|1899 | - |3649 | 12k| 0 | 0 | 0 | 921k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
824.01/824.08 c 809s| 1280k|737294 | 0 | 0.0 |1260M|1899 | - |3649 | 12k| 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
829.50/829.57 c 814s| 1290k|743666 | 0 | 0.0 |1269M|1899 | - |3649 | 13k| 0 | 0 | 0 | 933k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
835.10/835.15 c 819s| 1300k|749887 | 0 | 0.0 |1276M|1899 | - |3649 | 13k| 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
840.71/840.70 c 825s| 1310k|756130 | 0 | 0.0 |1284M|1899 | - |3649 | 13k| 0 | 0 | 0 | 945k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
846.51/846.52 c 831s| 1320k|762154 | 0 | 0.0 |1291M|1899 | - |3649 | 13k| 0 | 0 | 0 | 951k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
852.41/852.42 c 836s| 1330k|768134 | 0 | 0.0 |1299M|1899 | - |3649 | 13k| 0 | 0 | 0 | 958k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
858.41/858.42 c 842s| 1340k|774105 | 0 | 0.0 |1307M|1899 | - |3649 | 13k| 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
864.51/864.58 c 848s| 1350k|779807 | 0 | 0.0 |1315M|1899 | - |3649 | 13k| 0 | 0 | 0 | 972k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
870.81/870.87 c 855s| 1360k|785397 | 0 | 0.0 |1322M|1899 | - |3649 | 13k| 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
877.21/877.29 c 861s| 1370k|790953 | 0 | 0.0 |1330M|1899 | - |3649 | 14k| 0 | 0 | 0 | 986k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
883.81/883.84 c 867s| 1380k|796430 | 0 | 0.0 |1338M|1899 | - |3649 | 14k| 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
890.40/890.47 c 874s| 1390k|801840 | 0 | 0.0 |1345M|1899 | - |3649 | 15k| 0 | 0 | 0 |1001k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
897.00/897.01 c 880s| 1400k|807386 | 0 | 0.0 |1352M|1899 | - |3649 | 15k| 0 | 0 | 0 |1009k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
903.41/903.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
903.41/903.48 c 887s| 1410k|812982 | 0 | 0.0 |1360M|1899 | - |3649 | 14k| 0 | 0 | 0 |1016k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
909.90/909.95 c 893s| 1420k|818504 | 0 | 0.0 |1367M|1899 | - |3649 | 15k| 0 | 0 | 0 |1024k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
916.81/916.81 c 900s| 1430k|823719 | 0 | 0.0 |1374M|1899 | - |3649 | 14k| 0 | 0 | 0 |1031k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
923.70/923.75 c 906s| 1440k|828812 | 0 | 0.0 |1382M|1899 | - |3649 | 15k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
930.51/930.52 c 913s| 1450k|834240 | 0 | 0.0 |1389M|1899 | - |3649 | 15k| 0 | 0 | 0 |1047k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
937.50/937.51 c 920s| 1460k|839440 | 0 | 0.0 |1397M|1899 | - |3649 | 16k| 0 | 0 | 0 |1055k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
945.00/945.08 c 927s| 1470k|844202 | 0 | 0.0 |1404M|1899 | - |3649 | 16k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
952.41/952.48 c 935s| 1480k|849237 | 0 | 0.0 |1412M|1899 | - |3649 | 17k| 0 | 0 | 0 |1073k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
960.60/960.61 c 943s| 1490k|853782 | 0 | 0.0 |1419M|1899 | - |3649 | 18k| 0 | 0 | 0 |1082k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
969.41/969.45 c 951s| 1500k|858089 | 0 | 0.0 |1427M|1899 | - |3649 | 19k| 0 | 0 | 0 |1092k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
978.71/978.79 c 961s| 1510k|862093 | 0 | 0.0 |1434M|1899 | - |3649 | 20k| 0 | 0 | 0 |1102k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
988.81/988.81 c 970s| 1520k|865723 | 0 | 0.0 |1441M|1899 | - |3649 | 22k| 0 | 0 | 0 |1114k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
999.61/999.61 c 981s| 1530k|868931 | 0 | 0.0 |1449M|1899 | - |3649 | 24k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1011.92/1011.99 c 993s| 1540k|871342 | 0 | 0.0 |1453M|1899 | - |3649 | 20k| 0 | 0 | 0 |1139k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1017.61/1017.66 c 999s| 1550k|878035 | 0 | 0.0 |1457M|1899 | - |3649 | 13k| 0 | 0 | 0 |1145k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1022.31/1022.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.31/1022.34 c 1003s| 1560k|885154 | 0 | 0.0 |1465M|1899 | - |3649 | 12k| 0 | 0 | 0 |1149k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1027.01/1027.09 c 1008s| 1570k|892084 | 0 | 0.0 |1473M|1899 | - |3649 | 13k| 0 | 0 | 0 |1154k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1032.31/1032.34 c 1013s| 1580k|898542 | 0 | 0.0 |1482M|1899 | - |3649 | 14k| 0 | 0 | 0 |1159k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1038.11/1038.12 c 1019s| 1590k|904499 | 0 | 0.0 |1491M|1899 | - |3649 | 15k| 0 | 0 | 0 |1166k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1044.71/1044.79 c 1025s| 1600k|909697 | 0 | 0.0 |1500M|1899 | - |3649 | 16k| 0 | 0 | 0 |1173k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1052.61/1052.64 c 1033s| 1610k|913910 | 0 | 0.0 |1509M|1899 | - |3649 | 19k| 0 | 0 | 0 |1183k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1062.91/1062.97 c 1043s| 1620k|916314 | 0 | 0.0 |1516M|1899 | - |3649 | 23k| 0 | 0 | 0 |1196k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1068.41/1068.43 c 1049s| 1630k|923457 | 0 | 0.0 |1520M|1899 | - |3649 | 12k| 0 | 0 | 0 |1200k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1072.61/1072.67 c 1053s| 1640k|930951 | 0 | 0.0 |1528M|1899 | - |3649 | 12k| 0 | 0 | 0 |1204k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1077.30/1077.31 c 1057s| 1650k|937960 | 0 | 0.0 |1537M|1899 | - |3649 | 13k| 0 | 0 | 0 |1209k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1082.42/1082.49 c 1062s| 1660k|944521 | 0 | 0.0 |1546M|1899 | - |3649 | 14k| 0 | 0 | 0 |1214k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1088.11/1088.12 c 1068s| 1670k|950569 | 0 | 0.0 |1554M|1899 | - |3649 | 15k| 0 | 0 | 0 |1220k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1095.11/1095.12 c 1075s| 1680k|955569 | 0 | 0.0 |1563M|1899 | - |3649 | 17k| 0 | 0 | 0 |1228k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1103.32/1103.38 c 1083s| 1690k|959538 | 0 | 0.0 |1572M|1899 | - |3649 | 19k| 0 | 0 | 0 |1238k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1112.71/1112.77 c 1092s| 1700k|963187 | 0 | 0.0 |1576M|1899 | - |3649 | 15k| 0 | 0 | 0 |1249k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1116.91/1116.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1116.91/1116.97 c 1096s| 1710k|970946 | 0 | 0.0 |1583M|1899 | - |3649 | 12k| 0 | 0 | 0 |1252k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1121.21/1121.27 c 1101s| 1720k|978318 | 0 | 0.0 |1591M|1899 | - |3649 | 12k| 0 | 0 | 0 |1256k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1125.51/1125.56 c 1105s| 1730k|985596 | 0 | 0.0 |1599M|1899 | - |3649 | 12k| 0 | 0 | 0 |1259k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1130.41/1130.48 c 1110s| 1740k|992279 | 0 | 0.0 |1607M|1899 | - |3649 | 13k| 0 | 0 | 0 |1264k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1136.41/1136.46 c 1115s| 1750k|998058 | 0 | 0.0 |1616M|1899 | - |3649 | 14k| 0 | 0 | 0 |1271k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1143.21/1143.25 c 1122s| 1760k| 1003k| 0 | 0.0 |1626M|1899 | - |3649 | 16k| 0 | 0 | 0 |1278k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1151.81/1151.84 c 1130s| 1770k| 1007k| 0 | 0.0 |1634M|1899 | - |3649 | 19k| 0 | 0 | 0 |1288k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1162.21/1162.20 c 1141s| 1780k| 1011k| 0 | 0.0 |1641M|1899 | - |3649 | 20k| 0 | 0 | 0 |1298k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1169.11/1169.11 c 1147s| 1790k| 1017k| 0 | 0.0 |1646M|1899 | - |3649 | 13k| 0 | 0 | 0 |1304k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1174.40/1174.40 c 1153s| 1800k| 1024k| 0 | 0.0 |1654M|1899 | - |3649 | 12k| 0 | 0 | 0 |1309k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1179.90/1179.90 c 1158s| 1810k| 1031k| 0 | 0.0 |1662M|1899 | - |3649 | 13k| 0 | 0 | 0 |1313k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1185.72/1185.77 c 1164s| 1820k| 1038k| 0 | 0.0 |1670M|1899 | - |3649 | 15k| 0 | 0 | 0 |1318k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1192.91/1192.92 c 1171s| 1830k| 1044k| 0 | 0.0 |1678M|1899 | - |3649 | 16k| 0 | 0 | 0 |1325k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1201.71/1201.70 c 1179s| 1840k| 1049k| 0 | 0.0 |1686M|1899 | - |3649 | 17k| 0 | 0 | 0 |1332k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1210.41/1210.43 c 1188s| 1850k| 1054k| 0 | 0.0 |1693M|1899 | - |3649 | 16k| 0 | 0 | 0 |1341k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1218.31/1218.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.31/1218.39 c 1196s| 1860k| 1060k| 0 | 0.0 |1700M|1899 | - |3649 | 15k| 0 | 0 | 0 |1348k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1225.71/1225.72 c 1203s| 1870k| 1066k| 0 | 0.0 |1707M|1899 | - |3649 | 14k| 0 | 0 | 0 |1354k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1232.81/1232.89 c 1210s| 1880k| 1072k| 0 | 0.0 |1714M|1899 | - |3649 | 14k| 0 | 0 | 0 |1361k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1239.81/1239.89 c 1217s| 1890k| 1078k| 0 | 0.0 |1722M|1899 | - |3649 | 15k| 0 | 0 | 0 |1367k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1247.71/1247.70 c 1225s| 1900k| 1083k| 0 | 0.0 |1730M|1899 | - |3649 | 16k| 0 | 0 | 0 |1374k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1256.41/1256.41 c 1233s| 1910k| 1089k| 0 | 0.0 |1739M|1899 | - |3649 | 18k| 0 | 0 | 0 |1381k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1266.51/1266.51 c 1243s| 1920k| 1093k| 0 | 0.0 |1747M|1899 | - |3649 | 21k| 0 | 0 | 0 |1390k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1279.61/1279.62 c 1256s| 1930k| 1096k| 0 | 0.0 |1756M|1899 | - |3649 | 25k| 0 | 0 | 0 |1402k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1288.22/1288.21 c 1265s| 1940k| 1102k| 0 | 0.0 |1758M|1899 | - |3649 | 13k| 0 | 0 | 0 |1408k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1293.21/1293.27 c 1270s| 1950k| 1110k| 0 | 0.0 |1766M|1899 | - |3649 | 12k| 0 | 0 | 0 |1411k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1298.41/1298.44 c 1275s| 1960k| 1118k| 0 | 0.0 |1774M|1899 | - |3649 | 12k| 0 | 0 | 0 |1415k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1303.82/1303.85 c 1280s| 1970k| 1125k| 0 | 0.0 |1782M|1899 | - |3649 | 12k| 0 | 0 | 0 |1419k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1309.41/1309.44 c 1285s| 1980k| 1132k| 0 | 0.0 |1790M|1899 | - |3649 | 13k| 0 | 0 | 0 |1424k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1315.52/1315.52 c 1291s| 1990k| 1139k| 0 | 0.0 |1798M|1899 | - |3649 | 13k| 0 | 0 | 0 |1429k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1321.91/1321.95 c 1298s| 2000k| 1145k| 0 | 0.0 |1807M|1899 | - |3649 | 14k| 0 | 0 | 0 |1434k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1329.12/1329.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.12/1329.14 c 1305s| 2010k| 1151k| 0 | 0.0 |1815M|1899 | - |3649 | 15k| 0 | 0 | 0 |1440k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1336.72/1336.75 c 1312s| 2020k| 1157k| 0 | 0.0 |1824M|1899 | - |3649 | 16k| 0 | 0 | 0 |1447k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1345.01/1345.00 c 1320s| 2030k| 1163k| 0 | 0.0 |1832M|1899 | - |3649 | 17k| 0 | 0 | 0 |1454k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1353.91/1353.99 c 1329s| 2040k| 1168k| 0 | 0.0 |1840M|1899 | - |3649 | 19k| 0 | 0 | 0 |1462k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1364.02/1364.03 c 1339s| 2050k| 1173k| 0 | 0.0 |1848M|1899 | - |3649 | 20k| 0 | 0 | 0 |1470k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1374.92/1374.90 c 1350s| 2060k| 1177k| 0 | 0.0 |1857M|1899 | - |3649 | 22k| 0 | 0 | 0 |1479k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1387.92/1387.94 c 1363s| 2070k| 1181k| 0 | 0.0 |1864M|1899 | - |3649 | 24k| 0 | 0 | 0 |1490k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1403.22/1403.22 c 1378s| 2080k| 1183k| 0 | 0.0 |1871M|1899 | - |3649 | 28k| 0 | 0 | 0 |1503k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1414.81/1414.88 c 1390s| 2090k| 1188k| 0 | 0.0 |1873M|1899 | - |3649 | 13k| 0 | 0 | 0 |1512k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1419.81/1419.89 c 1394s| 2100k| 1196k| 0 | 0.0 |1880M|1899 | - |3649 | 12k| 0 | 0 | 0 |1515k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1424.92/1424.93 c 1399s| 2110k| 1204k| 0 | 0.0 |1888M|1899 | - |3649 | 12k| 0 | 0 | 0 |1519k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1430.11/1430.15 c 1404s| 2120k| 1211k| 0 | 0.0 |1896M|1899 | - |3649 | 12k| 0 | 0 | 0 |1522k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1435.52/1435.57 c 1410s| 2130k| 1218k| 0 | 0.0 |1903M|1899 | - |3649 | 13k| 0 | 0 | 0 |1527k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1441.11/1441.19 c 1415s| 2140k| 1226k| 0 | 0.0 |1911M|1899 | - |3649 | 13k| 0 | 0 | 0 |1531k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1446.92/1446.94 c 1421s| 2150k| 1233k| 0 | 0.0 |1919M|1899 | - |3649 | 14k| 0 | 0 | 0 |1535k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1453.51/1453.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1453.51/1453.55 c 1427s| 2160k| 1239k| 0 | 0.0 |1927M|1899 | - |3649 | 15k| 0 | 0 | 0 |1541k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1459.81/1459.82 c 1434s| 2170k| 1246k| 0 | 0.0 |1935M|1899 | - |3649 | 15k| 0 | 0 | 0 |1546k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1466.91/1466.94 c 1441s| 2180k| 1252k| 0 | 0.0 |1943M|1899 | - |3649 | 16k| 0 | 0 | 0 |1552k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1474.11/1474.16 c 1448s| 2190k| 1258k| 0 | 0.0 |1951M|1899 | - |3649 | 18k| 0 | 0 | 0 |1558k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1482.82/1482.84 c 1456s| 2200k| 1264k| 0 | 0.0 |1959M|1899 | - |3649 | 19k| 0 | 0 | 0 |1566k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1492.31/1492.32 c 1466s| 2210k| 1269k| 0 | 0.0 |1968M|1899 | - |3649 | 21k| 0 | 0 | 0 |1574k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1503.32/1503.38 c 1476s| 2220k| 1273k| 0 | 0.0 |1976M|1899 | - |3649 | 23k| 0 | 0 | 0 |1584k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1516.82/1516.85 c 1490s| 2230k| 1276k| 0 | 0.0 |1983M|1899 | - |3649 | 26k| 0 | 0 | 0 |1596k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1533.72/1533.70 c 1506s| 2240k| 1279k| 0 | 0.0 |1986M|1899 | - |3649 | 21k| 0 | 0 | 0 |1609k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1539.72/1539.76 c 1512s| 2250k| 1286k| 0 | 0.0 |1991M|1899 | - |3649 | 13k| 0 | 0 | 0 |1613k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1545.22/1545.24 c 1518s| 2260k| 1293k| 0 | 0.0 |1999M|1899 | - |3649 | 13k| 0 | 0 | 0 |1617k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1550.82/1550.88 c 1523s| 2270k| 1300k| 0 | 0.0 |2007M|1899 | - |3649 | 14k| 0 | 0 | 0 |1622k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1557.72/1557.77 c 1530s| 2280k| 1306k| 0 | 0.0 |2015M|1899 | - |3649 | 15k| 0 | 0 | 0 |1628k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1565.41/1565.47 c 1538s| 2290k| 1312k| 0 | 0.0 |2024M|1899 | - |3649 | 17k| 0 | 0 | 0 |1635k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1575.52/1575.58 c 1548s| 2300k| 1316k| 0 | 0.0 |2033M|1899 | - |3649 | 21k| 0 | 0 | 0 |1645k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1587.52/1587.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.52/1587.59 c 1559s| 2310k| 1320k| 0 | 0.0 |2037M|1899 | - |3649 | 15k| 0 | 0 | 0 |1656k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1592.92/1592.94 c 1565s| 2320k| 1327k| 0 | 0.0 |2044M|1899 | - |3649 | 12k| 0 | 0 | 0 |1659k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1598.32/1598.32 c 1570s| 2330k| 1335k| 0 | 0.0 |2052M|1899 | - |3649 | 13k| 0 | 0 | 0 |1663k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1603.92/1603.95 c 1576s| 2340k| 1342k| 0 | 0.0 |2060M|1899 | - |3649 | 14k| 0 | 0 | 0 |1667k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1610.12/1610.19 c 1582s| 2350k| 1348k| 0 | 0.0 |2068M|1899 | - |3649 | 15k| 0 | 0 | 0 |1673k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1617.51/1617.58 c 1589s| 2360k| 1354k| 0 | 0.0 |2076M|1899 | - |3649 | 17k| 0 | 0 | 0 |1679k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1627.12/1627.11 c 1598s| 2370k| 1359k| 0 | 0.0 |2085M|1899 | - |3649 | 19k| 0 | 0 | 0 |1688k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1640.03/1640.09 c 1611s| 2380k| 1361k| 0 | 0.0 |2093M|1899 | - |3649 | 24k| 0 | 0 | 0 |1701k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1647.21/1647.24 c 1618s| 2390k| 1368k| 0 | 0.0 |2097M|1899 | - |3649 | 12k| 0 | 0 | 0 |1706k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1652.32/1652.35 c 1623s| 2400k| 1376k| 0 | 0.0 |2105M|1899 | - |3649 | 12k| 0 | 0 | 0 |1709k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1657.62/1657.64 c 1628s| 2410k| 1383k| 0 | 0.0 |2113M|1899 | - |3649 | 13k| 0 | 0 | 0 |1713k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1663.41/1663.45 c 1634s| 2420k| 1390k| 0 | 0.0 |2121M|1899 | - |3649 | 14k| 0 | 0 | 0 |1718k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1669.73/1669.72 c 1640s| 2430k| 1397k| 0 | 0.0 |2129M|1899 | - |3649 | 16k| 0 | 0 | 0 |1723k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1677.43/1677.47 c 1648s| 2440k| 1402k| 0 | 0.0 |2138M|1899 | - |3649 | 18k| 0 | 0 | 0 |1730k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1687.02/1687.00 c 1657s| 2450k| 1407k| 0 | 0.0 |2147M|1899 | - |3649 | 20k| 0 | 0 | 0 |1740k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1700.12/1700.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.12/1700.18 c 1670s| 2460k| 1410k| 0 | 0.0 |2154M|1899 | - |3649 | 26k| 0 | 0 | 0 |1753k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1711.52/1711.56 c 1682s| 2470k| 1414k| 0 | 0.0 |2158M|1899 | - |3649 | 14k| 0 | 0 | 0 |1762k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1721.32/1721.36 c 1691s| 2480k| 1419k| 0 | 0.0 |2166M|1899 | - |3649 | 16k| 0 | 0 | 0 |1770k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1732.12/1732.10 c 1702s| 2490k| 1423k| 0 | 0.0 |2174M|1899 | - |3649 | 17k| 0 | 0 | 0 |1779k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1743.72/1743.74 c 1713s| 2500k| 1427k| 0 | 0.0 |2181M|1899 | - |3649 | 17k| 0 | 0 | 0 |1788k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1755.82/1755.85 c 1725s| 2510k| 1431k| 0 | 0.0 |2189M|1899 | - |3649 | 18k| 0 | 0 | 0 |1797k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1768.22/1768.20 c 1738s| 2520k| 1435k| 0 | 0.0 |2197M|1899 | - |3649 | 20k| 0 | 0 | 0 |1807k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1781.72/1781.74 c 1751s| 2530k| 1438k| 0 | 0.0 |2205M|1899 | - |3649 | 20k| 0 | 0 | 0 |1817k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1795.22/1795.21 c 1764s| 2540k| 1442k| 0 | 0.0 |2213M|1899 | - |3649 | 21k| 0 | 0 | 0 |1826k| 0 | 0.000000e+00 | 2.000000e+00 | Inf
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1769.09
1800.03/1800.00 c Solving Nodes : 2543137
1800.03/1800.00 c Primal Bound : +2.00000000000000e+00 (24 solutions)
1800.03/1800.00 c Dual Bound : +0.00000000000000e+00
1800.03/1800.00 c Gap : infinite
1800.03/1800.03 s SATISFIABLE
1800.03/1800.03 v -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
1800.03/1800.03 v -x209 -x208 -x207 -x206 -x205 x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
1800.03/1800.03 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
1800.03/1800.03 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147
1800.03/1800.03 v -x146 -x145 -x144 x143 -x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125
1800.03/1800.03 v -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104
1800.03/1800.03 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.03/1800.03 v x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
1800.03/1800.03 v -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
1800.03/1800.03 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2
1800.03/1800.03 v x1
1800.03/1800.03 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.03 c Solving Time : 1769.09
1800.03/1800.03 c Original Problem :
1800.03/1800.03 c Problem name : HOME/instance-2694113-1277906070.wbo
1800.03/1800.03 c Variables : 3801 (2016 binary, 0 integer, 0 implicit integer, 1785 continuous)
1800.03/1800.03 c Constraints : 4493 initial, 4493 maximal
1800.03/1800.03 c Presolved Problem :
1800.03/1800.03 c Problem name : t_HOME/instance-2694113-1277906070.wbo
1800.03/1800.03 c Variables : 3649 (1940 binary, 0 integer, 0 implicit integer, 1709 continuous)
1800.03/1800.03 c Constraints : 4298 initial, 31699 maximal
1800.03/1800.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.03 c trivial : 0.00 76 0 0 0 0 0 0 0
1800.03/1800.03 c dualfix : 0.00 76 0 0 0 0 0 0 0
1800.03/1800.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c probing : 0.05 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 0.00 0 0 0 0 0 76 0 0
1800.03/1800.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c linear : 0.07 0 0 0 1809 0 119 96 0
1800.03/1800.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.03 c root node : - 1687 - - 3374 - - - -
1800.03/1800.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c integral : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.03 c indicator : 1709 0 6158611 0 1715186 19 3064650 0 0 0
1800.03/1800.03 c setppc : 11 0 7982370 0 2150637 34614 3789543 0 0 0
1800.03/1800.03 c linear : 1709 0 7952377 0 2151323 377757 36250384 0 0 0
1800.03/1800.03 c logicor : 869+ 0 5008373 0 2151337 231637 8567616 0 0 0
1800.03/1800.03 c bounddisjunction : 0+ 0 141964 0 0 374 1891 0 0 0
1800.03/1800.03 c countsols : 0 0 0 0 2151337 0 0 0 0 0
1800.03/1800.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.03 c integral : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.03 c indicator : 9.91 0.00 6.30 0.00 3.61
1800.03/1800.03 c setppc : 24.96 0.00 21.33 0.00 3.63
1800.03/1800.03 c linear : 302.18 0.00 299.84 0.00 2.34
1800.03/1800.03 c logicor : 471.71 0.00 414.51 0.00 57.20
1800.03/1800.03 c bounddisjunction : 0.24 0.00 0.24 0.00 0.00
1800.03/1800.03 c countsols : 0.37 0.00 0.00 0.00 0.37
1800.03/1800.03 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.03 c vbounds : 1.97 2 0 0
1800.03/1800.03 c rootredcost : 2.05 0 0 0
1800.03/1800.03 c pseudoobj : 261.14 7987624 731 3054986
1800.03/1800.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.03 c propagation : 34.19 645113 645043 3384796 20.7 36566 12.4 -
1800.03/1800.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.03 c pseudo solution : 0.00 24 24 89 22.1 35 9.3 -
1800.03/1800.03 c applied globally : - - - 1830257 18.7 - - -
1800.03/1800.03 c applied locally : - - - 8 214.6 - - -
1800.03/1800.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.03 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.03/1800.03 c redcost : 0.00 0 0 0 0 0
1800.03/1800.03 c impliedbounds : 0.00 0 0 0 0 0
1800.03/1800.03 c intobj : 0.00 0 0 0 0 0
1800.03/1800.03 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.03 c gomory : 0.00 0 0 0 0 0
1800.03/1800.03 c strongcg : 0.00 0 0 0 0 0
1800.03/1800.03 c cmir : 0.00 0 0 0 0 0
1800.03/1800.03 c flowcover : 0.00 0 0 0 0 0
1800.03/1800.03 c clique : 0.00 0 0 0 0 0
1800.03/1800.03 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.03 c mcf : 0.00 0 0 0 0 0
1800.03/1800.03 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.03 c Pricers : Time Calls Vars
1800.03/1800.03 c problem variables: 0.00 0 0
1800.03/1800.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.03 c relpscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.03 c inference : 30.70 2151313 0 0 0 0 4302626
1800.03/1800.03 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.03 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.03 c random : 0.00 0 0 0 0 0 0
1800.03/1800.03 c Primal Heuristics : Time Calls Found
1800.03/1800.03 c LP solutions : 0.00 - 0
1800.03/1800.03 c pseudo solutions : 0.05 - 24
1800.03/1800.03 c oneopt : 1.00 0 0
1800.03/1800.03 c trivial : 0.01 2 0
1800.03/1800.03 c simplerounding : 0.00 0 0
1800.03/1800.03 c zirounding : 0.00 0 0
1800.03/1800.03 c rounding : 0.00 0 0
1800.03/1800.03 c shifting : 0.00 0 0
1800.03/1800.03 c intshifting : 0.00 0 0
1800.03/1800.03 c twoopt : 0.00 0 0
1800.03/1800.03 c fixandinfer : 0.00 0 0
1800.03/1800.03 c feaspump : 0.00 0 0
1800.03/1800.03 c coefdiving : 0.00 0 0
1800.03/1800.03 c pscostdiving : 0.00 0 0
1800.03/1800.03 c fracdiving : 0.00 0 0
1800.03/1800.03 c veclendiving : 0.00 0 0
1800.03/1800.03 c intdiving : 0.00 0 0
1800.03/1800.03 c actconsdiving : 0.00 0 0
1800.03/1800.03 c objpscostdiving : 0.00 0 0
1800.03/1800.03 c rootsoldiving : 0.00 0 0
1800.03/1800.03 c linesearchdiving : 0.00 0 0
1800.03/1800.03 c guideddiving : 0.00 0 0
1800.03/1800.03 c octane : 0.00 0 0
1800.03/1800.03 c rens : 0.00 0 0
1800.03/1800.03 c rins : 0.00 0 0
1800.03/1800.03 c localbranching : 0.00 0 0
1800.03/1800.03 c mutation : 0.00 0 0
1800.03/1800.03 c crossover : 0.00 0 0
1800.03/1800.03 c dins : 0.00 0 0
1800.03/1800.03 c undercover : 0.00 0 0
1800.03/1800.03 c nlp : 0.65 0 0
1800.03/1800.03 c trysol : 0.56 1 0
1800.03/1800.03 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.03 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.03 c dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.03 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.03 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.03 c strong branching : 0.00 0 0 0.00 -
1800.03/1800.03 c (at root node) : - 0 0 0.00 -
1800.03/1800.03 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.03 c B&B Tree :
1800.03/1800.03 c number of runs : 1
1800.03/1800.03 c nodes : 2543137
1800.03/1800.03 c nodes (total) : 2543137
1800.03/1800.03 c nodes left : 1443382
1800.03/1800.03 c max depth : 1899
1800.03/1800.03 c max depth (total): 1899
1800.03/1800.03 c backtracks : 344774 (13.6%)
1800.03/1800.03 c delayed cutoffs : 291103
1800.03/1800.03 c repropagations : 1246343 (15668983 domain reductions, 253356 cutoffs)
1800.03/1800.03 c avg switch length: 24.97
1800.03/1800.03 c switching time : 509.49
1800.03/1800.03 c Solution :
1800.03/1800.03 c Solutions found : 24 (24 improvements)
1800.03/1800.03 c First Solution : +4.14000000000000e+02 (in run 1, after 4723 nodes, 1.32 seconds, depth 479, found by <relaxation>)
1800.03/1800.03 c Primal Bound : +2.00000000000000e+00 (in run 1, after 917055 nodes, 524.11 seconds, depth 360, found by <relaxation>)
1800.03/1800.03 c Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Gap : infinite
1800.03/1800.03 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.03 c Root Iterations : 0