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-2665600-1276387166.opb>
0.00/0.08 c original problem has 1960 variables (1960 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.00/0.08 c problem read
0.00/0.08 c presolving settings loaded
0.10/0.10 o 1960
0.10/0.10 c feasible solution found by trivial heuristic, objective value 1.960000e+03
0.10/0.10 c presolving:
0.10/0.13 c (round 1) 163 del vars, 163 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.14 c (round 2) 333 del vars, 785 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.14 c (round 3) 394 del vars, 916 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.15 c (round 4) 438 del vars, 1040 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.16 c (round 5) 461 del vars, 1093 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.16 c (round 6) 476 del vars, 1130 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.17 c (round 7) 484 del vars, 1159 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.17 c (round 8) 488 del vars, 1172 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.10/0.18 c (round 9) 490 del vars, 1177 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 10) 490 del vars, 1178 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2821 upgd conss, 7996 impls, 0 clqs
0.19/0.24 c (round 11) 491 del vars, 1179 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2821 upgd conss, 7996 impls, 0 clqs
0.19/0.25 c (round 12) 492 del vars, 1183 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2821 upgd conss, 7996 impls, 0 clqs
0.19/0.28 c (0.2s) probing: 101/1468 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (13 rounds):
0.19/0.28 c 492 deleted vars, 1183 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.28 c 7996 implications, 0 cliques
0.19/0.28 c presolved problem has 1468 variables (1468 bin, 0 int, 0 impl, 0 cont) and 2817 constraints
0.19/0.28 c 2817 constraints of type <logicor>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.15
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c conflict/interconss = 0
0.19/0.28 c
0.19/0.28 c # should binary conflicts be preferred?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c conflict/preferbinary = TRUE
0.19/0.28 c
0.19/0.28 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.28 c constraints/agelimit = 1
0.19/0.28 c
0.19/0.28 c # should enforcement of pseudo solution be disabled?
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/disableenfops = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.93
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 1620
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = 0
0.19/0.28 c
0.19/0.28 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.28 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.28 c lp/pricing = a
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # priority of node selection rule <dfs> in standard mode
0.19/0.28 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.28 c nodeselection/dfs/stdpriority = 1000000
0.19/0.28 c
0.19/0.29 c -----------------------------------------------------------------------------------------------
0.19/0.29 c start solving
0.19/0.29 c
0.19/0.29 o 1706
0.19/0.29 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.29 c t 0.2s| 1 | 0 | 0 | - |5757k| 0 | - |1468 |2817 | 0 | 0 | 0 | 0 | 0 | -- | 1.706000e+03 | Inf
0.29/0.30 o 1154
0.29/0.30 c b 0.2s| 1 | 0 | 0 | - |7290k| 0 | - |1468 |2817 |1468 |2817 | 0 | 0 | 0 | -- | 1.154000e+03 | Inf
0.39/0.41 c 0.3s| 1 | 0 | 1827 | - |7266k| 0 |1468 |1468 |2817 |1468 |2817 | 0 | 0 | 0 | 9.720000e+02 | 1.154000e+03 | 18.72%
0.90/0.90 c 0.8s| 1 | 0 | 2000 | - |7371k| 0 |1447 |1468 |2817 |1468 |2831 | 14 | 0 | 0 | 9.785000e+02 | 1.154000e+03 | 17.94%
1.29/1.32 c 1.2s| 1 | 0 | 2061 | - |7397k| 0 |1443 |1468 |2817 |1468 |2833 | 16 | 0 | 0 | 9.795000e+02 | 1.154000e+03 | 17.82%
1.79/1.83 c 1.7s| 1 | 0 | 2189 | - |7425k| 0 |1442 |1468 |2817 |1468 |2834 | 17 | 0 | 0 | 9.800000e+02 | 1.154000e+03 | 17.76%
2.39/2.48 c 2.3s| 1 | 0 | 2362 | - |7457k| 0 |1440 |1468 |2817 |1468 |2838 | 21 | 0 | 0 | 9.810000e+02 | 1.154000e+03 | 17.64%
3.09/3.17 c 3.0s| 1 | 0 | 2776 | - |7494k| 0 |1448 |1468 |2817 |1468 |2840 | 23 | 0 | 0 | 9.815000e+02 | 1.154000e+03 | 17.58%
3.99/4.05 c 3.9s| 1 | 0 | 3557 | - |7804k| 0 |1438 |1468 |2817 |1468 |2846 | 29 | 0 | 0 | 9.830000e+02 | 1.154000e+03 | 17.40%
5.09/5.11 c 4.9s| 1 | 0 | 4383 | - |8083k| 0 |1436 |1468 |2817 |1468 |2850 | 33 | 0 | 0 | 9.837000e+02 | 1.154000e+03 | 17.31%
5.79/5.81 c 5.6s| 1 | 0 | 4795 | - |8254k| 0 |1422 |1468 |2817 |1468 |2853 | 36 | 0 | 0 | 9.841000e+02 | 1.154000e+03 | 17.26%
6.49/6.52 c 6.3s| 1 | 0 | 5384 | - |8312k| 0 |1437 |1468 |2817 |1468 |2857 | 40 | 0 | 0 | 9.847500e+02 | 1.154000e+03 | 17.19%
6.99/7.05 c 6.8s| 1 | 0 | 5528 | - |8493k| 0 |1433 |1468 |2817 |1468 |2860 | 43 | 0 | 0 | 9.852500e+02 | 1.154000e+03 | 17.13%
8.09/8.12 c 7.9s| 1 | 0 | 6206 | - |9183k| 0 |1437 |1468 |2817 |1468 |2864 | 47 | 0 | 0 | 9.857500e+02 | 1.154000e+03 | 17.07%
9.29/9.37 c 9.1s| 1 | 0 | 7216 | - |9890k| 0 |1431 |1468 |2817 |1468 |2869 | 52 | 0 | 0 | 9.863571e+02 | 1.154000e+03 | 17.00%
10.29/10.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.29/10.33 c 10.1s| 1 | 0 | 7727 | - | 10M| 0 |1435 |1468 |2817 |1468 |2874 | 57 | 0 | 0 | 9.868571e+02 | 1.154000e+03 | 16.94%
10.89/11.00 c 10.7s| 1 | 0 | 8139 | - | 11M| 0 |1406 |1468 |2817 |1468 |2879 | 62 | 0 | 0 | 9.875000e+02 | 1.154000e+03 | 16.86%
11.99/12.03 c 11.8s| 1 | 0 | 8572 | - | 11M| 0 |1423 |1468 |2817 |1468 |2880 | 63 | 0 | 0 | 9.878000e+02 | 1.154000e+03 | 16.83%
12.59/12.65 c 12.4s| 1 | 0 | 8956 | - | 11M| 0 |1413 |1468 |2817 |1468 |2883 | 66 | 0 | 0 | 9.878000e+02 | 1.154000e+03 | 16.83%
13.99/14.00 c 13.7s| 1 | 0 | 10254 | - | 11M| 0 |1427 |1468 |2817 |1468 |2880 | 69 | 0 | 0 | 9.880000e+02 | 1.154000e+03 | 16.80%
15.39/15.40 c 15.1s| 1 | 0 | 11334 | - | 13M| 0 |1404 |1468 |2817 |1468 |2884 | 73 | 0 | 0 | 9.885000e+02 | 1.154000e+03 | 16.74%
16.29/16.33 c 16.0s| 1 | 0 | 12195 | - | 13M| 0 |1416 |1468 |2817 |1468 |2887 | 76 | 0 | 0 | 9.895000e+02 | 1.154000e+03 | 16.62%
17.89/17.92 c 17.6s| 1 | 0 | 13579 | - | 13M| 0 |1432 |1468 |2817 |1468 |2892 | 81 | 0 | 0 | 9.900000e+02 | 1.154000e+03 | 16.57%
19.19/19.23 c 18.9s| 1 | 0 | 14771 | - | 14M| 0 |1421 |1468 |2817 |1468 |2895 | 84 | 0 | 0 | 9.900000e+02 | 1.154000e+03 | 16.57%
20.58/20.68 c 20.3s| 1 | 0 | 15806 | - | 14M| 0 |1423 |1468 |2817 |1468 |2900 | 89 | 0 | 0 | 9.900000e+02 | 1.154000e+03 | 16.57%
23.58/23.60 c 23.2s| 1 | 0 | 17457 | - | 14M| 0 |1414 |1468 |2817 |1468 |2891 | 92 | 0 | 0 | 9.905000e+02 | 1.154000e+03 | 16.51%
24.68/24.77 c 24.3s| 1 | 0 | 18451 | - | 14M| 0 |1419 |1468 |2817 |1468 |2893 | 94 | 0 | 0 | 9.905000e+02 | 1.154000e+03 | 16.51%
26.39/26.41 c 26.0s| 1 | 0 | 19807 | - | 14M| 0 |1426 |1468 |2817 |1468 |2895 | 96 | 0 | 0 | 9.905000e+02 | 1.154000e+03 | 16.51%
28.18/28.25 c 27.8s| 1 | 0 | 21272 | - | 14M| 0 |1421 |1468 |2817 |1468 |2901 | 102 | 0 | 0 | 9.905000e+02 | 1.154000e+03 | 16.51%
30.08/30.15 c 29.7s| 1 | 0 | 22797 | - | 15M| 0 |1419 |1468 |2817 |1468 |2906 | 107 | 0 | 0 | 9.915000e+02 | 1.154000e+03 | 16.39%
31.99/32.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.99/32.06 c 31.6s| 1 | 0 | 24302 | - | 15M| 0 |1396 |1468 |2817 |1468 |2910 | 111 | 0 | 0 | 9.920000e+02 | 1.154000e+03 | 16.33%
33.98/34.00 c 33.5s| 1 | 0 | 25364 | - | 16M| 0 |1416 |1468 |2817 |1468 |2900 | 114 | 0 | 0 | 9.920000e+02 | 1.154000e+03 | 16.33%
35.59/35.67 c 35.1s| 1 | 0 | 27004 | - | 16M| 0 |1391 |1468 |2817 |1468 |2908 | 122 | 0 | 0 | 9.935000e+02 | 1.154000e+03 | 16.16%
37.39/37.49 c 36.9s| 1 | 0 | 28512 | - | 17M| 0 |1382 |1468 |2817 |1468 |2911 | 125 | 0 | 0 | 9.940000e+02 | 1.154000e+03 | 16.10%
39.38/39.49 c 38.9s| 1 | 0 | 30288 | - | 17M| 0 |1412 |1468 |2817 |1468 |2916 | 130 | 0 | 0 | 9.945000e+02 | 1.154000e+03 | 16.04%
41.48/41.51 c 40.9s| 1 | 0 | 31877 | - | 18M| 0 |1426 |1468 |2817 |1468 |2921 | 135 | 0 | 0 | 9.950000e+02 | 1.154000e+03 | 15.98%
44.28/44.36 c 43.7s| 1 | 0 | 34343 | - | 18M| 0 |1389 |1468 |2817 |1468 |2927 | 141 | 0 | 0 | 9.960000e+02 | 1.154000e+03 | 15.86%
47.29/47.30 c 46.6s| 1 | 0 | 36707 | - | 18M| 0 |1377 |1468 |2817 |1468 |2917 | 144 | 0 | 0 | 9.965000e+02 | 1.154000e+03 | 15.81%
49.18/49.28 c 48.6s| 1 | 0 | 38449 | - | 18M| 0 |1385 |1468 |2817 |1468 |2924 | 151 | 0 | 0 | 9.970000e+02 | 1.154000e+03 | 15.75%
51.08/51.16 c 50.4s| 1 | 0 | 40027 | - | 19M| 0 |1396 |1468 |2817 |1468 |2927 | 154 | 0 | 0 | 9.970000e+02 | 1.154000e+03 | 15.75%
53.88/53.91 c 53.1s| 1 | 0 | 41974 | - | 20M| 0 |1371 |1468 |2817 |1468 |2935 | 162 | 0 | 0 | 9.975000e+02 | 1.154000e+03 | 15.69%
56.28/56.36 c 55.5s| 1 | 0 | 44075 | - | 20M| 0 |1395 |1468 |2817 |1468 |2944 | 171 | 0 | 0 | 9.985000e+02 | 1.154000e+03 | 15.57%
57.58/57.66 c 56.8s| 1 | 0 | 45070 | - | 21M| 0 |1403 |1468 |2817 |1468 |2947 | 174 | 0 | 0 | 9.990000e+02 | 1.154000e+03 | 15.52%
60.68/60.77 c 59.9s| 1 | 0 | 47492 | - | 21M| 0 |1450 |1468 |2817 |1468 |2935 | 178 | 0 | 0 | 9.991667e+02 | 1.154000e+03 | 15.50%
63.27/63.39 c 62.5s| 1 | 0 | 49775 | - | 22M| 0 |1438 |1468 |2817 |1468 |2939 | 182 | 0 | 0 | 9.998750e+02 | 1.154000e+03 | 15.41%
65.87/65.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.87/65.92 c 65.0s| 1 | 0 | 52193 | - | 22M| 0 |1407 |1468 |2817 |1468 |2944 | 187 | 0 | 0 | 1.000400e+03 | 1.154000e+03 | 15.35%
67.48/67.53 c 66.6s| 1 | 0 | 53541 | - | 22M| 0 |1443 |1468 |2817 |1468 |2947 | 190 | 0 | 0 | 1.000500e+03 | 1.154000e+03 | 15.34%
70.17/70.25 c 69.3s| 1 | 0 | 55528 | - | 22M| 0 |1357 |1468 |2817 |1468 |2954 | 197 | 0 | 0 | 1.001000e+03 | 1.154000e+03 | 15.28%
72.27/72.39 c 71.4s| 1 | 0 | 57406 | - | 22M| 0 |1379 |1468 |2817 |1468 |2959 | 202 | 0 | 0 | 1.001000e+03 | 1.154000e+03 | 15.28%
74.78/74.87 c 73.8s| 1 | 0 | 59528 | - | 23M| 0 |1387 |1468 |2817 |1468 |2944 | 207 | 0 | 0 | 1.001000e+03 | 1.154000e+03 | 15.28%
77.67/77.73 c 76.6s| 1 | 0 | 61597 | - | 24M| 0 |1360 |1468 |2817 |1468 |2947 | 210 | 0 | 0 | 1.001000e+03 | 1.154000e+03 | 15.28%
79.97/80.05 c 78.9s| 1 | 0 | 63639 | - | 24M| 0 |1392 |1468 |2817 |1468 |2953 | 216 | 0 | 0 | 1.001250e+03 | 1.154000e+03 | 15.26%
82.47/82.54 c 81.4s| 1 | 0 | 65625 | - | 25M| 0 |1409 |1468 |2817 |1468 |2962 | 225 | 0 | 0 | 1.003000e+03 | 1.154000e+03 | 15.05%
84.27/84.39 c 83.2s| 1 | 0 | 67021 | - | 25M| 0 |1410 |1468 |2817 |1468 |2969 | 232 | 0 | 0 | 1.003000e+03 | 1.154000e+03 | 15.05%
86.88/86.94 c 85.7s| 1 | 0 | 68854 | - | 25M| 0 |1394 |1468 |2817 |1468 |2974 | 237 | 0 | 0 | 1.003000e+03 | 1.154000e+03 | 15.05%
89.37/89.44 c 88.2s| 1 | 0 | 71217 | - | 25M| 0 |1446 |1468 |2817 |1468 |2954 | 239 | 0 | 0 | 1.003353e+03 | 1.154000e+03 | 15.01%
92.27/92.40 c 91.1s| 1 | 0 | 73861 | - | 28M| 0 |1450 |1468 |2817 |1468 |2959 | 244 | 0 | 0 | 1.003677e+03 | 1.154000e+03 | 14.98%
94.77/94.85 c 93.5s| 1 | 0 | 75746 | - | 29M| 0 |1377 |1468 |2817 |1468 |2962 | 247 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
96.45/96.52 c 95.2s| 1 | 0 | 77063 | - | 29M| 0 |1350 |1468 |2817 |1468 |2969 | 254 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
99.25/99.35 c 98.0s| 1 | 0 | 79276 | - | 29M| 0 |1358 |1468 |2817 |1468 |2973 | 258 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
101.65/101.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.65/101.70 c 100s| 1 | 0 | 81207 | - | 29M| 0 |1417 |1468 |2817 |1468 |2974 | 259 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
103.75/103.85 c 102s| 1 | 0 | 82994 | - | 29M| 0 |1445 |1468 |2817 |1468 |2957 | 262 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
106.35/106.48 c 105s| 1 | 0 | 84705 | - | 30M| 0 |1389 |1468 |2817 |1468 |2962 | 267 | 0 | 0 | 1.004000e+03 | 1.154000e+03 | 14.94%
138.04/138.14 c 136s| 1 | 2 | 84705 | - | 30M| 0 |1389 |1468 |2817 |1468 |2962 | 267 | 0 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
142.14/142.20 c 140s| 10000 | 260 | 84705 | 0.0 | 30M| 273 | - |1468 |2817 | 0 | 0 | 267 | 284 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
145.94/146.07 c 144s| 20000 | 261 | 84705 | 0.0 | 30M| 274 | - |1468 |2817 | 0 | 0 | 267 | 411 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
149.84/149.93 c 148s| 30000 | 257 | 84705 | 0.0 | 30M| 274 | - |1468 |2817 | 0 | 0 | 267 | 506 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
153.64/153.75 c 151s| 40000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 | 597 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
157.54/157.61 c 155s| 50000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 | 700 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
161.33/161.45 c 159s| 60000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 | 828 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
165.24/165.31 c 162s| 70000 | 262 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 | 955 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
169.03/169.14 c 166s| 80000 | 262 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1063 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
172.83/172.94 c 170s| 90000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1162 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
176.63/176.71 c 173s|100000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1245 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
180.53/180.62 c 177s|110000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1375 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
184.43/184.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.43/184.51 c 181s|120000 | 254 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1506 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
188.33/188.41 c 185s|130000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1647 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
192.13/192.21 c 188s|140000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1739 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
195.92/196.05 c 192s|150000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1838 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
199.73/199.85 c 196s|160000 | 260 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |1929 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
203.53/203.66 c 199s|170000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2038 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
207.42/207.51 c 203s|180000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2153 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
211.23/211.39 c 207s|190000 | 260 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2257 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
215.12/215.23 c 211s|200000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2360 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
218.83/218.97 c 214s|210000 | 255 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2434 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
222.62/222.77 c 218s|220000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2527 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
226.53/226.64 c 222s|230000 | 259 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2623 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
230.32/230.48 c 225s|240000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2708 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
234.22/234.33 c 229s|250000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2792 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
238.11/238.22 c 233s|260000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2873 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
241.92/242.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.92/242.04 c 236s|270000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |2938 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
245.71/245.84 c 240s|280000 | 260 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |3002 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
249.51/249.61 c 244s|290000 | 258 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |3052 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
253.31/253.40 c 247s|300000 | 257 | 84705 | 0.0 | 30M| 275 | - |1468 |2817 | 0 | 0 | 267 |3140 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
257.11/257.20 c 251s|310000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3218 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
260.91/261.07 c 255s|320000 | 255 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3306 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
264.81/264.92 c 259s|330000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3374 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
268.61/268.77 c 262s|340000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3459 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
272.50/272.63 c 266s|350000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3541 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
276.30/276.46 c 270s|360000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3611 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
280.20/280.37 c 273s|370000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3713 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
284.10/284.22 c 277s|380000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3790 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
287.91/288.08 c 281s|390000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3880 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
291.80/291.94 c 285s|400000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |3964 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
295.70/295.84 c 288s|410000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4036 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
299.50/299.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.50/299.65 c 292s|420000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4123 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
303.40/303.55 c 296s|430000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4210 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
307.29/307.41 c 299s|440000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4281 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
311.10/311.26 c 303s|450000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4361 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
315.00/315.14 c 307s|460000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4432 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
318.80/318.95 c 311s|470000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4503 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
322.59/322.78 c 314s|480000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4582 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
326.49/326.68 c 318s|490000 | 261 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4663 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
330.39/330.52 c 322s|500000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4741 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
334.20/334.32 c 325s|510000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4809 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
337.99/338.18 c 329s|520000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4885 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
341.79/341.97 c 333s|530000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |4959 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
345.69/345.88 c 337s|540000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5042 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
349.59/349.77 c 340s|550000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5101 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
353.38/353.56 c 344s|560000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5151 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
357.19/357.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
357.19/357.32 c 348s|570000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5208 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
360.89/361.08 c 351s|580000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5281 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
364.78/364.98 c 355s|590000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5359 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
368.58/368.75 c 359s|600000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5415 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
372.48/372.67 c 362s|610000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5483 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
376.28/376.49 c 366s|620000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5571 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
380.28/380.40 c 370s|630000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5695 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
384.08/384.26 c 373s|640000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5784 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
387.98/388.12 c 377s|650000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5849 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
391.77/391.99 c 381s|660000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |5938 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
395.68/395.82 c 385s|670000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6026 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
399.48/399.68 c 388s|680000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6114 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
403.37/403.56 c 392s|690000 | 255 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6183 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
407.28/407.42 c 396s|700000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6282 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
411.08/411.29 c 400s|710000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6379 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
414.97/415.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
414.97/415.17 c 403s|720000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6440 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
418.77/419.00 c 407s|730000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6550 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
422.67/422.83 c 411s|740000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6642 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
426.47/426.63 c 414s|750000 | 259 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6727 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
430.37/430.50 c 418s|760000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6821 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
434.17/434.38 c 422s|770000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |6929 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
438.16/438.33 c 426s|780000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7047 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
442.07/442.25 c 429s|790000 | 260 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7165 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
445.97/446.14 c 433s|800000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7274 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
449.77/450.00 c 437s|810000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7350 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
453.76/453.92 c 441s|820000 | 255 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7432 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
457.57/457.76 c 444s|830000 | 256 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7524 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
461.46/461.65 c 448s|840000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7595 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
465.36/465.57 c 452s|850000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7701 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
469.26/469.40 c 455s|860000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7782 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
473.15/473.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
473.15/473.31 c 459s|870000 | 257 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7878 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
476.95/477.11 c 463s|880000 | 261 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |7954 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
480.86/481.00 c 467s|890000 | 254 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |8053 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
484.76/484.90 c 470s|900000 | 258 | 84705 | 0.0 | 30M| 276 | - |1468 |2817 | 0 | 0 | 267 |8155 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
488.65/488.82 c 474s|910000 | 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8261 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
492.45/492.65 c 478s|920000 | 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8360 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
496.25/496.49 c 482s|930000 | 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8440 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
500.25/500.47 c 485s|940000 | 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8607 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
504.14/504.32 c 489s|950000 | 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8720 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
508.05/508.23 c 493s|960000 | 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8832 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
511.95/512.15 c 497s|970000 | 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |8967 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
515.85/516.06 c 500s|980000 | 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9081 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
519.74/519.92 c 504s|990000 | 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9177 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
523.55/523.78 c 508s| 1000k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9263 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
527.44/527.67 c 512s| 1010k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9375 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
531.34/531.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
531.34/531.58 c 515s| 1020k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9502 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
535.24/535.49 c 519s| 1030k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9593 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
539.14/539.34 c 523s| 1040k| 262 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9675 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
543.04/543.27 c 527s| 1050k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9816 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
547.04/547.20 c 530s| 1060k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9905 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
550.83/551.09 c 534s| 1070k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 |9988 | 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
554.74/554.97 c 538s| 1080k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
558.64/558.86 c 542s| 1090k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
562.53/562.76 c 545s| 1100k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
566.44/566.68 c 549s| 1110k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
570.43/570.61 c 553s| 1120k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
574.33/574.52 c 557s| 1130k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
578.23/578.47 c 561s| 1140k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
582.23/582.40 c 564s| 1150k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
586.13/586.33 c 568s| 1160k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
590.03/590.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
590.03/590.27 c 572s| 1170k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 10k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
594.03/594.20 c 576s| 1180k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
597.93/598.13 c 579s| 1190k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
601.82/602.08 c 583s| 1200k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
605.82/606.04 c 587s| 1210k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
609.72/609.93 c 591s| 1220k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
613.63/613.86 c 595s| 1230k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
617.53/617.78 c 598s| 1240k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
621.43/621.65 c 602s| 1250k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
625.32/625.52 c 606s| 1260k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
629.03/629.30 c 609s| 1270k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
632.92/633.15 c 613s| 1280k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
636.83/637.06 c 617s| 1290k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 11k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
640.72/640.92 c 621s| 1300k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
644.52/644.76 c 624s| 1310k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
648.41/648.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.41/648.67 c 628s| 1320k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
652.22/652.44 c 632s| 1330k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
656.01/656.27 c 636s| 1340k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
659.81/660.00 c 639s| 1350k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
663.60/663.85 c 643s| 1360k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
667.40/667.67 c 646s| 1370k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
671.31/671.59 c 650s| 1380k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
675.21/675.44 c 654s| 1390k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
679.11/679.35 c 658s| 1400k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 12k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
683.01/683.29 c 662s| 1410k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
687.00/687.21 c 665s| 1420k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
690.90/691.16 c 669s| 1430k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
694.80/695.02 c 673s| 1440k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
698.70/698.98 c 677s| 1450k| 252 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
702.59/702.87 c 680s| 1460k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
706.50/706.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
706.50/706.76 c 684s| 1470k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
710.29/710.56 c 688s| 1480k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
714.10/714.34 c 691s| 1490k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
717.90/718.12 c 695s| 1500k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
721.70/721.91 c 699s| 1510k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 13k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
725.59/725.81 c 703s| 1520k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
729.29/729.59 c 706s| 1530k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
733.09/733.36 c 710s| 1540k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
736.89/737.19 c 714s| 1550k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
740.68/740.95 c 717s| 1560k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
744.50/744.72 c 721s| 1570k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
748.08/748.37 c 724s| 1580k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
751.88/752.13 c 728s| 1590k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
755.69/755.94 c 732s| 1600k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
759.48/759.70 c 735s| 1610k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
763.19/763.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.19/763.49 c 739s| 1620k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
766.98/767.24 c 742s| 1630k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
770.78/771.03 c 746s| 1640k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
774.58/774.89 c 750s| 1650k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
778.48/778.79 c 754s| 1660k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 14k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
782.38/782.64 c 757s| 1670k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
786.18/786.43 c 761s| 1680k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
789.98/790.25 c 765s| 1690k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
793.77/794.07 c 768s| 1700k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
797.67/797.90 c 772s| 1710k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
801.47/801.70 c 776s| 1720k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
805.17/805.48 c 779s| 1730k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
808.97/809.30 c 783s| 1740k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
812.78/813.06 c 787s| 1750k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
816.57/816.87 c 790s| 1760k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
820.48/820.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.48/820.71 c 794s| 1770k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
824.37/824.60 c 798s| 1780k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
828.17/828.49 c 802s| 1790k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
832.07/832.34 c 805s| 1800k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
835.87/836.12 c 809s| 1810k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 15k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
839.76/840.00 c 813s| 1820k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
843.47/843.76 c 816s| 1830k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
847.36/847.65 c 820s| 1840k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
851.27/851.52 c 824s| 1850k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
855.06/855.38 c 827s| 1860k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
858.86/859.20 c 831s| 1870k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
862.76/863.05 c 835s| 1880k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
866.56/866.81 c 838s| 1890k| 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
870.36/870.60 c 842s| 1900k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
874.15/874.41 c 846s| 1910k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
877.95/878.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.95/878.21 c 849s| 1920k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
881.65/881.99 c 853s| 1930k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
885.55/885.83 c 857s| 1940k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
889.35/889.61 c 860s| 1950k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 16k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
893.15/893.48 c 864s| 1960k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
897.05/897.31 c 868s| 1970k| 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
900.85/901.17 c 872s| 1980k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
904.64/904.99 c 875s| 1990k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
908.45/908.75 c 879s| 2000k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
912.14/912.47 c 882s| 2010k| 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
915.95/916.23 c 886s| 2020k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
919.74/920.09 c 890s| 2030k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
923.55/923.86 c 893s| 2040k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
927.34/927.63 c 897s| 2050k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
931.14/931.41 c 901s| 2060k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
934.94/935.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
934.94/935.25 c 904s| 2070k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
938.74/939.05 c 908s| 2080k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
942.55/942.82 c 912s| 2090k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 17k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
946.33/946.60 c 915s| 2100k| 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
950.14/950.44 c 919s| 2110k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
953.94/954.27 c 923s| 2120k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
957.84/958.11 c 926s| 2130k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
961.63/961.91 c 930s| 2140k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
965.44/965.76 c 934s| 2150k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
969.24/969.55 c 937s| 2160k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
973.03/973.34 c 941s| 2170k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
976.82/977.13 c 945s| 2180k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
980.63/980.95 c 948s| 2190k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
984.53/984.80 c 952s| 2200k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
988.42/988.70 c 956s| 2210k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 18k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
992.23/992.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
992.23/992.58 c 960s| 2220k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
996.13/996.43 c 963s| 2230k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
999.92/1000.25 c 967s| 2240k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1003.72/1004.07 c 971s| 2250k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1007.62/1007.92 c 974s| 2260k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1011.52/1011.81 c 978s| 2270k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1015.31/1015.61 c 982s| 2280k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1019.02/1019.35 c 985s| 2290k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1022.83/1023.20 c 989s| 2300k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1026.82/1027.11 c 993s| 2310k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1030.61/1030.96 c 997s| 2320k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1034.42/1034.75 c 1000s| 2330k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1038.32/1038.61 c 1004s| 2340k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 19k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1042.11/1042.46 c 1008s| 2350k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1045.92/1046.23 c 1011s| 2360k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1049.81/1050.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1049.81/1050.14 c 1015s| 2370k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1053.71/1054.07 c 1019s| 2380k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1057.71/1058.02 c 1023s| 2390k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1061.60/1061.91 c 1026s| 2400k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1065.51/1065.80 c 1030s| 2410k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1069.31/1069.64 c 1034s| 2420k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1073.20/1073.54 c 1038s| 2430k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1077.10/1077.40 c 1041s| 2440k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1081.01/1081.33 c 1045s| 2450k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 20k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1084.90/1085.21 c 1049s| 2460k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1088.71/1089.09 c 1053s| 2470k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1092.60/1092.96 c 1056s| 2480k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1096.50/1096.87 c 1060s| 2490k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1100.40/1100.75 c 1064s| 2500k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1104.21/1104.60 c 1068s| 2510k| 261 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1108.19/1108.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1108.19/1108.52 c 1071s| 2520k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1112.10/1112.42 c 1075s| 2530k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1115.89/1116.22 c 1079s| 2540k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1119.79/1120.14 c 1083s| 2550k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1123.69/1124.00 c 1086s| 2560k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 21k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1127.49/1127.84 c 1090s| 2570k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1131.39/1131.77 c 1094s| 2580k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1135.29/1135.60 c 1098s| 2590k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1139.09/1139.46 c 1101s| 2600k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1142.88/1143.21 c 1105s| 2610k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1146.68/1147.08 c 1109s| 2620k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1150.59/1150.93 c 1112s| 2630k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1154.38/1154.78 c 1116s| 2640k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1158.29/1158.62 c 1120s| 2650k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1162.08/1162.41 c 1123s| 2660k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1165.88/1166.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1165.88/1166.23 c 1127s| 2670k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1169.68/1170.03 c 1131s| 2680k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1173.48/1173.86 c 1134s| 2690k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 22k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1177.37/1177.76 c 1138s| 2700k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1181.28/1181.65 c 1142s| 2710k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1185.08/1185.45 c 1146s| 2720k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1188.88/1189.25 c 1149s| 2730k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1192.67/1193.07 c 1153s| 2740k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1196.48/1196.81 c 1157s| 2750k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1200.17/1200.57 c 1160s| 2760k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1204.07/1204.43 c 1164s| 2770k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1207.97/1208.33 c 1168s| 2780k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1211.88/1212.20 c 1171s| 2790k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1215.67/1216.07 c 1175s| 2800k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1219.57/1219.96 c 1179s| 2810k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 23k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1223.57/1223.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.57/1223.92 c 1183s| 2820k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1227.47/1227.84 c 1186s| 2830k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1231.27/1231.68 c 1190s| 2840k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1235.17/1235.55 c 1194s| 2850k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1239.06/1239.42 c 1198s| 2860k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1242.86/1243.29 c 1201s| 2870k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1246.76/1247.17 c 1205s| 2880k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1250.56/1250.98 c 1209s| 2890k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1254.46/1254.88 c 1213s| 2900k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1258.36/1258.72 c 1216s| 2910k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1262.15/1262.58 c 1220s| 2920k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1266.06/1266.43 c 1224s| 2930k| 259 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 24k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1269.96/1270.30 c 1227s| 2940k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1273.76/1274.16 c 1231s| 2950k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1277.55/1277.99 c 1235s| 2960k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1281.45/1281.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1281.45/1281.82 c 1238s| 2970k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1285.15/1285.58 c 1242s| 2980k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1288.96/1289.36 c 1246s| 2990k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1292.75/1293.18 c 1249s| 3000k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1296.56/1296.97 c 1253s| 3010k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1300.45/1300.80 c 1257s| 3020k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1304.25/1304.69 c 1260s| 3030k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1308.14/1308.54 c 1264s| 3040k| 260 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1312.05/1312.43 c 1268s| 3050k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1315.95/1316.30 c 1272s| 3060k| 257 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1319.64/1320.07 c 1275s| 3070k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1323.44/1323.89 c 1279s| 3080k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1327.35/1327.74 c 1283s| 3090k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1331.14/1331.56 c 1286s| 3100k| 254 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 25k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1334.93/1335.38 c 1290s| 3110k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1338.74/1339.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.74/1339.19 c 1294s| 3120k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1342.64/1343.03 c 1297s| 3130k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1346.54/1346.91 c 1301s| 3140k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1350.33/1350.76 c 1305s| 3150k| 253 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1354.13/1354.57 c 1309s| 3160k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1357.93/1358.36 c 1312s| 3170k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1361.73/1362.15 c 1316s| 3180k| 255 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1365.63/1366.06 c 1320s| 3190k| 256 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1369.53/1369.94 c 1323s| 3200k| 258 | 84705 | 0.0 | 30M| 277 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1373.22/1373.67 c 1327s| 3210k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1377.13/1377.51 c 1331s| 3220k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1380.93/1381.36 c 1334s| 3230k| 252 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1384.82/1385.24 c 1338s| 3240k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1388.62/1389.05 c 1342s| 3250k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1392.52/1392.92 c 1345s| 3260k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 26k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1396.42/1396.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1396.42/1396.82 c 1349s| 3270k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1400.32/1400.77 c 1353s| 3280k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1404.33/1404.71 c 1357s| 3290k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1408.22/1408.62 c 1361s| 3300k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1412.13/1412.52 c 1364s| 3310k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1415.91/1416.38 c 1368s| 3320k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1419.82/1420.27 c 1372s| 3330k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1423.81/1424.20 c 1376s| 3340k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1427.62/1428.07 c 1379s| 3350k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1431.51/1431.96 c 1383s| 3360k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1435.42/1435.82 c 1387s| 3370k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1439.32/1439.71 c 1391s| 3380k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1443.21/1443.61 c 1394s| 3390k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1447.01/1447.47 c 1398s| 3400k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 27k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1450.90/1451.33 c 1402s| 3410k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1454.81/1455.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1454.81/1455.21 c 1406s| 3420k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1458.61/1459.02 c 1409s| 3430k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1462.40/1462.85 c 1413s| 3440k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1466.30/1466.73 c 1417s| 3450k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1470.20/1470.64 c 1420s| 3460k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1474.11/1474.59 c 1424s| 3470k| 260 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1478.00/1478.44 c 1428s| 3480k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1481.90/1482.37 c 1432s| 3490k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1485.80/1486.26 c 1435s| 3500k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1489.70/1490.19 c 1439s| 3510k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1493.69/1494.11 c 1443s| 3520k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 28k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1497.50/1497.99 c 1447s| 3530k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1501.50/1501.90 c 1451s| 3540k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1505.29/1505.76 c 1454s| 3550k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1509.20/1509.65 c 1458s| 3560k| 253 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1513.09/1513.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1513.09/1513.56 c 1462s| 3570k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1516.99/1517.41 c 1466s| 3580k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1520.79/1521.26 c 1469s| 3590k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1524.68/1525.15 c 1473s| 3600k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1528.59/1529.02 c 1477s| 3610k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1532.49/1532.95 c 1481s| 3620k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1536.39/1536.88 c 1484s| 3630k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1540.29/1540.76 c 1488s| 3640k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1544.19/1544.65 c 1492s| 3650k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 29k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1548.08/1548.57 c 1496s| 3660k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1551.99/1552.49 c 1499s| 3670k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1555.88/1556.38 c 1503s| 3680k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1559.78/1560.28 c 1507s| 3690k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1563.68/1564.16 c 1511s| 3700k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1567.57/1568.06 c 1514s| 3710k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1571.37/1571.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.37/1571.84 c 1518s| 3720k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1575.28/1575.75 c 1522s| 3730k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1579.08/1579.60 c 1526s| 3740k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1582.97/1583.45 c 1529s| 3750k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1586.77/1587.25 c 1533s| 3760k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1590.57/1591.09 c 1537s| 3770k| 253 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1594.47/1594.96 c 1540s| 3780k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1598.37/1598.88 c 1544s| 3790k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 30k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1602.27/1602.75 c 1548s| 3800k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1606.17/1606.62 c 1552s| 3810k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1610.07/1610.52 c 1555s| 3820k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1613.86/1614.37 c 1559s| 3830k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1617.67/1618.18 c 1563s| 3840k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1621.46/1621.97 c 1566s| 3850k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1625.26/1625.80 c 1570s| 3860k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1629.26/1629.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1629.26/1629.72 c 1574s| 3870k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1633.17/1633.64 c 1578s| 3880k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1637.06/1637.50 c 1581s| 3890k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1640.86/1641.39 c 1585s| 3900k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1644.76/1645.21 c 1589s| 3910k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 31k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1648.56/1649.05 c 1593s| 3920k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1652.35/1652.88 c 1596s| 3930k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1656.26/1656.77 c 1600s| 3940k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1660.15/1660.64 c 1604s| 3950k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1663.96/1664.48 c 1607s| 3960k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1667.85/1668.38 c 1611s| 3970k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1671.75/1672.22 c 1615s| 3980k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1675.65/1676.12 c 1619s| 3990k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1679.45/1679.96 c 1622s| 4000k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1683.34/1683.84 c 1626s| 4010k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1687.14/1687.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.14/1687.69 c 1630s| 4020k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 32k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1691.14/1691.61 c 1634s| 4030k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1695.04/1695.52 c 1637s| 4040k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1698.94/1699.44 c 1641s| 4050k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1702.84/1703.39 c 1645s| 4060k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1706.75/1707.25 c 1649s| 4070k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1710.64/1711.17 c 1652s| 4080k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1714.64/1715.10 c 1656s| 4090k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1718.44/1718.94 c 1660s| 4100k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1722.34/1722.83 c 1664s| 4110k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1726.23/1726.76 c 1667s| 4120k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1730.14/1730.64 c 1671s| 4130k| 260 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1733.94/1734.45 c 1675s| 4140k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 33k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1737.84/1738.32 c 1679s| 4150k| 253 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1741.53/1742.08 c 1682s| 4160k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1745.43/1745.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.43/1745.96 c 1686s| 4170k| 258 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1749.33/1749.88 c 1690s| 4180k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1753.33/1753.81 c 1693s| 4190k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1757.13/1757.68 c 1697s| 4200k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1761.03/1761.57 c 1701s| 4210k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1765.04/1765.51 c 1705s| 4220k| 259 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1768.82/1769.37 c 1708s| 4230k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1772.73/1773.26 c 1712s| 4240k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1776.62/1777.10 c 1716s| 4250k| 257 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1780.43/1780.95 c 1720s| 4260k| 254 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1784.33/1784.81 c 1723s| 4270k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1788.13/1788.67 c 1727s| 4280k| 256 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 34k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1792.12/1792.61 c 1731s| 4290k| 255 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 35k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1795.93/1796.45 c 1735s| 4300k| 252 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 35k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1799.82/1800.34 c 1738s| 4310k| 260 | 84705 | 0.0 | 30M| 278 | - |1468 |2817 | 0 | 0 | 267 | 35k| 33 | 1.004000e+03 | 1.154000e+03 | 14.94%
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1738.46
1800.03/1800.50 c Solving Nodes : 4310435
1800.03/1800.50 c Primal Bound : +1.15400000000000e+03 (60 solutions)
1800.03/1800.50 c Dual Bound : +1.00400000000000e+03
1800.03/1800.50 c Gap : 14.94 %
1800.03/1800.51 s SATISFIABLE
1800.03/1800.51 v x1960 x1959 -x1958 -x1957 -x1956 -x1955 x1954 x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945 x1944 x1943 -x1942 x1941
1800.03/1800.51 v -x1940 -x1939 -x1938 -x1937 x1936 x1935 -x1934 x1933 x1932 x1931 x1930 x1929 x1928 -x1927 x1926 x1925 -x1924 -x1923 -x1922
1800.03/1800.51 v -x1921 x1920 x1919 x1918 -x1917 x1916 x1915 -x1914 x1913 -x1912 x1911 -x1910 x1909 -x1908 x1907 -x1906 -x1905 -x1904 -x1903
1800.03/1800.51 v -x1902 -x1901 x1900 x1899 -x1898 x1897 x1896 x1895 -x1894 -x1893 -x1892 x1891 x1890 x1889 -x1888 x1887 x1886 x1885 x1884 -x1883
1800.03/1800.51 v x1882 x1881 x1880 -x1879 -x1878 x1877 x1876 x1875 -x1874 -x1873 -x1872 x1871 x1870 -x1869 x1868 x1867 x1866 x1865 -x1864
1800.03/1800.51 v x1863 x1862 -x1861 x1860 -x1859 x1858 x1857 -x1856 x1855 x1854 x1853 -x1852 x1851 x1850 -x1849 -x1848 -x1847 x1846 -x1845 x1844
1800.03/1800.51 v -x1843 x1842 -x1841 x1840 x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 x1832 -x1831 x1830 x1829 x1828 x1827 x1826 -x1825 -x1824
1800.03/1800.51 v x1823 -x1822 -x1821 x1820 x1819 x1818 -x1817 x1816 x1815 x1814 x1813 x1812 -x1811 x1810 x1809 -x1808 x1807 x1806 x1805 x1804
1800.03/1800.51 v x1803 x1802 -x1801 -x1800 x1799 x1798 -x1797 -x1796 -x1795 x1794 -x1793 x1792 -x1791 x1790 x1789 x1788 x1787 -x1786 x1785
1800.03/1800.51 v -x1784 -x1783 x1782 x1781 -x1780 -x1779 x1778 -x1777 x1776 x1775 -x1774 x1773 -x1772 x1771 x1770 -x1769 x1768 x1767 -x1766
1800.03/1800.51 v x1765 -x1764 x1763 x1762 -x1761 -x1760 x1759 x1758 -x1757 x1756 x1755 x1754 x1753 -x1752 x1751 -x1750 x1749 -x1748 -x1747 x1746
1800.03/1800.51 v x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739 x1738 x1737 x1736 x1735 x1734 -x1733 x1732 x1731 x1730 x1729 x1728 -x1727 x1726
1800.03/1800.51 v -x1725 x1724 x1723 x1722 x1721 x1720 -x1719 x1718 -x1717 x1716 x1715 x1714 x1713 -x1712 x1711 -x1710 -x1709 x1708 -x1707
1800.03/1800.51 v -x1706 x1705 x1704 x1703 x1702 -x1701 x1700 -x1699 -x1698 x1697 x1696 -x1695 x1694 -x1693 x1692 x1691 -x1690 -x1689 -x1688 x1687
1800.03/1800.51 v -x1686 -x1685 x1684 x1683 x1682 x1681 -x1680 -x1679 -x1678 x1677 -x1676 x1675 x1674 -x1673 -x1672 -x1671 x1670 x1669 -x1668
1800.03/1800.51 v -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 x1653 x1652 x1651 -x1650
1800.03/1800.51 v x1649 -x1648 x1647 x1646 x1645 x1644 x1643 x1642 x1641 -x1640 -x1639 -x1638 x1637 -x1636 x1635 -x1634 -x1633 -x1632 -x1631 -x1630
1800.03/1800.51 v x1629 x1628 x1627 x1626 -x1625 x1624 -x1623 x1622 x1621 -x1620 x1619 x1618 x1617 x1616 x1615 -x1614 x1613 -x1612 -x1611
1800.03/1800.51 v -x1610 -x1609 -x1608 -x1607 -x1606 x1605 x1604 -x1603 x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595 -x1594 x1593 -x1592
1800.03/1800.51 v x1591 -x1590 x1589 x1588 x1587 -x1586 -x1585 x1584 x1583 x1582 -x1581 x1580 x1579 x1578 -x1577 x1576 -x1575 -x1574 x1573
1800.03/1800.51 v -x1572 x1571 x1570 x1569 x1568 -x1567 x1566 -x1565 -x1564 x1563 x1562 x1561 -x1560 x1559 x1558 -x1557 x1556 -x1555 -x1554 x1553
1800.03/1800.51 v x1552 x1551 -x1550 x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543 -x1542 -x1541 -x1540 x1539 x1538 x1537 x1536 x1535 x1534
1800.03/1800.51 v x1533 -x1532 -x1531 x1530 -x1529 x1528 x1527 x1526 x1525 -x1524 -x1523 x1522 -x1521 -x1520 x1519 x1518 -x1517 x1516 x1515 -x1514
1800.03/1800.51 v -x1513 x1512 x1511 x1510 x1509 -x1508 -x1507 x1506 x1505 x1504 -x1503 x1502 x1501 x1500 x1499 -x1498 x1497 x1496 x1495 x1494
1800.03/1800.51 v -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 x1487 x1486 -x1485 x1484 -x1483 x1482 x1481 x1480 x1479 x1478 x1477 -x1476 x1475
1800.03/1800.51 v -x1474 x1473 x1472 -x1471 -x1470 x1469 -x1468 x1467 -x1466 x1465 -x1464 -x1463 x1462 x1461 x1460 x1459 x1458 -x1457 x1456 x1455
1800.03/1800.51 v -x1454 x1453 x1452 x1451 x1450 x1449 x1448 x1447 x1446 -x1445 x1444 x1443 x1442 -x1441 x1440 x1439 x1438 x1437 x1436 -x1435
1800.03/1800.51 v x1434 x1433 x1432 x1431 x1430 x1429 x1428 -x1427 x1426 -x1425 x1424 x1423 x1422 x1421 x1420 x1419 x1418 x1417 x1416 -x1415
1800.03/1800.51 v x1414 x1413 -x1412 -x1411 x1410 -x1409 x1408 -x1407 x1406 x1405 x1404 x1403 x1402 -x1401 x1400 x1399 x1398 x1397 x1396 x1395
1800.03/1800.51 v -x1394 -x1393 x1392 x1391 x1390 x1389 x1388 -x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 x1379 x1378 x1377 x1376 -x1375
1800.03/1800.51 v x1374 x1373 x1372 x1371 x1370 x1369 x1368 x1367 -x1366 -x1365 x1364 x1363 x1362 x1361 x1360 -x1359 x1358 x1357 x1356 x1355
1800.03/1800.51 v x1354 x1353 x1352 x1351 x1350 x1349 -x1348 x1347 x1346 x1345 -x1344 x1343 x1342 x1341 x1340 x1339 -x1338 x1337 x1336 x1335 x1334
1800.03/1800.51 v x1333 x1332 x1331 x1330 x1329 -x1328 -x1327 x1326 x1325 -x1324 x1323 x1322 -x1321 x1320 -x1319 x1318 x1317 x1316 x1315 x1314
1800.03/1800.51 v x1313 -x1312 x1311 x1310 x1309 -x1308 x1307 -x1306 x1305 x1304 -x1303 x1302 -x1301 x1300 x1299 -x1298 x1297 -x1296 -x1295
1800.03/1800.51 v x1294 x1293 x1292 x1291 x1290 x1289 -x1288 x1287 -x1286 x1285 x1284 x1283 x1282 x1281 x1280 x1279 x1278 -x1277 x1276 x1275 x1274
1800.03/1800.51 v x1273 x1272 x1271 x1270 -x1269 x1268 -x1267 x1266 x1265 x1264 x1263 x1262 -x1261 x1260 x1259 -x1258 x1257 x1256 x1255 -x1254
1800.03/1800.51 v x1253 -x1252 x1251 x1250 x1249 x1248 x1247 x1246 x1245 x1244 -x1243 x1242 x1241 -x1240 x1239 x1238 -x1237 x1236 x1235 -x1234
1800.03/1800.51 v -x1233 x1232 x1231 -x1230 x1229 -x1228 x1227 x1226 x1225 x1224 -x1223 x1222 x1221 -x1220 x1219 -x1218 x1217 x1216 -x1215
1800.03/1800.51 v x1214 -x1213 -x1212 -x1211 x1210 -x1209 x1208 x1207 -x1206 x1205 x1204 x1203 x1202 x1201 -x1200 x1199 x1198 x1197 x1196 -x1195
1800.03/1800.51 v x1194 x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 x1186 x1185 x1184 x1183 x1182 x1181 x1180 x1179 x1178 x1177 x1176 x1175
1800.03/1800.51 v x1174 x1173 -x1172 x1171 x1170 x1169 x1168 x1167 x1166 -x1165 x1164 x1163 -x1162 x1161 x1160 x1159 x1158 x1157 x1156 x1155 -x1154
1800.03/1800.51 v x1153 x1152 x1151 x1150 -x1149 -x1148 x1147 x1146 x1145 -x1144 x1143 x1142 x1141 -x1140 -x1139 x1138 x1137 x1136 -x1135
1800.03/1800.51 v -x1134 x1133 x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 x1124 x1123 x1122 x1121 -x1120 x1119 x1118 -x1117 x1116 x1115
1800.03/1800.51 v x1114 -x1113 x1112 -x1111 x1110 x1109 x1108 -x1107 -x1106 x1105 x1104 x1103 x1102 -x1101 x1100 x1099 x1098 -x1097 x1096 x1095
1800.03/1800.51 v -x1094 -x1093 -x1092 x1091 x1090 x1089 x1088 x1087 -x1086 -x1085 x1084 x1083 -x1082 x1081 x1080 x1079 -x1078 x1077 x1076 x1075
1800.03/1800.51 v x1074 -x1073 x1072 x1071 x1070 -x1069 x1068 -x1067 x1066 -x1065 x1064 -x1063 x1062 x1061 x1060 x1059 x1058 -x1057 x1056 x1055
1800.03/1800.51 v x1054 x1053 -x1052 x1051 x1050 x1049 -x1048 x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 -x1039 x1038 -x1037 x1036 x1035
1800.03/1800.51 v -x1034 x1033 x1032 x1031 x1030 -x1029 x1028 x1027 x1026 x1025 x1024 -x1023 x1022 -x1021 -x1020 -x1019 x1018 x1017 -x1016
1800.03/1800.51 v -x1015 x1014 x1013 x1012 x1011 x1010 -x1009 x1008 x1007 x1006 -x1005 -x1004 x1003 x1002 -x1001 x1000 x999 x998 x997 -x996 -x995
1800.03/1800.51 v -x994 x993 -x992 x991 x990 x989 -x988 x987 x986 x985 -x984 -x983 -x982 x981 x980 -x979 x978 -x977 x976 -x975 x974 x973 -x972
1800.03/1800.51 v -x971 x970 x969 x968 x967 -x966 x965 x964 -x963 x962 x961 x960 x959 x958 x957 -x956 x955 x954 x953 -x952 x951 x950 x949 x948
1800.03/1800.51 v x947 x946 -x945 x944 -x943 x942 x941 x940 x939 x938 x937 -x936 -x935 -x934 x933 x932 x931 x930 x929 x928 -x927 x926 x925 x924
1800.03/1800.51 v x923 x922 -x921 x920 x919 x918 x917 -x916 x915 x914 x913 x912 -x911 -x910 x909 -x908 x907 -x906 x905 x904 x903 -x902 x901
1800.03/1800.51 v x900 x899 x898 -x897 x896 x895 -x894 -x893 -x892 x891 -x890 x889 x888 x887 x886 x885 x884 x883 x882 x881 x880 x879 -x878 x877
1800.03/1800.51 v x876 -x875 x874 x873 x872 x871 x870 -x869 -x868 x867 -x866 x865 x864 x863 x862 x861 x860 x859 -x858 x857 -x856 -x855 x854 x853
1800.03/1800.51 v x852 -x851 x850 x849 x848 x847 -x846 -x845 x844 x843 -x842 x841 x840 x839 -x838 x837 -x836 x835 -x834 -x833 -x832 x831 x830
1800.03/1800.51 v -x829 x828 -x827 x826 x825 x824 -x823 -x822 x821 -x820 x819 x818 x817 x816 x815 x814 x813 -x812 x811 x810 -x809 -x808 x807
1800.03/1800.51 v x806 x805 -x804 -x803 x802 x801 x800 x799 x798 -x797 x796 -x795 x794 -x793 -x792 x791 x790 x789 -x788 -x787 -x786 x785 x784
1800.03/1800.51 v x783 x782 x781 -x780 x779 x778 x777 -x776 -x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 -x764 x763 x762 x761 -x760
1800.03/1800.51 v x759 -x758 -x757 -x756 x755 -x754 x753 -x752 -x751 x750 -x749 x748 -x747 x746 -x745 -x744 x743 x742 -x741 x740 x739 x738 x737
1800.03/1800.51 v x736 -x735 x734 x733 x732 -x731 -x730 -x729 x728 x727 x726 x725 x724 -x723 x722 x721 x720 x719 x718 x717 x716 x715 -x714 -x713
1800.03/1800.51 v x712 -x711 -x710 x709 x708 -x707 -x706 x705 x704 -x703 x702 -x701 -x700 x699 x698 x697 -x696 x695 x694 -x693 x692 x691 x690
1800.03/1800.51 v -x689 x688 x687 x686 x685 -x684 x683 x682 x681 x680 x679 -x678 x677 -x676 x675 x674 x673 x672 x671 -x670 x669 x668 x667 x666
1800.03/1800.51 v -x665 x664 x663 x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 x651 -x650 -x649 x648 x647 x646 x645 -x644 -x643 x642
1800.03/1800.51 v -x641 x640 -x639 x638 x637 x636 x635 -x634 x633 -x632 -x631 x630 x629 x628 x627 x626 x625 x624 x623 -x622 -x621 x620 x619 x618
1800.03/1800.51 v -x617 x616 -x615 x614 x613 -x612 -x611 -x610 x609 x608 x607 x606 x605 x604 -x603 -x602 x601 -x600 x599 -x598 -x597 -x596
1800.03/1800.51 v -x595 x594 x593 -x592 x591 x590 x589 x588 -x587 x586 -x585 x584 x583 -x582 x581 -x580 x579 -x578 x577 -x576 -x575 -x574 -x573
1800.03/1800.51 v x572 x571 x570 -x569 x568 x567 x566 x565 x564 x563 -x562 x561 x560 x559 -x558 -x557 x556 x555 -x554 -x553 x552 x551 x550 -x549
1800.03/1800.51 v x548 -x547 x546 x545 -x544 x543 x542 x541 -x540 x539 -x538 x537 -x536 x535 x534 -x533 -x532 x531 x530 x529 -x528 x527 x526
1800.03/1800.51 v x525 x524 x523 x522 -x521 x520 x519 x518 x517 -x516 x515 -x514 x513 -x512 x511 x510 -x509 x508 -x507 x506 -x505 -x504 -x503
1800.03/1800.51 v x502 -x501 x500 -x499 x498 x497 x496 -x495 x494 -x493 -x492 -x491 x490 x489 x488 x487 -x486 x485 x484 x483 -x482 x481 x480 x479
1800.03/1800.51 v -x478 x477 x476 x475 -x474 x473 -x472 x471 -x470 x469 -x468 -x467 -x466 x465 -x464 x463 -x462 x461 x460 -x459 x458 -x457 -x456
1800.03/1800.51 v -x455 -x454 x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 x443 x442 x441 x440 x439 x438 x437 x436 -x435 x434
1800.03/1800.51 v x433 -x432 -x431 x430 x429 x428 -x427 x426 -x425 -x424 x423 -x422 x421 -x420 -x419 x418 x417 -x416 -x415 x414 -x413 -x412 -x411
1800.03/1800.51 v x410 -x409 -x408 x407 -x406 -x405 -x404 x403 x402 -x401 -x400 x399 x398 x397 -x396 -x395 -x394 x393 -x392 -x391 x390 -x389
1800.03/1800.51 v x388 x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 x378 -x377 -x376 x375 x374 -x373 -x372 -x371 x370 x369 x368 x367 -x366
1800.03/1800.51 v -x365 x364 x363 x362 -x361 -x360 x359 -x358 x357 x356 x355 x354 -x353 -x352 -x351 -x350 x349 x348 -x347 x346 x345 x344 x343
1800.03/1800.51 v x342 -x341 -x340 x339 -x338 x337 x336 x335 -x334 -x333 -x332 -x331 x330 -x329 x328 -x327 -x326 x325 -x324 x323 x322 x321 -x320
1800.03/1800.51 v -x319 x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 x307 x306 -x305 -x304 -x303 -x302 x301 -x300 x299 -x298
1800.03/1800.51 v -x297 x296 -x295 x294 -x293 -x292 x291 -x290 x289 -x288 x287 -x286 x285 x284 x283 x282 -x281 x280 -x279 -x278 -x277 x276
1800.03/1800.51 v -x275 -x274 -x273 -x272 x271 -x270 -x269 x268 x267 -x266 x265 -x264 x263 -x262 -x261 -x260 x259 x258 -x257 x256 -x255 -x254
1800.03/1800.51 v x253 -x252 -x251 x250 -x249 x248 -x247 -x246 -x245 x244 -x243 -x242 -x241 x240 -x239 x238 x237 -x236 -x235 -x234 -x233 -x232
1800.03/1800.51 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 x220 -x219 x218 x217 -x216 x215 x214 -x213 x212 x211 x210 -x209
1800.03/1800.51 v x208 x207 x206 -x205 -x204 x203 -x202 x201 -x200 x199 -x198 -x197 -x196 -x195 x194 x193 -x192 x191 -x190 -x189 -x188 x187
1800.03/1800.51 v x186 x185 -x184 -x183 x182 -x181 x180 -x179 x178 x177 -x176 x175 -x174 x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164
1800.03/1800.51 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
1800.03/1800.51 v -x142 -x141 x140 -x139 -x138 x137 x136 x135 x134 -x133 -x132 x131 -x130 -x129 x128 x127 -x126 -x125 -x124 x123 -x122 x121
1800.03/1800.51 v -x120 -x119 -x118 x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.03/1800.51 v -x99 x98 -x97 -x96 -x95 x94 x93 -x92 -x91 -x90 x89 x88 -x87 -x86 -x85 -x84 x83 -x82 x81 -x80 x79 -x78 -x77 -x76 -x75 -x74 x73
1800.03/1800.51 v -x72 x71 x70 -x69 -x68 -x67 x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 x54 -x53 x52 x51 -x50 x49 -x48 -x47 -x46
1800.03/1800.51 v x45 -x44 -x43 -x42 x41 x40 x39 -x38 -x37 x36 -x35 x34 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.03/1800.51 v -x19 -x18 -x17 -x16 -x15 x14 -x13 -x12 x11 -x10 -x9 -x8 x7 -x6 x5 -x4 -x3 -x2 -x1
1800.03/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.51 c Solving Time : 1738.46
1800.03/1800.51 c Original Problem :
1800.03/1800.51 c Problem name : HOME/instance-2665600-1276387166.opb
1800.03/1800.51 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 4000 initial, 4000 maximal
1800.03/1800.51 c Presolved Problem :
1800.03/1800.51 c Problem name : t_HOME/instance-2665600-1276387166.opb
1800.03/1800.51 c Variables : 1468 (1468 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.51 c Constraints : 2817 initial, 2817 maximal
1800.03/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c dualfix : 0.00 233 0 0 0 0 0 0 0
1800.03/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.51 c probing : 0.02 0 0 0 0 0 0 0 0
1800.03/1800.51 c linear : 0.06 0 259 0 0 0 1179 0 0
1800.03/1800.51 c logicor : 0.05 0 0 0 0 0 4 0 0
1800.03/1800.51 c root node : - 0 - - 0 - - - -
1800.03/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c integral : 0 0 0 1 0 0 0 0 0 2
1800.03/1800.51 c logicor : 2817+ 60 4640225 0 0 35185 25205571 0 0 0
1800.03/1800.51 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.51 c integral : 30.98 0.00 0.00 30.98 0.00
1800.03/1800.51 c logicor : 122.01 0.02 121.99 0.00 0.00
1800.03/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.51 c vbounds : 4.62 2 0 0
1800.03/1800.51 c rootredcost : 3.39 0 0 0
1800.03/1800.51 c pseudoobj : 1064.42 7880295 2123692 35960667
1800.03/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.51 c propagation : 52.07 35185 35185 35185 254.9 0 0.0 -
1800.03/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.51 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.51 c applied globally : - - - 0 0.0 - - -
1800.03/1800.51 c applied locally : - - - 35185 254.9 - - -
1800.03/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.51 c cut pool : 0.21 59 - - 82 - (maximal pool size: 1494)
1800.03/1800.51 c redcost : 0.01 60 0 0 0 0
1800.03/1800.51 c impliedbounds : 0.04 60 0 0 0 0
1800.03/1800.51 c intobj : 0.00 0 0 0 0 0
1800.03/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.51 c gomory : 10.47 60 0 0 29580 0
1800.03/1800.51 c strongcg : 1.62 20 0 0 10000 0
1800.03/1800.51 c cmir : 0.20 10 0 0 0 0
1800.03/1800.51 c flowcover : 0.20 10 0 0 0 0
1800.03/1800.51 c clique : 0.00 60 0 0 8 0
1800.03/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.51 c mcf : 0.02 1 0 0 0 0
1800.03/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.03/1800.51 c Pricers : Time Calls Vars
1800.03/1800.51 c problem variables: 0.00 0 0
1800.03/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.51 c relpscost : 30.98 1 0 0 0 0 2
1800.03/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.51 c inference : 184.58 2161061 0 0 0 0 4322122
1800.03/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.51 c random : 0.00 0 0 0 0 0 0
1800.03/1800.51 c Primal Heuristics : Time Calls Found
1800.03/1800.51 c LP solutions : 0.00 - 0
1800.03/1800.51 c pseudo solutions : 0.00 - 0
1800.03/1800.51 c crossover : 0.00 0 0
1800.03/1800.51 c oneopt : 2.77 2 1
1800.03/1800.51 c trivial : 0.01 2 3
1800.03/1800.51 c simplerounding : 0.09 61 55
1800.03/1800.51 c zirounding : 0.01 1 1
1800.03/1800.51 c rounding : 8.01 61 0
1800.03/1800.51 c shifting : 8.35 61 0
1800.03/1800.51 c intshifting : 0.00 0 0
1800.03/1800.51 c twoopt : 0.00 0 0
1800.03/1800.51 c fixandinfer : 0.00 0 0
1800.03/1800.51 c feaspump : 0.00 0 0
1800.03/1800.51 c coefdiving : 0.00 0 0
1800.03/1800.51 c pscostdiving : 0.00 0 0
1800.03/1800.51 c fracdiving : 0.00 0 0
1800.03/1800.51 c veclendiving : 0.00 0 0
1800.03/1800.51 c intdiving : 0.00 0 0
1800.03/1800.51 c actconsdiving : 0.00 0 0
1800.03/1800.51 c objpscostdiving : 0.00 0 0
1800.03/1800.51 c rootsoldiving : 0.00 0 0
1800.03/1800.51 c linesearchdiving : 0.00 0 0
1800.03/1800.51 c guideddiving : 0.00 0 0
1800.03/1800.51 c octane : 0.00 0 0
1800.03/1800.51 c rens : 0.00 0 0
1800.03/1800.51 c rins : 0.00 0 0
1800.03/1800.51 c localbranching : 0.00 0 0
1800.03/1800.51 c mutation : 0.00 0 0
1800.03/1800.51 c dins : 0.00 0 0
1800.03/1800.51 c undercover : 0.00 0 0
1800.03/1800.51 c nlp : 2.45 0 0
1800.03/1800.51 c trysol : 1.94 0 0
1800.03/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.51 c primal LP : 0.02 0 0 0.00 0.00
1800.03/1800.51 c dual LP : 75.44 61 84705 1388.61 1122.81
1800.03/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.03/1800.51 c strong branching : 30.97 33 32501 984.88 1049.43
1800.03/1800.51 c (at root node) : - 33 32501 984.88 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 4310435
1800.03/1800.51 c nodes (total) : 4310435
1800.03/1800.51 c nodes left : 261
1800.03/1800.51 c max depth : 278
1800.03/1800.51 c max depth (total): 278
1800.03/1800.51 c backtracks : 1101823 (25.6%)
1800.03/1800.51 c delayed cutoffs : 11429
1800.03/1800.51 c repropagations : 17738 (226516 domain reductions, 9504 cutoffs)
1800.03/1800.51 c avg switch length: 2.00
1800.03/1800.51 c switching time : 102.82
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 60 (3 improvements)
1800.03/1800.51 c First Solution : +1.96000000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.03/1800.51 c Primal Bound : +1.15400000000000e+03 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <oneopt>)
1800.03/1800.51 c Dual Bound : +1.00400000000000e+03
1800.03/1800.51 c Gap : 14.94 %
1800.03/1800.51 c Root Dual Bound : +1.00400000000000e+03
1800.03/1800.51 c Root Iterations : 84705
1800.03/1800.56 c Time complete: 1800.08.