Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -99 | 1797 | 1797.31 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.01 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692628-1338036852.opb>
0.00/0.08 c original problem has 16820 variables (1000 bin, 0 int, 15820 impl, 0 cont) and 17820 constraints
0.00/0.08 c problem read in 0.08
0.19/0.20 o 0
0.19/0.21 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.21 c presolving:
0.39/0.41 c (round 1) 15820 del vars, 2000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31640 impls, 0 clqs
0.39/0.45 c (round 2) 15820 del vars, 2000 del conss, 0 add conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 15820 upgd conss, 31640 impls, 0 clqs
0.39/0.49 c (0.5s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.49 c (0.5s) probing aborted: 50/50 successive totally useless probings
0.49/0.50 c presolving (3 rounds):
0.49/0.50 c 15820 deleted vars, 2000 deleted constraints, 0 added constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.50 c 63278 implications, 0 cliques
0.49/0.50 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
0.49/0.50 c 15820 constraints of type <setppc>
0.49/0.50 c transformed objective value is always integral (scale: 1)
0.49/0.50 c Presolving Time: 0.34
0.49/0.50 c - non default parameters ----------------------------------------------------------------------
0.49/0.50 c # SCIP version 2.1.1.4
0.49/0.50 c
0.49/0.50 c # maximal time in seconds to run
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/time = 1797
0.49/0.50 c
0.49/0.50 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.50 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.50 c limits/memory = 13950
0.49/0.50 c
0.49/0.50 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.49/0.50 c # [type: int, range: [1,2], default: 1]
0.49/0.50 c timing/clocktype = 2
0.49/0.50 c
0.49/0.50 c # belongs reading time to solving time?
0.49/0.50 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.50 c timing/reading = TRUE
0.49/0.50 c
0.49/0.50 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.49/0.50 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.50 c separating/rapidlearning/freq = 0
0.49/0.50 c
0.49/0.50 c -----------------------------------------------------------------------------------------------
0.49/0.50 c start solving
0.49/0.50 c
0.59/0.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.66 c t 0.7s| 1 | 0 | 1042 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.59/0.69 o -1
0.59/0.69 c R 0.7s| 1 | 0 | 1042 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.69/0.72 o -2
0.69/0.72 c s 0.7s| 1 | 0 | 1042 | - | 54M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
0.89/0.96 c 1.0s| 1 | 0 | 1230 | - | 54M| 0 | 990 |1000 | 15k|1000 | 15k| 11 | 0 | 0 |-4.950000e+02 |-2.000000e+00 | Large
0.89/0.97 o -99
0.89/0.97 c b 1.0s| 1 | 0 | 1230 | - | 54M| 0 | 990 |1000 | 15k|1000 | 15k| 11 | 0 | 0 |-4.950000e+02 |-9.900000e+01 | 400.00%
1.19/1.28 c 1.3s| 1 | 0 | 1477 | - | 54M| 0 | 984 |1000 | 15k|1000 | 15k| 24 | 0 | 0 |-4.920000e+02 |-9.900000e+01 | 396.97%
1.49/1.56 c 1.6s| 1 | 0 | 1585 | - | 54M| 0 | 981 |1000 | 15k|1000 | 15k| 32 | 0 | 0 |-4.905000e+02 |-9.900000e+01 | 395.45%
1.79/1.89 c 1.9s| 1 | 0 | 1813 | - | 54M| 0 | 978 |1000 | 15k|1000 | 15k| 40 | 0 | 0 |-4.890000e+02 |-9.900000e+01 | 393.94%
2.09/2.17 c 2.2s| 1 | 0 | 1950 | - | 54M| 0 | 973 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.865000e+02 |-9.900000e+01 | 391.41%
2.48/2.50 c 2.5s| 1 | 0 | 2143 | - | 54M| 0 | 967 |1000 | 15k|1000 | 15k| 60 | 0 | 0 |-4.835000e+02 |-9.900000e+01 | 388.38%
3.69/3.71 c 3.7s| 1 | 0 | 3985 | - | 55M| 0 | 963 |1000 | 15k|1000 | 15k| 70 | 0 | 0 |-4.805000e+02 |-9.900000e+01 | 385.35%
4.09/4.16 c 4.2s| 1 | 0 | 4326 | - | 55M| 0 | 956 |1000 | 15k|1000 | 15k| 80 | 0 | 0 |-4.775000e+02 |-9.900000e+01 | 382.32%
4.78/4.82 c 4.8s| 1 | 0 | 5189 | - | 55M| 0 | 952 |1000 | 15k|1000 | 15k| 92 | 0 | 0 |-4.757500e+02 |-9.900000e+01 | 380.56%
5.19/5.25 c 5.2s| 1 | 0 | 5572 | - | 55M| 0 | 948 |1000 | 15k|1000 | 15k| 103 | 0 | 0 |-4.737500e+02 |-9.900000e+01 | 378.54%
5.50/5.58 c 5.6s| 1 | 0 | 6016 | - | 55M| 0 | 943 |1000 | 15k|1000 |1684 | 115 | 0 | 0 |-4.710000e+02 |-9.900000e+01 | 375.76%
5.69/5.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.69/5.77 c 5.8s| 1 | 0 | 6540 | - | 55M| 0 | 939 |1000 | 15k|1000 |1699 | 130 | 0 | 0 |-4.677500e+02 |-9.900000e+01 | 372.47%
5.89/5.95 c 6.0s| 1 | 0 | 7081 | - | 56M| 0 | 931 |1000 | 15k|1000 |1900 | 331 | 0 | 0 |-4.670000e+02 |-9.900000e+01 | 371.72%
6.19/6.21 c 6.2s| 1 | 0 | 7949 | - | 56M| 0 | 929 |1000 | 15k|1000 |2054 | 485 | 0 | 0 |-4.645000e+02 |-9.900000e+01 | 369.19%
6.38/6.43 c 6.4s| 1 | 0 | 8732 | - | 56M| 0 | 921 |1000 | 15k|1000 |2064 | 495 | 0 | 0 |-4.635000e+02 |-9.900000e+01 | 368.18%
6.60/6.67 c 6.7s| 1 | 0 | 9684 | - | 56M| 0 | 922 |1000 | 15k|1000 |2153 | 584 | 0 | 0 |-4.625000e+02 |-9.900000e+01 | 367.17%
6.89/6.95 c 7.0s| 1 | 0 | 10609 | - | 56M| 0 | 927 |1000 | 15k|1000 |2040 | 858 | 0 | 0 |-4.615000e+02 |-9.900000e+01 | 366.16%
7.09/7.17 c 7.2s| 1 | 0 | 10961 | - | 57M| 0 | 909 |1000 | 15k|1000 |2172 | 990 | 0 | 0 |-4.600000e+02 |-9.900000e+01 | 364.65%
7.48/7.55 c 7.6s| 1 | 0 | 12013 | - | 58M| 0 | 882 |1000 | 15k|1000 |2373 |1191 | 0 | 0 |-4.590000e+02 |-9.900000e+01 | 363.64%
7.89/7.95 c 8.0s| 1 | 0 | 13963 | - | 58M| 0 | 900 |1000 | 15k|1000 |2825 |1643 | 0 | 0 |-4.570000e+02 |-9.900000e+01 | 361.62%
8.09/8.11 c 8.1s| 1 | 0 | 14556 | - | 58M| 0 | 907 |1000 | 15k|1000 |3055 |1873 | 0 | 0 |-4.562500e+02 |-9.900000e+01 | 360.86%
8.29/8.31 c 8.3s| 1 | 0 | 15384 | - | 58M| 0 | 909 |1000 | 15k|1000 |3135 |1953 | 0 | 0 |-4.555000e+02 |-9.900000e+01 | 360.10%
8.49/8.55 c 8.5s| 1 | 0 | 16531 | - | 58M| 0 | 915 |1000 | 15k|1000 |2705 |2005 | 0 | 0 |-4.540000e+02 |-9.900000e+01 | 358.59%
8.69/8.77 c 8.8s| 1 | 0 | 17551 | - | 58M| 0 | 921 |1000 | 15k|1000 |2929 |2229 | 0 | 0 |-4.532500e+02 |-9.900000e+01 | 357.83%
8.99/9.06 c 9.1s| 1 | 0 | 18911 | - | 58M| 0 | 888 |1000 | 15k|1000 |3317 |2617 | 0 | 0 |-4.510000e+02 |-9.900000e+01 | 355.56%
9.19/9.21 c 9.2s| 1 | 0 | 19373 | - | 59M| 0 | 898 |1000 | 15k|1000 |3499 |2799 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 354.55%
9.29/9.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.29/9.34 c 9.3s| 1 | 0 | 19613 | - | 59M| 0 | 895 |1000 | 15k|1000 |3542 |2842 | 0 | 0 |-4.495000e+02 |-9.900000e+01 | 354.04%
9.39/9.48 c 9.5s| 1 | 0 | 19939 | - | 59M| 0 | 898 |1000 | 15k|1000 |3602 |2902 | 0 | 0 |-4.490000e+02 |-9.900000e+01 | 353.54%
9.59/9.63 c 9.6s| 1 | 0 | 20275 | - | 59M| 0 | 889 |1000 | 15k|1000 |2754 |2909 | 0 | 0 |-4.485000e+02 |-9.900000e+01 | 353.03%
9.68/9.75 c 9.8s| 1 | 0 | 20586 | - | 59M| 0 | 890 |1000 | 15k|1000 |2840 |2995 | 0 | 0 |-4.480000e+02 |-9.900000e+01 | 352.53%
9.89/9.92 c 9.9s| 1 | 0 | 21156 | - | 59M| 0 | 883 |1000 | 15k|1000 |2929 |3084 | 0 | 0 |-4.475000e+02 |-9.900000e+01 | 352.02%
9.98/10.06 c 10.1s| 1 | 0 | 21576 | - | 59M| 0 | 885 |1000 | 15k|1000 |3071 |3226 | 0 | 0 |-4.465000e+02 |-9.900000e+01 | 351.01%
10.08/10.19 c 10.2s| 1 | 0 | 22053 | - | 59M| 0 | 892 |1000 | 15k|1000 |3174 |3329 | 0 | 0 |-4.460000e+02 |-9.900000e+01 | 350.51%
10.28/10.35 c 10.4s| 1 | 0 | 22574 | - | 59M| 0 | 890 |1000 | 15k|1000 |3180 |3335 | 0 | 0 |-4.450000e+02 |-9.900000e+01 | 349.49%
10.49/10.53 c 10.5s| 1 | 0 | 23212 | - | 59M| 0 | 886 |1000 | 15k|1000 |1790 |3341 | 0 | 0 |-4.440000e+02 |-9.900000e+01 | 348.48%
10.59/10.62 c 10.6s| 1 | 0 | 23324 | - | 59M| 0 | 877 |1000 | 15k|1000 |1820 |3371 | 0 | 0 |-4.435000e+02 |-9.900000e+01 | 347.98%
10.69/10.71 c 10.7s| 1 | 0 | 23444 | - | 59M| 0 | 881 |1000 | 15k|1000 |1947 |3498 | 0 | 0 |-4.430000e+02 |-9.900000e+01 | 347.47%
10.90/10.91 c 10.9s| 1 | 0 | 24499 | - | 59M| 0 | 859 |1000 | 15k|1000 |2286 |3837 | 0 | 0 |-4.415000e+02 |-9.900000e+01 | 345.96%
11.09/11.15 c 11.1s| 1 | 0 | 25945 | - | 59M| 0 | 870 |1000 | 15k|1000 |2608 |4159 | 0 | 0 |-4.400000e+02 |-9.900000e+01 | 344.44%
11.19/11.28 c 11.3s| 1 | 0 | 26303 | - | 59M| 0 | 879 |1000 | 15k|1000 |2744 |4295 | 0 | 0 |-4.395000e+02 |-9.900000e+01 | 343.94%
11.39/11.41 c 11.4s| 1 | 0 | 26625 | - | 59M| 0 | 882 |1000 | 15k|1000 |2194 |4299 | 0 | 0 |-4.390000e+02 |-9.900000e+01 | 343.43%
11.49/11.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
11.49/11.58 c 11.6s| 1 | 0 | 27305 | - | 59M| 0 | 901 |1000 | 15k|1000 |2386 |4491 | 0 | 0 |-4.381429e+02 |-9.900000e+01 | 342.57%
11.69/11.78 c 11.8s| 1 | 0 | 27441 | - | 60M| 0 | 875 |1000 | 15k|1000 |3713 |5818 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 341.92%
11.79/11.86 c 11.9s| 1 | 0 | 27446 | - | 60M| 0 | 875 |1000 | 15k|1000 |3718 |5823 | 0 | 0 |-4.375000e+02 |-9.900000e+01 | 341.92%
11.89/11.97 c 12.0s| 1 | 0 | 27668 | - | 60M| 0 | 873 |1000 | 15k|1000 |3724 |5829 | 0 | 0 |-4.365000e+02 |-9.900000e+01 | 340.91%
11.99/12.07 c 12.1s| 1 | 0 | 27807 | - | 60M| 0 | 872 |1000 | 15k|1000 |3729 |5834 | 0 | 0 |-4.360000e+02 |-9.900000e+01 | 340.40%
12.09/12.16 c 12.2s| 1 | 0 | 27915 | - | 60M| 0 | 869 |1000 | 15k|1000 |3352 |5839 | 0 | 0 |-4.355000e+02 |-9.900000e+01 | 339.90%
12.19/12.25 c 12.2s| 1 | 0 | 28000 | - | 60M| 0 | 869 |1000 | 15k|1000 |3381 |5868 | 0 | 0 |-4.345000e+02 |-9.900000e+01 | 338.89%
12.29/12.34 c 12.3s| 1 | 0 | 28089 | - | 60M| 0 | 865 |1000 | 15k|1000 |3388 |5875 | 0 | 0 |-4.335000e+02 |-9.900000e+01 | 337.88%
12.39/12.47 c 12.5s| 1 | 0 | 28529 | - | 60M| 0 | 864 |1000 | 15k|1000 |3416 |5903 | 0 | 0 |-4.320000e+02 |-9.900000e+01 | 336.36%
12.48/12.55 c 12.5s| 1 | 0 | 28532 | - | 60M| 0 | 864 |1000 | 15k|1000 |3420 |5907 | 0 | 0 |-4.320000e+02 |-9.900000e+01 | 336.36%
12.58/12.63 c 12.6s| 1 | 0 | 28592 | - | 60M| 0 | 864 |1000 | 15k|1000 |3424 |5911 | 0 | 0 |-4.320000e+02 |-9.900000e+01 | 336.36%
12.68/12.72 c 12.7s| 1 | 0 | 28653 | - | 60M| 0 | 863 |1000 | 15k|1000 |1558 |5915 | 0 | 0 |-4.315000e+02 |-9.900000e+01 | 335.86%
12.78/12.81 c 12.8s| 1 | 0 | 28789 | - | 60M| 0 | 868 |1000 | 15k|1000 |1563 |5920 | 0 | 0 |-4.310000e+02 |-9.900000e+01 | 335.35%
12.88/12.95 c 12.9s| 1 | 0 | 29411 | - | 60M| 0 | 860 |1000 | 15k|1000 |1807 |6164 | 0 | 0 |-4.300000e+02 |-9.900000e+01 | 334.34%
12.98/13.09 c 13.1s| 1 | 0 | 29822 | - | 60M| 0 | 838 |1000 | 15k|1000 |2252 |6609 | 0 | 0 |-4.290000e+02 |-9.900000e+01 | 333.33%
13.19/13.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
13.19/13.29 c 13.3s| 1 | 0 | 30963 | - | 61M| 0 | 842 |1000 | 15k|1000 |2489 |6846 | 0 | 0 |-4.270000e+02 |-9.900000e+01 | 331.31%
13.38/13.41 c 13.4s| 1 | 0 | 31360 | - | 61M| 0 | 849 |1000 | 15k|1000 |2634 |6991 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 330.81%
13.38/13.49 c 13.5s| 1 | 0 | 31408 | - | 61M| 0 | 849 |1000 | 15k|1000 |2443 |7061 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 330.81%
13.58/13.61 c 13.6s| 1 | 0 | 31695 | - | 61M| 0 | 847 |1000 | 15k|1000 |2484 |7102 | 0 | 0 |-4.255000e+02 |-9.900000e+01 | 329.80%
13.58/13.69 c 13.7s| 1 | 0 | 31763 | - | 61M| 0 | 841 |1000 | 15k|1000 |2536 |7154 | 0 | 0 |-4.255000e+02 |-9.900000e+01 | 329.80%
13.78/13.80 c 13.8s| 1 | 0 | 31974 | - | 61M| 0 | 832 |1000 | 15k|1000 |2641 |7259 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.78/13.88 c 13.9s| 1 | 0 | 32023 | - | 61M| 0 | 850 |1000 | 15k|1000 |2839 |7457 | 0 | 0 |-4.250000e+02 |-9.900000e+01 | 329.29%
13.88/13.98 c 14.0s| 1 | 0 | 32229 | - | 61M| 0 | 845 |1000 | 15k|1000 |2844 |7462 | 0 | 0 |-4.245000e+02 |-9.900000e+01 | 328.79%
13.98/14.08 c 14.1s| 1 | 0 | 32434 | - | 61M| 0 | 847 |1000 | 15k|1000 |2555 |7509 | 0 | 0 |-4.235000e+02 |-9.900000e+01 | 327.78%
14.08/14.17 c 14.2s| 1 | 0 | 32525 | - | 61M| 0 | 830 |1000 | 15k|1000 |2560 |7514 | 0 | 0 |-4.230000e+02 |-9.900000e+01 | 327.27%
14.29/14.31 c 14.3s| 1 | 0 | 33034 | - | 61M| 0 | 820 |1000 | 15k|1000 |2756 |7710 | 0 | 0 |-4.210000e+02 |-9.900000e+01 | 325.25%
14.39/14.44 c 14.4s| 1 | 0 | 33539 | - | 61M| 0 | 836 |1000 | 15k|1000 |3001 |7955 | 0 | 0 |-4.200000e+02 |-9.900000e+01 | 324.24%
14.49/14.58 c 14.6s| 1 | 0 | 34037 | - | 61M| 0 | 830 |1000 | 15k|1000 |3058 |8012 | 0 | 0 |-4.190000e+02 |-9.900000e+01 | 323.23%
14.69/14.72 c 14.7s| 1 | 0 | 34641 | - | 61M| 0 | 829 |1000 | 15k|1000 |3141 |8095 | 0 | 0 |-4.185000e+02 |-9.900000e+01 | 322.73%
14.79/14.83 c 14.8s| 1 | 0 | 34905 | - | 61M| 0 | 833 |1000 | 15k|1000 |2556 |8197 | 0 | 0 |-4.185000e+02 |-9.900000e+01 | 322.73%
14.99/15.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.99/15.01 c 15.0s| 1 | 0 | 35859 | - | 61M| 0 | 869 |1000 | 15k|1000 |2614 |8255 | 0 | 0 |-4.178889e+02 |-9.900000e+01 | 322.11%
15.09/15.15 c 15.2s| 1 | 0 | 36120 | - | 61M| 0 | 834 |1000 | 15k|1000 |3141 |8782 | 0 | 0 |-4.170000e+02 |-9.900000e+01 | 321.21%
15.19/15.27 c 15.3s| 1 | 0 | 36424 | - | 61M| 0 | 836 |1000 | 15k|1000 |3150 |8791 | 0 | 0 |-4.160000e+02 |-9.900000e+01 | 320.20%
15.29/15.39 c 15.4s| 1 | 0 | 36819 | - | 61M| 0 | 830 |1000 | 15k|1000 |3181 |8822 | 0 | 0 |-4.150000e+02 |-9.900000e+01 | 319.19%
15.39/15.48 c 15.5s| 1 | 0 | 36919 | - | 61M| 0 | 830 |1000 | 15k|1000 |3186 |8827 | 0 | 0 |-4.150000e+02 |-9.900000e+01 | 319.19%
15.48/15.55 c 15.6s| 1 | 0 | 36940 | - | 61M| 0 | 829 |1000 | 15k|1000 |2718 |8833 | 0 | 0 |-4.145000e+02 |-9.900000e+01 | 318.69%
15.58/15.69 c 15.7s| 1 | 0 | 37477 | - | 61M| 0 | 822 |1000 | 15k|1000 |2723 |8838 | 0 | 0 |-4.140000e+02 |-9.900000e+01 | 318.18%
15.68/15.79 c 15.8s| 1 | 0 | 37623 | - | 62M| 0 | 831 |1000 | 15k|1000 |2796 |8911 | 0 | 0 |-4.135000e+02 |-9.900000e+01 | 317.68%
15.88/15.99 c 16.0s| 1 | 0 | 38580 | - | 62M| 0 | 823 |1000 | 15k|1000 |2860 |8975 | 0 | 0 |-4.125000e+02 |-9.900000e+01 | 316.67%
16.09/16.12 c 16.1s| 1 | 0 | 38993 | - | 62M| 0 | 825 |1000 | 15k|1000 |2889 |9004 | 0 | 0 |-4.115000e+02 |-9.900000e+01 | 315.66%
16.19/16.25 c 16.2s| 1 | 0 | 39345 | - | 62M| 0 | 818 |1000 | 15k|1000 |2951 |9066 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 315.15%
16.29/16.33 c 16.3s| 1 | 0 | 39396 | - | 62M| 0 | 823 |1000 | 15k|1000 |2310 |9125 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 315.15%
16.39/16.47 c 16.5s| 1 | 0 | 39996 | - | 62M| 0 | 807 |1000 | 15k|1000 |2362 |9177 | 0 | 0 |-4.095000e+02 |-9.900000e+01 | 313.64%
16.59/16.61 c 16.6s| 1 | 0 | 40547 | - | 62M| 0 | 796 |1000 | 15k|1000 |2493 |9308 | 0 | 0 |-4.090000e+02 |-9.900000e+01 | 313.13%
16.78/16.80 c 16.8s| 1 | 0 | 41606 | - | 62M| 0 | 805 |1000 | 15k|1000 |2757 |9572 | 0 | 0 |-4.075000e+02 |-9.900000e+01 | 311.62%
16.88/16.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
16.88/16.95 c 16.9s| 1 | 0 | 42192 | - | 62M| 0 | 826 |1000 | 15k|1000 |2856 |9671 | 0 | 0 |-4.070000e+02 |-9.900000e+01 | 311.11%
17.08/17.15 c 17.1s| 1 | 0 | 42997 | - | 62M| 0 | 815 |1000 | 15k|1000 |2990 |9805 | 0 | 0 |-4.045000e+02 |-9.900000e+01 | 308.59%
17.29/17.37 c 17.4s| 1 | 0 | 43932 | - | 62M| 0 | 805 |1000 | 15k|1000 |2953 |9965 | 0 | 0 |-4.030000e+02 |-9.900000e+01 | 307.07%
17.69/17.70 c 17.7s| 1 | 0 | 46489 | - | 62M| 0 | 784 |1000 | 15k|1000 |3025 | 10k| 0 | 0 |-4.020000e+02 |-9.900000e+01 | 306.06%
17.69/17.80 c 17.8s| 1 | 0 | 46627 | - | 62M| 0 | 798 |1000 | 15k|1000 |3262 | 10k| 0 | 0 |-4.020000e+02 |-9.900000e+01 | 306.06%
17.89/17.96 c 18.0s| 1 | 0 | 47226 | - | 62M| 0 | 800 |1000 | 15k|1000 |3335 | 10k| 0 | 0 |-4.010000e+02 |-9.900000e+01 | 305.05%
18.09/18.18 c 18.2s| 1 | 0 | 48419 | - | 62M| 0 | 795 |1000 | 15k|1000 |3357 | 10k| 0 | 0 |-4.005000e+02 |-9.900000e+01 | 304.55%
18.39/18.46 c 18.5s| 1 | 0 | 50003 | - | 62M| 0 | 925 |1000 | 15k|1000 |3424 | 10k| 0 | 0 |-3.994791e+02 |-9.900000e+01 | 303.51%
19.18/19.23 c 19.2s| 1 | 0 | 50781 | - | 63M| 0 | 801 |1000 | 15k|1000 |5076 | 12k| 0 | 0 |-3.985000e+02 |-9.900000e+01 | 302.53%
19.28/19.31 c 19.3s| 1 | 0 | 50803 | - | 63M| 0 | 803 |1000 | 15k|1000 |5082 | 12k| 0 | 0 |-3.985000e+02 |-9.900000e+01 | 302.53%
19.38/19.44 c 19.4s| 1 | 0 | 51092 | - | 63M| 0 | 796 |1000 | 15k|1000 |5087 | 12k| 0 | 0 |-3.980000e+02 |-9.900000e+01 | 302.02%
19.58/19.68 c 19.7s| 1 | 0 | 51882 | - | 63M| 0 | 802 |1000 | 15k|1000 |5091 | 12k| 0 | 0 |-3.975000e+02 |-9.900000e+01 | 301.52%
19.79/19.87 c 19.9s| 1 | 0 | 52474 | - | 63M| 0 | 817 |1000 | 15k|1000 |5136 | 12k| 0 | 0 |-3.970000e+02 |-9.900000e+01 | 301.01%
19.98/20.07 c 20.1s| 1 | 0 | 53057 | - | 63M| 0 | 824 |1000 | 15k|1000 |5164 | 12k| 0 | 0 |-3.966250e+02 |-9.900000e+01 | 300.63%
20.18/20.24 c 20.2s| 1 | 0 | 53546 | - | 63M| 0 | 824 |1000 | 15k|1000 |4560 | 12k| 0 | 0 |-3.956250e+02 |-9.900000e+01 | 299.62%
20.38/20.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.38/20.43 c 20.4s| 1 | 0 | 54111 | - | 63M| 0 | 804 |1000 | 15k|1000 |4578 | 12k| 0 | 0 |-3.947500e+02 |-9.900000e+01 | 298.74%
20.48/20.52 c 20.5s| 1 | 0 | 54216 | - | 63M| 0 | 809 |1000 | 15k|1000 |4608 | 12k| 0 | 0 |-3.947500e+02 |-9.900000e+01 | 298.74%
20.58/20.66 c 20.7s| 1 | 0 | 54533 | - | 63M| 0 | 801 |1000 | 15k|1000 |4614 | 12k| 0 | 0 |-3.937500e+02 |-9.900000e+01 | 297.73%
20.79/20.82 c 20.8s| 1 | 0 | 55067 | - | 63M| 0 | 799 |1000 | 15k|1000 |4637 | 12k| 0 | 0 |-3.932500e+02 |-9.900000e+01 | 297.22%
20.89/20.97 c 21.0s| 1 | 0 | 55463 | - | 63M| 0 | 784 |1000 | 15k|1000 |4703 | 12k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 296.97%
21.19/21.25 c 21.3s| 1 | 0 | 56617 | - | 63M| 0 | 828 |1000 | 15k|1000 |3379 | 12k| 0 | 0 |-3.923333e+02 |-9.900000e+01 | 296.30%
21.59/21.65 c 21.7s| 1 | 0 | 58689 | - | 62M| 0 | 830 |1000 | 15k|1000 |3505 | 12k| 0 | 0 |-3.912500e+02 |-9.900000e+01 | 295.20%
21.89/21.91 c 21.9s| 1 | 0 | 59691 | - | 62M| 0 | 829 |1000 | 15k|1000 |3612 | 12k| 0 | 0 |-3.900000e+02 |-9.900000e+01 | 293.94%
22.08/22.18 c 22.2s| 1 | 0 | 60819 | - | 62M| 0 | 839 |1000 | 15k|1000 |3644 | 12k| 0 | 0 |-3.893684e+02 |-9.900000e+01 | 293.30%
22.29/22.33 c 22.3s| 1 | 0 | 61191 | - | 62M| 0 | 841 |1000 | 15k|1000 |3812 | 13k| 0 | 0 |-3.890000e+02 |-9.900000e+01 | 292.93%
22.59/22.61 c 22.6s| 1 | 0 | 62507 | - | 62M| 0 | 772 |1000 | 15k|1000 |3839 | 13k| 0 | 0 |-3.880000e+02 |-9.900000e+01 | 291.92%
22.79/22.83 c 22.8s| 1 | 0 | 63368 | - | 62M| 0 | 831 |1000 | 15k|1000 |3668 | 13k| 0 | 0 |-3.877500e+02 |-9.900000e+01 | 291.67%
23.00/23.03 c 23.0s| 1 | 0 | 64108 | - | 62M| 0 | 792 |1000 | 15k|1000 |3712 | 13k| 0 | 0 |-3.867500e+02 |-9.900000e+01 | 290.66%
23.19/23.26 c 23.3s| 1 | 0 | 65203 | - | 62M| 0 | 850 |1000 | 15k|1000 |3772 | 13k| 0 | 0 |-3.856250e+02 |-9.900000e+01 | 289.52%
23.59/23.64 c 23.6s| 1 | 0 | 66759 | - | 62M| 0 | 860 |1000 | 15k|1000 |3842 | 13k| 0 | 0 |-3.845000e+02 |-9.900000e+01 | 288.38%
23.98/24.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.98/24.01 c 24.0s| 1 | 0 | 68268 | - | 62M| 0 | 767 |1000 | 15k|1000 |3989 | 13k| 0 | 0 |-3.835000e+02 |-9.900000e+01 | 287.37%
24.19/24.29 c 24.3s| 1 | 0 | 69680 | - | 62M| 0 | 853 |1000 | 15k|1000 |3996 | 13k| 0 | 0 |-3.828333e+02 |-9.900000e+01 | 286.70%
24.58/24.62 c 24.6s| 1 | 0 | 71208 | - | 61M| 0 | 849 |1000 | 15k|1000 |3855 | 13k| 0 | 0 |-3.815000e+02 |-9.900000e+01 | 285.35%
24.78/24.89 c 24.9s| 1 | 0 | 72230 | - | 61M| 0 | 848 |1000 | 15k|1000 |3922 | 13k| 0 | 0 |-3.810000e+02 |-9.900000e+01 | 284.85%
25.19/25.28 c 25.3s| 1 | 0 | 74173 | - | 61M| 0 | 860 |1000 | 15k|1000 |3961 | 13k| 0 | 0 |-3.806250e+02 |-9.900000e+01 | 284.47%
25.79/25.80 c 25.8s| 1 | 0 | 76419 | - | 61M| 0 | 906 |1000 | 15k|1000 |3995 | 13k| 0 | 0 |-3.789333e+02 |-9.900000e+01 | 282.76%
26.19/26.25 c 26.3s| 1 | 0 | 78089 | - | 61M| 0 | 883 |1000 | 15k|1000 |4355 | 14k| 0 | 0 |-3.776667e+02 |-9.900000e+01 | 281.48%
26.58/26.68 c 26.7s| 1 | 0 | 80052 | - | 61M| 0 | 891 |1000 | 15k|1000 |4426 | 14k| 0 | 0 |-3.770625e+02 |-9.900000e+01 | 280.87%
27.09/27.12 c 27.1s| 1 | 0 | 81709 | - | 61M| 0 | 905 |1000 | 15k|1000 |4228 | 14k| 0 | 0 |-3.765462e+02 |-9.900000e+01 | 280.35%
28.38/28.41 c 28.4s| 1 | 0 | 87244 | - | 61M| 0 | 901 |1000 | 15k|1000 |4301 | 14k| 0 | 0 |-3.747319e+02 |-9.900000e+01 | 278.52%
28.78/28.87 c 28.9s| 1 | 0 | 89163 | - | 61M| 0 | 892 |1000 | 15k|1000 |4435 | 14k| 0 | 0 |-3.741842e+02 |-9.900000e+01 | 277.96%
29.49/29.50 c 29.5s| 1 | 0 | 91634 | - | 61M| 0 | 901 |1000 | 15k|1000 |4531 | 14k| 0 | 0 |-3.726290e+02 |-9.900000e+01 | 276.39%
29.88/29.99 c 30.0s| 1 | 0 | 93435 | - | 61M| 0 | 890 |1000 | 15k|1000 |4577 | 14k| 0 | 0 |-3.718947e+02 |-9.900000e+01 | 275.65%
30.38/30.45 c 30.4s| 1 | 0 | 95220 | - | 60M| 0 | 850 |1000 | 15k|1000 |4650 | 14k| 0 | 0 |-3.712500e+02 |-9.900000e+01 | 275.00%
30.69/30.72 c 30.7s| 1 | 0 | 96192 | - | 60M| 0 | 850 |1000 | 15k|1000 |4411 | 14k| 0 | 0 |-3.707000e+02 |-9.900000e+01 | 274.44%
30.98/31.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.98/31.04 c 31.0s| 1 | 0 | 97410 | - | 60M| 0 | 837 |1000 | 15k|1000 |4419 | 14k| 0 | 0 |-3.703333e+02 |-9.900000e+01 | 274.07%
31.18/31.29 c 31.3s| 1 | 0 | 98379 | - | 60M| 0 | 854 |1000 | 15k|1000 |4442 | 14k| 0 | 0 |-3.699722e+02 |-9.900000e+01 | 273.71%
31.99/32.00 c 32.0s| 1 | 0 |101325 | - | 61M| 0 | 921 |1000 | 15k|1000 |4507 | 14k| 0 | 0 |-3.687500e+02 |-9.900000e+01 | 272.47%
32.68/32.72 c 32.7s| 1 | 0 |105083 | - | 61M| 0 | 870 |1000 | 15k|1000 |4647 | 15k| 0 | 0 |-3.680682e+02 |-9.900000e+01 | 271.79%
33.19/33.25 c 33.2s| 1 | 0 |107143 | - | 60M| 0 | 877 |1000 | 15k|1000 |4686 | 15k| 0 | 0 |-3.676576e+02 |-9.900000e+01 | 271.37%
34.09/34.11 c 34.1s| 1 | 0 |110419 | - | 60M| 0 | 908 |1000 | 15k|1000 |4483 | 15k| 0 | 0 |-3.663289e+02 |-9.900000e+01 | 270.03%
35.08/35.16 c 35.2s| 1 | 0 |114470 | - | 60M| 0 | 912 |1000 | 15k|1000 |4605 | 15k| 0 | 0 |-3.647174e+02 |-9.900000e+01 | 268.40%
35.79/35.81 c 35.8s| 1 | 0 |116950 | - | 60M| 0 | 931 |1000 | 15k|1000 |4661 | 15k| 0 | 0 |-3.637808e+02 |-9.900000e+01 | 267.46%
37.08/37.19 c 37.2s| 1 | 0 |122569 | - | 60M| 0 | 919 |1000 | 15k|1000 |4813 | 15k| 0 | 0 |-3.625388e+02 |-9.900000e+01 | 266.20%
37.88/37.95 c 37.9s| 1 | 0 |125360 | - | 60M| 0 | 920 |1000 | 15k|1000 |4858 | 15k| 0 | 0 |-3.616687e+02 |-9.900000e+01 | 265.32%
38.58/38.69 c 38.7s| 1 | 0 |127869 | - | 60M| 0 | 926 |1000 | 15k|1000 |4926 | 15k| 0 | 0 |-3.606930e+02 |-9.900000e+01 | 264.34%
39.59/39.68 c 39.7s| 1 | 0 |131502 | - | 60M| 0 | 955 |1000 | 15k|1000 |4869 | 15k| 0 | 0 |-3.594741e+02 |-9.900000e+01 | 263.11%
40.18/40.28 c 40.3s| 1 | 0 |133840 | - | 60M| 0 | 932 |1000 | 15k|1000 |4984 | 15k| 0 | 0 |-3.590313e+02 |-9.900000e+01 | 262.66%
40.98/41.09 c 41.1s| 1 | 0 |136670 | - | 60M| 0 | 937 |1000 | 15k|1000 |5034 | 15k| 0 | 0 |-3.580803e+02 |-9.900000e+01 | 261.70%
42.08/42.10 c 42.1s| 1 | 0 |140263 | - | 60M| 0 | 951 |1000 | 15k|1000 |5089 | 15k| 0 | 0 |-3.573307e+02 |-9.900000e+01 | 260.94%
42.89/42.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.89/42.90 c 42.9s| 1 | 0 |142980 | - | 60M| 0 | 957 |1000 | 15k|1000 |5162 | 15k| 0 | 0 |-3.559871e+02 |-9.900000e+01 | 259.58%
43.88/43.98 c 44.0s| 1 | 0 |146837 | - | 60M| 0 | 953 |1000 | 15k|1000 |5230 | 16k| 0 | 0 |-3.552081e+02 |-9.900000e+01 | 258.80%
44.58/44.63 c 44.6s| 1 | 0 |148936 | - | 60M| 0 | 960 |1000 | 15k|1000 |5041 | 16k| 0 | 0 |-3.545396e+02 |-9.900000e+01 | 258.12%
44.99/45.09 c 45.1s| 1 | 0 |150247 | - | 60M| 0 | 967 |1000 | 15k|1000 |5079 | 16k| 0 | 0 |-3.542947e+02 |-9.900000e+01 | 257.87%
45.88/45.99 c 46.0s| 1 | 0 |153391 | - | 60M| 0 | 971 |1000 | 15k|1000 |5154 | 16k| 0 | 0 |-3.531069e+02 |-9.900000e+01 | 256.67%
46.37/46.49 c 46.5s| 1 | 0 |154868 | - | 60M| 0 | 978 |1000 | 15k|1000 |5184 | 16k| 0 | 0 |-3.526313e+02 |-9.900000e+01 | 256.19%
47.29/47.33 c 47.3s| 1 | 0 |157878 | - | 60M| 0 | 972 |1000 | 15k|1000 |5225 | 16k| 0 | 0 |-3.515645e+02 |-9.900000e+01 | 255.12%
47.88/47.95 c 48.0s| 1 | 0 |159816 | - | 60M| 0 | 976 |1000 | 15k|1000 |5256 | 16k| 0 | 0 |-3.509005e+02 |-9.900000e+01 | 254.44%
48.68/48.72 c 48.7s| 1 | 0 |162272 | - | 60M| 0 | 971 |1000 | 15k|1000 |5071 | 16k| 0 | 0 |-3.503607e+02 |-9.900000e+01 | 253.90%
49.48/49.58 c 49.6s| 1 | 0 |165439 | - | 60M| 0 | 987 |1000 | 15k|1000 |5107 | 16k| 0 | 0 |-3.489695e+02 |-9.900000e+01 | 252.49%
50.08/50.16 c 50.2s| 1 | 0 |167422 | - | 60M| 0 | 987 |1000 | 15k|1000 |5220 | 16k| 0 | 0 |-3.483012e+02 |-9.900000e+01 | 251.82%
50.78/50.80 c 50.8s| 1 | 0 |169386 | - | 60M| 0 | 982 |1000 | 15k|1000 |5268 | 16k| 0 | 0 |-3.475014e+02 |-9.900000e+01 | 251.01%
51.27/51.32 c 51.3s| 1 | 0 |170974 | - | 60M| 0 | 989 |1000 | 15k|1000 |5295 | 16k| 0 | 0 |-3.472972e+02 |-9.900000e+01 | 250.81%
51.77/51.83 c 51.8s| 1 | 0 |172423 | - | 60M| 0 | 988 |1000 | 15k|1000 |5325 | 16k| 0 | 0 |-3.469567e+02 |-9.900000e+01 | 250.46%
52.27/52.39 c 52.4s| 1 | 0 |174100 | - | 60M| 0 | 990 |1000 | 15k|1000 |5163 | 16k| 0 | 0 |-3.465776e+02 |-9.900000e+01 | 250.08%
52.98/53.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.98/53.01 c 53.0s| 1 | 0 |175875 | - | 60M| 0 | 989 |1000 | 15k|1000 |5186 | 16k| 0 | 0 |-3.459837e+02 |-9.900000e+01 | 249.48%
53.78/53.81 c 53.8s| 1 | 0 |178337 | - | 60M| 0 | 990 |1000 | 15k|1000 |5233 | 16k| 0 | 0 |-3.451132e+02 |-9.900000e+01 | 248.60%
54.67/54.73 c 54.7s| 1 | 0 |181128 | - | 60M| 0 | 994 |1000 | 15k|1000 |5284 | 16k| 0 | 0 |-3.444445e+02 |-9.900000e+01 | 247.92%
55.27/55.32 c 55.3s| 1 | 0 |182768 | - | 60M| 0 | 992 |1000 | 15k|1000 |5299 | 16k| 0 | 0 |-3.442572e+02 |-9.900000e+01 | 247.73%
56.08/56.11 c 56.1s| 1 | 0 |185243 | - | 60M| 0 | 991 |1000 | 15k|1000 |5320 | 16k| 0 | 0 |-3.436246e+02 |-9.900000e+01 | 247.10%
56.68/56.77 c 56.8s| 1 | 0 |187075 | - | 60M| 0 | 995 |1000 | 15k|1000 |5261 | 16k| 0 | 0 |-3.430585e+02 |-9.900000e+01 | 246.52%
57.28/57.33 c 57.3s| 1 | 0 |188615 | - | 60M| 0 | 991 |1000 | 15k|1000 |5304 | 16k| 0 | 0 |-3.426253e+02 |-9.900000e+01 | 246.09%
58.37/58.46 c 58.5s| 1 | 0 |192505 | - | 60M| 0 | 993 |1000 | 15k|1000 |5328 | 16k| 0 | 0 |-3.417792e+02 |-9.900000e+01 | 245.23%
59.47/59.54 c 59.5s| 1 | 0 |196084 | - | 60M| 0 | 991 |1000 | 15k|1000 |5361 | 16k| 0 | 0 |-3.410427e+02 |-9.900000e+01 | 244.49%
60.27/60.37 c 60.4s| 1 | 0 |198573 | - | 60M| 0 | 994 |1000 | 15k|1000 |5426 | 16k| 0 | 0 |-3.406460e+02 |-9.900000e+01 | 244.09%
61.27/61.37 c 61.4s| 1 | 0 |201485 | - | 60M| 0 | 991 |1000 | 15k|1000 |5454 | 16k| 0 | 0 |-3.399666e+02 |-9.900000e+01 | 243.40%
62.08/62.15 c 62.1s| 1 | 0 |203810 | - | 60M| 0 | 992 |1000 | 15k|1000 |5419 | 17k| 0 | 0 |-3.393926e+02 |-9.900000e+01 | 242.82%
63.07/63.14 c 63.1s| 1 | 0 |206800 | - | 60M| 0 | 995 |1000 | 15k|1000 |5445 | 17k| 0 | 0 |-3.389646e+02 |-9.900000e+01 | 242.39%
63.87/63.93 c 63.9s| 1 | 0 |209049 | - | 60M| 0 | 994 |1000 | 15k|1000 |5488 | 17k| 0 | 0 |-3.382341e+02 |-9.900000e+01 | 241.65%
65.37/65.43 c 65.4s| 1 | 0 |213681 | - | 60M| 0 | 995 |1000 | 15k|1000 |5533 | 17k| 0 | 0 |-3.372677e+02 |-9.900000e+01 | 240.67%
66.17/66.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.17/66.26 c 66.3s| 1 | 0 |216122 | - | 60M| 0 | 994 |1000 | 15k|1000 |5574 | 17k| 0 | 0 |-3.365979e+02 |-9.900000e+01 | 240.00%
67.37/67.42 c 67.4s| 1 | 0 |219421 | - | 60M| 0 | 994 |1000 | 15k|1000 |5599 | 17k| 0 | 0 |-3.361039e+02 |-9.900000e+01 | 239.50%
68.08/68.18 c 68.2s| 1 | 0 |221380 | - | 60M| 0 | 994 |1000 | 15k|1000 |5562 | 17k| 0 | 0 |-3.355080e+02 |-9.900000e+01 | 238.90%
68.77/68.84 c 68.8s| 1 | 0 |223094 | - | 60M| 0 | 996 |1000 | 15k|1000 |5591 | 17k| 0 | 0 |-3.351040e+02 |-9.900000e+01 | 238.49%
69.66/69.78 c 69.8s| 1 | 0 |225678 | - | 60M| 0 | 994 |1000 | 15k|1000 |5630 | 17k| 0 | 0 |-3.344200e+02 |-9.900000e+01 | 237.80%
70.66/70.76 c 70.8s| 1 | 0 |228624 | - | 60M| 0 | 995 |1000 | 15k|1000 |5656 | 17k| 0 | 0 |-3.338487e+02 |-9.900000e+01 | 237.22%
71.26/71.37 c 71.4s| 1 | 0 |230103 | - | 60M| 0 | 993 |1000 | 15k|1000 |5678 | 17k| 0 | 0 |-3.335428e+02 |-9.900000e+01 | 236.91%
72.17/72.27 c 72.3s| 1 | 0 |232478 | - | 59M| 0 | 994 |1000 | 15k|1000 |5697 | 17k| 0 | 0 |-3.331381e+02 |-9.900000e+01 | 236.50%
73.07/73.11 c 73.1s| 1 | 0 |234830 | - | 59M| 0 | 997 |1000 | 15k|1000 |5618 | 17k| 0 | 0 |-3.327268e+02 |-9.900000e+01 | 236.09%
73.57/73.66 c 73.7s| 1 | 0 |236424 | - | 59M| 0 | 993 |1000 | 15k|1000 |5636 | 17k| 0 | 0 |-3.323988e+02 |-9.900000e+01 | 235.76%
74.36/74.40 c 74.4s| 1 | 0 |238437 | - | 59M| 0 | 997 |1000 | 15k|1000 |5657 | 17k| 0 | 0 |-3.318689e+02 |-9.900000e+01 | 235.22%
75.16/75.23 c 75.2s| 1 | 0 |240676 | - | 59M| 0 | 993 |1000 | 15k|1000 |5673 | 17k| 0 | 0 |-3.312701e+02 |-9.900000e+01 | 234.62%
76.06/76.12 c 76.1s| 1 | 0 |243008 | - | 59M| 0 | 997 |1000 | 15k|1000 |5696 | 17k| 0 | 0 |-3.307754e+02 |-9.900000e+01 | 234.12%
76.77/76.83 c 76.8s| 1 | 0 |244993 | - | 59M| 0 | 995 |1000 | 15k|1000 |5722 | 17k| 0 | 0 |-3.304547e+02 |-9.900000e+01 | 233.79%
78.16/78.26 c 78.3s| 1 | 0 |248877 | - | 59M| 0 | 997 |1000 | 15k|1000 |5673 | 17k| 0 | 0 |-3.300079e+02 |-9.900000e+01 | 233.34%
78.66/78.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
78.66/78.77 c 78.8s| 1 | 0 |250102 | - | 59M| 0 | 997 |1000 | 15k|1000 |5688 | 17k| 0 | 0 |-3.297922e+02 |-9.900000e+01 | 233.12%
79.37/79.45 c 79.5s| 1 | 0 |251885 | - | 59M| 0 | 997 |1000 | 15k|1000 |5704 | 17k| 0 | 0 |-3.295399e+02 |-9.900000e+01 | 232.87%
79.67/79.76 c 79.8s| 1 | 0 |252486 | - | 59M| 0 | 997 |1000 | 15k|1000 |5717 | 17k| 0 | 0 |-3.294325e+02 |-9.900000e+01 | 232.76%
80.36/80.48 c 80.5s| 1 | 0 |254324 | - | 59M| 0 | 997 |1000 | 15k|1000 |5728 | 17k| 0 | 0 |-3.291630e+02 |-9.900000e+01 | 232.49%
81.06/81.12 c 81.1s| 1 | 0 |255945 | - | 59M| 0 | 997 |1000 | 15k|1000 |5738 | 17k| 0 | 0 |-3.288722e+02 |-9.900000e+01 | 232.19%
81.66/81.70 c 81.7s| 1 | 0 |257488 | - | 59M| 0 | 996 |1000 | 15k|1000 |5716 | 17k| 0 | 0 |-3.286655e+02 |-9.900000e+01 | 231.99%
82.16/82.27 c 82.3s| 1 | 0 |259047 | - | 59M| 0 | 996 |1000 | 15k|1000 |5728 | 17k| 0 | 0 |-3.285147e+02 |-9.900000e+01 | 231.83%
82.87/82.99 c 83.0s| 1 | 0 |261021 | - | 59M| 0 | 996 |1000 | 15k|1000 |5743 | 17k| 0 | 0 |-3.282132e+02 |-9.900000e+01 | 231.53%
83.37/83.49 c 83.5s| 1 | 0 |262296 | - | 59M| 0 | 995 |1000 | 15k|1000 |5758 | 17k| 0 | 0 |-3.280391e+02 |-9.900000e+01 | 231.35%
84.06/84.10 c 84.1s| 1 | 0 |263901 | - | 59M| 0 | 995 |1000 | 15k|1000 |5774 | 17k| 0 | 0 |-3.277379e+02 |-9.900000e+01 | 231.05%
84.57/84.62 c 84.6s| 1 | 0 |265147 | - | 59M| 0 | 995 |1000 | 15k|1000 |5791 | 17k| 0 | 0 |-3.275101e+02 |-9.900000e+01 | 230.82%
85.16/85.23 c 85.2s| 1 | 0 |266628 | - | 59M| 0 | 998 |1000 | 15k|1000 |5758 | 17k| 0 | 0 |-3.272655e+02 |-9.900000e+01 | 230.57%
85.46/85.55 c 85.6s| 1 | 0 |267314 | - | 59M| 0 | 998 |1000 | 15k|1000 |5769 | 17k| 0 | 0 |-3.272103e+02 |-9.900000e+01 | 230.52%
85.96/86.07 c 86.1s| 1 | 0 |268573 | - | 59M| 0 | 998 |1000 | 15k|1000 |5781 | 17k| 0 | 0 |-3.270917e+02 |-9.900000e+01 | 230.40%
86.46/86.59 c 86.6s| 1 | 0 |269859 | - | 59M| 0 | 998 |1000 | 15k|1000 |5793 | 17k| 0 | 0 |-3.270052e+02 |-9.900000e+01 | 230.31%
86.66/86.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
86.66/86.71 c 86.7s| 1 | 0 |269884 | - | 59M| 0 | 980 |1000 | 15k|1000 |5802 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
86.77/86.81 c 86.8s| 1 | 0 |269885 | - | 59M| 0 | 981 |1000 | 15k|1000 |5806 | 17k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 230.30%
94.26/94.38 c 94.4s| 1 | 2 |269885 | - | 59M| 0 | 981 |1000 | 15k|1000 |5806 | 17k| 0 | 22 |-3.270000e+02 |-9.900000e+01 | 230.30%
182.55/182.66 c 183s| 100 | 101 |646469 |3803.9 | 60M| 31 | 273 |1000 | 15k|1000 | 998 | 17k| 0 | 621 |-3.259988e+02 |-9.900000e+01 | 229.29%
190.26/190.34 c 190s| 200 | 201 |695162 |2137.1 | 60M| 47 | 448 |1000 | 15k|1000 |1855 | 32k| 0 | 708 |-3.259587e+02 |-9.900000e+01 | 229.25%
197.75/197.85 c 198s| 300 | 301 |743273 |1583.2 | 61M| 47 | 340 |1000 | 15k|1000 |1148 | 46k| 0 | 822 |-3.259587e+02 |-9.900000e+01 | 229.25%
207.34/207.40 c 207s| 400 | 401 |801667 |1332.8 | 61M| 49 | 224 |1000 | 15k|1000 |1154 | 59k| 0 | 944 |-3.258292e+02 |-9.900000e+01 | 229.12%
211.94/212.06 c 212s| 500 | 501 |832297 |1127.1 | 62M| 51 | 473 |1000 | 15k|1000 |1146 | 72k| 0 |1071 |-3.258292e+02 |-9.900000e+01 | 229.12%
218.85/218.96 c 219s| 600 | 601 |876212 |1012.2 | 62M| 52 | 275 |1000 | 15k|1000 |1150 | 84k| 0 |1163 |-3.258045e+02 |-9.900000e+01 | 229.10%
232.54/232.60 c 233s| 700 | 701 |956399 | 982.1 | 63M| 52 | 345 |1000 | 15k|1000 |1161 | 93k| 0 |1276 |-3.257447e+02 |-9.900000e+01 | 229.04%
243.84/243.94 c 244s| 800 | 801 | 1023k| 942.9 | 63M| 52 | 351 |1000 | 15k|1000 |1134 | 104k| 0 |1368 |-3.255809e+02 |-9.900000e+01 | 228.87%
255.04/255.15 c 255s| 900 | 901 | 1088k| 910.8 | 64M| 52 | 301 |1000 | 15k|1000 |1149 | 114k| 0 |1495 |-3.255382e+02 |-9.900000e+01 | 228.83%
262.24/262.35 c 262s| 1000 | 1001 | 1131k| 862.9 | 64M| 52 | 27 |1000 | 15k|1000 | 998 | 126k| 0 |1570 |-3.255136e+02 |-9.900000e+01 | 228.80%
265.33/265.40 c 265s| 1100 | 1101 | 1157k| 807.7 | 65M| 57 | 262 |1000 | 15k|1000 | 998 | 138k| 0 |1609 |-3.255136e+02 |-9.900000e+01 | 228.80%
272.74/272.81 c 273s| 1200 | 1201 | 1195k| 772.1 | 65M| 57 | 335 |1000 | 15k|1000 |1640 | 150k| 0 |1661 |-3.253746e+02 |-9.900000e+01 | 228.66%
282.33/282.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
282.33/282.40 c 282s| 1300 | 1301 | 1248k| 753.6 | 66M| 57 | 237 |1000 | 15k|1000 |1211 | 160k| 0 |1715 |-3.253411e+02 |-9.900000e+01 | 228.63%
296.63/296.74 c 297s| 1400 | 1401 | 1334k| 761.3 | 66M| 57 | 15 |1000 | 15k|1000 | 998 | 166k| 0 |1787 |-3.252454e+02 |-9.900000e+01 | 228.53%
302.93/303.04 c 303s| 1500 | 1501 | 1386k| 744.8 | 67M| 57 | 294 |1000 | 15k|1000 |1139 | 178k| 0 |1805 |-3.252246e+02 |-9.900000e+01 | 228.51%
309.53/309.61 c 310s| 1600 | 1601 | 1442k| 733.5 | 67M| 57 | 405 |1000 | 15k|1000 |1749 | 185k| 0 |1809 |-3.251416e+02 |-9.900000e+01 | 228.43%
313.23/313.33 c 313s| 1700 | 1701 | 1478k| 711.6 | 68M| 57 | 143 |1000 | 15k|1000 | 998 | 194k| 0 |1809 |-3.251416e+02 |-9.900000e+01 | 228.43%
320.23/320.30 c 320s| 1800 | 1801 | 1540k| 706.2 | 68M| 57 | 280 |1000 | 15k|1000 |1145 | 202k| 0 |1809 |-3.251416e+02 |-9.900000e+01 | 228.43%
334.62/334.78 c 335s| 1900 | 1901 | 1630k| 716.5 | 69M| 57 | 254 |1000 | 15k|1000 |1154 | 211k| 0 |1897 |-3.250386e+02 |-9.900000e+01 | 228.32%
340.52/340.63 c 341s| 2000 | 2001 | 1669k| 700.2 | 69M| 57 | 337 |1000 | 15k|1000 |1162 | 224k| 0 |1970 |-3.250386e+02 |-9.900000e+01 | 228.32%
351.72/351.86 c 352s| 2100 | 2101 | 1740k| 700.7 | 70M| 57 | 24 |1000 | 15k|1000 | 998 | 230k| 0 |2042 |-3.248564e+02 |-9.900000e+01 | 228.14%
360.52/360.66 c 361s| 2200 | 2201 | 1795k| 693.9 | 70M| 57 | 295 |1000 | 15k|1000 |1148 | 241k| 0 |2124 |-3.248345e+02 |-9.900000e+01 | 228.12%
369.02/369.19 c 369s| 2300 | 2301 | 1847k| 686.3 | 71M| 57 | 375 |1000 | 15k|1000 |1150 | 252k| 0 |2204 |-3.247658e+02 |-9.900000e+01 | 228.05%
375.62/375.79 c 376s| 2400 | 2401 | 1893k| 677.0 | 71M| 57 | 231 |1000 | 15k|1000 |1145 | 262k| 0 |2263 |-3.247609e+02 |-9.900000e+01 | 228.04%
378.12/378.26 c 378s| 2500 | 2501 | 1920k| 660.4 | 72M| 57 | 6 |1000 | 15k|1000 |1146 | 275k| 0 |2265 |-3.247609e+02 |-9.900000e+01 | 228.04%
390.42/390.57 c 391s| 2600 | 2601 | 2001k| 666.4 | 72M| 57 | 234 |1000 | 15k|1000 |1144 | 285k| 0 |2316 |-3.245808e+02 |-9.900000e+01 | 227.86%
394.82/395.00 c 395s| 2700 | 2701 | 2045k| 657.9 | 73M| 57 | 272 |1000 | 15k|1000 |1494 | 297k| 0 |2316 |-3.245808e+02 |-9.900000e+01 | 227.86%
404.41/404.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
404.41/404.57 c 405s| 2800 | 2801 | 2126k| 663.4 | 73M| 57 | 116 |1000 | 15k|1000 |1142 | 305k| 0 |2316 |-3.244499e+02 |-9.900000e+01 | 227.73%
408.31/408.41 c 408s| 2900 | 2901 | 2163k| 653.2 | 74M| 57 | 216 |1000 | 15k|1000 |1147 | 318k| 0 |2316 |-3.244499e+02 |-9.900000e+01 | 227.73%
411.22/411.35 c 411s| 3000 | 3001 | 2191k| 640.8 | 74M| 57 | 388 |1000 | 15k|1000 |1130 | 332k| 0 |2335 |-3.244499e+02 |-9.900000e+01 | 227.73%
417.71/417.81 c 418s| 3100 | 3101 | 2236k| 634.5 | 75M| 57 | 234 |1000 | 15k|1000 |1149 | 345k| 0 |2409 |-3.244217e+02 |-9.900000e+01 | 227.70%
422.70/422.85 c 423s| 3200 | 3201 | 2270k| 625.4 | 75M| 57 | 23 |1000 | 15k|1000 | 998 | 356k| 0 |2511 |-3.244176e+02 |-9.900000e+01 | 227.69%
427.72/427.89 c 428s| 3300 | 3301 | 2305k| 617.0 | 76M| 57 | 222 |1000 | 15k|1000 |1132 | 367k| 0 |2597 |-3.244176e+02 |-9.900000e+01 | 227.69%
431.21/431.37 c 431s| 3400 | 3401 | 2333k| 607.3 | 76M| 57 | 325 |1000 | 15k|1000 |1153 | 379k| 0 |2649 |-3.244176e+02 |-9.900000e+01 | 227.69%
434.50/434.61 c 435s| 3500 | 3501 | 2367k| 599.4 | 76M| 57 | 206 |1000 | 15k|1000 |1151 | 392k| 0 |2650 |-3.244176e+02 |-9.900000e+01 | 227.69%
445.20/445.35 c 445s| 3600 | 3601 | 2417k| 596.9 | 77M| 62 | 18 |1000 | 15k|1000 | 998 | 404k| 0 |2725 |-3.244077e+02 |-9.900000e+01 | 227.68%
447.31/447.40 c 447s| 3700 | 3701 | 2439k| 586.7 | 77M| 62 | 310 |1000 | 15k|1000 |1481 | 416k| 0 |2725 |-3.244077e+02 |-9.900000e+01 | 227.68%
456.01/456.18 c 456s| 3800 | 3801 | 2492k| 585.1 | 78M| 62 | 308 |1000 | 15k|1000 |1151 | 426k| 0 |2780 |-3.243698e+02 |-9.900000e+01 | 227.65%
460.40/460.52 c 461s| 3900 | 3901 | 2528k| 579.2 | 78M| 65 | 19 |1000 | 15k|1000 | 998 | 437k| 0 |2790 |-3.243522e+02 |-9.900000e+01 | 227.63%
462.70/462.86 c 463s| 4000 | 4001 | 2552k| 570.8 | 79M| 65 | 203 |1000 | 15k|1000 |1146 | 449k| 0 |2790 |-3.243522e+02 |-9.900000e+01 | 227.63%
464.50/464.60 c 465s| 4100 | 4101 | 2571k| 561.5 | 79M| 68 | 46 |1000 | 15k|1000 |1139 | 460k| 0 |2790 |-3.243522e+02 |-9.900000e+01 | 227.63%
472.40/472.56 c 473s| 4200 | 4201 | 2613k| 558.2 | 80M| 69 | 180 |1000 | 15k|1000 |1142 | 469k| 0 |2876 |-3.243307e+02 |-9.900000e+01 | 227.61%
477.21/477.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
477.21/477.33 c 477s| 4300 | 4301 | 2653k| 554.4 | 80M| 69 | 608 |1000 | 15k|1000 | 998 | 480k| 0 |2887 |-3.243307e+02 |-9.900000e+01 | 227.61%
483.81/483.94 c 484s| 4400 | 4401 | 2710k| 554.9 | 81M| 69 | 386 |1000 | 15k|1000 |1683 | 489k| 0 |2889 |-3.242886e+02 |-9.900000e+01 | 227.56%
486.60/486.72 c 487s| 4500 | 4501 | 2739k| 549.0 | 81M| 69 | 44 |1000 | 15k|1000 |1150 | 502k| 0 |2889 |-3.242886e+02 |-9.900000e+01 | 227.56%
493.10/493.22 c 493s| 4600 | 4601 | 2797k| 549.5 | 82M| 69 | 306 |1000 | 15k|1000 |1231 | 511k| 0 |2889 |-3.242432e+02 |-9.900000e+01 | 227.52%
499.30/499.43 c 499s| 4700 | 4701 | 2853k| 549.9 | 82M| 69 | 108 |1000 | 15k|1000 |1151 | 521k| 0 |2889 |-3.242042e+02 |-9.900000e+01 | 227.48%
503.80/503.99 c 504s| 4800 | 4801 | 2891k| 546.2 | 82M| 69 | 248 |1000 | 15k|1000 |1231 | 535k| 0 |2922 |-3.242004e+02 |-9.900000e+01 | 227.48%
516.29/516.48 c 516s| 4900 | 4901 | 2970k| 551.3 | 83M| 69 | 248 |1000 | 15k|1000 |1137 | 543k| 0 |2981 |-3.241893e+02 |-9.900000e+01 | 227.46%
520.49/520.69 c 521s| 5000 | 5001 | 3002k| 546.7 | 83M| 69 | 218 |1000 | 15k|1000 |1142 | 554k| 0 |3089 |-3.241878e+02 |-9.900000e+01 | 227.46%
530.79/530.97 c 531s| 5100 | 5101 | 3069k| 549.1 | 84M| 69 | 67 |1000 | 15k|1000 | 998 | 562k| 0 |3187 |-3.241478e+02 |-9.900000e+01 | 227.42%
535.09/535.28 c 535s| 5200 | 5201 | 3100k| 544.5 | 84M| 69 | 202 |1000 | 15k|1000 |1143 | 572k| 0 |3220 |-3.240908e+02 |-9.900000e+01 | 227.36%
541.09/541.28 c 541s| 5300 | 5301 | 3141k| 541.9 | 85M| 69 | 231 |1000 | 15k|1000 |1152 | 585k| 0 |3301 |-3.240908e+02 |-9.900000e+01 | 227.36%
546.19/546.32 c 546s| 5400 | 5401 | 3174k| 537.9 | 85M| 69 | 311 |1000 | 15k|1000 | 998 | 596k| 0 |3346 |-3.240864e+02 |-9.900000e+01 | 227.36%
554.29/554.44 c 554s| 5500 | 5501 | 3229k| 538.1 | 86M| 69 | 232 |1000 | 15k|1000 |1135 | 604k| 0 |3395 |-3.240734e+02 |-9.900000e+01 | 227.35%
562.19/562.30 c 562s| 5600 | 5601 | 3277k| 537.2 | 86M| 69 | 375 |1000 | 15k|1000 |1679 | 614k| 0 |3441 |-3.240597e+02 |-9.900000e+01 | 227.33%
566.78/566.99 c 567s| 5700 | 5701 | 3315k| 534.4 | 87M| 69 | 76 |1000 | 15k|1000 |1154 | 626k| 0 |3458 |-3.240290e+02 |-9.900000e+01 | 227.30%
575.38/575.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
575.38/575.59 c 576s| 5800 | 5801 | 3377k| 535.9 | 87M| 69 | 156 |1000 | 15k|1000 |1150 | 634k| 0 |3499 |-3.239794e+02 |-9.900000e+01 | 227.25%
580.98/581.17 c 581s| 5900 | 5901 | 3427k| 535.4 | 88M| 69 | 18 |1000 | 15k|1000 |1152 | 646k| 0 |3500 |-3.239763e+02 |-9.900000e+01 | 227.25%
584.68/584.80 c 585s| 6000 | 6001 | 3463k| 532.4 | 88M| 69 | 825 |1000 | 15k|1000 | 998 | 657k| 0 |3500 |-3.239763e+02 |-9.900000e+01 | 227.25%
587.38/587.59 c 588s| 6100 | 6101 | 3490k| 528.1 | 89M| 69 | 121 |1000 | 15k|1000 | 998 | 667k| 0 |3500 |-3.239763e+02 |-9.900000e+01 | 227.25%
590.28/590.48 c 590s| 6200 | 6201 | 3518k| 524.1 | 89M| 69 | 161 |1000 | 15k|1000 |1156 | 678k| 0 |3500 |-3.239603e+02 |-9.900000e+01 | 227.23%
593.38/593.58 c 594s| 6300 | 6301 | 3548k| 520.6 | 90M| 69 | 286 |1000 | 15k|1000 |1136 | 689k| 0 |3500 |-3.239492e+02 |-9.900000e+01 | 227.22%
598.28/598.46 c 598s| 6400 | 6401 | 3594k| 519.5 | 90M| 69 | 340 |1000 | 15k|1000 |1144 | 698k| 0 |3500 |-3.239160e+02 |-9.900000e+01 | 227.19%
602.08/602.25 c 602s| 6500 | 6501 | 3631k| 517.2 | 90M| 71 | 163 |1000 | 15k|1000 |1159 | 710k| 0 |3500 |-3.239160e+02 |-9.900000e+01 | 227.19%
604.08/604.25 c 604s| 6600 | 6601 | 3653k| 512.8 | 91M| 72 | 208 |1000 | 15k|1000 |1141 | 722k| 0 |3500 |-3.239160e+02 |-9.900000e+01 | 227.19%
607.38/607.55 c 608s| 6700 | 6701 | 3682k| 509.5 | 91M| 72 | 6 |1000 | 15k|1000 | 998 | 732k| 0 |3524 |-3.239160e+02 |-9.900000e+01 | 227.19%
609.87/610.08 c 610s| 6800 | 6801 | 3704k| 505.2 | 92M| 72 | 235 |1000 | 15k|1000 |1160 | 746k| 0 |3600 |-3.239160e+02 |-9.900000e+01 | 227.19%
614.28/614.49 c 614s| 6900 | 6901 | 3734k| 502.1 | 92M| 72 | 240 |1000 | 15k|1000 |1132 | 756k| 0 |3637 |-3.239004e+02 |-9.900000e+01 | 227.17%
620.57/620.79 c 621s| 7000 | 7001 | 3776k| 501.0 | 92M| 72 | 138 |1000 | 15k|1000 |1128 | 766k| 0 |3663 |-3.238923e+02 |-9.900000e+01 | 227.16%
625.68/625.87 c 626s| 7100 | 7101 | 3812k| 499.1 | 93M| 72 | 20 |1000 | 15k|1000 | 998 | 774k| 0 |3744 |-3.238920e+02 |-9.900000e+01 | 227.16%
630.48/630.64 c 631s| 7200 | 7201 | 3848k| 497.1 | 93M| 72 | 196 |1000 | 15k|1000 |1148 | 786k| 0 |3852 |-3.238920e+02 |-9.900000e+01 | 227.16%
637.07/637.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
637.07/637.29 c 637s| 7300 | 7301 | 3892k| 496.3 | 94M| 72 | 156 |1000 | 15k|1000 |1215 | 795k| 0 |3906 |-3.238447e+02 |-9.900000e+01 | 227.12%
643.17/643.31 c 643s| 7400 | 7401 | 3935k| 495.4 | 94M| 72 | 393 |1000 | 15k|1000 |1142 | 806k| 0 |3948 |-3.238393e+02 |-9.900000e+01 | 227.11%
645.37/645.55 c 646s| 7500 | 7501 | 3958k| 491.9 | 95M| 72 | 144 |1000 | 15k|1000 |1227 | 816k| 0 |3952 |-3.238393e+02 |-9.900000e+01 | 227.11%
654.87/655.05 c 655s| 7600 | 7601 | 4008k| 492.0 | 95M| 72 | 336 |1000 | 15k|1000 |1137 | 825k| 0 |4014 |-3.237977e+02 |-9.900000e+01 | 227.07%
660.98/661.18 c 661s| 7700 | 7701 | 4048k| 490.8 | 96M| 72 | 282 |1000 | 15k|1000 |1136 | 835k| 0 |4042 |-3.237145e+02 |-9.900000e+01 | 226.98%
664.46/664.61 c 665s| 7800 | 7801 | 4082k| 488.9 | 96M| 72 | 34 |1000 | 15k|1000 |1146 | 847k| 0 |4042 |-3.237037e+02 |-9.900000e+01 | 226.97%
671.88/672.06 c 672s| 7900 | 7901 | 4128k| 488.5 | 96M| 72 | 234 |1000 | 15k|1000 |1238 | 857k| 0 |4081 |-3.237037e+02 |-9.900000e+01 | 226.97%
675.27/675.42 c 675s| 8000 | 8001 | 4158k| 486.1 | 97M| 72 | 16 |1000 | 15k|1000 | 998 | 867k| 0 |4092 |-3.237023e+02 |-9.900000e+01 | 226.97%
677.37/677.60 c 678s| 8100 | 8101 | 4180k| 482.9 | 97M| 72 | 56 |1000 | 15k|1000 | 998 | 879k| 0 |4094 |-3.237023e+02 |-9.900000e+01 | 226.97%
678.87/679.09 c 679s| 8200 | 8201 | 4198k| 479.1 | 98M| 72 | 19 |1000 | 15k|1000 |1151 | 890k| 0 |4094 |-3.237023e+02 |-9.900000e+01 | 226.97%
681.66/681.83 c 682s| 8300 | 8301 | 4225k| 476.6 | 98M| 72 | 301 |1000 | 15k|1000 |1544 | 900k| 0 |4096 |-3.236974e+02 |-9.900000e+01 | 226.97%
688.97/689.19 c 689s| 8400 | 8401 | 4289k| 478.5 | 99M| 72 | 256 |1000 | 15k|1000 |1145 | 909k| 0 |4103 |-3.236721e+02 |-9.900000e+01 | 226.94%
693.56/693.77 c 694s| 8500 | 8501 | 4332k| 478.0 | 99M| 72 | 52 |1000 | 15k|1000 | 998 | 918k| 0 |4103 |-3.236615e+02 |-9.900000e+01 | 226.93%
697.56/697.74 c 698s| 8600 | 8601 | 4370k| 476.9 | 100M| 72 | 269 |1000 | 15k|1000 |1148 | 929k| 0 |4103 |-3.236573e+02 |-9.900000e+01 | 226.93%
701.26/701.45 c 701s| 8700 | 8701 | 4406k| 475.6 | 100M| 72 | 349 |1000 | 15k|1000 |1134 | 939k| 0 |4103 |-3.236344e+02 |-9.900000e+01 | 226.90%
705.26/705.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
705.26/705.44 c 705s| 8800 | 8801 | 4444k| 474.5 | 100M| 72 | 6 |1000 | 15k|1000 | 998 | 946k| 0 |4103 |-3.236326e+02 |-9.900000e+01 | 226.90%
708.06/708.29 c 708s| 8900 | 8901 | 4474k| 472.5 | 101M| 72 | 370 |1000 | 15k|1000 |1143 | 957k| 0 |4103 |-3.236326e+02 |-9.900000e+01 | 226.90%
712.56/712.80 c 713s| 9000 | 9001 | 4514k| 471.6 | 101M| 72 | 13 |1000 | 15k|1000 | 998 | 968k| 0 |4131 |-3.236292e+02 |-9.900000e+01 | 226.90%
716.36/716.55 c 717s| 9100 | 9101 | 4541k| 469.4 | 102M| 72 | 394 |1000 | 15k|1000 |1728 | 978k| 0 |4189 |-3.236292e+02 |-9.900000e+01 | 226.90%
721.66/721.83 c 722s| 9200 | 9201 | 4580k| 468.6 | 102M| 72 | 396 |1000 | 15k|1000 |1156 | 987k| 0 |4212 |-3.235977e+02 |-9.900000e+01 | 226.87%
723.57/723.72 c 724s| 9300 | 9301 | 4599k| 465.6 | 103M| 72 | 165 |1000 | 15k|1000 |1145 | 998k| 0 |4241 |-3.235977e+02 |-9.900000e+01 | 226.87%
725.56/725.78 c 726s| 9400 | 9401 | 4617k| 462.5 | 103M| 72 | 205 |1000 | 15k|1000 |1137 |1010k| 0 |4318 |-3.235977e+02 |-9.900000e+01 | 226.87%
727.86/728.00 c 728s| 9500 | 9501 | 4637k| 459.8 | 103M| 72 | 370 |1000 | 15k|1000 |1690 |1021k| 0 |4397 |-3.235977e+02 |-9.900000e+01 | 226.87%
730.26/730.49 c 730s| 9600 | 9601 | 4658k| 457.2 | 104M| 72 | 155 |1000 | 15k|1000 |1132 |1031k| 0 |4498 |-3.235977e+02 |-9.900000e+01 | 226.87%
733.96/734.16 c 734s| 9700 | 9701 | 4687k| 455.5 | 104M| 72 | 32 |1000 | 15k|1000 | 998 |1041k| 0 |4542 |-3.235977e+02 |-9.900000e+01 | 226.87%
736.36/736.59 c 737s| 9800 | 9801 | 4712k| 453.4 | 105M| 72 | 206 |1000 | 15k|1000 |1133 |1051k| 0 |4559 |-3.235977e+02 |-9.900000e+01 | 226.87%
743.96/744.11 c 744s| 9900 | 9901 | 4756k| 453.2 | 105M| 72 | 10 |1000 | 15k|1000 | 998 |1060k| 0 |4610 |-3.235866e+02 |-9.900000e+01 | 226.86%
746.05/746.27 c 746s| 10000 | 10001 | 4780k| 451.2 | 106M| 72 | 26 |1000 | 15k|1000 | 998 |1071k| 0 |4610 |-3.235866e+02 |-9.900000e+01 | 226.86%
748.15/748.39 c 748s| 10100 | 10101 | 4804k| 449.1 | 106M| 72 | 46 |1000 | 15k|1000 |1149 |1083k| 0 |4610 |-3.235866e+02 |-9.900000e+01 | 226.86%
750.16/750.30 c 750s| 10200 | 10201 | 4826k| 446.8 | 106M| 72 | 12 |1000 | 15k|1000 | 998 |1094k| 0 |4610 |-3.235866e+02 |-9.900000e+01 | 226.86%
756.85/757.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.85/757.05 c 757s| 10300 | 10301 | 4861k| 445.8 | 107M| 72 | 31 |1000 | 15k|1000 | 998 |1105k| 0 |4674 |-3.235783e+02 |-9.900000e+01 | 226.85%
760.75/760.93 c 761s| 10400 | 10401 | 4892k| 444.5 | 107M| 72 | 14 |1000 | 15k|1000 | 998 |1116k| 0 |4691 |-3.235656e+02 |-9.900000e+01 | 226.83%
764.45/764.69 c 765s| 10500 | 10501 | 4924k| 443.3 | 108M| 72 | 28 |1000 | 15k|1000 |1135 |1127k| 0 |4697 |-3.235572e+02 |-9.900000e+01 | 226.83%
767.15/767.33 c 767s| 10600 | 10601 | 4951k| 441.7 | 108M| 72 | 127 |1000 | 15k|1000 |1136 |1138k| 0 |4700 |-3.235572e+02 |-9.900000e+01 | 226.83%
771.25/771.43 c 771s| 10700 | 10701 | 4989k| 441.1 | 109M| 72 | 89 |1000 | 15k|1000 |1155 |1147k| 0 |4701 |-3.235568e+02 |-9.900000e+01 | 226.83%
773.75/773.94 c 774s| 10800 | 10801 | 5015k| 439.5 | 109M| 72 | 105 |1000 | 15k|1000 | 998 |1155k| 0 |4701 |-3.235568e+02 |-9.900000e+01 | 226.83%
776.25/776.44 c 776s| 10900 | 10901 | 5042k| 437.9 | 109M| 72 | 241 |1000 | 15k|1000 |1243 |1167k| 0 |4701 |-3.235568e+02 |-9.900000e+01 | 226.83%
779.45/779.66 c 780s| 11000 | 11001 | 5075k| 436.9 | 110M| 72 | 322 |1000 | 15k|1000 |1575 |1177k| 0 |4701 |-3.235420e+02 |-9.900000e+01 | 226.81%
784.15/784.38 c 784s| 11100 | 11101 | 5121k| 437.1 | 110M| 72 | 188 |1000 | 15k|1000 |1147 |1187k| 0 |4701 |-3.235392e+02 |-9.900000e+01 | 226.81%
786.95/787.17 c 787s| 11200 | 11201 | 5149k| 435.7 | 111M| 72 | 48 |1000 | 15k|1000 |1146 |1196k| 0 |4701 |-3.234885e+02 |-9.900000e+01 | 226.76%
788.84/789.00 c 789s| 11300 | 11301 | 5170k| 433.8 | 111M| 72 | 363 |1000 | 15k|1000 |1148 |1208k| 0 |4701 |-3.234885e+02 |-9.900000e+01 | 226.76%
792.24/792.41 c 792s| 11400 | 11401 | 5204k| 432.9 | 112M| 72 | 340 |1000 | 15k|1000 |1148 |1219k| 0 |4701 |-3.234846e+02 |-9.900000e+01 | 226.75%
796.34/796.54 c 797s| 11500 | 11501 | 5244k| 432.6 | 112M| 72 | 104 |1000 | 15k|1000 |1155 |1228k| 0 |4701 |-3.234759e+02 |-9.900000e+01 | 226.74%
797.85/798.01 c 798s| 11600 | 11601 | 5261k| 430.4 | 113M| 72 | 188 |1000 | 15k|1000 |1156 |1239k| 0 |4701 |-3.234759e+02 |-9.900000e+01 | 226.74%
799.95/800.12 c 800s| 11700 | 11701 | 5284k| 428.6 | 113M| 72 | 7 |1000 | 15k|1000 | 998 |1248k| 0 |4701 |-3.234759e+02 |-9.900000e+01 | 226.74%
804.55/804.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
804.55/804.74 c 805s| 11800 | 11801 | 5317k| 427.8 | 113M| 72 | 306 |1000 | 15k|1000 |1144 |1258k| 0 |4751 |-3.234759e+02 |-9.900000e+01 | 226.74%
810.04/810.26 c 810s| 11900 | 11901 | 5367k| 428.4 | 114M| 72 | 12 |1000 | 15k|1000 | 998 |1269k| 0 |4763 |-3.234718e+02 |-9.900000e+01 | 226.74%
815.55/815.77 c 816s| 12000 | 12001 | 5404k| 427.9 | 114M| 72 | 372 |1000 | 15k|1000 |1697 |1278k| 0 |4807 |-3.234450e+02 |-9.900000e+01 | 226.71%
820.04/820.21 c 820s| 12100 | 12101 | 5436k| 427.1 | 115M| 72 | 339 |1000 | 15k|1000 |1682 |1289k| 0 |4830 |-3.234279e+02 |-9.900000e+01 | 226.69%
823.94/824.11 c 824s| 12200 | 12201 | 5472k| 426.4 | 115M| 72 | 398 |1000 | 15k|1000 |1725 |1301k| 0 |4867 |-3.234279e+02 |-9.900000e+01 | 226.69%
829.74/829.92 c 830s| 12300 | 12301 | 5515k| 426.5 | 116M| 72 | 349 |1000 | 15k|1000 |1631 |1307k| 0 |4925 |-3.234158e+02 |-9.900000e+01 | 226.68%
834.04/834.22 c 834s| 12400 | 12401 | 5548k| 425.7 | 116M| 72 | 315 |1000 | 15k|1000 |1125 |1318k| 0 |5005 |-3.234158e+02 |-9.900000e+01 | 226.68%
839.05/839.22 c 839s| 12500 | 12501 | 5577k| 424.6 | 116M| 72 | 12 |1000 | 15k|1000 | 998 |1327k| 0 |5067 |-3.234083e+02 |-9.900000e+01 | 226.68%
843.04/843.20 c 843s| 12600 | 12601 | 5615k| 424.3 | 117M| 72 | 349 |1000 | 15k|1000 |1145 |1337k| 0 |5068 |-3.233546e+02 |-9.900000e+01 | 226.62%
848.95/849.18 c 849s| 12700 | 12701 | 5658k| 424.3 | 117M| 72 | 271 |1000 | 15k|1000 |1206 |1347k| 0 |5110 |-3.233402e+02 |-9.900000e+01 | 226.61%
852.44/852.61 c 853s| 12800 | 12801 | 5686k| 423.2 | 118M| 72 | 109 |1000 | 15k|1000 |1152 |1358k| 0 |5146 |-3.233399e+02 |-9.900000e+01 | 226.61%
854.64/854.80 c 855s| 12900 | 12901 | 5707k| 421.6 | 118M| 72 | 396 |1000 | 15k|1000 |1145 |1371k| 0 |5207 |-3.233399e+02 |-9.900000e+01 | 226.61%
859.34/859.58 c 860s| 13000 | 13001 | 5741k| 420.9 | 119M| 72 | 86 |1000 | 15k|1000 |1142 |1380k| 0 |5237 |-3.233128e+02 |-9.900000e+01 | 226.58%
865.63/865.84 c 866s| 13100 | 13101 | 5783k| 420.9 | 119M| 72 | 346 |1000 | 15k|1000 |1702 |1389k| 0 |5265 |-3.233025e+02 |-9.900000e+01 | 226.57%
868.44/868.66 c 869s| 13200 | 13201 | 5810k| 419.8 | 120M| 72 | 299 |1000 | 15k|1000 |1547 |1397k| 0 |5275 |-3.233025e+02 |-9.900000e+01 | 226.57%
870.34/870.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
870.34/870.54 c 871s| 13300 | 13301 | 5831k| 418.2 | 120M| 72 | 61 |1000 | 15k|1000 | 998 |1406k| 0 |5275 |-3.233025e+02 |-9.900000e+01 | 226.57%
872.24/872.41 c 872s| 13400 | 13401 | 5854k| 416.8 | 120M| 72 | 58 |1000 | 15k|1000 |1225 |1419k| 0 |5275 |-3.233025e+02 |-9.900000e+01 | 226.57%
873.44/873.60 c 874s| 13500 | 13501 | 5868k| 414.7 | 121M| 72 | 255 |1000 | 15k|1000 |1205 |1429k| 0 |5275 |-3.233025e+02 |-9.900000e+01 | 226.57%
879.04/879.20 c 879s| 13600 | 13601 | 5917k| 415.3 | 121M| 72 | 337 |1000 | 15k|1000 |1593 |1438k| 0 |5281 |-3.232694e+02 |-9.900000e+01 | 226.53%
882.04/882.21 c 882s| 13700 | 13701 | 5948k| 414.5 | 122M| 72 | 233 |1000 | 15k|1000 |1146 |1447k| 0 |5281 |-3.232663e+02 |-9.900000e+01 | 226.53%
884.64/884.83 c 885s| 13800 | 13801 | 5974k| 413.4 | 122M| 72 | 423 |1000 | 15k|1000 |1779 |1456k| 0 |5281 |-3.232571e+02 |-9.900000e+01 | 226.52%
886.34/886.57 c 887s| 13900 | 13901 | 5994k| 411.9 | 122M| 72 | 378 |1000 | 15k|1000 |1734 |1468k| 0 |5281 |-3.232571e+02 |-9.900000e+01 | 226.52%
889.34/889.53 c 890s| 14000 | 14001 | 6024k| 411.1 | 123M| 72 | 352 |1000 | 15k|1000 |1671 |1478k| 0 |5281 |-3.232400e+02 |-9.900000e+01 | 226.51%
892.54/892.72 c 893s| 14100 | 14101 | 6056k| 410.4 | 123M| 72 | 278 |1000 | 15k|1000 |1448 |1488k| 0 |5281 |-3.232400e+02 |-9.900000e+01 | 226.51%
895.53/895.77 c 896s| 14200 | 14201 | 6086k| 409.6 | 124M| 72 | 173 |1000 | 15k|1000 |1151 |1497k| 0 |5281 |-3.232328e+02 |-9.900000e+01 | 226.50%
900.03/900.27 c 900s| 14300 | 14301 | 6128k| 409.7 | 124M| 72 | 291 |1000 | 15k|1000 |1151 |1506k| 0 |5281 |-3.232277e+02 |-9.900000e+01 | 226.49%
903.14/903.32 c 903s| 14400 | 14401 | 6159k| 409.0 | 125M| 72 | 357 |1000 | 15k|1000 |1552 |1516k| 0 |5281 |-3.232277e+02 |-9.900000e+01 | 226.49%
906.53/906.79 c 907s| 14500 | 14501 | 6193k| 408.5 | 125M| 72 | 6 |1000 | 15k|1000 | 998 |1525k| 0 |5281 |-3.232277e+02 |-9.900000e+01 | 226.49%
909.44/909.66 c 910s| 14600 | 14601 | 6221k| 407.7 | 125M| 72 | 300 |1000 | 15k|1000 |1489 |1535k| 0 |5281 |-3.232193e+02 |-9.900000e+01 | 226.48%
913.23/913.47 c 913s| 14700 | 14701 | 6258k| 407.4 | 126M| 72 | 126 |1000 | 15k|1000 |1147 |1544k| 0 |5281 |-3.232164e+02 |-9.900000e+01 | 226.48%
917.83/918.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
917.83/918.01 c 918s| 14800 | 14801 | 6301k| 407.6 | 126M| 72 | 341 |1000 | 15k|1000 |1506 |1553k| 0 |5281 |-3.231966e+02 |-9.900000e+01 | 226.46%
920.13/920.36 c 920s| 14900 | 14901 | 6326k| 406.5 | 127M| 72 | 71 |1000 | 15k|1000 |1148 |1562k| 0 |5281 |-3.231966e+02 |-9.900000e+01 | 226.46%
924.13/924.32 c 924s| 15000 | 15001 | 6364k| 406.3 | 127M| 72 | 44 |1000 | 15k|1000 |1149 |1572k| 0 |5282 |-3.231966e+02 |-9.900000e+01 | 226.46%
927.93/928.15 c 928s| 15100 | 15101 | 6401k| 406.1 | 128M| 72 | 6 |1000 | 15k|1000 | 998 |1582k| 0 |5282 |-3.231953e+02 |-9.900000e+01 | 226.46%
929.83/930.05 c 930s| 15200 | 15201 | 6422k| 404.8 | 128M| 72 | 313 |1000 | 15k|1000 |1237 |1594k| 0 |5282 |-3.231953e+02 |-9.900000e+01 | 226.46%
932.92/933.12 c 933s| 15300 | 15301 | 6453k| 404.2 | 129M| 72 | 314 |1000 | 15k|1000 |1586 |1603k| 0 |5282 |-3.231776e+02 |-9.900000e+01 | 226.44%
935.12/935.39 c 935s| 15400 | 15401 | 6477k| 403.1 | 129M| 72 | 195 |1000 | 15k|1000 |1134 |1613k| 0 |5282 |-3.231776e+02 |-9.900000e+01 | 226.44%
942.32/942.56 c 943s| 15500 | 15501 | 6533k| 404.1 | 129M| 72 | 296 |1000 | 15k|1000 |1155 |1622k| 0 |5313 |-3.231568e+02 |-9.900000e+01 | 226.42%
944.22/944.43 c 944s| 15600 | 15601 | 6550k| 402.6 | 130M| 72 | 102 |1000 | 15k|1000 |1142 |1632k| 0 |5402 |-3.231568e+02 |-9.900000e+01 | 226.42%
951.12/951.38 c 951s| 15700 | 15701 | 6601k| 403.3 | 130M| 72 | 317 |1000 | 15k|1000 |1555 |1641k| 0 |5462 |-3.231557e+02 |-9.900000e+01 | 226.42%
957.42/957.65 c 958s| 15800 | 15801 | 6647k| 403.7 | 131M| 72 | 345 |1000 | 15k|1000 |1646 |1652k| 0 |5494 |-3.231471e+02 |-9.900000e+01 | 226.41%
964.02/964.23 c 964s| 15900 | 15901 | 6695k| 404.2 | 131M| 72 | 139 |1000 | 15k|1000 |1162 |1662k| 0 |5533 |-3.231471e+02 |-9.900000e+01 | 226.41%
968.61/968.85 c 969s| 16000 | 16001 | 6730k| 403.8 | 132M| 72 | 26 |1000 | 15k|1000 | 998 |1671k| 0 |5562 |-3.231420e+02 |-9.900000e+01 | 226.41%
971.42/971.69 c 972s| 16100 | 16101 | 6753k| 402.8 | 132M| 72 | 372 |1000 | 15k|1000 |1141 |1683k| 0 |5632 |-3.231420e+02 |-9.900000e+01 | 226.41%
977.42/977.64 c 978s| 16200 | 16201 | 6799k| 403.1 | 133M| 72 | 230 |1000 | 15k|1000 |1152 |1692k| 0 |5656 |-3.231257e+02 |-9.900000e+01 | 226.39%
985.42/985.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.42/985.65 c 986s| 16300 | 16301 | 6853k| 403.9 | 133M| 72 | 306 |1000 | 15k|1000 |1153 |1703k| 0 |5714 |-3.231212e+02 |-9.900000e+01 | 226.39%
991.51/991.72 c 992s| 16400 | 16401 | 6899k| 404.3 | 134M| 72 | 203 |1000 | 15k|1000 |1141 |1713k| 0 |5758 |-3.231122e+02 |-9.900000e+01 | 226.38%
995.11/995.30 c 995s| 16500 | 16501 | 6930k| 403.7 | 134M| 72 | 240 |1000 | 15k|1000 |1244 |1722k| 0 |5768 |-3.231117e+02 |-9.900000e+01 | 226.38%
998.72/998.99 c 999s| 16600 | 16601 | 6960k| 403.1 | 135M| 72 | 274 |1000 | 15k|1000 |1526 |1733k| 0 |5790 |-3.231062e+02 |-9.900000e+01 | 226.37%
1005.81/1006.01 c 1006s| 16700 | 16701 | 7007k| 403.5 | 135M| 72 | 338 |1000 | 15k|1000 |1141 |1744k| 0 |5827 |-3.230937e+02 |-9.900000e+01 | 226.36%
1009.41/1009.66 c 1010s| 16800 | 16801 | 7040k| 403.0 | 136M| 72 | 331 |1000 | 15k|1000 |1229 |1755k| 0 |5836 |-3.230913e+02 |-9.900000e+01 | 226.35%
1015.41/1015.63 c 1016s| 16900 | 16901 | 7089k| 403.6 | 136M| 72 | 142 |1000 | 15k|1000 |1145 |1765k| 0 |5852 |-3.230761e+02 |-9.900000e+01 | 226.34%
1018.41/1018.68 c 1019s| 17000 | 17001 | 7120k| 403.0 | 137M| 72 | 112 |1000 | 15k|1000 |1159 |1776k| 0 |5853 |-3.230700e+02 |-9.900000e+01 | 226.33%
1020.20/1020.40 c 1020s| 17100 | 17101 | 7140k| 401.8 | 137M| 72 | 73 |1000 | 15k|1000 |1147 |1788k| 0 |5853 |-3.230700e+02 |-9.900000e+01 | 226.33%
1025.01/1025.24 c 1025s| 17200 | 17201 | 7185k| 402.1 | 138M| 72 | 300 |1000 | 15k|1000 |1158 |1798k| 0 |5854 |-3.230576e+02 |-9.900000e+01 | 226.32%
1029.70/1029.99 c 1030s| 17300 | 17301 | 7230k| 402.4 | 138M| 72 | 447 |1000 | 15k|1000 |1817 |1809k| 0 |5855 |-3.230490e+02 |-9.900000e+01 | 226.31%
1032.01/1032.24 c 1032s| 17400 | 17401 | 7253k| 401.4 | 138M| 72 | 10 |1000 | 15k|1000 |1151 |1819k| 0 |5855 |-3.230490e+02 |-9.900000e+01 | 226.31%
1033.71/1033.99 c 1034s| 17500 | 17501 | 7273k| 400.2 | 139M| 72 | 84 |1000 | 15k|1000 |1213 |1830k| 0 |5855 |-3.230490e+02 |-9.900000e+01 | 226.31%
1036.30/1036.59 c 1037s| 17600 | 17601 | 7300k| 399.5 | 139M| 72 | 100 |1000 | 15k|1000 |1145 |1839k| 0 |5855 |-3.230490e+02 |-9.900000e+01 | 226.31%
1038.90/1039.14 c 1039s| 17700 | 17701 | 7327k| 398.8 | 140M| 72 | 343 |1000 | 15k|1000 |1144 |1850k| 0 |5855 |-3.230447e+02 |-9.900000e+01 | 226.31%
1041.42/1041.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.42/1041.66 c 1042s| 17800 | 17801 | 7353k| 398.0 | 140M| 72 | 401 |1000 | 15k|1000 |1733 |1860k| 0 |5855 |-3.230333e+02 |-9.900000e+01 | 226.30%
1045.70/1045.98 c 1046s| 17900 | 17901 | 7394k| 398.0 | 141M| 72 | 33 |1000 | 15k|1000 | 998 |1870k| 0 |5855 |-3.230249e+02 |-9.900000e+01 | 226.29%
1047.41/1047.68 c 1048s| 18000 | 18001 | 7414k| 396.9 | 141M| 72 | 229 |1000 | 15k|1000 |1154 |1880k| 0 |5855 |-3.230249e+02 |-9.900000e+01 | 226.29%
1051.70/1051.97 c 1052s| 18100 | 18101 | 7454k| 397.0 | 141M| 72 | 121 |1000 | 15k|1000 |1142 |1890k| 0 |5855 |-3.230105e+02 |-9.900000e+01 | 226.27%
1055.90/1056.14 c 1056s| 18200 | 18201 | 7496k| 397.1 | 142M| 72 | 257 |1000 | 15k|1000 |1229 |1900k| 0 |5855 |-3.230061e+02 |-9.900000e+01 | 226.27%
1063.20/1063.40 c 1063s| 18300 | 18301 | 7549k| 397.8 | 142M| 72 | 5 |1000 | 15k|1000 | 998 |1909k| 0 |5879 |-3.229917e+02 |-9.900000e+01 | 226.25%
1066.10/1066.37 c 1066s| 18400 | 18401 | 7577k| 397.2 | 143M| 72 | 265 |1000 | 15k|1000 |1212 |1920k| 0 |5888 |-3.229615e+02 |-9.900000e+01 | 226.22%
1073.70/1073.93 c 1074s| 18500 | 18501 | 7631k| 398.0 | 143M| 72 | 332 |1000 | 15k|1000 |1147 |1931k| 0 |5923 |-3.229256e+02 |-9.900000e+01 | 226.19%
1079.10/1079.33 c 1079s| 18600 | 18601 | 7673k| 398.0 | 144M| 72 | 347 |1000 | 15k|1000 |1139 |1942k| 0 |5953 |-3.229169e+02 |-9.900000e+01 | 226.18%
1082.80/1083.07 c 1083s| 18700 | 18701 | 7705k| 397.6 | 144M| 72 | 46 |1000 | 15k|1000 |1147 |1952k| 0 |5965 |-3.229133e+02 |-9.900000e+01 | 226.18%
1087.00/1087.25 c 1087s| 18800 | 18801 | 7738k| 397.3 | 145M| 72 | 210 |1000 | 15k|1000 |1163 |1964k| 0 |6028 |-3.228969e+02 |-9.900000e+01 | 226.16%
1089.30/1089.60 c 1090s| 18900 | 18901 | 7761k| 396.4 | 145M| 72 | 218 |1000 | 15k|1000 |1163 |1977k| 0 |6136 |-3.228969e+02 |-9.900000e+01 | 226.16%
1091.70/1091.91 c 1092s| 19000 | 19001 | 7783k| 395.5 | 145M| 72 | 260 |1000 | 15k|1000 |1213 |1990k| 0 |6191 |-3.228969e+02 |-9.900000e+01 | 226.16%
1097.79/1098.04 c 1098s| 19100 | 19101 | 7829k| 395.8 | 146M| 72 | 250 |1000 | 15k|1000 |1135 |1999k| 0 |6227 |-3.228708e+02 |-9.900000e+01 | 226.13%
1102.10/1102.34 c 1102s| 19200 | 19201 | 7863k| 395.5 | 146M| 72 | 370 |1000 | 15k|1000 |1159 |2010k| 0 |6272 |-3.228703e+02 |-9.900000e+01 | 226.13%
1109.19/1109.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1109.19/1109.49 c 1109s| 19300 | 19301 | 7906k| 395.7 | 147M| 72 | 273 |1000 | 15k|1000 |1158 |2018k| 0 |6308 |-3.228633e+02 |-9.900000e+01 | 226.12%
1111.00/1111.24 c 1111s| 19400 | 19401 | 7926k| 394.7 | 147M| 72 | 240 |1000 | 15k|1000 |1137 |2031k| 0 |6308 |-3.228633e+02 |-9.900000e+01 | 226.12%
1117.40/1117.69 c 1118s| 19500 | 19501 | 7978k| 395.3 | 148M| 72 | 238 |1000 | 15k|1000 |1214 |2039k| 0 |6322 |-3.228611e+02 |-9.900000e+01 | 226.12%
1123.30/1123.58 c 1124s| 19600 | 19601 | 8017k| 395.3 | 148M| 72 | 239 |1000 | 15k|1000 |1212 |2049k| 0 |6348 |-3.228454e+02 |-9.900000e+01 | 226.11%
1128.30/1128.60 c 1129s| 19700 | 19701 | 8057k| 395.3 | 149M| 72 | 195 |1000 | 15k|1000 |1135 |2059k| 0 |6393 |-3.228388e+02 |-9.900000e+01 | 226.10%
1132.09/1132.36 c 1132s| 19800 | 19801 | 8088k| 394.9 | 149M| 72 | 135 |1000 | 15k|1000 |1133 |2069k| 0 |6404 |-3.228312e+02 |-9.900000e+01 | 226.09%
1138.49/1138.78 c 1139s| 19900 | 19901 | 8132k| 395.1 | 149M| 72 | 347 |1000 | 15k|1000 |1141 |2078k| 0 |6434 |-3.228249e+02 |-9.900000e+01 | 226.09%
1143.09/1143.35 c 1143s| 20000 | 20001 | 8175k| 395.3 | 150M| 72 | 363 |1000 | 15k|1000 |1551 |2087k| 0 |6440 |-3.228201e+02 |-9.900000e+01 | 226.08%
1145.29/1145.51 c 1146s| 20100 | 20101 | 8200k| 394.6 | 150M| 72 | 303 |1000 | 15k|1000 |1259 |2098k| 0 |6440 |-3.228201e+02 |-9.900000e+01 | 226.08%
1148.29/1148.52 c 1149s| 20200 | 20201 | 8230k| 394.1 | 151M| 72 | 58 |1000 | 15k|1000 | 998 |2108k| 0 |6440 |-3.228138e+02 |-9.900000e+01 | 226.07%
1151.68/1151.93 c 1152s| 20300 | 20301 | 8264k| 393.8 | 151M| 72 | 282 |1000 | 15k|1000 |1213 |2118k| 0 |6440 |-3.228111e+02 |-9.900000e+01 | 226.07%
1154.99/1155.21 c 1155s| 20400 | 20401 | 8296k| 393.5 | 152M| 72 | 13 |1000 | 15k|1000 | 998 |2128k| 0 |6440 |-3.228039e+02 |-9.900000e+01 | 226.06%
1159.59/1159.82 c 1160s| 20500 | 20501 | 8341k| 393.7 | 152M| 72 | 272 |1000 | 15k|1000 |1132 |2139k| 0 |6440 |-3.227874e+02 |-9.900000e+01 | 226.05%
1161.19/1161.48 c 1161s| 20600 | 20601 | 8360k| 392.8 | 152M| 72 | 168 |1000 | 15k|1000 |1137 |2150k| 0 |6440 |-3.227874e+02 |-9.900000e+01 | 226.05%
1163.28/1163.57 c 1164s| 20700 | 20701 | 8383k| 392.0 | 153M| 72 | 10 |1000 | 15k|1000 |1145 |2162k| 0 |6440 |-3.227874e+02 |-9.900000e+01 | 226.05%
1168.58/1168.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1168.58/1168.86 c 1169s| 20800 | 20801 | 8432k| 392.5 | 153M| 72 | 324 |1000 | 15k|1000 |1139 |2171k| 0 |6440 |-3.227781e+02 |-9.900000e+01 | 226.04%
1172.49/1172.79 c 1173s| 20900 | 20901 | 8469k| 392.4 | 154M| 72 | 22 |1000 | 15k|1000 | 998 |2179k| 0 |6440 |-3.227692e+02 |-9.900000e+01 | 226.03%
1175.19/1175.46 c 1175s| 21000 | 21001 | 8498k| 391.8 | 154M| 72 | 332 |1000 | 15k|1000 |1246 |2193k| 0 |6440 |-3.227692e+02 |-9.900000e+01 | 226.03%
1178.28/1178.57 c 1179s| 21100 | 21101 | 8529k| 391.4 | 155M| 72 | 267 |1000 | 15k|1000 |1138 |2203k| 0 |6440 |-3.227664e+02 |-9.900000e+01 | 226.03%
1180.98/1181.26 c 1181s| 21200 | 21201 | 8556k| 390.9 | 155M| 72 | 88 |1000 | 15k|1000 |1167 |2214k| 0 |6440 |-3.227657e+02 |-9.900000e+01 | 226.03%
1186.69/1186.95 c 1187s| 21300 | 21301 | 8608k| 391.5 | 155M| 72 | 3 |1000 | 15k|1000 | 998 |2223k| 0 |6440 |-3.227483e+02 |-9.900000e+01 | 226.01%
1190.88/1191.10 c 1191s| 21400 | 21401 | 8647k| 391.5 | 156M| 72 | 332 |1000 | 15k|1000 |1135 |2233k| 0 |6440 |-3.227452e+02 |-9.900000e+01 | 226.01%
1195.68/1195.93 c 1196s| 21500 | 21501 | 8686k| 391.5 | 156M| 72 | 128 |1000 | 15k|1000 |1149 |2243k| 0 |6455 |-3.227402e+02 |-9.900000e+01 | 226.00%
1197.18/1197.49 c 1197s| 21600 | 21601 | 8701k| 390.4 | 157M| 72 | 294 |1000 | 15k|1000 |1143 |2253k| 0 |6529 |-3.227402e+02 |-9.900000e+01 | 226.00%
1201.48/1201.75 c 1202s| 21700 | 21701 | 8727k| 389.8 | 157M| 72 | 160 |1000 | 15k|1000 |1132 |2262k| 0 |6574 |-3.227366e+02 |-9.900000e+01 | 226.00%
1204.18/1204.44 c 1204s| 21800 | 21801 | 8753k| 389.2 | 158M| 72 | 195 |1000 | 15k|1000 |1225 |2272k| 0 |6574 |-3.227182e+02 |-9.900000e+01 | 225.98%
1209.38/1209.60 c 1210s| 21900 | 21901 | 8794k| 389.3 | 158M| 72 | 285 |1000 | 15k|1000 |1145 |2280k| 0 |6616 |-3.227009e+02 |-9.900000e+01 | 225.96%
1210.79/1211.01 c 1211s| 22000 | 22001 | 8809k| 388.2 | 158M| 73 | 284 |1000 | 15k|1000 |1154 |2290k| 0 |6668 |-3.227009e+02 |-9.900000e+01 | 225.96%
1214.68/1214.99 c 1215s| 22100 | 22101 | 8837k| 387.7 | 159M| 74 | 177 |1000 | 15k|1000 |1197 |2299k| 0 |6735 |-3.227009e+02 |-9.900000e+01 | 225.96%
1219.58/1219.90 c 1220s| 22200 | 22201 | 8879k| 387.8 | 159M| 74 | 332 |1000 | 15k|1000 |1544 |2308k| 0 |6753 |-3.226924e+02 |-9.900000e+01 | 225.95%
1223.18/1223.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1223.18/1223.48 c 1223s| 22300 | 22301 | 8907k| 387.3 | 160M| 74 | 159 |1000 | 15k|1000 |1160 |2316k| 0 |6783 |-3.226917e+02 |-9.900000e+01 | 225.95%
1227.47/1227.78 c 1228s| 22400 | 22401 | 8942k| 387.2 | 160M| 74 | 250 |1000 | 15k|1000 |1138 |2327k| 0 |6806 |-3.226772e+02 |-9.900000e+01 | 225.94%
1231.18/1231.41 c 1231s| 22500 | 22501 | 8972k| 386.8 | 161M| 74 | 398 |1000 | 15k|1000 |1143 |2335k| 0 |6854 |-3.226609e+02 |-9.900000e+01 | 225.92%
1233.48/1233.79 c 1234s| 22600 | 22601 | 8994k| 386.0 | 161M| 74 | 48 |1000 | 15k|1000 |1136 |2345k| 0 |6902 |-3.226609e+02 |-9.900000e+01 | 225.92%
1238.98/1239.22 c 1239s| 22700 | 22701 | 9037k| 386.2 | 161M| 74 | 298 |1000 | 15k|1000 |1149 |2353k| 0 |6942 |-3.226454e+02 |-9.900000e+01 | 225.90%
1240.58/1240.82 c 1241s| 22800 | 22801 | 9055k| 385.4 | 162M| 74 | 9 |1000 | 15k|1000 | 998 |2362k| 0 |6943 |-3.226454e+02 |-9.900000e+01 | 225.90%
1246.48/1246.72 c 1247s| 22900 | 22901 | 9096k| 385.4 | 162M| 74 | 316 |1000 | 15k|1000 |1538 |2372k| 0 |6989 |-3.226279e+02 |-9.900000e+01 | 225.89%
1250.98/1251.23 c 1251s| 23000 | 23001 | 9133k| 385.4 | 163M| 74 | 420 |1000 | 15k|1000 |1151 |2381k| 0 |7006 |-3.226183e+02 |-9.900000e+01 | 225.88%
1253.88/1254.16 c 1254s| 23100 | 23101 | 9163k| 385.0 | 163M| 74 | 226 |1000 | 15k|1000 |1150 |2391k| 0 |7008 |-3.226183e+02 |-9.900000e+01 | 225.88%
1259.67/1259.98 c 1260s| 23200 | 23201 | 9214k| 385.5 | 164M| 74 | 359 |1000 | 15k|1000 |1143 |2400k| 0 |7019 |-3.226124e+02 |-9.900000e+01 | 225.87%
1263.87/1264.16 c 1264s| 23300 | 23301 | 9255k| 385.7 | 164M| 74 | 55 |1000 | 15k|1000 |1142 |2410k| 0 |7019 |-3.226124e+02 |-9.900000e+01 | 225.87%
1268.17/1268.40 c 1268s| 23400 | 23401 | 9294k| 385.7 | 165M| 74 | 327 |1000 | 15k|1000 |1136 |2417k| 0 |7021 |-3.226028e+02 |-9.900000e+01 | 225.86%
1270.67/1270.93 c 1271s| 23500 | 23501 | 9322k| 385.2 | 165M| 74 | 362 |1000 | 15k|1000 |1660 |2428k| 0 |7021 |-3.226028e+02 |-9.900000e+01 | 225.86%
1273.77/1274.09 c 1274s| 23600 | 23601 | 9354k| 384.9 | 166M| 74 | 342 |1000 | 15k|1000 |1525 |2438k| 0 |7021 |-3.226009e+02 |-9.900000e+01 | 225.86%
1276.26/1276.59 c 1277s| 23700 | 23701 | 9382k| 384.5 | 166M| 74 | 427 |1000 | 15k|1000 |1785 |2449k| 0 |7021 |-3.226009e+02 |-9.900000e+01 | 225.86%
1279.67/1279.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1279.67/1279.92 c 1280s| 23800 | 23801 | 9415k| 384.3 | 167M| 74 | 360 |1000 | 15k|1000 |1671 |2458k| 0 |7021 |-3.225991e+02 |-9.900000e+01 | 225.86%
1284.67/1284.96 c 1285s| 23900 | 23901 | 9463k| 384.7 | 167M| 74 | 78 |1000 | 15k|1000 |1152 |2469k| 0 |7021 |-3.225969e+02 |-9.900000e+01 | 225.86%
1288.07/1288.39 c 1288s| 24000 | 24001 | 9497k| 384.5 | 168M| 74 | 82 |1000 | 15k|1000 |1146 |2477k| 0 |7021 |-3.225915e+02 |-9.900000e+01 | 225.85%
1291.57/1291.85 c 1292s| 24100 | 24101 | 9531k| 384.3 | 168M| 74 | 384 |1000 | 15k|1000 |1634 |2487k| 0 |7021 |-3.225915e+02 |-9.900000e+01 | 225.85%
1294.96/1295.23 c 1295s| 24200 | 24201 | 9566k| 384.2 | 168M| 74 | 297 |1000 | 15k|1000 |1155 |2497k| 0 |7021 |-3.225898e+02 |-9.900000e+01 | 225.85%
1298.97/1299.24 c 1299s| 24300 | 24301 | 9604k| 384.2 | 169M| 74 | 12 |1000 | 15k|1000 | 998 |2505k| 0 |7021 |-3.225844e+02 |-9.900000e+01 | 225.84%
1302.26/1302.56 c 1303s| 24400 | 24401 | 9639k| 384.0 | 169M| 74 | 328 |1000 | 15k|1000 |1135 |2516k| 0 |7021 |-3.225780e+02 |-9.900000e+01 | 225.84%
1304.67/1304.97 c 1305s| 24500 | 24501 | 9666k| 383.5 | 170M| 74 | 349 |1000 | 15k|1000 |1151 |2529k| 0 |7021 |-3.225780e+02 |-9.900000e+01 | 225.84%
1308.26/1308.54 c 1309s| 24600 | 24601 | 9698k| 383.3 | 170M| 74 | 314 |1000 | 15k|1000 |1498 |2538k| 0 |7057 |-3.225772e+02 |-9.900000e+01 | 225.84%
1312.27/1312.54 c 1313s| 24700 | 24701 | 9730k| 383.0 | 171M| 74 | 288 |1000 | 15k|1000 |1133 |2547k| 0 |7120 |-3.225772e+02 |-9.900000e+01 | 225.84%
1317.96/1318.22 c 1318s| 24800 | 24801 | 9773k| 383.2 | 171M| 74 | 29 |1000 | 15k|1000 |1147 |2557k| 0 |7164 |-3.225720e+02 |-9.900000e+01 | 225.83%
1319.96/1320.22 c 1320s| 24900 | 24901 | 9796k| 382.6 | 171M| 74 | 183 |1000 | 15k|1000 |1150 |2568k| 0 |7164 |-3.225720e+02 |-9.900000e+01 | 225.83%
1325.66/1325.90 c 1326s| 25000 | 25001 | 9840k| 382.8 | 172M| 74 | 335 |1000 | 15k|1000 |1145 |2577k| 0 |7188 |-3.225679e+02 |-9.900000e+01 | 225.83%
1327.96/1328.26 c 1328s| 25100 | 25101 | 9862k| 382.2 | 172M| 74 | 322 |1000 | 15k|1000 |1518 |2587k| 0 |7208 |-3.225679e+02 |-9.900000e+01 | 225.83%
1334.66/1334.95 c 1335s| 25200 | 25201 | 9914k| 382.7 | 173M| 74 | 317 |1000 | 15k|1000 |1132 |2597k| 0 |7233 |-3.225558e+02 |-9.900000e+01 | 225.81%
1338.66/1338.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1338.66/1338.91 c 1339s| 25300 | 25301 | 9946k| 382.5 | 173M| 74 | 140 |1000 | 15k|1000 |1148 |2606k| 0 |7278 |-3.225558e+02 |-9.900000e+01 | 225.81%
1342.96/1343.28 c 1343s| 25400 | 25401 | 9982k| 382.4 | 174M| 74 | 257 |1000 | 15k|1000 |1140 |2617k| 0 |7335 |-3.225466e+02 |-9.900000e+01 | 225.80%
1346.86/1347.16 c 1347s| 25500 | 25501 | 10015k| 382.2 | 174M| 74 | 417 |1000 | 15k|1000 |1804 |2627k| 0 |7404 |-3.225424e+02 |-9.900000e+01 | 225.80%
1350.96/1351.30 c 1351s| 25600 | 25601 | 10047k| 381.9 | 175M| 74 | 395 |1000 | 15k|1000 |1698 |2636k| 0 |7468 |-3.225225e+02 |-9.900000e+01 | 225.78%
1353.16/1353.48 c 1353s| 25700 | 25701 | 10068k| 381.3 | 175M| 74 | 277 |1000 | 15k|1000 |1227 |2647k| 0 |7509 |-3.225225e+02 |-9.900000e+01 | 225.78%
1360.26/1360.56 c 1361s| 25800 | 25801 | 10121k| 381.8 | 176M| 74 | 347 |1000 | 15k|1000 |1605 |2656k| 0 |7559 |-3.225217e+02 |-9.900000e+01 | 225.78%
1365.66/1365.97 c 1366s| 25900 | 25901 | 10164k| 382.0 | 176M| 74 | 138 |1000 | 15k|1000 |1150 |2665k| 0 |7583 |-3.225215e+02 |-9.900000e+01 | 225.78%
1371.16/1371.47 c 1371s| 26000 | 26001 | 10209k| 382.3 | 177M| 74 | 99 |1000 | 15k|1000 | 998 |2675k| 0 |7600 |-3.225177e+02 |-9.900000e+01 | 225.78%
1375.05/1375.33 c 1375s| 26100 | 26101 | 10246k| 382.3 | 177M| 74 | 288 |1000 | 15k|1000 |1152 |2686k| 0 |7605 |-3.225177e+02 |-9.900000e+01 | 225.78%
1380.05/1380.32 c 1380s| 26200 | 26201 | 10291k| 382.5 | 177M| 74 | 354 |1000 | 15k|1000 |1595 |2696k| 0 |7608 |-3.225121e+02 |-9.900000e+01 | 225.77%
1383.26/1383.53 c 1384s| 26300 | 26301 | 10324k| 382.3 | 178M| 74 | 275 |1000 | 15k|1000 |1149 |2706k| 0 |7608 |-3.225089e+02 |-9.900000e+01 | 225.77%
1386.45/1386.72 c 1387s| 26400 | 26401 | 10356k| 382.1 | 178M| 74 | 173 |1000 | 15k|1000 |1148 |2716k| 0 |7608 |-3.225058e+02 |-9.900000e+01 | 225.76%
1391.26/1391.56 c 1392s| 26500 | 26501 | 10402k| 382.4 | 179M| 74 | 273 |1000 | 15k|1000 |1498 |2725k| 0 |7608 |-3.225039e+02 |-9.900000e+01 | 225.76%
1395.55/1395.84 c 1396s| 26600 | 26601 | 10442k| 382.5 | 179M| 74 | 25 |1000 | 15k|1000 |1144 |2734k| 0 |7608 |-3.224903e+02 |-9.900000e+01 | 225.75%
1400.15/1400.46 c 1400s| 26700 | 26701 | 10489k| 382.8 | 180M| 74 | 98 |1000 | 15k|1000 |1151 |2742k| 0 |7608 |-3.224800e+02 |-9.900000e+01 | 225.74%
1404.65/1404.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1404.65/1404.96 c 1405s| 26800 | 26801 | 10532k| 383.0 | 180M| 74 | 27 |1000 | 15k|1000 | 998 |2750k| 0 |7608 |-3.224772e+02 |-9.900000e+01 | 225.73%
1406.45/1406.79 c 1407s| 26900 | 26901 | 10553k| 382.3 | 181M| 74 | 328 |1000 | 15k|1000 |1517 |2761k| 0 |7608 |-3.224772e+02 |-9.900000e+01 | 225.73%
1409.75/1410.00 c 1410s| 27000 | 27001 | 10585k| 382.1 | 181M| 74 | 375 |1000 | 15k|1000 |1165 |2770k| 0 |7608 |-3.224765e+02 |-9.900000e+01 | 225.73%
1413.64/1413.96 c 1414s| 27100 | 27101 | 10624k| 382.1 | 182M| 74 | 218 |1000 | 15k|1000 |1140 |2780k| 0 |7608 |-3.224745e+02 |-9.900000e+01 | 225.73%
1418.25/1418.57 c 1419s| 27200 | 27201 | 10669k| 382.3 | 182M| 74 | 329 |1000 | 15k|1000 |1143 |2788k| 0 |7608 |-3.224680e+02 |-9.900000e+01 | 225.73%
1422.64/1422.96 c 1423s| 27300 | 27301 | 10711k| 382.5 | 182M| 74 | 407 |1000 | 15k|1000 |1151 |2797k| 0 |7608 |-3.224680e+02 |-9.900000e+01 | 225.73%
1424.34/1424.62 c 1425s| 27400 | 27401 | 10730k| 381.8 | 183M| 74 | 18 |1000 | 15k|1000 | 998 |2806k| 0 |7608 |-3.224680e+02 |-9.900000e+01 | 225.73%
1426.95/1427.26 c 1427s| 27500 | 27501 | 10759k| 381.5 | 183M| 74 | 10 |1000 | 15k|1000 |1137 |2817k| 0 |7608 |-3.224680e+02 |-9.900000e+01 | 225.73%
1430.94/1431.22 c 1431s| 27600 | 27601 | 10797k| 381.4 | 184M| 74 | 226 |1000 | 15k|1000 |1459 |2827k| 0 |7653 |-3.224643e+02 |-9.900000e+01 | 225.72%
1436.65/1436.95 c 1437s| 27700 | 27701 | 10841k| 381.7 | 184M| 74 | 279 |1000 | 15k|1000 |1160 |2835k| 0 |7676 |-3.224544e+02 |-9.900000e+01 | 225.71%
1444.25/1444.57 c 1445s| 27800 | 27801 | 10896k| 382.3 | 185M| 74 | 357 |1000 | 15k|1000 |1144 |2844k| 0 |7717 |-3.224458e+02 |-9.900000e+01 | 225.70%
1449.55/1449.81 c 1450s| 27900 | 27901 | 10939k| 382.4 | 185M| 74 | 187 |1000 | 15k|1000 |1143 |2853k| 0 |7732 |-3.224388e+02 |-9.900000e+01 | 225.70%
1455.44/1455.70 c 1456s| 28000 | 28001 | 10984k| 382.7 | 186M| 74 | 310 |1000 | 15k|1000 |1218 |2863k| 0 |7770 |-3.224378e+02 |-9.900000e+01 | 225.69%
1460.74/1461.01 c 1461s| 28100 | 28101 | 11028k| 382.9 | 186M| 74 | 61 |1000 | 15k|1000 |1137 |2870k| 0 |7795 |-3.224345e+02 |-9.900000e+01 | 225.69%
1463.04/1463.30 c 1463s| 28200 | 28201 | 11052k| 382.4 | 186M| 74 | 301 |1000 | 15k|1000 |1224 |2882k| 0 |7795 |-3.224345e+02 |-9.900000e+01 | 225.69%
1466.84/1467.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1466.84/1467.12 c 1467s| 28300 | 28301 | 11084k| 382.2 | 187M| 74 | 16 |1000 | 15k|1000 |1154 |2891k| 0 |7866 |-3.224338e+02 |-9.900000e+01 | 225.69%
1470.54/1470.85 c 1471s| 28400 | 28401 | 11113k| 381.8 | 187M| 74 | 225 |1000 | 15k|1000 |1146 |2901k| 0 |7883 |-3.224270e+02 |-9.900000e+01 | 225.68%
1474.24/1474.51 c 1475s| 28500 | 28501 | 11141k| 381.5 | 188M| 74 | 301 |1000 | 15k|1000 |1530 |2909k| 0 |7911 |-3.224248e+02 |-9.900000e+01 | 225.68%
1480.54/1480.88 c 1481s| 28600 | 28601 | 11193k| 382.0 | 188M| 74 | 18 |1000 | 15k|1000 | 998 |2917k| 0 |7928 |-3.224183e+02 |-9.900000e+01 | 225.68%
1483.43/1483.74 c 1484s| 28700 | 28701 | 11217k| 381.5 | 189M| 74 | 331 |1000 | 15k|1000 |1480 |2926k| 0 |7957 |-3.224183e+02 |-9.900000e+01 | 225.68%
1485.34/1485.63 c 1486s| 28800 | 28801 | 11237k| 380.8 | 189M| 74 | 163 |1000 | 15k|1000 |1211 |2937k| 0 |8009 |-3.224183e+02 |-9.900000e+01 | 225.68%
1488.44/1488.78 c 1489s| 28900 | 28901 | 11265k| 380.5 | 189M| 74 | 81 |1000 | 15k|1000 | 998 |2946k| 0 |8021 |-3.224159e+02 |-9.900000e+01 | 225.67%
1492.74/1493.09 c 1493s| 29000 | 29001 | 11295k| 380.2 | 190M| 74 | 195 |1000 | 15k|1000 |1137 |2956k| 0 |8080 |-3.224074e+02 |-9.900000e+01 | 225.66%
1495.24/1495.57 c 1496s| 29100 | 29101 | 11321k| 379.8 | 190M| 74 | 261 |1000 | 15k|1000 |1148 |2969k| 0 |8110 |-3.224074e+02 |-9.900000e+01 | 225.66%
1499.94/1500.29 c 1500s| 29200 | 29201 | 11356k| 379.7 | 191M| 74 | 366 |1000 | 15k|1000 |1679 |2979k| 0 |8134 |-3.224056e+02 |-9.900000e+01 | 225.66%
1503.83/1504.13 c 1504s| 29300 | 29301 | 11390k| 379.6 | 191M| 74 | 330 |1000 | 15k|1000 |1154 |2989k| 0 |8157 |-3.224012e+02 |-9.900000e+01 | 225.66%
1508.43/1508.73 c 1509s| 29400 | 29401 | 11427k| 379.5 | 192M| 74 | 150 |1000 | 15k|1000 |1141 |2998k| 0 |8171 |-3.223992e+02 |-9.900000e+01 | 225.66%
1512.63/1512.99 c 1513s| 29500 | 29501 | 11459k| 379.3 | 192M| 74 | 161 |1000 | 15k|1000 |1136 |3008k| 0 |8187 |-3.223990e+02 |-9.900000e+01 | 225.66%
1517.94/1518.26 c 1518s| 29600 | 29601 | 11501k| 379.5 | 192M| 74 | 282 |1000 | 15k|1000 |1516 |3018k| 0 |8213 |-3.223904e+02 |-9.900000e+01 | 225.65%
1522.53/1522.86 c 1523s| 29700 | 29701 | 11543k| 379.6 | 193M| 74 | 304 |1000 | 15k|1000 |1224 |3026k| 0 |8223 |-3.223714e+02 |-9.900000e+01 | 225.63%
1525.34/1525.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.34/1525.62 c 1526s| 29800 | 29801 | 11570k| 379.2 | 193M| 74 | 167 |1000 | 15k|1000 |1138 |3035k| 0 |8228 |-3.223663e+02 |-9.900000e+01 | 225.62%
1527.23/1527.55 c 1528s| 29900 | 29901 | 11592k| 378.7 | 194M| 74 | 287 |1000 | 15k|1000 |1219 |3046k| 0 |8228 |-3.223663e+02 |-9.900000e+01 | 225.62%
1531.73/1532.05 c 1532s| 30000 | 30001 | 11636k| 378.9 | 194M| 74 | 317 |1000 | 15k|1000 |1148 |3055k| 0 |8228 |-3.223551e+02 |-9.900000e+01 | 225.61%
1534.83/1535.17 c 1535s| 30100 | 30101 | 11667k| 378.7 | 195M| 74 | 282 |1000 | 15k|1000 |1147 |3066k| 0 |8228 |-3.223493e+02 |-9.900000e+01 | 225.61%
1537.83/1538.15 c 1538s| 30200 | 30201 | 11696k| 378.4 | 195M| 74 | 62 |1000 | 15k|1000 | 998 |3075k| 0 |8228 |-3.223493e+02 |-9.900000e+01 | 225.61%
1540.93/1541.21 c 1541s| 30300 | 30301 | 11726k| 378.1 | 195M| 74 | 269 |1000 | 15k|1000 |1140 |3086k| 0 |8228 |-3.223433e+02 |-9.900000e+01 | 225.60%
1542.73/1543.07 c 1543s| 30400 | 30401 | 11747k| 377.6 | 196M| 74 | 189 |1000 | 15k|1000 |1153 |3096k| 0 |8228 |-3.223433e+02 |-9.900000e+01 | 225.60%
1545.33/1545.69 c 1546s| 30500 | 30501 | 11773k| 377.2 | 196M| 74 | 197 |1000 | 15k|1000 |1149 |3106k| 0 |8228 |-3.223358e+02 |-9.900000e+01 | 225.59%
1549.63/1549.99 c 1550s| 30600 | 30601 | 11814k| 377.3 | 197M| 74 | 224 |1000 | 15k|1000 |1141 |3114k| 0 |8228 |-3.223281e+02 |-9.900000e+01 | 225.58%
1553.72/1554.09 c 1554s| 30700 | 30701 | 11854k| 377.4 | 197M| 74 | 303 |1000 | 15k|1000 |1158 |3123k| 0 |8228 |-3.223205e+02 |-9.900000e+01 | 225.58%
1558.22/1558.50 c 1558s| 30800 | 30801 | 11897k| 377.5 | 198M| 74 | 56 |1000 | 15k|1000 |1142 |3134k| 0 |8228 |-3.223095e+02 |-9.900000e+01 | 225.57%
1561.52/1561.86 c 1562s| 30900 | 30901 | 11930k| 377.4 | 198M| 74 | 452 |1000 | 15k|1000 |1752 |3144k| 0 |8228 |-3.223079e+02 |-9.900000e+01 | 225.56%
1565.72/1566.06 c 1566s| 31000 | 31001 | 11970k| 377.5 | 199M| 74 | 4 |1000 | 15k|1000 | 998 |3152k| 0 |8228 |-3.222946e+02 |-9.900000e+01 | 225.55%
1569.02/1569.31 c 1569s| 31100 | 31101 | 12003k| 377.3 | 199M| 74 | 328 |1000 | 15k|1000 |1160 |3164k| 0 |8228 |-3.222931e+02 |-9.900000e+01 | 225.55%
1573.12/1573.45 c 1573s| 31200 | 31201 | 12043k| 377.4 | 199M| 74 | 399 |1000 | 15k|1000 |1801 |3173k| 0 |8228 |-3.222912e+02 |-9.900000e+01 | 225.55%
1575.02/1575.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.02/1575.33 c 1575s| 31300 | 31301 | 12064k| 376.8 | 200M| 74 | 4 |1000 | 15k|1000 | 998 |3184k| 0 |8228 |-3.222912e+02 |-9.900000e+01 | 225.55%
1576.92/1577.30 c 1577s| 31400 | 31401 | 12086k| 376.3 | 200M| 74 | 60 |1000 | 15k|1000 |1142 |3195k| 0 |8228 |-3.222912e+02 |-9.900000e+01 | 225.55%
1579.82/1580.19 c 1580s| 31500 | 31501 | 12115k| 376.1 | 201M| 74 | 170 |1000 | 15k|1000 |1203 |3205k| 0 |8228 |-3.222868e+02 |-9.900000e+01 | 225.54%
1584.41/1584.76 c 1585s| 31600 | 31601 | 12158k| 376.2 | 201M| 74 | 314 |1000 | 15k|1000 |1201 |3215k| 0 |8244 |-3.222864e+02 |-9.900000e+01 | 225.54%
1589.82/1590.12 c 1590s| 31700 | 31701 | 12199k| 376.3 | 202M| 74 | 259 |1000 | 15k|1000 |1141 |3225k| 0 |8288 |-3.222822e+02 |-9.900000e+01 | 225.54%
1593.71/1594.01 c 1594s| 31800 | 31801 | 12234k| 376.3 | 202M| 74 | 17 |1000 | 15k|1000 |1140 |3236k| 0 |8340 |-3.222812e+02 |-9.900000e+01 | 225.54%
1597.51/1597.87 c 1598s| 31900 | 31901 | 12267k| 376.1 | 202M| 74 | 292 |1000 | 15k|1000 |1212 |3247k| 0 |8386 |-3.222812e+02 |-9.900000e+01 | 225.54%
1599.61/1599.95 c 1600s| 32000 | 32001 | 12289k| 375.6 | 203M| 74 | 407 |1000 | 15k|1000 |1761 |3257k| 0 |8399 |-3.222812e+02 |-9.900000e+01 | 225.54%
1603.61/1603.97 c 1604s| 32100 | 32101 | 12321k| 375.5 | 203M| 74 | 213 |1000 | 15k|1000 |1150 |3267k| 0 |8430 |-3.222810e+02 |-9.900000e+01 | 225.54%
1608.41/1608.72 c 1609s| 32200 | 32201 | 12358k| 375.4 | 204M| 74 | 336 |1000 | 15k|1000 |1540 |3275k| 0 |8498 |-3.222807e+02 |-9.900000e+01 | 225.54%
1614.51/1614.84 c 1615s| 32300 | 32301 | 12408k| 375.8 | 204M| 74 | 432 |1000 | 15k|1000 |1164 |3285k| 0 |8531 |-3.222723e+02 |-9.900000e+01 | 225.53%
1620.31/1620.68 c 1621s| 32400 | 32401 | 12457k| 376.2 | 205M| 74 | 58 |1000 | 15k|1000 |1150 |3294k| 0 |8548 |-3.222681e+02 |-9.900000e+01 | 225.52%
1626.10/1626.42 c 1626s| 32500 | 32501 | 12503k| 376.4 | 205M| 74 | 234 |1000 | 15k|1000 |1147 |3303k| 0 |8604 |-3.222643e+02 |-9.900000e+01 | 225.52%
1631.90/1632.25 c 1632s| 32600 | 32601 | 12549k| 376.7 | 206M| 74 | 75 |1000 | 15k|1000 |1132 |3313k| 0 |8633 |-3.222571e+02 |-9.900000e+01 | 225.51%
1635.31/1635.68 c 1636s| 32700 | 32701 | 12580k| 376.5 | 206M| 74 | 251 |1000 | 15k|1000 |1146 |3325k| 0 |8671 |-3.222571e+02 |-9.900000e+01 | 225.51%
1640.81/1641.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.81/1641.20 c 1641s| 32800 | 32801 | 12625k| 376.7 | 207M| 74 | 217 |1000 | 15k|1000 |1143 |3335k| 0 |8697 |-3.222570e+02 |-9.900000e+01 | 225.51%
1645.70/1646.09 c 1646s| 32900 | 32901 | 12668k| 376.9 | 207M| 74 | 302 |1000 | 15k|1000 |1151 |3347k| 0 |8714 |-3.222506e+02 |-9.900000e+01 | 225.51%
1650.51/1650.81 c 1651s| 33000 | 33001 | 12703k| 376.8 | 208M| 74 | 282 |1000 | 15k|1000 |1153 |3357k| 0 |8732 |-3.222415e+02 |-9.900000e+01 | 225.50%
1655.00/1655.33 c 1655s| 33100 | 33101 | 12740k| 376.8 | 208M| 74 | 270 |1000 | 15k|1000 |1143 |3367k| 0 |8747 |-3.222388e+02 |-9.900000e+01 | 225.49%
1658.30/1658.61 c 1659s| 33200 | 33201 | 12770k| 376.5 | 209M| 74 | 339 |1000 | 15k|1000 |1541 |3375k| 0 |8757 |-3.222345e+02 |-9.900000e+01 | 225.49%
1663.70/1664.09 c 1664s| 33300 | 33301 | 12813k| 376.7 | 209M| 74 | 82 |1000 | 15k|1000 |1143 |3385k| 0 |8781 |-3.222213e+02 |-9.900000e+01 | 225.48%
1668.70/1669.09 c 1669s| 33400 | 33401 | 12857k| 376.9 | 210M| 74 | 217 |1000 | 15k|1000 |1258 |3396k| 0 |8791 |-3.222135e+02 |-9.900000e+01 | 225.47%
1672.70/1673.06 c 1673s| 33500 | 33501 | 12896k| 376.9 | 210M| 74 | 127 |1000 | 15k|1000 |1155 |3407k| 0 |8793 |-3.222078e+02 |-9.900000e+01 | 225.46%
1674.50/1674.86 c 1675s| 33600 | 33601 | 12918k| 376.4 | 211M| 74 | 336 |1000 | 15k|1000 |1140 |3419k| 0 |8793 |-3.222078e+02 |-9.900000e+01 | 225.46%
1676.11/1676.43 c 1676s| 33700 | 33701 | 12936k| 375.9 | 211M| 74 | 8 |1000 | 15k|1000 |1154 |3430k| 0 |8793 |-3.222078e+02 |-9.900000e+01 | 225.46%
1678.31/1678.65 c 1679s| 33800 | 33801 | 12960k| 375.5 | 211M| 74 | 4 |1000 | 15k|1000 |1158 |3440k| 0 |8793 |-3.222078e+02 |-9.900000e+01 | 225.46%
1680.60/1680.90 c 1681s| 33900 | 33901 | 12984k| 375.1 | 212M| 74 | 188 |1000 | 15k|1000 |1159 |3450k| 0 |8793 |-3.222078e+02 |-9.900000e+01 | 225.46%
1684.10/1684.48 c 1684s| 34000 | 34001 | 13020k| 375.0 | 212M| 74 | 294 |1000 | 15k|1000 |1156 |3459k| 0 |8793 |-3.222017e+02 |-9.900000e+01 | 225.46%
1688.39/1688.71 c 1689s| 34100 | 34101 | 13060k| 375.1 | 213M| 74 | 22 |1000 | 15k|1000 | 998 |3467k| 0 |8793 |-3.221999e+02 |-9.900000e+01 | 225.45%
1693.40/1693.76 c 1694s| 34200 | 34201 | 13108k| 375.4 | 213M| 74 | 279 |1000 | 15k|1000 |1150 |3477k| 0 |8793 |-3.221994e+02 |-9.900000e+01 | 225.45%
1696.79/1697.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.79/1697.13 c 1697s| 34300 | 34301 | 13142k| 375.3 | 214M| 74 | 81 |1000 | 15k|1000 |1153 |3487k| 0 |8793 |-3.221976e+02 |-9.900000e+01 | 225.45%
1701.30/1701.61 c 1702s| 34400 | 34401 | 13184k| 375.4 | 214M| 74 | 142 |1000 | 15k|1000 | 998 |3495k| 0 |8793 |-3.221793e+02 |-9.900000e+01 | 225.43%
1703.89/1704.26 c 1704s| 34500 | 34501 | 13214k| 375.2 | 215M| 74 | 249 |1000 | 15k|1000 |1149 |3509k| 0 |8793 |-3.221793e+02 |-9.900000e+01 | 225.43%
1706.60/1706.92 c 1707s| 34600 | 34601 | 13243k| 375.0 | 215M| 74 | 190 |1000 | 15k|1000 |1145 |3520k| 0 |8793 |-3.221793e+02 |-9.900000e+01 | 225.43%
1712.40/1712.73 c 1713s| 34700 | 34701 | 13300k| 375.5 | 216M| 74 | 303 |1000 | 15k|1000 |1243 |3530k| 0 |8793 |-3.221760e+02 |-9.900000e+01 | 225.43%
1717.39/1717.78 c 1718s| 34800 | 34801 | 13349k| 375.9 | 216M| 74 | 373 |1000 | 15k|1000 |1151 |3540k| 0 |8793 |-3.221719e+02 |-9.900000e+01 | 225.43%
1719.69/1720.05 c 1720s| 34900 | 34901 | 13373k| 375.5 | 217M| 74 | 23 |1000 | 15k|1000 | 998 |3550k| 0 |8793 |-3.221719e+02 |-9.900000e+01 | 225.43%
1722.10/1722.41 c 1722s| 35000 | 35001 | 13399k| 375.2 | 217M| 74 | 264 |1000 | 15k|1000 |1515 |3562k| 0 |8793 |-3.221719e+02 |-9.900000e+01 | 225.43%
1726.49/1726.87 c 1727s| 35100 | 35101 | 13442k| 375.3 | 217M| 74 | 381 |1000 | 15k|1000 |1703 |3571k| 0 |8793 |-3.221709e+02 |-9.900000e+01 | 225.43%
1729.69/1730.08 c 1730s| 35200 | 35201 | 13474k| 375.1 | 218M| 74 | 115 |1000 | 15k|1000 |1160 |3581k| 0 |8793 |-3.221675e+02 |-9.900000e+01 | 225.42%
1733.79/1734.15 c 1734s| 35300 | 35301 | 13508k| 375.1 | 218M| 74 | 80 |1000 | 15k|1000 |1156 |3590k| 0 |8830 |-3.221662e+02 |-9.900000e+01 | 225.42%
1738.59/1738.92 c 1739s| 35400 | 35401 | 13547k| 375.1 | 219M| 74 | 423 |1000 | 15k|1000 |1804 |3600k| 0 |8853 |-3.221625e+02 |-9.900000e+01 | 225.42%
1740.89/1741.20 c 1741s| 35500 | 35501 | 13570k| 374.7 | 219M| 74 | 88 |1000 | 15k|1000 |1159 |3611k| 0 |8913 |-3.221625e+02 |-9.900000e+01 | 225.42%
1745.30/1745.61 c 1746s| 35600 | 35601 | 13603k| 374.5 | 220M| 74 | 317 |1000 | 15k|1000 |1239 |3622k| 0 |8935 |-3.221563e+02 |-9.900000e+01 | 225.41%
1750.69/1751.06 c 1751s| 35700 | 35701 | 13650k| 374.8 | 220M| 74 | 388 |1000 | 15k|1000 |1739 |3632k| 0 |8959 |-3.221486e+02 |-9.900000e+01 | 225.40%
1754.79/1755.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1754.79/1755.12 c 1755s| 35800 | 35801 | 13685k| 374.7 | 221M| 74 | 315 |1000 | 15k|1000 |1542 |3641k| 0 |8982 |-3.221457e+02 |-9.900000e+01 | 225.40%
1759.60/1759.97 c 1760s| 35900 | 35901 | 13720k| 374.7 | 221M| 74 | 6 |1000 | 15k|1000 |1153 |3651k| 0 |9004 |-3.221456e+02 |-9.900000e+01 | 225.40%
1765.29/1765.69 c 1766s| 36000 | 36001 | 13763k| 374.8 | 222M| 74 | 96 |1000 | 15k|1000 |1144 |3660k| 0 |9021 |-3.221333e+02 |-9.900000e+01 | 225.39%
1769.89/1770.29 c 1770s| 36100 | 36101 | 13805k| 375.0 | 222M| 74 | 247 |1000 | 15k|1000 |1237 |3670k| 0 |9032 |-3.221299e+02 |-9.900000e+01 | 225.38%
1775.58/1775.95 c 1776s| 36200 | 36201 | 13845k| 375.0 | 223M| 74 | 59 |1000 | 15k|1000 |1143 |3679k| 0 |9058 |-3.221236e+02 |-9.900000e+01 | 225.38%
1781.48/1781.89 c 1782s| 36300 | 36301 | 13892k| 375.3 | 223M| 74 | 351 |1000 | 15k|1000 |1572 |3691k| 0 |9077 |-3.221146e+02 |-9.900000e+01 | 225.37%
1785.58/1785.94 c 1786s| 36400 | 36401 | 13931k| 375.3 | 224M| 74 | 386 |1000 | 15k|1000 |1728 |3701k| 0 |9077 |-3.221085e+02 |-9.900000e+01 | 225.36%
1788.19/1788.55 c 1789s| 36500 | 36501 | 13955k| 374.9 | 224M| 74 | 265 |1000 | 15k|1000 |1163 |3711k| 0 |9138 |-3.221085e+02 |-9.900000e+01 | 225.36%
1793.88/1794.22 c 1794s| 36600 | 36601 | 13996k| 375.1 | 224M| 74 | 110 |1000 | 15k|1000 |1157 |3721k| 0 |9198 |-3.220932e+02 |-9.900000e+01 | 225.35%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 36654
1796.68/1797.00 c Primal Bound : -9.90000000000000e+01 (533 solutions)
1796.68/1797.00 c Dual Bound : -3.22087180512270e+02
1796.68/1797.00 c Gap : 225.34 %
1796.68/1797.03 s SATISFIABLE
1796.68/1797.03 v x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.03 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.03 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1796.68/1797.03 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.03 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.68/1797.03 v -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.03 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1796.68/1797.03 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1796.68/1797.03 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.03 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.03 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1796.68/1797.03 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1796.68/1797.03 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1796.68/1797.03 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1796.68/1797.03 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1796.68/1797.03 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1796.68/1797.03 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1796.68/1797.03 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1796.68/1797.03 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1796.68/1797.03 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1796.68/1797.03 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1796.68/1797.03 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1796.68/1797.03 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1796.68/1797.03 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1796.68/1797.03 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1796.68/1797.03 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1796.68/1797.03 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1796.68/1797.03 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1796.68/1797.03 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1796.68/1797.03 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1796.68/1797.03 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1796.68/1797.03 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1796.68/1797.03 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1796.68/1797.03 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1796.68/1797.03 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1796.68/1797.03 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1796.68/1797.03 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1796.68/1797.03 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1796.68/1797.03 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1796.68/1797.03 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1796.68/1797.03 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1796.68/1797.03 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1796.68/1797.03 v -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93
1796.68/1797.03 v -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 x66
1796.68/1797.03 v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40
1796.68/1797.03 v x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 -x15 x14 -x13
1796.68/1797.03 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1796.68/1797.03 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.03 c Total Time : 1797.00
1796.68/1797.03 c solving : 1797.00
1796.68/1797.03 c presolving : 0.34 (included in solving)
1796.68/1797.03 c reading : 0.08 (included in solving)
1796.68/1797.03 c copying : 0.32 (11 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.03 c Original Problem :
1796.68/1797.03 c Problem name : HOME/instance-3692628-1338036852.opb
1796.68/1797.03 c Variables : 16820 (1000 binary, 0 integer, 15820 implicit integer, 0 continuous)
1796.68/1797.03 c Constraints : 17820 initial, 17820 maximal
1796.68/1797.03 c Objective sense : minimize
1796.68/1797.03 c Presolved Problem :
1796.68/1797.03 c Problem name : t_HOME/instance-3692628-1338036852.opb
1796.68/1797.03 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.03 c Constraints : 15820 initial, 15820 maximal
1796.68/1797.03 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.03 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c setppc : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c and : 0.16 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.03 c linear : 0.05 0.00 15820 0 0 15820 0 1000 0 0 0
1796.68/1797.03 c pseudoboolean : 0.02 0.01 0 0 0 0 0 1000 0 0 0
1796.68/1797.03 c root node : - - 0 - - 0 - - - - -
1796.68/1797.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.03 c integral : 0 0 0 0 42739 0 86723 0 0 0 0 0 73306
1796.68/1797.03 c setppc : 15820 15820 209 132272 6086 1 86718 0 0 645115 3724147 0 0
1796.68/1797.03 c countsols : 0 0 0 0 0 1 536 0 0 0 0 0 0
1796.68/1797.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.03 c integral : 292.43 0.00 0.00 0.00 292.37 0.00 0.06 0.00
1796.68/1797.03 c setppc : 28.85 0.00 1.08 11.55 5.53 0.00 10.68 0.00
1796.68/1797.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.03 c rootredcost : 1 0 0 0
1796.68/1797.03 c pseudoobj : 168875 0 0 0
1796.68/1797.03 c vbounds : 0 0 0 0
1796.68/1797.03 c redcost : 42947 0 0 0
1796.68/1797.03 c probing : 0 0 0 0
1796.68/1797.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.03 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.03 c pseudoobj : 0.34 0.01 0.00 0.33 0.00
1796.68/1797.03 c vbounds : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.03 c redcost : 0.86 0.00 0.00 0.86 0.00
1796.68/1797.03 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.03 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.03 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.03 c applied globally : - - - 0 0.0 - - -
1796.68/1797.03 c applied locally : - - - 0 0.0 - - -
1796.68/1797.03 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.03 c cut pool : 0.23 208 - - 5280 - (maximal pool size: 11834)
1796.68/1797.03 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c impliedbounds : 0.22 0.00 209 0 0 25941 0
1796.68/1797.03 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c gomory : 0.09 0.00 10 0 0 500 0
1796.68/1797.03 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c strongcg : 1.26 0.00 20 0 0 10000 0
1796.68/1797.03 c cmir : 0.40 0.00 10 0 0 0 0
1796.68/1797.03 c flowcover : 0.31 0.00 10 0 0 0 0
1796.68/1797.03 c clique : 5.08 0.00 207 0 0 1634 0
1796.68/1797.03 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.03 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.03 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.03 c problem variables: 0.00 - 0 0
1796.68/1797.03 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.03 c relpscost : 292.33 0.00 36653 0 0 0 0 73306
1796.68/1797.03 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.03 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.03 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.03 c LP solutions : 0.00 - - 0
1796.68/1797.03 c pseudo solutions : 0.00 - - 0
1796.68/1797.03 c oneopt : 0.03 0.00 2 1
1796.68/1797.03 c crossover : 1.13 0.00 10 2
1796.68/1797.03 c rootsoldiving : 13.45 0.00 286 6
1796.68/1797.03 c pscostdiving : 25.04 0.00 708 22
1796.68/1797.03 c linesearchdiving : 21.61 0.00 708 19
1796.68/1797.03 c fracdiving : 25.38 0.00 708 20
1796.68/1797.03 c guideddiving : 23.62 0.00 708 14
1796.68/1797.03 c veclendiving : 30.59 0.00 708 76
1796.68/1797.03 c smallcard : 0.00 0.00 0 0
1796.68/1797.03 c trivial : 0.04 0.00 2 1
1796.68/1797.03 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.03 c simplerounding : 6.44 0.00 36861 330
1796.68/1797.03 c zirounding : 0.26 0.00 1000 0
1796.68/1797.03 c rounding : 30.09 0.00 8809 1
1796.68/1797.03 c shifting : 11.41 0.00 2480 1
1796.68/1797.03 c intshifting : 0.00 0.00 0 0
1796.68/1797.03 c twoopt : 0.00 0.00 0 0
1796.68/1797.03 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.03 c indoneopt : 0.03 0.00 0 0
1796.68/1797.03 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.03 c feaspump : 0.00 0.00 0 0
1796.68/1797.03 c clique : 0.00 0.00 0 0
1796.68/1797.03 c coefdiving : 28.79 0.00 709 39
1796.68/1797.03 c indrounding : 0.00 0.00 0 0
1796.68/1797.03 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.03 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.03 c intdiving : 0.00 0.00 0 0
1796.68/1797.03 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.03 c objpscostdiving : 15.90 0.00 48 1
1796.68/1797.03 c octane : 0.00 0.00 0 0
1796.68/1797.03 c rens : 0.05 0.00 0 0
1796.68/1797.03 c rins : 0.00 0.00 0 0
1796.68/1797.03 c localbranching : 0.00 0.00 0 0
1796.68/1797.03 c mutation : 0.00 0.00 0 0
1796.68/1797.03 c dins : 0.00 0.00 0 0
1796.68/1797.03 c vbounds : 0.00 0.00 0 0
1796.68/1797.03 c undercover : 0.00 0.00 0 0
1796.68/1797.03 c subnlp : 0.01 0.00 0 0
1796.68/1797.03 c trysol : 0.02 0.00 0 0
1796.68/1797.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.03 c primal LP : 3.19 6120 0 0.00 0.00 3.19 6120
1796.68/1797.03 c dual LP : 1220.79 43282 12217309 284.47 10007.75 0.19 334
1796.68/1797.03 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.03 c diving/probing LP: 160.88 45067 1804507 40.04 11216.79
1796.68/1797.03 c strong branching : 289.95 9198 2138907 232.54 7376.80
1796.68/1797.03 c (at root node) : - 22 20496 931.64 -
1796.68/1797.03 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.03 c B&B Tree :
1796.68/1797.03 c number of runs : 1
1796.68/1797.03 c nodes : 36654
1796.68/1797.03 c nodes (total) : 36654
1796.68/1797.03 c nodes left : 36655
1796.68/1797.03 c max depth : 74
1796.68/1797.03 c max depth (total): 74
1796.68/1797.03 c backtracks : 4585 (12.5%)
1796.68/1797.03 c delayed cutoffs : 0
1796.68/1797.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.03 c avg switch length: 4.08
1796.68/1797.03 c switching time : 10.87
1796.68/1797.03 c Solution :
1796.68/1797.03 c Solutions found : 533 (4 improvements)
1796.68/1797.03 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1796.68/1797.03 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 0.96 seconds, depth 0, found by <oneopt>)
1796.68/1797.03 c Dual Bound : -3.22087180512270e+02
1796.68/1797.03 c Gap : 225.34 %
1796.68/1797.03 c Root Dual Bound : -3.26999999999998e+02
1796.68/1797.03 c Root Iterations : 269885
1796.99/1797.30 c Time complete: 1796.99.
OK -99
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-3692628-1338036852/watcher-3692628-1338036852 -o /tmp/evaluation-result-3692628-1338036852/solver-3692628-1338036852 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692628-1338036852.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.02 2.02 2.00 3/175 10091 /proc/meminfo: memFree=27288560/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=12032 CPUtime=0 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 1832 0 0 0 0 0 0 0 20 0 1 0 269809722 12320768 1786 33554432000 4194304 10219143 140733682693392 140735782207144 8891101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 3008 1795 398 1471 0 1528 0 [startup+0.00917803 s] /proc/loadavg: 2.02 2.02 2.00 3/175 10091 /proc/meminfo: memFree=27288560/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=14312 CPUtime=0 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 2352 0 0 0 0 0 0 0 20 0 1 0 269809722 14655488 2306 33554432000 4194304 10219143 140733682693392 140735782207144 7589947 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 3578 2306 442 1471 0 2098 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 14312 [startup+0.100276 s] /proc/loadavg: 2.02 2.02 2.00 3/175 10091 /proc/meminfo: memFree=27288560/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=50148 CPUtime=0.09 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 11132 0 0 0 8 1 0 0 20 0 1 0 269809722 51351552 11087 33554432000 4194304 10219143 140733682693392 140735782207144 7589947 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 12537 11125 487 1471 0 11057 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 50148 [startup+0.300316 s] /proc/loadavg: 2.02 2.02 2.00 3/175 10091 /proc/meminfo: memFree=27288560/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=74272 CPUtime=0.29 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 16761 0 0 0 26 3 0 0 20 0 1 0 269809722 76054528 16715 33554432000 4194304 10219143 140733682693392 140735782207144 9008087 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 18568 16715 560 1471 0 17088 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 74272 [startup+0.700299 s] /proc/loadavg: 2.02 2.02 2.00 3/175 10091 /proc/meminfo: memFree=27288560/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=105532 CPUtime=0.69 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 26184 0 0 0 62 7 0 0 20 0 1 0 269809722 108064768 23777 33554432000 4194304 10219143 140733682693392 140733682690632 6799756 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 26383 23777 759 1471 0 24903 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105532 [startup+1.50029 s] /proc/loadavg: 2.02 2.02 2.00 3/176 10092 /proc/meminfo: memFree=27195908/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=106656 CPUtime=1.49 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 27812 0 0 0 139 10 0 0 20 0 1 0 269809722 109215744 24885 33554432000 4194304 10219143 140733682693392 140733682688552 7228363 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 26664 24885 797 1471 0 25184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 106656 [startup+3.10028 s] /proc/loadavg: 2.02 2.02 2.00 3/176 10092 /proc/meminfo: memFree=27190700/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=115144 CPUtime=3.09 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 30023 0 0 0 298 11 0 0 20 0 1 0 269809722 117907456 27048 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 28786 27048 798 1471 0 27306 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 115144 [startup+6.30024 s] /proc/loadavg: 2.01 2.02 2.00 3/176 10092 /proc/meminfo: memFree=27178796/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=120328 CPUtime=6.28 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 31542 0 0 0 616 12 0 0 20 0 1 0 269809722 123215872 28567 33554432000 4194304 10219143 140733682693392 140733682687032 7228516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 30082 28567 798 1471 0 28602 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 120328 [startup+12.7003 s] /proc/loadavg: 2.01 2.02 2.00 3/176 10092 /proc/meminfo: memFree=27173060/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=124032 CPUtime=12.68 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 31918 0 0 0 1253 15 0 0 20 0 1 0 269809722 127008768 29447 33554432000 4194304 10219143 140733682693392 140733682686648 7228526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 31008 29447 798 1471 0 29528 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 124032 [startup+25.5003 s] /proc/loadavg: 2.01 2.01 2.00 3/176 10093 /proc/meminfo: memFree=27170084/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=128704 CPUtime=25.49 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 32848 0 0 0 2528 21 0 0 20 0 1 0 269809722 131792896 30310 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32176 30310 798 1471 0 30696 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 128704 [startup+51.1002 s] /proc/loadavg: 2.14 2.04 2.01 3/177 10132 /proc/meminfo: memFree=28494956/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=129244 CPUtime=51.08 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 33013 0 0 0 5075 33 0 0 20 0 1 0 269809722 132345856 30622 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32311 30622 798 1471 0 30831 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 129244 [startup+102.306 s] /proc/loadavg: 2.06 2.03 2.00 3/177 10132 /proc/meminfo: memFree=28491288/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=129268 CPUtime=102.27 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 37015 0 0 0 10174 53 0 0 20 0 1 0 269809722 132370432 30942 33554432000 4194304 10219143 140733682693392 140733682686888 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32317 30942 825 1471 0 30837 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129268 [startup+162.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 10132 /proc/meminfo: memFree=28470892/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=129268 CPUtime=162.25 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 37020 0 0 0 16126 99 0 0 20 0 1 0 269809722 132370432 30947 33554432000 4194304 10219143 140733682693392 140733682686104 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32317 30947 830 1471 0 30837 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 129268 [startup+222.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 10132 /proc/meminfo: memFree=28448260/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=128356 CPUtime=222.24 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 44067 0 0 0 22068 156 0 0 20 0 1 0 269809722 131436544 30775 33554432000 4194304 10219143 140733682693392 140733682686264 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32089 30775 840 1471 0 30609 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 128356 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10132 /proc/meminfo: memFree=28416452/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=130596 CPUtime=282.23 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 59646 0 0 0 28009 214 0 0 20 0 1 0 269809722 133730304 31303 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 32649 31303 840 1471 0 31169 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 130596 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10133 /proc/meminfo: memFree=28380856/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=135776 CPUtime=342.22 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 60854 0 0 0 33953 269 0 0 20 0 1 0 269809722 139034624 32584 33554432000 4194304 10219143 140733682693392 140733682687032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 33944 32584 840 1471 0 32464 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 135776 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10136 /proc/meminfo: memFree=28344764/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=138036 CPUtime=402.21 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 68867 0 0 0 39891 330 0 0 20 0 1 0 269809722 141348864 33115 33554432000 4194304 10219143 140733682693392 140733682686728 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 34509 33115 840 1471 0 33029 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 138036 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10159 /proc/meminfo: memFree=28309188/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=143908 CPUtime=462.2 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 77742 0 0 0 45827 393 0 0 20 0 1 0 269809722 147361792 34509 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 36025 34533 840 1471 0 34545 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 143908 [startup+522.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 10159 /proc/meminfo: memFree=28273360/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=146524 CPUtime=522.19 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 78528 0 0 0 51767 452 0 0 20 0 1 0 269809722 150040576 35291 33554432000 4194304 10219143 140733682693392 140733682686840 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 36631 35291 840 1471 0 35151 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 146524 [startup+582.3 s] /proc/loadavg: 2.07 2.02 2.00 3/177 10159 /proc/meminfo: memFree=28227404/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=153660 CPUtime=582.18 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 87576 0 0 0 57706 512 0 0 20 0 1 0 269809722 157347840 37096 33554432000 4194304 10219143 140733682693392 140733682686696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 38415 37096 840 1471 0 36935 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 153660 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=27893540/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=213840 CPUtime=1062.1 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 125093 0 0 0 105187 1023 0 0 20 0 1 0 269809722 218972160 51864 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 53460 51864 840 1471 0 51980 0 Current children cumulated CPU time (s) 1062.1 Current children cumulated vsize (KiB) 213840 [startup+1122.3 s] /proc/loadavg: 2.02 2.03 2.00 3/177 10164 /proc/meminfo: memFree=27848528/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=215548 CPUtime=1122.09 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 125619 0 0 0 111121 1088 0 0 20 0 1 0 269809722 220721152 52389 33554432000 4194304 10219143 140733682693392 140733682689704 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 53887 52389 840 1471 0 52407 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 215548 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 10164 /proc/meminfo: memFree=27803268/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=228964 CPUtime=1182.08 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 128883 0 0 0 117053 1155 0 0 20 0 1 0 269809722 234459136 55653 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 57241 55653 840 1471 0 55761 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 228964 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 10165 /proc/meminfo: memFree=27758872/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=232700 CPUtime=1242.07 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 129841 0 0 0 122993 1214 0 0 20 0 1 0 269809722 238284800 56611 33554432000 4194304 10219143 140733682693392 140733682686936 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 58175 56611 840 1471 0 56695 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 232700 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10165 /proc/meminfo: memFree=27718352/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=237892 CPUtime=1302.07 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 131205 0 0 0 128929 1278 0 0 20 0 1 0 269809722 243601408 57975 33554432000 4194304 10219143 140733682693392 140733682687032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 59473 57975 840 1471 0 57993 0 Current children cumulated CPU time (s) 1302.07 Current children cumulated vsize (KiB) 237892 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10165 /proc/meminfo: memFree=27673864/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=244400 CPUtime=1362.05 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 132876 0 0 0 134859 1346 0 0 20 0 1 0 269809722 250265600 59618 33554432000 4194304 10219143 140733682693392 140733682687032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 61100 59618 840 1471 0 59620 0 Current children cumulated CPU time (s) 1362.05 Current children cumulated vsize (KiB) 244400 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10165 /proc/meminfo: memFree=27637064/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=249880 CPUtime=1422.05 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 134364 0 0 0 140797 1408 0 0 20 0 1 0 269809722 255877120 61102 33554432000 4194304 10219143 140733682693392 140733682686648 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 62470 61102 840 1471 0 60990 0 Current children cumulated CPU time (s) 1422.05 Current children cumulated vsize (KiB) 249880 [startup+1482.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 10165 /proc/meminfo: memFree=27596764/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=256640 CPUtime=1482.04 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 135882 0 0 0 146732 1472 0 0 20 0 1 0 269809722 262799360 62620 33554432000 4194304 10219143 140733682693392 140733682687224 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 64160 62620 840 1471 0 62680 0 Current children cumulated CPU time (s) 1482.04 Current children cumulated vsize (KiB) 256640 [startup+1542.3 s] /proc/loadavg: 2.02 2.01 2.00 3/176 10165 /proc/meminfo: memFree=27552628/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=265576 CPUtime=1542.02 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 145544 0 0 0 152662 1540 0 0 20 0 1 0 269809722 271949824 64772 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 66394 64772 840 1471 0 64914 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 265576 [startup+1602.3 s] /proc/loadavg: 2.04 2.02 2.00 3/178 10169 /proc/meminfo: memFree=27510876/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=272064 CPUtime=1602 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 147319 0 0 0 158591 1609 0 0 20 0 1 0 269809722 278593536 66612 33554432000 4194304 10219143 140733682693392 140733682686696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 68016 66612 840 1471 0 66536 0 Current children cumulated CPU time (s) 1602 Current children cumulated vsize (KiB) 272064 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 10169 /proc/meminfo: memFree=27461532/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=276516 CPUtime=1662 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 148518 0 0 0 164525 1675 0 0 20 0 1 0 269809722 283152384 67785 33554432000 4194304 10219143 140733682693392 140733682687032 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 69129 67785 840 1471 0 67649 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 276516 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10169 /proc/meminfo: memFree=27410196/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=290288 CPUtime=1721.99 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 151811 0 0 0 170450 1749 0 0 20 0 1 0 269809722 297254912 71051 33554432000 4194304 10219143 140733682693392 140733682686200 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 72572 71051 840 1471 0 71092 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 290288 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27367044/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=295920 CPUtime=1781.98 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153347 0 0 0 176385 1813 0 0 20 0 1 0 269809722 303022080 72587 33554432000 4194304 10219143 140733682693392 140733682689144 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 73980 72587 840 1471 0 72500 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 295920 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27365184/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=295920 CPUtime=1785.18 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153359 0 0 0 176701 1817 0 0 20 0 1 0 269809722 303022080 72599 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 73980 72599 840 1471 0 72500 0 Current children cumulated CPU time (s) 1785.18 Current children cumulated vsize (KiB) 295920 [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27361092/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=296084 CPUtime=1791.58 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153398 0 0 0 177334 1824 0 0 20 0 1 0 269809722 303190016 72638 33554432000 4194304 10219143 140733682693392 140733682686696 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 74021 72638 840 1471 0 72541 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (KiB) 296084 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27359232/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=297168 CPUtime=1794.79 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153613 0 0 0 177650 1829 0 0 20 0 1 0 269809722 304300032 72853 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 74292 72853 840 1471 0 72812 0 Current children cumulated CPU time (s) 1794.79 Current children cumulated vsize (KiB) 297168 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27358116/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=297168 CPUtime=1796.38 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153615 0 0 0 177808 1830 0 0 20 0 1 0 269809722 304300032 72855 33554432000 4194304 10219143 140733682693392 140733682686744 9026266 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 74292 72855 840 1471 0 72812 0 Current children cumulated CPU time (s) 1796.38 Current children cumulated vsize (KiB) 297168 [startup+1797.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27358116/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=297168 CPUtime=1796.78 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153621 0 0 0 177848 1830 0 0 20 0 1 0 269809722 304300032 72861 33554432000 4194304 10219143 140733682693392 140733682686744 5952127 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 74292 72861 845 1471 0 72812 0 Current children cumulated CPU time (s) 1796.78 Current children cumulated vsize (KiB) 297168 [startup+1797.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10169 /proc/meminfo: memFree=27387692/32873844 swapFree=6080/6080 [pid=10091] ppid=10089 vsize=240064 CPUtime=1796.99 cores=1,3,5,7 /proc/10091/stat : 10091 (scip-2.1.1.4exp) R 10089 10091 8502 0 -1 4202496 153621 0 0 0 177868 1831 0 0 20 0 1 0 269809722 245825536 54288 33554432000 4194304 10219143 140733682693392 140733682686744 9221482 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/10091/statm: 60016 54288 845 1471 0 58536 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 240064 Child status: 0 Real time (s): 1797.31 CPU time (s): 1797 CPU user time (s): 1778.68 CPU system time (s): 18.3152 CPU usage (%): 99.9827 Max. virtual memory (cumulated for all children) (KiB): 297168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.68 system time used= 18.3152 maximum resident set size= 291444 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153623 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= 56 involuntary context switches= 1845 runsolver used 3.11053 second user time and 8.65068 second system time The end
Begin job on node139 at 2012-05-26 14:54:12 IDJOB=3692628 IDBENCH=48193 IDSOLVER=2271 FILE ID=node139/3692628-1338036852 RUNJOBID= node139-1338029658-9614 PBS_JOBID= 14624336 Free space on /tmp= 71580 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692628-1338036852/watcher-3692628-1338036852 -o /tmp/evaluation-result-3692628-1338036852/solver-3692628-1338036852 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692628-1338036852.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=1145043350 node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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 : 2666.750 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.750 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: 32873844 kB MemFree: 27289172 kB Buffers: 261368 kB Cached: 3163980 kB SwapCached: 0 kB Active: 2027064 kB Inactive: 2759372 kB Active(anon): 1352796 kB Inactive(anon): 11120 kB Active(file): 674268 kB Inactive(file): 2748252 kB Unevictable: 6080 kB Mlocked: 6080 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 14056 kB Writeback: 0 kB AnonPages: 1367036 kB Mapped: 17380 kB Shmem: 200 kB Slab: 655652 kB SReclaimable: 98260 kB SUnreclaim: 557392 kB KernelStack: 1440 kB PageTables: 7224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1486084 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 1142784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71612 MiB End job on node139 at 2012-05-26 15:24:09