Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 33 | 1800.07 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-sao2.b.opb |
| MD5SUM | a91a8cbbe2491e496acc19538dbd623f |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 0.674896 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 372 |
| Total number of constraints | 772 |
| Number of constraints which are clauses | 772 |
| 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 | 98 |
| Number of terms in the objective function | 372 |
| 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 | 372 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 372 |
| Number of bits of the biggest sum of numbers | 9 |
| 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: NONE] [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-2664623-1276407558.opb>
0.00/0.04 c original problem has 372 variables (372 bin, 0 int, 0 impl, 0 cont) and 772 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.04 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.05 o 372
0.00/0.05 c feasible solution found by trivial heuristic, objective value 3.720000e+02
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 5 del vars, 128 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 0 clqs
0.00/0.07 c (round 2) 5 del vars, 147 del conss, 5 chg bounds, 3 chg sides, 0 chg coeffs, 0 upgd conss, 6 impls, 0 clqs
0.09/0.10 c (round 3) 5 del vars, 262 del conss, 5 chg bounds, 3 chg sides, 0 chg coeffs, 622 upgd conss, 6 impls, 0 clqs
0.09/0.10 c (round 4) 5 del vars, 264 del conss, 5 chg bounds, 3 chg sides, 0 chg coeffs, 625 upgd conss, 6 impls, 0 clqs
0.09/0.11 c (0.1s) probing: 101/367 (27.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (5 rounds):
0.09/0.11 c 5 deleted vars, 264 deleted constraints, 5 tightened bounds, 0 added holes, 3 changed sides, 0 changed coefficients
0.09/0.11 c 6 implications, 0 cliques
0.09/0.11 c presolved problem has 367 variables (367 bin, 0 int, 0 impl, 0 cont) and 508 constraints
0.09/0.11 c 508 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.06
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.2
0.09/0.11 c
0.09/0.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c conflict/interconss = 0
0.09/0.11 c
0.09/0.11 c # should binary conflicts be preferred?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c conflict/preferbinary = TRUE
0.09/0.11 c
0.09/0.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.11 c constraints/agelimit = 1
0.09/0.11 c
0.09/0.11 c # should enforcement of pseudo solution be disabled?
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/disableenfops = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1799.97
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.11 c lp/solvefreq = -1
0.09/0.11 c
0.09/0.11 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.09/0.11 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.11 c lp/pricing = a
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # priority of node selection rule <dfs> in standard mode
0.09/0.11 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.11 c nodeselection/dfs/stdpriority = 1000000
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.11 o 349
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 0 | - |1919k| 0 | - | 367 | 508 | 0 | 0 | 0 | 0 | 0 | -- | 3.490000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 2 | 0 | - |1910k| 0 | - | 367 | 508 | 0 | 0 | 0 | 0 | 0 | 5.000000e+00 | 3.490000e+02 |6880.00%
0.09/0.14 o 35
0.09/0.14 c * 0.1s| 338 | 336 | 0 | 0.0 |2079k| 337 | - | 367 | 508 | 0 | 0 | 0 | 0 | 0 | 6.000000e+00 | 3.500000e+01 | 483.33%
0.09/0.14 o 34
0.09/0.14 c * 0.1s| 342 | 333 | 0 | 0.0 |2088k| 337 | - | 367 | 508 | 0 | 0 | 0 | 2 | 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
3.39/3.44 c 3.1s| 10000 | 299 | 0 | 0.0 |2102k| 337 | - | 367 | 508 | 0 | 0 | 0 |6093 | 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
6.99/7.09 c 6.5s| 20000 | 293 | 0 | 0.0 |2099k| 337 | - | 367 | 508 | 0 | 0 | 0 | 12k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
10.89/11.00 c 10.2s| 30000 | 287 | 0 | 0.0 |2095k| 337 | - | 367 | 508 | 0 | 0 | 0 | 18k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
14.78/14.83 c 13.7s| 40000 | 285 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 26k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
18.69/18.77 c 17.4s| 50000 | 276 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 33k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
22.88/22.93 c 21.2s| 60000 | 279 | 0 | 0.0 |2099k| 337 | - | 367 | 508 | 0 | 0 | 0 | 39k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
27.28/27.36 c 25.3s| 70000 | 268 | 0 | 0.0 |2093k| 337 | - | 367 | 508 | 0 | 0 | 0 | 46k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
31.28/31.37 c 29.0s| 80000 | 276 | 0 | 0.0 |2095k| 337 | - | 367 | 508 | 0 | 0 | 0 | 53k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
35.78/35.81 c 33.2s| 90000 | 271 | 0 | 0.0 |2099k| 337 | - | 367 | 508 | 0 | 0 | 0 | 59k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
40.28/40.36 c 37.4s|100000 | 268 | 0 | 0.0 |2100k| 337 | - | 367 | 508 | 0 | 0 | 0 | 65k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
44.87/44.98 c 41.7s|110000 | 277 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 72k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
49.78/49.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
49.78/49.80 c 46.2s|120000 | 275 | 0 | 0.0 |2102k| 337 | - | 367 | 512 | 0 | 0 | 0 | 79k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
53.88/53.96 c 50.0s|130000 | 277 | 0 | 0.0 |2097k| 337 | - | 367 | 508 | 0 | 0 | 0 | 85k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
57.67/57.79 c 53.6s|140000 | 271 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 91k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
61.58/61.62 c 57.1s|150000 | 264 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 98k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
65.57/65.69 c 60.9s|160000 | 274 | 0 | 0.0 |2101k| 337 | - | 367 | 508 | 0 | 0 | 0 | 105k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
69.37/69.40 c 64.3s|170000 | 271 | 0 | 0.0 |2096k| 337 | - | 367 | 508 | 0 | 0 | 0 | 111k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
73.17/73.24 c 67.8s|180000 | 276 | 0 | 0.0 |2099k| 337 | - | 367 | 508 | 0 | 0 | 0 | 118k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
77.37/77.46 c 71.7s|190000 | 269 | 0 | 0.0 |2098k| 337 | - | 367 | 508 | 0 | 0 | 0 | 126k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
81.28/81.36 c 75.3s|200000 | 266 | 0 | 0.0 |2097k| 337 | - | 367 | 508 | 0 | 0 | 0 | 132k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
85.56/85.66 c 79.3s|210000 | 270 | 0 | 0.0 |2101k| 337 | - | 367 | 508 | 0 | 0 | 0 | 138k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
89.96/90.06 c 83.4s|220000 | 273 | 0 | 0.0 |2097k| 337 | - | 367 | 508 | 0 | 0 | 0 | 144k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
94.16/94.25 c 87.3s|230000 | 263 | 0 | 0.0 |2095k| 337 | - | 367 | 508 | 0 | 0 | 0 | 150k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
97.96/98.08 c 90.9s|240000 | 270 | 0 | 0.0 |2100k| 337 | - | 367 | 508 | 0 | 0 | 0 | 156k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
102.36/102.41 c 95.0s|250000 | 273 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 162k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
106.36/106.45 c 98.8s|260000 | 267 | 0 | 0.0 |2101k| 337 | - | 367 | 510 | 0 | 0 | 0 | 167k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
110.65/110.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
110.65/110.74 c 103s|270000 | 270 | 0 | 0.0 |2098k| 337 | - | 367 | 508 | 0 | 0 | 0 | 174k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
114.65/114.75 c 106s|280000 | 265 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 180k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
118.66/118.75 c 110s|290000 | 269 | 0 | 0.0 |2100k| 337 | - | 367 | 508 | 0 | 0 | 0 | 187k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
122.75/122.83 c 114s|300000 | 266 | 0 | 0.0 |2097k| 337 | - | 367 | 508 | 0 | 0 | 0 | 195k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
126.95/127.02 c 118s|310000 | 263 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 201k| 0 | 6.000000e+00 | 3.400000e+01 | 466.67%
129.05/129.15 o 33
129.05/129.15 c * 120s|315172 | 280 | 0 | 0.0 |2110k| 337 | - | 367 | 508 | 0 | 0 | 0 | 204k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
130.96/131.03 c 122s|320000 | 268 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 207k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
134.95/135.05 c 125s|330000 | 267 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 213k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
139.15/139.21 c 129s|340000 | 266 | 0 | 0.0 |2113k| 337 | - | 367 | 508 | 0 | 0 | 0 | 219k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
143.45/143.56 c 133s|350000 | 266 | 0 | 0.0 |2102k| 337 | - | 367 | 508 | 0 | 0 | 0 | 225k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
147.85/147.92 c 137s|360000 | 267 | 0 | 0.0 |2112k| 337 | - | 367 | 508 | 0 | 0 | 0 | 231k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
152.04/152.17 c 141s|370000 | 262 | 0 | 0.0 |2102k| 337 | - | 367 | 508 | 0 | 0 | 0 | 237k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
156.05/156.12 c 145s|380000 | 265 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 243k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
160.34/160.44 c 149s|390000 | 271 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 250k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
164.54/164.60 c 153s|400000 | 273 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 256k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
168.14/168.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
168.14/168.23 c 156s|410000 | 265 | 0 | 0.0 |2114k| 337 | - | 367 | 508 | 0 | 0 | 0 | 262k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
171.74/171.86 c 160s|420000 | 266 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 268k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
175.34/175.46 c 163s|430000 | 256 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 275k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
178.84/178.97 c 166s|440000 | 264 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 281k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
182.93/183.05 c 170s|450000 | 266 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 288k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
186.84/186.92 c 173s|460000 | 268 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 295k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
190.14/190.23 c 177s|470000 | 262 | 0 | 0.0 |2109k| 337 | - | 367 | 508 | 0 | 0 | 0 | 301k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
193.73/193.80 c 180s|480000 | 265 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 308k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
198.13/198.29 c 184s|490000 | 264 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 314k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
202.93/203.03 c 188s|500000 | 266 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 321k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
207.13/207.27 c 192s|510000 | 266 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 328k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
211.53/211.68 c 196s|520000 | 263 | 0 | 0.0 |2109k| 337 | - | 367 | 508 | 0 | 0 | 0 | 334k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
215.63/215.73 c 200s|530000 | 266 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 341k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
219.93/220.07 c 204s|540000 | 265 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 347k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
224.33/224.46 c 208s|550000 | 263 | 0 | 0.0 |2109k| 337 | - | 367 | 508 | 0 | 0 | 0 | 354k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
228.22/228.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
228.22/228.35 c 212s|560000 | 267 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 360k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
232.72/232.88 c 216s|570000 | 265 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 366k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
236.92/237.03 c 220s|580000 | 255 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 372k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
241.02/241.12 c 224s|590000 | 263 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 378k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
244.61/244.76 c 227s|600000 | 261 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 384k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
248.72/248.83 c 231s|610000 | 265 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 391k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
253.51/253.61 c 236s|620000 | 261 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 398k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
258.01/258.11 c 240s|630000 | 264 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 404k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
262.92/263.02 c 244s|640000 | 265 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 411k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
267.81/267.95 c 249s|650000 | 257 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 419k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
271.71/271.89 c 252s|660000 | 260 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 425k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
275.61/275.75 c 256s|670000 | 266 | 0 | 0.0 |2109k| 337 | - | 367 | 508 | 0 | 0 | 0 | 432k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
279.91/280.02 c 260s|680000 | 265 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 439k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
284.51/284.67 c 264s|690000 | 269 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 446k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
289.21/289.31 c 269s|700000 | 262 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 454k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
293.30/293.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
293.30/293.46 c 272s|710000 | 261 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 461k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
297.30/297.49 c 276s|720000 | 255 | 0 | 0.0 |2102k| 337 | - | 367 | 508 | 0 | 0 | 0 | 468k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
301.50/301.62 c 280s|730000 | 272 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 475k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
305.50/305.69 c 284s|740000 | 259 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 482k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
309.30/309.45 c 287s|750000 | 257 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 489k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
312.80/312.93 c 290s|760000 | 258 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 495k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
316.40/316.52 c 294s|770000 | 260 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 501k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
320.19/320.35 c 297s|780000 | 269 | 0 | 0.0 |2106k| 337 | - | 367 | 508 | 0 | 0 | 0 | 508k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
324.30/324.49 c 301s|790000 | 262 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 515k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
328.49/328.65 c 305s|800000 | 265 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 523k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
332.99/333.17 c 309s|810000 | 257 | 0 | 0.0 |2101k| 337 | - | 367 | 508 | 0 | 0 | 0 | 530k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
336.99/337.14 c 313s|820000 | 259 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 537k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
340.69/340.84 c 316s|830000 | 261 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 544k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
344.29/344.41 c 319s|840000 | 260 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 550k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
348.69/348.82 c 323s|850000 | 264 | 0 | 0.0 |2103k| 337 | - | 367 | 508 | 0 | 0 | 0 | 557k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
351.99/352.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
351.99/352.17 c 326s|860000 | 261 | 0 | 0.0 |2105k| 337 | - | 367 | 508 | 0 | 0 | 0 | 564k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
355.88/356.00 c 330s|870000 | 261 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 570k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
359.68/359.81 c 334s|880000 | 264 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 576k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
363.28/363.43 c 337s|890000 | 260 | 0 | 0.0 |2107k| 337 | - | 367 | 508 | 0 | 0 | 0 | 583k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
367.08/367.27 c 340s|900000 | 254 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 589k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
371.28/371.42 c 344s|910000 | 253 | 0 | 0.0 |2110k| 337 | - | 367 | 508 | 0 | 0 | 0 | 596k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
375.38/375.58 c 348s|920000 | 259 | 0 | 0.0 |2109k| 337 | - | 367 | 508 | 0 | 0 | 0 | 603k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
379.48/379.67 c 352s|930000 | 259 | 0 | 0.0 |2111k| 337 | - | 367 | 508 | 0 | 0 | 0 | 611k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
383.69/383.81 c 356s|940000 | 257 | 0 | 0.0 |2108k| 337 | - | 367 | 508 | 0 | 0 | 0 | 617k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
387.87/388.05 c 360s|950000 | 256 | 0 | 0.0 |2104k| 337 | - | 367 | 508 | 0 | 0 | 0 | 624k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
391.38/391.52 c 363s|960000 | 262 | 0 | 0.0 |2208k| 337 | - | 367 | 718 | 0 | 0 | 0 | 632k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
394.87/395.08 c 366s|970000 | 265 | 0 | 0.0 |2120k| 337 | - | 367 | 509 | 0 | 0 | 0 | 639k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
398.67/398.86 c 370s|980000 | 267 | 0 | 0.0 |2118k| 337 | - | 367 | 509 | 0 | 0 | 0 | 646k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
402.87/403.08 c 374s|990000 | 259 | 0 | 0.0 |2127k| 337 | - | 367 | 509 | 0 | 0 | 0 | 653k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
406.88/407.05 c 377s| 1000k| 259 | 0 | 0.0 |2117k| 337 | - | 367 | 509 | 0 | 0 | 0 | 660k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
411.07/411.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
411.07/411.26 c 381s| 1010k| 254 | 0 | 0.0 |2120k| 337 | - | 367 | 509 | 0 | 0 | 0 | 667k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
414.97/415.17 c 385s| 1020k| 261 | 0 | 0.0 |2116k| 337 | - | 367 | 509 | 0 | 0 | 0 | 674k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
418.97/419.11 c 388s| 1030k| 263 | 0 | 0.0 |2114k| 337 | - | 367 | 508 | 0 | 0 | 0 | 682k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
423.06/423.25 c 392s| 1040k| 260 | 0 | 0.0 |2120k| 337 | - | 367 | 508 | 0 | 0 | 0 | 689k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
426.76/426.98 c 396s| 1050k| 260 | 0 | 0.0 |2116k| 337 | - | 367 | 508 | 0 | 0 | 0 | 696k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
430.56/430.77 c 399s| 1060k| 262 | 0 | 0.0 |2121k| 337 | - | 367 | 509 | 0 | 0 | 0 | 703k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
434.37/434.55 c 402s| 1070k| 251 | 0 | 0.0 |2122k| 337 | - | 367 | 509 | 0 | 0 | 0 | 709k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
438.26/438.45 c 406s| 1080k| 257 | 0 | 0.0 |2114k| 337 | - | 367 | 510 | 0 | 0 | 0 | 716k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
441.97/442.10 c 409s| 1090k| 262 | 0 | 0.0 |2117k| 337 | - | 367 | 509 | 0 | 0 | 0 | 723k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
445.76/445.98 c 413s| 1100k| 253 | 0 | 0.0 |2113k| 337 | - | 367 | 509 | 0 | 0 | 0 | 730k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
449.35/449.58 c 416s| 1110k| 260 | 0 | 0.0 |2397k| 337 | - | 367 |1131 | 0 | 0 | 0 | 737k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
452.96/453.16 c 420s| 1120k| 265 | 0 | 0.0 |2161k| 337 | - | 367 | 510 | 0 | 0 | 0 | 744k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
456.56/456.74 c 423s| 1130k| 257 | 0 | 0.0 |2160k| 337 | - | 367 | 510 | 0 | 0 | 0 | 750k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
460.25/460.42 c 426s| 1140k| 265 | 0 | 0.0 |2160k| 337 | - | 367 | 510 | 0 | 0 | 0 | 757k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
464.35/464.51 c 430s| 1150k| 257 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 | 764k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
468.46/468.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
468.46/468.63 c 434s| 1160k| 255 | 0 | 0.0 |2159k| 337 | - | 367 | 509 | 0 | 0 | 0 | 771k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
471.85/472.05 c 437s| 1170k| 253 | 0 | 0.0 |2163k| 337 | - | 367 | 510 | 0 | 0 | 0 | 778k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
475.94/476.19 c 441s| 1180k| 255 | 0 | 0.0 |2221k| 337 | - | 367 | 646 | 0 | 0 | 0 | 786k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
480.15/480.37 c 445s| 1190k| 258 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 | 794k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
483.94/484.12 c 448s| 1200k| 257 | 0 | 0.0 |2158k| 337 | - | 367 | 509 | 0 | 0 | 0 | 801k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
487.44/487.63 c 451s| 1210k| 248 | 0 | 0.0 |2156k| 337 | - | 367 | 509 | 0 | 0 | 0 | 808k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
490.74/490.91 c 454s| 1220k| 258 | 0 | 0.0 |2162k| 337 | - | 367 | 510 | 0 | 0 | 0 | 814k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
494.14/494.33 c 457s| 1230k| 263 | 0 | 0.0 |2159k| 337 | - | 367 | 509 | 0 | 0 | 0 | 821k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
497.34/497.53 c 460s| 1240k| 260 | 0 | 0.0 |2160k| 337 | - | 367 | 510 | 0 | 0 | 0 | 827k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
501.04/501.29 c 464s| 1250k| 263 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 | 834k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
504.94/505.14 c 467s| 1260k| 260 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 | 841k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
508.84/509.08 c 471s| 1270k| 251 | 0 | 0.0 |2169k| 337 | - | 367 | 510 | 0 | 0 | 0 | 848k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
512.14/512.32 c 474s| 1280k| 255 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 | 854k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
515.53/515.77 c 477s| 1290k| 259 | 0 | 0.0 |2158k| 337 | - | 367 | 509 | 0 | 0 | 0 | 860k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
518.84/519.09 c 480s| 1300k| 258 | 0 | 0.0 |2160k| 337 | - | 367 | 510 | 0 | 0 | 0 | 866k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
522.74/522.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
522.74/522.94 c 484s| 1310k| 266 | 0 | 0.0 |2161k| 337 | - | 367 | 510 | 0 | 0 | 0 | 873k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
526.13/526.31 c 487s| 1320k| 269 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 | 879k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
529.53/529.76 c 490s| 1330k| 257 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 | 886k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
533.13/533.38 c 493s| 1340k| 252 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 | 893k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
537.02/537.24 c 497s| 1350k| 264 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 | 900k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
540.32/540.51 c 500s| 1360k| 255 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 | 906k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
543.83/544.08 c 503s| 1370k| 261 | 0 | 0.0 |2163k| 337 | - | 367 | 510 | 0 | 0 | 0 | 913k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
547.53/547.80 c 506s| 1380k| 260 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 | 919k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
551.22/551.48 c 510s| 1390k| 251 | 0 | 0.0 |2160k| 337 | - | 367 | 509 | 0 | 0 | 0 | 926k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
555.23/555.49 c 514s| 1400k| 258 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 | 934k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
558.83/559.09 c 517s| 1410k| 256 | 0 | 0.0 |2159k| 337 | - | 367 | 509 | 0 | 0 | 0 | 940k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
562.82/563.01 c 521s| 1420k| 254 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 | 947k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
566.82/567.07 c 524s| 1430k| 262 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 | 954k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
570.22/570.45 c 527s| 1440k| 258 | 0 | 0.0 |2160k| 337 | - | 367 | 509 | 0 | 0 | 0 | 960k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
574.02/574.22 c 531s| 1450k| 251 | 0 | 0.0 |2160k| 337 | - | 367 | 509 | 0 | 0 | 0 | 967k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
577.42/577.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.42/577.70 c 534s| 1460k| 260 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 | 973k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
581.11/581.33 c 537s| 1470k| 261 | 0 | 0.0 |2173k| 337 | - | 367 | 509 | 0 | 0 | 0 | 979k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
584.92/585.12 c 541s| 1480k| 268 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 | 985k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
588.81/589.06 c 545s| 1490k| 259 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 | 991k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
593.41/593.61 c 549s| 1500k| 258 | 0 | 0.0 |2159k| 337 | - | 367 | 509 | 0 | 0 | 0 | 999k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
597.12/597.38 c 552s| 1510k| 265 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 |1005k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
601.01/601.20 c 556s| 1520k| 252 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1011k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
604.81/605.06 c 559s| 1530k| 261 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1018k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
608.81/609.08 c 563s| 1540k| 259 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1024k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
612.80/613.05 c 567s| 1550k| 256 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1031k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
616.70/616.99 c 570s| 1560k| 260 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1037k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
621.10/621.38 c 574s| 1570k| 258 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1044k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
625.11/625.30 c 578s| 1580k| 255 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1051k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
628.60/628.86 c 581s| 1590k| 255 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1057k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
632.31/632.55 c 585s| 1600k| 256 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1062k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
636.61/636.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.61/636.84 c 589s| 1610k| 259 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1069k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
640.90/641.18 c 593s| 1620k| 261 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1076k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
644.99/645.22 c 597s| 1630k| 256 | 0 | 0.0 |2160k| 337 | - | 367 | 509 | 0 | 0 | 0 |1083k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
648.60/648.89 c 600s| 1640k| 255 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1089k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
652.29/652.52 c 603s| 1650k| 257 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 |1095k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
656.60/656.84 c 607s| 1660k| 252 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1102k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
660.99/661.22 c 611s| 1670k| 255 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1110k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
665.09/665.38 c 615s| 1680k| 254 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 |1116k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
669.19/669.40 c 619s| 1690k| 263 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1123k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
672.99/673.21 c 623s| 1700k| 255 | 0 | 0.0 |2174k| 337 | - | 367 | 509 | 0 | 0 | 0 |1129k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
677.09/677.31 c 626s| 1710k| 258 | 0 | 0.0 |2165k| 337 | - | 367 | 510 | 0 | 0 | 0 |1136k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
681.29/681.58 c 630s| 1720k| 256 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1143k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
685.29/685.55 c 634s| 1730k| 257 | 0 | 0.0 |2170k| 337 | - | 367 | 509 | 0 | 0 | 0 |1150k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
689.68/689.97 c 638s| 1740k| 251 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1157k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
693.98/694.29 c 642s| 1750k| 260 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1164k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
698.29/698.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.29/698.58 c 646s| 1760k| 260 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1169k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
702.98/703.25 c 650s| 1770k| 256 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1176k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
706.99/707.21 c 654s| 1780k| 256 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1182k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
712.07/712.31 c 659s| 1790k| 244 | 0 | 0.0 |2172k| 337 | - | 367 | 509 | 0 | 0 | 0 |1190k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
715.57/715.89 c 662s| 1800k| 253 | 0 | 0.0 |2161k| 337 | - | 367 | 509 | 0 | 0 | 0 |1196k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
719.08/719.37 c 665s| 1810k| 258 | 0 | 0.0 |2171k| 337 | - | 367 | 509 | 0 | 0 | 0 |1202k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
722.48/722.77 c 668s| 1820k| 254 | 0 | 0.0 |2161k| 337 | - | 367 | 510 | 0 | 0 | 0 |1208k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
726.17/726.49 c 672s| 1830k| 251 | 0 | 0.0 |2172k| 337 | - | 367 | 509 | 0 | 0 | 0 |1214k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
730.27/730.54 c 676s| 1840k| 258 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1220k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
734.07/734.39 c 679s| 1850k| 250 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1227k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
738.37/738.64 c 683s| 1860k| 254 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1234k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
741.96/742.22 c 686s| 1870k| 261 | 0 | 0.0 |2182k| 337 | - | 367 | 541 | 0 | 0 | 0 |1241k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
745.26/745.58 c 690s| 1880k| 255 | 0 | 0.0 |2170k| 337 | - | 367 | 509 | 0 | 0 | 0 |1247k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
749.07/749.32 c 693s| 1890k| 258 | 0 | 0.0 |2173k| 337 | - | 367 | 509 | 0 | 0 | 0 |1254k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
752.86/753.13 c 696s| 1900k| 253 | 0 | 0.0 |2168k| 337 | - | 367 | 509 | 0 | 0 | 0 |1260k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
756.47/756.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
756.47/756.77 c 700s| 1910k| 252 | 0 | 0.0 |2172k| 337 | - | 367 | 510 | 0 | 0 | 0 |1267k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
760.36/760.64 c 703s| 1920k| 253 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 |1274k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
764.36/764.62 c 707s| 1930k| 257 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1281k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
768.06/768.35 c 710s| 1940k| 259 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1288k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
771.87/772.19 c 714s| 1950k| 257 | 0 | 0.0 |2166k| 337 | - | 367 | 510 | 0 | 0 | 0 |1294k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
775.45/775.78 c 717s| 1960k| 259 | 0 | 0.0 |2167k| 337 | - | 367 | 510 | 0 | 0 | 0 |1301k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
779.46/779.76 c 721s| 1970k| 251 | 0 | 0.0 |2170k| 337 | - | 367 | 510 | 0 | 0 | 0 |1308k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
783.65/783.97 c 725s| 1980k| 254 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1315k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
787.26/787.59 c 728s| 1990k| 257 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1321k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
791.15/791.42 c 732s| 2000k| 265 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1328k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
794.95/795.21 c 735s| 2010k| 252 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1335k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
798.55/798.86 c 739s| 2020k| 255 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1341k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
801.95/802.24 c 742s| 2030k| 257 | 0 | 0.0 |2165k| 337 | - | 367 | 510 | 0 | 0 | 0 |1347k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
805.54/805.82 c 745s| 2040k| 258 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1354k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
809.64/809.98 c 749s| 2050k| 251 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 |1361k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
813.84/814.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.84/814.14 c 753s| 2060k| 254 | 0 | 0.0 |2168k| 337 | - | 367 | 510 | 0 | 0 | 0 |1369k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
818.05/818.32 c 757s| 2070k| 256 | 0 | 0.0 |2166k| 337 | - | 367 | 510 | 0 | 0 | 0 |1376k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
821.84/822.17 c 760s| 2080k| 250 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1383k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
825.24/825.55 c 763s| 2090k| 256 | 0 | 0.0 |2163k| 337 | - | 367 | 509 | 0 | 0 | 0 |1389k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
828.43/828.78 c 766s| 2100k| 251 | 0 | 0.0 |2167k| 337 | - | 367 | 510 | 0 | 0 | 0 |1395k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
832.34/832.68 c 770s| 2110k| 265 | 0 | 0.0 |2190k| 337 | - | 367 | 565 | 0 | 0 | 0 |1402k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
835.33/835.70 c 772s| 2120k| 256 | 0 | 0.0 |2171k| 337 | - | 367 | 509 | 0 | 0 | 0 |1408k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
838.83/839.16 c 776s| 2130k| 258 | 0 | 0.0 |2171k| 337 | - | 367 | 510 | 0 | 0 | 0 |1414k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
842.73/843.00 c 779s| 2140k| 253 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1421k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
846.63/846.92 c 783s| 2150k| 257 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1427k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
850.53/850.85 c 786s| 2160k| 259 | 0 | 0.0 |2168k| 337 | - | 367 | 509 | 0 | 0 | 0 |1434k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
854.23/854.55 c 790s| 2170k| 260 | 0 | 0.0 |2172k| 337 | - | 367 | 510 | 0 | 0 | 0 |1441k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
857.73/858.07 c 793s| 2180k| 257 | 0 | 0.0 |2168k| 337 | - | 367 | 509 | 0 | 0 | 0 |1448k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
861.43/861.79 c 797s| 2190k| 255 | 0 | 0.0 |2173k| 337 | - | 367 | 509 | 0 | 0 | 0 |1455k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
864.93/865.22 c 800s| 2200k| 249 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1461k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
868.32/868.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
868.32/868.64 c 803s| 2210k| 256 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1467k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
872.22/872.54 c 807s| 2220k| 258 | 0 | 0.0 |2167k| 337 | - | 367 | 510 | 0 | 0 | 0 |1474k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
875.72/876.02 c 810s| 2230k| 254 | 0 | 0.0 |2171k| 337 | - | 367 | 509 | 0 | 0 | 0 |1481k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
878.91/879.29 c 813s| 2240k| 254 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 |1487k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
882.52/882.84 c 816s| 2250k| 257 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1493k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
886.22/886.58 c 820s| 2260k| 256 | 0 | 0.0 |2170k| 337 | - | 367 | 509 | 0 | 0 | 0 |1499k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
889.91/890.24 c 823s| 2270k| 256 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1506k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
893.61/893.99 c 826s| 2280k| 260 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1513k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
897.81/898.18 c 830s| 2290k| 251 | 0 | 0.0 |2173k| 337 | - | 367 | 510 | 0 | 0 | 0 |1522k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
901.31/901.66 c 833s| 2300k| 253 | 0 | 0.0 |2171k| 337 | - | 367 | 510 | 0 | 0 | 0 |1528k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
905.11/905.47 c 837s| 2310k| 254 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1535k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
908.71/909.07 c 840s| 2320k| 253 | 0 | 0.0 |2166k| 337 | - | 367 | 510 | 0 | 0 | 0 |1541k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
912.31/912.69 c 844s| 2330k| 253 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1547k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
916.11/916.47 c 847s| 2340k| 256 | 0 | 0.0 |2165k| 337 | - | 367 | 510 | 0 | 0 | 0 |1555k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
920.01/920.31 c 851s| 2350k| 251 | 0 | 0.0 |2172k| 337 | - | 367 | 510 | 0 | 0 | 0 |1561k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
923.61/923.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.61/923.97 c 854s| 2360k| 253 | 0 | 0.0 |2167k| 337 | - | 367 | 510 | 0 | 0 | 0 |1568k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
927.50/927.84 c 858s| 2370k| 253 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1575k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
931.10/931.49 c 861s| 2380k| 246 | 0 | 0.0 |2164k| 337 | - | 367 | 510 | 0 | 0 | 0 |1582k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
934.90/935.29 c 864s| 2390k| 255 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1589k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
939.30/939.67 c 868s| 2400k| 254 | 0 | 0.0 |2174k| 337 | - | 367 | 509 | 0 | 0 | 0 |1595k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
943.51/943.89 c 872s| 2410k| 253 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1602k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
948.20/948.56 c 877s| 2420k| 251 | 0 | 0.0 |2167k| 337 | - | 367 | 509 | 0 | 0 | 0 |1609k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
952.31/952.67 c 880s| 2430k| 258 | 0 | 0.0 |2171k| 337 | - | 367 | 509 | 0 | 0 | 0 |1616k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
956.61/956.93 c 884s| 2440k| 258 | 0 | 0.0 |2169k| 337 | - | 367 | 509 | 0 | 0 | 0 |1624k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
960.20/960.53 c 888s| 2450k| 257 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1630k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
964.19/964.56 c 891s| 2460k| 248 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1637k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
968.59/968.91 c 895s| 2470k| 255 | 0 | 0.0 |2166k| 337 | - | 367 | 509 | 0 | 0 | 0 |1644k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
972.29/972.64 c 899s| 2480k| 255 | 0 | 0.0 |2164k| 337 | - | 367 | 509 | 0 | 0 | 0 |1651k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
975.89/976.29 c 902s| 2490k| 256 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1657k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
980.09/980.44 c 906s| 2500k| 250 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1664k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
984.20/984.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
984.20/984.58 c 910s| 2510k| 250 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1671k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
988.50/988.88 c 914s| 2520k| 258 | 0 | 0.0 |2165k| 337 | - | 367 | 509 | 0 | 0 | 0 |1678k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
992.79/993.13 c 918s| 2530k| 249 | 0 | 0.0 |2162k| 337 | - | 367 | 509 | 0 | 0 | 0 |1685k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
996.69/997.07 c 921s| 2540k| 266 | 0 | 0.0 |3708k| 337 | - | 367 |3883 | 0 | 0 | 0 |1694k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1000.28/1000.60 c 925s| 2550k| 259 | 0 | 0.0 |3706k| 337 | - | 367 |3883 | 0 | 0 | 0 |1700k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1003.89/1004.27 c 928s| 2560k| 253 | 0 | 0.0 |2311k| 337 | - | 367 | 509 | 0 | 0 | 0 |1706k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1007.58/1007.92 c 931s| 2570k| 259 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1712k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1011.28/1011.64 c 935s| 2580k| 253 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |1718k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1014.99/1015.34 c 938s| 2590k| 253 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |1723k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1018.68/1019.00 c 942s| 2600k| 254 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |1729k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1022.47/1022.88 c 945s| 2610k| 250 | 0 | 0.0 |2301k| 337 | - | 367 | 510 | 0 | 0 | 0 |1735k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1026.48/1026.84 c 949s| 2620k| 259 | 0 | 0.0 |2309k| 337 | - | 367 | 510 | 0 | 0 | 0 |1741k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1030.38/1030.77 c 953s| 2630k| 255 | 0 | 0.0 |2311k| 337 | - | 367 | 510 | 0 | 0 | 0 |1747k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1034.17/1034.57 c 956s| 2640k| 255 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |1754k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1037.98/1038.37 c 960s| 2650k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |1760k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1042.07/1042.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.07/1042.40 c 963s| 2660k| 259 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |1766k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1046.47/1046.88 c 967s| 2670k| 254 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |1772k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1050.86/1051.28 c 972s| 2680k| 253 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |1778k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1054.97/1055.38 c 975s| 2690k| 257 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |1785k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1058.87/1059.28 c 979s| 2700k| 254 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |1791k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1062.37/1062.79 c 982s| 2710k| 253 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1797k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1065.66/1066.03 c 985s| 2720k| 256 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |1802k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1069.06/1069.46 c 988s| 2730k| 259 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |1809k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1072.26/1072.64 c 991s| 2740k| 253 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |1814k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1075.96/1076.31 c 995s| 2750k| 251 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1821k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1080.06/1080.41 c 999s| 2760k| 248 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |1827k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1083.76/1084.10 c 1002s| 2770k| 259 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |1834k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1087.57/1087.92 c 1006s| 2780k| 252 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |1840k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1091.26/1091.66 c 1009s| 2790k| 260 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1847k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1094.76/1095.14 c 1012s| 2800k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |1853k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1098.16/1098.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1098.16/1098.55 c 1015s| 2810k| 258 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |1860k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1102.06/1102.44 c 1019s| 2820k| 255 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |1866k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1105.95/1106.37 c 1023s| 2830k| 248 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |1873k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1109.45/1109.88 c 1026s| 2840k| 256 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1879k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1113.05/1113.48 c 1029s| 2850k| 249 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |1885k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1116.95/1117.30 c 1033s| 2860k| 249 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |1891k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1121.05/1121.41 c 1036s| 2870k| 257 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |1897k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1125.14/1125.51 c 1040s| 2880k| 251 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |1904k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1129.15/1129.53 c 1044s| 2890k| 253 | 0 | 0.0 |2308k| 337 | - | 367 | 513 | 0 | 0 | 0 |1911k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1132.84/1133.23 c 1047s| 2900k| 252 | 0 | 0.0 |2301k| 337 | - | 367 | 509 | 0 | 0 | 0 |1918k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1136.84/1137.23 c 1051s| 2910k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |1925k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1141.04/1141.40 c 1055s| 2920k| 253 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |1932k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1145.74/1146.12 c 1059s| 2930k| 253 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |1939k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1149.73/1150.16 c 1063s| 2940k| 251 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |1946k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1153.54/1153.96 c 1066s| 2950k| 247 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |1953k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1158.13/1158.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1158.13/1158.51 c 1071s| 2960k| 253 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |1959k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1162.33/1162.74 c 1075s| 2970k| 249 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |1966k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1166.43/1166.84 c 1078s| 2980k| 255 | 0 | 0.0 |2312k| 337 | - | 367 | 510 | 0 | 0 | 0 |1973k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1169.53/1169.96 c 1081s| 2990k| 257 | 0 | 0.0 |2310k| 337 | - | 367 | 510 | 0 | 0 | 0 |1979k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1172.93/1173.30 c 1084s| 3000k| 253 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |1985k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1176.43/1176.83 c 1088s| 3010k| 247 | 0 | 0.0 |2300k| 337 | - | 367 | 509 | 0 | 0 | 0 |1992k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1179.84/1180.23 c 1091s| 3020k| 250 | 0 | 0.0 |2302k| 337 | - | 367 | 510 | 0 | 0 | 0 |1998k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1183.14/1183.52 c 1094s| 3030k| 264 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2004k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1186.43/1186.83 c 1097s| 3040k| 258 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2010k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1189.63/1190.02 c 1100s| 3050k| 251 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2016k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1192.93/1193.30 c 1103s| 3060k| 259 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2023k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1196.33/1196.71 c 1106s| 3070k| 256 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2029k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1199.52/1199.95 c 1109s| 3080k| 252 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2035k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1203.12/1203.53 c 1112s| 3090k| 253 | 0 | 0.0 |2312k| 337 | - | 367 | 510 | 0 | 0 | 0 |2042k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1206.52/1206.97 c 1115s| 3100k| 253 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2049k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1209.92/1210.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1209.92/1210.37 c 1118s| 3110k| 251 | 0 | 0.0 |2309k| 337 | - | 367 | 510 | 0 | 0 | 0 |2055k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1213.31/1213.80 c 1122s| 3120k| 255 | 0 | 0.0 |2317k| 337 | - | 367 | 512 | 0 | 0 | 0 |2061k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1216.82/1217.26 c 1125s| 3130k| 259 | 0 | 0.0 |2309k| 337 | - | 367 | 511 | 0 | 0 | 0 |2067k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1220.22/1220.66 c 1128s| 3140k| 261 | 0 | 0.0 |2309k| 337 | - | 367 | 511 | 0 | 0 | 0 |2073k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1223.51/1223.99 c 1131s| 3150k| 255 | 0 | 0.0 |2305k| 337 | - | 367 | 511 | 0 | 0 | 0 |2079k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1227.01/1227.44 c 1134s| 3160k| 255 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |2086k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1230.11/1230.59 c 1137s| 3170k| 257 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2092k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1233.21/1233.68 c 1140s| 3180k| 251 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2098k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1236.61/1237.09 c 1143s| 3190k| 251 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2104k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1239.81/1240.30 c 1146s| 3200k| 249 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2110k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1243.51/1243.90 c 1149s| 3210k| 253 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2117k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1246.60/1247.07 c 1152s| 3220k| 248 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2123k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1249.81/1250.27 c 1155s| 3230k| 257 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2129k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1253.51/1253.91 c 1158s| 3240k| 253 | 0 | 0.0 |2305k| 337 | - | 367 | 511 | 0 | 0 | 0 |2136k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1256.71/1257.14 c 1161s| 3250k| 255 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |2143k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1260.11/1260.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1260.11/1260.60 c 1164s| 3260k| 256 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2149k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1263.90/1264.39 c 1168s| 3270k| 255 | 0 | 0.0 |2307k| 337 | - | 367 | 511 | 0 | 0 | 0 |2157k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1267.40/1267.87 c 1171s| 3280k| 248 | 0 | 0.0 |2302k| 337 | - | 367 | 510 | 0 | 0 | 0 |2163k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1271.11/1271.59 c 1175s| 3290k| 252 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2170k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1275.20/1275.62 c 1178s| 3300k| 253 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |2177k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1279.20/1279.65 c 1182s| 3310k| 258 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2184k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1282.90/1283.32 c 1185s| 3320k| 246 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2190k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1286.30/1286.70 c 1189s| 3330k| 257 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2197k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1290.00/1290.44 c 1192s| 3340k| 253 | 0 | 0.0 |2313k| 337 | - | 367 | 509 | 0 | 0 | 0 |2203k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1293.60/1294.00 c 1195s| 3350k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2209k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1297.79/1298.27 c 1199s| 3360k| 253 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2217k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1302.09/1302.53 c 1203s| 3370k| 248 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2224k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1306.48/1306.90 c 1207s| 3380k| 254 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2231k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1310.18/1310.65 c 1211s| 3390k| 251 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2237k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1313.98/1314.41 c 1214s| 3400k| 247 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2243k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1317.67/1318.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1317.67/1318.18 c 1218s| 3410k| 257 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2250k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1321.78/1322.21 c 1221s| 3420k| 248 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |2257k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1325.27/1325.74 c 1224s| 3430k| 246 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |2263k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1328.97/1329.40 c 1228s| 3440k| 263 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2269k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1332.47/1332.98 c 1231s| 3450k| 260 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2276k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1336.07/1336.57 c 1234s| 3460k| 261 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2282k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1339.67/1340.19 c 1238s| 3470k| 254 | 0 | 0.0 |2316k| 337 | - | 367 | 509 | 0 | 0 | 0 |2288k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1343.37/1343.89 c 1241s| 3480k| 253 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2293k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1346.97/1347.42 c 1245s| 3490k| 254 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |2299k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1350.37/1350.85 c 1248s| 3500k| 258 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2305k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1353.97/1354.47 c 1251s| 3510k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2311k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1357.36/1357.89 c 1254s| 3520k| 248 | 0 | 0.0 |2301k| 337 | - | 367 | 509 | 0 | 0 | 0 |2317k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1361.06/1361.52 c 1258s| 3530k| 255 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2323k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1364.47/1364.96 c 1261s| 3540k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2329k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1367.87/1368.31 c 1264s| 3550k| 254 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2334k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1371.27/1371.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.27/1371.74 c 1267s| 3560k| 261 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2340k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1375.26/1375.79 c 1271s| 3570k| 257 | 0 | 0.0 |2314k| 337 | - | 367 | 509 | 0 | 0 | 0 |2346k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1379.36/1379.83 c 1275s| 3580k| 255 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2353k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1383.36/1383.89 c 1278s| 3590k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |2360k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1387.36/1387.88 c 1282s| 3600k| 254 | 0 | 0.0 |2307k| 337 | - | 367 | 510 | 0 | 0 | 0 |2366k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1390.86/1391.37 c 1285s| 3610k| 256 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2372k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1394.85/1395.37 c 1289s| 3620k| 246 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2378k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1398.45/1398.98 c 1292s| 3630k| 258 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2384k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1402.25/1402.72 c 1296s| 3640k| 256 | 0 | 0.0 |2311k| 337 | - | 367 | 510 | 0 | 0 | 0 |2390k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1405.65/1406.13 c 1299s| 3650k| 248 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2396k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1409.14/1409.62 c 1302s| 3660k| 262 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |2402k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1412.65/1413.18 c 1306s| 3670k| 259 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2408k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1416.45/1416.92 c 1309s| 3680k| 251 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2414k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1420.35/1420.86 c 1313s| 3690k| 254 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2420k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1424.44/1424.97 c 1317s| 3700k| 255 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2427k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1428.14/1428.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1428.14/1428.64 c 1320s| 3710k| 254 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2433k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1431.94/1432.48 c 1324s| 3720k| 259 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2439k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1435.84/1436.30 c 1327s| 3730k| 256 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2445k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1439.74/1440.27 c 1331s| 3740k| 255 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2452k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1444.04/1444.54 c 1335s| 3750k| 254 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |2458k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1447.63/1448.15 c 1338s| 3760k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2464k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1451.34/1451.89 c 1342s| 3770k| 253 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2470k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1455.23/1455.80 c 1345s| 3780k| 257 | 0 | 0.0 |2307k| 337 | - | 367 | 510 | 0 | 0 | 0 |2477k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1459.03/1459.52 c 1349s| 3790k| 252 | 0 | 0.0 |2315k| 337 | - | 367 | 510 | 0 | 0 | 0 |2483k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1462.54/1463.06 c 1352s| 3800k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2488k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1465.93/1466.42 c 1355s| 3810k| 258 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2494k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1469.43/1469.96 c 1359s| 3820k| 257 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2500k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1473.03/1473.57 c 1362s| 3830k| 255 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2506k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1476.92/1477.49 c 1366s| 3840k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2513k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1480.72/1481.22 c 1369s| 3850k| 251 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2518k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1484.54/1485.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1484.54/1485.04 c 1372s| 3860k| 249 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |2525k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1487.92/1488.40 c 1376s| 3870k| 254 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2530k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1491.62/1492.13 c 1379s| 3880k| 257 | 0 | 0.0 |2314k| 337 | - | 367 | 509 | 0 | 0 | 0 |2537k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1494.92/1495.41 c 1382s| 3890k| 257 | 0 | 0.0 |2309k| 337 | - | 367 | 515 | 0 | 0 | 0 |2543k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1498.42/1498.91 c 1385s| 3900k| 258 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |2549k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1502.22/1502.75 c 1389s| 3910k| 259 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |2555k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1506.12/1506.61 c 1392s| 3920k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2561k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1509.52/1510.07 c 1396s| 3930k| 252 | 0 | 0.0 |2309k| 337 | - | 367 | 510 | 0 | 0 | 0 |2567k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1513.22/1513.75 c 1399s| 3940k| 256 | 0 | 0.0 |2307k| 337 | - | 367 | 510 | 0 | 0 | 0 |2573k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1517.21/1517.73 c 1403s| 3950k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2579k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1520.72/1521.30 c 1406s| 3960k| 250 | 0 | 0.0 |2304k| 337 | - | 367 | 510 | 0 | 0 | 0 |2585k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1524.61/1525.18 c 1410s| 3970k| 249 | 0 | 0.0 |2308k| 337 | - | 367 | 510 | 0 | 0 | 0 |2591k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1528.42/1528.98 c 1413s| 3980k| 250 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2598k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1532.21/1532.70 c 1417s| 3990k| 252 | 0 | 0.0 |2317k| 337 | - | 367 | 510 | 0 | 0 | 0 |2604k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1535.81/1536.39 c 1420s| 4000k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2610k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1539.61/1540.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1539.61/1540.15 c 1424s| 4010k| 248 | 0 | 0.0 |2314k| 337 | - | 367 | 510 | 0 | 0 | 0 |2617k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1543.41/1543.97 c 1427s| 4020k| 255 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2623k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1547.81/1548.38 c 1431s| 4030k| 250 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2629k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1551.81/1552.37 c 1435s| 4040k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2635k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1555.60/1556.17 c 1439s| 4050k| 246 | 0 | 0.0 |2311k| 337 | - | 367 | 509 | 0 | 0 | 0 |2641k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1559.80/1560.34 c 1442s| 4060k| 257 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2646k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1563.71/1564.23 c 1446s| 4070k| 247 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |2652k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1567.41/1567.95 c 1450s| 4080k| 258 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2657k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1571.31/1571.83 c 1453s| 4090k| 253 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2664k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1575.19/1575.72 c 1457s| 4100k| 247 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |2670k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1579.00/1579.53 c 1460s| 4110k| 252 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2676k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1582.60/1583.16 c 1464s| 4120k| 256 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2682k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1586.40/1586.96 c 1467s| 4130k| 258 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2688k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1590.10/1590.69 c 1471s| 4140k| 259 | 0 | 0.0 |2321k| 337 | - | 367 | 543 | 0 | 0 | 0 |2694k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1593.79/1594.31 c 1474s| 4150k| 259 | 0 | 0.0 |2310k| 337 | - | 367 | 510 | 0 | 0 | 0 |2700k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1597.49/1598.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1597.49/1598.08 c 1478s| 4160k| 256 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2706k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1601.29/1601.83 c 1481s| 4170k| 258 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2712k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1604.89/1605.43 c 1484s| 4180k| 247 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2718k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1608.59/1609.17 c 1488s| 4190k| 259 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2724k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1611.79/1612.37 c 1491s| 4200k| 260 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2730k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1615.19/1615.77 c 1494s| 4210k| 253 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2736k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1618.89/1619.42 c 1497s| 4220k| 255 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2742k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1622.58/1623.11 c 1501s| 4230k| 251 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2748k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1626.29/1626.82 c 1504s| 4240k| 263 | 0 | 0.0 |2311k| 337 | - | 367 | 510 | 0 | 0 | 0 |2754k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1629.88/1630.49 c 1508s| 4250k| 261 | 0 | 0.0 |2312k| 337 | - | 367 | 509 | 0 | 0 | 0 |2760k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1633.88/1634.44 c 1512s| 4260k| 252 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2766k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1637.39/1637.98 c 1515s| 4270k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2772k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1641.07/1641.69 c 1518s| 4280k| 249 | 0 | 0.0 |2310k| 337 | - | 367 | 510 | 0 | 0 | 0 |2778k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1645.28/1645.87 c 1522s| 4290k| 255 | 0 | 0.0 |2314k| 337 | - | 367 | 509 | 0 | 0 | 0 |2784k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1649.48/1650.08 c 1526s| 4300k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2789k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1653.38/1653.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1653.38/1653.96 c 1530s| 4310k| 249 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2795k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1657.27/1657.84 c 1533s| 4320k| 252 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2801k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1661.18/1661.76 c 1537s| 4330k| 251 | 0 | 0.0 |2307k| 337 | - | 367 | 510 | 0 | 0 | 0 |2807k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1665.27/1665.88 c 1541s| 4340k| 252 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2814k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1669.37/1669.94 c 1545s| 4350k| 251 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2821k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1673.17/1673.73 c 1548s| 4360k| 251 | 0 | 0.0 |2310k| 337 | - | 367 | 510 | 0 | 0 | 0 |2827k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1676.88/1677.40 c 1552s| 4370k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2833k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1680.87/1681.48 c 1555s| 4380k| 256 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2839k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1684.67/1685.26 c 1559s| 4390k| 259 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2845k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1688.07/1688.63 c 1562s| 4400k| 249 | 0 | 0.0 |2303k| 337 | - | 367 | 509 | 0 | 0 | 0 |2852k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1692.56/1693.16 c 1566s| 4410k| 248 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2858k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1696.36/1696.96 c 1570s| 4420k| 253 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |2865k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1700.07/1700.66 c 1573s| 4430k| 254 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2871k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1704.26/1704.83 c 1577s| 4440k| 252 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2877k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1708.66/1709.22 c 1581s| 4450k| 246 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |2884k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1712.36/1712.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.36/1712.93 c 1585s| 4460k| 260 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2890k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1715.66/1716.29 c 1588s| 4470k| 253 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |2896k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1719.46/1720.03 c 1591s| 4480k| 255 | 0 | 0.0 |2307k| 337 | - | 367 | 510 | 0 | 0 | 0 |2902k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1723.56/1724.14 c 1595s| 4490k| 252 | 0 | 0.0 |2304k| 337 | - | 367 | 509 | 0 | 0 | 0 |2909k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1727.36/1727.91 c 1598s| 4500k| 252 | 0 | 0.0 |2305k| 337 | - | 367 | 509 | 0 | 0 | 0 |2916k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1731.56/1732.12 c 1602s| 4510k| 253 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2923k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1735.35/1735.92 c 1606s| 4520k| 250 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |2929k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1739.45/1740.04 c 1610s| 4530k| 256 | 0 | 0.0 |2309k| 337 | - | 367 | 509 | 0 | 0 | 0 |2935k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1743.65/1744.24 c 1614s| 4540k| 256 | 0 | 0.0 |2310k| 337 | - | 367 | 509 | 0 | 0 | 0 |2942k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1747.05/1747.66 c 1617s| 4550k| 245 | 0 | 0.0 |2310k| 337 | - | 367 | 510 | 0 | 0 | 0 |2948k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1750.65/1751.28 c 1620s| 4560k| 250 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2955k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1754.25/1754.89 c 1623s| 4570k| 251 | 0 | 0.0 |2302k| 337 | - | 367 | 509 | 0 | 0 | 0 |2962k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1758.15/1758.70 c 1627s| 4580k| 257 | 0 | 0.0 |2309k| 337 | - | 367 | 510 | 0 | 0 | 0 |2968k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1761.35/1761.96 c 1630s| 4590k| 260 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |2974k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1765.24/1765.85 c 1633s| 4600k| 254 | 0 | 0.0 |2308k| 337 | - | 367 | 509 | 0 | 0 | 0 |2980k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1769.24/1769.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1769.24/1769.89 c 1637s| 4610k| 261 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2986k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1773.14/1773.78 c 1641s| 4620k| 253 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |2992k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1777.44/1778.04 c 1645s| 4630k| 255 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |2999k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1780.84/1781.44 c 1648s| 4640k| 257 | 0 | 0.0 |2305k| 337 | - | 367 | 510 | 0 | 0 | 0 |3006k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1784.44/1785.10 c 1651s| 4650k| 250 | 0 | 0.0 |2303k| 337 | - | 367 | 510 | 0 | 0 | 0 |3012k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1788.73/1789.30 c 1655s| 4660k| 244 | 0 | 0.0 |2306k| 337 | - | 367 | 509 | 0 | 0 | 0 |3019k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1792.44/1793.05 c 1659s| 4670k| 255 | 0 | 0.0 |2307k| 337 | - | 367 | 509 | 0 | 0 | 0 |3026k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1796.33/1796.99 c 1662s| 4680k| 255 | 0 | 0.0 |2306k| 337 | - | 367 | 510 | 0 | 0 | 0 |3032k| 0 | 6.000000e+00 | 3.300000e+01 | 450.00%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1665.54
1800.04/1800.61 c Solving Nodes : 4689440
1800.04/1800.61 c Primal Bound : +3.30000000000000e+01 (6 solutions)
1800.04/1800.61 c Dual Bound : +6.00000000000000e+00
1800.04/1800.61 c Gap : 450.00 %
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v -x372 -x371 x370 x369 -x368 -x367 x366 x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
1800.04/1800.61 v -x350 -x349 x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 x330 -x329
1800.04/1800.61 v -x328 -x327 -x326 -x325 -x324 x323 x322 -x321 -x320 -x319 -x318 x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308
1800.04/1800.61 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287
1800.04/1800.61 v -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266
1800.04/1800.61 v x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245
1800.04/1800.61 v -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
1800.04/1800.61 v -x223 -x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
1800.04/1800.61 v -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 x187 -x186 -x185 -x184 -x183 x182
1800.04/1800.61 v x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
1800.04/1800.61 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
1800.04/1800.61 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 x120 -x119 -x118
1800.04/1800.61 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1800.04/1800.61 v -x96 -x95 -x94 -x93 x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 -x71
1800.04/1800.61 v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 x47 -x46
1800.04/1800.61 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20
1800.04/1800.61 v -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1665.54
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2664623-1276407558.opb
1800.04/1800.61 c Variables : 372 (372 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 772 initial, 772 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2664623-1276407558.opb
1800.04/1800.61 c Variables : 367 (367 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 508 initial, 3893 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.02 5 0 0 5 0 147 3 0
1800.04/1800.61 c logicor : 0.02 0 0 0 0 0 117 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c logicor : 508+ 0 12838648 0 3 2156458 8824298 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c logicor : 552.12 0.00 552.12 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 10.15 2 0 0
1800.04/1800.61 c rootredcost : 9.46 0 0 0
1800.04/1800.61 c pseudoobj : 650.14 22221326 874546 153236620
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 616.66 3027830 3027830 3027830 117.0 45375 93.4 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 0.00 1 1 1 114.0 0 0.0 -
1800.04/1800.61 c applied globally : - - - 63272 31.9 - - -
1800.04/1800.61 c applied locally : - - - 2976026 118.5 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.61 c redcost : 0.00 0 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 0.00 0 0 0 0 0
1800.04/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.61 c cmir : 0.00 0 0 0 0 0
1800.04/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.61 c clique : 0.00 0 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.00 0 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 67.10 3641599 0 0 0 0 7283198
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 3
1800.04/1800.61 c oneopt : 3.17 0 0
1800.04/1800.61 c trivial : 0.01 2 3
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 0 0
1800.04/1800.61 c rounding : 0.00 0 0
1800.04/1800.61 c shifting : 0.00 0 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 0.00 0 0
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 2.00 0 0
1800.04/1800.61 c trysol : 1.92 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.61 c (at root node) : - 0 0 0.00 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 4689440
1800.04/1800.61 c nodes (total) : 4689440
1800.04/1800.61 c nodes left : 256
1800.04/1800.61 c max depth : 337
1800.04/1800.61 c max depth (total): 337
1800.04/1800.61 c backtracks : 2026851 (43.2%)
1800.04/1800.61 c delayed cutoffs : 2593497
1800.04/1800.61 c repropagations : 7126460 (108010731 domain reductions, 1983167 cutoffs)
1800.04/1800.61 c avg switch length: 3.78
1800.04/1800.61 c switching time : 137.58
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 6 (5 improvements)
1800.04/1800.61 c First Solution : +3.72000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.04/1800.61 c Primal Bound : +3.30000000000000e+01 (in run 1, after 315172 nodes, 119.75 seconds, depth 286, found by <relaxation>)
1800.04/1800.61 c Dual Bound : +6.00000000000000e+00
1800.04/1800.61 c Gap : 450.00 %
1800.04/1800.61 c Root Dual Bound : +5.00000000000000e+00
1800.04/1800.61 c Root Iterations : 0
1800.04/1800.62 c Time complete: 1800.05.
OK 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664623-1276407558/watcher-2664623-1276407558 -o /tmp/evaluation-result-2664623-1276407558/solver-2664623-1276407558 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664623-1276407558.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.04 3/106 21206 /proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=5552 CPUtime=0 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 817 0 0 0 0 0 0 0 23 0 1 0 16359517 5685248 740 1992294400 4194304 7136930 140735197448608 18446744073709551615 6346856 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21206/statm: 1388 749 243 719 0 667 0 [startup+0.0892019 s] /proc/loadavg: 1.00 1.00 1.04 3/106 21206 /proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=14496 CPUtime=0.08 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 3803 0 0 0 7 1 0 0 23 0 1 0 16359517 14843904 2858 1992294400 4194304 7136930 140735197448608 18446744073709551615 4333569 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 3624 2858 355 719 0 2903 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 14496 [startup+0.101203 s] /proc/loadavg: 1.00 1.00 1.04 3/106 21206 /proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=13468 CPUtime=0.09 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 3803 0 0 0 8 1 0 0 24 0 1 0 16359517 13791232 2601 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 3367 2601 355 719 0 2646 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13468 [startup+0.301225 s] /proc/loadavg: 1.00 1.00 1.04 3/106 21206 /proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=15068 CPUtime=0.29 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4516 0 0 0 26 3 0 0 25 0 1 0 16359517 15429632 3054 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 3767 3054 386 719 0 3046 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15068 [startup+0.701269 s] /proc/loadavg: 1.00 1.00 1.04 3/106 21206 /proc/meminfo: memFree=1724712/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=15332 CPUtime=0.69 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4577 0 0 0 63 6 0 0 25 0 1 0 16359517 15699968 3115 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 3833 3115 386 719 0 3112 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15332 [startup+1.50136 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1713544/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=15864 CPUtime=1.49 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4691 0 0 0 138 11 0 0 25 0 1 0 16359517 16244736 3229 1992294400 4194304 7136930 140735197448608 18446744073709551615 4704742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 3966 3229 386 719 0 3245 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15864 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1712800/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=16136 CPUtime=3.09 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4769 0 0 0 286 23 0 0 25 0 1 0 16359517 16523264 3307 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4034 3307 386 719 0 3313 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16136 [startup+6.30089 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1712304/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=16412 CPUtime=6.28 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4839 0 0 0 583 45 0 0 25 0 1 0 16359517 16805888 3377 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4103 3377 386 719 0 3382 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16412 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1711692/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=17088 CPUtime=12.69 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 4994 0 0 0 1176 93 0 0 25 0 1 0 16359517 17498112 3532 1992294400 4194304 7136930 140735197448608 18446744073709551615 4703873 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4272 3532 386 719 0 3551 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17088 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1711072/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=17484 CPUtime=25.48 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5123 0 0 0 2359 189 0 0 25 0 1 0 16359517 17903616 3661 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4371 3661 386 719 0 3650 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17484 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.04 2/107 21207 /proc/meminfo: memFree=1710824/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=17748 CPUtime=51.07 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5164 0 0 0 4742 365 0 0 25 0 1 0 16359517 18173952 3702 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4437 3702 386 719 0 3716 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17748 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.03 2/107 21209 /proc/meminfo: memFree=1710452/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=17884 CPUtime=102.26 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5217 0 0 0 9491 735 0 0 25 0 1 0 16359517 18313216 3755 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4471 3755 386 719 0 3750 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 17884 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 21211 /proc/meminfo: memFree=1710328/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18016 CPUtime=162.24 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5233 0 0 0 15072 1152 0 0 25 0 1 0 16359517 18448384 3771 1992294400 4194304 7136930 140735197448608 18446744073709551615 4703924 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4504 3771 386 719 0 3783 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18016 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 21213 /proc/meminfo: memFree=1710204/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18016 CPUtime=222.23 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5238 0 0 0 20636 1587 0 0 25 0 1 0 16359517 18448384 3776 1992294400 4194304 7136930 140735197448608 18446744073709551615 4240463 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4504 3776 386 719 0 3783 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18016 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 21213 /proc/meminfo: memFree=1710080/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18016 CPUtime=282.2 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5255 0 0 0 26213 2007 0 0 25 0 1 0 16359517 18448384 3793 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4504 3793 386 719 0 3783 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 18016 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 21215 /proc/meminfo: memFree=1709956/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18152 CPUtime=342.18 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5265 0 0 0 31732 2486 0 0 25 0 1 0 16359517 18587648 3803 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4538 3803 386 719 0 3817 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 18152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 21217 /proc/meminfo: memFree=1709708/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18288 CPUtime=402.17 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5294 0 0 0 37291 2926 0 0 25 0 1 0 16359517 18726912 3832 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4572 3832 386 719 0 3851 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 18288 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21219 /proc/meminfo: memFree=1708840/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18908 CPUtime=462.15 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5467 0 0 0 42797 3418 0 0 25 0 1 0 16359517 19361792 4005 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4727 4005 386 719 0 4006 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 18908 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21221 /proc/meminfo: memFree=1708840/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18908 CPUtime=522.14 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5473 0 0 0 48322 3892 0 0 25 0 1 0 16359517 19361792 4011 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4727 4011 386 719 0 4006 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18908 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21221 /proc/meminfo: memFree=1708716/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=18908 CPUtime=582.11 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5473 0 0 0 53835 4376 0 0 25 0 1 0 16359517 19361792 4011 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4727 4011 386 719 0 4006 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 18908 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21223 /proc/meminfo: memFree=1708592/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=19040 CPUtime=642.1 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5481 0 0 0 59395 4815 0 0 25 0 1 0 16359517 19496960 4019 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4760 4019 386 719 0 4039 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 19040 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21229 /proc/meminfo: memFree=1708220/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=19040 CPUtime=822.04 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5487 0 0 0 76024 6180 0 0 25 0 1 0 16359517 19496960 4025 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4760 4025 386 719 0 4039 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 19040 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21229 /proc/meminfo: memFree=1708096/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=19040 CPUtime=882.02 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5489 0 0 0 81557 6645 0 0 25 0 1 0 16359517 19496960 4027 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4760 4027 386 719 0 4039 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 19040 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21231 /proc/meminfo: memFree=1707972/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=19040 CPUtime=942 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5492 0 0 0 87090 7110 0 0 25 0 1 0 16359517 19496960 4030 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 4760 4030 386 719 0 4039 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 19040 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21233 /proc/meminfo: memFree=1705988/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1001.99 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 92629 7570 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 21128 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21235 /proc/meminfo: memFree=1705864/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1061.96 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 98188 8008 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 21128 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21237 /proc/meminfo: memFree=1705740/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1121.95 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 103727 8468 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 21128 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21237 /proc/meminfo: memFree=1705740/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1181.92 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 109259 8933 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 21128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21239 /proc/meminfo: memFree=1705492/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1241.91 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 114772 9419 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 21128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21241 /proc/meminfo: memFree=1705368/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1301.9 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 120293 9897 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 21128 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21252 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1361.86 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 125842 10344 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 21128 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21254 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1421.85 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 131429 10756 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 21128 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21254 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1481.82 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 136998 11184 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 21128 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21256 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1541.8 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 142561 11619 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 4703875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 21128 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21258 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1601.79 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 148156 12023 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 21128 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21260 /proc/meminfo: memFree=1704624/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1661.77 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 153755 12422 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 21128 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21262 /proc/meminfo: memFree=1704500/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1721.75 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 159326 12849 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 21128 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21262 /proc/meminfo: memFree=1704252/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1781.74 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 164870 13304 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 21128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21264 /proc/meminfo: memFree=1704252/2059040 swapFree=4192956/4192956 [pid=21206] ppid=21204 vsize=21128 CPUtime=1800.04 /proc/21206/stat : 21206 (pbscip.linux.x8) R 21204 21206 20894 0 -1 4202496 5962 0 0 0 166557 13447 0 0 25 0 1 0 16359517 21635072 4500 1992294400 4194304 7136930 140735197448608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21206/statm: 5282 4500 386 719 0 4561 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 21128 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.63 CPU time (s): 1800.07 CPU user time (s): 1665.59 CPU system time (s): 134.48 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 21128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1665.59 system time used= 134.48 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5975 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= 4 involuntary context switches= 10913 runsolver used 3.07753 second user time and 8.43572 second system time The end
Begin job on node005 at 2010-06-13 07:39:18 IDJOB=2664623 IDBENCH=2040 IDSOLVER=1167 FILE ID=node005/2664623-1276407558 PBS_JOBID= 11173277 Free space on /tmp= 62532 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-sao2.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664623-1276407558/watcher-2664623-1276407558 -o /tmp/evaluation-result-2664623-1276407558/solver-2664623-1276407558 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664623-1276407558.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a91a8cbbe2491e496acc19538dbd623f RANDOM SEED=1343967618 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1725240 kB Buffers: 55040 kB Cached: 152576 kB SwapCached: 0 kB Active: 157580 kB Inactive: 109376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1725240 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3360 kB Writeback: 0 kB AnonPages: 59352 kB Mapped: 15348 kB Slab: 45116 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181436 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= 62528 MiB End job on node005 at 2010-06-13 08:09:21