Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | -99 | 1789.71 | 1790.18 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703249-1278569058.opb>
0.09/0.19 c original problem has 16820 variables (16820 bin, 0 int, 0 impl, 0 cont) and 16820 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.39/0.41 o 0
0.39/0.41 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.41 c presolving:
0.69/0.76 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
0.89/0.97 c (0.8s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.97 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.89/0.97 c presolving (2 rounds):
0.89/0.97 c 15820 deleted vars, 1000 deleted constraints, 15820 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.97 c 94920 implications, 0 cliques
0.89/0.97 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15820 constraints
0.89/0.97 c 15820 constraints of type <logicor>
0.89/0.97 c transformed objective value is always integral (scale: 1)
0.89/0.97 c Presolving Time: 0.67
0.89/0.97 c - non default parameters ----------------------------------------------------------------------
0.89/0.97 c # SCIP version 1.2.1.3
0.89/0.97 c
0.89/0.97 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.97 c conflict/interconss = 0
0.89/0.97 c
0.89/0.97 c # should binary conflicts be preferred?
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c conflict/preferbinary = TRUE
0.89/0.97 c
0.89/0.97 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 0]
0.89/0.97 c constraints/agelimit = 1
0.89/0.97 c
0.89/0.97 c # should enforcement of pseudo solution be disabled?
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/disableenfops = TRUE
0.89/0.97 c
0.89/0.97 c # frequency for displaying node information lines
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.97 c display/freq = 10000
0.89/0.97 c
0.89/0.97 c # maximal time in seconds to run
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/time = 1789.81
0.89/0.97 c
0.89/0.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.97 c limits/memory = 1620
0.89/0.97 c
0.89/0.97 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.89/0.97 c # [type: int, range: [-1,2147483647], default: 1]
0.89/0.97 c lp/solvefreq = 0
0.89/0.97 c
0.89/0.97 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.89/0.97 c # [type: char, range: {lafpsqd}, default: l]
0.89/0.97 c lp/pricing = a
0.89/0.97 c
0.89/0.97 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.97 c # [type: int, range: [1,2], default: 1]
0.89/0.97 c timing/clocktype = 2
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify inequalities
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/linear/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/indicator/addCouplingCons = TRUE
0.89/0.97 c
0.89/0.97 c # should presolving try to simplify knapsacks
0.89/0.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.97 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.97 c
0.89/0.97 c # priority of node selection rule <dfs> in standard mode
0.89/0.97 c # [type: int, range: [-536870912,536870911], default: 0]
0.89/0.97 c nodeselection/dfs/stdpriority = 1000000
0.89/0.97 c
0.89/0.97 c -----------------------------------------------------------------------------------------------
0.89/0.97 c start solving
0.89/0.97 c
1.59/1.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.59/1.68 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.69/1.76 o -1
1.69/1.76 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.79/1.85 o -2
1.79/1.85 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.59/2.61 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.59/2.62 o -99
2.59/2.62 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.69/3.70 c 3.5s| 1 | 0 | 1368 | - | 44M| 0 | 982 |1000 | 15k|1000 | 15k| 21 | 0 | 0 |-4.910000e+02 |-9.900000e+01 | 79.84%
4.79/4.86 c 4.7s| 1 | 0 | 1587 | - | 44M| 0 | 974 |1000 | 15k|1000 | 15k| 33 | 0 | 0 |-4.870000e+02 |-9.900000e+01 | 79.67%
5.79/5.85 c 5.7s| 1 | 0 | 1717 | - | 44M| 0 | 970 |1000 | 15k|1000 | 15k| 41 | 0 | 0 |-4.850000e+02 |-9.900000e+01 | 79.59%
6.79/6.80 c 6.6s| 1 | 0 | 1804 | - | 44M| 0 | 965 |1000 | 15k|1000 | 15k| 48 | 0 | 0 |-4.825000e+02 |-9.900000e+01 | 79.48%
7.78/7.83 c 7.6s| 1 | 0 | 1942 | - | 44M| 0 | 959 |1000 | 15k|1000 | 15k| 60 | 0 | 0 |-4.795000e+02 |-9.900000e+01 | 79.35%
9.29/9.38 c 9.2s| 1 | 0 | 2235 | - | 44M| 0 | 952 |1000 | 15k|1000 | 15k| 71 | 0 | 0 |-4.760000e+02 |-9.900000e+01 | 79.20%
10.89/10.96 c 10.8s| 1 | 0 | 2477 | - | 44M| 0 | 948 |1000 | 15k|1000 | 15k| 83 | 0 | 0 |-4.740000e+02 |-9.900000e+01 | 79.11%
12.79/12.87 c 12.7s| 1 | 0 | 2873 | - | 44M| 0 | 940 |1000 | 15k|1000 | 15k| 95 | 0 | 0 |-4.700000e+02 |-9.900000e+01 | 78.94%
14.19/14.23 c 14.0s| 1 | 0 | 3044 | - | 44M| 0 | 937 |1000 | 15k|1000 | 15k| 105 | 0 | 0 |-4.685000e+02 |-9.900000e+01 | 78.87%
16.69/16.79 c 16.6s| 1 | 0 | 3574 | - | 45M| 0 | 932 |1000 | 15k|1000 |1399 | 114 | 0 | 0 |-4.660000e+02 |-9.900000e+01 | 78.76%
17.19/17.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.19/17.24 c 17.0s| 1 | 0 | 3986 | - | 45M| 0 | 921 |1000 | 15k|1000 |1406 | 121 | 0 | 0 |-4.655000e+02 |-9.900000e+01 | 78.73%
17.89/17.94 c 17.7s| 1 | 0 | 4481 | - | 45M| 0 | 910 |1000 | 15k|1000 |1558 | 273 | 0 | 0 |-4.640000e+02 |-9.900000e+01 | 78.66%
18.39/18.47 c 18.3s| 1 | 0 | 4826 | - | 45M| 0 | 933 |1000 | 15k|1000 |1791 | 506 | 0 | 0 |-4.622500e+02 |-9.900000e+01 | 78.58%
19.09/19.12 c 18.9s| 1 | 0 | 5275 | - | 46M| 0 | 915 |1000 | 15k|1000 |2288 |1003 | 0 | 0 |-4.605000e+02 |-9.900000e+01 | 78.50%
19.59/19.70 c 19.5s| 1 | 0 | 5827 | - | 46M| 0 | 917 |1000 | 15k|1000 |2374 |1089 | 0 | 0 |-4.595000e+02 |-9.900000e+01 | 78.45%
20.29/20.32 c 20.1s| 1 | 0 | 6167 | - | 46M| 0 | 914 |1000 | 15k|1000 |2069 |1119 | 0 | 0 |-4.587500e+02 |-9.900000e+01 | 78.42%
20.89/20.99 c 20.8s| 1 | 0 | 6876 | - | 46M| 0 | 894 |1000 | 15k|1000 |2127 |1177 | 0 | 0 |-4.575000e+02 |-9.900000e+01 | 78.36%
21.49/21.54 c 21.4s| 1 | 0 | 7301 | - | 46M| 0 | 908 |1000 | 15k|1000 |2417 |1467 | 0 | 0 |-4.565000e+02 |-9.900000e+01 | 78.31%
22.18/22.23 c 22.0s| 1 | 0 | 7980 | - | 46M| 0 | 888 |1000 | 15k|1000 |2497 |1547 | 0 | 0 |-4.550000e+02 |-9.900000e+01 | 78.24%
22.79/22.82 c 22.6s| 1 | 0 | 8611 | - | 46M| 0 | 906 |1000 | 15k|1000 |2791 |1841 | 0 | 0 |-4.525000e+02 |-9.900000e+01 | 78.12%
23.58/23.68 c 23.5s| 1 | 0 | 9600 | - | 47M| 0 | 914 |1000 | 15k|1000 |2884 |1934 | 0 | 0 |-4.512500e+02 |-9.900000e+01 | 78.06%
24.38/24.49 c 24.3s| 1 | 0 | 10348 | - | 47M| 0 | 893 |1000 | 15k|1000 |2740 |2112 | 0 | 0 |-4.500000e+02 |-9.900000e+01 | 78.00%
25.39/25.48 c 25.3s| 1 | 0 | 11596 | - | 47M| 0 | 943 |1000 | 15k|1000 |2859 |2231 | 0 | 0 |-4.482667e+02 |-9.900000e+01 | 77.91%
26.89/26.91 c 26.7s| 1 | 0 | 11923 | - | 47M| 0 | 895 |1000 | 15k|1000 |4859 |4231 | 0 | 0 |-4.475000e+02 |-9.900000e+01 | 77.88%
27.88/27.96 c 27.8s| 1 | 0 | 12662 | - | 47M| 0 | 891 |1000 | 15k|1000 |4869 |4241 | 0 | 0 |-4.460000e+02 |-9.900000e+01 | 77.80%
28.69/28.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.69/28.77 c 28.6s| 1 | 0 | 13168 | - | 47M| 0 | 893 |1000 | 15k|1000 |4897 |4269 | 0 | 0 |-4.445000e+02 |-9.900000e+01 | 77.73%
29.78/29.85 c 29.7s| 1 | 0 | 13833 | - | 47M| 0 | 882 |1000 | 15k|1000 |4907 |4279 | 0 | 0 |-4.440000e+02 |-9.900000e+01 | 77.70%
30.98/31.08 c 30.9s| 1 | 0 | 14808 | - | 47M| 0 | 884 |1000 | 15k|1000 |3759 |4356 | 0 | 0 |-4.420000e+02 |-9.900000e+01 | 77.60%
31.98/32.08 c 31.9s| 1 | 0 | 15656 | - | 47M| 0 | 873 |1000 | 15k|1000 |3767 |4364 | 0 | 0 |-4.410000e+02 |-9.900000e+01 | 77.55%
32.99/33.02 c 32.8s| 1 | 0 | 16484 | - | 47M| 0 | 880 |1000 | 15k|1000 |3894 |4491 | 0 | 0 |-4.396667e+02 |-9.900000e+01 | 77.48%
34.49/34.57 c 34.4s| 1 | 0 | 17763 | - | 47M| 0 | 882 |1000 | 15k|1000 |4040 |4637 | 0 | 0 |-4.387500e+02 |-9.900000e+01 | 77.44%
35.19/35.28 c 35.1s| 1 | 0 | 18340 | - | 48M| 0 | 877 |1000 | 15k|1000 |4048 |4645 | 0 | 0 |-4.382500e+02 |-9.900000e+01 | 77.41%
36.68/36.75 c 36.6s| 1 | 0 | 19757 | - | 48M| 0 | 898 |1000 | 15k|1000 |4107 |4704 | 0 | 0 |-4.367857e+02 |-9.900000e+01 | 77.33%
38.08/38.12 c 37.9s| 1 | 0 | 21081 | - | 48M| 0 | 867 |1000 | 15k|1000 |3633 |5115 | 0 | 0 |-4.361786e+02 |-9.900000e+01 | 77.30%
38.88/38.97 c 38.8s| 1 | 0 | 21831 | - | 48M| 0 | 877 |1000 | 15k|1000 |3847 |5329 | 0 | 0 |-4.352308e+02 |-9.900000e+01 | 77.25%
39.68/39.79 c 39.6s| 1 | 0 | 22397 | - | 48M| 0 | 869 |1000 | 15k|1000 |4101 |5583 | 0 | 0 |-4.343333e+02 |-9.900000e+01 | 77.21%
41.38/41.44 c 41.2s| 1 | 0 | 23740 | - | 49M| 0 | 855 |1000 | 15k|1000 |4164 |5646 | 0 | 0 |-4.335000e+02 |-9.900000e+01 | 77.16%
42.28/42.32 c 42.1s| 1 | 0 | 24388 | - | 49M| 0 | 864 |1000 | 15k|1000 |4316 |5798 | 0 | 0 |-4.327500e+02 |-9.900000e+01 | 77.12%
43.08/43.18 c 43.0s| 1 | 0 | 25020 | - | 49M| 0 | 867 |1000 | 15k|1000 |4388 |5870 | 0 | 0 |-4.317500e+02 |-9.900000e+01 | 77.07%
44.48/44.50 c 44.3s| 1 | 0 | 26110 | - | 49M| 0 | 861 |1000 | 15k|1000 |4089 |5905 | 0 | 0 |-4.297500e+02 |-9.900000e+01 | 76.96%
45.78/45.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.78/45.86 c 45.7s| 1 | 0 | 27431 | - | 49M| 0 | 861 |1000 | 15k|1000 |4123 |5939 | 0 | 0 |-4.282500e+02 |-9.900000e+01 | 76.88%
47.08/47.11 c 46.9s| 1 | 0 | 28596 | - | 49M| 0 | 870 |1000 | 15k|1000 |4171 |5987 | 0 | 0 |-4.265000e+02 |-9.900000e+01 | 76.79%
48.29/48.30 c 48.1s| 1 | 0 | 29633 | - | 49M| 0 | 851 |1000 | 15k|1000 |4295 |6111 | 0 | 0 |-4.247500e+02 |-9.900000e+01 | 76.69%
49.08/49.17 c 49.0s| 1 | 0 | 30391 | - | 49M| 0 | 855 |1000 | 15k|1000 |4361 |6177 | 0 | 0 |-4.241667e+02 |-9.900000e+01 | 76.66%
49.88/49.91 c 49.7s| 1 | 0 | 30967 | - | 49M| 0 | 850 |1000 | 15k|1000 |4394 |6210 | 0 | 0 |-4.232500e+02 |-9.900000e+01 | 76.61%
51.17/51.21 c 51.0s| 1 | 0 | 32070 | - | 49M| 0 | 848 |1000 | 15k|1000 |3503 |6265 | 0 | 0 |-4.227500e+02 |-9.900000e+01 | 76.58%
51.69/51.71 c 51.5s| 1 | 0 | 32431 | - | 49M| 0 | 841 |1000 | 15k|1000 |3533 |6295 | 0 | 0 |-4.225000e+02 |-9.900000e+01 | 76.57%
53.27/53.38 c 53.2s| 1 | 0 | 34173 | - | 49M| 0 | 882 |1000 | 15k|1000 |3594 |6356 | 0 | 0 |-4.216250e+02 |-9.900000e+01 | 76.52%
54.99/55.05 c 54.9s| 1 | 0 | 35394 | - | 50M| 0 | 863 |1000 | 15k|1000 |4304 |7066 | 0 | 0 |-4.205833e+02 |-9.900000e+01 | 76.46%
56.18/56.22 c 56.0s| 1 | 0 | 36491 | - | 50M| 0 | 843 |1000 | 15k|1000 |4356 |7118 | 0 | 0 |-4.196000e+02 |-9.900000e+01 | 76.41%
57.38/57.41 c 57.2s| 1 | 0 | 37487 | - | 51M| 0 | 847 |1000 | 15k|1000 |4448 |7210 | 0 | 0 |-4.182500e+02 |-9.900000e+01 | 76.33%
59.29/59.32 c 59.1s| 1 | 0 | 39089 | - | 52M| 0 | 870 |1000 | 15k|1000 |4063 |7270 | 0 | 0 |-4.172000e+02 |-9.900000e+01 | 76.27%
60.78/60.84 c 60.7s| 1 | 0 | 40641 | - | 52M| 0 | 845 |1000 | 15k|1000 |4319 |7526 | 0 | 0 |-4.147500e+02 |-9.900000e+01 | 76.13%
62.68/62.78 c 62.6s| 1 | 0 | 42448 | - | 52M| 0 | 820 |1000 | 15k|1000 |4332 |7539 | 0 | 0 |-4.130000e+02 |-9.900000e+01 | 76.03%
64.78/64.87 c 64.7s| 1 | 0 | 44569 | - | 52M| 0 | 904 |1000 | 15k|1000 |4408 |7615 | 0 | 0 |-4.125312e+02 |-9.900000e+01 | 76.00%
66.27/66.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.27/66.33 c 66.1s| 1 | 0 | 45195 | - | 53M| 0 | 840 |1000 | 15k|1000 |6040 |9247 | 0 | 0 |-4.125000e+02 |-9.900000e+01 | 76.00%
68.48/68.59 c 68.4s| 1 | 0 | 46574 | - | 53M| 0 | 836 |1000 | 15k|1000 |6047 |9254 | 0 | 0 |-4.120000e+02 |-9.900000e+01 | 75.97%
69.57/69.64 c 69.4s| 1 | 0 | 47106 | - | 53M| 0 | 832 |1000 | 15k|1000 |5708 |9278 | 0 | 0 |-4.120000e+02 |-9.900000e+01 | 75.97%
71.67/71.71 c 71.5s| 1 | 0 | 48493 | - | 53M| 0 | 820 |1000 | 15k|1000 |5718 |9288 | 0 | 0 |-4.110000e+02 |-9.900000e+01 | 75.91%
74.47/74.53 c 74.3s| 1 | 0 | 50275 | - | 53M| 0 | 827 |1000 | 15k|1000 |5745 |9315 | 0 | 0 |-4.100000e+02 |-9.900000e+01 | 75.85%
76.68/76.76 c 76.6s| 1 | 0 | 51556 | - | 53M| 0 | 820 |1000 | 15k|1000 |5776 |9346 | 0 | 0 |-4.100000e+02 |-9.900000e+01 | 75.85%
80.18/80.30 c 80.1s| 1 | 0 | 53574 | - | 53M| 0 | 816 |1000 | 15k|1000 |5786 |9356 | 0 | 0 |-4.090000e+02 |-9.900000e+01 | 75.79%
83.27/83.34 c 83.1s| 1 | 0 | 55216 | - | 55M| 0 | 843 |1000 | 15k|1000 |5813 |9383 | 0 | 0 |-4.084560e+02 |-9.900000e+01 | 75.76%
85.07/85.19 c 85.0s| 1 | 0 | 56369 | - | 55M| 0 | 820 |1000 | 15k|1000 |4992 |9415 | 0 | 0 |-4.072500e+02 |-9.900000e+01 | 75.69%
87.37/87.46 c 87.3s| 1 | 0 | 57964 | - | 56M| 0 | 850 |1000 | 15k|1000 |5001 |9424 | 0 | 0 |-4.065000e+02 |-9.900000e+01 | 75.65%
88.37/88.41 c 88.2s| 1 | 0 | 58583 | - | 56M| 0 | 813 |1000 | 15k|1000 |5060 |9483 | 0 | 0 |-4.056250e+02 |-9.900000e+01 | 75.59%
91.07/91.19 c 91.0s| 1 | 0 | 60684 | - | 56M| 0 | 864 |1000 | 15k|1000 |5108 |9531 | 0 | 0 |-4.048500e+02 |-9.900000e+01 | 75.55%
96.17/96.26 c 96.1s| 1 | 0 | 64328 | - | 56M| 0 | 811 |1000 | 15k|1000 |5323 |9746 | 0 | 0 |-4.026667e+02 |-9.900000e+01 | 75.41%
98.76/98.83 c 98.6s| 1 | 0 | 66235 | - | 56M| 0 | 829 |1000 | 15k|1000 |5360 |9783 | 0 | 0 |-4.005000e+02 |-9.900000e+01 | 75.28%
101.36/101.44 c 101s| 1 | 0 | 68214 | - | 56M| 0 | 807 |1000 | 15k|1000 |4155 |9812 | 0 | 0 |-3.997500e+02 |-9.900000e+01 | 75.23%
102.47/102.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.47/102.59 c 102s| 1 | 0 | 69291 | - | 56M| 0 | 843 |1000 | 15k|1000 |4165 |9822 | 0 | 0 |-3.987500e+02 |-9.900000e+01 | 75.17%
103.46/103.54 c 103s| 1 | 0 | 70037 | - | 56M| 0 | 818 |1000 | 15k|1000 |4226 |9883 | 0 | 0 |-3.980000e+02 |-9.900000e+01 | 75.13%
105.07/105.15 c 105s| 1 | 0 | 71416 | - | 56M| 0 | 869 |1000 | 15k|1000 |4286 |9943 | 0 | 0 |-3.965000e+02 |-9.900000e+01 | 75.03%
107.36/107.46 c 107s| 1 | 0 | 73370 | - | 56M| 0 | 871 |1000 | 15k|1000 |4501 | 10k| 0 | 0 |-3.949643e+02 |-9.900000e+01 | 74.93%
109.16/109.28 c 109s| 1 | 0 | 75001 | - | 57M| 0 | 799 |1000 | 15k|1000 |4707 | 10k| 0 | 0 |-3.937500e+02 |-9.900000e+01 | 74.86%
111.26/111.33 c 111s| 1 | 0 | 76269 | - | 57M| 0 | 864 |1000 | 15k|1000 |4510 | 10k| 0 | 0 |-3.930000e+02 |-9.900000e+01 | 74.81%
114.57/114.63 c 114s| 1 | 0 | 78765 | - | 58M| 0 | 852 |1000 | 15k|1000 |4554 | 10k| 0 | 0 |-3.926250e+02 |-9.900000e+01 | 74.79%
116.26/116.32 c 116s| 1 | 0 | 80097 | - | 58M| 0 | 784 |1000 | 15k|1000 |4680 | 10k| 0 | 0 |-3.920000e+02 |-9.900000e+01 | 74.74%
118.46/118.53 c 118s| 1 | 0 | 82215 | - | 58M| 0 | 897 |1000 | 15k|1000 |4692 | 10k| 0 | 0 |-3.911851e+02 |-9.900000e+01 | 74.69%
121.66/121.75 c 122s| 1 | 0 | 84090 | - | 60M| 0 | 795 |1000 | 15k|1000 |5225 | 11k| 0 | 0 |-3.900000e+02 |-9.900000e+01 | 74.62%
123.66/123.76 c 124s| 1 | 0 | 85375 | - | 60M| 0 | 821 |1000 | 15k|1000 |5237 | 11k| 0 | 0 |-3.895000e+02 |-9.900000e+01 | 74.58%
129.36/129.43 c 129s| 1 | 0 | 88579 | - | 61M| 0 | 834 |1000 | 15k|1000 |4915 | 11k| 0 | 0 |-3.890000e+02 |-9.900000e+01 | 74.55%
135.65/135.78 c 136s| 1 | 0 | 92679 | - | 61M| 0 | 872 |1000 | 15k|1000 |5039 | 11k| 0 | 0 |-3.883571e+02 |-9.900000e+01 | 74.51%
139.66/139.77 c 140s| 1 | 0 | 95393 | - | 63M| 0 | 891 |1000 | 15k|1000 |5133 | 11k| 0 | 0 |-3.874306e+02 |-9.900000e+01 | 74.45%
142.15/142.24 c 142s| 1 | 0 | 97463 | - | 67M| 0 | 871 |1000 | 15k|1000 |5199 | 11k| 0 | 0 |-3.864231e+02 |-9.900000e+01 | 74.38%
145.16/145.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
145.16/145.24 c 145s| 1 | 0 | 99570 | - | 68M| 0 | 881 |1000 | 15k|1000 |5283 | 11k| 0 | 0 |-3.861474e+02 |-9.900000e+01 | 74.36%
148.65/148.71 c 149s| 1 | 0 |101189 | - | 68M| 0 | 877 |1000 | 15k|1000 |5452 | 11k| 0 | 0 |-3.857258e+02 |-9.900000e+01 | 74.33%
151.96/152.01 c 152s| 1 | 0 |103390 | - | 69M| 0 | 858 |1000 | 15k|1000 |5145 | 11k| 0 | 0 |-3.852500e+02 |-9.900000e+01 | 74.30%
156.75/156.85 c 157s| 1 | 0 |105956 | - | 71M| 0 | 846 |1000 | 15k|1000 |5253 | 11k| 0 | 0 |-3.847315e+02 |-9.900000e+01 | 74.27%
161.75/161.85 c 162s| 1 | 0 |109112 | - | 73M| 0 | 892 |1000 | 15k|1000 |5304 | 11k| 0 | 0 |-3.840379e+02 |-9.900000e+01 | 74.22%
165.55/165.69 c 165s| 1 | 0 |111191 | - | 74M| 0 | 922 |1000 | 15k|1000 |5472 | 12k| 0 | 0 |-3.831340e+02 |-9.900000e+01 | 74.16%
170.25/170.30 c 170s| 1 | 0 |113075 | - | 74M| 0 | 895 |1000 | 15k|1000 |5733 | 12k| 0 | 0 |-3.821377e+02 |-9.900000e+01 | 74.09%
173.76/173.89 c 174s| 1 | 0 |114503 | - | 74M| 0 | 921 |1000 | 15k|1000 |5740 | 12k| 0 | 0 |-3.813610e+02 |-9.900000e+01 | 74.04%
178.74/178.86 c 179s| 1 | 0 |116338 | - | 74M| 0 | 904 |1000 | 15k|1000 |5373 | 12k| 0 | 0 |-3.808433e+02 |-9.900000e+01 | 74.01%
182.75/182.81 c 183s| 1 | 0 |117689 | - | 75M| 0 | 914 |1000 | 15k|1000 |5406 | 12k| 0 | 0 |-3.800419e+02 |-9.900000e+01 | 73.95%
186.64/186.76 c 187s| 1 | 0 |119207 | - | 75M| 0 | 923 |1000 | 15k|1000 |5457 | 12k| 0 | 0 |-3.793580e+02 |-9.900000e+01 | 73.90%
190.84/190.95 c 191s| 1 | 0 |120968 | - | 75M| 0 | 929 |1000 | 15k|1000 |5535 | 12k| 0 | 0 |-3.788148e+02 |-9.900000e+01 | 73.87%
195.84/195.95 c 196s| 1 | 0 |122962 | - | 75M| 0 | 913 |1000 | 15k|1000 |5605 | 12k| 0 | 0 |-3.778394e+02 |-9.900000e+01 | 73.80%
200.34/200.43 c 200s| 1 | 0 |124691 | - | 75M| 0 | 930 |1000 | 15k|1000 |5628 | 12k| 0 | 0 |-3.772682e+02 |-9.900000e+01 | 73.76%
205.93/206.07 c 206s| 1 | 0 |127111 | - | 75M| 0 | 921 |1000 | 15k|1000 |5334 | 12k| 0 | 0 |-3.765917e+02 |-9.900000e+01 | 73.71%
210.63/210.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
210.63/210.73 c 211s| 1 | 0 |129133 | - | 75M| 0 | 920 |1000 | 15k|1000 |5375 | 12k| 0 | 0 |-3.757209e+02 |-9.900000e+01 | 73.65%
214.54/214.65 c 214s| 1 | 0 |130616 | - | 75M| 0 | 903 |1000 | 15k|1000 |5517 | 12k| 0 | 0 |-3.748995e+02 |-9.900000e+01 | 73.59%
218.74/218.80 c 219s| 1 | 0 |132417 | - | 75M| 0 | 919 |1000 | 15k|1000 |5577 | 12k| 0 | 0 |-3.739755e+02 |-9.900000e+01 | 73.53%
223.03/223.19 c 223s| 1 | 0 |134026 | - | 75M| 0 | 934 |1000 | 15k|1000 |5604 | 12k| 0 | 0 |-3.734063e+02 |-9.900000e+01 | 73.49%
228.33/228.40 c 228s| 1 | 0 |135985 | - | 75M| 0 | 922 |1000 | 15k|1000 |5738 | 13k| 0 | 0 |-3.726600e+02 |-9.900000e+01 | 73.43%
236.53/236.61 c 236s| 1 | 0 |139300 | - | 76M| 0 | 917 |1000 | 15k|1000 |5486 | 13k| 0 | 0 |-3.713637e+02 |-9.900000e+01 | 73.34%
242.43/242.54 c 242s| 1 | 0 |141902 | - | 76M| 0 | 935 |1000 | 15k|1000 |5507 | 13k| 0 | 0 |-3.698446e+02 |-9.900000e+01 | 73.23%
248.13/248.24 c 248s| 1 | 0 |144630 | - | 77M| 0 | 946 |1000 | 15k|1000 |5616 | 13k| 0 | 0 |-3.680274e+02 |-9.900000e+01 | 73.10%
253.62/253.76 c 254s| 1 | 0 |146891 | - | 77M| 0 | 953 |1000 | 15k|1000 |5817 | 13k| 0 | 0 |-3.670610e+02 |-9.900000e+01 | 73.03%
258.93/259.08 c 259s| 1 | 0 |148831 | - | 77M| 0 | 953 |1000 | 15k|1000 |5897 | 13k| 0 | 0 |-3.663515e+02 |-9.900000e+01 | 72.98%
265.62/265.74 c 266s| 1 | 0 |151399 | - | 77M| 0 | 953 |1000 | 15k|1000 |5977 | 13k| 0 | 0 |-3.652675e+02 |-9.900000e+01 | 72.90%
272.42/272.53 c 272s| 1 | 0 |153744 | - | 77M| 0 | 958 |1000 | 15k|1000 |5829 | 13k| 0 | 0 |-3.637224e+02 |-9.900000e+01 | 72.78%
278.61/278.75 c 279s| 1 | 0 |155669 | - | 77M| 0 | 945 |1000 | 15k|1000 |6016 | 13k| 0 | 0 |-3.624842e+02 |-9.900000e+01 | 72.69%
284.72/284.82 c 285s| 1 | 0 |157676 | - | 77M| 0 | 958 |1000 | 15k|1000 |6115 | 13k| 0 | 0 |-3.615819e+02 |-9.900000e+01 | 72.62%
291.81/291.90 c 292s| 1 | 0 |160293 | - | 77M| 0 | 955 |1000 | 15k|1000 |6191 | 14k| 0 | 0 |-3.604106e+02 |-9.900000e+01 | 72.53%
299.81/299.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.81/299.92 c 300s| 1 | 0 |163474 | - | 77M| 0 | 955 |1000 | 15k|1000 |6297 | 14k| 0 | 0 |-3.585045e+02 |-9.900000e+01 | 72.39%
306.51/306.60 c 306s| 1 | 0 |165901 | - | 77M| 0 | 962 |1000 | 15k|1000 |6407 | 14k| 0 | 0 |-3.575374e+02 |-9.900000e+01 | 72.31%
313.51/313.68 c 313s| 1 | 0 |168386 | - | 77M| 0 | 961 |1000 | 15k|1000 |6197 | 14k| 0 | 0 |-3.564790e+02 |-9.900000e+01 | 72.23%
319.61/319.73 c 320s| 1 | 0 |170282 | - | 77M| 0 | 972 |1000 | 15k|1000 |6230 | 14k| 0 | 0 |-3.559365e+02 |-9.900000e+01 | 72.19%
326.62/326.76 c 327s| 1 | 0 |172559 | - | 76M| 0 | 964 |1000 | 15k|1000 |6285 | 14k| 0 | 0 |-3.551982e+02 |-9.900000e+01 | 72.13%
332.01/332.19 c 332s| 1 | 0 |174034 | - | 76M| 0 | 972 |1000 | 15k|1000 |6313 | 14k| 0 | 0 |-3.548048e+02 |-9.900000e+01 | 72.10%
339.40/339.55 c 339s| 1 | 0 |176312 | - | 76M| 0 | 978 |1000 | 15k|1000 |6356 | 14k| 0 | 0 |-3.542145e+02 |-9.900000e+01 | 72.05%
347.00/347.14 c 347s| 1 | 0 |178519 | - | 76M| 0 | 981 |1000 | 15k|1000 |6484 | 14k| 0 | 0 |-3.532421e+02 |-9.900000e+01 | 71.97%
354.40/354.54 c 354s| 1 | 0 |180842 | - | 76M| 0 | 975 |1000 | 15k|1000 |6106 | 14k| 0 | 0 |-3.523396e+02 |-9.900000e+01 | 71.90%
361.50/361.63 c 361s| 1 | 0 |183190 | - | 76M| 0 | 978 |1000 | 15k|1000 |6169 | 14k| 0 | 0 |-3.513204e+02 |-9.900000e+01 | 71.82%
368.59/368.77 c 369s| 1 | 0 |185341 | - | 76M| 0 | 978 |1000 | 15k|1000 |6243 | 14k| 0 | 0 |-3.506019e+02 |-9.900000e+01 | 71.76%
374.79/374.95 c 375s| 1 | 0 |186890 | - | 76M| 0 | 978 |1000 | 15k|1000 |6315 | 14k| 0 | 0 |-3.503698e+02 |-9.900000e+01 | 71.74%
381.99/382.17 c 382s| 1 | 0 |188977 | - | 76M| 0 | 973 |1000 | 15k|1000 |6364 | 14k| 0 | 0 |-3.497104e+02 |-9.900000e+01 | 71.69%
389.20/389.31 c 389s| 1 | 0 |190906 | - | 76M| 0 | 980 |1000 | 15k|1000 |6402 | 14k| 0 | 0 |-3.492915e+02 |-9.900000e+01 | 71.66%
396.38/396.56 c 396s| 1 | 0 |192750 | - | 76M| 0 | 986 |1000 | 15k|1000 |6160 | 14k| 0 | 0 |-3.488490e+02 |-9.900000e+01 | 71.62%
403.59/403.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.59/403.72 c 404s| 1 | 0 |194681 | - | 76M| 0 | 977 |1000 | 15k|1000 |6217 | 15k| 0 | 0 |-3.481064e+02 |-9.900000e+01 | 71.56%
410.39/410.52 c 410s| 1 | 0 |196429 | - | 76M| 0 | 979 |1000 | 15k|1000 |6265 | 15k| 0 | 0 |-3.475979e+02 |-9.900000e+01 | 71.52%
417.08/417.27 c 417s| 1 | 0 |198188 | - | 76M| 0 | 984 |1000 | 15k|1000 |6310 | 15k| 0 | 0 |-3.470033e+02 |-9.900000e+01 | 71.47%
424.98/425.12 c 425s| 1 | 0 |200331 | - | 76M| 0 | 981 |1000 | 15k|1000 |6358 | 15k| 0 | 0 |-3.463793e+02 |-9.900000e+01 | 71.42%
431.97/432.15 c 432s| 1 | 0 |202076 | - | 76M| 0 | 981 |1000 | 15k|1000 |6411 | 15k| 0 | 0 |-3.459378e+02 |-9.900000e+01 | 71.38%
438.88/439.05 c 439s| 1 | 0 |203449 | - | 75M| 0 | 985 |1000 | 15k|1000 |6290 | 15k| 0 | 0 |-3.456260e+02 |-9.900000e+01 | 71.36%
446.48/446.66 c 446s| 1 | 0 |205270 | - | 75M| 0 | 991 |1000 | 15k|1000 |6325 | 15k| 0 | 0 |-3.451977e+02 |-9.900000e+01 | 71.32%
453.87/454.03 c 454s| 1 | 0 |206789 | - | 75M| 0 | 993 |1000 | 15k|1000 |6401 | 15k| 0 | 0 |-3.448076e+02 |-9.900000e+01 | 71.29%
462.17/462.31 c 462s| 1 | 0 |208908 | - | 75M| 0 | 994 |1000 | 15k|1000 |6451 | 15k| 0 | 0 |-3.438093e+02 |-9.900000e+01 | 71.20%
469.96/470.19 c 470s| 1 | 0 |210615 | - | 75M| 0 | 993 |1000 | 15k|1000 |6535 | 15k| 0 | 0 |-3.431495e+02 |-9.900000e+01 | 71.15%
478.47/478.68 c 478s| 1 | 0 |212638 | - | 75M| 0 | 993 |1000 | 15k|1000 |6592 | 15k| 0 | 0 |-3.424519e+02 |-9.900000e+01 | 71.09%
487.36/487.59 c 487s| 1 | 0 |214713 | - | 75M| 0 | 990 |1000 | 15k|1000 |6489 | 15k| 0 | 0 |-3.416955e+02 |-9.900000e+01 | 71.03%
494.26/494.49 c 494s| 1 | 0 |215889 | - | 75M| 0 | 993 |1000 | 15k|1000 |6536 | 15k| 0 | 0 |-3.413329e+02 |-9.900000e+01 | 71.00%
502.86/503.09 c 503s| 1 | 0 |217849 | - | 75M| 0 | 993 |1000 | 15k|1000 |6564 | 15k| 0 | 0 |-3.408019e+02 |-9.900000e+01 | 70.95%
510.95/511.18 c 511s| 1 | 0 |219426 | - | 75M| 0 | 996 |1000 | 15k|1000 |6595 | 15k| 0 | 0 |-3.401881e+02 |-9.900000e+01 | 70.90%
519.65/519.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
519.65/519.88 c 520s| 1 | 0 |221517 | - | 75M| 0 | 994 |1000 | 15k|1000 |6644 | 15k| 0 | 0 |-3.392726e+02 |-9.900000e+01 | 70.82%
528.66/528.86 c 529s| 1 | 0 |223483 | - | 75M| 0 | 995 |1000 | 15k|1000 |6676 | 15k| 0 | 0 |-3.383526e+02 |-9.900000e+01 | 70.74%
536.25/536.41 c 536s| 1 | 0 |224804 | - | 75M| 0 | 996 |1000 | 15k|1000 |6622 | 15k| 0 | 0 |-3.378561e+02 |-9.900000e+01 | 70.70%
545.14/545.37 c 545s| 1 | 0 |226773 | - | 75M| 0 | 995 |1000 | 15k|1000 |6656 | 15k| 0 | 0 |-3.371113e+02 |-9.900000e+01 | 70.63%
553.44/553.66 c 553s| 1 | 0 |228305 | - | 74M| 0 | 993 |1000 | 15k|1000 |6687 | 15k| 0 | 0 |-3.367758e+02 |-9.900000e+01 | 70.60%
561.95/562.18 c 562s| 1 | 0 |230006 | - | 74M| 0 | 992 |1000 | 15k|1000 |6717 | 15k| 0 | 0 |-3.362600e+02 |-9.900000e+01 | 70.56%
570.64/570.81 c 571s| 1 | 0 |231748 | - | 74M| 0 | 993 |1000 | 15k|1000 |6741 | 15k| 0 | 0 |-3.357012e+02 |-9.900000e+01 | 70.51%
578.64/578.86 c 579s| 1 | 0 |232941 | - | 73M| 0 | 993 |1000 | 15k|1000 |6784 | 16k| 0 | 0 |-3.352706e+02 |-9.900000e+01 | 70.47%
585.84/586.07 c 586s| 1 | 0 |233665 | - | 73M| 0 | 997 |1000 | 15k|1000 |6693 | 16k| 0 | 0 |-3.351058e+02 |-9.900000e+01 | 70.46%
593.64/593.85 c 594s| 1 | 0 |234824 | - | 72M| 0 | 997 |1000 | 15k|1000 |6712 | 16k| 0 | 0 |-3.348250e+02 |-9.900000e+01 | 70.43%
601.74/601.91 c 602s| 1 | 0 |235950 | - | 72M| 0 | 994 |1000 | 15k|1000 |6733 | 16k| 0 | 0 |-3.344991e+02 |-9.900000e+01 | 70.40%
608.93/609.17 c 609s| 1 | 0 |236661 | - | 72M| 0 | 996 |1000 | 15k|1000 |6765 | 16k| 0 | 0 |-3.343208e+02 |-9.900000e+01 | 70.39%
616.84/617.10 c 617s| 1 | 0 |237729 | - | 72M| 0 | 996 |1000 | 15k|1000 |6795 | 16k| 0 | 0 |-3.340083e+02 |-9.900000e+01 | 70.36%
624.73/624.97 c 625s| 1 | 0 |238790 | - | 72M| 0 | 997 |1000 | 15k|1000 |6821 | 16k| 0 | 0 |-3.334219e+02 |-9.900000e+01 | 70.31%
632.83/633.09 c 633s| 1 | 0 |239825 | - | 72M| 0 | 999 |1000 | 15k|1000 |6741 | 16k| 0 | 0 |-3.331245e+02 |-9.900000e+01 | 70.28%
640.52/640.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
640.52/640.79 c 641s| 1 | 0 |240824 | - | 72M| 0 | 996 |1000 | 15k|1000 |6768 | 16k| 0 | 0 |-3.328074e+02 |-9.900000e+01 | 70.25%
649.42/649.68 c 649s| 1 | 0 |242259 | - | 72M| 0 | 999 |1000 | 15k|1000 |6789 | 16k| 0 | 0 |-3.323484e+02 |-9.900000e+01 | 70.21%
657.12/657.37 c 657s| 1 | 0 |243157 | - | 72M| 0 | 999 |1000 | 15k|1000 |6814 | 16k| 0 | 0 |-3.320781e+02 |-9.900000e+01 | 70.19%
665.02/665.20 c 665s| 1 | 0 |244108 | - | 71M| 0 | 999 |1000 | 15k|1000 |6836 | 16k| 0 | 0 |-3.317624e+02 |-9.900000e+01 | 70.16%
673.62/673.80 c 674s| 1 | 0 |245293 | - | 69M| 0 | 997 |1000 | 15k|1000 |6855 | 16k| 0 | 0 |-3.312636e+02 |-9.900000e+01 | 70.11%
680.81/681.09 c 681s| 1 | 0 |245997 | - | 69M| 0 | 998 |1000 | 15k|1000 |6821 | 16k| 0 | 0 |-3.310815e+02 |-9.900000e+01 | 70.10%
689.11/689.30 c 689s| 1 | 0 |247008 | - | 69M| 0 | 999 |1000 | 15k|1000 |6834 | 16k| 0 | 0 |-3.306719e+02 |-9.900000e+01 | 70.06%
697.00/697.27 c 697s| 1 | 0 |247748 | - | 69M| 0 | 996 |1000 | 15k|1000 |6858 | 16k| 0 | 0 |-3.304293e+02 |-9.900000e+01 | 70.04%
704.41/704.62 c 704s| 1 | 0 |248293 | - | 69M| 0 | 997 |1000 | 15k|1000 |6870 | 16k| 0 | 0 |-3.302378e+02 |-9.900000e+01 | 70.02%
712.31/712.50 c 712s| 1 | 0 |248964 | - | 69M| 0 | 998 |1000 | 15k|1000 |6882 | 16k| 0 | 0 |-3.300620e+02 |-9.900000e+01 | 70.01%
719.50/719.76 c 720s| 1 | 0 |249363 | - | 69M| 0 | 998 |1000 | 15k|1000 |6894 | 16k| 0 | 0 |-3.299630e+02 |-9.900000e+01 | 70.00%
728.01/728.21 c 728s| 1 | 0 |250262 | - | 69M| 0 | 996 |1000 | 15k|1000 |6843 | 16k| 0 | 0 |-3.296492e+02 |-9.900000e+01 | 69.97%
735.89/736.19 c 736s| 1 | 0 |251021 | - | 69M| 0 | 998 |1000 | 15k|1000 |6863 | 16k| 0 | 0 |-3.294118e+02 |-9.900000e+01 | 69.95%
743.70/743.94 c 744s| 1 | 0 |251685 | - | 69M| 0 |1000 |1000 | 15k|1000 |6883 | 16k| 0 | 0 |-3.291637e+02 |-9.900000e+01 | 69.92%
752.20/752.48 c 752s| 1 | 0 |252747 | - | 69M| 0 | 998 |1000 | 15k|1000 |6897 | 16k| 0 | 0 |-3.287142e+02 |-9.900000e+01 | 69.88%
759.90/760.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
759.90/760.19 c 760s| 1 | 0 |253298 | - | 68M| 0 | 998 |1000 | 15k|1000 |6918 | 16k| 0 | 0 |-3.285049e+02 |-9.900000e+01 | 69.86%
767.19/767.48 c 767s| 1 | 0 |253736 | - | 68M| 0 | 999 |1000 | 15k|1000 |6937 | 16k| 0 | 0 |-3.283719e+02 |-9.900000e+01 | 69.85%
775.49/775.72 c 776s| 1 | 0 |254510 | - | 67M| 0 | 998 |1000 | 15k|1000 |6902 | 16k| 0 | 0 |-3.281420e+02 |-9.900000e+01 | 69.83%
783.18/783.46 c 783s| 1 | 0 |255291 | - | 67M| 0 | 999 |1000 | 15k|1000 |6913 | 16k| 0 | 0 |-3.279205e+02 |-9.900000e+01 | 69.81%
790.49/790.73 c 791s| 1 | 0 |255864 | - | 67M| 0 | 999 |1000 | 15k|1000 |6926 | 16k| 0 | 0 |-3.277876e+02 |-9.900000e+01 | 69.80%
798.08/798.33 c 798s| 1 | 0 |256563 | - | 66M| 0 | 997 |1000 | 15k|1000 |6941 | 16k| 0 | 0 |-3.276120e+02 |-9.900000e+01 | 69.78%
805.68/805.99 c 806s| 1 | 0 |257310 | - | 66M| 0 | 998 |1000 | 15k|1000 |6951 | 16k| 0 | 0 |-3.273411e+02 |-9.900000e+01 | 69.76%
812.98/813.23 c 813s| 1 | 0 |257829 | - | 65M| 0 | 999 |1000 | 15k|1000 |6966 | 16k| 0 | 0 |-3.272336e+02 |-9.900000e+01 | 69.75%
819.97/820.20 c 820s| 1 | 0 |258156 | - | 65M| 0 | 998 |1000 | 15k|1000 |6944 | 16k| 0 | 0 |-3.271570e+02 |-9.900000e+01 | 69.74%
826.88/827.17 c 827s| 1 | 0 |258499 | - | 64M| 0 | 999 |1000 | 15k|1000 |6957 | 16k| 0 | 0 |-3.270870e+02 |-9.900000e+01 | 69.73%
833.98/834.29 c 834s| 1 | 0 |258914 | - | 62M| 0 | 982 |1000 | 15k|1000 |6967 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
839.97/840.21 c 840s| 1 | 0 |258916 | - | 58M| 0 | 978 |1000 | 15k|1000 |6971 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
845.77/846.02 c 846s| 1 | 0 |258917 | - | 58M| 0 | 979 |1000 | 15k|1000 |6974 | 16k| 0 | 0 |-3.270000e+02 |-9.900000e+01 | 69.72%
892.65/892.93 c 893s| 1 | 2 |258917 | - | 58M| 0 | 979 |1000 | 15k|1000 |6974 | 16k| 0 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
896.35/896.64 c 896s| 10000 | 67 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 66 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
900.15/900.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.15/900.43 c 900s| 20000 | 63 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 76 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
903.86/904.13 c 904s| 30000 | 66 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 83 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
907.55/907.86 c 908s| 40000 | 66 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 95 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
911.25/911.56 c 911s| 50000 | 63 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 102 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
914.45/914.74 c 915s| 60000 | 62 |258917 | 0.0 | 58M| 81 | - |1000 | 15k| 0 | 0 | 16k| 114 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
917.55/917.83 c 918s| 70000 | 64 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 119 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
920.65/920.98 c 921s| 80000 | 65 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 129 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
923.75/924.09 c 924s| 90000 | 64 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 135 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
927.05/927.35 c 927s|100000 | 68 |258917 | 0.0 | 58M| 82 | - |1000 | 15k| 0 | 0 | 16k| 144 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
930.25/930.60 c 930s|110000 | 62 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 160 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
933.44/933.78 c 934s|120000 | 61 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 175 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
936.74/937.00 c 937s|130000 | 63 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 182 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
940.15/940.49 c 940s|140000 | 65 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 187 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
943.64/943.92 c 944s|150000 | 66 |258917 | 0.0 | 58M| 84 | - |1000 | 15k| 0 | 0 | 16k| 195 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
946.94/947.20 c 947s|160000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 207 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
950.15/950.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
950.15/950.43 c 950s|170000 | 67 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 219 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
953.24/953.57 c 953s|180000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 239 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
956.64/956.95 c 957s|190000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 252 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
959.74/960.07 c 960s|200000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 265 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
963.03/963.32 c 963s|210000 | 63 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 280 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
966.23/966.57 c 966s|220000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 300 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
969.53/969.83 c 970s|230000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 310 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
972.73/973.05 c 973s|240000 | 64 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 324 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
976.03/976.37 c 976s|250000 | 66 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
979.23/979.53 c 979s|260000 | 65 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 346 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
982.53/982.88 c 983s|270000 | 61 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 355 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
985.73/986.09 c 986s|280000 | 60 |258917 | 0.0 | 58M| 85 | - |1000 | 15k| 0 | 0 | 16k| 357 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
988.93/989.21 c 989s|290000 | 60 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
992.13/992.41 c 992s|300000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 387 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
995.43/995.72 c 996s|310000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 400 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
998.62/998.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.62/998.99 c 999s|320000 | 63 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 412 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1001.92/1002.24 c 1002s|330000 | 65 |258917 | 0.0 | 58M| 86 | - |1000 | 15k| 0 | 0 | 16k| 425 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1005.13/1005.47 c 1005s|340000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 432 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1008.33/1008.68 c 1008s|350000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 444 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1011.52/1011.89 c 1012s|360000 | 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 458 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1014.93/1015.23 c 1015s|370000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 470 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1018.02/1018.35 c 1018s|380000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 480 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1021.32/1021.62 c 1021s|390000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 493 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1024.42/1024.79 c 1025s|400000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 503 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1027.62/1027.90 c 1028s|410000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 514 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1030.82/1031.12 c 1031s|420000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 537 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1034.02/1034.31 c 1034s|430000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 547 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1037.21/1037.50 c 1037s|440000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 560 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1040.32/1040.69 c 1040s|450000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 616 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1043.62/1043.91 c 1044s|460000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 636 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1046.82/1047.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.82/1047.11 c 1047s|470000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 652 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1050.01/1050.32 c 1050s|480000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 657 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1053.52/1053.83 c 1054s|490000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 661 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1056.91/1057.20 c 1057s|500000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 669 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1060.21/1060.50 c 1060s|510000 | 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 686 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1063.22/1063.59 c 1063s|520000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 702 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1066.42/1066.77 c 1067s|530000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 717 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1069.61/1069.96 c 1070s|540000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 734 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1072.91/1073.25 c 1073s|550000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 749 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1076.11/1076.49 c 1076s|560000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 761 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1079.51/1079.85 c 1080s|570000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 771 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1082.61/1082.99 c 1083s|580000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 787 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1085.81/1086.11 c 1086s|590000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 800 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1089.11/1089.40 c 1089s|600000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 821 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1092.41/1092.72 c 1093s|610000 | 67 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 829 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1095.51/1095.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.51/1095.87 c 1096s|620000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 835 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1098.71/1099.09 c 1099s|630000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 842 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1101.91/1102.27 c 1102s|640000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 849 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1105.21/1105.52 c 1105s|650000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 856 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1108.41/1108.76 c 1109s|660000 | 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 865 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1111.60/1111.98 c 1112s|670000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 873 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1114.70/1115.06 c 1115s|680000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 887 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1117.90/1118.25 c 1118s|690000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 903 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1121.20/1121.55 c 1121s|700000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 912 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1124.30/1124.69 c 1124s|710000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 920 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1127.70/1128.03 c 1128s|720000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 932 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1130.90/1131.22 c 1131s|730000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 937 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1134.10/1134.45 c 1134s|740000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 946 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1137.30/1137.67 c 1137s|750000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 960 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1140.50/1140.87 c 1141s|760000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 972 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1143.60/1144.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.60/1144.00 c 1144s|770000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 983 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1146.90/1147.25 c 1147s|780000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 993 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1150.09/1150.47 c 1150s|790000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k| 998 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1153.39/1153.72 c 1154s|800000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1004 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1156.69/1157.03 c 1157s|810000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1014 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1159.89/1160.29 c 1160s|820000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1024 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1163.09/1163.44 c 1163s|830000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1033 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1166.39/1166.79 c 1167s|840000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1041 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1169.69/1170.02 c 1170s|850000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1046 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1172.99/1173.37 c 1173s|860000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1055 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1176.08/1176.48 c 1176s|870000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1076 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1179.28/1179.63 c 1179s|880000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1085 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1182.48/1182.83 c 1183s|890000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1093 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1185.58/1185.92 c 1186s|900000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1102 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1188.69/1189.09 c 1189s|910000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1105 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1191.78/1192.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1191.78/1192.17 c 1192s|920000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1113 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1194.98/1195.31 c 1195s|930000 | 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1120 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1198.08/1198.40 c 1198s|940000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1128 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1201.18/1201.54 c 1201s|950000 | 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1140 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1204.38/1204.75 c 1205s|960000 | 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1156 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1207.48/1207.86 c 1208s|970000 | 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1157 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1210.68/1211.00 c 1211s|980000 | 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1166 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1213.87/1214.25 c 1214s|990000 | 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1177 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1217.07/1217.49 c 1217s| 1000k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1193 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1220.27/1220.61 c 1220s| 1010k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1198 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1223.47/1223.82 c 1224s| 1020k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1209 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1226.67/1227.00 c 1227s| 1030k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1215 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1229.67/1230.09 c 1230s| 1040k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1227 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1232.87/1233.27 c 1233s| 1050k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1243 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1236.27/1236.61 c 1236s| 1060k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1250 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1239.47/1239.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1239.47/1239.81 c 1240s| 1070k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1253 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1242.57/1242.98 c 1243s| 1080k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1261 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1245.87/1246.23 c 1246s| 1090k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1305 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1248.97/1249.37 c 1249s| 1100k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1317 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1252.17/1252.51 c 1252s| 1110k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1324 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1255.26/1255.61 c 1255s| 1120k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1329 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1258.46/1258.82 c 1259s| 1130k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1261.66/1262.00 c 1262s| 1140k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1345 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1265.06/1265.40 c 1265s| 1150k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1351 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1268.16/1268.50 c 1268s| 1160k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1356 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1271.17/1271.58 c 1271s| 1170k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1274.36/1274.76 c 1275s| 1180k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1385 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1277.46/1277.89 c 1278s| 1190k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1395 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1280.56/1280.99 c 1281s| 1200k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1413 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1283.66/1284.07 c 1284s| 1210k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1419 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1286.86/1287.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.86/1287.27 c 1287s| 1220k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1430 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1289.96/1290.39 c 1290s| 1230k| 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1440 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1293.16/1293.53 c 1293s| 1240k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1447 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1296.25/1296.68 c 1296s| 1250k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1457 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1299.35/1299.71 c 1300s| 1260k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1468 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1302.45/1302.84 c 1303s| 1270k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1485 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1306.05/1306.45 c 1306s| 1280k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1492 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1309.35/1309.74 c 1310s| 1290k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1521 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1312.35/1312.76 c 1313s| 1300k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1542 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1315.45/1315.85 c 1316s| 1310k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1566 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1318.55/1318.91 c 1319s| 1320k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1577 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1321.85/1322.27 c 1322s| 1330k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1592 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1325.15/1325.56 c 1325s| 1340k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1610 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1328.45/1328.90 c 1329s| 1350k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1637 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1331.65/1332.05 c 1332s| 1360k| 58 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1650 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1335.44/1335.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1335.44/1335.87 c 1336s| 1370k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1662 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1339.04/1339.43 c 1339s| 1380k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1684 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1342.14/1342.57 c 1342s| 1390k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1693 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1345.34/1345.71 c 1346s| 1400k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1705 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1348.54/1348.91 c 1349s| 1410k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1723 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1351.64/1352.08 c 1352s| 1420k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1735 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1354.94/1355.35 c 1355s| 1430k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1742 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1358.24/1358.62 c 1358s| 1440k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1753 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1361.44/1361.87 c 1362s| 1450k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1768 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1364.83/1365.23 c 1365s| 1460k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1773 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1367.94/1368.37 c 1368s| 1470k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1780 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1371.13/1371.58 c 1371s| 1480k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1794 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1374.43/1374.81 c 1375s| 1490k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1806 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1377.63/1378.08 c 1378s| 1500k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1815 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1380.73/1381.13 c 1381s| 1510k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1827 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1383.93/1384.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1383.93/1384.37 c 1384s| 1520k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1842 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1387.13/1387.52 c 1387s| 1530k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1849 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1390.23/1390.66 c 1390s| 1540k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1873 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1393.43/1393.86 c 1394s| 1550k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1884 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1396.63/1397.09 c 1397s| 1560k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1900 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1399.73/1400.18 c 1400s| 1570k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1904 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1402.83/1403.28 c 1403s| 1580k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1909 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1406.02/1406.45 c 1406s| 1590k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1913 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1409.12/1409.57 c 1409s| 1600k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1920 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1412.32/1412.71 c 1413s| 1610k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1930 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1415.42/1415.80 c 1416s| 1620k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1941 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1418.53/1418.92 c 1419s| 1630k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1961 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1421.72/1422.11 c 1422s| 1640k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1971 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1424.92/1425.31 c 1425s| 1650k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1979 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1428.02/1428.49 c 1428s| 1660k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1987 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1431.22/1431.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1431.22/1431.65 c 1431s| 1670k| 58 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1993 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1434.42/1434.80 c 1435s| 1680k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|1998 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1437.72/1438.13 c 1438s| 1690k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2009 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1440.92/1441.30 c 1441s| 1700k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2028 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1444.11/1444.54 c 1444s| 1710k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2043 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1447.12/1447.57 c 1447s| 1720k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2060 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1450.21/1450.67 c 1450s| 1730k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2070 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1453.41/1453.80 c 1454s| 1740k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2086 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1456.51/1456.91 c 1457s| 1750k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2097 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1459.61/1460.09 c 1460s| 1760k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2111 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1462.81/1463.21 c 1463s| 1770k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2124 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1465.81/1466.29 c 1466s| 1780k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2143 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1468.91/1469.34 c 1469s| 1790k| 67 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2166 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1472.01/1472.46 c 1472s| 1800k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2185 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1475.20/1475.61 c 1475s| 1810k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2200 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1478.30/1478.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1478.30/1478.71 c 1479s| 1820k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2210 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1481.50/1481.91 c 1482s| 1830k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2242 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1485.00/1485.49 c 1485s| 1840k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2278 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1488.30/1488.78 c 1489s| 1850k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2315 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1491.40/1491.82 c 1492s| 1860k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2339 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1494.51/1494.90 c 1495s| 1870k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2354 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1497.50/1497.96 c 1498s| 1880k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2364 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1500.60/1501.01 c 1501s| 1890k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2370 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1503.70/1504.13 c 1504s| 1900k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2380 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1506.80/1507.24 c 1507s| 1910k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2411 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1509.90/1510.33 c 1510s| 1920k| 68 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2435 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1513.00/1513.47 c 1513s| 1930k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2449 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1516.19/1516.62 c 1516s| 1940k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2474 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1519.19/1519.69 c 1519s| 1950k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2495 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1522.29/1522.78 c 1523s| 1960k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2516 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1525.49/1525.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1525.49/1525.90 c 1526s| 1970k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2551 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1528.60/1529.09 c 1529s| 1980k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2566 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1531.99/1532.41 c 1532s| 1990k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2576 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1535.29/1535.79 c 1536s| 2000k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2592 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1538.59/1539.01 c 1539s| 2010k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2603 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1541.70/1542.18 c 1542s| 2020k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2608 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1545.09/1545.59 c 1545s| 2030k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2618 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1548.39/1548.86 c 1549s| 2040k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2642 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1551.59/1552.03 c 1552s| 2050k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2657 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1554.68/1555.16 c 1555s| 2060k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2675 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1557.78/1558.22 c 1558s| 2070k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2701 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1560.88/1561.39 c 1561s| 2080k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2727 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1564.18/1564.63 c 1564s| 2090k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2747 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1567.28/1567.71 c 1568s| 2100k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2763 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1570.39/1570.88 c 1571s| 2110k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2774 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1573.59/1574.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1573.59/1574.06 c 1574s| 2120k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2797 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1576.78/1577.21 c 1577s| 2130k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2832 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1579.88/1580.39 c 1580s| 2140k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2864 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1583.18/1583.62 c 1583s| 2150k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2872 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1586.38/1586.89 c 1587s| 2160k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2894 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1589.67/1590.12 c 1590s| 2170k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2919 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1592.77/1593.28 c 1593s| 2180k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2935 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1595.87/1596.36 c 1596s| 2190k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2959 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1599.07/1599.51 c 1599s| 2200k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2982 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1602.28/1602.79 c 1603s| 2210k| 66 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|2999 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1605.48/1605.95 c 1606s| 2220k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3003 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1608.67/1609.18 c 1609s| 2230k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3010 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1612.08/1612.56 c 1612s| 2240k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3018 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1615.37/1615.88 c 1616s| 2250k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3058 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1618.77/1619.21 c 1619s| 2260k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3080 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1621.97/1622.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1621.97/1622.49 c 1622s| 2270k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3090 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1625.27/1625.74 c 1626s| 2280k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3104 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1628.46/1628.91 c 1629s| 2290k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3111 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1631.66/1632.14 c 1632s| 2300k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3116 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1634.86/1635.32 c 1635s| 2310k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3120 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1638.06/1638.59 c 1638s| 2320k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3133 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1641.26/1641.74 c 1642s| 2330k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3143 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1644.56/1645.02 c 1645s| 2340k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3155 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1647.76/1648.21 c 1648s| 2350k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3174 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1650.76/1651.23 c 1651s| 2360k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3188 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1654.16/1654.60 c 1654s| 2370k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3200 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1657.36/1657.85 c 1658s| 2380k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3207 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1660.66/1661.10 c 1661s| 2390k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3221 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1663.86/1664.39 c 1664s| 2400k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3223 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1667.16/1667.64 c 1667s| 2410k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3229 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1670.25/1670.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1670.25/1670.71 c 1671s| 2420k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3245 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1673.45/1673.96 c 1674s| 2430k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3259 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1676.55/1677.05 c 1677s| 2440k| 65 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3268 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1679.85/1680.35 c 1680s| 2450k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3275 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1683.15/1683.64 c 1683s| 2460k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3283 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1686.35/1686.84 c 1687s| 2470k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3298 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1689.55/1690.04 c 1690s| 2480k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3301 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1692.65/1693.14 c 1693s| 2490k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3312 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1695.75/1696.27 c 1696s| 2500k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3321 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1698.95/1699.46 c 1699s| 2510k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3322 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1702.25/1702.72 c 1703s| 2520k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3334 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1705.55/1706.06 c 1706s| 2530k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3344 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1708.85/1709.40 c 1709s| 2540k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3363 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1712.04/1712.55 c 1712s| 2550k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3369 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1715.14/1715.64 c 1715s| 2560k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3376 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1718.24/1718.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1718.24/1718.73 c 1719s| 2570k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3382 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1721.34/1721.80 c 1722s| 2580k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3394 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1724.44/1724.91 c 1725s| 2590k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3404 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1727.55/1728.02 c 1728s| 2600k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3412 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1730.64/1731.13 c 1731s| 2610k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3424 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1733.74/1734.27 c 1734s| 2620k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3429 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1737.04/1737.53 c 1737s| 2630k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3435 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1740.33/1740.80 c 1741s| 2640k| 59 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3443 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1743.43/1743.92 c 1744s| 2650k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3449 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1746.63/1747.16 c 1747s| 2660k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3462 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1749.93/1750.41 c 1750s| 2670k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3477 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1752.94/1753.44 c 1753s| 2680k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3493 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1756.03/1756.55 c 1756s| 2690k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3506 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1759.23/1759.76 c 1760s| 2700k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3515 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1762.33/1762.82 c 1763s| 2710k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3518 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1765.43/1765.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.43/1765.98 c 1766s| 2720k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3527 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1768.63/1769.14 c 1769s| 2730k| 63 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3537 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1771.73/1772.22 c 1772s| 2740k| 62 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3549 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1775.13/1775.70 c 1776s| 2750k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3560 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1778.33/1778.83 c 1779s| 2760k| 64 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3581 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1781.43/1781.91 c 1782s| 2770k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3603 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1784.73/1785.20 c 1785s| 2780k| 60 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3622 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1787.82/1788.38 c 1788s| 2790k| 61 |258917 | 0.0 | 58M| 88 | - |1000 | 15k| 0 | 0 | 16k|3634 | 21 |-3.270000e+02 |-9.900000e+01 | 69.72%
1789.52/1790.00 c
1789.52/1790.00 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.00 c Solving Time (sec) : 1789.81
1789.52/1790.00 c Solving Nodes : 2795213
1789.52/1790.00 c Primal Bound : -9.90000000000000e+01 (49 solutions)
1789.52/1790.00 c Dual Bound : -3.26999999999999e+02
1789.52/1790.00 c Gap : 69.72 %
1789.52/1790.04 s SATISFIABLE
1789.52/1790.04 v x1000 x999 -x998 -x997 -x996 -x995 -x994 x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1789.52/1790.04 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1789.52/1790.04 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 x938 -x937
1789.52/1790.04 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1789.52/1790.04 v -x915 x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1789.52/1790.04 v -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1789.52/1790.04 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853
1789.52/1790.04 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1789.52/1790.04 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1789.52/1790.04 v x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1789.52/1790.04 v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1789.52/1790.04 v x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 x750 -x749 -x748
1789.52/1790.04 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727
1789.52/1790.04 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706
1789.52/1790.04 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 x688 -x687 -x686 -x685
1789.52/1790.04 v -x684 x683 -x682 x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1789.52/1790.04 v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1789.52/1790.04 v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1789.52/1790.04 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 x605 -x604 -x603 -x602 -x601
1789.52/1790.04 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1789.52/1790.04 v -x579 -x578 x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1789.52/1790.04 v -x558 -x557 -x556 -x555 x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1789.52/1790.04 v -x537 -x536 -x535 x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 x520 -x519 -x518 -x517
1789.52/1790.04 v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496
1789.52/1790.04 v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475
1789.52/1790.04 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 x454
1789.52/1790.04 v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1789.52/1790.04 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1789.52/1790.04 v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 x395 -x394 x393 -x392 -x391
1789.52/1790.04 v -x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369
1789.52/1790.04 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 x350 -x349 -x348
1789.52/1790.04 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 -x337 -x336 -x335 -x334 -x333 -x332 x331 -x330 -x329 -x328 -x327
1789.52/1790.04 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
1789.52/1790.04 v -x305 -x304 -x303 -x302 -x301 -x300 x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
1789.52/1790.04 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
1789.52/1790.04 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 x247 -x246 x245 x244 -x243
1789.52/1790.04 v -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221
1789.52/1790.04 v -x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200
1789.52/1790.04 v -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179
1789.52/1790.04 v -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158
1789.52/1790.04 v x157 -x156 -x155 x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137
1789.52/1790.04 v -x136 -x135 -x134 x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118 -x117 -x116
1789.52/1790.04 v -x115 -x114 x113 -x112 -x111 -x110 x109 -x108 x107 x106 -x105 -x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 x93
1789.52/1790.04 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
1789.52/1790.04 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
1789.52/1790.04 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
1789.52/1790.04 v -x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1
1789.52/1790.04 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.04 c Solving Time : 1789.81
1789.52/1790.04 c Original Problem :
1789.52/1790.04 c Problem name : HOME/instance-2703249-1278569058.opb
1789.52/1790.04 c Variables : 16820 (16820 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.04 c Constraints : 16820 initial, 16820 maximal
1789.52/1790.04 c Presolved Problem :
1789.52/1790.04 c Problem name : t_HOME/instance-2703249-1278569058.opb
1789.52/1790.04 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.04 c Constraints : 15820 initial, 15826 maximal
1789.52/1790.04 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.52/1790.04 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.04 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.04 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.04 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.04 c implics : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.04 c probing : 0.10 0 0 0 0 0 0 0 0
1789.52/1790.04 c linear : 0.10 15820 0 0 15820 0 1000 0 0
1789.52/1790.04 c logicor : 0.04 0 0 0 0 0 0 0 0
1789.52/1790.04 c root node : - 0 - - 0 - - - -
1789.52/1790.04 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.52/1790.04 c integral : 0 0 0 1 0 0 0 0 0 2
1789.52/1790.04 c logicor : 15820+ 190 2746662 0 0 16454 4662412 16865 0 0
1789.52/1790.04 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.52/1790.04 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.52/1790.04 c integral : 41.13 0.00 0.00 41.13 0.00
1789.52/1790.04 c logicor : 62.80 0.75 62.05 0.00 0.00
1789.52/1790.04 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.52/1790.04 c Propagators : Time Calls Cutoffs DomReds
1789.52/1790.04 c vbounds : 1.57 2 0 0
1789.52/1790.04 c rootredcost : 1.66 0 0 0
1789.52/1790.04 c pseudoobj : 367.35 4693676 1171434 4266440
1789.52/1790.04 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.52/1790.04 c propagation : 14.72 16454 3644 3644 74.5 0 0.0 -
1789.52/1790.04 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.04 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.04 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.04 c pseudo solution : 324.59 198980 0 0 0.0 0 0.0 -
1789.52/1790.04 c applied globally : - - - 3644 74.5 - - -
1789.52/1790.04 c applied locally : - - - 0 0.0 - - -
1789.52/1790.04 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.52/1790.04 c cut pool : 1.31 189 - - 3862 - (maximal pool size: 12535)
1789.52/1790.04 c redcost : 0.01 190 0 0 0 0
1789.52/1790.04 c impliedbounds : 0.46 189 0 0 21086 0
1789.52/1790.04 c intobj : 0.00 0 0 0 0 0
1789.52/1790.04 c cgmip : 0.00 0 0 0 0 0
1789.52/1790.04 c gomory : 451.64 188 0 0 64953 0
1789.52/1790.04 c strongcg : 2.94 20 0 0 10000 0
1789.52/1790.04 c cmir : 1.16 10 0 0 0 0
1789.52/1790.04 c flowcover : 0.91 10 0 0 0 0
1789.52/1790.04 c clique : 6.31 188 0 0 1550 0
1789.52/1790.04 c zerohalf : 0.00 0 0 0 0 0
1789.52/1790.04 c mcf : 0.03 1 0 0 0 0
1789.52/1790.04 c rapidlearning : 0.00 0 0 0 0 0
1789.52/1790.04 c Pricers : Time Calls Vars
1789.52/1790.04 c problem variables: 0.00 0 0
1789.52/1790.04 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.52/1790.04 c relpscost : 41.13 1 0 0 0 0 2
1789.52/1790.04 c pscost : 0.00 0 0 0 0 0 0
1789.52/1790.04 c inference : 17.04 1409630 0 0 0 0 2819260
1789.52/1790.04 c mostinf : 0.00 0 0 0 0 0 0
1789.52/1790.04 c leastinf : 0.00 0 0 0 0 0 0
1789.52/1790.04 c fullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.04 c allfullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.04 c random : 0.00 0 0 0 0 0 0
1789.52/1790.04 c Primal Heuristics : Time Calls Found
1789.52/1790.04 c LP solutions : 0.00 - 0
1789.52/1790.04 c pseudo solutions : 0.00 - 0
1789.52/1790.04 c crossover : 0.00 0 0
1789.52/1790.04 c oneopt : 1.37 2 1
1789.52/1790.04 c trivial : 0.04 2 2
1789.52/1790.04 c simplerounding : 0.23 190 44
1789.52/1790.04 c zirounding : 0.01 1 0
1789.52/1790.04 c rounding : 10.65 190 1
1789.52/1790.04 c shifting : 11.58 190 1
1789.52/1790.04 c intshifting : 0.00 0 0
1789.52/1790.04 c twoopt : 0.00 0 0
1789.52/1790.04 c fixandinfer : 0.00 0 0
1789.52/1790.04 c feaspump : 0.00 0 0
1789.52/1790.04 c coefdiving : 0.00 0 0
1789.52/1790.04 c pscostdiving : 0.00 0 0
1789.52/1790.04 c fracdiving : 0.00 0 0
1789.52/1790.04 c veclendiving : 0.00 0 0
1789.52/1790.04 c intdiving : 0.00 0 0
1789.52/1790.04 c actconsdiving : 0.00 0 0
1789.52/1790.04 c objpscostdiving : 0.00 0 0
1789.52/1790.04 c rootsoldiving : 0.00 0 0
1789.52/1790.04 c linesearchdiving : 0.00 0 0
1789.52/1790.04 c guideddiving : 0.00 0 0
1789.52/1790.04 c octane : 0.00 0 0
1789.52/1790.04 c rens : 0.01 0 0
1789.52/1790.04 c rins : 0.00 0 0
1789.52/1790.04 c localbranching : 0.00 0 0
1789.52/1790.04 c mutation : 0.00 0 0
1789.52/1790.04 c dins : 0.00 0 0
1789.52/1790.04 c undercover : 0.00 0 0
1789.52/1790.04 c nlp : 0.82 0 0
1789.52/1790.04 c trysol : 0.88 0 0
1789.52/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.52/1790.04 c primal LP : 0.29 0 0 0.00 0.00
1789.52/1790.04 c dual LP : 358.92 190 258917 1362.72 721.37
1789.52/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.52/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.52/1790.04 c diving/probing LP: 0.00 0 0 0.00 -
1789.52/1790.04 c strong branching : 41.12 21 20002 952.48 486.39
1789.52/1790.04 c (at root node) : - 21 20002 952.48 -
1789.52/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.52/1790.04 c B&B Tree :
1789.52/1790.04 c number of runs : 1
1789.52/1790.04 c nodes : 2795213
1789.52/1790.04 c nodes (total) : 2795213
1789.52/1790.04 c nodes left : 60
1789.52/1790.04 c max depth : 88
1789.52/1790.04 c max depth (total): 88
1789.52/1790.04 c backtracks : 692823 (24.8%)
1789.52/1790.04 c delayed cutoffs : 1575
1789.52/1790.04 c repropagations : 2815 (10551 domain reductions, 1286 cutoffs)
1789.52/1790.04 c avg switch length: 2.00
1789.52/1790.04 c switching time : 53.12
1789.52/1790.04 c Solution :
1789.52/1790.04 c Solutions found : 49 (4 improvements)
1789.52/1790.04 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.18 seconds, depth 0, found by <trivial>)
1789.52/1790.04 c Primal Bound : -9.90000000000000e+01 (in run 1, after 1 nodes, 2.42 seconds, depth 0, found by <oneopt>)
1789.52/1790.04 c Dual Bound : -3.26999999999999e+02
1789.52/1790.04 c Gap : 69.72 %
1789.52/1790.04 c Root Dual Bound : -3.26999999999999e+02
1789.52/1790.04 c Root Iterations : 258917
1789.62/1790.18 c Time complete: 1789.7.
OK -99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703249-1278569058/watcher-2703249-1278569058 -o /tmp/evaluation-result-2703249-1278569058/solver-2703249-1278569058 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703249-1278569058.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30076 /proc/meminfo: memFree=1682884/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=7904 CPUtime=0 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 1039 0 0 0 0 0 0 0 23 0 1 0 25119449 8093696 951 1992294400 4194304 8395647 140735187900160 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30076/statm: 1976 959 365 1026 0 946 0 [startup+0.0901149 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30076 /proc/meminfo: memFree=1682884/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=22208 CPUtime=0.08 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 4819 0 0 0 6 2 0 0 23 0 1 0 25119449 22740992 4731 1992294400 4194304 8395647 140735187900160 18446744073709551615 4423932 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30076/statm: 5552 4731 393 1026 0 4522 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22208 [startup+0.101115 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30076 /proc/meminfo: memFree=1682884/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=23880 CPUtime=0.09 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 5262 0 0 0 7 2 0 0 23 0 1 0 25119449 24453120 5174 1992294400 4194304 8395647 140735187900160 18446744073709551615 7370094 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30076/statm: 5970 5174 393 1026 0 4940 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23880 [startup+0.301138 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30076 /proc/meminfo: memFree=1682884/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=52364 CPUtime=0.29 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 12661 0 0 0 24 5 0 0 23 0 1 0 25119449 53620736 12219 1992294400 4194304 8395647 140735187900160 18446744073709551615 6066422 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 13091 12219 420 1026 0 12061 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 52364 [startup+0.701188 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30076 /proc/meminfo: memFree=1682884/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=66772 CPUtime=0.69 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 15793 0 0 0 63 6 0 0 25 0 1 0 25119449 68374528 15351 1992294400 4194304 8395647 140735187900160 18446744073709551615 4995212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 16693 15351 476 1026 0 15663 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 66772 [startup+1.50127 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30077 /proc/meminfo: memFree=1614056/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=90416 CPUtime=1.49 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 21986 0 0 0 141 8 0 0 25 0 1 0 25119449 92585984 21115 1992294400 4194304 8395647 140735187900160 18446744073709551615 6496256 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 22604 21115 714 1026 0 21574 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 90416 [startup+3.10145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30077 /proc/meminfo: memFree=1598556/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=93984 CPUtime=3.09 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 22805 0 0 0 299 10 0 0 25 0 1 0 25119449 96239616 21784 1992294400 4194304 8395647 140735187900160 18446744073709551615 6124447 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 23496 21784 641 1026 0 22466 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 93984 [startup+6.30081 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30077 /proc/meminfo: memFree=1593720/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=96940 CPUtime=6.29 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 23822 0 0 0 618 11 0 0 25 0 1 0 25119449 99266560 22786 1992294400 4194304 8395647 140735187900160 18446744073709551615 7385767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 24235 22786 732 1026 0 23205 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 96940 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30077 /proc/meminfo: memFree=1588388/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=103144 CPUtime=12.69 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 25320 0 0 0 1256 13 0 0 25 0 1 0 25119449 105619456 24160 1992294400 4194304 8395647 140735187900160 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 25786 24160 609 1026 0 24756 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 103144 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30079 /proc/meminfo: memFree=1566564/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=122728 CPUtime=25.49 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 30928 0 0 0 2528 21 0 0 25 0 1 0 25119449 125673472 29566 1992294400 4194304 8395647 140735187900160 18446744073709551615 4700793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 30682 29566 673 1026 0 29652 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 122728 [startup+51.1008 s] /proc/loadavg: 1.07 1.02 1.00 2/107 30079 /proc/meminfo: memFree=1560736/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=128736 CPUtime=51.07 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 32393 0 0 0 5074 33 0 0 25 0 1 0 25119449 131825664 30955 1992294400 4194304 8395647 140735187900160 18446744073709551615 6697691 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 32184 30955 597 1026 0 31154 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128736 [startup+102.308 s] /proc/loadavg: 1.18 1.04 1.01 2/107 30081 /proc/meminfo: memFree=1547468/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=142892 CPUtime=102.27 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 35711 0 0 0 10174 53 0 0 25 0 1 0 25119449 146321408 34224 1992294400 4194304 8395647 140735187900160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 35723 34224 599 1026 0 34693 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 142892 [startup+162.301 s] /proc/loadavg: 1.20 1.07 1.02 2/107 30081 /proc/meminfo: memFree=1536432/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=154152 CPUtime=162.25 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 38445 0 0 0 16152 73 0 0 25 0 1 0 25119449 157851648 36954 1992294400 4194304 8395647 140735187900160 18446744073709551615 6132178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 38538 36954 599 1026 0 37508 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 154152 [startup+222.301 s] /proc/loadavg: 1.14 1.07 1.02 2/107 30083 /proc/meminfo: memFree=1532960/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=158280 CPUtime=222.24 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 39282 0 0 0 22130 94 0 0 25 0 1 0 25119449 162078720 37785 1992294400 4194304 8395647 140735187900160 18446744073709551615 6697959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 39570 37785 599 1026 0 38540 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 158280 [startup+282.302 s] /proc/loadavg: 1.05 1.05 1.01 2/107 30085 /proc/meminfo: memFree=1528248/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=282.21 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40488 0 0 0 28108 113 0 0 25 0 1 0 25119449 166936576 38991 1992294400 4194304 8395647 140735187900160 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 38991 599 1026 0 39726 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 163024 [startup+342.301 s] /proc/loadavg: 1.02 1.04 1.00 2/107 30087 /proc/meminfo: memFree=1527752/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=342.2 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40523 0 0 0 34089 131 0 0 25 0 1 0 25119449 166936576 39026 1992294400 4194304 8395647 140735187900160 18446744073709551615 6197823 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39026 599 1026 0 39726 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 163024 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 30089 /proc/meminfo: memFree=1527752/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=402.19 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40530 0 0 0 40071 148 0 0 25 0 1 0 25119449 166936576 39033 1992294400 4194304 8395647 140735187900160 18446744073709551615 6670348 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39033 599 1026 0 39726 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 163024 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30089 /proc/meminfo: memFree=1527628/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=462.17 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40536 0 0 0 46052 165 0 0 25 0 1 0 25119449 166936576 39039 1992294400 4194304 8395647 140735187900160 18446744073709551615 6692717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39039 599 1026 0 39726 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 163024 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 30091 /proc/meminfo: memFree=1527504/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=522.16 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40540 0 0 0 52034 182 0 0 25 0 1 0 25119449 166936576 39043 1992294400 4194304 8395647 140735187900160 18446744073709551615 6198176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39043 599 1026 0 39726 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 163024 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30093 /proc/meminfo: memFree=1527380/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=582.14 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40544 0 0 0 58017 197 0 0 25 0 1 0 25119449 166936576 39047 1992294400 4194304 8395647 140735187900160 18446744073709551615 6440490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39047 599 1026 0 39726 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 163024 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 30095 /proc/meminfo: memFree=1527256/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=642.13 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40547 0 0 0 63999 214 0 0 25 0 1 0 25119449 166936576 39050 1992294400 4194304 8395647 140735187900160 18446744073709551615 6202514 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39050 599 1026 0 39726 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 163024 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1526140/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1002.02 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 99921 281 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 5504739 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 163024 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30108 /proc/meminfo: memFree=1526140/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1062.02 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 105920 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019996 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 163024 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30110 /proc/meminfo: memFree=1526140/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1122 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 111918 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 4326029 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 163024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30112 /proc/meminfo: memFree=1526140/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1181.98 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 117916 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 163024 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30114 /proc/meminfo: memFree=1525892/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1241.97 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 123915 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 163024 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30116 /proc/meminfo: memFree=1525768/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1301.96 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 129914 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 4230845 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 163024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30116 /proc/meminfo: memFree=1525768/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1361.94 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 135912 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 5613576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 163024 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30118 /proc/meminfo: memFree=1525644/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1421.93 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 141911 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6028056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 163024 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30120 /proc/meminfo: memFree=1525520/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1481.9 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 147908 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 5615650 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 163024 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30122 /proc/meminfo: memFree=1525396/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1541.89 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 153907 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 4216689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 163024 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30124 /proc/meminfo: memFree=1525272/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1601.87 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 159905 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 163024 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30124 /proc/meminfo: memFree=1525148/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1661.86 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 165904 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 4684974 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 163024 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30126 /proc/meminfo: memFree=1525024/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1721.84 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 171902 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 163024 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1781.82 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 177900 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 5615744 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 163024 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1785.02 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 178220 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019948 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 163024 [startup+1788.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1788.22 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 178540 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019886 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1788.22 Current children cumulated vsize (KiB) 163024 [startup+1789.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1789.02 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 178620 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6020000 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1789.02 Current children cumulated vsize (KiB) 163024 [startup+1789.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1789.42 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40584 0 0 0 178660 282 0 0 25 0 1 0 25119449 166936576 39087 1992294400 4194304 8395647 140735187900160 18446744073709551615 6019988 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39087 613 1026 0 39726 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (KiB) 163024 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30128 /proc/meminfo: memFree=1524776/2059040 swapFree=4139412/4192956 [pid=30076] ppid=30074 vsize=163024 CPUtime=1789.62 /proc/30076/stat : 30076 (pbscip.linux.x8) R 30074 30076 29411 0 -1 4202496 40590 0 0 0 178680 282 0 0 25 0 1 0 25119449 166936576 39093 1992294400 4194304 8395647 140735187900160 18446744073709551615 6345832 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30076/statm: 40756 39093 619 1026 0 39726 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (KiB) 163024 Child status: 0 Real time (s): 1790.18 CPU time (s): 1789.71 CPU user time (s): 1786.87 CPU system time (s): 2.83857 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 163024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.87 system time used= 2.83857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40593 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 2924 runsolver used 2.95355 second user time and 8.48171 second system time The end
Begin job on node005 at 2010-07-08 08:04:18 IDJOB=2703249 IDBENCH=48193 IDSOLVER=1213 FILE ID=node005/2703249-1278569058 PBS_JOBID= 11239577 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_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-2703249-1278569058/watcher-2703249-1278569058 -o /tmp/evaluation-result-2703249-1278569058/solver-2703249-1278569058 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703249-1278569058.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0945390fcac05113ffd57d1199a19e21 RANDOM SEED=1294098339 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1683288 kB Buffers: 77260 kB Cached: 206932 kB SwapCached: 8028 kB Active: 156600 kB Inactive: 144416 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1683288 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 10856 kB Writeback: 12 kB AnonPages: 14012 kB Mapped: 12008 kB Slab: 52760 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182816 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= 62556 MiB End job on node005 at 2010-07-08 08:34:09