0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665604-1276392239.opb>
0.03/0.08 c original problem has 1963 variables (1963 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.03/0.08 c problem read
0.03/0.08 c presolving settings loaded
0.09/0.11 o 1963
0.09/0.11 c feasible solution found by trivial heuristic, objective value 1.963000e+03
0.09/0.11 c presolving:
0.09/0.13 c (round 1) 159 del vars, 159 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 325 del vars, 766 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 3) 373 del vars, 859 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 404 del vars, 945 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 5) 421 del vars, 986 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 435 del vars, 1031 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 440 del vars, 1045 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 8) 443 del vars, 1052 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 9) 446 del vars, 1059 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 10) 448 del vars, 1070 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.23 c (round 11) 448 del vars, 1071 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2929 upgd conss, 7998 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/1515 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (12 rounds):
0.19/0.27 c 448 deleted vars, 1071 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 7998 implications, 0 cliques
0.19/0.27 c presolved problem has 1515 variables (1515 bin, 0 int, 0 impl, 0 cont) and 2929 constraints
0.19/0.27 c 2929 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.13
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.92
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = 0
0.19/0.27 c
0.19/0.27 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.27 o 1735
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.1s| 1 | 0 | 0 | - |5796k| 0 | - |1515 |2929 | 0 | 0 | 0 | 0 | 0 | -- | 1.735000e+03 | Inf
0.19/0.29 o 1155
0.19/0.29 c b 0.1s| 1 | 0 | 0 | - |7385k| 0 | - |1515 |2929 |1515 |2929 | 0 | 0 | 0 | -- | 1.155000e+03 | Inf
0.39/0.41 c 0.3s| 1 | 0 | 1898 | - |7361k| 0 |1515 |1515 |2929 |1515 |2929 | 0 | 0 | 0 | 9.775000e+02 | 1.155000e+03 | 18.16%
0.89/0.93 c 0.8s| 1 | 0 | 2052 | - |7464k| 0 |1493 |1515 |2929 |1515 |2942 | 13 | 0 | 0 | 9.835000e+02 | 1.155000e+03 | 17.44%
1.29/1.37 c 1.2s| 1 | 0 | 2099 | - |7491k| 0 |1486 |1515 |2929 |1515 |2945 | 16 | 0 | 0 | 9.850000e+02 | 1.155000e+03 | 17.26%
1.79/1.83 c 1.7s| 1 | 0 | 2138 | - |7519k| 0 |1483 |1515 |2929 |1515 |2947 | 18 | 0 | 0 | 9.855000e+02 | 1.155000e+03 | 17.20%
2.19/2.27 c 2.1s| 1 | 0 | 2207 | - |7553k| 0 |1479 |1515 |2929 |1515 |2952 | 23 | 0 | 0 | 9.865000e+02 | 1.155000e+03 | 17.08%
2.69/2.72 c 2.5s| 1 | 0 | 2311 | - |7582k| 0 |1478 |1515 |2929 |1515 |2955 | 26 | 0 | 0 | 9.880000e+02 | 1.155000e+03 | 16.90%
3.09/3.17 c 3.0s| 1 | 0 | 2467 | - |7611k| 0 |1474 |1515 |2929 |1515 |2959 | 30 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
3.49/3.58 c 3.4s| 1 | 0 | 2473 | - |7613k| 0 |1472 |1515 |2929 |1515 |2961 | 32 | 0 | 0 | 9.910000e+02 | 1.155000e+03 | 16.55%
4.19/4.29 c 4.1s| 1 | 0 | 3012 | - |7617k| 0 |1466 |1515 |2929 |1515 |2962 | 33 | 0 | 0 | 9.910000e+02 | 1.155000e+03 | 16.55%
4.99/5.03 c 4.8s| 1 | 0 | 3458 | - |7912k| 0 |1467 |1515 |2929 |1515 |2967 | 38 | 0 | 0 | 9.925000e+02 | 1.155000e+03 | 16.37%
5.50/5.57 c 5.4s| 1 | 0 | 3625 | - |8001k| 0 |1468 |1515 |2929 |1515 |2971 | 42 | 0 | 0 | 9.935000e+02 | 1.155000e+03 | 16.26%
6.29/6.39 c 6.2s| 1 | 0 | 4228 | - |8092k| 0 |1467 |1515 |2929 |1515 |2973 | 45 | 0 | 0 | 9.940000e+02 | 1.155000e+03 | 16.20%
7.09/7.13 c 6.9s| 1 | 0 | 4707 | - |8648k| 0 |1455 |1515 |2929 |1515 |2978 | 50 | 0 | 0 | 9.940000e+02 | 1.155000e+03 | 16.20%
8.99/9.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.99/9.05 c 8.8s| 1 | 0 | 6008 | - |9546k| 0 |1464 |1515 |2929 |1515 |2980 | 52 | 0 | 0 | 9.945000e+02 | 1.155000e+03 | 16.14%
10.78/10.82 c 10.6s| 1 | 0 | 7324 | - | 10M| 0 |1463 |1515 |2929 |1515 |2985 | 57 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
12.69/12.72 c 12.4s| 1 | 0 | 7807 | - | 11M| 0 |1460 |1515 |2929 |1515 |2989 | 61 | 0 | 0 | 9.955000e+02 | 1.155000e+03 | 16.02%
14.69/14.71 c 14.4s| 1 | 0 | 9066 | - | 12M| 0 |1451 |1515 |2929 |1515 |2992 | 64 | 0 | 0 | 9.960000e+02 | 1.155000e+03 | 15.96%
16.08/16.10 c 15.8s| 1 | 0 | 9863 | - | 14M| 0 |1459 |1515 |2929 |1515 |2995 | 67 | 0 | 0 | 9.965000e+02 | 1.155000e+03 | 15.91%
17.99/18.06 c 17.7s| 1 | 0 | 11401 | - | 14M| 0 |1471 |1515 |2929 |1515 |3000 | 72 | 0 | 0 | 9.970000e+02 | 1.155000e+03 | 15.85%
20.18/20.29 c 19.9s| 1 | 0 | 12967 | - | 15M| 0 |1460 |1515 |2929 |1515 |3006 | 78 | 0 | 0 | 9.980000e+02 | 1.155000e+03 | 15.73%
22.38/22.47 c 22.1s| 1 | 0 | 14593 | - | 17M| 0 |1456 |1515 |2929 |1515 |3011 | 83 | 0 | 0 | 9.997500e+02 | 1.155000e+03 | 15.53%
24.09/24.17 c 23.8s| 1 | 0 | 15931 | - | 17M| 0 |1411 |1515 |2929 |1515 |3015 | 87 | 0 | 0 | 1.000500e+03 | 1.155000e+03 | 15.44%
25.89/25.97 c 25.5s| 1 | 0 | 17541 | - | 17M| 0 |1439 |1515 |2929 |1515 |3019 | 91 | 0 | 0 | 1.001500e+03 | 1.155000e+03 | 15.33%
26.39/26.49 c 26.1s| 1 | 0 | 17765 | - | 17M| 0 |1475 |1515 |2929 |1515 |3012 | 93 | 0 | 0 | 1.002000e+03 | 1.155000e+03 | 15.27%
27.98/28.08 c 27.6s| 1 | 0 | 18894 | - | 18M| 0 |1444 |1515 |2929 |1515 |3014 | 95 | 0 | 0 | 1.002000e+03 | 1.155000e+03 | 15.27%
29.58/29.62 c 29.2s| 1 | 0 | 20192 | - | 18M| 0 |1453 |1515 |2929 |1515 |3019 | 100 | 0 | 0 | 1.002000e+03 | 1.155000e+03 | 15.27%
31.28/31.38 c 30.9s| 1 | 0 | 21627 | - | 18M| 0 |1446 |1515 |2929 |1515 |3022 | 103 | 0 | 0 | 1.002000e+03 | 1.155000e+03 | 15.27%
33.97/34.06 c 33.5s| 1 | 0 | 24155 | - | 18M| 0 |1433 |1515 |2929 |1515 |3025 | 106 | 0 | 0 | 1.002500e+03 | 1.155000e+03 | 15.21%
36.28/36.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.28/36.36 c 35.8s| 1 | 0 | 26050 | - | 18M| 0 |1438 |1515 |2929 |1515 |3028 | 109 | 0 | 0 | 1.003000e+03 | 1.155000e+03 | 15.15%
38.58/38.60 c 38.0s| 1 | 0 | 27924 | - | 19M| 0 |1468 |1515 |2929 |1515 |3022 | 115 | 0 | 0 | 1.003000e+03 | 1.155000e+03 | 15.15%
40.17/40.21 c 39.6s| 1 | 0 | 29487 | - | 19M| 0 |1385 |1515 |2929 |1515 |3027 | 120 | 0 | 0 | 1.003000e+03 | 1.155000e+03 | 15.15%
42.78/42.89 c 42.3s| 1 | 0 | 31388 | - | 20M| 0 |1455 |1515 |2929 |1515 |3030 | 123 | 0 | 0 | 1.003062e+03 | 1.155000e+03 | 15.15%
43.87/43.96 c 43.3s| 1 | 0 | 32464 | - | 20M| 0 |1471 |1515 |2929 |1515 |3032 | 125 | 0 | 0 | 1.003214e+03 | 1.155000e+03 | 15.13%
45.57/45.60 c 45.0s| 1 | 0 | 33964 | - | 21M| 0 |1467 |1515 |2929 |1515 |3036 | 129 | 0 | 0 | 1.003337e+03 | 1.155000e+03 | 15.12%
47.17/47.22 c 46.6s| 1 | 0 | 35439 | - | 21M| 0 |1497 |1515 |2929 |1515 |3038 | 131 | 0 | 0 | 1.004000e+03 | 1.155000e+03 | 15.04%
49.27/49.38 c 48.7s| 1 | 0 | 37214 | - | 23M| 0 |1467 |1515 |2929 |1515 |3030 | 135 | 0 | 0 | 1.004000e+03 | 1.155000e+03 | 15.04%
51.57/51.69 c 51.0s| 1 | 0 | 39278 | - | 23M| 0 |1408 |1515 |2929 |1515 |3034 | 139 | 0 | 0 | 1.004000e+03 | 1.155000e+03 | 15.04%
53.47/53.57 c 52.8s| 1 | 0 | 41160 | - | 24M| 0 |1493 |1515 |2929 |1515 |3037 | 142 | 0 | 0 | 1.004000e+03 | 1.155000e+03 | 15.04%
55.66/55.75 c 55.0s| 1 | 0 | 43276 | - | 25M| 0 |1486 |1515 |2929 |1515 |3042 | 147 | 0 | 0 | 1.004208e+03 | 1.155000e+03 | 15.02%
57.47/57.53 c 56.7s| 1 | 0 | 44980 | - | 25M| 0 |1507 |1515 |2929 |1515 |3044 | 149 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
59.76/59.85 c 59.0s| 1 | 0 | 45800 | - | 25M| 0 |1473 |1515 |2929 |1515 |3045 | 150 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
62.57/62.61 c 61.8s| 1 | 0 | 48119 | - | 25M| 0 |1492 |1515 |2929 |1515 |3038 | 156 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
64.96/65.00 c 64.1s| 1 | 0 | 50287 | - | 26M| 0 |1487 |1515 |2929 |1515 |3041 | 159 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
67.07/67.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.07/67.12 c 66.2s| 1 | 0 | 52100 | - | 26M| 0 |1496 |1515 |2929 |1515 |3043 | 161 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
69.35/69.43 c 68.5s| 1 | 0 | 54098 | - | 26M| 0 |1502 |1515 |2929 |1515 |3045 | 163 | 0 | 0 | 1.005000e+03 | 1.155000e+03 | 14.93%
95.15/95.24 c 94.0s| 1 | 2 | 54098 | - | 26M| 0 |1502 |1515 |2929 |1515 |3045 | 163 | 0 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
100.44/100.50 c 99.1s| 10000 | 261 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 | 849 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
105.34/105.47 c 104s| 20000 | 259 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |1533 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
110.24/110.33 c 109s| 30000 | 260 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |2123 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
115.05/115.11 c 113s| 40000 | 260 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |2640 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
119.64/119.79 c 118s| 50000 | 258 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |3112 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
124.44/124.56 c 122s| 60000 | 258 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |3637 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
129.34/129.43 c 127s| 70000 | 257 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |4229 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
133.94/134.08 c 132s| 80000 | 260 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |4675 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
138.54/138.65 c 136s| 90000 | 260 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |5041 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
143.23/143.34 c 141s|100000 | 258 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |5566 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
148.03/148.11 c 145s|110000 | 260 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |6100 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
152.74/152.86 c 150s|120000 | 258 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |6609 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
157.33/157.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
157.33/157.49 c 154s|130000 | 257 | 54098 | 0.0 | 27M| 275 | - |1515 |2929 | 0 | 0 | 163 |7065 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
162.03/162.15 c 159s|140000 | 260 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |7544 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
166.82/166.96 c 163s|150000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |8065 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
171.43/171.53 c 168s|160000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |8451 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
176.02/176.12 c 172s|170000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |8867 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
180.52/180.69 c 177s|180000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |9259 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
185.32/185.40 c 181s|190000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 |9728 | 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
189.81/189.91 c 186s|200000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 10k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
194.31/194.46 c 190s|210000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 10k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
198.92/199.09 c 195s|220000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 10k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
203.62/203.75 c 199s|230000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 11k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
208.31/208.44 c 204s|240000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 11k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
213.00/213.13 c 208s|250000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 12k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
217.61/217.80 c 213s|260000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 12k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
222.40/222.51 c 217s|270000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 13k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
226.81/226.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
226.81/226.93 c 222s|280000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 13k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
231.50/231.62 c 226s|290000 | 254 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 13k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
236.30/236.41 c 231s|300000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 14k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
241.00/241.12 c 235s|310000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 14k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
245.59/245.71 c 240s|320000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 15k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
250.19/250.32 c 244s|330000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 15k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
254.69/254.85 c 249s|340000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 16k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
259.29/259.44 c 253s|350000 | 255 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 16k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
263.90/264.04 c 257s|360000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 17k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
268.48/268.67 c 262s|370000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 17k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
273.09/273.21 c 266s|380000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 17k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
277.78/277.90 c 271s|390000 | 255 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 18k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
282.28/282.40 c 275s|400000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 18k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
286.68/286.86 c 280s|410000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 18k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
291.29/291.45 c 284s|420000 | 254 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 19k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
295.78/295.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
295.78/295.97 c 288s|430000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 19k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
300.38/300.50 c 293s|440000 | 260 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 20k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
304.98/305.12 c 297s|450000 | 253 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 20k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
309.47/309.68 c 302s|460000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 20k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
314.08/314.22 c 306s|470000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 21k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
318.57/318.74 c 310s|480000 | 255 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 21k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
323.17/323.36 c 315s|490000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 21k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
327.68/327.82 c 319s|500000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 22k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
332.17/332.34 c 323s|510000 | 255 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 22k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
336.76/336.95 c 328s|520000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 22k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
341.27/341.42 c 332s|530000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 23k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
345.76/345.90 c 337s|540000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 23k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
350.26/350.41 c 341s|550000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 23k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
354.66/354.89 c 345s|560000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 24k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
359.16/359.33 c 350s|570000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 24k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
363.46/363.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.46/363.69 c 354s|580000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 24k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
367.85/368.07 c 358s|590000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 25k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
372.25/372.48 c 362s|600000 | 260 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 25k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
376.75/376.93 c 367s|610000 | 257 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 25k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
381.15/381.36 c 371s|620000 | 258 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 26k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
385.64/385.89 c 375s|630000 | 259 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 26k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
390.14/390.37 c 380s|640000 | 256 | 54098 | 0.0 | 27M| 276 | - |1515 |2929 | 0 | 0 | 163 | 26k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
394.75/394.95 c 384s|650000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 27k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
399.24/399.48 c 388s|660000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 27k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
403.74/403.99 c 393s|670000 | 258 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 27k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
408.34/408.50 c 397s|680000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 28k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
412.74/412.91 c 401s|690000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 28k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
417.23/417.43 c 406s|700000 | 259 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 28k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
421.63/421.80 c 410s|710000 | 255 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 29k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
426.23/426.49 c 414s|720000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 29k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
430.83/431.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
430.83/431.05 c 419s|730000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 29k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
435.34/435.56 c 423s|740000 | 256 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 30k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
439.84/440.08 c 428s|750000 | 255 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 30k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
444.23/444.47 c 432s|760000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 30k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
448.73/448.94 c 436s|770000 | 255 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 31k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
453.12/453.38 c 440s|780000 | 255 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 31k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
457.62/457.87 c 445s|790000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 31k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
462.02/462.29 c 449s|800000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 32k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
466.42/466.65 c 453s|810000 | 254 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 32k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
470.71/470.98 c 457s|820000 | 257 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 32k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
475.11/475.38 c 462s|830000 | 255 | 54098 | 0.0 | 27M| 277 | - |1515 |2929 | 0 | 0 | 163 | 33k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
479.32/479.57 c 466s|840000 | 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 33k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
483.91/484.16 c 470s|850000 | 260 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 33k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
488.50/488.77 c 475s|860000 | 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 34k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
493.11/493.37 c 479s|870000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 34k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
497.70/497.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
497.70/497.97 c 484s|880000 | 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 34k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
502.51/502.74 c 488s|890000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 35k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
507.20/507.49 c 493s|900000 | 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 35k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
511.90/512.13 c 497s|910000 | 259 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 36k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
516.40/516.63 c 502s|920000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 36k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
520.80/521.08 c 506s|930000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 36k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
525.51/525.73 c 510s|940000 | 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 37k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
530.10/530.35 c 515s|950000 | 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 37k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
534.69/534.95 c 519s|960000 | 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 38k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
539.09/539.30 c 524s|970000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 38k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
543.49/543.75 c 528s|980000 | 259 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 38k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
547.98/548.20 c 532s|990000 | 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 39k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
552.49/552.71 c 536s| 1000k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 39k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
556.99/557.23 c 541s| 1010k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 39k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
561.59/561.89 c 545s| 1020k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 40k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
566.08/566.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.08/566.38 c 550s| 1030k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 40k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
570.69/570.99 c 554s| 1040k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 40k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
575.28/575.52 c 559s| 1050k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 41k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
579.78/580.03 c 563s| 1060k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 41k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
584.27/584.55 c 567s| 1070k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 41k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
588.67/588.98 c 572s| 1080k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 42k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
593.07/593.39 c 576s| 1090k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 42k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
597.57/597.82 c 580s| 1100k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 42k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
601.97/602.24 c 584s| 1110k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 42k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
606.36/606.60 c 589s| 1120k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 43k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
610.67/610.99 c 593s| 1130k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 43k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
615.16/615.40 c 597s| 1140k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 43k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
619.56/619.80 c 601s| 1150k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 43k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
624.06/624.39 c 606s| 1160k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 44k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
628.56/628.89 c 610s| 1170k| 259 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 44k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
632.95/633.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.95/633.26 c 614s| 1180k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 44k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
637.35/637.62 c 619s| 1190k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 45k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
641.75/642.07 c 623s| 1200k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 45k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
646.16/646.48 c 627s| 1210k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 45k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
650.55/650.87 c 631s| 1220k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 45k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
655.05/655.32 c 636s| 1230k| 259 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 46k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
659.55/659.84 c 640s| 1240k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 46k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
663.95/664.24 c 644s| 1250k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 46k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
668.14/668.46 c 648s| 1260k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 47k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
672.54/672.83 c 653s| 1270k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 47k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
676.94/677.21 c 657s| 1280k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 47k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
681.34/681.66 c 661s| 1290k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 48k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
685.64/685.99 c 665s| 1300k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 48k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
690.23/690.52 c 670s| 1310k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 48k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
694.74/695.08 c 674s| 1320k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 49k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
699.34/699.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
699.34/699.61 c 679s| 1330k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 49k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
703.74/704.01 c 683s| 1340k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 49k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
708.04/708.40 c 687s| 1350k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 49k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
712.54/712.86 c 691s| 1360k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 50k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
716.93/717.22 c 695s| 1370k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 50k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
721.42/721.76 c 700s| 1380k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 50k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
725.92/726.24 c 704s| 1390k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 51k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
730.42/730.76 c 709s| 1400k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 51k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
735.12/735.40 c 713s| 1410k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 52k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
739.51/739.86 c 717s| 1420k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 52k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
743.91/744.23 c 722s| 1430k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 52k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
748.51/748.87 c 726s| 1440k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 53k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
753.01/753.33 c 730s| 1450k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 53k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
757.41/757.75 c 735s| 1460k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 53k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
761.81/762.12 c 739s| 1470k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 54k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
766.21/766.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
766.21/766.52 c 743s| 1480k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 54k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
770.72/771.00 c 747s| 1490k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 54k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
775.00/775.31 c 752s| 1500k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 54k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
779.51/779.87 c 756s| 1510k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 55k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
783.91/784.30 c 760s| 1520k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 55k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
788.40/788.80 c 765s| 1530k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 55k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
793.00/793.33 c 769s| 1540k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 56k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
797.59/797.97 c 774s| 1550k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 56k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
802.20/802.50 c 778s| 1560k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 56k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
806.70/807.00 c 782s| 1570k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 57k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
811.29/811.68 c 787s| 1580k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 57k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
815.80/816.11 c 791s| 1590k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 58k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
820.39/820.70 c 796s| 1600k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 58k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
824.69/825.09 c 800s| 1610k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 58k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
829.29/829.67 c 804s| 1620k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 59k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
833.79/834.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
833.79/834.14 c 809s| 1630k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 59k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
838.28/838.60 c 813s| 1640k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 59k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
842.68/843.02 c 817s| 1650k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 59k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
847.08/847.40 c 821s| 1660k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 60k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
851.38/851.76 c 826s| 1670k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 60k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
855.77/856.17 c 830s| 1680k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 60k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
860.18/860.57 c 834s| 1690k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 60k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
864.58/864.90 c 838s| 1700k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 61k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
869.07/869.47 c 843s| 1710k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 61k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
873.47/873.86 c 847s| 1720k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 61k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
877.77/878.16 c 851s| 1730k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 62k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
882.17/882.59 c 855s| 1740k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 62k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
886.57/886.92 c 859s| 1750k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 62k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
890.96/891.30 c 864s| 1760k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 62k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
895.16/895.56 c 868s| 1770k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 62k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
899.47/899.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.47/899.88 c 872s| 1780k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 63k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
903.96/904.36 c 876s| 1790k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 63k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
908.26/908.66 c 880s| 1800k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 63k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
912.56/912.99 c 885s| 1810k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 63k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
916.85/917.24 c 889s| 1820k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 64k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
921.05/921.49 c 893s| 1830k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 64k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
925.65/926.01 c 897s| 1840k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 64k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
929.95/930.33 c 901s| 1850k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 64k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
934.24/934.62 c 906s| 1860k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 65k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
938.64/939.06 c 910s| 1870k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 65k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
943.14/943.54 c 914s| 1880k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 65k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
947.54/947.95 c 918s| 1890k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 65k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
952.04/952.42 c 923s| 1900k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 66k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
956.34/956.79 c 927s| 1910k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 66k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
960.64/961.05 c 931s| 1920k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 66k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
965.04/965.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.04/965.45 c 935s| 1930k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 67k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
969.43/969.85 c 940s| 1940k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 67k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
973.73/974.16 c 944s| 1950k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 67k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
978.12/978.55 c 948s| 1960k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 67k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
982.52/982.94 c 952s| 1970k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 67k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
986.82/987.28 c 956s| 1980k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 68k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
991.22/991.62 c 961s| 1990k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 68k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
995.72/996.10 c 965s| 2000k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 68k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1000.22/1000.62 c 969s| 2010k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 68k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1004.62/1005.05 c 974s| 2020k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 69k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1009.11/1009.54 c 978s| 2030k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 69k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1013.61/1014.02 c 982s| 2040k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 69k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1018.12/1018.51 c 987s| 2050k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 70k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1022.71/1023.13 c 991s| 2060k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 70k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1027.40/1027.84 c 996s| 2070k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 71k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1031.80/1032.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.80/1032.24 c 1000s| 2080k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 71k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1036.40/1036.83 c 1004s| 2090k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 71k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1040.90/1041.31 c 1009s| 2100k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 72k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1045.50/1045.90 c 1013s| 2110k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 72k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1050.01/1050.46 c 1018s| 2120k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 72k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1054.50/1054.96 c 1022s| 2130k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 73k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1059.00/1059.45 c 1026s| 2140k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 73k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1063.49/1063.93 c 1030s| 2150k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 73k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1067.99/1068.46 c 1035s| 2160k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 74k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1072.59/1073.01 c 1039s| 2170k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 74k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1076.99/1077.42 c 1044s| 2180k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 74k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1081.29/1081.79 c 1048s| 2190k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 75k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1085.79/1086.21 c 1052s| 2200k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 75k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1090.18/1090.63 c 1056s| 2210k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 75k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1094.49/1094.93 c 1061s| 2220k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 75k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1098.88/1099.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.88/1099.32 c 1065s| 2230k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 76k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1103.18/1103.67 c 1069s| 2240k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 76k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1107.68/1108.19 c 1073s| 2250k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 76k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1112.27/1112.79 c 1078s| 2260k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 77k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1116.98/1117.41 c 1082s| 2270k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 77k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1121.77/1122.23 c 1087s| 2280k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 77k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1126.47/1126.92 c 1091s| 2290k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 78k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1130.87/1131.37 c 1096s| 2300k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 78k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1135.37/1135.87 c 1100s| 2310k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 78k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1140.06/1140.53 c 1105s| 2320k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 79k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1144.57/1145.02 c 1109s| 2330k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 79k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1148.97/1149.47 c 1113s| 2340k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 79k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1153.47/1153.99 c 1118s| 2350k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 80k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1157.96/1158.49 c 1122s| 2360k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 80k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1162.46/1162.95 c 1126s| 2370k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 80k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1166.86/1167.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.86/1167.39 c 1131s| 2380k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 80k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1171.26/1171.77 c 1135s| 2390k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 81k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1175.66/1176.19 c 1139s| 2400k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 81k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1180.15/1180.60 c 1143s| 2410k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 81k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1184.56/1185.07 c 1148s| 2420k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 81k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1188.95/1189.46 c 1152s| 2430k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 82k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1193.45/1193.98 c 1156s| 2440k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 82k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1198.05/1198.55 c 1161s| 2450k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 82k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1202.65/1203.14 c 1165s| 2460k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 83k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1207.14/1207.62 c 1169s| 2470k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 83k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1211.44/1211.96 c 1174s| 2480k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 83k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1215.74/1216.24 c 1178s| 2490k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 83k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1220.14/1220.61 c 1182s| 2500k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 84k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1224.64/1225.17 c 1186s| 2510k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 84k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1229.34/1229.81 c 1191s| 2520k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 84k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1233.75/1234.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1233.75/1234.26 c 1195s| 2530k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 85k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1238.23/1238.73 c 1200s| 2540k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 85k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1242.73/1243.22 c 1204s| 2550k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 85k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1247.23/1247.70 c 1208s| 2560k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 85k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1251.73/1252.22 c 1213s| 2570k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 86k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1256.13/1256.70 c 1217s| 2580k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 86k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1260.63/1261.14 c 1221s| 2590k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 86k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1265.12/1265.64 c 1226s| 2600k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 87k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1269.52/1270.06 c 1230s| 2610k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 87k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1273.92/1274.49 c 1234s| 2620k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 87k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1278.41/1278.91 c 1238s| 2630k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 87k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1282.82/1283.36 c 1243s| 2640k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 88k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1287.11/1287.69 c 1247s| 2650k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 88k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1291.61/1292.12 c 1251s| 2660k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 88k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1295.91/1296.46 c 1255s| 2670k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 88k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1300.21/1300.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1300.21/1300.78 c 1259s| 2680k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 88k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1304.61/1305.12 c 1264s| 2690k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 89k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1308.91/1309.40 c 1268s| 2700k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 89k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1313.21/1313.79 c 1272s| 2710k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 89k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1317.60/1318.15 c 1276s| 2720k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 89k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1322.01/1322.58 c 1281s| 2730k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 90k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1326.30/1326.89 c 1285s| 2740k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 90k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1330.60/1331.15 c 1289s| 2750k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 90k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1334.91/1335.44 c 1293s| 2760k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 90k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1339.20/1339.79 c 1297s| 2770k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 90k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1343.60/1344.13 c 1301s| 2780k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 91k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1347.89/1348.49 c 1305s| 2790k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 91k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1352.29/1352.84 c 1310s| 2800k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 91k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1356.59/1357.14 c 1314s| 2810k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 91k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1360.89/1361.45 c 1318s| 2820k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 92k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1365.29/1365.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.29/1365.81 c 1322s| 2830k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 92k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1369.48/1370.08 c 1326s| 2840k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 92k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1373.88/1374.48 c 1331s| 2850k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 92k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1378.38/1378.95 c 1335s| 2860k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 92k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1382.78/1383.31 c 1339s| 2870k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 93k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1387.08/1387.65 c 1343s| 2880k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 93k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1391.38/1391.90 c 1347s| 2890k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 93k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1395.88/1396.40 c 1352s| 2900k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 93k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1400.28/1400.84 c 1356s| 2910k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 94k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1404.67/1405.20 c 1360s| 2920k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 94k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1408.97/1409.57 c 1364s| 2930k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 94k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1413.47/1414.01 c 1369s| 2940k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 95k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1417.77/1418.33 c 1373s| 2950k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 95k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1422.06/1422.63 c 1377s| 2960k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 95k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1426.57/1427.10 c 1381s| 2970k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 95k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1430.96/1431.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1430.96/1431.50 c 1386s| 2980k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 96k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1435.26/1435.80 c 1390s| 2990k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 96k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1439.56/1440.15 c 1394s| 3000k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 96k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1443.86/1444.42 c 1398s| 3010k| 249 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 96k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1448.16/1448.74 c 1402s| 3020k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 96k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1452.56/1453.14 c 1407s| 3030k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 97k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1456.96/1457.57 c 1411s| 3040k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 97k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1461.26/1461.84 c 1415s| 3050k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 97k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1465.55/1466.16 c 1419s| 3060k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 97k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1469.85/1470.43 c 1423s| 3070k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 98k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1474.04/1474.70 c 1427s| 3080k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 98k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1478.45/1479.05 c 1432s| 3090k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 98k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1482.85/1483.46 c 1436s| 3100k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 98k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1487.25/1487.83 c 1440s| 3110k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 98k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1491.54/1492.18 c 1444s| 3120k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 99k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1495.84/1496.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.84/1496.46 c 1449s| 3130k| 258 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 99k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1500.14/1500.77 c 1453s| 3140k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 99k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1504.44/1505.07 c 1457s| 3150k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 99k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1508.73/1509.36 c 1461s| 3160k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 99k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1513.13/1513.79 c 1465s| 3170k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1517.53/1518.10 c 1469s| 3180k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1521.74/1522.39 c 1474s| 3190k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1526.13/1526.71 c 1478s| 3200k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1530.33/1530.93 c 1482s| 3210k| 259 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1534.83/1535.45 c 1486s| 3220k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 100k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1539.23/1539.80 c 1490s| 3230k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 101k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1543.52/1544.16 c 1495s| 3240k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 101k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1547.82/1548.45 c 1499s| 3250k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 101k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1552.22/1552.85 c 1503s| 3260k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 101k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1556.52/1557.11 c 1507s| 3270k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1560.72/1561.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1560.72/1561.35 c 1511s| 3280k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1565.02/1565.63 c 1515s| 3290k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1569.31/1569.90 c 1519s| 3300k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1573.52/1574.12 c 1524s| 3310k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1577.82/1578.40 c 1528s| 3320k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1582.00/1582.64 c 1532s| 3330k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 102k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1586.20/1586.87 c 1536s| 3340k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 103k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1590.51/1591.14 c 1540s| 3350k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 103k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1594.90/1595.50 c 1544s| 3360k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 103k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1599.20/1599.85 c 1548s| 3370k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 103k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1603.50/1604.13 c 1552s| 3380k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 103k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1607.80/1608.41 c 1557s| 3390k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1612.10/1612.70 c 1561s| 3400k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1616.40/1617.02 c 1565s| 3410k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1620.59/1621.23 c 1569s| 3420k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1624.79/1625.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1624.79/1625.47 c 1573s| 3430k| 251 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1629.09/1629.72 c 1577s| 3440k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1633.29/1633.94 c 1581s| 3450k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 104k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1637.49/1638.19 c 1585s| 3460k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1641.89/1642.54 c 1590s| 3470k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1646.18/1646.85 c 1594s| 3480k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1650.39/1651.10 c 1598s| 3490k| 248 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1654.79/1655.43 c 1602s| 3500k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1659.08/1659.77 c 1606s| 3510k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1663.38/1664.01 c 1610s| 3520k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 105k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1667.48/1668.19 c 1614s| 3530k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1671.78/1672.43 c 1618s| 3540k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1675.98/1676.62 c 1622s| 3550k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1680.18/1680.83 c 1626s| 3560k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1684.37/1685.06 c 1631s| 3570k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1688.68/1689.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.68/1689.33 c 1635s| 3580k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1692.87/1693.55 c 1639s| 3590k| 250 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1697.07/1697.74 c 1643s| 3600k| 250 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 106k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1701.57/1702.21 c 1647s| 3610k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 107k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1706.06/1706.71 c 1651s| 3620k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 107k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1710.46/1711.11 c 1656s| 3630k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 107k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1714.96/1715.69 c 1660s| 3640k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 108k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1719.46/1720.17 c 1664s| 3650k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 108k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1723.76/1724.48 c 1669s| 3660k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 108k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1728.25/1728.99 c 1673s| 3670k| 257 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 108k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1732.75/1733.44 c 1677s| 3680k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 109k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1737.26/1737.91 c 1682s| 3690k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 109k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1741.55/1742.27 c 1686s| 3700k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 109k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1745.95/1746.67 c 1690s| 3710k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 109k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1750.24/1750.99 c 1694s| 3720k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 110k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1754.75/1755.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.75/1755.45 c 1699s| 3730k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 110k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1759.15/1759.85 c 1703s| 3740k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 110k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1763.45/1764.18 c 1707s| 3750k| 252 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 110k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1767.85/1768.57 c 1711s| 3760k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 111k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1772.24/1772.90 c 1715s| 3770k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 111k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1776.54/1777.29 c 1720s| 3780k| 254 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 111k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1780.83/1781.53 c 1724s| 3790k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 111k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1785.14/1785.87 c 1728s| 3800k| 256 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 111k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1789.64/1790.32 c 1732s| 3810k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 112k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1793.94/1794.70 c 1736s| 3820k| 255 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 112k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1798.23/1798.93 c 1740s| 3830k| 253 | 54098 | 0.0 | 27M| 278 | - |1515 |2929 | 0 | 0 | 163 | 112k| 33 | 1.005000e+03 | 1.155000e+03 | 14.93%
1800.05/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.71 c
1800.05/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.71 c Solving Time (sec) : 1742.18
1800.05/1800.71 c Solving Nodes : 3834107
1800.05/1800.71 c Primal Bound : +1.15500000000000e+03 (46 solutions)
1800.05/1800.71 c Dual Bound : +1.00500000000000e+03
1800.05/1800.71 c Gap : 14.93 %
1800.05/1800.72 s SATISFIABLE
1800.05/1800.72 v -x1963 x1962 x1961 -x1960 -x1959 x1958 x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 x1949 -x1948 -x1947 -x1946 -x1945
1800.05/1800.72 v x1944 x1943 -x1942 -x1941 x1940 -x1939 -x1938 x1937 x1936 -x1935 x1934 -x1933 x1932 -x1931 x1930 x1929 -x1928 x1927 x1926 -x1925
1800.05/1800.72 v x1924 x1923 x1922 -x1921 x1920 -x1919 x1918 x1917 -x1916 x1915 x1914 x1913 -x1912 x1911 x1910 -x1909 x1908 x1907 x1906 x1905
1800.05/1800.72 v -x1904 -x1903 -x1902 x1901 x1900 x1899 x1898 -x1897 x1896 -x1895 x1894 -x1893 -x1892 x1891 x1890 -x1889 x1888 x1887 -x1886
1800.05/1800.72 v -x1885 -x1884 x1883 x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 x1872 x1871 x1870 x1869 x1868 x1867 x1866
1800.05/1800.72 v x1865 -x1864 -x1863 x1862 x1861 x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 x1853 x1852 -x1851 -x1850 -x1849 x1848 -x1847 x1846
1800.05/1800.72 v x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 x1832 x1831 -x1830 x1829 -x1828 -x1827
1800.05/1800.72 v x1826 x1825 -x1824 x1823 x1822 x1821 x1820 x1819 x1818 -x1817 x1816 x1815 x1814 x1813 x1812 x1811 -x1810 x1809 -x1808 x1807
1800.05/1800.72 v x1806 -x1805 -x1804 x1803 x1802 x1801 -x1800 x1799 x1798 x1797 x1796 x1795 -x1794 -x1793 -x1792 x1791 x1790 x1789 -x1788 x1787
1800.05/1800.72 v x1786 x1785 x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 x1777 x1776 x1775 x1774 -x1773 x1772 x1771 -x1770 -x1769 x1768
1800.05/1800.72 v x1767 x1766 x1765 -x1764 x1763 x1762 -x1761 x1760 x1759 x1758 x1757 -x1756 x1755 x1754 x1753 x1752 -x1751 -x1750 x1749 -x1748
1800.05/1800.72 v x1747 -x1746 x1745 -x1744 x1743 x1742 x1741 x1740 x1739 -x1738 -x1737 -x1736 x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 x1728
1800.05/1800.72 v -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 -x1720 x1719 x1718 -x1717 -x1716 x1715 -x1714 x1713 x1712 x1711 -x1710 x1709
1800.05/1800.72 v -x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 -x1700 x1699 x1698 -x1697 x1696 -x1695 x1694 -x1693 x1692 x1691 x1690 -x1689
1800.05/1800.72 v -x1688 x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1800.05/1800.72 v x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1800.05/1800.72 v x1651 x1650 x1649 x1648 -x1647 x1646 -x1645 x1644 x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 -x1636 x1635 x1634 x1633 x1632
1800.05/1800.72 v -x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 x1617 -x1616 x1615 -x1614 -x1613
1800.05/1800.72 v -x1612 x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 x1600 -x1599 x1598 x1597 x1596 x1595 -x1594 x1593 -x1592
1800.05/1800.72 v -x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 -x1583 x1582 x1581 -x1580 x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573
1800.05/1800.72 v -x1572 -x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 -x1557 x1556 x1555 x1554
1800.05/1800.72 v -x1553 -x1552 -x1551 -x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 x1543 x1542 x1541 x1540 -x1539 x1538 x1537 x1536 -x1535
1800.05/1800.72 v x1534 x1533 x1532 x1531 x1530 -x1529 x1528 -x1527 x1526 x1525 x1524 x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514
1800.05/1800.72 v x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506 -x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 -x1495 -x1494
1800.05/1800.72 v x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 -x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474
1800.05/1800.72 v x1473 x1472 -x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 x1463 x1462 x1461 -x1460 x1459 x1458 -x1457 x1456 -x1455 -x1454
1800.05/1800.72 v x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 x1445 x1444 -x1443 x1442 -x1441 x1440 x1439 -x1438 -x1437 x1436 x1435 x1434
1800.05/1800.72 v x1433 x1432 x1431 x1430 x1429 x1428 -x1427 x1426 -x1425 x1424 x1423 x1422 -x1421 x1420 -x1419 -x1418 x1417 x1416 -x1415 x1414
1800.05/1800.72 v x1413 x1412 x1411 -x1410 x1409 x1408 x1407 x1406 -x1405 x1404 x1403 x1402 -x1401 x1400 x1399 x1398 -x1397 x1396 x1395 x1394
1800.05/1800.72 v x1393 -x1392 x1391 x1390 x1389 x1388 x1387 x1386 x1385 -x1384 x1383 x1382 x1381 x1380 -x1379 -x1378 -x1377 -x1376 x1375 x1374
1800.05/1800.72 v x1373 -x1372 x1371 x1370 x1369 x1368 -x1367 x1366 x1365 x1364 x1363 x1362 -x1361 x1360 x1359 x1358 x1357 -x1356 -x1355 -x1354
1800.05/1800.72 v x1353 x1352 x1351 -x1350 -x1349 x1348 x1347 x1346 -x1345 x1344 -x1343 x1342 -x1341 -x1340 x1339 -x1338 x1337 x1336 -x1335
1800.05/1800.72 v x1334 -x1333 -x1332 x1331 x1330 x1329 x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 x1317 -x1316
1800.05/1800.72 v x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 x1308 -x1307 x1306 -x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297 x1296
1800.05/1800.72 v -x1295 x1294 x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 -x1283 -x1282 -x1281 x1280 x1279 -x1278 -x1277 -x1276
1800.05/1800.72 v x1275 x1274 -x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 -x1263 x1262 x1261 x1260 x1259 -x1258 x1257 x1256
1800.05/1800.72 v -x1255 x1254 x1253 x1252 x1251 -x1250 x1249 -x1248 x1247 x1246 x1245 x1244 x1243 x1242 -x1241 x1240 x1239 x1238 -x1237 -x1236
1800.05/1800.72 v -x1235 x1234 x1233 x1232 x1231 x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 x1219 -x1218 x1217 -x1216
1800.05/1800.72 v x1215 -x1214 x1213 x1212 x1211 x1210 x1209 x1208 -x1207 x1206 x1205 x1204 x1203 x1202 x1201 -x1200 x1199 x1198 -x1197 x1196
1800.05/1800.72 v x1195 x1194 x1193 x1192 -x1191 -x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 -x1182 -x1181 -x1180 x1179 -x1178 x1177 x1176
1800.05/1800.72 v x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 -x1166 x1165 x1164 x1163 x1162 -x1161 x1160 x1159 x1158 -x1157 -x1156
1800.05/1800.72 v x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 x1143 -x1142 -x1141 x1140 x1139 x1138 x1137 x1136
1800.05/1800.72 v x1135 -x1134 x1133 x1132 x1131 x1130 x1129 -x1128 x1127 x1126 x1125 x1124 -x1123 x1122 x1121 -x1120 x1119 x1118 -x1117 x1116
1800.05/1800.72 v x1115 -x1114 x1113 x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 -x1103 x1102 x1101 -x1100 x1099 -x1098 -x1097 x1096
1800.05/1800.72 v -x1095 x1094 x1093 x1092 -x1091 x1090 x1089 x1088 -x1087 x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 x1078 x1077
1800.05/1800.72 v -x1076 x1075 x1074 x1073 x1072 x1071 x1070 -x1069 -x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 x1058 -x1057
1800.05/1800.72 v x1056 x1055 x1054 -x1053 x1052 x1051 x1050 x1049 -x1048 -x1047 x1046 x1045 x1044 x1043 x1042 -x1041 x1040 -x1039 -x1038 x1037
1800.05/1800.72 v x1036 x1035 x1034 x1033 -x1032 x1031 -x1030 -x1029 x1028 -x1027 -x1026 x1025 x1024 x1023 -x1022 x1021 x1020 x1019 x1018 x1017
1800.05/1800.72 v x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 -x999 -x998 x997
1800.05/1800.72 v x996 x995 x994 -x993 x992 x991 x990 x989 x988 -x987 -x986 x985 -x984 x983 x982 -x981 x980 -x979 x978 -x977 x976 -x975 x974
1800.05/1800.72 v x973 -x972 x971 -x970 x969 -x968 x967 -x966 x965 x964 -x963 x962 x961 x960 -x959 x958 x957 x956 x955 -x954 -x953 x952 -x951
1800.05/1800.72 v x950 x949 x948 x947 x946 x945 x944 x943 x942 x941 -x940 x939 -x938 x937 x936 -x935 -x934 -x933 x932 x931 x930 -x929 x928 x927
1800.05/1800.72 v x926 x925 -x924 -x923 x922 x921 x920 x919 x918 -x917 -x916 x915 -x914 x913 -x912 x911 x910 x909 x908 x907 -x906 -x905 x904
1800.05/1800.72 v x903 -x902 -x901 -x900 x899 -x898 x897 -x896 -x895 -x894 x893 x892 x891 -x890 x889 x888 -x887 x886 -x885 x884 x883 -x882 x881
1800.05/1800.72 v x880 x879 x878 x877 x876 x875 x874 -x873 x872 -x871 -x870 -x869 x868 x867 -x866 -x865 -x864 x863 x862 -x861 -x860 x859 x858
1800.05/1800.72 v x857 x856 x855 -x854 x853 -x852 x851 -x850 x849 x848 x847 -x846 x845 x844 x843 x842 -x841 x840 -x839 -x838 x837 -x836 x835 -x834
1800.05/1800.72 v x833 x832 x831 x830 x829 -x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 -x818 x817 x816 x815 x814 -x813 x812 x811 x810
1800.05/1800.72 v -x809 x808 x807 x806 x805 x804 x803 x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 x794 x793 x792 x791 x790 x789 x788 x787 x786
1800.05/1800.72 v x785 x784 x783 x782 x781 x780 -x779 -x778 x777 -x776 x775 -x774 -x773 x772 x771 x770 x769 -x768 x767 x766 -x765 x764 x763
1800.05/1800.72 v x762 x761 x760 -x759 -x758 -x757 x756 -x755 x754 x753 x752 -x751 x750 -x749 -x748 x747 x746 -x745 -x744 x743 x742 x741 -x740
1800.05/1800.72 v -x739 -x738 x737 x736 x735 -x734 x733 x732 x731 x730 x729 x728 x727 x726 -x725 -x724 -x723 x722 x721 -x720 x719 -x718 -x717
1800.05/1800.72 v -x716 x715 x714 x713 -x712 x711 x710 x709 -x708 -x707 x706 -x705 x704 x703 x702 x701 x700 x699 -x698 x697 x696 x695 x694 -x693
1800.05/1800.72 v -x692 -x691 x690 -x689 x688 x687 x686 x685 x684 -x683 -x682 x681 -x680 x679 x678 x677 -x676 -x675 -x674 -x673 -x672 x671 -x670
1800.05/1800.72 v x669 x668 x667 x666 x665 x664 -x663 -x662 -x661 -x660 x659 x658 x657 -x656 x655 x654 x653 -x652 x651 x650 x649 x648 x647
1800.05/1800.72 v -x646 -x645 x644 x643 x642 x641 x640 -x639 -x638 x637 -x636 x635 -x634 -x633 -x632 x631 x630 x629 x628 x627 x626 x625 -x624 x623
1800.05/1800.72 v x622 x621 x620 x619 x618 -x617 x616 x615 x614 x613 -x612 -x611 x610 -x609 x608 -x607 x606 x605 x604 x603 -x602 x601 -x600
1800.05/1800.72 v x599 -x598 x597 -x596 x595 x594 x593 x592 -x591 -x590 x589 x588 x587 x586 x585 -x584 -x583 x582 x581 -x580 -x579 x578 -x577
1800.05/1800.72 v x576 x575 x574 x573 x572 -x571 -x570 x569 -x568 x567 x566 -x565 x564 x563 x562 -x561 -x560 x559 x558 -x557 x556 x555 -x554 -x553
1800.05/1800.72 v -x552 -x551 x550 x549 -x548 -x547 x546 -x545 x544 -x543 -x542 x541 x540 -x539 x538 x537 x536 -x535 x534 x533 x532 x531 x530
1800.05/1800.72 v -x529 x528 x527 x526 -x525 -x524 x523 x522 -x521 x520 x519 x518 x517 x516 x515 -x514 x513 x512 -x511 -x510 x509 x508 -x507
1800.05/1800.72 v x506 x505 -x504 -x503 x502 -x501 x500 x499 -x498 x497 x496 -x495 -x494 -x493 x492 x491 -x490 x489 x488 x487 x486 x485 -x484
1800.05/1800.72 v x483 -x482 x481 x480 x479 x478 -x477 x476 x475 x474 -x473 x472 x471 -x470 -x469 x468 x467 x466 x465 -x464 x463 x462 -x461 -x460
1800.05/1800.72 v -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 x440 x439 x438
1800.05/1800.72 v x437 -x436 -x435 x434 -x433 x432 -x431 -x430 -x429 x428 -x427 x426 x425 x424 x423 x422 x421 -x420 -x419 x418 -x417 x416 -x415
1800.05/1800.72 v x414 x413 x412 x411 -x410 -x409 x408 -x407 x406 x405 -x404 x403 -x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 -x393
1800.05/1800.72 v -x392 x391 x390 x389 x388 -x387 -x386 x385 -x384 x383 x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 x372 x371 x370 x369
1800.05/1800.72 v -x368 x367 x366 -x365 x364 x363 x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 x348 x347
1800.05/1800.72 v x346 x345 -x344 x343 -x342 -x341 x340 x339 -x338 x337 -x336 x335 -x334 -x333 x332 -x331 x330 x329 x328 -x327 x326 -x325 -x324
1800.05/1800.72 v -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 x314 x313 x312 x311 x310 -x309 x308 -x307 x306 -x305 -x304 x303 -x302
1800.05/1800.72 v x301 x300 x299 x298 x297 x296 x295 x294 x293 -x292 x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279
1800.05/1800.72 v x278 x277 -x276 x275 x274 -x273 -x272 -x271 x270 -x269 -x268 x267 -x266 x265 -x264 x263 x262 x261 -x260 -x259 x258 x257 x256
1800.05/1800.72 v -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 x235 x234
1800.05/1800.72 v -x233 -x232 -x231 -x230 -x229 x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 x212
1800.05/1800.72 v -x211 x210 -x209 -x208 x207 x206 x205 x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.05/1800.72 v -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 x179 x178 x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.05/1800.72 v -x167 x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 x151 -x150 -x149 x148 -x147 x146
1800.05/1800.72 v -x145 -x144 x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124
1800.05/1800.72 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 x108 -x107 x106 x105 x104 -x103 x102
1800.05/1800.72 v -x101 x100 x99 -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77
1800.05/1800.72 v -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 -x51 x50
1800.05/1800.72 v -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 -x24
1800.05/1800.72 v -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 x14 x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.72 c Solving Time : 1742.18
1800.05/1800.72 c Original Problem :
1800.05/1800.72 c Problem name : HOME/instance-2665604-1276392239.opb
1800.05/1800.72 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.05/1800.72 c Presolved Problem :
1800.05/1800.72 c Problem name : t_HOME/instance-2665604-1276392239.opb
1800.05/1800.72 c Variables : 1515 (1515 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.72 c Constraints : 2929 initial, 2929 maximal
1800.05/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c dualfix : 0.00 214 0 0 0 0 0 0 0
1800.05/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.72 c probing : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.72 c linear : 0.03 0 234 0 0 0 1071 0 0
1800.05/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.05/1800.72 c root node : - 0 - - 0 - - - -
1800.05/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.72 c logicor : 2929+ 44 4235099 0 0 112617 24485200 0 0 0
1800.05/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.72 c integral : 25.21 0.00 0.00 25.21 0.00
1800.05/1800.72 c logicor : 241.38 0.02 241.36 0.00 0.00
1800.05/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.72 c vbounds : 3.96 2 0 0
1800.05/1800.72 c rootredcost : 3.26 0 0 0
1800.05/1800.72 c pseudoobj : 999.41 7043854 1818073 32212332
1800.05/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.72 c propagation : 169.56 112617 112617 112617 258.5 0 0.0 -
1800.05/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.72 c applied globally : - - - 0 0.0 - - -
1800.05/1800.72 c applied locally : - - - 112617 258.5 - - -
1800.05/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.72 c cut pool : 0.16 43 - - 20 - (maximal pool size: 1120)
1800.05/1800.72 c redcost : 0.00 44 0 0 0 0
1800.05/1800.72 c impliedbounds : 0.04 44 0 0 0 0
1800.05/1800.72 c intobj : 0.00 0 0 0 0 0
1800.05/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.72 c gomory : 8.57 44 0 0 21236 0
1800.05/1800.72 c strongcg : 2.36 20 0 0 10000 0
1800.05/1800.72 c cmir : 0.21 10 0 0 0 0
1800.05/1800.72 c flowcover : 0.16 10 0 0 0 0
1800.05/1800.72 c clique : 0.00 44 0 0 8 0
1800.05/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.72 c mcf : 0.03 1 0 0 0 0
1800.05/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.72 c Pricers : Time Calls Vars
1800.05/1800.72 c problem variables: 0.00 0 0
1800.05/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.72 c relpscost : 25.21 1 0 0 0 0 2
1800.05/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.72 c inference : 188.91 1935181 0 0 0 0 3870362
1800.05/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.72 c random : 0.00 0 0 0 0 0 0
1800.05/1800.72 c Primal Heuristics : Time Calls Found
1800.05/1800.72 c LP solutions : 0.00 - 0
1800.05/1800.72 c pseudo solutions : 0.00 - 0
1800.05/1800.72 c crossover : 0.00 0 0
1800.05/1800.72 c oneopt : 2.32 2 1
1800.05/1800.72 c trivial : 0.01 2 3
1800.05/1800.72 c simplerounding : 0.02 45 41
1800.05/1800.72 c zirounding : 0.00 1 1
1800.05/1800.72 c rounding : 6.32 45 0
1800.05/1800.72 c shifting : 6.35 45 0
1800.05/1800.72 c intshifting : 0.00 0 0
1800.05/1800.72 c twoopt : 0.00 0 0
1800.05/1800.72 c fixandinfer : 0.00 0 0
1800.05/1800.72 c feaspump : 0.00 0 0
1800.05/1800.72 c coefdiving : 0.00 0 0
1800.05/1800.72 c pscostdiving : 0.00 0 0
1800.05/1800.72 c fracdiving : 0.00 0 0
1800.05/1800.72 c veclendiving : 0.00 0 0
1800.05/1800.72 c intdiving : 0.00 0 0
1800.05/1800.72 c actconsdiving : 0.00 0 0
1800.05/1800.72 c objpscostdiving : 0.00 0 0
1800.05/1800.72 c rootsoldiving : 0.00 0 0
1800.05/1800.72 c linesearchdiving : 0.00 0 0
1800.05/1800.72 c guideddiving : 0.00 0 0
1800.05/1800.72 c octane : 0.00 0 0
1800.05/1800.72 c rens : 0.01 0 0
1800.05/1800.72 c rins : 0.00 0 0
1800.05/1800.72 c localbranching : 0.00 0 0
1800.05/1800.72 c mutation : 0.00 0 0
1800.05/1800.72 c dins : 0.00 0 0
1800.05/1800.72 c undercover : 0.00 0 0
1800.05/1800.72 c nlp : 2.38 0 0
1800.05/1800.72 c trysol : 1.53 0 0
1800.05/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.72 c primal LP : 0.03 0 0 0.00 0.00
1800.05/1800.72 c dual LP : 44.01 45 54098 1202.18 1229.22
1800.05/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.72 c strong branching : 25.21 33 32002 969.76 1269.42
1800.05/1800.72 c (at root node) : - 33 32002 969.76 -
1800.05/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.72 c B&B Tree :
1800.05/1800.72 c number of runs : 1
1800.05/1800.72 c nodes : 3834107
1800.05/1800.72 c nodes (total) : 3834107
1800.05/1800.72 c nodes left : 253
1800.05/1800.72 c max depth : 278
1800.05/1800.72 c max depth (total): 278
1800.05/1800.72 c backtracks : 942081 (24.6%)
1800.05/1800.72 c delayed cutoffs : 36005
1800.05/1800.72 c repropagations : 55553 (1021803 domain reductions, 31765 cutoffs)
1800.05/1800.72 c avg switch length: 2.00
1800.05/1800.72 c switching time : 91.32
1800.05/1800.72 c Solution :
1800.05/1800.72 c Solutions found : 46 (3 improvements)
1800.05/1800.72 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.72 c Primal Bound : +1.15500000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.05/1800.72 c Dual Bound : +1.00500000000000e+03
1800.05/1800.72 c Gap : 14.93 %
1800.05/1800.72 c Root Dual Bound : +1.00500000000000e+03
1800.05/1800.72 c Root Iterations : 54098
1800.05/1800.76 c Time complete: 1800.1.