0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2692468-1277915756.wbo>
0.00/0.01 c original problem has 1169 variables (832 bin, 0 int, 0 impl, 337 cont) and 1278 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 26 del vars, 8 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.00/0.02 c (round 2) 26 del vars, 53 del conss, 1 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.02/0.03 c (round 3) 27 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 0 upgd conss, 2393 impls, 0 clqs
0.02/0.04 c (round 4) 28 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2393 impls, 0 clqs
0.02/0.08 c (0.1s) probing: 495/805 (61.5%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.02/0.08 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.09 c (round 5) 43 del vars, 54 del conss, 337 chg bounds, 70 chg sides, 140 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.02/0.09 c (round 6) 43 del vars, 73 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 553 upgd conss, 2533 impls, 0 clqs
0.02/0.09 c (round 7) 50 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.02/0.09 c (round 8) 57 del vars, 80 del conss, 337 chg bounds, 71 chg sides, 141 chg coeffs, 554 upgd conss, 2533 impls, 0 clqs
0.02/0.09 c (0.1s) probing: 505/805 (62.7%) - 4 fixings, 11 aggregations, 55 implications, 0 bound changes
0.02/0.09 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.09 c presolving (9 rounds):
0.02/0.09 c 57 deleted vars, 80 deleted constraints, 337 tightened bounds, 0 added holes, 71 changed sides, 141 changed coefficients
0.02/0.09 c 2533 implications, 0 cliques
0.02/0.09 c presolved problem has 1112 variables (783 bin, 0 int, 0 impl, 329 cont) and 1198 constraints
0.02/0.09 c 329 constraints of type <indicator>
0.02/0.09 c 2 constraints of type <varbound>
0.02/0.09 c 89 constraints of type <knapsack>
0.02/0.09 c 327 constraints of type <linear>
0.02/0.09 c 451 constraints of type <logicor>
0.02/0.09 c transformed objective value is always integral (scale: 1)
0.02/0.09 c Presolving Time: 0.08
0.02/0.09 c - non default parameters ----------------------------------------------------------------------
0.02/0.09 c # SCIP version 1.2.1.2
0.02/0.09 c
0.02/0.09 c # frequency for displaying node information lines
0.02/0.09 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.09 c display/freq = 10000
0.02/0.09 c
0.02/0.09 c # maximal time in seconds to run
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09 c limits/time = 1799.99
0.02/0.09 c
0.02/0.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.09 c limits/memory = 3420
0.02/0.09 c
0.02/0.09 c # should presolving try to simplify inequalities
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09 c constraints/linear/simplifyinequalities = TRUE
0.02/0.09 c
0.02/0.09 c # should presolving try to simplify knapsacks
0.02/0.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.09 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.09 c
0.02/0.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.09 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.09 c separating/rapidlearning/freq = 0
0.02/0.09 c
0.02/0.09 c -----------------------------------------------------------------------------------------------
0.02/0.09 c start solving
0.02/0.09 c
0.09/0.10 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.10 c 0.1s| 1 | 0 | 93 | - |4693k| 0 | 71 |1112 |1198 |1112 | 520 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 o 16689
0.09/0.11 c y 0.1s| 1 | 0 | 235 | - |4730k| 0 | 71 |1112 |1198 |1112 | 520 | 0 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 385 | - |4832k| 0 | 101 |1112 |1198 |1112 | 623 | 103 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 650 | - |4988k| 0 | 141 |1112 |1198 |1112 | 710 | 190 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.19/0.22 c 0.2s| 1 | 0 | 817 | - |5155k| 0 | 158 |1112 |1198 |1112 | 797 | 277 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.19/0.30 c 0.3s| 1 | 0 | 1000 | - |5326k| 0 | 181 |1112 |1198 |1112 | 877 | 357 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.29/0.38 c 0.3s| 1 | 0 | 1201 | - |5442k| 0 | 171 |1112 |1198 |1112 | 940 | 420 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.39/0.48 c 0.5s| 1 | 0 | 1391 | - |5527k| 0 | 183 |1112 |1198 |1112 | 992 | 472 | 0 | 0 | 0.000000e+00 | 1.668900e+04 | Inf
0.69/0.70 c 0.7s| 1 | 2 | 1391 | - |5558k| 0 | 183 |1112 |1198 |1112 | 992 | 472 | 0 | 17 | 0.000000e+00 | 1.668900e+04 | Inf
13.29/13.32 c 13.0s| 10000 | 9985 | 11497 | 1.0 | 16M| 203 | 0 |1112 |1224 |1112 | 771 | 852 | 26 |1990 | 0.000000e+00 | 1.668900e+04 | Inf
19.69/19.74 c 19.3s| 20000 | 19975 | 14190 | 0.6 | 26M| 203 | 0 |1112 |1230 |1112 | 771 |1149 | 32 |2004 | 0.000000e+00 | 1.668900e+04 | Inf
26.09/26.13 c 25.6s| 30000 | 29973 | 16676 | 0.5 | 36M| 203 | 0 |1112 |1232 |1112 | 771 |1448 | 34 |2019 | 0.000000e+00 | 1.668900e+04 | Inf
32.39/32.47 c 31.7s| 40000 | 39973 | 18488 | 0.4 | 45M| 203 | 0 |1112 |1232 |1112 | 771 |1743 | 34 |2029 | 0.000000e+00 | 1.668900e+04 | Inf
38.79/38.85 c 38.0s| 50000 | 49971 | 20824 | 0.4 | 55M| 203 | 0 |1112 |1233 |1112 | 772 |2122 | 35 |2059 | 0.000000e+00 | 1.668900e+04 | Inf
45.19/45.22 c 44.2s| 60000 | 59971 | 22904 | 0.4 | 65M| 203 | 0 |1112 |1233 |1112 | 773 |2536 | 35 |2060 | 0.000000e+00 | 1.668900e+04 | Inf
51.49/51.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
51.49/51.56 c 50.3s| 70000 | 69971 | 24314 | 0.3 | 74M| 203 | 0 |1112 |1233 |1112 | 771 |2922 | 35 |2066 | 0.000000e+00 | 1.668900e+04 | Inf
57.90/57.94 c 56.5s| 80000 | 79971 | 25877 | 0.3 | 84M| 203 | 0 |1112 |1233 |1112 | 773 |3348 | 35 |2066 | 0.000000e+00 | 1.668900e+04 | Inf
64.19/64.26 c 62.7s| 90000 | 89971 | 27170 | 0.3 | 94M| 203 | 0 |1112 |1233 |1112 | 771 |3711 | 35 |2066 | 0.000000e+00 | 1.668900e+04 | Inf
70.49/70.57 c 68.8s|100000 | 99971 | 28265 | 0.3 | 103M| 203 | 0 |1112 |1233 |1112 | 771 |3975 | 35 |2066 | 0.000000e+00 | 1.668900e+04 | Inf
76.90/76.94 c 75.0s|110000 |109971 | 30298 | 0.3 | 113M| 203 | 0 |1112 |1233 |1112 | 771 |4245 | 35 |2072 | 0.000000e+00 | 1.668900e+04 | Inf
83.29/83.36 c 81.3s|120000 |119971 | 32846 | 0.3 | 123M| 203 | 0 |1112 |1232 |1112 | 773 |4678 | 35 |2072 | 0.000000e+00 | 1.668900e+04 | Inf
89.69/89.72 c 87.5s|130000 |129967 | 34915 | 0.3 | 132M| 203 | 0 |1112 |1233 |1112 | 772 |5068 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
95.99/96.05 c 93.7s|140000 |139967 | 36250 | 0.2 | 142M| 203 | 0 |1112 |1233 |1112 | 775 |5366 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
102.39/102.40 c 99.9s|150000 |149967 | 37744 | 0.2 | 151M| 203 | 0 |1112 |1233 |1112 | 771 |5699 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
108.69/108.75 c 106s|160000 |159967 | 39181 | 0.2 | 161M| 203 | 0 |1112 |1233 |1112 | 771 |6031 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
115.09/115.13 c 112s|170000 |169967 | 40746 | 0.2 | 171M| 203 | 0 |1112 |1233 |1112 | 773 |6435 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
121.50/121.50 c 118s|180000 |179967 | 42356 | 0.2 | 180M| 203 | 0 |1112 |1233 |1112 | 772 |6857 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
127.79/127.82 c 125s|190000 |189967 | 43718 | 0.2 | 190M| 203 | 0 |1112 |1233 |1112 | 771 |7211 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
134.10/134.14 c 131s|200000 |199967 | 45044 | 0.2 | 200M| 203 | 0 |1112 |1233 |1112 | 771 |7563 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
140.39/140.47 c 137s|210000 |209967 | 46342 | 0.2 | 209M| 203 | 0 |1112 |1233 |1112 | 771 |7840 | 37 |2078 | 0.000000e+00 | 1.668900e+04 | Inf
146.79/146.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.79/146.84 c 143s|220000 |219967 | 47794 | 0.2 | 219M| 203 | 0 |1112 |1233 |1112 | 771 |8156 | 37 |2110 | 0.000000e+00 | 1.668900e+04 | Inf
153.09/153.18 c 149s|230000 |229967 | 49166 | 0.2 | 229M| 205 | 0 |1112 |1233 |1112 | 773 |8465 | 37 |2110 | 0.000000e+00 | 1.668900e+04 | Inf
159.50/159.59 c 156s|240000 |239967 | 51077 | 0.2 | 238M| 205 | 0 |1112 |1233 |1112 | 773 |8923 | 37 |2110 | 0.000000e+00 | 1.668900e+04 | Inf
165.90/165.94 c 162s|250000 |249967 | 52659 | 0.2 | 248M| 205 | 0 |1112 |1233 |1112 | 772 |9299 | 37 |2110 | 0.000000e+00 | 1.668900e+04 | Inf
172.20/172.28 c 168s|260000 |259967 | 54184 | 0.2 | 257M| 205 | 0 |1112 |1233 |1112 | 772 |9663 | 37 |2110 | 0.000000e+00 | 1.668900e+04 | Inf
178.60/178.64 c 174s|270000 |269967 | 56118 | 0.2 | 267M| 205 | 0 |1112 |1232 |1112 | 771 |9950 | 37 |2135 | 0.000000e+00 | 1.668900e+04 | Inf
185.00/185.04 c 180s|280000 |279967 | 58494 | 0.2 | 277M| 205 | 0 |1112 |1232 |1112 | 771 | 10k| 37 |2166 | 0.000000e+00 | 1.668900e+04 | Inf
191.31/191.38 c 187s|290000 |289967 | 59996 | 0.2 | 286M| 205 | 0 |1112 |1232 |1112 | 771 | 10k| 37 |2182 | 0.000000e+00 | 1.668900e+04 | Inf
197.70/197.77 c 193s|300000 |299967 | 62366 | 0.2 | 296M| 205 | 0 |1112 |1232 |1112 | 774 | 10k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
204.10/204.16 c 199s|310000 |309967 | 64275 | 0.2 | 306M| 205 | 0 |1112 |1232 |1112 | 774 | 11k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
210.49/210.55 c 205s|320000 |319967 | 66007 | 0.2 | 315M| 205 | 0 |1112 |1232 |1112 | 774 | 12k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
216.90/216.95 c 212s|330000 |329967 | 67756 | 0.2 | 325M| 205 | 0 |1112 |1232 |1112 | 776 | 12k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
223.30/223.34 c 218s|340000 |339967 | 69554 | 0.2 | 334M| 205 | 0 |1112 |1232 |1112 | 776 | 13k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
229.70/229.74 c 224s|350000 |349967 | 71231 | 0.2 | 344M| 205 | 0 |1112 |1232 |1112 | 774 | 13k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
236.10/236.13 c 230s|360000 |359967 | 73008 | 0.2 | 354M| 205 | 0 |1112 |1232 |1112 | 774 | 14k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
242.49/242.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
242.49/242.52 c 237s|370000 |369967 | 74840 | 0.2 | 363M| 205 | 0 |1112 |1232 |1112 | 774 | 14k| 37 |2194 | 0.000000e+00 | 1.668900e+04 | Inf
248.90/248.93 c 243s|380000 |379967 | 76900 | 0.2 | 373M| 205 | 0 |1112 |1232 |1112 | 771 | 15k| 37 |2196 | 0.000000e+00 | 1.668900e+04 | Inf
255.30/255.33 c 249s|390000 |389967 | 78913 | 0.2 | 383M| 205 | 0 |1112 |1230 |1112 | 774 | 16k| 37 |2197 | 0.000000e+00 | 1.668900e+04 | Inf
261.70/261.74 c 255s|400000 |399967 | 80963 | 0.2 | 392M| 205 | 0 |1112 |1230 |1112 | 776 | 16k| 37 |2197 | 0.000000e+00 | 1.668900e+04 | Inf
268.10/268.15 c 262s|410000 |409967 | 82833 | 0.2 | 402M| 205 | 0 |1112 |1230 |1112 | 774 | 17k| 37 |2198 | 0.000000e+00 | 1.668900e+04 | Inf
274.50/274.55 c 268s|420000 |419967 | 84677 | 0.2 | 411M| 205 | 0 |1112 |1229 |1112 | 774 | 17k| 37 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
280.89/280.99 c 274s|430000 |429967 | 86826 | 0.2 | 421M| 205 | 0 |1112 |1229 |1112 | 774 | 18k| 37 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
287.30/287.38 c 280s|440000 |439965 | 88491 | 0.2 | 431M| 205 | 0 |1112 |1230 |1112 | 774 | 19k| 38 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
293.70/293.74 c 286s|450000 |449963 | 90068 | 0.2 | 440M| 205 | 0 |1112 |1231 |1112 | 771 | 19k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
300.00/300.08 c 293s|460000 |459963 | 91605 | 0.2 | 450M| 205 | 0 |1112 |1231 |1112 | 774 | 19k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
306.40/306.48 c 299s|470000 |469963 | 93483 | 0.2 | 460M| 205 | 0 |1112 |1231 |1112 | 774 | 20k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
312.80/312.89 c 305s|480000 |479963 | 95487 | 0.2 | 469M| 205 | 0 |1112 |1231 |1112 | 774 | 21k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
319.20/319.29 c 311s|490000 |489963 | 97242 | 0.2 | 479M| 205 | 0 |1112 |1231 |1112 | 776 | 21k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
325.60/325.68 c 318s|500000 |499963 | 98939 | 0.2 | 488M| 205 | 0 |1112 |1231 |1112 | 774 | 22k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
332.00/332.08 c 324s|510000 |509963 |100650 | 0.2 | 498M| 205 | 0 |1112 |1231 |1112 | 774 | 22k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
338.40/338.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
338.40/338.48 c 330s|520000 |519963 |102377 | 0.2 | 508M| 205 | 0 |1112 |1231 |1112 | 771 | 23k| 39 |2201 | 0.000000e+00 | 1.668900e+04 | Inf
344.80/344.89 c 336s|530000 |529963 |104537 | 0.2 | 517M| 205 | 0 |1112 |1231 |1112 | 774 | 23k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
351.30/351.33 c 343s|540000 |539963 |107326 | 0.2 | 527M| 205 | 0 |1112 |1230 |1112 | 776 | 24k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
357.70/357.75 c 349s|550000 |549963 |109739 | 0.2 | 537M| 205 | 1 |1112 |1229 |1112 | 774 | 25k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
364.10/364.16 c 355s|560000 |559963 |111399 | 0.2 | 546M| 205 | 2 |1112 |1229 |1112 | 768 | 25k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
370.61/370.60 c 361s|570000 |569963 |114313 | 0.2 | 556M| 205 | 0 |1112 |1226 |1112 | 774 | 26k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
377.00/377.03 c 368s|580000 |579963 |116787 | 0.2 | 565M| 205 | 0 |1112 |1224 |1112 | 774 | 26k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
383.40/383.45 c 374s|590000 |589963 |119020 | 0.2 | 575M| 205 | 0 |1112 |1224 |1112 | 774 | 27k| 39 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
389.80/389.88 c 380s|600000 |599961 |121437 | 0.2 | 585M| 205 | 0 |1112 |1224 |1112 | 776 | 28k| 40 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
396.30/396.35 c 387s|610000 |609959 |124178 | 0.2 | 594M| 205 | 0 |1112 |1224 |1112 | 772 | 28k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
402.81/402.82 c 393s|620000 |619959 |126654 | 0.2 | 604M| 205 | 0 |1112 |1224 |1112 | 778 | 29k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
409.21/409.27 c 399s|630000 |629959 |128775 | 0.2 | 614M| 205 | 0 |1112 |1224 |1112 | 774 | 30k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
415.71/415.72 c 405s|640000 |639959 |130934 | 0.2 | 623M| 205 | 0 |1112 |1224 |1112 | 774 | 30k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
422.10/422.19 c 412s|650000 |649959 |133541 | 0.2 | 633M| 205 | 0 |1112 |1224 |1112 | 773 | 31k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
428.60/428.67 c 418s|660000 |659959 |135573 | 0.2 | 642M| 205 | 0 |1112 |1224 |1112 | 773 | 31k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
435.11/435.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
435.11/435.14 c 424s|670000 |669959 |138037 | 0.2 | 652M| 205 | 0 |1112 |1224 |1112 | 773 | 32k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
441.61/441.61 c 431s|680000 |679959 |140282 | 0.2 | 662M| 205 | 0 |1112 |1224 |1112 | 773 | 33k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
448.01/448.07 c 437s|690000 |689959 |142090 | 0.2 | 671M| 205 | 0 |1112 |1224 |1112 | 777 | 33k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
454.41/454.47 c 443s|700000 |699959 |143687 | 0.2 | 681M| 205 | 0 |1112 |1224 |1112 | 774 | 34k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
460.81/460.87 c 450s|710000 |709959 |145188 | 0.2 | 690M| 205 | 0 |1112 |1224 |1112 | 774 | 34k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
467.20/467.29 c 456s|720000 |719959 |147431 | 0.2 | 700M| 205 | 0 |1112 |1224 |1112 | 774 | 35k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
473.71/473.71 c 462s|730000 |729959 |149990 | 0.2 | 710M| 205 | 0 |1112 |1224 |1112 | 775 | 35k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
480.10/480.13 c 468s|740000 |739959 |152441 | 0.2 | 719M| 205 | 0 |1112 |1223 |1112 | 774 | 36k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
486.50/486.54 c 475s|750000 |749959 |154721 | 0.2 | 729M| 205 | 0 |1112 |1223 |1112 | 774 | 37k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
492.91/492.95 c 481s|760000 |759959 |156985 | 0.2 | 738M| 205 | 0 |1112 |1223 |1112 | 774 | 37k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
499.31/499.37 c 487s|770000 |769959 |159347 | 0.2 | 748M| 205 | 0 |1112 |1222 |1112 | 774 | 38k| 41 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
505.71/505.77 c 493s|780000 |779957 |161426 | 0.2 | 758M| 205 | 0 |1112 |1223 |1112 | 773 | 38k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
512.11/512.18 c 500s|790000 |789957 |163343 | 0.2 | 767M| 205 | 0 |1112 |1223 |1112 | 774 | 39k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
518.51/518.58 c 506s|800000 |799957 |165163 | 0.2 | 777M| 205 | 0 |1112 |1223 |1112 | 774 | 39k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
524.90/524.98 c 512s|810000 |809957 |167211 | 0.2 | 786M| 205 | 0 |1112 |1223 |1112 | 774 | 40k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
531.41/531.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.41/531.41 c 518s|820000 |819957 |169597 | 0.2 | 796M| 205 | 0 |1112 |1223 |1112 | 774 | 40k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
537.81/537.82 c 525s|830000 |829957 |171800 | 0.2 | 806M| 205 | 0 |1112 |1223 |1112 | 774 | 41k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
544.21/544.21 c 531s|840000 |839957 |173604 | 0.2 | 815M| 205 | 2 |1112 |1223 |1112 | 768 | 41k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
550.51/550.60 c 537s|850000 |849957 |175172 | 0.2 | 825M| 205 | 0 |1112 |1223 |1112 | 774 | 42k| 42 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
556.91/556.99 c 543s|860000 |859955 |176590 | 0.2 | 834M| 205 | 0 |1112 |1224 |1112 | 773 | 42k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
563.31/563.39 c 550s|870000 |869955 |178252 | 0.2 | 844M| 205 | 0 |1112 |1224 |1112 | 773 | 43k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
569.71/569.79 c 556s|880000 |879955 |179578 | 0.2 | 854M| 205 | 0 |1112 |1224 |1112 | 773 | 43k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
576.11/576.19 c 562s|890000 |889955 |180855 | 0.2 | 863M| 205 | 0 |1112 |1224 |1112 | 774 | 44k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
582.60/582.60 c 568s|900000 |899955 |182213 | 0.2 | 873M| 205 | 0 |1112 |1224 |1112 | 773 | 44k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
589.00/589.00 c 575s|910000 |909955 |183562 | 0.2 | 882M| 205 | 0 |1112 |1224 |1112 | 774 | 45k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
595.41/595.40 c 581s|920000 |919955 |185002 | 0.2 | 892M| 205 | 0 |1112 |1224 |1112 | 773 | 45k| 43 |2202 | 0.000000e+00 | 1.668900e+04 | Inf
601.91/601.92 c 587s|930000 |929953 |188773 | 0.2 | 902M| 205 | 0 |1112 |1223 |1112 | 773 | 46k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
608.31/608.36 c 593s|940000 |939953 |191139 | 0.2 | 911M| 205 | 0 |1112 |1222 |1112 | 773 | 46k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
614.70/614.77 c 600s|950000 |949953 |193112 | 0.2 | 921M| 205 | 0 |1112 |1222 |1112 | 773 | 47k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
621.11/621.19 c 606s|960000 |959953 |194855 | 0.2 | 930M| 205 | 0 |1112 |1222 |1112 | 773 | 47k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
627.51/627.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
627.51/627.59 c 612s|970000 |969953 |196185 | 0.2 | 940M| 205 | 0 |1112 |1222 |1112 | 773 | 47k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
634.01/634.00 c 618s|980000 |979953 |197843 | 0.2 | 950M| 205 | 0 |1112 |1222 |1112 | 773 | 48k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
640.31/640.37 c 625s|990000 |989953 |199072 | 0.2 | 959M| 205 | 1 |1112 |1222 |1112 | 772 | 48k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
646.71/646.79 c 631s| 1000k|999953 |201130 | 0.2 | 969M| 205 | 0 |1112 |1222 |1112 | 773 | 49k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
653.21/653.20 c 637s| 1010k| 1009k|203056 | 0.2 | 979M| 205 | 0 |1112 |1222 |1112 | 773 | 49k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
659.61/659.62 c 643s| 1020k| 1019k|205372 | 0.2 | 988M| 205 | 0 |1112 |1222 |1112 | 773 | 50k| 45 |2211 | 0.000000e+00 | 1.668900e+04 | Inf
666.01/666.06 c 650s| 1030k| 1029k|208091 | 0.2 | 998M| 205 | 0 |1112 |1222 |1112 | 773 | 50k| 45 |2215 | 0.000000e+00 | 1.668900e+04 | Inf
672.51/672.50 c 656s| 1040k| 1039k|211101 | 0.2 |1007M| 205 | 0 |1112 |1222 |1112 | 773 | 51k| 45 |2220 | 0.000000e+00 | 1.668900e+04 | Inf
678.91/678.92 c 662s| 1050k| 1049k|213450 | 0.2 |1017M| 205 | 0 |1112 |1221 |1112 | 775 | 51k| 45 |2221 | 0.000000e+00 | 1.668900e+04 | Inf
685.32/685.36 c 668s| 1060k| 1059k|216019 | 0.2 |1027M| 205 | 0 |1112 |1221 |1112 | 773 | 52k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
691.71/691.80 c 675s| 1070k| 1069k|218610 | 0.2 |1036M| 205 | 0 |1112 |1221 |1112 | 773 | 52k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
698.21/698.24 c 681s| 1080k| 1079k|221217 | 0.2 |1046M| 205 | 0 |1112 |1221 |1112 | 774 | 53k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
704.62/704.65 c 687s| 1090k| 1089k|223502 | 0.2 |1056M| 205 | 0 |1112 |1221 |1112 | 772 | 53k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
711.02/711.08 c 694s| 1100k| 1099k|225467 | 0.2 |1065M| 205 | 1 |1112 |1221 |1112 | 772 | 54k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
717.52/717.55 c 700s| 1110k| 1109k|227503 | 0.2 |1075M| 205 | 0 |1112 |1221 |1112 | 773 | 54k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
724.01/724.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.01/724.02 c 706s| 1120k| 1119k|229538 | 0.2 |1084M| 205 | 0 |1112 |1221 |1112 | 777 | 55k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
730.42/730.47 c 712s| 1130k| 1129k|231465 | 0.2 |1094M| 205 | 0 |1112 |1221 |1112 | 773 | 55k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
736.91/736.93 c 719s| 1140k| 1139k|233433 | 0.2 |1104M| 205 | 0 |1112 |1221 |1112 | 773 | 56k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
743.31/743.32 c 725s| 1150k| 1149k|235570 | 0.2 |1113M| 205 | 2 |1112 |1221 |1112 | 768 | 56k| 45 |2222 | 0.000000e+00 | 1.668900e+04 | Inf
749.72/749.70 c 731s| 1160k| 1159k|237646 | 0.2 |1123M| 205 | 0 |1112 |1221 |1112 | 772 | 57k| 45 |2223 | 0.000000e+00 | 1.668900e+04 | Inf
756.02/756.09 c 738s| 1170k| 1169k|239857 | 0.2 |1132M| 205 | 0 |1112 |1221 |1112 | 772 | 57k| 45 |2224 | 0.000000e+00 | 1.668900e+04 | Inf
762.52/762.50 c 744s| 1180k| 1179k|241758 | 0.2 |1142M| 205 | 0 |1112 |1221 |1112 | 773 | 57k| 45 |2227 | 0.000000e+00 | 1.668900e+04 | Inf
768.92/768.91 c 750s| 1190k| 1189k|243430 | 0.2 |1152M| 205 | 0 |1112 |1221 |1112 | 773 | 58k| 45 |2227 | 0.000000e+00 | 1.668900e+04 | Inf
775.32/775.31 c 756s| 1200k| 1199k|244966 | 0.2 |1161M| 205 | 0 |1112 |1221 |1112 | 773 | 58k| 45 |2227 | 0.000000e+00 | 1.668900e+04 | Inf
781.72/781.77 c 763s| 1210k| 1209k|247027 | 0.2 |1171M| 205 | 0 |1112 |1221 |1112 | 774 | 59k| 45 |2235 | 0.000000e+00 | 1.668900e+04 | Inf
788.22/788.26 c 769s| 1220k| 1219k|249367 | 0.2 |1180M| 205 | 0 |1112 |1221 |1112 | 777 | 59k| 45 |2235 | 0.000000e+00 | 1.668900e+04 | Inf
794.72/794.72 c 775s| 1230k| 1229k|251551 | 0.2 |1190M| 205 | 0 |1112 |1221 |1112 | 773 | 60k| 45 |2235 | 0.000000e+00 | 1.668900e+04 | Inf
801.22/801.22 c 782s| 1240k| 1239k|253879 | 0.2 |1200M| 205 | 0 |1112 |1221 |1112 | 773 | 61k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
807.71/807.70 c 788s| 1250k| 1249k|256137 | 0.2 |1209M| 205 | 0 |1112 |1221 |1112 | 773 | 61k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
814.12/814.19 c 794s| 1260k| 1259k|258111 | 0.2 |1219M| 205 | 0 |1112 |1221 |1112 | 773 | 62k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
820.62/820.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.62/820.69 c 801s| 1270k| 1269k|260207 | 0.2 |1228M| 205 | 0 |1112 |1221 |1112 | 777 | 62k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
827.12/827.17 c 807s| 1280k| 1279k|262213 | 0.2 |1238M| 205 | 0 |1112 |1221 |1112 | 773 | 63k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
833.62/833.66 c 813s| 1290k| 1289k|264239 | 0.2 |1248M| 205 | 1 |1112 |1221 |1112 | 768 | 63k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
840.12/840.15 c 820s| 1300k| 1299k|266322 | 0.2 |1257M| 205 | 0 |1112 |1221 |1112 | 773 | 64k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
846.62/846.63 c 826s| 1310k| 1309k|268287 | 0.2 |1267M| 205 | 0 |1112 |1221 |1112 | 777 | 65k| 45 |2246 | 0.000000e+00 | 1.668900e+04 | Inf
853.12/853.14 c 832s| 1320k| 1319k|270408 | 0.2 |1276M| 205 | 0 |1112 |1221 |1112 | 773 | 65k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
859.62/859.62 c 839s| 1330k| 1329k|272359 | 0.2 |1286M| 205 | 0 |1112 |1221 |1112 | 777 | 66k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
866.12/866.10 c 845s| 1340k| 1339k|274435 | 0.2 |1295M| 205 | 0 |1112 |1221 |1112 | 773 | 66k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
872.52/872.59 c 851s| 1350k| 1349k|276450 | 0.2 |1305M| 205 | 0 |1112 |1221 |1112 | 773 | 67k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
879.02/879.07 c 858s| 1360k| 1359k|278453 | 0.2 |1315M| 205 | 0 |1112 |1221 |1112 | 777 | 67k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
885.53/885.56 c 864s| 1370k| 1369k|280564 | 0.2 |1324M| 205 | 0 |1112 |1221 |1112 | 773 | 68k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
892.03/892.03 c 870s| 1380k| 1379k|282533 | 0.2 |1334M| 205 | 0 |1112 |1221 |1112 | 773 | 69k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
898.52/898.51 c 876s| 1390k| 1389k|284608 | 0.2 |1343M| 205 | 0 |1112 |1221 |1112 | 773 | 69k| 45 |2257 | 0.000000e+00 | 1.668900e+04 | Inf
904.92/904.99 c 883s| 1400k| 1399k|286620 | 0.2 |1353M| 205 | 0 |1112 |1221 |1112 | 773 | 70k| 45 |2268 | 0.000000e+00 | 1.668900e+04 | Inf
911.42/911.47 c 889s| 1410k| 1409k|288666 | 0.2 |1363M| 205 | 0 |1112 |1221 |1112 | 777 | 70k| 45 |2268 | 0.000000e+00 | 1.668900e+04 | Inf
917.92/917.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.92/917.94 c 895s| 1420k| 1419k|290728 | 0.2 |1372M| 205 | 0 |1112 |1221 |1112 | 773 | 71k| 45 |2268 | 0.000000e+00 | 1.668900e+04 | Inf
924.32/924.38 c 902s| 1430k| 1429k|292719 | 0.2 |1382M| 205 | 0 |1112 |1221 |1112 | 772 | 71k| 45 |2276 | 0.000000e+00 | 1.668900e+04 | Inf
930.72/930.79 c 908s| 1440k| 1439k|294806 | 0.2 |1391M| 205 | 0 |1112 |1221 |1112 | 772 | 72k| 45 |2277 | 0.000000e+00 | 1.668900e+04 | Inf
937.13/937.20 c 914s| 1450k| 1449k|296833 | 0.2 |1401M| 205 | 0 |1112 |1221 |1112 | 774 | 72k| 45 |2277 | 0.000000e+00 | 1.668900e+04 | Inf
943.62/943.60 c 920s| 1460k| 1459k|298959 | 0.2 |1411M| 205 | 0 |1112 |1221 |1112 | 772 | 73k| 45 |2277 | 0.000000e+00 | 1.668900e+04 | Inf
950.02/950.00 c 927s| 1470k| 1469k|301049 | 0.2 |1420M| 205 | 0 |1112 |1221 |1112 | 772 | 73k| 45 |2277 | 0.000000e+00 | 1.668900e+04 | Inf
956.42/956.45 c 933s| 1480k| 1479k|303176 | 0.2 |1430M| 205 | 0 |1112 |1221 |1112 | 773 | 73k| 45 |2277 | 0.000000e+00 | 1.668900e+04 | Inf
962.93/962.97 c 939s| 1490k| 1489k|305449 | 0.2 |1440M| 205 | 0 |1112 |1221 |1112 | 773 | 74k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
969.43/969.45 c 946s| 1500k| 1499k|307585 | 0.2 |1449M| 205 | 0 |1112 |1221 |1112 | 773 | 74k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
975.92/975.93 c 952s| 1510k| 1509k|309707 | 0.2 |1459M| 205 | 0 |1112 |1221 |1112 | 777 | 75k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
982.42/982.42 c 958s| 1520k| 1519k|311827 | 0.2 |1468M| 205 | 0 |1112 |1221 |1112 | 773 | 76k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
988.93/988.91 c 965s| 1530k| 1529k|314030 | 0.2 |1478M| 205 | 0 |1112 |1221 |1112 | 773 | 76k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
995.32/995.38 c 971s| 1540k| 1539k|316145 | 0.2 |1488M| 205 | 0 |1112 |1221 |1112 | 773 | 77k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
1001.82/1001.86 c 977s| 1550k| 1549k|318280 | 0.2 |1497M| 205 | 0 |1112 |1221 |1112 | 777 | 77k| 45 |2288 | 0.000000e+00 | 1.668900e+04 | Inf
1008.33/1008.36 c 984s| 1560k| 1559k|320453 | 0.2 |1507M| 205 | 0 |1112 |1221 |1112 | 777 | 78k| 45 |2299 | 0.000000e+00 | 1.668900e+04 | Inf
1014.83/1014.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.83/1014.80 c 990s| 1570k| 1569k|322587 | 0.2 |1516M| 205 | 0 |1112 |1221 |1112 | 773 | 78k| 45 |2304 | 0.000000e+00 | 1.668900e+04 | Inf
1021.22/1021.24 c 996s| 1580k| 1579k|324684 | 0.2 |1526M| 205 | 0 |1112 |1221 |1112 | 773 | 79k| 45 |2316 | 0.000000e+00 | 1.668900e+04 | Inf
1027.63/1027.66 c 1002s| 1590k| 1589k|326558 | 0.2 |1536M| 205 | 0 |1112 |1221 |1112 | 773 | 79k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1034.03/1034.07 c 1009s| 1600k| 1599k|328360 | 0.2 |1545M| 205 | 0 |1112 |1221 |1112 | 773 | 80k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1040.42/1040.48 c 1015s| 1610k| 1609k|330259 | 0.2 |1555M| 205 | 0 |1112 |1221 |1112 | 772 | 80k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1046.82/1046.89 c 1021s| 1620k| 1619k|332088 | 0.2 |1564M| 205 | 0 |1112 |1221 |1112 | 773 | 81k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1053.32/1053.31 c 1027s| 1630k| 1629k|333577 | 0.2 |1574M| 205 | 0 |1112 |1221 |1112 | 773 | 81k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1059.72/1059.74 c 1034s| 1640k| 1639k|335108 | 0.2 |1583M| 205 | 0 |1112 |1221 |1112 | 773 | 81k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1066.12/1066.18 c 1040s| 1650k| 1649k|337070 | 0.2 |1593M| 205 | 0 |1112 |1221 |1112 | 773 | 82k| 45 |2319 | 0.000000e+00 | 1.668900e+04 | Inf
1072.62/1072.69 c 1046s| 1660k| 1659k|339251 | 0.2 |1603M| 205 | 0 |1112 |1221 |1112 | 773 | 82k| 45 |2330 | 0.000000e+00 | 1.668900e+04 | Inf
1079.13/1079.18 c 1053s| 1670k| 1669k|341434 | 0.2 |1612M| 205 | 0 |1112 |1221 |1112 | 773 | 83k| 45 |2330 | 0.000000e+00 | 1.668900e+04 | Inf
1085.63/1085.67 c 1059s| 1680k| 1679k|343604 | 0.2 |1622M| 205 | 0 |1112 |1221 |1112 | 777 | 84k| 45 |2330 | 0.000000e+00 | 1.668900e+04 | Inf
1092.13/1092.17 c 1065s| 1690k| 1689k|345858 | 0.2 |1631M| 205 | 0 |1112 |1221 |1112 | 773 | 84k| 45 |2331 | 0.000000e+00 | 1.668900e+04 | Inf
1098.62/1098.62 c 1072s| 1700k| 1699k|347741 | 0.2 |1641M| 205 | 0 |1112 |1221 |1112 | 774 | 85k| 45 |2331 | 0.000000e+00 | 1.668900e+04 | Inf
1105.03/1105.08 c 1078s| 1710k| 1709k|349694 | 0.2 |1651M| 205 | 0 |1112 |1221 |1112 | 774 | 85k| 45 |2332 | 0.000000e+00 | 1.668900e+04 | Inf
1111.52/1111.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.52/1111.53 c 1084s| 1720k| 1719k|351622 | 0.2 |1660M| 205 | 0 |1112 |1221 |1112 | 774 | 86k| 45 |2332 | 0.000000e+00 | 1.668900e+04 | Inf
1117.92/1117.98 c 1091s| 1730k| 1729k|353506 | 0.2 |1670M| 205 | 0 |1112 |1221 |1112 | 774 | 87k| 45 |2332 | 0.000000e+00 | 1.668900e+04 | Inf
1124.43/1124.44 c 1097s| 1740k| 1739k|355320 | 0.2 |1679M| 205 | 0 |1112 |1221 |1112 | 773 | 87k| 45 |2340 | 0.000000e+00 | 1.668900e+04 | Inf
1130.93/1130.90 c 1103s| 1750k| 1749k|357015 | 0.2 |1689M| 205 | 0 |1112 |1221 |1112 | 773 | 88k| 45 |2343 | 0.000000e+00 | 1.668900e+04 | Inf
1137.33/1137.37 c 1109s| 1760k| 1759k|358768 | 0.2 |1699M| 205 | 0 |1112 |1221 |1112 | 777 | 88k| 45 |2343 | 0.000000e+00 | 1.668900e+04 | Inf
1143.83/1143.82 c 1116s| 1770k| 1769k|360494 | 0.2 |1708M| 205 | 0 |1112 |1221 |1112 | 773 | 89k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1150.23/1150.27 c 1122s| 1780k| 1779k|362224 | 0.2 |1718M| 205 | 0 |1112 |1221 |1112 | 774 | 90k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1156.63/1156.67 c 1128s| 1790k| 1789k|363715 | 0.2 |1728M| 205 | 0 |1112 |1221 |1112 | 774 | 90k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1163.02/1163.07 c 1135s| 1800k| 1799k|365237 | 0.2 |1737M| 205 | 0 |1112 |1221 |1112 | 773 | 91k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1169.43/1169.48 c 1141s| 1810k| 1809k|366847 | 0.2 |1747M| 205 | 0 |1112 |1221 |1112 | 774 | 91k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1175.93/1175.93 c 1147s| 1820k| 1819k|368728 | 0.2 |1756M| 205 | 0 |1112 |1221 |1112 | 774 | 92k| 45 |2344 | 0.000000e+00 | 1.668900e+04 | Inf
1182.53/1182.59 c 1154s| 1830k| 1829k|370907 | 0.2 |1766M| 205 | 0 |1112 |1221 |1112 | 774 | 93k| 45 |2539 | 0.000000e+00 | 1.668900e+04 | Inf
1189.03/1189.07 c 1160s| 1840k| 1839k|372983 | 0.2 |1775M| 205 | 0 |1112 |1221 |1112 | 778 | 93k| 45 |2569 | 0.000000e+00 | 1.668900e+04 | Inf
1195.53/1195.52 c 1166s| 1850k| 1849k|374895 | 0.2 |1785M| 205 | 0 |1112 |1221 |1112 | 778 | 94k| 45 |2569 | 0.000000e+00 | 1.668900e+04 | Inf
1202.02/1202.02 c 1173s| 1860k| 1859k|377433 | 0.2 |1795M| 205 | 0 |1112 |1223 |1112 | 773 | 94k| 47 |2631 | 0.000000e+00 | 1.668900e+04 | Inf
1208.53/1208.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1208.53/1208.53 c 1179s| 1870k| 1869k|380101 | 0.2 |1804M| 205 | 0 |1112 |1223 |1112 | 773 | 95k| 47 |2657 | 0.000000e+00 | 1.668900e+04 | Inf
1215.03/1215.02 c 1185s| 1880k| 1879k|382230 | 0.2 |1814M| 205 | 0 |1112 |1223 |1112 | 773 | 95k| 47 |2670 | 0.000000e+00 | 1.668900e+04 | Inf
1221.52/1221.51 c 1192s| 1890k| 1889k|384121 | 0.2 |1823M| 205 | 0 |1112 |1223 |1112 | 777 | 96k| 47 |2681 | 0.000000e+00 | 1.668900e+04 | Inf
1228.03/1228.00 c 1198s| 1900k| 1899k|386060 | 0.2 |1833M| 205 | 0 |1112 |1223 |1112 | 773 | 97k| 47 |2683 | 0.000000e+00 | 1.668900e+04 | Inf
1234.43/1234.48 c 1204s| 1910k| 1909k|387981 | 0.2 |1843M| 205 | 0 |1112 |1223 |1112 | 773 | 97k| 47 |2683 | 0.000000e+00 | 1.668900e+04 | Inf
1240.92/1240.96 c 1211s| 1920k| 1919k|389830 | 0.2 |1852M| 205 | 0 |1112 |1223 |1112 | 777 | 98k| 47 |2683 | 0.000000e+00 | 1.668900e+04 | Inf
1247.43/1247.49 c 1217s| 1930k| 1929k|391868 | 0.2 |1862M| 205 | 0 |1112 |1223 |1112 | 773 | 98k| 47 |2729 | 0.000000e+00 | 1.668900e+04 | Inf
1254.03/1254.02 c 1223s| 1940k| 1939k|394204 | 0.2 |1871M| 205 | 0 |1112 |1223 |1112 | 773 | 99k| 47 |2773 | 0.000000e+00 | 1.668900e+04 | Inf
1260.53/1260.52 c 1230s| 1950k| 1949k|396441 | 0.2 |1881M| 205 | 0 |1112 |1223 |1112 | 773 | 99k| 47 |2790 | 0.000000e+00 | 1.668900e+04 | Inf
1267.03/1267.01 c 1236s| 1960k| 1959k|398549 | 0.2 |1891M| 205 | 0 |1112 |1223 |1112 | 777 | 100k| 47 |2802 | 0.000000e+00 | 1.668900e+04 | Inf
1273.43/1273.48 c 1242s| 1970k| 1969k|400391 | 0.2 |1900M| 205 | 0 |1112 |1223 |1112 | 774 | 101k| 47 |2802 | 0.000000e+00 | 1.668900e+04 | Inf
1279.93/1279.96 c 1249s| 1980k| 1979k|402281 | 0.2 |1910M| 205 | 0 |1112 |1223 |1112 | 771 | 101k| 47 |2802 | 0.000000e+00 | 1.668900e+04 | Inf
1286.43/1286.44 c 1255s| 1990k| 1989k|404204 | 0.2 |1919M| 205 | 0 |1112 |1223 |1112 | 773 | 102k| 47 |2802 | 0.000000e+00 | 1.668900e+04 | Inf
1292.93/1292.92 c 1261s| 2000k| 1999k|406111 | 0.2 |1929M| 205 | 0 |1112 |1223 |1112 | 774 | 102k| 47 |2813 | 0.000000e+00 | 1.668900e+04 | Inf
1299.33/1299.37 c 1268s| 2010k| 2009k|407964 | 0.2 |1939M| 205 | 0 |1112 |1223 |1112 | 778 | 103k| 47 |2813 | 0.000000e+00 | 1.668900e+04 | Inf
1305.83/1305.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.83/1305.88 c 1274s| 2020k| 2019k|409950 | 0.2 |1948M| 205 | 0 |1112 |1223 |1112 | 778 | 104k| 47 |2846 | 0.000000e+00 | 1.668900e+04 | Inf
1312.34/1312.34 c 1280s| 2030k| 2029k|411926 | 0.2 |1958M| 205 | 0 |1112 |1223 |1112 | 773 | 104k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1318.73/1318.79 c 1286s| 2040k| 2039k|413837 | 0.2 |1967M| 205 | 0 |1112 |1223 |1112 | 774 | 105k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1325.23/1325.26 c 1293s| 2050k| 2049k|415603 | 0.2 |1977M| 205 | 0 |1112 |1223 |1112 | 773 | 105k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1331.73/1331.73 c 1299s| 2060k| 2059k|417251 | 0.2 |1987M| 205 | 0 |1112 |1223 |1112 | 773 | 106k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1338.13/1338.19 c 1305s| 2070k| 2069k|418972 | 0.2 |1996M| 205 | 0 |1112 |1223 |1112 | 773 | 107k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1344.63/1344.66 c 1312s| 2080k| 2079k|420701 | 0.2 |2006M| 205 | 0 |1112 |1223 |1112 | 773 | 107k| 47 |2850 | 0.000000e+00 | 1.668900e+04 | Inf
1351.13/1351.11 c 1318s| 2090k| 2089k|422634 | 0.2 |2015M| 205 | 0 |1112 |1223 |1112 | 774 | 108k| 47 |2851 | 0.000000e+00 | 1.668900e+04 | Inf
1357.53/1357.51 c 1324s| 2100k| 2099k|424760 | 0.2 |2025M| 205 | 0 |1112 |1223 |1112 | 772 | 108k| 47 |2860 | 0.000000e+00 | 1.668900e+04 | Inf
1363.94/1363.92 c 1330s| 2110k| 2109k|426971 | 0.2 |2035M| 205 | 0 |1112 |1223 |1112 | 772 | 109k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1370.33/1370.31 c 1337s| 2120k| 2119k|429022 | 0.2 |2044M| 205 | 0 |1112 |1223 |1112 | 772 | 109k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1376.73/1376.71 c 1343s| 2130k| 2129k|430718 | 0.2 |2054M| 205 | 0 |1112 |1223 |1112 | 774 | 109k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1383.13/1383.11 c 1349s| 2140k| 2139k|432244 | 0.2 |2064M| 205 | 0 |1112 |1223 |1112 | 774 | 110k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1389.53/1389.50 c 1355s| 2150k| 2149k|433786 | 0.2 |2073M| 205 | 0 |1112 |1223 |1112 | 774 | 110k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1395.94/1395.92 c 1362s| 2160k| 2159k|435547 | 0.2 |2083M| 205 | 0 |1112 |1223 |1112 | 773 | 111k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1402.33/1402.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.33/1402.34 c 1368s| 2170k| 2169k|437359 | 0.2 |2092M| 205 | 1 |1112 |1223 |1112 | 772 | 111k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1408.73/1408.76 c 1374s| 2180k| 2179k|439183 | 0.2 |2102M| 205 | 0 |1112 |1223 |1112 | 774 | 112k| 47 |2863 | 0.000000e+00 | 1.668900e+04 | Inf
1415.23/1415.24 c 1381s| 2190k| 2189k|441384 | 0.2 |2112M| 205 | 0 |1112 |1223 |1112 | 773 | 112k| 47 |2866 | 0.000000e+00 | 1.668900e+04 | Inf
1421.74/1421.73 c 1387s| 2200k| 2199k|443515 | 0.2 |2121M| 205 | 0 |1112 |1223 |1112 | 773 | 113k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1428.13/1428.20 c 1393s| 2210k| 2209k|445656 | 0.2 |2131M| 205 | 0 |1112 |1223 |1112 | 777 | 114k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1434.64/1434.67 c 1400s| 2220k| 2219k|447845 | 0.2 |2140M| 205 | 0 |1112 |1223 |1112 | 777 | 114k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1441.14/1441.14 c 1406s| 2230k| 2229k|449934 | 0.2 |2150M| 205 | 0 |1112 |1223 |1112 | 773 | 115k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1447.64/1447.61 c 1412s| 2240k| 2239k|451937 | 0.2 |2159M| 205 | 0 |1112 |1223 |1112 | 777 | 115k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1454.03/1454.08 c 1418s| 2250k| 2249k|454034 | 0.2 |2169M| 205 | 0 |1112 |1223 |1112 | 777 | 116k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1460.53/1460.54 c 1425s| 2260k| 2259k|456054 | 0.2 |2179M| 205 | 0 |1112 |1223 |1112 | 773 | 116k| 47 |2877 | 0.000000e+00 | 1.668900e+04 | Inf
1467.04/1467.01 c 1431s| 2270k| 2269k|458119 | 0.2 |2188M| 205 | 0 |1112 |1223 |1112 | 773 | 117k| 47 |2878 | 0.000000e+00 | 1.668900e+04 | Inf
1473.44/1473.47 c 1437s| 2280k| 2279k|460121 | 0.2 |2198M| 205 | 0 |1112 |1223 |1112 | 773 | 117k| 47 |2878 | 0.000000e+00 | 1.668900e+04 | Inf
1479.93/1479.93 c 1444s| 2290k| 2289k|462060 | 0.2 |2207M| 205 | 0 |1112 |1223 |1112 | 777 | 118k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1486.33/1486.39 c 1450s| 2300k| 2299k|464096 | 0.2 |2217M| 205 | 0 |1112 |1223 |1112 | 777 | 119k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1492.83/1492.84 c 1456s| 2310k| 2309k|466027 | 0.2 |2227M| 205 | 0 |1112 |1223 |1112 | 773 | 119k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1499.24/1499.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1499.24/1499.30 c 1463s| 2320k| 2319k|467952 | 0.2 |2236M| 205 | 0 |1112 |1223 |1112 | 773 | 120k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1505.73/1505.76 c 1469s| 2330k| 2329k|469837 | 0.2 |2246M| 205 | 1 |1112 |1223 |1112 | 772 | 120k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1512.24/1512.21 c 1475s| 2340k| 2339k|471668 | 0.2 |2255M| 205 | 0 |1112 |1223 |1112 | 773 | 121k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1518.63/1518.67 c 1482s| 2350k| 2349k|473629 | 0.2 |2265M| 205 | 0 |1112 |1223 |1112 | 777 | 121k| 47 |2890 | 0.000000e+00 | 1.668900e+04 | Inf
1525.14/1525.12 c 1488s| 2360k| 2359k|475645 | 0.2 |2275M| 205 | 0 |1112 |1223 |1112 | 774 | 122k| 47 |2892 | 0.000000e+00 | 1.668900e+04 | Inf
1531.53/1531.53 c 1494s| 2370k| 2369k|477664 | 0.2 |2284M| 205 | 0 |1112 |1223 |1112 | 774 | 122k| 47 |2894 | 0.000000e+00 | 1.668900e+04 | Inf
1537.94/1537.96 c 1500s| 2380k| 2379k|479922 | 0.2 |2294M| 205 | 0 |1112 |1223 |1112 | 774 | 123k| 47 |2899 | 0.000000e+00 | 1.668900e+04 | Inf
1544.34/1544.35 c 1507s| 2390k| 2389k|482003 | 0.2 |2303M| 205 | 0 |1112 |1223 |1112 | 772 | 123k| 47 |2899 | 0.000000e+00 | 1.668900e+04 | Inf
1550.84/1550.82 c 1513s| 2400k| 2399k|483974 | 0.2 |2313M| 205 | 0 |1112 |1223 |1112 | 777 | 124k| 47 |2915 | 0.000000e+00 | 1.668900e+04 | Inf
1557.34/1557.30 c 1519s| 2410k| 2409k|485792 | 0.2 |2323M| 205 | 0 |1112 |1223 |1112 | 773 | 124k| 47 |2915 | 0.000000e+00 | 1.668900e+04 | Inf
1563.74/1563.78 c 1526s| 2420k| 2419k|487675 | 0.2 |2332M| 205 | 0 |1112 |1223 |1112 | 773 | 125k| 47 |2915 | 0.000000e+00 | 1.668900e+04 | Inf
1570.24/1570.25 c 1532s| 2430k| 2429k|489557 | 0.2 |2342M| 205 | 0 |1112 |1223 |1112 | 773 | 125k| 47 |2915 | 0.000000e+00 | 1.668900e+04 | Inf
1576.74/1576.71 c 1538s| 2440k| 2439k|491287 | 0.2 |2351M| 205 | 0 |1112 |1223 |1112 | 773 | 126k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1583.14/1583.14 c 1544s| 2450k| 2449k|492761 | 0.2 |2361M| 205 | 0 |1112 |1223 |1112 | 773 | 126k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1589.55/1589.57 c 1551s| 2460k| 2459k|494230 | 0.2 |2371M| 205 | 0 |1112 |1223 |1112 | 773 | 127k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1595.94/1595.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.94/1595.99 c 1557s| 2470k| 2469k|495732 | 0.2 |2380M| 205 | 0 |1112 |1223 |1112 | 773 | 127k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1602.44/1602.41 c 1563s| 2480k| 2479k|497210 | 0.2 |2390M| 205 | 0 |1112 |1223 |1112 | 773 | 128k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1608.84/1608.84 c 1570s| 2490k| 2489k|498688 | 0.2 |2399M| 205 | 0 |1112 |1223 |1112 | 773 | 128k| 47 |2916 | 0.000000e+00 | 1.668900e+04 | Inf
1615.34/1615.31 c 1576s| 2500k| 2499k|500476 | 0.2 |2409M| 205 | 0 |1112 |1223 |1112 | 773 | 129k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1621.74/1621.78 c 1582s| 2510k| 2509k|502332 | 0.2 |2418M| 205 | 0 |1112 |1223 |1112 | 773 | 129k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1628.23/1628.24 c 1588s| 2520k| 2519k|504202 | 0.2 |2428M| 205 | 0 |1112 |1223 |1112 | 777 | 130k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1634.74/1634.70 c 1595s| 2530k| 2529k|506116 | 0.2 |2438M| 205 | 0 |1112 |1223 |1112 | 777 | 130k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1641.14/1641.17 c 1601s| 2540k| 2539k|507976 | 0.2 |2447M| 205 | 0 |1112 |1223 |1112 | 773 | 131k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1647.64/1647.65 c 1607s| 2550k| 2549k|509874 | 0.2 |2457M| 205 | 0 |1112 |1223 |1112 | 773 | 131k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1654.14/1654.13 c 1614s| 2560k| 2559k|511747 | 0.2 |2466M| 205 | 0 |1112 |1223 |1112 | 773 | 132k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1660.64/1660.60 c 1620s| 2570k| 2569k|513603 | 0.2 |2476M| 205 | 0 |1112 |1223 |1112 | 773 | 133k| 47 |2928 | 0.000000e+00 | 1.668900e+04 | Inf
1667.14/1667.10 c 1626s| 2580k| 2579k|515552 | 0.2 |2486M| 205 | 0 |1112 |1223 |1112 | 777 | 133k| 47 |2939 | 0.000000e+00 | 1.668900e+04 | Inf
1673.54/1673.57 c 1633s| 2590k| 2589k|517405 | 0.2 |2495M| 205 | 0 |1112 |1223 |1112 | 773 | 134k| 47 |2940 | 0.000000e+00 | 1.668900e+04 | Inf
1680.04/1680.06 c 1639s| 2600k| 2599k|519303 | 0.2 |2505M| 205 | 0 |1112 |1223 |1112 | 773 | 134k| 47 |2940 | 0.000000e+00 | 1.668900e+04 | Inf
1686.54/1686.55 c 1645s| 2610k| 2609k|521194 | 0.2 |2514M| 205 | 0 |1112 |1223 |1112 | 773 | 135k| 47 |2940 | 0.000000e+00 | 1.668900e+04 | Inf
1693.04/1693.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.04/1693.02 c 1652s| 2620k| 2619k|523029 | 0.2 |2524M| 205 | 0 |1112 |1223 |1112 | 773 | 135k| 47 |2940 | 0.000000e+00 | 1.668900e+04 | Inf
1699.45/1699.49 c 1658s| 2630k| 2629k|524761 | 0.2 |2534M| 205 | 0 |1112 |1223 |1112 | 773 | 136k| 47 |2949 | 0.000000e+00 | 1.668900e+04 | Inf
1705.94/1705.94 c 1664s| 2640k| 2639k|526234 | 0.2 |2543M| 205 | 0 |1112 |1223 |1112 | 773 | 136k| 47 |2965 | 0.000000e+00 | 1.668900e+04 | Inf
1712.34/1712.39 c 1671s| 2650k| 2649k|527752 | 0.2 |2553M| 205 | 0 |1112 |1223 |1112 | 773 | 137k| 47 |2982 | 0.000000e+00 | 1.668900e+04 | Inf
1718.84/1718.84 c 1677s| 2660k| 2659k|529228 | 0.2 |2562M| 205 | 0 |1112 |1223 |1112 | 773 | 137k| 47 |2999 | 0.000000e+00 | 1.668900e+04 | Inf
1725.24/1725.29 c 1683s| 2670k| 2669k|530736 | 0.2 |2572M| 205 | 0 |1112 |1223 |1112 | 774 | 138k| 47 |3017 | 0.000000e+00 | 1.668900e+04 | Inf
1731.74/1731.74 c 1689s| 2680k| 2679k|532264 | 0.2 |2581M| 205 | 0 |1112 |1223 |1112 | 773 | 138k| 47 |3033 | 0.000000e+00 | 1.668900e+04 | Inf
1738.14/1738.19 c 1696s| 2690k| 2689k|533709 | 0.2 |2591M| 205 | 0 |1112 |1223 |1112 | 773 | 139k| 47 |3051 | 0.000000e+00 | 1.668900e+04 | Inf
1744.65/1744.64 c 1702s| 2700k| 2699k|535216 | 0.2 |2601M| 205 | 0 |1112 |1223 |1112 | 773 | 139k| 47 |3069 | 0.000000e+00 | 1.668900e+04 | Inf
1751.05/1751.07 c 1708s| 2710k| 2709k|536713 | 0.2 |2610M| 205 | 0 |1112 |1223 |1112 | 773 | 140k| 47 |3069 | 0.000000e+00 | 1.668900e+04 | Inf
1757.54/1757.50 c 1715s| 2720k| 2719k|538187 | 0.2 |2620M| 205 | 0 |1112 |1223 |1112 | 773 | 140k| 47 |3069 | 0.000000e+00 | 1.668900e+04 | Inf
1763.95/1763.94 c 1721s| 2730k| 2729k|539696 | 0.2 |2629M| 205 | 0 |1112 |1223 |1112 | 774 | 140k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1770.45/1770.42 c 1727s| 2740k| 2739k|541609 | 0.2 |2639M| 205 | 0 |1112 |1223 |1112 | 774 | 141k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1776.84/1776.89 c 1733s| 2750k| 2749k|543450 | 0.2 |2649M| 205 | 0 |1112 |1223 |1112 | 778 | 142k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1783.35/1783.36 c 1740s| 2760k| 2759k|545387 | 0.2 |2658M| 205 | 0 |1112 |1223 |1112 | 774 | 142k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1789.84/1789.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.84/1789.82 c 1746s| 2770k| 2769k|547213 | 0.2 |2668M| 205 | 0 |1112 |1223 |1112 | 774 | 143k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | Inf
1796.25/1796.29 c 1752s| 2780k| 2779k|548990 | 0.2 |2677M| 205 | 0 |1112 |1223 |1112 | 773 | 144k| 47 |3072 | 0.000000e+00 | 1.668900e+04 | 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) : 1756.04
1800.05/1800.00 c Solving Nodes : 2785717
1800.05/1800.00 c Primal Bound : +1.66890000000000e+04 (100 solutions)
1800.05/1800.00 c Dual Bound : +0.00000000000000e+00
1800.05/1800.00 c Gap : infinite
1800.05/1800.01 s SATISFIABLE
1800.05/1800.01 v x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 x475 -x474
1800.05/1800.01 v -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
1800.05/1800.01 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432
1800.05/1800.01 v -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.05/1800.01 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.05/1800.01 v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1800.05/1800.01 v x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 x352 x351 x350 -x349 -x348
1800.05/1800.01 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1800.05/1800.01 v -x326 -x325 -x324 x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.05/1800.01 v -x305 -x304 -x303 -x302 -x301 -x300 x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289 -x288 x287 -x286 -x285 -x284
1800.05/1800.01 v x283 -x282 -x281 -x280 -x279 -x278 x277 x276 x275 -x274 -x273 x272 x271 -x270 -x269 -x268 x267 x266 -x265 -x264 -x263 -x262
1800.05/1800.01 v -x261 x260 -x259 -x258 x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 x242 -x241
1800.05/1800.01 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 x219
1800.05/1800.01 v -x218 -x217 -x216 -x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.05/1800.01 v x195 x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 x174
1800.05/1800.01 v -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153
1800.05/1800.01 v -x152 -x151 x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132
1800.05/1800.01 v x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 x112 -x111 -x110
1800.05/1800.01 v -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 x92 x91 -x90 x89 -x88 -x87 -x86
1800.05/1800.01 v -x85 -x84 -x83 x82 x81 x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.05/1800.01 v -x59 x58 x57 x56 -x55 -x54 -x53 -x52 x51 x50 x49 x48 x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 x34 -x33
1800.05/1800.01 v -x32 -x31 x30 x29 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
1800.05/1800.01 v x3 x2 x1
1800.05/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.01 c Solving Time : 1756.04
1800.05/1800.01 c Original Problem :
1800.05/1800.01 c Problem name : HOME/instance-2692468-1277915756.wbo
1800.05/1800.01 c Variables : 1169 (832 binary, 0 integer, 0 implicit integer, 337 continuous)
1800.05/1800.01 c Constraints : 1278 initial, 1278 maximal
1800.05/1800.01 c Presolved Problem :
1800.05/1800.01 c Problem name : t_HOME/instance-2692468-1277915756.wbo
1800.05/1800.01 c Variables : 1112 (783 binary, 0 integer, 0 implicit integer, 329 continuous)
1800.05/1800.01 c Constraints : 1198 initial, 1233 maximal
1800.05/1800.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c dualfix : 0.00 16 0 0 0 0 0 0 0
1800.05/1800.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c implics : 0.00 0 22 0 0 0 0 0 0
1800.05/1800.01 c probing : 0.04 4 11 0 0 0 0 0 0
1800.05/1800.01 c indicator : 0.00 0 0 0 0 0 8 0 0
1800.05/1800.01 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c knapsack : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.01 c linear : 0.01 1 3 0 337 0 60 71 141
1800.05/1800.01 c logicor : 0.01 0 0 0 0 0 12 0 0
1800.05/1800.01 c root node : - 0 - - 0 - - - -
1800.05/1800.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c integral : 0 0 0 2840304 0 0 135 0 0 170958
1800.05/1800.01 c indicator : 329 0 5074790 2754690 0 0 2272444 0 0 0
1800.05/1800.01 c varbound : 2 6 5074768 2754669 0 0 0 1 0 0
1800.05/1800.01 c knapsack : 89 6 5074790 2754690 0 33 192480 311 0 0
1800.05/1800.01 c linear : 327 6 5074757 2754690 0 0 1638574 144155 0 0
1800.05/1800.01 c logicor : 451+ 6 2007813 2700213 0 4 1683512 0 0 0
1800.05/1800.01 c countsols : 0 0 0 2700213 0 0 0 0 0 0
1800.05/1800.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.01 c integral : 7.84 0.00 0.00 7.84 0.00
1800.05/1800.01 c indicator : 71.03 0.13 18.42 52.48 0.00
1800.05/1800.01 c varbound : 2.60 0.00 1.38 1.22 0.00
1800.05/1800.01 c knapsack : 9.30 0.00 6.35 2.95 0.00
1800.05/1800.01 c linear : 47.51 0.00 13.78 33.73 0.00
1800.05/1800.01 c logicor : 12.79 0.00 3.65 9.14 0.00
1800.05/1800.01 c countsols : 0.58 0.00 0.00 0.58 0.00
1800.05/1800.01 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.01 c vbounds : 1.37 80025 0 26422
1800.05/1800.01 c rootredcost : 1.20 1 0 0
1800.05/1800.01 c pseudoobj : 42.99 5073730 0 0
1800.05/1800.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.01 c propagation : 0.00 35 35 50 9.3 0 0.0 -
1800.05/1800.01 c infeasible LP : 0.00 4 4 4 2.0 0 0.0 0
1800.05/1800.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.01 c applied globally : - - - 47 8.6 - - -
1800.05/1800.01 c applied locally : - - - 0 0.0 - - -
1800.05/1800.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.01 c cut pool : 0.00 5 - - 234 - (maximal pool size: 1109)
1800.05/1800.01 c redcost : 66.07 2840309 0 0 0 0
1800.05/1800.01 c impliedbounds : 0.00 6 0 0 9 0
1800.05/1800.01 c intobj : 0.00 0 0 0 0 0
1800.05/1800.01 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.01 c gomory : 0.03 6 0 0 141 0
1800.05/1800.01 c strongcg : 0.03 6 0 0 54 0
1800.05/1800.01 c cmir : 0.06 6 0 0 464 0
1800.05/1800.01 c flowcover : 0.12 6 0 0 878 0
1800.05/1800.01 c clique : 0.00 6 0 0 6 0
1800.05/1800.01 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.01 c mcf : 0.00 1 0 0 0 0
1800.05/1800.01 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.01 c Pricers : Time Calls Vars
1800.05/1800.01 c problem variables: 0.00 0 0
1800.05/1800.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.01 c relpscost : 6.82 85614 0 135 0 0 170958
1800.05/1800.01 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.01 c inference : 92.55 2700213 0 0 0 0 5400426
1800.05/1800.01 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.01 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.01 c random : 0.00 0 0 0 0 0 0
1800.05/1800.01 c Primal Heuristics : Time Calls Found
1800.05/1800.01 c LP solutions : 0.00 - 0
1800.05/1800.01 c pseudo solutions : 0.00 - 0
1800.05/1800.01 c oneopt : 1.89 1 0
1800.05/1800.01 c feaspump : 0.03 1 0
1800.05/1800.01 c intshifting : 0.00 3 0
1800.05/1800.01 c crossover : 1.17 13 0
1800.05/1800.01 c coefdiving : 6.87 26716 0
1800.05/1800.01 c fracdiving : 6.99 26716 0
1800.05/1800.01 c veclendiving : 7.00 26716 0
1800.05/1800.01 c linesearchdiving : 7.46 26716 0
1800.05/1800.01 c guideddiving : 7.22 26716 0
1800.05/1800.01 c pscostdiving : 6.99 26717 0
1800.05/1800.01 c rootsoldiving : 7.95 26715 0
1800.05/1800.01 c objpscostdiving : 7.59 26716 0
1800.05/1800.01 c trivial : 0.00 2 0
1800.05/1800.01 c simplerounding : 0.90 76515 0
1800.05/1800.01 c zirounding : 0.75 1000 0
1800.05/1800.01 c rounding : 0.81 3869 0
1800.05/1800.01 c shifting : 0.29 1146 0
1800.05/1800.01 c twoopt : 0.00 0 0
1800.05/1800.01 c fixandinfer : 0.00 0 0
1800.05/1800.01 c intdiving : 0.00 0 0
1800.05/1800.01 c actconsdiving : 0.00 0 0
1800.05/1800.01 c octane : 0.00 0 0
1800.05/1800.01 c rens : 0.03 1 0
1800.05/1800.01 c rins : 0.00 0 0
1800.05/1800.01 c localbranching : 0.00 0 0
1800.05/1800.01 c mutation : 0.00 0 0
1800.05/1800.01 c dins : 0.00 0 0
1800.05/1800.01 c undercover : 0.00 0 0
1800.05/1800.01 c nlp : 0.77 0 0
1800.05/1800.01 c trysol : 1.58 28187 100
1800.05/1800.01 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.01 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.01 c dual LP : 828.72 135390 549317 4.06 662.85
1800.05/1800.01 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.01 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.01 c diving/probing LP: 0.07 169 662 3.92 9457.14
1800.05/1800.01 c strong branching : 6.46 3072 62406 20.31 9660.37
1800.05/1800.01 c (at root node) : - 17 1421 83.59 -
1800.05/1800.01 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.01 c B&B Tree :
1800.05/1800.01 c number of runs : 1
1800.05/1800.01 c nodes : 2785717
1800.05/1800.01 c nodes (total) : 2785717
1800.05/1800.01 c nodes left : 2785668
1800.05/1800.01 c max depth : 205
1800.05/1800.01 c max depth (total): 205
1800.05/1800.01 c backtracks : 26724 (1.0%)
1800.05/1800.01 c delayed cutoffs : 0
1800.05/1800.01 c repropagations : 373 (46 domain reductions, 0 cutoffs)
1800.05/1800.01 c avg switch length: 2.09
1800.05/1800.01 c switching time : 83.42
1800.05/1800.01 c Solution :
1800.05/1800.01 c Solutions found : 100 (1 improvements)
1800.05/1800.01 c First Solution : +1.66890000000000e+04 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
1800.05/1800.01 c Primal Bound : +1.66890000000000e+04 (in run 1, after 1 nodes, 0.08 seconds, depth 0, found by <trysol>)
1800.05/1800.01 c Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Gap : infinite
1800.05/1800.01 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.01 c Root Iterations : 1391