0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665484-1276390079.opb>
0.01/0.08 c original problem has 1968 variables (1968 bin, 0 int, 0 impl, 0 cont) and 4000 constraints
0.01/0.08 c problem read
0.01/0.08 c presolving settings loaded
0.09/0.10 o 1968
0.09/0.10 c feasible solution found by trivial heuristic, objective value 1.968000e+03
0.09/0.10 c presolving:
0.09/0.13 c (round 1) 156 del vars, 156 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 2) 321 del vars, 736 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.14 c (round 3) 376 del vars, 852 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 4) 409 del vars, 942 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.15 c (round 5) 419 del vars, 965 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 6) 428 del vars, 983 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.16 c (round 7) 433 del vars, 1002 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 8) 435 del vars, 1004 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.09/0.17 c (round 9) 437 del vars, 1011 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7996 impls, 0 clqs
0.19/0.22 c (round 10) 437 del vars, 1013 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2987 upgd conss, 7996 impls, 0 clqs
0.19/0.26 c (0.1s) probing: 101/1531 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.26 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.26 c presolving (11 rounds):
0.19/0.26 c 437 deleted vars, 1013 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.26 c 7996 implications, 0 cliques
0.19/0.26 c presolved problem has 1531 variables (1531 bin, 0 int, 0 impl, 0 cont) and 2987 constraints
0.19/0.26 c 2987 constraints of type <logicor>
0.19/0.26 c transformed objective value is always integral (scale: 1)
0.19/0.26 c Presolving Time: 0.13
0.19/0.26 c - non default parameters ----------------------------------------------------------------------
0.19/0.26 c # SCIP version 1.2.1.2
0.19/0.26 c
0.19/0.26 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.26 c conflict/interconss = 0
0.19/0.26 c
0.19/0.26 c # should binary conflicts be preferred?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c conflict/preferbinary = TRUE
0.19/0.26 c
0.19/0.26 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.26 c constraints/agelimit = 1
0.19/0.26 c
0.19/0.26 c # should enforcement of pseudo solution be disabled?
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/disableenfops = TRUE
0.19/0.26 c
0.19/0.26 c # frequency for displaying node information lines
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.26 c display/freq = 10000
0.19/0.26 c
0.19/0.26 c # maximal time in seconds to run
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/time = 1799.93
0.19/0.26 c
0.19/0.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.26 c limits/memory = 1620
0.19/0.26 c
0.19/0.26 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.26 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.26 c lp/solvefreq = 0
0.19/0.26 c
0.19/0.26 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.26 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.26 c lp/pricing = a
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify inequalities
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/linear/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # should presolving try to simplify knapsacks
0.19/0.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.26 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.26 c
0.19/0.26 c # priority of node selection rule <dfs> in standard mode
0.19/0.26 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.26 c nodeselection/dfs/stdpriority = 1000000
0.19/0.26 c
0.19/0.26 c -----------------------------------------------------------------------------------------------
0.19/0.26 c start solving
0.19/0.26 c
0.19/0.26 o 1745
0.19/0.26 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.26 c t 0.1s| 1 | 0 | 0 | - |5820k| 0 | - |1531 |2987 | 0 | 0 | 0 | 0 | 0 | -- | 1.745000e+03 | Inf
0.19/0.28 o 1163
0.19/0.28 c b 0.1s| 1 | 0 | 0 | - |7438k| 0 | - |1531 |2987 |1531 |2987 | 0 | 0 | 0 | -- | 1.163000e+03 | Inf
0.29/0.39 c 0.3s| 1 | 0 | 1881 | - |7413k| 0 |1531 |1531 |2987 |1531 |2987 | 0 | 0 | 0 | 9.795000e+02 | 1.163000e+03 | 18.73%
0.89/0.96 c 0.8s| 1 | 0 | 2126 | - |7523k| 0 |1513 |1531 |2987 |1531 |3000 | 13 | 0 | 0 | 9.855000e+02 | 1.163000e+03 | 18.01%
1.49/1.50 c 1.4s| 1 | 0 | 2361 | - |7554k| 0 |1511 |1531 |2987 |1531 |3008 | 21 | 0 | 0 | 9.875000e+02 | 1.163000e+03 | 17.77%
2.10/2.11 c 2.0s| 1 | 0 | 2714 | - |7585k| 0 |1510 |1531 |2987 |1531 |3011 | 24 | 0 | 0 | 9.890000e+02 | 1.163000e+03 | 17.59%
2.79/2.88 c 2.7s| 1 | 0 | 3351 | - |7626k| 0 |1510 |1531 |2987 |1531 |3015 | 28 | 0 | 0 | 9.905000e+02 | 1.163000e+03 | 17.42%
3.89/3.91 c 3.7s| 1 | 0 | 4033 | - |8362k| 0 |1499 |1531 |2987 |1531 |3020 | 33 | 0 | 0 | 9.915000e+02 | 1.163000e+03 | 17.30%
5.50/5.58 c 5.4s| 1 | 0 | 5119 | - |9245k| 0 |1487 |1531 |2987 |1531 |3024 | 37 | 0 | 0 | 9.925000e+02 | 1.163000e+03 | 17.18%
6.39/6.44 c 6.2s| 1 | 0 | 5623 | - |9312k| 0 |1486 |1531 |2987 |1531 |3027 | 40 | 0 | 0 | 9.930000e+02 | 1.163000e+03 | 17.12%
8.19/8.27 c 8.1s| 1 | 0 | 6472 | - | 10M| 0 |1486 |1531 |2987 |1531 |3029 | 42 | 0 | 0 | 9.935000e+02 | 1.163000e+03 | 17.06%
9.68/9.76 c 9.5s| 1 | 0 | 7804 | - | 10M| 0 |1501 |1531 |2987 |1531 |3032 | 45 | 0 | 0 | 9.943750e+02 | 1.163000e+03 | 16.96%
10.89/10.94 c 10.7s| 1 | 0 | 8799 | - | 10M| 0 |1494 |1531 |2987 |1531 |3034 | 47 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
12.59/12.62 c 12.4s| 1 | 0 | 9799 | - | 11M| 0 |1491 |1531 |2987 |1531 |3036 | 50 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
13.99/14.01 c 13.7s| 1 | 0 | 10520 | - | 12M| 0 |1469 |1531 |2987 |1531 |3039 | 53 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
14.99/15.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.99/15.05 c 14.8s| 1 | 0 | 11434 | - | 12M| 0 |1457 |1531 |2987 |1531 |3043 | 57 | 0 | 0 | 9.950000e+02 | 1.163000e+03 | 16.88%
16.59/16.62 c 16.3s| 1 | 0 | 12726 | - | 13M| 0 |1472 |1531 |2987 |1531 |3047 | 61 | 0 | 0 | 9.955000e+02 | 1.163000e+03 | 16.83%
17.79/17.85 c 17.5s| 1 | 0 | 13536 | - | 13M| 0 |1477 |1531 |2987 |1531 |3049 | 63 | 0 | 0 | 9.960000e+02 | 1.163000e+03 | 16.77%
19.79/19.88 c 19.5s| 1 | 0 | 15387 | - | 14M| 0 |1473 |1531 |2987 |1531 |3055 | 69 | 0 | 0 | 9.965000e+02 | 1.163000e+03 | 16.71%
21.90/22.00 c 21.6s| 1 | 0 | 17089 | - | 14M| 0 |1477 |1531 |2987 |1531 |3053 | 73 | 0 | 0 | 9.980000e+02 | 1.163000e+03 | 16.53%
23.59/23.62 c 23.2s| 1 | 0 | 18595 | - | 14M| 0 |1506 |1531 |2987 |1531 |3056 | 76 | 0 | 0 | 9.980000e+02 | 1.163000e+03 | 16.53%
26.08/26.20 c 25.8s| 1 | 0 | 20430 | - | 15M| 0 |1474 |1531 |2987 |1531 |3060 | 80 | 0 | 0 | 9.980000e+02 | 1.163000e+03 | 16.53%
27.88/27.94 c 27.5s| 1 | 0 | 21730 | - | 15M| 0 |1472 |1531 |2987 |1531 |3062 | 82 | 0 | 0 | 9.980000e+02 | 1.163000e+03 | 16.53%
30.09/30.16 c 29.7s| 1 | 0 | 23799 | - | 15M| 0 |1519 |1531 |2987 |1531 |3066 | 86 | 0 | 0 | 9.984400e+02 | 1.163000e+03 | 16.48%
31.38/31.43 c 31.0s| 1 | 0 | 24859 | - | 17M| 0 |1449 |1531 |2987 |1531 |3071 | 91 | 0 | 0 | 9.995000e+02 | 1.163000e+03 | 16.36%
33.78/33.86 c 33.4s| 1 | 0 | 26715 | - | 17M| 0 |1493 |1531 |2987 |1531 |3065 | 93 | 0 | 0 | 9.998294e+02 | 1.163000e+03 | 16.32%
35.38/35.45 c 34.9s| 1 | 0 | 28259 | - | 17M| 0 |1487 |1531 |2987 |1531 |3069 | 97 | 0 | 0 | 1.000295e+03 | 1.163000e+03 | 16.27%
36.68/36.74 c 36.2s| 1 | 0 | 29508 | - | 17M| 0 |1503 |1531 |2987 |1531 |3073 | 101 | 0 | 0 | 1.000808e+03 | 1.163000e+03 | 16.21%
37.87/37.94 c 37.4s| 1 | 0 | 30674 | - | 18M| 0 |1464 |1531 |2987 |1531 |3077 | 105 | 0 | 0 | 1.001250e+03 | 1.163000e+03 | 16.15%
40.38/40.42 c 39.8s| 1 | 0 | 33346 | - | 18M| 0 |1510 |1531 |2987 |1531 |3080 | 108 | 0 | 0 | 1.001800e+03 | 1.163000e+03 | 16.09%
42.08/42.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.08/42.16 c 41.5s| 1 | 0 | 34924 | - | 18M| 0 |1498 |1531 |2987 |1531 |3084 | 112 | 0 | 0 | 1.002000e+03 | 1.163000e+03 | 16.07%
44.58/44.69 c 44.0s| 1 | 0 | 37237 | - | 19M| 0 |1471 |1531 |2987 |1531 |3076 | 116 | 0 | 0 | 1.002500e+03 | 1.163000e+03 | 16.01%
46.47/46.55 c 45.9s| 1 | 0 | 39188 | - | 19M| 0 |1528 |1531 |2987 |1531 |3080 | 120 | 0 | 0 | 1.002979e+03 | 1.163000e+03 | 15.95%
47.58/47.66 c 47.0s| 1 | 0 | 40290 | - | 20M| 0 |1494 |1531 |2987 |1531 |3085 | 125 | 0 | 0 | 1.003437e+03 | 1.163000e+03 | 15.90%
49.07/49.10 c 48.4s| 1 | 0 | 41812 | - | 21M| 0 |1503 |1531 |2987 |1531 |3090 | 130 | 0 | 0 | 1.003901e+03 | 1.163000e+03 | 15.85%
50.38/50.43 c 49.7s| 1 | 0 | 43256 | - | 21M| 0 |1528 |1531 |2987 |1531 |3093 | 133 | 0 | 0 | 1.004246e+03 | 1.163000e+03 | 15.81%
52.07/52.10 c 51.4s| 1 | 0 | 43431 | - | 21M| 0 |1525 |1531 |2987 |1531 |3094 | 134 | 0 | 0 | 1.004246e+03 | 1.163000e+03 | 15.81%
55.07/55.19 c 54.5s| 1 | 0 | 45476 | - | 21M| 0 |1529 |1531 |2987 |1531 |3084 | 136 | 0 | 0 | 1.004333e+03 | 1.163000e+03 | 15.80%
71.27/71.36 c 70.4s| 1 | 2 | 45476 | - | 21M| 0 |1529 |1531 |2987 |1531 |3084 | 136 | 0 | 29 | 1.004333e+03 | 1.163000e+03 | 15.80%
75.77/75.90 c 74.8s| 10000 | 249 | 45476 | 0.0 | 22M| 263 | - |1531 |2987 | 0 | 0 | 136 | 259 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
80.06/80.19 c 79.0s| 20000 | 248 | 45476 | 0.0 | 22M| 263 | - |1531 |2987 | 0 | 0 | 136 | 368 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
84.46/84.52 c 83.2s| 30000 | 250 | 45476 | 0.0 | 22M| 264 | - |1531 |2987 | 0 | 0 | 136 | 480 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
88.76/88.82 c 87.3s| 40000 | 249 | 45476 | 0.0 | 22M| 264 | - |1531 |2987 | 0 | 0 | 136 | 571 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
93.06/93.14 c 91.5s| 50000 | 248 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 | 692 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
97.36/97.46 c 95.7s| 60000 | 248 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 | 804 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
101.65/101.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
101.65/101.76 c 99.9s| 70000 | 248 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 | 938 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
106.05/106.14 c 104s| 80000 | 245 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1102 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
110.35/110.49 c 108s| 90000 | 245 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1209 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
114.55/114.68 c 112s|100000 | 246 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1267 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
118.85/118.94 c 117s|110000 | 247 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1400 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
123.16/123.27 c 121s|120000 | 249 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1538 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
127.46/127.54 c 125s|130000 | 248 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1665 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
131.75/131.88 c 129s|140000 | 249 | 45476 | 0.0 | 22M| 265 | - |1531 |2987 | 0 | 0 | 136 |1794 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
136.14/136.22 c 133s|150000 | 249 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |1947 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
140.45/140.51 c 137s|160000 | 245 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |2060 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
144.74/144.86 c 142s|170000 | 244 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |2171 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
149.04/149.17 c 146s|180000 | 249 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |2293 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
153.44/153.50 c 150s|190000 | 249 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |2397 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
157.74/157.84 c 154s|200000 | 247 | 45476 | 0.0 | 22M| 266 | - |1531 |2987 | 0 | 0 | 136 |2524 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
162.04/162.14 c 158s|210000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |2682 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
166.33/166.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.33/166.44 c 162s|220000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |2774 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
170.73/170.83 c 167s|230000 | 248 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |2930 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
175.03/175.18 c 171s|240000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3051 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
179.44/179.58 c 175s|250000 | 249 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3200 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
183.73/183.89 c 179s|260000 | 249 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3308 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
188.13/188.24 c 184s|270000 | 248 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3438 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
192.43/192.53 c 188s|280000 | 249 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3528 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
196.73/196.81 c 192s|290000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3620 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
201.03/201.18 c 196s|300000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3739 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
205.32/205.45 c 200s|310000 | 250 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3818 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
209.62/209.76 c 204s|320000 | 249 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |3945 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
214.02/214.13 c 209s|330000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4047 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
218.31/218.43 c 213s|340000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4125 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
222.62/222.76 c 217s|350000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4220 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
226.92/227.06 c 221s|360000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4321 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
231.21/231.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.21/231.38 c 225s|370000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4407 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
235.51/235.67 c 229s|380000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4494 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
240.01/240.10 c 234s|390000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4640 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
244.30/244.48 c 238s|400000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4730 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
248.71/248.86 c 242s|410000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4832 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
253.11/253.25 c 246s|420000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |4936 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
257.50/257.61 c 251s|430000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5018 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
261.80/262.00 c 255s|440000 | 248 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5127 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
266.11/266.26 c 259s|450000 | 247 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5203 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
270.40/270.55 c 263s|460000 | 249 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5294 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
274.81/274.93 c 267s|470000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5384 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
279.10/279.29 c 272s|480000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5461 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
283.49/283.63 c 276s|490000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5549 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
287.89/288.01 c 280s|500000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5644 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
292.19/292.40 c 284s|510000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5752 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
296.59/296.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.59/296.77 c 288s|520000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5860 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
300.89/301.05 c 293s|530000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |5966 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
305.18/305.32 c 297s|540000 | 244 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |6048 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
309.59/309.70 c 301s|550000 | 245 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |6165 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
313.89/314.02 c 305s|560000 | 246 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |6268 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
318.09/318.29 c 309s|570000 | 243 | 45476 | 0.0 | 22M| 267 | - |1531 |2987 | 0 | 0 | 136 |6352 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
322.48/322.66 c 313s|580000 | 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |6434 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
326.88/327.06 c 318s|590000 | 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |6615 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
331.17/331.38 c 322s|600000 | 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |6732 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
335.48/335.69 c 326s|610000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |6825 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
339.78/339.96 c 330s|620000 | 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |6938 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
344.08/344.27 c 334s|630000 | 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7024 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
348.38/348.58 c 339s|640000 | 251 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7111 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
352.67/352.88 c 343s|650000 | 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7202 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
357.07/357.20 c 347s|660000 | 250 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7338 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
361.37/361.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.37/361.52 c 351s|670000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7444 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
365.67/365.87 c 355s|680000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7587 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
369.97/370.19 c 359s|690000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7694 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
374.37/374.56 c 364s|700000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7851 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
378.76/378.93 c 368s|710000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |7991 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
383.06/383.28 c 372s|720000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8088 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
387.46/387.64 c 376s|730000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8207 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
391.86/392.01 c 381s|740000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8317 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
396.16/396.35 c 385s|750000 | 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8397 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
400.45/400.68 c 389s|760000 | 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8538 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
404.86/405.03 c 393s|770000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8668 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
409.15/409.38 c 397s|780000 | 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8822 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
413.55/413.72 c 402s|790000 | 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |8904 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
417.85/418.02 c 406s|800000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9051 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
422.16/422.33 c 410s|810000 | 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9170 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
426.55/426.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.55/426.71 c 414s|820000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9331 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
430.85/431.03 c 418s|830000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9454 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
435.15/435.39 c 422s|840000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9566 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
439.54/439.74 c 427s|850000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9698 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
443.84/444.04 c 431s|860000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9825 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
448.23/448.40 c 435s|870000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 |9956 | 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
452.54/452.73 c 439s|880000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
456.84/457.01 c 443s|890000 | 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
461.14/461.37 c 448s|900000 | 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
465.54/465.72 c 452s|910000 | 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
469.83/470.03 c 456s|920000 | 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
474.13/474.37 c 460s|930000 | 251 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
478.43/478.65 c 464s|940000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
482.74/482.99 c 469s|950000 | 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
487.13/487.32 c 473s|960000 | 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 10k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
491.53/491.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.53/491.71 c 477s|970000 | 250 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
495.83/496.06 c 481s|980000 | 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
500.23/500.43 c 485s|990000 | 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
504.52/504.78 c 490s| 1000k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
508.82/509.08 c 494s| 1010k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
513.22/513.44 c 498s| 1020k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
517.61/517.84 c 502s| 1030k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
522.01/522.22 c 506s| 1040k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
526.31/526.58 c 511s| 1050k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 11k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
530.71/530.94 c 515s| 1060k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
535.01/535.28 c 519s| 1070k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
539.31/539.57 c 523s| 1080k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
543.61/543.90 c 527s| 1090k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
548.01/548.23 c 532s| 1100k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
552.31/552.51 c 536s| 1110k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
556.50/556.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
556.50/556.77 c 540s| 1120k| 250 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
560.90/561.12 c 544s| 1130k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
565.30/565.51 c 548s| 1140k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
569.61/569.89 c 553s| 1150k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 12k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
574.00/574.24 c 557s| 1160k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
578.30/578.53 c 561s| 1170k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
582.70/582.91 c 565s| 1180k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
586.90/587.19 c 569s| 1190k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
591.19/591.47 c 574s| 1200k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
595.49/595.78 c 578s| 1210k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
599.79/600.07 c 582s| 1220k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
604.19/604.46 c 586s| 1230k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
608.49/608.75 c 590s| 1240k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
612.78/613.08 c 594s| 1250k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
617.08/617.35 c 599s| 1260k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
621.48/621.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.48/621.74 c 603s| 1270k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 13k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
625.78/626.02 c 607s| 1280k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
629.99/630.26 c 611s| 1290k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
634.28/634.52 c 615s| 1300k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
638.58/638.85 c 619s| 1310k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
642.97/643.20 c 624s| 1320k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
647.27/647.57 c 628s| 1330k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
651.67/651.93 c 632s| 1340k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
656.06/656.33 c 636s| 1350k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
660.36/660.69 c 640s| 1360k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
664.86/665.10 c 645s| 1370k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
669.16/669.42 c 649s| 1380k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 14k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
673.47/673.75 c 653s| 1390k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
677.87/678.20 c 657s| 1400k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
682.26/682.58 c 662s| 1410k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
686.76/687.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
686.76/687.00 c 666s| 1420k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
691.16/691.42 c 670s| 1430k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
695.45/695.79 c 674s| 1440k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
699.86/700.17 c 679s| 1450k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
704.25/704.53 c 683s| 1460k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
708.55/708.86 c 687s| 1470k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 15k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
712.94/713.22 c 691s| 1480k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
717.35/717.62 c 696s| 1490k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
721.75/722.00 c 700s| 1500k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
726.04/726.34 c 704s| 1510k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
730.34/730.67 c 708s| 1520k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
734.64/734.98 c 712s| 1530k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
739.04/739.35 c 717s| 1540k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
743.35/743.67 c 721s| 1550k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
747.74/748.03 c 725s| 1560k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
752.14/752.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.14/752.42 c 729s| 1570k| 241 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 16k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
756.54/756.85 c 734s| 1580k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
760.94/761.27 c 738s| 1590k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
765.34/765.64 c 742s| 1600k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
769.64/769.99 c 746s| 1610k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
774.14/774.45 c 751s| 1620k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
778.53/778.84 c 755s| 1630k| 241 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
782.91/783.25 c 759s| 1640k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
787.22/787.60 c 763s| 1650k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
791.62/791.91 c 767s| 1660k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 17k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
796.01/796.37 c 772s| 1670k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
800.41/800.72 c 776s| 1680k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
804.81/805.18 c 780s| 1690k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
809.21/809.57 c 785s| 1700k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
813.61/813.92 c 789s| 1710k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
817.89/818.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
817.89/818.28 c 793s| 1720k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
822.30/822.64 c 797s| 1730k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
826.69/827.04 c 801s| 1740k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
830.99/831.39 c 806s| 1750k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
835.39/835.78 c 810s| 1760k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 18k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
839.79/840.12 c 814s| 1770k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
844.09/844.43 c 818s| 1780k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
848.39/848.78 c 822s| 1790k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
852.79/853.19 c 827s| 1800k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
857.19/857.56 c 831s| 1810k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
861.59/861.98 c 835s| 1820k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
865.98/866.37 c 839s| 1830k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
870.38/870.76 c 844s| 1840k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
874.78/875.18 c 848s| 1850k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
879.18/879.57 c 852s| 1860k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 19k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
883.58/883.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.58/883.93 c 856s| 1870k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
887.87/888.28 c 861s| 1880k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
892.27/892.62 c 865s| 1890k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
896.57/896.96 c 869s| 1900k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
900.87/901.25 c 873s| 1910k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
905.17/905.53 c 877s| 1920k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
909.47/909.83 c 881s| 1930k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
913.77/914.16 c 886s| 1940k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
918.17/918.51 c 890s| 1950k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
922.47/922.82 c 894s| 1960k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
926.76/927.19 c 898s| 1970k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
931.16/931.54 c 902s| 1980k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
935.46/935.82 c 906s| 1990k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
939.86/940.22 c 911s| 2000k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 20k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
944.16/944.55 c 915s| 2010k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
948.55/948.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
948.55/948.91 c 919s| 2020k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
952.85/953.29 c 923s| 2030k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
957.25/957.64 c 928s| 2040k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
961.55/961.94 c 932s| 2050k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
965.85/966.28 c 936s| 2060k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
970.15/970.57 c 940s| 2070k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
974.54/974.92 c 944s| 2080k| 241 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
978.84/979.26 c 948s| 2090k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
983.24/983.61 c 953s| 2100k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
987.45/987.87 c 957s| 2110k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
991.85/992.22 c 961s| 2120k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
996.04/996.47 c 965s| 2130k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 21k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1000.34/1000.79 c 969s| 2140k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1004.73/1005.18 c 974s| 2150k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1009.13/1009.53 c 978s| 2160k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1013.53/1013.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1013.53/1013.90 c 982s| 2170k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1017.83/1018.20 c 986s| 2180k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1022.13/1022.55 c 990s| 2190k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1026.32/1026.79 c 994s| 2200k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1030.63/1031.04 c 999s| 2210k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1034.82/1035.30 c 1003s| 2220k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1039.13/1039.55 c 1007s| 2230k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1043.43/1043.81 c 1011s| 2240k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1047.72/1048.12 c 1015s| 2250k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1051.92/1052.37 c 1019s| 2260k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 22k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1056.22/1056.69 c 1023s| 2270k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1060.61/1061.03 c 1028s| 2280k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1065.01/1065.42 c 1032s| 2290k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1069.32/1069.78 c 1036s| 2300k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1073.72/1074.13 c 1040s| 2310k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1078.01/1078.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.01/1078.48 c 1044s| 2320k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1082.41/1082.83 c 1049s| 2330k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1086.81/1087.20 c 1053s| 2340k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1091.01/1091.44 c 1057s| 2350k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1095.31/1095.71 c 1061s| 2360k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1099.61/1100.02 c 1065s| 2370k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1103.91/1104.36 c 1070s| 2380k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 23k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1108.20/1108.63 c 1074s| 2390k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1112.40/1112.82 c 1078s| 2400k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1116.70/1117.14 c 1082s| 2410k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1120.90/1121.38 c 1086s| 2420k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1125.20/1125.68 c 1090s| 2430k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1129.39/1129.90 c 1094s| 2440k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1133.89/1134.32 c 1098s| 2450k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1138.29/1138.73 c 1103s| 2460k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1142.49/1142.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.49/1142.96 c 1107s| 2470k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1146.79/1147.26 c 1111s| 2480k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1151.19/1151.60 c 1115s| 2490k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1155.49/1155.92 c 1119s| 2500k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1159.78/1160.22 c 1124s| 2510k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1164.08/1164.54 c 1128s| 2520k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 24k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1168.38/1168.80 c 1132s| 2530k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1172.68/1173.11 c 1136s| 2540k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1176.88/1177.35 c 1140s| 2550k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1181.18/1181.67 c 1144s| 2560k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1185.47/1185.94 c 1148s| 2570k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1189.87/1190.37 c 1153s| 2580k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1194.28/1194.71 c 1157s| 2590k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1198.58/1199.02 c 1161s| 2600k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1202.87/1203.36 c 1165s| 2610k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1207.27/1207.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.27/1207.74 c 1169s| 2620k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 25k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1211.56/1212.07 c 1174s| 2630k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1215.97/1216.43 c 1178s| 2640k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1220.26/1220.76 c 1182s| 2650k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1224.66/1225.13 c 1186s| 2660k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1229.06/1229.50 c 1191s| 2670k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1233.36/1233.85 c 1195s| 2680k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1237.65/1238.19 c 1199s| 2690k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1242.06/1242.56 c 1203s| 2700k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 26k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1246.45/1246.99 c 1207s| 2710k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1250.95/1251.40 c 1212s| 2720k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1255.25/1255.77 c 1216s| 2730k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1259.55/1260.09 c 1220s| 2740k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1263.95/1264.44 c 1224s| 2750k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1268.24/1268.78 c 1229s| 2760k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1272.65/1273.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.65/1273.10 c 1233s| 2770k| 241 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1277.04/1277.56 c 1237s| 2780k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1281.55/1282.03 c 1241s| 2790k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1285.94/1286.48 c 1246s| 2800k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 27k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1290.33/1290.81 c 1250s| 2810k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1294.74/1295.21 c 1254s| 2820k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1299.13/1299.62 c 1258s| 2830k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1303.44/1303.96 c 1263s| 2840k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1307.83/1308.34 c 1267s| 2850k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1312.23/1312.74 c 1271s| 2860k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1316.53/1317.05 c 1275s| 2870k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1320.93/1321.43 c 1279s| 2880k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 28k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1325.33/1325.82 c 1284s| 2890k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1329.72/1330.21 c 1288s| 2900k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1334.02/1334.55 c 1292s| 2910k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1338.32/1338.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.32/1338.89 c 1296s| 2920k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1342.72/1343.22 c 1301s| 2930k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1347.12/1347.64 c 1305s| 2940k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1351.52/1352.05 c 1309s| 2950k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 29k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1355.82/1356.36 c 1313s| 2960k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1360.12/1360.69 c 1317s| 2970k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1364.52/1365.02 c 1322s| 2980k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1368.81/1369.30 c 1326s| 2990k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1373.11/1373.70 c 1330s| 3000k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1377.51/1378.06 c 1334s| 3010k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1381.91/1382.42 c 1338s| 3020k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1386.21/1386.70 c 1343s| 3030k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1390.50/1391.05 c 1347s| 3040k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 30k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1394.90/1395.44 c 1351s| 3050k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1399.30/1399.82 c 1355s| 3060k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1403.60/1404.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.60/1404.19 c 1359s| 3070k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1408.00/1408.55 c 1364s| 3080k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1412.39/1412.91 c 1368s| 3090k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1416.70/1417.24 c 1372s| 3100k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1420.99/1421.55 c 1376s| 3110k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1425.39/1425.92 c 1380s| 3120k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1429.69/1430.27 c 1385s| 3130k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1433.99/1434.56 c 1389s| 3140k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 31k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1438.30/1438.87 c 1393s| 3150k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1442.69/1443.21 c 1397s| 3160k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1446.99/1447.58 c 1401s| 3170k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1451.39/1451.95 c 1406s| 3180k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1455.68/1456.26 c 1410s| 3190k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1459.98/1460.58 c 1414s| 3200k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1464.37/1464.90 c 1418s| 3210k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1468.57/1469.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.57/1469.19 c 1422s| 3220k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1472.88/1473.50 c 1427s| 3230k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1477.28/1477.85 c 1431s| 3240k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 32k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1481.57/1482.14 c 1435s| 3250k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1485.98/1486.50 c 1439s| 3260k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1490.27/1490.83 c 1443s| 3270k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1494.57/1495.13 c 1447s| 3280k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1498.86/1499.41 c 1452s| 3290k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1503.17/1503.74 c 1456s| 3300k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1507.36/1507.98 c 1460s| 3310k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1511.76/1512.30 c 1464s| 3320k| 249 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1515.97/1516.57 c 1468s| 3330k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 33k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1520.26/1520.90 c 1472s| 3340k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1524.65/1525.22 c 1477s| 3350k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1528.86/1529.49 c 1481s| 3360k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1533.15/1533.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1533.15/1533.78 c 1485s| 3370k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1537.46/1538.05 c 1489s| 3380k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1541.75/1542.38 c 1493s| 3390k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1546.05/1546.63 c 1497s| 3400k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1550.36/1550.91 c 1501s| 3410k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1554.55/1555.19 c 1506s| 3420k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1558.85/1559.48 c 1510s| 3430k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 34k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1563.14/1563.76 c 1514s| 3440k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1567.34/1568.00 c 1518s| 3450k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1571.74/1572.33 c 1522s| 3460k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1575.94/1576.57 c 1526s| 3470k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1580.34/1580.91 c 1530s| 3480k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1584.64/1585.24 c 1535s| 3490k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1589.04/1589.61 c 1539s| 3500k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1593.34/1593.95 c 1543s| 3510k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1597.64/1598.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.64/1598.28 c 1547s| 3520k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1601.93/1602.60 c 1551s| 3530k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1606.23/1606.86 c 1555s| 3540k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 35k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1610.63/1611.22 c 1560s| 3550k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1614.93/1615.56 c 1564s| 3560k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1619.22/1619.86 c 1568s| 3570k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1623.62/1624.24 c 1572s| 3580k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1627.92/1628.55 c 1576s| 3590k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1632.32/1632.93 c 1581s| 3600k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1636.62/1637.22 c 1585s| 3610k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1640.91/1641.50 c 1589s| 3620k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1645.22/1645.82 c 1593s| 3630k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 36k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1649.62/1650.20 c 1597s| 3640k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1653.92/1654.54 c 1602s| 3650k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1658.22/1658.84 c 1606s| 3660k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1662.61/1663.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1662.61/1663.21 c 1610s| 3670k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1666.91/1667.57 c 1614s| 3680k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1671.31/1671.96 c 1618s| 3690k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1675.60/1676.22 c 1622s| 3700k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1679.90/1680.50 c 1627s| 3710k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 37k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1684.30/1684.94 c 1631s| 3720k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1688.60/1689.29 c 1635s| 3730k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1693.10/1693.71 c 1639s| 3740k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1697.30/1697.96 c 1644s| 3750k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1701.60/1702.27 c 1648s| 3760k| 242 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1706.00/1706.62 c 1652s| 3770k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1710.30/1710.96 c 1656s| 3780k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1714.69/1715.33 c 1660s| 3790k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1719.09/1719.70 c 1665s| 3800k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 38k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1723.39/1724.02 c 1669s| 3810k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1727.68/1728.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.68/1728.32 c 1673s| 3820k| 247 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1731.99/1732.60 c 1677s| 3830k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1736.19/1736.88 c 1681s| 3840k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1740.59/1741.27 c 1685s| 3850k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1744.99/1745.65 c 1690s| 3860k| 248 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1749.28/1749.96 c 1694s| 3870k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1753.68/1754.31 c 1698s| 3880k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1757.98/1758.66 c 1702s| 3890k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1762.27/1762.97 c 1706s| 3900k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 39k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1766.57/1767.29 c 1711s| 3910k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1770.97/1771.66 c 1715s| 3920k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1775.38/1776.00 c 1719s| 3930k| 245 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1779.58/1780.29 c 1723s| 3940k| 244 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1783.97/1784.64 c 1727s| 3950k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1788.26/1788.98 c 1732s| 3960k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1792.66/1793.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.66/1793.37 c 1736s| 3970k| 243 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1796.96/1797.65 c 1740s| 3980k| 246 | 45476 | 0.0 | 22M| 268 | - |1531 |2987 | 0 | 0 | 136 | 40k| 29 | 1.004780e+03 | 1.163000e+03 | 15.75%
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1742.96
1800.08/1800.71 c Solving Nodes : 3987139
1800.08/1800.71 c Primal Bound : +1.16300000000000e+03 (32 solutions)
1800.08/1800.71 c Dual Bound : +1.00478006635333e+03
1800.08/1800.71 c Gap : 15.75 %
1800.08/1800.72 s SATISFIABLE
1800.08/1800.72 v -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 x1962 x1961 -x1960 x1959 x1958 -x1957 -x1956 x1955 -x1954 -x1953 x1952 x1951 x1950 x1949
1800.08/1800.72 v -x1948 -x1947 x1946 x1945 x1944 x1943 -x1942 -x1941 -x1940 x1939 x1938 -x1937 -x1936 x1935 x1934 x1933 x1932 -x1931 x1930
1800.08/1800.72 v -x1929 x1928 -x1927 x1926 -x1925 -x1924 x1923 x1922 x1921 x1920 -x1919 -x1918 x1917 x1916 x1915 -x1914 x1913 -x1912 x1911 x1910
1800.08/1800.72 v x1909 -x1908 -x1907 -x1906 x1905 x1904 x1903 x1902 -x1901 -x1900 -x1899 -x1898 x1897 -x1896 x1895 -x1894 -x1893 x1892 x1891
1800.08/1800.72 v -x1890 -x1889 -x1888 -x1887 -x1886 x1885 x1884 -x1883 x1882 -x1881 x1880 x1879 x1878 x1877 x1876 x1875 x1874 x1873 x1872 x1871
1800.08/1800.72 v -x1870 -x1869 x1868 x1867 x1866 -x1865 -x1864 x1863 x1862 x1861 x1860 -x1859 -x1858 x1857 -x1856 -x1855 -x1854 x1853 -x1852
1800.08/1800.72 v x1851 x1850 x1849 x1848 x1847 x1846 -x1845 -x1844 x1843 -x1842 x1841 -x1840 -x1839 -x1838 -x1837 -x1836 x1835 x1834 -x1833
1800.08/1800.72 v -x1832 x1831 x1830 x1829 x1828 x1827 x1826 -x1825 x1824 x1823 x1822 x1821 -x1820 x1819 x1818 -x1817 -x1816 x1815 x1814 x1813
1800.08/1800.72 v -x1812 x1811 x1810 x1809 x1808 x1807 x1806 x1805 -x1804 -x1803 x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794
1800.08/1800.72 v x1793 x1792 -x1791 x1790 x1789 x1788 x1787 -x1786 x1785 x1784 x1783 x1782 -x1781 x1780 x1779 x1778 -x1777 -x1776 -x1775 x1774
1800.08/1800.72 v x1773 x1772 x1771 x1770 x1769 x1768 -x1767 x1766 x1765 x1764 x1763 -x1762 x1761 x1760 x1759 x1758 x1757 -x1756 x1755 -x1754
1800.08/1800.72 v -x1753 x1752 x1751 x1750 x1749 x1748 x1747 -x1746 -x1745 x1744 x1743 x1742 -x1741 x1740 x1739 x1738 x1737 x1736 x1735 -x1734
1800.08/1800.72 v x1733 x1732 x1731 x1730 x1729 -x1728 x1727 x1726 -x1725 x1724 -x1723 x1722 x1721 x1720 x1719 x1718 -x1717 x1716 x1715 x1714 x1713
1800.08/1800.72 v -x1712 x1711 -x1710 x1709 x1708 -x1707 x1706 -x1705 x1704 x1703 -x1702 x1701 -x1700 -x1699 x1698 x1697 x1696 x1695 -x1694
1800.08/1800.72 v x1693 -x1692 -x1691 x1690 x1689 x1688 -x1687 -x1686 x1685 x1684 -x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 -x1676 x1675
1800.08/1800.72 v -x1674 -x1673 -x1672 x1671 -x1670 x1669 x1668 x1667 -x1666 x1665 x1664 x1663 x1662 x1661 x1660 x1659 x1658 x1657 x1656 x1655
1800.08/1800.72 v -x1654 -x1653 -x1652 -x1651 -x1650 x1649 -x1648 x1647 x1646 x1645 x1644 x1643 x1642 x1641 x1640 x1639 x1638 x1637 x1636 x1635
1800.08/1800.72 v x1634 x1633 -x1632 -x1631 x1630 -x1629 x1628 x1627 -x1626 x1625 -x1624 x1623 -x1622 x1621 x1620 -x1619 -x1618 -x1617 x1616
1800.08/1800.72 v x1615 x1614 x1613 x1612 -x1611 x1610 x1609 -x1608 x1607 -x1606 x1605 x1604 x1603 -x1602 x1601 -x1600 x1599 x1598 x1597 x1596
1800.08/1800.72 v x1595 -x1594 x1593 x1592 x1591 x1590 x1589 x1588 x1587 x1586 x1585 -x1584 x1583 x1582 x1581 -x1580 x1579 x1578 -x1577 x1576
1800.08/1800.72 v x1575 x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 x1567 x1566 -x1565 -x1564 x1563 x1562 x1561 x1560 x1559 -x1558 -x1557 -x1556
1800.08/1800.72 v -x1555 x1554 -x1553 x1552 -x1551 -x1550 x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 x1541 x1540 x1539 x1538 -x1537
1800.08/1800.72 v x1536 x1535 -x1534 x1533 x1532 x1531 x1530 -x1529 x1528 -x1527 -x1526 x1525 x1524 x1523 -x1522 x1521 x1520 x1519 x1518 x1517
1800.08/1800.72 v x1516 x1515 x1514 x1513 x1512 x1511 x1510 x1509 x1508 x1507 x1506 x1505 x1504 x1503 -x1502 x1501 x1500 -x1499 -x1498 x1497
1800.08/1800.72 v x1496 x1495 x1494 x1493 x1492 -x1491 -x1490 x1489 -x1488 x1487 x1486 x1485 x1484 -x1483 x1482 x1481 x1480 -x1479 -x1478 x1477
1800.08/1800.72 v x1476 x1475 -x1474 x1473 x1472 x1471 x1470 x1469 -x1468 x1467 x1466 x1465 -x1464 x1463 x1462 x1461 x1460 x1459 x1458 x1457
1800.08/1800.72 v x1456 x1455 -x1454 x1453 x1452 -x1451 x1450 -x1449 x1448 -x1447 x1446 x1445 x1444 x1443 x1442 -x1441 x1440 x1439 -x1438 -x1437
1800.08/1800.72 v -x1436 x1435 x1434 -x1433 x1432 x1431 x1430 x1429 -x1428 x1427 -x1426 -x1425 -x1424 x1423 x1422 -x1421 x1420 x1419 x1418 x1417
1800.08/1800.72 v x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 x1408 x1407 -x1406 -x1405 -x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397
1800.08/1800.72 v x1396 -x1395 x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 x1387 -x1386 x1385 -x1384 -x1383 x1382 -x1381 x1380 x1379 x1378
1800.08/1800.72 v x1377 x1376 x1375 -x1374 -x1373 x1372 x1371 x1370 x1369 x1368 x1367 x1366 x1365 x1364 -x1363 x1362 -x1361 x1360 x1359 x1358 -x1357
1800.08/1800.72 v x1356 x1355 -x1354 x1353 -x1352 x1351 x1350 x1349 x1348 -x1347 x1346 -x1345 x1344 x1343 x1342 x1341 x1340 -x1339 x1338
1800.08/1800.72 v x1337 -x1336 x1335 x1334 -x1333 x1332 x1331 x1330 x1329 -x1328 x1327 -x1326 x1325 x1324 -x1323 x1322 x1321 x1320 x1319 x1318
1800.08/1800.72 v x1317 -x1316 x1315 x1314 x1313 x1312 x1311 -x1310 x1309 x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301 x1300 x1299 -x1298
1800.08/1800.72 v -x1297 x1296 x1295 x1294 x1293 x1292 x1291 -x1290 x1289 -x1288 x1287 x1286 x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 x1278
1800.08/1800.72 v -x1277 x1276 x1275 x1274 x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 x1264 x1263 x1262 x1261 x1260 x1259 x1258
1800.08/1800.72 v x1257 x1256 -x1255 x1254 x1253 x1252 -x1251 x1250 x1249 x1248 -x1247 x1246 x1245 x1244 x1243 -x1242 x1241 x1240 x1239 -x1238
1800.08/1800.72 v x1237 x1236 -x1235 -x1234 x1233 x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 -x1224 x1223 x1222 x1221 x1220 x1219 x1218
1800.08/1800.72 v x1217 x1216 x1215 -x1214 x1213 x1212 x1211 x1210 x1209 -x1208 x1207 -x1206 x1205 x1204 x1203 x1202 x1201 -x1200 -x1199 x1198
1800.08/1800.72 v x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 -x1188 x1187 x1186 x1185 -x1184 x1183 x1182 -x1181 x1180 x1179 x1178
1800.08/1800.72 v -x1177 x1176 -x1175 x1174 x1173 -x1172 -x1171 x1170 x1169 x1168 x1167 x1166 x1165 x1164 x1163 x1162 x1161 x1160 x1159 x1158
1800.08/1800.72 v x1157 x1156 -x1155 x1154 x1153 -x1152 x1151 x1150 x1149 x1148 x1147 x1146 -x1145 -x1144 x1143 x1142 -x1141 x1140 -x1139 x1138
1800.08/1800.72 v x1137 x1136 x1135 x1134 x1133 -x1132 x1131 x1130 x1129 x1128 -x1127 -x1126 -x1125 x1124 -x1123 x1122 x1121 x1120 x1119 x1118
1800.08/1800.72 v x1117 x1116 x1115 x1114 x1113 x1112 -x1111 x1110 x1109 x1108 x1107 -x1106 x1105 x1104 x1103 x1102 -x1101 x1100 x1099 -x1098
1800.08/1800.72 v -x1097 x1096 -x1095 x1094 x1093 x1092 -x1091 x1090 -x1089 x1088 x1087 x1086 x1085 x1084 x1083 -x1082 x1081 -x1080 x1079 x1078
1800.08/1800.72 v -x1077 -x1076 x1075 -x1074 x1073 x1072 x1071 -x1070 x1069 x1068 x1067 x1066 x1065 -x1064 x1063 -x1062 -x1061 -x1060 x1059 x1058
1800.08/1800.72 v x1057 x1056 x1055 x1054 x1053 x1052 x1051 -x1050 x1049 x1048 x1047 -x1046 -x1045 x1044 x1043 x1042 -x1041 x1040 x1039 -x1038
1800.08/1800.72 v -x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027 x1026 x1025 -x1024 x1023 x1022 x1021 -x1020 -x1019 -x1018
1800.08/1800.72 v x1017 x1016 x1015 -x1014 -x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 -x1002 x1001 x1000 -x999 -x998
1800.08/1800.72 v -x997 x996 x995 x994 -x993 x992 x991 x990 x989 x988 x987 x986 x985 x984 -x983 -x982 -x981 -x980 x979 x978 -x977 -x976 x975
1800.08/1800.72 v x974 x973 -x972 x971 x970 x969 -x968 x967 x966 x965 x964 -x963 x962 x961 x960 x959 x958 x957 x956 -x955 x954 x953 x952 x951 x950
1800.08/1800.72 v -x949 x948 x947 -x946 x945 -x944 x943 x942 x941 x940 x939 -x938 x937 -x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926
1800.08/1800.72 v x925 x924 -x923 x922 -x921 x920 x919 x918 x917 x916 -x915 x914 x913 x912 x911 -x910 -x909 x908 x907 -x906 -x905 x904 x903
1800.08/1800.72 v x902 x901 -x900 -x899 -x898 -x897 x896 -x895 -x894 x893 -x892 -x891 x890 x889 x888 -x887 x886 x885 x884 x883 x882 -x881 -x880
1800.08/1800.72 v -x879 x878 x877 x876 -x875 x874 -x873 -x872 x871 -x870 -x869 x868 -x867 x866 x865 -x864 -x863 x862 x861 -x860 x859 x858 -x857
1800.08/1800.72 v x856 x855 -x854 x853 -x852 x851 -x850 -x849 -x848 x847 x846 x845 x844 x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835
1800.08/1800.72 v -x834 -x833 x832 x831 -x830 x829 x828 -x827 x826 x825 x824 -x823 x822 -x821 x820 -x819 x818 x817 x816 -x815 x814 x813 x812 x811
1800.08/1800.72 v -x810 x809 x808 x807 x806 x805 x804 -x803 x802 x801 x800 x799 -x798 x797 x796 x795 -x794 -x793 x792 x791 -x790 -x789 x788
1800.08/1800.72 v x787 -x786 x785 -x784 x783 x782 x781 -x780 x779 -x778 -x777 -x776 x775 x774 -x773 -x772 x771 x770 x769 x768 -x767 x766 x765 -x764
1800.08/1800.72 v x763 x762 x761 x760 x759 x758 -x757 x756 -x755 -x754 x753 x752 x751 -x750 x749 x748 x747 -x746 x745 -x744 x743 -x742 x741
1800.08/1800.72 v x740 x739 -x738 -x737 x736 -x735 -x734 x733 x732 -x731 x730 -x729 x728 x727 x726 x725 x724 -x723 -x722 x721 x720 x719 x718
1800.08/1800.72 v x717 -x716 x715 -x714 x713 -x712 -x711 x710 -x709 x708 -x707 x706 x705 x704 -x703 x702 -x701 x700 x699 x698 -x697 -x696 -x695
1800.08/1800.72 v x694 -x693 x692 x691 x690 -x689 x688 x687 -x686 x685 x684 -x683 x682 x681 x680 x679 x678 x677 x676 -x675 x674 -x673 -x672 -x671
1800.08/1800.72 v x670 x669 x668 x667 x666 x665 x664 -x663 x662 x661 x660 -x659 x658 -x657 x656 x655 x654 x653 -x652 x651 x650 x649 x648 x647
1800.08/1800.72 v -x646 x645 -x644 x643 x642 -x641 -x640 x639 -x638 x637 x636 -x635 x634 -x633 -x632 -x631 x630 -x629 -x628 x627 x626 -x625
1800.08/1800.72 v -x624 -x623 x622 x621 x620 -x619 x618 x617 x616 -x615 x614 -x613 x612 -x611 -x610 -x609 x608 -x607 -x606 x605 x604 -x603 -x602
1800.08/1800.72 v x601 x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 x592 x591 x590 x589 x588 x587 -x586 x585 -x584 x583 x582 x581 -x580 -x579
1800.08/1800.72 v -x578 x577 -x576 x575 -x574 x573 x572 -x571 x570 x569 x568 -x567 x566 x565 x564 x563 x562 -x561 x560 -x559 -x558 -x557 x556
1800.08/1800.72 v x555 x554 -x553 -x552 x551 x550 x549 x548 -x547 -x546 -x545 x544 -x543 x542 -x541 -x540 -x539 x538 -x537 -x536 x535 x534 -x533
1800.08/1800.72 v -x532 x531 -x530 x529 -x528 x527 -x526 x525 -x524 x523 -x522 x521 -x520 x519 x518 x517 x516 x515 x514 x513 x512 -x511 x510
1800.08/1800.72 v x509 x508 x507 x506 x505 x504 -x503 -x502 x501 x500 x499 x498 -x497 x496 x495 -x494 x493 -x492 x491 x490 x489 -x488 x487 -x486
1800.08/1800.72 v x485 x484 -x483 x482 -x481 x480 x479 x478 x477 x476 -x475 x474 x473 -x472 x471 x470 x469 x468 x467 x466 -x465 x464 x463 x462
1800.08/1800.72 v -x461 x460 -x459 -x458 x457 x456 x455 -x454 x453 x452 x451 x450 -x449 x448 x447 -x446 x445 -x444 x443 -x442 -x441 -x440 -x439
1800.08/1800.72 v x438 -x437 -x436 -x435 -x434 x433 -x432 x431 -x430 -x429 -x428 -x427 x426 x425 x424 -x423 -x422 x421 x420 -x419 -x418 x417
1800.08/1800.72 v x416 x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 -x406 x405 x404 -x403 x402 x401 x400 x399 -x398 -x397 -x396 x395 -x394
1800.08/1800.72 v -x393 x392 x391 -x390 x389 x388 -x387 x386 -x385 -x384 x383 -x382 -x381 x380 x379 x378 x377 x376 -x375 -x374 x373 x372 x371
1800.08/1800.72 v -x370 -x369 x368 -x367 x366 x365 x364 x363 x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 x351 x350 x349 x348
1800.08/1800.72 v -x347 x346 x345 -x344 -x343 -x342 x341 -x340 x339 x338 x337 -x336 x335 x334 -x333 x332 -x331 x330 x329 -x328 -x327 x326 x325
1800.08/1800.72 v -x324 x323 x322 -x321 -x320 x319 -x318 x317 -x316 -x315 -x314 x313 x312 -x311 x310 x309 x308 -x307 -x306 x305 x304 x303 x302
1800.08/1800.72 v -x301 -x300 -x299 -x298 -x297 x296 -x295 x294 -x293 -x292 -x291 x290 -x289 x288 -x287 -x286 x285 -x284 x283 -x282 -x281 -x280
1800.08/1800.72 v x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 x266 -x265 x264 -x263 -x262 x261 x260 x259 -x258
1800.08/1800.72 v x257 -x256 x255 -x254 -x253 -x252 -x251 x250 x249 x248 -x247 -x246 -x245 -x244 x243 x242 -x241 -x240 -x239 x238 -x237 -x236
1800.08/1800.72 v x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 x216 -x215 -x214
1800.08/1800.72 v -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 x197 -x196 -x195 -x194 x193 -x192
1800.08/1800.72 v -x191 x190 x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 -x173 x172 x171 -x170
1800.08/1800.72 v x169 -x168 -x167 -x166 -x165 -x164 -x163 x162 x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149
1800.08/1800.72 v x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127
1800.08/1800.72 v -x126 -x125 -x124 -x123 -x122 x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1800.08/1800.72 v -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 x96 -x95 x94 x93 -x92 -x91 -x90 -x89 -x88 x87 -x86 x85 -x84 -x83 x82 -x81
1800.08/1800.72 v -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 -x67 -x66 x65 -x64 x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55
1800.08/1800.72 v -x54 x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 x34 -x33 -x32 -x31 -x30 x29
1800.08/1800.72 v x28 -x27 -x26 x25 -x24 -x23 -x22 x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2
1800.08/1800.72 v -x1
1800.08/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.72 c Solving Time : 1742.96
1800.08/1800.72 c Original Problem :
1800.08/1800.72 c Problem name : HOME/instance-2665484-1276390079.opb
1800.08/1800.72 c Variables : 1968 (1968 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 4000 initial, 4000 maximal
1800.08/1800.72 c Presolved Problem :
1800.08/1800.72 c Problem name : t_HOME/instance-2665484-1276390079.opb
1800.08/1800.72 c Variables : 1531 (1531 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.72 c Constraints : 2987 initial, 2987 maximal
1800.08/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.72 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.72 c dualfix : 0.00 205 0 0 0 0 0 0 0
1800.08/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.72 c probing : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.72 c linear : 0.04 0 232 0 0 0 1013 0 0
1800.08/1800.72 c logicor : 0.03 0 0 0 0 0 0 0 0
1800.08/1800.72 c root node : - 0 - - 0 - - - -
1800.08/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c integral : 0 0 0 1 0 0 0 0 0 2
1800.08/1800.72 c logicor : 2987+ 36 4323919 0 0 40880 27224889 0 0 0
1800.08/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.08/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.72 c integral : 14.41 0.00 0.00 14.41 0.00
1800.08/1800.72 c logicor : 141.36 0.01 141.35 0.00 0.00
1800.08/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.72 c vbounds : 4.46 2 0 0
1800.08/1800.72 c rootredcost : 3.44 0 0 0
1800.08/1800.72 c pseudoobj : 1101.13 7265069 1956919 34525744
1800.08/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.72 c propagation : 63.37 40880 40880 40880 249.9 0 0.0 -
1800.08/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.72 c pseudo solution : 0.00 1 0 0 0.0 0 0.0 -
1800.08/1800.72 c applied globally : - - - 0 0.0 - - -
1800.08/1800.72 c applied locally : - - - 40880 249.9 - - -
1800.08/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.72 c cut pool : 0.08 35 - - 18 - (maximal pool size: 904)
1800.08/1800.72 c redcost : 0.00 36 0 0 0 0
1800.08/1800.72 c impliedbounds : 0.06 36 0 0 0 0
1800.08/1800.72 c intobj : 0.00 0 0 0 0 0
1800.08/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.72 c gomory : 7.77 36 0 0 16506 0
1800.08/1800.72 c strongcg : 2.46 20 0 0 10000 0
1800.08/1800.72 c cmir : 0.23 10 0 0 0 0
1800.08/1800.72 c flowcover : 0.21 10 0 0 0 0
1800.08/1800.72 c clique : 0.00 36 0 0 11 0
1800.08/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.72 c mcf : 0.03 1 0 0 0 0
1800.08/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.08/1800.72 c Pricers : Time Calls Vars
1800.08/1800.72 c problem variables: 0.00 0 0
1800.08/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.72 c relpscost : 14.41 1 0 0 0 0 2
1800.08/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.72 c inference : 199.46 1999662 0 0 0 0 3999324
1800.08/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.72 c random : 0.00 0 0 0 0 0 0
1800.08/1800.72 c Primal Heuristics : Time Calls Found
1800.08/1800.72 c LP solutions : 0.00 - 0
1800.08/1800.72 c pseudo solutions : 0.00 - 0
1800.08/1800.72 c crossover : 0.00 0 0
1800.08/1800.72 c oneopt : 2.54 2 1
1800.08/1800.72 c trivial : 0.01 2 3
1800.08/1800.72 c simplerounding : 0.03 36 27
1800.08/1800.72 c zirounding : 0.01 1 1
1800.08/1800.72 c rounding : 5.53 36 0
1800.08/1800.72 c shifting : 5.68 36 0
1800.08/1800.72 c intshifting : 0.00 0 0
1800.08/1800.72 c twoopt : 0.00 0 0
1800.08/1800.72 c fixandinfer : 0.00 0 0
1800.08/1800.72 c feaspump : 0.00 0 0
1800.08/1800.72 c coefdiving : 0.00 0 0
1800.08/1800.72 c pscostdiving : 0.00 0 0
1800.08/1800.72 c fracdiving : 0.00 0 0
1800.08/1800.72 c veclendiving : 0.00 0 0
1800.08/1800.72 c intdiving : 0.00 0 0
1800.08/1800.72 c actconsdiving : 0.00 0 0
1800.08/1800.72 c objpscostdiving : 0.00 0 0
1800.08/1800.72 c rootsoldiving : 0.00 0 0
1800.08/1800.72 c linesearchdiving : 0.00 0 0
1800.08/1800.72 c guideddiving : 0.00 0 0
1800.08/1800.72 c octane : 0.00 0 0
1800.08/1800.72 c rens : 0.00 0 0
1800.08/1800.72 c rins : 0.00 0 0
1800.08/1800.72 c localbranching : 0.00 0 0
1800.08/1800.72 c mutation : 0.00 0 0
1800.08/1800.72 c dins : 0.00 0 0
1800.08/1800.72 c undercover : 0.00 0 0
1800.08/1800.72 c nlp : 3.04 0 0
1800.08/1800.72 c trysol : 1.91 0 0
1800.08/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.72 c primal LP : 0.04 0 0 0.00 0.00
1800.08/1800.72 c dual LP : 33.49 36 45476 1263.22 1357.90
1800.08/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.08/1800.72 c strong branching : 14.41 29 27674 954.28 1920.47
1800.08/1800.72 c (at root node) : - 29 27674 954.28 -
1800.08/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.72 c B&B Tree :
1800.08/1800.72 c number of runs : 1
1800.08/1800.72 c nodes : 3987139
1800.08/1800.72 c nodes (total) : 3987139
1800.08/1800.72 c nodes left : 244
1800.08/1800.72 c max depth : 268
1800.08/1800.72 c max depth (total): 268
1800.08/1800.72 c backtracks : 963892 (24.2%)
1800.08/1800.72 c delayed cutoffs : 11944
1800.08/1800.72 c repropagations : 20702 (300393 domain reductions, 10324 cutoffs)
1800.08/1800.72 c avg switch length: 2.00
1800.08/1800.72 c switching time : 107.57
1800.08/1800.72 c Solution :
1800.08/1800.72 c Solutions found : 32 (3 improvements)
1800.08/1800.72 c First Solution : +1.96800000000000e+03 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.08/1800.72 c Primal Bound : +1.16300000000000e+03 (in run 1, after 1 nodes, 0.14 seconds, depth 0, found by <oneopt>)
1800.08/1800.72 c Dual Bound : +1.00478006635333e+03
1800.08/1800.72 c Gap : 15.75 %
1800.08/1800.72 c Root Dual Bound : +1.00433256970523e+03
1800.08/1800.72 c Root Iterations : 45476
1800.08/1800.76 c Time complete: 1800.13.