0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664177-1276394348.opb>
0.00/0.08 c original problem has 1969 variables (1969 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.00/0.08 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.10/0.11 o 1969
0.10/0.11 c feasible solution found by trivial heuristic, objective value 1.969000e+03
0.10/0.11 c presolving:
0.10/0.13 c (round 1) 151 del vars, 151 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.14 c (round 2) 326 del vars, 721 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.15 c (round 3) 378 del vars, 848 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.15 c (round 4) 403 del vars, 943 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.16 c (round 5) 416 del vars, 966 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.16 c (round 6) 424 del vars, 991 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.17 c (round 7) 430 del vars, 1003 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.17 c (round 8) 435 del vars, 1023 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.18 c (round 9) 436 del vars, 1027 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.18 c (round 10) 437 del vars, 1028 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.19 c (round 11) 438 del vars, 1032 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.10/0.19 c (round 12) 439 del vars, 1033 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.19/0.20 c (round 13) 441 del vars, 1040 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.19/0.20 c (round 14) 442 del vars, 1042 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 7992 impls, 0 clqs
0.19/0.25 c (round 15) 442 del vars, 1046 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2953 upgd conss, 7992 impls, 0 clqs
0.19/0.27 c (round 16) 443 del vars, 1047 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2953 upgd conss, 7992 impls, 0 clqs
0.19/0.28 c (round 17) 444 del vars, 1051 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2953 upgd conss, 7992 impls, 0 clqs
0.30/0.31 c (0.2s) probing: 101/1525 (6.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.30/0.31 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.30/0.31 c presolving (18 rounds):
0.30/0.31 c 444 deleted vars, 1051 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.30/0.31 c 7992 implications, 0 cliques
0.30/0.31 c presolved problem has 1525 variables (1525 bin, 0 int, 0 impl, 0 cont) and 2949 constraints
0.30/0.31 c 2949 constraints of type <logicor>
0.30/0.31 c transformed objective value is always integral (scale: 1)
0.30/0.31 c Presolving Time: 0.16
0.30/0.31 c - non default parameters ----------------------------------------------------------------------
0.30/0.31 c # SCIP version 1.2.1.2
0.30/0.31 c
0.30/0.31 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: -1]
0.30/0.31 c conflict/interconss = 0
0.30/0.31 c
0.30/0.31 c # should binary conflicts be preferred?
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c conflict/preferbinary = TRUE
0.30/0.31 c
0.30/0.31 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: 0]
0.30/0.31 c constraints/agelimit = 1
0.30/0.31 c
0.30/0.31 c # should enforcement of pseudo solution be disabled?
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c constraints/disableenfops = TRUE
0.30/0.31 c
0.30/0.31 c # frequency for displaying node information lines
0.30/0.31 c # [type: int, range: [-1,2147483647], default: 100]
0.30/0.31 c display/freq = 10000
0.30/0.31 c
0.30/0.31 c # maximal time in seconds to run
0.30/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.31 c limits/time = 1799.93
0.30/0.31 c
0.30/0.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.30/0.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.30/0.31 c limits/memory = 1620
0.30/0.31 c
0.30/0.31 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.30/0.31 c # [type: int, range: [-1,2147483647], default: 1]
0.30/0.31 c lp/solvefreq = -1
0.30/0.31 c
0.30/0.31 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.30/0.31 c # [type: char, range: {lafpsqd}, default: l]
0.30/0.31 c lp/pricing = a
0.30/0.31 c
0.30/0.31 c # should presolving try to simplify inequalities
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c constraints/linear/simplifyinequalities = TRUE
0.30/0.31 c
0.30/0.31 c # should presolving try to simplify knapsacks
0.30/0.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.30/0.31 c constraints/knapsack/simplifyinequalities = TRUE
0.30/0.31 c
0.30/0.31 c # priority of node selection rule <dfs> in standard mode
0.30/0.31 c # [type: int, range: [-536870912,536870911], default: 0]
0.30/0.31 c nodeselection/dfs/stdpriority = 1000000
0.30/0.31 c
0.30/0.31 c -----------------------------------------------------------------------------------------------
0.30/0.31 c start solving
0.30/0.32 c
0.30/0.32 o 1745
0.30/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.30/0.32 c t 0.2s| 1 | 0 | 0 | - |5809k| 0 | - |1525 |2949 | 0 | 0 | 0 | 0 | 0 | -- | 1.745000e+03 | Inf
0.30/0.32 c 0.2s| 1 | 2 | 0 | - |5761k| 0 | - |1525 |2949 | 0 | 0 | 0 | 0 | 0 | 2.200000e+02 | 1.745000e+03 | 693.18%
0.39/0.45 o 1247
0.39/0.45 c * 0.3s| 499 | 487 | 0 | 0.0 |6205k| 498 | - |1525 |2949 | 0 | 0 | 0 | 0 | 0 | 2.210000e+02 | 1.247000e+03 | 464.25%
1.10/1.20 o 1246
1.10/1.20 c * 1.0s| 1924 | 428 | 0 | 0.0 |6317k| 498 | - |1525 |2949 | 0 | 0 | 0 | 2 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
4.50/4.54 c 4.2s| 10000 | 404 | 0 | 0.0 |6313k| 498 | - |1525 |2949 | 0 | 0 | 0 | 2 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
8.79/8.88 c 8.4s| 20000 | 404 | 0 | 0.0 |6317k| 498 | - |1525 |2949 | 0 | 0 | 0 | 2 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
12.98/13.00 c 12.3s| 30000 | 402 | 0 | 0.0 |6315k| 498 | - |1525 |2949 | 0 | 0 | 0 | 2 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
17.09/17.13 c 16.2s| 40000 | 400 | 0 | 0.0 |6318k| 498 | - |1525 |2949 | 0 | 0 | 0 | 2 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
22.00/22.08 c 21.0s| 50000 | 399 | 0 | 0.0 |6324k| 498 | - |1525 |2949 | 0 | 0 | 0 | 12 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
26.98/27.03 c 25.7s| 60000 | 397 | 0 | 0.0 |6325k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
31.48/31.56 c 30.1s| 70000 | 395 | 0 | 0.0 |6326k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
35.87/35.96 c 34.3s| 80000 | 393 | 0 | 0.0 |6323k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
40.17/40.23 c 38.4s| 90000 | 395 | 0 | 0.0 |6324k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
44.47/44.60 c 42.5s|100000 | 395 | 0 | 0.0 |6325k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
49.37/49.40 c 47.1s|110000 | 393 | 0 | 0.0 |6328k| 498 | - |1525 |2949 | 0 | 0 | 0 | 23 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
54.17/54.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.17/54.26 c 51.8s|120000 | 394 | 0 | 0.0 |6327k| 498 | - |1525 |2949 | 0 | 0 | 0 | 29 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
58.57/58.63 c 56.0s|130000 | 395 | 0 | 0.0 |6328k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
62.47/62.54 c 59.7s|140000 | 397 | 0 | 0.0 |6327k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
66.36/66.48 c 63.5s|150000 | 391 | 0 | 0.0 |6328k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.246000e+03 | 463.80%
66.67/66.79 o 1245
66.67/66.79 c *63.8s|150768 | 399 | 0 | 0.0 |6359k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
70.96/71.08 c 67.8s|160000 | 395 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
75.67/75.71 c 72.3s|170000 | 389 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
80.27/80.40 c 76.8s|180000 | 391 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
84.97/85.08 c 81.3s|190000 | 391 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
89.76/89.81 c 85.8s|200000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
94.06/94.16 c 90.0s|210000 | 393 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
98.16/98.30 c 93.9s|220000 | 395 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
102.37/102.43 c 97.9s|230000 | 395 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
106.45/106.56 c 102s|240000 | 393 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
110.55/110.69 c 106s|250000 | 391 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
114.74/114.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
114.74/114.82 c 110s|260000 | 393 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
118.85/118.95 c 114s|270000 | 391 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
123.03/123.10 c 118s|280000 | 389 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
127.13/127.23 c 122s|290000 | 393 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
131.23/131.39 c 126s|300000 | 389 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
135.43/135.56 c 130s|310000 | 393 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
139.53/139.68 c 133s|320000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
143.73/143.83 c 137s|330000 | 387 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
147.83/147.98 c 141s|340000 | 391 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
152.03/152.13 c 145s|350000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
156.13/156.28 c 149s|360000 | 387 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
160.33/160.41 c 153s|370000 | 391 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
164.43/164.58 c 157s|380000 | 389 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
168.62/168.74 c 161s|390000 | 387 | 0 | 0.0 |6354k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
172.73/172.89 c 165s|400000 | 387 | 0 | 0.0 |6353k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
177.00/177.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
177.00/177.21 c 169s|410000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
181.09/181.36 c 173s|420000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
185.28/185.51 c 177s|430000 | 389 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
189.38/189.65 c 181s|440000 | 385 | 0 | 0.0 |6350k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
193.59/193.81 c 185s|450000 | 387 | 0 | 0.0 |6351k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
197.68/197.98 c 189s|460000 | 391 | 0 | 0.0 |6352k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.245000e+03 | 463.35%
200.48/200.71 o 1244
200.48/200.71 c * 192s|466534 | 394 | 0 | 0.0 |6384k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
201.88/202.18 c 193s|470000 | 390 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
206.08/206.33 c 197s|480000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
210.28/210.52 c 201s|490000 | 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
214.47/214.71 c 205s|500000 | 390 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
218.66/218.90 c 209s|510000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
222.76/223.07 c 213s|520000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
226.97/227.27 c 217s|530000 | 386 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
231.17/231.48 c 221s|540000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
235.37/235.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.37/235.62 c 225s|550000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
239.46/239.73 c 229s|560000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
243.56/243.88 c 233s|570000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
247.76/248.03 c 237s|580000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
251.87/252.17 c 241s|590000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
256.05/256.37 c 245s|600000 | 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
260.15/260.43 c 249s|610000 | 390 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
263.86/264.15 c 252s|620000 | 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
267.54/267.85 c 256s|630000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
271.24/271.58 c 260s|640000 | 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
275.05/275.32 c 263s|650000 | 386 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
278.74/279.04 c 267s|660000 | 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
282.44/282.77 c 270s|670000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
286.24/286.51 c 274s|680000 | 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
289.94/290.27 c 277s|690000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
293.74/294.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.74/294.00 c 281s|700000 | 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
297.44/297.74 c 285s|710000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
301.14/301.48 c 288s|720000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
304.94/305.23 c 292s|730000 | 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
308.63/309.00 c 295s|740000 | 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
312.63/312.90 c 299s|750000 | 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
316.63/316.90 c 303s|760000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
320.53/320.88 c 307s|770000 | 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
324.54/324.88 c 310s|780000 | 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
328.53/328.84 c 314s|790000 | 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
332.53/332.84 c 318s|800000 | 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
336.53/336.82 c 322s|810000 | 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
340.52/340.80 c 326s|820000 | 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
344.43/344.78 c 330s|830000 | 386 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
348.53/348.81 c 333s|840000 | 386 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
352.52/352.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.52/352.82 c 337s|850000 | 386 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
356.52/356.82 c 341s|860000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
360.52/360.84 c 345s|870000 | 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
364.52/364.83 c 349s|880000 | 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
368.52/368.82 c 353s|890000 | 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
372.51/372.81 c 356s|900000 | 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
376.51/376.80 c 360s|910000 | 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
380.42/380.80 c 364s|920000 | 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
384.42/384.79 c 368s|930000 | 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
388.41/388.76 c 372s|940000 | 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
392.40/392.76 c 375s|950000 | 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
396.41/396.79 c 379s|960000 | 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
400.40/400.79 c 383s|970000 | 388 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
404.30/404.61 c 387s|980000 | 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
408.01/408.39 c 390s|990000 | 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
411.90/412.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.90/412.21 c 394s| 1000k| 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
415.70/416.03 c 398s| 1010k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
419.50/419.83 c 401s| 1020k| 386 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
423.30/423.65 c 405s| 1030k| 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
427.10/427.47 c 409s| 1040k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
431.00/431.30 c 412s| 1050k| 386 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
434.80/435.13 c 416s| 1060k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
438.59/438.98 c 420s| 1070k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
442.49/442.80 c 423s| 1080k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
446.29/446.61 c 427s| 1090k| 390 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
450.09/450.44 c 431s| 1100k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
453.89/454.26 c 434s| 1110k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
457.69/458.07 c 438s| 1120k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
461.49/461.89 c 442s| 1130k| 382 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
465.38/465.71 c 445s| 1140k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
469.18/469.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.18/469.55 c 449s| 1150k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
472.98/473.39 c 453s| 1160k| 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
476.89/477.22 c 456s| 1170k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
480.68/481.07 c 460s| 1180k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
484.58/484.91 c 464s| 1190k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
488.38/488.71 c 467s| 1200k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
492.18/492.51 c 471s| 1210k| 390 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
495.88/496.30 c 474s| 1220k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
499.67/500.09 c 478s| 1230k| 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
503.48/503.86 c 482s| 1240k| 388 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
507.26/507.66 c 485s| 1250k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
511.07/511.44 c 489s| 1260k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
514.86/515.23 c 493s| 1270k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
518.66/519.02 c 496s| 1280k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
522.47/522.82 c 500s| 1290k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
526.26/526.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.26/526.63 c 504s| 1300k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
530.06/530.44 c 507s| 1310k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
533.86/534.24 c 511s| 1320k| 386 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
537.66/538.03 c 514s| 1330k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
541.46/541.81 c 518s| 1340k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
545.15/545.56 c 522s| 1350k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
548.96/549.32 c 525s| 1360k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
552.65/553.06 c 529s| 1370k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
556.46/556.82 c 532s| 1380k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
560.15/560.59 c 536s| 1390k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
563.95/564.35 c 540s| 1400k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
567.75/568.10 c 543s| 1410k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
571.44/571.83 c 547s| 1420k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
575.15/575.55 c 550s| 1430k| 388 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
578.85/579.29 c 554s| 1440k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
582.64/583.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.64/583.03 c 557s| 1450k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
586.35/586.77 c 561s| 1460k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
590.14/590.53 c 565s| 1470k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
593.85/594.26 c 568s| 1480k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
597.64/598.02 c 572s| 1490k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
601.34/601.76 c 575s| 1500k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
605.14/605.50 c 579s| 1510k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
608.83/609.26 c 582s| 1520k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
612.64/613.01 c 586s| 1530k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
616.34/616.77 c 590s| 1540k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
620.14/620.52 c 593s| 1550k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
623.83/624.27 c 597s| 1560k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
627.52/627.99 c 600s| 1570k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
631.32/631.75 c 604s| 1580k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
635.12/635.51 c 608s| 1590k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
638.83/639.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
638.83/639.26 c 611s| 1600k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
642.62/643.04 c 615s| 1610k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
646.42/646.82 c 618s| 1620k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
650.12/650.57 c 622s| 1630k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
653.92/654.33 c 626s| 1640k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
657.63/658.09 c 629s| 1650k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
661.22/661.69 c 633s| 1660k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
664.91/665.30 c 636s| 1670k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
668.42/668.89 c 640s| 1680k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
672.01/672.50 c 643s| 1690k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
675.71/676.11 c 646s| 1700k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
679.31/679.72 c 650s| 1710k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
682.92/683.33 c 653s| 1720k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
686.51/686.94 c 657s| 1730k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
690.11/690.54 c 660s| 1740k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
693.71/694.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.71/694.15 c 664s| 1750k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
697.31/697.75 c 667s| 1760k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
700.91/701.36 c 671s| 1770k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
704.50/704.98 c 674s| 1780k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
708.11/708.60 c 677s| 1790k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
711.81/712.22 c 681s| 1800k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
715.40/715.84 c 684s| 1810k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
719.00/719.47 c 688s| 1820k| 382 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
722.60/723.09 c 691s| 1830k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
726.30/726.71 c 695s| 1840k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
729.90/730.35 c 698s| 1850k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
733.50/733.94 c 702s| 1860k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
737.10/737.55 c 705s| 1870k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
740.69/741.15 c 709s| 1880k| 386 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
744.30/744.76 c 712s| 1890k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
747.88/748.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.88/748.36 c 716s| 1900k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
751.48/751.98 c 719s| 1910k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
755.09/755.58 c 722s| 1920k| 384 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
758.69/759.20 c 726s| 1930k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
762.38/762.82 c 729s| 1940k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
765.98/766.44 c 733s| 1950k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
769.58/770.04 c 736s| 1960k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
773.18/773.67 c 740s| 1970k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
776.88/777.30 c 743s| 1980k| 382 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
780.48/780.93 c 747s| 1990k| 382 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
784.09/784.56 c 750s| 2000k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
787.78/788.20 c 754s| 2010k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
791.37/791.84 c 757s| 2020k| 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
794.98/795.48 c 761s| 2030k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
798.67/799.11 c 764s| 2040k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
802.27/802.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
802.27/802.75 c 768s| 2050k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
806.08/806.51 c 771s| 2060k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
809.86/810.32 c 775s| 2070k| 386 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
813.67/814.14 c 778s| 2080k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
817.56/818.01 c 782s| 2090k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
821.47/821.93 c 786s| 2100k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
825.36/825.81 c 790s| 2110k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
829.26/829.72 c 793s| 2120k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
833.16/833.60 c 797s| 2130k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
837.06/837.50 c 801s| 2140k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
840.96/841.42 c 805s| 2150k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
844.86/845.33 c 808s| 2160k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
848.76/849.25 c 812s| 2170k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
852.65/853.14 c 816s| 2180k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
856.56/857.05 c 820s| 2190k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
860.45/860.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
860.45/860.93 c 823s| 2200k| 384 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
864.36/864.82 c 827s| 2210k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
868.24/868.78 c 831s| 2220k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
872.15/872.68 c 835s| 2230k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
876.05/876.57 c 838s| 2240k| 380 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
879.95/880.49 c 842s| 2250k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
883.95/884.41 c 846s| 2260k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
887.84/888.31 c 849s| 2270k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
891.75/892.23 c 853s| 2280k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
895.64/896.11 c 857s| 2290k| 384 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
899.55/900.01 c 861s| 2300k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
903.44/903.93 c 864s| 2310k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
907.34/907.87 c 868s| 2320k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
911.24/911.79 c 872s| 2330k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
915.14/915.69 c 876s| 2340k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
919.03/919.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
919.03/919.58 c 879s| 2350k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
922.94/923.49 c 883s| 2360k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
926.84/927.39 c 887s| 2370k| 384 | 0 | 0.0 |6380k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
930.84/931.30 c 891s| 2380k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
934.74/935.21 c 894s| 2390k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
938.63/939.11 c 898s| 2400k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
942.44/942.99 c 902s| 2410k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
946.43/946.93 c 906s| 2420k| 380 | 0 | 0.0 |6382k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
950.32/950.84 c 909s| 2430k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
954.23/954.72 c 913s| 2440k| 386 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
958.13/958.62 c 917s| 2450k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
961.92/962.50 c 920s| 2460k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
965.92/966.40 c 924s| 2470k| 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
969.83/970.31 c 928s| 2480k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
973.72/974.21 c 932s| 2490k| 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
977.52/978.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
977.52/978.09 c 935s| 2500k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
981.42/981.99 c 939s| 2510k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
985.32/985.89 c 943s| 2520k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
989.31/989.81 c 947s| 2530k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
993.21/993.73 c 950s| 2540k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
997.12/997.61 c 954s| 2550k| 382 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1001.02/1001.50 c 958s| 2560k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1004.80/1005.38 c 962s| 2570k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1008.81/1009.30 c 965s| 2580k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1012.72/1013.22 c 969s| 2590k| 380 | 0 | 0.0 |6380k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1016.51/1017.09 c 973s| 2600k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1020.52/1021.01 c 976s| 2610k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1024.41/1024.91 c 980s| 2620k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1028.30/1028.86 c 984s| 2630k| 384 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1032.20/1032.78 c 988s| 2640k| 384 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1036.20/1036.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1036.20/1036.70 c 991s| 2650k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1040.10/1040.63 c 995s| 2660k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1044.00/1044.56 c 999s| 2670k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1048.00/1048.52 c 1003s| 2680k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1051.90/1052.46 c 1007s| 2690k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1055.80/1056.38 c 1010s| 2700k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1059.80/1060.31 c 1014s| 2710k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1063.70/1064.24 c 1018s| 2720k| 382 | 0 | 0.0 |6380k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1067.70/1068.21 c 1022s| 2730k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1071.59/1072.17 c 1025s| 2740k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1075.59/1076.12 c 1029s| 2750k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1079.49/1080.05 c 1033s| 2760k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1083.39/1083.96 c 1037s| 2770k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1087.38/1087.90 c 1041s| 2780k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1091.28/1091.83 c 1044s| 2790k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1095.19/1095.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.19/1095.71 c 1048s| 2800k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1098.69/1099.24 c 1051s| 2810k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1102.18/1102.77 c 1055s| 2820k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1105.68/1106.29 c 1058s| 2830k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1109.28/1109.84 c 1062s| 2840k| 388 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1112.78/1113.39 c 1065s| 2850k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1116.38/1116.93 c 1068s| 2860k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1119.88/1120.49 c 1072s| 2870k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1123.48/1124.03 c 1075s| 2880k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1126.97/1127.56 c 1078s| 2890k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1130.57/1131.10 c 1082s| 2900k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1134.08/1134.64 c 1085s| 2910k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1137.58/1138.18 c 1089s| 2920k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1141.17/1141.72 c 1092s| 2930k| 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1144.68/1145.25 c 1095s| 2940k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1148.17/1148.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1148.17/1148.78 c 1099s| 2950k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1151.77/1152.33 c 1102s| 2960k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1155.27/1155.86 c 1106s| 2970k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1158.76/1159.39 c 1109s| 2980k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1162.37/1162.93 c 1112s| 2990k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1165.87/1166.48 c 1116s| 3000k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1169.46/1170.03 c 1119s| 3010k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1172.96/1173.59 c 1122s| 3020k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1176.56/1177.15 c 1126s| 3030k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1180.06/1180.68 c 1129s| 3040k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1183.66/1184.24 c 1133s| 3050k| 378 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1187.16/1187.79 c 1136s| 3060k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1190.75/1191.35 c 1139s| 3070k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1194.27/1194.89 c 1143s| 3080k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1197.85/1198.46 c 1146s| 3090k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1201.46/1202.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.46/1202.01 c 1150s| 3100k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1204.96/1205.56 c 1153s| 3110k| 378 | 0 | 0.0 |6375k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1208.56/1209.11 c 1156s| 3120k| 378 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1212.06/1212.66 c 1160s| 3130k| 378 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1215.65/1216.20 c 1163s| 3140k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1219.15/1219.72 c 1167s| 3150k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1222.65/1223.23 c 1170s| 3160k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1226.15/1226.76 c 1173s| 3170k| 380 | 0 | 0.0 |6380k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1229.74/1230.31 c 1177s| 3180k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1233.25/1233.84 c 1180s| 3190k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1236.74/1237.37 c 1183s| 3200k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1240.35/1240.91 c 1187s| 3210k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1243.85/1244.44 c 1190s| 3220k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1247.34/1247.97 c 1194s| 3230k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1250.94/1251.51 c 1197s| 3240k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1254.44/1255.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.44/1255.07 c 1200s| 3250k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1258.05/1258.65 c 1204s| 3260k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1261.54/1262.18 c 1207s| 3270k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1265.13/1265.71 c 1211s| 3280k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1268.64/1269.24 c 1214s| 3290k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1272.13/1272.79 c 1217s| 3300k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1275.73/1276.35 c 1221s| 3310k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1279.34/1279.90 c 1224s| 3320k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1282.83/1283.44 c 1228s| 3330k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1286.33/1286.99 c 1231s| 3340k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1289.94/1290.53 c 1234s| 3350k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1293.42/1294.07 c 1238s| 3360k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1297.03/1297.62 c 1241s| 3370k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1300.53/1301.17 c 1245s| 3380k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1304.14/1304.74 c 1248s| 3390k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1307.63/1308.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.63/1308.29 c 1251s| 3400k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1311.22/1311.85 c 1255s| 3410k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1314.82/1315.40 c 1258s| 3420k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1318.32/1318.97 c 1262s| 3430k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1321.93/1322.52 c 1265s| 3440k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1325.42/1326.08 c 1268s| 3450k| 378 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1329.02/1329.64 c 1272s| 3460k| 378 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1332.52/1333.19 c 1275s| 3470k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1336.13/1336.72 c 1279s| 3480k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1339.61/1340.25 c 1282s| 3490k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1343.11/1343.80 c 1285s| 3500k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1346.71/1347.35 c 1289s| 3510k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1350.22/1350.89 c 1292s| 3520k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1353.82/1354.43 c 1296s| 3530k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1357.31/1357.96 c 1299s| 3540k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1360.81/1361.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.81/1361.49 c 1302s| 3550k| 384 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1364.41/1365.03 c 1306s| 3560k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1367.92/1368.58 c 1309s| 3570k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1371.51/1372.13 c 1313s| 3580k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1375.08/1375.73 c 1316s| 3590k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1378.60/1379.35 c 1319s| 3600k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1382.20/1382.94 c 1323s| 3610k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1385.72/1386.59 c 1326s| 3620k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1389.35/1390.21 c 1330s| 3630k| 376 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1392.87/1393.98 c 1333s| 3640k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1396.48/1397.89 c 1336s| 3650k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1400.10/1401.56 c 1340s| 3660k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1403.65/1405.28 c 1343s| 3670k| 380 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1407.20/1408.99 c 1347s| 3680k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1410.86/1412.76 c 1350s| 3690k| 380 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1414.49/1416.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.49/1416.40 c 1354s| 3700k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1418.06/1420.00 c 1357s| 3710k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1421.55/1423.60 c 1360s| 3720k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1425.21/1427.23 c 1364s| 3730k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1428.79/1430.86 c 1367s| 3740k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1432.34/1434.47 c 1371s| 3750k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1435.94/1438.11 c 1374s| 3760k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1439.56/1441.82 c 1378s| 3770k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1443.08/1445.43 c 1381s| 3780k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1446.69/1449.25 c 1384s| 3790k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1450.27/1452.92 c 1388s| 3800k| 386 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1453.86/1456.61 c 1391s| 3810k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1457.40/1460.28 c 1395s| 3820k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1461.09/1464.17 c 1398s| 3830k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1464.74/1467.86 c 1402s| 3840k| 384 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1468.37/1471.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.37/1471.77 c 1405s| 3850k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1472.08/1475.60 c 1409s| 3860k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1475.62/1479.36 c 1412s| 3870k| 382 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1479.33/1483.25 c 1416s| 3880k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1482.93/1487.08 c 1419s| 3890k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1486.57/1490.72 c 1423s| 3900k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1490.17/1494.39 c 1426s| 3910k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1493.81/1498.04 c 1430s| 3920k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1497.51/1501.72 c 1433s| 3930k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1501.14/1505.43 c 1437s| 3940k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1504.72/1509.09 c 1440s| 3950k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1508.36/1512.79 c 1443s| 3960k| 376 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1512.04/1516.40 c 1447s| 3970k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1515.59/1520.03 c 1450s| 3980k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1519.21/1523.75 c 1454s| 3990k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1522.80/1527.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1522.80/1527.37 c 1457s| 4000k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1526.40/1530.95 c 1461s| 4010k| 384 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1530.00/1534.55 c 1464s| 4020k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1533.60/1538.18 c 1468s| 4030k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1537.20/1541.78 c 1471s| 4040k| 380 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1540.80/1545.39 c 1474s| 4050k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1544.50/1549.01 c 1478s| 4060k| 380 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1548.09/1552.61 c 1481s| 4070k| 382 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1551.69/1556.20 c 1485s| 4080k| 378 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1555.29/1559.81 c 1488s| 4090k| 378 | 0 | 0.0 |6379k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1558.90/1563.43 c 1492s| 4100k| 378 | 0 | 0.0 |6377k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1562.50/1567.05 c 1495s| 4110k| 382 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1566.09/1570.66 c 1499s| 4120k| 378 | 0 | 0.0 |6378k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1569.70/1574.27 c 1502s| 4130k| 376 | 0 | 0.0 |6376k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.244000e+03 | 462.90%
1570.39/1574.90 o 1243
1570.39/1574.90 c *1503s| 4131k| 387 | 0 | 0.0 |6410k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1573.59/1578.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.59/1578.17 c 1506s| 4140k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1577.49/1582.06 c 1510s| 4150k| 383 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1581.39/1585.96 c 1513s| 4160k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1585.29/1589.83 c 1517s| 4170k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1589.08/1593.69 c 1521s| 4180k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1592.98/1597.58 c 1524s| 4190k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1596.88/1601.47 c 1528s| 4200k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1600.78/1605.34 c 1532s| 4210k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1604.68/1609.26 c 1535s| 4220k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1608.58/1613.13 c 1539s| 4230k| 379 | 0 | 0.0 |6405k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1612.48/1617.02 c 1543s| 4240k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1616.38/1620.93 c 1547s| 4250k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1620.18/1624.77 c 1550s| 4260k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1624.08/1628.67 c 1554s| 4270k| 379 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1627.98/1632.57 c 1558s| 4280k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1631.87/1636.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.87/1636.46 c 1562s| 4290k| 377 | 0 | 0.0 |6401k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1635.78/1640.34 c 1565s| 4300k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1639.67/1644.22 c 1569s| 4310k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1643.57/1648.13 c 1573s| 4320k| 379 | 0 | 0.0 |6401k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1647.48/1652.02 c 1576s| 4330k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1651.26/1655.89 c 1580s| 4340k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1655.16/1659.76 c 1584s| 4350k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1659.07/1663.69 c 1588s| 4360k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1663.07/1667.63 c 1591s| 4370k| 379 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1666.96/1671.56 c 1595s| 4380k| 383 | 0 | 0.0 |6404k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1670.97/1675.52 c 1599s| 4390k| 379 | 0 | 0.0 |6404k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1674.86/1679.48 c 1603s| 4400k| 379 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1678.76/1683.39 c 1606s| 4410k| 379 | 0 | 0.0 |6404k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1682.75/1687.31 c 1610s| 4420k| 379 | 0 | 0.0 |6401k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1686.66/1691.24 c 1614s| 4430k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1690.56/1695.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1690.56/1695.16 c 1618s| 4440k| 379 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1694.45/1699.10 c 1621s| 4450k| 377 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1698.36/1702.99 c 1625s| 4460k| 385 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1702.36/1706.94 c 1629s| 4470k| 381 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1706.25/1710.86 c 1633s| 4480k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1710.25/1714.82 c 1636s| 4490k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1714.15/1718.78 c 1640s| 4500k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1718.15/1722.73 c 1644s| 4510k| 379 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1722.05/1726.67 c 1648s| 4520k| 383 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1726.04/1730.61 c 1652s| 4530k| 379 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1729.94/1734.56 c 1655s| 4540k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1733.84/1738.49 c 1659s| 4550k| 381 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1737.84/1742.44 c 1663s| 4560k| 379 | 0 | 0.0 |6405k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1741.74/1746.37 c 1667s| 4570k| 381 | 0 | 0.0 |6405k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1745.65/1750.30 c 1670s| 4580k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1749.64/1754.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1749.64/1754.26 c 1674s| 4590k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1753.54/1758.18 c 1678s| 4600k| 381 | 0 | 0.0 |6404k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1757.54/1762.11 c 1682s| 4610k| 385 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1761.43/1766.07 c 1686s| 4620k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1765.44/1770.01 c 1689s| 4630k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1769.34/1773.95 c 1693s| 4640k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1773.34/1777.90 c 1697s| 4650k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1777.24/1781.80 c 1701s| 4660k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1781.13/1785.71 c 1704s| 4670k| 379 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1785.03/1789.66 c 1708s| 4680k| 379 | 0 | 0.0 |6402k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1789.03/1793.61 c 1712s| 4690k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1792.94/1797.51 c 1716s| 4700k| 379 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1796.82/1801.45 c 1719s| 4710k| 383 | 0 | 0.0 |6403k| 498 | - |1525 |2949 | 0 | 0 | 0 | 31 | 0 | 2.210000e+02 | 1.243000e+03 | 462.44%
1800.04/1804.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1804.60 c
1800.04/1804.60 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1804.60 c Solving Time (sec) : 1722.39
1800.04/1804.60 c Solving Nodes : 4718046
1800.04/1804.60 c Primal Bound : +1.24300000000000e+03 (8 solutions)
1800.04/1804.60 c Dual Bound : +2.21000000000000e+02
1800.04/1804.60 c Gap : 462.44 %
1800.04/1804.61 s SATISFIABLE
1800.04/1804.61 v -x1969 x1968 x1967 -x1966 x1965 x1964 x1963 -x1962 x1961 -x1960 x1959 x1958 -x1957 x1956 x1955 x1954 x1953 x1952 -x1951 x1950 x1949
1800.04/1804.61 v x1948 -x1947 -x1946 -x1945 -x1944 x1943 -x1942 -x1941 x1940 x1939 -x1938 x1937 -x1936 x1935 x1934 -x1933 x1932 x1931 x1930
1800.04/1804.61 v x1929 -x1928 -x1927 x1926 -x1925 x1924 x1923 x1922 -x1921 x1920 x1919 -x1918 -x1917 x1916 -x1915 -x1914 x1913 x1912 -x1911
1800.04/1804.61 v x1910 -x1909 x1908 x1907 -x1906 -x1905 x1904 -x1903 x1902 x1901 x1900 -x1899 -x1898 x1897 x1896 x1895 x1894 x1893 x1892 x1891
1800.04/1804.61 v x1890 x1889 x1888 x1887 x1886 x1885 x1884 x1883 x1882 x1881 x1880 -x1879 x1878 -x1877 -x1876 x1875 x1874 x1873 x1872 x1871
1800.04/1804.61 v x1870 x1869 -x1868 -x1867 x1866 x1865 -x1864 x1863 x1862 x1861 -x1860 x1859 x1858 x1857 x1856 x1855 x1854 -x1853 -x1852 -x1851
1800.04/1804.61 v -x1850 x1849 x1848 -x1847 x1846 x1845 x1844 -x1843 x1842 x1841 -x1840 x1839 x1838 -x1837 -x1836 x1835 x1834 -x1833 x1832 -x1831
1800.04/1804.61 v x1830 -x1829 -x1828 x1827 x1826 x1825 x1824 x1823 x1822 -x1821 -x1820 x1819 x1818 -x1817 x1816 x1815 x1814 -x1813 x1812
1800.04/1804.61 v x1811 x1810 x1809 x1808 x1807 x1806 x1805 x1804 -x1803 x1802 x1801 x1800 x1799 -x1798 -x1797 x1796 x1795 x1794 x1793 -x1792 x1791
1800.04/1804.61 v x1790 x1789 x1788 -x1787 x1786 -x1785 -x1784 x1783 x1782 x1781 x1780 x1779 -x1778 -x1777 x1776 x1775 x1774 x1773 -x1772
1800.04/1804.61 v x1771 x1770 x1769 x1768 -x1767 x1766 -x1765 x1764 x1763 x1762 x1761 x1760 x1759 x1758 x1757 x1756 -x1755 -x1754 x1753 x1752 x1751
1800.04/1804.61 v -x1750 -x1749 x1748 -x1747 -x1746 -x1745 -x1744 -x1743 x1742 -x1741 x1740 -x1739 x1738 -x1737 x1736 x1735 -x1734 x1733 -x1732
1800.04/1804.61 v -x1731 x1730 x1729 x1728 x1727 -x1726 x1725 -x1724 -x1723 x1722 x1721 x1720 x1719 -x1718 x1717 x1716 x1715 -x1714 x1713
1800.04/1804.61 v x1712 -x1711 x1710 x1709 x1708 x1707 x1706 -x1705 x1704 x1703 x1702 x1701 x1700 -x1699 -x1698 -x1697 x1696 -x1695 x1694 x1693
1800.04/1804.61 v x1692 x1691 x1690 -x1689 x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 x1676 x1675 x1674
1800.04/1804.61 v -x1673 x1672 x1671 -x1670 -x1669 -x1668 -x1667 -x1666 x1665 -x1664 x1663 -x1662 x1661 x1660 x1659 x1658 x1657 x1656 -x1655
1800.04/1804.61 v -x1654 x1653 x1652 x1651 x1650 x1649 x1648 x1647 x1646 -x1645 -x1644 -x1643 -x1642 x1641 x1640 x1639 x1638 -x1637 -x1636 -x1635
1800.04/1804.61 v x1634 x1633 -x1632 x1631 x1630 -x1629 x1628 x1627 -x1626 x1625 x1624 -x1623 -x1622 -x1621 x1620 x1619 -x1618 -x1617 x1616
1800.04/1804.61 v x1615 x1614 -x1613 -x1612 x1611 x1610 -x1609 x1608 -x1607 -x1606 -x1605 x1604 x1603 x1602 x1601 -x1600 x1599 -x1598 -x1597 -x1596
1800.04/1804.61 v -x1595 x1594 x1593 x1592 x1591 -x1590 x1589 -x1588 x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581 x1580 -x1579 -x1578 x1577
1800.04/1804.61 v x1576 -x1575 -x1574 x1573 x1572 -x1571 -x1570 x1569 x1568 x1567 x1566 x1565 -x1564 x1563 x1562 x1561 -x1560 -x1559 -x1558
1800.04/1804.61 v x1557 -x1556 x1555 x1554 x1553 x1552 -x1551 -x1550 x1549 -x1548 -x1547 -x1546 x1545 -x1544 x1543 x1542 x1541 -x1540 x1539 -x1538
1800.04/1804.61 v -x1537 x1536 -x1535 x1534 x1533 x1532 x1531 -x1530 x1529 x1528 x1527 x1526 x1525 -x1524 x1523 -x1522 x1521 -x1520 x1519
1800.04/1804.61 v x1518 -x1517 x1516 x1515 -x1514 x1513 -x1512 -x1511 -x1510 x1509 -x1508 -x1507 x1506 -x1505 x1504 x1503 -x1502 -x1501 -x1500
1800.04/1804.61 v -x1499 x1498 -x1497 x1496 -x1495 -x1494 x1493 x1492 x1491 -x1490 x1489 x1488 -x1487 -x1486 x1485 x1484 x1483 x1482 x1481 -x1480
1800.04/1804.61 v x1479 -x1478 x1477 x1476 -x1475 -x1474 x1473 -x1472 x1471 -x1470 x1469 x1468 -x1467 x1466 x1465 -x1464 x1463 x1462 -x1461
1800.04/1804.61 v x1460 x1459 x1458 -x1457 x1456 x1455 -x1454 -x1453 -x1452 x1451 x1450 -x1449 x1448 -x1447 -x1446 x1445 x1444 x1443 -x1442 -x1441
1800.04/1804.61 v -x1440 x1439 x1438 -x1437 x1436 x1435 x1434 x1433 -x1432 -x1431 x1430 x1429 x1428 x1427 x1426 -x1425 -x1424 x1423 x1422 -x1421
1800.04/1804.61 v x1420 -x1419 x1418 x1417 -x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 x1408 -x1407 x1406 -x1405 x1404 -x1403 x1402
1800.04/1804.61 v -x1401 -x1400 x1399 -x1398 -x1397 x1396 x1395 -x1394 x1393 x1392 -x1391 -x1390 x1389 -x1388 -x1387 x1386 x1385 x1384 x1383 x1382
1800.04/1804.61 v x1381 -x1380 -x1379 x1378 -x1377 -x1376 x1375 x1374 -x1373 -x1372 -x1371 x1370 x1369 x1368 x1367 -x1366 x1365 -x1364 -x1363
1800.04/1804.61 v x1362 x1361 x1360 -x1359 x1358 -x1357 x1356 x1355 x1354 x1353 x1352 x1351 x1350 -x1349 x1348 x1347 x1346 x1345 -x1344 x1343
1800.04/1804.61 v -x1342 x1341 x1340 x1339 -x1338 x1337 x1336 x1335 -x1334 x1333 -x1332 x1331 x1330 x1329 x1328 x1327 -x1326 x1325 -x1324 x1323
1800.04/1804.61 v -x1322 x1321 -x1320 -x1319 -x1318 x1317 x1316 x1315 x1314 x1313 x1312 x1311 -x1310 x1309 x1308 -x1307 -x1306 x1305 -x1304
1800.04/1804.61 v -x1303 x1302 x1301 x1300 -x1299 x1298 -x1297 x1296 -x1295 x1294 x1293 x1292 x1291 -x1290 -x1289 -x1288 x1287 x1286 x1285 x1284
1800.04/1804.61 v x1283 x1282 x1281 x1280 -x1279 x1278 -x1277 x1276 -x1275 -x1274 -x1273 x1272 x1271 x1270 x1269 x1268 x1267 x1266 -x1265 x1264
1800.04/1804.61 v x1263 x1262 x1261 -x1260 -x1259 x1258 -x1257 -x1256 x1255 x1254 x1253 x1252 -x1251 x1250 x1249 x1248 -x1247 -x1246 x1245 x1244
1800.04/1804.61 v -x1243 x1242 x1241 x1240 x1239 x1238 -x1237 x1236 x1235 x1234 x1233 -x1232 x1231 x1230 x1229 x1228 x1227 x1226 x1225 x1224
1800.04/1804.61 v -x1223 -x1222 x1221 -x1220 x1219 x1218 x1217 -x1216 x1215 x1214 x1213 -x1212 x1211 x1210 x1209 x1208 -x1207 -x1206 -x1205
1800.04/1804.61 v x1204 -x1203 x1202 -x1201 -x1200 x1199 x1198 x1197 x1196 -x1195 x1194 -x1193 x1192 -x1191 x1190 x1189 -x1188 x1187 x1186 x1185
1800.04/1804.61 v -x1184 -x1183 x1182 -x1181 x1180 -x1179 -x1178 x1177 x1176 x1175 x1174 x1173 x1172 -x1171 x1170 -x1169 x1168 x1167 x1166 x1165
1800.04/1804.61 v -x1164 x1163 x1162 -x1161 x1160 -x1159 x1158 -x1157 x1156 -x1155 -x1154 -x1153 x1152 x1151 x1150 -x1149 -x1148 -x1147 x1146
1800.04/1804.61 v x1145 x1144 x1143 -x1142 x1141 x1140 x1139 x1138 x1137 x1136 x1135 -x1134 x1133 x1132 x1131 x1130 x1129 x1128 -x1127 x1126
1800.04/1804.61 v x1125 x1124 x1123 x1122 x1121 x1120 x1119 -x1118 x1117 x1116 x1115 x1114 -x1113 x1112 x1111 x1110 x1109 x1108 x1107 x1106 -x1105
1800.04/1804.61 v x1104 -x1103 x1102 x1101 x1100 x1099 x1098 x1097 -x1096 x1095 x1094 -x1093 x1092 x1091 x1090 -x1089 -x1088 -x1087 x1086
1800.04/1804.61 v -x1085 -x1084 x1083 -x1082 x1081 x1080 -x1079 x1078 x1077 x1076 x1075 x1074 x1073 x1072 x1071 -x1070 x1069 -x1068 x1067 x1066
1800.04/1804.61 v x1065 x1064 x1063 x1062 -x1061 x1060 -x1059 x1058 x1057 x1056 x1055 x1054 x1053 -x1052 x1051 x1050 -x1049 -x1048 x1047 -x1046
1800.04/1804.61 v x1045 -x1044 x1043 -x1042 x1041 x1040 -x1039 x1038 x1037 x1036 -x1035 -x1034 -x1033 -x1032 x1031 x1030 x1029 x1028 x1027 -x1026
1800.04/1804.61 v x1025 x1024 x1023 x1022 x1021 x1020 -x1019 x1018 -x1017 x1016 x1015 x1014 x1013 -x1012 x1011 -x1010 x1009 -x1008 x1007 -x1006
1800.04/1804.61 v x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 -x997 x996 -x995 x994 -x993 -x992 -x991 x990 -x989 x988 -x987 x986 x985 x984
1800.04/1804.61 v x983 x982 x981 x980 x979 x978 x977 x976 x975 -x974 x973 x972 x971 -x970 -x969 -x968 x967 -x966 -x965 x964 x963 -x962 -x961
1800.04/1804.61 v x960 x959 x958 x957 -x956 x955 x954 x953 x952 x951 x950 -x949 -x948 x947 -x946 x945 x944 -x943 x942 -x941 x940 -x939 x938 -x937
1800.04/1804.61 v x936 x935 -x934 x933 x932 x931 x930 x929 x928 -x927 -x926 x925 x924 x923 x922 x921 x920 -x919 x918 -x917 -x916 -x915 x914
1800.04/1804.61 v x913 x912 -x911 -x910 x909 -x908 -x907 x906 -x905 x904 x903 -x902 x901 -x900 x899 -x898 -x897 x896 -x895 x894 x893 x892 x891
1800.04/1804.61 v -x890 x889 -x888 -x887 x886 x885 x884 -x883 x882 -x881 x880 x879 x878 -x877 x876 -x875 x874 -x873 -x872 x871 x870 x869 -x868
1800.04/1804.61 v x867 x866 -x865 x864 x863 x862 x861 x860 x859 x858 -x857 -x856 x855 -x854 -x853 x852 x851 x850 -x849 -x848 -x847 -x846 x845
1800.04/1804.61 v -x844 -x843 -x842 -x841 -x840 x839 x838 x837 x836 -x835 -x834 x833 -x832 -x831 x830 x829 x828 -x827 x826 -x825 -x824 x823 x822
1800.04/1804.61 v x821 x820 -x819 x818 -x817 -x816 x815 x814 x813 x812 x811 x810 -x809 x808 x807 x806 x805 x804 x803 x802 x801 x800 x799 x798
1800.04/1804.61 v -x797 x796 x795 x794 x793 x792 -x791 -x790 x789 x788 x787 -x786 -x785 x784 x783 x782 -x781 x780 x779 x778 x777 -x776 x775 -x774
1800.04/1804.61 v x773 x772 x771 x770 x769 x768 -x767 x766 x765 x764 -x763 -x762 x761 x760 x759 x758 x757 x756 -x755 x754 -x753 x752 x751
1800.04/1804.61 v x750 x749 x748 -x747 x746 x745 x744 x743 x742 -x741 x740 x739 x738 -x737 -x736 x735 -x734 x733 x732 -x731 x730 x729 x728 -x727
1800.04/1804.61 v x726 x725 x724 -x723 x722 x721 x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 x712 -x711 x710 x709 -x708 x707 x706 x705 -x704
1800.04/1804.61 v x703 -x702 x701 x700 x699 -x698 x697 x696 x695 -x694 -x693 -x692 x691 x690 x689 -x688 -x687 x686 x685 -x684 x683 -x682 x681
1800.04/1804.61 v x680 x679 x678 -x677 x676 x675 x674 x673 -x672 x671 x670 -x669 x668 x667 -x666 x665 -x664 x663 x662 -x661 x660 -x659 x658 -x657
1800.04/1804.61 v x656 x655 x654 x653 x652 -x651 x650 -x649 -x648 x647 x646 x645 -x644 x643 x642 -x641 x640 -x639 -x638 x637 -x636 -x635 x634
1800.04/1804.61 v x633 x632 -x631 -x630 x629 x628 x627 x626 -x625 x624 -x623 x622 x621 x620 -x619 x618 -x617 -x616 -x615 x614 -x613 x612 -x611
1800.04/1804.61 v -x610 -x609 -x608 -x607 x606 x605 x604 x603 -x602 x601 -x600 x599 x598 -x597 -x596 x595 x594 x593 x592 x591 x590 -x589 x588
1800.04/1804.61 v -x587 -x586 x585 x584 x583 x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 x574 x573 x572 x571 x570 x569 x568 x567 -x566 x565
1800.04/1804.61 v -x564 x563 x562 x561 -x560 x559 x558 x557 x556 x555 -x554 x553 -x552 -x551 x550 x549 -x548 x547 x546 x545 x544 x543 -x542 -x541
1800.04/1804.61 v -x540 x539 x538 x537 x536 x535 x534 x533 -x532 x531 x530 -x529 -x528 -x527 x526 x525 -x524 -x523 -x522 x521 x520 x519 x518
1800.04/1804.61 v x517 -x516 x515 x514 x513 -x512 -x511 x510 x509 x508 -x507 x506 x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 x495
1800.04/1804.61 v -x494 x493 -x492 x491 -x490 -x489 x488 x487 -x486 -x485 x484 -x483 x482 x481 x480 x479 x478 x477 x476 -x475 x474 x473 -x472
1800.04/1804.61 v -x471 x470 x469 x468 x467 x466 x465 x464 x463 x462 -x461 x460 x459 x458 -x457 x456 x455 x454 x453 -x452 x451 x450 -x449 x448
1800.04/1804.61 v -x447 x446 x445 x444 -x443 x442 x441 -x440 x439 x438 x437 -x436 -x435 x434 x433 x432 -x431 x430 x429 x428 x427 -x426 x425 -x424
1800.04/1804.61 v -x423 x422 x421 x420 x419 -x418 x417 -x416 x415 -x414 -x413 x412 -x411 x410 x409 x408 -x407 -x406 x405 x404 x403 x402 -x401
1800.04/1804.61 v x400 x399 x398 -x397 x396 x395 x394 x393 x392 x391 x390 x389 -x388 x387 x386 -x385 -x384 x383 x382 x381 x380 -x379 x378 x377
1800.04/1804.61 v x376 -x375 x374 x373 x372 x371 x370 x369 -x368 x367 x366 x365 -x364 -x363 x362 -x361 x360 x359 -x358 x357 x356 x355 x354
1800.04/1804.61 v x353 x352 x351 x350 x349 x348 x347 x346 -x345 x344 -x343 -x342 -x341 x340 x339 -x338 x337 x336 x335 x334 -x333 x332 -x331 -x330
1800.04/1804.61 v x329 -x328 x327 x326 x325 -x324 -x323 -x322 x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 x313 x312 -x311 x310 -x309 x308
1800.04/1804.61 v -x307 x306 -x305 -x304 x303 -x302 -x301 x300 -x299 -x298 x297 x296 -x295 -x294 x293 -x292 x291 x290 x289 x288 -x287 -x286 x285
1800.04/1804.61 v x284 -x283 -x282 x281 x280 x279 -x278 x277 -x276 x275 x274 -x273 -x272 x271 x270 x269 -x268 -x267 x266 x265 x264 x263 x262
1800.04/1804.61 v x261 x260 x259 -x258 -x257 -x256 -x255 x254 x253 x252 -x251 -x250 -x249 x248 -x247 -x246 x245 x244 x243 -x242 -x241 x240 x239
1800.04/1804.61 v x238 -x237 x236 -x235 x234 x233 -x232 -x231 x230 x229 -x228 x227 x226 -x225 x224 -x223 -x222 -x221 x220 -x219 x218 -x217 x216
1800.04/1804.61 v x215 x214 -x213 -x212 -x211 -x210 x209 x208 x207 -x206 -x205 x204 x203 x202 -x201 -x200 -x199 -x198 x197 x196 x195 -x194 x193
1800.04/1804.61 v x192 x191 x190 -x189 x188 -x187 x186 x185 x184 x183 -x182 -x181 x180 -x179 x178 x177 -x176 x175 -x174 x173 -x172 x171 x170
1800.04/1804.61 v x169 -x168 x167 x166 x165 -x164 x163 x162 x161 -x160 x159 x158 -x157 x156 -x155 x154 x153 x152 x151 x150 x149 x148 x147 x146
1800.04/1804.61 v x145 -x144 x143 x142 x141 x140 x139 x138 -x137 x136 x135 x134 -x133 -x132 x131 x130 x129 -x128 x127 -x126 -x125 -x124 x123 x122
1800.04/1804.61 v x121 -x120 -x119 -x118 x117 x116 -x115 -x114 x113 -x112 x111 x110 x109 x108 -x107 x106 x105 x104 -x103 x102 -x101 -x100 x99
1800.04/1804.61 v x98 x97 x96 -x95 -x94 x93 -x92 -x91 x90 x89 -x88 x87 x86 x85 -x84 -x83 x82 -x81 x80 -x79 -x78 x77 -x76 x75 x74 -x73 x72 x71
1800.04/1804.61 v -x70 x69 x68 -x67 -x66 -x65 x64 x63 x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 x48 -x47 x46 x45 x44
1800.04/1804.61 v x43 x42 x41 x40 -x39 -x38 -x37 -x36 -x35 x34 x33 -x32 x31 x30 -x29 x28 -x27 x26 x25 x24 x23 x22 -x21 -x20 x19 x18 x17 -x16 -x15
1800.04/1804.61 v x14 x13 -x12 x11 x10 x9 -x8 x7 -x6 x5 -x4 x3 -x2 -x1
1800.04/1804.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1804.61 c Solving Time : 1722.39
1800.04/1804.61 c Original Problem :
1800.04/1804.61 c Problem name : HOME/instance-2664177-1276394348.opb
1800.04/1804.61 c Variables : 1969 (1969 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1804.61 c Constraints : 4000 initial, 4000 maximal
1800.04/1804.61 c Presolved Problem :
1800.04/1804.61 c Problem name : t_HOME/instance-2664177-1276394348.opb
1800.04/1804.61 c Variables : 1525 (1525 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1804.61 c Constraints : 2949 initial, 2949 maximal
1800.04/1804.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1804.61 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1804.61 c dualfix : 0.00 212 0 0 0 0 0 0 0
1800.04/1804.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1804.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1804.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1804.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1804.61 c linear : 0.08 0 232 0 0 0 1047 0 0
1800.04/1804.61 c logicor : 0.05 0 0 0 0 0 4 0 0
1800.04/1804.61 c root node : - 0 - - 0 - - - -
1800.04/1804.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1804.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1804.61 c logicor : 2949+ 0 6113758 0 5 31 6178823 0 0 0
1800.04/1804.61 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1804.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1804.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1804.61 c logicor : 22.87 0.00 22.86 0.00 0.01
1800.04/1804.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1804.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1804.61 c vbounds : 5.88 2 0 0
1800.04/1804.61 c rootredcost : 5.27 0 0 0
1800.04/1804.61 c pseudoobj : 1413.05 11775885 2358618 36609528
1800.04/1804.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1804.61 c propagation : 0.07 31 31 31 317.1 0 0.0 -
1800.04/1804.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1804.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1804.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1804.61 c pseudo solution : 0.34 166 0 0 0.0 0 0.0 -
1800.04/1804.61 c applied globally : - - - 0 0.0 - - -
1800.04/1804.61 c applied locally : - - - 31 317.1 - - -
1800.04/1804.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1804.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1804.61 c redcost : 0.00 0 0 0 0 0
1800.04/1804.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1804.61 c intobj : 0.00 0 0 0 0 0
1800.04/1804.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1804.61 c gomory : 0.00 0 0 0 0 0
1800.04/1804.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1804.61 c cmir : 0.00 0 0 0 0 0
1800.04/1804.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1804.61 c clique : 0.00 0 0 0 0 0
1800.04/1804.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1804.61 c mcf : 0.00 0 0 0 0 0
1800.04/1804.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1804.61 c Pricers : Time Calls Vars
1800.04/1804.61 c problem variables: 0.00 0 0
1800.04/1804.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1804.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1804.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1804.61 c inference : 77.44 2359243 0 0 0 0 4718486
1800.04/1804.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1804.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1804.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1804.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1804.61 c random : 0.00 0 0 0 0 0 0
1800.04/1804.61 c Primal Heuristics : Time Calls Found
1800.04/1804.61 c LP solutions : 0.00 - 0
1800.04/1804.61 c pseudo solutions : 0.01 - 5
1800.04/1804.61 c oneopt : 3.94 0 0
1800.04/1804.61 c trivial : 0.01 2 3
1800.04/1804.61 c simplerounding : 0.00 0 0
1800.04/1804.61 c zirounding : 0.00 0 0
1800.04/1804.61 c rounding : 0.00 0 0
1800.04/1804.61 c shifting : 0.00 0 0
1800.04/1804.61 c intshifting : 0.00 0 0
1800.04/1804.61 c twoopt : 0.00 0 0
1800.04/1804.61 c fixandinfer : 0.00 0 0
1800.04/1804.61 c feaspump : 0.00 0 0
1800.04/1804.61 c coefdiving : 0.00 0 0
1800.04/1804.61 c pscostdiving : 0.00 0 0
1800.04/1804.61 c fracdiving : 0.00 0 0
1800.04/1804.61 c veclendiving : 0.00 0 0
1800.04/1804.61 c intdiving : 0.00 0 0
1800.04/1804.61 c actconsdiving : 0.00 0 0
1800.04/1804.61 c objpscostdiving : 0.00 0 0
1800.04/1804.61 c rootsoldiving : 0.00 0 0
1800.04/1804.61 c linesearchdiving : 0.00 0 0
1800.04/1804.61 c guideddiving : 0.00 0 0
1800.04/1804.61 c octane : 0.00 0 0
1800.04/1804.61 c rens : 0.00 0 0
1800.04/1804.61 c rins : 0.00 0 0
1800.04/1804.61 c localbranching : 0.00 0 0
1800.04/1804.61 c mutation : 0.00 0 0
1800.04/1804.61 c crossover : 0.00 0 0
1800.04/1804.61 c dins : 0.00 0 0
1800.04/1804.61 c undercover : 0.00 0 0
1800.04/1804.61 c nlp : 1.99 0 0
1800.04/1804.61 c trysol : 2.24 0 0
1800.04/1804.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1804.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1804.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1804.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1804.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1804.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1804.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1804.61 c (at root node) : - 0 0 0.00 -
1800.04/1804.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1804.61 c B&B Tree :
1800.04/1804.61 c number of runs : 1
1800.04/1804.61 c nodes : 4718046
1800.04/1804.61 c nodes (total) : 4718046
1800.04/1804.61 c nodes left : 381
1800.04/1804.61 c max depth : 498
1800.04/1804.61 c max depth (total): 498
1800.04/1804.61 c backtracks : 1002448 (21.2%)
1800.04/1804.61 c delayed cutoffs : 17
1800.04/1804.61 c repropagations : 27 (612 domain reductions, 17 cutoffs)
1800.04/1804.61 c avg switch length: 2.00
1800.04/1804.61 c switching time : 62.15
1800.04/1804.61 c Solution :
1800.04/1804.61 c Solutions found : 8 (7 improvements)
1800.04/1804.61 c First Solution : +1.96900000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.04/1804.61 c Primal Bound : +1.24300000000000e+03 (in run 1, after 4131576 nodes, 1502.69 seconds, depth 402, found by <relaxation>)
1800.04/1804.61 c Dual Bound : +2.21000000000000e+02
1800.04/1804.61 c Gap : 462.44 %
1800.04/1804.61 c Root Dual Bound : +2.20000000000000e+02
1800.04/1804.61 c Root Iterations : 0
1800.04/1804.63 c Time complete: 1800.06.