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-3690882-1338017163.opb>
0.00/0.00 c original problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 470 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 o 470
0.00/0.01 c feasible solution found by trivial heuristic, objective value 4.700000e+02
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 43 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 43 chg coeffs, 470 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 3) 0 del vars, 65 del conss, 182 add conss, 0 chg bounds, 232 chg sides, 596 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.02/0.02 c (round 4) 0 del vars, 97 del conss, 195 add conss, 0 chg bounds, 289 chg sides, 692 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.02/0.02 c (round 5) 0 del vars, 99 del conss, 198 add conss, 0 chg bounds, 320 chg sides, 750 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.02/0.02 c (round 6) 0 del vars, 100 del conss, 199 add conss, 0 chg bounds, 326 chg sides, 776 chg coeffs, 471 upgd conss, 252 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.02/0.03 c presolving (7 rounds):
0.02/0.03 c 0 deleted vars, 100 deleted constraints, 199 added constraints, 0 tightened bounds, 0 added holes, 326 changed sides, 776 changed coefficients
0.02/0.03 c 252 implications, 0 cliques
0.02/0.03 c presolved problem has 470 variables (470 bin, 0 int, 0 impl, 0 cont) and 569 constraints
0.02/0.03 c 440 constraints of type <knapsack>
0.02/0.03 c 126 constraints of type <setppc>
0.02/0.03 c 3 constraints of type <logicor>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.02
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 2.1.1.4
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1797
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 13950
0.02/0.03 c
0.02/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.03 c # [type: int, range: [1,2], default: 1]
0.02/0.03 c timing/clocktype = 2
0.02/0.03 c
0.02/0.03 c # belongs reading time to solving time?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c timing/reading = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.78/0.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.78/0.89 c t 0.9s| 1 | 0 | 10638 | - |2704k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 4.700000e+02 | 212.88%
0.78/0.89 o 351
0.78/0.89 c r 0.9s| 1 | 0 | 10638 | - |2718k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.510000e+02 | 133.66%
0.78/0.89 o 350
0.78/0.89 c R 0.9s| 1 | 0 | 10638 | - |2731k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.500000e+02 | 132.99%
0.89/0.90 o 349
0.89/0.90 c s 0.9s| 1 | 0 | 10638 | - |2745k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.490000e+02 | 132.33%
1.29/1.36 o 221
1.29/1.36 c y 1.4s| 1 | 0 | 10638 | - |3108k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 2.210000e+02 | 47.12%
1.79/1.87 c 1.9s| 1 | 0 | 14518 | - |3033k| 0 | 378 | 470 | 569 | 470 | 769 | 200 | 0 | 0 | 1.554946e+02 | 2.210000e+02 | 42.13%
2.49/2.56 c 2.6s| 1 | 0 | 17800 | - |3295k| 0 | 416 | 470 | 569 | 470 | 951 | 382 | 0 | 0 | 1.586842e+02 | 2.210000e+02 | 39.27%
3.09/3.28 c 3.3s| 1 | 0 | 20657 | - |3476k| 0 | 416 | 470 | 569 | 470 |1080 | 511 | 0 | 0 | 1.604481e+02 | 2.210000e+02 | 37.74%
3.78/3.84 c 3.8s| 1 | 0 | 21812 | - |3572k| 0 | 428 | 470 | 569 | 470 |1159 | 590 | 0 | 0 | 1.610494e+02 | 2.210000e+02 | 37.22%
4.39/4.41 c 4.4s| 1 | 0 | 23003 | - |3628k| 0 | 434 | 470 | 569 | 470 |1213 | 644 | 0 | 0 | 1.614659e+02 | 2.210000e+02 | 36.87%
4.78/4.89 c 4.9s| 1 | 0 | 23550 | - |3655k| 0 | 432 | 470 | 569 | 470 |1245 | 676 | 0 | 0 | 1.616737e+02 | 2.210000e+02 | 36.70%
5.28/5.35 c 5.4s| 1 | 0 | 23835 | - |3677k| 0 | 438 | 470 | 569 | 470 |1266 | 697 | 0 | 0 | 1.617438e+02 | 2.210000e+02 | 36.64%
5.69/5.73 c 5.7s| 1 | 0 | 23922 | - |3685k| 0 | 440 | 470 | 569 | 470 |1269 | 700 | 0 | 0 | 1.617592e+02 | 2.210000e+02 | 36.62%
6.09/6.10 c 6.1s| 1 | 0 | 23991 | - |3693k| 0 | 434 | 470 | 569 | 470 |1272 | 703 | 0 | 0 | 1.617690e+02 | 2.210000e+02 | 36.61%
6.39/6.46 c 6.5s| 1 | 0 | 24038 | - |3700k| 0 | 436 | 470 | 569 | 470 |1273 | 704 | 0 | 0 | 1.617712e+02 | 2.210000e+02 | 36.61%
6.59/6.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.59/6.64 c 6.6s| 1 | 0 | 24098 | - |3707k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 0 | 1.617779e+02 | 2.210000e+02 | 36.61%
8.69/8.77 c 8.8s| 1 | 2 | 24098 | - |3728k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 16 | 1.617779e+02 | 2.210000e+02 | 36.61%
28.69/28.79 o 220
28.69/28.79 c c28.8s| 15 | 16 | 40291 |1156.6 |4483k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.200000e+02 | 35.82%
28.69/28.79 o 218
28.69/28.79 c c28.8s| 15 | 16 | 40333 |1159.6 |4490k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.180000e+02 | 34.59%
28.69/28.79 o 215
28.69/28.79 c c28.8s| 15 | 16 | 40334 |1159.7 |4492k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.150000e+02 | 32.73%
28.78/28.80 o 214
28.78/28.80 c c28.8s| 15 | 16 | 40366 |1162.0 |4501k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.140000e+02 | 32.12%
28.78/28.81 o 208
28.78/28.81 c b28.8s| 16 | 15 | 40435 |1089.1 |4398k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.080000e+02 | 28.41%
30.38/30.40 o 208
30.38/30.40 c p30.4s| 27 | 28 | 52494 |1092.2 |4607k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.080000e+02 | 28.41%
30.38/30.40 o 206
30.38/30.40 c p30.4s| 27 | 28 | 52501 |1092.4 |4609k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.060000e+02 | 27.18%
30.38/30.40 o 205
30.38/30.40 c p30.4s| 27 | 28 | 52524 |1093.3 |4613k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.050000e+02 | 26.56%
30.38/30.40 o 203
30.38/30.40 c p30.4s| 27 | 28 | 52528 |1093.5 |4614k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.030000e+02 | 25.32%
30.38/30.40 o 201
30.38/30.40 c p30.4s| 27 | 28 | 52542 |1094.0 |4617k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.010000e+02 | 24.09%
30.38/30.41 o 200
30.38/30.41 c p30.4s| 27 | 28 | 52561 |1094.7 |4625k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.000000e+02 | 23.47%
49.58/49.61 c 49.6s| 100 | 101 |232132 |2101.4 |4643k| 19 | 393 | 470 | 569 | 470 | 965 | 705 | 0 | 257 | 1.619793e+02 | 2.000000e+02 | 23.47%
58.78/58.80 o 200
58.78/58.80 c l58.8s| 163 | 164 |296787 |1683.3 |4856k| 23 | - | 470 | 569 | 470 | 965 | 705 | 0 | 281 | 1.619960e+02 | 2.000000e+02 | 23.46%
58.78/58.80 o 199
58.78/58.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.78/58.80 c l58.8s| 163 | 164 |296791 |1683.3 |4857k| 23 | - | 470 | 569 | 470 | 965 | 705 | 0 | 281 | 1.619960e+02 | 1.990000e+02 | 22.84%
63.98/64.01 o 198
63.98/64.01 c p64.0s| 195 | 196 |332588 |1590.2 |4870k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.980000e+02 | 22.23%
63.98/64.02 o 197
63.98/64.02 c p64.0s| 195 | 196 |332606 |1590.2 |4873k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
63.98/64.02 o 197
63.98/64.02 c p64.0s| 195 | 196 |332615 |1590.3 |4875k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
65.17/65.27 c 65.3s| 200 | 201 |342851 |1601.8 |4736k| 26 | 363 | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
76.67/76.75 o 196
76.67/76.75 c p76.7s| 222 | 223 |434303 |1856.1 |4908k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 312 | 1.620455e+02 | 1.960000e+02 | 20.95%
88.37/88.42 o 196
88.37/88.42 c p88.4s| 252 | 253 |520598 |1978.1 |4917k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 330 | 1.623002e+02 | 1.960000e+02 | 20.76%
88.37/88.42 o 195
88.37/88.42 c p88.4s| 252 | 253 |520601 |1978.1 |4918k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 330 | 1.623002e+02 | 1.950000e+02 | 20.15%
107.27/107.32 c 107s| 300 | 301 |668071 |2153.8 |4806k| 26 | 371 | 470 | 569 | 470 | 965 | 705 | 0 | 357 | 1.623232e+02 | 1.950000e+02 | 20.13%
130.47/130.52 c 131s| 400 | 401 |833487 |2028.5 |4868k| 26 | 384 | 470 | 569 | 470 | 965 | 705 | 0 | 420 | 1.624664e+02 | 1.950000e+02 | 20.02%
143.76/143.89 o 191
143.76/143.89 c C 144s| 452 | 453 |926942 |2001.9 |4901k| 26 | 399 | 470 | 569 | 470 | 965 | 705 | 0 | 456 | 1.624985e+02 | 1.910000e+02 | 17.54%
148.76/148.88 c 149s| 500 | 501 |958291 |1872.1 |4931k| 26 | 369 | 470 | 569 | 470 | 965 | 705 | 0 | 483 | 1.625032e+02 | 1.910000e+02 | 17.54%
173.06/173.10 c 173s| 600 | 601 | 1148k|1877.8 |4996k| 26 | 359 | 470 | 569 | 470 | 965 | 705 | 0 | 513 | 1.625432e+02 | 1.910000e+02 | 17.51%
188.76/188.85 c 189s| 700 | 701 | 1273k|1787.1 |5059k| 28 | 398 | 470 | 569 | 470 | 965 | 705 | 0 | 516 | 1.625885e+02 | 1.910000e+02 | 17.47%
208.55/208.68 c 209s| 800 | 801 | 1414k|1740.8 |5125k| 29 | 362 | 470 | 569 | 470 | 965 | 705 | 0 | 582 | 1.625955e+02 | 1.910000e+02 | 17.47%
223.26/223.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
223.26/223.35 c 223s| 900 | 901 | 1514k|1658.3 |5189k| 29 | 391 | 470 | 569 | 470 | 965 | 705 | 0 | 641 | 1.626632e+02 | 1.910000e+02 | 17.42%
236.05/236.16 c 236s| 1000 | 1001 | 1610k|1588.1 |5255k| 29 | 398 | 470 | 569 | 470 | 965 | 705 | 0 | 654 | 1.626891e+02 | 1.910000e+02 | 17.40%
246.04/246.10 c 246s| 1100 | 1101 | 1685k|1511.8 |5320k| 29 | 378 | 470 | 569 | 470 | 965 | 705 | 0 | 656 | 1.627183e+02 | 1.910000e+02 | 17.38%
257.95/258.00 c 258s| 1200 | 1201 | 1769k|1456.1 |5389k| 46 | 258 | 470 | 569 | 470 | 965 | 705 | 0 | 705 | 1.627319e+02 | 1.910000e+02 | 17.37%
261.75/261.86 c 262s| 1300 | 1301 | 1800k|1367.7 |5461k| 74 | 209 | 470 | 569 | 470 | 965 | 705 | 0 | 727 | 1.627319e+02 | 1.910000e+02 | 17.37%
263.75/263.83 c 264s| 1400 | 1401 | 1816k|1281.4 |5533k| 97 | 152 | 470 | 569 | 470 | 965 | 705 | 0 | 750 | 1.627319e+02 | 1.910000e+02 | 17.37%
265.74/265.80 c 266s| 1500 | 1501 | 1830k|1205.0 |5607k| 105 | 149 | 470 | 569 | 470 | 965 | 705 | 0 | 784 | 1.627453e+02 | 1.910000e+02 | 17.36%
266.05/266.10 c 266s| 1600 | 1553 | 1833k|1131.5 |5659k| 122 | 80 | 470 | 569 | 470 | 965 | 705 | 0 | 785 | 1.627453e+02 | 1.910000e+02 | 17.36%
270.04/270.13 c 270s| 1700 | 1587 | 1863k|1082.7 |5688k| 122 | 81 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627617e+02 | 1.910000e+02 | 17.35%
271.94/272.01 c 272s| 1800 | 1617 | 1877k|1030.5 |5715k| 123 | 378 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627663e+02 | 1.910000e+02 | 17.35%
273.24/273.32 c 273s| 1900 | 1675 | 1888k| 982.0 |5764k| 123 | 131 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627663e+02 | 1.910000e+02 | 17.35%
275.24/275.31 c 275s| 2000 | 1749 | 1906k| 941.5 |5836k| 127 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627798e+02 | 1.910000e+02 | 17.34%
278.44/278.52 c 279s| 2100 | 1799 | 1931k| 908.8 |5882k| 132 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627850e+02 | 1.910000e+02 | 17.33%
280.55/280.61 c 281s| 2200 | 1819 | 1949k| 875.5 |5903k| 132 | 113 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627881e+02 | 1.910000e+02 | 17.33%
283.54/283.69 c 284s| 2300 | 1871 | 1973k| 847.7 |5943k| 135 | 90 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628135e+02 | 1.910000e+02 | 17.31%
285.95/286.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.95/286.03 c 286s| 2400 | 1919 | 1992k| 820.7 |5988k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628309e+02 | 1.910000e+02 | 17.30%
289.04/289.12 c 289s| 2500 | 1959 | 2017k| 797.8 |6025k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628334e+02 | 1.910000e+02 | 17.30%
292.64/292.73 c 293s| 2600 | 1989 | 2040k| 775.8 |6045k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 819 | 1.628465e+02 | 1.910000e+02 | 17.29%
296.34/296.46 c 296s| 2700 | 2019 | 2065k| 756.5 |6076k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 836 | 1.628468e+02 | 1.910000e+02 | 17.29%
300.35/300.46 c 300s| 2800 | 2051 | 2093k| 739.3 |6102k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 855 | 1.628495e+02 | 1.910000e+02 | 17.29%
302.44/302.52 c 303s| 2900 | 2071 | 2109k| 719.3 |6108k| 135 | 377 | 470 | 569 | 470 | 965 | 705 | 0 | 855 | 1.628662e+02 | 1.910000e+02 | 17.27%
304.24/304.34 c 304s| 3000 | 2089 | 2119k| 698.9 |6130k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 874 | 1.628662e+02 | 1.910000e+02 | 17.27%
309.64/309.77 c 310s| 3100 | 2131 | 2156k| 688.2 |6162k| 135 | 58 | 470 | 569 | 470 | 965 | 705 | 0 | 902 | 1.628785e+02 | 1.910000e+02 | 17.27%
310.04/310.10 c 310s| 3200 | 2165 | 2160k| 667.8 |6193k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 902 | 1.628785e+02 | 1.910000e+02 | 17.27%
314.14/314.20 c 314s| 3300 | 2211 | 2188k| 656.2 |6224k| 135 | 76 | 470 | 569 | 470 | 965 | 705 | 0 | 918 | 1.628819e+02 | 1.910000e+02 | 17.26%
316.04/316.18 c 316s| 3400 | 2249 | 2205k| 641.7 |6258k| 135 | 120 | 470 | 569 | 470 | 965 | 705 | 0 | 918 | 1.628854e+02 | 1.910000e+02 | 17.26%
317.84/317.97 c 318s| 3500 | 2311 | 2220k| 627.8 |6311k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 | 919 | 1.628854e+02 | 1.910000e+02 | 17.26%
321.14/321.25 c 321s| 3600 | 2365 | 2247k| 617.9 |6352k| 135 | 111 | 470 | 572 | 470 | 965 | 705 | 3 | 919 | 1.628916e+02 | 1.910000e+02 | 17.26%
324.44/324.52 c 325s| 3700 | 2405 | 2274k| 608.3 |6387k| 135 | 94 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.628967e+02 | 1.910000e+02 | 17.25%
325.14/325.21 c 325s| 3800 | 2425 | 2279k| 593.7 |6402k| 135 | 381 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.628990e+02 | 1.910000e+02 | 17.25%
327.24/327.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.24/327.38 c 327s| 3900 | 2475 | 2296k| 582.7 |6442k| 135 | 374 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629008e+02 | 1.910000e+02 | 17.25%
328.73/328.88 c 329s| 4000 | 2479 | 2308k| 571.3 |6453k| 135 | - | 470 | 572 | 0 | 0 | 705 | 3 | 920 | 1.629008e+02 | 1.910000e+02 | 17.25%
332.63/332.78 c 333s| 4100 | 2531 | 2340k| 565.2 |6492k| 135 | 367 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629058e+02 | 1.910000e+02 | 17.25%
333.83/333.92 c 334s| 4200 | 2559 | 2350k| 554.0 |6521k| 135 | 71 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629058e+02 | 1.910000e+02 | 17.25%
335.54/335.60 c 336s| 4300 | 2581 | 2364k| 544.3 |6538k| 135 | 109 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629071e+02 | 1.910000e+02 | 17.24%
337.94/338.02 c 338s| 4400 | 2631 | 2379k| 535.4 |6580k| 135 | 110 | 470 | 572 | 470 | 965 | 705 | 3 | 934 | 1.629107e+02 | 1.910000e+02 | 17.24%
338.53/338.68 c 339s| 4500 | 2671 | 2385k| 524.8 |6608k| 135 | 363 | 470 | 572 | 470 | 965 | 705 | 3 | 934 | 1.629116e+02 | 1.910000e+02 | 17.24%
340.83/340.96 c 341s| 4600 | 2693 | 2403k| 517.5 |6632k| 135 | 391 | 470 | 572 | 470 | 965 | 705 | 3 | 957 | 1.629136e+02 | 1.910000e+02 | 17.24%
345.44/345.59 c 346s| 4700 | 2755 | 2435k| 513.3 |6679k| 135 | 119 | 470 | 572 | 470 | 965 | 705 | 3 | 984 | 1.629160e+02 | 1.910000e+02 | 17.24%
346.93/347.03 c 347s| 4800 | 2811 | 2444k| 504.3 |6729k| 135 | 78 | 470 | 572 | 470 | 965 | 705 | 3 |1004 | 1.629160e+02 | 1.910000e+02 | 17.24%
347.33/347.42 c 347s| 4900 | 2859 | 2448k| 494.8 |6768k| 135 | 106 | 470 | 572 | 470 | 965 | 705 | 3 |1011 | 1.629160e+02 | 1.910000e+02 | 17.24%
347.64/347.77 c 348s| 5000 | 2907 | 2451k| 485.5 |6814k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1029 | 1.629160e+02 | 1.910000e+02 | 17.24%
355.13/355.24 c 355s| 5100 | 2975 | 2503k| 486.3 |6867k| 135 | 76 | 470 | 572 | 470 | 965 | 705 | 3 |1059 | 1.629288e+02 | 1.910000e+02 | 17.23%
356.93/357.06 c 357s| 5200 | 2995 | 2517k| 479.5 |6888k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1068 | 1.629301e+02 | 1.910000e+02 | 17.23%
358.54/358.63 c 359s| 5300 | 3019 | 2528k| 472.7 |6906k| 135 | 113 | 470 | 572 | 470 | 965 | 705 | 3 |1071 | 1.629344e+02 | 1.910000e+02 | 17.23%
360.33/360.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.33/360.45 c 360s| 5400 | 3057 | 2545k| 467.0 |6945k| 135 | 122 | 470 | 572 | 470 | 965 | 705 | 3 |1071 | 1.629367e+02 | 1.910000e+02 | 17.22%
362.33/362.45 c 362s| 5500 | 3093 | 2562k| 461.6 |6981k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629439e+02 | 1.910000e+02 | 17.22%
363.83/363.92 c 364s| 5600 | 3131 | 2574k| 455.5 |7014k| 135 | 87 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629465e+02 | 1.910000e+02 | 17.22%
369.13/369.24 c 369s| 5700 | 3185 | 2617k| 455.1 |7063k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629537e+02 | 1.910000e+02 | 17.21%
370.73/370.82 c 371s| 5800 | 3217 | 2630k| 449.4 |7095k| 135 | 86 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629569e+02 | 1.910000e+02 | 17.21%
371.43/371.57 c 372s| 5900 | 3261 | 2636k| 442.9 |7132k| 135 | 382 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629609e+02 | 1.910000e+02 | 17.21%
374.32/374.48 c 374s| 6000 | 3287 | 2661k| 439.6 |7160k| 135 | 74 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629707e+02 | 1.910000e+02 | 17.20%
377.12/377.28 c 377s| 6100 | 3325 | 2682k| 435.9 |7189k| 135 | 90 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629797e+02 | 1.910000e+02 | 17.19%
380.83/380.97 c 381s| 6200 | 3371 | 2713k| 433.8 |7229k| 135 | 127 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629882e+02 | 1.910000e+02 | 17.19%
384.94/385.07 c 385s| 6300 | 3437 | 2741k| 431.4 |7285k| 135 | 362 | 470 | 572 | 470 | 965 | 705 | 3 |1108 | 1.629937e+02 | 1.910000e+02 | 17.18%
388.24/388.34 c 388s| 6400 | 3483 | 2765k| 428.3 |7321k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1125 | 1.629937e+02 | 1.910000e+02 | 17.18%
390.63/390.75 c 391s| 6500 | 3529 | 2779k| 423.9 |7359k| 135 | 89 | 470 | 572 | 470 | 965 | 705 | 3 |1144 | 1.629963e+02 | 1.910000e+02 | 17.18%
392.63/392.73 c 393s| 6600 | 3585 | 2796k| 420.2 |7419k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1144 | 1.629971e+02 | 1.910000e+02 | 17.18%
396.22/396.34 c 396s| 6700 | 3635 | 2820k| 417.5 |7458k| 135 | 87 | 470 | 572 | 470 | 965 | 705 | 3 |1159 | 1.629973e+02 | 1.910000e+02 | 17.18%
398.52/398.69 c 399s| 6800 | 3693 | 2835k| 413.5 |7508k| 135 | 76 | 470 | 572 | 470 | 965 | 705 | 3 |1178 | 1.629983e+02 | 1.910000e+02 | 17.18%
399.33/399.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
399.33/399.42 c 399s| 6900 | 3723 | 2841k| 408.4 |7536k| 135 | 373 | 470 | 572 | 470 | 965 | 705 | 3 |1178 | 1.629983e+02 | 1.910000e+02 | 17.18%
402.32/402.49 c 402s| 7000 | 3747 | 2865k| 405.9 |7560k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1187 | 1.630016e+02 | 1.910000e+02 | 17.18%
407.72/407.84 c 408s| 7100 | 3807 | 2905k| 405.9 |7602k| 135 | 112 | 470 | 572 | 470 | 965 | 705 | 3 |1208 | 1.630080e+02 | 1.910000e+02 | 17.17%
409.62/409.75 c 410s| 7200 | 3869 | 2921k| 402.4 |7653k| 135 | 96 | 470 | 572 | 470 | 965 | 705 | 3 |1209 | 1.630127e+02 | 1.910000e+02 | 17.17%
411.92/412.09 c 412s| 7300 | 3921 | 2939k| 399.4 |7689k| 135 | 113 | 470 | 572 | 470 | 965 | 705 | 3 |1209 | 1.630196e+02 | 1.910000e+02 | 17.16%
413.42/413.57 c 414s| 7400 | 3975 | 2951k| 395.6 |7735k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630211e+02 | 1.910000e+02 | 17.16%
417.32/417.41 c 417s| 7500 | 4021 | 2982k| 394.5 |7772k| 135 | 378 | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630262e+02 | 1.910000e+02 | 17.16%
421.02/421.10 c 421s| 7600 | 4075 | 3011k| 393.1 |7815k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630306e+02 | 1.910000e+02 | 17.16%
425.82/425.96 c 426s| 7700 | 4121 | 3051k| 393.2 |7858k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630323e+02 | 1.910000e+02 | 17.15%
438.93/439.09 c 439s| 7800 | 4181 | 3182k| 405.0 |7902k| 135 | 109 | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630346e+02 | 1.910000e+02 | 17.15%
443.12/443.22 c 443s| 7900 | 4225 | 3207k| 403.0 |7943k| 135 | 90 | 470 | 572 | 470 | 965 | 705 | 3 |1243 | 1.630418e+02 | 1.910000e+02 | 17.15%
445.91/446.04 c 446s| 8000 | 4275 | 3230k| 400.8 |7985k| 135 | 111 | 470 | 572 | 470 | 965 | 705 | 3 |1243 | 1.630521e+02 | 1.910000e+02 | 17.14%
450.02/450.13 c 450s| 8100 | 4345 | 3259k| 399.4 |8040k| 135 | 81 | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630566e+02 | 1.910000e+02 | 17.14%
450.21/450.36 c 450s| 8200 | 4363 | 3261k| 394.9 |8064k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630566e+02 | 1.910000e+02 | 17.14%
451.61/451.70 c 452s| 8300 | 4381 | 3272k| 391.4 |8079k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630569e+02 | 1.910000e+02 | 17.14%
454.33/454.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
454.33/454.42 c 454s| 8400 | 4427 | 3291k| 389.0 |8119k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1271 | 1.630619e+02 | 1.910000e+02 | 17.13%
456.71/456.89 c 457s| 8500 | 4471 | 3308k| 386.4 |8153k| 135 | 375 | 470 | 572 | 470 | 965 | 705 | 3 |1281 | 1.630641e+02 | 1.910000e+02 | 17.13%
462.41/462.59 c 463s| 8600 | 4521 | 3347k| 386.5 |8198k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1309 | 1.630666e+02 | 1.910000e+02 | 17.13%
463.21/463.36 c 463s| 8700 | 4549 | 3353k| 382.7 |8227k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1309 | 1.630674e+02 | 1.910000e+02 | 17.13%
465.91/466.00 c 466s| 8800 | 4579 | 3371k| 380.4 |8253k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1321 | 1.630701e+02 | 1.910000e+02 | 17.13%
469.11/469.25 c 469s| 8900 | 4613 | 3395k| 378.8 |8285k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1332 | 1.630713e+02 | 1.910000e+02 | 17.13%
473.71/473.80 c 474s| 9000 | 4673 | 3430k| 378.5 |8326k| 135 | 370 | 470 | 572 | 470 | 965 | 705 | 3 |1334 | 1.630784e+02 | 1.910000e+02 | 17.12%
476.01/476.17 c 476s| 9100 | 4719 | 3448k| 376.4 |8366k| 135 | 95 | 470 | 572 | 470 | 965 | 705 | 3 |1334 | 1.630805e+02 | 1.910000e+02 | 17.12%
480.21/480.38 c 480s| 9200 | 4783 | 3481k| 375.9 |8414k| 135 | 371 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.630897e+02 | 1.910000e+02 | 17.11%
484.91/485.10 c 485s| 9300 | 4833 | 3520k| 375.9 |8453k| 135 | 379 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.630916e+02 | 1.910000e+02 | 17.11%
488.31/488.49 c 488s| 9400 | 4885 | 3545k| 374.7 |8499k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631020e+02 | 1.910000e+02 | 17.10%
489.22/489.32 c 489s| 9500 | 4905 | 3552k| 371.4 |8512k| 135 | 83 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631028e+02 | 1.910000e+02 | 17.10%
493.31/493.43 c 493s| 9600 | 4955 | 3586k| 371.1 |8553k| 135 | 80 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631049e+02 | 1.910000e+02 | 17.10%
497.81/497.95 c 498s| 9700 | 4997 | 3622k| 371.0 |8589k| 135 | 80 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631097e+02 | 1.910000e+02 | 17.10%
499.51/499.66 c 500s| 9800 | 5035 | 3638k| 368.8 |8621k| 135 | 98 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631120e+02 | 1.910000e+02 | 17.10%
500.90/501.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
500.90/501.05 c 501s| 9900 | 5071 | 3648k| 366.1 |8651k| 135 | 99 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631143e+02 | 1.910000e+02 | 17.10%
502.51/502.60 c 503s| 10000 | 5119 | 3661k| 363.7 |8686k| 135 | 83 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631146e+02 | 1.910000e+02 | 17.10%
504.31/504.45 c 504s| 10100 | 5151 | 3676k| 361.7 |8722k| 135 | 104 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631146e+02 | 1.910000e+02 | 17.10%
507.31/507.48 c 507s| 10200 | 5193 | 3701k| 360.6 |8757k| 135 | 129 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631170e+02 | 1.910000e+02 | 17.09%
509.11/509.27 c 509s| 10300 | 5239 | 3717k| 358.6 |8799k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631172e+02 | 1.910000e+02 | 17.09%
512.00/512.16 c 512s| 10400 | 5267 | 3740k| 357.4 |8817k| 135 | 72 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631209e+02 | 1.910000e+02 | 17.09%
515.21/515.31 c 515s| 10500 | 5309 | 3765k| 356.4 |8849k| 135 | 79 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631227e+02 | 1.910000e+02 | 17.09%
517.11/517.25 c 517s| 10600 | 5335 | 3782k| 354.6 |8873k| 135 | 98 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631230e+02 | 1.910000e+02 | 17.09%
517.30/517.48 c 517s| 10700 | 5357 | 3784k| 351.5 |8907k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631230e+02 | 1.910000e+02 | 17.09%
520.61/520.79 c 521s| 10800 | 5411 | 3811k| 350.8 |8950k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631289e+02 | 1.910000e+02 | 17.09%
523.61/523.72 c 524s| 10900 | 5435 | 3834k| 349.6 |8966k| 135 | 72 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631293e+02 | 1.910000e+02 | 17.09%
523.80/523.94 c 524s| 11000 | 5445 | 3836k| 346.7 |8966k| 135 | 94 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631293e+02 | 1.910000e+02 | 17.09%
524.81/524.90 c 525s| 11100 | 5481 | 3844k| 344.2 |9003k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631296e+02 | 1.910000e+02 | 17.08%
528.71/528.80 c 529s| 11200 | 5515 | 3877k| 344.1 |9022k| 135 | 374 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631369e+02 | 1.910000e+02 | 17.08%
530.40/530.56 c 531s| 11300 | 5525 | 3892k| 342.4 |9029k| 135 | 380 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631380e+02 | 1.910000e+02 | 17.08%
533.00/533.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
533.00/533.14 c 533s| 11400 | 5557 | 3913k| 341.2 |9063k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631380e+02 | 1.910000e+02 | 17.08%
535.71/535.89 c 536s| 11500 | 5603 | 3934k| 340.1 |9101k| 135 | 381 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631393e+02 | 1.910000e+02 | 17.08%
540.70/540.85 c 541s| 11600 | 5651 | 3974k| 340.6 |9140k| 135 | 88 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631434e+02 | 1.910000e+02 | 17.07%
543.20/543.39 c 543s| 11700 | 5701 | 3993k| 339.3 |9179k| 135 | 138 | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631482e+02 | 1.910000e+02 | 17.07%
544.51/544.66 c 545s| 11800 | 5739 | 4003k| 337.2 |9211k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631498e+02 | 1.910000e+02 | 17.07%
545.70/545.85 c 546s| 11900 | 5795 | 4012k| 335.2 |9258k| 135 | 382 | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631527e+02 | 1.910000e+02 | 17.07%
548.50/548.66 c 549s| 12000 | 5827 | 4035k| 334.3 |9294k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1339 | 1.631527e+02 | 1.910000e+02 | 17.07%
553.31/553.41 c 553s| 12100 | 5871 | 4071k| 334.5 |9327k| 135 | 117 | 470 | 571 | 470 | 965 | 705 | 3 |1349 | 1.631558e+02 | 1.910000e+02 | 17.07%
556.29/556.46 c 556s| 12200 | 5913 | 4091k| 333.4 |9368k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1363 | 1.631573e+02 | 1.910000e+02 | 17.06%
560.60/560.78 c 561s| 12300 | 5953 | 4118k| 332.9 |9391k| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 3 |1383 | 1.631614e+02 | 1.910000e+02 | 17.06%
563.20/563.39 c 563s| 12400 | 5989 | 4141k| 332.0 |9422k| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 3 |1383 | 1.631659e+02 | 1.910000e+02 | 17.06%
567.61/567.76 c 568s| 12500 | 6039 | 4172k| 331.9 |9462k| 135 | 126 | 470 | 571 | 470 | 965 | 705 | 3 |1399 | 1.631696e+02 | 1.910000e+02 | 17.06%
568.71/568.81 c 569s| 12600 | 6077 | 4179k| 329.8 |9499k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1415 | 1.631714e+02 | 1.910000e+02 | 17.05%
571.69/571.86 c 572s| 12700 | 6123 | 4202k| 329.0 |9540k| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 3 |1423 | 1.631727e+02 | 1.910000e+02 | 17.05%
573.40/573.52 c 574s| 12800 | 6159 | 4215k| 327.5 |9575k| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631738e+02 | 1.910000e+02 | 17.05%
573.60/573.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
573.60/573.73 c 574s| 12900 | 6171 | 4218k| 325.1 |9595k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631738e+02 | 1.910000e+02 | 17.05%
577.20/577.33 c 577s| 13000 | 6211 | 4247k| 324.9 |9624k| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631757e+02 | 1.910000e+02 | 17.05%
577.90/578.03 c 578s| 13100 | 6237 | 4253k| 322.9 |9645k| 135 | 378 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631758e+02 | 1.910000e+02 | 17.05%
580.00/580.10 c 580s| 13200 | 6267 | 4269k| 321.6 |9671k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631786e+02 | 1.910000e+02 | 17.05%
581.90/582.08 c 582s| 13300 | 6291 | 4285k| 320.4 |9688k| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631804e+02 | 1.910000e+02 | 17.05%
583.19/583.37 c 583s| 13400 | 6331 | 4295k| 318.8 |9726k| 135 | 118 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631820e+02 | 1.910000e+02 | 17.05%
583.90/584.10 c 584s| 13500 | 6365 | 4301k| 316.9 |9758k| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631827e+02 | 1.910000e+02 | 17.05%
585.60/585.70 c 586s| 13600 | 6387 | 4316k| 315.6 |9779k| 135 | 83 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631827e+02 | 1.910000e+02 | 17.05%
588.69/588.83 c 589s| 13700 | 6419 | 4340k| 315.1 |9809k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631844e+02 | 1.910000e+02 | 17.05%
590.50/590.63 c 591s| 13800 | 6443 | 4355k| 313.9 |9840k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631859e+02 | 1.910000e+02 | 17.04%
592.99/593.14 c 593s| 13900 | 6505 | 4375k| 313.1 |9887k| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631870e+02 | 1.910000e+02 | 17.04%
593.59/593.76 c 594s| 14000 | 6547 | 4380k| 311.2 |9923k| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631873e+02 | 1.910000e+02 | 17.04%
598.50/598.68 c 599s| 14100 | 6577 | 4418k| 311.7 |9948k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1435 | 1.631917e+02 | 1.910000e+02 | 17.04%
600.50/600.69 c 601s| 14200 | 6591 | 4430k| 310.4 |9958k| 135 | 96 | 470 | 571 | 470 | 965 | 705 | 3 |1446 | 1.631933e+02 | 1.910000e+02 | 17.04%
603.29/603.43 c 603s| 14300 | 6637 | 4448k| 309.4 |9996k| 135 | 100 | 470 | 571 | 470 | 965 | 705 | 3 |1460 | 1.631947e+02 | 1.910000e+02 | 17.04%
604.89/605.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
604.89/605.04 c 605s| 14400 | 6687 | 4461k| 308.2 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1460 | 1.631976e+02 | 1.910000e+02 | 17.04%
606.29/606.46 c 606s| 14500 | 6713 | 4467k| 306.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1478 | 1.631994e+02 | 1.910000e+02 | 17.03%
609.19/609.37 c 609s| 14600 | 6747 | 4490k| 305.9 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1478 | 1.632007e+02 | 1.910000e+02 | 17.03%
615.00/615.10 c 615s| 14700 | 6797 | 4528k| 306.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1506 | 1.632046e+02 | 1.910000e+02 | 17.03%
615.69/615.84 c 616s| 14800 | 6815 | 4534k| 304.8 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1506 | 1.632047e+02 | 1.910000e+02 | 17.03%
617.19/617.37 c 617s| 14900 | 6843 | 4544k| 303.4 | 10M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |1521 | 1.632047e+02 | 1.910000e+02 | 17.03%
621.29/621.40 c 621s| 15000 | 6881 | 4575k| 303.5 | 10M| 135 | 79 | 470 | 571 | 470 | 965 | 705 | 3 |1529 | 1.632055e+02 | 1.910000e+02 | 17.03%
622.39/622.52 c 623s| 15100 | 6913 | 4584k| 302.0 | 10M| 135 | 355 | 470 | 571 | 470 | 965 | 705 | 3 |1530 | 1.632084e+02 | 1.910000e+02 | 17.03%
626.29/626.44 c 626s| 15200 | 6963 | 4616k| 302.1 | 10M| 135 | 372 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632114e+02 | 1.910000e+02 | 17.03%
627.19/627.36 c 627s| 15300 | 6997 | 4623k| 300.6 | 10M| 135 | 118 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632118e+02 | 1.910000e+02 | 17.03%
628.89/629.04 c 629s| 15400 | 7043 | 4636k| 299.5 | 10M| 135 | 93 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632122e+02 | 1.910000e+02 | 17.03%
630.69/630.83 c 631s| 15500 | 7081 | 4652k| 298.6 | 10M| 135 | 98 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632165e+02 | 1.910000e+02 | 17.02%
635.38/635.52 c 636s| 15600 | 7125 | 4690k| 299.1 | 10M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632186e+02 | 1.910000e+02 | 17.02%
637.69/637.87 c 638s| 15700 | 7157 | 4710k| 298.5 | 10M| 135 | 373 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632188e+02 | 1.910000e+02 | 17.02%
639.89/640.00 c 640s| 15800 | 7195 | 4727k| 297.7 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632195e+02 | 1.910000e+02 | 17.02%
644.38/644.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
644.38/644.54 c 645s| 15900 | 7257 | 4764k| 298.1 | 10M| 135 | 361 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632266e+02 | 1.910000e+02 | 17.02%
646.69/646.88 c 647s| 16000 | 7297 | 4782k| 297.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632327e+02 | 1.910000e+02 | 17.01%
647.99/648.13 c 648s| 16100 | 7341 | 4789k| 296.0 | 10M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1543 | 1.632331e+02 | 1.910000e+02 | 17.01%
649.79/649.93 c 650s| 16200 | 7371 | 4805k| 295.2 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1543 | 1.632351e+02 | 1.910000e+02 | 17.01%
653.99/654.13 c 654s| 16300 | 7419 | 4833k| 295.1 | 10M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1563 | 1.632359e+02 | 1.910000e+02 | 17.01%
654.69/654.84 c 655s| 16400 | 7433 | 4838k| 293.6 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1563 | 1.632362e+02 | 1.910000e+02 | 17.01%
656.59/656.80 c 657s| 16500 | 7455 | 4848k| 292.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1582 | 1.632374e+02 | 1.910000e+02 | 17.01%
658.19/658.38 c 658s| 16600 | 7483 | 4861k| 291.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1582 | 1.632374e+02 | 1.910000e+02 | 17.01%
662.28/662.45 c 662s| 16700 | 7541 | 4891k| 291.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1592 | 1.632383e+02 | 1.910000e+02 | 17.01%
665.98/666.11 c 666s| 16800 | 7569 | 4917k| 291.3 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1604 | 1.632405e+02 | 1.910000e+02 | 17.01%
667.59/667.73 c 668s| 16900 | 7581 | 4930k| 290.3 | 10M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1604 | 1.632415e+02 | 1.910000e+02 | 17.00%
669.38/669.52 c 670s| 17000 | 7607 | 4940k| 289.2 | 10M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |1617 | 1.632427e+02 | 1.910000e+02 | 17.00%
670.99/671.19 c 671s| 17100 | 7631 | 4953k| 288.3 | 10M| 135 | 64 | 470 | 571 | 470 | 965 | 705 | 3 |1622 | 1.632437e+02 | 1.910000e+02 | 17.00%
673.28/673.42 c 673s| 17200 | 7657 | 4968k| 287.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1630 | 1.632444e+02 | 1.910000e+02 | 17.00%
678.38/678.57 c 679s| 17300 | 7711 | 5010k| 288.3 | 10M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632471e+02 | 1.910000e+02 | 17.00%
679.09/679.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.09/679.26 c 679s| 17400 | 7713 | 5016k| 286.9 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632476e+02 | 1.910000e+02 | 17.00%
680.79/681.00 c 681s| 17500 | 7729 | 5030k| 286.1 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632497e+02 | 1.910000e+02 | 17.00%
682.18/682.38 c 682s| 17600 | 7743 | 5042k| 285.1 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632509e+02 | 1.910000e+02 | 17.00%
682.78/682.96 c 683s| 17700 | 7773 | 5047k| 283.8 | 10M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632513e+02 | 1.910000e+02 | 17.00%
683.98/684.11 c 684s| 17800 | 7805 | 5057k| 282.8 | 11M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632513e+02 | 1.910000e+02 | 17.00%
684.78/684.96 c 685s| 17900 | 7851 | 5064k| 281.6 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632514e+02 | 1.910000e+02 | 17.00%
689.78/689.92 c 690s| 18000 | 7897 | 5104k| 282.3 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632544e+02 | 1.910000e+02 | 17.00%
691.79/692.00 c 692s| 18100 | 7923 | 5120k| 281.6 | 11M| 135 | 60 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632579e+02 | 1.910000e+02 | 16.99%
693.98/694.19 c 694s| 18200 | 7955 | 5137k| 281.0 | 11M| 135 | 63 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632601e+02 | 1.910000e+02 | 16.99%
694.88/695.00 c 695s| 18300 | 7965 | 5143k| 279.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632603e+02 | 1.910000e+02 | 16.99%
696.08/696.24 c 696s| 18400 | 8005 | 5153k| 278.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632646e+02 | 1.910000e+02 | 16.99%
698.28/698.42 c 698s| 18500 | 8027 | 5170k| 278.2 | 11M| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632667e+02 | 1.910000e+02 | 16.99%
698.98/699.13 c 699s| 18600 | 8045 | 5175k| 277.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1634 | 1.632688e+02 | 1.910000e+02 | 16.99%
701.78/701.95 c 702s| 18700 | 8075 | 5190k| 276.3 | 11M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632702e+02 | 1.910000e+02 | 16.98%
704.78/704.98 c 705s| 18800 | 8121 | 5215k| 276.1 | 11M| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632704e+02 | 1.910000e+02 | 16.98%
707.38/707.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.38/707.58 c 708s| 18900 | 8169 | 5236k| 275.8 | 11M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632711e+02 | 1.910000e+02 | 16.98%
709.48/709.66 c 710s| 19000 | 8199 | 5250k| 275.1 | 11M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1671 | 1.632711e+02 | 1.910000e+02 | 16.98%
711.18/711.31 c 711s| 19100 | 8217 | 5264k| 274.4 | 11M| 135 | 71 | 470 | 571 | 470 | 965 | 705 | 3 |1683 | 1.632713e+02 | 1.910000e+02 | 16.98%
715.37/715.55 c 716s| 19200 | 8259 | 5294k| 274.5 | 11M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |1697 | 1.632781e+02 | 1.910000e+02 | 16.98%
716.87/717.09 c 717s| 19300 | 8285 | 5306k| 273.7 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1706 | 1.632786e+02 | 1.910000e+02 | 16.98%
722.08/722.29 c 722s| 19400 | 8349 | 5344k| 274.2 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1722 | 1.632796e+02 | 1.910000e+02 | 16.98%
725.28/725.45 c 725s| 19500 | 8393 | 5365k| 273.9 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1739 | 1.632805e+02 | 1.910000e+02 | 16.98%
728.77/728.99 c 729s| 19600 | 8421 | 5393k| 274.0 | 11M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632814e+02 | 1.910000e+02 | 16.98%
728.97/729.19 c 729s| 19700 | 8441 | 5395k| 272.7 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632814e+02 | 1.910000e+02 | 16.98%
729.77/729.96 c 730s| 19800 | 8475 | 5401k| 271.6 | 11M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632816e+02 | 1.910000e+02 | 16.98%
731.77/731.94 c 732s| 19900 | 8503 | 5416k| 271.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632826e+02 | 1.910000e+02 | 16.98%
733.17/733.31 c 733s| 20000 | 8533 | 5427k| 270.2 | 11M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632844e+02 | 1.910000e+02 | 16.97%
737.67/737.80 c 738s| 20100 | 8583 | 5462k| 270.6 | 11M| 135 | 69 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632855e+02 | 1.910000e+02 | 16.97%
740.77/740.92 c 741s| 20200 | 8627 | 5487k| 270.5 | 11M| 135 | 94 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632903e+02 | 1.910000e+02 | 16.97%
742.48/742.61 c 743s| 20300 | 8635 | 5500k| 269.8 | 11M| 135 | 65 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632914e+02 | 1.910000e+02 | 16.97%
743.28/743.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
743.28/743.44 c 743s| 20400 | 8665 | 5507k| 268.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632915e+02 | 1.910000e+02 | 16.97%
744.68/744.84 c 745s| 20500 | 8689 | 5518k| 268.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632949e+02 | 1.910000e+02 | 16.97%
745.87/746.06 c 746s| 20600 | 8709 | 5527k| 267.2 | 11M| 135 | 384 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632981e+02 | 1.910000e+02 | 16.96%
747.88/748.01 c 748s| 20700 | 8749 | 5544k| 266.7 | 11M| 135 | 368 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632985e+02 | 1.910000e+02 | 16.96%
750.57/750.75 c 751s| 20800 | 8791 | 5565k| 266.4 | 11M| 135 | 376 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632999e+02 | 1.910000e+02 | 16.96%
755.58/755.79 c 756s| 20900 | 8843 | 5603k| 267.0 | 11M| 135 | 109 | 470 | 571 | 470 | 965 | 705 | 3 |1762 | 1.633021e+02 | 1.910000e+02 | 16.96%
755.87/756.05 c 756s| 21000 | 8865 | 5605k| 265.8 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1762 | 1.633021e+02 | 1.910000e+02 | 16.96%
759.77/759.92 c 760s| 21100 | 8917 | 5634k| 265.9 | 11M| 135 | 84 | 470 | 571 | 470 | 965 | 705 | 3 |1773 | 1.633052e+02 | 1.910000e+02 | 16.96%
763.37/763.59 c 764s| 21200 | 8945 | 5661k| 265.9 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1783 | 1.633103e+02 | 1.910000e+02 | 16.96%
766.47/766.67 c 767s| 21300 | 8993 | 5680k| 265.6 | 12M| 135 | 373 | 470 | 571 | 470 | 965 | 705 | 3 |1801 | 1.633113e+02 | 1.910000e+02 | 16.95%
768.27/768.50 c 768s| 21400 | 9013 | 5694k| 265.0 | 12M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |1801 | 1.633119e+02 | 1.910000e+02 | 16.95%
773.06/773.30 c 773s| 21500 | 9065 | 5730k| 265.4 | 12M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633138e+02 | 1.910000e+02 | 16.95%
773.67/773.89 c 774s| 21600 | 9079 | 5735k| 264.4 | 12M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633138e+02 | 1.910000e+02 | 16.95%
776.66/776.89 c 777s| 21700 | 9105 | 5758k| 264.3 | 12M| 135 | 124 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633154e+02 | 1.910000e+02 | 16.95%
778.37/778.51 c 779s| 21800 | 9151 | 5768k| 263.5 | 12M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1830 | 1.633167e+02 | 1.910000e+02 | 16.95%
781.97/782.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
781.97/782.11 c 782s| 21900 | 9193 | 5793k| 263.4 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1849 | 1.633183e+02 | 1.910000e+02 | 16.95%
785.16/785.30 c 785s| 22000 | 9249 | 5817k| 263.3 | 12M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |1856 | 1.633201e+02 | 1.910000e+02 | 16.95%
787.36/787.58 c 788s| 22100 | 9265 | 5834k| 262.9 | 12M| 135 | 100 | 470 | 571 | 470 | 965 | 705 | 3 |1862 | 1.633229e+02 | 1.910000e+02 | 16.95%
790.87/791.09 c 791s| 22200 | 9307 | 5861k| 262.9 | 12M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |1868 | 1.633258e+02 | 1.910000e+02 | 16.94%
791.77/791.98 c 792s| 22300 | 9325 | 5868k| 262.1 | 12M| 135 | - | 470 | 571 | 0 | 0 | 705 | 3 |1869 | 1.633258e+02 | 1.910000e+02 | 16.94%
794.07/794.23 c 794s| 22400 | 9363 | 5885k| 261.7 | 12M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633270e+02 | 1.910000e+02 | 16.94%
795.27/795.43 c 795s| 22500 | 9391 | 5895k| 260.9 | 12M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633280e+02 | 1.910000e+02 | 16.94%
798.16/798.39 c 798s| 22600 | 9415 | 5920k| 260.9 | 12M| 135 | 137 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633281e+02 | 1.910000e+02 | 16.94%
798.96/799.18 c 799s| 22700 | 9445 | 5927k| 260.1 | 12M| 135 | 92 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633281e+02 | 1.910000e+02 | 16.94%
800.67/800.85 c 801s| 22800 | 9463 | 5941k| 259.5 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633282e+02 | 1.910000e+02 | 16.94%
804.86/805.08 c 805s| 22900 | 9513 | 5975k| 259.9 | 12M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633286e+02 | 1.910000e+02 | 16.94%
806.47/806.69 c 807s| 23000 | 9547 | 5989k| 259.4 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633287e+02 | 1.910000e+02 | 16.94%
807.76/807.94 c 808s| 23100 | 9595 | 5998k| 258.6 | 12M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633289e+02 | 1.910000e+02 | 16.94%
808.47/808.67 c 809s| 23200 | 9647 | 6004k| 257.8 | 12M| 135 | 383 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633293e+02 | 1.910000e+02 | 16.94%
809.76/809.91 c 810s| 23300 | 9655 | 6014k| 257.1 | 12M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633293e+02 | 1.910000e+02 | 16.94%
811.67/811.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
811.67/811.84 c 812s| 23400 | 9689 | 6032k| 256.8 | 12M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633295e+02 | 1.910000e+02 | 16.94%
812.86/813.04 c 813s| 23500 | 9735 | 6041k| 256.1 | 12M| 135 | 374 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633306e+02 | 1.910000e+02 | 16.94%
815.26/815.41 c 815s| 23600 | 9791 | 6059k| 255.8 | 12M| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633335e+02 | 1.910000e+02 | 16.94%
817.76/817.97 c 818s| 23700 | 9833 | 6077k| 255.4 | 12M| 135 | 376 | 470 | 571 | 470 | 965 | 705 | 3 |1880 | 1.633335e+02 | 1.910000e+02 | 16.94%
819.56/819.71 c 820s| 23800 | 9877 | 6088k| 254.8 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1890 | 1.633356e+02 | 1.910000e+02 | 16.94%
821.45/821.68 c 822s| 23900 | 9911 | 6104k| 254.4 | 12M| 135 | 95 | 470 | 571 | 470 | 965 | 705 | 3 |1890 | 1.633363e+02 | 1.910000e+02 | 16.94%
821.76/821.91 c 822s| 24000 | 9905 | 6106k| 253.5 | 12M| 135 | - | 470 | 571 | 0 | 0 | 705 | 3 |1890 | 1.633363e+02 | 1.910000e+02 | 16.94%
824.05/824.25 c 824s| 24100 | 9913 | 6120k| 253.0 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1907 | 1.633375e+02 | 1.910000e+02 | 16.94%
827.76/827.93 c 828s| 24200 | 9947 | 6151k| 253.2 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1907 | 1.633389e+02 | 1.910000e+02 | 16.93%
832.15/832.33 c 832s| 24300 | 9999 | 6183k| 253.5 | 12M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1918 | 1.633394e+02 | 1.910000e+02 | 16.93%
835.26/835.41 c 835s| 24400 | 10043 | 6203k| 253.3 | 12M| 135 | 93 | 470 | 571 | 470 | 965 | 705 | 3 |1932 | 1.633419e+02 | 1.910000e+02 | 16.93%
837.26/837.42 c 837s| 24500 | 10081 | 6213k| 252.6 | 12M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633431e+02 | 1.910000e+02 | 16.93%
838.85/839.04 c 839s| 24600 | 10113 | 6226k| 252.2 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633432e+02 | 1.910000e+02 | 16.93%
841.25/841.42 c 841s| 24700 | 10155 | 6245k| 251.9 | 12M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633433e+02 | 1.910000e+02 | 16.93%
841.86/842.03 c 842s| 24800 | 10165 | 6250k| 251.1 | 12M| 135 | 372 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633453e+02 | 1.910000e+02 | 16.93%
846.26/846.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.26/846.41 c 846s| 24900 | 10201 | 6282k| 251.4 | 13M| 135 | 380 | 470 | 571 | 470 | 965 | 705 | 3 |1966 | 1.633469e+02 | 1.910000e+02 | 16.93%
850.05/850.22 c 850s| 25000 | 10229 | 6310k| 251.5 | 13M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633503e+02 | 1.910000e+02 | 16.93%
850.26/850.43 c 850s| 25100 | 10237 | 6312k| 250.6 | 13M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633503e+02 | 1.910000e+02 | 16.93%
860.16/860.33 c 860s| 25200 | 10273 | 6415k| 253.6 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633526e+02 | 1.910000e+02 | 16.92%
862.16/862.32 c 862s| 25300 | 10291 | 6432k| 253.3 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633528e+02 | 1.910000e+02 | 16.92%
864.25/864.42 c 864s| 25400 | 10329 | 6449k| 253.0 | 13M| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633535e+02 | 1.910000e+02 | 16.92%
867.95/868.16 c 868s| 25500 | 10373 | 6478k| 253.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633541e+02 | 1.910000e+02 | 16.92%
869.15/869.33 c 869s| 25600 | 10397 | 6487k| 252.5 | 13M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633551e+02 | 1.910000e+02 | 16.92%
872.25/872.41 c 872s| 25700 | 10437 | 6513k| 252.5 | 13M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633562e+02 | 1.910000e+02 | 16.92%
874.75/874.92 c 875s| 25800 | 10455 | 6534k| 252.3 | 13M| 135 | 355 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633569e+02 | 1.910000e+02 | 16.92%
877.76/877.91 c 878s| 25900 | 10505 | 6558k| 252.3 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633597e+02 | 1.910000e+02 | 16.92%
881.15/881.33 c 881s| 26000 | 10561 | 6585k| 252.4 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633614e+02 | 1.910000e+02 | 16.92%
884.26/884.48 c 884s| 26100 | 10611 | 6609k| 252.3 | 13M| 135 | 349 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633627e+02 | 1.910000e+02 | 16.92%
886.46/886.69 c 887s| 26200 | 10635 | 6622k| 251.9 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1996 | 1.633631e+02 | 1.910000e+02 | 16.92%
889.85/890.07 c 890s| 26300 | 10661 | 6650k| 252.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1996 | 1.633639e+02 | 1.910000e+02 | 16.92%
892.65/892.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.65/892.87 c 893s| 26400 | 10681 | 6669k| 251.7 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2011 | 1.633652e+02 | 1.910000e+02 | 16.92%
897.35/897.52 c 898s| 26500 | 10735 | 6701k| 252.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633686e+02 | 1.910000e+02 | 16.91%
897.94/898.18 c 898s| 26600 | 10751 | 6706k| 251.2 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633687e+02 | 1.910000e+02 | 16.91%
898.85/899.02 c 899s| 26700 | 10777 | 6713k| 250.5 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633695e+02 | 1.910000e+02 | 16.91%
903.74/903.92 c 904s| 26800 | 10823 | 6751k| 251.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2038 | 1.633717e+02 | 1.910000e+02 | 16.91%
908.25/908.45 c 908s| 26900 | 10875 | 6784k| 251.3 | 13M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |2049 | 1.633746e+02 | 1.910000e+02 | 16.91%
911.45/911.63 c 912s| 27000 | 10929 | 6805k| 251.2 | 13M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |2063 | 1.633760e+02 | 1.910000e+02 | 16.91%
914.14/914.34 c 914s| 27100 | 10965 | 6823k| 250.9 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633766e+02 | 1.910000e+02 | 16.91%
914.35/914.52 c 915s| 27200 | 10973 | 6824k| 250.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633766e+02 | 1.910000e+02 | 16.91%
915.65/915.88 c 916s| 27300 | 11003 | 6835k| 249.5 | 13M| 135 | 107 | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633768e+02 | 1.910000e+02 | 16.91%
915.94/916.15 c 916s| 27400 | 11035 | 6837k| 248.7 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2080 | 1.633768e+02 | 1.910000e+02 | 16.91%
920.45/920.65 c 921s| 27500 | 11089 | 6873k| 249.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2086 | 1.633782e+02 | 1.910000e+02 | 16.91%
923.34/923.53 c 924s| 27600 | 11141 | 6898k| 249.1 | 13M| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 3 |2086 | 1.633792e+02 | 1.910000e+02 | 16.91%
925.74/925.92 c 926s| 27700 | 11165 | 6917k| 248.9 | 13M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |2087 | 1.633802e+02 | 1.910000e+02 | 16.91%
928.74/928.98 c 929s| 27800 | 11209 | 6942k| 248.9 | 13M| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633807e+02 | 1.910000e+02 | 16.90%
931.95/932.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.95/932.17 c 932s| 27900 | 11233 | 6969k| 249.0 | 13M| 135 | 133 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633813e+02 | 1.910000e+02 | 16.90%
934.54/934.74 c 935s| 28000 | 11289 | 6990k| 248.8 | 13M| 135 | 352 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633834e+02 | 1.910000e+02 | 16.90%
935.34/935.51 c 936s| 28100 | 11325 | 6996k| 248.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633843e+02 | 1.910000e+02 | 16.90%
937.05/937.28 c 937s| 28200 | 11365 | 7009k| 247.7 | 13M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633868e+02 | 1.910000e+02 | 16.90%
940.54/940.71 c 941s| 28300 | 11407 | 7036k| 247.8 | 13M| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633880e+02 | 1.910000e+02 | 16.90%
941.34/941.57 c 942s| 28400 | 11427 | 7043k| 247.2 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633890e+02 | 1.910000e+02 | 16.90%
943.84/944.01 c 944s| 28500 | 11467 | 7063k| 247.0 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633920e+02 | 1.910000e+02 | 16.90%
946.44/946.63 c 947s| 28600 | 11495 | 7085k| 246.9 | 14M| 135 | 360 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633921e+02 | 1.910000e+02 | 16.90%
950.74/950.96 c 951s| 28700 | 11537 | 7120k| 247.3 | 14M| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633937e+02 | 1.910000e+02 | 16.90%
952.74/952.95 c 953s| 28800 | 11559 | 7133k| 246.8 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2099 | 1.633948e+02 | 1.910000e+02 | 16.89%
954.14/954.35 c 954s| 28900 | 11595 | 7143k| 246.4 | 14M| 135 | 105 | 470 | 571 | 470 | 965 | 705 | 3 |2099 | 1.633957e+02 | 1.910000e+02 | 16.89%
955.94/956.18 c 956s| 29000 | 11625 | 7152k| 245.8 | 14M| 135 | 385 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.633969e+02 | 1.910000e+02 | 16.89%
958.14/958.37 c 958s| 29100 | 11649 | 7169k| 245.5 | 14M| 135 | 353 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.633980e+02 | 1.910000e+02 | 16.89%
960.43/960.67 c 961s| 29200 | 11691 | 7188k| 245.4 | 14M| 135 | 366 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.634000e+02 | 1.910000e+02 | 16.89%
962.74/962.90 c 963s| 29300 | 11709 | 7204k| 245.1 | 14M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |2147 | 1.634004e+02 | 1.910000e+02 | 16.89%
966.14/966.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
966.14/966.38 c 966s| 29400 | 11733 | 7227k| 245.0 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2160 | 1.634008e+02 | 1.910000e+02 | 16.89%
966.94/967.18 c 967s| 29500 | 11749 | 7234k| 244.4 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2160 | 1.634008e+02 | 1.910000e+02 | 16.89%
969.63/969.89 c 970s| 29600 | 11779 | 7252k| 244.2 | 14M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634012e+02 | 1.910000e+02 | 16.89%
971.24/971.49 c 971s| 29700 | 11835 | 7266k| 243.9 | 14M| 135 | 125 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634015e+02 | 1.910000e+02 | 16.89%
972.14/972.37 c 972s| 29800 | 11891 | 7274k| 243.3 | 14M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634018e+02 | 1.910000e+02 | 16.89%
975.24/975.49 c 975s| 29900 | 11945 | 7297k| 243.3 | 14M| 135 | 111 | 470 | 571 | 470 | 965 | 705 | 3 |2184 | 1.634022e+02 | 1.910000e+02 | 16.89%
977.34/977.51 c 978s| 30000 | 11971 | 7311k| 242.9 | 14M| 135 | 90 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634031e+02 | 1.910000e+02 | 16.89%
977.54/977.75 c 978s| 30100 | 11977 | 7314k| 242.2 | 14M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634031e+02 | 1.910000e+02 | 16.89%
978.23/978.44 c 978s| 30200 | 11989 | 7319k| 241.6 | 14M| 135 | 379 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634035e+02 | 1.910000e+02 | 16.89%
979.44/979.66 c 980s| 30300 | 11981 | 7329k| 241.1 | 14M| 135 | 84 | 470 | 571 | 470 | 965 | 705 | 3 |2203 | 1.634035e+02 | 1.910000e+02 | 16.89%
980.44/980.60 c 981s| 30400 | 12011 | 7336k| 240.6 | 14M| 135 | 126 | 470 | 571 | 470 | 965 | 705 | 3 |2208 | 1.634036e+02 | 1.910000e+02 | 16.89%
984.54/984.72 c 985s| 30500 | 12077 | 7370k| 240.9 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2209 | 1.634050e+02 | 1.910000e+02 | 16.89%
986.13/986.38 c 986s| 30600 | 12087 | 7384k| 240.5 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634050e+02 | 1.910000e+02 | 16.89%
989.23/989.42 c 989s| 30700 | 12125 | 7408k| 240.5 | 14M| 135 | 102 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634068e+02 | 1.910000e+02 | 16.89%
991.43/991.60 c 992s| 30800 | 12161 | 7426k| 240.4 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634071e+02 | 1.910000e+02 | 16.89%
994.34/994.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
994.34/994.53 c 995s| 30900 | 12189 | 7449k| 240.3 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634089e+02 | 1.910000e+02 | 16.88%
996.23/996.47 c 996s| 31000 | 12209 | 7466k| 240.1 | 14M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634103e+02 | 1.910000e+02 | 16.88%
997.04/997.20 c 997s| 31100 | 12243 | 7472k| 239.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634103e+02 | 1.910000e+02 | 16.88%
999.84/1000.08 c 1000s| 31200 | 12287 | 7495k| 239.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634113e+02 | 1.910000e+02 | 16.88%
1001.93/1002.11 c 1002s| 31300 | 12303 | 7512k| 239.3 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634119e+02 | 1.910000e+02 | 16.88%
1005.13/1005.40 c 1005s| 31400 | 12339 | 7538k| 239.3 | 14M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634148e+02 | 1.910000e+02 | 16.88%
1006.74/1006.98 c 1007s| 31500 | 12393 | 7550k| 238.9 | 14M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634159e+02 | 1.910000e+02 | 16.88%
1009.53/1009.78 c 1010s| 31600 | 12449 | 7571k| 238.9 | 14M| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634171e+02 | 1.910000e+02 | 16.88%
1011.13/1011.32 c 1011s| 31700 | 12465 | 7584k| 238.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634171e+02 | 1.910000e+02 | 16.88%
1013.03/1013.28 c 1013s| 31800 | 12491 | 7597k| 238.2 | 14M| 135 | 69 | 470 | 571 | 470 | 965 | 705 | 3 |2219 | 1.634172e+02 | 1.910000e+02 | 16.88%
1015.24/1015.40 c 1015s| 31900 | 12505 | 7612k| 237.9 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2230 | 1.634177e+02 | 1.910000e+02 | 16.88%
1020.03/1020.24 c 1020s| 32000 | 12547 | 7645k| 238.2 | 14M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634191e+02 | 1.910000e+02 | 16.88%
1020.73/1020.92 c 1021s| 32100 | 12559 | 7650k| 237.6 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634198e+02 | 1.910000e+02 | 16.88%
1023.22/1023.43 c 1023s| 32200 | 12597 | 7669k| 237.5 | 14M| 135 | 368 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634210e+02 | 1.910000e+02 | 16.88%
1024.82/1025.08 c 1025s| 32300 | 12617 | 7683k| 237.1 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634212e+02 | 1.910000e+02 | 16.88%
1025.53/1025.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1025.53/1025.70 c 1026s| 32400 | 12633 | 7688k| 236.6 | 14M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634221e+02 | 1.910000e+02 | 16.88%
1028.52/1028.79 c 1029s| 32500 | 12677 | 7710k| 236.5 | 15M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |2277 | 1.634223e+02 | 1.910000e+02 | 16.88%
1033.62/1033.82 c 1034s| 32600 | 12729 | 7747k| 236.9 | 15M| 135 | 351 | 470 | 571 | 470 | 965 | 705 | 3 |2286 | 1.634239e+02 | 1.910000e+02 | 16.87%
1035.42/1035.69 c 1036s| 32700 | 12755 | 7763k| 236.7 | 15M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |2286 | 1.634267e+02 | 1.910000e+02 | 16.87%
1039.12/1039.37 c 1039s| 32800 | 12797 | 7789k| 236.8 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2296 | 1.634284e+02 | 1.910000e+02 | 16.87%
1040.92/1041.11 c 1041s| 32900 | 12823 | 7800k| 236.4 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2307 | 1.634314e+02 | 1.910000e+02 | 16.87%
1044.32/1044.50 c 1045s| 33000 | 12859 | 7825k| 236.4 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2315 | 1.634325e+02 | 1.910000e+02 | 16.87%
1045.82/1046.10 c 1046s| 33100 | 12895 | 7837k| 236.1 | 15M| 135 | 119 | 470 | 571 | 470 | 965 | 705 | 3 |2321 | 1.634340e+02 | 1.910000e+02 | 16.87%
1047.22/1047.48 c 1047s| 33200 | 12919 | 7848k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2326 | 1.634341e+02 | 1.910000e+02 | 16.87%
1052.22/1052.41 c 1052s| 33300 | 12979 | 7887k| 236.1 | 15M| 135 | 100 | 470 | 570 | 470 | 965 | 705 | 3 |2327 | 1.634359e+02 | 1.910000e+02 | 16.87%
1053.22/1053.41 c 1053s| 33400 | 12999 | 7895k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634359e+02 | 1.910000e+02 | 16.87%
1055.42/1055.62 c 1056s| 33500 | 13047 | 7913k| 235.5 | 15M| 135 | 79 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634368e+02 | 1.910000e+02 | 16.86%
1056.22/1056.45 c 1056s| 33600 | 13071 | 7920k| 235.0 | 15M| 135 | 88 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634372e+02 | 1.910000e+02 | 16.86%
1059.02/1059.26 c 1059s| 33700 | 13117 | 7941k| 234.9 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634386e+02 | 1.910000e+02 | 16.86%
1063.42/1063.67 c 1064s| 33800 | 13175 | 7978k| 235.3 | 15M| 135 | 366 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634404e+02 | 1.910000e+02 | 16.86%
1068.02/1068.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.02/1068.21 c 1068s| 33900 | 13221 | 8015k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634427e+02 | 1.910000e+02 | 16.86%
1071.42/1071.63 c 1072s| 34000 | 13265 | 8044k| 235.9 | 15M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634440e+02 | 1.910000e+02 | 16.86%
1074.62/1074.89 c 1075s| 34100 | 13313 | 8071k| 236.0 | 15M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634442e+02 | 1.910000e+02 | 16.86%
1076.12/1076.35 c 1076s| 34200 | 13347 | 8082k| 235.6 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634456e+02 | 1.910000e+02 | 16.86%
1080.12/1080.37 c 1080s| 34300 | 13385 | 8115k| 235.9 | 15M| 135 | 71 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634463e+02 | 1.910000e+02 | 16.86%
1080.91/1081.14 c 1081s| 34400 | 13437 | 8122k| 235.4 | 15M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634468e+02 | 1.910000e+02 | 16.86%
1082.22/1082.42 c 1082s| 34500 | 13487 | 8128k| 234.9 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634478e+02 | 1.910000e+02 | 16.86%
1085.01/1085.29 c 1085s| 34600 | 13519 | 8151k| 234.9 | 15M| 135 | 116 | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634489e+02 | 1.910000e+02 | 16.86%
1086.22/1086.45 c 1086s| 34700 | 13553 | 8160k| 234.5 | 15M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634492e+02 | 1.910000e+02 | 16.86%
1087.92/1088.16 c 1088s| 34800 | 13575 | 8172k| 234.2 | 15M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 4 |2355 | 1.634492e+02 | 1.910000e+02 | 16.86%
1091.81/1092.08 c 1092s| 34900 | 13643 | 8197k| 234.2 | 15M| 135 | 164 | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634508e+02 | 1.910000e+02 | 16.85%
1092.81/1093.08 c 1093s| 35000 | 13705 | 8206k| 233.8 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634514e+02 | 1.910000e+02 | 16.85%
1094.82/1095.03 c 1095s| 35100 | 13737 | 8223k| 233.6 | 15M| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634519e+02 | 1.910000e+02 | 16.85%
1098.12/1098.38 c 1098s| 35200 | 13759 | 8249k| 233.7 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2381 | 1.634533e+02 | 1.910000e+02 | 16.85%
1101.21/1101.42 c 1101s| 35300 | 13795 | 8271k| 233.6 | 15M| 135 | 73 | 470 | 571 | 470 | 965 | 705 | 4 |2391 | 1.634546e+02 | 1.910000e+02 | 16.85%
1102.02/1102.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1102.02/1102.27 c 1102s| 35400 | 13805 | 8277k| 233.2 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2391 | 1.634548e+02 | 1.910000e+02 | 16.85%
1102.91/1103.11 c 1103s| 35500 | 13851 | 8284k| 232.7 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2402 | 1.634555e+02 | 1.910000e+02 | 16.85%
1104.71/1104.97 c 1105s| 35600 | 13891 | 8298k| 232.4 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2411 | 1.634560e+02 | 1.910000e+02 | 16.85%
1107.71/1107.96 c 1108s| 35700 | 13923 | 8316k| 232.3 | 16M| 135 | 77 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634578e+02 | 1.910000e+02 | 16.85%
1111.31/1111.50 c 1112s| 35800 | 13945 | 8345k| 232.5 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634593e+02 | 1.910000e+02 | 16.85%
1111.51/1111.71 c 1112s| 35900 | 13943 | 8347k| 231.9 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634593e+02 | 1.910000e+02 | 16.85%
1114.32/1114.53 c 1115s| 36000 | 13971 | 8371k| 231.9 | 16M| 135 | 103 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634601e+02 | 1.910000e+02 | 16.85%
1115.01/1115.28 c 1115s| 36100 | 13983 | 8377k| 231.4 | 16M| 135 | 70 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634613e+02 | 1.910000e+02 | 16.85%
1116.61/1116.85 c 1117s| 36200 | 13999 | 8387k| 231.0 | 16M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 4 |2443 | 1.634620e+02 | 1.910000e+02 | 16.85%
1120.21/1120.41 c 1120s| 36300 | 14027 | 8414k| 231.1 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634643e+02 | 1.910000e+02 | 16.85%
1121.51/1121.73 c 1122s| 36400 | 14063 | 8424k| 230.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634646e+02 | 1.910000e+02 | 16.84%
1122.80/1123.01 c 1123s| 36500 | 14093 | 8434k| 230.4 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634648e+02 | 1.910000e+02 | 16.84%
1127.41/1127.61 c 1128s| 36600 | 14151 | 8471k| 230.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634665e+02 | 1.910000e+02 | 16.84%
1130.01/1130.24 c 1130s| 36700 | 14189 | 8492k| 230.7 | 16M| 135 | 360 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634701e+02 | 1.910000e+02 | 16.84%
1133.80/1134.07 c 1134s| 36800 | 14237 | 8524k| 231.0 | 16M| 135 | 357 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634711e+02 | 1.910000e+02 | 16.84%
1134.91/1135.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1134.91/1135.15 c 1135s| 36900 | 14253 | 8533k| 230.6 | 16M| 135 | 68 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634711e+02 | 1.910000e+02 | 16.84%
1135.71/1135.92 c 1136s| 37000 | 14257 | 8540k| 230.2 | 16M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634712e+02 | 1.910000e+02 | 16.84%
1136.80/1137.08 c 1137s| 37100 | 14291 | 8549k| 229.8 | 16M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634731e+02 | 1.910000e+02 | 16.84%
1138.51/1138.75 c 1139s| 37200 | 14313 | 8562k| 229.5 | 16M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634744e+02 | 1.910000e+02 | 16.84%
1139.31/1139.52 c 1140s| 37300 | 14323 | 8569k| 229.1 | 16M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634745e+02 | 1.910000e+02 | 16.84%
1140.00/1140.21 c 1140s| 37400 | 14341 | 8574k| 228.6 | 16M| 135 | 342 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634748e+02 | 1.910000e+02 | 16.84%
1144.21/1144.44 c 1144s| 37500 | 14377 | 8611k| 229.0 | 16M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634748e+02 | 1.910000e+02 | 16.84%
1145.81/1146.05 c 1146s| 37600 | 14393 | 8624k| 228.7 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634750e+02 | 1.910000e+02 | 16.84%
1147.11/1147.40 c 1147s| 37700 | 14415 | 8634k| 228.4 | 16M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634764e+02 | 1.910000e+02 | 16.84%
1148.60/1148.87 c 1149s| 37800 | 14453 | 8646k| 228.1 | 16M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634775e+02 | 1.910000e+02 | 16.84%
1150.61/1150.80 c 1151s| 37900 | 14481 | 8661k| 227.9 | 16M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634784e+02 | 1.910000e+02 | 16.84%
1153.40/1153.60 c 1154s| 38000 | 14513 | 8680k| 227.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2463 | 1.634787e+02 | 1.910000e+02 | 16.83%
1155.01/1155.28 c 1155s| 38100 | 14545 | 8694k| 227.6 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2463 | 1.634788e+02 | 1.910000e+02 | 16.83%
1159.40/1159.68 c 1160s| 38200 | 14599 | 8726k| 227.8 | 16M| 135 | 344 | 470 | 571 | 470 | 965 | 705 | 4 |2476 | 1.634799e+02 | 1.910000e+02 | 16.83%
1161.40/1161.70 c 1162s| 38300 | 14655 | 8742k| 227.6 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2476 | 1.634806e+02 | 1.910000e+02 | 16.83%
1163.20/1163.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1163.20/1163.42 c 1163s| 38400 | 14683 | 8753k| 227.3 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2486 | 1.634810e+02 | 1.910000e+02 | 16.83%
1167.30/1167.58 c 1168s| 38500 | 14715 | 8781k| 227.5 | 16M| 135 | 111 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634815e+02 | 1.910000e+02 | 16.83%
1168.01/1168.25 c 1168s| 38600 | 14757 | 8786k| 227.0 | 16M| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634817e+02 | 1.910000e+02 | 16.83%
1170.60/1170.85 c 1171s| 38700 | 14805 | 8808k| 227.0 | 16M| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634820e+02 | 1.910000e+02 | 16.83%
1174.40/1174.66 c 1175s| 38800 | 14851 | 8836k| 227.1 | 16M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 4 |2516 | 1.634845e+02 | 1.910000e+02 | 16.83%
1177.70/1177.97 c 1178s| 38900 | 14893 | 8859k| 227.1 | 16M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 4 |2530 | 1.634865e+02 | 1.910000e+02 | 16.83%
1179.60/1179.82 c 1180s| 39000 | 14919 | 8873k| 226.9 | 16M| 135 | 356 | 470 | 571 | 470 | 965 | 705 | 4 |2530 | 1.634866e+02 | 1.910000e+02 | 16.83%
1183.10/1183.30 c 1183s| 39100 | 14977 | 8900k| 227.0 | 16M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 4 |2535 | 1.634884e+02 | 1.910000e+02 | 16.83%
1186.30/1186.53 c 1187s| 39200 | 15027 | 8923k| 227.0 | 16M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 4 |2545 | 1.634895e+02 | 1.910000e+02 | 16.83%
1188.60/1188.85 c 1189s| 39300 | 15057 | 8942k| 226.9 | 16M| 135 | 383 | 470 | 571 | 470 | 965 | 705 | 4 |2550 | 1.634899e+02 | 1.910000e+02 | 16.83%
1190.11/1190.39 c 1190s| 39400 | 15065 | 8954k| 226.7 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2550 | 1.634904e+02 | 1.910000e+02 | 16.83%
1191.90/1192.18 c 1192s| 39500 | 15115 | 8967k| 226.4 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634922e+02 | 1.910000e+02 | 16.83%
1194.20/1194.45 c 1194s| 39600 | 15153 | 8985k| 226.3 | 17M| 135 | 98 | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634930e+02 | 1.910000e+02 | 16.82%
1195.70/1195.91 c 1196s| 39700 | 15197 | 8997k| 226.0 | 17M| 135 | 68 | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634934e+02 | 1.910000e+02 | 16.82%
1196.40/1196.67 c 1197s| 39800 | 15207 | 9003k| 225.6 | 17M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634936e+02 | 1.910000e+02 | 16.82%
1199.70/1199.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1199.70/1199.91 c 1200s| 39900 | 15255 | 9028k| 225.7 | 17M| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634949e+02 | 1.910000e+02 | 16.82%
1203.60/1203.87 c 1204s| 40000 | 15299 | 9062k| 226.0 | 17M| 135 | 94 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634968e+02 | 1.910000e+02 | 16.82%
1203.79/1204.03 c 1204s| 40100 | 15301 | 9063k| 225.4 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634968e+02 | 1.910000e+02 | 16.82%
1207.90/1208.17 c 1208s| 40200 | 15357 | 9096k| 225.7 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634973e+02 | 1.910000e+02 | 16.82%
1212.69/1212.90 c 1213s| 40300 | 15395 | 9135k| 226.1 | 17M| 135 | 90 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634978e+02 | 1.910000e+02 | 16.82%
1215.40/1215.61 c 1216s| 40400 | 15439 | 9156k| 226.1 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634997e+02 | 1.910000e+02 | 16.82%
1217.19/1217.43 c 1217s| 40500 | 15455 | 9172k| 225.9 | 17M| 135 | 65 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.635006e+02 | 1.910000e+02 | 16.82%
1218.79/1219.05 c 1219s| 40600 | 15475 | 9187k| 225.7 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635006e+02 | 1.910000e+02 | 16.82%
1219.59/1219.80 c 1220s| 40700 | 15491 | 9193k| 225.3 | 17M| 135 | 90 | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635008e+02 | 1.910000e+02 | 16.82%
1222.49/1222.77 c 1223s| 40800 | 15525 | 9216k| 225.3 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635015e+02 | 1.910000e+02 | 16.82%
1224.49/1224.78 c 1225s| 40900 | 15575 | 9228k| 225.0 | 17M| 135 | 126 | 470 | 578 | 470 | 965 | 705 | 11 |2567 | 1.635030e+02 | 1.910000e+02 | 16.82%
1227.40/1227.64 c 1228s| 41000 | 15629 | 9250k| 225.1 | 17M| 135 | 361 | 470 | 578 | 470 | 965 | 705 | 11 |2567 | 1.635034e+02 | 1.910000e+02 | 16.82%
1230.59/1230.87 c 1231s| 41100 | 15663 | 9274k| 225.1 | 17M| 135 | 386 | 470 | 578 | 470 | 965 | 705 | 11 |2576 | 1.635045e+02 | 1.910000e+02 | 16.82%
1233.00/1233.24 c 1233s| 41200 | 15689 | 9293k| 225.0 | 17M| 135 | 72 | 470 | 578 | 470 | 965 | 705 | 11 |2591 | 1.635054e+02 | 1.910000e+02 | 16.82%
1234.69/1234.97 c 1235s| 41300 | 15721 | 9304k| 224.7 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2602 | 1.635062e+02 | 1.910000e+02 | 16.82%
1238.59/1238.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1238.59/1238.83 c 1239s| 41400 | 15775 | 9329k| 224.8 | 17M| 135 | 114 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635073e+02 | 1.910000e+02 | 16.81%
1239.39/1239.62 c 1240s| 41500 | 15821 | 9335k| 224.4 | 17M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635077e+02 | 1.910000e+02 | 16.81%
1240.79/1241.03 c 1241s| 41600 | 15873 | 9347k| 224.1 | 17M| 135 | 100 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635078e+02 | 1.910000e+02 | 16.81%
1242.89/1243.18 c 1243s| 41700 | 15915 | 9364k| 224.0 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635084e+02 | 1.910000e+02 | 16.81%
1245.59/1245.82 c 1246s| 41800 | 15955 | 9383k| 223.9 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2634 | 1.635094e+02 | 1.910000e+02 | 16.81%
1246.20/1246.46 c 1246s| 41900 | 15973 | 9388k| 223.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2634 | 1.635098e+02 | 1.910000e+02 | 16.81%
1251.69/1251.94 c 1252s| 42000 | 16017 | 9429k| 223.9 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635103e+02 | 1.910000e+02 | 16.81%
1253.28/1253.55 c 1254s| 42100 | 16053 | 9442k| 223.7 | 17M| 135 | 82 | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635103e+02 | 1.910000e+02 | 16.81%
1254.79/1255.00 c 1255s| 42200 | 16077 | 9453k| 223.5 | 17M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635105e+02 | 1.910000e+02 | 16.81%
1254.99/1255.29 c 1255s| 42300 | 16111 | 9456k| 223.0 | 17M| 135 | 108 | 470 | 578 | 470 | 965 | 705 | 11 |2656 | 1.635105e+02 | 1.910000e+02 | 16.81%
1255.29/1255.51 c 1256s| 42400 | 16121 | 9458k| 222.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2662 | 1.635105e+02 | 1.910000e+02 | 16.81%
1258.48/1258.74 c 1259s| 42500 | 16147 | 9481k| 222.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2670 | 1.635112e+02 | 1.910000e+02 | 16.81%
1259.29/1259.58 c 1260s| 42600 | 16159 | 9487k| 222.2 | 17M| 135 | 89 | 470 | 578 | 470 | 965 | 705 | 11 |2674 | 1.635112e+02 | 1.910000e+02 | 16.81%
1261.18/1261.46 c 1261s| 42700 | 16217 | 9502k| 222.0 | 17M| 135 | 80 | 470 | 578 | 470 | 965 | 705 | 11 |2674 | 1.635118e+02 | 1.910000e+02 | 16.81%
1261.89/1262.10 c 1262s| 42800 | 16217 | 9507k| 221.6 | 17M| 135 | 353 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635120e+02 | 1.910000e+02 | 16.81%
1263.98/1264.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1263.98/1264.21 c 1264s| 42900 | 16247 | 9525k| 221.5 | 17M| 135 | 73 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635128e+02 | 1.910000e+02 | 16.81%
1266.69/1266.96 c 1267s| 43000 | 16271 | 9548k| 221.5 | 17M| 135 | 87 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635137e+02 | 1.910000e+02 | 16.81%
1268.59/1268.85 c 1269s| 43100 | 16317 | 9561k| 221.3 | 17M| 135 | 73 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635148e+02 | 1.910000e+02 | 16.81%
1270.59/1270.80 c 1271s| 43200 | 16343 | 9577k| 221.1 | 18M| 135 | 368 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635156e+02 | 1.910000e+02 | 16.81%
1272.28/1272.50 c 1273s| 43300 | 16355 | 9591k| 221.0 | 18M| 135 | 87 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635162e+02 | 1.910000e+02 | 16.81%
1272.49/1272.72 c 1273s| 43400 | 16363 | 9593k| 220.5 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635162e+02 | 1.910000e+02 | 16.81%
1275.39/1275.65 c 1276s| 43500 | 16405 | 9617k| 220.5 | 18M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635167e+02 | 1.910000e+02 | 16.81%
1275.59/1275.87 c 1276s| 43600 | 16425 | 9619k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635167e+02 | 1.910000e+02 | 16.81%
1278.39/1278.68 c 1279s| 43700 | 16459 | 9641k| 220.1 | 18M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635173e+02 | 1.910000e+02 | 16.81%
1281.29/1281.59 c 1282s| 43800 | 16507 | 9665k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635178e+02 | 1.910000e+02 | 16.81%
1283.98/1284.27 c 1284s| 43900 | 16547 | 9685k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635203e+02 | 1.910000e+02 | 16.81%
1287.68/1287.98 c 1288s| 44000 | 16603 | 9715k| 220.3 | 18M| 135 | 84 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635226e+02 | 1.910000e+02 | 16.80%
1288.38/1288.61 c 1289s| 44100 | 16607 | 9720k| 219.9 | 18M| 135 | 370 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635226e+02 | 1.910000e+02 | 16.80%
1291.29/1291.55 c 1292s| 44200 | 16639 | 9743k| 219.9 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1291.48/1291.71 c 1292s| 44300 | 16643 | 9744k| 219.4 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1291.68/1291.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1291.68/1291.96 c 1292s| 44400 | 16657 | 9747k| 219.0 | 18M| 135 | 95 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1294.88/1295.10 c 1295s| 44500 | 16685 | 9774k| 219.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635240e+02 | 1.910000e+02 | 16.80%
1296.98/1297.22 c 1297s| 44600 | 16717 | 9784k| 218.9 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635253e+02 | 1.910000e+02 | 16.80%
1298.99/1299.29 c 1299s| 44700 | 16759 | 9801k| 218.7 | 18M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635260e+02 | 1.910000e+02 | 16.80%
1301.78/1302.00 c 1302s| 44800 | 16809 | 9821k| 218.7 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635266e+02 | 1.910000e+02 | 16.80%
1303.08/1303.33 c 1303s| 44900 | 16835 | 9832k| 218.4 | 18M| 135 | 97 | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635269e+02 | 1.910000e+02 | 16.80%
1304.98/1305.25 c 1305s| 45000 | 16867 | 9844k| 218.2 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2712 | 1.635270e+02 | 1.910000e+02 | 16.80%
1306.28/1306.52 c 1307s| 45100 | 16901 | 9854k| 218.0 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2712 | 1.635285e+02 | 1.910000e+02 | 16.80%
1310.28/1310.57 c 1311s| 45200 | 16963 | 9883k| 218.1 | 18M| 135 | 350 | 470 | 578 | 470 | 965 | 705 | 11 |2727 | 1.635311e+02 | 1.910000e+02 | 16.80%
1311.28/1311.56 c 1312s| 45300 | 16985 | 9891k| 217.8 | 18M| 135 | 79 | 470 | 578 | 470 | 965 | 705 | 11 |2727 | 1.635311e+02 | 1.910000e+02 | 16.80%
1315.67/1315.91 c 1316s| 45400 | 17019 | 9924k| 218.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2736 | 1.635320e+02 | 1.910000e+02 | 16.80%
1316.98/1317.20 c 1317s| 45500 | 17051 | 9934k| 217.8 | 18M| 135 | 79 | 470 | 578 | 470 | 965 | 705 | 11 |2736 | 1.635332e+02 | 1.910000e+02 | 16.80%
1318.38/1318.68 c 1319s| 45600 | 17099 | 9941k| 217.5 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635335e+02 | 1.910000e+02 | 16.80%
1319.98/1320.23 c 1320s| 45700 | 17129 | 9955k| 217.3 | 18M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635338e+02 | 1.910000e+02 | 16.80%
1323.48/1323.75 c 1324s| 45800 | 17169 | 9984k| 217.5 | 18M| 135 | 381 | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635348e+02 | 1.910000e+02 | 16.79%
1327.38/1327.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1327.38/1327.65 c 1328s| 45900 | 17205 | 10015k| 217.7 | 18M| 135 | 365 | 470 | 578 | 470 | 965 | 705 | 11 |2765 | 1.635353e+02 | 1.910000e+02 | 16.79%
1330.38/1330.68 c 1331s| 46000 | 17241 | 10039k| 217.7 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2771 | 1.635353e+02 | 1.910000e+02 | 16.79%
1331.38/1331.60 c 1332s| 46100 | 17275 | 10045k| 217.4 | 18M| 135 | 133 | 470 | 578 | 470 | 965 | 705 | 11 |2784 | 1.635354e+02 | 1.910000e+02 | 16.79%
1333.08/1333.39 c 1333s| 46200 | 17321 | 10058k| 217.2 | 18M| 135 | 356 | 470 | 578 | 470 | 965 | 705 | 11 |2786 | 1.635367e+02 | 1.910000e+02 | 16.79%
1334.88/1335.12 c 1335s| 46300 | 17361 | 10073k| 217.0 | 18M| 135 | 95 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635367e+02 | 1.910000e+02 | 16.79%
1337.98/1338.24 c 1338s| 46400 | 17419 | 10097k| 217.1 | 18M| 135 | 328 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635384e+02 | 1.910000e+02 | 16.79%
1341.38/1341.61 c 1342s| 46500 | 17469 | 10126k| 217.3 | 18M| 135 | 84 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635388e+02 | 1.910000e+02 | 16.79%
1343.17/1343.43 c 1343s| 46600 | 17501 | 10141k| 217.1 | 18M| 135 | 366 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635398e+02 | 1.910000e+02 | 16.79%
1345.68/1345.94 c 1346s| 46700 | 17517 | 10162k| 217.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635408e+02 | 1.910000e+02 | 16.79%
1347.97/1348.22 c 1348s| 46800 | 17557 | 10180k| 217.0 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635419e+02 | 1.910000e+02 | 16.79%
1349.48/1349.71 c 1350s| 46900 | 17593 | 10192k| 216.8 | 19M| 135 | 120 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635423e+02 | 1.910000e+02 | 16.79%
1352.47/1352.73 c 1353s| 47000 | 17639 | 10217k| 216.9 | 19M| 135 | 90 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635425e+02 | 1.910000e+02 | 16.79%
1353.77/1354.08 c 1354s| 47100 | 17665 | 10227k| 216.6 | 19M| 135 | 355 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635426e+02 | 1.910000e+02 | 16.79%
1354.77/1355.01 c 1355s| 47200 | 17693 | 10235k| 216.3 | 19M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635428e+02 | 1.910000e+02 | 16.79%
1357.57/1357.87 c 1358s| 47300 | 17725 | 10259k| 216.4 | 19M| 135 | 362 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635436e+02 | 1.910000e+02 | 16.79%
1360.58/1360.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1360.58/1360.86 c 1361s| 47400 | 17771 | 10285k| 216.5 | 19M| 135 | 341 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635448e+02 | 1.910000e+02 | 16.79%
1365.07/1365.38 c 1365s| 47500 | 17821 | 10323k| 216.8 | 19M| 135 | 366 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635450e+02 | 1.910000e+02 | 16.79%
1367.58/1367.88 c 1368s| 47600 | 17869 | 10344k| 216.8 | 19M| 135 | 105 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635454e+02 | 1.910000e+02 | 16.79%
1369.38/1369.68 c 1370s| 47700 | 17911 | 10357k| 216.6 | 19M| 135 | 335 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635458e+02 | 1.910000e+02 | 16.79%
1372.97/1373.21 c 1373s| 47800 | 17953 | 10382k| 216.7 | 19M| 135 | 98 | 470 | 578 | 470 | 965 | 705 | 11 |2800 | 1.635463e+02 | 1.910000e+02 | 16.79%
1375.47/1375.74 c 1376s| 47900 | 17987 | 10404k| 216.7 | 19M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2800 | 1.635465e+02 | 1.910000e+02 | 16.79%
1377.37/1377.66 c 1378s| 48000 | 18017 | 10415k| 216.5 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2815 | 1.635474e+02 | 1.910000e+02 | 16.79%
1379.87/1380.19 c 1380s| 48100 | 18045 | 10434k| 216.4 | 19M| 135 | 386 | 470 | 578 | 470 | 965 | 705 | 11 |2815 | 1.635485e+02 | 1.910000e+02 | 16.78%
1383.37/1383.69 c 1384s| 48200 | 18091 | 10459k| 216.5 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635495e+02 | 1.910000e+02 | 16.78%
1384.97/1385.26 c 1385s| 48300 | 18127 | 10471k| 216.3 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635497e+02 | 1.910000e+02 | 16.78%
1387.16/1387.47 c 1387s| 48400 | 18167 | 10489k| 216.2 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635498e+02 | 1.910000e+02 | 16.78%
1391.27/1391.60 c 1392s| 48500 | 18211 | 10518k| 216.4 | 19M| 135 | 67 | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635511e+02 | 1.910000e+02 | 16.78%
1393.77/1394.07 c 1394s| 48600 | 18243 | 10537k| 216.3 | 19M| 135 | 383 | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635524e+02 | 1.910000e+02 | 16.78%
1396.37/1396.60 c 1397s| 48700 | 18285 | 10557k| 216.3 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635527e+02 | 1.910000e+02 | 16.78%
1400.17/1400.45 c 1400s| 48800 | 18335 | 10584k| 216.4 | 19M| 135 | 376 | 470 | 578 | 470 | 965 | 705 | 11 |2866 | 1.635543e+02 | 1.910000e+02 | 16.78%
1402.67/1402.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.67/1402.93 c 1403s| 48900 | 18369 | 10602k| 216.3 | 19M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635564e+02 | 1.910000e+02 | 16.78%
1402.87/1403.11 c 1403s| 49000 | 18369 | 10604k| 215.9 | 19M| 135 | 86 | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635564e+02 | 1.910000e+02 | 16.78%
1403.66/1403.98 c 1404s| 49100 | 18405 | 10611k| 215.6 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635573e+02 | 1.910000e+02 | 16.78%
1405.57/1405.88 c 1406s| 49200 | 18425 | 10623k| 215.4 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635573e+02 | 1.910000e+02 | 16.78%
1407.97/1408.27 c 1408s| 49300 | 18461 | 10643k| 215.4 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635576e+02 | 1.910000e+02 | 16.78%
1408.66/1408.98 c 1409s| 49400 | 18483 | 10649k| 215.1 | 19M| 135 | 97 | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635580e+02 | 1.910000e+02 | 16.78%
1410.46/1410.72 c 1411s| 49500 | 18495 | 10661k| 214.9 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2893 | 1.635584e+02 | 1.910000e+02 | 16.78%
1413.27/1413.58 c 1414s| 49600 | 18541 | 10684k| 214.9 | 19M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2901 | 1.635586e+02 | 1.910000e+02 | 16.78%
1414.26/1414.57 c 1415s| 49700 | 18569 | 10691k| 214.6 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2904 | 1.635589e+02 | 1.910000e+02 | 16.78%
1419.27/1419.51 c 1420s| 49800 | 18633 | 10731k| 215.0 | 19M| 135 | 82 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635592e+02 | 1.910000e+02 | 16.78%
1421.26/1421.57 c 1422s| 49900 | 18673 | 10747k| 214.9 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635601e+02 | 1.910000e+02 | 16.78%
1425.16/1425.44 c 1425s| 50000 | 18721 | 10778k| 215.1 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635612e+02 | 1.910000e+02 | 16.78%
1427.06/1427.35 c 1427s| 50100 | 18757 | 10792k| 215.0 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635626e+02 | 1.910000e+02 | 16.77%
1428.56/1428.84 c 1429s| 50200 | 18777 | 10804k| 214.8 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635634e+02 | 1.910000e+02 | 16.77%
1428.77/1429.09 c 1429s| 50300 | 18795 | 10807k| 214.4 | 19M| 135 | 120 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635634e+02 | 1.910000e+02 | 16.77%
1431.87/1432.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.87/1432.11 c 1432s| 50400 | 18835 | 10832k| 214.5 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635639e+02 | 1.910000e+02 | 16.77%
1434.06/1434.32 c 1434s| 50500 | 18867 | 10850k| 214.4 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635657e+02 | 1.910000e+02 | 16.77%
1436.66/1436.92 c 1437s| 50600 | 18889 | 10871k| 214.4 | 20M| 135 | 83 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635658e+02 | 1.910000e+02 | 16.77%
1440.76/1441.01 c 1441s| 50700 | 18929 | 10904k| 214.6 | 20M| 135 | 348 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635673e+02 | 1.910000e+02 | 16.77%
1444.06/1444.30 c 1444s| 50800 | 18971 | 10930k| 214.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635686e+02 | 1.910000e+02 | 16.77%
1446.27/1446.59 c 1447s| 50900 | 18997 | 10949k| 214.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635690e+02 | 1.910000e+02 | 16.77%
1447.36/1447.68 c 1448s| 51000 | 19019 | 10958k| 214.4 | 20M| 135 | 343 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635692e+02 | 1.910000e+02 | 16.77%
1448.26/1448.57 c 1449s| 51100 | 19047 | 10965k| 214.1 | 20M| 135 | 91 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635696e+02 | 1.910000e+02 | 16.77%
1449.76/1450.04 c 1450s| 51200 | 19075 | 10977k| 213.9 | 20M| 135 | 100 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635706e+02 | 1.910000e+02 | 16.77%
1450.46/1450.73 c 1451s| 51300 | 19095 | 10983k| 213.6 | 20M| 135 | 94 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635709e+02 | 1.910000e+02 | 16.77%
1453.56/1453.81 c 1454s| 51400 | 19131 | 11005k| 213.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2934 | 1.635713e+02 | 1.910000e+02 | 16.77%
1456.16/1456.42 c 1456s| 51500 | 19157 | 11027k| 213.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2934 | 1.635714e+02 | 1.910000e+02 | 16.77%
1459.26/1459.53 c 1460s| 51600 | 19205 | 11048k| 213.7 | 20M| 135 | 91 | 470 | 577 | 470 | 965 | 705 | 11 |2943 | 1.635732e+02 | 1.910000e+02 | 16.77%
1460.45/1460.73 c 1461s| 51700 | 19243 | 11058k| 213.4 | 20M| 135 | 94 | 470 | 577 | 470 | 965 | 705 | 11 |2943 | 1.635740e+02 | 1.910000e+02 | 16.77%
1462.35/1462.60 c 1463s| 51800 | 19291 | 11068k| 213.2 | 20M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635760e+02 | 1.910000e+02 | 16.77%
1462.96/1463.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1462.96/1463.21 c 1463s| 51900 | 19305 | 11073k| 212.9 | 20M| 135 | 92 | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635760e+02 | 1.910000e+02 | 16.77%
1465.95/1466.26 c 1466s| 52000 | 19335 | 11097k| 213.0 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635768e+02 | 1.910000e+02 | 16.76%
1467.95/1468.25 c 1468s| 52100 | 19373 | 11109k| 212.8 | 20M| 135 | 101 | 470 | 576 | 470 | 965 | 705 | 11 |2971 | 1.635772e+02 | 1.910000e+02 | 16.76%
1470.66/1470.98 c 1471s| 52200 | 19413 | 11132k| 212.8 | 20M| 135 | 375 | 470 | 576 | 470 | 965 | 705 | 11 |2971 | 1.635790e+02 | 1.910000e+02 | 16.76%
1472.56/1472.85 c 1473s| 52300 | 19441 | 11145k| 212.6 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635792e+02 | 1.910000e+02 | 16.76%
1475.06/1475.32 c 1475s| 52400 | 19487 | 11165k| 212.6 | 20M| 135 | 109 | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635803e+02 | 1.910000e+02 | 16.76%
1475.25/1475.57 c 1476s| 52500 | 19489 | 11168k| 212.3 | 20M| 135 | 106 | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635803e+02 | 1.910000e+02 | 16.76%
1477.86/1478.12 c 1478s| 52600 | 19511 | 11187k| 212.2 | 20M| 135 | 363 | 470 | 576 | 470 | 965 | 705 | 11 |2995 | 1.635816e+02 | 1.910000e+02 | 16.76%
1480.26/1480.53 c 1481s| 52700 | 19545 | 11208k| 212.2 | 20M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |2995 | 1.635817e+02 | 1.910000e+02 | 16.76%
1486.35/1486.60 c 1487s| 52800 | 19599 | 11256k| 212.7 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3002 | 1.635827e+02 | 1.910000e+02 | 16.76%
1489.45/1489.72 c 1490s| 52900 | 19633 | 11282k| 212.8 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3003 | 1.635827e+02 | 1.910000e+02 | 16.76%
1491.55/1491.89 c 1492s| 53000 | 19661 | 11299k| 212.7 | 20M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3004 | 1.635832e+02 | 1.910000e+02 | 16.76%
1493.05/1493.30 c 1493s| 53100 | 19693 | 11310k| 212.5 | 20M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635838e+02 | 1.910000e+02 | 16.76%
1494.55/1494.80 c 1495s| 53200 | 19725 | 11322k| 212.4 | 20M| 135 | 95 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635848e+02 | 1.910000e+02 | 16.76%
1495.25/1495.52 c 1496s| 53300 | 19747 | 11328k| 212.1 | 20M| 135 | 376 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635850e+02 | 1.910000e+02 | 16.76%
1496.86/1497.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.86/1497.17 c 1497s| 53400 | 19771 | 11342k| 212.0 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635859e+02 | 1.910000e+02 | 16.76%
1499.55/1499.81 c 1500s| 53500 | 19809 | 11362k| 211.9 | 20M| 135 | 374 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635867e+02 | 1.910000e+02 | 16.76%
1501.26/1501.59 c 1502s| 53600 | 19859 | 11375k| 211.8 | 20M| 135 | 377 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635879e+02 | 1.910000e+02 | 16.76%
1502.15/1502.42 c 1502s| 53700 | 19881 | 11382k| 211.5 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635882e+02 | 1.910000e+02 | 16.76%
1502.36/1502.61 c 1503s| 53800 | 19893 | 11384k| 211.2 | 20M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635882e+02 | 1.910000e+02 | 16.76%
1507.15/1507.40 c 1507s| 53900 | 19931 | 11425k| 211.5 | 20M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635897e+02 | 1.910000e+02 | 16.76%
1510.16/1510.47 c 1510s| 54000 | 19967 | 11450k| 211.6 | 20M| 135 | 108 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635903e+02 | 1.910000e+02 | 16.76%
1511.05/1511.30 c 1511s| 54100 | 19993 | 11457k| 211.3 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635907e+02 | 1.910000e+02 | 16.75%
1511.85/1512.16 c 1512s| 54200 | 20023 | 11464k| 211.1 | 20M| 135 | 122 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635911e+02 | 1.910000e+02 | 16.75%
1514.46/1514.77 c 1515s| 54300 | 20067 | 11485k| 211.1 | 21M| 135 | 368 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635915e+02 | 1.910000e+02 | 16.75%
1517.95/1518.27 c 1518s| 54400 | 20119 | 11516k| 211.3 | 21M| 135 | 90 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635919e+02 | 1.910000e+02 | 16.75%
1518.75/1519.04 c 1519s| 54500 | 20163 | 11522k| 211.0 | 21M| 135 | 77 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635926e+02 | 1.910000e+02 | 16.75%
1520.65/1520.91 c 1521s| 54600 | 20213 | 11537k| 210.9 | 21M| 135 | 369 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635929e+02 | 1.910000e+02 | 16.75%
1524.25/1524.54 c 1525s| 54700 | 20257 | 11567k| 211.0 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635939e+02 | 1.910000e+02 | 16.75%
1526.24/1526.51 c 1527s| 54800 | 20301 | 11582k| 210.9 | 21M| 135 | 85 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635942e+02 | 1.910000e+02 | 16.75%
1527.05/1527.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.05/1527.32 c 1527s| 54900 | 20329 | 11588k| 210.6 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3018 | 1.635942e+02 | 1.910000e+02 | 16.75%
1530.44/1530.73 c 1531s| 55000 | 20369 | 11613k| 210.7 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3031 | 1.635946e+02 | 1.910000e+02 | 16.75%
1532.44/1532.70 c 1533s| 55100 | 20433 | 11628k| 210.6 | 21M| 135 | 70 | 470 | 576 | 470 | 965 | 705 | 11 |3031 | 1.635952e+02 | 1.910000e+02 | 16.75%
1534.04/1534.37 c 1534s| 55200 | 20475 | 11639k| 210.4 | 21M| 135 | 77 | 470 | 576 | 470 | 965 | 705 | 11 |3040 | 1.635962e+02 | 1.910000e+02 | 16.75%
1537.84/1538.11 c 1538s| 55300 | 20527 | 11664k| 210.5 | 21M| 135 | 362 | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1538.15/1538.40 c 1538s| 55400 | 20539 | 11666k| 210.2 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1538.25/1538.56 c 1539s| 55500 | 20543 | 11668k| 209.8 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1541.64/1541.98 c 1542s| 55600 | 20599 | 11695k| 209.9 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635979e+02 | 1.910000e+02 | 16.75%
1544.74/1545.07 c 1545s| 55700 | 20641 | 11716k| 209.9 | 21M| 135 | 359 | 470 | 576 | 470 | 965 | 705 | 11 |3063 | 1.635989e+02 | 1.910000e+02 | 16.75%
1548.04/1548.31 c 1548s| 55800 | 20667 | 11741k| 210.0 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3068 | 1.635994e+02 | 1.910000e+02 | 16.75%
1549.44/1549.71 c 1550s| 55900 | 20689 | 11751k| 209.8 | 21M| 135 | 90 | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1549.65/1549.98 c 1550s| 56000 | 20737 | 11755k| 209.5 | 21M| 135 | 85 | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1549.84/1550.14 c 1550s| 56100 | 20785 | 11756k| 209.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1552.64/1552.91 c 1553s| 56200 | 20819 | 11778k| 209.2 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.635998e+02 | 1.910000e+02 | 16.75%
1554.15/1554.42 c 1554s| 56300 | 20853 | 11790k| 209.0 | 21M| 135 | 82 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636002e+02 | 1.910000e+02 | 16.75%
1557.24/1557.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1557.24/1557.51 c 1558s| 56400 | 20883 | 11817k| 209.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636004e+02 | 1.910000e+02 | 16.75%
1557.45/1557.70 c 1558s| 56500 | 20903 | 11819k| 208.8 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636004e+02 | 1.910000e+02 | 16.75%
1558.14/1558.48 c 1558s| 56600 | 20929 | 11826k| 208.5 | 21M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636006e+02 | 1.910000e+02 | 16.75%
1561.05/1561.38 c 1561s| 56700 | 20973 | 11848k| 208.6 | 21M| 135 | 84 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636011e+02 | 1.910000e+02 | 16.75%
1562.85/1563.14 c 1563s| 56800 | 21017 | 11862k| 208.4 | 21M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636037e+02 | 1.910000e+02 | 16.75%
1562.95/1563.29 c 1563s| 56900 | 21035 | 11863k| 208.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636037e+02 | 1.910000e+02 | 16.75%
1564.44/1564.72 c 1565s| 57000 | 21079 | 11874k| 207.9 | 21M| 135 | 100 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636041e+02 | 1.910000e+02 | 16.75%
1565.64/1565.99 c 1566s| 57100 | 21109 | 11884k| 207.7 | 21M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3075 | 1.636043e+02 | 1.910000e+02 | 16.75%
1571.34/1571.61 c 1572s| 57200 | 21177 | 11929k| 208.1 | 21M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636057e+02 | 1.910000e+02 | 16.74%
1572.44/1572.73 c 1573s| 57300 | 21217 | 11938k| 207.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636058e+02 | 1.910000e+02 | 16.74%
1574.74/1575.08 c 1575s| 57400 | 21245 | 11957k| 207.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636066e+02 | 1.910000e+02 | 16.74%
1576.24/1576.54 c 1577s| 57500 | 21267 | 11969k| 207.8 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636069e+02 | 1.910000e+02 | 16.74%
1578.53/1578.84 c 1579s| 57600 | 21307 | 11988k| 207.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636072e+02 | 1.910000e+02 | 16.74%
1581.04/1581.37 c 1581s| 57700 | 21361 | 12008k| 207.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636078e+02 | 1.910000e+02 | 16.74%
1582.43/1582.76 c 1583s| 57800 | 21377 | 12019k| 207.5 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636080e+02 | 1.910000e+02 | 16.74%
1585.23/1585.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1585.23/1585.57 c 1586s| 57900 | 21421 | 12042k| 207.6 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636082e+02 | 1.910000e+02 | 16.74%
1587.54/1587.82 c 1588s| 58000 | 21451 | 12061k| 207.5 | 22M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636088e+02 | 1.910000e+02 | 16.74%
1588.84/1589.15 c 1589s| 58100 | 21483 | 12071k| 207.4 | 22M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636088e+02 | 1.910000e+02 | 16.74%
1591.94/1592.21 c 1592s| 58200 | 21511 | 12092k| 207.4 | 22M| 135 | 343 | 470 | 576 | 470 | 965 | 705 | 11 |3086 | 1.636094e+02 | 1.910000e+02 | 16.74%
1594.34/1594.69 c 1595s| 58300 | 21561 | 12111k| 207.3 | 22M| 135 | 350 | 470 | 576 | 470 | 965 | 705 | 11 |3086 | 1.636104e+02 | 1.910000e+02 | 16.74%
1595.94/1596.25 c 1596s| 58400 | 21589 | 12119k| 207.1 | 22M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636106e+02 | 1.910000e+02 | 16.74%
1596.54/1596.81 c 1597s| 58500 | 21601 | 12123k| 206.8 | 22M| 135 | 351 | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636107e+02 | 1.910000e+02 | 16.74%
1599.14/1599.45 c 1599s| 58600 | 21631 | 12145k| 206.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636108e+02 | 1.910000e+02 | 16.74%
1600.84/1601.18 c 1601s| 58700 | 21663 | 12155k| 206.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636110e+02 | 1.910000e+02 | 16.74%
1604.65/1604.98 c 1605s| 58800 | 21707 | 12187k| 206.9 | 22M| 135 | 340 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636120e+02 | 1.910000e+02 | 16.74%
1605.64/1605.98 c 1606s| 58900 | 21727 | 12196k| 206.7 | 22M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636120e+02 | 1.910000e+02 | 16.74%
1606.85/1607.14 c 1607s| 59000 | 21747 | 12204k| 206.5 | 22M| 135 | 362 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636121e+02 | 1.910000e+02 | 16.74%
1611.54/1611.81 c 1612s| 59100 | 21787 | 12238k| 206.7 | 22M| 135 | 357 | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636126e+02 | 1.910000e+02 | 16.74%
1611.83/1612.16 c 1612s| 59200 | 21791 | 12241k| 206.4 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636126e+02 | 1.910000e+02 | 16.74%
1613.33/1613.65 c 1614s| 59300 | 21811 | 12253k| 206.2 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636127e+02 | 1.910000e+02 | 16.74%
1615.83/1616.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1615.83/1616.15 c 1616s| 59400 | 21855 | 12268k| 206.1 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3143 | 1.636139e+02 | 1.910000e+02 | 16.74%
1617.03/1617.39 c 1617s| 59500 | 21889 | 12277k| 205.9 | 22M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3143 | 1.636146e+02 | 1.910000e+02 | 16.74%
1620.53/1620.80 c 1621s| 59600 | 21931 | 12303k| 206.0 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3150 | 1.636149e+02 | 1.910000e+02 | 16.74%
1624.44/1624.79 c 1625s| 59700 | 21981 | 12335k| 206.2 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3155 | 1.636167e+02 | 1.910000e+02 | 16.74%
1626.33/1626.68 c 1627s| 59800 | 22029 | 12349k| 206.1 | 22M| 135 | 62 | 470 | 576 | 470 | 965 | 705 | 11 |3159 | 1.636170e+02 | 1.910000e+02 | 16.74%
1628.73/1629.08 c 1629s| 59900 | 22069 | 12368k| 206.1 | 22M| 135 | 355 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636179e+02 | 1.910000e+02 | 16.74%
1632.13/1632.47 c 1632s| 60000 | 22125 | 12394k| 206.2 | 22M| 135 | 364 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636192e+02 | 1.910000e+02 | 16.73%
1633.73/1634.03 c 1634s| 60100 | 22157 | 12407k| 206.1 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636193e+02 | 1.910000e+02 | 16.73%
1635.03/1635.32 c 1635s| 60200 | 22179 | 12417k| 205.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636196e+02 | 1.910000e+02 | 16.73%
1637.53/1637.88 c 1638s| 60300 | 22225 | 12437k| 205.9 | 22M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3160 | 1.636200e+02 | 1.910000e+02 | 16.73%
1640.73/1641.04 c 1641s| 60400 | 22281 | 12463k| 206.0 | 22M| 135 | 353 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636209e+02 | 1.910000e+02 | 16.73%
1641.73/1642.04 c 1642s| 60500 | 22301 | 12471k| 205.7 | 22M| 135 | 93 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636213e+02 | 1.910000e+02 | 16.73%
1644.03/1644.30 c 1644s| 60600 | 22333 | 12490k| 205.7 | 22M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3160 | 1.636219e+02 | 1.910000e+02 | 16.73%
1648.83/1649.14 c 1649s| 60700 | 22401 | 12530k| 206.0 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636239e+02 | 1.910000e+02 | 16.73%
1651.12/1651.42 c 1651s| 60800 | 22425 | 12548k| 206.0 | 22M| 135 | 64 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636243e+02 | 1.910000e+02 | 16.73%
1653.93/1654.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.93/1654.27 c 1654s| 60900 | 22467 | 12571k| 206.0 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636247e+02 | 1.910000e+02 | 16.73%
1656.44/1656.72 c 1657s| 61000 | 22493 | 12592k| 206.0 | 23M| 135 | 74 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636249e+02 | 1.910000e+02 | 16.73%
1660.43/1660.78 c 1661s| 61100 | 22545 | 12624k| 206.2 | 23M| 135 | 345 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636263e+02 | 1.910000e+02 | 16.73%
1661.32/1661.68 c 1662s| 61200 | 22561 | 12631k| 206.0 | 23M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636263e+02 | 1.910000e+02 | 16.73%
1662.62/1662.98 c 1663s| 61300 | 22599 | 12641k| 205.8 | 23M| 135 | 59 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636273e+02 | 1.910000e+02 | 16.73%
1663.33/1663.66 c 1664s| 61400 | 22619 | 12646k| 205.6 | 23M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636274e+02 | 1.910000e+02 | 16.73%
1666.03/1666.38 c 1666s| 61500 | 22653 | 12662k| 205.5 | 23M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3180 | 1.636280e+02 | 1.910000e+02 | 16.73%
1666.72/1667.03 c 1667s| 61600 | 22667 | 12667k| 205.2 | 23M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3180 | 1.636282e+02 | 1.910000e+02 | 16.73%
1669.53/1669.83 c 1670s| 61700 | 22699 | 12692k| 205.3 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3180 | 1.636285e+02 | 1.910000e+02 | 16.73%
1670.64/1670.99 c 1671s| 61800 | 22721 | 12701k| 205.1 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3180 | 1.636289e+02 | 1.910000e+02 | 16.73%
1675.42/1675.78 c 1676s| 61900 | 22769 | 12736k| 205.4 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3190 | 1.636295e+02 | 1.910000e+02 | 16.73%
1677.33/1677.61 c 1678s| 62000 | 22809 | 12750k| 205.3 | 23M| 135 | 84 | 470 | 580 | 470 | 965 | 705 | 15 |3190 | 1.636297e+02 | 1.910000e+02 | 16.73%
1679.23/1679.51 c 1680s| 62100 | 22835 | 12760k| 205.1 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636302e+02 | 1.910000e+02 | 16.73%
1680.42/1680.70 c 1681s| 62200 | 22871 | 12769k| 204.9 | 23M| 135 | 370 | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636304e+02 | 1.910000e+02 | 16.73%
1685.22/1685.59 c 1686s| 62300 | 22925 | 12809k| 205.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636313e+02 | 1.910000e+02 | 16.73%
1688.12/1688.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1688.12/1688.43 c 1688s| 62400 | 22963 | 12828k| 205.2 | 23M| 135 | 373 | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636321e+02 | 1.910000e+02 | 16.73%
1690.33/1690.65 c 1691s| 62500 | 23003 | 12845k| 205.1 | 23M| 135 | 96 | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636332e+02 | 1.910000e+02 | 16.72%
1692.82/1693.17 c 1693s| 62600 | 23035 | 12866k| 205.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636339e+02 | 1.910000e+02 | 16.72%
1694.72/1695.07 c 1695s| 62700 | 23061 | 12876k| 205.0 | 23M| 135 | 361 | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636346e+02 | 1.910000e+02 | 16.72%
1696.82/1697.12 c 1697s| 62800 | 23091 | 12893k| 204.9 | 23M| 135 | 362 | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636360e+02 | 1.910000e+02 | 16.72%
1697.52/1697.88 c 1698s| 62900 | 23103 | 12899k| 204.7 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636368e+02 | 1.910000e+02 | 16.72%
1699.62/1699.92 c 1700s| 63000 | 23147 | 12915k| 204.6 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636374e+02 | 1.910000e+02 | 16.72%
1702.42/1702.70 c 1703s| 63100 | 23185 | 12935k| 204.6 | 23M| 135 | 365 | 470 | 580 | 470 | 965 | 705 | 15 |3247 | 1.636379e+02 | 1.910000e+02 | 16.72%
1704.12/1704.46 c 1704s| 63200 | 23217 | 12947k| 204.5 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3253 | 1.636383e+02 | 1.910000e+02 | 16.72%
1706.92/1707.21 c 1707s| 63300 | 23259 | 12968k| 204.5 | 23M| 135 | - | 470 | 580 | 0 | 0 | 705 | 15 |3256 | 1.636388e+02 | 1.910000e+02 | 16.72%
1709.02/1709.36 c 1709s| 63400 | 23315 | 12985k| 204.4 | 23M| 135 | 335 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636397e+02 | 1.910000e+02 | 16.72%
1710.33/1710.60 c 1711s| 63500 | 23317 | 12996k| 204.3 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636397e+02 | 1.910000e+02 | 16.72%
1711.72/1712.00 c 1712s| 63600 | 23327 | 13007k| 204.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636401e+02 | 1.910000e+02 | 16.72%
1715.12/1715.40 c 1715s| 63700 | 23367 | 13035k| 204.3 | 23M| 135 | 338 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636402e+02 | 1.910000e+02 | 16.72%
1716.72/1717.07 c 1717s| 63800 | 23389 | 13049k| 204.2 | 23M| 135 | 90 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636402e+02 | 1.910000e+02 | 16.72%
1719.32/1719.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1719.32/1719.60 c 1720s| 63900 | 23423 | 13071k| 204.2 | 23M| 135 | 111 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636404e+02 | 1.910000e+02 | 16.72%
1720.62/1720.96 c 1721s| 64000 | 23457 | 13081k| 204.0 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636406e+02 | 1.910000e+02 | 16.72%
1724.32/1724.63 c 1725s| 64100 | 23503 | 13111k| 204.2 | 23M| 135 | 73 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636410e+02 | 1.910000e+02 | 16.72%
1726.12/1726.45 c 1726s| 64200 | 23529 | 13125k| 204.1 | 23M| 135 | 358 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636414e+02 | 1.910000e+02 | 16.72%
1728.22/1728.59 c 1729s| 64300 | 23549 | 13143k| 204.0 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636415e+02 | 1.910000e+02 | 16.72%
1729.52/1729.84 c 1730s| 64400 | 23571 | 13153k| 203.9 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636416e+02 | 1.910000e+02 | 16.72%
1732.12/1732.47 c 1732s| 64500 | 23615 | 13173k| 203.9 | 23M| 135 | 374 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636422e+02 | 1.910000e+02 | 16.72%
1733.72/1734.05 c 1734s| 64600 | 23645 | 13186k| 203.7 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636425e+02 | 1.910000e+02 | 16.72%
1735.11/1735.41 c 1735s| 64700 | 23683 | 13196k| 203.6 | 23M| 135 | 85 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636428e+02 | 1.910000e+02 | 16.72%
1737.22/1737.50 c 1737s| 64800 | 23713 | 13214k| 203.6 | 23M| 135 | 106 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636437e+02 | 1.910000e+02 | 16.72%
1738.41/1738.77 c 1739s| 64900 | 23723 | 13224k| 203.4 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636443e+02 | 1.910000e+02 | 16.72%
1750.81/1751.16 c 1751s| 65000 | 23753 | 13362k| 205.2 | 24M| 135 | 83 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636452e+02 | 1.910000e+02 | 16.72%
1752.12/1752.40 c 1752s| 65100 | 23773 | 13372k| 205.0 | 24M| 135 | 83 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636458e+02 | 1.910000e+02 | 16.72%
1752.92/1753.20 c 1753s| 65200 | 23803 | 13378k| 204.8 | 24M| 135 | 77 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1753.02/1753.36 c 1753s| 65300 | 23815 | 13380k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1755.01/1755.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1755.01/1755.34 c 1755s| 65400 | 23825 | 13396k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1757.01/1757.35 c 1757s| 65500 | 23861 | 13412k| 204.4 | 24M| 135 | 95 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636467e+02 | 1.910000e+02 | 16.71%
1760.51/1760.87 c 1761s| 65600 | 23907 | 13436k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3265 | 1.636478e+02 | 1.910000e+02 | 16.71%
1763.12/1763.46 c 1763s| 65700 | 23933 | 13455k| 204.4 | 24M| 135 | 95 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636479e+02 | 1.910000e+02 | 16.71%
1765.71/1766.08 c 1766s| 65800 | 23977 | 13475k| 204.4 | 24M| 135 | 82 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636488e+02 | 1.910000e+02 | 16.71%
1766.41/1766.77 c 1767s| 65900 | 24003 | 13481k| 204.2 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636490e+02 | 1.910000e+02 | 16.71%
1769.71/1770.00 c 1770s| 66000 | 24033 | 13503k| 204.2 | 24M| 135 | 98 | 470 | 580 | 470 | 965 | 705 | 15 |3288 | 1.636504e+02 | 1.910000e+02 | 16.71%
1771.51/1771.81 c 1772s| 66100 | 24057 | 13519k| 204.2 | 24M| 135 | 359 | 470 | 580 | 470 | 965 | 705 | 15 |3288 | 1.636508e+02 | 1.910000e+02 | 16.71%
1774.31/1774.66 c 1775s| 66200 | 24089 | 13538k| 204.1 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636508e+02 | 1.910000e+02 | 16.71%
1777.51/1777.86 c 1778s| 66300 | 24141 | 13564k| 204.2 | 24M| 135 | 88 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636513e+02 | 1.910000e+02 | 16.71%
1778.21/1778.53 c 1779s| 66400 | 24167 | 13570k| 204.0 | 24M| 135 | 92 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636513e+02 | 1.910000e+02 | 16.71%
1779.71/1780.09 c 1780s| 66500 | 24225 | 13578k| 203.8 | 24M| 135 | 367 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636519e+02 | 1.910000e+02 | 16.71%
1782.11/1782.46 c 1782s| 66600 | 24269 | 13596k| 203.8 | 24M| 135 | 67 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636524e+02 | 1.910000e+02 | 16.71%
1783.31/1783.64 c 1784s| 66700 | 24307 | 13605k| 203.6 | 24M| 135 | 368 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636528e+02 | 1.910000e+02 | 16.71%
1784.21/1784.59 c 1785s| 66800 | 24339 | 13613k| 203.4 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636534e+02 | 1.910000e+02 | 16.71%
1786.51/1786.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1786.51/1786.83 c 1787s| 66900 | 24379 | 13628k| 203.4 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3328 | 1.636541e+02 | 1.910000e+02 | 16.71%
1789.31/1789.61 c 1790s| 67000 | 24427 | 13649k| 203.4 | 24M| 135 | 101 | 470 | 580 | 470 | 965 | 705 | 15 |3333 | 1.636545e+02 | 1.910000e+02 | 16.71%
1789.42/1789.79 c 1790s| 67100 | 24445 | 13650k| 203.1 | 24M| 135 | - | 470 | 580 | 0 | 0 | 705 | 15 |3333 | 1.636545e+02 | 1.910000e+02 | 16.71%
1791.21/1791.55 c 1792s| 67200 | 24483 | 13662k| 203.0 | 24M| 135 | 367 | 470 | 580 | 470 | 965 | 705 | 15 |3339 | 1.636548e+02 | 1.910000e+02 | 16.71%
1791.61/1791.93 c 1792s| 67300 | 24503 | 13665k| 202.7 | 24M| 135 | 66 | 470 | 580 | 470 | 965 | 705 | 15 |3343 | 1.636548e+02 | 1.910000e+02 | 16.71%
1795.61/1795.90 c 1796s| 67400 | 24549 | 13698k| 202.9 | 24M| 135 | 66 | 470 | 580 | 470 | 965 | 705 | 15 |3345 | 1.636552e+02 | 1.910000e+02 | 16.71%
1796.70/1797.00 c
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Solving Time (sec) : 1797.00
1796.70/1797.00 c Solving Nodes : 67434
1796.70/1797.00 c Primal Bound : +1.91000000000000e+02 (725 solutions)
1796.70/1797.00 c Dual Bound : +1.63656227363197e+02
1796.70/1797.00 c Gap : 16.71 %
1796.70/1797.00 s SATISFIABLE
1796.70/1797.00 v -x470 x469 -x468 -x467 -x466 x465 x464 -x463 x462 -x461 -x460 -x459 x458 -x457 x456 x455 x454 x453 x452 x451 -x450 -x449 x448 x447
1796.70/1797.00 v x446 -x445 x444 -x443 -x442 x441 x440 -x439 x438 x437 x436 -x435 -x434 -x433 -x432 x431 x430 -x429 x428 -x427 x426 -x425
1796.70/1797.00 v -x424 x423 -x422 x421 x420 x419 x418 -x417 -x416 -x415 x414 x413 -x412 -x411 x410 -x409 -x408 -x407 x406 x405 -x404 -x403 -x402
1796.70/1797.00 v -x401 x400 -x399 x398 -x397 x396 -x395 x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 x380
1796.70/1797.00 v x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 x365 x364 -x363 -x362 -x361 -x360 -x359 -x358
1796.70/1797.00 v -x357 x356 x355 x354 x353 x352 -x351 -x350 -x349 x348 -x347 x346 -x345 -x344 x343 -x342 -x341 -x340 x339 x338 -x337 x336
1796.70/1797.00 v x335 -x334 -x333 -x332 x331 -x330 x329 -x328 x327 -x326 x325 -x324 x323 x322 -x321 -x320 -x319 -x318 x317 x316 -x315 -x314 -x313
1796.70/1797.00 v -x312 -x311 -x310 x309 x308 -x307 x306 -x305 -x304 x303 -x302 x301 -x300 -x299 -x298 x297 x296 -x295 -x294 -x293 -x292 x291
1796.70/1797.00 v -x290 x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 x277 x276 x275 -x274 x273 -x272 -x271 x270 -x269
1796.70/1797.00 v -x268 x267 -x266 -x265 -x264 -x263 -x262 x261 -x260 -x259 x258 -x257 -x256 x255 -x254 -x253 x252 -x251 x250 x249 x248 x247
1796.70/1797.00 v x246 -x245 x244 -x243 x242 x241 -x240 -x239 x238 -x237 -x236 -x235 x234 x233 -x232 -x231 x230 -x229 x228 x227 -x226 -x225 x224
1796.70/1797.00 v x223 -x222 -x221 -x220 -x219 x218 x217 -x216 x215 -x214 x213 -x212 -x211 x210 -x209 -x208 x207 x206 -x205 -x204 x203 x202
1796.70/1797.00 v x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 x184 -x183 -x182 x181 -x180
1796.70/1797.00 v -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 x167 x166 x165 -x164 -x163 -x162 x161 -x160 -x159 -x158
1796.70/1797.00 v -x157 -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 x138 x137 -x136
1796.70/1797.00 v -x135 -x134 x133 x132 -x131 -x130 -x129 -x128 -x127 x126 x125 -x124 -x123 -x122 x121 -x120 -x119 x118 x117 -x116 -x115 -x114
1796.70/1797.00 v -x113 -x112 x111 x110 -x109 x108 x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 x97 -x96 x95 x94 x93 x92 x91 x90
1796.70/1797.00 v -x89 x88 x87 x86 x85 -x84 -x83 x82 x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 x69 x68 -x67 x66 x65 x64 -x63 -x62
1796.70/1797.00 v x61 x60 -x59 -x58 x57 -x56 -x55 x54 x53 x52 -x51 -x50 -x49 -x48 x47 x46 -x45 -x44 x43 x42 x41 -x40 -x39 -x38 -x37 -x36 x35
1796.70/1797.00 v x34 -x33 -x32 x31 x30 x29 -x28 x27 x26 x25 -x24 -x23 x22 -x21 -x20 x19 x18 x17 -x16 x15 x14 -x13 -x12 -x11 -x10 -x9 -x8 x7 -x6
1796.70/1797.00 v -x5 x4 x3 -x2 x1
1796.70/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.00 c Total Time : 1797.00
1796.70/1797.00 c solving : 1797.00
1796.70/1797.00 c presolving : 0.02 (included in solving)
1796.70/1797.00 c reading : 0.00 (included in solving)
1796.70/1797.00 c copying : 0.06 (11 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.00 c Original Problem :
1796.70/1797.00 c Problem name : HOME/instance-3690882-1338017163.opb
1796.70/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 470 initial, 470 maximal
1796.70/1797.00 c Objective sense : minimize
1796.70/1797.00 c Presolved Problem :
1796.70/1797.00 c Problem name : t_HOME/instance-3690882-1338017163.opb
1796.70/1797.00 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.00 c Constraints : 569 initial, 580 maximal
1796.70/1797.00 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.00 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c knapsack : 0.01 0.00 0 0 0 0 0 26 199 326 733
1796.70/1797.00 c setppc : 0.00 0.00 0 0 0 0 0 74 0 0 0
1796.70/1797.00 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 43
1796.70/1797.00 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.00 c root node : - - 0 - - 0 - - - - -
1796.70/1797.00 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c integral : 0 0 0 0 46052 0 730 0 11 71 0 0 91992
1796.70/1797.00 c knapsack : 440 440 12 291095 0 0 725 0 645 228383 758 0 0
1796.70/1797.00 c setppc : 126 126 12 290450 0 0 724 0 0 27486 0 0 0
1796.70/1797.00 c logicor : 3+ 14 12 17899 0 0 724 0 0 401 0 0 0
1796.70/1797.00 c countsols : 0 0 0 0 0 0 728 0 0 0 0 0 0
1796.70/1797.00 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.00 c integral : 115.76 0.00 0.00 0.00 115.76 0.00 0.00 0.00
1796.70/1797.00 c knapsack : 2.34 0.00 0.04 2.30 0.00 0.00 0.01 0.00
1796.70/1797.00 c setppc : 0.37 0.00 0.00 0.37 0.00 0.00 0.00 0.00
1796.70/1797.00 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.00 c rootredcost : 17 0 0 0
1796.70/1797.00 c pseudoobj : 337097 0 0 0
1796.70/1797.00 c vbounds : 0 0 0 0
1796.70/1797.00 c redcost : 63576 0 0 332233
1796.70/1797.00 c probing : 0 0 0 0
1796.70/1797.00 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.00 c rootredcost : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.00 c pseudoobj : 0.29 0.00 0.00 0.29 0.00
1796.70/1797.00 c vbounds : 0.06 0.00 0.00 0.06 0.00
1796.70/1797.00 c redcost : 0.95 0.00 0.00 0.95 0.00
1796.70/1797.00 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.00 c propagation : 0.00 645 0 0 0.0 0 0.0 -
1796.70/1797.00 c infeasible LP : 0.00 15 15 15 3.9 0 0.0 0
1796.70/1797.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.00 c applied globally : - - - 15 3.9 - - -
1796.70/1797.00 c applied locally : - - - 0 0.0 - - -
1796.70/1797.00 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.00 c cut pool : 0.00 11 - - 303 - (maximal pool size: 1226)
1796.70/1797.00 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.70/1797.00 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c gomory : 1.63 0.00 10 0 0 0 0
1796.70/1797.00 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c strongcg : 1.50 0.00 12 0 0 0 0
1796.70/1797.00 c cmir : 0.19 0.00 10 0 0 736 0
1796.70/1797.00 c flowcover : 0.23 0.00 10 0 0 903 0
1796.70/1797.00 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.00 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.00 c rapidlearning : 0.30 0.00 1 0 0 0 0
1796.70/1797.00 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.00 c problem variables: 0.00 - 0 0
1796.70/1797.00 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.00 c relpscost : 115.72 0.00 46052 11 71 0 0 91992
1796.70/1797.00 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c inference : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.00 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.00 c LP solutions : 0.00 - - 0
1796.70/1797.00 c pseudo solutions : 0.00 - - 0
1796.70/1797.00 c oneopt : 0.02 0.00 9 1
1796.70/1797.00 c crossover : 0.16 0.00 1 1
1796.70/1797.00 c veclendiving : 69.22 0.00 83 60
1796.70/1797.00 c coefdiving : 160.59 0.00 137 167
1796.70/1797.00 c linesearchdiving : 119.48 0.00 173 40
1796.70/1797.00 c pscostdiving : 261.08 0.00 325 288
1796.70/1797.00 c smallcard : 0.00 0.00 0 0
1796.70/1797.00 c trivial : 0.00 0.00 2 1
1796.70/1797.00 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.00 c simplerounding : 1.02 0.00 46063 26
1796.70/1797.00 c zirounding : 0.39 0.00 1000 18
1796.70/1797.00 c rounding : 11.62 0.00 9871 1
1796.70/1797.00 c shifting : 3.18 0.00 2766 1
1796.70/1797.00 c intshifting : 0.00 0.00 0 0
1796.70/1797.00 c twoopt : 0.00 0.00 0 0
1796.70/1797.00 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.00 c indoneopt : 0.03 0.00 0 0
1796.70/1797.00 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.00 c feaspump : 0.00 0.00 0 0
1796.70/1797.00 c clique : 0.00 0.00 0 0
1796.70/1797.00 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.00 c indrounding : 0.00 0.00 0 0
1796.70/1797.00 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.00 c fracdiving : 49.87 0.00 48 0
1796.70/1797.00 c intdiving : 0.00 0.00 0 0
1796.70/1797.00 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.00 c objpscostdiving : 37.23 0.00 6 120
1796.70/1797.00 c rootsoldiving : 11.84 0.00 14 0
1796.70/1797.00 c guideddiving : 49.58 0.00 47 0
1796.70/1797.00 c octane : 0.00 0.00 0 0
1796.70/1797.00 c rens : 0.01 0.00 0 0
1796.70/1797.00 c rins : 0.00 0.00 0 0
1796.70/1797.00 c localbranching : 0.00 0.00 0 0
1796.70/1797.00 c mutation : 0.00 0.00 0 0
1796.70/1797.00 c dins : 0.00 0.00 0 0
1796.70/1797.00 c vbounds : 0.00 0.00 0 0
1796.70/1797.00 c undercover : 0.00 0.00 0 0
1796.70/1797.00 c subnlp : 0.01 0.00 0 0
1796.70/1797.00 c trysol : 0.02 0.00 0 0
1796.70/1797.00 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.00 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.70/1797.00 c dual LP : 887.24 84378 7122873 106.62 8028.09 4.15 17569
1796.70/1797.00 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.00 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.00 c diving/probing LP: 735.80 129679 6584014 50.77 8948.10
1796.70/1797.00 c strong branching : 113.66 3345 777015 232.29 6836.32
1796.70/1797.00 c (at root node) : - 16 12579 786.19 -
1796.70/1797.00 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.00 c B&B Tree :
1796.70/1797.00 c number of runs : 1
1796.70/1797.00 c nodes : 67434
1796.70/1797.00 c nodes (total) : 67434
1796.70/1797.00 c nodes left : 24559
1796.70/1797.00 c max depth : 135
1796.70/1797.00 c max depth (total): 135
1796.70/1797.00 c backtracks : 12608 (18.7%)
1796.70/1797.00 c delayed cutoffs : 0
1796.70/1797.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.00 c avg switch length: 8.31
1796.70/1797.00 c switching time : 2.57
1796.70/1797.00 c Solution :
1796.70/1797.00 c Solutions found : 725 (25 improvements)
1796.70/1797.00 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.00 c Primal Bound : +1.91000000000000e+02 (in run 1, after 452 nodes, 143.90 seconds, depth 10, found by <crossover>)
1796.70/1797.00 c Dual Bound : +1.63656227363197e+02
1796.70/1797.00 c Gap : 16.71 %
1796.70/1797.00 c Root Dual Bound : +1.61777901315092e+02
1796.70/1797.00 c Root Iterations : 24098
1796.70/1797.04 c Time complete: 1796.76.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3690882-1338017163/watcher-3690882-1338017163 -o /tmp/evaluation-result-3690882-1338017163/solver-3690882-1338017163 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4fix.linux.x86_64.gnu.opt.spx -f HOME/instance-3690882-1338017163.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 1.06 0.43 3/174 31628
/proc/meminfo: memFree=29197256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=10412 CPUtime=0 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 1 0 267841754 10661888 1307 33554432000 4194304 10173063 140736162411888 140736094617256 7545739 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 2603 1307 416 1460 0 1134 0
[startup+0.026931 s]
/proc/loadavg: 1.96 1.06 0.43 3/174 31628
/proc/meminfo: memFree=29197256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=19252 CPUtime=0.02 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 3651 0 0 0 2 0 0 0 20 0 1 0 267841754 19714048 3348 33554432000 4194304 10173063 140736162411888 140736094617256 8963895 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 4813 3348 590 1460 0 3344 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19252
[startup+0.100168 s]
/proc/loadavg: 1.96 1.06 0.43 3/174 31628
/proc/meminfo: memFree=29197256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=24336 CPUtime=0.09 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 5088 0 0 0 9 0 0 0 20 0 1 0 267841754 24920064 4785 33554432000 4194304 10173063 140736162411888 140736094617256 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 6084 4785 762 1460 0 4615 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24336
[startup+0.300172 s]
/proc/loadavg: 1.96 1.06 0.43 3/174 31628
/proc/meminfo: memFree=29197256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=24336 CPUtime=0.29 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 5111 0 0 0 29 0 0 0 20 0 1 0 267841754 24920064 4808 33554432000 4194304 10173063 140736162411888 140736162405240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 6084 4808 762 1460 0 4615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24336
[startup+0.700172 s]
/proc/loadavg: 1.96 1.06 0.43 3/174 31628
/proc/meminfo: memFree=29197256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=24492 CPUtime=0.68 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 5155 0 0 0 68 0 0 0 20 0 1 0 267841754 25079808 4852 33554432000 4194304 10173063 140736162411888 140736162405240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 6123 4852 762 1460 0 4654 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24492
[startup+1.50017 s]
/proc/loadavg: 1.96 1.06 0.43 3/175 31629
/proc/meminfo: memFree=29180260/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=25732 CPUtime=1.49 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 8832 0 0 0 146 3 0 0 20 0 1 0 267841754 26349568 5284 33554432000 4194304 10173063 140736162411888 140736162406408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 6433 5284 848 1460 0 4964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25732
[startup+3.1001 s]
/proc/loadavg: 1.96 1.06 0.43 3/175 31629
/proc/meminfo: memFree=29179144/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=27724 CPUtime=3.09 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 9248 0 0 0 306 3 0 0 20 0 1 0 267841754 28389376 5692 33554432000 4194304 10173063 140736162411888 140736162404408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 6931 5692 848 1460 0 5462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27724
[startup+6.30012 s]
/proc/loadavg: 1.97 1.08 0.43 3/175 31629
/proc/meminfo: memFree=29176976/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=28120 CPUtime=6.29 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 9466 0 0 0 625 4 0 0 20 0 1 0 267841754 28794880 5904 33554432000 4194304 10173063 140736162411888 140736162406808 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7030 5904 848 1460 0 5561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28120
[startup+12.7001 s]
/proc/loadavg: 1.97 1.09 0.44 3/175 31629
/proc/meminfo: memFree=29176648/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=28416 CPUtime=12.69 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 10364 0 0 0 1261 8 0 0 20 0 1 0 267841754 29097984 5958 33554432000 4194304 10173063 140736162411888 140736162405384 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7104 5958 858 1460 0 5635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28416
[startup+25.5002 s]
/proc/loadavg: 1.98 1.14 0.47 3/175 31629
/proc/meminfo: memFree=29176608/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=28416 CPUtime=25.49 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 10365 0 0 0 2534 15 0 0 20 0 1 0 267841754 29097984 5958 33554432000 4194304 10173063 140736162411888 140736162405432 8012220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7104 5958 858 1460 0 5635 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28416
[startup+51.1001 s]
/proc/loadavg: 1.98 1.20 0.51 3/175 31629
/proc/meminfo: memFree=29175944/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=28968 CPUtime=51.08 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 10508 0 0 0 5078 30 0 0 20 0 1 0 267841754 29663232 6354 33554432000 4194304 10173063 140736162411888 140736162405336 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7242 6354 858 1460 0 5773 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28968
[startup+102.3 s]
/proc/loadavg: 1.99 1.32 0.58 3/176 31630
/proc/meminfo: memFree=29175572/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=28968 CPUtime=102.28 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 10533 0 0 0 10166 62 0 0 20 0 1 0 267841754 29663232 6379 33554432000 4194304 10173063 140736162411888 140736162405144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7242 6379 858 1460 0 5773 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 28968
[startup+162.3 s]
/proc/loadavg: 1.99 1.44 0.67 3/175 31668
/proc/meminfo: memFree=27677716/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=29240 CPUtime=162.26 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 13864 0 0 0 16135 91 0 0 20 0 1 0 267841754 29941760 6416 33554432000 4194304 10173063 140736162411888 140736162404824 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7310 6416 864 1460 0 5841 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29240
[startup+222.306 s]
/proc/loadavg: 1.99 1.54 0.75 3/175 31668
/proc/meminfo: memFree=27677248/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=29592 CPUtime=222.26 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 13948 0 0 0 22100 126 0 0 20 0 1 0 267841754 30302208 6500 33554432000 4194304 10173063 140736162411888 140736162404808 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7398 6500 864 1460 0 5929 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 29592
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 0.82 3/176 31672
/proc/meminfo: memFree=27673588/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=30760 CPUtime=282.24 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 15741 0 0 0 28066 158 0 0 20 0 1 0 267841754 31498240 6808 33554432000 4194304 10173063 140736162411888 140736162404760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7690 6808 865 1460 0 6221 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30760
[startup+342.3 s]
/proc/loadavg: 1.99 1.69 0.89 3/175 31672
/proc/meminfo: memFree=27672016/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=31996 CPUtime=342.23 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 17409 0 0 0 34033 190 0 0 20 0 1 0 267841754 32763904 7117 33554432000 4194304 10173063 140736162411888 140736162404872 8007738 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 7999 7117 865 1460 0 6530 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31996
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 0.96 3/175 31672
/proc/meminfo: memFree=27691140/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=32756 CPUtime=402.22 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 17592 0 0 0 40001 221 0 0 20 0 1 0 267841754 33542144 7300 33554432000 4194304 10173063 140736162411888 140736162404840 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 8189 7300 865 1460 0 6720 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 32756
[startup+462.3 s]
/proc/loadavg: 1.99 1.79 1.02 3/175 31672
/proc/meminfo: memFree=27652292/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=34368 CPUtime=462.22 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 18758 0 0 0 45966 256 0 0 20 0 1 0 267841754 35192832 7722 33554432000 4194304 10173063 140736162411888 140736162404808 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 8592 7722 865 1460 0 7123 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 34368
[startup+522.3 s]
/proc/loadavg: 1.99 1.82 1.08 3/175 31672
/proc/meminfo: memFree=27616828/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=35444 CPUtime=522.2 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 19013 0 0 0 51934 286 0 0 20 0 1 0 267841754 36294656 7977 33554432000 4194304 10173063 140736162411888 140736162404872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 8861 7977 865 1460 0 7392 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 35444
[startup+582.3 s]
/proc/loadavg: 1.99 1.85 1.14 3/174 31672
/proc/meminfo: memFree=27614000/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=35444 CPUtime=582.19 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 19035 0 0 0 57901 318 0 0 20 0 1 0 267841754 36294656 7999 33554432000 4194304 10173063 140736162411888 140736162405528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 8861 7999 865 1460 0 7392 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 35444
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27598256/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=41624 CPUtime=1062.11 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 22889 0 0 0 105637 574 0 0 20 0 1 0 267841754 42622976 9541 33554432000 4194304 10173063 140736162411888 140736162405528 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 10406 9541 865 1460 0 8937 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 41624
[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.51 3/175 31677
/proc/meminfo: memFree=27597512/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=42588 CPUtime=1122.11 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 23121 0 0 0 111602 609 0 0 20 0 1 0 267841754 43610112 9773 33554432000 4194304 10173063 140736162411888 140736162405144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 10647 9773 865 1460 0 9178 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42588
[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.54 3/175 31677
/proc/meminfo: memFree=27596772/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=42964 CPUtime=1182.1 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 23207 0 0 0 117564 646 0 0 20 0 1 0 267841754 43995136 9859 33554432000 4194304 10173063 140736162411888 140736162404872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 10741 9859 865 1460 0 9272 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42964
[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/175 31678
/proc/meminfo: memFree=27595780/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=43772 CPUtime=1242.09 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 23395 0 0 0 123527 682 0 0 20 0 1 0 267841754 44822528 10047 33554432000 4194304 10173063 140736162411888 140736162405144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 10943 10047 865 1460 0 9474 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 43772
[startup+1302.3 s]
/proc/loadavg: 2.03 2.00 1.60 3/175 31678
/proc/meminfo: memFree=27595408/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=43772 CPUtime=1302.08 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 23421 0 0 0 129488 720 0 0 20 0 1 0 267841754 44822528 10073 33554432000 4194304 10173063 140736162411888 140736162404872 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 10943 10073 865 1460 0 9474 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 43772
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 1.62 3/175 31678
/proc/meminfo: memFree=27548992/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=46468 CPUtime=1362.07 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24094 0 0 0 135452 755 0 0 20 0 1 0 267841754 47583232 10746 33554432000 4194304 10173063 140736162411888 140736162405144 8023697 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 11617 10746 865 1460 0 10148 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 46468
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.65 3/175 31678
/proc/meminfo: memFree=27548496/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=46736 CPUtime=1422.07 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24143 0 0 0 141415 792 0 0 20 0 1 0 267841754 47857664 10795 33554432000 4194304 10173063 140736162411888 140736162405144 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 11684 10795 865 1460 0 10215 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 46736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/176 31681
/proc/meminfo: memFree=27548492/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=47380 CPUtime=1482.05 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24299 0 0 0 147376 829 0 0 20 0 1 0 267841754 48517120 10951 33554432000 4194304 10173063 140736162411888 140736162405192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 11845 10951 865 1460 0 10376 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 47380
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.68 3/175 31682
/proc/meminfo: memFree=27547632/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=48392 CPUtime=1542.05 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24566 0 0 0 153338 867 0 0 20 0 1 0 267841754 49553408 11218 33554432000 4194304 10173063 140736162411888 140736162405192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12098 11218 865 1460 0 10629 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 48392
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/175 31682
/proc/meminfo: memFree=27547324/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=48392 CPUtime=1602.04 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24566 0 0 0 159305 899 0 0 20 0 1 0 267841754 49553408 11218 33554432000 4194304 10173063 140736162411888 140736162404856 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12098 11218 865 1460 0 10629 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 48392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/175 31682
/proc/meminfo: memFree=27546084/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=49556 CPUtime=1662.03 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 24850 0 0 0 165269 934 0 0 20 0 1 0 267841754 50745344 11502 33554432000 4194304 10173063 140736162411888 140736162405144 5897986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12389 11502 865 1460 0 10920 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 49556
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/175 31682
/proc/meminfo: memFree=27544596/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=50976 CPUtime=1722.01 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25206 0 0 0 171230 971 0 0 20 0 1 0 267841754 52199424 11858 33554432000 4194304 10173063 140736162411888 140736162404904 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12744 11858 865 1460 0 11275 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 50976
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27543732/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1782.01 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25291 0 0 0 177193 1008 0 0 20 0 1 0 267841754 52547584 11943 33554432000 4194304 10173063 140736162411888 140736162404760 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11943 865 1460 0 11360 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 51316
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27543732/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1785.31 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25291 0 0 0 177520 1011 0 0 20 0 1 0 267841754 52547584 11943 33554432000 4194304 10173063 140736162411888 140736162405192 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11943 865 1460 0 11360 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 51316
[startup+1792.01 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27585744/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1791.71 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25291 0 0 0 178155 1016 0 0 20 0 1 0 267841754 52547584 11943 33554432000 4194304 10173063 140736162411888 140736162404408 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11943 865 1460 0 11360 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 51316
[startup+1795.2 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27585744/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1794.91 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25293 0 0 0 178473 1018 0 0 20 0 1 0 267841754 52547584 11945 33554432000 4194304 10173063 140736162411888 140736162404696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11945 865 1460 0 11360 0
Current children cumulated CPU time (s) 1794.91
Current children cumulated vsize (KiB) 51316
[startup+1796 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27585744/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1795.71 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25293 0 0 0 178552 1019 0 0 20 0 1 0 267841754 52547584 11945 33554432000 4194304 10173063 140736162411888 140736162404696 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11945 865 1460 0 11360 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 51316
[startup+1796.8 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27585744/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1796.51 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25293 0 0 0 178632 1019 0 0 20 0 1 0 267841754 52547584 11945 33554432000 4194304 10173063 140736162411888 140736162405240 8025720 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11945 865 1460 0 11360 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (KiB) 51316
[startup+1797 s]
/proc/loadavg: 2.03 2.01 1.75 3/175 31682
/proc/meminfo: memFree=27585744/32873624 swapFree=7104/7104
[pid=31628] ppid=31626 vsize=51316 CPUtime=1796.7 cores=1,3,5,7
/proc/31628/stat : 31628 (scip-2.1.1.4fix) R 31626 31628 31545 0 -1 4202496 25293 0 0 0 178651 1019 0 0 20 0 1 0 267841754 52547584 11945 33554432000 4194304 10173063 140736162411888 140736162405240 8982074 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31628/statm: 12829 11945 865 1460 0 11360 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 51316
Child status: 0
Real time (s): 1797.05
CPU time (s): 1796.76
CPU user time (s): 1786.56
CPU system time (s): 10.2004
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 51316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.56
system time used= 10.2004
maximum resident set size= 47788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25297
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= 12
involuntary context switches= 1849
runsolver used 3.19451 second user time and 8.01578 second system time
The end