Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | -99 | 1800.21 | 1800.69 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb |
| MD5SUM | 0945390fcac05113ffd57d1199a19e21 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -126 |
| Best CPU time to get the best result obtained on this benchmark | 1798.06 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -126 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 51 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31640 |
| Sum of products size (including duplicates) | 63280 |
| Number of different products | 15820 |
| Sum of products size | 31640 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666680-1276661702.opb>
0.19/0.23 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 16820 constraints
0.19/0.23 c problem read
0.19/0.24 c presolving settings loaded
0.39/0.46 o 0
0.39/0.46 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.46 c presolving:
0.89/0.95 c (round 1) 15820 del vars, 1000 del conss, 15820 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63280 impls, 0 clqs
1.10/1.20 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.20 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.10/1.20 c presolving (2 rounds):
1.10/1.20 c 15820 deleted vars, 1000 deleted constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.20 c 94920 implications, 0 cliques
1.10/1.20 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
1.10/1.20 c 15820 constraints of type <logicor>
1.10/1.20 c transformed objective value is always integral (scale: 1)
1.10/1.20 c Presolving Time: 0.71
1.10/1.20 c - non default parameters ----------------------------------------------------------------------
1.19/1.20 c # SCIP version 1.2.1.2
1.19/1.20 c
1.19/1.20 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: -1]
1.19/1.20 c conflict/interconss = 0
1.19/1.20 c
1.19/1.20 c # should binary conflicts be preferred?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c conflict/preferbinary = TRUE
1.19/1.20 c
1.19/1.20 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 0]
1.19/1.20 c constraints/agelimit = 1
1.19/1.20 c
1.19/1.20 c # should enforcement of pseudo solution be disabled?
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/disableenfops = TRUE
1.19/1.20 c
1.19/1.20 c # frequency for displaying node information lines
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 100]
1.19/1.20 c display/freq = 10000
1.19/1.20 c
1.19/1.20 c # maximal time in seconds to run
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/time = 1799.77
1.19/1.20 c
1.19/1.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.19/1.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.19/1.20 c limits/memory = 1620
1.19/1.20 c
1.19/1.20 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.19/1.20 c # [type: int, range: [-1,2147483647], default: 1]
1.19/1.20 c lp/solvefreq = 0
1.19/1.20 c
1.19/1.20 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.19/1.20 c # [type: char, range: {lafpsqd}, default: l]
1.19/1.20 c lp/pricing = a
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify inequalities
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/linear/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c # should presolving try to simplify knapsacks
1.19/1.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.19/1.20 c constraints/knapsack/simplifyinequalities = TRUE
1.19/1.20 c
1.19/1.20 c # priority of node selection rule <dfs> in standard mode
1.19/1.20 c # [type: int, range: [-536870912,536870911], default: 0]
1.19/1.20 c nodeselection/dfs/stdpriority = 1000000
1.19/1.20 c
1.19/1.20 c -----------------------------------------------------------------------------------------------
1.19/1.20 c start solving
1.19/1.20 c
1.89/1.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.90 c t 1.5s| 1 | 0 | 1076 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
1.89/1.99 o -1
1.89/1.99 c R 1.6s| 1 | 0 | 1076 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1.99/2.08 o -2
1.99/2.08 c s 1.7s| 1 | 0 | 1076 | - | 44M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | 99.60%
2.79/2.81 c 2.4s| 1 | 0 | 1171 | - | 44M| 0 | 993 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.965000e+02 |-2.000000e+00 | 99.60%
2.79/2.83 o -99
2.79/2.83 c b 2.4s| 1 | 0 | 1171 | - | 44M| 0 | 993 |1000 | 15k|1000 | 15k| 9 | 0 | 0 |-4.965000e+02 |-9.900000e+01 | 80.06%
3.79/3.88 c 3.4s| 1 | 0 | 1368 | - | 44M| 0 | 982 |1000 | 15k|1000 | 15k| 21 | 0 | 0 |-4.910000e+02 |-9.900000e+01 | 79.84%
4.99/5.03 c 4.5s| 1 | 0 | 1587 | - | 44M| 0 | 974 |1000 | 15k|1000 | 15k| 33 | 0 | 0 |-4.870000e+02 |-9.900000e+01 | 79.67%
5.99/6.00 c 5.5s| 1 | 0 | 1717 | - | 44M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.900000e+01 | 79.59%
6.89/6.92 c 6.4s| 1 | 0 | 1804 | - | 44M| 0 | 965 |1000 | 15k|1000 | 15k| 48 | 0 | 0 |-4.825000e+02 |-9.900000e+01 | 79.48%
7.89/7.95 c 7.4s| 1 | 0 | 1942 | - | 44M| 0 | 959 |1000 | 15k|1000 | 15k| 60 | 0 | 0 |-4.795000e+02 |-9.900000e+01 | 79.35%
9.39/9.49 c 8.9s| 1 | 0 | 2235 | - | 44M| 0 | 952 |1000 | 15k|1000 | 15k| 71 | 0 | 0 |-4.760000e+02 |-9.900000e+01 | 79.20%
11.00/11.06 c 10.5s| 1 | 0 | 2477 | - | 44M| 0 | 948 |1000 | 15k|1000 | 15k| 83 | 0 | 0 |-4.740000e+02 |-9.900000e+01 | 79.11%
12.89/12.96 c 12.4s| 1 | 0 | 2873 | - | 44M| 0 | 940 |1000 | 15k|1000 | 15k| 95 | 0 | 0 |-4.700000e+02 |-9.900000e+01 | 78.94%
14.19/14.28 c 13.7s| 1 | 0 | 3044 | - | 44M| 0 | 937 |1000 | 15k|1000 | 15k| 105 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 78.87%
16.88/16.93 c 16.3s| 1 | 0 | 3574 | - | 45M| 0 | 932 |1000 | 15k|1000 |1399 | 114 | 0 | 0 |-4.660000e+02 |-9.900000e+01 | 78.76%
17.39/17.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.39/17.40 c 16.8s| 1 | 0 | 3986 | - | 45M| 0 | 921 |1000 | 15k|1000 |1406 | 121 | 0 | 0 |-4.655000e+02 |-9.900000e+01 | 78.73%
18.09/18.13 c 17.5s| 1 | 0 | 4481 | - | 45M| 0 | 910 |1000 | 15k|1000 |1558 | 273 | 0 | 0 |-4.640000e+02 |-9.900000e+01 | 78.66%
18.59/18.68 c 18.0s| 1 | 0 | 4826 | - | 45M| 0 | 933 |1000 | 15k|1000 |1791 | 506 | 0 | 0 |-4.622500e+02 |-9.900000e+01 | 78.58%
19.29/19.34 c 18.7s| 1 | 0 | 5275 | - | 46M| 0 | 915 |1000 | 15k|1000 |2288 |1003 | 0 | 0 |-4.605000e+02 |-9.900000e+01 | 78.50%
19.89/19.94 c 19.3s| 1 | 0 | 5827 | - | 46M| 0 | 917 |1000 | 15k|1000 |2374 |1089 | 0 | 0 |-4.595000e+02 |-9.900000e+01 | 78.45%
20.49/20.59 c 19.9s| 1 | 0 | 6167 | - | 46M| 0 | 914 |1000 | 15k|1000 |2069 |1119 | 0 | 0 |-4.587500e+02 |-9.900000e+01 | 78.42%
21.19/21.27 c 20.6s| 1 | 0 | 6876 | - | 46M| 0 | 894 |1000 | 15k|1000 |2127 |1177 | 0 | 0 |-4.575000e+02 |-9.900000e+01 | 78.36%
21.78/21.85 c 21.2s| 1 | 0 | 7301 | - | 46M| 0 | 908 |1000 | 15k|1000 |2417 |1467 | 0 | 0 |-4.565000e+02 |-9.900000e+01 | 78.31%
22.48/22.56 c 21.9s| 1 | 0 | 7980 | - | 46M| 0 | 888 |1000 | 15k|1000 |2497 |1547 | 0 | 0 |-4.550000e+02 |-9.900000e+01 | 78.24%
23.09/23.18 c 22.5s| 1 | 0 | 8611 | - | 46M| 0 | 906 |1000 | 15k|1000 |2791 |1841 | 0 | 0 |-4.525000e+02 |-9.900000e+01 | 78.12%
23.98/24.08 c 23.4s| 1 | 0 | 9600 | - | 47M| 0 | 914 |1000 | 15k|1000 |2884 |1934 | 0 | 0 |-4.512500e+02 |-9.900000e+01 | 78.06%
24.88/24.92 c 24.2s| 1 | 0 | 10348 | - | 47M| 0 | 893 |1000 | 15k|1000 |2740 |2112 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 78.00%
25.88/25.94 c 25.2s| 1 | 0 | 11596 | - | 47M| 0 | 943 |1000 | 15k|1000 |2859 |2231 | 0 | 0 |-4.482667e+02 |-9.900000e+01 | 77.91%
27.39/27.47 c 26.7s| 1 | 0 | 11923 | - | 47M| 0 | 895 |1000 | 15k|1000 |4859 |4231 | 0 | 0 |-4.475000e+02 |-9.900000e+01 | 77.88%
28.49/28.56 c 27.8s| 1 | 0 | 12662 | - | 47M| 0 | 891 |1000 | 15k|1000 |4869 |4241 | 0 | 0 |-4.460000e+02 |-9.900000e+01 | 77.80%
29.28/29.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.28/29.39 c 28.6s| 1 | 0 | 13168 | - | 47M| 0 | 893 |1000 | 15k|1000 |4897 |4269 | 0 | 0 |-4.445000e+02 |-9.900000e+01 | 77.73%
30.39/30.49 c 29.7s| 1 | 0 | 13833 | - | 47M| 0 | 882 |1000 | 15k|1000 |4907 |4279 | 0 | 0 |-4.440000e+02 |-9.900000e+01 | 77.70%
31.68/31.78 c 31.0s| 1 | 0 | 14808 | - | 47M| 0 | 884 |1000 | 15k|1000 |3759 |4356 | 0 | 0 |-4.420000e+02 |-9.900000e+01 | 77.60%
32.78/32.80 c 32.0s| 1 | 0 | 15656 | - | 47M| 0 | 873 |1000 | 15k|1000 |3767 |4364 | 0 | 0 |-4.410000e+02 |-9.900000e+01 | 77.55%
33.68/33.75 c 33.0s| 1 | 0 | 16484 | - | 47M| 0 | 880 |1000 | 15k|1000 |3894 |4491 | 0 | 0 |-4.396667e+02 |-9.900000e+01 | 77.48%
35.27/35.33 c 34.5s| 1 | 0 | 17763 | - | 47M| 0 | 882 |1000 | 15k|1000 |4040 |4637 | 0 | 0 |-4.387500e+02 |-9.900000e+01 | 77.44%
35.98/36.07 c 35.2s| 1 | 0 | 18340 | - | 48M| 0 | 877 |1000 | 15k|1000 |4048 |4645 | 0 | 0 |-4.382500e+02 |-9.900000e+01 | 77.41%
37.58/37.60 c 36.8s| 1 | 0 | 19757 | - | 48M| 0 | 898 |1000 | 15k|1000 |4107 |4704 | 0 | 0 |-4.367857e+02 |-9.900000e+01 | 77.33%
38.97/39.02 c 38.2s| 1 | 0 | 21081 | - | 48M| 0 | 867 |1000 | 15k|1000 |3633 |5115 | 0 | 0 |-4.361786e+02 |-9.900000e+01 | 77.30%
39.87/39.91 c 39.0s| 1 | 0 | 21831 | - | 48M| 0 | 877 |1000 | 15k|1000 |3847 |5329 | 0 | 0 |-4.352308e+02 |-9.900000e+01 | 77.25%
40.68/40.75 c 39.9s| 1 | 0 | 22397 | - | 48M| 0 | 869 |1000 | 15k|1000 |4101 |5583 | 0 | 0 |-4.343333e+02 |-9.900000e+01 | 77.21%
42.37/42.44 c 41.6s| 1 | 0 | 23740 | - | 49M| 0 | 855 |1000 | 15k|1000 |4164 |5646 | 0 | 0 |-4.335000e+02 |-9.900000e+01 | 77.16%
43.28/43.35 c 42.5s| 1 | 0 | 24388 | - | 49M| 0 | 864 |1000 | 15k|1000 |4316 |5798 | 0 | 0 |-4.327500e+02 |-9.900000e+01 | 77.12%
44.18/44.24 c 43.3s| 1 | 0 | 25020 | - | 49M| 0 | 867 |1000 | 15k|1000 |4388 |5870 | 0 | 0 |-4.317500e+02 |-9.900000e+01 | 77.07%
45.58/45.61 c 44.7s| 1 | 0 | 26110 | - | 49M| 0 | 861 |1000 | 15k|1000 |4089 |5905 | 0 | 0 |-4.297500e+02 |-9.900000e+01 | 76.96%
46.88/46.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.88/46.98 c 46.0s| 1 | 0 | 27431 | - | 49M| 0 | 861 |1000 | 15k|1000 |4123 |5939 | 0 | 0 |-4.282500e+02 |-9.900000e+01 | 76.88%
48.17/48.25 c 47.3s| 1 | 0 | 28596 | - | 49M| 0 | 870 |1000 | 15k|1000 |4171 |5987 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 76.79%
49.38/49.45 c 48.5s| 1 | 0 | 29633 | - | 49M| 0 | 851 |1000 | 15k|1000 |4295 |6111 | 0 | 0 |-4.247500e+02 |-9.900000e+01 | 76.69%
50.27/50.34 c 49.4s| 1 | 0 | 30391 | - | 49M| 0 | 855 |1000 | 15k|1000 |4361 |6177 | 0 | 0 |-4.241667e+02 |-9.900000e+01 | 76.66%
51.07/51.11 c 50.1s| 1 | 0 | 30967 | - | 49M| 0 | 850 |1000 | 15k|1000 |4394 |6210 | 0 | 0 |-4.232500e+02 |-9.900000e+01 | 76.61%
52.37/52.44 c 51.5s| 1 | 0 | 32070 | - | 49M| 0 | 848 |1000 | 15k|1000 |3503 |6265 | 0 | 0 |-4.227500e+02 |-9.900000e+01 | 76.58%
52.88/52.97 c 52.0s| 1 | 0 | 32431 | - | 49M| 0 | 841 |1000 | 15k|1000 |3533 |6295 | 0 | 0 |-4.225000e+02 |-9.900000e+01 | 76.57%
54.67/54.70 c 53.7s| 1 | 0 | 34173 | - | 49M| 0 | 882 |1000 | 15k|1000 |3594 |6356 | 0 | 0 |-4.216250e+02 |-9.900000e+01 | 76.52%
56.37/56.43 c 55.4s| 1 | 0 | 35394 | - | 50M| 0 | 863 |1000 | 15k|1000 |4304 |7066 | 0 | 0 |-4.205833e+02 |-9.900000e+01 | 76.46%
57.57/57.65 c 56.6s| 1 | 0 | 36491 | - | 50M| 0 | 843 |1000 | 15k|1000 |4356 |7118 | 0 | 0 |-4.196000e+02 |-9.900000e+01 | 76.41%
58.77/58.88 c 57.8s| 1 | 0 | 37487 | - | 51M| 0 | 847 |1000 | 15k|1000 |4448 |7210 | 0 | 0 |-4.182500e+02 |-9.900000e+01 | 76.33%
60.77/60.83 c 59.8s| 1 | 0 | 39089 | - | 52M| 0 | 870 |1000 | 15k|1000 |4063 |7270 | 0 | 0 |-4.172000e+02 |-9.900000e+01 | 76.27%
62.37/62.41 c 61.3s| 1 | 0 | 40641 | - | 52M| 0 | 845 |1000 | 15k|1000 |4319 |7526 | 0 | 0 |-4.147500e+02 |-9.900000e+01 | 76.13%
64.27/64.40 c 63.3s| 1 | 0 | 42448 | - | 52M| 0 | 820 |1000 | 15k|1000 |4332 |7539 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 76.03%
66.47/66.56 c 65.5s| 1 | 0 | 44569 | - | 52M| 0 | 904 |1000 | 15k|1000 |4408 |7615 | 0 | 0 |-4.125312e+02 |-9.900000e+01 | 76.00%
67.97/68.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
67.97/68.06 c 67.0s| 1 | 0 | 45195 | - | 53M| 0 | 840 |1000 | 15k|1000 |6040 |9247 | 0 | 0 |-4.125000e+02 |-9.900000e+01 | 76.00%
70.28/70.38 c 69.2s| 1 | 0 | 46574 | - | 53M| 0 | 836 |1000 | 15k|1000 |6047 |9254 | 0 | 0 |-4.120000e+02 |-9.900000e+01 | 75.97%
71.38/71.46 c 70.3s| 1 | 0 | 47106 | - | 53M| 0 | 832 |1000 | 15k|1000 |5708 |9278 | 0 | 0 |-4.120000e+02 |-9.900000e+01 | 75.97%
73.46/73.55 c 72.4s| 1 | 0 | 48493 | - | 53M| 0 | 820 |1000 | 15k|1000 |5718 |9288 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 75.91%
76.36/76.42 c 75.2s| 1 | 0 | 50275 | - | 53M| 0 | 827 |1000 | 15k|1000 |5745 |9315 | 0 | 0 |-4.100000e+02 |-9.900000e+01 | 75.85%
78.66/78.70 c 77.5s| 1 | 0 | 51556 | - | 53M| 0 | 820 |1000 | 15k|1000 |5776 |9346 | 0 | 0 |-4.100000e+02 |-9.900000e+01 | 75.85%
82.17/82.29 c 81.1s| 1 | 0 | 53574 | - | 53M| 0 | 816 |1000 | 15k|1000 |5786 |9356 | 0 | 0 |-4.090000e+02 |-9.900000e+01 | 75.79%
85.26/85.35 c 84.1s| 1 | 0 | 55216 | - | 55M| 0 | 843 |1000 | 15k|1000 |5813 |9383 | 0 | 0 |-4.084560e+02 |-9.900000e+01 | 75.76%
87.16/87.23 c 86.0s| 1 | 0 | 56369 | - | 55M| 0 | 820 |1000 | 15k|1000 |4992 |9415 | 0 | 0 |-4.072500e+02 |-9.900000e+01 | 75.69%
89.46/89.53 c 88.2s| 1 | 0 | 57964 | - | 56M| 0 | 850 |1000 | 15k|1000 |5001 |9424 | 0 | 0 |-4.065000e+02 |-9.900000e+01 | 75.65%
90.47/90.52 c 89.2s| 1 | 0 | 58583 | - | 56M| 0 | 813 |1000 | 15k|1000 |5060 |9483 | 0 | 0 |-4.056250e+02 |-9.900000e+01 | 75.59%
93.27/93.36 c 92.0s| 1 | 0 | 60684 | - | 56M| 0 | 864 |1000 | 15k|1000 |5108 |9531 | 0 | 0 |-4.048500e+02 |-9.900000e+01 | 75.55%
98.46/98.59 c 97.2s| 1 | 0 | 64328 | - | 56M| 0 | 811 |1000 | 15k|1000 |5323 |9746 | 0 | 0 |-4.026667e+02 |-9.900000e+01 | 75.41%
101.17/101.25 c 99.8s| 1 | 0 | 66235 | - | 56M| 0 | 829 |1000 | 15k|1000 |5360 |9783 | 0 | 0 |-4.005000e+02 |-9.900000e+01 | 75.28%
103.76/103.89 c 102s| 1 | 0 | 68214 | - | 56M| 0 | 807 |1000 | 15k|1000 |4155 |9812 | 0 | 0 |-3.997500e+02 |-9.900000e+01 | 75.23%
105.06/105.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
105.06/105.13 c 104s| 1 | 0 | 69291 | - | 56M| 0 | 843 |1000 | 15k|1000 |4165 |9822 | 0 | 0 |-3.987500e+02 |-9.900000e+01 | 75.17%
106.06/106.13 c 105s| 1 | 0 | 70037 | - | 56M| 0 | 818 |1000 | 15k|1000 |4226 |9883 | 0 | 0 |-3.980000e+02 |-9.900000e+01 | 75.13%
107.66/107.80 c 106s| 1 | 0 | 71416 | - | 56M| 0 | 869 |1000 | 15k|1000 |4286 |9943 | 0 | 0 |-3.965000e+02 |-9.900000e+01 | 75.03%
110.06/110.12 c 109s| 1 | 0 | 73370 | - | 56M| 0 | 871 |1000 | 15k|1000 |4501 | 10k| 0 | 0 |-3.949643e+02 |-9.900000e+01 | 74.93%
111.86/111.99 c 111s| 1 | 0 | 75001 | - | 57M| 0 | 799 |1000 | 15k|1000 |4707 | 10k| 0 | 0 |-3.937500e+02 |-9.900000e+01 | 74.86%
113.86/113.97 c 112s| 1 | 0 | 76269 | - | 57M| 0 | 864 |1000 | 15k|1000 |4510 | 10k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 74.81%
117.26/117.38 c 116s| 1 | 0 | 78765 | - | 58M| 0 | 852 |1000 | 15k|1000 |4554 | 10k| 0 | 0 |-3.926250e+02 |-9.900000e+01 | 74.79%
119.06/119.11 c 118s| 1 | 0 | 80097 | - | 58M| 0 | 784 |1000 | 15k|1000 |4680 | 10k| 0 | 0 |-3.920000e+02 |-9.900000e+01 | 74.74%
121.36/121.41 c 120s| 1 | 0 | 82215 | - | 58M| 0 | 897 |1000 | 15k|1000 |4692 | 10k| 0 | 0 |-3.911851e+02 |-9.900000e+01 | 74.69%
124.55/124.63 c 123s| 1 | 0 | 84090 | - | 60M| 0 | 795 |1000 | 15k|1000 |5225 | 11k| 0 | 0 |-3.900000e+02 |-9.900000e+01 | 74.62%
126.56/126.65 c 125s| 1 | 0 | 85375 | - | 60M| 0 | 821 |1000 | 15k|1000 |5237 | 11k| 0 | 0 |-3.895000e+02 |-9.900000e+01 | 74.58%
132.15/132.27 c 131s| 1 | 0 | 88579 | - | 61M| 0 | 834 |1000 | 15k|1000 |4915 | 11k| 0 | 0 |-3.890000e+02 |-9.900000e+01 | 74.55%
138.45/138.58 c 137s| 1 | 0 | 92679 | - | 61M| 0 | 872 |1000 | 15k|1000 |5039 | 11k| 0 | 0 |-3.883571e+02 |-9.900000e+01 | 74.51%
142.54/142.65 c 141s| 1 | 0 | 95393 | - | 63M| 0 | 891 |1000 | 15k|1000 |5133 | 11k| 0 | 0 |-3.874306e+02 |-9.900000e+01 | 74.45%
145.15/145.23 c 143s| 1 | 0 | 97463 | - | 67M| 0 | 871 |1000 | 15k|1000 |5199 | 11k| 0 | 0 |-3.864231e+02 |-9.900000e+01 | 74.38%
148.15/148.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
148.15/148.30 c 147s| 1 | 0 | 99570 | - | 68M| 0 | 881 |1000 | 15k|1000 |5283 | 11k| 0 | 0 |-3.861474e+02 |-9.900000e+01 | 74.36%
151.66/151.79 c 150s| 1 | 0 |101189 | - | 68M| 0 | 877 |1000 | 15k|1000 |5452 | 11k| 0 | 0 |-3.857258e+02 |-9.900000e+01 | 74.33%
155.06/155.12 c 153s| 1 | 0 |103390 | - | 69M| 0 | 858 |1000 | 15k|1000 |5145 | 11k| 0 | 0 |-3.852500e+02 |-9.900000e+01 | 74.30%
159.84/159.99 c 158s| 1 | 0 |105956 | - | 71M| 0 | 846 |1000 | 15k|1000 |5253 | 11k| 0 | 0 |-3.847315e+02 |-9.900000e+01 | 74.27%
165.04/165.14 c 163s| 1 | 0 |109112 | - | 73M| 0 | 892 |1000 | 15k|1000 |5304 | 11k| 0 | 0 |-3.840379e+02 |-9.900000e+01 | 74.22%
168.94/169.05 c 167s| 1 | 0 |111191 | - | 74M| 0 | 922 |1000 | 15k|1000 |5472 | 12k| 0 | 0 |-3.831340e+02 |-9.900000e+01 | 74.16%
173.74/173.89 c 172s| 1 | 0 |113075 | - | 74M| 0 | 895 |1000 | 15k|1000 |5733 | 12k| 0 | 0 |-3.821377e+02 |-9.900000e+01 | 74.09%
177.43/177.55 c 176s| 1 | 0 |114503 | - | 74M| 0 | 921 |1000 | 15k|1000 |5740 | 12k| 0 | 0 |-3.813610e+02 |-9.900000e+01 | 74.04%
182.44/182.55 c 181s| 1 | 0 |116338 | - | 74M| 0 | 904 |1000 | 15k|1000 |5373 | 12k| 0 | 0 |-3.808433e+02 |-9.900000e+01 | 74.01%
186.54/186.65 c 185s| 1 | 0 |117689 | - | 75M| 0 | 914 |1000 | 15k|1000 |5406 | 12k| 0 | 0 |-3.800419e+02 |-9.900000e+01 | 73.95%
190.64/190.78 c 189s| 1 | 0 |119207 | - | 75M| 0 | 923 |1000 | 15k|1000 |5457 | 12k| 0 | 0 |-3.793580e+02 |-9.900000e+01 | 73.90%
195.14/195.20 c 193s| 1 | 0 |120968 | - | 75M| 0 | 929 |1000 | 15k|1000 |5535 | 12k| 0 | 0 |-3.788148e+02 |-9.900000e+01 | 73.87%
200.33/200.44 c 198s| 1 | 0 |122962 | - | 75M| 0 | 913 |1000 | 15k|1000 |5605 | 12k| 0 | 0 |-3.778394e+02 |-9.900000e+01 | 73.80%
205.03/205.19 c 203s| 1 | 0 |124691 | - | 75M| 0 | 930 |1000 | 15k|1000 |5628 | 12k| 0 | 0 |-3.772682e+02 |-9.900000e+01 | 73.76%
211.04/211.13 c 209s| 1 | 0 |127111 | - | 75M| 0 | 921 |1000 | 15k|1000 |5334 | 12k| 0 | 0 |-3.765917e+02 |-9.900000e+01 | 73.71%
215.83/215.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.83/215.99 c 214s| 1 | 0 |129133 | - | 75M| 0 | 920 |1000 | 15k|1000 |5375 | 12k| 0 | 0 |-3.757209e+02 |-9.900000e+01 | 73.65%
219.94/220.06 c 218s| 1 | 0 |130616 | - | 75M| 0 | 903 |1000 | 15k|1000 |5517 | 12k| 0 | 0 |-3.748995e+02 |-9.900000e+01 | 73.59%
224.33/224.42 c 222s| 1 | 0 |132417 | - | 75M| 0 | 919 |1000 | 15k|1000 |5577 | 12k| 0 | 0 |-3.739755e+02 |-9.900000e+01 | 73.53%
228.82/228.95 c 227s| 1 | 0 |134026 | - | 75M| 0 | 934 |1000 | 15k|1000 |5604 | 12k| 0 | 0 |-3.734063e+02 |-9.900000e+01 | 73.49%
234.23/234.38 c 232s| 1 | 0 |135985 | - | 75M| 0 | 922 |1000 | 15k|1000 |5738 | 13k| 0 | 0 |-3.726600e+02 |-9.900000e+01 | 73.43%
242.73/242.80 c 240s| 1 | 0 |139300 | - | 76M| 0 | 917 |1000 | 15k|1000 |5486 | 13k| 0 | 0 |-3.713637e+02 |-9.900000e+01 | 73.34%
248.92/249.01 c 247s| 1 | 0 |141902 | - | 76M| 0 | 935 |1000 | 15k|1000 |5507 | 13k| 0 | 0 |-3.698446e+02 |-9.900000e+01 | 73.23%
254.82/254.92 c 252s| 1 | 0 |144630 | - | 77M| 0 | 946 |1000 | 15k|1000 |5616 | 13k| 0 | 0 |-3.680274e+02 |-9.900000e+01 | 73.10%
260.63/260.74 c 258s| 1 | 0 |146891 | - | 77M| 0 | 953 |1000 | 15k|1000 |5817 | 13k| 0 | 0 |-3.670610e+02 |-9.900000e+01 | 73.03%
266.13/266.29 c 264s| 1 | 0 |148831 | - | 77M| 0 | 953 |1000 | 15k|1000 |5897 | 13k| 0 | 0 |-3.663515e+02 |-9.900000e+01 | 72.98%
273.01/273.18 c 271s| 1 | 0 |151399 | - | 77M| 0 | 953 |1000 | 15k|1000 |5977 | 13k| 0 | 0 |-3.652675e+02 |-9.900000e+01 | 72.90%
280.01/280.20 c 278s| 1 | 0 |153744 | - | 77M| 0 | 958 |1000 | 15k|1000 |5829 | 13k| 0 | 0 |-3.637224e+02 |-9.900000e+01 | 72.78%
286.51/286.62 c 284s| 1 | 0 |155669 | - | 77M| 0 | 945 |1000 | 15k|1000 |6016 | 13k| 0 | 0 |-3.624842e+02 |-9.900000e+01 | 72.69%
292.81/292.92 c 290s| 1 | 0 |157676 | - | 77M| 0 | 958 |1000 | 15k|1000 |6115 | 13k| 0 | 0 |-3.615819e+02 |-9.900000e+01 | 72.62%
300.11/300.24 c 297s| 1 | 0 |160293 | - | 77M| 0 | 955 |1000 | 15k|1000 |6191 | 14k| 0 | 0 |-3.604106e+02 |-9.900000e+01 | 72.53%
308.41/308.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.41/308.56 c 306s| 1 | 0 |163474 | - | 77M| 0 | 955 |1000 | 15k|1000 |6297 | 14k| 0 | 0 |-3.585045e+02 |-9.900000e+01 | 72.39%
315.30/315.42 c 313s| 1 | 0 |165901 | - | 77M| 0 | 962 |1000 | 15k|1000 |6407 | 14k| 0 | 0 |-3.575374e+02 |-9.900000e+01 | 72.31%
322.60/322.77 c 320s| 1 | 0 |168386 | - | 77M| 0 | 961 |1000 | 15k|1000 |6197 | 14k| 0 | 0 |-3.564790e+02 |-9.900000e+01 | 72.23%
328.90/329.06 c 326s| 1 | 0 |170282 | - | 77M| 0 | 972 |1000 | 15k|1000 |6230 | 14k| 0 | 0 |-3.559365e+02 |-9.900000e+01 | 72.19%
336.10/336.26 c 333s| 1 | 0 |172559 | - | 76M| 0 | 964 |1000 | 15k|1000 |6285 | 14k| 0 | 0 |-3.551982e+02 |-9.900000e+01 | 72.13%
341.79/341.91 c 339s| 1 | 0 |174034 | - | 76M| 0 | 972 |1000 | 15k|1000 |6313 | 14k| 0 | 0 |-3.548048e+02 |-9.900000e+01 | 72.10%
349.40/349.51 c 346s| 1 | 0 |176312 | - | 76M| 0 | 978 |1000 | 15k|1000 |6356 | 14k| 0 | 0 |-3.542145e+02 |-9.900000e+01 | 72.05%
357.19/357.30 c 354s| 1 | 0 |178519 | - | 76M| 0 | 981 |1000 | 15k|1000 |6484 | 14k| 0 | 0 |-3.532421e+02 |-9.900000e+01 | 71.97%
364.79/364.98 c 362s| 1 | 0 |180842 | - | 76M| 0 | 975 |1000 | 15k|1000 |6106 | 14k| 0 | 0 |-3.523396e+02 |-9.900000e+01 | 71.90%
372.19/372.38 c 369s| 1 | 0 |183190 | - | 76M| 0 | 978 |1000 | 15k|1000 |6169 | 14k| 0 | 0 |-3.513204e+02 |-9.900000e+01 | 71.82%
379.59/379.78 c 377s| 1 | 0 |185341 | - | 76M| 0 | 978 |1000 | 15k|1000 |6243 | 14k| 0 | 0 |-3.506019e+02 |-9.900000e+01 | 71.76%
386.08/386.26 c 383s| 1 | 0 |186890 | - | 76M| 0 | 978 |1000 | 15k|1000 |6315 | 14k| 0 | 0 |-3.503698e+02 |-9.900000e+01 | 71.74%
393.59/393.74 c 390s| 1 | 0 |188977 | - | 76M| 0 | 973 |1000 | 15k|1000 |6364 | 14k| 0 | 0 |-3.497104e+02 |-9.900000e+01 | 71.69%
401.08/401.20 c 398s| 1 | 0 |190906 | - | 76M| 0 | 980 |1000 | 15k|1000 |6402 | 14k| 0 | 0 |-3.492915e+02 |-9.900000e+01 | 71.66%
408.57/408.77 c 405s| 1 | 0 |192750 | - | 76M| 0 | 986 |1000 | 15k|1000 |6160 | 14k| 0 | 0 |-3.488490e+02 |-9.900000e+01 | 71.62%
416.08/416.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
416.08/416.24 c 413s| 1 | 0 |194681 | - | 76M| 0 | 977 |1000 | 15k|1000 |6217 | 15k| 0 | 0 |-3.481064e+02 |-9.900000e+01 | 71.56%
423.07/423.23 c 420s| 1 | 0 |196429 | - | 76M| 0 | 979 |1000 | 15k|1000 |6265 | 15k| 0 | 0 |-3.475979e+02 |-9.900000e+01 | 71.52%
430.07/430.25 c 427s| 1 | 0 |198188 | - | 76M| 0 | 984 |1000 | 15k|1000 |6310 | 15k| 0 | 0 |-3.470033e+02 |-9.900000e+01 | 71.47%
438.28/438.50 c 435s| 1 | 0 |200331 | - | 76M| 0 | 981 |1000 | 15k|1000 |6358 | 15k| 0 | 0 |-3.463793e+02 |-9.900000e+01 | 71.42%
445.67/445.81 c 442s| 1 | 0 |202076 | - | 76M| 0 | 981 |1000 | 15k|1000 |6411 | 15k| 0 | 0 |-3.459378e+02 |-9.900000e+01 | 71.38%
452.76/452.97 c 449s| 1 | 0 |203449 | - | 75M| 0 | 985 |1000 | 15k|1000 |6290 | 15k| 0 | 0 |-3.456260e+02 |-9.900000e+01 | 71.36%
460.77/460.97 c 457s| 1 | 0 |205270 | - | 75M| 0 | 991 |1000 | 15k|1000 |6325 | 15k| 0 | 0 |-3.451977e+02 |-9.900000e+01 | 71.32%
468.47/468.69 c 465s| 1 | 0 |206789 | - | 75M| 0 | 993 |1000 | 15k|1000 |6401 | 15k| 0 | 0 |-3.448076e+02 |-9.900000e+01 | 71.29%
476.96/477.18 c 473s| 1 | 0 |208908 | - | 75M| 0 | 994 |1000 | 15k|1000 |6451 | 15k| 0 | 0 |-3.438093e+02 |-9.900000e+01 | 71.20%
485.16/485.31 c 481s| 1 | 0 |210615 | - | 75M| 0 | 993 |1000 | 15k|1000 |6535 | 15k| 0 | 0 |-3.431495e+02 |-9.900000e+01 | 71.15%
493.85/494.03 c 490s| 1 | 0 |212638 | - | 75M| 0 | 993 |1000 | 15k|1000 |6592 | 15k| 0 | 0 |-3.424519e+02 |-9.900000e+01 | 71.09%
502.95/503.12 c 499s| 1 | 0 |214713 | - | 75M| 0 | 990 |1000 | 15k|1000 |6489 | 15k| 0 | 0 |-3.416955e+02 |-9.900000e+01 | 71.03%
510.06/510.24 c 506s| 1 | 0 |215889 | - | 75M| 0 | 993 |1000 | 15k|1000 |6536 | 15k| 0 | 0 |-3.413329e+02 |-9.900000e+01 | 71.00%
518.96/519.18 c 515s| 1 | 0 |217849 | - | 75M| 0 | 993 |1000 | 15k|1000 |6564 | 15k| 0 | 0 |-3.408019e+02 |-9.900000e+01 | 70.95%
527.35/527.58 c 524s| 1 | 0 |219426 | - | 75M| 0 | 996 |1000 | 15k|1000 |6595 | 15k| 0 | 0 |-3.401881e+02 |-9.900000e+01 | 70.90%
536.55/536.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
536.55/536.71 c 533s| 1 | 0 |221517 | - | 75M| 0 | 994 |1000 | 15k|1000 |6644 | 15k| 0 | 0 |-3.392726e+02 |-9.900000e+01 | 70.82%
545.94/546.17 c 542s| 1 | 0 |223483 | - | 75M| 0 | 995 |1000 | 15k|1000 |6676 | 15k| 0 | 0 |-3.383526e+02 |-9.900000e+01 | 70.74%
553.94/554.16 c 550s| 1 | 0 |224804 | - | 75M| 0 | 996 |1000 | 15k|1000 |6622 | 15k| 0 | 0 |-3.378561e+02 |-9.900000e+01 | 70.70%
563.34/563.54 c 559s| 1 | 0 |226773 | - | 75M| 0 | 995 |1000 | 15k|1000 |6656 | 15k| 0 | 0 |-3.371113e+02 |-9.900000e+01 | 70.63%
571.93/572.15 c 568s| 1 | 0 |228305 | - | 74M| 0 | 993 |1000 | 15k|1000 |6687 | 15k| 0 | 0 |-3.367758e+02 |-9.900000e+01 | 70.60%
580.83/581.06 c 577s| 1 | 0 |230006 | - | 74M| 0 | 992 |1000 | 15k|1000 |6717 | 15k| 0 | 0 |-3.362600e+02 |-9.900000e+01 | 70.56%
589.93/590.12 c 586s| 1 | 0 |231748 | - | 74M| 0 | 993 |1000 | 15k|1000 |6741 | 15k| 0 | 0 |-3.357012e+02 |-9.900000e+01 | 70.51%
598.32/598.59 c 594s| 1 | 0 |232941 | - | 73M| 0 | 993 |1000 | 15k|1000 |6784 | 16k| 0 | 0 |-3.352706e+02 |-9.900000e+01 | 70.47%
605.93/606.17 c 602s| 1 | 0 |233665 | - | 73M| 0 | 997 |1000 | 15k|1000 |6693 | 16k| 0 | 0 |-3.351058e+02 |-9.900000e+01 | 70.46%
614.02/614.27 c 610s| 1 | 0 |234824 | - | 72M| 0 | 997 |1000 | 15k|1000 |6712 | 16k| 0 | 0 |-3.348250e+02 |-9.900000e+01 | 70.43%
622.42/622.65 c 618s| 1 | 0 |235950 | - | 72M| 0 | 994 |1000 | 15k|1000 |6733 | 16k| 0 | 0 |-3.344991e+02 |-9.900000e+01 | 70.40%
630.03/630.24 c 626s| 1 | 0 |236661 | - | 72M| 0 | 996 |1000 | 15k|1000 |6765 | 16k| 0 | 0 |-3.343208e+02 |-9.900000e+01 | 70.39%
638.31/638.52 c 634s| 1 | 0 |237729 | - | 72M| 0 | 996 |1000 | 15k|1000 |6795 | 16k| 0 | 0 |-3.340083e+02 |-9.900000e+01 | 70.36%
646.52/646.78 c 642s| 1 | 0 |238790 | - | 72M| 0 | 997 |1000 | 15k|1000 |6821 | 16k| 0 | 0 |-3.334219e+02 |-9.900000e+01 | 70.31%
655.12/655.34 c 651s| 1 | 0 |239825 | - | 72M| 0 | 999 |1000 | 15k|1000 |6741 | 16k| 0 | 0 |-3.331245e+02 |-9.900000e+01 | 70.28%
663.12/663.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
663.12/663.39 c 659s| 1 | 0 |240824 | - | 72M| 0 | 996 |1000 | 15k|1000 |6768 | 16k| 0 | 0 |-3.328074e+02 |-9.900000e+01 | 70.25%
672.41/672.63 c 668s| 1 | 0 |242259 | - | 72M| 0 | 999 |1000 | 15k|1000 |6789 | 16k| 0 | 0 |-3.323484e+02 |-9.900000e+01 | 70.21%
680.40/680.64 c 676s| 1 | 0 |243157 | - | 72M| 0 | 999 |1000 | 15k|1000 |6814 | 16k| 0 | 0 |-3.320781e+02 |-9.900000e+01 | 70.19%
688.61/688.89 c 684s| 1 | 0 |244108 | - | 71M| 0 | 999 |1000 | 15k|1000 |6836 | 16k| 0 | 0 |-3.317624e+02 |-9.900000e+01 | 70.16%
697.70/697.93 c 693s| 1 | 0 |245293 | - | 69M| 0 | 997 |1000 | 15k|1000 |6855 | 16k| 0 | 0 |-3.312636e+02 |-9.900000e+01 | 70.11%
705.30/705.57 c 701s| 1 | 0 |245997 | - | 69M| 0 | 998 |1000 | 15k|1000 |6821 | 16k| 0 | 0 |-3.310815e+02 |-9.900000e+01 | 70.10%
713.80/714.02 c 709s| 1 | 0 |247008 | - | 69M| 0 | 999 |1000 | 15k|1000 |6834 | 16k| 0 | 0 |-3.306719e+02 |-9.900000e+01 | 70.06%
722.00/722.26 c 717s| 1 | 0 |247748 | - | 69M| 0 | 996 |1000 | 15k|1000 |6858 | 16k| 0 | 0 |-3.304293e+02 |-9.900000e+01 | 70.04%
729.59/729.85 c 725s| 1 | 0 |248293 | - | 69M| 0 | 997 |1000 | 15k|1000 |6870 | 16k| 0 | 0 |-3.302378e+02 |-9.900000e+01 | 70.02%
737.59/737.83 c 733s| 1 | 0 |248964 | - | 69M| 0 | 998 |1000 | 15k|1000 |6882 | 16k| 0 | 0 |-3.300620e+02 |-9.900000e+01 | 70.01%
744.99/745.24 c 740s| 1 | 0 |249363 | - | 69M| 0 | 998 |1000 | 15k|1000 |6894 | 16k| 0 | 0 |-3.299630e+02 |-9.900000e+01 | 70.00%
753.68/753.96 c 749s| 1 | 0 |250262 | - | 69M| 0 | 996 |1000 | 15k|1000 |6843 | 16k| 0 | 0 |-3.296492e+02 |-9.900000e+01 | 69.97%
761.88/762.11 c 757s| 1 | 0 |251021 | - | 69M| 0 | 998 |1000 | 15k|1000 |6863 | 16k| 0 | 0 |-3.294118e+02 |-9.900000e+01 | 69.95%
769.88/770.11 c 765s| 1 | 0 |251685 | - | 69M| 0 |1000 |1000 | 15k|1000 |6883 | 16k| 0 | 0 |-3.291637e+02 |-9.900000e+01 | 69.92%
778.59/778.88 c 774s| 1 | 0 |252747 | - | 69M| 0 | 998 |1000 | 15k|1000 |6897 | 16k| 0 | 0 |-3.287142e+02 |-9.900000e+01 | 69.88%
786.58/786.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.58/786.85 c 782s| 1 | 0 |253298 | - | 68M| 0 | 998 |1000 | 15k|1000 |6918 | 16k| 0 | 0 |-3.285049e+02 |-9.900000e+01 | 69.86%
794.08/794.37 c 789s| 1 | 0 |253736 | - | 68M| 0 | 999 |1000 | 15k|1000 |6937 | 16k| 0 | 0 |-3.283719e+02 |-9.900000e+01 | 69.85%
802.47/802.73 c 797s| 1 | 0 |254510 | - | 67M| 0 | 998 |1000 | 15k|1000 |6902 | 16k| 0 | 0 |-3.281420e+02 |-9.900000e+01 | 69.83%
810.48/810.72 c 805s| 1 | 0 |255291 | - | 67M| 0 | 999 |1000 | 15k|1000 |6913 | 16k| 0 | 0 |-3.279205e+02 |-9.900000e+01 | 69.81%
817.87/818.13 c 813s| 1 | 0 |255864 | - | 67M| 0 | 999 |1000 | 15k|1000 |6926 | 16k| 0 | 0 |-3.277876e+02 |-9.900000e+01 | 69.80%
825.67/825.90 c 820s| 1 | 0 |256563 | - | 66M| 0 | 997 |1000 | 15k|1000 |6941 | 16k| 0 | 0 |-3.276120e+02 |-9.900000e+01 | 69.78%
833.37/833.68 c 828s| 1 | 0 |257310 | - | 66M| 0 | 998 |1000 | 15k|1000 |6951 | 16k| 0 | 0 |-3.273411e+02 |-9.900000e+01 | 69.76%
840.86/841.14 c 836s| 1 | 0 |257829 | - | 65M| 0 | 999 |1000 | 15k|1000 |6966 | 16k| 0 | 0 |-3.272336e+02 |-9.900000e+01 | 69.75%
847.96/848.21 c 843s| 1 | 0 |258156 | - | 65M| 0 | 998 |1000 | 15k|1000 |6944 | 16k| 0 | 0 |-3.271570e+02 |-9.900000e+01 | 69.74%
855.06/855.38 c 850s| 1 | 0 |258499 | - | 64M| 0 | 999 |1000 | 15k|1000 |6957 | 16k| 0 | 0 |-3.270870e+02 |-9.900000e+01 | 69.73%
862.46/862.73 c 857s| 1 | 0 |258914 | - | 62M| 0 | 982 |1000 | 15k|1000 |6967 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
868.36/868.69 c 863s| 1 | 0 |258916 | - | 58M| 0 | 978 |1000 | 15k|1000 |6971 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
874.35/874.63 c 869s| 1 | 0 |258917 | - | 58M| 0 | 979 |1000 | 15k|1000 |6974 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
922.44/922.73 c 917s| 1 | 2 |258917 | - | 58M| 0 | 979 |1000 | 15k|1000 |6974 | 16k| 0 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
926.24/926.57 c 920s| 10000 | 67 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 66 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
930.14/930.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
930.14/930.48 c 924s| 20000 | 63 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 76 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
934.04/934.32 c 928s| 30000 | 66 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 83 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
937.84/938.18 c 932s| 40000 | 66 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 95 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
941.74/942.02 c 935s| 50000 | 63 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 102 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
945.03/945.38 c 939s| 60000 | 62 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 114 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
948.34/948.66 c 942s| 70000 | 64 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 119 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
951.74/952.03 c 945s| 80000 | 65 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 129 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
955.04/955.35 c 948s| 90000 | 64 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 135 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
958.53/958.82 c 951s|100000 | 68 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 144 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
961.93/962.27 c 955s|110000 | 62 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 160 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
965.33/965.65 c 958s|120000 | 61 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 175 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
968.74/969.06 c 961s|130000 | 63 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 182 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
972.43/972.72 c 965s|140000 | 65 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 187 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
976.03/976.33 c 968s|150000 | 66 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 195 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
979.53/979.80 c 972s|160000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 207 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
982.93/983.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
982.93/983.22 c 975s|170000 | 67 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 219 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
986.23/986.55 c 978s|180000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 239 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
989.82/990.12 c 981s|190000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 252 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
993.12/993.45 c 985s|200000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 265 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
996.52/996.88 c 988s|210000 | 63 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 280 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1000.02/1000.33 c 991s|220000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 300 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1003.42/1003.78 c 995s|230000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 310 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1006.92/1007.21 c 998s|240000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 324 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1010.42/1010.72 c 1001s|250000 | 66 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1013.83/1014.10 c 1005s|260000 | 65 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 346 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1017.32/1017.65 c 1008s|270000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 355 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1020.72/1021.06 c 1011s|280000 | 60 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 357 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1024.02/1024.39 c 1014s|290000 | 60 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1027.52/1027.81 c 1018s|300000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 387 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1031.01/1031.31 c 1021s|310000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 400 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1034.41/1034.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1034.41/1034.79 c 1024s|320000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 412 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1037.91/1038.24 c 1028s|330000 | 65 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 425 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1041.32/1041.66 c 1031s|340000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 432 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1044.72/1045.08 c 1034s|350000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 444 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1048.11/1048.48 c 1038s|360000 | 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 458 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1051.71/1052.01 c 1041s|370000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 470 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1055.00/1055.35 c 1044s|380000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 480 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1058.51/1058.81 c 1047s|390000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 493 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1061.80/1062.18 c 1051s|400000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 503 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1065.20/1065.50 c 1054s|410000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 514 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1068.60/1068.92 c 1057s|420000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 537 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1072.00/1072.31 c 1060s|430000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 547 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1075.40/1075.70 c 1064s|440000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 560 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1078.71/1079.09 c 1067s|450000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 616 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1082.20/1082.51 c 1070s|460000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 636 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1085.60/1085.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1085.60/1085.91 c 1073s|470000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 652 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1089.00/1089.33 c 1077s|480000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 657 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1092.70/1093.02 c 1080s|490000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 661 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1096.20/1096.58 c 1084s|500000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 669 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1099.71/1100.07 c 1087s|510000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 686 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1103.00/1103.37 c 1090s|520000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 702 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1106.39/1106.76 c 1093s|530000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 717 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1109.79/1110.16 c 1097s|540000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 734 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1113.29/1113.65 c 1100s|550000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 749 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1116.69/1117.09 c 1103s|560000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 761 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1120.29/1120.64 c 1107s|570000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 771 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1123.58/1123.98 c 1110s|580000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 787 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1126.98/1127.30 c 1113s|590000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 800 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1130.39/1130.78 c 1117s|600000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 821 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1133.88/1134.29 c 1120s|610000 | 67 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 829 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1137.29/1137.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1137.29/1137.65 c 1123s|620000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 835 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1140.68/1141.06 c 1126s|630000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 842 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1144.09/1144.45 c 1130s|640000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 849 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1147.48/1147.89 c 1133s|650000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 856 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1150.98/1151.32 c 1136s|660000 | 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 865 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1154.37/1154.73 c 1140s|670000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 873 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1157.67/1158.02 c 1143s|680000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 887 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1161.07/1161.40 c 1146s|690000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 903 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1164.48/1164.90 c 1149s|700000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 912 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1167.88/1168.24 c 1153s|710000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 920 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1171.38/1171.78 c 1156s|720000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 932 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1174.77/1175.17 c 1159s|730000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 937 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1178.17/1178.59 c 1163s|740000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 946 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1181.67/1182.01 c 1166s|750000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 960 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1185.07/1185.40 c 1169s|760000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 972 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1188.37/1188.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1188.37/1188.73 c 1172s|770000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 983 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1191.77/1192.17 c 1176s|780000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 993 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1195.17/1195.58 c 1179s|790000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 998 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1198.68/1199.03 c 1182s|800000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1004 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1202.17/1202.53 c 1185s|810000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1014 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1205.57/1205.99 c 1189s|820000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1024 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1208.97/1209.34 c 1192s|830000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1033 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1212.47/1212.87 c 1195s|840000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1041 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1215.87/1216.29 c 1199s|850000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1046 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1219.47/1219.82 c 1202s|860000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1055 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1222.77/1223.13 c 1205s|870000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1076 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1226.07/1226.48 c 1208s|880000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1085 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1229.46/1229.88 c 1212s|890000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1093 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1232.77/1233.18 c 1215s|900000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1102 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1236.16/1236.56 c 1218s|910000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1105 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1239.45/1239.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.45/1239.84 c 1221s|920000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1113 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1242.75/1243.19 c 1224s|930000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1120 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1246.05/1246.49 c 1228s|940000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1128 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1249.45/1249.83 c 1231s|950000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1140 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1252.85/1253.24 c 1234s|960000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1156 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1256.16/1256.53 c 1237s|970000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1157 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1259.45/1259.88 c 1241s|980000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1166 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1262.95/1263.32 c 1244s|990000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1177 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1266.35/1266.75 c 1247s| 1000k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1193 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1269.65/1270.08 c 1250s| 1010k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1198 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1273.05/1273.49 c 1254s| 1020k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1209 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1276.44/1276.88 c 1257s| 1030k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1215 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1279.75/1280.16 c 1260s| 1040k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1227 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1283.14/1283.55 c 1263s| 1050k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1243 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1286.66/1287.07 c 1267s| 1060k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1250 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1290.04/1290.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1290.04/1290.48 c 1270s| 1070k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1253 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1293.44/1293.85 c 1273s| 1080k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1261 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1296.94/1297.30 c 1277s| 1090k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1305 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1300.24/1300.63 c 1280s| 1100k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1317 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1303.54/1303.98 c 1283s| 1110k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1324 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1306.84/1307.28 c 1286s| 1120k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1329 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1310.24/1310.69 c 1289s| 1130k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1313.64/1314.07 c 1293s| 1140k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1345 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1317.24/1317.66 c 1296s| 1150k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1351 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1320.53/1320.98 c 1299s| 1160k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1356 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1323.83/1324.28 c 1302s| 1170k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1327.24/1327.66 c 1306s| 1180k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1385 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1330.54/1330.99 c 1309s| 1190k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1395 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1333.84/1334.30 c 1312s| 1200k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1413 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1337.14/1337.58 c 1315s| 1210k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1419 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1340.54/1340.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1340.54/1340.97 c 1318s| 1220k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1430 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1343.93/1344.30 c 1322s| 1230k| 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1440 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1347.22/1347.62 c 1325s| 1240k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1447 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1350.52/1350.96 c 1328s| 1250k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1457 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1353.74/1354.19 c 1331s| 1260k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1468 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1357.12/1357.52 c 1334s| 1270k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1485 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1360.82/1361.29 c 1338s| 1280k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1492 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1364.32/1364.78 c 1341s| 1290k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1521 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1367.62/1368.01 c 1344s| 1300k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1542 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1370.93/1371.30 c 1348s| 1310k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1566 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1374.12/1374.57 c 1351s| 1320k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1577 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1377.72/1378.12 c 1354s| 1330k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1592 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1381.12/1381.60 c 1358s| 1340k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1610 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1384.72/1385.12 c 1361s| 1350k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1637 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1388.02/1388.48 c 1364s| 1360k| 58 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1650 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1392.02/1392.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.02/1392.45 c 1368s| 1370k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1662 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1395.72/1396.17 c 1372s| 1380k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1684 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1399.12/1399.52 c 1375s| 1390k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1693 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1402.41/1402.86 c 1378s| 1400k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1705 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1405.81/1406.25 c 1381s| 1410k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1723 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1409.22/1409.62 c 1384s| 1420k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1735 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1412.62/1413.08 c 1388s| 1430k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1742 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1416.11/1416.54 c 1391s| 1440k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1753 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1419.51/1419.98 c 1394s| 1450k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1768 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1423.11/1423.51 c 1398s| 1460k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1773 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1426.41/1426.85 c 1401s| 1470k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1780 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1429.81/1430.26 c 1404s| 1480k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1794 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1433.21/1433.68 c 1408s| 1490k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1806 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1436.70/1437.14 c 1411s| 1500k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1815 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1439.90/1440.39 c 1414s| 1510k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1827 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1443.40/1443.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1443.40/1443.82 c 1417s| 1520k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1842 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1446.70/1447.15 c 1420s| 1530k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1849 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1450.00/1450.49 c 1424s| 1540k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1873 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1453.40/1453.88 c 1427s| 1550k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1884 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1456.90/1457.30 c 1430s| 1560k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1900 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1460.19/1460.60 c 1433s| 1570k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1904 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1463.50/1463.90 c 1437s| 1580k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1909 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1466.79/1467.27 c 1440s| 1590k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1913 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1470.10/1470.59 c 1443s| 1600k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1920 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1473.50/1473.93 c 1446s| 1610k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1930 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1476.80/1477.22 c 1449s| 1620k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1941 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1480.10/1480.52 c 1452s| 1630k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1961 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1483.39/1483.90 c 1456s| 1640k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1971 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1486.89/1487.30 c 1459s| 1650k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1979 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1490.19/1490.68 c 1462s| 1660k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1987 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1493.59/1494.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1493.59/1494.04 c 1465s| 1670k| 58 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1993 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1496.89/1497.39 c 1469s| 1680k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1998 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1500.49/1500.92 c 1472s| 1690k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2009 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1503.78/1504.29 c 1475s| 1700k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2028 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1507.28/1507.71 c 1479s| 1710k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2043 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1510.48/1510.93 c 1482s| 1720k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2060 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1513.79/1514.23 c 1485s| 1730k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2070 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1517.09/1517.56 c 1488s| 1740k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2086 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1520.38/1520.87 c 1491s| 1750k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2097 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1523.78/1524.23 c 1494s| 1760k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2111 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1527.08/1527.55 c 1498s| 1770k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2124 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1530.38/1530.83 c 1501s| 1780k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2143 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1533.58/1534.09 c 1504s| 1790k| 67 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2166 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1536.97/1537.40 c 1507s| 1800k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2185 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1540.28/1540.74 c 1510s| 1810k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2200 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1543.58/1544.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1543.58/1544.03 c 1514s| 1820k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2210 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1546.98/1547.42 c 1517s| 1830k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2242 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1550.67/1551.16 c 1520s| 1840k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2278 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1554.18/1554.63 c 1524s| 1850k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2315 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1557.37/1557.88 c 1527s| 1860k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1560.67/1561.17 c 1530s| 1870k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2354 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1563.97/1564.43 c 1533s| 1880k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2364 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1567.17/1567.67 c 1536s| 1890k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2370 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1570.47/1570.99 c 1539s| 1900k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2380 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1573.77/1574.29 c 1543s| 1910k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2411 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1577.07/1577.58 c 1546s| 1920k| 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2435 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1580.47/1580.94 c 1549s| 1930k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2449 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1583.77/1584.29 c 1552s| 1940k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2474 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1587.07/1587.58 c 1555s| 1950k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2495 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1590.37/1590.87 c 1558s| 1960k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2516 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1593.76/1594.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1593.76/1594.21 c 1562s| 1970k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2551 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1597.16/1597.60 c 1565s| 1980k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2566 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1600.66/1601.11 c 1568s| 1990k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2576 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1604.16/1604.66 c 1572s| 2000k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2592 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1607.56/1608.07 c 1575s| 2010k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2603 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1610.97/1611.44 c 1578s| 2020k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2608 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1614.56/1615.03 c 1582s| 2030k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2618 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1617.96/1618.49 c 1585s| 2040k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2642 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1621.36/1621.86 c 1588s| 2050k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2657 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1624.65/1625.19 c 1591s| 2060k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2675 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1627.96/1628.45 c 1594s| 2070k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2701 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1631.35/1631.81 c 1598s| 2080k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2727 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1634.75/1635.25 c 1601s| 2090k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2747 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1638.05/1638.54 c 1604s| 2100k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2763 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1641.45/1641.91 c 1607s| 2110k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2774 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1644.75/1645.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1644.75/1645.27 c 1611s| 2120k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2797 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1648.15/1648.63 c 1614s| 2130k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2832 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1651.55/1652.00 c 1617s| 2140k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2864 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1654.96/1655.42 c 1620s| 2150k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2872 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1658.35/1658.88 c 1624s| 2160k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2894 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1661.84/1662.31 c 1627s| 2170k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2919 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1665.14/1665.66 c 1630s| 2180k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2935 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1668.44/1668.94 c 1633s| 2190k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2959 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1671.74/1672.28 c 1637s| 2200k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2982 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1675.24/1675.75 c 1640s| 2210k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2999 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1678.64/1679.13 c 1643s| 2220k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3003 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1682.04/1682.55 c 1646s| 2230k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3010 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1685.64/1686.12 c 1650s| 2240k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3018 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1689.15/1689.64 c 1653s| 2250k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3058 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1692.63/1693.15 c 1657s| 2260k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3080 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1696.13/1696.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1696.13/1696.63 c 1660s| 2270k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3090 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1699.53/1700.07 c 1663s| 2280k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3104 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1702.93/1703.44 c 1667s| 2290k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3111 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1706.34/1706.85 c 1670s| 2300k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3116 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1709.73/1710.24 c 1673s| 2310k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3120 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1713.24/1713.70 c 1676s| 2320k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3133 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1716.53/1717.05 c 1680s| 2330k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3143 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1720.03/1720.52 c 1683s| 2340k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3155 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1723.43/1723.91 c 1686s| 2350k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3174 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1726.63/1727.13 c 1689s| 2360k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3188 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1730.13/1730.68 c 1693s| 2370k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3200 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1733.63/1734.12 c 1696s| 2380k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3207 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1737.02/1737.57 c 1699s| 2390k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3221 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1740.52/1741.04 c 1703s| 2400k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3223 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1743.92/1744.47 c 1706s| 2410k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3229 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1747.22/1747.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1747.22/1747.74 c 1709s| 2420k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3245 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1750.63/1751.17 c 1712s| 2430k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3259 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1753.93/1754.47 c 1716s| 2440k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3268 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1757.42/1757.96 c 1719s| 2450k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3275 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1760.92/1761.44 c 1722s| 2460k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3283 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1764.32/1764.84 c 1725s| 2470k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3298 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1767.71/1768.22 c 1729s| 2480k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3301 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1771.02/1771.52 c 1732s| 2490k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3312 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1774.32/1774.86 c 1735s| 2500k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3321 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1777.71/1778.25 c 1738s| 2510k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3322 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1781.22/1781.72 c 1742s| 2520k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3334 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1784.72/1785.25 c 1745s| 2530k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3344 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1788.21/1788.77 c 1749s| 2540k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3363 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1791.62/1792.13 c 1752s| 2550k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3369 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1794.91/1795.43 c 1755s| 2560k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1798.21/1798.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1798.21/1798.72 c 1758s| 2570k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3382 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1759.76
1800.01/1800.50 c Solving Nodes : 2575441
1800.01/1800.50 c Primal Bound : -9.90000000000000e+01 (49 solutions)
1800.01/1800.50 c Dual Bound : -3.26999999999999e+02
1800.01/1800.50 c Gap : 69.72 %
1800.01/1800.54 s SATISFIABLE
1800.01/1800.54 v x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1800.01/1800.54 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1800.01/1800.54 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1800.01/1800.54 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.01/1800.54 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1800.01/1800.54 v -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.01/1800.54 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1800.01/1800.54 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.01/1800.54 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.01/1800.54 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1800.01/1800.54 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1800.01/1800.54 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1800.01/1800.54 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1800.01/1800.54 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1800.01/1800.54 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1800.01/1800.54 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1800.01/1800.54 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1800.01/1800.54 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1800.01/1800.54 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1800.01/1800.54 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1800.01/1800.54 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1800.01/1800.54 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1800.01/1800.54 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1800.01/1800.54 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1800.01/1800.54 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1800.01/1800.54 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1800.01/1800.54 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1800.01/1800.54 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1800.01/1800.54 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1800.01/1800.54 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1800.01/1800.54 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1800.01/1800.54 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1800.01/1800.54 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1800.01/1800.54 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1800.01/1800.54 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1800.01/1800.54 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1800.01/1800.54 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1800.01/1800.54 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1800.01/1800.54 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1800.01/1800.54 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1800.01/1800.54 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1800.01/1800.54 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1800.01/1800.54 v -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93
1800.01/1800.54 v -x92 -x91 -x90 -x89 -x88 x87 -x86 -x85 x84 -x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 x69 -x68 x67 x66
1800.01/1800.54 v x65 x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 x56 x55 -x54 -x53 x52 -x51 -x50 x49 -x48 -x47 x46 -x45 -x44 -x43 -x42 -x41 -x40
1800.01/1800.54 v x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 x21 -x20 -x19 x18 x17 x16 -x15 x14 -x13
1800.01/1800.54 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1800.01/1800.54 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.54 c Solving Time : 1759.76
1800.01/1800.54 c Original Problem :
1800.01/1800.54 c Problem name : HOME/instance-2666680-1276661702.opb
1800.01/1800.54 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.54 c Constraints : 16820 initial, 16820 maximal
1800.01/1800.54 c Presolved Problem :
1800.01/1800.54 c Problem name : t_HOME/instance-2666680-1276661702.opb
1800.01/1800.54 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.54 c Constraints : 15820 initial, 15826 maximal
1800.01/1800.54 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.54 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.54 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.54 c probing : 0.10 0 0 0 0 0 0 0 0
1800.01/1800.54 c linear : 0.10 15820 0 0 15820 0 1000 0 0
1800.01/1800.54 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.01/1800.54 c root node : - 0 - - 0 - - - -
1800.01/1800.54 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.54 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.54 c logicor : 15820+ 190 2527697 0 0 15321 4287319 16865 0 0
1800.01/1800.54 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.54 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.54 c integral : 41.80 0.00 0.00 41.80 0.00
1800.01/1800.54 c logicor : 62.30 0.79 61.51 0.00 0.00
1800.01/1800.54 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.54 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.54 c vbounds : 2.13 2 0 0
1800.01/1800.54 c rootredcost : 2.08 0 0 0
1800.01/1800.54 c pseudoobj : 354.60 4323447 1078243 3924831
1800.01/1800.54 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.54 c propagation : 14.87 15321 3388 3388 74.4 0 0.0 -
1800.01/1800.54 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.54 c pseudo solution : 281.00 184086 0 0 0.0 0 0.0 -
1800.01/1800.54 c applied globally : - - - 3388 74.4 - - -
1800.01/1800.54 c applied locally : - - - 0 0.0 - - -
1800.01/1800.54 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.54 c cut pool : 1.37 189 - - 3862 - (maximal pool size: 12535)
1800.01/1800.54 c redcost : 0.02 190 0 0 0 0
1800.01/1800.54 c impliedbounds : 0.40 189 0 0 21086 0
1800.01/1800.54 c intobj : 0.00 0 0 0 0 0
1800.01/1800.54 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.54 c gomory : 466.20 188 0 0 64953 0
1800.01/1800.54 c strongcg : 2.79 20 0 0 10000 0
1800.01/1800.54 c cmir : 0.90 10 0 0 0 0
1800.01/1800.54 c flowcover : 0.71 10 0 0 0 0
1800.01/1800.54 c clique : 6.88 188 0 0 1550 0
1800.01/1800.54 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.54 c mcf : 0.03 1 0 0 0 0
1800.01/1800.54 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.54 c Pricers : Time Calls Vars
1800.01/1800.54 c problem variables: 0.00 0 0
1800.01/1800.54 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.54 c relpscost : 41.80 1 0 0 0 0 2
1800.01/1800.54 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.54 c inference : 17.66 1298962 0 0 0 0 2597924
1800.01/1800.54 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.54 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.54 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.54 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.54 c random : 0.00 0 0 0 0 0 0
1800.01/1800.54 c Primal Heuristics : Time Calls Found
1800.01/1800.54 c LP solutions : 0.00 - 0
1800.01/1800.54 c pseudo solutions : 0.00 - 0
1800.01/1800.54 c crossover : 0.00 0 0
1800.01/1800.54 c oneopt : 1.45 2 1
1800.01/1800.54 c trivial : 0.05 2 2
1800.01/1800.54 c simplerounding : 0.24 190 44
1800.01/1800.54 c zirounding : 0.00 1 0
1800.01/1800.54 c rounding : 11.95 190 1
1800.01/1800.54 c shifting : 12.42 190 1
1800.01/1800.54 c intshifting : 0.00 0 0
1800.01/1800.54 c twoopt : 0.00 0 0
1800.01/1800.54 c fixandinfer : 0.00 0 0
1800.01/1800.54 c feaspump : 0.00 0 0
1800.01/1800.54 c coefdiving : 0.00 0 0
1800.01/1800.54 c pscostdiving : 0.00 0 0
1800.01/1800.54 c fracdiving : 0.00 0 0
1800.01/1800.54 c veclendiving : 0.00 0 0
1800.01/1800.54 c intdiving : 0.00 0 0
1800.01/1800.54 c actconsdiving : 0.00 0 0
1800.01/1800.54 c objpscostdiving : 0.00 0 0
1800.01/1800.54 c rootsoldiving : 0.00 0 0
1800.01/1800.54 c linesearchdiving : 0.00 0 0
1800.01/1800.54 c guideddiving : 0.00 0 0
1800.01/1800.54 c octane : 0.00 0 0
1800.01/1800.54 c rens : 0.01 0 0
1800.01/1800.54 c rins : 0.00 0 0
1800.01/1800.54 c localbranching : 0.00 0 0
1800.01/1800.54 c mutation : 0.00 0 0
1800.01/1800.54 c dins : 0.00 0 0
1800.01/1800.54 c undercover : 0.00 0 0
1800.01/1800.54 c nlp : 1.33 0 0
1800.01/1800.54 c trysol : 1.21 0 0
1800.01/1800.54 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.54 c primal LP : 0.31 0 0 0.00 0.00
1800.01/1800.54 c dual LP : 365.36 190 258917 1362.72 708.66
1800.01/1800.54 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.54 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.54 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.54 c strong branching : 41.80 21 20002 952.48 478.52
1800.01/1800.54 c (at root node) : - 21 20002 952.48 -
1800.01/1800.54 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.54 c B&B Tree :
1800.01/1800.54 c number of runs : 1
1800.01/1800.54 c nodes : 2575441
1800.01/1800.54 c nodes (total) : 2575441
1800.01/1800.54 c nodes left : 63
1800.01/1800.54 c max depth : 88
1800.01/1800.54 c max depth (total): 88
1800.01/1800.54 c backtracks : 638860 (24.8%)
1800.01/1800.54 c delayed cutoffs : 1437
1800.01/1800.54 c repropagations : 2616 (9605 domain reductions, 1172 cutoffs)
1800.01/1800.54 c avg switch length: 2.00
1800.01/1800.54 c switching time : 50.06
1800.01/1800.54 c Solution :
1800.01/1800.54 c Solutions found : 49 (4 improvements)
1800.01/1800.54 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.16 seconds, depth 0, found by <trivial>)
1800.01/1800.54 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 2.37 seconds, depth 0, found by <oneopt>)
1800.01/1800.54 c Dual Bound : -3.26999999999999e+02
1800.01/1800.54 c Gap : 69.72 %
1800.01/1800.54 c Root Dual Bound : -3.26999999999999e+02
1800.01/1800.54 c Root Iterations : 258917
1800.13/1800.68 c Time complete: 1800.19.
OK -99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666680-1276661702/watcher-2666680-1276661702 -o /tmp/evaluation-result-2666680-1276661702/solver-2666680-1276661702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666680-1276661702.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 13900 /proc/meminfo: memFree=1679188/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=7872 CPUtime=0 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 1026 0 0 0 0 0 0 0 18 0 1 0 7463060 8060928 946 1992294400 4194304 8223781 140735228386400 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13900/statm: 1968 956 348 984 0 981 0 [startup+0.0426441 s] /proc/loadavg: 0.99 0.97 0.99 3/106 13900 /proc/meminfo: memFree=1679188/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=14000 CPUtime=0.04 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 2783 0 0 0 3 1 0 0 20 0 1 0 7463060 14336000 2703 1992294400 4194304 8223781 140735228386400 18446744073709551615 4361667 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13900/statm: 3500 2703 366 984 0 2513 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 14000 [startup+0.10165 s] /proc/loadavg: 0.99 0.97 0.99 3/106 13900 /proc/meminfo: memFree=1679188/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=19060 CPUtime=0.09 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 4042 0 0 0 8 1 0 0 20 0 1 0 7463060 19517440 3962 1992294400 4194304 8223781 140735228386400 18446744073709551615 4768633 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13900/statm: 4765 3962 366 984 0 3778 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19060 [startup+0.300673 s] /proc/loadavg: 0.99 0.97 0.99 3/106 13900 /proc/meminfo: memFree=1679188/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=46108 CPUtime=0.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 11143 0 0 0 26 3 0 0 20 0 1 0 7463060 47214592 10699 1992294400 4194304 8223781 140735228386400 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 11527 10699 383 984 0 10540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 46108 [startup+0.700716 s] /proc/loadavg: 0.99 0.97 0.99 3/106 13900 /proc/meminfo: memFree=1679188/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=64296 CPUtime=0.69 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 15542 0 0 0 62 7 0 0 20 0 1 0 7463060 65839104 14745 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 16074 14745 432 984 0 15087 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 64296 [startup+1.5008 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1619412/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=86244 CPUtime=1.49 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 22262 0 0 0 129 20 0 0 23 0 1 0 7463060 88313856 19842 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 21561 19842 538 984 0 20574 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 86244 [startup+3.10098 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1600068/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=90848 CPUtime=3.09 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 24077 0 0 0 286 23 0 0 25 0 1 0 7463060 93028352 20607 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 22712 20607 592 984 0 21725 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90848 [startup+6.30133 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1597836/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=91296 CPUtime=6.29 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 25903 0 0 0 600 29 0 0 25 0 1 0 7463060 93487104 20700 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 22824 20700 574 984 0 21837 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 91296 [startup+12.701 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1590892/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=98688 CPUtime=12.69 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 32072 0 0 0 1234 35 0 0 25 0 1 0 7463060 101056512 22628 1992294400 4194304 8223781 140735228386400 18446744073709551615 6250729 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 24672 22628 576 984 0 23685 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 98688 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1569316/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=118704 CPUtime=25.48 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 48314 0 0 0 2498 50 0 0 25 0 1 0 7463060 121552896 28080 1992294400 4194304 8223781 140735228386400 18446744073709551615 6559371 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 29676 28080 568 984 0 28689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 118704 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13901 /proc/meminfo: memFree=1560636/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=126656 CPUtime=51.07 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 71438 0 0 0 5034 73 0 0 25 0 1 0 7463060 129695744 30029 1992294400 4194304 8223781 140735228386400 18446744073709551615 6614444 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 31664 30029 570 984 0 30677 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 126656 [startup+102.309 s] /proc/loadavg: 1.03 0.99 0.99 2/107 13903 /proc/meminfo: memFree=1549104/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=138104 CPUtime=102.27 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 113269 0 0 0 10111 116 0 0 25 0 1 0 7463060 141418496 32756 1992294400 4194304 8223781 140735228386400 18446744073709551615 6532643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 34526 32756 568 984 0 33539 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 138104 [startup+162.301 s] /proc/loadavg: 1.11 1.02 1.00 2/107 13905 /proc/meminfo: memFree=1537076/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150264 CPUtime=162.24 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 159020 0 0 0 16062 162 0 0 25 0 1 0 7463060 153870336 35703 1992294400 4194304 8223781 140735228386400 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37566 35703 569 984 0 36579 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 150264 [startup+222.301 s] /proc/loadavg: 1.22 1.06 1.01 2/107 13907 /proc/meminfo: memFree=1534348/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=153532 CPUtime=222.23 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 188551 0 0 0 22023 200 0 0 25 0 1 0 7463060 157216768 36192 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 38383 36192 568 984 0 37396 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 153532 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.01 2/107 13907 /proc/meminfo: memFree=1531496/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157344 CPUtime=282.21 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 218730 0 0 0 27983 238 0 0 25 0 1 0 7463060 161120256 37074 1992294400 4194304 8223781 140735228386400 18446744073709551615 7070951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39336 37074 568 984 0 38349 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 157344 [startup+342.301 s] /proc/loadavg: 1.03 1.03 1.00 2/107 13909 /proc/meminfo: memFree=1530256/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157108 CPUtime=342.19 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 244286 0 0 0 33948 271 0 0 25 0 1 0 7463060 160878592 37323 1992294400 4194304 8223781 140735228386400 18446744073709551615 6050073 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39277 37323 572 984 0 38290 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 157108 [startup+402.301 s] /proc/loadavg: 1.01 1.03 1.00 2/107 13911 /proc/meminfo: memFree=1530132/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157080 CPUtime=402.18 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 264795 0 0 0 39913 305 0 0 25 0 1 0 7463060 160849920 37330 1992294400 4194304 8223781 140735228386400 18446744073709551615 6043636 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39270 37330 568 984 0 38283 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 157080 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13913 /proc/meminfo: memFree=1530008/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157084 CPUtime=462.16 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 285285 0 0 0 45880 336 0 0 25 0 1 0 7463060 160854016 37351 1992294400 4194304 8223781 140735228386400 18446744073709551615 6299558 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39271 37351 568 984 0 38284 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 157084 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13915 /proc/meminfo: memFree=1529884/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157128 CPUtime=522.15 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 303939 0 0 0 51852 363 0 0 25 0 1 0 7463060 160899072 37388 1992294400 4194304 8223781 140735228386400 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39282 37388 568 984 0 38295 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 157128 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13915 /proc/meminfo: memFree=1529760/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=157264 CPUtime=582.13 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 322391 0 0 0 57819 394 0 0 25 0 1 0 7463060 161038336 37394 1992294400 4194304 8223781 140735228386400 18446744073709551615 6047821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 39316 37394 568 984 0 38329 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 157264 [startup+642.302 s] /proc/loadavg: 1.04 1.02 1.00 2/107 13917 /proc/meminfo: memFree=1531496/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=155288 CPUtime=642.13 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 335892 0 0 0 63797 416 0 0 25 0 1 0 7463060 159014912 36948 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 38822 36948 568 984 0 37835 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 155288 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13923 /proc/meminfo: memFree=1533232/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=153200 CPUtime=882.05 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 390778 0 0 0 87679 526 0 0 25 0 1 0 7463060 156876800 36393 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 38300 36393 576 984 0 37313 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 153200 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13925 /proc/meminfo: memFree=1534720/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=942.03 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 93578 625 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 150776 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13927 /proc/meminfo: memFree=1534720/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1002.02 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 99341 861 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 150776 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 13932 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1062.01 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 105097 1104 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 150776 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13934 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1121.98 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 110858 1340 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 150776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13934 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1181.97 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 116627 1570 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5907457 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 150776 [startup+1242.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 13936 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1241.95 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 122384 1811 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 150776 [startup+1302.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13938 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1301.94 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 128154 2040 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 150776 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13940 /proc/meminfo: memFree=1533976/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1361.92 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 133917 2275 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5917632 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 150776 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13942 /proc/meminfo: memFree=1533852/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1421.92 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 139683 2509 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5913412 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 150776 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13942 /proc/meminfo: memFree=1533728/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1481.89 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 145439 2750 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5918834 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 150776 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13944 /proc/meminfo: memFree=1533604/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1541.88 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 151208 2980 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5907472 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 150776 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13946 /proc/meminfo: memFree=1533480/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1601.86 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 156964 3222 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 150776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13948 /proc/meminfo: memFree=1533356/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1661.84 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 162724 3460 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5905992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 150776 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13950 /proc/meminfo: memFree=1533232/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1721.83 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 168485 3698 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 4350000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 150776 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13950 /proc/meminfo: memFree=1533108/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1781.82 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 174250 3932 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5917706 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 150776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13952 /proc/meminfo: memFree=1533108/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=150776 CPUtime=1800.01 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432042 0 0 0 175997 4004 0 0 25 0 1 0 7463060 154394624 35937 1992294400 4194304 8223781 140735228386400 18446744073709551615 5907491 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/13900/statm: 37694 35937 582 984 0 36707 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 150776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13953 /proc/meminfo: memFree=1539920/2059040 swapFree=4192956/4192956 [pid=13900] ppid=13898 vsize=143876 CPUtime=1800.13 /proc/13900/stat : 13900 (pbscip.linux.x8) R 13898 13900 13757 0 -1 4202496 432046 0 0 0 176008 4005 0 0 25 0 1 0 7463060 147329024 34225 1992294400 4194304 8223781 140735228386400 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13900/statm: 35969 34225 586 984 0 34982 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 143876 Child status: 0 Real time (s): 1800.69 CPU time (s): 1800.21 CPU user time (s): 1760.14 CPU system time (s): 40.0669 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 158492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1760.14 system time used= 40.0669 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 432050 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6688 runsolver used 3.18751 second user time and 8.33273 second system time The end
Begin job on node037 at 2010-06-16 06:15:02 IDJOB=2666680 IDBENCH=48193 IDSOLVER=1169 FILE ID=node037/2666680-1276661702 PBS_JOBID= 11172498 Free space on /tmp= 62584 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666680-1276661702/watcher-2666680-1276661702 -o /tmp/evaluation-result-2666680-1276661702/solver-2666680-1276661702 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666680-1276661702.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=114884921 node037.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1679716 kB Buffers: 83208 kB Cached: 158864 kB SwapCached: 0 kB Active: 130996 kB Inactive: 170428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1679716 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4992 kB Writeback: 0 kB AnonPages: 59376 kB Mapped: 15384 kB Slab: 56204 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180452 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62580 MiB End job on node037 at 2010-06-16 06:45:05