0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2705773-1278580143.wbo>
0.00/0.00 c original problem has 392 variables (236 bin, 0 int, 156 impl, 0 cont) and 353 constraints
0.00/0.00 c problem read
0.00/0.00 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 40 del vars, 40 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 80 impls, 0 clqs
0.00/0.01 c (round 2) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 80 impls, 0 clqs
0.00/0.01 c (round 3) 41 del vars, 40 del conss, 156 chg bounds, 0 chg sides, 0 chg coeffs, 1 upgd conss, 392 impls, 0 clqs
0.00/0.01 c (0.0s) probing: 101/195 (51.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.01 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.01 c presolving (4 rounds):
0.00/0.01 c 41 deleted vars, 40 deleted constraints, 156 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.01 c 392 implications, 0 cliques
0.00/0.01 c presolved problem has 351 variables (195 bin, 0 int, 156 impl, 0 cont) and 313 constraints
0.00/0.01 c 1 constraints of type <knapsack>
0.00/0.01 c 156 constraints of type <linear>
0.00/0.01 c 156 constraints of type <indicator>
0.00/0.01 c transformed objective value is always integral (scale: 1)
0.00/0.01 c Presolving Time: 0.01
0.00/0.01 c - non default parameters ----------------------------------------------------------------------
0.00/0.01 c # SCIP version 1.2.1.3
0.00/0.01 c
0.00/0.01 c # frequency for displaying node information lines
0.00/0.01 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.01 c display/freq = 10000
0.00/0.01 c
0.00/0.01 c # maximal time in seconds to run
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/time = 1790
0.00/0.01 c
0.00/0.01 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.01 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.01 c limits/memory = 3420
0.00/0.01 c
0.00/0.01 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.01 c # [type: int, range: [1,2], default: 1]
0.00/0.01 c timing/clocktype = 2
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify inequalities
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/linear/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/indicator/addCouplingCons = TRUE
0.00/0.01 c
0.00/0.01 c # should presolving try to simplify knapsacks
0.00/0.01 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.01 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.01 c
0.00/0.01 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.01 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.01 c separating/rapidlearning/freq = 0
0.00/0.01 c
0.00/0.01 c -----------------------------------------------------------------------------------------------
0.00/0.01 c start solving
0.00/0.01 c
0.00/0.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.01 c 0.0s| 1 | 0 | 0 | - |1407k| 0 | 0 | 351 | 313 | 351 | 1 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 c 0.0s| 1 | 0 | 40 | - |1451k| 0 | 25 | 351 | 313 | 351 | 79 | 78 | 0 | 0 | 0.000000e+00 | -- | Inf
0.01/0.03 o 48
0.01/0.03 c y 0.0s| 1 | 0 | 40 | - |1453k| 0 | 25 | 351 | 313 | 351 | 79 | 78 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.03 c 0.0s| 1 | 0 | 69 | - |1466k| 0 | 37 | 351 | 313 | 351 | 106 | 105 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.03 c 0.0s| 1 | 0 | 166 | - |1497k| 0 | 27 | 351 | 313 | 351 | 141 | 140 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.04 c 0.0s| 1 | 0 | 201 | - |1507k| 0 | 37 | 351 | 313 | 351 | 158 | 157 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.04 c 0.0s| 1 | 0 | 212 | - |1516k| 0 | 36 | 351 | 313 | 351 | 163 | 162 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.05 c 0.0s| 1 | 0 | 238 | - |1528k| 0 | 37 | 351 | 313 | 351 | 170 | 169 | 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
0.01/0.07 c 0.1s| 1 | 2 | 238 | - |1535k| 0 | 37 | 351 | 313 | 351 | 170 | 169 | 0 | 33 | 0.000000e+00 | 4.800000e+01 | Inf
0.09/0.11 o 26
0.09/0.11 c y 0.1s| 17 | 16 | 280 | 2.6 |1556k| 15 | - | 351 | 313 | 0 | 0 | 171 | 0 | 114 | 0.000000e+00 | 2.600000e+01 | Inf
0.19/0.20 o 25
0.19/0.20 c y 0.2s| 101 | 100 | 447 | 2.1 |1640k| 29 | - | 351 | 313 | 0 | 0 | 181 | 0 | 277 | 0.000000e+00 | 2.500000e+01 | Inf
0.29/0.35 o 24
0.29/0.35 c y 0.3s| 551 | 550 | 1060 | 1.5 |2062k| 29 | - | 351 | 313 | 0 | 0 | 248 | 0 | 294 | 0.000000e+00 | 2.400000e+01 | Inf
3.19/3.23 c 3.2s| 10000 | 9995 | 12137 | 1.2 |8125k| 38 | 0 | 351 | 315 | 351 | 171 | 778 | 2 | 302 | 1.000000e+00 | 2.400000e+01 |2300.00%
6.19/6.23 c 6.2s| 20000 | 19993 | 21448 | 1.1 | 14M| 43 | 0 | 351 | 316 | 351 | 171 |1154 | 3 | 394 | 1.000000e+00 | 2.400000e+01 |2300.00%
9.39/9.44 c 9.4s| 30000 | 29987 | 33745 | 1.1 | 20M| 47 | 0 | 351 | 320 | 351 | 171 |1413 | 7 | 497 | 2.000000e+00 | 2.400000e+01 |1100.00%
12.39/12.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.39/12.41 c 12.4s| 40000 | 39985 | 45460 | 1.1 | 26M| 47 | 0 | 351 | 321 | 351 | 171 |1559 | 8 | 571 | 2.000000e+00 | 2.400000e+01 |1100.00%
15.19/15.28 c 15.3s| 50000 | 49985 | 54638 | 1.1 | 33M| 47 | 0 | 351 | 315 | 351 | 169 |1682 | 8 | 637 | 2.000000e+00 | 2.400000e+01 |1100.00%
18.09/18.18 c 18.2s| 60000 | 59985 | 66435 | 1.1 | 39M| 47 | 0 | 351 | 314 | 351 | 170 |1971 | 8 | 726 | 2.000000e+00 | 2.400000e+01 |1100.00%
20.99/21.08 c 21.1s| 70000 | 69985 | 75659 | 1.1 | 45M| 47 | 0 | 351 | 313 | 351 | 170 |2074 | 8 | 765 | 2.000000e+00 | 2.400000e+01 |1100.00%
23.89/23.90 c 23.9s| 80000 | 79985 | 82340 | 1.0 | 51M| 47 | 0 | 351 | 313 | 351 | 171 |2138 | 8 | 798 | 3.000000e+00 | 2.400000e+01 | 700.00%
26.69/26.73 c 26.7s| 90000 | 89985 | 89849 | 1.0 | 58M| 47 | 0 | 351 | 313 | 351 | 170 |2213 | 8 | 846 | 3.000000e+00 | 2.400000e+01 | 700.00%
29.49/29.59 c 29.6s|100000 | 99981 | 96694 | 1.0 | 64M| 47 | 0 | 351 | 315 | 351 | 170 |2311 | 10 | 875 | 3.000000e+00 | 2.400000e+01 | 700.00%
32.49/32.55 c 32.6s|110000 |109981 |106506 | 1.0 | 70M| 47 | 0 | 351 | 315 | 351 | 170 |2453 | 10 | 934 | 3.000000e+00 | 2.400000e+01 | 700.00%
35.39/35.48 c 35.5s|120000 |119979 |115807 | 1.0 | 77M| 47 | 0 | 351 | 315 | 351 | 170 |2564 | 11 | 968 | 3.000000e+00 | 2.400000e+01 | 700.00%
38.29/38.33 c 38.3s|130000 |129979 |128540 | 1.0 | 83M| 47 | 0 | 351 | 314 | 351 | 169 |2636 | 11 |1023 | 3.000000e+00 | 2.400000e+01 | 700.00%
41.29/41.30 o 23
41.29/41.30 c y41.3s|139642 |139619 |140847 | 1.0 | 89M| 47 | - | 351 | 314 | 0 | 0 |2710 | 11 |1059 | 3.000000e+00 | 2.300000e+01 | 666.67%
41.39/41.43 c 41.4s|140000 |139979 |141709 | 1.0 | 90M| 47 | 0 | 351 | 314 | 351 | 169 |2720 | 11 |1073 | 3.000000e+00 | 2.300000e+01 | 666.67%
44.39/44.44 c 44.4s|150000 |149979 |154458 | 1.0 | 96M| 47 | 0 | 351 | 314 | 351 | 171 |2738 | 11 |1094 | 3.000000e+00 | 2.300000e+01 | 666.67%
47.30/47.38 c 47.4s|160000 |159979 |165471 | 1.0 | 103M| 47 | 0 | 351 | 314 | 351 | 169 |2742 | 11 |1134 | 3.000000e+00 | 2.300000e+01 | 666.67%
50.19/50.25 c 50.2s|170000 |169977 |173109 | 1.0 | 109M| 47 | 0 | 351 | 314 | 351 | 170 |2767 | 12 |1158 | 3.000000e+00 | 2.300000e+01 | 666.67%
53.09/53.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.09/53.12 c 53.1s|180000 |179977 |179662 | 1.0 | 116M| 47 | 0 | 351 | 314 | 351 | 169 |2906 | 12 |1205 | 3.000000e+00 | 2.300000e+01 | 666.67%
55.89/55.97 c 56.0s|190000 |189977 |188135 | 1.0 | 122M| 47 | 0 | 351 | 314 | 351 | 169 |2924 | 12 |1210 | 3.000000e+00 | 2.300000e+01 | 666.67%
58.79/58.85 c 58.8s|200000 |199977 |195271 | 1.0 | 128M| 47 | 0 | 351 | 314 | 351 | 170 |3016 | 12 |1250 | 3.000000e+00 | 2.300000e+01 | 666.67%
61.69/61.77 c 61.8s|210000 |209977 |200954 | 1.0 | 135M| 47 | 0 | 351 | 314 | 351 | 170 |3122 | 12 |1292 | 4.000000e+00 | 2.300000e+01 | 475.00%
64.59/64.63 c 64.6s|220000 |219977 |208131 | 0.9 | 141M| 47 | 0 | 351 | 313 | 351 | 170 |3154 | 12 |1292 | 4.000000e+00 | 2.300000e+01 | 475.00%
67.39/67.45 c 67.4s|230000 |229969 |213502 | 0.9 | 148M| 47 | 0 | 351 | 314 | 351 | 170 |3168 | 13 |1308 | 4.000000e+00 | 2.300000e+01 | 475.00%
70.30/70.31 c 70.3s|240000 |239969 |218953 | 0.9 | 154M| 48 | 0 | 351 | 313 | 351 | 168 |3232 | 13 |1343 | 4.000000e+00 | 2.300000e+01 | 475.00%
73.09/73.19 c 73.2s|250000 |249967 |225918 | 0.9 | 160M| 48 | 0 | 351 | 313 | 351 | 171 |3267 | 14 |1371 | 4.000000e+00 | 2.300000e+01 | 475.00%
76.00/76.06 c 76.1s|260000 |259963 |230035 | 0.9 | 167M| 49 | 0 | 351 | 313 | 351 | 171 |3328 | 16 |1399 | 4.000000e+00 | 2.300000e+01 | 475.00%
78.69/78.71 c 78.7s|270000 |269963 |232622 | 0.9 | 173M| 52 | 0 | 351 | 313 | 351 | 170 |3354 | 16 |1405 | 4.000000e+00 | 2.300000e+01 | 475.00%
81.49/81.55 c 81.5s|280000 |279963 |234934 | 0.8 | 179M| 52 | 0 | 351 | 313 | 351 | 173 |3384 | 16 |1408 | 4.000000e+00 | 2.300000e+01 | 475.00%
84.29/84.32 c 84.3s|290000 |289963 |237337 | 0.8 | 185M| 52 | 0 | 351 | 313 | 351 | 171 |3412 | 16 |1413 | 4.000000e+00 | 2.300000e+01 | 475.00%
87.09/87.14 c 87.1s|300000 |299963 |241775 | 0.8 | 192M| 52 | 0 | 351 | 313 | 351 | 170 |3427 | 16 |1422 | 4.000000e+00 | 2.300000e+01 | 475.00%
89.89/89.92 c 89.9s|310000 |309963 |245207 | 0.8 | 198M| 52 | 0 | 351 | 313 | 351 | 169 |3452 | 16 |1427 | 4.000000e+00 | 2.300000e+01 | 475.00%
92.69/92.70 c 92.7s|320000 |319963 |248390 | 0.8 | 204M| 52 | 0 | 351 | 313 | 351 | 172 |3455 | 16 |1432 | 4.000000e+00 | 2.300000e+01 | 475.00%
95.39/95.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
95.39/95.48 c 95.5s|330000 |329963 |251612 | 0.8 | 210M| 52 | 0 | 351 | 313 | 351 | 169 |3461 | 16 |1456 | 4.000000e+00 | 2.300000e+01 | 475.00%
98.19/98.28 c 98.3s|340000 |339963 |255492 | 0.8 | 217M| 52 | 0 | 351 | 313 | 351 | 170 |3496 | 16 |1472 | 4.000000e+00 | 2.300000e+01 | 475.00%
101.00/101.06 c 101s|350000 |349963 |261165 | 0.7 | 223M| 52 | 0 | 351 | 313 | 351 | 169 |3553 | 16 |1476 | 4.000000e+00 | 2.300000e+01 | 475.00%
103.79/103.88 c 104s|360000 |359960 |266711 | 0.7 | 229M| 52 | 0 | 351 | 314 | 351 | 171 |3612 | 17 |1502 | 4.000000e+00 | 2.300000e+01 | 475.00%
106.60/106.70 c 107s|370000 |369960 |271858 | 0.7 | 235M| 52 | 0 | 351 | 314 | 351 | 169 |3688 | 17 |1522 | 4.000000e+00 | 2.300000e+01 | 475.00%
109.49/109.53 c 110s|380000 |379960 |281104 | 0.7 | 242M| 52 | 0 | 351 | 314 | 351 | 171 |3704 | 17 |1524 | 4.000000e+00 | 2.300000e+01 | 475.00%
112.40/112.40 c 112s|390000 |389956 |286722 | 0.7 | 248M| 52 | 0 | 351 | 316 | 351 | 171 |3801 | 19 |1576 | 5.000000e+00 | 2.300000e+01 | 360.00%
115.19/115.27 c 115s|400000 |399954 |292688 | 0.7 | 254M| 52 | 0 | 351 | 315 | 351 | 173 |3901 | 20 |1589 | 5.000000e+00 | 2.300000e+01 | 360.00%
118.10/118.13 c 118s|410000 |409954 |299382 | 0.7 | 260M| 52 | 0 | 351 | 314 | 351 | 171 |3950 | 20 |1603 | 5.000000e+00 | 2.300000e+01 | 360.00%
120.89/120.98 c 121s|420000 |419954 |307499 | 0.7 | 267M| 52 | 0 | 351 | 314 | 351 | 169 |3963 | 20 |1624 | 5.000000e+00 | 2.300000e+01 | 360.00%
123.79/123.81 c 124s|430000 |429954 |312442 | 0.7 | 273M| 52 | 0 | 351 | 314 | 351 | 170 |3998 | 20 |1635 | 5.000000e+00 | 2.300000e+01 | 360.00%
126.60/126.64 c 127s|440000 |439954 |318870 | 0.7 | 279M| 52 | 0 | 351 | 314 | 351 | 167 |4068 | 20 |1658 | 5.000000e+00 | 2.300000e+01 | 360.00%
129.50/129.54 c 130s|450000 |449954 |329295 | 0.7 | 286M| 52 | 0 | 351 | 314 | 351 | 169 |4138 | 20 |1689 | 5.000000e+00 | 2.300000e+01 | 360.00%
132.39/132.43 c 132s|460000 |459946 |335761 | 0.7 | 292M| 52 | 0 | 351 | 316 | 351 | 168 |4222 | 22 |1708 | 5.000000e+00 | 2.300000e+01 | 360.00%
135.20/135.29 c 135s|470000 |469916 |342389 | 0.7 | 298M| 52 | 0 | 351 | 316 | 351 | 171 |4379 | 32 |1724 | 5.000000e+00 | 2.300000e+01 | 360.00%
138.09/138.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.09/138.10 c 138s|480000 |479914 |347043 | 0.7 | 304M| 52 | 0 | 351 | 314 | 351 | 171 |4455 | 33 |1730 | 5.000000e+00 | 2.300000e+01 | 360.00%
140.90/140.97 c 141s|490000 |489914 |353290 | 0.7 | 310M| 52 | 0 | 351 | 314 | 351 | 171 |4591 | 33 |1733 | 5.000000e+00 | 2.300000e+01 | 360.00%
143.79/143.85 c 144s|500000 |499914 |359956 | 0.7 | 317M| 52 | 0 | 351 | 314 | 351 | 171 |4656 | 33 |1755 | 5.000000e+00 | 2.300000e+01 | 360.00%
146.69/146.72 c 147s|510000 |509908 |367215 | 0.7 | 323M| 52 | 0 | 351 | 314 | 351 | 171 |4721 | 36 |1766 | 5.000000e+00 | 2.300000e+01 | 360.00%
149.60/149.61 c 150s|520000 |519906 |372155 | 0.7 | 329M| 52 | 0 | 351 | 314 | 351 | 171 |4842 | 37 |1787 | 5.000000e+00 | 2.300000e+01 | 360.00%
152.50/152.53 c 153s|530000 |529906 |377080 | 0.7 | 335M| 52 | 0 | 351 | 314 | 351 | 172 |5117 | 37 |1807 | 5.000000e+00 | 2.300000e+01 | 360.00%
155.49/155.57 c 156s|540000 |539906 |385344 | 0.7 | 342M| 52 | 0 | 351 | 314 | 351 | 167 |5421 | 37 |1825 | 5.000000e+00 | 2.300000e+01 | 360.00%
158.50/158.50 c 158s|550000 |549906 |389710 | 0.7 | 348M| 52 | 0 | 351 | 314 | 351 | 172 |5749 | 37 |1843 | 5.000000e+00 | 2.300000e+01 | 360.00%
161.19/161.22 c 161s|560000 |559904 |392033 | 0.7 | 354M| 52 | 0 | 351 | 315 | 351 | 168 |5854 | 38 |1848 | 5.000000e+00 | 2.300000e+01 | 360.00%
163.99/164.09 c 164s|570000 |569904 |394351 | 0.7 | 360M| 52 | 0 | 351 | 314 | 351 | 170 |5939 | 38 |1866 | 5.000000e+00 | 2.300000e+01 | 360.00%
166.80/166.83 c 167s|580000 |579904 |395938 | 0.7 | 366M| 52 | 0 | 351 | 314 | 351 | 171 |5983 | 38 |1866 | 5.000000e+00 | 2.300000e+01 | 360.00%
169.59/169.65 c 170s|590000 |589902 |399416 | 0.7 | 373M| 52 | 0 | 351 | 315 | 351 | 171 |6020 | 39 |1871 | 5.000000e+00 | 2.300000e+01 | 360.00%
172.39/172.47 c 172s|600000 |599902 |402461 | 0.7 | 379M| 52 | 0 | 351 | 315 | 351 | 173 |6038 | 39 |1882 | 5.000000e+00 | 2.300000e+01 | 360.00%
175.30/175.32 c 175s|610000 |609902 |405832 | 0.7 | 385M| 52 | 0 | 351 | 314 | 351 | 169 |6072 | 39 |1884 | 5.000000e+00 | 2.300000e+01 | 360.00%
178.10/178.18 c 178s|620000 |619902 |409372 | 0.7 | 391M| 52 | 0 | 351 | 314 | 351 | 171 |6146 | 39 |1891 | 5.000000e+00 | 2.300000e+01 | 360.00%
180.90/180.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
180.90/180.98 c 181s|630000 |629901 |411778 | 0.7 | 397M| 52 | 0 | 351 | 314 | 351 | 171 |6230 | 39 |1896 | 5.000000e+00 | 2.300000e+01 | 360.00%
183.80/183.86 c 184s|640000 |639891 |416339 | 0.7 | 404M| 52 | 0 | 351 | 316 | 351 | 169 |6377 | 42 |1905 | 5.000000e+00 | 2.300000e+01 | 360.00%
186.70/186.77 c 187s|650000 |649890 |422460 | 0.6 | 410M| 52 | 0 | 351 | 314 | 351 | 171 |6489 | 42 |1920 | 5.000000e+00 | 2.300000e+01 | 360.00%
189.59/189.68 c 190s|660000 |659890 |427839 | 0.6 | 416M| 52 | 0 | 351 | 314 | 351 | 169 |6563 | 42 |1937 | 6.000000e+00 | 2.300000e+01 | 283.33%
192.50/192.59 c 193s|670000 |669890 |435062 | 0.6 | 422M| 52 | 0 | 351 | 314 | 351 | 170 |6656 | 42 |1949 | 6.000000e+00 | 2.300000e+01 | 283.33%
195.49/195.52 c 196s|680000 |679890 |442954 | 0.7 | 429M| 52 | 0 | 351 | 314 | 351 | 170 |6711 | 42 |1971 | 6.000000e+00 | 2.300000e+01 | 283.33%
198.40/198.44 c 198s|690000 |689890 |449978 | 0.7 | 435M| 52 | 0 | 351 | 314 | 351 | 171 |6834 | 42 |1976 | 6.000000e+00 | 2.300000e+01 | 283.33%
201.40/201.41 c 201s|700000 |699882 |456970 | 0.7 | 441M| 52 | 0 | 351 | 314 | 351 | 172 |6968 | 44 |1998 | 6.000000e+00 | 2.300000e+01 | 283.33%
204.40/204.42 c 204s|710000 |709882 |464695 | 0.7 | 447M| 52 | 0 | 351 | 314 | 351 | 171 |7247 | 44 |2013 | 6.000000e+00 | 2.300000e+01 | 283.33%
207.30/207.39 c 207s|720000 |719882 |471142 | 0.7 | 454M| 52 | 0 | 351 | 314 | 351 | 170 |7392 | 44 |2027 | 6.000000e+00 | 2.300000e+01 | 283.33%
210.30/210.30 c 210s|730000 |729882 |479254 | 0.7 | 460M| 52 | 0 | 351 | 314 | 351 | 171 |7479 | 44 |2031 | 6.000000e+00 | 2.300000e+01 | 283.33%
213.10/213.13 c 213s|740000 |739880 |483310 | 0.7 | 466M| 52 | 0 | 351 | 314 | 351 | 170 |7494 | 45 |2053 | 6.000000e+00 | 2.300000e+01 | 283.33%
216.00/216.04 c 216s|750000 |749880 |492075 | 0.7 | 472M| 52 | 0 | 351 | 314 | 351 | 169 |7537 | 45 |2059 | 6.000000e+00 | 2.300000e+01 | 283.33%
218.90/218.97 c 219s|760000 |759880 |500823 | 0.7 | 479M| 52 | 0 | 351 | 314 | 351 | 168 |7567 | 45 |2083 | 6.000000e+00 | 2.300000e+01 | 283.33%
221.89/221.90 c 222s|770000 |769874 |509605 | 0.7 | 485M| 52 | 0 | 351 | 315 | 351 | 169 |7624 | 48 |2097 | 6.000000e+00 | 2.300000e+01 | 283.33%
224.79/224.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
224.79/224.81 c 225s|780000 |779874 |513921 | 0.7 | 491M| 52 | 0 | 351 | 314 | 351 | 167 |7804 | 48 |2106 | 6.000000e+00 | 2.300000e+01 | 283.33%
227.60/227.68 c 228s|790000 |789872 |517382 | 0.7 | 497M| 52 | 0 | 351 | 314 | 351 | 171 |7911 | 49 |2110 | 6.000000e+00 | 2.300000e+01 | 283.33%
230.50/230.54 c 231s|800000 |799818 |523846 | 0.7 | 503M| 52 | 0 | 351 | 326 | 351 | 168 |8008 | 61 |2112 | 6.000000e+00 | 2.300000e+01 | 283.33%
233.40/233.49 c 233s|810000 |809814 |530334 | 0.7 | 510M| 52 | 0 | 351 | 316 | 351 | 168 |8204 | 63 |2121 | 6.000000e+00 | 2.300000e+01 | 283.33%
236.41/236.45 c 236s|820000 |819814 |537027 | 0.7 | 516M| 52 | 0 | 351 | 314 | 351 | 170 |8420 | 63 |2124 | 6.000000e+00 | 2.300000e+01 | 283.33%
239.30/239.34 c 239s|830000 |829814 |542934 | 0.7 | 522M| 52 | 0 | 351 | 314 | 351 | 169 |8523 | 63 |2129 | 6.000000e+00 | 2.300000e+01 | 283.33%
242.19/242.23 c 242s|840000 |839814 |547412 | 0.7 | 528M| 52 | 0 | 351 | 314 | 351 | 169 |8594 | 63 |2135 | 6.000000e+00 | 2.300000e+01 | 283.33%
245.10/245.14 c 245s|850000 |849812 |554471 | 0.7 | 535M| 52 | 0 | 351 | 314 | 351 | 170 |8611 | 64 |2135 | 6.000000e+00 | 2.300000e+01 | 283.33%
248.00/248.08 c 248s|860000 |859810 |562569 | 0.7 | 541M| 52 | 0 | 351 | 314 | 351 | 169 |8615 | 65 |2135 | 6.000000e+00 | 2.300000e+01 | 283.33%
250.90/250.97 c 251s|870000 |869810 |568563 | 0.7 | 547M| 52 | 0 | 351 | 314 | 351 | 169 |8632 | 65 |2141 | 6.000000e+00 | 2.300000e+01 | 283.33%
253.80/253.82 c 254s|880000 |879810 |576362 | 0.7 | 554M| 52 | 0 | 351 | 314 | 351 | 170 |8641 | 65 |2141 | 6.000000e+00 | 2.300000e+01 | 283.33%
256.80/256.80 c 257s|890000 |889810 |586505 | 0.7 | 560M| 52 | 0 | 351 | 314 | 351 | 170 |8649 | 65 |2153 | 6.000000e+00 | 2.300000e+01 | 283.33%
259.70/259.71 c 260s|900000 |899810 |593829 | 0.7 | 566M| 52 | 0 | 351 | 314 | 351 | 171 |8662 | 65 |2156 | 6.000000e+00 | 2.300000e+01 | 283.33%
262.59/262.62 c 263s|910000 |909810 |600274 | 0.7 | 572M| 52 | 0 | 351 | 314 | 351 | 170 |8815 | 65 |2162 | 6.000000e+00 | 2.300000e+01 | 283.33%
265.40/265.47 c 265s|920000 |919810 |603960 | 0.7 | 579M| 52 | 0 | 351 | 314 | 351 | 170 |8953 | 65 |2211 | 6.000000e+00 | 2.300000e+01 | 283.33%
268.30/268.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
268.30/268.36 c 268s|930000 |929810 |608476 | 0.7 | 585M| 52 | 0 | 351 | 314 | 351 | 169 |8964 | 65 |2228 | 6.000000e+00 | 2.300000e+01 | 283.33%
271.20/271.25 c 271s|940000 |939808 |613733 | 0.7 | 591M| 52 | 0 | 351 | 314 | 351 | 171 |8979 | 66 |2231 | 6.000000e+00 | 2.300000e+01 | 283.33%
274.10/274.15 c 274s|950000 |949806 |618116 | 0.7 | 597M| 52 | 0 | 351 | 314 | 351 | 170 |9101 | 67 |2250 | 6.000000e+00 | 2.300000e+01 | 283.33%
277.11/277.11 c 277s|960000 |959806 |622864 | 0.6 | 604M| 52 | 0 | 351 | 314 | 351 | 169 |9412 | 67 |2257 | 6.000000e+00 | 2.300000e+01 | 283.33%
280.10/280.17 c 280s|970000 |969804 |629506 | 0.6 | 610M| 52 | 0 | 351 | 315 | 351 | 171 | 10k| 68 |2279 | 6.000000e+00 | 2.300000e+01 | 283.33%
283.00/283.08 c 283s|980000 |979804 |634364 | 0.6 | 616M| 52 | 0 | 351 | 315 | 351 | 171 | 10k| 68 |2279 | 6.000000e+00 | 2.300000e+01 | 283.33%
286.00/286.07 c 286s|990000 |989804 |640655 | 0.6 | 622M| 52 | 0 | 351 | 314 | 351 | 173 | 10k| 68 |2284 | 6.000000e+00 | 2.300000e+01 | 283.33%
289.00/289.02 c 289s| 1000k|999804 |646176 | 0.6 | 628M| 52 | 0 | 351 | 314 | 351 | 172 | 10k| 68 |2313 | 6.000000e+00 | 2.300000e+01 | 283.33%
291.90/291.97 c 292s| 1010k| 1009k|651444 | 0.6 | 635M| 52 | 0 | 351 | 314 | 351 | 171 | 11k| 68 |2316 | 6.000000e+00 | 2.300000e+01 | 283.33%
294.71/294.79 c 295s| 1020k| 1019k|655385 | 0.6 | 641M| 52 | 0 | 351 | 314 | 351 | 170 | 11k| 68 |2335 | 6.000000e+00 | 2.300000e+01 | 283.33%
297.60/297.68 c 298s| 1030k| 1029k|656918 | 0.6 | 647M| 52 | 0 | 351 | 314 | 351 | 170 | 11k| 68 |2335 | 6.000000e+00 | 2.300000e+01 | 283.33%
300.40/300.47 c 300s| 1040k| 1039k|658880 | 0.6 | 653M| 52 | 0 | 351 | 314 | 351 | 171 | 11k| 68 |2342 | 6.000000e+00 | 2.300000e+01 | 283.33%
303.10/303.19 c 303s| 1050k| 1049k|660772 | 0.6 | 660M| 56 | 0 | 351 | 314 | 351 | 169 | 11k| 68 |2354 | 6.000000e+00 | 2.300000e+01 | 283.33%
306.00/306.03 c 306s| 1060k| 1059k|663350 | 0.6 | 666M| 56 | 0 | 351 | 314 | 351 | 171 | 11k| 68 |2354 | 6.000000e+00 | 2.300000e+01 | 283.33%
308.80/308.80 c 309s| 1070k| 1069k|665414 | 0.6 | 672M| 56 | 0 | 351 | 315 | 351 | 172 | 11k| 69 |2356 | 6.000000e+00 | 2.300000e+01 | 283.33%
311.60/311.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
311.60/311.65 c 312s| 1080k| 1079k|667889 | 0.6 | 678M| 56 | 0 | 351 | 317 | 351 | 171 | 11k| 71 |2382 | 6.000000e+00 | 2.300000e+01 | 283.33%
314.50/314.53 c 315s| 1090k| 1089k|672077 | 0.6 | 685M| 56 | 0 | 351 | 315 | 351 | 170 | 11k| 71 |2383 | 6.000000e+00 | 2.300000e+01 | 283.33%
317.40/317.47 c 317s| 1100k| 1099k|677756 | 0.6 | 691M| 56 | 0 | 351 | 314 | 351 | 172 | 11k| 71 |2388 | 6.000000e+00 | 2.300000e+01 | 283.33%
320.40/320.43 c 320s| 1110k| 1109k|682956 | 0.6 | 697M| 56 | 0 | 351 | 314 | 351 | 172 | 11k| 71 |2401 | 6.000000e+00 | 2.300000e+01 | 283.33%
323.31/323.31 c 323s| 1120k| 1119k|687374 | 0.6 | 703M| 56 | 0 | 351 | 314 | 351 | 171 | 12k| 71 |2405 | 6.000000e+00 | 2.300000e+01 | 283.33%
326.10/326.19 c 326s| 1130k| 1129k|690813 | 0.6 | 709M| 56 | 0 | 351 | 315 | 351 | 170 | 12k| 73 |2412 | 7.000000e+00 | 2.300000e+01 | 228.57%
328.91/328.97 c 329s| 1140k| 1139k|691935 | 0.6 | 715M| 56 | 0 | 351 | 314 | 351 | 171 | 12k| 74 |2412 | 7.000000e+00 | 2.300000e+01 | 228.57%
331.80/331.87 c 332s| 1150k| 1149k|695129 | 0.6 | 721M| 56 | 0 | 351 | 314 | 351 | 169 | 12k| 74 |2419 | 7.000000e+00 | 2.300000e+01 | 228.57%
334.80/334.82 c 335s| 1160k| 1159k|700953 | 0.6 | 728M| 56 | 0 | 351 | 314 | 351 | 172 | 12k| 74 |2438 | 7.000000e+00 | 2.300000e+01 | 228.57%
337.70/337.77 c 338s| 1170k| 1169k|706124 | 0.6 | 734M| 56 | 0 | 351 | 314 | 351 | 171 | 12k| 74 |2440 | 7.000000e+00 | 2.300000e+01 | 228.57%
340.70/340.72 c 341s| 1180k| 1179k|712140 | 0.6 | 740M| 56 | 0 | 351 | 314 | 351 | 171 | 12k| 74 |2458 | 7.000000e+00 | 2.300000e+01 | 228.57%
343.60/343.68 c 344s| 1190k| 1189k|718654 | 0.6 | 747M| 56 | 0 | 351 | 314 | 351 | 169 | 12k| 74 |2470 | 7.000000e+00 | 2.300000e+01 | 228.57%
346.60/346.69 c 347s| 1200k| 1199k|726595 | 0.6 | 753M| 56 | 0 | 351 | 314 | 351 | 169 | 12k| 74 |2479 | 7.000000e+00 | 2.300000e+01 | 228.57%
349.71/349.75 c 350s| 1210k| 1209k|735526 | 0.6 | 759M| 56 | 0 | 351 | 314 | 351 | 170 | 13k| 74 |2492 | 7.000000e+00 | 2.300000e+01 | 228.57%
352.70/352.74 c 353s| 1220k| 1219k|743710 | 0.6 | 765M| 56 | 0 | 351 | 314 | 351 | 172 | 13k| 74 |2504 | 7.000000e+00 | 2.300000e+01 | 228.57%
355.60/355.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
355.60/355.70 c 356s| 1230k| 1229k|751634 | 0.6 | 772M| 56 | 0 | 351 | 314 | 351 | 171 | 13k| 74 |2517 | 7.000000e+00 | 2.300000e+01 | 228.57%
358.70/358.72 c 359s| 1240k| 1239k|759107 | 0.6 | 778M| 56 | 0 | 351 | 314 | 351 | 170 | 13k| 86 |2532 | 7.000000e+00 | 2.300000e+01 | 228.57%
361.60/361.68 c 362s| 1250k| 1249k|767141 | 0.6 | 784M| 56 | 0 | 351 | 314 | 351 | 173 | 13k| 86 |2550 | 7.000000e+00 | 2.300000e+01 | 228.57%
364.60/364.67 c 365s| 1260k| 1259k|773507 | 0.6 | 790M| 56 | 0 | 351 | 317 | 351 | 173 | 13k| 89 |2550 | 7.000000e+00 | 2.300000e+01 | 228.57%
367.60/367.67 c 368s| 1270k| 1269k|780401 | 0.6 | 797M| 56 | 0 | 351 | 314 | 351 | 169 | 14k| 89 |2574 | 7.000000e+00 | 2.300000e+01 | 228.57%
370.61/370.65 c 371s| 1280k| 1279k|786496 | 0.6 | 803M| 56 | 0 | 351 | 314 | 351 | 172 | 14k| 89 |2575 | 7.000000e+00 | 2.300000e+01 | 228.57%
373.61/373.62 c 374s| 1290k| 1289k|794918 | 0.6 | 809M| 56 | 0 | 351 | 314 | 351 | 170 | 14k| 89 |2588 | 7.000000e+00 | 2.300000e+01 | 228.57%
376.50/376.51 c 377s| 1300k| 1299k|799861 | 0.6 | 815M| 56 | 0 | 351 | 315 | 351 | 171 | 14k| 94 |2600 | 7.000000e+00 | 2.300000e+01 | 228.57%
379.50/379.55 c 380s| 1310k| 1309k|807420 | 0.6 | 822M| 56 | 0 | 351 | 315 | 351 | 171 | 14k| 94 |2602 | 7.000000e+00 | 2.300000e+01 | 228.57%
382.51/382.55 c 383s| 1320k| 1319k|815361 | 0.6 | 828M| 56 | 0 | 351 | 315 | 351 | 169 | 14k| 94 |2621 | 7.000000e+00 | 2.300000e+01 | 228.57%
385.40/385.49 c 385s| 1330k| 1329k|822292 | 0.6 | 834M| 56 | 0 | 351 | 315 | 351 | 169 | 14k| 94 |2638 | 7.000000e+00 | 2.300000e+01 | 228.57%
388.50/388.50 c 388s| 1340k| 1339k|828794 | 0.6 | 840M| 56 | 0 | 351 | 314 | 351 | 171 | 15k| 95 |2642 | 7.000000e+00 | 2.300000e+01 | 228.57%
391.50/391.52 c 392s| 1350k| 1349k|836143 | 0.6 | 847M| 56 | 0 | 351 | 315 | 351 | 171 | 15k| 96 |2655 | 7.000000e+00 | 2.300000e+01 | 228.57%
394.41/394.49 c 394s| 1360k| 1359k|842008 | 0.6 | 853M| 56 | 0 | 351 | 314 | 351 | 169 | 15k| 98 |2663 | 7.000000e+00 | 2.300000e+01 | 228.57%
397.50/397.51 c 398s| 1370k| 1369k|847269 | 0.6 | 859M| 56 | 0 | 351 | 314 | 351 | 169 | 15k| 99 |2667 | 7.000000e+00 | 2.300000e+01 | 228.57%
400.50/400.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.50/400.51 c 401s| 1380k| 1379k|852759 | 0.6 | 865M| 56 | 0 | 351 | 314 | 351 | 170 | 15k| 99 |2677 | 7.000000e+00 | 2.300000e+01 | 228.57%
403.30/403.37 c 403s| 1390k| 1389k|855616 | 0.6 | 872M| 56 | 0 | 351 | 316 | 351 | 169 | 16k| 101 |2677 | 7.000000e+00 | 2.300000e+01 | 228.57%
406.31/406.34 c 406s| 1400k| 1399k|860203 | 0.6 | 878M| 56 | 0 | 351 | 315 | 351 | 171 | 16k| 102 |2686 | 7.000000e+00 | 2.300000e+01 | 228.57%
409.30/409.30 c 409s| 1410k| 1409k|865307 | 0.6 | 884M| 56 | 0 | 351 | 314 | 351 | 171 | 16k| 102 |2689 | 7.000000e+00 | 2.300000e+01 | 228.57%
412.31/412.31 c 412s| 1420k| 1419k|871515 | 0.6 | 890M| 56 | 0 | 351 | 314 | 351 | 172 | 16k| 102 |2706 | 7.000000e+00 | 2.300000e+01 | 228.57%
415.21/415.27 c 415s| 1430k| 1429k|877418 | 0.6 | 897M| 56 | 0 | 351 | 325 | 351 | 170 | 17k| 113 |2715 | 7.000000e+00 | 2.300000e+01 | 228.57%
418.20/418.26 c 418s| 1440k| 1439k|883264 | 0.6 | 903M| 56 | 0 | 351 | 315 | 351 | 169 | 17k| 114 |2726 | 7.000000e+00 | 2.300000e+01 | 228.57%
421.21/421.25 c 421s| 1450k| 1449k|889641 | 0.6 | 909M| 56 | 0 | 351 | 315 | 351 | 171 | 17k| 114 |2737 | 7.000000e+00 | 2.300000e+01 | 228.57%
424.10/424.13 c 424s| 1460k| 1459k|893571 | 0.6 | 915M| 56 | 0 | 351 | 318 | 351 | 170 | 17k| 124 |2746 | 7.000000e+00 | 2.300000e+01 | 228.57%
427.11/427.11 c 427s| 1470k| 1469k|899757 | 0.6 | 921M| 56 | 0 | 351 | 318 | 351 | 170 | 17k| 129 |2746 | 7.000000e+00 | 2.300000e+01 | 228.57%
429.90/430.00 c 430s| 1480k| 1479k|904874 | 0.6 | 927M| 56 | 0 | 351 | 314 | 351 | 169 | 18k| 133 |2753 | 7.000000e+00 | 2.300000e+01 | 228.57%
432.91/432.91 c 433s| 1490k| 1489k|910600 | 0.6 | 933M| 56 | 0 | 351 | 314 | 351 | 170 | 18k| 134 |2767 | 7.000000e+00 | 2.300000e+01 | 228.57%
435.70/435.79 c 436s| 1500k| 1499k|916088 | 0.6 | 939M| 56 | 0 | 351 | 315 | 351 | 172 | 18k| 138 |2767 | 7.000000e+00 | 2.300000e+01 | 228.57%
438.60/438.67 c 439s| 1510k| 1509k|921700 | 0.6 | 944M| 56 | 0 | 351 | 315 | 351 | 171 | 18k| 139 |2768 | 7.000000e+00 | 2.300000e+01 | 228.57%
441.50/441.56 c 442s| 1520k| 1519k|929174 | 0.6 | 951M| 56 | 0 | 351 | 313 | 351 | 171 | 18k| 144 |2782 | 7.000000e+00 | 2.300000e+01 | 228.57%
444.41/444.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.41/444.43 c 444s| 1530k| 1529k|936263 | 0.6 | 956M| 56 | 0 | 351 | 313 | 351 | 172 | 18k| 144 |2801 | 7.000000e+00 | 2.300000e+01 | 228.57%
447.31/447.30 c 447s| 1540k| 1539k|941414 | 0.6 | 962M| 56 | 0 | 351 | 314 | 351 | 170 | 19k| 145 |2801 | 7.000000e+00 | 2.300000e+01 | 228.57%
450.20/450.22 c 450s| 1550k| 1549k|948512 | 0.6 | 968M| 56 | 0 | 351 | 314 | 351 | 171 | 19k| 145 |2809 | 7.000000e+00 | 2.300000e+01 | 228.57%
453.00/453.04 c 453s| 1560k| 1559k|952594 | 0.6 | 974M| 56 | 0 | 351 | 315 | 351 | 171 | 19k| 146 |2841 | 7.000000e+00 | 2.300000e+01 | 228.57%
456.00/456.04 c 456s| 1570k| 1569k|959276 | 0.6 | 979M| 56 | 0 | 351 | 316 | 351 | 172 | 20k| 148 |2845 | 7.000000e+00 | 2.300000e+01 | 228.57%
459.01/459.03 c 459s| 1580k| 1579k|966043 | 0.6 | 985M| 56 | 0 | 351 | 319 | 351 | 171 | 21k| 152 |2849 | 7.000000e+00 | 2.300000e+01 | 228.57%
462.01/462.02 c 462s| 1590k| 1589k|972137 | 0.6 | 991M| 56 | 0 | 351 | 320 | 351 | 171 | 22k| 155 |2855 | 7.000000e+00 | 2.300000e+01 | 228.57%
465.00/465.00 c 465s| 1600k| 1599k|978922 | 0.6 | 996M| 56 | 0 | 351 | 313 | 351 | 172 | 22k| 155 |2872 | 7.000000e+00 | 2.300000e+01 | 228.57%
467.81/467.87 c 468s| 1610k| 1609k|987531 | 0.6 |1002M| 56 | 0 | 351 | 313 | 351 | 171 | 22k| 155 |2882 | 7.000000e+00 | 2.300000e+01 | 228.57%
470.71/470.77 c 471s| 1620k| 1619k|996756 | 0.6 |1008M| 56 | 0 | 351 | 313 | 351 | 172 | 22k| 155 |2888 | 7.000000e+00 | 2.300000e+01 | 228.57%
473.61/473.67 c 474s| 1630k| 1629k| 1003k| 0.6 |1014M| 56 | 0 | 351 | 313 | 351 | 170 | 23k| 155 |2917 | 7.000000e+00 | 2.300000e+01 | 228.57%
476.50/476.58 c 477s| 1640k| 1639k| 1011k| 0.6 |1019M| 56 | 0 | 351 | 313 | 351 | 168 | 23k| 155 |2922 | 7.000000e+00 | 2.300000e+01 | 228.57%
479.40/479.47 c 479s| 1650k| 1649k| 1017k| 0.6 |1025M| 56 | 0 | 351 | 313 | 351 | 171 | 23k| 155 |2925 | 7.000000e+00 | 2.300000e+01 | 228.57%
482.31/482.33 c 482s| 1660k| 1659k| 1022k| 0.6 |1031M| 56 | 0 | 351 | 314 | 351 | 170 | 24k| 156 |2945 | 7.000000e+00 | 2.300000e+01 | 228.57%
485.01/485.10 c 485s| 1670k| 1669k| 1025k| 0.6 |1037M| 56 | 0 | 351 | 314 | 351 | 172 | 24k| 156 |2954 | 7.000000e+00 | 2.300000e+01 | 228.57%
487.70/487.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
487.70/487.78 c 488s| 1680k| 1679k| 1027k| 0.6 |1042M| 56 | 0 | 351 | 314 | 351 | 173 | 24k| 156 |2955 | 7.000000e+00 | 2.300000e+01 | 228.57%
490.51/490.52 c 491s| 1690k| 1689k| 1031k| 0.6 |1048M| 56 | 0 | 351 | 314 | 351 | 172 | 24k| 156 |2958 | 7.000000e+00 | 2.300000e+01 | 228.57%
493.21/493.22 c 493s| 1700k| 1699k| 1033k| 0.6 |1054M| 56 | 0 | 351 | 314 | 351 | 169 | 24k| 156 |2972 | 7.000000e+00 | 2.300000e+01 | 228.57%
495.90/495.98 c 496s| 1710k| 1709k| 1036k| 0.6 |1060M| 56 | 0 | 351 | 314 | 351 | 169 | 24k| 156 |2982 | 7.000000e+00 | 2.300000e+01 | 228.57%
498.71/498.71 c 499s| 1720k| 1719k| 1039k| 0.6 |1065M| 56 | 0 | 351 | 314 | 351 | 170 | 24k| 156 |2987 | 7.000000e+00 | 2.300000e+01 | 228.57%
501.40/501.42 c 501s| 1730k| 1729k| 1041k| 0.6 |1071M| 56 | 0 | 351 | 314 | 351 | 170 | 24k| 156 |2989 | 7.000000e+00 | 2.300000e+01 | 228.57%
504.21/504.26 c 504s| 1740k| 1739k| 1048k| 0.6 |1077M| 56 | 0 | 351 | 314 | 351 | 172 | 24k| 156 |2994 | 7.000000e+00 | 2.300000e+01 | 228.57%
507.11/507.12 c 507s| 1750k| 1749k| 1053k| 0.6 |1083M| 56 | 0 | 351 | 314 | 351 | 170 | 25k| 156 |2998 | 7.000000e+00 | 2.300000e+01 | 228.57%
510.00/510.03 c 510s| 1760k| 1759k| 1059k| 0.6 |1088M| 56 | 0 | 351 | 313 | 351 | 170 | 25k| 156 |3006 | 7.000000e+00 | 2.300000e+01 | 228.57%
512.91/512.94 c 513s| 1770k| 1769k| 1066k| 0.6 |1094M| 56 | 0 | 351 | 314 | 351 | 170 | 25k| 157 |3026 | 7.000000e+00 | 2.300000e+01 | 228.57%
515.81/515.84 c 516s| 1780k| 1779k| 1072k| 0.6 |1100M| 56 | 0 | 351 | 314 | 351 | 171 | 25k| 157 |3029 | 7.000000e+00 | 2.300000e+01 | 228.57%
518.71/518.73 c 519s| 1790k| 1789k| 1079k| 0.6 |1106M| 56 | 0 | 351 | 313 | 351 | 171 | 25k| 157 |3041 | 7.000000e+00 | 2.300000e+01 | 228.57%
521.61/521.69 c 522s| 1800k| 1799k| 1085k| 0.6 |1111M| 56 | 0 | 351 | 313 | 351 | 172 | 26k| 157 |3046 | 7.000000e+00 | 2.300000e+01 | 228.57%
524.62/524.63 c 525s| 1810k| 1809k| 1092k| 0.6 |1117M| 56 | 0 | 351 | 313 | 351 | 170 | 26k| 157 |3046 | 7.000000e+00 | 2.300000e+01 | 228.57%
527.50/527.59 c 528s| 1820k| 1819k| 1099k| 0.6 |1123M| 56 | 0 | 351 | 313 | 351 | 173 | 27k| 157 |3069 | 7.000000e+00 | 2.300000e+01 | 228.57%
530.40/530.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
530.40/530.48 c 530s| 1830k| 1829k| 1104k| 0.6 |1129M| 56 | 0 | 351 | 313 | 351 | 172 | 27k| 157 |3074 | 7.000000e+00 | 2.300000e+01 | 228.57%
533.21/533.27 c 533s| 1840k| 1839k| 1108k| 0.6 |1134M| 56 | 0 | 351 | 313 | 351 | 171 | 27k| 157 |3076 | 7.000000e+00 | 2.300000e+01 | 228.57%
536.11/536.11 c 536s| 1850k| 1849k| 1110k| 0.6 |1140M| 56 | 0 | 351 | 313 | 351 | 171 | 27k| 157 |3084 | 7.000000e+00 | 2.300000e+01 | 228.57%
539.01/539.02 c 539s| 1860k| 1859k| 1118k| 0.6 |1146M| 56 | 0 | 351 | 313 | 351 | 170 | 27k| 157 |3095 | 7.000000e+00 | 2.300000e+01 | 228.57%
541.91/541.92 c 542s| 1870k| 1869k| 1125k| 0.6 |1152M| 56 | 0 | 351 | 313 | 351 | 169 | 28k| 157 |3097 | 7.000000e+00 | 2.300000e+01 | 228.57%
544.90/544.91 c 545s| 1880k| 1879k| 1132k| 0.6 |1157M| 56 | 0 | 351 | 313 | 351 | 171 | 28k| 157 |3112 | 7.000000e+00 | 2.300000e+01 | 228.57%
547.91/547.92 c 548s| 1890k| 1889k| 1140k| 0.6 |1163M| 56 | 0 | 351 | 313 | 351 | 171 | 29k| 157 |3117 | 7.000000e+00 | 2.300000e+01 | 228.57%
550.91/550.97 c 551s| 1900k| 1899k| 1148k| 0.6 |1168M| 56 | 0 | 351 | 313 | 351 | 171 | 30k| 157 |3127 | 7.000000e+00 | 2.300000e+01 | 228.57%
553.91/553.97 c 554s| 1910k| 1909k| 1155k| 0.6 |1174M| 56 | 0 | 351 | 315 | 351 | 169 | 31k| 159 |3132 | 7.000000e+00 | 2.300000e+01 | 228.57%
556.91/556.97 c 557s| 1920k| 1919k| 1164k| 0.6 |1180M| 56 | 0 | 351 | 315 | 351 | 169 | 31k| 159 |3143 | 7.000000e+00 | 2.300000e+01 | 228.57%
559.81/559.89 c 560s| 1930k| 1929k| 1173k| 0.6 |1185M| 56 | 0 | 351 | 315 | 351 | 170 | 31k| 159 |3147 | 7.000000e+00 | 2.300000e+01 | 228.57%
562.71/562.78 c 563s| 1940k| 1939k| 1180k| 0.6 |1191M| 56 | 0 | 351 | 315 | 351 | 170 | 31k| 159 |3169 | 7.000000e+00 | 2.300000e+01 | 228.57%
565.61/565.66 c 566s| 1950k| 1949k| 1186k| 0.6 |1197M| 56 | 0 | 351 | 315 | 351 | 171 | 32k| 159 |3171 | 7.000000e+00 | 2.300000e+01 | 228.57%
568.61/568.62 c 569s| 1960k| 1959k| 1193k| 0.6 |1202M| 56 | 0 | 351 | 316 | 351 | 172 | 32k| 162 |3171 | 7.000000e+00 | 2.300000e+01 | 228.57%
571.51/571.53 c 572s| 1970k| 1969k| 1200k| 0.6 |1208M| 56 | 0 | 351 | 316 | 351 | 169 | 32k| 162 |3185 | 7.000000e+00 | 2.300000e+01 | 228.57%
574.41/574.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
574.41/574.47 c 574s| 1980k| 1979k| 1208k| 0.6 |1214M| 56 | 0 | 351 | 316 | 351 | 172 | 32k| 162 |3192 | 7.000000e+00 | 2.300000e+01 | 228.57%
577.31/577.36 c 577s| 1990k| 1989k| 1214k| 0.6 |1220M| 56 | 0 | 351 | 315 | 351 | 170 | 33k| 162 |3200 | 7.000000e+00 | 2.300000e+01 | 228.57%
580.31/580.30 c 580s| 2000k| 1999k| 1219k| 0.6 |1225M| 56 | 0 | 351 | 314 | 351 | 171 | 33k| 162 |3213 | 7.000000e+00 | 2.300000e+01 | 228.57%
583.20/583.20 c 583s| 2010k| 2009k| 1223k| 0.6 |1231M| 56 | 0 | 351 | 313 | 351 | 170 | 33k| 162 |3224 | 7.000000e+00 | 2.300000e+01 | 228.57%
586.01/586.06 c 586s| 2020k| 2019k| 1227k| 0.6 |1237M| 56 | 0 | 351 | 314 | 351 | 172 | 33k| 163 |3235 | 7.000000e+00 | 2.300000e+01 | 228.57%
588.90/588.91 c 589s| 2030k| 2029k| 1234k| 0.6 |1243M| 56 | 0 | 351 | 313 | 351 | 173 | 34k| 163 |3244 | 7.000000e+00 | 2.300000e+01 | 228.57%
591.81/591.86 c 592s| 2040k| 2039k| 1239k| 0.6 |1248M| 56 | 0 | 351 | 314 | 351 | 169 | 34k| 167 |3253 | 7.000000e+00 | 2.300000e+01 | 228.57%
594.71/594.71 c 595s| 2050k| 2049k| 1246k| 0.6 |1254M| 56 | 0 | 351 | 313 | 351 | 172 | 34k| 167 |3260 | 7.000000e+00 | 2.300000e+01 | 228.57%
597.51/597.56 c 598s| 2060k| 2059k| 1253k| 0.6 |1260M| 56 | 0 | 351 | 313 | 351 | 169 | 34k| 168 |3279 | 7.000000e+00 | 2.300000e+01 | 228.57%
600.52/600.51 c 601s| 2070k| 2069k| 1260k| 0.6 |1266M| 56 | 0 | 351 | 313 | 351 | 171 | 34k| 168 |3285 | 7.000000e+00 | 2.300000e+01 | 228.57%
603.41/603.47 c 603s| 2080k| 2079k| 1265k| 0.6 |1272M| 56 | 0 | 351 | 313 | 351 | 171 | 35k| 168 |3287 | 7.000000e+00 | 2.300000e+01 | 228.57%
606.41/606.40 c 606s| 2090k| 2089k| 1269k| 0.6 |1277M| 56 | 0 | 351 | 313 | 351 | 172 | 35k| 168 |3293 | 7.000000e+00 | 2.300000e+01 | 228.57%
609.32/609.30 c 609s| 2100k| 2099k| 1274k| 0.6 |1283M| 56 | 0 | 351 | 313 | 351 | 168 | 36k| 169 |3307 | 7.000000e+00 | 2.300000e+01 | 228.57%
612.01/612.05 c 612s| 2110k| 2109k| 1278k| 0.6 |1289M| 56 | 0 | 351 | 313 | 351 | 170 | 36k| 169 |3309 | 7.000000e+00 | 2.300000e+01 | 228.57%
614.71/614.70 c 615s| 2120k| 2119k| 1280k| 0.6 |1294M| 56 | 0 | 351 | 313 | 351 | 170 | 36k| 169 |3311 | 7.000000e+00 | 2.300000e+01 | 228.57%
617.41/617.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
617.41/617.46 c 617s| 2130k| 2129k| 1281k| 0.6 |1300M| 56 | 0 | 351 | 314 | 351 | 170 | 36k| 170 |3317 | 7.000000e+00 | 2.300000e+01 | 228.57%
620.21/620.20 c 620s| 2140k| 2139k| 1283k| 0.6 |1306M| 56 | 0 | 351 | 315 | 351 | 171 | 36k| 171 |3317 | 7.000000e+00 | 2.300000e+01 | 228.57%
622.91/622.95 c 623s| 2150k| 2149k| 1284k| 0.6 |1311M| 56 | 0 | 351 | 315 | 351 | 169 | 36k| 171 |3318 | 7.000000e+00 | 2.300000e+01 | 228.57%
625.61/625.68 c 626s| 2160k| 2159k| 1285k| 0.6 |1317M| 56 | 0 | 351 | 314 | 351 | 170 | 36k| 171 |3318 | 7.000000e+00 | 2.300000e+01 | 228.57%
628.31/628.39 c 628s| 2170k| 2169k| 1287k| 0.6 |1323M| 56 | 0 | 351 | 314 | 351 | 171 | 36k| 171 |3322 | 7.000000e+00 | 2.300000e+01 | 228.57%
631.01/631.04 c 631s| 2180k| 2179k| 1288k| 0.6 |1328M| 56 | 0 | 351 | 314 | 351 | 171 | 36k| 171 |3328 | 7.000000e+00 | 2.300000e+01 | 228.57%
633.62/633.62 c 634s| 2190k| 2189k| 1290k| 0.6 |1334M| 56 | 0 | 351 | 314 | 351 | 170 | 36k| 171 |3332 | 7.000000e+00 | 2.300000e+01 | 228.57%
636.11/636.19 c 636s| 2200k| 2199k| 1291k| 0.6 |1340M| 56 | 0 | 351 | 314 | 351 | 171 | 36k| 171 |3338 | 7.000000e+00 | 2.300000e+01 | 228.57%
638.72/638.77 c 639s| 2210k| 2209k| 1293k| 0.6 |1346M| 56 | 0 | 351 | 314 | 351 | 170 | 36k| 171 |3343 | 7.000000e+00 | 2.300000e+01 | 228.57%
641.41/641.44 c 641s| 2220k| 2219k| 1294k| 0.6 |1352M| 56 | 0 | 351 | 315 | 351 | 171 | 36k| 172 |3346 | 7.000000e+00 | 2.300000e+01 | 228.57%
644.11/644.18 c 644s| 2230k| 2229k| 1297k| 0.6 |1358M| 56 | 0 | 351 | 314 | 351 | 172 | 36k| 172 |3349 | 7.000000e+00 | 2.300000e+01 | 228.57%
646.82/646.82 c 647s| 2240k| 2239k| 1299k| 0.6 |1363M| 56 | 0 | 351 | 314 | 351 | 170 | 36k| 172 |3349 | 7.000000e+00 | 2.300000e+01 | 228.57%
649.51/649.57 c 650s| 2250k| 2249k| 1302k| 0.6 |1369M| 56 | 0 | 351 | 314 | 351 | 168 | 36k| 172 |3349 | 7.000000e+00 | 2.300000e+01 | 228.57%
652.32/652.34 c 652s| 2260k| 2259k| 1307k| 0.6 |1375M| 57 | 0 | 351 | 316 | 351 | 170 | 36k| 178 |3357 | 7.000000e+00 | 2.300000e+01 | 228.57%
655.11/655.18 c 655s| 2270k| 2269k| 1316k| 0.6 |1381M| 57 | 0 | 351 | 315 | 351 | 171 | 36k| 178 |3367 | 7.000000e+00 | 2.300000e+01 | 228.57%
658.11/658.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
658.11/658.13 c 658s| 2280k| 2279k| 1325k| 0.6 |1387M| 57 | 0 | 351 | 314 | 351 | 171 | 37k| 178 |3383 | 7.000000e+00 | 2.300000e+01 | 228.57%
661.12/661.14 c 661s| 2290k| 2289k| 1336k| 0.6 |1393M| 57 | 0 | 351 | 315 | 351 | 169 | 37k| 180 |3405 | 7.000000e+00 | 2.300000e+01 | 228.57%
664.01/664.05 c 664s| 2300k| 2299k| 1346k| 0.6 |1399M| 57 | 0 | 351 | 314 | 351 | 171 | 37k| 180 |3410 | 7.000000e+00 | 2.300000e+01 | 228.57%
667.01/667.00 c 667s| 2310k| 2309k| 1355k| 0.6 |1405M| 57 | 0 | 351 | 315 | 351 | 169 | 38k| 181 |3422 | 7.000000e+00 | 2.300000e+01 | 228.57%
669.81/669.89 c 670s| 2320k| 2319k| 1364k| 0.6 |1411M| 57 | 0 | 351 | 315 | 351 | 168 | 38k| 181 |3427 | 7.000000e+00 | 2.300000e+01 | 228.57%
672.71/672.72 c 673s| 2330k| 2329k| 1372k| 0.6 |1417M| 57 | 0 | 351 | 315 | 351 | 170 | 38k| 181 |3444 | 7.000000e+00 | 2.300000e+01 | 228.57%
675.72/675.70 c 676s| 2340k| 2339k| 1382k| 0.6 |1423M| 57 | 0 | 351 | 315 | 351 | 172 | 38k| 181 |3459 | 7.000000e+00 | 2.300000e+01 | 228.57%
678.61/678.66 c 679s| 2350k| 2349k| 1393k| 0.6 |1428M| 57 | 0 | 351 | 315 | 351 | 170 | 39k| 181 |3472 | 7.000000e+00 | 2.300000e+01 | 228.57%
681.71/681.72 c 682s| 2360k| 2359k| 1402k| 0.6 |1434M| 57 | 0 | 351 | 315 | 351 | 171 | 39k| 181 |3481 | 7.000000e+00 | 2.300000e+01 | 228.57%
684.61/684.60 c 685s| 2370k| 2369k| 1410k| 0.6 |1440M| 57 | 0 | 351 | 315 | 351 | 169 | 39k| 181 |3491 | 7.000000e+00 | 2.300000e+01 | 228.57%
687.41/687.48 c 687s| 2380k| 2379k| 1419k| 0.6 |1446M| 57 | 0 | 351 | 315 | 351 | 170 | 40k| 181 |3498 | 7.000000e+00 | 2.300000e+01 | 228.57%
690.32/690.38 c 690s| 2390k| 2389k| 1428k| 0.6 |1452M| 57 | 0 | 351 | 315 | 351 | 173 | 40k| 182 |3506 | 7.000000e+00 | 2.300000e+01 | 228.57%
693.22/693.25 c 693s| 2400k| 2399k| 1436k| 0.6 |1458M| 57 | 0 | 351 | 315 | 351 | 171 | 40k| 182 |3520 | 7.000000e+00 | 2.300000e+01 | 228.57%
696.11/696.18 c 696s| 2410k| 2409k| 1446k| 0.6 |1464M| 57 | 0 | 351 | 315 | 351 | 171 | 40k| 182 |3529 | 7.000000e+00 | 2.300000e+01 | 228.57%
698.91/698.99 c 699s| 2420k| 2419k| 1454k| 0.6 |1470M| 57 | 0 | 351 | 315 | 351 | 172 | 40k| 182 |3539 | 8.000000e+00 | 2.300000e+01 | 187.50%
701.92/701.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.92/701.95 c 702s| 2430k| 2429k| 1465k| 0.6 |1476M| 57 | 0 | 351 | 315 | 351 | 171 | 40k| 182 |3547 | 8.000000e+00 | 2.300000e+01 | 187.50%
704.91/704.92 c 705s| 2440k| 2439k| 1477k| 0.6 |1482M| 57 | 0 | 351 | 316 | 351 | 170 | 40k| 183 |3565 | 8.000000e+00 | 2.300000e+01 | 187.50%
707.92/707.96 c 708s| 2450k| 2449k| 1489k| 0.6 |1488M| 57 | 0 | 351 | 315 | 351 | 170 | 41k| 184 |3576 | 8.000000e+00 | 2.300000e+01 | 187.50%
710.91/710.94 c 711s| 2460k| 2459k| 1500k| 0.6 |1494M| 57 | 0 | 351 | 316 | 351 | 171 | 41k| 185 |3590 | 8.000000e+00 | 2.300000e+01 | 187.50%
713.92/713.91 c 714s| 2470k| 2469k| 1512k| 0.6 |1500M| 57 | 0 | 351 | 315 | 351 | 170 | 41k| 186 |3607 | 8.000000e+00 | 2.300000e+01 | 187.50%
716.91/716.90 c 717s| 2480k| 2479k| 1523k| 0.6 |1506M| 57 | 0 | 351 | 315 | 351 | 170 | 41k| 186 |3621 | 8.000000e+00 | 2.300000e+01 | 187.50%
719.81/719.87 c 720s| 2490k| 2489k| 1534k| 0.6 |1512M| 57 | 0 | 351 | 315 | 351 | 169 | 41k| 186 |3641 | 8.000000e+00 | 2.300000e+01 | 187.50%
722.82/722.89 c 723s| 2500k| 2499k| 1545k| 0.6 |1518M| 57 | 0 | 351 | 315 | 351 | 170 | 41k| 186 |3653 | 8.000000e+00 | 2.300000e+01 | 187.50%
725.71/725.79 c 726s| 2510k| 2509k| 1555k| 0.6 |1524M| 57 | 0 | 351 | 315 | 351 | 171 | 42k| 186 |3665 | 8.000000e+00 | 2.300000e+01 | 187.50%
728.72/728.75 c 729s| 2520k| 2519k| 1564k| 0.6 |1530M| 57 | 0 | 351 | 315 | 351 | 169 | 42k| 187 |3675 | 8.000000e+00 | 2.300000e+01 | 187.50%
731.61/731.64 c 732s| 2530k| 2529k| 1573k| 0.6 |1536M| 57 | 0 | 351 | 315 | 351 | 170 | 42k| 187 |3687 | 8.000000e+00 | 2.300000e+01 | 187.50%
734.51/734.58 c 735s| 2540k| 2539k| 1582k| 0.6 |1541M| 57 | 0 | 351 | 315 | 351 | 170 | 42k| 187 |3697 | 8.000000e+00 | 2.300000e+01 | 187.50%
737.31/737.40 c 737s| 2550k| 2549k| 1588k| 0.6 |1547M| 57 | 0 | 351 | 315 | 351 | 169 | 42k| 187 |3702 | 8.000000e+00 | 2.300000e+01 | 187.50%
740.11/740.12 c 740s| 2560k| 2559k| 1596k| 0.6 |1553M| 57 | 0 | 351 | 320 | 351 | 172 | 43k| 192 |3707 | 8.000000e+00 | 2.300000e+01 | 187.50%
742.92/742.94 c 743s| 2570k| 2569k| 1601k| 0.6 |1559M| 57 | 0 | 351 | 315 | 351 | 169 | 43k| 192 |3715 | 8.000000e+00 | 2.300000e+01 | 187.50%
745.72/745.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.72/745.79 c 746s| 2580k| 2579k| 1606k| 0.6 |1565M| 57 | 0 | 351 | 314 | 351 | 170 | 43k| 192 |3722 | 8.000000e+00 | 2.300000e+01 | 187.50%
748.62/748.66 c 749s| 2590k| 2589k| 1611k| 0.6 |1571M| 57 | 0 | 351 | 314 | 351 | 170 | 43k| 192 |3723 | 8.000000e+00 | 2.300000e+01 | 187.50%
751.41/751.47 c 751s| 2600k| 2599k| 1615k| 0.6 |1577M| 57 | 0 | 351 | 314 | 351 | 171 | 43k| 192 |3730 | 8.000000e+00 | 2.300000e+01 | 187.50%
754.21/754.26 c 754s| 2610k| 2609k| 1619k| 0.6 |1582M| 57 | 0 | 351 | 314 | 351 | 170 | 44k| 192 |3732 | 8.000000e+00 | 2.300000e+01 | 187.50%
757.12/757.10 c 757s| 2620k| 2619k| 1623k| 0.6 |1588M| 57 | 0 | 351 | 314 | 351 | 171 | 44k| 192 |3737 | 8.000000e+00 | 2.300000e+01 | 187.50%
759.92/759.96 c 760s| 2630k| 2629k| 1629k| 0.6 |1594M| 57 | 0 | 351 | 314 | 351 | 172 | 44k| 192 |3743 | 8.000000e+00 | 2.300000e+01 | 187.50%
762.82/762.87 c 763s| 2640k| 2639k| 1636k| 0.6 |1600M| 57 | 0 | 351 | 314 | 351 | 171 | 45k| 192 |3752 | 8.000000e+00 | 2.300000e+01 | 187.50%
765.71/765.71 c 766s| 2650k| 2649k| 1640k| 0.6 |1606M| 57 | 0 | 351 | 315 | 351 | 170 | 45k| 193 |3765 | 8.000000e+00 | 2.300000e+01 | 187.50%
768.52/768.58 c 769s| 2660k| 2659k| 1647k| 0.6 |1612M| 57 | 0 | 351 | 316 | 351 | 173 | 45k| 194 |3768 | 8.000000e+00 | 2.300000e+01 | 187.50%
771.42/771.43 c 771s| 2670k| 2669k| 1652k| 0.6 |1618M| 57 | 0 | 351 | 317 | 351 | 170 | 45k| 195 |3772 | 8.000000e+00 | 2.300000e+01 | 187.50%
774.21/774.27 c 774s| 2680k| 2679k| 1656k| 0.6 |1624M| 57 | 0 | 351 | 315 | 351 | 171 | 46k| 195 |3779 | 8.000000e+00 | 2.300000e+01 | 187.50%
777.12/777.16 c 777s| 2690k| 2689k| 1663k| 0.6 |1629M| 57 | 0 | 351 | 315 | 351 | 171 | 46k| 196 |3785 | 8.000000e+00 | 2.300000e+01 | 187.50%
780.02/780.01 c 780s| 2700k| 2699k| 1670k| 0.6 |1635M| 57 | 0 | 351 | 315 | 351 | 169 | 46k| 197 |3790 | 8.000000e+00 | 2.300000e+01 | 187.50%
783.02/783.02 c 783s| 2710k| 2709k| 1678k| 0.6 |1641M| 57 | 0 | 351 | 314 | 351 | 172 | 46k| 198 |3802 | 8.000000e+00 | 2.300000e+01 | 187.50%
785.92/785.94 c 786s| 2720k| 2719k| 1685k| 0.6 |1647M| 57 | 0 | 351 | 314 | 351 | 171 | 47k| 198 |3807 | 8.000000e+00 | 2.300000e+01 | 187.50%
788.82/788.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.82/788.86 c 789s| 2730k| 2729k| 1691k| 0.6 |1653M| 57 | 0 | 351 | 314 | 351 | 169 | 47k| 198 |3823 | 8.000000e+00 | 2.300000e+01 | 187.50%
791.72/791.76 c 792s| 2740k| 2739k| 1697k| 0.6 |1659M| 57 | 0 | 351 | 314 | 351 | 172 | 47k| 198 |3829 | 8.000000e+00 | 2.300000e+01 | 187.50%
794.82/794.83 c 795s| 2750k| 2749k| 1706k| 0.6 |1665M| 57 | 0 | 351 | 314 | 351 | 169 | 48k| 198 |3829 | 8.000000e+00 | 2.300000e+01 | 187.50%
797.72/797.77 c 798s| 2760k| 2759k| 1713k| 0.6 |1671M| 57 | 0 | 351 | 314 | 351 | 169 | 48k| 198 |3838 | 8.000000e+00 | 2.300000e+01 | 187.50%
800.72/800.79 c 801s| 2770k| 2769k| 1721k| 0.6 |1677M| 57 | 0 | 351 | 314 | 351 | 173 | 48k| 200 |3864 | 8.000000e+00 | 2.300000e+01 | 187.50%
803.82/803.84 c 804s| 2780k| 2779k| 1731k| 0.6 |1683M| 57 | 0 | 351 | 314 | 351 | 169 | 49k| 200 |3869 | 8.000000e+00 | 2.300000e+01 | 187.50%
806.92/806.90 c 807s| 2790k| 2789k| 1741k| 0.6 |1689M| 57 | 0 | 351 | 314 | 351 | 170 | 49k| 200 |3875 | 8.000000e+00 | 2.300000e+01 | 187.50%
809.82/809.86 c 810s| 2800k| 2799k| 1748k| 0.6 |1695M| 57 | 0 | 351 | 314 | 351 | 171 | 49k| 200 |3881 | 8.000000e+00 | 2.300000e+01 | 187.50%
812.82/812.86 c 813s| 2810k| 2809k| 1756k| 0.6 |1701M| 57 | 0 | 351 | 314 | 351 | 169 | 49k| 201 |3887 | 8.000000e+00 | 2.300000e+01 | 187.50%
815.91/815.94 c 816s| 2820k| 2819k| 1766k| 0.6 |1707M| 57 | 0 | 351 | 314 | 351 | 170 | 50k| 201 |3902 | 8.000000e+00 | 2.300000e+01 | 187.50%
818.92/818.99 c 819s| 2830k| 2829k| 1778k| 0.6 |1713M| 57 | 0 | 351 | 314 | 351 | 171 | 50k| 201 |3911 | 8.000000e+00 | 2.300000e+01 | 187.50%
822.12/822.19 c 822s| 2840k| 2839k| 1790k| 0.6 |1719M| 57 | 0 | 351 | 314 | 351 | 171 | 51k| 201 |3932 | 8.000000e+00 | 2.300000e+01 | 187.50%
825.32/825.31 c 825s| 2850k| 2849k| 1800k| 0.6 |1725M| 57 | 0 | 351 | 314 | 351 | 169 | 51k| 201 |3940 | 8.000000e+00 | 2.300000e+01 | 187.50%
828.42/828.47 c 828s| 2860k| 2859k| 1811k| 0.6 |1731M| 57 | 0 | 351 | 314 | 351 | 172 | 51k| 201 |3950 | 8.000000e+00 | 2.300000e+01 | 187.50%
831.42/831.46 c 831s| 2870k| 2869k| 1820k| 0.6 |1737M| 57 | 0 | 351 | 315 | 351 | 169 | 52k| 202 |3963 | 8.000000e+00 | 2.300000e+01 | 187.50%
834.52/834.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
834.52/834.52 c 835s| 2880k| 2879k| 1830k| 0.6 |1743M| 57 | 0 | 351 | 314 | 351 | 171 | 52k| 202 |3972 | 8.000000e+00 | 2.300000e+01 | 187.50%
837.52/837.54 c 838s| 2890k| 2889k| 1840k| 0.6 |1749M| 57 | 0 | 351 | 314 | 351 | 170 | 52k| 202 |3977 | 8.000000e+00 | 2.300000e+01 | 187.50%
840.62/840.61 c 841s| 2900k| 2899k| 1850k| 0.6 |1755M| 57 | 0 | 351 | 314 | 351 | 171 | 52k| 202 |3990 | 8.000000e+00 | 2.300000e+01 | 187.50%
843.63/843.60 c 844s| 2910k| 2909k| 1859k| 0.6 |1761M| 58 | 7 | 351 | 314 | 351 | 170 | 53k| 202 |4006 | 8.000000e+00 | 2.300000e+01 | 187.50%
846.71/846.77 c 847s| 2920k| 2919k| 1870k| 0.6 |1767M| 58 | 0 | 351 | 314 | 351 | 171 | 53k| 212 |4012 | 8.000000e+00 | 2.300000e+01 | 187.50%
849.82/849.89 c 850s| 2930k| 2929k| 1881k| 0.6 |1773M| 58 | 0 | 351 | 314 | 351 | 169 | 53k| 222 |4022 | 8.000000e+00 | 2.300000e+01 | 187.50%
852.92/852.98 c 853s| 2940k| 2939k| 1892k| 0.6 |1779M| 58 | 0 | 351 | 314 | 351 | 172 | 54k| 222 |4033 | 8.000000e+00 | 2.300000e+01 | 187.50%
856.02/856.04 c 856s| 2950k| 2949k| 1903k| 0.6 |1785M| 58 | 0 | 351 | 314 | 351 | 171 | 55k| 222 |4061 | 8.000000e+00 | 2.300000e+01 | 187.50%
858.92/858.97 c 859s| 2960k| 2959k| 1912k| 0.6 |1790M| 58 | 0 | 351 | 314 | 351 | 170 | 55k| 222 |4068 | 8.000000e+00 | 2.300000e+01 | 187.50%
861.91/861.95 c 862s| 2970k| 2969k| 1922k| 0.6 |1797M| 58 | 0 | 351 | 314 | 351 | 172 | 55k| 222 |4073 | 8.000000e+00 | 2.300000e+01 | 187.50%
865.02/865.05 c 865s| 2980k| 2979k| 1932k| 0.6 |1803M| 58 | 0 | 351 | 314 | 351 | 171 | 56k| 222 |4097 | 8.000000e+00 | 2.300000e+01 | 187.50%
867.92/867.99 c 868s| 2990k| 2989k| 1939k| 0.6 |1808M| 58 | 0 | 351 | 314 | 351 | 171 | 56k| 222 |4101 | 8.000000e+00 | 2.300000e+01 | 187.50%
871.02/871.05 c 871s| 3000k| 2999k| 1948k| 0.6 |1814M| 58 | 0 | 351 | 314 | 351 | 169 | 57k| 222 |4109 | 8.000000e+00 | 2.300000e+01 | 187.50%
874.12/874.14 c 874s| 3010k| 3009k| 1957k| 0.7 |1820M| 58 | 0 | 351 | 314 | 351 | 171 | 57k| 222 |4116 | 8.000000e+00 | 2.300000e+01 | 187.50%
877.22/877.22 c 877s| 3020k| 3019k| 1967k| 0.7 |1827M| 58 | 0 | 351 | 314 | 351 | 172 | 57k| 222 |4130 | 8.000000e+00 | 2.300000e+01 | 187.50%
880.32/880.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
880.32/880.31 c 880s| 3030k| 3029k| 1976k| 0.7 |1833M| 58 | 0 | 351 | 314 | 351 | 170 | 58k| 222 |4139 | 8.000000e+00 | 2.300000e+01 | 187.50%
883.22/883.28 c 883s| 3040k| 3039k| 1984k| 0.7 |1839M| 58 | 0 | 351 | 316 | 351 | 169 | 58k| 225 |4147 | 8.000000e+00 | 2.300000e+01 | 187.50%
886.32/886.32 c 886s| 3050k| 3049k| 1994k| 0.7 |1845M| 58 | 0 | 351 | 319 | 351 | 170 | 58k| 232 |4176 | 8.000000e+00 | 2.300000e+01 | 187.50%
889.32/889.34 c 889s| 3060k| 3059k| 2003k| 0.7 |1851M| 58 | 0 | 351 | 328 | 351 | 169 | 59k| 246 |4190 | 8.000000e+00 | 2.300000e+01 | 187.50%
892.22/892.29 c 892s| 3070k| 3069k| 2012k| 0.7 |1857M| 58 | 0 | 351 | 319 | 351 | 171 | 59k| 246 |4205 | 8.000000e+00 | 2.300000e+01 | 187.50%
895.32/895.38 c 895s| 3080k| 3079k| 2022k| 0.7 |1863M| 58 | 0 | 351 | 316 | 351 | 169 | 59k| 246 |4228 | 8.000000e+00 | 2.300000e+01 | 187.50%
898.42/898.42 c 898s| 3090k| 3089k| 2032k| 0.7 |1869M| 58 | 0 | 351 | 321 | 351 | 171 | 60k| 251 |4271 | 8.000000e+00 | 2.300000e+01 | 187.50%
901.42/901.48 c 901s| 3100k| 3099k| 2041k| 0.7 |1875M| 58 | 0 | 351 | 318 | 351 | 169 | 60k| 251 |4293 | 8.000000e+00 | 2.300000e+01 | 187.50%
904.52/904.51 c 905s| 3110k| 3109k| 2052k| 0.7 |1881M| 58 | 0 | 351 | 316 | 351 | 169 | 60k| 251 |4299 | 8.000000e+00 | 2.300000e+01 | 187.50%
907.72/907.77 c 908s| 3120k| 3119k| 2065k| 0.7 |1887M| 58 | 0 | 351 | 316 | 351 | 170 | 61k| 251 |4360 | 8.000000e+00 | 2.300000e+01 | 187.50%
910.93/910.99 c 911s| 3130k| 3129k| 2079k| 0.7 |1893M| 58 | 0 | 351 | 315 | 351 | 169 | 61k| 251 |4452 | 8.000000e+00 | 2.300000e+01 | 187.50%
914.12/914.19 c 914s| 3140k| 3139k| 2091k| 0.7 |1899M| 58 | 0 | 351 | 315 | 351 | 172 | 62k| 251 |4497 | 8.000000e+00 | 2.300000e+01 | 187.50%
917.42/917.48 c 917s| 3150k| 3149k| 2106k| 0.7 |1905M| 58 | 0 | 351 | 315 | 351 | 169 | 63k| 251 |4571 | 8.000000e+00 | 2.300000e+01 | 187.50%
920.73/920.72 c 921s| 3160k| 3159k| 2120k| 0.7 |1912M| 58 | 0 | 351 | 322 | 351 | 172 | 63k| 258 |4610 | 8.000000e+00 | 2.300000e+01 | 187.50%
923.83/923.85 c 924s| 3170k| 3169k| 2132k| 0.7 |1918M| 58 | 0 | 351 | 315 | 351 | 174 | 64k| 258 |4622 | 8.000000e+00 | 2.300000e+01 | 187.50%
926.82/926.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
926.82/926.88 c 927s| 3180k| 3179k| 2143k| 0.7 |1924M| 58 | 0 | 351 | 315 | 351 | 172 | 64k| 258 |4629 | 8.000000e+00 | 2.300000e+01 | 187.50%
929.92/929.92 c 930s| 3190k| 3189k| 2153k| 0.7 |1930M| 58 | 0 | 351 | 315 | 351 | 169 | 64k| 258 |4635 | 8.000000e+00 | 2.300000e+01 | 187.50%
932.93/932.98 c 933s| 3200k| 3199k| 2163k| 0.7 |1936M| 58 | 0 | 351 | 315 | 351 | 171 | 65k| 258 |4640 | 8.000000e+00 | 2.300000e+01 | 187.50%
936.03/936.07 c 936s| 3210k| 3209k| 2173k| 0.7 |1942M| 58 | 0 | 351 | 316 | 351 | 170 | 65k| 264 |4643 | 8.000000e+00 | 2.300000e+01 | 187.50%
939.02/939.05 c 939s| 3220k| 3219k| 2182k| 0.7 |1948M| 58 | 0 | 351 | 316 | 351 | 169 | 65k| 264 |4643 | 8.000000e+00 | 2.300000e+01 | 187.50%
942.12/942.11 c 942s| 3230k| 3229k| 2192k| 0.7 |1954M| 58 | 0 | 351 | 315 | 351 | 171 | 66k| 264 |4651 | 8.000000e+00 | 2.300000e+01 | 187.50%
945.02/945.09 c 945s| 3240k| 3239k| 2200k| 0.7 |1960M| 58 | 0 | 351 | 315 | 351 | 169 | 66k| 266 |4652 | 8.000000e+00 | 2.300000e+01 | 187.50%
948.02/948.01 c 948s| 3250k| 3249k| 2206k| 0.7 |1966M| 58 | 0 | 351 | 315 | 351 | 171 | 66k| 266 |4656 | 8.000000e+00 | 2.300000e+01 | 187.50%
950.92/950.97 c 951s| 3260k| 3259k| 2213k| 0.7 |1972M| 58 | 0 | 351 | 316 | 351 | 171 | 66k| 267 |4662 | 8.000000e+00 | 2.300000e+01 | 187.50%
953.83/953.86 c 954s| 3270k| 3269k| 2218k| 0.7 |1978M| 58 | 0 | 351 | 316 | 351 | 169 | 67k| 267 |4662 | 8.000000e+00 | 2.300000e+01 | 187.50%
956.72/956.74 c 957s| 3280k| 3279k| 2224k| 0.7 |1984M| 58 | 0 | 351 | 315 | 351 | 171 | 67k| 267 |4662 | 8.000000e+00 | 2.300000e+01 | 187.50%
959.62/959.68 c 960s| 3290k| 3289k| 2231k| 0.7 |1990M| 58 | 0 | 351 | 315 | 351 | 167 | 67k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
962.53/962.56 c 963s| 3300k| 3299k| 2237k| 0.7 |1996M| 58 | 0 | 351 | 315 | 351 | 172 | 67k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
965.42/965.41 c 965s| 3310k| 3309k| 2244k| 0.7 |2002M| 58 | 0 | 351 | 315 | 351 | 171 | 67k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
968.22/968.27 c 968s| 3320k| 3319k| 2249k| 0.7 |2008M| 58 | 0 | 351 | 315 | 351 | 171 | 67k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
971.12/971.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
971.12/971.13 c 971s| 3330k| 3329k| 2255k| 0.7 |2014M| 58 | 0 | 351 | 315 | 351 | 170 | 67k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
973.92/973.98 c 974s| 3340k| 3339k| 2260k| 0.7 |2020M| 58 | 0 | 351 | 315 | 351 | 172 | 68k| 267 |4664 | 8.000000e+00 | 2.300000e+01 | 187.50%
976.83/976.90 c 977s| 3350k| 3349k| 2267k| 0.7 |2026M| 58 | 0 | 351 | 315 | 351 | 171 | 68k| 267 |4665 | 8.000000e+00 | 2.300000e+01 | 187.50%
979.72/979.77 c 980s| 3360k| 3359k| 2273k| 0.7 |2032M| 58 | 0 | 351 | 315 | 351 | 170 | 68k| 267 |4667 | 8.000000e+00 | 2.300000e+01 | 187.50%
982.62/982.66 c 983s| 3370k| 3369k| 2279k| 0.7 |2038M| 58 | 0 | 351 | 315 | 351 | 171 | 68k| 267 |4667 | 8.000000e+00 | 2.300000e+01 | 187.50%
985.62/985.61 c 986s| 3380k| 3379k| 2286k| 0.7 |2044M| 58 | 0 | 351 | 315 | 351 | 169 | 68k| 267 |4667 | 8.000000e+00 | 2.300000e+01 | 187.50%
988.52/988.56 c 989s| 3390k| 3389k| 2292k| 0.7 |2050M| 58 | 0 | 351 | 315 | 351 | 169 | 68k| 267 |4669 | 8.000000e+00 | 2.300000e+01 | 187.50%
991.52/991.51 c 992s| 3400k| 3399k| 2298k| 0.7 |2056M| 58 | 0 | 351 | 315 | 351 | 171 | 68k| 269 |4671 | 8.000000e+00 | 2.300000e+01 | 187.50%
994.43/994.40 c 994s| 3410k| 3409k| 2304k| 0.7 |2062M| 58 | 0 | 351 | 321 | 351 | 170 | 68k| 276 |4674 | 8.000000e+00 | 2.300000e+01 | 187.50%
997.33/997.32 c 997s| 3420k| 3419k| 2310k| 0.7 |2068M| 58 | 0 | 351 | 321 | 351 | 171 | 68k| 277 |4686 | 8.000000e+00 | 2.300000e+01 | 187.50%
1000.12/1000.16 c 1000s| 3430k| 3429k| 2316k| 0.7 |2074M| 58 | 0 | 351 | 322 | 351 | 170 | 69k| 278 |4687 | 8.000000e+00 | 2.300000e+01 | 187.50%
1003.03/1003.00 c 1003s| 3440k| 3439k| 2321k| 0.7 |2080M| 58 | 0 | 351 | 321 | 351 | 170 | 69k| 278 |4694 | 8.000000e+00 | 2.300000e+01 | 187.50%
1005.82/1005.81 c 1006s| 3450k| 3449k| 2326k| 0.7 |2086M| 58 | 0 | 351 | 321 | 351 | 171 | 69k| 278 |4694 | 8.000000e+00 | 2.300000e+01 | 187.50%
1008.63/1008.67 c 1009s| 3460k| 3459k| 2332k| 0.7 |2092M| 58 | 0 | 351 | 321 | 351 | 171 | 69k| 278 |4706 | 8.000000e+00 | 2.300000e+01 | 187.50%
1011.62/1011.66 c 1012s| 3470k| 3469k| 2340k| 0.7 |2098M| 58 | 0 | 351 | 321 | 351 | 170 | 69k| 279 |4710 | 8.000000e+00 | 2.300000e+01 | 187.50%
1014.62/1014.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1014.62/1014.61 c 1015s| 3480k| 3479k| 2347k| 0.7 |2104M| 58 | 0 | 351 | 321 | 351 | 173 | 69k| 279 |4718 | 8.000000e+00 | 2.300000e+01 | 187.50%
1017.63/1017.62 c 1018s| 3490k| 3489k| 2355k| 0.7 |2110M| 58 | 0 | 351 | 321 | 351 | 171 | 69k| 279 |4726 | 8.000000e+00 | 2.300000e+01 | 187.50%
1020.73/1020.76 c 1021s| 3500k| 3499k| 2365k| 0.7 |2116M| 58 | 0 | 351 | 321 | 351 | 172 | 70k| 279 |4732 | 8.000000e+00 | 2.300000e+01 | 187.50%
1023.83/1023.89 c 1024s| 3510k| 3509k| 2375k| 0.7 |2122M| 58 | 0 | 351 | 321 | 351 | 171 | 70k| 279 |4737 | 8.000000e+00 | 2.300000e+01 | 187.50%
1027.02/1027.05 c 1027s| 3520k| 3519k| 2386k| 0.7 |2128M| 58 | 0 | 351 | 321 | 351 | 171 | 71k| 279 |4760 | 8.000000e+00 | 2.300000e+01 | 187.50%
1030.33/1030.35 c 1030s| 3530k| 3529k| 2397k| 0.7 |2134M| 58 | 0 | 351 | 315 | 351 | 171 | 72k| 279 |4770 | 8.000000e+00 | 2.300000e+01 | 187.50%
1033.62/1033.64 c 1034s| 3540k| 3539k| 2409k| 0.7 |2140M| 58 | 0 | 351 | 315 | 351 | 170 | 73k| 279 |4776 | 8.000000e+00 | 2.300000e+01 | 187.50%
1036.72/1036.77 c 1037s| 3550k| 3549k| 2418k| 0.7 |2146M| 58 | 0 | 351 | 315 | 351 | 170 | 74k| 279 |4790 | 8.000000e+00 | 2.300000e+01 | 187.50%
1039.82/1039.80 c 1040s| 3560k| 3559k| 2426k| 0.7 |2152M| 58 | 0 | 351 | 315 | 351 | 170 | 75k| 279 |4793 | 8.000000e+00 | 2.300000e+01 | 187.50%
1042.63/1042.61 c 1043s| 3570k| 3569k| 2432k| 0.7 |2158M| 58 | 0 | 351 | 315 | 351 | 169 | 75k| 279 |4793 | 8.000000e+00 | 2.300000e+01 | 187.50%
1045.42/1045.41 c 1045s| 3580k| 3579k| 2439k| 0.7 |2163M| 58 | 4 | 351 | 315 | 351 | 171 | 75k| 279 |4805 | 8.000000e+00 | 2.300000e+01 | 187.50%
1048.12/1048.16 c 1048s| 3590k| 3589k| 2445k| 0.7 |2169M| 58 | 0 | 351 | 315 | 351 | 169 | 75k| 279 |4808 | 8.000000e+00 | 2.300000e+01 | 187.50%
1050.92/1050.91 c 1051s| 3600k| 3599k| 2451k| 0.7 |2175M| 58 | 0 | 351 | 315 | 351 | 170 | 75k| 279 |4808 | 8.000000e+00 | 2.300000e+01 | 187.50%
1053.62/1053.66 c 1054s| 3610k| 3609k| 2457k| 0.7 |2181M| 58 | 0 | 351 | 316 | 351 | 173 | 76k| 280 |4814 | 8.000000e+00 | 2.300000e+01 | 187.50%
1056.73/1056.76 c 1057s| 3620k| 3619k| 2466k| 0.7 |2187M| 58 | 0 | 351 | 315 | 351 | 169 | 77k| 280 |4821 | 8.000000e+00 | 2.300000e+01 | 187.50%
1059.73/1059.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1059.73/1059.73 c 1060s| 3630k| 3629k| 2472k| 0.7 |2193M| 58 | 0 | 351 | 315 | 351 | 171 | 77k| 280 |4823 | 8.000000e+00 | 2.300000e+01 | 187.50%
1062.63/1062.69 c 1063s| 3640k| 3639k| 2479k| 0.7 |2199M| 58 | 0 | 351 | 315 | 351 | 170 | 78k| 280 |4849 | 8.000000e+00 | 2.300000e+01 | 187.50%
1065.62/1065.62 c 1066s| 3650k| 3649k| 2485k| 0.7 |2205M| 58 | 0 | 351 | 315 | 351 | 171 | 78k| 280 |4853 | 8.000000e+00 | 2.300000e+01 | 187.50%
1068.53/1068.52 c 1069s| 3660k| 3659k| 2491k| 0.7 |2211M| 58 | 0 | 351 | 315 | 351 | 170 | 78k| 280 |4857 | 8.000000e+00 | 2.300000e+01 | 187.50%
1071.43/1071.40 c 1071s| 3670k| 3669k| 2495k| 0.7 |2217M| 58 | 0 | 351 | 315 | 351 | 171 | 78k| 280 |4863 | 8.000000e+00 | 2.300000e+01 | 187.50%
1074.22/1074.21 c 1074s| 3680k| 3679k| 2500k| 0.7 |2223M| 58 | 0 | 351 | 315 | 351 | 171 | 79k| 280 |4863 | 8.000000e+00 | 2.300000e+01 | 187.50%
1077.02/1077.07 c 1077s| 3690k| 3689k| 2505k| 0.7 |2228M| 58 | 0 | 351 | 315 | 351 | 170 | 79k| 280 |4866 | 8.000000e+00 | 2.300000e+01 | 187.50%
1079.93/1079.97 c 1080s| 3700k| 3699k| 2512k| 0.7 |2234M| 58 | 0 | 351 | 315 | 351 | 171 | 79k| 280 |4873 | 8.000000e+00 | 2.300000e+01 | 187.50%
1082.83/1082.81 c 1083s| 3710k| 3709k| 2518k| 0.7 |2240M| 58 | 0 | 351 | 315 | 351 | 170 | 80k| 280 |4873 | 8.000000e+00 | 2.300000e+01 | 187.50%
1085.63/1085.61 c 1086s| 3720k| 3719k| 2524k| 0.7 |2246M| 58 | 0 | 351 | 315 | 351 | 169 | 80k| 280 |4881 | 8.000000e+00 | 2.300000e+01 | 187.50%
1088.42/1088.49 c 1088s| 3730k| 3729k| 2531k| 0.7 |2252M| 58 | 0 | 351 | 315 | 351 | 169 | 80k| 280 |4887 | 8.000000e+00 | 2.300000e+01 | 187.50%
1091.33/1091.39 c 1091s| 3740k| 3739k| 2539k| 0.7 |2258M| 58 | 0 | 351 | 315 | 351 | 171 | 81k| 280 |4893 | 8.000000e+00 | 2.300000e+01 | 187.50%
1094.23/1094.28 c 1094s| 3750k| 3749k| 2546k| 0.7 |2264M| 58 | 0 | 351 | 315 | 351 | 170 | 81k| 280 |4903 | 8.000000e+00 | 2.300000e+01 | 187.50%
1097.13/1097.16 c 1097s| 3760k| 3759k| 2552k| 0.7 |2270M| 58 | 0 | 351 | 315 | 351 | 171 | 81k| 280 |4912 | 8.000000e+00 | 2.300000e+01 | 187.50%
1099.93/1100.00 c 1100s| 3770k| 3769k| 2556k| 0.7 |2276M| 58 | 0 | 351 | 315 | 351 | 169 | 82k| 280 |4914 | 8.000000e+00 | 2.300000e+01 | 187.50%
1102.82/1102.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.82/1102.86 c 1103s| 3780k| 3779k| 2563k| 0.7 |2282M| 58 | 0 | 351 | 315 | 351 | 171 | 82k| 280 |4918 | 8.000000e+00 | 2.300000e+01 | 187.50%
1105.73/1105.76 c 1106s| 3790k| 3789k| 2570k| 0.7 |2288M| 58 | 0 | 351 | 315 | 351 | 171 | 82k| 280 |4927 | 8.000000e+00 | 2.300000e+01 | 187.50%
1108.53/1108.58 c 1109s| 3800k| 3799k| 2576k| 0.7 |2294M| 58 | 0 | 351 | 315 | 351 | 170 | 82k| 280 |4929 | 8.000000e+00 | 2.300000e+01 | 187.50%
1111.43/1111.47 c 1111s| 3810k| 3809k| 2582k| 0.7 |2300M| 58 | 0 | 351 | 315 | 351 | 169 | 82k| 280 |4939 | 8.000000e+00 | 2.300000e+01 | 187.50%
1114.33/1114.33 c 1114s| 3820k| 3819k| 2588k| 0.7 |2305M| 58 | 0 | 351 | 314 | 351 | 169 | 83k| 280 |4940 | 8.000000e+00 | 2.300000e+01 | 187.50%
1117.13/1117.14 c 1117s| 3830k| 3829k| 2594k| 0.7 |2311M| 58 | 0 | 351 | 314 | 351 | 171 | 83k| 280 |4940 | 8.000000e+00 | 2.300000e+01 | 187.50%
1119.93/1119.97 c 1120s| 3840k| 3839k| 2601k| 0.7 |2317M| 58 | 0 | 351 | 314 | 351 | 169 | 83k| 280 |4946 | 8.000000e+00 | 2.300000e+01 | 187.50%
1122.73/1122.75 c 1123s| 3850k| 3849k| 2607k| 0.7 |2323M| 58 | 0 | 351 | 314 | 351 | 171 | 84k| 280 |4946 | 8.000000e+00 | 2.300000e+01 | 187.50%
1125.53/1125.57 c 1126s| 3860k| 3859k| 2615k| 0.7 |2329M| 58 | 0 | 351 | 314 | 351 | 169 | 84k| 280 |4959 | 8.000000e+00 | 2.300000e+01 | 187.50%
1128.53/1128.51 c 1129s| 3870k| 3869k| 2623k| 0.7 |2335M| 58 | 0 | 351 | 314 | 351 | 169 | 84k| 280 |4971 | 8.000000e+00 | 2.300000e+01 | 187.50%
1131.33/1131.38 c 1131s| 3880k| 3879k| 2630k| 0.7 |2341M| 58 | 0 | 351 | 318 | 351 | 172 | 84k| 284 |4975 | 8.000000e+00 | 2.300000e+01 | 187.50%
1134.23/1134.20 c 1134s| 3890k| 3889k| 2636k| 0.7 |2347M| 58 | 0 | 351 | 318 | 351 | 172 | 84k| 284 |4979 | 8.000000e+00 | 2.300000e+01 | 187.50%
1137.02/1137.06 c 1137s| 3900k| 3899k| 2642k| 0.7 |2353M| 58 | 0 | 351 | 317 | 351 | 172 | 85k| 284 |4986 | 8.000000e+00 | 2.300000e+01 | 187.50%
1140.13/1140.10 c 1140s| 3910k| 3909k| 2651k| 0.7 |2359M| 58 | 0 | 351 | 317 | 351 | 169 | 86k| 284 |4994 | 8.000000e+00 | 2.300000e+01 | 187.50%
1143.03/1143.09 c 1143s| 3920k| 3919k| 2659k| 0.7 |2365M| 58 | 0 | 351 | 317 | 351 | 169 | 86k| 284 |5000 | 8.000000e+00 | 2.300000e+01 | 187.50%
1146.13/1146.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.13/1146.14 c 1146s| 3930k| 3929k| 2669k| 0.7 |2371M| 58 | 0 | 351 | 317 | 351 | 171 | 87k| 284 |5004 | 8.000000e+00 | 2.300000e+01 | 187.50%
1149.13/1149.14 c 1149s| 3940k| 3939k| 2677k| 0.7 |2377M| 58 | 0 | 351 | 317 | 351 | 170 | 87k| 284 |5011 | 8.000000e+00 | 2.300000e+01 | 187.50%
1152.13/1152.19 c 1152s| 3950k| 3949k| 2687k| 0.7 |2383M| 58 | 0 | 351 | 317 | 351 | 171 | 88k| 284 |5019 | 8.000000e+00 | 2.300000e+01 | 187.50%
1155.23/1155.23 c 1155s| 3960k| 3959k| 2696k| 0.7 |2388M| 58 | 3 | 351 | 317 | 351 | 171 | 89k| 284 |5022 | 8.000000e+00 | 2.300000e+01 | 187.50%
1158.13/1158.18 c 1158s| 3970k| 3969k| 2703k| 0.7 |2394M| 58 | 0 | 351 | 317 | 351 | 170 | 89k| 284 |5032 | 8.000000e+00 | 2.300000e+01 | 187.50%
1161.13/1161.19 c 1161s| 3980k| 3979k| 2711k| 0.7 |2400M| 58 | 0 | 351 | 317 | 351 | 171 | 90k| 284 |5041 | 8.000000e+00 | 2.300000e+01 | 187.50%
1164.13/1164.13 c 1164s| 3990k| 3989k| 2718k| 0.7 |2406M| 58 | 0 | 351 | 317 | 351 | 169 | 90k| 284 |5052 | 8.000000e+00 | 2.300000e+01 | 187.50%
1167.13/1167.16 c 1167s| 4000k| 3999k| 2728k| 0.7 |2412M| 58 | 0 | 351 | 317 | 351 | 170 | 91k| 284 |5054 | 8.000000e+00 | 2.300000e+01 | 187.50%
1170.13/1170.15 c 1170s| 4010k| 4009k| 2736k| 0.7 |2418M| 58 | 0 | 351 | 317 | 351 | 169 | 91k| 284 |5065 | 8.000000e+00 | 2.300000e+01 | 187.50%
1173.02/1173.09 c 1173s| 4020k| 4019k| 2746k| 0.7 |2424M| 58 | 0 | 351 | 317 | 351 | 171 | 92k| 284 |5072 | 8.000000e+00 | 2.300000e+01 | 187.50%
1176.03/1176.02 c 1176s| 4030k| 4029k| 2755k| 0.7 |2430M| 58 | 0 | 351 | 317 | 351 | 169 | 92k| 284 |5077 | 8.000000e+00 | 2.300000e+01 | 187.50%
1178.93/1178.96 c 1179s| 4040k| 4039k| 2762k| 0.7 |2436M| 58 | 0 | 351 | 317 | 351 | 172 | 92k| 284 |5083 | 8.000000e+00 | 2.300000e+01 | 187.50%
1182.03/1182.02 c 1182s| 4050k| 4049k| 2772k| 0.7 |2442M| 58 | 0 | 351 | 317 | 351 | 171 | 93k| 284 |5089 | 8.000000e+00 | 2.300000e+01 | 187.50%
1185.03/1185.10 c 1185s| 4060k| 4059k| 2782k| 0.7 |2448M| 58 | 0 | 351 | 317 | 351 | 171 | 94k| 284 |5099 | 8.000000e+00 | 2.300000e+01 | 187.50%
1188.04/1188.07 c 1188s| 4070k| 4069k| 2790k| 0.7 |2454M| 58 | 0 | 351 | 317 | 351 | 173 | 94k| 284 |5107 | 8.000000e+00 | 2.300000e+01 | 187.50%
1191.03/1191.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.03/1191.07 c 1191s| 4080k| 4079k| 2797k| 0.7 |2460M| 58 | 0 | 351 | 317 | 351 | 172 | 95k| 284 |5111 | 8.000000e+00 | 2.300000e+01 | 187.50%
1193.93/1193.96 c 1194s| 4090k| 4089k| 2803k| 0.7 |2466M| 58 | 0 | 351 | 317 | 351 | 170 | 95k| 284 |5113 | 8.000000e+00 | 2.300000e+01 | 187.50%
1196.83/1196.86 c 1197s| 4100k| 4099k| 2811k| 0.7 |2472M| 58 | 0 | 351 | 317 | 351 | 171 | 95k| 284 |5119 | 8.000000e+00 | 2.300000e+01 | 187.50%
1199.73/1199.74 c 1200s| 4110k| 4109k| 2817k| 0.7 |2478M| 58 | 0 | 351 | 317 | 351 | 171 | 96k| 284 |5125 | 8.000000e+00 | 2.300000e+01 | 187.50%
1202.63/1202.62 c 1203s| 4120k| 4119k| 2823k| 0.7 |2484M| 58 | 0 | 351 | 317 | 351 | 173 | 96k| 284 |5125 | 8.000000e+00 | 2.300000e+01 | 187.50%
1205.43/1205.48 c 1205s| 4130k| 4129k| 2828k| 0.7 |2489M| 58 | 0 | 351 | 316 | 351 | 172 | 96k| 284 |5139 | 8.000000e+00 | 2.300000e+01 | 187.50%
1208.23/1208.26 c 1208s| 4140k| 4139k| 2833k| 0.7 |2496M| 58 | 0 | 351 | 316 | 351 | 170 | 97k| 284 |5139 | 8.000000e+00 | 2.300000e+01 | 187.50%
1211.03/1211.08 c 1211s| 4150k| 4149k| 2839k| 0.7 |2501M| 58 | 0 | 351 | 316 | 351 | 171 | 97k| 284 |5139 | 8.000000e+00 | 2.300000e+01 | 187.50%
1213.93/1213.95 c 1214s| 4160k| 4159k| 2845k| 0.7 |2507M| 58 | 0 | 351 | 314 | 351 | 171 | 97k| 284 |5149 | 8.000000e+00 | 2.300000e+01 | 187.50%
1216.83/1216.83 c 1217s| 4170k| 4169k| 2853k| 0.7 |2513M| 58 | 0 | 351 | 314 | 351 | 172 | 97k| 284 |5149 | 8.000000e+00 | 2.300000e+01 | 187.50%
1219.73/1219.74 c 1220s| 4180k| 4179k| 2858k| 0.7 |2519M| 58 | 0 | 351 | 314 | 351 | 172 | 98k| 284 |5152 | 8.000000e+00 | 2.300000e+01 | 187.50%
1222.64/1222.61 c 1223s| 4190k| 4189k| 2864k| 0.7 |2525M| 58 | 0 | 351 | 314 | 351 | 172 | 98k| 284 |5152 | 8.000000e+00 | 2.300000e+01 | 187.50%
1225.44/1225.46 c 1225s| 4200k| 4199k| 2870k| 0.7 |2531M| 58 | 0 | 351 | 314 | 351 | 170 | 99k| 284 |5159 | 8.000000e+00 | 2.300000e+01 | 187.50%
1228.33/1228.34 c 1228s| 4210k| 4209k| 2876k| 0.7 |2537M| 58 | 0 | 351 | 314 | 351 | 173 | 99k| 284 |5168 | 8.000000e+00 | 2.300000e+01 | 187.50%
1231.23/1231.25 c 1231s| 4220k| 4219k| 2882k| 0.7 |2543M| 58 | 0 | 351 | 314 | 351 | 170 | 99k| 284 |5168 | 8.000000e+00 | 2.300000e+01 | 187.50%
1234.03/1234.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1234.03/1234.08 c 1234s| 4230k| 4229k| 2888k| 0.7 |2549M| 58 | 0 | 351 | 314 | 351 | 170 | 99k| 284 |5171 | 8.000000e+00 | 2.300000e+01 | 187.50%
1236.93/1236.96 c 1237s| 4240k| 4239k| 2894k| 0.7 |2555M| 58 | 0 | 351 | 320 | 351 | 171 | 100k| 290 |5176 | 8.000000e+00 | 2.300000e+01 | 187.50%
1239.73/1239.74 c 1240s| 4250k| 4249k| 2900k| 0.7 |2561M| 58 | 0 | 351 | 326 | 351 | 171 | 100k| 297 |5184 | 8.000000e+00 | 2.300000e+01 | 187.50%
1242.54/1242.58 c 1243s| 4260k| 4259k| 2906k| 0.7 |2567M| 58 | 0 | 351 | 325 | 351 | 171 | 100k| 305 |5185 | 8.000000e+00 | 2.300000e+01 | 187.50%
1245.44/1245.47 c 1245s| 4270k| 4269k| 2911k| 0.7 |2573M| 58 | 0 | 351 | 327 | 351 | 169 | 100k| 316 |5190 | 8.000000e+00 | 2.300000e+01 | 187.50%
1248.33/1248.34 c 1248s| 4280k| 4279k| 2918k| 0.7 |2579M| 58 | 0 | 351 | 316 | 351 | 171 | 100k| 316 |5193 | 8.000000e+00 | 2.300000e+01 | 187.50%
1251.13/1251.17 c 1251s| 4290k| 4289k| 2923k| 0.7 |2584M| 58 | 0 | 351 | 315 | 351 | 170 | 101k| 316 |5199 | 8.000000e+00 | 2.300000e+01 | 187.50%
1254.13/1254.16 c 1254s| 4300k| 4299k| 2931k| 0.7 |2590M| 58 | 0 | 351 | 316 | 351 | 170 | 101k| 318 |5206 | 8.000000e+00 | 2.300000e+01 | 187.50%
1257.13/1257.18 c 1257s| 4310k| 4309k| 2939k| 0.7 |2596M| 58 | 0 | 351 | 316 | 351 | 171 | 101k| 318 |5208 | 8.000000e+00 | 2.300000e+01 | 187.50%
1260.34/1260.37 c 1260s| 4320k| 4319k| 2950k| 0.7 |2603M| 58 | 0 | 351 | 316 | 351 | 171 | 101k| 318 |5218 | 8.000000e+00 | 2.300000e+01 | 187.50%
1263.33/1263.39 c 1263s| 4330k| 4329k| 2960k| 0.7 |2609M| 58 | 0 | 351 | 316 | 351 | 170 | 102k| 318 |5225 | 8.000000e+00 | 2.300000e+01 | 187.50%
1266.34/1266.38 c 1266s| 4340k| 4339k| 2968k| 0.7 |2615M| 58 | 0 | 351 | 316 | 351 | 172 | 102k| 318 |5231 | 8.000000e+00 | 2.300000e+01 | 187.50%
1269.34/1269.33 c 1269s| 4350k| 4349k| 2975k| 0.7 |2620M| 58 | 0 | 351 | 316 | 351 | 170 | 102k| 318 |5231 | 8.000000e+00 | 2.300000e+01 | 187.50%
1272.33/1272.36 c 1272s| 4360k| 4359k| 2984k| 0.7 |2626M| 58 | 0 | 351 | 316 | 351 | 170 | 102k| 318 |5239 | 8.000000e+00 | 2.300000e+01 | 187.50%
1275.33/1275.38 c 1275s| 4370k| 4369k| 2993k| 0.7 |2632M| 58 | 0 | 351 | 316 | 351 | 171 | 102k| 318 |5249 | 8.000000e+00 | 2.300000e+01 | 187.50%
1278.44/1278.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.44/1278.43 c 1278s| 4380k| 4379k| 3003k| 0.7 |2638M| 58 | 0 | 351 | 316 | 351 | 170 | 102k| 318 |5255 | 8.000000e+00 | 2.300000e+01 | 187.50%
1281.44/1281.48 c 1281s| 4390k| 4389k| 3011k| 0.7 |2644M| 58 | 0 | 351 | 316 | 351 | 172 | 103k| 318 |5265 | 8.000000e+00 | 2.300000e+01 | 187.50%
1284.43/1284.48 c 1284s| 4400k| 4399k| 3018k| 0.7 |2650M| 58 | 0 | 351 | 316 | 351 | 168 | 103k| 318 |5284 | 8.000000e+00 | 2.300000e+01 | 187.50%
1287.43/1287.42 c 1287s| 4410k| 4409k| 3025k| 0.7 |2656M| 58 | 0 | 351 | 316 | 351 | 171 | 103k| 318 |5291 | 8.000000e+00 | 2.300000e+01 | 187.50%
1290.34/1290.37 c 1290s| 4420k| 4419k| 3032k| 0.7 |2662M| 58 | 0 | 351 | 316 | 351 | 169 | 103k| 318 |5307 | 8.000000e+00 | 2.300000e+01 | 187.50%
1293.33/1293.33 c 1293s| 4430k| 4429k| 3040k| 0.7 |2668M| 58 | 0 | 351 | 316 | 351 | 171 | 103k| 318 |5307 | 8.000000e+00 | 2.300000e+01 | 187.50%
1296.34/1296.30 c 1296s| 4440k| 4439k| 3048k| 0.7 |2674M| 58 | 0 | 351 | 316 | 351 | 171 | 103k| 318 |5312 | 8.000000e+00 | 2.300000e+01 | 187.50%
1299.33/1299.35 c 1299s| 4450k| 4449k| 3057k| 0.7 |2680M| 58 | 0 | 351 | 316 | 351 | 170 | 104k| 318 |5319 | 8.000000e+00 | 2.300000e+01 | 187.50%
1302.54/1302.54 c 1303s| 4460k| 4459k| 3068k| 0.7 |2686M| 58 | 0 | 351 | 316 | 351 | 169 | 104k| 318 |5323 | 8.000000e+00 | 2.300000e+01 | 187.50%
1305.64/1305.61 c 1306s| 4470k| 4469k| 3078k| 0.7 |2692M| 58 | 0 | 351 | 316 | 351 | 173 | 104k| 318 |5337 | 8.000000e+00 | 2.300000e+01 | 187.50%
1308.74/1308.71 c 1309s| 4480k| 4479k| 3088k| 0.7 |2698M| 58 | 0 | 351 | 316 | 351 | 173 | 105k| 318 |5346 | 8.000000e+00 | 2.300000e+01 | 187.50%
1311.83/1311.87 c 1312s| 4490k| 4489k| 3100k| 0.7 |2704M| 58 | 0 | 351 | 316 | 351 | 170 | 105k| 318 |5356 | 8.000000e+00 | 2.300000e+01 | 187.50%
1314.84/1314.87 c 1315s| 4500k| 4499k| 3109k| 0.7 |2710M| 58 | 0 | 351 | 316 | 351 | 169 | 105k| 318 |5366 | 8.000000e+00 | 2.300000e+01 | 187.50%
1317.93/1317.99 c 1318s| 4510k| 4509k| 3119k| 0.7 |2716M| 58 | 0 | 351 | 320 | 351 | 167 | 106k| 322 |5369 | 8.000000e+00 | 2.300000e+01 | 187.50%
1321.04/1321.04 c 1321s| 4520k| 4519k| 3128k| 0.7 |2722M| 58 | 0 | 351 | 335 | 351 | 172 | 106k| 337 |5381 | 8.000000e+00 | 2.300000e+01 | 187.50%
1324.03/1324.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1324.03/1324.09 c 1324s| 4530k| 4529k| 3138k| 0.7 |2728M| 58 | 0 | 351 | 323 | 351 | 171 | 106k| 337 |5381 | 8.000000e+00 | 2.300000e+01 | 187.50%
1327.04/1327.09 c 1327s| 4540k| 4539k| 3146k| 0.7 |2734M| 58 | 0 | 351 | 323 | 351 | 172 | 107k| 337 |5391 | 8.000000e+00 | 2.300000e+01 | 187.50%
1330.13/1330.15 c 1330s| 4550k| 4549k| 3156k| 0.7 |2740M| 58 | 0 | 351 | 315 | 351 | 170 | 107k| 337 |5391 | 8.000000e+00 | 2.300000e+01 | 187.50%
1333.23/1333.26 c 1333s| 4560k| 4559k| 3167k| 0.7 |2746M| 58 | 0 | 351 | 315 | 351 | 171 | 108k| 337 |5398 | 8.000000e+00 | 2.300000e+01 | 187.50%
1336.44/1336.46 c 1336s| 4570k| 4569k| 3180k| 0.7 |2752M| 58 | 0 | 351 | 315 | 351 | 172 | 108k| 337 |5405 | 8.000000e+00 | 2.300000e+01 | 187.50%
1339.53/1339.60 c 1340s| 4580k| 4579k| 3193k| 0.7 |2758M| 58 | 0 | 351 | 315 | 351 | 169 | 108k| 337 |5432 | 8.000000e+00 | 2.300000e+01 | 187.50%
1342.63/1342.68 c 1343s| 4590k| 4589k| 3204k| 0.7 |2764M| 58 | 0 | 351 | 315 | 351 | 170 | 109k| 337 |5432 | 8.000000e+00 | 2.300000e+01 | 187.50%
1345.74/1345.71 c 1346s| 4600k| 4599k| 3214k| 0.7 |2770M| 58 | 0 | 351 | 315 | 351 | 171 | 109k| 337 |5443 | 8.000000e+00 | 2.300000e+01 | 187.50%
1348.64/1348.66 c 1349s| 4610k| 4609k| 3222k| 0.7 |2776M| 58 | 0 | 351 | 315 | 351 | 173 | 109k| 337 |5448 | 8.000000e+00 | 2.300000e+01 | 187.50%
1351.63/1351.61 c 1352s| 4620k| 4619k| 3229k| 0.7 |2782M| 58 | 0 | 351 | 315 | 351 | 172 | 110k| 337 |5458 | 8.000000e+00 | 2.300000e+01 | 187.50%
1354.53/1354.51 c 1355s| 4630k| 4629k| 3236k| 0.7 |2788M| 58 | 0 | 351 | 315 | 351 | 170 | 110k| 337 |5465 | 8.000000e+00 | 2.300000e+01 | 187.50%
1357.53/1357.51 c 1358s| 4640k| 4639k| 3246k| 0.7 |2794M| 58 | 0 | 351 | 315 | 351 | 172 | 110k| 337 |5465 | 8.000000e+00 | 2.300000e+01 | 187.50%
1360.64/1360.61 c 1361s| 4650k| 4649k| 3259k| 0.7 |2800M| 58 | 0 | 351 | 315 | 351 | 173 | 110k| 337 |5479 | 8.000000e+00 | 2.300000e+01 | 187.50%
1363.73/1363.76 c 1364s| 4660k| 4659k| 3272k| 0.7 |2806M| 58 | 0 | 351 | 315 | 351 | 171 | 110k| 337 |5489 | 8.000000e+00 | 2.300000e+01 | 187.50%
1366.94/1366.94 c 1367s| 4670k| 4669k| 3285k| 0.7 |2812M| 58 | 0 | 351 | 315 | 351 | 172 | 111k| 337 |5498 | 8.000000e+00 | 2.300000e+01 | 187.50%
1369.83/1369.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1369.83/1369.87 c 1370s| 4680k| 4679k| 3292k| 0.7 |2818M| 58 | 0 | 351 | 315 | 351 | 172 | 111k| 337 |5514 | 8.000000e+00 | 2.300000e+01 | 187.50%
1372.84/1372.84 c 1373s| 4690k| 4689k| 3300k| 0.7 |2824M| 58 | 0 | 351 | 315 | 351 | 170 | 111k| 337 |5521 | 8.000000e+00 | 2.300000e+01 | 187.50%
1375.74/1375.79 c 1376s| 4700k| 4699k| 3308k| 0.7 |2830M| 58 | 0 | 351 | 315 | 351 | 171 | 112k| 337 |5524 | 8.000000e+00 | 2.300000e+01 | 187.50%
1378.73/1378.70 c 1379s| 4710k| 4709k| 3316k| 0.7 |2836M| 58 | 0 | 351 | 315 | 351 | 170 | 112k| 337 |5530 | 8.000000e+00 | 2.300000e+01 | 187.50%
1381.65/1381.65 c 1382s| 4720k| 4719k| 3324k| 0.7 |2841M| 58 | 0 | 351 | 315 | 351 | 170 | 112k| 337 |5532 | 8.000000e+00 | 2.300000e+01 | 187.50%
1384.84/1384.81 c 1385s| 4730k| 4729k| 3335k| 0.7 |2847M| 58 | 0 | 351 | 315 | 351 | 169 | 113k| 337 |5541 | 8.000000e+00 | 2.300000e+01 | 187.50%
1387.94/1387.96 c 1388s| 4740k| 4739k| 3346k| 0.7 |2853M| 58 | 0 | 351 | 315 | 351 | 170 | 113k| 337 |5553 | 8.000000e+00 | 2.300000e+01 | 187.50%
1391.04/1391.05 c 1391s| 4750k| 4749k| 3356k| 0.7 |2859M| 58 | 0 | 351 | 315 | 351 | 172 | 114k| 337 |5559 | 8.000000e+00 | 2.300000e+01 | 187.50%
1394.14/1394.14 c 1394s| 4760k| 4759k| 3368k| 0.7 |2865M| 58 | 0 | 351 | 315 | 351 | 170 | 114k| 337 |5567 | 8.000000e+00 | 2.300000e+01 | 187.50%
1395.74/1395.78 c (node 4765414) switching to memory saving mode (mem: 2736.0M/3420.0M)
1398.44/1398.42 c 1398s| 4770k| 4764k| 3377k| 0.7 |2871M| 77 | - | 351 |5516 | 0 | 0 | 115k|9779 |5567 | 8.000000e+00 | 2.300000e+01 | 187.50%
1403.64/1403.69 c 1404s| 4780k| 4763k| 3385k| 0.7 |2873M| 78 | 0 | 351 |9442 | 351 | 172 | 115k| 25k|5567 | 8.000000e+00 | 2.300000e+01 | 187.50%
1409.74/1409.74 c 1410s| 4790k| 4763k| 3393k| 0.7 |2875M| 78 | - | 351 | 12k| 0 | 0 | 115k| 40k|5568 | 8.000000e+00 | 2.300000e+01 | 187.50%
1416.74/1416.72 c 1417s| 4800k| 4763k| 3400k| 0.7 |2876M| 94 | - | 351 | 14k| 0 | 0 | 115k| 56k|5568 | 8.000000e+00 | 2.300000e+01 | 187.50%
1423.54/1423.57 c 1424s| 4810k| 4763k| 3406k| 0.7 |2878M| 94 | - | 351 | 17k| 0 | 0 | 115k| 70k|5580 | 8.000000e+00 | 2.300000e+01 | 187.50%
1430.93/1430.96 c 1431s| 4820k| 4762k| 3414k| 0.7 |2878M| 94 | - | 351 | 18k| 0 | 0 | 116k| 84k|5585 | 8.000000e+00 | 2.300000e+01 | 187.50%
1438.94/1438.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.94/1438.90 c 1439s| 4830k| 4762k| 3421k| 0.7 |2879M| 94 | 0 | 351 | 19k| 351 | 171 | 116k| 99k|5588 | 8.000000e+00 | 2.300000e+01 | 187.50%
1446.44/1446.49 c 1446s| 4840k| 4762k| 3429k| 0.7 |2880M| 94 | 0 | 351 | 21k| 351 | 171 | 116k| 111k|5590 | 8.000000e+00 | 2.300000e+01 | 187.50%
1455.24/1455.29 c 1455s| 4850k| 4762k| 3436k| 0.7 |2882M| 94 | 0 | 351 | 25k| 351 | 174 | 116k| 126k|5593 | 8.000000e+00 | 2.300000e+01 | 187.50%
1465.25/1465.26 c 1465s| 4860k| 4761k| 3444k| 0.7 |2882M| 94 | 0 | 351 | 25k| 351 | 172 | 117k| 141k|5599 | 8.000000e+00 | 2.300000e+01 | 187.50%
1475.44/1475.46 c 1475s| 4870k| 4761k| 3452k| 0.7 |2882M| 94 | 0 | 351 | 24k| 351 | 174 | 117k| 155k|5601 | 8.000000e+00 | 2.300000e+01 | 187.50%
1484.64/1484.65 c 1485s| 4880k| 4761k| 3460k| 0.7 |2883M| 94 | - | 351 | 27k| 0 | 0 | 117k| 170k|5601 | 8.000000e+00 | 2.300000e+01 | 187.50%
1494.64/1494.60 c 1495s| 4890k| 4761k| 3467k| 0.7 |2885M| 94 | - | 351 | 30k| 0 | 0 | 118k| 184k|5603 | 8.000000e+00 | 2.300000e+01 | 187.50%
1506.24/1506.29 c 1506s| 4900k| 4760k| 3476k| 0.7 |2886M| 94 | - | 351 | 31k| 0 | 0 | 118k| 199k|5604 | 8.000000e+00 | 2.300000e+01 | 187.50%
1518.64/1518.68 c 1519s| 4910k| 4760k| 3484k| 0.7 |2886M| 94 | 0 | 351 | 32k| 351 | 172 | 118k| 214k|5605 | 8.000000e+00 | 2.300000e+01 | 187.50%
1521.44/1521.43 o 22
1521.44/1521.43 c *1521s| 4912k| 4760k| 3485k| 0.7 |2886M| 94 | - | 351 | 32k| 351 | 172 | 118k| 217k|5611 | 8.000000e+00 | 2.200000e+01 | 175.00%
1533.04/1533.02 c 1533s| 4920k| 4759k| 3491k| 0.7 |2883M| 94 | - | 351 | 24k| 0 | 0 | 118k| 230k|5614 | 8.000000e+00 | 2.200000e+01 | 175.00%
1542.44/1542.43 c 1542s| 4930k| 4759k| 3501k| 0.7 |2884M| 94 | 0 | 351 | 26k| 351 | 171 | 119k| 244k|5618 | 8.000000e+00 | 2.200000e+01 | 175.00%
1552.54/1552.55 c 1553s| 4940k| 4759k| 3510k| 0.7 |2885M| 94 | - | 351 | 30k| 0 | 0 | 119k| 259k|5620 | 8.000000e+00 | 2.200000e+01 | 175.00%
1563.85/1563.87 c 1564s| 4950k| 4759k| 3518k| 0.7 |2885M| 94 | 0 | 351 | 30k| 351 | 172 | 119k| 274k|5621 | 8.000000e+00 | 2.200000e+01 | 175.00%
1576.35/1576.38 c 1576s| 4960k| 4758k| 3527k| 0.7 |2885M| 94 | 0 | 351 | 30k| 351 | 173 | 119k| 290k|5623 | 8.000000e+00 | 2.200000e+01 | 175.00%
1589.04/1589.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.04/1589.02 c 1589s| 4970k| 4758k| 3536k| 0.7 |2884M| 94 | 0 | 351 | 27k| 351 | 172 | 119k| 305k|5635 | 8.000000e+00 | 2.200000e+01 | 175.00%
1600.95/1600.95 c 1601s| 4980k| 4757k| 3544k| 0.7 |2883M| 94 | - | 351 | 27k| 0 | 0 | 120k| 321k|5641 | 8.000000e+00 | 2.200000e+01 | 175.00%
1611.45/1611.44 c 1611s| 4990k| 4757k| 3554k| 0.7 |2885M| 94 | 0 | 351 | 30k| 351 | 171 | 120k| 336k|5643 | 8.000000e+00 | 2.200000e+01 | 175.00%
1623.94/1623.94 c 1624s| 5000k| 4757k| 3565k| 0.7 |2886M| 94 | - | 351 | 32k| 0 | 0 | 120k| 352k|5650 | 8.000000e+00 | 2.200000e+01 | 175.00%
1636.34/1636.38 c 1636s| 5010k| 4757k| 3574k| 0.7 |2887M| 94 | 0 | 351 | 35k| 351 | 171 | 121k| 367k|5652 | 8.000000e+00 | 2.200000e+01 | 175.00%
1649.54/1649.59 c 1650s| 5020k| 4756k| 3584k| 0.7 |2887M| 94 | - | 351 | 36k| 0 | 0 | 121k| 384k|5655 | 8.000000e+00 | 2.200000e+01 | 175.00%
1663.94/1663.98 c 1664s| 5030k| 4756k| 3593k| 0.7 |2887M| 94 | 0 | 351 | 35k| 351 | 170 | 121k| 400k|5664 | 8.000000e+00 | 2.200000e+01 | 175.00%
1679.04/1679.09 c 1679s| 5040k| 4755k| 3602k| 0.7 |2886M| 94 | 0 | 351 | 33k| 351 | 171 | 121k| 417k|5667 | 8.000000e+00 | 2.200000e+01 | 175.00%
1696.05/1696.01 c 1696s| 5050k| 4754k| 3610k| 0.7 |2883M| 94 | 0 | 351 | 27k| 351 | 172 | 121k| 434k|5668 | 8.000000e+00 | 2.200000e+01 | 175.00%
1706.15/1706.13 c 1706s| 5060k| 4754k| 3620k| 0.7 |2886M| 94 | - | 351 | 33k| 0 | 0 | 122k| 450k|5676 | 8.000000e+00 | 2.200000e+01 | 175.00%
1718.85/1718.89 c 1719s| 5070k| 4754k| 3630k| 0.7 |2887M| 94 | - | 351 | 36k| 0 | 0 | 122k| 467k|5685 | 8.000000e+00 | 2.200000e+01 | 175.00%
1733.05/1733.05 c 1733s| 5080k| 4754k| 3641k| 0.7 |2888M| 94 | 0 | 351 | 39k| 351 | 171 | 123k| 483k|5686 | 8.000000e+00 | 2.200000e+01 | 175.00%
1747.95/1747.93 c 1748s| 5090k| 4753k| 3652k| 0.7 |2889M| 94 | 0 | 351 | 40k| 351 | 172 | 123k| 499k|5694 | 8.000000e+00 | 2.200000e+01 | 175.00%
1760.65/1760.60 c 1761s| 5100k| 4753k| 3659k| 0.7 |2890M| 94 | 0 | 351 | 43k| 351 | 171 | 123k| 513k|5694 | 8.000000e+00 | 2.200000e+01 | 175.00%
1776.15/1776.18 c 1776s| 5110k| 4753k| 3669k| 0.7 |2890M| 94 | - | 351 | 42k| 0 | 0 | 123k| 529k|5700 | 8.000000e+00 | 2.200000e+01 | 175.00%
1790.05/1790.00 c
1790.05/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.00 c Solving Time (sec) : 1790.00
1790.05/1790.00 c Solving Nodes : 5118843
1790.05/1790.00 c Primal Bound : +2.20000000000000e+01 (419 solutions)
1790.05/1790.00 c Dual Bound : +8.00000000000000e+00
1790.05/1790.00 c Gap : 175.00 %
1790.05/1790.00 s SATISFIABLE
1790.05/1790.00 v -x80 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 -x53 x52
1790.05/1790.00 v -x51 -x50 x49 x48 -x47 -x46 x45 x44 -x43 -x42 x41 x40 -x39 x38 -x37 x36 -x35 x34 -x33 x32 -x31 x30 -x29 -x28 x27 -x26 x25
1790.05/1790.00 v -x24 x23 -x22 x21 x20 -x19 -x18 x17 x16 -x15 -x14 x13 -x12 x11 x10 -x9 x8 -x7 x6 -x5 x4 -x3 -x2 x1
1790.05/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1790.05/1790.00 c Solving Time : 1790.00
1790.05/1790.00 c Original Problem :
1790.05/1790.00 c Problem name : HOME/instance-2705773-1278580143.wbo
1790.05/1790.00 c Variables : 392 (236 binary, 0 integer, 156 implicit integer, 0 continuous)
1790.05/1790.00 c Constraints : 353 initial, 353 maximal
1790.05/1790.00 c Presolved Problem :
1790.05/1790.00 c Problem name : t_HOME/instance-2705773-1278580143.wbo
1790.05/1790.00 c Variables : 351 (195 binary, 0 integer, 156 implicit integer, 0 continuous)
1790.05/1790.00 c Constraints : 313 initial, 44385 maximal
1790.05/1790.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.05/1790.00 c trivial : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c dualfix : 0.00 1 0 0 0 0 0 0 0
1790.05/1790.00 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c implics : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c probing : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c knapsack : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c linear : 0.00 0 40 0 156 0 40 0 0
1790.05/1790.00 c indicator : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c logicor : 0.00 0 0 0 0 0 0 0 0
1790.05/1790.00 c root node : - 0 - - 0 - - - -
1790.05/1790.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.05/1790.00 c integral : 0 0 0 5122117 0 0 0 0 0 78524
1790.05/1790.00 c knapsack : 1 6 8719147 5082855 1 0 0 0 0 0
1790.05/1790.00 c linear : 156 6 8719146 5082854 1 4769 4545144 123788 0 0
1790.05/1790.00 c indicator : 156 0 8714376 5082854 1 9707 14318953 0 0 0
1790.05/1790.00 c logicor : 0+ 0 1052918 0 0 107489 550847 0 0 0
1790.05/1790.00 c countsols : 0 0 0 4978549 1 0 0 0 0 0
1790.05/1790.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.05/1790.00 c integral : 3.47 0.00 0.00 3.47 0.00
1790.05/1790.00 c knapsack : 31.34 0.00 30.18 1.16 0.00
1790.05/1790.00 c linear : 34.04 0.00 24.72 9.32 0.00
1790.05/1790.00 c indicator : 98.74 0.10 47.14 51.50 0.00
1790.05/1790.00 c logicor : 147.15 0.00 147.15 0.00 0.00
1790.05/1790.00 c countsols : 0.60 0.00 0.00 0.60 0.00
1790.05/1790.00 c Propagators : Time Calls Cutoffs DomReds
1790.05/1790.00 c vbounds : 1.51 2 0 0
1790.05/1790.00 c rootredcost : 1.40 6 0 0
1790.05/1790.00 c pseudoobj : 42.11 8796949 78002 9347026
1790.05/1790.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.05/1790.00 c propagation : 8.93 190260 189635 1750068 29.8 1657 12.3 -
1790.05/1790.00 c infeasible LP : 0.00 8 8 44 25.5 0 0.0 0
1790.05/1790.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.05/1790.00 c pseudo solution : 0.00 43 43 432 30.0 0 0.0 -
1790.05/1790.00 c applied globally : - - - 541656 25.4 - - -
1790.05/1790.00 c applied locally : - - - 1904 31.8 - - -
1790.05/1790.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.05/1790.00 c cut pool : 0.00 4 - - 3 - (maximal pool size: 51)
1790.05/1790.00 c redcost : 38.09 5122850 0 80059 0 0
1790.05/1790.00 c impliedbounds : 0.00 5 0 0 0 0
1790.05/1790.00 c intobj : 0.00 0 0 0 0 0
1790.05/1790.00 c cgmip : 0.00 0 0 0 0 0
1790.05/1790.00 c gomory : 0.00 5 0 0 364 0
1790.05/1790.00 c strongcg : 0.00 5 0 0 364 0
1790.05/1790.00 c cmir : 0.00 5 0 0 1 0
1790.05/1790.00 c flowcover : 0.00 5 0 0 2 0
1790.05/1790.00 c clique : 0.00 1 0 0 0 0
1790.05/1790.00 c zerohalf : 0.00 0 0 0 0 0
1790.05/1790.00 c mcf : 0.00 1 0 0 0 0
1790.05/1790.00 c rapidlearning : 0.01 1 0 0 0 0
1790.05/1790.00 c Pricers : Time Calls Vars
1790.05/1790.00 c problem variables: 0.00 0 0
1790.05/1790.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.05/1790.00 c relpscost : 2.01 39262 0 0 0 0 78524
1790.05/1790.00 c pscost : 0.00 0 0 0 0 0 0
1790.05/1790.00 c inference : 111.76 4978549 0 0 0 0 9957098
1790.05/1790.00 c mostinf : 0.00 0 0 0 0 0 0
1790.05/1790.00 c leastinf : 0.00 0 0 0 0 0 0
1790.05/1790.00 c fullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.00 c allfullstrong : 0.00 0 0 0 0 0 0
1790.05/1790.00 c random : 0.00 0 0 0 0 0 0
1790.05/1790.00 c Primal Heuristics : Time Calls Found
1790.05/1790.00 c LP solutions : 0.06 - 1
1790.05/1790.00 c pseudo solutions : 0.00 - 0
1790.05/1790.00 c intshifting : 0.10 0 0
1790.05/1790.00 c oneopt : 0.98 6 0
1790.05/1790.00 c feaspump : 0.07 1 0
1790.05/1790.00 c guideddiving : 37.24 455168 0
1790.05/1790.00 c linesearchdiving : 38.46 455553 0
1790.05/1790.00 c veclendiving : 37.67 464695 0
1790.05/1790.00 c fracdiving : 37.64 469508 0
1790.05/1790.00 c coefdiving : 37.07 470584 0
1790.05/1790.00 c pscostdiving : 37.34 471714 0
1790.05/1790.00 c objpscostdiving : 28.88 353063 0
1790.05/1790.00 c rootsoldiving : 30.13 357005 0
1790.05/1790.00 c trivial : 0.00 2 0
1790.05/1790.00 c simplerounding : 1.14 0 0
1790.05/1790.00 c zirounding : 1.00 1000 0
1790.05/1790.00 c rounding : 0.97 2742 0
1790.05/1790.00 c shifting : 0.19 895 0
1790.05/1790.00 c twoopt : 0.00 0 0
1790.05/1790.00 c fixandinfer : 0.00 0 0
1790.05/1790.00 c intdiving : 0.00 0 0
1790.05/1790.00 c actconsdiving : 0.00 0 0
1790.05/1790.00 c octane : 0.00 0 0
1790.05/1790.00 c rens : 0.01 1 0
1790.05/1790.00 c rins : 0.00 0 0
1790.05/1790.00 c localbranching : 0.00 0 0
1790.05/1790.00 c mutation : 0.00 0 0
1790.05/1790.00 c crossover : 1.10 15 0
1790.05/1790.00 c dins : 0.00 0 0
1790.05/1790.00 c undercover : 0.00 0 0
1790.05/1790.00 c nlp : 0.71 0 0
1790.05/1790.00 c trysol : 2.02 638446 418
1790.05/1790.00 c LP : Time Calls Iterations Iter/call Iter/sec
1790.05/1790.00 c primal LP : 0.00 0 0 0.00 -
1790.05/1790.00 c dual LP : 507.21 837737 3650254 4.36 7196.69
1790.05/1790.00 c lex dual LP : 0.00 0 0 0.00 -
1790.05/1790.00 c barrier LP : 0.00 0 0 0.00 -
1790.05/1790.00 c diving/probing LP: 2.28 9177 27216 2.97 11926.03
1790.05/1790.00 c strong branching : 1.77 5701 33296 5.84 18802.08
1790.05/1790.00 c (at root node) : - 33 425 12.88 -
1790.05/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1790.05/1790.01 c B&B Tree :
1790.05/1790.01 c number of runs : 1
1790.05/1790.01 c nodes : 5118843
1790.05/1790.01 c nodes (total) : 5118843
1790.05/1790.01 c nodes left : 4753291
1790.05/1790.01 c max depth : 94
1790.05/1790.01 c max depth (total): 94
1790.05/1790.01 c backtracks : 749165 (14.6%)
1790.05/1790.01 c delayed cutoffs : 163473
1790.05/1790.01 c repropagations : 233720 (9600918 domain reductions, 98984 cutoffs)
1790.05/1790.01 c avg switch length: 5.91
1790.05/1790.01 c switching time : 176.37
1790.05/1790.01 c Solution :
1790.05/1790.01 c Solutions found : 419 (6 improvements)
1790.05/1790.01 c First Solution : +4.80000000000000e+01 (in run 1, after 1 nodes, 0.02 seconds, depth 0, found by <trysol>)
1790.05/1790.01 c Primal Bound : +2.20000000000000e+01 (in run 1, after 4912367 nodes, 1521.37 seconds, depth 55, found by <relaxation>)
1790.05/1790.01 c Dual Bound : +8.00000000000000e+00
1790.05/1790.01 c Gap : 175.00 %
1790.05/1790.01 c Root Dual Bound : +0.00000000000000e+00
1790.05/1790.01 c Root Iterations : 238
Begin job on node113 at 2010-07-08 11:09:03
IDJOB=2705773
IDBENCH=79437
IDSOLVER=1214
FILE ID=node113/2705773-1278580143
PBS_JOBID= 11240227
Free space on /tmp= 73736 MiB
SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/coloring/normalized-geom40-2_wcsp.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705773-1278580143/watcher-2705773-1278580143 -o /tmp/evaluation-result-2705773-1278580143/solver-2705773-1278580143 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705773-1278580143.wbo -t 1800 -m 3800
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= dc0207dd780e8486ac4fdb37fec549e2
RANDOM SEED=361696858
node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.68
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.73
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.843
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 28494840 kB
Buffers: 155852 kB
Cached: 2825276 kB
SwapCached: 0 kB
Active: 2937456 kB
Inactive: 1365208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 28494840 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 12860 kB
Writeback: 0 kB
AnonPages: 1321756 kB
Mapped: 17552 kB
Slab: 86680 kB
PageTables: 7156 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1474336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73736 MiB
End job on node113 at 2010-07-08 11:39:05