0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3690889-1338017055.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.01 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.03
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 | - |2750k| 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 | - |2764k| 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 | - |2777k| 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 | - |2791k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 3.410000e+02 | 121.03%
1.39/1.42 o 234
1.39/1.42 c y 1.4s| 1 | 0 | 10502 | - |3197k| 0 | 326 | 481 | 579 | 481 | 579 | 0 | 0 | 0 | 1.542762e+02 | 2.340000e+02 | 51.68%
1.79/1.84 c 1.8s| 1 | 0 | 13732 | - |3108k| 0 | 385 | 481 | 579 | 481 | 787 | 208 | 0 | 0 | 1.603920e+02 | 2.340000e+02 | 45.89%
2.49/2.58 c 2.6s| 1 | 0 | 17256 | - |3366k| 0 | 418 | 481 | 579 | 481 | 958 | 379 | 0 | 0 | 1.639263e+02 | 2.340000e+02 | 42.75%
3.19/3.20 c 3.2s| 1 | 0 | 19326 | - |3552k| 0 | 439 | 481 | 579 | 481 |1096 | 517 | 0 | 0 | 1.657674e+02 | 2.340000e+02 | 41.16%
3.89/3.97 c 4.0s| 1 | 0 | 21953 | - |3673k| 0 | 441 | 481 | 579 | 481 |1199 | 620 | 0 | 0 | 1.667508e+02 | 2.340000e+02 | 40.33%
4.49/4.53 c 4.5s| 1 | 0 | 22799 | - |3741k| 0 | 449 | 481 | 579 | 481 |1266 | 687 | 0 | 0 | 1.671931e+02 | 2.340000e+02 | 39.96%
4.89/4.96 c 5.0s| 1 | 0 | 23182 | - |3754k| 0 | 448 | 481 | 579 | 481 |1291 | 712 | 0 | 0 | 1.673479e+02 | 2.340000e+02 | 39.83%
5.40/5.47 c 5.5s| 1 | 0 | 23520 | - |3788k| 0 | 446 | 481 | 579 | 481 |1321 | 742 | 0 | 0 | 1.675577e+02 | 2.340000e+02 | 39.65%
5.89/5.92 c 5.9s| 1 | 0 | 23751 | - |3802k| 0 | 449 | 481 | 579 | 481 |1332 | 753 | 0 | 0 | 1.676159e+02 | 2.340000e+02 | 39.60%
6.28/6.31 c 6.3s| 1 | 0 | 23817 | - |3810k| 0 | 449 | 481 | 579 | 481 |1337 | 758 | 0 | 0 | 1.676330e+02 | 2.340000e+02 | 39.59%
6.59/6.69 c 6.7s| 1 | 0 | 23826 | - |3818k| 0 | 449 | 481 | 579 | 481 |1339 | 760 | 0 | 0 | 1.676335e+02 | 2.340000e+02 | 39.59%
10.38/10.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.38/10.41 c 10.4s| 1 | 2 | 23826 | - |3832k| 0 | 449 | 481 | 579 | 481 |1339 | 760 | 0 | 27 | 1.676335e+02 | 2.340000e+02 | 39.59%
29.18/29.20 o 231
29.18/29.20 c c29.2s| 15 | 16 | 40045 |1158.5 |4567k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.310000e+02 | 37.67%
29.18/29.20 o 227
29.18/29.20 c c29.2s| 15 | 16 | 40114 |1163.4 |4574k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.270000e+02 | 35.28%
29.18/29.23 o 226
29.18/29.23 c c29.2s| 15 | 16 | 40376 |1182.1 |4608k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.260000e+02 | 34.69%
29.18/29.23 o 224
29.18/29.23 c c29.2s| 15 | 16 | 40388 |1183.0 |4610k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.240000e+02 | 33.50%
29.18/29.23 o 223
29.18/29.23 c c29.2s| 15 | 16 | 40389 |1183.1 |4611k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.230000e+02 | 32.90%
29.18/29.23 o 222
29.18/29.23 c c29.2s| 15 | 16 | 40397 |1183.6 |4613k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.220000e+02 | 32.30%
29.18/29.23 o 221
29.18/29.23 c c29.2s| 15 | 16 | 40398 |1183.7 |4614k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.210000e+02 | 31.71%
29.18/29.23 o 220
29.18/29.23 c c29.2s| 15 | 16 | 40413 |1184.8 |4617k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.200000e+02 | 31.11%
29.18/29.24 o 219
29.18/29.24 c c29.2s| 15 | 16 | 40433 |1186.2 |4620k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.190000e+02 | 30.52%
29.18/29.24 o 218
29.18/29.24 c c29.2s| 15 | 16 | 40438 |1186.6 |4624k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.180000e+02 | 29.92%
29.18/29.24 o 217
29.18/29.24 c c29.2s| 15 | 16 | 40439 |1186.6 |4625k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.170000e+02 | 29.32%
29.18/29.25 o 215
29.18/29.25 c b29.3s| 16 | 15 | 40476 |1110.0 |4513k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.677951e+02 | 2.150000e+02 | 28.13%
30.79/30.87 o 214
30.79/30.87 c p30.9s| 27 | 28 | 52520 |1103.6 |4725k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.140000e+02 | 27.41%
30.79/30.87 o 210
30.79/30.87 c p30.9s| 27 | 28 | 52522 |1103.7 |4726k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.100000e+02 | 25.03%
30.79/30.88 o 210
30.79/30.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.79/30.88 c p30.9s| 27 | 28 | 52536 |1104.2 |4728k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.100000e+02 | 25.03%
30.79/30.88 o 209
30.79/30.88 c p30.9s| 27 | 28 | 52577 |1105.8 |4739k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.090000e+02 | 24.44%
30.79/30.88 o 209
30.79/30.88 c p30.9s| 27 | 28 | 52586 |1106.2 |4743k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.090000e+02 | 24.44%
30.79/30.88 o 208
30.79/30.88 c p30.9s| 27 | 28 | 52588 |1106.2 |4745k| 14 | - | 481 | 579 | 481 | 979 | 760 | 0 | 263 | 1.679551e+02 | 2.080000e+02 | 23.84%
49.88/49.98 c 50.0s| 100 | 101 |225009 |2032.2 |4766k| 18 | 395 | 481 | 579 | 481 | 979 | 760 | 0 | 275 | 1.679551e+02 | 2.080000e+02 | 23.84%
53.27/53.35 o 207
53.27/53.35 c p53.4s| 124 | 125 |248098 |1823.3 |4938k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.070000e+02 | 23.25%
53.27/53.36 o 207
53.27/53.36 c p53.4s| 124 | 125 |248124 |1823.6 |4942k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.070000e+02 | 23.25%
53.27/53.36 o 206
53.27/53.36 c p53.4s| 124 | 125 |248133 |1823.6 |4945k| 21 | - | 481 | 579 | 481 | 979 | 760 | 0 | 286 | 1.679551e+02 | 2.060000e+02 | 22.65%
62.58/62.64 c 62.6s| 200 | 201 |310655 |1441.4 |4855k| 26 | 359 | 481 | 579 | 481 | 979 | 760 | 0 | 318 | 1.679960e+02 | 2.060000e+02 | 22.62%
71.27/71.38 o 205
71.27/71.38 c l71.4s| 244 | 245 |377828 |1456.8 |5046k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.050000e+02 | 22.03%
71.27/71.38 o 203
71.27/71.38 c l71.4s| 244 | 245 |377853 |1456.9 |5050k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.030000e+02 | 20.84%
71.27/71.38 o 202
71.27/71.38 c l71.4s| 244 | 245 |377871 |1457.0 |5055k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 328 | 1.679960e+02 | 2.020000e+02 | 20.24%
95.17/95.26 c 95.3s| 300 | 301 |560935 |1796.4 |4929k| 27 | 406 | 481 | 579 | 481 | 979 | 760 | 0 | 356 | 1.681787e+02 | 2.020000e+02 | 20.11%
125.67/125.72 c 126s| 400 | 401 |782613 |1901.7 |4994k| 27 | 385 | 481 | 579 | 481 | 979 | 760 | 0 | 419 | 1.682558e+02 | 2.020000e+02 | 20.06%
128.36/128.42 o 202
128.36/128.42 c p 128s| 409 | 410 |800711 |1904.1 |5154k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 428 | 1.682860e+02 | 2.020000e+02 | 20.03%
128.36/128.46 o 201
128.36/128.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
128.36/128.46 c b 128s| 410 | 411 |800940 |1900.0 |5007k| 27 | 432 | 481 | 579 | 481 | 979 | 760 | 0 | 428 | 1.683344e+02 | 2.010000e+02 | 19.41%
157.36/157.44 c 157s| 500 | 501 | 1022k|2001.0 |5057k| 27 | 415 | 481 | 579 | 481 | 979 | 760 | 0 | 490 | 1.683739e+02 | 2.010000e+02 | 19.38%
178.26/178.35 o 200
178.26/178.35 c p 178s| 589 | 590 | 1186k|1977.5 |5274k| 27 | - | 481 | 579 | 481 | 979 | 760 | 0 | 515 | 1.684027e+02 | 2.000000e+02 | 18.76%
178.35/178.42 o 199
178.35/178.42 c b 178s| 590 | 591 | 1186k|1974.7 |5121k| 27 | 403 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684027e+02 | 1.990000e+02 | 18.17%
180.76/180.87 c 181s| 600 | 601 | 1207k|1976.1 |5121k| 27 | 383 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684027e+02 | 1.990000e+02 | 18.17%
197.86/197.95 c 198s| 700 | 701 | 1346k|1892.0 |5183k| 28 | 378 | 481 | 579 | 481 | 979 | 760 | 0 | 516 | 1.684771e+02 | 1.990000e+02 | 18.12%
215.85/215.99 c 216s| 800 | 801 | 1482k|1825.7 |5249k| 31 | 355 | 481 | 579 | 481 | 979 | 760 | 0 | 545 | 1.685306e+02 | 1.990000e+02 | 18.08%
229.55/229.66 c 230s| 900 | 901 | 1573k|1723.7 |5315k| 31 | 360 | 481 | 579 | 481 | 979 | 760 | 0 | 613 | 1.685608e+02 | 1.990000e+02 | 18.06%
244.05/244.16 c 244s| 1000 | 1001 | 1685k|1663.0 |5382k| 31 | 348 | 481 | 579 | 481 | 979 | 760 | 0 | 637 | 1.685987e+02 | 1.990000e+02 | 18.03%
256.15/256.22 c 256s| 1100 | 1101 | 1779k|1597.5 |5450k| 31 | 395 | 481 | 579 | 481 | 979 | 760 | 0 | 639 | 1.686113e+02 | 1.990000e+02 | 18.02%
269.25/269.30 c 269s| 1200 | 1201 | 1869k|1539.6 |5520k| 34 | 318 | 481 | 579 | 481 | 979 | 760 | 0 | 681 | 1.686412e+02 | 1.990000e+02 | 18.00%
276.15/276.22 c 276s| 1300 | 1301 | 1923k|1462.5 |5591k| 60 | 236 | 481 | 579 | 481 | 979 | 760 | 0 | 714 | 1.686474e+02 | 1.990000e+02 | 18.00%
280.04/280.18 c 280s| 1400 | 1401 | 1951k|1378.2 |5664k| 76 | 219 | 481 | 579 | 481 | 979 | 760 | 0 | 752 | 1.686569e+02 | 1.990000e+02 | 17.99%
282.94/283.02 c 283s| 1500 | 1501 | 1972k|1300.2 |5741k| 105 | 166 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686596e+02 | 1.990000e+02 | 17.99%
285.34/285.46 c 285s| 1600 | 1601 | 1994k|1232.2 |5821k| 108 | 156 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686620e+02 | 1.990000e+02 | 17.99%
287.35/287.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
287.35/287.49 c 287s| 1700 | 1701 | 2010k|1169.3 |5899k| 108 | 152 | 481 | 579 | 481 | 979 | 760 | 0 | 766 | 1.686624e+02 | 1.990000e+02 | 17.99%
289.94/290.02 c 290s| 1800 | 1801 | 2032k|1116.7 |5981k| 112 | 136 | 481 | 582 | 481 | 979 | 760 | 3 | 766 | 1.686681e+02 | 1.990000e+02 | 17.98%
290.44/290.59 c 291s| 1900 | 1901 | 2038k|1060.9 |6061k| 115 | 137 | 481 | 582 | 481 | 979 | 760 | 3 | 768 | 1.686681e+02 | 1.990000e+02 | 17.98%
290.94/291.09 c 291s| 2000 | 1989 | 2043k|1010.3 |6135k| 123 | - | 481 | 582 | 481 | 979 | 760 | 3 | 768 | 1.686681e+02 | 1.990000e+02 | 17.98%
293.24/293.37 c 293s| 2100 | 2051 | 2061k| 971.0 |6185k| 132 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 772 | 1.686698e+02 | 1.990000e+02 | 17.98%
296.64/296.74 c 297s| 2200 | 2095 | 2087k| 938.3 |6227k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686790e+02 | 1.990000e+02 | 17.98%
298.64/298.76 c 299s| 2300 | 2131 | 2103k| 904.7 |6261k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
298.94/299.00 c 299s| 2400 | 2165 | 2106k| 868.0 |6294k| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
299.15/299.25 c 299s| 2500 | 2183 | 2108k| 834.3 |6317k| 140 | 102 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686799e+02 | 1.990000e+02 | 17.97%
302.44/302.55 c 303s| 2600 | 2233 | 2134k| 812.0 |6364k| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 | 773 | 1.686948e+02 | 1.990000e+02 | 17.96%
307.54/307.64 c 308s| 2700 | 2289 | 2162k| 792.4 |6411k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687067e+02 | 1.990000e+02 | 17.96%
307.73/307.87 c 308s| 2800 | 2303 | 2164k| 764.9 |6427k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687067e+02 | 1.990000e+02 | 17.96%
311.93/312.00 c 312s| 2900 | 2359 | 2197k| 749.9 |6470k| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 | 813 | 1.687149e+02 | 1.990000e+02 | 17.95%
316.74/316.86 c 317s| 3000 | 2419 | 2226k| 734.4 |6517k| 140 | 384 | 481 | 582 | 481 | 979 | 760 | 3 | 850 | 1.687346e+02 | 1.990000e+02 | 17.94%
318.44/318.50 c 319s| 3100 | 2449 | 2240k| 715.3 |6545k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 850 | 1.687346e+02 | 1.990000e+02 | 17.94%
320.33/320.49 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.49 c 320s| 3200 | 2481 | 2254k| 697.2 |6574k| 140 | 132 | 481 | 582 | 481 | 979 | 760 | 3 | 861 | 1.687442e+02 | 1.990000e+02 | 17.93%
320.64/320.71 c 321s| 3300 | 2499 | 2256k| 676.8 |6592k| 140 | 115 | 481 | 582 | 481 | 979 | 760 | 3 | 861 | 1.687442e+02 | 1.990000e+02 | 17.93%
321.04/321.19 c 321s| 3400 | 2541 | 2260k| 657.9 |6630k| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 | 877 | 1.687442e+02 | 1.990000e+02 | 17.93%
323.04/323.14 c 323s| 3500 | 2575 | 2272k| 642.6 |6662k| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 | 888 | 1.687478e+02 | 1.990000e+02 | 17.93%
325.33/325.45 c 325s| 3600 | 2603 | 2290k| 629.7 |6694k| 140 | 103 | 481 | 582 | 481 | 979 | 760 | 3 | 894 | 1.687540e+02 | 1.990000e+02 | 17.92%
329.63/329.78 c 330s| 3700 | 2669 | 2323k| 621.7 |6743k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 | 899 | 1.687604e+02 | 1.990000e+02 | 17.92%
332.44/332.59 c 333s| 3800 | 2709 | 2344k| 611.0 |6782k| 140 | 134 | 481 | 582 | 481 | 979 | 760 | 3 | 900 | 1.687687e+02 | 1.990000e+02 | 17.91%
334.44/334.58 c 335s| 3900 | 2727 | 2361k| 599.5 |6801k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 900 | 1.687687e+02 | 1.990000e+02 | 17.91%
338.33/338.43 c 338s| 4000 | 2763 | 2392k| 592.2 |6833k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687755e+02 | 1.990000e+02 | 17.91%
340.24/340.35 c 340s| 4100 | 2801 | 2407k| 581.5 |6864k| 140 | 107 | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687899e+02 | 1.990000e+02 | 17.90%
342.64/342.74 c 343s| 4200 | 2835 | 2425k| 572.1 |6893k| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 | 901 | 1.687994e+02 | 1.990000e+02 | 17.89%
349.53/349.69 c 350s| 4300 | 2897 | 2482k| 572.0 |6939k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 | 902 | 1.688038e+02 | 1.990000e+02 | 17.89%
355.44/355.55 c 356s| 4400 | 2943 | 2521k| 567.7 |6973k| 140 | 137 | 481 | 582 | 481 | 979 | 760 | 3 | 929 | 1.688134e+02 | 1.990000e+02 | 17.88%
360.64/360.78 c 361s| 4500 | 3003 | 2560k| 563.7 |7020k| 140 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 938 | 1.688143e+02 | 1.990000e+02 | 17.88%
364.53/364.68 c 365s| 4600 | 3079 | 2585k| 557.0 |7077k| 140 | 116 | 481 | 582 | 481 | 979 | 760 | 3 | 960 | 1.688190e+02 | 1.990000e+02 | 17.88%
364.93/365.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
364.93/365.00 c 365s| 4700 | 3111 | 2588k| 545.8 |7104k| 140 | 168 | 481 | 582 | 481 | 979 | 760 | 3 | 960 | 1.688190e+02 | 1.990000e+02 | 17.88%
367.43/367.56 c 368s| 4800 | 3173 | 2607k| 538.4 |7154k| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 | 971 | 1.688190e+02 | 1.990000e+02 | 17.88%
369.73/369.89 c 370s| 4900 | 3219 | 2621k| 530.3 |7191k| 140 | 173 | 481 | 582 | 481 | 979 | 760 | 3 | 997 | 1.688206e+02 | 1.990000e+02 | 17.88%
373.84/373.97 c 374s| 5000 | 3291 | 2651k| 525.7 |7249k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1012 | 1.688259e+02 | 1.990000e+02 | 17.87%
377.24/377.32 c 377s| 5100 | 3355 | 2676k| 520.3 |7298k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1019 | 1.688296e+02 | 1.990000e+02 | 17.87%
379.23/379.36 c 379s| 5200 | 3433 | 2694k| 513.7 |7352k| 140 | 155 | 481 | 582 | 481 | 979 | 760 | 3 |1019 | 1.688299e+02 | 1.990000e+02 | 17.87%
381.32/381.49 c 381s| 5300 | 3507 | 2712k| 507.3 |7406k| 140 | 142 | 481 | 582 | 481 | 979 | 760 | 3 |1020 | 1.688300e+02 | 1.990000e+02 | 17.87%
381.72/381.85 c 382s| 5400 | 3553 | 2715k| 498.6 |7446k| 140 | 122 | 481 | 582 | 481 | 979 | 760 | 3 |1021 | 1.688300e+02 | 1.990000e+02 | 17.87%
382.63/382.76 c 383s| 5500 | 3615 | 2723k| 490.9 |7492k| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688317e+02 | 1.990000e+02 | 17.87%
388.83/388.94 c 389s| 5600 | 3689 | 2772k| 490.8 |7549k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688390e+02 | 1.990000e+02 | 17.86%
392.63/392.77 c 393s| 5700 | 3737 | 2803k| 487.7 |7584k| 140 | 117 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688528e+02 | 1.990000e+02 | 17.85%
392.93/393.06 c 393s| 5800 | 3779 | 2806k| 479.8 |7618k| 140 | 121 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688528e+02 | 1.990000e+02 | 17.85%
396.12/396.26 c 396s| 5900 | 3845 | 2831k| 475.9 |7672k| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1023 | 1.688571e+02 | 1.990000e+02 | 17.85%
399.92/400.05 c 400s| 6000 | 3899 | 2861k| 473.0 |7717k| 140 | 158 | 481 | 582 | 481 | 979 | 760 | 3 |1041 | 1.688583e+02 | 1.990000e+02 | 17.85%
404.53/404.61 c 405s| 6100 | 3985 | 2889k| 469.8 |7785k| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1082 | 1.688598e+02 | 1.990000e+02 | 17.85%
411.82/411.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.82/411.94 c 412s| 6200 | 4069 | 2936k| 469.9 |7850k| 140 | 384 | 481 | 582 | 481 | 979 | 760 | 3 |1123 | 1.688623e+02 | 1.990000e+02 | 17.85%
415.72/415.85 c 416s| 6300 | 4121 | 2968k| 467.5 |7890k| 140 | 162 | 481 | 582 | 481 | 979 | 760 | 3 |1123 | 1.688632e+02 | 1.990000e+02 | 17.85%
420.23/420.39 c 420s| 6400 | 4205 | 3001k| 465.4 |7956k| 140 | 377 | 481 | 582 | 481 | 979 | 760 | 3 |1138 | 1.688712e+02 | 1.990000e+02 | 17.84%
424.12/424.21 c 424s| 6500 | 4271 | 3031k| 462.7 |8008k| 140 | 375 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688719e+02 | 1.990000e+02 | 17.84%
427.42/427.54 c 428s| 6600 | 4341 | 3056k| 459.6 |8062k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688753e+02 | 1.990000e+02 | 17.84%
428.02/428.15 c 428s| 6700 | 4413 | 3061k| 453.5 |8126k| 140 | 138 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688753e+02 | 1.990000e+02 | 17.84%
431.82/431.99 c 432s| 6800 | 4475 | 3093k| 451.5 |8174k| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688837e+02 | 1.990000e+02 | 17.83%
435.52/435.64 c 436s| 6900 | 4545 | 3121k| 449.0 |8232k| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688891e+02 | 1.990000e+02 | 17.83%
439.62/439.79 c 440s| 7000 | 4615 | 3155k| 447.5 |8287k| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.688925e+02 | 1.990000e+02 | 17.83%
453.71/453.85 c 454s| 7100 | 4695 | 3292k| 460.4 |8349k| 140 | 158 | 481 | 582 | 481 | 979 | 760 | 3 |1143 | 1.689060e+02 | 1.990000e+02 | 17.82%
454.81/454.97 c 455s| 7200 | 4729 | 3298k| 454.9 |8378k| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1155 | 1.689099e+02 | 1.990000e+02 | 17.81%
456.32/456.41 c 456s| 7300 | 4785 | 3310k| 450.3 |8425k| 140 | 154 | 481 | 582 | 481 | 979 | 760 | 3 |1155 | 1.689099e+02 | 1.990000e+02 | 17.81%
456.61/456.71 c 457s| 7400 | 4833 | 3313k| 444.6 |8463k| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1156 | 1.689099e+02 | 1.990000e+02 | 17.81%
460.91/461.07 c 461s| 7500 | 4907 | 3343k| 442.7 |8528k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1176 | 1.689134e+02 | 1.990000e+02 | 17.81%
464.02/464.19 c 464s| 7600 | 4973 | 3363k| 439.5 |8573k| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 |1212 | 1.689175e+02 | 1.990000e+02 | 17.81%
469.71/469.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
469.71/469.88 c 470s| 7700 | 5039 | 3402k| 438.8 |8624k| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1234 | 1.689256e+02 | 1.990000e+02 | 17.80%
473.51/473.67 c 474s| 7800 | 5101 | 3433k| 437.2 |8672k| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1235 | 1.689299e+02 | 1.990000e+02 | 17.80%
477.32/477.41 c 477s| 7900 | 5177 | 3457k| 434.7 |8730k| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1256 | 1.689352e+02 | 1.990000e+02 | 17.80%
480.91/481.04 c 481s| 8000 | 5241 | 3485k| 432.8 |8783k| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 |1269 | 1.689367e+02 | 1.990000e+02 | 17.80%
481.31/481.42 c 481s| 8100 | 5291 | 3488k| 427.8 |8830k| 140 | 91 | 481 | 582 | 481 | 979 | 760 | 3 |1273 | 1.689367e+02 | 1.990000e+02 | 17.80%
485.12/485.24 c 485s| 8200 | 5355 | 3517k| 426.1 |8873k| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689389e+02 | 1.990000e+02 | 17.79%
486.61/486.73 c 487s| 8300 | 5395 | 3530k| 422.5 |8908k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689389e+02 | 1.990000e+02 | 17.79%
488.61/488.74 c 489s| 8400 | 5455 | 3547k| 419.5 |8961k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1280 | 1.689405e+02 | 1.990000e+02 | 17.79%
490.61/490.72 c 491s| 8500 | 5537 | 3562k| 416.4 |9019k| 140 | 129 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689440e+02 | 1.990000e+02 | 17.79%
494.11/494.24 c 494s| 8600 | 5605 | 3591k| 414.9 |9073k| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689458e+02 | 1.990000e+02 | 17.79%
496.31/496.45 c 496s| 8700 | 5661 | 3610k| 412.3 |9123k| 140 | 165 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689510e+02 | 1.990000e+02 | 17.79%
498.22/498.36 c 498s| 8800 | 5747 | 3625k| 409.4 |9193k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689510e+02 | 1.990000e+02 | 17.79%
499.32/499.49 c 499s| 8900 | 5811 | 3635k| 405.8 |9245k| 140 | 131 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689558e+02 | 1.990000e+02 | 17.78%
503.41/503.52 c 504s| 9000 | 5875 | 3667k| 404.9 |9295k| 140 | 135 | 481 | 582 | 481 | 979 | 760 | 3 |1281 | 1.689587e+02 | 1.990000e+02 | 17.78%
506.11/506.22 c 506s| 9100 | 5931 | 3688k| 402.7 |9342k| 140 | 103 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689669e+02 | 1.990000e+02 | 17.77%
510.40/510.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
510.40/510.58 c 511s| 9200 | 5983 | 3722k| 402.1 |9383k| 140 | 155 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689726e+02 | 1.990000e+02 | 17.77%
515.30/515.49 c 515s| 9300 | 6041 | 3761k| 401.9 |9428k| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689778e+02 | 1.990000e+02 | 17.77%
515.71/515.83 c 516s| 9400 | 6097 | 3764k| 398.0 |9476k| 140 | 146 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689778e+02 | 1.990000e+02 | 17.77%
517.61/517.74 c 518s| 9500 | 6173 | 3780k| 395.5 |9540k| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689800e+02 | 1.990000e+02 | 17.77%
519.31/519.43 c 519s| 9600 | 6245 | 3794k| 392.8 |9596k| 140 | 153 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689806e+02 | 1.990000e+02 | 17.76%
521.10/521.21 c 521s| 9700 | 6289 | 3808k| 390.2 |9635k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689809e+02 | 1.990000e+02 | 17.76%
523.81/523.97 c 524s| 9800 | 6339 | 3830k| 388.5 |9678k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689843e+02 | 1.990000e+02 | 17.76%
526.01/526.18 c 526s| 9900 | 6407 | 3847k| 386.3 |9733k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689886e+02 | 1.990000e+02 | 17.76%
528.31/528.46 c 528s| 10000 | 6473 | 3865k| 384.2 |9777k| 140 | 127 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689941e+02 | 1.990000e+02 | 17.76%
530.80/530.95 c 531s| 10100 | 6539 | 3885k| 382.3 |9827k| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1283 | 1.689944e+02 | 1.990000e+02 | 17.76%
534.41/534.60 c 535s| 10200 | 6609 | 3914k| 381.4 |9880k| 140 | 139 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.689985e+02 | 1.990000e+02 | 17.75%
538.81/538.92 c 539s| 10300 | 6687 | 3948k| 381.1 |9941k| 140 | 143 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690041e+02 | 1.990000e+02 | 17.75%
542.41/542.51 c 543s| 10400 | 6743 | 3977k| 380.2 |9985k| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690069e+02 | 1.990000e+02 | 17.75%
545.80/545.94 c 546s| 10500 | 6799 | 4004k| 379.2 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690081e+02 | 1.990000e+02 | 17.75%
547.30/547.46 c 547s| 10600 | 6875 | 4016k| 376.7 | 10M| 140 | 127 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
547.71/547.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.71/547.81 c 548s| 10700 | 6927 | 4020k| 373.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
548.10/548.24 c 548s| 10800 | 6991 | 4024k| 370.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690090e+02 | 1.990000e+02 | 17.75%
551.30/551.42 c 551s| 10900 | 7049 | 4049k| 369.4 | 10M| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
551.70/551.82 c 552s| 11000 | 7105 | 4054k| 366.4 | 10M| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
552.00/552.18 c 552s| 11100 | 7163 | 4057k| 363.4 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690099e+02 | 1.990000e+02 | 17.74%
554.60/554.75 c 555s| 11200 | 7225 | 4078k| 362.1 | 10M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690118e+02 | 1.990000e+02 | 17.74%
558.70/558.89 c 559s| 11300 | 7287 | 4111k| 361.8 | 10M| 140 | 399 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690191e+02 | 1.990000e+02 | 17.74%
564.30/564.47 c 564s| 11400 | 7351 | 4156k| 362.5 | 10M| 140 | 140 | 481 | 582 | 481 | 979 | 760 | 3 |1286 | 1.690201e+02 | 1.990000e+02 | 17.74%
570.10/570.24 c 570s| 11500 | 7415 | 4197k| 363.0 | 10M| 140 | 117 | 481 | 582 | 481 | 979 | 760 | 3 |1298 | 1.690240e+02 | 1.990000e+02 | 17.73%
573.10/573.29 c 573s| 11600 | 7475 | 4218k| 361.6 | 10M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1326 | 1.690267e+02 | 1.990000e+02 | 17.73%
575.79/575.91 c 576s| 11700 | 7539 | 4238k| 360.2 | 10M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1336 | 1.690347e+02 | 1.990000e+02 | 17.73%
576.09/576.23 c 576s| 11800 | 7587 | 4241k| 357.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1336 | 1.690347e+02 | 1.990000e+02 | 17.73%
578.70/578.82 c 579s| 11900 | 7655 | 4256k| 355.7 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1362 | 1.690362e+02 | 1.990000e+02 | 17.73%
582.09/582.27 c 582s| 12000 | 7713 | 4283k| 355.0 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1366 | 1.690367e+02 | 1.990000e+02 | 17.73%
584.40/584.56 c 585s| 12100 | 7775 | 4300k| 353.5 | 10M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1372 | 1.690381e+02 | 1.990000e+02 | 17.72%
585.30/585.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.30/585.48 c 585s| 12200 | 7809 | 4307k| 351.2 | 10M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1373 | 1.690383e+02 | 1.990000e+02 | 17.72%
587.49/587.62 c 588s| 12300 | 7857 | 4324k| 349.7 | 10M| 140 | 379 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690422e+02 | 1.990000e+02 | 17.72%
590.20/590.36 c 590s| 12400 | 7885 | 4346k| 348.7 | 10M| 140 | 118 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690440e+02 | 1.990000e+02 | 17.72%
593.90/594.07 c 594s| 12500 | 7933 | 4375k| 348.1 | 10M| 140 | 125 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690533e+02 | 1.990000e+02 | 17.71%
596.10/596.22 c 596s| 12600 | 7961 | 4392k| 346.8 | 11M| 140 | 129 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690551e+02 | 1.990000e+02 | 17.71%
599.79/599.96 c 600s| 12700 | 8009 | 4423k| 346.4 | 11M| 140 | 395 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690589e+02 | 1.990000e+02 | 17.71%
603.39/603.54 c 604s| 12800 | 8071 | 4451k| 346.0 | 11M| 140 | 152 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690615e+02 | 1.990000e+02 | 17.71%
604.10/604.24 c 604s| 12900 | 8117 | 4457k| 343.7 | 11M| 140 | 394 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690647e+02 | 1.990000e+02 | 17.71%
604.59/604.79 c 605s| 13000 | 8165 | 4462k| 341.5 | 11M| 140 | 148 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690647e+02 | 1.990000e+02 | 17.71%
607.30/607.45 c 607s| 13100 | 8205 | 4484k| 340.5 | 11M| 140 | 382 | 481 | 582 | 481 | 979 | 760 | 3 |1374 | 1.690658e+02 | 1.990000e+02 | 17.71%
610.99/611.11 c 611s| 13200 | 8273 | 4509k| 339.9 | 11M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1386 | 1.690685e+02 | 1.990000e+02 | 17.70%
613.19/613.32 c 613s| 13300 | 8343 | 4526k| 338.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1386 | 1.690724e+02 | 1.990000e+02 | 17.70%
616.20/616.39 c 616s| 13400 | 8399 | 4547k| 337.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1399 | 1.690728e+02 | 1.990000e+02 | 17.70%
621.69/621.82 c 622s| 13500 | 8447 | 4585k| 337.9 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1451 | 1.690742e+02 | 1.990000e+02 | 17.70%
622.19/622.30 c 622s| 13600 | 8523 | 4589k| 335.8 | 11M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1454 | 1.690742e+02 | 1.990000e+02 | 17.70%
622.69/622.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
622.69/622.83 c 623s| 13700 | 8597 | 4595k| 333.7 | 11M| 140 | 109 | 481 | 582 | 481 | 979 | 760 | 3 |1454 | 1.690742e+02 | 1.990000e+02 | 17.70%
623.19/623.35 c 623s| 13800 | 8645 | 4599k| 331.6 | 11M| 140 | 136 | 481 | 582 | 481 | 979 | 760 | 3 |1467 | 1.690742e+02 | 1.990000e+02 | 17.70%
623.59/623.71 c 624s| 13900 | 8683 | 4603k| 329.5 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1467 | 1.690742e+02 | 1.990000e+02 | 17.70%
623.89/624.07 c 624s| 14000 | 8705 | 4606k| 327.3 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1475 | 1.690742e+02 | 1.990000e+02 | 17.70%
628.09/628.26 c 628s| 14100 | 8751 | 4633k| 327.0 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1501 | 1.690755e+02 | 1.990000e+02 | 17.70%
629.79/629.90 c 630s| 14200 | 8795 | 4646k| 325.6 | 11M| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 |1501 | 1.690794e+02 | 1.990000e+02 | 17.70%
632.19/632.34 c 632s| 14300 | 8857 | 4664k| 324.6 | 11M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1507 | 1.690829e+02 | 1.990000e+02 | 17.69%
634.28/634.48 c 634s| 14400 | 8895 | 4682k| 323.5 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1511 | 1.690830e+02 | 1.990000e+02 | 17.69%
637.68/637.89 c 638s| 14500 | 8947 | 4707k| 323.1 | 11M| 140 | 107 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690858e+02 | 1.990000e+02 | 17.69%
639.18/639.34 c 639s| 14600 | 8997 | 4718k| 321.6 | 11M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690879e+02 | 1.990000e+02 | 17.69%
641.09/641.25 c 641s| 14700 | 9023 | 4734k| 320.5 | 11M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1513 | 1.690898e+02 | 1.990000e+02 | 17.69%
643.29/643.42 c 643s| 14800 | 9067 | 4753k| 319.6 | 11M| 140 | 106 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690904e+02 | 1.990000e+02 | 17.69%
643.59/643.74 c 644s| 14900 | 9079 | 4756k| 317.6 | 11M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690904e+02 | 1.990000e+02 | 17.69%
648.48/648.67 c 649s| 15000 | 9145 | 4794k| 318.1 | 12M| 140 | 398 | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690974e+02 | 1.990000e+02 | 17.68%
651.79/651.92 c 652s| 15100 | 9195 | 4821k| 317.7 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1513 | 1.690990e+02 | 1.990000e+02 | 17.68%
653.99/654.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.99/654.10 c 654s| 15200 | 9245 | 4837k| 316.7 | 12M| 140 | 95 | 481 | 582 | 481 | 979 | 760 | 3 |1514 | 1.691012e+02 | 1.990000e+02 | 17.68%
658.09/658.23 c 658s| 15300 | 9301 | 4870k| 316.8 | 12M| 140 | 113 | 481 | 582 | 481 | 979 | 760 | 3 |1515 | 1.691031e+02 | 1.990000e+02 | 17.68%
660.28/660.47 c 660s| 15400 | 9343 | 4889k| 316.0 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1517 | 1.691035e+02 | 1.990000e+02 | 17.68%
661.19/661.35 c 661s| 15500 | 9389 | 4896k| 314.4 | 12M| 140 | 135 | 481 | 582 | 481 | 979 | 760 | 3 |1517 | 1.691061e+02 | 1.990000e+02 | 17.68%
665.08/665.23 c 665s| 15600 | 9429 | 4921k| 314.0 | 12M| 140 | 391 | 481 | 582 | 481 | 979 | 760 | 3 |1544 | 1.691101e+02 | 1.990000e+02 | 17.67%
668.19/668.30 c 668s| 15700 | 9467 | 4943k| 313.4 | 12M| 140 | 105 | 481 | 582 | 481 | 979 | 760 | 3 |1554 | 1.691132e+02 | 1.990000e+02 | 17.67%
669.38/669.57 c 670s| 15800 | 9501 | 4950k| 311.8 | 12M| 140 | 367 | 481 | 582 | 481 | 979 | 760 | 3 |1568 | 1.691145e+02 | 1.990000e+02 | 17.67%
671.69/671.84 c 672s| 15900 | 9521 | 4969k| 311.1 | 12M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1568 | 1.691146e+02 | 1.990000e+02 | 17.67%
674.88/675.08 c 675s| 16000 | 9585 | 4991k| 310.5 | 12M| 140 | 128 | 481 | 582 | 481 | 979 | 760 | 3 |1580 | 1.691187e+02 | 1.990000e+02 | 17.67%
675.29/675.42 c 675s| 16100 | 9625 | 4994k| 308.8 | 12M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1580 | 1.691187e+02 | 1.990000e+02 | 17.67%
677.68/677.89 c 678s| 16200 | 9659 | 5012k| 308.0 | 12M| 140 | 138 | 481 | 582 | 481 | 979 | 760 | 3 |1596 | 1.691194e+02 | 1.990000e+02 | 17.67%
680.68/680.82 c 681s| 16300 | 9701 | 5035k| 307.5 | 12M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1596 | 1.691209e+02 | 1.990000e+02 | 17.67%
683.18/683.32 c 683s| 16400 | 9765 | 5052k| 306.7 | 12M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1616 | 1.691211e+02 | 1.990000e+02 | 17.67%
684.78/684.98 c 685s| 16500 | 9807 | 5066k| 305.6 | 12M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1616 | 1.691218e+02 | 1.990000e+02 | 17.67%
687.48/687.66 c 688s| 16600 | 9837 | 5083k| 304.8 | 12M| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 |1638 | 1.691225e+02 | 1.990000e+02 | 17.67%
689.59/689.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
689.59/689.78 c 690s| 16700 | 9871 | 5100k| 304.0 | 12M| 140 | 376 | 481 | 582 | 481 | 979 | 760 | 3 |1638 | 1.691235e+02 | 1.990000e+02 | 17.67%
691.38/691.56 c 692s| 16800 | 9913 | 5113k| 303.0 | 12M| 140 | 112 | 481 | 582 | 481 | 979 | 760 | 3 |1650 | 1.691253e+02 | 1.990000e+02 | 17.66%
693.18/693.36 c 693s| 16900 | 9959 | 5128k| 302.1 | 12M| 140 | 132 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691261e+02 | 1.990000e+02 | 17.66%
695.28/695.41 c 695s| 17000 | 10019 | 5145k| 301.3 | 12M| 140 | 122 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691266e+02 | 1.990000e+02 | 17.66%
697.88/698.02 c 698s| 17100 | 10057 | 5166k| 300.7 | 12M| 140 | 390 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691298e+02 | 1.990000e+02 | 17.66%
700.98/701.10 c 701s| 17200 | 10093 | 5189k| 300.4 | 12M| 140 | 98 | 481 | 582 | 481 | 979 | 760 | 3 |1651 | 1.691310e+02 | 1.990000e+02 | 17.66%
704.68/704.83 c 705s| 17300 | 10139 | 5218k| 300.3 | 12M| 140 | 392 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691328e+02 | 1.990000e+02 | 17.66%
707.48/707.61 c 708s| 17400 | 10187 | 5241k| 299.9 | 12M| 140 | 123 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691337e+02 | 1.990000e+02 | 17.66%
708.18/708.34 c 708s| 17500 | 10221 | 5247k| 298.5 | 12M| 140 | 369 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691338e+02 | 1.990000e+02 | 17.66%
711.37/711.56 c 712s| 17600 | 10251 | 5272k| 298.2 | 13M| 140 | 110 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691345e+02 | 1.990000e+02 | 17.66%
714.57/714.78 c 715s| 17700 | 10305 | 5298k| 298.0 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691366e+02 | 1.990000e+02 | 17.66%
716.67/716.80 c 717s| 17800 | 10335 | 5313k| 297.2 | 13M| 140 | 379 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691377e+02 | 1.990000e+02 | 17.66%
718.67/718.86 c 719s| 17900 | 10365 | 5329k| 296.4 | 13M| 140 | 393 | 481 | 582 | 481 | 979 | 760 | 3 |1653 | 1.691406e+02 | 1.990000e+02 | 17.65%
721.38/721.58 c 722s| 18000 | 10389 | 5347k| 295.8 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1680 | 1.691415e+02 | 1.990000e+02 | 17.65%
724.87/725.01 c 725s| 18100 | 10423 | 5374k| 295.7 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1680 | 1.691422e+02 | 1.990000e+02 | 17.65%
727.68/727.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
727.68/727.89 c 728s| 18200 | 10449 | 5391k| 295.0 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1702 | 1.691423e+02 | 1.990000e+02 | 17.65%
729.97/730.12 c 730s| 18300 | 10477 | 5409k| 294.3 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1703 | 1.691425e+02 | 1.990000e+02 | 17.65%
732.67/732.88 c 733s| 18400 | 10505 | 5429k| 293.8 | 13M| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 |1718 | 1.691453e+02 | 1.990000e+02 | 17.65%
735.57/735.79 c 736s| 18500 | 10551 | 5451k| 293.4 | 13M| 140 | 141 | 481 | 582 | 481 | 979 | 760 | 3 |1719 | 1.691493e+02 | 1.990000e+02 | 17.65%
737.98/738.11 c 738s| 18600 | 10575 | 5465k| 292.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1747 | 1.691493e+02 | 1.990000e+02 | 17.65%
741.78/741.97 c 742s| 18700 | 10623 | 5495k| 292.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1747 | 1.691518e+02 | 1.990000e+02 | 17.65%
744.77/744.98 c 745s| 18800 | 10675 | 5516k| 292.2 | 13M| 140 | 370 | 481 | 582 | 481 | 979 | 760 | 3 |1761 | 1.691533e+02 | 1.990000e+02 | 17.64%
746.57/746.73 c 747s| 18900 | 10697 | 5532k| 291.5 | 13M| 140 | 130 | 481 | 582 | 481 | 979 | 760 | 3 |1770 | 1.691533e+02 | 1.990000e+02 | 17.64%
746.87/747.06 c 747s| 19000 | 10717 | 5535k| 290.1 | 13M| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1773 | 1.691533e+02 | 1.990000e+02 | 17.64%
749.17/749.37 c 749s| 19100 | 10761 | 5550k| 289.3 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1787 | 1.691535e+02 | 1.990000e+02 | 17.64%
749.57/749.70 c 750s| 19200 | 10781 | 5553k| 288.0 | 13M| 140 | 126 | 481 | 582 | 481 | 979 | 760 | 3 |1787 | 1.691535e+02 | 1.990000e+02 | 17.64%
754.87/755.07 c 755s| 19300 | 10835 | 5593k| 288.6 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691548e+02 | 1.990000e+02 | 17.64%
757.47/757.61 c 758s| 19400 | 10881 | 5613k| 288.1 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691602e+02 | 1.990000e+02 | 17.64%
757.68/757.84 c 758s| 19500 | 10889 | 5615k| 286.8 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1800 | 1.691602e+02 | 1.990000e+02 | 17.64%
762.56/762.71 c 763s| 19600 | 10925 | 5653k| 287.3 | 13M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1801 | 1.691620e+02 | 1.990000e+02 | 17.64%
763.46/763.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
763.46/763.63 c 764s| 19700 | 10957 | 5661k| 286.2 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691635e+02 | 1.990000e+02 | 17.64%
763.77/763.93 c 764s| 19800 | 10979 | 5664k| 284.9 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691635e+02 | 1.990000e+02 | 17.64%
765.97/766.12 c 766s| 19900 | 11023 | 5681k| 284.3 | 13M| 140 | - | 481 | 582 | 0 | 0 | 760 | 3 |1801 | 1.691648e+02 | 1.990000e+02 | 17.64%
766.27/766.41 c 766s| 20000 | 11043 | 5684k| 283.0 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691648e+02 | 1.990000e+02 | 17.64%
766.97/767.15 c 767s| 20100 | 11067 | 5689k| 281.9 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691676e+02 | 1.990000e+02 | 17.63%
770.37/770.50 c 771s| 20200 | 11115 | 5717k| 281.9 | 13M| 140 | 120 | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691708e+02 | 1.990000e+02 | 17.63%
772.77/772.93 c 773s| 20300 | 11149 | 5737k| 281.5 | 13M| 140 | 395 | 481 | 582 | 481 | 979 | 760 | 3 |1801 | 1.691751e+02 | 1.990000e+02 | 17.63%
776.07/776.20 c 776s| 20400 | 11205 | 5762k| 281.3 | 13M| 140 | 124 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691764e+02 | 1.990000e+02 | 17.63%
778.57/778.76 c 779s| 20500 | 11259 | 5783k| 281.0 | 13M| 140 | 147 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691770e+02 | 1.990000e+02 | 17.63%
781.56/781.77 c 782s| 20600 | 11291 | 5807k| 280.8 | 13M| 140 | 119 | 481 | 582 | 481 | 979 | 760 | 3 |1802 | 1.691784e+02 | 1.990000e+02 | 17.63%
784.47/784.63 c 785s| 20700 | 11321 | 5824k| 280.2 | 13M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691790e+02 | 1.990000e+02 | 17.63%
784.76/784.97 c 785s| 20800 | 11351 | 5827k| 279.0 | 13M| 140 | 115 | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691790e+02 | 1.990000e+02 | 17.63%
788.86/789.08 c 789s| 20900 | 11389 | 5862k| 279.4 | 14M| 140 | - | 481 | 582 | 481 | 979 | 760 | 3 |1824 | 1.691836e+02 | 1.990000e+02 | 17.62%
792.77/792.93 c 793s| 21000 | 11441 | 5888k| 279.3 | 14M| 140 | 389 | 481 | 581 | 481 | 979 | 760 | 3 |1836 | 1.691860e+02 | 1.990000e+02 | 17.62%
793.16/793.39 c 793s| 21100 | 11451 | 5892k| 278.2 | 14M| 140 | 144 | 481 | 581 | 481 | 979 | 760 | 3 |1836 | 1.691860e+02 | 1.990000e+02 | 17.62%
796.96/797.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
796.96/797.10 c 797s| 21200 | 11505 | 5913k| 277.8 | 14M| 140 | 116 | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691892e+02 | 1.990000e+02 | 17.62%
799.57/799.72 c 800s| 21300 | 11547 | 5935k| 277.6 | 14M| 140 | 365 | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691895e+02 | 1.990000e+02 | 17.62%
801.46/801.66 c 802s| 21400 | 11573 | 5951k| 277.0 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1864 | 1.691901e+02 | 1.990000e+02 | 17.62%
803.97/804.14 c 804s| 21500 | 11621 | 5967k| 276.4 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1877 | 1.691931e+02 | 1.990000e+02 | 17.62%
805.36/805.52 c 806s| 21600 | 11679 | 5977k| 275.7 | 14M| 140 | 139 | 481 | 581 | 481 | 979 | 760 | 3 |1877 | 1.691938e+02 | 1.990000e+02 | 17.62%
807.36/807.50 c 808s| 21700 | 11739 | 5991k| 275.0 | 14M| 140 | 98 | 481 | 581 | 481 | 979 | 760 | 3 |1886 | 1.691938e+02 | 1.990000e+02 | 17.62%
811.07/811.27 c 811s| 21800 | 11779 | 6017k| 274.9 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1905 | 1.691947e+02 | 1.990000e+02 | 17.62%
821.26/821.48 c 821s| 21900 | 11809 | 6125k| 278.6 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1905 | 1.691950e+02 | 1.990000e+02 | 17.62%
823.86/824.07 c 824s| 22000 | 11859 | 6143k| 278.2 | 14M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |1914 | 1.691961e+02 | 1.990000e+02 | 17.61%
825.87/826.07 c 826s| 22100 | 11903 | 6159k| 277.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1919 | 1.691978e+02 | 1.990000e+02 | 17.61%
828.46/828.68 c 829s| 22200 | 11943 | 6180k| 277.3 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1925 | 1.691995e+02 | 1.990000e+02 | 17.61%
830.56/830.70 c 831s| 22300 | 11971 | 6195k| 276.8 | 14M| 140 | 392 | 481 | 581 | 481 | 979 | 760 | 3 |1927 | 1.692016e+02 | 1.990000e+02 | 17.61%
834.96/835.18 c 835s| 22400 | 12035 | 6230k| 277.1 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692019e+02 | 1.990000e+02 | 17.61%
836.76/836.93 c 837s| 22500 | 12061 | 6244k| 276.5 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692028e+02 | 1.990000e+02 | 17.61%
838.86/839.04 c 839s| 22600 | 12099 | 6260k| 276.0 | 14M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692033e+02 | 1.990000e+02 | 17.61%
842.66/842.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
842.66/842.84 c 843s| 22700 | 12155 | 6290k| 276.1 | 14M| 140 | 390 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692037e+02 | 1.990000e+02 | 17.61%
847.16/847.38 c 847s| 22800 | 12199 | 6327k| 276.5 | 14M| 140 | 122 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692043e+02 | 1.990000e+02 | 17.61%
848.56/848.73 c 849s| 22900 | 12241 | 6338k| 275.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692048e+02 | 1.990000e+02 | 17.61%
848.96/849.15 c 849s| 23000 | 12269 | 6342k| 274.7 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692048e+02 | 1.990000e+02 | 17.61%
850.86/851.07 c 851s| 23100 | 12311 | 6357k| 274.2 | 14M| 140 | 394 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692052e+02 | 1.990000e+02 | 17.61%
854.56/854.79 c 855s| 23200 | 12361 | 6388k| 274.3 | 14M| 140 | 374 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692054e+02 | 1.990000e+02 | 17.61%
857.46/857.60 c 858s| 23300 | 12425 | 6409k| 274.1 | 14M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692072e+02 | 1.990000e+02 | 17.61%
858.26/858.44 c 858s| 23400 | 12439 | 6415k| 273.2 | 14M| 140 | 392 | 481 | 581 | 481 | 979 | 760 | 3 |1931 | 1.692079e+02 | 1.990000e+02 | 17.61%
860.85/861.00 c 861s| 23500 | 12475 | 6431k| 272.7 | 14M| 140 | 132 | 481 | 581 | 481 | 979 | 760 | 3 |1948 | 1.692087e+02 | 1.990000e+02 | 17.61%
865.85/866.10 c 866s| 23600 | 12533 | 6467k| 273.1 | 14M| 140 | 375 | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692108e+02 | 1.990000e+02 | 17.60%
869.86/870.06 c 870s| 23700 | 12573 | 6499k| 273.2 | 15M| 140 | 134 | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692126e+02 | 1.990000e+02 | 17.60%
873.65/873.89 c 874s| 23800 | 12613 | 6530k| 273.4 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |1969 | 1.692139e+02 | 1.990000e+02 | 17.60%
874.15/874.30 c 874s| 23900 | 12645 | 6533k| 272.4 | 15M| 140 | 110 | 481 | 581 | 481 | 979 | 760 | 3 |1981 | 1.692139e+02 | 1.990000e+02 | 17.60%
877.56/877.72 c 878s| 24000 | 12685 | 6554k| 272.1 | 15M| 140 | 118 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692155e+02 | 1.990000e+02 | 17.60%
877.85/878.04 c 878s| 24100 | 12695 | 6557k| 271.1 | 15M| 140 | 120 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692155e+02 | 1.990000e+02 | 17.60%
879.75/880.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
879.75/880.00 c 880s| 24200 | 12737 | 6573k| 270.7 | 15M| 140 | 102 | 481 | 581 | 481 | 979 | 760 | 3 |2003 | 1.692162e+02 | 1.990000e+02 | 17.60%
881.85/882.02 c 882s| 24300 | 12755 | 6587k| 270.1 | 15M| 140 | 135 | 481 | 581 | 481 | 979 | 760 | 3 |2012 | 1.692162e+02 | 1.990000e+02 | 17.60%
885.05/885.22 c 885s| 24400 | 12793 | 6611k| 270.0 | 15M| 140 | 142 | 481 | 581 | 481 | 979 | 760 | 3 |2024 | 1.692197e+02 | 1.990000e+02 | 17.60%
886.75/886.97 c 887s| 24500 | 12821 | 6624k| 269.4 | 15M| 140 | 121 | 481 | 581 | 481 | 979 | 760 | 3 |2025 | 1.692199e+02 | 1.990000e+02 | 17.60%
888.65/888.88 c 889s| 24600 | 12849 | 6635k| 268.8 | 15M| 140 | 394 | 481 | 581 | 481 | 979 | 760 | 3 |2049 | 1.692224e+02 | 1.990000e+02 | 17.60%
890.35/890.54 c 891s| 24700 | 12885 | 6648k| 268.2 | 15M| 140 | 109 | 481 | 581 | 481 | 979 | 760 | 3 |2049 | 1.692229e+02 | 1.990000e+02 | 17.60%
894.15/894.35 c 894s| 24800 | 12927 | 6675k| 268.2 | 15M| 140 | 384 | 481 | 581 | 481 | 979 | 760 | 3 |2059 | 1.692247e+02 | 1.990000e+02 | 17.60%
896.45/896.60 c 897s| 24900 | 12959 | 6694k| 267.9 | 15M| 140 | 133 | 481 | 581 | 481 | 979 | 760 | 3 |2063 | 1.692256e+02 | 1.990000e+02 | 17.59%
897.36/897.54 c 898s| 25000 | 13001 | 6701k| 267.1 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |2069 | 1.692265e+02 | 1.990000e+02 | 17.59%
900.95/901.13 c 901s| 25100 | 13055 | 6727k| 267.1 | 15M| 140 | - | 481 | 581 | 481 | 979 | 760 | 3 |2076 | 1.692281e+02 | 1.990000e+02 | 17.59%
903.85/904.06 c 904s| 25200 | 13099 | 6751k| 267.0 | 15M| 140 | 388 | 481 | 581 | 481 | 979 | 760 | 3 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
906.65/906.89 c 907s| 25300 | 13131 | 6776k| 266.9 | 15M| 140 | 124 | 481 | 584 | 481 | 979 | 760 | 6 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
907.05/907.20 c 907s| 25400 | 13153 | 6779k| 266.0 | 15M| 140 | 124 | 481 | 584 | 481 | 979 | 760 | 6 |2077 | 1.692290e+02 | 1.990000e+02 | 17.59%
908.95/909.10 c 909s| 25500 | 13173 | 6794k| 265.5 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692293e+02 | 1.990000e+02 | 17.59%
909.55/909.72 c 910s| 25600 | 13199 | 6800k| 264.7 | 15M| 140 | 383 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692294e+02 | 1.990000e+02 | 17.59%
911.25/911.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
911.25/911.44 c 911s| 25700 | 13233 | 6814k| 264.2 | 15M| 140 | 104 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692294e+02 | 1.990000e+02 | 17.59%
913.64/913.89 c 914s| 25800 | 13269 | 6834k| 264.0 | 15M| 140 | 389 | 481 | 584 | 481 | 979 | 760 | 6 |2078 | 1.692325e+02 | 1.990000e+02 | 17.59%
916.34/916.52 c 917s| 25900 | 13311 | 6856k| 263.8 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692325e+02 | 1.990000e+02 | 17.59%
918.35/918.54 c 919s| 26000 | 13339 | 6872k| 263.4 | 15M| 140 | 125 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692332e+02 | 1.990000e+02 | 17.59%
921.44/921.64 c 922s| 26100 | 13367 | 6896k| 263.3 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692335e+02 | 1.990000e+02 | 17.59%
924.85/925.01 c 925s| 26200 | 13415 | 6923k| 263.4 | 15M| 140 | 121 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692347e+02 | 1.990000e+02 | 17.59%
927.15/927.39 c 927s| 26300 | 13445 | 6942k| 263.1 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692350e+02 | 1.990000e+02 | 17.59%
927.54/927.71 c 928s| 26400 | 13453 | 6945k| 262.2 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692350e+02 | 1.990000e+02 | 17.59%
929.94/930.17 c 930s| 26500 | 13493 | 6964k| 261.9 | 15M| 140 | 385 | 481 | 584 | 481 | 979 | 760 | 6 |2080 | 1.692354e+02 | 1.990000e+02 | 17.59%
931.24/931.47 c 931s| 26600 | 13529 | 6971k| 261.2 | 15M| 140 | 376 | 481 | 584 | 481 | 979 | 760 | 6 |2091 | 1.692366e+02 | 1.990000e+02 | 17.59%
935.05/935.26 c 935s| 26700 | 13573 | 7002k| 261.4 | 15M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2091 | 1.692370e+02 | 1.990000e+02 | 17.59%
936.04/936.28 c 936s| 26800 | 13595 | 7009k| 260.7 | 15M| 140 | 96 | 481 | 584 | 481 | 979 | 760 | 6 |2113 | 1.692377e+02 | 1.990000e+02 | 17.59%
938.74/938.99 c 939s| 26900 | 13645 | 7028k| 260.4 | 15M| 140 | 145 | 481 | 584 | 481 | 979 | 760 | 6 |2123 | 1.692409e+02 | 1.990000e+02 | 17.58%
943.04/943.27 c 943s| 27000 | 13699 | 7057k| 260.5 | 16M| 140 | 376 | 481 | 584 | 481 | 979 | 760 | 6 |2143 | 1.692420e+02 | 1.990000e+02 | 17.58%
945.34/945.55 c 946s| 27100 | 13741 | 7075k| 260.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2143 | 1.692425e+02 | 1.990000e+02 | 17.58%
949.64/949.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.64/949.81 c 950s| 27200 | 13789 | 7106k| 260.4 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2154 | 1.692436e+02 | 1.990000e+02 | 17.58%
953.64/953.87 c 954s| 27300 | 13835 | 7133k| 260.4 | 16M| 140 | 99 | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692444e+02 | 1.990000e+02 | 17.58%
956.44/956.64 c 957s| 27400 | 13877 | 7154k| 260.3 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692481e+02 | 1.990000e+02 | 17.58%
958.14/958.35 c 958s| 27500 | 13901 | 7168k| 259.8 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2173 | 1.692482e+02 | 1.990000e+02 | 17.58%
959.34/959.56 c 960s| 27600 | 13917 | 7175k| 259.1 | 16M| 140 | 127 | 481 | 584 | 481 | 979 | 760 | 6 |2185 | 1.692482e+02 | 1.990000e+02 | 17.58%
959.64/959.85 c 960s| 27700 | 13927 | 7178k| 258.3 | 16M| 140 | 116 | 481 | 584 | 481 | 979 | 760 | 6 |2185 | 1.692482e+02 | 1.990000e+02 | 17.58%
963.45/963.69 c 964s| 27800 | 13973 | 7206k| 258.4 | 16M| 140 | 378 | 481 | 584 | 481 | 979 | 760 | 6 |2196 | 1.692490e+02 | 1.990000e+02 | 17.58%
968.44/968.60 c 969s| 27900 | 14023 | 7245k| 258.9 | 16M| 140 | 360 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692495e+02 | 1.990000e+02 | 17.58%
969.44/969.69 c 970s| 28000 | 14053 | 7254k| 258.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692500e+02 | 1.990000e+02 | 17.58%
972.25/972.43 c 972s| 28100 | 14099 | 7275k| 258.1 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692507e+02 | 1.990000e+02 | 17.58%
976.93/977.17 c 977s| 28200 | 14155 | 7313k| 258.5 | 16M| 140 | 119 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692525e+02 | 1.990000e+02 | 17.58%
979.64/979.86 c 980s| 28300 | 14209 | 7333k| 258.3 | 16M| 140 | 112 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692535e+02 | 1.990000e+02 | 17.58%
980.44/980.61 c 981s| 28400 | 14241 | 7339k| 257.6 | 16M| 140 | 372 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692537e+02 | 1.990000e+02 | 17.58%
984.93/985.15 c 985s| 28500 | 14303 | 7376k| 258.0 | 16M| 140 | 368 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692564e+02 | 1.990000e+02 | 17.57%
987.13/987.38 c 987s| 28600 | 14367 | 7393k| 257.7 | 16M| 140 | 123 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692568e+02 | 1.990000e+02 | 17.57%
990.74/990.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
990.74/990.96 c 991s| 28700 | 14423 | 7423k| 257.8 | 16M| 140 | 120 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692579e+02 | 1.990000e+02 | 17.57%
992.23/992.40 c 992s| 28800 | 14441 | 7435k| 257.3 | 16M| 140 | 130 | 481 | 584 | 481 | 979 | 760 | 6 |2201 | 1.692584e+02 | 1.990000e+02 | 17.57%
997.04/997.27 c 997s| 28900 | 14495 | 7474k| 257.8 | 16M| 140 | - | 481 | 584 | 0 | 0 | 760 | 6 |2201 | 1.692592e+02 | 1.990000e+02 | 17.57%
1000.13/1000.37 c 1000s| 29000 | 14547 | 7495k| 257.6 | 16M| 140 | 110 | 481 | 584 | 481 | 979 | 760 | 6 |2211 | 1.692600e+02 | 1.990000e+02 | 17.57%
1000.44/1000.64 c 1001s| 29100 | 14555 | 7497k| 256.8 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2211 | 1.692600e+02 | 1.990000e+02 | 17.57%
1003.53/1003.70 c 1004s| 29200 | 14579 | 7513k| 256.5 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692600e+02 | 1.990000e+02 | 17.57%
1005.53/1005.72 c 1006s| 29300 | 14611 | 7531k| 256.2 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692608e+02 | 1.990000e+02 | 17.57%
1009.13/1009.33 c 1009s| 29400 | 14671 | 7558k| 256.3 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2245 | 1.692636e+02 | 1.990000e+02 | 17.57%
1013.43/1013.60 c 1014s| 29500 | 14727 | 7588k| 256.5 | 16M| 140 | 387 | 481 | 584 | 481 | 979 | 760 | 6 |2255 | 1.692681e+02 | 1.990000e+02 | 17.56%
1015.04/1015.21 c 1015s| 29600 | 14777 | 7603k| 256.1 | 16M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2255 | 1.692681e+02 | 1.990000e+02 | 17.56%
1015.93/1016.15 c 1016s| 29700 | 14809 | 7610k| 255.5 | 16M| 140 | 105 | 481 | 584 | 481 | 979 | 760 | 6 |2256 | 1.692681e+02 | 1.990000e+02 | 17.56%
1016.73/1016.91 c 1017s| 29800 | 14823 | 7615k| 254.8 | 17M| 140 | 366 | 481 | 584 | 481 | 979 | 760 | 6 |2267 | 1.692682e+02 | 1.990000e+02 | 17.56%
1021.53/1021.74 c 1022s| 29900 | 14869 | 7648k| 255.0 | 17M| 140 | 121 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692720e+02 | 1.990000e+02 | 17.56%
1021.83/1022.04 c 1022s| 30000 | 14885 | 7651k| 254.3 | 17M| 140 | 125 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692720e+02 | 1.990000e+02 | 17.56%
1022.63/1022.87 c 1023s| 30100 | 14911 | 7657k| 253.6 | 17M| 140 | 123 | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692723e+02 | 1.990000e+02 | 17.56%
1022.93/1023.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1022.93/1023.19 c 1023s| 30200 | 14917 | 7661k| 252.9 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2290 | 1.692723e+02 | 1.990000e+02 | 17.56%
1025.93/1026.10 c 1026s| 30300 | 14955 | 7681k| 252.7 | 17M| 140 | 113 | 481 | 584 | 481 | 979 | 760 | 6 |2304 | 1.692735e+02 | 1.990000e+02 | 17.56%
1028.13/1028.40 c 1028s| 30400 | 14985 | 7699k| 252.5 | 17M| 140 | 379 | 481 | 584 | 481 | 979 | 760 | 6 |2304 | 1.692737e+02 | 1.990000e+02 | 17.56%
1030.53/1030.77 c 1031s| 30500 | 15033 | 7715k| 252.2 | 17M| 140 | 370 | 481 | 584 | 481 | 979 | 760 | 6 |2318 | 1.692744e+02 | 1.990000e+02 | 17.56%
1033.53/1033.74 c 1034s| 30600 | 15097 | 7740k| 252.2 | 17M| 140 | 146 | 481 | 584 | 481 | 979 | 760 | 6 |2319 | 1.692745e+02 | 1.990000e+02 | 17.56%
1035.83/1036.06 c 1036s| 30700 | 15145 | 7758k| 251.9 | 17M| 140 | 365 | 481 | 584 | 481 | 979 | 760 | 6 |2321 | 1.692756e+02 | 1.990000e+02 | 17.56%
1038.23/1038.46 c 1038s| 30800 | 15189 | 7778k| 251.8 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692757e+02 | 1.990000e+02 | 17.56%
1041.03/1041.27 c 1041s| 30900 | 15247 | 7800k| 251.7 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692780e+02 | 1.990000e+02 | 17.56%
1041.44/1041.63 c 1042s| 31000 | 15297 | 7804k| 251.0 | 17M| 140 | 132 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692780e+02 | 1.990000e+02 | 17.56%
1042.22/1042.49 c 1042s| 31100 | 15341 | 7811k| 250.4 | 17M| 140 | 387 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692793e+02 | 1.990000e+02 | 17.56%
1043.53/1043.73 c 1044s| 31200 | 15379 | 7822k| 250.0 | 17M| 140 | 120 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692793e+02 | 1.990000e+02 | 17.56%
1045.63/1045.87 c 1046s| 31300 | 15417 | 7840k| 249.7 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692817e+02 | 1.990000e+02 | 17.56%
1047.83/1048.09 c 1048s| 31400 | 15449 | 7857k| 249.5 | 17M| 140 | 122 | 481 | 584 | 481 | 979 | 760 | 6 |2322 | 1.692830e+02 | 1.990000e+02 | 17.55%
1050.82/1051.01 c 1051s| 31500 | 15493 | 7880k| 249.4 | 17M| 140 | 140 | 481 | 584 | 481 | 979 | 760 | 6 |2323 | 1.692848e+02 | 1.990000e+02 | 17.55%
1054.22/1054.43 c 1054s| 31600 | 15551 | 7909k| 249.5 | 17M| 140 | - | 481 | 584 | 481 | 979 | 760 | 6 |2323 | 1.692856e+02 | 1.990000e+02 | 17.55%
1056.73/1056.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1056.73/1056.91 c 1057s| 31700 | 15591 | 7930k| 249.4 | 17M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2323 | 1.692858e+02 | 1.990000e+02 | 17.55%
1056.93/1057.19 c 1057s| 31800 | 15631 | 7933k| 248.7 | 17M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2323 | 1.692858e+02 | 1.990000e+02 | 17.55%
1059.32/1059.59 c 1060s| 31900 | 15661 | 7951k| 248.5 | 17M| 140 | 166 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692861e+02 | 1.990000e+02 | 17.55%
1059.72/1059.91 c 1060s| 32000 | 15683 | 7955k| 247.9 | 17M| 140 | 131 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692861e+02 | 1.990000e+02 | 17.55%
1062.93/1063.13 c 1063s| 32100 | 15727 | 7981k| 247.9 | 17M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692867e+02 | 1.990000e+02 | 17.55%
1065.02/1065.21 c 1065s| 32200 | 15805 | 7997k| 247.6 | 17M| 140 | 138 | 481 | 591 | 481 | 979 | 760 | 13 |2324 | 1.692869e+02 | 1.990000e+02 | 17.55%
1066.82/1067.01 c 1067s| 32300 | 15843 | 8008k| 247.2 | 17M| 140 | 373 | 481 | 591 | 481 | 979 | 760 | 13 |2335 | 1.692884e+02 | 1.990000e+02 | 17.55%
1070.03/1070.27 c 1070s| 32400 | 15905 | 8030k| 247.1 | 17M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2347 | 1.692900e+02 | 1.990000e+02 | 17.55%
1077.73/1077.98 c 1078s| 32500 | 15983 | 8088k| 248.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2358 | 1.692942e+02 | 1.990000e+02 | 17.55%
1079.32/1079.58 c 1080s| 32600 | 16007 | 8098k| 247.7 | 18M| 140 | 384 | 481 | 591 | 481 | 979 | 760 | 13 |2367 | 1.692952e+02 | 1.990000e+02 | 17.55%
1082.92/1083.10 c 1083s| 32700 | 16049 | 8126k| 247.8 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2367 | 1.692960e+02 | 1.990000e+02 | 17.55%
1087.52/1087.79 c 1088s| 32800 | 16097 | 8159k| 248.0 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2381 | 1.692965e+02 | 1.990000e+02 | 17.55%
1089.31/1089.54 c 1090s| 32900 | 16137 | 8173k| 247.7 | 18M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2382 | 1.692975e+02 | 1.990000e+02 | 17.54%
1090.62/1090.85 c 1091s| 33000 | 16165 | 8180k| 247.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2392 | 1.692976e+02 | 1.990000e+02 | 17.54%
1092.52/1092.71 c 1093s| 33100 | 16197 | 8192k| 246.8 | 18M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2401 | 1.692986e+02 | 1.990000e+02 | 17.54%
1094.33/1094.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1094.33/1094.55 c 1095s| 33200 | 16231 | 8201k| 246.3 | 18M| 140 | 382 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693008e+02 | 1.990000e+02 | 17.54%
1095.82/1096.05 c 1096s| 33300 | 16271 | 8213k| 246.0 | 18M| 140 | 385 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693011e+02 | 1.990000e+02 | 17.54%
1099.82/1100.02 c 1100s| 33400 | 16311 | 8245k| 246.2 | 18M| 140 | 392 | 481 | 591 | 481 | 979 | 760 | 13 |2421 | 1.693043e+02 | 1.990000e+02 | 17.54%
1102.81/1103.09 c 1103s| 33500 | 16369 | 8267k| 246.1 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2431 | 1.693067e+02 | 1.990000e+02 | 17.54%
1108.01/1108.26 c 1108s| 33600 | 16429 | 8308k| 246.6 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2434 | 1.693094e+02 | 1.990000e+02 | 17.54%
1110.41/1110.65 c 1111s| 33700 | 16475 | 8327k| 246.4 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693105e+02 | 1.990000e+02 | 17.54%
1112.92/1113.17 c 1113s| 33800 | 16539 | 8346k| 246.2 | 18M| 140 | 374 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693132e+02 | 1.990000e+02 | 17.53%
1114.31/1114.58 c 1115s| 33900 | 16559 | 8358k| 245.9 | 18M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693132e+02 | 1.990000e+02 | 17.53%
1115.92/1116.18 c 1116s| 34000 | 16595 | 8371k| 245.5 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693134e+02 | 1.990000e+02 | 17.53%
1119.41/1119.63 c 1120s| 34100 | 16631 | 8399k| 245.6 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693137e+02 | 1.990000e+02 | 17.53%
1121.51/1121.71 c 1122s| 34200 | 16651 | 8417k| 245.4 | 18M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693141e+02 | 1.990000e+02 | 17.53%
1123.31/1123.50 c 1123s| 34300 | 16697 | 8432k| 245.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693145e+02 | 1.990000e+02 | 17.53%
1127.01/1127.25 c 1127s| 34400 | 16745 | 8461k| 245.3 | 18M| 140 | 132 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693152e+02 | 1.990000e+02 | 17.53%
1127.21/1127.48 c 1127s| 34500 | 16755 | 8464k| 244.7 | 18M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693152e+02 | 1.990000e+02 | 17.53%
1128.11/1128.38 c 1128s| 34600 | 16781 | 8471k| 244.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693154e+02 | 1.990000e+02 | 17.53%
1131.81/1132.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1131.81/1132.03 c 1132s| 34700 | 16831 | 8500k| 244.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693162e+02 | 1.990000e+02 | 17.53%
1132.11/1132.34 c 1132s| 34800 | 16845 | 8503k| 243.7 | 18M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693162e+02 | 1.990000e+02 | 17.53%
1135.91/1136.20 c 1136s| 34900 | 16907 | 8534k| 243.9 | 18M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693172e+02 | 1.990000e+02 | 17.53%
1137.81/1138.00 c 1138s| 35000 | 16935 | 8549k| 243.6 | 18M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2435 | 1.693173e+02 | 1.990000e+02 | 17.53%
1139.21/1139.45 c 1139s| 35100 | 16971 | 8559k| 243.2 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2453 | 1.693178e+02 | 1.990000e+02 | 17.53%
1141.01/1141.27 c 1141s| 35200 | 17019 | 8570k| 242.8 | 18M| 140 | 116 | 481 | 591 | 481 | 979 | 760 | 13 |2465 | 1.693182e+02 | 1.990000e+02 | 17.53%
1141.90/1142.11 c 1142s| 35300 | 17063 | 8577k| 242.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2465 | 1.693183e+02 | 1.990000e+02 | 17.53%
1145.61/1145.89 c 1146s| 35400 | 17091 | 8605k| 242.4 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1146.01/1146.23 c 1146s| 35500 | 17103 | 8608k| 241.8 | 18M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1146.31/1146.56 c 1147s| 35600 | 17119 | 8612k| 241.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2474 | 1.693194e+02 | 1.990000e+02 | 17.53%
1146.60/1146.88 c 1147s| 35700 | 17131 | 8615k| 240.7 | 19M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2475 | 1.693194e+02 | 1.990000e+02 | 17.53%
1149.10/1149.35 c 1149s| 35800 | 17167 | 8629k| 240.4 | 19M| 140 | 127 | 481 | 591 | 481 | 979 | 760 | 13 |2496 | 1.693203e+02 | 1.990000e+02 | 17.53%
1151.31/1151.58 c 1152s| 35900 | 17211 | 8646k| 240.2 | 19M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2497 | 1.693222e+02 | 1.990000e+02 | 17.53%
1153.10/1153.33 c 1153s| 36000 | 17263 | 8660k| 239.9 | 19M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2498 | 1.693235e+02 | 1.990000e+02 | 17.53%
1154.71/1154.95 c 1155s| 36100 | 17311 | 8672k| 239.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2507 | 1.693238e+02 | 1.990000e+02 | 17.53%
1158.31/1158.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.31/1158.59 c 1159s| 36200 | 17349 | 8698k| 239.6 | 19M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2525 | 1.693245e+02 | 1.990000e+02 | 17.53%
1163.00/1163.20 c 1163s| 36300 | 17427 | 8734k| 240.0 | 19M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2525 | 1.693265e+02 | 1.990000e+02 | 17.52%
1163.51/1163.70 c 1164s| 36400 | 17455 | 8739k| 239.4 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2528 | 1.693265e+02 | 1.990000e+02 | 17.52%
1163.91/1164.10 c 1164s| 36500 | 17501 | 8742k| 238.9 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2538 | 1.693265e+02 | 1.990000e+02 | 17.52%
1165.81/1166.03 c 1166s| 36600 | 17547 | 8754k| 238.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2548 | 1.693267e+02 | 1.990000e+02 | 17.52%
1168.01/1168.23 c 1168s| 36700 | 17585 | 8774k| 238.4 | 19M| 140 | 100 | 481 | 591 | 481 | 979 | 760 | 13 |2548 | 1.693272e+02 | 1.990000e+02 | 17.52%
1169.30/1169.59 c 1170s| 36800 | 17645 | 8784k| 238.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2554 | 1.693275e+02 | 1.990000e+02 | 17.52%
1173.01/1173.24 c 1173s| 36900 | 17701 | 8813k| 238.2 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2558 | 1.693284e+02 | 1.990000e+02 | 17.52%
1174.20/1174.42 c 1174s| 37000 | 17733 | 8821k| 237.8 | 19M| 140 | 386 | 481 | 591 | 481 | 979 | 760 | 13 |2558 | 1.693288e+02 | 1.990000e+02 | 17.52%
1177.51/1177.79 c 1178s| 37100 | 17785 | 8849k| 237.9 | 19M| 140 | 103 | 481 | 591 | 481 | 979 | 760 | 13 |2559 | 1.693306e+02 | 1.990000e+02 | 17.52%
1179.20/1179.42 c 1179s| 37200 | 17811 | 8862k| 237.6 | 19M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2559 | 1.693307e+02 | 1.990000e+02 | 17.52%
1181.30/1181.57 c 1182s| 37300 | 17861 | 8877k| 237.4 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693333e+02 | 1.990000e+02 | 17.52%
1183.91/1184.17 c 1184s| 37400 | 17913 | 8898k| 237.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693336e+02 | 1.990000e+02 | 17.52%
1187.20/1187.48 c 1187s| 37500 | 17947 | 8925k| 237.4 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693341e+02 | 1.990000e+02 | 17.52%
1188.81/1189.03 c 1189s| 37600 | 17977 | 8937k| 237.1 | 19M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693343e+02 | 1.990000e+02 | 17.52%
1190.70/1190.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1190.70/1190.92 c 1191s| 37700 | 18041 | 8952k| 236.8 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693360e+02 | 1.990000e+02 | 17.52%
1192.81/1193.01 c 1193s| 37800 | 18079 | 8968k| 236.6 | 19M| 140 | 112 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693368e+02 | 1.990000e+02 | 17.52%
1194.31/1194.57 c 1195s| 37900 | 18127 | 8980k| 236.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693372e+02 | 1.990000e+02 | 17.52%
1196.01/1196.28 c 1196s| 38000 | 18147 | 8994k| 236.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693377e+02 | 1.990000e+02 | 17.52%
1199.81/1200.01 c 1200s| 38100 | 18197 | 9024k| 236.3 | 19M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693387e+02 | 1.990000e+02 | 17.52%
1201.80/1202.01 c 1202s| 38200 | 18255 | 9041k| 236.1 | 19M| 140 | 144 | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693393e+02 | 1.990000e+02 | 17.52%
1203.21/1203.48 c 1203s| 38300 | 18303 | 9053k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2562 | 1.693407e+02 | 1.990000e+02 | 17.51%
1207.61/1207.82 c 1208s| 38400 | 18359 | 9090k| 236.1 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2562 | 1.693418e+02 | 1.990000e+02 | 17.51%
1208.40/1208.65 c 1209s| 38500 | 18401 | 9096k| 235.7 | 20M| 140 | 375 | 481 | 591 | 481 | 979 | 760 | 13 |2575 | 1.693423e+02 | 1.990000e+02 | 17.51%
1215.30/1215.52 c 1216s| 38600 | 18455 | 9142k| 236.2 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693428e+02 | 1.990000e+02 | 17.51%
1216.10/1216.34 c 1216s| 38700 | 18481 | 9149k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693438e+02 | 1.990000e+02 | 17.51%
1218.30/1218.57 c 1219s| 38800 | 18521 | 9166k| 235.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2599 | 1.693440e+02 | 1.990000e+02 | 17.51%
1222.70/1222.92 c 1223s| 38900 | 18567 | 9196k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2615 | 1.693460e+02 | 1.990000e+02 | 17.51%
1225.50/1225.80 c 1226s| 39000 | 18625 | 9219k| 235.8 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2615 | 1.693481e+02 | 1.990000e+02 | 17.51%
1227.09/1227.33 c 1227s| 39100 | 18653 | 9226k| 235.4 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2634 | 1.693483e+02 | 1.990000e+02 | 17.51%
1230.89/1231.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.89/1231.18 c 1231s| 39200 | 18709 | 9257k| 235.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2634 | 1.693516e+02 | 1.990000e+02 | 17.51%
1235.10/1235.33 c 1235s| 39300 | 18755 | 9287k| 235.7 | 20M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2643 | 1.693523e+02 | 1.990000e+02 | 17.51%
1235.89/1236.18 c 1236s| 39400 | 18789 | 9294k| 235.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2643 | 1.693529e+02 | 1.990000e+02 | 17.51%
1239.70/1239.95 c 1240s| 39500 | 18849 | 9319k| 235.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2662 | 1.693532e+02 | 1.990000e+02 | 17.51%
1244.59/1244.82 c 1245s| 39600 | 18893 | 9357k| 235.7 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2667 | 1.693543e+02 | 1.990000e+02 | 17.51%
1256.09/1256.30 c 1256s| 39700 | 18949 | 9475k| 238.1 | 20M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693548e+02 | 1.990000e+02 | 17.50%
1258.20/1258.47 c 1258s| 39800 | 19011 | 9492k| 237.9 | 20M| 140 | 154 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693552e+02 | 1.990000e+02 | 17.50%
1258.49/1258.76 c 1259s| 39900 | 19035 | 9495k| 237.4 | 20M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693552e+02 | 1.990000e+02 | 17.50%
1259.39/1259.65 c 1260s| 40000 | 19061 | 9502k| 237.0 | 20M| 140 | 123 | 481 | 591 | 481 | 979 | 760 | 13 |2671 | 1.693557e+02 | 1.990000e+02 | 17.50%
1260.39/1260.65 c 1261s| 40100 | 19099 | 9510k| 236.6 | 20M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693560e+02 | 1.990000e+02 | 17.50%
1263.59/1263.89 c 1264s| 40200 | 19135 | 9536k| 236.6 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693571e+02 | 1.990000e+02 | 17.50%
1265.90/1266.11 c 1266s| 40300 | 19179 | 9553k| 236.5 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693573e+02 | 1.990000e+02 | 17.50%
1268.99/1269.27 c 1269s| 40400 | 19221 | 9578k| 236.5 | 20M| 140 | 383 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693599e+02 | 1.990000e+02 | 17.50%
1269.99/1270.23 c 1270s| 40500 | 19259 | 9585k| 236.1 | 20M| 140 | 118 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693600e+02 | 1.990000e+02 | 17.50%
1272.79/1273.09 c 1273s| 40600 | 19305 | 9608k| 236.1 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2672 | 1.693632e+02 | 1.990000e+02 | 17.50%
1274.79/1275.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.79/1275.07 c 1275s| 40700 | 19353 | 9623k| 235.9 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693638e+02 | 1.990000e+02 | 17.50%
1279.19/1279.48 c 1279s| 40800 | 19413 | 9659k| 236.2 | 20M| 140 | 393 | 481 | 591 | 481 | 979 | 760 | 13 |2672 | 1.693648e+02 | 1.990000e+02 | 17.50%
1280.59/1280.81 c 1281s| 40900 | 19463 | 9670k| 235.9 | 20M| 140 | 132 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693648e+02 | 1.990000e+02 | 17.50%
1282.78/1283.08 c 1283s| 41000 | 19511 | 9687k| 235.7 | 21M| 140 | 102 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693658e+02 | 1.990000e+02 | 17.50%
1284.29/1284.55 c 1285s| 41100 | 19547 | 9699k| 235.4 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693663e+02 | 1.990000e+02 | 17.50%
1285.99/1286.23 c 1286s| 41200 | 19581 | 9712k| 235.2 | 21M| 140 | 156 | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693665e+02 | 1.990000e+02 | 17.50%
1288.68/1288.90 c 1289s| 41300 | 19635 | 9735k| 235.2 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2673 | 1.693670e+02 | 1.990000e+02 | 17.50%
1291.09/1291.37 c 1291s| 41400 | 19667 | 9747k| 234.9 | 21M| 140 | 125 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693673e+02 | 1.990000e+02 | 17.50%
1291.79/1292.05 c 1292s| 41500 | 19701 | 9753k| 234.4 | 21M| 140 | 385 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693678e+02 | 1.990000e+02 | 17.50%
1295.29/1295.55 c 1296s| 41600 | 19745 | 9781k| 234.6 | 21M| 140 | 144 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693683e+02 | 1.990000e+02 | 17.50%
1299.38/1299.63 c 1300s| 41700 | 19805 | 9813k| 234.8 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693697e+02 | 1.990000e+02 | 17.49%
1301.39/1301.61 c 1302s| 41800 | 19845 | 9830k| 234.6 | 21M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2697 | 1.693700e+02 | 1.990000e+02 | 17.49%
1304.19/1304.43 c 1304s| 41900 | 19909 | 9847k| 234.5 | 21M| 140 | 388 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693714e+02 | 1.990000e+02 | 17.49%
1306.09/1306.37 c 1306s| 42000 | 19955 | 9863k| 234.3 | 21M| 140 | 109 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693718e+02 | 1.990000e+02 | 17.49%
1308.98/1309.27 c 1309s| 42100 | 20013 | 9885k| 234.3 | 21M| 140 | 388 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693722e+02 | 1.990000e+02 | 17.49%
1311.29/1311.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.29/1311.51 c 1312s| 42200 | 20067 | 9905k| 234.2 | 21M| 140 | 127 | 481 | 591 | 481 | 979 | 760 | 13 |2728 | 1.693731e+02 | 1.990000e+02 | 17.49%
1313.48/1313.72 c 1314s| 42300 | 20107 | 9916k| 233.9 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693735e+02 | 1.990000e+02 | 17.49%
1315.39/1315.61 c 1316s| 42400 | 20151 | 9931k| 233.7 | 21M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693736e+02 | 1.990000e+02 | 17.49%
1317.48/1317.77 c 1318s| 42500 | 20203 | 9948k| 233.5 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693738e+02 | 1.990000e+02 | 17.49%
1317.99/1318.26 c 1318s| 42600 | 20257 | 9953k| 233.1 | 21M| 140 | 157 | 481 | 591 | 481 | 979 | 760 | 13 |2755 | 1.693738e+02 | 1.990000e+02 | 17.49%
1321.18/1321.47 c 1321s| 42700 | 20303 | 9976k| 233.1 | 21M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2767 | 1.693745e+02 | 1.990000e+02 | 17.49%
1322.08/1322.31 c 1322s| 42800 | 20343 | 9983k| 232.7 | 21M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2767 | 1.693751e+02 | 1.990000e+02 | 17.49%
1323.78/1324.09 o 198
1323.78/1324.09 c p1324s| 42845 | 18524 | 9995k| 232.7 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2776 | 1.693755e+02 | 1.980000e+02 | 16.90%
1323.98/1324.24 c 1324s| 42900 | 18545 | 9997k| 232.5 | 18M| 140 | 160 | 481 | 591 | 481 | 979 | 760 | 13 |2776 | 1.693755e+02 | 1.980000e+02 | 16.90%
1327.19/1327.45 c 1327s| 43000 | 18595 | 10021k| 232.5 | 18M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2781 | 1.693758e+02 | 1.980000e+02 | 16.90%
1329.09/1329.38 c 1329s| 43100 | 18621 | 10037k| 232.3 | 18M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2788 | 1.693764e+02 | 1.980000e+02 | 16.90%
1333.38/1333.66 c 1334s| 43200 | 18671 | 10071k| 232.6 | 18M| 140 | 157 | 481 | 591 | 481 | 979 | 760 | 13 |2790 | 1.693771e+02 | 1.980000e+02 | 16.90%
1336.88/1337.19 c 1337s| 43300 | 18725 | 10100k| 232.7 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2792 | 1.693786e+02 | 1.980000e+02 | 16.90%
1340.18/1340.40 c 1340s| 43400 | 18761 | 10125k| 232.8 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2792 | 1.693792e+02 | 1.980000e+02 | 16.90%
1343.68/1343.97 c 1344s| 43500 | 18811 | 10154k| 232.9 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693794e+02 | 1.980000e+02 | 16.90%
1346.57/1346.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.57/1346.85 c 1347s| 43600 | 18863 | 10177k| 232.9 | 19M| 140 | 130 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693798e+02 | 1.980000e+02 | 16.90%
1350.08/1350.32 c 1350s| 43700 | 18911 | 10204k| 233.0 | 19M| 140 | 380 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693816e+02 | 1.980000e+02 | 16.90%
1353.58/1353.88 c 1354s| 43800 | 18959 | 10233k| 233.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693819e+02 | 1.980000e+02 | 16.90%
1354.48/1354.73 c 1355s| 43900 | 19017 | 10241k| 232.7 | 19M| 140 | 137 | 481 | 591 | 481 | 979 | 760 | 13 |2793 | 1.693822e+02 | 1.980000e+02 | 16.90%
1356.38/1356.62 c 1357s| 44000 | 19057 | 10254k| 232.5 | 19M| 140 | 372 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693839e+02 | 1.980000e+02 | 16.89%
1360.18/1360.43 c 1360s| 44100 | 19097 | 10285k| 232.7 | 19M| 140 | 133 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693843e+02 | 1.980000e+02 | 16.89%
1362.69/1362.99 c 1363s| 44200 | 19151 | 10306k| 232.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693854e+02 | 1.980000e+02 | 16.89%
1363.68/1363.96 c 1364s| 44300 | 19193 | 10314k| 232.3 | 19M| 140 | 115 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693854e+02 | 1.980000e+02 | 16.89%
1365.08/1365.38 c 1365s| 44400 | 19217 | 10325k| 232.0 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693862e+02 | 1.980000e+02 | 16.89%
1368.18/1368.46 c 1368s| 44500 | 19267 | 10349k| 232.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693877e+02 | 1.980000e+02 | 16.89%
1371.27/1371.57 c 1372s| 44600 | 19299 | 10375k| 232.1 | 19M| 140 | 380 | 481 | 591 | 481 | 979 | 760 | 13 |2794 | 1.693887e+02 | 1.980000e+02 | 16.89%
1374.68/1374.99 c 1375s| 44700 | 19357 | 10398k| 232.1 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2804 | 1.693895e+02 | 1.980000e+02 | 16.89%
1376.18/1376.43 c 1376s| 44800 | 19415 | 10410k| 231.8 | 19M| 140 | 138 | 481 | 591 | 481 | 979 | 760 | 13 |2804 | 1.693898e+02 | 1.980000e+02 | 16.89%
1380.57/1380.80 c 1381s| 44900 | 19463 | 10441k| 232.0 | 19M| 140 | 122 | 481 | 591 | 481 | 979 | 760 | 13 |2817 | 1.693910e+02 | 1.980000e+02 | 16.89%
1382.68/1382.96 c 1383s| 45000 | 19497 | 10459k| 231.9 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2817 | 1.693911e+02 | 1.980000e+02 | 16.89%
1386.18/1386.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.18/1386.43 c 1386s| 45100 | 19535 | 10487k| 232.0 | 19M| 140 | 115 | 481 | 591 | 481 | 979 | 760 | 13 |2826 | 1.693918e+02 | 1.980000e+02 | 16.89%
1389.97/1390.23 c 1390s| 45200 | 19573 | 10514k| 232.1 | 19M| 140 | 108 | 481 | 591 | 481 | 979 | 760 | 13 |2840 | 1.693921e+02 | 1.980000e+02 | 16.89%
1394.48/1394.73 c 1395s| 45300 | 19639 | 10548k| 232.3 | 19M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2840 | 1.693941e+02 | 1.980000e+02 | 16.89%
1396.07/1396.36 c 1396s| 45400 | 19647 | 10555k| 232.0 | 19M| 140 | 128 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693942e+02 | 1.980000e+02 | 16.89%
1397.88/1398.19 c 1398s| 45500 | 19667 | 10571k| 231.8 | 19M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693945e+02 | 1.980000e+02 | 16.89%
1398.87/1399.17 c 1399s| 45600 | 19695 | 10579k| 231.5 | 19M| 140 | 126 | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693945e+02 | 1.980000e+02 | 16.89%
1400.57/1400.87 c 1401s| 45700 | 19711 | 10592k| 231.3 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2861 | 1.693946e+02 | 1.980000e+02 | 16.89%
1403.17/1403.42 c 1403s| 45800 | 19755 | 10606k| 231.1 | 19M| 140 | 367 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693957e+02 | 1.980000e+02 | 16.89%
1405.17/1405.42 c 1405s| 45900 | 19773 | 10623k| 230.9 | 19M| 140 | 121 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693958e+02 | 1.980000e+02 | 16.89%
1408.77/1409.03 c 1409s| 46000 | 19811 | 10652k| 231.1 | 19M| 140 | 358 | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693972e+02 | 1.980000e+02 | 16.89%
1410.46/1410.77 c 1411s| 46100 | 19833 | 10666k| 230.9 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2883 | 1.693980e+02 | 1.980000e+02 | 16.88%
1412.18/1412.42 c 1412s| 46200 | 19857 | 10676k| 230.6 | 19M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2892 | 1.693983e+02 | 1.980000e+02 | 16.88%
1415.27/1415.59 c 1416s| 46300 | 19905 | 10698k| 230.6 | 19M| 140 | 371 | 481 | 591 | 481 | 979 | 760 | 13 |2905 | 1.693994e+02 | 1.980000e+02 | 16.88%
1416.67/1416.98 c 1417s| 46400 | 19917 | 10710k| 230.3 | 20M| 140 | 117 | 481 | 591 | 481 | 979 | 760 | 13 |2905 | 1.693994e+02 | 1.980000e+02 | 16.88%
1420.16/1420.47 c 1420s| 46500 | 19959 | 10738k| 230.4 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2911 | 1.694000e+02 | 1.980000e+02 | 16.88%
1421.07/1421.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1421.07/1421.32 c 1421s| 46600 | 19993 | 10745k| 230.1 | 20M| 140 | 102 | 481 | 591 | 481 | 979 | 760 | 13 |2913 | 1.694001e+02 | 1.980000e+02 | 16.88%
1422.47/1422.75 c 1423s| 46700 | 20033 | 10755k| 229.8 | 20M| 140 | 147 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694007e+02 | 1.980000e+02 | 16.88%
1424.57/1424.81 c 1425s| 46800 | 20065 | 10772k| 229.7 | 20M| 140 | 163 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694009e+02 | 1.980000e+02 | 16.88%
1424.97/1425.21 c 1425s| 46900 | 20087 | 10776k| 229.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694009e+02 | 1.980000e+02 | 16.88%
1428.86/1429.13 c 1429s| 47000 | 20137 | 10807k| 229.5 | 20M| 140 | 211 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694014e+02 | 1.980000e+02 | 16.88%
1431.67/1431.93 c 1432s| 47100 | 20193 | 10830k| 229.4 | 20M| 140 | 377 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694018e+02 | 1.980000e+02 | 16.88%
1435.06/1435.40 c 1435s| 47200 | 20251 | 10858k| 229.6 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2914 | 1.694019e+02 | 1.980000e+02 | 16.88%
1437.86/1438.19 c 1438s| 47300 | 20321 | 10880k| 229.5 | 20M| 140 | 141 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694024e+02 | 1.980000e+02 | 16.88%
1440.37/1440.61 c 1441s| 47400 | 20357 | 10900k| 229.5 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694033e+02 | 1.980000e+02 | 16.88%
1442.07/1442.32 c 1442s| 47500 | 20397 | 10914k| 229.3 | 20M| 140 | 134 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1442.36/1442.68 c 1443s| 47600 | 20435 | 10917k| 228.9 | 20M| 140 | 119 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1443.36/1443.69 c 1444s| 47700 | 20501 | 10926k| 228.6 | 20M| 140 | 124 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694034e+02 | 1.980000e+02 | 16.88%
1444.27/1444.53 c 1445s| 47800 | 20549 | 10933k| 228.2 | 20M| 140 | 120 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694037e+02 | 1.980000e+02 | 16.88%
1447.77/1448.00 c 1448s| 47900 | 20607 | 10960k| 228.3 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694047e+02 | 1.980000e+02 | 16.88%
1449.57/1449.86 c 1450s| 48000 | 20621 | 10976k| 228.2 | 20M| 140 | - | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694048e+02 | 1.980000e+02 | 16.88%
1450.86/1451.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.86/1451.19 c 1451s| 48100 | 20651 | 10986k| 227.9 | 20M| 140 | 103 | 481 | 591 | 481 | 979 | 760 | 13 |2914 | 1.694062e+02 | 1.980000e+02 | 16.88%
1451.67/1451.97 c 1452s| 48200 | 20681 | 10992k| 227.6 | 20M| 140 | - | 481 | 591 | 0 | 0 | 760 | 13 |2914 | 1.694069e+02 | 1.980000e+02 | 16.88%
1451.86/1452.17 c 1452s| 48300 | 20673 | 10994k| 227.1 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2914 | 1.694069e+02 | 1.980000e+02 | 16.88%
1454.76/1455.02 c 1455s| 48400 | 20717 | 11017k| 227.1 | 20M| 140 | 110 | 481 | 590 | 481 | 979 | 760 | 13 |2914 | 1.694088e+02 | 1.980000e+02 | 16.88%
1457.27/1457.52 c 1458s| 48500 | 20735 | 11033k| 227.0 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694096e+02 | 1.980000e+02 | 16.88%
1458.16/1458.44 c 1458s| 48600 | 20781 | 11040k| 226.7 | 20M| 140 | 75 | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694100e+02 | 1.980000e+02 | 16.88%
1458.37/1458.64 c 1459s| 48700 | 20791 | 11043k| 226.3 | 20M| 140 | 117 | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694100e+02 | 1.980000e+02 | 16.88%
1460.26/1460.57 c 1461s| 48800 | 20817 | 11059k| 226.1 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2927 | 1.694101e+02 | 1.980000e+02 | 16.88%
1464.46/1464.75 c 1465s| 48900 | 20873 | 11086k| 226.2 | 20M| 140 | 374 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694114e+02 | 1.980000e+02 | 16.88%
1466.36/1466.62 c 1467s| 49000 | 20917 | 11100k| 226.1 | 20M| 140 | 385 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694122e+02 | 1.980000e+02 | 16.87%
1469.66/1469.98 c 1470s| 49100 | 20951 | 11126k| 226.1 | 20M| 140 | 86 | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694136e+02 | 1.980000e+02 | 16.87%
1472.96/1473.23 c 1473s| 49200 | 20977 | 11154k| 226.2 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2949 | 1.694137e+02 | 1.980000e+02 | 16.87%
1474.87/1475.15 c 1475s| 49300 | 21025 | 11165k| 226.0 | 20M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |2959 | 1.694148e+02 | 1.980000e+02 | 16.87%
1475.76/1476.00 c 1476s| 49400 | 21047 | 11173k| 225.7 | 20M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2959 | 1.694157e+02 | 1.980000e+02 | 16.87%
1479.16/1479.41 c 1479s| 49500 | 21079 | 11197k| 225.7 | 21M| 140 | 114 | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694169e+02 | 1.980000e+02 | 16.87%
1479.86/1480.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1479.86/1480.18 c 1480s| 49600 | 21117 | 11203k| 225.4 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694173e+02 | 1.980000e+02 | 16.87%
1480.65/1480.93 c 1481s| 49700 | 21127 | 11209k| 225.1 | 21M| 140 | 121 | 481 | 590 | 481 | 979 | 760 | 13 |2973 | 1.694174e+02 | 1.980000e+02 | 16.87%
1486.16/1486.45 c 1486s| 49800 | 21191 | 11249k| 225.4 | 21M| 140 | 114 | 481 | 590 | 481 | 979 | 760 | 13 |2983 | 1.694180e+02 | 1.980000e+02 | 16.87%
1486.75/1487.02 c 1487s| 49900 | 21215 | 11254k| 225.1 | 21M| 140 | 376 | 481 | 590 | 481 | 979 | 760 | 13 |2983 | 1.694181e+02 | 1.980000e+02 | 16.87%
1488.15/1488.45 c 1488s| 50000 | 21225 | 11261k| 224.8 | 21M| 140 | 97 | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694182e+02 | 1.980000e+02 | 16.87%
1488.35/1488.60 c 1489s| 50100 | 21233 | 11263k| 224.3 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694182e+02 | 1.980000e+02 | 16.87%
1490.66/1490.93 c 1491s| 50200 | 21295 | 11279k| 224.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |2997 | 1.694192e+02 | 1.980000e+02 | 16.87%
1493.75/1494.01 c 1494s| 50300 | 21327 | 11300k| 224.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694208e+02 | 1.980000e+02 | 16.87%
1494.56/1494.90 c 1495s| 50400 | 21349 | 11307k| 223.9 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694209e+02 | 1.980000e+02 | 16.87%
1496.35/1496.61 c 1497s| 50500 | 21365 | 11321k| 223.7 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3013 | 1.694212e+02 | 1.980000e+02 | 16.87%
1498.66/1498.92 c 1499s| 50600 | 21389 | 11340k| 223.6 | 21M| 140 | 130 | 481 | 590 | 481 | 979 | 760 | 13 |3021 | 1.694215e+02 | 1.980000e+02 | 16.87%
1500.95/1501.26 c 1501s| 50700 | 21415 | 11357k| 223.5 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3027 | 1.694218e+02 | 1.980000e+02 | 16.87%
1503.15/1503.47 c 1503s| 50800 | 21449 | 11373k| 223.4 | 21M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694219e+02 | 1.980000e+02 | 16.87%
1503.36/1503.64 c 1504s| 50900 | 21447 | 11375k| 223.0 | 21M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694219e+02 | 1.980000e+02 | 16.87%
1504.66/1504.90 c 1505s| 51000 | 21483 | 11385k| 222.8 | 21M| 140 | 79 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694223e+02 | 1.980000e+02 | 16.87%
1507.95/1508.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.95/1508.29 c 1508s| 51100 | 21517 | 11412k| 222.9 | 21M| 140 | 374 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694234e+02 | 1.980000e+02 | 16.87%
1511.65/1511.93 c 1512s| 51200 | 21561 | 11441k| 223.0 | 21M| 140 | 78 | 481 | 590 | 481 | 979 | 760 | 13 |3029 | 1.694236e+02 | 1.980000e+02 | 16.87%
1512.95/1513.23 c 1513s| 51300 | 21587 | 11451k| 222.8 | 21M| 140 | 102 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694241e+02 | 1.980000e+02 | 16.87%
1513.55/1513.88 c 1514s| 51400 | 21603 | 11456k| 222.4 | 21M| 140 | 65 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694244e+02 | 1.980000e+02 | 16.87%
1515.85/1516.18 c 1516s| 51500 | 21633 | 11473k| 222.3 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694253e+02 | 1.980000e+02 | 16.87%
1516.66/1516.94 c 1517s| 51600 | 21645 | 11479k| 222.0 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694256e+02 | 1.980000e+02 | 16.87%
1520.16/1520.48 c 1520s| 51700 | 21693 | 11508k| 222.1 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694261e+02 | 1.980000e+02 | 16.87%
1521.45/1521.77 c 1522s| 51800 | 21739 | 11518k| 221.9 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694264e+02 | 1.980000e+02 | 16.86%
1522.75/1523.03 c 1523s| 51900 | 21777 | 11527k| 221.7 | 21M| 140 | 91 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694279e+02 | 1.980000e+02 | 16.86%
1523.56/1523.83 c 1524s| 52000 | 21791 | 11533k| 221.4 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694284e+02 | 1.980000e+02 | 16.86%
1526.35/1526.65 c 1527s| 52100 | 21843 | 11555k| 221.3 | 21M| 140 | 74 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694289e+02 | 1.980000e+02 | 16.86%
1530.55/1530.83 c 1531s| 52200 | 21877 | 11589k| 221.6 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694298e+02 | 1.980000e+02 | 16.86%
1533.25/1533.50 c 1534s| 52300 | 21921 | 11611k| 221.6 | 21M| 140 | 90 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694316e+02 | 1.980000e+02 | 16.86%
1535.95/1536.29 c 1536s| 52400 | 21973 | 11631k| 221.5 | 21M| 140 | 75 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694330e+02 | 1.980000e+02 | 16.86%
1538.55/1538.80 c 1539s| 52500 | 22013 | 11650k| 221.5 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1539.34/1539.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.34/1539.64 c 1540s| 52600 | 22027 | 11657k| 221.2 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1539.55/1539.86 c 1540s| 52700 | 22027 | 11659k| 220.8 | 21M| 140 | 95 | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694340e+02 | 1.980000e+02 | 16.86%
1541.45/1541.72 c 1542s| 52800 | 22063 | 11674k| 220.7 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3030 | 1.694344e+02 | 1.980000e+02 | 16.86%
1545.85/1546.11 c 1546s| 52900 | 22099 | 11706k| 220.8 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3042 | 1.694356e+02 | 1.980000e+02 | 16.86%
1547.25/1547.51 c 1548s| 53000 | 22129 | 11716k| 220.6 | 21M| 140 | 115 | 481 | 590 | 481 | 979 | 760 | 13 |3042 | 1.694364e+02 | 1.980000e+02 | 16.86%
1549.85/1550.15 c 1550s| 53100 | 22139 | 11732k| 220.5 | 21M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694370e+02 | 1.980000e+02 | 16.86%
1553.15/1553.40 c 1553s| 53200 | 22187 | 11759k| 220.6 | 21M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694372e+02 | 1.980000e+02 | 16.86%
1555.74/1556.00 c 1556s| 53300 | 22211 | 11781k| 220.6 | 21M| 140 | 115 | 481 | 590 | 481 | 979 | 760 | 13 |3059 | 1.694377e+02 | 1.980000e+02 | 16.86%
1557.14/1557.47 c 1557s| 53400 | 22235 | 11791k| 220.4 | 21M| 140 | 69 | 481 | 590 | 481 | 979 | 760 | 13 |3083 | 1.694380e+02 | 1.980000e+02 | 16.86%
1560.14/1560.47 c 1560s| 53500 | 22259 | 11812k| 220.4 | 21M| 140 | 383 | 481 | 590 | 481 | 979 | 760 | 13 |3094 | 1.694383e+02 | 1.980000e+02 | 16.86%
1562.94/1563.29 c 1563s| 53600 | 22291 | 11828k| 220.2 | 21M| 140 | 373 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694396e+02 | 1.980000e+02 | 16.86%
1564.55/1564.85 c 1565s| 53700 | 22305 | 11841k| 220.1 | 21M| 140 | 85 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694396e+02 | 1.980000e+02 | 16.86%
1567.15/1567.45 c 1567s| 53800 | 22333 | 11862k| 220.1 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694398e+02 | 1.980000e+02 | 16.86%
1569.45/1569.71 c 1570s| 53900 | 22351 | 11879k| 220.0 | 21M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694411e+02 | 1.980000e+02 | 16.85%
1570.14/1570.49 c 1570s| 54000 | 22361 | 11885k| 219.7 | 21M| 140 | 106 | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694416e+02 | 1.980000e+02 | 16.85%
1570.94/1571.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.94/1571.27 c 1571s| 54100 | 22413 | 11892k| 219.4 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3118 | 1.694426e+02 | 1.980000e+02 | 16.85%
1572.94/1573.22 c 1573s| 54200 | 22433 | 11907k| 219.3 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3124 | 1.694428e+02 | 1.980000e+02 | 16.85%
1573.15/1573.42 c 1573s| 54300 | 22441 | 11909k| 218.9 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3124 | 1.694428e+02 | 1.980000e+02 | 16.85%
1576.24/1576.57 c 1577s| 54400 | 22485 | 11932k| 218.9 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3130 | 1.694436e+02 | 1.980000e+02 | 16.85%
1580.15/1580.43 c 1580s| 54500 | 22557 | 11961k| 219.0 | 22M| 140 | 99 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694440e+02 | 1.980000e+02 | 16.85%
1580.94/1581.23 c 1581s| 54600 | 22575 | 11967k| 218.8 | 22M| 140 | 133 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694443e+02 | 1.980000e+02 | 16.85%
1581.74/1582.09 c 1582s| 54700 | 22619 | 11974k| 218.5 | 22M| 140 | 93 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1583.34/1583.62 c 1584s| 54800 | 22673 | 11986k| 218.3 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1583.44/1583.79 c 1584s| 54900 | 22717 | 11988k| 217.9 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694451e+02 | 1.980000e+02 | 16.85%
1584.24/1584.52 c 1585s| 55000 | 22739 | 11994k| 217.6 | 22M| 140 | 77 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694457e+02 | 1.980000e+02 | 16.85%
1585.65/1585.90 c 1586s| 55100 | 22763 | 12004k| 217.4 | 22M| 140 | 85 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694459e+02 | 1.980000e+02 | 16.85%
1586.24/1586.54 c 1587s| 55200 | 22773 | 12009k| 217.1 | 22M| 140 | 96 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694460e+02 | 1.980000e+02 | 16.85%
1588.25/1588.53 c 1589s| 55300 | 22821 | 12025k| 217.0 | 22M| 140 | 398 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694463e+02 | 1.980000e+02 | 16.85%
1591.54/1591.80 c 1592s| 55400 | 22859 | 12052k| 217.1 | 22M| 140 | 99 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694471e+02 | 1.980000e+02 | 16.85%
1591.64/1591.96 c 1592s| 55500 | 22865 | 12053k| 216.8 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694471e+02 | 1.980000e+02 | 16.85%
1595.24/1595.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1595.24/1595.52 c 1596s| 55600 | 22921 | 12080k| 216.9 | 22M| 140 | 370 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694476e+02 | 1.980000e+02 | 16.85%
1597.44/1597.75 c 1598s| 55700 | 22963 | 12097k| 216.8 | 22M| 140 | 88 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694482e+02 | 1.980000e+02 | 16.85%
1599.54/1599.87 c 1600s| 55800 | 23005 | 12113k| 216.7 | 22M| 140 | 67 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694491e+02 | 1.980000e+02 | 16.85%
1602.24/1602.58 c 1603s| 55900 | 23027 | 12135k| 216.7 | 22M| 140 | 121 | 481 | 590 | 481 | 979 | 760 | 13 |3139 | 1.694497e+02 | 1.980000e+02 | 16.85%
1603.54/1603.82 c 1604s| 56000 | 23063 | 12145k| 216.5 | 22M| 140 | 389 | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694508e+02 | 1.980000e+02 | 16.85%
1603.84/1604.19 c 1604s| 56100 | 23103 | 12148k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694508e+02 | 1.980000e+02 | 16.85%
1606.54/1606.85 c 1607s| 56200 | 23155 | 12168k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694519e+02 | 1.980000e+02 | 16.85%
1609.44/1609.71 c 1610s| 56300 | 23221 | 12189k| 216.1 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694529e+02 | 1.980000e+02 | 16.85%
1612.63/1612.99 c 1613s| 56400 | 23253 | 12215k| 216.2 | 22M| 140 | - | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694531e+02 | 1.980000e+02 | 16.85%
1614.74/1615.05 c 1615s| 56500 | 23285 | 12231k| 216.1 | 22M| 140 | 388 | 481 | 590 | 481 | 979 | 760 | 13 |3140 | 1.694542e+02 | 1.980000e+02 | 16.85%
1617.44/1617.77 c 1618s| 56600 | 23317 | 12253k| 216.1 | 22M| 140 | 77 | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694553e+02 | 1.980000e+02 | 16.84%
1619.03/1619.32 c 1619s| 56700 | 23321 | 12265k| 215.9 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694556e+02 | 1.980000e+02 | 16.84%
1620.33/1620.67 c 1621s| 56800 | 23351 | 12275k| 215.7 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3140 | 1.694563e+02 | 1.980000e+02 | 16.84%
1623.04/1623.34 c 1623s| 56900 | 23385 | 12293k| 215.6 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3152 | 1.694565e+02 | 1.980000e+02 | 16.84%
1627.14/1627.44 c 1627s| 57000 | 23453 | 12322k| 215.8 | 22M| 140 | 121 | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694587e+02 | 1.980000e+02 | 16.84%
1627.84/1628.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1627.84/1628.12 c 1628s| 57100 | 23475 | 12328k| 215.5 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694587e+02 | 1.980000e+02 | 16.84%
1628.53/1628.87 c 1629s| 57200 | 23493 | 12333k| 215.2 | 22M| 140 | 105 | 481 | 589 | 481 | 979 | 760 | 13 |3162 | 1.694590e+02 | 1.980000e+02 | 16.84%
1630.74/1631.06 c 1631s| 57300 | 23521 | 12346k| 215.1 | 22M| 140 | 372 | 481 | 589 | 481 | 979 | 760 | 13 |3174 | 1.694593e+02 | 1.980000e+02 | 16.84%
1634.84/1635.15 c 1635s| 57400 | 23567 | 12379k| 215.3 | 22M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3174 | 1.694617e+02 | 1.980000e+02 | 16.84%
1637.14/1637.42 c 1637s| 57500 | 23595 | 12389k| 215.1 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694619e+02 | 1.980000e+02 | 16.84%
1643.23/1643.51 c 1644s| 57600 | 23655 | 12439k| 215.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694623e+02 | 1.980000e+02 | 16.84%
1644.54/1644.84 c 1645s| 57700 | 23685 | 12449k| 215.3 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694627e+02 | 1.980000e+02 | 16.84%
1645.73/1646.07 c 1646s| 57800 | 23705 | 12458k| 215.1 | 23M| 140 | 391 | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694633e+02 | 1.980000e+02 | 16.84%
1647.43/1647.72 c 1648s| 57900 | 23715 | 12471k| 215.0 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3199 | 1.694633e+02 | 1.980000e+02 | 16.84%
1652.03/1652.38 c 1652s| 58000 | 23755 | 12504k| 215.2 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3217 | 1.694637e+02 | 1.980000e+02 | 16.84%
1653.43/1653.77 c 1654s| 58100 | 23781 | 12514k| 215.0 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3217 | 1.694637e+02 | 1.980000e+02 | 16.84%
1658.23/1658.59 c 1659s| 58200 | 23851 | 12550k| 215.2 | 23M| 140 | 114 | 481 | 589 | 481 | 979 | 760 | 13 |3225 | 1.694651e+02 | 1.980000e+02 | 16.84%
1659.13/1659.46 c 1659s| 58300 | 23871 | 12555k| 215.0 | 23M| 140 | 109 | 481 | 589 | 481 | 979 | 760 | 13 |3233 | 1.694651e+02 | 1.980000e+02 | 16.84%
1660.33/1660.67 c 1661s| 58400 | 23911 | 12564k| 214.7 | 23M| 140 | 370 | 481 | 589 | 481 | 979 | 760 | 13 |3235 | 1.694652e+02 | 1.980000e+02 | 16.84%
1663.23/1663.52 c 1664s| 58500 | 23959 | 12587k| 214.8 | 23M| 140 | 108 | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694666e+02 | 1.980000e+02 | 16.84%
1665.43/1665.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1665.43/1665.72 c 1666s| 58600 | 23983 | 12604k| 214.7 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694672e+02 | 1.980000e+02 | 16.84%
1666.73/1667.09 c 1667s| 58700 | 24017 | 12615k| 214.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3236 | 1.694673e+02 | 1.980000e+02 | 16.84%
1670.03/1670.36 c 1670s| 58800 | 24057 | 12640k| 214.6 | 23M| 140 | 380 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694679e+02 | 1.980000e+02 | 16.84%
1675.43/1675.79 c 1676s| 58900 | 24115 | 12684k| 215.0 | 23M| 140 | 131 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694685e+02 | 1.980000e+02 | 16.84%
1677.24/1677.51 c 1678s| 59000 | 24147 | 12697k| 214.8 | 23M| 140 | 369 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694689e+02 | 1.980000e+02 | 16.84%
1678.12/1678.49 c 1678s| 59100 | 24169 | 12704k| 214.6 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694690e+02 | 1.980000e+02 | 16.84%
1679.83/1680.14 c 1680s| 59200 | 24177 | 12718k| 214.4 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694695e+02 | 1.980000e+02 | 16.84%
1682.52/1682.85 c 1683s| 59300 | 24219 | 12739k| 214.4 | 23M| 140 | 89 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694708e+02 | 1.980000e+02 | 16.83%
1683.33/1683.64 c 1684s| 59400 | 24257 | 12745k| 214.2 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694714e+02 | 1.980000e+02 | 16.83%
1685.63/1685.95 c 1686s| 59500 | 24301 | 12764k| 214.1 | 23M| 140 | 84 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694717e+02 | 1.980000e+02 | 16.83%
1687.83/1688.11 c 1688s| 59600 | 24331 | 12781k| 214.1 | 23M| 140 | 104 | 481 | 589 | 481 | 979 | 760 | 13 |3237 | 1.694724e+02 | 1.980000e+02 | 16.83%
1689.12/1689.44 c 1689s| 59700 | 24369 | 12791k| 213.9 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694724e+02 | 1.980000e+02 | 16.83%
1692.13/1692.47 c 1692s| 59800 | 24411 | 12814k| 213.9 | 23M| 140 | 102 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694728e+02 | 1.980000e+02 | 16.83%
1694.03/1694.32 c 1694s| 59900 | 24427 | 12829k| 213.8 | 23M| 140 | 359 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694736e+02 | 1.980000e+02 | 16.83%
1696.42/1696.76 c 1697s| 60000 | 24439 | 12848k| 213.8 | 23M| 140 | 113 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694740e+02 | 1.980000e+02 | 16.83%
1697.13/1697.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.13/1697.49 c 1697s| 60100 | 24463 | 12854k| 213.5 | 23M| 140 | 118 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694744e+02 | 1.980000e+02 | 16.83%
1700.23/1700.51 c 1701s| 60200 | 24503 | 12879k| 213.5 | 23M| 140 | 378 | 481 | 589 | 481 | 979 | 760 | 13 |3239 | 1.694748e+02 | 1.980000e+02 | 16.83%
1703.12/1703.41 c 1703s| 60300 | 24567 | 12897k| 213.5 | 23M| 140 | - | 481 | 589 | 481 | 979 | 760 | 13 |3252 | 1.694756e+02 | 1.980000e+02 | 16.83%
1706.12/1706.42 c 1706s| 60400 | 24589 | 12922k| 213.6 | 23M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3252 | 1.694758e+02 | 1.980000e+02 | 16.83%
1707.82/1708.14 c 1708s| 60500 | 24603 | 12936k| 213.4 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3252 | 1.694761e+02 | 1.980000e+02 | 16.83%
1712.02/1712.30 c 1712s| 60600 | 24635 | 12963k| 213.5 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694766e+02 | 1.980000e+02 | 16.83%
1713.32/1713.61 c 1714s| 60700 | 24663 | 12973k| 213.3 | 23M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694767e+02 | 1.980000e+02 | 16.83%
1714.12/1714.44 c 1714s| 60800 | 24671 | 12979k| 213.1 | 23M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694767e+02 | 1.980000e+02 | 16.83%
1715.63/1716.00 c 1716s| 60900 | 24687 | 12991k| 212.9 | 23M| 140 | 100 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694772e+02 | 1.980000e+02 | 16.83%
1716.33/1716.66 c 1717s| 61000 | 24699 | 12997k| 212.7 | 23M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694773e+02 | 1.980000e+02 | 16.83%
1718.32/1718.64 c 1719s| 61100 | 24721 | 13012k| 212.6 | 23M| 140 | 130 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694775e+02 | 1.980000e+02 | 16.83%
1719.03/1719.31 c 1719s| 61200 | 24727 | 13017k| 212.3 | 23M| 140 | 372 | 481 | 590 | 481 | 979 | 760 | 14 |3272 | 1.694776e+02 | 1.980000e+02 | 16.83%
1721.92/1722.29 c 1722s| 61300 | 24729 | 13033k| 212.2 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694778e+02 | 1.980000e+02 | 16.83%
1725.82/1726.18 c 1726s| 61400 | 24773 | 13064k| 212.4 | 23M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694783e+02 | 1.980000e+02 | 16.83%
1727.62/1727.91 c 1728s| 61500 | 24805 | 13076k| 212.2 | 23M| 140 | 394 | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694799e+02 | 1.980000e+02 | 16.83%
1730.03/1730.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1730.03/1730.35 c 1730s| 61600 | 24853 | 13095k| 212.2 | 24M| 140 | 116 | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694802e+02 | 1.980000e+02 | 16.83%
1732.92/1733.26 c 1733s| 61700 | 24881 | 13118k| 212.2 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3306 | 1.694807e+02 | 1.980000e+02 | 16.83%
1737.82/1738.18 c 1738s| 61800 | 24935 | 13155k| 212.5 | 24M| 140 | 369 | 481 | 590 | 481 | 979 | 760 | 14 |3315 | 1.694814e+02 | 1.980000e+02 | 16.83%
1741.12/1741.43 c 1741s| 61900 | 24987 | 13177k| 212.5 | 24M| 140 | 101 | 481 | 590 | 481 | 979 | 760 | 14 |3328 | 1.694822e+02 | 1.980000e+02 | 16.83%
1742.42/1742.72 c 1743s| 62000 | 24999 | 13186k| 212.3 | 24M| 140 | 382 | 481 | 590 | 481 | 979 | 760 | 14 |3331 | 1.694831e+02 | 1.980000e+02 | 16.83%
1744.92/1745.29 c 1745s| 62100 | 25027 | 13205k| 212.3 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694839e+02 | 1.980000e+02 | 16.83%
1748.73/1749.01 c 1749s| 62200 | 25051 | 13236k| 212.4 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694842e+02 | 1.980000e+02 | 16.83%
1748.82/1749.17 c 1749s| 62300 | 25045 | 13237k| 212.1 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694842e+02 | 1.980000e+02 | 16.83%
1752.11/1752.42 c 1752s| 62400 | 25061 | 13263k| 212.2 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3342 | 1.694851e+02 | 1.980000e+02 | 16.82%
1754.81/1755.15 c 1755s| 62500 | 25115 | 13283k| 212.2 | 24M| 140 | 378 | 481 | 590 | 481 | 979 | 760 | 14 |3343 | 1.694858e+02 | 1.980000e+02 | 16.82%
1756.62/1756.91 c 1757s| 62600 | 25133 | 13297k| 212.0 | 24M| 140 | 104 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694866e+02 | 1.980000e+02 | 16.82%
1756.71/1757.09 c 1757s| 62700 | 25129 | 13299k| 211.7 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694866e+02 | 1.980000e+02 | 16.82%
1757.61/1757.91 c 1758s| 62800 | 25145 | 13305k| 211.5 | 24M| 140 | 113 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694867e+02 | 1.980000e+02 | 16.82%
1762.12/1762.44 c 1762s| 62900 | 25191 | 13341k| 211.7 | 24M| 140 | 380 | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694879e+02 | 1.980000e+02 | 16.82%
1763.02/1763.34 c 1763s| 63000 | 25211 | 13348k| 211.5 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3344 | 1.694879e+02 | 1.980000e+02 | 16.82%
1765.72/1766.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.72/1766.09 c 1766s| 63100 | 25261 | 13369k| 211.5 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694881e+02 | 1.980000e+02 | 16.82%
1766.51/1766.86 c 1767s| 63200 | 25291 | 13375k| 211.3 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694883e+02 | 1.980000e+02 | 16.82%
1775.71/1776.00 c 1776s| 63300 | 25331 | 13476k| 212.5 | 24M| 140 | 116 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694888e+02 | 1.980000e+02 | 16.82%
1779.01/1779.33 c 1779s| 63400 | 25361 | 13502k| 212.6 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694902e+02 | 1.980000e+02 | 16.82%
1783.01/1783.34 c 1783s| 63500 | 25403 | 13534k| 212.8 | 24M| 140 | 112 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694911e+02 | 1.980000e+02 | 16.82%
1784.21/1784.50 c 1784s| 63600 | 25437 | 13543k| 212.6 | 24M| 140 | 364 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694914e+02 | 1.980000e+02 | 16.82%
1785.11/1785.43 c 1785s| 63700 | 25453 | 13550k| 212.4 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694918e+02 | 1.980000e+02 | 16.82%
1787.61/1787.91 c 1788s| 63800 | 25481 | 13570k| 212.3 | 24M| 140 | 125 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694920e+02 | 1.980000e+02 | 16.82%
1789.01/1789.36 c 1789s| 63900 | 25493 | 13582k| 212.2 | 24M| 140 | 118 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694924e+02 | 1.980000e+02 | 16.82%
1791.11/1791.46 c 1791s| 64000 | 25507 | 13599k| 212.1 | 24M| 140 | 100 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694928e+02 | 1.980000e+02 | 16.82%
1795.11/1795.40 c 1795s| 64100 | 25553 | 13631k| 212.3 | 24M| 140 | 98 | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694939e+02 | 1.980000e+02 | 16.82%
1796.61/1796.97 c 1797s| 64200 | 25567 | 13643k| 212.1 | 24M| 140 | - | 481 | 590 | 481 | 979 | 760 | 14 |3345 | 1.694941e+02 | 1.980000e+02 | 16.82%
1796.71/1797.00 c
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Solving Time (sec) : 1797.00
1796.71/1797.00 c Solving Nodes : 64224
1796.71/1797.00 c Primal Bound : +1.98000000000000e+02 (709 solutions)
1796.71/1797.00 c Dual Bound : +1.69494094289752e+02
1796.71/1797.00 c Gap : 16.82 %
1796.71/1797.00 s SATISFIABLE
1796.71/1797.00 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.71/1797.00 v x458 x457 -x456 x455 -x454 x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 x442 -x441 x440 x439 x438 -x437
1796.71/1797.00 v -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 x426 x425 -x424 x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415
1796.71/1797.00 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.71/1797.00 v x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 x378 x377 x376 -x375 x374 x373 -x372 x371 -x370
1796.71/1797.00 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.71/1797.00 v -x346 x345 x344 -x343 -x342 -x341 x340 -x339 -x338 -x337 -x336 -x335 x334 x333 x332 -x331 -x330 -x329 x328 x327 x326 x325
1796.71/1797.00 v x324 -x323 x322 x321 -x320 x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303
1796.71/1797.00 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.71/1797.00 v -x279 x278 -x277 -x276 x275 x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 x264 x263 x262 x261 -x260 x259 x258
1796.71/1797.00 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.71/1797.00 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.71/1797.00 v x211 x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 x200 -x199 -x198 -x197 -x196 -x195 x194 x193 x192 -x191 x190
1796.71/1797.00 v x189 x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 x176 x175 -x174 -x173 -x172 x171 x170 x169 -x168
1796.71/1797.00 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.71/1797.00 v -x144 x143 -x142 x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 x130 -x129 x128 -x127 x126 -x125 -x124 -x123
1796.71/1797.00 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.71/1797.00 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.71/1797.00 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.71/1797.00 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.71/1797.00 v x18 x17 -x16 -x15 -x14 x13 -x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 -x1
1796.71/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.71/1797.00 c Total Time : 1797.00
1796.71/1797.00 c solving : 1797.00
1796.71/1797.00 c presolving : 0.03 (included in solving)
1796.71/1797.00 c reading : 0.00 (included in solving)
1796.71/1797.00 c copying : 0.08 (15 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.71/1797.00 c Original Problem :
1796.71/1797.00 c Problem name : HOME/instance-3690889-1338017055.opb
1796.71/1797.00 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 481 initial, 481 maximal
1796.71/1797.00 c Objective sense : minimize
1796.71/1797.00 c Presolved Problem :
1796.71/1797.00 c Problem name : t_HOME/instance-3690889-1338017055.opb
1796.71/1797.00 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.71/1797.00 c Constraints : 579 initial, 591 maximal
1796.71/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.71/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 27 215 354 822
1796.71/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 90 0 0 0
1796.71/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 14
1796.71/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c root node : - - 0 - - 0 - - - - -
1796.71/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c integral : 0 0 0 0 45873 0 714 0 10 82 0 0 91628
1796.71/1797.00 c knapsack : 453 453 11 295788 0 1 709 0 746 205930 756 0 0
1796.71/1797.00 c setppc : 126 126 11 295033 0 1 708 0 0 38814 0 0 0
1796.71/1797.00 c logicor : 0+ 12 0 11211 0 0 0 0 0 0 0 0 0
1796.71/1797.00 c countsols : 0 0 0 0 0 1 712 0 0 0 0 0 0
1796.71/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.71/1797.00 c integral : 109.80 0.00 0.00 0.00 109.80 0.00 0.00 0.00
1796.71/1797.00 c knapsack : 2.39 0.00 0.03 2.35 0.00 0.00 0.01 0.00
1796.71/1797.00 c setppc : 0.40 0.00 0.00 0.40 0.00 0.00 0.00 0.00
1796.71/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.71/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.71/1797.00 c rootredcost : 26 0 0 0
1796.71/1797.00 c pseudoobj : 341611 0 0 0
1796.71/1797.00 c vbounds : 0 0 0 0
1796.71/1797.00 c redcost : 61005 0 0 373817
1796.71/1797.00 c probing : 0 0 0 0
1796.71/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.71/1797.00 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.71/1797.00 c pseudoobj : 0.33 0.00 0.00 0.33 0.00
1796.71/1797.00 c vbounds : 0.08 0.00 0.00 0.08 0.00
1796.71/1797.00 c redcost : 0.98 0.00 0.00 0.98 0.00
1796.71/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.71/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.71/1797.00 c propagation : 0.00 746 0 0 0.0 0 0.0 -
1796.71/1797.00 c infeasible LP : 0.00 14 14 14 4.2 0 0.0 0
1796.71/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.71/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.71/1797.00 c applied globally : - - - 14 4.2 - - -
1796.71/1797.00 c applied locally : - - - 0 0.0 - - -
1796.71/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.71/1797.00 c cut pool : 0.00 10 - - 346 - (maximal pool size: 1337)
1796.71/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c impliedbounds : 0.00 0.00 11 0 0 0 0
1796.71/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c gomory : 1.72 0.00 10 0 0 0 0
1796.71/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c strongcg : 1.44 0.00 11 0 0 0 0
1796.71/1797.00 c cmir : 0.20 0.00 10 0 0 792 0
1796.71/1797.00 c flowcover : 0.22 0.00 10 0 0 921 0
1796.71/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.71/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c mcf : 0.01 0.00 6 0 0 73 0
1796.71/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.71/1797.00 c rapidlearning : 0.32 0.00 1 0 0 0 0
1796.71/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.71/1797.00 c problem variables: 0.00 - 0 0
1796.71/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.71/1797.00 c relpscost : 109.75 0.00 45873 10 82 0 0 91628
1796.71/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c inference : 0.00 0.00 1 0 0 0 0 2
1796.71/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.71/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.71/1797.00 c LP solutions : 0.00 - - 0
1796.71/1797.00 c pseudo solutions : 0.00 - - 0
1796.71/1797.00 c feaspump : 0.00 0.00 0 0
1796.71/1797.00 c oneopt : 0.02 0.00 11 3
1796.71/1797.00 c crossover : 0.13 0.00 1 1
1796.71/1797.00 c objpscostdiving : 43.67 0.00 6 99
1796.71/1797.00 c fracdiving : 48.60 0.00 45 0
1796.71/1797.00 c guideddiving : 47.84 0.00 46 0
1796.71/1797.00 c veclendiving : 59.84 0.00 72 46
1796.71/1797.00 c linesearchdiving : 135.12 0.00 192 55
1796.71/1797.00 c coefdiving : 238.51 0.00 208 166
1796.71/1797.00 c pscostdiving : 234.30 0.00 330 296
1796.71/1797.00 c smallcard : 0.00 0.00 0 0
1796.71/1797.00 c trivial : 0.00 0.00 2 1
1796.71/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.71/1797.00 c simplerounding : 1.08 0.00 45883 24
1796.71/1797.00 c zirounding : 0.39 0.00 1000 15
1796.71/1797.00 c rounding : 12.71 0.00 9892 1
1796.71/1797.00 c shifting : 3.48 0.00 2640 1
1796.71/1797.00 c intshifting : 0.00 0.00 0 0
1796.71/1797.00 c twoopt : 0.00 0.00 0 0
1796.71/1797.00 c indoneopt : 0.04 0.00 0 0
1796.71/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.71/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.71/1797.00 c clique : 0.00 0.00 0 0
1796.71/1797.00 c indrounding : 0.00 0.00 0 0
1796.71/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.71/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.71/1797.00 c intdiving : 0.00 0.00 0 0
1796.71/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.71/1797.00 c rootsoldiving : 12.65 0.00 13 0
1796.71/1797.00 c octane : 0.00 0.00 0 0
1796.71/1797.00 c rens : 0.01 0.00 0 0
1796.71/1797.00 c rins : 0.00 0.00 0 0
1796.71/1797.00 c localbranching : 0.00 0.00 0 0
1796.71/1797.00 c mutation : 0.00 0.00 0 0
1796.71/1797.00 c dins : 0.00 0.00 0 0
1796.71/1797.00 c vbounds : 0.00 0.00 0 0
1796.71/1797.00 c undercover : 0.00 0.00 0 0
1796.71/1797.00 c subnlp : 0.02 0.00 0 0
1796.71/1797.00 c trysol : 0.03 0.00 0 0
1796.71/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.71/1797.00 c primal LP : 0.00 1 0 0.00 - 0.00 1
1796.71/1797.00 c dual LP : 830.19 78679 6615232 104.17 7968.37 3.72 15172
1796.71/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.71/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.71/1797.00 c diving/probing LP: 796.07 134691 7028598 52.18 8829.13
1796.71/1797.00 c strong branching : 107.54 3345 749006 223.92 6964.84
1796.71/1797.00 c (at root node) : - 27 22485 832.78 -
1796.71/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.71/1797.00 c B&B Tree :
1796.71/1797.00 c number of runs : 1
1796.71/1797.00 c nodes : 64224
1796.71/1797.00 c nodes (total) : 64224
1796.71/1797.00 c nodes left : 25567
1796.71/1797.00 c max depth : 140
1796.71/1797.00 c max depth (total): 140
1796.71/1797.00 c backtracks : 10899 (17.0%)
1796.71/1797.00 c delayed cutoffs : 0
1796.71/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.71/1797.00 c avg switch length: 8.07
1796.71/1797.00 c switching time : 2.49
1796.71/1797.00 c Solution :
1796.71/1797.00 c Solutions found : 709 (34 improvements)
1796.71/1797.00 c First Solution : +4.81000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.71/1797.00 c Primal Bound : +1.98000000000000e+02 (in run 1, after 42845 nodes, 1324.09 seconds, depth 228, found by <pscostdiving>)
1796.71/1797.00 c Dual Bound : +1.69494094289752e+02
1796.71/1797.00 c Gap : 16.82 %
1796.71/1797.00 c Root Dual Bound : +1.67633462323279e+02
1796.71/1797.00 c Root Iterations : 23826
1796.71/1797.03 c Time complete: 1796.74.
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-3690889-1338017055/watcher-3690889-1338017055 -o /tmp/evaluation-result-3690889-1338017055/solver-3690889-1338017055 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690889-1338017055.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.71 0.64 0.23 3/176 29217
/proc/meminfo: memFree=29332780/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=10396 CPUtime=0 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 1 0 267834024 10645504 1308 33554432000 4194304 10173063 140733475251872 140734883165688 8800002 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 2599 1308 416 1460 0 1130 0
[startup+0.0758139 s]
/proc/loadavg: 1.71 0.64 0.23 3/176 29217
/proc/meminfo: memFree=29332780/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=21208 CPUtime=0.06 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 4294 0 0 0 6 0 0 0 20 0 1 0 267834024 21716992 3991 33554432000 4194304 10173063 140733475251872 140734883165688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 5302 3991 757 1460 0 3833 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 21208
[startup+0.100236 s]
/proc/loadavg: 1.71 0.64 0.23 3/176 29217
/proc/meminfo: memFree=29332780/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=21208 CPUtime=0.09 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 4301 0 0 0 9 0 0 0 20 0 1 0 267834024 21716992 3998 33554432000 4194304 10173063 140733475251872 140734883165688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 5302 3998 757 1460 0 3833 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21208
[startup+0.300241 s]
/proc/loadavg: 1.71 0.64 0.23 3/176 29217
/proc/meminfo: memFree=29332780/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=21208 CPUtime=0.29 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 4350 0 0 0 28 1 0 0 20 0 1 0 267834024 21716992 4047 33554432000 4194304 10173063 140733475251872 140734883165688 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 5302 4047 757 1460 0 3833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21208
[startup+0.700232 s]
/proc/loadavg: 1.71 0.64 0.23 3/176 29217
/proc/meminfo: memFree=29332780/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=21544 CPUtime=0.69 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 4421 0 0 0 68 1 0 0 20 0 1 0 267834024 22061056 4118 33554432000 4194304 10173063 140733475251872 140733475245224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 5386 4118 757 1460 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21544
[startup+1.50024 s]
/proc/loadavg: 1.73 0.66 0.24 3/177 29218
/proc/meminfo: memFree=29319388/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=23232 CPUtime=1.49 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 8191 0 0 0 146 3 0 0 20 0 1 0 267834024 23789568 4625 33554432000 4194304 10173063 140733475251872 140733475245224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 5808 4625 850 1460 0 4339 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23232
[startup+3.10024 s]
/proc/loadavg: 1.73 0.66 0.24 3/177 29218
/proc/meminfo: memFree=29315668/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=24596 CPUtime=3.09 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 9108 0 0 0 305 4 0 0 20 0 1 0 267834024 25186304 4996 33554432000 4194304 10173063 140733475251872 140733475244392 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6149 4996 850 1460 0 4680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24596
[startup+6.3002 s]
/proc/loadavg: 1.75 0.68 0.25 3/177 29218
/proc/meminfo: memFree=29314932/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=25724 CPUtime=6.28 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 9873 0 0 0 622 6 0 0 20 0 1 0 267834024 26341376 5262 33554432000 4194304 10173063 140733475251872 140733475246792 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6431 5262 850 1460 0 4962 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25724
[startup+12.7002 s]
/proc/loadavg: 1.77 0.70 0.26 3/177 29218
/proc/meminfo: memFree=29315412/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=25200 CPUtime=12.68 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 10691 0 0 0 1258 10 0 0 20 0 1 0 267834024 25804800 5157 33554432000 4194304 10173063 140733475251872 140733475245000 8055980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6300 5157 857 1460 0 4831 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25200
[startup+25.5002 s]
/proc/loadavg: 1.81 0.74 0.27 3/177 29218
/proc/meminfo: memFree=29315108/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=25200 CPUtime=25.48 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 10691 0 0 0 2528 20 0 0 20 0 1 0 267834024 25804800 5414 33554432000 4194304 10173063 140733475251872 140733475245416 8007203 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6300 5414 857 1460 0 4831 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25200
[startup+51.1002 s]
/proc/loadavg: 1.88 0.86 0.33 3/177 29219
/proc/meminfo: memFree=29314364/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=25884 CPUtime=51.08 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 10849 0 0 0 5066 42 0 0 20 0 1 0 267834024 26505216 5572 33554432000 4194304 10173063 140733475251872 140733475245704 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6471 5572 860 1460 0 5002 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25884
[startup+102.306 s]
/proc/loadavg: 1.95 1.04 0.41 3/177 29219
/proc/meminfo: memFree=29314364/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=25884 CPUtime=102.28 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 10855 0 0 0 10144 84 0 0 20 0 1 0 267834024 26505216 5578 33554432000 4194304 10173063 140733475251872 140733475245368 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6471 5578 860 1460 0 5002 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25884
[startup+162.3 s]
/proc/loadavg: 1.98 1.21 0.51 3/177 29219
/proc/meminfo: memFree=29313372/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=26540 CPUtime=162.26 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 11008 0 0 0 16090 136 0 0 20 0 1 0 267834024 27176960 5731 33554432000 4194304 10173063 140733475251872 140733475244680 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6635 5731 860 1460 0 5166 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26540
[startup+222.3 s]
/proc/loadavg: 1.99 1.35 0.60 3/177 29257
/proc/meminfo: memFree=27935868/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=27116 CPUtime=222.25 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 13118 0 0 0 22041 184 0 0 20 0 1 0 267834024 27766784 5879 33554432000 4194304 10173063 140733475251872 140733475245128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6779 5879 865 1460 0 5310 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27116
[startup+282.3 s]
/proc/loadavg: 1.99 1.47 0.68 3/177 29257
/proc/meminfo: memFree=27932548/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=27372 CPUtime=282.24 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 13961 0 0 0 27990 234 0 0 20 0 1 0 267834024 28028928 5949 33554432000 4194304 10173063 140733475251872 140733475245224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 6843 5949 865 1460 0 5374 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 27372
[startup+342.3 s]
/proc/loadavg: 1.99 1.56 0.76 3/177 29258
/proc/meminfo: memFree=27929724/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=29144 CPUtime=342.23 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 15767 0 0 0 33936 287 0 0 20 0 1 0 267834024 29843456 6374 33554432000 4194304 10173063 140733475251872 140733475245128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 7286 6374 866 1460 0 5817 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 29144
[startup+402.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/178 29261
/proc/meminfo: memFree=27922300/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=29620 CPUtime=402.23 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 15907 0 0 0 39881 342 0 0 20 0 1 0 267834024 30330880 6514 33554432000 4194304 10173063 140733475251872 140733475244856 8054514 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 7405 6514 866 1460 0 5936 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 29620
[startup+462.3 s]
/proc/loadavg: 1.99 1.70 0.91 3/177 29261
/proc/meminfo: memFree=27912212/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=32256 CPUtime=462.21 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 17148 0 0 0 45827 394 0 0 20 0 1 0 267834024 33030144 7150 33554432000 4194304 10173063 140733475251872 140733475245224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 8064 7150 866 1460 0 6595 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 32256
[startup+522.3 s]
/proc/loadavg: 1.99 1.75 0.97 3/177 29261
/proc/meminfo: memFree=27906324/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=32256 CPUtime=522.2 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 17158 0 0 0 51772 448 0 0 20 0 1 0 267834024 33030144 7160 33554432000 4194304 10173063 140733475251872 140733475245512 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 8064 7160 866 1460 0 6595 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 32256
[startup+582.3 s]
/proc/loadavg: 1.99 1.80 1.03 3/177 29261
/proc/meminfo: memFree=27880352/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=33044 CPUtime=582.19 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 17366 0 0 0 57715 504 0 0 20 0 1 0 267834024 33837056 7368 33554432000 4194304 10173063 140733475251872 140733475244584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 8261 7368 866 1460 0 6792 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 33044
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27826368/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=41780 CPUtime=1122.11 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 20835 0 0 0 111228 983 0 0 20 0 1 0 267834024 42782720 9546 33554432000 4194304 10173063 140733475251872 140733475244808 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 10445 9546 866 1460 0 8976 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 41780
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.51 3/177 29266
/proc/meminfo: memFree=27824136/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=43912 CPUtime=1182.1 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 21374 0 0 0 117174 1036 0 0 20 0 1 0 267834024 44965888 10085 33554432000 4194304 10173063 140733475251872 140733475245176 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 10978 10085 866 1460 0 9509 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 43912
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.54 3/177 29266
/proc/meminfo: memFree=27822896/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=44792 CPUtime=1242.09 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 21585 0 0 0 123118 1091 0 0 20 0 1 0 267834024 45867008 10296 33554432000 4194304 10173063 140733475251872 140733475245128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11198 10296 866 1460 0 9729 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 44792
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.56 3/177 29267
/proc/meminfo: memFree=27822648/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=44792 CPUtime=1302.09 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 21597 0 0 0 129063 1146 0 0 20 0 1 0 267834024 45867008 10308 33554432000 4194304 10173063 140733475251872 140733475245224 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11198 10308 866 1460 0 9729 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 44792
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.59 3/177 29267
/proc/meminfo: memFree=27822400/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=45128 CPUtime=1362.08 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 23055 0 0 0 135007 1201 0 0 20 0 1 0 267834024 46211072 10394 33554432000 4194304 10173063 140733475251872 140733475244312 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11282 10394 866 1460 0 9813 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 45128
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.61 3/177 29267
/proc/meminfo: memFree=27821904/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=45156 CPUtime=1422.07 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 24445 0 0 0 140952 1255 0 0 20 0 1 0 267834024 46239744 10392 33554432000 4194304 10173063 140733475251872 140733475245224 8023763 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11289 10392 866 1460 0 9820 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 45156
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.63 3/177 29267
/proc/meminfo: memFree=27822028/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=45004 CPUtime=1482.06 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 25085 0 0 0 146897 1309 0 0 20 0 1 0 267834024 46084096 10351 33554432000 4194304 10173063 140733475251872 140733475245176 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11251 10351 866 1460 0 9782 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 45004
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 1.66 3/177 29267
/proc/meminfo: memFree=27820788/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=46624 CPUtime=1542.05 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 25483 0 0 0 152839 1366 0 0 20 0 1 0 267834024 47742976 10749 33554432000 4194304 10173063 140733475251872 140733475244984 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11656 10749 866 1460 0 10187 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 46624
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.68 3/178 29271
/proc/meminfo: memFree=27793292/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47328 CPUtime=1602.04 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26222 0 0 0 158786 1418 0 0 20 0 1 0 267834024 48463872 10971 33554432000 4194304 10173063 140733475251872 140733475244584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11832 10971 866 1460 0 10363 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 47328
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.69 3/177 29271
/proc/meminfo: memFree=27793548/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1662.03 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26322 0 0 0 164735 1468 0 0 20 0 1 0 267834024 49086464 11071 33554432000 4194304 10173063 140733475251872 140733475245176 8007513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11071 866 1460 0 10515 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 47936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/177 29271
/proc/meminfo: memFree=27793604/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1722.02 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26327 0 0 0 170678 1524 0 0 20 0 1 0 267834024 49086464 11076 33554432000 4194304 10173063 140733475251872 140733475245320 8056056 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11076 866 1460 0 10515 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 47936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793356/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1782.02 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 176625 1577 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475244856 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 47936
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793356/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1785.21 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 176941 1580 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475245128 8016683 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1785.21
Current children cumulated vsize (KiB) 47936
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793356/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1791.62 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 177576 1586 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475248360 8023771 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 47936
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793852/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1794.82 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 177893 1589 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475244584 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 47936
[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793852/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1795.61 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 177972 1589 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475245128 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 47936
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793852/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1796.41 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 178051 1590 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475244744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 47936
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793852/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1796.61 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 178071 1590 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475244744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (KiB) 47936
[startup+1797 s]
/proc/loadavg: 2.00 2.00 1.73 3/177 29271
/proc/meminfo: memFree=27793852/32873844 swapFree=7100/7100
[pid=29217] ppid=29215 vsize=47936 CPUtime=1796.71 cores=0,2,4,6
/proc/29217/stat : 29217 (scip-2.1.1.4fix) R 29215 29217 29021 0 -1 4202496 26328 0 0 0 178081 1590 0 0 20 0 1 0 267834024 49086464 11077 33554432000 4194304 10173063 140733475251872 140733475244744 8982074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/29217/statm: 11984 11077 866 1460 0 10515 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 47936
Child status: 0
Real time (s): 1797.04
CPU time (s): 1796.76
CPU user time (s): 1780.85
CPU system time (s): 15.9106
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 47936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.85
system time used= 15.9106
maximum resident set size= 45952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26333
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= 10
involuntary context switches= 1922
runsolver used 6.45402 second user time and 16.4835 second system time
The end