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: 947bdb7-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-3692056-1338029779.opb>
0.00/0.01 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 469 constraints
0.00/0.01 c problem read in 0.00
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+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, 0 chg sides, 23 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 23 chg coeffs, 469 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 54 del conss, 158 add conss, 0 chg bounds, 206 chg sides, 522 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 86 del conss, 170 add conss, 0 chg bounds, 260 chg sides, 603 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 88 del conss, 172 add conss, 0 chg bounds, 280 chg sides, 642 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 90 del conss, 174 add conss, 0 chg bounds, 283 chg sides, 649 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 91 del conss, 175 add conss, 0 chg bounds, 287 chg sides, 666 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 8) 0 del vars, 91 del conss, 175 add conss, 0 chg bounds, 289 chg sides, 668 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (round 9) 0 del vars, 91 del conss, 175 add conss, 0 chg bounds, 290 chg sides, 678 chg coeffs, 469 upgd conss, 224 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/470 (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.04 c presolving (10 rounds):
0.00/0.04 c 0 deleted vars, 91 deleted constraints, 175 added constraints, 0 tightened bounds, 0 added holes, 290 changed sides, 678 changed coefficients
0.00/0.04 c 224 implications, 0 cliques
0.00/0.04 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 553 constraints
0.00/0.04 c 442 constraints of type <knapsack>
0.00/0.04 c 111 constraints of type <setppc>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 2.1.1.4
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1797
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 13950
0.00/0.04 c
0.00/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.04 c # [type: int, range: [1,2], default: 1]
0.00/0.04 c timing/clocktype = 2
0.00/0.04 c
0.00/0.04 c # belongs reading time to solving time?
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c timing/reading = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.89/0.93 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.93 c t 0.9s| 1 | 0 | 10375 | - |2742k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 4.700000e+02 | 212.80%
0.89/0.93 o 339
0.89/0.93 c r 0.9s| 1 | 0 | 10375 | - |2755k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.390000e+02 | 125.62%
0.89/0.93 o 338
0.89/0.93 c R 0.9s| 1 | 0 | 10375 | - |2768k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.380000e+02 | 124.95%
0.89/0.94 o 337
0.89/0.94 c s 0.9s| 1 | 0 | 10375 | - |2782k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 3.370000e+02 | 124.29%
1.29/1.39 o 228
1.29/1.39 c y 1.4s| 1 | 0 | 10375 | - |3155k| 0 | 327 | 470 | 553 | 470 | 553 | 0 | 0 | 0 | 1.502539e+02 | 2.280000e+02 | 51.74%
1.89/1.94 c 1.9s| 1 | 0 | 14458 | - |3082k| 0 | 390 | 470 | 553 | 470 | 763 | 210 | 0 | 0 | 1.561571e+02 | 2.280000e+02 | 46.01%
2.69/2.74 c 2.7s| 1 | 0 | 18418 | - |3324k| 0 | 407 | 470 | 553 | 470 | 941 | 388 | 0 | 0 | 1.592948e+02 | 2.280000e+02 | 43.13%
3.39/3.49 c 3.5s| 1 | 0 | 21458 | - |3505k| 0 | 422 | 470 | 553 | 470 |1063 | 510 | 0 | 0 | 1.612456e+02 | 2.280000e+02 | 41.40%
4.09/4.11 c 4.1s| 1 | 0 | 22937 | - |3634k| 0 | 435 | 470 | 553 | 470 |1159 | 606 | 0 | 0 | 1.623052e+02 | 2.280000e+02 | 40.48%
4.68/4.73 c 4.7s| 1 | 0 | 24415 | - |3682k| 0 | 425 | 470 | 553 | 470 |1205 | 652 | 0 | 0 | 1.628591e+02 | 2.280000e+02 | 40.00%
5.19/5.25 c 5.2s| 1 | 0 | 25095 | - |3722k| 0 | 433 | 470 | 553 | 470 |1244 | 691 | 0 | 0 | 1.631143e+02 | 2.280000e+02 | 39.78%
5.59/5.67 c 5.7s| 1 | 0 | 25242 | - |3737k| 0 | 436 | 470 | 553 | 470 |1257 | 704 | 0 | 0 | 1.631568e+02 | 2.280000e+02 | 39.74%
5.99/6.05 c 6.1s| 1 | 0 | 25385 | - |3744k| 0 | 435 | 470 | 553 | 470 |1262 | 709 | 0 | 0 | 1.631775e+02 | 2.280000e+02 | 39.73%
6.39/6.43 c 6.4s| 1 | 0 | 25403 | - |3751k| 0 | 435 | 470 | 553 | 470 |1263 | 710 | 0 | 0 | 1.631789e+02 | 2.280000e+02 | 39.72%
10.39/10.41 c 10.4s| 1 | 2 | 25403 | - |3772k| 0 | 435 | 470 | 553 | 470 |1263 | 710 | 0 | 24 | 1.631789e+02 | 2.280000e+02 | 39.72%
30.98/31.02 o 226
30.98/31.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.98/31.02 c c31.0s| 15 | 16 | 43522 |1294.2 |4539k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.260000e+02 | 38.33%
30.98/31.03 o 224
30.98/31.03 c c31.0s| 15 | 16 | 43540 |1295.5 |4540k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.240000e+02 | 37.11%
30.98/31.03 o 223
30.98/31.03 c c31.0s| 15 | 16 | 43541 |1295.6 |4541k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.230000e+02 | 36.50%
30.98/31.03 o 222
30.98/31.03 c c31.0s| 15 | 16 | 43550 |1296.2 |4542k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.220000e+02 | 35.89%
30.98/31.04 o 222
30.98/31.04 c c31.0s| 15 | 16 | 43652 |1303.5 |4563k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.220000e+02 | 35.89%
30.98/31.04 o 221
30.98/31.04 c c31.0s| 15 | 16 | 43679 |1305.4 |4570k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.210000e+02 | 35.27%
30.98/31.05 o 220
30.98/31.05 c c31.0s| 15 | 16 | 43715 |1308.0 |4586k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.200000e+02 | 34.66%
30.98/31.05 o 219
30.98/31.05 c c31.0s| 15 | 16 | 43731 |1309.1 |4591k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.190000e+02 | 34.05%
30.98/31.05 o 219
30.98/31.05 c c31.0s| 15 | 16 | 43733 |1309.3 |4592k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633719e+02 | 2.190000e+02 | 34.05%
32.48/32.55 o 217
32.48/32.55 c p32.6s| 27 | 28 | 54633 |1124.2 |4649k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.170000e+02 | 32.81%
32.48/32.55 o 214
32.48/32.55 c p32.6s| 27 | 28 | 54641 |1124.5 |4651k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.140000e+02 | 30.97%
32.48/32.56 o 213
32.48/32.56 c p32.6s| 27 | 28 | 54687 |1126.3 |4659k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.130000e+02 | 30.36%
32.48/32.56 o 212
32.48/32.56 c p32.6s| 27 | 28 | 54689 |1126.4 |4660k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.120000e+02 | 29.75%
32.48/32.56 o 211
32.48/32.56 c p32.6s| 27 | 28 | 54692 |1126.5 |4661k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.110000e+02 | 29.14%
32.48/32.56 o 211
32.48/32.56 c p32.6s| 27 | 28 | 54696 |1126.7 |4662k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.110000e+02 | 29.14%
32.48/32.56 o 209
32.48/32.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.48/32.56 c p32.6s| 27 | 28 | 54702 |1126.9 |4663k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.090000e+02 | 27.91%
32.48/32.56 o 208
32.48/32.56 c p32.6s| 27 | 28 | 54703 |1126.9 |4664k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.080000e+02 | 27.30%
32.48/32.56 o 207
32.48/32.56 c p32.6s| 27 | 28 | 54704 |1127.0 |4664k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.070000e+02 | 26.69%
32.48/32.56 o 207
32.48/32.56 c p32.6s| 27 | 28 | 54708 |1127.1 |4665k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.070000e+02 | 26.69%
32.48/32.56 o 205
32.48/32.56 c p32.6s| 27 | 28 | 54719 |1127.5 |4667k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 229 | 1.633915e+02 | 2.050000e+02 | 25.47%
37.29/37.39 o 203
37.29/37.39 c v37.4s| 51 | 52 | 84661 |1185.2 |4711k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 243 | 1.633915e+02 | 2.030000e+02 | 24.24%
37.29/37.39 o 202
37.29/37.39 c v37.4s| 51 | 52 | 84689 |1185.7 |4718k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 243 | 1.633915e+02 | 2.020000e+02 | 23.63%
37.29/37.39 o 202
37.29/37.39 c v37.4s| 51 | 52 | 84695 |1185.8 |4719k| 14 | - | 470 | 553 | 470 | 929 | 710 | 0 | 243 | 1.633915e+02 | 2.020000e+02 | 23.63%
37.29/37.40 o 197
37.29/37.40 c b37.4s| 51 | 52 | 84699 |1185.9 |4592k| 14 | 383 | 470 | 553 | 470 | 929 | 710 | 0 | 243 | 1.633915e+02 | 1.970000e+02 | 20.57%
53.47/53.51 c 53.5s| 100 | 101 |240460 |2172.3 |4695k| 18 | 390 | 470 | 553 | 470 | 929 | 710 | 0 | 255 | 1.633915e+02 | 1.970000e+02 | 20.57%
67.98/68.08 c 68.1s| 200 | 201 |336440 |1563.0 |4787k| 26 | 362 | 470 | 553 | 470 | 929 | 710 | 0 | 301 | 1.634152e+02 | 1.970000e+02 | 20.55%
114.87/114.94 c 115s| 300 | 301 |703757 |2268.7 |4856k| 26 | 380 | 470 | 553 | 470 | 929 | 710 | 0 | 357 | 1.636652e+02 | 1.970000e+02 | 20.37%
137.57/137.64 c 138s| 400 | 401 |872764 |2123.7 |4916k| 26 | 383 | 470 | 553 | 470 | 929 | 710 | 0 | 411 | 1.637808e+02 | 1.970000e+02 | 20.28%
170.96/171.06 c 171s| 500 | 501 | 1139k|2233.0 |4977k| 26 | 375 | 470 | 553 | 470 | 929 | 710 | 0 | 432 | 1.637862e+02 | 1.970000e+02 | 20.28%
190.96/191.01 c 191s| 600 | 601 | 1297k|2124.2 |5038k| 26 | 378 | 470 | 553 | 470 | 929 | 710 | 0 | 432 | 1.638016e+02 | 1.970000e+02 | 20.27%
209.35/209.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
209.35/209.48 c 209s| 700 | 701 | 1433k|2015.0 |5100k| 29 | 365 | 470 | 553 | 470 | 929 | 710 | 0 | 472 | 1.638614e+02 | 1.970000e+02 | 20.22%
222.65/222.70 c 223s| 800 | 801 | 1531k|1885.1 |5160k| 29 | 366 | 470 | 553 | 470 | 929 | 710 | 0 | 487 | 1.639019e+02 | 1.970000e+02 | 20.19%
234.26/234.34 c 234s| 900 | 901 | 1621k|1775.4 |5219k| 29 | 376 | 470 | 553 | 470 | 929 | 710 | 0 | 488 | 1.639185e+02 | 1.970000e+02 | 20.18%
250.04/250.10 c 250s| 1000 | 1001 | 1737k|1713.5 |5281k| 29 | 397 | 470 | 553 | 470 | 929 | 710 | 0 | 513 | 1.639436e+02 | 1.970000e+02 | 20.16%
259.64/259.72 c 260s| 1100 | 1101 | 1804k|1619.0 |5346k| 29 | 384 | 470 | 553 | 470 | 929 | 710 | 0 | 540 | 1.639507e+02 | 1.970000e+02 | 20.16%
262.54/262.60 o 197
262.54/262.60 c p 263s| 1113 | 1114 | 1828k|1621.4 |5500k| 29 | - | 470 | 553 | 470 | 929 | 710 | 0 | 540 | 1.639655e+02 | 1.970000e+02 | 20.15%
262.54/262.61 o 196
262.54/262.61 c p 263s| 1113 | 1114 | 1828k|1621.4 |5505k| 29 | - | 470 | 553 | 470 | 929 | 710 | 0 | 540 | 1.639655e+02 | 1.960000e+02 | 19.54%
262.54/262.61 o 195
262.54/262.61 c p 263s| 1113 | 1114 | 1828k|1621.4 |5505k| 29 | - | 470 | 553 | 470 | 929 | 710 | 0 | 540 | 1.639655e+02 | 1.950000e+02 | 18.93%
272.34/272.43 c 272s| 1200 | 1201 | 1905k|1567.9 |5408k| 29 | 382 | 470 | 553 | 470 | 929 | 710 | 0 | 542 | 1.639736e+02 | 1.950000e+02 | 18.92%
284.24/284.31 c 284s| 1300 | 1301 | 2000k|1520.6 |5475k| 43 | 309 | 470 | 553 | 470 | 929 | 710 | 0 | 544 | 1.640118e+02 | 1.950000e+02 | 18.89%
293.24/293.37 c 293s| 1400 | 1401 | 2067k|1460.0 |5543k| 65 | 273 | 470 | 553 | 470 | 929 | 710 | 0 | 581 | 1.640442e+02 | 1.950000e+02 | 18.87%
296.04/296.15 c 296s| 1500 | 1501 | 2089k|1377.2 |5616k| 88 | 219 | 470 | 553 | 470 | 929 | 710 | 0 | 604 | 1.640442e+02 | 1.950000e+02 | 18.87%
297.74/297.84 c 298s| 1600 | 1601 | 2105k|1301.2 |5692k| 106 | 173 | 470 | 553 | 470 | 929 | 710 | 0 | 608 | 1.640442e+02 | 1.950000e+02 | 18.87%
299.14/299.29 c 299s| 1700 | 1701 | 2119k|1232.3 |5771k| 122 | 149 | 470 | 562 | 470 | 929 | 710 | 9 | 615 | 1.640484e+02 | 1.950000e+02 | 18.87%
299.84/299.94 c 300s| 1800 | 1797 | 2125k|1167.5 |5848k| 126 | 146 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640484e+02 | 1.950000e+02 | 18.87%
301.84/301.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
301.84/301.91 c 302s| 1900 | 1897 | 2142k|1114.6 |5928k| 126 | 129 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640484e+02 | 1.950000e+02 | 18.87%
303.74/303.86 c 304s| 2000 | 1995 | 2158k|1067.1 |6003k| 128 | 132 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640491e+02 | 1.950000e+02 | 18.87%
304.14/304.22 c 304s| 2100 | 2079 | 2162k|1018.1 |6077k| 137 | 119 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640491e+02 | 1.950000e+02 | 18.87%
304.34/304.44 c 304s| 2200 | 2137 | 2164k| 972.9 |6137k| 141 | 82 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640491e+02 | 1.950000e+02 | 18.87%
306.34/306.43 c 306s| 2300 | 2193 | 2181k| 937.9 |6185k| 144 | - | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640582e+02 | 1.950000e+02 | 18.86%
306.54/306.61 c 307s| 2400 | 2213 | 2183k| 899.6 |6209k| 148 | 130 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640582e+02 | 1.950000e+02 | 18.86%
308.44/308.51 c 309s| 2500 | 2263 | 2199k| 870.1 |6256k| 148 | 78 | 470 | 562 | 470 | 929 | 710 | 9 | 616 | 1.640633e+02 | 1.950000e+02 | 18.86%
310.93/311.05 c 311s| 2600 | 2325 | 2215k| 842.5 |6315k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 638 | 1.640679e+02 | 1.950000e+02 | 18.85%
311.15/311.25 c 311s| 2700 | 2355 | 2217k| 812.0 |6345k| 148 | 96 | 470 | 562 | 470 | 929 | 710 | 9 | 638 | 1.640679e+02 | 1.950000e+02 | 18.85%
313.24/313.36 c 313s| 2800 | 2419 | 2234k| 789.1 |6407k| 148 | 107 | 470 | 562 | 470 | 929 | 710 | 9 | 638 | 1.640689e+02 | 1.950000e+02 | 18.85%
315.24/315.30 c 315s| 2900 | 2465 | 2251k| 767.8 |6449k| 148 | 118 | 470 | 562 | 470 | 929 | 710 | 9 | 638 | 1.640727e+02 | 1.950000e+02 | 18.85%
317.54/317.63 c 318s| 3000 | 2523 | 2264k| 746.6 |6502k| 148 | 128 | 470 | 562 | 470 | 929 | 710 | 9 | 658 | 1.640774e+02 | 1.950000e+02 | 18.85%
320.24/320.33 c 320s| 3100 | 2571 | 2285k| 729.4 |6540k| 148 | 60 | 470 | 562 | 470 | 929 | 710 | 9 | 658 | 1.640845e+02 | 1.950000e+02 | 18.84%
322.44/322.56 c 323s| 3200 | 2611 | 2303k| 712.1 |6577k| 148 | 91 | 470 | 562 | 470 | 929 | 710 | 9 | 665 | 1.640861e+02 | 1.950000e+02 | 18.84%
324.14/324.28 c 324s| 3300 | 2657 | 2315k| 694.3 |6621k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 676 | 1.640869e+02 | 1.950000e+02 | 18.84%
330.43/330.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
330.43/330.53 c 331s| 3400 | 2723 | 2365k| 688.4 |6672k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 679 | 1.640965e+02 | 1.950000e+02 | 18.83%
332.44/332.56 c 333s| 3500 | 2793 | 2381k| 673.3 |6730k| 148 | 392 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641018e+02 | 1.950000e+02 | 18.83%
335.53/335.68 c 336s| 3600 | 2855 | 2407k| 662.0 |6785k| 148 | 113 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641049e+02 | 1.950000e+02 | 18.83%
338.53/338.65 c 339s| 3700 | 2925 | 2431k| 650.4 |6842k| 148 | 92 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641116e+02 | 1.950000e+02 | 18.82%
340.03/340.15 c 340s| 3800 | 2971 | 2442k| 636.3 |6887k| 148 | 83 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641116e+02 | 1.950000e+02 | 18.82%
340.24/340.36 c 340s| 3900 | 3013 | 2444k| 620.5 |6935k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641116e+02 | 1.950000e+02 | 18.82%
345.24/345.38 c 345s| 4000 | 3087 | 2485k| 615.1 |6991k| 148 | 88 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641229e+02 | 1.950000e+02 | 18.81%
347.03/347.10 c 347s| 4100 | 3141 | 2499k| 603.5 |7042k| 148 | 89 | 470 | 562 | 470 | 929 | 710 | 9 | 680 | 1.641238e+02 | 1.950000e+02 | 18.81%
351.23/351.32 c 351s| 4200 | 3193 | 2531k| 596.8 |7090k| 148 | 84 | 470 | 562 | 470 | 929 | 710 | 9 | 704 | 1.641283e+02 | 1.950000e+02 | 18.81%
354.73/354.86 c 355s| 4300 | 3245 | 2555k| 588.6 |7134k| 148 | 102 | 470 | 562 | 470 | 929 | 710 | 9 | 720 | 1.641296e+02 | 1.950000e+02 | 18.81%
356.93/357.02 c 357s| 4400 | 3305 | 2572k| 578.9 |7193k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 728 | 1.641298e+02 | 1.950000e+02 | 18.81%
358.83/358.93 c 359s| 4500 | 3355 | 2588k| 569.6 |7240k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641347e+02 | 1.950000e+02 | 18.80%
359.03/359.12 c 359s| 4600 | 3399 | 2590k| 557.7 |7284k| 148 | 140 | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641347e+02 | 1.950000e+02 | 18.80%
361.93/362.06 c 362s| 4700 | 3479 | 2613k| 550.8 |7347k| 148 | 83 | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641399e+02 | 1.950000e+02 | 18.80%
363.73/363.87 c 364s| 4800 | 3541 | 2628k| 542.5 |7409k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641454e+02 | 1.950000e+02 | 18.80%
367.13/367.23 o 194
367.13/367.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
367.13/367.23 c p 367s| 4865 | 3364 | 2656k| 540.9 |7222k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641459e+02 | 1.940000e+02 | 18.19%
367.24/367.37 c 367s| 4900 | 3397 | 2657k| 537.3 |7098k| 148 | 116 | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641459e+02 | 1.940000e+02 | 18.19%
367.53/367.64 c 368s| 5000 | 3443 | 2660k| 527.2 |7141k| 148 | 89 | 470 | 562 | 470 | 929 | 710 | 9 | 733 | 1.641459e+02 | 1.940000e+02 | 18.19%
369.13/369.20 c 369s| 5100 | 3469 | 2673k| 519.3 |7178k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 734 | 1.641511e+02 | 1.940000e+02 | 18.18%
374.63/374.77 c 375s| 5200 | 3513 | 2718k| 518.1 |7203k| 148 | 117 | 470 | 562 | 470 | 929 | 710 | 9 | 734 | 1.641538e+02 | 1.940000e+02 | 18.18%
377.83/377.94 c 378s| 5300 | 3551 | 2744k| 513.0 |7240k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 734 | 1.641633e+02 | 1.940000e+02 | 18.18%
381.02/381.16 c 381s| 5400 | 3583 | 2767k| 507.8 |7263k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 743 | 1.641634e+02 | 1.940000e+02 | 18.17%
387.13/387.23 c 387s| 5500 | 3647 | 2810k| 506.4 |7309k| 148 | 140 | 470 | 562 | 470 | 929 | 710 | 9 | 772 | 1.641653e+02 | 1.940000e+02 | 18.17%
390.33/390.45 c 390s| 5600 | 3703 | 2835k| 501.9 |7360k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 774 | 1.641684e+02 | 1.940000e+02 | 18.17%
392.13/392.25 c 392s| 5700 | 3745 | 2848k| 495.3 |7392k| 148 | 118 | 470 | 562 | 470 | 929 | 710 | 9 | 785 | 1.641735e+02 | 1.940000e+02 | 18.17%
392.32/392.43 c 392s| 5800 | 3779 | 2850k| 487.1 |7432k| 148 | 75 | 470 | 562 | 470 | 929 | 710 | 9 | 787 | 1.641735e+02 | 1.940000e+02 | 18.17%
394.22/394.35 c 394s| 5900 | 3817 | 2865k| 481.5 |7479k| 148 | 73 | 470 | 562 | 470 | 929 | 710 | 9 | 789 | 1.641804e+02 | 1.940000e+02 | 18.16%
395.83/395.91 c 396s| 6000 | 3839 | 2878k| 475.6 |7506k| 148 | 88 | 470 | 562 | 470 | 929 | 710 | 9 | 790 | 1.641804e+02 | 1.940000e+02 | 18.16%
397.52/397.68 c 398s| 6100 | 3859 | 2892k| 470.1 |7536k| 148 | 82 | 470 | 562 | 470 | 929 | 710 | 9 | 790 | 1.641827e+02 | 1.940000e+02 | 18.16%
399.14/399.26 c 399s| 6200 | 3899 | 2905k| 464.7 |7572k| 148 | 100 | 470 | 562 | 470 | 929 | 710 | 9 | 791 | 1.641827e+02 | 1.940000e+02 | 18.16%
402.73/402.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.73/402.81 c 403s| 6300 | 3945 | 2934k| 461.9 |7623k| 148 | 122 | 470 | 562 | 470 | 929 | 710 | 9 | 791 | 1.641831e+02 | 1.940000e+02 | 18.16%
402.92/403.09 c 403s| 6400 | 3993 | 2938k| 455.2 |7664k| 148 | 93 | 470 | 562 | 470 | 929 | 710 | 9 | 791 | 1.641831e+02 | 1.940000e+02 | 18.16%
405.83/405.93 c 406s| 6500 | 4031 | 2961k| 451.7 |7704k| 148 | 94 | 470 | 562 | 470 | 929 | 710 | 9 | 791 | 1.641851e+02 | 1.940000e+02 | 18.16%
407.93/408.01 c 408s| 6600 | 4059 | 2978k| 447.5 |7734k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 791 | 1.641879e+02 | 1.940000e+02 | 18.16%
412.52/412.69 c 413s| 6700 | 4107 | 3014k| 446.2 |7769k| 148 | 100 | 470 | 562 | 470 | 929 | 710 | 9 | 792 | 1.641900e+02 | 1.940000e+02 | 18.16%
414.12/414.25 c 414s| 6800 | 4125 | 3027k| 441.5 |7782k| 148 | 118 | 470 | 562 | 470 | 929 | 710 | 9 | 792 | 1.641925e+02 | 1.940000e+02 | 18.15%
415.12/415.23 c 415s| 6900 | 4181 | 3035k| 436.3 |7830k| 148 | 368 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.641926e+02 | 1.940000e+02 | 18.15%
420.92/421.09 c 421s| 7000 | 4251 | 3082k| 436.8 |7883k| 148 | 118 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.641951e+02 | 1.940000e+02 | 18.15%
424.53/424.64 c 425s| 7100 | 4285 | 3110k| 434.6 |7922k| 148 | 78 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.641962e+02 | 1.940000e+02 | 18.15%
426.72/426.89 c 427s| 7200 | 4359 | 3130k| 431.4 |7982k| 148 | 120 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.641962e+02 | 1.940000e+02 | 18.15%
430.32/430.40 c 430s| 7300 | 4399 | 3157k| 429.2 |8011k| 148 | 376 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642002e+02 | 1.940000e+02 | 18.15%
433.22/433.33 c 433s| 7400 | 4427 | 3181k| 426.6 |8039k| 148 | 363 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642041e+02 | 1.940000e+02 | 18.15%
439.62/439.78 c 440s| 7500 | 4489 | 3234k| 427.9 |8087k| 148 | 375 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642106e+02 | 1.940000e+02 | 18.14%
442.72/442.86 c 443s| 7600 | 4519 | 3258k| 425.5 |8116k| 148 | 382 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642121e+02 | 1.940000e+02 | 18.14%
444.02/444.12 c 444s| 7700 | 4561 | 3269k| 421.3 |8162k| 148 | 118 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642121e+02 | 1.940000e+02 | 18.14%
446.52/446.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
446.52/446.68 c 447s| 7800 | 4601 | 3290k| 418.7 |8204k| 148 | 358 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642207e+02 | 1.940000e+02 | 18.13%
449.02/449.12 c 449s| 7900 | 4635 | 3310k| 415.9 |8231k| 148 | 143 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642222e+02 | 1.940000e+02 | 18.13%
452.41/452.50 c 452s| 8000 | 4701 | 3337k| 414.1 |8284k| 148 | 383 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642240e+02 | 1.940000e+02 | 18.13%
456.12/456.23 c 456s| 8100 | 4745 | 3367k| 412.7 |8319k| 148 | 109 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642390e+02 | 1.940000e+02 | 18.12%
458.31/458.42 c 458s| 8200 | 4819 | 3385k| 409.9 |8375k| 148 | 154 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642434e+02 | 1.940000e+02 | 18.12%
459.92/460.05 c 460s| 8300 | 4861 | 3398k| 406.4 |8420k| 148 | 110 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642441e+02 | 1.940000e+02 | 18.12%
461.82/461.94 c 462s| 8400 | 4895 | 3414k| 403.5 |8461k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642444e+02 | 1.940000e+02 | 18.12%
464.92/465.08 c 465s| 8500 | 4957 | 3439k| 401.7 |8511k| 148 | 98 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642451e+02 | 1.940000e+02 | 18.12%
468.52/468.68 c 469s| 8600 | 4989 | 3468k| 400.4 |8538k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642456e+02 | 1.940000e+02 | 18.12%
470.41/470.54 c 471s| 8700 | 5063 | 3483k| 397.5 |8599k| 148 | 121 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642456e+02 | 1.940000e+02 | 18.12%
471.21/471.35 c 471s| 8800 | 5119 | 3489k| 393.7 |8654k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642469e+02 | 1.940000e+02 | 18.11%
472.12/472.20 c 472s| 8900 | 5179 | 3496k| 390.1 |8704k| 148 | - | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642471e+02 | 1.940000e+02 | 18.11%
476.71/476.80 c 477s| 9000 | 5243 | 3535k| 390.0 |8758k| 148 | 128 | 470 | 562 | 470 | 929 | 710 | 9 | 793 | 1.642492e+02 | 1.940000e+02 | 18.11%
478.92/479.07 c 479s| 9100 | 5291 | 3555k| 387.9 |8801k| 148 | 379 | 470 | 564 | 470 | 929 | 710 | 11 | 793 | 1.642527e+02 | 1.940000e+02 | 18.11%
480.41/480.59 c 481s| 9200 | 5327 | 3568k| 385.2 |8834k| 148 | 145 | 470 | 564 | 470 | 929 | 710 | 11 | 793 | 1.642527e+02 | 1.940000e+02 | 18.11%
490.81/490.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
490.81/490.91 c 491s| 9300 | 5395 | 3672k| 392.2 |8885k| 148 | 99 | 470 | 564 | 470 | 929 | 710 | 11 | 808 | 1.642553e+02 | 1.940000e+02 | 18.11%
491.01/491.17 c 491s| 9400 | 5423 | 3675k| 388.3 |8915k| 148 | 125 | 470 | 564 | 470 | 929 | 710 | 11 | 808 | 1.642553e+02 | 1.940000e+02 | 18.11%
494.92/495.06 c 495s| 9500 | 5483 | 3704k| 387.3 |8971k| 148 | - | 470 | 564 | 0 | 0 | 710 | 11 | 824 | 1.642562e+02 | 1.940000e+02 | 18.11%
498.22/498.37 c 498s| 9600 | 5563 | 3731k| 386.1 |9034k| 148 | 112 | 470 | 564 | 470 | 929 | 710 | 11 | 826 | 1.642592e+02 | 1.940000e+02 | 18.11%
500.21/500.31 c 500s| 9700 | 5607 | 3747k| 383.8 |9081k| 148 | 77 | 470 | 564 | 470 | 929 | 710 | 11 | 826 | 1.642592e+02 | 1.940000e+02 | 18.11%
504.41/504.57 c 505s| 9800 | 5651 | 3781k| 383.3 |9115k| 148 | 85 | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642676e+02 | 1.940000e+02 | 18.10%
505.01/505.19 c 505s| 9900 | 5701 | 3786k| 379.9 |9151k| 148 | 370 | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642686e+02 | 1.940000e+02 | 18.10%
509.41/509.51 c 510s| 10000 | 5761 | 3822k| 379.7 |9210k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642729e+02 | 1.940000e+02 | 18.10%
511.32/511.42 c 511s| 10100 | 5789 | 3836k| 377.4 |9238k| 148 | 362 | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642745e+02 | 1.940000e+02 | 18.10%
512.41/512.52 c 513s| 10200 | 5809 | 3846k| 374.6 |9262k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642745e+02 | 1.940000e+02 | 18.10%
515.60/515.78 c 516s| 10300 | 5851 | 3872k| 373.6 |9302k| 148 | 106 | 470 | 564 | 470 | 929 | 710 | 11 | 828 | 1.642751e+02 | 1.940000e+02 | 18.09%
518.91/519.07 c 519s| 10400 | 5909 | 3896k| 372.3 |9346k| 148 | 99 | 470 | 564 | 470 | 929 | 710 | 11 | 838 | 1.642761e+02 | 1.940000e+02 | 18.09%
521.81/521.95 c 522s| 10500 | 5969 | 3915k| 370.5 |9401k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 853 | 1.642866e+02 | 1.940000e+02 | 18.09%
524.21/524.37 c 524s| 10600 | 6007 | 3934k| 368.9 |9435k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 853 | 1.642949e+02 | 1.940000e+02 | 18.08%
524.51/524.64 c 525s| 10700 | 6033 | 3937k| 365.6 |9459k| 148 | 118 | 470 | 564 | 470 | 929 | 710 | 11 | 862 | 1.642949e+02 | 1.940000e+02 | 18.08%
528.51/528.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.51/528.68 c 529s| 10800 | 6101 | 3969k| 365.2 |9523k| 148 | 91 | 470 | 564 | 470 | 929 | 710 | 11 | 876 | 1.642949e+02 | 1.940000e+02 | 18.08%
532.00/532.18 c 532s| 10900 | 6153 | 3997k| 364.4 |9572k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.642955e+02 | 1.940000e+02 | 18.08%
535.30/535.44 c 535s| 11000 | 6191 | 4024k| 363.5 |9605k| 148 | 74 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643004e+02 | 1.940000e+02 | 18.08%
535.51/535.62 c 536s| 11100 | 6195 | 4025k| 360.4 |9613k| 148 | 83 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643004e+02 | 1.940000e+02 | 18.08%
537.10/537.25 c 537s| 11200 | 6225 | 4039k| 358.4 |9643k| 148 | 120 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643004e+02 | 1.940000e+02 | 18.08%
539.91/540.10 c 540s| 11300 | 6281 | 4062k| 357.3 |9693k| 148 | 84 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643029e+02 | 1.940000e+02 | 18.07%
543.50/543.62 c 544s| 11400 | 6315 | 4091k| 356.7 |9724k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643077e+02 | 1.940000e+02 | 18.07%
546.91/547.08 c 547s| 11500 | 6373 | 4119k| 356.0 |9762k| 148 | 109 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643108e+02 | 1.940000e+02 | 18.07%
549.50/549.62 c 550s| 11600 | 6419 | 4138k| 354.6 |9798k| 148 | 383 | 470 | 564 | 470 | 929 | 710 | 11 | 877 | 1.643140e+02 | 1.940000e+02 | 18.07%
550.81/550.91 c 551s| 11700 | 6461 | 4149k| 352.5 |9843k| 148 | 171 | 470 | 564 | 470 | 929 | 710 | 11 | 888 | 1.643140e+02 | 1.940000e+02 | 18.07%
551.20/551.39 c 551s| 11800 | 6513 | 4153k| 349.9 |9894k| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 898 | 1.643140e+02 | 1.940000e+02 | 18.07%
554.10/554.27 c 554s| 11900 | 6575 | 4172k| 348.5 |9942k| 148 | 122 | 470 | 564 | 470 | 929 | 710 | 11 | 914 | 1.643166e+02 | 1.940000e+02 | 18.06%
556.30/556.46 c 556s| 12000 | 6619 | 4189k| 347.0 |9989k| 148 | 131 | 470 | 564 | 470 | 929 | 710 | 11 | 923 | 1.643166e+02 | 1.940000e+02 | 18.06%
560.00/560.10 c 560s| 12100 | 6669 | 4217k| 346.5 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643190e+02 | 1.940000e+02 | 18.06%
560.60/560.71 c 561s| 12200 | 6723 | 4222k| 344.0 | 10M| 148 | 107 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643190e+02 | 1.940000e+02 | 18.06%
562.51/562.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.51/562.64 c 563s| 12300 | 6761 | 4239k| 342.6 | 10M| 148 | 140 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643198e+02 | 1.940000e+02 | 18.06%
562.70/562.85 c 563s| 12400 | 6787 | 4241k| 340.0 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643198e+02 | 1.940000e+02 | 18.06%
565.70/565.88 c 566s| 12500 | 6857 | 4266k| 339.3 | 10M| 148 | 113 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643239e+02 | 1.940000e+02 | 18.06%
568.10/568.23 c 568s| 12600 | 6923 | 4285k| 338.1 | 10M| 148 | 114 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643252e+02 | 1.940000e+02 | 18.06%
568.40/568.52 c 569s| 12700 | 6973 | 4288k| 335.7 | 10M| 148 | 123 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643252e+02 | 1.940000e+02 | 18.06%
570.80/570.98 c 571s| 12800 | 7053 | 4309k| 334.7 | 10M| 148 | 358 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643270e+02 | 1.940000e+02 | 18.06%
574.30/574.46 c 574s| 12900 | 7119 | 4339k| 334.4 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643276e+02 | 1.940000e+02 | 18.06%
575.90/576.05 c 576s| 13000 | 7137 | 4351k| 332.8 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643282e+02 | 1.940000e+02 | 18.06%
577.50/577.69 c 578s| 13100 | 7183 | 4364k| 331.3 | 10M| 148 | 127 | 470 | 564 | 470 | 929 | 710 | 11 | 930 | 1.643286e+02 | 1.940000e+02 | 18.06%
579.90/580.02 c 580s| 13200 | 7221 | 4380k| 330.0 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 943 | 1.643292e+02 | 1.940000e+02 | 18.06%
584.80/584.99 c 585s| 13300 | 7283 | 4416k| 330.2 | 10M| 148 | 377 | 470 | 564 | 470 | 929 | 710 | 11 | 956 | 1.643361e+02 | 1.940000e+02 | 18.05%
586.39/586.55 c 587s| 13400 | 7313 | 4429k| 328.7 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 956 | 1.643367e+02 | 1.940000e+02 | 18.05%
588.59/588.73 c 589s| 13500 | 7373 | 4442k| 327.2 | 10M| 148 | 174 | 470 | 564 | 470 | 929 | 710 | 11 | 979 | 1.643374e+02 | 1.940000e+02 | 18.05%
593.80/593.95 c 594s| 13600 | 7431 | 4483k| 327.8 | 10M| 148 | 112 | 470 | 564 | 470 | 929 | 710 | 11 | 990 | 1.643402e+02 | 1.940000e+02 | 18.05%
596.90/597.01 c 597s| 13700 | 7469 | 4506k| 327.1 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 | 999 | 1.643417e+02 | 1.940000e+02 | 18.05%
597.10/597.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.10/597.27 c 597s| 13800 | 7505 | 4509k| 324.9 | 10M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 |1001 | 1.643417e+02 | 1.940000e+02 | 18.05%
598.70/598.89 c 599s| 13900 | 7571 | 4523k| 323.6 | 10M| 148 | 127 | 470 | 564 | 470 | 929 | 710 | 11 |1002 | 1.643418e+02 | 1.940000e+02 | 18.05%
599.09/599.23 c 599s| 14000 | 7639 | 4526k| 321.6 | 10M| 148 | 126 | 470 | 564 | 470 | 929 | 710 | 11 |1002 | 1.643418e+02 | 1.940000e+02 | 18.05%
600.99/601.16 c 601s| 14100 | 7693 | 4543k| 320.4 | 10M| 148 | 98 | 470 | 564 | 470 | 929 | 710 | 11 |1003 | 1.643425e+02 | 1.940000e+02 | 18.05%
602.39/602.57 c 603s| 14200 | 7733 | 4555k| 319.0 | 10M| 148 | 91 | 470 | 564 | 470 | 929 | 710 | 11 |1003 | 1.643435e+02 | 1.940000e+02 | 18.05%
603.89/604.07 c 604s| 14300 | 7751 | 4567k| 317.7 | 10M| 148 | 67 | 470 | 564 | 470 | 929 | 710 | 11 |1003 | 1.643435e+02 | 1.940000e+02 | 18.05%
604.90/605.05 c 605s| 14400 | 7795 | 4575k| 316.0 | 11M| 148 | 112 | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643437e+02 | 1.940000e+02 | 18.05%
608.39/608.54 c 609s| 14500 | 7859 | 4604k| 315.8 | 11M| 148 | 115 | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643471e+02 | 1.940000e+02 | 18.04%
609.59/609.71 c 610s| 14600 | 7905 | 4613k| 314.2 | 11M| 148 | 382 | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643481e+02 | 1.940000e+02 | 18.04%
610.30/610.46 c 610s| 14700 | 7955 | 4619k| 312.5 | 11M| 148 | 370 | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643542e+02 | 1.940000e+02 | 18.04%
614.19/614.36 c 614s| 14800 | 8021 | 4653k| 312.7 | 11M| 148 | 80 | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643565e+02 | 1.940000e+02 | 18.04%
615.99/616.14 c 616s| 14900 | 8051 | 4668k| 311.6 | 11M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 |1006 | 1.643574e+02 | 1.940000e+02 | 18.04%
620.20/620.39 c 620s| 15000 | 8099 | 4698k| 311.5 | 11M| 148 | 379 | 470 | 564 | 470 | 929 | 710 | 11 |1023 | 1.643604e+02 | 1.940000e+02 | 18.03%
622.79/622.94 c 623s| 15100 | 8143 | 4719k| 310.9 | 11M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 |1023 | 1.643618e+02 | 1.940000e+02 | 18.03%
627.29/627.47 c 627s| 15200 | 8197 | 4751k| 311.0 | 11M| 148 | - | 470 | 564 | 470 | 929 | 710 | 11 |1042 | 1.643634e+02 | 1.940000e+02 | 18.03%
628.88/629.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.88/629.01 c 629s| 15300 | 8229 | 4764k| 309.7 | 11M| 148 | 93 | 470 | 564 | 470 | 929 | 710 | 11 |1042 | 1.643639e+02 | 1.940000e+02 | 18.03%
629.99/630.13 c 630s| 15400 | 8287 | 4771k| 308.2 | 11M| 148 | 108 | 470 | 564 | 470 | 929 | 710 | 11 |1051 | 1.643648e+02 | 1.940000e+02 | 18.03%
631.68/631.82 c 632s| 15500 | 8339 | 4784k| 307.1 | 11M| 148 | 111 | 470 | 563 | 470 | 929 | 710 | 11 |1056 | 1.643669e+02 | 1.940000e+02 | 18.03%
631.89/632.03 c 632s| 15600 | 8359 | 4786k| 305.2 | 11M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1063 | 1.643669e+02 | 1.940000e+02 | 18.03%
635.19/635.34 c 635s| 15700 | 8409 | 4813k| 305.0 | 11M| 148 | 365 | 470 | 563 | 470 | 929 | 710 | 11 |1064 | 1.643730e+02 | 1.940000e+02 | 18.02%
640.18/640.30 c 640s| 15800 | 8463 | 4853k| 305.6 | 11M| 148 | 89 | 470 | 563 | 470 | 929 | 710 | 11 |1065 | 1.643770e+02 | 1.940000e+02 | 18.02%
642.30/642.44 c 642s| 15900 | 8495 | 4871k| 304.8 | 11M| 148 | 95 | 470 | 563 | 470 | 929 | 710 | 11 |1065 | 1.643799e+02 | 1.940000e+02 | 18.02%
645.78/645.97 c 646s| 16000 | 8531 | 4900k| 304.7 | 11M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1065 | 1.643816e+02 | 1.940000e+02 | 18.02%
646.99/647.12 c 647s| 16100 | 8577 | 4908k| 303.3 | 11M| 148 | 378 | 470 | 563 | 470 | 929 | 710 | 11 |1066 | 1.643817e+02 | 1.940000e+02 | 18.02%
648.58/648.76 c 649s| 16200 | 8597 | 4921k| 302.3 | 11M| 148 | 123 | 470 | 563 | 470 | 929 | 710 | 11 |1066 | 1.643831e+02 | 1.940000e+02 | 18.02%
649.49/649.62 c 650s| 16300 | 8655 | 4928k| 300.8 | 11M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1067 | 1.643833e+02 | 1.940000e+02 | 18.02%
650.99/651.17 c 651s| 16400 | 8727 | 4942k| 299.8 | 11M| 148 | 138 | 470 | 563 | 470 | 929 | 710 | 11 |1067 | 1.643837e+02 | 1.940000e+02 | 18.02%
653.38/653.59 c 654s| 16500 | 8793 | 4963k| 299.3 | 11M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1067 | 1.643850e+02 | 1.940000e+02 | 18.02%
653.69/653.82 c 654s| 16600 | 8819 | 4966k| 297.6 | 11M| 148 | 162 | 470 | 563 | 470 | 929 | 710 | 11 |1067 | 1.643850e+02 | 1.940000e+02 | 18.02%
655.68/655.85 c 656s| 16700 | 8867 | 4978k| 296.6 | 11M| 148 | 143 | 470 | 563 | 470 | 929 | 710 | 11 |1083 | 1.643863e+02 | 1.940000e+02 | 18.01%
657.88/658.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.88/658.02 c 658s| 16800 | 8933 | 4998k| 296.0 | 12M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1083 | 1.643884e+02 | 1.940000e+02 | 18.01%
658.18/658.35 c 658s| 16900 | 8995 | 5001k| 294.5 | 12M| 148 | 114 | 470 | 563 | 470 | 929 | 710 | 11 |1083 | 1.643884e+02 | 1.940000e+02 | 18.01%
661.68/661.85 c 662s| 17000 | 9049 | 5025k| 294.1 | 12M| 148 | - | 470 | 563 | 0 | 0 | 710 | 11 |1102 | 1.643913e+02 | 1.940000e+02 | 18.01%
664.78/664.96 c 665s| 17100 | 9123 | 5051k| 293.9 | 12M| 148 | 168 | 470 | 563 | 470 | 929 | 710 | 11 |1102 | 1.643915e+02 | 1.940000e+02 | 18.01%
667.08/667.23 c 667s| 17200 | 9175 | 5068k| 293.2 | 12M| 148 | 123 | 470 | 563 | 470 | 929 | 710 | 11 |1111 | 1.643937e+02 | 1.940000e+02 | 18.01%
670.59/670.76 c 671s| 17300 | 9219 | 5095k| 293.1 | 12M| 148 | - | 470 | 563 | 470 | 929 | 710 | 11 |1118 | 1.643954e+02 | 1.940000e+02 | 18.01%
672.18/672.34 c 672s| 17400 | 9239 | 5108k| 292.1 | 12M| 148 | 125 | 470 | 563 | 470 | 929 | 710 | 11 |1123 | 1.643976e+02 | 1.940000e+02 | 18.01%
672.38/672.58 c 673s| 17500 | 9271 | 5110k| 290.6 | 12M| 148 | 88 | 470 | 563 | 470 | 929 | 710 | 11 |1124 | 1.643976e+02 | 1.940000e+02 | 18.01%
672.68/672.81 c 673s| 17600 | 9299 | 5112k| 289.1 | 12M| 148 | 102 | 470 | 562 | 470 | 929 | 710 | 11 |1128 | 1.643976e+02 | 1.940000e+02 | 18.01%
676.29/676.48 c 676s| 17700 | 9345 | 5142k| 289.1 | 12M| 148 | 100 | 470 | 562 | 470 | 929 | 710 | 11 |1130 | 1.643991e+02 | 1.940000e+02 | 18.01%
677.28/677.41 c 677s| 17800 | 9377 | 5149k| 287.9 | 12M| 148 | 120 | 470 | 562 | 470 | 929 | 710 | 11 |1130 | 1.644004e+02 | 1.940000e+02 | 18.00%
680.58/680.72 c 681s| 17900 | 9443 | 5176k| 287.8 | 12M| 148 | 376 | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644067e+02 | 1.940000e+02 | 18.00%
682.08/682.23 c 682s| 18000 | 9511 | 5188k| 286.8 | 12M| 148 | 133 | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644098e+02 | 1.940000e+02 | 18.00%
685.08/685.28 c 685s| 18100 | 9579 | 5213k| 286.6 | 12M| 148 | 143 | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644099e+02 | 1.940000e+02 | 18.00%
685.38/685.55 c 686s| 18200 | 9623 | 5215k| 285.2 | 12M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644099e+02 | 1.940000e+02 | 18.00%
687.39/687.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.39/687.55 c 688s| 18300 | 9663 | 5231k| 284.5 | 12M| 148 | 106 | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644108e+02 | 1.940000e+02 | 18.00%
689.49/689.67 c 690s| 18400 | 9695 | 5248k| 283.9 | 12M| 148 | 380 | 470 | 562 | 470 | 929 | 710 | 11 |1132 | 1.644121e+02 | 1.940000e+02 | 18.00%
690.88/691.06 c 691s| 18500 | 9727 | 5260k| 283.0 | 12M| 148 | 163 | 470 | 562 | 470 | 929 | 710 | 11 |1133 | 1.644121e+02 | 1.940000e+02 | 18.00%
694.08/694.24 c 694s| 18600 | 9771 | 5286k| 282.9 | 12M| 148 | 375 | 470 | 562 | 470 | 929 | 710 | 11 |1134 | 1.644130e+02 | 1.940000e+02 | 18.00%
696.88/697.07 c 697s| 18700 | 9821 | 5300k| 282.1 | 12M| 148 | 61 | 470 | 562 | 470 | 929 | 710 | 11 |1165 | 1.644139e+02 | 1.940000e+02 | 17.99%
697.08/697.28 c 697s| 18800 | 9853 | 5303k| 280.7 | 12M| 148 | 87 | 470 | 562 | 470 | 929 | 710 | 11 |1165 | 1.644139e+02 | 1.940000e+02 | 17.99%
699.18/699.39 c 699s| 18900 | 9889 | 5320k| 280.2 | 12M| 148 | 113 | 470 | 562 | 470 | 929 | 710 | 11 |1165 | 1.644143e+02 | 1.940000e+02 | 17.99%
701.68/701.88 c 702s| 19000 | 9921 | 5340k| 279.8 | 12M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1165 | 1.644146e+02 | 1.940000e+02 | 17.99%
703.67/703.80 c 704s| 19100 | 9979 | 5356k| 279.1 | 12M| 148 | 370 | 470 | 562 | 470 | 929 | 710 | 11 |1165 | 1.644157e+02 | 1.940000e+02 | 17.99%
709.28/709.43 c 709s| 19200 | 10047 | 5395k| 279.7 | 12M| 148 | 384 | 470 | 562 | 470 | 929 | 710 | 11 |1190 | 1.644172e+02 | 1.940000e+02 | 17.99%
713.68/713.87 c 714s| 19300 | 10099 | 5432k| 280.2 | 13M| 148 | 106 | 470 | 562 | 470 | 929 | 710 | 11 |1190 | 1.644202e+02 | 1.940000e+02 | 17.99%
715.77/715.98 c 716s| 19400 | 10149 | 5448k| 279.6 | 13M| 148 | 379 | 470 | 562 | 470 | 929 | 710 | 11 |1202 | 1.644212e+02 | 1.940000e+02 | 17.99%
718.37/718.59 c 719s| 19500 | 10227 | 5469k| 279.2 | 13M| 148 | 109 | 470 | 562 | 470 | 929 | 710 | 11 |1207 | 1.644224e+02 | 1.940000e+02 | 17.99%
720.58/720.77 c 721s| 19600 | 10277 | 5486k| 278.7 | 13M| 148 | 72 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644235e+02 | 1.940000e+02 | 17.99%
722.17/722.39 c 722s| 19700 | 10323 | 5500k| 277.9 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644238e+02 | 1.940000e+02 | 17.99%
723.87/724.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
723.87/724.01 c 724s| 19800 | 10371 | 5513k| 277.2 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644244e+02 | 1.940000e+02 | 17.99%
724.07/724.22 c 724s| 19900 | 10407 | 5515k| 275.9 | 13M| 148 | 86 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644244e+02 | 1.940000e+02 | 17.99%
725.07/725.25 c 725s| 20000 | 10435 | 5523k| 274.9 | 13M| 148 | 372 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644256e+02 | 1.940000e+02 | 17.99%
728.47/728.63 c 729s| 20100 | 10473 | 5551k| 275.0 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644263e+02 | 1.940000e+02 | 17.99%
731.18/731.34 c 731s| 20200 | 10523 | 5572k| 274.6 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644274e+02 | 1.940000e+02 | 17.99%
734.87/735.00 c 735s| 20300 | 10569 | 5602k| 274.7 | 13M| 148 | 90 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644284e+02 | 1.940000e+02 | 17.98%
735.67/735.89 c 736s| 20400 | 10593 | 5609k| 273.8 | 13M| 148 | 94 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644288e+02 | 1.940000e+02 | 17.98%
737.17/737.30 c 737s| 20500 | 10619 | 5621k| 273.0 | 13M| 148 | 72 | 470 | 562 | 470 | 929 | 710 | 11 |1208 | 1.644288e+02 | 1.940000e+02 | 17.98%
741.17/741.39 c 741s| 20600 | 10661 | 5650k| 273.1 | 13M| 148 | 365 | 470 | 562 | 470 | 929 | 710 | 11 |1220 | 1.644327e+02 | 1.940000e+02 | 17.98%
748.88/749.03 c 749s| 20700 | 10719 | 5704k| 274.4 | 13M| 148 | 387 | 470 | 562 | 470 | 929 | 710 | 11 |1247 | 1.644330e+02 | 1.940000e+02 | 17.98%
752.97/753.18 c 753s| 20800 | 10771 | 5738k| 274.7 | 13M| 148 | 80 | 470 | 562 | 470 | 929 | 710 | 11 |1247 | 1.644342e+02 | 1.940000e+02 | 17.98%
757.97/758.19 c 758s| 20900 | 10821 | 5777k| 275.2 | 13M| 148 | 96 | 470 | 562 | 470 | 929 | 710 | 11 |1259 | 1.644372e+02 | 1.940000e+02 | 17.98%
758.97/759.18 c 759s| 21000 | 10839 | 5782k| 274.2 | 13M| 148 | 79 | 470 | 562 | 470 | 929 | 710 | 11 |1266 | 1.644393e+02 | 1.940000e+02 | 17.98%
761.07/761.23 c 761s| 21100 | 10879 | 5796k| 273.5 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1274 | 1.644399e+02 | 1.940000e+02 | 17.98%
761.17/761.39 c 761s| 21200 | 10879 | 5797k| 272.3 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644399e+02 | 1.940000e+02 | 17.98%
764.37/764.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.37/764.58 c 765s| 21300 | 10919 | 5822k| 272.2 | 13M| 148 | 359 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644420e+02 | 1.940000e+02 | 17.97%
769.16/769.36 c 769s| 21400 | 10971 | 5862k| 272.8 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644420e+02 | 1.940000e+02 | 17.97%
770.66/770.84 c 771s| 21500 | 11007 | 5874k| 272.1 | 13M| 148 | 82 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644443e+02 | 1.940000e+02 | 17.97%
773.87/774.00 c 774s| 21600 | 11039 | 5900k| 272.0 | 13M| 148 | 96 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644450e+02 | 1.940000e+02 | 17.97%
777.76/777.93 c 778s| 21700 | 11087 | 5931k| 272.2 | 13M| 148 | 109 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644471e+02 | 1.940000e+02 | 17.97%
778.96/779.17 c 779s| 21800 | 11109 | 5941k| 271.4 | 13M| 148 | 359 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644489e+02 | 1.940000e+02 | 17.97%
782.77/782.90 c 783s| 21900 | 11157 | 5970k| 271.5 | 13M| 148 | 105 | 470 | 562 | 470 | 929 | 710 | 11 |1275 | 1.644509e+02 | 1.940000e+02 | 17.97%
785.36/785.51 c 786s| 22000 | 11183 | 5984k| 270.9 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1300 | 1.644509e+02 | 1.940000e+02 | 17.97%
787.47/787.62 c 788s| 22100 | 11213 | 6002k| 270.5 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1300 | 1.644532e+02 | 1.940000e+02 | 17.97%
788.96/789.16 c 789s| 22200 | 11233 | 6015k| 269.8 | 13M| 148 | 72 | 470 | 562 | 470 | 929 | 710 | 11 |1300 | 1.644535e+02 | 1.940000e+02 | 17.97%
792.07/792.24 c 792s| 22300 | 11265 | 6040k| 269.7 | 13M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1300 | 1.644561e+02 | 1.940000e+02 | 17.96%
792.66/792.85 c 793s| 22400 | 11287 | 6045k| 268.7 | 14M| 148 | 98 | 470 | 562 | 470 | 929 | 710 | 11 |1300 | 1.644562e+02 | 1.940000e+02 | 17.96%
796.37/796.55 c 797s| 22500 | 11315 | 6073k| 268.8 | 14M| 148 | - | 470 | 562 | 0 | 0 | 710 | 11 |1309 | 1.644566e+02 | 1.940000e+02 | 17.96%
799.47/799.67 c 800s| 22600 | 11359 | 6095k| 268.6 | 14M| 148 | 121 | 470 | 562 | 470 | 929 | 710 | 11 |1320 | 1.644614e+02 | 1.940000e+02 | 17.96%
801.06/801.28 c 801s| 22700 | 11375 | 6108k| 268.0 | 14M| 148 | 81 | 470 | 562 | 470 | 929 | 710 | 11 |1320 | 1.644619e+02 | 1.940000e+02 | 17.96%
803.07/803.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
803.07/803.20 c 803s| 22800 | 11417 | 6120k| 267.3 | 14M| 148 | 365 | 470 | 562 | 470 | 929 | 710 | 11 |1330 | 1.644641e+02 | 1.940000e+02 | 17.96%
807.27/807.48 c 807s| 22900 | 11449 | 6154k| 267.7 | 14M| 148 | 76 | 470 | 562 | 470 | 929 | 710 | 11 |1338 | 1.644663e+02 | 1.940000e+02 | 17.96%
809.96/810.13 c 810s| 23000 | 11493 | 6175k| 267.4 | 14M| 148 | 106 | 470 | 562 | 470 | 929 | 710 | 11 |1339 | 1.644670e+02 | 1.940000e+02 | 17.96%
811.86/812.09 c 812s| 23100 | 11525 | 6190k| 266.9 | 14M| 148 | - | 470 | 562 | 0 | 0 | 710 | 11 |1340 | 1.644673e+02 | 1.940000e+02 | 17.96%
814.97/815.12 c 815s| 23200 | 11571 | 6215k| 266.8 | 14M| 148 | 89 | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644717e+02 | 1.940000e+02 | 17.95%
819.65/819.84 c 820s| 23300 | 11629 | 6252k| 267.3 | 14M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644729e+02 | 1.940000e+02 | 17.95%
820.96/821.12 c 821s| 23400 | 11657 | 6262k| 266.5 | 14M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644735e+02 | 1.940000e+02 | 17.95%
823.96/824.15 c 824s| 23500 | 11683 | 6287k| 266.5 | 14M| 148 | 105 | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644740e+02 | 1.940000e+02 | 17.95%
827.36/827.53 c 828s| 23600 | 11735 | 6315k| 266.5 | 14M| 148 | 353 | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644748e+02 | 1.940000e+02 | 17.95%
829.86/830.00 c 830s| 23700 | 11761 | 6336k| 266.3 | 14M| 148 | 102 | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644748e+02 | 1.940000e+02 | 17.95%
830.05/830.28 c 830s| 23800 | 11799 | 6339k| 265.3 | 14M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1340 | 1.644748e+02 | 1.940000e+02 | 17.95%
832.36/832.51 c 833s| 23900 | 11845 | 6353k| 264.8 | 14M| 148 | 165 | 470 | 562 | 470 | 929 | 710 | 11 |1358 | 1.644748e+02 | 1.940000e+02 | 17.95%
833.96/834.13 c 834s| 24000 | 11945 | 6366k| 264.2 | 14M| 148 | 153 | 470 | 562 | 470 | 929 | 710 | 11 |1358 | 1.644769e+02 | 1.940000e+02 | 17.95%
834.46/834.65 c 835s| 24100 | 12029 | 6371k| 263.3 | 14M| 148 | 124 | 470 | 562 | 470 | 929 | 710 | 11 |1374 | 1.644769e+02 | 1.940000e+02 | 17.95%
837.35/837.55 c 838s| 24200 | 12109 | 6394k| 263.2 | 14M| 148 | 87 | 470 | 562 | 470 | 929 | 710 | 11 |1374 | 1.644774e+02 | 1.940000e+02 | 17.95%
840.56/840.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.56/840.70 c 841s| 24300 | 12189 | 6415k| 263.0 | 14M| 148 | 85 | 470 | 562 | 470 | 929 | 710 | 11 |1391 | 1.644783e+02 | 1.940000e+02 | 17.95%
842.16/842.33 c 842s| 24400 | 12223 | 6428k| 262.4 | 14M| 148 | - | 470 | 562 | 470 | 929 | 710 | 11 |1391 | 1.644785e+02 | 1.940000e+02 | 17.95%
851.35/851.50 c 852s| 24500 | 12267 | 6524k| 265.3 | 14M| 148 | 88 | 470 | 562 | 470 | 929 | 710 | 11 |1391 | 1.644804e+02 | 1.940000e+02 | 17.95%
852.45/852.70 c 853s| 24600 | 12301 | 6530k| 264.5 | 14M| 148 | 68 | 470 | 562 | 470 | 929 | 710 | 11 |1403 | 1.644805e+02 | 1.940000e+02 | 17.95%
855.25/855.46 c 855s| 24700 | 12363 | 6553k| 264.3 | 14M| 148 | 83 | 470 | 562 | 470 | 929 | 710 | 11 |1403 | 1.644806e+02 | 1.940000e+02 | 17.95%
857.56/857.75 c 858s| 24800 | 12415 | 6571k| 264.0 | 14M| 148 | 69 | 470 | 562 | 470 | 929 | 710 | 11 |1413 | 1.644807e+02 | 1.940000e+02 | 17.95%
859.15/859.30 c 859s| 24900 | 12439 | 6583k| 263.4 | 14M| 148 | 75 | 470 | 562 | 470 | 929 | 710 | 11 |1413 | 1.644809e+02 | 1.940000e+02 | 17.95%
860.65/860.89 c 861s| 25000 | 12475 | 6593k| 262.8 | 14M| 151 | 73 | 470 | 562 | 470 | 929 | 710 | 11 |1420 | 1.644814e+02 | 1.940000e+02 | 17.95%
863.06/863.26 c 863s| 25100 | 12503 | 6612k| 262.4 | 14M| 151 | 84 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644832e+02 | 1.940000e+02 | 17.95%
863.55/863.78 c 864s| 25200 | 12517 | 6616k| 261.5 | 15M| 151 | 376 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644835e+02 | 1.940000e+02 | 17.94%
867.45/867.69 c 868s| 25300 | 12567 | 6647k| 261.8 | 15M| 151 | 363 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644857e+02 | 1.940000e+02 | 17.94%
869.26/869.44 c 869s| 25400 | 12585 | 6661k| 261.3 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644868e+02 | 1.940000e+02 | 17.94%
875.45/875.64 c 876s| 25500 | 12655 | 6712k| 262.2 | 15M| 151 | 89 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644899e+02 | 1.940000e+02 | 17.94%
877.05/877.28 c 877s| 25600 | 12685 | 6726k| 261.8 | 15M| 151 | 72 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644905e+02 | 1.940000e+02 | 17.94%
877.25/877.47 c 877s| 25700 | 12733 | 6728k| 260.8 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644905e+02 | 1.940000e+02 | 17.94%
881.35/881.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
881.35/881.50 c 881s| 25800 | 12791 | 6760k| 261.1 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644937e+02 | 1.940000e+02 | 17.94%
882.06/882.22 c 882s| 25900 | 12817 | 6766k| 260.3 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644939e+02 | 1.940000e+02 | 17.94%
885.25/885.47 c 885s| 26000 | 12895 | 6791k| 260.2 | 15M| 151 | 73 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644944e+02 | 1.940000e+02 | 17.94%
885.75/885.99 c 886s| 26100 | 12919 | 6795k| 259.4 | 15M| 151 | 352 | 470 | 562 | 470 | 929 | 710 | 11 |1423 | 1.644948e+02 | 1.940000e+02 | 17.94%
889.25/889.41 c 889s| 26200 | 12955 | 6821k| 259.4 | 15M| 151 | 374 | 470 | 562 | 470 | 929 | 710 | 11 |1434 | 1.644973e+02 | 1.940000e+02 | 17.94%
893.06/893.20 c 893s| 26300 | 13009 | 6848k| 259.4 | 15M| 151 | 376 | 470 | 562 | 470 | 929 | 710 | 11 |1443 | 1.644978e+02 | 1.940000e+02 | 17.93%
894.95/895.16 c 895s| 26400 | 13053 | 6859k| 258.9 | 15M| 151 | 371 | 470 | 562 | 470 | 929 | 710 | 11 |1457 | 1.644987e+02 | 1.940000e+02 | 17.93%
899.25/899.42 c 899s| 26500 | 13107 | 6894k| 259.2 | 15M| 151 | 89 | 470 | 562 | 470 | 929 | 710 | 11 |1458 | 1.644997e+02 | 1.940000e+02 | 17.93%
900.85/901.00 c 901s| 26600 | 13157 | 6903k| 258.6 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1472 | 1.645010e+02 | 1.940000e+02 | 17.93%
903.45/903.63 c 904s| 26700 | 13203 | 6923k| 258.4 | 15M| 151 | 378 | 470 | 562 | 470 | 929 | 710 | 11 |1474 | 1.645032e+02 | 1.940000e+02 | 17.93%
904.64/904.88 c 905s| 26800 | 13245 | 6931k| 257.7 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1480 | 1.645044e+02 | 1.940000e+02 | 17.93%
909.84/910.05 c 910s| 26900 | 13299 | 6972k| 258.3 | 15M| 151 | 353 | 470 | 562 | 470 | 929 | 710 | 11 |1489 | 1.645077e+02 | 1.940000e+02 | 17.93%
915.85/916.07 c 916s| 27000 | 13343 | 7022k| 259.2 | 15M| 151 | - | 470 | 562 | 470 | 929 | 710 | 11 |1489 | 1.645082e+02 | 1.940000e+02 | 17.93%
919.14/919.34 c 919s| 27100 | 13405 | 7049k| 259.2 | 15M| 151 | 76 | 470 | 562 | 470 | 929 | 710 | 11 |1489 | 1.645087e+02 | 1.940000e+02 | 17.93%
921.15/921.37 c 921s| 27200 | 13449 | 7065k| 258.8 | 15M| 151 | - | 470 | 562 | 0 | 0 | 710 | 11 |1489 | 1.645087e+02 | 1.940000e+02 | 17.93%
922.75/922.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
922.75/922.99 c 923s| 27300 | 13477 | 7079k| 258.4 | 15M| 151 | 85 | 470 | 562 | 470 | 929 | 710 | 11 |1489 | 1.645090e+02 | 1.940000e+02 | 17.93%
924.14/924.36 c 924s| 27400 | 13511 | 7089k| 257.8 | 15M| 151 | 76 | 470 | 562 | 470 | 929 | 710 | 11 |1489 | 1.645102e+02 | 1.940000e+02 | 17.93%
926.74/926.95 c 927s| 27500 | 13547 | 7110k| 257.6 | 15M| 151 | 365 | 470 | 561 | 470 | 929 | 710 | 11 |1490 | 1.645166e+02 | 1.940000e+02 | 17.92%
930.14/930.32 c 930s| 27600 | 13581 | 7137k| 257.7 | 15M| 151 | 95 | 470 | 561 | 470 | 929 | 710 | 11 |1490 | 1.645177e+02 | 1.940000e+02 | 17.92%
931.64/931.87 c 932s| 27700 | 13625 | 7150k| 257.2 | 15M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1490 | 1.645193e+02 | 1.940000e+02 | 17.92%
933.75/933.91 c 934s| 27800 | 13671 | 7166k| 256.9 | 15M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1490 | 1.645219e+02 | 1.940000e+02 | 17.92%
934.84/935.07 c 935s| 27900 | 13715 | 7175k| 256.3 | 15M| 151 | 373 | 470 | 561 | 470 | 929 | 710 | 11 |1490 | 1.645229e+02 | 1.940000e+02 | 17.92%
938.54/938.78 c 939s| 28000 | 13745 | 7201k| 256.3 | 16M| 151 | 88 | 470 | 561 | 470 | 929 | 710 | 11 |1506 | 1.645242e+02 | 1.940000e+02 | 17.92%
940.64/940.88 c 941s| 28100 | 13815 | 7217k| 256.0 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1507 | 1.645252e+02 | 1.940000e+02 | 17.92%
944.14/944.32 c 944s| 28200 | 13859 | 7242k| 255.9 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1518 | 1.645253e+02 | 1.940000e+02 | 17.92%
944.94/945.14 c 945s| 28300 | 13887 | 7248k| 255.3 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1518 | 1.645264e+02 | 1.940000e+02 | 17.91%
945.63/945.84 c 946s| 28400 | 13909 | 7254k| 254.5 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1518 | 1.645271e+02 | 1.940000e+02 | 17.91%
949.24/949.42 c 949s| 28500 | 13953 | 7281k| 254.6 | 16M| 151 | 81 | 470 | 561 | 470 | 929 | 710 | 11 |1528 | 1.645276e+02 | 1.940000e+02 | 17.91%
950.14/950.39 c 950s| 28600 | 13977 | 7289k| 254.0 | 16M| 151 | 368 | 470 | 561 | 470 | 929 | 710 | 11 |1528 | 1.645293e+02 | 1.940000e+02 | 17.91%
957.44/957.68 c 958s| 28700 | 14043 | 7345k| 255.1 | 16M| 151 | 104 | 470 | 561 | 470 | 929 | 710 | 11 |1545 | 1.645306e+02 | 1.940000e+02 | 17.91%
960.34/960.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
960.34/960.57 c 961s| 28800 | 14095 | 7367k| 254.9 | 16M| 151 | 68 | 470 | 561 | 470 | 929 | 710 | 11 |1553 | 1.645323e+02 | 1.940000e+02 | 17.91%
961.94/962.17 c 962s| 28900 | 14129 | 7379k| 254.5 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1557 | 1.645324e+02 | 1.940000e+02 | 17.91%
963.84/964.08 c 964s| 29000 | 14167 | 7393k| 254.1 | 16M| 151 | 356 | 470 | 561 | 470 | 929 | 710 | 11 |1561 | 1.645341e+02 | 1.940000e+02 | 17.91%
966.34/966.56 c 967s| 29100 | 14197 | 7414k| 253.9 | 16M| 151 | - | 470 | 561 | 470 | 929 | 710 | 11 |1561 | 1.645342e+02 | 1.940000e+02 | 17.91%
966.44/966.65 c 967s| 29200 | 14193 | 7415k| 253.1 | 16M| 152 | 61 | 470 | 560 | 470 | 929 | 710 | 11 |1561 | 1.645342e+02 | 1.940000e+02 | 17.91%
968.54/968.79 c 969s| 29300 | 14237 | 7431k| 252.8 | 16M| 152 | 369 | 470 | 560 | 470 | 929 | 710 | 11 |1561 | 1.645360e+02 | 1.940000e+02 | 17.91%
973.14/973.37 c 973s| 29400 | 14285 | 7469k| 253.2 | 16M| 152 | 367 | 470 | 560 | 470 | 929 | 710 | 11 |1561 | 1.645371e+02 | 1.940000e+02 | 17.91%
975.63/975.83 c 976s| 29500 | 14349 | 7489k| 253.0 | 16M| 152 | 68 | 470 | 560 | 470 | 929 | 710 | 11 |1561 | 1.645387e+02 | 1.940000e+02 | 17.91%
977.74/977.93 c 978s| 29600 | 14399 | 7505k| 252.7 | 16M| 152 | 67 | 470 | 560 | 470 | 929 | 710 | 11 |1562 | 1.645389e+02 | 1.940000e+02 | 17.91%
980.94/981.13 c 981s| 29700 | 14437 | 7532k| 252.8 | 16M| 152 | 71 | 470 | 560 | 470 | 929 | 710 | 11 |1562 | 1.645401e+02 | 1.940000e+02 | 17.90%
982.34/982.56 c 983s| 29800 | 14485 | 7543k| 252.3 | 16M| 152 | 52 | 470 | 560 | 470 | 929 | 710 | 11 |1562 | 1.645415e+02 | 1.940000e+02 | 17.90%
986.44/986.65 c 987s| 29900 | 14527 | 7578k| 252.6 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1562 | 1.645424e+02 | 1.940000e+02 | 17.90%
990.73/990.97 c 991s| 30000 | 14577 | 7611k| 252.9 | 16M| 152 | 79 | 470 | 560 | 470 | 929 | 710 | 11 |1571 | 1.645446e+02 | 1.940000e+02 | 17.90%
991.93/992.14 c 992s| 30100 | 14595 | 7617k| 252.2 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1586 | 1.645448e+02 | 1.940000e+02 | 17.90%
994.13/994.37 c 994s| 30200 | 14625 | 7634k| 252.0 | 16M| 152 | 89 | 470 | 560 | 470 | 929 | 710 | 11 |1586 | 1.645451e+02 | 1.940000e+02 | 17.90%
995.93/996.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.93/996.16 c 996s| 30300 | 14667 | 7649k| 251.6 | 16M| 152 | 75 | 470 | 560 | 470 | 929 | 710 | 11 |1586 | 1.645456e+02 | 1.940000e+02 | 17.90%
999.64/999.83 c 1000s| 30400 | 14703 | 7677k| 251.7 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1599 | 1.645473e+02 | 1.940000e+02 | 17.90%
1001.03/1001.23 c 1001s| 30500 | 14709 | 7688k| 251.3 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1599 | 1.645475e+02 | 1.940000e+02 | 17.90%
1003.93/1004.15 c 1004s| 30600 | 14745 | 7709k| 251.1 | 16M| 152 | 370 | 470 | 560 | 470 | 929 | 710 | 11 |1610 | 1.645482e+02 | 1.940000e+02 | 17.90%
1004.93/1005.11 c 1005s| 30700 | 14769 | 7716k| 250.5 | 16M| 152 | 75 | 470 | 560 | 470 | 929 | 710 | 11 |1614 | 1.645491e+02 | 1.940000e+02 | 17.90%
1006.33/1006.59 c 1007s| 30800 | 14789 | 7728k| 250.1 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1618 | 1.645494e+02 | 1.940000e+02 | 17.90%
1010.93/1011.12 c 1011s| 30900 | 14841 | 7766k| 250.5 | 16M| 152 | 64 | 470 | 560 | 470 | 929 | 710 | 11 |1620 | 1.645503e+02 | 1.940000e+02 | 17.90%
1013.13/1013.36 c 1013s| 31000 | 14873 | 7783k| 250.3 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1620 | 1.645516e+02 | 1.940000e+02 | 17.90%
1014.03/1014.28 c 1014s| 31100 | 14917 | 7791k| 249.7 | 16M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1620 | 1.645534e+02 | 1.940000e+02 | 17.89%
1014.93/1015.11 c 1015s| 31200 | 14961 | 7797k| 249.1 | 17M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1620 | 1.645537e+02 | 1.940000e+02 | 17.89%
1016.33/1016.56 c 1017s| 31300 | 14977 | 7810k| 248.7 | 17M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1620 | 1.645538e+02 | 1.940000e+02 | 17.89%
1018.73/1018.94 c 1019s| 31400 | 15013 | 7829k| 248.6 | 17M| 152 | 351 | 470 | 560 | 470 | 929 | 710 | 11 |1621 | 1.645558e+02 | 1.940000e+02 | 17.89%
1021.53/1021.71 c 1022s| 31500 | 15043 | 7852k| 248.5 | 17M| 152 | 73 | 470 | 560 | 470 | 929 | 710 | 11 |1621 | 1.645561e+02 | 1.940000e+02 | 17.89%
1023.53/1023.79 c 1024s| 31600 | 15065 | 7869k| 248.2 | 17M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1621 | 1.645569e+02 | 1.940000e+02 | 17.89%
1027.14/1027.38 c 1027s| 31700 | 15117 | 7898k| 248.4 | 17M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1621 | 1.645578e+02 | 1.940000e+02 | 17.89%
1032.12/1032.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.12/1032.34 c 1032s| 31800 | 15155 | 7939k| 248.9 | 17M| 152 | - | 470 | 560 | 470 | 929 | 710 | 11 |1621 | 1.645585e+02 | 1.940000e+02 | 17.89%
1033.83/1034.06 c 1034s| 31900 | 15199 | 7949k| 248.4 | 17M| 152 | 96 | 470 | 560 | 470 | 929 | 710 | 11 |1633 | 1.645589e+02 | 1.940000e+02 | 17.89%
1035.33/1035.53 c 1036s| 32000 | 15219 | 7961k| 248.0 | 17M| 152 | 86 | 470 | 560 | 470 | 929 | 710 | 11 |1633 | 1.645593e+02 | 1.940000e+02 | 17.89%
1036.12/1036.39 c 1036s| 32100 | 15261 | 7968k| 247.5 | 17M| 152 | 62 | 470 | 560 | 470 | 929 | 710 | 11 |1633 | 1.645594e+02 | 1.940000e+02 | 17.89%
1036.92/1037.14 c 1037s| 32200 | 15273 | 7974k| 246.9 | 17M| 152 | 77 | 470 | 559 | 470 | 929 | 710 | 11 |1633 | 1.645595e+02 | 1.940000e+02 | 17.89%
1038.93/1039.11 c 1039s| 32300 | 15303 | 7986k| 246.5 | 17M| 152 | 70 | 470 | 559 | 470 | 929 | 710 | 11 |1648 | 1.645597e+02 | 1.940000e+02 | 17.89%
1041.13/1041.38 c 1041s| 32400 | 15331 | 8005k| 246.3 | 17M| 152 | 364 | 470 | 559 | 470 | 929 | 710 | 11 |1648 | 1.645610e+02 | 1.940000e+02 | 17.89%
1042.63/1042.88 c 1043s| 32500 | 15377 | 8017k| 245.9 | 17M| 152 | 367 | 470 | 559 | 470 | 929 | 710 | 11 |1648 | 1.645615e+02 | 1.940000e+02 | 17.89%
1045.33/1045.52 c 1046s| 32600 | 15421 | 8035k| 245.7 | 17M| 152 | - | 470 | 559 | 0 | 0 | 710 | 11 |1658 | 1.645632e+02 | 1.940000e+02 | 17.89%
1048.82/1049.08 c 1049s| 32700 | 15485 | 8063k| 245.8 | 17M| 152 | 91 | 470 | 559 | 470 | 929 | 710 | 11 |1661 | 1.645648e+02 | 1.940000e+02 | 17.89%
1049.63/1049.84 c 1050s| 32800 | 15519 | 8068k| 245.2 | 17M| 152 | 354 | 470 | 559 | 470 | 929 | 710 | 11 |1665 | 1.645649e+02 | 1.940000e+02 | 17.89%
1053.12/1053.32 c 1053s| 32900 | 15569 | 8096k| 245.3 | 17M| 152 | - | 470 | 559 | 470 | 929 | 710 | 11 |1675 | 1.645658e+02 | 1.940000e+02 | 17.89%
1055.22/1055.41 c 1055s| 33000 | 15619 | 8112k| 245.1 | 17M| 152 | - | 470 | 559 | 0 | 0 | 710 | 11 |1677 | 1.645678e+02 | 1.940000e+02 | 17.88%
1058.52/1058.71 c 1059s| 33100 | 15663 | 8141k| 245.2 | 17M| 152 | 104 | 470 | 563 | 470 | 929 | 710 | 15 |1677 | 1.645683e+02 | 1.940000e+02 | 17.88%
1060.02/1060.24 c 1060s| 33200 | 15683 | 8153k| 244.8 | 17M| 152 | 82 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645684e+02 | 1.940000e+02 | 17.88%
1061.42/1061.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1061.42/1061.64 c 1062s| 33300 | 15699 | 8165k| 244.4 | 17M| 152 | 79 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645684e+02 | 1.940000e+02 | 17.88%
1062.92/1063.16 c 1063s| 33400 | 15721 | 8178k| 244.1 | 17M| 152 | 103 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645685e+02 | 1.940000e+02 | 17.88%
1064.42/1064.67 c 1065s| 33500 | 15775 | 8190k| 243.7 | 17M| 152 | 80 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645686e+02 | 1.940000e+02 | 17.88%
1066.12/1066.30 c 1066s| 33600 | 15793 | 8204k| 243.4 | 17M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645700e+02 | 1.940000e+02 | 17.88%
1069.62/1069.83 c 1070s| 33700 | 15847 | 8232k| 243.5 | 17M| 152 | 84 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645707e+02 | 1.940000e+02 | 17.88%
1071.22/1071.42 c 1071s| 33800 | 15883 | 8245k| 243.2 | 17M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645707e+02 | 1.940000e+02 | 17.88%
1074.32/1074.51 c 1075s| 33900 | 15919 | 8271k| 243.3 | 17M| 152 | - | 470 | 563 | 0 | 0 | 710 | 15 |1678 | 1.645715e+02 | 1.940000e+02 | 17.88%
1077.12/1077.36 c 1077s| 34000 | 15973 | 8294k| 243.2 | 17M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645720e+02 | 1.940000e+02 | 17.88%
1079.32/1079.58 c 1080s| 34100 | 16027 | 8311k| 243.0 | 17M| 152 | 86 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645724e+02 | 1.940000e+02 | 17.88%
1080.91/1081.13 c 1081s| 34200 | 16051 | 8324k| 242.7 | 17M| 152 | 76 | 470 | 563 | 470 | 929 | 710 | 15 |1678 | 1.645726e+02 | 1.940000e+02 | 17.88%
1084.22/1084.42 c 1084s| 34300 | 16085 | 8347k| 242.6 | 17M| 152 | 86 | 470 | 563 | 470 | 929 | 710 | 15 |1692 | 1.645729e+02 | 1.940000e+02 | 17.88%
1085.62/1085.87 c 1086s| 34400 | 16105 | 8358k| 242.2 | 17M| 152 | 76 | 470 | 563 | 470 | 929 | 710 | 15 |1692 | 1.645732e+02 | 1.940000e+02 | 17.88%
1087.82/1088.00 c 1088s| 34500 | 16143 | 8375k| 242.0 | 18M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1692 | 1.645756e+02 | 1.940000e+02 | 17.88%
1090.51/1090.75 c 1091s| 34600 | 16165 | 8394k| 241.9 | 18M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1719 | 1.645760e+02 | 1.940000e+02 | 17.88%
1091.32/1091.54 c 1092s| 34700 | 16189 | 8401k| 241.4 | 18M| 152 | 72 | 470 | 563 | 470 | 929 | 710 | 15 |1719 | 1.645769e+02 | 1.940000e+02 | 17.88%
1092.82/1093.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1092.82/1093.04 c 1093s| 34800 | 16247 | 8410k| 241.0 | 18M| 152 | 362 | 470 | 563 | 470 | 929 | 710 | 15 |1729 | 1.645781e+02 | 1.940000e+02 | 17.88%
1093.91/1094.10 c 1094s| 34900 | 16255 | 8419k| 240.5 | 18M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1729 | 1.645781e+02 | 1.940000e+02 | 17.88%
1098.51/1098.75 c 1099s| 35000 | 16327 | 8455k| 240.9 | 18M| 152 | 86 | 470 | 563 | 470 | 929 | 710 | 15 |1739 | 1.645786e+02 | 1.940000e+02 | 17.88%
1103.72/1103.93 c 1104s| 35100 | 16385 | 8497k| 241.4 | 18M| 152 | 370 | 470 | 563 | 470 | 929 | 710 | 15 |1741 | 1.645793e+02 | 1.940000e+02 | 17.88%
1106.72/1106.97 c 1107s| 35200 | 16429 | 8522k| 241.4 | 18M| 152 | 85 | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645811e+02 | 1.940000e+02 | 17.88%
1108.81/1109.03 c 1109s| 35300 | 16465 | 8538k| 241.2 | 18M| 152 | 92 | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645843e+02 | 1.940000e+02 | 17.87%
1110.51/1110.79 c 1111s| 35400 | 16515 | 8551k| 240.9 | 18M| 152 | 372 | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645858e+02 | 1.940000e+02 | 17.87%
1114.22/1114.42 c 1114s| 35500 | 16553 | 8581k| 241.0 | 18M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645862e+02 | 1.940000e+02 | 17.87%
1114.32/1114.58 c 1115s| 35600 | 16561 | 8582k| 240.4 | 18M| 152 | 85 | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645862e+02 | 1.940000e+02 | 17.87%
1116.91/1117.13 c 1117s| 35700 | 16621 | 8602k| 240.3 | 18M| 152 | - | 470 | 563 | 470 | 929 | 710 | 15 |1742 | 1.645876e+02 | 1.940000e+02 | 17.87%
1120.52/1120.70 c 1121s| 35800 | 16677 | 8630k| 240.4 | 18M| 152 | 81 | 470 | 562 | 470 | 929 | 710 | 15 |1742 | 1.645881e+02 | 1.940000e+02 | 17.87%
1122.31/1122.50 c 1123s| 35900 | 16699 | 8646k| 240.1 | 18M| 152 | - | 470 | 562 | 470 | 929 | 710 | 15 |1742 | 1.645883e+02 | 1.940000e+02 | 17.87%
1125.22/1125.44 c 1125s| 36000 | 16747 | 8670k| 240.1 | 18M| 152 | 98 | 470 | 562 | 470 | 929 | 710 | 15 |1742 | 1.645891e+02 | 1.940000e+02 | 17.87%
1128.42/1128.66 c 1129s| 36100 | 16809 | 8690k| 240.0 | 18M| 152 | 59 | 470 | 561 | 470 | 929 | 710 | 15 |1760 | 1.645916e+02 | 1.940000e+02 | 17.87%
1129.11/1129.37 c 1129s| 36200 | 16827 | 8696k| 239.5 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1760 | 1.645919e+02 | 1.940000e+02 | 17.87%
1132.61/1132.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1132.61/1132.86 c 1133s| 36300 | 16883 | 8724k| 239.7 | 18M| 152 | 82 | 470 | 561 | 470 | 929 | 710 | 15 |1760 | 1.645931e+02 | 1.940000e+02 | 17.87%
1134.31/1134.58 c 1135s| 36400 | 16897 | 8738k| 239.4 | 18M| 152 | 87 | 470 | 561 | 470 | 929 | 710 | 15 |1760 | 1.645934e+02 | 1.940000e+02 | 17.87%
1136.21/1136.48 c 1136s| 36500 | 16927 | 8754k| 239.2 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1760 | 1.645935e+02 | 1.940000e+02 | 17.87%
1139.51/1139.72 c 1140s| 36600 | 16977 | 8776k| 239.1 | 18M| 152 | 75 | 470 | 561 | 470 | 929 | 710 | 15 |1775 | 1.645949e+02 | 1.940000e+02 | 17.87%
1144.21/1144.49 c 1144s| 36700 | 17031 | 8811k| 239.4 | 18M| 152 | 356 | 470 | 561 | 470 | 929 | 710 | 15 |1783 | 1.645971e+02 | 1.940000e+02 | 17.86%
1147.31/1147.50 c 1147s| 36800 | 17065 | 8835k| 239.4 | 18M| 152 | 94 | 470 | 561 | 470 | 929 | 710 | 15 |1789 | 1.645974e+02 | 1.940000e+02 | 17.86%
1149.91/1150.10 c 1150s| 36900 | 17113 | 8854k| 239.3 | 18M| 152 | 364 | 470 | 561 | 470 | 929 | 710 | 15 |1795 | 1.645986e+02 | 1.940000e+02 | 17.86%
1152.71/1152.97 c 1153s| 37000 | 17165 | 8876k| 239.2 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1801 | 1.645995e+02 | 1.940000e+02 | 17.86%
1156.50/1156.75 c 1157s| 37100 | 17209 | 8906k| 239.4 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.645997e+02 | 1.940000e+02 | 17.86%
1157.70/1157.98 c 1158s| 37200 | 17237 | 8916k| 239.0 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646000e+02 | 1.940000e+02 | 17.86%
1158.31/1158.54 c 1159s| 37300 | 17245 | 8920k| 238.5 | 18M| 152 | 349 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646008e+02 | 1.940000e+02 | 17.86%
1161.10/1161.35 c 1161s| 37400 | 17293 | 8943k| 238.4 | 18M| 152 | 82 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646011e+02 | 1.940000e+02 | 17.86%
1161.31/1161.52 c 1162s| 37500 | 17301 | 8944k| 237.9 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646011e+02 | 1.940000e+02 | 17.86%
1163.61/1163.80 c 1164s| 37600 | 17341 | 8963k| 237.7 | 18M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646013e+02 | 1.940000e+02 | 17.86%
1167.30/1167.58 c 1168s| 37700 | 17387 | 8994k| 237.9 | 19M| 152 | 370 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646020e+02 | 1.940000e+02 | 17.86%
1171.00/1171.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.00/1171.21 c 1171s| 37800 | 17439 | 9025k| 238.1 | 19M| 152 | 86 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646033e+02 | 1.940000e+02 | 17.86%
1171.60/1171.87 c 1172s| 37900 | 17461 | 9030k| 237.6 | 19M| 152 | 372 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646040e+02 | 1.940000e+02 | 17.86%
1176.00/1176.25 c 1176s| 38000 | 17523 | 9064k| 237.9 | 19M| 152 | 372 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646058e+02 | 1.940000e+02 | 17.86%
1176.30/1176.56 c 1177s| 38100 | 17541 | 9067k| 237.3 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646058e+02 | 1.940000e+02 | 17.86%
1180.01/1180.27 c 1180s| 38200 | 17589 | 9097k| 237.5 | 19M| 152 | 371 | 470 | 561 | 470 | 929 | 710 | 15 |1804 | 1.646072e+02 | 1.940000e+02 | 17.86%
1181.50/1181.79 c 1182s| 38300 | 17623 | 9109k| 237.2 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1813 | 1.646075e+02 | 1.940000e+02 | 17.86%
1183.10/1183.35 c 1183s| 38400 | 17661 | 9118k| 236.8 | 19M| 152 | 364 | 470 | 561 | 470 | 929 | 710 | 15 |1831 | 1.646077e+02 | 1.940000e+02 | 17.86%
1185.20/1185.46 c 1185s| 38500 | 17713 | 9135k| 236.6 | 19M| 152 | 377 | 470 | 561 | 470 | 929 | 710 | 15 |1831 | 1.646080e+02 | 1.940000e+02 | 17.86%
1187.10/1187.31 c 1187s| 38600 | 17767 | 9145k| 236.3 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1849 | 1.646086e+02 | 1.940000e+02 | 17.86%
1190.80/1191.06 c 1191s| 38700 | 17817 | 9176k| 236.5 | 19M| 152 | 377 | 470 | 561 | 470 | 929 | 710 | 15 |1849 | 1.646096e+02 | 1.940000e+02 | 17.85%
1193.00/1193.22 c 1193s| 38800 | 17853 | 9193k| 236.3 | 19M| 152 | 354 | 470 | 561 | 470 | 929 | 710 | 15 |1849 | 1.646099e+02 | 1.940000e+02 | 17.85%
1194.10/1194.39 c 1194s| 38900 | 17913 | 9202k| 235.9 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1854 | 1.646105e+02 | 1.940000e+02 | 17.85%
1195.69/1195.98 c 1196s| 39000 | 17945 | 9213k| 235.6 | 19M| 152 | 84 | 470 | 561 | 470 | 929 | 710 | 15 |1860 | 1.646106e+02 | 1.940000e+02 | 17.85%
1198.90/1199.10 c 1199s| 39100 | 17971 | 9237k| 235.6 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1864 | 1.646109e+02 | 1.940000e+02 | 17.85%
1202.29/1202.57 c 1203s| 39200 | 18001 | 9266k| 235.7 | 19M| 152 | - | 470 | 561 | 470 | 929 | 710 | 15 |1865 | 1.646117e+02 | 1.940000e+02 | 17.85%
1204.00/1204.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.00/1204.25 c 1204s| 39300 | 18031 | 9281k| 235.5 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646117e+02 | 1.940000e+02 | 17.85%
1207.30/1207.51 c 1208s| 39400 | 18071 | 9308k| 235.6 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646122e+02 | 1.940000e+02 | 17.85%
1210.20/1210.46 c 1210s| 39500 | 18119 | 9332k| 235.6 | 19M| 152 | 348 | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646125e+02 | 1.940000e+02 | 17.85%
1212.39/1212.67 c 1213s| 39600 | 18167 | 9349k| 235.5 | 19M| 152 | 91 | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646131e+02 | 1.940000e+02 | 17.85%
1216.69/1216.97 c 1217s| 39700 | 18221 | 9384k| 235.7 | 19M| 152 | 366 | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646137e+02 | 1.940000e+02 | 17.85%
1218.50/1218.77 c 1219s| 39800 | 18237 | 9398k| 235.5 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646141e+02 | 1.940000e+02 | 17.85%
1219.89/1220.17 c 1220s| 39900 | 18271 | 9409k| 235.2 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646147e+02 | 1.940000e+02 | 17.85%
1222.69/1222.90 c 1223s| 40000 | 18333 | 9430k| 235.1 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646164e+02 | 1.940000e+02 | 17.85%
1224.39/1224.69 c 1225s| 40100 | 18365 | 9446k| 234.9 | 19M| 152 | 89 | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646165e+02 | 1.940000e+02 | 17.85%
1227.10/1227.38 c 1227s| 40200 | 18403 | 9469k| 234.9 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1865 | 1.646167e+02 | 1.940000e+02 | 17.85%
1228.89/1229.16 c 1229s| 40300 | 18443 | 9478k| 234.6 | 19M| 152 | 118 | 470 | 563 | 470 | 929 | 710 | 17 |1882 | 1.646178e+02 | 1.940000e+02 | 17.85%
1230.49/1230.75 c 1231s| 40400 | 18463 | 9491k| 234.3 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1882 | 1.646182e+02 | 1.940000e+02 | 17.85%
1231.90/1232.12 c 1232s| 40500 | 18499 | 9502k| 234.0 | 19M| 152 | 78 | 470 | 563 | 470 | 929 | 710 | 17 |1882 | 1.646190e+02 | 1.940000e+02 | 17.85%
1234.59/1234.82 c 1235s| 40600 | 18533 | 9523k| 234.0 | 19M| 152 | 79 | 470 | 563 | 470 | 929 | 710 | 17 |1882 | 1.646193e+02 | 1.940000e+02 | 17.85%
1237.30/1237.55 c 1238s| 40700 | 18555 | 9539k| 233.8 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1904 | 1.646205e+02 | 1.940000e+02 | 17.85%
1240.69/1240.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1240.69/1240.92 c 1241s| 40800 | 18601 | 9566k| 233.9 | 19M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1904 | 1.646225e+02 | 1.940000e+02 | 17.85%
1241.19/1241.48 c 1241s| 40900 | 18613 | 9571k| 233.4 | 19M| 152 | 354 | 470 | 563 | 470 | 929 | 710 | 17 |1904 | 1.646242e+02 | 1.940000e+02 | 17.84%
1242.80/1243.06 c 1243s| 41000 | 18655 | 9584k| 233.1 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1904 | 1.646249e+02 | 1.940000e+02 | 17.84%
1246.79/1247.02 c 1247s| 41100 | 18689 | 9613k| 233.3 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1914 | 1.646251e+02 | 1.940000e+02 | 17.84%
1248.99/1249.25 c 1249s| 41200 | 18723 | 9631k| 233.2 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1914 | 1.646257e+02 | 1.940000e+02 | 17.84%
1252.09/1252.36 c 1252s| 41300 | 18773 | 9656k| 233.2 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1919 | 1.646263e+02 | 1.940000e+02 | 17.84%
1252.29/1252.58 c 1253s| 41400 | 18807 | 9658k| 232.7 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1921 | 1.646263e+02 | 1.940000e+02 | 17.84%
1253.99/1254.20 c 1254s| 41500 | 18835 | 9671k| 232.4 | 20M| 152 | 76 | 470 | 563 | 470 | 929 | 710 | 17 |1921 | 1.646270e+02 | 1.940000e+02 | 17.84%
1255.89/1256.12 c 1256s| 41600 | 18893 | 9686k| 232.2 | 20M| 152 | - | 470 | 563 | 470 | 929 | 710 | 17 |1921 | 1.646273e+02 | 1.940000e+02 | 17.84%
1257.88/1258.10 c 1258s| 41700 | 18913 | 9702k| 232.1 | 20M| 152 | 87 | 470 | 562 | 470 | 929 | 710 | 17 |1922 | 1.646274e+02 | 1.940000e+02 | 17.84%
1260.99/1261.20 c 1261s| 41800 | 18965 | 9726k| 232.1 | 20M| 152 | 357 | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646292e+02 | 1.940000e+02 | 17.84%
1263.39/1263.65 c 1264s| 41900 | 19013 | 9746k| 232.0 | 20M| 152 | 107 | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646299e+02 | 1.940000e+02 | 17.84%
1265.98/1266.21 c 1266s| 42000 | 19069 | 9767k| 232.0 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646305e+02 | 1.940000e+02 | 17.84%
1269.09/1269.35 c 1269s| 42100 | 19127 | 9793k| 232.0 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646322e+02 | 1.940000e+02 | 17.84%
1271.40/1271.68 c 1272s| 42200 | 19189 | 9811k| 231.9 | 20M| 152 | 103 | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646323e+02 | 1.940000e+02 | 17.84%
1272.19/1272.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.19/1272.43 c 1272s| 42300 | 19223 | 9818k| 231.5 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646326e+02 | 1.940000e+02 | 17.84%
1274.39/1274.63 c 1275s| 42400 | 19281 | 9835k| 231.4 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646332e+02 | 1.940000e+02 | 17.84%
1275.58/1275.83 c 1276s| 42500 | 19313 | 9844k| 231.0 | 20M| 152 | 93 | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646337e+02 | 1.940000e+02 | 17.84%
1277.38/1277.62 c 1278s| 42600 | 19339 | 9858k| 230.8 | 20M| 152 | 364 | 470 | 562 | 470 | 929 | 710 | 17 |1923 | 1.646340e+02 | 1.940000e+02 | 17.84%
1281.29/1281.55 c 1282s| 42700 | 19369 | 9889k| 231.0 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1935 | 1.646348e+02 | 1.940000e+02 | 17.84%
1285.88/1286.17 c 1286s| 42800 | 19427 | 9926k| 231.3 | 20M| 152 | 381 | 470 | 562 | 470 | 929 | 710 | 17 |1935 | 1.646354e+02 | 1.940000e+02 | 17.84%
1288.68/1288.90 c 1289s| 42900 | 19471 | 9946k| 231.3 | 20M| 152 | 88 | 470 | 562 | 470 | 929 | 710 | 17 |1947 | 1.646364e+02 | 1.940000e+02 | 17.84%
1288.78/1289.05 c 1289s| 43000 | 19483 | 9947k| 230.8 | 20M| 152 | 68 | 470 | 562 | 470 | 929 | 710 | 17 |1947 | 1.646364e+02 | 1.940000e+02 | 17.84%
1292.69/1292.97 c 1293s| 43100 | 19533 | 9980k| 231.0 | 20M| 152 | - | 470 | 562 | 0 | 0 | 710 | 17 |1947 | 1.646368e+02 | 1.940000e+02 | 17.84%
1294.98/1295.20 c 1295s| 43200 | 19583 | 9994k| 230.8 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1960 | 1.646383e+02 | 1.940000e+02 | 17.83%
1298.08/1298.35 c 1298s| 43300 | 19619 | 10015k| 230.7 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1973 | 1.646401e+02 | 1.940000e+02 | 17.83%
1299.99/1300.29 c 1300s| 43400 | 19657 | 10030k| 230.5 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1973 | 1.646409e+02 | 1.940000e+02 | 17.83%
1301.88/1302.12 c 1302s| 43500 | 19691 | 10045k| 230.4 | 20M| 152 | 365 | 470 | 562 | 470 | 929 | 710 | 17 |1973 | 1.646411e+02 | 1.940000e+02 | 17.83%
1306.48/1306.78 c 1307s| 43600 | 19751 | 10081k| 230.6 | 20M| 152 | 371 | 470 | 562 | 470 | 929 | 710 | 17 |1985 | 1.646428e+02 | 1.940000e+02 | 17.83%
1308.08/1308.38 c 1308s| 43700 | 19791 | 10093k| 230.4 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646435e+02 | 1.940000e+02 | 17.83%
1309.98/1310.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1309.98/1310.23 c 1310s| 43800 | 19825 | 10107k| 230.2 | 20M| 152 | 376 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646441e+02 | 1.940000e+02 | 17.83%
1311.68/1311.98 c 1312s| 43900 | 19855 | 10122k| 230.0 | 20M| 152 | 85 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646441e+02 | 1.940000e+02 | 17.83%
1312.48/1312.72 c 1313s| 44000 | 19867 | 10128k| 229.6 | 20M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646445e+02 | 1.940000e+02 | 17.83%
1318.28/1318.52 c 1319s| 44100 | 19929 | 10176k| 230.2 | 21M| 152 | 82 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646458e+02 | 1.940000e+02 | 17.83%
1318.48/1318.71 c 1319s| 44200 | 19957 | 10179k| 229.7 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646458e+02 | 1.940000e+02 | 17.83%
1320.08/1320.34 c 1320s| 44300 | 19993 | 10191k| 229.5 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646464e+02 | 1.940000e+02 | 17.83%
1320.68/1320.92 c 1321s| 44400 | 20019 | 10196k| 229.1 | 21M| 152 | 364 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646472e+02 | 1.940000e+02 | 17.83%
1322.67/1322.92 c 1323s| 44500 | 20053 | 10212k| 228.9 | 21M| 152 | 366 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646479e+02 | 1.940000e+02 | 17.83%
1325.38/1325.61 c 1326s| 44600 | 20085 | 10234k| 228.9 | 21M| 152 | - | 470 | 562 | 0 | 0 | 710 | 17 |1987 | 1.646480e+02 | 1.940000e+02 | 17.83%
1327.78/1328.08 c 1328s| 44700 | 20149 | 10255k| 228.9 | 21M| 152 | - | 470 | 562 | 0 | 0 | 710 | 17 |1987 | 1.646484e+02 | 1.940000e+02 | 17.83%
1328.58/1328.80 c 1329s| 44800 | 20211 | 10261k| 228.5 | 21M| 152 | 92 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646486e+02 | 1.940000e+02 | 17.83%
1329.98/1330.28 c 1330s| 44900 | 20253 | 10273k| 228.3 | 21M| 152 | 99 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646494e+02 | 1.940000e+02 | 17.83%
1331.27/1331.53 c 1332s| 45000 | 20317 | 10283k| 228.0 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646510e+02 | 1.940000e+02 | 17.82%
1332.88/1333.16 c 1333s| 45100 | 20373 | 10295k| 227.7 | 21M| 152 | 373 | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646518e+02 | 1.940000e+02 | 17.82%
1333.88/1334.15 c 1334s| 45200 | 20413 | 10303k| 227.4 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |1987 | 1.646523e+02 | 1.940000e+02 | 17.82%
1337.28/1337.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1337.28/1337.56 c 1338s| 45300 | 20459 | 10326k| 227.4 | 21M| 152 | 67 | 470 | 562 | 470 | 929 | 710 | 17 |2022 | 1.646534e+02 | 1.940000e+02 | 17.82%
1337.77/1338.08 c 1338s| 45400 | 20499 | 10330k| 227.0 | 21M| 152 | 375 | 470 | 562 | 470 | 929 | 710 | 17 |2022 | 1.646545e+02 | 1.940000e+02 | 17.82%
1341.37/1341.65 c 1342s| 45500 | 20553 | 10359k| 227.1 | 21M| 152 | 364 | 470 | 562 | 470 | 929 | 710 | 17 |2022 | 1.646556e+02 | 1.940000e+02 | 17.82%
1342.48/1342.71 c 1343s| 45600 | 20565 | 10368k| 226.8 | 21M| 152 | 72 | 470 | 562 | 470 | 929 | 710 | 17 |2022 | 1.646556e+02 | 1.940000e+02 | 17.82%
1344.98/1345.26 c 1345s| 45700 | 20611 | 10388k| 226.8 | 21M| 152 | 71 | 470 | 562 | 470 | 929 | 710 | 17 |2022 | 1.646569e+02 | 1.940000e+02 | 17.82%
1346.57/1346.88 c 1347s| 45800 | 20653 | 10398k| 226.5 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |2032 | 1.646579e+02 | 1.940000e+02 | 17.82%
1347.28/1347.58 c 1348s| 45900 | 20677 | 10403k| 226.1 | 21M| 152 | 77 | 470 | 562 | 470 | 929 | 710 | 17 |2032 | 1.646585e+02 | 1.940000e+02 | 17.82%
1351.08/1351.33 c 1351s| 46000 | 20715 | 10433k| 226.3 | 21M| 152 | 376 | 470 | 562 | 470 | 929 | 710 | 17 |2037 | 1.646588e+02 | 1.940000e+02 | 17.82%
1354.47/1354.73 c 1355s| 46100 | 20753 | 10459k| 226.3 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |2041 | 1.646593e+02 | 1.940000e+02 | 17.82%
1359.07/1359.36 c 1359s| 46200 | 20805 | 10497k| 226.7 | 21M| 152 | 75 | 470 | 562 | 470 | 929 | 710 | 17 |2046 | 1.646598e+02 | 1.940000e+02 | 17.82%
1360.87/1361.19 c 1361s| 46300 | 20809 | 10514k| 226.5 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |2046 | 1.646599e+02 | 1.940000e+02 | 17.82%
1363.68/1364.00 c 1364s| 46400 | 20847 | 10536k| 226.5 | 21M| 152 | - | 470 | 562 | 470 | 929 | 710 | 17 |2048 | 1.646602e+02 | 1.940000e+02 | 17.82%
1365.17/1365.47 c 1365s| 46500 | 20861 | 10548k| 226.3 | 21M| 153 | - | 470 | 562 | 470 | 929 | 710 | 17 |2048 | 1.646603e+02 | 1.940000e+02 | 17.82%
1367.68/1367.91 c 1368s| 46600 | 20887 | 10568k| 226.3 | 21M| 153 | 74 | 470 | 562 | 470 | 929 | 710 | 17 |2048 | 1.646606e+02 | 1.940000e+02 | 17.82%
1370.17/1370.44 c 1370s| 46700 | 20931 | 10588k| 226.2 | 21M| 153 | 70 | 470 | 562 | 470 | 929 | 710 | 17 |2048 | 1.646613e+02 | 1.940000e+02 | 17.82%
1371.48/1371.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.48/1371.73 c 1372s| 46800 | 20959 | 10598k| 225.9 | 21M| 153 | - | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646615e+02 | 1.940000e+02 | 17.82%
1373.17/1373.44 c 1373s| 46900 | 20995 | 10611k| 225.7 | 21M| 154 | 360 | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646632e+02 | 1.940000e+02 | 17.82%
1376.67/1376.90 c 1377s| 47000 | 21031 | 10640k| 225.8 | 21M| 154 | 84 | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646640e+02 | 1.940000e+02 | 17.82%
1378.57/1378.83 c 1379s| 47100 | 21065 | 10655k| 225.7 | 21M| 154 | 365 | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646643e+02 | 1.940000e+02 | 17.82%
1380.77/1381.02 c 1381s| 47200 | 21111 | 10672k| 225.6 | 22M| 154 | 76 | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646646e+02 | 1.940000e+02 | 17.82%
1383.37/1383.68 c 1384s| 47300 | 21163 | 10693k| 225.5 | 22M| 154 | - | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646660e+02 | 1.940000e+02 | 17.81%
1386.27/1386.52 c 1387s| 47400 | 21227 | 10715k| 225.5 | 22M| 154 | 386 | 470 | 562 | 470 | 929 | 710 | 17 |2051 | 1.646674e+02 | 1.940000e+02 | 17.81%
1390.56/1390.81 c 1391s| 47500 | 21277 | 10746k| 225.7 | 22M| 154 | 349 | 470 | 562 | 470 | 929 | 710 | 17 |2068 | 1.646679e+02 | 1.940000e+02 | 17.81%
1393.48/1393.76 c 1394s| 47600 | 21335 | 10768k| 225.7 | 22M| 154 | 353 | 470 | 562 | 470 | 929 | 710 | 17 |2069 | 1.646691e+02 | 1.940000e+02 | 17.81%
1395.47/1395.72 c 1396s| 47700 | 21361 | 10784k| 225.6 | 22M| 154 | 92 | 470 | 562 | 470 | 929 | 710 | 17 |2069 | 1.646695e+02 | 1.940000e+02 | 17.81%
1398.07/1398.36 c 1398s| 47800 | 21415 | 10799k| 225.4 | 22M| 154 | 88 | 470 | 562 | 470 | 929 | 710 | 17 |2089 | 1.646702e+02 | 1.940000e+02 | 17.81%
1398.57/1398.84 c 1399s| 47900 | 21435 | 10803k| 225.0 | 22M| 154 | 361 | 470 | 562 | 470 | 929 | 710 | 17 |2089 | 1.646711e+02 | 1.940000e+02 | 17.81%
1403.86/1404.12 c 1404s| 48000 | 21497 | 10846k| 225.5 | 22M| 154 | 73 | 470 | 562 | 470 | 929 | 710 | 17 |2089 | 1.646716e+02 | 1.940000e+02 | 17.81%
1404.57/1404.82 c 1405s| 48100 | 21511 | 10852k| 225.1 | 22M| 154 | 61 | 470 | 562 | 470 | 929 | 710 | 17 |2089 | 1.646731e+02 | 1.940000e+02 | 17.81%
1406.77/1407.00 c 1407s| 48200 | 21547 | 10870k| 225.0 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2089 | 1.646735e+02 | 1.940000e+02 | 17.81%
1409.77/1410.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1409.77/1410.02 c 1410s| 48300 | 21593 | 10891k| 225.0 | 22M| 154 | 92 | 470 | 561 | 470 | 929 | 710 | 17 |2098 | 1.646747e+02 | 1.940000e+02 | 17.81%
1411.67/1411.92 c 1412s| 48400 | 21629 | 10904k| 224.8 | 22M| 154 | 357 | 470 | 561 | 470 | 929 | 710 | 17 |2105 | 1.646754e+02 | 1.940000e+02 | 17.81%
1415.56/1415.80 c 1416s| 48500 | 21667 | 10936k| 225.0 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2107 | 1.646756e+02 | 1.940000e+02 | 17.81%
1416.26/1416.54 c 1417s| 48600 | 21705 | 10942k| 224.6 | 22M| 154 | 84 | 470 | 561 | 470 | 929 | 710 | 17 |2109 | 1.646764e+02 | 1.940000e+02 | 17.81%
1417.86/1418.16 c 1418s| 48700 | 21751 | 10954k| 224.4 | 22M| 154 | 360 | 470 | 561 | 470 | 929 | 710 | 17 |2109 | 1.646767e+02 | 1.940000e+02 | 17.81%
1418.96/1419.24 c 1419s| 48800 | 21765 | 10964k| 224.2 | 22M| 154 | 105 | 470 | 561 | 470 | 929 | 710 | 17 |2109 | 1.646767e+02 | 1.940000e+02 | 17.81%
1419.56/1419.86 c 1420s| 48900 | 21787 | 10969k| 223.8 | 22M| 154 | 365 | 470 | 561 | 470 | 929 | 710 | 17 |2110 | 1.646773e+02 | 1.940000e+02 | 17.81%
1423.36/1423.65 c 1424s| 49000 | 21843 | 10999k| 224.0 | 22M| 154 | 77 | 470 | 561 | 470 | 929 | 710 | 17 |2110 | 1.646778e+02 | 1.940000e+02 | 17.81%
1423.87/1424.16 c 1424s| 49100 | 21857 | 11003k| 223.6 | 22M| 154 | 355 | 470 | 561 | 470 | 929 | 710 | 17 |2110 | 1.646782e+02 | 1.940000e+02 | 17.81%
1426.96/1427.21 c 1427s| 49200 | 21899 | 11028k| 223.7 | 22M| 154 | 88 | 470 | 561 | 470 | 929 | 710 | 17 |2110 | 1.646785e+02 | 1.940000e+02 | 17.81%
1428.76/1429.00 c 1429s| 49300 | 21947 | 11042k| 223.5 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646797e+02 | 1.940000e+02 | 17.80%
1430.86/1431.17 c 1431s| 49400 | 21995 | 11060k| 223.4 | 22M| 154 | 85 | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646804e+02 | 1.940000e+02 | 17.80%
1433.46/1433.76 c 1434s| 49500 | 22041 | 11080k| 223.3 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646814e+02 | 1.940000e+02 | 17.80%
1435.26/1435.54 c 1436s| 49600 | 22067 | 11096k| 223.2 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646821e+02 | 1.940000e+02 | 17.80%
1436.16/1436.50 c 1436s| 49700 | 22091 | 11103k| 222.9 | 22M| 154 | 358 | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646822e+02 | 1.940000e+02 | 17.80%
1440.77/1441.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1440.77/1441.04 c 1441s| 49800 | 22141 | 11141k| 223.2 | 22M| 154 | 67 | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646828e+02 | 1.940000e+02 | 17.80%
1442.16/1442.42 c 1442s| 49900 | 22151 | 11152k| 223.0 | 22M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646828e+02 | 1.940000e+02 | 17.80%
1443.26/1443.51 c 1444s| 50000 | 22169 | 11160k| 222.7 | 22M| 154 | 375 | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646836e+02 | 1.940000e+02 | 17.80%
1444.86/1445.13 c 1445s| 50100 | 22207 | 11174k| 222.5 | 22M| 154 | 72 | 470 | 561 | 470 | 929 | 710 | 17 |2111 | 1.646836e+02 | 1.940000e+02 | 17.80%
1448.56/1448.83 c 1449s| 50200 | 22251 | 11197k| 222.6 | 22M| 154 | 75 | 470 | 561 | 470 | 929 | 710 | 17 |2135 | 1.646838e+02 | 1.940000e+02 | 17.80%
1449.86/1450.10 c 1450s| 50300 | 22291 | 11206k| 222.3 | 22M| 154 | 84 | 470 | 561 | 470 | 929 | 710 | 17 |2135 | 1.646842e+02 | 1.940000e+02 | 17.80%
1453.76/1454.10 c 1454s| 50400 | 22355 | 11238k| 222.5 | 22M| 154 | 85 | 470 | 561 | 470 | 929 | 710 | 17 |2135 | 1.646853e+02 | 1.940000e+02 | 17.80%
1454.56/1454.87 c 1455s| 50500 | 22379 | 11244k| 222.2 | 23M| 154 | 87 | 470 | 561 | 470 | 929 | 710 | 17 |2135 | 1.646859e+02 | 1.940000e+02 | 17.80%
1457.26/1457.52 c 1458s| 50600 | 22433 | 11265k| 222.1 | 23M| 154 | - | 470 | 561 | 470 | 929 | 710 | 17 |2135 | 1.646868e+02 | 1.940000e+02 | 17.80%
1461.16/1461.43 c 1461s| 50700 | 22479 | 11294k| 222.3 | 23M| 156 | - | 470 | 561 | 470 | 929 | 710 | 17 |2144 | 1.646870e+02 | 1.940000e+02 | 17.80%
1463.56/1463.85 c 1464s| 50800 | 22513 | 11311k| 222.2 | 23M| 156 | 80 | 470 | 561 | 470 | 929 | 710 | 17 |2155 | 1.646877e+02 | 1.940000e+02 | 17.80%
1465.56/1465.85 c 1466s| 50900 | 22543 | 11327k| 222.0 | 23M| 156 | 75 | 470 | 561 | 470 | 929 | 710 | 17 |2155 | 1.646883e+02 | 1.940000e+02 | 17.80%
1466.95/1467.23 c 1467s| 51000 | 22571 | 11337k| 221.8 | 23M| 156 | 81 | 470 | 561 | 470 | 929 | 710 | 17 |2157 | 1.646894e+02 | 1.940000e+02 | 17.80%
1467.66/1467.97 c 1468s| 51100 | 22581 | 11342k| 221.5 | 23M| 156 | - | 470 | 561 | 470 | 929 | 710 | 17 |2162 | 1.646902e+02 | 1.940000e+02 | 17.80%
1470.85/1471.15 c 1471s| 51200 | 22621 | 11369k| 221.6 | 23M| 156 | 83 | 470 | 561 | 470 | 929 | 710 | 17 |2164 | 1.646911e+02 | 1.940000e+02 | 17.80%
1473.25/1473.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1473.25/1473.54 c 1474s| 51300 | 22643 | 11388k| 221.5 | 23M| 156 | - | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646915e+02 | 1.940000e+02 | 17.80%
1474.55/1474.82 c 1475s| 51400 | 22677 | 11398k| 221.3 | 23M| 156 | 89 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646918e+02 | 1.940000e+02 | 17.80%
1475.55/1475.80 c 1476s| 51500 | 22717 | 11406k| 221.0 | 23M| 156 | 362 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646924e+02 | 1.940000e+02 | 17.80%
1478.06/1478.32 c 1478s| 51600 | 22747 | 11427k| 221.0 | 23M| 156 | 90 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646930e+02 | 1.940000e+02 | 17.79%
1479.95/1480.26 c 1480s| 51700 | 22781 | 11442k| 220.8 | 23M| 156 | 365 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646931e+02 | 1.940000e+02 | 17.79%
1482.56/1482.80 c 1483s| 51800 | 22837 | 11463k| 220.8 | 23M| 156 | 76 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646940e+02 | 1.940000e+02 | 17.79%
1483.85/1484.10 c 1484s| 51900 | 22841 | 11473k| 220.6 | 23M| 156 | 67 | 470 | 561 | 470 | 929 | 710 | 17 |2165 | 1.646944e+02 | 1.940000e+02 | 17.79%
1487.75/1488.00 c 1488s| 52000 | 22905 | 11504k| 220.7 | 23M| 156 | 69 | 470 | 561 | 470 | 929 | 710 | 17 |2166 | 1.646966e+02 | 1.940000e+02 | 17.79%
1491.85/1492.12 c 1492s| 52100 | 22973 | 11536k| 221.0 | 23M| 156 | - | 470 | 561 | 470 | 929 | 710 | 17 |2166 | 1.646975e+02 | 1.940000e+02 | 17.79%
1492.46/1492.77 c 1493s| 52200 | 22989 | 11541k| 220.6 | 23M| 156 | 79 | 470 | 561 | 470 | 929 | 710 | 17 |2166 | 1.646977e+02 | 1.940000e+02 | 17.79%
1493.75/1494.09 c 1494s| 52300 | 23017 | 11552k| 220.4 | 23M| 156 | 103 | 470 | 560 | 470 | 929 | 710 | 17 |2166 | 1.646981e+02 | 1.940000e+02 | 17.79%
1497.35/1497.67 c 1498s| 52400 | 23061 | 11581k| 220.5 | 23M| 156 | 80 | 470 | 560 | 470 | 929 | 710 | 17 |2166 | 1.646995e+02 | 1.940000e+02 | 17.79%
1498.15/1498.46 c 1498s| 52500 | 23085 | 11588k| 220.2 | 23M| 156 | - | 470 | 560 | 470 | 929 | 710 | 17 |2166 | 1.646995e+02 | 1.940000e+02 | 17.79%
1499.55/1499.84 c 1500s| 52600 | 23117 | 11596k| 220.0 | 23M| 156 | 354 | 470 | 560 | 470 | 929 | 710 | 17 |2177 | 1.647006e+02 | 1.940000e+02 | 17.79%
1500.85/1501.19 c 1501s| 52700 | 23135 | 11606k| 219.8 | 23M| 156 | - | 470 | 560 | 470 | 929 | 710 | 17 |2177 | 1.647006e+02 | 1.940000e+02 | 17.79%
1511.74/1512.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1511.74/1512.07 c 1512s| 52800 | 23189 | 11713k| 221.4 | 23M| 156 | 359 | 470 | 560 | 470 | 929 | 710 | 17 |2177 | 1.647022e+02 | 1.940000e+02 | 17.79%
1516.66/1516.94 c 1517s| 52900 | 23257 | 11749k| 221.6 | 23M| 156 | - | 470 | 560 | 470 | 929 | 710 | 17 |2192 | 1.647026e+02 | 1.940000e+02 | 17.79%
1519.55/1519.89 c 1520s| 53000 | 23285 | 11774k| 221.7 | 23M| 156 | - | 470 | 560 | 470 | 929 | 710 | 17 |2192 | 1.647031e+02 | 1.940000e+02 | 17.79%
1522.34/1522.62 c 1523s| 53100 | 23325 | 11792k| 221.6 | 23M| 156 | 354 | 470 | 560 | 470 | 929 | 710 | 17 |2202 | 1.647036e+02 | 1.940000e+02 | 17.79%
1524.75/1525.05 c 1525s| 53200 | 23369 | 11812k| 221.6 | 23M| 156 | 70 | 470 | 560 | 470 | 929 | 710 | 17 |2202 | 1.647043e+02 | 1.940000e+02 | 17.79%
1528.05/1528.38 c 1528s| 53300 | 23413 | 11840k| 221.7 | 23M| 156 | 353 | 470 | 568 | 470 | 929 | 710 | 25 |2208 | 1.647055e+02 | 1.940000e+02 | 17.79%
1531.45/1531.70 c 1532s| 53400 | 23449 | 11867k| 221.8 | 23M| 156 | 90 | 470 | 568 | 470 | 929 | 710 | 25 |2211 | 1.647059e+02 | 1.940000e+02 | 17.79%
1533.44/1533.72 c 1534s| 53500 | 23485 | 11882k| 221.6 | 23M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2214 | 1.647063e+02 | 1.940000e+02 | 17.79%
1534.15/1534.46 c 1534s| 53600 | 23491 | 11888k| 221.3 | 23M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2216 | 1.647064e+02 | 1.940000e+02 | 17.79%
1536.64/1536.96 c 1537s| 53700 | 23563 | 11906k| 221.3 | 23M| 156 | 82 | 470 | 568 | 470 | 929 | 710 | 25 |2218 | 1.647072e+02 | 1.940000e+02 | 17.78%
1539.34/1539.67 c 1540s| 53800 | 23601 | 11928k| 221.3 | 23M| 156 | 87 | 470 | 568 | 470 | 929 | 710 | 25 |2218 | 1.647075e+02 | 1.940000e+02 | 17.78%
1540.65/1540.92 c 1541s| 53900 | 23639 | 11937k| 221.0 | 23M| 156 | 73 | 470 | 568 | 470 | 929 | 710 | 25 |2218 | 1.647081e+02 | 1.940000e+02 | 17.78%
1542.24/1542.58 c 1543s| 54000 | 23661 | 11952k| 220.9 | 23M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2218 | 1.647082e+02 | 1.940000e+02 | 17.78%
1543.45/1543.73 c 1544s| 54100 | 23691 | 11961k| 220.6 | 23M| 156 | 91 | 470 | 568 | 470 | 929 | 710 | 25 |2218 | 1.647085e+02 | 1.940000e+02 | 17.78%
1546.15/1546.46 c 1546s| 54200 | 23735 | 11983k| 220.6 | 23M| 156 | 81 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647091e+02 | 1.940000e+02 | 17.78%
1547.54/1547.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1547.54/1547.87 c 1548s| 54300 | 23777 | 11994k| 220.4 | 24M| 156 | 92 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647091e+02 | 1.940000e+02 | 17.78%
1549.44/1549.72 c 1550s| 54400 | 23807 | 12009k| 220.3 | 24M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647098e+02 | 1.940000e+02 | 17.78%
1552.85/1553.16 c 1553s| 54500 | 23857 | 12037k| 220.4 | 24M| 156 | 373 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647105e+02 | 1.940000e+02 | 17.78%
1554.74/1555.06 c 1555s| 54600 | 23873 | 12053k| 220.3 | 24M| 156 | 97 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647107e+02 | 1.940000e+02 | 17.78%
1554.94/1555.24 c 1555s| 54700 | 23883 | 12055k| 219.9 | 24M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647107e+02 | 1.940000e+02 | 17.78%
1559.14/1559.43 c 1559s| 54800 | 23935 | 12089k| 220.2 | 24M| 156 | 360 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647118e+02 | 1.940000e+02 | 17.78%
1561.84/1562.13 c 1562s| 54900 | 23981 | 12111k| 220.1 | 24M| 156 | - | 470 | 568 | 0 | 0 | 710 | 25 |2219 | 1.647124e+02 | 1.940000e+02 | 17.78%
1564.24/1564.51 c 1565s| 55000 | 24027 | 12129k| 220.1 | 24M| 156 | 107 | 470 | 568 | 470 | 929 | 710 | 25 |2219 | 1.647131e+02 | 1.940000e+02 | 17.78%
1568.64/1568.96 c 1569s| 55100 | 24085 | 12162k| 220.3 | 24M| 156 | 347 | 470 | 568 | 470 | 929 | 710 | 25 |2231 | 1.647142e+02 | 1.940000e+02 | 17.78%
1570.34/1570.68 c 1571s| 55200 | 24129 | 12175k| 220.1 | 24M| 156 | 363 | 470 | 568 | 470 | 929 | 710 | 25 |2231 | 1.647146e+02 | 1.940000e+02 | 17.78%
1573.85/1574.14 c 1574s| 55300 | 24181 | 12202k| 220.2 | 24M| 156 | 361 | 470 | 568 | 470 | 929 | 710 | 25 |2240 | 1.647148e+02 | 1.940000e+02 | 17.78%
1575.54/1575.89 c 1576s| 55400 | 24223 | 12213k| 220.0 | 24M| 156 | 83 | 470 | 568 | 470 | 929 | 710 | 25 |2249 | 1.647153e+02 | 1.940000e+02 | 17.78%
1575.74/1576.03 c 1576s| 55500 | 24243 | 12214k| 219.6 | 24M| 156 | 78 | 470 | 568 | 470 | 929 | 710 | 25 |2249 | 1.647153e+02 | 1.940000e+02 | 17.78%
1577.54/1577.85 c 1578s| 55600 | 24285 | 12230k| 219.5 | 24M| 156 | 77 | 470 | 568 | 470 | 929 | 710 | 25 |2249 | 1.647164e+02 | 1.940000e+02 | 17.78%
1579.44/1579.78 c 1580s| 55700 | 24309 | 12245k| 219.4 | 24M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2249 | 1.647171e+02 | 1.940000e+02 | 17.78%
1581.23/1581.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1581.23/1581.57 c 1582s| 55800 | 24341 | 12255k| 219.2 | 24M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2263 | 1.647176e+02 | 1.940000e+02 | 17.78%
1583.83/1584.15 c 1584s| 55900 | 24395 | 12275k| 219.1 | 24M| 156 | 87 | 470 | 568 | 470 | 929 | 710 | 25 |2263 | 1.647182e+02 | 1.940000e+02 | 17.78%
1588.34/1588.62 c 1589s| 56000 | 24441 | 12310k| 219.4 | 24M| 156 | 86 | 470 | 568 | 470 | 929 | 710 | 25 |2269 | 1.647190e+02 | 1.940000e+02 | 17.78%
1590.34/1590.69 c 1591s| 56100 | 24465 | 12328k| 219.3 | 24M| 156 | 357 | 470 | 568 | 470 | 929 | 710 | 25 |2269 | 1.647193e+02 | 1.940000e+02 | 17.78%
1594.13/1594.40 c 1594s| 56200 | 24501 | 12358k| 219.4 | 24M| 156 | 83 | 470 | 568 | 470 | 929 | 710 | 25 |2278 | 1.647196e+02 | 1.940000e+02 | 17.78%
1596.63/1596.93 o 194
1596.63/1596.93 c p1597s| 56266 | 24549 | 12377k| 219.5 | 24M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2279 | 1.647212e+02 | 1.940000e+02 | 17.77%
1596.63/1596.94 o 193
1596.63/1596.94 c b1597s| 56267 | 22430 | 12377k| 219.5 | 20M| 156 | - | 470 | 568 | 470 | 929 | 710 | 25 |2279 | 1.647212e+02 | 1.930000e+02 | 17.17%
1597.13/1597.40 c 1597s| 56300 | 22441 | 12380k| 219.5 | 20M| 156 | 374 | 470 | 568 | 470 | 929 | 710 | 25 |2279 | 1.647213e+02 | 1.930000e+02 | 17.17%
1598.14/1598.41 c 1598s| 56400 | 22441 | 12389k| 219.2 | 20M| 156 | - | 470 | 568 | 0 | 0 | 710 | 25 |2279 | 1.647213e+02 | 1.930000e+02 | 17.17%
1606.14/1606.49 c 1606s| 56500 | 22481 | 12482k| 220.5 | 20M| 156 | 147 | 470 | 568 | 470 | 929 | 710 | 25 |2279 | 1.647215e+02 | 1.930000e+02 | 17.17%
1609.43/1609.75 c 1610s| 56600 | 22533 | 12509k| 220.6 | 21M| 156 | 375 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647219e+02 | 1.930000e+02 | 17.17%
1613.53/1613.84 c 1614s| 56700 | 22557 | 12543k| 220.8 | 21M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647229e+02 | 1.930000e+02 | 17.17%
1614.93/1615.21 c 1615s| 56800 | 22573 | 12554k| 220.6 | 21M| 156 | 88 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647232e+02 | 1.930000e+02 | 17.17%
1617.64/1617.95 c 1618s| 56900 | 22605 | 12575k| 220.6 | 21M| 156 | 88 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647237e+02 | 1.930000e+02 | 17.17%
1621.93/1622.21 c 1622s| 57000 | 22681 | 12610k| 220.8 | 21M| 156 | 116 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647247e+02 | 1.930000e+02 | 17.17%
1622.23/1622.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.23/1622.53 c 1623s| 57100 | 22751 | 12613k| 220.5 | 21M| 156 | 104 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647247e+02 | 1.930000e+02 | 17.17%
1623.03/1623.31 c 1623s| 57200 | 22815 | 12620k| 220.2 | 21M| 156 | 128 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647249e+02 | 1.930000e+02 | 17.17%
1623.24/1623.60 c 1624s| 57300 | 22863 | 12623k| 219.9 | 21M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647249e+02 | 1.930000e+02 | 17.17%
1626.03/1626.33 c 1626s| 57400 | 22899 | 12646k| 219.9 | 21M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647250e+02 | 1.930000e+02 | 17.16%
1626.73/1627.00 c 1627s| 57500 | 22951 | 12652k| 219.6 | 21M| 156 | 363 | 470 | 567 | 470 | 929 | 710 | 25 |2279 | 1.647251e+02 | 1.930000e+02 | 17.16%
1628.23/1628.59 c 1629s| 57600 | 22991 | 12667k| 219.5 | 21M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2283 | 1.647251e+02 | 1.930000e+02 | 17.16%
1629.83/1630.13 o 190
1629.83/1630.13 c C1630s| 57684 | 18715 | 12677k| 219.3 | 17M| 156 | 382 | 470 | 567 | 470 | 929 | 710 | 25 |2283 | 1.647256e+02 | 1.900000e+02 | 15.34%
1630.93/1631.24 c 1631s| 57700 | 18725 | 12686k| 219.4 | 17M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2283 | 1.647256e+02 | 1.900000e+02 | 15.34%
1632.33/1632.60 c 1633s| 57800 | 18755 | 12697k| 219.2 | 17M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2283 | 1.647264e+02 | 1.900000e+02 | 15.34%
1634.53/1634.87 c 1635s| 57900 | 18807 | 12714k| 219.2 | 17M| 156 | 368 | 470 | 567 | 470 | 929 | 710 | 25 |2283 | 1.647278e+02 | 1.900000e+02 | 15.34%
1637.03/1637.39 c 1637s| 58000 | 18839 | 12732k| 219.1 | 17M| 156 | - | 470 | 567 | 0 | 0 | 710 | 25 |2293 | 1.647278e+02 | 1.900000e+02 | 15.34%
1641.72/1642.06 c 1642s| 58100 | 18887 | 12772k| 219.4 | 17M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2293 | 1.647281e+02 | 1.900000e+02 | 15.34%
1643.13/1643.48 c 1643s| 58200 | 18923 | 12784k| 219.2 | 17M| 156 | 104 | 470 | 567 | 470 | 929 | 710 | 25 |2293 | 1.647283e+02 | 1.900000e+02 | 15.34%
1646.02/1646.31 c 1646s| 58300 | 18957 | 12799k| 219.1 | 17M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2322 | 1.647286e+02 | 1.900000e+02 | 15.34%
1647.33/1647.65 c 1648s| 58400 | 18989 | 12810k| 218.9 | 17M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2322 | 1.647288e+02 | 1.900000e+02 | 15.34%
1650.03/1650.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1650.03/1650.37 c 1650s| 58500 | 19033 | 12831k| 218.9 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2322 | 1.647293e+02 | 1.900000e+02 | 15.34%
1652.12/1652.44 c 1652s| 58600 | 19071 | 12848k| 218.8 | 18M| 156 | 128 | 470 | 567 | 470 | 929 | 710 | 25 |2322 | 1.647295e+02 | 1.900000e+02 | 15.34%
1655.82/1656.11 c 1656s| 58700 | 19125 | 12877k| 219.0 | 18M| 156 | 108 | 470 | 567 | 470 | 929 | 710 | 25 |2322 | 1.647298e+02 | 1.900000e+02 | 15.34%
1657.02/1657.39 c 1657s| 58800 | 19153 | 12885k| 218.7 | 18M| 156 | 365 | 470 | 567 | 470 | 929 | 710 | 25 |2331 | 1.647300e+02 | 1.900000e+02 | 15.34%
1659.33/1659.61 c 1660s| 58900 | 19195 | 12902k| 218.6 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2332 | 1.647305e+02 | 1.900000e+02 | 15.34%
1660.02/1660.33 c 1660s| 59000 | 19209 | 12908k| 218.4 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2332 | 1.647305e+02 | 1.900000e+02 | 15.34%
1664.53/1664.83 c 1665s| 59100 | 19273 | 12941k| 218.5 | 18M| 156 | 137 | 470 | 567 | 470 | 929 | 710 | 25 |2342 | 1.647310e+02 | 1.900000e+02 | 15.34%
1666.92/1667.26 c 1667s| 59200 | 19303 | 12961k| 218.5 | 18M| 156 | 101 | 470 | 567 | 470 | 929 | 710 | 25 |2344 | 1.647314e+02 | 1.900000e+02 | 15.34%
1668.32/1668.69 c 1669s| 59300 | 19341 | 12972k| 218.3 | 18M| 156 | 158 | 470 | 567 | 470 | 929 | 710 | 25 |2344 | 1.647317e+02 | 1.900000e+02 | 15.34%
1670.63/1670.97 c 1671s| 59400 | 19395 | 12991k| 218.3 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647322e+02 | 1.900000e+02 | 15.34%
1672.02/1672.37 c 1672s| 59500 | 19419 | 13002k| 218.1 | 18M| 156 | 112 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647325e+02 | 1.900000e+02 | 15.34%
1673.83/1674.11 c 1674s| 59600 | 19449 | 13018k| 218.0 | 18M| 156 | 135 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647325e+02 | 1.900000e+02 | 15.34%
1676.63/1676.97 c 1677s| 59700 | 19483 | 13042k| 218.0 | 18M| 156 | 115 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647334e+02 | 1.900000e+02 | 15.34%
1678.62/1678.93 c 1679s| 59800 | 19511 | 13059k| 218.0 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647335e+02 | 1.900000e+02 | 15.34%
1681.02/1681.31 c 1681s| 59900 | 19551 | 13078k| 217.9 | 18M| 156 | 124 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647337e+02 | 1.900000e+02 | 15.34%
1681.92/1682.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1681.92/1682.23 c 1682s| 60000 | 19575 | 13085k| 217.7 | 18M| 156 | 126 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647337e+02 | 1.900000e+02 | 15.34%
1683.33/1683.62 c 1684s| 60100 | 19623 | 13096k| 217.5 | 18M| 156 | 146 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647340e+02 | 1.900000e+02 | 15.34%
1685.53/1685.83 c 1686s| 60200 | 19671 | 13115k| 217.4 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647348e+02 | 1.900000e+02 | 15.34%
1688.82/1689.18 c 1689s| 60300 | 19727 | 13143k| 217.6 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647352e+02 | 1.900000e+02 | 15.34%
1689.82/1690.10 c 1690s| 60400 | 19767 | 13151k| 217.3 | 18M| 156 | 140 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647358e+02 | 1.900000e+02 | 15.34%
1690.12/1690.49 c 1690s| 60500 | 19797 | 13155k| 217.0 | 18M| 156 | 113 | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647358e+02 | 1.900000e+02 | 15.34%
1692.12/1692.41 c 1692s| 60600 | 19841 | 13173k| 217.0 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647358e+02 | 1.900000e+02 | 15.34%
1694.73/1695.02 c 1695s| 60700 | 19885 | 13194k| 217.0 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2345 | 1.647360e+02 | 1.900000e+02 | 15.34%
1698.22/1698.54 c 1699s| 60800 | 19921 | 13218k| 217.0 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2361 | 1.647367e+02 | 1.900000e+02 | 15.34%
1700.62/1700.94 c 1701s| 60900 | 19957 | 13238k| 217.0 | 18M| 156 | 148 | 470 | 567 | 470 | 929 | 710 | 25 |2363 | 1.647369e+02 | 1.900000e+02 | 15.34%
1703.02/1703.38 c 1703s| 61000 | 19995 | 13259k| 217.0 | 18M| 156 | 377 | 470 | 567 | 470 | 929 | 710 | 25 |2363 | 1.647372e+02 | 1.900000e+02 | 15.34%
1705.62/1705.90 c 1706s| 61100 | 20045 | 13280k| 216.9 | 18M| 156 | 156 | 470 | 567 | 470 | 929 | 710 | 25 |2363 | 1.647380e+02 | 1.900000e+02 | 15.33%
1708.52/1708.82 c 1709s| 61200 | 20089 | 13299k| 216.9 | 18M| 156 | 364 | 470 | 567 | 470 | 929 | 710 | 25 |2380 | 1.647382e+02 | 1.900000e+02 | 15.33%
1711.92/1712.27 c 1712s| 61300 | 20163 | 13327k| 217.0 | 18M| 156 | 365 | 470 | 567 | 470 | 929 | 710 | 25 |2380 | 1.647385e+02 | 1.900000e+02 | 15.33%
1714.12/1714.41 c 1714s| 61400 | 20203 | 13345k| 216.9 | 18M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2380 | 1.647386e+02 | 1.900000e+02 | 15.33%
1716.92/1717.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1716.92/1717.23 c 1717s| 61500 | 20231 | 13366k| 216.9 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2390 | 1.647387e+02 | 1.900000e+02 | 15.33%
1720.12/1720.50 c 1720s| 61600 | 20277 | 13392k| 217.0 | 19M| 156 | 119 | 470 | 567 | 470 | 929 | 710 | 25 |2390 | 1.647393e+02 | 1.900000e+02 | 15.33%
1721.31/1721.65 c 1722s| 61700 | 20329 | 13400k| 216.8 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2400 | 1.647393e+02 | 1.900000e+02 | 15.33%
1723.02/1723.39 c 1723s| 61800 | 20371 | 13413k| 216.6 | 19M| 156 | 371 | 470 | 567 | 470 | 929 | 710 | 25 |2402 | 1.647406e+02 | 1.900000e+02 | 15.33%
1726.12/1726.45 c 1726s| 61900 | 20423 | 13438k| 216.7 | 19M| 156 | 129 | 470 | 567 | 470 | 929 | 710 | 25 |2407 | 1.647411e+02 | 1.900000e+02 | 15.33%
1726.82/1727.18 c 1727s| 62000 | 20463 | 13444k| 216.4 | 19M| 156 | 376 | 470 | 567 | 470 | 929 | 710 | 25 |2409 | 1.647416e+02 | 1.900000e+02 | 15.33%
1728.82/1729.18 c 1729s| 62100 | 20495 | 13461k| 216.4 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2410 | 1.647419e+02 | 1.900000e+02 | 15.33%
1730.71/1731.06 c 1731s| 62200 | 20531 | 13476k| 216.3 | 19M| 156 | 375 | 470 | 567 | 470 | 929 | 710 | 25 |2410 | 1.647423e+02 | 1.900000e+02 | 15.33%
1732.51/1732.81 c 1733s| 62300 | 20563 | 13490k| 216.1 | 19M| 156 | 140 | 470 | 567 | 470 | 929 | 710 | 25 |2410 | 1.647435e+02 | 1.900000e+02 | 15.33%
1734.01/1734.37 c 1734s| 62400 | 20593 | 13503k| 216.0 | 19M| 156 | 140 | 470 | 567 | 470 | 929 | 710 | 25 |2410 | 1.647435e+02 | 1.900000e+02 | 15.33%
1735.72/1736.09 c 1736s| 62500 | 20639 | 13518k| 215.9 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2410 | 1.647441e+02 | 1.900000e+02 | 15.33%
1738.82/1739.19 c 1739s| 62600 | 20705 | 13543k| 216.0 | 19M| 156 | 146 | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647445e+02 | 1.900000e+02 | 15.33%
1739.12/1739.48 c 1739s| 62700 | 20721 | 13546k| 215.7 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647445e+02 | 1.900000e+02 | 15.33%
1739.41/1739.75 c 1740s| 62800 | 20745 | 13549k| 215.4 | 19M| 156 | - | 470 | 567 | 0 | 0 | 710 | 25 |2411 | 1.647445e+02 | 1.900000e+02 | 15.33%
1741.21/1741.51 c 1742s| 62900 | 20781 | 13564k| 215.3 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647447e+02 | 1.900000e+02 | 15.33%
1742.02/1742.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1742.02/1742.33 c 1742s| 63000 | 20797 | 13571k| 215.0 | 19M| 156 | 135 | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647448e+02 | 1.900000e+02 | 15.33%
1743.81/1744.16 c 1744s| 63100 | 20827 | 13586k| 214.9 | 19M| 156 | 116 | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647449e+02 | 1.900000e+02 | 15.33%
1745.91/1746.24 c 1746s| 63200 | 20879 | 13604k| 214.9 | 19M| 156 | 135 | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647458e+02 | 1.900000e+02 | 15.33%
1746.21/1746.51 c 1747s| 63300 | 20925 | 13607k| 214.6 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647458e+02 | 1.900000e+02 | 15.33%
1748.62/1748.93 c 1749s| 63400 | 20979 | 13626k| 214.5 | 19M| 156 | - | 470 | 567 | 470 | 929 | 710 | 25 |2411 | 1.647462e+02 | 1.900000e+02 | 15.33%
1751.92/1752.25 c 1752s| 63500 | 21019 | 13653k| 214.6 | 19M| 156 | 371 | 470 | 566 | 470 | 929 | 710 | 25 |2412 | 1.647469e+02 | 1.900000e+02 | 15.33%
1754.31/1754.60 c 1755s| 63600 | 21063 | 13672k| 214.6 | 19M| 156 | 137 | 470 | 566 | 470 | 929 | 710 | 25 |2412 | 1.647470e+02 | 1.900000e+02 | 15.33%
1755.11/1755.43 c 1755s| 63700 | 21107 | 13679k| 214.3 | 19M| 156 | - | 470 | 566 | 470 | 929 | 710 | 25 |2413 | 1.647471e+02 | 1.900000e+02 | 15.33%
1755.31/1755.67 c 1756s| 63800 | 21121 | 13681k| 214.0 | 19M| 156 | - | 470 | 566 | 470 | 929 | 710 | 25 |2414 | 1.647471e+02 | 1.900000e+02 | 15.33%
1756.71/1757.07 c 1757s| 63900 | 21135 | 13692k| 213.9 | 19M| 156 | - | 470 | 566 | 470 | 929 | 710 | 25 |2428 | 1.647472e+02 | 1.900000e+02 | 15.33%
1758.62/1758.92 c 1759s| 64000 | 21169 | 13703k| 213.7 | 19M| 156 | 129 | 470 | 566 | 470 | 929 | 710 | 25 |2438 | 1.647482e+02 | 1.900000e+02 | 15.33%
1761.71/1762.05 c 1762s| 64100 | 21203 | 13730k| 213.8 | 19M| 156 | - | 470 | 566 | 470 | 929 | 710 | 25 |2439 | 1.647486e+02 | 1.900000e+02 | 15.33%
1764.41/1764.79 c 1765s| 64200 | 21257 | 13751k| 213.8 | 19M| 156 | - | 470 | 566 | 470 | 929 | 710 | 25 |2439 | 1.647490e+02 | 1.900000e+02 | 15.33%
1766.91/1767.29 c 1767s| 64300 | 21315 | 13767k| 213.7 | 19M| 156 | 107 | 470 | 566 | 470 | 929 | 710 | 25 |2452 | 1.647495e+02 | 1.900000e+02 | 15.33%
1767.81/1768.10 c 1768s| 64400 | 21333 | 13774k| 213.5 | 19M| 156 | 125 | 470 | 566 | 470 | 929 | 710 | 25 |2452 | 1.647495e+02 | 1.900000e+02 | 15.33%
1769.21/1769.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.21/1769.58 c 1770s| 64500 | 21357 | 13785k| 213.3 | 19M| 156 | 126 | 470 | 566 | 470 | 929 | 710 | 25 |2453 | 1.647498e+02 | 1.900000e+02 | 15.33%
1773.80/1774.17 c 1774s| 64600 | 21413 | 13820k| 213.5 | 20M| 156 | 132 | 470 | 566 | 470 | 929 | 710 | 25 |2462 | 1.647508e+02 | 1.900000e+02 | 15.33%
1775.50/1775.80 c 1776s| 64700 | 21427 | 13834k| 213.4 | 20M| 156 | 130 | 470 | 566 | 470 | 929 | 710 | 25 |2462 | 1.647514e+02 | 1.900000e+02 | 15.33%
1777.41/1777.76 c 1778s| 64800 | 21455 | 13850k| 213.4 | 20M| 156 | - | 470 | 565 | 470 | 929 | 710 | 25 |2462 | 1.647520e+02 | 1.900000e+02 | 15.32%
1780.21/1780.51 c 1781s| 64900 | 21509 | 13870k| 213.3 | 20M| 156 | 361 | 470 | 565 | 470 | 929 | 710 | 25 |2467 | 1.647535e+02 | 1.900000e+02 | 15.32%
1780.81/1781.12 c 1781s| 65000 | 21561 | 13876k| 213.1 | 20M| 156 | 135 | 470 | 565 | 470 | 929 | 710 | 25 |2473 | 1.647535e+02 | 1.900000e+02 | 15.32%
1781.11/1781.44 c 1781s| 65100 | 21591 | 13879k| 212.8 | 20M| 156 | 100 | 470 | 565 | 470 | 929 | 710 | 25 |2473 | 1.647535e+02 | 1.900000e+02 | 15.32%
1783.41/1783.77 c 1784s| 65200 | 21639 | 13896k| 212.8 | 20M| 156 | 124 | 470 | 565 | 470 | 929 | 710 | 25 |2484 | 1.647539e+02 | 1.900000e+02 | 15.32%
1783.70/1784.06 c 1784s| 65300 | 21661 | 13899k| 212.5 | 20M| 156 | 123 | 470 | 565 | 470 | 929 | 710 | 25 |2484 | 1.647539e+02 | 1.900000e+02 | 15.32%
1786.01/1786.40 c 1786s| 65400 | 21711 | 13919k| 212.5 | 20M| 156 | - | 470 | 565 | 470 | 929 | 710 | 25 |2484 | 1.647541e+02 | 1.900000e+02 | 15.32%
1787.00/1787.39 c 1787s| 65500 | 21747 | 13927k| 212.3 | 20M| 156 | - | 470 | 565 | 470 | 929 | 710 | 25 |2485 | 1.647542e+02 | 1.900000e+02 | 15.32%
1791.21/1791.51 c 1792s| 65600 | 21799 | 13961k| 212.4 | 20M| 156 | 128 | 470 | 565 | 470 | 929 | 710 | 25 |2486 | 1.647548e+02 | 1.900000e+02 | 15.32%
1791.91/1792.25 c 1792s| 65700 | 21827 | 13967k| 212.2 | 20M| 156 | 368 | 470 | 565 | 470 | 929 | 710 | 25 |2487 | 1.647552e+02 | 1.900000e+02 | 15.32%
1793.11/1793.47 c 1793s| 65800 | 21875 | 13977k| 212.0 | 20M| 156 | 131 | 470 | 565 | 470 | 929 | 710 | 25 |2487 | 1.647553e+02 | 1.900000e+02 | 15.32%
1794.60/1794.96 c 1795s| 65900 | 21921 | 13988k| 211.9 | 20M| 156 | - | 470 | 565 | 470 | 929 | 710 | 25 |2487 | 1.647556e+02 | 1.900000e+02 | 15.32%
1794.91/1795.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1794.91/1795.27 c 1795s| 66000 | 21937 | 13991k| 211.6 | 20M| 156 | - | 470 | 565 | 470 | 929 | 710 | 25 |2487 | 1.647556e+02 | 1.900000e+02 | 15.32%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 66056
1796.70/1797.00 c Primal Bound : +1.90000000000000e+02 (874 solutions)
1796.70/1797.00 c Dual Bound : +1.64755821363610e+02
1796.70/1797.00 c Gap : 15.32 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x470 -x469 -x468 x467 x466 x465 x464 x463 -x462 -x461 -x460 x459 -x458 x457 x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448
1796.70/1797.00 v -x447 -x446 -x445 x444 x443 x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 x433 x432 -x431 -x430 x429 -x428 x427 -x426
1796.70/1797.00 v -x425 -x424 -x423 x422 -x421 x420 x419 -x418 x417 -x416 -x415 x414 -x413 -x412 -x411 x410 -x409 x408 x407 x406 x405 -x404 -x403
1796.70/1797.00 v x402 -x401 -x400 x399 -x398 x397 -x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388 -x387 x386 -x385 -x384 -x383 -x382 -x381
1796.70/1797.00 v -x380 x379 x378 x377 -x376 x375 x374 x373 x372 x371 x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 x362 x361 -x360 -x359 -x358
1796.70/1797.00 v -x357 x356 x355 x354 -x353 -x352 x351 -x350 x349 x348 x347 -x346 x345 -x344 -x343 -x342 -x341 x340 -x339 -x338 x337 x336
1796.70/1797.00 v -x335 -x334 -x333 x332 -x331 x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 x321 -x320 x319 x318 -x317 x316 -x315 -x314
1796.70/1797.00 v -x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 x304 -x303 x302 x301 -x300 -x299 x298 x297 -x296 -x295 x294 -x293 x292
1796.70/1797.00 v x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 x272 -x271 x270
1796.70/1797.00 v -x269 -x268 x267 x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 x255 -x254 -x253 x252 -x251 x250 -x249 -x248
1796.70/1797.00 v x247 x246 -x245 x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 x227 -x226
1796.70/1797.00 v -x225 -x224 -x223 -x222 x221 -x220 -x219 x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 x207 x206 -x205 x204
1796.70/1797.00 v x203 x202 x201 -x200 x199 -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 -x186 -x185 -x184 x183 x182
1796.70/1797.00 v -x181 x180 -x179 -x178 -x177 x176 x175 x174 x173 -x172 x171 -x170 x169 x168 x167 -x166 -x165 x164 -x163 -x162 x161 -x160 x159
1796.70/1797.00 v -x158 x157 x156 x155 -x154 x153 x152 x151 -x150 -x149 -x148 x147 x146 x145 x144 -x143 -x142 -x141 -x140 x139 -x138 x137 -x136
1796.70/1797.00 v x135 x134 x133 -x132 -x131 -x130 x129 x128 -x127 x126 x125 x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 x115 x114 -x113
1796.70/1797.00 v -x112 -x111 x110 -x109 x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 x94 x93 -x92 -x91 -x90 x89
1796.70/1797.00 v x88 -x87 -x86 x85 -x84 x83 x82 -x81 -x80 -x79 -x78 x77 x76 -x75 -x74 -x73 x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 -x63 x62
1796.70/1797.00 v x61 -x60 -x59 x58 x57 x56 -x55 -x54 x53 x52 x51 x50 -x49 x48 -x47 -x46 -x45 x44 -x43 x42 x41 -x40 -x39 -x38 -x37 x36 -x35
1796.70/1797.00 v -x34 -x33 -x32 x31 x30 -x29 x28 x27 -x26 x25 -x24 -x23 x22 -x21 x20 -x19 -x18 x17 x16 x15 -x14 x13 -x12 -x11 -x10 x9 -x8 -x7
1796.70/1797.00 v x6 -x5 x4 x3 -x2 x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.03 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.18 (23 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3692056-1338029779.opb
1796.70/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 469 initial, 469 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3692056-1338029779.opb
1796.70/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 553 initial, 568 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 26 175 290 655
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 65 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 23
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 47381 0 879 0 5 53 0 0 94672
1796.70/1797.00 c knapsack : 442 442 10 296479 0 0 874 0 1050 214635 707 0 0
1796.70/1797.00 c setppc : 111 111 10 295429 0 0 873 0 0 28204 0 0 0
1796.70/1797.00 c logicor : 0+ 15 0 17039 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 877 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 90.50 0.00 0.00 0.00 90.50 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 2.41 0.00 0.03 2.37 0.00 0.00 0.01 0.00
1796.70/1797.00 c setppc : 0.36 0.00 0.00 0.36 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 25 0 0 0
1796.70/1797.00 c pseudoobj : 343810 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 63414 0 0 359170
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.70/1797.00 c pseudoobj : 0.32 0.00 0.00 0.32 0.00
1796.70/1797.00 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c redcost : 0.97 0.00 0.00 0.97 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 1050 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 25 25 25 4.4 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 25 4.4 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 9 - - 279 - (maximal pool size: 1267)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 10 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.66 0.00 10 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.23 0.00 10 0 0 0 0
1796.70/1797.00 c cmir : 0.17 0.00 10 0 0 737 0
1796.70/1797.00 c flowcover : 0.24 0.00 10 0 0 916 0
1796.70/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.30 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 90.46 0.00 47381 5 53 0 0 94672
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.03 0.00 10 2
1796.70/1797.00 c crossover : 0.48 0.00 3 3
1796.70/1797.00 c pscostdiving : 273.45 0.00 370 383
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 1.03 0.00 47389 24
1796.70/1797.00 c zirounding : 0.39 0.00 1000 15
1796.70/1797.00 c rounding : 12.20 0.00 10036 1
1796.70/1797.00 c shifting : 3.20 0.00 2685 1
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.04 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c coefdiving : 214.58 0.00 194 182
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 46.57 0.00 45 0
1796.70/1797.00 c veclendiving : 134.44 0.00 175 130
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 38.19 0.00 6 108
1796.70/1797.00 c rootsoldiving : 12.09 0.00 13 0
1796.70/1797.00 c linesearchdiving : 60.35 0.00 92 23
1796.70/1797.00 c guideddiving : 47.09 0.00 45 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.02 0.00 0 0
1796.70/1797.00 c trysol : 0.03 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.70/1797.00 c dual LP : 844.07 81098 6731989 103.53 7975.67 3.70 16076
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 801.78 140596 7274741 51.74 9073.19
1796.70/1797.00 c strong branching : 88.25 2487 582680 234.29 6602.37
1796.70/1797.00 c (at root node) : - 24 22796 949.83 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 66056
1796.70/1797.00 c nodes (total) : 66056
1796.70/1797.00 c nodes left : 21947
1796.70/1797.00 c max depth : 156
1796.70/1797.00 c max depth (total): 156
1796.70/1797.00 c backtracks : 11106 (16.8%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 8.42
1796.70/1797.00 c switching time : 2.51
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 874 (36 improvements)
1796.70/1797.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.90000000000000e+02 (in run 1, after 57684 nodes, 1630.12 seconds, depth 13, found by <crossover>)
1796.70/1797.00 c Dual Bound : +1.64755821363610e+02
1796.70/1797.00 c Gap : 15.32 %
1796.70/1797.00 c Root Dual Bound : +1.63178861393753e+02
1796.70/1797.00 c Root Iterations : 25403
1796.70/1797.04 c Time complete: 1796.76.
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-3692056-1338029779/watcher-3692056-1338029779 -o /tmp/evaluation-result-3692056-1338029779/solver-3692056-1338029779 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692056-1338029779.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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: 2.00 1.92 1.77 3/176 19093
/proc/meminfo: memFree=27039732/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=11000 CPUtime=0 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 1449 0 0 0 0 0 0 0 20 0 1 0 269102792 11264000 1404 33554432000 4194304 10219143 140734089745456 140736494142728 8891101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 2750 1411 398 1471 0 1270 0
[startup+0.0827649 s]
/proc/loadavg: 2.00 1.92 1.77 3/176 19093
/proc/meminfo: memFree=27039732/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=22444 CPUtime=0.08 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 4623 0 0 0 7 1 0 0 20 0 1 0 269102792 22982656 4312 33554432000 4194304 10219143 140734089745456 140736494142728 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 5611 4312 751 1471 0 4131 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22444
[startup+0.100297 s]
/proc/loadavg: 2.00 1.92 1.77 3/176 19093
/proc/meminfo: memFree=27039732/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=22444 CPUtime=0.09 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 4626 0 0 0 8 1 0 0 20 0 1 0 269102792 22982656 4315 33554432000 4194304 10219143 140734089745456 140736494142728 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 5611 4315 752 1471 0 4131 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22444
[startup+0.30023 s]
/proc/loadavg: 2.00 1.92 1.77 3/176 19093
/proc/meminfo: memFree=27039732/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=22756 CPUtime=0.29 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 4700 0 0 0 28 1 0 0 20 0 1 0 269102792 23302144 4388 33554432000 4194304 10219143 140734089745456 140736494142728 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 5689 4388 753 1471 0 4209 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22756
[startup+0.700225 s]
/proc/loadavg: 2.00 1.92 1.77 3/176 19093
/proc/meminfo: memFree=27039732/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=23152 CPUtime=0.69 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 4803 0 0 0 67 2 0 0 20 0 1 0 269102792 23707648 4491 33554432000 4194304 10219143 140734089745456 140736494142728 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 5788 4491 753 1471 0 4308 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23152
[startup+1.50031 s]
/proc/loadavg: 2.00 1.92 1.77 3/177 19094
/proc/meminfo: memFree=27023860/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=24396 CPUtime=1.49 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 9155 0 0 0 145 4 0 0 20 0 1 0 269102792 24981504 4929 33554432000 4194304 10219143 140734089745456 140734089738808 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6099 4929 836 1471 0 4619 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24396
[startup+3.10023 s]
/proc/loadavg: 2.00 1.92 1.77 3/177 19094
/proc/meminfo: memFree=27022620/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=25904 CPUtime=3.09 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 9525 0 0 0 304 5 0 0 20 0 1 0 269102792 26525696 5299 33554432000 4194304 10219143 140734089745456 140734089740376 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6476 5299 837 1471 0 4996 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25904
[startup+6.30019 s]
/proc/loadavg: 2.00 1.92 1.77 3/177 19094
/proc/meminfo: memFree=27019280/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=26960 CPUtime=6.29 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 9787 0 0 0 621 8 0 0 20 0 1 0 269102792 27607040 5561 33554432000 4194304 10219143 140734089745456 140734089740376 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6740 5561 837 1471 0 5260 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26960
[startup+12.7002 s]
/proc/loadavg: 2.00 1.93 1.78 3/177 19094
/proc/meminfo: memFree=27018916/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=26860 CPUtime=12.69 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 11314 0 0 0 1253 16 0 0 20 0 1 0 269102792 27504640 5570 33554432000 4194304 10219143 140734089745456 140734089738904 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6715 5570 841 1471 0 5235 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26860
[startup+25.5002 s]
/proc/loadavg: 2.00 1.93 1.78 3/177 19094
/proc/meminfo: memFree=27018796/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=26860 CPUtime=25.48 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 11321 0 0 0 2524 24 0 0 20 0 1 0 269102792 27504640 5709 33554432000 4194304 10219143 140734089745456 140734089738168 8098531 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6715 5709 843 1471 0 5235 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26860
[startup+51.1002 s]
/proc/loadavg: 2.00 1.93 1.78 3/177 19094
/proc/meminfo: memFree=27018548/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=27588 CPUtime=51.08 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 11494 0 0 0 5058 50 0 0 20 0 1 0 269102792 28250112 5882 33554432000 4194304 10219143 140734089745456 140734089738488 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6897 5882 844 1471 0 5417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27588
[startup+102.306 s]
/proc/loadavg: 2.00 1.94 1.79 3/177 19094
/proc/meminfo: memFree=27018424/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=27324 CPUtime=102.28 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 14161 0 0 0 10128 100 0 0 20 0 1 0 269102792 27979776 5826 33554432000 4194304 10219143 140734089745456 140734089738376 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 6831 5826 849 1471 0 5351 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 27324
[startup+162.3 s]
/proc/loadavg: 2.05 1.96 1.81 3/177 19094
/proc/meminfo: memFree=27018176/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=28016 CPUtime=162.26 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 14308 0 0 0 16069 157 0 0 20 0 1 0 269102792 28688384 5973 33554432000 4194304 10219143 140734089745456 140734089738424 8100280 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 7004 5973 849 1471 0 5524 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 28016
[startup+222.3 s]
/proc/loadavg: 2.02 1.97 1.82 3/178 19097
/proc/meminfo: memFree=27017392/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=28016 CPUtime=222.25 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 14340 0 0 0 22016 209 0 0 20 0 1 0 269102792 28688384 6005 33554432000 4194304 10219143 140734089745456 140734089738808 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 7004 6005 849 1471 0 5524 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 28016
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/178 19119
/proc/meminfo: memFree=27016908/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=28948 CPUtime=282.24 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 14571 0 0 0 27958 266 0 0 20 0 1 0 269102792 29642752 6236 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 7237 6236 849 1471 0 5757 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28948
[startup+342.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/177 19120
/proc/meminfo: memFree=27016068/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=30172 CPUtime=342.23 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 19164 0 0 0 33892 331 0 0 20 0 1 0 269102792 30896128 6548 33554432000 4194304 10219143 140734089745456 140734089738264 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 7543 6548 850 1471 0 6063 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 30172
[startup+402.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 19120
/proc/meminfo: memFree=27014516/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=31460 CPUtime=402.22 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 23368 0 0 0 39830 392 0 0 20 0 1 0 269102792 32215040 6847 33554432000 4194304 10219143 140734089745456 140734089738216 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 7865 6847 850 1471 0 6385 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31460
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 19120
/proc/meminfo: memFree=27007444/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=33984 CPUtime=462.22 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 26497 0 0 0 45776 446 0 0 20 0 1 0 269102792 34799616 7489 33554432000 4194304 10219143 140734089745456 140734089738264 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 8496 7489 850 1471 0 7016 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 33984
[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 19120
/proc/meminfo: memFree=27007568/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=34140 CPUtime=522.21 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 26532 0 0 0 51721 500 0 0 20 0 1 0 269102792 34959360 7524 33554432000 4194304 10219143 140734089745456 140734089738440 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 8535 7524 850 1471 0 7055 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 34140
[startup+582.3 s]
/proc/loadavg: 2.04 1.99 1.86 3/177 19120
/proc/meminfo: memFree=27006204/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=34504 CPUtime=582.2 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 27830 0 0 0 57663 557 0 0 20 0 1 0 269102792 35332096 7628 33554432000 4194304 10219143 140734089745456 140734089738808 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 8626 7628 850 1471 0 7146 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 34504
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26989016/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=43020 CPUtime=1122.11 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 32778 0 0 0 111143 1068 0 0 20 0 1 0 269102792 44052480 9807 33554432000 4194304 10219143 140734089745456 140734089738264 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 10755 9807 850 1471 0 9275 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 43020
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 1.93 3/177 19163
/proc/meminfo: memFree=27963364/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=45340 CPUtime=1182.1 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 33362 0 0 0 117082 1128 0 0 20 0 1 0 269102792 46428160 10387 33554432000 4194304 10219143 140734089745456 140734089741944 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 11335 10387 850 1471 0 9855 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 45340
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 1.93 3/177 19164
/proc/meminfo: memFree=27960712/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=45616 CPUtime=1242.09 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 33440 0 0 0 123018 1191 0 0 20 0 1 0 269102792 46710784 10465 33554432000 4194304 10219143 140734089745456 140734089738120 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 11404 10465 850 1471 0 9924 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 45616
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/177 19164
/proc/meminfo: memFree=27958728/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=46324 CPUtime=1302.09 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 33600 0 0 0 128959 1250 0 0 20 0 1 0 269102792 47435776 10625 33554432000 4194304 10219143 140734089745456 140734089738440 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 11581 10625 850 1471 0 10101 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 46324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/177 19164
/proc/meminfo: memFree=27956928/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=46892 CPUtime=1362.08 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 33752 0 0 0 134893 1315 0 0 20 0 1 0 269102792 48017408 10777 33554432000 4194304 10219143 140734089745456 140734089739096 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 11723 10777 850 1471 0 10243 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 46892
[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 19167
/proc/meminfo: memFree=27954904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=47388 CPUtime=1422.07 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 33875 0 0 0 140822 1385 0 0 20 0 1 0 269102792 48525312 10900 33554432000 4194304 10219143 140734089745456 140734089739096 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 11847 10900 850 1471 0 10367 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 47388
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.95 3/177 19167
/proc/meminfo: memFree=27952948/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=48372 CPUtime=1482.05 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 34134 0 0 0 146762 1443 0 0 20 0 1 0 269102792 49532928 11158 33554432000 4194304 10219143 140734089745456 140734089738712 8098494 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12093 11158 850 1471 0 10613 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 48372
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/177 19168
/proc/meminfo: memFree=27950164/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49488 CPUtime=1542.04 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 34423 0 0 0 152696 1508 0 0 20 0 1 0 269102792 50675712 11447 33554432000 4194304 10219143 140734089745456 140734089738168 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12372 11447 850 1471 0 10892 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 49488
[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 1.96 3/177 19168
/proc/meminfo: memFree=27948672/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49524 CPUtime=1602.03 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 35725 0 0 0 158631 1572 0 0 20 0 1 0 269102792 50712576 11452 33554432000 4194304 10219143 140734089745456 140734089738728 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12381 11452 850 1471 0 10901 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 49524
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 1.96 3/177 19168
/proc/meminfo: memFree=27946688/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49544 CPUtime=1662.02 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 45017 0 0 0 164560 1642 0 0 20 0 1 0 269102792 50733056 11449 33554432000 4194304 10219143 140734089745456 140734089738904 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12386 11449 852 1471 0 10906 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 49544
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 1.96 3/177 19168
/proc/meminfo: memFree=27946004/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49552 CPUtime=1722.02 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 50162 0 0 0 170497 1705 0 0 20 0 1 0 269102792 50741248 11457 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12388 11457 852 1471 0 10908 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 49552
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27944144/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1782 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 176431 1769 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 49536
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27943028/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1785.21 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 176749 1772 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 49536
[startup+1791.91 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1791.62 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177384 1778 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 49536
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1794.81 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177700 1781 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738712 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 49536
[startup+1795.9 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1795.6 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177779 1781 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738440 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 49536
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1796.4 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177859 1781 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738440 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 49536
[startup+1796.9 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1796.6 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177879 1781 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738552 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 49536
[startup+1797 s]
/proc/loadavg: 2.00 2.03 1.96 3/177 19168
/proc/meminfo: memFree=27942904/32873844 swapFree=6592/6592
[pid=19093] ppid=19091 vsize=49536 CPUtime=1796.7 cores=1,3,5,7
/proc/19093/stat : 19093 (scip-2.1.1.4exp) R 19091 19093 17459 0 -1 4202496 51474 0 0 0 177889 1781 0 0 20 0 1 0 269102792 50724864 11459 33554432000 4194304 10219143 140734089745456 140734089738552 9026266 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/19093/statm: 12384 11459 852 1471 0 10904 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 49536
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1778.94
CPU system time (s): 17.8213
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 66520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.94
system time used= 17.8213
maximum resident set size= 61128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51478
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= 17
involuntary context switches= 1859
runsolver used 6.13807 second user time and 10.5394 second system time
The end