Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed | OPT | 122 | 82.9094 | 82.9246 |
| Name | /OPT-SMALLINT-LIN/heinz/ normalized-neos-538867.opb |
| MD5SUM | 3b75c8039d6468258a1aa0343ce1fddb |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 122 |
| Best CPU time to get the best result obtained on this benchmark | 58.879 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 792 |
| Total number of constraints | 1170 |
| Number of constraints which are clauses | 1143 |
| Number of constraints which are cardinality constraints (but not clauses) | 27 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 18 |
| Number of terms in the objective function | 666 |
| Biggest coefficient in the objective function | 80 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 18684 |
| Number of bits of the sum of numbers in the objective function | 15 |
| Biggest number in a constraint | 80 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 18684 |
| Number of bits of the biggest sum of numbers | 15 |
| 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: a3bf3a4-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3693651-1338042328.opb>
0.00/0.00 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 1170 constraints
0.00/0.00 c problem read in 0.00
0.00/0.01 c presolving:
0.01/0.01 c (round 1) 126 del vars, 126 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 20 clqs
0.01/0.03 c (round 2) 126 del vars, 135 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1026 upgd conss, 0 impls, 20 clqs
0.01/0.03 c (round 3) 126 del vars, 135 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1028 upgd conss, 0 impls, 20 clqs
0.01/0.04 c (0.0s) probing: 51/666 (7.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.01/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.01/0.04 c presolving (4 rounds):
0.01/0.04 c 126 deleted vars, 135 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.01/0.04 c 0 implications, 20 cliques
0.01/0.04 c presolved problem has 666 variables (666 bin, 0 int, 0 impl, 0 cont) and 1035 constraints
0.01/0.04 c 20 constraints of type <setppc>
0.01/0.04 c 7 constraints of type <linear>
0.01/0.04 c 1008 constraints of type <logicor>
0.01/0.04 c transformed objective value is always integral (scale: 1)
0.01/0.04 c Presolving Time: 0.03
0.01/0.04 c - non default parameters ----------------------------------------------------------------------
0.01/0.04 c # SCIP version 2.1.1.4
0.01/0.04 c
0.01/0.04 c # maximal time in seconds to run
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/time = 1797
0.01/0.04 c
0.01/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.01/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.01/0.04 c limits/memory = 13950
0.01/0.04 c
0.01/0.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.01/0.04 c # [type: int, range: [1,2], default: 1]
0.01/0.04 c timing/clocktype = 2
0.01/0.04 c
0.01/0.04 c # belongs reading time to solving time?
0.01/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.01/0.04 c timing/reading = TRUE
0.01/0.04 c
0.01/0.04 c -----------------------------------------------------------------------------------------------
0.01/0.04 c start solving
0.01/0.04 c
0.01/0.04 o 18392
0.01/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.01/0.04 c T 0.0s| 1 | 0 | 0 | - |3490k| 0 | - | 666 |1035 | 666 |1035 | 0 | 0 | 0 | -- | 1.839200e+04 | Inf
0.01/0.04 o 402
0.01/0.04 c b 0.0s| 1 | 0 | 0 | - |3325k| 0 | - | 666 |1035 | 666 |1035 | 0 | 0 | 0 | -- | 4.020000e+02 | Inf
0.01/0.05 c 0.1s| 1 | 0 | 172 | - |3317k| 0 | 52 | 666 |1035 | 666 |1035 | 0 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.01/0.08 c 0.1s| 1 | 0 | 231 | - |3437k| 0 | 52 | 666 |1035 | 666 |1046 | 11 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.09/0.12 c 0.1s| 1 | 0 | 261 | - |3483k| 0 | 56 | 666 |1035 | 666 |1051 | 16 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.09/0.16 c 0.2s| 1 | 0 | 327 | - |3514k| 0 | 57 | 666 |1035 | 666 |1055 | 20 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.09/0.19 c 0.2s| 1 | 0 | 348 | - |3697k| 0 | 55 | 666 |1035 | 666 |1059 | 24 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.19/0.24 c 0.2s| 1 | 0 | 376 | - |3900k| 0 | 49 | 666 |1035 | 666 |1064 | 29 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.19/0.28 c 0.3s| 1 | 0 | 390 | - |4101k| 0 | 49 | 666 |1035 | 666 |1066 | 31 | 0 | 0 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.59/0.64 c 0.6s| 1 | 2 | 390 | - |4110k| 0 | 49 | 666 |1035 | 666 |1066 | 31 | 0 | 28 | 3.200000e+01 | 4.020000e+02 |1156.25%
0.99/1.02 o 252
0.99/1.02 c * 1.0s| 11 | 10 | 712 | 32.2 |4161k| 10 | - | 666 |1035 | 666 |1043 | 31 | 0 | 180 | 3.200000e+01 | 2.520000e+02 | 687.50%
0.99/1.03 o 237
0.99/1.03 c * 1.0s| 12 | 8 | 716 | 29.6 |4304k| 10 | - | 666 |1035 | 666 |1043 | 31 | 0 | 180 | 3.200000e+01 | 2.370000e+02 | 640.62%
2.39/2.41 o 217
2.39/2.41 c * 2.4s| 48 | 40 | 1869 | 31.5 |4352k| 14 | - | 666 |1035 | 666 |1043 | 31 | 0 | 710 | 3.200000e+01 | 2.170000e+02 | 578.12%
3.29/3.31 o 167
3.29/3.31 c * 3.3s| 82 | 58 | 2890 | 30.9 |4437k| 16 | - | 666 |1057 | 666 |1043 | 31 | 22 |1068 | 3.200000e+01 | 1.670000e+02 | 421.87%
3.69/3.79 c 3.8s| 100 | 68 | 3410 | 30.5 |4488k| 17 | 32 | 666 |1091 | 666 |1043 | 31 | 57 |1254 | 3.200000e+01 | 1.670000e+02 | 421.87%
4.78/4.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.78/4.88 c 4.9s| 200 | 124 | 5558 | 26.0 |4726k| 31 | 56 | 666 |1187 | 666 |1043 | 31 | 153 |1724 | 3.200000e+01 | 1.670000e+02 | 421.87%
5.39/5.48 c 5.5s| 300 | 177 | 8021 | 25.5 |4984k| 34 | 15 | 666 |1244 | 666 |1043 | 31 | 212 |1930 | 3.200000e+01 | 1.670000e+02 | 421.87%
5.79/5.88 c 5.9s| 400 | 223 | 9853 | 23.7 |5198k| 34 | 8 | 666 |1287 | 666 |1043 | 31 | 255 |2071 | 3.200000e+01 | 1.670000e+02 | 421.87%
6.29/6.31 c 6.3s| 500 | 278 | 12015 | 23.3 |5454k| 35 | - | 666 |1335 | 666 |1043 | 31 | 303 |2228 | 3.200000e+01 | 1.670000e+02 | 421.87%
6.49/6.58 c 6.6s| 600 | 326 | 14327 | 23.3 |5672k| 37 | - | 666 |1382 | 0 | 0 | 31 | 354 |2284 | 3.200000e+01 | 1.670000e+02 | 421.87%
6.79/6.85 c 6.8s| 700 | 383 | 16064 | 22.4 |5881k| 37 | 29 | 666 |1420 | 666 |1043 | 31 | 406 |2332 | 3.200000e+01 | 1.670000e+02 | 421.87%
6.99/7.09 c 7.1s| 800 | 429 | 17759 | 21.7 |6052k| 37 | - | 666 |1428 | 0 | 0 | 31 | 439 |2392 | 3.200000e+01 | 1.670000e+02 | 421.87%
7.29/7.30 c 7.3s| 900 | 473 | 19419 | 21.2 |6198k| 45 | 51 | 666 |1450 | 666 |1043 | 31 | 487 |2434 | 3.200000e+01 | 1.670000e+02 | 421.87%
7.48/7.50 c 7.5s| 1000 | 523 | 20970 | 20.6 |6395k| 49 | 28 | 666 |1450 | 666 |1043 | 31 | 519 |2484 | 3.200000e+01 | 1.670000e+02 | 421.87%
7.70/7.72 c 7.7s| 1100 | 573 | 22538 | 20.2 |6608k| 49 | - | 666 |1474 | 666 |1043 | 31 | 571 |2541 | 3.595833e+01 | 1.670000e+02 | 364.43%
7.79/7.82 o 162
7.79/7.82 c * 7.8s| 1162 | 586 | 23503 | 19.9 |6648k| 49 | - | 666 |1470 | 666 |1043 | 31 | 584 |2556 | 3.595833e+01 | 1.620000e+02 | 350.52%
7.79/7.88 c 7.9s| 1200 | 606 | 23979 | 19.7 |6720k| 49 | 19 | 666 |1480 | 666 |1043 | 31 | 598 |2564 | 3.595833e+01 | 1.620000e+02 | 350.52%
7.99/8.03 o 147
7.99/8.03 c * 8.0s| 1284 | 560 | 25490 | 19.6 |6410k| 49 | - | 666 |1474 | 666 |1043 | 31 | 635 |2579 | 3.637500e+01 | 1.470000e+02 | 304.12%
7.99/8.05 c 8.0s| 1300 | 567 | 25726 | 19.5 |6412k| 49 | 38 | 666 |1463 | 666 |1043 | 31 | 639 |2579 | 3.637500e+01 | 1.470000e+02 | 304.12%
8.18/8.23 c 8.2s| 1400 | 605 | 27466 | 19.4 |6581k| 49 | - | 666 |1434 | 0 | 0 | 31 | 666 |2599 | 3.637500e+01 | 1.470000e+02 | 304.12%
8.38/8.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
8.38/8.42 c 8.4s| 1500 | 642 | 28990 | 19.1 |6789k| 49 | 42 | 666 |1420 | 666 |1043 | 31 | 694 |2628 | 3.637500e+01 | 1.470000e+02 | 304.12%
8.58/8.60 c 8.6s| 1600 | 685 | 30779 | 19.0 |7040k| 49 | 62 | 666 |1408 | 666 |1043 | 31 | 718 |2631 | 3.645437e+01 | 1.470000e+02 | 303.24%
8.69/8.77 c 8.8s| 1700 | 721 | 32661 | 19.0 |7277k| 49 | - | 666 |1414 | 0 | 0 | 31 | 771 |2637 | 3.645437e+01 | 1.470000e+02 | 303.24%
8.88/8.91 c 8.9s| 1800 | 760 | 34078 | 18.7 |7498k| 49 | 51 | 666 |1434 | 666 |1043 | 31 | 821 |2647 | 3.645437e+01 | 1.470000e+02 | 303.24%
9.08/9.10 c 9.1s| 1900 | 806 | 35702 | 18.6 |7722k| 49 | 49 | 666 |1442 | 666 |1043 | 31 | 862 |2679 | 3.645437e+01 | 1.470000e+02 | 303.24%
9.19/9.29 c 9.3s| 2000 | 854 | 37308 | 18.5 |7971k| 49 | - | 666 |1460 | 666 |1043 | 31 | 904 |2713 | 3.669551e+01 | 1.470000e+02 | 300.59%
9.39/9.48 c 9.5s| 2100 | 904 | 38744 | 18.3 |8181k| 49 | 18 | 666 |1473 | 666 |1043 | 31 | 935 |2749 | 4.200000e+01 | 1.470000e+02 | 250.00%
9.59/9.63 c 9.6s| 2200 | 933 | 40548 | 18.3 |8318k| 49 | 20 | 666 |1440 | 666 |1043 | 31 | 971 |2752 | 4.200000e+01 | 1.470000e+02 | 250.00%
9.68/9.78 c 9.8s| 2300 | 976 | 42061 | 18.1 |8533k| 49 | 18 | 666 |1428 | 666 |1043 | 31 |1017 |2760 | 4.200000e+01 | 1.470000e+02 | 250.00%
9.99/10.00 c 10.0s| 2400 | 1023 | 44623 | 18.4 |8751k| 49 | 49 | 666 |1397 | 666 |1043 | 31 |1048 |2768 | 4.200000e+01 | 1.470000e+02 | 250.00%
10.29/10.39 c 10.4s| 2500 | 1111 | 48790 | 19.4 |9161k| 49 | 22 | 666 |1359 | 666 |1043 | 31 |1069 |2779 | 4.400000e+01 | 1.470000e+02 | 234.09%
10.68/10.72 c 10.7s| 2600 | 1174 | 52707 | 20.1 |9496k| 49 | 59 | 666 |1345 | 666 |1043 | 31 |1110 |2808 | 4.600000e+01 | 1.470000e+02 | 219.57%
11.00/11.08 c 11.1s| 2700 | 1254 | 56903 | 20.9 |9883k| 49 | 44 | 666 |1325 | 666 |1043 | 31 |1152 |2816 | 4.628571e+01 | 1.470000e+02 | 217.59%
11.39/11.43 c 11.4s| 2800 | 1338 | 60832 | 21.6 | 10M| 49 | 17 | 666 |1299 | 666 |1043 | 31 |1196 |2823 | 4.628571e+01 | 1.470000e+02 | 217.59%
11.79/11.81 c 11.8s| 2900 | 1422 | 65803 | 22.6 | 10M| 49 | 38 | 666 |1307 | 666 |1043 | 31 |1269 |2838 | 4.628571e+01 | 1.470000e+02 | 217.59%
12.09/12.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.09/12.19 c 12.2s| 3000 | 1487 | 69312 | 23.0 | 11M| 49 | 50 | 666 |1346 | 666 |1043 | 31 |1347 |2886 | 4.628571e+01 | 1.470000e+02 | 217.59%
12.49/12.50 c 12.5s| 3100 | 1563 | 72758 | 23.4 | 11M| 49 | 25 | 666 |1299 | 666 |1043 | 31 |1379 |2902 | 4.628571e+01 | 1.470000e+02 | 217.59%
12.79/12.84 c 12.8s| 3200 | 1623 | 76197 | 23.7 | 12M| 49 | 43 | 666 |1286 | 666 |1043 | 31 |1410 |2950 | 4.700000e+01 | 1.470000e+02 | 212.77%
13.10/13.18 c 13.2s| 3300 | 1691 | 79543 | 24.0 | 12M| 49 | 15 | 666 |1270 | 666 |1043 | 31 |1460 |2983 | 4.700000e+01 | 1.470000e+02 | 212.77%
13.49/13.55 c 13.6s| 3400 | 1759 | 82745 | 24.2 | 13M| 49 | 41 | 666 |1255 | 666 |1043 | 31 |1493 |3015 | 4.700000e+01 | 1.470000e+02 | 212.77%
13.78/13.83 c 13.8s| 3500 | 1812 | 85391 | 24.3 | 13M| 49 | 50 | 666 |1266 | 666 |1043 | 31 |1556 |3049 | 4.700000e+01 | 1.470000e+02 | 212.77%
14.08/14.10 c 14.1s| 3600 | 1859 | 88108 | 24.4 | 13M| 49 | 38 | 666 |1264 | 666 |1043 | 31 |1594 |3081 | 4.700000e+01 | 1.470000e+02 | 212.77%
14.39/14.43 c 14.4s| 3700 | 1921 | 91234 | 24.6 | 14M| 49 | 52 | 666 |1253 | 666 |1043 | 31 |1615 |3104 | 4.700000e+01 | 1.470000e+02 | 212.77%
14.58/14.69 c 14.7s| 3800 | 1975 | 93878 | 24.6 | 14M| 49 | - | 666 |1310 | 0 | 0 | 31 |1705 |3129 | 4.700000e+01 | 1.470000e+02 | 212.77%
14.88/14.93 c 14.9s| 3900 | 2036 | 96365 | 24.6 | 15M| 49 | 51 | 666 |1298 | 666 |1043 | 31 |1755 |3148 | 4.700000e+01 | 1.470000e+02 | 212.77%
15.19/15.20 c 15.2s| 4000 | 2085 | 99199 | 24.7 | 15M| 49 | - | 666 |1262 | 0 | 0 | 31 |1775 |3173 | 4.700000e+01 | 1.470000e+02 | 212.77%
15.19/15.25 o 127
15.19/15.25 c l15.2s| 4016 | 1620 | 99752 | 24.7 | 11M| 49 | - | 666 |1260 | 666 |1043 | 31 |1776 |3174 | 4.730612e+01 | 1.270000e+02 | 168.46%
15.39/15.41 c 15.4s| 4100 | 1653 |101764 | 24.7 | 11M| 49 | 26 | 666 |1224 | 666 |1043 | 31 |1787 |3175 | 4.762500e+01 | 1.270000e+02 | 166.67%
15.58/15.60 c 15.6s| 4200 | 1687 |103702 | 24.6 | 12M| 49 | 47 | 666 |1244 | 666 |1043 | 31 |1827 |3188 | 4.762500e+01 | 1.270000e+02 | 166.67%
15.79/15.83 c 15.8s| 4300 | 1728 |106319 | 24.6 | 12M| 49 | 49 | 666 |1267 | 666 |1043 | 31 |1886 |3199 | 4.762500e+01 | 1.270000e+02 | 166.67%
15.99/16.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.04 c 16.0s| 4400 | 1763 |108477 | 24.6 | 12M| 49 | - | 666 |1286 | 666 |1043 | 31 |1934 |3217 | 4.762500e+01 | 1.270000e+02 | 166.67%
16.18/16.26 c 16.3s| 4500 | 1793 |110643 | 24.5 | 13M| 49 | 31 | 666 |1295 | 666 |1043 | 31 |1998 |3227 | 4.762500e+01 | 1.270000e+02 | 166.67%
16.39/16.49 c 16.5s| 4600 | 1824 |112735 | 24.4 | 13M| 49 | 29 | 666 |1324 | 666 |1043 | 31 |2059 |3235 | 4.762500e+01 | 1.270000e+02 | 166.67%
16.59/16.66 c 16.7s| 4700 | 1849 |114738 | 24.3 | 13M| 49 | 52 | 666 |1327 | 666 |1043 | 31 |2109 |3239 | 4.762500e+01 | 1.270000e+02 | 166.67%
16.79/16.83 c 16.8s| 4800 | 1872 |116823 | 24.3 | 14M| 49 | 50 | 666 |1292 | 666 |1043 | 31 |2141 |3241 | 4.762500e+01 | 1.270000e+02 | 166.67%
16.98/17.01 c 17.0s| 4900 | 1902 |118823 | 24.2 | 14M| 49 | 50 | 666 |1291 | 666 |1043 | 31 |2186 |3250 | 4.762500e+01 | 1.270000e+02 | 166.67%
17.08/17.18 c 17.2s| 5000 | 1933 |120809 | 24.1 | 14M| 49 | - | 666 |1272 | 666 |1043 | 31 |2220 |3257 | 4.762500e+01 | 1.270000e+02 | 166.67%
17.28/17.37 c 17.4s| 5100 | 1959 |122630 | 24.0 | 15M| 51 | - | 666 |1290 | 0 | 0 | 31 |2278 |3275 | 4.762500e+01 | 1.270000e+02 | 166.67%
17.50/17.52 c 17.5s| 5200 | 1988 |124097 | 23.8 | 15M| 51 | 46 | 666 |1294 | 666 |1043 | 31 |2312 |3281 | 4.783333e+01 | 1.270000e+02 | 165.51%
17.69/17.70 c 17.7s| 5300 | 2017 |126130 | 23.7 | 15M| 51 | 33 | 666 |1279 | 666 |1043 | 31 |2352 |3289 | 4.783333e+01 | 1.270000e+02 | 165.51%
17.78/17.85 c 17.8s| 5400 | 2035 |128067 | 23.6 | 15M| 51 | 40 | 666 |1291 | 666 |1043 | 31 |2393 |3289 | 4.817940e+01 | 1.270000e+02 | 163.60%
17.99/18.05 c 18.0s| 5500 | 2058 |129946 | 23.6 | 16M| 51 | - | 666 |1339 | 0 | 0 | 31 |2489 |3312 | 4.950000e+01 | 1.270000e+02 | 156.57%
18.09/18.19 c 18.2s| 5600 | 2070 |131597 | 23.4 | 16M| 51 | - | 666 |1307 | 0 | 0 | 31 |2522 |3314 | 4.988889e+01 | 1.270000e+02 | 154.57%
18.28/18.36 c 18.4s| 5700 | 2091 |133437 | 23.3 | 16M| 51 | 56 | 666 |1306 | 666 |1043 | 31 |2556 |3323 | 5.000000e+01 | 1.270000e+02 | 154.00%
18.48/18.58 c 18.6s| 5800 | 2110 |135835 | 23.4 | 16M| 51 | 32 | 666 |1288 | 666 |1043 | 31 |2576 |3355 | 5.012500e+01 | 1.270000e+02 | 153.37%
18.69/18.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.69/18.79 c 18.8s| 5900 | 2123 |137308 | 23.2 | 17M| 51 | 56 | 666 |1288 | 666 |1043 | 31 |2608 |3375 | 5.012500e+01 | 1.270000e+02 | 153.37%
18.88/18.98 c 19.0s| 6000 | 2146 |139281 | 23.2 | 17M| 51 | - | 666 |1273 | 666 |1043 | 31 |2637 |3395 | 5.063636e+01 | 1.270000e+02 | 150.81%
19.08/19.19 c 19.2s| 6100 | 2168 |141305 | 23.1 | 17M| 51 | 40 | 666 |1291 | 666 |1043 | 31 |2684 |3422 | 5.063636e+01 | 1.270000e+02 | 150.81%
19.28/19.38 c 19.4s| 6200 | 2189 |143121 | 23.0 | 17M| 51 | - | 666 |1273 | 0 | 0 | 31 |2723 |3449 | 5.075000e+01 | 1.270000e+02 | 150.25%
19.49/19.55 c 19.5s| 6300 | 2209 |144574 | 22.9 | 17M| 51 | 58 | 666 |1262 | 666 |1043 | 31 |2748 |3471 | 5.159184e+01 | 1.270000e+02 | 146.16%
19.69/19.75 c 19.8s| 6400 | 2227 |146450 | 22.8 | 18M| 51 | 33 | 666 |1243 | 666 |1043 | 31 |2784 |3498 | 5.200000e+01 | 1.270000e+02 | 144.23%
19.88/19.92 c 19.9s| 6500 | 2245 |148101 | 22.7 | 18M| 51 | 35 | 666 |1254 | 666 |1043 | 31 |2818 |3516 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.08/20.10 c 20.1s| 6600 | 2259 |150148 | 22.7 | 18M| 51 | 36 | 666 |1262 | 666 |1043 | 31 |2852 |3527 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.18/20.27 c 20.3s| 6700 | 2274 |152061 | 22.6 | 18M| 51 | 46 | 666 |1264 | 666 |1043 | 31 |2888 |3537 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.39/20.45 c 20.5s| 6800 | 2302 |154113 | 22.6 | 19M| 51 | 49 | 666 |1272 | 666 |1043 | 31 |2924 |3553 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.58/20.62 c 20.6s| 6900 | 2317 |155937 | 22.5 | 19M| 51 | - | 666 |1275 | 0 | 0 | 31 |2960 |3566 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.79/20.83 c 20.8s| 7000 | 2325 |157585 | 22.5 | 19M| 51 | - | 666 |1264 | 666 |1043 | 31 |2988 |3580 | 5.200000e+01 | 1.270000e+02 | 144.23%
20.89/20.96 c 21.0s| 7100 | 2346 |159163 | 22.4 | 19M| 51 | 31 | 666 |1262 | 666 |1043 | 31 |3008 |3583 | 5.200000e+01 | 1.270000e+02 | 144.23%
21.08/21.11 c 21.1s| 7200 | 2358 |160612 | 22.3 | 19M| 51 | 36 | 666 |1260 | 666 |1043 | 31 |3040 |3596 | 5.200000e+01 | 1.270000e+02 | 144.23%
21.19/21.26 c 21.3s| 7300 | 2382 |162185 | 22.2 | 19M| 51 | 48 | 666 |1261 | 666 |1043 | 31 |3071 |3601 | 5.200000e+01 | 1.270000e+02 | 144.23%
21.39/21.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
21.39/21.43 c 21.4s| 7400 | 2420 |163606 | 22.1 | 20M| 64 | - | 666 |1310 | 0 | 0 | 31 |3137 |3627 | 5.200000e+01 | 1.270000e+02 | 144.23%
21.58/21.60 c 21.6s| 7500 | 2442 |165038 | 22.0 | 20M| 66 | - | 666 |1297 | 0 | 0 | 31 |3172 |3654 | 5.202747e+01 | 1.270000e+02 | 144.10%
21.68/21.75 c 21.7s| 7600 | 2453 |166500 | 21.9 | 20M| 68 | 45 | 666 |1299 | 666 |1043 | 31 |3211 |3669 | 5.262500e+01 | 1.270000e+02 | 141.33%
21.78/21.89 c 21.9s| 7700 | 2467 |168000 | 21.8 | 20M| 68 | - | 666 |1278 | 0 | 0 | 31 |3245 |3677 | 5.319895e+01 | 1.270000e+02 | 138.73%
21.99/22.07 c 22.1s| 7800 | 2481 |170100 | 21.8 | 20M| 68 | 36 | 666 |1257 | 666 |1043 | 31 |3288 |3686 | 5.342857e+01 | 1.270000e+02 | 137.70%
22.18/22.22 c 22.2s| 7900 | 2496 |171604 | 21.7 | 21M| 68 | - | 666 |1257 | 0 | 0 | 31 |3319 |3692 | 5.366667e+01 | 1.270000e+02 | 136.65%
22.29/22.36 c 22.4s| 8000 | 2515 |173203 | 21.6 | 21M| 68 | 32 | 666 |1256 | 666 |1043 | 31 |3351 |3697 | 5.366667e+01 | 1.270000e+02 | 136.65%
22.48/22.54 c 22.5s| 8100 | 2534 |175107 | 21.6 | 21M| 68 | 45 | 666 |1243 | 666 |1043 | 31 |3376 |3715 | 5.366667e+01 | 1.270000e+02 | 136.65%
22.58/22.68 c 22.7s| 8200 | 2537 |176706 | 21.5 | 21M| 68 | - | 666 |1263 | 0 | 0 | 31 |3420 |3718 | 5.366667e+01 | 1.270000e+02 | 136.65%
22.78/22.87 c 22.9s| 8300 | 2565 |178960 | 21.5 | 21M| 68 | 48 | 666 |1260 | 666 |1043 | 31 |3450 |3722 | 5.387500e+01 | 1.270000e+02 | 135.73%
22.99/23.04 c 23.0s| 8400 | 2592 |180927 | 21.5 | 22M| 68 | - | 666 |1255 | 666 |1043 | 31 |3482 |3732 | 5.404348e+01 | 1.270000e+02 | 135.00%
23.09/23.19 c 23.2s| 8500 | 2608 |182712 | 21.5 | 22M| 68 | 28 | 666 |1254 | 666 |1043 | 31 |3516 |3734 | 5.404348e+01 | 1.270000e+02 | 135.00%
23.28/23.37 c 23.4s| 8600 | 2625 |184275 | 21.4 | 22M| 68 | 24 | 666 |1243 | 666 |1043 | 31 |3543 |3736 | 5.404348e+01 | 1.270000e+02 | 135.00%
23.49/23.53 c 23.5s| 8700 | 2651 |186086 | 21.3 | 22M| 68 | 30 | 666 |1276 | 666 |1043 | 31 |3615 |3742 | 5.404348e+01 | 1.270000e+02 | 135.00%
23.59/23.68 c 23.7s| 8800 | 2668 |187744 | 21.3 | 22M| 68 | 38 | 666 |1268 | 666 |1043 | 31 |3646 |3749 | 5.404348e+01 | 1.270000e+02 | 135.00%
23.78/23.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.78/23.81 c 23.8s| 8900 | 2679 |189206 | 21.2 | 22M| 68 | 45 | 666 |1251 | 666 |1043 | 31 |3680 |3753 | 5.405357e+01 | 1.270000e+02 | 134.95%
23.88/23.95 c 23.9s| 9000 | 2702 |190697 | 21.1 | 23M| 68 | - | 666 |1242 | 666 |1043 | 31 |3706 |3757 | 5.405357e+01 | 1.270000e+02 | 134.95%
23.98/24.09 c 24.1s| 9100 | 2716 |192102 | 21.1 | 23M| 68 | - | 666 |1241 | 666 |1043 | 31 |3734 |3771 | 5.422222e+01 | 1.270000e+02 | 134.22%
24.19/24.22 c 24.2s| 9200 | 2726 |193294 | 21.0 | 23M| 68 | - | 666 |1249 | 0 | 0 | 31 |3757 |3788 | 5.469231e+01 | 1.270000e+02 | 132.21%
24.28/24.39 c 24.4s| 9300 | 2735 |194867 | 20.9 | 23M| 68 | - | 666 |1251 | 666 |1043 | 31 |3794 |3806 | 5.525397e+01 | 1.270000e+02 | 129.85%
24.59/24.61 c 24.6s| 9400 | 2753 |197108 | 20.9 | 23M| 68 | 33 | 666 |1269 | 666 |1043 | 31 |3847 |3831 | 5.648148e+01 | 1.270000e+02 | 124.85%
24.68/24.78 c 24.8s| 9500 | 2763 |198774 | 20.9 | 23M| 68 | 36 | 666 |1277 | 666 |1043 | 31 |3882 |3854 | 5.700000e+01 | 1.270000e+02 | 122.81%
24.88/24.93 c 24.9s| 9600 | 2779 |200055 | 20.8 | 23M| 68 | - | 666 |1279 | 666 |1043 | 31 |3919 |3875 | 5.700000e+01 | 1.270000e+02 | 122.81%
25.08/25.12 c 25.1s| 9700 | 2794 |201881 | 20.8 | 24M| 68 | - | 666 |1280 | 0 | 0 | 31 |3972 |3897 | 5.700000e+01 | 1.270000e+02 | 122.81%
25.19/25.28 c 25.3s| 9800 | 2809 |203415 | 20.7 | 24M| 68 | 32 | 666 |1259 | 666 |1043 | 31 |4006 |3920 | 5.700000e+01 | 1.270000e+02 | 122.81%
25.38/25.45 c 25.4s| 9900 | 2812 |204830 | 20.7 | 24M| 68 | 26 | 666 |1260 | 666 |1043 | 31 |4037 |3949 | 5.723520e+01 | 1.270000e+02 | 121.89%
25.58/25.64 c 25.6s| 10000 | 2839 |206867 | 20.6 | 24M| 68 | 25 | 666 |1279 | 666 |1043 | 31 |4087 |3966 | 5.732799e+01 | 1.270000e+02 | 121.53%
25.79/25.81 c 25.8s| 10100 | 2849 |208420 | 20.6 | 24M| 68 | 31 | 666 |1274 | 666 |1043 | 31 |4123 |3989 | 5.732799e+01 | 1.270000e+02 | 121.53%
25.98/26.01 c 26.0s| 10200 | 2869 |210285 | 20.6 | 24M| 68 | 41 | 666 |1290 | 666 |1043 | 31 |4169 |4014 | 5.771429e+01 | 1.270000e+02 | 120.05%
26.19/26.22 c 26.2s| 10300 | 2877 |212619 | 20.6 | 24M| 68 | - | 666 |1267 | 666 |1043 | 31 |4201 |4036 | 5.771429e+01 | 1.270000e+02 | 120.05%
26.29/26.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.29/26.38 c 26.4s| 10400 | 2891 |214287 | 20.6 | 25M| 68 | 26 | 666 |1255 | 666 |1043 | 31 |4226 |4055 | 5.800000e+01 | 1.270000e+02 | 118.97%
26.48/26.53 c 26.5s| 10500 | 2904 |215877 | 20.5 | 25M| 68 | 38 | 666 |1258 | 666 |1043 | 31 |4249 |4066 | 5.816071e+01 | 1.270000e+02 | 118.36%
26.69/26.70 c 26.7s| 10600 | 2920 |217646 | 20.5 | 25M| 68 | - | 666 |1267 | 0 | 0 | 31 |4301 |4079 | 5.866667e+01 | 1.270000e+02 | 116.48%
26.79/26.86 c 26.9s| 10700 | 2940 |219227 | 20.5 | 25M| 68 | - | 666 |1272 | 0 | 0 | 31 |4332 |4098 | 5.866667e+01 | 1.270000e+02 | 116.48%
26.98/27.01 c 27.0s| 10800 | 2959 |220553 | 20.4 | 25M| 68 | 40 | 666 |1290 | 666 |1043 | 31 |4383 |4110 | 6.021429e+01 | 1.270000e+02 | 110.91%
27.08/27.18 c 27.2s| 10900 | 2967 |222019 | 20.3 | 25M| 68 | - | 666 |1306 | 666 |1043 | 31 |4448 |4134 | 6.033333e+01 | 1.270000e+02 | 110.50%
27.28/27.31 c 27.3s| 11000 | 2978 |223390 | 20.3 | 26M| 68 | 35 | 666 |1302 | 666 |1043 | 31 |4484 |4143 | 6.063636e+01 | 1.270000e+02 | 109.45%
27.39/27.47 c 27.5s| 11100 | 2988 |225024 | 20.2 | 26M| 68 | 41 | 666 |1278 | 666 |1043 | 31 |4513 |4159 | 6.186772e+01 | 1.270000e+02 | 105.28%
27.58/27.63 c 27.6s| 11200 | 3011 |226646 | 20.2 | 26M| 68 | 54 | 666 |1263 | 666 |1043 | 31 |4545 |4163 | 6.186772e+01 | 1.270000e+02 | 105.28%
27.68/27.77 c 27.8s| 11300 | 3018 |228114 | 20.2 | 26M| 68 | - | 666 |1248 | 0 | 0 | 31 |4571 |4171 | 6.186772e+01 | 1.270000e+02 | 105.28%
27.78/27.89 c 27.9s| 11400 | 3021 |229396 | 20.1 | 26M| 68 | 40 | 666 |1244 | 666 |1043 | 31 |4609 |4178 | 6.195536e+01 | 1.270000e+02 | 104.99%
27.98/28.05 c 28.1s| 11500 | 3028 |230945 | 20.1 | 26M| 68 | 47 | 666 |1264 | 666 |1043 | 31 |4663 |4189 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.08/28.19 c 28.2s| 11600 | 3042 |232337 | 20.0 | 26M| 68 | 34 | 666 |1284 | 666 |1043 | 31 |4716 |4196 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.29/28.33 c 28.3s| 11700 | 3055 |233788 | 20.0 | 27M| 68 | - | 666 |1295 | 0 | 0 | 31 |4761 |4199 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.49/28.51 c 28.5s| 11800 | 3070 |235785 | 20.0 | 27M| 68 | - | 666 |1310 | 0 | 0 | 31 |4826 |4205 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.59/28.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.59/28.66 c 28.7s| 11900 | 3091 |237370 | 19.9 | 27M| 68 | 45 | 666 |1365 | 666 |1043 | 31 |4913 |4214 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.78/28.81 c 28.8s| 12000 | 3104 |238965 | 19.9 | 27M| 68 | 57 | 666 |1347 | 666 |1043 | 31 |4952 |4221 | 6.200000e+01 | 1.270000e+02 | 104.84%
28.89/28.95 c 29.0s| 12100 | 3110 |240302 | 19.8 | 27M| 68 | 47 | 666 |1311 | 666 |1043 | 31 |4992 |4232 | 6.228274e+01 | 1.270000e+02 | 103.91%
28.99/29.09 c 29.1s| 12200 | 3129 |241666 | 19.8 | 27M| 68 | 41 | 666 |1302 | 666 |1043 | 31 |5027 |4241 | 6.228274e+01 | 1.270000e+02 | 103.91%
29.18/29.21 c 29.2s| 12300 | 3141 |242789 | 19.7 | 28M| 68 | 34 | 666 |1325 | 666 |1043 | 31 |5079 |4247 | 6.228274e+01 | 1.270000e+02 | 103.91%
29.29/29.33 c 29.3s| 12400 | 3154 |244053 | 19.7 | 28M| 68 | 35 | 666 |1336 | 666 |1043 | 31 |5116 |4250 | 6.228274e+01 | 1.270000e+02 | 103.91%
29.38/29.47 c 29.5s| 12500 | 3161 |245407 | 19.6 | 28M| 68 | 36 | 666 |1315 | 666 |1043 | 31 |5142 |4258 | 6.266667e+01 | 1.270000e+02 | 102.66%
29.48/29.59 c 29.6s| 12600 | 3166 |246801 | 19.6 | 28M| 68 | - | 666 |1317 | 0 | 0 | 31 |5180 |4261 | 6.266667e+01 | 1.270000e+02 | 102.66%
29.69/29.72 c 29.7s| 12700 | 3182 |247918 | 19.5 | 28M| 68 | 32 | 666 |1306 | 666 |1043 | 31 |5228 |4264 | 6.286806e+01 | 1.270000e+02 | 102.01%
29.78/29.86 c 29.9s| 12800 | 3194 |249326 | 19.4 | 28M| 68 | 31 | 666 |1304 | 666 |1043 | 31 |5278 |4270 | 6.300000e+01 | 1.270000e+02 | 101.59%
29.88/29.98 c 30.0s| 12900 | 3199 |250664 | 19.4 | 28M| 68 | 37 | 666 |1316 | 666 |1043 | 31 |5323 |4274 | 6.304167e+01 | 1.270000e+02 | 101.45%
30.09/30.11 c 30.1s| 13000 | 3212 |252122 | 19.4 | 28M| 68 | 37 | 666 |1314 | 666 |1043 | 31 |5367 |4277 | 6.366667e+01 | 1.270000e+02 | 99.48%
30.19/30.27 c 30.3s| 13100 | 3232 |253758 | 19.3 | 29M| 68 | 42 | 666 |1346 | 666 |1043 | 31 |5426 |4282 | 6.371429e+01 | 1.270000e+02 | 99.33%
30.38/30.42 c 30.4s| 13200 | 3242 |255377 | 19.3 | 29M| 68 | - | 666 |1329 | 0 | 0 | 31 |5472 |4288 | 6.371429e+01 | 1.270000e+02 | 99.33%
30.48/30.59 c 30.6s| 13300 | 3250 |257232 | 19.3 | 29M| 68 | - | 666 |1330 | 666 |1043 | 31 |5520 |4296 | 6.373469e+01 | 1.270000e+02 | 99.26%
30.68/30.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.68/30.73 c 30.7s| 13400 | 3257 |258772 | 19.3 | 29M| 68 | - | 666 |1326 | 666 |1043 | 31 |5552 |4300 | 6.450000e+01 | 1.270000e+02 | 96.90%
30.79/30.86 c 30.9s| 13500 | 3267 |260171 | 19.2 | 29M| 68 | - | 666 |1321 | 0 | 0 | 31 |5585 |4306 | 6.473810e+01 | 1.270000e+02 | 96.18%
30.89/30.97 c 31.0s| 13600 | 3276 |261376 | 19.2 | 29M| 68 | 40 | 666 |1321 | 666 |1043 | 31 |5622 |4307 | 6.500000e+01 | 1.270000e+02 | 95.38%
30.98/31.09 c 31.1s| 13700 | 3281 |262575 | 19.1 | 29M| 68 | - | 666 |1335 | 666 |1043 | 31 |5669 |4309 | 6.504054e+01 | 1.270000e+02 | 95.26%
31.18/31.20 c 31.2s| 13800 | 3289 |263764 | 19.1 | 29M| 68 | 27 | 666 |1327 | 666 |1043 | 31 |5696 |4309 | 6.514286e+01 | 1.270000e+02 | 94.96%
31.29/31.33 c 31.3s| 13900 | 3296 |265146 | 19.0 | 29M| 68 | - | 666 |1333 | 666 |1043 | 31 |5729 |4312 | 6.514286e+01 | 1.270000e+02 | 94.96%
31.39/31.48 c 31.5s| 14000 | 3306 |266776 | 19.0 | 30M| 68 | - | 666 |1322 | 666 |1043 | 31 |5763 |4322 | 6.554167e+01 | 1.270000e+02 | 93.77%
31.59/31.64 c 31.6s| 14100 | 3317 |268221 | 19.0 | 30M| 68 | - | 666 |1317 | 666 |1043 | 31 |5799 |4337 | 6.554167e+01 | 1.270000e+02 | 93.77%
31.68/31.76 c 31.8s| 14200 | 3322 |269492 | 19.0 | 30M| 68 | - | 666 |1321 | 666 |1043 | 31 |5840 |4340 | 6.571429e+01 | 1.270000e+02 | 93.26%
31.79/31.88 c 31.9s| 14300 | 3337 |270751 | 18.9 | 30M| 68 | 29 | 666 |1315 | 666 |1043 | 31 |5868 |4342 | 6.646429e+01 | 1.270000e+02 | 91.08%
31.99/32.03 c 32.0s| 14400 | 3352 |272522 | 18.9 | 30M| 68 | 47 | 666 |1317 | 666 |1043 | 31 |5907 |4345 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.08/32.15 c 32.2s| 14500 | 3362 |273726 | 18.9 | 30M| 68 | - | 666 |1309 | 666 |1043 | 31 |5941 |4351 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.29/32.30 c 32.3s| 14600 | 3363 |275111 | 18.8 | 30M| 68 | - | 666 |1311 | 0 | 0 | 31 |5974 |4364 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.38/32.44 c 32.4s| 14700 | 3374 |276600 | 18.8 | 30M| 68 | 55 | 666 |1314 | 666 |1043 | 31 |6017 |4366 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.48/32.56 c 32.6s| 14800 | 3387 |277938 | 18.8 | 30M| 68 | - | 666 |1329 | 666 |1043 | 31 |6062 |4368 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.59/32.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.59/32.69 c 32.7s| 14900 | 3392 |279465 | 18.7 | 31M| 68 | 29 | 666 |1350 | 666 |1043 | 31 |6126 |4369 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.78/32.82 c 32.8s| 15000 | 3407 |280818 | 18.7 | 31M| 68 | - | 666 |1344 | 0 | 0 | 31 |6171 |4370 | 6.700000e+01 | 1.270000e+02 | 89.55%
32.89/32.99 c 33.0s| 15100 | 3419 |282797 | 18.7 | 31M| 68 | - | 666 |1315 | 666 |1043 | 31 |6218 |4379 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.08/33.16 c 33.2s| 15200 | 3440 |284786 | 18.7 | 31M| 68 | 41 | 666 |1294 | 666 |1043 | 31 |6248 |4384 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.29/33.30 c 33.3s| 15300 | 3448 |286160 | 18.7 | 31M| 68 | 63 | 666 |1311 | 666 |1043 | 31 |6290 |4389 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.38/33.43 c 33.4s| 15400 | 3458 |287440 | 18.6 | 31M| 68 | - | 666 |1296 | 666 |1043 | 31 |6337 |4394 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.49/33.55 c 33.5s| 15500 | 3470 |288532 | 18.6 | 31M| 68 | 47 | 666 |1312 | 666 |1043 | 31 |6392 |4394 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.58/33.68 c 33.7s| 15600 | 3475 |290058 | 18.6 | 31M| 68 | 34 | 666 |1324 | 666 |1043 | 31 |6428 |4397 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.78/33.81 c 33.8s| 15700 | 3481 |291286 | 18.5 | 31M| 68 | 32 | 666 |1307 | 666 |1043 | 31 |6472 |4408 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.88/33.92 c 33.9s| 15800 | 3490 |292405 | 18.5 | 32M| 68 | 34 | 666 |1336 | 666 |1043 | 31 |6531 |4409 | 6.700000e+01 | 1.270000e+02 | 89.55%
33.98/34.04 c 34.0s| 15900 | 3499 |293732 | 18.5 | 32M| 68 | 36 | 666 |1325 | 666 |1043 | 31 |6567 |4410 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.09/34.16 c 34.2s| 16000 | 3506 |295049 | 18.4 | 32M| 68 | 46 | 666 |1308 | 666 |1043 | 31 |6594 |4413 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.18/34.29 c 34.3s| 16100 | 3511 |296463 | 18.4 | 32M| 68 | 42 | 666 |1316 | 666 |1043 | 31 |6639 |4417 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.38/34.41 c 34.4s| 16200 | 3514 |297592 | 18.3 | 32M| 68 | 27 | 666 |1326 | 666 |1043 | 31 |6684 |4419 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.48/34.54 c 34.5s| 16300 | 3522 |298990 | 18.3 | 32M| 68 | 50 | 666 |1333 | 666 |1043 | 31 |6727 |4423 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.58/34.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.58/34.68 c 34.7s| 16400 | 3540 |300487 | 18.3 | 32M| 68 | 26 | 666 |1314 | 666 |1043 | 31 |6780 |4428 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.78/34.84 c 34.8s| 16500 | 3551 |302267 | 18.3 | 32M| 68 | 37 | 666 |1319 | 666 |1043 | 31 |6837 |4434 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.89/34.98 c 35.0s| 16600 | 3559 |303750 | 18.3 | 32M| 68 | 10 | 666 |1330 | 666 |1043 | 31 |6889 |4436 | 6.700000e+01 | 1.270000e+02 | 89.55%
34.99/35.10 c 35.1s| 16700 | 3570 |305157 | 18.3 | 32M| 68 | 43 | 666 |1334 | 666 |1043 | 31 |6933 |4436 | 6.700000e+01 | 1.270000e+02 | 89.55%
35.19/35.23 c 35.2s| 16800 | 3580 |306632 | 18.2 | 33M| 68 | 38 | 666 |1334 | 666 |1043 | 31 |6969 |4438 | 6.731746e+01 | 1.270000e+02 | 88.66%
35.28/35.35 c 35.4s| 16900 | 3591 |307918 | 18.2 | 33M| 68 | 37 | 666 |1326 | 666 |1043 | 31 |6996 |4443 | 6.731746e+01 | 1.270000e+02 | 88.66%
35.38/35.47 c 35.5s| 17000 | 3605 |309233 | 18.2 | 33M| 68 | 44 | 666 |1323 | 666 |1043 | 31 |7034 |4443 | 6.731746e+01 | 1.270000e+02 | 88.66%
35.58/35.61 c 35.6s| 17100 | 3609 |310750 | 18.2 | 33M| 68 | 46 | 666 |1309 | 666 |1043 | 31 |7076 |4445 | 6.735714e+01 | 1.270000e+02 | 88.55%
35.68/35.75 c 35.7s| 17200 | 3616 |312307 | 18.1 | 33M| 68 | - | 666 |1301 | 0 | 0 | 31 |7121 |4445 | 6.768182e+01 | 1.270000e+02 | 87.64%
35.79/35.89 c 35.9s| 17300 | 3620 |313904 | 18.1 | 33M| 68 | - | 666 |1322 | 0 | 0 | 31 |7183 |4447 | 6.771429e+01 | 1.270000e+02 | 87.55%
35.98/36.02 c 36.0s| 17400 | 3621 |315297 | 18.1 | 33M| 68 | 41 | 666 |1308 | 666 |1043 | 31 |7228 |4448 | 6.783333e+01 | 1.270000e+02 | 87.22%
36.09/36.13 c 36.1s| 17500 | 3634 |316561 | 18.1 | 33M| 68 | - | 666 |1304 | 0 | 0 | 31 |7260 |4448 | 6.783333e+01 | 1.270000e+02 | 87.22%
36.19/36.26 c 36.3s| 17600 | 3637 |317953 | 18.0 | 33M| 68 | - | 666 |1312 | 666 |1043 | 31 |7307 |4448 | 6.783333e+01 | 1.270000e+02 | 87.22%
36.29/36.39 c 36.4s| 17700 | 3641 |319197 | 18.0 | 33M| 68 | - | 666 |1308 | 666 |1043 | 31 |7351 |4458 | 6.800000e+01 | 1.270000e+02 | 86.76%
36.48/36.51 c 36.5s| 17800 | 3648 |320516 | 18.0 | 34M| 68 | 50 | 666 |1319 | 666 |1043 | 31 |7400 |4458 | 6.800000e+01 | 1.270000e+02 | 86.76%
36.58/36.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.58/36.64 c 36.6s| 17900 | 3661 |321895 | 18.0 | 34M| 68 | - | 666 |1312 | 0 | 0 | 31 |7434 |4462 | 6.800000e+01 | 1.270000e+02 | 86.76%
36.68/36.77 c 36.8s| 18000 | 3664 |323256 | 17.9 | 34M| 68 | 26 | 666 |1317 | 666 |1043 | 31 |7482 |4463 | 6.800000e+01 | 1.270000e+02 | 86.76%
36.78/36.88 c 36.9s| 18100 | 3667 |324392 | 17.9 | 34M| 68 | - | 666 |1337 | 666 |1043 | 31 |7531 |4463 | 6.817647e+01 | 1.270000e+02 | 86.28%
36.99/37.03 c 37.0s| 18200 | 3673 |325913 | 17.9 | 34M| 68 | 39 | 666 |1339 | 666 |1043 | 31 |7579 |4465 | 6.825000e+01 | 1.270000e+02 | 86.08%
37.08/37.15 c 37.2s| 18300 | 3675 |327055 | 17.9 | 34M| 68 | 43 | 666 |1341 | 666 |1043 | 31 |7618 |4473 | 6.828571e+01 | 1.270000e+02 | 85.98%
37.18/37.28 c 37.3s| 18400 | 3680 |328389 | 17.8 | 34M| 68 | 35 | 666 |1335 | 666 |1043 | 31 |7657 |4477 | 6.850000e+01 | 1.270000e+02 | 85.40%
37.28/37.39 c 37.4s| 18500 | 3680 |329531 | 17.8 | 34M| 68 | - | 666 |1351 | 666 |1043 | 31 |7704 |4477 | 6.850000e+01 | 1.270000e+02 | 85.40%
37.48/37.52 c 37.5s| 18600 | 3682 |330886 | 17.8 | 34M| 68 | - | 666 |1360 | 0 | 0 | 31 |7753 |4478 | 6.858602e+01 | 1.270000e+02 | 85.17%
37.58/37.62 c 37.6s| 18700 | 3687 |331801 | 17.7 | 34M| 68 | - | 666 |1364 | 0 | 0 | 31 |7790 |4480 | 6.858602e+01 | 1.270000e+02 | 85.17%
37.69/37.76 c 37.8s| 18800 | 3704 |333516 | 17.7 | 34M| 68 | 47 | 666 |1344 | 666 |1043 | 31 |7816 |4480 | 6.866667e+01 | 1.270000e+02 | 84.95%
37.78/37.88 c 37.9s| 18900 | 3711 |334749 | 17.7 | 35M| 68 | 27 | 666 |1343 | 666 |1043 | 31 |7854 |4480 | 6.866667e+01 | 1.270000e+02 | 84.95%
37.88/37.98 c 38.0s| 19000 | 3710 |335748 | 17.7 | 35M| 68 | 37 | 666 |1346 | 666 |1043 | 31 |7898 |4482 | 6.866667e+01 | 1.270000e+02 | 84.95%
38.08/38.11 c 38.1s| 19100 | 3713 |337160 | 17.6 | 35M| 68 | 31 | 666 |1346 | 666 |1043 | 31 |7942 |4482 | 6.866667e+01 | 1.270000e+02 | 84.95%
38.18/38.23 c 38.2s| 19200 | 3722 |338309 | 17.6 | 35M| 68 | 37 | 666 |1352 | 666 |1043 | 31 |7985 |4486 | 6.879054e+01 | 1.270000e+02 | 84.62%
38.28/38.33 c 38.3s| 19300 | 3729 |339428 | 17.6 | 35M| 68 | - | 666 |1343 | 666 |1043 | 31 |8006 |4486 | 6.879775e+01 | 1.270000e+02 | 84.60%
38.39/38.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
38.39/38.47 c 38.5s| 19400 | 3735 |340830 | 17.5 | 35M| 68 | - | 666 |1348 | 666 |1043 | 31 |8061 |4486 | 6.879775e+01 | 1.270000e+02 | 84.60%
38.49/38.58 c 38.6s| 19500 | 3740 |341966 | 17.5 | 35M| 68 | 17 | 666 |1344 | 666 |1043 | 31 |8100 |4488 | 6.887500e+01 | 1.270000e+02 | 84.39%
38.69/38.72 c 38.7s| 19600 | 3753 |343273 | 17.5 | 35M| 68 | 32 | 666 |1346 | 666 |1043 | 31 |8146 |4494 | 6.887500e+01 | 1.270000e+02 | 84.39%
38.79/38.86 c 38.9s| 19700 | 3768 |344953 | 17.5 | 35M| 68 | 37 | 666 |1343 | 666 |1043 | 31 |8181 |4495 | 6.887500e+01 | 1.270000e+02 | 84.39%
38.89/38.97 c 39.0s| 19800 | 3772 |346144 | 17.5 | 35M| 68 | 44 | 666 |1341 | 666 |1043 | 31 |8215 |4495 | 6.887500e+01 | 1.270000e+02 | 84.39%
38.98/39.09 c 39.1s| 19900 | 3781 |347466 | 17.4 | 36M| 68 | 27 | 666 |1354 | 666 |1043 | 31 |8252 |4495 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.18/39.21 c 39.2s| 20000 | 3784 |348782 | 17.4 | 36M| 68 | - | 666 |1336 | 666 |1043 | 31 |8280 |4497 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.29/39.32 c 39.3s| 20100 | 3795 |349954 | 17.4 | 36M| 68 | - | 666 |1333 | 0 | 0 | 31 |8312 |4499 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.38/39.46 c 39.5s| 20200 | 3799 |351142 | 17.4 | 36M| 68 | 33 | 666 |1333 | 666 |1043 | 31 |8364 |4510 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.49/39.59 c 39.6s| 20300 | 3801 |352455 | 17.3 | 36M| 68 | - | 666 |1334 | 666 |1043 | 31 |8396 |4511 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.68/39.70 c 39.7s| 20400 | 3805 |353835 | 17.3 | 36M| 68 | - | 666 |1342 | 0 | 0 | 31 |8433 |4511 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.79/39.83 c 39.8s| 20500 | 3817 |355184 | 17.3 | 36M| 68 | 50 | 666 |1354 | 666 |1043 | 31 |8470 |4516 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.88/39.94 c 39.9s| 20600 | 3817 |356292 | 17.3 | 36M| 68 | - | 666 |1339 | 0 | 0 | 31 |8513 |4516 | 6.887500e+01 | 1.270000e+02 | 84.39%
39.98/40.07 c 40.1s| 20700 | 3824 |357560 | 17.3 | 36M| 68 | 30 | 666 |1343 | 666 |1043 | 31 |8565 |4518 | 6.887500e+01 | 1.270000e+02 | 84.39%
40.08/40.17 c 40.2s| 20800 | 3821 |358714 | 17.2 | 36M| 68 | 50 | 666 |1352 | 666 |1043 | 31 |8602 |4518 | 6.887500e+01 | 1.270000e+02 | 84.39%
40.28/40.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
40.28/40.30 c 40.3s| 20900 | 3822 |359921 | 17.2 | 36M| 68 | 33 | 666 |1352 | 666 |1043 | 31 |8652 |4519 | 6.895652e+01 | 1.270000e+02 | 84.17%
40.38/40.43 c 40.4s| 21000 | 3834 |361422 | 17.2 | 36M| 68 | 37 | 666 |1343 | 666 |1043 | 31 |8686 |4519 | 6.900000e+01 | 1.270000e+02 | 84.06%
40.48/40.54 c 40.5s| 21100 | 3837 |362526 | 17.2 | 36M| 68 | 34 | 666 |1351 | 666 |1043 | 31 |8736 |4520 | 6.900000e+01 | 1.270000e+02 | 84.06%
40.59/40.66 c 40.7s| 21200 | 3835 |363837 | 17.1 | 36M| 68 | - | 666 |1345 | 0 | 0 | 31 |8774 |4520 | 6.900000e+01 | 1.270000e+02 | 84.06%
40.69/40.78 c 40.8s| 21300 | 3840 |365017 | 17.1 | 37M| 68 | - | 666 |1339 | 0 | 0 | 31 |8814 |4520 | 6.900000e+01 | 1.270000e+02 | 84.06%
40.88/40.92 c 40.9s| 21400 | 3840 |366444 | 17.1 | 37M| 68 | 35 | 666 |1341 | 666 |1043 | 31 |8861 |4525 | 6.906897e+01 | 1.270000e+02 | 83.87%
40.98/41.04 c 41.0s| 21500 | 3842 |367471 | 17.1 | 37M| 68 | 45 | 666 |1362 | 666 |1043 | 31 |8926 |4526 | 6.914286e+01 | 1.270000e+02 | 83.68%
41.08/41.16 c 41.2s| 21600 | 3846 |368763 | 17.1 | 37M| 68 | 37 | 666 |1372 | 666 |1043 | 31 |8973 |4528 | 6.914286e+01 | 1.270000e+02 | 83.68%
41.18/41.28 c 41.3s| 21700 | 3845 |370042 | 17.0 | 37M| 68 | 29 | 666 |1358 | 666 |1043 | 31 |9021 |4528 | 6.914286e+01 | 1.270000e+02 | 83.68%
41.29/41.38 c 41.4s| 21800 | 3844 |370972 | 17.0 | 37M| 68 | 37 | 666 |1347 | 666 |1043 | 31 |9064 |4528 | 6.914286e+01 | 1.270000e+02 | 83.68%
41.48/41.50 c 41.5s| 21900 | 3851 |372107 | 17.0 | 37M| 68 | - | 666 |1353 | 0 | 0 | 31 |9112 |4528 | 6.914286e+01 | 1.270000e+02 | 83.68%
41.58/41.61 c 41.6s| 22000 | 3857 |373137 | 16.9 | 37M| 68 | - | 666 |1358 | 0 | 0 | 31 |9154 |4528 | 6.922222e+01 | 1.270000e+02 | 83.47%
41.69/41.74 c 41.7s| 22100 | 3863 |374563 | 16.9 | 37M| 68 | 25 | 666 |1357 | 666 |1043 | 31 |9201 |4528 | 6.944898e+01 | 1.270000e+02 | 82.87%
41.79/41.87 c 41.9s| 22200 | 3872 |375888 | 16.9 | 37M| 68 | - | 666 |1348 | 0 | 0 | 31 |9250 |4530 | 6.950000e+01 | 1.270000e+02 | 82.73%
41.88/41.98 c 42.0s| 22300 | 3872 |377107 | 16.9 | 37M| 68 | - | 666 |1344 | 0 | 0 | 31 |9281 |4534 | 6.950000e+01 | 1.270000e+02 | 82.73%
42.08/42.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.08/42.10 c 42.1s| 22400 | 3880 |378333 | 16.9 | 37M| 68 | 40 | 666 |1331 | 666 |1043 | 31 |9315 |4535 | 6.950000e+01 | 1.270000e+02 | 82.73%
42.18/42.21 c 42.2s| 22500 | 3882 |379508 | 16.9 | 37M| 68 | - | 666 |1337 | 0 | 0 | 31 |9363 |4536 | 6.950000e+01 | 1.270000e+02 | 82.73%
42.28/42.32 c 42.3s| 22600 | 3885 |380546 | 16.8 | 38M| 68 | 55 | 666 |1342 | 666 |1043 | 31 |9404 |4539 | 6.958929e+01 | 1.270000e+02 | 82.50%
42.38/42.44 c 42.4s| 22700 | 3889 |381660 | 16.8 | 38M| 68 | 41 | 666 |1337 | 666 |1043 | 31 |9446 |4541 | 6.958929e+01 | 1.270000e+02 | 82.50%
42.48/42.54 c 42.5s| 22800 | 3893 |382738 | 16.8 | 38M| 68 | 26 | 666 |1340 | 666 |1043 | 31 |9485 |4541 | 6.958929e+01 | 1.270000e+02 | 82.50%
42.58/42.66 c 42.7s| 22900 | 3899 |383961 | 16.8 | 38M| 68 | 45 | 666 |1381 | 666 |1043 | 31 |9549 |4541 | 6.967857e+01 | 1.270000e+02 | 82.27%
42.68/42.78 c 42.8s| 23000 | 3901 |385134 | 16.7 | 38M| 68 | 23 | 666 |1373 | 666 |1043 | 31 |9590 |4543 | 6.967857e+01 | 1.270000e+02 | 82.27%
42.78/42.89 c 42.9s| 23100 | 3908 |386324 | 16.7 | 38M| 68 | 40 | 666 |1371 | 666 |1043 | 31 |9630 |4544 | 6.972727e+01 | 1.270000e+02 | 82.14%
42.98/43.01 c 43.0s| 23200 | 3913 |387486 | 16.7 | 38M| 68 | 26 | 666 |1345 | 666 |1043 | 31 |9669 |4544 | 7.006818e+01 | 1.270000e+02 | 81.25%
43.08/43.12 c 43.1s| 23300 | 3920 |388528 | 16.7 | 38M| 68 | - | 666 |1342 | 0 | 0 | 31 |9713 |4546 | 7.007398e+01 | 1.270000e+02 | 81.24%
43.18/43.23 c 43.2s| 23400 | 3919 |389591 | 16.6 | 38M| 68 | 38 | 666 |1336 | 666 |1043 | 31 |9758 |4547 | 7.009038e+01 | 1.270000e+02 | 81.19%
43.28/43.35 c 43.4s| 23500 | 3925 |390747 | 16.6 | 38M| 68 | 32 | 666 |1316 | 666 |1043 | 31 |9796 |4549 | 7.009038e+01 | 1.270000e+02 | 81.19%
43.38/43.47 c 43.5s| 23600 | 3931 |391880 | 16.6 | 38M| 68 | 48 | 666 |1326 | 666 |1043 | 31 |9841 |4550 | 7.009038e+01 | 1.270000e+02 | 81.19%
43.48/43.59 c 43.6s| 23700 | 3940 |393207 | 16.6 | 38M| 68 | - | 666 |1330 | 666 |1043 | 31 |9884 |4550 | 7.021429e+01 | 1.270000e+02 | 80.87%
43.68/43.71 c 43.7s| 23800 | 3945 |394475 | 16.6 | 38M| 68 | 36 | 666 |1324 | 666 |1043 | 31 |9912 |4550 | 7.033333e+01 | 1.270000e+02 | 80.57%
43.78/43.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
43.78/43.82 c 43.8s| 23900 | 3952 |395516 | 16.5 | 38M| 68 | 47 | 666 |1315 | 666 |1043 | 31 |9952 |4550 | 7.054167e+01 | 1.270000e+02 | 80.04%
43.89/43.93 c 43.9s| 24000 | 3954 |396628 | 16.5 | 38M| 68 | 25 | 666 |1323 | 666 |1043 | 31 |9989 |4550 | 7.059551e+01 | 1.270000e+02 | 79.90%
43.98/44.04 c 44.0s| 24100 | 3953 |397781 | 16.5 | 39M| 68 | - | 666 |1327 | 0 | 0 | 31 | 10k|4552 | 7.093382e+01 | 1.270000e+02 | 79.04%
44.09/44.15 c 44.2s| 24200 | 3961 |398892 | 16.5 | 39M| 68 | 28 | 666 |1326 | 666 |1043 | 31 | 10k|4552 | 7.095833e+01 | 1.270000e+02 | 78.98%
44.18/44.27 c 44.3s| 24300 | 3956 |400219 | 16.5 | 39M| 68 | - | 666 |1313 | 0 | 0 | 31 | 10k|4552 | 7.101786e+01 | 1.270000e+02 | 78.83%
44.28/44.39 c 44.4s| 24400 | 3950 |401398 | 16.4 | 39M| 68 | - | 666 |1302 | 666 |1043 | 31 | 10k|4554 | 7.129054e+01 | 1.270000e+02 | 78.14%
44.38/44.49 c 44.5s| 24500 | 3954 |402484 | 16.4 | 39M| 68 | 25 | 666 |1302 | 666 |1043 | 31 | 10k|4555 | 7.129054e+01 | 1.270000e+02 | 78.14%
44.58/44.61 c 44.6s| 24600 | 3958 |403694 | 16.4 | 39M| 68 | - | 666 |1318 | 0 | 0 | 31 | 10k|4557 | 7.137500e+01 | 1.270000e+02 | 77.93%
44.68/44.72 c 44.7s| 24700 | 3960 |404823 | 16.4 | 39M| 68 | 17 | 666 |1330 | 666 |1043 | 31 | 10k|4557 | 7.148718e+01 | 1.270000e+02 | 77.65%
44.78/44.84 c 44.8s| 24800 | 3966 |406111 | 16.4 | 39M| 68 | - | 666 |1324 | 0 | 0 | 31 | 10k|4558 | 7.159184e+01 | 1.270000e+02 | 77.39%
44.88/44.96 c 45.0s| 24900 | 3968 |407452 | 16.3 | 39M| 68 | - | 666 |1321 | 666 |1043 | 31 | 10k|4558 | 7.171726e+01 | 1.270000e+02 | 77.08%
44.99/45.06 c 45.1s| 25000 | 3967 |408449 | 16.3 | 39M| 68 | - | 666 |1326 | 666 |1043 | 31 | 10k|4558 | 7.173214e+01 | 1.270000e+02 | 77.05%
45.09/45.19 c 45.2s| 25100 | 3968 |409639 | 16.3 | 39M| 68 | - | 666 |1329 | 0 | 0 | 31 | 10k|4563 | 7.177612e+01 | 1.270000e+02 | 76.94%
45.28/45.30 c 45.3s| 25200 | 3969 |410536 | 16.3 | 39M| 68 | 18 | 666 |1333 | 666 |1043 | 31 | 10k|4569 | 7.191758e+01 | 1.270000e+02 | 76.59%
45.38/45.42 c 45.4s| 25300 | 3972 |411906 | 16.3 | 39M| 68 | 36 | 666 |1335 | 666 |1043 | 31 | 10k|4569 | 7.194966e+01 | 1.270000e+02 | 76.51%
45.48/45.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.48/45.52 c 45.5s| 25400 | 3975 |412935 | 16.2 | 39M| 68 | 20 | 666 |1338 | 666 |1043 | 31 | 10k|4569 | 7.200000e+01 | 1.270000e+02 | 76.39%
45.58/45.63 c 45.6s| 25500 | 3981 |414142 | 16.2 | 39M| 68 | 33 | 666 |1368 | 666 |1043 | 31 | 10k|4570 | 7.200000e+01 | 1.270000e+02 | 76.39%
45.68/45.74 c 45.7s| 25600 | 3982 |415280 | 16.2 | 39M| 68 | 25 | 666 |1358 | 666 |1043 | 31 | 10k|4570 | 7.200000e+01 | 1.270000e+02 | 76.39%
45.78/45.86 c 45.9s| 25700 | 3983 |416504 | 16.2 | 40M| 68 | 37 | 666 |1359 | 666 |1043 | 31 | 10k|4572 | 7.200000e+01 | 1.270000e+02 | 76.39%
45.88/45.98 c 46.0s| 25800 | 3989 |417833 | 16.2 | 40M| 68 | 36 | 666 |1364 | 666 |1043 | 31 | 10k|4572 | 7.200000e+01 | 1.270000e+02 | 76.39%
45.98/46.08 c 46.1s| 25900 | 3991 |418905 | 16.2 | 40M| 68 | 44 | 666 |1365 | 666 |1043 | 31 | 10k|4572 | 7.200000e+01 | 1.270000e+02 | 76.39%
46.08/46.19 c 46.2s| 26000 | 3993 |420019 | 16.1 | 40M| 68 | - | 666 |1385 | 666 |1043 | 31 | 10k|4573 | 7.200000e+01 | 1.270000e+02 | 76.39%
46.28/46.30 c 46.3s| 26100 | 3994 |420975 | 16.1 | 40M| 68 | - | 666 |1376 | 0 | 0 | 31 | 10k|4573 | 7.200000e+01 | 1.270000e+02 | 76.39%
46.38/46.43 c 46.4s| 26200 | 3998 |422370 | 16.1 | 40M| 68 | - | 666 |1373 | 0 | 0 | 31 | 10k|4573 | 7.214286e+01 | 1.270000e+02 | 76.04%
46.48/46.54 c 46.5s| 26300 | 3998 |423333 | 16.1 | 40M| 68 | - | 666 |1370 | 0 | 0 | 31 | 10k|4574 | 7.221173e+01 | 1.270000e+02 | 75.87%
46.58/46.66 c 46.7s| 26400 | 3997 |424713 | 16.1 | 40M| 68 | - | 666 |1376 | 666 |1043 | 31 | 11k|4574 | 7.230612e+01 | 1.270000e+02 | 75.64%
46.68/46.76 c 46.8s| 26500 | 4002 |425822 | 16.1 | 40M| 68 | - | 666 |1378 | 0 | 0 | 31 | 11k|4574 | 7.230612e+01 | 1.270000e+02 | 75.64%
46.78/46.87 c 46.9s| 26600 | 4000 |426799 | 16.0 | 40M| 68 | - | 666 |1373 | 0 | 0 | 31 | 11k|4574 | 7.230612e+01 | 1.270000e+02 | 75.64%
46.88/46.99 c 47.0s| 26700 | 4012 |428130 | 16.0 | 40M| 68 | - | 666 |1365 | 0 | 0 | 31 | 11k|4575 | 7.247619e+01 | 1.270000e+02 | 75.23%
47.08/47.11 c 47.1s| 26800 | 4019 |429302 | 16.0 | 40M| 68 | 16 | 666 |1366 | 666 |1043 | 31 | 11k|4577 | 7.252221e+01 | 1.270000e+02 | 75.12%
47.08/47.11 o 122
47.08/47.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
47.08/47.11 c *47.1s| 26804 | 3686 |429323 | 16.0 | 38M| 68 | - | 666 |1367 | 666 |1043 | 31 | 11k|4577 | 7.252221e+01 | 1.220000e+02 | 68.22%
47.18/47.21 c 47.2s| 26900 | 3680 |430237 | 16.0 | 38M| 68 | - | 666 |1346 | 666 |1043 | 31 | 11k|4577 | 7.270175e+01 | 1.220000e+02 | 67.81%
47.29/47.34 c 47.3s| 27000 | 3682 |431439 | 16.0 | 38M| 68 | 44 | 666 |1366 | 666 |1043 | 31 | 11k|4583 | 7.270175e+01 | 1.220000e+02 | 67.81%
47.38/47.48 c 47.5s| 27100 | 3683 |432716 | 16.0 | 38M| 68 | - | 666 |1366 | 666 |1043 | 31 | 11k|4590 | 7.270175e+01 | 1.220000e+02 | 67.81%
47.58/47.67 c 47.7s| 27200 | 3678 |435241 | 16.0 | 38M| 68 | - | 666 |1358 | 0 | 0 | 31 | 11k|4592 | 7.300000e+01 | 1.220000e+02 | 67.12%
47.68/47.77 c 47.8s| 27300 | 3679 |436262 | 16.0 | 38M| 68 | 41 | 666 |1369 | 666 |1043 | 31 | 11k|4593 | 7.312245e+01 | 1.220000e+02 | 66.84%
47.78/47.89 c 47.9s| 27400 | 3677 |437474 | 16.0 | 38M| 68 | - | 666 |1364 | 0 | 0 | 31 | 11k|4594 | 7.312245e+01 | 1.220000e+02 | 66.84%
47.98/48.04 c 48.0s| 27500 | 3677 |438522 | 15.9 | 38M| 68 | 47 | 666 |1350 | 666 |1043 | 31 | 11k|4595 | 7.312245e+01 | 1.220000e+02 | 66.84%
48.08/48.14 c 48.1s| 27600 | 3669 |439466 | 15.9 | 38M| 68 | 41 | 666 |1346 | 666 |1043 | 31 | 11k|4596 | 7.313636e+01 | 1.220000e+02 | 66.81%
48.18/48.26 c 48.3s| 27700 | 3662 |440586 | 15.9 | 38M| 68 | 43 | 666 |1343 | 666 |1043 | 31 | 11k|4596 | 7.323810e+01 | 1.220000e+02 | 66.58%
48.28/48.36 c 48.4s| 27800 | 3662 |441608 | 15.9 | 38M| 68 | 24 | 666 |1340 | 666 |1043 | 31 | 11k|4596 | 7.323810e+01 | 1.220000e+02 | 66.58%
48.38/48.48 c 48.5s| 27900 | 3655 |442827 | 15.9 | 38M| 68 | 34 | 666 |1349 | 666 |1043 | 31 | 11k|4598 | 7.342857e+01 | 1.220000e+02 | 66.15%
48.58/48.61 c 48.6s| 28000 | 3649 |444038 | 15.8 | 38M| 68 | 46 | 666 |1335 | 666 |1043 | 31 | 11k|4599 | 7.346154e+01 | 1.220000e+02 | 66.07%
48.68/48.72 c 48.7s| 28100 | 3651 |445183 | 15.8 | 38M| 68 | - | 666 |1334 | 0 | 0 | 31 | 11k|4600 | 7.366667e+01 | 1.220000e+02 | 65.61%
48.78/48.83 c 48.8s| 28200 | 3650 |446217 | 15.8 | 38M| 68 | 50 | 666 |1342 | 666 |1043 | 31 | 11k|4601 | 7.366667e+01 | 1.220000e+02 | 65.61%
48.88/48.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.88/48.98 c 49.0s| 28300 | 3647 |447287 | 15.8 | 38M| 68 | - | 666 |1337 | 0 | 0 | 31 | 11k|4602 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.08/49.10 c 49.1s| 28400 | 3656 |448549 | 15.8 | 38M| 68 | 30 | 666 |1324 | 666 |1043 | 31 | 11k|4603 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.18/49.22 c 49.2s| 28500 | 3648 |449702 | 15.8 | 38M| 68 | 17 | 666 |1331 | 666 |1043 | 31 | 11k|4604 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.28/49.33 c 49.3s| 28600 | 3644 |450798 | 15.7 | 38M| 68 | 45 | 666 |1342 | 666 |1043 | 31 | 11k|4606 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.39/49.44 c 49.4s| 28700 | 3639 |451899 | 15.7 | 38M| 68 | - | 666 |1353 | 0 | 0 | 31 | 12k|4606 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.49/49.55 c 49.6s| 28800 | 3630 |453046 | 15.7 | 38M| 68 | - | 666 |1354 | 666 |1043 | 31 | 12k|4606 | 7.366667e+01 | 1.220000e+02 | 65.61%
49.58/49.67 c 49.7s| 28900 | 3618 |454110 | 15.7 | 38M| 68 | - | 666 |1359 | 666 |1043 | 31 | 12k|4606 | 7.387500e+01 | 1.220000e+02 | 65.14%
49.68/49.78 c 49.8s| 29000 | 3624 |455208 | 15.7 | 38M| 68 | 43 | 666 |1352 | 666 |1043 | 31 | 12k|4610 | 7.400000e+01 | 1.220000e+02 | 64.86%
49.78/49.89 c 49.9s| 29100 | 3615 |456119 | 15.7 | 38M| 68 | 40 | 666 |1346 | 666 |1043 | 31 | 12k|4612 | 7.402381e+01 | 1.220000e+02 | 64.81%
49.98/50.00 c 50.0s| 29200 | 3611 |457217 | 15.6 | 38M| 68 | - | 666 |1337 | 666 |1043 | 31 | 12k|4614 | 7.404348e+01 | 1.220000e+02 | 64.77%
50.08/50.12 c 50.1s| 29300 | 3607 |458253 | 15.6 | 38M| 68 | 47 | 666 |1355 | 666 |1043 | 31 | 12k|4615 | 7.404348e+01 | 1.220000e+02 | 64.77%
50.18/50.26 c 50.3s| 29400 | 3605 |459785 | 15.6 | 38M| 68 | 62 | 666 |1340 | 666 |1043 | 31 | 12k|4616 | 7.404348e+01 | 1.220000e+02 | 64.77%
50.28/50.38 c 50.4s| 29500 | 3602 |461112 | 15.6 | 38M| 68 | 47 | 666 |1336 | 666 |1043 | 31 | 12k|4617 | 7.408333e+01 | 1.220000e+02 | 64.68%
50.48/50.50 c 50.5s| 29600 | 3597 |462240 | 15.6 | 39M| 68 | 54 | 666 |1331 | 666 |1043 | 31 | 12k|4621 | 7.414286e+01 | 1.220000e+02 | 64.55%
50.58/50.61 c 50.6s| 29700 | 3596 |463347 | 15.6 | 38M| 68 | 22 | 666 |1338 | 666 |1043 | 31 | 12k|4621 | 7.414286e+01 | 1.220000e+02 | 64.55%
50.68/50.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.68/50.71 c 50.7s| 29800 | 3588 |464190 | 15.6 | 39M| 68 | - | 666 |1356 | 666 |1043 | 31 | 12k|4623 | 7.414286e+01 | 1.220000e+02 | 64.55%
50.78/50.86 c 50.9s| 29900 | 3589 |465245 | 15.5 | 39M| 68 | 32 | 666 |1351 | 666 |1043 | 31 | 12k|4623 | 7.414286e+01 | 1.220000e+02 | 64.55%
50.88/50.98 c 51.0s| 30000 | 3594 |466291 | 15.5 | 39M| 68 | 47 | 666 |1358 | 666 |1043 | 31 | 12k|4623 | 7.414286e+01 | 1.220000e+02 | 64.55%
50.98/51.08 c 51.1s| 30100 | 3584 |467232 | 15.5 | 39M| 68 | 29 | 666 |1346 | 666 |1043 | 31 | 12k|4623 | 7.414286e+01 | 1.220000e+02 | 64.55%
51.08/51.19 c 51.2s| 30200 | 3577 |468239 | 15.5 | 39M| 68 | 23 | 666 |1341 | 666 |1043 | 31 | 12k|4623 | 7.414286e+01 | 1.220000e+02 | 64.55%
51.18/51.28 c 51.3s| 30300 | 3571 |469075 | 15.5 | 39M| 68 | 45 | 666 |1350 | 666 |1043 | 31 | 12k|4623 | 7.427891e+01 | 1.220000e+02 | 64.25%
51.28/51.39 c 51.4s| 30400 | 3563 |470035 | 15.4 | 39M| 68 | - | 666 |1358 | 0 | 0 | 31 | 12k|4624 | 7.432143e+01 | 1.220000e+02 | 64.15%
51.48/51.51 c 51.5s| 30500 | 3562 |471144 | 15.4 | 39M| 68 | 41 | 666 |1343 | 666 |1043 | 31 | 12k|4629 | 7.438095e+01 | 1.220000e+02 | 64.02%
51.58/51.63 c 51.6s| 30600 | 3557 |472282 | 15.4 | 39M| 68 | - | 666 |1338 | 0 | 0 | 31 | 12k|4634 | 7.444898e+01 | 1.220000e+02 | 63.87%
51.68/51.74 c 51.7s| 30700 | 3546 |473217 | 15.4 | 39M| 68 | - | 666 |1340 | 666 |1043 | 31 | 12k|4636 | 7.450000e+01 | 1.220000e+02 | 63.76%
51.78/51.86 c 51.9s| 30800 | 3542 |474400 | 15.4 | 39M| 68 | - | 666 |1355 | 0 | 0 | 31 | 12k|4640 | 7.450000e+01 | 1.220000e+02 | 63.76%
51.88/51.97 c 52.0s| 30900 | 3532 |475284 | 15.4 | 39M| 68 | - | 666 |1356 | 0 | 0 | 31 | 13k|4640 | 7.450000e+01 | 1.220000e+02 | 63.76%
51.98/52.07 c 52.1s| 31000 | 3528 |476271 | 15.4 | 39M| 68 | - | 666 |1352 | 0 | 0 | 31 | 13k|4640 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.08/52.18 c 52.2s| 31100 | 3530 |477274 | 15.3 | 39M| 68 | - | 666 |1359 | 666 |1043 | 31 | 13k|4640 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.18/52.28 c 52.3s| 31200 | 3529 |478087 | 15.3 | 39M| 68 | 42 | 666 |1366 | 666 |1043 | 31 | 13k|4640 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.28/52.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.28/52.39 c 52.4s| 31300 | 3520 |479042 | 15.3 | 39M| 68 | 26 | 666 |1380 | 666 |1043 | 31 | 13k|4641 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.48/52.50 c 52.5s| 31400 | 3504 |479867 | 15.3 | 39M| 68 | 33 | 666 |1377 | 666 |1043 | 31 | 13k|4642 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.58/52.61 c 52.6s| 31500 | 3500 |480863 | 15.3 | 39M| 68 | 38 | 666 |1377 | 666 |1043 | 31 | 13k|4643 | 7.450000e+01 | 1.220000e+02 | 63.76%
52.69/52.74 c 52.7s| 31600 | 3506 |482331 | 15.3 | 39M| 68 | 44 | 666 |1354 | 666 |1043 | 31 | 13k|4644 | 7.463889e+01 | 1.220000e+02 | 63.45%
52.79/52.84 c 52.8s| 31700 | 3500 |483316 | 15.2 | 39M| 68 | 51 | 666 |1354 | 666 |1043 | 31 | 13k|4644 | 7.481188e+01 | 1.220000e+02 | 63.08%
52.88/52.95 c 53.0s| 31800 | 3501 |484330 | 15.2 | 39M| 68 | 63 | 666 |1346 | 666 |1043 | 31 | 13k|4644 | 7.491630e+01 | 1.220000e+02 | 62.85%
52.98/53.06 c 53.1s| 31900 | 3493 |485233 | 15.2 | 39M| 68 | 32 | 666 |1330 | 666 |1043 | 31 | 13k|4647 | 7.500000e+01 | 1.220000e+02 | 62.67%
53.08/53.16 c 53.2s| 32000 | 3482 |485940 | 15.2 | 39M| 68 | - | 666 |1342 | 0 | 0 | 31 | 13k|4648 | 7.504082e+01 | 1.220000e+02 | 62.58%
53.18/53.26 c 53.3s| 32100 | 3477 |486917 | 15.2 | 39M| 68 | 23 | 666 |1337 | 666 |1043 | 31 | 13k|4652 | 7.514103e+01 | 1.220000e+02 | 62.36%
53.28/53.37 c 53.4s| 32200 | 3464 |487795 | 15.1 | 39M| 68 | 54 | 666 |1336 | 666 |1043 | 31 | 13k|4652 | 7.521429e+01 | 1.220000e+02 | 62.20%
53.38/53.47 c 53.5s| 32300 | 3455 |488694 | 15.1 | 39M| 68 | - | 666 |1334 | 666 |1043 | 31 | 13k|4652 | 7.529082e+01 | 1.220000e+02 | 62.04%
53.48/53.59 c 53.6s| 32400 | 3448 |489818 | 15.1 | 39M| 68 | 31 | 666 |1332 | 666 |1043 | 31 | 13k|4656 | 7.533333e+01 | 1.220000e+02 | 61.95%
53.68/53.70 c 53.7s| 32500 | 3440 |490839 | 15.1 | 39M| 68 | - | 666 |1334 | 666 |1043 | 31 | 13k|4656 | 7.557143e+01 | 1.220000e+02 | 61.44%
53.68/53.80 c 53.8s| 32600 | 3432 |491658 | 15.1 | 39M| 68 | - | 666 |1319 | 666 |1043 | 31 | 13k|4656 | 7.557143e+01 | 1.220000e+02 | 61.44%
53.78/53.90 c 53.9s| 32700 | 3425 |492586 | 15.1 | 39M| 68 | - | 666 |1321 | 666 |1043 | 31 | 13k|4656 | 7.557143e+01 | 1.220000e+02 | 61.44%
53.98/54.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.98/54.02 c 54.0s| 32800 | 3417 |493783 | 15.0 | 38M| 68 | - | 666 |1333 | 666 |1043 | 31 | 13k|4658 | 7.557143e+01 | 1.220000e+02 | 61.44%
54.08/54.13 c 54.1s| 32900 | 3413 |494774 | 15.0 | 39M| 68 | - | 666 |1350 | 0 | 0 | 31 | 13k|4659 | 7.557143e+01 | 1.220000e+02 | 61.44%
54.18/54.24 c 54.2s| 33000 | 3407 |495851 | 15.0 | 38M| 68 | 34 | 666 |1352 | 666 |1043 | 31 | 13k|4659 | 7.566029e+01 | 1.220000e+02 | 61.25%
54.28/54.39 c 54.4s| 33100 | 3406 |497030 | 15.0 | 38M| 68 | 43 | 666 |1335 | 666 |1043 | 31 | 13k|4660 | 7.575000e+01 | 1.220000e+02 | 61.06%
54.48/54.51 c 54.5s| 33200 | 3396 |498133 | 15.0 | 38M| 68 | 42 | 666 |1341 | 666 |1043 | 31 | 14k|4661 | 7.575000e+01 | 1.220000e+02 | 61.06%
54.58/54.60 c 54.6s| 33300 | 3383 |498926 | 15.0 | 38M| 68 | 40 | 666 |1349 | 666 |1043 | 31 | 14k|4661 | 7.592324e+01 | 1.220000e+02 | 60.69%
54.68/54.74 c 54.7s| 33400 | 3369 |500086 | 15.0 | 38M| 68 | - | 666 |1352 | 666 |1043 | 31 | 14k|4664 | 7.597436e+01 | 1.220000e+02 | 60.58%
54.78/54.85 c 54.8s| 33500 | 3365 |501120 | 14.9 | 38M| 68 | 28 | 666 |1351 | 666 |1043 | 31 | 14k|4664 | 7.597436e+01 | 1.220000e+02 | 60.58%
54.88/54.95 c 55.0s| 33600 | 3363 |502097 | 14.9 | 38M| 68 | - | 666 |1358 | 666 |1043 | 31 | 14k|4665 | 7.597436e+01 | 1.220000e+02 | 60.58%
54.99/55.05 c 55.1s| 33700 | 3358 |502978 | 14.9 | 38M| 68 | 32 | 666 |1342 | 666 |1043 | 31 | 14k|4665 | 7.597436e+01 | 1.220000e+02 | 60.58%
55.08/55.17 c 55.2s| 33800 | 3351 |504182 | 14.9 | 38M| 68 | 30 | 666 |1345 | 666 |1043 | 31 | 14k|4666 | 7.598438e+01 | 1.220000e+02 | 60.56%
55.28/55.33 c 55.3s| 33900 | 3353 |505736 | 14.9 | 38M| 68 | 33 | 666 |1344 | 666 |1043 | 31 | 14k|4685 | 7.603274e+01 | 1.220000e+02 | 60.46%
55.38/55.47 c 55.5s| 34000 | 3346 |506926 | 14.9 | 38M| 68 | - | 666 |1345 | 666 |1043 | 31 | 14k|4695 | 7.616667e+01 | 1.220000e+02 | 60.18%
55.58/55.61 c 55.6s| 34100 | 3333 |507936 | 14.9 | 38M| 68 | - | 666 |1349 | 666 |1043 | 31 | 14k|4719 | 7.616667e+01 | 1.220000e+02 | 60.18%
55.68/55.72 c 55.7s| 34200 | 3329 |508818 | 14.9 | 38M| 68 | 23 | 666 |1354 | 666 |1043 | 31 | 14k|4726 | 7.618367e+01 | 1.220000e+02 | 60.14%
55.78/55.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.78/55.85 c 55.8s| 34300 | 3317 |509926 | 14.9 | 38M| 68 | - | 666 |1344 | 0 | 0 | 31 | 14k|4736 | 7.618367e+01 | 1.220000e+02 | 60.14%
55.88/55.99 c 56.0s| 34400 | 3299 |511076 | 14.8 | 38M| 68 | - | 666 |1337 | 0 | 0 | 31 | 14k|4753 | 7.630556e+01 | 1.220000e+02 | 59.88%
56.08/56.12 c 56.1s| 34500 | 3285 |512114 | 14.8 | 38M| 68 | 18 | 666 |1333 | 666 |1043 | 31 | 14k|4769 | 7.645513e+01 | 1.220000e+02 | 59.57%
56.17/56.24 c 56.2s| 34600 | 3274 |513068 | 14.8 | 38M| 68 | - | 666 |1341 | 0 | 0 | 31 | 14k|4780 | 7.649475e+01 | 1.220000e+02 | 59.49%
56.28/56.37 c 56.4s| 34700 | 3261 |514089 | 14.8 | 38M| 68 | - | 666 |1331 | 0 | 0 | 31 | 14k|4798 | 7.654082e+01 | 1.220000e+02 | 59.39%
56.48/56.51 c 56.5s| 34800 | 3253 |515124 | 14.8 | 38M| 68 | 36 | 666 |1335 | 666 |1043 | 31 | 14k|4811 | 7.655128e+01 | 1.220000e+02 | 59.37%
56.58/56.62 c 56.6s| 34900 | 3238 |516057 | 14.8 | 38M| 68 | 43 | 666 |1328 | 666 |1043 | 31 | 14k|4815 | 7.698262e+01 | 1.220000e+02 | 58.48%
56.68/56.75 c 56.7s| 35000 | 3224 |517131 | 14.8 | 38M| 68 | - | 666 |1339 | 666 |1043 | 31 | 14k|4825 | 7.698262e+01 | 1.220000e+02 | 58.48%
56.78/56.89 c 56.9s| 35100 | 3223 |518447 | 14.8 | 38M| 68 | - | 666 |1342 | 666 |1043 | 31 | 14k|4841 | 7.700000e+01 | 1.220000e+02 | 58.44%
56.98/57.03 c 57.0s| 35200 | 3223 |519715 | 14.8 | 38M| 68 | - | 666 |1337 | 0 | 0 | 31 | 14k|4855 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.08/57.17 c 57.2s| 35300 | 3210 |520794 | 14.7 | 38M| 68 | 29 | 666 |1348 | 666 |1043 | 31 | 15k|4872 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.28/57.30 c 57.3s| 35400 | 3209 |522104 | 14.7 | 38M| 68 | - | 666 |1351 | 666 |1043 | 31 | 15k|4882 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.38/57.44 c 57.4s| 35500 | 3203 |523132 | 14.7 | 38M| 68 | 40 | 666 |1363 | 666 |1043 | 31 | 15k|4901 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.48/57.58 c 57.6s| 35600 | 3192 |524364 | 14.7 | 38M| 68 | 45 | 666 |1368 | 666 |1043 | 31 | 15k|4914 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.68/57.71 c 57.7s| 35700 | 3184 |525403 | 14.7 | 38M| 68 | 41 | 666 |1367 | 666 |1043 | 31 | 15k|4921 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.78/57.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
57.78/57.84 c 57.8s| 35800 | 3171 |526665 | 14.7 | 38M| 68 | 41 | 666 |1367 | 666 |1043 | 31 | 15k|4931 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.88/57.97 c 58.0s| 35900 | 3171 |527704 | 14.7 | 38M| 68 | 32 | 666 |1382 | 666 |1043 | 31 | 15k|4942 | 7.700000e+01 | 1.220000e+02 | 58.44%
57.98/58.09 c 58.1s| 36000 | 3169 |528779 | 14.7 | 38M| 68 | 42 | 666 |1400 | 666 |1043 | 31 | 15k|4952 | 7.720115e+01 | 1.220000e+02 | 58.03%
58.19/58.21 c 58.2s| 36100 | 3157 |529711 | 14.7 | 38M| 68 | - | 666 |1387 | 666 |1043 | 31 | 15k|4962 | 7.720115e+01 | 1.220000e+02 | 58.03%
58.28/58.36 c 58.4s| 36200 | 3136 |531060 | 14.7 | 37M| 68 | - | 666 |1368 | 666 |1043 | 31 | 15k|4973 | 7.739474e+01 | 1.220000e+02 | 57.63%
58.38/58.47 c 58.5s| 36300 | 3119 |531985 | 14.6 | 37M| 68 | - | 666 |1358 | 666 |1043 | 31 | 15k|4976 | 7.740816e+01 | 1.220000e+02 | 57.61%
58.58/58.62 c 58.6s| 36400 | 3109 |533344 | 14.6 | 37M| 68 | 34 | 666 |1353 | 666 |1043 | 31 | 15k|4989 | 7.747619e+01 | 1.220000e+02 | 57.47%
58.68/58.73 c 58.7s| 36500 | 3099 |534239 | 14.6 | 37M| 68 | - | 666 |1373 | 0 | 0 | 31 | 15k|4992 | 7.783333e+01 | 1.220000e+02 | 56.75%
58.78/58.84 c 58.8s| 36600 | 3081 |535199 | 14.6 | 37M| 68 | - | 666 |1375 | 0 | 0 | 31 | 15k|4997 | 7.783333e+01 | 1.220000e+02 | 56.75%
58.88/58.96 c 59.0s| 36700 | 3071 |536223 | 14.6 | 37M| 68 | 22 | 666 |1376 | 666 |1043 | 31 | 15k|4997 | 7.790476e+01 | 1.220000e+02 | 56.60%
58.97/59.06 c 59.1s| 36800 | 3064 |536998 | 14.6 | 37M| 68 | - | 666 |1390 | 666 |1043 | 31 | 15k|5003 | 7.811111e+01 | 1.220000e+02 | 56.19%
59.08/59.18 c 59.2s| 36900 | 3059 |538347 | 14.6 | 37M| 68 | 39 | 666 |1382 | 666 |1043 | 31 | 15k|5003 | 7.825000e+01 | 1.220000e+02 | 55.91%
59.18/59.27 c 59.3s| 37000 | 3042 |539162 | 14.6 | 37M| 68 | - | 666 |1391 | 0 | 0 | 31 | 15k|5003 | 7.825000e+01 | 1.220000e+02 | 55.91%
59.28/59.39 c 59.4s| 37100 | 3032 |540352 | 14.6 | 37M| 68 | 48 | 666 |1411 | 666 |1043 | 31 | 15k|5005 | 7.830952e+01 | 1.220000e+02 | 55.79%
59.48/59.52 c 59.5s| 37200 | 3021 |541488 | 14.5 | 37M| 68 | 32 | 666 |1400 | 666 |1043 | 31 | 15k|5010 | 7.837500e+01 | 1.220000e+02 | 55.66%
59.58/59.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.58/59.63 c 59.6s| 37300 | 3002 |542521 | 14.5 | 37M| 68 | - | 666 |1371 | 666 |1043 | 31 | 16k|5011 | 7.845503e+01 | 1.220000e+02 | 55.50%
59.68/59.76 c 59.8s| 37400 | 2987 |543504 | 14.5 | 37M| 68 | 47 | 666 |1379 | 666 |1043 | 31 | 16k|5021 | 7.866667e+01 | 1.220000e+02 | 55.08%
59.78/59.88 c 59.9s| 37500 | 2975 |544442 | 14.5 | 37M| 68 | 37 | 666 |1364 | 666 |1043 | 31 | 16k|5027 | 7.866667e+01 | 1.220000e+02 | 55.08%
59.88/59.97 c 60.0s| 37600 | 2966 |545213 | 14.5 | 37M| 68 | 30 | 666 |1349 | 666 |1043 | 31 | 16k|5028 | 7.868172e+01 | 1.220000e+02 | 55.06%
60.07/60.10 c 60.1s| 37700 | 2958 |546305 | 14.5 | 37M| 68 | 36 | 666 |1358 | 666 |1043 | 31 | 16k|5033 | 7.871120e+01 | 1.220000e+02 | 55.00%
60.17/60.21 c 60.2s| 37800 | 2946 |547388 | 14.5 | 37M| 68 | - | 666 |1360 | 0 | 0 | 31 | 16k|5036 | 7.885185e+01 | 1.220000e+02 | 54.72%
60.28/60.33 c 60.3s| 37900 | 2944 |548414 | 14.5 | 37M| 68 | 40 | 666 |1356 | 666 |1043 | 31 | 16k|5038 | 7.900000e+01 | 1.220000e+02 | 54.43%
60.39/60.44 c 60.4s| 38000 | 2939 |549370 | 14.4 | 37M| 68 | - | 666 |1354 | 0 | 0 | 31 | 16k|5044 | 7.900000e+01 | 1.220000e+02 | 54.43%
60.49/60.55 c 60.6s| 38100 | 2933 |550321 | 14.4 | 36M| 68 | - | 666 |1349 | 666 |1043 | 31 | 16k|5046 | 7.904082e+01 | 1.220000e+02 | 54.35%
60.58/60.67 c 60.7s| 38200 | 2932 |551581 | 14.4 | 36M| 68 | 35 | 666 |1350 | 666 |1043 | 31 | 16k|5047 | 7.908333e+01 | 1.220000e+02 | 54.27%
60.67/60.77 c 60.8s| 38300 | 2919 |552537 | 14.4 | 36M| 68 | 46 | 666 |1338 | 666 |1043 | 31 | 16k|5048 | 7.927273e+01 | 1.220000e+02 | 53.90%
60.78/60.88 c 60.9s| 38400 | 2903 |553351 | 14.4 | 36M| 68 | 47 | 666 |1339 | 666 |1043 | 31 | 16k|5052 | 7.930769e+01 | 1.220000e+02 | 53.83%
60.88/60.99 c 61.0s| 38500 | 2892 |554382 | 14.4 | 36M| 68 | 27 | 666 |1344 | 666 |1043 | 31 | 16k|5055 | 7.950000e+01 | 1.220000e+02 | 53.46%
60.98/61.09 c 61.1s| 38600 | 2879 |555333 | 14.4 | 36M| 68 | 35 | 666 |1357 | 666 |1043 | 31 | 16k|5056 | 7.950000e+01 | 1.220000e+02 | 53.46%
61.18/61.23 c 61.2s| 38700 | 2861 |556628 | 14.4 | 36M| 68 | - | 666 |1374 | 0 | 0 | 31 | 16k|5061 | 7.950000e+01 | 1.220000e+02 | 53.46%
61.28/61.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.28/61.35 c 61.4s| 38800 | 2848 |557703 | 14.4 | 36M| 68 | - | 666 |1372 | 666 |1043 | 31 | 16k|5064 | 7.969231e+01 | 1.220000e+02 | 53.09%
61.37/61.46 c 61.5s| 38900 | 2832 |558551 | 14.3 | 36M| 68 | 44 | 666 |1366 | 666 |1043 | 31 | 16k|5064 | 7.974510e+01 | 1.220000e+02 | 52.99%
61.49/61.59 c 61.6s| 39000 | 2826 |559939 | 14.3 | 36M| 68 | 38 | 666 |1374 | 666 |1043 | 31 | 16k|5068 | 7.985714e+01 | 1.220000e+02 | 52.77%
61.59/61.68 c 61.7s| 39100 | 2824 |560763 | 14.3 | 36M| 68 | - | 666 |1379 | 0 | 0 | 31 | 16k|5068 | 7.985714e+01 | 1.220000e+02 | 52.77%
61.68/61.79 c 61.8s| 39200 | 2809 |561666 | 14.3 | 36M| 68 | - | 666 |1383 | 0 | 0 | 31 | 16k|5070 | 7.985714e+01 | 1.220000e+02 | 52.77%
61.78/61.89 c 61.9s| 39300 | 2792 |562560 | 14.3 | 36M| 68 | - | 666 |1380 | 0 | 0 | 31 | 16k|5073 | 7.985714e+01 | 1.220000e+02 | 52.77%
61.98/62.00 c 62.0s| 39400 | 2778 |563454 | 14.3 | 36M| 68 | 18 | 666 |1378 | 666 |1043 | 31 | 17k|5075 | 7.985714e+01 | 1.220000e+02 | 52.77%
62.07/62.14 c 62.1s| 39500 | 2763 |564346 | 14.3 | 35M| 68 | - | 666 |1377 | 666 |1043 | 31 | 17k|5075 | 7.985714e+01 | 1.220000e+02 | 52.77%
62.18/62.25 c 62.3s| 39600 | 2748 |565253 | 14.3 | 35M| 68 | 42 | 666 |1362 | 666 |1043 | 31 | 17k|5076 | 8.000000e+01 | 1.220000e+02 | 52.50%
62.28/62.36 c 62.4s| 39700 | 2736 |566171 | 14.3 | 35M| 68 | - | 666 |1367 | 666 |1043 | 31 | 17k|5081 | 8.014103e+01 | 1.220000e+02 | 52.23%
62.38/62.47 c 62.5s| 39800 | 2726 |567207 | 14.2 | 35M| 68 | 42 | 666 |1358 | 666 |1043 | 31 | 17k|5082 | 8.014103e+01 | 1.220000e+02 | 52.23%
62.48/62.58 c 62.6s| 39900 | 2713 |568148 | 14.2 | 35M| 68 | - | 666 |1364 | 666 |1043 | 31 | 17k|5083 | 8.025472e+01 | 1.220000e+02 | 52.02%
62.58/62.69 c 62.7s| 40000 | 2699 |569029 | 14.2 | 35M| 68 | 37 | 666 |1365 | 666 |1043 | 31 | 17k|5085 | 8.033333e+01 | 1.220000e+02 | 51.87%
62.69/62.79 c 62.8s| 40100 | 2686 |569877 | 14.2 | 35M| 68 | - | 666 |1373 | 666 |1043 | 31 | 17k|5085 | 8.033333e+01 | 1.220000e+02 | 51.87%
62.88/62.92 c 62.9s| 40200 | 2681 |570994 | 14.2 | 35M| 68 | - | 666 |1374 | 0 | 0 | 31 | 17k|5089 | 8.033333e+01 | 1.220000e+02 | 51.87%
62.98/63.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
62.98/63.02 c 63.0s| 40300 | 2669 |571961 | 14.2 | 35M| 68 | - | 666 |1374 | 0 | 0 | 31 | 17k|5090 | 8.075000e+01 | 1.220000e+02 | 51.08%
63.08/63.15 c 63.1s| 40400 | 2650 |573072 | 14.2 | 35M| 68 | - | 666 |1375 | 666 |1043 | 31 | 17k|5091 | 8.100000e+01 | 1.220000e+02 | 50.62%
63.18/63.27 c 63.3s| 40500 | 2630 |574091 | 14.2 | 35M| 68 | - | 666 |1377 | 666 |1043 | 31 | 17k|5094 | 8.123077e+01 | 1.220000e+02 | 50.19%
63.28/63.38 c 63.4s| 40600 | 2622 |575061 | 14.2 | 35M| 68 | 23 | 666 |1369 | 666 |1043 | 31 | 17k|5095 | 8.144444e+01 | 1.220000e+02 | 49.80%
63.47/63.51 c 63.5s| 40700 | 2608 |576039 | 14.1 | 35M| 68 | - | 666 |1379 | 666 |1043 | 31 | 17k|5115 | 8.150000e+01 | 1.220000e+02 | 49.69%
63.58/63.64 c 63.6s| 40800 | 2597 |577045 | 14.1 | 35M| 68 | 33 | 666 |1388 | 666 |1043 | 31 | 17k|5128 | 8.160815e+01 | 1.220000e+02 | 49.49%
63.69/63.77 c 63.8s| 40900 | 2578 |577966 | 14.1 | 34M| 68 | 42 | 666 |1381 | 666 |1043 | 31 | 17k|5143 | 8.164286e+01 | 1.220000e+02 | 49.43%
63.79/63.87 c 63.9s| 41000 | 2568 |578915 | 14.1 | 34M| 68 | 32 | 666 |1372 | 666 |1043 | 31 | 17k|5145 | 8.183766e+01 | 1.220000e+02 | 49.08%
63.88/63.97 c 64.0s| 41100 | 2564 |579645 | 14.1 | 34M| 68 | 25 | 666 |1407 | 666 |1043 | 31 | 17k|5147 | 8.188095e+01 | 1.220000e+02 | 49.00%
64.07/64.10 c 64.1s| 41200 | 2558 |580721 | 14.1 | 34M| 68 | 47 | 666 |1401 | 666 |1043 | 31 | 17k|5162 | 8.188095e+01 | 1.220000e+02 | 49.00%
64.17/64.26 c 64.3s| 41300 | 2546 |581975 | 14.1 | 34M| 68 | - | 666 |1393 | 0 | 0 | 31 | 18k|5182 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.28/64.36 c 64.4s| 41400 | 2537 |582881 | 14.1 | 34M| 68 | - | 666 |1381 | 0 | 0 | 31 | 18k|5183 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.38/64.49 c 64.5s| 41500 | 2534 |583905 | 14.1 | 34M| 68 | 49 | 666 |1379 | 666 |1043 | 31 | 18k|5193 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.58/64.60 c 64.6s| 41600 | 2531 |584890 | 14.1 | 34M| 68 | - | 666 |1400 | 0 | 0 | 31 | 18k|5203 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.67/64.72 c 64.7s| 41700 | 2513 |585709 | 14.0 | 34M| 68 | - | 666 |1403 | 0 | 0 | 31 | 18k|5210 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.79/64.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.79/64.86 c 64.9s| 41800 | 2506 |586756 | 14.0 | 34M| 68 | - | 666 |1417 | 0 | 0 | 31 | 18k|5224 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.89/64.97 c 65.0s| 41900 | 2487 |587594 | 14.0 | 34M| 68 | - | 666 |1425 | 666 |1043 | 31 | 18k|5231 | 8.200000e+01 | 1.220000e+02 | 48.78%
64.98/65.09 c 65.1s| 42000 | 2487 |588774 | 14.0 | 34M| 68 | - | 666 |1437 | 666 |1043 | 31 | 18k|5246 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.18/65.21 c 65.2s| 42100 | 2484 |589858 | 14.0 | 34M| 68 | 43 | 666 |1440 | 666 |1043 | 31 | 18k|5257 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.28/65.36 c 65.4s| 42200 | 2474 |591054 | 14.0 | 34M| 68 | - | 666 |1433 | 0 | 0 | 31 | 18k|5272 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.38/65.50 c 65.5s| 42300 | 2473 |592300 | 14.0 | 34M| 68 | 44 | 666 |1435 | 666 |1043 | 31 | 18k|5290 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.58/65.65 c 65.6s| 42400 | 2462 |593639 | 14.0 | 34M| 68 | - | 666 |1486 | 666 |1043 | 31 | 18k|5307 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.78/65.82 c 65.8s| 42500 | 2452 |594958 | 14.0 | 34M| 68 | 46 | 666 |1472 | 666 |1043 | 31 | 18k|5321 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.88/65.97 c 66.0s| 42600 | 2441 |596318 | 14.0 | 33M| 68 | 21 | 666 |1471 | 666 |1043 | 31 | 18k|5335 | 8.200000e+01 | 1.220000e+02 | 48.78%
65.99/66.09 c 66.1s| 42700 | 2432 |597159 | 14.0 | 33M| 68 | 53 | 666 |1458 | 666 |1043 | 31 | 18k|5345 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.18/66.21 c 66.2s| 42800 | 2420 |598051 | 14.0 | 33M| 68 | - | 666 |1442 | 0 | 0 | 31 | 18k|5354 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.28/66.33 c 66.3s| 42900 | 2414 |599109 | 14.0 | 33M| 68 | 39 | 666 |1452 | 666 |1043 | 31 | 18k|5362 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.37/66.44 c 66.4s| 43000 | 2407 |599989 | 13.9 | 33M| 68 | - | 666 |1456 | 0 | 0 | 31 | 18k|5373 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.48/66.58 c 66.6s| 43100 | 2402 |601196 | 13.9 | 33M| 68 | - | 666 |1460 | 0 | 0 | 31 | 18k|5379 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.68/66.70 c 66.7s| 43200 | 2395 |602170 | 13.9 | 33M| 68 | - | 666 |1434 | 0 | 0 | 31 | 18k|5390 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.78/66.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.78/66.82 c 66.8s| 43300 | 2389 |603269 | 13.9 | 33M| 68 | 55 | 666 |1440 | 666 |1043 | 31 | 18k|5398 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.88/66.95 c 66.9s| 43400 | 2387 |604491 | 13.9 | 33M| 68 | - | 666 |1459 | 666 |1043 | 31 | 19k|5402 | 8.200000e+01 | 1.220000e+02 | 48.78%
66.98/67.06 c 67.1s| 43500 | 2376 |605454 | 13.9 | 33M| 68 | - | 666 |1441 | 0 | 0 | 31 | 19k|5411 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.18/67.20 c 67.2s| 43600 | 2363 |606476 | 13.9 | 33M| 68 | 32 | 666 |1443 | 666 |1043 | 31 | 19k|5414 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.28/67.32 c 67.3s| 43700 | 2344 |607391 | 13.9 | 33M| 68 | 36 | 666 |1448 | 666 |1043 | 31 | 19k|5427 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.37/67.45 c 67.5s| 43800 | 2334 |608429 | 13.9 | 33M| 68 | - | 666 |1454 | 0 | 0 | 31 | 19k|5440 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.48/67.57 c 67.6s| 43900 | 2320 |609588 | 13.9 | 33M| 68 | - | 666 |1440 | 0 | 0 | 31 | 19k|5443 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.58/67.68 c 67.7s| 44000 | 2315 |610758 | 13.9 | 33M| 68 | 47 | 666 |1420 | 666 |1043 | 31 | 19k|5445 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.78/67.80 c 67.8s| 44100 | 2304 |611820 | 13.9 | 32M| 68 | - | 666 |1404 | 0 | 0 | 31 | 19k|5449 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.88/67.92 c 67.9s| 44200 | 2301 |613150 | 13.9 | 32M| 68 | - | 666 |1395 | 0 | 0 | 31 | 19k|5453 | 8.200000e+01 | 1.220000e+02 | 48.78%
67.97/68.03 c 68.0s| 44300 | 2290 |614088 | 13.9 | 32M| 68 | 53 | 666 |1392 | 666 |1043 | 31 | 19k|5457 | 8.233333e+01 | 1.220000e+02 | 48.18%
68.09/68.14 c 68.1s| 44400 | 2282 |615112 | 13.8 | 32M| 68 | 33 | 666 |1398 | 666 |1043 | 31 | 19k|5463 | 8.233333e+01 | 1.220000e+02 | 48.18%
68.19/68.24 c 68.2s| 44500 | 2262 |615943 | 13.8 | 32M| 68 | - | 666 |1416 | 0 | 0 | 31 | 19k|5464 | 8.233333e+01 | 1.220000e+02 | 48.18%
68.28/68.35 c 68.3s| 44600 | 2249 |616766 | 13.8 | 32M| 68 | - | 666 |1411 | 0 | 0 | 31 | 19k|5470 | 8.233333e+01 | 1.220000e+02 | 48.18%
68.37/68.47 c 68.5s| 44700 | 2231 |617861 | 13.8 | 32M| 68 | 54 | 666 |1406 | 666 |1043 | 31 | 19k|5476 | 8.236446e+01 | 1.220000e+02 | 48.12%
68.48/68.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
68.48/68.58 c 68.6s| 44800 | 2213 |618862 | 13.8 | 32M| 68 | 48 | 666 |1404 | 666 |1043 | 31 | 19k|5479 | 8.241667e+01 | 1.220000e+02 | 48.03%
68.58/68.69 c 68.7s| 44900 | 2212 |620073 | 13.8 | 32M| 68 | - | 666 |1412 | 0 | 0 | 31 | 19k|5480 | 8.248387e+01 | 1.220000e+02 | 47.91%
68.78/68.82 c 68.8s| 45000 | 2203 |621241 | 13.8 | 32M| 68 | 39 | 666 |1412 | 666 |1043 | 31 | 19k|5484 | 8.262500e+01 | 1.220000e+02 | 47.66%
68.88/68.94 c 68.9s| 45100 | 2196 |622511 | 13.8 | 32M| 68 | - | 666 |1439 | 0 | 0 | 31 | 19k|5486 | 8.268966e+01 | 1.220000e+02 | 47.54%
68.98/69.07 c 69.1s| 45200 | 2183 |623614 | 13.8 | 32M| 68 | - | 666 |1438 | 0 | 0 | 31 | 19k|5496 | 8.271429e+01 | 1.220000e+02 | 47.50%
69.07/69.17 c 69.2s| 45300 | 2170 |624529 | 13.8 | 31M| 68 | - | 666 |1434 | 0 | 0 | 31 | 20k|5497 | 8.271429e+01 | 1.220000e+02 | 47.50%
69.19/69.29 c 69.3s| 45400 | 2158 |625542 | 13.8 | 31M| 68 | 41 | 666 |1409 | 666 |1043 | 31 | 20k|5505 | 8.271429e+01 | 1.220000e+02 | 47.50%
69.38/69.41 c 69.4s| 45500 | 2144 |626506 | 13.8 | 31M| 68 | - | 666 |1403 | 0 | 0 | 31 | 20k|5510 | 8.271429e+01 | 1.220000e+02 | 47.50%
69.48/69.53 c 69.5s| 45600 | 2124 |627380 | 13.8 | 31M| 68 | 34 | 666 |1398 | 666 |1043 | 31 | 20k|5516 | 8.283333e+01 | 1.220000e+02 | 47.28%
69.57/69.65 c 69.6s| 45700 | 2112 |628484 | 13.7 | 31M| 68 | - | 666 |1430 | 666 |1043 | 31 | 20k|5520 | 8.283333e+01 | 1.220000e+02 | 47.28%
69.68/69.77 c 69.8s| 45800 | 2104 |629608 | 13.7 | 31M| 68 | - | 666 |1396 | 666 |1043 | 31 | 20k|5524 | 8.297222e+01 | 1.220000e+02 | 47.04%
69.77/69.87 c 69.9s| 45900 | 2087 |630443 | 13.7 | 31M| 68 | - | 666 |1385 | 666 |1043 | 31 | 20k|5526 | 8.300000e+01 | 1.220000e+02 | 46.99%
69.87/69.98 c 70.0s| 46000 | 2063 |631268 | 13.7 | 31M| 68 | - | 666 |1375 | 666 |1043 | 31 | 20k|5528 | 8.300000e+01 | 1.220000e+02 | 46.99%
69.97/70.09 c 70.1s| 46100 | 2040 |632108 | 13.7 | 30M| 68 | 38 | 666 |1387 | 666 |1043 | 31 | 20k|5529 | 8.325000e+01 | 1.220000e+02 | 46.55%
70.08/70.18 c 70.2s| 46200 | 2031 |632923 | 13.7 | 30M| 68 | - | 666 |1382 | 666 |1043 | 31 | 20k|5530 | 8.325000e+01 | 1.220000e+02 | 46.55%
70.18/70.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
70.18/70.29 c 70.3s| 46300 | 2012 |633938 | 13.7 | 30M| 68 | 29 | 666 |1376 | 666 |1043 | 31 | 20k|5531 | 8.334921e+01 | 1.220000e+02 | 46.37%
70.38/70.41 c 70.4s| 46400 | 2000 |634909 | 13.7 | 30M| 68 | - | 666 |1378 | 0 | 0 | 31 | 20k|5538 | 8.342857e+01 | 1.220000e+02 | 46.23%
70.48/70.52 c 70.5s| 46500 | 1986 |635895 | 13.7 | 30M| 68 | 48 | 666 |1382 | 666 |1043 | 31 | 20k|5539 | 8.366667e+01 | 1.220000e+02 | 45.82%
70.58/70.63 c 70.6s| 46600 | 1972 |636955 | 13.7 | 30M| 68 | - | 666 |1397 | 0 | 0 | 31 | 20k|5539 | 8.366667e+01 | 1.220000e+02 | 45.82%
70.67/70.73 c 70.7s| 46700 | 1957 |637860 | 13.7 | 30M| 68 | - | 666 |1391 | 666 |1043 | 31 | 20k|5541 | 8.366667e+01 | 1.220000e+02 | 45.82%
70.78/70.83 c 70.8s| 46800 | 1942 |638641 | 13.6 | 30M| 68 | 32 | 666 |1397 | 666 |1043 | 31 | 20k|5542 | 8.387500e+01 | 1.220000e+02 | 45.45%
70.88/70.94 c 70.9s| 46900 | 1935 |639429 | 13.6 | 29M| 68 | - | 666 |1384 | 0 | 0 | 31 | 20k|5544 | 8.387500e+01 | 1.220000e+02 | 45.45%
70.97/71.06 c 71.1s| 47000 | 1912 |640482 | 13.6 | 29M| 68 | 54 | 666 |1384 | 666 |1043 | 31 | 20k|5547 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.07/71.17 c 71.2s| 47100 | 1902 |641576 | 13.6 | 29M| 68 | - | 666 |1374 | 0 | 0 | 31 | 20k|5547 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.18/71.27 c 71.3s| 47200 | 1888 |642496 | 13.6 | 29M| 68 | - | 666 |1372 | 0 | 0 | 31 | 20k|5547 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.28/71.38 c 71.4s| 47300 | 1880 |643415 | 13.6 | 29M| 68 | - | 666 |1384 | 0 | 0 | 31 | 21k|5550 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.38/71.48 c 71.5s| 47400 | 1869 |644193 | 13.6 | 29M| 68 | 28 | 666 |1412 | 666 |1043 | 31 | 21k|5550 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.48/71.58 c 71.6s| 47500 | 1850 |645048 | 13.6 | 29M| 68 | 48 | 666 |1411 | 666 |1043 | 31 | 21k|5551 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.57/71.69 c 71.7s| 47600 | 1830 |645972 | 13.6 | 28M| 68 | - | 666 |1411 | 666 |1043 | 31 | 21k|5553 | 8.387500e+01 | 1.220000e+02 | 45.45%
71.78/71.81 c 71.8s| 47700 | 1822 |646938 | 13.6 | 28M| 68 | 37 | 666 |1417 | 666 |1043 | 31 | 21k|5559 | 8.400000e+01 | 1.220000e+02 | 45.24%
71.88/71.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.88/71.91 c 71.9s| 47800 | 1802 |647698 | 13.5 | 28M| 68 | - | 666 |1406 | 0 | 0 | 31 | 21k|5563 | 8.403704e+01 | 1.220000e+02 | 45.17%
71.98/72.02 c 72.0s| 47900 | 1780 |648635 | 13.5 | 28M| 68 | - | 666 |1400 | 0 | 0 | 31 | 21k|5564 | 8.414286e+01 | 1.220000e+02 | 44.99%
72.08/72.13 c 72.1s| 48000 | 1766 |649580 | 13.5 | 28M| 68 | 34 | 666 |1393 | 666 |1043 | 31 | 21k|5564 | 8.422222e+01 | 1.220000e+02 | 44.85%
72.18/72.24 c 72.2s| 48100 | 1755 |650632 | 13.5 | 28M| 68 | - | 666 |1382 | 666 |1043 | 31 | 21k|5567 | 8.426190e+01 | 1.220000e+02 | 44.79%
72.28/72.34 c 72.3s| 48200 | 1739 |651525 | 13.5 | 28M| 68 | - | 666 |1373 | 0 | 0 | 31 | 21k|5569 | 8.426190e+01 | 1.220000e+02 | 44.79%
72.38/72.44 c 72.4s| 48300 | 1727 |652301 | 13.5 | 28M| 68 | - | 666 |1378 | 666 |1043 | 31 | 21k|5570 | 8.450000e+01 | 1.220000e+02 | 44.38%
72.48/72.53 c 72.5s| 48400 | 1713 |653047 | 13.5 | 28M| 68 | 47 | 666 |1366 | 666 |1043 | 31 | 21k|5571 | 8.450000e+01 | 1.220000e+02 | 44.38%
72.58/72.63 c 72.6s| 48500 | 1693 |653839 | 13.5 | 27M| 68 | - | 666 |1358 | 666 |1043 | 31 | 21k|5575 | 8.450000e+01 | 1.220000e+02 | 44.38%
72.67/72.76 c 72.8s| 48600 | 1689 |654784 | 13.5 | 27M| 68 | 38 | 666 |1386 | 666 |1043 | 31 | 21k|5588 | 8.477778e+01 | 1.220000e+02 | 43.91%
72.77/72.87 c 72.9s| 48700 | 1661 |655571 | 13.5 | 27M| 68 | - | 666 |1389 | 0 | 0 | 31 | 21k|5591 | 8.485714e+01 | 1.220000e+02 | 43.77%
72.88/72.99 c 73.0s| 48800 | 1646 |656587 | 13.4 | 27M| 68 | - | 666 |1399 | 0 | 0 | 31 | 21k|5598 | 8.491667e+01 | 1.220000e+02 | 43.67%
73.08/73.12 c 73.1s| 48900 | 1633 |657404 | 13.4 | 27M| 68 | - | 666 |1399 | 0 | 0 | 31 | 21k|5617 | 8.500000e+01 | 1.220000e+02 | 43.53%
73.18/73.22 c 73.2s| 49000 | 1615 |658332 | 13.4 | 27M| 68 | 49 | 666 |1397 | 666 |1043 | 31 | 21k|5618 | 8.500000e+01 | 1.220000e+02 | 43.53%
73.27/73.34 c 73.3s| 49100 | 1595 |659237 | 13.4 | 27M| 68 | - | 666 |1402 | 666 |1043 | 31 | 21k|5627 | 8.500000e+01 | 1.220000e+02 | 43.53%
73.38/73.44 c 73.4s| 49200 | 1577 |659901 | 13.4 | 26M| 68 | 32 | 666 |1402 | 666 |1043 | 31 | 21k|5627 | 8.500000e+01 | 1.220000e+02 | 43.53%
73.48/73.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
73.48/73.56 c 73.6s| 49300 | 1564 |661023 | 13.4 | 26M| 68 | - | 666 |1401 | 0 | 0 | 31 | 22k|5639 | 8.500000e+01 | 1.220000e+02 | 43.53%
73.69/73.70 c 73.7s| 49400 | 1548 |661974 | 13.4 | 26M| 68 | - | 666 |1397 | 0 | 0 | 31 | 22k|5657 | 8.530357e+01 | 1.220000e+02 | 43.02%
73.78/73.81 c 73.8s| 49500 | 1530 |662858 | 13.4 | 26M| 68 | - | 666 |1400 | 0 | 0 | 31 | 22k|5659 | 8.533333e+01 | 1.220000e+02 | 42.97%
73.88/73.93 c 73.9s| 49600 | 1512 |663816 | 13.4 | 26M| 68 | 69 | 666 |1388 | 666 |1043 | 31 | 22k|5664 | 8.533333e+01 | 1.220000e+02 | 42.97%
73.97/74.07 c 74.1s| 49700 | 1498 |664745 | 13.4 | 26M| 68 | - | 666 |1384 | 0 | 0 | 31 | 22k|5679 | 8.533333e+01 | 1.220000e+02 | 42.97%
74.18/74.20 c 74.2s| 49800 | 1484 |665798 | 13.4 | 25M| 68 | 29 | 666 |1392 | 666 |1043 | 31 | 22k|5690 | 8.537302e+01 | 1.220000e+02 | 42.90%
74.18/74.29 c 74.3s| 49900 | 1467 |666605 | 13.4 | 25M| 68 | - | 666 |1391 | 666 |1043 | 31 | 22k|5692 | 8.537302e+01 | 1.220000e+02 | 42.90%
74.37/74.43 c 74.4s| 50000 | 1458 |667790 | 13.3 | 25M| 68 | 35 | 666 |1392 | 666 |1043 | 31 | 22k|5702 | 8.580952e+01 | 1.220000e+02 | 42.18%
74.48/74.54 c 74.5s| 50100 | 1437 |668710 | 13.3 | 25M| 68 | 60 | 666 |1389 | 666 |1043 | 31 | 22k|5704 | 8.612500e+01 | 1.220000e+02 | 41.65%
74.68/74.73 c 74.7s| 50200 | 1421 |670788 | 13.4 | 25M| 68 | 42 | 666 |1420 | 666 |1043 | 31 | 22k|5718 | 8.628571e+01 | 1.220000e+02 | 41.39%
74.78/74.86 c 74.9s| 50300 | 1403 |671783 | 13.3 | 25M| 68 | - | 666 |1419 | 666 |1043 | 31 | 22k|5731 | 8.637500e+01 | 1.220000e+02 | 41.24%
74.87/74.99 c 75.0s| 50400 | 1394 |672858 | 13.3 | 24M| 68 | 48 | 666 |1411 | 666 |1043 | 31 | 22k|5746 | 8.650000e+01 | 1.220000e+02 | 41.04%
75.08/75.14 c 75.1s| 50500 | 1380 |674422 | 13.3 | 24M| 68 | - | 666 |1429 | 0 | 0 | 31 | 22k|5757 | 8.650000e+01 | 1.220000e+02 | 41.04%
75.17/75.29 c 75.3s| 50600 | 1356 |675519 | 13.3 | 24M| 68 | - | 666 |1409 | 666 |1043 | 31 | 22k|5770 | 8.671429e+01 | 1.220000e+02 | 40.69%
75.37/75.41 c 75.4s| 50700 | 1345 |676352 | 13.3 | 24M| 68 | 34 | 666 |1412 | 666 |1043 | 31 | 22k|5781 | 8.676190e+01 | 1.220000e+02 | 40.61%
75.48/75.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.48/75.55 c 75.6s| 50800 | 1327 |677562 | 13.3 | 24M| 68 | - | 666 |1404 | 0 | 0 | 31 | 22k|5796 | 8.688095e+01 | 1.220000e+02 | 40.42%
75.58/75.69 c 75.7s| 50900 | 1313 |678654 | 13.3 | 24M| 68 | - | 666 |1382 | 0 | 0 | 31 | 22k|5813 | 8.691071e+01 | 1.220000e+02 | 40.37%
75.67/75.80 c 75.8s| 51000 | 1305 |679544 | 13.3 | 24M| 68 | 29 | 666 |1382 | 666 |1043 | 31 | 22k|5822 | 8.700000e+01 | 1.220000e+02 | 40.23%
75.88/75.96 c 76.0s| 51100 | 1280 |681009 | 13.3 | 23M| 68 | - | 666 |1387 | 0 | 0 | 31 | 23k|5836 | 8.700000e+01 | 1.220000e+02 | 40.23%
75.97/76.08 c 76.1s| 51200 | 1270 |682022 | 13.3 | 23M| 68 | - | 666 |1381 | 0 | 0 | 31 | 23k|5847 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.17/76.20 c 76.2s| 51300 | 1264 |682980 | 13.3 | 23M| 68 | 35 | 666 |1392 | 666 |1043 | 31 | 23k|5859 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.28/76.31 c 76.3s| 51400 | 1254 |683957 | 13.3 | 23M| 68 | 42 | 666 |1397 | 666 |1043 | 31 | 23k|5866 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.38/76.43 c 76.4s| 51500 | 1237 |684870 | 13.3 | 23M| 68 | - | 666 |1405 | 0 | 0 | 31 | 23k|5874 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.48/76.55 c 76.6s| 51600 | 1211 |685761 | 13.3 | 22M| 68 | 38 | 666 |1391 | 666 |1043 | 31 | 23k|5886 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.57/76.65 c 76.7s| 51700 | 1207 |686643 | 13.3 | 22M| 68 | 22 | 666 |1386 | 666 |1043 | 31 | 23k|5892 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.77/76.81 c 76.8s| 51800 | 1172 |687739 | 13.3 | 22M| 68 | - | 666 |1399 | 0 | 0 | 31 | 23k|5911 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.89/76.92 c 76.9s| 51900 | 1163 |688615 | 13.3 | 22M| 68 | - | 666 |1391 | 0 | 0 | 31 | 23k|5916 | 8.700000e+01 | 1.220000e+02 | 40.23%
76.98/77.05 c 77.1s| 52000 | 1138 |689805 | 13.3 | 22M| 68 | - | 666 |1405 | 0 | 0 | 31 | 23k|5923 | 8.700000e+01 | 1.220000e+02 | 40.23%
77.07/77.17 c 77.2s| 52100 | 1116 |690898 | 13.3 | 21M| 68 | 50 | 666 |1416 | 666 |1043 | 31 | 23k|5930 | 8.700000e+01 | 1.220000e+02 | 40.23%
77.18/77.28 c 77.3s| 52200 | 1106 |691973 | 13.2 | 21M| 68 | 42 | 666 |1420 | 666 |1043 | 31 | 23k|5931 | 8.700000e+01 | 1.220000e+02 | 40.23%
77.37/77.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
77.37/77.46 c 77.5s| 52300 | 1087 |693347 | 13.2 | 21M| 68 | 22 | 666 |1398 | 666 |1043 | 31 | 23k|5953 | 8.700000e+01 | 1.220000e+02 | 40.23%
77.48/77.57 c 77.6s| 52400 | 1055 |694179 | 13.2 | 21M| 68 | 39 | 666 |1418 | 666 |1043 | 31 | 23k|5960 | 8.700000e+01 | 1.220000e+02 | 40.23%
77.58/77.68 c 77.7s| 52500 | 1039 |695151 | 13.2 | 21M| 68 | - | 666 |1415 | 0 | 0 | 31 | 23k|5962 | 8.722727e+01 | 1.220000e+02 | 39.86%
77.67/77.79 c 77.8s| 52600 | 1022 |696009 | 13.2 | 20M| 68 | - | 666 |1399 | 666 |1043 | 31 | 23k|5971 | 8.738690e+01 | 1.220000e+02 | 39.61%
77.88/77.91 c 77.9s| 52700 | 1007 |696891 | 13.2 | 20M| 68 | 29 | 666 |1411 | 666 |1043 | 31 | 23k|5979 | 8.757692e+01 | 1.220000e+02 | 39.31%
77.98/78.02 c 78.0s| 52800 | 987 |697935 | 13.2 | 20M| 68 | - | 666 |1403 | 0 | 0 | 31 | 23k|5984 | 8.771429e+01 | 1.220000e+02 | 39.09%
78.08/78.16 c 78.2s| 52900 | 964 |699356 | 13.2 | 20M| 68 | 48 | 666 |1436 | 666 |1043 | 31 | 24k|5989 | 8.783333e+01 | 1.220000e+02 | 38.90%
78.17/78.28 c 78.3s| 53000 | 936 |700263 | 13.2 | 19M| 68 | - | 666 |1412 | 0 | 0 | 31 | 24k|5993 | 8.800000e+01 | 1.220000e+02 | 38.64%
78.38/78.40 c 78.4s| 53100 | 911 |701093 | 13.2 | 19M| 68 | - | 666 |1410 | 0 | 0 | 31 | 24k|5998 | 8.824545e+01 | 1.220000e+02 | 38.25%
78.48/78.52 c 78.5s| 53200 | 893 |701955 | 13.2 | 19M| 68 | - | 666 |1411 | 666 |1043 | 31 | 24k|6004 | 8.832653e+01 | 1.220000e+02 | 38.12%
78.58/78.62 c 78.6s| 53300 | 872 |702797 | 13.2 | 19M| 68 | - | 666 |1410 | 0 | 0 | 31 | 24k|6007 | 8.848438e+01 | 1.220000e+02 | 37.88%
78.67/78.73 c 78.7s| 53400 | 854 |703724 | 13.2 | 18M| 68 | 47 | 666 |1403 | 666 |1043 | 31 | 24k|6007 | 8.861056e+01 | 1.220000e+02 | 37.68%
78.77/78.85 c 78.8s| 53500 | 835 |704906 | 13.2 | 18M| 68 | - | 666 |1409 | 666 |1043 | 31 | 24k|6009 | 8.866667e+01 | 1.220000e+02 | 37.59%
78.88/78.96 c 79.0s| 53600 | 818 |705782 | 13.2 | 18M| 68 | - | 666 |1409 | 0 | 0 | 31 | 24k|6011 | 8.880952e+01 | 1.220000e+02 | 37.37%
78.97/79.07 c 79.1s| 53700 | 801 |706863 | 13.2 | 18M| 68 | - | 666 |1415 | 666 |1043 | 31 | 24k|6013 | 8.887500e+01 | 1.220000e+02 | 37.27%
79.08/79.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.08/79.19 c 79.2s| 53800 | 797 |708192 | 13.2 | 18M| 68 | - | 666 |1413 | 0 | 0 | 31 | 24k|6014 | 8.887500e+01 | 1.220000e+02 | 37.27%
79.28/79.31 c 79.3s| 53900 | 788 |709509 | 13.2 | 18M| 68 | 52 | 666 |1398 | 666 |1043 | 31 | 24k|6015 | 8.887500e+01 | 1.220000e+02 | 37.27%
79.38/79.43 c 79.4s| 54000 | 776 |710741 | 13.2 | 18M| 68 | 44 | 666 |1414 | 666 |1043 | 31 | 24k|6015 | 8.887500e+01 | 1.220000e+02 | 37.27%
79.47/79.53 c 79.5s| 54100 | 754 |711611 | 13.1 | 17M| 68 | - | 666 |1405 | 666 |1043 | 31 | 24k|6016 | 8.894940e+01 | 1.220000e+02 | 37.16%
79.57/79.64 c 79.6s| 54200 | 731 |712582 | 13.1 | 17M| 68 | - | 666 |1418 | 0 | 0 | 31 | 24k|6018 | 8.900000e+01 | 1.220000e+02 | 37.08%
79.68/79.74 c 79.7s| 54300 | 711 |713480 | 13.1 | 17M| 68 | - | 666 |1433 | 0 | 0 | 31 | 24k|6018 | 8.907483e+01 | 1.220000e+02 | 36.96%
79.78/79.84 c 79.8s| 54400 | 695 |714396 | 13.1 | 16M| 68 | - | 666 |1431 | 0 | 0 | 31 | 24k|6019 | 8.914286e+01 | 1.220000e+02 | 36.86%
79.87/79.96 c 80.0s| 54500 | 672 |715526 | 13.1 | 16M| 68 | - | 666 |1420 | 0 | 0 | 31 | 24k|6024 | 8.924490e+01 | 1.220000e+02 | 36.70%
79.98/80.08 c 80.1s| 54600 | 659 |716501 | 13.1 | 16M| 68 | 35 | 666 |1434 | 666 |1043 | 31 | 24k|6029 | 8.936998e+01 | 1.220000e+02 | 36.51%
80.08/80.19 c 80.2s| 54700 | 632 |717397 | 13.1 | 16M| 68 | 32 | 666 |1431 | 666 |1043 | 31 | 24k|6033 | 9.000000e+01 | 1.220000e+02 | 35.56%
80.18/80.29 c 80.3s| 54800 | 613 |718272 | 13.1 | 15M| 68 | 33 | 666 |1425 | 666 |1043 | 31 | 25k|6033 | 9.033333e+01 | 1.220000e+02 | 35.06%
80.38/80.40 c 80.4s| 54900 | 582 |719256 | 13.1 | 15M| 68 | - | 666 |1423 | 0 | 0 | 31 | 25k|6034 | 9.054167e+01 | 1.220000e+02 | 34.74%
80.48/80.50 c 80.5s| 55000 | 563 |720239 | 13.1 | 15M| 68 | - | 666 |1434 | 0 | 0 | 31 | 25k|6034 | 9.055556e+01 | 1.220000e+02 | 34.72%
80.58/80.60 c 80.6s| 55100 | 553 |721179 | 13.1 | 14M| 68 | - | 666 |1437 | 666 |1043 | 31 | 25k|6035 | 9.055556e+01 | 1.220000e+02 | 34.72%
80.68/80.74 c 80.7s| 55200 | 522 |722345 | 13.1 | 14M| 68 | - | 666 |1436 | 666 |1043 | 31 | 25k|6042 | 9.063636e+01 | 1.220000e+02 | 34.60%
80.78/80.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
80.78/80.84 c 80.8s| 55300 | 511 |723245 | 13.1 | 14M| 68 | 47 | 666 |1422 | 666 |1043 | 31 | 25k|6042 | 9.085413e+01 | 1.220000e+02 | 34.28%
80.87/80.95 c 81.0s| 55400 | 483 |724200 | 13.1 | 13M| 68 | 39 | 666 |1440 | 666 |1043 | 31 | 25k|6047 | 9.100000e+01 | 1.220000e+02 | 34.07%
80.98/81.06 c 81.1s| 55500 | 463 |725106 | 13.1 | 13M| 68 | - | 666 |1440 | 0 | 0 | 31 | 25k|6050 | 9.100000e+01 | 1.220000e+02 | 34.07%
81.08/81.15 c 81.2s| 55600 | 444 |725833 | 13.0 | 13M| 68 | 41 | 666 |1450 | 666 |1043 | 31 | 25k|6051 | 9.116667e+01 | 1.220000e+02 | 33.82%
81.17/81.24 c 81.2s| 55700 | 427 |726708 | 13.0 | 13M| 68 | 37 | 666 |1456 | 666 |1043 | 31 | 25k|6051 | 9.161538e+01 | 1.220000e+02 | 33.17%
81.28/81.35 c 81.3s| 55800 | 401 |727599 | 13.0 | 12M| 68 | 35 | 666 |1438 | 666 |1043 | 31 | 25k|6051 | 9.188095e+01 | 1.220000e+02 | 32.78%
81.38/81.45 c 81.5s| 55900 | 389 |728576 | 13.0 | 12M| 68 | 47 | 666 |1440 | 666 |1043 | 31 | 25k|6052 | 9.200000e+01 | 1.220000e+02 | 32.61%
81.47/81.55 c 81.5s| 56000 | 364 |729386 | 13.0 | 12M| 68 | 43 | 666 |1448 | 666 |1043 | 31 | 25k|6052 | 9.200000e+01 | 1.220000e+02 | 32.61%
81.58/81.66 c 81.7s| 56100 | 347 |730357 | 13.0 | 12M| 68 | 44 | 666 |1461 | 666 |1043 | 31 | 25k|6052 | 9.200000e+01 | 1.220000e+02 | 32.61%
81.67/81.77 c 81.8s| 56200 | 318 |731388 | 13.0 | 11M| 68 | 48 | 666 |1466 | 666 |1043 | 31 | 25k|6056 | 9.232258e+01 | 1.220000e+02 | 32.15%
81.87/81.90 c 81.9s| 56300 | 288 |732542 | 13.0 | 11M| 68 | 41 | 666 |1438 | 666 |1043 | 31 | 25k|6058 | 9.257143e+01 | 1.220000e+02 | 31.79%
81.87/82.00 c 82.0s| 56400 | 264 |733416 | 13.0 | 10M| 68 | - | 666 |1443 | 0 | 0 | 31 | 25k|6059 | 9.283333e+01 | 1.220000e+02 | 31.42%
82.07/82.10 c 82.1s| 56500 | 239 |734383 | 13.0 | 10M| 68 | - | 666 |1450 | 0 | 0 | 31 | 25k|6059 | 9.350000e+01 | 1.220000e+02 | 30.48%
82.18/82.20 c 82.2s| 56600 | 217 |735291 | 13.0 |9896k| 68 | 43 | 666 |1440 | 666 |1043 | 31 | 25k|6061 | 9.366667e+01 | 1.220000e+02 | 30.25%
82.28/82.30 c 82.3s| 56700 | 191 |736274 | 13.0 |9474k| 68 | 38 | 666 |1447 | 666 |1043 | 31 | 26k|6061 | 9.366667e+01 | 1.220000e+02 | 30.25%
82.38/82.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.38/82.41 c 82.4s| 56800 | 169 |737283 | 13.0 |9133k| 68 | - | 666 |1449 | 666 |1043 | 31 | 26k|6063 | 9.387500e+01 | 1.220000e+02 | 29.96%
82.48/82.54 c 82.5s| 56900 | 127 |738498 | 13.0 |8317k| 68 | 48 | 666 |1441 | 666 |1043 | 31 | 26k|6066 | 9.450000e+01 | 1.220000e+02 | 29.10%
82.58/82.65 c 82.6s| 57000 | 84 |739347 | 13.0 |7510k| 68 | - | 666 |1425 | 666 |1043 | 31 | 26k|6070 | 9.588889e+01 | 1.220000e+02 | 27.23%
82.77/82.80 c 82.8s| 57100 | 53 |740620 | 13.0 |6825k| 68 | - | 666 |1415 | 666 |1043 | 31 | 26k|6086 | 9.755556e+01 | 1.220000e+02 | 25.06%
82.88/82.91 c
82.88/82.91 c SCIP Status : problem is solved [optimal solution found]
82.88/82.91 c Solving Time (sec) : 82.91
82.88/82.91 c Solving Nodes : 57195
82.88/82.91 c Primal Bound : +1.22000000000000e+02 (84 solutions)
82.88/82.91 c Dual Bound : +1.22000000000000e+02
82.88/82.91 c Gap : 0.00 %
82.88/82.91 s OPTIMUM FOUND
82.88/82.91 v x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767
82.88/82.91 v x766 x765 x764 x763 x762 x761 x760 x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 x746 x745 x744 x743 x742
82.88/82.91 v x741 x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 x727 x726 x725 x724 x723 x722 x721 x720 x719 x718 x717
82.88/82.91 v x716 x715 x714 x713 x712 x711 x710 x709 x708 x707 x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693 x692
82.88/82.91 v x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668 x667
82.88/82.91 v -x666 -x665 -x664 x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646
82.88/82.91 v x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625
82.88/82.91 v -x624 -x623 -x622 x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603
82.88/82.91 v -x602 -x601 -x600 x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582
82.88/82.91 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 -x563 x562 -x561
82.88/82.91 v -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
82.88/82.91 v -x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519
82.88/82.91 v -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
82.88/82.91 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
82.88/82.91 v -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
82.88/82.91 v -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
82.88/82.91 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414
82.88/82.91 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393
82.88/82.91 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
82.88/82.91 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
82.88/82.91 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
82.88/82.91 v -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
82.88/82.91 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289
82.88/82.91 v -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268
82.88/82.91 v -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
82.88/82.91 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
82.88/82.91 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
82.88/82.91 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
82.88/82.91 v -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164
82.88/82.91 v -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
82.88/82.91 v -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 x123 -x122
82.88/82.91 v -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
82.88/82.91 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
82.88/82.91 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
82.88/82.91 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26
82.88/82.91 v -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
82.88/82.91 c SCIP Status : problem is solved [optimal solution found]
82.88/82.91 c Total Time : 82.91
82.88/82.91 c solving : 82.91
82.88/82.91 c presolving : 0.03 (included in solving)
82.88/82.91 c reading : 0.00 (included in solving)
82.88/82.91 c copying : 0.14 (19 #copies) (minimal 0.01, maximal 0.01, average 0.01)
82.88/82.91 c Original Problem :
82.88/82.91 c Problem name : HOME/instance-3693651-1338042328.opb
82.88/82.91 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
82.88/82.91 c Constraints : 1170 initial, 1170 maximal
82.88/82.91 c Objective sense : minimize
82.88/82.91 c Presolved Problem :
82.88/82.91 c Problem name : t_HOME/instance-3693651-1338042328.opb
82.88/82.91 c Variables : 666 (666 binary, 0 integer, 0 implicit integer, 0 continuous)
82.88/82.91 c Constraints : 1035 initial, 1488 maximal
82.88/82.91 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
82.88/82.91 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c dualfix : 0.00 0.00 126 0 0 0 0 0 0 0 0
82.88/82.91 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c probing : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c setppc : 0.00 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c linear : 0.01 0.00 0 0 0 0 0 135 0 0 0
82.88/82.91 c logicor : 0.01 0.00 0 0 0 0 0 0 0 0 0
82.88/82.91 c root node : - - 2 - - 2 - - - - -
82.88/82.91 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
82.88/82.91 c integral : 0 0 0 0 33709 0 83 0 257 1328 0 0 64790
82.88/82.91 c setppc : 20 20 6 133134 11 0 80 68475 7208 253905 0 0 0
82.88/82.91 c linear : 7 7 6 125919 11 0 77 7647 799 78514 0 0 0
82.88/82.91 c logicor : 1008+ 1461 6 98501 12 0 77 180543 13786 722117 0 0 0
82.88/82.91 c countsols : 0 0 0 0 7 0 79 0 0 0 0 0 0
82.88/82.91 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
82.88/82.91 c integral : 10.89 0.00 0.00 0.00 10.89 0.00 0.00 0.00
82.88/82.91 c setppc : 0.82 0.00 0.00 0.79 0.00 0.00 0.00 0.04
82.88/82.91 c linear : 0.34 0.00 0.00 0.33 0.00 0.00 0.00 0.01
82.88/82.91 c logicor : 3.00 0.00 0.00 2.84 0.00 0.00 0.00 0.16
82.88/82.91 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
82.88/82.91 c Propagators : #Propagate #ResProp Cutoffs DomReds
82.88/82.91 c rootredcost : 8 0 0 0
82.88/82.91 c pseudoobj : 167123 8580 323 118676
82.88/82.91 c vbounds : 0 0 0 0
82.88/82.91 c redcost : 54949 0 0 3214408
82.88/82.91 c probing : 0 0 0 0
82.88/82.91 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
82.88/82.91 c rootredcost : 0.04 0.00 0.00 0.04 0.00
82.88/82.91 c pseudoobj : 0.53 0.00 0.00 0.30 0.24
82.88/82.91 c vbounds : 0.03 0.00 0.00 0.03 0.00
82.88/82.91 c redcost : 2.36 0.00 0.00 2.36 0.00
82.88/82.91 c probing : 0.00 0.00 0.00 0.00 0.00
82.88/82.91 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
82.88/82.91 c propagation : 1.05 22059 18823 52039 74.8 351 24.8 -
82.88/82.91 c infeasible LP : 0.04 341 341 1298 54.7 4 10.0 0
82.88/82.91 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
82.88/82.91 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
82.88/82.91 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
82.88/82.91 c applied globally : - - - 17011 42.5 - - -
82.88/82.91 c applied locally : - - - 9257 87.4 - - -
82.88/82.91 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
82.88/82.91 c cut pool : 0.00 5 - - 4 - (maximal pool size: 237)
82.88/82.91 c closecuts : 0.00 0.00 0 0 0 0 0
82.88/82.91 c impliedbounds : 0.00 0.00 6 0 0 0 0
82.88/82.91 c intobj : 0.00 0.00 0 0 0 0 0
82.88/82.91 c gomory : 0.03 0.00 6 0 0 300 0
82.88/82.91 c cgmip : 0.00 0.00 0 0 0 0 0
82.88/82.91 c strongcg : 0.14 0.00 6 0 0 1872 0
82.88/82.91 c cmir : 0.01 0.00 6 0 0 1 0
82.88/82.91 c flowcover : 0.02 0.00 6 0 0 4 0
82.88/82.91 c clique : 0.00 0.00 6 0 0 0 0
82.88/82.91 c zerohalf : 0.00 0.00 0 0 0 0 0
82.88/82.91 c mcf : 0.00 0.00 1 0 0 0 0
82.88/82.91 c oddcycle : 0.00 0.00 0 0 0 0 0
82.88/82.91 c rapidlearning : 0.00 0.00 0 0 0 0 0
82.88/82.91 c Pricers : ExecTime SetupTime Calls Vars
82.88/82.91 c problem variables: 0.00 - 0 0
82.88/82.91 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
82.88/82.91 c relpscost : 10.86 0.00 33697 257 1328 0 0 64790
82.88/82.91 c pscost : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c inference : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c mostinf : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c leastinf : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c fullstrong : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c random : 0.00 0.00 0 0 0 0 0 0
82.88/82.91 c Primal Heuristics : ExecTime SetupTime Calls Found
82.88/82.91 c LP solutions : 0.00 - - 7
82.88/82.91 c pseudo solutions : 0.00 - - 0
82.88/82.91 c feaspump : 0.00 0.00 0 0
82.88/82.91 c oneopt : 0.02 0.00 10 1
82.88/82.91 c crossover : 0.61 0.00 14 1
82.88/82.91 c pscostdiving : 0.24 0.00 142 0
82.88/82.91 c fracdiving : 0.29 0.00 144 0
82.88/82.91 c veclendiving : 0.25 0.00 144 0
82.88/82.91 c coefdiving : 0.42 0.00 144 0
82.88/82.91 c guideddiving : 0.25 0.00 146 0
82.88/82.91 c linesearchdiving : 0.15 0.00 146 1
82.88/82.91 c rootsoldiving : 0.82 0.00 74 5
82.88/82.91 c objpscostdiving : 0.71 0.00 76 5
82.88/82.91 c smallcard : 0.00 0.00 0 0
82.88/82.91 c trivial : 0.00 0.00 2 0
82.88/82.91 c shiftandpropagate: 0.01 0.00 1 1
82.88/82.91 c simplerounding : 0.36 0.00 33700 0
82.88/82.91 c zirounding : 0.33 0.00 0 0
82.88/82.91 c rounding : 0.13 0.00 2524 0
82.88/82.91 c shifting : 0.76 0.00 3299 63
82.88/82.91 c intshifting : 0.00 0.00 0 0
82.88/82.91 c twoopt : 0.00 0.00 0 0
82.88/82.91 c indtwoopt : 0.00 0.00 0 0
82.88/82.91 c indoneopt : 0.03 0.00 0 0
82.88/82.91 c fixandinfer : 0.00 0.00 0 0
82.88/82.91 c clique : 0.00 0.00 0 0
82.88/82.91 c indcoefdiving : 0.00 0.00 0 0
82.88/82.91 c indrounding : 0.00 0.00 0 0
82.88/82.91 c nlpdiving : 0.00 0.00 0 0
82.88/82.91 c intdiving : 0.00 0.00 0 0
82.88/82.91 c actconsdiving : 0.00 0.00 0 0
82.88/82.91 c octane : 0.00 0.00 0 0
82.88/82.91 c rens : 0.02 0.00 1 0
82.88/82.91 c rins : 0.00 0.00 0 0
82.88/82.91 c localbranching : 0.00 0.00 0 0
82.88/82.91 c mutation : 0.00 0.00 0 0
82.88/82.91 c dins : 0.00 0.00 0 0
82.88/82.91 c vbounds : 0.00 0.00 0 0
82.88/82.91 c undercover : 0.00 0.00 0 0
82.88/82.91 c subnlp : 0.01 0.00 0 0
82.88/82.91 c trysol : 0.03 0.00 0 0
82.88/82.91 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
82.88/82.91 c primal LP : 0.00 1 0 0.00 - 0.00 1
82.88/82.91 c dual LP : 45.75 65649 703449 16.16 15374.62 4.24 22114
82.88/82.91 c lex dual LP : 0.00 0 0 0.00 -
82.88/82.91 c barrier LP : 0.00 0 0 0.00 - 0.00 0
82.88/82.91 c diving/probing LP: 2.29 4026 38116 9.47 16663.32
82.88/82.91 c strong branching : 10.27 6089 145066 23.82 14125.55
82.88/82.91 c (at root node) : - 28 4917 175.61 -
82.88/82.91 c conflict analysis: 0.00 0 0 0.00 -
82.88/82.91 c B&B Tree :
82.88/82.91 c number of runs : 1
82.88/82.91 c nodes : 57195
82.88/82.91 c nodes (total) : 57195
82.88/82.91 c nodes left : 0
82.88/82.91 c max depth : 68
82.88/82.91 c max depth (total): 68
82.88/82.91 c backtracks : 12344 (21.6%)
82.88/82.91 c delayed cutoffs : 6680
82.88/82.91 c repropagations : 10024 (231284 domain reductions, 6630 cutoffs)
82.88/82.91 c avg switch length: 8.82
82.88/82.91 c switching time : 4.82
82.88/82.91 c Solution :
82.88/82.91 c Solutions found : 84 (10 improvements)
82.88/82.91 c First Solution : +1.83920000000000e+04 (in run 1, after 1 nodes, 0.04 seconds, depth 522, found by <shiftandpropagate>)
82.88/82.91 c Primal Bound : +1.22000000000000e+02 (in run 1, after 26804 nodes, 47.11 seconds, depth 31, found by <relaxation>)
82.88/82.91 c Dual Bound : +1.22000000000000e+02
82.88/82.91 c Gap : 0.00 %
82.88/82.91 c Root Dual Bound : +3.20000000000000e+01
82.88/82.91 c Root Iterations : 390
82.88/82.92 c Time complete: 82.9.
OK 122
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-3693651-1338042328/watcher-3693651-1338042328 -o /tmp/evaluation-result-3693651-1338042328/solver-3693651-1338042328 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693651-1338042328.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 5407 /proc/meminfo: memFree=28679132/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=10460 CPUtime=0 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 1346 0 0 0 0 0 0 0 20 0 1 0 270358545 10711040 1300 33554432000 4194304 10169799 140733311095616 140734750120280 7543003 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 2615 1300 403 1459 0 1147 0 [startup+0.0183329 s] /proc/loadavg: 2.00 2.00 2.00 3/176 5407 /proc/meminfo: memFree=28679132/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=19632 CPUtime=0.01 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 3462 0 0 0 1 0 0 0 20 0 1 0 270358545 20103168 3416 33554432000 4194304 10169799 140733311095616 140734750120280 7543003 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 4908 3416 549 1459 0 3440 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 19632 [startup+0.100224 s] /proc/loadavg: 2.00 2.00 2.00 3/176 5407 /proc/meminfo: memFree=28679132/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=27236 CPUtime=0.09 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 5879 0 0 0 8 1 0 0 20 0 1 0 270358545 27889664 5575 33554432000 4194304 10169799 140733311095616 140734750120280 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 6809 5575 797 1459 0 5341 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27236 [startup+0.300206 s] /proc/loadavg: 2.00 2.00 2.00 3/176 5407 /proc/meminfo: memFree=28679132/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=41540 CPUtime=0.29 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 9177 0 0 0 27 2 0 0 20 0 1 0 270358545 42536960 8873 33554432000 4194304 10169799 140733311095616 140733311091928 6012304 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 10385 8873 838 1459 0 8917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41540 [startup+0.700177 s] /proc/loadavg: 2.00 2.00 2.00 3/176 5407 /proc/meminfo: memFree=28679132/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=31148 CPUtime=0.69 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 9254 0 0 0 66 3 0 0 20 0 1 0 270358545 31895552 6628 33554432000 4194304 10169799 140733311095616 140733311091928 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 7787 6628 843 1459 0 6319 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31148 [startup+1.50017 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28654912/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=31444 CPUtime=1.49 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 9328 0 0 0 145 4 0 0 20 0 1 0 270358545 32198656 6702 33554432000 4194304 10169799 140733311095616 140733311090312 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 7861 6702 843 1459 0 6393 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31444 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28654664/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=31444 CPUtime=3.09 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 9341 0 0 0 303 6 0 0 20 0 1 0 270358545 32198656 6715 33554432000 4194304 10169799 140733311095616 140733311090216 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 7861 6715 849 1459 0 6393 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31444 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28640228/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=32976 CPUtime=6.29 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 13163 0 0 0 616 13 0 0 20 0 1 0 270358545 33767424 7113 33554432000 4194304 10169799 140733311095616 140733311090632 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 8244 7113 858 1459 0 6776 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32976 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28640440/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=43172 CPUtime=12.68 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 26427 0 0 0 1239 29 0 0 20 0 1 0 270358545 44208128 9636 33554432000 4194304 10169799 140733311095616 140733311089416 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 10793 9636 858 1459 0 9325 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43172 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28614392/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=65704 CPUtime=25.48 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 48955 0 0 0 2491 57 0 0 20 0 1 0 270358545 67280896 15195 33554432000 4194304 10169799 140733311095616 140733311090600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 16426 15195 865 1459 0 14958 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65704 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28586452/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=91864 CPUtime=51.08 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 69155 0 0 0 4991 117 0 0 20 0 1 0 270358545 94068736 21704 33554432000 4194304 10169799 140733311095616 140733311090120 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 22966 21704 865 1459 0 21498 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 91864 Solver just ended. Dumping a history of the last processes samples [startup+63.9002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 5408 /proc/meminfo: memFree=28583220/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=94516 CPUtime=63.88 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 76186 0 0 0 6240 148 0 0 20 0 1 0 270358545 96784384 22335 33554432000 4194304 10169799 140733311095616 140733311090120 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23629 22335 865 1459 0 22161 0 Current children cumulated CPU time (s) 63.88 Current children cumulated vsize (KiB) 94516 [startup+76.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28568008/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=94992 CPUtime=76.67 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 76341 0 0 0 7492 175 0 0 20 0 1 0 270358545 97271808 22490 33554432000 4194304 10169799 140733311095616 140733311090600 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23748 22490 865 1459 0 22280 0 Current children cumulated CPU time (s) 76.67 Current children cumulated vsize (KiB) 94992 [startup+79.9002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28566628/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=95060 CPUtime=79.87 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 77406 0 0 0 7804 183 0 0 20 0 1 0 270358545 97341440 22505 33554432000 4194304 10169799 140733311095616 140733311090440 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23765 22505 865 1459 0 22297 0 Current children cumulated CPU time (s) 79.87 Current children cumulated vsize (KiB) 95060 [startup+81.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28566380/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=95200 CPUtime=81.47 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 77418 0 0 0 7961 186 0 0 20 0 1 0 270358545 97484800 22517 33554432000 4194304 10169799 140733311095616 140733311093288 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23800 22517 865 1459 0 22332 0 Current children cumulated CPU time (s) 81.47 Current children cumulated vsize (KiB) 95200 [startup+82.3003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28566380/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=95200 CPUtime=82.28 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 77418 0 0 0 8039 189 0 0 20 0 1 0 270358545 97484800 22517 33554432000 4194304 10169799 140733311095616 140733311090040 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23800 22517 865 1459 0 22332 0 Current children cumulated CPU time (s) 82.28 Current children cumulated vsize (KiB) 95200 [startup+82.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28564332/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=95200 CPUtime=82.68 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 77419 0 0 0 8078 190 0 0 20 0 1 0 270358545 97484800 22518 33554432000 4194304 10169799 140733311095616 140733311090040 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23800 22518 865 1459 0 22332 0 Current children cumulated CPU time (s) 82.68 Current children cumulated vsize (KiB) 95200 [startup+82.9002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 5409 /proc/meminfo: memFree=28564332/32873660 swapFree=7108/7108 [pid=5407] ppid=5405 vsize=95200 CPUtime=82.88 cores=1,3,5,7 /proc/5407/stat : 5407 (scip-2.1.1.4sfi) R 5405 5407 3226 0 -1 4202496 77419 0 0 0 8097 191 0 0 20 0 1 0 270358545 97484800 22518 33554432000 4194304 10169799 140733311095616 140733311090040 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/5407/statm: 23800 22518 865 1459 0 22332 0 Current children cumulated CPU time (s) 82.88 Current children cumulated vsize (KiB) 95200 Child status: 0 Real time (s): 82.9246 CPU time (s): 82.9094 CPU user time (s): 80.9907 CPU system time (s): 1.91871 CPU usage (%): 99.9817 Max. virtual memory (cumulated for all children) (KiB): 99060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 80.9907 system time used= 1.91871 maximum resident set size= 103660 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77426 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= 3 involuntary context switches= 103 runsolver used 0.122981 second user time and 0.343947 second system time The end
Begin job on node117 at 2012-05-26 16:25:28 IDJOB=3693651 IDBENCH=89854 IDSOLVER=2272 FILE ID=node117/3693651-1338042328 RUNJOBID= node117-1338029730-4453 PBS_JOBID= 14624354 Free space on /tmp= 71492 MiB SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693651-1338042328/watcher-3693651-1338042328 -o /tmp/evaluation-result-3693651-1338042328/solver-3693651-1338042328 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693651-1338042328.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb RANDOM SEED=1313804268 node117.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 : 2667.148 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 : 5334.29 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 : 2667.148 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 : 2667.148 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.91 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 : 2667.148 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.95 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 : 2667.148 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.91 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 : 2667.148 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.91 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 : 2667.148 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 : 2667.148 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: 32873660 kB MemFree: 28679396 kB Buffers: 269612 kB Cached: 2849812 kB SwapCached: 0 kB Active: 875456 kB Inactive: 2536032 kB Active(anon): 294176 kB Inactive(anon): 0 kB Active(file): 581280 kB Inactive(file): 2536032 kB Unevictable: 7108 kB Mlocked: 7108 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 13616 kB Writeback: 0 kB AnonPages: 499292 kB Mapped: 17744 kB Shmem: 200 kB Slab: 644140 kB SReclaimable: 88728 kB SUnreclaim: 555412 kB KernelStack: 1480 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545684 kB Committed_AS: 412412 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 227328 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= 71480 MiB End job on node117 at 2012-05-26 16:26:51