0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693217-1338029237.opb>
0.00/0.00 c original problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 476 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 476
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.760000e+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, 27 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 27 chg coeffs, 476 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (round 3) 0 del vars, 63 del conss, 161 add conss, 0 chg bounds, 213 chg sides, 570 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (round 4) 0 del vars, 99 del conss, 179 add conss, 0 chg bounds, 277 chg sides, 680 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (round 5) 0 del vars, 102 del conss, 182 add conss, 0 chg bounds, 284 chg sides, 691 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 102 del conss, 182 add conss, 0 chg bounds, 286 chg sides, 696 chg coeffs, 476 upgd conss, 210 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 51/476 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c presolving (7 rounds):
0.00/0.04 c 0 deleted vars, 102 deleted constraints, 182 added constraints, 0 tightened bounds, 0 added holes, 286 changed sides, 696 changed coefficients
0.00/0.04 c 210 implications, 0 cliques
0.00/0.04 c presolved problem has 476 variables (476 bin, 0 int, 0 impl, 0 cont) and 556 constraints
0.00/0.04 c 450 constraints of type <knapsack>
0.00/0.04 c 104 constraints of type <setppc>
0.00/0.04 c 2 constraints of type <logicor>
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 -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.89/0.95 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.95 c t 1.0s| 1 | 0 | 10680 | - |2714k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 4.760000e+02 | 216.22%
0.89/0.95 o 342
0.89/0.95 c r 1.0s| 1 | 0 | 10680 | - |2728k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.420000e+02 | 127.20%
0.89/0.96 o 341
0.89/0.96 c R 1.0s| 1 | 0 | 10680 | - |2741k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.410000e+02 | 126.54%
0.89/0.96 o 340
0.89/0.96 c s 1.0s| 1 | 0 | 10680 | - |2755k| 0 | 329 | 476 | 556 | 476 | 556 | 0 | 0 | 0 | 1.505268e+02 | 3.400000e+02 | 125.87%
1.59/1.67 c 1.7s| 1 | 0 | 14782 | - |3052k| 0 | 385 | 476 | 556 | 476 | 771 | 215 | 0 | 0 | 1.568833e+02 | 3.400000e+02 | 116.72%
1.89/1.90 o 212
1.89/1.90 c b 1.7s| 1 | 0 | 14782 | - |3066k| 0 | 385 | 476 | 556 | 476 | 771 | 215 | 0 | 0 | 1.568833e+02 | 2.120000e+02 | 35.13%
2.38/2.49 c 2.5s| 1 | 0 | 18664 | - |3296k| 0 | 427 | 476 | 556 | 476 | 949 | 393 | 0 | 0 | 1.600657e+02 | 2.120000e+02 | 32.45%
3.19/3.23 c 3.2s| 1 | 0 | 21191 | - |3503k| 0 | 429 | 476 | 556 | 476 |1093 | 537 | 0 | 0 | 1.619218e+02 | 2.120000e+02 | 30.93%
4.09/4.11 c 4.1s| 1 | 0 | 24503 | - |3640k| 0 | 427 | 476 | 556 | 476 |1193 | 637 | 0 | 0 | 1.627370e+02 | 2.120000e+02 | 30.27%
4.69/4.71 c 4.7s| 1 | 0 | 25552 | - |3710k| 0 | 436 | 476 | 556 | 476 |1264 | 708 | 0 | 0 | 1.631395e+02 | 2.120000e+02 | 29.95%
5.19/5.25 c 5.3s| 1 | 0 | 26104 | - |3746k| 0 | 440 | 476 | 556 | 476 |1301 | 745 | 0 | 0 | 1.633297e+02 | 2.120000e+02 | 29.80%
5.69/5.76 c 5.8s| 1 | 0 | 26432 | - |3766k| 0 | 445 | 476 | 556 | 476 |1324 | 768 | 0 | 0 | 1.634421e+02 | 2.120000e+02 | 29.71%
6.19/6.27 c 6.3s| 1 | 0 | 26860 | - |3788k| 0 | 445 | 476 | 556 | 476 |1341 | 785 | 0 | 0 | 1.635364e+02 | 2.120000e+02 | 29.63%
6.69/6.72 c 6.7s| 1 | 0 | 26965 | - |3800k| 0 | 449 | 476 | 556 | 476 |1348 | 792 | 0 | 0 | 1.635481e+02 | 2.120000e+02 | 29.63%
7.08/7.16 c 7.2s| 1 | 0 | 27010 | - |3808k| 0 | 444 | 476 | 556 | 476 |1351 | 795 | 0 | 0 | 1.635588e+02 | 2.120000e+02 | 29.62%
7.29/7.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.29/7.34 c 7.3s| 1 | 0 | 27024 | - |3815k| 0 | 445 | 476 | 556 | 476 |1301 | 796 | 0 | 0 | 1.635595e+02 | 2.120000e+02 | 29.62%
13.28/13.37 c 13.4s| 1 | 2 | 27024 | - |3836k| 0 | 445 | 476 | 556 | 476 |1301 | 796 | 0 | 37 | 1.635595e+02 | 2.120000e+02 | 29.62%
35.28/35.38 o 212
35.28/35.38 c p35.4s| 70 | 71 | 54087 | 392.2 |4693k| 53 | - | 476 | 556 | 476 | 972 | 796 | 0 | 224 | 1.637511e+02 | 2.120000e+02 | 29.46%
35.28/35.38 o 209
35.28/35.38 c p35.4s| 70 | 71 | 54095 | 392.3 |4695k| 53 | - | 476 | 556 | 476 | 972 | 796 | 0 | 224 | 1.637511e+02 | 2.090000e+02 | 27.63%
35.28/35.38 o 208
35.28/35.38 c p35.4s| 70 | 71 | 54098 | 392.4 |4696k| 53 | - | 476 | 556 | 476 | 972 | 796 | 0 | 224 | 1.637511e+02 | 2.080000e+02 | 27.02%
35.28/35.39 o 207
35.28/35.39 c b35.4s| 71 | 70 | 54145 | 387.4 |4595k| 53 | - | 476 | 556 | 476 | 972 | 796 | 0 | 224 | 1.637511e+02 | 2.070000e+02 | 26.41%
39.28/39.34 c 39.3s| 100 | 101 | 74233 | 476.9 |4648k| 53 | 258 | 476 | 556 | 476 | 972 | 796 | 0 | 238 | 1.639238e+02 | 2.070000e+02 | 26.28%
44.88/44.94 c 44.9s| 200 | 201 |133565 | 535.4 |4808k| 92 | 208 | 476 | 557 | 476 | 972 | 796 | 1 | 250 | 1.639238e+02 | 2.070000e+02 | 26.28%
46.78/46.81 c 46.8s| 300 | 301 |146806 | 400.6 |4907k| 107 | 154 | 476 | 557 | 476 | 972 | 796 | 1 | 274 | 1.639238e+02 | 2.070000e+02 | 26.28%
48.68/48.75 c 48.7s| 400 | 401 |161325 | 336.6 |4993k| 107 | 141 | 476 | 559 | 476 | 972 | 796 | 3 | 306 | 1.639238e+02 | 2.070000e+02 | 26.28%
53.47/53.52 c 53.5s| 500 | 501 |194526 | 335.7 |5082k| 108 | 190 | 476 | 559 | 476 | 972 | 796 | 3 | 336 | 1.639470e+02 | 2.070000e+02 | 26.26%
56.78/56.83 o 206
56.78/56.83 c p56.8s| 551 | 552 |216129 | 343.8 |5277k| 108 | - | 476 | 559 | 476 | 972 | 796 | 3 | 365 | 1.639915e+02 | 2.060000e+02 | 25.62%
56.78/56.83 o 206
56.78/56.83 c p56.8s| 551 | 552 |216136 | 343.8 |5278k| 108 | - | 476 | 559 | 476 | 972 | 796 | 3 | 365 | 1.639915e+02 | 2.060000e+02 | 25.62%
56.78/56.83 o 205
56.78/56.83 c p56.8s| 551 | 552 |216144 | 343.9 |5279k| 108 | - | 476 | 559 | 476 | 972 | 796 | 3 | 365 | 1.639915e+02 | 2.050000e+02 | 25.01%
56.78/56.83 o 204
56.78/56.83 c p56.8s| 551 | 552 |216145 | 343.9 |5280k| 108 | - | 476 | 559 | 476 | 972 | 796 | 3 | 365 | 1.639915e+02 | 2.040000e+02 | 24.40%
56.78/56.85 o 203
56.78/56.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.78/56.85 c b56.9s| 552 | 553 |216232 | 343.4 |5135k| 108 | 217 | 476 | 559 | 476 | 972 | 796 | 3 | 365 | 1.639915e+02 | 2.030000e+02 | 23.79%
58.18/58.24 c 58.2s| 600 | 601 |226950 | 333.8 |5170k| 108 | 167 | 476 | 559 | 476 | 972 | 796 | 3 | 383 | 1.639915e+02 | 2.030000e+02 | 23.79%
62.87/62.99 c 63.0s| 700 | 701 |260859 | 334.5 |5253k| 119 | 140 | 476 | 564 | 476 | 972 | 796 | 8 | 434 | 1.640385e+02 | 2.030000e+02 | 23.75%
68.28/68.37 o 203
68.28/68.37 c l68.4s| 772 | 773 |294945 | 347.5 |5473k| 119 | - | 476 | 564 | 476 | 972 | 796 | 8 | 470 | 1.641301e+02 | 2.030000e+02 | 23.68%
68.28/68.37 o 202
68.28/68.37 c l68.4s| 772 | 773 |294946 | 347.5 |5473k| 119 | - | 476 | 564 | 476 | 972 | 796 | 8 | 470 | 1.641301e+02 | 2.020000e+02 | 23.07%
68.28/68.39 o 201
68.28/68.39 c b68.4s| 773 | 774 |295066 | 347.2 |5322k| 119 | 212 | 476 | 564 | 476 | 972 | 796 | 8 | 470 | 1.641301e+02 | 2.010000e+02 | 22.46%
68.97/69.09 c 69.1s| 800 | 801 |300466 | 342.2 |5338k| 119 | 164 | 476 | 564 | 476 | 972 | 796 | 8 | 479 | 1.641301e+02 | 2.010000e+02 | 22.46%
76.07/76.10 c 76.1s| 900 | 899 |345451 | 354.2 |5417k| 119 | 156 | 476 | 564 | 476 | 972 | 796 | 8 | 537 | 1.642235e+02 | 2.010000e+02 | 22.39%
80.57/80.63 c 80.6s| 1000 | 999 |376131 | 349.5 |5500k| 119 | 135 | 476 | 564 | 476 | 972 | 796 | 8 | 568 | 1.642402e+02 | 2.010000e+02 | 22.38%
82.97/83.07 o 199
82.97/83.07 c p83.1s| 1012 | 999 |388925 | 358.0 |5663k| 119 | - | 476 | 564 | 476 | 972 | 796 | 8 | 586 | 1.642551e+02 | 1.990000e+02 | 21.15%
82.97/83.08 o 199
82.97/83.08 c p83.1s| 1012 | 999 |388933 | 358.0 |5666k| 119 | - | 476 | 564 | 476 | 972 | 796 | 8 | 586 | 1.642551e+02 | 1.990000e+02 | 21.15%
84.37/84.44 c 84.4s| 1100 | 1083 |401136 | 340.4 |5572k| 119 | 174 | 476 | 564 | 476 | 972 | 796 | 8 | 590 | 1.642551e+02 | 1.990000e+02 | 21.15%
87.57/87.61 c 87.6s| 1200 | 1183 |427067 | 333.6 |5651k| 119 | 274 | 476 | 564 | 476 | 972 | 796 | 8 | 601 | 1.642551e+02 | 1.990000e+02 | 21.15%
91.37/91.45 c 91.5s| 1300 | 1283 |460167 | 333.4 |5733k| 119 | 234 | 476 | 564 | 476 | 972 | 796 | 8 | 603 | 1.642551e+02 | 1.990000e+02 | 21.15%
94.37/94.48 c 94.5s| 1400 | 1383 |489364 | 330.5 |5815k| 119 | 130 | 476 | 570 | 476 | 972 | 796 | 14 | 603 | 1.642551e+02 | 1.990000e+02 | 21.15%
96.17/96.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
96.17/96.28 c 96.3s| 1500 | 1481 |505664 | 319.3 |5897k| 119 | 131 | 476 | 570 | 476 | 972 | 796 | 14 | 604 | 1.642551e+02 | 1.990000e+02 | 21.15%
99.07/99.18 c 99.2s| 1600 | 1573 |528063 | 313.3 |5970k| 119 | 173 | 476 | 570 | 476 | 972 | 796 | 14 | 629 | 1.642551e+02 | 1.990000e+02 | 21.15%
100.97/101.05 o 196
100.97/101.05 c C 101s| 1612 | 1496 |530208 | 312.3 |5914k| 119 | 415 | 476 | 570 | 476 | 972 | 796 | 14 | 667 | 1.642863e+02 | 1.960000e+02 | 19.30%
106.77/106.82 c 107s| 1700 | 1582 |572458 | 321.0 |5982k| 119 | 238 | 476 | 570 | 476 | 972 | 796 | 14 | 689 | 1.643031e+02 | 1.960000e+02 | 19.29%
113.56/113.63 c 114s| 1800 | 1676 |617078 | 328.0 |6057k| 119 | 409 | 476 | 570 | 476 | 972 | 796 | 14 | 740 | 1.643441e+02 | 1.960000e+02 | 19.26%
119.66/119.79 c 120s| 1900 | 1776 |663529 | 335.2 |6132k| 119 | 144 | 476 | 570 | 476 | 972 | 796 | 14 | 753 | 1.643764e+02 | 1.960000e+02 | 19.24%
124.17/124.28 c 124s| 2000 | 1864 |716600 | 345.0 |6204k| 119 | 262 | 476 | 570 | 476 | 972 | 796 | 14 | 754 | 1.643764e+02 | 1.960000e+02 | 19.24%
126.16/126.22 c 126s| 2100 | 1954 |733959 | 336.8 |6276k| 119 | 230 | 476 | 570 | 476 | 972 | 796 | 14 | 754 | 1.643764e+02 | 1.960000e+02 | 19.24%
132.16/132.23 c 132s| 2200 | 2042 |781499 | 343.1 |6351k| 119 | - | 476 | 570 | 476 | 972 | 796 | 14 | 755 | 1.643992e+02 | 1.960000e+02 | 19.22%
135.86/135.90 c 136s| 2300 | 2138 |812436 | 341.6 |6422k| 119 | 269 | 476 | 570 | 476 | 972 | 796 | 14 | 755 | 1.643992e+02 | 1.960000e+02 | 19.22%
139.86/139.94 c 140s| 2400 | 2234 |841396 | 339.5 |6499k| 119 | 188 | 476 | 570 | 476 | 972 | 796 | 14 | 789 | 1.643992e+02 | 1.960000e+02 | 19.22%
142.97/143.02 c 143s| 2500 | 2334 |864508 | 335.1 |6578k| 119 | 165 | 476 | 570 | 476 | 972 | 796 | 14 | 819 | 1.643992e+02 | 1.960000e+02 | 19.22%
149.06/149.13 c 149s| 2600 | 2430 |905023 | 337.8 |6652k| 119 | 261 | 476 | 570 | 476 | 972 | 796 | 14 | 874 | 1.644045e+02 | 1.960000e+02 | 19.22%
154.15/154.25 c 154s| 2700 | 2530 |942105 | 339.0 |6727k| 119 | 391 | 476 | 570 | 476 | 972 | 796 | 14 | 895 | 1.644127e+02 | 1.960000e+02 | 19.21%
159.36/159.42 c 159s| 2800 | 2630 |985979 | 342.6 |6805k| 119 | 174 | 476 | 577 | 476 | 972 | 796 | 21 | 895 | 1.644294e+02 | 1.960000e+02 | 19.20%
164.97/165.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.97/165.05 c 165s| 2900 | 2722 | 1030k| 346.0 |6879k| 119 | 156 | 476 | 577 | 476 | 972 | 796 | 21 | 897 | 1.644382e+02 | 1.960000e+02 | 19.19%
167.76/167.84 c 168s| 3000 | 2814 | 1054k| 342.7 |6952k| 119 | 152 | 476 | 577 | 476 | 972 | 796 | 21 | 897 | 1.644382e+02 | 1.960000e+02 | 19.19%
171.65/171.78 c 172s| 3100 | 2904 | 1088k| 342.6 |7025k| 119 | - | 476 | 577 | 476 | 972 | 796 | 21 | 897 | 1.644487e+02 | 1.960000e+02 | 19.19%
174.96/175.08 c 175s| 3200 | 3002 | 1115k| 340.3 |7101k| 119 | 212 | 476 | 577 | 476 | 972 | 796 | 21 | 908 | 1.644487e+02 | 1.960000e+02 | 19.19%
176.96/177.03 c 177s| 3300 | 3090 | 1130k| 334.6 |7169k| 119 | 278 | 476 | 577 | 476 | 972 | 796 | 21 | 935 | 1.644487e+02 | 1.960000e+02 | 19.19%
180.26/180.34 c 180s| 3400 | 3186 | 1155k| 331.9 |7247k| 119 | 138 | 476 | 577 | 476 | 972 | 796 | 21 | 968 | 1.644487e+02 | 1.960000e+02 | 19.19%
183.86/183.98 c 184s| 3500 | 3252 | 1179k| 329.4 |7302k| 119 | 233 | 476 | 577 | 476 | 972 | 796 | 21 | 996 | 1.644756e+02 | 1.960000e+02 | 19.17%
189.66/189.78 c 190s| 3600 | 3342 | 1219k| 331.3 |7375k| 119 | 148 | 476 | 577 | 476 | 972 | 796 | 21 |1039 | 1.644937e+02 | 1.960000e+02 | 19.15%
190.95/191.08 c 191s| 3700 | 3418 | 1231k| 325.7 |7442k| 119 | 174 | 476 | 577 | 476 | 972 | 796 | 21 |1044 | 1.644937e+02 | 1.960000e+02 | 19.15%
193.56/193.68 c 194s| 3800 | 3478 | 1249k| 321.9 |7494k| 119 | 135 | 476 | 577 | 476 | 972 | 796 | 21 |1060 | 1.645051e+02 | 1.960000e+02 | 19.15%
199.06/199.14 c 199s| 3900 | 3552 | 1293k| 324.9 |7547k| 119 | 308 | 476 | 577 | 476 | 972 | 796 | 21 |1062 | 1.645372e+02 | 1.960000e+02 | 19.12%
201.25/201.31 c 201s| 4000 | 3634 | 1311k| 321.3 |7619k| 119 | 155 | 476 | 577 | 476 | 972 | 796 | 21 |1062 | 1.645540e+02 | 1.960000e+02 | 19.11%
204.85/204.97 c 205s| 4100 | 3728 | 1343k| 321.1 |7688k| 119 | 389 | 476 | 577 | 476 | 972 | 796 | 21 |1063 | 1.645701e+02 | 1.960000e+02 | 19.10%
208.45/208.51 c 209s| 4200 | 3806 | 1372k| 320.4 |7754k| 119 | 148 | 476 | 577 | 476 | 972 | 796 | 21 |1063 | 1.645723e+02 | 1.960000e+02 | 19.10%
212.45/212.57 c 213s| 4300 | 3890 | 1407k| 321.1 |7824k| 119 | 377 | 476 | 580 | 476 | 972 | 796 | 24 |1063 | 1.645772e+02 | 1.960000e+02 | 19.09%
217.35/217.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.35/217.44 c 217s| 4400 | 3976 | 1445k| 322.5 |7892k| 119 | 150 | 476 | 580 | 476 | 972 | 796 | 24 |1080 | 1.645795e+02 | 1.960000e+02 | 19.09%
220.75/220.81 c 221s| 4500 | 4056 | 1470k| 320.9 |7957k| 119 | 161 | 476 | 580 | 476 | 972 | 796 | 24 |1104 | 1.645835e+02 | 1.960000e+02 | 19.09%
223.85/223.97 c 224s| 4600 | 4144 | 1490k| 318.3 |8024k| 119 | 168 | 476 | 580 | 476 | 972 | 796 | 24 |1136 | 1.645915e+02 | 1.960000e+02 | 19.08%
225.55/225.62 c 226s| 4700 | 4222 | 1505k| 314.5 |8093k| 119 | 103 | 476 | 580 | 476 | 972 | 796 | 24 |1150 | 1.645915e+02 | 1.960000e+02 | 19.08%
229.35/229.44 c 229s| 4800 | 4258 | 1529k| 313.0 |8126k| 119 | 94 | 476 | 580 | 476 | 972 | 796 | 24 |1170 | 1.646090e+02 | 1.960000e+02 | 19.07%
233.45/233.57 c 234s| 4900 | 4290 | 1556k| 312.2 |8157k| 119 | - | 476 | 580 | 476 | 972 | 796 | 24 |1193 | 1.646213e+02 | 1.960000e+02 | 19.06%
239.25/239.34 c 239s| 5000 | 4326 | 1595k| 313.8 |8182k| 121 | - | 476 | 580 | 476 | 972 | 796 | 24 |1218 | 1.646275e+02 | 1.960000e+02 | 19.06%
244.54/244.65 c 245s| 5100 | 4368 | 1635k| 315.5 |8208k| 121 | - | 476 | 580 | 476 | 972 | 796 | 24 |1224 | 1.646383e+02 | 1.960000e+02 | 19.05%
247.24/247.35 c 247s| 5200 | 4402 | 1657k| 313.6 |8240k| 121 | 92 | 476 | 580 | 476 | 972 | 796 | 24 |1224 | 1.646561e+02 | 1.960000e+02 | 19.04%
250.75/250.87 c 251s| 5300 | 4426 | 1685k| 313.0 |8257k| 123 | 96 | 476 | 580 | 476 | 972 | 796 | 24 |1224 | 1.646667e+02 | 1.960000e+02 | 19.03%
252.24/252.38 c 252s| 5400 | 4440 | 1697k| 309.3 |8270k| 123 | - | 476 | 580 | 476 | 972 | 796 | 24 |1226 | 1.646686e+02 | 1.960000e+02 | 19.03%
255.75/255.84 c 256s| 5500 | 4464 | 1724k| 308.7 |8286k| 123 | 121 | 476 | 580 | 476 | 972 | 796 | 24 |1226 | 1.646748e+02 | 1.960000e+02 | 19.02%
258.74/258.83 c 259s| 5600 | 4510 | 1747k| 307.2 |8330k| 123 | - | 476 | 580 | 476 | 972 | 796 | 24 |1226 | 1.647019e+02 | 1.960000e+02 | 19.00%
259.44/259.50 c 260s| 5700 | 4524 | 1752k| 302.8 |8339k| 123 | 394 | 476 | 580 | 476 | 972 | 796 | 24 |1226 | 1.647052e+02 | 1.960000e+02 | 19.00%
262.85/262.95 c 263s| 5800 | 4548 | 1778k| 302.1 |8355k| 123 | 366 | 476 | 580 | 476 | 972 | 796 | 24 |1226 | 1.647151e+02 | 1.960000e+02 | 18.99%
267.04/267.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.04/267.14 c 267s| 5900 | 4614 | 1809k| 302.2 |8409k| 123 | 146 | 476 | 580 | 476 | 972 | 796 | 24 |1243 | 1.647204e+02 | 1.960000e+02 | 18.99%
268.54/268.66 c 269s| 6000 | 4676 | 1820k| 298.9 |8455k| 123 | 150 | 476 | 580 | 476 | 972 | 796 | 24 |1267 | 1.647204e+02 | 1.960000e+02 | 18.99%
273.54/273.64 c 274s| 6100 | 4744 | 1854k| 299.6 |8506k| 123 | 384 | 476 | 580 | 476 | 972 | 796 | 24 |1291 | 1.647329e+02 | 1.960000e+02 | 18.98%
276.14/276.21 c 276s| 6200 | 4812 | 1872k| 297.8 |8563k| 123 | 163 | 476 | 580 | 476 | 972 | 796 | 24 |1311 | 1.647329e+02 | 1.960000e+02 | 18.98%
276.84/276.95 c 277s| 6300 | 4858 | 1879k| 294.1 |8603k| 123 | 165 | 476 | 580 | 476 | 972 | 796 | 24 |1316 | 1.647329e+02 | 1.960000e+02 | 18.98%
282.74/282.86 c 283s| 6400 | 4914 | 1922k| 296.2 |8651k| 123 | 176 | 476 | 580 | 476 | 972 | 796 | 24 |1332 | 1.647457e+02 | 1.960000e+02 | 18.97%
285.74/285.89 c 286s| 6500 | 4972 | 1947k| 295.4 |8696k| 123 | 137 | 476 | 580 | 476 | 972 | 796 | 24 |1334 | 1.647475e+02 | 1.960000e+02 | 18.97%
287.43/287.57 c 288s| 6600 | 5038 | 1968k| 294.2 |8754k| 123 | 142 | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647475e+02 | 1.960000e+02 | 18.97%
288.24/288.38 c 288s| 6700 | 5066 | 1974k| 290.8 |8783k| 123 | 378 | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647539e+02 | 1.960000e+02 | 18.97%
292.74/292.83 c 293s| 6800 | 5096 | 2009k| 291.6 |8808k| 123 | 107 | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647670e+02 | 1.960000e+02 | 18.96%
295.24/295.33 c 295s| 6900 | 5136 | 2029k| 290.3 |8838k| 123 | 114 | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647701e+02 | 1.960000e+02 | 18.95%
297.43/297.51 c 298s| 7000 | 5204 | 2048k| 288.8 |8893k| 123 | 133 | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647800e+02 | 1.960000e+02 | 18.95%
300.34/300.45 c 300s| 7100 | 5264 | 2071k| 288.0 |8946k| 123 | - | 476 | 580 | 476 | 972 | 796 | 24 |1336 | 1.647852e+02 | 1.960000e+02 | 18.94%
306.14/306.23 c 306s| 7200 | 5344 | 2109k| 289.3 |9005k| 123 | 141 | 476 | 580 | 476 | 972 | 796 | 24 |1371 | 1.647990e+02 | 1.960000e+02 | 18.93%
307.84/307.97 c 308s| 7300 | 5412 | 2119k| 286.6 |9059k| 123 | 157 | 476 | 580 | 476 | 972 | 796 | 24 |1390 | 1.647992e+02 | 1.960000e+02 | 18.93%
310.74/310.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
310.74/310.87 c 311s| 7400 | 5474 | 2142k| 285.9 |9111k| 123 | 94 | 476 | 580 | 476 | 972 | 796 | 24 |1402 | 1.647992e+02 | 1.960000e+02 | 18.93%
311.14/311.22 c 311s| 7500 | 5514 | 2146k| 282.6 |9140k| 123 | 115 | 476 | 580 | 476 | 972 | 796 | 24 |1402 | 1.647992e+02 | 1.960000e+02 | 18.93%
311.43/311.59 c 312s| 7600 | 5526 | 2149k| 279.3 |9158k| 123 | 97 | 476 | 580 | 476 | 972 | 796 | 24 |1413 | 1.647992e+02 | 1.960000e+02 | 18.93%
314.33/314.47 c 314s| 7700 | 5540 | 2168k| 278.2 |9167k| 123 | 114 | 476 | 580 | 476 | 972 | 796 | 24 |1444 | 1.648032e+02 | 1.960000e+02 | 18.93%
316.23/316.32 c 316s| 7800 | 5566 | 2183k| 276.5 |9191k| 125 | 124 | 476 | 580 | 476 | 972 | 796 | 24 |1444 | 1.648057e+02 | 1.960000e+02 | 18.93%
317.43/317.54 c 318s| 7900 | 5580 | 2189k| 273.8 |9207k| 125 | 373 | 476 | 580 | 476 | 972 | 796 | 24 |1456 | 1.648063e+02 | 1.960000e+02 | 18.93%
320.73/320.86 c 321s| 8000 | 5600 | 2213k| 273.4 |9223k| 125 | - | 476 | 580 | 476 | 972 | 796 | 24 |1464 | 1.648063e+02 | 1.960000e+02 | 18.93%
323.13/323.21 c 323s| 8100 | 5626 | 2232k| 272.3 |9242k| 125 | - | 476 | 580 | 476 | 972 | 796 | 24 |1471 | 1.648089e+02 | 1.960000e+02 | 18.93%
327.03/327.14 c 327s| 8200 | 5670 | 2261k| 272.6 |9278k| 125 | 370 | 476 | 580 | 476 | 972 | 796 | 24 |1472 | 1.648155e+02 | 1.960000e+02 | 18.92%
329.53/329.65 c 330s| 8300 | 5708 | 2281k| 271.6 |9313k| 126 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648163e+02 | 1.960000e+02 | 18.92%
332.33/332.40 c 332s| 8400 | 5736 | 2301k| 270.8 |9326k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648273e+02 | 1.960000e+02 | 18.91%
333.14/333.29 c 333s| 8500 | 5762 | 2308k| 268.5 |9351k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648336e+02 | 1.960000e+02 | 18.91%
336.43/336.57 c 337s| 8600 | 5802 | 2334k| 268.3 |9386k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648338e+02 | 1.960000e+02 | 18.91%
338.02/338.19 c 338s| 8700 | 5838 | 2346k| 266.7 |9415k| 129 | 118 | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648403e+02 | 1.960000e+02 | 18.90%
339.63/339.74 o 195
339.63/339.74 c p 340s| 8733 | 5576 | 2358k| 267.0 |9195k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648438e+02 | 1.950000e+02 | 18.29%
339.63/339.75 o 194
339.63/339.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
339.63/339.75 c p 340s| 8733 | 5050 | 2358k| 267.0 |8791k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648438e+02 | 1.940000e+02 | 17.69%
339.63/339.75 o 193
339.63/339.75 c p 340s| 8733 | 4601 | 2358k| 267.0 |8446k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1474 | 1.648438e+02 | 1.930000e+02 | 17.08%
343.22/343.34 c 343s| 8800 | 4638 | 2386k| 268.1 |8330k| 129 | 232 | 476 | 580 | 476 | 972 | 796 | 24 |1475 | 1.648516e+02 | 1.930000e+02 | 17.08%
349.43/349.54 c 350s| 8900 | 4708 | 2435k| 270.7 |8388k| 129 | 172 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648558e+02 | 1.930000e+02 | 17.07%
352.82/353.00 c 353s| 9000 | 4778 | 2464k| 270.9 |8446k| 129 | 153 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648568e+02 | 1.930000e+02 | 17.07%
359.22/359.32 c 359s| 9100 | 4852 | 2514k| 273.4 |8504k| 129 | 168 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648594e+02 | 1.930000e+02 | 17.07%
361.22/361.38 c 361s| 9200 | 4914 | 2533k| 272.4 |8567k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648594e+02 | 1.930000e+02 | 17.07%
363.82/363.93 c 364s| 9300 | 4962 | 2554k| 271.8 |8604k| 129 | 245 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648594e+02 | 1.930000e+02 | 17.07%
364.92/365.10 c 365s| 9400 | 5026 | 2565k| 270.1 |8665k| 129 | 127 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648594e+02 | 1.930000e+02 | 17.07%
367.02/367.16 c 367s| 9500 | 5062 | 2582k| 269.0 |8699k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648621e+02 | 1.930000e+02 | 17.07%
371.12/371.21 c 371s| 9600 | 5104 | 2615k| 269.7 |8735k| 129 | 96 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648670e+02 | 1.930000e+02 | 17.06%
372.93/373.09 c 373s| 9700 | 5120 | 2629k| 268.4 |8754k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648684e+02 | 1.930000e+02 | 17.06%
374.73/374.88 c 375s| 9800 | 5138 | 2644k| 267.1 |8777k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648734e+02 | 1.930000e+02 | 17.06%
378.33/378.41 c 378s| 9900 | 5158 | 2671k| 267.2 |8790k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648795e+02 | 1.930000e+02 | 17.06%
382.23/382.38 c 382s| 10000 | 5190 | 2701k| 267.5 |8804k| 129 | 386 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648833e+02 | 1.930000e+02 | 17.05%
385.12/385.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
385.12/385.28 c 385s| 10100 | 5214 | 2725k| 267.2 |8825k| 129 | 113 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648867e+02 | 1.930000e+02 | 17.05%
389.92/390.09 c 390s| 10200 | 5262 | 2762k| 268.2 |8863k| 129 | 114 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648900e+02 | 1.930000e+02 | 17.05%
391.82/391.92 c 392s| 10300 | 5274 | 2776k| 267.0 |8876k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648926e+02 | 1.930000e+02 | 17.05%
394.42/394.55 c 395s| 10400 | 5328 | 2798k| 266.5 |8923k| 129 | 125 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648936e+02 | 1.930000e+02 | 17.05%
398.12/398.21 c 398s| 10500 | 5382 | 2826k| 266.7 |8975k| 129 | 109 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.648957e+02 | 1.930000e+02 | 17.04%
399.62/399.72 c 400s| 10600 | 5404 | 2837k| 265.2 |8994k| 129 | 363 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.649036e+02 | 1.930000e+02 | 17.04%
412.33/412.41 c 412s| 10700 | 5436 | 2973k| 275.4 |9024k| 129 | 377 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.649049e+02 | 1.930000e+02 | 17.04%
419.52/419.65 c 420s| 10800 | 5494 | 3030k| 278.2 |9069k| 129 | 367 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.649119e+02 | 1.930000e+02 | 17.03%
423.12/423.25 c 423s| 10900 | 5556 | 3058k| 278.2 |9115k| 129 | 353 | 476 | 580 | 476 | 972 | 796 | 24 |1476 | 1.649170e+02 | 1.930000e+02 | 17.03%
427.31/427.48 c 427s| 11000 | 5584 | 3085k| 278.1 |9139k| 129 | 115 | 476 | 580 | 476 | 972 | 796 | 24 |1497 | 1.649196e+02 | 1.930000e+02 | 17.03%
431.81/431.93 c 432s| 11100 | 5632 | 3108k| 277.7 |9183k| 129 | 107 | 476 | 580 | 476 | 972 | 796 | 24 |1531 | 1.649208e+02 | 1.930000e+02 | 17.03%
436.01/436.16 c 436s| 11200 | 5672 | 3141k| 278.1 |9218k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1531 | 1.649300e+02 | 1.930000e+02 | 17.02%
438.92/439.01 c 439s| 11300 | 5706 | 3160k| 277.4 |9245k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1543 | 1.649366e+02 | 1.930000e+02 | 17.01%
441.12/441.21 c 441s| 11400 | 5722 | 3178k| 276.5 |9257k| 129 | 123 | 476 | 580 | 476 | 972 | 796 | 24 |1547 | 1.649376e+02 | 1.930000e+02 | 17.01%
444.52/444.66 c 445s| 11500 | 5748 | 3205k| 276.4 |9282k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1548 | 1.649385e+02 | 1.930000e+02 | 17.01%
445.61/445.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.61/445.70 c 446s| 11600 | 5766 | 3213k| 274.7 |9295k| 129 | 111 | 476 | 580 | 476 | 972 | 796 | 24 |1549 | 1.649404e+02 | 1.930000e+02 | 17.01%
448.31/448.40 c 448s| 11700 | 5796 | 3234k| 274.1 |9313k| 129 | 117 | 476 | 580 | 476 | 972 | 796 | 24 |1550 | 1.649414e+02 | 1.930000e+02 | 17.01%
450.81/450.96 c 451s| 11800 | 5838 | 3253k| 273.5 |9352k| 129 | 113 | 476 | 580 | 476 | 972 | 796 | 24 |1550 | 1.649428e+02 | 1.930000e+02 | 17.01%
454.81/454.92 c 455s| 11900 | 5868 | 3285k| 273.9 |9378k| 129 | 142 | 476 | 580 | 476 | 972 | 796 | 24 |1550 | 1.649437e+02 | 1.930000e+02 | 17.01%
457.61/457.75 c 458s| 12000 | 5906 | 3307k| 273.4 |9418k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1550 | 1.649463e+02 | 1.930000e+02 | 17.01%
459.51/459.66 c 460s| 12100 | 5932 | 3323k| 272.5 |9446k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1551 | 1.649477e+02 | 1.930000e+02 | 17.01%
465.01/465.16 c 465s| 12200 | 5978 | 3364k| 273.6 |9481k| 129 | 119 | 476 | 580 | 476 | 972 | 796 | 24 |1560 | 1.649545e+02 | 1.930000e+02 | 17.00%
467.01/467.18 c 467s| 12300 | 6014 | 3375k| 272.3 |9521k| 129 | 130 | 476 | 580 | 476 | 972 | 796 | 24 |1593 | 1.649642e+02 | 1.930000e+02 | 17.00%
470.11/470.27 c 470s| 12400 | 6034 | 3396k| 271.7 |9529k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1613 | 1.649689e+02 | 1.930000e+02 | 16.99%
471.11/471.24 c 471s| 12500 | 6056 | 3403k| 270.1 |9548k| 129 | 123 | 476 | 580 | 476 | 972 | 796 | 24 |1619 | 1.649711e+02 | 1.930000e+02 | 16.99%
473.11/473.25 c 473s| 12600 | 6066 | 3416k| 269.0 |9561k| 129 | 129 | 476 | 580 | 476 | 972 | 796 | 24 |1634 | 1.649737e+02 | 1.930000e+02 | 16.99%
477.91/478.09 c 478s| 12700 | 6116 | 3449k| 269.5 |9602k| 129 | 131 | 476 | 580 | 476 | 972 | 796 | 24 |1656 | 1.649755e+02 | 1.930000e+02 | 16.99%
481.10/481.24 c 481s| 12800 | 6160 | 3470k| 269.1 |9643k| 129 | 110 | 476 | 580 | 476 | 972 | 796 | 24 |1669 | 1.649783e+02 | 1.930000e+02 | 16.99%
485.50/485.63 c 486s| 12900 | 6194 | 3501k| 269.4 |9669k| 129 | 379 | 476 | 580 | 476 | 972 | 796 | 24 |1687 | 1.649937e+02 | 1.930000e+02 | 16.97%
488.11/488.28 c 488s| 13000 | 6240 | 3521k| 268.8 |9708k| 129 | 112 | 476 | 580 | 476 | 972 | 796 | 24 |1689 | 1.649973e+02 | 1.930000e+02 | 16.97%
491.70/491.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
491.70/491.83 c 492s| 13100 | 6280 | 3548k| 268.9 |9743k| 129 | 106 | 476 | 580 | 476 | 972 | 796 | 24 |1690 | 1.649985e+02 | 1.930000e+02 | 16.97%
495.81/495.90 c 496s| 13200 | 6316 | 3579k| 269.2 |9772k| 129 | 385 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650057e+02 | 1.930000e+02 | 16.97%
496.21/496.35 c 496s| 13300 | 6318 | 3583k| 267.4 |9783k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650057e+02 | 1.930000e+02 | 16.97%
498.51/498.63 c 499s| 13400 | 6332 | 3602k| 266.8 |9790k| 129 | 106 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650069e+02 | 1.930000e+02 | 16.96%
500.41/500.52 c 501s| 13500 | 6338 | 3617k| 266.0 |9792k| 129 | 112 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650087e+02 | 1.930000e+02 | 16.96%
501.31/501.41 c 501s| 13600 | 6376 | 3624k| 264.5 |9823k| 129 | 366 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650105e+02 | 1.930000e+02 | 16.96%
505.00/505.11 c 505s| 13700 | 6412 | 3654k| 264.8 |9852k| 129 | 101 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650114e+02 | 1.930000e+02 | 16.96%
507.30/507.40 c 507s| 13800 | 6438 | 3671k| 264.1 |9876k| 129 | 80 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650161e+02 | 1.930000e+02 | 16.96%
507.50/507.67 c 508s| 13900 | 6444 | 3674k| 262.4 |9894k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650161e+02 | 1.930000e+02 | 16.96%
508.60/508.76 c 509s| 14000 | 6456 | 3682k| 261.2 |9906k| 129 | 112 | 476 | 580 | 476 | 972 | 796 | 24 |1691 | 1.650166e+02 | 1.930000e+02 | 16.96%
511.50/511.63 c 512s| 14100 | 6474 | 3700k| 260.6 |9930k| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1713 | 1.650172e+02 | 1.930000e+02 | 16.96%
512.20/512.37 c 512s| 14200 | 6480 | 3706k| 259.1 |9927k| 129 | 391 | 476 | 580 | 476 | 972 | 796 | 24 |1713 | 1.650174e+02 | 1.930000e+02 | 16.96%
514.61/514.74 c 515s| 14300 | 6486 | 3722k| 258.4 |9930k| 129 | - | 476 | 580 | 0 | 0 | 796 | 24 |1723 | 1.650199e+02 | 1.930000e+02 | 16.96%
515.60/515.78 c 516s| 14400 | 6518 | 3729k| 257.1 |9965k| 129 | 104 | 476 | 580 | 476 | 972 | 796 | 24 |1738 | 1.650205e+02 | 1.930000e+02 | 16.96%
519.40/519.51 c 520s| 14500 | 6560 | 3753k| 257.1 |9982k| 129 | 92 | 476 | 580 | 476 | 972 | 796 | 24 |1754 | 1.650225e+02 | 1.930000e+02 | 16.95%
522.00/522.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.00/522.12 c 522s| 14600 | 6600 | 3772k| 256.5 | 10M| 129 | 101 | 476 | 580 | 476 | 972 | 796 | 24 |1771 | 1.650240e+02 | 1.930000e+02 | 16.95%
522.20/522.36 c 522s| 14700 | 6598 | 3774k| 254.9 | 10M| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1774 | 1.650240e+02 | 1.930000e+02 | 16.95%
523.90/524.06 c 524s| 14800 | 6618 | 3787k| 254.1 | 10M| 129 | 102 | 476 | 580 | 476 | 972 | 796 | 24 |1775 | 1.650245e+02 | 1.930000e+02 | 16.95%
527.00/527.13 c 527s| 14900 | 6644 | 3809k| 253.9 | 10M| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1785 | 1.650255e+02 | 1.930000e+02 | 16.95%
530.70/530.81 c 531s| 15000 | 6664 | 3834k| 253.8 | 10M| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1800 | 1.650281e+02 | 1.930000e+02 | 16.95%
533.60/533.72 c 534s| 15100 | 6696 | 3854k| 253.5 | 10M| 129 | 103 | 476 | 580 | 476 | 972 | 796 | 24 |1811 | 1.650301e+02 | 1.930000e+02 | 16.95%
535.20/535.35 c 535s| 15200 | 6728 | 3865k| 252.6 | 10M| 129 | 113 | 476 | 580 | 476 | 972 | 796 | 24 |1818 | 1.650323e+02 | 1.930000e+02 | 16.95%
535.50/535.64 c 536s| 15300 | 6732 | 3868k| 251.1 | 10M| 129 | 122 | 476 | 580 | 476 | 972 | 796 | 24 |1820 | 1.650323e+02 | 1.930000e+02 | 16.95%
537.40/537.53 c 538s| 15400 | 6746 | 3883k| 250.4 | 10M| 129 | 88 | 476 | 580 | 476 | 972 | 796 | 24 |1822 | 1.650325e+02 | 1.930000e+02 | 16.95%
541.50/541.60 c 542s| 15500 | 6786 | 3915k| 250.9 | 10M| 129 | 83 | 476 | 580 | 476 | 972 | 796 | 24 |1823 | 1.650361e+02 | 1.930000e+02 | 16.94%
544.00/544.14 c 544s| 15600 | 6810 | 3935k| 250.5 | 10M| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1824 | 1.650416e+02 | 1.930000e+02 | 16.94%
545.00/545.11 c 545s| 15700 | 6814 | 3942k| 249.4 | 10M| 129 | - | 476 | 580 | 476 | 972 | 796 | 24 |1826 | 1.650431e+02 | 1.930000e+02 | 16.94%
548.39/548.55 c 549s| 15800 | 6868 | 3968k| 249.5 | 10M| 129 | 362 | 476 | 580 | 476 | 972 | 796 | 24 |1827 | 1.650461e+02 | 1.930000e+02 | 16.94%
549.90/550.07 c 550s| 15900 | 6890 | 3979k| 248.6 | 10M| 129 | 381 | 476 | 579 | 476 | 972 | 796 | 24 |1827 | 1.650500e+02 | 1.930000e+02 | 16.93%
555.50/555.60 c 556s| 16000 | 6934 | 4022k| 249.7 | 10M| 129 | 108 | 476 | 579 | 476 | 972 | 796 | 24 |1827 | 1.650530e+02 | 1.930000e+02 | 16.93%
560.90/561.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
560.90/561.03 c 561s| 16100 | 6974 | 4065k| 250.9 | 10M| 129 | 116 | 476 | 579 | 476 | 972 | 796 | 24 |1828 | 1.650568e+02 | 1.930000e+02 | 16.93%
564.00/564.16 c 564s| 16200 | 7014 | 4086k| 250.6 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1846 | 1.650578e+02 | 1.930000e+02 | 16.93%
565.99/566.17 c 566s| 16300 | 7046 | 4102k| 250.0 | 10M| 129 | 94 | 476 | 579 | 476 | 972 | 796 | 24 |1847 | 1.650587e+02 | 1.930000e+02 | 16.93%
568.29/568.44 c 568s| 16400 | 7076 | 4114k| 249.3 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1874 | 1.650606e+02 | 1.930000e+02 | 16.93%
571.49/571.69 c 572s| 16500 | 7106 | 4134k| 248.9 | 10M| 129 | 385 | 476 | 579 | 476 | 972 | 796 | 24 |1897 | 1.650619e+02 | 1.930000e+02 | 16.93%
572.69/572.85 c 573s| 16600 | 7146 | 4143k| 248.0 | 10M| 129 | 121 | 476 | 579 | 476 | 972 | 796 | 24 |1897 | 1.650648e+02 | 1.930000e+02 | 16.92%
573.00/573.18 c 573s| 16700 | 7170 | 4146k| 246.7 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1897 | 1.650648e+02 | 1.930000e+02 | 16.92%
573.30/573.43 c 573s| 16800 | 7172 | 4149k| 245.4 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1897 | 1.650648e+02 | 1.930000e+02 | 16.92%
575.49/575.67 c 576s| 16900 | 7198 | 4165k| 244.9 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1906 | 1.650652e+02 | 1.930000e+02 | 16.92%
579.19/579.38 c 579s| 17000 | 7226 | 4190k| 244.9 | 10M| 129 | 113 | 476 | 579 | 476 | 972 | 796 | 24 |1921 | 1.650656e+02 | 1.930000e+02 | 16.92%
580.19/580.37 c 580s| 17100 | 7254 | 4197k| 243.9 | 10M| 129 | 101 | 476 | 579 | 476 | 972 | 796 | 24 |1921 | 1.650680e+02 | 1.930000e+02 | 16.92%
584.89/585.02 c 585s| 17200 | 7298 | 4230k| 244.4 | 10M| 129 | 371 | 476 | 579 | 476 | 972 | 796 | 24 |1937 | 1.650703e+02 | 1.930000e+02 | 16.92%
585.99/586.12 c 586s| 17300 | 7320 | 4238k| 243.4 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1942 | 1.650708e+02 | 1.930000e+02 | 16.92%
589.19/589.35 c 589s| 17400 | 7354 | 4262k| 243.4 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1944 | 1.650748e+02 | 1.930000e+02 | 16.92%
591.89/592.08 c 592s| 17500 | 7378 | 4283k| 243.2 | 10M| 129 | 116 | 476 | 579 | 476 | 972 | 796 | 24 |1947 | 1.650754e+02 | 1.930000e+02 | 16.92%
594.79/594.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.79/594.97 c 595s| 17600 | 7406 | 4305k| 243.1 | 10M| 129 | 379 | 476 | 579 | 476 | 972 | 796 | 24 |1948 | 1.650871e+02 | 1.930000e+02 | 16.91%
600.29/600.43 c 600s| 17700 | 7466 | 4348k| 244.2 | 10M| 129 | 116 | 476 | 579 | 476 | 972 | 796 | 24 |1949 | 1.650910e+02 | 1.930000e+02 | 16.91%
602.18/602.33 c 602s| 17800 | 7488 | 4362k| 243.6 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1951 | 1.650913e+02 | 1.930000e+02 | 16.90%
603.99/604.19 c 604s| 17900 | 7510 | 4377k| 243.1 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1951 | 1.650921e+02 | 1.930000e+02 | 16.90%
605.09/605.27 c 605s| 18000 | 7528 | 4386k| 242.2 | 10M| 129 | 127 | 476 | 579 | 476 | 972 | 796 | 24 |1952 | 1.650941e+02 | 1.930000e+02 | 16.90%
607.98/608.11 c 608s| 18100 | 7572 | 4408k| 242.1 | 10M| 129 | 392 | 476 | 579 | 476 | 972 | 796 | 24 |1954 | 1.651022e+02 | 1.930000e+02 | 16.90%
611.89/612.02 c 612s| 18200 | 7618 | 4439k| 242.5 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1954 | 1.651038e+02 | 1.930000e+02 | 16.90%
616.19/616.37 c 616s| 18300 | 7658 | 4468k| 242.7 | 10M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |1965 | 1.651057e+02 | 1.930000e+02 | 16.89%
619.78/619.92 c 620s| 18400 | 7720 | 4490k| 242.6 | 10M| 129 | 115 | 476 | 579 | 476 | 972 | 796 | 24 |1983 | 1.651093e+02 | 1.930000e+02 | 16.89%
622.28/622.48 c 622s| 18500 | 7746 | 4507k| 242.2 | 11M| 129 | 377 | 476 | 579 | 476 | 972 | 796 | 24 |1997 | 1.651114e+02 | 1.930000e+02 | 16.89%
625.38/625.56 c 626s| 18600 | 7766 | 4524k| 241.8 | 11M| 129 | 383 | 476 | 579 | 476 | 972 | 796 | 24 |2019 | 1.651116e+02 | 1.930000e+02 | 16.89%
627.38/627.50 c 627s| 18700 | 7780 | 4540k| 241.4 | 11M| 129 | 111 | 476 | 579 | 476 | 972 | 796 | 24 |2019 | 1.651121e+02 | 1.930000e+02 | 16.89%
627.68/627.82 c 628s| 18800 | 7810 | 4543k| 240.3 | 11M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |2019 | 1.651121e+02 | 1.930000e+02 | 16.89%
629.68/629.88 c 630s| 18900 | 7828 | 4560k| 239.9 | 11M| 129 | 116 | 476 | 579 | 476 | 972 | 796 | 24 |2019 | 1.651121e+02 | 1.930000e+02 | 16.89%
631.38/631.58 c 632s| 19000 | 7854 | 4567k| 239.0 | 11M| 129 | 136 | 476 | 579 | 476 | 972 | 796 | 24 |2044 | 1.651130e+02 | 1.930000e+02 | 16.89%
634.18/634.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.18/634.36 c 634s| 19100 | 7888 | 4590k| 238.9 | 11M| 129 | 116 | 476 | 579 | 476 | 972 | 796 | 24 |2044 | 1.651183e+02 | 1.930000e+02 | 16.89%
636.39/636.52 c 637s| 19200 | 7914 | 4607k| 238.6 | 11M| 129 | 108 | 476 | 579 | 476 | 972 | 796 | 24 |2044 | 1.651184e+02 | 1.930000e+02 | 16.89%
638.18/638.34 c 638s| 19300 | 7920 | 4620k| 238.0 | 11M| 129 | - | 476 | 579 | 476 | 972 | 796 | 24 |2053 | 1.651203e+02 | 1.930000e+02 | 16.88%
639.99/640.13 c 640s| 19400 | 7938 | 4633k| 237.5 | 11M| 129 | 120 | 476 | 579 | 476 | 972 | 796 | 24 |2058 | 1.651212e+02 | 1.930000e+02 | 16.88%
643.18/643.32 c 643s| 19500 | 7976 | 4655k| 237.4 | 11M| 129 | 141 | 476 | 579 | 476 | 972 | 796 | 24 |2074 | 1.651256e+02 | 1.930000e+02 | 16.88%
644.68/644.89 c 645s| 19600 | 8010 | 4666k| 236.7 | 11M| 129 | 376 | 476 | 579 | 476 | 972 | 796 | 24 |2076 | 1.651272e+02 | 1.930000e+02 | 16.88%
646.69/646.85 c 647s| 19700 | 8034 | 4682k| 236.3 | 11M| 129 | 105 | 476 | 579 | 476 | 972 | 796 | 24 |2077 | 1.651277e+02 | 1.930000e+02 | 16.88%
651.09/651.22 c 651s| 19800 | 8072 | 4715k| 236.8 | 11M| 129 | 115 | 476 | 579 | 476 | 972 | 796 | 24 |2077 | 1.651321e+02 | 1.930000e+02 | 16.88%
652.88/653.07 c 653s| 19900 | 8086 | 4730k| 236.4 | 11M| 129 | 95 | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651322e+02 | 1.930000e+02 | 16.88%
655.98/656.11 c 656s| 20000 | 8120 | 4754k| 236.4 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651331e+02 | 1.930000e+02 | 16.88%
656.88/657.02 c 657s| 20100 | 8138 | 4761k| 235.5 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651334e+02 | 1.930000e+02 | 16.88%
660.38/660.56 c 661s| 20200 | 8162 | 4789k| 235.8 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651347e+02 | 1.930000e+02 | 16.87%
662.77/662.97 c 663s| 20300 | 8182 | 4807k| 235.5 | 11M| 129 | 107 | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651351e+02 | 1.930000e+02 | 16.87%
664.88/665.02 c 665s| 20400 | 8192 | 4823k| 235.1 | 11M| 129 | 118 | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651380e+02 | 1.930000e+02 | 16.87%
666.88/667.03 c 667s| 20500 | 8226 | 4838k| 234.7 | 11M| 129 | 365 | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651397e+02 | 1.930000e+02 | 16.87%
669.88/670.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
669.88/670.03 c 670s| 20600 | 8268 | 4862k| 234.7 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2077 | 1.651417e+02 | 1.930000e+02 | 16.87%
674.18/674.35 c 674s| 20700 | 8306 | 4891k| 235.0 | 11M| 129 | 374 | 476 | 578 | 476 | 972 | 796 | 24 |2091 | 1.651445e+02 | 1.930000e+02 | 16.87%
678.17/678.35 c 678s| 20800 | 8346 | 4918k| 235.2 | 11M| 129 | 386 | 476 | 578 | 476 | 972 | 796 | 24 |2107 | 1.651467e+02 | 1.930000e+02 | 16.87%
679.87/680.07 c 680s| 20900 | 8368 | 4931k| 234.7 | 11M| 129 | 119 | 476 | 578 | 476 | 972 | 796 | 24 |2107 | 1.651471e+02 | 1.930000e+02 | 16.87%
683.08/683.25 c 683s| 21000 | 8384 | 4951k| 234.5 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2125 | 1.651478e+02 | 1.930000e+02 | 16.86%
688.08/688.22 c 688s| 21100 | 8432 | 4983k| 234.9 | 11M| 129 | 373 | 476 | 578 | 476 | 972 | 796 | 24 |2140 | 1.651515e+02 | 1.930000e+02 | 16.86%
689.28/689.43 c 689s| 21200 | 8448 | 4993k| 234.3 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2140 | 1.651516e+02 | 1.930000e+02 | 16.86%
693.27/693.42 c 693s| 21300 | 8484 | 5018k| 234.3 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2159 | 1.651521e+02 | 1.930000e+02 | 16.86%
696.67/696.81 c 697s| 21400 | 8516 | 5041k| 234.4 | 11M| 129 | 116 | 476 | 578 | 476 | 972 | 796 | 24 |2172 | 1.651534e+02 | 1.930000e+02 | 16.86%
700.87/701.08 c 701s| 21500 | 8550 | 5071k| 234.7 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2180 | 1.651556e+02 | 1.930000e+02 | 16.86%
703.27/703.47 c 703s| 21600 | 8596 | 5087k| 234.3 | 11M| 129 | 111 | 476 | 578 | 476 | 972 | 796 | 24 |2191 | 1.651582e+02 | 1.930000e+02 | 16.86%
704.27/704.42 c 704s| 21700 | 8598 | 5093k| 233.5 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2198 | 1.651584e+02 | 1.930000e+02 | 16.86%
708.57/708.71 c 709s| 21800 | 8652 | 5128k| 234.0 | 11M| 129 | - | 476 | 578 | 476 | 972 | 796 | 24 |2204 | 1.651596e+02 | 1.930000e+02 | 16.86%
711.67/711.87 c 712s| 21900 | 8692 | 5153k| 234.1 | 11M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2204 | 1.651627e+02 | 1.930000e+02 | 16.85%
714.47/714.61 c 715s| 22000 | 8742 | 5173k| 234.0 | 11M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651662e+02 | 1.930000e+02 | 16.85%
716.97/717.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
716.97/717.15 c 717s| 22100 | 8776 | 5194k| 233.8 | 11M| 129 | 104 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651683e+02 | 1.930000e+02 | 16.85%
719.37/719.59 c 720s| 22200 | 8804 | 5213k| 233.6 | 11M| 129 | 115 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651688e+02 | 1.930000e+02 | 16.85%
721.57/721.71 c 722s| 22300 | 8832 | 5230k| 233.3 | 11M| 129 | 114 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651701e+02 | 1.930000e+02 | 16.85%
722.37/722.58 c 723s| 22400 | 8842 | 5237k| 232.6 | 11M| 129 | 378 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651705e+02 | 1.930000e+02 | 16.85%
724.17/724.35 c 724s| 22500 | 8856 | 5250k| 232.2 | 11M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651713e+02 | 1.930000e+02 | 16.85%
726.26/726.45 c 726s| 22600 | 8894 | 5266k| 231.8 | 11M| 129 | 89 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651723e+02 | 1.930000e+02 | 16.85%
728.17/728.36 c 728s| 22700 | 8908 | 5281k| 231.5 | 11M| 129 | 109 | 476 | 577 | 476 | 972 | 796 | 24 |2205 | 1.651736e+02 | 1.930000e+02 | 16.85%
730.27/730.49 c 730s| 22800 | 8928 | 5298k| 231.2 | 11M| 129 | 366 | 476 | 577 | 476 | 972 | 796 | 24 |2207 | 1.651759e+02 | 1.930000e+02 | 16.85%
732.06/732.27 c 732s| 22900 | 8938 | 5311k| 230.8 | 11M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2207 | 1.651760e+02 | 1.930000e+02 | 16.85%
734.87/735.02 c 735s| 23000 | 8966 | 5329k| 230.6 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2219 | 1.651784e+02 | 1.930000e+02 | 16.84%
736.36/736.57 c 737s| 23100 | 9000 | 5341k| 230.1 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2220 | 1.651813e+02 | 1.930000e+02 | 16.84%
739.46/739.68 c 740s| 23200 | 9022 | 5361k| 230.0 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2243 | 1.651824e+02 | 1.930000e+02 | 16.84%
745.07/745.28 c 745s| 23300 | 9058 | 5400k| 230.6 | 12M| 129 | 125 | 476 | 577 | 476 | 972 | 796 | 24 |2260 | 1.651833e+02 | 1.930000e+02 | 16.84%
745.46/745.60 c 746s| 23400 | 9070 | 5403k| 229.8 | 12M| 129 | 94 | 476 | 577 | 476 | 972 | 796 | 24 |2260 | 1.651833e+02 | 1.930000e+02 | 16.84%
745.76/745.93 c 746s| 23500 | 9100 | 5406k| 228.9 | 12M| 129 | 99 | 476 | 577 | 476 | 972 | 796 | 24 |2262 | 1.651833e+02 | 1.930000e+02 | 16.84%
747.87/748.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.87/748.08 c 748s| 23600 | 9114 | 5417k| 228.4 | 12M| 129 | 368 | 476 | 577 | 476 | 972 | 796 | 24 |2282 | 1.651840e+02 | 1.930000e+02 | 16.84%
750.96/751.17 c 751s| 23700 | 9132 | 5442k| 228.5 | 12M| 129 | 100 | 476 | 577 | 476 | 972 | 796 | 24 |2283 | 1.651857e+02 | 1.930000e+02 | 16.84%
753.76/753.96 c 754s| 23800 | 9162 | 5464k| 228.5 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2284 | 1.651885e+02 | 1.930000e+02 | 16.84%
754.16/754.35 c 754s| 23900 | 9166 | 5467k| 227.6 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2294 | 1.651885e+02 | 1.930000e+02 | 16.84%
756.57/756.73 c 757s| 24000 | 9184 | 5483k| 227.4 | 12M| 129 | 131 | 476 | 577 | 476 | 972 | 796 | 24 |2305 | 1.651886e+02 | 1.930000e+02 | 16.84%
759.06/759.24 c 759s| 24100 | 9204 | 5500k| 227.1 | 12M| 129 | 389 | 476 | 577 | 476 | 972 | 796 | 24 |2315 | 1.651901e+02 | 1.930000e+02 | 16.84%
760.96/761.19 c 761s| 24200 | 9236 | 5513k| 226.7 | 12M| 129 | 100 | 476 | 577 | 476 | 972 | 796 | 24 |2324 | 1.651930e+02 | 1.930000e+02 | 16.83%
761.76/761.99 c 762s| 24300 | 9240 | 5519k| 226.0 | 12M| 129 | 366 | 476 | 577 | 476 | 972 | 796 | 24 |2326 | 1.651932e+02 | 1.930000e+02 | 16.83%
764.36/764.58 c 765s| 24400 | 9268 | 5539k| 225.9 | 12M| 129 | 108 | 476 | 577 | 476 | 972 | 796 | 24 |2333 | 1.651943e+02 | 1.930000e+02 | 16.83%
765.36/765.56 c 766s| 24500 | 9272 | 5546k| 225.3 | 12M| 129 | 108 | 476 | 577 | 476 | 972 | 796 | 24 |2337 | 1.651957e+02 | 1.930000e+02 | 16.83%
766.96/767.14 c 767s| 24600 | 9288 | 5558k| 224.9 | 12M| 129 | 99 | 476 | 577 | 476 | 972 | 796 | 24 |2337 | 1.651959e+02 | 1.930000e+02 | 16.83%
770.06/770.22 c 770s| 24700 | 9316 | 5582k| 224.9 | 12M| 129 | 81 | 476 | 577 | 476 | 972 | 796 | 24 |2337 | 1.651970e+02 | 1.930000e+02 | 16.83%
771.35/771.56 c 772s| 24800 | 9338 | 5592k| 224.4 | 12M| 129 | 128 | 476 | 577 | 476 | 972 | 796 | 24 |2337 | 1.651977e+02 | 1.930000e+02 | 16.83%
771.66/771.88 c 772s| 24900 | 9346 | 5595k| 223.6 | 12M| 129 | 118 | 476 | 577 | 476 | 972 | 796 | 24 |2338 | 1.651977e+02 | 1.930000e+02 | 16.83%
775.75/775.99 c 776s| 25000 | 9378 | 5626k| 224.0 | 12M| 129 | 95 | 476 | 577 | 476 | 972 | 796 | 24 |2338 | 1.651985e+02 | 1.930000e+02 | 16.83%
777.35/777.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
777.35/777.55 c 778s| 25100 | 9396 | 5638k| 223.6 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2338 | 1.651988e+02 | 1.930000e+02 | 16.83%
782.35/782.59 c 783s| 25200 | 9434 | 5679k| 224.3 | 12M| 129 | 121 | 476 | 577 | 476 | 972 | 796 | 24 |2339 | 1.652006e+02 | 1.930000e+02 | 16.83%
784.06/784.27 c 784s| 25300 | 9442 | 5692k| 223.9 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2339 | 1.652009e+02 | 1.930000e+02 | 16.83%
786.45/786.67 c 787s| 25400 | 9474 | 5710k| 223.8 | 12M| 129 | 135 | 476 | 577 | 476 | 972 | 796 | 24 |2340 | 1.652053e+02 | 1.930000e+02 | 16.82%
788.95/789.13 c 789s| 25500 | 9524 | 5729k| 223.6 | 12M| 129 | 113 | 476 | 577 | 476 | 972 | 796 | 24 |2340 | 1.652094e+02 | 1.930000e+02 | 16.82%
791.35/791.55 c 792s| 25600 | 9548 | 5748k| 223.5 | 12M| 129 | 378 | 476 | 577 | 476 | 972 | 796 | 24 |2340 | 1.652099e+02 | 1.930000e+02 | 16.82%
792.05/792.20 c 792s| 25700 | 9584 | 5752k| 222.8 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2356 | 1.652099e+02 | 1.930000e+02 | 16.82%
795.06/795.23 c 795s| 25800 | 9618 | 5773k| 222.8 | 12M| 129 | 373 | 476 | 577 | 476 | 972 | 796 | 24 |2366 | 1.652128e+02 | 1.930000e+02 | 16.82%
797.05/797.26 c 797s| 25900 | 9642 | 5787k| 222.4 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2375 | 1.652130e+02 | 1.930000e+02 | 16.82%
800.35/800.58 c 801s| 26000 | 9686 | 5811k| 222.5 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2388 | 1.652153e+02 | 1.930000e+02 | 16.82%
800.75/800.90 c 801s| 26100 | 9692 | 5814k| 221.8 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2388 | 1.652153e+02 | 1.930000e+02 | 16.82%
803.86/804.02 c 804s| 26200 | 9720 | 5839k| 221.9 | 12M| 129 | 118 | 476 | 577 | 476 | 972 | 796 | 24 |2388 | 1.652172e+02 | 1.930000e+02 | 16.82%
806.45/806.64 c 807s| 26300 | 9752 | 5856k| 221.7 | 12M| 129 | 126 | 476 | 577 | 476 | 972 | 796 | 24 |2399 | 1.652200e+02 | 1.930000e+02 | 16.81%
806.75/806.97 c 807s| 26400 | 9758 | 5860k| 221.0 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2399 | 1.652200e+02 | 1.930000e+02 | 16.81%
810.25/810.49 c 810s| 26500 | 9792 | 5882k| 221.0 | 12M| 129 | 386 | 476 | 577 | 476 | 972 | 796 | 24 |2419 | 1.652211e+02 | 1.930000e+02 | 16.81%
811.75/811.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.75/811.93 c 812s| 26600 | 9824 | 5892k| 220.5 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2419 | 1.652221e+02 | 1.930000e+02 | 16.81%
812.95/813.16 c 813s| 26700 | 9836 | 5899k| 220.0 | 12M| 129 | - | 476 | 577 | 0 | 0 | 796 | 24 |2428 | 1.652222e+02 | 1.930000e+02 | 16.81%
816.55/816.72 c 817s| 26800 | 9864 | 5923k| 220.0 | 12M| 129 | 380 | 476 | 577 | 476 | 972 | 796 | 24 |2443 | 1.652244e+02 | 1.930000e+02 | 16.81%
821.56/821.73 c 822s| 26900 | 9884 | 5961k| 220.6 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2450 | 1.652255e+02 | 1.930000e+02 | 16.81%
823.66/823.89 c 824s| 27000 | 9912 | 5976k| 220.4 | 12M| 129 | 354 | 476 | 577 | 476 | 972 | 796 | 24 |2462 | 1.652274e+02 | 1.930000e+02 | 16.81%
826.75/826.96 c 827s| 27100 | 9934 | 6000k| 220.4 | 12M| 129 | 117 | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652303e+02 | 1.930000e+02 | 16.81%
828.24/828.46 c 828s| 27200 | 9956 | 6011k| 220.0 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652317e+02 | 1.930000e+02 | 16.81%
832.15/832.31 c 832s| 27300 | 10006 | 6041k| 220.3 | 12M| 129 | 366 | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652356e+02 | 1.930000e+02 | 16.80%
835.94/836.12 c 836s| 27400 | 10068 | 6069k| 220.5 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652432e+02 | 1.930000e+02 | 16.80%
838.25/838.48 c 838s| 27500 | 10084 | 6088k| 220.4 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652453e+02 | 1.930000e+02 | 16.80%
839.85/840.09 c 840s| 27600 | 10106 | 6100k| 220.1 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652459e+02 | 1.930000e+02 | 16.80%
843.04/843.25 c 843s| 27700 | 10140 | 6125k| 220.2 | 12M| 129 | 116 | 476 | 577 | 476 | 972 | 796 | 24 |2469 | 1.652471e+02 | 1.930000e+02 | 16.79%
843.35/843.58 c 844s| 27800 | 10162 | 6129k| 219.5 | 12M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2470 | 1.652471e+02 | 1.930000e+02 | 16.79%
844.95/845.14 c 845s| 27900 | 10184 | 6141k| 219.1 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2470 | 1.652473e+02 | 1.930000e+02 | 16.79%
847.35/847.56 c 848s| 28000 | 10208 | 6160k| 219.1 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2471 | 1.652500e+02 | 1.930000e+02 | 16.79%
849.85/850.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.85/850.01 c 850s| 28100 | 10224 | 6179k| 218.9 | 13M| 129 | 356 | 476 | 577 | 476 | 972 | 796 | 24 |2471 | 1.652517e+02 | 1.930000e+02 | 16.79%
852.14/852.30 c 852s| 28200 | 10254 | 6198k| 218.8 | 13M| 129 | 351 | 476 | 577 | 476 | 972 | 796 | 24 |2471 | 1.652519e+02 | 1.930000e+02 | 16.79%
854.35/854.56 c 855s| 28300 | 10280 | 6215k| 218.7 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2471 | 1.652524e+02 | 1.930000e+02 | 16.79%
857.14/857.34 c 857s| 28400 | 10306 | 6233k| 218.6 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2483 | 1.652540e+02 | 1.930000e+02 | 16.79%
859.14/859.34 c 859s| 28500 | 10332 | 6250k| 218.4 | 13M| 129 | - | 476 | 577 | 0 | 0 | 796 | 24 |2483 | 1.652546e+02 | 1.930000e+02 | 16.79%
861.15/861.35 c 861s| 28600 | 10364 | 6260k| 218.0 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2503 | 1.652549e+02 | 1.930000e+02 | 16.79%
863.84/864.09 c 864s| 28700 | 10396 | 6283k| 218.0 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2503 | 1.652558e+02 | 1.930000e+02 | 16.79%
867.14/867.39 c 867s| 28800 | 10436 | 6308k| 218.1 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2514 | 1.652562e+02 | 1.930000e+02 | 16.79%
871.84/872.00 c 872s| 28900 | 10490 | 6339k| 218.4 | 13M| 129 | 109 | 476 | 577 | 476 | 972 | 796 | 24 |2533 | 1.652590e+02 | 1.930000e+02 | 16.79%
873.04/873.24 c 873s| 29000 | 10518 | 6348k| 218.0 | 13M| 129 | 103 | 476 | 577 | 476 | 972 | 796 | 24 |2533 | 1.652594e+02 | 1.930000e+02 | 16.79%
874.94/875.15 c 875s| 29100 | 10538 | 6359k| 217.6 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2544 | 1.652601e+02 | 1.930000e+02 | 16.79%
878.83/879.02 c 879s| 29200 | 10588 | 6382k| 217.7 | 13M| 129 | 381 | 476 | 577 | 476 | 972 | 796 | 24 |2562 | 1.652614e+02 | 1.930000e+02 | 16.78%
881.14/881.39 c 881s| 29300 | 10622 | 6400k| 217.5 | 13M| 129 | 96 | 476 | 577 | 476 | 972 | 796 | 24 |2562 | 1.652641e+02 | 1.930000e+02 | 16.78%
884.14/884.39 c 884s| 29400 | 10654 | 6422k| 217.5 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2570 | 1.652659e+02 | 1.930000e+02 | 16.78%
885.94/886.16 c 886s| 29500 | 10682 | 6433k| 217.2 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2580 | 1.652684e+02 | 1.930000e+02 | 16.78%
889.75/889.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
889.75/889.92 c 890s| 29600 | 10732 | 6461k| 217.4 | 13M| 129 | 384 | 476 | 577 | 476 | 972 | 796 | 24 |2584 | 1.652700e+02 | 1.930000e+02 | 16.78%
891.53/891.74 c 892s| 29700 | 10748 | 6475k| 217.1 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2584 | 1.652703e+02 | 1.930000e+02 | 16.78%
893.93/894.13 c 894s| 29800 | 10762 | 6493k| 217.0 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2585 | 1.652719e+02 | 1.930000e+02 | 16.78%
898.23/898.48 c 898s| 29900 | 10804 | 6529k| 217.5 | 13M| 129 | 381 | 476 | 577 | 476 | 972 | 796 | 24 |2585 | 1.652752e+02 | 1.930000e+02 | 16.77%
900.24/900.40 c 900s| 30000 | 10832 | 6544k| 217.2 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2585 | 1.652752e+02 | 1.930000e+02 | 16.77%
902.74/902.97 c 903s| 30100 | 10880 | 6562k| 217.1 | 13M| 129 | 381 | 476 | 577 | 476 | 972 | 796 | 24 |2586 | 1.652777e+02 | 1.930000e+02 | 16.77%
907.44/907.62 c 908s| 30200 | 10916 | 6598k| 217.6 | 13M| 129 | 101 | 476 | 577 | 476 | 972 | 796 | 24 |2586 | 1.652792e+02 | 1.930000e+02 | 16.77%
909.64/909.85 c 910s| 30300 | 10956 | 6614k| 217.4 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2588 | 1.652800e+02 | 1.930000e+02 | 16.77%
910.43/910.65 c 911s| 30400 | 10966 | 6620k| 216.9 | 13M| 129 | 91 | 476 | 577 | 476 | 972 | 796 | 24 |2588 | 1.652806e+02 | 1.930000e+02 | 16.77%
913.43/913.69 c 914s| 30500 | 11004 | 6643k| 216.9 | 13M| 129 | 69 | 476 | 577 | 476 | 972 | 796 | 24 |2588 | 1.652813e+02 | 1.930000e+02 | 16.77%
916.04/916.24 c 916s| 30600 | 11046 | 6661k| 216.8 | 13M| 129 | 378 | 476 | 577 | 476 | 972 | 796 | 24 |2588 | 1.652854e+02 | 1.930000e+02 | 16.77%
918.63/918.85 c 919s| 30700 | 11066 | 6682k| 216.8 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2588 | 1.652857e+02 | 1.930000e+02 | 16.77%
921.84/922.02 c 922s| 30800 | 11092 | 6702k| 216.8 | 13M| 129 | - | 476 | 577 | 476 | 972 | 796 | 24 |2602 | 1.652865e+02 | 1.930000e+02 | 16.77%
922.84/923.04 c 923s| 30900 | 11104 | 6710k| 216.3 | 13M| 129 | 113 | 476 | 577 | 476 | 972 | 796 | 24 |2602 | 1.652868e+02 | 1.930000e+02 | 16.77%
926.43/926.65 c 927s| 31000 | 11126 | 6739k| 216.5 | 13M| 129 | 129 | 476 | 577 | 476 | 972 | 796 | 24 |2602 | 1.652874e+02 | 1.930000e+02 | 16.77%
927.73/927.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
927.73/927.94 c 928s| 31100 | 11138 | 6746k| 216.1 | 13M| 129 | 394 | 476 | 577 | 476 | 972 | 796 | 24 |2619 | 1.652882e+02 | 1.930000e+02 | 16.77%
928.83/929.00 c 929s| 31200 | 11166 | 6755k| 215.7 | 13M| 129 | 122 | 476 | 576 | 476 | 972 | 796 | 24 |2620 | 1.652883e+02 | 1.930000e+02 | 16.77%
929.13/929.31 c 929s| 31300 | 11180 | 6758k| 215.1 | 13M| 129 | - | 476 | 576 | 476 | 972 | 796 | 24 |2620 | 1.652883e+02 | 1.930000e+02 | 16.77%
929.43/929.69 c 930s| 31400 | 11186 | 6761k| 214.5 | 13M| 129 | - | 476 | 576 | 476 | 972 | 796 | 24 |2634 | 1.652883e+02 | 1.930000e+02 | 16.77%
933.73/933.99 c 934s| 31500 | 11230 | 6789k| 214.7 | 13M| 129 | - | 476 | 575 | 0 | 0 | 796 | 24 |2646 | 1.652896e+02 | 1.930000e+02 | 16.76%
937.53/937.71 c 938s| 31600 | 11256 | 6814k| 214.8 | 13M| 129 | 125 | 476 | 575 | 476 | 972 | 796 | 24 |2667 | 1.652901e+02 | 1.930000e+02 | 16.76%
940.13/940.39 c 940s| 31700 | 11278 | 6835k| 214.8 | 13M| 129 | 113 | 476 | 575 | 476 | 972 | 796 | 24 |2667 | 1.652914e+02 | 1.930000e+02 | 16.76%
943.13/943.39 c 943s| 31800 | 11314 | 6854k| 214.7 | 13M| 129 | 94 | 476 | 575 | 476 | 972 | 796 | 24 |2677 | 1.652920e+02 | 1.930000e+02 | 16.76%
945.03/945.21 c 945s| 31900 | 11320 | 6869k| 214.5 | 13M| 129 | - | 476 | 575 | 476 | 972 | 796 | 24 |2677 | 1.652928e+02 | 1.930000e+02 | 16.76%
949.14/949.38 c 949s| 32000 | 11354 | 6901k| 214.8 | 13M| 129 | 112 | 476 | 575 | 476 | 972 | 796 | 24 |2690 | 1.652933e+02 | 1.930000e+02 | 16.76%
952.73/952.92 c 953s| 32100 | 11384 | 6927k| 215.0 | 13M| 129 | 383 | 476 | 574 | 476 | 972 | 796 | 24 |2695 | 1.652938e+02 | 1.930000e+02 | 16.76%
953.72/953.94 c 954s| 32200 | 11398 | 6934k| 214.5 | 13M| 129 | 138 | 476 | 574 | 476 | 972 | 796 | 24 |2703 | 1.652938e+02 | 1.930000e+02 | 16.76%
955.13/955.33 c 955s| 32300 | 11420 | 6944k| 214.2 | 14M| 129 | - | 476 | 574 | 476 | 972 | 796 | 24 |2707 | 1.652959e+02 | 1.930000e+02 | 16.76%
957.93/958.19 c 958s| 32400 | 11452 | 6965k| 214.2 | 14M| 129 | 388 | 476 | 574 | 476 | 972 | 796 | 24 |2709 | 1.652978e+02 | 1.930000e+02 | 16.76%
960.42/960.69 c 961s| 32500 | 11478 | 6984k| 214.1 | 14M| 129 | 84 | 476 | 574 | 476 | 972 | 796 | 24 |2710 | 1.652987e+02 | 1.930000e+02 | 16.76%
962.62/962.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.62/962.80 c 963s| 32600 | 11488 | 7001k| 214.0 | 14M| 129 | 118 | 476 | 573 | 476 | 972 | 796 | 24 |2710 | 1.652989e+02 | 1.930000e+02 | 16.76%
963.43/963.68 c 964s| 32700 | 11512 | 7008k| 213.5 | 14M| 129 | - | 476 | 573 | 476 | 972 | 796 | 24 |2710 | 1.652994e+02 | 1.930000e+02 | 16.76%
966.53/966.70 c 967s| 32800 | 11550 | 7031k| 213.6 | 14M| 129 | 110 | 476 | 572 | 476 | 972 | 796 | 24 |2710 | 1.653006e+02 | 1.930000e+02 | 16.76%
966.73/966.96 c 967s| 32900 | 11560 | 7033k| 213.0 | 14M| 129 | - | 476 | 572 | 476 | 972 | 796 | 24 |2710 | 1.653006e+02 | 1.930000e+02 | 16.76%
970.12/970.34 c 970s| 33000 | 11602 | 7059k| 213.1 | 14M| 129 | - | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653027e+02 | 1.930000e+02 | 16.76%
973.43/973.60 c 974s| 33100 | 11632 | 7085k| 213.2 | 14M| 129 | 119 | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653031e+02 | 1.930000e+02 | 16.76%
975.02/975.23 c 975s| 33200 | 11664 | 7097k| 213.0 | 14M| 129 | 356 | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653033e+02 | 1.930000e+02 | 16.76%
980.32/980.54 c 981s| 33300 | 11700 | 7141k| 213.6 | 14M| 129 | 119 | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653044e+02 | 1.930000e+02 | 16.75%
981.82/982.06 c 982s| 33400 | 11726 | 7152k| 213.3 | 14M| 129 | 386 | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653048e+02 | 1.930000e+02 | 16.75%
982.92/983.16 c 983s| 33500 | 11746 | 7160k| 212.9 | 14M| 129 | - | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653053e+02 | 1.930000e+02 | 16.75%
985.22/985.40 c 985s| 33600 | 11772 | 7177k| 212.8 | 14M| 129 | - | 476 | 572 | 476 | 972 | 796 | 24 |2711 | 1.653058e+02 | 1.930000e+02 | 16.75%
988.22/988.45 c 988s| 33700 | 11798 | 7197k| 212.8 | 14M| 129 | - | 476 | 572 | 476 | 972 | 796 | 24 |2725 | 1.653063e+02 | 1.930000e+02 | 16.75%
989.01/989.27 c 989s| 33800 | 11806 | 7204k| 212.4 | 14M| 129 | 373 | 476 | 570 | 476 | 972 | 796 | 24 |2725 | 1.653069e+02 | 1.930000e+02 | 16.75%
990.82/991.06 c 991s| 33900 | 11830 | 7217k| 212.1 | 14M| 129 | 118 | 476 | 570 | 476 | 972 | 796 | 24 |2725 | 1.653076e+02 | 1.930000e+02 | 16.75%
995.11/995.38 c 995s| 34000 | 11870 | 7247k| 212.4 | 14M| 129 | - | 476 | 570 | 476 | 972 | 796 | 24 |2735 | 1.653124e+02 | 1.930000e+02 | 16.75%
996.52/996.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.52/996.78 c 997s| 34100 | 11882 | 7254k| 211.9 | 14M| 129 | 115 | 476 | 570 | 476 | 972 | 796 | 24 |2748 | 1.653125e+02 | 1.930000e+02 | 16.75%
996.82/997.04 c 997s| 34200 | 11888 | 7256k| 211.4 | 14M| 129 | - | 476 | 569 | 476 | 972 | 796 | 24 |2748 | 1.653125e+02 | 1.930000e+02 | 16.75%
1008.62/1008.88 c 1009s| 34300 | 11920 | 7387k| 214.6 | 14M| 129 | - | 476 | 569 | 476 | 972 | 796 | 24 |2748 | 1.653148e+02 | 1.930000e+02 | 16.75%
1012.12/1012.31 c 1012s| 34400 | 11944 | 7411k| 214.7 | 14M| 129 | 101 | 476 | 569 | 476 | 972 | 796 | 24 |2757 | 1.653162e+02 | 1.930000e+02 | 16.75%
1013.02/1013.22 c 1013s| 34500 | 11952 | 7419k| 214.3 | 14M| 129 | 119 | 476 | 569 | 476 | 972 | 796 | 24 |2758 | 1.653163e+02 | 1.930000e+02 | 16.75%
1015.12/1015.32 c 1015s| 34600 | 11996 | 7430k| 214.0 | 14M| 129 | 361 | 476 | 568 | 476 | 972 | 796 | 24 |2786 | 1.653185e+02 | 1.930000e+02 | 16.74%
1017.51/1017.74 c 1018s| 34700 | 12020 | 7449k| 213.9 | 14M| 129 | 352 | 476 | 568 | 476 | 972 | 796 | 24 |2786 | 1.653188e+02 | 1.930000e+02 | 16.74%
1020.21/1020.43 c 1020s| 34800 | 12054 | 7466k| 213.8 | 14M| 129 | 106 | 476 | 568 | 476 | 972 | 796 | 24 |2798 | 1.653191e+02 | 1.930000e+02 | 16.74%
1022.72/1022.91 c 1023s| 34900 | 12072 | 7486k| 213.8 | 14M| 129 | 378 | 476 | 568 | 476 | 972 | 796 | 24 |2798 | 1.653203e+02 | 1.930000e+02 | 16.74%
1024.71/1024.94 c 1025s| 35000 | 12092 | 7501k| 213.6 | 14M| 129 | - | 476 | 567 | 476 | 972 | 796 | 24 |2809 | 1.653234e+02 | 1.930000e+02 | 16.74%
1025.71/1025.97 c 1026s| 35100 | 12104 | 7508k| 213.2 | 14M| 129 | 113 | 476 | 567 | 476 | 972 | 796 | 24 |2814 | 1.653245e+02 | 1.930000e+02 | 16.74%
1030.01/1030.28 c 1030s| 35200 | 12142 | 7542k| 213.5 | 14M| 129 | 118 | 476 | 567 | 476 | 972 | 796 | 24 |2822 | 1.653260e+02 | 1.930000e+02 | 16.74%
1033.61/1033.80 c 1034s| 35300 | 12184 | 7569k| 213.7 | 14M| 129 | 346 | 476 | 567 | 476 | 972 | 796 | 24 |2822 | 1.653283e+02 | 1.930000e+02 | 16.74%
1034.61/1034.88 c 1035s| 35400 | 12210 | 7577k| 213.3 | 14M| 129 | - | 476 | 567 | 476 | 972 | 796 | 24 |2822 | 1.653284e+02 | 1.930000e+02 | 16.74%
1035.51/1035.78 c 1036s| 35500 | 12224 | 7585k| 212.9 | 14M| 129 | - | 476 | 567 | 476 | 972 | 796 | 24 |2823 | 1.653286e+02 | 1.930000e+02 | 16.74%
1037.41/1037.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1037.41/1037.61 c 1038s| 35600 | 12252 | 7600k| 212.7 | 14M| 129 | 139 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653290e+02 | 1.930000e+02 | 16.74%
1039.40/1039.67 c 1040s| 35700 | 12302 | 7615k| 212.6 | 14M| 129 | 370 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653306e+02 | 1.930000e+02 | 16.74%
1041.71/1041.96 c 1042s| 35800 | 12342 | 7632k| 212.5 | 14M| 129 | 374 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653314e+02 | 1.930000e+02 | 16.74%
1043.71/1043.97 c 1044s| 35900 | 12366 | 7648k| 212.3 | 14M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653315e+02 | 1.930000e+02 | 16.74%
1045.21/1045.42 c 1045s| 36000 | 12410 | 7659k| 212.0 | 14M| 129 | 113 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653325e+02 | 1.930000e+02 | 16.73%
1047.90/1048.14 c 1048s| 36100 | 12446 | 7681k| 212.1 | 14M| 129 | 99 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653334e+02 | 1.930000e+02 | 16.73%
1053.51/1053.74 c 1054s| 36200 | 12498 | 7724k| 212.7 | 14M| 129 | 109 | 476 | 566 | 476 | 972 | 796 | 24 |2823 | 1.653345e+02 | 1.930000e+02 | 16.73%
1055.90/1056.15 c 1056s| 36300 | 12532 | 7744k| 212.6 | 14M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2824 | 1.653351e+02 | 1.930000e+02 | 16.73%
1057.70/1057.95 c 1058s| 36400 | 12554 | 7758k| 212.4 | 14M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2824 | 1.653352e+02 | 1.930000e+02 | 16.73%
1061.00/1061.24 c 1061s| 36500 | 12596 | 7783k| 212.5 | 14M| 129 | 107 | 476 | 566 | 476 | 972 | 796 | 24 |2824 | 1.653374e+02 | 1.930000e+02 | 16.73%
1064.00/1064.24 c 1064s| 36600 | 12632 | 7802k| 212.5 | 15M| 129 | 122 | 476 | 566 | 476 | 972 | 796 | 24 |2837 | 1.653388e+02 | 1.930000e+02 | 16.73%
1066.30/1066.57 c 1067s| 36700 | 12656 | 7820k| 212.4 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2837 | 1.653407e+02 | 1.930000e+02 | 16.73%
1068.71/1068.95 c 1069s| 36800 | 12700 | 7835k| 212.2 | 15M| 129 | 107 | 476 | 566 | 476 | 972 | 796 | 24 |2846 | 1.653426e+02 | 1.930000e+02 | 16.73%
1071.71/1071.90 c 1072s| 36900 | 12720 | 7854k| 212.1 | 15M| 129 | 125 | 476 | 566 | 476 | 972 | 796 | 24 |2857 | 1.653436e+02 | 1.930000e+02 | 16.73%
1072.60/1072.86 c 1073s| 37000 | 12744 | 7861k| 211.8 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2857 | 1.653442e+02 | 1.930000e+02 | 16.73%
1073.30/1073.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.30/1073.59 c 1074s| 37100 | 12754 | 7867k| 211.3 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2857 | 1.653450e+02 | 1.930000e+02 | 16.73%
1074.60/1074.85 c 1075s| 37200 | 12766 | 7873k| 210.9 | 15M| 129 | 100 | 476 | 566 | 476 | 972 | 796 | 24 |2868 | 1.653452e+02 | 1.930000e+02 | 16.73%
1076.80/1077.01 c 1077s| 37300 | 12796 | 7889k| 210.8 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2868 | 1.653460e+02 | 1.930000e+02 | 16.72%
1079.30/1079.58 c 1080s| 37400 | 12816 | 7905k| 210.7 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2885 | 1.653461e+02 | 1.930000e+02 | 16.72%
1082.00/1082.21 c 1082s| 37500 | 12854 | 7925k| 210.6 | 15M| 129 | 360 | 476 | 566 | 476 | 972 | 796 | 24 |2885 | 1.653470e+02 | 1.930000e+02 | 16.72%
1083.00/1083.20 c 1083s| 37600 | 12884 | 7933k| 210.3 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2885 | 1.653472e+02 | 1.930000e+02 | 16.72%
1085.80/1086.05 c 1086s| 37700 | 12930 | 7951k| 210.2 | 15M| 129 | - | 476 | 566 | 476 | 972 | 796 | 24 |2898 | 1.653486e+02 | 1.930000e+02 | 16.72%
1090.80/1091.10 c 1091s| 37800 | 12976 | 7987k| 210.6 | 15M| 129 | - | 476 | 565 | 0 | 0 | 796 | 24 |2910 | 1.653513e+02 | 1.930000e+02 | 16.72%
1093.80/1094.09 c 1094s| 37900 | 13006 | 8011k| 210.7 | 15M| 129 | 114 | 476 | 565 | 476 | 972 | 796 | 24 |2919 | 1.653528e+02 | 1.930000e+02 | 16.72%
1097.80/1098.01 c 1098s| 38000 | 13034 | 8041k| 210.9 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2927 | 1.653536e+02 | 1.930000e+02 | 16.72%
1098.80/1099.00 c 1099s| 38100 | 13072 | 8048k| 210.6 | 15M| 129 | 111 | 476 | 565 | 476 | 972 | 796 | 24 |2930 | 1.653543e+02 | 1.930000e+02 | 16.72%
1100.90/1101.11 c 1101s| 38200 | 13112 | 8063k| 210.4 | 15M| 129 | 391 | 476 | 565 | 476 | 972 | 796 | 24 |2933 | 1.653563e+02 | 1.930000e+02 | 16.72%
1105.79/1106.04 c 1106s| 38300 | 13160 | 8103k| 210.9 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2933 | 1.653577e+02 | 1.930000e+02 | 16.72%
1107.80/1108.09 c 1108s| 38400 | 13184 | 8118k| 210.7 | 15M| 129 | 103 | 476 | 565 | 476 | 972 | 796 | 24 |2933 | 1.653583e+02 | 1.930000e+02 | 16.72%
1108.89/1109.12 c 1109s| 38500 | 13200 | 8126k| 210.4 | 15M| 129 | 103 | 476 | 565 | 476 | 972 | 796 | 24 |2933 | 1.653584e+02 | 1.930000e+02 | 16.72%
1111.20/1111.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.20/1111.45 c 1111s| 38600 | 13222 | 8144k| 210.3 | 15M| 129 | 100 | 476 | 565 | 476 | 972 | 796 | 24 |2933 | 1.653597e+02 | 1.930000e+02 | 16.72%
1111.49/1111.73 c 1112s| 38700 | 13218 | 8146k| 209.8 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653597e+02 | 1.930000e+02 | 16.72%
1113.10/1113.38 c 1113s| 38800 | 13250 | 8159k| 209.6 | 15M| 129 | 127 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653621e+02 | 1.930000e+02 | 16.71%
1114.49/1114.79 c 1115s| 38900 | 13306 | 8169k| 209.3 | 15M| 129 | 381 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653633e+02 | 1.930000e+02 | 16.71%
1118.50/1118.76 c 1119s| 39000 | 13344 | 8199k| 209.6 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653638e+02 | 1.930000e+02 | 16.71%
1120.09/1120.33 c 1120s| 39100 | 13388 | 8211k| 209.3 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653654e+02 | 1.930000e+02 | 16.71%
1121.49/1121.72 c 1122s| 39200 | 13414 | 8221k| 209.1 | 15M| 129 | 375 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653663e+02 | 1.930000e+02 | 16.71%
1124.39/1124.70 c 1125s| 39300 | 13452 | 8243k| 209.1 | 15M| 129 | 366 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653672e+02 | 1.930000e+02 | 16.71%
1128.89/1129.12 c 1129s| 39400 | 13486 | 8279k| 209.5 | 15M| 129 | 112 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653681e+02 | 1.930000e+02 | 16.71%
1130.19/1130.40 c 1130s| 39500 | 13502 | 8289k| 209.2 | 15M| 129 | 372 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653689e+02 | 1.930000e+02 | 16.71%
1133.79/1134.06 c 1134s| 39600 | 13532 | 8318k| 209.4 | 15M| 129 | 96 | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653691e+02 | 1.930000e+02 | 16.71%
1133.99/1134.28 c 1134s| 39700 | 13534 | 8320k| 208.9 | 15M| 129 | - | 476 | 565 | 476 | 972 | 796 | 24 |2936 | 1.653691e+02 | 1.930000e+02 | 16.71%
1135.29/1135.51 c 1136s| 39800 | 13540 | 8327k| 208.6 | 15M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |2960 | 1.653692e+02 | 1.930000e+02 | 16.71%
1139.18/1139.47 c 1139s| 39900 | 13574 | 8352k| 208.7 | 15M| 129 | 77 | 476 | 564 | 476 | 972 | 796 | 24 |2978 | 1.653711e+02 | 1.930000e+02 | 16.71%
1140.99/1141.26 c 1141s| 40000 | 13586 | 8366k| 208.5 | 15M| 129 | - | 476 | 564 | 0 | 0 | 796 | 24 |2978 | 1.653714e+02 | 1.930000e+02 | 16.71%
1142.60/1142.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1142.60/1142.86 c 1143s| 40100 | 13604 | 8378k| 208.3 | 15M| 129 | 92 | 476 | 564 | 476 | 972 | 796 | 24 |2978 | 1.653717e+02 | 1.930000e+02 | 16.71%
1143.99/1144.27 c 1144s| 40200 | 13626 | 8388k| 208.0 | 15M| 129 | 97 | 476 | 564 | 476 | 972 | 796 | 24 |2978 | 1.653723e+02 | 1.930000e+02 | 16.71%
1144.99/1145.22 c 1145s| 40300 | 13634 | 8396k| 207.7 | 15M| 129 | 113 | 476 | 564 | 476 | 972 | 796 | 24 |2978 | 1.653725e+02 | 1.930000e+02 | 16.71%
1146.88/1147.15 c 1147s| 40400 | 13660 | 8407k| 207.4 | 15M| 129 | 136 | 476 | 564 | 476 | 972 | 796 | 24 |2990 | 1.653730e+02 | 1.930000e+02 | 16.71%
1150.68/1150.96 c 1151s| 40500 | 13694 | 8429k| 207.5 | 15M| 129 | 113 | 476 | 564 | 476 | 972 | 796 | 24 |3012 | 1.653750e+02 | 1.930000e+02 | 16.70%
1151.58/1151.89 c 1152s| 40600 | 13714 | 8436k| 207.1 | 15M| 129 | 120 | 476 | 564 | 476 | 972 | 796 | 24 |3012 | 1.653750e+02 | 1.930000e+02 | 16.70%
1156.38/1156.65 c 1157s| 40700 | 13764 | 8474k| 207.6 | 15M| 129 | 107 | 476 | 564 | 476 | 972 | 796 | 24 |3012 | 1.653768e+02 | 1.930000e+02 | 16.70%
1157.28/1157.55 c 1158s| 40800 | 13792 | 8481k| 207.2 | 15M| 129 | 99 | 476 | 564 | 476 | 972 | 796 | 24 |3012 | 1.653773e+02 | 1.930000e+02 | 16.70%
1159.09/1159.36 c 1159s| 40900 | 13808 | 8492k| 207.0 | 15M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3023 | 1.653776e+02 | 1.930000e+02 | 16.70%
1160.48/1160.77 c 1161s| 41000 | 13838 | 8503k| 206.7 | 15M| 129 | 120 | 476 | 564 | 476 | 972 | 796 | 24 |3025 | 1.653782e+02 | 1.930000e+02 | 16.70%
1164.69/1164.97 c 1165s| 41100 | 13874 | 8535k| 207.0 | 16M| 129 | 121 | 476 | 564 | 476 | 972 | 796 | 24 |3037 | 1.653784e+02 | 1.930000e+02 | 16.70%
1166.79/1167.07 c 1167s| 41200 | 13908 | 8550k| 206.9 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3038 | 1.653786e+02 | 1.930000e+02 | 16.70%
1169.78/1170.08 c 1170s| 41300 | 13946 | 8572k| 206.9 | 16M| 129 | 115 | 476 | 564 | 476 | 972 | 796 | 24 |3039 | 1.653796e+02 | 1.930000e+02 | 16.70%
1173.49/1173.71 c 1174s| 41400 | 13978 | 8602k| 207.1 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3041 | 1.653815e+02 | 1.930000e+02 | 16.70%
1175.09/1175.32 c 1175s| 41500 | 14004 | 8614k| 206.9 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653817e+02 | 1.930000e+02 | 16.70%
1176.08/1176.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1176.08/1176.37 c 1176s| 41600 | 14056 | 8623k| 206.6 | 16M| 129 | 105 | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653818e+02 | 1.930000e+02 | 16.70%
1178.18/1178.41 c 1178s| 41700 | 14076 | 8639k| 206.6 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653822e+02 | 1.930000e+02 | 16.70%
1181.48/1181.70 c 1182s| 41800 | 14110 | 8666k| 206.7 | 16M| 129 | 377 | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653831e+02 | 1.930000e+02 | 16.70%
1184.49/1184.74 c 1185s| 41900 | 14162 | 8689k| 206.7 | 16M| 129 | 81 | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653847e+02 | 1.930000e+02 | 16.70%
1185.19/1185.47 c 1185s| 42000 | 14166 | 8694k| 206.4 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653848e+02 | 1.930000e+02 | 16.70%
1187.38/1187.66 c 1188s| 42100 | 14194 | 8711k| 206.3 | 16M| 129 | 374 | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653850e+02 | 1.930000e+02 | 16.70%
1189.58/1189.88 c 1190s| 42200 | 14238 | 8728k| 206.2 | 16M| 129 | 106 | 476 | 564 | 476 | 972 | 796 | 24 |3042 | 1.653866e+02 | 1.930000e+02 | 16.70%
1190.39/1190.68 c 1191s| 42300 | 14246 | 8734k| 205.8 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3044 | 1.653877e+02 | 1.930000e+02 | 16.70%
1193.88/1194.17 c 1194s| 42400 | 14268 | 8760k| 206.0 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3044 | 1.653880e+02 | 1.930000e+02 | 16.70%
1195.98/1196.29 c 1196s| 42500 | 14312 | 8776k| 205.9 | 16M| 129 | 88 | 476 | 564 | 476 | 972 | 796 | 24 |3044 | 1.653884e+02 | 1.930000e+02 | 16.70%
1198.28/1198.52 c 1199s| 42600 | 14348 | 8793k| 205.8 | 16M| 129 | - | 476 | 564 | 476 | 972 | 796 | 24 |3044 | 1.653887e+02 | 1.930000e+02 | 16.69%
1200.88/1201.15 c 1201s| 42700 | 14382 | 8811k| 205.7 | 16M| 129 | 382 | 476 | 564 | 476 | 972 | 796 | 24 |3053 | 1.653893e+02 | 1.930000e+02 | 16.69%
1204.77/1205.02 c 1205s| 42800 | 14416 | 8842k| 206.0 | 16M| 129 | 94 | 476 | 564 | 476 | 972 | 796 | 24 |3054 | 1.653919e+02 | 1.930000e+02 | 16.69%
1209.18/1209.40 c 1209s| 42900 | 14448 | 8873k| 206.2 | 16M| 129 | - | 476 | 563 | 476 | 972 | 796 | 24 |3063 | 1.653930e+02 | 1.930000e+02 | 16.69%
1211.99/1212.24 c 1212s| 43000 | 14474 | 8892k| 206.2 | 16M| 129 | 102 | 476 | 563 | 476 | 972 | 796 | 24 |3072 | 1.653950e+02 | 1.930000e+02 | 16.69%
1213.38/1213.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.38/1213.62 c 1214s| 43100 | 14500 | 8902k| 205.9 | 16M| 129 | - | 476 | 563 | 0 | 0 | 796 | 24 |3072 | 1.653956e+02 | 1.930000e+02 | 16.69%
1215.78/1216.02 c 1216s| 43200 | 14540 | 8918k| 205.8 | 16M| 129 | - | 476 | 562 | 476 | 972 | 796 | 24 |3081 | 1.653961e+02 | 1.930000e+02 | 16.69%
1218.37/1218.66 c 1219s| 43300 | 14554 | 8936k| 205.8 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3093 | 1.653963e+02 | 1.930000e+02 | 16.69%
1220.78/1221.06 c 1221s| 43400 | 14576 | 8954k| 205.7 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3093 | 1.653975e+02 | 1.930000e+02 | 16.69%
1222.47/1222.78 c 1223s| 43500 | 14580 | 8968k| 205.6 | 16M| 129 | 111 | 476 | 561 | 476 | 972 | 796 | 24 |3093 | 1.653986e+02 | 1.930000e+02 | 16.69%
1224.37/1224.65 c 1225s| 43600 | 14600 | 8979k| 205.3 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3104 | 1.653996e+02 | 1.930000e+02 | 16.69%
1225.38/1225.65 c 1226s| 43700 | 14630 | 8987k| 205.0 | 16M| 129 | 115 | 476 | 561 | 476 | 972 | 796 | 24 |3104 | 1.654002e+02 | 1.930000e+02 | 16.69%
1227.48/1227.77 c 1228s| 43800 | 14652 | 9001k| 204.9 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3116 | 1.654010e+02 | 1.930000e+02 | 16.69%
1228.97/1229.20 c 1229s| 43900 | 14678 | 9012k| 204.7 | 16M| 129 | 109 | 476 | 561 | 476 | 972 | 796 | 24 |3116 | 1.654025e+02 | 1.930000e+02 | 16.69%
1231.57/1231.86 c 1232s| 44000 | 14708 | 9031k| 204.6 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3125 | 1.654030e+02 | 1.930000e+02 | 16.68%
1233.27/1233.51 c 1234s| 44100 | 14726 | 9043k| 204.5 | 16M| 129 | - | 476 | 561 | 476 | 972 | 796 | 24 |3127 | 1.654046e+02 | 1.930000e+02 | 16.68%
1237.18/1237.42 c 1237s| 44200 | 14764 | 9071k| 204.6 | 16M| 129 | 118 | 476 | 560 | 476 | 972 | 796 | 24 |3141 | 1.654065e+02 | 1.930000e+02 | 16.68%
1238.67/1238.95 c 1239s| 44300 | 14806 | 9082k| 204.4 | 16M| 129 | 126 | 476 | 560 | 476 | 972 | 796 | 24 |3144 | 1.654087e+02 | 1.930000e+02 | 16.68%
1239.57/1239.87 c 1240s| 44400 | 14824 | 9090k| 204.1 | 16M| 129 | 120 | 476 | 560 | 476 | 972 | 796 | 24 |3146 | 1.654090e+02 | 1.930000e+02 | 16.68%
1241.37/1241.65 c 1242s| 44500 | 14846 | 9104k| 204.0 | 16M| 129 | 133 | 476 | 559 | 476 | 972 | 796 | 24 |3146 | 1.654094e+02 | 1.930000e+02 | 16.68%
1243.07/1243.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.07/1243.32 c 1243s| 44600 | 14890 | 9117k| 203.8 | 16M| 129 | 375 | 476 | 559 | 476 | 972 | 796 | 24 |3147 | 1.654115e+02 | 1.930000e+02 | 16.68%
1246.97/1247.28 c 1247s| 44700 | 14920 | 9149k| 204.1 | 16M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3147 | 1.654131e+02 | 1.930000e+02 | 16.68%
1250.77/1251.07 c 1251s| 44800 | 14958 | 9178k| 204.3 | 16M| 129 | 108 | 476 | 559 | 476 | 972 | 796 | 24 |3148 | 1.654141e+02 | 1.930000e+02 | 16.68%
1253.47/1253.79 c 1254s| 44900 | 14994 | 9201k| 204.3 | 16M| 129 | 126 | 476 | 559 | 476 | 972 | 796 | 24 |3148 | 1.654146e+02 | 1.930000e+02 | 16.68%
1253.87/1254.12 c 1254s| 45000 | 15018 | 9205k| 204.0 | 16M| 129 | 95 | 476 | 559 | 476 | 972 | 796 | 24 |3148 | 1.654146e+02 | 1.930000e+02 | 16.68%
1254.07/1254.38 c 1254s| 45100 | 15014 | 9207k| 203.6 | 16M| 129 | 110 | 476 | 559 | 476 | 972 | 796 | 24 |3149 | 1.654146e+02 | 1.930000e+02 | 16.68%
1255.77/1256.04 c 1256s| 45200 | 15032 | 9221k| 203.4 | 16M| 129 | 105 | 476 | 559 | 476 | 972 | 796 | 24 |3149 | 1.654149e+02 | 1.930000e+02 | 16.68%
1256.47/1256.75 c 1257s| 45300 | 15052 | 9227k| 203.1 | 16M| 129 | 375 | 476 | 559 | 476 | 972 | 796 | 24 |3149 | 1.654149e+02 | 1.930000e+02 | 16.68%
1257.77/1258.04 c 1258s| 45400 | 15056 | 9237k| 202.9 | 16M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654149e+02 | 1.930000e+02 | 16.68%
1260.47/1260.75 c 1261s| 45500 | 15084 | 9258k| 202.9 | 16M| 129 | 119 | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654152e+02 | 1.930000e+02 | 16.68%
1260.77/1261.00 c 1261s| 45600 | 15080 | 9261k| 202.5 | 16M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654152e+02 | 1.930000e+02 | 16.68%
1262.06/1262.39 c 1262s| 45700 | 15098 | 9271k| 202.3 | 16M| 129 | 97 | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654160e+02 | 1.930000e+02 | 16.68%
1266.06/1266.34 c 1266s| 45800 | 15128 | 9301k| 202.5 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654177e+02 | 1.930000e+02 | 16.67%
1267.66/1267.98 c 1268s| 45900 | 15158 | 9314k| 202.3 | 17M| 129 | 80 | 476 | 559 | 476 | 972 | 796 | 24 |3150 | 1.654182e+02 | 1.930000e+02 | 16.67%
1269.27/1269.55 c 1270s| 46000 | 15188 | 9325k| 202.1 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3151 | 1.654184e+02 | 1.930000e+02 | 16.67%
1272.27/1272.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1272.27/1272.54 c 1273s| 46100 | 15220 | 9347k| 202.2 | 17M| 129 | 384 | 476 | 559 | 476 | 972 | 796 | 24 |3151 | 1.654200e+02 | 1.930000e+02 | 16.67%
1273.86/1274.16 c 1274s| 46200 | 15246 | 9360k| 202.0 | 17M| 129 | 106 | 476 | 559 | 476 | 972 | 796 | 24 |3151 | 1.654209e+02 | 1.930000e+02 | 16.67%
1275.77/1276.08 c 1276s| 46300 | 15266 | 9375k| 201.9 | 17M| 129 | 132 | 476 | 559 | 476 | 972 | 796 | 24 |3167 | 1.654210e+02 | 1.930000e+02 | 16.67%
1279.36/1279.66 c 1280s| 46400 | 15294 | 9399k| 202.0 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3182 | 1.654228e+02 | 1.930000e+02 | 16.67%
1280.26/1280.55 c 1281s| 46500 | 15310 | 9406k| 201.7 | 17M| 129 | 131 | 476 | 559 | 476 | 972 | 796 | 24 |3182 | 1.654232e+02 | 1.930000e+02 | 16.67%
1283.26/1283.56 c 1284s| 46600 | 15338 | 9428k| 201.8 | 17M| 129 | 105 | 476 | 559 | 476 | 972 | 796 | 24 |3191 | 1.654234e+02 | 1.930000e+02 | 16.67%
1285.67/1285.95 c 1286s| 46700 | 15346 | 9448k| 201.8 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3191 | 1.654239e+02 | 1.930000e+02 | 16.67%
1285.96/1286.28 c 1286s| 46800 | 15350 | 9451k| 201.4 | 17M| 129 | - | 476 | 559 | 0 | 0 | 796 | 24 |3204 | 1.654239e+02 | 1.930000e+02 | 16.67%
1289.46/1289.77 c 1290s| 46900 | 15388 | 9472k| 201.4 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3219 | 1.654240e+02 | 1.930000e+02 | 16.67%
1291.76/1292.08 c 1292s| 47000 | 15424 | 9490k| 201.4 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3219 | 1.654259e+02 | 1.930000e+02 | 16.67%
1295.36/1295.64 c 1296s| 47100 | 15464 | 9511k| 201.4 | 17M| 129 | 369 | 476 | 559 | 476 | 972 | 796 | 24 |3235 | 1.654281e+02 | 1.930000e+02 | 16.67%
1299.26/1299.59 c 1300s| 47200 | 15506 | 9542k| 201.6 | 17M| 129 | 348 | 476 | 559 | 476 | 972 | 796 | 24 |3235 | 1.654286e+02 | 1.930000e+02 | 16.67%
1301.86/1302.13 c 1302s| 47300 | 15542 | 9557k| 201.5 | 17M| 129 | 360 | 476 | 559 | 476 | 972 | 796 | 24 |3249 | 1.654301e+02 | 1.930000e+02 | 16.67%
1305.26/1305.60 c 1306s| 47400 | 15578 | 9585k| 201.7 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3253 | 1.654309e+02 | 1.930000e+02 | 16.67%
1308.56/1308.88 c 1309s| 47500 | 15612 | 9607k| 201.7 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3263 | 1.654322e+02 | 1.930000e+02 | 16.66%
1311.66/1311.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.66/1311.94 c 1312s| 47600 | 15660 | 9629k| 201.7 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3272 | 1.654345e+02 | 1.930000e+02 | 16.66%
1313.65/1313.98 c 1314s| 47700 | 15690 | 9644k| 201.6 | 17M| 129 | 352 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654366e+02 | 1.930000e+02 | 16.66%
1315.46/1315.72 c 1316s| 47800 | 15744 | 9657k| 201.5 | 17M| 129 | 129 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654374e+02 | 1.930000e+02 | 16.66%
1316.36/1316.64 c 1317s| 47900 | 15784 | 9665k| 201.2 | 17M| 129 | 360 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654386e+02 | 1.930000e+02 | 16.66%
1319.35/1319.66 c 1320s| 48000 | 15824 | 9690k| 201.3 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654386e+02 | 1.930000e+02 | 16.66%
1322.26/1322.52 c 1323s| 48100 | 15876 | 9712k| 201.4 | 17M| 129 | 115 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654398e+02 | 1.930000e+02 | 16.66%
1324.86/1325.19 c 1325s| 48200 | 15906 | 9733k| 201.4 | 17M| 129 | 357 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654414e+02 | 1.930000e+02 | 16.66%
1326.76/1327.03 c 1327s| 48300 | 15930 | 9748k| 201.3 | 17M| 129 | 138 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654418e+02 | 1.930000e+02 | 16.66%
1329.56/1329.84 c 1330s| 48400 | 15964 | 9771k| 201.3 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654432e+02 | 1.930000e+02 | 16.66%
1332.96/1333.29 c 1333s| 48500 | 16004 | 9799k| 201.5 | 17M| 129 | 104 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654451e+02 | 1.930000e+02 | 16.66%
1335.35/1335.69 c 1336s| 48600 | 16030 | 9818k| 201.5 | 17M| 129 | 108 | 476 | 559 | 476 | 972 | 796 | 24 |3274 | 1.654470e+02 | 1.930000e+02 | 16.65%
1336.36/1336.60 c 1337s| 48700 | 16042 | 9825k| 201.2 | 17M| 129 | 121 | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654472e+02 | 1.930000e+02 | 16.65%
1337.75/1338.00 c 1338s| 48800 | 16062 | 9835k| 201.0 | 17M| 129 | 373 | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654488e+02 | 1.930000e+02 | 16.65%
1338.85/1339.10 c 1339s| 48900 | 16082 | 9844k| 200.8 | 17M| 129 | 134 | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654496e+02 | 1.930000e+02 | 16.65%
1341.15/1341.47 c 1341s| 49000 | 16104 | 9863k| 200.7 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654499e+02 | 1.930000e+02 | 16.65%
1344.45/1344.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1344.45/1344.70 c 1345s| 49100 | 16152 | 9887k| 200.8 | 17M| 129 | 105 | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654511e+02 | 1.930000e+02 | 16.65%
1347.55/1347.83 c 1348s| 49200 | 16182 | 9912k| 200.9 | 17M| 129 | - | 476 | 559 | 476 | 972 | 796 | 24 |3275 | 1.654516e+02 | 1.930000e+02 | 16.65%
1349.36/1349.68 c 1350s| 49300 | 16212 | 9923k| 200.7 | 17M| 129 | 132 | 476 | 559 | 476 | 972 | 796 | 24 |3286 | 1.654520e+02 | 1.930000e+02 | 16.65%
1350.26/1350.57 c 1351s| 49400 | 16240 | 9930k| 200.5 | 17M| 129 | 130 | 476 | 559 | 476 | 972 | 796 | 24 |3286 | 1.654526e+02 | 1.930000e+02 | 16.65%
1351.66/1351.94 c 1352s| 49500 | 16284 | 9940k| 200.3 | 17M| 129 | 381 | 476 | 559 | 476 | 972 | 796 | 24 |3286 | 1.654535e+02 | 1.930000e+02 | 16.65%
1352.25/1352.55 c 1353s| 49600 | 16310 | 9945k| 200.0 | 17M| 129 | 120 | 476 | 559 | 476 | 972 | 796 | 24 |3296 | 1.654535e+02 | 1.930000e+02 | 16.65%
1356.85/1357.10 c 1357s| 49700 | 16342 | 9976k| 200.2 | 18M| 129 | 110 | 476 | 559 | 476 | 972 | 796 | 24 |3325 | 1.654535e+02 | 1.930000e+02 | 16.65%
1359.05/1359.34 c 1359s| 49800 | 16370 | 9993k| 200.1 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3325 | 1.654543e+02 | 1.930000e+02 | 16.65%
1362.45/1362.79 c 1363s| 49900 | 16430 | 10020k| 200.3 | 18M| 129 | 129 | 476 | 558 | 476 | 972 | 796 | 24 |3325 | 1.654571e+02 | 1.930000e+02 | 16.65%
1362.85/1363.11 c 1363s| 50000 | 16442 | 10023k| 199.9 | 18M| 129 | 117 | 476 | 558 | 476 | 972 | 796 | 24 |3325 | 1.654571e+02 | 1.930000e+02 | 16.65%
1365.55/1365.89 c 1366s| 50100 | 16480 | 10042k| 199.9 | 18M| 129 | 129 | 476 | 558 | 476 | 972 | 796 | 24 |3339 | 1.654581e+02 | 1.930000e+02 | 16.65%
1368.85/1369.13 c 1369s| 50200 | 16508 | 10064k| 200.0 | 18M| 129 | 131 | 476 | 558 | 476 | 972 | 796 | 24 |3355 | 1.654587e+02 | 1.930000e+02 | 16.65%
1370.45/1370.74 c 1371s| 50300 | 16544 | 10077k| 199.8 | 18M| 129 | 139 | 476 | 558 | 476 | 972 | 796 | 24 |3355 | 1.654593e+02 | 1.930000e+02 | 16.64%
1375.45/1375.70 c 1376s| 50400 | 16586 | 10116k| 200.2 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3356 | 1.654625e+02 | 1.930000e+02 | 16.64%
1377.64/1377.95 c 1378s| 50500 | 16620 | 10131k| 200.1 | 18M| 129 | 361 | 476 | 558 | 476 | 972 | 796 | 24 |3366 | 1.654634e+02 | 1.930000e+02 | 16.64%
1380.55/1380.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.55/1380.84 c 1381s| 50600 | 16654 | 10151k| 200.1 | 18M| 129 | 127 | 476 | 558 | 476 | 972 | 796 | 24 |3373 | 1.654640e+02 | 1.930000e+02 | 16.64%
1383.25/1383.53 c 1384s| 50700 | 16696 | 10169k| 200.1 | 18M| 129 | 379 | 476 | 558 | 476 | 972 | 796 | 24 |3381 | 1.654666e+02 | 1.930000e+02 | 16.64%
1385.65/1386.00 c 1386s| 50800 | 16730 | 10188k| 200.0 | 18M| 129 | 126 | 476 | 558 | 476 | 972 | 796 | 24 |3385 | 1.654674e+02 | 1.930000e+02 | 16.64%
1388.14/1388.41 c 1388s| 50900 | 16762 | 10207k| 200.0 | 18M| 129 | 127 | 476 | 558 | 476 | 972 | 796 | 24 |3386 | 1.654675e+02 | 1.930000e+02 | 16.64%
1390.44/1390.72 c 1391s| 51000 | 16802 | 10225k| 200.0 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3387 | 1.654683e+02 | 1.930000e+02 | 16.64%
1391.84/1392.13 c 1392s| 51100 | 16826 | 10235k| 199.8 | 18M| 129 | 130 | 476 | 558 | 476 | 972 | 796 | 24 |3387 | 1.654686e+02 | 1.930000e+02 | 16.64%
1395.65/1395.94 c 1396s| 51200 | 16866 | 10265k| 200.0 | 18M| 129 | 379 | 476 | 558 | 476 | 972 | 796 | 24 |3387 | 1.654727e+02 | 1.930000e+02 | 16.64%
1396.14/1396.40 c 1396s| 51300 | 16878 | 10269k| 199.7 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3387 | 1.654727e+02 | 1.930000e+02 | 16.64%
1399.95/1400.22 c 1400s| 51400 | 16934 | 10299k| 199.9 | 18M| 129 | 114 | 476 | 558 | 476 | 972 | 796 | 24 |3387 | 1.654737e+02 | 1.930000e+02 | 16.63%
1403.55/1403.84 c 1404s| 51500 | 16964 | 10329k| 200.1 | 18M| 129 | 109 | 476 | 558 | 476 | 972 | 796 | 24 |3388 | 1.654739e+02 | 1.930000e+02 | 16.63%
1405.75/1406.08 c 1406s| 51600 | 16988 | 10347k| 200.0 | 18M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3388 | 1.654746e+02 | 1.930000e+02 | 16.63%
1408.34/1408.69 c 1409s| 51700 | 17014 | 10368k| 200.0 | 18M| 129 | 130 | 476 | 558 | 476 | 972 | 796 | 24 |3388 | 1.654748e+02 | 1.930000e+02 | 16.63%
1409.24/1409.57 c 1410s| 51800 | 17028 | 10375k| 199.8 | 18M| 129 | 120 | 476 | 558 | 476 | 972 | 796 | 24 |3389 | 1.654751e+02 | 1.930000e+02 | 16.63%
1411.54/1411.89 c 1412s| 51900 | 17052 | 10394k| 199.8 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3389 | 1.654757e+02 | 1.930000e+02 | 16.63%
1414.14/1414.45 c 1414s| 52000 | 17082 | 10413k| 199.8 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3389 | 1.654761e+02 | 1.930000e+02 | 16.63%
1416.25/1416.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.25/1416.52 c 1417s| 52100 | 17116 | 10429k| 199.7 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3389 | 1.654763e+02 | 1.930000e+02 | 16.63%
1417.94/1418.21 c 1418s| 52200 | 17146 | 10442k| 199.5 | 18M| 129 | 357 | 476 | 558 | 476 | 972 | 796 | 24 |3389 | 1.654767e+02 | 1.930000e+02 | 16.63%
1419.85/1420.13 c 1420s| 52300 | 17170 | 10458k| 199.5 | 18M| 129 | 135 | 476 | 558 | 476 | 972 | 796 | 24 |3390 | 1.654775e+02 | 1.930000e+02 | 16.63%
1421.94/1422.24 c 1422s| 52400 | 17200 | 10474k| 199.4 | 18M| 129 | 92 | 476 | 558 | 476 | 972 | 796 | 24 |3390 | 1.654778e+02 | 1.930000e+02 | 16.63%
1425.34/1425.66 c 1426s| 52500 | 17236 | 10497k| 199.4 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3403 | 1.654794e+02 | 1.930000e+02 | 16.63%
1427.04/1427.33 c 1427s| 52600 | 17250 | 10510k| 199.3 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3403 | 1.654800e+02 | 1.930000e+02 | 16.63%
1429.14/1429.44 c 1429s| 52700 | 17272 | 10521k| 199.1 | 18M| 129 | 127 | 476 | 558 | 476 | 972 | 796 | 24 |3420 | 1.654810e+02 | 1.930000e+02 | 16.63%
1431.24/1431.58 c 1432s| 52800 | 17276 | 10539k| 199.1 | 18M| 129 | 116 | 476 | 558 | 476 | 972 | 796 | 24 |3423 | 1.654813e+02 | 1.930000e+02 | 16.63%
1433.74/1434.02 c 1434s| 52900 | 17292 | 10557k| 199.1 | 18M| 129 | 352 | 476 | 558 | 476 | 972 | 796 | 24 |3424 | 1.654818e+02 | 1.930000e+02 | 16.63%
1438.14/1438.45 c 1438s| 53000 | 17340 | 10588k| 199.3 | 18M| 129 | 116 | 476 | 558 | 476 | 972 | 796 | 24 |3435 | 1.654831e+02 | 1.930000e+02 | 16.63%
1439.55/1439.82 c 1440s| 53100 | 17358 | 10598k| 199.1 | 18M| 129 | - | 476 | 558 | 0 | 0 | 796 | 24 |3435 | 1.654836e+02 | 1.930000e+02 | 16.63%
1442.03/1442.32 c 1442s| 53200 | 17400 | 10618k| 199.1 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3435 | 1.654850e+02 | 1.930000e+02 | 16.63%
1446.25/1446.56 c 1447s| 53300 | 17450 | 10646k| 199.3 | 18M| 129 | 131 | 476 | 558 | 476 | 972 | 796 | 24 |3445 | 1.654865e+02 | 1.930000e+02 | 16.63%
1448.04/1448.38 c 1448s| 53400 | 17460 | 10661k| 199.2 | 18M| 129 | 133 | 476 | 558 | 476 | 972 | 796 | 24 |3455 | 1.654870e+02 | 1.930000e+02 | 16.63%
1450.74/1451.09 c 1451s| 53500 | 17494 | 10679k| 199.1 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3466 | 1.654873e+02 | 1.930000e+02 | 16.63%
1451.74/1452.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1451.74/1452.05 c 1452s| 53600 | 17510 | 10687k| 198.9 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3466 | 1.654875e+02 | 1.930000e+02 | 16.63%
1453.53/1453.81 c 1454s| 53700 | 17518 | 10701k| 198.8 | 18M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3471 | 1.654876e+02 | 1.930000e+02 | 16.63%
1456.93/1457.25 c 1457s| 53800 | 17570 | 10723k| 198.8 | 18M| 129 | 367 | 476 | 558 | 476 | 972 | 796 | 24 |3485 | 1.654891e+02 | 1.930000e+02 | 16.62%
1458.13/1458.42 c 1458s| 53900 | 17586 | 10732k| 198.6 | 18M| 129 | 101 | 476 | 558 | 476 | 972 | 796 | 24 |3488 | 1.654893e+02 | 1.930000e+02 | 16.62%
1459.93/1460.20 c 1460s| 54000 | 17612 | 10745k| 198.5 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3492 | 1.654897e+02 | 1.930000e+02 | 16.62%
1461.33/1461.69 c 1462s| 54100 | 17640 | 10756k| 198.3 | 19M| 129 | 355 | 476 | 558 | 476 | 972 | 796 | 24 |3499 | 1.654909e+02 | 1.930000e+02 | 16.62%
1461.73/1462.07 c 1462s| 54200 | 17644 | 10759k| 198.0 | 19M| 129 | 111 | 476 | 558 | 476 | 972 | 796 | 24 |3501 | 1.654909e+02 | 1.930000e+02 | 16.62%
1464.73/1465.08 c 1465s| 54300 | 17680 | 10781k| 198.1 | 19M| 129 | 106 | 476 | 558 | 476 | 972 | 796 | 24 |3504 | 1.654915e+02 | 1.930000e+02 | 16.62%
1469.13/1469.42 c 1469s| 54400 | 17718 | 10816k| 198.3 | 19M| 129 | 382 | 476 | 558 | 476 | 972 | 796 | 24 |3505 | 1.654924e+02 | 1.930000e+02 | 16.62%
1472.83/1473.10 c 1473s| 54500 | 17752 | 10846k| 198.5 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3505 | 1.654929e+02 | 1.930000e+02 | 16.62%
1473.74/1474.09 c 1474s| 54600 | 17764 | 10854k| 198.3 | 19M| 129 | 124 | 476 | 558 | 476 | 972 | 796 | 24 |3505 | 1.654939e+02 | 1.930000e+02 | 16.62%
1475.53/1475.85 c 1476s| 54700 | 17770 | 10868k| 198.2 | 19M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654939e+02 | 1.930000e+02 | 16.62%
1478.33/1478.65 c 1479s| 54800 | 17800 | 10891k| 198.3 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654948e+02 | 1.930000e+02 | 16.62%
1481.93/1482.22 c 1482s| 54900 | 17846 | 10918k| 198.4 | 19M| 129 | 130 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654964e+02 | 1.930000e+02 | 16.62%
1482.92/1483.21 c 1483s| 55000 | 17874 | 10926k| 198.2 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654968e+02 | 1.930000e+02 | 16.62%
1483.13/1483.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1483.13/1483.43 c 1483s| 55100 | 17870 | 10928k| 197.8 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654968e+02 | 1.930000e+02 | 16.62%
1486.23/1486.56 c 1487s| 55200 | 17904 | 10952k| 197.9 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654974e+02 | 1.930000e+02 | 16.62%
1488.62/1488.93 c 1489s| 55300 | 17960 | 10969k| 197.9 | 19M| 129 | 373 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654984e+02 | 1.930000e+02 | 16.62%
1490.43/1490.77 c 1491s| 55400 | 17968 | 10983k| 197.8 | 19M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654988e+02 | 1.930000e+02 | 16.62%
1492.03/1492.31 c 1492s| 55500 | 18006 | 10995k| 197.6 | 19M| 129 | 363 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654993e+02 | 1.930000e+02 | 16.62%
1494.53/1494.80 c 1495s| 55600 | 18034 | 11014k| 197.6 | 19M| 129 | 115 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.654997e+02 | 1.930000e+02 | 16.62%
1497.02/1497.34 c 1497s| 55700 | 18058 | 11034k| 197.6 | 19M| 129 | 107 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.655016e+02 | 1.930000e+02 | 16.62%
1501.63/1501.95 c 1502s| 55800 | 18118 | 11070k| 197.9 | 19M| 129 | 367 | 476 | 558 | 476 | 972 | 796 | 24 |3506 | 1.655029e+02 | 1.930000e+02 | 16.61%
1504.32/1504.65 c 1505s| 55900 | 18164 | 11087k| 197.9 | 19M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3518 | 1.655036e+02 | 1.930000e+02 | 16.61%
1505.82/1506.12 c 1506s| 56000 | 18188 | 11098k| 197.7 | 19M| 129 | 370 | 476 | 558 | 476 | 972 | 796 | 24 |3518 | 1.655037e+02 | 1.930000e+02 | 16.61%
1508.52/1508.84 c 1509s| 56100 | 18218 | 11119k| 197.7 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3518 | 1.655038e+02 | 1.930000e+02 | 16.61%
1511.03/1511.38 c 1511s| 56200 | 18254 | 11131k| 197.6 | 19M| 129 | 129 | 476 | 558 | 476 | 972 | 796 | 24 |3544 | 1.655043e+02 | 1.930000e+02 | 16.61%
1515.82/1516.14 c 1516s| 56300 | 18308 | 11170k| 197.9 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3544 | 1.655067e+02 | 1.930000e+02 | 16.61%
1519.03/1519.32 c 1519s| 56400 | 18342 | 11195k| 198.0 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3544 | 1.655074e+02 | 1.930000e+02 | 16.61%
1520.43/1520.78 c 1521s| 56500 | 18374 | 11205k| 197.9 | 19M| 129 | 126 | 476 | 558 | 476 | 972 | 796 | 24 |3544 | 1.655081e+02 | 1.930000e+02 | 16.61%
1523.52/1523.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.52/1523.82 c 1524s| 56600 | 18402 | 11223k| 197.8 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3560 | 1.655096e+02 | 1.930000e+02 | 16.61%
1526.62/1526.90 c 1527s| 56700 | 18432 | 11248k| 197.9 | 19M| 129 | 121 | 476 | 558 | 476 | 972 | 796 | 24 |3560 | 1.655107e+02 | 1.930000e+02 | 16.61%
1527.53/1527.83 c 1528s| 56800 | 18448 | 11255k| 197.7 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3560 | 1.655107e+02 | 1.930000e+02 | 16.61%
1529.52/1529.88 c 1530s| 56900 | 18482 | 11268k| 197.6 | 19M| 129 | 381 | 476 | 558 | 476 | 972 | 796 | 24 |3569 | 1.655124e+02 | 1.930000e+02 | 16.61%
1531.72/1532.08 c 1532s| 57000 | 18528 | 11284k| 197.5 | 19M| 129 | 106 | 476 | 558 | 476 | 972 | 796 | 24 |3569 | 1.655133e+02 | 1.930000e+02 | 16.61%
1533.82/1534.11 c 1534s| 57100 | 18538 | 11298k| 197.4 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3577 | 1.655137e+02 | 1.930000e+02 | 16.61%
1536.82/1537.10 c 1537s| 57200 | 18564 | 11320k| 197.4 | 19M| 129 | 95 | 476 | 558 | 476 | 972 | 796 | 24 |3587 | 1.655147e+02 | 1.930000e+02 | 16.61%
1537.02/1537.35 c 1537s| 57300 | 18572 | 11322k| 197.1 | 19M| 129 | 90 | 476 | 558 | 476 | 972 | 796 | 24 |3587 | 1.655147e+02 | 1.930000e+02 | 16.61%
1537.72/1538.05 c 1538s| 57400 | 18582 | 11327k| 196.9 | 19M| 129 | 378 | 476 | 558 | 476 | 972 | 796 | 24 |3587 | 1.655148e+02 | 1.930000e+02 | 16.61%
1540.32/1540.61 c 1541s| 57500 | 18602 | 11346k| 196.9 | 19M| 129 | 365 | 476 | 558 | 476 | 972 | 796 | 24 |3591 | 1.655155e+02 | 1.930000e+02 | 16.61%
1543.12/1543.44 c 1543s| 57600 | 18638 | 11367k| 196.9 | 19M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655164e+02 | 1.930000e+02 | 16.60%
1543.92/1544.28 c 1544s| 57700 | 18648 | 11373k| 196.7 | 19M| 129 | 120 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655167e+02 | 1.930000e+02 | 16.60%
1544.82/1545.14 c 1545s| 57800 | 18666 | 11380k| 196.4 | 19M| 129 | 83 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655169e+02 | 1.930000e+02 | 16.60%
1547.82/1548.18 c 1548s| 57900 | 18702 | 11404k| 196.5 | 19M| 129 | 130 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655176e+02 | 1.930000e+02 | 16.60%
1548.72/1549.03 c 1549s| 58000 | 18710 | 11411k| 196.3 | 19M| 129 | 139 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655178e+02 | 1.930000e+02 | 16.60%
1552.22/1552.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1552.22/1552.59 c 1553s| 58100 | 18758 | 11439k| 196.4 | 19M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655183e+02 | 1.930000e+02 | 16.60%
1557.91/1558.28 c 1558s| 58200 | 18806 | 11485k| 196.9 | 19M| 129 | 370 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655187e+02 | 1.930000e+02 | 16.60%
1559.52/1559.88 c 1560s| 58300 | 18844 | 11497k| 196.8 | 19M| 129 | 89 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655190e+02 | 1.930000e+02 | 16.60%
1561.91/1562.22 c 1562s| 58400 | 18862 | 11515k| 196.7 | 20M| 129 | 357 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655204e+02 | 1.930000e+02 | 16.60%
1563.32/1563.67 c 1564s| 58500 | 18890 | 11526k| 196.6 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655207e+02 | 1.930000e+02 | 16.60%
1565.72/1566.06 c 1566s| 58600 | 18918 | 11545k| 196.6 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655213e+02 | 1.930000e+02 | 16.60%
1568.11/1568.50 c 1569s| 58700 | 18946 | 11563k| 196.5 | 20M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655230e+02 | 1.930000e+02 | 16.60%
1571.21/1571.57 c 1572s| 58800 | 18982 | 11588k| 196.6 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655236e+02 | 1.930000e+02 | 16.60%
1572.72/1573.04 c 1573s| 58900 | 19002 | 11599k| 196.5 | 20M| 129 | 350 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655237e+02 | 1.930000e+02 | 16.60%
1576.12/1576.49 c 1576s| 59000 | 19024 | 11627k| 196.6 | 20M| 129 | 356 | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655244e+02 | 1.930000e+02 | 16.60%
1576.62/1576.93 c 1577s| 59100 | 19042 | 11631k| 196.4 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3601 | 1.655244e+02 | 1.930000e+02 | 16.60%
1579.41/1579.72 c 1580s| 59200 | 19090 | 11652k| 196.4 | 20M| 129 | 122 | 476 | 558 | 476 | 972 | 796 | 24 |3602 | 1.655255e+02 | 1.930000e+02 | 16.60%
1581.02/1581.40 c 1581s| 59300 | 19114 | 11665k| 196.3 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3602 | 1.655266e+02 | 1.930000e+02 | 16.60%
1582.81/1583.13 c 1583s| 59400 | 19124 | 11680k| 196.2 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3603 | 1.655275e+02 | 1.930000e+02 | 16.60%
1585.01/1585.32 c 1585s| 59500 | 19162 | 11693k| 196.1 | 20M| 129 | 362 | 476 | 558 | 476 | 972 | 796 | 24 |3612 | 1.655287e+02 | 1.930000e+02 | 16.60%
1587.51/1587.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1587.51/1587.82 c 1588s| 59600 | 19210 | 11714k| 196.1 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3612 | 1.655287e+02 | 1.930000e+02 | 16.60%
1590.61/1590.93 c 1591s| 59700 | 19238 | 11735k| 196.1 | 20M| 129 | 129 | 476 | 558 | 476 | 972 | 796 | 24 |3622 | 1.655296e+02 | 1.930000e+02 | 16.60%
1595.21/1595.53 c 1596s| 59800 | 19280 | 11765k| 196.3 | 20M| 129 | 357 | 476 | 558 | 476 | 972 | 796 | 24 |3641 | 1.655299e+02 | 1.930000e+02 | 16.60%
1597.71/1598.02 c 1598s| 59900 | 19318 | 11785k| 196.3 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3641 | 1.655304e+02 | 1.930000e+02 | 16.59%
1599.21/1599.53 c 1600s| 60000 | 19350 | 11797k| 196.2 | 20M| 129 | 121 | 476 | 558 | 476 | 972 | 796 | 24 |3641 | 1.655311e+02 | 1.930000e+02 | 16.59%
1600.80/1601.12 c 1601s| 60100 | 19360 | 11810k| 196.1 | 20M| 129 | - | 476 | 558 | 476 | 972 | 796 | 24 |3642 | 1.655318e+02 | 1.930000e+02 | 16.59%
1602.42/1602.70 c 1603s| 60200 | 19392 | 11822k| 195.9 | 20M| 129 | 119 | 476 | 558 | 476 | 972 | 796 | 24 |3642 | 1.655337e+02 | 1.930000e+02 | 16.59%
1605.41/1605.74 c 1606s| 60300 | 19422 | 11838k| 195.9 | 20M| 129 | 125 | 476 | 557 | 476 | 972 | 796 | 24 |3661 | 1.655348e+02 | 1.930000e+02 | 16.59%
1607.60/1607.93 c 1608s| 60400 | 19446 | 11855k| 195.8 | 20M| 129 | 113 | 476 | 557 | 476 | 972 | 796 | 24 |3661 | 1.655355e+02 | 1.930000e+02 | 16.59%
1611.00/1611.35 c 1611s| 60500 | 19480 | 11883k| 196.0 | 20M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3661 | 1.655356e+02 | 1.930000e+02 | 16.59%
1612.11/1612.46 c 1612s| 60600 | 19494 | 11890k| 195.8 | 20M| 129 | 109 | 476 | 557 | 476 | 972 | 796 | 24 |3670 | 1.655358e+02 | 1.930000e+02 | 16.59%
1613.61/1613.91 c 1614s| 60700 | 19522 | 11901k| 195.6 | 20M| 129 | 110 | 476 | 557 | 476 | 972 | 796 | 24 |3670 | 1.655362e+02 | 1.930000e+02 | 16.59%
1615.00/1615.31 c 1615s| 60800 | 19542 | 11911k| 195.5 | 20M| 129 | 362 | 476 | 557 | 476 | 972 | 796 | 24 |3679 | 1.655366e+02 | 1.930000e+02 | 16.59%
1618.41/1618.71 c 1619s| 60900 | 19564 | 11934k| 195.5 | 20M| 129 | 108 | 476 | 557 | 476 | 972 | 796 | 24 |3697 | 1.655367e+02 | 1.930000e+02 | 16.59%
1618.61/1618.96 c 1619s| 61000 | 19564 | 11936k| 195.2 | 20M| 129 | 108 | 476 | 557 | 476 | 972 | 796 | 24 |3697 | 1.655367e+02 | 1.930000e+02 | 16.59%
1620.51/1620.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1620.51/1620.81 c 1621s| 61100 | 19572 | 11951k| 195.2 | 20M| 129 | 119 | 476 | 557 | 476 | 972 | 796 | 24 |3697 | 1.655372e+02 | 1.930000e+02 | 16.59%
1621.41/1621.75 c 1622s| 61200 | 19596 | 11958k| 195.0 | 20M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3697 | 1.655377e+02 | 1.930000e+02 | 16.59%
1623.01/1623.37 c 1623s| 61300 | 19632 | 11970k| 194.8 | 20M| 129 | 134 | 476 | 557 | 476 | 972 | 796 | 24 |3697 | 1.655384e+02 | 1.930000e+02 | 16.59%
1626.61/1626.99 c 1627s| 61400 | 19642 | 11998k| 195.0 | 20M| 129 | 129 | 476 | 557 | 476 | 972 | 796 | 24 |3707 | 1.655387e+02 | 1.930000e+02 | 16.59%
1627.80/1628.11 c 1628s| 61500 | 19668 | 12007k| 194.8 | 20M| 129 | 129 | 476 | 557 | 476 | 972 | 796 | 24 |3709 | 1.655390e+02 | 1.930000e+02 | 16.59%
1630.21/1630.57 c 1631s| 61600 | 19698 | 12027k| 194.8 | 20M| 129 | 116 | 476 | 557 | 476 | 972 | 796 | 24 |3710 | 1.655399e+02 | 1.930000e+02 | 16.59%
1631.02/1631.36 c 1631s| 61700 | 19710 | 12034k| 194.6 | 20M| 129 | 375 | 476 | 557 | 476 | 972 | 796 | 24 |3710 | 1.655410e+02 | 1.930000e+02 | 16.59%
1632.50/1632.80 c 1633s| 61800 | 19702 | 12045k| 194.5 | 20M| 129 | 128 | 476 | 557 | 476 | 972 | 796 | 24 |3712 | 1.655410e+02 | 1.930000e+02 | 16.59%
1633.61/1633.93 c 1634s| 61900 | 19730 | 12054k| 194.3 | 20M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3713 | 1.655421e+02 | 1.930000e+02 | 16.59%
1636.00/1636.37 c 1636s| 62000 | 19756 | 12073k| 194.3 | 20M| 129 | 362 | 476 | 557 | 476 | 972 | 796 | 24 |3714 | 1.655435e+02 | 1.930000e+02 | 16.59%
1637.11/1637.42 c 1637s| 62100 | 19778 | 12081k| 194.1 | 20M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3714 | 1.655437e+02 | 1.930000e+02 | 16.59%
1638.71/1639.04 c 1639s| 62200 | 19806 | 12094k| 194.0 | 20M| 129 | 83 | 476 | 557 | 476 | 972 | 796 | 24 |3714 | 1.655444e+02 | 1.930000e+02 | 16.59%
1640.71/1641.08 c 1641s| 62300 | 19836 | 12110k| 194.0 | 20M| 129 | 362 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655448e+02 | 1.930000e+02 | 16.58%
1645.10/1645.44 c 1645s| 62400 | 19870 | 12146k| 194.2 | 20M| 129 | 83 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655455e+02 | 1.930000e+02 | 16.58%
1654.70/1655.05 c 1655s| 62500 | 19892 | 12246k| 195.5 | 20M| 129 | 90 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655460e+02 | 1.930000e+02 | 16.58%
1655.50/1655.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1655.50/1655.84 c 1656s| 62600 | 19928 | 12253k| 195.3 | 20M| 129 | 81 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655466e+02 | 1.930000e+02 | 16.58%
1657.50/1657.85 c 1658s| 62700 | 19938 | 12269k| 195.3 | 20M| 129 | 380 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655472e+02 | 1.930000e+02 | 16.58%
1659.90/1660.23 c 1660s| 62800 | 19966 | 12287k| 195.2 | 20M| 129 | 97 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655476e+02 | 1.930000e+02 | 16.58%
1661.40/1661.76 c 1662s| 62900 | 19996 | 12299k| 195.1 | 20M| 129 | 74 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655488e+02 | 1.930000e+02 | 16.58%
1664.49/1664.87 c 1665s| 63000 | 20040 | 12323k| 195.2 | 20M| 129 | 86 | 476 | 557 | 476 | 972 | 796 | 24 |3715 | 1.655489e+02 | 1.930000e+02 | 16.58%
1666.60/1666.99 c 1667s| 63100 | 20052 | 12340k| 195.1 | 20M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3716 | 1.655491e+02 | 1.930000e+02 | 16.58%
1669.20/1669.55 c 1670s| 63200 | 20070 | 12361k| 195.2 | 20M| 129 | 371 | 476 | 557 | 476 | 972 | 796 | 24 |3717 | 1.655497e+02 | 1.930000e+02 | 16.58%
1670.90/1671.23 c 1671s| 63300 | 20092 | 12374k| 195.1 | 20M| 129 | 121 | 476 | 557 | 476 | 972 | 796 | 24 |3721 | 1.655501e+02 | 1.930000e+02 | 16.58%
1672.70/1673.01 c 1673s| 63400 | 20124 | 12387k| 195.0 | 20M| 129 | 112 | 476 | 557 | 476 | 972 | 796 | 24 |3726 | 1.655505e+02 | 1.930000e+02 | 16.58%
1676.40/1676.73 c 1677s| 63500 | 20168 | 12416k| 195.1 | 21M| 129 | 368 | 476 | 557 | 476 | 972 | 796 | 24 |3726 | 1.655511e+02 | 1.930000e+02 | 16.58%
1677.90/1678.23 c 1678s| 63600 | 20196 | 12427k| 195.0 | 21M| 129 | 117 | 476 | 557 | 476 | 972 | 796 | 24 |3726 | 1.655514e+02 | 1.930000e+02 | 16.58%
1678.80/1679.14 c 1679s| 63700 | 20208 | 12435k| 194.8 | 21M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3726 | 1.655515e+02 | 1.930000e+02 | 16.58%
1681.50/1681.83 c 1682s| 63800 | 20228 | 12452k| 194.8 | 21M| 129 | 378 | 476 | 557 | 476 | 972 | 796 | 24 |3736 | 1.655525e+02 | 1.930000e+02 | 16.58%
1682.70/1683.04 c 1683s| 63900 | 20248 | 12461k| 194.6 | 21M| 129 | 94 | 476 | 557 | 476 | 972 | 796 | 24 |3736 | 1.655526e+02 | 1.930000e+02 | 16.58%
1685.80/1686.16 c 1686s| 64000 | 20270 | 12479k| 194.6 | 21M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3758 | 1.655530e+02 | 1.930000e+02 | 16.58%
1687.90/1688.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1687.90/1688.24 c 1688s| 64100 | 20314 | 12495k| 194.5 | 21M| 129 | 365 | 476 | 557 | 476 | 972 | 796 | 24 |3758 | 1.655536e+02 | 1.930000e+02 | 16.58%
1690.90/1691.23 c 1691s| 64200 | 20338 | 12520k| 194.6 | 21M| 129 | 82 | 476 | 557 | 476 | 972 | 796 | 24 |3758 | 1.655537e+02 | 1.930000e+02 | 16.58%
1692.30/1692.68 c 1693s| 64300 | 20354 | 12531k| 194.5 | 21M| 129 | 356 | 476 | 557 | 476 | 972 | 796 | 24 |3758 | 1.655543e+02 | 1.930000e+02 | 16.58%
1694.90/1695.26 c 1695s| 64400 | 20404 | 12546k| 194.4 | 21M| 129 | 374 | 476 | 557 | 476 | 972 | 796 | 24 |3773 | 1.655551e+02 | 1.930000e+02 | 16.58%
1696.70/1697.02 c 1697s| 64500 | 20408 | 12560k| 194.3 | 21M| 129 | - | 476 | 557 | 476 | 972 | 796 | 24 |3773 | 1.655560e+02 | 1.930000e+02 | 16.58%
1702.59/1702.93 c 1703s| 64600 | 20462 | 12605k| 194.7 | 21M| 129 | 116 | 476 | 556 | 476 | 972 | 796 | 24 |3782 | 1.655575e+02 | 1.930000e+02 | 16.58%
1704.99/1705.31 c 1705s| 64700 | 20498 | 12624k| 194.7 | 21M| 129 | 107 | 476 | 556 | 476 | 972 | 796 | 24 |3782 | 1.655576e+02 | 1.930000e+02 | 16.58%
1705.19/1705.59 c 1706s| 64800 | 20496 | 12627k| 194.4 | 21M| 129 | 106 | 476 | 556 | 476 | 972 | 796 | 24 |3782 | 1.655576e+02 | 1.930000e+02 | 16.58%
1707.69/1708.08 c 1708s| 64900 | 20510 | 12644k| 194.4 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3793 | 1.655595e+02 | 1.930000e+02 | 16.57%
1710.20/1710.59 c 1711s| 65000 | 20550 | 12660k| 194.4 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3802 | 1.655607e+02 | 1.930000e+02 | 16.57%
1711.79/1712.15 c 1712s| 65100 | 20576 | 12672k| 194.3 | 21M| 129 | 119 | 476 | 556 | 476 | 972 | 796 | 24 |3802 | 1.655614e+02 | 1.930000e+02 | 16.57%
1713.59/1713.98 c 1714s| 65200 | 20592 | 12686k| 194.2 | 21M| 129 | 116 | 476 | 556 | 476 | 972 | 796 | 24 |3808 | 1.655620e+02 | 1.930000e+02 | 16.57%
1716.39/1716.73 c 1717s| 65300 | 20632 | 12706k| 194.2 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3811 | 1.655624e+02 | 1.930000e+02 | 16.57%
1719.09/1719.42 c 1719s| 65400 | 20662 | 12728k| 194.2 | 21M| 129 | 129 | 476 | 556 | 476 | 972 | 796 | 24 |3815 | 1.655631e+02 | 1.930000e+02 | 16.57%
1720.80/1721.19 c 1721s| 65500 | 20706 | 12742k| 194.1 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3818 | 1.655632e+02 | 1.930000e+02 | 16.57%
1722.09/1722.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1722.09/1722.47 c 1722s| 65600 | 20738 | 12752k| 194.0 | 21M| 129 | 348 | 476 | 556 | 476 | 972 | 796 | 24 |3819 | 1.655636e+02 | 1.930000e+02 | 16.57%
1725.29/1725.62 c 1726s| 65700 | 20786 | 12777k| 194.1 | 21M| 129 | 109 | 476 | 556 | 476 | 972 | 796 | 24 |3819 | 1.655648e+02 | 1.930000e+02 | 16.57%
1727.29/1727.62 c 1728s| 65800 | 20804 | 12792k| 194.0 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3821 | 1.655651e+02 | 1.930000e+02 | 16.57%
1730.00/1730.39 c 1730s| 65900 | 20858 | 12815k| 194.1 | 21M| 129 | 366 | 476 | 556 | 476 | 972 | 796 | 24 |3821 | 1.655659e+02 | 1.930000e+02 | 16.57%
1734.09/1734.40 c 1734s| 66000 | 20902 | 12847k| 194.3 | 21M| 129 | 366 | 476 | 556 | 476 | 972 | 796 | 24 |3822 | 1.655663e+02 | 1.930000e+02 | 16.57%
1737.39/1737.70 c 1738s| 66100 | 20948 | 12873k| 194.4 | 21M| 129 | 374 | 476 | 556 | 476 | 972 | 796 | 24 |3822 | 1.655670e+02 | 1.930000e+02 | 16.57%
1739.29/1739.61 c 1740s| 66200 | 20972 | 12888k| 194.3 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3823 | 1.655671e+02 | 1.930000e+02 | 16.57%
1742.10/1742.43 c 1742s| 66300 | 21004 | 12909k| 194.3 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655681e+02 | 1.930000e+02 | 16.57%
1742.79/1743.17 c 1743s| 66400 | 21020 | 12915k| 194.1 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655682e+02 | 1.930000e+02 | 16.57%
1744.29/1744.69 c 1745s| 66500 | 21086 | 12927k| 194.0 | 21M| 129 | - | 476 | 556 | 0 | 0 | 796 | 24 |3824 | 1.655685e+02 | 1.930000e+02 | 16.57%
1746.09/1746.48 c 1746s| 66600 | 21104 | 12941k| 193.9 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655687e+02 | 1.930000e+02 | 16.57%
1748.18/1748.51 c 1749s| 66700 | 21144 | 12956k| 193.9 | 21M| 129 | 116 | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655690e+02 | 1.930000e+02 | 16.57%
1750.08/1750.41 c 1750s| 66800 | 21166 | 12972k| 193.8 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655692e+02 | 1.930000e+02 | 16.57%
1751.08/1751.48 c 1751s| 66900 | 21172 | 12981k| 193.6 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655692e+02 | 1.930000e+02 | 16.57%
1752.79/1753.18 c 1753s| 67000 | 21178 | 12994k| 193.6 | 21M| 129 | - | 476 | 556 | 0 | 0 | 796 | 24 |3824 | 1.655692e+02 | 1.930000e+02 | 16.57%
1755.88/1756.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.88/1756.24 c 1756s| 67100 | 21226 | 13017k| 193.6 | 21M| 129 | 134 | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655695e+02 | 1.930000e+02 | 16.57%
1756.78/1757.17 c 1757s| 67200 | 21266 | 13025k| 193.4 | 21M| 129 | 125 | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655696e+02 | 1.930000e+02 | 16.57%
1758.29/1758.66 c 1759s| 67300 | 21298 | 13037k| 193.3 | 21M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655701e+02 | 1.930000e+02 | 16.57%
1761.38/1761.79 c 1762s| 67400 | 21334 | 13060k| 193.4 | 22M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3824 | 1.655704e+02 | 1.930000e+02 | 16.57%
1764.99/1765.37 c 1765s| 67500 | 21378 | 13085k| 193.5 | 22M| 129 | 111 | 476 | 556 | 476 | 972 | 796 | 24 |3834 | 1.655729e+02 | 1.930000e+02 | 16.56%
1765.38/1765.75 c 1766s| 67600 | 21398 | 13089k| 193.2 | 22M| 129 | 125 | 476 | 556 | 476 | 972 | 796 | 24 |3834 | 1.655729e+02 | 1.930000e+02 | 16.56%
1765.78/1766.16 c 1766s| 67700 | 21434 | 13093k| 193.0 | 22M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3834 | 1.655729e+02 | 1.930000e+02 | 16.56%
1768.28/1768.64 c 1769s| 67800 | 21464 | 13109k| 193.0 | 22M| 129 | 119 | 476 | 556 | 476 | 972 | 796 | 24 |3853 | 1.655729e+02 | 1.930000e+02 | 16.56%
1774.28/1774.60 c 1775s| 67900 | 21512 | 13155k| 193.4 | 22M| 129 | 365 | 476 | 556 | 476 | 972 | 796 | 24 |3853 | 1.655741e+02 | 1.930000e+02 | 16.56%
1776.68/1777.07 c 1777s| 68000 | 21548 | 13175k| 193.4 | 22M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3853 | 1.655749e+02 | 1.930000e+02 | 16.56%
1780.98/1781.33 c 1781s| 68100 | 21608 | 13203k| 193.5 | 22M| 129 | 140 | 476 | 556 | 476 | 972 | 796 | 24 |3870 | 1.655770e+02 | 1.930000e+02 | 16.56%
1783.58/1783.95 c 1784s| 68200 | 21660 | 13222k| 193.5 | 22M| 129 | 360 | 476 | 556 | 476 | 972 | 796 | 24 |3870 | 1.655777e+02 | 1.930000e+02 | 16.56%
1787.28/1787.63 c 1788s| 68300 | 21690 | 13247k| 193.6 | 22M| 129 | 115 | 476 | 556 | 476 | 972 | 796 | 24 |3883 | 1.655788e+02 | 1.930000e+02 | 16.56%
1788.08/1788.49 c 1788s| 68400 | 21724 | 13255k| 193.4 | 22M| 129 | 122 | 476 | 556 | 476 | 972 | 796 | 24 |3883 | 1.655788e+02 | 1.930000e+02 | 16.56%
1789.98/1790.34 c 1790s| 68500 | 21766 | 13269k| 193.3 | 22M| 129 | 370 | 476 | 556 | 476 | 972 | 796 | 24 |3883 | 1.655796e+02 | 1.930000e+02 | 16.56%
1792.48/1792.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.48/1792.87 c 1793s| 68600 | 21806 | 13285k| 193.3 | 22M| 129 | 356 | 476 | 556 | 476 | 972 | 796 | 24 |3897 | 1.655799e+02 | 1.930000e+02 | 16.56%
1795.68/1796.08 c 1796s| 68700 | 21860 | 13308k| 193.3 | 22M| 129 | - | 476 | 556 | 476 | 972 | 796 | 24 |3904 | 1.655818e+02 | 1.930000e+02 | 16.56%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 68723
1796.68/1797.00 c Primal Bound : +1.93000000000000e+02 (797 solutions)
1796.68/1797.00 c Dual Bound : +1.65583054106940e+02
1796.68/1797.00 c Gap : 16.56 %
1796.68/1797.00 s SATISFIABLE
1796.68/1797.00 v x476 -x475 -x474 -x473 -x472 -x471 -x470 x469 -x468 -x467 x466 -x465 x464 -x463 -x462 x461 -x460 x459 -x458 -x457 -x456 -x455 x454
1796.68/1797.00 v -x453 x452 x451 -x450 -x449 -x448 -x447 x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1796.68/1797.00 v -x432 -x431 x430 x429 -x428 -x427 x426 -x425 -x424 -x423 x422 x421 -x420 x419 x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 x410
1796.68/1797.00 v -x409 x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 x395 x394 -x393 -x392 x391 x390 -x389 -x388
1796.68/1797.00 v -x387 x386 -x385 -x384 x383 -x382 -x381 x380 x379 -x378 x377 x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 x368 x367 -x366
1796.68/1797.00 v -x365 -x364 -x363 x362 x361 x360 -x359 x358 x357 x356 x355 -x354 -x353 -x352 x351 x350 x349 -x348 -x347 x346 -x345 x344 -x343
1796.68/1797.00 v x342 -x341 x340 x339 -x338 x337 x336 x335 -x334 x333 x332 x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 x320
1796.68/1797.00 v x319 -x318 x317 -x316 -x315 x314 -x313 -x312 x311 -x310 -x309 -x308 x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299 -x298
1796.68/1797.00 v -x297 -x296 -x295 -x294 x293 -x292 x291 -x290 -x289 -x288 x287 x286 x285 -x284 -x283 x282 -x281 -x280 x279 -x278 x277 -x276
1796.68/1797.00 v x275 -x274 -x273 x272 x271 x270 x269 x268 -x267 -x266 -x265 x264 -x263 x262 x261 -x260 x259 -x258 x257 x256 -x255 -x254 x253
1796.68/1797.00 v -x252 x251 x250 -x249 x248 x247 -x246 x245 x244 -x243 x242 x241 -x240 -x239 -x238 x237 x236 -x235 x234 x233 -x232 -x231 x230
1796.68/1797.00 v -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 x220 x219 -x218 x217 x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
1796.68/1797.00 v -x207 -x206 x205 -x204 -x203 -x202 x201 -x200 x199 -x198 x197 -x196 x195 -x194 -x193 -x192 -x191 x190 -x189 -x188 -x187 -x186
1796.68/1797.00 v -x185 -x184 x183 -x182 x181 -x180 x179 x178 x177 x176 -x175 -x174 -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164
1796.68/1797.00 v x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 x152 -x151 x150 x149 -x148 x147 x146 x145 x144 x143 -x142 x141
1796.68/1797.00 v -x140 -x139 x138 x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 x119
1796.68/1797.00 v -x118 -x117 x116 x115 x114 -x113 -x112 -x111 x110 -x109 x108 x107 -x106 -x105 -x104 x103 -x102 -x101 x100 x99 -x98 x97 -x96
1796.68/1797.00 v -x95 x94 x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 x80 -x79 x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70 x69
1796.68/1797.00 v -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 x59 -x58 -x57 -x56 x55 x54 x53 x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 -x44 -x43
1796.68/1797.00 v -x42 x41 x40 x39 x38 -x37 -x36 x35 -x34 x33 -x32 -x31 x30 x29 -x28 -x27 x26 -x25 x24 x23 x22 x21 -x20 x19 -x18 -x17 -x16 x15
1796.68/1797.00 v -x14 x13 -x12 -x11 x10 -x9 x8 x7 -x6 x5 x4 x3 -x2 x1
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Total Time : 1797.00
1796.68/1797.00 c solving : 1797.00
1796.68/1797.00 c presolving : 0.03 (included in solving)
1796.68/1797.00 c reading : 0.00 (included in solving)
1796.68/1797.00 c copying : 0.10 (18 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.68/1797.00 c Original Problem :
1796.68/1797.00 c Problem name : HOME/instance-3693217-1338029237.opb
1796.68/1797.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 476 initial, 476 maximal
1796.68/1797.00 c Objective sense : minimize
1796.68/1797.00 c Presolved Problem :
1796.68/1797.00 c Problem name : t_HOME/instance-3693217-1338029237.opb
1796.68/1797.00 c Variables : 476 (476 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.00 c Constraints : 556 initial, 580 maximal
1796.68/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 24 182 286 669
1796.68/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 78 0 0 0
1796.68/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 27
1796.68/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.00 c root node : - - 0 - - 0 - - - - -
1796.68/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c integral : 0 0 0 0 46144 0 802 0 5 232 0 0 91952
1796.68/1797.00 c knapsack : 450 450 12 278513 0 0 797 0 987 236836 820 0 0
1796.68/1797.00 c setppc : 104 104 12 277507 0 0 796 0 0 39267 0 0 0
1796.68/1797.00 c logicor : 2+ 26 12 15458 0 0 796 0 0 6 0 0 0
1796.68/1797.00 c countsols : 0 0 0 0 0 0 800 0 0 0 0 0 0
1796.68/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.00 c integral : 125.81 0.00 0.00 0.00 125.80 0.00 0.00 0.00
1796.68/1797.00 c knapsack : 2.62 0.00 0.04 2.57 0.00 0.00 0.01 0.00
1796.68/1797.00 c setppc : 0.48 0.00 0.00 0.48 0.00 0.00 0.00 0.00
1796.68/1797.00 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00
1796.68/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.00 c rootredcost : 15 0 0 0
1796.68/1797.00 c pseudoobj : 324607 0 0 0
1796.68/1797.00 c vbounds : 0 0 0 0
1796.68/1797.00 c redcost : 66094 0 0 488923
1796.68/1797.00 c probing : 0 0 0 0
1796.68/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.00 c rootredcost : 0.25 0.00 0.00 0.25 0.00
1796.68/1797.00 c pseudoobj : 0.52 0.00 0.00 0.52 0.00
1796.68/1797.00 c vbounds : 0.23 0.00 0.00 0.23 0.00
1796.68/1797.00 c redcost : 1.26 0.00 0.00 1.26 0.00
1796.68/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.68/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.00 c propagation : 0.00 987 0 0 0.0 0 0.0 -
1796.68/1797.00 c infeasible LP : 0.00 24 24 24 4.5 0 0.0 0
1796.68/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.00 c applied globally : - - - 24 4.5 - - -
1796.68/1797.00 c applied locally : - - - 0 0.0 - - -
1796.68/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.00 c cut pool : 0.00 11 - - 280 - (maximal pool size: 1385)
1796.68/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.68/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c gomory : 1.77 0.00 10 0 0 0 0
1796.68/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c strongcg : 1.66 0.00 12 0 0 0 0
1796.68/1797.00 c cmir : 0.28 0.00 10 0 0 854 0
1796.68/1797.00 c flowcover : 0.27 0.00 10 0 0 1020 0
1796.68/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.68/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.00 c problem variables: 0.00 - 0 0
1796.68/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.00 c relpscost : 125.67 0.00 46144 5 232 0 0 91952
1796.68/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.00 c LP solutions : 0.00 - - 0
1796.68/1797.00 c pseudo solutions : 0.00 - - 0
1796.68/1797.00 c oneopt : 0.06 0.00 11 4
1796.68/1797.00 c crossover : 0.64 0.00 2 1
1796.68/1797.00 c linesearchdiving : 111.96 0.00 207 53
1796.68/1797.00 c pscostdiving : 242.18 0.00 389 307
1796.68/1797.00 c smallcard : 0.00 0.00 0 0
1796.68/1797.00 c trivial : 0.00 0.00 2 1
1796.68/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.00 c simplerounding : 1.16 0.00 46154 65
1796.68/1797.00 c zirounding : 0.88 0.00 3601 72
1796.68/1797.00 c rounding : 10.48 0.00 9922 1
1796.68/1797.00 c shifting : 3.36 0.00 2848 1
1796.68/1797.00 c intshifting : 0.00 0.00 0 0
1796.68/1797.00 c twoopt : 0.00 0.00 0 0
1796.68/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.00 c indoneopt : 0.16 0.00 0 0
1796.68/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.00 c feaspump : 0.01 0.00 0 0
1796.68/1797.00 c clique : 0.00 0.00 0 0
1796.68/1797.00 c coefdiving : 59.57 0.00 60 104
1796.68/1797.00 c indrounding : 0.00 0.00 0 0
1796.68/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.00 c fracdiving : 54.82 0.00 56 0
1796.68/1797.00 c veclendiving : 67.20 0.00 106 66
1796.68/1797.00 c intdiving : 0.00 0.00 0 0
1796.68/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.00 c objpscostdiving : 32.54 0.00 6 122
1796.68/1797.00 c rootsoldiving : 13.11 0.00 17 0
1796.68/1797.00 c guideddiving : 55.30 0.00 53 0
1796.68/1797.00 c octane : 0.00 0.00 0 0
1796.68/1797.00 c rens : 0.01 0.00 0 0
1796.68/1797.00 c rins : 0.00 0.00 0 0
1796.68/1797.00 c localbranching : 0.00 0.00 0 0
1796.68/1797.00 c mutation : 0.00 0.00 0 0
1796.68/1797.00 c dins : 0.00 0.00 0 0
1796.68/1797.00 c vbounds : 0.00 0.00 0 0
1796.68/1797.00 c undercover : 0.00 0.00 0 0
1796.68/1797.00 c subnlp : 0.06 0.00 0 0
1796.68/1797.00 c trysol : 0.11 0.00 0 0
1796.68/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.00 c primal LP : 0.01 2 0 0.00 0.00 0.01 2
1796.68/1797.00 c dual LP : 995.44 87872 7919238 116.73 7955.50 4.84 20027
1796.68/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.00 c diving/probing LP: 613.13 117699 5395870 45.84 8800.53
1796.68/1797.00 c strong branching : 123.44 3904 815539 208.90 6606.90
1796.68/1797.00 c (at root node) : - 37 34592 934.92 -
1796.68/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.00 c B&B Tree :
1796.68/1797.00 c number of runs : 1
1796.68/1797.00 c nodes : 68723
1796.68/1797.00 c nodes (total) : 68723
1796.68/1797.00 c nodes left : 21871
1796.68/1797.00 c max depth : 129
1796.68/1797.00 c max depth (total): 129
1796.68/1797.00 c backtracks : 13251 (19.3%)
1796.68/1797.00 c delayed cutoffs : 0
1796.68/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.00 c avg switch length: 6.87
1796.68/1797.00 c switching time : 2.75
1796.68/1797.00 c Solution :
1796.68/1797.00 c Solutions found : 797 (23 improvements)
1796.68/1797.00 c First Solution : +4.76000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.68/1797.00 c Primal Bound : +1.93000000000000e+02 (in run 1, after 8733 nodes, 339.75 seconds, depth 213, found by <pscostdiving>)
1796.68/1797.00 c Dual Bound : +1.65583054106940e+02
1796.68/1797.00 c Gap : 16.56 %
1796.68/1797.00 c Root Dual Bound : +1.63559450265270e+02
1796.68/1797.00 c Root Iterations : 27024
1796.68/1797.04 c Time complete: 1796.72.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3693217-1338029237/watcher-3693217-1338029237 -o /tmp/evaluation-result-3693217-1338029237/solver-3693217-1338029237 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693217-1338029237.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: 1.00 1.07 1.42 4/175 439
/proc/meminfo: memFree=28505872/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=9820 CPUtime=0 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 1210 0 0 0 0 0 0 0 20 0 1 0 269050709 10055680 1165 33554432000 4194304 10169799 140734619994784 140733998322728 8797266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 2455 1165 403 1459 0 987 0
[startup+0.0175901 s]
/proc/loadavg: 1.00 1.07 1.42 4/175 439
/proc/meminfo: memFree=28505872/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=16896 CPUtime=0 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 3018 0 0 0 0 0 0 0 20 0 1 0 269050709 17301504 2716 33554432000 4194304 10169799 140734619994784 140733998322728 8961143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 4224 2716 542 1459 0 2756 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16896
[startup+0.100273 s]
/proc/loadavg: 1.00 1.07 1.42 4/175 439
/proc/meminfo: memFree=28505872/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=24312 CPUtime=0.09 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 5058 0 0 0 8 1 0 0 20 0 1 0 269050709 24895488 4756 33554432000 4194304 10169799 140734619994784 140733998322728 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 6078 4756 752 1459 0 4610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24312
[startup+0.300231 s]
/proc/loadavg: 1.00 1.07 1.42 4/175 439
/proc/meminfo: memFree=28505872/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=24312 CPUtime=0.29 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 5105 0 0 0 27 2 0 0 20 0 1 0 269050709 24895488 4803 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 6078 4803 753 1459 0 4610 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24312
[startup+0.700228 s]
/proc/loadavg: 1.00 1.07 1.42 4/175 439
/proc/meminfo: memFree=28505872/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=24688 CPUtime=0.69 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 5186 0 0 0 66 3 0 0 20 0 1 0 269050709 25280512 4884 33554432000 4194304 10169799 140734619994784 140734619989240 7978403 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 6172 4884 753 1459 0 4704 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24688
[startup+1.50023 s]
/proc/loadavg: 1.08 1.09 1.42 4/177 441
/proc/meminfo: memFree=28474388/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=26308 CPUtime=1.49 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 5668 0 0 0 141 8 0 0 20 0 1 0 269050709 26939392 5366 33554432000 4194304 10169799 140734619994784 140734619989240 7983390 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 6577 5366 801 1459 0 5109 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26308
[startup+3.10023 s]
/proc/loadavg: 1.08 1.09 1.42 4/177 441
/proc/meminfo: memFree=28468312/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=27960 CPUtime=3.09 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 6104 0 0 0 300 9 0 0 20 0 1 0 269050709 28631040 5802 33554432000 4194304 10169799 140734619994784 140734619990856 8009920 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 6990 5802 803 1459 0 5522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27960
[startup+6.30023 s]
/proc/loadavg: 1.08 1.09 1.42 4/177 441
/proc/meminfo: memFree=28466948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=28296 CPUtime=6.29 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 6175 0 0 0 617 12 0 0 20 0 1 0 269050709 28975104 5873 33554432000 4194304 10169799 140734619994784 140734619990824 5020816 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 7074 5873 803 1459 0 5606 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28296
[startup+12.7002 s]
/proc/loadavg: 1.22 1.12 1.43 4/177 441
/proc/meminfo: memFree=28466508/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=28764 CPUtime=12.69 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 7263 0 0 0 1251 18 0 0 20 0 1 0 269050709 29454336 6006 33554432000 4194304 10169799 140734619994784 140734619989432 8009862 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 7191 6006 834 1459 0 5723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28764
[startup+25.5002 s]
/proc/loadavg: 1.34 1.15 1.43 4/177 441
/proc/meminfo: memFree=28465588/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=28764 CPUtime=25.48 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 7271 0 0 0 2521 27 0 0 20 0 1 0 269050709 29454336 6350 33554432000 4194304 10169799 140734619994784 140734619989240 8979322 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/439/statm: 7191 6350 838 1459 0 5723 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28764
[startup+51.1002 s]
/proc/loadavg: 1.56 1.21 1.45 4/177 441
/proc/meminfo: memFree=28463900/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=29080 CPUtime=51.08 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 9395 0 0 0 5022 86 0 0 20 0 1 0 269050709 29777920 6528 33554432000 4194304 10169799 140734619994784 140734619989288 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 7270 6528 849 1459 0 5802 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29080
[startup+102.307 s]
/proc/loadavg: 1.82 1.34 1.48 4/177 441
/proc/meminfo: memFree=28459804/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=31212 CPUtime=102.28 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 14970 0 0 0 9946 282 0 0 20 0 1 0 269050709 31961088 7067 33554432000 4194304 10169799 140734619994784 140734619989384 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 7803 7067 855 1459 0 6335 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 31212
[startup+162.3 s]
/proc/loadavg: 1.93 1.46 1.51 4/177 441
/proc/meminfo: memFree=28456700/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=32484 CPUtime=162.26 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 15282 0 0 0 15790 436 0 0 20 0 1 0 269050709 33263616 7378 33554432000 4194304 10169799 140734619994784 140734619988808 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 8121 7378 855 1459 0 6653 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32484
[startup+222.3 s]
/proc/loadavg: 1.97 1.56 1.54 4/178 444
/proc/meminfo: memFree=28451912/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=32872 CPUtime=222.25 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 16714 0 0 0 21688 537 0 0 20 0 1 0 269050709 33660928 7482 33554432000 4194304 10169799 140734619994784 140734619988808 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 8218 7482 855 1459 0 6750 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32872
[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.56 4/177 445
/proc/meminfo: memFree=28449188/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=36080 CPUtime=282.23 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 18092 0 0 0 27593 630 0 0 20 0 1 0 269050709 36945920 8251 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9020 8251 855 1459 0 7552 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 36080
[startup+342.3 s]
/proc/loadavg: 1.99 1.70 1.58 4/177 445
/proc/meminfo: memFree=28448688/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=36072 CPUtime=342.23 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 18649 0 0 0 33492 731 0 0 20 0 1 0 269050709 36937728 8282 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9018 8282 855 1459 0 7550 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 36072
[startup+402.3 s]
/proc/loadavg: 1.99 1.75 1.61 4/177 445
/proc/meminfo: memFree=28448068/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=36056 CPUtime=402.22 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 20392 0 0 0 39393 829 0 0 20 0 1 0 269050709 36921344 8281 33554432000 4194304 10169799 140734619994784 140734619988376 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9014 8281 855 1459 0 7546 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 36056
[startup+462.3 s]
/proc/loadavg: 2.11 1.82 1.64 4/177 445
/proc/meminfo: memFree=28444596/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=36076 CPUtime=462.21 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 21084 0 0 0 45289 932 0 0 20 0 1 0 269050709 36941824 8286 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9019 8286 855 1459 0 7551 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 36076
[startup+522.3 s]
/proc/loadavg: 2.04 1.85 1.66 4/177 445
/proc/meminfo: memFree=28444344/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=36220 CPUtime=522.2 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 21117 0 0 0 51179 1041 0 0 20 0 1 0 269050709 37089280 8319 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9055 8319 855 1459 0 7587 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 36220
[startup+582.3 s]
/proc/loadavg: 2.01 1.88 1.68 4/177 446
/proc/meminfo: memFree=28442916/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=37052 CPUtime=582.19 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 22000 0 0 0 57075 1144 0 0 20 0 1 0 269050709 37941248 8538 33554432000 4194304 10169799 140734619994784 140734619988952 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 9263 8538 855 1459 0 7795 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 37052
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28433348/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=43224 CPUtime=1122.09 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 24837 0 0 0 110162 2047 0 0 20 0 1 0 269050709 44261376 10076 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 10806 10076 855 1459 0 9338 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 43224
[startup+1182.3 s]
/proc/loadavg: 2.02 1.99 1.82 4/177 474
/proc/meminfo: memFree=28433036/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=43224 CPUtime=1182.08 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 24840 0 0 0 116058 2150 0 0 20 0 1 0 269050709 44261376 10078 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 10806 10078 855 1459 0 9338 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 43224
[startup+1242.3 s]
/proc/loadavg: 2.08 2.00 1.83 4/177 474
/proc/meminfo: memFree=28431360/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=43224 CPUtime=1242.08 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 24840 0 0 0 121954 2254 0 0 20 0 1 0 269050709 44261376 10078 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 10806 10078 855 1459 0 9338 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 43224
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.84 4/177 474
/proc/meminfo: memFree=28428756/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=43416 CPUtime=1302.06 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 24883 0 0 0 127854 2352 0 0 20 0 1 0 269050709 44457984 10121 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 10854 10121 855 1459 0 9386 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 43416
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.84 4/177 474
/proc/meminfo: memFree=28427328/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=44596 CPUtime=1362.05 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 25169 0 0 0 133749 2456 0 0 20 0 1 0 269050709 45666304 10407 33554432000 4194304 10169799 140734619994784 140734619992232 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 11149 10407 855 1459 0 9681 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 44596
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.85 4/178 477
/proc/meminfo: memFree=28427444/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=44596 CPUtime=1422.05 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 25169 0 0 0 139645 2560 0 0 20 0 1 0 269050709 45666304 10407 33554432000 4194304 10169799 140734619994784 140734619991736 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 11149 10407 855 1459 0 9681 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 44596
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.86 4/177 478
/proc/meminfo: memFree=28425032/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=46568 CPUtime=1482.03 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 25671 0 0 0 145544 2659 0 0 20 0 1 0 269050709 47685632 10908 33554432000 4194304 10169799 140734619994784 140734619991736 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 11642 10908 855 1459 0 10174 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 46568
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.87 4/177 478
/proc/meminfo: memFree=28423728/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=47324 CPUtime=1542.02 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 25861 0 0 0 151443 2759 0 0 20 0 1 0 269050709 48459776 11098 33554432000 4194304 10169799 140734619994784 140734619993304 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 11831 11098 855 1459 0 10363 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 47324
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.87 4/177 478
/proc/meminfo: memFree=28422052/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=47464 CPUtime=1602.01 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26554 0 0 0 157343 2858 0 0 20 0 1 0 269050709 48603136 11132 33554432000 4194304 10169799 140734619994784 140734619989240 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 11866 11132 855 1459 0 10398 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 47464
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/177 478
/proc/meminfo: memFree=28421492/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48080 CPUtime=1662 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26700 0 0 0 163238 2962 0 0 20 0 1 0 269050709 49233920 11277 33554432000 4194304 10169799 140734619994784 140734619989288 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12020 11277 855 1459 0 10552 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 48080
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 4/177 478
/proc/meminfo: memFree=28420624/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48080 CPUtime=1721.99 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26718 0 0 0 169139 3060 0 0 20 0 1 0 269050709 49233920 11295 33554432000 4194304 10169799 140734619994784 140734619989576 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12020 11295 855 1459 0 10552 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 48080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28419072/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48768 CPUtime=1781.98 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26879 0 0 0 175047 3151 0 0 20 0 1 0 269050709 49938432 11456 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12192 11456 855 1459 0 10724 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 48768
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28419072/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1785.19 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26929 0 0 0 175362 3157 0 0 20 0 1 0 269050709 50171904 11506 33554432000 4194304 10169799 140734619994784 140734619989288 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11506 855 1459 0 10781 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 48996
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1791.59 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26929 0 0 0 175991 3168 0 0 20 0 1 0 269050709 50171904 11506 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11506 855 1459 0 10781 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 48996
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1794.79 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26929 0 0 0 176306 3173 0 0 20 0 1 0 269050709 50171904 11506 33554432000 4194304 10169799 140734619994784 140734619988856 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11506 855 1459 0 10781 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 48996
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1795.58 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26929 0 0 0 176383 3175 0 0 20 0 1 0 269050709 50171904 11506 33554432000 4194304 10169799 140734619994784 140734619989576 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11506 855 1459 0 10781 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 48996
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1796.38 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26939 0 0 0 176462 3176 0 0 20 0 1 0 269050709 50171904 11516 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11516 855 1459 0 10781 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 48996
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1796.58 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26939 0 0 0 176482 3176 0 0 20 0 1 0 269050709 50171904 11516 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11516 855 1459 0 10781 0
Current children cumulated CPU time (s) 1796.58
Current children cumulated vsize (KiB) 48996
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.89 4/177 479
/proc/meminfo: memFree=28418948/32873844 swapFree=7100/7100
[pid=439] ppid=436 vsize=48996 CPUtime=1796.68 cores=1,3,5,7
/proc/439/stat : 439 (scip-2.1.1.4sfi) R 436 439 32069 0 -1 4202496 26939 0 0 0 176492 3176 0 0 20 0 1 0 269050709 50171904 11516 33554432000 4194304 10169799 140734619994784 140734619989192 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/439/statm: 12249 11516 855 1459 0 10781 0
Current children cumulated CPU time (s) 1796.68
Current children cumulated vsize (KiB) 48996
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.74
CPU user time (s): 1764.97
CPU system time (s): 31.7682
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 48996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1764.97
system time used= 31.7682
maximum resident set size= 46776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26943
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= 21
involuntary context switches= 2581
runsolver used 2.56961 second user time and 9.04462 second system time
The end