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.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -102 | 1800.2 | 1800.69 |
| 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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2666696-1276663505.opb>
0.19/0.24 c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 16772 constraints
0.19/0.24 c problem read
0.19/0.24 c presolving settings loaded
0.39/0.46 o 0
0.39/0.46 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.46 c presolving:
0.89/0.95 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
1.10/1.19 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.19 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.19 c presolving (2 rounds):
1.10/1.19 c 15772 deleted vars, 1000 deleted constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.19 c 94632 implications, 0 cliques
1.10/1.19 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
1.10/1.19 c 15772 constraints of type <logicor>
1.10/1.19 c transformed objective value is always integral (scale: 1)
1.10/1.19 c Presolving Time: 0.71
1.10/1.19 c - non default parameters ----------------------------------------------------------------------
1.10/1.19 c # SCIP version 1.2.1.2
1.10/1.19 c
1.10/1.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.19 c conflict/interconss = 0
1.10/1.19 c
1.10/1.19 c # should binary conflicts be preferred?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c conflict/preferbinary = TRUE
1.10/1.19 c
1.10/1.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.19 c constraints/agelimit = 1
1.10/1.19 c
1.10/1.19 c # should enforcement of pseudo solution be disabled?
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/disableenfops = TRUE
1.10/1.19 c
1.10/1.19 c # frequency for displaying node information lines
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.19 c display/freq = 10000
1.10/1.19 c
1.10/1.19 c # maximal time in seconds to run
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/time = 1799.76
1.10/1.19 c
1.10/1.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.19 c limits/memory = 1620
1.10/1.19 c
1.10/1.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.19 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.19 c lp/solvefreq = 0
1.10/1.19 c
1.10/1.19 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)
1.10/1.19 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.19 c lp/pricing = a
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify inequalities
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/linear/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c # should presolving try to simplify knapsacks
1.10/1.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.19 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.19 c
1.10/1.19 c # priority of node selection rule <dfs> in standard mode
1.10/1.19 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.19 c nodeselection/dfs/stdpriority = 1000000
1.10/1.19 c
1.10/1.19 c -----------------------------------------------------------------------------------------------
1.10/1.19 c start solving
1.19/1.20 c
1.89/1.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.95 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.99/2.03 o -1
1.99/2.03 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%
2.10/2.12 o -2
2.10/2.12 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.79/2.86 c 2.4s| 1 | 0 | 1197 | - | 44M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-2.000000e+00 | 99.60%
2.79/2.88 o -102
2.79/2.88 c b 2.4s| 1 | 0 | 1197 | - | 44M| 0 | 991 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.955000e+02 |-1.020000e+02 | 79.41%
3.79/3.85 c 3.4s| 1 | 0 | 1339 | - | 44M| 0 | 982 |1000 | 15k|1000 | 15k| 24 | 0 | 0 |-4.910000e+02 |-1.020000e+02 | 79.23%
4.79/4.88 c 4.4s| 1 | 0 | 1485 | - | 44M| 0 | 977 |1000 | 15k|1000 | 15k| 33 | 0 | 0 |-4.885000e+02 |-1.020000e+02 | 79.12%
6.19/6.30 c 5.8s| 1 | 0 | 1787 | - | 44M| 0 | 972 |1000 | 15k|1000 | 15k| 43 | 0 | 0 |-4.860000e+02 |-1.020000e+02 | 79.01%
7.60/7.67 c 7.2s| 1 | 0 | 1998 | - | 44M| 0 | 967 |1000 | 15k|1000 | 15k| 49 | 0 | 0 |-4.835000e+02 |-1.020000e+02 | 78.90%
9.09/9.17 c 8.6s| 1 | 0 | 2221 | - | 44M| 0 | 963 |1000 | 15k|1000 | 15k| 58 | 0 | 0 |-4.815000e+02 |-1.020000e+02 | 78.82%
10.90/10.91 c 10.3s| 1 | 0 | 2549 | - | 44M| 0 | 958 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.790000e+02 |-1.020000e+02 | 78.71%
12.19/12.28 c 11.7s| 1 | 0 | 2717 | - | 44M| 0 | 955 |1000 | 15k|1000 | 15k| 71 | 0 | 0 |-4.775000e+02 |-1.020000e+02 | 78.64%
14.69/14.74 c 14.1s| 1 | 0 | 3155 | - | 44M| 0 | 949 |1000 | 15k|1000 | 15k| 82 | 0 | 0 |-4.745000e+02 |-1.020000e+02 | 78.50%
16.59/16.66 c 16.0s| 1 | 0 | 3512 | - | 44M| 0 | 943 |1000 | 15k|1000 | 15k| 89 | 0 | 0 |-4.715000e+02 |-1.020000e+02 | 78.37%
18.60/18.67 c 18.0s| 1 | 0 | 3915 | - | 44M| 0 | 940 |1000 | 15k|1000 |1414 | 96 | 0 | 0 |-4.692500e+02 |-1.020000e+02 | 78.26%
18.98/19.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.98/19.05 c 18.4s| 1 | 0 | 4186 | - | 44M| 0 | 928 |1000 | 15k|1000 |1421 | 103 | 0 | 0 |-4.680000e+02 |-1.020000e+02 | 78.21%
19.49/19.52 c 18.9s| 1 | 0 | 4609 | - | 44M| 0 | 913 |1000 | 15k|1000 |1537 | 219 | 0 | 0 |-4.657500e+02 |-1.020000e+02 | 78.10%
19.98/20.01 c 19.3s| 1 | 0 | 4950 | - | 45M| 0 | 904 |1000 | 15k|1000 |1793 | 475 | 0 | 0 |-4.640000e+02 |-1.020000e+02 | 78.02%
20.68/20.70 c 20.0s| 1 | 0 | 5413 | - | 45M| 0 | 910 |1000 | 15k|1000 |2286 | 968 | 0 | 0 |-4.607500e+02 |-1.020000e+02 | 77.86%
21.28/21.35 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.89/21.99 c 21.3s| 1 | 0 | 6311 | - | 45M| 0 | 904 |1000 | 15k|1000 |2205 |1264 | 0 | 0 |-4.580000e+02 |-1.020000e+02 | 77.73%
22.48/22.53 c 21.8s| 1 | 0 | 6742 | - | 45M| 0 | 909 |1000 | 15k|1000 |2370 |1429 | 0 | 0 |-4.560000e+02 |-1.020000e+02 | 77.63%
22.99/23.00 c 22.3s| 1 | 0 | 6988 | - | 46M| 0 | 899 |1000 | 15k|1000 |2577 |1636 | 0 | 0 |-4.540000e+02 |-1.020000e+02 | 77.53%
23.48/23.53 c 22.8s| 1 | 0 | 7314 | - | 46M| 0 | 898 |1000 | 15k|1000 |2741 |1800 | 0 | 0 |-4.530000e+02 |-1.020000e+02 | 77.48%
23.98/24.05 c 23.3s| 1 | 0 | 7720 | - | 46M| 0 | 907 |1000 | 15k|1000 |2859 |1918 | 0 | 0 |-4.515000e+02 |-1.020000e+02 | 77.41%
24.68/24.74 c 24.0s| 1 | 0 | 8425 | - | 46M| 0 | 918 |1000 | 15k|1000 |2869 |1928 | 0 | 0 |-4.495000e+02 |-1.020000e+02 | 77.31%
25.48/25.51 c 24.8s| 1 | 0 | 9040 | - | 46M| 0 | 910 |1000 | 15k|1000 |3169 |2550 | 0 | 0 |-4.467500e+02 |-1.020000e+02 | 77.17%
26.29/26.34 c 25.6s| 1 | 0 | 9865 | - | 46M| 0 | 886 |1000 | 15k|1000 |3352 |2733 | 0 | 0 |-4.445000e+02 |-1.020000e+02 | 77.05%
27.39/27.48 c 26.7s| 1 | 0 | 11057 | - | 46M| 0 | 891 |1000 | 15k|1000 |3421 |2802 | 0 | 0 |-4.435000e+02 |-1.020000e+02 | 77.00%
28.28/28.40 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.79/29.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.79/29.87 c 29.1s| 1 | 0 | 13374 | - | 47M| 0 | 888 |1000 | 15k|1000 |3746 |3127 | 0 | 0 |-4.410000e+02 |-1.020000e+02 | 76.87%
31.28/31.35 c 30.6s| 1 | 0 | 14858 | - | 47M| 0 | 907 |1000 | 15k|1000 |3776 |3157 | 0 | 0 |-4.398750e+02 |-1.020000e+02 | 76.81%
32.27/32.38 c 31.6s| 1 | 0 | 15461 | - | 47M| 0 | 879 |1000 | 15k|1000 |2899 |3682 | 0 | 0 |-4.390000e+02 |-1.020000e+02 | 76.77%
33.17/33.22 c 32.4s| 1 | 0 | 16158 | - | 48M| 0 | 874 |1000 | 15k|1000 |3045 |3828 | 0 | 0 |-4.380000e+02 |-1.020000e+02 | 76.71%
34.08/34.19 c 33.4s| 1 | 0 | 17090 | - | 48M| 0 | 883 |1000 | 15k|1000 |3257 |4040 | 0 | 0 |-4.370833e+02 |-1.020000e+02 | 76.66%
35.38/35.47 c 34.6s| 1 | 0 | 18020 | - | 49M| 0 | 875 |1000 | 15k|1000 |3914 |4697 | 0 | 0 |-4.350000e+02 |-1.020000e+02 | 76.55%
36.97/37.03 c 36.2s| 1 | 0 | 19439 | - | 49M| 0 | 865 |1000 | 15k|1000 |3924 |4707 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 76.42%
37.97/38.09 c 37.2s| 1 | 0 | 20249 | - | 49M| 0 | 870 |1000 | 15k|1000 |3953 |4736 | 0 | 0 |-4.315000e+02 |-1.020000e+02 | 76.36%
39.48/39.51 c 38.6s| 1 | 0 | 21198 | - | 49M| 0 | 858 |1000 | 15k|1000 |2882 |4783 | 0 | 0 |-4.305000e+02 |-1.020000e+02 | 76.31%
40.27/40.31 c 39.4s| 1 | 0 | 21913 | - | 49M| 0 | 858 |1000 | 15k|1000 |2957 |4858 | 0 | 0 |-4.295000e+02 |-1.020000e+02 | 76.25%
41.47/41.58 c 40.7s| 1 | 0 | 23139 | - | 49M| 0 | 858 |1000 | 15k|1000 |3027 |4928 | 0 | 0 |-4.280000e+02 |-1.020000e+02 | 76.17%
42.27/42.32 c 41.4s| 1 | 0 | 23855 | - | 49M| 0 | 849 |1000 | 15k|1000 |3035 |4936 | 0 | 0 |-4.265000e+02 |-1.020000e+02 | 76.08%
42.88/42.94 c 42.0s| 1 | 0 | 24365 | - | 49M| 0 | 855 |1000 | 15k|1000 |3090 |4991 | 0 | 0 |-4.260000e+02 |-1.020000e+02 | 76.06%
43.78/43.89 c 43.0s| 1 | 0 | 25248 | - | 50M| 0 | 838 |1000 | 15k|1000 |3150 |5051 | 0 | 0 |-4.250000e+02 |-1.020000e+02 | 76.00%
44.78/44.85 c 43.9s| 1 | 0 | 26215 | - | 50M| 0 | 897 |1000 | 15k|1000 |2124 |5180 | 0 | 0 |-4.236000e+02 |-1.020000e+02 | 75.92%
46.27/46.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.27/46.34 c 45.4s| 1 | 0 | 26476 | - | 51M| 0 | 847 |1000 | 15k|1000 |4124 |7180 | 0 | 0 |-4.235000e+02 |-1.020000e+02 | 75.91%
47.07/47.15 c 46.2s| 1 | 0 | 27069 | - | 51M| 0 | 843 |1000 | 15k|1000 |4133 |7189 | 0 | 0 |-4.225000e+02 |-1.020000e+02 | 75.86%
48.07/48.17 c 47.2s| 1 | 0 | 27897 | - | 51M| 0 | 833 |1000 | 15k|1000 |4192 |7248 | 0 | 0 |-4.215000e+02 |-1.020000e+02 | 75.80%
48.87/48.99 c 48.0s| 1 | 0 | 28555 | - | 51M| 0 | 837 |1000 | 15k|1000 |4318 |7374 | 0 | 0 |-4.205000e+02 |-1.020000e+02 | 75.74%
49.77/49.88 c 48.9s| 1 | 0 | 29168 | - | 51M| 0 | 837 |1000 | 15k|1000 |4373 |7429 | 0 | 0 |-4.195000e+02 |-1.020000e+02 | 75.69%
51.07/51.14 c 50.1s| 1 | 0 | 30076 | - | 51M| 0 | 835 |1000 | 15k|1000 |3564 |7455 | 0 | 0 |-4.185000e+02 |-1.020000e+02 | 75.63%
51.67/51.75 c 50.8s| 1 | 0 | 30574 | - | 51M| 0 | 823 |1000 | 15k|1000 |3589 |7480 | 0 | 0 |-4.185000e+02 |-1.020000e+02 | 75.63%
52.97/53.03 c 52.0s| 1 | 0 | 31889 | - | 51M| 0 | 841 |1000 | 15k|1000 |3770 |7661 | 0 | 0 |-4.170000e+02 |-1.020000e+02 | 75.54%
53.97/54.00 c 53.0s| 1 | 0 | 32841 | - | 51M| 0 | 829 |1000 | 15k|1000 |3905 |7796 | 0 | 0 |-4.155000e+02 |-1.020000e+02 | 75.45%
54.98/55.08 c 54.0s| 1 | 0 | 33903 | - | 51M| 0 | 834 |1000 | 15k|1000 |3934 |7825 | 0 | 0 |-4.147500e+02 |-1.020000e+02 | 75.41%
56.36/56.41 c 55.4s| 1 | 0 | 34955 | - | 51M| 0 | 820 |1000 | 15k|1000 |4140 |8031 | 0 | 0 |-4.140000e+02 |-1.020000e+02 | 75.36%
57.57/57.69 c 56.6s| 1 | 0 | 35998 | - | 52M| 0 | 823 |1000 | 15k|1000 |2365 |8121 | 0 | 0 |-4.135000e+02 |-1.020000e+02 | 75.33%
58.46/58.53 c 57.5s| 1 | 0 | 36814 | - | 52M| 0 | 820 |1000 | 15k|1000 |2414 |8170 | 0 | 0 |-4.120000e+02 |-1.020000e+02 | 75.24%
58.97/59.03 c 58.0s| 1 | 0 | 37278 | - | 52M| 0 | 815 |1000 | 15k|1000 |2469 |8225 | 0 | 0 |-4.115000e+02 |-1.020000e+02 | 75.21%
59.87/59.95 c 58.9s| 1 | 0 | 38253 | - | 52M| 0 | 828 |1000 | 15k|1000 |2567 |8323 | 0 | 0 |-4.105000e+02 |-1.020000e+02 | 75.15%
60.67/60.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
60.67/60.73 c 59.6s| 1 | 0 | 39030 | - | 52M| 0 | 832 |1000 | 15k|1000 |2633 |8389 | 0 | 0 |-4.100000e+02 |-1.020000e+02 | 75.12%
61.58/61.65 c 60.5s| 1 | 0 | 39947 | - | 52M| 0 | 806 |1000 | 15k|1000 |2868 |8624 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 75.09%
62.47/62.59 c 61.5s| 1 | 0 | 40847 | - | 53M| 0 | 819 |1000 | 15k|1000 |2619 |8972 | 0 | 0 |-4.077500e+02 |-1.020000e+02 | 74.98%
63.27/63.37 c 62.2s| 1 | 0 | 41763 | - | 53M| 0 | 801 |1000 | 15k|1000 |2800 |9153 | 0 | 0 |-4.065000e+02 |-1.020000e+02 | 74.91%
64.06/64.13 c 63.0s| 1 | 0 | 42388 | - | 53M| 0 | 806 |1000 | 15k|1000 |2949 |9302 | 0 | 0 |-4.060000e+02 |-1.020000e+02 | 74.88%
65.47/65.53 c 64.4s| 1 | 0 | 43769 | - | 53M| 0 | 878 |1000 | 15k|1000 |3026 |9379 | 0 | 0 |-4.057224e+02 |-1.020000e+02 | 74.86%
67.26/67.34 c 66.2s| 1 | 0 | 44919 | - | 56M| 0 | 834 |1000 | 15k|1000 |4574 | 10k| 0 | 0 |-4.045000e+02 |-1.020000e+02 | 74.78%
70.38/70.41 c 69.2s| 1 | 0 | 47194 | - | 56M| 0 | 843 |1000 | 15k|1000 |4611 | 10k| 0 | 0 |-4.039286e+02 |-1.020000e+02 | 74.75%
72.37/72.49 c 71.3s| 1 | 0 | 48827 | - | 57M| 0 | 816 |1000 | 15k|1000 |4181 | 11k| 0 | 0 |-4.031250e+02 |-1.020000e+02 | 74.70%
73.87/73.92 c 72.7s| 1 | 0 | 50002 | - | 58M| 0 | 809 |1000 | 15k|1000 |4194 | 11k| 0 | 0 |-4.019361e+02 |-1.020000e+02 | 74.62%
75.17/75.27 c 74.0s| 1 | 0 | 51379 | - | 58M| 0 | 817 |1000 | 15k|1000 |4230 | 11k| 0 | 0 |-4.010000e+02 |-1.020000e+02 | 74.56%
77.76/77.84 c 76.6s| 1 | 0 | 53314 | - | 59M| 0 | 802 |1000 | 15k|1000 |4337 | 11k| 0 | 0 |-4.000000e+02 |-1.020000e+02 | 74.50%
79.77/79.83 c 78.6s| 1 | 0 | 54962 | - | 59M| 0 | 841 |1000 | 15k|1000 |4367 | 11k| 0 | 0 |-3.990000e+02 |-1.020000e+02 | 74.44%
81.86/82.00 c 80.7s| 1 | 0 | 56429 | - | 59M| 0 | 824 |1000 | 15k|1000 |4441 | 11k| 0 | 0 |-3.981667e+02 |-1.020000e+02 | 74.38%
84.46/84.59 c 83.3s| 1 | 0 | 58440 | - | 59M| 0 | 816 |1000 | 15k|1000 |3932 | 11k| 0 | 0 |-3.960000e+02 |-1.020000e+02 | 74.24%
87.06/87.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
87.06/87.17 c 85.9s| 1 | 0 | 60825 | - | 60M| 0 | 806 |1000 | 15k|1000 |3957 | 11k| 0 | 0 |-3.953750e+02 |-1.020000e+02 | 74.20%
90.06/90.10 c 88.8s| 1 | 0 | 63139 | - | 61M| 0 | 840 |1000 | 15k|1000 |4020 | 11k| 0 | 0 |-3.942188e+02 |-1.020000e+02 | 74.13%
91.76/91.85 c 90.5s| 1 | 0 | 64466 | - | 61M| 0 | 831 |1000 | 15k|1000 |4309 | 11k| 0 | 0 |-3.936250e+02 |-1.020000e+02 | 74.09%
93.56/93.60 c 92.2s| 1 | 0 | 65799 | - | 64M| 0 | 860 |1000 | 15k|1000 |4383 | 11k| 0 | 0 |-3.926875e+02 |-1.020000e+02 | 74.03%
95.15/95.29 c 93.9s| 1 | 0 | 66988 | - | 65M| 0 | 816 |1000 | 15k|1000 |4517 | 11k| 0 | 0 |-3.921250e+02 |-1.020000e+02 | 73.99%
96.96/97.09 c 95.7s| 1 | 0 | 68564 | - | 65M| 0 | 852 |1000 | 15k|1000 |3647 | 11k| 0 | 0 |-3.912287e+02 |-1.020000e+02 | 73.93%
99.05/99.10 c 97.7s| 1 | 0 | 70053 | - | 65M| 0 | 838 |1000 | 15k|1000 |3778 | 12k| 0 | 0 |-3.901250e+02 |-1.020000e+02 | 73.85%
100.96/101.02 c 99.6s| 1 | 0 | 71836 | - | 67M| 0 | 905 |1000 | 15k|1000 |3925 | 12k| 0 | 0 |-3.891080e+02 |-1.020000e+02 | 73.79%
102.66/102.70 c 101s| 1 | 0 | 72610 | - | 67M| 0 | 858 |1000 | 15k|1000 |5501 | 13k| 0 | 0 |-3.889531e+02 |-1.020000e+02 | 73.78%
104.37/104.43 c 103s| 1 | 0 | 73628 | - | 68M| 0 | 846 |1000 | 15k|1000 |5546 | 13k| 0 | 0 |-3.886364e+02 |-1.020000e+02 | 73.75%
107.56/107.69 c 106s| 1 | 0 | 75486 | - | 70M| 0 | 875 |1000 | 15k|1000 |5579 | 13k| 0 | 0 |-3.874222e+02 |-1.020000e+02 | 73.67%
110.55/110.62 c 109s| 1 | 0 | 76869 | - | 70M| 0 | 868 |1000 | 15k|1000 |5330 | 13k| 0 | 0 |-3.863764e+02 |-1.020000e+02 | 73.60%
112.66/112.74 c 111s| 1 | 0 | 78159 | - | 71M| 0 | 857 |1000 | 15k|1000 |5435 | 14k| 0 | 0 |-3.856923e+02 |-1.020000e+02 | 73.55%
115.56/115.60 c 114s| 1 | 0 | 79629 | - | 71M| 0 | 872 |1000 | 15k|1000 |5494 | 14k| 0 | 0 |-3.844791e+02 |-1.020000e+02 | 73.47%
118.55/118.69 c 117s| 1 | 0 | 81122 | - | 71M| 0 | 873 |1000 | 15k|1000 |5540 | 14k| 0 | 0 |-3.835074e+02 |-1.020000e+02 | 73.40%
121.15/121.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.15/121.27 c 120s| 1 | 0 | 82531 | - | 73M| 0 | 880 |1000 | 15k|1000 |5629 | 14k| 0 | 0 |-3.826111e+02 |-1.020000e+02 | 73.34%
125.65/125.70 c 124s| 1 | 0 | 84741 | - | 73M| 0 | 879 |1000 | 15k|1000 |5701 | 14k| 0 | 0 |-3.804664e+02 |-1.020000e+02 | 73.19%
129.45/129.51 c 128s| 1 | 0 | 86315 | - | 74M| 0 | 884 |1000 | 15k|1000 |5396 | 14k| 0 | 0 |-3.792608e+02 |-1.020000e+02 | 73.11%
131.55/131.68 c 130s| 1 | 0 | 87495 | - | 77M| 0 | 880 |1000 | 15k|1000 |5405 | 14k| 0 | 0 |-3.787061e+02 |-1.020000e+02 | 73.07%
134.35/134.47 c 133s| 1 | 0 | 88919 | - | 79M| 0 | 883 |1000 | 15k|1000 |5427 | 14k| 0 | 0 |-3.777972e+02 |-1.020000e+02 | 73.00%
137.75/137.81 c 136s| 1 | 0 | 90911 | - | 82M| 0 | 891 |1000 | 15k|1000 |5495 | 14k| 0 | 0 |-3.765366e+02 |-1.020000e+02 | 72.91%
141.15/141.28 c 140s| 1 | 0 | 92213 | - | 82M| 0 | 896 |1000 | 15k|1000 |5546 | 14k| 0 | 0 |-3.758385e+02 |-1.020000e+02 | 72.86%
145.85/145.93 c 144s| 1 | 0 | 94254 | - | 82M| 0 | 920 |1000 | 15k|1000 |5587 | 14k| 0 | 0 |-3.750605e+02 |-1.020000e+02 | 72.80%
150.74/150.89 c 149s| 1 | 0 | 96285 | - | 83M| 0 | 895 |1000 | 15k|1000 |4977 | 14k| 0 | 0 |-3.736542e+02 |-1.020000e+02 | 72.70%
154.04/154.17 c 152s| 1 | 0 | 97519 | - | 83M| 0 | 911 |1000 | 15k|1000 |5060 | 14k| 0 | 0 |-3.734697e+02 |-1.020000e+02 | 72.69%
157.54/157.69 c 156s| 1 | 0 | 99069 | - | 83M| 0 | 911 |1000 | 15k|1000 |5103 | 14k| 0 | 0 |-3.728416e+02 |-1.020000e+02 | 72.64%
161.34/161.41 c 160s| 1 | 0 |100545 | - | 83M| 0 | 907 |1000 | 15k|1000 |5144 | 14k| 0 | 0 |-3.724861e+02 |-1.020000e+02 | 72.62%
164.75/164.83 c 163s| 1 | 0 |101915 | - | 83M| 0 | 900 |1000 | 15k|1000 |5180 | 14k| 0 | 0 |-3.709090e+02 |-1.020000e+02 | 72.50%
168.54/168.63 c 167s| 1 | 0 |103885 | - | 84M| 0 | 909 |1000 | 15k|1000 |5223 | 14k| 0 | 0 |-3.698223e+02 |-1.020000e+02 | 72.42%
173.14/173.22 c 171s| 1 | 0 |105874 | - | 84M| 0 | 921 |1000 | 15k|1000 |5075 | 15k| 0 | 0 |-3.687775e+02 |-1.020000e+02 | 72.34%
176.74/176.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
176.74/176.82 c 175s| 1 | 0 |107150 | - | 84M| 0 | 927 |1000 | 15k|1000 |5228 | 15k| 0 | 0 |-3.683269e+02 |-1.020000e+02 | 72.31%
181.34/181.46 c 179s| 1 | 0 |109226 | - | 84M| 0 | 907 |1000 | 15k|1000 |5351 | 15k| 0 | 0 |-3.669768e+02 |-1.020000e+02 | 72.21%
186.33/186.48 c 184s| 1 | 0 |111275 | - | 84M| 0 | 909 |1000 | 15k|1000 |5407 | 15k| 0 | 0 |-3.660302e+02 |-1.020000e+02 | 72.13%
190.93/191.06 c 189s| 1 | 0 |113160 | - | 84M| 0 | 929 |1000 | 15k|1000 |5505 | 15k| 0 | 0 |-3.656276e+02 |-1.020000e+02 | 72.10%
195.14/195.28 c 193s| 1 | 0 |114576 | - | 84M| 0 | 935 |1000 | 15k|1000 |5551 | 15k| 0 | 0 |-3.653540e+02 |-1.020000e+02 | 72.08%
201.34/201.41 c 199s| 1 | 0 |117115 | - | 84M| 0 | 938 |1000 | 15k|1000 |5377 | 15k| 0 | 0 |-3.635441e+02 |-1.020000e+02 | 71.94%
206.43/206.53 c 204s| 1 | 0 |119005 | - | 84M| 0 | 941 |1000 | 15k|1000 |5524 | 15k| 0 | 0 |-3.627669e+02 |-1.020000e+02 | 71.88%
211.53/211.67 c 209s| 1 | 0 |120891 | - | 84M| 0 | 939 |1000 | 15k|1000 |5571 | 15k| 0 | 0 |-3.618321e+02 |-1.020000e+02 | 71.81%
216.23/216.38 c 214s| 1 | 0 |122562 | - | 84M| 0 | 932 |1000 | 15k|1000 |5633 | 15k| 0 | 0 |-3.611642e+02 |-1.020000e+02 | 71.76%
220.82/220.94 c 219s| 1 | 0 |123923 | - | 84M| 0 | 936 |1000 | 15k|1000 |5669 | 16k| 0 | 0 |-3.603778e+02 |-1.020000e+02 | 71.70%
226.33/226.41 c 224s| 1 | 0 |125803 | - | 84M| 0 | 938 |1000 | 15k|1000 |5721 | 16k| 0 | 0 |-3.593874e+02 |-1.020000e+02 | 71.62%
232.82/232.96 c 231s| 1 | 0 |128315 | - | 84M| 0 | 932 |1000 | 15k|1000 |5520 | 16k| 0 | 0 |-3.575029e+02 |-1.020000e+02 | 71.47%
237.72/237.89 c 235s| 1 | 0 |130009 | - | 84M| 0 | 945 |1000 | 15k|1000 |5640 | 16k| 0 | 0 |-3.568895e+02 |-1.020000e+02 | 71.42%
242.82/242.96 c 241s| 1 | 0 |131597 | - | 84M| 0 | 935 |1000 | 15k|1000 |5744 | 16k| 0 | 0 |-3.565782e+02 |-1.020000e+02 | 71.39%
247.42/247.53 c 245s| 1 | 0 |132924 | - | 84M| 0 | 947 |1000 | 15k|1000 |5783 | 16k| 0 | 0 |-3.563240e+02 |-1.020000e+02 | 71.37%
253.93/254.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
253.93/254.06 c 252s| 1 | 0 |135264 | - | 84M| 0 | 945 |1000 | 15k|1000 |5805 | 16k| 0 | 0 |-3.553017e+02 |-1.020000e+02 | 71.29%
260.53/260.62 c 258s| 1 | 0 |137455 | - | 84M| 0 | 950 |1000 | 15k|1000 |5834 | 16k| 0 | 0 |-3.542272e+02 |-1.020000e+02 | 71.20%
266.41/266.52 c 264s| 1 | 0 |139008 | - | 84M| 0 | 945 |1000 | 15k|1000 |5673 | 16k| 0 | 0 |-3.537704e+02 |-1.020000e+02 | 71.17%
272.01/272.15 c 270s| 1 | 0 |140789 | - | 84M| 0 | 947 |1000 | 15k|1000 |5703 | 16k| 0 | 0 |-3.530208e+02 |-1.020000e+02 | 71.11%
277.71/277.82 c 275s| 1 | 0 |142431 | - | 84M| 0 | 960 |1000 | 15k|1000 |5758 | 16k| 0 | 0 |-3.522217e+02 |-1.020000e+02 | 71.04%
283.41/283.57 c 281s| 1 | 0 |144065 | - | 84M| 0 | 960 |1000 | 15k|1000 |5807 | 16k| 0 | 0 |-3.513520e+02 |-1.020000e+02 | 70.97%
289.22/289.32 c 287s| 1 | 0 |145467 | - | 84M| 0 | 962 |1000 | 15k|1000 |5841 | 16k| 0 | 0 |-3.508084e+02 |-1.020000e+02 | 70.92%
295.40/295.57 c 293s| 1 | 0 |147265 | - | 84M| 0 | 972 |1000 | 15k|1000 |5898 | 16k| 0 | 0 |-3.501805e+02 |-1.020000e+02 | 70.87%
302.00/302.15 c 299s| 1 | 0 |149063 | - | 84M| 0 | 974 |1000 | 15k|1000 |5733 | 16k| 0 | 0 |-3.496451e+02 |-1.020000e+02 | 70.83%
308.41/308.55 c 306s| 1 | 0 |150822 | - | 84M| 0 | 980 |1000 | 15k|1000 |5792 | 16k| 0 | 0 |-3.489998e+02 |-1.020000e+02 | 70.77%
315.20/315.39 c 313s| 1 | 0 |152722 | - | 84M| 0 | 973 |1000 | 15k|1000 |5868 | 16k| 0 | 0 |-3.483363e+02 |-1.020000e+02 | 70.72%
323.00/323.11 c 320s| 1 | 0 |154847 | - | 83M| 0 | 980 |1000 | 15k|1000 |5956 | 17k| 0 | 0 |-3.474380e+02 |-1.020000e+02 | 70.64%
329.81/329.97 c 327s| 1 | 0 |156500 | - | 83M| 0 | 979 |1000 | 15k|1000 |5975 | 17k| 0 | 0 |-3.469499e+02 |-1.020000e+02 | 70.60%
337.69/337.84 c 335s| 1 | 0 |158450 | - | 83M| 0 | 982 |1000 | 15k|1000 |6029 | 17k| 0 | 0 |-3.463016e+02 |-1.020000e+02 | 70.55%
345.00/345.11 c 342s| 1 | 0 |160065 | - | 83M| 0 | 988 |1000 | 15k|1000 |5915 | 17k| 0 | 0 |-3.458147e+02 |-1.020000e+02 | 70.50%
352.19/352.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
352.19/352.40 c 349s| 1 | 0 |161594 | - | 82M| 0 | 980 |1000 | 15k|1000 |5982 | 17k| 0 | 0 |-3.451651e+02 |-1.020000e+02 | 70.45%
359.99/360.13 c 357s| 1 | 0 |163442 | - | 82M| 0 | 987 |1000 | 15k|1000 |6019 | 17k| 0 | 0 |-3.445251e+02 |-1.020000e+02 | 70.39%
367.79/367.97 c 365s| 1 | 0 |165235 | - | 82M| 0 | 986 |1000 | 15k|1000 |6066 | 17k| 0 | 0 |-3.437634e+02 |-1.020000e+02 | 70.33%
375.69/375.81 c 373s| 1 | 0 |167100 | - | 82M| 0 | 994 |1000 | 15k|1000 |6107 | 17k| 0 | 0 |-3.429337e+02 |-1.020000e+02 | 70.26%
383.28/383.43 c 380s| 1 | 0 |168615 | - | 82M| 0 | 995 |1000 | 15k|1000 |6147 | 17k| 0 | 0 |-3.424396e+02 |-1.020000e+02 | 70.21%
391.68/391.81 c 389s| 1 | 0 |170388 | - | 82M| 0 | 993 |1000 | 15k|1000 |6060 | 17k| 0 | 0 |-3.416618e+02 |-1.020000e+02 | 70.15%
400.19/400.31 c 397s| 1 | 0 |172279 | - | 82M| 0 | 994 |1000 | 15k|1000 |6095 | 17k| 0 | 0 |-3.408386e+02 |-1.020000e+02 | 70.07%
409.09/409.21 c 406s| 1 | 0 |174295 | - | 82M| 0 | 987 |1000 | 15k|1000 |6144 | 17k| 0 | 0 |-3.401824e+02 |-1.020000e+02 | 70.02%
416.48/416.63 c 413s| 1 | 0 |175678 | - | 82M| 0 | 995 |1000 | 15k|1000 |6178 | 17k| 0 | 0 |-3.398432e+02 |-1.020000e+02 | 69.99%
424.77/424.93 c 421s| 1 | 0 |177390 | - | 81M| 0 | 994 |1000 | 15k|1000 |6224 | 17k| 0 | 0 |-3.392911e+02 |-1.020000e+02 | 69.94%
433.18/433.38 c 430s| 1 | 0 |179156 | - | 81M| 0 | 997 |1000 | 15k|1000 |6269 | 17k| 0 | 0 |-3.387644e+02 |-1.020000e+02 | 69.89%
441.67/441.89 c 438s| 1 | 0 |180729 | - | 81M| 0 | 997 |1000 | 15k|1000 |6184 | 17k| 0 | 0 |-3.382868e+02 |-1.020000e+02 | 69.85%
448.87/449.07 c 445s| 1 | 0 |181672 | - | 81M| 0 | 996 |1000 | 15k|1000 |6222 | 17k| 0 | 0 |-3.380775e+02 |-1.020000e+02 | 69.83%
456.76/456.98 c 453s| 1 | 0 |182872 | - | 81M| 0 | 998 |1000 | 15k|1000 |6252 | 17k| 0 | 0 |-3.377264e+02 |-1.020000e+02 | 69.80%
465.96/466.20 c 463s| 1 | 0 |184483 | - | 81M| 0 | 998 |1000 | 15k|1000 |6281 | 17k| 0 | 0 |-3.372879e+02 |-1.020000e+02 | 69.76%
474.46/474.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
474.46/474.61 c 471s| 1 | 0 |185868 | - | 81M| 0 | 994 |1000 | 15k|1000 |6314 | 17k| 0 | 0 |-3.369006e+02 |-1.020000e+02 | 69.72%
483.26/483.43 c 480s| 1 | 0 |187395 | - | 81M| 0 | 997 |1000 | 15k|1000 |6342 | 17k| 0 | 0 |-3.364189e+02 |-1.020000e+02 | 69.68%
492.57/492.77 c 489s| 1 | 0 |189192 | - | 81M| 0 | 997 |1000 | 15k|1000 |6289 | 17k| 0 | 0 |-3.359305e+02 |-1.020000e+02 | 69.64%
500.06/500.25 c 496s| 1 | 0 |190099 | - | 81M| 0 | 997 |1000 | 15k|1000 |6317 | 17k| 0 | 0 |-3.357455e+02 |-1.020000e+02 | 69.62%
508.65/508.89 c 505s| 1 | 0 |191420 | - | 81M| 0 | 997 |1000 | 15k|1000 |6350 | 17k| 0 | 0 |-3.352954e+02 |-1.020000e+02 | 69.58%
517.65/517.80 c 514s| 1 | 0 |192830 | - | 81M| 0 | 999 |1000 | 15k|1000 |6386 | 17k| 0 | 0 |-3.348185e+02 |-1.020000e+02 | 69.54%
527.34/527.59 c 524s| 1 | 0 |194578 | - | 81M| 0 | 999 |1000 | 15k|1000 |6410 | 17k| 0 | 0 |-3.341908e+02 |-1.020000e+02 | 69.48%
536.55/536.76 c 533s| 1 | 0 |196052 | - | 80M| 0 | 999 |1000 | 15k|1000 |6431 | 18k| 0 | 0 |-3.336577e+02 |-1.020000e+02 | 69.43%
545.74/545.99 c 542s| 1 | 0 |197565 | - | 80M| 0 | 998 |1000 | 15k|1000 |6407 | 18k| 0 | 0 |-3.329783e+02 |-1.020000e+02 | 69.37%
555.53/555.75 c 552s| 1 | 0 |199313 | - | 80M| 0 | 995 |1000 | 15k|1000 |6438 | 18k| 0 | 0 |-3.322493e+02 |-1.020000e+02 | 69.30%
563.93/564.11 c 560s| 1 | 0 |200419 | - | 80M| 0 | 996 |1000 | 15k|1000 |6461 | 18k| 0 | 0 |-3.318523e+02 |-1.020000e+02 | 69.26%
573.33/573.50 c 569s| 1 | 0 |201962 | - | 80M| 0 | 996 |1000 | 15k|1000 |6488 | 18k| 0 | 0 |-3.312782e+02 |-1.020000e+02 | 69.21%
581.23/581.44 c 577s| 1 | 0 |202891 | - | 80M| 0 | 995 |1000 | 15k|1000 |6509 | 18k| 0 | 0 |-3.310435e+02 |-1.020000e+02 | 69.19%
590.13/590.36 c 586s| 1 | 0 |204163 | - | 79M| 0 | 995 |1000 | 15k|1000 |6528 | 18k| 0 | 0 |-3.306426e+02 |-1.020000e+02 | 69.15%
598.63/598.86 c 595s| 1 | 0 |205210 | - | 79M| 0 | 997 |1000 | 15k|1000 |6478 | 18k| 0 | 0 |-3.303617e+02 |-1.020000e+02 | 69.12%
607.42/607.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
607.42/607.65 c 603s| 1 | 0 |206501 | - | 79M| 0 | 997 |1000 | 15k|1000 |6513 | 18k| 0 | 0 |-3.299552e+02 |-1.020000e+02 | 69.09%
616.22/616.44 c 612s| 1 | 0 |207855 | - | 79M| 0 | 997 |1000 | 15k|1000 |6538 | 18k| 0 | 0 |-3.295263e+02 |-1.020000e+02 | 69.05%
624.12/624.35 c 620s| 1 | 0 |208815 | - | 77M| 0 | 996 |1000 | 15k|1000 |6567 | 18k| 0 | 0 |-3.292829e+02 |-1.020000e+02 | 69.02%
632.52/632.78 c 628s| 1 | 0 |209907 | - | 77M| 0 | 999 |1000 | 15k|1000 |6592 | 18k| 0 | 0 |-3.290047e+02 |-1.020000e+02 | 69.00%
641.72/641.91 c 637s| 1 | 0 |211356 | - | 76M| 0 | 995 |1000 | 15k|1000 |6611 | 18k| 0 | 0 |-3.285903e+02 |-1.020000e+02 | 68.96%
650.51/650.78 c 646s| 1 | 0 |212681 | - | 74M| 0 | 998 |1000 | 15k|1000 |6551 | 18k| 0 | 0 |-3.282278e+02 |-1.020000e+02 | 68.92%
659.61/659.80 c 655s| 1 | 0 |214290 | - | 74M| 0 | 996 |1000 | 15k|1000 |6578 | 18k| 0 | 0 |-3.277230e+02 |-1.020000e+02 | 68.88%
668.40/668.69 c 664s| 1 | 0 |215713 | - | 74M| 0 | 998 |1000 | 15k|1000 |6606 | 18k| 0 | 0 |-3.272829e+02 |-1.020000e+02 | 68.83%
676.80/677.04 c 672s| 1 | 0 |216866 | - | 74M| 0 | 996 |1000 | 15k|1000 |6635 | 18k| 0 | 0 |-3.270297e+02 |-1.020000e+02 | 68.81%
684.60/684.88 c 680s| 1 | 0 |217720 | - | 73M| 0 | 995 |1000 | 15k|1000 |6656 | 18k| 0 | 0 |-3.268321e+02 |-1.020000e+02 | 68.79%
692.60/692.84 c 688s| 1 | 0 |218633 | - | 73M| 0 | 995 |1000 | 15k|1000 |6672 | 18k| 0 | 0 |-3.265941e+02 |-1.020000e+02 | 68.77%
700.60/700.81 c 696s| 1 | 0 |219686 | - | 73M| 0 | 996 |1000 | 15k|1000 |6616 | 18k| 0 | 0 |-3.263202e+02 |-1.020000e+02 | 68.74%
708.29/708.50 c 704s| 1 | 0 |220569 | - | 73M| 0 | 996 |1000 | 15k|1000 |6641 | 18k| 0 | 0 |-3.261015e+02 |-1.020000e+02 | 68.72%
716.60/716.85 c 712s| 1 | 0 |221643 | - | 72M| 0 | 996 |1000 | 15k|1000 |6662 | 18k| 0 | 0 |-3.257789e+02 |-1.020000e+02 | 68.69%
725.20/725.43 c 720s| 1 | 0 |222879 | - | 72M| 0 | 993 |1000 | 15k|1000 |6691 | 18k| 0 | 0 |-3.253824e+02 |-1.020000e+02 | 68.65%
732.90/733.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.90/733.13 c 728s| 1 | 0 |223461 | - | 69M| 0 | 996 |1000 | 15k|1000 |6713 | 18k| 0 | 0 |-3.252579e+02 |-1.020000e+02 | 68.64%
740.79/741.08 c 736s| 1 | 0 |224229 | - | 68M| 0 | 999 |1000 | 15k|1000 |6726 | 18k| 0 | 0 |-3.250802e+02 |-1.020000e+02 | 68.62%
748.98/749.26 c 744s| 1 | 0 |225034 | - | 67M| 0 | 993 |1000 | 15k|1000 |6687 | 18k| 0 | 0 |-3.248650e+02 |-1.020000e+02 | 68.60%
756.69/756.99 c 752s| 1 | 0 |225711 | - | 67M| 0 | 996 |1000 | 15k|1000 |6700 | 18k| 0 | 0 |-3.246901e+02 |-1.020000e+02 | 68.59%
764.98/765.28 c 760s| 1 | 0 |226606 | - | 66M| 0 | 997 |1000 | 15k|1000 |6718 | 18k| 0 | 0 |-3.244109e+02 |-1.020000e+02 | 68.56%
772.88/773.16 c 768s| 1 | 0 |227319 | - | 66M| 0 | 998 |1000 | 15k|1000 |6734 | 18k| 0 | 0 |-3.241425e+02 |-1.020000e+02 | 68.53%
781.07/781.30 c 776s| 1 | 0 |228132 | - | 65M| 0 | 995 |1000 | 15k|1000 |6753 | 18k| 0 | 0 |-3.238653e+02 |-1.020000e+02 | 68.51%
788.57/788.85 c 784s| 1 | 0 |228692 | - | 63M| 0 | 996 |1000 | 15k|1000 |6765 | 18k| 0 | 0 |-3.237627e+02 |-1.020000e+02 | 68.50%
796.18/796.49 c 791s| 1 | 0 |229187 | - | 63M| 0 | 996 |1000 | 15k|1000 |6712 | 18k| 0 | 0 |-3.236737e+02 |-1.020000e+02 | 68.49%
803.57/803.88 c 799s| 1 | 0 |229615 | - | 62M| 0 | 995 |1000 | 15k|1000 |6723 | 18k| 0 | 0 |-3.235680e+02 |-1.020000e+02 | 68.48%
811.48/811.71 c 806s| 1 | 0 |230244 | - | 62M| 0 | 993 |1000 | 15k|1000 |6739 | 18k| 0 | 0 |-3.234143e+02 |-1.020000e+02 | 68.46%
818.37/818.68 c 813s| 1 | 0 |230606 | - | 62M| 0 | 996 |1000 | 15k|1000 |6752 | 18k| 0 | 0 |-3.233733e+02 |-1.020000e+02 | 68.46%
825.77/826.06 c 821s| 1 | 0 |231148 | - | 60M| 0 | 994 |1000 | 15k|1000 |6763 | 18k| 0 | 0 |-3.232260e+02 |-1.020000e+02 | 68.44%
833.27/833.57 c 828s| 1 | 0 |231666 | - | 60M| 0 | 993 |1000 | 15k|1000 |6776 | 18k| 0 | 0 |-3.231176e+02 |-1.020000e+02 | 68.43%
840.46/840.76 c 835s| 1 | 0 |232198 | - | 59M| 0 | 995 |1000 | 15k|1000 |6745 | 18k| 0 | 0 |-3.230409e+02 |-1.020000e+02 | 68.43%
847.36/847.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
847.36/847.63 c 842s| 1 | 0 |232510 | - | 56M| 0 | 993 |1000 | 15k|1000 |6756 | 18k| 0 | 0 |-3.230240e+02 |-1.020000e+02 | 68.42%
854.06/854.38 c 849s| 1 | 0 |232844 | - | 54M| 0 | 970 |1000 | 15k|1000 |6766 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
859.96/860.27 c 855s| 1 | 0 |232847 | - | 51M| 0 | 968 |1000 | 15k|1000 |6771 | 18k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 68.42%
894.65/894.98 c 889s| 1 | 2 |232847 | - | 51M| 0 | 968 |1000 | 15k|1000 |6771 | 18k| 0 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
897.85/898.11 c 892s| 10000 | 60 |232847 | 0.0 | 51M| 75 | - |1000 | 15k| 0 | 0 | 18k| 16 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
900.74/901.05 c 895s| 20000 | 59 |232847 | 0.0 | 51M| 76 | - |1000 | 15k| 0 | 0 | 18k| 20 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
903.85/904.10 c 898s| 30000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 22 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
906.75/907.09 c 901s| 40000 | 58 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 24 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
909.94/910.27 c 904s| 50000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 38 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
913.15/913.47 c 907s| 60000 | 61 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 51 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
916.55/916.82 c 910s| 70000 | 59 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 62 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
919.84/920.10 c 913s| 80000 | 60 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 76 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
923.04/923.39 c 916s| 90000 | 61 |232847 | 0.0 | 51M| 80 | - |1000 | 15k| 0 | 0 | 18k| 85 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
926.34/926.68 c 919s|100000 | 60 |232847 | 0.0 | 51M| 81 | - |1000 | 15k| 0 | 0 | 18k| 95 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
929.64/929.96 c 923s|110000 | 60 |232847 | 0.0 | 51M| 84 | - |1000 | 15k| 0 | 0 | 18k| 106 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
932.83/933.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
932.83/933.14 c 926s|120000 | 59 |232847 | 0.0 | 51M| 84 | - |1000 | 15k| 0 | 0 | 18k| 113 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
936.04/936.35 c 929s|130000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 130 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
939.44/939.75 c 932s|140000 | 64 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 153 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
942.83/943.19 c 935s|150000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 178 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
946.33/946.62 c 939s|160000 | 62 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 207 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
949.73/950.01 c 942s|170000 | 60 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 230 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
953.04/953.38 c 945s|180000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 265 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
956.33/956.61 c 948s|190000 | 64 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 285 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
959.42/959.75 c 951s|200000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 314 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
962.62/962.93 c 954s|210000 | 60 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 327 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
966.22/966.51 c 958s|220000 | 59 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 351 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
969.42/969.79 c 961s|230000 | 59 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 365 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
972.72/973.03 c 964s|240000 | 58 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 378 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
975.81/976.15 c 967s|250000 | 61 |232847 | 0.0 | 51M| 85 | - |1000 | 15k| 0 | 0 | 18k| 391 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
979.02/979.40 c 970s|260000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 404 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
982.21/982.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.21/982.53 c 973s|270000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 415 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
985.62/985.96 c 976s|280000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 429 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
988.72/989.09 c 979s|290000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 443 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
992.01/992.32 c 982s|300000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 457 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
995.41/995.79 c 986s|310000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 467 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
998.91/999.22 c 989s|320000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 481 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1001.91/1002.26 c 992s|330000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 486 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1005.01/1005.36 c 995s|340000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 495 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1008.11/1008.46 c 998s|350000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 506 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1011.31/1011.66 c 1001s|360000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1014.51/1014.88 c 1004s|370000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 527 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1017.71/1018.04 c 1007s|380000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 538 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1020.91/1021.29 c 1010s|390000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 550 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1024.21/1024.53 c 1013s|400000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 558 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1027.31/1027.69 c 1016s|410000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 571 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1030.70/1031.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1030.70/1031.00 c 1020s|420000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 586 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1034.10/1034.48 c 1023s|430000 | 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 608 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1037.20/1037.58 c 1026s|440000 | 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 627 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1040.40/1040.78 c 1029s|450000 | 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 647 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1043.61/1043.93 c 1032s|460000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 656 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1046.70/1047.09 c 1035s|470000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 676 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1050.20/1050.55 c 1038s|480000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 700 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1053.40/1053.79 c 1041s|490000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 717 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1056.70/1057.02 c 1044s|500000 | 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 730 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1060.00/1060.36 c 1048s|510000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 736 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1063.19/1063.54 c 1051s|520000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 753 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1066.29/1066.62 c 1054s|530000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 762 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1069.50/1069.81 c 1057s|540000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 787 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1072.69/1073.00 c 1060s|550000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 799 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1075.79/1076.14 c 1063s|560000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 812 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1078.79/1079.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.79/1079.18 c 1066s|570000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 831 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1081.89/1082.22 c 1069s|580000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 851 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1084.98/1085.35 c 1072s|590000 | 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 861 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1088.08/1088.46 c 1075s|600000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 878 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1091.19/1091.59 c 1078s|610000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 897 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1094.39/1094.76 c 1081s|620000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 923 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1097.49/1097.84 c 1084s|630000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 945 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1100.59/1100.97 c 1087s|640000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 953 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1103.69/1104.06 c 1089s|650000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 954 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1106.98/1107.34 c 1093s|660000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k| 979 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1110.08/1110.47 c 1096s|670000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1014 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1113.18/1113.52 c 1099s|680000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1025 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1116.18/1116.58 c 1101s|690000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1041 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1119.28/1119.69 c 1104s|700000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1056 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1122.57/1122.93 c 1108s|710000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1076 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1125.88/1126.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1125.88/1126.25 c 1111s|720000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1085 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1129.07/1129.43 c 1114s|730000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1098 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1132.07/1132.43 c 1117s|740000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1116 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1135.28/1135.68 c 1120s|750000 | 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1126 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1138.57/1138.91 c 1123s|760000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1138 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1141.67/1142.05 c 1126s|770000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1142 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1144.87/1145.24 c 1129s|780000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1150 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1147.87/1148.29 c 1132s|790000 | 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1159 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1150.87/1151.28 c 1135s|800000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1162 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1154.07/1154.40 c 1138s|810000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1165 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1156.97/1157.36 c 1141s|820000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1169 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1160.08/1160.42 c 1143s|830000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1183 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1163.17/1163.51 c 1146s|840000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1166.17/1166.56 c 1149s|850000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1228 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1169.26/1169.62 c 1152s|860000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1236 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1172.27/1172.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1172.27/1172.66 c 1155s|870000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1256 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1175.36/1175.71 c 1158s|880000 | 57 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1272 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1178.46/1178.86 c 1161s|890000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1296 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1181.56/1181.99 c 1164s|900000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1306 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1184.76/1185.14 c 1167s|910000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1311 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1187.86/1188.21 c 1170s|920000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1318 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1190.87/1191.22 c 1173s|930000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1326 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1193.96/1194.33 c 1176s|940000 | 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1335 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1197.06/1197.44 c 1179s|950000 | 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1340 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1200.06/1200.48 c 1182s|960000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1347 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1203.16/1203.59 c 1185s|970000 | 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1352 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1206.27/1206.65 c 1188s|980000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1356 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1209.35/1209.70 c 1191s|990000 | 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1363 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1212.46/1212.87 c 1194s| 1000k| 56 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1369 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1215.65/1216.09 c 1197s| 1010k| 58 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1380 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1218.85/1219.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1218.85/1219.21 c 1200s| 1020k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1389 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1221.95/1222.30 c 1203s| 1030k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1396 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1225.06/1225.46 c 1206s| 1040k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1409 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1228.05/1228.40 c 1208s| 1050k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1414 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1231.05/1231.41 c 1211s| 1060k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1419 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1234.05/1234.43 c 1214s| 1070k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1424 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1237.05/1237.45 c 1217s| 1080k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1427 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1240.25/1240.62 c 1220s| 1090k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1430 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1243.34/1243.75 c 1223s| 1100k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1438 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1246.44/1246.87 c 1226s| 1110k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1442 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1249.64/1250.04 c 1229s| 1120k| 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1448 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1252.74/1253.19 c 1232s| 1130k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1458 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1255.95/1256.37 c 1235s| 1140k| 59 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1473 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1259.05/1259.43 c 1238s| 1150k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1475 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1262.14/1262.52 c 1241s| 1160k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1481 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1265.24/1265.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1265.24/1265.62 c 1244s| 1170k| 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1489 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1268.34/1268.72 c 1247s| 1180k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1495 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1271.44/1271.80 c 1250s| 1190k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1501 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1274.34/1274.79 c 1253s| 1200k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1506 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1277.34/1277.75 c 1256s| 1210k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1280.43/1280.88 c 1259s| 1220k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1522 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1283.54/1283.97 c 1262s| 1230k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1528 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1286.73/1287.11 c 1265s| 1240k| 66 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1535 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1289.84/1290.24 c 1268s| 1250k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1540 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1292.83/1293.22 c 1270s| 1260k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1554 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1295.83/1296.24 c 1273s| 1270k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1559 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1298.93/1299.31 c 1276s| 1280k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1569 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1301.83/1302.27 c 1279s| 1290k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1575 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1304.83/1305.20 c 1282s| 1300k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1586 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1307.93/1308.33 c 1285s| 1310k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1590 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1310.93/1311.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1310.93/1311.33 c 1288s| 1320k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1594 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1313.93/1314.34 c 1291s| 1330k| 64 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1603 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1316.83/1317.29 c 1293s| 1340k| 65 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1608 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1319.92/1320.33 c 1296s| 1350k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1615 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1323.02/1323.41 c 1299s| 1360k| 63 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1620 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1326.13/1326.55 c 1302s| 1370k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1624 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1329.22/1329.66 c 1305s| 1380k| 62 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1628 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1332.22/1332.68 c 1308s| 1390k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1639 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1335.43/1335.86 c 1311s| 1400k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1645 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1338.52/1338.95 c 1314s| 1410k| 60 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1652 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1341.82/1342.27 c 1317s| 1420k| 61 |232847 | 0.0 | 51M| 89 | - |1000 | 15k| 0 | 0 | 18k|1659 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1344.93/1345.32 c 1320s| 1430k| 65 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1675 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1347.92/1348.36 c 1323s| 1440k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1683 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1351.02/1351.42 c 1326s| 1450k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1695 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1354.12/1354.54 c 1329s| 1460k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1698 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1357.12/1357.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1357.12/1357.50 c 1332s| 1470k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1714 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1360.12/1360.50 c 1335s| 1480k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1726 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1363.11/1363.59 c 1338s| 1490k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1731 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1366.22/1366.66 c 1341s| 1500k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1743 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1369.22/1369.68 c 1343s| 1510k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1749 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1372.32/1372.70 c 1346s| 1520k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1760 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1375.21/1375.67 c 1349s| 1530k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1775 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1378.11/1378.59 c 1352s| 1540k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1782 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1381.22/1381.66 c 1355s| 1550k| 64 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1790 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1384.20/1384.66 c 1358s| 1560k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1797 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1387.21/1387.63 c 1361s| 1570k| 63 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1810 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1390.21/1390.66 c 1363s| 1580k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1816 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1393.22/1393.68 c 1366s| 1590k| 65 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1825 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1396.10/1396.58 c 1369s| 1600k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1834 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1399.20/1399.64 c 1372s| 1610k| 58 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1849 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1402.40/1402.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1402.40/1402.82 c 1375s| 1620k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1853 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1405.41/1405.84 c 1378s| 1630k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1861 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1408.61/1409.00 c 1381s| 1640k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1873 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1411.80/1412.24 c 1384s| 1650k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1880 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1415.10/1415.50 c 1387s| 1660k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1884 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1418.20/1418.69 c 1390s| 1670k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1892 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1421.40/1421.81 c 1393s| 1680k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1896 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1424.40/1424.83 c 1396s| 1690k| 58 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1899 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1427.60/1428.02 c 1399s| 1700k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1909 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1430.61/1431.07 c 1402s| 1710k| 63 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1912 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1433.69/1434.20 c 1405s| 1720k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1922 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1436.89/1437.35 c 1408s| 1730k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1930 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1439.89/1440.37 c 1411s| 1740k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1942 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1442.99/1443.45 c 1414s| 1750k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1948 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1446.19/1446.61 c 1417s| 1760k| 59 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1953 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1449.09/1449.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1449.09/1449.57 c 1420s| 1770k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1964 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1452.19/1452.66 c 1423s| 1780k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1967 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1455.29/1455.70 c 1426s| 1790k| 62 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1972 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1458.20/1458.69 c 1429s| 1800k| 57 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1980 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1461.29/1461.73 c 1431s| 1810k| 61 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1985 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1464.39/1464.80 c 1434s| 1820k| 60 |232847 | 0.0 | 51M| 90 | - |1000 | 15k| 0 | 0 | 18k|1997 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1467.49/1467.97 c 1437s| 1830k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2002 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1470.59/1471.08 c 1440s| 1840k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2011 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1473.69/1474.12 c 1443s| 1850k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2021 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1476.80/1477.24 c 1446s| 1860k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2029 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1479.78/1480.27 c 1449s| 1870k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2039 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1482.89/1483.39 c 1452s| 1880k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2050 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1485.88/1486.34 c 1455s| 1890k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2056 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1488.78/1489.28 c 1458s| 1900k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2069 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1491.88/1492.31 c 1461s| 1910k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2079 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1494.98/1495.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1494.98/1495.42 c 1464s| 1920k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2086 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1497.98/1498.47 c 1467s| 1930k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2094 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1500.98/1501.49 c 1470s| 1940k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2113 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1504.18/1504.69 c 1473s| 1950k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2125 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1507.59/1508.02 c 1476s| 1960k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2135 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1510.58/1511.03 c 1479s| 1970k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2156 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1513.57/1514.05 c 1482s| 1980k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2175 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1516.57/1517.09 c 1484s| 1990k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2190 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1519.68/1520.18 c 1487s| 2000k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1522.77/1523.29 c 1490s| 2010k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2204 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1526.07/1526.51 c 1493s| 2020k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2216 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1529.27/1529.73 c 1497s| 2030k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2221 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1532.37/1532.84 c 1499s| 2040k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2223 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1535.57/1536.06 c 1503s| 2050k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2239 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1538.67/1539.17 c 1506s| 2060k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2244 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1542.07/1542.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1542.07/1542.51 c 1509s| 2070k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2251 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1545.37/1545.81 c 1512s| 2080k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2259 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1548.56/1549.08 c 1515s| 2090k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2263 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1551.86/1552.35 c 1518s| 2100k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2268 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1555.07/1555.54 c 1521s| 2110k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2277 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1558.16/1558.66 c 1524s| 2120k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2281 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1561.36/1561.87 c 1527s| 2130k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2286 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1564.66/1565.12 c 1530s| 2140k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2291 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1567.86/1568.40 c 1534s| 2150k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2299 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1571.26/1571.71 c 1537s| 2160k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2301 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1574.35/1574.81 c 1540s| 2170k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2306 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1577.35/1577.87 c 1543s| 2180k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2316 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1580.36/1580.89 c 1545s| 2190k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2324 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1583.46/1583.91 c 1548s| 2200k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2337 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1586.56/1587.02 c 1551s| 2210k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2348 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1589.55/1590.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1589.55/1590.09 c 1554s| 2220k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2352 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1592.65/1593.14 c 1557s| 2230k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2362 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1595.75/1596.22 c 1560s| 2240k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2367 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1598.75/1599.28 c 1563s| 2250k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2372 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1601.96/1602.45 c 1566s| 2260k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2377 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1605.15/1605.65 c 1569s| 2270k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2382 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1608.25/1608.71 c 1572s| 2280k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2391 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1611.45/1611.90 c 1575s| 2290k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2393 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1614.55/1615.03 c 1578s| 2300k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2396 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1617.75/1618.20 c 1581s| 2310k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2399 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1620.74/1621.25 c 1584s| 2320k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2403 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1623.94/1624.41 c 1587s| 2330k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2406 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1627.04/1627.58 c 1590s| 2340k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2412 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1630.25/1630.78 c 1593s| 2350k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2423 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1633.34/1633.89 c 1596s| 2360k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2427 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1636.44/1636.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1636.44/1636.95 c 1599s| 2370k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2437 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1639.44/1639.92 c 1602s| 2380k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2457 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1642.44/1642.95 c 1605s| 2390k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2465 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1645.54/1646.05 c 1608s| 2400k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2473 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1648.54/1649.07 c 1611s| 2410k| 67 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2485 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1651.65/1652.18 c 1614s| 2420k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2490 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1654.74/1655.25 c 1616s| 2430k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2496 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1657.94/1658.40 c 1620s| 2440k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2505 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1661.04/1661.57 c 1623s| 2450k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2509 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1664.13/1664.63 c 1625s| 2460k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2516 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1667.24/1667.72 c 1628s| 2470k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2520 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1670.34/1670.82 c 1631s| 2480k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2532 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1673.44/1673.98 c 1634s| 2490k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2542 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1676.53/1677.08 c 1637s| 2500k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2546 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1679.73/1680.20 c 1640s| 2510k| 56 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2556 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1682.93/1683.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1682.93/1683.45 c 1643s| 2520k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2566 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1686.03/1686.51 c 1646s| 2530k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2575 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1689.04/1689.53 c 1649s| 2540k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2583 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1692.03/1692.56 c 1652s| 2550k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2591 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1695.02/1695.57 c 1655s| 2560k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2603 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1698.13/1698.63 c 1658s| 2570k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2611 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1701.23/1701.73 c 1661s| 2580k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2624 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1704.22/1704.79 c 1664s| 2590k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2635 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1707.53/1708.05 c 1667s| 2600k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2652 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1710.62/1711.13 c 1670s| 2610k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2664 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1713.72/1714.26 c 1673s| 2620k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2677 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1716.82/1717.35 c 1676s| 2630k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2682 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1719.93/1720.48 c 1679s| 2640k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2691 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1723.02/1723.60 c 1682s| 2650k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2702 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1726.02/1726.56 c 1685s| 2660k| 58 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2718 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1729.12/1729.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1729.12/1729.66 c 1688s| 2670k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2727 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1732.22/1732.72 c 1690s| 2680k| 60 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2738 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1735.41/1735.90 c 1694s| 2690k| 57 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2750 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1738.42/1738.99 c 1696s| 2700k| 59 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2759 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1741.71/1742.22 c 1700s| 2710k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2769 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1744.81/1745.37 c 1703s| 2720k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2777 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1748.01/1748.51 c 1706s| 2730k| 68 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2783 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1751.11/1751.65 c 1709s| 2740k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2826 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1754.21/1754.72 c 1711s| 2750k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2870 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1757.32/1757.86 c 1714s| 2760k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2922 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1760.61/1761.12 c 1718s| 2770k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|2973 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1763.82/1764.37 c 1721s| 2780k| 69 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3006 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1767.00/1767.56 c 1724s| 2790k| 67 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3036 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1770.31/1770.82 c 1727s| 2800k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3060 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1773.60/1774.10 c 1730s| 2810k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3096 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1776.71/1777.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1776.71/1777.29 c 1733s| 2820k| 64 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3144 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1780.00/1780.54 c 1736s| 2830k| 68 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3171 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1783.31/1783.89 c 1739s| 2840k| 61 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3196 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1786.60/1787.13 c 1742s| 2850k| 65 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3231 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1789.90/1790.43 c 1746s| 2860k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3280 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1793.10/1793.68 c 1749s| 2870k| 70 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3311 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1796.50/1797.01 c 1752s| 2880k| 62 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3340 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1799.70/1800.25 c 1755s| 2890k| 63 |232847 | 0.0 | 51M| 92 | - |1000 | 15k| 0 | 0 | 18k|3397 | 17 |-3.230000e+02 |-1.020000e+02 | 68.42%
1800.00/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.00/1800.50 c
1800.00/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.50 c Solving Time (sec) : 1755.31
1800.00/1800.50 c Solving Nodes : 2890784
1800.00/1800.50 c Primal Bound : -1.02000000000000e+02 (58 solutions)
1800.00/1800.50 c Dual Bound : -3.23000000000000e+02
1800.00/1800.50 c Gap : 68.42 %
1800.00/1800.54 s SATISFIABLE
1800.00/1800.54 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.00/1800.54 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.00/1800.54 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.00/1800.54 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.00/1800.54 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.00/1800.54 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1800.00/1800.54 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.00/1800.54 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1800.00/1800.54 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.00/1800.54 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.00/1800.54 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1800.00/1800.54 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1800.00/1800.54 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1800.00/1800.54 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1800.00/1800.54 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1800.00/1800.54 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1800.00/1800.54 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1800.00/1800.54 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1800.00/1800.54 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1800.00/1800.54 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1800.00/1800.54 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1800.00/1800.54 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.00/1800.54 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1800.00/1800.54 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1800.00/1800.54 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1800.00/1800.54 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1800.00/1800.54 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1800.00/1800.54 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1800.00/1800.54 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1800.00/1800.54 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1800.00/1800.54 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1800.00/1800.54 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1800.00/1800.54 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1800.00/1800.54 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1800.00/1800.54 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1800.00/1800.54 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1800.00/1800.54 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1800.00/1800.54 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1800.00/1800.54 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1800.00/1800.54 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.00/1800.54 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1800.00/1800.54 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1800.00/1800.54 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1800.00/1800.54 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
1800.00/1800.54 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
1800.00/1800.54 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
1800.00/1800.54 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1800.00/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.00/1800.54 c Solving Time : 1755.31
1800.00/1800.54 c Original Problem :
1800.00/1800.54 c Problem name : HOME/instance-2666696-1276663505.opb
1800.00/1800.54 c Variables : 16772 (16772 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.54 c Constraints : 16772 initial, 16772 maximal
1800.00/1800.54 c Presolved Problem :
1800.00/1800.54 c Problem name : t_HOME/instance-2666696-1276663505.opb
1800.00/1800.54 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.00/1800.54 c Constraints : 15772 initial, 15777 maximal
1800.00/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.00/1800.54 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.00/1800.54 c probing : 0.09 0 0 0 0 0 0 0 0
1800.00/1800.54 c linear : 0.10 15772 0 0 15772 0 1000 0 0
1800.00/1800.54 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.00/1800.54 c root node : - 0 - - 0 - - - -
1800.00/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.00/1800.54 c integral : 0 0 0 1 0 0 0 0 0 2
1800.00/1800.54 c logicor : 15772+ 195 2953999 0 0 10553 6554978 17092 0 0
1800.00/1800.54 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.00/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.00/1800.54 c integral : 28.68 0.00 0.00 28.68 0.00
1800.00/1800.54 c logicor : 77.47 0.84 76.63 0.00 0.00
1800.00/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.00/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.00/1800.54 c vbounds : 2.38 2 0 0
1800.00/1800.54 c rootredcost : 2.31 0 0 0
1800.00/1800.54 c pseudoobj : 424.05 4919498 1316318 4586269
1800.00/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.00/1800.54 c propagation : 9.94 10553 3398 3398 75.6 0 0.0 -
1800.00/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.00/1800.54 c pseudo solution : 182.92 118249 0 0 0.0 0 0.0 -
1800.00/1800.54 c applied globally : - - - 3398 75.6 - - -
1800.00/1800.54 c applied locally : - - - 0 0.0 - - -
1800.00/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.00/1800.54 c cut pool : 1.52 194 - - 4966 - (maximal pool size: 14848)
1800.00/1800.54 c redcost : 0.01 195 0 0 0 0
1800.00/1800.54 c impliedbounds : 0.47 195 0 0 26927 0
1800.00/1800.54 c intobj : 0.00 0 0 0 0 0
1800.00/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.00/1800.54 c gomory : 497.13 193 0 0 65243 0
1800.00/1800.54 c strongcg : 2.72 20 0 0 10000 0
1800.00/1800.54 c cmir : 0.81 10 0 0 0 0
1800.00/1800.54 c flowcover : 0.63 10 0 0 0 0
1800.00/1800.54 c clique : 7.04 192 0 0 1612 0
1800.00/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.00/1800.54 c mcf : 0.03 1 0 0 0 0
1800.00/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.00/1800.54 c Pricers : Time Calls Vars
1800.00/1800.54 c problem variables: 0.00 0 0
1800.00/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.00/1800.54 c relpscost : 28.68 1 0 0 0 0 2
1800.00/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.00/1800.54 c inference : 22.61 1447494 0 0 0 0 2894988
1800.00/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.00/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.00/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.00/1800.54 c random : 0.00 0 0 0 0 0 0
1800.00/1800.54 c Primal Heuristics : Time Calls Found
1800.00/1800.54 c LP solutions : 0.00 - 0
1800.00/1800.54 c pseudo solutions : 0.00 - 0
1800.00/1800.54 c crossover : 0.00 0 0
1800.00/1800.54 c oneopt : 2.09 2 1
1800.00/1800.54 c trivial : 0.05 2 2
1800.00/1800.54 c simplerounding : 0.31 195 53
1800.00/1800.54 c zirounding : 0.00 1 0
1800.00/1800.54 c rounding : 12.13 195 1
1800.00/1800.54 c shifting : 12.70 195 1
1800.00/1800.54 c intshifting : 0.00 0 0
1800.00/1800.54 c twoopt : 0.00 0 0
1800.00/1800.54 c fixandinfer : 0.00 0 0
1800.00/1800.54 c feaspump : 0.00 0 0
1800.00/1800.54 c coefdiving : 0.00 0 0
1800.00/1800.54 c pscostdiving : 0.00 0 0
1800.00/1800.54 c fracdiving : 0.00 0 0
1800.00/1800.54 c veclendiving : 0.00 0 0
1800.00/1800.54 c intdiving : 0.00 0 0
1800.00/1800.54 c actconsdiving : 0.00 0 0
1800.00/1800.54 c objpscostdiving : 0.00 0 0
1800.00/1800.54 c rootsoldiving : 0.00 0 0
1800.00/1800.54 c linesearchdiving : 0.00 0 0
1800.00/1800.54 c guideddiving : 0.00 0 0
1800.00/1800.54 c octane : 0.00 0 0
1800.00/1800.54 c rens : 0.01 0 0
1800.00/1800.54 c rins : 0.00 0 0
1800.00/1800.54 c localbranching : 0.00 0 0
1800.00/1800.54 c mutation : 0.00 0 0
1800.00/1800.54 c dins : 0.00 0 0
1800.00/1800.54 c undercover : 0.00 0 0
1800.00/1800.54 c nlp : 1.71 0 0
1800.00/1800.54 c trysol : 1.23 0 0
1800.00/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.00/1800.54 c primal LP : 0.28 0 0 0.00 0.00
1800.00/1800.54 c dual LP : 318.67 195 232847 1194.09 730.68
1800.00/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.00/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.00/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.00/1800.54 c strong branching : 28.68 17 15505 912.06 540.62
1800.00/1800.54 c (at root node) : - 17 15505 912.06 -
1800.00/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.00/1800.54 c B&B Tree :
1800.00/1800.54 c number of runs : 1
1800.00/1800.54 c nodes : 2890784
1800.00/1800.54 c nodes (total) : 2890784
1800.00/1800.54 c nodes left : 60
1800.00/1800.54 c max depth : 92
1800.00/1800.54 c max depth (total): 92
1800.00/1800.54 c backtracks : 641308 (22.2%)
1800.00/1800.54 c delayed cutoffs : 2223
1800.00/1800.54 c repropagations : 2616 (12535 domain reductions, 1831 cutoffs)
1800.00/1800.54 c avg switch length: 2.00
1800.00/1800.54 c switching time : 66.21
1800.00/1800.54 c Solution :
1800.00/1800.54 c Solutions found : 58 (4 improvements)
1800.00/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1800.00/1800.54 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 2.41 seconds, depth 0, found by <oneopt>)
1800.00/1800.54 c Dual Bound : -3.23000000000000e+02
1800.00/1800.54 c Gap : 68.42 %
1800.00/1800.54 c Root Dual Bound : -3.23000000000000e+02
1800.00/1800.54 c Root Iterations : 232847
1800.11/1800.68 c Time complete: 1800.19.
OK -102
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666696-1276663505/watcher-2666696-1276663505 -o /tmp/evaluation-result-2666696-1276663505/solver-2666696-1276663505 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666696-1276663505.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: 1.00 1.00 1.00 3/106 13979 /proc/meminfo: memFree=1675720/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=7872 CPUtime=0 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 1024 0 0 0 0 0 0 0 20 0 1 0 7643357 8060928 943 1992294400 4194304 8223781 140735451730384 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13979/statm: 1968 951 348 984 0 981 0 [startup+0.00990511 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13979 /proc/meminfo: memFree=1675720/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=8900 CPUtime=0 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 1337 0 0 0 0 0 0 0 20 0 1 0 7643357 9113600 1257 1992294400 4194304 8223781 140735451730384 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13979/statm: 2225 1266 348 984 0 1238 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8900 [startup+0.100913 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13979 /proc/meminfo: memFree=1675720/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=18852 CPUtime=0.09 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 4025 0 0 0 8 1 0 0 20 0 1 0 7643357 19304448 3944 1992294400 4194304 8223781 140735451730384 18446744073709551615 5960182 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13979/statm: 4713 3944 366 984 0 3726 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18852 [startup+0.300935 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13979 /proc/meminfo: memFree=1675720/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=45448 CPUtime=0.29 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 10971 0 0 0 26 3 0 0 20 0 1 0 7643357 46538752 10526 1992294400 4194304 8223781 140735451730384 18446744073709551615 5953060 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 11362 10526 383 984 0 10375 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45448 [startup+0.70098 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13979 /proc/meminfo: memFree=1675720/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=64452 CPUtime=0.69 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 15580 0 0 0 63 6 0 0 20 0 1 0 7643357 65998848 14782 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 16113 14782 432 984 0 15126 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64452 [startup+1.50107 s] /proc/loadavg: 1.08 1.02 1.01 2/107 13980 /proc/meminfo: memFree=1615200/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=86344 CPUtime=1.49 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 22441 0 0 0 130 19 0 0 22 0 1 0 7643357 88416256 19910 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 21586 19910 538 984 0 20599 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86344 [startup+3.10124 s] /proc/loadavg: 1.08 1.02 1.01 2/107 13980 /proc/meminfo: memFree=1596104/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=90608 CPUtime=3.09 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 24337 0 0 0 286 23 0 0 25 0 1 0 7643357 92782592 20586 1992294400 4194304 8223781 140735451730384 18446744073709551615 6043568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 22652 20586 587 984 0 21665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90608 [startup+6.30159 s] /proc/loadavg: 1.08 1.02 1.01 2/107 13980 /proc/meminfo: memFree=1593376/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=92196 CPUtime=6.29 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 26645 0 0 0 601 28 0 0 25 0 1 0 7643357 94408704 21027 1992294400 4194304 8223781 140735451730384 18446744073709551615 5427864 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 23049 21027 575 984 0 22062 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 92196 [startup+12.7013 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13980 /proc/meminfo: memFree=1587548/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=102232 CPUtime=12.68 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 33605 0 0 0 1232 36 0 0 25 0 1 0 7643357 104685568 23641 1992294400 4194304 8223781 140735451730384 18446744073709551615 6299585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 25558 23641 576 984 0 24571 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 102232 [startup+25.5007 s] /proc/loadavg: 1.06 1.01 1.00 2/107 13980 /proc/meminfo: memFree=1567088/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=116584 CPUtime=25.48 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 47004 0 0 0 2497 51 0 0 25 0 1 0 7643357 119382016 27550 1992294400 4194304 8223781 140735451730384 18446744073709551615 6591354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 29146 27550 565 984 0 28159 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 116584 [startup+51.1005 s] /proc/loadavg: 1.04 1.01 1.00 2/107 13980 /proc/meminfo: memFree=1559648/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=123584 CPUtime=51.07 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 69037 0 0 0 5032 75 0 0 25 0 1 0 7643357 126550016 29281 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 30896 29281 565 984 0 29909 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 123584 [startup+102.308 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13982 /proc/meminfo: memFree=1536956/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=147868 CPUtime=102.27 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 113846 0 0 0 10107 120 0 0 25 0 1 0 7643357 151416832 34901 1992294400 4194304 8223781 140735451730384 18446744073709551615 6447002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 36967 34901 579 984 0 35980 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 147868 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13984 /proc/meminfo: memFree=1515256/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=169392 CPUtime=162.24 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 156509 0 0 0 16062 162 0 0 25 0 1 0 7643357 173457408 40271 1992294400 4194304 8223781 140735451730384 18446744073709551615 6044215 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42348 40271 567 984 0 41361 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 169392 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13986 /proc/meminfo: memFree=1513644/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170664 CPUtime=222.22 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 186216 0 0 0 22020 202 0 0 25 0 1 0 7643357 174759936 40667 1992294400 4194304 8223781 140735451730384 18446744073709551615 6043570 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42666 40667 567 984 0 41679 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 170664 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13986 /proc/meminfo: memFree=1513892/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170488 CPUtime=282.21 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 210043 0 0 0 27985 236 0 0 25 0 1 0 7643357 174579712 40672 1992294400 4194304 8223781 140735451730384 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42622 40672 571 984 0 41635 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 170488 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13988 /proc/meminfo: memFree=1513024/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170812 CPUtime=342.19 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 230221 0 0 0 33951 268 0 0 25 0 1 0 7643357 174911488 40759 1992294400 4194304 8223781 140735451730384 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42703 40759 570 984 0 41716 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 170812 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13990 /proc/meminfo: memFree=1512900/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170608 CPUtime=402.18 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 250855 0 0 0 39917 301 0 0 25 0 1 0 7643357 174702592 40767 1992294400 4194304 8223781 140735451730384 18446744073709551615 6031605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42652 40767 567 984 0 41665 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 170608 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13992 /proc/meminfo: memFree=1512900/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170712 CPUtime=462.17 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 267449 0 0 0 45887 330 0 0 25 0 1 0 7643357 174809088 40778 1992294400 4194304 8223781 140735451730384 18446744073709551615 7073921 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42678 40778 567 984 0 41691 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 170712 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13994 /proc/meminfo: memFree=1512652/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=171380 CPUtime=522.15 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 284765 0 0 0 51859 356 0 0 25 0 1 0 7643357 175493120 40847 1992294400 4194304 8223781 140735451730384 18446744073709551615 4667230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42845 40847 568 984 0 41858 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 171380 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13994 /proc/meminfo: memFree=1512528/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170848 CPUtime=582.13 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 302328 0 0 0 57828 385 0 0 25 0 1 0 7643357 174948352 40831 1992294400 4194304 8223781 140735451730384 18446744073709551615 6047773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42712 40831 568 984 0 41725 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 170848 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13996 /proc/meminfo: memFree=1512280/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=170972 CPUtime=642.12 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 318317 0 0 0 63801 411 0 0 25 0 1 0 7643357 175075328 40864 1992294400 4194304 8223781 140735451730384 18446744073709551615 6044352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42743 40864 567 984 0 41756 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 170972 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14002 /proc/meminfo: memFree=1515132/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=168220 CPUtime=882.06 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 384583 0 0 0 87678 528 0 0 25 0 1 0 7643357 172257280 40173 1992294400 4194304 8223781 140735451730384 18446744073709551615 6568431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 42055 40173 575 984 0 41068 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 168220 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14004 /proc/meminfo: memFree=1515876/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=942.03 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 93466 737 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 166112 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14015 /proc/meminfo: memFree=1515132/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1002.01 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 99222 979 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 166112 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14017 /proc/meminfo: memFree=1515256/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1062 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 104973 1227 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 4350020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 166112 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14019 /proc/meminfo: memFree=1515256/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1121.98 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 110717 1481 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 166112 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14019 /proc/meminfo: memFree=1515256/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1181.97 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 116464 1733 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 166112 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14021 /proc/meminfo: memFree=1515256/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1241.94 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 122197 1997 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 166112 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14023 /proc/meminfo: memFree=1515008/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1301.94 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 127934 2260 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 166112 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14025 /proc/meminfo: memFree=1515008/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1361.91 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 133660 2531 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 166112 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14027 /proc/meminfo: memFree=1514884/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1421.9 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 139400 2790 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 5907591 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 166112 [startup+1482.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 14027 /proc/meminfo: memFree=1514760/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1481.89 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 145136 3053 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 166112 [startup+1542.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 14029 /proc/meminfo: memFree=1514760/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1541.87 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 150875 3312 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 166112 [startup+1602.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 14031 /proc/meminfo: memFree=1514760/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1601.85 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 156609 3576 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 166112 [startup+1662.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 14033 /proc/meminfo: memFree=1514636/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1661.84 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 162342 3842 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 166112 [startup+1722.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 14035 /proc/meminfo: memFree=1514388/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1721.82 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 168071 4111 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 166112 [startup+1782.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 14035 /proc/meminfo: memFree=1514140/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1781.8 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 173806 4374 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 166112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.10 1.05 1.00 2/107 14037 /proc/meminfo: memFree=1514140/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=166112 CPUtime=1800 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398381 0 0 0 175553 4447 0 0 25 0 1 0 7643357 170098688 39771 1992294400 4194304 8223781 140735451730384 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13979/statm: 41528 39771 581 984 0 40541 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 166112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.10 1.05 1.00 2/108 14038 /proc/meminfo: memFree=1525168/2059040 swapFree=4192956/4192956 [pid=13979] ppid=13977 vsize=154728 CPUtime=1800.11 /proc/13979/stat : 13979 (pbscip.linux.x8) R 13977 13979 13757 0 -1 4202496 398385 0 0 0 175564 4447 0 0 25 0 1 0 7643357 158441472 36997 1992294400 4194304 8223781 140735451730384 18446744073709551615 4997862 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13979/statm: 38682 36997 585 984 0 37695 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 154728 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.2 CPU user time (s): 1755.7 CPU system time (s): 44.4962 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 172080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1755.7 system time used= 44.4962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 398389 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= 2 involuntary context switches= 6759 runsolver used 3.09753 second user time and 8.41872 second system time The end
Begin job on node037 at 2010-06-16 06:45:05 IDJOB=2666696 IDBENCH=48209 IDSOLVER=1169 FILE ID=node037/2666696-1276663505 PBS_JOBID= 11172498 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2666696-1276663505/watcher-2666696-1276663505 -o /tmp/evaluation-result-2666696-1276663505/solver-2666696-1276663505 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666696-1276663505.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=797066121 node037.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.248 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.49 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.248 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.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1676124 kB Buffers: 86352 kB Cached: 158920 kB SwapCached: 0 kB Active: 131144 kB Inactive: 173632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1676124 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4880 kB Writeback: 0 kB AnonPages: 59500 kB Mapped: 15452 kB Slab: 56360 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180584 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= 62580 MiB End job on node037 at 2010-06-16 07:15:08