Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 480 | 1800.17 | 1800.68 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-seymour.opb |
| MD5SUM | 97ebaccbda37d5c570b4e2ec3cd7f8f0 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 425 |
| Best CPU time to get the best result obtained on this benchmark | 1789.68 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 425 |
| Optimality of the best value was proved | NO |
| Number of variables | 1372 |
| Total number of constraints | 4944 |
| Number of constraints which are clauses | 4944 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 1372 |
| 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 | 1372 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1372 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665675-1276359205.opb>
0.09/0.13 c original problem has 1372 variables (1372 bin, 0 int, 0 impl, 0 cont) and 4944 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.16 o 1372
0.09/0.16 c feasible solution found by trivial heuristic, objective value 1.372000e+03
0.09/0.16 c presolving:
0.09/0.19 c (round 1) 156 del vars, 156 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.20 c (round 2) 190 del vars, 270 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.21 c (round 3) 193 del vars, 273 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.21 c (round 4) 194 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 570 impls, 0 clqs
0.19/0.28 c (round 5) 196 del vars, 277 del conss, 117 chg bounds, 0 chg sides, 0 chg coeffs, 4667 upgd conss, 570 impls, 0 clqs
0.29/0.32 c (0.1s) probing: 101/1176 (8.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.32 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.29/0.32 c presolving (6 rounds):
0.29/0.32 c 196 deleted vars, 277 deleted constraints, 117 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.32 c 570 implications, 0 cliques
0.29/0.32 c presolved problem has 1176 variables (1176 bin, 0 int, 0 impl, 0 cont) and 4667 constraints
0.29/0.32 c 4667 constraints of type <logicor>
0.29/0.32 c transformed objective value is always integral (scale: 1)
0.29/0.32 c Presolving Time: 0.13
0.29/0.32 c - non default parameters ----------------------------------------------------------------------
0.29/0.32 c # SCIP version 1.2.1.2
0.29/0.32 c
0.29/0.32 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.32 c conflict/interconss = 0
0.29/0.32 c
0.29/0.32 c # should binary conflicts be preferred?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c conflict/preferbinary = TRUE
0.29/0.32 c
0.29/0.32 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.32 c constraints/agelimit = 1
0.29/0.32 c
0.29/0.32 c # should enforcement of pseudo solution be disabled?
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/disableenfops = TRUE
0.29/0.32 c
0.29/0.32 c # frequency for displaying node information lines
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.32 c display/freq = 10000
0.29/0.32 c
0.29/0.32 c # maximal time in seconds to run
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/time = 1799.88
0.29/0.32 c
0.29/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.32 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.32 c limits/memory = 1620
0.29/0.32 c
0.29/0.32 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.32 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.32 c lp/solvefreq = 0
0.29/0.32 c
0.29/0.32 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.29/0.32 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.32 c lp/pricing = a
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify inequalities
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/linear/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # should presolving try to simplify knapsacks
0.29/0.32 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.32 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.32 c
0.29/0.32 c # priority of node selection rule <dfs> in standard mode
0.29/0.32 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.32 c nodeselection/dfs/stdpriority = 1000000
0.29/0.32 c
0.29/0.32 c -----------------------------------------------------------------------------------------------
0.29/0.32 c start solving
0.29/0.32 c
0.29/0.32 o 1331
0.29/0.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.32 c t 0.2s| 1 | 0 | 0 | - |6298k| 0 | - |1176 |4667 | 0 | 0 | 0 | 0 | 0 | -- | 1.331000e+03 | Inf
0.29/0.36 o 480
0.29/0.36 c b 0.2s| 1 | 0 | 0 | - |9556k| 0 | - |1176 |4667 |1176 |4667 | 0 | 0 | 0 | -- | 4.800000e+02 | Inf
3.49/3.56 c 3.3s| 1 | 0 | 3699 | - |9539k| 0 | 527 |1176 |4667 |1176 |4667 | 0 | 0 | 0 | 4.038465e+02 | 4.800000e+02 | 18.86%
6.79/6.80 c 6.5s| 1 | 0 | 4590 | - | 17M| 0 | 520 |1176 |4667 |1176 |4677 | 10 | 0 | 0 | 4.056345e+02 | 4.800000e+02 | 18.33%
10.18/10.22 c 9.9s| 1 | 0 | 5621 | - | 24M| 0 | 510 |1176 |4667 |1176 |4685 | 18 | 0 | 0 | 4.070213e+02 | 4.800000e+02 | 17.93%
13.19/13.23 c 12.9s| 1 | 0 | 6080 | - | 32M| 0 | 503 |1176 |4667 |1176 |4689 | 22 | 0 | 0 | 4.072088e+02 | 4.800000e+02 | 17.88%
16.29/16.39 c 16.1s| 1 | 0 | 6433 | - | 40M| 0 | 506 |1176 |4667 |1176 |4693 | 26 | 0 | 0 | 4.079639e+02 | 4.800000e+02 | 17.66%
19.29/19.31 c 19.0s| 1 | 0 | 6724 | - | 47M| 0 | 500 |1176 |4667 |1176 |4696 | 29 | 0 | 0 | 4.079989e+02 | 4.800000e+02 | 17.65%
22.28/22.35 c 22.0s| 1 | 0 | 6905 | - | 54M| 0 | 480 |1176 |4667 |1176 |4697 | 30 | 0 | 0 | 4.080192e+02 | 4.800000e+02 | 17.64%
25.49/25.54 c 25.2s| 1 | 0 | 7158 | - | 62M| 0 | 483 |1176 |4667 |1176 |4699 | 32 | 0 | 0 | 4.080543e+02 | 4.800000e+02 | 17.63%
29.69/29.79 c 29.4s| 1 | 0 | 7406 | - | 70M| 0 | 482 |1176 |4667 |1176 |4700 | 33 | 0 | 0 | 4.080592e+02 | 4.800000e+02 | 17.63%
34.68/34.77 c 34.3s| 1 | 0 | 7554 | - | 72M| 0 | 492 |1176 |4667 |1176 |4701 | 34 | 0 | 0 | 4.080629e+02 | 4.800000e+02 | 17.63%
36.08/36.20 c 35.8s| 1 | 0 | 7983 | - | 72M| 0 | 492 |1176 |4667 |1176 |4702 | 35 | 0 | 0 | 4.081350e+02 | 4.800000e+02 | 17.61%
40.28/40.36 c 39.9s| 1 | 0 | 8356 | - | 80M| 0 | 502 |1176 |4667 |1176 |4702 | 36 | 0 | 0 | 4.081626e+02 | 4.800000e+02 | 17.60%
43.48/43.56 c 43.1s| 1 | 0 | 8447 | - | 89M| 0 | 492 |1176 |4667 |1176 |4703 | 37 | 0 | 0 | 4.081668e+02 | 4.800000e+02 | 17.60%
46.88/46.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.88/46.95 c 46.4s| 1 | 0 | 8618 | - | 97M| 0 | 490 |1176 |4667 |1176 |4704 | 38 | 0 | 0 | 4.081731e+02 | 4.800000e+02 | 17.60%
51.87/51.91 c 51.4s| 1 | 0 | 8863 | - | 100M| 0 | 490 |1176 |4667 |1176 |4705 | 39 | 0 | 0 | 4.081795e+02 | 4.800000e+02 | 17.60%
53.48/53.50 c 53.0s| 1 | 0 | 9532 | - | 100M| 0 | 486 |1176 |4667 |1176 |4706 | 40 | 0 | 0 | 4.083251e+02 | 4.800000e+02 | 17.55%
56.58/56.63 c 56.1s| 1 | 0 | 9761 | - | 109M| 0 | 482 |1176 |4667 |1176 |4708 | 42 | 0 | 0 | 4.083684e+02 | 4.800000e+02 | 17.54%
59.97/60.02 c 59.4s| 1 | 0 | 9994 | - | 117M| 0 | 484 |1176 |4667 |1176 |4702 | 43 | 0 | 0 | 4.083836e+02 | 4.800000e+02 | 17.54%
63.37/63.44 c 62.9s| 1 | 0 | 10242 | - | 125M| 0 | 499 |1176 |4667 |1176 |4703 | 44 | 0 | 0 | 4.083898e+02 | 4.800000e+02 | 17.53%
67.97/68.06 c 67.5s| 1 | 0 | 10504 | - | 133M| 0 | 506 |1176 |4667 |1176 |4704 | 45 | 0 | 0 | 4.083986e+02 | 4.800000e+02 | 17.53%
72.77/72.89 c 72.3s| 1 | 0 | 10641 | - | 134M| 0 | 496 |1176 |4667 |1176 |4705 | 46 | 0 | 0 | 4.084007e+02 | 4.800000e+02 | 17.53%
136.26/136.30 c 135s| 1 | 2 | 10641 | - | 134M| 0 | 496 |1176 |4667 |1176 |4705 | 46 | 0 | 51 | 4.084007e+02 | 4.800000e+02 | 17.53%
140.55/140.61 c 139s| 10000 | 655 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 |2409 | 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
145.15/145.29 c 143s| 20000 | 641 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 |5070 | 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
149.46/149.57 c 147s| 30000 | 637 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 |7343 | 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
153.65/153.75 c 152s| 40000 | 635 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 |9524 | 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
157.75/157.84 c 155s| 50000 | 635 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 11k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
162.14/162.28 c 160s| 60000 | 636 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 14k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
166.54/166.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
166.54/166.64 c 164s| 70000 | 638 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 16k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
170.84/170.98 c 168s| 80000 | 634 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 18k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
174.95/175.07 c 172s| 90000 | 636 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 20k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
179.25/179.36 c 176s|100000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 22k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
183.54/183.63 c 180s|110000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 25k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
187.84/187.97 c 184s|120000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 27k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
192.34/192.44 c 189s|130000 | 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 29k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
197.03/197.16 c 193s|140000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 32k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
201.53/201.62 c 198s|150000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 34k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
205.93/206.01 c 202s|160000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 36k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
210.53/210.61 c 206s|170000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 39k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
214.83/214.91 c 210s|180000 | 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 41k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
219.03/219.17 c 215s|190000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 43k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
223.13/223.26 c 219s|200000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 45k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
227.33/227.44 c 223s|210000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 47k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
231.62/231.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
231.62/231.72 c 227s|220000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 50k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
235.82/235.96 c 231s|230000 | 633 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 52k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
240.43/240.58 c 235s|240000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 54k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
244.22/244.39 c 239s|250000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 56k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
248.33/248.46 c 243s|260000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 58k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
252.42/252.52 c 247s|270000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 60k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
257.02/257.14 c 251s|280000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 62k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
261.32/261.48 c 255s|290000 | 636 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 65k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
265.72/265.83 c 260s|300000 | 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 67k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
269.91/270.06 c 264s|310000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 69k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
274.21/274.34 c 268s|320000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 71k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
278.71/278.89 c 272s|330000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 74k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
283.01/283.19 c 276s|340000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 76k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
287.61/287.74 c 281s|350000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 79k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
292.10/292.28 c 285s|360000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 81k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
296.41/296.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.41/296.55 c 289s|370000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 83k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
300.70/300.86 c 293s|380000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 85k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
305.20/305.35 c 298s|390000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 88k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
310.11/310.23 c 302s|400000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 91k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
314.30/314.45 c 306s|410000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 93k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
318.70/318.82 c 311s|420000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 95k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
322.89/323.04 c 315s|430000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 97k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
327.20/327.31 c 319s|440000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 100k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
331.70/331.83 c 323s|450000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 102k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
336.10/336.23 c 327s|460000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 104k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
340.49/340.62 c 332s|470000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 107k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
344.99/345.10 c 336s|480000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 109k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
348.99/349.19 c 340s|490000 | 635 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 111k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
353.39/353.51 c 344s|500000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 114k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
357.30/357.43 c 348s|510000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 116k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
361.19/361.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
361.19/361.31 c 352s|520000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 118k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
365.18/365.32 c 355s|530000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 120k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
369.78/369.97 c 360s|540000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 122k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
374.49/374.62 c 364s|550000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 125k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
378.68/378.89 c 368s|560000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 127k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
382.78/382.93 c 372s|570000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 129k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
386.88/387.09 c 376s|580000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 132k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
390.98/391.14 c 380s|590000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 134k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
394.98/395.14 c 384s|600000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 136k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
398.57/398.70 c 387s|610000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 137k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
402.39/402.50 c 391s|620000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 139k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
406.38/406.51 c 395s|630000 | 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 141k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
410.27/410.45 c 399s|640000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 143k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
414.18/414.37 c 403s|650000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 145k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
418.17/418.32 c 406s|660000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 147k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
422.18/422.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
422.18/422.32 c 410s|670000 | 634 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 149k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
426.47/426.63 c 414s|680000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 152k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
430.67/430.88 c 418s|690000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 154k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
434.67/434.82 c 422s|700000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 156k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
438.36/438.56 c 426s|710000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 158k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
442.17/442.30 c 429s|720000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 159k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
446.37/446.58 c 433s|730000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 162k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
450.66/450.89 c 438s|740000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 164k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
454.76/454.91 c 441s|750000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 166k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
458.77/458.95 c 445s|760000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 168k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
462.76/463.00 c 449s|770000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 170k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
467.05/467.23 c 453s|780000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 172k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
471.16/471.36 c 457s|790000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 175k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
475.56/475.74 c 462s|800000 | 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 177k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
480.25/480.44 c 466s|810000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 180k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
484.45/484.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
484.45/484.69 c 470s|820000 | 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 182k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
488.96/489.13 c 474s|830000 | 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 184k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
493.45/493.62 c 479s|840000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 187k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
497.85/498.02 c 483s|850000 | 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 189k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
502.15/502.32 c 487s|860000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 192k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
506.05/506.27 c 491s|870000 | 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 194k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
510.26/510.44 c 495s|880000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 196k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
514.44/514.67 c 499s|890000 | 636 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 198k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
518.44/518.67 c 503s|900000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 200k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
522.64/522.89 c 507s|910000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 202k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
526.75/526.93 c 511s|920000 | 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 204k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
530.54/530.79 c 515s|930000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 206k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
534.54/534.72 c 518s|940000 | 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 208k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
538.75/538.99 c 522s|950000 | 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 210k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
543.03/543.24 c 527s|960000 | 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 213k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
547.44/547.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
547.44/547.65 c 531s|970000 | 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 215k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
551.64/551.80 c 535s|980000 | 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 217k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
555.53/555.72 c 539s|990000 | 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 219k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
559.64/559.84 c 542s| 1000k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 221k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
564.14/564.34 c 547s| 1010k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 224k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
568.44/568.69 c 551s| 1020k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 226k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
572.53/572.76 c 555s| 1030k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 228k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
576.63/576.86 c 559s| 1040k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 230k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
580.63/580.88 c 563s| 1050k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 232k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
585.03/585.25 c 567s| 1060k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 235k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
588.72/588.98 c 571s| 1070k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 237k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
592.42/592.67 c 574s| 1080k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 238k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
596.22/596.40 c 578s| 1090k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 240k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
600.02/600.23 c 581s| 1100k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 242k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
604.32/604.53 c 586s| 1110k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 244k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
608.72/608.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.72/608.93 c 590s| 1120k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 247k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
612.42/612.70 c 593s| 1130k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 249k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
616.52/616.74 c 597s| 1140k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 251k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
620.61/620.87 c 601s| 1150k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 253k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
624.71/624.90 c 605s| 1160k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 255k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
628.81/629.02 c 609s| 1170k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 257k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
632.71/632.98 c 613s| 1180k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 259k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
636.91/637.10 c 617s| 1190k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 261k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
640.91/641.18 c 621s| 1200k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 264k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
644.90/645.11 c 625s| 1210k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 265k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
649.41/649.66 c 629s| 1220k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 268k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
653.51/653.72 c 633s| 1230k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 270k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
657.61/657.84 c 637s| 1240k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 272k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
661.80/662.05 c 641s| 1250k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 274k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
666.00/666.27 c 645s| 1260k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 277k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
670.30/670.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
670.30/670.56 c 649s| 1270k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 279k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
674.60/674.85 c 653s| 1280k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 281k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
678.80/679.02 c 657s| 1290k| 633 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 283k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
683.20/683.47 c 661s| 1300k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 286k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
688.10/688.38 c 666s| 1310k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 289k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
692.00/692.28 c 670s| 1320k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 291k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
695.89/696.12 c 674s| 1330k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 293k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
699.70/699.99 c 677s| 1340k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 295k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
703.89/704.19 c 681s| 1350k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 297k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
707.69/707.91 c 685s| 1360k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 299k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
711.58/711.84 c 689s| 1370k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 301k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
716.09/716.33 c 693s| 1380k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 303k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
720.29/720.50 c 697s| 1390k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 305k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
724.69/724.98 c 701s| 1400k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 308k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
728.99/729.24 c 706s| 1410k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 310k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
733.49/733.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
733.49/733.75 c 710s| 1420k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 313k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
737.48/737.79 c 714s| 1430k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 315k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
741.59/741.86 c 718s| 1440k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 317k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
745.78/746.02 c 722s| 1450k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 319k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
749.78/750.09 c 726s| 1460k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 322k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
753.97/754.21 c 730s| 1470k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 324k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
758.08/758.35 c 734s| 1480k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 326k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
762.28/762.56 c 738s| 1490k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 328k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
766.77/767.03 c 742s| 1500k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 330k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
771.17/771.45 c 746s| 1510k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 333k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
775.67/775.90 c 750s| 1520k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 335k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
780.17/780.43 c 755s| 1530k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 338k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
784.57/784.88 c 759s| 1540k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 340k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
789.47/789.70 c 764s| 1550k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 343k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
793.67/793.99 c 768s| 1560k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 346k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
798.27/798.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
798.27/798.53 c 772s| 1570k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 348k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
802.77/803.07 c 777s| 1580k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 351k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
806.86/807.12 c 780s| 1590k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 353k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
810.96/811.29 c 785s| 1600k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 355k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
815.36/815.66 c 789s| 1610k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 357k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
819.86/820.18 c 793s| 1620k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 360k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
824.25/824.56 c 797s| 1630k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 362k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
828.76/829.00 c 802s| 1640k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 364k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
833.15/833.41 c 806s| 1650k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 367k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
837.15/837.45 c 810s| 1660k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 369k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
841.05/841.34 c 813s| 1670k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 371k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
845.15/845.41 c 817s| 1680k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 373k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
849.55/849.81 c 822s| 1690k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 376k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
853.95/854.24 c 826s| 1700k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 378k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
858.14/858.44 c 830s| 1710k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 380k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
862.34/862.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.34/862.65 c 834s| 1720k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 382k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
867.04/867.35 c 838s| 1730k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 385k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
871.24/871.54 c 842s| 1740k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 387k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
875.75/876.02 c 847s| 1750k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 390k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
879.75/880.02 c 851s| 1760k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 392k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
883.94/884.23 c 855s| 1770k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 394k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
888.24/888.56 c 859s| 1780k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 396k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
892.84/893.16 c 863s| 1790k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 399k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
897.25/897.59 c 868s| 1800k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 401k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
901.13/901.49 c 871s| 1810k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 403k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
905.53/905.85 c 875s| 1820k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 406k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
910.03/910.38 c 880s| 1830k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 408k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
914.43/914.73 c 884s| 1840k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 410k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
919.34/919.61 c 889s| 1850k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 413k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
923.93/924.28 c 893s| 1860k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 416k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
928.53/928.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.53/928.87 c 898s| 1870k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 418k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
933.54/933.88 c 903s| 1880k| 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 421k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
938.22/938.51 c 907s| 1890k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 424k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
942.52/942.84 c 911s| 1900k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 426k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
947.02/947.33 c 916s| 1910k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 429k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
951.53/951.84 c 920s| 1920k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 431k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
956.32/956.68 c 925s| 1930k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 434k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
961.03/961.40 c 929s| 1940k| 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 437k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
965.62/965.98 c 934s| 1950k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 439k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
970.21/970.51 c 938s| 1960k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 442k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
974.61/974.94 c 942s| 1970k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 444k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
979.51/979.81 c 947s| 1980k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 447k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
983.91/984.21 c 951s| 1990k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 449k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
987.81/988.18 c 955s| 2000k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 451k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
991.91/992.25 c 959s| 2010k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 453k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
996.41/996.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.41/996.78 c 963s| 2020k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 456k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1000.61/1000.93 c 967s| 2030k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 458k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1005.12/1005.43 c 972s| 2040k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 461k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1009.80/1010.18 c 976s| 2050k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 463k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1014.60/1014.90 c 981s| 2060k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 466k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1019.10/1019.40 c 985s| 2070k| 620 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 468k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1023.20/1023.57 c 989s| 2080k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 470k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1027.60/1027.90 c 993s| 2090k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 473k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1032.30/1032.62 c 998s| 2100k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 475k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1036.60/1036.97 c 1002s| 2110k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 478k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1040.90/1041.21 c 1006s| 2120k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 480k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1045.39/1045.74 c 1010s| 2130k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 482k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1049.99/1050.34 c 1015s| 2140k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 485k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1054.60/1054.97 c 1019s| 2150k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 488k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1059.39/1059.74 c 1024s| 2160k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 490k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1063.79/1064.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1063.79/1064.14 c 1028s| 2170k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 493k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1068.29/1068.64 c 1033s| 2180k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 495k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1072.68/1073.02 c 1037s| 2190k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 498k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1077.08/1077.44 c 1041s| 2200k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 500k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1081.69/1082.02 c 1045s| 2210k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 503k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1085.98/1086.34 c 1050s| 2220k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 505k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1090.68/1091.01 c 1054s| 2230k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 508k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1095.19/1095.54 c 1058s| 2240k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 510k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1099.78/1100.17 c 1063s| 2250k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 513k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1104.09/1104.40 c 1067s| 2260k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 515k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1108.07/1108.44 c 1071s| 2270k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 517k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1112.47/1112.89 c 1075s| 2280k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 520k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1117.08/1117.44 c 1080s| 2290k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 522k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1121.17/1121.53 c 1083s| 2300k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 524k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1125.37/1125.73 c 1087s| 2310k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 526k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1129.28/1129.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1129.28/1129.70 c 1091s| 2320k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 528k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1133.37/1133.70 c 1095s| 2330k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 531k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1137.57/1137.96 c 1099s| 2340k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 533k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1142.48/1142.89 c 1104s| 2350k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 536k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1146.88/1147.22 c 1108s| 2360k| 639 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 538k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1150.87/1151.20 c 1112s| 2370k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 540k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1155.46/1155.87 c 1116s| 2380k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 543k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1159.96/1160.32 c 1121s| 2390k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 545k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1164.76/1165.10 c 1125s| 2400k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 548k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1169.16/1169.52 c 1130s| 2410k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 550k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1173.66/1174.03 c 1134s| 2420k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 553k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1178.06/1178.44 c 1138s| 2430k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 555k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1182.26/1182.60 c 1142s| 2440k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 557k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1186.65/1187.09 c 1147s| 2450k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 560k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1191.45/1191.84 c 1151s| 2460k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 562k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1196.15/1196.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1196.15/1196.53 c 1156s| 2470k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 565k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1200.55/1200.94 c 1160s| 2480k| 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 567k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1204.65/1205.01 c 1164s| 2490k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 569k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1208.75/1209.10 c 1168s| 2500k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 572k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1212.65/1213.07 c 1172s| 2510k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 574k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1216.45/1216.84 c 1175s| 2520k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 575k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1220.45/1220.86 c 1179s| 2530k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 577k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1224.25/1224.62 c 1183s| 2540k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 579k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1228.35/1228.73 c 1187s| 2550k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 581k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1232.34/1232.78 c 1190s| 2560k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 583k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1237.05/1237.49 c 1195s| 2570k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 586k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1241.34/1241.77 c 1199s| 2580k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 588k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1245.54/1245.99 c 1203s| 2590k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 591k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1249.73/1250.18 c 1207s| 2600k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 593k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1253.55/1253.99 c 1211s| 2610k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 595k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1257.94/1258.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.94/1258.33 c 1215s| 2620k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 597k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1262.34/1262.71 c 1219s| 2630k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 599k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1266.74/1267.18 c 1224s| 2640k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 602k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1271.24/1271.61 c 1228s| 2650k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 604k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1275.63/1276.03 c 1232s| 2660k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 607k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1279.83/1280.20 c 1236s| 2670k| 621 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 609k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1284.12/1284.55 c 1240s| 2680k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 611k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1288.43/1288.88 c 1244s| 2690k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 614k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1292.62/1293.04 c 1248s| 2700k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 616k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1296.92/1297.38 c 1253s| 2710k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 618k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1301.32/1301.77 c 1257s| 2720k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 620k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1305.33/1305.73 c 1261s| 2730k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 622k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1308.92/1309.39 c 1264s| 2740k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 624k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1313.22/1313.68 c 1268s| 2750k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 626k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1317.52/1317.98 c 1272s| 2760k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 629k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1321.91/1322.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1321.91/1322.39 c 1277s| 2770k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 631k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1326.12/1326.60 c 1281s| 2780k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 633k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1330.63/1331.08 c 1285s| 2790k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 636k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1334.92/1335.30 c 1289s| 2800k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 638k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1338.72/1339.18 c 1293s| 2810k| 632 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 640k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1343.21/1343.69 c 1297s| 2820k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 642k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1347.81/1348.24 c 1302s| 2830k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 645k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1352.40/1352.82 c 1306s| 2840k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 647k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1357.10/1357.54 c 1310s| 2850k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 650k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1360.81/1361.23 c 1314s| 2860k| 633 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 652k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1364.90/1365.35 c 1318s| 2870k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 654k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1369.11/1369.53 c 1322s| 2880k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 656k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1373.20/1373.64 c 1326s| 2890k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 658k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1376.90/1377.31 c 1329s| 2900k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 660k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1381.70/1382.16 c 1334s| 2910k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 663k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1386.29/1386.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1386.29/1386.77 c 1339s| 2920k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 665k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1390.79/1391.24 c 1343s| 2930k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 668k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1394.99/1395.44 c 1347s| 2940k| 634 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 670k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1398.70/1399.10 c 1350s| 2950k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 672k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1402.29/1402.70 c 1354s| 2960k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 673k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1406.19/1406.66 c 1358s| 2970k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 675k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1410.49/1410.92 c 1362s| 2980k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 678k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1414.79/1415.27 c 1366s| 2990k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 680k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1419.19/1419.67 c 1370s| 3000k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 682k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1423.79/1424.29 c 1375s| 3010k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 685k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1428.19/1428.68 c 1379s| 3020k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 687k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1432.68/1433.16 c 1383s| 3030k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 690k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1437.29/1437.75 c 1388s| 3040k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 692k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1441.59/1442.04 c 1392s| 3050k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 694k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1446.28/1446.70 c 1396s| 3060k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 697k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1450.58/1451.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.58/1451.04 c 1400s| 3070k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 699k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1454.68/1455.13 c 1404s| 3080k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 701k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1458.78/1459.25 c 1408s| 3090k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 703k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1463.28/1463.74 c 1413s| 3100k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 706k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1467.88/1468.33 c 1417s| 3110k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 708k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1472.08/1472.55 c 1421s| 3120k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 711k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1476.47/1476.98 c 1425s| 3130k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 713k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1480.77/1481.29 c 1430s| 3140k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 715k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1484.98/1485.43 c 1434s| 3150k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 717k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1489.26/1489.73 c 1438s| 3160k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 720k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1493.57/1494.06 c 1442s| 3170k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 722k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1497.37/1497.84 c 1446s| 3180k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 724k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1501.07/1501.56 c 1449s| 3190k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 726k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1505.07/1505.56 c 1453s| 3200k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 728k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1509.16/1509.65 c 1457s| 3210k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 730k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1512.76/1513.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1512.76/1513.29 c 1460s| 3220k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 731k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1516.56/1517.00 c 1464s| 3230k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 733k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1520.46/1520.92 c 1468s| 3240k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 735k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1524.36/1524.83 c 1471s| 3250k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 737k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1528.16/1528.67 c 1475s| 3260k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 739k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1531.87/1532.33 c 1479s| 3270k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 741k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1536.06/1536.53 c 1483s| 3280k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 743k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1539.96/1540.47 c 1486s| 3290k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 745k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1543.86/1544.35 c 1490s| 3300k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 747k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1548.05/1548.58 c 1494s| 3310k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 749k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1552.05/1552.55 c 1498s| 3320k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 751k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1555.95/1556.46 c 1502s| 3330k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 753k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1559.95/1560.43 c 1506s| 3340k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 755k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1564.05/1564.55 c 1510s| 3350k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 757k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1567.95/1568.40 c 1513s| 3360k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 759k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1571.75/1572.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1571.75/1572.25 c 1517s| 3370k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 760k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1575.64/1576.20 c 1521s| 3380k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 762k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1579.54/1580.02 c 1524s| 3390k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 764k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1583.34/1583.82 c 1528s| 3400k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 766k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1587.44/1587.94 c 1532s| 3410k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 768k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1591.34/1591.80 c 1536s| 3420k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 770k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1595.34/1595.86 c 1540s| 3430k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 772k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1599.43/1599.98 c 1544s| 3440k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 774k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1603.73/1604.22 c 1548s| 3450k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 777k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1607.44/1607.94 c 1551s| 3460k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 778k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1611.33/1611.80 c 1555s| 3470k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 780k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1615.84/1616.34 c 1559s| 3480k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 783k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1619.73/1620.20 c 1563s| 3490k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 785k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1624.23/1624.75 c 1567s| 3500k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 787k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1628.93/1629.50 c 1572s| 3510k| 621 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 790k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1633.33/1633.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1633.33/1633.83 c 1576s| 3520k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 792k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1637.83/1638.37 c 1581s| 3530k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 795k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1642.13/1642.62 c 1585s| 3540k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 797k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1645.92/1646.41 c 1588s| 3550k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 799k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1649.53/1650.06 c 1592s| 3560k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 800k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1653.33/1653.84 c 1595s| 3570k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 802k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1657.53/1658.06 c 1599s| 3580k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 804k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1661.02/1661.52 c 1603s| 3590k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 806k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1664.52/1665.00 c 1606s| 3600k| 628 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 808k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1668.42/1668.96 c 1610s| 3610k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 810k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1672.81/1673.38 c 1614s| 3620k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 812k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1677.31/1677.82 c 1618s| 3630k| 629 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 814k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1681.61/1682.12 c 1623s| 3640k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 817k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1685.82/1686.38 c 1627s| 3650k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 819k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1690.01/1690.51 c 1631s| 3660k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 821k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1694.11/1694.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.11/1694.69 c 1635s| 3670k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 823k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1698.01/1698.55 c 1638s| 3680k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 825k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1702.22/1702.72 c 1642s| 3690k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 827k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1706.11/1706.63 c 1646s| 3700k| 630 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 829k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1710.31/1710.89 c 1650s| 3710k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 832k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1714.50/1715.06 c 1654s| 3720k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 834k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1718.30/1718.89 c 1658s| 3730k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 836k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1722.41/1722.94 c 1662s| 3740k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 838k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1726.10/1726.68 c 1665s| 3750k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 840k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1730.30/1730.80 c 1669s| 3760k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 842k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1734.10/1734.65 c 1673s| 3770k| 620 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 844k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1738.29/1738.85 c 1677s| 3780k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 846k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1742.60/1743.15 c 1681s| 3790k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 848k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1747.19/1747.71 c 1686s| 3800k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 851k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1751.70/1752.24 c 1690s| 3810k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 853k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1756.10/1756.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1756.10/1756.66 c 1694s| 3820k| 622 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 855k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1759.89/1760.43 c 1698s| 3830k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 857k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1763.99/1764.54 c 1702s| 3840k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 859k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1767.69/1768.28 c 1705s| 3850k| 627 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 861k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1771.79/1772.32 c 1709s| 3860k| 631 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 863k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1775.90/1776.44 c 1713s| 3870k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 865k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1780.09/1780.65 c 1717s| 3880k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 867k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1783.69/1784.22 c 1721s| 3890k| 624 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 869k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1788.09/1788.61 c 1725s| 3900k| 623 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 872k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1792.08/1792.60 c 1729s| 3910k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 874k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1795.98/1796.53 c 1733s| 3920k| 625 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 875k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1799.78/1800.37 c 1736s| 3930k| 626 | 10641 | 0.0 | 135M| 706 | - |1176 |4667 | 0 | 0 | 46 | 877k| 51 | 4.089623e+02 | 4.800000e+02 | 17.37%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1736.51
1800.10/1800.61 c Solving Nodes : 3930511
1800.10/1800.61 c Primal Bound : +4.80000000000000e+02 (27 solutions)
1800.10/1800.61 c Dual Bound : +4.08962268638367e+02
1800.10/1800.61 c Gap : 17.37 %
1800.10/1800.62 s SATISFIABLE
1800.10/1800.62 v -x416 -x415 x414 x412 -x411 x410 x409 x408 x407 -x406 -x405 -x404 -x403 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 x392
1800.10/1800.62 v x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x379 -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x368
1800.10/1800.62 v -x367 -x366 -x365 -x364 x363 -x362 -x361 x360 x359 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 x349 -x348 -x346 -x345 -x344
1800.10/1800.62 v -x343 -x342 x341 -x340 -x339 x338 -x337 -x334 -x333 -x332 -x331 -x330 -x329 -x328 x327 -x326 -x325 -x323 -x322 -x321 -x320
1800.10/1800.62 v -x319 -x318 -x317 -x316 -x315 -x314 -x312 -x311 x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x301 -x300 -x299 -x298 -x297
1800.10/1800.62 v -x296 -x295 -x294 -x293 -x292 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x279 -x278 -x277 -x276 x275 -x274
1800.10/1800.62 v -x273 -x272 -x271 -x270 -x268 -x267 -x266 -x265 -x264 x263 -x262 -x261 -x260 x259 -x257 x256 x255 -x254 x253 -x252 x251 -x250
1800.10/1800.62 v -x249 x248 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.10/1800.62 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x201
1800.10/1800.62 v -x200 -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 x190 -x189 x188 -x187 x186 x185 x184 -x183 -x182 -x181 -x179 -x178 -x177
1800.10/1800.62 v -x176 -x175 -x174 x173 -x172 -x171 -x170 -x168 x167 -x166 x165 x164 -x163 -x162 x161 -x160 -x159 -x157 -x156 x155 x154 -x153
1800.10/1800.62 v -x152 x151 x150 x149 -x148 -x146 -x145 x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x135 -x134 -x133 -x132 -x131 -x130
1800.10/1800.62 v -x129 -x128 -x127 -x126 -x124 x123 x122 -x121 -x120 -x119 -x118 -x117 x116 -x115 -x112 x111 -x110 -x109 -x108 -x107 -x106 x105
1800.10/1800.62 v -x104 x103 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x90 x89 -x88 -x87 -x86 x85 x84 -x83 -x82 -x81 -x79 -x78 -x77
1800.10/1800.62 v -x76 x75 -x74 -x73 -x72 -x71 -x70 -x68 -x67 x66 x65 -x64 -x63 -x62 -x61 -x60 -x59 -x57 x56 -x55 -x54 -x53 x52 -x51 -x50 -x49
1800.10/1800.62 v -x48 x46 -x45 -x44 -x43 -x42 x41 x40 x39 x38 -x37 -x35 x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x24 -x23 -x22 -x21 -x20
1800.10/1800.62 v -x19 x18 x17 x16 -x15 -x13 -x12 -x11 -x10 x9 -x8 x7 -x6 -x5 x4 -x1372 x1371 -x1370 x1369 x1368 x1367 -x1366 -x1365 -x1364 -x1363
1800.10/1800.62 v -x1361 -x1360 -x1359 x1358 x1357 -x1356 x1355 -x1354 -x1353 -x1352 x1350 -x1349 -x1348 x1347 -x1346 x1345 -x1344 x1343 -x1342
1800.10/1800.62 v -x1341 -x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 x1332 -x1331 x1330 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 x1322
1800.10/1800.62 v -x1321 -x1320 -x1319 -x1317 -x1316 -x1315 x1314 -x1313 -x1312 -x1311 x1310 -x1309 -x1308 x1306 -x1305 x1304 -x1303 x1302 -x1301
1800.10/1800.62 v x1300 -x1299 -x1298 x1297 -x1295 -x1294 -x1293 -x1292 x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1284 -x1283 -x1282 x1281
1800.10/1800.62 v -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1273 -x1272 x1271 -x1270 -x1269 x1268 -x1267 -x1266 -x1265 -x1264 -x1261 -x1260
1800.10/1800.62 v x1259 -x1258 -x1257 x1256 -x1255 -x1254 -x1253 -x1252 x1250 -x1249 -x1248 -x1247 x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1239
1800.10/1800.62 v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1228 -x1227 -x1226 x1225 -x1224 x1223 x1222 -x1221 -x1220
1800.10/1800.62 v -x1219 -x1217 -x1216 -x1215 x1214 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200
1800.10/1800.62 v -x1199 -x1198 -x1197 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1184 -x1183 -x1182 -x1181 x1180 -x1179
1800.10/1800.62 v -x1178 -x1177 -x1176 x1175 -x1173 x1172 -x1171 -x1170 -x1169 x1168 x1167 -x1166 x1165 -x1164 -x1162 -x1161 -x1160 -x1159
1800.10/1800.62 v x1158 x1157 -x1156 -x1155 -x1154 -x1153 x1150 -x1149 x1148 x1147 -x1146 -x1145 x1144 x1143 x1142 -x1141 x1139 -x1138 x1137
1800.10/1800.62 v -x1136 -x1135 -x1134 x1133 x1132 -x1131 x1130 x1128 x1127 -x1126 x1125 x1124 x1123 -x1122 x1121 -x1120 x1119 -x1117 x1116 x1115
1800.10/1800.62 v x1114 x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1106 x1105 -x1104 x1103 x1102 -x1101 x1100 -x1099 -x1098 x1097 -x1095 x1094
1800.10/1800.62 v x1093 x1092 x1091 -x1090 -x1089 x1088 -x1087 x1086 x1084 -x1083 -x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 x1075 x1073
1800.10/1800.62 v x1072 x1071 -x1070 x1069 -x1068 x1067 x1066 x1065 -x1064 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 x1056 x1055 x1054 x1053 -x1051
1800.10/1800.62 v -x1050 -x1049 x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1039 -x1038 x1037 -x1036 -x1035 x1034 x1033 -x1032 -x1031
1800.10/1800.62 v -x1030 x1028 -x1027 x1026 -x1025 x1024 x1023 -x1022 -x1021 x1020 -x1019 -x1017 x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010
1800.10/1800.62 v -x1009 x1008 x1006 -x1005 x1004 x1003 x1002 -x1001 x1000 x999 -x998 -x997 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987
1800.10/1800.62 v x986 -x984 x983 x982 x981 -x980 -x979 -x978 -x977 x976 -x975 x973 -x972 -x971 -x970 -x969 x968 -x967 -x966 -x965 -x964 -x962
1800.10/1800.62 v -x961 -x960 -x959 -x958 x957 -x956 -x955 x954 -x953 -x951 -x950 -x949 -x948 x947 -x946 -x945 x944 x943 -x942 -x940 -x939 -x938
1800.10/1800.62 v -x937 -x936 x935 x934 x933 -x932 x931 -x928 -x927 x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x917 x916 -x915 -x914 x913
1800.10/1800.62 v x912 -x911 -x910 -x909 -x908 x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 x898 -x897 -x895 x894 x893 x892 -x891 x890 -x889
1800.10/1800.62 v -x888 x887 x886 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x876 -x875 x873 x872 x871 -x870 -x869 -x868 -x867 -x866 -x865
1800.10/1800.62 v x864 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x851 -x850 -x849 x848 -x847 -x846 x845 -x844 x843 x842 x840
1800.10/1800.62 v x839 -x838 x837 -x836 x835 -x834 -x833 -x832 -x831 -x829 -x828 -x827 -x826 x825 -x824 x823 -x822 x821 -x820 -x817 -x816 x815
1800.10/1800.62 v -x814 -x813 -x812 -x811 x810 -x809 x808 -x806 x805 x804 -x803 -x802 -x801 x800 -x799 x798 -x797 x795 -x794 x793 x792 -x791
1800.10/1800.62 v -x790 -x789 -x788 -x787 x786 -x784 x783 -x782 -x781 -x780 -x779 x778 x777 x776 -x775 x773 x772 -x771 -x770 -x769 x768 x767
1800.10/1800.62 v x766 x765 x764 -x762 -x761 -x760 x759 -x758 -x757 -x756 x755 x754 -x753 -x751 x750 x749 -x748 -x747 x746 -x745 x744 -x743 -x742
1800.10/1800.62 v -x740 x739 -x738 x737 x736 -x735 -x734 -x733 -x732 -x731 -x729 -x728 x727 -x726 -x725 -x724 x723 x722 -x721 -x720 -x718 x717
1800.10/1800.62 v x716 -x715 x714 x713 -x712 x711 -x710 x709 x706 -x705 x704 x703 x702 -x701 -x700 -x699 x698 x697 x695 -x694 -x693 -x692 -x691
1800.10/1800.62 v x690 x689 x688 x687 -x686 -x684 -x683 x682 x681 x680 x679 x678 -x677 -x676 x675 -x673 -x672 x671 -x670 -x669 -x668 -x667
1800.10/1800.62 v x666 x665 -x664 x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 x654 -x653 x651 -x650 x649 -x648 -x647 x646 x645 -x644 x643 -x642
1800.10/1800.62 v -x640 x639 -x638 x637 -x636 -x635 x634 -x633 -x632 x631 x629 -x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x618 x617
1800.10/1800.62 v x616 x615 x614 x613 x612 x611 x610 x609 -x607 x606 x605 x604 x603 -x602 -x601 x600 -x599 -x598 x595 -x594 -x593 -x592 -x591 -x590
1800.10/1800.62 v x589 x588 -x587 x586 x584 -x583 x582 x581 x580 -x579 x578 -x577 x576 -x575 x573 -x572 -x571 -x570 -x569 -x568 -x567 x566
1800.10/1800.62 v x565 -x564 x562 -x561 x560 -x559 -x558 x557 x556 -x555 x554 x553 x551 x550 -x549 -x548 -x547 -x546 x545 x544 -x543 x542 x540
1800.10/1800.62 v -x539 x538 -x537 -x536 -x535 x534 -x533 x532 -x531 -x529 x528 -x527 -x526 -x525 x524 -x523 x522 -x521 -x520 x518 -x517 x516
1800.10/1800.62 v x515 -x514 -x513 -x512 -x511 -x510 -x509 -x507 x506 -x505 -x504 x503 -x502 -x501 x500 -x499 x498 -x496 -x495 -x494 -x493 -x492
1800.10/1800.62 v x491 x490 x489 x488 -x487 -x484 -x483 -x482 -x481 x480 -x479 x478 -x477 -x476 x475 -x473 -x472 -x471 -x470 -x469 x468 x467
1800.10/1800.62 v x466 -x465 x464 x462 x461 x460 -x459 -x458 -x457 -x456 -x455 x454 -x453 -x451 x450 -x449 x448 x447 x446 x445 -x444 x443 -x442
1800.10/1800.62 v x440 x439 x438 -x437 x436 -x435 -x434 x433 -x432 x431 -x429 -x428 x427 -x426 x425 -x424 x423 x422 x421 -x420 -x418 x417 -x413
1800.10/1800.62 v x402 -x391 -x380 -x369 x358 x347 x336 -x324 x313 -x302 x291 -x280 x269 x258 -x247 x236 x225 x213 x202 -x191 x180 -x169 -x158
1800.10/1800.62 v x147 x136 x125 x114 -x102 x91 -x80 -x69 -x58 x47 x36 x25 x14 -x3 x1362 x1351 -x1340 x1329 -x1318 x1307 -x1296 x1285 -x1274
1800.10/1800.62 v x1263 x1251 x1240 x1229 x1218 x1207 x1196 -x1185 -x1174 -x1163 x1152 -x1140 -x1129 -x1118 x1107 -x1096 -x1085 -x1074 x1063 x1052
1800.10/1800.62 v x1041 -x1029 x1018 -x1007 -x996 x985 -x974 x963 -x952 x941 -x930 -x918 x907 -x896 x885 x874 -x863 x852 x841 x830 -x819 x807
1800.10/1800.62 v -x796 -x785 -x774 x763 -x752 x741 -x730 x719 x708 -x696 x685 x674 x663 x652 -x641 x630 x619 -x608 -x597 x585 -x574 x563 -x552
1800.10/1800.62 v -x541 x530 x519 x508 -x497 -x486 -x474 -x463 x452 -x441 -x430 -x419 x335 x224 -x113 -x2 x1262 x1151 x1040 x929 -x818 x707
1800.10/1800.62 v x596 x485 -x1
1800.10/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.62 c Solving Time : 1736.51
1800.10/1800.62 c Original Problem :
1800.10/1800.62 c Problem name : HOME/instance-2665675-1276359205.opb
1800.10/1800.62 c Variables : 1372 (1372 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.62 c Constraints : 4944 initial, 4944 maximal
1800.10/1800.62 c Presolved Problem :
1800.10/1800.62 c Problem name : t_HOME/instance-2665675-1276359205.opb
1800.10/1800.62 c Variables : 1176 (1176 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.62 c Constraints : 4667 initial, 4667 maximal
1800.10/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c dualfix : 0.00 37 0 0 0 0 0 0 0
1800.10/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.10/1800.62 c linear : 0.05 117 42 0 117 0 277 0 0
1800.10/1800.62 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.10/1800.62 c root node : - 0 - - 0 - - - -
1800.10/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.62 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.62 c logicor : 4667+ 21 5279021 0 0 878082 5975682 0 0 0
1800.10/1800.62 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.62 c integral : 41.20 0.00 0.00 41.20 0.00
1800.10/1800.62 c logicor : 740.72 0.02 740.70 0.00 0.00
1800.10/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.62 c vbounds : 4.19 2 0 0
1800.10/1800.62 c rootredcost : 3.31 0 0 0
1800.10/1800.62 c pseudoobj : 515.94 8047022 1214448 35287776
1800.10/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.62 c propagation : 689.43 878082 878082 878082 282.6 2100 293.6 -
1800.10/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.62 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.10/1800.62 c applied globally : - - - 0 0.0 - - -
1800.10/1800.62 c applied locally : - - - 878082 282.6 - - -
1800.10/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.62 c cut pool : 0.41 20 - - 8 - (maximal pool size: 5756)
1800.10/1800.62 c redcost : 0.01 21 0 0 0 0
1800.10/1800.62 c impliedbounds : 0.00 21 0 0 0 0
1800.10/1800.62 c intobj : 0.00 0 0 0 0 0
1800.10/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.62 c gomory : 42.89 21 0 0 357 0
1800.10/1800.62 c strongcg : 18.00 20 0 0 7810 0
1800.10/1800.62 c cmir : 0.33 10 0 0 0 0
1800.10/1800.62 c flowcover : 0.34 10 0 0 0 0
1800.10/1800.62 c clique : 0.03 21 0 0 10 0
1800.10/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.62 c mcf : 0.01 1 0 0 0 0
1800.10/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.62 c Pricers : Time Calls Vars
1800.10/1800.62 c problem variables: 0.00 0 0
1800.10/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.62 c relpscost : 41.20 1 0 0 0 0 2
1800.10/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.62 c inference : 123.41 2278055 0 0 0 0 4556110
1800.10/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.62 c random : 0.00 0 0 0 0 0 0
1800.10/1800.62 c Primal Heuristics : Time Calls Found
1800.10/1800.62 c LP solutions : 0.00 - 0
1800.10/1800.62 c pseudo solutions : 0.00 - 0
1800.10/1800.62 c crossover : 0.00 0 0
1800.10/1800.62 c oneopt : 2.46 2 1
1800.10/1800.62 c trivial : 0.01 2 3
1800.10/1800.62 c simplerounding : 0.02 21 21
1800.10/1800.62 c zirounding : 0.01 1 1
1800.10/1800.62 c rounding : 0.29 21 0
1800.10/1800.62 c shifting : 0.31 21 0
1800.10/1800.62 c intshifting : 0.00 0 0
1800.10/1800.62 c twoopt : 0.00 0 0
1800.10/1800.62 c fixandinfer : 0.00 0 0
1800.10/1800.62 c feaspump : 0.00 0 0
1800.10/1800.62 c coefdiving : 0.00 0 0
1800.10/1800.62 c pscostdiving : 0.00 0 0
1800.10/1800.62 c fracdiving : 0.00 0 0
1800.10/1800.62 c veclendiving : 0.00 0 0
1800.10/1800.62 c intdiving : 0.00 0 0
1800.10/1800.62 c actconsdiving : 0.00 0 0
1800.10/1800.62 c objpscostdiving : 0.00 0 0
1800.10/1800.62 c rootsoldiving : 0.00 0 0
1800.10/1800.62 c linesearchdiving : 0.00 0 0
1800.10/1800.62 c guideddiving : 0.00 0 0
1800.10/1800.62 c octane : 0.00 0 0
1800.10/1800.62 c rens : 20.65 1 1
1800.10/1800.62 c rins : 0.00 0 0
1800.10/1800.62 c localbranching : 0.00 0 0
1800.10/1800.62 c mutation : 0.00 0 0
1800.10/1800.62 c dins : 0.00 0 0
1800.10/1800.62 c undercover : 0.00 0 0
1800.10/1800.62 c nlp : 2.78 0 0
1800.10/1800.62 c trysol : 1.46 0 0
1800.10/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.62 c primal LP : 0.03 0 0 0.00 0.00
1800.10/1800.62 c dual LP : 9.79 21 10641 506.71 1086.93
1800.10/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.62 c strong branching : 41.20 51 44529 873.12 1080.80
1800.10/1800.62 c (at root node) : - 51 44529 873.12 -
1800.10/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.62 c B&B Tree :
1800.10/1800.62 c number of runs : 1
1800.10/1800.62 c nodes : 3930511
1800.10/1800.62 c nodes (total) : 3930511
1800.10/1800.62 c nodes left : 623
1800.10/1800.62 c max depth : 706
1800.10/1800.62 c max depth (total): 706
1800.10/1800.62 c backtracks : 1275381 (32.4%)
1800.10/1800.62 c delayed cutoffs : 624979
1800.10/1800.62 c repropagations : 851711 (10957378 domain reductions, 440075 cutoffs)
1800.10/1800.62 c avg switch length: 2.12
1800.10/1800.62 c switching time : 68.64
1800.10/1800.62 c Solution :
1800.10/1800.62 c Solutions found : 27 (3 improvements)
1800.10/1800.62 c First Solution : +1.37200000000000e+03 (in run 1, after 0 nodes, 0.02 seconds, depth 0, found by <trivial>)
1800.10/1800.62 c Primal Bound : +4.80000000000000e+02 (in run 1, after 1 nodes, 0.16 seconds, depth 0, found by <oneopt>)
1800.10/1800.62 c Dual Bound : +4.08962268638367e+02
1800.10/1800.62 c Gap : 17.37 %
1800.10/1800.62 c Root Dual Bound : +4.08400740297379e+02
1800.10/1800.62 c Root Iterations : 10641
1800.10/1800.68 c Time complete: 1800.17.
OK 480
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665675-1276359205/watcher-2665675-1276359205 -o /tmp/evaluation-result-2665675-1276359205/solver-2665675-1276359205 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665675-1276359205.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12213 /proc/meminfo: memFree=1754168/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=8260 CPUtime=0 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 1005 0 0 0 0 0 0 0 18 0 1 0 11522024 8458240 926 1992294400 4194304 9819077 140736813116224 18446744073709551615 8726512 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12213/statm: 2065 927 366 1374 0 686 0 [startup+0.058793 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12213 /proc/meminfo: memFree=1754168/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=12844 CPUtime=0.05 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 2156 0 0 0 4 1 0 0 20 0 1 0 11522024 13152256 2077 1992294400 4194304 9819077 140736813116224 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12213/statm: 3211 2077 388 1374 0 1832 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12844 [startup+0.100797 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12213 /proc/meminfo: memFree=1754168/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=14012 CPUtime=0.09 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 2424 0 0 0 8 1 0 0 20 0 1 0 11522024 14348288 2345 1992294400 4194304 9819077 140736813116224 18446744073709551615 8653674 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/12213/statm: 3503 2345 388 1374 0 2124 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14012 [startup+0.300824 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12213 /proc/meminfo: memFree=1754168/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=25528 CPUtime=0.29 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 7572 0 0 0 24 5 0 0 20 0 1 0 11522024 26140672 5083 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 6382 5083 503 1374 0 5003 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25528 [startup+0.700876 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12213 /proc/meminfo: memFree=1754168/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=40068 CPUtime=0.69 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 10905 0 0 0 63 6 0 0 20 0 1 0 11522024 41029632 7596 1992294400 4194304 9819077 140736813116224 18446744073709551615 7291112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 10017 7596 636 1374 0 8638 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 40068 [startup+1.50098 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12216 /proc/meminfo: memFree=1726384/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=40500 CPUtime=1.49 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 12970 0 0 0 142 7 0 0 23 0 1 0 11522024 41472000 7690 1992294400 4194304 9819077 140736813116224 18446744073709551615 7290967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 10125 7690 636 1374 0 8746 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40500 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12216 /proc/meminfo: memFree=1726136/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=40596 CPUtime=3.09 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 17166 0 0 0 298 11 0 0 25 0 1 0 11522024 41570304 7731 1992294400 4194304 9819077 140736813116224 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 10149 7731 636 1374 0 8770 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40596 [startup+6.30161 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12216 /proc/meminfo: memFree=1725764/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=51936 CPUtime=6.29 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 22496 0 0 0 615 14 0 0 25 0 1 0 11522024 53182464 10338 1992294400 4194304 9819077 140736813116224 18446744073709551615 7306911 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 12984 10338 674 1374 0 11605 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51936 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12216 /proc/meminfo: memFree=1708404/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=64960 CPUtime=12.68 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 30401 0 0 0 1249 19 0 0 25 0 1 0 11522024 66519040 13499 1992294400 4194304 9819077 140736813116224 18446744073709551615 6055431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 16240 13499 674 1374 0 14861 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64960 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12216 /proc/meminfo: memFree=1671576/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=96280 CPUtime=25.49 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 43395 0 0 0 2523 26 0 0 25 0 1 0 11522024 98590720 21294 1992294400 4194304 9819077 140736813116224 18446744073709551615 6191694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 24070 21294 674 1374 0 22691 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 96280 [startup+51.1005 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12219 /proc/meminfo: memFree=1631152/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=136108 CPUtime=51.08 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 60417 0 0 0 5069 39 0 0 25 0 1 0 11522024 139374592 31136 1992294400 4194304 9819077 140736813116224 18446744073709551615 7311687 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 34027 31136 681 1374 0 32648 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 136108 [startup+102.308 s] /proc/loadavg: 1.02 1.01 1.00 2/107 12221 /proc/meminfo: memFree=1594820/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=179664 CPUtime=102.26 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 159614 0 0 0 10118 108 0 0 25 0 1 0 11522024 183975936 40194 1992294400 4194304 9819077 140736813116224 18446744073709551615 6656758 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 44916 40194 719 1374 0 43537 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 179664 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12223 /proc/meminfo: memFree=1594944/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=171924 CPUtime=162.25 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245669 0 0 0 15985 240 0 0 25 0 1 0 11522024 176050176 40245 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 42981 40245 722 1374 0 41602 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 171924 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12223 /proc/meminfo: memFree=1594820/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172068 CPUtime=222.23 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245709 0 0 0 21769 454 0 0 25 0 1 0 11522024 176197632 40285 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43017 40285 722 1374 0 41638 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 172068 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12225 /proc/meminfo: memFree=1594696/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172200 CPUtime=282.21 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245740 0 0 0 27550 671 0 0 25 0 1 0 11522024 176332800 40316 1992294400 4194304 9819077 140736813116224 18446744073709551615 4652794 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43050 40316 722 1374 0 41671 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 172200 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12227 /proc/meminfo: memFree=1594448/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172332 CPUtime=342.19 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245765 0 0 0 33335 884 0 0 25 0 1 0 11522024 176467968 40341 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43083 40341 722 1374 0 41704 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 172332 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12229 /proc/meminfo: memFree=1594324/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172332 CPUtime=402.18 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245772 0 0 0 39105 1113 0 0 25 0 1 0 11522024 176467968 40348 1992294400 4194304 9819077 140736813116224 18446744073709551615 5506773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43083 40348 722 1374 0 41704 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 172332 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12231 /proc/meminfo: memFree=1594324/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172332 CPUtime=462.16 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245776 0 0 0 44871 1345 0 0 25 0 1 0 11522024 176467968 40352 1992294400 4194304 9819077 140736813116224 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43083 40352 722 1374 0 41704 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 172332 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12231 /proc/meminfo: memFree=1594200/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172332 CPUtime=522.15 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245782 0 0 0 50646 1569 0 0 25 0 1 0 11522024 176467968 40358 1992294400 4194304 9819077 140736813116224 18446744073709551615 4240459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43083 40358 722 1374 0 41704 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 172332 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12233 /proc/meminfo: memFree=1594076/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172332 CPUtime=582.13 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245791 0 0 0 56423 1790 0 0 25 0 1 0 11522024 176467968 40367 1992294400 4194304 9819077 140736813116224 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43083 40367 722 1374 0 41704 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 172332 [startup+642.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 12235 /proc/meminfo: memFree=1593952/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=642.11 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245796 0 0 0 62201 2010 0 0 25 0 1 0 11522024 176603136 40372 1992294400 4194304 9819077 140736813116224 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40372 722 1374 0 41737 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 172464 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 12239 /proc/meminfo: memFree=1593580/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=822.06 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245815 0 0 0 79519 2687 0 0 25 0 1 0 11522024 176603136 40391 1992294400 4194304 9819077 140736813116224 18446744073709551615 5909004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40391 722 1374 0 41737 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 172464 [startup+882.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 12241 /proc/meminfo: memFree=1593456/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=882.04 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245816 0 0 0 85294 2910 0 0 25 0 1 0 11522024 176603136 40392 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40392 722 1374 0 41737 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 172464 [startup+942.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12243 /proc/meminfo: memFree=1593208/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=942.02 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245816 0 0 0 91080 3122 0 0 25 0 1 0 11522024 176603136 40392 1992294400 4194304 9819077 140736813116224 18446744073709551615 4998670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40392 722 1374 0 41737 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 172464 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12245 /proc/meminfo: memFree=1593084/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=1002 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245818 0 0 0 96861 3339 0 0 25 0 1 0 11522024 176603136 40394 1992294400 4194304 9819077 140736813116224 18446744073709551615 5918773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40394 722 1374 0 41737 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 172464 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12247 /proc/meminfo: memFree=1593084/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=1061.99 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245818 0 0 0 102657 3542 0 0 25 0 1 0 11522024 176603136 40394 1992294400 4194304 9819077 140736813116224 18446744073709551615 5507373 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40394 722 1374 0 41737 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 172464 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12247 /proc/meminfo: memFree=1592960/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=1121.98 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245823 0 0 0 108431 3767 0 0 25 0 1 0 11522024 176603136 40399 1992294400 4194304 9819077 140736813116224 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40399 722 1374 0 41737 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 172464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12249 /proc/meminfo: memFree=1592712/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172464 CPUtime=1181.95 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245828 0 0 0 114203 3992 0 0 25 0 1 0 11522024 176603136 40404 1992294400 4194304 9819077 140736813116224 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43116 40404 722 1374 0 41737 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 172464 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12251 /proc/meminfo: memFree=1592464/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1241.94 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245833 0 0 0 119975 4219 0 0 25 0 1 0 11522024 176742400 40409 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40409 722 1374 0 41771 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 172600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12253 /proc/meminfo: memFree=1592216/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1301.93 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245836 0 0 0 125746 4447 0 0 25 0 1 0 11522024 176742400 40412 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40412 722 1374 0 41771 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 172600 [startup+1362.3 s] /proc/loadavg: 1.11 1.03 1.01 2/107 12255 /proc/meminfo: memFree=1592216/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1361.91 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245837 0 0 0 131519 4672 0 0 25 0 1 0 11522024 176742400 40413 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40413 722 1374 0 41771 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 172600 [startup+1422.31 s] /proc/loadavg: 1.04 1.02 1.00 2/107 12255 /proc/meminfo: memFree=1592092/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1421.9 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245837 0 0 0 137290 4900 0 0 25 0 1 0 11522024 176742400 40413 1992294400 4194304 9819077 140736813116224 18446744073709551615 4648619 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40413 722 1374 0 41771 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 172600 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 12257 /proc/meminfo: memFree=1591968/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1481.87 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245837 0 0 0 143068 5119 0 0 25 0 1 0 11522024 176742400 40413 1992294400 4194304 9819077 140736813116224 18446744073709551615 6023799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40413 722 1374 0 41771 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 172600 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12259 /proc/meminfo: memFree=1591968/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1541.86 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245838 0 0 0 148828 5358 0 0 25 0 1 0 11522024 176742400 40414 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40414 722 1374 0 41771 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 172600 [startup+1602.3 s] /proc/loadavg: 1.10 1.04 1.01 2/107 12261 /proc/meminfo: memFree=1591720/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1601.84 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245838 0 0 0 154590 5594 0 0 25 0 1 0 11522024 176742400 40414 1992294400 4194304 9819077 140736813116224 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40414 722 1374 0 41771 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 172600 [startup+1662.3 s] /proc/loadavg: 1.11 1.06 1.01 2/107 12263 /proc/meminfo: memFree=1591596/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1661.82 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245842 0 0 0 160360 5822 0 0 25 0 1 0 11522024 176742400 40418 1992294400 4194304 9819077 140736813116224 18446744073709551615 5506180 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40418 722 1374 0 41771 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 172600 [startup+1722.3 s] /proc/loadavg: 1.08 1.06 1.01 2/107 12263 /proc/meminfo: memFree=1591472/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1721.8 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245842 0 0 0 166136 6044 0 0 25 0 1 0 11522024 176742400 40418 1992294400 4194304 9819077 140736813116224 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40418 722 1374 0 41771 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 172600 [startup+1782.3 s] /proc/loadavg: 1.06 1.06 1.01 2/107 12265 /proc/meminfo: memFree=1591100/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1781.78 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245842 0 0 0 171905 6273 0 0 25 0 1 0 11522024 176742400 40418 1992294400 4194304 9819077 140736813116224 18446744073709551615 4648644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40418 722 1374 0 41771 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 172600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.11 1.07 1.02 2/107 12265 /proc/meminfo: memFree=1591100/2059040 swapFree=4192956/4192956 [pid=12213] ppid=12211 vsize=172600 CPUtime=1800.1 /proc/12213/stat : 12213 (pbscip.linux.x8) R 12211 12213 11714 0 -1 4202496 245842 0 0 0 173662 6348 0 0 25 0 1 0 11522024 176742400 40418 1992294400 4194304 9819077 140736813116224 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/12213/statm: 43150 40418 722 1374 0 41771 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 172600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.17 CPU user time (s): 1736.67 CPU system time (s): 63.5013 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 204620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1736.67 system time used= 63.5013 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 245849 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3795 runsolver used 3.04854 second user time and 8.46271 second system time The end
Begin job on node013 at 2010-06-12 18:13:25 IDJOB=2665675 IDBENCH=1873 IDSOLVER=1168 FILE ID=node013/2665675-1276359205 PBS_JOBID= 11173201 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665675-1276359205/watcher-2665675-1276359205 -o /tmp/evaluation-result-2665675-1276359205/solver-2665675-1276359205 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665675-1276359205.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 97ebaccbda37d5c570b4e2ec3cd7f8f0 RANDOM SEED=1063925868 node013.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1754696 kB Buffers: 40492 kB Cached: 138972 kB SwapCached: 0 kB Active: 129276 kB Inactive: 109536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754696 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6468 kB Writeback: 0 kB AnonPages: 59388 kB Mapped: 15456 kB Slab: 43688 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180804 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62456 MiB End job on node013 at 2010-06-12 18:43:28