0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692055-1338029682.opb>
0.00/0.00 c original problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 481 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 481
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.810000e+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, 14 chg coeffs, 0 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 14 chg coeffs, 481 upgd conss, 2 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 67 del conss, 186 add conss, 0 chg bounds, 256 chg sides, 650 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.02 c (round 4) 0 del vars, 107 del conss, 205 add conss, 0 chg bounds, 307 chg sides, 739 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.02 c (round 5) 0 del vars, 113 del conss, 211 add conss, 0 chg bounds, 328 chg sides, 782 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.03 c (round 6) 0 del vars, 116 del conss, 214 add conss, 0 chg bounds, 350 chg sides, 830 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.03 c (round 7) 0 del vars, 117 del conss, 215 add conss, 0 chg bounds, 353 chg sides, 835 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.03 c (round 8) 0 del vars, 117 del conss, 215 add conss, 0 chg bounds, 354 chg sides, 836 chg coeffs, 481 upgd conss, 254 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 51/481 (10.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.03 c presolving (9 rounds):
0.00/0.03 c 0 deleted vars, 117 deleted constraints, 215 added constraints, 0 tightened bounds, 0 added holes, 354 changed sides, 836 changed coefficients
0.00/0.03 c 254 implications, 0 cliques
0.00/0.03 c presolved problem has 481 variables (481 bin, 0 int, 0 impl, 0 cont) and 579 constraints
0.00/0.03 c 453 constraints of type <knapsack>
0.00/0.03 c 126 constraints of type <setppc>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 2.1.1.4
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1797
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 13950
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # belongs reading time to solving time?
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c timing/reading = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.89/0.92 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.92 c t 0.9s| 1 | 0 | 10502 | - |2811k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 4.810000e+02 | 211.78%
0.89/0.92 o 343
0.89/0.92 c r 0.9s| 1 | 0 | 10502 | - |2825k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 3.430000e+02 | 122.33%
0.89/0.93 o 342
0.89/0.93 c R 0.9s| 1 | 0 | 10502 | - |2838k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 3.420000e+02 | 121.68%
0.89/0.93 o 341
0.89/0.93 c s 0.9s| 1 | 0 | 10502 | - |2851k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 3.410000e+02 | 121.03%
1.29/1.39 o 234
1.29/1.39 c y 1.4s| 1 | 0 | 10502 | - |3257k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 2.340000e+02 | 51.68%
1.79/1.81 c 1.8s| 1 | 0 | 13732 | - |3168k| 0 | 385 | 481 | 579 | 481 | 787 | 208 | 0 | 0 | 1.603920e+02 | 2.340000e+02 | 45.89%
2.49/2.55 c 2.5s| 1 | 0 | 17256 | - |3426k| 0 | 418 | 481 | 579 | 481 | 958 | 379 | 0 | 0 | 1.639263e+02 | 2.340000e+02 | 42.75%
3.09/3.17 c 3.2s| 1 | 0 | 19326 | - |3612k| 0 | 439 | 481 | 579 | 481 |1096 | 517 | 0 | 0 | 1.657674e+02 | 2.340000e+02 | 41.16%
3.89/3.93 c 3.9s| 1 | 0 | 21953 | - |3733k| 0 | 441 | 481 | 579 | 481 |1199 | 620 | 0 | 0 | 1.667508e+02 | 2.340000e+02 | 40.33%
4.39/4.48 c 4.5s| 1 | 0 | 22799 | - |3801k| 0 | 449 | 481 | 579 | 481 |1266 | 687 | 0 | 0 | 1.671931e+02 | 2.340000e+02 | 39.96%
4.88/4.90 c 4.9s| 1 | 0 | 23182 | - |3814k| 0 | 448 | 481 | 579 | 481 |1291 | 712 | 0 | 0 | 1.673479e+02 | 2.340000e+02 | 39.83%
5.40/5.41 c 5.4s| 1 | 0 | 23520 | - |3847k| 0 | 446 | 481 | 579 | 481 |1321 | 742 | 0 | 0 | 1.675577e+02 | 2.340000e+02 | 39.65%
5.79/5.86 c 5.9s| 1 | 0 | 23751 | - |3862k| 0 | 449 | 481 | 579 | 481 |1332 | 753 | 0 | 0 | 1.676159e+02 | 2.340000e+02 | 39.60%
6.19/6.26 c 6.3s| 1 | 0 | 23817 | - |3870k| 0 | 449 | 481 | 579 | 481 |1337 | 758 | 0 | 0 | 1.676330e+02 | 2.340000e+02 | 39.59%
6.59/6.65 c 6.7s| 1 | 0 | 23826 | - |3878k| 0 | 449 | 481 | 579 | 481 |1339 | 760 | 0 | 0 | 1.676335e+02 | 2.340000e+02 | 39.59%
10.28/10.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.28/10.39 c 10.4s| 1 | 2 | 23826 | - |3891k| 0 | 449 | 481 | 579 | 481 |1339 | 760 | 0 | 27 | 1.676335e+02 | 2.340000e+02 | 39.59%
29.28/29.30 o 231
29.28/29.30 c c29.3s| 15 | 16 | 40045 |1158.5 |4627k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.310000e+02 | 37.67%
29.28/29.31 o 227
29.28/29.31 c c29.3s| 15 | 16 | 40114 |1163.4 |4634k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.270000e+02 | 35.28%
29.28/29.33 o 226
29.28/29.33 c c29.3s| 15 | 16 | 40376 |1182.1 |4668k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.260000e+02 | 34.69%
29.28/29.33 o 224
29.28/29.33 c c29.3s| 15 | 16 | 40388 |1183.0 |4670k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.240000e+02 | 33.50%
29.28/29.33 o 223
29.28/29.33 c c29.3s| 15 | 16 | 40389 |1183.1 |4671k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.230000e+02 | 32.90%
29.28/29.34 o 222
29.28/29.34 c c29.3s| 15 | 16 | 40397 |1183.6 |4673k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.220000e+02 | 32.30%
29.28/29.34 o 221
29.28/29.34 c c29.3s| 15 | 16 | 40398 |1183.7 |4674k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.210000e+02 | 31.71%
29.28/29.34 o 220
29.28/29.34 c c29.3s| 15 | 16 | 40413 |1184.8 |4677k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.200000e+02 | 31.11%
29.28/29.34 o 219
29.28/29.34 c c29.3s| 15 | 16 | 40433 |1186.2 |4680k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.190000e+02 | 30.52%
29.28/29.34 o 218
29.28/29.34 c c29.3s| 15 | 16 | 40438 |1186.6 |4683k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.180000e+02 | 29.92%
29.28/29.34 o 217
29.28/29.34 c c29.3s| 15 | 16 | 40439 |1186.6 |4685k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.170000e+02 | 29.32%
29.28/29.35 o 215
29.28/29.35 c b29.4s| 16 | 15 | 40476 |1110.0 |4573k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.150000e+02 | 28.13%
30.89/30.99 o 214
30.89/30.99 c p31.0s| 27 | 28 | 52520 |1103.6 |4785k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.140000e+02 | 27.41%
30.89/30.99 o 210
30.89/30.99 c p31.0s| 27 | 28 | 52522 |1103.7 |4786k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.100000e+02 | 25.03%
30.89/30.99 o 210
30.89/30.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.89/30.99 c p31.0s| 27 | 28 | 52536 |1104.2 |4788k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.100000e+02 | 25.03%
30.89/30.99 o 209
30.89/30.99 c p31.0s| 27 | 28 | 52577 |1105.8 |4799k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.090000e+02 | 24.44%
30.98/31.00 o 209
30.98/31.00 c p31.0s| 27 | 28 | 52586 |1106.2 |4803k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.090000e+02 | 24.44%
30.98/31.00 o 208
30.98/31.00 c p31.0s| 27 | 28 | 52588 |1106.2 |4805k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.080000e+02 | 23.84%
50.08/50.18 c 50.2s| 100 | 101 |225009 |2032.2 |4826k| 18 | 395 | 481 | 579 | 481 | 979 | 760 | 0 | 275 | 1.679551e+02 | 2.080000e+02 | 23.84%
53.48/53.56 o 207
53.48/53.56 c p53.6s| 124 | 125 |248098 |1823.3 |4998k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.070000e+02 | 23.25%
53.48/53.56 o 207
53.48/53.56 c p53.6s| 124 | 125 |248124 |1823.6 |5002k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.070000e+02 | 23.25%
53.48/53.56 o 206
53.48/53.56 c p53.6s| 124 | 125 |248133 |1823.6 |5004k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.060000e+02 | 22.65%
62.78/62.86 c 62.9s| 200 | 201 |310655 |1441.4 |4915k| 26 | 359 | 481 | 579 | 481 | 979 | 760 | 0 | 318 | 1.679960e+02 | 2.060000e+02 | 22.62%
71.57/71.64 o 205
71.57/71.64 c l71.6s| 244 | 245 |377828 |1456.8 |5106k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.050000e+02 | 22.03%
71.57/71.64 o 203
71.57/71.64 c l71.6s| 244 | 245 |377853 |1456.9 |5110k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.030000e+02 | 20.84%
71.57/71.64 o 202
71.57/71.64 c l71.6s| 244 | 245 |377871 |1457.0 |5115k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.020000e+02 | 20.24%
95.58/95.61 c 95.6s| 300 | 301 |560935 |1796.4 |4989k| 27 | 406 | 481 | 579 | 481 | 979 | 760 | 0 | 356 | 1.681787e+02 | 2.020000e+02 | 20.11%
126.16/126.20 c 126s| 400 | 401 |782613 |1901.7 |5054k| 27 | 385 | 481 | 579 | 481 | 979 | 760 | 0 | 419 | 1.682558e+02 | 2.020000e+02 | 20.06%
128.87/128.92 o 202
128.87/128.92 c p 129s| 409 | 410 |800711 |1904.1 |5214k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 428 | 1.682860e+02 | 2.020000e+02 | 20.03%
128.87/128.96 o 201
128.87/128.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.87/128.96 c b 129s| 410 | 411 |800940 |1900.0 |5067k| 27 | 432 | 481 | 579 | 481 | 979 | 760 | 0 | 428 | 1.683344e+02 | 2.010000e+02 | 19.41%
157.97/158.05 c 158s| 500 | 501 | 1022k|2001.0 |5117k| 27 | 415 | 481 | 579 | 481 | 979 | 760 | 0 | 490 | 1.683739e+02 | 2.010000e+02 | 19.38%
178.86/178.96 o 200
178.86/178.96 c p 179s| 589 | 590 | 1186k|1977.5 |5334k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 515 | 1.684027e+02 | 2.000000e+02 | 18.76%
178.96/179.04 o 199
178.96/179.04 c b 179s| 590 | 591 | 1186k|1974.7 |5181k| 27 | 403 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684027e+02 | 1.990000e+02 | 18.17%
181.36/181.48 c 181s| 600 | 601 | 1207k|1976.1 |5181k| 27 | 383 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684027e+02 | 1.990000e+02 | 18.17%
198.35/198.49 c 198s| 700 | 701 | 1346k|1892.0 |5243k| 28 | 378 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684771e+02 | 1.990000e+02 | 18.12%
216.35/216.46 c 216s| 800 | 801 | 1482k|1825.7 |5309k| 31 | 355 | 481 | 579 | 481 | 979 | 760 | 0 | 545 | 1.685306e+02 | 1.990000e+02 | 18.08%
229.95/230.08 c 230s| 900 | 901 | 1573k|1723.7 |5374k| 31 | 360 | 481 | 579 | 481 | 979 | 760 | 0 | 613 | 1.685608e+02 | 1.990000e+02 | 18.06%
244.45/244.52 c 245s| 1000 | 1001 | 1685k|1663.0 |5442k| 31 | 348 | 481 | 579 | 481 | 979 | 760 | 0 | 637 | 1.685987e+02 | 1.990000e+02 | 18.03%
256.44/256.53 c 257s| 1100 | 1101 | 1779k|1597.5 |5510k| 31 | 395 | 481 | 579 | 481 | 979 | 760 | 0 | 639 | 1.686113e+02 | 1.990000e+02 | 18.02%
269.45/269.54 c 270s| 1200 | 1201 | 1869k|1539.6 |5579k| 34 | 318 | 481 | 579 | 481 | 979 | 760 | 0 | 681 | 1.686412e+02 | 1.990000e+02 | 18.00%
276.34/276.42 c 276s| 1300 | 1301 | 1923k|1462.5 |5651k| 60 | 236 | 481 | 579 | 481 | 979 | 760 | 0 | 714 | 1.686474e+02 | 1.990000e+02 | 18.00%
280.24/280.36 c 280s| 1400 | 1401 | 1951k|1378.2 |5724k| 76 | 219 | 481 | 579 | 481 | 979 | 760 | 0 | 752 | 1.686569e+02 | 1.990000e+02 | 17.99%
283.04/283.18 c 283s| 1500 | 1501 | 1972k|1300.2 |5801k| 105 | 166 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686596e+02 | 1.990000e+02 | 17.99%
285.54/285.60 c 286s| 1600 | 1601 | 1994k|1232.2 |5881k| 108 | 156 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686620e+02 | 1.990000e+02 | 17.99%
287.54/287.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.54/287.63 c 288s| 1700 | 1701 | 2010k|1169.3 |5959k| 108 | 152 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686624e+02 | 1.990000e+02 | 17.99%
290.04/290.15 c 290s| 1800 | 1801 | 2032k|1116.7 |6040k| 112 | 136 | 481 | 582 | 481 | 979 | 760 | 3 | 766 | 1.686681e+02 | 1.990000e+02 | 17.98%
290.64/290.71 c 291s| 1900 | 1901 | 2038k|1060.9 |6121k| 115 | 137 | 481 | 582 | 481 | 979 | 760 | 3 | 768 | 1.686681e+02 | 1.990000e+02 | 17.98%
291.14/291.20 c 291s| 2000 | 1989 | 2043k|1010.3 |6195k| 123 | - | 481 | 582 | 481 | 979 | 760 | 3 | 768 | 1.686681e+02 | 1.990000e+02 | 17.98%
293.34/293.47 c 293s| 2100 | 2051 | 2061k| 971.0 |6245k| 132 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 772 | 1.686698e+02 | 1.990000e+02 | 17.98%
296.74/296.83 c 297s| 2200 | 2095 | 2087k| 938.3 |6287k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686790e+02 | 1.990000e+02 | 17.98%
298.73/298.83 c 299s| 2300 | 2131 | 2103k| 904.7 |6321k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
298.93/299.07 c 299s| 2400 | 2165 | 2106k| 868.0 |6354k| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
299.24/299.32 c 299s| 2500 | 2183 | 2108k| 834.3 |6377k| 140 | 102 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
302.54/302.60 c 303s| 2600 | 2233 | 2134k| 812.0 |6423k| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686948e+02 | 1.990000e+02 | 17.96%
307.53/307.68 c 308s| 2700 | 2289 | 2162k| 792.4 |6471k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687067e+02 | 1.990000e+02 | 17.96%
307.84/307.91 c 308s| 2800 | 2303 | 2164k| 764.9 |6487k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687067e+02 | 1.990000e+02 | 17.96%
311.94/312.01 c 312s| 2900 | 2359 | 2197k| 749.9 |6530k| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687149e+02 | 1.990000e+02 | 17.95%
316.75/316.85 c 317s| 3000 | 2419 | 2226k| 734.4 |6577k| 140 | 384 | 481 | 582 | 481 | 979 | 760 | 3 | 850 | 1.687346e+02 | 1.990000e+02 | 17.94%
318.33/318.48 c 318s| 3100 | 2449 | 2240k| 715.3 |6605k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 850 | 1.687346e+02 | 1.990000e+02 | 17.94%
320.33/320.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.33/320.45 c 320s| 3200 | 2481 | 2254k| 697.2 |6634k| 140 | 132 | 481 | 582 | 481 | 979 | 760 | 3 | 861 | 1.687442e+02 | 1.990000e+02 | 17.93%
320.53/320.68 c 321s| 3300 | 2499 | 2256k| 676.8 |6652k| 140 | 115 | 481 | 582 | 481 | 979 | 760 | 3 | 861 | 1.687442e+02 | 1.990000e+02 | 17.93%
321.04/321.15 c 321s| 3400 | 2541 | 2260k| 657.9 |6690k| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 | 877 | 1.687442e+02 | 1.990000e+02 | 17.93%
322.93/323.09 c 323s| 3500 | 2575 | 2272k| 642.6 |6722k| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 | 888 | 1.687478e+02 | 1.990000e+02 | 17.93%
325.23/325.39 c 325s| 3600 | 2603 | 2290k| 629.7 |6754k| 140 | 103 | 481 | 582 | 481 | 979 | 760 | 3 | 894 | 1.687540e+02 | 1.990000e+02 | 17.92%
329.63/329.71 c 330s| 3700 | 2669 | 2323k| 621.7 |6803k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 | 899 | 1.687604e+02 | 1.990000e+02 | 17.92%
332.44/332.51 c 333s| 3800 | 2709 | 2344k| 611.0 |6842k| 140 | 134 | 481 | 582 | 481 | 979 | 760 | 3 | 900 | 1.687687e+02 | 1.990000e+02 | 17.91%
334.43/334.50 c 334s| 3900 | 2727 | 2361k| 599.5 |6861k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 900 | 1.687687e+02 | 1.990000e+02 | 17.91%
338.23/338.32 c 338s| 4000 | 2763 | 2392k| 592.2 |6892k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687755e+02 | 1.990000e+02 | 17.91%
340.13/340.24 c 340s| 4100 | 2801 | 2407k| 581.5 |6923k| 140 | 107 | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687899e+02 | 1.990000e+02 | 17.90%
342.53/342.61 c 343s| 4200 | 2835 | 2425k| 572.1 |6953k| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687994e+02 | 1.990000e+02 | 17.89%
349.43/349.53 c 350s| 4300 | 2897 | 2482k| 572.0 |6999k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 | 902 | 1.688038e+02 | 1.990000e+02 | 17.89%
355.23/355.37 c 355s| 4400 | 2943 | 2521k| 567.7 |7033k| 140 | 137 | 481 | 582 | 481 | 979 | 760 | 3 | 929 | 1.688134e+02 | 1.990000e+02 | 17.88%
360.42/360.58 c 361s| 4500 | 3003 | 2560k| 563.7 |7080k| 140 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 938 | 1.688143e+02 | 1.990000e+02 | 17.88%
364.32/364.47 c 364s| 4600 | 3079 | 2585k| 557.0 |7137k| 140 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 960 | 1.688190e+02 | 1.990000e+02 | 17.88%
364.63/364.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.63/364.78 c 365s| 4700 | 3111 | 2588k| 545.8 |7164k| 140 | 168 | 481 | 582 | 481 | 979 | 760 | 3 | 960 | 1.688190e+02 | 1.990000e+02 | 17.88%
367.24/367.33 c 367s| 4800 | 3173 | 2607k| 538.4 |7214k| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 | 971 | 1.688190e+02 | 1.990000e+02 | 17.88%
369.53/369.64 c 370s| 4900 | 3219 | 2621k| 530.3 |7251k| 140 | 173 | 481 | 582 | 481 | 979 | 760 | 3 | 997 | 1.688206e+02 | 1.990000e+02 | 17.88%
373.62/373.71 c 374s| 5000 | 3291 | 2651k| 525.7 |7309k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1012 | 1.688259e+02 | 1.990000e+02 | 17.87%
376.93/377.05 c 377s| 5100 | 3355 | 2676k| 520.3 |7358k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1019 | 1.688296e+02 | 1.990000e+02 | 17.87%
378.92/379.07 c 379s| 5200 | 3433 | 2694k| 513.7 |7412k| 140 | 155 | 481 | 582 | 481 | 979 | 760 | 3 |1019 | 1.688299e+02 | 1.990000e+02 | 17.87%
381.02/381.19 c 381s| 5300 | 3507 | 2712k| 507.3 |7465k| 140 | 142 | 481 | 582 | 481 | 979 | 760 | 3 |1020 | 1.688300e+02 | 1.990000e+02 | 17.87%
381.43/381.55 c 382s| 5400 | 3553 | 2715k| 498.6 |7506k| 140 | 122 | 481 | 582 | 481 | 979 | 760 | 3 |1021 | 1.688300e+02 | 1.990000e+02 | 17.87%
382.32/382.46 c 382s| 5500 | 3615 | 2723k| 490.9 |7552k| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688317e+02 | 1.990000e+02 | 17.87%
388.53/388.61 c 389s| 5600 | 3689 | 2772k| 490.8 |7608k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688390e+02 | 1.990000e+02 | 17.86%
392.32/392.42 c 392s| 5700 | 3737 | 2803k| 487.7 |7644k| 140 | 117 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688528e+02 | 1.990000e+02 | 17.85%
392.63/392.71 c 393s| 5800 | 3779 | 2806k| 479.8 |7678k| 140 | 121 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688528e+02 | 1.990000e+02 | 17.85%
395.73/395.90 c 396s| 5900 | 3845 | 2831k| 475.9 |7732k| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688571e+02 | 1.990000e+02 | 17.85%
399.52/399.66 c 400s| 6000 | 3899 | 2861k| 473.0 |7777k| 140 | 158 | 481 | 582 | 481 | 979 | 760 | 3 |1041 | 1.688583e+02 | 1.990000e+02 | 17.85%
404.12/404.21 c 404s| 6100 | 3985 | 2889k| 469.8 |7845k| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1082 | 1.688598e+02 | 1.990000e+02 | 17.85%
411.43/411.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.43/411.51 c 412s| 6200 | 4069 | 2936k| 469.9 |7910k| 140 | 384 | 481 | 582 | 481 | 979 | 760 | 3 |1123 | 1.688623e+02 | 1.990000e+02 | 17.85%
415.32/415.40 c 415s| 6300 | 4121 | 2968k| 467.5 |7950k| 140 | 162 | 481 | 582 | 481 | 979 | 760 | 3 |1123 | 1.688632e+02 | 1.990000e+02 | 17.85%
419.82/419.92 c 420s| 6400 | 4205 | 3001k| 465.4 |8015k| 140 | 377 | 481 | 582 | 481 | 979 | 760 | 3 |1138 | 1.688712e+02 | 1.990000e+02 | 17.84%
423.62/423.73 c 424s| 6500 | 4271 | 3031k| 462.7 |8068k| 140 | 375 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688719e+02 | 1.990000e+02 | 17.84%
426.92/427.04 c 427s| 6600 | 4341 | 3056k| 459.6 |8122k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688753e+02 | 1.990000e+02 | 17.84%
427.52/427.64 c 428s| 6700 | 4413 | 3061k| 453.5 |8186k| 140 | 138 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688753e+02 | 1.990000e+02 | 17.84%
431.32/431.47 c 431s| 6800 | 4475 | 3093k| 451.5 |8234k| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688837e+02 | 1.990000e+02 | 17.83%
435.02/435.11 c 435s| 6900 | 4545 | 3121k| 449.0 |8292k| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688891e+02 | 1.990000e+02 | 17.83%
439.11/439.24 c 439s| 7000 | 4615 | 3155k| 447.5 |8347k| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688925e+02 | 1.990000e+02 | 17.83%
453.12/453.27 c 453s| 7100 | 4695 | 3292k| 460.4 |8409k| 140 | 158 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.689060e+02 | 1.990000e+02 | 17.82%
454.22/454.39 c 454s| 7200 | 4729 | 3298k| 454.9 |8438k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1155 | 1.689099e+02 | 1.990000e+02 | 17.81%
455.72/455.82 c 456s| 7300 | 4785 | 3310k| 450.3 |8485k| 140 | 154 | 481 | 582 | 481 | 979 | 760 | 3 |1155 | 1.689099e+02 | 1.990000e+02 | 17.81%
456.02/456.12 c 456s| 7400 | 4833 | 3313k| 444.6 |8523k| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1156 | 1.689099e+02 | 1.990000e+02 | 17.81%
460.32/460.45 c 460s| 7500 | 4907 | 3343k| 442.7 |8588k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1176 | 1.689134e+02 | 1.990000e+02 | 17.81%
463.41/463.57 c 464s| 7600 | 4973 | 3363k| 439.5 |8633k| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 |1212 | 1.689175e+02 | 1.990000e+02 | 17.81%
469.11/469.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.11/469.25 c 469s| 7700 | 5039 | 3402k| 438.8 |8684k| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1234 | 1.689256e+02 | 1.990000e+02 | 17.80%
472.92/473.02 c 473s| 7800 | 5101 | 3433k| 437.2 |8732k| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1235 | 1.689299e+02 | 1.990000e+02 | 17.80%
476.61/476.74 c 477s| 7900 | 5177 | 3457k| 434.7 |8790k| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1256 | 1.689352e+02 | 1.990000e+02 | 17.80%
480.22/480.35 c 480s| 8000 | 5241 | 3485k| 432.8 |8843k| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 |1269 | 1.689367e+02 | 1.990000e+02 | 17.80%
480.62/480.73 c 481s| 8100 | 5291 | 3488k| 427.8 |8890k| 140 | 91 | 481 | 582 | 481 | 979 | 760 | 3 |1273 | 1.689367e+02 | 1.990000e+02 | 17.80%
484.42/484.53 c 485s| 8200 | 5355 | 3517k| 426.1 |8933k| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689389e+02 | 1.990000e+02 | 17.79%
485.91/486.02 c 486s| 8300 | 5395 | 3530k| 422.5 |8968k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689389e+02 | 1.990000e+02 | 17.79%
487.91/488.01 c 488s| 8400 | 5455 | 3547k| 419.5 |9021k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689405e+02 | 1.990000e+02 | 17.79%
489.81/489.99 c 490s| 8500 | 5537 | 3562k| 416.4 |9079k| 140 | 129 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689440e+02 | 1.990000e+02 | 17.79%
493.31/493.49 c 493s| 8600 | 5605 | 3591k| 414.9 |9133k| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689458e+02 | 1.990000e+02 | 17.79%
495.50/495.69 c 496s| 8700 | 5661 | 3610k| 412.3 |9182k| 140 | 165 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689510e+02 | 1.990000e+02 | 17.79%
497.41/497.59 c 498s| 8800 | 5747 | 3625k| 409.4 |9253k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689510e+02 | 1.990000e+02 | 17.79%
498.60/498.71 c 499s| 8900 | 5811 | 3635k| 405.8 |9305k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689558e+02 | 1.990000e+02 | 17.78%
502.61/502.72 c 503s| 9000 | 5875 | 3667k| 404.9 |9355k| 140 | 135 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689587e+02 | 1.990000e+02 | 17.78%
505.30/505.40 c 505s| 9100 | 5931 | 3688k| 402.7 |9402k| 140 | 103 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689669e+02 | 1.990000e+02 | 17.77%
509.61/509.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
509.61/509.75 c 510s| 9200 | 5983 | 3722k| 402.1 |9443k| 140 | 155 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689726e+02 | 1.990000e+02 | 17.77%
514.51/514.64 c 515s| 9300 | 6041 | 3761k| 401.9 |9488k| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689778e+02 | 1.990000e+02 | 17.77%
514.81/514.98 c 515s| 9400 | 6097 | 3764k| 398.0 |9536k| 140 | 146 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689778e+02 | 1.990000e+02 | 17.77%
516.71/516.88 c 517s| 9500 | 6173 | 3780k| 395.5 |9600k| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689800e+02 | 1.990000e+02 | 17.77%
518.40/518.56 c 519s| 9600 | 6245 | 3794k| 392.8 |9655k| 140 | 153 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689806e+02 | 1.990000e+02 | 17.76%
520.21/520.34 c 520s| 9700 | 6289 | 3808k| 390.2 |9695k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689809e+02 | 1.990000e+02 | 17.76%
522.90/523.08 c 523s| 9800 | 6339 | 3830k| 388.5 |9738k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689843e+02 | 1.990000e+02 | 17.76%
525.20/525.30 c 525s| 9900 | 6407 | 3847k| 386.3 |9793k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689886e+02 | 1.990000e+02 | 17.76%
527.40/527.56 c 528s| 10000 | 6473 | 3865k| 384.2 |9837k| 140 | 127 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689941e+02 | 1.990000e+02 | 17.76%
529.91/530.05 c 530s| 10100 | 6539 | 3885k| 382.3 |9887k| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689944e+02 | 1.990000e+02 | 17.76%
533.50/533.67 c 534s| 10200 | 6609 | 3914k| 381.4 |9940k| 140 | 139 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.689985e+02 | 1.990000e+02 | 17.75%
537.80/537.98 c 538s| 10300 | 6687 | 3948k| 381.1 | 10M| 140 | 143 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690041e+02 | 1.990000e+02 | 17.75%
541.41/541.56 c 542s| 10400 | 6743 | 3977k| 380.2 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690069e+02 | 1.990000e+02 | 17.75%
544.81/544.97 c 545s| 10500 | 6799 | 4004k| 379.2 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690081e+02 | 1.990000e+02 | 17.75%
546.30/546.49 c 546s| 10600 | 6875 | 4016k| 376.7 | 10M| 140 | 127 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
546.70/546.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.70/546.84 c 547s| 10700 | 6927 | 4020k| 373.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
547.11/547.26 c 547s| 10800 | 6991 | 4024k| 370.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
550.30/550.44 c 550s| 10900 | 7049 | 4049k| 369.4 | 10M| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
550.70/550.83 c 551s| 11000 | 7105 | 4054k| 366.4 | 10M| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
551.00/551.19 c 551s| 11100 | 7163 | 4057k| 363.4 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
553.60/553.74 c 554s| 11200 | 7225 | 4078k| 362.1 | 10M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690118e+02 | 1.990000e+02 | 17.74%
557.70/557.86 c 558s| 11300 | 7287 | 4111k| 361.8 | 10M| 140 | 399 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690191e+02 | 1.990000e+02 | 17.74%
563.30/563.42 c 563s| 11400 | 7351 | 4156k| 362.5 | 10M| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690201e+02 | 1.990000e+02 | 17.74%
569.00/569.16 c 569s| 11500 | 7415 | 4197k| 363.0 | 10M| 140 | 117 | 481 | 582 | 481 | 979 | 760 | 3 |1298 | 1.690240e+02 | 1.990000e+02 | 17.73%
572.10/572.21 c 572s| 11600 | 7475 | 4218k| 361.6 | 10M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1326 | 1.690267e+02 | 1.990000e+02 | 17.73%
574.69/574.82 c 575s| 11700 | 7539 | 4238k| 360.2 | 10M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1336 | 1.690347e+02 | 1.990000e+02 | 17.73%
574.99/575.13 c 575s| 11800 | 7587 | 4241k| 357.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1336 | 1.690347e+02 | 1.990000e+02 | 17.73%
577.60/577.72 c 578s| 11900 | 7655 | 4256k| 355.7 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1362 | 1.690362e+02 | 1.990000e+02 | 17.73%
581.00/581.16 c 581s| 12000 | 7713 | 4283k| 355.0 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1366 | 1.690367e+02 | 1.990000e+02 | 17.73%
583.29/583.44 c 583s| 12100 | 7775 | 4300k| 353.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1372 | 1.690381e+02 | 1.990000e+02 | 17.72%
584.20/584.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.20/584.35 c 584s| 12200 | 7809 | 4307k| 351.2 | 10M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1373 | 1.690383e+02 | 1.990000e+02 | 17.72%
586.29/586.48 c 586s| 12300 | 7857 | 4324k| 349.7 | 10M| 140 | 379 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690422e+02 | 1.990000e+02 | 17.72%
589.09/589.21 c 589s| 12400 | 7885 | 4346k| 348.7 | 11M| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690440e+02 | 1.990000e+02 | 17.72%
592.80/592.91 c 593s| 12500 | 7933 | 4375k| 348.1 | 11M| 140 | 125 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690533e+02 | 1.990000e+02 | 17.71%
594.90/595.05 c 595s| 12600 | 7961 | 4392k| 346.8 | 11M| 140 | 129 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690551e+02 | 1.990000e+02 | 17.71%
598.59/598.79 c 599s| 12700 | 8009 | 4423k| 346.4 | 11M| 140 | 395 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690589e+02 | 1.990000e+02 | 17.71%
602.19/602.35 c 602s| 12800 | 8071 | 4451k| 346.0 | 11M| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690615e+02 | 1.990000e+02 | 17.71%
602.90/603.05 c 603s| 12900 | 8117 | 4457k| 343.7 | 11M| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690647e+02 | 1.990000e+02 | 17.71%
603.49/603.60 c 604s| 13000 | 8165 | 4462k| 341.5 | 11M| 140 | 148 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690647e+02 | 1.990000e+02 | 17.71%
606.09/606.24 c 606s| 13100 | 8205 | 4484k| 340.5 | 11M| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690658e+02 | 1.990000e+02 | 17.71%
609.69/609.89 c 610s| 13200 | 8273 | 4509k| 339.9 | 11M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1386 | 1.690685e+02 | 1.990000e+02 | 17.70%
611.99/612.10 c 612s| 13300 | 8343 | 4526k| 338.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1386 | 1.690724e+02 | 1.990000e+02 | 17.70%
614.99/615.15 c 615s| 13400 | 8399 | 4547k| 337.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1399 | 1.690728e+02 | 1.990000e+02 | 17.70%
620.39/620.57 c 621s| 13500 | 8447 | 4585k| 337.9 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1451 | 1.690742e+02 | 1.990000e+02 | 17.70%
620.89/621.04 c 621s| 13600 | 8523 | 4589k| 335.8 | 11M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1454 | 1.690742e+02 | 1.990000e+02 | 17.70%
621.40/621.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.40/621.57 c 622s| 13700 | 8597 | 4595k| 333.7 | 11M| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 |1454 | 1.690742e+02 | 1.990000e+02 | 17.70%
621.89/622.09 c 622s| 13800 | 8645 | 4599k| 331.6 | 11M| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1467 | 1.690742e+02 | 1.990000e+02 | 17.70%
622.29/622.45 c 622s| 13900 | 8683 | 4603k| 329.5 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1467 | 1.690742e+02 | 1.990000e+02 | 17.70%
622.69/622.81 c 623s| 14000 | 8705 | 4606k| 327.3 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1475 | 1.690742e+02 | 1.990000e+02 | 17.70%
626.79/626.98 c 627s| 14100 | 8751 | 4633k| 327.0 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1501 | 1.690755e+02 | 1.990000e+02 | 17.70%
628.49/628.62 c 629s| 14200 | 8795 | 4646k| 325.6 | 11M| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 |1501 | 1.690794e+02 | 1.990000e+02 | 17.70%
630.88/631.04 c 631s| 14300 | 8857 | 4664k| 324.6 | 11M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1507 | 1.690829e+02 | 1.990000e+02 | 17.69%
632.99/633.18 c 633s| 14400 | 8895 | 4682k| 323.5 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1511 | 1.690830e+02 | 1.990000e+02 | 17.69%
636.39/636.57 c 637s| 14500 | 8947 | 4707k| 323.1 | 11M| 140 | 107 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690858e+02 | 1.990000e+02 | 17.69%
637.89/638.02 c 638s| 14600 | 8997 | 4718k| 321.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690879e+02 | 1.990000e+02 | 17.69%
639.79/639.92 c 640s| 14700 | 9023 | 4734k| 320.5 | 11M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1513 | 1.690898e+02 | 1.990000e+02 | 17.69%
641.89/642.08 c 642s| 14800 | 9067 | 4753k| 319.6 | 12M| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690904e+02 | 1.990000e+02 | 17.69%
642.19/642.40 c 642s| 14900 | 9079 | 4756k| 317.6 | 12M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690904e+02 | 1.990000e+02 | 17.69%
647.19/647.31 c 647s| 15000 | 9145 | 4794k| 318.1 | 12M| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690974e+02 | 1.990000e+02 | 17.68%
650.39/650.54 c 651s| 15100 | 9195 | 4821k| 317.7 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690990e+02 | 1.990000e+02 | 17.68%
652.59/652.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
652.59/652.72 c 653s| 15200 | 9245 | 4837k| 316.7 | 12M| 140 | 95 | 481 | 582 | 481 | 979 | 760 | 3 |1514 | 1.691012e+02 | 1.990000e+02 | 17.68%
656.68/656.83 c 657s| 15300 | 9301 | 4870k| 316.8 | 12M| 140 | 113 | 481 | 582 | 481 | 979 | 760 | 3 |1515 | 1.691031e+02 | 1.990000e+02 | 17.68%
658.88/659.06 c 659s| 15400 | 9343 | 4889k| 316.0 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1517 | 1.691035e+02 | 1.990000e+02 | 17.68%
659.79/659.93 c 660s| 15500 | 9389 | 4896k| 314.4 | 12M| 140 | 135 | 481 | 582 | 481 | 979 | 760 | 3 |1517 | 1.691061e+02 | 1.990000e+02 | 17.68%
663.68/663.80 c 664s| 15600 | 9429 | 4921k| 314.0 | 12M| 140 | 391 | 481 | 582 | 481 | 979 | 760 | 3 |1544 | 1.691101e+02 | 1.990000e+02 | 17.67%
666.69/666.85 c 667s| 15700 | 9467 | 4943k| 313.4 | 12M| 140 | 105 | 481 | 582 | 481 | 979 | 760 | 3 |1554 | 1.691132e+02 | 1.990000e+02 | 17.67%
667.98/668.13 c 668s| 15800 | 9501 | 4950k| 311.8 | 12M| 140 | 367 | 481 | 582 | 481 | 979 | 760 | 3 |1568 | 1.691145e+02 | 1.990000e+02 | 17.67%
670.18/670.39 c 670s| 15900 | 9521 | 4969k| 311.1 | 12M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1568 | 1.691146e+02 | 1.990000e+02 | 17.67%
673.48/673.62 c 674s| 16000 | 9585 | 4991k| 310.5 | 12M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1580 | 1.691187e+02 | 1.990000e+02 | 17.67%
673.78/673.96 c 674s| 16100 | 9625 | 4994k| 308.8 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1580 | 1.691187e+02 | 1.990000e+02 | 17.67%
676.29/676.41 c 676s| 16200 | 9659 | 5012k| 308.0 | 12M| 140 | 138 | 481 | 582 | 481 | 979 | 760 | 3 |1596 | 1.691194e+02 | 1.990000e+02 | 17.67%
679.18/679.33 c 679s| 16300 | 9701 | 5035k| 307.5 | 12M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1596 | 1.691209e+02 | 1.990000e+02 | 17.67%
681.67/681.82 c 682s| 16400 | 9765 | 5052k| 306.7 | 12M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1616 | 1.691211e+02 | 1.990000e+02 | 17.67%
683.28/683.47 c 683s| 16500 | 9807 | 5066k| 305.6 | 12M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1616 | 1.691218e+02 | 1.990000e+02 | 17.67%
685.98/686.15 c 686s| 16600 | 9837 | 5083k| 304.8 | 12M| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 |1638 | 1.691225e+02 | 1.990000e+02 | 17.67%
688.08/688.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
688.08/688.26 c 688s| 16700 | 9871 | 5100k| 304.0 | 12M| 140 | 376 | 481 | 582 | 481 | 979 | 760 | 3 |1638 | 1.691235e+02 | 1.990000e+02 | 17.67%
689.88/690.04 c 690s| 16800 | 9913 | 5113k| 303.0 | 12M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1650 | 1.691253e+02 | 1.990000e+02 | 17.66%
691.69/691.83 c 692s| 16900 | 9959 | 5128k| 302.1 | 12M| 140 | 132 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691261e+02 | 1.990000e+02 | 17.66%
693.67/693.86 c 694s| 17000 | 10019 | 5145k| 301.3 | 12M| 140 | 122 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691266e+02 | 1.990000e+02 | 17.66%
696.27/696.47 c 696s| 17100 | 10057 | 5166k| 300.7 | 12M| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691298e+02 | 1.990000e+02 | 17.66%
699.38/699.53 c 700s| 17200 | 10093 | 5189k| 300.4 | 12M| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691310e+02 | 1.990000e+02 | 17.66%
703.07/703.24 c 703s| 17300 | 10139 | 5218k| 300.3 | 12M| 140 | 392 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691328e+02 | 1.990000e+02 | 17.66%
705.87/706.02 c 706s| 17400 | 10187 | 5241k| 299.9 | 13M| 140 | 123 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691337e+02 | 1.990000e+02 | 17.66%
706.57/706.74 c 707s| 17500 | 10221 | 5247k| 298.5 | 13M| 140 | 369 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691338e+02 | 1.990000e+02 | 17.66%
709.78/709.95 c 710s| 17600 | 10251 | 5272k| 298.2 | 13M| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691345e+02 | 1.990000e+02 | 17.66%
712.97/713.16 c 713s| 17700 | 10305 | 5298k| 298.0 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691366e+02 | 1.990000e+02 | 17.66%
714.97/715.17 c 715s| 17800 | 10335 | 5313k| 297.2 | 13M| 140 | 379 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691377e+02 | 1.990000e+02 | 17.66%
717.08/717.21 c 717s| 17900 | 10365 | 5329k| 296.4 | 13M| 140 | 393 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691406e+02 | 1.990000e+02 | 17.65%
719.77/719.92 c 720s| 18000 | 10389 | 5347k| 295.8 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1680 | 1.691415e+02 | 1.990000e+02 | 17.65%
723.17/723.34 c 723s| 18100 | 10423 | 5374k| 295.7 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1680 | 1.691422e+02 | 1.990000e+02 | 17.65%
726.07/726.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.07/726.21 c 726s| 18200 | 10449 | 5391k| 295.0 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1702 | 1.691423e+02 | 1.990000e+02 | 17.65%
728.27/728.43 c 728s| 18300 | 10477 | 5409k| 294.3 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1703 | 1.691425e+02 | 1.990000e+02 | 17.65%
730.97/731.18 c 731s| 18400 | 10505 | 5429k| 293.8 | 13M| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 |1718 | 1.691453e+02 | 1.990000e+02 | 17.65%
733.87/734.07 c 734s| 18500 | 10551 | 5451k| 293.4 | 13M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1719 | 1.691493e+02 | 1.990000e+02 | 17.65%
736.17/736.38 c 736s| 18600 | 10575 | 5465k| 292.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1747 | 1.691493e+02 | 1.990000e+02 | 17.65%
740.07/740.23 c 740s| 18700 | 10623 | 5495k| 292.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1747 | 1.691518e+02 | 1.990000e+02 | 17.65%
743.07/743.22 c 743s| 18800 | 10675 | 5516k| 292.2 | 13M| 140 | 370 | 481 | 582 | 481 | 979 | 760 | 3 |1761 | 1.691533e+02 | 1.990000e+02 | 17.64%
744.77/744.96 c 745s| 18900 | 10697 | 5532k| 291.5 | 13M| 140 | 130 | 481 | 582 | 481 | 979 | 760 | 3 |1770 | 1.691533e+02 | 1.990000e+02 | 17.64%
745.06/745.29 c 745s| 19000 | 10717 | 5535k| 290.1 | 13M| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1773 | 1.691533e+02 | 1.990000e+02 | 17.64%
747.37/747.59 c 748s| 19100 | 10761 | 5550k| 289.3 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1787 | 1.691535e+02 | 1.990000e+02 | 17.64%
747.77/747.91 c 748s| 19200 | 10781 | 5553k| 288.0 | 13M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1787 | 1.691535e+02 | 1.990000e+02 | 17.64%
753.07/753.27 c 753s| 19300 | 10835 | 5593k| 288.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691548e+02 | 1.990000e+02 | 17.64%
755.67/755.80 c 756s| 19400 | 10881 | 5613k| 288.1 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691602e+02 | 1.990000e+02 | 17.64%
755.87/756.02 c 756s| 19500 | 10889 | 5615k| 286.8 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691602e+02 | 1.990000e+02 | 17.64%
760.67/760.87 c 761s| 19600 | 10925 | 5653k| 287.3 | 13M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1801 | 1.691620e+02 | 1.990000e+02 | 17.64%
761.56/761.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
761.56/761.79 c 762s| 19700 | 10957 | 5661k| 286.2 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691635e+02 | 1.990000e+02 | 17.64%
761.87/762.09 c 762s| 19800 | 10979 | 5664k| 284.9 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691635e+02 | 1.990000e+02 | 17.64%
764.06/764.26 c 764s| 19900 | 11023 | 5681k| 284.3 | 13M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1801 | 1.691648e+02 | 1.990000e+02 | 17.64%
764.37/764.55 c 765s| 20000 | 11043 | 5684k| 283.0 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691648e+02 | 1.990000e+02 | 17.64%
765.16/765.30 c 765s| 20100 | 11067 | 5689k| 281.9 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691676e+02 | 1.990000e+02 | 17.63%
768.46/768.63 c 769s| 20200 | 11115 | 5717k| 281.9 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691708e+02 | 1.990000e+02 | 17.63%
770.87/771.04 c 771s| 20300 | 11149 | 5737k| 281.5 | 13M| 140 | 395 | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691751e+02 | 1.990000e+02 | 17.63%
774.06/774.30 c 774s| 20400 | 11205 | 5762k| 281.3 | 13M| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691764e+02 | 1.990000e+02 | 17.63%
776.66/776.86 c 777s| 20500 | 11259 | 5783k| 281.0 | 13M| 140 | 147 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691770e+02 | 1.990000e+02 | 17.63%
779.67/779.85 c 780s| 20600 | 11291 | 5807k| 280.8 | 13M| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691784e+02 | 1.990000e+02 | 17.63%
782.57/782.70 c 783s| 20700 | 11321 | 5824k| 280.2 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691790e+02 | 1.990000e+02 | 17.63%
782.86/783.04 c 783s| 20800 | 11351 | 5827k| 279.0 | 14M| 140 | 115 | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691790e+02 | 1.990000e+02 | 17.63%
786.96/787.13 c 787s| 20900 | 11389 | 5862k| 279.4 | 14M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691836e+02 | 1.990000e+02 | 17.62%
790.77/790.97 c 791s| 21000 | 11441 | 5888k| 279.3 | 14M| 140 | 389 | 481 | 581 | 481 | 979 | 760 | 3 |1836 | 1.691860e+02 | 1.990000e+02 | 17.62%
791.26/791.43 c 791s| 21100 | 11451 | 5892k| 278.2 | 14M| 140 | 144 | 481 | 581 | 481 | 979 | 760 | 3 |1836 | 1.691860e+02 | 1.990000e+02 | 17.62%
794.96/795.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
794.96/795.12 c 795s| 21200 | 11505 | 5913k| 277.8 | 14M| 140 | 116 | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691892e+02 | 1.990000e+02 | 17.62%
797.56/797.74 c 798s| 21300 | 11547 | 5935k| 277.6 | 14M| 140 | 365 | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691895e+02 | 1.990000e+02 | 17.62%
799.47/799.67 c 800s| 21400 | 11573 | 5951k| 277.0 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691901e+02 | 1.990000e+02 | 17.62%
801.96/802.14 c 802s| 21500 | 11621 | 5967k| 276.4 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1877 | 1.691931e+02 | 1.990000e+02 | 17.62%
803.36/803.51 c 804s| 21600 | 11679 | 5977k| 275.7 | 14M| 140 | 139 | 481 | 581 | 481 | 979 | 760 | 3 |1877 | 1.691938e+02 | 1.990000e+02 | 17.62%
805.26/805.49 c 805s| 21700 | 11739 | 5991k| 275.0 | 14M| 140 | 98 | 481 | 581 | 481 | 979 | 760 | 3 |1886 | 1.691938e+02 | 1.990000e+02 | 17.62%
809.06/809.24 c 809s| 21800 | 11779 | 6017k| 274.9 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1905 | 1.691947e+02 | 1.990000e+02 | 17.62%
819.26/819.43 c 819s| 21900 | 11809 | 6125k| 278.6 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1905 | 1.691950e+02 | 1.990000e+02 | 17.62%
821.85/822.02 c 822s| 22000 | 11859 | 6143k| 278.2 | 14M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |1914 | 1.691961e+02 | 1.990000e+02 | 17.61%
823.86/824.00 c 824s| 22100 | 11903 | 6159k| 277.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1919 | 1.691978e+02 | 1.990000e+02 | 17.61%
826.45/826.61 c 827s| 22200 | 11943 | 6180k| 277.3 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1925 | 1.691995e+02 | 1.990000e+02 | 17.61%
828.46/828.62 c 829s| 22300 | 11971 | 6195k| 276.8 | 14M| 140 | 392 | 481 | 581 | 481 | 979 | 760 | 3 |1927 | 1.692016e+02 | 1.990000e+02 | 17.61%
832.86/833.08 c 833s| 22400 | 12035 | 6230k| 277.1 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692019e+02 | 1.990000e+02 | 17.61%
834.66/834.83 c 835s| 22500 | 12061 | 6244k| 276.5 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692028e+02 | 1.990000e+02 | 17.61%
836.75/836.93 c 837s| 22600 | 12099 | 6260k| 276.0 | 14M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692033e+02 | 1.990000e+02 | 17.61%
840.55/840.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
840.55/840.71 c 841s| 22700 | 12155 | 6290k| 276.1 | 14M| 140 | 390 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692037e+02 | 1.990000e+02 | 17.61%
845.05/845.23 c 845s| 22800 | 12199 | 6327k| 276.5 | 14M| 140 | 122 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692043e+02 | 1.990000e+02 | 17.61%
846.35/846.57 c 847s| 22900 | 12241 | 6338k| 275.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692048e+02 | 1.990000e+02 | 17.61%
846.76/846.99 c 847s| 23000 | 12269 | 6342k| 274.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692048e+02 | 1.990000e+02 | 17.61%
848.75/848.91 c 849s| 23100 | 12311 | 6357k| 274.2 | 14M| 140 | 394 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692052e+02 | 1.990000e+02 | 17.61%
852.45/852.61 c 853s| 23200 | 12361 | 6388k| 274.3 | 14M| 140 | 374 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692054e+02 | 1.990000e+02 | 17.61%
855.25/855.42 c 855s| 23300 | 12425 | 6409k| 274.1 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692072e+02 | 1.990000e+02 | 17.61%
856.05/856.25 c 856s| 23400 | 12439 | 6415k| 273.2 | 14M| 140 | 392 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692079e+02 | 1.990000e+02 | 17.61%
858.65/858.81 c 859s| 23500 | 12475 | 6431k| 272.7 | 14M| 140 | 132 | 481 | 581 | 481 | 979 | 760 | 3 |1948 | 1.692087e+02 | 1.990000e+02 | 17.61%
863.65/863.88 c 864s| 23600 | 12533 | 6467k| 273.1 | 15M| 140 | 375 | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692108e+02 | 1.990000e+02 | 17.60%
867.66/867.84 c 868s| 23700 | 12573 | 6499k| 273.2 | 15M| 140 | 134 | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692126e+02 | 1.990000e+02 | 17.60%
871.45/871.66 c 872s| 23800 | 12613 | 6530k| 273.4 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692139e+02 | 1.990000e+02 | 17.60%
871.85/872.06 c 872s| 23900 | 12645 | 6533k| 272.4 | 15M| 140 | 110 | 481 | 581 | 481 | 979 | 760 | 3 |1981 | 1.692139e+02 | 1.990000e+02 | 17.60%
875.25/875.47 c 875s| 24000 | 12685 | 6554k| 272.1 | 15M| 140 | 118 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692155e+02 | 1.990000e+02 | 17.60%
875.54/875.78 c 876s| 24100 | 12695 | 6557k| 271.1 | 15M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692155e+02 | 1.990000e+02 | 17.60%
877.56/877.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
877.56/877.74 c 878s| 24200 | 12737 | 6573k| 270.7 | 15M| 140 | 102 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692162e+02 | 1.990000e+02 | 17.60%
879.55/879.75 c 880s| 24300 | 12755 | 6587k| 270.1 | 15M| 140 | 135 | 481 | 581 | 481 | 979 | 760 | 3 |2012 | 1.692162e+02 | 1.990000e+02 | 17.60%
882.75/882.94 c 883s| 24400 | 12793 | 6611k| 270.0 | 15M| 140 | 142 | 481 | 581 | 481 | 979 | 760 | 3 |2024 | 1.692197e+02 | 1.990000e+02 | 17.60%
884.45/884.69 c 885s| 24500 | 12821 | 6624k| 269.4 | 15M| 140 | 121 | 481 | 581 | 481 | 979 | 760 | 3 |2025 | 1.692199e+02 | 1.990000e+02 | 17.60%
886.35/886.58 c 887s| 24600 | 12849 | 6635k| 268.8 | 15M| 140 | 394 | 481 | 581 | 481 | 979 | 760 | 3 |2049 | 1.692224e+02 | 1.990000e+02 | 17.60%
888.05/888.24 c 888s| 24700 | 12885 | 6648k| 268.2 | 15M| 140 | 109 | 481 | 581 | 481 | 979 | 760 | 3 |2049 | 1.692229e+02 | 1.990000e+02 | 17.60%
891.85/892.04 c 892s| 24800 | 12927 | 6675k| 268.2 | 15M| 140 | 384 | 481 | 581 | 481 | 979 | 760 | 3 |2059 | 1.692247e+02 | 1.990000e+02 | 17.60%
894.05/894.29 c 894s| 24900 | 12959 | 6694k| 267.9 | 15M| 140 | 133 | 481 | 581 | 481 | 979 | 760 | 3 |2063 | 1.692256e+02 | 1.990000e+02 | 17.59%
895.04/895.22 c 895s| 25000 | 13001 | 6701k| 267.1 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |2069 | 1.692265e+02 | 1.990000e+02 | 17.59%
898.64/898.80 c 899s| 25100 | 13055 | 6727k| 267.1 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |2076 | 1.692281e+02 | 1.990000e+02 | 17.59%
901.54/901.72 c 902s| 25200 | 13099 | 6751k| 267.0 | 15M| 140 | 388 | 481 | 581 | 481 | 979 | 760 | 3 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
904.34/904.54 c 905s| 25300 | 13131 | 6776k| 266.9 | 15M| 140 | 124 | 481 | 584 | 481 | 979 | 760 | 6 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
904.65/904.84 c 905s| 25400 | 13153 | 6779k| 266.0 | 15M| 140 | 124 | 481 | 584 | 481 | 979 | 760 | 6 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
906.55/906.74 c 907s| 25500 | 13173 | 6794k| 265.5 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692293e+02 | 1.990000e+02 | 17.59%
907.14/907.35 c 907s| 25600 | 13199 | 6800k| 264.7 | 15M| 140 | 383 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692294e+02 | 1.990000e+02 | 17.59%
908.85/909.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.85/909.06 c 909s| 25700 | 13233 | 6814k| 264.2 | 15M| 140 | 104 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692294e+02 | 1.990000e+02 | 17.59%
911.34/911.50 c 912s| 25800 | 13269 | 6834k| 264.0 | 15M| 140 | 389 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692325e+02 | 1.990000e+02 | 17.59%
913.94/914.13 c 914s| 25900 | 13311 | 6856k| 263.8 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692325e+02 | 1.990000e+02 | 17.59%
915.94/916.14 c 916s| 26000 | 13339 | 6872k| 263.4 | 15M| 140 | 125 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692332e+02 | 1.990000e+02 | 17.59%
919.04/919.23 c 919s| 26100 | 13367 | 6896k| 263.3 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692335e+02 | 1.990000e+02 | 17.59%
922.34/922.59 c 923s| 26200 | 13415 | 6923k| 263.4 | 15M| 140 | 121 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692347e+02 | 1.990000e+02 | 17.59%
924.74/924.96 c 925s| 26300 | 13445 | 6942k| 263.1 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692350e+02 | 1.990000e+02 | 17.59%
925.04/925.28 c 925s| 26400 | 13453 | 6945k| 262.2 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692350e+02 | 1.990000e+02 | 17.59%
927.54/927.73 c 928s| 26500 | 13493 | 6964k| 261.9 | 15M| 140 | 385 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692354e+02 | 1.990000e+02 | 17.59%
928.84/929.02 c 929s| 26600 | 13529 | 6971k| 261.2 | 15M| 140 | 376 | 481 | 584 | 481 | 979 | 760 | 6 |2091 | 1.692366e+02 | 1.990000e+02 | 17.59%
932.64/932.80 c 933s| 26700 | 13573 | 7002k| 261.4 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2091 | 1.692370e+02 | 1.990000e+02 | 17.59%
933.64/933.82 c 934s| 26800 | 13595 | 7009k| 260.7 | 16M| 140 | 96 | 481 | 584 | 481 | 979 | 760 | 6 |2113 | 1.692377e+02 | 1.990000e+02 | 17.59%
936.34/936.52 c 937s| 26900 | 13645 | 7028k| 260.4 | 16M| 140 | 145 | 481 | 584 | 481 | 979 | 760 | 6 |2123 | 1.692409e+02 | 1.990000e+02 | 17.58%
940.54/940.79 c 941s| 27000 | 13699 | 7057k| 260.5 | 16M| 140 | 376 | 481 | 584 | 481 | 979 | 760 | 6 |2143 | 1.692420e+02 | 1.990000e+02 | 17.58%
942.83/943.07 c 943s| 27100 | 13741 | 7075k| 260.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2143 | 1.692425e+02 | 1.990000e+02 | 17.58%
947.13/947.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
947.13/947.31 c 947s| 27200 | 13789 | 7106k| 260.4 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2154 | 1.692436e+02 | 1.990000e+02 | 17.58%
951.14/951.35 c 951s| 27300 | 13835 | 7133k| 260.4 | 16M| 140 | 99 | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692444e+02 | 1.990000e+02 | 17.58%
953.93/954.11 c 954s| 27400 | 13877 | 7154k| 260.3 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692481e+02 | 1.990000e+02 | 17.58%
955.64/955.81 c 956s| 27500 | 13901 | 7168k| 259.8 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692482e+02 | 1.990000e+02 | 17.58%
956.84/957.01 c 957s| 27600 | 13917 | 7175k| 259.1 | 16M| 140 | 127 | 481 | 584 | 481 | 979 | 760 | 6 |2185 | 1.692482e+02 | 1.990000e+02 | 17.58%
957.13/957.30 c 957s| 27700 | 13927 | 7178k| 258.3 | 16M| 140 | 116 | 481 | 584 | 481 | 979 | 760 | 6 |2185 | 1.692482e+02 | 1.990000e+02 | 17.58%
960.93/961.12 c 961s| 27800 | 13973 | 7206k| 258.4 | 16M| 140 | 378 | 481 | 584 | 481 | 979 | 760 | 6 |2196 | 1.692490e+02 | 1.990000e+02 | 17.58%
965.83/966.00 c 966s| 27900 | 14023 | 7245k| 258.9 | 16M| 140 | 360 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692495e+02 | 1.990000e+02 | 17.58%
966.83/967.09 c 967s| 28000 | 14053 | 7254k| 258.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692500e+02 | 1.990000e+02 | 17.58%
969.63/969.81 c 970s| 28100 | 14099 | 7275k| 258.1 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692507e+02 | 1.990000e+02 | 17.58%
974.33/974.53 c 975s| 28200 | 14155 | 7313k| 258.5 | 16M| 140 | 119 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692525e+02 | 1.990000e+02 | 17.58%
977.03/977.21 c 977s| 28300 | 14209 | 7333k| 258.3 | 16M| 140 | 112 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692535e+02 | 1.990000e+02 | 17.58%
977.73/977.95 c 978s| 28400 | 14241 | 7339k| 257.6 | 16M| 140 | 372 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692537e+02 | 1.990000e+02 | 17.58%
982.23/982.47 c 982s| 28500 | 14303 | 7376k| 258.0 | 16M| 140 | 368 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692564e+02 | 1.990000e+02 | 17.57%
984.43/984.69 c 985s| 28600 | 14367 | 7393k| 257.7 | 16M| 140 | 123 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692568e+02 | 1.990000e+02 | 17.57%
988.03/988.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
988.03/988.25 c 988s| 28700 | 14423 | 7423k| 257.8 | 16M| 140 | 120 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692579e+02 | 1.990000e+02 | 17.57%
989.43/989.68 c 990s| 28800 | 14441 | 7435k| 257.3 | 16M| 140 | 130 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692584e+02 | 1.990000e+02 | 17.57%
994.33/994.52 c 995s| 28900 | 14495 | 7474k| 257.8 | 16M| 140 | - | 481 | 584 | 0 | 0 | 760 | 6 |2201 | 1.692592e+02 | 1.990000e+02 | 17.57%
997.43/997.61 c 998s| 29000 | 14547 | 7495k| 257.6 | 16M| 140 | 110 | 481 | 584 | 481 | 979 | 760 | 6 |2211 | 1.692600e+02 | 1.990000e+02 | 17.57%
997.62/997.87 c 998s| 29100 | 14555 | 7497k| 256.8 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2211 | 1.692600e+02 | 1.990000e+02 | 17.57%
1000.74/1000.92 c 1001s| 29200 | 14579 | 7513k| 256.5 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692600e+02 | 1.990000e+02 | 17.57%
1002.73/1002.94 c 1003s| 29300 | 14611 | 7531k| 256.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692608e+02 | 1.990000e+02 | 17.57%
1006.33/1006.52 c 1007s| 29400 | 14671 | 7558k| 256.3 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692636e+02 | 1.990000e+02 | 17.57%
1010.53/1010.77 c 1011s| 29500 | 14727 | 7588k| 256.5 | 16M| 140 | 387 | 481 | 584 | 481 | 979 | 760 | 6 |2255 | 1.692681e+02 | 1.990000e+02 | 17.56%
1012.13/1012.37 c 1012s| 29600 | 14777 | 7603k| 256.1 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2255 | 1.692681e+02 | 1.990000e+02 | 17.56%
1013.13/1013.31 c 1013s| 29700 | 14809 | 7610k| 255.5 | 17M| 140 | 105 | 481 | 584 | 481 | 979 | 760 | 6 |2256 | 1.692681e+02 | 1.990000e+02 | 17.56%
1013.83/1014.06 c 1014s| 29800 | 14823 | 7615k| 254.8 | 17M| 140 | 366 | 481 | 584 | 481 | 979 | 760 | 6 |2267 | 1.692682e+02 | 1.990000e+02 | 17.56%
1018.62/1018.86 c 1019s| 29900 | 14869 | 7648k| 255.0 | 17M| 140 | 121 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692720e+02 | 1.990000e+02 | 17.56%
1018.93/1019.16 c 1019s| 30000 | 14885 | 7651k| 254.3 | 17M| 140 | 125 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692720e+02 | 1.990000e+02 | 17.56%
1019.73/1019.98 c 1020s| 30100 | 14911 | 7657k| 253.6 | 17M| 140 | 123 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692723e+02 | 1.990000e+02 | 17.56%
1020.12/1020.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1020.12/1020.31 c 1020s| 30200 | 14917 | 7661k| 252.9 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692723e+02 | 1.990000e+02 | 17.56%
1022.93/1023.19 c 1023s| 30300 | 14955 | 7681k| 252.7 | 17M| 140 | 113 | 481 | 584 | 481 | 979 | 760 | 6 |2304 | 1.692735e+02 | 1.990000e+02 | 17.56%
1025.22/1025.48 c 1025s| 30400 | 14985 | 7699k| 252.5 | 17M| 140 | 379 | 481 | 584 | 481 | 979 | 760 | 6 |2304 | 1.692737e+02 | 1.990000e+02 | 17.56%
1027.63/1027.84 c 1028s| 30500 | 15033 | 7715k| 252.2 | 17M| 140 | 370 | 481 | 584 | 481 | 979 | 760 | 6 |2318 | 1.692744e+02 | 1.990000e+02 | 17.56%
1030.62/1030.80 c 1031s| 30600 | 15097 | 7740k| 252.2 | 17M| 140 | 146 | 481 | 584 | 481 | 979 | 760 | 6 |2319 | 1.692745e+02 | 1.990000e+02 | 17.56%
1032.92/1033.10 c 1033s| 30700 | 15145 | 7758k| 251.9 | 17M| 140 | 365 | 481 | 584 | 481 | 979 | 760 | 6 |2321 | 1.692756e+02 | 1.990000e+02 | 17.56%
1035.32/1035.50 c 1036s| 30800 | 15189 | 7778k| 251.8 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692757e+02 | 1.990000e+02 | 17.56%
1038.02/1038.30 c 1038s| 30900 | 15247 | 7800k| 251.7 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692780e+02 | 1.990000e+02 | 17.56%
1038.42/1038.66 c 1039s| 31000 | 15297 | 7804k| 251.0 | 17M| 140 | 132 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692780e+02 | 1.990000e+02 | 17.56%
1039.33/1039.51 c 1040s| 31100 | 15341 | 7811k| 250.4 | 17M| 140 | 387 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692793e+02 | 1.990000e+02 | 17.56%
1040.52/1040.74 c 1041s| 31200 | 15379 | 7822k| 250.0 | 17M| 140 | 120 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692793e+02 | 1.990000e+02 | 17.56%
1042.63/1042.87 c 1043s| 31300 | 15417 | 7840k| 249.7 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692817e+02 | 1.990000e+02 | 17.56%
1044.83/1045.08 c 1045s| 31400 | 15449 | 7857k| 249.5 | 17M| 140 | 122 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692830e+02 | 1.990000e+02 | 17.55%
1047.72/1047.99 c 1048s| 31500 | 15493 | 7880k| 249.4 | 17M| 140 | 140 | 481 | 584 | 481 | 979 | 760 | 6 |2323 | 1.692848e+02 | 1.990000e+02 | 17.55%
1051.22/1051.40 c 1051s| 31600 | 15551 | 7909k| 249.5 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2323 | 1.692856e+02 | 1.990000e+02 | 17.55%
1053.63/1053.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1053.63/1053.86 c 1054s| 31700 | 15591 | 7930k| 249.4 | 17M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2323 | 1.692858e+02 | 1.990000e+02 | 17.55%
1053.92/1054.14 c 1054s| 31800 | 15631 | 7933k| 248.7 | 17M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2323 | 1.692858e+02 | 1.990000e+02 | 17.55%
1056.31/1056.54 c 1057s| 31900 | 15661 | 7951k| 248.5 | 17M| 140 | 166 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692861e+02 | 1.990000e+02 | 17.55%
1056.62/1056.85 c 1057s| 32000 | 15683 | 7955k| 247.9 | 17M| 140 | 131 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692861e+02 | 1.990000e+02 | 17.55%
1059.82/1060.06 c 1060s| 32100 | 15727 | 7981k| 247.9 | 17M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692867e+02 | 1.990000e+02 | 17.55%
1061.92/1062.13 c 1062s| 32200 | 15805 | 7997k| 247.6 | 17M| 140 | 138 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692869e+02 | 1.990000e+02 | 17.55%
1063.72/1063.92 c 1064s| 32300 | 15843 | 8008k| 247.2 | 17M| 140 | 373 | 481 | 591 | 481 | 979 | 760 | 13 |2335 | 1.692884e+02 | 1.990000e+02 | 17.55%
1066.91/1067.17 c 1067s| 32400 | 15905 | 8030k| 247.1 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2347 | 1.692900e+02 | 1.990000e+02 | 17.55%
1074.62/1074.85 c 1075s| 32500 | 15983 | 8088k| 248.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2358 | 1.692942e+02 | 1.990000e+02 | 17.55%
1076.22/1076.44 c 1076s| 32600 | 16007 | 8098k| 247.7 | 18M| 140 | 384 | 481 | 591 | 481 | 979 | 760 | 13 |2367 | 1.692952e+02 | 1.990000e+02 | 17.55%
1079.71/1079.95 c 1080s| 32700 | 16049 | 8126k| 247.8 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2367 | 1.692960e+02 | 1.990000e+02 | 17.55%
1084.42/1084.62 c 1085s| 32800 | 16097 | 8159k| 248.0 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2381 | 1.692965e+02 | 1.990000e+02 | 17.55%
1086.11/1086.36 c 1086s| 32900 | 16137 | 8173k| 247.7 | 18M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2382 | 1.692975e+02 | 1.990000e+02 | 17.54%
1087.42/1087.66 c 1088s| 33000 | 16165 | 8180k| 247.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2392 | 1.692976e+02 | 1.990000e+02 | 17.54%
1089.31/1089.51 c 1090s| 33100 | 16197 | 8192k| 246.8 | 18M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2401 | 1.692986e+02 | 1.990000e+02 | 17.54%
1091.11/1091.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1091.11/1091.35 c 1091s| 33200 | 16231 | 8201k| 246.3 | 18M| 140 | 382 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693008e+02 | 1.990000e+02 | 17.54%
1092.61/1092.84 c 1093s| 33300 | 16271 | 8213k| 246.0 | 18M| 140 | 385 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693011e+02 | 1.990000e+02 | 17.54%
1096.61/1096.80 c 1097s| 33400 | 16311 | 8245k| 246.2 | 18M| 140 | 392 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693043e+02 | 1.990000e+02 | 17.54%
1099.61/1099.86 c 1100s| 33500 | 16369 | 8267k| 246.1 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2431 | 1.693067e+02 | 1.990000e+02 | 17.54%
1104.81/1105.01 c 1105s| 33600 | 16429 | 8308k| 246.6 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2434 | 1.693094e+02 | 1.990000e+02 | 17.54%
1107.12/1107.39 c 1107s| 33700 | 16475 | 8327k| 246.4 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693105e+02 | 1.990000e+02 | 17.54%
1109.72/1109.91 c 1110s| 33800 | 16539 | 8346k| 246.2 | 18M| 140 | 374 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693132e+02 | 1.990000e+02 | 17.53%
1111.11/1111.32 c 1111s| 33900 | 16559 | 8358k| 245.9 | 18M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693132e+02 | 1.990000e+02 | 17.53%
1112.71/1112.91 c 1113s| 34000 | 16595 | 8371k| 245.5 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693134e+02 | 1.990000e+02 | 17.53%
1116.11/1116.35 c 1116s| 34100 | 16631 | 8399k| 245.6 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693137e+02 | 1.990000e+02 | 17.53%
1118.21/1118.42 c 1118s| 34200 | 16651 | 8417k| 245.4 | 18M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693141e+02 | 1.990000e+02 | 17.53%
1120.00/1120.20 c 1120s| 34300 | 16697 | 8432k| 245.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693145e+02 | 1.990000e+02 | 17.53%
1123.71/1123.95 c 1124s| 34400 | 16745 | 8461k| 245.3 | 18M| 140 | 132 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693152e+02 | 1.990000e+02 | 17.53%
1123.91/1124.18 c 1124s| 34500 | 16755 | 8464k| 244.7 | 18M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693152e+02 | 1.990000e+02 | 17.53%
1124.81/1125.07 c 1125s| 34600 | 16781 | 8471k| 244.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693154e+02 | 1.990000e+02 | 17.53%
1128.51/1128.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1128.51/1128.71 c 1129s| 34700 | 16831 | 8500k| 244.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693162e+02 | 1.990000e+02 | 17.53%
1128.81/1129.02 c 1129s| 34800 | 16845 | 8503k| 243.7 | 18M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693162e+02 | 1.990000e+02 | 17.53%
1132.61/1132.87 c 1133s| 34900 | 16907 | 8534k| 243.9 | 18M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693172e+02 | 1.990000e+02 | 17.53%
1134.40/1134.67 c 1135s| 35000 | 16935 | 8549k| 243.6 | 18M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693173e+02 | 1.990000e+02 | 17.53%
1135.91/1136.11 c 1136s| 35100 | 16971 | 8559k| 243.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2453 | 1.693178e+02 | 1.990000e+02 | 17.53%
1137.70/1137.93 c 1138s| 35200 | 17019 | 8570k| 242.8 | 18M| 140 | 116 | 481 | 591 | 481 | 979 | 760 | 13 |2465 | 1.693182e+02 | 1.990000e+02 | 17.53%
1138.50/1138.77 c 1139s| 35300 | 17063 | 8577k| 242.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2465 | 1.693183e+02 | 1.990000e+02 | 17.53%
1142.30/1142.54 c 1143s| 35400 | 17091 | 8605k| 242.4 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1142.62/1142.88 c 1143s| 35500 | 17103 | 8608k| 241.8 | 19M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1143.00/1143.21 c 1143s| 35600 | 17119 | 8612k| 241.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1143.31/1143.52 c 1144s| 35700 | 17131 | 8615k| 240.7 | 19M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2475 | 1.693194e+02 | 1.990000e+02 | 17.53%
1145.71/1145.98 c 1146s| 35800 | 17167 | 8629k| 240.4 | 19M| 140 | 127 | 481 | 591 | 481 | 979 | 760 | 13 |2496 | 1.693203e+02 | 1.990000e+02 | 17.53%
1148.00/1148.21 c 1148s| 35900 | 17211 | 8646k| 240.2 | 19M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2497 | 1.693222e+02 | 1.990000e+02 | 17.53%
1149.70/1149.96 c 1150s| 36000 | 17263 | 8660k| 239.9 | 19M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2498 | 1.693235e+02 | 1.990000e+02 | 17.53%
1151.31/1151.57 c 1152s| 36100 | 17311 | 8672k| 239.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2507 | 1.693238e+02 | 1.990000e+02 | 17.53%
1155.01/1155.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.01/1155.20 c 1155s| 36200 | 17349 | 8698k| 239.6 | 19M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2525 | 1.693245e+02 | 1.990000e+02 | 17.53%
1159.60/1159.80 c 1160s| 36300 | 17427 | 8734k| 240.0 | 19M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2525 | 1.693265e+02 | 1.990000e+02 | 17.52%
1160.10/1160.30 c 1160s| 36400 | 17455 | 8739k| 239.4 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2528 | 1.693265e+02 | 1.990000e+02 | 17.52%
1160.40/1160.69 c 1161s| 36500 | 17501 | 8742k| 238.9 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2538 | 1.693265e+02 | 1.990000e+02 | 17.52%
1162.41/1162.62 c 1163s| 36600 | 17547 | 8754k| 238.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2548 | 1.693267e+02 | 1.990000e+02 | 17.52%
1164.61/1164.82 c 1165s| 36700 | 17585 | 8774k| 238.4 | 19M| 140 | 100 | 481 | 591 | 481 | 979 | 760 | 13 |2548 | 1.693272e+02 | 1.990000e+02 | 17.52%
1165.91/1166.17 c 1166s| 36800 | 17645 | 8784k| 238.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2554 | 1.693275e+02 | 1.990000e+02 | 17.52%
1169.60/1169.81 c 1170s| 36900 | 17701 | 8813k| 238.2 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2558 | 1.693284e+02 | 1.990000e+02 | 17.52%
1170.70/1170.98 c 1171s| 37000 | 17733 | 8821k| 237.8 | 19M| 140 | 386 | 481 | 591 | 481 | 979 | 760 | 13 |2558 | 1.693288e+02 | 1.990000e+02 | 17.52%
1174.10/1174.35 c 1174s| 37100 | 17785 | 8849k| 237.9 | 19M| 140 | 103 | 481 | 591 | 481 | 979 | 760 | 13 |2559 | 1.693306e+02 | 1.990000e+02 | 17.52%
1175.71/1175.97 c 1176s| 37200 | 17811 | 8862k| 237.6 | 19M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2559 | 1.693307e+02 | 1.990000e+02 | 17.52%
1177.91/1178.12 c 1178s| 37300 | 17861 | 8877k| 237.4 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693333e+02 | 1.990000e+02 | 17.52%
1180.50/1180.71 c 1181s| 37400 | 17913 | 8898k| 237.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693336e+02 | 1.990000e+02 | 17.52%
1183.80/1184.01 c 1184s| 37500 | 17947 | 8925k| 237.4 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693341e+02 | 1.990000e+02 | 17.52%
1185.30/1185.56 c 1186s| 37600 | 17977 | 8937k| 237.1 | 19M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693343e+02 | 1.990000e+02 | 17.52%
1187.20/1187.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1187.20/1187.44 c 1187s| 37700 | 18041 | 8952k| 236.8 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693360e+02 | 1.990000e+02 | 17.52%
1189.29/1189.53 c 1190s| 37800 | 18079 | 8968k| 236.6 | 19M| 140 | 112 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693368e+02 | 1.990000e+02 | 17.52%
1190.80/1191.08 c 1191s| 37900 | 18127 | 8980k| 236.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693372e+02 | 1.990000e+02 | 17.52%
1192.50/1192.78 c 1193s| 38000 | 18147 | 8994k| 236.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693377e+02 | 1.990000e+02 | 17.52%
1196.29/1196.50 c 1197s| 38100 | 18197 | 9024k| 236.3 | 19M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693387e+02 | 1.990000e+02 | 17.52%
1198.30/1198.50 c 1199s| 38200 | 18255 | 9041k| 236.1 | 20M| 140 | 144 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693393e+02 | 1.990000e+02 | 17.52%
1199.69/1199.96 c 1200s| 38300 | 18303 | 9053k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693407e+02 | 1.990000e+02 | 17.51%
1203.99/1204.29 c 1204s| 38400 | 18359 | 9090k| 236.1 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2562 | 1.693418e+02 | 1.990000e+02 | 17.51%
1204.89/1205.12 c 1205s| 38500 | 18401 | 9096k| 235.7 | 20M| 140 | 375 | 481 | 591 | 481 | 979 | 760 | 13 |2575 | 1.693423e+02 | 1.990000e+02 | 17.51%
1211.69/1211.98 c 1212s| 38600 | 18455 | 9142k| 236.2 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693428e+02 | 1.990000e+02 | 17.51%
1212.59/1212.80 c 1213s| 38700 | 18481 | 9149k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693438e+02 | 1.990000e+02 | 17.51%
1214.79/1215.02 c 1215s| 38800 | 18521 | 9166k| 235.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693440e+02 | 1.990000e+02 | 17.51%
1219.09/1219.36 c 1219s| 38900 | 18567 | 9196k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2615 | 1.693460e+02 | 1.990000e+02 | 17.51%
1221.99/1222.23 c 1222s| 39000 | 18625 | 9219k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2615 | 1.693481e+02 | 1.990000e+02 | 17.51%
1223.49/1223.76 c 1224s| 39100 | 18653 | 9226k| 235.4 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2634 | 1.693483e+02 | 1.990000e+02 | 17.51%
1227.40/1227.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1227.40/1227.61 c 1228s| 39200 | 18709 | 9257k| 235.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2634 | 1.693516e+02 | 1.990000e+02 | 17.51%
1231.49/1231.74 c 1232s| 39300 | 18755 | 9287k| 235.7 | 20M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2643 | 1.693523e+02 | 1.990000e+02 | 17.51%
1232.29/1232.59 c 1233s| 39400 | 18789 | 9294k| 235.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2643 | 1.693529e+02 | 1.990000e+02 | 17.51%
1236.10/1236.35 c 1236s| 39500 | 18849 | 9319k| 235.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2662 | 1.693532e+02 | 1.990000e+02 | 17.51%
1240.99/1241.21 c 1241s| 39600 | 18893 | 9357k| 235.7 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2667 | 1.693543e+02 | 1.990000e+02 | 17.51%
1252.38/1252.66 c 1253s| 39700 | 18949 | 9475k| 238.1 | 20M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693548e+02 | 1.990000e+02 | 17.50%
1254.59/1254.82 c 1255s| 39800 | 19011 | 9492k| 237.9 | 20M| 140 | 154 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693552e+02 | 1.990000e+02 | 17.50%
1254.89/1255.11 c 1255s| 39900 | 19035 | 9495k| 237.4 | 20M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693552e+02 | 1.990000e+02 | 17.50%
1255.78/1256.00 c 1256s| 40000 | 19061 | 9502k| 237.0 | 20M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693557e+02 | 1.990000e+02 | 17.50%
1256.69/1256.99 c 1257s| 40100 | 19099 | 9510k| 236.6 | 20M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693560e+02 | 1.990000e+02 | 17.50%
1259.99/1260.22 c 1260s| 40200 | 19135 | 9536k| 236.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693571e+02 | 1.990000e+02 | 17.50%
1262.18/1262.43 c 1262s| 40300 | 19179 | 9553k| 236.5 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693573e+02 | 1.990000e+02 | 17.50%
1265.28/1265.58 c 1266s| 40400 | 19221 | 9578k| 236.5 | 20M| 140 | 383 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693599e+02 | 1.990000e+02 | 17.50%
1266.29/1266.55 c 1267s| 40500 | 19259 | 9585k| 236.1 | 20M| 140 | 118 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693600e+02 | 1.990000e+02 | 17.50%
1269.09/1269.39 c 1269s| 40600 | 19305 | 9608k| 236.1 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2672 | 1.693632e+02 | 1.990000e+02 | 17.50%
1271.09/1271.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.09/1271.36 c 1271s| 40700 | 19353 | 9623k| 235.9 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693638e+02 | 1.990000e+02 | 17.50%
1275.49/1275.75 c 1276s| 40800 | 19413 | 9659k| 236.2 | 21M| 140 | 393 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693648e+02 | 1.990000e+02 | 17.50%
1276.79/1277.07 c 1277s| 40900 | 19463 | 9670k| 235.9 | 21M| 140 | 132 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693648e+02 | 1.990000e+02 | 17.50%
1279.09/1279.34 c 1279s| 41000 | 19511 | 9687k| 235.7 | 21M| 140 | 102 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693658e+02 | 1.990000e+02 | 17.50%
1280.59/1280.80 c 1281s| 41100 | 19547 | 9699k| 235.4 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693663e+02 | 1.990000e+02 | 17.50%
1282.19/1282.48 c 1282s| 41200 | 19581 | 9712k| 235.2 | 21M| 140 | 156 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693665e+02 | 1.990000e+02 | 17.50%
1284.88/1285.13 c 1285s| 41300 | 19635 | 9735k| 235.2 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693670e+02 | 1.990000e+02 | 17.50%
1287.38/1287.60 c 1288s| 41400 | 19667 | 9747k| 234.9 | 21M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693673e+02 | 1.990000e+02 | 17.50%
1287.99/1288.27 c 1288s| 41500 | 19701 | 9753k| 234.4 | 21M| 140 | 385 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693678e+02 | 1.990000e+02 | 17.50%
1291.48/1291.76 c 1292s| 41600 | 19745 | 9781k| 234.6 | 21M| 140 | 144 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693683e+02 | 1.990000e+02 | 17.50%
1295.59/1295.84 c 1296s| 41700 | 19805 | 9813k| 234.8 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693697e+02 | 1.990000e+02 | 17.49%
1297.58/1297.80 c 1298s| 41800 | 19845 | 9830k| 234.6 | 21M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693700e+02 | 1.990000e+02 | 17.49%
1300.39/1300.61 c 1301s| 41900 | 19909 | 9847k| 234.5 | 21M| 140 | 388 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693714e+02 | 1.990000e+02 | 17.49%
1302.28/1302.55 c 1303s| 42000 | 19955 | 9863k| 234.3 | 21M| 140 | 109 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693718e+02 | 1.990000e+02 | 17.49%
1305.18/1305.43 c 1305s| 42100 | 20013 | 9885k| 234.3 | 21M| 140 | 388 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693722e+02 | 1.990000e+02 | 17.49%
1307.38/1307.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.38/1307.66 c 1308s| 42200 | 20067 | 9905k| 234.2 | 21M| 140 | 127 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693731e+02 | 1.990000e+02 | 17.49%
1309.58/1309.87 c 1310s| 42300 | 20107 | 9916k| 233.9 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693735e+02 | 1.990000e+02 | 17.49%
1311.48/1311.74 c 1312s| 42400 | 20151 | 9931k| 233.7 | 21M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693736e+02 | 1.990000e+02 | 17.49%
1313.57/1313.89 c 1314s| 42500 | 20203 | 9948k| 233.5 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693738e+02 | 1.990000e+02 | 17.49%
1314.08/1314.38 c 1314s| 42600 | 20257 | 9953k| 233.1 | 21M| 140 | 157 | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693738e+02 | 1.990000e+02 | 17.49%
1317.28/1317.58 c 1318s| 42700 | 20303 | 9976k| 233.1 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2767 | 1.693745e+02 | 1.990000e+02 | 17.49%
1318.18/1318.41 c 1318s| 42800 | 20343 | 9983k| 232.7 | 21M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2767 | 1.693751e+02 | 1.990000e+02 | 17.49%
1319.88/1320.19 o 198
1319.88/1320.19 c p1320s| 42845 | 18524 | 9995k| 232.7 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2776 | 1.693755e+02 | 1.980000e+02 | 16.90%
1320.08/1320.35 c 1320s| 42900 | 18545 | 9997k| 232.5 | 18M| 140 | 160 | 481 | 591 | 481 | 979 | 760 | 13 |2776 | 1.693755e+02 | 1.980000e+02 | 16.90%
1323.27/1323.55 c 1324s| 43000 | 18595 | 10021k| 232.5 | 18M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2781 | 1.693758e+02 | 1.980000e+02 | 16.90%
1325.19/1325.47 c 1325s| 43100 | 18621 | 10037k| 232.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2788 | 1.693764e+02 | 1.980000e+02 | 16.90%
1329.47/1329.73 c 1330s| 43200 | 18671 | 10071k| 232.6 | 19M| 140 | 157 | 481 | 591 | 481 | 979 | 760 | 13 |2790 | 1.693771e+02 | 1.980000e+02 | 16.90%
1332.98/1333.25 c 1333s| 43300 | 18725 | 10100k| 232.7 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2792 | 1.693786e+02 | 1.980000e+02 | 16.90%
1336.18/1336.45 c 1336s| 43400 | 18761 | 10125k| 232.8 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2792 | 1.693792e+02 | 1.980000e+02 | 16.90%
1339.78/1340.01 c 1340s| 43500 | 18811 | 10154k| 232.9 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693794e+02 | 1.980000e+02 | 16.90%
1342.57/1342.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1342.57/1342.88 c 1343s| 43600 | 18863 | 10177k| 232.9 | 19M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693798e+02 | 1.980000e+02 | 16.90%
1346.08/1346.34 c 1346s| 43700 | 18911 | 10204k| 233.0 | 19M| 140 | 380 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693816e+02 | 1.980000e+02 | 16.90%
1349.57/1349.88 c 1350s| 43800 | 18959 | 10233k| 233.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693819e+02 | 1.980000e+02 | 16.90%
1350.48/1350.73 c 1351s| 43900 | 19017 | 10241k| 232.7 | 19M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693822e+02 | 1.980000e+02 | 16.90%
1352.37/1352.61 c 1353s| 44000 | 19057 | 10254k| 232.5 | 19M| 140 | 372 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693839e+02 | 1.980000e+02 | 16.89%
1356.17/1356.40 c 1356s| 44100 | 19097 | 10285k| 232.7 | 19M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693843e+02 | 1.980000e+02 | 16.89%
1358.68/1358.96 c 1359s| 44200 | 19151 | 10306k| 232.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693854e+02 | 1.980000e+02 | 16.89%
1359.67/1359.92 c 1360s| 44300 | 19193 | 10314k| 232.3 | 19M| 140 | 115 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693854e+02 | 1.980000e+02 | 16.89%
1361.07/1361.34 c 1361s| 44400 | 19217 | 10325k| 232.0 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693862e+02 | 1.980000e+02 | 16.89%
1364.17/1364.41 c 1364s| 44500 | 19267 | 10349k| 232.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693877e+02 | 1.980000e+02 | 16.89%
1367.27/1367.51 c 1368s| 44600 | 19299 | 10375k| 232.1 | 19M| 140 | 380 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693887e+02 | 1.980000e+02 | 16.89%
1370.67/1370.91 c 1371s| 44700 | 19357 | 10398k| 232.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2804 | 1.693895e+02 | 1.980000e+02 | 16.89%
1372.07/1372.34 c 1372s| 44800 | 19415 | 10410k| 231.8 | 19M| 140 | 138 | 481 | 591 | 481 | 979 | 760 | 13 |2804 | 1.693898e+02 | 1.980000e+02 | 16.89%
1376.47/1376.70 c 1377s| 44900 | 19463 | 10441k| 232.0 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2817 | 1.693910e+02 | 1.980000e+02 | 16.89%
1378.57/1378.85 c 1379s| 45000 | 19497 | 10459k| 231.9 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2817 | 1.693911e+02 | 1.980000e+02 | 16.89%
1382.06/1382.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1382.06/1382.31 c 1382s| 45100 | 19535 | 10487k| 232.0 | 19M| 140 | 115 | 481 | 591 | 481 | 979 | 760 | 13 |2826 | 1.693918e+02 | 1.980000e+02 | 16.89%
1385.77/1386.09 c 1386s| 45200 | 19573 | 10514k| 232.1 | 19M| 140 | 108 | 481 | 591 | 481 | 979 | 760 | 13 |2840 | 1.693921e+02 | 1.980000e+02 | 16.89%
1390.27/1390.58 c 1391s| 45300 | 19639 | 10548k| 232.3 | 19M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2840 | 1.693941e+02 | 1.980000e+02 | 16.89%
1391.97/1392.20 c 1392s| 45400 | 19647 | 10555k| 232.0 | 19M| 140 | 128 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693942e+02 | 1.980000e+02 | 16.89%
1393.77/1394.03 c 1394s| 45500 | 19667 | 10571k| 231.8 | 19M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693945e+02 | 1.980000e+02 | 16.89%
1394.76/1395.00 c 1395s| 45600 | 19695 | 10579k| 231.5 | 19M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693945e+02 | 1.980000e+02 | 16.89%
1396.36/1396.69 c 1397s| 45700 | 19711 | 10592k| 231.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693946e+02 | 1.980000e+02 | 16.89%
1398.97/1399.24 c 1399s| 45800 | 19755 | 10606k| 231.1 | 19M| 140 | 367 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693957e+02 | 1.980000e+02 | 16.89%
1400.96/1401.23 c 1401s| 45900 | 19773 | 10623k| 230.9 | 19M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693958e+02 | 1.980000e+02 | 16.89%
1404.56/1404.83 c 1405s| 46000 | 19811 | 10652k| 231.1 | 19M| 140 | 358 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693972e+02 | 1.980000e+02 | 16.89%
1406.26/1406.56 c 1407s| 46100 | 19833 | 10666k| 230.9 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693980e+02 | 1.980000e+02 | 16.88%
1407.97/1408.20 c 1408s| 46200 | 19857 | 10676k| 230.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2892 | 1.693983e+02 | 1.980000e+02 | 16.88%
1411.07/1411.36 c 1411s| 46300 | 19905 | 10698k| 230.6 | 20M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2905 | 1.693994e+02 | 1.980000e+02 | 16.88%
1412.46/1412.75 c 1413s| 46400 | 19917 | 10710k| 230.3 | 20M| 140 | 117 | 481 | 591 | 481 | 979 | 760 | 13 |2905 | 1.693994e+02 | 1.980000e+02 | 16.88%
1415.97/1416.22 c 1416s| 46500 | 19959 | 10738k| 230.4 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2911 | 1.694000e+02 | 1.980000e+02 | 16.88%
1416.76/1417.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1416.76/1417.07 c 1417s| 46600 | 19993 | 10745k| 230.1 | 20M| 140 | 102 | 481 | 591 | 481 | 979 | 760 | 13 |2913 | 1.694001e+02 | 1.980000e+02 | 16.88%
1418.16/1418.49 c 1418s| 46700 | 20033 | 10755k| 229.8 | 20M| 140 | 147 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694007e+02 | 1.980000e+02 | 16.88%
1420.26/1420.55 c 1421s| 46800 | 20065 | 10772k| 229.7 | 20M| 140 | 163 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694009e+02 | 1.980000e+02 | 16.88%
1420.66/1420.94 c 1421s| 46900 | 20087 | 10776k| 229.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694009e+02 | 1.980000e+02 | 16.88%
1424.57/1424.84 c 1425s| 47000 | 20137 | 10807k| 229.5 | 20M| 140 | 211 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694014e+02 | 1.980000e+02 | 16.88%
1427.36/1427.64 c 1428s| 47100 | 20193 | 10830k| 229.4 | 20M| 140 | 377 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694018e+02 | 1.980000e+02 | 16.88%
1430.76/1431.10 c 1431s| 47200 | 20251 | 10858k| 229.6 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2914 | 1.694019e+02 | 1.980000e+02 | 16.88%
1433.56/1433.88 c 1434s| 47300 | 20321 | 10880k| 229.5 | 20M| 140 | 141 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694024e+02 | 1.980000e+02 | 16.88%
1435.96/1436.28 c 1436s| 47400 | 20357 | 10900k| 229.5 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694033e+02 | 1.980000e+02 | 16.88%
1437.66/1437.99 c 1438s| 47500 | 20397 | 10914k| 229.3 | 20M| 140 | 134 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1438.06/1438.35 c 1438s| 47600 | 20435 | 10917k| 228.9 | 20M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1439.06/1439.36 c 1439s| 47700 | 20501 | 10926k| 228.6 | 20M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1439.86/1440.19 c 1440s| 47800 | 20549 | 10933k| 228.2 | 20M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694037e+02 | 1.980000e+02 | 16.88%
1443.35/1443.65 c 1444s| 47900 | 20607 | 10960k| 228.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694047e+02 | 1.980000e+02 | 16.88%
1445.26/1445.51 c 1446s| 48000 | 20621 | 10976k| 228.2 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694048e+02 | 1.980000e+02 | 16.88%
1446.56/1446.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1446.56/1446.82 c 1447s| 48100 | 20651 | 10986k| 227.9 | 20M| 140 | 103 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694062e+02 | 1.980000e+02 | 16.88%
1447.36/1447.60 c 1448s| 48200 | 20681 | 10992k| 227.6 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2914 | 1.694069e+02 | 1.980000e+02 | 16.88%
1447.56/1447.80 c 1448s| 48300 | 20673 | 10994k| 227.1 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2914 | 1.694069e+02 | 1.980000e+02 | 16.88%
1450.36/1450.66 c 1451s| 48400 | 20717 | 11017k| 227.1 | 20M| 140 | 110 | 481 | 590 | 481 | 979 | 760 | 13 |2914 | 1.694088e+02 | 1.980000e+02 | 16.88%
1452.86/1453.15 c 1453s| 48500 | 20735 | 11033k| 227.0 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694096e+02 | 1.980000e+02 | 16.88%
1453.76/1454.06 c 1454s| 48600 | 20781 | 11040k| 226.7 | 20M| 140 | 75 | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694100e+02 | 1.980000e+02 | 16.88%
1453.96/1454.26 c 1454s| 48700 | 20791 | 11043k| 226.3 | 20M| 140 | 117 | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694100e+02 | 1.980000e+02 | 16.88%
1455.86/1456.19 c 1456s| 48800 | 20817 | 11059k| 226.1 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694101e+02 | 1.980000e+02 | 16.88%
1460.06/1460.35 c 1460s| 48900 | 20873 | 11086k| 226.2 | 20M| 140 | 374 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694114e+02 | 1.980000e+02 | 16.88%
1461.95/1462.22 c 1462s| 49000 | 20917 | 11100k| 226.1 | 20M| 140 | 385 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694122e+02 | 1.980000e+02 | 16.87%
1465.25/1465.57 c 1466s| 49100 | 20951 | 11126k| 226.1 | 20M| 140 | 86 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694136e+02 | 1.980000e+02 | 16.87%
1468.55/1468.81 c 1469s| 49200 | 20977 | 11154k| 226.2 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694137e+02 | 1.980000e+02 | 16.87%
1470.46/1470.73 c 1471s| 49300 | 21025 | 11165k| 226.0 | 21M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |2959 | 1.694148e+02 | 1.980000e+02 | 16.87%
1471.25/1471.58 c 1472s| 49400 | 21047 | 11173k| 225.7 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2959 | 1.694157e+02 | 1.980000e+02 | 16.87%
1474.65/1474.98 c 1475s| 49500 | 21079 | 11197k| 225.7 | 21M| 140 | 114 | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694169e+02 | 1.980000e+02 | 16.87%
1475.45/1475.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1475.45/1475.74 c 1476s| 49600 | 21117 | 11203k| 225.4 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694173e+02 | 1.980000e+02 | 16.87%
1476.15/1476.49 c 1476s| 49700 | 21127 | 11209k| 225.1 | 21M| 140 | 121 | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694174e+02 | 1.980000e+02 | 16.87%
1481.75/1482.00 c 1482s| 49800 | 21191 | 11249k| 225.4 | 21M| 140 | 114 | 481 | 590 | 481 | 979 | 760 | 13 |2983 | 1.694180e+02 | 1.980000e+02 | 16.87%
1482.25/1482.57 c 1483s| 49900 | 21215 | 11254k| 225.1 | 21M| 140 | 376 | 481 | 590 | 481 | 979 | 760 | 13 |2983 | 1.694181e+02 | 1.980000e+02 | 16.87%
1483.66/1483.99 c 1484s| 50000 | 21225 | 11261k| 224.8 | 21M| 140 | 97 | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694182e+02 | 1.980000e+02 | 16.87%
1483.86/1484.14 c 1484s| 50100 | 21233 | 11263k| 224.3 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694182e+02 | 1.980000e+02 | 16.87%
1486.15/1486.46 c 1486s| 50200 | 21295 | 11279k| 224.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694192e+02 | 1.980000e+02 | 16.87%
1489.25/1489.54 c 1490s| 50300 | 21327 | 11300k| 224.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694208e+02 | 1.980000e+02 | 16.87%
1490.16/1490.42 c 1490s| 50400 | 21349 | 11307k| 223.9 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694209e+02 | 1.980000e+02 | 16.87%
1491.85/1492.13 c 1492s| 50500 | 21365 | 11321k| 223.7 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694212e+02 | 1.980000e+02 | 16.87%
1494.15/1494.44 c 1494s| 50600 | 21389 | 11340k| 223.6 | 21M| 140 | 130 | 481 | 590 | 481 | 979 | 760 | 13 |3021 | 1.694215e+02 | 1.980000e+02 | 16.87%
1496.45/1496.77 c 1497s| 50700 | 21415 | 11357k| 223.5 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3027 | 1.694218e+02 | 1.980000e+02 | 16.87%
1498.65/1498.97 c 1499s| 50800 | 21449 | 11373k| 223.4 | 21M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694219e+02 | 1.980000e+02 | 16.87%
1498.85/1499.14 c 1499s| 50900 | 21447 | 11375k| 223.0 | 21M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694219e+02 | 1.980000e+02 | 16.87%
1500.15/1500.40 c 1500s| 51000 | 21483 | 11385k| 222.8 | 21M| 140 | 79 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694223e+02 | 1.980000e+02 | 16.87%
1503.45/1503.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.45/1503.78 c 1504s| 51100 | 21517 | 11412k| 222.9 | 21M| 140 | 374 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694234e+02 | 1.980000e+02 | 16.87%
1507.14/1507.42 c 1507s| 51200 | 21561 | 11441k| 223.0 | 21M| 140 | 78 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694236e+02 | 1.980000e+02 | 16.87%
1508.45/1508.71 c 1509s| 51300 | 21587 | 11451k| 222.8 | 21M| 140 | 102 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694241e+02 | 1.980000e+02 | 16.87%
1509.04/1509.36 c 1509s| 51400 | 21603 | 11456k| 222.4 | 21M| 140 | 65 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694244e+02 | 1.980000e+02 | 16.87%
1511.35/1511.65 c 1512s| 51500 | 21633 | 11473k| 222.3 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694253e+02 | 1.980000e+02 | 16.87%
1512.15/1512.41 c 1512s| 51600 | 21645 | 11479k| 222.0 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694256e+02 | 1.980000e+02 | 16.87%
1515.64/1515.94 c 1516s| 51700 | 21693 | 11508k| 222.1 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694261e+02 | 1.980000e+02 | 16.87%
1516.94/1517.23 c 1517s| 51800 | 21739 | 11518k| 221.9 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694264e+02 | 1.980000e+02 | 16.86%
1518.15/1518.49 c 1518s| 51900 | 21777 | 11527k| 221.7 | 21M| 140 | 91 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694279e+02 | 1.980000e+02 | 16.86%
1518.95/1519.29 c 1519s| 52000 | 21791 | 11533k| 221.4 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694284e+02 | 1.980000e+02 | 16.86%
1521.85/1522.11 c 1522s| 52100 | 21843 | 11555k| 221.3 | 21M| 140 | 74 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694289e+02 | 1.980000e+02 | 16.86%
1525.94/1526.27 c 1526s| 52200 | 21877 | 11589k| 221.6 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694298e+02 | 1.980000e+02 | 16.86%
1528.65/1528.93 c 1529s| 52300 | 21921 | 11611k| 221.6 | 21M| 140 | 90 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694316e+02 | 1.980000e+02 | 16.86%
1531.45/1531.72 c 1532s| 52400 | 21973 | 11631k| 221.5 | 21M| 140 | 75 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694330e+02 | 1.980000e+02 | 16.86%
1533.94/1534.23 c 1534s| 52500 | 22013 | 11650k| 221.5 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1534.74/1535.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1534.74/1535.06 c 1535s| 52600 | 22027 | 11657k| 221.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1534.94/1535.28 c 1535s| 52700 | 22027 | 11659k| 220.8 | 21M| 140 | 95 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1536.85/1537.14 c 1537s| 52800 | 22063 | 11674k| 220.7 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694344e+02 | 1.980000e+02 | 16.86%
1541.25/1541.51 c 1542s| 52900 | 22099 | 11706k| 220.8 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3042 | 1.694356e+02 | 1.980000e+02 | 16.86%
1542.64/1542.90 c 1543s| 53000 | 22129 | 11716k| 220.6 | 21M| 140 | 115 | 481 | 590 | 481 | 979 | 760 | 13 |3042 | 1.694364e+02 | 1.980000e+02 | 16.86%
1545.25/1545.53 c 1546s| 53100 | 22139 | 11732k| 220.5 | 21M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694370e+02 | 1.980000e+02 | 16.86%
1548.45/1548.78 c 1549s| 53200 | 22187 | 11759k| 220.6 | 21M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694372e+02 | 1.980000e+02 | 16.86%
1551.04/1551.37 c 1551s| 53300 | 22211 | 11781k| 220.6 | 21M| 140 | 115 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694377e+02 | 1.980000e+02 | 16.86%
1552.54/1552.83 c 1553s| 53400 | 22235 | 11791k| 220.4 | 21M| 140 | 69 | 481 | 590 | 481 | 979 | 760 | 13 |3083 | 1.694380e+02 | 1.980000e+02 | 16.86%
1555.54/1555.82 c 1556s| 53500 | 22259 | 11812k| 220.4 | 21M| 140 | 383 | 481 | 590 | 481 | 979 | 760 | 13 |3094 | 1.694383e+02 | 1.980000e+02 | 16.86%
1558.35/1558.63 c 1559s| 53600 | 22291 | 11828k| 220.2 | 22M| 140 | 373 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694396e+02 | 1.980000e+02 | 16.86%
1559.85/1560.19 c 1560s| 53700 | 22305 | 11841k| 220.1 | 22M| 140 | 85 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694396e+02 | 1.980000e+02 | 16.86%
1562.44/1562.79 c 1563s| 53800 | 22333 | 11862k| 220.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694398e+02 | 1.980000e+02 | 16.86%
1564.74/1565.04 c 1565s| 53900 | 22351 | 11879k| 220.0 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694411e+02 | 1.980000e+02 | 16.85%
1565.54/1565.82 c 1566s| 54000 | 22361 | 11885k| 219.7 | 22M| 140 | 106 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694416e+02 | 1.980000e+02 | 16.85%
1566.24/1566.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1566.24/1566.59 c 1567s| 54100 | 22413 | 11892k| 219.4 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694426e+02 | 1.980000e+02 | 16.85%
1568.25/1568.53 c 1569s| 54200 | 22433 | 11907k| 219.3 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3124 | 1.694428e+02 | 1.980000e+02 | 16.85%
1568.44/1568.73 c 1569s| 54300 | 22441 | 11909k| 218.9 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3124 | 1.694428e+02 | 1.980000e+02 | 16.85%
1571.55/1571.87 c 1572s| 54400 | 22485 | 11932k| 218.9 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3130 | 1.694436e+02 | 1.980000e+02 | 16.85%
1575.44/1575.73 c 1576s| 54500 | 22557 | 11961k| 219.0 | 22M| 140 | 99 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694440e+02 | 1.980000e+02 | 16.85%
1576.24/1576.52 c 1577s| 54600 | 22575 | 11967k| 218.8 | 22M| 140 | 133 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694443e+02 | 1.980000e+02 | 16.85%
1577.05/1577.38 c 1577s| 54700 | 22619 | 11974k| 218.5 | 22M| 140 | 93 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1578.63/1578.90 c 1579s| 54800 | 22673 | 11986k| 218.3 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1578.74/1579.06 c 1579s| 54900 | 22717 | 11988k| 217.9 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1579.43/1579.79 c 1580s| 55000 | 22739 | 11994k| 217.6 | 22M| 140 | 77 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694457e+02 | 1.980000e+02 | 16.85%
1580.83/1581.17 c 1581s| 55100 | 22763 | 12004k| 217.4 | 22M| 140 | 85 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694459e+02 | 1.980000e+02 | 16.85%
1581.44/1581.80 c 1582s| 55200 | 22773 | 12009k| 217.1 | 22M| 140 | 96 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694460e+02 | 1.980000e+02 | 16.85%
1583.43/1583.79 c 1584s| 55300 | 22821 | 12025k| 217.0 | 22M| 140 | 398 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694463e+02 | 1.980000e+02 | 16.85%
1586.74/1587.05 c 1587s| 55400 | 22859 | 12052k| 217.1 | 22M| 140 | 99 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694471e+02 | 1.980000e+02 | 16.85%
1586.94/1587.21 c 1587s| 55500 | 22865 | 12053k| 216.8 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694471e+02 | 1.980000e+02 | 16.85%
1590.43/1590.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.43/1590.76 c 1591s| 55600 | 22921 | 12080k| 216.9 | 22M| 140 | 370 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694476e+02 | 1.980000e+02 | 16.85%
1592.64/1592.98 c 1593s| 55700 | 22963 | 12097k| 216.8 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694482e+02 | 1.980000e+02 | 16.85%
1594.74/1595.09 c 1595s| 55800 | 23005 | 12113k| 216.7 | 22M| 140 | 67 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694491e+02 | 1.980000e+02 | 16.85%
1597.54/1597.80 c 1598s| 55900 | 23027 | 12135k| 216.7 | 22M| 140 | 121 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694497e+02 | 1.980000e+02 | 16.85%
1598.74/1599.04 c 1599s| 56000 | 23063 | 12145k| 216.5 | 22M| 140 | 389 | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694508e+02 | 1.980000e+02 | 16.85%
1599.14/1599.41 c 1599s| 56100 | 23103 | 12148k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694508e+02 | 1.980000e+02 | 16.85%
1601.73/1602.06 c 1602s| 56200 | 23155 | 12168k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694519e+02 | 1.980000e+02 | 16.85%
1604.64/1604.92 c 1605s| 56300 | 23221 | 12189k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694529e+02 | 1.980000e+02 | 16.85%
1607.84/1608.19 c 1608s| 56400 | 23253 | 12215k| 216.2 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694531e+02 | 1.980000e+02 | 16.85%
1609.94/1610.25 c 1610s| 56500 | 23285 | 12231k| 216.1 | 22M| 140 | 388 | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694542e+02 | 1.980000e+02 | 16.85%
1612.63/1612.96 c 1613s| 56600 | 23317 | 12253k| 216.1 | 22M| 140 | 77 | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694553e+02 | 1.980000e+02 | 16.84%
1614.23/1614.50 c 1615s| 56700 | 23321 | 12265k| 215.9 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694556e+02 | 1.980000e+02 | 16.84%
1615.54/1615.85 c 1616s| 56800 | 23351 | 12275k| 215.7 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694563e+02 | 1.980000e+02 | 16.84%
1618.23/1618.51 c 1619s| 56900 | 23385 | 12293k| 215.6 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3152 | 1.694565e+02 | 1.980000e+02 | 16.84%
1622.23/1622.59 c 1623s| 57000 | 23453 | 12322k| 215.8 | 22M| 140 | 121 | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694587e+02 | 1.980000e+02 | 16.84%
1622.93/1623.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.93/1623.28 c 1623s| 57100 | 23475 | 12328k| 215.5 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694587e+02 | 1.980000e+02 | 16.84%
1623.73/1624.02 c 1624s| 57200 | 23493 | 12333k| 215.2 | 22M| 140 | 105 | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694590e+02 | 1.980000e+02 | 16.84%
1625.93/1626.21 c 1626s| 57300 | 23521 | 12346k| 215.1 | 23M| 140 | 372 | 481 | 589 | 481 | 979 | 760 | 13 |3174 | 1.694593e+02 | 1.980000e+02 | 16.84%
1629.94/1630.28 c 1630s| 57400 | 23567 | 12379k| 215.3 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3174 | 1.694617e+02 | 1.980000e+02 | 16.84%
1632.23/1632.55 c 1633s| 57500 | 23595 | 12389k| 215.1 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694619e+02 | 1.980000e+02 | 16.84%
1638.33/1638.63 c 1639s| 57600 | 23655 | 12439k| 215.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694623e+02 | 1.980000e+02 | 16.84%
1639.63/1639.96 c 1640s| 57700 | 23685 | 12449k| 215.3 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694627e+02 | 1.980000e+02 | 16.84%
1640.84/1641.18 c 1641s| 57800 | 23705 | 12458k| 215.1 | 23M| 140 | 391 | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694633e+02 | 1.980000e+02 | 16.84%
1642.53/1642.83 c 1643s| 57900 | 23715 | 12471k| 215.0 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694633e+02 | 1.980000e+02 | 16.84%
1647.12/1647.48 c 1647s| 58000 | 23755 | 12504k| 215.2 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3217 | 1.694637e+02 | 1.980000e+02 | 16.84%
1648.54/1648.86 c 1649s| 58100 | 23781 | 12514k| 215.0 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3217 | 1.694637e+02 | 1.980000e+02 | 16.84%
1653.33/1653.67 c 1654s| 58200 | 23851 | 12550k| 215.2 | 23M| 140 | 114 | 481 | 589 | 481 | 979 | 760 | 13 |3225 | 1.694651e+02 | 1.980000e+02 | 16.84%
1654.22/1654.53 c 1655s| 58300 | 23871 | 12555k| 215.0 | 23M| 140 | 109 | 481 | 589 | 481 | 979 | 760 | 13 |3233 | 1.694651e+02 | 1.980000e+02 | 16.84%
1655.43/1655.75 c 1656s| 58400 | 23911 | 12564k| 214.7 | 23M| 140 | 370 | 481 | 589 | 481 | 979 | 760 | 13 |3235 | 1.694652e+02 | 1.980000e+02 | 16.84%
1658.23/1658.58 c 1659s| 58500 | 23959 | 12587k| 214.8 | 23M| 140 | 108 | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694666e+02 | 1.980000e+02 | 16.84%
1660.42/1660.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1660.42/1660.78 c 1661s| 58600 | 23983 | 12604k| 214.7 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694672e+02 | 1.980000e+02 | 16.84%
1661.83/1662.14 c 1662s| 58700 | 24017 | 12615k| 214.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694673e+02 | 1.980000e+02 | 16.84%
1665.13/1665.41 c 1665s| 58800 | 24057 | 12640k| 214.6 | 23M| 140 | 380 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694679e+02 | 1.980000e+02 | 16.84%
1670.53/1670.82 c 1671s| 58900 | 24115 | 12684k| 215.0 | 23M| 140 | 131 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694685e+02 | 1.980000e+02 | 16.84%
1672.22/1672.55 c 1673s| 59000 | 24147 | 12697k| 214.8 | 23M| 140 | 369 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694689e+02 | 1.980000e+02 | 16.84%
1673.22/1673.51 c 1674s| 59100 | 24169 | 12704k| 214.6 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694690e+02 | 1.980000e+02 | 16.84%
1674.83/1675.16 c 1675s| 59200 | 24177 | 12718k| 214.4 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694695e+02 | 1.980000e+02 | 16.84%
1677.53/1677.86 c 1678s| 59300 | 24219 | 12739k| 214.4 | 23M| 140 | 89 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694708e+02 | 1.980000e+02 | 16.83%
1678.32/1678.65 c 1679s| 59400 | 24257 | 12745k| 214.2 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694714e+02 | 1.980000e+02 | 16.83%
1680.62/1680.96 c 1681s| 59500 | 24301 | 12764k| 214.1 | 23M| 140 | 84 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694717e+02 | 1.980000e+02 | 16.83%
1682.83/1683.11 c 1683s| 59600 | 24331 | 12781k| 214.1 | 23M| 140 | 104 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694724e+02 | 1.980000e+02 | 16.83%
1684.12/1684.43 c 1684s| 59700 | 24369 | 12791k| 213.9 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694724e+02 | 1.980000e+02 | 16.83%
1687.13/1687.45 c 1687s| 59800 | 24411 | 12814k| 213.9 | 23M| 140 | 102 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694728e+02 | 1.980000e+02 | 16.83%
1689.02/1689.30 c 1689s| 59900 | 24427 | 12829k| 213.8 | 23M| 140 | 359 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694736e+02 | 1.980000e+02 | 16.83%
1691.43/1691.73 c 1692s| 60000 | 24439 | 12848k| 213.8 | 23M| 140 | 113 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694740e+02 | 1.980000e+02 | 16.83%
1692.12/1692.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1692.12/1692.46 c 1692s| 60100 | 24463 | 12854k| 213.5 | 23M| 140 | 118 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694744e+02 | 1.980000e+02 | 16.83%
1695.12/1695.47 c 1695s| 60200 | 24503 | 12879k| 213.5 | 23M| 140 | 378 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694748e+02 | 1.980000e+02 | 16.83%
1698.03/1698.36 c 1698s| 60300 | 24567 | 12897k| 213.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3252 | 1.694756e+02 | 1.980000e+02 | 16.83%
1701.02/1701.37 c 1701s| 60400 | 24589 | 12922k| 213.6 | 23M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3252 | 1.694758e+02 | 1.980000e+02 | 16.83%
1702.72/1703.08 c 1703s| 60500 | 24603 | 12936k| 213.4 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3252 | 1.694761e+02 | 1.980000e+02 | 16.83%
1706.93/1707.24 c 1707s| 60600 | 24635 | 12963k| 213.5 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694766e+02 | 1.980000e+02 | 16.83%
1708.22/1708.54 c 1709s| 60700 | 24663 | 12973k| 213.3 | 23M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694767e+02 | 1.980000e+02 | 16.83%
1709.02/1709.36 c 1709s| 60800 | 24671 | 12979k| 213.1 | 23M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694767e+02 | 1.980000e+02 | 16.83%
1710.62/1710.92 c 1711s| 60900 | 24687 | 12991k| 212.9 | 23M| 140 | 100 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694772e+02 | 1.980000e+02 | 16.83%
1711.22/1711.58 c 1712s| 61000 | 24699 | 12997k| 212.7 | 23M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694773e+02 | 1.980000e+02 | 16.83%
1713.22/1713.56 c 1714s| 61100 | 24721 | 13012k| 212.6 | 23M| 140 | 130 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694775e+02 | 1.980000e+02 | 16.83%
1713.91/1714.22 c 1714s| 61200 | 24727 | 13017k| 212.3 | 23M| 140 | 372 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694776e+02 | 1.980000e+02 | 16.83%
1716.92/1717.20 c 1717s| 61300 | 24729 | 13033k| 212.2 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694778e+02 | 1.980000e+02 | 16.83%
1720.72/1721.08 c 1721s| 61400 | 24773 | 13064k| 212.4 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694783e+02 | 1.980000e+02 | 16.83%
1722.52/1722.80 c 1723s| 61500 | 24805 | 13076k| 212.2 | 24M| 140 | 394 | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694799e+02 | 1.980000e+02 | 16.83%
1724.91/1725.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1724.91/1725.24 c 1725s| 61600 | 24853 | 13095k| 212.2 | 24M| 140 | 116 | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694802e+02 | 1.980000e+02 | 16.83%
1727.82/1728.14 c 1728s| 61700 | 24881 | 13118k| 212.2 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694807e+02 | 1.980000e+02 | 16.83%
1732.71/1733.04 c 1733s| 61800 | 24935 | 13155k| 212.5 | 24M| 140 | 369 | 481 | 590 | 481 | 979 | 760 | 14 |3315 | 1.694814e+02 | 1.980000e+02 | 16.83%
1735.92/1736.27 c 1736s| 61900 | 24987 | 13177k| 212.5 | 24M| 140 | 101 | 481 | 590 | 481 | 979 | 760 | 14 |3328 | 1.694822e+02 | 1.980000e+02 | 16.83%
1737.21/1737.56 c 1738s| 62000 | 24999 | 13186k| 212.3 | 24M| 140 | 382 | 481 | 590 | 481 | 979 | 760 | 14 |3331 | 1.694831e+02 | 1.980000e+02 | 16.83%
1739.82/1740.13 c 1740s| 62100 | 25027 | 13205k| 212.3 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694839e+02 | 1.980000e+02 | 16.83%
1743.52/1743.84 c 1744s| 62200 | 25051 | 13236k| 212.4 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694842e+02 | 1.980000e+02 | 16.83%
1743.71/1744.00 c 1744s| 62300 | 25045 | 13237k| 212.1 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694842e+02 | 1.980000e+02 | 16.83%
1746.91/1747.25 c 1747s| 62400 | 25061 | 13263k| 212.2 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694851e+02 | 1.980000e+02 | 16.82%
1749.61/1749.97 c 1750s| 62500 | 25115 | 13283k| 212.2 | 24M| 140 | 378 | 481 | 590 | 481 | 979 | 760 | 14 |3343 | 1.694858e+02 | 1.980000e+02 | 16.82%
1751.42/1751.72 c 1752s| 62600 | 25133 | 13297k| 212.0 | 24M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694866e+02 | 1.980000e+02 | 16.82%
1751.61/1751.90 c 1752s| 62700 | 25129 | 13299k| 211.7 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694866e+02 | 1.980000e+02 | 16.82%
1752.41/1752.71 c 1753s| 62800 | 25145 | 13305k| 211.5 | 24M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694867e+02 | 1.980000e+02 | 16.82%
1756.91/1757.23 c 1757s| 62900 | 25191 | 13341k| 211.7 | 24M| 140 | 380 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694879e+02 | 1.980000e+02 | 16.82%
1757.82/1758.13 c 1758s| 63000 | 25211 | 13348k| 211.5 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694879e+02 | 1.980000e+02 | 16.82%
1760.51/1760.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1760.51/1760.87 c 1761s| 63100 | 25261 | 13369k| 211.5 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694881e+02 | 1.980000e+02 | 16.82%
1761.31/1761.64 c 1762s| 63200 | 25291 | 13375k| 211.3 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694883e+02 | 1.980000e+02 | 16.82%
1770.41/1770.76 c 1771s| 63300 | 25331 | 13476k| 212.5 | 24M| 140 | 116 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694888e+02 | 1.980000e+02 | 16.82%
1773.71/1774.07 c 1774s| 63400 | 25361 | 13502k| 212.6 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694902e+02 | 1.980000e+02 | 16.82%
1777.71/1778.07 c 1778s| 63500 | 25403 | 13534k| 212.8 | 24M| 140 | 112 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694911e+02 | 1.980000e+02 | 16.82%
1778.90/1779.23 c 1779s| 63600 | 25437 | 13543k| 212.6 | 24M| 140 | 364 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694914e+02 | 1.980000e+02 | 16.82%
1779.81/1780.15 c 1780s| 63700 | 25453 | 13550k| 212.4 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694918e+02 | 1.980000e+02 | 16.82%
1782.31/1782.63 c 1783s| 63800 | 25481 | 13570k| 212.3 | 24M| 140 | 125 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694920e+02 | 1.980000e+02 | 16.82%
1783.71/1784.07 c 1784s| 63900 | 25493 | 13582k| 212.2 | 24M| 140 | 118 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694924e+02 | 1.980000e+02 | 16.82%
1785.81/1786.17 c 1786s| 64000 | 25507 | 13599k| 212.1 | 24M| 140 | 100 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694928e+02 | 1.980000e+02 | 16.82%
1789.80/1790.10 c 1790s| 64100 | 25553 | 13631k| 212.3 | 24M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694939e+02 | 1.980000e+02 | 16.82%
1791.31/1791.66 c 1792s| 64200 | 25567 | 13643k| 212.1 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694941e+02 | 1.980000e+02 | 16.82%
1791.80/1792.18 c 1792s| 64300 | 25565 | 13647k| 211.9 | 24M| 140 | 392 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694941e+02 | 1.980000e+02 | 16.82%
1793.50/1793.83 c 1794s| 64400 | 25589 | 13659k| 211.7 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694949e+02 | 1.980000e+02 | 16.82%
1796.31/1796.62 c 1797s| 64500 | 25651 | 13677k| 211.7 | 24M| 140 | 381 | 481 | 590 | 481 | 979 | 760 | 14 |3357 | 1.694957e+02 | 1.980000e+02 | 16.82%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 64527
1796.70/1797.01 c Primal Bound : +1.98000000000000e+02 (709 solutions)
1796.70/1797.01 c Dual Bound : +1.69496298537578e+02
1796.70/1797.01 c Gap : 16.82 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 v -x481 -x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 x468 x467 -x466 -x465 x464 x463 x462 -x461 x460 -x459
1796.70/1797.01 v x458 x457 -x456 x455 -x454 x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 x442 -x441 x440 x439 x438 -x437
1796.70/1797.01 v -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 x425 -x424 x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415
1796.70/1797.01 v -x414 x413 -x412 -x411 x410 -x409 x408 x407 -x406 x405 -x404 x403 -x402 x401 -x400 x399 x398 -x397 x396 x395 -x394 x393 -x392
1796.70/1797.01 v x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 x376 -x375 x374 x373 -x372 x371 -x370
1796.70/1797.01 v -x369 -x368 x367 x366 x365 -x364 x363 x362 x361 -x360 x359 -x358 x357 x356 -x355 -x354 x353 -x352 -x351 -x350 x349 -x348 -x347
1796.70/1797.01 v -x346 x345 x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 x333 x332 -x331 -x330 -x329 x328 x327 x326 x325
1796.70/1797.01 v x324 -x323 x322 x321 -x320 x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303
1796.70/1797.01 v x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 x294 x293 x292 -x291 -x290 -x289 x288 x287 -x286 -x285 -x284 -x283 x282 x281 -x280
1796.70/1797.01 v -x279 x278 -x277 -x276 x275 x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 x261 -x260 x259 x258
1796.70/1797.01 v -x257 -x256 -x255 -x254 -x253 x252 -x251 x250 x249 x248 x247 -x246 x245 -x244 x243 x242 -x241 -x240 -x239 x238 -x237 x236 -x235
1796.70/1797.01 v x234 -x233 x232 x231 x230 x229 x228 x227 x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 x218 -x217 -x216 x215 x214 x213 -x212
1796.70/1797.01 v x211 x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 x194 x193 x192 -x191 x190
1796.70/1797.01 v x189 x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 x176 x175 -x174 -x173 -x172 x171 x170 x169 -x168
1796.70/1797.01 v x167 x166 -x165 x164 -x163 -x162 -x161 -x160 x159 x158 -x157 -x156 -x155 x154 -x153 -x152 x151 x150 -x149 -x148 x147 x146 -x145
1796.70/1797.01 v -x144 x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 -x124 -x123
1796.70/1797.01 v -x122 -x121 x120 -x119 x118 -x117 x116 -x115 x114 x113 x112 x111 -x110 -x109 x108 x107 x106 x105 -x104 x103 x102 x101 -x100
1796.70/1797.01 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 x88 -x87 -x86 x85 x84 x83 -x82 -x81 -x80 -x79 x78 x77 -x76 -x75 -x74
1796.70/1797.01 v -x73 x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 x64 x63 -x62 -x61 x60 -x59 x58 -x57 -x56 x55 x54 -x53 -x52 x51 x50 -x49 -x48 x47
1796.70/1797.01 v x46 x45 x44 -x43 x42 -x41 x40 x39 -x38 -x37 x36 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 x24 x23 -x22 x21 -x20 -x19
1796.70/1797.01 v x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 -x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.02 (included in solving)
1796.70/1797.01 c reading : 0.00 (included in solving)
1796.70/1797.01 c copying : 0.09 (15 #copies) (minimal 0.00, maximal 0.01, average 0.01)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692055-1338029682.opb
1796.70/1797.01 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 481 initial, 481 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692055-1338029682.opb
1796.70/1797.01 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 579 initial, 591 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 27 215 354 822
1796.70/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 90 0 0 0
1796.70/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 14
1796.70/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 46071 0 714 0 10 82 0 0 92024
1796.70/1797.01 c knapsack : 453 453 11 296248 0 2 709 0 749 206781 756 0 0
1796.70/1797.01 c setppc : 126 126 11 295490 0 2 708 0 0 39015 0 0 0
1796.70/1797.01 c logicor : 0+ 12 0 11248 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 2 712 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 110.20 0.00 0.00 0.00 110.20 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 2.40 0.00 0.03 2.36 0.00 0.00 0.01 0.00
1796.70/1797.01 c setppc : 0.38 0.00 0.00 0.38 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 26 0 0 0
1796.70/1797.01 c pseudoobj : 342270 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 61271 0 0 375682
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.70/1797.01 c pseudoobj : 0.32 0.00 0.00 0.32 0.00
1796.70/1797.01 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.01 c redcost : 0.97 0.00 0.00 0.97 0.00
1796.70/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.00 749 0 0 0.0 0 0.0 -
1796.70/1797.01 c infeasible LP : 0.00 14 14 14 4.2 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 14 4.2 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 10 - - 346 - (maximal pool size: 1337)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 11 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 1.73 0.00 10 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.45 0.00 11 0 0 0 0
1796.70/1797.01 c cmir : 0.20 0.00 10 0 0 792 0
1796.70/1797.01 c flowcover : 0.21 0.00 10 0 0 921 0
1796.70/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.01 0.00 6 0 0 73 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.29 0.00 1 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 110.16 0.00 46071 10 82 0 0 92024
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c feaspump : 0.00 0.00 0 0
1796.70/1797.01 c oneopt : 0.02 0.00 11 3
1796.70/1797.01 c crossover : 0.15 0.00 1 1
1796.70/1797.01 c fracdiving : 48.44 0.00 45 0
1796.70/1797.01 c guideddiving : 47.67 0.00 46 0
1796.70/1797.01 c veclendiving : 59.68 0.00 72 46
1796.70/1797.01 c linesearchdiving : 134.86 0.00 192 55
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 1
1796.70/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.01 c simplerounding : 1.03 0.00 46081 24
1796.70/1797.01 c zirounding : 0.40 0.00 1000 15
1796.70/1797.01 c rounding : 12.19 0.00 9912 1
1796.70/1797.01 c shifting : 3.38 0.00 2644 1
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.04 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c coefdiving : 237.80 0.00 208 166
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c pscostdiving : 233.87 0.00 330 296
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c objpscostdiving : 43.64 0.00 6 99
1796.70/1797.01 c rootsoldiving : 12.66 0.00 13 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.01 0.00 0 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.02 0.00 0 0
1796.70/1797.01 c trysol : 0.03 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.70/1797.01 c dual LP : 832.46 79046 6651220 104.24 7989.87 3.69 15238
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 793.93 134691 7028598 52.18 8852.91
1796.70/1797.01 c strong branching : 107.94 3357 752014 224.01 6966.65
1796.70/1797.01 c (at root node) : - 27 22485 832.78 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 64527
1796.70/1797.01 c nodes (total) : 64527
1796.70/1797.01 c nodes left : 25662
1796.70/1797.01 c max depth : 140
1796.70/1797.01 c max depth (total): 140
1796.70/1797.01 c backtracks : 10963 (17.0%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 8.08
1796.70/1797.01 c switching time : 2.39
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 709 (34 improvements)
1796.70/1797.01 c First Solution : +4.81000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.01 c Primal Bound : +1.98000000000000e+02 (in run 1, after 42845 nodes, 1320.19 seconds, depth 228, found by <pscostdiving>)
1796.70/1797.01 c Dual Bound : +1.69496298537578e+02
1796.70/1797.01 c Gap : 16.82 %
1796.70/1797.01 c Root Dual Bound : +1.67633462323279e+02
1796.70/1797.01 c Root Iterations : 23826
1796.70/1797.04 c Time complete: 1796.75.
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-3692055-1338029682/watcher-3692055-1338029682 -o /tmp/evaluation-result-3692055-1338029682/solver-3692055-1338029682 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692055-1338029682.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.22 1.05 1.16 3/176 10963
/proc/meminfo: memFree=28621696/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=13120 CPUtime=0 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 2025 0 0 0 0 0 0 0 20 0 1 0 269093635 13434880 1980 33554432000 4194304 10219143 140733250469040 140737022649800 8844210 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 3280 1980 421 1471 0 1800 0
[startup+0.051485 s]
/proc/loadavg: 1.22 1.05 1.16 3/176 10963
/proc/meminfo: memFree=28621696/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=22620 CPUtime=0.04 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 4621 0 0 0 4 0 0 0 20 0 1 0 269093635 23162880 4319 33554432000 4194304 10219143 140733250469040 140733250333672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 5655 4319 751 1471 0 4175 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 22620
[startup+0.100239 s]
/proc/loadavg: 1.22 1.05 1.16 3/176 10963
/proc/meminfo: memFree=28621696/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=22620 CPUtime=0.09 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 4662 0 0 0 9 0 0 0 20 0 1 0 269093635 23162880 4360 33554432000 4194304 10219143 140733250469040 140733250333672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 5655 4360 753 1471 0 4175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22620
[startup+0.300174 s]
/proc/loadavg: 1.22 1.05 1.16 3/176 10963
/proc/meminfo: memFree=28621696/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=22620 CPUtime=0.29 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 4687 0 0 0 28 1 0 0 20 0 1 0 269093635 23162880 4385 33554432000 4194304 10219143 140733250469040 140733250333672 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 5655 4385 753 1471 0 4175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22620
[startup+0.700178 s]
/proc/loadavg: 1.22 1.05 1.16 3/176 10963
/proc/meminfo: memFree=28621696/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=23088 CPUtime=0.69 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 4780 0 0 0 68 1 0 0 20 0 1 0 269093635 23642112 4478 33554432000 4194304 10219143 140733250469040 140733250462392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 5772 4478 753 1471 0 4292 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23088
[startup+1.50022 s]
/proc/loadavg: 1.22 1.05 1.16 3/177 10964
/proc/meminfo: memFree=28606436/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33276 CPUtime=1.48 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9020 0 0 0 145 3 0 0 20 0 1 0 269093635 34074624 6855 33554432000 4194304 10219143 140733250469040 140733250463560 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8319 6855 840 1471 0 6839 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33276
[startup+3.10018 s]
/proc/loadavg: 1.28 1.06 1.16 3/177 10964
/proc/meminfo: memFree=28599564/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33524 CPUtime=3.09 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9077 0 0 0 304 5 0 0 20 0 1 0 269093635 34328576 6912 33554432000 4194304 10219143 140733250469040 140733250462232 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8381 6912 840 1471 0 6901 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33524
[startup+6.30012 s]
/proc/loadavg: 1.28 1.06 1.16 3/177 10964
/proc/meminfo: memFree=28366828/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=6.29 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9143 0 0 0 622 7 0 0 20 0 1 0 269093635 34672640 6978 33554432000 4194304 10219143 140733250469040 140733250464200 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 6978 840 1471 0 6985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33860
[startup+12.7002 s]
/proc/loadavg: 1.39 1.09 1.17 3/177 10964
/proc/meminfo: memFree=28594384/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=12.69 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9479 0 0 0 1257 12 0 0 20 0 1 0 269093635 34672640 7314 33554432000 4194304 10219143 140733250469040 140733250462216 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 7314 844 1471 0 6985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33860
[startup+25.5002 s]
/proc/loadavg: 1.49 1.12 1.18 3/177 10964
/proc/meminfo: memFree=28595012/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=25.49 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9479 0 0 0 2527 22 0 0 20 0 1 0 269093635 34672640 7314 33554432000 4194304 10219143 140733250469040 140733250462536 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 7314 844 1471 0 6985 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33860
[startup+51.1002 s]
/proc/loadavg: 1.66 1.19 1.20 3/177 10964
/proc/meminfo: memFree=28590476/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=51.08 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9482 0 0 0 5063 45 0 0 20 0 1 0 269093635 34672640 7317 33554432000 4194304 10219143 140733250469040 140733250462392 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 7317 847 1471 0 6985 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33860
[startup+102.306 s]
/proc/loadavg: 1.86 1.33 1.24 3/177 10964
/proc/meminfo: memFree=28586452/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=102.28 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9482 0 0 0 10137 91 0 0 20 0 1 0 269093635 34672640 7317 33554432000 4194304 10219143 140733250469040 140733250462024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 7317 847 1471 0 6985 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 33860
[startup+162.3 s]
/proc/loadavg: 1.94 1.44 1.28 3/177 10965
/proc/meminfo: memFree=28584812/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33860 CPUtime=162.27 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 9483 0 0 0 16082 145 0 0 20 0 1 0 269093635 34672640 7318 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8465 7318 847 1471 0 6985 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 33860
[startup+222.3 s]
/proc/loadavg: 1.98 1.54 1.33 3/177 10965
/proc/meminfo: memFree=28586940/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=31632 CPUtime=222.25 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 10791 0 0 0 22026 199 0 0 20 0 1 0 269093635 32391168 6878 33554432000 4194304 10219143 140733250469040 140733250461960 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 7908 6878 852 1471 0 6428 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31632
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.36 3/177 10965
/proc/meminfo: memFree=28528784/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33876 CPUtime=282.25 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 11349 0 0 0 27971 254 0 0 20 0 1 0 269093635 34689024 7436 33554432000 4194304 10219143 140733250469040 140733250462216 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8469 7436 852 1471 0 6989 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 33876
[startup+342.3 s]
/proc/loadavg: 1.99 1.69 1.40 3/178 10968
/proc/meminfo: memFree=28523880/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=31632 CPUtime=342.23 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 12358 0 0 0 33912 311 0 0 20 0 1 0 269093635 32391168 6887 33554432000 4194304 10219143 140733250469040 140733250462072 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 7908 6887 853 1471 0 6428 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31632
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.43 3/178 10991
/proc/meminfo: memFree=28516872/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=31940 CPUtime=402.22 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 12408 0 0 0 39855 367 0 0 20 0 1 0 269093635 32706560 6937 33554432000 4194304 10219143 140733250469040 140733250462024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 7985 6937 853 1471 0 6505 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31940
[startup+462.3 s]
/proc/loadavg: 1.99 1.79 1.47 3/177 10992
/proc/meminfo: memFree=28508212/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33332 CPUtime=462.21 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 14043 0 0 0 45797 424 0 0 20 0 1 0 269093635 34131968 7294 33554432000 4194304 10219143 140733250469040 140733250462344 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8333 7294 853 1471 0 6853 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 33332
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.50 3/177 10992
/proc/meminfo: memFree=28486264/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=33520 CPUtime=522.21 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 14084 0 0 0 51739 482 0 0 20 0 1 0 269093635 34324480 7335 33554432000 4194304 10219143 140733250469040 140733250461848 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8380 7335 853 1471 0 6900 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 33520
[startup+582.3 s]
/proc/loadavg: 2.04 1.86 1.53 3/177 10992
/proc/meminfo: memFree=28480220/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=34152 CPUtime=582.2 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 14278 0 0 0 57689 531 0 0 20 0 1 0 269093635 34971648 7529 33554432000 4194304 10219143 140733250469040 140733250462680 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 8538 7529 853 1471 0 7058 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 34152
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28449384/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=42652 CPUtime=1122.11 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 19202 0 0 0 111184 1027 0 0 20 0 1 0 269093635 43675648 9669 33554432000 4194304 10219143 140733250469040 140733250461976 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 10663 9669 853 1471 0 9183 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42652
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 10997
/proc/meminfo: memFree=28442892/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=45440 CPUtime=1182.1 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 19906 0 0 0 117128 1082 0 0 20 0 1 0 269093635 46530560 10373 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11360 10373 853 1471 0 9880 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 45440
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 10997
/proc/meminfo: memFree=28440284/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=45948 CPUtime=1242.09 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 20032 0 0 0 123072 1137 0 0 20 0 1 0 269093635 47050752 10498 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11487 10498 853 1471 0 10007 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 45948
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/177 10997
/proc/meminfo: memFree=28439168/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=46300 CPUtime=1302.08 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 20129 0 0 0 129011 1197 0 0 20 0 1 0 269093635 47411200 10595 33554432000 4194304 10219143 140733250469040 140733250462024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11575 10595 853 1471 0 10095 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 46300
[startup+1362.3 s]
/proc/loadavg: 2.05 1.99 1.78 3/177 10998
/proc/meminfo: memFree=28436812/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=46332 CPUtime=1362.07 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 23826 0 0 0 134955 1252 0 0 20 0 1 0 269093635 47443968 10631 33554432000 4194304 10219143 140733250469040 140733250462712 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11583 10631 853 1471 0 10103 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 46332
[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.79 3/177 10998
/proc/meminfo: memFree=28434832/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=46668 CPUtime=1422.06 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 25253 0 0 0 140902 1304 0 0 20 0 1 0 269093635 47788032 10684 33554432000 4194304 10219143 140733250469040 140733250462024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11667 10684 853 1471 0 10187 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 46668
[startup+1482.3 s]
/proc/loadavg: 2.04 2.00 1.81 3/177 10998
/proc/meminfo: memFree=28433592/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=46668 CPUtime=1482.05 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 26521 0 0 0 146850 1355 0 0 20 0 1 0 269093635 47788032 10690 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11667 10690 853 1471 0 10187 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46668
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/178 11001
/proc/meminfo: memFree=28431436/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=47892 CPUtime=1542.04 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 26828 0 0 0 152799 1405 0 0 20 0 1 0 269093635 49041408 10997 33554432000 4194304 10219143 140733250469040 140733250462024 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 11973 10997 853 1471 0 10493 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 47892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 11001
/proc/meminfo: memFree=28427352/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=48988 CPUtime=1602.03 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28350 0 0 0 158742 1461 0 0 20 0 1 0 269093635 50163712 11274 33554432000 4194304 10219143 140733250469040 140733250462008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12247 11274 853 1471 0 10767 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 48988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 11002
/proc/meminfo: memFree=28424748/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=48988 CPUtime=1662.02 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28363 0 0 0 164687 1515 0 0 20 0 1 0 269093635 50163712 11287 33554432000 4194304 10219143 140733250469040 140733250462344 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12247 11287 853 1471 0 10767 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 48988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11002
/proc/meminfo: memFree=28423444/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=48988 CPUtime=1722.02 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28367 0 0 0 170632 1570 0 0 20 0 1 0 269093635 50163712 11291 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12247 11291 853 1471 0 10767 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 48988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11002
/proc/meminfo: memFree=28422300/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49224 CPUtime=1782.01 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28406 0 0 0 176575 1626 0 0 20 0 1 0 269093635 50405376 11330 33554432000 4194304 10219143 140733250469040 140733250462344 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12306 11330 853 1471 0 10826 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 49224
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28790092/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49224 CPUtime=1785.2 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28406 0 0 0 176891 1629 0 0 20 0 1 0 269093635 50405376 11330 33554432000 4194304 10219143 140733250469040 140733250462008 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12306 11330 853 1471 0 10826 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 49224
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784660/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49224 CPUtime=1791.61 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28406 0 0 0 177526 1635 0 0 20 0 1 0 269093635 50405376 11330 33554432000 4194304 10219143 140733250469040 140733250461640 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12306 11330 853 1471 0 10826 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 49224
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784668/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49400 CPUtime=1794.81 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28465 0 0 0 177844 1637 0 0 20 0 1 0 269093635 50585600 11389 33554432000 4194304 10219143 140733250469040 140733250462872 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12350 11389 853 1471 0 10870 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 49400
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784668/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49792 CPUtime=1795.6 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28548 0 0 0 177922 1638 0 0 20 0 1 0 269093635 50987008 11472 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12448 11472 853 1471 0 10968 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (KiB) 49792
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784420/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49792 CPUtime=1796.41 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28549 0 0 0 178002 1639 0 0 20 0 1 0 269093635 50987008 11472 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12448 11472 853 1471 0 10968 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 49792
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784420/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49792 CPUtime=1796.6 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28549 0 0 0 178021 1639 0 0 20 0 1 0 269093635 50987008 11472 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12448 11472 853 1471 0 10968 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 49792
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.84 3/177 11040
/proc/meminfo: memFree=28784420/32873648 swapFree=7104/7104
[pid=10963] ppid=10961 vsize=49792 CPUtime=1796.7 cores=0,2,4,6
/proc/10963/stat : 10963 (scip-2.1.1.4exp) R 10961 10963 9598 0 -1 4202496 28549 0 0 0 178031 1639 0 0 20 0 1 0 269093635 50987008 11472 33554432000 4194304 10219143 140733250469040 140733250462296 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10963/statm: 12448 11472 853 1471 0 10968 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 49792
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1780.36
CPU system time (s): 16.3975
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 50172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.36
system time used= 16.3975
maximum resident set size= 49856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28554
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= 14
involuntary context switches= 2382
runsolver used 2.82757 second user time and 6.99794 second system time
The end