Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | -102 | 1789.76 | 1790.19 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| 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 | -124 |
| Best CPU time to get the best result obtained on this benchmark | 1800.26 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| 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 | 50 |
| 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) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-2703265-1278569937.opb>
0.09/0.19 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 16772 constraints
0.09/0.19 c problem read
0.09/0.20 c presolving settings loaded
0.39/0.41 o 0
0.39/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.41 c presolving:
0.69/0.77 c (round 1) 15772 del vars, 1000 del conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.89/0.97 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.97 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.97 c presolving (2 rounds):
0.89/0.97 c 15772 deleted vars, 1000 deleted constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.97 c 94632 implications, 0 cliques
0.89/0.97 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.89/0.97 c 15772 constraints of type <logicor>
0.89/0.97 c transformed objective value is always integral (scale: 1)
0.89/0.97 c Presolving Time: 0.67
0.89/0.97 c - non default parameters ----------------------------------------------------------------------
0.89/0.97 c # SCIP version 1.2.1.3
0.89/0.97 c
0.89/0.97 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.97 c conflict/interconss = 0
0.89/0.97 c
0.89/0.97 c # should binary conflicts be preferred?
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c conflict/preferbinary = TRUE
0.89/0.97 c
0.89/0.97 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.97 c constraints/agelimit = 1
0.89/0.97 c
0.89/0.97 c # should enforcement of pseudo solution be disabled?
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/disableenfops = TRUE
0.89/0.97 c
0.89/0.97 c # frequency for displaying node information lines
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.97 c display/freq = 10000
0.89/0.97 c
0.89/0.97 c # maximal time in seconds to run
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/time = 1789.81
0.89/0.97 c
0.89/0.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/memory = 1620
0.89/0.97 c
0.89/0.97 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.97 c lp/solvefreq = 0
0.89/0.97 c
0.89/0.97 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.97 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.97 c lp/pricing = a
0.89/0.97 c
0.89/0.97 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.97 c # [type: int, range: [1,2], default: 1]
0.89/0.97 c timing/clocktype = 2
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify inequalities
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/linear/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/indicator/addCouplingCons = TRUE
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify knapsacks
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # priority of node selection rule <dfs> in standard mode
0.89/0.97 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.97 c nodeselection/dfs/stdpriority = 1000000
0.89/0.97 c
0.89/0.97 c -----------------------------------------------------------------------------------------------
0.89/0.97 c start solving
0.89/0.98 c
1.69/1.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.73 c t 1.5s| 1 | 0 | 1103 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.79/1.81 o -1
1.79/1.81 c R 1.6s| 1 | 0 | 1103 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.79/1.89 o -2
1.79/1.89 c s 1.7s| 1 | 0 | 1103 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.59/2.67 c 2.5s| 1 | 0 | 1197 | - | 44M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
2.59/2.68 o -102
2.59/2.68 c b 2.5s| 1 | 0 | 1197 | - | 44M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
3.59/3.68 c 3.5s| 1 | 0 | 1339 | - | 44M| 0 | 982 |1000 | 15k|1000 | 15k| 24 | 0 | 0 |-4.910000e+02 |-1.020000e+02 | 79.23%
4.69/4.73 c 4.5s| 1 | 0 | 1485 | - | 44M| 0 | 977 |1000 | 15k|1000 | 15k| 33 | 0 | 0 |-4.885000e+02 |-1.020000e+02 | 79.12%
6.09/6.14 c 5.9s| 1 | 0 | 1787 | - | 44M| 0 | 972 |1000 | 15k|1000 | 15k| 43 | 0 | 0 |-4.860000e+02 |-1.020000e+02 | 79.01%
7.49/7.52 c 7.3s| 1 | 0 | 1998 | - | 44M| 0 | 967 |1000 | 15k|1000 | 15k| 49 | 0 | 0 |-4.835000e+02 |-1.020000e+02 | 78.90%
8.98/9.02 c 8.8s| 1 | 0 | 2221 | - | 44M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
10.69/10.73 c 10.5s| 1 | 0 | 2549 | - | 44M| 0 | 958 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.790000e+02 |-1.020000e+02 | 78.71%
12.10/12.12 c 11.9s| 1 | 0 | 2717 | - | 44M| 0 | 955 |1000 | 15k|1000 | 15k| 71 | 0 | 0 |-4.775000e+02 |-1.020000e+02 | 78.64%
14.49/14.51 c 14.3s| 1 | 0 | 3155 | - | 44M| 0 | 949 |1000 | 15k|1000 | 15k| 82 | 0 | 0 |-4.745000e+02 |-1.020000e+02 | 78.50%
16.40/16.41 c 16.2s| 1 | 0 | 3512 | - | 44M| 0 | 943 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.715000e+02 |-1.020000e+02 | 78.37%
18.29/18.35 c 18.2s| 1 | 0 | 3915 | - | 44M| 0 | 940 |1000 | 15k|1000 |1414 | 96 | 0 | 0 |-4.692500e+02 |-1.020000e+02 | 78.26%
18.70/18.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.70/18.71 c 18.5s| 1 | 0 | 4186 | - | 44M| 0 | 928 |1000 | 15k|1000 |1421 | 103 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
19.08/19.16 c 19.0s| 1 | 0 | 4609 | - | 44M| 0 | 913 |1000 | 15k|1000 |1537 | 219 | 0 | 0 |-4.657500e+02 |-1.020000e+02 | 78.10%
19.58/19.63 c 19.4s| 1 | 0 | 4950 | - | 45M| 0 | 904 |1000 | 15k|1000 |1793 | 475 | 0 | 0 |-4.640000e+02 |-1.020000e+02 | 78.02%
20.29/20.30 c 20.1s| 1 | 0 | 5413 | - | 45M| 0 | 910 |1000 | 15k|1000 |2286 | 968 | 0 | 0 |-4.607500e+02 |-1.020000e+02 | 77.86%
20.89/20.94 c 20.7s| 1 | 0 | 5925 | - | 45M| 0 | 910 |1000 | 15k|1000 |2483 |1165 | 0 | 0 |-4.590000e+02 |-1.020000e+02 | 77.78%
21.48/21.57 c 21.4s| 1 | 0 | 6311 | - | 45M| 0 | 904 |1000 | 15k|1000 |2205 |1264 | 0 | 0 |-4.580000e+02 |-1.020000e+02 | 77.73%
21.99/22.09 c 21.9s| 1 | 0 | 6742 | - | 45M| 0 | 909 |1000 | 15k|1000 |2370 |1429 | 0 | 0 |-4.560000e+02 |-1.020000e+02 | 77.63%
22.48/22.55 c 22.4s| 1 | 0 | 6988 | - | 46M| 0 | 899 |1000 | 15k|1000 |2577 |1636 | 0 | 0 |-4.540000e+02 |-1.020000e+02 | 77.53%
22.99/23.07 c 22.9s| 1 | 0 | 7314 | - | 46M| 0 | 898 |1000 | 15k|1000 |2741 |1800 | 0 | 0 |-4.530000e+02 |-1.020000e+02 | 77.48%
23.48/23.57 c 23.4s| 1 | 0 | 7720 | - | 46M| 0 | 907 |1000 | 15k|1000 |2859 |1918 | 0 | 0 |-4.515000e+02 |-1.020000e+02 | 77.41%
24.20/24.23 c 24.0s| 1 | 0 | 8425 | - | 46M| 0 | 918 |1000 | 15k|1000 |2869 |1928 | 0 | 0 |-4.495000e+02 |-1.020000e+02 | 77.31%
24.89/24.97 c 24.8s| 1 | 0 | 9040 | - | 46M| 0 | 910 |1000 | 15k|1000 |3169 |2550 | 0 | 0 |-4.467500e+02 |-1.020000e+02 | 77.17%
25.68/25.77 c 25.6s| 1 | 0 | 9865 | - | 46M| 0 | 886 |1000 | 15k|1000 |3352 |2733 | 0 | 0 |-4.445000e+02 |-1.020000e+02 | 77.05%
26.78/26.88 c 26.7s| 1 | 0 | 11057 | - | 46M| 0 | 891 |1000 | 15k|1000 |3421 |2802 | 0 | 0 |-4.435000e+02 |-1.020000e+02 | 77.00%
27.69/27.76 c 27.6s| 1 | 0 | 11914 | - | 47M| 0 | 898 |1000 | 15k|1000 |3430 |2811 | 0 | 0 |-4.427500e+02 |-1.020000e+02 | 76.96%
29.09/29.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.09/29.18 c 29.0s| 1 | 0 | 13374 | - | 47M| 0 | 888 |1000 | 15k|1000 |3746 |3127 | 0 | 0 |-4.410000e+02 |-1.020000e+02 | 76.87%
30.48/30.59 c 30.4s| 1 | 0 | 14858 | - | 47M| 0 | 907 |1000 | 15k|1000 |3776 |3157 | 0 | 0 |-4.398750e+02 |-1.020000e+02 | 76.81%
31.49/31.59 c 31.4s| 1 | 0 | 15461 | - | 47M| 0 | 879 |1000 | 15k|1000 |2899 |3682 | 0 | 0 |-4.390000e+02 |-1.020000e+02 | 76.77%
32.38/32.40 c 32.2s| 1 | 0 | 16158 | - | 48M| 0 | 874 |1000 | 15k|1000 |3045 |3828 | 0 | 0 |-4.380000e+02 |-1.020000e+02 | 76.71%
33.28/33.34 c 33.1s| 1 | 0 | 17090 | - | 48M| 0 | 883 |1000 | 15k|1000 |3257 |4040 | 0 | 0 |-4.370833e+02 |-1.020000e+02 | 76.66%
34.48/34.59 c 34.4s| 1 | 0 | 18020 | - | 49M| 0 | 875 |1000 | 15k|1000 |3914 |4697 | 0 | 0 |-4.350000e+02 |-1.020000e+02 | 76.55%
35.98/36.09 c 35.9s| 1 | 0 | 19439 | - | 49M| 0 | 865 |1000 | 15k|1000 |3924 |4707 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 76.42%
37.09/37.13 c 36.9s| 1 | 0 | 20249 | - | 49M| 0 | 870 |1000 | 15k|1000 |3953 |4736 | 0 | 0 |-4.315000e+02 |-1.020000e+02 | 76.36%
38.49/38.50 c 38.3s| 1 | 0 | 21198 | - | 49M| 0 | 858 |1000 | 15k|1000 |2882 |4783 | 0 | 0 |-4.305000e+02 |-1.020000e+02 | 76.31%
39.19/39.28 c 39.1s| 1 | 0 | 21913 | - | 49M| 0 | 858 |1000 | 15k|1000 |2957 |4858 | 0 | 0 |-4.295000e+02 |-1.020000e+02 | 76.25%
40.48/40.51 c 40.3s| 1 | 0 | 23139 | - | 49M| 0 | 858 |1000 | 15k|1000 |3027 |4928 | 0 | 0 |-4.280000e+02 |-1.020000e+02 | 76.17%
41.18/41.24 c 41.0s| 1 | 0 | 23855 | - | 49M| 0 | 849 |1000 | 15k|1000 |3035 |4936 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
41.79/41.85 c 41.6s| 1 | 0 | 24365 | - | 49M| 0 | 855 |1000 | 15k|1000 |3090 |4991 | 0 | 0 |-4.260000e+02 |-1.020000e+02 | 76.06%
42.69/42.77 c 42.6s| 1 | 0 | 25248 | - | 50M| 0 | 838 |1000 | 15k|1000 |3150 |5051 | 0 | 0 |-4.250000e+02 |-1.020000e+02 | 76.00%
43.68/43.70 c 43.5s| 1 | 0 | 26215 | - | 50M| 0 | 897 |1000 | 15k|1000 |2124 |5180 | 0 | 0 |-4.236000e+02 |-1.020000e+02 | 75.92%
45.09/45.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.09/45.17 c 45.0s| 1 | 0 | 26476 | - | 51M| 0 | 847 |1000 | 15k|1000 |4124 |7180 | 0 | 0 |-4.235000e+02 |-1.020000e+02 | 75.91%
45.88/45.97 c 45.8s| 1 | 0 | 27069 | - | 51M| 0 | 843 |1000 | 15k|1000 |4133 |7189 | 0 | 0 |-4.225000e+02 |-1.020000e+02 | 75.86%
46.88/46.96 c 46.8s| 1 | 0 | 27897 | - | 51M| 0 | 833 |1000 | 15k|1000 |4192 |7248 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 75.80%
47.67/47.77 c 47.6s| 1 | 0 | 28555 | - | 51M| 0 | 837 |1000 | 15k|1000 |4318 |7374 | 0 | 0 |-4.205000e+02 |-1.020000e+02 | 75.74%
48.58/48.65 c 48.5s| 1 | 0 | 29168 | - | 51M| 0 | 837 |1000 | 15k|1000 |4373 |7429 | 0 | 0 |-4.195000e+02 |-1.020000e+02 | 75.69%
49.78/49.88 c 49.7s| 1 | 0 | 30076 | - | 51M| 0 | 835 |1000 | 15k|1000 |3564 |7455 | 0 | 0 |-4.185000e+02 |-1.020000e+02 | 75.63%
50.38/50.48 c 50.3s| 1 | 0 | 30574 | - | 51M| 0 | 823 |1000 | 15k|1000 |3589 |7480 | 0 | 0 |-4.185000e+02 |-1.020000e+02 | 75.63%
51.69/51.72 c 51.5s| 1 | 0 | 31889 | - | 51M| 0 | 841 |1000 | 15k|1000 |3770 |7661 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
52.58/52.66 c 52.5s| 1 | 0 | 32841 | - | 51M| 0 | 829 |1000 | 15k|1000 |3905 |7796 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 75.45%
53.68/53.73 c 53.5s| 1 | 0 | 33903 | - | 51M| 0 | 834 |1000 | 15k|1000 |3934 |7825 | 0 | 0 |-4.147500e+02 |-1.020000e+02 | 75.41%
54.99/55.06 c 54.9s| 1 | 0 | 34955 | - | 51M| 0 | 820 |1000 | 15k|1000 |4140 |8031 | 0 | 0 |-4.140000e+02 |-1.020000e+02 | 75.36%
56.28/56.33 c 56.1s| 1 | 0 | 35998 | - | 52M| 0 | 823 |1000 | 15k|1000 |2365 |8121 | 0 | 0 |-4.135000e+02 |-1.020000e+02 | 75.33%
57.08/57.15 c 57.0s| 1 | 0 | 36814 | - | 52M| 0 | 820 |1000 | 15k|1000 |2414 |8170 | 0 | 0 |-4.120000e+02 |-1.020000e+02 | 75.24%
57.58/57.64 c 57.4s| 1 | 0 | 37278 | - | 52M| 0 | 815 |1000 | 15k|1000 |2469 |8225 | 0 | 0 |-4.115000e+02 |-1.020000e+02 | 75.21%
58.48/58.55 c 58.4s| 1 | 0 | 38253 | - | 52M| 0 | 828 |1000 | 15k|1000 |2567 |8323 | 0 | 0 |-4.105000e+02 |-1.020000e+02 | 75.15%
59.28/59.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.28/59.34 c 59.1s| 1 | 0 | 39030 | - | 52M| 0 | 832 |1000 | 15k|1000 |2633 |8389 | 0 | 0 |-4.100000e+02 |-1.020000e+02 | 75.12%
60.18/60.25 c 60.0s| 1 | 0 | 39947 | - | 52M| 0 | 806 |1000 | 15k|1000 |2868 |8624 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 75.09%
61.08/61.17 c 61.0s| 1 | 0 | 40847 | - | 53M| 0 | 819 |1000 | 15k|1000 |2619 |8972 | 0 | 0 |-4.077500e+02 |-1.020000e+02 | 74.98%
61.88/61.93 c 61.7s| 1 | 0 | 41763 | - | 53M| 0 | 801 |1000 | 15k|1000 |2800 |9153 | 0 | 0 |-4.065000e+02 |-1.020000e+02 | 74.91%
62.58/62.68 c 62.5s| 1 | 0 | 42388 | - | 53M| 0 | 806 |1000 | 15k|1000 |2949 |9302 | 0 | 0 |-4.060000e+02 |-1.020000e+02 | 74.88%
63.98/64.07 c 63.9s| 1 | 0 | 43769 | - | 53M| 0 | 878 |1000 | 15k|1000 |3026 |9379 | 0 | 0 |-4.057224e+02 |-1.020000e+02 | 74.86%
65.77/65.83 c 65.6s| 1 | 0 | 44919 | - | 56M| 0 | 834 |1000 | 15k|1000 |4574 | 10k| 0 | 0 |-4.045000e+02 |-1.020000e+02 | 74.78%
68.78/68.84 c 68.6s| 1 | 0 | 47194 | - | 56M| 0 | 843 |1000 | 15k|1000 |4611 | 10k| 0 | 0 |-4.039286e+02 |-1.020000e+02 | 74.75%
70.87/70.91 c 70.7s| 1 | 0 | 48827 | - | 57M| 0 | 816 |1000 | 15k|1000 |4181 | 11k| 0 | 0 |-4.031250e+02 |-1.020000e+02 | 74.70%
72.27/72.32 c 72.1s| 1 | 0 | 50002 | - | 58M| 0 | 809 |1000 | 15k|1000 |4194 | 11k| 0 | 0 |-4.019361e+02 |-1.020000e+02 | 74.62%
73.58/73.63 c 73.4s| 1 | 0 | 51379 | - | 58M| 0 | 817 |1000 | 15k|1000 |4230 | 11k| 0 | 0 |-4.010000e+02 |-1.020000e+02 | 74.56%
76.08/76.18 c 76.0s| 1 | 0 | 53314 | - | 59M| 0 | 802 |1000 | 15k|1000 |4337 | 11k| 0 | 0 |-4.000000e+02 |-1.020000e+02 | 74.50%
78.08/78.11 c 77.9s| 1 | 0 | 54962 | - | 59M| 0 | 841 |1000 | 15k|1000 |4367 | 11k| 0 | 0 |-3.990000e+02 |-1.020000e+02 | 74.44%
80.18/80.20 c 80.0s| 1 | 0 | 56429 | - | 59M| 0 | 824 |1000 | 15k|1000 |4441 | 11k| 0 | 0 |-3.981667e+02 |-1.020000e+02 | 74.38%
82.67/82.76 c 82.6s| 1 | 0 | 58440 | - | 59M| 0 | 816 |1000 | 15k|1000 |3932 | 11k| 0 | 0 |-3.960000e+02 |-1.020000e+02 | 74.24%
85.17/85.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
85.17/85.28 c 85.1s| 1 | 0 | 60825 | - | 60M| 0 | 806 |1000 | 15k|1000 |3957 | 11k| 0 | 0 |-3.953750e+02 |-1.020000e+02 | 74.20%
88.07/88.17 c 88.0s| 1 | 0 | 63139 | - | 61M| 0 | 840 |1000 | 15k|1000 |4020 | 11k| 0 | 0 |-3.942188e+02 |-1.020000e+02 | 74.13%
89.77/89.89 c 89.7s| 1 | 0 | 64466 | - | 61M| 0 | 831 |1000 | 15k|1000 |4309 | 11k| 0 | 0 |-3.936250e+02 |-1.020000e+02 | 74.09%
91.47/91.59 c 91.4s| 1 | 0 | 65799 | - | 64M| 0 | 860 |1000 | 15k|1000 |4383 | 11k| 0 | 0 |-3.926875e+02 |-1.020000e+02 | 74.03%
93.17/93.24 c 93.0s| 1 | 0 | 66988 | - | 65M| 0 | 816 |1000 | 15k|1000 |4517 | 11k| 0 | 0 |-3.921250e+02 |-1.020000e+02 | 73.99%
94.96/95.00 c 94.8s| 1 | 0 | 68564 | - | 65M| 0 | 852 |1000 | 15k|1000 |3647 | 11k| 0 | 0 |-3.912287e+02 |-1.020000e+02 | 73.93%
96.87/96.98 c 96.8s| 1 | 0 | 70053 | - | 65M| 0 | 838 |1000 | 15k|1000 |3778 | 12k| 0 | 0 |-3.901250e+02 |-1.020000e+02 | 73.85%
98.77/98.82 c 98.6s| 1 | 0 | 71836 | - | 67M| 0 | 905 |1000 | 15k|1000 |3925 | 12k| 0 | 0 |-3.891080e+02 |-1.020000e+02 | 73.79%
100.36/100.47 c 100s| 1 | 0 | 72610 | - | 67M| 0 | 858 |1000 | 15k|1000 |5501 | 13k| 0 | 0 |-3.889531e+02 |-1.020000e+02 | 73.78%
102.07/102.16 c 102s| 1 | 0 | 73628 | - | 68M| 0 | 846 |1000 | 15k|1000 |5546 | 13k| 0 | 0 |-3.886364e+02 |-1.020000e+02 | 73.75%
105.27/105.32 c 105s| 1 | 0 | 75486 | - | 70M| 0 | 875 |1000 | 15k|1000 |5579 | 13k| 0 | 0 |-3.874222e+02 |-1.020000e+02 | 73.67%
108.07/108.20 c 108s| 1 | 0 | 76869 | - | 70M| 0 | 868 |1000 | 15k|1000 |5330 | 13k| 0 | 0 |-3.863764e+02 |-1.020000e+02 | 73.60%
110.16/110.25 c 110s| 1 | 0 | 78159 | - | 71M| 0 | 857 |1000 | 15k|1000 |5435 | 14k| 0 | 0 |-3.856923e+02 |-1.020000e+02 | 73.55%
112.97/113.04 c 113s| 1 | 0 | 79629 | - | 71M| 0 | 872 |1000 | 15k|1000 |5494 | 14k| 0 | 0 |-3.844791e+02 |-1.020000e+02 | 73.47%
115.96/116.03 c 116s| 1 | 0 | 81122 | - | 71M| 0 | 873 |1000 | 15k|1000 |5540 | 14k| 0 | 0 |-3.835074e+02 |-1.020000e+02 | 73.40%
118.46/118.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.46/118.52 c 118s| 1 | 0 | 82531 | - | 73M| 0 | 880 |1000 | 15k|1000 |5629 | 14k| 0 | 0 |-3.826111e+02 |-1.020000e+02 | 73.34%
122.66/122.77 c 123s| 1 | 0 | 84741 | - | 73M| 0 | 879 |1000 | 15k|1000 |5701 | 14k| 0 | 0 |-3.804664e+02 |-1.020000e+02 | 73.19%
126.47/126.51 c 126s| 1 | 0 | 86315 | - | 74M| 0 | 884 |1000 | 15k|1000 |5396 | 14k| 0 | 0 |-3.792608e+02 |-1.020000e+02 | 73.11%
128.57/128.61 c 128s| 1 | 0 | 87495 | - | 77M| 0 | 880 |1000 | 15k|1000 |5405 | 14k| 0 | 0 |-3.787061e+02 |-1.020000e+02 | 73.07%
131.27/131.31 c 131s| 1 | 0 | 88919 | - | 79M| 0 | 883 |1000 | 15k|1000 |5427 | 14k| 0 | 0 |-3.777972e+02 |-1.020000e+02 | 73.00%
134.46/134.53 c 134s| 1 | 0 | 90911 | - | 82M| 0 | 891 |1000 | 15k|1000 |5495 | 14k| 0 | 0 |-3.765366e+02 |-1.020000e+02 | 72.91%
137.75/137.84 c 138s| 1 | 0 | 92213 | - | 82M| 0 | 896 |1000 | 15k|1000 |5546 | 14k| 0 | 0 |-3.758385e+02 |-1.020000e+02 | 72.86%
142.26/142.33 c 142s| 1 | 0 | 94254 | - | 82M| 0 | 920 |1000 | 15k|1000 |5587 | 14k| 0 | 0 |-3.750605e+02 |-1.020000e+02 | 72.80%
146.95/147.06 c 147s| 1 | 0 | 96285 | - | 83M| 0 | 895 |1000 | 15k|1000 |4977 | 14k| 0 | 0 |-3.736542e+02 |-1.020000e+02 | 72.70%
150.15/150.22 c 150s| 1 | 0 | 97519 | - | 83M| 0 | 911 |1000 | 15k|1000 |5060 | 14k| 0 | 0 |-3.734697e+02 |-1.020000e+02 | 72.69%
153.45/153.59 c 153s| 1 | 0 | 99069 | - | 83M| 0 | 911 |1000 | 15k|1000 |5103 | 14k| 0 | 0 |-3.728416e+02 |-1.020000e+02 | 72.64%
157.05/157.18 c 157s| 1 | 0 |100545 | - | 83M| 0 | 907 |1000 | 15k|1000 |5144 | 14k| 0 | 0 |-3.724861e+02 |-1.020000e+02 | 72.62%
160.35/160.44 c 160s| 1 | 0 |101915 | - | 83M| 0 | 900 |1000 | 15k|1000 |5180 | 14k| 0 | 0 |-3.709090e+02 |-1.020000e+02 | 72.50%
163.95/164.07 c 164s| 1 | 0 |103885 | - | 84M| 0 | 909 |1000 | 15k|1000 |5223 | 14k| 0 | 0 |-3.698223e+02 |-1.020000e+02 | 72.42%
168.45/168.50 c 168s| 1 | 0 |105874 | - | 84M| 0 | 921 |1000 | 15k|1000 |5075 | 15k| 0 | 0 |-3.687775e+02 |-1.020000e+02 | 72.34%
171.85/171.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
171.85/171.99 c 172s| 1 | 0 |107150 | - | 84M| 0 | 927 |1000 | 15k|1000 |5228 | 15k| 0 | 0 |-3.683269e+02 |-1.020000e+02 | 72.31%
176.45/176.53 c 176s| 1 | 0 |109226 | - | 84M| 0 | 907 |1000 | 15k|1000 |5351 | 15k| 0 | 0 |-3.669768e+02 |-1.020000e+02 | 72.21%
181.25/181.36 c 181s| 1 | 0 |111275 | - | 84M| 0 | 909 |1000 | 15k|1000 |5407 | 15k| 0 | 0 |-3.660302e+02 |-1.020000e+02 | 72.13%
185.76/185.80 c 186s| 1 | 0 |113160 | - | 84M| 0 | 929 |1000 | 15k|1000 |5505 | 15k| 0 | 0 |-3.656276e+02 |-1.020000e+02 | 72.10%
189.85/189.91 c 190s| 1 | 0 |114576 | - | 84M| 0 | 935 |1000 | 15k|1000 |5551 | 15k| 0 | 0 |-3.653540e+02 |-1.020000e+02 | 72.08%
195.76/195.89 c 196s| 1 | 0 |117115 | - | 84M| 0 | 938 |1000 | 15k|1000 |5377 | 15k| 0 | 0 |-3.635441e+02 |-1.020000e+02 | 71.94%
200.75/200.89 c 201s| 1 | 0 |119005 | - | 84M| 0 | 941 |1000 | 15k|1000 |5524 | 15k| 0 | 0 |-3.627669e+02 |-1.020000e+02 | 71.88%
205.74/205.89 c 206s| 1 | 0 |120891 | - | 84M| 0 | 939 |1000 | 15k|1000 |5571 | 15k| 0 | 0 |-3.618321e+02 |-1.020000e+02 | 71.81%
210.34/210.45 c 210s| 1 | 0 |122562 | - | 84M| 0 | 932 |1000 | 15k|1000 |5633 | 15k| 0 | 0 |-3.611642e+02 |-1.020000e+02 | 71.76%
214.74/214.87 c 215s| 1 | 0 |123923 | - | 84M| 0 | 936 |1000 | 15k|1000 |5669 | 16k| 0 | 0 |-3.603778e+02 |-1.020000e+02 | 71.70%
220.04/220.12 c 220s| 1 | 0 |125803 | - | 84M| 0 | 938 |1000 | 15k|1000 |5721 | 16k| 0 | 0 |-3.593874e+02 |-1.020000e+02 | 71.62%
226.44/226.50 c 226s| 1 | 0 |128315 | - | 84M| 0 | 932 |1000 | 15k|1000 |5520 | 16k| 0 | 0 |-3.575029e+02 |-1.020000e+02 | 71.47%
231.24/231.35 c 231s| 1 | 0 |130009 | - | 84M| 0 | 945 |1000 | 15k|1000 |5640 | 16k| 0 | 0 |-3.568895e+02 |-1.020000e+02 | 71.42%
236.13/236.23 c 236s| 1 | 0 |131597 | - | 84M| 0 | 935 |1000 | 15k|1000 |5744 | 16k| 0 | 0 |-3.565782e+02 |-1.020000e+02 | 71.39%
240.53/240.69 c 240s| 1 | 0 |132924 | - | 84M| 0 | 947 |1000 | 15k|1000 |5783 | 16k| 0 | 0 |-3.563240e+02 |-1.020000e+02 | 71.37%
247.03/247.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.03/247.15 c 247s| 1 | 0 |135264 | - | 84M| 0 | 945 |1000 | 15k|1000 |5805 | 16k| 0 | 0 |-3.553017e+02 |-1.020000e+02 | 71.29%
253.43/253.57 c 253s| 1 | 0 |137455 | - | 84M| 0 | 950 |1000 | 15k|1000 |5834 | 16k| 0 | 0 |-3.542272e+02 |-1.020000e+02 | 71.20%
259.13/259.27 c 259s| 1 | 0 |139008 | - | 84M| 0 | 945 |1000 | 15k|1000 |5673 | 16k| 0 | 0 |-3.537704e+02 |-1.020000e+02 | 71.17%
264.63/264.72 c 265s| 1 | 0 |140789 | - | 84M| 0 | 947 |1000 | 15k|1000 |5703 | 16k| 0 | 0 |-3.530208e+02 |-1.020000e+02 | 71.11%
270.12/270.23 c 270s| 1 | 0 |142431 | - | 84M| 0 | 960 |1000 | 15k|1000 |5758 | 16k| 0 | 0 |-3.522217e+02 |-1.020000e+02 | 71.04%
275.82/275.91 c 276s| 1 | 0 |144065 | - | 84M| 0 | 960 |1000 | 15k|1000 |5807 | 16k| 0 | 0 |-3.513520e+02 |-1.020000e+02 | 70.97%
281.32/281.48 c 281s| 1 | 0 |145467 | - | 84M| 0 | 962 |1000 | 15k|1000 |5841 | 16k| 0 | 0 |-3.508084e+02 |-1.020000e+02 | 70.92%
287.43/287.55 c 287s| 1 | 0 |147265 | - | 84M| 0 | 972 |1000 | 15k|1000 |5898 | 16k| 0 | 0 |-3.501805e+02 |-1.020000e+02 | 70.87%
293.72/293.87 c 294s| 1 | 0 |149063 | - | 84M| 0 | 974 |1000 | 15k|1000 |5733 | 16k| 0 | 0 |-3.496451e+02 |-1.020000e+02 | 70.83%
300.02/300.13 c 300s| 1 | 0 |150822 | - | 84M| 0 | 980 |1000 | 15k|1000 |5792 | 16k| 0 | 0 |-3.489998e+02 |-1.020000e+02 | 70.77%
306.62/306.78 c 307s| 1 | 0 |152722 | - | 84M| 0 | 973 |1000 | 15k|1000 |5868 | 16k| 0 | 0 |-3.483363e+02 |-1.020000e+02 | 70.72%
314.11/314.28 c 314s| 1 | 0 |154847 | - | 83M| 0 | 980 |1000 | 15k|1000 |5956 | 17k| 0 | 0 |-3.474380e+02 |-1.020000e+02 | 70.64%
320.81/320.90 c 321s| 1 | 0 |156500 | - | 83M| 0 | 979 |1000 | 15k|1000 |5975 | 17k| 0 | 0 |-3.469499e+02 |-1.020000e+02 | 70.60%
328.31/328.49 c 328s| 1 | 0 |158450 | - | 83M| 0 | 982 |1000 | 15k|1000 |6029 | 17k| 0 | 0 |-3.463016e+02 |-1.020000e+02 | 70.55%
335.61/335.71 c 336s| 1 | 0 |160065 | - | 83M| 0 | 988 |1000 | 15k|1000 |5915 | 17k| 0 | 0 |-3.458147e+02 |-1.020000e+02 | 70.50%
342.81/342.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
342.81/342.98 c 343s| 1 | 0 |161594 | - | 82M| 0 | 980 |1000 | 15k|1000 |5982 | 17k| 0 | 0 |-3.451651e+02 |-1.020000e+02 | 70.45%
350.41/350.54 c 350s| 1 | 0 |163442 | - | 82M| 0 | 987 |1000 | 15k|1000 |6019 | 17k| 0 | 0 |-3.445251e+02 |-1.020000e+02 | 70.39%
358.11/358.23 c 358s| 1 | 0 |165235 | - | 82M| 0 | 986 |1000 | 15k|1000 |6066 | 17k| 0 | 0 |-3.437634e+02 |-1.020000e+02 | 70.33%
365.80/365.92 c 366s| 1 | 0 |167100 | - | 82M| 0 | 994 |1000 | 15k|1000 |6107 | 17k| 0 | 0 |-3.429337e+02 |-1.020000e+02 | 70.26%
373.20/373.39 c 373s| 1 | 0 |168615 | - | 82M| 0 | 995 |1000 | 15k|1000 |6147 | 17k| 0 | 0 |-3.424396e+02 |-1.020000e+02 | 70.21%
381.51/381.65 c 381s| 1 | 0 |170388 | - | 82M| 0 | 993 |1000 | 15k|1000 |6060 | 17k| 0 | 0 |-3.416618e+02 |-1.020000e+02 | 70.15%
389.90/390.03 c 390s| 1 | 0 |172279 | - | 82M| 0 | 994 |1000 | 15k|1000 |6095 | 17k| 0 | 0 |-3.408386e+02 |-1.020000e+02 | 70.07%
398.70/398.83 c 399s| 1 | 0 |174295 | - | 82M| 0 | 987 |1000 | 15k|1000 |6144 | 17k| 0 | 0 |-3.401824e+02 |-1.020000e+02 | 70.02%
405.99/406.13 c 406s| 1 | 0 |175678 | - | 82M| 0 | 995 |1000 | 15k|1000 |6178 | 17k| 0 | 0 |-3.398432e+02 |-1.020000e+02 | 69.99%
414.09/414.29 c 414s| 1 | 0 |177390 | - | 81M| 0 | 994 |1000 | 15k|1000 |6224 | 17k| 0 | 0 |-3.392911e+02 |-1.020000e+02 | 69.94%
422.59/422.70 c 423s| 1 | 0 |179156 | - | 81M| 0 | 997 |1000 | 15k|1000 |6269 | 17k| 0 | 0 |-3.387644e+02 |-1.020000e+02 | 69.89%
430.89/431.08 c 431s| 1 | 0 |180729 | - | 81M| 0 | 997 |1000 | 15k|1000 |6184 | 17k| 0 | 0 |-3.382868e+02 |-1.020000e+02 | 69.85%
437.99/438.13 c 438s| 1 | 0 |181672 | - | 81M| 0 | 996 |1000 | 15k|1000 |6222 | 17k| 0 | 0 |-3.380775e+02 |-1.020000e+02 | 69.83%
445.69/445.82 c 446s| 1 | 0 |182872 | - | 81M| 0 | 998 |1000 | 15k|1000 |6252 | 17k| 0 | 0 |-3.377264e+02 |-1.020000e+02 | 69.80%
454.68/454.87 c 455s| 1 | 0 |184483 | - | 81M| 0 | 998 |1000 | 15k|1000 |6281 | 17k| 0 | 0 |-3.372879e+02 |-1.020000e+02 | 69.76%
462.98/463.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
462.98/463.13 c 463s| 1 | 0 |185868 | - | 81M| 0 | 994 |1000 | 15k|1000 |6314 | 17k| 0 | 0 |-3.369006e+02 |-1.020000e+02 | 69.72%
471.58/471.73 c 472s| 1 | 0 |187395 | - | 81M| 0 | 997 |1000 | 15k|1000 |6342 | 17k| 0 | 0 |-3.364189e+02 |-1.020000e+02 | 69.68%
480.68/480.82 c 481s| 1 | 0 |189192 | - | 81M| 0 | 997 |1000 | 15k|1000 |6289 | 17k| 0 | 0 |-3.359305e+02 |-1.020000e+02 | 69.64%
487.88/488.06 c 488s| 1 | 0 |190099 | - | 81M| 0 | 997 |1000 | 15k|1000 |6317 | 17k| 0 | 0 |-3.357455e+02 |-1.020000e+02 | 69.62%
496.27/496.43 c 496s| 1 | 0 |191420 | - | 81M| 0 | 997 |1000 | 15k|1000 |6350 | 17k| 0 | 0 |-3.352954e+02 |-1.020000e+02 | 69.58%
504.97/505.11 c 505s| 1 | 0 |192830 | - | 81M| 0 | 999 |1000 | 15k|1000 |6386 | 17k| 0 | 0 |-3.348185e+02 |-1.020000e+02 | 69.54%
514.47/514.67 c 514s| 1 | 0 |194578 | - | 81M| 0 | 999 |1000 | 15k|1000 |6410 | 17k| 0 | 0 |-3.341908e+02 |-1.020000e+02 | 69.48%
523.47/523.68 c 523s| 1 | 0 |196052 | - | 80M| 0 | 999 |1000 | 15k|1000 |6431 | 18k| 0 | 0 |-3.336577e+02 |-1.020000e+02 | 69.43%
532.37/532.58 c 532s| 1 | 0 |197565 | - | 80M| 0 | 998 |1000 | 15k|1000 |6407 | 18k| 0 | 0 |-3.329783e+02 |-1.020000e+02 | 69.37%
541.76/541.95 c 542s| 1 | 0 |199313 | - | 80M| 0 | 995 |1000 | 15k|1000 |6438 | 18k| 0 | 0 |-3.322493e+02 |-1.020000e+02 | 69.30%
549.86/550.06 c 550s| 1 | 0 |200419 | - | 80M| 0 | 996 |1000 | 15k|1000 |6461 | 18k| 0 | 0 |-3.318523e+02 |-1.020000e+02 | 69.26%
559.06/559.21 c 559s| 1 | 0 |201962 | - | 80M| 0 | 996 |1000 | 15k|1000 |6488 | 18k| 0 | 0 |-3.312782e+02 |-1.020000e+02 | 69.21%
566.76/566.99 c 567s| 1 | 0 |202891 | - | 80M| 0 | 995 |1000 | 15k|1000 |6509 | 18k| 0 | 0 |-3.310435e+02 |-1.020000e+02 | 69.19%
575.35/575.54 c 575s| 1 | 0 |204163 | - | 79M| 0 | 995 |1000 | 15k|1000 |6528 | 18k| 0 | 0 |-3.306426e+02 |-1.020000e+02 | 69.15%
583.65/583.84 c 584s| 1 | 0 |205210 | - | 79M| 0 | 997 |1000 | 15k|1000 |6478 | 18k| 0 | 0 |-3.303617e+02 |-1.020000e+02 | 69.12%
592.25/592.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
592.25/592.46 c 592s| 1 | 0 |206501 | - | 79M| 0 | 997 |1000 | 15k|1000 |6513 | 18k| 0 | 0 |-3.299552e+02 |-1.020000e+02 | 69.09%
600.75/600.98 c 601s| 1 | 0 |207855 | - | 79M| 0 | 997 |1000 | 15k|1000 |6538 | 18k| 0 | 0 |-3.295263e+02 |-1.020000e+02 | 69.05%
608.45/608.62 c 608s| 1 | 0 |208815 | - | 77M| 0 | 996 |1000 | 15k|1000 |6567 | 18k| 0 | 0 |-3.292829e+02 |-1.020000e+02 | 69.02%
616.64/616.89 c 617s| 1 | 0 |209907 | - | 77M| 0 | 999 |1000 | 15k|1000 |6592 | 18k| 0 | 0 |-3.290047e+02 |-1.020000e+02 | 69.00%
625.65/625.86 c 626s| 1 | 0 |211356 | - | 76M| 0 | 995 |1000 | 15k|1000 |6611 | 18k| 0 | 0 |-3.285903e+02 |-1.020000e+02 | 68.96%
634.24/634.47 c 634s| 1 | 0 |212681 | - | 74M| 0 | 998 |1000 | 15k|1000 |6551 | 18k| 0 | 0 |-3.282278e+02 |-1.020000e+02 | 68.92%
643.14/643.33 c 643s| 1 | 0 |214290 | - | 74M| 0 | 996 |1000 | 15k|1000 |6578 | 18k| 0 | 0 |-3.277230e+02 |-1.020000e+02 | 68.88%
651.84/652.02 c 652s| 1 | 0 |215713 | - | 74M| 0 | 998 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.272829e+02 |-1.020000e+02 | 68.83%
660.03/660.29 c 660s| 1 | 0 |216866 | - | 74M| 0 | 996 |1000 | 15k|1000 |6635 | 18k| 0 | 0 |-3.270297e+02 |-1.020000e+02 | 68.81%
667.73/667.96 c 668s| 1 | 0 |217720 | - | 73M| 0 | 995 |1000 | 15k|1000 |6656 | 18k| 0 | 0 |-3.268321e+02 |-1.020000e+02 | 68.79%
675.63/675.85 c 676s| 1 | 0 |218633 | - | 73M| 0 | 995 |1000 | 15k|1000 |6672 | 18k| 0 | 0 |-3.265941e+02 |-1.020000e+02 | 68.77%
683.63/683.81 c 684s| 1 | 0 |219686 | - | 73M| 0 | 996 |1000 | 15k|1000 |6616 | 18k| 0 | 0 |-3.263202e+02 |-1.020000e+02 | 68.74%
691.23/691.44 c 691s| 1 | 0 |220569 | - | 73M| 0 | 996 |1000 | 15k|1000 |6641 | 18k| 0 | 0 |-3.261015e+02 |-1.020000e+02 | 68.72%
699.43/699.64 c 699s| 1 | 0 |221643 | - | 72M| 0 | 996 |1000 | 15k|1000 |6662 | 18k| 0 | 0 |-3.257789e+02 |-1.020000e+02 | 68.69%
707.72/707.97 c 708s| 1 | 0 |222879 | - | 72M| 0 | 993 |1000 | 15k|1000 |6691 | 18k| 0 | 0 |-3.253824e+02 |-1.020000e+02 | 68.65%
715.22/715.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
715.22/715.48 c 715s| 1 | 0 |223461 | - | 69M| 0 | 996 |1000 | 15k|1000 |6713 | 18k| 0 | 0 |-3.252579e+02 |-1.020000e+02 | 68.64%
723.12/723.34 c 723s| 1 | 0 |224229 | - | 68M| 0 | 999 |1000 | 15k|1000 |6726 | 18k| 0 | 0 |-3.250802e+02 |-1.020000e+02 | 68.62%
731.12/731.35 c 731s| 1 | 0 |225034 | - | 67M| 0 | 993 |1000 | 15k|1000 |6687 | 18k| 0 | 0 |-3.248650e+02 |-1.020000e+02 | 68.60%
738.61/738.89 c 739s| 1 | 0 |225711 | - | 67M| 0 | 996 |1000 | 15k|1000 |6700 | 18k| 0 | 0 |-3.246901e+02 |-1.020000e+02 | 68.59%
746.81/747.04 c 747s| 1 | 0 |226606 | - | 66M| 0 | 997 |1000 | 15k|1000 |6718 | 18k| 0 | 0 |-3.244109e+02 |-1.020000e+02 | 68.56%
754.52/754.76 c 755s| 1 | 0 |227319 | - | 66M| 0 | 998 |1000 | 15k|1000 |6734 | 18k| 0 | 0 |-3.241425e+02 |-1.020000e+02 | 68.53%
762.61/762.81 c 763s| 1 | 0 |228132 | - | 65M| 0 | 995 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.238653e+02 |-1.020000e+02 | 68.51%
769.91/770.11 c 770s| 1 | 0 |228692 | - | 63M| 0 | 996 |1000 | 15k|1000 |6765 | 18k| 0 | 0 |-3.237627e+02 |-1.020000e+02 | 68.50%
777.31/777.59 c 777s| 1 | 0 |229187 | - | 63M| 0 | 996 |1000 | 15k|1000 |6712 | 18k| 0 | 0 |-3.236737e+02 |-1.020000e+02 | 68.49%
784.41/784.68 c 784s| 1 | 0 |229615 | - | 62M| 0 | 995 |1000 | 15k|1000 |6723 | 18k| 0 | 0 |-3.235680e+02 |-1.020000e+02 | 68.48%
792.00/792.20 c 792s| 1 | 0 |230244 | - | 62M| 0 | 993 |1000 | 15k|1000 |6739 | 18k| 0 | 0 |-3.234143e+02 |-1.020000e+02 | 68.46%
798.70/798.92 c 799s| 1 | 0 |230606 | - | 62M| 0 | 996 |1000 | 15k|1000 |6752 | 18k| 0 | 0 |-3.233733e+02 |-1.020000e+02 | 68.46%
805.80/806.06 c 806s| 1 | 0 |231148 | - | 60M| 0 | 994 |1000 | 15k|1000 |6763 | 18k| 0 | 0 |-3.232260e+02 |-1.020000e+02 | 68.44%
813.10/813.34 c 813s| 1 | 0 |231666 | - | 60M| 0 | 993 |1000 | 15k|1000 |6776 | 18k| 0 | 0 |-3.231176e+02 |-1.020000e+02 | 68.43%
820.00/820.28 c 820s| 1 | 0 |232198 | - | 59M| 0 | 995 |1000 | 15k|1000 |6745 | 18k| 0 | 0 |-3.230409e+02 |-1.020000e+02 | 68.43%
826.70/826.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
826.70/826.93 c 827s| 1 | 0 |232510 | - | 56M| 0 | 993 |1000 | 15k|1000 |6756 | 18k| 0 | 0 |-3.230240e+02 |-1.020000e+02 | 68.42%
833.19/833.42 c 833s| 1 | 0 |232844 | - | 54M| 0 | 970 |1000 | 15k|1000 |6766 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
838.89/839.14 c 839s| 1 | 0 |232847 | - | 51M| 0 | 968 |1000 | 15k|1000 |6771 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
872.88/873.15 c 873s| 1 | 2 |232847 | - | 51M| 0 | 968 |1000 | 15k|1000 |6771 | 18k| 0 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
875.68/875.95 c 876s| 10000 | 60 |232847 | 0.0 | 51M| 75 | - |1000 | 15k| 0 | 0 | 18k| 16 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
878.28/878.56 c 878s| 20000 | 59 |232847 | 0.0 | 51M| 76 | - |1000 | 15k| 0 | 0 | 18k| 20 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
880.98/881.29 c 881s| 30000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 22 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
883.68/883.96 c 884s| 40000 | 58 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 24 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
886.58/886.82 c 887s| 50000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 38 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
889.48/889.71 c 890s| 60000 | 61 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 51 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
892.48/892.76 c 893s| 70000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 62 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
895.48/895.76 c 896s| 80000 | 60 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 76 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
898.48/898.74 c 899s| 90000 | 61 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 85 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
901.48/901.72 c 902s|100000 | 60 |232847 | 0.0 | 51M| 81 | - |1000 | 15k| 0 | 0 | 18k| 95 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
904.48/904.71 c 905s|110000 | 60 |232847 | 0.0 | 51M| 84 | - |1000 | 15k| 0 | 0 | 18k| 106 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
907.28/907.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
907.28/907.59 c 907s|120000 | 59 |232847 | 0.0 | 51M| 84 | - |1000 | 15k| 0 | 0 | 18k| 113 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
910.28/910.50 c 910s|130000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 130 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
913.37/913.60 c 913s|140000 | 64 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 153 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
916.47/916.74 c 917s|150000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 178 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
919.57/919.87 c 920s|160000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 207 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
922.68/922.96 c 923s|170000 | 60 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 230 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
925.77/926.03 c 926s|180000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 265 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
928.67/928.97 c 929s|190000 | 64 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 285 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
931.57/931.83 c 932s|200000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 314 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
934.47/934.71 c 935s|210000 | 60 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 327 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
937.67/937.98 c 938s|220000 | 59 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 351 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
940.67/940.95 c 941s|230000 | 59 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 365 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
943.57/943.89 c 944s|240000 | 58 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 378 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
946.47/946.71 c 947s|250000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 391 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
949.37/949.65 c 949s|260000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 404 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
952.16/952.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
952.16/952.48 c 952s|270000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 415 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
955.36/955.60 c 955s|280000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 429 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
958.16/958.44 c 958s|290000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 443 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
961.07/961.37 c 961s|300000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 457 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
964.26/964.54 c 964s|310000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 467 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
967.36/967.65 c 967s|320000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 481 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
970.16/970.40 c 970s|330000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 486 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
972.96/973.20 c 973s|340000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 495 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
975.76/976.00 c 976s|350000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 506 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
978.56/978.89 c 979s|360000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
981.56/981.80 c 982s|370000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 527 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
984.36/984.66 c 984s|380000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 538 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
987.36/987.61 c 987s|390000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 550 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
990.25/990.53 c 990s|400000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 558 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
993.06/993.39 c 993s|410000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 571 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
996.05/996.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.05/996.39 c 996s|420000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 586 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
999.25/999.56 c 999s|430000 | 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 608 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1002.05/1002.37 c 1002s|440000 | 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 627 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1004.95/1005.28 c 1005s|450000 | 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 647 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1007.85/1008.13 c 1008s|460000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 656 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1010.75/1011.00 c 1011s|470000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 676 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1013.86/1014.16 c 1014s|480000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 700 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1016.85/1017.10 c 1017s|490000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 717 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1019.75/1020.03 c 1020s|500000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 730 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1022.75/1023.07 c 1023s|510000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 736 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1025.65/1025.95 c 1026s|520000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 753 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1028.45/1028.72 c 1029s|530000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 762 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1031.34/1031.61 c 1031s|540000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 787 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1034.24/1034.50 c 1034s|550000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 799 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1037.05/1037.35 c 1037s|560000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 812 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1039.84/1040.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1039.84/1040.12 c 1040s|570000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 831 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1042.55/1042.87 c 1043s|580000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 851 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1045.44/1045.71 c 1046s|590000 | 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 861 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1048.24/1048.52 c 1048s|600000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 878 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1051.04/1051.36 c 1051s|610000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 897 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1053.94/1054.23 c 1054s|620000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 923 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1056.74/1057.02 c 1057s|630000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 945 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1059.54/1059.86 c 1060s|640000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 953 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1062.34/1062.64 c 1062s|650000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 954 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1065.34/1065.63 c 1065s|660000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 979 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1068.14/1068.47 c 1068s|670000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1014 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1070.94/1071.24 c 1071s|680000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1025 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1073.73/1074.00 c 1074s|690000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1041 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1076.54/1076.82 c 1077s|700000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1056 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1079.43/1079.75 c 1080s|710000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1076 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1082.43/1082.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1082.43/1082.77 c 1083s|720000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1085 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1085.34/1085.64 c 1085s|730000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1098 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1088.03/1088.33 c 1088s|740000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1116 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1090.94/1091.26 c 1091s|750000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1126 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1093.83/1094.19 c 1094s|760000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1138 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1096.73/1097.03 c 1097s|770000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1142 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1099.63/1099.91 c 1100s|780000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1150 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1102.33/1102.66 c 1102s|790000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1159 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1105.03/1105.35 c 1105s|800000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1162 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1107.83/1108.16 c 1108s|810000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1165 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1110.53/1110.82 c 1111s|820000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1169 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1113.23/1113.58 c 1113s|830000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1183 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1116.02/1116.37 c 1116s|840000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1118.82/1119.12 c 1119s|850000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1228 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1121.52/1121.88 c 1122s|860000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1236 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1124.32/1124.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1124.32/1124.62 c 1124s|870000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1256 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1127.02/1127.37 c 1127s|880000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1272 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1129.92/1130.21 c 1130s|890000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1296 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1132.73/1133.04 c 1133s|900000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1306 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1135.52/1135.88 c 1136s|910000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1311 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1138.32/1138.65 c 1138s|920000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1318 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1141.02/1141.36 c 1141s|930000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1326 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1143.82/1144.16 c 1144s|940000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1335 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1146.62/1146.97 c 1147s|950000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1340 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1149.42/1149.70 c 1150s|960000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1347 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1152.11/1152.50 c 1152s|970000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1352 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1154.91/1155.24 c 1155s|980000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1356 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1157.61/1157.97 c 1158s|990000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1363 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1160.51/1160.82 c 1161s| 1000k| 56 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1369 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1163.42/1163.71 c 1164s| 1010k| 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1380 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1166.21/1166.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1166.21/1166.50 c 1166s| 1020k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1389 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1168.92/1169.28 c 1169s| 1030k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1396 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1171.81/1172.11 c 1172s| 1040k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1409 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1174.42/1174.76 c 1175s| 1050k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1414 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1177.11/1177.47 c 1177s| 1060k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1419 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1179.81/1180.19 c 1180s| 1070k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1424 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1182.61/1182.91 c 1183s| 1080k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1427 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1185.41/1185.76 c 1186s| 1090k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1430 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1188.21/1188.58 c 1188s| 1100k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1438 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1191.01/1191.38 c 1191s| 1110k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1442 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1193.90/1194.23 c 1194s| 1120k| 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1448 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1196.70/1197.07 c 1197s| 1130k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1458 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1199.60/1199.94 c 1200s| 1140k| 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1473 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1202.40/1202.70 c 1203s| 1150k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1475 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1205.10/1205.47 c 1205s| 1160k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1481 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1207.90/1208.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.90/1208.25 c 1208s| 1170k| 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1489 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1210.71/1211.05 c 1211s| 1180k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1495 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1213.50/1213.82 c 1214s| 1190k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1501 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1216.21/1216.51 c 1216s| 1200k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1506 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1218.80/1219.17 c 1219s| 1210k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1221.60/1221.98 c 1222s| 1220k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1522 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1224.40/1224.78 c 1225s| 1230k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1528 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1227.30/1227.61 c 1227s| 1240k| 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1535 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1230.09/1230.43 c 1230s| 1250k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1540 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1232.80/1233.12 c 1233s| 1260k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1554 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1235.49/1235.82 c 1236s| 1270k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1559 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1238.20/1238.59 c 1238s| 1280k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1569 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1240.89/1241.25 c 1241s| 1290k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1575 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1243.49/1243.88 c 1244s| 1300k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1586 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1246.39/1246.70 c 1247s| 1310k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1590 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1249.09/1249.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1249.09/1249.40 c 1249s| 1320k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1594 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1251.79/1252.11 c 1252s| 1330k| 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1603 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1254.39/1254.78 c 1255s| 1340k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1608 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1257.19/1257.52 c 1257s| 1350k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1615 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1259.89/1260.29 c 1260s| 1360k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1620 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1262.79/1263.12 c 1263s| 1370k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1624 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1265.59/1265.91 c 1266s| 1380k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1628 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1268.29/1268.63 c 1268s| 1390k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1639 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1271.19/1271.50 c 1271s| 1400k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1645 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1273.88/1274.27 c 1274s| 1410k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1652 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1276.88/1277.27 c 1277s| 1420k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1659 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1279.68/1280.03 c 1280s| 1430k| 65 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1675 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1282.38/1282.79 c 1283s| 1440k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1683 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1285.18/1285.55 c 1285s| 1450k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1695 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1287.98/1288.36 c 1288s| 1460k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1698 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1290.68/1291.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.68/1291.03 c 1291s| 1470k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1714 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1293.38/1293.73 c 1294s| 1480k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1726 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1296.18/1296.52 c 1296s| 1490k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1731 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1298.88/1299.28 c 1299s| 1500k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1743 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1301.58/1301.99 c 1302s| 1510k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1749 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1304.38/1304.71 c 1305s| 1520k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1760 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1306.98/1307.38 c 1307s| 1530k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1775 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1309.68/1310.00 c 1310s| 1540k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1782 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1312.38/1312.77 c 1313s| 1550k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1790 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1315.07/1315.47 c 1315s| 1560k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1797 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1317.77/1318.13 c 1318s| 1570k| 63 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1810 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1320.47/1320.85 c 1321s| 1580k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1816 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1323.17/1323.58 c 1323s| 1590k| 65 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1825 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1325.77/1326.18 c 1326s| 1600k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1834 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1328.57/1328.93 c 1329s| 1610k| 58 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1849 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1331.47/1331.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1331.47/1331.80 c 1332s| 1620k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1853 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1334.17/1334.53 c 1334s| 1630k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1861 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1336.97/1337.39 c 1337s| 1640k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1873 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1339.97/1340.31 c 1340s| 1650k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1880 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1342.87/1343.27 c 1343s| 1660k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1884 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1345.77/1346.15 c 1346s| 1670k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1892 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1348.57/1348.95 c 1349s| 1680k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1896 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1351.27/1351.66 c 1351s| 1690k| 58 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1899 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1354.17/1354.53 c 1354s| 1700k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1909 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1356.86/1357.28 c 1357s| 1710k| 63 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1912 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1359.66/1360.09 c 1360s| 1720k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1922 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1362.57/1362.92 c 1363s| 1730k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1930 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1365.26/1365.66 c 1365s| 1740k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1942 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1368.07/1368.43 c 1368s| 1750k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1948 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1370.86/1371.28 c 1371s| 1760k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1953 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1373.57/1373.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.57/1373.94 c 1374s| 1770k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1964 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1376.36/1376.73 c 1377s| 1780k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1967 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1379.07/1379.47 c 1379s| 1790k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1972 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1381.76/1382.16 c 1382s| 1800k| 57 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1980 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1384.46/1384.90 c 1385s| 1810k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1985 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1387.26/1387.67 c 1387s| 1820k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1997 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1390.16/1390.54 c 1390s| 1830k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2002 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1392.96/1393.35 c 1393s| 1840k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2011 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1395.66/1396.09 c 1396s| 1850k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2021 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1398.55/1398.90 c 1399s| 1860k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2029 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1401.25/1401.62 c 1401s| 1870k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2039 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1404.05/1404.44 c 1404s| 1880k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2050 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1406.65/1407.09 c 1407s| 1890k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2056 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1409.35/1409.74 c 1410s| 1900k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2069 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1412.06/1412.46 c 1412s| 1910k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2079 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1414.85/1415.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.85/1415.27 c 1415s| 1920k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2086 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1417.65/1418.01 c 1418s| 1930k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2094 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1420.35/1420.73 c 1421s| 1940k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2113 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1423.25/1423.61 c 1423s| 1950k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2125 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1426.25/1426.62 c 1426s| 1960k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2135 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1428.95/1429.32 c 1429s| 1970k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2156 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1431.65/1432.02 c 1432s| 1980k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2175 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1434.35/1434.75 c 1435s| 1990k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2190 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1437.14/1437.53 c 1437s| 2000k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1439.94/1440.32 c 1440s| 2010k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2204 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1442.85/1443.22 c 1443s| 2020k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2216 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1445.74/1446.12 c 1446s| 2030k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2221 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1448.54/1448.91 c 1449s| 2040k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2223 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1451.44/1451.80 c 1452s| 2050k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2239 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1454.24/1454.60 c 1454s| 2060k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2244 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1457.24/1457.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.24/1457.61 c 1457s| 2070k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2251 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1460.24/1460.61 c 1460s| 2080k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2259 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1463.14/1463.56 c 1463s| 2090k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2263 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1466.14/1466.52 c 1466s| 2100k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2268 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1469.04/1469.40 c 1469s| 2110k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2277 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1471.84/1472.21 c 1472s| 2120k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2281 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1474.74/1475.11 c 1475s| 2130k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2286 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1477.64/1478.03 c 1478s| 2140k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2291 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1480.54/1480.99 c 1481s| 2150k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2299 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1483.54/1483.98 c 1484s| 2160k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2301 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1486.33/1486.76 c 1487s| 2170k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2306 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1489.13/1489.51 c 1489s| 2180k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2316 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1491.83/1492.23 c 1492s| 2190k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2324 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1494.54/1494.94 c 1495s| 2200k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2337 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1497.33/1497.74 c 1498s| 2210k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2348 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1500.13/1500.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1500.13/1500.50 c 1500s| 2220k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2352 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1502.83/1503.24 c 1503s| 2230k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2362 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1505.63/1506.00 c 1506s| 2240k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2367 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1508.33/1508.74 c 1509s| 2250k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2372 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1511.13/1511.59 c 1511s| 2260k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2377 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1514.03/1514.47 c 1514s| 2270k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2382 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1516.82/1517.23 c 1517s| 2280k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2391 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1519.73/1520.10 c 1520s| 2290k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2393 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1522.52/1522.92 c 1523s| 2300k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2396 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1525.33/1525.76 c 1526s| 2310k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2399 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1528.12/1528.51 c 1528s| 2320k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2403 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1530.92/1531.36 c 1531s| 2330k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2406 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1533.82/1534.22 c 1534s| 2340k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2412 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1536.72/1537.10 c 1537s| 2350k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2423 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1539.53/1539.90 c 1540s| 2360k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2427 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1542.22/1542.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.22/1542.66 c 1542s| 2370k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2437 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1544.92/1545.33 c 1545s| 2380k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2457 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1547.62/1548.06 c 1548s| 2390k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2465 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1550.42/1550.85 c 1551s| 2400k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2473 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1553.12/1553.57 c 1553s| 2410k| 67 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2485 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1555.91/1556.37 c 1556s| 2420k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2490 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1558.71/1559.14 c 1559s| 2430k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2496 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1561.52/1561.97 c 1562s| 2440k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2505 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1564.41/1564.83 c 1565s| 2450k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2509 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1567.12/1567.58 c 1567s| 2460k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1569.91/1570.37 c 1570s| 2470k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2520 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1572.71/1573.15 c 1573s| 2480k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2532 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1575.51/1575.99 c 1576s| 2490k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2542 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1578.31/1578.79 c 1579s| 2500k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2546 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1581.21/1581.60 c 1581s| 2510k| 56 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2556 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1584.11/1584.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1584.11/1584.53 c 1584s| 2520k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2566 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1586.81/1587.28 c 1587s| 2530k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2575 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1589.61/1590.00 c 1590s| 2540k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2583 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1592.31/1592.74 c 1593s| 2550k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2591 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1595.00/1595.45 c 1595s| 2560k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2603 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1597.81/1598.20 c 1598s| 2570k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2611 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1600.50/1600.99 c 1601s| 2580k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2624 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1603.31/1603.74 c 1604s| 2590k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2635 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1606.20/1606.68 c 1606s| 2600k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2652 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1609.00/1609.46 c 1609s| 2610k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2664 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1611.80/1612.27 c 1612s| 2620k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2677 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1614.60/1615.06 c 1615s| 2630k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2682 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1617.40/1617.87 c 1618s| 2640k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2691 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1620.20/1620.67 c 1620s| 2650k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2702 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1622.90/1623.34 c 1623s| 2660k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2718 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1625.70/1626.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.70/1626.13 c 1626s| 2670k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2727 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1628.40/1628.87 c 1629s| 2680k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2738 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1631.30/1631.74 c 1632s| 2690k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2750 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1634.10/1634.52 c 1634s| 2700k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2759 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1637.00/1637.43 c 1637s| 2710k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2769 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1639.79/1640.26 c 1640s| 2720k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2777 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1642.59/1643.08 c 1643s| 2730k| 68 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2783 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1645.49/1645.92 c 1646s| 2740k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2826 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1648.20/1648.69 c 1648s| 2750k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2870 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1651.10/1651.51 c 1651s| 2760k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2922 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1654.01/1654.46 c 1654s| 2770k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2973 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1656.90/1657.39 c 1657s| 2780k| 69 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3006 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1659.80/1660.27 c 1660s| 2790k| 67 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3036 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1662.81/1663.21 c 1663s| 2800k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3060 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1665.70/1666.17 c 1666s| 2810k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3096 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1668.60/1669.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.60/1669.04 c 1669s| 2820k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3144 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1671.50/1671.98 c 1672s| 2830k| 68 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3171 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1674.59/1675.01 c 1675s| 2840k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1677.49/1677.93 c 1678s| 2850k| 65 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3231 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1680.49/1680.91 c 1681s| 2860k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3280 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1683.39/1683.85 c 1684s| 2870k| 70 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3311 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1686.39/1686.88 c 1687s| 2880k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3340 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1689.39/1689.81 c 1690s| 2890k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3397 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1692.40/1692.84 c 1693s| 2900k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3430 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1695.29/1695.77 c 1696s| 2910k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3465 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1698.19/1698.63 c 1698s| 2920k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3517 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1701.30/1701.72 c 1702s| 2930k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3570 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1704.29/1704.76 c 1705s| 2940k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3621 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1707.39/1707.80 c 1708s| 2950k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3652 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1710.19/1710.68 c 1710s| 2960k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3699 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1713.19/1713.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1713.19/1713.61 c 1713s| 2970k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3733 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1716.08/1716.54 c 1716s| 2980k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3760 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1719.08/1719.54 c 1719s| 2990k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3791 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1722.09/1722.59 c 1722s| 3000k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3829 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1725.08/1725.56 c 1725s| 3010k| 67 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3852 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1727.98/1728.46 c 1728s| 3020k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3893 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1730.89/1731.39 c 1731s| 3030k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3925 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1733.78/1734.20 c 1734s| 3040k| 65 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3948 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1736.68/1737.13 c 1737s| 3050k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3971 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1739.48/1739.92 c 1740s| 3060k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3997 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1742.28/1742.75 c 1743s| 3070k| 65 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4032 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1744.98/1745.47 c 1745s| 3080k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4073 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1747.88/1748.34 c 1748s| 3090k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4094 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1750.68/1751.13 c 1751s| 3100k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4143 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1753.48/1753.90 c 1754s| 3110k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4174 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1756.28/1756.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.28/1756.78 c 1757s| 3120k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1759.17/1759.68 c 1759s| 3130k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4248 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1762.17/1762.64 c 1762s| 3140k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4290 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1765.08/1765.59 c 1765s| 3150k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4335 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1768.07/1768.51 c 1768s| 3160k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4372 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1771.07/1771.58 c 1771s| 3170k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4405 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1774.07/1774.58 c 1774s| 3180k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4434 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1777.08/1777.58 c 1777s| 3190k| 65 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4473 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1780.17/1780.63 c 1780s| 3200k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4511 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1783.07/1783.53 c 1783s| 3210k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4540 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1785.87/1786.38 c 1786s| 3220k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4577 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1788.87/1789.34 c 1789s| 3230k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|4638 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1789.57/1790.01 c
1789.57/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.57/1790.01 c Solving Time (sec) : 1789.81
1789.57/1790.01 c Solving Nodes : 3232323
1789.57/1790.01 c Primal Bound : -1.02000000000000e+02 (58 solutions)
1789.57/1790.01 c Dual Bound : -3.23000000000000e+02
1789.57/1790.01 c Gap : 68.42 %
1789.57/1790.04 s SATISFIABLE
1789.57/1790.04 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.57/1790.04 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.57/1790.04 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1789.57/1790.04 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1789.57/1790.04 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1789.57/1790.04 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1789.57/1790.04 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1789.57/1790.04 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1789.57/1790.04 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1789.57/1790.04 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1789.57/1790.04 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1789.57/1790.04 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1789.57/1790.04 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1789.57/1790.04 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1789.57/1790.04 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1789.57/1790.04 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1789.57/1790.04 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1789.57/1790.04 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1789.57/1790.04 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1789.57/1790.04 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1789.57/1790.04 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1789.57/1790.04 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1789.57/1790.04 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1789.57/1790.04 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1789.57/1790.04 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1789.57/1790.04 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1789.57/1790.04 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1789.57/1790.04 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1789.57/1790.04 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1789.57/1790.04 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1789.57/1790.04 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1789.57/1790.04 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1789.57/1790.04 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1789.57/1790.04 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1789.57/1790.04 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1789.57/1790.04 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1789.57/1790.04 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1789.57/1790.04 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1789.57/1790.04 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1789.57/1790.04 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1789.57/1790.04 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1789.57/1790.04 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1789.57/1790.04 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1789.57/1790.04 v 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 -x65
1789.57/1790.04 v -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 -x39
1789.57/1790.04 v -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 -x12
1789.57/1790.04 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1789.57/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.57/1790.04 c Solving Time : 1789.81
1789.57/1790.04 c Original Problem :
1789.57/1790.04 c Problem name : HOME/instance-2703265-1278569937.opb
1789.57/1790.05 c Variables : 16772 (16772 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.57/1790.05 c Constraints : 16772 initial, 16772 maximal
1789.57/1790.05 c Presolved Problem :
1789.57/1790.05 c Problem name : t_HOME/instance-2703265-1278569937.opb
1789.57/1790.05 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.57/1790.05 c Constraints : 15772 initial, 15778 maximal
1789.57/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.57/1790.05 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.05 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.05 c implics : 0.00 0 0 0 0 0 0 0 0
1789.57/1790.05 c probing : 0.10 0 0 0 0 0 0 0 0
1789.57/1790.05 c linear : 0.10 15772 0 0 15772 0 1000 0 0
1789.57/1790.05 c logicor : 0.04 0 0 0 0 0 0 0 0
1789.57/1790.05 c root node : - 0 - - 0 - - - -
1789.57/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.57/1790.05 c integral : 0 0 0 1 0 0 0 0 0 2
1789.57/1790.05 c logicor : 15772+ 195 3304612 0 0 11800 7338341 17092 0 0
1789.57/1790.05 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.57/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.57/1790.05 c integral : 28.30 0.00 0.00 28.30 0.00
1789.57/1790.05 c logicor : 85.93 0.76 85.17 0.00 0.00
1789.57/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.57/1790.05 c Propagators : Time Calls Cutoffs DomReds
1789.57/1790.05 c vbounds : 1.83 2 0 0
1789.57/1790.05 c rootredcost : 2.02 0 0 0
1789.57/1790.05 c pseudoobj : 444.13 5506474 1469842 5137093
1789.57/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.57/1790.05 c propagation : 10.39 11800 4645 4645 75.1 0 0.0 -
1789.57/1790.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.57/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.57/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.57/1790.05 c pseudo solution : 203.49 134393 0 0 0.0 0 0.0 -
1789.57/1790.05 c applied globally : - - - 4645 75.1 - - -
1789.57/1790.05 c applied locally : - - - 0 0.0 - - -
1789.57/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.57/1790.05 c cut pool : 1.52 194 - - 4966 - (maximal pool size: 14848)
1789.57/1790.05 c redcost : 0.01 195 0 0 0 0
1789.57/1790.05 c impliedbounds : 0.50 195 0 0 26927 0
1789.57/1790.05 c intobj : 0.00 0 0 0 0 0
1789.57/1790.05 c cgmip : 0.00 0 0 0 0 0
1789.57/1790.05 c gomory : 488.69 193 0 0 65243 0
1789.57/1790.05 c strongcg : 2.84 20 0 0 10000 0
1789.57/1790.05 c cmir : 1.09 10 0 0 0 0
1789.57/1790.05 c flowcover : 0.82 10 0 0 0 0
1789.57/1790.05 c clique : 6.44 192 0 0 1612 0
1789.57/1790.05 c zerohalf : 0.00 0 0 0 0 0
1789.57/1790.05 c mcf : 0.03 1 0 0 0 0
1789.57/1790.05 c rapidlearning : 0.00 0 0 0 0 0
1789.57/1790.05 c Pricers : Time Calls Vars
1789.57/1790.05 c problem variables: 0.00 0 0
1789.57/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.57/1790.05 c relpscost : 28.30 1 0 0 0 0 2
1789.57/1790.05 c pscost : 0.00 0 0 0 0 0 0
1789.57/1790.05 c inference : 21.43 1618629 0 0 0 0 3237258
1789.57/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1789.57/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1789.57/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1789.57/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1789.57/1790.05 c random : 0.00 0 0 0 0 0 0
1789.57/1790.05 c Primal Heuristics : Time Calls Found
1789.57/1790.05 c LP solutions : 0.00 - 0
1789.57/1790.05 c pseudo solutions : 0.00 - 0
1789.57/1790.05 c crossover : 0.00 0 0
1789.57/1790.05 c oneopt : 1.33 2 1
1789.57/1790.05 c trivial : 0.04 2 2
1789.57/1790.05 c simplerounding : 0.29 195 53
1789.57/1790.05 c zirounding : 0.01 1 0
1789.57/1790.05 c rounding : 10.85 195 1
1789.57/1790.05 c shifting : 11.67 195 1
1789.57/1790.05 c intshifting : 0.00 0 0
1789.57/1790.05 c twoopt : 0.00 0 0
1789.57/1790.05 c fixandinfer : 0.00 0 0
1789.57/1790.05 c feaspump : 0.00 0 0
1789.57/1790.05 c coefdiving : 0.00 0 0
1789.57/1790.05 c pscostdiving : 0.00 0 0
1789.57/1790.05 c fracdiving : 0.00 0 0
1789.57/1790.05 c veclendiving : 0.00 0 0
1789.57/1790.05 c intdiving : 0.00 0 0
1789.57/1790.05 c actconsdiving : 0.00 0 0
1789.57/1790.05 c objpscostdiving : 0.00 0 0
1789.57/1790.05 c rootsoldiving : 0.00 0 0
1789.57/1790.05 c linesearchdiving : 0.00 0 0
1789.57/1790.05 c guideddiving : 0.00 0 0
1789.57/1790.05 c octane : 0.00 0 0
1789.57/1790.05 c rens : 0.01 0 0
1789.57/1790.05 c rins : 0.00 0 0
1789.57/1790.05 c localbranching : 0.00 0 0
1789.57/1790.05 c mutation : 0.00 0 0
1789.57/1790.05 c dins : 0.00 0 0
1789.57/1790.05 c undercover : 0.00 0 0
1789.57/1790.05 c nlp : 1.01 0 0
1789.57/1790.05 c trysol : 0.89 0 0
1789.57/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1789.57/1790.05 c primal LP : 0.29 0 0 0.00 0.00
1789.57/1790.05 c dual LP : 313.79 195 232847 1194.09 742.06
1789.57/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1789.57/1790.05 c barrier LP : 0.00 0 0 0.00 -
1789.57/1790.05 c diving/probing LP: 0.00 0 0 0.00 -
1789.57/1790.05 c strong branching : 28.30 17 15505 912.06 547.95
1789.57/1790.05 c (at root node) : - 17 15505 912.06 -
1789.57/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1789.57/1790.05 c B&B Tree :
1789.57/1790.05 c number of runs : 1
1789.57/1790.05 c nodes : 3232323
1789.57/1790.05 c nodes (total) : 3232323
1789.57/1790.05 c nodes left : 63
1789.57/1790.05 c max depth : 92
1789.57/1790.05 c max depth (total): 92
1789.57/1790.05 c backtracks : 716173 (22.2%)
1789.57/1790.05 c delayed cutoffs : 2783
1789.57/1790.05 c repropagations : 3403 (15328 domain reductions, 2342 cutoffs)
1789.57/1790.05 c avg switch length: 2.00
1789.57/1790.05 c switching time : 71.32
1789.57/1790.05 c Solution :
1789.57/1790.05 c Solutions found : 58 (4 improvements)
1789.57/1790.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1789.57/1790.05 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 2.47 seconds, depth 0, found by <oneopt>)
1789.57/1790.05 c Dual Bound : -3.23000000000000e+02
1789.57/1790.05 c Gap : 68.42 %
1789.57/1790.05 c Root Dual Bound : -3.23000000000000e+02
1789.57/1790.05 c Root Iterations : 232847
1789.67/1790.18 c Time complete: 1789.75.
OK -102
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703265-1278569937/watcher-2703265-1278569937 -o /tmp/evaluation-result-2703265-1278569937/solver-2703265-1278569937 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703265-1278569937.opb -t 1800 -m 1800 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 0.99 3/106 31118 /proc/meminfo: memFree=1748692/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=7904 CPUtime=0 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 1076 0 0 0 0 0 0 0 20 0 1 0 25200145 8093696 988 1992294400 4194304 8395647 140734191395424 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31118/statm: 1976 995 365 1026 0 946 0 [startup+0.066535 s] /proc/loadavg: 0.99 1.00 0.99 3/106 31118 /proc/meminfo: memFree=1748692/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=19860 CPUtime=0.06 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 4167 0 0 0 5 1 0 0 20 0 1 0 25200145 20336640 4080 1992294400 4194304 8395647 140734191395424 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31118/statm: 4965 4094 393 1026 0 3935 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 19860 [startup+0.101537 s] /proc/loadavg: 0.99 1.00 0.99 3/106 31118 /proc/meminfo: memFree=1748692/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=23688 CPUtime=0.09 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 5216 0 0 0 8 1 0 0 20 0 1 0 25200145 24256512 5128 1992294400 4194304 8395647 140734191395424 18446744073709551615 4327576 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31118/statm: 5922 5128 393 1026 0 4892 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23688 [startup+0.301554 s] /proc/loadavg: 0.99 1.00 0.99 3/106 31118 /proc/meminfo: memFree=1748692/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=52292 CPUtime=0.29 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 12646 0 0 0 26 3 0 0 20 0 1 0 25200145 53547008 12204 1992294400 4194304 8395647 140734191395424 18446744073709551615 4972345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 13073 12204 420 1026 0 12043 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52292 [startup+0.70159 s] /proc/loadavg: 0.99 1.00 0.99 3/106 31118 /proc/meminfo: memFree=1748692/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=66928 CPUtime=0.69 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 15837 0 0 0 64 5 0 0 20 0 1 0 25200145 68534272 15395 1992294400 4194304 8395647 140734191395424 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 16732 15395 476 1026 0 15702 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 66928 [startup+1.50166 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31119 /proc/meminfo: memFree=1681352/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=90004 CPUtime=1.49 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 21839 0 0 0 142 7 0 0 23 0 1 0 25200145 92164096 21019 1992294400 4194304 8395647 140734191395424 18446744073709551615 6496300 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 22501 21019 653 1026 0 21471 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 90004 [startup+3.1018 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31119 /proc/meminfo: memFree=1664736/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=94324 CPUtime=3.09 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 22961 0 0 0 301 8 0 0 25 0 1 0 25200145 96587776 21909 1992294400 4194304 8395647 140734191395424 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 23581 21909 657 1026 0 22551 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 94324 [startup+6.30108 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31119 /proc/meminfo: memFree=1660644/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=96864 CPUtime=6.29 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 23764 0 0 0 621 8 0 0 25 0 1 0 25200145 99188736 22668 1992294400 4194304 8395647 140734191395424 18446744073709551615 6440648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 24216 22668 616 1026 0 23186 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 96864 [startup+12.7006 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31119 /proc/meminfo: memFree=1654196/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=104956 CPUtime=12.69 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 25992 0 0 0 1258 11 0 0 25 0 1 0 25200145 107474944 24896 1992294400 4194304 8395647 140734191395424 18446744073709551615 6124483 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 26239 24896 616 1026 0 25209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 104956 [startup+25.5007 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31119 /proc/meminfo: memFree=1634480/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=120164 CPUtime=25.48 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 30359 0 0 0 2530 18 0 0 25 0 1 0 25200145 123047936 28949 1992294400 4194304 8395647 140734191395424 18446744073709551615 6635675 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 30041 28949 608 1026 0 29011 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 120164 [startup+51.101 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31122 /proc/meminfo: memFree=1628404/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=126328 CPUtime=51.08 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 31802 0 0 0 5078 30 0 0 25 0 1 0 25200145 129359872 30385 1992294400 4194304 8395647 140734191395424 18446744073709551615 6696292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 31582 30385 606 1026 0 30552 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 126328 [startup+102.308 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31124 /proc/meminfo: memFree=1604224/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=152232 CPUtime=102.27 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 38047 0 0 0 10176 51 0 0 25 0 1 0 25200145 155885568 36546 1992294400 4194304 8395647 140734191395424 18446744073709551615 6197370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 38058 36546 742 1026 0 37028 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 152232 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31126 /proc/meminfo: memFree=1580788/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=175848 CPUtime=162.25 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44059 0 0 0 16150 75 0 0 25 0 1 0 25200145 180068352 42296 1992294400 4194304 8395647 140734191395424 18446744073709551615 6697390 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 43962 42296 608 1026 0 42932 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 175848 [startup+222.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31128 /proc/meminfo: memFree=1579796/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=222.24 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44281 0 0 0 22128 96 0 0 25 0 1 0 25200145 181133312 42518 1992294400 4194304 8395647 140734191395424 18446744073709551615 6198176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42518 608 1026 0 43192 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 176888 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31130 /proc/meminfo: memFree=1579796/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=282.23 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44290 0 0 0 28110 113 0 0 25 0 1 0 25200145 181133312 42527 1992294400 4194304 8395647 140734191395424 18446744073709551615 4719881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42527 608 1026 0 43192 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 176888 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31132 /proc/meminfo: memFree=1579672/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=342.21 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44297 0 0 0 34089 132 0 0 25 0 1 0 25200145 181133312 42534 1992294400 4194304 8395647 140734191395424 18446744073709551615 6698794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42534 608 1026 0 43192 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 176888 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31132 /proc/meminfo: memFree=1579548/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=402.19 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44301 0 0 0 40071 148 0 0 25 0 1 0 25200145 181133312 42538 1992294400 4194304 8395647 140734191395424 18446744073709551615 6202674 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42538 608 1026 0 43192 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 176888 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31134 /proc/meminfo: memFree=1579424/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=462.18 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44305 0 0 0 46058 160 0 0 25 0 1 0 25200145 181133312 42542 1992294400 4194304 8395647 140734191395424 18446744073709551615 6697003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42542 608 1026 0 43192 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 176888 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31136 /proc/meminfo: memFree=1579300/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=522.17 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44308 0 0 0 52042 175 0 0 25 0 1 0 25200145 181133312 42545 1992294400 4194304 8395647 140734191395424 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42545 608 1026 0 43192 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 176888 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31138 /proc/meminfo: memFree=1579300/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=582.15 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44310 0 0 0 58026 189 0 0 25 0 1 0 25200145 181133312 42547 1992294400 4194304 8395647 140734191395424 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42547 608 1026 0 43192 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 176888 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31140 /proc/meminfo: memFree=1579176/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=176888 CPUtime=642.15 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44313 0 0 0 64011 204 0 0 25 0 1 0 25200145 181133312 42550 1992294400 4194304 8395647 140734191395424 18446744073709551615 6741190 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44222 42550 608 1026 0 43192 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 176888 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1577564/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1002.05 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 99935 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 4693236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 177572 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31150 /proc/meminfo: memFree=1577440/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1062.04 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 105934 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6023902 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 177572 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31152 /proc/meminfo: memFree=1577316/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1122.02 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 111932 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6017659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 177572 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31154 /proc/meminfo: memFree=1577192/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1182.01 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 117931 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 5614624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 177572 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31156 /proc/meminfo: memFree=1576944/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1241.99 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 123929 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 4705165 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 177572 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31156 /proc/meminfo: memFree=1576820/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1301.98 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 129928 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 4693236 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 177572 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 3/107 31158 /proc/meminfo: memFree=1576820/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1361.96 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 135926 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6019974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 177572 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31160 /proc/meminfo: memFree=1576696/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1421.96 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 141926 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6017659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 177572 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31162 /proc/meminfo: memFree=1576572/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1481.94 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 147924 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 4474213 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 177572 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31164 /proc/meminfo: memFree=1576448/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1541.92 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 153922 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 4214441 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 177572 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31164 /proc/meminfo: memFree=1576324/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1601.9 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 159920 270 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6028361 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 177572 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31166 /proc/meminfo: memFree=1576200/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1661.9 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 165919 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6017646 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 177572 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31168 /proc/meminfo: memFree=1576076/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1721.88 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 171917 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 177572 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1781.87 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 177916 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 5617853 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 177572 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1785.07 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 178236 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6019979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1785.07 Current children cumulated vsize (KiB) 177572 [startup+1788.7 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1788.27 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 178556 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6019996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1788.27 Current children cumulated vsize (KiB) 177572 [startup+1789.5 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1789.07 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 178636 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6063682 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1789.07 Current children cumulated vsize (KiB) 177572 [startup+1789.9 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1789.47 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44560 0 0 0 178676 271 0 0 25 0 1 0 25200145 181833728 42797 1992294400 4194304 8395647 140734191395424 18446744073709551615 6019979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42797 621 1026 0 43363 0 Current children cumulated CPU time (s) 1789.47 Current children cumulated vsize (KiB) 177572 [startup+1790.1 s] /proc/loadavg: 0.99 1.00 0.99 2/107 31170 /proc/meminfo: memFree=1575704/2059040 swapFree=4139820/4192956 [pid=31118] ppid=31116 vsize=177572 CPUtime=1789.67 /proc/31118/stat : 31118 (pbscip.linux.x8) R 31116 31118 30682 0 -1 4202496 44564 0 0 0 178696 271 0 0 25 0 1 0 25200145 181833728 42801 1992294400 4194304 8395647 140734191395424 18446744073709551615 6345229 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31118/statm: 44393 42801 625 1026 0 43363 0 Current children cumulated CPU time (s) 1789.67 Current children cumulated vsize (KiB) 177572 Child status: 0 Real time (s): 1790.19 CPU time (s): 1789.76 CPU user time (s): 1787.03 CPU system time (s): 2.73258 CPU usage (%): 99.9762 Max. virtual memory (cumulated for all children) (KiB): 177572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.03 system time used= 2.73258 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44569 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= 1 involuntary context switches= 2924 runsolver used 2.82957 second user time and 8.60769 second system time The end
Begin job on node055 at 2010-07-08 08:18:57 IDJOB=2703265 IDBENCH=48209 IDSOLVER=1213 FILE ID=node055/2703265-1278569937 PBS_JOBID= 11239576 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703265-1278569937/watcher-2703265-1278569937 -o /tmp/evaluation-result-2703265-1278569937/solver-2703265-1278569937 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703265-1278569937.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=1219454186 node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.224 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1749096 kB Buffers: 19168 kB Cached: 202344 kB SwapCached: 6984 kB Active: 90888 kB Inactive: 144460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1749096 kB SwapTotal: 4192956 kB SwapFree: 4139820 kB Dirty: 10752 kB Writeback: 0 kB AnonPages: 11500 kB Mapped: 12020 kB Slab: 52544 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179356 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62572 MiB End job on node055 at 2010-07-08 08:48:47