Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | -98 | 1800.27 | 1800.8 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb |
| MD5SUM | d847cf1d914db0ec942abd195c5092c7 |
| 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.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -124 |
| 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) | 31592 |
| Sum of products size (including duplicates) | 63184 |
| Number of different products | 15796 |
| Sum of products size | 31592 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665234-1276660067.opb>
0.19/0.20 c original problem has 16796 variables (16796 bin, 0 int, 0 impl, 0 cont) and 16796 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.39/0.42 o 0
0.39/0.42 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.42 c presolving:
0.89/0.90 c (round 1) 15796 del vars, 1000 del conss, 15796 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63184 impls, 0 clqs
1.10/1.15 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (2 rounds):
1.10/1.15 c 15796 deleted vars, 1000 deleted constraints, 15796 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 94776 implications, 0 cliques
1.10/1.15 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15796 constraints
1.10/1.15 c 15796 constraints of type <logicor>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.72
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.2
1.10/1.15 c
1.10/1.15 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c conflict/interconss = 0
1.10/1.15 c
1.10/1.15 c # should binary conflicts be preferred?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c conflict/preferbinary = TRUE
1.10/1.15 c
1.10/1.15 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 0]
1.10/1.15 c constraints/agelimit = 1
1.10/1.15 c
1.10/1.15 c # should enforcement of pseudo solution be disabled?
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/disableenfops = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1799.81
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 1]
1.10/1.15 c lp/solvefreq = 0
1.10/1.15 c
1.10/1.15 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.15 c # [type: char, range: {lafpsqd}, default: l]
1.10/1.15 c lp/pricing = a
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # priority of node selection rule <dfs> in standard mode
1.10/1.15 c # [type: int, range: [-536870912,536870911], default: 0]
1.10/1.15 c nodeselection/dfs/stdpriority = 1000000
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.29/1.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.29/1.39 c t 1.0s| 1 | 0 | 1092 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.39/1.48 o -1
1.39/1.48 c R 1.1s| 1 | 0 | 1092 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.49/1.57 o -2
1.49/1.57 c s 1.2s| 1 | 0 | 1092 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.10/2.16 c 1.8s| 1 | 0 | 1231 | - | 44M| 0 | 989 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | 99.60%
2.10/2.17 o -98
2.10/2.17 c b 1.8s| 1 | 0 | 1231 | - | 44M| 0 | 989 |1000 | 15k|1000 | 15k| 12 | 0 | 0 |-4.945000e+02 |-9.800000e+01 | 80.18%
2.79/2.90 c 2.5s| 1 | 0 | 1343 | - | 44M| 0 | 984 |1000 | 15k|1000 | 15k| 20 | 0 | 0 |-4.920000e+02 |-9.800000e+01 | 80.08%
3.59/3.62 c 3.2s| 1 | 0 | 1465 | - | 44M| 0 | 977 |1000 | 15k|1000 | 15k| 30 | 0 | 0 |-4.885000e+02 |-9.800000e+01 | 79.94%
4.49/4.55 c 4.1s| 1 | 0 | 1633 | - | 44M| 0 | 973 |1000 | 15k|1000 | 15k| 39 | 0 | 0 |-4.857500e+02 |-9.800000e+01 | 79.83%
5.99/6.02 c 5.6s| 1 | 0 | 2005 | - | 44M| 0 | 968 |1000 | 15k|1000 | 15k| 47 | 0 | 0 |-4.835000e+02 |-9.800000e+01 | 79.73%
7.60/7.68 c 7.2s| 1 | 0 | 2271 | - | 44M| 0 | 962 |1000 | 15k|1000 | 15k| 56 | 0 | 0 |-4.810000e+02 |-9.800000e+01 | 79.63%
10.08/10.17 c 9.7s| 1 | 0 | 2823 | - | 44M| 0 | 961 |1000 | 15k|1000 | 15k| 65 | 0 | 0 |-4.792500e+02 |-9.800000e+01 | 79.55%
11.89/11.90 c 11.4s| 1 | 0 | 3133 | - | 44M| 0 | 957 |1000 | 15k|1000 | 15k| 75 | 0 | 0 |-4.775000e+02 |-9.800000e+01 | 79.48%
14.09/14.17 c 13.7s| 1 | 0 | 3669 | - | 44M| 0 | 951 |1000 | 15k|1000 | 15k| 91 | 0 | 0 |-4.740000e+02 |-9.800000e+01 | 79.32%
17.39/17.47 c 16.9s| 1 | 0 | 4289 | - | 47M| 0 | 948 |1000 | 15k|1000 | 15k| 100 | 0 | 0 |-4.725000e+02 |-9.800000e+01 | 79.26%
19.69/19.76 c 19.2s| 1 | 0 | 5047 | - | 47M| 0 | 943 |1000 | 15k|1000 |1397 | 107 | 0 | 0 |-4.707500e+02 |-9.800000e+01 | 79.18%
20.49/20.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.49/20.51 c 19.9s| 1 | 0 | 5789 | - | 47M| 0 | 923 |1000 | 15k|1000 |1411 | 121 | 0 | 0 |-4.690000e+02 |-9.800000e+01 | 79.10%
21.29/21.35 c 20.8s| 1 | 0 | 6563 | - | 48M| 0 | 912 |1000 | 15k|1000 |1891 | 601 | 0 | 0 |-4.670000e+02 |-9.800000e+01 | 79.01%
22.18/22.27 c 21.7s| 1 | 0 | 7494 | - | 48M| 0 | 942 |1000 | 15k|1000 |2161 | 871 | 0 | 0 |-4.650000e+02 |-9.800000e+01 | 78.92%
22.99/23.10 c 22.5s| 1 | 0 | 8239 | - | 48M| 0 | 915 |1000 | 15k|1000 |2442 |1152 | 0 | 0 |-4.635000e+02 |-9.800000e+01 | 78.86%
24.48/24.56 c 24.0s| 1 | 0 | 9711 | - | 48M| 0 | 967 |1000 | 15k|1000 |2609 |1319 | 0 | 0 |-4.618462e+02 |-9.800000e+01 | 78.78%
27.78/27.87 c 27.3s| 1 | 0 | 10219 | - | 50M| 0 | 930 |1000 | 15k|1000 |4237 |3319 | 0 | 0 |-4.615000e+02 |-9.800000e+01 | 78.76%
28.69/28.71 c 28.1s| 1 | 0 | 10885 | - | 50M| 0 | 922 |1000 | 15k|1000 |4246 |3328 | 0 | 0 |-4.600000e+02 |-9.800000e+01 | 78.70%
30.58/30.61 c 30.0s| 1 | 0 | 12536 | - | 50M| 0 | 918 |1000 | 15k|1000 |4256 |3338 | 0 | 0 |-4.580000e+02 |-9.800000e+01 | 78.60%
31.68/31.70 c 31.1s| 1 | 0 | 13472 | - | 50M| 0 | 915 |1000 | 15k|1000 |4289 |3371 | 0 | 0 |-4.565000e+02 |-9.800000e+01 | 78.53%
33.48/33.55 c 32.9s| 1 | 0 | 14842 | - | 50M| 0 | 910 |1000 | 15k|1000 |4318 |3400 | 0 | 0 |-4.547143e+02 |-9.800000e+01 | 78.45%
34.48/34.54 c 33.9s| 1 | 0 | 15825 | - | 50M| 0 | 921 |1000 | 15k|1000 |4347 |3429 | 0 | 0 |-4.525000e+02 |-9.800000e+01 | 78.34%
36.48/36.52 c 35.8s| 1 | 0 | 17494 | - | 50M| 0 | 903 |1000 | 15k|1000 |3862 |3628 | 0 | 0 |-4.505000e+02 |-9.800000e+01 | 78.25%
38.18/38.23 c 37.5s| 1 | 0 | 18876 | - | 50M| 0 | 898 |1000 | 15k|1000 |3964 |3730 | 0 | 0 |-4.480000e+02 |-9.800000e+01 | 78.12%
39.59/39.65 c 38.9s| 1 | 0 | 20107 | - | 51M| 0 | 894 |1000 | 15k|1000 |4108 |3874 | 0 | 0 |-4.460000e+02 |-9.800000e+01 | 78.03%
40.88/40.90 c 40.2s| 1 | 0 | 21073 | - | 51M| 0 | 888 |1000 | 15k|1000 |4225 |3991 | 0 | 0 |-4.450000e+02 |-9.800000e+01 | 77.98%
42.89/42.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.89/42.95 c 42.2s| 1 | 0 | 23018 | - | 51M| 0 | 886 |1000 | 15k|1000 |4266 |4032 | 0 | 0 |-4.425000e+02 |-9.800000e+01 | 77.85%
45.98/46.05 c 45.3s| 1 | 0 | 25515 | - | 51M| 0 | 870 |1000 | 15k|1000 |4276 |4042 | 0 | 0 |-4.410000e+02 |-9.800000e+01 | 77.78%
47.29/47.38 c 46.6s| 1 | 0 | 26616 | - | 51M| 0 | 875 |1000 | 15k|1000 |2002 |4177 | 0 | 0 |-4.395000e+02 |-9.800000e+01 | 77.70%
48.38/48.41 c 47.6s| 1 | 0 | 27669 | - | 51M| 0 | 884 |1000 | 15k|1000 |2099 |4274 | 0 | 0 |-4.386667e+02 |-9.800000e+01 | 77.66%
49.98/50.04 c 49.2s| 1 | 0 | 29133 | - | 52M| 0 | 860 |1000 | 15k|1000 |2775 |4950 | 0 | 0 |-4.380000e+02 |-9.800000e+01 | 77.63%
52.08/52.14 c 51.3s| 1 | 0 | 31046 | - | 52M| 0 | 877 |1000 | 15k|1000 |2972 |5147 | 0 | 0 |-4.372500e+02 |-9.800000e+01 | 77.59%
53.68/53.79 c 52.9s| 1 | 0 | 32448 | - | 52M| 0 | 871 |1000 | 15k|1000 |3055 |5230 | 0 | 0 |-4.355000e+02 |-9.800000e+01 | 77.50%
54.77/54.84 c 54.0s| 1 | 0 | 33411 | - | 52M| 0 | 869 |1000 | 15k|1000 |3064 |5239 | 0 | 0 |-4.340000e+02 |-9.800000e+01 | 77.42%
56.47/56.57 c 55.7s| 1 | 0 | 35169 | - | 52M| 0 | 866 |1000 | 15k|1000 |2329 |5251 | 0 | 0 |-4.322500e+02 |-9.800000e+01 | 77.33%
57.47/57.54 c 56.6s| 1 | 0 | 36266 | - | 52M| 0 | 859 |1000 | 15k|1000 |2418 |5340 | 0 | 0 |-4.307500e+02 |-9.800000e+01 | 77.25%
58.37/58.40 c 57.5s| 1 | 0 | 37239 | - | 52M| 0 | 865 |1000 | 15k|1000 |2618 |5540 | 0 | 0 |-4.290000e+02 |-9.800000e+01 | 77.16%
59.77/59.87 c 58.9s| 1 | 0 | 38915 | - | 52M| 0 | 853 |1000 | 15k|1000 |2669 |5591 | 0 | 0 |-4.275000e+02 |-9.800000e+01 | 77.08%
61.17/61.28 c 60.3s| 1 | 0 | 40566 | - | 52M| 0 | 926 |1000 | 15k|1000 |2699 |5621 | 0 | 0 |-4.268463e+02 |-9.800000e+01 | 77.04%
63.47/63.55 c 62.6s| 1 | 0 | 41129 | - | 52M| 0 | 853 |1000 | 15k|1000 |4699 |7621 | 0 | 0 |-4.265000e+02 |-9.800000e+01 | 77.02%
65.08/65.14 c 64.2s| 1 | 0 | 42051 | - | 53M| 0 | 847 |1000 | 15k|1000 |3770 |7629 | 0 | 0 |-4.245000e+02 |-9.800000e+01 | 76.91%
66.87/66.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.87/66.93 c 65.9s| 1 | 0 | 43684 | - | 53M| 0 | 850 |1000 | 15k|1000 |3801 |7660 | 0 | 0 |-4.235000e+02 |-9.800000e+01 | 76.86%
68.37/68.49 c 67.5s| 1 | 0 | 45099 | - | 53M| 0 | 835 |1000 | 15k|1000 |3853 |7712 | 0 | 0 |-4.225000e+02 |-9.800000e+01 | 76.80%
71.07/71.16 c 70.1s| 1 | 0 | 47364 | - | 53M| 0 | 860 |1000 | 15k|1000 |3996 |7855 | 0 | 0 |-4.210000e+02 |-9.800000e+01 | 76.72%
73.37/73.48 c 72.4s| 1 | 0 | 49440 | - | 54M| 0 | 865 |1000 | 15k|1000 |4111 |7970 | 0 | 0 |-4.185000e+02 |-9.800000e+01 | 76.58%
74.97/75.08 c 74.0s| 1 | 0 | 50751 | - | 54M| 0 | 860 |1000 | 15k|1000 |4260 |8119 | 0 | 0 |-4.180000e+02 |-9.800000e+01 | 76.56%
78.08/78.14 c 77.0s| 1 | 0 | 53045 | - | 54M| 0 | 825 |1000 | 15k|1000 |3712 |8286 | 0 | 0 |-4.165000e+02 |-9.800000e+01 | 76.47%
79.08/79.12 c 78.0s| 1 | 0 | 54030 | - | 54M| 0 | 864 |1000 | 15k|1000 |3854 |8428 | 0 | 0 |-4.152209e+02 |-9.800000e+01 | 76.40%
79.87/79.97 c 78.8s| 1 | 0 | 54812 | - | 55M| 0 | 845 |1000 | 15k|1000 |4227 |8801 | 0 | 0 |-4.147500e+02 |-9.800000e+01 | 76.37%
81.97/82.05 c 80.9s| 1 | 0 | 56602 | - | 55M| 0 | 833 |1000 | 15k|1000 |4258 |8832 | 0 | 0 |-4.142193e+02 |-9.800000e+01 | 76.34%
83.07/83.17 c 82.0s| 1 | 0 | 57735 | - | 55M| 0 | 848 |1000 | 15k|1000 |4326 |8900 | 0 | 0 |-4.130000e+02 |-9.800000e+01 | 76.27%
84.77/84.84 c 83.7s| 1 | 0 | 59169 | - | 56M| 0 | 845 |1000 | 15k|1000 |4565 |9139 | 0 | 0 |-4.121000e+02 |-9.800000e+01 | 76.22%
86.17/86.26 c 85.1s| 1 | 0 | 60238 | - | 56M| 0 | 839 |1000 | 15k|1000 |4256 |9225 | 0 | 0 |-4.110000e+02 |-9.800000e+01 | 76.16%
87.66/87.72 c 86.5s| 1 | 0 | 61396 | - | 57M| 0 | 823 |1000 | 15k|1000 |4399 |9368 | 0 | 0 |-4.090000e+02 |-9.800000e+01 | 76.04%
89.17/89.22 c 88.0s| 1 | 0 | 62473 | - | 57M| 0 | 852 |1000 | 15k|1000 |4490 |9459 | 0 | 0 |-4.082500e+02 |-9.800000e+01 | 76.00%
91.76/91.84 c 90.6s| 1 | 0 | 64424 | - | 57M| 0 | 818 |1000 | 15k|1000 |4562 |9531 | 0 | 0 |-4.065000e+02 |-9.800000e+01 | 75.89%
94.57/94.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
94.57/94.66 c 93.4s| 1 | 0 | 66288 | - | 58M| 0 | 826 |1000 | 15k|1000 |4592 |9561 | 0 | 0 |-4.060000e+02 |-9.800000e+01 | 75.86%
97.66/97.74 c 96.4s| 1 | 0 | 68184 | - | 58M| 0 | 830 |1000 | 15k|1000 |4618 |9587 | 0 | 0 |-4.055000e+02 |-9.800000e+01 | 75.83%
101.36/101.40 c 100s| 1 | 0 | 70725 | - | 58M| 0 | 922 |1000 | 15k|1000 |3934 |9631 | 0 | 0 |-4.045190e+02 |-9.800000e+01 | 75.77%
103.87/103.94 c 103s| 1 | 0 | 72121 | - | 58M| 0 | 811 |1000 | 15k|1000 |5349 | 11k| 0 | 0 |-4.045000e+02 |-9.800000e+01 | 75.77%
107.56/107.67 c 106s| 1 | 0 | 74040 | - | 59M| 0 | 810 |1000 | 15k|1000 |5358 | 11k| 0 | 0 |-4.040000e+02 |-9.800000e+01 | 75.74%
111.96/112.02 c 111s| 1 | 0 | 76694 | - | 59M| 0 | 805 |1000 | 15k|1000 |5366 | 11k| 0 | 0 |-4.035000e+02 |-9.800000e+01 | 75.71%
115.15/115.28 c 114s| 1 | 0 | 78634 | - | 60M| 0 | 805 |1000 | 15k|1000 |5392 | 11k| 0 | 0 |-4.023226e+02 |-9.800000e+01 | 75.64%
118.76/118.82 c 117s| 1 | 0 | 81139 | - | 60M| 0 | 820 |1000 | 15k|1000 |5426 | 11k| 0 | 0 |-4.015000e+02 |-9.800000e+01 | 75.59%
121.75/121.83 c 120s| 1 | 0 | 82902 | - | 60M| 0 | 821 |1000 | 15k|1000 |4870 | 11k| 0 | 0 |-4.010000e+02 |-9.800000e+01 | 75.56%
124.85/124.94 c 123s| 1 | 0 | 84945 | - | 60M| 0 | 825 |1000 | 15k|1000 |4908 | 11k| 0 | 0 |-4.002500e+02 |-9.800000e+01 | 75.52%
126.95/127.01 c 125s| 1 | 0 | 86355 | - | 60M| 0 | 820 |1000 | 15k|1000 |4949 | 11k| 0 | 0 |-3.987500e+02 |-9.800000e+01 | 75.42%
129.05/129.19 c 128s| 1 | 0 | 87852 | - | 60M| 0 | 824 |1000 | 15k|1000 |5007 | 11k| 0 | 0 |-3.977500e+02 |-9.800000e+01 | 75.36%
130.65/130.71 c 129s| 1 | 0 | 88799 | - | 60M| 0 | 801 |1000 | 15k|1000 |5042 | 11k| 0 | 0 |-3.975000e+02 |-9.800000e+01 | 75.35%
134.16/134.27 c 133s| 1 | 0 | 90787 | - | 61M| 0 | 811 |1000 | 15k|1000 |5113 | 11k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
138.15/138.22 c 137s| 1 | 0 | 92999 | - | 61M| 0 | 792 |1000 | 15k|1000 |4197 | 11k| 0 | 0 |-3.970000e+02 |-9.800000e+01 | 75.31%
141.04/141.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.04/141.18 c 139s| 1 | 0 | 95383 | - | 61M| 0 | 840 |1000 | 15k|1000 |4301 | 11k| 0 | 0 |-3.963750e+02 |-9.800000e+01 | 75.28%
143.05/143.16 c 141s| 1 | 0 | 97178 | - | 61M| 0 | 832 |1000 | 15k|1000 |4370 | 11k| 0 | 0 |-3.955000e+02 |-9.800000e+01 | 75.22%
144.45/144.54 c 143s| 1 | 0 | 98516 | - | 62M| 0 | 816 |1000 | 15k|1000 |4490 | 11k| 0 | 0 |-3.937500e+02 |-9.800000e+01 | 75.11%
146.05/146.14 c 144s| 1 | 0 |100241 | - | 62M| 0 | 824 |1000 | 15k|1000 |4502 | 11k| 0 | 0 |-3.927500e+02 |-9.800000e+01 | 75.05%
148.14/148.23 c 146s| 1 | 0 |102017 | - | 62M| 0 | 843 |1000 | 15k|1000 |4538 | 11k| 0 | 0 |-3.917500e+02 |-9.800000e+01 | 74.98%
151.05/151.14 c 149s| 1 | 0 |104371 | - | 62M| 0 | 818 |1000 | 15k|1000 |4333 | 11k| 0 | 0 |-3.912500e+02 |-9.800000e+01 | 74.95%
153.34/153.48 c 152s| 1 | 0 |106652 | - | 63M| 0 | 869 |1000 | 15k|1000 |4385 | 11k| 0 | 0 |-3.903375e+02 |-9.800000e+01 | 74.89%
155.35/155.43 c 153s| 1 | 0 |108405 | - | 65M| 0 | 864 |1000 | 15k|1000 |4517 | 12k| 0 | 0 |-3.893148e+02 |-9.800000e+01 | 74.83%
157.04/157.17 c 155s| 1 | 0 |109805 | - | 65M| 0 | 859 |1000 | 15k|1000 |4648 | 12k| 0 | 0 |-3.882045e+02 |-9.800000e+01 | 74.76%
158.54/158.63 c 157s| 1 | 0 |111075 | - | 66M| 0 | 777 |1000 | 15k|1000 |4685 | 12k| 0 | 0 |-3.872500e+02 |-9.800000e+01 | 74.69%
159.65/159.79 c 158s| 1 | 0 |111935 | - | 67M| 0 | 847 |1000 | 15k|1000 |4710 | 12k| 0 | 0 |-3.864583e+02 |-9.800000e+01 | 74.64%
162.04/162.10 c 160s| 1 | 0 |114066 | - | 68M| 0 | 866 |1000 | 15k|1000 |4582 | 12k| 0 | 0 |-3.851349e+02 |-9.800000e+01 | 74.55%
163.64/163.78 c 162s| 1 | 0 |115630 | - | 69M| 0 | 845 |1000 | 15k|1000 |4778 | 12k| 0 | 0 |-3.835417e+02 |-9.800000e+01 | 74.45%
165.35/165.45 c 163s| 1 | 0 |117079 | - | 70M| 0 | 877 |1000 | 15k|1000 |4870 | 12k| 0 | 0 |-3.818161e+02 |-9.800000e+01 | 74.33%
168.15/168.23 c 166s| 1 | 0 |119206 | - | 72M| 0 | 832 |1000 | 15k|1000 |4976 | 12k| 0 | 0 |-3.804688e+02 |-9.800000e+01 | 74.24%
169.84/169.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
169.84/169.98 c 168s| 1 | 0 |120732 | - | 73M| 0 | 880 |1000 | 15k|1000 |5036 | 12k| 0 | 0 |-3.793200e+02 |-9.800000e+01 | 74.16%
171.34/171.48 c 169s| 1 | 0 |121821 | - | 73M| 0 | 884 |1000 | 15k|1000 |5084 | 12k| 0 | 0 |-3.785699e+02 |-9.800000e+01 | 74.11%
173.34/173.44 c 171s| 1 | 0 |123344 | - | 74M| 0 | 897 |1000 | 15k|1000 |4882 | 12k| 0 | 0 |-3.784199e+02 |-9.800000e+01 | 74.10%
175.64/175.78 c 174s| 1 | 0 |125166 | - | 75M| 0 | 907 |1000 | 15k|1000 |5001 | 12k| 0 | 0 |-3.773730e+02 |-9.800000e+01 | 74.03%
178.14/178.22 c 176s| 1 | 0 |127017 | - | 76M| 0 | 855 |1000 | 15k|1000 |5180 | 13k| 0 | 0 |-3.760000e+02 |-9.800000e+01 | 73.94%
181.44/181.58 c 179s| 1 | 0 |129434 | - | 77M| 0 | 899 |1000 | 15k|1000 |5276 | 13k| 0 | 0 |-3.750540e+02 |-9.800000e+01 | 73.87%
183.34/183.49 c 181s| 1 | 0 |131015 | - | 78M| 0 | 909 |1000 | 15k|1000 |5334 | 13k| 0 | 0 |-3.744792e+02 |-9.800000e+01 | 73.83%
185.63/185.73 c 183s| 1 | 0 |132806 | - | 80M| 0 | 915 |1000 | 15k|1000 |5370 | 13k| 0 | 0 |-3.735238e+02 |-9.800000e+01 | 73.76%
187.95/188.08 c 186s| 1 | 0 |134637 | - | 83M| 0 | 901 |1000 | 15k|1000 |5165 | 13k| 0 | 0 |-3.722014e+02 |-9.800000e+01 | 73.67%
190.34/190.40 c 188s| 1 | 0 |136729 | - | 84M| 0 | 897 |1000 | 15k|1000 |5312 | 13k| 0 | 0 |-3.716955e+02 |-9.800000e+01 | 73.63%
192.53/192.68 c 190s| 1 | 0 |138857 | - | 86M| 0 | 903 |1000 | 15k|1000 |5381 | 13k| 0 | 0 |-3.711197e+02 |-9.800000e+01 | 73.59%
194.64/194.75 c 192s| 1 | 0 |140466 | - | 87M| 0 | 899 |1000 | 15k|1000 |5441 | 13k| 0 | 0 |-3.708790e+02 |-9.800000e+01 | 73.58%
197.14/197.28 c 195s| 1 | 0 |142252 | - | 89M| 0 | 890 |1000 | 15k|1000 |5453 | 13k| 0 | 0 |-3.697866e+02 |-9.800000e+01 | 73.50%
199.14/199.26 c 197s| 1 | 0 |143801 | - | 91M| 0 | 915 |1000 | 15k|1000 |5481 | 13k| 0 | 0 |-3.689343e+02 |-9.800000e+01 | 73.44%
201.93/202.09 c 200s| 1 | 0 |145925 | - | 94M| 0 | 913 |1000 | 15k|1000 |5217 | 13k| 0 | 0 |-3.679019e+02 |-9.800000e+01 | 73.36%
203.93/204.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.93/204.09 c 202s| 1 | 0 |147393 | - | 96M| 0 | 927 |1000 | 15k|1000 |5280 | 13k| 0 | 0 |-3.675500e+02 |-9.800000e+01 | 73.34%
206.53/206.63 c 204s| 1 | 0 |149092 | - | 100M| 0 | 907 |1000 | 15k|1000 |5362 | 13k| 0 | 0 |-3.668892e+02 |-9.800000e+01 | 73.29%
209.43/209.52 c 207s| 1 | 0 |150655 | - | 101M| 0 | 923 |1000 | 15k|1000 |5378 | 14k| 0 | 0 |-3.664600e+02 |-9.800000e+01 | 73.26%
212.93/213.01 c 210s| 1 | 0 |152541 | - | 101M| 0 | 933 |1000 | 15k|1000 |5392 | 14k| 0 | 0 |-3.653787e+02 |-9.800000e+01 | 73.18%
216.03/216.18 c 214s| 1 | 0 |154150 | - | 101M| 0 | 922 |1000 | 15k|1000 |5534 | 14k| 0 | 0 |-3.645658e+02 |-9.800000e+01 | 73.12%
219.03/219.19 c 217s| 1 | 0 |155690 | - | 101M| 0 | 929 |1000 | 15k|1000 |5325 | 14k| 0 | 0 |-3.638642e+02 |-9.800000e+01 | 73.07%
222.23/222.39 c 220s| 1 | 0 |157086 | - | 101M| 0 | 930 |1000 | 15k|1000 |5377 | 14k| 0 | 0 |-3.627778e+02 |-9.800000e+01 | 72.99%
224.93/225.05 c 222s| 1 | 0 |158873 | - | 103M| 0 | 934 |1000 | 15k|1000 |5405 | 14k| 0 | 0 |-3.619923e+02 |-9.800000e+01 | 72.93%
227.72/227.86 c 225s| 1 | 0 |160275 | - | 103M| 0 | 935 |1000 | 15k|1000 |5431 | 14k| 0 | 0 |-3.615786e+02 |-9.800000e+01 | 72.90%
231.73/231.87 c 229s| 1 | 0 |162451 | - | 101M| 0 | 949 |1000 | 15k|1000 |5467 | 14k| 0 | 0 |-3.602802e+02 |-9.800000e+01 | 72.80%
236.21/236.33 c 234s| 1 | 0 |164143 | - | 101M| 0 | 947 |1000 | 15k|1000 |5578 | 14k| 0 | 0 |-3.596193e+02 |-9.800000e+01 | 72.75%
240.11/240.26 c 237s| 1 | 0 |165620 | - | 100M| 0 | 950 |1000 | 15k|1000 |5410 | 14k| 0 | 0 |-3.589154e+02 |-9.800000e+01 | 72.70%
244.61/244.76 c 242s| 1 | 0 |167771 | - | 101M| 0 | 957 |1000 | 15k|1000 |5442 | 14k| 0 | 0 |-3.579400e+02 |-9.800000e+01 | 72.62%
249.31/249.48 c 247s| 1 | 0 |169779 | - | 101M| 0 | 958 |1000 | 15k|1000 |5550 | 14k| 0 | 0 |-3.570674e+02 |-9.800000e+01 | 72.55%
254.21/254.38 c 251s| 1 | 0 |171959 | - | 101M| 0 | 951 |1000 | 15k|1000 |5590 | 14k| 0 | 0 |-3.561322e+02 |-9.800000e+01 | 72.48%
258.91/259.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
258.91/259.07 c 256s| 1 | 0 |173897 | - | 100M| 0 | 956 |1000 | 15k|1000 |5611 | 14k| 0 | 0 |-3.553225e+02 |-9.800000e+01 | 72.42%
264.20/264.36 c 261s| 1 | 0 |176049 | - | 100M| 0 | 959 |1000 | 15k|1000 |5702 | 14k| 0 | 0 |-3.543762e+02 |-9.800000e+01 | 72.35%
270.42/270.59 c 268s| 1 | 0 |178779 | - | 100M| 0 | 954 |1000 | 15k|1000 |5640 | 14k| 0 | 0 |-3.529102e+02 |-9.800000e+01 | 72.23%
275.21/275.31 c 272s| 1 | 0 |181137 | - | 100M| 0 | 957 |1000 | 15k|1000 |5671 | 14k| 0 | 0 |-3.519428e+02 |-9.800000e+01 | 72.15%
279.50/279.69 c 277s| 1 | 0 |182509 | - | 100M| 0 | 971 |1000 | 15k|1000 |5777 | 14k| 0 | 0 |-3.514526e+02 |-9.800000e+01 | 72.12%
284.10/284.26 c 281s| 1 | 0 |183713 | - | 100M| 0 | 953 |1000 | 15k|1000 |5843 | 15k| 0 | 0 |-3.511210e+02 |-9.800000e+01 | 72.09%
288.80/288.99 c 286s| 1 | 0 |185242 | - | 100M| 0 | 966 |1000 | 15k|1000 |5865 | 15k| 0 | 0 |-3.507980e+02 |-9.800000e+01 | 72.06%
294.19/294.35 c 291s| 1 | 0 |186886 | - | 100M| 0 | 966 |1000 | 15k|1000 |5919 | 15k| 0 | 0 |-3.503339e+02 |-9.800000e+01 | 72.03%
299.90/300.08 c 297s| 1 | 0 |188815 | - | 100M| 0 | 982 |1000 | 15k|1000 |5801 | 15k| 0 | 0 |-3.498462e+02 |-9.800000e+01 | 71.99%
306.00/306.14 c 303s| 1 | 0 |191038 | - | 100M| 0 | 957 |1000 | 15k|1000 |5939 | 15k| 0 | 0 |-3.488785e+02 |-9.800000e+01 | 71.91%
311.50/311.68 c 308s| 1 | 0 |192889 | - | 100M| 0 | 965 |1000 | 15k|1000 |6016 | 15k| 0 | 0 |-3.482201e+02 |-9.800000e+01 | 71.86%
316.89/317.00 c 314s| 1 | 0 |194344 | - | 100M| 0 | 973 |1000 | 15k|1000 |6072 | 15k| 0 | 0 |-3.477915e+02 |-9.800000e+01 | 71.82%
322.79/322.93 c 320s| 1 | 0 |196403 | - | 100M| 0 | 983 |1000 | 15k|1000 |6108 | 15k| 0 | 0 |-3.471315e+02 |-9.800000e+01 | 71.77%
328.49/328.61 c 325s| 1 | 0 |197898 | - | 99M| 0 | 976 |1000 | 15k|1000 |6125 | 15k| 0 | 0 |-3.468087e+02 |-9.800000e+01 | 71.74%
334.89/335.02 c 332s| 1 | 0 |199815 | - | 99M| 0 | 971 |1000 | 15k|1000 |6012 | 15k| 0 | 0 |-3.463442e+02 |-9.800000e+01 | 71.70%
341.68/341.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.68/341.82 c 338s| 1 | 0 |202131 | - | 99M| 0 | 969 |1000 | 15k|1000 |6057 | 15k| 0 | 0 |-3.456735e+02 |-9.800000e+01 | 71.65%
347.88/348.04 c 345s| 1 | 0 |203794 | - | 99M| 0 | 978 |1000 | 15k|1000 |6085 | 15k| 0 | 0 |-3.452282e+02 |-9.800000e+01 | 71.61%
354.78/354.98 c 351s| 1 | 0 |205831 | - | 99M| 0 | 979 |1000 | 15k|1000 |6144 | 15k| 0 | 0 |-3.445961e+02 |-9.800000e+01 | 71.56%
362.88/363.07 c 359s| 1 | 0 |208497 | - | 99M| 0 | 987 |1000 | 15k|1000 |6256 | 15k| 0 | 0 |-3.436509e+02 |-9.800000e+01 | 71.48%
370.17/370.38 c 367s| 1 | 0 |210520 | - | 98M| 0 | 985 |1000 | 15k|1000 |6319 | 15k| 0 | 0 |-3.431647e+02 |-9.800000e+01 | 71.44%
378.18/378.38 c 375s| 1 | 0 |212986 | - | 98M| 0 | 990 |1000 | 15k|1000 |6222 | 15k| 0 | 0 |-3.418738e+02 |-9.800000e+01 | 71.33%
386.18/386.37 c 383s| 1 | 0 |215161 | - | 98M| 0 | 987 |1000 | 15k|1000 |6262 | 15k| 0 | 0 |-3.412610e+02 |-9.800000e+01 | 71.28%
393.07/393.23 c 389s| 1 | 0 |216571 | - | 98M| 0 | 986 |1000 | 15k|1000 |6286 | 15k| 0 | 0 |-3.409116e+02 |-9.800000e+01 | 71.25%
400.77/400.95 c 397s| 1 | 0 |218422 | - | 98M| 0 | 989 |1000 | 15k|1000 |6313 | 15k| 0 | 0 |-3.403560e+02 |-9.800000e+01 | 71.21%
409.07/409.25 c 405s| 1 | 0 |220662 | - | 98M| 0 | 990 |1000 | 15k|1000 |6372 | 15k| 0 | 0 |-3.396500e+02 |-9.800000e+01 | 71.15%
416.27/416.46 c 413s| 1 | 0 |222010 | - | 98M| 0 | 993 |1000 | 15k|1000 |6395 | 16k| 0 | 0 |-3.392687e+02 |-9.800000e+01 | 71.11%
423.96/424.11 c 420s| 1 | 0 |223589 | - | 97M| 0 | 990 |1000 | 15k|1000 |6325 | 16k| 0 | 0 |-3.388804e+02 |-9.800000e+01 | 71.08%
431.56/431.71 c 428s| 1 | 0 |225014 | - | 97M| 0 | 990 |1000 | 15k|1000 |6354 | 16k| 0 | 0 |-3.383167e+02 |-9.800000e+01 | 71.03%
439.16/439.30 c 435s| 1 | 0 |226234 | - | 97M| 0 | 992 |1000 | 15k|1000 |6391 | 16k| 0 | 0 |-3.380090e+02 |-9.800000e+01 | 71.01%
446.96/447.18 c 443s| 1 | 0 |227590 | - | 97M| 0 | 991 |1000 | 15k|1000 |6428 | 16k| 0 | 0 |-3.375659e+02 |-9.800000e+01 | 70.97%
456.15/456.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
456.15/456.33 c 452s| 1 | 0 |229775 | - | 97M| 0 | 989 |1000 | 15k|1000 |6465 | 16k| 0 | 0 |-3.367988e+02 |-9.800000e+01 | 70.90%
464.45/464.63 c 460s| 1 | 0 |231506 | - | 97M| 0 | 992 |1000 | 15k|1000 |6527 | 16k| 0 | 0 |-3.363333e+02 |-9.800000e+01 | 70.86%
472.75/472.96 c 469s| 1 | 0 |233274 | - | 96M| 0 | 992 |1000 | 15k|1000 |6476 | 16k| 0 | 0 |-3.357542e+02 |-9.800000e+01 | 70.81%
481.35/481.55 c 477s| 1 | 0 |235275 | - | 96M| 0 | 984 |1000 | 15k|1000 |6507 | 16k| 0 | 0 |-3.351002e+02 |-9.800000e+01 | 70.76%
489.14/489.30 c 485s| 1 | 0 |236674 | - | 96M| 0 | 992 |1000 | 15k|1000 |6537 | 16k| 0 | 0 |-3.345907e+02 |-9.800000e+01 | 70.71%
497.75/498.00 c 494s| 1 | 0 |238433 | - | 95M| 0 | 993 |1000 | 15k|1000 |6577 | 16k| 0 | 0 |-3.339544e+02 |-9.800000e+01 | 70.65%
506.74/506.91 c 502s| 1 | 0 |240144 | - | 95M| 0 | 991 |1000 | 15k|1000 |6603 | 16k| 0 | 0 |-3.332006e+02 |-9.800000e+01 | 70.59%
515.65/515.81 c 511s| 1 | 0 |241812 | - | 95M| 0 | 990 |1000 | 15k|1000 |6631 | 16k| 0 | 0 |-3.325840e+02 |-9.800000e+01 | 70.53%
524.04/524.23 c 520s| 1 | 0 |243344 | - | 94M| 0 | 992 |1000 | 15k|1000 |6584 | 16k| 0 | 0 |-3.322042e+02 |-9.800000e+01 | 70.50%
532.34/532.50 c 528s| 1 | 0 |244653 | - | 94M| 0 | 994 |1000 | 15k|1000 |6607 | 16k| 0 | 0 |-3.317189e+02 |-9.800000e+01 | 70.46%
540.53/540.72 c 536s| 1 | 0 |245993 | - | 94M| 0 | 992 |1000 | 15k|1000 |6629 | 16k| 0 | 0 |-3.310795e+02 |-9.800000e+01 | 70.40%
549.23/549.41 c 545s| 1 | 0 |247559 | - | 93M| 0 | 995 |1000 | 15k|1000 |6654 | 16k| 0 | 0 |-3.304933e+02 |-9.800000e+01 | 70.35%
556.82/557.09 c 552s| 1 | 0 |248586 | - | 93M| 0 | 995 |1000 | 15k|1000 |6681 | 16k| 0 | 0 |-3.301740e+02 |-9.800000e+01 | 70.32%
565.63/565.80 c 561s| 1 | 0 |250091 | - | 93M| 0 | 993 |1000 | 15k|1000 |6707 | 16k| 0 | 0 |-3.294023e+02 |-9.800000e+01 | 70.25%
573.83/574.01 c 569s| 1 | 0 |251476 | - | 93M| 0 | 990 |1000 | 15k|1000 |6639 | 16k| 0 | 0 |-3.287817e+02 |-9.800000e+01 | 70.19%
582.32/582.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
582.32/582.54 c 578s| 1 | 0 |253191 | - | 93M| 0 | 991 |1000 | 15k|1000 |6679 | 16k| 0 | 0 |-3.282279e+02 |-9.800000e+01 | 70.14%
589.92/590.17 c 585s| 1 | 0 |254173 | - | 93M| 0 | 992 |1000 | 15k|1000 |6694 | 16k| 0 | 0 |-3.279451e+02 |-9.800000e+01 | 70.12%
597.71/597.91 c 593s| 1 | 0 |255299 | - | 92M| 0 | 993 |1000 | 15k|1000 |6712 | 16k| 0 | 0 |-3.276483e+02 |-9.800000e+01 | 70.09%
605.61/605.85 c 601s| 1 | 0 |256564 | - | 92M| 0 | 993 |1000 | 15k|1000 |6735 | 16k| 0 | 0 |-3.272488e+02 |-9.800000e+01 | 70.05%
613.01/613.28 c 608s| 1 | 0 |257508 | - | 91M| 0 | 994 |1000 | 15k|1000 |6754 | 16k| 0 | 0 |-3.270037e+02 |-9.800000e+01 | 70.03%
620.31/620.55 c 616s| 1 | 0 |258227 | - | 91M| 0 | 993 |1000 | 15k|1000 |6688 | 16k| 0 | 0 |-3.268210e+02 |-9.800000e+01 | 70.01%
627.70/627.97 c 623s| 1 | 0 |259035 | - | 91M| 0 | 995 |1000 | 15k|1000 |6707 | 16k| 0 | 0 |-3.265790e+02 |-9.800000e+01 | 69.99%
635.51/635.76 c 631s| 1 | 0 |260066 | - | 91M| 0 | 995 |1000 | 15k|1000 |6733 | 16k| 0 | 0 |-3.262653e+02 |-9.800000e+01 | 69.96%
643.00/643.23 c 638s| 1 | 0 |261044 | - | 91M| 0 | 996 |1000 | 15k|1000 |6745 | 16k| 0 | 0 |-3.260718e+02 |-9.800000e+01 | 69.95%
650.40/650.64 c 646s| 1 | 0 |261948 | - | 91M| 0 | 995 |1000 | 15k|1000 |6764 | 16k| 0 | 0 |-3.257607e+02 |-9.800000e+01 | 69.92%
658.20/658.46 c 653s| 1 | 0 |263000 | - | 90M| 0 | 996 |1000 | 15k|1000 |6785 | 16k| 0 | 0 |-3.254016e+02 |-9.800000e+01 | 69.88%
665.60/665.84 c 661s| 1 | 0 |263752 | - | 90M| 0 | 996 |1000 | 15k|1000 |6721 | 16k| 0 | 0 |-3.251578e+02 |-9.800000e+01 | 69.86%
672.69/672.97 c 668s| 1 | 0 |264501 | - | 90M| 0 | 990 |1000 | 15k|1000 |6734 | 16k| 0 | 0 |-3.249372e+02 |-9.800000e+01 | 69.84%
679.50/679.79 c 675s| 1 | 0 |264919 | - | 90M| 0 | 994 |1000 | 15k|1000 |6747 | 16k| 0 | 0 |-3.248674e+02 |-9.800000e+01 | 69.83%
686.69/686.99 c 682s| 1 | 0 |265654 | - | 90M| 0 | 992 |1000 | 15k|1000 |6761 | 16k| 0 | 0 |-3.247118e+02 |-9.800000e+01 | 69.82%
693.99/694.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.99/694.27 c 689s| 1 | 0 |266297 | - | 90M| 0 | 995 |1000 | 15k|1000 |6780 | 16k| 0 | 0 |-3.245502e+02 |-9.800000e+01 | 69.80%
701.49/701.79 c 697s| 1 | 0 |267015 | - | 89M| 0 | 997 |1000 | 15k|1000 |6797 | 16k| 0 | 0 |-3.243890e+02 |-9.800000e+01 | 69.79%
708.58/708.81 c 704s| 1 | 0 |267470 | - | 89M| 0 | 997 |1000 | 15k|1000 |6758 | 16k| 0 | 0 |-3.242907e+02 |-9.800000e+01 | 69.78%
715.58/715.82 c 710s| 1 | 0 |268054 | - | 88M| 0 | 998 |1000 | 15k|1000 |6769 | 16k| 0 | 0 |-3.241323e+02 |-9.800000e+01 | 69.77%
722.28/722.55 c 717s| 1 | 0 |268469 | - | 87M| 0 | 997 |1000 | 15k|1000 |6782 | 16k| 0 | 0 |-3.240517e+02 |-9.800000e+01 | 69.76%
728.98/729.24 c 724s| 1 | 0 |268819 | - | 87M| 0 | 997 |1000 | 15k|1000 |6797 | 16k| 0 | 0 |-3.239590e+02 |-9.800000e+01 | 69.75%
736.48/736.79 c 731s| 1 | 0 |269676 | - | 86M| 0 | 995 |1000 | 15k|1000 |6810 | 16k| 0 | 0 |-3.236776e+02 |-9.800000e+01 | 69.72%
743.58/743.85 c 738s| 1 | 0 |270142 | - | 84M| 0 | 996 |1000 | 15k|1000 |6817 | 16k| 0 | 0 |-3.235307e+02 |-9.800000e+01 | 69.71%
750.27/750.59 c 745s| 1 | 0 |270566 | - | 84M| 0 | 995 |1000 | 15k|1000 |6777 | 17k| 0 | 0 |-3.234614e+02 |-9.800000e+01 | 69.70%
757.17/757.45 c 752s| 1 | 0 |271025 | - | 83M| 0 | 996 |1000 | 15k|1000 |6788 | 17k| 0 | 0 |-3.233613e+02 |-9.800000e+01 | 69.69%
764.27/764.52 c 759s| 1 | 0 |271517 | - | 82M| 0 | 995 |1000 | 15k|1000 |6803 | 17k| 0 | 0 |-3.232560e+02 |-9.800000e+01 | 69.68%
771.36/771.64 c 766s| 1 | 0 |272139 | - | 80M| 0 | 997 |1000 | 15k|1000 |6819 | 17k| 0 | 0 |-3.231471e+02 |-9.800000e+01 | 69.67%
777.86/778.13 c 773s| 1 | 0 |272572 | - | 79M| 0 | 996 |1000 | 15k|1000 |6834 | 17k| 0 | 0 |-3.230920e+02 |-9.800000e+01 | 69.67%
784.46/784.74 c 779s| 1 | 0 |273024 | - | 78M| 0 | 998 |1000 | 15k|1000 |6844 | 17k| 0 | 0 |-3.230511e+02 |-9.800000e+01 | 69.66%
791.46/791.70 c 786s| 1 | 0 |273834 | - | 78M| 0 | 996 |1000 | 15k|1000 |6810 | 17k| 0 | 0 |-3.229238e+02 |-9.800000e+01 | 69.65%
797.95/798.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
797.95/798.27 c 793s| 1 | 0 |274330 | - | 77M| 0 | 997 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.228480e+02 |-9.800000e+01 | 69.65%
804.55/804.86 c 799s| 1 | 0 |274863 | - | 76M| 0 | 996 |1000 | 15k|1000 |6834 | 17k| 0 | 0 |-3.227684e+02 |-9.800000e+01 | 69.64%
811.24/811.59 c 806s| 1 | 0 |275451 | - | 75M| 0 | 996 |1000 | 15k|1000 |6844 | 17k| 0 | 0 |-3.227028e+02 |-9.800000e+01 | 69.63%
817.44/817.78 c 812s| 1 | 0 |275699 | - | 74M| 0 | 966 |1000 | 15k|1000 |6855 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
822.84/823.18 c 817s| 1 | 0 |275702 | - | 72M| 0 | 966 |1000 | 15k|1000 |6859 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
828.34/828.60 c 823s| 1 | 0 |275703 | - | 69M| 0 | 966 |1000 | 15k|1000 |6824 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
833.74/834.06 c 828s| 1 | 0 |275704 | - | 68M| 0 | 967 |1000 | 15k|1000 |6830 | 17k| 0 | 0 |-3.226667e+02 |-9.800000e+01 | 69.63%
885.32/885.70 c 879s| 1 | 2 |275704 | - | 66M| 0 | 967 |1000 | 15k|1000 |6830 | 17k| 0 | 37 |-3.226667e+02 |-9.800000e+01 | 69.63%
889.03/889.31 c 883s| 10000 | 65 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 80 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
892.32/892.68 c 886s| 20000 | 64 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 105 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
895.52/895.88 c 889s| 30000 | 63 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 146 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
898.92/899.25 c 892s| 40000 | 67 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 183 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
902.22/902.50 c 896s| 50000 | 66 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 208 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
905.72/906.01 c 899s| 60000 | 65 |275704 | 0.0 | 66M| 82 | - |1000 | 15k| 0 | 0 | 17k| 234 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
909.22/909.52 c 902s| 70000 | 69 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 267 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
912.62/912.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
912.62/912.91 c 906s| 80000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 308 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
915.72/916.08 c 909s| 90000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 330 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
919.22/919.56 c 912s|100000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 368 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
922.72/923.02 c 915s|110000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 399 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
926.22/926.54 c 919s|120000 | 68 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 421 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
929.81/930.10 c 922s|130000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 455 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
933.32/933.62 c 926s|140000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 486 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
936.51/936.82 c 929s|150000 | 65 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 527 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
939.71/940.02 c 932s|160000 | 66 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 583 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
943.11/943.43 c 935s|170000 | 67 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 622 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
946.41/946.75 c 938s|180000 | 64 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 656 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
949.61/949.94 c 941s|190000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 696 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
953.11/953.50 c 945s|200000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 729 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
956.51/956.87 c 948s|210000 | 63 |275704 | 0.0 | 66M| 84 | - |1000 | 15k| 0 | 0 | 17k| 758 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
959.91/960.25 c 951s|220000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 806 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
963.31/963.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
963.31/963.62 c 954s|230000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 832 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
966.90/967.23 c 958s|240000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 842 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
970.10/970.45 c 961s|250000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 849 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
973.30/973.60 c 964s|260000 | 59 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 853 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
976.41/976.72 c 967s|270000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 865 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
979.60/979.98 c 970s|280000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 881 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
982.70/983.05 c 973s|290000 | 62 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 891 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
986.00/986.36 c 976s|300000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 895 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
989.30/989.64 c 979s|310000 | 63 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 904 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
992.80/993.12 c 983s|320000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 917 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
996.09/996.43 c 986s|330000 | 62 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 928 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
999.40/999.78 c 989s|340000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 938 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1002.80/1003.12 c 992s|350000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 952 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1006.39/1006.70 c 996s|360000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 969 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1009.69/1010.06 c 999s|370000 | 68 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k| 985 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1012.80/1013.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.80/1013.11 c 1002s|380000 | 65 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1000 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1015.69/1016.06 c 1005s|390000 | 61 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1008 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1018.99/1019.35 c 1008s|400000 | 64 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1026 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1021.99/1022.39 c 1011s|410000 | 59 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1034 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1025.29/1025.67 c 1014s|420000 | 66 |275704 | 0.0 | 66M| 85 | - |1000 | 15k| 0 | 0 | 17k|1044 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1028.79/1029.14 c 1017s|430000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1060 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1032.18/1032.59 c 1020s|440000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1069 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1035.68/1036.05 c 1024s|450000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1073 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1039.19/1039.52 c 1027s|460000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1081 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1042.58/1042.97 c 1030s|470000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1097 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1045.79/1046.16 c 1033s|480000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1111 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1048.98/1049.39 c 1037s|490000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1118 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1052.29/1052.64 c 1040s|500000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1133 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1055.68/1056.08 c 1043s|510000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1152 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1058.99/1059.35 c 1046s|520000 | 61 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1159 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1062.58/1062.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1062.58/1062.97 c 1050s|530000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1164 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1065.88/1066.30 c 1053s|540000 | 66 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1171 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1069.08/1069.47 c 1056s|550000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1192 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1072.38/1072.78 c 1059s|560000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1202 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1075.57/1075.94 c 1062s|570000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1227 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1078.68/1079.10 c 1065s|580000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1243 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1081.87/1082.23 c 1068s|590000 | 60 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1256 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1084.77/1085.18 c 1071s|600000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1265 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1087.77/1088.18 c 1074s|610000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1280 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1090.97/1091.39 c 1077s|620000 | 63 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1294 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1094.67/1095.07 c 1080s|630000 | 65 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1314 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1098.27/1098.64 c 1084s|640000 | 64 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1325 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1101.77/1102.15 c 1087s|650000 | 59 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1338 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1104.97/1105.33 c 1090s|660000 | 61 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1348 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1107.96/1108.37 c 1093s|670000 | 62 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1367 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1111.06/1111.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1111.06/1111.50 c 1096s|680000 | 59 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1382 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1114.16/1114.58 c 1099s|690000 | 66 |275704 | 0.0 | 66M| 86 | - |1000 | 15k| 0 | 0 | 17k|1400 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1117.36/1117.70 c 1102s|700000 | 64 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1407 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1120.57/1120.92 c 1105s|710000 | 65 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1419 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1123.86/1124.22 c 1108s|720000 | 62 |275704 | 0.0 | 66M| 92 | - |1000 | 15k| 0 | 0 | 17k|1440 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1127.06/1127.46 c 1111s|730000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1454 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1130.15/1130.51 c 1114s|740000 | 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1468 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1133.35/1133.72 c 1117s|750000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1486 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1136.36/1136.79 c 1120s|760000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1499 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1139.66/1140.05 c 1123s|770000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1502 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1142.96/1143.32 c 1127s|780000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1509 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1146.15/1146.59 c 1130s|790000 | 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1518 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1149.56/1149.95 c 1133s|800000 | 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1526 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1152.86/1153.24 c 1136s|810000 | 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1540 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1155.85/1156.24 c 1139s|820000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1550 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1159.15/1159.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1159.15/1159.52 c 1142s|830000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1558 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1162.75/1163.15 c 1146s|840000 | 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1559 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1166.15/1166.54 c 1149s|850000 | 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1572 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1169.85/1170.23 c 1152s|860000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1588 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1173.45/1173.84 c 1156s|870000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1601 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1176.94/1177.34 c 1159s|880000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1613 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1180.44/1180.84 c 1163s|890000 | 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1635 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1184.35/1184.76 c 1166s|900000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1657 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1187.94/1188.31 c 1170s|910000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1684 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1191.74/1192.15 c 1173s|920000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1704 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1195.25/1195.70 c 1177s|930000 | 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1723 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1198.74/1199.12 c 1180s|940000 | 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1736 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1202.14/1202.59 c 1184s|950000 | 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1756 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1205.84/1206.21 c 1187s|960000 | 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1766 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1209.34/1209.76 c 1190s|970000 | 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1775 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1212.94/1213.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1212.94/1213.33 c 1194s|980000 | 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1791 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1216.34/1216.74 c 1197s|990000 | 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1805 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1220.23/1220.67 c 1201s| 1000k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1817 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1223.84/1224.20 c 1204s| 1010k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1828 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1227.63/1228.04 c 1208s| 1020k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1836 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1231.64/1232.04 c 1212s| 1030k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1850 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1235.33/1235.70 c 1215s| 1040k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1867 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1238.83/1239.27 c 1219s| 1050k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1884 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1242.32/1242.79 c 1222s| 1060k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1899 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1246.12/1246.55 c 1226s| 1070k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1906 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1249.93/1250.31 c 1230s| 1080k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1914 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1253.72/1254.19 c 1233s| 1090k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1929 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1257.33/1257.76 c 1237s| 1100k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1943 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1261.12/1261.52 c 1240s| 1110k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1952 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1264.22/1264.61 c 1243s| 1120k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1965 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1267.22/1267.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1267.22/1267.65 c 1246s| 1130k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1973 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1270.42/1270.82 c 1249s| 1140k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1981 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1273.72/1274.11 c 1252s| 1150k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|1991 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1276.82/1277.20 c 1255s| 1160k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2003 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1280.02/1280.45 c 1258s| 1170k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2011 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1283.52/1283.96 c 1262s| 1180k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2024 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1287.01/1287.42 c 1265s| 1190k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2031 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1290.22/1290.67 c 1268s| 1200k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2036 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1293.42/1293.85 c 1271s| 1210k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2037 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1296.61/1297.03 c 1274s| 1220k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2040 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1299.82/1300.24 c 1277s| 1230k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2057 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1302.81/1303.20 c 1280s| 1240k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2064 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1305.81/1306.27 c 1283s| 1250k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2069 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1308.81/1309.29 c 1286s| 1260k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2079 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1311.82/1312.24 c 1289s| 1270k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2096 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1314.81/1315.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1314.81/1315.26 c 1292s| 1280k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2112 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1317.90/1318.39 c 1295s| 1290k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2134 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1321.21/1321.62 c 1298s| 1300k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2151 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1324.21/1324.66 c 1301s| 1310k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2162 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1327.71/1328.13 c 1304s| 1320k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2176 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1331.00/1331.44 c 1307s| 1330k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2187 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1334.51/1334.93 c 1311s| 1340k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2194 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1337.80/1338.26 c 1314s| 1350k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2203 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1341.10/1341.56 c 1317s| 1360k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2208 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1344.40/1344.81 c 1320s| 1370k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2217 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1347.40/1347.89 c 1323s| 1380k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2223 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1350.80/1351.28 c 1326s| 1390k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2236 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1354.09/1354.54 c 1329s| 1400k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2243 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1357.60/1358.07 c 1333s| 1410k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2249 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1360.69/1361.15 c 1336s| 1420k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2259 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1363.79/1364.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1363.79/1364.24 c 1339s| 1430k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2263 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1366.99/1367.48 c 1342s| 1440k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2276 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1370.29/1370.75 c 1345s| 1450k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2281 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1373.58/1374.02 c 1348s| 1460k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2292 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1377.09/1377.58 c 1351s| 1470k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2303 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1380.28/1380.79 c 1354s| 1480k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2313 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1383.58/1384.09 c 1358s| 1490k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2323 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1387.18/1387.69 c 1361s| 1500k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2334 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1390.88/1391.37 c 1365s| 1510k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2341 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1394.48/1394.90 c 1368s| 1520k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2347 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1397.98/1398.40 c 1371s| 1530k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2354 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1401.07/1401.54 c 1374s| 1540k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2366 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1404.58/1405.02 c 1378s| 1550k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2384 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1408.17/1408.64 c 1381s| 1560k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2395 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1411.48/1412.00 c 1384s| 1570k| 58 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2396 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1414.97/1415.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1414.97/1415.49 c 1388s| 1580k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2403 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1418.17/1418.69 c 1391s| 1590k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2413 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1421.27/1421.77 c 1394s| 1600k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2423 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1424.77/1425.28 c 1397s| 1610k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2437 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1428.17/1428.61 c 1400s| 1620k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2453 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1431.47/1431.91 c 1404s| 1630k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2466 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1434.57/1435.05 c 1407s| 1640k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2475 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1437.67/1438.10 c 1409s| 1650k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2488 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1440.97/1441.48 c 1413s| 1660k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2492 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1444.16/1444.69 c 1416s| 1670k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2498 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1447.67/1448.11 c 1419s| 1680k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2503 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1450.97/1451.48 c 1422s| 1690k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2508 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1454.97/1455.43 c 1426s| 1700k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2526 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1458.17/1458.65 c 1429s| 1710k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2529 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1461.36/1461.85 c 1432s| 1720k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2536 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1464.46/1464.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1464.46/1464.98 c 1435s| 1730k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2538 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1467.56/1468.03 c 1438s| 1740k| 58 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2545 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1470.76/1471.20 c 1441s| 1750k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2562 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1474.05/1474.50 c 1444s| 1760k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2579 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1477.25/1477.80 c 1447s| 1770k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2603 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1480.76/1481.27 c 1451s| 1780k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2622 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1483.95/1484.49 c 1454s| 1790k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2643 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1486.95/1487.41 c 1457s| 1800k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2658 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1490.05/1490.52 c 1460s| 1810k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2679 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1493.26/1493.79 c 1463s| 1820k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2705 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1496.85/1497.31 c 1466s| 1830k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2730 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1499.85/1500.40 c 1469s| 1840k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2747 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1503.25/1503.74 c 1472s| 1850k| 61 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2759 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1506.74/1507.23 c 1476s| 1860k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2782 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1510.14/1510.68 c 1479s| 1870k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2798 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1514.04/1514.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1514.04/1514.57 c 1483s| 1880k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2811 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1517.45/1517.95 c 1486s| 1890k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2823 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1520.85/1521.34 c 1489s| 1900k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2834 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1524.15/1524.68 c 1492s| 1910k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2856 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1527.84/1528.34 c 1496s| 1920k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2867 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1531.04/1531.55 c 1499s| 1930k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2879 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1534.64/1535.11 c 1502s| 1940k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2893 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1538.24/1538.70 c 1506s| 1950k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2909 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1541.34/1541.82 c 1509s| 1960k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2922 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1544.83/1545.38 c 1512s| 1970k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2935 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1548.03/1548.57 c 1515s| 1980k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2951 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1551.53/1552.01 c 1519s| 1990k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|2967 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1554.72/1555.29 c 1522s| 2000k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3001 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1558.14/1558.66 c 1525s| 2010k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3023 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1561.62/1562.12 c 1528s| 2020k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3032 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1565.13/1565.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1565.13/1565.70 c 1532s| 2030k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3043 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1569.24/1569.74 c 1536s| 2040k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3051 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1573.13/1573.60 c 1539s| 2050k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3076 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1576.32/1576.88 c 1542s| 2060k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3086 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1579.53/1580.09 c 1546s| 2070k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3096 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1582.82/1583.38 c 1549s| 2080k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3106 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1586.42/1586.99 c 1552s| 2090k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3121 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1589.82/1590.39 c 1555s| 2100k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3137 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1592.92/1593.48 c 1558s| 2110k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3151 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1596.31/1596.82 c 1562s| 2120k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3169 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1599.82/1600.38 c 1565s| 2130k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3179 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1603.11/1603.61 c 1568s| 2140k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3188 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1606.41/1606.94 c 1571s| 2150k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3209 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1609.92/1610.43 c 1575s| 2160k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3216 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1613.32/1613.88 c 1578s| 2170k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3230 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1616.81/1617.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.81/1617.34 c 1581s| 2180k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3237 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1620.21/1620.79 c 1585s| 2190k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3248 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1623.61/1624.13 c 1588s| 2200k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3259 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1627.01/1627.58 c 1591s| 2210k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3264 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1630.51/1631.02 c 1594s| 2220k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3283 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1634.02/1634.54 c 1598s| 2230k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3294 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1637.60/1638.17 c 1601s| 2240k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3309 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1640.91/1641.48 c 1604s| 2250k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3331 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1644.50/1645.02 c 1608s| 2260k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3349 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1647.90/1648.48 c 1611s| 2270k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3364 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1651.31/1651.84 c 1614s| 2280k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3381 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1654.70/1655.23 c 1618s| 2290k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3419 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1657.90/1658.48 c 1621s| 2300k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3440 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1661.80/1662.31 c 1624s| 2310k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3458 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1665.20/1665.79 c 1628s| 2320k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3475 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1668.70/1669.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1668.70/1669.29 c 1631s| 2330k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3500 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1672.40/1672.96 c 1635s| 2340k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3522 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1675.99/1676.57 c 1638s| 2350k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3547 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1679.99/1680.58 c 1642s| 2360k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3554 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1684.20/1684.76 c 1646s| 2370k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3565 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1688.19/1688.72 c 1650s| 2380k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3585 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1691.79/1692.32 c 1653s| 2390k| 60 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3604 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1695.49/1696.04 c 1657s| 2400k| 69 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3618 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1699.00/1699.57 c 1660s| 2410k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3626 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1702.69/1703.22 c 1664s| 2420k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3640 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1706.19/1706.73 c 1667s| 2430k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3654 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1709.68/1710.23 c 1671s| 2440k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3666 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1713.20/1713.75 c 1674s| 2450k| 67 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3678 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1716.68/1717.24 c 1677s| 2460k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3691 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1720.18/1720.70 c 1681s| 2470k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3704 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1723.88/1724.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1723.88/1724.47 c 1684s| 2480k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3722 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1727.49/1728.10 c 1688s| 2490k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3736 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1731.28/1731.81 c 1691s| 2500k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3752 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1734.98/1735.54 c 1695s| 2510k| 68 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3771 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1738.37/1738.95 c 1698s| 2520k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3782 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1741.79/1742.33 c 1701s| 2530k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3798 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1745.47/1746.06 c 1705s| 2540k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3804 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1749.08/1749.65 c 1708s| 2550k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3816 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1752.68/1753.26 c 1712s| 2560k| 70 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3826 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1756.47/1757.00 c 1716s| 2570k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3836 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1760.17/1760.71 c 1719s| 2580k| 63 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3851 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1763.97/1764.59 c 1723s| 2590k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3866 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1767.87/1768.41 c 1727s| 2600k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3880 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1771.17/1771.76 c 1730s| 2610k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3890 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1774.77/1775.40 c 1733s| 2620k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3898 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1778.08/1778.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.08/1778.64 c 1736s| 2630k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3907 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1781.27/1781.86 c 1739s| 2640k| 64 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3915 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1784.67/1785.20 c 1743s| 2650k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3920 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1788.07/1788.68 c 1746s| 2660k| 59 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3928 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1791.56/1792.18 c 1749s| 2670k| 65 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3969 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1795.06/1795.70 c 1753s| 2680k| 66 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3987 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1798.46/1799.09 c 1756s| 2690k| 62 |275704 | 0.0 | 66M| 93 | - |1000 | 15k| 0 | 0 | 17k|3995 | 37 |-3.224694e+02 |-9.800000e+01 | 69.61%
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1757.49
1800.07/1800.61 c Solving Nodes : 2694448
1800.07/1800.61 c Primal Bound : -9.80000000000000e+01 (43 solutions)
1800.07/1800.61 c Dual Bound : -3.22469358192913e+02
1800.07/1800.61 c Gap : 69.61 %
1800.07/1800.65 s SATISFIABLE
1800.07/1800.65 v x1000 x999 -x998 -x997 -x996 x995 -x994 x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.07/1800.65 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.07/1800.65 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.07/1800.65 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.07/1800.65 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.07/1800.65 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875
1800.07/1800.65 v x874 -x873 x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.07/1800.65 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833
1800.07/1800.65 v -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812
1800.07/1800.65 v -x811 -x810 -x809 -x808 -x807 x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.07/1800.65 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 x770 -x769
1800.07/1800.65 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748
1800.07/1800.65 v -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1800.07/1800.65 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1800.07/1800.65 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.07/1800.65 v -x685 -x684 -x683 -x682 -x681 -x680 x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664
1800.07/1800.65 v -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.07/1800.65 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.07/1800.65 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 x601
1800.07/1800.65 v -x600 -x599 x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.07/1800.65 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.07/1800.65 v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538
1800.07/1800.65 v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517
1800.07/1800.65 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1800.07/1800.65 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1800.07/1800.65 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1800.07/1800.65 v -x453 -x452 x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 x437 -x436 -x435 -x434 -x433
1800.07/1800.65 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 -x412
1800.07/1800.65 v -x411 -x410 -x409 x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1800.07/1800.65 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 x371 -x370 -x369
1800.07/1800.65 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
1800.07/1800.65 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
1800.07/1800.65 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.07/1800.65 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1800.07/1800.65 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1800.07/1800.65 v -x264 x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
1800.07/1800.65 v -x242 x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222
1800.07/1800.65 v -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201
1800.07/1800.65 v -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 x180
1800.07/1800.65 v -x179 -x178 x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 x163 -x162 -x161 -x160 x159 -x158
1800.07/1800.65 v -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.07/1800.65 v -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 x117 -x116
1800.07/1800.65 v -x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94
1800.07/1800.65 v x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 x72 -x71 x70 -x69 -x68
1800.07/1800.65 v -x67 -x66 -x65 x64 x63 x62 x61 -x60 -x59 -x58 -x57 x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 x41
1800.07/1800.65 v -x40 x39 -x38 -x37 -x36 -x35 x34 x33 x32 x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 x22 -x21 x20 x19 -x18 x17 -x16 x15 x14 x13
1800.07/1800.65 v x12 x11 -x10 x9 -x8 -x7 x6 x5 x4 x3 x2 x1
1800.07/1800.65 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.65 c Solving Time : 1757.49
1800.07/1800.65 c Original Problem :
1800.07/1800.65 c Problem name : HOME/instance-2665234-1276660067.opb
1800.07/1800.65 c Variables : 16796 (16796 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 16796 initial, 16796 maximal
1800.07/1800.65 c Presolved Problem :
1800.07/1800.65 c Problem name : t_HOME/instance-2665234-1276660067.opb
1800.07/1800.65 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.65 c Constraints : 15796 initial, 15802 maximal
1800.07/1800.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.65 c probing : 0.10 0 0 0 0 0 0 0 0
1800.07/1800.65 c linear : 0.10 15796 0 0 15796 0 1000 0 0
1800.07/1800.65 c logicor : 0.05 0 0 0 0 0 0 0 0
1800.07/1800.65 c root node : - 0 - - 0 - - - -
1800.07/1800.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c integral : 0 0 0 1 0 0 0 0 0 2
1800.07/1800.65 c logicor : 15796+ 199 2705274 0 0 9052 3820039 18145 0 0
1800.07/1800.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.65 c integral : 45.75 0.00 0.00 45.75 0.00
1800.07/1800.65 c logicor : 53.65 0.73 52.92 0.00 0.00
1800.07/1800.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.65 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.65 c vbounds : 2.45 2 0 0
1800.07/1800.65 c rootredcost : 2.17 0 0 0
1800.07/1800.65 c pseudoobj : 366.91 4733187 1130140 5011895
1800.07/1800.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.65 c propagation : 9.65 9052 4000 4000 74.6 0 0.0 -
1800.07/1800.65 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.65 c pseudo solution : 312.42 205818 0 0 0.0 0 0.0 -
1800.07/1800.65 c applied globally : - - - 4000 74.6 - - -
1800.07/1800.65 c applied locally : - - - 0 0.0 - - -
1800.07/1800.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.65 c cut pool : 2.20 198 - - 5198 - (maximal pool size: 14115)
1800.07/1800.65 c redcost : 0.02 199 0 0 0 0
1800.07/1800.65 c impliedbounds : 0.40 198 0 0 24290 0
1800.07/1800.65 c intobj : 0.00 0 0 0 0 0
1800.07/1800.65 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.65 c gomory : 455.58 196 0 0 66224 0
1800.07/1800.65 c strongcg : 1.56 20 0 0 10000 0
1800.07/1800.65 c cmir : 1.75 10 0 0 0 0
1800.07/1800.65 c flowcover : 1.50 10 0 0 0 0
1800.07/1800.65 c clique : 7.17 196 0 0 1619 0
1800.07/1800.65 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.65 c mcf : 0.02 1 0 0 0 0
1800.07/1800.65 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.65 c Pricers : Time Calls Vars
1800.07/1800.65 c problem variables: 0.00 0 0
1800.07/1800.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.65 c relpscost : 45.75 1 0 0 0 0 2
1800.07/1800.65 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.65 c inference : 16.88 1351725 0 0 0 0 2703450
1800.07/1800.65 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.65 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.65 c random : 0.00 0 0 0 0 0 0
1800.07/1800.65 c Primal Heuristics : Time Calls Found
1800.07/1800.65 c LP solutions : 0.00 - 0
1800.07/1800.65 c pseudo solutions : 0.00 - 0
1800.07/1800.65 c crossover : 0.00 0 0
1800.07/1800.65 c oneopt : 1.66 2 1
1800.07/1800.65 c trivial : 0.04 2 2
1800.07/1800.65 c simplerounding : 0.25 199 38
1800.07/1800.65 c zirounding : 0.00 1 0
1800.07/1800.65 c rounding : 12.58 199 1
1800.07/1800.65 c shifting : 13.04 199 1
1800.07/1800.65 c intshifting : 0.00 0 0
1800.07/1800.65 c twoopt : 0.00 0 0
1800.07/1800.65 c fixandinfer : 0.00 0 0
1800.07/1800.65 c feaspump : 0.00 0 0
1800.07/1800.65 c coefdiving : 0.00 0 0
1800.07/1800.65 c pscostdiving : 0.00 0 0
1800.07/1800.65 c fracdiving : 0.00 0 0
1800.07/1800.65 c veclendiving : 0.00 0 0
1800.07/1800.65 c intdiving : 0.00 0 0
1800.07/1800.65 c actconsdiving : 0.00 0 0
1800.07/1800.65 c objpscostdiving : 0.00 0 0
1800.07/1800.65 c rootsoldiving : 0.00 0 0
1800.07/1800.65 c linesearchdiving : 0.00 0 0
1800.07/1800.65 c guideddiving : 0.00 0 0
1800.07/1800.65 c octane : 0.00 0 0
1800.07/1800.65 c rens : 0.01 0 0
1800.07/1800.65 c rins : 0.00 0 0
1800.07/1800.65 c localbranching : 0.00 0 0
1800.07/1800.65 c mutation : 0.00 0 0
1800.07/1800.65 c dins : 0.00 0 0
1800.07/1800.65 c undercover : 0.00 0 0
1800.07/1800.65 c nlp : 1.45 0 0
1800.07/1800.65 c trysol : 1.28 0 0
1800.07/1800.65 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.65 c primal LP : 0.28 0 0 0.00 0.00
1800.07/1800.65 c dual LP : 329.00 199 275704 1385.45 838.01
1800.07/1800.65 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.65 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.65 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.65 c strong branching : 45.75 37 34010 919.19 743.39
1800.07/1800.65 c (at root node) : - 37 34010 919.19 -
1800.07/1800.65 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.65 c B&B Tree :
1800.07/1800.65 c number of runs : 1
1800.07/1800.65 c nodes : 2694448
1800.07/1800.65 c nodes (total) : 2694448
1800.07/1800.65 c nodes left : 63
1800.07/1800.65 c max depth : 93
1800.07/1800.65 c max depth (total): 93
1800.07/1800.65 c backtracks : 657532 (24.4%)
1800.07/1800.65 c delayed cutoffs : 2701
1800.07/1800.65 c repropagations : 3159 (17146 domain reductions, 2288 cutoffs)
1800.07/1800.65 c avg switch length: 2.00
1800.07/1800.65 c switching time : 47.23
1800.07/1800.65 c Solution :
1800.07/1800.65 c Solutions found : 43 (4 improvements)
1800.07/1800.65 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.07/1800.65 c Primal Bound : -9.80000000000000e+01 (in run 1, after 1 nodes, 1.76 seconds, depth 0, found by <oneopt>)
1800.07/1800.65 c Dual Bound : -3.22469358192913e+02
1800.07/1800.65 c Gap : 69.61 %
1800.07/1800.65 c Root Dual Bound : -3.22666666666666e+02
1800.07/1800.65 c Root Iterations : 275704
1800.17/1800.79 c Time complete: 1800.26.
OK -98
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665234-1276660067/watcher-2665234-1276660067 -o /tmp/evaluation-result-2665234-1276660067/solver-2665234-1276660067 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665234-1276660067.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/107 7751 /proc/meminfo: memFree=1799804/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=9440 CPUtime=0 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 39662475 9666560 960 1992294400 4194304 9819077 140734519862992 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7751/statm: 2360 970 371 1374 0 981 0 [startup+0.0837179 s] /proc/loadavg: 0.92 0.98 0.99 3/107 7751 /proc/meminfo: memFree=1799804/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=20628 CPUtime=0.07 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 4066 0 0 0 6 1 0 0 20 0 1 0 39662475 21123072 3986 1992294400 4194304 9819077 140734519862992 18446744073709551615 4361621 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7751/statm: 5157 3986 389 1374 0 3778 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 20628 [startup+0.101719 s] /proc/loadavg: 0.92 0.98 0.99 3/107 7751 /proc/meminfo: memFree=1799804/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=24148 CPUtime=0.09 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 4947 0 0 0 8 1 0 0 20 0 1 0 39662475 24727552 4867 1992294400 4194304 9819077 140734519862992 18446744073709551615 8611019 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7751/statm: 6037 4867 389 1374 0 4658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24148 [startup+0.301737 s] /proc/loadavg: 0.92 0.98 0.99 3/107 7751 /proc/meminfo: memFree=1799804/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=52196 CPUtime=0.29 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 12346 0 0 0 25 4 0 0 20 0 1 0 39662475 53448704 11912 1992294400 4194304 9819077 140734519862992 18446744073709551615 4409086 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 13049 11912 439 1374 0 11670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52196 [startup+0.701773 s] /proc/loadavg: 0.92 0.98 0.99 3/107 7751 /proc/meminfo: memFree=1799804/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=65548 CPUtime=0.69 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 15563 0 0 0 61 8 0 0 20 0 1 0 39662475 67121152 14776 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 16387 14776 478 1374 0 15008 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 65548 [startup+1.50184 s] /proc/loadavg: 0.92 0.98 0.99 2/108 7752 /proc/meminfo: memFree=1739036/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=96308 CPUtime=1.49 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 23665 0 0 0 130 19 0 0 22 0 1 0 39662475 98619392 19786 1992294400 4194304 9819077 140734519862992 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 24077 19786 636 1374 0 22698 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 96308 [startup+3.10099 s] /proc/loadavg: 0.92 0.98 0.99 2/108 7752 /proc/meminfo: memFree=1721676/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=97372 CPUtime=3.09 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 25806 0 0 0 285 24 0 0 25 0 1 0 39662475 99708928 20086 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 24343 20086 665 1374 0 22964 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97372 [startup+6.30128 s] /proc/loadavg: 0.93 0.98 0.99 2/108 7752 /proc/meminfo: memFree=1718576/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=100380 CPUtime=6.29 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 29659 0 0 0 601 28 0 0 25 0 1 0 39662475 102789120 20846 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 25095 20846 669 1374 0 23716 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 100380 [startup+12.7009 s] /proc/loadavg: 0.93 0.98 0.99 2/108 7754 /proc/meminfo: memFree=1716476/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=103216 CPUtime=12.69 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 34063 0 0 0 1237 32 0 0 25 0 1 0 39662475 105693184 21483 1992294400 4194304 9819077 140734519862992 18446744073709551615 5743084 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 25804 21483 669 1374 0 24425 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 103216 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/108 7754 /proc/meminfo: memFree=1697628/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=115468 CPUtime=25.49 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 52314 0 0 0 2507 42 0 0 25 0 1 0 39662475 118239232 26059 1992294400 4194304 9819077 140734519862992 18446744073709551615 6093199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 28867 26059 677 1374 0 27488 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 115468 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/108 7754 /proc/meminfo: memFree=1679276/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=133924 CPUtime=51.08 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 93967 0 0 0 5044 64 0 0 25 0 1 0 39662475 137138176 30782 1992294400 4194304 9819077 140734519862992 18446744073709551615 7293527 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 33481 30782 677 1374 0 32102 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 133924 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 7756 /proc/meminfo: memFree=1667992/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=148316 CPUtime=102.27 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 177576 0 0 0 10111 116 0 0 25 0 1 0 39662475 151875584 33580 1992294400 4194304 9819077 140734519862992 18446744073709551615 7301587 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 37079 33580 677 1374 0 35700 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 148316 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 7758 /proc/meminfo: memFree=1661296/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=153568 CPUtime=162.25 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 273433 0 0 0 16046 179 0 0 25 0 1 0 39662475 157253632 34744 1992294400 4194304 9819077 140734519862992 18446744073709551615 6044463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 38392 34744 677 1374 0 37013 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 153568 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 7758 /proc/meminfo: memFree=1626328/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190612 CPUtime=222.23 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 373474 0 0 0 21981 242 0 0 25 0 1 0 39662475 195186688 43953 1992294400 4194304 9819077 140734519862992 18446744073709551615 7293486 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47653 43953 677 1374 0 46274 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 190612 [startup+282.301 s] /proc/loadavg: 1.07 1.00 1.00 2/108 7760 /proc/meminfo: memFree=1625584/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190860 CPUtime=282.2 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 430560 0 0 0 27932 288 0 0 25 0 1 0 39662475 195440640 43940 1992294400 4194304 9819077 140734519862992 18446744073709551615 6043186 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47715 43940 677 1374 0 46336 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 190860 [startup+342.301 s] /proc/loadavg: 1.03 1.00 1.00 2/108 7762 /proc/meminfo: memFree=1625460/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190252 CPUtime=342.19 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 474313 0 0 0 33898 321 0 0 25 0 1 0 39662475 194818048 43928 1992294400 4194304 9819077 140734519862992 18446744073709551615 6044068 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47563 43928 677 1374 0 46184 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 190252 [startup+402.302 s] /proc/loadavg: 1.01 1.00 1.00 2/108 7764 /proc/meminfo: memFree=1625460/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190724 CPUtime=402.17 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 516073 0 0 0 39864 353 0 0 25 0 1 0 39662475 195301376 43962 1992294400 4194304 9819077 140734519862992 18446744073709551615 8494900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47681 43962 677 1374 0 46302 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 190724 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7766 /proc/meminfo: memFree=1625088/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=191084 CPUtime=462.16 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 548762 0 0 0 45833 383 0 0 25 0 1 0 39662475 195670016 44317 1992294400 4194304 9819077 140734519862992 18446744073709551615 7312676 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47771 44317 677 1374 0 46392 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 191084 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7766 /proc/meminfo: memFree=1625336/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190960 CPUtime=522.14 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 583864 0 0 0 51799 415 0 0 25 0 1 0 39662475 195543040 44110 1992294400 4194304 9819077 140734519862992 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47740 44110 677 1374 0 46361 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 190960 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7768 /proc/meminfo: memFree=1625088/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=191032 CPUtime=582.12 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 616170 0 0 0 57769 443 0 0 25 0 1 0 39662475 195616768 44234 1992294400 4194304 9819077 140734519862992 18446744073709551615 6198302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47758 44234 677 1374 0 46379 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 191032 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7770 /proc/meminfo: memFree=1624592/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=190116 CPUtime=642.11 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 639044 0 0 0 63746 465 0 0 25 0 1 0 39662475 194678784 44043 1992294400 4194304 9819077 140734519862992 18446744073709551615 6656779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 47529 44043 677 1374 0 46150 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 190116 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7785 /proc/meminfo: memFree=1627196/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=197552 CPUtime=882.03 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 749812 0 0 0 87625 578 0 0 25 0 1 0 39662475 202293248 43049 1992294400 4194304 9819077 140734519862992 18446744073709551615 7311055 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 49388 43049 691 1374 0 48009 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 197552 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7787 /proc/meminfo: memFree=1628560/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=942.01 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 93401 800 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 178980 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7789 /proc/meminfo: memFree=1628560/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1001.99 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 99153 1046 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 178980 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7791 /proc/meminfo: memFree=1628436/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1061.97 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 104905 1292 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 4434265 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 178980 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7791 /proc/meminfo: memFree=1628312/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1121.96 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 110660 1536 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 178980 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7793 /proc/meminfo: memFree=1628064/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1181.95 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 116415 1780 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 178980 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7795 /proc/meminfo: memFree=1627816/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1241.93 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 122194 1999 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 178980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7797 /proc/meminfo: memFree=1627568/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1301.92 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 127953 2239 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 178980 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7799 /proc/meminfo: memFree=1627692/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1361.89 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 133691 2498 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 178980 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7799 /proc/meminfo: memFree=1627568/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1421.88 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 139450 2738 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 178980 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7801 /proc/meminfo: memFree=1627444/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1481.85 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 145184 3001 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 4349998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 178980 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7803 /proc/meminfo: memFree=1627568/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1541.84 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 150940 3244 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 178980 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7805 /proc/meminfo: memFree=1627320/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1601.81 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 156703 3478 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 178980 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7807 /proc/meminfo: memFree=1627196/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1661.8 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 162460 3720 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 178980 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7807 /proc/meminfo: memFree=1627196/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1721.78 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 168233 3945 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 178980 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7809 /proc/meminfo: memFree=1626824/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1781.76 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 174007 4169 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 178980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7809 /proc/meminfo: memFree=1626824/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=178980 CPUtime=1800.07 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755160 0 0 0 175766 4241 0 0 25 0 1 0 39662475 183275520 42814 1992294400 4194304 9819077 140734519862992 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7751/statm: 44745 42814 697 1374 0 43366 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 178980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/108 7809 /proc/meminfo: memFree=1626824/2059040 swapFree=4140108/4192956 [pid=7751] ppid=7749 vsize=160536 CPUtime=1800.17 /proc/7751/stat : 7751 (pbscip.linux.x8) R 7749 7751 7647 0 -1 4202496 755164 0 0 0 175776 4241 0 0 25 0 1 0 39662475 164388864 38248 1992294400 4194304 9819077 140734519862992 18446744073709551615 5950369 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/7751/statm: 40134 38248 701 1374 0 38755 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 160536 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.27 CPU user time (s): 1757.83 CPU system time (s): 42.4345 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 197612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1757.83 system time used= 42.4345 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 755170 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 3165 runsolver used 2.75258 second user time and 8.76067 second system time The end
Begin job on node025 at 2010-06-16 05:47:47 IDJOB=2665234 IDBENCH=48177 IDSOLVER=1168 FILE ID=node025/2665234-1276660067 PBS_JOBID= 11172484 Free space on /tmp= 62580 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665234-1276660067/watcher-2665234-1276660067 -o /tmp/evaluation-result-2665234-1276660067/solver-2665234-1276660067 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665234-1276660067.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7 RANDOM SEED=951104813 node025.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.242 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.48 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.242 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1800332 kB Buffers: 52600 kB Cached: 117252 kB SwapCached: 7256 kB Active: 102888 kB Inactive: 81352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1800332 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 6616 kB Writeback: 0 kB AnonPages: 11856 kB Mapped: 13048 kB Slab: 52564 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183604 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= 62576 MiB End job on node025 at 2010-06-16 06:17:50