0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3690891-1338017129.opb>
0.00/0.01 c original problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 466 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 467
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.670000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 42 chg coeffs, 466 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 48 del conss, 121 add conss, 0 chg bounds, 168 chg sides, 459 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 83 del conss, 136 add conss, 0 chg bounds, 223 chg sides, 543 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 87 del conss, 140 add conss, 0 chg bounds, 234 chg sides, 566 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 236 chg sides, 570 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 242 chg sides, 576 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (round 8) 0 del vars, 88 del conss, 141 add conss, 0 chg bounds, 244 chg sides, 591 chg coeffs, 467 upgd conss, 156 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/467 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (9 rounds):
0.00/0.03 c 0 deleted vars, 88 deleted constraints, 141 added constraints, 0 tightened bounds, 0 added holes, 244 changed sides, 591 changed coefficients
0.00/0.03 c 156 implications, 0 cliques
0.00/0.03 c presolved problem has 467 variables (467 bin, 0 int, 0 impl, 0 cont) and 519 constraints
0.00/0.03 c 438 constraints of type <knapsack>
0.00/0.03 c 78 constraints of type <setppc>
0.00/0.03 c 3 constraints of type <logicor>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.94 c t 0.9s| 1 | 0 | 10651 | - |2642k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 4.670000e+02 | 224.73%
0.89/0.94 o 323
0.89/0.94 c r 0.9s| 1 | 0 | 10651 | - |2655k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.230000e+02 | 124.60%
0.89/0.95 o 322
0.89/0.95 c R 0.9s| 1 | 0 | 10651 | - |2669k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.220000e+02 | 123.91%
0.89/0.95 o 321
0.89/0.95 c s 0.9s| 1 | 0 | 10651 | - |2682k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 3.210000e+02 | 123.21%
1.28/1.36 o 221
1.28/1.36 c y 1.4s| 1 | 0 | 10651 | - |3118k| 0 | 309 | 467 | 519 | 467 | 519 | 0 | 0 | 0 | 1.438096e+02 | 2.210000e+02 | 53.68%
1.78/1.85 c 1.8s| 1 | 0 | 14031 | - |3012k| 0 | 368 | 467 | 519 | 467 | 746 | 227 | 0 | 0 | 1.486120e+02 | 2.210000e+02 | 48.71%
2.78/2.89 c 2.9s| 1 | 0 | 18947 | - |3286k| 0 | 404 | 467 | 519 | 467 | 938 | 419 | 0 | 0 | 1.523063e+02 | 2.210000e+02 | 45.10%
3.59/3.61 c 3.6s| 1 | 0 | 21426 | - |3482k| 0 | 420 | 467 | 519 | 467 |1072 | 553 | 0 | 0 | 1.543595e+02 | 2.210000e+02 | 43.17%
4.29/4.34 c 4.3s| 1 | 0 | 23498 | - |3615k| 0 | 425 | 467 | 519 | 467 |1177 | 658 | 0 | 0 | 1.551322e+02 | 2.210000e+02 | 42.46%
4.88/4.93 c 4.9s| 1 | 0 | 24452 | - |3693k| 0 | 425 | 467 | 519 | 467 |1247 | 728 | 0 | 0 | 1.556093e+02 | 2.210000e+02 | 42.02%
5.49/5.51 c 5.5s| 1 | 0 | 25122 | - |3763k| 0 | 434 | 467 | 519 | 467 |1301 | 782 | 0 | 0 | 1.558586e+02 | 2.210000e+02 | 41.80%
5.98/6.02 c 6.0s| 1 | 0 | 25426 | - |3790k| 0 | 430 | 467 | 519 | 467 |1321 | 802 | 0 | 0 | 1.559926e+02 | 2.210000e+02 | 41.67%
6.38/6.50 c 6.5s| 1 | 0 | 25641 | - |3819k| 0 | 426 | 467 | 519 | 467 |1338 | 819 | 0 | 0 | 1.560419e+02 | 2.210000e+02 | 41.63%
6.88/6.92 c 6.9s| 1 | 0 | 25722 | - |3826k| 0 | 428 | 467 | 519 | 467 |1340 | 821 | 0 | 0 | 1.560495e+02 | 2.210000e+02 | 41.62%
10.28/10.30 c 10.3s| 1 | 2 | 25722 | - |3847k| 0 | 428 | 467 | 519 | 467 |1340 | 821 | 0 | 17 | 1.560495e+02 | 2.210000e+02 | 41.62%
32.88/32.98 o 219
32.88/32.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.88/32.98 c c33.0s| 15 | 16 | 44518 |1342.6 |4626k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.190000e+02 | 40.26%
32.88/32.98 o 219
32.88/32.98 c c33.0s| 15 | 16 | 44528 |1343.3 |4629k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.190000e+02 | 40.26%
32.88/32.98 o 217
32.88/32.98 c c33.0s| 15 | 16 | 44531 |1343.5 |4631k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.170000e+02 | 38.98%
32.88/32.99 o 216
32.88/32.99 c c33.0s| 15 | 16 | 44621 |1349.9 |4654k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.160000e+02 | 38.34%
32.88/32.99 o 215
32.88/32.99 c c33.0s| 15 | 16 | 44623 |1350.1 |4655k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.150000e+02 | 37.70%
32.88/32.99 o 213
32.88/32.99 c c33.0s| 15 | 16 | 44630 |1350.6 |4656k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.130000e+02 | 36.42%
32.88/32.99 o 213
32.88/32.99 c c33.0s| 15 | 16 | 44638 |1351.1 |4657k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.130000e+02 | 36.42%
32.98/33.00 o 212
32.98/33.00 c b33.0s| 16 | 15 | 44668 |1263.1 |4533k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.561358e+02 | 2.120000e+02 | 35.78%
34.87/34.93 o 211
34.87/34.93 c p34.9s| 28 | 29 | 58180 |1202.1 |4741k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.110000e+02 | 35.07%
34.87/34.94 o 210
34.87/34.94 c p34.9s| 28 | 29 | 58185 |1202.3 |4743k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.100000e+02 | 34.43%
34.87/34.94 o 208
34.87/34.94 c p34.9s| 28 | 29 | 58190 |1202.5 |4745k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.080000e+02 | 33.15%
34.87/34.94 o 205
34.87/34.94 c p34.9s| 28 | 29 | 58195 |1202.7 |4746k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.050000e+02 | 31.23%
34.87/34.94 o 204
34.87/34.94 c p34.9s| 28 | 29 | 58205 |1203.1 |4747k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.040000e+02 | 30.59%
34.87/34.94 o 204
34.87/34.94 c p34.9s| 28 | 29 | 58218 |1203.6 |4748k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.040000e+02 | 30.59%
34.87/34.94 o 203
34.87/34.94 c p34.9s| 28 | 29 | 58253 |1204.9 |4757k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.030000e+02 | 29.95%
34.87/34.94 o 202
34.87/34.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.87/34.94 c p34.9s| 28 | 29 | 58269 |1205.4 |4762k| 14 | - | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.020000e+02 | 29.31%
34.87/34.95 o 200
34.87/34.95 c b35.0s| 28 | 29 | 58282 |1205.9 |4609k| 14 | 395 | 467 | 519 | 467 | 931 | 821 | 0 | 238 | 1.562145e+02 | 2.000000e+02 | 28.03%
46.97/47.00 c 47.0s| 100 | 101 |141524 |1169.7 |4778k| 18 | 364 | 467 | 519 | 467 | 931 | 821 | 0 | 250 | 1.562556e+02 | 2.000000e+02 | 28.00%
56.17/56.25 o 199
56.17/56.25 c v56.3s| 149 | 150 |200827 |1183.1 |4958k| 21 | - | 467 | 519 | 467 | 931 | 821 | 0 | 273 | 1.562955e+02 | 1.990000e+02 | 27.32%
56.17/56.26 o 199
56.17/56.26 c v56.3s| 149 | 150 |200848 |1183.3 |4960k| 21 | - | 467 | 519 | 467 | 931 | 821 | 0 | 273 | 1.562955e+02 | 1.990000e+02 | 27.32%
56.17/56.29 o 195
56.17/56.29 c b56.3s| 150 | 151 |200978 |1176.2 |4833k| 21 | 366 | 467 | 519 | 467 | 931 | 821 | 0 | 273 | 1.562955e+02 | 1.950000e+02 | 24.76%
76.36/76.42 c 76.4s| 200 | 201 |381710 |1788.9 |4866k| 27 | 373 | 467 | 519 | 467 | 931 | 821 | 0 | 293 | 1.562955e+02 | 1.950000e+02 | 24.76%
107.47/107.51 o 193
107.47/107.51 c p 108s| 258 | 259 |610818 |2276.6 |5057k| 27 | - | 467 | 519 | 467 | 931 | 821 | 0 | 311 | 1.564313e+02 | 1.930000e+02 | 23.38%
108.96/109.06 o 193
108.96/109.06 c v 109s| 261 | 262 |622996 |2297.2 |5035k| 27 | - | 467 | 519 | 467 | 931 | 821 | 0 | 311 | 1.564313e+02 | 1.930000e+02 | 23.38%
109.06/109.13 o 192
109.06/109.13 c b 109s| 262 | 263 |623370 |2289.8 |4913k| 27 | 394 | 467 | 519 | 467 | 931 | 821 | 0 | 311 | 1.564313e+02 | 1.920000e+02 | 22.74%
113.06/113.10 o 191
113.06/113.10 c p 113s| 267 | 268 |650737 |2349.7 |5066k| 27 | - | 467 | 519 | 467 | 931 | 821 | 0 | 320 | 1.564313e+02 | 1.910000e+02 | 22.10%
129.46/129.57 c 130s| 300 | 301 |770939 |2492.4 |4929k| 27 | 401 | 467 | 519 | 467 | 931 | 821 | 0 | 338 | 1.564401e+02 | 1.910000e+02 | 22.09%
165.75/165.80 o 191
165.75/165.80 c p 166s| 393 | 394 | 1035k|2575.7 |5154k| 27 | - | 467 | 519 | 467 | 931 | 821 | 0 | 390 | 1.564822e+02 | 1.910000e+02 | 22.06%
165.75/165.84 o 190
165.75/165.84 c b 166s| 394 | 395 | 1035k|2569.6 |4995k| 27 | 380 | 467 | 519 | 467 | 931 | 821 | 0 | 390 | 1.564822e+02 | 1.900000e+02 | 21.42%
166.05/166.13 c 166s| 400 | 401 | 1037k|2535.6 |4992k| 27 | 374 | 467 | 519 | 467 | 931 | 821 | 0 | 390 | 1.564822e+02 | 1.900000e+02 | 21.42%
189.55/189.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
189.55/189.66 c 190s| 500 | 501 | 1212k|2377.7 |5053k| 27 | 372 | 467 | 519 | 467 | 931 | 821 | 0 | 398 | 1.565397e+02 | 1.900000e+02 | 21.37%
209.05/209.12 o 186
209.05/209.12 c C 209s| 594 | 595 | 1350k|2234.2 |5112k| 31 | 396 | 467 | 519 | 467 | 931 | 821 | 0 | 425 | 1.565971e+02 | 1.860000e+02 | 18.78%
209.35/209.43 c 209s| 600 | 601 | 1352k|2215.1 |5116k| 31 | 324 | 467 | 519 | 467 | 931 | 821 | 0 | 425 | 1.565971e+02 | 1.860000e+02 | 18.78%
228.65/228.72 c 229s| 700 | 701 | 1491k|2096.8 |5180k| 31 | 367 | 467 | 519 | 467 | 931 | 821 | 0 | 457 | 1.566106e+02 | 1.860000e+02 | 18.77%
241.54/241.67 c 242s| 800 | 801 | 1587k|1954.5 |5244k| 31 | 366 | 467 | 519 | 467 | 931 | 821 | 0 | 459 | 1.566714e+02 | 1.860000e+02 | 18.72%
262.34/262.43 c 262s| 900 | 901 | 1736k|1903.1 |5308k| 31 | 367 | 467 | 519 | 467 | 931 | 821 | 0 | 485 | 1.566858e+02 | 1.860000e+02 | 18.71%
275.54/275.69 c 276s| 1000 | 1001 | 1828k|1804.1 |5371k| 31 | 361 | 467 | 519 | 467 | 931 | 821 | 0 | 513 | 1.567255e+02 | 1.860000e+02 | 18.68%
290.44/290.55 c 291s| 1100 | 1101 | 1937k|1739.4 |5435k| 31 | 396 | 467 | 519 | 467 | 931 | 821 | 0 | 514 | 1.567564e+02 | 1.860000e+02 | 18.66%
296.74/296.81 c 297s| 1200 | 1201 | 1983k|1633.1 |5507k| 75 | 231 | 467 | 519 | 467 | 931 | 821 | 0 | 531 | 1.567592e+02 | 1.860000e+02 | 18.65%
298.44/298.57 c 299s| 1300 | 1301 | 1997k|1518.0 |5579k| 96 | 160 | 467 | 519 | 467 | 931 | 821 | 0 | 552 | 1.567592e+02 | 1.860000e+02 | 18.65%
299.33/299.40 c 299s| 1400 | 1393 | 2004k|1414.5 |5656k| 109 | 122 | 467 | 519 | 467 | 931 | 821 | 0 | 573 | 1.567592e+02 | 1.860000e+02 | 18.65%
302.44/302.56 c 303s| 1500 | 1471 | 2026k|1334.7 |5727k| 112 | - | 467 | 519 | 467 | 931 | 821 | 0 | 592 | 1.567592e+02 | 1.860000e+02 | 18.65%
304.43/304.56 c 305s| 1600 | 1533 | 2040k|1260.3 |5779k| 122 | - | 467 | 519 | 467 | 931 | 821 | 0 | 596 | 1.567606e+02 | 1.860000e+02 | 18.65%
306.43/306.54 c 307s| 1700 | 1549 | 2055k|1194.8 |5803k| 122 | - | 467 | 519 | 467 | 931 | 821 | 0 | 598 | 1.567613e+02 | 1.860000e+02 | 18.65%
310.63/310.77 c 311s| 1800 | 1589 | 2087k|1146.3 |5827k| 122 | 107 | 467 | 519 | 467 | 931 | 821 | 0 | 599 | 1.567668e+02 | 1.860000e+02 | 18.65%
314.72/314.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
314.72/314.89 c 315s| 1900 | 1623 | 2119k|1102.4 |5860k| 122 | - | 467 | 519 | 0 | 0 | 821 | 0 | 599 | 1.567731e+02 | 1.860000e+02 | 18.64%
318.62/318.72 c 319s| 2000 | 1663 | 2148k|1061.9 |5889k| 122 | 115 | 467 | 519 | 467 | 931 | 821 | 0 | 599 | 1.567758e+02 | 1.860000e+02 | 18.64%
322.73/322.89 c 323s| 2100 | 1703 | 2179k|1026.0 |5919k| 123 | 125 | 467 | 519 | 467 | 931 | 821 | 0 | 599 | 1.567822e+02 | 1.860000e+02 | 18.64%
327.12/327.23 c 327s| 2200 | 1763 | 2214k| 995.2 |5966k| 123 | 128 | 467 | 519 | 467 | 931 | 821 | 0 | 599 | 1.567865e+02 | 1.860000e+02 | 18.63%
330.22/330.37 c 330s| 2300 | 1795 | 2233k| 960.3 |5998k| 123 | 114 | 467 | 519 | 467 | 931 | 821 | 0 | 616 | 1.567879e+02 | 1.860000e+02 | 18.63%
332.23/332.37 c 332s| 2400 | 1803 | 2249k| 926.8 |6005k| 125 | 105 | 467 | 519 | 467 | 931 | 821 | 0 | 616 | 1.567879e+02 | 1.860000e+02 | 18.63%
336.73/336.84 c 337s| 2500 | 1843 | 2276k| 900.8 |6034k| 125 | 124 | 467 | 519 | 467 | 931 | 821 | 0 | 630 | 1.568036e+02 | 1.860000e+02 | 18.62%
339.03/339.19 c 339s| 2600 | 1871 | 2296k| 873.6 |6068k| 125 | - | 467 | 519 | 467 | 931 | 821 | 0 | 630 | 1.568041e+02 | 1.860000e+02 | 18.62%
343.52/343.64 c 344s| 2700 | 1907 | 2326k| 852.3 |6098k| 125 | 115 | 467 | 519 | 467 | 931 | 821 | 0 | 644 | 1.568104e+02 | 1.860000e+02 | 18.61%
345.33/345.46 c 345s| 2800 | 1921 | 2339k| 826.5 |6114k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 653 | 1.568181e+02 | 1.860000e+02 | 18.61%
349.73/349.89 c 350s| 2900 | 1945 | 2372k| 809.5 |6131k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 662 | 1.568322e+02 | 1.860000e+02 | 18.60%
350.02/350.11 c 350s| 3000 | 1947 | 2374k| 783.2 |6133k| 126 | 94 | 467 | 519 | 467 | 931 | 821 | 0 | 663 | 1.568322e+02 | 1.860000e+02 | 18.60%
355.42/355.51 c 356s| 3100 | 1987 | 2415k| 771.2 |6162k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 663 | 1.568351e+02 | 1.860000e+02 | 18.60%
360.52/360.70 c 361s| 3200 | 2045 | 2453k| 758.9 |6199k| 126 | 110 | 467 | 519 | 467 | 931 | 821 | 0 | 664 | 1.568454e+02 | 1.860000e+02 | 18.59%
367.12/367.20 c 367s| 3300 | 2091 | 2502k| 750.7 |6226k| 126 | 371 | 467 | 519 | 467 | 931 | 821 | 0 | 665 | 1.568471e+02 | 1.860000e+02 | 18.59%
371.02/371.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
371.02/371.10 c 371s| 3400 | 2115 | 2529k| 736.7 |6253k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 675 | 1.568508e+02 | 1.860000e+02 | 18.58%
375.62/375.78 c 376s| 3500 | 2159 | 2559k| 724.2 |6282k| 126 | 136 | 467 | 519 | 467 | 931 | 821 | 0 | 692 | 1.568548e+02 | 1.860000e+02 | 18.58%
380.92/381.07 c 381s| 3600 | 2195 | 2595k| 713.9 |6310k| 126 | 359 | 467 | 519 | 467 | 931 | 821 | 0 | 711 | 1.568612e+02 | 1.860000e+02 | 18.58%
382.41/382.53 c 383s| 3700 | 2223 | 2607k| 697.9 |6335k| 126 | 123 | 467 | 519 | 467 | 931 | 821 | 0 | 711 | 1.568612e+02 | 1.860000e+02 | 18.58%
383.32/383.46 c 383s| 3800 | 2261 | 2614k| 681.4 |6369k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 711 | 1.568615e+02 | 1.860000e+02 | 18.58%
383.62/383.75 c 384s| 3900 | 2269 | 2616k| 664.6 |6377k| 126 | 128 | 467 | 519 | 467 | 931 | 821 | 0 | 717 | 1.568615e+02 | 1.860000e+02 | 18.58%
389.62/389.79 c 390s| 4000 | 2315 | 2659k| 658.7 |6418k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 728 | 1.568740e+02 | 1.860000e+02 | 18.57%
393.81/393.95 c 394s| 4100 | 2359 | 2690k| 650.1 |6455k| 126 | 374 | 467 | 519 | 467 | 931 | 821 | 0 | 729 | 1.568805e+02 | 1.860000e+02 | 18.56%
396.11/396.27 c 396s| 4200 | 2391 | 2709k| 639.1 |6488k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 730 | 1.568820e+02 | 1.860000e+02 | 18.56%
398.71/398.83 c 399s| 4300 | 2421 | 2730k| 629.2 |6506k| 126 | 120 | 467 | 519 | 467 | 931 | 821 | 0 | 731 | 1.568833e+02 | 1.860000e+02 | 18.56%
404.01/404.15 c 404s| 4400 | 2473 | 2769k| 623.8 |6551k| 126 | 111 | 467 | 519 | 467 | 931 | 821 | 0 | 731 | 1.568850e+02 | 1.860000e+02 | 18.56%
407.81/408.00 c 408s| 4500 | 2509 | 2800k| 616.7 |6583k| 126 | 105 | 467 | 519 | 467 | 931 | 821 | 0 | 731 | 1.568883e+02 | 1.860000e+02 | 18.56%
408.11/408.26 c 408s| 4600 | 2535 | 2802k| 603.9 |6618k| 126 | 102 | 467 | 519 | 467 | 931 | 821 | 0 | 731 | 1.568883e+02 | 1.860000e+02 | 18.56%
411.01/411.15 c 411s| 4700 | 2555 | 2822k| 595.2 |6624k| 126 | 122 | 467 | 519 | 467 | 931 | 821 | 0 | 754 | 1.568902e+02 | 1.860000e+02 | 18.55%
416.82/416.99 c 417s| 4800 | 2607 | 2858k| 590.3 |6673k| 126 | 118 | 467 | 519 | 467 | 931 | 821 | 0 | 785 | 1.568933e+02 | 1.860000e+02 | 18.55%
420.71/420.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
420.71/420.82 c 421s| 4900 | 2639 | 2887k| 584.2 |6697k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 785 | 1.568940e+02 | 1.860000e+02 | 18.55%
425.20/425.34 c 425s| 5000 | 2669 | 2920k| 579.0 |6720k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 804 | 1.569060e+02 | 1.860000e+02 | 18.54%
429.21/429.31 c 429s| 5100 | 2703 | 2950k| 573.6 |6735k| 126 | 103 | 467 | 519 | 467 | 931 | 821 | 0 | 810 | 1.569072e+02 | 1.860000e+02 | 18.54%
431.11/431.29 c 431s| 5200 | 2731 | 2966k| 565.6 |6758k| 126 | 128 | 467 | 519 | 467 | 931 | 821 | 0 | 810 | 1.569087e+02 | 1.860000e+02 | 18.54%
433.80/433.93 c 434s| 5300 | 2761 | 2985k| 558.6 |6789k| 126 | 379 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569101e+02 | 1.860000e+02 | 18.54%
435.11/435.29 c 435s| 5400 | 2789 | 2996k| 550.3 |6822k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569101e+02 | 1.860000e+02 | 18.54%
439.11/439.20 c 439s| 5500 | 2821 | 3027k| 545.9 |6852k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569141e+02 | 1.860000e+02 | 18.54%
443.71/443.85 c 444s| 5600 | 2875 | 3063k| 542.5 |6888k| 126 | 118 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569183e+02 | 1.860000e+02 | 18.53%
444.40/444.59 c 445s| 5700 | 2909 | 3068k| 534.0 |6925k| 126 | 379 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569188e+02 | 1.860000e+02 | 18.53%
450.61/450.71 c 451s| 5800 | 2963 | 3116k| 533.0 |6968k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569219e+02 | 1.860000e+02 | 18.53%
454.30/454.49 c 454s| 5900 | 3005 | 3145k| 528.9 |7008k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569226e+02 | 1.860000e+02 | 18.53%
456.41/456.56 c 457s| 6000 | 3023 | 3162k| 522.9 |7027k| 126 | 112 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569230e+02 | 1.860000e+02 | 18.53%
457.01/457.18 c 457s| 6100 | 3055 | 3167k| 515.2 |7049k| 126 | 374 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569230e+02 | 1.860000e+02 | 18.53%
460.81/460.96 c 461s| 6200 | 3101 | 3195k| 511.4 |7091k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569248e+02 | 1.860000e+02 | 18.53%
465.71/465.80 c 466s| 6300 | 3149 | 3233k| 509.3 |7125k| 126 | 381 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569316e+02 | 1.860000e+02 | 18.52%
470.40/470.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
470.40/470.58 c 471s| 6400 | 3199 | 3268k| 506.8 |7163k| 126 | 130 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569352e+02 | 1.860000e+02 | 18.52%
472.81/472.98 c 473s| 6500 | 3235 | 3286k| 501.8 |7199k| 126 | 386 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569353e+02 | 1.860000e+02 | 18.52%
478.31/478.47 c 478s| 6600 | 3289 | 3330k| 500.8 |7243k| 126 | 124 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569411e+02 | 1.860000e+02 | 18.52%
480.10/480.22 c 480s| 6700 | 3319 | 3343k| 495.3 |7279k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569417e+02 | 1.860000e+02 | 18.52%
484.20/484.35 c 484s| 6800 | 3369 | 3374k| 492.5 |7327k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569450e+02 | 1.860000e+02 | 18.51%
484.90/485.09 c 485s| 6900 | 3385 | 3379k| 486.1 |7337k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569451e+02 | 1.860000e+02 | 18.51%
488.90/489.04 c 489s| 7000 | 3411 | 3410k| 483.6 |7359k| 126 | 117 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569475e+02 | 1.860000e+02 | 18.51%
491.39/491.55 c 492s| 7100 | 3445 | 3429k| 479.5 |7394k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569582e+02 | 1.860000e+02 | 18.50%
494.49/494.69 c 495s| 7200 | 3491 | 3452k| 476.0 |7429k| 126 | 366 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569610e+02 | 1.860000e+02 | 18.50%
498.00/498.16 c 498s| 7300 | 3535 | 3480k| 473.3 |7469k| 126 | 140 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569619e+02 | 1.860000e+02 | 18.50%
500.20/500.30 c 500s| 7400 | 3581 | 3497k| 469.2 |7513k| 126 | 126 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569635e+02 | 1.860000e+02 | 18.50%
500.90/501.09 c 501s| 7500 | 3633 | 3503k| 463.8 |7564k| 126 | 367 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569660e+02 | 1.860000e+02 | 18.50%
503.60/503.74 c 504s| 7600 | 3681 | 3523k| 460.2 |7601k| 126 | 123 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569683e+02 | 1.860000e+02 | 18.50%
504.20/504.37 c 504s| 7700 | 3711 | 3527k| 454.9 |7636k| 126 | 380 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569696e+02 | 1.860000e+02 | 18.49%
508.30/508.49 c 508s| 7800 | 3753 | 3560k| 453.2 |7676k| 126 | 116 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569774e+02 | 1.860000e+02 | 18.49%
510.80/510.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.80/510.92 c 511s| 7900 | 3799 | 3579k| 449.9 |7716k| 126 | 100 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569784e+02 | 1.860000e+02 | 18.49%
513.19/513.37 c 513s| 8000 | 3823 | 3597k| 446.5 |7734k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569791e+02 | 1.860000e+02 | 18.49%
517.30/517.40 c 517s| 8100 | 3855 | 3628k| 444.8 |7755k| 126 | 116 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569807e+02 | 1.860000e+02 | 18.49%
517.79/518.00 c 518s| 8200 | 3875 | 3632k| 439.9 |7779k| 126 | 377 | 467 | 519 | 467 | 931 | 821 | 0 | 812 | 1.569810e+02 | 1.860000e+02 | 18.49%
523.59/523.78 c 524s| 8300 | 3903 | 3674k| 439.6 |7801k| 126 | 117 | 467 | 519 | 467 | 931 | 821 | 0 | 825 | 1.569815e+02 | 1.860000e+02 | 18.49%
527.90/528.08 c 528s| 8400 | 3927 | 3702k| 437.8 |7822k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 834 | 1.569836e+02 | 1.860000e+02 | 18.48%
531.89/532.08 c 532s| 8500 | 3983 | 3730k| 435.9 |7865k| 126 | 117 | 467 | 519 | 467 | 931 | 821 | 0 | 845 | 1.569860e+02 | 1.860000e+02 | 18.48%
534.59/534.79 c 535s| 8600 | 4017 | 3748k| 433.0 |7899k| 126 | 103 | 467 | 519 | 467 | 931 | 821 | 0 | 851 | 1.569862e+02 | 1.860000e+02 | 18.48%
536.69/536.81 c 537s| 8700 | 4037 | 3764k| 429.8 |7921k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 852 | 1.569874e+02 | 1.860000e+02 | 18.48%
542.50/542.64 c 543s| 8800 | 4095 | 3808k| 429.9 |7969k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 853 | 1.569959e+02 | 1.860000e+02 | 18.47%
543.30/543.43 c 543s| 8900 | 4107 | 3814k| 425.7 |7984k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 853 | 1.569959e+02 | 1.860000e+02 | 18.47%
547.99/548.16 c 548s| 9000 | 4161 | 3849k| 424.9 |8023k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 854 | 1.569992e+02 | 1.860000e+02 | 18.47%
550.79/550.94 c 551s| 9100 | 4187 | 3870k| 422.5 |8041k| 126 | 112 | 467 | 519 | 467 | 931 | 821 | 0 | 854 | 1.569999e+02 | 1.860000e+02 | 18.47%
551.99/552.19 c 552s| 9200 | 4205 | 3879k| 418.9 |8053k| 126 | 379 | 467 | 519 | 467 | 931 | 821 | 0 | 854 | 1.570006e+02 | 1.860000e+02 | 18.47%
553.99/554.15 c 554s| 9300 | 4223 | 3894k| 416.0 |8069k| 126 | 111 | 467 | 519 | 467 | 931 | 821 | 0 | 854 | 1.570017e+02 | 1.860000e+02 | 18.47%
557.09/557.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
557.09/557.28 c 557s| 9400 | 4257 | 3913k| 413.6 |8091k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 863 | 1.570053e+02 | 1.860000e+02 | 18.47%
561.69/561.84 c 562s| 9500 | 4285 | 3945k| 412.7 |8109k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 872 | 1.570069e+02 | 1.860000e+02 | 18.47%
564.29/564.44 c 564s| 9600 | 4313 | 3961k| 410.0 |8141k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 885 | 1.570076e+02 | 1.860000e+02 | 18.47%
567.69/567.85 c 568s| 9700 | 4349 | 3983k| 408.1 |8164k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 894 | 1.570108e+02 | 1.860000e+02 | 18.46%
569.99/570.16 c 570s| 9800 | 4365 | 4001k| 405.7 |8176k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 905 | 1.570138e+02 | 1.860000e+02 | 18.46%
574.38/574.53 c 575s| 9900 | 4403 | 4033k| 404.9 |8206k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 918 | 1.570155e+02 | 1.860000e+02 | 18.46%
576.99/577.15 c 577s| 10000 | 4427 | 4054k| 402.9 |8224k| 126 | 368 | 467 | 519 | 467 | 931 | 821 | 0 | 918 | 1.570164e+02 | 1.860000e+02 | 18.46%
580.48/580.68 c 581s| 10100 | 4447 | 4080k| 401.5 |8235k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 919 | 1.570184e+02 | 1.860000e+02 | 18.46%
585.89/586.03 c 586s| 10200 | 4503 | 4121k| 401.5 |8273k| 126 | 346 | 467 | 519 | 467 | 931 | 821 | 0 | 919 | 1.570219e+02 | 1.860000e+02 | 18.45%
587.88/588.04 c 588s| 10300 | 4543 | 4137k| 399.3 |8315k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 920 | 1.570240e+02 | 1.860000e+02 | 18.45%
591.18/591.34 c 591s| 10400 | 4595 | 4161k| 397.7 |8355k| 126 | - | 467 | 519 | 467 | 931 | 821 | 0 | 920 | 1.570271e+02 | 1.860000e+02 | 18.45%
594.09/594.27 c 594s| 10500 | 4671 | 4186k| 396.3 |8418k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 920 | 1.570278e+02 | 1.860000e+02 | 18.45%
595.88/596.09 c 596s| 10600 | 4723 | 4200k| 393.9 |8461k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 920 | 1.570282e+02 | 1.860000e+02 | 18.45%
599.88/600.01 c 600s| 10700 | 4773 | 4225k| 392.6 |8500k| 126 | 363 | 467 | 525 | 467 | 931 | 821 | 6 | 934 | 1.570302e+02 | 1.860000e+02 | 18.45%
601.08/601.22 c 601s| 10800 | 4789 | 4235k| 389.8 |8528k| 126 | 89 | 467 | 525 | 467 | 931 | 821 | 6 | 934 | 1.570302e+02 | 1.860000e+02 | 18.45%
605.88/606.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
605.88/606.09 c 606s| 10900 | 4825 | 4270k| 389.4 |8554k| 126 | 365 | 467 | 525 | 467 | 931 | 821 | 6 | 943 | 1.570316e+02 | 1.860000e+02 | 18.45%
609.38/609.56 c 610s| 11000 | 4853 | 4290k| 387.8 |8576k| 126 | - | 467 | 525 | 0 | 0 | 821 | 6 | 962 | 1.570318e+02 | 1.860000e+02 | 18.45%
612.08/612.25 c 612s| 11100 | 4893 | 4311k| 386.1 |8609k| 126 | 128 | 467 | 525 | 467 | 931 | 821 | 6 | 962 | 1.570371e+02 | 1.860000e+02 | 18.44%
613.88/614.03 c 614s| 11200 | 4945 | 4321k| 383.6 |8662k| 126 | 369 | 467 | 525 | 467 | 931 | 821 | 6 | 979 | 1.570407e+02 | 1.860000e+02 | 18.44%
617.48/617.64 c 618s| 11300 | 4971 | 4349k| 382.7 |8689k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 981 | 1.570413e+02 | 1.860000e+02 | 18.44%
620.37/620.58 c 621s| 11400 | 5003 | 4372k| 381.3 |8716k| 126 | 116 | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570441e+02 | 1.860000e+02 | 18.44%
622.28/622.46 c 622s| 11500 | 5017 | 4386k| 379.2 |8736k| 126 | 121 | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570444e+02 | 1.860000e+02 | 18.44%
624.27/624.42 c 624s| 11600 | 5037 | 4402k| 377.3 |8753k| 126 | 120 | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570445e+02 | 1.860000e+02 | 18.44%
630.48/630.62 c 631s| 11700 | 5087 | 4450k| 378.2 |8787k| 126 | 378 | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570537e+02 | 1.860000e+02 | 18.43%
632.68/632.80 c 633s| 11800 | 5119 | 4466k| 376.4 |8819k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570553e+02 | 1.860000e+02 | 18.43%
634.07/634.22 c 634s| 11900 | 5149 | 4477k| 374.1 |8851k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570562e+02 | 1.860000e+02 | 18.43%
635.48/635.63 c 636s| 12000 | 5181 | 4487k| 371.8 |8871k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570581e+02 | 1.860000e+02 | 18.43%
639.47/639.68 c 640s| 12100 | 5207 | 4520k| 371.5 |8879k| 126 | 114 | 467 | 525 | 467 | 931 | 821 | 6 | 982 | 1.570594e+02 | 1.860000e+02 | 18.43%
645.87/646.06 c 646s| 12200 | 5261 | 4561k| 371.8 |8925k| 126 | 126 | 467 | 525 | 467 | 931 | 821 | 6 | 997 | 1.570619e+02 | 1.860000e+02 | 18.42%
649.88/650.10 c 650s| 12300 | 5297 | 4589k| 371.1 |8952k| 126 | 123 | 467 | 525 | 467 | 931 | 821 | 6 |1006 | 1.570669e+02 | 1.860000e+02 | 18.42%
651.37/651.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.37/651.57 c 652s| 12400 | 5315 | 4594k| 368.5 |8963k| 126 | 376 | 467 | 525 | 467 | 931 | 821 | 6 |1037 | 1.570671e+02 | 1.860000e+02 | 18.42%
653.28/653.43 c 653s| 12500 | 5339 | 4609k| 366.7 |8987k| 126 | 381 | 467 | 525 | 467 | 931 | 821 | 6 |1037 | 1.570685e+02 | 1.860000e+02 | 18.42%
655.28/655.46 c 655s| 12600 | 5367 | 4625k| 365.1 |9012k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1037 | 1.570697e+02 | 1.860000e+02 | 18.42%
657.47/657.60 c 658s| 12700 | 5413 | 4638k| 363.2 |9046k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1043 | 1.570711e+02 | 1.860000e+02 | 18.42%
659.67/659.81 c 660s| 12800 | 5429 | 4653k| 361.6 |9066k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1049 | 1.570721e+02 | 1.860000e+02 | 18.42%
664.18/664.33 c 664s| 12900 | 5467 | 4686k| 361.3 |9084k| 126 | 122 | 467 | 525 | 467 | 931 | 821 | 6 |1056 | 1.570749e+02 | 1.860000e+02 | 18.41%
666.77/666.93 c 667s| 13000 | 5507 | 4706k| 360.1 |9118k| 126 | 363 | 467 | 525 | 467 | 931 | 821 | 6 |1058 | 1.570779e+02 | 1.860000e+02 | 18.41%
678.17/678.39 c 678s| 13100 | 5529 | 4825k| 366.5 |9135k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1059 | 1.570779e+02 | 1.860000e+02 | 18.41%
683.77/683.94 c 684s| 13200 | 5565 | 4868k| 366.9 |9162k| 126 | 120 | 467 | 525 | 467 | 931 | 821 | 6 |1059 | 1.570788e+02 | 1.860000e+02 | 18.41%
688.27/688.45 c 688s| 13300 | 5619 | 4903k| 366.8 |9209k| 126 | 363 | 467 | 525 | 467 | 931 | 821 | 6 |1059 | 1.570814e+02 | 1.860000e+02 | 18.41%
691.57/691.71 c 692s| 13400 | 5647 | 4928k| 365.9 |9233k| 126 | 111 | 467 | 525 | 467 | 931 | 821 | 6 |1060 | 1.570822e+02 | 1.860000e+02 | 18.41%
691.97/692.13 c 692s| 13500 | 5691 | 4933k| 363.5 |9265k| 126 | 114 | 467 | 525 | 467 | 931 | 821 | 6 |1060 | 1.570822e+02 | 1.860000e+02 | 18.41%
694.36/694.52 c 695s| 13600 | 5719 | 4950k| 362.1 |9286k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1060 | 1.570838e+02 | 1.860000e+02 | 18.41%
698.96/699.19 c 699s| 13700 | 5767 | 4985k| 362.1 |9325k| 126 | 131 | 467 | 525 | 467 | 931 | 821 | 6 |1060 | 1.570860e+02 | 1.860000e+02 | 18.41%
702.46/702.68 c 703s| 13800 | 5807 | 5007k| 361.0 |9351k| 126 | 123 | 467 | 525 | 467 | 931 | 821 | 6 |1074 | 1.570884e+02 | 1.860000e+02 | 18.40%
704.46/704.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
704.46/704.67 c 705s| 13900 | 5837 | 5023k| 359.6 |9381k| 126 | 129 | 467 | 525 | 467 | 931 | 821 | 6 |1074 | 1.570888e+02 | 1.860000e+02 | 18.40%
705.67/705.86 c 706s| 14000 | 5865 | 5030k| 357.5 |9415k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1092 | 1.570903e+02 | 1.860000e+02 | 18.40%
710.67/710.89 c 711s| 14100 | 5911 | 5065k| 357.4 |9448k| 126 | 116 | 467 | 525 | 467 | 931 | 821 | 6 |1106 | 1.570919e+02 | 1.860000e+02 | 18.40%
713.26/713.49 c 713s| 14200 | 5939 | 5078k| 355.9 |9464k| 126 | 371 | 467 | 525 | 467 | 931 | 821 | 6 |1119 | 1.570954e+02 | 1.860000e+02 | 18.40%
716.77/716.93 c 717s| 14300 | 5969 | 5105k| 355.2 |9490k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1119 | 1.570956e+02 | 1.860000e+02 | 18.40%
720.56/720.76 c 721s| 14400 | 6021 | 5129k| 354.5 |9527k| 126 | 368 | 467 | 525 | 467 | 931 | 821 | 6 |1134 | 1.571001e+02 | 1.860000e+02 | 18.40%
724.67/724.84 c 725s| 14500 | 6055 | 5160k| 354.1 |9556k| 126 | 121 | 467 | 525 | 467 | 931 | 821 | 6 |1138 | 1.571004e+02 | 1.860000e+02 | 18.40%
725.56/725.72 c 726s| 14600 | 6085 | 5167k| 352.2 |9591k| 126 | 147 | 467 | 525 | 467 | 931 | 821 | 6 |1138 | 1.571005e+02 | 1.860000e+02 | 18.40%
728.56/728.77 c 729s| 14700 | 6129 | 5190k| 351.4 |9625k| 126 | 368 | 467 | 525 | 467 | 931 | 821 | 6 |1139 | 1.571045e+02 | 1.860000e+02 | 18.39%
732.17/732.32 c 732s| 14800 | 6147 | 5218k| 350.9 |9650k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1139 | 1.571048e+02 | 1.860000e+02 | 18.39%
735.46/735.60 c 736s| 14900 | 6205 | 5243k| 350.2 |9692k| 126 | 363 | 467 | 525 | 467 | 931 | 821 | 6 |1139 | 1.571068e+02 | 1.860000e+02 | 18.39%
737.36/737.53 c 738s| 15000 | 6239 | 5258k| 348.9 |9722k| 126 | 134 | 467 | 525 | 467 | 931 | 821 | 6 |1139 | 1.571070e+02 | 1.860000e+02 | 18.39%
739.16/739.35 c 739s| 15100 | 6279 | 5273k| 347.5 |9761k| 126 | 126 | 467 | 525 | 467 | 931 | 821 | 6 |1140 | 1.571070e+02 | 1.860000e+02 | 18.39%
741.66/741.89 c 742s| 15200 | 6309 | 5293k| 346.6 |9784k| 126 | 126 | 467 | 525 | 467 | 931 | 821 | 6 |1140 | 1.571081e+02 | 1.860000e+02 | 18.39%
743.96/744.13 c 744s| 15300 | 6333 | 5312k| 345.5 |9809k| 126 | 133 | 467 | 525 | 467 | 931 | 821 | 6 |1140 | 1.571086e+02 | 1.860000e+02 | 18.39%
745.96/746.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
745.96/746.17 c 746s| 15400 | 6339 | 5327k| 344.3 |9815k| 126 | 122 | 467 | 525 | 467 | 931 | 821 | 6 |1140 | 1.571091e+02 | 1.860000e+02 | 18.39%
747.96/748.14 c 748s| 15500 | 6363 | 5337k| 342.7 |9832k| 126 | 363 | 467 | 525 | 467 | 931 | 821 | 6 |1153 | 1.571100e+02 | 1.860000e+02 | 18.39%
750.66/750.89 c 751s| 15600 | 6391 | 5359k| 341.9 |9859k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1153 | 1.571123e+02 | 1.860000e+02 | 18.39%
752.65/752.89 c 753s| 15700 | 6421 | 5369k| 340.4 |9880k| 126 | 374 | 467 | 525 | 467 | 931 | 821 | 6 |1169 | 1.571131e+02 | 1.860000e+02 | 18.39%
757.86/758.04 c 758s| 15800 | 6453 | 5410k| 340.8 |9900k| 126 | 130 | 467 | 525 | 467 | 931 | 821 | 6 |1169 | 1.571137e+02 | 1.860000e+02 | 18.39%
759.06/759.24 c 759s| 15900 | 6485 | 5418k| 339.2 |9925k| 126 | 365 | 467 | 525 | 467 | 931 | 821 | 6 |1169 | 1.571159e+02 | 1.860000e+02 | 18.38%
762.66/762.88 c 763s| 16000 | 6501 | 5442k| 338.6 |9944k| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1195 | 1.571161e+02 | 1.860000e+02 | 18.38%
763.55/763.73 c 764s| 16100 | 6533 | 5449k| 336.9 |9962k| 126 | 116 | 467 | 525 | 467 | 931 | 821 | 6 |1195 | 1.571162e+02 | 1.860000e+02 | 18.38%
765.36/765.59 c 766s| 16200 | 6571 | 5460k| 335.5 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1204 | 1.571182e+02 | 1.860000e+02 | 18.38%
767.76/767.99 c 768s| 16300 | 6601 | 5479k| 334.6 | 10M| 126 | 124 | 467 | 525 | 467 | 931 | 821 | 6 |1208 | 1.571201e+02 | 1.860000e+02 | 18.38%
771.96/772.10 c 772s| 16400 | 6633 | 5509k| 334.4 | 10M| 126 | 121 | 467 | 525 | 467 | 931 | 821 | 6 |1221 | 1.571242e+02 | 1.860000e+02 | 18.38%
773.36/773.51 c 774s| 16500 | 6665 | 5518k| 332.9 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1223 | 1.571250e+02 | 1.860000e+02 | 18.38%
774.16/774.38 c 774s| 16600 | 6685 | 5525k| 331.4 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1224 | 1.571251e+02 | 1.860000e+02 | 18.38%
776.56/776.78 c 777s| 16700 | 6711 | 5543k| 330.4 | 10M| 126 | 121 | 467 | 525 | 467 | 931 | 821 | 6 |1225 | 1.571278e+02 | 1.860000e+02 | 18.37%
779.45/779.67 c 780s| 16800 | 6747 | 5566k| 329.8 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1225 | 1.571317e+02 | 1.860000e+02 | 18.37%
783.15/783.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
783.15/783.36 c 783s| 16900 | 6769 | 5594k| 329.5 | 10M| 126 | 123 | 467 | 525 | 467 | 931 | 821 | 6 |1225 | 1.571320e+02 | 1.860000e+02 | 18.37%
785.36/785.52 c 786s| 17000 | 6819 | 5612k| 328.6 | 10M| 126 | 118 | 467 | 525 | 467 | 931 | 821 | 6 |1225 | 1.571322e+02 | 1.860000e+02 | 18.37%
788.16/788.31 c 788s| 17100 | 6857 | 5633k| 328.0 | 10M| 126 | 365 | 467 | 525 | 467 | 931 | 821 | 6 |1225 | 1.571343e+02 | 1.860000e+02 | 18.37%
790.45/790.67 c 791s| 17200 | 6887 | 5651k| 327.1 | 10M| 126 | 380 | 467 | 525 | 467 | 931 | 821 | 6 |1226 | 1.571355e+02 | 1.860000e+02 | 18.37%
792.35/792.53 c 793s| 17300 | 6907 | 5668k| 326.2 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1226 | 1.571355e+02 | 1.860000e+02 | 18.37%
793.75/793.92 c 794s| 17400 | 6941 | 5678k| 324.9 | 10M| 126 | 139 | 467 | 525 | 467 | 931 | 821 | 6 |1226 | 1.571393e+02 | 1.860000e+02 | 18.37%
796.85/797.06 c 797s| 17500 | 6989 | 5698k| 324.2 | 10M| 126 | 127 | 467 | 525 | 467 | 931 | 821 | 6 |1240 | 1.571417e+02 | 1.860000e+02 | 18.36%
799.25/799.45 c 799s| 17600 | 7019 | 5717k| 323.4 | 10M| 126 | 122 | 467 | 525 | 467 | 931 | 821 | 6 |1240 | 1.571439e+02 | 1.860000e+02 | 18.36%
801.15/801.38 c 801s| 17700 | 7045 | 5732k| 322.5 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1240 | 1.571444e+02 | 1.860000e+02 | 18.36%
807.35/807.56 c 808s| 17800 | 7093 | 5775k| 323.0 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1270 | 1.571467e+02 | 1.860000e+02 | 18.36%
809.05/809.28 c 809s| 17900 | 7129 | 5786k| 321.9 | 10M| 126 | 375 | 467 | 525 | 467 | 931 | 821 | 6 |1270 | 1.571487e+02 | 1.860000e+02 | 18.36%
810.95/811.16 c 811s| 18000 | 7165 | 5797k| 320.7 | 10M| 126 | 377 | 467 | 525 | 467 | 931 | 821 | 6 |1281 | 1.571499e+02 | 1.860000e+02 | 18.36%
813.34/813.57 c 814s| 18100 | 7189 | 5812k| 319.8 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1290 | 1.571507e+02 | 1.860000e+02 | 18.36%
817.84/818.04 c 818s| 18200 | 7231 | 5846k| 319.9 | 10M| 126 | 112 | 467 | 525 | 467 | 931 | 821 | 6 |1299 | 1.571534e+02 | 1.860000e+02 | 18.36%
818.65/818.85 c 819s| 18300 | 7251 | 5852k| 318.4 | 10M| 126 | 365 | 467 | 525 | 467 | 931 | 821 | 6 |1301 | 1.571538e+02 | 1.860000e+02 | 18.36%
820.46/820.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.46/820.63 c 821s| 18400 | 7279 | 5868k| 317.6 | 10M| 126 | - | 467 | 525 | 0 | 0 | 821 | 6 |1305 | 1.571538e+02 | 1.860000e+02 | 18.36%
823.45/823.67 c 824s| 18500 | 7327 | 5889k| 317.0 | 10M| 126 | 120 | 467 | 525 | 467 | 931 | 821 | 6 |1307 | 1.571567e+02 | 1.860000e+02 | 18.35%
824.25/824.42 c 824s| 18600 | 7339 | 5895k| 315.6 | 10M| 126 | - | 467 | 525 | 467 | 931 | 821 | 6 |1307 | 1.571572e+02 | 1.860000e+02 | 18.35%
826.95/827.11 c 827s| 18700 | 7381 | 5915k| 315.0 | 10M| 126 | 375 | 467 | 525 | 467 | 931 | 821 | 6 |1307 | 1.571584e+02 | 1.860000e+02 | 18.35%
830.45/830.64 c 831s| 18800 | 7403 | 5943k| 314.8 | 10M| 126 | 137 | 467 | 525 | 467 | 931 | 821 | 6 |1307 | 1.571587e+02 | 1.860000e+02 | 18.35%
834.15/834.30 c 834s| 18900 | 7437 | 5972k| 314.7 | 10M| 126 | 116 | 467 | 525 | 467 | 931 | 821 | 6 |1307 | 1.571592e+02 | 1.860000e+02 | 18.35%
837.14/837.36 c 837s| 19000 | 7479 | 5995k| 314.2 | 10M| 126 | 115 | 467 | 524 | 467 | 931 | 821 | 6 |1307 | 1.571593e+02 | 1.860000e+02 | 18.35%
838.64/838.80 c 839s| 19100 | 7511 | 6005k| 313.1 | 10M| 126 | 126 | 467 | 524 | 467 | 931 | 821 | 6 |1307 | 1.571603e+02 | 1.860000e+02 | 18.35%
841.74/841.98 c 842s| 19200 | 7551 | 6030k| 312.8 | 10M| 126 | 366 | 467 | 524 | 467 | 931 | 821 | 6 |1307 | 1.571614e+02 | 1.860000e+02 | 18.35%
842.15/842.37 c 842s| 19300 | 7555 | 6034k| 311.3 | 10M| 126 | 111 | 467 | 524 | 467 | 931 | 821 | 6 |1307 | 1.571614e+02 | 1.860000e+02 | 18.35%
845.94/846.17 c 846s| 19400 | 7599 | 6063k| 311.3 | 10M| 126 | - | 467 | 524 | 467 | 931 | 821 | 6 |1307 | 1.571616e+02 | 1.860000e+02 | 18.35%
847.75/847.95 c 848s| 19500 | 7631 | 6071k| 310.1 | 10M| 126 | 127 | 467 | 524 | 467 | 931 | 821 | 6 |1323 | 1.571618e+02 | 1.860000e+02 | 18.35%
849.95/850.20 c 850s| 19600 | 7667 | 6088k| 309.3 | 10M| 126 | 109 | 467 | 524 | 467 | 931 | 821 | 6 |1323 | 1.571633e+02 | 1.860000e+02 | 18.35%
852.54/852.73 c 853s| 19700 | 7689 | 6107k| 308.7 | 10M| 126 | 115 | 467 | 524 | 467 | 931 | 821 | 6 |1334 | 1.571644e+02 | 1.860000e+02 | 18.35%
852.84/853.01 c 853s| 19800 | 7693 | 6110k| 307.3 | 10M| 126 | 126 | 467 | 524 | 467 | 931 | 821 | 6 |1334 | 1.571644e+02 | 1.860000e+02 | 18.35%
855.54/855.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
855.54/855.77 c 856s| 19900 | 7715 | 6129k| 306.7 | 10M| 126 | - | 467 | 524 | 467 | 931 | 821 | 6 |1355 | 1.571662e+02 | 1.860000e+02 | 18.35%
861.94/862.17 c 862s| 20000 | 7765 | 6175k| 307.5 | 10M| 126 | 130 | 467 | 524 | 467 | 931 | 821 | 6 |1365 | 1.571680e+02 | 1.860000e+02 | 18.34%
863.54/863.78 c 864s| 20100 | 7797 | 6185k| 306.5 | 10M| 126 | - | 467 | 524 | 467 | 931 | 821 | 6 |1371 | 1.571686e+02 | 1.860000e+02 | 18.34%
866.44/866.63 c 867s| 20200 | 7831 | 6208k| 306.1 | 11M| 126 | 123 | 467 | 524 | 467 | 931 | 821 | 6 |1378 | 1.571694e+02 | 1.860000e+02 | 18.34%
870.44/870.60 c 871s| 20300 | 7873 | 6237k| 306.0 | 11M| 126 | - | 467 | 524 | 0 | 0 | 821 | 6 |1383 | 1.571705e+02 | 1.860000e+02 | 18.34%
872.84/873.09 c 873s| 20400 | 7909 | 6257k| 305.5 | 11M| 126 | 138 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571710e+02 | 1.860000e+02 | 18.34%
873.64/873.87 c 874s| 20500 | 7937 | 6263k| 304.3 | 11M| 126 | 107 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571718e+02 | 1.860000e+02 | 18.34%
875.74/875.95 c 876s| 20600 | 7955 | 6280k| 303.7 | 11M| 126 | 155 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571718e+02 | 1.860000e+02 | 18.34%
878.54/878.72 c 879s| 20700 | 7997 | 6303k| 303.3 | 11M| 126 | 121 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571740e+02 | 1.860000e+02 | 18.34%
880.34/880.58 c 881s| 20800 | 8021 | 6317k| 302.5 | 11M| 126 | 117 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571744e+02 | 1.860000e+02 | 18.34%
881.74/881.96 c 882s| 20900 | 8043 | 6328k| 301.6 | 11M| 126 | 373 | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571748e+02 | 1.860000e+02 | 18.34%
884.54/884.73 c 885s| 21000 | 8063 | 6348k| 301.1 | 11M| 126 | - | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571760e+02 | 1.860000e+02 | 18.34%
886.54/886.76 c 887s| 21100 | 8071 | 6365k| 300.5 | 11M| 126 | - | 467 | 524 | 467 | 931 | 821 | 6 |1383 | 1.571766e+02 | 1.860000e+02 | 18.34%
888.04/888.20 c 888s| 21200 | 8095 | 6376k| 299.6 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1383 | 1.571772e+02 | 1.860000e+02 | 18.34%
888.33/888.55 c 889s| 21300 | 8123 | 6379k| 298.3 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1383 | 1.571772e+02 | 1.860000e+02 | 18.34%
892.24/892.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.24/892.47 c 892s| 21400 | 8141 | 6409k| 298.3 | 11M| 126 | 123 | 467 | 523 | 467 | 931 | 821 | 6 |1383 | 1.571777e+02 | 1.860000e+02 | 18.34%
895.03/895.25 c 895s| 21500 | 8167 | 6425k| 297.7 | 11M| 126 | 371 | 467 | 523 | 467 | 931 | 821 | 6 |1401 | 1.571797e+02 | 1.860000e+02 | 18.34%
896.14/896.31 c 896s| 21600 | 8183 | 6433k| 296.7 | 11M| 126 | 109 | 467 | 523 | 467 | 931 | 821 | 6 |1401 | 1.571804e+02 | 1.860000e+02 | 18.34%
897.63/897.87 c 898s| 21700 | 8229 | 6445k| 295.8 | 11M| 126 | 363 | 467 | 523 | 467 | 931 | 821 | 6 |1401 | 1.571811e+02 | 1.860000e+02 | 18.33%
901.24/901.45 c 901s| 21800 | 8293 | 6470k| 295.6 | 11M| 126 | 111 | 467 | 523 | 467 | 931 | 821 | 6 |1414 | 1.571817e+02 | 1.860000e+02 | 18.33%
903.24/903.46 c 903s| 21900 | 8327 | 6486k| 295.0 | 11M| 126 | 107 | 467 | 523 | 467 | 931 | 821 | 6 |1414 | 1.571824e+02 | 1.860000e+02 | 18.33%
903.53/903.71 c 904s| 22000 | 8347 | 6489k| 293.8 | 11M| 126 | 111 | 467 | 523 | 467 | 931 | 821 | 6 |1414 | 1.571824e+02 | 1.860000e+02 | 18.33%
906.63/906.82 c 907s| 22100 | 8387 | 6509k| 293.4 | 11M| 126 | 377 | 467 | 523 | 467 | 931 | 821 | 6 |1429 | 1.571830e+02 | 1.860000e+02 | 18.33%
909.24/909.42 c 909s| 22200 | 8425 | 6529k| 293.0 | 11M| 126 | 139 | 467 | 523 | 467 | 931 | 821 | 6 |1429 | 1.571841e+02 | 1.860000e+02 | 18.33%
910.03/910.29 c 910s| 22300 | 8433 | 6536k| 292.0 | 11M| 126 | 127 | 467 | 523 | 467 | 931 | 821 | 6 |1429 | 1.571855e+02 | 1.860000e+02 | 18.33%
911.53/911.74 c 912s| 22400 | 8469 | 6543k| 291.0 | 11M| 126 | 101 | 467 | 523 | 467 | 931 | 821 | 6 |1440 | 1.571858e+02 | 1.860000e+02 | 18.33%
913.13/913.32 c 913s| 22500 | 8479 | 6555k| 290.2 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1440 | 1.571863e+02 | 1.860000e+02 | 18.33%
915.83/916.05 c 916s| 22600 | 8513 | 6575k| 289.8 | 11M| 126 | 373 | 467 | 523 | 467 | 931 | 821 | 6 |1451 | 1.571865e+02 | 1.860000e+02 | 18.33%
919.44/919.62 c 920s| 22700 | 8529 | 6603k| 289.8 | 11M| 126 | 111 | 467 | 523 | 467 | 931 | 821 | 6 |1456 | 1.571871e+02 | 1.860000e+02 | 18.33%
922.93/923.10 c 923s| 22800 | 8579 | 6629k| 289.6 | 11M| 126 | 124 | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571874e+02 | 1.860000e+02 | 18.33%
925.43/925.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
925.43/925.68 c 926s| 22900 | 8603 | 6649k| 289.2 | 11M| 126 | 105 | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571894e+02 | 1.860000e+02 | 18.33%
927.43/927.67 c 928s| 23000 | 8637 | 6662k| 288.6 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571903e+02 | 1.860000e+02 | 18.33%
931.23/931.48 c 931s| 23100 | 8663 | 6693k| 288.7 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571909e+02 | 1.860000e+02 | 18.33%
935.13/935.33 c 935s| 23200 | 8693 | 6722k| 288.7 | 11M| 126 | 111 | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571933e+02 | 1.860000e+02 | 18.33%
936.32/936.55 c 937s| 23300 | 8699 | 6730k| 287.8 | 11M| 126 | 367 | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571951e+02 | 1.860000e+02 | 18.32%
937.13/937.34 c 937s| 23400 | 8705 | 6736k| 286.8 | 11M| 126 | 375 | 467 | 523 | 467 | 931 | 821 | 6 |1461 | 1.571954e+02 | 1.860000e+02 | 18.32%
939.73/939.96 c 940s| 23500 | 8731 | 6756k| 286.4 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1462 | 1.571960e+02 | 1.860000e+02 | 18.32%
942.44/942.66 c 943s| 23600 | 8747 | 6777k| 286.1 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1462 | 1.571983e+02 | 1.860000e+02 | 18.32%
945.32/945.51 c 946s| 23700 | 8761 | 6799k| 285.8 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1462 | 1.571994e+02 | 1.860000e+02 | 18.32%
947.12/947.31 c 947s| 23800 | 8765 | 6814k| 285.3 | 11M| 126 | 102 | 467 | 523 | 467 | 931 | 821 | 6 |1462 | 1.571995e+02 | 1.860000e+02 | 18.32%
950.82/951.07 c 951s| 23900 | 8785 | 6835k| 284.9 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1479 | 1.572002e+02 | 1.860000e+02 | 18.32%
952.63/952.81 c 953s| 24000 | 8805 | 6847k| 284.3 | 11M| 126 | 129 | 467 | 523 | 467 | 931 | 821 | 6 |1479 | 1.572016e+02 | 1.860000e+02 | 18.32%
956.63/956.89 c 957s| 24100 | 8831 | 6879k| 284.4 | 11M| 126 | 375 | 467 | 523 | 467 | 931 | 821 | 6 |1479 | 1.572048e+02 | 1.860000e+02 | 18.32%
961.83/962.07 c 962s| 24200 | 8871 | 6912k| 284.6 | 11M| 126 | 373 | 467 | 523 | 467 | 931 | 821 | 6 |1496 | 1.572050e+02 | 1.860000e+02 | 18.32%
963.43/963.65 c 964s| 24300 | 8899 | 6924k| 283.9 | 11M| 126 | 115 | 467 | 523 | 467 | 931 | 821 | 6 |1496 | 1.572057e+02 | 1.860000e+02 | 18.32%
966.63/966.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.63/966.87 c 967s| 24400 | 8925 | 6943k| 283.5 | 11M| 126 | 119 | 467 | 523 | 467 | 931 | 821 | 6 |1508 | 1.572064e+02 | 1.860000e+02 | 18.32%
970.12/970.35 c 970s| 24500 | 8965 | 6971k| 283.5 | 11M| 126 | 361 | 467 | 523 | 467 | 931 | 821 | 6 |1508 | 1.572083e+02 | 1.860000e+02 | 18.31%
974.43/974.61 c 975s| 24600 | 9007 | 7002k| 283.6 | 11M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1519 | 1.572091e+02 | 1.860000e+02 | 18.31%
979.12/979.39 c 979s| 24700 | 9057 | 7037k| 283.9 | 11M| 126 | 371 | 467 | 523 | 467 | 931 | 821 | 6 |1527 | 1.572099e+02 | 1.860000e+02 | 18.31%
981.62/981.85 c 982s| 24800 | 9095 | 7054k| 283.4 | 12M| 126 | 130 | 467 | 523 | 467 | 931 | 821 | 6 |1536 | 1.572101e+02 | 1.860000e+02 | 18.31%
985.52/985.76 c 986s| 24900 | 9121 | 7084k| 283.5 | 12M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572114e+02 | 1.860000e+02 | 18.31%
987.22/987.40 c 987s| 25000 | 9151 | 7097k| 282.9 | 12M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572125e+02 | 1.860000e+02 | 18.31%
988.52/988.80 c 989s| 25100 | 9175 | 7107k| 282.1 | 12M| 126 | 134 | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572142e+02 | 1.860000e+02 | 18.31%
992.12/992.35 c 992s| 25200 | 9205 | 7135k| 282.1 | 12M| 126 | 106 | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572161e+02 | 1.860000e+02 | 18.31%
996.33/996.54 c 997s| 25300 | 9259 | 7166k| 282.3 | 12M| 126 | 361 | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572174e+02 | 1.860000e+02 | 18.31%
997.82/998.07 c 998s| 25400 | 9299 | 7177k| 281.6 | 12M| 126 | 357 | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572176e+02 | 1.860000e+02 | 18.31%
1002.82/1003.09 c 1003s| 25500 | 9349 | 7217k| 282.0 | 12M| 126 | - | 467 | 523 | 467 | 931 | 821 | 6 |1537 | 1.572181e+02 | 1.860000e+02 | 18.31%
1004.32/1004.59 c 1005s| 25600 | 9377 | 7228k| 281.4 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1537 | 1.572184e+02 | 1.860000e+02 | 18.31%
1006.32/1006.57 c 1007s| 25700 | 9415 | 7245k| 280.9 | 12M| 126 | 166 | 467 | 522 | 467 | 931 | 821 | 6 |1537 | 1.572189e+02 | 1.860000e+02 | 18.31%
1008.72/1008.91 c 1009s| 25800 | 9435 | 7264k| 280.6 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1537 | 1.572197e+02 | 1.860000e+02 | 18.31%
1011.72/1011.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1011.72/1011.94 c 1012s| 25900 | 9453 | 7282k| 280.2 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1550 | 1.572210e+02 | 1.860000e+02 | 18.30%
1012.41/1012.69 c 1013s| 26000 | 9463 | 7288k| 279.3 | 12M| 126 | 123 | 467 | 522 | 467 | 931 | 821 | 6 |1550 | 1.572211e+02 | 1.860000e+02 | 18.30%
1013.82/1014.04 c 1014s| 26100 | 9495 | 7297k| 278.6 | 12M| 126 | 114 | 467 | 522 | 467 | 931 | 821 | 6 |1550 | 1.572225e+02 | 1.860000e+02 | 18.30%
1017.81/1018.07 c 1018s| 26200 | 9535 | 7321k| 278.5 | 12M| 126 | 107 | 467 | 522 | 467 | 931 | 821 | 6 |1571 | 1.572230e+02 | 1.860000e+02 | 18.30%
1022.61/1022.86 c 1023s| 26300 | 9577 | 7357k| 278.8 | 12M| 126 | 123 | 467 | 522 | 467 | 931 | 821 | 6 |1571 | 1.572250e+02 | 1.860000e+02 | 18.30%
1022.82/1023.09 c 1023s| 26400 | 9571 | 7360k| 277.8 | 12M| 126 | 119 | 467 | 522 | 467 | 931 | 821 | 6 |1571 | 1.572250e+02 | 1.860000e+02 | 18.30%
1023.92/1024.16 c 1024s| 26500 | 9605 | 7368k| 277.1 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1571 | 1.572257e+02 | 1.860000e+02 | 18.30%
1027.01/1027.25 c 1027s| 26600 | 9637 | 7387k| 276.8 | 12M| 126 | 113 | 467 | 522 | 467 | 931 | 821 | 6 |1589 | 1.572265e+02 | 1.860000e+02 | 18.30%
1029.91/1030.13 c 1030s| 26700 | 9677 | 7410k| 276.6 | 12M| 126 | 125 | 467 | 522 | 467 | 931 | 821 | 6 |1596 | 1.572288e+02 | 1.860000e+02 | 18.30%
1031.71/1031.98 c 1032s| 26800 | 9711 | 7421k| 276.0 | 12M| 126 | 122 | 467 | 522 | 467 | 931 | 821 | 6 |1603 | 1.572290e+02 | 1.860000e+02 | 18.30%
1032.62/1032.80 c 1033s| 26900 | 9725 | 7427k| 275.2 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1606 | 1.572296e+02 | 1.860000e+02 | 18.30%
1034.61/1034.81 c 1035s| 27000 | 9747 | 7443k| 274.7 | 12M| 126 | 113 | 467 | 522 | 467 | 931 | 821 | 6 |1608 | 1.572303e+02 | 1.860000e+02 | 18.30%
1037.71/1037.97 c 1038s| 27100 | 9791 | 7465k| 274.6 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572325e+02 | 1.860000e+02 | 18.30%
1039.11/1039.34 c 1039s| 27200 | 9827 | 7476k| 273.9 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572327e+02 | 1.860000e+02 | 18.30%
1043.31/1043.53 c 1044s| 27300 | 9863 | 7508k| 274.1 | 12M| 126 | 376 | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572334e+02 | 1.860000e+02 | 18.30%
1044.72/1044.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1044.72/1044.97 c 1045s| 27400 | 9883 | 7519k| 273.5 | 12M| 126 | 117 | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572334e+02 | 1.860000e+02 | 18.30%
1048.21/1048.44 c 1048s| 27500 | 9921 | 7545k| 273.5 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572367e+02 | 1.860000e+02 | 18.29%
1050.22/1050.49 c 1050s| 27600 | 9933 | 7562k| 273.1 | 12M| 126 | 111 | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572381e+02 | 1.860000e+02 | 18.29%
1052.20/1052.45 c 1052s| 27700 | 9959 | 7577k| 272.6 | 12M| 126 | 106 | 467 | 522 | 467 | 931 | 821 | 6 |1611 | 1.572383e+02 | 1.860000e+02 | 18.29%
1055.72/1055.98 c 1056s| 27800 | 9995 | 7603k| 272.6 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1613 | 1.572408e+02 | 1.860000e+02 | 18.29%
1060.81/1061.00 c 1061s| 27900 | 10047 | 7640k| 272.9 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1613 | 1.572424e+02 | 1.860000e+02 | 18.29%
1063.71/1063.92 c 1064s| 28000 | 10077 | 7661k| 272.7 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1613 | 1.572442e+02 | 1.860000e+02 | 18.29%
1069.11/1069.35 c 1069s| 28100 | 10117 | 7699k| 273.1 | 12M| 126 | 367 | 467 | 522 | 467 | 931 | 821 | 6 |1625 | 1.572448e+02 | 1.860000e+02 | 18.29%
1072.60/1072.84 c 1073s| 28200 | 10207 | 7729k| 273.2 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1625 | 1.572456e+02 | 1.860000e+02 | 18.29%
1074.31/1074.58 c 1075s| 28300 | 10245 | 7735k| 272.4 | 12M| 126 | 131 | 467 | 522 | 467 | 931 | 821 | 6 |1647 | 1.572459e+02 | 1.860000e+02 | 18.29%
1075.00/1075.29 c 1075s| 28400 | 10287 | 7741k| 271.7 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1647 | 1.572460e+02 | 1.860000e+02 | 18.29%
1075.91/1076.17 c 1076s| 28500 | 10315 | 7748k| 271.0 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1647 | 1.572460e+02 | 1.860000e+02 | 18.29%
1078.81/1079.00 c 1079s| 28600 | 10343 | 7768k| 270.8 | 12M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1647 | 1.572462e+02 | 1.860000e+02 | 18.29%
1079.01/1079.25 c 1079s| 28700 | 10353 | 7771k| 269.9 | 12M| 126 | 130 | 467 | 522 | 467 | 931 | 821 | 6 |1647 | 1.572462e+02 | 1.860000e+02 | 18.29%
1080.80/1081.04 c 1081s| 28800 | 10399 | 7782k| 269.3 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1656 | 1.572478e+02 | 1.860000e+02 | 18.28%
1086.01/1086.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1086.01/1086.27 c 1086s| 28900 | 10445 | 7824k| 269.9 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1656 | 1.572484e+02 | 1.860000e+02 | 18.28%
1089.81/1090.06 c 1090s| 29000 | 10495 | 7848k| 269.7 | 13M| 126 | 132 | 467 | 522 | 467 | 931 | 821 | 6 |1669 | 1.572491e+02 | 1.860000e+02 | 18.28%
1090.80/1091.05 c 1091s| 29100 | 10515 | 7854k| 269.0 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1672 | 1.572499e+02 | 1.860000e+02 | 18.28%
1091.11/1091.39 c 1091s| 29200 | 10531 | 7858k| 268.2 | 13M| 126 | 111 | 467 | 522 | 467 | 931 | 821 | 6 |1676 | 1.572499e+02 | 1.860000e+02 | 18.28%
1092.70/1092.95 c 1093s| 29300 | 10561 | 7869k| 267.7 | 13M| 126 | - | 467 | 522 | 0 | 0 | 821 | 6 |1680 | 1.572504e+02 | 1.860000e+02 | 18.28%
1097.11/1097.38 c 1097s| 29400 | 10609 | 7902k| 267.9 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572512e+02 | 1.860000e+02 | 18.28%
1102.20/1102.42 c 1102s| 29500 | 10651 | 7940k| 268.3 | 13M| 126 | 377 | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572520e+02 | 1.860000e+02 | 18.28%
1103.11/1103.35 c 1103s| 29600 | 10679 | 7947k| 267.7 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572526e+02 | 1.860000e+02 | 18.28%
1106.90/1107.17 c 1107s| 29700 | 10715 | 7976k| 267.7 | 13M| 126 | 361 | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572533e+02 | 1.860000e+02 | 18.28%
1110.29/1110.54 c 1111s| 29800 | 10755 | 8002k| 267.7 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572548e+02 | 1.860000e+02 | 18.28%
1113.30/1113.54 c 1114s| 29900 | 10789 | 8026k| 267.6 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572554e+02 | 1.860000e+02 | 18.28%
1115.21/1115.44 c 1115s| 30000 | 10807 | 8041k| 267.2 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572559e+02 | 1.860000e+02 | 18.28%
1116.60/1116.87 c 1117s| 30100 | 10849 | 8051k| 266.7 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572563e+02 | 1.860000e+02 | 18.28%
1119.69/1119.98 c 1120s| 30200 | 10875 | 8075k| 266.5 | 13M| 126 | 363 | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572566e+02 | 1.860000e+02 | 18.28%
1121.30/1121.58 c 1122s| 30300 | 10909 | 8089k| 266.1 | 13M| 126 | 93 | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572566e+02 | 1.860000e+02 | 18.28%
1122.00/1122.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.00/1122.28 c 1122s| 30400 | 10931 | 8094k| 265.4 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1682 | 1.572569e+02 | 1.860000e+02 | 18.28%
1123.91/1124.12 c 1124s| 30500 | 10957 | 8103k| 264.9 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1693 | 1.572582e+02 | 1.860000e+02 | 18.28%
1128.09/1128.36 c 1128s| 30600 | 10991 | 8136k| 265.1 | 13M| 126 | 106 | 467 | 522 | 467 | 931 | 821 | 6 |1693 | 1.572588e+02 | 1.860000e+02 | 18.28%
1130.39/1130.67 c 1131s| 30700 | 11003 | 8150k| 264.7 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1703 | 1.572588e+02 | 1.860000e+02 | 18.28%
1134.00/1134.29 c 1134s| 30800 | 11047 | 8168k| 264.4 | 13M| 126 | 375 | 467 | 522 | 467 | 931 | 821 | 6 |1725 | 1.572615e+02 | 1.860000e+02 | 18.27%
1135.00/1135.20 c 1135s| 30900 | 11103 | 8175k| 263.8 | 13M| 126 | 364 | 467 | 522 | 467 | 931 | 821 | 6 |1725 | 1.572616e+02 | 1.860000e+02 | 18.27%
1136.89/1137.13 c 1137s| 31000 | 11129 | 8193k| 263.5 | 13M| 126 | 358 | 467 | 522 | 467 | 931 | 821 | 6 |1725 | 1.572616e+02 | 1.860000e+02 | 18.27%
1140.30/1140.58 c 1141s| 31100 | 11149 | 8222k| 263.6 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1725 | 1.572618e+02 | 1.860000e+02 | 18.27%
1144.39/1144.69 c 1145s| 31200 | 11181 | 8254k| 263.7 | 13M| 126 | - | 467 | 522 | 467 | 931 | 821 | 6 |1725 | 1.572627e+02 | 1.860000e+02 | 18.27%
1146.39/1146.66 c 1147s| 31300 | 11213 | 8264k| 263.2 | 13M| 126 | 112 | 467 | 522 | 467 | 931 | 821 | 6 |1737 | 1.572633e+02 | 1.860000e+02 | 18.27%
1146.70/1146.91 c 1147s| 31400 | 11227 | 8266k| 262.5 | 13M| 126 | 123 | 467 | 522 | 467 | 931 | 821 | 6 |1737 | 1.572633e+02 | 1.860000e+02 | 18.27%
1146.89/1147.14 c 1147s| 31500 | 11243 | 8269k| 261.7 | 13M| 126 | 102 | 467 | 522 | 467 | 931 | 821 | 6 |1737 | 1.572633e+02 | 1.860000e+02 | 18.27%
1149.29/1149.59 c 1150s| 31600 | 11277 | 8286k| 261.4 | 13M| 127 | 98 | 467 | 522 | 467 | 931 | 821 | 6 |1740 | 1.572663e+02 | 1.860000e+02 | 18.27%
1152.19/1152.42 c 1152s| 31700 | 11301 | 8307k| 261.3 | 13M| 127 | 113 | 467 | 522 | 467 | 931 | 821 | 6 |1746 | 1.572670e+02 | 1.860000e+02 | 18.27%
1155.79/1156.08 c 1156s| 31800 | 11327 | 8334k| 261.3 | 13M| 130 | 118 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572684e+02 | 1.860000e+02 | 18.27%
1160.29/1160.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1160.29/1160.58 c 1161s| 31900 | 11367 | 8369k| 261.6 | 13M| 130 | 125 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572694e+02 | 1.860000e+02 | 18.27%
1161.99/1162.23 c 1162s| 32000 | 11419 | 8381k| 261.1 | 13M| 130 | 101 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572699e+02 | 1.860000e+02 | 18.27%
1163.39/1163.69 c 1164s| 32100 | 11449 | 8391k| 260.6 | 13M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572705e+02 | 1.860000e+02 | 18.27%
1165.79/1166.05 c 1166s| 32200 | 11485 | 8410k| 260.4 | 13M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572711e+02 | 1.860000e+02 | 18.27%
1168.89/1169.14 c 1169s| 32300 | 11539 | 8433k| 260.3 | 13M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572719e+02 | 1.860000e+02 | 18.27%
1172.59/1172.80 c 1173s| 32400 | 11579 | 8461k| 260.4 | 13M| 130 | 106 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572721e+02 | 1.860000e+02 | 18.27%
1176.89/1177.12 c 1177s| 32500 | 11619 | 8492k| 260.5 | 14M| 130 | 110 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572735e+02 | 1.860000e+02 | 18.27%
1179.59/1179.81 c 1180s| 32600 | 11675 | 8511k| 260.3 | 14M| 130 | 369 | 467 | 522 | 467 | 931 | 821 | 6 |1748 | 1.572750e+02 | 1.860000e+02 | 18.26%
1183.49/1183.78 c 1184s| 32700 | 11725 | 8541k| 260.4 | 14M| 130 | 118 | 467 | 522 | 467 | 931 | 821 | 6 |1770 | 1.572755e+02 | 1.860000e+02 | 18.26%
1188.29/1188.55 c 1189s| 32800 | 11769 | 8575k| 260.7 | 14M| 130 | 130 | 467 | 522 | 467 | 931 | 821 | 6 |1781 | 1.572768e+02 | 1.860000e+02 | 18.26%
1189.19/1189.42 c 1189s| 32900 | 11785 | 8582k| 260.1 | 14M| 130 | 119 | 467 | 522 | 467 | 931 | 821 | 6 |1781 | 1.572773e+02 | 1.860000e+02 | 18.26%
1193.19/1193.46 c 1193s| 33000 | 11825 | 8606k| 260.0 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1801 | 1.572779e+02 | 1.860000e+02 | 18.26%
1195.39/1195.70 c 1196s| 33100 | 11871 | 8622k| 259.7 | 14M| 130 | 152 | 467 | 522 | 467 | 931 | 821 | 6 |1801 | 1.572790e+02 | 1.860000e+02 | 18.26%
1198.09/1198.33 c 1198s| 33200 | 11917 | 8642k| 259.5 | 14M| 130 | 363 | 467 | 522 | 467 | 931 | 821 | 6 |1801 | 1.572795e+02 | 1.860000e+02 | 18.26%
1199.48/1199.78 c 1200s| 33300 | 11927 | 8652k| 259.1 | 14M| 130 | 107 | 467 | 522 | 467 | 931 | 821 | 6 |1809 | 1.572795e+02 | 1.860000e+02 | 18.26%
1202.39/1202.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.39/1202.60 c 1203s| 33400 | 11973 | 8672k| 258.9 | 14M| 130 | 359 | 467 | 522 | 467 | 931 | 821 | 6 |1813 | 1.572800e+02 | 1.860000e+02 | 18.26%
1206.49/1206.75 c 1207s| 33500 | 12005 | 8705k| 259.1 | 14M| 130 | 137 | 467 | 522 | 467 | 931 | 821 | 6 |1817 | 1.572809e+02 | 1.860000e+02 | 18.26%
1209.38/1209.69 c 1210s| 33600 | 12047 | 8725k| 258.9 | 14M| 130 | 124 | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572817e+02 | 1.860000e+02 | 18.26%
1210.79/1211.04 c 1211s| 33700 | 12093 | 8736k| 258.5 | 14M| 130 | 356 | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572820e+02 | 1.860000e+02 | 18.26%
1212.68/1212.97 c 1213s| 33800 | 12133 | 8752k| 258.2 | 14M| 130 | 103 | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572824e+02 | 1.860000e+02 | 18.26%
1212.99/1213.26 c 1213s| 33900 | 12149 | 8755k| 257.5 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572824e+02 | 1.860000e+02 | 18.26%
1223.68/1223.98 c 1224s| 34000 | 12163 | 8867k| 260.1 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572826e+02 | 1.860000e+02 | 18.26%
1229.18/1229.47 c 1229s| 34100 | 12205 | 8909k| 260.5 | 14M| 130 | 113 | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572833e+02 | 1.860000e+02 | 18.26%
1230.08/1230.30 c 1230s| 34200 | 12233 | 8915k| 260.0 | 14M| 130 | - | 467 | 522 | 0 | 0 | 821 | 6 |1819 | 1.572833e+02 | 1.860000e+02 | 18.26%
1232.08/1232.30 c 1232s| 34300 | 12271 | 8929k| 259.6 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572838e+02 | 1.860000e+02 | 18.26%
1234.58/1234.81 c 1235s| 34400 | 12285 | 8948k| 259.4 | 14M| 130 | 373 | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572841e+02 | 1.860000e+02 | 18.26%
1236.78/1237.08 c 1237s| 34500 | 12299 | 8967k| 259.2 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572846e+02 | 1.860000e+02 | 18.26%
1240.78/1241.06 c 1241s| 34600 | 12325 | 8998k| 259.4 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572862e+02 | 1.860000e+02 | 18.26%
1243.57/1243.87 c 1244s| 34700 | 12373 | 9020k| 259.2 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1819 | 1.572879e+02 | 1.860000e+02 | 18.25%
1247.08/1247.40 c 1247s| 34800 | 12439 | 9039k| 259.0 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1835 | 1.572891e+02 | 1.860000e+02 | 18.25%
1249.98/1250.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.98/1250.20 c 1250s| 34900 | 12473 | 9061k| 258.9 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1835 | 1.572894e+02 | 1.860000e+02 | 18.25%
1251.97/1252.22 c 1252s| 35000 | 12503 | 9078k| 258.6 | 14M| 130 | 128 | 467 | 522 | 467 | 931 | 821 | 6 |1835 | 1.572896e+02 | 1.860000e+02 | 18.25%
1254.27/1254.58 c 1255s| 35100 | 12517 | 9096k| 258.4 | 14M| 130 | 124 | 467 | 522 | 467 | 931 | 821 | 6 |1835 | 1.572907e+02 | 1.860000e+02 | 18.25%
1259.98/1260.20 c 1260s| 35200 | 12563 | 9130k| 258.7 | 14M| 130 | 380 | 467 | 522 | 467 | 931 | 821 | 6 |1854 | 1.572924e+02 | 1.860000e+02 | 18.25%
1262.87/1263.12 c 1263s| 35300 | 12611 | 9150k| 258.5 | 14M| 130 | 111 | 467 | 522 | 467 | 931 | 821 | 6 |1861 | 1.572936e+02 | 1.860000e+02 | 18.25%
1264.18/1264.49 c 1264s| 35400 | 12649 | 9160k| 258.1 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1861 | 1.572955e+02 | 1.860000e+02 | 18.25%
1266.57/1266.88 c 1267s| 35500 | 12677 | 9180k| 257.9 | 14M| 130 | 128 | 467 | 522 | 467 | 931 | 821 | 6 |1861 | 1.572956e+02 | 1.860000e+02 | 18.25%
1268.48/1268.70 c 1269s| 35600 | 12709 | 9190k| 257.4 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1871 | 1.572966e+02 | 1.860000e+02 | 18.25%
1272.38/1272.62 c 1273s| 35700 | 12749 | 9221k| 257.6 | 14M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1871 | 1.572970e+02 | 1.860000e+02 | 18.25%
1274.28/1274.54 c 1275s| 35800 | 12783 | 9232k| 257.2 | 14M| 130 | 124 | 467 | 522 | 467 | 931 | 821 | 6 |1880 | 1.572978e+02 | 1.860000e+02 | 18.25%
1276.57/1276.82 c 1277s| 35900 | 12805 | 9248k| 256.9 | 14M| 130 | 131 | 467 | 522 | 467 | 931 | 821 | 6 |1883 | 1.572979e+02 | 1.860000e+02 | 18.25%
1279.17/1279.43 c 1279s| 36000 | 12843 | 9267k| 256.7 | 14M| 130 | 101 | 467 | 522 | 467 | 931 | 821 | 6 |1892 | 1.572999e+02 | 1.860000e+02 | 18.25%
1281.87/1282.13 c 1282s| 36100 | 12883 | 9289k| 256.6 | 15M| 130 | 362 | 467 | 522 | 467 | 931 | 821 | 6 |1892 | 1.573002e+02 | 1.860000e+02 | 18.25%
1286.77/1287.02 c 1287s| 36200 | 12937 | 9326k| 256.9 | 15M| 130 | 372 | 467 | 522 | 467 | 931 | 821 | 6 |1893 | 1.573016e+02 | 1.860000e+02 | 18.24%
1287.08/1287.38 c 1287s| 36300 | 12949 | 9330k| 256.3 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1893 | 1.573016e+02 | 1.860000e+02 | 18.24%
1290.07/1290.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.07/1290.38 c 1290s| 36400 | 12983 | 9352k| 256.2 | 15M| 130 | 367 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573030e+02 | 1.860000e+02 | 18.24%
1292.27/1292.58 c 1293s| 36500 | 13037 | 9368k| 256.0 | 15M| 130 | 376 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573045e+02 | 1.860000e+02 | 18.24%
1297.27/1297.55 c 1298s| 36600 | 13083 | 9407k| 256.3 | 15M| 130 | 119 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573056e+02 | 1.860000e+02 | 18.24%
1301.36/1301.67 c 1302s| 36700 | 13131 | 9438k| 256.5 | 15M| 130 | 123 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573072e+02 | 1.860000e+02 | 18.24%
1302.77/1303.08 c 1303s| 36800 | 13159 | 9448k| 256.1 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573075e+02 | 1.860000e+02 | 18.24%
1306.66/1306.90 c 1307s| 36900 | 13181 | 9477k| 256.2 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573085e+02 | 1.860000e+02 | 18.24%
1309.16/1309.45 c 1309s| 37000 | 13211 | 9498k| 256.0 | 15M| 130 | 106 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573093e+02 | 1.860000e+02 | 18.24%
1312.16/1312.40 c 1312s| 37100 | 13243 | 9522k| 256.0 | 15M| 130 | 138 | 467 | 522 | 467 | 931 | 821 | 6 |1894 | 1.573097e+02 | 1.860000e+02 | 18.24%
1313.27/1313.59 c 1314s| 37200 | 13267 | 9528k| 255.5 | 15M| 130 | 369 | 467 | 522 | 467 | 931 | 821 | 6 |1904 | 1.573097e+02 | 1.860000e+02 | 18.24%
1315.27/1315.54 c 1316s| 37300 | 13297 | 9543k| 255.2 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1904 | 1.573099e+02 | 1.860000e+02 | 18.24%
1317.77/1318.00 c 1318s| 37400 | 13325 | 9562k| 255.0 | 15M| 130 | 368 | 467 | 522 | 467 | 931 | 821 | 6 |1904 | 1.573103e+02 | 1.860000e+02 | 18.24%
1318.76/1319.01 c 1319s| 37500 | 13327 | 9569k| 254.5 | 15M| 130 | 118 | 467 | 522 | 467 | 931 | 821 | 6 |1919 | 1.573106e+02 | 1.860000e+02 | 18.24%
1320.77/1321.01 c 1321s| 37600 | 13347 | 9579k| 254.1 | 15M| 130 | 131 | 467 | 522 | 467 | 931 | 821 | 6 |1933 | 1.573112e+02 | 1.860000e+02 | 18.24%
1322.27/1322.59 c 1323s| 37700 | 13371 | 9592k| 253.8 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1933 | 1.573112e+02 | 1.860000e+02 | 18.24%
1324.76/1325.01 c 1325s| 37800 | 13413 | 9610k| 253.6 | 15M| 130 | 129 | 467 | 522 | 467 | 931 | 821 | 6 |1933 | 1.573121e+02 | 1.860000e+02 | 18.24%
1328.06/1328.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1328.06/1328.30 c 1328s| 37900 | 13449 | 9632k| 253.5 | 15M| 130 | 136 | 467 | 522 | 467 | 931 | 821 | 6 |1950 | 1.573128e+02 | 1.860000e+02 | 18.24%
1328.76/1329.09 c 1329s| 38000 | 13459 | 9638k| 253.0 | 15M| 130 | 139 | 467 | 522 | 467 | 931 | 821 | 6 |1950 | 1.573128e+02 | 1.860000e+02 | 18.24%
1332.16/1332.40 c 1332s| 38100 | 13501 | 9663k| 253.0 | 15M| 130 | 126 | 467 | 522 | 467 | 931 | 821 | 6 |1950 | 1.573140e+02 | 1.860000e+02 | 18.23%
1336.56/1336.89 c 1337s| 38200 | 13535 | 9697k| 253.2 | 15M| 130 | 127 | 467 | 522 | 467 | 931 | 821 | 6 |1956 | 1.573144e+02 | 1.860000e+02 | 18.23%
1339.36/1339.68 c 1340s| 38300 | 13585 | 9715k| 253.0 | 15M| 130 | 365 | 467 | 522 | 467 | 931 | 821 | 6 |1967 | 1.573149e+02 | 1.860000e+02 | 18.23%
1345.26/1345.56 c 1346s| 38400 | 13633 | 9760k| 253.5 | 15M| 130 | 131 | 467 | 522 | 467 | 931 | 821 | 6 |1971 | 1.573151e+02 | 1.860000e+02 | 18.23%
1346.66/1346.97 c 1347s| 38500 | 13655 | 9770k| 253.1 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1971 | 1.573161e+02 | 1.860000e+02 | 18.23%
1350.16/1350.45 c 1350s| 38600 | 13723 | 9796k| 253.1 | 15M| 130 | 366 | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573180e+02 | 1.860000e+02 | 18.23%
1353.56/1353.82 c 1354s| 38700 | 13761 | 9823k| 253.2 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573183e+02 | 1.860000e+02 | 18.23%
1355.65/1355.91 c 1356s| 38800 | 13809 | 9838k| 252.9 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573198e+02 | 1.860000e+02 | 18.23%
1358.27/1358.58 c 1359s| 38900 | 13839 | 9859k| 252.8 | 15M| 130 | 137 | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573202e+02 | 1.860000e+02 | 18.23%
1359.16/1359.49 c 1359s| 39000 | 13855 | 9866k| 252.3 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573202e+02 | 1.860000e+02 | 18.23%
1359.56/1359.81 c 1360s| 39100 | 13879 | 9870k| 251.8 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573202e+02 | 1.860000e+02 | 18.23%
1365.25/1365.54 c 1366s| 39200 | 13935 | 9914k| 252.3 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573227e+02 | 1.860000e+02 | 18.23%
1366.06/1366.33 c 1366s| 39300 | 13967 | 9920k| 251.8 | 15M| 130 | 131 | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573229e+02 | 1.860000e+02 | 18.23%
1366.97/1367.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1366.97/1367.23 c 1367s| 39400 | 13987 | 9927k| 251.3 | 15M| 130 | 116 | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573233e+02 | 1.860000e+02 | 18.23%
1369.56/1369.85 c 1370s| 39500 | 14019 | 9947k| 251.2 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1972 | 1.573237e+02 | 1.860000e+02 | 18.23%
1373.56/1373.84 c 1374s| 39600 | 14065 | 9973k| 251.2 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1986 | 1.573243e+02 | 1.860000e+02 | 18.23%
1375.16/1375.40 c 1375s| 39700 | 14103 | 9984k| 250.9 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1986 | 1.573245e+02 | 1.860000e+02 | 18.23%
1377.16/1377.42 c 1377s| 39800 | 14129 | 10000k| 250.6 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1986 | 1.573247e+02 | 1.860000e+02 | 18.23%
1379.65/1379.99 c 1380s| 39900 | 14155 | 10020k| 250.5 | 15M| 130 | - | 467 | 522 | 467 | 931 | 821 | 6 |1986 | 1.573249e+02 | 1.860000e+02 | 18.23%
1384.45/1384.73 c 1385s| 40000 | 14193 | 10048k| 250.6 | 15M| 130 | 131 | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573260e+02 | 1.860000e+02 | 18.23%
1386.86/1387.16 c 1387s| 40100 | 14207 | 10068k| 250.4 | 15M| 130 | 132 | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573260e+02 | 1.860000e+02 | 18.23%
1389.55/1389.87 c 1390s| 40200 | 14235 | 10088k| 250.3 | 16M| 130 | 133 | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573267e+02 | 1.860000e+02 | 18.23%
1391.76/1392.04 c 1392s| 40300 | 14267 | 10105k| 250.1 | 16M| 130 | 372 | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573269e+02 | 1.860000e+02 | 18.23%
1392.85/1393.17 c 1393s| 40400 | 14297 | 10114k| 249.7 | 16M| 130 | 139 | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573281e+02 | 1.860000e+02 | 18.22%
1393.15/1393.41 c 1393s| 40500 | 14301 | 10116k| 249.2 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2012 | 1.573281e+02 | 1.860000e+02 | 18.22%
1397.25/1397.59 c 1398s| 40600 | 14343 | 10147k| 249.3 | 16M| 130 | 111 | 467 | 521 | 467 | 931 | 821 | 6 |2021 | 1.573283e+02 | 1.860000e+02 | 18.22%
1399.75/1400.07 c 1400s| 40700 | 14363 | 10165k| 249.1 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2021 | 1.573292e+02 | 1.860000e+02 | 18.22%
1404.05/1404.30 c 1404s| 40800 | 14403 | 10193k| 249.2 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2035 | 1.573298e+02 | 1.860000e+02 | 18.22%
1407.66/1408.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.66/1408.00 c 1408s| 40900 | 14449 | 10219k| 249.2 | 16M| 130 | 374 | 467 | 521 | 467 | 931 | 821 | 6 |2038 | 1.573331e+02 | 1.860000e+02 | 18.22%
1408.95/1409.28 c 1409s| 41000 | 14497 | 10229k| 248.9 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2047 | 1.573331e+02 | 1.860000e+02 | 18.22%
1409.35/1409.69 c 1410s| 41100 | 14523 | 10233k| 248.4 | 16M| 130 | 143 | 467 | 521 | 467 | 931 | 821 | 6 |2048 | 1.573331e+02 | 1.860000e+02 | 18.22%
1412.55/1412.81 c 1413s| 41200 | 14545 | 10257k| 248.4 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2049 | 1.573337e+02 | 1.860000e+02 | 18.22%
1415.64/1415.98 c 1416s| 41300 | 14591 | 10280k| 248.3 | 16M| 130 | - | 467 | 521 | 0 | 0 | 821 | 6 |2050 | 1.573342e+02 | 1.860000e+02 | 18.22%
1418.55/1418.86 c 1419s| 41400 | 14613 | 10303k| 248.3 | 16M| 130 | 129 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573344e+02 | 1.860000e+02 | 18.22%
1419.45/1419.78 c 1420s| 41500 | 14627 | 10310k| 247.8 | 16M| 130 | 128 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573346e+02 | 1.860000e+02 | 18.22%
1420.35/1420.62 c 1421s| 41600 | 14647 | 10316k| 247.4 | 16M| 130 | 127 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573348e+02 | 1.860000e+02 | 18.22%
1423.44/1423.77 c 1424s| 41700 | 14693 | 10339k| 247.3 | 16M| 130 | 117 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573354e+02 | 1.860000e+02 | 18.22%
1425.55/1425.86 c 1426s| 41800 | 14721 | 10357k| 247.2 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573355e+02 | 1.860000e+02 | 18.22%
1428.05/1428.38 c 1428s| 41900 | 14765 | 10375k| 247.0 | 16M| 130 | 132 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573357e+02 | 1.860000e+02 | 18.22%
1428.34/1428.67 c 1429s| 42000 | 14767 | 10378k| 246.5 | 16M| 130 | 118 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573357e+02 | 1.860000e+02 | 18.22%
1433.24/1433.51 c 1434s| 42100 | 14801 | 10416k| 246.8 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573366e+02 | 1.860000e+02 | 18.22%
1435.65/1435.98 c 1436s| 42200 | 14825 | 10434k| 246.7 | 16M| 130 | 134 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573372e+02 | 1.860000e+02 | 18.22%
1437.74/1438.08 c 1438s| 42300 | 14867 | 10449k| 246.4 | 16M| 130 | 341 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573381e+02 | 1.860000e+02 | 18.22%
1439.95/1440.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1439.95/1440.24 c 1440s| 42400 | 14897 | 10467k| 246.3 | 16M| 130 | 128 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573384e+02 | 1.860000e+02 | 18.22%
1442.44/1442.75 c 1443s| 42500 | 14935 | 10487k| 246.2 | 16M| 130 | 112 | 467 | 521 | 467 | 931 | 821 | 6 |2050 | 1.573387e+02 | 1.860000e+02 | 18.22%
1445.05/1445.30 c 1445s| 42600 | 14955 | 10505k| 246.0 | 16M| 130 | 108 | 467 | 521 | 467 | 931 | 821 | 6 |2065 | 1.573397e+02 | 1.860000e+02 | 18.22%
1448.45/1448.77 c 1449s| 42700 | 14983 | 10528k| 246.0 | 16M| 130 | 114 | 467 | 521 | 467 | 931 | 821 | 6 |2079 | 1.573401e+02 | 1.860000e+02 | 18.22%
1449.24/1449.58 c 1450s| 42800 | 14995 | 10534k| 245.5 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2079 | 1.573401e+02 | 1.860000e+02 | 18.22%
1452.35/1452.65 c 1453s| 42900 | 15033 | 10556k| 245.5 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2079 | 1.573407e+02 | 1.860000e+02 | 18.21%
1456.05/1456.33 c 1456s| 43000 | 15087 | 10579k| 245.4 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2093 | 1.573410e+02 | 1.860000e+02 | 18.21%
1457.45/1457.71 c 1458s| 43100 | 15121 | 10589k| 245.1 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2093 | 1.573412e+02 | 1.860000e+02 | 18.21%
1462.35/1462.66 c 1463s| 43200 | 15171 | 10622k| 245.3 | 16M| 130 | 364 | 467 | 521 | 467 | 931 | 821 | 6 |2107 | 1.573434e+02 | 1.860000e+02 | 18.21%
1464.04/1464.35 c 1464s| 43300 | 15177 | 10637k| 245.1 | 16M| 130 | 123 | 467 | 521 | 467 | 931 | 821 | 6 |2107 | 1.573434e+02 | 1.860000e+02 | 18.21%
1465.54/1465.87 c 1466s| 43400 | 15217 | 10648k| 244.8 | 16M| 130 | 108 | 467 | 521 | 467 | 931 | 821 | 6 |2107 | 1.573436e+02 | 1.860000e+02 | 18.21%
1466.34/1466.66 c 1467s| 43500 | 15229 | 10655k| 244.4 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2107 | 1.573437e+02 | 1.860000e+02 | 18.21%
1469.74/1470.03 c 1470s| 43600 | 15283 | 10679k| 244.4 | 16M| 130 | 117 | 467 | 521 | 467 | 931 | 821 | 6 |2116 | 1.573451e+02 | 1.860000e+02 | 18.21%
1471.84/1472.15 c 1472s| 43700 | 15301 | 10695k| 244.2 | 16M| 130 | 118 | 467 | 521 | 467 | 931 | 821 | 6 |2122 | 1.573455e+02 | 1.860000e+02 | 18.21%
1475.04/1475.38 c 1475s| 43800 | 15349 | 10718k| 244.1 | 16M| 130 | 153 | 467 | 521 | 467 | 931 | 821 | 6 |2127 | 1.573467e+02 | 1.860000e+02 | 18.21%
1475.34/1475.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.34/1475.69 c 1476s| 43900 | 15363 | 10721k| 243.6 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2127 | 1.573467e+02 | 1.860000e+02 | 18.21%
1477.94/1478.22 c 1478s| 44000 | 15393 | 10741k| 243.5 | 16M| 130 | 361 | 467 | 521 | 467 | 931 | 821 | 6 |2128 | 1.573472e+02 | 1.860000e+02 | 18.21%
1481.74/1482.00 c 1482s| 44100 | 15431 | 10772k| 243.7 | 16M| 130 | 377 | 467 | 521 | 467 | 931 | 821 | 6 |2128 | 1.573478e+02 | 1.860000e+02 | 18.21%
1486.44/1486.77 c 1487s| 44200 | 15473 | 10807k| 243.9 | 16M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2130 | 1.573492e+02 | 1.860000e+02 | 18.21%
1488.64/1488.90 c 1489s| 44300 | 15507 | 10823k| 243.7 | 16M| 130 | 108 | 467 | 521 | 467 | 931 | 821 | 6 |2130 | 1.573496e+02 | 1.860000e+02 | 18.21%
1490.53/1490.89 c 1491s| 44400 | 15529 | 10838k| 243.5 | 17M| 130 | 128 | 467 | 521 | 467 | 931 | 821 | 6 |2130 | 1.573503e+02 | 1.860000e+02 | 18.21%
1495.65/1495.91 c 1496s| 44500 | 15577 | 10878k| 243.9 | 17M| 130 | 107 | 467 | 521 | 467 | 931 | 821 | 6 |2131 | 1.573519e+02 | 1.860000e+02 | 18.21%
1497.13/1497.41 c 1497s| 44600 | 15605 | 10889k| 243.6 | 17M| 130 | 122 | 467 | 521 | 467 | 931 | 821 | 6 |2131 | 1.573530e+02 | 1.860000e+02 | 18.21%
1499.43/1499.77 c 1500s| 44700 | 15627 | 10907k| 243.4 | 17M| 130 | 140 | 467 | 521 | 467 | 931 | 821 | 6 |2131 | 1.573532e+02 | 1.860000e+02 | 18.21%
1502.04/1502.38 c 1502s| 44800 | 15661 | 10926k| 243.3 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2131 | 1.573535e+02 | 1.860000e+02 | 18.21%
1504.23/1504.56 c 1505s| 44900 | 15703 | 10942k| 243.1 | 17M| 130 | 364 | 467 | 521 | 467 | 931 | 821 | 6 |2131 | 1.573547e+02 | 1.860000e+02 | 18.20%
1508.23/1508.57 c 1509s| 45000 | 15727 | 10974k| 243.3 | 17M| 130 | - | 467 | 521 | 0 | 0 | 821 | 6 |2131 | 1.573549e+02 | 1.860000e+02 | 18.20%
1511.23/1511.59 c 1512s| 45100 | 15763 | 10993k| 243.2 | 17M| 130 | 368 | 467 | 521 | 467 | 931 | 821 | 6 |2153 | 1.573553e+02 | 1.860000e+02 | 18.20%
1511.73/1512.09 c 1512s| 45200 | 15771 | 10998k| 242.8 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2153 | 1.573553e+02 | 1.860000e+02 | 18.20%
1514.03/1514.32 c 1514s| 45300 | 15817 | 11014k| 242.6 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2153 | 1.573562e+02 | 1.860000e+02 | 18.20%
1514.93/1515.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.93/1515.26 c 1515s| 45400 | 15825 | 11022k| 242.2 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2153 | 1.573569e+02 | 1.860000e+02 | 18.20%
1518.53/1518.84 c 1519s| 45500 | 15859 | 11049k| 242.3 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2164 | 1.573572e+02 | 1.860000e+02 | 18.20%
1522.23/1522.51 c 1523s| 45600 | 15895 | 11073k| 242.3 | 17M| 130 | 373 | 467 | 521 | 467 | 931 | 821 | 6 |2173 | 1.573581e+02 | 1.860000e+02 | 18.20%
1526.44/1526.80 c 1527s| 45700 | 15925 | 11102k| 242.4 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2187 | 1.573587e+02 | 1.860000e+02 | 18.20%
1529.13/1529.45 c 1529s| 45800 | 15957 | 11123k| 242.3 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2187 | 1.573595e+02 | 1.860000e+02 | 18.20%
1530.73/1531.01 c 1531s| 45900 | 15985 | 11135k| 242.0 | 17M| 130 | 140 | 467 | 521 | 467 | 931 | 821 | 6 |2187 | 1.573600e+02 | 1.860000e+02 | 18.20%
1532.83/1533.19 c 1533s| 46000 | 16013 | 11149k| 241.8 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2194 | 1.573601e+02 | 1.860000e+02 | 18.20%
1535.13/1535.48 c 1535s| 46100 | 16051 | 11165k| 241.6 | 17M| 130 | 123 | 467 | 521 | 467 | 931 | 821 | 6 |2197 | 1.573605e+02 | 1.860000e+02 | 18.20%
1538.53/1538.84 c 1539s| 46200 | 16093 | 11190k| 241.7 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573610e+02 | 1.860000e+02 | 18.20%
1542.93/1543.21 c 1543s| 46300 | 16149 | 11224k| 241.9 | 17M| 130 | 367 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573613e+02 | 1.860000e+02 | 18.20%
1544.33/1544.64 c 1545s| 46400 | 16165 | 11235k| 241.6 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573613e+02 | 1.860000e+02 | 18.20%
1546.63/1546.91 c 1547s| 46500 | 16203 | 11251k| 241.4 | 17M| 130 | 135 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573619e+02 | 1.860000e+02 | 18.20%
1546.92/1547.21 c 1547s| 46600 | 16205 | 11255k| 241.0 | 17M| 130 | 129 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573619e+02 | 1.860000e+02 | 18.20%
1549.43/1549.72 c 1550s| 46700 | 16235 | 11274k| 240.9 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573624e+02 | 1.860000e+02 | 18.20%
1552.83/1553.19 c 1553s| 46800 | 16269 | 11301k| 240.9 | 17M| 130 | 370 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573633e+02 | 1.860000e+02 | 18.20%
1556.03/1556.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1556.03/1556.39 c 1556s| 46900 | 16317 | 11325k| 240.9 | 17M| 130 | 119 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573647e+02 | 1.860000e+02 | 18.20%
1558.13/1558.40 c 1558s| 47000 | 16341 | 11341k| 240.8 | 17M| 130 | 114 | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573648e+02 | 1.860000e+02 | 18.20%
1558.93/1559.25 c 1559s| 47100 | 16353 | 11348k| 240.4 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573650e+02 | 1.860000e+02 | 18.20%
1562.83/1563.19 c 1563s| 47200 | 16403 | 11379k| 240.6 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573653e+02 | 1.860000e+02 | 18.20%
1564.63/1564.95 c 1565s| 47300 | 16447 | 11392k| 240.3 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573655e+02 | 1.860000e+02 | 18.20%
1569.43/1569.73 c 1570s| 47400 | 16483 | 11429k| 240.6 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573668e+02 | 1.860000e+02 | 18.20%
1573.52/1573.81 c 1574s| 47500 | 16517 | 11462k| 240.8 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2205 | 1.573673e+02 | 1.860000e+02 | 18.19%
1575.33/1575.69 c 1576s| 47600 | 16559 | 11473k| 240.5 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2215 | 1.573678e+02 | 1.860000e+02 | 18.19%
1578.32/1578.68 c 1579s| 47700 | 16595 | 11494k| 240.4 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2215 | 1.573682e+02 | 1.860000e+02 | 18.19%
1580.72/1581.08 c 1581s| 47800 | 16615 | 11506k| 240.2 | 17M| 130 | 135 | 467 | 521 | 467 | 931 | 821 | 6 |2233 | 1.573687e+02 | 1.860000e+02 | 18.19%
1582.12/1582.43 c 1582s| 47900 | 16639 | 11516k| 239.9 | 17M| 130 | - | 467 | 521 | 0 | 0 | 821 | 6 |2233 | 1.573693e+02 | 1.860000e+02 | 18.19%
1586.32/1586.69 c 1587s| 48000 | 16671 | 11548k| 240.1 | 17M| 130 | 369 | 467 | 521 | 467 | 931 | 821 | 6 |2233 | 1.573700e+02 | 1.860000e+02 | 18.19%
1589.62/1589.92 c 1590s| 48100 | 16725 | 11572k| 240.1 | 17M| 130 | 375 | 467 | 521 | 467 | 931 | 821 | 6 |2233 | 1.573706e+02 | 1.860000e+02 | 18.19%
1592.53/1592.86 c 1593s| 48200 | 16795 | 11595k| 240.0 | 17M| 130 | 116 | 467 | 521 | 467 | 931 | 821 | 6 |2243 | 1.573714e+02 | 1.860000e+02 | 18.19%
1592.92/1593.23 c 1593s| 48300 | 16799 | 11598k| 239.6 | 17M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2255 | 1.573714e+02 | 1.860000e+02 | 18.19%
1596.22/1596.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1596.22/1596.51 c 1597s| 48400 | 16843 | 11620k| 239.6 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2261 | 1.573720e+02 | 1.860000e+02 | 18.19%
1597.32/1597.64 c 1598s| 48500 | 16873 | 11628k| 239.2 | 18M| 130 | 361 | 467 | 521 | 467 | 931 | 821 | 6 |2267 | 1.573722e+02 | 1.860000e+02 | 18.19%
1599.82/1600.16 c 1600s| 48600 | 16901 | 11649k| 239.2 | 18M| 130 | 115 | 467 | 521 | 467 | 931 | 821 | 6 |2268 | 1.573723e+02 | 1.860000e+02 | 18.19%
1600.82/1601.17 c 1601s| 48700 | 16911 | 11656k| 238.8 | 18M| 130 | 146 | 467 | 521 | 467 | 931 | 821 | 6 |2271 | 1.573723e+02 | 1.860000e+02 | 18.19%
1601.92/1602.22 c 1602s| 48800 | 16931 | 11664k| 238.5 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2272 | 1.573723e+02 | 1.860000e+02 | 18.19%
1606.82/1607.14 c 1607s| 48900 | 16967 | 11702k| 238.8 | 18M| 130 | 119 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573729e+02 | 1.860000e+02 | 18.19%
1607.62/1607.96 c 1608s| 49000 | 16979 | 11709k| 238.4 | 18M| 130 | 358 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573729e+02 | 1.860000e+02 | 18.19%
1610.92/1611.27 c 1611s| 49100 | 17019 | 11734k| 238.5 | 18M| 130 | 355 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573733e+02 | 1.860000e+02 | 18.19%
1613.42/1613.75 c 1614s| 49200 | 17067 | 11753k| 238.4 | 18M| 130 | 135 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573735e+02 | 1.860000e+02 | 18.19%
1614.11/1614.47 c 1614s| 49300 | 17083 | 11759k| 238.0 | 18M| 130 | 364 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573735e+02 | 1.860000e+02 | 18.19%
1617.52/1617.87 c 1618s| 49400 | 17101 | 11787k| 238.1 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573746e+02 | 1.860000e+02 | 18.19%
1619.41/1619.78 c 1620s| 49500 | 17151 | 11801k| 237.9 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573757e+02 | 1.860000e+02 | 18.19%
1619.72/1620.04 c 1620s| 49600 | 17153 | 11804k| 237.5 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573757e+02 | 1.860000e+02 | 18.19%
1624.82/1625.18 c 1625s| 49700 | 17205 | 11844k| 237.8 | 18M| 130 | 122 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573768e+02 | 1.860000e+02 | 18.19%
1625.82/1626.14 c 1626s| 49800 | 17231 | 11852k| 237.5 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573773e+02 | 1.860000e+02 | 18.19%
1627.51/1627.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.51/1627.85 c 1628s| 49900 | 17239 | 11866k| 237.3 | 18M| 130 | 142 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573774e+02 | 1.860000e+02 | 18.19%
1631.52/1631.82 c 1632s| 50000 | 17269 | 11897k| 237.4 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573780e+02 | 1.860000e+02 | 18.19%
1634.51/1634.81 c 1635s| 50100 | 17321 | 11922k| 237.5 | 18M| 130 | 364 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573790e+02 | 1.860000e+02 | 18.19%
1636.01/1636.33 c 1636s| 50200 | 17361 | 11933k| 237.2 | 18M| 130 | 115 | 467 | 521 | 467 | 931 | 821 | 6 |2273 | 1.573796e+02 | 1.860000e+02 | 18.19%
1638.02/1638.31 c 1638s| 50300 | 17373 | 11949k| 237.1 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2276 | 1.573797e+02 | 1.860000e+02 | 18.19%
1640.22/1640.56 c 1641s| 50400 | 17429 | 11960k| 236.8 | 18M| 130 | 116 | 467 | 521 | 467 | 931 | 821 | 6 |2293 | 1.573812e+02 | 1.860000e+02 | 18.18%
1641.11/1641.47 c 1641s| 50500 | 17447 | 11967k| 236.5 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2293 | 1.573813e+02 | 1.860000e+02 | 18.18%
1646.21/1646.53 c 1647s| 50600 | 17503 | 12006k| 236.8 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2293 | 1.573817e+02 | 1.860000e+02 | 18.18%
1649.91/1650.25 c 1650s| 50700 | 17545 | 12033k| 236.8 | 18M| 130 | 356 | 467 | 521 | 467 | 931 | 821 | 6 |2302 | 1.573821e+02 | 1.860000e+02 | 18.18%
1653.31/1653.65 c 1654s| 50800 | 17591 | 12059k| 236.9 | 18M| 130 | 105 | 467 | 521 | 467 | 931 | 821 | 6 |2302 | 1.573832e+02 | 1.860000e+02 | 18.18%
1656.01/1656.33 c 1656s| 50900 | 17621 | 12079k| 236.8 | 18M| 130 | 118 | 467 | 521 | 467 | 931 | 821 | 6 |2305 | 1.573841e+02 | 1.860000e+02 | 18.18%
1659.01/1659.30 c 1659s| 51000 | 17655 | 12099k| 236.8 | 18M| 130 | 354 | 467 | 521 | 467 | 931 | 821 | 6 |2322 | 1.573850e+02 | 1.860000e+02 | 18.18%
1660.61/1660.93 c 1661s| 51100 | 17683 | 12111k| 236.5 | 18M| 130 | 111 | 467 | 521 | 467 | 931 | 821 | 6 |2322 | 1.573857e+02 | 1.860000e+02 | 18.18%
1661.72/1662.09 c 1662s| 51200 | 17719 | 12118k| 236.2 | 18M| 130 | 113 | 467 | 521 | 467 | 931 | 821 | 6 |2329 | 1.573862e+02 | 1.860000e+02 | 18.18%
1666.51/1666.81 c 1667s| 51300 | 17755 | 12153k| 236.4 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2333 | 1.573863e+02 | 1.860000e+02 | 18.18%
1668.11/1668.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.11/1668.41 c 1668s| 51400 | 17785 | 12163k| 236.2 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2336 | 1.573872e+02 | 1.860000e+02 | 18.18%
1669.61/1669.91 c 1670s| 51500 | 17805 | 12173k| 235.9 | 18M| 130 | 101 | 467 | 521 | 467 | 931 | 821 | 6 |2346 | 1.573877e+02 | 1.860000e+02 | 18.18%
1671.41/1671.76 c 1672s| 51600 | 17825 | 12188k| 235.7 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2348 | 1.573881e+02 | 1.860000e+02 | 18.18%
1674.61/1674.98 c 1675s| 51700 | 17857 | 12213k| 235.7 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573886e+02 | 1.860000e+02 | 18.18%
1675.51/1675.82 c 1676s| 51800 | 17859 | 12219k| 235.4 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573886e+02 | 1.860000e+02 | 18.18%
1676.30/1676.61 c 1677s| 51900 | 17885 | 12226k| 235.1 | 18M| 130 | 116 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573889e+02 | 1.860000e+02 | 18.18%
1678.81/1679.13 c 1679s| 52000 | 17913 | 12245k| 235.0 | 18M| 130 | 117 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573896e+02 | 1.860000e+02 | 18.18%
1679.61/1679.99 c 1680s| 52100 | 17929 | 12252k| 234.7 | 18M| 130 | 88 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573898e+02 | 1.860000e+02 | 18.18%
1682.30/1682.63 c 1683s| 52200 | 17955 | 12272k| 234.6 | 18M| 130 | 111 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573898e+02 | 1.860000e+02 | 18.18%
1683.81/1684.10 c 1684s| 52300 | 18003 | 12283k| 234.4 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573901e+02 | 1.860000e+02 | 18.18%
1687.51/1687.81 c 1688s| 52400 | 18055 | 12310k| 234.4 | 18M| 130 | 369 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573911e+02 | 1.860000e+02 | 18.18%
1688.40/1688.79 c 1689s| 52500 | 18083 | 12317k| 234.1 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573915e+02 | 1.860000e+02 | 18.18%
1690.71/1691.07 c 1691s| 52600 | 18109 | 12334k| 234.0 | 18M| 130 | 366 | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573921e+02 | 1.860000e+02 | 18.18%
1694.30/1694.67 c 1695s| 52700 | 18151 | 12363k| 234.1 | 18M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573928e+02 | 1.860000e+02 | 18.18%
1699.30/1699.62 c 1700s| 52800 | 18211 | 12401k| 234.4 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573937e+02 | 1.860000e+02 | 18.18%
1701.61/1701.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1701.61/1701.92 c 1702s| 52900 | 18235 | 12419k| 234.3 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573942e+02 | 1.860000e+02 | 18.17%
1701.80/1702.15 c 1702s| 53000 | 18243 | 12421k| 233.9 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2349 | 1.573942e+02 | 1.860000e+02 | 18.17%
1703.00/1703.35 c 1703s| 53100 | 18261 | 12429k| 233.6 | 19M| 130 | 358 | 467 | 521 | 467 | 931 | 821 | 6 |2350 | 1.573944e+02 | 1.860000e+02 | 18.17%
1707.91/1708.22 c 1708s| 53200 | 18331 | 12461k| 233.8 | 19M| 130 | 359 | 467 | 521 | 467 | 931 | 821 | 6 |2362 | 1.573956e+02 | 1.860000e+02 | 18.17%
1711.70/1712.09 c 1712s| 53300 | 18361 | 12491k| 233.9 | 19M| 130 | 113 | 467 | 521 | 467 | 931 | 821 | 6 |2362 | 1.573959e+02 | 1.860000e+02 | 18.17%
1713.30/1713.60 c 1714s| 53400 | 18385 | 12502k| 233.6 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2362 | 1.573960e+02 | 1.860000e+02 | 18.17%
1715.10/1715.45 c 1715s| 53500 | 18399 | 12514k| 233.4 | 19M| 130 | 110 | 467 | 521 | 467 | 931 | 821 | 6 |2379 | 1.573961e+02 | 1.860000e+02 | 18.17%
1716.10/1716.41 c 1716s| 53600 | 18415 | 12522k| 233.1 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2379 | 1.573964e+02 | 1.860000e+02 | 18.17%
1716.81/1717.14 c 1717s| 53700 | 18411 | 12527k| 232.8 | 19M| 130 | 365 | 467 | 521 | 467 | 931 | 821 | 6 |2379 | 1.573965e+02 | 1.860000e+02 | 18.17%
1717.91/1718.29 c 1718s| 53800 | 18421 | 12531k| 232.5 | 19M| 130 | 117 | 467 | 521 | 467 | 931 | 821 | 6 |2396 | 1.573965e+02 | 1.860000e+02 | 18.17%
1721.80/1722.10 c 1722s| 53900 | 18443 | 12561k| 232.6 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2396 | 1.573968e+02 | 1.860000e+02 | 18.17%
1726.00/1726.34 c 1726s| 54000 | 18491 | 12593k| 232.7 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2396 | 1.573979e+02 | 1.860000e+02 | 18.17%
1729.40/1729.75 c 1730s| 54100 | 18543 | 12615k| 232.7 | 19M| 130 | 119 | 467 | 521 | 467 | 931 | 821 | 6 |2405 | 1.573985e+02 | 1.860000e+02 | 18.17%
1730.90/1731.28 c 1731s| 54200 | 18579 | 12626k| 232.5 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2405 | 1.573997e+02 | 1.860000e+02 | 18.17%
1731.90/1732.24 c 1732s| 54300 | 18603 | 12634k| 232.2 | 19M| 130 | 119 | 467 | 521 | 467 | 931 | 821 | 6 |2411 | 1.573997e+02 | 1.860000e+02 | 18.17%
1733.00/1733.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1733.00/1733.38 c 1733s| 54400 | 18607 | 12641k| 231.9 | 19M| 130 | - | 467 | 521 | 0 | 0 | 821 | 6 |2415 | 1.573997e+02 | 1.860000e+02 | 18.17%
1733.30/1733.67 c 1734s| 54500 | 18611 | 12645k| 231.6 | 19M| 130 | 137 | 467 | 521 | 467 | 931 | 821 | 6 |2415 | 1.573997e+02 | 1.860000e+02 | 18.17%
1734.30/1734.66 c 1735s| 54600 | 18625 | 12652k| 231.3 | 19M| 130 | 124 | 467 | 521 | 467 | 931 | 821 | 6 |2418 | 1.573998e+02 | 1.860000e+02 | 18.17%
1739.90/1740.20 c 1740s| 54700 | 18671 | 12694k| 231.6 | 19M| 130 | 123 | 467 | 521 | 467 | 931 | 821 | 6 |2425 | 1.574000e+02 | 1.860000e+02 | 18.17%
1745.79/1746.10 c 1746s| 54800 | 18711 | 12740k| 232.0 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2425 | 1.574008e+02 | 1.860000e+02 | 18.17%
1747.10/1747.44 c 1747s| 54900 | 18727 | 12750k| 231.8 | 19M| 130 | 371 | 467 | 521 | 467 | 931 | 821 | 6 |2425 | 1.574012e+02 | 1.860000e+02 | 18.17%
1747.89/1748.29 c 1748s| 55000 | 18745 | 12756k| 231.5 | 19M| 130 | 377 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574014e+02 | 1.860000e+02 | 18.17%
1750.09/1750.41 c 1750s| 55100 | 18767 | 12773k| 231.4 | 19M| 130 | - | 467 | 521 | 0 | 0 | 821 | 6 |2426 | 1.574014e+02 | 1.860000e+02 | 18.17%
1752.79/1753.11 c 1753s| 55200 | 18819 | 12792k| 231.3 | 19M| 130 | 133 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574027e+02 | 1.860000e+02 | 18.17%
1755.69/1756.00 c 1756s| 55300 | 18849 | 12814k| 231.3 | 19M| 130 | 374 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574029e+02 | 1.860000e+02 | 18.17%
1759.59/1759.98 c 1760s| 55400 | 18897 | 12845k| 231.4 | 19M| 130 | 120 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574035e+02 | 1.860000e+02 | 18.17%
1761.69/1762.00 c 1762s| 55500 | 18935 | 12859k| 231.3 | 19M| 130 | 365 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574045e+02 | 1.860000e+02 | 18.17%
1763.59/1763.97 c 1764s| 55600 | 18975 | 12875k| 231.1 | 19M| 130 | 126 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574049e+02 | 1.860000e+02 | 18.17%
1764.39/1764.74 c 1765s| 55700 | 18993 | 12881k| 230.8 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574054e+02 | 1.860000e+02 | 18.17%
1767.40/1767.77 c 1768s| 55800 | 19031 | 12903k| 230.8 | 19M| 130 | 122 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574057e+02 | 1.860000e+02 | 18.17%
1769.69/1770.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.69/1770.07 c 1770s| 55900 | 19081 | 12920k| 230.7 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574066e+02 | 1.860000e+02 | 18.17%
1774.09/1774.43 c 1774s| 56000 | 19127 | 12954k| 230.9 | 19M| 130 | 134 | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574067e+02 | 1.860000e+02 | 18.17%
1776.39/1776.76 c 1777s| 56100 | 19157 | 12973k| 230.8 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2426 | 1.574077e+02 | 1.860000e+02 | 18.16%
1777.89/1778.23 c 1778s| 56200 | 19175 | 12979k| 230.5 | 19M| 130 | 125 | 467 | 521 | 467 | 931 | 821 | 6 |2445 | 1.574081e+02 | 1.860000e+02 | 18.16%
1779.28/1779.63 c 1780s| 56300 | 19209 | 12989k| 230.3 | 19M| 130 | 117 | 467 | 521 | 467 | 931 | 821 | 6 |2445 | 1.574087e+02 | 1.860000e+02 | 18.16%
1783.09/1783.44 c 1783s| 56400 | 19253 | 13018k| 230.4 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2445 | 1.574090e+02 | 1.860000e+02 | 18.16%
1785.79/1786.10 c 1786s| 56500 | 19287 | 13039k| 230.3 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2445 | 1.574098e+02 | 1.860000e+02 | 18.16%
1791.79/1792.16 c 1792s| 56600 | 19327 | 13081k| 230.7 | 19M| 130 | - | 467 | 521 | 467 | 931 | 821 | 6 |2459 | 1.574108e+02 | 1.860000e+02 | 18.16%
1795.08/1795.41 c 1795s| 56700 | 19367 | 13104k| 230.7 | 19M| 130 | 121 | 467 | 521 | 467 | 931 | 821 | 6 |2459 | 1.574114e+02 | 1.860000e+02 | 18.16%
1796.68/1797.01 c
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Solving Time (sec) : 1797.00
1796.68/1797.01 c Solving Nodes : 56799
1796.68/1797.01 c Primal Bound : +1.86000000000000e+02 (723 solutions)
1796.68/1797.01 c Dual Bound : +1.57412015553456e+02
1796.68/1797.01 c Gap : 18.16 %
1796.68/1797.01 s SATISFIABLE
1796.68/1797.01 v -x467 x466 x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 x457 -x456 -x455 x454 x453 x452 -x451 -x450 -x449 -x448 x447 -x446 x445
1796.68/1797.01 v -x444 x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 x434 -x433 x432 -x431 -x430 x429 -x428 -x427 x426 -x425 -x424 x423
1796.68/1797.01 v -x422 -x421 x420 x419 -x418 x417 x416 -x415 x414 x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 x401
1796.68/1797.01 v -x400 -x399 -x398 -x397 x396 -x395 -x394 x393 x392 x391 x390 x389 -x388 x387 -x386 -x385 x384 -x383 x382 x381 -x380 x379 -x378
1796.68/1797.01 v -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 x362 x361 -x360 x359 x358 -x357 -x356
1796.68/1797.01 v -x355 -x354 x353 x352 -x351 -x350 x349 -x348 x347 -x346 -x345 x344 -x343 -x342 x341 -x340 -x339 -x338 x337 -x336 -x335 -x334
1796.68/1797.01 v x333 -x332 x331 x330 x329 -x328 -x327 -x326 x325 x324 x323 -x322 -x321 -x320 x319 x318 -x317 -x316 x315 -x314 -x313 -x312 -x311
1796.68/1797.01 v -x310 -x309 x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 x299 -x298 -x297 -x296 x295 -x294 -x293 x292 -x291 -x290 -x289
1796.68/1797.01 v x288 -x287 -x286 -x285 x284 x283 x282 x281 x280 x279 x278 -x277 -x276 x275 -x274 x273 x272 -x271 x270 x269 -x268 -x267 -x266
1796.68/1797.01 v x265 -x264 x263 x262 -x261 -x260 -x259 -x258 -x257 x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 x246 x245 x244
1796.68/1797.01 v -x243 x242 -x241 x240 -x239 x238 x237 -x236 x235 x234 x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 x225 -x224 x223 x222 -x221
1796.68/1797.01 v -x220 x219 x218 -x217 -x216 x215 -x214 x213 -x212 x211 x210 -x209 -x208 x207 -x206 -x205 x204 -x203 -x202 x201 x200 x199
1796.68/1797.01 v -x198 x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1796.68/1797.01 v -x176 x175 -x174 -x173 -x172 -x171 -x170 x169 -x168 x167 x166 x165 -x164 x163 x162 -x161 x160 -x159 -x158 -x157 x156 x155
1796.68/1797.01 v x154 -x153 x152 x151 -x150 x149 -x148 -x147 -x146 x145 -x144 x143 -x142 x141 -x140 x139 -x138 -x137 x136 -x135 -x134 -x133 x132
1796.68/1797.01 v -x131 x130 -x129 x128 x127 -x126 x125 x124 -x123 x122 x121 -x120 x119 x118 -x117 x116 -x115 -x114 -x113 x112 -x111 -x110
1796.68/1797.01 v -x109 x108 -x107 x106 -x105 x104 x103 x102 x101 -x100 x99 x98 x97 -x96 x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 x86 x85 x84
1796.68/1797.01 v -x83 -x82 -x81 x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 x72 -x71 -x70 x69 -x68 x67 x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 x58 -x57
1796.68/1797.01 v x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31
1796.68/1797.01 v x30 -x29 -x28 x27 -x26 x25 -x24 -x23 x22 -x21 -x20 x19 -x18 -x17 -x16 x15 x14 x13 -x12 x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2
1796.68/1797.01 v -x1
1796.68/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.01 c Total Time : 1797.00
1796.68/1797.01 c solving : 1797.00
1796.68/1797.01 c presolving : 0.02 (included in solving)
1796.68/1797.01 c reading : 0.00 (included in solving)
1796.68/1797.01 c copying : 0.06 (11 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.68/1797.01 c Original Problem :
1796.68/1797.01 c Problem name : HOME/instance-3690891-1338017129.opb
1796.68/1797.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 466 initial, 466 maximal
1796.68/1797.01 c Objective sense : minimize
1796.68/1797.01 c Presolved Problem :
1796.68/1797.01 c Problem name : t_HOME/instance-3690891-1338017129.opb
1796.68/1797.01 c Variables : 467 (467 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01 c Constraints : 519 initial, 525 maximal
1796.68/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 24 141 243 549
1796.68/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 64 0 0 0
1796.68/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 1 42
1796.68/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.01 c root node : - - 0 - - 0 - - - - -
1796.68/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c integral : 0 0 0 0 38155 0 728 0 11 70 0 0 76190
1796.68/1797.01 c knapsack : 438 438 10 241527 0 0 723 0 878 221514 814 0 0
1796.68/1797.01 c setppc : 78 78 10 240507 0 0 722 0 0 19147 0 0 0
1796.68/1797.01 c logicor : 3+ 9 10 11945 0 0 722 0 0 1 0 0 0
1796.68/1797.01 c countsols : 0 0 0 0 0 0 726 0 0 0 0 0 0
1796.68/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.01 c integral : 101.45 0.00 0.00 0.00 101.45 0.00 0.00 0.00
1796.68/1797.01 c knapsack : 2.06 0.00 0.03 2.02 0.00 0.00 0.01 0.00
1796.68/1797.01 c setppc : 0.25 0.00 0.00 0.25 0.00 0.00 0.00 0.00
1796.68/1797.01 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.68/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.01 c rootredcost : 22 0 0 0
1796.68/1797.01 c pseudoobj : 279632 0 0 0
1796.68/1797.01 c vbounds : 0 0 0 0
1796.68/1797.01 c redcost : 52785 0 0 400059
1796.68/1797.01 c probing : 0 0 0 0
1796.68/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.01 c rootredcost : 0.08 0.00 0.00 0.08 0.00
1796.68/1797.01 c pseudoobj : 0.27 0.00 0.00 0.27 0.00
1796.68/1797.01 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.68/1797.01 c redcost : 0.89 0.00 0.00 0.89 0.00
1796.68/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.01 c propagation : 0.00 878 0 0 0.0 0 0.0 -
1796.68/1797.01 c infeasible LP : 0.00 6 6 6 4.7 0 0.0 0
1796.68/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.01 c applied globally : - - - 6 4.7 - - -
1796.68/1797.01 c applied locally : - - - 0 0.0 - - -
1796.68/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.01 c cut pool : 0.00 9 - - 273 - (maximal pool size: 1529)
1796.68/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c impliedbounds : 0.00 0.00 10 0 0 0 0
1796.68/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c gomory : 1.74 0.00 10 0 0 2 0
1796.68/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c strongcg : 1.33 0.00 10 0 0 2 0
1796.68/1797.01 c cmir : 0.24 0.00 10 0 0 909 0
1796.68/1797.01 c flowcover : 0.27 0.00 10 0 0 1070 0
1796.68/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.68/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c mcf : 0.02 0.00 5 0 0 81 0
1796.68/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.01 c rapidlearning : 0.26 0.00 1 0 0 0 0
1796.68/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.01 c problem variables: 0.00 - 0 0
1796.68/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.01 c relpscost : 101.42 0.00 38155 11 70 0 0 76190
1796.68/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.01 c LP solutions : 0.00 - - 0
1796.68/1797.01 c pseudo solutions : 0.00 - - 0
1796.68/1797.01 c feaspump : 0.00 0.00 0 0
1796.68/1797.01 c intshifting : 0.00 0.00 0 0
1796.68/1797.01 c oneopt : 0.02 0.00 14 5
1796.68/1797.01 c crossover : 0.23 0.00 2 2
1796.68/1797.01 c fracdiving : 48.49 0.00 37 0
1796.68/1797.01 c guideddiving : 48.71 0.00 37 0
1796.68/1797.01 c linesearchdiving : 75.87 0.00 84 48
1796.68/1797.01 c veclendiving : 147.03 0.00 135 103
1796.68/1797.01 c coefdiving : 213.91 0.00 148 187
1796.68/1797.01 c pscostdiving : 255.27 0.00 249 251
1796.68/1797.01 c smallcard : 0.00 0.00 0 0
1796.68/1797.01 c trivial : 0.00 0.00 2 1
1796.68/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.01 c simplerounding : 0.90 0.00 38164 24
1796.68/1797.01 c zirounding : 0.45 0.00 1201 24
1796.68/1797.01 c rounding : 11.08 0.00 8979 1
1796.68/1797.01 c shifting : 3.17 0.00 2414 1
1796.68/1797.01 c twoopt : 0.00 0.00 0 0
1796.68/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.01 c indoneopt : 0.03 0.00 0 0
1796.68/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.01 c clique : 0.00 0.00 0 0
1796.68/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.01 c indrounding : 0.00 0.00 0 0
1796.68/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.01 c intdiving : 0.00 0.00 0 0
1796.68/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.01 c objpscostdiving : 30.44 0.00 4 75
1796.68/1797.01 c rootsoldiving : 12.29 0.00 12 0
1796.68/1797.01 c octane : 0.00 0.00 0 0
1796.68/1797.01 c rens : 0.01 0.00 0 0
1796.68/1797.01 c rins : 0.00 0.00 0 0
1796.68/1797.01 c localbranching : 0.00 0.00 0 0
1796.68/1797.01 c mutation : 0.00 0.00 0 0
1796.68/1797.01 c dins : 0.00 0.00 0 0
1796.68/1797.01 c vbounds : 0.00 0.00 0 0
1796.68/1797.01 c undercover : 0.00 0.00 0 0
1796.68/1797.01 c subnlp : 0.01 0.00 0 0
1796.68/1797.01 c trysol : 0.02 0.00 0 0
1796.68/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.01 c primal LP : 0.01 1 0 0.00 - 0.01 1
1796.68/1797.01 c dual LP : 831.01 70617 6218948 111.34 7483.60 3.51 14764
1796.68/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.01 c diving/probing LP: 812.32 111929 6896253 61.61 8489.53
1796.68/1797.01 c strong branching : 99.56 2467 606490 245.84 6091.58
1796.68/1797.01 c (at root node) : - 17 16111 947.71 -
1796.68/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.01 c B&B Tree :
1796.68/1797.01 c number of runs : 1
1796.68/1797.01 c nodes : 56799
1796.68/1797.01 c nodes (total) : 56799
1796.68/1797.01 c nodes left : 19392
1796.68/1797.01 c max depth : 130
1796.68/1797.01 c max depth (total): 130
1796.68/1797.01 c backtracks : 11139 (19.6%)
1796.68/1797.01 c delayed cutoffs : 0
1796.68/1797.01 c repropagations : 2 (1 domain reductions, 0 cutoffs)
1796.68/1797.01 c avg switch length: 8.14
1796.68/1797.01 c switching time : 2.25
1796.68/1797.01 c Solution :
1796.68/1797.01 c Solutions found : 723 (32 improvements)
1796.68/1797.01 c First Solution : +4.67000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.68/1797.01 c Primal Bound : +1.86000000000000e+02 (in run 1, after 594 nodes, 209.11 seconds, depth 9, found by <crossover>)
1796.68/1797.01 c Dual Bound : +1.57412015553456e+02
1796.68/1797.01 c Gap : 18.16 %
1796.68/1797.01 c Root Dual Bound : +1.56049499250215e+02
1796.68/1797.01 c Root Iterations : 25722
1796.68/1797.03 c Time complete: 1796.72.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690891-1338017129/watcher-3690891-1338017129 -o /tmp/evaluation-result-3690891-1338017129/solver-3690891-1338017129 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690891-1338017129.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.97 1.24 1.77 3/176 28432
/proc/meminfo: memFree=28853612/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28432/stat : 28432 (runsolver) D 28430 28432 28235 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 267836957 12095488 50 33554432000 4194304 5436572 140737089853120 140737089849416 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 2953 50 31 304 0 2645 0
[startup+0.071333 s]
/proc/loadavg: 1.97 1.24 1.77 3/176 28432
/proc/meminfo: memFree=28853612/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=24036 CPUtime=0.05 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 5030 0 0 0 5 0 0 0 20 0 1 0 267836957 24612864 4721 33554432000 4194304 10173063 140734398858176 140734398851432 8012538 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/28432/statm: 6009 4721 761 1460 0 4540 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24036
[startup+0.100188 s]
/proc/loadavg: 1.97 1.24 1.77 3/176 28432
/proc/meminfo: memFree=28853612/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=24036 CPUtime=0.08 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 5035 0 0 0 8 0 0 0 20 0 1 0 267836957 24612864 4726 33554432000 4194304 10173063 140734398858176 140734398851528 7588159 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/28432/statm: 6009 4726 761 1460 0 4540 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24036
[startup+0.30008 s]
/proc/loadavg: 1.97 1.24 1.77 3/176 28432
/proc/meminfo: memFree=28853612/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=24036 CPUtime=0.29 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 5059 0 0 0 28 1 0 0 20 0 1 0 267836957 24612864 4750 33554432000 4194304 10173063 140734398858176 140734398851528 7986126 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/28432/statm: 6009 4750 761 1460 0 4540 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24036
[startup+0.700081 s]
/proc/loadavg: 1.97 1.24 1.77 3/176 28432
/proc/meminfo: memFree=28853612/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=24420 CPUtime=0.68 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 5142 0 0 0 67 1 0 0 20 0 1 0 267836957 25006080 4833 33554432000 4194304 10173063 140734398858176 140734398851080 8033072 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/28432/statm: 6105 4833 761 1460 0 4636 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24420
[startup+1.50025 s]
/proc/loadavg: 1.97 1.26 1.77 3/177 28433
/proc/meminfo: memFree=28836468/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=26328 CPUtime=1.48 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 8988 0 0 0 143 5 0 0 20 0 1 0 267836957 26959872 5436 33554432000 4194304 10173063 140734398858176 140734398851992 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 6582 5436 849 1460 0 5113 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26328
[startup+3.10022 s]
/proc/loadavg: 1.97 1.26 1.77 3/177 28433
/proc/meminfo: memFree=28834732/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=27940 CPUtime=3.08 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 9384 0 0 0 302 6 0 0 20 0 1 0 267836957 28610560 5832 33554432000 4194304 10173063 140734398858176 140734398853416 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 6985 5832 849 1460 0 5516 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27940
[startup+6.30022 s]
/proc/loadavg: 1.97 1.26 1.77 3/177 28433
/proc/meminfo: memFree=28831876/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=29028 CPUtime=6.28 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 9649 0 0 0 620 8 0 0 20 0 1 0 267836957 29724672 6097 33554432000 4194304 10173063 140734398858176 140734398853096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7257 6097 849 1460 0 5788 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29028
[startup+12.7002 s]
/proc/loadavg: 1.97 1.28 1.77 3/177 28433
/proc/meminfo: memFree=28831248/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=28768 CPUtime=12.68 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 10365 0 0 0 1255 13 0 0 20 0 1 0 267836957 29458432 6016 33554432000 4194304 10173063 140734398858176 140734398851304 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7192 6016 856 1460 0 5723 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28768
[startup+25.5002 s]
/proc/loadavg: 1.98 1.30 1.77 3/177 28433
/proc/meminfo: memFree=28830952/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=28768 CPUtime=25.48 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 10371 0 0 0 2526 22 0 0 20 0 1 0 267836957 29458432 6140 33554432000 4194304 10173063 140734398858176 140734398851352 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7192 6140 859 1460 0 5723 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28768
[startup+51.1002 s]
/proc/loadavg: 1.98 1.36 1.78 3/177 28433
/proc/meminfo: memFree=28830584/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=29484 CPUtime=51.07 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 10562 0 0 0 5066 41 0 0 20 0 1 0 267836957 30191616 6331 33554432000 4194304 10173063 140734398858176 140734398850984 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7371 6331 859 1460 0 5902 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29484
[startup+102.306 s]
/proc/loadavg: 1.99 1.46 1.79 3/178 28434
/proc/meminfo: memFree=28829956/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=29484 CPUtime=102.27 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 10589 0 0 0 10141 86 0 0 20 0 1 0 267836957 30191616 6358 33554432000 4194304 10173063 140734398858176 140734398851096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7371 6358 859 1460 0 5902 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29484
[startup+162.3 s]
/proc/loadavg: 1.99 1.56 1.80 3/177 28435
/proc/meminfo: memFree=28829964/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=29484 CPUtime=162.26 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 10590 0 0 0 16087 139 0 0 20 0 1 0 267836957 30191616 6359 33554432000 4194304 10173063 140734398858176 140734398851528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7371 6359 859 1460 0 5902 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29484
[startup+222.3 s]
/proc/loadavg: 1.99 1.64 1.81 3/177 28435
/proc/meminfo: memFree=28829472/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=30244 CPUtime=222.25 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 13989 0 0 0 22032 193 0 0 20 0 1 0 267836957 30969856 6506 33554432000 4194304 10173063 140734398858176 140734398853160 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7561 6506 866 1460 0 6092 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 30244
[startup+282.3 s]
/proc/loadavg: 1.99 1.70 1.82 3/178 28438
/proc/meminfo: memFree=28828480/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=30764 CPUtime=282.23 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 14169 0 0 0 27976 247 0 0 20 0 1 0 267836957 31502336 6685 33554432000 4194304 10173063 140734398858176 140734398851432 5643183 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7691 6685 866 1460 0 6222 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 30764
[startup+342.3 s]
/proc/loadavg: 1.99 1.75 1.83 3/177 28438
/proc/meminfo: memFree=28828864/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=31444 CPUtime=342.23 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 18119 0 0 0 33920 303 0 0 20 0 1 0 267836957 32198656 6830 33554432000 4194304 10173063 140734398858176 140734398851528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 7861 6830 867 1460 0 6392 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31444
[startup+402.3 s]
/proc/loadavg: 1.99 1.79 1.83 3/177 28438
/proc/meminfo: memFree=28827376/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=32580 CPUtime=402.21 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 19920 0 0 0 39864 357 0 0 20 0 1 0 267836957 33361920 7113 33554432000 4194304 10173063 140734398858176 140734398851048 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 8145 7113 867 1460 0 6676 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 32580
[startup+462.3 s]
/proc/loadavg: 2.05 1.84 1.84 3/177 28439
/proc/meminfo: memFree=28826696/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=32768 CPUtime=462.21 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 19984 0 0 0 45805 416 0 0 20 0 1 0 267836957 33554432 7176 33554432000 4194304 10173063 140734398858176 140734398851096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 8192 7176 867 1460 0 6723 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 32768
[startup+522.3 s]
/proc/loadavg: 2.02 1.87 1.85 3/177 28439
/proc/meminfo: memFree=28825952/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=33452 CPUtime=522.19 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 20992 0 0 0 51749 470 0 0 20 0 1 0 267836957 34254848 7356 33554432000 4194304 10173063 140734398858176 140734398851528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 8363 7356 867 1460 0 6894 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 33452
[startup+582.3 s]
/proc/loadavg: 2.07 1.91 1.86 3/177 28439
/proc/meminfo: memFree=28823412/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=35340 CPUtime=582.18 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 21457 0 0 0 57694 524 0 0 20 0 1 0 267836957 36188160 7820 33554432000 4194304 10173063 140734398858176 140734398850984 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 8835 7820 867 1460 0 7366 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 35340
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28817004/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=40052 CPUtime=1122.1 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 23964 0 0 0 111203 1007 0 0 20 0 1 0 267836957 41013248 9015 33554432000 4194304 10173063 140734398858176 140734398853976 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10013 9015 867 1460 0 8544 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 40052
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 28444
/proc/meminfo: memFree=28816200/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=40864 CPUtime=1182.09 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24171 0 0 0 117148 1061 0 0 20 0 1 0 267836957 41844736 9221 33554432000 4194304 10173063 140734398858176 140734398851480 8054514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10216 9221 867 1460 0 8747 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 40864
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 28444
/proc/meminfo: memFree=28815088/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=41660 CPUtime=1242.07 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24362 0 0 0 123092 1115 0 0 20 0 1 0 267836957 42659840 9412 33554432000 4194304 10173063 140734398858176 140734398851848 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10415 9412 867 1460 0 8946 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 41660
[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 28444
/proc/meminfo: memFree=28814472/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=41792 CPUtime=1302.08 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24397 0 0 0 129039 1169 0 0 20 0 1 0 267836957 42795008 9447 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10448 9447 867 1460 0 8979 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 41792
[startup+1362.3 s]
/proc/loadavg: 2.07 2.00 1.91 3/177 28444
/proc/meminfo: memFree=28812800/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=43008 CPUtime=1362.06 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24711 0 0 0 134983 1223 0 0 20 0 1 0 267836957 44040192 9760 33554432000 4194304 10173063 140734398858176 140734398851480 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10752 9760 867 1460 0 9283 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 43008
[startup+1422.31 s]
/proc/loadavg: 2.02 2.00 1.91 3/177 28445
/proc/meminfo: memFree=28812276/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=43184 CPUtime=1422.06 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24766 0 0 0 140928 1278 0 0 20 0 1 0 267836957 44220416 9815 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10796 9815 867 1460 0 9327 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 43184
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/178 28448
/proc/meminfo: memFree=28811880/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=43184 CPUtime=1482.03 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24771 0 0 0 146869 1334 0 0 20 0 1 0 267836957 44220416 9820 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10796 9820 867 1460 0 9327 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 43184
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28448
/proc/meminfo: memFree=28811348/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=43900 CPUtime=1542.02 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 24938 0 0 0 152818 1384 0 0 20 0 1 0 267836957 44953600 9987 33554432000 4194304 10173063 140734398858176 140734398851096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 10975 9987 867 1460 0 9506 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 43900
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 28448
/proc/meminfo: memFree=28810360/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=44252 CPUtime=1602.02 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 25024 0 0 0 158759 1443 0 0 20 0 1 0 267836957 45314048 10073 33554432000 4194304 10173063 140734398858176 140734398853976 8055102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11063 10073 867 1460 0 9594 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 44252
[startup+1662.3 s]
/proc/loadavg: 1.92 1.97 1.91 3/177 28790
/proc/meminfo: memFree=28764700/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=46124 CPUtime=1662.01 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 25486 0 0 0 164704 1497 0 0 20 0 1 0 267836957 47230976 10535 33554432000 4194304 10173063 140734398858176 140734398851112 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11531 10535 867 1460 0 10062 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 46124
[startup+1722.3 s]
/proc/loadavg: 1.97 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28762272/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=46892 CPUtime=1722 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26356 0 0 0 170648 1552 0 0 20 0 1 0 267836957 48017408 10748 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11723 10748 867 1460 0 10254 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 46892
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28758744/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47116 CPUtime=1781.99 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26399 0 0 0 176591 1608 0 0 20 0 1 0 267836957 48246784 10791 33554432000 4194304 10173063 140734398858176 140734398851528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11779 10791 867 1460 0 10310 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 47116
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28758496/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1785.19 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26477 0 0 0 176908 1611 0 0 20 0 1 0 267836957 48603136 10869 33554432000 4194304 10173063 140734398858176 140734398851096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10869 867 1460 0 10397 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 47464
[startup+1791.91 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28758248/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1791.6 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 177543 1617 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398851096 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 47464
[startup+1795.1 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28760668/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1794.79 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 177859 1620 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398851528 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 47464
[startup+1795.9 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28760668/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1795.59 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 177938 1621 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398853976 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 47464
[startup+1796.7 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28759180/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1796.39 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 178017 1622 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 47464
[startup+1796.9 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28759180/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1796.59 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 178037 1622 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398851432 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (KiB) 47464
[startup+1797 s]
/proc/loadavg: 1.99 1.97 1.91 3/177 28791
/proc/meminfo: memFree=28759180/32873648 swapFree=7360/7360
[pid=28432] ppid=28430 vsize=47464 CPUtime=1796.68 cores=0,2,4,6
/proc/28432/stat : 28432 (scip-2.1.1.4fix) R 28430 28432 28235 0 -1 4202496 26488 0 0 0 178046 1622 0 0 20 0 1 0 267836957 48603136 10880 33554432000 4194304 10173063 140734398858176 140734398851432 8054555 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/28432/statm: 11866 10880 867 1460 0 10397 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 47464
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.74
CPU user time (s): 1780.51
CPU system time (s): 16.2305
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 47464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.51
system time used= 16.2305
maximum resident set size= 45324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 2718
runsolver used 2.6096 second user time and 7.2409 second system time
The end