Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | 191 | 1796.76 | 1797.05 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
| MD5SUM | 6549a0bbc5c463b1b909374436b51d65 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 188 |
| Best CPU time to get the best result obtained on this benchmark | 1796.77 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 183 |
| Optimality of the best value was proved | NO |
| Number of variables | 470 |
| Total number of constraints | 470 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 470 |
| Minimum length of a constraint | 4 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 470 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 470 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 470 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692048-1338029817.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.03 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.00/0.03 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.00/0.03 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.00/0.03 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.00/0.03 c (0.0s) probing: 51/470 (10.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.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.03
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.89/0.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.89/0.95 c t 1.0s| 1 | 0 | 10638 | - |2764k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 4.700000e+02 | 212.88%
0.89/0.95 o 351
0.89/0.95 c r 1.0s| 1 | 0 | 10638 | - |2777k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.510000e+02 | 133.66%
0.89/0.96 o 350
0.89/0.96 c R 1.0s| 1 | 0 | 10638 | - |2791k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.500000e+02 | 132.99%
0.89/0.96 o 349
0.89/0.96 c s 1.0s| 1 | 0 | 10638 | - |2804k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 3.490000e+02 | 132.33%
1.39/1.45 o 221
1.39/1.45 c y 1.5s| 1 | 0 | 10638 | - |3167k| 0 | 340 | 470 | 569 | 470 | 569 | 0 | 0 | 0 | 1.502194e+02 | 2.210000e+02 | 47.12%
1.98/2.00 c 2.0s| 1 | 0 | 14518 | - |3092k| 0 | 378 | 470 | 569 | 470 | 769 | 200 | 0 | 0 | 1.554946e+02 | 2.210000e+02 | 42.13%
2.69/2.74 c 2.7s| 1 | 0 | 17800 | - |3354k| 0 | 416 | 470 | 569 | 470 | 951 | 382 | 0 | 0 | 1.586842e+02 | 2.210000e+02 | 39.27%
3.49/3.50 c 3.5s| 1 | 0 | 20657 | - |3534k| 0 | 416 | 470 | 569 | 470 |1080 | 511 | 0 | 0 | 1.604481e+02 | 2.210000e+02 | 37.74%
3.98/4.09 c 4.1s| 1 | 0 | 21812 | - |3630k| 0 | 428 | 470 | 569 | 470 |1159 | 590 | 0 | 0 | 1.610494e+02 | 2.210000e+02 | 37.22%
4.59/4.69 c 4.7s| 1 | 0 | 23003 | - |3687k| 0 | 434 | 470 | 569 | 470 |1213 | 644 | 0 | 0 | 1.614659e+02 | 2.210000e+02 | 36.87%
5.09/5.18 c 5.2s| 1 | 0 | 23550 | - |3714k| 0 | 432 | 470 | 569 | 470 |1245 | 676 | 0 | 0 | 1.616737e+02 | 2.210000e+02 | 36.70%
5.58/5.64 c 5.6s| 1 | 0 | 23835 | - |3735k| 0 | 438 | 470 | 569 | 470 |1266 | 697 | 0 | 0 | 1.617438e+02 | 2.210000e+02 | 36.64%
5.99/6.01 c 6.0s| 1 | 0 | 23922 | - |3744k| 0 | 440 | 470 | 569 | 470 |1269 | 700 | 0 | 0 | 1.617592e+02 | 2.210000e+02 | 36.62%
6.29/6.39 c 6.4s| 1 | 0 | 23991 | - |3751k| 0 | 434 | 470 | 569 | 470 |1272 | 703 | 0 | 0 | 1.617690e+02 | 2.210000e+02 | 36.61%
6.68/6.75 c 6.7s| 1 | 0 | 24038 | - |3759k| 0 | 436 | 470 | 569 | 470 |1273 | 704 | 0 | 0 | 1.617712e+02 | 2.210000e+02 | 36.61%
6.88/6.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.88/6.92 c 6.9s| 1 | 0 | 24098 | - |3766k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 0 | 1.617779e+02 | 2.210000e+02 | 36.61%
8.98/9.06 c 9.1s| 1 | 2 | 24098 | - |3787k| 0 | 439 | 470 | 569 | 470 |1229 | 705 | 0 | 16 | 1.617779e+02 | 2.210000e+02 | 36.61%
29.08/29.15 o 220
29.08/29.15 c c29.1s| 15 | 16 | 40291 |1156.6 |4541k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.200000e+02 | 35.82%
29.08/29.15 o 218
29.08/29.15 c c29.2s| 15 | 16 | 40333 |1159.6 |4549k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.180000e+02 | 34.59%
29.08/29.15 o 215
29.08/29.15 c c29.2s| 15 | 16 | 40334 |1159.7 |4550k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.150000e+02 | 32.73%
29.08/29.16 o 214
29.08/29.16 c c29.2s| 15 | 16 | 40366 |1162.0 |4560k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.140000e+02 | 32.12%
29.08/29.17 o 208
29.08/29.17 c b29.2s| 16 | 15 | 40435 |1089.1 |4456k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.080000e+02 | 28.41%
30.69/30.76 o 208
30.69/30.76 c p30.8s| 27 | 28 | 52494 |1092.2 |4665k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.080000e+02 | 28.41%
30.69/30.76 o 206
30.69/30.76 c p30.8s| 27 | 28 | 52501 |1092.4 |4667k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.060000e+02 | 27.18%
30.69/30.76 o 205
30.69/30.76 c p30.8s| 27 | 28 | 52524 |1093.3 |4671k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.050000e+02 | 26.56%
30.69/30.76 o 203
30.69/30.76 c p30.8s| 27 | 28 | 52528 |1093.5 |4672k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.030000e+02 | 25.32%
30.69/30.76 o 201
30.69/30.76 c p30.8s| 27 | 28 | 52542 |1094.0 |4675k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.010000e+02 | 24.09%
30.69/30.77 o 200
30.69/30.77 c p30.8s| 27 | 28 | 52561 |1094.7 |4683k| 14 | - | 470 | 569 | 470 | 965 | 705 | 0 | 245 | 1.619793e+02 | 2.000000e+02 | 23.47%
50.08/50.14 c 50.1s| 100 | 101 |232132 |2101.4 |4702k| 19 | 393 | 470 | 569 | 470 | 965 | 705 | 0 | 257 | 1.619793e+02 | 2.000000e+02 | 23.47%
59.38/59.42 o 200
59.38/59.42 c l59.4s| 163 | 164 |296787 |1683.3 |4914k| 23 | - | 470 | 569 | 470 | 965 | 705 | 0 | 281 | 1.619960e+02 | 2.000000e+02 | 23.46%
59.38/59.42 o 199
59.38/59.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.38/59.42 c l59.4s| 163 | 164 |296791 |1683.3 |4916k| 23 | - | 470 | 569 | 470 | 965 | 705 | 0 | 281 | 1.619960e+02 | 1.990000e+02 | 22.84%
64.58/64.67 o 198
64.58/64.67 c p64.7s| 195 | 196 |332588 |1590.2 |4928k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.980000e+02 | 22.23%
64.58/64.67 o 197
64.58/64.67 c p64.7s| 195 | 196 |332606 |1590.2 |4931k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
64.58/64.68 o 197
64.58/64.68 c p64.7s| 195 | 196 |332615 |1590.3 |4934k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
65.88/65.94 c 65.9s| 200 | 201 |342851 |1601.8 |4794k| 26 | 363 | 470 | 569 | 470 | 965 | 705 | 0 | 302 | 1.619960e+02 | 1.970000e+02 | 21.61%
77.47/77.53 o 196
77.47/77.53 c p77.5s| 222 | 223 |434303 |1856.1 |4967k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 312 | 1.620455e+02 | 1.960000e+02 | 20.95%
89.27/89.30 o 196
89.27/89.30 c p89.3s| 252 | 253 |520598 |1978.1 |4976k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 330 | 1.623002e+02 | 1.960000e+02 | 20.76%
89.27/89.30 o 195
89.27/89.30 c p89.3s| 252 | 253 |520601 |1978.1 |4977k| 26 | - | 470 | 569 | 470 | 965 | 705 | 0 | 330 | 1.623002e+02 | 1.950000e+02 | 20.15%
108.27/108.37 c 108s| 300 | 301 |668071 |2153.8 |4864k| 26 | 371 | 470 | 569 | 470 | 965 | 705 | 0 | 357 | 1.623232e+02 | 1.950000e+02 | 20.13%
131.67/131.74 c 132s| 400 | 401 |833487 |2028.5 |4927k| 26 | 384 | 470 | 569 | 470 | 965 | 705 | 0 | 420 | 1.624664e+02 | 1.950000e+02 | 20.02%
145.17/145.20 o 191
145.17/145.20 c C 145s| 452 | 453 |926942 |2001.9 |4959k| 26 | 399 | 470 | 569 | 470 | 965 | 705 | 0 | 456 | 1.624985e+02 | 1.910000e+02 | 17.54%
150.16/150.22 c 150s| 500 | 501 |958291 |1872.1 |4989k| 26 | 369 | 470 | 569 | 470 | 965 | 705 | 0 | 483 | 1.625032e+02 | 1.910000e+02 | 17.54%
174.56/174.63 c 175s| 600 | 601 | 1148k|1877.8 |5055k| 26 | 359 | 470 | 569 | 470 | 965 | 705 | 0 | 513 | 1.625432e+02 | 1.910000e+02 | 17.51%
190.45/190.51 c 191s| 700 | 701 | 1273k|1787.1 |5117k| 28 | 398 | 470 | 569 | 470 | 965 | 705 | 0 | 516 | 1.625885e+02 | 1.910000e+02 | 17.47%
210.35/210.49 c 210s| 800 | 801 | 1414k|1740.8 |5183k| 29 | 362 | 470 | 569 | 470 | 965 | 705 | 0 | 582 | 1.625955e+02 | 1.910000e+02 | 17.47%
225.15/225.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
225.15/225.25 c 225s| 900 | 901 | 1514k|1658.3 |5248k| 29 | 391 | 470 | 569 | 470 | 965 | 705 | 0 | 641 | 1.626632e+02 | 1.910000e+02 | 17.42%
238.05/238.15 c 238s| 1000 | 1001 | 1610k|1588.1 |5313k| 29 | 398 | 470 | 569 | 470 | 965 | 705 | 0 | 654 | 1.626891e+02 | 1.910000e+02 | 17.40%
248.05/248.15 c 248s| 1100 | 1101 | 1685k|1511.8 |5379k| 29 | 378 | 470 | 569 | 470 | 965 | 705 | 0 | 656 | 1.627183e+02 | 1.910000e+02 | 17.38%
260.05/260.13 c 260s| 1200 | 1201 | 1769k|1456.1 |5448k| 46 | 258 | 470 | 569 | 470 | 965 | 705 | 0 | 705 | 1.627319e+02 | 1.910000e+02 | 17.37%
263.95/264.01 c 264s| 1300 | 1301 | 1800k|1367.7 |5520k| 74 | 209 | 470 | 569 | 470 | 965 | 705 | 0 | 727 | 1.627319e+02 | 1.910000e+02 | 17.37%
265.85/265.99 c 266s| 1400 | 1401 | 1816k|1281.4 |5592k| 97 | 152 | 470 | 569 | 470 | 965 | 705 | 0 | 750 | 1.627319e+02 | 1.910000e+02 | 17.37%
267.84/267.98 c 268s| 1500 | 1501 | 1830k|1205.0 |5665k| 105 | 149 | 470 | 569 | 470 | 965 | 705 | 0 | 784 | 1.627453e+02 | 1.910000e+02 | 17.36%
268.15/268.28 c 268s| 1600 | 1553 | 1833k|1131.5 |5718k| 122 | 80 | 470 | 569 | 470 | 965 | 705 | 0 | 785 | 1.627453e+02 | 1.910000e+02 | 17.36%
272.24/272.33 c 272s| 1700 | 1587 | 1863k|1082.7 |5747k| 122 | 81 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627617e+02 | 1.910000e+02 | 17.35%
274.15/274.23 c 274s| 1800 | 1617 | 1877k|1030.5 |5773k| 123 | 378 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627663e+02 | 1.910000e+02 | 17.35%
275.45/275.55 c 276s| 1900 | 1675 | 1888k| 982.0 |5823k| 123 | 131 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627663e+02 | 1.910000e+02 | 17.35%
277.45/277.56 c 278s| 2000 | 1749 | 1906k| 941.5 |5895k| 127 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627798e+02 | 1.910000e+02 | 17.34%
280.74/280.80 c 281s| 2100 | 1799 | 1931k| 908.8 |5940k| 132 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627850e+02 | 1.910000e+02 | 17.33%
282.84/282.91 c 283s| 2200 | 1819 | 1949k| 875.5 |5961k| 132 | 113 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.627881e+02 | 1.910000e+02 | 17.33%
285.95/286.01 c 286s| 2300 | 1871 | 1973k| 847.7 |6001k| 135 | 90 | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628135e+02 | 1.910000e+02 | 17.31%
288.24/288.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
288.24/288.36 c 288s| 2400 | 1919 | 1992k| 820.7 |6047k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628309e+02 | 1.910000e+02 | 17.30%
291.35/291.49 c 291s| 2500 | 1959 | 2017k| 797.8 |6083k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 801 | 1.628334e+02 | 1.910000e+02 | 17.30%
295.04/295.12 c 295s| 2600 | 1989 | 2040k| 775.8 |6103k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 819 | 1.628465e+02 | 1.910000e+02 | 17.29%
298.74/298.88 c 299s| 2700 | 2019 | 2065k| 756.5 |6134k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 836 | 1.628468e+02 | 1.910000e+02 | 17.29%
302.84/302.91 c 303s| 2800 | 2051 | 2093k| 739.3 |6160k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 855 | 1.628495e+02 | 1.910000e+02 | 17.29%
304.84/304.98 c 305s| 2900 | 2071 | 2109k| 719.3 |6167k| 135 | 377 | 470 | 569 | 470 | 965 | 705 | 0 | 855 | 1.628662e+02 | 1.910000e+02 | 17.27%
306.74/306.82 c 307s| 3000 | 2089 | 2119k| 698.9 |6189k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 874 | 1.628662e+02 | 1.910000e+02 | 17.27%
312.14/312.30 c 312s| 3100 | 2131 | 2156k| 688.2 |6220k| 135 | 58 | 470 | 569 | 470 | 965 | 705 | 0 | 902 | 1.628785e+02 | 1.910000e+02 | 17.27%
312.54/312.63 c 313s| 3200 | 2165 | 2160k| 667.8 |6251k| 135 | - | 470 | 569 | 470 | 965 | 705 | 0 | 902 | 1.628785e+02 | 1.910000e+02 | 17.27%
316.64/316.76 c 317s| 3300 | 2211 | 2188k| 656.2 |6282k| 135 | 76 | 470 | 569 | 470 | 965 | 705 | 0 | 918 | 1.628819e+02 | 1.910000e+02 | 17.26%
318.64/318.75 c 319s| 3400 | 2249 | 2205k| 641.7 |6316k| 135 | 120 | 470 | 569 | 470 | 965 | 705 | 0 | 918 | 1.628854e+02 | 1.910000e+02 | 17.26%
320.44/320.56 c 321s| 3500 | 2311 | 2220k| 627.8 |6370k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 | 919 | 1.628854e+02 | 1.910000e+02 | 17.26%
323.74/323.87 c 324s| 3600 | 2365 | 2247k| 617.9 |6411k| 135 | 111 | 470 | 572 | 470 | 965 | 705 | 3 | 919 | 1.628916e+02 | 1.910000e+02 | 17.26%
327.03/327.16 c 327s| 3700 | 2405 | 2274k| 608.3 |6445k| 135 | 94 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.628967e+02 | 1.910000e+02 | 17.25%
327.74/327.85 c 328s| 3800 | 2425 | 2279k| 593.7 |6461k| 135 | 381 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.628990e+02 | 1.910000e+02 | 17.25%
329.94/330.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
329.94/330.04 c 330s| 3900 | 2475 | 2296k| 582.7 |6500k| 135 | 374 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629008e+02 | 1.910000e+02 | 17.25%
331.44/331.56 c 332s| 4000 | 2479 | 2308k| 571.3 |6511k| 135 | - | 470 | 572 | 0 | 0 | 705 | 3 | 920 | 1.629008e+02 | 1.910000e+02 | 17.25%
335.34/335.49 c 335s| 4100 | 2531 | 2340k| 565.2 |6550k| 135 | 367 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629058e+02 | 1.910000e+02 | 17.25%
336.54/336.64 c 337s| 4200 | 2559 | 2350k| 554.0 |6579k| 135 | 71 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629058e+02 | 1.910000e+02 | 17.25%
338.24/338.34 c 338s| 4300 | 2581 | 2364k| 544.3 |6596k| 135 | 109 | 470 | 572 | 470 | 965 | 705 | 3 | 920 | 1.629071e+02 | 1.910000e+02 | 17.24%
340.64/340.77 c 341s| 4400 | 2631 | 2379k| 535.4 |6638k| 135 | 110 | 470 | 572 | 470 | 965 | 705 | 3 | 934 | 1.629107e+02 | 1.910000e+02 | 17.24%
341.34/341.44 c 341s| 4500 | 2671 | 2385k| 524.8 |6666k| 135 | 363 | 470 | 572 | 470 | 965 | 705 | 3 | 934 | 1.629116e+02 | 1.910000e+02 | 17.24%
343.64/343.74 c 344s| 4600 | 2693 | 2403k| 517.5 |6690k| 135 | 391 | 470 | 572 | 470 | 965 | 705 | 3 | 957 | 1.629136e+02 | 1.910000e+02 | 17.24%
348.33/348.40 c 348s| 4700 | 2755 | 2435k| 513.3 |6737k| 135 | 119 | 470 | 572 | 470 | 965 | 705 | 3 | 984 | 1.629160e+02 | 1.910000e+02 | 17.24%
349.74/349.84 c 350s| 4800 | 2811 | 2444k| 504.3 |6787k| 135 | 78 | 470 | 572 | 470 | 965 | 705 | 3 |1004 | 1.629160e+02 | 1.910000e+02 | 17.24%
350.13/350.24 c 350s| 4900 | 2859 | 2448k| 494.8 |6827k| 135 | 106 | 470 | 572 | 470 | 965 | 705 | 3 |1011 | 1.629160e+02 | 1.910000e+02 | 17.24%
350.53/350.60 c 351s| 5000 | 2907 | 2451k| 485.5 |6873k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1029 | 1.629160e+02 | 1.910000e+02 | 17.24%
358.03/358.12 c 358s| 5100 | 2975 | 2503k| 486.3 |6926k| 135 | 76 | 470 | 572 | 470 | 965 | 705 | 3 |1059 | 1.629288e+02 | 1.910000e+02 | 17.23%
359.83/359.97 c 360s| 5200 | 2995 | 2517k| 479.5 |6946k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1068 | 1.629301e+02 | 1.910000e+02 | 17.23%
361.43/361.55 c 362s| 5300 | 3019 | 2528k| 472.7 |6965k| 135 | 113 | 470 | 572 | 470 | 965 | 705 | 3 |1071 | 1.629344e+02 | 1.910000e+02 | 17.23%
363.23/363.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.23/363.38 c 363s| 5400 | 3057 | 2545k| 467.0 |7003k| 135 | 122 | 470 | 572 | 470 | 965 | 705 | 3 |1071 | 1.629367e+02 | 1.910000e+02 | 17.22%
365.33/365.40 c 365s| 5500 | 3093 | 2562k| 461.6 |7039k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629439e+02 | 1.910000e+02 | 17.22%
366.73/366.88 c 367s| 5600 | 3131 | 2574k| 455.5 |7072k| 135 | 87 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629465e+02 | 1.910000e+02 | 17.22%
372.13/372.24 c 372s| 5700 | 3185 | 2617k| 455.1 |7122k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629537e+02 | 1.910000e+02 | 17.21%
373.73/373.84 c 374s| 5800 | 3217 | 2630k| 449.4 |7153k| 135 | 86 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629569e+02 | 1.910000e+02 | 17.21%
374.43/374.59 c 375s| 5900 | 3261 | 2636k| 442.9 |7191k| 135 | 382 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629609e+02 | 1.910000e+02 | 17.21%
377.43/377.53 c 378s| 6000 | 3287 | 2661k| 439.6 |7218k| 135 | 74 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629707e+02 | 1.910000e+02 | 17.20%
380.23/380.34 c 380s| 6100 | 3325 | 2682k| 435.9 |7248k| 135 | 90 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629797e+02 | 1.910000e+02 | 17.19%
383.93/384.06 c 384s| 6200 | 3371 | 2713k| 433.8 |7287k| 135 | 127 | 470 | 572 | 470 | 965 | 705 | 3 |1072 | 1.629882e+02 | 1.910000e+02 | 17.19%
388.03/388.19 c 388s| 6300 | 3437 | 2741k| 431.4 |7343k| 135 | 362 | 470 | 572 | 470 | 965 | 705 | 3 |1108 | 1.629937e+02 | 1.910000e+02 | 17.18%
391.33/391.49 c 391s| 6400 | 3483 | 2765k| 428.3 |7379k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1125 | 1.629937e+02 | 1.910000e+02 | 17.18%
393.83/393.92 c 394s| 6500 | 3529 | 2779k| 423.9 |7418k| 135 | 89 | 470 | 572 | 470 | 965 | 705 | 3 |1144 | 1.629963e+02 | 1.910000e+02 | 17.18%
395.83/395.91 c 396s| 6600 | 3585 | 2796k| 420.2 |7477k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1144 | 1.629971e+02 | 1.910000e+02 | 17.18%
399.43/399.54 c 400s| 6700 | 3635 | 2820k| 417.5 |7517k| 135 | 87 | 470 | 572 | 470 | 965 | 705 | 3 |1159 | 1.629973e+02 | 1.910000e+02 | 17.18%
401.83/401.91 c 402s| 6800 | 3693 | 2835k| 413.5 |7566k| 135 | 76 | 470 | 572 | 470 | 965 | 705 | 3 |1178 | 1.629983e+02 | 1.910000e+02 | 17.18%
402.53/402.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
402.53/402.64 c 403s| 6900 | 3723 | 2841k| 408.4 |7595k| 135 | 373 | 470 | 572 | 470 | 965 | 705 | 3 |1178 | 1.629983e+02 | 1.910000e+02 | 17.18%
405.62/405.74 c 406s| 7000 | 3747 | 2865k| 405.9 |7618k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1187 | 1.630016e+02 | 1.910000e+02 | 17.18%
411.02/411.13 c 411s| 7100 | 3807 | 2905k| 405.9 |7661k| 135 | 112 | 470 | 572 | 470 | 965 | 705 | 3 |1208 | 1.630080e+02 | 1.910000e+02 | 17.17%
412.93/413.06 c 413s| 7200 | 3869 | 2921k| 402.4 |7712k| 135 | 96 | 470 | 572 | 470 | 965 | 705 | 3 |1209 | 1.630127e+02 | 1.910000e+02 | 17.17%
415.32/415.42 c 415s| 7300 | 3921 | 2939k| 399.4 |7747k| 135 | 113 | 470 | 572 | 470 | 965 | 705 | 3 |1209 | 1.630196e+02 | 1.910000e+02 | 17.16%
416.83/416.91 c 417s| 7400 | 3975 | 2951k| 395.6 |7794k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630211e+02 | 1.910000e+02 | 17.16%
420.62/420.78 c 421s| 7500 | 4021 | 2982k| 394.5 |7830k| 135 | 378 | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630262e+02 | 1.910000e+02 | 17.16%
424.43/424.51 c 425s| 7600 | 4075 | 3011k| 393.1 |7873k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630306e+02 | 1.910000e+02 | 17.16%
429.32/429.40 c 429s| 7700 | 4121 | 3051k| 393.2 |7916k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630323e+02 | 1.910000e+02 | 17.15%
442.52/442.64 c 443s| 7800 | 4181 | 3182k| 405.0 |7961k| 135 | 109 | 470 | 572 | 470 | 965 | 705 | 3 |1210 | 1.630346e+02 | 1.910000e+02 | 17.15%
446.61/446.79 c 447s| 7900 | 4225 | 3207k| 403.0 |8002k| 135 | 90 | 470 | 572 | 470 | 965 | 705 | 3 |1243 | 1.630418e+02 | 1.910000e+02 | 17.15%
449.51/449.64 c 450s| 8000 | 4275 | 3230k| 400.8 |8044k| 135 | 111 | 470 | 572 | 470 | 965 | 705 | 3 |1243 | 1.630521e+02 | 1.910000e+02 | 17.14%
453.62/453.76 c 454s| 8100 | 4345 | 3259k| 399.4 |8099k| 135 | 81 | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630566e+02 | 1.910000e+02 | 17.14%
453.81/453.99 c 454s| 8200 | 4363 | 3261k| 394.9 |8123k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630566e+02 | 1.910000e+02 | 17.14%
455.23/455.34 c 455s| 8300 | 4381 | 3272k| 391.4 |8137k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1262 | 1.630569e+02 | 1.910000e+02 | 17.14%
457.91/458.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.91/458.08 c 458s| 8400 | 4427 | 3291k| 389.0 |8178k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1271 | 1.630619e+02 | 1.910000e+02 | 17.13%
460.42/460.57 c 461s| 8500 | 4471 | 3308k| 386.4 |8212k| 135 | 375 | 470 | 572 | 470 | 965 | 705 | 3 |1281 | 1.630641e+02 | 1.910000e+02 | 17.13%
466.12/466.30 c 466s| 8600 | 4521 | 3347k| 386.5 |8256k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1309 | 1.630666e+02 | 1.910000e+02 | 17.13%
466.92/467.07 c 467s| 8700 | 4549 | 3353k| 382.7 |8285k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1309 | 1.630674e+02 | 1.910000e+02 | 17.13%
469.62/469.74 c 470s| 8800 | 4579 | 3371k| 380.4 |8312k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1321 | 1.630701e+02 | 1.910000e+02 | 17.13%
472.92/473.01 c 473s| 8900 | 4613 | 3395k| 378.8 |8343k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1332 | 1.630713e+02 | 1.910000e+02 | 17.13%
477.42/477.59 c 478s| 9000 | 4673 | 3430k| 378.5 |8385k| 135 | 370 | 470 | 572 | 470 | 965 | 705 | 3 |1334 | 1.630784e+02 | 1.910000e+02 | 17.12%
479.81/479.98 c 480s| 9100 | 4719 | 3448k| 376.4 |8425k| 135 | 95 | 470 | 572 | 470 | 965 | 705 | 3 |1334 | 1.630805e+02 | 1.910000e+02 | 17.12%
484.12/484.22 c 484s| 9200 | 4783 | 3481k| 375.9 |8473k| 135 | 371 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.630897e+02 | 1.910000e+02 | 17.11%
488.81/488.97 c 489s| 9300 | 4833 | 3520k| 375.9 |8511k| 135 | 379 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.630916e+02 | 1.910000e+02 | 17.11%
492.21/492.38 c 492s| 9400 | 4885 | 3545k| 374.7 |8557k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631020e+02 | 1.910000e+02 | 17.10%
493.12/493.22 c 493s| 9500 | 4905 | 3552k| 371.4 |8570k| 135 | 83 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631028e+02 | 1.910000e+02 | 17.10%
497.21/497.36 c 497s| 9600 | 4955 | 3586k| 371.1 |8611k| 135 | 80 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631049e+02 | 1.910000e+02 | 17.10%
501.81/501.92 c 502s| 9700 | 4997 | 3622k| 371.0 |8647k| 135 | 80 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631097e+02 | 1.910000e+02 | 17.10%
503.51/503.65 c 504s| 9800 | 5035 | 3638k| 368.8 |8679k| 135 | 98 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631120e+02 | 1.910000e+02 | 17.10%
504.91/505.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.91/505.04 c 505s| 9900 | 5071 | 3648k| 366.1 |8709k| 135 | 99 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631143e+02 | 1.910000e+02 | 17.10%
506.51/506.60 c 507s| 10000 | 5119 | 3661k| 363.7 |8744k| 135 | 83 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631146e+02 | 1.910000e+02 | 17.10%
508.30/508.47 c 508s| 10100 | 5151 | 3676k| 361.7 |8780k| 135 | 104 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631146e+02 | 1.910000e+02 | 17.10%
511.41/511.53 c 512s| 10200 | 5193 | 3701k| 360.6 |8816k| 135 | 129 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631170e+02 | 1.910000e+02 | 17.09%
513.20/513.33 c 513s| 10300 | 5239 | 3717k| 358.6 |8857k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631172e+02 | 1.910000e+02 | 17.09%
516.11/516.24 c 516s| 10400 | 5267 | 3740k| 357.4 |8875k| 135 | 72 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631209e+02 | 1.910000e+02 | 17.09%
519.30/519.41 c 519s| 10500 | 5309 | 3765k| 356.4 |8908k| 135 | 79 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631227e+02 | 1.910000e+02 | 17.09%
521.21/521.36 c 521s| 10600 | 5335 | 3782k| 354.6 |8931k| 135 | 98 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631230e+02 | 1.910000e+02 | 17.09%
521.40/521.59 c 522s| 10700 | 5357 | 3784k| 351.5 |8965k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631230e+02 | 1.910000e+02 | 17.09%
524.80/524.94 c 525s| 10800 | 5411 | 3811k| 350.8 |9008k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631289e+02 | 1.910000e+02 | 17.09%
527.70/527.86 c 528s| 10900 | 5435 | 3834k| 349.6 |9024k| 135 | 72 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631293e+02 | 1.910000e+02 | 17.09%
527.91/528.08 c 528s| 11000 | 5445 | 3836k| 346.7 |9024k| 135 | 94 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631293e+02 | 1.910000e+02 | 17.09%
528.90/529.04 c 529s| 11100 | 5481 | 3844k| 344.2 |9061k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631296e+02 | 1.910000e+02 | 17.08%
532.80/532.95 c 533s| 11200 | 5515 | 3877k| 344.1 |9080k| 135 | 374 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631369e+02 | 1.910000e+02 | 17.08%
534.60/534.71 c 535s| 11300 | 5525 | 3892k| 342.4 |9087k| 135 | 380 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631380e+02 | 1.910000e+02 | 17.08%
537.10/537.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
537.10/537.29 c 537s| 11400 | 5557 | 3913k| 341.2 |9121k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631380e+02 | 1.910000e+02 | 17.08%
539.90/540.03 c 540s| 11500 | 5603 | 3934k| 340.1 |9160k| 135 | 381 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631393e+02 | 1.910000e+02 | 17.08%
544.90/545.00 c 545s| 11600 | 5651 | 3974k| 340.6 |9199k| 135 | 88 | 470 | 572 | 470 | 965 | 705 | 3 |1335 | 1.631434e+02 | 1.910000e+02 | 17.07%
547.40/547.54 c 548s| 11700 | 5701 | 3993k| 339.3 |9237k| 135 | 138 | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631482e+02 | 1.910000e+02 | 17.07%
548.71/548.81 c 549s| 11800 | 5739 | 4003k| 337.2 |9270k| 135 | - | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631498e+02 | 1.910000e+02 | 17.07%
549.81/550.00 c 550s| 11900 | 5795 | 4012k| 335.2 |9316k| 135 | 382 | 470 | 572 | 470 | 965 | 705 | 3 |1339 | 1.631527e+02 | 1.910000e+02 | 17.07%
552.70/552.81 c 553s| 12000 | 5827 | 4035k| 334.3 |9352k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1339 | 1.631527e+02 | 1.910000e+02 | 17.07%
557.40/557.56 c 558s| 12100 | 5871 | 4071k| 334.5 |9386k| 135 | 117 | 470 | 571 | 470 | 965 | 705 | 3 |1349 | 1.631558e+02 | 1.910000e+02 | 17.07%
560.49/560.61 c 561s| 12200 | 5913 | 4091k| 333.4 |9427k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1363 | 1.631573e+02 | 1.910000e+02 | 17.06%
564.80/564.93 c 565s| 12300 | 5953 | 4118k| 332.9 |9449k| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 3 |1383 | 1.631614e+02 | 1.910000e+02 | 17.06%
567.40/567.55 c 568s| 12400 | 5989 | 4141k| 332.0 |9480k| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 3 |1383 | 1.631659e+02 | 1.910000e+02 | 17.06%
571.80/571.91 c 572s| 12500 | 6039 | 4172k| 331.9 |9520k| 135 | 126 | 470 | 571 | 470 | 965 | 705 | 3 |1399 | 1.631696e+02 | 1.910000e+02 | 17.06%
572.79/572.97 c 573s| 12600 | 6077 | 4179k| 329.8 |9557k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1415 | 1.631714e+02 | 1.910000e+02 | 17.05%
575.89/576.02 c 576s| 12700 | 6123 | 4202k| 329.0 |9598k| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 3 |1423 | 1.631727e+02 | 1.910000e+02 | 17.05%
577.50/577.68 c 578s| 12800 | 6159 | 4215k| 327.5 |9634k| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631738e+02 | 1.910000e+02 | 17.05%
577.69/577.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.69/577.89 c 578s| 12900 | 6171 | 4218k| 325.1 |9654k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631738e+02 | 1.910000e+02 | 17.05%
581.29/581.49 c 581s| 13000 | 6211 | 4247k| 324.9 |9682k| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631757e+02 | 1.910000e+02 | 17.05%
582.09/582.20 c 582s| 13100 | 6237 | 4253k| 322.9 |9704k| 135 | 378 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631758e+02 | 1.910000e+02 | 17.05%
584.09/584.26 c 584s| 13200 | 6267 | 4269k| 321.6 |9729k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631786e+02 | 1.910000e+02 | 17.05%
586.10/586.25 c 586s| 13300 | 6291 | 4285k| 320.4 |9747k| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631804e+02 | 1.910000e+02 | 17.05%
587.39/587.54 c 588s| 13400 | 6331 | 4295k| 318.8 |9784k| 135 | 118 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631820e+02 | 1.910000e+02 | 17.05%
588.09/588.27 c 588s| 13500 | 6365 | 4301k| 316.9 |9817k| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631827e+02 | 1.910000e+02 | 17.05%
589.69/589.87 c 590s| 13600 | 6387 | 4316k| 315.6 |9838k| 135 | 83 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631827e+02 | 1.910000e+02 | 17.05%
592.89/593.01 c 593s| 13700 | 6419 | 4340k| 315.1 |9868k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631844e+02 | 1.910000e+02 | 17.05%
594.69/594.81 c 595s| 13800 | 6443 | 4355k| 313.9 |9899k| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631859e+02 | 1.910000e+02 | 17.04%
597.20/597.32 c 597s| 13900 | 6505 | 4375k| 313.1 |9946k| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631870e+02 | 1.910000e+02 | 17.04%
597.79/597.94 c 598s| 14000 | 6547 | 4380k| 311.2 |9981k| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1424 | 1.631873e+02 | 1.910000e+02 | 17.04%
602.70/602.87 c 603s| 14100 | 6577 | 4418k| 311.7 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1435 | 1.631917e+02 | 1.910000e+02 | 17.04%
604.69/604.88 c 605s| 14200 | 6591 | 4430k| 310.4 | 10M| 135 | 96 | 470 | 571 | 470 | 965 | 705 | 3 |1446 | 1.631933e+02 | 1.910000e+02 | 17.04%
607.49/607.62 c 608s| 14300 | 6637 | 4448k| 309.4 | 10M| 135 | 100 | 470 | 571 | 470 | 965 | 705 | 3 |1460 | 1.631947e+02 | 1.910000e+02 | 17.04%
609.09/609.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
609.09/609.24 c 609s| 14400 | 6687 | 4461k| 308.2 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1460 | 1.631976e+02 | 1.910000e+02 | 17.04%
610.49/610.65 c 611s| 14500 | 6713 | 4467k| 306.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1478 | 1.631994e+02 | 1.910000e+02 | 17.03%
613.39/613.56 c 614s| 14600 | 6747 | 4490k| 305.9 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1478 | 1.632007e+02 | 1.910000e+02 | 17.03%
619.20/619.30 c 619s| 14700 | 6797 | 4528k| 306.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1506 | 1.632046e+02 | 1.910000e+02 | 17.03%
619.88/620.04 c 620s| 14800 | 6815 | 4534k| 304.8 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1506 | 1.632047e+02 | 1.910000e+02 | 17.03%
621.39/621.57 c 622s| 14900 | 6843 | 4544k| 303.4 | 10M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |1521 | 1.632047e+02 | 1.910000e+02 | 17.03%
625.48/625.60 c 626s| 15000 | 6881 | 4575k| 303.5 | 10M| 135 | 79 | 470 | 571 | 470 | 965 | 705 | 3 |1529 | 1.632055e+02 | 1.910000e+02 | 17.03%
626.59/626.73 c 627s| 15100 | 6913 | 4584k| 302.0 | 10M| 135 | 355 | 470 | 571 | 470 | 965 | 705 | 3 |1530 | 1.632084e+02 | 1.910000e+02 | 17.03%
630.49/630.65 c 631s| 15200 | 6963 | 4616k| 302.1 | 10M| 135 | 372 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632114e+02 | 1.910000e+02 | 17.03%
631.39/631.57 c 632s| 15300 | 6997 | 4623k| 300.6 | 10M| 135 | 118 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632118e+02 | 1.910000e+02 | 17.03%
633.09/633.25 c 633s| 15400 | 7043 | 4636k| 299.5 | 10M| 135 | 93 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632122e+02 | 1.910000e+02 | 17.03%
634.89/635.04 c 635s| 15500 | 7081 | 4652k| 298.6 | 10M| 135 | 98 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632165e+02 | 1.910000e+02 | 17.02%
639.58/639.73 c 640s| 15600 | 7125 | 4690k| 299.1 | 10M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632186e+02 | 1.910000e+02 | 17.02%
641.89/642.09 c 642s| 15700 | 7157 | 4710k| 298.5 | 10M| 135 | 373 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632188e+02 | 1.910000e+02 | 17.02%
644.09/644.22 c 644s| 15800 | 7195 | 4727k| 297.7 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632195e+02 | 1.910000e+02 | 17.02%
648.58/648.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
648.58/648.76 c 649s| 15900 | 7257 | 4764k| 298.1 | 10M| 135 | 361 | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632266e+02 | 1.910000e+02 | 17.02%
650.88/651.10 c 651s| 16000 | 7297 | 4782k| 297.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1531 | 1.632327e+02 | 1.910000e+02 | 17.01%
652.19/652.35 c 652s| 16100 | 7341 | 4789k| 296.0 | 10M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1543 | 1.632331e+02 | 1.910000e+02 | 17.01%
653.98/654.15 c 654s| 16200 | 7371 | 4805k| 295.2 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1543 | 1.632351e+02 | 1.910000e+02 | 17.01%
658.18/658.35 c 658s| 16300 | 7419 | 4833k| 295.1 | 10M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1563 | 1.632359e+02 | 1.910000e+02 | 17.01%
658.88/659.06 c 659s| 16400 | 7433 | 4838k| 293.6 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1563 | 1.632362e+02 | 1.910000e+02 | 17.01%
660.88/661.02 c 661s| 16500 | 7455 | 4848k| 292.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1582 | 1.632374e+02 | 1.910000e+02 | 17.01%
662.48/662.60 c 663s| 16600 | 7483 | 4861k| 291.4 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1582 | 1.632374e+02 | 1.910000e+02 | 17.01%
666.49/666.68 c 667s| 16700 | 7541 | 4891k| 291.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1592 | 1.632383e+02 | 1.910000e+02 | 17.01%
670.18/670.34 c 670s| 16800 | 7569 | 4917k| 291.3 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1604 | 1.632405e+02 | 1.910000e+02 | 17.01%
671.78/671.96 c 672s| 16900 | 7581 | 4930k| 290.3 | 10M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1604 | 1.632415e+02 | 1.910000e+02 | 17.00%
673.58/673.75 c 674s| 17000 | 7607 | 4940k| 289.2 | 10M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |1617 | 1.632427e+02 | 1.910000e+02 | 17.00%
675.28/675.42 c 675s| 17100 | 7631 | 4953k| 288.3 | 10M| 135 | 64 | 470 | 571 | 470 | 965 | 705 | 3 |1622 | 1.632437e+02 | 1.910000e+02 | 17.00%
677.49/677.65 c 678s| 17200 | 7657 | 4968k| 287.5 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1630 | 1.632444e+02 | 1.910000e+02 | 17.00%
682.68/682.80 c 683s| 17300 | 7711 | 5010k| 288.3 | 10M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632471e+02 | 1.910000e+02 | 17.00%
683.27/683.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
683.27/683.49 c 683s| 17400 | 7713 | 5016k| 286.9 | 10M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632476e+02 | 1.910000e+02 | 17.00%
685.08/685.24 c 685s| 17500 | 7729 | 5030k| 286.1 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632497e+02 | 1.910000e+02 | 17.00%
686.47/686.62 c 687s| 17600 | 7743 | 5042k| 285.1 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632509e+02 | 1.910000e+02 | 17.00%
687.08/687.20 c 687s| 17700 | 7773 | 5047k| 283.8 | 11M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632513e+02 | 1.910000e+02 | 17.00%
688.17/688.36 c 688s| 17800 | 7805 | 5057k| 282.8 | 11M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1632 | 1.632513e+02 | 1.910000e+02 | 17.00%
689.08/689.21 c 689s| 17900 | 7851 | 5064k| 281.6 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632514e+02 | 1.910000e+02 | 17.00%
693.98/694.18 c 694s| 18000 | 7897 | 5104k| 282.3 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632544e+02 | 1.910000e+02 | 17.00%
696.08/696.25 c 696s| 18100 | 7923 | 5120k| 281.6 | 11M| 135 | 60 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632579e+02 | 1.910000e+02 | 16.99%
698.28/698.44 c 698s| 18200 | 7955 | 5137k| 281.0 | 11M| 135 | 63 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632601e+02 | 1.910000e+02 | 16.99%
699.07/699.26 c 699s| 18300 | 7965 | 5143k| 279.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632603e+02 | 1.910000e+02 | 16.99%
700.37/700.50 c 701s| 18400 | 8005 | 5153k| 278.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632646e+02 | 1.910000e+02 | 16.99%
702.48/702.68 c 703s| 18500 | 8027 | 5170k| 278.2 | 11M| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |1633 | 1.632667e+02 | 1.910000e+02 | 16.99%
703.18/703.39 c 703s| 18600 | 8045 | 5175k| 277.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1634 | 1.632688e+02 | 1.910000e+02 | 16.99%
706.08/706.22 c 706s| 18700 | 8075 | 5190k| 276.3 | 11M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632702e+02 | 1.910000e+02 | 16.98%
709.07/709.25 c 709s| 18800 | 8121 | 5215k| 276.1 | 11M| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632704e+02 | 1.910000e+02 | 16.98%
711.67/711.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.67/711.86 c 712s| 18900 | 8169 | 5236k| 275.8 | 11M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 3 |1662 | 1.632711e+02 | 1.910000e+02 | 16.98%
713.78/713.93 c 714s| 19000 | 8199 | 5250k| 275.1 | 11M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1671 | 1.632711e+02 | 1.910000e+02 | 16.98%
715.37/715.59 c 716s| 19100 | 8217 | 5264k| 274.4 | 11M| 135 | 71 | 470 | 571 | 470 | 965 | 705 | 3 |1683 | 1.632713e+02 | 1.910000e+02 | 16.98%
719.67/719.83 c 720s| 19200 | 8259 | 5294k| 274.5 | 11M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |1697 | 1.632781e+02 | 1.910000e+02 | 16.98%
721.17/721.37 c 721s| 19300 | 8285 | 5306k| 273.7 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1706 | 1.632786e+02 | 1.910000e+02 | 16.98%
726.37/726.58 c 727s| 19400 | 8349 | 5344k| 274.2 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1722 | 1.632796e+02 | 1.910000e+02 | 16.98%
729.57/729.74 c 730s| 19500 | 8393 | 5365k| 273.9 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1739 | 1.632805e+02 | 1.910000e+02 | 16.98%
733.07/733.29 c 733s| 19600 | 8421 | 5393k| 274.0 | 11M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632814e+02 | 1.910000e+02 | 16.98%
733.27/733.48 c 733s| 19700 | 8441 | 5395k| 272.7 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632814e+02 | 1.910000e+02 | 16.98%
734.07/734.26 c 734s| 19800 | 8475 | 5401k| 271.6 | 11M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632816e+02 | 1.910000e+02 | 16.98%
736.07/736.23 c 736s| 19900 | 8503 | 5416k| 271.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632826e+02 | 1.910000e+02 | 16.98%
737.47/737.61 c 738s| 20000 | 8533 | 5427k| 270.2 | 11M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632844e+02 | 1.910000e+02 | 16.97%
741.96/742.10 c 742s| 20100 | 8583 | 5462k| 270.6 | 11M| 135 | 69 | 470 | 571 | 470 | 965 | 705 | 3 |1746 | 1.632855e+02 | 1.910000e+02 | 16.97%
745.07/745.22 c 745s| 20200 | 8627 | 5487k| 270.5 | 11M| 135 | 94 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632903e+02 | 1.910000e+02 | 16.97%
746.78/746.91 c 747s| 20300 | 8635 | 5500k| 269.8 | 11M| 135 | 65 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632914e+02 | 1.910000e+02 | 16.97%
747.56/747.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
747.56/747.74 c 748s| 20400 | 8665 | 5507k| 268.8 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632915e+02 | 1.910000e+02 | 16.97%
748.98/749.15 c 749s| 20500 | 8689 | 5518k| 268.0 | 11M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632949e+02 | 1.910000e+02 | 16.97%
750.16/750.37 c 750s| 20600 | 8709 | 5527k| 267.2 | 11M| 135 | 384 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632981e+02 | 1.910000e+02 | 16.96%
752.17/752.32 c 752s| 20700 | 8749 | 5544k| 266.7 | 11M| 135 | 368 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632985e+02 | 1.910000e+02 | 16.96%
754.87/755.06 c 755s| 20800 | 8791 | 5565k| 266.4 | 11M| 135 | 376 | 470 | 571 | 470 | 965 | 705 | 3 |1747 | 1.632999e+02 | 1.910000e+02 | 16.96%
759.97/760.10 c 760s| 20900 | 8843 | 5603k| 267.0 | 11M| 135 | 109 | 470 | 571 | 470 | 965 | 705 | 3 |1762 | 1.633021e+02 | 1.910000e+02 | 16.96%
760.17/760.37 c 760s| 21000 | 8865 | 5605k| 265.8 | 11M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1762 | 1.633021e+02 | 1.910000e+02 | 16.96%
764.06/764.24 c 764s| 21100 | 8917 | 5634k| 265.9 | 11M| 135 | 84 | 470 | 571 | 470 | 965 | 705 | 3 |1773 | 1.633052e+02 | 1.910000e+02 | 16.96%
767.76/767.92 c 768s| 21200 | 8945 | 5661k| 265.9 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1783 | 1.633103e+02 | 1.910000e+02 | 16.96%
770.77/770.99 c 771s| 21300 | 8993 | 5680k| 265.6 | 12M| 135 | 373 | 470 | 571 | 470 | 965 | 705 | 3 |1801 | 1.633113e+02 | 1.910000e+02 | 16.95%
772.67/772.82 c 773s| 21400 | 9013 | 5694k| 265.0 | 12M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |1801 | 1.633119e+02 | 1.910000e+02 | 16.95%
777.46/777.63 c 778s| 21500 | 9065 | 5730k| 265.4 | 12M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633138e+02 | 1.910000e+02 | 16.95%
778.06/778.22 c 778s| 21600 | 9079 | 5735k| 264.4 | 12M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633138e+02 | 1.910000e+02 | 16.95%
781.06/781.23 c 781s| 21700 | 9105 | 5758k| 264.3 | 12M| 135 | 124 | 470 | 571 | 470 | 965 | 705 | 3 |1821 | 1.633154e+02 | 1.910000e+02 | 16.95%
782.66/782.84 c 783s| 21800 | 9151 | 5768k| 263.5 | 12M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1830 | 1.633167e+02 | 1.910000e+02 | 16.95%
786.27/786.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.27/786.45 c 786s| 21900 | 9193 | 5793k| 263.4 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1849 | 1.633183e+02 | 1.910000e+02 | 16.95%
789.46/789.64 c 790s| 22000 | 9249 | 5817k| 263.3 | 12M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |1856 | 1.633201e+02 | 1.910000e+02 | 16.95%
791.77/791.92 c 792s| 22100 | 9265 | 5834k| 262.9 | 12M| 135 | 100 | 470 | 571 | 470 | 965 | 705 | 3 |1862 | 1.633229e+02 | 1.910000e+02 | 16.95%
795.26/795.43 c 795s| 22200 | 9307 | 5861k| 262.9 | 12M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |1868 | 1.633258e+02 | 1.910000e+02 | 16.94%
796.17/796.33 c 796s| 22300 | 9325 | 5868k| 262.1 | 12M| 135 | - | 470 | 571 | 0 | 0 | 705 | 3 |1869 | 1.633258e+02 | 1.910000e+02 | 16.94%
798.36/798.58 c 799s| 22400 | 9363 | 5885k| 261.7 | 12M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633270e+02 | 1.910000e+02 | 16.94%
799.56/799.78 c 800s| 22500 | 9391 | 5895k| 260.9 | 12M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633280e+02 | 1.910000e+02 | 16.94%
802.56/802.74 c 803s| 22600 | 9415 | 5920k| 260.9 | 12M| 135 | 137 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633281e+02 | 1.910000e+02 | 16.94%
803.36/803.54 c 804s| 22700 | 9445 | 5927k| 260.1 | 12M| 135 | 92 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633281e+02 | 1.910000e+02 | 16.94%
805.07/805.21 c 805s| 22800 | 9463 | 5941k| 259.5 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633282e+02 | 1.910000e+02 | 16.94%
809.25/809.44 c 809s| 22900 | 9513 | 5975k| 259.9 | 12M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633286e+02 | 1.910000e+02 | 16.94%
810.86/811.07 c 811s| 23000 | 9547 | 5989k| 259.4 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633287e+02 | 1.910000e+02 | 16.94%
812.15/812.32 c 812s| 23100 | 9595 | 5998k| 258.6 | 12M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633289e+02 | 1.910000e+02 | 16.94%
812.86/813.05 c 813s| 23200 | 9647 | 6004k| 257.8 | 12M| 135 | 383 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633293e+02 | 1.910000e+02 | 16.94%
814.06/814.29 c 814s| 23300 | 9655 | 6014k| 257.1 | 12M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633293e+02 | 1.910000e+02 | 16.94%
816.06/816.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.06/816.23 c 816s| 23400 | 9689 | 6032k| 256.8 | 12M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633295e+02 | 1.910000e+02 | 16.94%
817.26/817.42 c 817s| 23500 | 9735 | 6041k| 256.1 | 12M| 135 | 374 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633306e+02 | 1.910000e+02 | 16.94%
819.65/819.80 c 820s| 23600 | 9791 | 6059k| 255.8 | 12M| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |1871 | 1.633335e+02 | 1.910000e+02 | 16.94%
822.16/822.35 c 822s| 23700 | 9833 | 6077k| 255.4 | 12M| 135 | 376 | 470 | 571 | 470 | 965 | 705 | 3 |1880 | 1.633335e+02 | 1.910000e+02 | 16.94%
823.95/824.10 c 824s| 23800 | 9877 | 6088k| 254.8 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1890 | 1.633356e+02 | 1.910000e+02 | 16.94%
825.86/826.08 c 826s| 23900 | 9911 | 6104k| 254.4 | 12M| 135 | 95 | 470 | 571 | 470 | 965 | 705 | 3 |1890 | 1.633363e+02 | 1.910000e+02 | 16.94%
826.15/826.31 c 826s| 24000 | 9905 | 6106k| 253.5 | 12M| 135 | - | 470 | 571 | 0 | 0 | 705 | 3 |1890 | 1.633363e+02 | 1.910000e+02 | 16.94%
828.46/828.65 c 829s| 24100 | 9913 | 6120k| 253.0 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1907 | 1.633375e+02 | 1.910000e+02 | 16.94%
832.15/832.34 c 832s| 24200 | 9947 | 6151k| 253.2 | 12M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1907 | 1.633389e+02 | 1.910000e+02 | 16.93%
836.55/836.75 c 837s| 24300 | 9999 | 6183k| 253.5 | 12M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1918 | 1.633394e+02 | 1.910000e+02 | 16.93%
839.66/839.83 c 840s| 24400 | 10043 | 6203k| 253.3 | 12M| 135 | 93 | 470 | 571 | 470 | 965 | 705 | 3 |1932 | 1.633419e+02 | 1.910000e+02 | 16.93%
841.65/841.84 c 842s| 24500 | 10081 | 6213k| 252.6 | 12M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633431e+02 | 1.910000e+02 | 16.93%
843.25/843.46 c 843s| 24600 | 10113 | 6226k| 252.2 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633432e+02 | 1.910000e+02 | 16.93%
845.66/845.85 c 846s| 24700 | 10155 | 6245k| 251.9 | 13M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633433e+02 | 1.910000e+02 | 16.93%
846.25/846.45 c 846s| 24800 | 10165 | 6250k| 251.1 | 13M| 135 | 372 | 470 | 571 | 470 | 965 | 705 | 3 |1954 | 1.633453e+02 | 1.910000e+02 | 16.93%
850.65/850.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
850.65/850.84 c 851s| 24900 | 10201 | 6282k| 251.4 | 13M| 135 | 380 | 470 | 571 | 470 | 965 | 705 | 3 |1966 | 1.633469e+02 | 1.910000e+02 | 16.93%
854.46/854.66 c 855s| 25000 | 10229 | 6310k| 251.5 | 13M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633503e+02 | 1.910000e+02 | 16.93%
854.65/854.86 c 855s| 25100 | 10237 | 6312k| 250.6 | 13M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633503e+02 | 1.910000e+02 | 16.93%
864.65/864.82 c 865s| 25200 | 10273 | 6415k| 253.6 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633526e+02 | 1.910000e+02 | 16.92%
866.66/866.81 c 867s| 25300 | 10291 | 6432k| 253.3 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633528e+02 | 1.910000e+02 | 16.92%
868.76/868.92 c 869s| 25400 | 10329 | 6449k| 253.0 | 13M| 135 | 371 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633535e+02 | 1.910000e+02 | 16.92%
872.45/872.66 c 873s| 25500 | 10373 | 6478k| 253.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633541e+02 | 1.910000e+02 | 16.92%
873.65/873.83 c 874s| 25600 | 10397 | 6487k| 252.5 | 13M| 135 | 81 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633551e+02 | 1.910000e+02 | 16.92%
876.75/876.92 c 877s| 25700 | 10437 | 6513k| 252.5 | 13M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633562e+02 | 1.910000e+02 | 16.92%
879.24/879.43 c 879s| 25800 | 10455 | 6534k| 252.3 | 13M| 135 | 355 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633569e+02 | 1.910000e+02 | 16.92%
882.25/882.43 c 882s| 25900 | 10505 | 6558k| 252.3 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633597e+02 | 1.910000e+02 | 16.92%
885.65/885.84 c 886s| 26000 | 10561 | 6585k| 252.4 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633614e+02 | 1.910000e+02 | 16.92%
888.84/889.00 c 889s| 26100 | 10611 | 6609k| 252.3 | 13M| 135 | 349 | 470 | 571 | 470 | 965 | 705 | 3 |1978 | 1.633627e+02 | 1.910000e+02 | 16.92%
891.05/891.21 c 891s| 26200 | 10635 | 6622k| 251.9 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1996 | 1.633631e+02 | 1.910000e+02 | 16.92%
894.45/894.60 c 895s| 26300 | 10661 | 6650k| 252.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |1996 | 1.633639e+02 | 1.910000e+02 | 16.92%
897.24/897.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.24/897.40 c 897s| 26400 | 10681 | 6669k| 251.7 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2011 | 1.633652e+02 | 1.910000e+02 | 16.92%
901.85/902.06 c 902s| 26500 | 10735 | 6701k| 252.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633686e+02 | 1.910000e+02 | 16.91%
902.54/902.72 c 903s| 26600 | 10751 | 6706k| 251.2 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633687e+02 | 1.910000e+02 | 16.91%
903.34/903.55 c 904s| 26700 | 10777 | 6713k| 250.5 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2028 | 1.633695e+02 | 1.910000e+02 | 16.91%
908.24/908.46 c 908s| 26800 | 10823 | 6751k| 251.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2038 | 1.633717e+02 | 1.910000e+02 | 16.91%
912.75/913.00 c 913s| 26900 | 10875 | 6784k| 251.3 | 13M| 135 | 370 | 470 | 571 | 470 | 965 | 705 | 3 |2049 | 1.633746e+02 | 1.910000e+02 | 16.91%
915.94/916.18 c 916s| 27000 | 10929 | 6805k| 251.2 | 13M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 3 |2063 | 1.633760e+02 | 1.910000e+02 | 16.91%
918.64/918.89 c 919s| 27100 | 10965 | 6823k| 250.9 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633766e+02 | 1.910000e+02 | 16.91%
918.84/919.07 c 919s| 27200 | 10973 | 6824k| 250.0 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633766e+02 | 1.910000e+02 | 16.91%
920.24/920.43 c 920s| 27300 | 11003 | 6835k| 249.5 | 13M| 135 | 107 | 470 | 571 | 470 | 965 | 705 | 3 |2078 | 1.633768e+02 | 1.910000e+02 | 16.91%
920.44/920.70 c 921s| 27400 | 11035 | 6837k| 248.7 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2080 | 1.633768e+02 | 1.910000e+02 | 16.91%
925.04/925.21 c 925s| 27500 | 11089 | 6873k| 249.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2086 | 1.633782e+02 | 1.910000e+02 | 16.91%
927.94/928.10 c 928s| 27600 | 11141 | 6898k| 249.1 | 13M| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 3 |2086 | 1.633792e+02 | 1.910000e+02 | 16.91%
930.24/930.49 c 930s| 27700 | 11165 | 6917k| 248.9 | 13M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |2087 | 1.633802e+02 | 1.910000e+02 | 16.91%
933.34/933.56 c 934s| 27800 | 11209 | 6942k| 248.9 | 13M| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633807e+02 | 1.910000e+02 | 16.90%
936.54/936.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
936.54/936.75 c 937s| 27900 | 11233 | 6969k| 249.0 | 13M| 135 | 133 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633813e+02 | 1.910000e+02 | 16.90%
939.14/939.32 c 939s| 28000 | 11289 | 6990k| 248.8 | 13M| 135 | 352 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633834e+02 | 1.910000e+02 | 16.90%
939.84/940.09 c 940s| 28100 | 11325 | 6996k| 248.1 | 13M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633843e+02 | 1.910000e+02 | 16.90%
941.64/941.86 c 942s| 28200 | 11365 | 7009k| 247.7 | 14M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633868e+02 | 1.910000e+02 | 16.90%
945.14/945.30 c 945s| 28300 | 11407 | 7036k| 247.8 | 14M| 135 | 367 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633880e+02 | 1.910000e+02 | 16.90%
945.94/946.15 c 946s| 28400 | 11427 | 7043k| 247.2 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633890e+02 | 1.910000e+02 | 16.90%
948.44/948.60 c 949s| 28500 | 11467 | 7063k| 247.0 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633920e+02 | 1.910000e+02 | 16.90%
951.03/951.22 c 951s| 28600 | 11495 | 7085k| 246.9 | 14M| 135 | 360 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633921e+02 | 1.910000e+02 | 16.90%
955.33/955.56 c 956s| 28700 | 11537 | 7120k| 247.3 | 14M| 135 | 99 | 470 | 571 | 470 | 965 | 705 | 3 |2088 | 1.633937e+02 | 1.910000e+02 | 16.90%
957.34/957.55 c 958s| 28800 | 11559 | 7133k| 246.8 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2099 | 1.633948e+02 | 1.910000e+02 | 16.89%
958.74/958.95 c 959s| 28900 | 11595 | 7143k| 246.4 | 14M| 135 | 105 | 470 | 571 | 470 | 965 | 705 | 3 |2099 | 1.633957e+02 | 1.910000e+02 | 16.89%
960.54/960.78 c 961s| 29000 | 11625 | 7152k| 245.8 | 14M| 135 | 385 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.633969e+02 | 1.910000e+02 | 16.89%
962.73/962.98 c 963s| 29100 | 11649 | 7169k| 245.5 | 14M| 135 | 353 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.633980e+02 | 1.910000e+02 | 16.89%
965.03/965.28 c 965s| 29200 | 11691 | 7188k| 245.4 | 14M| 135 | 366 | 470 | 571 | 470 | 965 | 705 | 3 |2137 | 1.634000e+02 | 1.910000e+02 | 16.89%
967.33/967.51 c 968s| 29300 | 11709 | 7204k| 245.1 | 14M| 135 | 78 | 470 | 571 | 470 | 965 | 705 | 3 |2147 | 1.634004e+02 | 1.910000e+02 | 16.89%
970.83/971.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
970.83/971.00 c 971s| 29400 | 11733 | 7227k| 245.0 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2160 | 1.634008e+02 | 1.910000e+02 | 16.89%
971.63/971.80 c 972s| 29500 | 11749 | 7234k| 244.4 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2160 | 1.634008e+02 | 1.910000e+02 | 16.89%
974.34/974.51 c 975s| 29600 | 11779 | 7252k| 244.2 | 14M| 135 | 112 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634012e+02 | 1.910000e+02 | 16.89%
975.93/976.12 c 976s| 29700 | 11835 | 7266k| 243.9 | 14M| 135 | 125 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634015e+02 | 1.910000e+02 | 16.89%
976.83/977.00 c 977s| 29800 | 11891 | 7274k| 243.3 | 14M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 3 |2172 | 1.634018e+02 | 1.910000e+02 | 16.89%
979.94/980.12 c 980s| 29900 | 11945 | 7297k| 243.3 | 14M| 135 | 111 | 470 | 571 | 470 | 965 | 705 | 3 |2184 | 1.634022e+02 | 1.910000e+02 | 16.89%
981.93/982.14 c 982s| 30000 | 11971 | 7311k| 242.9 | 14M| 135 | 90 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634031e+02 | 1.910000e+02 | 16.89%
982.14/982.39 c 982s| 30100 | 11977 | 7314k| 242.2 | 14M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634031e+02 | 1.910000e+02 | 16.89%
982.83/983.08 c 983s| 30200 | 11989 | 7319k| 241.6 | 14M| 135 | 379 | 470 | 571 | 470 | 965 | 705 | 3 |2194 | 1.634035e+02 | 1.910000e+02 | 16.89%
984.13/984.30 c 984s| 30300 | 11981 | 7329k| 241.1 | 14M| 135 | 84 | 470 | 571 | 470 | 965 | 705 | 3 |2203 | 1.634035e+02 | 1.910000e+02 | 16.89%
985.03/985.24 c 985s| 30400 | 12011 | 7336k| 240.6 | 14M| 135 | 126 | 470 | 571 | 470 | 965 | 705 | 3 |2208 | 1.634036e+02 | 1.910000e+02 | 16.89%
989.13/989.37 c 989s| 30500 | 12077 | 7370k| 240.9 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2209 | 1.634050e+02 | 1.910000e+02 | 16.89%
990.83/991.03 c 991s| 30600 | 12087 | 7384k| 240.5 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634050e+02 | 1.910000e+02 | 16.89%
993.83/994.07 c 994s| 30700 | 12125 | 7408k| 240.5 | 14M| 135 | 102 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634068e+02 | 1.910000e+02 | 16.89%
996.03/996.25 c 996s| 30800 | 12161 | 7426k| 240.4 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634071e+02 | 1.910000e+02 | 16.89%
998.93/999.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.93/999.19 c 999s| 30900 | 12189 | 7449k| 240.3 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634089e+02 | 1.910000e+02 | 16.88%
1000.93/1001.13 c 1001s| 31000 | 12209 | 7466k| 240.1 | 14M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634103e+02 | 1.910000e+02 | 16.88%
1001.62/1001.86 c 1002s| 31100 | 12243 | 7472k| 239.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634103e+02 | 1.910000e+02 | 16.88%
1004.53/1004.74 c 1005s| 31200 | 12287 | 7495k| 239.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634113e+02 | 1.910000e+02 | 16.88%
1006.52/1006.77 c 1007s| 31300 | 12303 | 7512k| 239.3 | 14M| 135 | 72 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634119e+02 | 1.910000e+02 | 16.88%
1009.83/1010.06 c 1010s| 31400 | 12339 | 7538k| 239.3 | 14M| 135 | 375 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634148e+02 | 1.910000e+02 | 16.88%
1011.42/1011.65 c 1012s| 31500 | 12393 | 7550k| 238.9 | 14M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634159e+02 | 1.910000e+02 | 16.88%
1014.22/1014.45 c 1014s| 31600 | 12449 | 7571k| 238.9 | 14M| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634171e+02 | 1.910000e+02 | 16.88%
1015.73/1015.99 c 1016s| 31700 | 12465 | 7584k| 238.5 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2210 | 1.634171e+02 | 1.910000e+02 | 16.88%
1017.72/1017.95 c 1018s| 31800 | 12491 | 7597k| 238.2 | 14M| 135 | 69 | 470 | 571 | 470 | 965 | 705 | 3 |2219 | 1.634172e+02 | 1.910000e+02 | 16.88%
1019.83/1020.07 c 1020s| 31900 | 12505 | 7612k| 237.9 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2230 | 1.634177e+02 | 1.910000e+02 | 16.88%
1024.72/1024.91 c 1025s| 32000 | 12547 | 7645k| 238.2 | 14M| 135 | 88 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634191e+02 | 1.910000e+02 | 16.88%
1025.33/1025.59 c 1026s| 32100 | 12559 | 7650k| 237.6 | 14M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634198e+02 | 1.910000e+02 | 16.88%
1027.92/1028.10 c 1028s| 32200 | 12597 | 7669k| 237.5 | 15M| 135 | 368 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634210e+02 | 1.910000e+02 | 16.88%
1029.53/1029.76 c 1030s| 32300 | 12617 | 7683k| 237.1 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634212e+02 | 1.910000e+02 | 16.88%
1030.12/1030.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.12/1030.38 c 1030s| 32400 | 12633 | 7688k| 236.6 | 15M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 3 |2254 | 1.634221e+02 | 1.910000e+02 | 16.88%
1033.23/1033.47 c 1033s| 32500 | 12677 | 7710k| 236.5 | 15M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 3 |2277 | 1.634223e+02 | 1.910000e+02 | 16.88%
1038.32/1038.51 c 1039s| 32600 | 12729 | 7747k| 236.9 | 15M| 135 | 351 | 470 | 571 | 470 | 965 | 705 | 3 |2286 | 1.634239e+02 | 1.910000e+02 | 16.87%
1040.12/1040.39 c 1040s| 32700 | 12755 | 7763k| 236.7 | 15M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 3 |2286 | 1.634267e+02 | 1.910000e+02 | 16.87%
1043.82/1044.08 c 1044s| 32800 | 12797 | 7789k| 236.8 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2296 | 1.634284e+02 | 1.910000e+02 | 16.87%
1045.62/1045.82 c 1046s| 32900 | 12823 | 7800k| 236.4 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2307 | 1.634314e+02 | 1.910000e+02 | 16.87%
1049.02/1049.22 c 1049s| 33000 | 12859 | 7825k| 236.4 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 3 |2315 | 1.634325e+02 | 1.910000e+02 | 16.87%
1050.62/1050.82 c 1051s| 33100 | 12895 | 7837k| 236.1 | 15M| 135 | 119 | 470 | 571 | 470 | 965 | 705 | 3 |2321 | 1.634340e+02 | 1.910000e+02 | 16.87%
1052.02/1052.21 c 1052s| 33200 | 12919 | 7848k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2326 | 1.634341e+02 | 1.910000e+02 | 16.87%
1056.92/1057.15 c 1057s| 33300 | 12979 | 7887k| 236.1 | 15M| 135 | 100 | 470 | 570 | 470 | 965 | 705 | 3 |2327 | 1.634359e+02 | 1.910000e+02 | 16.87%
1057.93/1058.16 c 1058s| 33400 | 12999 | 7895k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634359e+02 | 1.910000e+02 | 16.87%
1060.13/1060.38 c 1060s| 33500 | 13047 | 7913k| 235.5 | 15M| 135 | 79 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634368e+02 | 1.910000e+02 | 16.86%
1061.02/1061.21 c 1061s| 33600 | 13071 | 7920k| 235.0 | 15M| 135 | 88 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634372e+02 | 1.910000e+02 | 16.86%
1063.82/1064.02 c 1064s| 33700 | 13117 | 7941k| 234.9 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634386e+02 | 1.910000e+02 | 16.86%
1068.22/1068.45 c 1068s| 33800 | 13175 | 7978k| 235.3 | 15M| 135 | 366 | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634404e+02 | 1.910000e+02 | 16.86%
1072.82/1073.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1072.82/1073.00 c 1073s| 33900 | 13221 | 8015k| 235.7 | 15M| 135 | - | 470 | 570 | 470 | 965 | 705 | 3 |2329 | 1.634427e+02 | 1.910000e+02 | 16.86%
1076.21/1076.44 c 1076s| 34000 | 13265 | 8044k| 235.9 | 15M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634440e+02 | 1.910000e+02 | 16.86%
1079.51/1079.71 c 1080s| 34100 | 13313 | 8071k| 236.0 | 15M| 135 | 86 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634442e+02 | 1.910000e+02 | 16.86%
1080.92/1081.17 c 1081s| 34200 | 13347 | 8082k| 235.6 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634456e+02 | 1.910000e+02 | 16.86%
1084.91/1085.19 c 1085s| 34300 | 13385 | 8115k| 235.9 | 15M| 135 | 71 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634463e+02 | 1.910000e+02 | 16.86%
1085.71/1085.97 c 1086s| 34400 | 13437 | 8122k| 235.4 | 15M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2329 | 1.634468e+02 | 1.910000e+02 | 16.86%
1087.02/1087.25 c 1087s| 34500 | 13487 | 8128k| 234.9 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634478e+02 | 1.910000e+02 | 16.86%
1089.92/1090.12 c 1090s| 34600 | 13519 | 8151k| 234.9 | 15M| 135 | 116 | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634489e+02 | 1.910000e+02 | 16.86%
1091.02/1091.28 c 1091s| 34700 | 13553 | 8160k| 234.5 | 15M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 4 |2342 | 1.634492e+02 | 1.910000e+02 | 16.86%
1092.81/1093.00 c 1093s| 34800 | 13575 | 8172k| 234.2 | 15M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 4 |2355 | 1.634492e+02 | 1.910000e+02 | 16.86%
1096.71/1096.92 c 1097s| 34900 | 13643 | 8197k| 234.2 | 15M| 135 | 164 | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634508e+02 | 1.910000e+02 | 16.85%
1097.71/1097.92 c 1098s| 35000 | 13705 | 8206k| 233.8 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634514e+02 | 1.910000e+02 | 16.85%
1099.61/1099.87 c 1100s| 35100 | 13737 | 8223k| 233.6 | 15M| 135 | 74 | 470 | 571 | 470 | 965 | 705 | 4 |2372 | 1.634519e+02 | 1.910000e+02 | 16.85%
1103.01/1103.23 c 1103s| 35200 | 13759 | 8249k| 233.7 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2381 | 1.634533e+02 | 1.910000e+02 | 16.85%
1106.01/1106.27 c 1106s| 35300 | 13795 | 8271k| 233.6 | 15M| 135 | 73 | 470 | 571 | 470 | 965 | 705 | 4 |2391 | 1.634546e+02 | 1.910000e+02 | 16.85%
1106.91/1107.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1106.91/1107.12 c 1107s| 35400 | 13805 | 8277k| 233.2 | 15M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2391 | 1.634548e+02 | 1.910000e+02 | 16.85%
1107.71/1107.97 c 1108s| 35500 | 13851 | 8284k| 232.7 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2402 | 1.634555e+02 | 1.910000e+02 | 16.85%
1109.62/1109.83 c 1110s| 35600 | 13891 | 8298k| 232.4 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2411 | 1.634560e+02 | 1.910000e+02 | 16.85%
1112.61/1112.81 c 1113s| 35700 | 13923 | 8316k| 232.3 | 16M| 135 | 77 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634578e+02 | 1.910000e+02 | 16.85%
1116.11/1116.36 c 1116s| 35800 | 13945 | 8345k| 232.5 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634593e+02 | 1.910000e+02 | 16.85%
1116.31/1116.57 c 1117s| 35900 | 13943 | 8347k| 231.9 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634593e+02 | 1.910000e+02 | 16.85%
1119.10/1119.39 c 1119s| 36000 | 13971 | 8371k| 231.9 | 16M| 135 | 103 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634601e+02 | 1.910000e+02 | 16.85%
1119.91/1120.15 c 1120s| 36100 | 13983 | 8377k| 231.4 | 16M| 135 | 70 | 470 | 571 | 470 | 965 | 705 | 4 |2433 | 1.634613e+02 | 1.910000e+02 | 16.85%
1121.51/1121.72 c 1122s| 36200 | 13999 | 8387k| 231.0 | 16M| 135 | 85 | 470 | 571 | 470 | 965 | 705 | 4 |2443 | 1.634620e+02 | 1.910000e+02 | 16.85%
1125.01/1125.29 c 1125s| 36300 | 14027 | 8414k| 231.1 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634643e+02 | 1.910000e+02 | 16.85%
1126.41/1126.61 c 1127s| 36400 | 14063 | 8424k| 230.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634646e+02 | 1.910000e+02 | 16.84%
1127.61/1127.89 c 1128s| 36500 | 14093 | 8434k| 230.4 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634648e+02 | 1.910000e+02 | 16.84%
1132.30/1132.50 c 1132s| 36600 | 14151 | 8471k| 230.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634665e+02 | 1.910000e+02 | 16.84%
1134.91/1135.13 c 1135s| 36700 | 14189 | 8492k| 230.7 | 16M| 135 | 360 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634701e+02 | 1.910000e+02 | 16.84%
1138.71/1138.97 c 1139s| 36800 | 14237 | 8524k| 231.0 | 16M| 135 | 357 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634711e+02 | 1.910000e+02 | 16.84%
1139.81/1140.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.81/1140.05 c 1140s| 36900 | 14253 | 8533k| 230.6 | 16M| 135 | 68 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634711e+02 | 1.910000e+02 | 16.84%
1140.60/1140.82 c 1141s| 37000 | 14257 | 8540k| 230.2 | 16M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634712e+02 | 1.910000e+02 | 16.84%
1141.70/1141.98 c 1142s| 37100 | 14291 | 8549k| 229.8 | 16M| 135 | 364 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634731e+02 | 1.910000e+02 | 16.84%
1143.40/1143.66 c 1144s| 37200 | 14313 | 8562k| 229.5 | 16M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634744e+02 | 1.910000e+02 | 16.84%
1144.20/1144.43 c 1144s| 37300 | 14323 | 8569k| 229.1 | 16M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634745e+02 | 1.910000e+02 | 16.84%
1144.91/1145.12 c 1145s| 37400 | 14341 | 8574k| 228.6 | 16M| 135 | 342 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634748e+02 | 1.910000e+02 | 16.84%
1149.10/1149.36 c 1149s| 37500 | 14377 | 8611k| 229.0 | 16M| 135 | 89 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634748e+02 | 1.910000e+02 | 16.84%
1150.70/1150.98 c 1151s| 37600 | 14393 | 8624k| 228.7 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634750e+02 | 1.910000e+02 | 16.84%
1152.10/1152.32 c 1152s| 37700 | 14415 | 8634k| 228.4 | 16M| 135 | 101 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634764e+02 | 1.910000e+02 | 16.84%
1153.50/1153.80 c 1154s| 37800 | 14453 | 8646k| 228.1 | 16M| 135 | 108 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634775e+02 | 1.910000e+02 | 16.84%
1155.50/1155.73 c 1156s| 37900 | 14481 | 8661k| 227.9 | 16M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 4 |2450 | 1.634784e+02 | 1.910000e+02 | 16.84%
1158.30/1158.53 c 1159s| 38000 | 14513 | 8680k| 227.8 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2463 | 1.634787e+02 | 1.910000e+02 | 16.83%
1160.00/1160.21 c 1160s| 38100 | 14545 | 8694k| 227.6 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2463 | 1.634788e+02 | 1.910000e+02 | 16.83%
1164.40/1164.61 c 1165s| 38200 | 14599 | 8726k| 227.8 | 16M| 135 | 344 | 470 | 571 | 470 | 965 | 705 | 4 |2476 | 1.634799e+02 | 1.910000e+02 | 16.83%
1166.41/1166.64 c 1167s| 38300 | 14655 | 8742k| 227.6 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2476 | 1.634806e+02 | 1.910000e+02 | 16.83%
1168.10/1168.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.10/1168.36 c 1168s| 38400 | 14683 | 8753k| 227.3 | 16M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2486 | 1.634810e+02 | 1.910000e+02 | 16.83%
1172.31/1172.53 c 1173s| 38500 | 14715 | 8781k| 227.5 | 16M| 135 | 111 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634815e+02 | 1.910000e+02 | 16.83%
1173.00/1173.20 c 1173s| 38600 | 14757 | 8786k| 227.0 | 16M| 135 | 80 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634817e+02 | 1.910000e+02 | 16.83%
1175.50/1175.80 c 1176s| 38700 | 14805 | 8808k| 227.0 | 16M| 135 | 82 | 470 | 571 | 470 | 965 | 705 | 4 |2506 | 1.634820e+02 | 1.910000e+02 | 16.83%
1179.40/1179.61 c 1180s| 38800 | 14851 | 8836k| 227.1 | 16M| 135 | 363 | 470 | 571 | 470 | 965 | 705 | 4 |2516 | 1.634845e+02 | 1.910000e+02 | 16.83%
1182.70/1182.93 c 1183s| 38900 | 14893 | 8859k| 227.1 | 16M| 135 | 369 | 470 | 571 | 470 | 965 | 705 | 4 |2530 | 1.634865e+02 | 1.910000e+02 | 16.83%
1184.51/1184.78 c 1185s| 39000 | 14919 | 8873k| 226.9 | 16M| 135 | 356 | 470 | 571 | 470 | 965 | 705 | 4 |2530 | 1.634866e+02 | 1.910000e+02 | 16.83%
1188.00/1188.27 c 1188s| 39100 | 14977 | 8900k| 227.0 | 16M| 135 | 365 | 470 | 571 | 470 | 965 | 705 | 4 |2535 | 1.634884e+02 | 1.910000e+02 | 16.83%
1191.30/1191.51 c 1192s| 39200 | 15027 | 8923k| 227.0 | 16M| 135 | 87 | 470 | 571 | 470 | 965 | 705 | 4 |2545 | 1.634895e+02 | 1.910000e+02 | 16.83%
1193.60/1193.84 c 1194s| 39300 | 15057 | 8942k| 226.9 | 17M| 135 | 383 | 470 | 571 | 470 | 965 | 705 | 4 |2550 | 1.634899e+02 | 1.910000e+02 | 16.83%
1195.10/1195.38 c 1195s| 39400 | 15065 | 8954k| 226.7 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2550 | 1.634904e+02 | 1.910000e+02 | 16.83%
1196.90/1197.18 c 1197s| 39500 | 15115 | 8967k| 226.4 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634922e+02 | 1.910000e+02 | 16.83%
1199.19/1199.45 c 1199s| 39600 | 15153 | 8985k| 226.3 | 17M| 135 | 98 | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634930e+02 | 1.910000e+02 | 16.82%
1200.69/1200.91 c 1201s| 39700 | 15197 | 8997k| 226.0 | 17M| 135 | 68 | 470 | 571 | 470 | 965 | 705 | 4 |2551 | 1.634934e+02 | 1.910000e+02 | 16.82%
1201.40/1201.68 c 1202s| 39800 | 15207 | 9003k| 225.6 | 17M| 135 | 91 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634936e+02 | 1.910000e+02 | 16.82%
1204.70/1204.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1204.70/1204.92 c 1205s| 39900 | 15255 | 9028k| 225.7 | 17M| 135 | 106 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634949e+02 | 1.910000e+02 | 16.82%
1208.60/1208.88 c 1209s| 40000 | 15299 | 9062k| 226.0 | 17M| 135 | 94 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634968e+02 | 1.910000e+02 | 16.82%
1208.80/1209.05 c 1209s| 40100 | 15301 | 9063k| 225.4 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634968e+02 | 1.910000e+02 | 16.82%
1213.00/1213.20 c 1213s| 40200 | 15357 | 9096k| 225.7 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634973e+02 | 1.910000e+02 | 16.82%
1217.69/1217.94 c 1218s| 40300 | 15395 | 9135k| 226.1 | 17M| 135 | 90 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634978e+02 | 1.910000e+02 | 16.82%
1220.39/1220.66 c 1221s| 40400 | 15439 | 9156k| 226.1 | 17M| 135 | - | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.634997e+02 | 1.910000e+02 | 16.82%
1222.19/1222.48 c 1222s| 40500 | 15455 | 9172k| 225.9 | 17M| 135 | 65 | 470 | 571 | 470 | 965 | 705 | 4 |2552 | 1.635006e+02 | 1.910000e+02 | 16.82%
1223.89/1224.11 c 1224s| 40600 | 15475 | 9187k| 225.7 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635006e+02 | 1.910000e+02 | 16.82%
1224.59/1224.87 c 1225s| 40700 | 15491 | 9193k| 225.3 | 17M| 135 | 90 | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635008e+02 | 1.910000e+02 | 16.82%
1227.59/1227.84 c 1228s| 40800 | 15525 | 9216k| 225.3 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2552 | 1.635015e+02 | 1.910000e+02 | 16.82%
1229.60/1229.85 c 1230s| 40900 | 15575 | 9228k| 225.0 | 17M| 135 | 126 | 470 | 578 | 470 | 965 | 705 | 11 |2567 | 1.635030e+02 | 1.910000e+02 | 16.82%
1232.49/1232.71 c 1233s| 41000 | 15629 | 9250k| 225.1 | 17M| 135 | 361 | 470 | 578 | 470 | 965 | 705 | 11 |2567 | 1.635034e+02 | 1.910000e+02 | 16.82%
1235.69/1235.95 c 1236s| 41100 | 15663 | 9274k| 225.1 | 17M| 135 | 386 | 470 | 578 | 470 | 965 | 705 | 11 |2576 | 1.635045e+02 | 1.910000e+02 | 16.82%
1238.09/1238.33 c 1238s| 41200 | 15689 | 9293k| 225.0 | 17M| 135 | 72 | 470 | 578 | 470 | 965 | 705 | 11 |2591 | 1.635054e+02 | 1.910000e+02 | 16.82%
1239.79/1240.06 c 1240s| 41300 | 15721 | 9304k| 224.7 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2602 | 1.635062e+02 | 1.910000e+02 | 16.82%
1243.69/1243.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1243.69/1243.93 c 1244s| 41400 | 15775 | 9329k| 224.8 | 17M| 135 | 114 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635073e+02 | 1.910000e+02 | 16.81%
1244.49/1244.72 c 1245s| 41500 | 15821 | 9335k| 224.4 | 17M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635077e+02 | 1.910000e+02 | 16.81%
1245.89/1246.14 c 1246s| 41600 | 15873 | 9347k| 224.1 | 17M| 135 | 100 | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635078e+02 | 1.910000e+02 | 16.81%
1247.99/1248.29 c 1248s| 41700 | 15915 | 9364k| 224.0 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2620 | 1.635084e+02 | 1.910000e+02 | 16.81%
1250.69/1250.94 c 1251s| 41800 | 15955 | 9383k| 223.9 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2634 | 1.635094e+02 | 1.910000e+02 | 16.81%
1251.29/1251.58 c 1252s| 41900 | 15973 | 9388k| 223.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2634 | 1.635098e+02 | 1.910000e+02 | 16.81%
1256.79/1257.07 c 1257s| 42000 | 16017 | 9429k| 223.9 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635103e+02 | 1.910000e+02 | 16.81%
1258.39/1258.68 c 1259s| 42100 | 16053 | 9442k| 223.7 | 17M| 135 | 82 | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635103e+02 | 1.910000e+02 | 16.81%
1259.89/1260.14 c 1260s| 42200 | 16077 | 9453k| 223.5 | 17M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2649 | 1.635105e+02 | 1.910000e+02 | 16.81%
1260.19/1260.43 c 1260s| 42300 | 16111 | 9456k| 223.0 | 17M| 135 | 108 | 470 | 578 | 470 | 965 | 705 | 11 |2656 | 1.635105e+02 | 1.910000e+02 | 16.81%
1260.39/1260.65 c 1261s| 42400 | 16121 | 9458k| 222.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2662 | 1.635105e+02 | 1.910000e+02 | 16.81%
1263.59/1263.89 c 1264s| 42500 | 16147 | 9481k| 222.5 | 17M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2670 | 1.635112e+02 | 1.910000e+02 | 16.81%
1264.48/1264.74 c 1265s| 42600 | 16159 | 9487k| 222.2 | 17M| 135 | 89 | 470 | 578 | 470 | 965 | 705 | 11 |2674 | 1.635112e+02 | 1.910000e+02 | 16.81%
1266.39/1266.62 c 1267s| 42700 | 16217 | 9502k| 222.0 | 17M| 135 | 80 | 470 | 578 | 470 | 965 | 705 | 11 |2674 | 1.635118e+02 | 1.910000e+02 | 16.81%
1267.00/1267.25 c 1267s| 42800 | 16217 | 9507k| 221.6 | 17M| 135 | 353 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635120e+02 | 1.910000e+02 | 16.81%
1269.09/1269.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1269.09/1269.37 c 1269s| 42900 | 16247 | 9525k| 221.5 | 17M| 135 | 73 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635128e+02 | 1.910000e+02 | 16.81%
1271.89/1272.12 c 1272s| 43000 | 16271 | 9548k| 221.5 | 18M| 135 | 87 | 470 | 578 | 470 | 965 | 705 | 11 |2675 | 1.635137e+02 | 1.910000e+02 | 16.81%
1273.79/1274.01 c 1274s| 43100 | 16317 | 9561k| 221.3 | 18M| 135 | 73 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635148e+02 | 1.910000e+02 | 16.81%
1275.69/1275.97 c 1276s| 43200 | 16343 | 9577k| 221.1 | 18M| 135 | 368 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635156e+02 | 1.910000e+02 | 16.81%
1277.39/1277.68 c 1278s| 43300 | 16355 | 9591k| 221.0 | 18M| 135 | 87 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635162e+02 | 1.910000e+02 | 16.81%
1277.68/1277.90 c 1278s| 43400 | 16363 | 9593k| 220.5 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635162e+02 | 1.910000e+02 | 16.81%
1280.58/1280.83 c 1281s| 43500 | 16405 | 9617k| 220.5 | 18M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635167e+02 | 1.910000e+02 | 16.81%
1280.78/1281.05 c 1281s| 43600 | 16425 | 9619k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635167e+02 | 1.910000e+02 | 16.81%
1283.58/1283.88 c 1284s| 43700 | 16459 | 9641k| 220.1 | 18M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635173e+02 | 1.910000e+02 | 16.81%
1286.49/1286.79 c 1287s| 43800 | 16507 | 9665k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635178e+02 | 1.910000e+02 | 16.81%
1289.18/1289.48 c 1289s| 43900 | 16547 | 9685k| 220.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635203e+02 | 1.910000e+02 | 16.81%
1292.98/1293.20 c 1293s| 44000 | 16603 | 9715k| 220.3 | 18M| 135 | 84 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635226e+02 | 1.910000e+02 | 16.80%
1293.58/1293.83 c 1294s| 44100 | 16607 | 9720k| 219.9 | 18M| 135 | 370 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635226e+02 | 1.910000e+02 | 16.80%
1296.49/1296.77 c 1297s| 44200 | 16639 | 9743k| 219.9 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1296.69/1296.93 c 1297s| 44300 | 16643 | 9744k| 219.4 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1296.88/1297.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1296.88/1297.19 c 1297s| 44400 | 16657 | 9747k| 219.0 | 18M| 135 | 95 | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635236e+02 | 1.910000e+02 | 16.80%
1300.08/1300.33 c 1300s| 44500 | 16685 | 9774k| 219.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2676 | 1.635240e+02 | 1.910000e+02 | 16.80%
1302.19/1302.46 c 1302s| 44600 | 16717 | 9784k| 218.9 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635253e+02 | 1.910000e+02 | 16.80%
1304.29/1304.52 c 1305s| 44700 | 16759 | 9801k| 218.7 | 18M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635260e+02 | 1.910000e+02 | 16.80%
1306.98/1307.24 c 1307s| 44800 | 16809 | 9821k| 218.7 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635266e+02 | 1.910000e+02 | 16.80%
1308.28/1308.57 c 1309s| 44900 | 16835 | 9832k| 218.4 | 18M| 135 | 97 | 470 | 578 | 470 | 965 | 705 | 11 |2700 | 1.635269e+02 | 1.910000e+02 | 16.80%
1310.28/1310.50 c 1311s| 45000 | 16867 | 9844k| 218.2 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2712 | 1.635270e+02 | 1.910000e+02 | 16.80%
1311.48/1311.77 c 1312s| 45100 | 16901 | 9854k| 218.0 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2712 | 1.635285e+02 | 1.910000e+02 | 16.80%
1315.57/1315.83 c 1316s| 45200 | 16963 | 9883k| 218.1 | 18M| 135 | 350 | 470 | 578 | 470 | 965 | 705 | 11 |2727 | 1.635311e+02 | 1.910000e+02 | 16.80%
1316.57/1316.82 c 1317s| 45300 | 16985 | 9891k| 217.8 | 18M| 135 | 79 | 470 | 578 | 470 | 965 | 705 | 11 |2727 | 1.635311e+02 | 1.910000e+02 | 16.80%
1320.88/1321.19 c 1321s| 45400 | 17019 | 9924k| 218.1 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2736 | 1.635320e+02 | 1.910000e+02 | 16.80%
1322.18/1322.48 c 1322s| 45500 | 17051 | 9934k| 217.8 | 18M| 135 | 79 | 470 | 578 | 470 | 965 | 705 | 11 |2736 | 1.635332e+02 | 1.910000e+02 | 16.80%
1323.68/1323.96 c 1324s| 45600 | 17099 | 9941k| 217.5 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635335e+02 | 1.910000e+02 | 16.80%
1325.28/1325.52 c 1326s| 45700 | 17129 | 9955k| 217.3 | 18M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635338e+02 | 1.910000e+02 | 16.80%
1328.78/1329.04 c 1329s| 45800 | 17169 | 9984k| 217.5 | 18M| 135 | 381 | 470 | 578 | 470 | 965 | 705 | 11 |2758 | 1.635348e+02 | 1.910000e+02 | 16.79%
1332.67/1332.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.67/1332.95 c 1333s| 45900 | 17205 | 10015k| 217.7 | 18M| 135 | 365 | 470 | 578 | 470 | 965 | 705 | 11 |2765 | 1.635353e+02 | 1.910000e+02 | 16.79%
1335.68/1335.99 c 1336s| 46000 | 17241 | 10039k| 217.7 | 18M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2771 | 1.635353e+02 | 1.910000e+02 | 16.79%
1336.67/1336.91 c 1337s| 46100 | 17275 | 10045k| 217.4 | 18M| 135 | 133 | 470 | 578 | 470 | 965 | 705 | 11 |2784 | 1.635354e+02 | 1.910000e+02 | 16.79%
1338.49/1338.70 c 1339s| 46200 | 17321 | 10058k| 217.2 | 18M| 135 | 356 | 470 | 578 | 470 | 965 | 705 | 11 |2786 | 1.635367e+02 | 1.910000e+02 | 16.79%
1340.17/1340.43 c 1340s| 46300 | 17361 | 10073k| 217.0 | 18M| 135 | 95 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635367e+02 | 1.910000e+02 | 16.79%
1343.27/1343.55 c 1344s| 46400 | 17419 | 10097k| 217.1 | 18M| 135 | 328 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635384e+02 | 1.910000e+02 | 16.79%
1346.68/1346.93 c 1347s| 46500 | 17469 | 10126k| 217.3 | 18M| 135 | 84 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635388e+02 | 1.910000e+02 | 16.79%
1348.47/1348.75 c 1349s| 46600 | 17501 | 10141k| 217.1 | 19M| 135 | 366 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635398e+02 | 1.910000e+02 | 16.79%
1350.97/1351.25 c 1351s| 46700 | 17517 | 10162k| 217.1 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635408e+02 | 1.910000e+02 | 16.79%
1353.27/1353.54 c 1354s| 46800 | 17557 | 10180k| 217.0 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635419e+02 | 1.910000e+02 | 16.79%
1354.77/1355.02 c 1355s| 46900 | 17593 | 10192k| 216.8 | 19M| 135 | 120 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635423e+02 | 1.910000e+02 | 16.79%
1357.77/1358.05 c 1358s| 47000 | 17639 | 10217k| 216.9 | 19M| 135 | 90 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635425e+02 | 1.910000e+02 | 16.79%
1359.17/1359.40 c 1359s| 47100 | 17665 | 10227k| 216.6 | 19M| 135 | 355 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635426e+02 | 1.910000e+02 | 16.79%
1360.07/1360.33 c 1360s| 47200 | 17693 | 10235k| 216.3 | 19M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635428e+02 | 1.910000e+02 | 16.79%
1362.87/1363.18 c 1363s| 47300 | 17725 | 10259k| 216.4 | 19M| 135 | 362 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635436e+02 | 1.910000e+02 | 16.79%
1365.87/1366.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.87/1366.18 c 1366s| 47400 | 17771 | 10285k| 216.5 | 19M| 135 | 341 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635448e+02 | 1.910000e+02 | 16.79%
1370.47/1370.71 c 1371s| 47500 | 17821 | 10323k| 216.8 | 19M| 135 | 366 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635450e+02 | 1.910000e+02 | 16.79%
1372.97/1373.20 c 1373s| 47600 | 17869 | 10344k| 216.8 | 19M| 135 | 105 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635454e+02 | 1.910000e+02 | 16.79%
1374.77/1375.00 c 1375s| 47700 | 17911 | 10357k| 216.6 | 19M| 135 | 335 | 470 | 578 | 470 | 965 | 705 | 11 |2788 | 1.635458e+02 | 1.910000e+02 | 16.79%
1378.26/1378.53 c 1379s| 47800 | 17953 | 10382k| 216.7 | 19M| 135 | 98 | 470 | 578 | 470 | 965 | 705 | 11 |2800 | 1.635463e+02 | 1.910000e+02 | 16.79%
1380.77/1381.06 c 1381s| 47900 | 17987 | 10404k| 216.7 | 19M| 135 | 88 | 470 | 578 | 470 | 965 | 705 | 11 |2800 | 1.635465e+02 | 1.910000e+02 | 16.79%
1382.66/1382.97 c 1383s| 48000 | 18017 | 10415k| 216.5 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2815 | 1.635474e+02 | 1.910000e+02 | 16.79%
1385.27/1385.51 c 1386s| 48100 | 18045 | 10434k| 216.4 | 19M| 135 | 386 | 470 | 578 | 470 | 965 | 705 | 11 |2815 | 1.635485e+02 | 1.910000e+02 | 16.78%
1388.76/1389.01 c 1389s| 48200 | 18091 | 10459k| 216.5 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635495e+02 | 1.910000e+02 | 16.78%
1390.26/1390.58 c 1391s| 48300 | 18127 | 10471k| 216.3 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635497e+02 | 1.910000e+02 | 16.78%
1392.47/1392.79 c 1393s| 48400 | 18167 | 10489k| 216.2 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2833 | 1.635498e+02 | 1.910000e+02 | 16.78%
1396.67/1396.92 c 1397s| 48500 | 18211 | 10518k| 216.4 | 19M| 135 | 67 | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635511e+02 | 1.910000e+02 | 16.78%
1399.07/1399.39 c 1399s| 48600 | 18243 | 10537k| 216.3 | 19M| 135 | 383 | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635524e+02 | 1.910000e+02 | 16.78%
1401.67/1401.92 c 1402s| 48700 | 18285 | 10557k| 216.3 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2853 | 1.635527e+02 | 1.910000e+02 | 16.78%
1405.47/1405.77 c 1406s| 48800 | 18335 | 10584k| 216.4 | 19M| 135 | 376 | 470 | 578 | 470 | 965 | 705 | 11 |2866 | 1.635543e+02 | 1.910000e+02 | 16.78%
1407.96/1408.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1407.96/1408.25 c 1408s| 48900 | 18369 | 10602k| 216.3 | 19M| 135 | 101 | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635564e+02 | 1.910000e+02 | 16.78%
1408.16/1408.43 c 1408s| 49000 | 18369 | 10604k| 215.9 | 19M| 135 | 86 | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635564e+02 | 1.910000e+02 | 16.78%
1408.97/1409.29 c 1409s| 49100 | 18405 | 10611k| 215.6 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2876 | 1.635573e+02 | 1.910000e+02 | 16.78%
1410.86/1411.20 c 1411s| 49200 | 18425 | 10623k| 215.4 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635573e+02 | 1.910000e+02 | 16.78%
1413.27/1413.59 c 1414s| 49300 | 18461 | 10643k| 215.4 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635576e+02 | 1.910000e+02 | 16.78%
1414.07/1414.30 c 1414s| 49400 | 18483 | 10649k| 215.1 | 19M| 135 | 97 | 470 | 578 | 470 | 965 | 705 | 11 |2887 | 1.635580e+02 | 1.910000e+02 | 16.78%
1415.76/1416.04 c 1416s| 49500 | 18495 | 10661k| 214.9 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2893 | 1.635584e+02 | 1.910000e+02 | 16.78%
1418.56/1418.90 c 1419s| 49600 | 18541 | 10684k| 214.9 | 19M| 135 | 99 | 470 | 578 | 470 | 965 | 705 | 11 |2901 | 1.635586e+02 | 1.910000e+02 | 16.78%
1419.57/1419.89 c 1420s| 49700 | 18569 | 10691k| 214.6 | 19M| 135 | - | 470 | 578 | 470 | 965 | 705 | 11 |2904 | 1.635589e+02 | 1.910000e+02 | 16.78%
1424.56/1424.83 c 1425s| 49800 | 18633 | 10731k| 215.0 | 19M| 135 | 82 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635592e+02 | 1.910000e+02 | 16.78%
1426.66/1426.90 c 1427s| 49900 | 18673 | 10747k| 214.9 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635601e+02 | 1.910000e+02 | 16.78%
1430.46/1430.77 c 1431s| 50000 | 18721 | 10778k| 215.1 | 19M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635612e+02 | 1.910000e+02 | 16.78%
1432.36/1432.68 c 1433s| 50100 | 18757 | 10792k| 215.0 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635626e+02 | 1.910000e+02 | 16.77%
1433.86/1434.16 c 1434s| 50200 | 18777 | 10804k| 214.8 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635634e+02 | 1.910000e+02 | 16.77%
1434.16/1434.42 c 1434s| 50300 | 18795 | 10807k| 214.4 | 20M| 135 | 120 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635634e+02 | 1.910000e+02 | 16.77%
1437.16/1437.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1437.16/1437.44 c 1437s| 50400 | 18835 | 10832k| 214.5 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635639e+02 | 1.910000e+02 | 16.77%
1439.36/1439.65 c 1440s| 50500 | 18867 | 10850k| 214.4 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635657e+02 | 1.910000e+02 | 16.77%
1441.96/1442.26 c 1442s| 50600 | 18889 | 10871k| 214.4 | 20M| 135 | 83 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635658e+02 | 1.910000e+02 | 16.77%
1446.06/1446.36 c 1446s| 50700 | 18929 | 10904k| 214.6 | 20M| 135 | 348 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635673e+02 | 1.910000e+02 | 16.77%
1449.35/1449.66 c 1450s| 50800 | 18971 | 10930k| 214.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635686e+02 | 1.910000e+02 | 16.77%
1451.67/1451.94 c 1452s| 50900 | 18997 | 10949k| 214.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635690e+02 | 1.910000e+02 | 16.77%
1452.76/1453.04 c 1453s| 51000 | 19019 | 10958k| 214.4 | 20M| 135 | 343 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635692e+02 | 1.910000e+02 | 16.77%
1453.66/1453.93 c 1454s| 51100 | 19047 | 10965k| 214.1 | 20M| 135 | 91 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635696e+02 | 1.910000e+02 | 16.77%
1455.15/1455.40 c 1455s| 51200 | 19075 | 10977k| 213.9 | 20M| 135 | 100 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635706e+02 | 1.910000e+02 | 16.77%
1455.86/1456.10 c 1456s| 51300 | 19095 | 10983k| 213.6 | 20M| 135 | 94 | 470 | 577 | 470 | 965 | 705 | 11 |2904 | 1.635709e+02 | 1.910000e+02 | 16.77%
1458.86/1459.18 c 1459s| 51400 | 19131 | 11005k| 213.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2934 | 1.635713e+02 | 1.910000e+02 | 16.77%
1461.56/1461.80 c 1462s| 51500 | 19157 | 11027k| 213.7 | 20M| 135 | - | 470 | 577 | 470 | 965 | 705 | 11 |2934 | 1.635714e+02 | 1.910000e+02 | 16.77%
1464.65/1464.91 c 1465s| 51600 | 19205 | 11048k| 213.7 | 20M| 135 | 91 | 470 | 577 | 470 | 965 | 705 | 11 |2943 | 1.635732e+02 | 1.910000e+02 | 16.77%
1465.86/1466.11 c 1466s| 51700 | 19243 | 11058k| 213.4 | 20M| 135 | 94 | 470 | 577 | 470 | 965 | 705 | 11 |2943 | 1.635740e+02 | 1.910000e+02 | 16.77%
1467.65/1467.99 c 1468s| 51800 | 19291 | 11068k| 213.2 | 20M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635760e+02 | 1.910000e+02 | 16.77%
1468.35/1468.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.35/1468.60 c 1469s| 51900 | 19305 | 11073k| 212.9 | 20M| 135 | 92 | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635760e+02 | 1.910000e+02 | 16.77%
1471.35/1471.66 c 1472s| 52000 | 19335 | 11097k| 213.0 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |2956 | 1.635768e+02 | 1.910000e+02 | 16.76%
1473.36/1473.64 c 1474s| 52100 | 19373 | 11109k| 212.8 | 20M| 135 | 101 | 470 | 576 | 470 | 965 | 705 | 11 |2971 | 1.635772e+02 | 1.910000e+02 | 16.76%
1476.06/1476.38 c 1476s| 52200 | 19413 | 11132k| 212.8 | 20M| 135 | 375 | 470 | 576 | 470 | 965 | 705 | 11 |2971 | 1.635790e+02 | 1.910000e+02 | 16.76%
1477.95/1478.25 c 1478s| 52300 | 19441 | 11145k| 212.6 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635792e+02 | 1.910000e+02 | 16.76%
1480.45/1480.72 c 1481s| 52400 | 19487 | 11165k| 212.6 | 20M| 135 | 109 | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635803e+02 | 1.910000e+02 | 16.76%
1480.65/1480.98 c 1481s| 52500 | 19489 | 11168k| 212.3 | 20M| 135 | 106 | 470 | 576 | 470 | 965 | 705 | 11 |2982 | 1.635803e+02 | 1.910000e+02 | 16.76%
1483.25/1483.53 c 1484s| 52600 | 19511 | 11187k| 212.2 | 20M| 135 | 363 | 470 | 576 | 470 | 965 | 705 | 11 |2995 | 1.635816e+02 | 1.910000e+02 | 16.76%
1485.65/1485.95 c 1486s| 52700 | 19545 | 11208k| 212.2 | 20M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |2995 | 1.635817e+02 | 1.910000e+02 | 16.76%
1491.75/1492.03 c 1492s| 52800 | 19599 | 11256k| 212.7 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3002 | 1.635827e+02 | 1.910000e+02 | 16.76%
1494.85/1495.16 c 1495s| 52900 | 19633 | 11282k| 212.8 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3003 | 1.635827e+02 | 1.910000e+02 | 16.76%
1497.05/1497.34 c 1497s| 53000 | 19661 | 11299k| 212.7 | 20M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3004 | 1.635832e+02 | 1.910000e+02 | 16.76%
1498.45/1498.74 c 1499s| 53100 | 19693 | 11310k| 212.5 | 20M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635838e+02 | 1.910000e+02 | 16.76%
1499.95/1500.25 c 1500s| 53200 | 19725 | 11322k| 212.4 | 20M| 135 | 95 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635848e+02 | 1.910000e+02 | 16.76%
1500.65/1500.98 c 1501s| 53300 | 19747 | 11328k| 212.1 | 20M| 135 | 376 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635850e+02 | 1.910000e+02 | 16.76%
1502.36/1502.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1502.36/1502.63 c 1503s| 53400 | 19771 | 11342k| 212.0 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635859e+02 | 1.910000e+02 | 16.76%
1504.95/1505.28 c 1505s| 53500 | 19809 | 11362k| 211.9 | 20M| 135 | 374 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635867e+02 | 1.910000e+02 | 16.76%
1506.75/1507.05 c 1507s| 53600 | 19859 | 11375k| 211.8 | 20M| 135 | 377 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635879e+02 | 1.910000e+02 | 16.76%
1507.55/1507.88 c 1508s| 53700 | 19881 | 11382k| 211.5 | 20M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635882e+02 | 1.910000e+02 | 16.76%
1507.76/1508.08 c 1508s| 53800 | 19893 | 11384k| 211.2 | 20M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635882e+02 | 1.910000e+02 | 16.76%
1512.55/1512.88 c 1513s| 53900 | 19931 | 11425k| 211.5 | 20M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635897e+02 | 1.910000e+02 | 16.76%
1515.64/1515.96 c 1516s| 54000 | 19967 | 11450k| 211.6 | 21M| 135 | 108 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635903e+02 | 1.910000e+02 | 16.76%
1516.44/1516.79 c 1517s| 54100 | 19993 | 11457k| 211.3 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635907e+02 | 1.910000e+02 | 16.75%
1517.35/1517.65 c 1518s| 54200 | 20023 | 11464k| 211.1 | 21M| 135 | 122 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635911e+02 | 1.910000e+02 | 16.75%
1519.95/1520.27 c 1520s| 54300 | 20067 | 11485k| 211.1 | 21M| 135 | 368 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635915e+02 | 1.910000e+02 | 16.75%
1523.44/1523.79 c 1524s| 54400 | 20119 | 11516k| 211.3 | 21M| 135 | 90 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635919e+02 | 1.910000e+02 | 16.75%
1524.25/1524.56 c 1525s| 54500 | 20163 | 11522k| 211.0 | 21M| 135 | 77 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635926e+02 | 1.910000e+02 | 16.75%
1526.15/1526.43 c 1526s| 54600 | 20213 | 11537k| 210.9 | 21M| 135 | 369 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635929e+02 | 1.910000e+02 | 16.75%
1529.75/1530.07 c 1530s| 54700 | 20257 | 11567k| 211.0 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635939e+02 | 1.910000e+02 | 16.75%
1531.74/1532.05 c 1532s| 54800 | 20301 | 11582k| 210.9 | 21M| 135 | 85 | 470 | 576 | 470 | 965 | 705 | 11 |3005 | 1.635942e+02 | 1.910000e+02 | 16.75%
1532.55/1532.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1532.55/1532.86 c 1533s| 54900 | 20329 | 11588k| 210.6 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3018 | 1.635942e+02 | 1.910000e+02 | 16.75%
1535.94/1536.28 c 1536s| 55000 | 20369 | 11613k| 210.7 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3031 | 1.635946e+02 | 1.910000e+02 | 16.75%
1537.95/1538.26 c 1538s| 55100 | 20433 | 11628k| 210.6 | 21M| 135 | 70 | 470 | 576 | 470 | 965 | 705 | 11 |3031 | 1.635952e+02 | 1.910000e+02 | 16.75%
1539.65/1539.93 c 1540s| 55200 | 20475 | 11639k| 210.4 | 21M| 135 | 77 | 470 | 576 | 470 | 965 | 705 | 11 |3040 | 1.635962e+02 | 1.910000e+02 | 16.75%
1543.35/1543.67 c 1544s| 55300 | 20527 | 11664k| 210.5 | 21M| 135 | 362 | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1543.64/1543.97 c 1544s| 55400 | 20539 | 11666k| 210.2 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1543.84/1544.13 c 1544s| 55500 | 20543 | 11668k| 209.8 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635971e+02 | 1.910000e+02 | 16.75%
1547.24/1547.56 c 1548s| 55600 | 20599 | 11695k| 209.9 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3053 | 1.635979e+02 | 1.910000e+02 | 16.75%
1550.34/1550.65 c 1551s| 55700 | 20641 | 11716k| 209.9 | 21M| 135 | 359 | 470 | 576 | 470 | 965 | 705 | 11 |3063 | 1.635989e+02 | 1.910000e+02 | 16.75%
1553.64/1553.90 c 1554s| 55800 | 20667 | 11741k| 210.0 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3068 | 1.635994e+02 | 1.910000e+02 | 16.75%
1554.94/1555.30 c 1555s| 55900 | 20689 | 11751k| 209.8 | 21M| 135 | 90 | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1555.24/1555.58 c 1556s| 56000 | 20737 | 11755k| 209.5 | 21M| 135 | 85 | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1555.44/1555.74 c 1556s| 56100 | 20785 | 11756k| 209.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3073 | 1.635997e+02 | 1.910000e+02 | 16.75%
1558.24/1558.52 c 1559s| 56200 | 20819 | 11778k| 209.2 | 21M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.635998e+02 | 1.910000e+02 | 16.75%
1559.75/1560.02 c 1560s| 56300 | 20853 | 11790k| 209.0 | 21M| 135 | 82 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636002e+02 | 1.910000e+02 | 16.75%
1562.85/1563.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1562.85/1563.12 c 1563s| 56400 | 20883 | 11817k| 209.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636004e+02 | 1.910000e+02 | 16.75%
1563.04/1563.32 c 1563s| 56500 | 20903 | 11819k| 208.8 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636004e+02 | 1.910000e+02 | 16.75%
1563.74/1564.10 c 1564s| 56600 | 20929 | 11826k| 208.5 | 21M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636006e+02 | 1.910000e+02 | 16.75%
1566.74/1567.01 c 1567s| 56700 | 20973 | 11848k| 208.6 | 21M| 135 | 84 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636011e+02 | 1.910000e+02 | 16.75%
1568.43/1568.78 c 1569s| 56800 | 21017 | 11862k| 208.4 | 21M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636037e+02 | 1.910000e+02 | 16.75%
1568.64/1568.93 c 1569s| 56900 | 21035 | 11863k| 208.1 | 21M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636037e+02 | 1.910000e+02 | 16.75%
1570.04/1570.36 c 1570s| 57000 | 21079 | 11874k| 207.9 | 21M| 135 | 100 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636041e+02 | 1.910000e+02 | 16.75%
1571.34/1571.63 c 1572s| 57100 | 21109 | 11884k| 207.7 | 21M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3075 | 1.636043e+02 | 1.910000e+02 | 16.75%
1576.93/1577.26 c 1577s| 57200 | 21177 | 11929k| 208.1 | 22M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636057e+02 | 1.910000e+02 | 16.74%
1578.03/1578.38 c 1578s| 57300 | 21217 | 11938k| 207.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636058e+02 | 1.910000e+02 | 16.74%
1580.45/1580.75 c 1581s| 57400 | 21245 | 11957k| 207.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636066e+02 | 1.910000e+02 | 16.74%
1581.94/1582.20 c 1582s| 57500 | 21267 | 11969k| 207.8 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636069e+02 | 1.910000e+02 | 16.74%
1584.24/1584.51 c 1585s| 57600 | 21307 | 11988k| 207.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636072e+02 | 1.910000e+02 | 16.74%
1586.73/1587.05 c 1587s| 57700 | 21361 | 12008k| 207.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636078e+02 | 1.910000e+02 | 16.74%
1588.14/1588.44 c 1588s| 57800 | 21377 | 12019k| 207.5 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636080e+02 | 1.910000e+02 | 16.74%
1590.94/1591.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1590.94/1591.25 c 1591s| 57900 | 21421 | 12042k| 207.6 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636082e+02 | 1.910000e+02 | 16.74%
1593.23/1593.52 c 1594s| 58000 | 21451 | 12061k| 207.5 | 22M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636088e+02 | 1.910000e+02 | 16.74%
1594.53/1594.84 c 1595s| 58100 | 21483 | 12071k| 207.4 | 22M| 135 | 89 | 470 | 576 | 470 | 965 | 705 | 11 |3075 | 1.636088e+02 | 1.910000e+02 | 16.74%
1597.63/1597.92 c 1598s| 58200 | 21511 | 12092k| 207.4 | 22M| 135 | 343 | 470 | 576 | 470 | 965 | 705 | 11 |3086 | 1.636094e+02 | 1.910000e+02 | 16.74%
1600.14/1600.40 c 1600s| 58300 | 21561 | 12111k| 207.3 | 22M| 135 | 350 | 470 | 576 | 470 | 965 | 705 | 11 |3086 | 1.636104e+02 | 1.910000e+02 | 16.74%
1601.63/1601.96 c 1602s| 58400 | 21589 | 12119k| 207.1 | 22M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636106e+02 | 1.910000e+02 | 16.74%
1602.24/1602.53 c 1603s| 58500 | 21601 | 12123k| 206.8 | 22M| 135 | 351 | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636107e+02 | 1.910000e+02 | 16.74%
1604.83/1605.17 c 1605s| 58600 | 21631 | 12145k| 206.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3100 | 1.636108e+02 | 1.910000e+02 | 16.74%
1606.63/1606.91 c 1607s| 58700 | 21663 | 12155k| 206.7 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636110e+02 | 1.910000e+02 | 16.74%
1610.44/1610.71 c 1611s| 58800 | 21707 | 12187k| 206.9 | 22M| 135 | 340 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636120e+02 | 1.910000e+02 | 16.74%
1611.43/1611.72 c 1612s| 58900 | 21727 | 12196k| 206.7 | 22M| 135 | 81 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636120e+02 | 1.910000e+02 | 16.74%
1612.53/1612.88 c 1613s| 59000 | 21747 | 12204k| 206.5 | 22M| 135 | 362 | 470 | 576 | 470 | 965 | 705 | 11 |3113 | 1.636121e+02 | 1.910000e+02 | 16.74%
1617.24/1617.56 c 1618s| 59100 | 21787 | 12238k| 206.7 | 22M| 135 | 357 | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636126e+02 | 1.910000e+02 | 16.74%
1617.63/1617.91 c 1618s| 59200 | 21791 | 12241k| 206.4 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636126e+02 | 1.910000e+02 | 16.74%
1619.13/1619.40 c 1619s| 59300 | 21811 | 12253k| 206.2 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3127 | 1.636127e+02 | 1.910000e+02 | 16.74%
1621.64/1621.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.64/1621.91 c 1622s| 59400 | 21855 | 12268k| 206.1 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3143 | 1.636139e+02 | 1.910000e+02 | 16.74%
1622.84/1623.15 c 1623s| 59500 | 21889 | 12277k| 205.9 | 22M| 135 | 91 | 470 | 576 | 470 | 965 | 705 | 11 |3143 | 1.636146e+02 | 1.910000e+02 | 16.74%
1626.23/1626.57 c 1627s| 59600 | 21931 | 12303k| 206.0 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3150 | 1.636149e+02 | 1.910000e+02 | 16.74%
1630.23/1630.57 c 1631s| 59700 | 21981 | 12335k| 206.2 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3155 | 1.636167e+02 | 1.910000e+02 | 16.74%
1632.14/1632.47 c 1632s| 59800 | 22029 | 12349k| 206.1 | 22M| 135 | 62 | 470 | 576 | 470 | 965 | 705 | 11 |3159 | 1.636170e+02 | 1.910000e+02 | 16.74%
1634.53/1634.88 c 1635s| 59900 | 22069 | 12368k| 206.1 | 22M| 135 | 355 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636179e+02 | 1.910000e+02 | 16.74%
1637.93/1638.28 c 1638s| 60000 | 22125 | 12394k| 206.2 | 22M| 135 | 364 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636192e+02 | 1.910000e+02 | 16.73%
1639.53/1639.84 c 1640s| 60100 | 22157 | 12407k| 206.1 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636193e+02 | 1.910000e+02 | 16.73%
1640.83/1641.13 c 1641s| 60200 | 22179 | 12417k| 205.9 | 22M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636196e+02 | 1.910000e+02 | 16.73%
1643.43/1643.70 c 1644s| 60300 | 22225 | 12437k| 205.9 | 22M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3160 | 1.636200e+02 | 1.910000e+02 | 16.73%
1646.53/1646.87 c 1647s| 60400 | 22281 | 12463k| 206.0 | 22M| 135 | 353 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636209e+02 | 1.910000e+02 | 16.73%
1647.54/1647.87 c 1648s| 60500 | 22301 | 12471k| 205.7 | 22M| 135 | 93 | 470 | 576 | 470 | 965 | 705 | 11 |3160 | 1.636213e+02 | 1.910000e+02 | 16.73%
1649.83/1650.14 c 1650s| 60600 | 22333 | 12490k| 205.7 | 22M| 135 | - | 470 | 576 | 0 | 0 | 705 | 11 |3160 | 1.636219e+02 | 1.910000e+02 | 16.73%
1654.62/1654.99 c 1655s| 60700 | 22401 | 12530k| 206.0 | 23M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636239e+02 | 1.910000e+02 | 16.73%
1656.93/1657.28 c 1657s| 60800 | 22425 | 12548k| 206.0 | 23M| 135 | 64 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636243e+02 | 1.910000e+02 | 16.73%
1659.83/1660.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.83/1660.13 c 1660s| 60900 | 22467 | 12571k| 206.0 | 23M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636247e+02 | 1.910000e+02 | 16.73%
1662.23/1662.58 c 1663s| 61000 | 22493 | 12592k| 206.0 | 23M| 135 | 74 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636249e+02 | 1.910000e+02 | 16.73%
1666.33/1666.65 c 1667s| 61100 | 22545 | 12624k| 206.2 | 23M| 135 | 345 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636263e+02 | 1.910000e+02 | 16.73%
1667.23/1667.56 c 1668s| 61200 | 22561 | 12631k| 206.0 | 23M| 135 | 86 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636263e+02 | 1.910000e+02 | 16.73%
1668.53/1668.87 c 1669s| 61300 | 22599 | 12641k| 205.8 | 23M| 135 | 59 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636273e+02 | 1.910000e+02 | 16.73%
1669.23/1669.54 c 1670s| 61400 | 22619 | 12646k| 205.6 | 23M| 135 | 80 | 470 | 576 | 470 | 965 | 705 | 11 |3161 | 1.636274e+02 | 1.910000e+02 | 16.73%
1671.92/1672.27 c 1672s| 61500 | 22653 | 12662k| 205.5 | 23M| 135 | 66 | 470 | 576 | 470 | 965 | 705 | 11 |3180 | 1.636280e+02 | 1.910000e+02 | 16.73%
1672.63/1672.92 c 1673s| 61600 | 22667 | 12667k| 205.2 | 23M| 135 | - | 470 | 576 | 470 | 965 | 705 | 11 |3180 | 1.636282e+02 | 1.910000e+02 | 16.73%
1675.42/1675.73 c 1676s| 61700 | 22699 | 12692k| 205.3 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3180 | 1.636285e+02 | 1.910000e+02 | 16.73%
1676.52/1676.89 c 1677s| 61800 | 22721 | 12701k| 205.1 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3180 | 1.636289e+02 | 1.910000e+02 | 16.73%
1681.43/1681.70 c 1682s| 61900 | 22769 | 12736k| 205.4 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3190 | 1.636295e+02 | 1.910000e+02 | 16.73%
1683.23/1683.54 c 1684s| 62000 | 22809 | 12750k| 205.3 | 23M| 135 | 84 | 470 | 580 | 470 | 965 | 705 | 15 |3190 | 1.636297e+02 | 1.910000e+02 | 16.73%
1685.13/1685.43 c 1685s| 62100 | 22835 | 12760k| 205.1 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636302e+02 | 1.910000e+02 | 16.73%
1686.32/1686.63 c 1687s| 62200 | 22871 | 12769k| 204.9 | 23M| 135 | 370 | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636304e+02 | 1.910000e+02 | 16.73%
1691.22/1691.53 c 1692s| 62300 | 22925 | 12809k| 205.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3207 | 1.636313e+02 | 1.910000e+02 | 16.73%
1694.02/1694.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.02/1694.37 c 1694s| 62400 | 22963 | 12828k| 205.2 | 23M| 135 | 373 | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636321e+02 | 1.910000e+02 | 16.73%
1696.32/1696.60 c 1697s| 62500 | 23003 | 12845k| 205.1 | 23M| 135 | 96 | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636332e+02 | 1.910000e+02 | 16.72%
1698.82/1699.13 c 1699s| 62600 | 23035 | 12866k| 205.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3220 | 1.636339e+02 | 1.910000e+02 | 16.72%
1700.72/1701.03 c 1701s| 62700 | 23061 | 12876k| 205.0 | 23M| 135 | 361 | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636346e+02 | 1.910000e+02 | 16.72%
1702.72/1703.09 c 1703s| 62800 | 23091 | 12893k| 204.9 | 23M| 135 | 362 | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636360e+02 | 1.910000e+02 | 16.72%
1703.53/1703.85 c 1704s| 62900 | 23103 | 12899k| 204.7 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636368e+02 | 1.910000e+02 | 16.72%
1705.62/1705.90 c 1706s| 63000 | 23147 | 12915k| 204.6 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3238 | 1.636374e+02 | 1.910000e+02 | 16.72%
1708.32/1708.67 c 1709s| 63100 | 23185 | 12935k| 204.6 | 23M| 135 | 365 | 470 | 580 | 470 | 965 | 705 | 15 |3247 | 1.636379e+02 | 1.910000e+02 | 16.72%
1710.13/1710.44 c 1710s| 63200 | 23217 | 12947k| 204.5 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3253 | 1.636383e+02 | 1.910000e+02 | 16.72%
1712.92/1713.20 c 1713s| 63300 | 23259 | 12968k| 204.5 | 23M| 135 | - | 470 | 580 | 0 | 0 | 705 | 15 |3256 | 1.636388e+02 | 1.910000e+02 | 16.72%
1715.02/1715.35 c 1715s| 63400 | 23315 | 12985k| 204.4 | 23M| 135 | 335 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636397e+02 | 1.910000e+02 | 16.72%
1716.32/1716.60 c 1717s| 63500 | 23317 | 12996k| 204.3 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636397e+02 | 1.910000e+02 | 16.72%
1717.72/1718.00 c 1718s| 63600 | 23327 | 13007k| 204.2 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636401e+02 | 1.910000e+02 | 16.72%
1721.12/1721.41 c 1721s| 63700 | 23367 | 13035k| 204.3 | 23M| 135 | 338 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636402e+02 | 1.910000e+02 | 16.72%
1722.72/1723.08 c 1723s| 63800 | 23389 | 13049k| 204.2 | 23M| 135 | 90 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636402e+02 | 1.910000e+02 | 16.72%
1725.32/1725.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.32/1725.63 c 1726s| 63900 | 23423 | 13071k| 204.2 | 23M| 135 | 111 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636404e+02 | 1.910000e+02 | 16.72%
1726.62/1726.99 c 1727s| 64000 | 23457 | 13081k| 204.0 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636406e+02 | 1.910000e+02 | 16.72%
1730.32/1730.67 c 1731s| 64100 | 23503 | 13111k| 204.2 | 23M| 135 | 73 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636410e+02 | 1.910000e+02 | 16.72%
1732.12/1732.49 c 1732s| 64200 | 23529 | 13125k| 204.1 | 23M| 135 | 358 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636414e+02 | 1.910000e+02 | 16.72%
1734.32/1734.64 c 1735s| 64300 | 23549 | 13143k| 204.0 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636415e+02 | 1.910000e+02 | 16.72%
1735.52/1735.89 c 1736s| 64400 | 23571 | 13153k| 203.9 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636416e+02 | 1.910000e+02 | 16.72%
1738.21/1738.52 c 1739s| 64500 | 23615 | 13173k| 203.9 | 23M| 135 | 374 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636422e+02 | 1.910000e+02 | 16.72%
1739.82/1740.10 c 1740s| 64600 | 23645 | 13186k| 203.7 | 23M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636425e+02 | 1.910000e+02 | 16.72%
1741.11/1741.47 c 1741s| 64700 | 23683 | 13196k| 203.6 | 24M| 135 | 85 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636428e+02 | 1.910000e+02 | 16.72%
1743.22/1743.56 c 1744s| 64800 | 23713 | 13214k| 203.6 | 24M| 135 | 106 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636437e+02 | 1.910000e+02 | 16.72%
1744.51/1744.83 c 1745s| 64900 | 23723 | 13224k| 203.4 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636443e+02 | 1.910000e+02 | 16.72%
1756.92/1757.29 c 1757s| 65000 | 23753 | 13362k| 205.2 | 24M| 135 | 83 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636452e+02 | 1.910000e+02 | 16.72%
1758.21/1758.54 c 1759s| 65100 | 23773 | 13372k| 205.0 | 24M| 135 | 83 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636458e+02 | 1.910000e+02 | 16.72%
1759.01/1759.34 c 1759s| 65200 | 23803 | 13378k| 204.8 | 24M| 135 | 77 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1759.21/1759.50 c 1759s| 65300 | 23815 | 13380k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1761.11/1761.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1761.11/1761.48 c 1761s| 65400 | 23825 | 13396k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636465e+02 | 1.910000e+02 | 16.71%
1763.21/1763.50 c 1763s| 65500 | 23861 | 13412k| 204.4 | 24M| 135 | 95 | 470 | 580 | 470 | 965 | 705 | 15 |3256 | 1.636467e+02 | 1.910000e+02 | 16.71%
1766.71/1767.03 c 1767s| 65600 | 23907 | 13436k| 204.5 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3265 | 1.636478e+02 | 1.910000e+02 | 16.71%
1769.31/1769.61 c 1770s| 65700 | 23933 | 13455k| 204.4 | 24M| 135 | 95 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636479e+02 | 1.910000e+02 | 16.71%
1771.91/1772.24 c 1772s| 65800 | 23977 | 13475k| 204.4 | 24M| 135 | 82 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636488e+02 | 1.910000e+02 | 16.71%
1772.61/1772.94 c 1773s| 65900 | 24003 | 13481k| 204.2 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3276 | 1.636490e+02 | 1.910000e+02 | 16.71%
1775.81/1776.18 c 1776s| 66000 | 24033 | 13503k| 204.2 | 24M| 135 | 98 | 470 | 580 | 470 | 965 | 705 | 15 |3288 | 1.636504e+02 | 1.910000e+02 | 16.71%
1777.60/1777.99 c 1778s| 66100 | 24057 | 13519k| 204.2 | 24M| 135 | 359 | 470 | 580 | 470 | 965 | 705 | 15 |3288 | 1.636508e+02 | 1.910000e+02 | 16.71%
1780.51/1780.85 c 1781s| 66200 | 24089 | 13538k| 204.1 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636508e+02 | 1.910000e+02 | 16.71%
1783.71/1784.05 c 1784s| 66300 | 24141 | 13564k| 204.2 | 24M| 135 | 88 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636513e+02 | 1.910000e+02 | 16.71%
1784.41/1784.73 c 1785s| 66400 | 24167 | 13570k| 204.0 | 24M| 135 | 92 | 470 | 580 | 470 | 965 | 705 | 15 |3301 | 1.636513e+02 | 1.910000e+02 | 16.71%
1785.90/1786.30 c 1786s| 66500 | 24225 | 13578k| 203.8 | 24M| 135 | 367 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636519e+02 | 1.910000e+02 | 16.71%
1788.31/1788.67 c 1789s| 66600 | 24269 | 13596k| 203.8 | 24M| 135 | 67 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636524e+02 | 1.910000e+02 | 16.71%
1789.51/1789.85 c 1790s| 66700 | 24307 | 13605k| 203.6 | 24M| 135 | 368 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636528e+02 | 1.910000e+02 | 16.71%
1790.51/1790.81 c 1791s| 66800 | 24339 | 13613k| 203.4 | 24M| 135 | 80 | 470 | 580 | 470 | 965 | 705 | 15 |3317 | 1.636534e+02 | 1.910000e+02 | 16.71%
1792.72/1793.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1792.72/1793.05 c 1793s| 66900 | 24379 | 13628k| 203.4 | 24M| 135 | - | 470 | 580 | 470 | 965 | 705 | 15 |3328 | 1.636541e+02 | 1.910000e+02 | 16.71%
1795.51/1795.84 c 1796s| 67000 | 24427 | 13649k| 203.4 | 24M| 135 | 101 | 470 | 580 | 470 | 965 | 705 | 15 |3333 | 1.636545e+02 | 1.910000e+02 | 16.71%
1795.70/1796.02 c 1796s| 67100 | 24445 | 13650k| 203.1 | 24M| 135 | - | 470 | 580 | 0 | 0 | 705 | 15 |3333 | 1.636545e+02 | 1.910000e+02 | 16.71%
1796.70/1797.01 c
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Solving Time (sec) : 1797.01
1796.70/1797.01 c Solving Nodes : 67177
1796.70/1797.01 c Primal Bound : +1.91000000000000e+02 (725 solutions)
1796.70/1797.01 c Dual Bound : +1.63654729178572e+02
1796.70/1797.01 c Gap : 16.71 %
1796.70/1797.01 s SATISFIABLE
1796.70/1797.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 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.01 v -x5 x4 x3 -x2 x1
1796.70/1797.01 c SCIP Status : solving was interrupted [time limit reached]
1796.70/1797.01 c Total Time : 1797.01
1796.70/1797.01 c solving : 1797.01
1796.70/1797.01 c presolving : 0.03 (included in solving)
1796.70/1797.01 c reading : 0.00 (included in solving)
1796.70/1797.01 c copying : 0.07 (11 #copies) (minimal 0.01, maximal 0.01, average 0.01)
1796.70/1797.01 c Original Problem :
1796.70/1797.01 c Problem name : HOME/instance-3692048-1338029817.opb
1796.70/1797.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 470 initial, 470 maximal
1796.70/1797.01 c Objective sense : minimize
1796.70/1797.01 c Presolved Problem :
1796.70/1797.01 c Problem name : t_HOME/instance-3692048-1338029817.opb
1796.70/1797.01 c Variables : 470 (470 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.70/1797.01 c Constraints : 569 initial, 580 maximal
1796.70/1797.01 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.70/1797.01 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c knapsack : 0.01 0.00 0 0 0 0 0 26 199 326 733
1796.70/1797.01 c setppc : 0.00 0.00 0 0 0 0 0 74 0 0 0
1796.70/1797.01 c linear : 0.01 0.00 0 0 0 0 0 0 0 0 43
1796.70/1797.01 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.70/1797.01 c root node : - - 0 - - 0 - - - - -
1796.70/1797.01 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c integral : 0 0 0 0 45875 0 730 0 11 70 0 0 91640
1796.70/1797.01 c knapsack : 440 440 12 290289 0 2 725 0 643 227536 758 0 0
1796.70/1797.01 c setppc : 126 126 12 289646 0 2 724 0 0 27421 0 0 0
1796.70/1797.01 c logicor : 3+ 14 12 17823 0 2 724 0 0 395 0 0 0
1796.70/1797.01 c countsols : 0 0 0 0 0 2 728 0 0 0 0 0 0
1796.70/1797.01 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.70/1797.01 c integral : 115.89 0.00 0.00 0.00 115.89 0.00 0.00 0.00
1796.70/1797.01 c knapsack : 2.36 0.00 0.04 2.32 0.00 0.00 0.01 0.00
1796.70/1797.01 c setppc : 0.37 0.00 0.00 0.37 0.00 0.00 0.00 0.00
1796.70/1797.01 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00
1796.70/1797.01 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.70/1797.01 c rootredcost : 17 0 0 0
1796.70/1797.01 c pseudoobj : 336115 0 0 0
1796.70/1797.01 c vbounds : 0 0 0 0
1796.70/1797.01 c redcost : 63327 0 0 330989
1796.70/1797.01 c probing : 0 0 0 0
1796.70/1797.01 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.70/1797.01 c rootredcost : 0.09 0.00 0.00 0.09 0.00
1796.70/1797.01 c pseudoobj : 0.30 0.00 0.00 0.30 0.00
1796.70/1797.01 c vbounds : 0.07 0.00 0.00 0.07 0.00
1796.70/1797.01 c redcost : 0.95 0.00 0.00 0.95 0.00
1796.70/1797.01 c probing : 0.00 0.00 0.00 0.00 0.00
1796.70/1797.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.70/1797.01 c propagation : 0.00 643 0 0 0.0 0 0.0 -
1796.70/1797.01 c infeasible LP : 0.00 15 15 15 3.9 0 0.0 0
1796.70/1797.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.70/1797.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.70/1797.01 c applied globally : - - - 15 3.9 - - -
1796.70/1797.01 c applied locally : - - - 0 0.0 - - -
1796.70/1797.01 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.70/1797.01 c cut pool : 0.00 11 - - 303 - (maximal pool size: 1226)
1796.70/1797.01 c closecuts : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c impliedbounds : 0.00 0.00 12 0 0 0 0
1796.70/1797.01 c intobj : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c gomory : 1.68 0.00 10 0 0 0 0
1796.70/1797.01 c cgmip : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c strongcg : 1.52 0.00 12 0 0 0 0
1796.70/1797.01 c cmir : 0.19 0.00 10 0 0 736 0
1796.70/1797.01 c flowcover : 0.24 0.00 10 0 0 903 0
1796.70/1797.01 c clique : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c mcf : 0.00 0.00 1 0 0 0 0
1796.70/1797.01 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.70/1797.01 c rapidlearning : 0.32 0.00 1 0 0 0 0
1796.70/1797.01 c Pricers : ExecTime SetupTime Calls Vars
1796.70/1797.01 c problem variables: 0.00 - 0 0
1796.70/1797.01 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.70/1797.01 c relpscost : 115.85 0.00 45875 11 70 0 0 91640
1796.70/1797.01 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c inference : 0.00 0.00 2 0 0 0 0 4
1796.70/1797.01 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c random : 0.00 0.00 0 0 0 0 0 0
1796.70/1797.01 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.70/1797.01 c LP solutions : 0.00 - - 0
1796.70/1797.01 c pseudo solutions : 0.00 - - 0
1796.70/1797.01 c feaspump : 0.00 0.00 0 0
1796.70/1797.01 c oneopt : 0.02 0.00 9 1
1796.70/1797.01 c crossover : 0.18 0.00 1 1
1796.70/1797.01 c guideddiving : 49.81 0.00 47 0
1796.70/1797.01 c fracdiving : 49.66 0.00 47 0
1796.70/1797.01 c veclendiving : 68.67 0.00 82 60
1796.70/1797.01 c coefdiving : 160.29 0.00 136 167
1796.70/1797.01 c linesearchdiving : 120.15 0.00 173 40
1796.70/1797.01 c pscostdiving : 262.53 0.00 325 288
1796.70/1797.01 c smallcard : 0.00 0.00 0 0
1796.70/1797.01 c trivial : 0.00 0.00 2 1
1796.70/1797.01 c shiftandpropagate: 0.00 0.00 0 0
1796.70/1797.01 c simplerounding : 0.99 0.00 45886 26
1796.70/1797.01 c zirounding : 0.40 0.00 1000 18
1796.70/1797.01 c rounding : 11.26 0.00 9851 1
1796.70/1797.01 c shifting : 3.02 0.00 2761 1
1796.70/1797.01 c intshifting : 0.00 0.00 0 0
1796.70/1797.01 c twoopt : 0.00 0.00 0 0
1796.70/1797.01 c indoneopt : 0.04 0.00 0 0
1796.70/1797.01 c indtwoopt : 0.00 0.00 0 0
1796.70/1797.01 c fixandinfer : 0.00 0.00 0 0
1796.70/1797.01 c clique : 0.00 0.00 0 0
1796.70/1797.01 c indcoefdiving : 0.00 0.00 0 0
1796.70/1797.01 c indrounding : 0.00 0.00 0 0
1796.70/1797.01 c nlpdiving : 0.00 0.00 0 0
1796.70/1797.01 c intdiving : 0.00 0.00 0 0
1796.70/1797.01 c actconsdiving : 0.00 0.00 0 0
1796.70/1797.01 c objpscostdiving : 37.54 0.00 6 120
1796.70/1797.01 c rootsoldiving : 11.92 0.00 14 0
1796.70/1797.01 c octane : 0.00 0.00 0 0
1796.70/1797.01 c rens : 0.01 0.00 0 0
1796.70/1797.01 c rins : 0.00 0.00 0 0
1796.70/1797.01 c localbranching : 0.00 0.00 0 0
1796.70/1797.01 c mutation : 0.00 0.00 0 0
1796.70/1797.01 c dins : 0.00 0.00 0 0
1796.70/1797.01 c vbounds : 0.00 0.00 0 0
1796.70/1797.01 c undercover : 0.00 0.00 0 0
1796.70/1797.01 c subnlp : 0.02 0.00 0 0
1796.70/1797.01 c trysol : 0.03 0.00 0 0
1796.70/1797.01 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.70/1797.01 c primal LP : 0.01 2 0 0.00 - 0.01 2
1796.70/1797.01 c dual LP : 885.72 84050 7094793 106.60 8010.20 4.14 17497
1796.70/1797.01 c lex dual LP : 0.00 0 0 0.00 -
1796.70/1797.01 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.70/1797.01 c diving/probing LP: 737.01 129356 6562850 50.73 8904.73
1796.70/1797.01 c strong branching : 113.80 3336 776056 232.63 6819.53
1796.70/1797.01 c (at root node) : - 16 12579 786.19 -
1796.70/1797.01 c conflict analysis: 0.00 0 0 0.00 -
1796.70/1797.01 c B&B Tree :
1796.70/1797.01 c number of runs : 1
1796.70/1797.01 c nodes : 67177
1796.70/1797.01 c nodes (total) : 67177
1796.70/1797.01 c nodes left : 24468
1796.70/1797.01 c max depth : 135
1796.70/1797.01 c max depth (total): 135
1796.70/1797.01 c backtracks : 12562 (18.7%)
1796.70/1797.01 c delayed cutoffs : 0
1796.70/1797.01 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.70/1797.01 c avg switch length: 8.31
1796.70/1797.01 c switching time : 2.41
1796.70/1797.01 c Solution :
1796.70/1797.01 c Solutions found : 725 (25 improvements)
1796.70/1797.01 c First Solution : +4.70000000000000e+02 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1796.70/1797.01 c Primal Bound : +1.91000000000000e+02 (in run 1, after 452 nodes, 145.20 seconds, depth 10, found by <crossover>)
1796.70/1797.01 c Dual Bound : +1.63654729178572e+02
1796.70/1797.01 c Gap : 16.71 %
1796.70/1797.01 c Root Dual Bound : +1.61777901315092e+02
1796.70/1797.01 c Root Iterations : 24098
1796.70/1797.04 c Time complete: 1796.75.
OK 191
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-3692048-1338029817/watcher-3692048-1338029817 -o /tmp/evaluation-result-3692048-1338029817/solver-3692048-1338029817 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692048-1338029817.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 1.86 1.59 2/176 7077 /proc/meminfo: memFree=26870956/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=12884 CPUtime=0 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 1948 0 0 0 0 0 0 0 20 0 1 0 269109014 13193216 1902 33554432000 4194304 10219143 140736433412896 140736803536200 7589947 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 3221 1915 413 1471 0 1741 0 [startup+0.037461 s] /proc/loadavg: 1.99 1.86 1.59 2/176 7077 /proc/meminfo: memFree=26870956/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=22860 CPUtime=0.02 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 4582 0 0 0 2 0 0 0 20 0 1 0 269109014 23408640 4279 33554432000 4194304 10219143 140736433412896 140736803536200 5360016 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 5715 4279 612 1471 0 4235 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 22860 [startup+0.10023 s] /proc/loadavg: 1.99 1.86 1.59 2/176 7077 /proc/meminfo: memFree=26870956/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=25564 CPUtime=0.08 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 5408 0 0 0 8 0 0 0 20 0 1 0 269109014 26177536 5103 33554432000 4194304 10219143 140736433412896 140736803536200 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 6391 5103 757 1471 0 4911 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 25564 [startup+0.300175 s] /proc/loadavg: 1.99 1.86 1.59 2/176 7077 /proc/meminfo: memFree=26870956/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=25700 CPUtime=0.29 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 5432 0 0 0 28 1 0 0 20 0 1 0 269109014 26316800 5127 33554432000 4194304 10219143 140736433412896 140736803536200 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 6425 5127 757 1471 0 4945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25700 [startup+0.700174 s] /proc/loadavg: 1.99 1.86 1.59 2/176 7077 /proc/meminfo: memFree=26870956/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=26164 CPUtime=0.68 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 5518 0 0 0 67 1 0 0 20 0 1 0 269109014 26791936 5211 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 6541 5211 758 1471 0 5061 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26164 [startup+1.50019 s] /proc/loadavg: 1.99 1.86 1.59 3/177 7078 /proc/meminfo: memFree=26851976/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=27544 CPUtime=1.49 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 9899 0 0 0 145 4 0 0 20 0 1 0 269109014 28205056 5665 33554432000 4194304 10219143 140736433412896 140736433407416 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 6886 5665 837 1471 0 5406 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27544 [startup+3.10017 s] /proc/loadavg: 1.99 1.86 1.59 3/177 7078 /proc/meminfo: memFree=26850868/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=28712 CPUtime=3.08 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 10191 0 0 0 303 5 0 0 20 0 1 0 269109014 29401088 5955 33554432000 4194304 10219143 140736433412896 140736433407784 9026266 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/7077/statm: 7178 5955 837 1471 0 5698 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 28712 [startup+6.30022 s] /proc/loadavg: 2.07 1.88 1.60 3/177 7078 /proc/meminfo: memFree=26848292/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=29960 CPUtime=6.29 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 10564 0 0 0 621 8 0 0 20 0 1 0 269109014 30679040 6302 33554432000 4194304 10219143 140736433412896 140736433407816 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7490 6302 837 1471 0 6010 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29960 [startup+12.7002 s] /proc/loadavg: 2.07 1.88 1.60 3/177 7078 /proc/meminfo: memFree=26848836/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=29932 CPUtime=12.69 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 12197 0 0 0 1256 13 0 0 20 0 1 0 269109014 30650368 6307 33554432000 4194304 10219143 140736433412896 140736433406440 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7483 6307 843 1471 0 6003 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29932 [startup+25.5002 s] /proc/loadavg: 2.05 1.89 1.61 3/177 7078 /proc/meminfo: memFree=26849100/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=29932 CPUtime=25.48 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 12197 0 0 0 2527 21 0 0 20 0 1 0 269109014 30650368 6307 33554432000 4194304 10219143 140736433412896 140736433406392 8098738 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7483 6307 843 1471 0 6003 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29932 [startup+51.1002 s] /proc/loadavg: 2.03 1.89 1.62 3/177 7078 /proc/meminfo: memFree=26848356/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=30768 CPUtime=51.07 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 12396 0 0 0 5060 47 0 0 20 0 1 0 269109014 31506432 6506 33554432000 4194304 10219143 140736433412896 140736433405608 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7692 6506 844 1471 0 6212 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30768 [startup+102.306 s] /proc/loadavg: 2.01 1.91 1.64 3/177 7078 /proc/meminfo: memFree=26847736/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=30768 CPUtime=102.27 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 12396 0 0 0 10133 94 0 0 20 0 1 0 269109014 31506432 6506 33554432000 4194304 10219143 140736433412896 140736433405864 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7692 6506 844 1471 0 6212 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30768 [startup+162.3 s] /proc/loadavg: 2.06 1.94 1.66 3/177 7078 /proc/meminfo: memFree=26840048/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=31448 CPUtime=162.27 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 16394 0 0 0 16078 149 0 0 20 0 1 0 269109014 32202752 6612 33554432000 4194304 10219143 140736433412896 140736433405768 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7862 6612 851 1471 0 6382 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 31448 [startup+222.3 s] /proc/loadavg: 2.02 1.95 1.68 3/178 7081 /proc/meminfo: memFree=26834140/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=31448 CPUtime=222.26 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 16431 0 0 0 22026 200 0 0 20 0 1 0 269109014 32202752 6649 33554432000 4194304 10219143 140736433412896 140736433406200 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 7862 6649 851 1471 0 6382 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 31448 [startup+282.3 s] /proc/loadavg: 2.00 1.95 1.70 3/177 7104 /proc/meminfo: memFree=26831620/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=32452 CPUtime=282.24 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 19499 0 0 0 27971 253 0 0 20 0 1 0 269109014 33230848 6924 33554432000 4194304 10219143 140736433412896 140736433405608 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 8113 6924 852 1471 0 6633 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 32452 [startup+342.3 s] /proc/loadavg: 2.00 1.96 1.71 3/177 7105 /proc/meminfo: memFree=26830792/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=33052 CPUtime=342.23 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 22439 0 0 0 33913 310 0 0 20 0 1 0 269109014 33845248 7121 33554432000 4194304 10219143 140736433412896 140736433405608 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 8263 7121 852 1471 0 6783 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 33052 [startup+402.3 s] /proc/loadavg: 2.00 1.96 1.73 3/177 7105 /proc/meminfo: memFree=26829304/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=33844 CPUtime=402.22 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 22631 0 0 0 39856 366 0 0 20 0 1 0 269109014 34656256 7313 33554432000 4194304 10219143 140736433412896 140736433406200 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 8461 7313 852 1471 0 6981 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 33844 [startup+462.3 s] /proc/loadavg: 2.00 1.97 1.74 3/177 7105 /proc/meminfo: memFree=26822548/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=35964 CPUtime=462.21 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 24634 0 0 0 45802 419 0 0 20 0 1 0 269109014 36827136 7841 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 8991 7841 852 1471 0 7511 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 35964 [startup+522.3 s] /proc/loadavg: 2.00 1.97 1.75 3/177 7105 /proc/meminfo: memFree=26808276/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=36456 CPUtime=522.21 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 24788 0 0 0 51746 475 0 0 20 0 1 0 269109014 37330944 8061 33554432000 4194304 10219143 140736433412896 140736433406152 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 9114 8061 852 1471 0 7634 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 36456 [startup+582.3 s] /proc/loadavg: 2.00 1.97 1.76 3/177 7105 /proc/meminfo: memFree=26806588/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=36456 CPUtime=582.19 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 24801 0 0 0 57690 529 0 0 20 0 1 0 269109014 37330944 8074 33554432000 4194304 10219143 140736433412896 140736433406536 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 9114 8074 852 1471 0 7634 0 Current children cumulated CPU time (s) 582.19 Current children cumulated vsize (KiB) 36456 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26763084/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=44576 CPUtime=1122.1 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 31035 0 0 0 111194 1016 0 0 20 0 1 0 269109014 45645824 10110 33554432000 4194304 10219143 140736433412896 140736433406392 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 11144 10110 852 1471 0 9664 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 44576 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.86 3/177 7148 /proc/meminfo: memFree=27680988/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=44576 CPUtime=1182.1 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 31062 0 0 0 117140 1070 0 0 20 0 1 0 269109014 45645824 10137 33554432000 4194304 10219143 140736433412896 140736433406152 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 11144 10137 852 1471 0 9664 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 44576 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.86 3/177 7149 /proc/meminfo: memFree=27677904/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=45448 CPUtime=1242.08 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 31218 0 0 0 123084 1124 0 0 20 0 1 0 269109014 46538752 10293 33554432000 4194304 10219143 140736433412896 140736433408936 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 11362 10293 852 1471 0 9882 0 Current children cumulated CPU time (s) 1242.08 Current children cumulated vsize (KiB) 45448 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 7149 /proc/meminfo: memFree=27676776/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=45448 CPUtime=1302.09 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 31276 0 0 0 129027 1182 0 0 20 0 1 0 269109014 46538752 10351 33554432000 4194304 10219143 140736433412896 140736433406200 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 11362 10351 852 1471 0 9882 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 45448 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.87 3/177 7149 /proc/meminfo: memFree=27674400/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=48232 CPUtime=1362.07 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 31950 0 0 0 134972 1235 0 0 20 0 1 0 269109014 49389568 11024 33554432000 4194304 10219143 140736433412896 140736433405656 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12058 11024 852 1471 0 10578 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 48232 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.88 3/178 7152 /proc/meminfo: memFree=27672836/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=48500 CPUtime=1422.07 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 32029 0 0 0 140912 1295 0 0 20 0 1 0 269109014 49664000 11103 33554432000 4194304 10219143 140736433412896 140736433406152 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12125 11103 852 1471 0 10645 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 48500 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.88 3/177 7152 /proc/meminfo: memFree=27672424/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=49032 CPUtime=1482.05 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 32171 0 0 0 146859 1346 0 0 20 0 1 0 269109014 50208768 11245 33554432000 4194304 10219143 140736433412896 140736433405752 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12258 11245 852 1471 0 10778 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 49032 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.89 3/176 7153 /proc/meminfo: memFree=27672192/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=50112 CPUtime=1542.04 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 32446 0 0 0 152807 1397 0 0 20 0 1 0 269109014 51314688 11520 33554432000 4194304 10219143 140736433412896 140736433406200 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12528 11520 852 1471 0 11048 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 50112 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 7154 /proc/meminfo: memFree=27670328/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=50112 CPUtime=1602.03 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 32451 0 0 0 158753 1450 0 0 20 0 1 0 269109014 51314688 11524 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12528 11524 852 1471 0 11048 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 50112 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.90 3/177 7154 /proc/meminfo: memFree=27668844/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=51128 CPUtime=1662.02 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 32697 0 0 0 164694 1508 0 0 20 0 1 0 269109014 52355072 11770 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 12782 11770 852 1471 0 11302 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 51128 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27667604/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1722.01 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33016 0 0 0 170636 1565 0 0 20 0 1 0 269109014 53678080 12089 33554432000 4194304 10219143 140736433412896 140736433406152 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12089 852 1471 0 11625 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 52420 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664688/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1782 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33027 0 0 0 176577 1623 0 0 20 0 1 0 269109014 53678080 12099 33554432000 4194304 10219143 140736433412896 140736433405608 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12099 852 1471 0 11625 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 52420 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664812/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1785.2 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33028 0 0 0 176894 1626 0 0 20 0 1 0 269109014 53678080 12100 33554432000 4194304 10219143 140736433412896 140736433406200 9008087 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12100 852 1471 0 11625 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 52420 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664688/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1791.62 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33033 0 0 0 177529 1633 0 0 20 0 1 0 269109014 53678080 12105 33554432000 4194304 10219143 140736433412896 140736433406536 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12105 852 1471 0 11625 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (KiB) 52420 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664564/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1794.81 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33033 0 0 0 177845 1636 0 0 20 0 1 0 269109014 53678080 12105 33554432000 4194304 10219143 140736433412896 140736433405768 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12105 852 1471 0 11625 0 Current children cumulated CPU time (s) 1794.81 Current children cumulated vsize (KiB) 52420 [startup+1795.9 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664564/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1795.6 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33033 0 0 0 177923 1637 0 0 20 0 1 0 269109014 53678080 12105 33554432000 4194304 10219143 140736433412896 140736433406200 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12105 852 1471 0 11625 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (KiB) 52420 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664564/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1796.41 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33033 0 0 0 178002 1639 0 0 20 0 1 0 269109014 53678080 12105 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12105 852 1471 0 11625 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (KiB) 52420 [startup+1796.9 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664564/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1796.6 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33034 0 0 0 178021 1639 0 0 20 0 1 0 269109014 53678080 12106 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12106 852 1471 0 11625 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (KiB) 52420 [startup+1797 s] /proc/loadavg: 2.00 2.00 1.91 3/177 7154 /proc/meminfo: memFree=27664564/32873648 swapFree=6336/6336 [pid=7077] ppid=7075 vsize=52420 CPUtime=1796.7 cores=0,2,4,6 /proc/7077/stat : 7077 (scip-2.1.1.4exp) R 7075 7077 5668 0 -1 4202496 33034 0 0 0 178031 1639 0 0 20 0 1 0 269109014 53678080 12106 33554432000 4194304 10219143 140736433412896 140736433406248 9026266 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/7077/statm: 13105 12106 852 1471 0 11625 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (KiB) 52420 Child status: 0 Real time (s): 1797.05 CPU time (s): 1796.76 CPU user time (s): 1780.36 CPU system time (s): 16.3975 CPU usage (%): 99.9841 Max. virtual memory (cumulated for all children) (KiB): 52420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1780.36 system time used= 16.3975 maximum resident set size= 48432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33038 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 4170 runsolver used 2.67759 second user time and 7.14591 second system time The end
Begin job on node112 at 2012-05-26 12:56:57 IDJOB=3692048 IDBENCH=1961 IDSOLVER=2271 FILE ID=node112/3692048-1338029817 RUNJOBID= node112-1338029191-7006 PBS_JOBID= 14624359 Free space on /tmp= 71576 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692048-1338029817/watcher-3692048-1338029817 -o /tmp/evaluation-result-3692048-1338029817/solver-3692048-1338029817 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692048-1338029817.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6549a0bbc5c463b1b909374436b51d65 RANDOM SEED=1997441304 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.763 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 26871484 kB Buffers: 235048 kB Cached: 4062756 kB SwapCached: 0 kB Active: 1560612 kB Inactive: 3668476 kB Active(anon): 933852 kB Inactive(anon): 0 kB Active(file): 626760 kB Inactive(file): 3668476 kB Unevictable: 6336 kB Mlocked: 6336 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13584 kB Writeback: 0 kB AnonPages: 1052100 kB Mapped: 17728 kB Shmem: 200 kB Slab: 635344 kB SReclaimable: 79532 kB SUnreclaim: 555812 kB KernelStack: 1472 kB PageTables: 5380 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 1048640 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 935936 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71568 MiB End job on node112 at 2012-05-26 13:26:55