Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed | SAT | -102 | 1796.9 | 1797.21 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb |
| MD5SUM | 1af848a7208b60f67c27d4022c7b5abe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -128 |
| Best CPU time to get the best result obtained on this benchmark | 1800.09 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -151 |
| Optimality of the best value was proved | NO |
| Number of variables | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 25 |
| Maximum length of a constraint | 50 |
| Number of terms in the objective function | 1000 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 31544 |
| Sum of products size (including duplicates) | 63088 |
| Number of different products | 15772 |
| Sum of products size | 31544 |
0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 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-3692629-1338036876.opb>
0.04/0.07 c original problem has 16772 variables (1000 bin, 0 int, 15772 impl, 0 cont) and 17772 constraints
0.04/0.08 c problem read in 0.08
0.09/0.17 o 0
0.09/0.18 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.18 c presolving:
0.29/0.36 c (round 1) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 31544 impls, 0 clqs
0.29/0.39 c (round 2) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 15772 upgd conss, 31544 impls, 0 clqs
0.39/0.43 c (0.4s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43 c (0.4s) probing aborted: 50/50 successive totally useless probings
0.39/0.44 c presolving (3 rounds):
0.39/0.44 c 15772 deleted vars, 2000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.44 c 63086 implications, 0 cliques
0.39/0.44 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.39/0.44 c 15772 constraints of type <setppc>
0.39/0.44 c transformed objective value is always integral (scale: 1)
0.39/0.44 c Presolving Time: 0.30
0.39/0.44 c - non default parameters ----------------------------------------------------------------------
0.39/0.44 c # SCIP version 2.1.1.4
0.39/0.44 c
0.39/0.44 c # maximal time in seconds to run
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/time = 1797
0.39/0.44 c
0.39/0.44 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.44 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.44 c limits/memory = 13950
0.39/0.44 c
0.39/0.44 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.44 c # [type: int, range: [1,2], default: 1]
0.39/0.44 c timing/clocktype = 2
0.39/0.44 c
0.39/0.44 c # belongs reading time to solving time?
0.39/0.44 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.44 c timing/reading = TRUE
0.39/0.44 c
0.39/0.44 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.44 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.44 c separating/rapidlearning/freq = 0
0.39/0.44 c
0.39/0.44 c -----------------------------------------------------------------------------------------------
0.39/0.44 c start solving
0.39/0.44 c
0.48/0.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.72 c t 0.6s| 1 | 0 | 1041 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | Inf
0.69/0.72 o -1
0.69/0.72 c R 0.6s| 1 | 0 | 1041 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | Large
0.69/0.72 o -2
0.69/0.72 c s 0.7s| 1 | 0 | 1041 | - | 53M| 0 |1000 |1000 | 15k|1000 | 15k| 0 | 0 | 0 |-5.000000e+02 |-2.000000e+00 | Large
0.91/0.92 c 0.9s| 1 | 0 | 1327 | - | 53M| 0 | 989 |1000 | 15k|1000 | 15k| 14 | 0 | 0 |-4.945000e+02 |-2.000000e+00 | Large
0.91/0.92 o -102
0.91/0.92 c b 0.9s| 1 | 0 | 1327 | - | 53M| 0 | 989 |1000 | 15k|1000 | 15k| 14 | 0 | 0 |-4.945000e+02 |-1.020000e+02 | 384.80%
1.19/1.24 c 1.2s| 1 | 0 | 1549 | - | 53M| 0 | 981 |1000 | 15k|1000 | 15k| 26 | 0 | 0 |-4.905000e+02 |-1.020000e+02 | 380.88%
1.58/1.60 c 1.6s| 1 | 0 | 1923 | - | 53M| 0 | 975 |1000 | 15k|1000 | 15k| 38 | 0 | 0 |-4.875000e+02 |-1.020000e+02 | 377.94%
1.99/2.04 c 2.0s| 1 | 0 | 2466 | - | 54M| 0 | 968 |1000 | 15k|1000 | 15k| 50 | 0 | 0 |-4.832500e+02 |-1.020000e+02 | 373.77%
2.49/2.51 c 2.5s| 1 | 0 | 3064 | - | 54M| 0 | 959 |1000 | 15k|1000 | 15k| 66 | 0 | 0 |-4.795000e+02 |-1.020000e+02 | 370.10%
2.88/2.95 c 3.0s| 1 | 0 | 3356 | - | 54M| 0 | 957 |1000 | 15k|1000 | 15k| 75 | 0 | 0 |-4.782647e+02 |-1.020000e+02 | 368.89%
3.40/3.49 c 3.5s| 1 | 0 | 3952 | - | 55M| 0 | 952 |1000 | 15k|1000 | 15k| 88 | 0 | 0 |-4.760000e+02 |-1.020000e+02 | 366.67%
3.99/4.07 c 4.1s| 1 | 0 | 4464 | - | 55M| 0 | 950 |1000 | 15k|1000 | 15k| 97 | 0 | 0 |-4.744808e+02 |-1.020000e+02 | 365.18%
4.68/4.74 c 4.7s| 1 | 0 | 5246 | - | 56M| 0 | 942 |1000 | 15k|1000 | 15k| 111 | 0 | 0 |-4.700000e+02 |-1.020000e+02 | 360.78%
5.39/5.50 c 5.5s| 1 | 0 | 6256 | - | 56M| 0 | 942 |1000 | 15k|1000 | 15k| 125 | 0 | 0 |-4.670000e+02 |-1.020000e+02 | 357.84%
6.29/6.33 c 6.3s| 1 | 0 | 7328 | - | 57M| 0 | 935 |1000 | 15k|1000 |2027 | 135 | 0 | 0 |-4.660000e+02 |-1.020000e+02 | 356.86%
6.39/6.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.49 c 6.5s| 1 | 0 | 7640 | - | 57M| 0 | 929 |1000 | 15k|1000 |2040 | 148 | 0 | 0 |-4.635000e+02 |-1.020000e+02 | 354.41%
6.79/6.80 c 6.8s| 1 | 0 | 9096 | - | 58M| 0 | 918 |1000 | 15k|1000 |2055 | 163 | 0 | 0 |-4.600000e+02 |-1.020000e+02 | 350.98%
6.89/6.99 c 7.0s| 1 | 0 | 9710 | - | 58M| 0 | 916 |1000 | 15k|1000 |2089 | 197 | 0 | 0 |-4.577500e+02 |-1.020000e+02 | 348.77%
7.09/7.16 c 7.2s| 1 | 0 | 10155 | - | 58M| 0 | 909 |1000 | 15k|1000 |2231 | 339 | 0 | 0 |-4.565000e+02 |-1.020000e+02 | 347.55%
7.49/7.56 c 7.6s| 1 | 0 | 11942 | - | 58M| 0 | 900 |1000 | 15k|1000 |2299 | 407 | 0 | 0 |-4.550000e+02 |-1.020000e+02 | 346.08%
7.69/7.74 c 7.7s| 1 | 0 | 12416 | - | 59M| 0 | 902 |1000 | 15k|1000 |1853 | 539 | 0 | 0 |-4.540000e+02 |-1.020000e+02 | 345.10%
7.98/8.04 c 8.0s| 1 | 0 | 13864 | - | 59M| 0 | 885 |1000 | 15k|1000 |1958 | 644 | 0 | 0 |-4.525000e+02 |-1.020000e+02 | 343.63%
8.18/8.26 c 8.3s| 1 | 0 | 14653 | - | 59M| 0 | 889 |1000 | 15k|1000 |2511 |1197 | 0 | 0 |-4.505000e+02 |-1.020000e+02 | 341.67%
8.49/8.52 c 8.5s| 1 | 0 | 15633 | - | 59M| 0 | 899 |1000 | 15k|1000 |2668 |1354 | 0 | 0 |-4.497500e+02 |-1.020000e+02 | 340.93%
8.59/8.64 c 8.6s| 1 | 0 | 15899 | - | 59M| 0 | 900 |1000 | 15k|1000 |2826 |1512 | 0 | 0 |-4.493333e+02 |-1.020000e+02 | 340.52%
8.89/8.93 c 8.9s| 1 | 0 | 17471 | - | 59M| 0 | 887 |1000 | 15k|1000 |2855 |1541 | 0 | 0 |-4.485000e+02 |-1.020000e+02 | 339.71%
8.99/9.04 c 9.0s| 1 | 0 | 17663 | - | 60M| 0 | 893 |1000 | 15k|1000 |2477 |1667 | 0 | 0 |-4.485000e+02 |-1.020000e+02 | 339.71%
9.19/9.21 c 9.2s| 1 | 0 | 18312 | - | 60M| 0 | 887 |1000 | 15k|1000 |2521 |1711 | 0 | 0 |-4.477500e+02 |-1.020000e+02 | 338.97%
9.29/9.37 c 9.4s| 1 | 0 | 18831 | - | 60M| 0 | 883 |1000 | 15k|1000 |2704 |1894 | 0 | 0 |-4.465000e+02 |-1.020000e+02 | 337.75%
9.59/9.68 c 9.7s| 1 | 0 | 20972 | - | 60M| 0 | 887 |1000 | 15k|1000 |2830 |2020 | 0 | 0 |-4.450000e+02 |-1.020000e+02 | 336.27%
9.89/9.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.89/9.94 c 9.9s| 1 | 0 | 22415 | - | 60M| 0 | 929 |1000 | 15k|1000 |2957 |2147 | 0 | 0 |-4.445195e+02 |-1.020000e+02 | 335.80%
10.38/10.42 c 10.4s| 1 | 0 | 22497 | - | 61M| 0 | 894 |1000 | 15k|1000 |4957 |4147 | 0 | 0 |-4.445000e+02 |-1.020000e+02 | 335.78%
10.48/10.56 c 10.6s| 1 | 0 | 22791 | - | 61M| 0 | 895 |1000 | 15k|1000 |3965 |4154 | 0 | 0 |-4.435000e+02 |-1.020000e+02 | 334.80%
10.58/10.69 c 10.7s| 1 | 0 | 23068 | - | 61M| 0 | 890 |1000 | 15k|1000 |3970 |4159 | 0 | 0 |-4.430000e+02 |-1.020000e+02 | 334.31%
10.78/10.81 c 10.8s| 1 | 0 | 23319 | - | 61M| 0 | 888 |1000 | 15k|1000 |4029 |4218 | 0 | 0 |-4.425000e+02 |-1.020000e+02 | 333.82%
11.09/11.10 c 11.1s| 1 | 0 | 24782 | - | 61M| 0 | 895 |1000 | 15k|1000 |4094 |4283 | 0 | 0 |-4.411667e+02 |-1.020000e+02 | 332.52%
11.18/11.25 c 11.3s| 1 | 0 | 25119 | - | 61M| 0 | 876 |1000 | 15k|1000 |4307 |4496 | 0 | 0 |-4.400000e+02 |-1.020000e+02 | 331.37%
11.38/11.49 c 11.5s| 1 | 0 | 25978 | - | 61M| 0 | 879 |1000 | 15k|1000 |4362 |4551 | 0 | 0 |-4.376250e+02 |-1.020000e+02 | 329.04%
11.59/11.61 c 11.6s| 1 | 0 | 26241 | - | 61M| 0 | 871 |1000 | 15k|1000 |3611 |4592 | 0 | 0 |-4.365000e+02 |-1.020000e+02 | 327.94%
11.69/11.71 c 11.7s| 1 | 0 | 26378 | - | 61M| 0 | 871 |1000 | 15k|1000 |3638 |4619 | 0 | 0 |-4.355000e+02 |-1.020000e+02 | 326.96%
11.89/11.92 c 11.9s| 1 | 0 | 27259 | - | 61M| 0 | 867 |1000 | 15k|1000 |3643 |4624 | 0 | 0 |-4.345000e+02 |-1.020000e+02 | 325.98%
11.99/12.01 c 12.0s| 1 | 0 | 27365 | - | 61M| 0 | 866 |1000 | 15k|1000 |3677 |4658 | 0 | 0 |-4.340000e+02 |-1.020000e+02 | 325.49%
12.09/12.16 c 12.2s| 1 | 0 | 27878 | - | 61M| 0 | 856 |1000 | 15k|1000 |3701 |4682 | 0 | 0 |-4.330000e+02 |-1.020000e+02 | 324.51%
12.19/12.26 c 12.3s| 1 | 0 | 28000 | - | 61M| 0 | 863 |1000 | 15k|1000 |3818 |4799 | 0 | 0 |-4.325000e+02 |-1.020000e+02 | 324.02%
12.39/12.42 c 12.4s| 1 | 0 | 28556 | - | 61M| 0 | 851 |1000 | 15k|1000 |1892 |4826 | 0 | 0 |-4.305000e+02 |-1.020000e+02 | 322.06%
12.49/12.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.49/12.52 c 12.5s| 1 | 0 | 28722 | - | 61M| 0 | 846 |1000 | 15k|1000 |2023 |4957 | 0 | 0 |-4.300000e+02 |-1.020000e+02 | 321.57%
12.59/12.67 c 12.7s| 1 | 0 | 29332 | - | 61M| 0 | 846 |1000 | 15k|1000 |2180 |5114 | 0 | 0 |-4.282500e+02 |-1.020000e+02 | 319.85%
12.79/12.80 c 12.8s| 1 | 0 | 29715 | - | 62M| 0 | 853 |1000 | 15k|1000 |2312 |5246 | 0 | 0 |-4.266250e+02 |-1.020000e+02 | 318.26%
12.89/12.95 c 13.0s| 1 | 0 | 30258 | - | 62M| 0 | 840 |1000 | 15k|1000 |2469 |5403 | 0 | 0 |-4.262500e+02 |-1.020000e+02 | 317.89%
12.99/13.07 c 13.1s| 1 | 0 | 30558 | - | 62M| 0 | 858 |1000 | 15k|1000 |2714 |5648 | 0 | 0 |-4.258333e+02 |-1.020000e+02 | 317.48%
13.19/13.20 c 13.2s| 1 | 0 | 30946 | - | 62M| 0 | 846 |1000 | 15k|1000 |2203 |5723 | 0 | 0 |-4.250000e+02 |-1.020000e+02 | 316.67%
13.29/13.38 c 13.4s| 1 | 0 | 31697 | - | 62M| 0 | 848 |1000 | 15k|1000 |2262 |5782 | 0 | 0 |-4.240000e+02 |-1.020000e+02 | 315.69%
13.48/13.57 c 13.6s| 1 | 0 | 32666 | - | 62M| 0 | 853 |1000 | 15k|1000 |2397 |5917 | 0 | 0 |-4.230000e+02 |-1.020000e+02 | 314.71%
13.68/13.78 c 13.8s| 1 | 0 | 33776 | - | 62M| 0 | 838 |1000 | 15k|1000 |2427 |5947 | 0 | 0 |-4.223333e+02 |-1.020000e+02 | 314.05%
13.98/14.01 c 14.0s| 1 | 0 | 34747 | - | 62M| 0 | 853 |1000 | 15k|1000 |2911 |6431 | 0 | 0 |-4.210000e+02 |-1.020000e+02 | 312.75%
14.08/14.17 c 14.2s| 1 | 0 | 35302 | - | 62M| 0 | 846 |1000 | 15k|1000 |3024 |6544 | 0 | 0 |-4.209000e+02 |-1.020000e+02 | 312.65%
14.29/14.32 c 14.3s| 1 | 0 | 35786 | - | 62M| 0 | 829 |1000 | 15k|1000 |2593 |6605 | 0 | 0 |-4.205000e+02 |-1.020000e+02 | 312.25%
14.48/14.59 c 14.6s| 1 | 0 | 37272 | - | 62M| 0 | 880 |1000 | 15k|1000 |2722 |6734 | 0 | 0 |-4.197000e+02 |-1.020000e+02 | 311.47%
14.68/14.77 c 14.8s| 1 | 0 | 37624 | - | 63M| 0 | 838 |1000 | 15k|1000 |3518 |7530 | 0 | 0 |-4.190000e+02 |-1.020000e+02 | 310.78%
14.88/14.94 c 14.9s| 1 | 0 | 38243 | - | 63M| 0 | 843 |1000 | 15k|1000 |3527 |7539 | 0 | 0 |-4.177500e+02 |-1.020000e+02 | 309.56%
15.08/15.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.08/15.11 c 15.1s| 1 | 0 | 38778 | - | 63M| 0 | 850 |1000 | 15k|1000 |3569 |7581 | 0 | 0 |-4.162500e+02 |-1.020000e+02 | 308.09%
15.39/15.44 c 15.4s| 1 | 0 | 40733 | - | 63M| 0 | 830 |1000 | 15k|1000 |3723 |7735 | 0 | 0 |-4.147500e+02 |-1.020000e+02 | 306.62%
15.59/15.67 c 15.7s| 1 | 0 | 41750 | - | 63M| 0 | 840 |1000 | 15k|1000 |3093 |7778 | 0 | 0 |-4.140000e+02 |-1.020000e+02 | 305.88%
15.69/15.78 c 15.8s| 1 | 0 | 42030 | - | 63M| 0 | 823 |1000 | 15k|1000 |3115 |7800 | 0 | 0 |-4.135000e+02 |-1.020000e+02 | 305.39%
15.89/15.93 c 15.9s| 1 | 0 | 42584 | - | 63M| 0 | 838 |1000 | 15k|1000 |3169 |7854 | 0 | 0 |-4.130000e+02 |-1.020000e+02 | 304.90%
16.08/16.15 c 16.1s| 1 | 0 | 43627 | - | 63M| 0 | 828 |1000 | 15k|1000 |3214 |7899 | 0 | 0 |-4.120000e+02 |-1.020000e+02 | 303.92%
16.18/16.25 c 16.3s| 1 | 0 | 43811 | - | 63M| 0 | 828 |1000 | 15k|1000 |3295 |7980 | 0 | 0 |-4.110000e+02 |-1.020000e+02 | 302.94%
16.38/16.44 c 16.4s| 1 | 0 | 44721 | - | 63M| 0 | 822 |1000 | 15k|1000 |3300 |7985 | 0 | 0 |-4.100000e+02 |-1.020000e+02 | 301.96%
16.49/16.57 c 16.6s| 1 | 0 | 45172 | - | 63M| 0 | 828 |1000 | 15k|1000 |2279 |8036 | 0 | 0 |-4.095000e+02 |-1.020000e+02 | 301.47%
16.68/16.73 c 16.7s| 1 | 0 | 45937 | - | 63M| 0 | 839 |1000 | 15k|1000 |2288 |8045 | 0 | 0 |-4.091667e+02 |-1.020000e+02 | 301.14%
16.78/16.85 c 16.8s| 1 | 0 | 46322 | - | 63M| 0 | 825 |1000 | 15k|1000 |2410 |8167 | 0 | 0 |-4.085000e+02 |-1.020000e+02 | 300.49%
16.98/17.00 c 17.0s| 1 | 0 | 46846 | - | 63M| 0 | 822 |1000 | 15k|1000 |2497 |8254 | 0 | 0 |-4.075000e+02 |-1.020000e+02 | 299.51%
17.08/17.14 c 17.1s| 1 | 0 | 47345 | - | 63M| 0 | 815 |1000 | 15k|1000 |2585 |8342 | 0 | 0 |-4.072500e+02 |-1.020000e+02 | 299.26%
17.28/17.31 c 17.3s| 1 | 0 | 48069 | - | 63M| 0 | 826 |1000 | 15k|1000 |2636 |8393 | 0 | 0 |-4.067500e+02 |-1.020000e+02 | 298.77%
17.59/17.69 c 17.7s| 1 | 0 | 50525 | - | 63M| 0 | 900 |1000 | 15k|1000 |2283 |8423 | 0 | 0 |-4.051935e+02 |-1.020000e+02 | 297.25%
17.99/18.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
17.99/18.09 c 18.1s| 1 | 0 | 50830 | - | 64M| 0 | 810 |1000 | 15k|1000 |4226 | 10k| 0 | 0 |-4.050000e+02 |-1.020000e+02 | 297.06%
18.19/18.21 c 18.2s| 1 | 0 | 51184 | - | 64M| 0 | 840 |1000 | 15k|1000 |4231 | 10k| 0 | 0 |-4.045000e+02 |-1.020000e+02 | 296.57%
18.38/18.48 c 18.5s| 1 | 0 | 52301 | - | 64M| 0 | 810 |1000 | 15k|1000 |4269 | 10k| 0 | 0 |-4.035000e+02 |-1.020000e+02 | 295.59%
18.58/18.64 c 18.6s| 1 | 0 | 52820 | - | 64M| 0 | 815 |1000 | 15k|1000 |4313 | 10k| 0 | 0 |-4.030000e+02 |-1.020000e+02 | 295.10%
18.69/18.71 c 18.7s| 1 | 0 | 52846 | - | 64M| 0 | 821 |1000 | 15k|1000 |4390 | 10k| 0 | 0 |-4.030000e+02 |-1.020000e+02 | 295.10%
18.79/18.88 c 18.9s| 1 | 0 | 53349 | - | 64M| 0 | 813 |1000 | 15k|1000 |4044 | 10k| 0 | 0 |-4.025000e+02 |-1.020000e+02 | 294.61%
18.88/18.97 c 19.0s| 1 | 0 | 53500 | - | 64M| 0 | 806 |1000 | 15k|1000 |4049 | 10k| 0 | 0 |-4.015000e+02 |-1.020000e+02 | 293.63%
18.98/19.05 c 19.1s| 1 | 0 | 53564 | - | 64M| 0 | 805 |1000 | 15k|1000 |4053 | 10k| 0 | 0 |-4.010000e+02 |-1.020000e+02 | 293.14%
19.08/19.15 c 19.2s| 1 | 0 | 53790 | - | 64M| 0 | 804 |1000 | 15k|1000 |4058 | 10k| 0 | 0 |-4.005000e+02 |-1.020000e+02 | 292.65%
19.18/19.22 c 19.2s| 1 | 0 | 53798 | - | 64M| 0 | 811 |1000 | 15k|1000 |4063 | 10k| 0 | 0 |-4.005000e+02 |-1.020000e+02 | 292.65%
19.39/19.40 c 19.4s| 1 | 0 | 54464 | - | 64M| 0 | 824 |1000 | 15k|1000 |4097 | 10k| 0 | 0 |-3.995000e+02 |-1.020000e+02 | 291.67%
19.59/19.62 c 19.6s| 1 | 0 | 55433 | - | 64M| 0 | 816 |1000 | 15k|1000 |2641 | 10k| 0 | 0 |-3.983750e+02 |-1.020000e+02 | 290.56%
19.79/19.80 c 19.8s| 1 | 0 | 56408 | - | 64M| 0 | 820 |1000 | 15k|1000 |2667 | 10k| 0 | 0 |-3.975000e+02 |-1.020000e+02 | 289.71%
20.09/20.11 c 20.1s| 1 | 0 | 58210 | - | 64M| 0 | 807 |1000 | 15k|1000 |2785 | 10k| 0 | 0 |-3.966667e+02 |-1.020000e+02 | 288.89%
20.29/20.38 c 20.4s| 1 | 0 | 59461 | - | 64M| 0 | 777 |1000 | 15k|1000 |2971 | 10k| 0 | 0 |-3.955000e+02 |-1.020000e+02 | 287.75%
20.49/20.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
20.49/20.59 c 20.6s| 1 | 0 | 60502 | - | 64M| 0 | 802 |1000 | 15k|1000 |3112 | 11k| 0 | 0 |-3.948750e+02 |-1.020000e+02 | 287.13%
20.68/20.71 c 20.7s| 1 | 0 | 60845 | - | 64M| 0 | 798 |1000 | 15k|1000 |3115 | 11k| 0 | 0 |-3.943750e+02 |-1.020000e+02 | 286.64%
20.78/20.82 c 20.8s| 1 | 0 | 61040 | - | 64M| 0 | 802 |1000 | 15k|1000 |2881 | 11k| 0 | 0 |-3.943000e+02 |-1.020000e+02 | 286.57%
20.99/21.00 c 21.0s| 1 | 0 | 61842 | - | 64M| 0 | 844 |1000 | 15k|1000 |2938 | 11k| 0 | 0 |-3.929444e+02 |-1.020000e+02 | 285.24%
21.28/21.30 c 21.3s| 1 | 0 | 63265 | - | 64M| 0 | 826 |1000 | 15k|1000 |3198 | 11k| 0 | 0 |-3.910500e+02 |-1.020000e+02 | 283.38%
21.48/21.59 c 21.6s| 1 | 0 | 64695 | - | 64M| 0 | 874 |1000 | 15k|1000 |3237 | 11k| 0 | 0 |-3.900000e+02 |-1.020000e+02 | 282.35%
21.88/21.93 c 21.9s| 1 | 0 | 66221 | - | 64M| 0 | 807 |1000 | 15k|1000 |3859 | 12k| 0 | 0 |-3.893000e+02 |-1.020000e+02 | 281.67%
21.99/22.09 c 22.1s| 1 | 0 | 66744 | - | 64M| 0 | 828 |1000 | 15k|1000 |3866 | 12k| 0 | 0 |-3.890000e+02 |-1.020000e+02 | 281.37%
22.29/22.33 c 22.3s| 1 | 0 | 67605 | - | 64M| 0 | 834 |1000 | 15k|1000 |3658 | 12k| 0 | 0 |-3.880000e+02 |-1.020000e+02 | 280.39%
22.48/22.51 c 22.5s| 1 | 0 | 68230 | - | 64M| 0 | 863 |1000 | 15k|1000 |3680 | 12k| 0 | 0 |-3.874516e+02 |-1.020000e+02 | 279.85%
22.78/22.84 c 22.8s| 1 | 0 | 69604 | - | 64M| 0 | 870 |1000 | 15k|1000 |3787 | 12k| 0 | 0 |-3.863600e+02 |-1.020000e+02 | 278.78%
23.39/23.43 c 23.4s| 1 | 0 | 72955 | - | 64M| 0 | 802 |1000 | 15k|1000 |3908 | 12k| 0 | 0 |-3.851667e+02 |-1.020000e+02 | 277.61%
23.59/23.68 c 23.7s| 1 | 0 | 74110 | - | 65M| 0 | 887 |1000 | 15k|1000 |3930 | 12k| 0 | 0 |-3.850360e+02 |-1.020000e+02 | 277.49%
24.08/24.19 c 24.2s| 1 | 0 | 76256 | - | 65M| 0 | 858 |1000 | 15k|1000 |4151 | 12k| 0 | 0 |-3.836274e+02 |-1.020000e+02 | 276.11%
24.58/24.61 c 24.6s| 1 | 0 | 77883 | - | 65M| 0 | 855 |1000 | 15k|1000 |3970 | 12k| 0 | 0 |-3.822708e+02 |-1.020000e+02 | 274.78%
24.99/25.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
24.99/25.04 c 25.0s| 1 | 0 | 79752 | - | 65M| 0 | 892 |1000 | 15k|1000 |4056 | 12k| 0 | 0 |-3.806503e+02 |-1.020000e+02 | 273.19%
25.39/25.48 c 25.5s| 1 | 0 | 81398 | - | 65M| 0 | 862 |1000 | 15k|1000 |4264 | 13k| 0 | 0 |-3.799545e+02 |-1.020000e+02 | 272.50%
25.69/25.74 c 25.7s| 1 | 0 | 82301 | - | 65M| 0 | 858 |1000 | 15k|1000 |4337 | 13k| 0 | 0 |-3.789545e+02 |-1.020000e+02 | 271.52%
25.89/25.95 c 25.9s| 1 | 0 | 82913 | - | 65M| 0 | 873 |1000 | 15k|1000 |4387 | 13k| 0 | 0 |-3.786984e+02 |-1.020000e+02 | 271.27%
26.29/26.30 c 26.3s| 1 | 0 | 84278 | - | 65M| 0 | 889 |1000 | 15k|1000 |4416 | 13k| 0 | 0 |-3.778532e+02 |-1.020000e+02 | 270.44%
26.88/26.93 c 26.9s| 1 | 0 | 86784 | - | 64M| 0 | 860 |1000 | 15k|1000 |4086 | 13k| 0 | 0 |-3.766972e+02 |-1.020000e+02 | 269.31%
27.38/27.44 c 27.4s| 1 | 0 | 88865 | - | 64M| 0 | 871 |1000 | 15k|1000 |4139 | 13k| 0 | 0 |-3.750221e+02 |-1.020000e+02 | 267.67%
27.98/28.05 c 28.0s| 1 | 0 | 91536 | - | 63M| 0 | 913 |1000 | 15k|1000 |4233 | 13k| 0 | 0 |-3.742210e+02 |-1.020000e+02 | 266.88%
28.59/28.62 c 28.6s| 1 | 0 | 93811 | - | 63M| 0 | 830 |1000 | 15k|1000 |4465 | 13k| 0 | 0 |-3.725000e+02 |-1.020000e+02 | 265.20%
28.78/28.87 c 28.9s| 1 | 0 | 94704 | - | 62M| 0 | 862 |1000 | 15k|1000 |4473 | 13k| 0 | 0 |-3.721667e+02 |-1.020000e+02 | 264.87%
29.18/29.25 c 29.2s| 1 | 0 | 96177 | - | 62M| 0 | 839 |1000 | 15k|1000 |4518 | 13k| 0 | 0 |-3.714062e+02 |-1.020000e+02 | 264.12%
29.38/29.45 c 29.4s| 1 | 0 | 96780 | - | 61M| 0 | 871 |1000 | 15k|1000 |4096 | 13k| 0 | 0 |-3.704099e+02 |-1.020000e+02 | 263.15%
29.58/29.63 c 29.6s| 1 | 0 | 97280 | - | 61M| 0 | 844 |1000 | 15k|1000 |4126 | 13k| 0 | 0 |-3.701250e+02 |-1.020000e+02 | 262.87%
29.79/29.89 c 29.9s| 1 | 0 | 98264 | - | 61M| 0 | 884 |1000 | 15k|1000 |4136 | 13k| 0 | 0 |-3.691343e+02 |-1.020000e+02 | 261.90%
30.28/30.35 c 30.3s| 1 | 0 |100262 | - | 61M| 0 | 841 |1000 | 15k|1000 |4212 | 13k| 0 | 0 |-3.679375e+02 |-1.020000e+02 | 260.72%
30.69/30.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
30.69/30.78 c 30.8s| 1 | 0 |102031 | - | 61M| 0 | 841 |1000 | 15k|1000 |4295 | 13k| 0 | 0 |-3.672500e+02 |-1.020000e+02 | 260.05%
30.99/31.02 c 31.0s| 1 | 0 |102948 | - | 60M| 0 | 854 |1000 | 15k|1000 |4318 | 13k| 0 | 0 |-3.671471e+02 |-1.020000e+02 | 259.95%
31.29/31.33 c 31.3s| 1 | 0 |104204 | - | 60M| 0 | 873 |1000 | 15k|1000 |4117 | 14k| 0 | 0 |-3.663084e+02 |-1.020000e+02 | 259.13%
31.69/31.76 c 31.8s| 1 | 0 |106028 | - | 60M| 0 | 875 |1000 | 15k|1000 |4174 | 14k| 0 | 0 |-3.653824e+02 |-1.020000e+02 | 258.22%
32.08/32.18 c 32.2s| 1 | 0 |107739 | - | 60M| 0 | 910 |1000 | 15k|1000 |4201 | 14k| 0 | 0 |-3.644358e+02 |-1.020000e+02 | 257.29%
32.78/32.83 c 32.8s| 1 | 0 |110604 | - | 60M| 0 | 902 |1000 | 15k|1000 |4416 | 14k| 0 | 0 |-3.638331e+02 |-1.020000e+02 | 256.70%
33.28/33.34 c 33.3s| 1 | 0 |112566 | - | 60M| 0 | 928 |1000 | 15k|1000 |4456 | 14k| 0 | 0 |-3.632838e+02 |-1.020000e+02 | 256.16%
33.58/33.61 c 33.6s| 1 | 0 |113348 | - | 60M| 0 | 891 |1000 | 15k|1000 |4844 | 14k| 0 | 0 |-3.627114e+02 |-1.020000e+02 | 255.60%
33.98/34.03 c 34.0s| 1 | 0 |114887 | - | 60M| 0 | 912 |1000 | 15k|1000 |4638 | 14k| 0 | 0 |-3.620545e+02 |-1.020000e+02 | 254.96%
34.58/34.66 c 34.7s| 1 | 0 |117213 | - | 60M| 0 | 907 |1000 | 15k|1000 |4655 | 14k| 0 | 0 |-3.608984e+02 |-1.020000e+02 | 253.82%
35.29/35.36 c 35.4s| 1 | 0 |119952 | - | 60M| 0 | 906 |1000 | 15k|1000 |4769 | 14k| 0 | 0 |-3.600865e+02 |-1.020000e+02 | 253.03%
35.88/35.95 c 35.9s| 1 | 0 |122100 | - | 60M| 0 | 916 |1000 | 15k|1000 |4818 | 14k| 0 | 0 |-3.593557e+02 |-1.020000e+02 | 252.31%
36.29/36.39 c 36.4s| 1 | 0 |123689 | - | 60M| 0 | 937 |1000 | 15k|1000 |4843 | 14k| 0 | 0 |-3.586089e+02 |-1.020000e+02 | 251.58%
36.68/36.77 c 36.8s| 1 | 0 |124888 | - | 60M| 0 | 939 |1000 | 15k|1000 |4926 | 15k| 0 | 0 |-3.582279e+02 |-1.020000e+02 | 251.20%
37.08/37.12 c 37.1s| 1 | 0 |125976 | - | 60M| 0 | 935 |1000 | 15k|1000 |4734 | 15k| 0 | 0 |-3.575859e+02 |-1.020000e+02 | 250.57%
37.68/37.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.68/37.76 c 37.8s| 1 | 0 |128485 | - | 60M| 0 | 947 |1000 | 15k|1000 |4757 | 15k| 0 | 0 |-3.566105e+02 |-1.020000e+02 | 249.62%
38.39/38.44 c 38.4s| 1 | 0 |130946 | - | 60M| 0 | 942 |1000 | 15k|1000 |4931 | 15k| 0 | 0 |-3.557166e+02 |-1.020000e+02 | 248.74%
39.09/39.15 c 39.2s| 1 | 0 |133514 | - | 60M| 0 | 940 |1000 | 15k|1000 |5004 | 15k| 0 | 0 |-3.543883e+02 |-1.020000e+02 | 247.44%
39.69/39.71 c 39.7s| 1 | 0 |135475 | - | 60M| 0 | 945 |1000 | 15k|1000 |5067 | 15k| 0 | 0 |-3.537348e+02 |-1.020000e+02 | 246.80%
39.98/40.09 c 40.1s| 1 | 0 |136957 | - | 60M| 0 | 946 |1000 | 15k|1000 |5084 | 15k| 0 | 0 |-3.531822e+02 |-1.020000e+02 | 246.26%
40.59/40.66 c 40.7s| 1 | 0 |138863 | - | 60M| 0 | 945 |1000 | 15k|1000 |4824 | 15k| 0 | 0 |-3.525007e+02 |-1.020000e+02 | 245.59%
41.38/41.47 c 41.5s| 1 | 0 |141902 | - | 60M| 0 | 947 |1000 | 15k|1000 |4856 | 15k| 0 | 0 |-3.512135e+02 |-1.020000e+02 | 244.33%
42.29/42.37 c 42.4s| 1 | 0 |145298 | - | 60M| 0 | 939 |1000 | 15k|1000 |4915 | 15k| 0 | 0 |-3.502226e+02 |-1.020000e+02 | 243.36%
42.79/42.82 c 42.8s| 1 | 0 |146760 | - | 60M| 0 | 945 |1000 | 15k|1000 |5007 | 15k| 0 | 0 |-3.498208e+02 |-1.020000e+02 | 242.96%
43.38/43.42 c 43.4s| 1 | 0 |148747 | - | 60M| 0 | 950 |1000 | 15k|1000 |5072 | 15k| 0 | 0 |-3.491321e+02 |-1.020000e+02 | 242.29%
44.18/44.24 c 44.2s| 1 | 0 |151560 | - | 60M| 0 | 958 |1000 | 15k|1000 |5115 | 15k| 0 | 0 |-3.483632e+02 |-1.020000e+02 | 241.53%
44.78/44.83 c 44.8s| 1 | 0 |153414 | - | 60M| 0 | 965 |1000 | 15k|1000 |4991 | 15k| 0 | 0 |-3.477969e+02 |-1.020000e+02 | 240.98%
45.78/45.89 c 45.9s| 1 | 0 |157592 | - | 60M| 0 | 962 |1000 | 15k|1000 |5121 | 15k| 0 | 0 |-3.469000e+02 |-1.020000e+02 | 240.10%
46.58/46.66 c 46.7s| 1 | 0 |160151 | - | 60M| 0 | 979 |1000 | 15k|1000 |5197 | 15k| 0 | 0 |-3.459849e+02 |-1.020000e+02 | 239.20%
47.48/47.50 c 47.5s| 1 | 0 |163084 | - | 60M| 0 | 968 |1000 | 15k|1000 |5267 | 16k| 0 | 0 |-3.451404e+02 |-1.020000e+02 | 238.37%
48.28/48.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.28/48.31 c 48.3s| 1 | 0 |165858 | - | 60M| 0 | 976 |1000 | 15k|1000 |5322 | 16k| 0 | 0 |-3.448062e+02 |-1.020000e+02 | 238.05%
48.78/48.85 c 48.8s| 1 | 0 |167539 | - | 59M| 0 | 976 |1000 | 15k|1000 |5340 | 16k| 0 | 0 |-3.444486e+02 |-1.020000e+02 | 237.69%
49.58/49.69 c 49.7s| 1 | 0 |170285 | - | 59M| 0 | 974 |1000 | 15k|1000 |5267 | 16k| 0 | 0 |-3.440151e+02 |-1.020000e+02 | 237.27%
50.18/50.29 c 50.3s| 1 | 0 |172119 | - | 59M| 0 | 973 |1000 | 15k|1000 |5322 | 16k| 0 | 0 |-3.437328e+02 |-1.020000e+02 | 236.99%
50.88/50.94 c 50.9s| 1 | 0 |174280 | - | 59M| 0 | 971 |1000 | 15k|1000 |5352 | 16k| 0 | 0 |-3.431465e+02 |-1.020000e+02 | 236.42%
51.48/51.50 c 51.5s| 1 | 0 |176103 | - | 59M| 0 | 964 |1000 | 15k|1000 |5388 | 16k| 0 | 0 |-3.424782e+02 |-1.020000e+02 | 235.76%
51.78/51.88 c 51.9s| 1 | 0 |177276 | - | 60M| 0 | 974 |1000 | 15k|1000 |5432 | 16k| 0 | 0 |-3.422974e+02 |-1.020000e+02 | 235.59%
52.28/52.36 c 52.4s| 1 | 0 |178617 | - | 59M| 0 | 977 |1000 | 15k|1000 |5452 | 16k| 0 | 0 |-3.420034e+02 |-1.020000e+02 | 235.30%
53.28/53.38 c 53.4s| 1 | 0 |181824 | - | 59M| 0 | 976 |1000 | 15k|1000 |5309 | 16k| 0 | 0 |-3.414971e+02 |-1.020000e+02 | 234.80%
54.08/54.17 c 54.2s| 1 | 0 |184683 | - | 59M| 0 | 973 |1000 | 15k|1000 |5332 | 16k| 0 | 0 |-3.406864e+02 |-1.020000e+02 | 234.01%
54.99/55.03 c 55.0s| 1 | 0 |187379 | - | 59M| 0 | 986 |1000 | 15k|1000 |5405 | 16k| 0 | 0 |-3.398502e+02 |-1.020000e+02 | 233.19%
55.48/55.58 c 55.6s| 1 | 0 |189028 | - | 59M| 0 | 983 |1000 | 15k|1000 |5496 | 16k| 0 | 0 |-3.395274e+02 |-1.020000e+02 | 232.87%
56.28/56.38 c 56.4s| 1 | 0 |191615 | - | 59M| 0 | 987 |1000 | 15k|1000 |5527 | 16k| 0 | 0 |-3.388452e+02 |-1.020000e+02 | 232.20%
56.88/56.93 c 56.9s| 1 | 0 |193196 | - | 59M| 0 | 985 |1000 | 15k|1000 |5567 | 16k| 0 | 0 |-3.385341e+02 |-1.020000e+02 | 231.90%
57.68/57.78 c 57.8s| 1 | 0 |195820 | - | 59M| 0 | 988 |1000 | 15k|1000 |5500 | 16k| 0 | 0 |-3.380781e+02 |-1.020000e+02 | 231.45%
58.48/58.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
58.48/58.55 c 58.5s| 1 | 0 |198380 | - | 59M| 0 | 991 |1000 | 15k|1000 |5545 | 16k| 0 | 0 |-3.377868e+02 |-1.020000e+02 | 231.16%
59.17/59.24 c 59.2s| 1 | 0 |200499 | - | 59M| 0 | 992 |1000 | 15k|1000 |5579 | 16k| 0 | 0 |-3.374248e+02 |-1.020000e+02 | 230.81%
59.88/59.99 c 60.0s| 1 | 0 |202600 | - | 59M| 0 | 992 |1000 | 15k|1000 |5632 | 16k| 0 | 0 |-3.369158e+02 |-1.020000e+02 | 230.31%
60.98/61.00 c 61.0s| 1 | 0 |205599 | - | 59M| 0 | 992 |1000 | 15k|1000 |5665 | 16k| 0 | 0 |-3.359791e+02 |-1.020000e+02 | 229.39%
62.07/62.11 c 62.1s| 1 | 0 |208851 | - | 59M| 0 | 989 |1000 | 15k|1000 |5731 | 16k| 0 | 0 |-3.353800e+02 |-1.020000e+02 | 228.80%
62.78/62.88 c 62.9s| 1 | 0 |211189 | - | 59M| 0 | 990 |1000 | 15k|1000 |5659 | 16k| 0 | 0 |-3.349296e+02 |-1.020000e+02 | 228.36%
63.48/63.53 c 63.5s| 1 | 0 |212979 | - | 59M| 0 | 991 |1000 | 15k|1000 |5685 | 16k| 0 | 0 |-3.344212e+02 |-1.020000e+02 | 227.86%
64.37/64.40 c 64.4s| 1 | 0 |215465 | - | 59M| 0 | 990 |1000 | 15k|1000 |5725 | 16k| 0 | 0 |-3.339633e+02 |-1.020000e+02 | 227.42%
64.98/65.06 c 65.1s| 1 | 0 |217289 | - | 59M| 0 | 995 |1000 | 15k|1000 |5746 | 17k| 0 | 0 |-3.333995e+02 |-1.020000e+02 | 226.86%
66.27/66.36 c 66.4s| 1 | 0 |221255 | - | 59M| 0 | 993 |1000 | 15k|1000 |5779 | 17k| 0 | 0 |-3.324153e+02 |-1.020000e+02 | 225.90%
67.47/67.53 c 67.5s| 1 | 0 |224668 | - | 59M| 0 | 993 |1000 | 15k|1000 |5804 | 17k| 0 | 0 |-3.318210e+02 |-1.020000e+02 | 225.31%
68.77/68.83 c 68.8s| 1 | 0 |228929 | - | 59M| 0 | 992 |1000 | 15k|1000 |5718 | 17k| 0 | 0 |-3.311007e+02 |-1.020000e+02 | 224.61%
69.47/69.51 c 69.5s| 1 | 0 |230735 | - | 59M| 0 | 991 |1000 | 15k|1000 |5748 | 17k| 0 | 0 |-3.307664e+02 |-1.020000e+02 | 224.28%
69.97/70.08 c 70.1s| 1 | 0 |232262 | - | 59M| 0 | 990 |1000 | 15k|1000 |5779 | 17k| 0 | 0 |-3.305324e+02 |-1.020000e+02 | 224.05%
70.88/70.97 c 71.0s| 1 | 0 |234727 | - | 59M| 0 | 993 |1000 | 15k|1000 |5798 | 17k| 0 | 0 |-3.300409e+02 |-1.020000e+02 | 223.57%
71.48/71.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
71.48/71.54 c 71.5s| 1 | 0 |236133 | - | 59M| 0 | 992 |1000 | 15k|1000 |5825 | 17k| 0 | 0 |-3.297204e+02 |-1.020000e+02 | 223.26%
72.17/72.29 c 72.3s| 1 | 0 |238110 | - | 59M| 0 | 996 |1000 | 15k|1000 |5855 | 17k| 0 | 0 |-3.294096e+02 |-1.020000e+02 | 222.95%
73.07/73.16 c 73.2s| 1 | 0 |240760 | - | 59M| 0 | 995 |1000 | 15k|1000 |5806 | 17k| 0 | 0 |-3.288246e+02 |-1.020000e+02 | 222.38%
73.97/74.02 c 74.0s| 1 | 0 |243429 | - | 59M| 0 | 992 |1000 | 15k|1000 |5838 | 17k| 0 | 0 |-3.283498e+02 |-1.020000e+02 | 221.91%
74.57/74.64 c 74.6s| 1 | 0 |245274 | - | 59M| 0 | 991 |1000 | 15k|1000 |5868 | 17k| 0 | 0 |-3.280591e+02 |-1.020000e+02 | 221.63%
75.27/75.33 c 75.3s| 1 | 0 |247106 | - | 59M| 0 | 994 |1000 | 15k|1000 |5898 | 17k| 0 | 0 |-3.276501e+02 |-1.020000e+02 | 221.23%
76.67/76.73 c 76.7s| 1 | 0 |251122 | - | 59M| 0 | 992 |1000 | 15k|1000 |5924 | 17k| 0 | 0 |-3.269391e+02 |-1.020000e+02 | 220.53%
77.07/77.16 c 77.2s| 1 | 0 |252257 | - | 59M| 0 | 992 |1000 | 15k|1000 |5951 | 17k| 0 | 0 |-3.266655e+02 |-1.020000e+02 | 220.26%
78.18/78.23 c 78.2s| 1 | 0 |255266 | - | 58M| 0 | 993 |1000 | 15k|1000 |5915 | 17k| 0 | 0 |-3.261328e+02 |-1.020000e+02 | 219.74%
78.67/78.72 c 78.7s| 1 | 0 |256507 | - | 58M| 0 | 996 |1000 | 15k|1000 |5934 | 17k| 0 | 0 |-3.259250e+02 |-1.020000e+02 | 219.53%
78.97/79.07 c 79.1s| 1 | 0 |257255 | - | 58M| 0 | 996 |1000 | 15k|1000 |5952 | 17k| 0 | 0 |-3.258034e+02 |-1.020000e+02 | 219.42%
79.37/79.42 c 79.4s| 1 | 0 |257936 | - | 58M| 0 | 996 |1000 | 15k|1000 |5964 | 17k| 0 | 0 |-3.256388e+02 |-1.020000e+02 | 219.25%
79.77/79.88 c 79.9s| 1 | 0 |259033 | - | 58M| 0 | 997 |1000 | 15k|1000 |5983 | 17k| 0 | 0 |-3.253649e+02 |-1.020000e+02 | 218.99%
80.37/80.45 c 80.4s| 1 | 0 |260403 | - | 58M| 0 | 997 |1000 | 15k|1000 |5996 | 17k| 0 | 0 |-3.251050e+02 |-1.020000e+02 | 218.73%
80.87/80.96 c 81.0s| 1 | 0 |261568 | - | 58M| 0 | 998 |1000 | 15k|1000 |5934 | 17k| 0 | 0 |-3.249113e+02 |-1.020000e+02 | 218.54%
81.27/81.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
81.27/81.35 c 81.3s| 1 | 0 |262415 | - | 58M| 0 | 995 |1000 | 15k|1000 |5947 | 17k| 0 | 0 |-3.247725e+02 |-1.020000e+02 | 218.40%
81.67/81.77 c 81.8s| 1 | 0 |263365 | - | 58M| 0 | 996 |1000 | 15k|1000 |5963 | 17k| 0 | 0 |-3.246721e+02 |-1.020000e+02 | 218.31%
82.16/82.24 c 82.2s| 1 | 0 |264430 | - | 58M| 0 | 995 |1000 | 15k|1000 |5974 | 17k| 0 | 0 |-3.245144e+02 |-1.020000e+02 | 218.15%
82.76/82.89 c 82.9s| 1 | 0 |266085 | - | 58M| 0 | 994 |1000 | 15k|1000 |5989 | 17k| 0 | 0 |-3.241720e+02 |-1.020000e+02 | 217.82%
83.47/83.52 c 83.5s| 1 | 0 |267600 | - | 58M| 0 | 994 |1000 | 15k|1000 |6001 | 17k| 0 | 0 |-3.238498e+02 |-1.020000e+02 | 217.50%
83.96/84.07 c 84.1s| 1 | 0 |268980 | - | 58M| 0 | 997 |1000 | 15k|1000 |5951 | 17k| 0 | 0 |-3.236705e+02 |-1.020000e+02 | 217.32%
84.36/84.40 c 84.4s| 1 | 0 |269640 | - | 58M| 0 | 998 |1000 | 15k|1000 |5965 | 17k| 0 | 0 |-3.236032e+02 |-1.020000e+02 | 217.26%
84.67/84.79 c 84.8s| 1 | 0 |270635 | - | 58M| 0 | 997 |1000 | 15k|1000 |5980 | 17k| 0 | 0 |-3.235342e+02 |-1.020000e+02 | 217.19%
85.46/85.54 c 85.5s| 1 | 0 |272654 | - | 58M| 0 | 995 |1000 | 15k|1000 |5993 | 17k| 0 | 0 |-3.233869e+02 |-1.020000e+02 | 217.05%
85.97/86.03 c 86.0s| 1 | 0 |273943 | - | 58M| 0 | 995 |1000 | 15k|1000 |6006 | 17k| 0 | 0 |-3.233145e+02 |-1.020000e+02 | 216.98%
86.46/86.53 c 86.5s| 1 | 0 |275215 | - | 58M| 0 | 996 |1000 | 15k|1000 |6019 | 17k| 0 | 0 |-3.232137e+02 |-1.020000e+02 | 216.88%
86.87/86.92 c 86.9s| 1 | 0 |276012 | - | 58M| 0 | 996 |1000 | 15k|1000 |5988 | 17k| 0 | 0 |-3.231373e+02 |-1.020000e+02 | 216.80%
87.26/87.39 c 87.4s| 1 | 0 |277139 | - | 58M| 0 | 995 |1000 | 15k|1000 |6000 | 17k| 0 | 0 |-3.230601e+02 |-1.020000e+02 | 216.73%
87.56/87.68 c 87.7s| 1 | 0 |277650 | - | 58M| 0 | 965 |1000 | 15k|1000 |6016 | 17k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 216.67%
87.66/87.77 c 87.8s| 1 | 0 |277652 | - | 58M| 0 | 965 |1000 | 15k|1000 |6021 | 17k| 0 | 0 |-3.230000e+02 |-1.020000e+02 | 216.67%
100.17/100.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.17/100.28 c 100s| 1 | 2 |277652 | - | 58M| 0 | 965 |1000 | 15k|1000 |6021 | 17k| 0 | 37 |-3.230000e+02 |-1.020000e+02 | 216.67%
212.94/213.03 c 213s| 100 | 101 |839643 |5676.7 | 59M| 20 | 749 |1000 | 15k|1000 | 995 | 17k| 0 | 712 |-3.215041e+02 |-1.020000e+02 | 215.20%
249.83/249.99 c 250s| 200 | 201 | 1059k|3926.8 | 60M| 27 | 501 |1000 | 15k|1000 | 995 | 17k| 0 | 862 |-3.214204e+02 |-1.020000e+02 | 215.12%
255.73/255.84 c 256s| 300 | 301 | 1094k|2733.5 | 60M| 43 | 391 |1000 | 15k|1000 |1710 | 25k| 0 | 969 |-3.213906e+02 |-1.020000e+02 | 215.09%
261.73/261.83 c 262s| 400 | 401 | 1132k|2143.6 | 61M| 46 | 346 |1000 | 15k|1000 |1137 | 35k| 0 |1079 |-3.213507e+02 |-1.020000e+02 | 215.05%
271.23/271.31 c 271s| 500 | 501 | 1188k|1824.9 | 61M| 47 | 36 |1000 | 15k|1000 | 995 | 44k| 0 |1206 |-3.212015e+02 |-1.020000e+02 | 214.90%
287.73/287.85 c 288s| 600 | 601 | 1285k|1682.2 | 62M| 54 | 290 |1000 | 15k|1000 |1129 | 53k| 0 |1306 |-3.210158e+02 |-1.020000e+02 | 214.72%
297.62/297.79 c 298s| 700 | 701 | 1344k|1526.4 | 63M| 57 | 108 |1000 | 15k|1000 | 995 | 62k| 0 |1423 |-3.209285e+02 |-1.020000e+02 | 214.64%
307.93/308.08 c 308s| 800 | 801 | 1403k|1408.9 | 63M| 57 | 353 |1000 | 15k|1000 |1563 | 74k| 0 |1549 |-3.208761e+02 |-1.020000e+02 | 214.58%
315.63/315.76 c 316s| 900 | 901 | 1451k|1305.6 | 64M| 57 | 392 |1000 | 15k|1000 |1227 | 84k| 0 |1664 |-3.208600e+02 |-1.020000e+02 | 214.57%
321.52/321.66 c 322s| 1000 | 1001 | 1485k|1209.4 | 64M| 57 | 328 |1000 | 15k|1000 |1150 | 94k| 0 |1697 |-3.207865e+02 |-1.020000e+02 | 214.50%
329.52/329.64 c 330s| 1100 | 1101 | 1536k|1145.6 | 65M| 57 | 412 |1000 | 15k|1000 |1149 | 103k| 0 |1748 |-3.207761e+02 |-1.020000e+02 | 214.49%
332.23/332.36 c 332s| 1200 | 1201 | 1564k|1072.9 | 65M| 57 | 286 |1000 | 15k|1000 |1140 | 114k| 0 |1750 |-3.207761e+02 |-1.020000e+02 | 214.49%
334.72/334.80 c 335s| 1300 | 1301 | 1587k|1008.6 | 66M| 57 | 320 |1000 | 15k|1000 |1138 | 124k| 0 |1752 |-3.207761e+02 |-1.020000e+02 | 214.49%
340.62/340.70 c 341s| 1400 | 1401 | 1625k| 963.2 | 66M| 59 | 310 |1000 | 15k|1000 |1147 | 134k| 0 |1788 |-3.207453e+02 |-1.020000e+02 | 214.46%
347.12/347.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
347.12/347.21 c 347s| 1500 | 1501 | 1679k| 935.4 | 67M| 59 | 377 |1000 | 15k|1000 |1150 | 143k| 0 |1795 |-3.206841e+02 |-1.020000e+02 | 214.40%
349.51/349.66 c 350s| 1600 | 1601 | 1705k| 892.9 | 67M| 59 | 265 |1000 | 15k|1000 |1148 | 155k| 0 |1795 |-3.206841e+02 |-1.020000e+02 | 214.40%
352.92/353.00 c 353s| 1700 | 1701 | 1736k| 858.7 | 68M| 59 | 382 |1000 | 15k|1000 |1138 | 165k| 0 |1797 |-3.206533e+02 |-1.020000e+02 | 214.37%
359.21/359.34 c 359s| 1800 | 1801 | 1783k| 837.3 | 68M| 59 | 394 |1000 | 15k|1000 |1142 | 176k| 0 |1833 |-3.206227e+02 |-1.020000e+02 | 214.34%
367.11/367.28 c 367s| 1900 | 1901 | 1837k| 821.3 | 68M| 59 | 38 |1000 | 15k|1000 |1141 | 186k| 0 |1905 |-3.205549e+02 |-1.020000e+02 | 214.27%
376.71/376.80 c 377s| 2000 | 2001 | 1896k| 809.9 | 69M| 59 | 346 |1000 | 15k|1000 |1138 | 193k| 0 |1973 |-3.205377e+02 |-1.020000e+02 | 214.25%
386.21/386.39 c 386s| 2100 | 2101 | 1956k| 799.8 | 70M| 59 | 271 |1000 | 15k|1000 |1143 | 201k| 0 |2037 |-3.204764e+02 |-1.020000e+02 | 214.19%
395.21/395.30 c 395s| 2200 | 2201 | 2014k| 789.7 | 70M| 59 | 138 |1000 | 15k|1000 | 995 | 210k| 0 |2152 |-3.204709e+02 |-1.020000e+02 | 214.19%
403.01/403.13 c 403s| 2300 | 2301 | 2067k| 778.6 | 71M| 59 | 677 |1000 | 15k|1000 | 995 | 220k| 0 |2257 |-3.204709e+02 |-1.020000e+02 | 214.19%
413.00/413.12 c 413s| 2400 | 2401 | 2132k| 773.4 | 71M| 59 | 411 |1000 | 15k|1000 |1610 | 227k| 0 |2319 |-3.204709e+02 |-1.020000e+02 | 214.19%
420.60/420.73 c 421s| 2500 | 2501 | 2195k| 767.3 | 72M| 59 | 19 |1000 | 15k|1000 | 995 | 236k| 0 |2347 |-3.204276e+02 |-1.020000e+02 | 214.14%
425.61/425.77 c 426s| 2600 | 2601 | 2242k| 756.2 | 72M| 59 | 483 |1000 | 15k|1000 |1805 | 246k| 0 |2351 |-3.203981e+02 |-1.020000e+02 | 214.12%
429.60/429.74 c 430s| 2700 | 2701 | 2281k| 742.4 | 73M| 59 | 265 |1000 | 15k|1000 |1146 | 258k| 0 |2351 |-3.203981e+02 |-1.020000e+02 | 214.12%
436.00/436.15 c 436s| 2800 | 2801 | 2340k| 736.9 | 73M| 59 | 75 |1000 | 15k|1000 | 995 | 268k| 0 |2352 |-3.203780e+02 |-1.020000e+02 | 214.10%
440.00/440.11 c 440s| 2900 | 2901 | 2378k| 724.8 | 74M| 59 | 147 |1000 | 15k|1000 |1129 | 279k| 0 |2352 |-3.203780e+02 |-1.020000e+02 | 214.10%
450.80/450.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
450.80/450.98 c 451s| 3000 | 3001 | 2454k| 725.7 | 74M| 59 | 401 |1000 | 15k|1000 |1137 | 289k| 0 |2426 |-3.203394e+02 |-1.020000e+02 | 214.06%
458.10/458.29 c 458s| 3100 | 3101 | 2507k| 719.6 | 75M| 59 | 236 |1000 | 15k|1000 |1138 | 299k| 0 |2468 |-3.203184e+02 |-1.020000e+02 | 214.04%
466.00/466.17 c 466s| 3200 | 3201 | 2560k| 713.7 | 75M| 59 | 293 |1000 | 15k|1000 |1209 | 313k| 0 |2518 |-3.203148e+02 |-1.020000e+02 | 214.03%
475.30/475.43 c 475s| 3300 | 3301 | 2623k| 711.0 | 76M| 59 | 325 |1000 | 15k|1000 |1141 | 322k| 0 |2617 |-3.203113e+02 |-1.020000e+02 | 214.03%
487.30/487.45 c 487s| 3400 | 3401 | 2703k| 713.8 | 76M| 59 | 504 |1000 | 15k|1000 | 995 | 329k| 0 |2728 |-3.203113e+02 |-1.020000e+02 | 214.03%
492.59/492.70 c 493s| 3500 | 3501 | 2749k| 706.4 | 77M| 59 | 207 |1000 | 15k|1000 |1139 | 340k| 0 |2777 |-3.203113e+02 |-1.020000e+02 | 214.03%
503.00/503.19 c 503s| 3600 | 3601 | 2814k| 704.8 | 77M| 59 | 413 |1000 | 15k|1000 |1147 | 351k| 0 |2834 |-3.202702e+02 |-1.020000e+02 | 213.99%
511.89/512.01 c 512s| 3700 | 3701 | 2889k| 706.0 | 78M| 59 | 403 |1000 | 15k|1000 |1138 | 362k| 0 |2849 |-3.202071e+02 |-1.020000e+02 | 213.93%
515.69/515.86 c 516s| 3800 | 3801 | 2926k| 697.3 | 78M| 59 | 205 |1000 | 15k|1000 |1143 | 372k| 0 |2849 |-3.202035e+02 |-1.020000e+02 | 213.92%
521.89/522.03 c 522s| 3900 | 3901 | 2984k| 694.2 | 79M| 59 | 199 |1000 | 15k|1000 |1133 | 380k| 0 |2850 |-3.202035e+02 |-1.020000e+02 | 213.92%
527.58/527.77 c 528s| 4000 | 4001 | 3037k| 690.2 | 79M| 59 | 226 |1000 | 15k|1000 |1141 | 390k| 0 |2851 |-3.201856e+02 |-1.020000e+02 | 213.91%
534.99/535.14 c 535s| 4100 | 4101 | 3106k| 690.1 | 80M| 59 | 256 |1000 | 15k|1000 |1135 | 399k| 0 |2851 |-3.201592e+02 |-1.020000e+02 | 213.88%
544.98/545.14 c 545s| 4200 | 4201 | 3176k| 690.4 | 80M| 59 | 130 |1000 | 15k|1000 |1148 | 407k| 0 |2894 |-3.201381e+02 |-1.020000e+02 | 213.86%
550.99/551.16 c 551s| 4300 | 4301 | 3222k| 684.9 | 81M| 59 | 418 |1000 | 15k|1000 |1662 | 419k| 0 |2961 |-3.201175e+02 |-1.020000e+02 | 213.84%
554.88/555.02 c 555s| 4400 | 4401 | 3251k| 675.9 | 81M| 59 | 212 |1000 | 15k|1000 |1143 | 430k| 0 |3039 |-3.201175e+02 |-1.020000e+02 | 213.84%
562.48/562.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
562.48/562.66 c 563s| 4500 | 4501 | 3305k| 673.1 | 82M| 59 | 51 |1000 | 15k|1000 | 995 | 438k| 0 |3099 |-3.201009e+02 |-1.020000e+02 | 213.82%
570.28/570.44 c 570s| 4600 | 4601 | 3360k| 670.4 | 82M| 59 | 6 |1000 | 15k|1000 | 995 | 449k| 0 |3192 |-3.200957e+02 |-1.020000e+02 | 213.82%
578.88/579.01 c 579s| 4700 | 4701 | 3418k| 668.4 | 83M| 59 | 21 |1000 | 15k|1000 | 995 | 458k| 0 |3236 |-3.200865e+02 |-1.020000e+02 | 213.81%
583.87/584.07 c 584s| 4800 | 4801 | 3458k| 662.8 | 83M| 59 | 91 |1000 | 15k|1000 |1134 | 471k| 0 |3307 |-3.200790e+02 |-1.020000e+02 | 213.80%
596.18/596.39 c 596s| 4900 | 4901 | 3540k| 666.1 | 84M| 59 | 416 |1000 | 15k|1000 | 995 | 479k| 0 |3383 |-3.200600e+02 |-1.020000e+02 | 213.78%
602.68/602.82 c 603s| 5000 | 5001 | 3597k| 664.0 | 84M| 59 | 259 |1000 | 15k|1000 |1144 | 489k| 0 |3406 |-3.200389e+02 |-1.020000e+02 | 213.76%
611.07/611.20 c 611s| 5100 | 5101 | 3671k| 665.7 | 85M| 59 | 378 |1000 | 15k|1000 |1632 | 497k| 0 |3408 |-3.200205e+02 |-1.020000e+02 | 213.75%
618.47/618.63 c 619s| 5200 | 5201 | 3739k| 665.9 | 85M| 59 | 311 |1000 | 15k|1000 |1133 | 506k| 0 |3408 |-3.199966e+02 |-1.020000e+02 | 213.72%
621.57/621.75 c 622s| 5300 | 5301 | 3772k| 659.5 | 86M| 59 | 397 |1000 | 15k|1000 |1146 | 518k| 0 |3408 |-3.199966e+02 |-1.020000e+02 | 213.72%
627.77/627.95 c 628s| 5400 | 5401 | 3830k| 658.0 | 86M| 59 | 329 |1000 | 15k|1000 |1135 | 527k| 0 |3408 |-3.199685e+02 |-1.020000e+02 | 213.69%
634.17/634.38 c 634s| 5500 | 5501 | 3888k| 656.6 | 87M| 59 | 209 |1000 | 15k|1000 |1150 | 537k| 0 |3410 |-3.199308e+02 |-1.020000e+02 | 213.66%
641.17/641.32 c 641s| 5600 | 5601 | 3940k| 654.1 | 87M| 59 | 8 |1000 | 15k|1000 | 995 | 545k| 0 |3453 |-3.199209e+02 |-1.020000e+02 | 213.65%
646.16/646.37 c 646s| 5700 | 5701 | 3977k| 649.1 | 88M| 59 | 372 |1000 | 15k|1000 |1124 | 556k| 0 |3521 |-3.198816e+02 |-1.020000e+02 | 213.61%
654.76/654.91 c 655s| 5800 | 5801 | 4036k| 648.3 | 88M| 59 | 332 |1000 | 15k|1000 |1210 | 565k| 0 |3567 |-3.198569e+02 |-1.020000e+02 | 213.59%
667.37/667.53 c 668s| 5900 | 5901 | 4123k| 651.9 | 89M| 61 | 431 |1000 | 15k|1000 |1667 | 572k| 0 |3633 |-3.198166e+02 |-1.020000e+02 | 213.55%
674.46/674.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
674.46/674.70 c 675s| 6000 | 6001 | 4176k| 649.9 | 89M| 61 | 303 |1000 | 15k|1000 |1153 | 581k| 0 |3685 |-3.197972e+02 |-1.020000e+02 | 213.53%
682.56/682.73 c 683s| 6100 | 6101 | 4234k| 648.8 | 90M| 62 | 205 |1000 | 15k|1000 |1141 | 589k| 0 |3729 |-3.197964e+02 |-1.020000e+02 | 213.53%
688.16/688.30 c 688s| 6200 | 6201 | 4274k| 644.8 | 91M| 62 | 55 |1000 | 15k|1000 | 995 | 601k| 0 |3777 |-3.197913e+02 |-1.020000e+02 | 213.52%
692.16/692.33 c 692s| 6300 | 6301 | 4308k| 639.9 | 91M| 62 | 352 |1000 | 15k|1000 |1576 | 612k| 0 |3840 |-3.197913e+02 |-1.020000e+02 | 213.52%
702.96/703.13 c 703s| 6400 | 6401 | 4381k| 641.4 | 92M| 62 | 133 |1000 | 15k|1000 |1137 | 623k| 0 |3904 |-3.197695e+02 |-1.020000e+02 | 213.50%
706.56/706.72 c 707s| 6500 | 6501 | 4414k| 636.6 | 92M| 62 | 183 |1000 | 15k|1000 |1136 | 633k| 0 |3911 |-3.197659e+02 |-1.020000e+02 | 213.50%
713.46/713.64 c 714s| 6600 | 6601 | 4470k| 635.4 | 92M| 62 | 373 |1000 | 15k|1000 |1139 | 641k| 0 |3934 |-3.197525e+02 |-1.020000e+02 | 213.48%
717.75/717.94 c 718s| 6700 | 6701 | 4512k| 632.1 | 93M| 62 | 396 |1000 | 15k|1000 |1694 | 652k| 0 |3934 |-3.197525e+02 |-1.020000e+02 | 213.48%
726.06/726.21 c 726s| 6800 | 6801 | 4585k| 633.7 | 94M| 62 | 19 |1000 | 15k|1000 |1139 | 659k| 0 |3937 |-3.197369e+02 |-1.020000e+02 | 213.47%
729.55/729.70 c 730s| 6900 | 6901 | 4621k| 629.6 | 94M| 62 | 117 |1000 | 15k|1000 |1136 | 670k| 0 |3937 |-3.197369e+02 |-1.020000e+02 | 213.47%
734.85/735.08 c 735s| 7000 | 7001 | 4672k| 627.9 | 94M| 62 | 298 |1000 | 15k|1000 |1223 | 680k| 0 |3937 |-3.197300e+02 |-1.020000e+02 | 213.46%
738.65/738.81 c 739s| 7100 | 7101 | 4709k| 624.2 | 95M| 62 | 79 |1000 | 15k|1000 |1130 | 689k| 0 |3937 |-3.196806e+02 |-1.020000e+02 | 213.41%
745.54/745.71 c 746s| 7200 | 7201 | 4772k| 624.4 | 95M| 62 | 189 |1000 | 15k|1000 |1140 | 699k| 0 |3938 |-3.196683e+02 |-1.020000e+02 | 213.40%
750.65/750.88 c 751s| 7300 | 7301 | 4817k| 622.0 | 96M| 62 | 45 |1000 | 15k|1000 | 995 | 707k| 0 |3951 |-3.196575e+02 |-1.020000e+02 | 213.39%
757.14/757.36 c 757s| 7400 | 7401 | 4865k| 620.1 | 96M| 62 | 428 |1000 | 15k|1000 |1679 | 716k| 0 |3994 |-3.196313e+02 |-1.020000e+02 | 213.36%
762.25/762.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.25/762.44 c 762s| 7500 | 7501 | 4905k| 617.1 | 97M| 62 | 313 |1000 | 15k|1000 |1139 | 727k| 0 |4024 |-3.196116e+02 |-1.020000e+02 | 213.34%
767.85/768.04 c 768s| 7600 | 7601 | 4945k| 614.3 | 97M| 62 | 335 |1000 | 15k|1000 |1143 | 736k| 0 |4082 |-3.196101e+02 |-1.020000e+02 | 213.34%
775.64/775.89 c 776s| 7700 | 7701 | 4998k| 613.1 | 98M| 62 | 274 |1000 | 15k|1000 |1140 | 744k| 0 |4122 |-3.195977e+02 |-1.020000e+02 | 213.33%
779.85/780.01 c 780s| 7800 | 7801 | 5030k| 609.4 | 98M| 62 | 345 |1000 | 15k|1000 |1141 | 755k| 0 |4136 |-3.195954e+02 |-1.020000e+02 | 213.33%
783.25/783.41 c 783s| 7900 | 7901 | 5061k| 605.6 | 99M| 62 | 324 |1000 | 15k|1000 |1234 | 767k| 0 |4177 |-3.195954e+02 |-1.020000e+02 | 213.33%
789.25/789.45 c 789s| 8000 | 8001 | 5102k| 603.2 | 99M| 62 | 44 |1000 | 15k|1000 | 995 | 777k| 0 |4204 |-3.195429e+02 |-1.020000e+02 | 213.28%
792.05/792.24 c 792s| 8100 | 8101 | 5126k| 598.7 | 100M| 62 | 6 |1000 | 15k|1000 |1136 | 787k| 0 |4263 |-3.195429e+02 |-1.020000e+02 | 213.28%
801.75/801.94 c 802s| 8200 | 8201 | 5192k| 599.5 | 100M| 62 | 666 |1000 | 15k|1000 | 995 | 793k| 0 |4312 |-3.195182e+02 |-1.020000e+02 | 213.25%
809.14/809.38 c 809s| 8300 | 8301 | 5248k| 599.0 | 101M| 62 | 280 |1000 | 15k|1000 |1129 | 802k| 0 |4389 |-3.195182e+02 |-1.020000e+02 | 213.25%
816.14/816.38 c 816s| 8400 | 8401 | 5299k| 597.9 | 101M| 62 | 295 |1000 | 15k|1000 |1144 | 811k| 0 |4429 |-3.195128e+02 |-1.020000e+02 | 213.25%
822.43/822.68 c 823s| 8500 | 8501 | 5346k| 596.5 | 102M| 62 | 259 |1000 | 15k|1000 |1130 | 820k| 0 |4460 |-3.194968e+02 |-1.020000e+02 | 213.23%
829.74/829.99 c 830s| 8600 | 8601 | 5408k| 596.7 | 102M| 62 | 417 |1000 | 15k|1000 | 995 | 827k| 0 |4471 |-3.194940e+02 |-1.020000e+02 | 213.23%
835.34/835.54 c 836s| 8700 | 8701 | 5460k| 595.8 | 103M| 62 | 316 |1000 | 15k|1000 |1240 | 835k| 0 |4471 |-3.194802e+02 |-1.020000e+02 | 213.22%
840.83/841.05 c 841s| 8800 | 8801 | 5511k| 594.8 | 104M| 62 | 201 |1000 | 15k|1000 |1131 | 844k| 0 |4472 |-3.194780e+02 |-1.020000e+02 | 213.21%
844.64/844.83 c 845s| 8900 | 8901 | 5548k| 592.3 | 104M| 62 | 727 |1000 | 15k|1000 | 995 | 853k| 0 |4472 |-3.194709e+02 |-1.020000e+02 | 213.21%
849.43/849.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
849.43/849.64 c 850s| 9000 | 9001 | 5594k| 590.8 | 104M| 62 | 10 |1000 | 15k|1000 | 995 | 862k| 0 |4472 |-3.194690e+02 |-1.020000e+02 | 213.20%
852.54/852.70 c 853s| 9100 | 9101 | 5625k| 587.7 | 105M| 62 | 473 |1000 | 15k|1000 | 995 | 871k| 0 |4472 |-3.194626e+02 |-1.020000e+02 | 213.20%
857.03/857.20 c 857s| 9200 | 9201 | 5668k| 586.1 | 105M| 62 | 246 |1000 | 15k|1000 |1140 | 881k| 0 |4472 |-3.194452e+02 |-1.020000e+02 | 213.18%
864.13/864.30 c 864s| 9300 | 9301 | 5737k| 587.1 | 106M| 62 | 324 |1000 | 15k|1000 |1140 | 891k| 0 |4472 |-3.194182e+02 |-1.020000e+02 | 213.16%
871.43/871.61 c 872s| 9400 | 9401 | 5796k| 587.2 | 106M| 62 | 268 |1000 | 15k|1000 |1136 | 899k| 0 |4500 |-3.194182e+02 |-1.020000e+02 | 213.16%
878.23/878.49 c 878s| 9500 | 9501 | 5842k| 585.8 | 107M| 62 | 351 |1000 | 15k|1000 |1134 | 908k| 0 |4556 |-3.194014e+02 |-1.020000e+02 | 213.14%
882.14/882.34 c 882s| 9600 | 9601 | 5878k| 583.4 | 107M| 62 | 32 |1000 | 15k|1000 | 995 | 917k| 0 |4583 |-3.193966e+02 |-1.020000e+02 | 213.13%
888.43/888.64 c 889s| 9700 | 9701 | 5924k| 582.2 | 108M| 62 | 106 |1000 | 15k|1000 |1129 | 926k| 0 |4626 |-3.193904e+02 |-1.020000e+02 | 213.13%
893.13/893.33 c 893s| 9800 | 9801 | 5960k| 580.0 | 108M| 62 | 373 |1000 | 15k|1000 |1124 | 937k| 0 |4654 |-3.193812e+02 |-1.020000e+02 | 213.12%
899.43/899.67 c 900s| 9900 | 9901 | 6008k| 578.9 | 109M| 62 | 370 |1000 | 15k|1000 |1126 | 946k| 0 |4695 |-3.193711e+02 |-1.020000e+02 | 213.11%
903.62/903.87 c 904s| 10000 | 10001 | 6040k| 576.4 | 109M| 62 | 299 |1000 | 15k|1000 |1223 | 956k| 0 |4737 |-3.193711e+02 |-1.020000e+02 | 213.11%
913.02/913.22 c 913s| 10100 | 10101 | 6108k| 577.4 | 110M| 62 | 363 |1000 | 15k|1000 |1694 | 963k| 0 |4798 |-3.193610e+02 |-1.020000e+02 | 213.10%
921.73/921.99 c 922s| 10200 | 10201 | 6170k| 577.8 | 110M| 62 | 279 |1000 | 15k|1000 |1136 | 970k| 0 |4845 |-3.193168e+02 |-1.020000e+02 | 213.06%
927.23/927.44 c 927s| 10300 | 10301 | 6214k| 576.4 | 111M| 62 | 279 |1000 | 15k|1000 |1130 | 979k| 0 |4883 |-3.192718e+02 |-1.020000e+02 | 213.01%
933.12/933.36 c 933s| 10400 | 10401 | 6258k| 575.1 | 111M| 62 | 236 |1000 | 15k|1000 |1133 | 988k| 0 |4922 |-3.192660e+02 |-1.020000e+02 | 213.01%
939.72/939.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
939.72/939.91 c 940s| 10500 | 10501 | 6307k| 574.3 | 112M| 62 | 107 |1000 | 15k|1000 |1138 | 994k| 0 |4983 |-3.192315e+02 |-1.020000e+02 | 212.97%
945.71/945.91 c 946s| 10600 | 10601 | 6354k| 573.4 | 112M| 62 | 373 |1000 | 15k|1000 |1514 |1005k| 0 |5012 |-3.192315e+02 |-1.020000e+02 | 212.97%
952.52/952.77 c 953s| 10700 | 10701 | 6417k| 573.9 | 113M| 62 | 391 |1000 | 15k|1000 |1149 |1015k| 0 |5015 |-3.192268e+02 |-1.020000e+02 | 212.97%
957.32/957.58 c 958s| 10800 | 10801 | 6462k| 572.7 | 113M| 62 | 354 |1000 | 15k|1000 |1141 |1025k| 0 |5020 |-3.191966e+02 |-1.020000e+02 | 212.94%
961.01/961.21 c 961s| 10900 | 10901 | 6497k| 570.7 | 114M| 62 | 6 |1000 | 15k|1000 | 995 |1035k| 0 |5020 |-3.191948e+02 |-1.020000e+02 | 212.94%
965.11/965.33 c 965s| 11000 | 11001 | 6535k| 569.0 | 114M| 62 | 353 |1000 | 15k|1000 |1573 |1046k| 0 |5023 |-3.191943e+02 |-1.020000e+02 | 212.94%
970.31/970.58 c 971s| 11100 | 11101 | 6586k| 568.4 | 115M| 62 | 313 |1000 | 15k|1000 |1226 |1056k| 0 |5023 |-3.191832e+02 |-1.020000e+02 | 212.92%
974.01/974.28 c 974s| 11200 | 11201 | 6624k| 566.7 | 115M| 62 | 15 |1000 | 15k|1000 | 995 |1068k| 0 |5023 |-3.191635e+02 |-1.020000e+02 | 212.91%
978.11/978.33 c 978s| 11300 | 11301 | 6664k| 565.2 | 116M| 62 | 323 |1000 | 15k|1000 |1140 |1079k| 0 |5023 |-3.191588e+02 |-1.020000e+02 | 212.90%
980.81/981.07 c 981s| 11400 | 11401 | 6693k| 562.9 | 116M| 62 | 395 |1000 | 15k|1000 |1612 |1090k| 0 |5023 |-3.191588e+02 |-1.020000e+02 | 212.90%
986.21/986.48 c 986s| 11500 | 11501 | 6746k| 562.6 | 117M| 62 | 40 |1000 | 15k|1000 |1142 |1102k| 0 |5023 |-3.191588e+02 |-1.020000e+02 | 212.90%
990.21/990.47 c 990s| 11600 | 11601 | 6785k| 561.1 | 117M| 62 | 285 |1000 | 15k|1000 | 995 |1111k| 0 |5023 |-3.191588e+02 |-1.020000e+02 | 212.90%
995.21/995.45 c 995s| 11700 | 11701 | 6832k| 560.3 | 118M| 62 | 9 |1000 | 15k|1000 | 995 |1118k| 0 |5023 |-3.191487e+02 |-1.020000e+02 | 212.89%
999.41/999.64 c 1000s| 11800 | 11801 | 6873k| 559.0 | 118M| 62 | 286 |1000 | 15k|1000 |1134 |1128k| 0 |5023 |-3.191456e+02 |-1.020000e+02 | 212.89%
1001.80/1002.07 c 1002s| 11900 | 11901 | 6900k| 556.6 | 119M| 62 | 418 |1000 | 15k|1000 |1703 |1139k| 0 |5023 |-3.191456e+02 |-1.020000e+02 | 212.89%
1005.40/1005.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1005.40/1005.64 c 1006s| 12000 | 12001 | 6936k| 554.9 | 119M| 62 | 178 |1000 | 15k|1000 |1125 |1151k| 0 |5023 |-3.191423e+02 |-1.020000e+02 | 212.88%
1010.40/1010.62 c 1011s| 12100 | 12101 | 6985k| 554.4 | 119M| 62 | 386 |1000 | 15k|1000 |1645 |1162k| 0 |5023 |-3.191323e+02 |-1.020000e+02 | 212.87%
1013.41/1013.68 c 1014s| 12200 | 12201 | 7017k| 552.5 | 120M| 62 | 204 |1000 | 15k|1000 |1142 |1173k| 0 |5023 |-3.191235e+02 |-1.020000e+02 | 212.87%
1016.80/1017.01 c 1017s| 12300 | 12301 | 7051k| 550.8 | 120M| 62 | 242 |1000 | 15k|1000 |1140 |1184k| 0 |5023 |-3.191149e+02 |-1.020000e+02 | 212.86%
1021.81/1022.07 c 1022s| 12400 | 12401 | 7101k| 550.4 | 121M| 62 | 174 |1000 | 15k|1000 |1139 |1194k| 0 |5023 |-3.191117e+02 |-1.020000e+02 | 212.85%
1027.00/1027.26 c 1027s| 12500 | 12501 | 7144k| 549.4 | 121M| 62 | 231 |1000 | 15k|1000 |1134 |1203k| 0 |5064 |-3.190863e+02 |-1.020000e+02 | 212.83%
1030.51/1030.75 c 1031s| 12600 | 12601 | 7174k| 547.4 | 122M| 62 | 109 |1000 | 15k|1000 |1137 |1213k| 0 |5084 |-3.190636e+02 |-1.020000e+02 | 212.81%
1037.20/1037.47 c 1037s| 12700 | 12701 | 7221k| 546.8 | 122M| 62 | 316 |1000 | 15k|1000 |1136 |1220k| 0 |5108 |-3.190441e+02 |-1.020000e+02 | 212.79%
1042.00/1042.25 c 1042s| 12800 | 12801 | 7258k| 545.4 | 123M| 62 | 274 |1000 | 15k|1000 |1144 |1231k| 0 |5148 |-3.190378e+02 |-1.020000e+02 | 212.78%
1049.10/1049.30 c 1049s| 12900 | 12901 | 7313k| 545.4 | 123M| 62 | 315 |1000 | 15k|1000 |1130 |1239k| 0 |5194 |-3.190116e+02 |-1.020000e+02 | 212.76%
1055.80/1056.10 c 1056s| 13000 | 13001 | 7362k| 545.0 | 124M| 62 | 13 |1000 | 15k|1000 | 995 |1247k| 0 |5243 |-3.189858e+02 |-1.020000e+02 | 212.73%
1057.80/1058.03 c 1058s| 13100 | 13101 | 7383k| 542.5 | 124M| 62 | 373 |1000 | 15k|1000 |1149 |1257k| 0 |5243 |-3.189858e+02 |-1.020000e+02 | 212.73%
1062.69/1062.95 c 1063s| 13200 | 13201 | 7420k| 541.2 | 124M| 62 | 4 |1000 | 15k|1000 | 995 |1266k| 0 |5301 |-3.189705e+02 |-1.020000e+02 | 212.72%
1067.09/1067.32 c 1067s| 13300 | 13301 | 7456k| 539.8 | 125M| 62 | 388 |1000 | 15k|1000 |1596 |1277k| 0 |5372 |-3.189705e+02 |-1.020000e+02 | 212.72%
1072.89/1073.17 c 1073s| 13400 | 13401 | 7502k| 539.2 | 125M| 62 | 254 |1000 | 15k|1000 | 995 |1286k| 0 |5445 |-3.189640e+02 |-1.020000e+02 | 212.71%
1078.20/1078.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1078.20/1078.45 c 1078s| 13500 | 13501 | 7539k| 537.9 | 126M| 62 | 299 |1000 | 15k|1000 |1156 |1296k| 0 |5489 |-3.189640e+02 |-1.020000e+02 | 212.71%
1082.10/1082.40 c 1082s| 13600 | 13601 | 7575k| 536.7 | 126M| 62 | 369 |1000 | 15k|1000 |1580 |1307k| 0 |5508 |-3.189553e+02 |-1.020000e+02 | 212.70%
1087.80/1088.01 c 1088s| 13700 | 13701 | 7618k| 535.9 | 127M| 62 | 380 |1000 | 15k|1000 |1158 |1316k| 0 |5529 |-3.189527e+02 |-1.020000e+02 | 212.70%
1092.20/1092.41 c 1092s| 13800 | 13801 | 7660k| 535.1 | 127M| 62 | 253 |1000 | 15k|1000 |1144 |1326k| 0 |5532 |-3.189527e+02 |-1.020000e+02 | 212.70%
1097.60/1097.82 c 1098s| 13900 | 13901 | 7710k| 534.8 | 128M| 62 | 38 |1000 | 15k|1000 | 995 |1333k| 0 |5532 |-3.189474e+02 |-1.020000e+02 | 212.69%
1100.59/1100.89 c 1101s| 14000 | 14001 | 7742k| 533.3 | 128M| 62 | 235 |1000 | 15k|1000 |1137 |1344k| 0 |5532 |-3.189461e+02 |-1.020000e+02 | 212.69%
1105.40/1105.63 c 1106s| 14100 | 14101 | 7787k| 532.6 | 129M| 62 | 26 |1000 | 15k|1000 | 995 |1351k| 0 |5533 |-3.189357e+02 |-1.020000e+02 | 212.68%
1108.79/1109.04 c 1109s| 14200 | 14201 | 7821k| 531.3 | 129M| 62 | 358 |1000 | 15k|1000 |1231 |1363k| 0 |5533 |-3.189323e+02 |-1.020000e+02 | 212.68%
1112.00/1112.28 c 1112s| 14300 | 14301 | 7854k| 529.9 | 129M| 62 | 33 |1000 | 15k|1000 | 995 |1373k| 0 |5533 |-3.189320e+02 |-1.020000e+02 | 212.68%
1114.39/1114.69 c 1115s| 14400 | 14401 | 7879k| 528.0 | 130M| 62 | 8 |1000 | 15k|1000 | 995 |1384k| 0 |5534 |-3.189320e+02 |-1.020000e+02 | 212.68%
1118.29/1118.51 c 1119s| 14500 | 14501 | 7917k| 526.9 | 130M| 62 | 306 |1000 | 15k|1000 |1153 |1396k| 0 |5534 |-3.189141e+02 |-1.020000e+02 | 212.66%
1122.49/1122.75 c 1123s| 14600 | 14601 | 7958k| 526.1 | 131M| 62 | 433 |1000 | 15k|1000 | 995 |1407k| 0 |5534 |-3.189096e+02 |-1.020000e+02 | 212.66%
1128.19/1128.47 c 1128s| 14700 | 14701 | 8012k| 526.2 | 131M| 62 | 6 |1000 | 15k|1000 | 995 |1415k| 0 |5534 |-3.188899e+02 |-1.020000e+02 | 212.64%
1131.49/1131.78 c 1132s| 14800 | 14801 | 8046k| 524.9 | 132M| 62 | 73 |1000 | 15k|1000 |1136 |1425k| 0 |5534 |-3.188826e+02 |-1.020000e+02 | 212.63%
1136.98/1137.28 c 1137s| 14900 | 14901 | 8098k| 524.9 | 132M| 62 | 45 |1000 | 15k|1000 |1138 |1434k| 0 |5534 |-3.188824e+02 |-1.020000e+02 | 212.63%
1140.78/1141.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1140.78/1141.07 c 1141s| 15000 | 15001 | 8130k| 523.5 | 133M| 62 | 129 |1000 | 15k|1000 |1155 |1444k| 0 |5559 |-3.188824e+02 |-1.020000e+02 | 212.63%
1146.19/1146.42 c 1146s| 15100 | 15101 | 8172k| 522.9 | 133M| 62 | 258 |1000 | 15k|1000 |1123 |1453k| 0 |5593 |-3.188824e+02 |-1.020000e+02 | 212.63%
1152.09/1152.39 c 1152s| 15200 | 15201 | 8220k| 522.6 | 134M| 62 | 286 |1000 | 15k|1000 |1129 |1461k| 0 |5637 |-3.188824e+02 |-1.020000e+02 | 212.63%
1157.29/1157.52 c 1158s| 15300 | 15301 | 8262k| 521.9 | 134M| 62 | 249 |1000 | 15k|1000 |1142 |1469k| 0 |5658 |-3.188824e+02 |-1.020000e+02 | 212.63%
1161.59/1161.89 c 1162s| 15400 | 15401 | 8297k| 520.8 | 135M| 62 | 695 |1000 | 15k|1000 | 995 |1479k| 0 |5696 |-3.188824e+02 |-1.020000e+02 | 212.63%
1169.58/1169.84 c 1170s| 15500 | 15501 | 8356k| 521.3 | 135M| 62 | 27 |1000 | 15k|1000 | 995 |1488k| 0 |5750 |-3.188697e+02 |-1.020000e+02 | 212.62%
1174.59/1174.89 c 1175s| 15600 | 15601 | 8400k| 520.7 | 136M| 62 | 50 |1000 | 15k|1000 | 995 |1499k| 0 |5775 |-3.188647e+02 |-1.020000e+02 | 212.61%
1181.19/1181.44 c 1181s| 15700 | 15701 | 8450k| 520.6 | 136M| 62 | 144 |1000 | 15k|1000 |1143 |1509k| 0 |5825 |-3.188418e+02 |-1.020000e+02 | 212.59%
1186.47/1186.71 c 1187s| 15800 | 15801 | 8489k| 519.8 | 137M| 62 | 383 |1000 | 15k|1000 |1162 |1519k| 0 |5898 |-3.188381e+02 |-1.020000e+02 | 212.59%
1189.18/1189.41 c 1189s| 15900 | 15901 | 8513k| 518.0 | 137M| 62 | 10 |1000 | 15k|1000 | 995 |1530k| 0 |5936 |-3.188381e+02 |-1.020000e+02 | 212.59%
1193.17/1193.41 c 1193s| 16000 | 16001 | 8546k| 516.8 | 137M| 62 | 175 |1000 | 15k|1000 |1125 |1540k| 0 |5962 |-3.188341e+02 |-1.020000e+02 | 212.58%
1197.78/1198.06 c 1198s| 16100 | 16101 | 8582k| 515.9 | 138M| 62 | 338 |1000 | 15k|1000 |1143 |1549k| 0 |5981 |-3.188323e+02 |-1.020000e+02 | 212.58%
1201.68/1201.96 c 1202s| 16200 | 16201 | 8616k| 514.8 | 138M| 62 | 118 |1000 | 15k|1000 |1142 |1560k| 0 |5996 |-3.188220e+02 |-1.020000e+02 | 212.57%
1205.28/1205.60 c 1206s| 16300 | 16301 | 8647k| 513.5 | 139M| 62 | 291 |1000 | 15k|1000 |1491 |1569k| 0 |6014 |-3.187895e+02 |-1.020000e+02 | 212.54%
1209.78/1210.04 c 1210s| 16400 | 16401 | 8685k| 512.7 | 139M| 62 | 236 |1000 | 15k|1000 |1131 |1579k| 0 |6032 |-3.187895e+02 |-1.020000e+02 | 212.54%
1214.18/1214.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.18/1214.45 c 1214s| 16500 | 16501 | 8727k| 512.1 | 140M| 62 | 280 |1000 | 15k|1000 |1130 |1588k| 0 |6040 |-3.187892e+02 |-1.020000e+02 | 212.54%
1216.17/1216.40 c 1216s| 16600 | 16601 | 8749k| 510.4 | 140M| 62 | 20 |1000 | 15k|1000 | 995 |1598k| 0 |6040 |-3.187892e+02 |-1.020000e+02 | 212.54%
1220.28/1220.50 c 1220s| 16700 | 16701 | 8787k| 509.6 | 140M| 62 | 9 |1000 | 15k|1000 | 995 |1607k| 0 |6045 |-3.187696e+02 |-1.020000e+02 | 212.52%
1223.97/1224.30 c 1224s| 16800 | 16801 | 8825k| 508.9 | 141M| 62 | 16 |1000 | 15k|1000 | 995 |1617k| 0 |6045 |-3.187693e+02 |-1.020000e+02 | 212.52%
1226.57/1226.82 c 1227s| 16900 | 16901 | 8853k| 507.5 | 141M| 62 | 125 |1000 | 15k|1000 |1151 |1629k| 0 |6045 |-3.187693e+02 |-1.020000e+02 | 212.52%
1230.07/1230.34 c 1230s| 17000 | 17001 | 8889k| 506.6 | 142M| 62 | 353 |1000 | 15k|1000 |1144 |1639k| 0 |6045 |-3.187674e+02 |-1.020000e+02 | 212.52%
1233.87/1234.17 c 1234s| 17100 | 17101 | 8927k| 505.9 | 142M| 62 | 183 |1000 | 15k|1000 |1139 |1649k| 0 |6045 |-3.187674e+02 |-1.020000e+02 | 212.52%
1238.17/1238.46 c 1238s| 17200 | 17201 | 8969k| 505.4 | 143M| 62 | 150 |1000 | 15k|1000 | 995 |1659k| 0 |6045 |-3.187435e+02 |-1.020000e+02 | 212.49%
1242.97/1243.28 c 1243s| 17300 | 17301 | 9017k| 505.2 | 143M| 62 | 385 |1000 | 15k|1000 |1149 |1668k| 0 |6045 |-3.187408e+02 |-1.020000e+02 | 212.49%
1247.57/1247.83 c 1248s| 17400 | 17401 | 9061k| 504.8 | 143M| 62 | 78 |1000 | 15k|1000 |1140 |1677k| 0 |6045 |-3.187279e+02 |-1.020000e+02 | 212.48%
1251.17/1251.48 c 1251s| 17500 | 17501 | 9098k| 504.0 | 144M| 62 | 24 |1000 | 15k|1000 | 995 |1687k| 0 |6045 |-3.187273e+02 |-1.020000e+02 | 212.48%
1254.56/1254.84 c 1255s| 17600 | 17601 | 9132k| 503.2 | 144M| 62 | 20 |1000 | 15k|1000 | 995 |1697k| 0 |6045 |-3.187250e+02 |-1.020000e+02 | 212.48%
1257.77/1258.00 c 1258s| 17700 | 17701 | 9165k| 502.2 | 145M| 62 | 110 |1000 | 15k|1000 |1140 |1708k| 0 |6045 |-3.187250e+02 |-1.020000e+02 | 212.48%
1262.76/1263.01 c 1263s| 17800 | 17801 | 9214k| 502.1 | 145M| 62 | 314 |1000 | 15k|1000 |1144 |1719k| 0 |6045 |-3.187240e+02 |-1.020000e+02 | 212.47%
1268.67/1268.91 c 1269s| 17900 | 17901 | 9269k| 502.4 | 146M| 62 | 395 |1000 | 15k|1000 |1648 |1730k| 0 |6061 |-3.187154e+02 |-1.020000e+02 | 212.47%
1274.47/1274.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1274.47/1274.79 c 1275s| 18000 | 18001 | 9308k| 501.8 | 146M| 62 | 403 |1000 | 15k|1000 |1629 |1738k| 0 |6090 |-3.186998e+02 |-1.020000e+02 | 212.45%
1277.77/1278.00 c 1278s| 18100 | 18101 | 9341k| 500.8 | 146M| 62 | 380 |1000 | 15k|1000 |1630 |1749k| 0 |6090 |-3.186992e+02 |-1.020000e+02 | 212.45%
1284.47/1284.75 c 1285s| 18200 | 18201 | 9393k| 500.9 | 147M| 63 | 332 |1000 | 15k|1000 |1219 |1758k| 0 |6133 |-3.186715e+02 |-1.020000e+02 | 212.42%
1288.46/1288.74 c 1289s| 18300 | 18301 | 9425k| 499.9 | 147M| 63 | 246 |1000 | 15k|1000 |1132 |1768k| 0 |6144 |-3.186650e+02 |-1.020000e+02 | 212.42%
1291.56/1291.83 c 1292s| 18400 | 18401 | 9453k| 498.7 | 148M| 63 | 198 |1000 | 15k|1000 |1141 |1776k| 0 |6159 |-3.186650e+02 |-1.020000e+02 | 212.42%
1294.26/1294.51 c 1295s| 18500 | 18501 | 9478k| 497.3 | 148M| 63 | 309 |1000 | 15k|1000 |1139 |1789k| 0 |6206 |-3.186650e+02 |-1.020000e+02 | 212.42%
1299.56/1299.82 c 1300s| 18600 | 18601 | 9520k| 497.0 | 149M| 63 | 194 |1000 | 15k|1000 | 995 |1798k| 0 |6252 |-3.186640e+02 |-1.020000e+02 | 212.42%
1304.66/1304.93 c 1305s| 18700 | 18701 | 9563k| 496.6 | 149M| 63 | 389 |1000 | 15k|1000 |1673 |1809k| 0 |6315 |-3.186627e+02 |-1.020000e+02 | 212.41%
1308.66/1308.99 c 1309s| 18800 | 18801 | 9597k| 495.8 | 150M| 63 | 20 |1000 | 15k|1000 | 995 |1820k| 0 |6351 |-3.186594e+02 |-1.020000e+02 | 212.41%
1313.17/1313.48 c 1313s| 18900 | 18901 | 9632k| 495.0 | 150M| 63 | 280 |1000 | 15k|1000 |1161 |1831k| 0 |6412 |-3.186594e+02 |-1.020000e+02 | 212.41%
1321.26/1321.56 c 1322s| 19000 | 19001 | 9691k| 495.5 | 151M| 63 | 9 |1000 | 15k|1000 | 995 |1840k| 0 |6455 |-3.186381e+02 |-1.020000e+02 | 212.39%
1324.75/1325.09 c 1325s| 19100 | 19101 | 9725k| 494.7 | 151M| 63 | 417 |1000 | 15k|1000 |1747 |1852k| 0 |6492 |-3.186350e+02 |-1.020000e+02 | 212.39%
1331.76/1332.03 c 1332s| 19200 | 19201 | 9777k| 494.8 | 152M| 63 | 43 |1000 | 15k|1000 |1132 |1861k| 0 |6528 |-3.186077e+02 |-1.020000e+02 | 212.36%
1335.35/1335.63 c 1336s| 19300 | 19301 | 9809k| 493.9 | 152M| 63 | 74 |1000 | 15k|1000 |1138 |1872k| 0 |6543 |-3.186069e+02 |-1.020000e+02 | 212.36%
1340.95/1341.29 c 1341s| 19400 | 19401 | 9855k| 493.7 | 153M| 63 | 224 |1000 | 15k|1000 |1145 |1881k| 0 |6578 |-3.186062e+02 |-1.020000e+02 | 212.36%
1346.55/1346.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1346.55/1346.80 c 1347s| 19500 | 19501 | 9904k| 493.7 | 153M| 63 | 138 |1000 | 15k|1000 |1130 |1890k| 0 |6586 |-3.186026e+02 |-1.020000e+02 | 212.36%
1350.25/1350.52 c 1351s| 19600 | 19601 | 9942k| 493.1 | 153M| 63 | 337 |1000 | 15k|1000 |1520 |1900k| 0 |6586 |-3.186004e+02 |-1.020000e+02 | 212.35%
1356.15/1356.47 c 1356s| 19700 | 19701 | 9997k| 493.4 | 154M| 63 | 289 |1000 | 15k|1000 |1155 |1911k| 0 |6590 |-3.185963e+02 |-1.020000e+02 | 212.35%
1358.15/1358.42 c 1358s| 19800 | 19801 | 10019k| 492.1 | 154M| 63 | 222 |1000 | 15k|1000 |1136 |1921k| 0 |6590 |-3.185963e+02 |-1.020000e+02 | 212.35%
1361.45/1361.76 c 1362s| 19900 | 19901 | 10053k| 491.3 | 155M| 63 | 228 |1000 | 15k|1000 |1236 |1933k| 0 |6590 |-3.185793e+02 |-1.020000e+02 | 212.33%
1368.15/1368.45 c 1368s| 20000 | 20001 | 10117k| 492.0 | 155M| 63 | 339 |1000 | 15k|1000 |1123 |1943k| 0 |6590 |-3.185685e+02 |-1.020000e+02 | 212.32%
1370.74/1371.04 c 1371s| 20100 | 20101 | 10145k| 491.0 | 156M| 63 | 391 |1000 | 15k|1000 |1142 |1954k| 0 |6590 |-3.185685e+02 |-1.020000e+02 | 212.32%
1374.04/1374.39 c 1374s| 20200 | 20201 | 10179k| 490.2 | 156M| 63 | 516 |1000 | 15k|1000 | 995 |1965k| 0 |6590 |-3.185631e+02 |-1.020000e+02 | 212.32%
1377.74/1378.05 c 1378s| 20300 | 20301 | 10216k| 489.6 | 157M| 63 | 160 |1000 | 15k|1000 |1141 |1974k| 0 |6590 |-3.185621e+02 |-1.020000e+02 | 212.32%
1381.74/1382.01 c 1382s| 20400 | 20401 | 10256k| 489.2 | 157M| 63 | 115 |1000 | 15k|1000 |1145 |1983k| 0 |6590 |-3.185613e+02 |-1.020000e+02 | 212.32%
1384.75/1385.02 c 1385s| 20500 | 20501 | 10287k| 488.3 | 158M| 63 | 159 |1000 | 15k|1000 |1139 |1993k| 0 |6590 |-3.185613e+02 |-1.020000e+02 | 212.32%
1389.74/1390.06 c 1390s| 20600 | 20601 | 10336k| 488.3 | 158M| 63 | 241 |1000 | 15k|1000 |1143 |2003k| 0 |6590 |-3.185477e+02 |-1.020000e+02 | 212.30%
1393.45/1393.74 c 1394s| 20700 | 20701 | 10374k| 487.8 | 158M| 63 | 385 |1000 | 15k|1000 |1577 |2016k| 0 |6590 |-3.185472e+02 |-1.020000e+02 | 212.30%
1398.64/1398.90 c 1399s| 20800 | 20801 | 10423k| 487.8 | 159M| 63 | 329 |1000 | 15k|1000 |1514 |2025k| 0 |6590 |-3.185227e+02 |-1.020000e+02 | 212.28%
1402.34/1402.61 c 1403s| 20900 | 20901 | 10454k| 486.9 | 159M| 63 | 184 |1000 | 15k|1000 |1144 |2036k| 0 |6619 |-3.185196e+02 |-1.020000e+02 | 212.27%
1406.84/1407.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1406.84/1407.14 c 1407s| 21000 | 21001 | 10490k| 486.3 | 160M| 63 | 309 |1000 | 15k|1000 |1137 |2048k| 0 |6669 |-3.185086e+02 |-1.020000e+02 | 212.26%
1410.05/1410.38 c 1410s| 21100 | 21101 | 10521k| 485.5 | 160M| 63 | 193 |1000 | 15k|1000 |1142 |2059k| 0 |6695 |-3.185080e+02 |-1.020000e+02 | 212.26%
1416.64/1416.93 c 1417s| 21200 | 21201 | 10573k| 485.7 | 161M| 63 | 400 |1000 | 15k|1000 |1678 |2070k| 0 |6717 |-3.184983e+02 |-1.020000e+02 | 212.25%
1420.94/1421.20 c 1421s| 21300 | 21301 | 10610k| 485.1 | 161M| 63 | 205 |1000 | 15k|1000 |1119 |2080k| 0 |6765 |-3.184864e+02 |-1.020000e+02 | 212.24%
1425.23/1425.58 c 1426s| 21400 | 21401 | 10641k| 484.3 | 162M| 63 | 42 |1000 | 15k|1000 |1126 |2088k| 0 |6804 |-3.184787e+02 |-1.020000e+02 | 212.23%
1428.84/1429.15 c 1429s| 21500 | 21501 | 10675k| 483.6 | 162M| 63 | 30 |1000 | 15k|1000 |1137 |2099k| 0 |6817 |-3.184763e+02 |-1.020000e+02 | 212.23%
1434.04/1434.34 c 1434s| 21600 | 21601 | 10717k| 483.3 | 163M| 63 | 231 |1000 | 15k|1000 |1128 |2109k| 0 |6836 |-3.184601e+02 |-1.020000e+02 | 212.22%
1439.54/1439.84 c 1440s| 21700 | 21701 | 10759k| 483.0 | 163M| 63 | 44 |1000 | 15k|1000 | 995 |2118k| 0 |6864 |-3.184439e+02 |-1.020000e+02 | 212.20%
1444.83/1445.16 c 1445s| 21800 | 21801 | 10798k| 482.6 | 164M| 63 | 308 |1000 | 15k|1000 |1141 |2127k| 0 |6909 |-3.184413e+02 |-1.020000e+02 | 212.20%
1449.73/1450.05 c 1450s| 21900 | 21901 | 10839k| 482.3 | 164M| 63 | 404 |1000 | 15k|1000 |1644 |2137k| 0 |6931 |-3.184330e+02 |-1.020000e+02 | 212.19%
1454.63/1454.91 c 1455s| 22000 | 22001 | 10876k| 481.8 | 164M| 63 | 361 |1000 | 15k|1000 |1129 |2147k| 0 |6975 |-3.184314e+02 |-1.020000e+02 | 212.19%
1461.13/1461.47 c 1461s| 22100 | 22101 | 10930k| 482.0 | 165M| 63 | 328 |1000 | 15k|1000 |1133 |2159k| 0 |7004 |-3.184261e+02 |-1.020000e+02 | 212.18%
1465.83/1466.11 c 1466s| 22200 | 22201 | 10969k| 481.6 | 165M| 63 | 410 |1000 | 15k|1000 |1630 |2168k| 0 |7027 |-3.184219e+02 |-1.020000e+02 | 212.18%
1471.03/1471.30 c 1471s| 22300 | 22301 | 11011k| 481.4 | 166M| 63 | 109 |1000 | 15k|1000 |1140 |2178k| 0 |7068 |-3.183951e+02 |-1.020000e+02 | 212.15%
1477.93/1478.26 c 1478s| 22400 | 22401 | 11062k| 481.5 | 166M| 63 | 337 |1000 | 15k|1000 |1142 |2187k| 0 |7102 |-3.183817e+02 |-1.020000e+02 | 212.14%
1481.63/1481.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1481.63/1481.96 c 1482s| 22500 | 22501 | 11096k| 480.9 | 167M| 63 | 286 |1000 | 15k|1000 |1131 |2196k| 0 |7115 |-3.183804e+02 |-1.020000e+02 | 212.14%
1484.83/1485.14 c 1485s| 22600 | 22601 | 11129k| 480.2 | 167M| 63 | 268 |1000 | 15k|1000 |1151 |2206k| 0 |7117 |-3.183777e+02 |-1.020000e+02 | 212.13%
1489.13/1489.43 c 1489s| 22700 | 22701 | 11169k| 479.8 | 168M| 63 | 185 |1000 | 15k|1000 |1143 |2214k| 0 |7121 |-3.183670e+02 |-1.020000e+02 | 212.12%
1492.23/1492.57 c 1493s| 22800 | 22801 | 11201k| 479.1 | 168M| 63 | 5 |1000 | 15k|1000 | 995 |2225k| 0 |7121 |-3.183629e+02 |-1.020000e+02 | 212.12%
1497.33/1497.60 c 1498s| 22900 | 22901 | 11250k| 479.2 | 169M| 63 | 354 |1000 | 15k|1000 |1652 |2234k| 0 |7121 |-3.183607e+02 |-1.020000e+02 | 212.12%
1501.52/1501.85 c 1502s| 23000 | 23001 | 11291k| 478.9 | 169M| 63 | 371 |1000 | 15k|1000 |1604 |2243k| 0 |7121 |-3.183552e+02 |-1.020000e+02 | 212.11%
1504.82/1505.16 c 1505s| 23100 | 23101 | 11324k| 478.3 | 169M| 66 | 241 |1000 | 15k|1000 |1137 |2253k| 0 |7121 |-3.183398e+02 |-1.020000e+02 | 212.10%
1507.92/1508.29 c 1508s| 23200 | 23201 | 11356k| 477.6 | 170M| 66 | 7 |1000 | 15k|1000 | 995 |2263k| 0 |7121 |-3.183389e+02 |-1.020000e+02 | 212.10%
1512.83/1513.19 c 1513s| 23300 | 23301 | 11404k| 477.6 | 170M| 66 | 6 |1000 | 15k|1000 | 995 |2273k| 0 |7121 |-3.183308e+02 |-1.020000e+02 | 212.09%
1516.32/1516.68 c 1517s| 23400 | 23401 | 11440k| 477.1 | 171M| 66 | 147 |1000 | 15k|1000 |1139 |2285k| 0 |7121 |-3.183308e+02 |-1.020000e+02 | 212.09%
1521.32/1521.67 c 1522s| 23500 | 23501 | 11488k| 477.1 | 171M| 66 | 313 |1000 | 15k|1000 |1250 |2295k| 0 |7121 |-3.183191e+02 |-1.020000e+02 | 212.08%
1524.52/1524.88 c 1525s| 23600 | 23601 | 11519k| 476.4 | 172M| 66 | 11 |1000 | 15k|1000 |1144 |2304k| 0 |7121 |-3.183146e+02 |-1.020000e+02 | 212.07%
1527.42/1527.70 c 1528s| 23700 | 23701 | 11550k| 475.7 | 172M| 66 | 277 |1000 | 15k|1000 |1214 |2314k| 0 |7121 |-3.183106e+02 |-1.020000e+02 | 212.07%
1531.82/1532.10 c 1532s| 23800 | 23801 | 11591k| 475.4 | 173M| 66 | 158 |1000 | 15k|1000 |1146 |2323k| 0 |7121 |-3.183066e+02 |-1.020000e+02 | 212.07%
1536.22/1536.56 c 1537s| 23900 | 23901 | 11636k| 475.3 | 173M| 66 | 437 |1000 | 15k|1000 |1741 |2334k| 0 |7121 |-3.183007e+02 |-1.020000e+02 | 212.06%
1538.32/1538.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1538.32/1538.63 c 1539s| 24000 | 24001 | 11660k| 474.3 | 174M| 66 | 351 |1000 | 15k|1000 |1533 |2346k| 0 |7121 |-3.183007e+02 |-1.020000e+02 | 212.06%
1541.12/1541.44 c 1541s| 24100 | 24101 | 11689k| 473.5 | 174M| 66 | 71 |1000 | 15k|1000 |1145 |2356k| 0 |7121 |-3.183007e+02 |-1.020000e+02 | 212.06%
1545.71/1546.03 c 1546s| 24200 | 24201 | 11727k| 473.2 | 174M| 66 | 374 |1000 | 15k|1000 |1134 |2365k| 0 |7170 |-3.182937e+02 |-1.020000e+02 | 212.05%
1549.52/1549.85 c 1550s| 24300 | 24301 | 11758k| 472.5 | 175M| 66 | 322 |1000 | 15k|1000 |1141 |2376k| 0 |7187 |-3.182935e+02 |-1.020000e+02 | 212.05%
1554.32/1554.66 c 1555s| 24400 | 24401 | 11796k| 472.1 | 175M| 66 | 327 |1000 | 15k|1000 |1610 |2386k| 0 |7217 |-3.182912e+02 |-1.020000e+02 | 212.05%
1559.52/1559.81 c 1560s| 24500 | 24501 | 11836k| 471.8 | 176M| 66 | 152 |1000 | 15k|1000 |1126 |2393k| 0 |7231 |-3.182877e+02 |-1.020000e+02 | 212.05%
1563.31/1563.67 c 1564s| 24600 | 24601 | 11872k| 471.4 | 176M| 66 | 42 |1000 | 15k|1000 | 995 |2402k| 0 |7242 |-3.182864e+02 |-1.020000e+02 | 212.05%
1567.61/1567.95 c 1568s| 24700 | 24701 | 11906k| 470.8 | 177M| 66 | 18 |1000 | 15k|1000 | 995 |2410k| 0 |7262 |-3.182782e+02 |-1.020000e+02 | 212.04%
1569.32/1569.64 c 1570s| 24800 | 24801 | 11925k| 469.7 | 177M| 66 | 279 |1000 | 15k|1000 |1129 |2421k| 0 |7304 |-3.182782e+02 |-1.020000e+02 | 212.04%
1574.01/1574.37 c 1574s| 24900 | 24901 | 11964k| 469.4 | 177M| 66 | 221 |1000 | 15k|1000 |1134 |2430k| 0 |7333 |-3.182706e+02 |-1.020000e+02 | 212.03%
1580.32/1580.65 c 1581s| 25000 | 25001 | 12014k| 469.5 | 178M| 66 | 346 |1000 | 15k|1000 |1502 |2439k| 0 |7374 |-3.182663e+02 |-1.020000e+02 | 212.03%
1585.21/1585.59 c 1586s| 25100 | 25101 | 12056k| 469.3 | 178M| 66 | 166 |1000 | 15k|1000 |1210 |2450k| 0 |7395 |-3.182600e+02 |-1.020000e+02 | 212.02%
1591.42/1591.76 c 1592s| 25200 | 25201 | 12105k| 469.4 | 179M| 66 | 95 |1000 | 15k|1000 | 995 |2462k| 0 |7473 |-3.182464e+02 |-1.020000e+02 | 212.01%
1596.81/1597.12 c 1597s| 25300 | 25301 | 12148k| 469.2 | 179M| 66 | 412 |1000 | 15k|1000 |1135 |2471k| 0 |7507 |-3.182422e+02 |-1.020000e+02 | 212.00%
1599.21/1599.53 c 1600s| 25400 | 25401 | 12173k| 468.4 | 180M| 66 | 44 |1000 | 15k|1000 | 995 |2480k| 0 |7539 |-3.182422e+02 |-1.020000e+02 | 212.00%
1604.11/1604.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.11/1604.45 c 1604s| 25500 | 25501 | 12212k| 468.1 | 180M| 66 | 138 |1000 | 15k|1000 |1140 |2490k| 0 |7571 |-3.182414e+02 |-1.020000e+02 | 212.00%
1610.11/1610.45 c 1610s| 25600 | 25601 | 12254k| 467.9 | 181M| 66 | 364 |1000 | 15k|1000 |1514 |2499k| 0 |7602 |-3.182399e+02 |-1.020000e+02 | 212.00%
1612.50/1612.82 c 1613s| 25700 | 25701 | 12281k| 467.1 | 181M| 66 | 369 |1000 | 15k|1000 |1554 |2511k| 0 |7602 |-3.182399e+02 |-1.020000e+02 | 212.00%
1617.71/1618.04 c 1618s| 25800 | 25801 | 12326k| 467.0 | 182M| 66 | 263 |1000 | 15k|1000 |1140 |2521k| 0 |7613 |-3.182276e+02 |-1.020000e+02 | 211.99%
1621.30/1621.60 c 1622s| 25900 | 25901 | 12356k| 466.4 | 182M| 66 | 268 |1000 | 15k|1000 |1129 |2532k| 0 |7631 |-3.182273e+02 |-1.020000e+02 | 211.99%
1626.20/1626.53 c 1627s| 26000 | 26001 | 12401k| 466.3 | 183M| 66 | 257 |1000 | 15k|1000 |1218 |2541k| 0 |7641 |-3.182234e+02 |-1.020000e+02 | 211.98%
1630.50/1630.80 c 1631s| 26100 | 26101 | 12443k| 466.2 | 183M| 66 | 15 |1000 | 15k|1000 | 995 |2551k| 0 |7642 |-3.182044e+02 |-1.020000e+02 | 211.97%
1632.70/1633.00 c 1633s| 26200 | 26201 | 12467k| 465.3 | 183M| 66 | 131 |1000 | 15k|1000 |1142 |2562k| 0 |7642 |-3.182044e+02 |-1.020000e+02 | 211.97%
1637.01/1637.32 c 1637s| 26300 | 26301 | 12510k| 465.1 | 184M| 66 | 208 |1000 | 15k|1000 |1151 |2572k| 0 |7643 |-3.181927e+02 |-1.020000e+02 | 211.95%
1640.60/1640.95 c 1641s| 26400 | 26401 | 12547k| 464.8 | 184M| 66 | 286 |1000 | 15k|1000 |1149 |2583k| 0 |7643 |-3.181824e+02 |-1.020000e+02 | 211.94%
1646.10/1646.49 c 1646s| 26500 | 26501 | 12600k| 465.0 | 185M| 66 | 295 |1000 | 15k|1000 |1120 |2594k| 0 |7643 |-3.181696e+02 |-1.020000e+02 | 211.93%
1649.50/1649.84 c 1650s| 26600 | 26601 | 12634k| 464.6 | 185M| 66 | 263 |1000 | 15k|1000 |1138 |2605k| 0 |7643 |-3.181684e+02 |-1.020000e+02 | 211.93%
1652.30/1652.60 c 1653s| 26700 | 26701 | 12663k| 463.9 | 186M| 66 | 350 |1000 | 15k|1000 |1140 |2614k| 0 |7643 |-3.181590e+02 |-1.020000e+02 | 211.92%
1655.60/1655.92 c 1656s| 26800 | 26801 | 12697k| 463.5 | 186M| 66 | 401 |1000 | 15k|1000 |1642 |2625k| 0 |7643 |-3.181547e+02 |-1.020000e+02 | 211.92%
1659.90/1660.22 c 1660s| 26900 | 26901 | 12744k| 463.5 | 187M| 66 | 356 |1000 | 15k|1000 |1144 |2635k| 0 |7643 |-3.181495e+02 |-1.020000e+02 | 211.91%
1663.20/1663.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1663.20/1663.57 c 1664s| 27000 | 27001 | 12777k| 463.0 | 187M| 66 | 292 |1000 | 15k|1000 |1137 |2645k| 0 |7643 |-3.181478e+02 |-1.020000e+02 | 211.91%
1666.79/1667.11 c 1667s| 27100 | 27101 | 12813k| 462.6 | 188M| 66 | 150 |1000 | 15k|1000 |1143 |2656k| 0 |7643 |-3.181478e+02 |-1.020000e+02 | 211.91%
1669.99/1670.35 c 1670s| 27200 | 27201 | 12846k| 462.1 | 188M| 66 | 42 |1000 | 15k|1000 | 995 |2668k| 0 |7643 |-3.181474e+02 |-1.020000e+02 | 211.91%
1675.40/1675.78 c 1676s| 27300 | 27301 | 12898k| 462.3 | 189M| 66 | 5 |1000 | 15k|1000 |1158 |2678k| 0 |7643 |-3.181422e+02 |-1.020000e+02 | 211.90%
1679.60/1679.90 c 1680s| 27400 | 27401 | 12938k| 462.1 | 189M| 66 | 126 |1000 | 15k|1000 |1145 |2688k| 0 |7643 |-3.181361e+02 |-1.020000e+02 | 211.90%
1684.39/1684.74 c 1685s| 27500 | 27501 | 12985k| 462.1 | 189M| 66 | 42 |1000 | 15k|1000 | 995 |2696k| 0 |7643 |-3.181209e+02 |-1.020000e+02 | 211.88%
1688.10/1688.40 c 1688s| 27600 | 27601 | 13019k| 461.7 | 190M| 66 | 333 |1000 | 15k|1000 |1143 |2707k| 0 |7693 |-3.181208e+02 |-1.020000e+02 | 211.88%
1691.60/1691.95 c 1692s| 27700 | 27701 | 13049k| 461.1 | 190M| 66 | 313 |1000 | 15k|1000 |1492 |2718k| 0 |7709 |-3.181087e+02 |-1.020000e+02 | 211.87%
1695.70/1696.09 c 1696s| 27800 | 27801 | 13082k| 460.6 | 191M| 66 | 380 |1000 | 15k|1000 |1619 |2729k| 0 |7724 |-3.181087e+02 |-1.020000e+02 | 211.87%
1700.69/1701.04 c 1701s| 27900 | 27901 | 13122k| 460.4 | 191M| 66 | 315 |1000 | 15k|1000 |1540 |2738k| 0 |7743 |-3.181006e+02 |-1.020000e+02 | 211.86%
1704.80/1705.16 c 1705s| 28000 | 28001 | 13160k| 460.1 | 192M| 66 | 127 |1000 | 15k|1000 |1141 |2747k| 0 |7760 |-3.181006e+02 |-1.020000e+02 | 211.86%
1706.90/1707.21 c 1707s| 28100 | 28101 | 13181k| 459.2 | 192M| 66 | 58 |1000 | 15k|1000 | 995 |2758k| 0 |7784 |-3.181006e+02 |-1.020000e+02 | 211.86%
1710.79/1711.12 c 1711s| 28200 | 28201 | 13211k| 458.7 | 192M| 66 | 299 |1000 | 15k|1000 |1135 |2767k| 0 |7852 |-3.180971e+02 |-1.020000e+02 | 211.86%
1714.29/1714.68 c 1715s| 28300 | 28301 | 13244k| 458.2 | 193M| 66 | 334 |1000 | 15k|1000 |1128 |2778k| 0 |7868 |-3.180878e+02 |-1.020000e+02 | 211.85%
1717.79/1718.15 c 1718s| 28400 | 28401 | 13273k| 457.6 | 193M| 66 | 25 |1000 | 15k|1000 |1139 |2788k| 0 |7878 |-3.180875e+02 |-1.020000e+02 | 211.85%
1720.30/1720.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.30/1720.63 c 1721s| 28500 | 28501 | 13296k| 456.8 | 194M| 66 | 393 |1000 | 15k|1000 |1132 |2799k| 0 |7923 |-3.180875e+02 |-1.020000e+02 | 211.85%
1724.09/1724.40 c 1724s| 28600 | 28601 | 13329k| 456.4 | 194M| 66 | 36 |1000 | 15k|1000 |1147 |2809k| 0 |7945 |-3.180860e+02 |-1.020000e+02 | 211.85%
1728.39/1728.75 c 1729s| 28700 | 28701 | 13363k| 456.0 | 195M| 66 | 243 |1000 | 15k|1000 |1137 |2820k| 0 |8002 |-3.180835e+02 |-1.020000e+02 | 211.85%
1731.20/1731.59 c 1732s| 28800 | 28801 | 13393k| 455.4 | 195M| 66 | 311 |1000 | 15k|1000 |1146 |2830k| 0 |8002 |-3.180835e+02 |-1.020000e+02 | 211.85%
1736.49/1736.89 c 1737s| 28900 | 28901 | 13436k| 455.3 | 195M| 66 | 186 |1000 | 15k|1000 |1145 |2839k| 0 |8019 |-3.180777e+02 |-1.020000e+02 | 211.84%
1740.38/1740.79 c 1741s| 29000 | 29001 | 13469k| 454.9 | 196M| 66 | 10 |1000 | 15k|1000 |1145 |2849k| 0 |8078 |-3.180752e+02 |-1.020000e+02 | 211.84%
1743.88/1744.28 c 1744s| 29100 | 29101 | 13500k| 454.4 | 196M| 66 | 224 |1000 | 15k|1000 |1144 |2859k| 0 |8088 |-3.180736e+02 |-1.020000e+02 | 211.84%
1747.18/1747.50 c 1748s| 29200 | 29201 | 13529k| 453.8 | 197M| 66 | 223 |1000 | 15k|1000 |1149 |2869k| 0 |8108 |-3.180736e+02 |-1.020000e+02 | 211.84%
1751.29/1751.60 c 1752s| 29300 | 29301 | 13560k| 453.4 | 197M| 66 | 393 |1000 | 15k|1000 |1127 |2880k| 0 |8155 |-3.180724e+02 |-1.020000e+02 | 211.84%
1754.29/1754.64 c 1755s| 29400 | 29401 | 13591k| 452.9 | 198M| 66 | 358 |1000 | 15k|1000 |1232 |2890k| 0 |8170 |-3.180724e+02 |-1.020000e+02 | 211.84%
1759.49/1759.80 c 1760s| 29500 | 29501 | 13631k| 452.7 | 198M| 66 | 94 |1000 | 15k|1000 |1129 |2899k| 0 |8192 |-3.180670e+02 |-1.020000e+02 | 211.83%
1762.48/1762.84 c 1763s| 29600 | 29601 | 13661k| 452.2 | 199M| 66 | 187 |1000 | 15k|1000 |1136 |2909k| 0 |8197 |-3.180667e+02 |-1.020000e+02 | 211.83%
1767.39/1767.80 c 1768s| 29700 | 29701 | 13707k| 452.2 | 199M| 66 | 205 |1000 | 15k|1000 |1133 |2918k| 0 |8200 |-3.180659e+02 |-1.020000e+02 | 211.83%
1769.28/1769.67 c 1770s| 29800 | 29801 | 13728k| 451.4 | 199M| 66 | 174 |1000 | 15k|1000 |1136 |2928k| 0 |8200 |-3.180659e+02 |-1.020000e+02 | 211.83%
1773.98/1774.36 c 1774s| 29900 | 29901 | 13773k| 451.4 | 200M| 66 | 337 |1000 | 15k|1000 |1120 |2937k| 0 |8203 |-3.180505e+02 |-1.020000e+02 | 211.81%
1778.38/1778.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1778.38/1778.80 c 1779s| 30000 | 30001 | 13816k| 451.3 | 200M| 66 | 377 |1000 | 15k|1000 |1129 |2946k| 0 |8203 |-3.180505e+02 |-1.020000e+02 | 211.81%
1780.98/1781.38 c 1781s| 30100 | 30101 | 13843k| 450.7 | 201M| 66 | 6 |1000 | 15k|1000 |1148 |2956k| 0 |8203 |-3.180429e+02 |-1.020000e+02 | 211.81%
1783.58/1783.92 c 1784s| 30200 | 30201 | 13870k| 450.1 | 201M| 66 | 177 |1000 | 15k|1000 |1134 |2965k| 0 |8203 |-3.180412e+02 |-1.020000e+02 | 211.81%
1787.37/1787.76 c 1788s| 30300 | 30301 | 13908k| 449.9 | 202M| 66 | 359 |1000 | 15k|1000 |1623 |2975k| 0 |8203 |-3.180399e+02 |-1.020000e+02 | 211.80%
1791.08/1791.44 c 1791s| 30400 | 30401 | 13945k| 449.6 | 202M| 66 | 24 |1000 | 15k|1000 |1130 |2984k| 0 |8203 |-3.180358e+02 |-1.020000e+02 | 211.80%
1796.68/1797.00 c
1796.68/1797.00 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.00 c Solving Time (sec) : 1797.00
1796.68/1797.00 c Solving Nodes : 30498
1796.68/1797.00 c Primal Bound : -1.02000000000000e+02 (508 solutions)
1796.68/1797.00 c Dual Bound : -3.18024608249543e+02
1796.68/1797.00 c Gap : 211.79 %
1796.68/1797.02 s SATISFIABLE
1796.68/1797.02 v x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1796.68/1797.02 v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1796.68/1797.02 v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1796.68/1797.02 v -x936 -x935 -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1796.68/1797.02 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1796.68/1797.02 v x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 -x874
1796.68/1797.02 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1796.68/1797.02 v -x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 x836 -x835 -x834 -x833 x832
1796.68/1797.02 v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1796.68/1797.02 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1796.68/1797.02 v -x789 x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768
1796.68/1797.02 v -x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747
1796.68/1797.02 v -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1796.68/1797.02 v -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705
1796.68/1797.02 v -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684
1796.68/1797.02 v -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663
1796.68/1797.02 v -x662 -x661 x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 x646 -x645 -x644 -x643 -x642
1796.68/1797.02 v -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621
1796.68/1797.02 v -x620 -x619 -x618 -x617 -x616 x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600
1796.68/1797.02 v -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 x580 -x579
1796.68/1797.02 v -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1796.68/1797.02 v -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 x549 -x548 x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1796.68/1797.02 v -x535 -x534 -x533 x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515
1796.68/1797.02 v -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1796.68/1797.02 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474
1796.68/1797.02 v -x473 -x472 -x471 -x470 -x469 x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
1796.68/1797.02 v -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
1796.68/1797.02 v x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
1796.68/1797.02 v -x409 -x408 -x407 -x406 x405 -x404 -x403 -x402 -x401 x400 -x399 -x398 -x397 -x396 x395 -x394 -x393 -x392 x391 -x390 -x389
1796.68/1797.02 v -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
1796.68/1797.02 v -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
1796.68/1797.02 v -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 x329 x328 -x327 -x326
1796.68/1797.02 v -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305
1796.68/1797.02 v -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284
1796.68/1797.02 v -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1796.68/1797.02 v -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1796.68/1797.02 v x240 x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220
1796.68/1797.02 v -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 -x205 x204 -x203 -x202 x201 -x200 -x199
1796.68/1797.02 v -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1796.68/1797.02 v -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1796.68/1797.02 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135
1796.68/1797.02 v -x134 x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x114
1796.68/1797.02 v -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91
1796.68/1797.02 v x90 -x89 -x88 x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 x71 -x70 -x69 -x68 -x67 -x66 -x65
1796.68/1797.02 v -x64 -x63 -x62 x61 -x60 -x59 -x58 x57 -x56 -x55 x54 x53 -x52 -x51 -x50 -x49 -x48 x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39
1796.68/1797.02 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 x31 x30 -x29 x28 x27 x26 x25 x24 x23 -x22 x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12
1796.68/1797.02 v x11 -x10 x9 x8 -x7 x6 x5 x4 -x3 x2 x1
1796.68/1797.02 c SCIP Status : solving was interrupted [time limit reached]
1796.68/1797.02 c Total Time : 1797.00
1796.68/1797.02 c solving : 1797.00
1796.68/1797.02 c presolving : 0.30 (included in solving)
1796.68/1797.02 c reading : 0.08 (included in solving)
1796.68/1797.02 c copying : 0.29 (11 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.02 c Original Problem :
1796.68/1797.02 c Problem name : HOME/instance-3692629-1338036876.opb
1796.68/1797.02 c Variables : 16772 (1000 binary, 0 integer, 15772 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 17772 initial, 17772 maximal
1796.68/1797.02 c Objective sense : minimize
1796.68/1797.02 c Presolved Problem :
1796.68/1797.02 c Problem name : t_HOME/instance-3692629-1338036876.opb
1796.68/1797.02 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.02 c Constraints : 15772 initial, 15772 maximal
1796.68/1797.02 c Presolvers : ExecTime SetupTime FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1796.68/1797.02 c domcol : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c trivial : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c dualfix : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c implics : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c components : 0.00 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c pseudoobj : 0.00 0.01 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c probing : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c setppc : 0.02 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c and : 0.15 0.00 0 0 0 0 0 0 0 0 0
1796.68/1797.02 c linear : 0.04 0.00 15772 0 0 15772 0 1000 0 0 0
1796.68/1797.02 c pseudoboolean : 0.01 0.01 0 0 0 0 0 1000 0 0 0
1796.68/1797.02 c root node : - - 0 - - 0 - - - - -
1796.68/1797.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c integral : 0 0 0 0 35394 0 83364 0 0 0 0 0 60994
1796.68/1797.02 c setppc : 15772 15772 207 122197 4897 1 83359 0 0 547926 2993145 0 0
1796.68/1797.02 c countsols : 0 0 0 0 0 1 511 0 0 0 0 0 0
1796.68/1797.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS Check ResProp
1796.68/1797.02 c integral : 282.24 0.00 0.00 0.00 282.19 0.00 0.06 0.00
1796.68/1797.02 c setppc : 22.74 0.00 0.74 10.16 3.50 0.00 8.34 0.00
1796.68/1797.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1796.68/1797.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
1796.68/1797.02 c rootredcost : 1 0 0 0
1796.68/1797.02 c pseudoobj : 152645 0 0 0
1796.68/1797.02 c vbounds : 0 0 0 0
1796.68/1797.02 c redcost : 35600 0 0 0
1796.68/1797.02 c probing : 0 0 0 0
1796.68/1797.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp
1796.68/1797.02 c rootredcost : 0.04 0.00 0.00 0.04 0.00
1796.68/1797.02 c pseudoobj : 0.30 0.01 0.00 0.29 0.00
1796.68/1797.02 c vbounds : 0.03 0.00 0.00 0.03 0.00
1796.68/1797.02 c redcost : 0.71 0.00 0.00 0.71 0.00
1796.68/1797.02 c probing : 0.02 0.00 0.02 0.00 0.00
1796.68/1797.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.68/1797.02 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.68/1797.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.68/1797.02 c applied globally : - - - 0 0.0 - - -
1796.68/1797.02 c applied locally : - - - 0 0.0 - - -
1796.68/1797.02 c Separators : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss
1796.68/1797.02 c cut pool : 0.21 206 - - 4619 - (maximal pool size: 11547)
1796.68/1797.02 c closecuts : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c impliedbounds : 0.18 0.00 207 0 0 25684 0
1796.68/1797.02 c intobj : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c gomory : 0.10 0.00 10 0 0 500 0
1796.68/1797.02 c cgmip : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c strongcg : 1.39 0.00 20 0 0 10000 0
1796.68/1797.02 c cmir : 0.40 0.00 10 0 0 0 0
1796.68/1797.02 c flowcover : 0.30 0.00 10 0 0 0 0
1796.68/1797.02 c clique : 5.05 0.00 205 0 0 1664 0
1796.68/1797.02 c zerohalf : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c mcf : 0.01 0.00 1 0 0 0 0
1796.68/1797.02 c oddcycle : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c rapidlearning : 0.00 0.00 0 0 0 0 0
1796.68/1797.02 c Pricers : ExecTime SetupTime Calls Vars
1796.68/1797.02 c problem variables: 0.00 - 0 0
1796.68/1797.02 c Branching Rules : ExecTime SetupTime Calls Cutoffs DomReds Cuts Conss Children
1796.68/1797.02 c relpscost : 282.15 0.00 30497 0 0 0 0 60994
1796.68/1797.02 c pscost : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c inference : 0.00 0.00 1 0 0 0 0 2
1796.68/1797.02 c mostinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c leastinf : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c random : 0.00 0.00 0 0 0 0 0 0
1796.68/1797.02 c Primal Heuristics : ExecTime SetupTime Calls Found
1796.68/1797.02 c LP solutions : 0.00 - - 0
1796.68/1797.02 c pseudo solutions : 0.00 - - 0
1796.68/1797.02 c oneopt : 0.03 0.00 2 1
1796.68/1797.02 c objpscostdiving : 19.00 0.00 13 0
1796.68/1797.02 c crossover : 0.97 0.00 10 3
1796.68/1797.02 c rootsoldiving : 12.56 0.00 261 5
1796.68/1797.02 c linesearchdiving : 29.14 0.00 661 25
1796.68/1797.02 c guideddiving : 35.65 0.00 661 12
1796.68/1797.02 c fracdiving : 29.96 0.00 661 13
1796.68/1797.02 c veclendiving : 33.50 0.00 661 62
1796.68/1797.02 c coefdiving : 34.57 0.00 662 38
1796.68/1797.02 c smallcard : 0.00 0.00 0 0
1796.68/1797.02 c trivial : 0.03 0.00 2 1
1796.68/1797.02 c shiftandpropagate: 0.00 0.00 0 0
1796.68/1797.02 c simplerounding : 4.76 0.00 30703 324
1796.68/1797.02 c zirounding : 0.26 0.00 1000 0
1796.68/1797.02 c rounding : 32.15 0.00 7986 1
1796.68/1797.02 c shifting : 11.89 0.00 2273 1
1796.68/1797.02 c intshifting : 0.00 0.00 0 0
1796.68/1797.02 c twoopt : 0.00 0.00 0 0
1796.68/1797.02 c indtwoopt : 0.00 0.00 0 0
1796.68/1797.02 c indoneopt : 0.02 0.00 0 0
1796.68/1797.02 c fixandinfer : 0.00 0.00 0 0
1796.68/1797.02 c feaspump : 0.00 0.00 0 0
1796.68/1797.02 c clique : 0.00 0.00 0 0
1796.68/1797.02 c indcoefdiving : 0.00 0.00 0 0
1796.68/1797.02 c indrounding : 0.00 0.00 0 0
1796.68/1797.02 c pscostdiving : 33.93 0.00 662 22
1796.68/1797.02 c nlpdiving : 0.00 0.00 0 0
1796.68/1797.02 c intdiving : 0.00 0.00 0 0
1796.68/1797.02 c actconsdiving : 0.00 0.00 0 0
1796.68/1797.02 c octane : 0.00 0.00 0 0
1796.68/1797.02 c rens : 0.04 0.00 0 0
1796.68/1797.02 c rins : 0.00 0.00 0 0
1796.68/1797.02 c localbranching : 0.00 0.00 0 0
1796.68/1797.02 c mutation : 0.00 0.00 0 0
1796.68/1797.02 c dins : 0.00 0.00 0 0
1796.68/1797.02 c vbounds : 0.00 0.00 0 0
1796.68/1797.02 c undercover : 0.00 0.00 0 0
1796.68/1797.02 c subnlp : 0.01 0.00 0 0
1796.68/1797.02 c trysol : 0.02 0.00 0 0
1796.68/1797.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It
1796.68/1797.02 c primal LP : 2.55 4930 0 0.00 0.00 2.54 4930
1796.68/1797.02 c dual LP : 1196.69 35875 11769092 330.58 9834.68 0.16 274
1796.68/1797.02 c lex dual LP : 0.00 0 0 0.00 -
1796.68/1797.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
1796.68/1797.02 c diving/probing LP: 205.29 45953 2229008 48.51 10858.08
1796.68/1797.02 c strong branching : 280.18 8203 2110039 257.23 7531.13
1796.68/1797.02 c (at root node) : - 37 34511 932.73 -
1796.68/1797.02 c conflict analysis: 0.00 0 0 0.00 -
1796.68/1797.02 c B&B Tree :
1796.68/1797.02 c number of runs : 1
1796.68/1797.02 c nodes : 30498
1796.68/1797.02 c nodes (total) : 30498
1796.68/1797.02 c nodes left : 30499
1796.68/1797.02 c max depth : 66
1796.68/1797.02 c max depth (total): 66
1796.68/1797.02 c backtracks : 4363 (14.3%)
1796.68/1797.02 c delayed cutoffs : 0
1796.68/1797.02 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.68/1797.02 c avg switch length: 4.62
1796.68/1797.02 c switching time : 8.26
1796.68/1797.02 c Solution :
1796.68/1797.02 c Solutions found : 508 (4 improvements)
1796.68/1797.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.15 seconds, depth 0, found by <trivial>)
1796.68/1797.02 c Primal Bound : -1.02000000000000e+02 (in run 1, after 1 nodes, 0.92 seconds, depth 0, found by <oneopt>)
1796.68/1797.02 c Dual Bound : -3.18024608249543e+02
1796.68/1797.02 c Gap : 211.79 %
1796.68/1797.02 c Root Dual Bound : -3.22999999999998e+02
1796.68/1797.02 c Root Iterations : 277652
1796.88/1797.21 c Time complete: 1796.88.
OK -102
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3692629-1338036876/watcher-3692629-1338036876 -o /tmp/evaluation-result-3692629-1338036876/solver-3692629-1338036876 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692629-1338036876.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/176 11604 /proc/meminfo: memFree=28875748/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=13116 CPUtime=0 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 2011 0 0 0 0 0 0 0 20 0 1 0 269813044 13430784 1965 33554432000 4194304 10219143 140736039136016 140734370557448 7157213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11604/statm: 3332 1976 413 1471 0 1852 0 [startup+0.048867 s] /proc/loadavg: 2.00 2.00 2.00 2/176 11604 /proc/meminfo: memFree=28875748/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=29364 CPUtime=0.04 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 6099 0 0 0 4 0 0 0 20 0 1 0 269813044 30068736 6053 33554432000 4194304 10219143 140736039136016 140734370557448 5345827 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 /proc/11604/statm: 7341 6053 442 1471 0 5861 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 29364 [startup+0.100289 s] /proc/loadavg: 2.00 2.00 2.00 2/176 11604 /proc/meminfo: memFree=28875748/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=53140 CPUtime=0.09 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 12031 0 0 0 8 1 0 0 20 0 1 0 269813044 54415360 11985 33554432000 4194304 10219143 140736039136016 140734370557448 7593504 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11604/statm: 13285 11985 493 1471 0 11805 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 53140 [startup+0.300227 s] /proc/loadavg: 2.00 2.00 2.00 2/176 11604 /proc/meminfo: memFree=28875748/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=74616 CPUtime=0.29 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 17232 0 0 0 25 4 0 0 20 0 1 0 269813044 76406784 16833 33554432000 4194304 10219143 140736039136016 140736039133256 9008087 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11604/statm: 18654 16833 561 1471 0 17174 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 74616 [startup+0.700177 s] /proc/loadavg: 2.00 2.00 2.00 2/176 11604 /proc/meminfo: memFree=28875748/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=105952 CPUtime=0.69 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 26497 0 0 0 62 7 0 0 20 0 1 0 269813044 108494848 24006 33554432000 4194304 10219143 140736039136016 140736039132584 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 26488 24006 769 1471 0 25008 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 105952 [startup+1.50028 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28779484/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=108012 CPUtime=1.48 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 27536 0 0 0 140 8 0 0 20 0 1 0 269813044 110604288 24873 33554432000 4194304 10219143 140736039136016 140736039129000 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 27003 24873 798 1471 0 25523 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 108012 [startup+3.10027 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28774532/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=113896 CPUtime=3.08 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 29629 0 0 0 299 9 0 0 20 0 1 0 269813044 116629504 26902 33554432000 4194304 10219143 140736039136016 140736039131176 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 28474 26902 798 1471 0 26994 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 113896 [startup+6.30026 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28747132/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=135232 CPUtime=6.29 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 34843 0 0 0 618 11 0 0 20 0 1 0 269813044 138477568 32115 33554432000 4194304 10219143 140736039136016 140736039129656 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 33808 32115 798 1471 0 32328 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 135232 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28728796/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=141840 CPUtime=12.69 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 36673 0 0 0 1255 14 0 0 20 0 1 0 269813044 145244160 33906 33554432000 4194304 10219143 140736039136016 140736039129320 5812738 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 35460 33906 798 1471 0 33980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 141840 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28713760/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=142964 CPUtime=25.49 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 36677 0 0 0 2529 20 0 0 20 0 1 0 269813044 146395136 33910 33554432000 4194304 10219143 140736039136016 140736039129272 5823500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 35741 33910 798 1471 0 34261 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 142964 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11605 /proc/meminfo: memFree=28690664/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=143916 CPUtime=51.08 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 36914 0 0 0 5078 30 0 0 20 0 1 0 269813044 147369984 34147 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 35979 34147 798 1471 0 34499 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 143916 [startup+102.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 11605 /proc/meminfo: memFree=28660612/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=144388 CPUtime=102.26 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 40667 0 0 0 10175 51 0 0 20 0 1 0 269813044 147853312 34471 33554432000 4194304 10219143 140736039136016 140736039129560 8099557 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 36097 34471 825 1471 0 34617 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 144388 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11605 /proc/meminfo: memFree=28622796/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=144388 CPUtime=162.24 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 40671 0 0 0 16123 101 0 0 20 0 1 0 269813044 147853312 34672 33554432000 4194304 10219143 140736039136016 140736039129224 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 36097 34672 828 1471 0 34617 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 144388 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/176 11605 /proc/meminfo: memFree=28590016/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=144388 CPUtime=222.25 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 40673 0 0 0 22065 160 0 0 20 0 1 0 269813044 147853312 34674 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 36097 34674 830 1471 0 34617 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 144388 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11606 /proc/meminfo: memFree=28561180/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=144724 CPUtime=282.22 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 47883 0 0 0 28006 216 0 0 20 0 1 0 269813044 148197376 34698 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 36181 34698 840 1471 0 34701 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 144724 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11609 /proc/meminfo: memFree=28528972/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=146896 CPUtime=342.22 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 55709 0 0 0 33952 270 0 0 20 0 1 0 269813044 150421504 35241 33554432000 4194304 10219143 140736039136016 140736039129464 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 36724 35241 840 1471 0 35244 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 146896 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11632 /proc/meminfo: memFree=28500948/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=150476 CPUtime=402.21 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 71115 0 0 0 39893 328 0 0 20 0 1 0 269813044 154087424 36026 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 37619 36026 840 1471 0 36139 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 150476 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11632 /proc/meminfo: memFree=28475544/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=153444 CPUtime=462.2 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 71743 0 0 0 45840 380 0 0 20 0 1 0 269813044 157126656 36654 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 38361 36654 840 1471 0 36881 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 153444 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11632 /proc/meminfo: memFree=28453332/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=155928 CPUtime=522.19 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 72291 0 0 0 51785 434 0 0 20 0 1 0 269813044 159670272 37202 33554432000 4194304 10219143 140736039136016 140736039129656 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 38982 37202 840 1471 0 37502 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 155928 [startup+582.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11633 /proc/meminfo: memFree=28429844/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=159572 CPUtime=582.18 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 73114 0 0 0 57726 492 0 0 20 0 1 0 269813044 163401728 38025 33554432000 4194304 10219143 140736039136016 140736039129560 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 39893 38025 840 1471 0 38413 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 159572 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28307636/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=196276 CPUtime=1062.09 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 110361 0 0 0 105225 984 0 0 20 0 1 0 269813044 200986624 47531 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 49069 47531 840 1471 0 47589 0 Current children cumulated CPU time (s) 1062.09 Current children cumulated vsize (KiB) 196276 [startup+1122.3 s] /proc/loadavg: 2.08 2.02 2.00 3/177 11637 /proc/meminfo: memFree=28296476/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=204332 CPUtime=1122.09 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 119351 0 0 0 111163 1046 0 0 20 0 1 0 269813044 209235968 49261 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 51083 49261 840 1471 0 49603 0 Current children cumulated CPU time (s) 1122.09 Current children cumulated vsize (KiB) 204332 [startup+1182.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 11638 /proc/meminfo: memFree=28288296/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=211452 CPUtime=1182.08 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 121247 0 0 0 117102 1106 0 0 20 0 1 0 269813044 216526848 51157 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 52863 51157 840 1471 0 51383 0 Current children cumulated CPU time (s) 1182.08 Current children cumulated vsize (KiB) 211452 [startup+1242.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 11638 /proc/meminfo: memFree=28282196/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=216408 CPUtime=1242.07 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 122558 0 0 0 123036 1171 0 0 20 0 1 0 269813044 221601792 52452 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 54102 52452 840 1471 0 52622 0 Current children cumulated CPU time (s) 1242.07 Current children cumulated vsize (KiB) 216408 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11638 /proc/meminfo: memFree=28273916/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=224680 CPUtime=1302.06 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 124523 0 0 0 128971 1235 0 0 20 0 1 0 269813044 230072320 54417 33554432000 4194304 10219143 140736039136016 140736039129320 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 56170 54417 840 1471 0 54690 0 Current children cumulated CPU time (s) 1302.06 Current children cumulated vsize (KiB) 224680 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11638 /proc/meminfo: memFree=28266688/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=230400 CPUtime=1362.04 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 133125 0 0 0 134905 1299 0 0 20 0 1 0 269813044 235929600 55974 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 57600 55974 841 1471 0 56120 0 Current children cumulated CPU time (s) 1362.04 Current children cumulated vsize (KiB) 230400 [startup+1422.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 11638 /proc/meminfo: memFree=28260120/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=237740 CPUtime=1422.04 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 134918 0 0 0 140839 1365 0 0 20 0 1 0 269813044 243445760 57767 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 59435 57767 841 1471 0 57955 0 Current children cumulated CPU time (s) 1422.04 Current children cumulated vsize (KiB) 237740 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11639 /proc/meminfo: memFree=28253804/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=244132 CPUtime=1482.02 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 136422 0 0 0 146772 1430 0 0 20 0 1 0 269813044 249991168 59270 33554432000 4194304 10219143 140736039136016 140736039129320 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 61033 59270 841 1471 0 59553 0 Current children cumulated CPU time (s) 1482.02 Current children cumulated vsize (KiB) 244132 [startup+1542.31 s] /proc/loadavg: 2.01 2.00 2.00 3/178 11642 /proc/meminfo: memFree=28248600/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=248624 CPUtime=1542.02 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 137666 0 0 0 152702 1500 0 0 20 0 1 0 269813044 254590976 60479 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 62156 60479 841 1471 0 60676 0 Current children cumulated CPU time (s) 1542.02 Current children cumulated vsize (KiB) 248624 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 11642 /proc/meminfo: memFree=28243404/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=253576 CPUtime=1602.01 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 138908 0 0 0 158638 1563 0 0 20 0 1 0 269813044 259661824 61698 33554432000 4194304 10219143 140736039136016 140736039129272 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 63394 61698 841 1471 0 61914 0 Current children cumulated CPU time (s) 1602.01 Current children cumulated vsize (KiB) 253576 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11642 /proc/meminfo: memFree=28236584/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=260288 CPUtime=1662 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 140613 0 0 0 164570 1630 0 0 20 0 1 0 269813044 266534912 63401 33554432000 4194304 10219143 140736039136016 140736039129272 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 65072 63401 841 1471 0 63592 0 Current children cumulated CPU time (s) 1662 Current children cumulated vsize (KiB) 260288 [startup+1722.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 11642 /proc/meminfo: memFree=28227908/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=268708 CPUtime=1721.99 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 142695 0 0 0 170502 1697 0 0 20 0 1 0 269813044 275156992 65483 33554432000 4194304 10219143 140736039136016 140736039129144 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 67177 65483 841 1471 0 65697 0 Current children cumulated CPU time (s) 1721.99 Current children cumulated vsize (KiB) 268708 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11643 /proc/meminfo: memFree=28217820/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277504 CPUtime=1781.98 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144757 0 0 0 176434 1764 0 0 20 0 1 0 269813044 284164096 67713 33554432000 4194304 10219143 140736039136016 140736039129320 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69376 67713 841 1471 0 67896 0 Current children cumulated CPU time (s) 1781.98 Current children cumulated vsize (KiB) 277504 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11681 /proc/meminfo: memFree=28533716/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277504 CPUtime=1785.28 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144758 0 0 0 176760 1768 0 0 20 0 1 0 269813044 284164096 67714 33554432000 4194304 10219143 140736039136016 140736039129656 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69376 67714 841 1471 0 67896 0 Current children cumulated CPU time (s) 1785.28 Current children cumulated vsize (KiB) 277504 [startup+1792.01 s] /proc/loadavg: 2.08 2.02 2.01 3/177 11681 /proc/meminfo: memFree=28425204/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277656 CPUtime=1791.68 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144784 0 0 0 177393 1775 0 0 20 0 1 0 269813044 284319744 67740 33554432000 4194304 10219143 140736039136016 140736039129192 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69414 67740 841 1471 0 67934 0 Current children cumulated CPU time (s) 1791.68 Current children cumulated vsize (KiB) 277656 [startup+1795.2 s] /proc/loadavg: 2.07 2.02 2.00 3/177 11681 /proc/meminfo: memFree=28414792/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277656 CPUtime=1794.89 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144786 0 0 0 177711 1778 0 0 20 0 1 0 269813044 284319744 67742 33554432000 4194304 10219143 140736039136016 140736039132728 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69414 67742 841 1471 0 67934 0 Current children cumulated CPU time (s) 1794.89 Current children cumulated vsize (KiB) 277656 [startup+1796 s] /proc/loadavg: 2.07 2.02 2.00 3/177 11681 /proc/meminfo: memFree=28414792/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277656 CPUtime=1795.67 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144787 0 0 0 177789 1778 0 0 20 0 1 0 269813044 284319744 67743 33554432000 4194304 10219143 140736039136016 140736039129368 9026266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69414 67743 841 1471 0 67934 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (KiB) 277656 [startup+1796.8 s] /proc/loadavg: 2.07 2.02 2.00 3/177 11681 /proc/meminfo: memFree=28404960/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=277656 CPUtime=1796.47 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144787 0 0 0 177868 1779 0 0 20 0 1 0 269813044 284319744 67743 33554432000 4194304 10219143 140736039136016 140736039129272 4993469 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 69414 67743 841 1471 0 67934 0 Current children cumulated CPU time (s) 1796.47 Current children cumulated vsize (KiB) 277656 [startup+1797.2 s] /proc/loadavg: 2.07 2.02 2.00 3/177 11681 /proc/meminfo: memFree=28404960/32873648 swapFree=7104/7104 [pid=11604] ppid=11602 vsize=256312 CPUtime=1796.88 cores=0,2,4,6 /proc/11604/stat : 11604 (scip-2.1.1.4exp) R 11602 11604 9598 0 -1 4202496 144792 0 0 0 177908 1780 0 0 20 0 1 0 269813044 262463488 62939 33554432000 4194304 10219143 140736039136016 140736039129272 5957860 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 /proc/11604/statm: 64078 62939 846 1471 0 62598 0 Current children cumulated CPU time (s) 1796.88 Current children cumulated vsize (KiB) 256312 Child status: 0 Real time (s): 1797.21 CPU time (s): 1796.9 CPU user time (s): 1779.09 CPU system time (s): 17.8103 CPU usage (%): 99.9825 Max. virtual memory (cumulated for all children) (KiB): 277656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.09 system time used= 17.8103 maximum resident set size= 270992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 144794 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= 55 involuntary context switches= 2180 runsolver used 2.6276 second user time and 7.2099 second system time The end
Begin job on node127 at 2012-05-26 14:54:36 IDJOB=3692629 IDBENCH=48209 IDSOLVER=2271 FILE ID=node127/3692629-1338036876 RUNJOBID= node127-1338029665-10821 PBS_JOBID= 14624344 Free space on /tmp= 71484 MiB SOLVER NAME= SCIP spx E SCIP 2.1.1.4. Exp with SoPlex 1.6.0.3 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb COMMAND LINE= HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3692629-1338036876/watcher-3692629-1338036876 -o /tmp/evaluation-result-3692629-1338036876/solver-3692629-1338036876 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692629-1338036876.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe RANDOM SEED=1168728566 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.348 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28864480 kB Buffers: 275036 kB Cached: 2882796 kB SwapCached: 0 kB Active: 714524 kB Inactive: 2514884 kB Active(anon): 73984 kB Inactive(anon): 0 kB Active(file): 640540 kB Inactive(file): 2514884 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 28112 kB Writeback: 0 kB AnonPages: 77976 kB Mapped: 17772 kB Shmem: 200 kB Slab: 642488 kB SReclaimable: 86772 kB SUnreclaim: 555716 kB KernelStack: 1448 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 188784 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71468 MiB End job on node127 at 2012-05-26 15:24:33