0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2667034-1276392250.opb>
0.00/0.08 c original problem has 1963 variables (1963 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.09/0.10 o 1963
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.963000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 159 del vars, 159 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 2) 325 del vars, 766 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.14 c (round 3) 373 del vars, 859 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 4) 404 del vars, 945 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.15 c (round 5) 421 del vars, 986 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.16 c (round 6) 435 del vars, 1031 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 7) 440 del vars, 1045 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.17 c (round 8) 443 del vars, 1052 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 9) 446 del vars, 1059 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.09/0.18 c (round 10) 448 del vars, 1070 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7998 impls, 0 clqs
0.19/0.23 c (round 11) 448 del vars, 1071 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2929 upgd conss, 7998 impls, 0 clqs
0.19/0.27 c (0.1s) probing: 101/1515 (6.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.27 c presolving (12 rounds):
0.19/0.27 c 448 deleted vars, 1071 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 7998 implications, 0 cliques
0.19/0.27 c presolved problem has 1515 variables (1515 bin, 0 int, 0 impl, 0 cont) and 2929 constraints
0.19/0.27 c 2929 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.13
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 1.2.1.2
0.19/0.27 c
0.19/0.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.27 c conflict/interconss = 0
0.19/0.27 c
0.19/0.27 c # should binary conflicts be preferred?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c conflict/preferbinary = TRUE
0.19/0.27 c
0.19/0.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.27 c constraints/agelimit = 1
0.19/0.27 c
0.19/0.27 c # should enforcement of pseudo solution be disabled?
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/disableenfops = TRUE
0.19/0.27 c
0.19/0.27 c # frequency for displaying node information lines
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.27 c display/freq = 10000
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/time = 1799.93
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.27 c limits/memory = 1620
0.19/0.27 c
0.19/0.27 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.27 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.27 c lp/solvefreq = 0
0.19/0.27 c
0.19/0.27 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.19/0.27 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.27 c lp/pricing = a
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify inequalities
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/linear/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # should presolving try to simplify knapsacks
0.19/0.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.27 c
0.19/0.27 c # priority of node selection rule <dfs> in standard mode
0.19/0.27 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.27 c nodeselection/dfs/stdpriority = 1000000
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.27 o 1735
0.19/0.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.27 c t 0.1s| 1 | 0 | 0 | - |5796k| 0 | - |1515 |2929 | 0 | 0 | 0 | 0 | 0 | -- | 1.735000e+03 | Inf
0.19/0.29 o 1155
0.19/0.29 c b 0.2s| 1 | 0 | 0 | - |7385k| 0 | - |1515 |2929 |1515 |2929 | 0 | 0 | 0 | -- | 1.155000e+03 | Inf
0.49/0.59 c 0.5s| 1 | 0 | 1999 | - |7361k| 0 |1515 |1515 |2929 |1515 |2929 | 0 | 0 | 0 | 9.775000e+02 | 1.155000e+03 | 18.16%
1.19/1.21 c 1.1s| 1 | 0 | 2304 | - |7465k| 0 |1497 |1515 |2929 |1515 |2944 | 15 | 0 | 0 | 9.845000e+02 | 1.155000e+03 | 17.32%
1.69/1.70 c 1.6s| 1 | 0 | 2363 | - |7492k| 0 |1495 |1515 |2929 |1515 |2946 | 17 | 0 | 0 | 9.855000e+02 | 1.155000e+03 | 17.20%
2.20/2.24 c 2.1s| 1 | 0 | 2510 | - |7499k| 0 |1494 |1515 |2929 |1515 |2948 | 19 | 0 | 0 | 9.860000e+02 | 1.155000e+03 | 17.14%
2.69/2.75 c 2.6s| 1 | 0 | 2550 | - |7502k| 0 |1494 |1515 |2929 |1515 |2949 | 20 | 0 | 0 | 9.860000e+02 | 1.155000e+03 | 17.14%
3.49/3.54 c 3.4s| 1 | 0 | 2789 | - |7606k| 0 |1493 |1515 |2929 |1515 |2953 | 24 | 0 | 0 | 9.865000e+02 | 1.155000e+03 | 17.08%
3.99/4.07 c 3.9s| 1 | 0 | 2893 | - |7609k| 0 |1487 |1515 |2929 |1515 |2956 | 27 | 0 | 0 | 9.875000e+02 | 1.155000e+03 | 16.96%
5.09/5.14 c 5.0s| 1 | 0 | 3195 | - |8260k| 0 |1484 |1515 |2929 |1515 |2960 | 31 | 0 | 0 | 9.885000e+02 | 1.155000e+03 | 16.84%
5.89/5.91 c 5.7s| 1 | 0 | 3563 | - |8321k| 0 |1478 |1515 |2929 |1515 |2962 | 33 | 0 | 0 | 9.890000e+02 | 1.155000e+03 | 16.78%
6.69/6.71 c 6.5s| 1 | 0 | 3915 | - |8404k| 0 |1488 |1515 |2929 |1515 |2964 | 35 | 0 | 0 | 9.890000e+02 | 1.155000e+03 | 16.78%
7.49/7.55 c 7.3s| 1 | 0 | 4207 | - |8750k| 0 |1485 |1515 |2929 |1515 |2967 | 38 | 0 | 0 | 9.895000e+02 | 1.155000e+03 | 16.73%
8.49/8.57 c 8.3s| 1 | 0 | 4796 | - |8766k| 0 |1476 |1515 |2929 |1515 |2970 | 41 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
9.19/9.21 c 9.0s| 1 | 0 | 5100 | - |8843k| 0 |1474 |1515 |2929 |1515 |2972 | 43 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
9.99/10.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.99/10.04 c 9.8s| 1 | 0 | 5418 | - |8878k| 0 |1474 |1515 |2929 |1515 |2973 | 44 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
10.69/10.78 c 10.5s| 1 | 0 | 5711 | - |8906k| 0 |1474 |1515 |2929 |1515 |2975 | 46 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
11.48/11.59 c 11.3s| 1 | 0 | 6154 | - |8988k| 0 |1471 |1515 |2929 |1515 |2979 | 50 | 0 | 0 | 9.900000e+02 | 1.155000e+03 | 16.67%
12.39/12.44 c 12.2s| 1 | 0 | 6602 | - |9071k| 0 |1467 |1515 |2929 |1515 |2981 | 52 | 0 | 0 | 9.905000e+02 | 1.155000e+03 | 16.61%
13.29/13.32 c 13.0s| 1 | 0 | 6984 | - |9211k| 0 |1470 |1515 |2929 |1515 |2979 | 54 | 0 | 0 | 9.910000e+02 | 1.155000e+03 | 16.55%
13.99/14.01 c 13.7s| 1 | 0 | 7249 | - |9309k| 0 |1459 |1515 |2929 |1515 |2982 | 57 | 0 | 0 | 9.915000e+02 | 1.155000e+03 | 16.49%
15.09/15.12 c 14.8s| 1 | 0 | 7876 | - |9366k| 0 |1477 |1515 |2929 |1515 |2985 | 60 | 0 | 0 | 9.920000e+02 | 1.155000e+03 | 16.43%
16.18/16.27 c 15.9s| 1 | 0 | 8404 | - | 10M| 0 |1469 |1515 |2929 |1515 |2989 | 64 | 0 | 0 | 9.925000e+02 | 1.155000e+03 | 16.37%
17.08/17.17 c 16.9s| 1 | 0 | 8879 | - | 10M| 0 |1475 |1515 |2929 |1515 |2993 | 68 | 0 | 0 | 9.930000e+02 | 1.155000e+03 | 16.31%
18.70/18.79 c 18.4s| 1 | 0 | 9850 | - | 10M| 0 |1482 |1515 |2929 |1515 |2995 | 70 | 0 | 0 | 9.935000e+02 | 1.155000e+03 | 16.26%
19.89/19.91 c 19.6s| 1 | 0 | 10374 | - | 10M| 0 |1466 |1515 |2929 |1515 |2993 | 74 | 0 | 0 | 9.940000e+02 | 1.155000e+03 | 16.20%
20.98/21.05 c 20.7s| 1 | 0 | 10926 | - | 10M| 0 |1480 |1515 |2929 |1515 |2996 | 77 | 0 | 0 | 9.940000e+02 | 1.155000e+03 | 16.20%
22.08/22.11 c 21.7s| 1 | 0 | 11557 | - | 10M| 0 |1467 |1515 |2929 |1515 |2999 | 80 | 0 | 0 | 9.945000e+02 | 1.155000e+03 | 16.14%
23.38/23.43 c 23.1s| 1 | 0 | 12263 | - | 11M| 0 |1481 |1515 |2929 |1515 |3001 | 82 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
25.08/25.14 c 24.7s| 1 | 0 | 12995 | - | 11M| 0 |1482 |1515 |2929 |1515 |3003 | 84 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
26.18/26.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.18/26.23 c 25.8s| 1 | 0 | 13463 | - | 11M| 0 |1486 |1515 |2929 |1515 |3005 | 86 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
27.58/27.60 c 27.2s| 1 | 0 | 14186 | - | 11M| 0 |1491 |1515 |2929 |1515 |2998 | 88 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
28.78/28.82 c 28.4s| 1 | 0 | 14781 | - | 11M| 0 |1487 |1515 |2929 |1515 |3001 | 91 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
29.88/29.96 c 29.5s| 1 | 0 | 15243 | - | 12M| 0 |1475 |1515 |2929 |1515 |3002 | 92 | 0 | 0 | 9.950000e+02 | 1.155000e+03 | 16.08%
58.47/58.57 c 57.9s| 1 | 2 | 15243 | - | 12M| 0 |1475 |1515 |2929 |1515 |3002 | 92 | 0 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
62.87/62.95 c 62.1s| 10000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 | 404 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
66.87/66.98 c 66.0s| 20000 | 267 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 | 591 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
70.86/70.95 c 69.8s| 30000 | 268 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 | 727 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
74.86/74.91 c 73.6s| 40000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 | 870 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
78.86/78.92 c 77.5s| 50000 | 269 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1030 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
82.86/82.94 c 81.3s| 60000 | 268 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1199 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
86.87/86.97 c 85.2s| 70000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1368 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
90.86/90.97 c 89.1s| 80000 | 264 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1495 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
94.76/94.85 c 92.8s| 90000 | 268 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1600 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
98.75/98.80 c 96.7s|100000 | 265 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1722 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
102.65/102.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.65/102.78 c 100s|110000 | 267 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |1863 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
106.76/106.82 c 104s|120000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2015 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
110.75/110.81 c 108s|130000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2106 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
114.65/114.72 c 112s|140000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2174 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
118.55/118.67 c 116s|150000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2278 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
122.45/122.52 c 120s|160000 | 265 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2345 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
126.35/126.49 c 123s|170000 | 270 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2474 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
130.34/130.45 c 127s|180000 | 262 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2549 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
134.34/134.41 c 131s|190000 | 263 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2642 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
138.24/138.38 c 135s|200000 | 266 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2760 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
142.24/142.39 c 139s|210000 | 267 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2856 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
146.25/146.35 c 143s|220000 | 265 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |2938 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
150.24/150.30 c 146s|230000 | 265 | 15243 | 0.0 | 12M| 282 | - |1515 |2929 | 0 | 0 | 92 |3034 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
154.13/154.26 c 150s|240000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3121 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
157.93/158.06 c 154s|250000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3184 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
161.93/162.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
161.93/162.01 c 158s|260000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3305 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
165.83/165.90 c 161s|270000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3409 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
169.83/169.91 c 165s|280000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3528 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
173.64/173.79 c 169s|290000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3618 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
177.63/177.76 c 173s|300000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3738 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
181.53/181.65 c 177s|310000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3820 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
185.42/185.53 c 180s|320000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |3908 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
189.33/189.42 c 184s|330000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4006 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
193.23/193.30 c 188s|340000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4095 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
197.03/197.19 c 192s|350000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4177 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
200.92/201.05 c 195s|360000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4258 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
204.72/204.89 c 199s|370000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4335 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
208.62/208.77 c 203s|380000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4433 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
212.62/212.74 c 206s|390000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4573 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
216.63/216.73 c 210s|400000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4698 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
220.42/220.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
220.42/220.58 c 214s|410000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4790 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
224.41/224.56 c 218s|420000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |4922 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
228.32/228.47 c 222s|430000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5008 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
232.12/232.29 c 225s|440000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5099 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
236.01/236.18 c 229s|450000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5173 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
239.91/240.03 c 233s|460000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5244 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
243.71/243.88 c 236s|470000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5332 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
247.70/247.87 c 240s|480000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5451 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
251.71/251.80 c 244s|490000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5548 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
255.61/255.71 c 248s|500000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5634 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
259.51/259.66 c 252s|510000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5753 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
263.41/263.58 c 256s|520000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5844 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
267.40/267.54 c 259s|530000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |5950 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
271.40/271.53 c 263s|540000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6075 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
275.30/275.49 c 267s|550000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6189 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
279.30/279.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
279.30/279.42 c 271s|560000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6274 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
283.20/283.33 c 275s|570000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6364 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
287.09/287.28 c 278s|580000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6455 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
290.99/291.13 c 282s|590000 | 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6515 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
294.89/295.07 c 286s|600000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6591 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
299.00/299.10 c 290s|610000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6708 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
302.90/303.00 c 294s|620000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6805 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
306.70/306.83 c 297s|630000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6883 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
310.59/310.73 c 301s|640000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |6966 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
314.39/314.58 c 305s|650000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7048 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
318.29/318.42 c 308s|660000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7136 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
322.19/322.33 c 312s|670000 | 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7238 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
326.19/326.34 c 316s|680000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7367 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
330.08/330.27 c 320s|690000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7473 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
334.08/334.25 c 324s|700000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7617 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
337.98/338.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
337.98/338.19 c 327s|710000 | 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7721 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
341.99/342.18 c 331s|720000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7828 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
345.88/346.04 c 335s|730000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |7906 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
349.88/350.03 c 339s|740000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8030 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
353.87/354.02 c 343s|750000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8135 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
357.77/357.99 c 346s|760000 | 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8235 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
361.68/361.82 c 350s|770000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8316 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
365.58/365.76 c 354s|780000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8442 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
369.57/369.73 c 358s|790000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8560 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
373.47/373.64 c 362s|800000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8660 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
377.37/377.54 c 365s|810000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8772 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
381.37/381.60 c 369s|820000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |8920 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
385.37/385.54 c 373s|830000 | 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9023 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
389.37/389.51 c 377s|840000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9131 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
393.26/393.45 c 381s|850000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9223 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
397.26/397.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
397.26/397.41 c 384s|860000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9313 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
401.07/401.28 c 388s|870000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9408 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
404.96/405.16 c 392s|880000 | 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9478 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
408.96/409.11 c 396s|890000 | 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9556 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
412.86/413.00 c 399s|900000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9627 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
416.67/416.84 c 403s|910000 | 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9704 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
420.56/420.72 c 407s|920000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9785 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
424.46/424.63 c 411s|930000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9894 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
428.35/428.51 c 414s|940000 | 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 |9988 | 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
432.25/432.42 c 418s|950000 | 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
436.05/436.25 c 422s|960000 | 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
439.86/440.07 c 426s|970000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
443.75/443.98 c 429s|980000 | 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
447.65/447.88 c 433s|990000 | 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
451.55/451.78 c 437s| 1000k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
455.55/455.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.55/455.73 c 441s| 1010k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
459.45/459.64 c 444s| 1020k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
463.34/463.51 c 448s| 1030k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
467.25/467.44 c 452s| 1040k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
471.14/471.37 c 456s| 1050k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
475.14/475.34 c 459s| 1060k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 10k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
479.03/479.24 c 463s| 1070k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
483.03/483.20 c 467s| 1080k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
486.94/487.16 c 471s| 1090k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
490.93/491.12 c 475s| 1100k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
494.84/495.07 c 479s| 1110k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
498.83/499.06 c 482s| 1120k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
502.73/502.97 c 486s| 1130k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
506.62/506.82 c 490s| 1140k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
510.52/510.78 c 494s| 1150k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
514.54/514.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
514.54/514.75 c 497s| 1160k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
518.42/518.68 c 501s| 1170k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
522.43/522.60 c 505s| 1180k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 11k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
526.43/526.61 c 509s| 1190k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
530.42/530.67 c 513s| 1200k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
534.43/534.68 c 517s| 1210k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
538.42/538.69 c 521s| 1220k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
542.52/542.72 c 524s| 1230k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
546.53/546.76 c 528s| 1240k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
550.62/550.80 c 532s| 1250k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
554.51/554.71 c 536s| 1260k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
558.41/558.61 c 540s| 1270k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
562.21/562.49 c 544s| 1280k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
566.11/566.37 c 547s| 1290k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 12k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
570.01/570.24 c 551s| 1300k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
573.92/574.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.92/574.12 c 555s| 1310k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
577.81/578.02 c 558s| 1320k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
581.62/581.83 c 562s| 1330k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
585.40/585.68 c 566s| 1340k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
589.41/589.64 c 570s| 1350k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
593.30/593.55 c 573s| 1360k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
597.20/597.48 c 577s| 1370k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
601.10/601.38 c 581s| 1380k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
605.00/605.27 c 585s| 1390k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
608.80/609.10 c 588s| 1400k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
612.90/613.10 c 592s| 1410k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
616.70/616.98 c 596s| 1420k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 13k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
620.69/620.93 c 600s| 1430k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
624.69/624.94 c 604s| 1440k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
628.49/628.80 c 607s| 1450k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
632.49/632.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
632.49/632.71 c 611s| 1460k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
636.39/636.66 c 615s| 1470k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
640.29/640.58 c 619s| 1480k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
644.30/644.52 c 623s| 1490k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
648.28/648.51 c 626s| 1500k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
652.09/652.39 c 630s| 1510k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
656.08/656.30 c 634s| 1520k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
659.98/660.25 c 638s| 1530k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
663.88/664.17 c 641s| 1540k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 14k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
667.78/668.07 c 645s| 1550k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
671.68/671.91 c 649s| 1560k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
675.48/675.77 c 653s| 1570k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
679.27/679.60 c 656s| 1580k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
683.17/683.44 c 660s| 1590k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
686.98/687.30 c 664s| 1600k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
690.87/691.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.87/691.11 c 667s| 1610k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
694.67/694.96 c 671s| 1620k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
698.57/698.87 c 675s| 1630k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
702.58/702.82 c 679s| 1640k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
706.57/706.80 c 682s| 1650k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 15k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
710.46/710.72 c 686s| 1660k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
714.47/714.72 c 690s| 1670k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
718.26/718.59 c 694s| 1680k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
722.26/722.52 c 698s| 1690k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
726.07/726.37 c 701s| 1700k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
729.96/730.28 c 705s| 1710k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
733.86/734.19 c 709s| 1720k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
737.77/738.08 c 713s| 1730k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
741.56/741.86 c 716s| 1740k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
745.46/745.72 c 720s| 1750k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
749.35/749.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
749.35/749.62 c 724s| 1760k| 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
753.26/753.58 c 728s| 1770k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 16k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
757.25/757.59 c 731s| 1780k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
761.15/761.47 c 735s| 1790k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
765.15/765.49 c 739s| 1800k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
769.15/769.47 c 743s| 1810k| 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
773.15/773.40 c 747s| 1820k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
777.05/777.37 c 750s| 1830k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
780.95/781.27 c 754s| 1840k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
784.95/785.26 c 758s| 1850k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
789.04/789.30 c 762s| 1860k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
793.04/793.31 c 766s| 1870k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 17k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
797.04/797.30 c 770s| 1880k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
800.94/801.29 c 774s| 1890k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
804.94/805.23 c 777s| 1900k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
808.84/809.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
808.84/809.17 c 781s| 1910k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
812.83/813.16 c 785s| 1920k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
816.84/817.18 c 789s| 1930k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
820.84/821.17 c 793s| 1940k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
824.74/825.07 c 796s| 1950k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
828.63/828.91 c 800s| 1960k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
832.53/832.84 c 804s| 1970k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 18k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
836.43/836.75 c 808s| 1980k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
840.23/840.57 c 811s| 1990k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
844.12/844.47 c 815s| 2000k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
848.13/848.42 c 819s| 2010k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
852.02/852.30 c 823s| 2020k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
855.82/856.18 c 826s| 2030k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
859.73/860.03 c 830s| 2040k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
863.62/863.94 c 834s| 2050k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
867.52/867.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.52/867.84 c 838s| 2060k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
871.42/871.76 c 841s| 2070k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
875.42/875.71 c 845s| 2080k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
879.42/879.71 c 849s| 2090k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 19k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
883.31/883.65 c 853s| 2100k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
887.32/887.63 c 857s| 2110k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
891.31/891.63 c 861s| 2120k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
895.31/895.63 c 865s| 2130k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
899.21/899.58 c 868s| 2140k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
903.21/903.56 c 872s| 2150k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
907.21/907.51 c 876s| 2160k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
911.21/911.53 c 880s| 2170k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
915.10/915.47 c 884s| 2180k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
919.10/919.46 c 888s| 2190k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
923.10/923.42 c 891s| 2200k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
927.01/927.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.01/927.36 c 895s| 2210k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 20k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
931.00/931.35 c 899s| 2220k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
935.10/935.41 c 903s| 2230k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
938.89/939.29 c 907s| 2240k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
942.89/943.21 c 910s| 2250k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
946.80/947.16 c 914s| 2260k| 267 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
950.69/951.04 c 918s| 2270k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
954.59/954.97 c 922s| 2280k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
958.49/958.83 c 925s| 2290k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
962.38/962.71 c 929s| 2300k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
966.19/966.59 c 933s| 2310k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
970.18/970.54 c 937s| 2320k| 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
974.19/974.52 c 941s| 2330k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 21k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
978.08/978.44 c 944s| 2340k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
981.88/982.28 c 948s| 2350k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
985.78/986.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.78/986.10 c 952s| 2360k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
989.58/989.94 c 955s| 2370k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
993.48/993.89 c 959s| 2380k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
997.47/997.87 c 963s| 2390k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1001.48/1001.82 c 967s| 2400k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1005.28/1005.68 c 971s| 2410k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1009.27/1009.68 c 974s| 2420k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1013.27/1013.60 c 978s| 2430k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1017.07/1017.50 c 982s| 2440k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1020.97/1021.36 c 986s| 2450k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1024.87/1025.25 c 989s| 2460k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 22k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1028.76/1029.14 c 993s| 2470k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1032.66/1033.06 c 997s| 2480k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1036.46/1036.87 c 1001s| 2490k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1040.36/1040.79 c 1004s| 2500k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1044.26/1044.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.26/1044.65 c 1008s| 2510k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1048.06/1048.48 c 1012s| 2520k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1052.06/1052.44 c 1016s| 2530k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1055.96/1056.39 c 1019s| 2540k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1059.96/1060.30 c 1023s| 2550k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1063.85/1064.25 c 1027s| 2560k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1067.76/1068.17 c 1031s| 2570k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 23k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1071.66/1072.05 c 1035s| 2580k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1075.65/1076.04 c 1038s| 2590k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1079.55/1079.97 c 1042s| 2600k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1083.45/1083.88 c 1046s| 2610k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1087.45/1087.86 c 1050s| 2620k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1091.35/1091.79 c 1054s| 2630k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1095.35/1095.70 c 1057s| 2640k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1099.14/1099.55 c 1061s| 2650k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1103.05/1103.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1103.05/1103.45 c 1065s| 2660k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1106.94/1107.34 c 1069s| 2670k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1110.84/1111.23 c 1072s| 2680k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1114.64/1115.09 c 1076s| 2690k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1118.64/1119.02 c 1080s| 2700k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1122.53/1122.92 c 1084s| 2710k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 24k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1126.33/1126.75 c 1087s| 2720k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1130.24/1130.68 c 1091s| 2730k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1134.24/1134.62 c 1095s| 2740k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1138.13/1138.53 c 1099s| 2750k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1142.13/1142.52 c 1102s| 2760k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1145.92/1146.38 c 1106s| 2770k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1149.92/1150.30 c 1110s| 2780k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1153.72/1154.19 c 1114s| 2790k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1157.63/1158.02 c 1117s| 2800k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1161.42/1161.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1161.42/1161.88 c 1121s| 2810k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1165.41/1165.85 c 1125s| 2820k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1169.31/1169.73 c 1129s| 2830k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1173.12/1173.60 c 1132s| 2840k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 25k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1177.02/1177.49 c 1136s| 2850k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1181.02/1181.46 c 1140s| 2860k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1184.92/1185.33 c 1144s| 2870k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1188.81/1189.27 c 1147s| 2880k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1192.71/1193.14 c 1151s| 2890k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1196.61/1197.04 c 1155s| 2900k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1200.51/1200.97 c 1159s| 2910k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1204.41/1204.85 c 1162s| 2920k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1208.30/1208.77 c 1166s| 2930k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1212.31/1212.75 c 1170s| 2940k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1216.21/1216.69 c 1174s| 2950k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1220.20/1220.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1220.20/1220.64 c 1178s| 2960k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 26k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1224.09/1224.53 c 1181s| 2970k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1227.89/1228.36 c 1185s| 2980k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1231.79/1232.28 c 1189s| 2990k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1235.80/1236.21 c 1193s| 3000k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1239.59/1240.07 c 1196s| 3010k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1243.60/1244.01 c 1200s| 3020k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1247.49/1247.96 c 1204s| 3030k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1251.40/1251.86 c 1208s| 3040k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1255.29/1255.77 c 1211s| 3050k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1259.29/1259.76 c 1215s| 3060k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1263.29/1263.70 c 1219s| 3070k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 27k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1267.18/1267.67 c 1223s| 3080k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1271.09/1271.52 c 1227s| 3090k| 268 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1274.98/1275.44 c 1230s| 3100k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1278.79/1279.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.79/1279.26 c 1234s| 3110k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1282.68/1283.12 c 1238s| 3120k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1286.48/1286.90 c 1242s| 3130k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1290.28/1290.79 c 1245s| 3140k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1294.18/1294.70 c 1249s| 3150k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1298.17/1298.69 c 1253s| 3160k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1302.17/1302.63 c 1257s| 3170k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1306.07/1306.57 c 1260s| 3180k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 28k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1310.17/1310.62 c 1264s| 3190k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1314.17/1314.61 c 1268s| 3200k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1318.16/1318.63 c 1272s| 3210k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1322.07/1322.57 c 1276s| 3220k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1326.07/1326.51 c 1280s| 3230k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1329.96/1330.46 c 1283s| 3240k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1333.87/1334.37 c 1287s| 3250k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1337.86/1338.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.86/1338.31 c 1291s| 3260k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1341.76/1342.25 c 1295s| 3270k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1345.76/1346.21 c 1299s| 3280k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 29k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1349.66/1350.19 c 1302s| 3290k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1353.67/1354.17 c 1306s| 3300k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1357.75/1358.20 c 1310s| 3310k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1361.66/1362.19 c 1314s| 3320k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1365.76/1366.24 c 1318s| 3330k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1369.75/1370.20 c 1322s| 3340k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1373.75/1374.25 c 1326s| 3350k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1377.75/1378.29 c 1330s| 3360k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1381.75/1382.28 c 1333s| 3370k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1385.74/1386.21 c 1337s| 3380k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 30k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1389.74/1390.24 c 1341s| 3390k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1393.64/1394.12 c 1345s| 3400k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1397.55/1398.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.55/1398.08 c 1349s| 3410k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1401.64/1402.14 c 1353s| 3420k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1405.64/1406.15 c 1356s| 3430k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1409.53/1410.09 c 1360s| 3440k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1413.64/1414.15 c 1364s| 3450k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1417.54/1418.09 c 1368s| 3460k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1421.53/1422.07 c 1372s| 3470k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1425.43/1425.97 c 1376s| 3480k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1429.43/1429.97 c 1379s| 3490k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1433.43/1433.94 c 1383s| 3500k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 31k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1437.33/1437.88 c 1387s| 3510k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1441.32/1441.82 c 1391s| 3520k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1445.23/1445.78 c 1395s| 3530k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1449.23/1449.78 c 1399s| 3540k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1453.22/1453.72 c 1402s| 3550k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1457.22/1457.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.22/1457.71 c 1406s| 3560k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1461.22/1461.72 c 1410s| 3570k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1465.22/1465.74 c 1414s| 3580k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1469.22/1469.77 c 1418s| 3590k| 259 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1473.32/1473.82 c 1422s| 3600k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1477.22/1477.79 c 1426s| 3610k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 32k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1481.23/1481.74 c 1429s| 3620k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1485.11/1485.67 c 1433s| 3630k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1489.11/1489.64 c 1437s| 3640k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1493.11/1493.63 c 1441s| 3650k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1497.01/1497.57 c 1445s| 3660k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1501.02/1501.55 c 1449s| 3670k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1505.01/1505.56 c 1452s| 3680k| 258 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1509.01/1509.53 c 1456s| 3690k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1512.90/1513.43 c 1460s| 3700k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1516.81/1517.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1516.81/1517.30 c 1464s| 3710k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1520.60/1521.19 c 1467s| 3720k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 33k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1524.61/1525.14 c 1471s| 3730k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1528.51/1529.02 c 1475s| 3740k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1532.31/1532.88 c 1479s| 3750k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1536.21/1536.73 c 1482s| 3760k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1540.00/1540.59 c 1486s| 3770k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1543.81/1544.37 c 1490s| 3780k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1547.69/1548.25 c 1494s| 3790k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1551.70/1552.21 c 1497s| 3800k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1555.70/1556.27 c 1501s| 3810k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1559.60/1560.13 c 1505s| 3820k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1563.49/1564.03 c 1509s| 3830k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 34k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1567.29/1567.81 c 1512s| 3840k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1571.19/1571.79 c 1516s| 3850k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1575.19/1575.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.19/1575.70 c 1520s| 3860k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1579.00/1579.59 c 1524s| 3870k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1582.99/1583.51 c 1527s| 3880k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1586.89/1587.44 c 1531s| 3890k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1590.89/1591.46 c 1535s| 3900k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1594.88/1595.47 c 1539s| 3910k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1598.89/1599.46 c 1543s| 3920k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1602.89/1603.49 c 1547s| 3930k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 35k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1606.88/1607.49 c 1551s| 3940k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1610.89/1611.48 c 1554s| 3950k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1614.87/1615.44 c 1558s| 3960k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1618.78/1619.39 c 1562s| 3970k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1622.68/1623.29 c 1566s| 3980k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1626.68/1627.26 c 1570s| 3990k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1630.67/1631.22 c 1574s| 4000k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1634.67/1635.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1634.67/1635.21 c 1577s| 4010k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1638.67/1639.24 c 1581s| 4020k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1642.57/1643.18 c 1585s| 4030k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1646.57/1647.12 c 1589s| 4040k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1650.48/1651.01 c 1593s| 4050k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 36k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1654.37/1654.94 c 1596s| 4060k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1658.18/1658.78 c 1600s| 4070k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1661.97/1662.57 c 1604s| 4080k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1665.87/1666.48 c 1608s| 4090k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1669.86/1670.43 c 1611s| 4100k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1673.76/1674.33 c 1615s| 4110k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1677.76/1678.32 c 1619s| 4120k| 266 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1681.76/1682.31 c 1623s| 4130k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1685.66/1686.27 c 1627s| 4140k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1689.65/1690.26 c 1630s| 4150k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1693.66/1694.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1693.66/1694.23 c 1634s| 4160k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1697.55/1698.17 c 1638s| 4170k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 37k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1701.55/1702.14 c 1642s| 4180k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1705.46/1706.03 c 1646s| 4190k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1709.45/1710.02 c 1649s| 4200k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1713.45/1714.01 c 1653s| 4210k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1717.44/1718.01 c 1657s| 4220k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1721.24/1721.85 c 1661s| 4230k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1725.15/1725.74 c 1665s| 4240k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1729.14/1729.73 c 1668s| 4250k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1733.14/1733.77 c 1672s| 4260k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1737.24/1737.86 c 1676s| 4270k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 38k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1741.24/1741.83 c 1680s| 4280k| 264 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1745.14/1745.78 c 1684s| 4290k| 265 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1749.24/1749.82 c 1688s| 4300k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1753.24/1753.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1753.24/1753.86 c 1692s| 4310k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1757.34/1757.91 c 1696s| 4320k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1761.34/1761.94 c 1700s| 4330k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1765.33/1765.92 c 1703s| 4340k| 260 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1769.24/1769.90 c 1707s| 4350k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1773.23/1773.84 c 1711s| 4360k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1777.13/1777.77 c 1715s| 4370k| 263 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 39k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1781.13/1781.73 c 1719s| 4380k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 40k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1785.02/1785.67 c 1722s| 4390k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 40k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1789.03/1789.66 c 1726s| 4400k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 40k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1793.02/1793.60 c 1730s| 4410k| 262 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 40k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1797.03/1797.65 c 1734s| 4420k| 261 | 15243 | 0.0 | 12M| 283 | - |1515 |2929 | 0 | 0 | 92 | 40k| 22 | 9.950000e+02 | 1.155000e+03 | 16.08%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1736.78
1800.04/1800.61 c Solving Nodes : 4427439
1800.04/1800.61 c Primal Bound : +1.15500000000000e+03 (23 solutions)
1800.04/1800.61 c Dual Bound : +9.95000000000000e+02
1800.04/1800.61 c Gap : 16.08 %
1800.04/1800.62 s SATISFIABLE
1800.04/1800.62 v -x1963 x1962 x1961 -x1960 -x1959 x1958 x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 x1949 -x1948 -x1947 -x1946 -x1945
1800.04/1800.62 v x1944 x1943 -x1942 -x1941 x1940 -x1939 -x1938 x1937 x1936 -x1935 x1934 -x1933 x1932 -x1931 x1930 x1929 -x1928 x1927 x1926 -x1925
1800.04/1800.62 v x1924 x1923 x1922 -x1921 x1920 -x1919 x1918 x1917 -x1916 x1915 x1914 x1913 -x1912 x1911 x1910 -x1909 x1908 x1907 x1906 x1905
1800.04/1800.62 v -x1904 -x1903 -x1902 x1901 x1900 x1899 x1898 -x1897 x1896 -x1895 x1894 -x1893 -x1892 x1891 x1890 -x1889 x1888 x1887 -x1886
1800.04/1800.62 v -x1885 -x1884 x1883 x1882 x1881 x1880 x1879 x1878 -x1877 x1876 x1875 x1874 -x1873 x1872 x1871 x1870 x1869 x1868 x1867 x1866
1800.04/1800.62 v x1865 -x1864 -x1863 x1862 x1861 x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 x1853 x1852 -x1851 -x1850 -x1849 x1848 -x1847 x1846
1800.04/1800.62 v x1845 x1844 -x1843 -x1842 -x1841 x1840 -x1839 -x1838 x1837 x1836 -x1835 x1834 x1833 x1832 x1831 -x1830 x1829 -x1828 -x1827
1800.04/1800.62 v x1826 x1825 -x1824 x1823 x1822 x1821 x1820 x1819 x1818 -x1817 x1816 x1815 x1814 x1813 x1812 x1811 -x1810 x1809 -x1808 x1807
1800.04/1800.62 v x1806 -x1805 -x1804 x1803 x1802 x1801 -x1800 x1799 x1798 x1797 x1796 x1795 -x1794 -x1793 -x1792 x1791 x1790 x1789 -x1788 x1787
1800.04/1800.62 v x1786 x1785 x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 x1777 x1776 x1775 x1774 -x1773 x1772 x1771 -x1770 -x1769 x1768
1800.04/1800.62 v x1767 x1766 x1765 -x1764 x1763 x1762 -x1761 x1760 x1759 x1758 x1757 -x1756 x1755 x1754 x1753 x1752 -x1751 -x1750 x1749 -x1748
1800.04/1800.62 v x1747 -x1746 x1745 -x1744 x1743 x1742 x1741 x1740 x1739 -x1738 -x1737 -x1736 x1735 -x1734 -x1733 x1732 x1731 x1730 -x1729 x1728
1800.04/1800.62 v -x1727 -x1726 x1725 x1724 -x1723 x1722 -x1721 -x1720 x1719 x1718 -x1717 -x1716 x1715 -x1714 x1713 x1712 x1711 -x1710 x1709
1800.04/1800.62 v -x1708 -x1707 x1706 x1705 x1704 x1703 x1702 x1701 -x1700 x1699 x1698 -x1697 x1696 -x1695 x1694 -x1693 x1692 x1691 x1690 -x1689
1800.04/1800.62 v -x1688 x1687 -x1686 x1685 -x1684 x1683 -x1682 x1681 x1680 -x1679 x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670
1800.04/1800.62 v x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 x1660 x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652
1800.04/1800.62 v x1651 x1650 x1649 x1648 -x1647 x1646 -x1645 x1644 x1643 x1642 -x1641 -x1640 x1639 x1638 -x1637 -x1636 x1635 x1634 x1633 x1632
1800.04/1800.62 v -x1631 x1630 x1629 x1628 x1627 x1626 x1625 x1624 x1623 x1622 -x1621 -x1620 x1619 -x1618 x1617 -x1616 x1615 -x1614 -x1613
1800.04/1800.62 v -x1612 x1611 x1610 x1609 x1608 x1607 x1606 x1605 x1604 x1603 x1602 x1601 x1600 -x1599 x1598 x1597 x1596 x1595 -x1594 x1593 -x1592
1800.04/1800.62 v -x1591 x1590 x1589 x1588 x1587 x1586 x1585 x1584 -x1583 x1582 x1581 -x1580 x1579 x1578 -x1577 x1576 -x1575 x1574 -x1573
1800.04/1800.62 v -x1572 -x1571 -x1570 x1569 x1568 -x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 -x1557 x1556 x1555 x1554
1800.04/1800.62 v -x1553 -x1552 -x1551 -x1550 -x1549 x1548 x1547 -x1546 -x1545 -x1544 x1543 x1542 x1541 x1540 -x1539 x1538 x1537 x1536 -x1535
1800.04/1800.62 v x1534 x1533 x1532 x1531 x1530 -x1529 x1528 -x1527 x1526 x1525 x1524 x1523 -x1522 x1521 x1520 x1519 x1518 x1517 x1516 x1515 x1514
1800.04/1800.62 v x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506 -x1505 x1504 x1503 x1502 x1501 x1500 x1499 x1498 x1497 x1496 -x1495 -x1494
1800.04/1800.62 v x1493 x1492 x1491 -x1490 x1489 x1488 x1487 x1486 x1485 x1484 x1483 x1482 -x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474
1800.04/1800.62 v x1473 x1472 -x1471 x1470 x1469 x1468 x1467 -x1466 -x1465 x1464 x1463 x1462 x1461 -x1460 x1459 x1458 -x1457 x1456 -x1455 -x1454
1800.04/1800.62 v x1453 -x1452 x1451 x1450 -x1449 x1448 x1447 -x1446 x1445 x1444 -x1443 x1442 -x1441 x1440 x1439 -x1438 -x1437 x1436 x1435 x1434
1800.04/1800.62 v x1433 x1432 x1431 x1430 x1429 x1428 -x1427 x1426 -x1425 x1424 x1423 x1422 -x1421 x1420 -x1419 -x1418 x1417 x1416 -x1415 x1414
1800.04/1800.62 v x1413 x1412 x1411 -x1410 x1409 x1408 x1407 x1406 -x1405 x1404 x1403 x1402 -x1401 x1400 x1399 x1398 -x1397 x1396 x1395 x1394
1800.04/1800.62 v x1393 -x1392 x1391 x1390 x1389 x1388 x1387 x1386 x1385 -x1384 x1383 x1382 x1381 x1380 -x1379 -x1378 -x1377 -x1376 x1375 x1374
1800.04/1800.62 v x1373 -x1372 x1371 x1370 x1369 x1368 -x1367 x1366 x1365 x1364 x1363 x1362 -x1361 x1360 x1359 x1358 x1357 -x1356 -x1355 -x1354
1800.04/1800.62 v x1353 x1352 x1351 -x1350 -x1349 x1348 x1347 x1346 -x1345 x1344 -x1343 x1342 -x1341 -x1340 x1339 -x1338 x1337 x1336 -x1335
1800.04/1800.62 v x1334 -x1333 -x1332 x1331 x1330 x1329 x1328 x1327 x1326 -x1325 -x1324 x1323 x1322 -x1321 x1320 -x1319 -x1318 x1317 -x1316
1800.04/1800.62 v x1315 -x1314 -x1313 -x1312 x1311 -x1310 x1309 x1308 -x1307 x1306 -x1305 x1304 x1303 -x1302 x1301 x1300 x1299 x1298 x1297 x1296
1800.04/1800.62 v -x1295 x1294 x1293 x1292 x1291 x1290 x1289 x1288 x1287 x1286 x1285 x1284 -x1283 -x1282 -x1281 x1280 x1279 -x1278 -x1277 -x1276
1800.04/1800.62 v x1275 x1274 -x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 x1265 x1264 -x1263 x1262 x1261 x1260 x1259 -x1258 x1257 x1256
1800.04/1800.62 v -x1255 x1254 x1253 x1252 x1251 -x1250 x1249 -x1248 x1247 x1246 x1245 x1244 x1243 x1242 -x1241 x1240 x1239 x1238 -x1237 -x1236
1800.04/1800.62 v -x1235 x1234 x1233 x1232 x1231 x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 x1223 x1222 x1221 x1220 x1219 -x1218 x1217 -x1216
1800.04/1800.62 v x1215 -x1214 x1213 x1212 x1211 x1210 x1209 x1208 -x1207 x1206 x1205 x1204 x1203 x1202 x1201 -x1200 x1199 x1198 -x1197 x1196
1800.04/1800.62 v x1195 x1194 x1193 x1192 -x1191 -x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 -x1182 -x1181 -x1180 x1179 -x1178 x1177 x1176
1800.04/1800.62 v x1175 x1174 x1173 x1172 x1171 x1170 x1169 x1168 x1167 -x1166 x1165 x1164 x1163 x1162 -x1161 x1160 x1159 x1158 -x1157 -x1156
1800.04/1800.62 v x1155 x1154 x1153 x1152 x1151 x1150 x1149 x1148 -x1147 x1146 -x1145 x1144 x1143 -x1142 -x1141 x1140 x1139 x1138 x1137 x1136
1800.04/1800.62 v x1135 -x1134 x1133 x1132 x1131 x1130 x1129 -x1128 x1127 x1126 x1125 x1124 -x1123 x1122 x1121 -x1120 x1119 x1118 -x1117 x1116
1800.04/1800.62 v x1115 -x1114 x1113 x1112 x1111 -x1110 x1109 -x1108 x1107 -x1106 x1105 x1104 -x1103 x1102 x1101 -x1100 x1099 -x1098 -x1097 x1096
1800.04/1800.62 v -x1095 x1094 x1093 x1092 -x1091 x1090 x1089 x1088 -x1087 x1086 x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 x1078 x1077
1800.04/1800.62 v -x1076 x1075 x1074 x1073 x1072 x1071 x1070 -x1069 -x1068 x1067 -x1066 x1065 -x1064 x1063 x1062 x1061 x1060 x1059 x1058 -x1057
1800.04/1800.62 v x1056 x1055 x1054 -x1053 x1052 x1051 x1050 x1049 -x1048 -x1047 x1046 x1045 x1044 x1043 x1042 -x1041 x1040 -x1039 -x1038 x1037
1800.04/1800.62 v x1036 x1035 x1034 x1033 -x1032 x1031 -x1030 -x1029 x1028 -x1027 -x1026 x1025 x1024 x1023 -x1022 x1021 x1020 x1019 x1018 x1017
1800.04/1800.62 v x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 -x999 -x998 x997
1800.04/1800.62 v x996 x995 x994 -x993 x992 x991 x990 x989 x988 -x987 -x986 x985 -x984 x983 x982 -x981 x980 -x979 x978 -x977 x976 -x975 x974
1800.04/1800.62 v x973 -x972 x971 -x970 x969 -x968 x967 -x966 x965 x964 -x963 x962 x961 x960 -x959 x958 x957 x956 x955 -x954 -x953 x952 -x951
1800.04/1800.62 v x950 x949 x948 x947 x946 x945 x944 x943 x942 x941 -x940 x939 -x938 x937 x936 -x935 -x934 -x933 x932 x931 x930 -x929 x928 x927
1800.04/1800.62 v x926 x925 -x924 -x923 x922 x921 x920 x919 x918 -x917 -x916 x915 -x914 x913 -x912 x911 x910 x909 x908 x907 -x906 -x905 x904
1800.04/1800.62 v x903 -x902 -x901 -x900 x899 -x898 x897 -x896 -x895 -x894 x893 x892 x891 -x890 x889 x888 -x887 x886 -x885 x884 x883 -x882 x881
1800.04/1800.62 v x880 x879 x878 x877 x876 x875 x874 -x873 x872 -x871 -x870 -x869 x868 x867 -x866 -x865 -x864 x863 x862 -x861 -x860 x859 x858
1800.04/1800.62 v x857 x856 x855 -x854 x853 -x852 x851 -x850 x849 x848 x847 -x846 x845 x844 x843 x842 -x841 x840 -x839 -x838 x837 -x836 x835 -x834
1800.04/1800.62 v x833 x832 x831 x830 x829 -x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 -x818 x817 x816 x815 x814 -x813 x812 x811 x810
1800.04/1800.62 v -x809 x808 x807 x806 x805 x804 x803 x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 x794 x793 x792 x791 x790 x789 x788 x787 x786
1800.04/1800.62 v x785 x784 x783 x782 x781 x780 -x779 -x778 x777 -x776 x775 -x774 -x773 x772 x771 x770 x769 -x768 x767 x766 -x765 x764 x763
1800.04/1800.62 v x762 x761 x760 -x759 -x758 -x757 x756 -x755 x754 x753 x752 -x751 x750 -x749 -x748 x747 x746 -x745 -x744 x743 x742 x741 -x740
1800.04/1800.62 v -x739 -x738 x737 x736 x735 -x734 x733 x732 x731 x730 x729 x728 x727 x726 -x725 -x724 -x723 x722 x721 -x720 x719 -x718 -x717
1800.04/1800.62 v -x716 x715 x714 x713 -x712 x711 x710 x709 -x708 -x707 x706 -x705 x704 x703 x702 x701 x700 x699 -x698 x697 x696 x695 x694 -x693
1800.04/1800.62 v -x692 -x691 x690 -x689 x688 x687 x686 x685 x684 -x683 -x682 x681 -x680 x679 x678 x677 -x676 -x675 -x674 -x673 -x672 x671 -x670
1800.04/1800.62 v x669 x668 x667 x666 x665 x664 -x663 -x662 -x661 -x660 x659 x658 x657 -x656 x655 x654 x653 -x652 x651 x650 x649 x648 x647
1800.04/1800.62 v -x646 -x645 x644 x643 x642 x641 x640 -x639 -x638 x637 -x636 x635 -x634 -x633 -x632 x631 x630 x629 x628 x627 x626 x625 -x624 x623
1800.04/1800.62 v x622 x621 x620 x619 x618 -x617 x616 x615 x614 x613 -x612 -x611 x610 -x609 x608 -x607 x606 x605 x604 x603 -x602 x601 -x600
1800.04/1800.62 v x599 -x598 x597 -x596 x595 x594 x593 x592 -x591 -x590 x589 x588 x587 x586 x585 -x584 -x583 x582 x581 -x580 -x579 x578 -x577
1800.04/1800.62 v x576 x575 x574 x573 x572 -x571 -x570 x569 -x568 x567 x566 -x565 x564 x563 x562 -x561 -x560 x559 x558 -x557 x556 x555 -x554 -x553
1800.04/1800.62 v -x552 -x551 x550 x549 -x548 -x547 x546 -x545 x544 -x543 -x542 x541 x540 -x539 x538 x537 x536 -x535 x534 x533 x532 x531 x530
1800.04/1800.62 v -x529 x528 x527 x526 -x525 -x524 x523 x522 -x521 x520 x519 x518 x517 x516 x515 -x514 x513 x512 -x511 -x510 x509 x508 -x507
1800.04/1800.62 v x506 x505 -x504 -x503 x502 -x501 x500 x499 -x498 x497 x496 -x495 -x494 -x493 x492 x491 -x490 x489 x488 x487 x486 x485 -x484
1800.04/1800.62 v x483 -x482 x481 x480 x479 x478 -x477 x476 x475 x474 -x473 x472 x471 -x470 -x469 x468 x467 x466 x465 -x464 x463 x462 -x461 -x460
1800.04/1800.62 v -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 x448 -x447 x446 -x445 -x444 -x443 -x442 -x441 x440 x439 x438
1800.04/1800.62 v x437 -x436 -x435 x434 -x433 x432 -x431 -x430 -x429 x428 -x427 x426 x425 x424 x423 x422 x421 -x420 -x419 x418 -x417 x416 -x415
1800.04/1800.62 v x414 x413 x412 x411 -x410 -x409 x408 -x407 x406 x405 -x404 x403 -x402 -x401 x400 -x399 -x398 x397 x396 -x395 -x394 -x393
1800.04/1800.62 v -x392 x391 x390 x389 x388 -x387 -x386 x385 -x384 x383 x382 x381 -x380 x379 -x378 x377 -x376 x375 -x374 x373 x372 x371 x370 x369
1800.04/1800.62 v -x368 x367 x366 -x365 x364 x363 x362 -x361 -x360 -x359 -x358 x357 -x356 -x355 -x354 -x353 x352 -x351 -x350 -x349 x348 x347
1800.04/1800.62 v x346 x345 -x344 x343 -x342 -x341 x340 x339 -x338 x337 -x336 x335 -x334 -x333 x332 -x331 x330 x329 x328 -x327 x326 -x325 -x324
1800.04/1800.62 v -x323 x322 -x321 -x320 -x319 -x318 x317 -x316 -x315 x314 x313 x312 x311 x310 -x309 x308 -x307 x306 -x305 -x304 x303 -x302
1800.04/1800.62 v x301 x300 x299 x298 x297 x296 x295 x294 x293 -x292 x291 -x290 -x289 x288 -x287 -x286 -x285 -x284 -x283 -x282 x281 -x280 -x279
1800.04/1800.62 v x278 x277 -x276 x275 x274 -x273 -x272 -x271 x270 -x269 -x268 x267 -x266 x265 -x264 x263 x262 x261 -x260 -x259 x258 x257 x256
1800.04/1800.62 v -x255 -x254 x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 x238 -x237 -x236 x235 x234
1800.04/1800.62 v -x233 -x232 -x231 -x230 -x229 x228 -x227 x226 -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 -x214 -x213 x212
1800.04/1800.62 v -x211 x210 -x209 -x208 x207 x206 x205 x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.04/1800.62 v -x189 -x188 -x187 -x186 -x185 x184 -x183 -x182 -x181 x180 x179 x178 x177 x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168
1800.04/1800.62 v -x167 x166 -x165 -x164 -x163 x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 -x153 x152 x151 -x150 -x149 x148 -x147 x146
1800.04/1800.62 v -x145 -x144 x143 x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 x134 x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124
1800.04/1800.62 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 x113 -x112 -x111 -x110 -x109 x108 -x107 x106 x105 x104 -x103 x102
1800.04/1800.62 v -x101 x100 x99 -x98 x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77
1800.04/1800.62 v -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 x68 x67 x66 x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 x50
1800.04/1800.62 v -x49 -x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24
1800.04/1800.62 v -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 x14 x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.62 c Solving Time : 1736.78
1800.04/1800.62 c Original Problem :
1800.04/1800.62 c Problem name : HOME/instance-2667034-1276392250.opb
1800.04/1800.62 c Variables : 1963 (1963 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 4000 initial, 4000 maximal
1800.04/1800.62 c Presolved Problem :
1800.04/1800.62 c Problem name : t_HOME/instance-2667034-1276392250.opb
1800.04/1800.62 c Variables : 1515 (1515 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.62 c Constraints : 2929 initial, 2929 maximal
1800.04/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c dualfix : 0.00 214 0 0 0 0 0 0 0
1800.04/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.62 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.62 c linear : 0.06 0 234 0 0 0 1071 0 0
1800.04/1800.62 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.62 c root node : - 0 - - 0 - - - -
1800.04/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.62 c logicor : 2929+ 31 4887638 0 0 40478 30272647 0 0 0
1800.04/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.62 c integral : 28.04 0.00 0.00 28.04 0.00
1800.04/1800.62 c logicor : 140.78 0.00 140.78 0.00 0.00
1800.04/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.62 c vbounds : 4.42 2 0 0
1800.04/1800.62 c rootredcost : 3.64 0 0 0
1800.04/1800.62 c pseudoobj : 1101.35 8229517 2179165 40290536
1800.04/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.62 c propagation : 59.89 40478 40478 40478 262.0 0 0.0 -
1800.04/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.62 c applied globally : - - - 0 0.0 - - -
1800.04/1800.62 c applied locally : - - - 40478 262.0 - - -
1800.04/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.62 c cut pool : 0.02 30 - - 10 - (maximal pool size: 248)
1800.04/1800.62 c redcost : 0.00 31 0 0 0 0
1800.04/1800.62 c impliedbounds : 0.03 31 0 0 0 0
1800.04/1800.62 c intobj : 0.00 0 0 0 0 0
1800.04/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.62 c gomory : 3.72 31 0 0 15500 0
1800.04/1800.62 c strongcg : 1.70 20 0 0 10000 0
1800.04/1800.62 c cmir : 0.19 10 0 0 0 0
1800.04/1800.62 c flowcover : 0.16 10 0 0 0 0
1800.04/1800.62 c clique : 0.00 31 0 0 6 0
1800.04/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.62 c mcf : 0.03 1 0 0 0 0
1800.04/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.62 c Pricers : Time Calls Vars
1800.04/1800.62 c problem variables: 0.00 0 0
1800.04/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.62 c relpscost : 28.04 1 0 0 0 0 2
1800.04/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.62 c inference : 197.38 2221984 0 0 0 0 4443968
1800.04/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.62 c random : 0.00 0 0 0 0 0 0
1800.04/1800.62 c Primal Heuristics : Time Calls Found
1800.04/1800.62 c LP solutions : 0.00 - 0
1800.04/1800.62 c pseudo solutions : 0.00 - 0
1800.04/1800.62 c crossover : 0.00 0 0
1800.04/1800.62 c oneopt : 2.51 2 1
1800.04/1800.62 c trivial : 0.00 2 3
1800.04/1800.62 c simplerounding : 0.02 32 18
1800.04/1800.62 c zirounding : 0.00 1 1
1800.04/1800.62 c rounding : 4.70 32 0
1800.04/1800.62 c shifting : 4.71 32 0
1800.04/1800.62 c intshifting : 0.00 0 0
1800.04/1800.62 c twoopt : 0.00 0 0
1800.04/1800.62 c fixandinfer : 0.00 0 0
1800.04/1800.62 c feaspump : 0.00 0 0
1800.04/1800.62 c coefdiving : 0.00 0 0
1800.04/1800.62 c pscostdiving : 0.00 0 0
1800.04/1800.62 c fracdiving : 0.00 0 0
1800.04/1800.62 c veclendiving : 0.00 0 0
1800.04/1800.62 c intdiving : 0.00 0 0
1800.04/1800.62 c actconsdiving : 0.00 0 0
1800.04/1800.62 c objpscostdiving : 0.00 0 0
1800.04/1800.62 c rootsoldiving : 0.00 0 0
1800.04/1800.62 c linesearchdiving : 0.00 0 0
1800.04/1800.62 c guideddiving : 0.00 0 0
1800.04/1800.62 c octane : 0.00 0 0
1800.04/1800.62 c rens : 0.01 0 0
1800.04/1800.62 c rins : 0.00 0 0
1800.04/1800.62 c localbranching : 0.00 0 0
1800.04/1800.62 c mutation : 0.00 0 0
1800.04/1800.62 c dins : 0.00 0 0
1800.04/1800.62 c undercover : 0.00 0 0
1800.04/1800.62 c nlp : 2.16 0 0
1800.04/1800.62 c trysol : 1.84 0 0
1800.04/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.62 c primal LP : 0.03 0 0 0.00 0.00
1800.04/1800.62 c dual LP : 14.18 32 15243 476.34 1074.96
1800.04/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.62 c strong branching : 28.04 22 21711 986.86 774.29
1800.04/1800.62 c (at root node) : - 22 21711 986.86 -
1800.04/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.62 c B&B Tree :
1800.04/1800.62 c number of runs : 1
1800.04/1800.62 c nodes : 4427439
1800.04/1800.62 c nodes (total) : 4427439
1800.04/1800.62 c nodes left : 264
1800.04/1800.62 c max depth : 283
1800.04/1800.62 c max depth (total): 283
1800.04/1800.62 c backtracks : 1149201 (26.0%)
1800.04/1800.62 c delayed cutoffs : 16268
1800.04/1800.62 c repropagations : 20538 (421990 domain reductions, 14189 cutoffs)
1800.04/1800.62 c avg switch length: 2.00
1800.04/1800.62 c switching time : 107.22
1800.04/1800.62 c Solution :
1800.04/1800.62 c Solutions found : 23 (3 improvements)
1800.04/1800.62 c First Solution : +1.96300000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1800.62 c Primal Bound : +1.15500000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <oneopt>)
1800.04/1800.62 c Dual Bound : +9.95000000000000e+02
1800.04/1800.62 c Gap : 16.08 %
1800.04/1800.62 c Root Dual Bound : +9.95000000000000e+02
1800.04/1800.62 c Root Iterations : 15243
1800.04/1800.66 c Time complete: 1800.08.