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) | 1283 | 1802.23 | 1802.84 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-c8.opb |
| MD5SUM | c919b2e3620f35e89404416810e81e0b |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1194 |
| Best CPU time to get the best result obtained on this benchmark | 0.069988 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1194 |
| Optimality of the best value was proved | YES |
| Number of variables | 239 |
| Total number of constraints | 524 |
| Number of constraints which are clauses | 520 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 239 |
| Biggest coefficient in the objective function | 61 |
| Number of bits for the biggest coefficient in the objective function | 6 |
| Sum of the numbers in the objective function | 10012 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 61 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 10012 |
| Number of bits of the biggest sum of numbers | 14 |
| 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-2664610-1276404146.opb>
0.00/0.02 c original problem has 239 variables (239 bin, 0 int, 0 impl, 0 cont) and 524 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 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.02 c presolving:
0.00/0.03 c (round 1) 4 del vars, 8 del conss, 1 chg bounds, 0 chg sides, 6 chg coeffs, 0 upgd conss, 344 impls, 0 clqs
0.00/0.04 c (round 2) 4 del vars, 13 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 0 upgd conss, 344 impls, 0 clqs
0.00/0.04 c (round 3) 5 del vars, 14 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 0 upgd conss, 344 impls, 0 clqs
0.04/0.05 c (round 4) 6 del vars, 24 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 505 upgd conss, 344 impls, 0 clqs
0.04/0.06 c (round 5) 6 del vars, 24 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 510 upgd conss, 344 impls, 0 clqs
0.04/0.07 c (0.0s) probing: 214/233 (91.8%) - 4 fixings, 0 aggregations, 3 implications, 0 bound changes
0.04/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c (round 6) 10 del vars, 24 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 510 upgd conss, 350 impls, 0 clqs
0.04/0.07 c (round 7) 10 del vars, 75 del conss, 1 chg bounds, 2 chg sides, 6 chg coeffs, 510 upgd conss, 350 impls, 0 clqs
0.04/0.07 c (0.0s) probing: 224/233 (96.1%) - 4 fixings, 0 aggregations, 3 implications, 0 bound changes
0.04/0.07 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.04/0.07 c presolving (8 rounds):
0.04/0.07 c 10 deleted vars, 75 deleted constraints, 1 tightened bounds, 0 added holes, 2 changed sides, 6 changed coefficients
0.04/0.07 c 350 implications, 0 cliques
0.04/0.07 c presolved problem has 229 variables (229 bin, 0 int, 0 impl, 0 cont) and 449 constraints
0.04/0.07 c 449 constraints of type <logicor>
0.04/0.07 c transformed objective value is always integral (scale: 1)
0.04/0.07 c Presolving Time: 0.03
0.04/0.07 c - non default parameters ----------------------------------------------------------------------
0.04/0.07 c # SCIP version 1.2.1.2
0.04/0.07 c
0.04/0.07 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: -1]
0.04/0.07 c conflict/interconss = 0
0.04/0.07 c
0.04/0.07 c # should binary conflicts be preferred?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c conflict/preferbinary = TRUE
0.04/0.07 c
0.04/0.07 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 0]
0.04/0.07 c constraints/agelimit = 1
0.04/0.07 c
0.04/0.07 c # should enforcement of pseudo solution be disabled?
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/disableenfops = TRUE
0.04/0.07 c
0.04/0.07 c # frequency for displaying node information lines
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 100]
0.04/0.07 c display/freq = 10000
0.04/0.07 c
0.04/0.07 c # maximal time in seconds to run
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/time = 1799.99
0.04/0.07 c
0.04/0.07 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.04/0.07 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.04/0.07 c limits/memory = 1620
0.04/0.07 c
0.04/0.07 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.04/0.07 c # [type: int, range: [-1,2147483647], default: 1]
0.04/0.07 c lp/solvefreq = -1
0.04/0.07 c
0.04/0.07 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.04/0.07 c # [type: char, range: {lafpsqd}, default: l]
0.04/0.07 c lp/pricing = a
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify inequalities
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/linear/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # should presolving try to simplify knapsacks
0.04/0.07 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.04/0.07 c constraints/knapsack/simplifyinequalities = TRUE
0.04/0.07 c
0.04/0.07 c # priority of node selection rule <dfs> in standard mode
0.04/0.07 c # [type: int, range: [-536870912,536870911], default: 0]
0.04/0.07 c nodeselection/dfs/stdpriority = 1000000
0.04/0.07 c
0.04/0.07 c -----------------------------------------------------------------------------------------------
0.04/0.07 c start solving
0.04/0.07 c
0.04/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.04/0.07 c 0.0s| 1 | 2 | 0 | - |1111k| 0 | - | 229 | 449 | 0 | 0 | 0 | 0 | 0 | 2.430000e+02 | -- | Inf
0.04/0.08 o 1457
0.04/0.08 c * 0.0s| 106 | 97 | 0 | 0.0 |1148k| 105 | - | 229 | 449 | 0 | 0 | 0 | 0 | 0 | 2.850000e+02 | 1.457000e+03 | 411.23%
0.04/0.08 o 1423
0.04/0.08 c * 0.0s| 111 | 96 | 0 | 0.0 |1151k| 105 | - | 229 | 449 | 0 | 0 | 0 | 0 | 0 | 2.850000e+02 | 1.423000e+03 | 399.30%
0.10/0.11 o 1400
0.10/0.11 c * 0.1s| 212 | 88 | 0 | 0.0 |1171k| 105 | - | 229 | 514 | 0 | 0 | 0 | 130 | 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
2.29/2.36 c 2.1s| 10000 | 83 | 0 | 0.0 |2618k| 105 | - | 229 |6645 | 0 | 0 | 0 | 12k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
4.49/4.58 c 4.0s| 20000 | 81 | 0 | 0.0 |3998k| 105 | - | 229 | 12k| 0 | 0 | 0 | 24k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
6.79/6.88 c 6.1s| 30000 | 76 | 0 | 0.0 |5501k| 105 | - | 229 | 18k| 0 | 0 | 0 | 37k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
9.19/9.21 c 8.2s| 40000 | 78 | 0 | 0.0 |6832k| 105 | - | 229 | 24k| 0 | 0 | 0 | 48k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
11.39/11.50 c 10.3s| 50000 | 77 | 0 | 0.0 |8192k| 105 | - | 229 | 30k| 0 | 0 | 0 | 60k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
13.68/13.77 c 12.3s| 60000 | 80 | 0 | 0.0 |9601k| 105 | - | 229 | 36k| 0 | 0 | 0 | 73k| 0 | 2.850000e+02 | 1.400000e+03 | 391.23%
14.58/14.63 o 1394
14.58/14.63 c *13.1s| 63817 | 78 | 0 | 0.0 | 10M| 105 | - | 229 | 38k| 0 | 0 | 0 | 77k| 0 | 2.850000e+02 | 1.394000e+03 | 389.12%
14.58/14.63 o 1392
14.58/14.63 c *13.1s| 63846 | 77 | 0 | 0.0 | 10M| 105 | - | 229 | 39k| 0 | 0 | 0 | 77k| 0 | 2.850000e+02 | 1.392000e+03 | 388.42%
15.99/16.00 c 14.3s| 70000 | 77 | 0 | 0.0 | 11M| 105 | - | 229 | 42k| 0 | 0 | 0 | 85k| 0 | 2.850000e+02 | 1.392000e+03 | 388.42%
18.28/18.33 c 16.4s| 80000 | 78 | 0 | 0.0 | 12M| 105 | - | 229 | 48k| 0 | 0 | 0 | 97k| 0 | 2.850000e+02 | 1.392000e+03 | 388.42%
18.59/18.61 o 1387
18.59/18.61 c *16.7s| 81267 | 83 | 0 | 0.0 | 12M| 105 | - | 229 | 49k| 0 | 0 | 0 | 99k| 0 | 2.850000e+02 | 1.387000e+03 | 386.67%
18.59/18.64 o 1385
18.59/18.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.59/18.64 c *16.7s| 81369 | 77 | 0 | 0.0 | 12M| 105 | - | 229 | 49k| 0 | 0 | 0 | 99k| 0 | 2.850000e+02 | 1.385000e+03 | 385.96%
18.78/18.88 o 1376
18.78/18.88 c *16.9s| 82422 | 82 | 0 | 0.0 | 12M| 105 | - | 229 | 50k| 0 | 0 | 0 | 100k| 0 | 2.850000e+02 | 1.376000e+03 | 382.81%
18.89/18.99 o 1369
18.89/18.99 c *17.0s| 82895 | 82 | 0 | 0.0 | 12M| 105 | - | 229 | 50k| 0 | 0 | 0 | 101k| 0 | 2.850000e+02 | 1.369000e+03 | 380.35%
18.99/19.00 o 1367
18.99/19.00 c *17.0s| 82936 | 74 | 0 | 0.0 | 12M| 105 | - | 229 | 50k| 0 | 0 | 0 | 101k| 0 | 2.850000e+02 | 1.367000e+03 | 379.65%
20.59/20.63 c 18.5s| 90000 | 74 | 0 | 0.0 | 14M| 105 | - | 229 | 54k| 0 | 0 | 0 | 109k| 0 | 2.850000e+02 | 1.367000e+03 | 379.65%
22.88/22.91 o 1365
22.88/22.91 c *20.5s| 99786 | 81 | 0 | 0.0 | 15M| 105 | - | 229 | 60k| 0 | 0 | 0 | 121k| 0 | 2.850000e+02 | 1.365000e+03 | 378.95%
22.88/22.92 o 1356
22.88/22.92 c *20.5s| 99814 | 72 | 0 | 0.0 | 15M| 105 | - | 229 | 60k| 0 | 0 | 0 | 121k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
22.88/22.96 c 20.6s|100000 | 79 | 0 | 0.0 | 15M| 105 | - | 229 | 61k| 0 | 0 | 0 | 122k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
25.29/25.34 c 22.7s|110000 | 81 | 0 | 0.0 | 16M| 105 | - | 229 | 67k| 0 | 0 | 0 | 134k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
27.68/27.73 c 24.9s|120000 | 76 | 0 | 0.0 | 18M| 105 | - | 229 | 73k| 0 | 0 | 0 | 146k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
29.98/30.07 c 27.0s|130000 | 72 | 0 | 0.0 | 19M| 105 | - | 229 | 79k| 0 | 0 | 0 | 158k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
32.38/32.43 c 29.1s|140000 | 76 | 0 | 0.0 | 21M| 105 | - | 229 | 85k| 0 | 0 | 0 | 171k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
34.78/34.83 c 31.2s|150000 | 75 | 0 | 0.0 | 22M| 105 | - | 229 | 91k| 0 | 0 | 0 | 183k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
37.07/37.15 c 33.3s|160000 | 74 | 0 | 0.0 | 24M| 105 | - | 229 | 97k| 0 | 0 | 0 | 195k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
39.38/39.40 c 35.4s|170000 | 75 | 0 | 0.0 | 25M| 105 | - | 229 | 103k| 0 | 0 | 0 | 207k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
41.78/41.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.78/41.80 c 37.5s|180000 | 75 | 0 | 0.0 | 26M| 105 | - | 229 | 110k| 0 | 0 | 0 | 220k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
43.98/44.06 c 39.6s|190000 | 74 | 0 | 0.0 | 28M| 105 | - | 229 | 115k| 0 | 0 | 0 | 231k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
46.37/46.40 c 41.7s|200000 | 75 | 0 | 0.0 | 29M| 105 | - | 229 | 121k| 0 | 0 | 0 | 244k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
48.78/48.85 c 43.9s|210000 | 72 | 0 | 0.0 | 30M| 105 | - | 229 | 127k| 0 | 0 | 0 | 256k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
51.27/51.31 c 46.1s|220000 | 70 | 0 | 0.0 | 32M| 105 | - | 229 | 133k| 0 | 0 | 0 | 268k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
53.68/53.70 c 48.3s|230000 | 73 | 0 | 0.0 | 34M| 105 | - | 229 | 139k| 0 | 0 | 0 | 280k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
56.08/56.12 c 50.5s|240000 | 74 | 0 | 0.0 | 35M| 105 | - | 229 | 145k| 0 | 0 | 0 | 292k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
58.47/58.58 c 52.7s|250000 | 76 | 0 | 0.0 | 36M| 105 | - | 229 | 152k| 0 | 0 | 0 | 304k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
60.97/61.09 c 55.0s|260000 | 76 | 0 | 0.0 | 37M| 105 | - | 229 | 158k| 0 | 0 | 0 | 317k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
63.37/63.43 c 57.1s|270000 | 74 | 0 | 0.0 | 39M| 105 | - | 229 | 164k| 0 | 0 | 0 | 329k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
65.67/65.73 c 59.2s|280000 | 73 | 0 | 0.0 | 41M| 105 | - | 229 | 170k| 0 | 0 | 0 | 341k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
68.18/68.27 c 61.5s|290000 | 79 | 0 | 0.0 | 42M| 105 | - | 229 | 176k| 0 | 0 | 0 | 353k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
70.57/70.60 c 63.6s|300000 | 72 | 0 | 0.0 | 43M| 105 | - | 229 | 182k| 0 | 0 | 0 | 366k| 0 | 2.850000e+02 | 1.356000e+03 | 375.79%
72.87/72.92 o 1355
72.87/72.92 c *65.7s|309526 | 76 | 0 | 0.0 | 44M| 105 | - | 229 | 188k| 0 | 0 | 0 | 378k| 0 | 2.850000e+02 | 1.355000e+03 | 375.44%
72.87/72.92 o 1351
72.87/72.92 c *65.7s|309541 | 77 | 0 | 0.0 | 44M| 105 | - | 229 | 188k| 0 | 0 | 0 | 378k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
72.97/73.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
72.97/73.02 c 65.8s|310000 | 80 | 0 | 0.0 | 45M| 105 | - | 229 | 188k| 0 | 0 | 0 | 378k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
74.96/75.09 c 67.6s|320000 | 73 | 0 | 0.0 | 46M| 105 | - | 229 | 194k| 0 | 0 | 0 | 389k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
77.27/77.31 c 69.6s|330000 | 76 | 0 | 0.0 | 48M| 105 | - | 229 | 199k| 0 | 0 | 0 | 401k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
79.67/79.71 c 71.8s|340000 | 74 | 0 | 0.0 | 49M| 105 | - | 229 | 206k| 0 | 0 | 0 | 413k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
81.96/82.04 c 73.9s|350000 | 77 | 0 | 0.0 | 50M| 105 | - | 229 | 212k| 0 | 0 | 0 | 425k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
84.16/84.23 c 75.8s|360000 | 73 | 0 | 0.0 | 52M| 105 | - | 229 | 218k| 0 | 0 | 0 | 437k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
86.47/86.51 c 77.9s|370000 | 72 | 0 | 0.0 | 53M| 105 | - | 229 | 224k| 0 | 0 | 0 | 450k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
88.66/88.77 c 80.0s|380000 | 71 | 0 | 0.0 | 54M| 105 | - | 229 | 230k| 0 | 0 | 0 | 461k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
90.96/91.03 c 82.0s|390000 | 77 | 0 | 0.0 | 56M| 105 | - | 229 | 235k| 0 | 0 | 0 | 473k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
93.26/93.30 c 84.0s|400000 | 73 | 0 | 0.0 | 58M| 105 | - | 229 | 241k| 0 | 0 | 0 | 485k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
95.46/95.54 c 86.0s|410000 | 74 | 0 | 0.0 | 59M| 105 | - | 229 | 247k| 0 | 0 | 0 | 497k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
97.77/97.87 c 88.1s|420000 | 78 | 0 | 0.0 | 60M| 105 | - | 229 | 253k| 0 | 0 | 0 | 509k| 0 | 2.850000e+02 | 1.351000e+03 | 374.04%
98.97/99.01 o 1347
98.97/99.01 c *89.2s|424952 | 76 | 0 | 0.0 | 61M| 105 | - | 229 | 256k| 0 | 0 | 0 | 515k| 0 | 2.850000e+02 | 1.347000e+03 | 372.63%
98.97/99.07 o 1343
98.97/99.07 c *89.2s|425213 | 75 | 0 | 0.0 | 61M| 105 | - | 229 | 257k| 0 | 0 | 0 | 515k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
100.07/100.15 c 90.2s|430000 | 71 | 0 | 0.0 | 61M| 105 | - | 229 | 259k| 0 | 0 | 0 | 521k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
102.46/102.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
102.46/102.54 c 92.3s|440000 | 71 | 0 | 0.0 | 63M| 105 | - | 229 | 265k| 0 | 0 | 0 | 533k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
104.76/104.80 c 94.4s|450000 | 72 | 0 | 0.0 | 64M| 105 | - | 229 | 271k| 0 | 0 | 0 | 545k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
107.06/107.11 c 96.5s|460000 | 77 | 0 | 0.0 | 65M| 105 | - | 229 | 277k| 0 | 0 | 0 | 557k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
109.26/109.34 c 98.5s|470000 | 71 | 0 | 0.0 | 68M| 105 | - | 229 | 283k| 0 | 0 | 0 | 569k| 0 | 2.850000e+02 | 1.343000e+03 | 371.23%
110.05/110.12 o 1337
110.05/110.12 c *99.2s|473346 | 75 | 0 | 0.0 | 68M| 105 | - | 229 | 285k| 0 | 0 | 0 | 573k| 0 | 2.850000e+02 | 1.337000e+03 | 369.12%
110.05/110.12 o 1330
110.05/110.12 c *99.2s|473357 | 75 | 0 | 0.0 | 68M| 105 | - | 229 | 285k| 0 | 0 | 0 | 573k| 0 | 2.850000e+02 | 1.330000e+03 | 366.67%
110.05/110.15 o 1326
110.05/110.15 c *99.2s|473502 | 70 | 0 | 0.0 | 68M| 105 | - | 229 | 285k| 0 | 0 | 0 | 573k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
111.55/111.67 c 101s|480000 | 71 | 0 | 0.0 | 69M| 105 | - | 229 | 289k| 0 | 0 | 0 | 581k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
113.95/114.04 c 103s|490000 | 72 | 0 | 0.0 | 70M| 105 | - | 229 | 295k| 0 | 0 | 0 | 594k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
116.36/116.44 c 105s|500000 | 69 | 0 | 0.0 | 72M| 105 | - | 229 | 302k| 0 | 0 | 0 | 606k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
118.85/118.93 c 107s|510000 | 72 | 0 | 0.0 | 73M| 105 | - | 229 | 308k| 0 | 0 | 0 | 619k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
121.15/121.21 c 109s|520000 | 70 | 0 | 0.0 | 74M| 105 | - | 229 | 313k| 0 | 0 | 0 | 630k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
123.55/123.67 c 111s|530000 | 69 | 0 | 0.0 | 75M| 105 | - | 229 | 320k| 0 | 0 | 0 | 643k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
126.05/126.16 c 114s|540000 | 76 | 0 | 0.0 | 77M| 105 | - | 229 | 326k| 0 | 0 | 0 | 655k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
128.45/128.59 c 116s|550000 | 72 | 0 | 0.0 | 78M| 105 | - | 229 | 332k| 0 | 0 | 0 | 667k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
130.95/131.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
130.95/131.00 c 118s|560000 | 71 | 0 | 0.0 | 81M| 105 | - | 229 | 337k| 0 | 0 | 0 | 678k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
133.45/133.50 c 120s|570000 | 74 | 0 | 0.0 | 82M| 105 | - | 229 | 343k| 0 | 0 | 0 | 690k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
135.85/135.90 c 122s|580000 | 69 | 0 | 0.0 | 83M| 105 | - | 229 | 349k| 0 | 0 | 0 | 702k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
138.35/138.42 c 125s|590000 | 70 | 0 | 0.0 | 84M| 105 | - | 229 | 355k| 0 | 0 | 0 | 714k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
140.75/140.82 c 127s|600000 | 72 | 0 | 0.0 | 86M| 105 | - | 229 | 361k| 0 | 0 | 0 | 727k| 0 | 2.850000e+02 | 1.326000e+03 | 365.26%
141.14/141.23 o 1324
141.14/141.23 c * 127s|601788 | 67 | 0 | 0.0 | 86M| 105 | - | 229 | 363k| 0 | 0 | 0 | 729k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
143.14/143.26 c 129s|610000 | 70 | 0 | 0.0 | 87M| 105 | - | 229 | 368k| 0 | 0 | 0 | 739k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
145.34/145.48 c 131s|620000 | 72 | 0 | 0.0 | 88M| 105 | - | 229 | 373k| 0 | 0 | 0 | 750k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
147.44/147.57 c 133s|630000 | 70 | 0 | 0.0 | 89M| 105 | - | 229 | 378k| 0 | 0 | 0 | 761k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
149.75/149.84 c 135s|640000 | 71 | 0 | 0.0 | 90M| 105 | - | 229 | 384k| 0 | 0 | 0 | 772k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
152.24/152.34 c 137s|650000 | 63 | 0 | 0.0 | 91M| 105 | - | 229 | 390k| 0 | 0 | 0 | 784k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
154.74/154.82 c 139s|660000 | 68 | 0 | 0.0 | 93M| 105 | - | 229 | 396k| 0 | 0 | 0 | 796k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
157.25/157.34 c 142s|670000 | 71 | 0 | 0.0 | 94M| 105 | - | 229 | 402k| 0 | 0 | 0 | 809k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
159.74/159.85 c 144s|680000 | 65 | 0 | 0.0 | 97M| 105 | - | 229 | 408k| 0 | 0 | 0 | 821k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
162.24/162.34 c 146s|690000 | 69 | 0 | 0.0 | 99M| 105 | - | 229 | 414k| 0 | 0 | 0 | 834k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
164.73/164.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
164.73/164.80 c 148s|700000 | 68 | 0 | 0.0 | 100M| 105 | - | 229 | 420k| 0 | 0 | 0 | 846k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
167.14/167.28 c 151s|710000 | 70 | 0 | 0.0 | 101M| 105 | - | 229 | 426k| 0 | 0 | 0 | 859k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
169.63/169.71 c 153s|720000 | 69 | 0 | 0.0 | 102M| 105 | - | 229 | 433k| 0 | 0 | 0 | 871k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
172.04/172.12 c 155s|730000 | 66 | 0 | 0.0 | 104M| 105 | - | 229 | 439k| 0 | 0 | 0 | 883k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
174.63/174.74 c 157s|740000 | 66 | 0 | 0.0 | 105M| 105 | - | 229 | 445k| 0 | 0 | 0 | 896k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
177.33/177.46 c 160s|750000 | 67 | 0 | 0.0 | 106M| 105 | - | 229 | 451k| 0 | 0 | 0 | 909k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
180.03/180.15 c 162s|760000 | 64 | 0 | 0.0 | 108M| 105 | - | 229 | 458k| 0 | 0 | 0 | 922k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
182.64/182.79 c 165s|770000 | 69 | 0 | 0.0 | 109M| 105 | - | 229 | 464k| 0 | 0 | 0 | 934k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
185.23/185.34 c 167s|780000 | 67 | 0 | 0.0 | 110M| 105 | - | 229 | 470k| 0 | 0 | 0 | 947k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
187.73/187.87 c 169s|790000 | 66 | 0 | 0.0 | 111M| 105 | - | 229 | 476k| 0 | 0 | 0 | 959k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
190.24/190.34 c 172s|800000 | 68 | 0 | 0.0 | 113M| 105 | - | 229 | 482k| 0 | 0 | 0 | 971k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
192.73/192.87 c 174s|810000 | 69 | 0 | 0.0 | 116M| 105 | - | 229 | 489k| 0 | 0 | 0 | 984k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
195.43/195.50 c 176s|820000 | 66 | 0 | 0.0 | 118M| 105 | - | 229 | 495k| 0 | 0 | 0 | 996k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
197.84/197.98 c 178s|830000 | 63 | 0 | 0.0 | 119M| 105 | - | 229 | 501k| 0 | 0 | 0 |1008k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
200.22/200.39 c 181s|840000 | 67 | 0 | 0.0 | 120M| 105 | - | 229 | 507k| 0 | 0 | 0 |1020k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
202.72/202.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
202.72/202.89 c 183s|850000 | 63 | 0 | 0.0 | 121M| 105 | - | 229 | 513k| 0 | 0 | 0 |1032k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
205.42/205.54 c 185s|860000 | 64 | 0 | 0.0 | 123M| 105 | - | 229 | 519k| 0 | 0 | 0 |1044k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
208.02/208.13 c 188s|870000 | 65 | 0 | 0.0 | 124M| 105 | - | 229 | 525k| 0 | 0 | 0 |1056k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
210.52/210.67 c 190s|880000 | 64 | 0 | 0.0 | 125M| 105 | - | 229 | 531k| 0 | 0 | 0 |1068k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
213.12/213.29 c 192s|890000 | 66 | 0 | 0.0 | 126M| 105 | - | 229 | 537k| 0 | 0 | 0 |1081k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
215.72/215.85 c 195s|900000 | 64 | 0 | 0.0 | 128M| 105 | - | 229 | 543k| 0 | 0 | 0 |1094k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
218.32/218.43 c 197s|910000 | 70 | 0 | 0.0 | 129M| 105 | - | 229 | 550k| 0 | 0 | 0 |1106k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
220.81/220.98 c 199s|920000 | 70 | 0 | 0.0 | 130M| 105 | - | 229 | 556k| 0 | 0 | 0 |1119k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
223.42/223.57 c 202s|930000 | 64 | 0 | 0.0 | 131M| 105 | - | 229 | 562k| 0 | 0 | 0 |1130k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
226.22/226.30 c 204s|940000 | 65 | 0 | 0.0 | 133M| 105 | - | 229 | 568k| 0 | 0 | 0 |1143k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
228.72/228.86 c 206s|950000 | 65 | 0 | 0.0 | 134M| 105 | - | 229 | 574k| 0 | 0 | 0 |1155k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
231.12/231.23 c 209s|960000 | 62 | 0 | 0.0 | 135M| 105 | - | 229 | 580k| 0 | 0 | 0 |1167k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
233.62/233.70 c 211s|970000 | 66 | 0 | 0.0 | 139M| 105 | - | 229 | 585k| 0 | 0 | 0 |1180k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
236.02/236.15 c 213s|980000 | 67 | 0 | 0.0 | 140M| 105 | - | 229 | 591k| 0 | 0 | 0 |1191k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
238.52/238.68 c 215s|990000 | 60 | 0 | 0.0 | 142M| 105 | - | 229 | 597k| 0 | 0 | 0 |1203k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
241.02/241.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
241.02/241.14 c 217s| 1000k| 67 | 0 | 0.0 | 143M| 105 | - | 229 | 603k| 0 | 0 | 0 |1215k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
243.61/243.71 c 220s| 1010k| 62 | 0 | 0.0 | 144M| 105 | - | 229 | 609k| 0 | 0 | 0 |1227k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
246.01/246.16 c 222s| 1020k| 63 | 0 | 0.0 | 145M| 105 | - | 229 | 614k| 0 | 0 | 0 |1238k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
248.61/248.71 c 224s| 1030k| 68 | 0 | 0.0 | 146M| 105 | - | 229 | 620k| 0 | 0 | 0 |1250k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
251.11/251.22 c 227s| 1040k| 63 | 0 | 0.0 | 148M| 105 | - | 229 | 626k| 0 | 0 | 0 |1262k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
253.80/253.90 c 229s| 1050k| 64 | 0 | 0.0 | 149M| 105 | - | 229 | 632k| 0 | 0 | 0 |1274k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
256.51/256.62 c 232s| 1060k| 62 | 0 | 0.0 | 150M| 105 | - | 229 | 639k| 0 | 0 | 0 |1287k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
259.01/259.11 c 234s| 1070k| 63 | 0 | 0.0 | 152M| 105 | - | 229 | 645k| 0 | 0 | 0 |1299k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
261.50/261.67 c 236s| 1080k| 63 | 0 | 0.0 | 153M| 105 | - | 229 | 651k| 0 | 0 | 0 |1312k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
264.20/264.31 c 238s| 1090k| 70 | 0 | 0.0 | 154M| 105 | - | 229 | 657k| 0 | 0 | 0 |1324k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
266.41/266.59 c 240s| 1100k| 63 | 0 | 0.0 | 155M| 105 | - | 229 | 662k| 0 | 0 | 0 |1335k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
268.81/268.92 c 243s| 1110k| 66 | 0 | 0.0 | 156M| 105 | - | 229 | 668k| 0 | 0 | 0 |1345k| 0 | 2.850000e+02 | 1.324000e+03 | 364.56%
270.30/270.42 o 1321
270.30/270.42 c * 244s| 1116k| 66 | 0 | 0.0 | 157M| 105 | - | 229 | 672k| 0 | 0 | 0 |1353k| 0 | 2.850000e+02 | 1.321000e+03 | 363.51%
270.30/270.43 o 1320
270.30/270.43 c * 244s| 1116k| 68 | 0 | 0.0 | 157M| 105 | - | 229 | 672k| 0 | 0 | 0 |1353k| 0 | 2.850000e+02 | 1.320000e+03 | 363.16%
270.30/270.43 o 1317
270.30/270.43 c * 244s| 1116k| 66 | 0 | 0.0 | 157M| 105 | - | 229 | 672k| 0 | 0 | 0 |1353k| 0 | 2.850000e+02 | 1.317000e+03 | 362.11%
271.10/271.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
271.10/271.26 c 245s| 1120k| 68 | 0 | 0.0 | 158M| 105 | - | 229 | 674k| 0 | 0 | 0 |1357k| 0 | 2.850000e+02 | 1.317000e+03 | 362.11%
273.50/273.65 c 247s| 1130k| 66 | 0 | 0.0 | 159M| 105 | - | 229 | 680k| 0 | 0 | 0 |1369k| 0 | 2.850000e+02 | 1.317000e+03 | 362.11%
274.60/274.78 o 1315
274.60/274.78 c * 248s| 1134k| 62 | 0 | 0.0 | 159M| 105 | - | 229 | 682k| 0 | 0 | 0 |1375k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
276.10/276.24 c 249s| 1140k| 66 | 0 | 0.0 | 160M| 105 | - | 229 | 686k| 0 | 0 | 0 |1382k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
278.70/278.83 c 252s| 1150k| 62 | 0 | 0.0 | 161M| 105 | - | 229 | 692k| 0 | 0 | 0 |1394k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
281.40/281.56 c 254s| 1160k| 63 | 0 | 0.0 | 166M| 105 | - | 229 | 698k| 0 | 0 | 0 |1407k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
284.00/284.18 c 256s| 1170k| 65 | 0 | 0.0 | 167M| 105 | - | 229 | 705k| 0 | 0 | 0 |1419k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
286.49/286.68 c 259s| 1180k| 60 | 0 | 0.0 | 169M| 105 | - | 229 | 711k| 0 | 0 | 0 |1431k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
289.20/289.36 c 261s| 1190k| 59 | 0 | 0.0 | 170M| 105 | - | 229 | 717k| 0 | 0 | 0 |1444k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
291.59/291.77 c 263s| 1200k| 66 | 0 | 0.0 | 171M| 105 | - | 229 | 722k| 0 | 0 | 0 |1455k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
294.19/294.33 c 266s| 1210k| 60 | 0 | 0.0 | 172M| 105 | - | 229 | 729k| 0 | 0 | 0 |1467k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
296.69/296.87 c 268s| 1220k| 61 | 0 | 0.0 | 174M| 105 | - | 229 | 735k| 0 | 0 | 0 |1480k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
299.29/299.45 c 270s| 1230k| 64 | 0 | 0.0 | 175M| 105 | - | 229 | 741k| 0 | 0 | 0 |1492k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
301.80/301.94 c 272s| 1240k| 61 | 0 | 0.0 | 176M| 105 | - | 229 | 747k| 0 | 0 | 0 |1504k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
304.09/304.21 c 274s| 1250k| 60 | 0 | 0.0 | 177M| 105 | - | 229 | 752k| 0 | 0 | 0 |1515k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
306.49/306.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.49/306.61 c 277s| 1260k| 62 | 0 | 0.0 | 179M| 105 | - | 229 | 758k| 0 | 0 | 0 |1527k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
309.09/309.20 c 279s| 1270k| 62 | 0 | 0.0 | 180M| 105 | - | 229 | 764k| 0 | 0 | 0 |1539k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
311.59/311.76 c 281s| 1280k| 64 | 0 | 0.0 | 181M| 105 | - | 229 | 770k| 0 | 0 | 0 |1551k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
314.28/314.48 c 284s| 1290k| 59 | 0 | 0.0 | 182M| 105 | - | 229 | 776k| 0 | 0 | 0 |1564k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
316.79/316.97 c 286s| 1300k| 61 | 0 | 0.0 | 184M| 105 | - | 229 | 782k| 0 | 0 | 0 |1576k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
319.28/319.42 c 288s| 1310k| 65 | 0 | 0.0 | 185M| 105 | - | 229 | 788k| 0 | 0 | 0 |1587k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
321.58/321.79 c 290s| 1320k| 63 | 0 | 0.0 | 186M| 105 | - | 229 | 794k| 0 | 0 | 0 |1599k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
324.09/324.24 c 293s| 1330k| 60 | 0 | 0.0 | 187M| 105 | - | 229 | 800k| 0 | 0 | 0 |1611k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
326.49/326.61 c 295s| 1340k| 57 | 0 | 0.0 | 188M| 105 | - | 229 | 805k| 0 | 0 | 0 |1622k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
329.08/329.25 c 297s| 1350k| 58 | 0 | 0.0 | 190M| 105 | - | 229 | 812k| 0 | 0 | 0 |1635k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
331.78/331.95 c 300s| 1360k| 64 | 0 | 0.0 | 191M| 105 | - | 229 | 818k| 0 | 0 | 0 |1647k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
334.38/334.59 c 302s| 1370k| 58 | 0 | 0.0 | 192M| 105 | - | 229 | 824k| 0 | 0 | 0 |1660k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
337.08/337.21 c 304s| 1380k| 61 | 0 | 0.0 | 194M| 105 | - | 229 | 830k| 0 | 0 | 0 |1673k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
339.69/339.84 c 307s| 1390k| 59 | 0 | 0.0 | 195M| 105 | - | 229 | 837k| 0 | 0 | 0 |1685k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
342.28/342.46 c 309s| 1400k| 62 | 0 | 0.0 | 200M| 105 | - | 229 | 843k| 0 | 0 | 0 |1698k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
344.98/345.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.98/345.13 c 312s| 1410k| 62 | 0 | 0.0 | 201M| 105 | - | 229 | 849k| 0 | 0 | 0 |1710k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
347.58/347.80 c 314s| 1420k| 56 | 0 | 0.0 | 203M| 105 | - | 229 | 855k| 0 | 0 | 0 |1722k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
350.38/350.53 c 317s| 1430k| 61 | 0 | 0.0 | 204M| 105 | - | 229 | 861k| 0 | 0 | 0 |1735k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
353.17/353.32 c 319s| 1440k| 64 | 0 | 0.0 | 205M| 105 | - | 229 | 868k| 0 | 0 | 0 |1748k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
355.87/356.06 c 322s| 1450k| 60 | 0 | 0.0 | 207M| 105 | - | 229 | 874k| 0 | 0 | 0 |1761k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
358.58/358.78 c 324s| 1460k| 58 | 0 | 0.0 | 208M| 105 | - | 229 | 880k| 0 | 0 | 0 |1773k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
361.07/361.24 c 326s| 1470k| 58 | 0 | 0.0 | 209M| 105 | - | 229 | 886k| 0 | 0 | 0 |1785k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
363.77/363.99 c 329s| 1480k| 60 | 0 | 0.0 | 211M| 105 | - | 229 | 893k| 0 | 0 | 0 |1798k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
366.37/366.52 c 331s| 1490k| 62 | 0 | 0.0 | 212M| 105 | - | 229 | 899k| 0 | 0 | 0 |1810k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
368.77/368.98 c 333s| 1500k| 61 | 0 | 0.0 | 213M| 105 | - | 229 | 904k| 0 | 0 | 0 |1822k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
371.27/371.49 c 336s| 1510k| 59 | 0 | 0.0 | 214M| 105 | - | 229 | 910k| 0 | 0 | 0 |1834k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
373.77/373.99 c 338s| 1520k| 63 | 0 | 0.0 | 215M| 105 | - | 229 | 916k| 0 | 0 | 0 |1846k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
376.26/376.46 c 340s| 1530k| 60 | 0 | 0.0 | 217M| 105 | - | 229 | 922k| 0 | 0 | 0 |1858k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
378.77/378.97 c 342s| 1540k| 64 | 0 | 0.0 | 218M| 105 | - | 229 | 928k| 0 | 0 | 0 |1870k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
381.17/381.38 c 344s| 1550k| 60 | 0 | 0.0 | 219M| 105 | - | 229 | 934k| 0 | 0 | 0 |1882k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
383.67/383.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
383.67/383.88 c 347s| 1560k| 60 | 0 | 0.0 | 220M| 105 | - | 229 | 941k| 0 | 0 | 0 |1894k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
386.07/386.29 c 349s| 1570k| 58 | 0 | 0.0 | 222M| 105 | - | 229 | 947k| 0 | 0 | 0 |1906k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
388.66/388.89 c 351s| 1580k| 58 | 0 | 0.0 | 223M| 105 | - | 229 | 953k| 0 | 0 | 0 |1919k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
391.47/391.62 c 354s| 1590k| 59 | 0 | 0.0 | 224M| 105 | - | 229 | 959k| 0 | 0 | 0 |1931k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
393.96/394.19 c 356s| 1600k| 62 | 0 | 0.0 | 226M| 105 | - | 229 | 965k| 0 | 0 | 0 |1944k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
396.46/396.62 c 358s| 1610k| 63 | 0 | 0.0 | 227M| 105 | - | 229 | 971k| 0 | 0 | 0 |1956k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
398.96/399.12 c 361s| 1620k| 67 | 0 | 0.0 | 228M| 105 | - | 229 | 977k| 0 | 0 | 0 |1968k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
401.46/401.68 c 363s| 1630k| 62 | 0 | 0.0 | 229M| 105 | - | 229 | 983k| 0 | 0 | 0 |1981k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
403.86/404.07 c 365s| 1640k| 69 | 0 | 0.0 | 231M| 105 | - | 229 | 989k| 0 | 0 | 0 |1992k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
406.25/406.42 c 367s| 1650k| 62 | 0 | 0.0 | 232M| 105 | - | 229 | 995k| 0 | 0 | 0 |2004k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
408.66/408.83 c 369s| 1660k| 60 | 0 | 0.0 | 233M| 105 | - | 229 |1001k| 0 | 0 | 0 |2016k| 0 | 2.850000e+02 | 1.315000e+03 | 361.40%
409.35/409.57 o 1308
409.35/409.57 c * 370s| 1663k| 57 | 0 | 0.0 | 233M| 105 | - | 229 |1002k| 0 | 0 | 0 |2019k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
411.05/411.28 c 371s| 1670k| 56 | 0 | 0.0 | 239M| 105 | - | 229 |1006k| 0 | 0 | 0 |2028k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
413.56/413.75 c 374s| 1680k| 60 | 0 | 0.0 | 240M| 105 | - | 229 |1012k| 0 | 0 | 0 |2039k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
415.95/416.12 c 376s| 1690k| 62 | 0 | 0.0 | 241M| 105 | - | 229 |1018k| 0 | 0 | 0 |2051k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
418.35/418.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
418.35/418.57 c 378s| 1700k| 59 | 0 | 0.0 | 243M| 105 | - | 229 |1024k| 0 | 0 | 0 |2062k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
420.75/420.97 c 380s| 1710k| 64 | 0 | 0.0 | 244M| 105 | - | 229 |1029k| 0 | 0 | 0 |2074k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
423.36/423.53 c 382s| 1720k| 56 | 0 | 0.0 | 245M| 105 | - | 229 |1036k| 0 | 0 | 0 |2086k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
425.85/426.00 c 385s| 1730k| 62 | 0 | 0.0 | 246M| 105 | - | 229 |1041k| 0 | 0 | 0 |2098k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
428.35/428.54 c 387s| 1740k| 55 | 0 | 0.0 | 248M| 105 | - | 229 |1047k| 0 | 0 | 0 |2110k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
430.85/431.06 c 389s| 1750k| 64 | 0 | 0.0 | 249M| 105 | - | 229 |1054k| 0 | 0 | 0 |2123k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
433.45/433.64 c 392s| 1760k| 61 | 0 | 0.0 | 250M| 105 | - | 229 |1060k| 0 | 0 | 0 |2135k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
435.94/436.17 c 394s| 1770k| 56 | 0 | 0.0 | 251M| 105 | - | 229 |1066k| 0 | 0 | 0 |2147k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
438.35/438.50 c 396s| 1780k| 59 | 0 | 0.0 | 253M| 105 | - | 229 |1072k| 0 | 0 | 0 |2159k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
440.64/440.90 c 398s| 1790k| 57 | 0 | 0.0 | 254M| 105 | - | 229 |1078k| 0 | 0 | 0 |2171k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
443.15/443.37 c 400s| 1800k| 57 | 0 | 0.0 | 255M| 105 | - | 229 |1084k| 0 | 0 | 0 |2183k| 0 | 2.850000e+02 | 1.308000e+03 | 358.95%
445.45/445.69 o 1303
445.45/445.69 c * 402s| 1809k| 56 | 0 | 0.0 | 256M| 105 | - | 229 |1089k| 0 | 0 | 0 |2195k| 0 | 2.850000e+02 | 1.303000e+03 | 357.19%
445.55/445.71 o 1301
445.55/445.71 c * 403s| 1809k| 54 | 0 | 0.0 | 256M| 105 | - | 229 |1089k| 0 | 0 | 0 |2195k| 0 | 2.850000e+02 | 1.301000e+03 | 356.49%
445.55/445.71 o 1292
445.55/445.71 c * 403s| 1809k| 53 | 0 | 0.0 | 256M| 105 | - | 229 |1089k| 0 | 0 | 0 |2195k| 0 | 2.850000e+02 | 1.292000e+03 | 353.33%
445.65/445.81 c 403s| 1810k| 61 | 0 | 0.0 | 256M| 105 | - | 229 |1090k| 0 | 0 | 0 |2195k| 0 | 2.850000e+02 | 1.292000e+03 | 353.33%
448.05/448.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
448.05/448.27 c 405s| 1820k| 64 | 0 | 0.0 | 258M| 105 | - | 229 |1096k| 0 | 0 | 0 |2207k| 0 | 2.850000e+02 | 1.292000e+03 | 353.33%
450.65/450.84 c 407s| 1830k| 59 | 0 | 0.0 | 259M| 105 | - | 229 |1102k| 0 | 0 | 0 |2220k| 0 | 2.850000e+02 | 1.292000e+03 | 353.33%
451.95/452.13 o 1283
451.95/452.13 c * 408s| 1835k| 51 | 0 | 0.0 | 259M| 105 | - | 229 |1105k| 0 | 0 | 0 |2226k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
453.05/453.26 c 409s| 1840k| 59 | 0 | 0.0 | 260M| 105 | - | 229 |1107k| 0 | 0 | 0 |2231k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
455.44/455.69 c 411s| 1850k| 58 | 0 | 0.0 | 261M| 105 | - | 229 |1113k| 0 | 0 | 0 |2243k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
458.04/458.25 c 414s| 1860k| 57 | 0 | 0.0 | 263M| 105 | - | 229 |1119k| 0 | 0 | 0 |2255k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
460.44/460.69 c 416s| 1870k| 57 | 0 | 0.0 | 264M| 105 | - | 229 |1125k| 0 | 0 | 0 |2267k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
462.95/463.13 c 418s| 1880k| 60 | 0 | 0.0 | 265M| 105 | - | 229 |1131k| 0 | 0 | 0 |2279k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
465.43/465.61 c 420s| 1890k| 56 | 0 | 0.0 | 266M| 105 | - | 229 |1137k| 0 | 0 | 0 |2291k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
467.94/468.12 c 423s| 1900k| 57 | 0 | 0.0 | 267M| 105 | - | 229 |1143k| 0 | 0 | 0 |2303k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
470.44/470.62 c 425s| 1910k| 56 | 0 | 0.0 | 269M| 105 | - | 229 |1149k| 0 | 0 | 0 |2315k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
472.93/473.12 c 427s| 1920k| 59 | 0 | 0.0 | 270M| 105 | - | 229 |1155k| 0 | 0 | 0 |2327k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
475.34/475.55 c 429s| 1930k| 53 | 0 | 0.0 | 271M| 105 | - | 229 |1160k| 0 | 0 | 0 |2338k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
477.73/477.99 c 432s| 1940k| 58 | 0 | 0.0 | 272M| 105 | - | 229 |1166k| 0 | 0 | 0 |2350k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
480.13/480.35 c 434s| 1950k| 57 | 0 | 0.0 | 274M| 105 | - | 229 |1173k| 0 | 0 | 0 |2363k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
482.53/482.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.53/482.77 c 436s| 1960k| 62 | 0 | 0.0 | 275M| 105 | - | 229 |1178k| 0 | 0 | 0 |2377k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
485.13/485.39 c 438s| 1970k| 53 | 0 | 0.0 | 276M| 105 | - | 229 |1183k| 0 | 0 | 0 |2391k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
487.53/487.73 c 440s| 1980k| 58 | 0 | 0.0 | 277M| 105 | - | 229 |1188k| 0 | 0 | 0 |2404k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
490.23/490.40 c 443s| 1990k| 62 | 0 | 0.0 | 278M| 105 | - | 229 |1194k| 0 | 0 | 0 |2417k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
492.83/493.00 c 445s| 2000k| 59 | 0 | 0.0 | 280M| 105 | - | 229 |1201k| 0 | 0 | 0 |2432k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
495.63/495.82 c 448s| 2010k| 60 | 0 | 0.0 | 287M| 105 | - | 229 |1207k| 0 | 0 | 0 |2447k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
498.32/498.54 c 450s| 2020k| 57 | 0 | 0.0 | 288M| 105 | - | 229 |1212k| 0 | 0 | 0 |2461k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
500.92/501.10 c 453s| 2030k| 60 | 0 | 0.0 | 289M| 105 | - | 229 |1219k| 0 | 0 | 0 |2474k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
503.32/503.51 c 455s| 2040k| 54 | 0 | 0.0 | 290M| 105 | - | 229 |1224k| 0 | 0 | 0 |2486k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
505.83/506.08 c 457s| 2050k| 54 | 0 | 0.0 | 292M| 105 | - | 229 |1231k| 0 | 0 | 0 |2498k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
508.32/508.52 c 459s| 2060k| 53 | 0 | 0.0 | 293M| 105 | - | 229 |1237k| 0 | 0 | 0 |2510k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
510.82/511.04 c 462s| 2070k| 55 | 0 | 0.0 | 294M| 105 | - | 229 |1242k| 0 | 0 | 0 |2522k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
513.43/513.66 c 464s| 2080k| 57 | 0 | 0.0 | 295M| 105 | - | 229 |1248k| 0 | 0 | 0 |2535k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
516.12/516.32 c 466s| 2090k| 57 | 0 | 0.0 | 297M| 105 | - | 229 |1255k| 0 | 0 | 0 |2547k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
518.72/518.94 c 469s| 2100k| 62 | 0 | 0.0 | 298M| 105 | - | 229 |1261k| 0 | 0 | 0 |2559k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
521.13/521.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
521.13/521.40 c 471s| 2110k| 56 | 0 | 0.0 | 299M| 105 | - | 229 |1267k| 0 | 0 | 0 |2572k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
523.82/524.03 c 473s| 2120k| 55 | 0 | 0.0 | 300M| 105 | - | 229 |1273k| 0 | 0 | 0 |2584k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
526.32/526.59 c 476s| 2130k| 55 | 0 | 0.0 | 302M| 105 | - | 229 |1279k| 0 | 0 | 0 |2597k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
529.11/529.35 c 478s| 2140k| 56 | 0 | 0.0 | 303M| 105 | - | 229 |1285k| 0 | 0 | 0 |2610k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
531.71/531.94 c 481s| 2150k| 55 | 0 | 0.0 | 304M| 105 | - | 229 |1291k| 0 | 0 | 0 |2623k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
534.11/534.31 c 483s| 2160k| 66 | 0 | 0.0 | 305M| 105 | - | 229 |1297k| 0 | 0 | 0 |2635k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
536.52/536.70 c 485s| 2170k| 58 | 0 | 0.0 | 306M| 105 | - | 229 |1302k| 0 | 0 | 0 |2647k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
538.91/539.16 c 487s| 2180k| 59 | 0 | 0.0 | 308M| 105 | - | 229 |1308k| 0 | 0 | 0 |2659k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
541.31/541.58 c 489s| 2190k| 59 | 0 | 0.0 | 309M| 105 | - | 229 |1315k| 0 | 0 | 0 |2672k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
543.91/544.10 c 492s| 2200k| 63 | 0 | 0.0 | 310M| 105 | - | 229 |1320k| 0 | 0 | 0 |2685k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
546.42/546.60 c 494s| 2210k| 56 | 0 | 0.0 | 311M| 105 | - | 229 |1325k| 0 | 0 | 0 |2698k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
548.81/549.05 c 496s| 2220k| 61 | 0 | 0.0 | 312M| 105 | - | 229 |1331k| 0 | 0 | 0 |2709k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
551.31/551.55 c 498s| 2230k| 55 | 0 | 0.0 | 314M| 105 | - | 229 |1337k| 0 | 0 | 0 |2721k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
553.80/554.01 c 501s| 2240k| 60 | 0 | 0.0 | 315M| 105 | - | 229 |1343k| 0 | 0 | 0 |2733k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
556.21/556.49 c 503s| 2250k| 54 | 0 | 0.0 | 316M| 105 | - | 229 |1348k| 0 | 0 | 0 |2745k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
558.62/558.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.62/558.85 c 505s| 2260k| 58 | 0 | 0.0 | 317M| 105 | - | 229 |1354k| 0 | 0 | 0 |2759k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
561.00/561.24 c 507s| 2270k| 55 | 0 | 0.0 | 318M| 105 | - | 229 |1360k| 0 | 0 | 0 |2770k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
563.40/563.65 c 509s| 2280k| 59 | 0 | 0.0 | 320M| 105 | - | 229 |1365k| 0 | 0 | 0 |2782k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
565.71/565.96 c 511s| 2290k| 52 | 0 | 0.0 | 321M| 105 | - | 229 |1371k| 0 | 0 | 0 |2793k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
568.10/568.31 c 513s| 2300k| 50 | 0 | 0.0 | 322M| 105 | - | 229 |1376k| 0 | 0 | 0 |2805k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
570.61/570.81 c 516s| 2310k| 52 | 0 | 0.0 | 323M| 105 | - | 229 |1382k| 0 | 0 | 0 |2817k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
573.10/573.30 c 518s| 2320k| 56 | 0 | 0.0 | 324M| 105 | - | 229 |1388k| 0 | 0 | 0 |2829k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
575.50/575.78 c 520s| 2330k| 57 | 0 | 0.0 | 325M| 105 | - | 229 |1394k| 0 | 0 | 0 |2840k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
578.10/578.39 c 523s| 2340k| 52 | 0 | 0.0 | 327M| 105 | - | 229 |1400k| 0 | 0 | 0 |2854k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
580.60/580.88 c 525s| 2350k| 56 | 0 | 0.0 | 328M| 105 | - | 229 |1405k| 0 | 0 | 0 |2865k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
583.00/583.30 c 527s| 2360k| 50 | 0 | 0.0 | 329M| 105 | - | 229 |1411k| 0 | 0 | 0 |2877k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
585.39/585.64 c 529s| 2370k| 57 | 0 | 0.0 | 330M| 105 | - | 229 |1417k| 0 | 0 | 0 |2889k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
587.89/588.10 c 531s| 2380k| 52 | 0 | 0.0 | 332M| 105 | - | 229 |1423k| 0 | 0 | 0 |2901k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
590.29/590.50 c 533s| 2390k| 51 | 0 | 0.0 | 333M| 105 | - | 229 |1428k| 0 | 0 | 0 |2913k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
592.70/592.93 c 536s| 2400k| 56 | 0 | 0.0 | 334M| 105 | - | 229 |1434k| 0 | 0 | 0 |2924k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
595.19/595.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
595.19/595.45 c 538s| 2410k| 54 | 0 | 0.0 | 335M| 105 | - | 229 |1440k| 0 | 0 | 0 |2936k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
597.69/597.90 c 540s| 2420k| 54 | 0 | 0.0 | 336M| 105 | - | 229 |1445k| 0 | 0 | 0 |2949k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
600.19/600.49 c 543s| 2430k| 57 | 0 | 0.0 | 344M| 105 | - | 229 |1451k| 0 | 0 | 0 |2961k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
602.79/603.08 c 545s| 2440k| 52 | 0 | 0.0 | 346M| 105 | - | 229 |1458k| 0 | 0 | 0 |2974k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
605.29/605.59 c 547s| 2450k| 55 | 0 | 0.0 | 347M| 105 | - | 229 |1464k| 0 | 0 | 0 |2986k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
607.69/607.98 c 549s| 2460k| 51 | 0 | 0.0 | 349M| 105 | - | 229 |1471k| 0 | 0 | 0 |2999k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
610.59/610.89 c 552s| 2470k| 54 | 0 | 0.0 | 350M| 105 | - | 229 |1478k| 0 | 0 | 0 |3012k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
614.39/614.60 c 555s| 2480k| 55 | 0 | 0.0 | 351M| 105 | - | 229 |1484k| 0 | 0 | 0 |3023k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
617.39/617.64 c 558s| 2490k| 53 | 0 | 0.0 | 352M| 105 | - | 229 |1489k| 0 | 0 | 0 |3035k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
620.58/620.80 c 561s| 2500k| 50 | 0 | 0.0 | 354M| 105 | - | 229 |1495k| 0 | 0 | 0 |3046k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
623.78/624.03 c 564s| 2510k| 55 | 0 | 0.0 | 355M| 105 | - | 229 |1500k| 0 | 0 | 0 |3057k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
627.79/628.00 c 568s| 2520k| 53 | 0 | 0.0 | 356M| 105 | - | 229 |1506k| 0 | 0 | 0 |3069k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
631.28/631.52 c 571s| 2530k| 51 | 0 | 0.0 | 357M| 105 | - | 229 |1513k| 0 | 0 | 0 |3082k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
634.28/634.54 c 574s| 2540k| 58 | 0 | 0.0 | 358M| 105 | - | 229 |1515k| 0 | 0 | 0 |3094k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
636.78/637.03 c 576s| 2550k| 49 | 0 | 0.0 | 359M| 105 | - | 229 |1521k| 0 | 0 | 0 |3106k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
639.48/639.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.48/639.71 c 579s| 2560k| 51 | 0 | 0.0 | 360M| 105 | - | 229 |1527k| 0 | 0 | 0 |3118k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
641.97/642.30 c 581s| 2570k| 54 | 0 | 0.0 | 362M| 105 | - | 229 |1533k| 0 | 0 | 0 |3130k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
644.78/645.03 c 584s| 2580k| 52 | 0 | 0.0 | 363M| 105 | - | 229 |1539k| 0 | 0 | 0 |3142k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
647.18/647.47 c 586s| 2590k| 56 | 0 | 0.0 | 364M| 105 | - | 229 |1545k| 0 | 0 | 0 |3154k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
649.68/649.98 c 588s| 2600k| 51 | 0 | 0.0 | 365M| 105 | - | 229 |1550k| 0 | 0 | 0 |3165k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
652.17/652.40 c 590s| 2610k| 54 | 0 | 0.0 | 366M| 105 | - | 229 |1556k| 0 | 0 | 0 |3177k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
654.57/654.88 c 592s| 2620k| 54 | 0 | 0.0 | 368M| 105 | - | 229 |1562k| 0 | 0 | 0 |3188k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
657.07/657.39 c 595s| 2630k| 49 | 0 | 0.0 | 369M| 105 | - | 229 |1567k| 0 | 0 | 0 |3200k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
659.57/659.88 c 597s| 2640k| 51 | 0 | 0.0 | 370M| 105 | - | 229 |1573k| 0 | 0 | 0 |3212k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
661.88/662.20 c 599s| 2650k| 54 | 0 | 0.0 | 371M| 105 | - | 229 |1578k| 0 | 0 | 0 |3222k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
664.37/664.62 c 601s| 2660k| 58 | 0 | 0.0 | 372M| 105 | - | 229 |1584k| 0 | 0 | 0 |3234k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
666.67/666.95 c 603s| 2670k| 55 | 0 | 0.0 | 373M| 105 | - | 229 |1590k| 0 | 0 | 0 |3245k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
669.17/669.48 c 606s| 2680k| 57 | 0 | 0.0 | 375M| 105 | - | 229 |1595k| 0 | 0 | 0 |3256k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
671.57/671.84 c 608s| 2690k| 55 | 0 | 0.0 | 376M| 105 | - | 229 |1601k| 0 | 0 | 0 |3267k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
673.98/674.30 c 610s| 2700k| 52 | 0 | 0.0 | 377M| 105 | - | 229 |1606k| 0 | 0 | 0 |3278k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
676.36/676.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
676.36/676.69 c 612s| 2710k| 49 | 0 | 0.0 | 378M| 105 | - | 229 |1612k| 0 | 0 | 0 |3289k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
678.77/679.09 c 614s| 2720k| 50 | 0 | 0.0 | 379M| 105 | - | 229 |1617k| 0 | 0 | 0 |3300k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
681.27/681.52 c 617s| 2730k| 55 | 0 | 0.0 | 380M| 105 | - | 229 |1623k| 0 | 0 | 0 |3311k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
683.77/684.06 c 619s| 2740k| 58 | 0 | 0.0 | 381M| 105 | - | 229 |1628k| 0 | 0 | 0 |3323k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
686.36/686.67 c 621s| 2750k| 52 | 0 | 0.0 | 383M| 105 | - | 229 |1634k| 0 | 0 | 0 |3335k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
688.97/689.28 c 624s| 2760k| 56 | 0 | 0.0 | 384M| 105 | - | 229 |1640k| 0 | 0 | 0 |3347k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
691.67/691.91 c 626s| 2770k| 53 | 0 | 0.0 | 385M| 105 | - | 229 |1646k| 0 | 0 | 0 |3360k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
694.26/694.55 c 628s| 2780k| 62 | 0 | 0.0 | 386M| 105 | - | 229 |1652k| 0 | 0 | 0 |3372k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
696.76/697.05 c 631s| 2790k| 55 | 0 | 0.0 | 388M| 105 | - | 229 |1658k| 0 | 0 | 0 |3384k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
699.46/699.74 c 633s| 2800k| 63 | 0 | 0.0 | 389M| 105 | - | 229 |1664k| 0 | 0 | 0 |3396k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
701.96/702.27 c 635s| 2810k| 56 | 0 | 0.0 | 390M| 105 | - | 229 |1670k| 0 | 0 | 0 |3408k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
704.66/704.96 c 638s| 2820k| 50 | 0 | 0.0 | 391M| 105 | - | 229 |1676k| 0 | 0 | 0 |3420k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
707.15/707.44 c 640s| 2830k| 51 | 0 | 0.0 | 393M| 105 | - | 229 |1682k| 0 | 0 | 0 |3432k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
709.66/709.91 c 642s| 2840k| 54 | 0 | 0.0 | 394M| 105 | - | 229 |1688k| 0 | 0 | 0 |3444k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
712.16/712.43 c 645s| 2850k| 48 | 0 | 0.0 | 395M| 105 | - | 229 |1694k| 0 | 0 | 0 |3456k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
714.66/714.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
714.66/714.97 c 647s| 2860k| 54 | 0 | 0.0 | 396M| 105 | - | 229 |1699k| 0 | 0 | 0 |3467k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
717.35/717.60 c 649s| 2870k| 53 | 0 | 0.0 | 397M| 105 | - | 229 |1705k| 0 | 0 | 0 |3479k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
719.95/720.20 c 652s| 2880k| 49 | 0 | 0.0 | 399M| 105 | - | 229 |1711k| 0 | 0 | 0 |3491k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
722.46/722.78 c 654s| 2890k| 51 | 0 | 0.0 | 400M| 105 | - | 229 |1717k| 0 | 0 | 0 |3504k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
725.25/725.51 c 656s| 2900k| 58 | 0 | 0.0 | 401M| 105 | - | 229 |1723k| 0 | 0 | 0 |3516k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
727.85/728.11 c 659s| 2910k| 55 | 0 | 0.0 | 402M| 105 | - | 229 |1729k| 0 | 0 | 0 |3528k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
730.25/730.58 c 661s| 2920k| 52 | 0 | 0.0 | 404M| 105 | - | 229 |1735k| 0 | 0 | 0 |3540k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
732.85/733.16 c 663s| 2930k| 51 | 0 | 0.0 | 413M| 105 | - | 229 |1741k| 0 | 0 | 0 |3552k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
735.35/735.69 c 666s| 2940k| 48 | 0 | 0.0 | 414M| 105 | - | 229 |1747k| 0 | 0 | 0 |3565k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
738.05/738.36 c 668s| 2950k| 51 | 0 | 0.0 | 416M| 105 | - | 229 |1753k| 0 | 0 | 0 |3579k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
740.65/740.95 c 670s| 2960k| 54 | 0 | 0.0 | 417M| 105 | - | 229 |1759k| 0 | 0 | 0 |3591k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
743.26/743.55 c 673s| 2970k| 51 | 0 | 0.0 | 418M| 105 | - | 229 |1764k| 0 | 0 | 0 |3603k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
746.04/746.30 c 675s| 2980k| 51 | 0 | 0.0 | 419M| 105 | - | 229 |1771k| 0 | 0 | 0 |3615k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
748.64/748.91 c 678s| 2990k| 47 | 0 | 0.0 | 421M| 105 | - | 229 |1777k| 0 | 0 | 0 |3627k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
751.25/751.51 c 680s| 3000k| 58 | 0 | 0.0 | 422M| 105 | - | 229 |1783k| 0 | 0 | 0 |3639k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
753.74/754.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
753.74/754.06 c 682s| 3010k| 54 | 0 | 0.0 | 423M| 105 | - | 229 |1788k| 0 | 0 | 0 |3652k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
756.15/756.48 c 685s| 3020k| 50 | 0 | 0.0 | 424M| 105 | - | 229 |1794k| 0 | 0 | 0 |3663k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
758.65/758.93 c 687s| 3030k| 48 | 0 | 0.0 | 425M| 105 | - | 229 |1800k| 0 | 0 | 0 |3674k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
761.04/761.32 c 689s| 3040k| 54 | 0 | 0.0 | 427M| 105 | - | 229 |1805k| 0 | 0 | 0 |3686k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
763.53/763.85 c 691s| 3050k| 50 | 0 | 0.0 | 428M| 105 | - | 229 |1811k| 0 | 0 | 0 |3697k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
765.93/766.20 c 693s| 3060k| 55 | 0 | 0.0 | 429M| 105 | - | 229 |1816k| 0 | 0 | 0 |3708k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
768.44/768.77 c 696s| 3070k| 52 | 0 | 0.0 | 430M| 105 | - | 229 |1823k| 0 | 0 | 0 |3721k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
771.03/771.39 c 698s| 3080k| 55 | 0 | 0.0 | 431M| 105 | - | 229 |1829k| 0 | 0 | 0 |3732k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
773.64/773.92 c 700s| 3090k| 55 | 0 | 0.0 | 433M| 105 | - | 229 |1834k| 0 | 0 | 0 |3744k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
776.24/776.50 c 703s| 3100k| 50 | 0 | 0.0 | 434M| 105 | - | 229 |1840k| 0 | 0 | 0 |3756k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
778.73/779.03 c 705s| 3110k| 52 | 0 | 0.0 | 435M| 105 | - | 229 |1846k| 0 | 0 | 0 |3768k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
781.33/781.65 c 707s| 3120k| 52 | 0 | 0.0 | 436M| 105 | - | 229 |1852k| 0 | 0 | 0 |3782k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
783.94/784.28 c 710s| 3130k| 47 | 0 | 0.0 | 438M| 105 | - | 229 |1858k| 0 | 0 | 0 |3794k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
786.43/786.78 c 712s| 3140k| 49 | 0 | 0.0 | 439M| 105 | - | 229 |1863k| 0 | 0 | 0 |3805k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
789.13/789.43 c 714s| 3150k| 50 | 0 | 0.0 | 440M| 105 | - | 229 |1869k| 0 | 0 | 0 |3817k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
791.64/791.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
791.64/791.99 c 717s| 3160k| 54 | 0 | 0.0 | 441M| 105 | - | 229 |1875k| 0 | 0 | 0 |3828k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
794.13/794.43 c 719s| 3170k| 57 | 0 | 0.0 | 442M| 105 | - | 229 |1881k| 0 | 0 | 0 |3840k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
796.63/796.92 c 721s| 3180k| 49 | 0 | 0.0 | 443M| 105 | - | 229 |1886k| 0 | 0 | 0 |3851k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
799.03/799.38 c 723s| 3190k| 58 | 0 | 0.0 | 445M| 105 | - | 229 |1892k| 0 | 0 | 0 |3862k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
801.54/801.80 c 725s| 3200k| 58 | 0 | 0.0 | 446M| 105 | - | 229 |1897k| 0 | 0 | 0 |3874k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
803.93/804.23 c 728s| 3210k| 57 | 0 | 0.0 | 447M| 105 | - | 229 |1903k| 0 | 0 | 0 |3885k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
806.33/806.61 c 730s| 3220k| 54 | 0 | 0.0 | 448M| 105 | - | 229 |1908k| 0 | 0 | 0 |3896k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
808.72/809.07 c 732s| 3230k| 54 | 0 | 0.0 | 449M| 105 | - | 229 |1913k| 0 | 0 | 0 |3906k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
811.13/811.46 c 734s| 3240k| 50 | 0 | 0.0 | 450M| 105 | - | 229 |1919k| 0 | 0 | 0 |3918k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
813.62/813.98 c 737s| 3250k| 52 | 0 | 0.0 | 451M| 105 | - | 229 |1925k| 0 | 0 | 0 |3929k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
816.12/816.42 c 739s| 3260k| 54 | 0 | 0.0 | 452M| 105 | - | 229 |1930k| 0 | 0 | 0 |3940k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
818.42/818.72 c 741s| 3270k| 57 | 0 | 0.0 | 454M| 105 | - | 229 |1936k| 0 | 0 | 0 |3952k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
820.82/821.14 c 743s| 3280k| 51 | 0 | 0.0 | 455M| 105 | - | 229 |1941k| 0 | 0 | 0 |3964k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
823.32/823.61 c 745s| 3290k| 51 | 0 | 0.0 | 456M| 105 | - | 229 |1947k| 0 | 0 | 0 |3975k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
825.73/826.05 c 747s| 3300k| 58 | 0 | 0.0 | 457M| 105 | - | 229 |1953k| 0 | 0 | 0 |3988k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
828.12/828.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
828.12/828.49 c 750s| 3310k| 56 | 0 | 0.0 | 458M| 105 | - | 229 |1959k| 0 | 0 | 0 |4000k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
830.62/830.95 c 752s| 3320k| 50 | 0 | 0.0 | 460M| 105 | - | 229 |1964k| 0 | 0 | 0 |4011k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
833.11/833.44 c 754s| 3330k| 56 | 0 | 0.0 | 461M| 105 | - | 229 |1970k| 0 | 0 | 0 |4023k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
835.62/835.94 c 756s| 3340k| 54 | 0 | 0.0 | 462M| 105 | - | 229 |1976k| 0 | 0 | 0 |4035k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
838.11/838.45 c 759s| 3350k| 51 | 0 | 0.0 | 463M| 105 | - | 229 |1982k| 0 | 0 | 0 |4047k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
840.51/840.88 c 761s| 3360k| 52 | 0 | 0.0 | 464M| 105 | - | 229 |1988k| 0 | 0 | 0 |4059k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
842.91/843.29 c 763s| 3370k| 51 | 0 | 0.0 | 466M| 105 | - | 229 |1993k| 0 | 0 | 0 |4070k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
845.41/845.76 c 765s| 3380k| 58 | 0 | 0.0 | 467M| 105 | - | 229 |1999k| 0 | 0 | 0 |4082k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
847.91/848.24 c 768s| 3390k| 57 | 0 | 0.0 | 468M| 105 | - | 229 |2004k| 0 | 0 | 0 |4094k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
850.41/850.70 c 770s| 3400k| 51 | 0 | 0.0 | 469M| 105 | - | 229 |2010k| 0 | 0 | 0 |4106k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
852.81/853.19 c 772s| 3410k| 52 | 0 | 0.0 | 470M| 105 | - | 229 |2015k| 0 | 0 | 0 |4117k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
855.30/855.69 c 774s| 3420k| 54 | 0 | 0.0 | 471M| 105 | - | 229 |2021k| 0 | 0 | 0 |4128k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
857.90/858.21 c 777s| 3430k| 50 | 0 | 0.0 | 473M| 105 | - | 229 |2027k| 0 | 0 | 0 |4140k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
860.51/860.86 c 779s| 3440k| 52 | 0 | 0.0 | 474M| 105 | - | 229 |2033k| 0 | 0 | 0 |4153k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
862.90/863.29 c 781s| 3450k| 55 | 0 | 0.0 | 475M| 105 | - | 229 |2039k| 0 | 0 | 0 |4164k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
865.41/865.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.41/865.72 c 783s| 3460k| 52 | 0 | 0.0 | 476M| 105 | - | 229 |2045k| 0 | 0 | 0 |4176k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
867.80/868.12 c 785s| 3470k| 53 | 0 | 0.0 | 478M| 105 | - | 229 |2051k| 0 | 0 | 0 |4188k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
870.20/870.53 c 788s| 3480k| 50 | 0 | 0.0 | 479M| 105 | - | 229 |2057k| 0 | 0 | 0 |4200k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
872.40/872.78 c 790s| 3490k| 49 | 0 | 0.0 | 480M| 105 | - | 229 |2062k| 0 | 0 | 0 |4211k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
874.71/875.09 c 792s| 3500k| 45 | 0 | 0.0 | 481M| 105 | - | 229 |2068k| 0 | 0 | 0 |4222k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
877.10/877.41 c 794s| 3510k| 48 | 0 | 0.0 | 482M| 105 | - | 229 |2073k| 0 | 0 | 0 |4234k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
879.50/879.84 c 796s| 3520k| 52 | 0 | 0.0 | 484M| 105 | - | 229 |2079k| 0 | 0 | 0 |4245k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
882.00/882.31 c 798s| 3530k| 46 | 0 | 0.0 | 495M| 105 | - | 229 |2085k| 0 | 0 | 0 |4258k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
884.49/884.80 c 801s| 3540k| 56 | 0 | 0.0 | 496M| 105 | - | 229 |2090k| 0 | 0 | 0 |4270k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
886.99/887.33 c 803s| 3550k| 50 | 0 | 0.0 | 497M| 105 | - | 229 |2096k| 0 | 0 | 0 |4281k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
889.60/889.93 c 805s| 3560k| 59 | 0 | 0.0 | 498M| 105 | - | 229 |2102k| 0 | 0 | 0 |4293k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
892.09/892.47 c 808s| 3570k| 56 | 0 | 0.0 | 499M| 105 | - | 229 |2108k| 0 | 0 | 0 |4305k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
894.60/894.99 c 810s| 3580k| 49 | 0 | 0.0 | 501M| 105 | - | 229 |2113k| 0 | 0 | 0 |4316k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
897.10/897.43 c 812s| 3590k| 58 | 0 | 0.0 | 502M| 105 | - | 229 |2119k| 0 | 0 | 0 |4330k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
899.40/899.80 c 814s| 3600k| 58 | 0 | 0.0 | 503M| 105 | - | 229 |2125k| 0 | 0 | 0 |4342k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
901.89/902.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.89/902.28 c 816s| 3610k| 48 | 0 | 0.0 | 504M| 105 | - | 229 |2130k| 0 | 0 | 0 |4354k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
904.50/904.88 c 819s| 3620k| 50 | 0 | 0.0 | 505M| 105 | - | 229 |2137k| 0 | 0 | 0 |4366k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
907.10/907.46 c 821s| 3630k| 53 | 0 | 0.0 | 507M| 105 | - | 229 |2142k| 0 | 0 | 0 |4378k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
909.69/910.09 c 824s| 3640k| 52 | 0 | 0.0 | 508M| 105 | - | 229 |2148k| 0 | 0 | 0 |4390k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
912.39/912.73 c 826s| 3650k| 51 | 0 | 0.0 | 509M| 105 | - | 229 |2155k| 0 | 0 | 0 |4403k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
915.09/915.43 c 828s| 3660k| 50 | 0 | 0.0 | 511M| 105 | - | 229 |2161k| 0 | 0 | 0 |4416k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
917.69/918.02 c 831s| 3670k| 52 | 0 | 0.0 | 512M| 105 | - | 229 |2167k| 0 | 0 | 0 |4428k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
920.08/920.47 c 833s| 3680k| 53 | 0 | 0.0 | 513M| 105 | - | 229 |2173k| 0 | 0 | 0 |4439k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
922.78/923.13 c 835s| 3690k| 49 | 0 | 0.0 | 514M| 105 | - | 229 |2179k| 0 | 0 | 0 |4453k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
925.28/925.66 c 838s| 3700k| 49 | 0 | 0.0 | 515M| 105 | - | 229 |2184k| 0 | 0 | 0 |4464k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
927.89/928.29 c 840s| 3710k| 47 | 0 | 0.0 | 517M| 105 | - | 229 |2190k| 0 | 0 | 0 |4476k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
930.58/930.93 c 842s| 3720k| 53 | 0 | 0.0 | 518M| 105 | - | 229 |2196k| 0 | 0 | 0 |4488k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
932.98/933.36 c 845s| 3730k| 51 | 0 | 0.0 | 519M| 105 | - | 229 |2201k| 0 | 0 | 0 |4500k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
935.48/935.87 c 847s| 3740k| 59 | 0 | 0.0 | 520M| 105 | - | 229 |2207k| 0 | 0 | 0 |4511k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
938.08/938.43 c 849s| 3750k| 50 | 0 | 0.0 | 521M| 105 | - | 229 |2213k| 0 | 0 | 0 |4523k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
940.68/941.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
940.68/941.01 c 851s| 3760k| 47 | 0 | 0.0 | 523M| 105 | - | 229 |2219k| 0 | 0 | 0 |4536k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
943.18/943.53 c 854s| 3770k| 45 | 0 | 0.0 | 524M| 105 | - | 229 |2225k| 0 | 0 | 0 |4547k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
945.69/946.08 c 856s| 3780k| 55 | 0 | 0.0 | 525M| 105 | - | 229 |2231k| 0 | 0 | 0 |4559k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
948.17/948.51 c 858s| 3790k| 47 | 0 | 0.0 | 526M| 105 | - | 229 |2236k| 0 | 0 | 0 |4570k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
950.58/950.96 c 861s| 3800k| 48 | 0 | 0.0 | 527M| 105 | - | 229 |2242k| 0 | 0 | 0 |4582k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
953.07/953.47 c 863s| 3810k| 48 | 0 | 0.0 | 529M| 105 | - | 229 |2248k| 0 | 0 | 0 |4595k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
955.67/956.02 c 865s| 3820k| 50 | 0 | 0.0 | 530M| 105 | - | 229 |2254k| 0 | 0 | 0 |4607k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
958.17/958.52 c 867s| 3830k| 47 | 0 | 0.0 | 531M| 105 | - | 229 |2259k| 0 | 0 | 0 |4620k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
960.67/961.08 c 870s| 3840k| 55 | 0 | 0.0 | 532M| 105 | - | 229 |2265k| 0 | 0 | 0 |4632k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
963.37/963.71 c 872s| 3850k| 53 | 0 | 0.0 | 533M| 105 | - | 229 |2271k| 0 | 0 | 0 |4644k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
965.77/966.19 c 874s| 3860k| 48 | 0 | 0.0 | 535M| 105 | - | 229 |2276k| 0 | 0 | 0 |4655k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
968.37/968.78 c 877s| 3870k| 57 | 0 | 0.0 | 536M| 105 | - | 229 |2282k| 0 | 0 | 0 |4667k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
970.77/971.15 c 879s| 3880k| 56 | 0 | 0.0 | 537M| 105 | - | 229 |2288k| 0 | 0 | 0 |4678k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
973.27/973.67 c 881s| 3890k| 52 | 0 | 0.0 | 538M| 105 | - | 229 |2294k| 0 | 0 | 0 |4690k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
975.96/976.30 c 884s| 3900k| 54 | 0 | 0.0 | 539M| 105 | - | 229 |2300k| 0 | 0 | 0 |4702k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
978.57/978.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
978.57/978.95 c 886s| 3910k| 57 | 0 | 0.0 | 541M| 105 | - | 229 |2306k| 0 | 0 | 0 |4714k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
981.17/981.58 c 888s| 3920k| 54 | 0 | 0.0 | 542M| 105 | - | 229 |2312k| 0 | 0 | 0 |4726k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
983.86/984.21 c 891s| 3930k| 53 | 0 | 0.0 | 543M| 105 | - | 229 |2318k| 0 | 0 | 0 |4739k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
986.37/986.74 c 893s| 3940k| 54 | 0 | 0.0 | 544M| 105 | - | 229 |2324k| 0 | 0 | 0 |4750k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
988.96/989.34 c 895s| 3950k| 47 | 0 | 0.0 | 546M| 105 | - | 229 |2330k| 0 | 0 | 0 |4762k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
991.46/991.89 c 898s| 3960k| 51 | 0 | 0.0 | 547M| 105 | - | 229 |2335k| 0 | 0 | 0 |4774k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
994.16/994.51 c 900s| 3970k| 57 | 0 | 0.0 | 548M| 105 | - | 229 |2341k| 0 | 0 | 0 |4785k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
996.56/996.95 c 902s| 3980k| 55 | 0 | 0.0 | 549M| 105 | - | 229 |2347k| 0 | 0 | 0 |4797k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
999.16/999.55 c 905s| 3990k| 51 | 0 | 0.0 | 550M| 105 | - | 229 |2352k| 0 | 0 | 0 |4808k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1001.86/1002.25 c 907s| 4000k| 56 | 0 | 0.0 | 552M| 105 | - | 229 |2358k| 0 | 0 | 0 |4820k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1004.46/1004.85 c 909s| 4010k| 55 | 0 | 0.0 | 553M| 105 | - | 229 |2364k| 0 | 0 | 0 |4832k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1007.06/1007.50 c 912s| 4020k| 48 | 0 | 0.0 | 554M| 105 | - | 229 |2370k| 0 | 0 | 0 |4843k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1009.66/1010.03 c 914s| 4030k| 50 | 0 | 0.0 | 555M| 105 | - | 229 |2376k| 0 | 0 | 0 |4855k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1012.25/1012.60 c 916s| 4040k| 48 | 0 | 0.0 | 556M| 105 | - | 229 |2381k| 0 | 0 | 0 |4867k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1014.86/1015.24 c 919s| 4050k| 46 | 0 | 0.0 | 558M| 105 | - | 229 |2387k| 0 | 0 | 0 |4879k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1017.45/1017.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1017.45/1017.81 c 921s| 4060k| 51 | 0 | 0.0 | 559M| 105 | - | 229 |2393k| 0 | 0 | 0 |4890k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1019.95/1020.32 c 923s| 4070k| 49 | 0 | 0.0 | 560M| 105 | - | 229 |2399k| 0 | 0 | 0 |4902k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1022.36/1022.77 c 926s| 4080k| 53 | 0 | 0.0 | 561M| 105 | - | 229 |2404k| 0 | 0 | 0 |4913k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1024.95/1025.30 c 928s| 4090k| 56 | 0 | 0.0 | 562M| 105 | - | 229 |2410k| 0 | 0 | 0 |4924k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1027.55/1027.95 c 930s| 4100k| 45 | 0 | 0.0 | 564M| 105 | - | 229 |2416k| 0 | 0 | 0 |4935k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1030.15/1030.59 c 933s| 4110k| 47 | 0 | 0.0 | 565M| 105 | - | 229 |2421k| 0 | 0 | 0 |4946k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1032.65/1033.09 c 935s| 4120k| 51 | 0 | 0.0 | 566M| 105 | - | 229 |2427k| 0 | 0 | 0 |4958k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1035.14/1035.57 c 937s| 4130k| 55 | 0 | 0.0 | 567M| 105 | - | 229 |2433k| 0 | 0 | 0 |4969k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1037.55/1037.93 c 939s| 4140k| 52 | 0 | 0.0 | 568M| 105 | - | 229 |2438k| 0 | 0 | 0 |4980k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1040.05/1040.49 c 942s| 4150k| 53 | 0 | 0.0 | 569M| 105 | - | 229 |2444k| 0 | 0 | 0 |4992k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1042.65/1043.07 c 944s| 4160k| 54 | 0 | 0.0 | 571M| 105 | - | 229 |2449k| 0 | 0 | 0 |5003k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1045.34/1045.78 c 947s| 4170k| 52 | 0 | 0.0 | 572M| 105 | - | 229 |2455k| 0 | 0 | 0 |5015k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1047.95/1048.39 c 949s| 4180k| 56 | 0 | 0.0 | 573M| 105 | - | 229 |2461k| 0 | 0 | 0 |5027k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1050.55/1050.95 c 951s| 4190k| 44 | 0 | 0.0 | 574M| 105 | - | 229 |2467k| 0 | 0 | 0 |5038k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1052.95/1053.34 c 953s| 4200k| 54 | 0 | 0.0 | 575M| 105 | - | 229 |2472k| 0 | 0 | 0 |5048k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1055.55/1055.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1055.55/1055.95 c 956s| 4210k| 52 | 0 | 0.0 | 576M| 105 | - | 229 |2477k| 0 | 0 | 0 |5059k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1058.14/1058.59 c 958s| 4220k| 50 | 0 | 0.0 | 577M| 105 | - | 229 |2483k| 0 | 0 | 0 |5070k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1060.84/1061.28 c 961s| 4230k| 60 | 0 | 0.0 | 579M| 105 | - | 229 |2488k| 0 | 0 | 0 |5081k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1063.54/1063.99 c 963s| 4240k| 55 | 0 | 0.0 | 580M| 105 | - | 229 |2494k| 0 | 0 | 0 |5093k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1066.44/1066.85 c 966s| 4250k| 52 | 0 | 0.0 | 593M| 105 | - | 229 |2500k| 0 | 0 | 0 |5105k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1069.14/1069.53 c 968s| 4260k| 48 | 0 | 0.0 | 594M| 105 | - | 229 |2506k| 0 | 0 | 0 |5117k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1071.84/1072.29 c 971s| 4270k| 52 | 0 | 0.0 | 595M| 105 | - | 229 |2511k| 0 | 0 | 0 |5128k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1074.64/1075.04 c 973s| 4280k| 51 | 0 | 0.0 | 597M| 105 | - | 229 |2517k| 0 | 0 | 0 |5140k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1077.23/1077.67 c 975s| 4290k| 48 | 0 | 0.0 | 598M| 105 | - | 229 |2523k| 0 | 0 | 0 |5151k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1079.93/1080.39 c 978s| 4300k| 51 | 0 | 0.0 | 599M| 105 | - | 229 |2529k| 0 | 0 | 0 |5163k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1082.63/1083.02 c 980s| 4310k| 53 | 0 | 0.0 | 600M| 105 | - | 229 |2534k| 0 | 0 | 0 |5174k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1085.43/1085.80 c 983s| 4320k| 50 | 0 | 0.0 | 601M| 105 | - | 229 |2540k| 0 | 0 | 0 |5186k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1088.13/1088.57 c 985s| 4330k| 46 | 0 | 0.0 | 603M| 105 | - | 229 |2545k| 0 | 0 | 0 |5197k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1090.74/1091.14 c 988s| 4340k| 42 | 0 | 0.0 | 604M| 105 | - | 229 |2551k| 0 | 0 | 0 |5208k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1093.23/1093.69 c 990s| 4350k| 49 | 0 | 0.0 | 605M| 105 | - | 229 |2557k| 0 | 0 | 0 |5219k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1095.93/1096.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.93/1096.32 c 992s| 4360k| 50 | 0 | 0.0 | 606M| 105 | - | 229 |2562k| 0 | 0 | 0 |5231k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1098.54/1098.99 c 995s| 4370k| 48 | 0 | 0.0 | 607M| 105 | - | 229 |2568k| 0 | 0 | 0 |5242k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1101.43/1101.90 c 997s| 4380k| 47 | 0 | 0.0 | 608M| 105 | - | 229 |2574k| 0 | 0 | 0 |5254k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1104.23/1104.62 c 1000s| 4390k| 45 | 0 | 0.0 | 610M| 105 | - | 229 |2580k| 0 | 0 | 0 |5266k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1107.03/1107.46 c 1002s| 4400k| 45 | 0 | 0.0 | 611M| 105 | - | 229 |2586k| 0 | 0 | 0 |5278k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1109.72/1110.17 c 1005s| 4410k| 46 | 0 | 0.0 | 612M| 105 | - | 229 |2591k| 0 | 0 | 0 |5290k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1112.43/1112.81 c 1007s| 4420k| 49 | 0 | 0.0 | 613M| 105 | - | 229 |2597k| 0 | 0 | 0 |5301k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1115.03/1115.43 c 1010s| 4430k| 48 | 0 | 0.0 | 614M| 105 | - | 229 |2603k| 0 | 0 | 0 |5313k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1117.61/1118.06 c 1012s| 4440k| 52 | 0 | 0.0 | 616M| 105 | - | 229 |2609k| 0 | 0 | 0 |5325k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1120.30/1120.78 c 1015s| 4450k| 53 | 0 | 0.0 | 617M| 105 | - | 229 |2615k| 0 | 0 | 0 |5336k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1123.01/1123.42 c 1017s| 4460k| 54 | 0 | 0.0 | 618M| 105 | - | 229 |2620k| 0 | 0 | 0 |5348k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1125.61/1126.10 c 1019s| 4470k| 51 | 0 | 0.0 | 619M| 105 | - | 229 |2626k| 0 | 0 | 0 |5360k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1128.40/1128.82 c 1022s| 4480k| 50 | 0 | 0.0 | 621M| 105 | - | 229 |2632k| 0 | 0 | 0 |5372k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1131.00/1131.41 c 1024s| 4490k| 52 | 0 | 0.0 | 622M| 105 | - | 229 |2638k| 0 | 0 | 0 |5383k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1133.61/1134.00 c 1027s| 4500k| 48 | 0 | 0.0 | 623M| 105 | - | 229 |2643k| 0 | 0 | 0 |5394k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1136.20/1136.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1136.20/1136.68 c 1029s| 4510k| 47 | 0 | 0.0 | 624M| 105 | - | 229 |2649k| 0 | 0 | 0 |5406k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1139.00/1139.41 c 1032s| 4520k| 48 | 0 | 0.0 | 625M| 105 | - | 229 |2655k| 0 | 0 | 0 |5418k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1141.50/1141.95 c 1034s| 4530k| 54 | 0 | 0.0 | 627M| 105 | - | 229 |2661k| 0 | 0 | 0 |5430k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1144.20/1144.62 c 1036s| 4540k| 54 | 0 | 0.0 | 628M| 105 | - | 229 |2667k| 0 | 0 | 0 |5442k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1146.91/1147.37 c 1039s| 4550k| 46 | 0 | 0.0 | 629M| 105 | - | 229 |2673k| 0 | 0 | 0 |5454k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1149.60/1150.00 c 1041s| 4560k| 47 | 0 | 0.0 | 630M| 105 | - | 229 |2679k| 0 | 0 | 0 |5466k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1152.20/1152.64 c 1044s| 4570k| 50 | 0 | 0.0 | 631M| 105 | - | 229 |2685k| 0 | 0 | 0 |5477k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1154.79/1155.24 c 1046s| 4580k| 49 | 0 | 0.0 | 633M| 105 | - | 229 |2690k| 0 | 0 | 0 |5489k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1157.69/1158.12 c 1049s| 4590k| 46 | 0 | 0.0 | 634M| 105 | - | 229 |2696k| 0 | 0 | 0 |5501k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1160.40/1160.80 c 1051s| 4600k| 45 | 0 | 0.0 | 635M| 105 | - | 229 |2702k| 0 | 0 | 0 |5513k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1163.09/1163.51 c 1053s| 4610k| 51 | 0 | 0.0 | 636M| 105 | - | 229 |2708k| 0 | 0 | 0 |5525k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1165.60/1166.01 c 1056s| 4620k| 54 | 0 | 0.0 | 638M| 105 | - | 229 |2714k| 0 | 0 | 0 |5536k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1167.99/1168.49 c 1058s| 4630k| 53 | 0 | 0.0 | 639M| 105 | - | 229 |2719k| 0 | 0 | 0 |5547k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1170.60/1171.04 c 1060s| 4640k| 55 | 0 | 0.0 | 640M| 105 | - | 229 |2725k| 0 | 0 | 0 |5559k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1173.09/1173.50 c 1062s| 4650k| 53 | 0 | 0.0 | 641M| 105 | - | 229 |2731k| 0 | 0 | 0 |5570k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1175.69/1176.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1175.69/1176.12 c 1065s| 4660k| 53 | 0 | 0.0 | 642M| 105 | - | 229 |2736k| 0 | 0 | 0 |5582k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1178.19/1178.63 c 1067s| 4670k| 50 | 0 | 0.0 | 643M| 105 | - | 229 |2742k| 0 | 0 | 0 |5594k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1180.79/1181.21 c 1069s| 4680k| 56 | 0 | 0.0 | 645M| 105 | - | 229 |2749k| 0 | 0 | 0 |5606k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1183.39/1183.87 c 1072s| 4690k| 53 | 0 | 0.0 | 646M| 105 | - | 229 |2755k| 0 | 0 | 0 |5618k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1186.08/1186.50 c 1074s| 4700k| 56 | 0 | 0.0 | 647M| 105 | - | 229 |2761k| 0 | 0 | 0 |5630k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1188.60/1189.06 c 1076s| 4710k| 61 | 0 | 0.0 | 648M| 105 | - | 229 |2767k| 0 | 0 | 0 |5642k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1191.09/1191.55 c 1079s| 4720k| 47 | 0 | 0.0 | 650M| 105 | - | 229 |2772k| 0 | 0 | 0 |5654k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1193.48/1193.95 c 1081s| 4730k| 45 | 0 | 0.0 | 651M| 105 | - | 229 |2778k| 0 | 0 | 0 |5665k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1196.08/1196.55 c 1083s| 4740k| 49 | 0 | 0.0 | 652M| 105 | - | 229 |2784k| 0 | 0 | 0 |5677k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1198.68/1199.10 c 1086s| 4750k| 58 | 0 | 0.0 | 653M| 105 | - | 229 |2790k| 0 | 0 | 0 |5690k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1201.08/1201.57 c 1088s| 4760k| 52 | 0 | 0.0 | 655M| 105 | - | 229 |2796k| 0 | 0 | 0 |5702k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1203.68/1204.15 c 1090s| 4770k| 53 | 0 | 0.0 | 656M| 105 | - | 229 |2802k| 0 | 0 | 0 |5714k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1206.28/1206.79 c 1093s| 4780k| 51 | 0 | 0.0 | 657M| 105 | - | 229 |2808k| 0 | 0 | 0 |5726k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1208.88/1209.39 c 1095s| 4790k| 50 | 0 | 0.0 | 658M| 105 | - | 229 |2814k| 0 | 0 | 0 |5738k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1211.57/1212.03 c 1097s| 4800k| 48 | 0 | 0.0 | 660M| 105 | - | 229 |2820k| 0 | 0 | 0 |5749k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1214.28/1214.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1214.28/1214.71 c 1100s| 4810k| 50 | 0 | 0.0 | 661M| 105 | - | 229 |2826k| 0 | 0 | 0 |5762k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1216.97/1217.46 c 1102s| 4820k| 46 | 0 | 0.0 | 662M| 105 | - | 229 |2832k| 0 | 0 | 0 |5774k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1219.68/1220.11 c 1105s| 4830k| 46 | 0 | 0.0 | 663M| 105 | - | 229 |2838k| 0 | 0 | 0 |5786k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1222.38/1222.83 c 1107s| 4840k| 49 | 0 | 0.0 | 665M| 105 | - | 229 |2844k| 0 | 0 | 0 |5798k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1224.98/1225.45 c 1109s| 4850k| 50 | 0 | 0.0 | 666M| 105 | - | 229 |2850k| 0 | 0 | 0 |5810k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1227.67/1228.10 c 1112s| 4860k| 50 | 0 | 0.0 | 667M| 105 | - | 229 |2856k| 0 | 0 | 0 |5822k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1230.27/1230.76 c 1114s| 4870k| 52 | 0 | 0.0 | 668M| 105 | - | 229 |2862k| 0 | 0 | 0 |5835k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1233.07/1233.55 c 1117s| 4880k| 56 | 0 | 0.0 | 670M| 105 | - | 229 |2868k| 0 | 0 | 0 |5847k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1235.67/1236.18 c 1119s| 4890k| 49 | 0 | 0.0 | 671M| 105 | - | 229 |2875k| 0 | 0 | 0 |5859k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1238.27/1238.76 c 1122s| 4900k| 50 | 0 | 0.0 | 672M| 105 | - | 229 |2881k| 0 | 0 | 0 |5871k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1240.97/1241.47 c 1124s| 4910k| 48 | 0 | 0.0 | 674M| 105 | - | 229 |2887k| 0 | 0 | 0 |5884k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1243.67/1244.18 c 1127s| 4920k| 48 | 0 | 0.0 | 675M| 105 | - | 229 |2893k| 0 | 0 | 0 |5896k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1246.36/1246.87 c 1129s| 4930k| 46 | 0 | 0.0 | 676M| 105 | - | 229 |2899k| 0 | 0 | 0 |5908k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1249.07/1249.56 c 1131s| 4940k| 47 | 0 | 0.0 | 677M| 105 | - | 229 |2905k| 0 | 0 | 0 |5920k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1251.66/1252.18 c 1134s| 4950k| 54 | 0 | 0.0 | 678M| 105 | - | 229 |2911k| 0 | 0 | 0 |5931k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1254.27/1254.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1254.27/1254.80 c 1136s| 4960k| 47 | 0 | 0.0 | 680M| 105 | - | 229 |2917k| 0 | 0 | 0 |5943k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1256.86/1257.38 c 1138s| 4970k| 50 | 0 | 0.0 | 681M| 105 | - | 229 |2922k| 0 | 0 | 0 |5955k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1259.57/1260.04 c 1141s| 4980k| 45 | 0 | 0.0 | 682M| 105 | - | 229 |2928k| 0 | 0 | 0 |5967k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1262.36/1262.82 c 1143s| 4990k| 51 | 0 | 0.0 | 683M| 105 | - | 229 |2935k| 0 | 0 | 0 |5980k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1265.06/1265.53 c 1146s| 5000k| 51 | 0 | 0.0 | 685M| 105 | - | 229 |2941k| 0 | 0 | 0 |5992k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1267.77/1268.28 c 1148s| 5010k| 47 | 0 | 0.0 | 686M| 105 | - | 229 |2947k| 0 | 0 | 0 |6004k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1270.36/1270.88 c 1151s| 5020k| 45 | 0 | 0.0 | 687M| 105 | - | 229 |2953k| 0 | 0 | 0 |6016k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1272.96/1273.41 c 1153s| 5030k| 45 | 0 | 0.0 | 688M| 105 | - | 229 |2959k| 0 | 0 | 0 |6029k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1275.47/1276.00 c 1155s| 5040k| 47 | 0 | 0.0 | 690M| 105 | - | 229 |2965k| 0 | 0 | 0 |6041k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1278.16/1278.68 c 1158s| 5050k| 55 | 0 | 0.0 | 691M| 105 | - | 229 |2970k| 0 | 0 | 0 |6052k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1280.76/1281.23 c 1160s| 5060k| 50 | 0 | 0.0 | 692M| 105 | - | 229 |2976k| 0 | 0 | 0 |6064k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1283.35/1283.89 c 1163s| 5070k| 49 | 0 | 0.0 | 693M| 105 | - | 229 |2982k| 0 | 0 | 0 |6076k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1285.95/1286.46 c 1165s| 5080k| 55 | 0 | 0.0 | 694M| 105 | - | 229 |2988k| 0 | 0 | 0 |6088k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1288.66/1289.11 c 1167s| 5090k| 50 | 0 | 0.0 | 696M| 105 | - | 229 |2994k| 0 | 0 | 0 |6100k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1291.45/1291.91 c 1170s| 5100k| 51 | 0 | 0.0 | 711M| 105 | - | 229 |3000k| 0 | 0 | 0 |6112k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1294.16/1294.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1294.16/1294.62 c 1172s| 5110k| 47 | 0 | 0.0 | 713M| 105 | - | 229 |3006k| 0 | 0 | 0 |6124k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1296.65/1297.15 c 1175s| 5120k| 47 | 0 | 0.0 | 714M| 105 | - | 229 |3011k| 0 | 0 | 0 |6136k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1299.05/1299.58 c 1177s| 5130k| 52 | 0 | 0.0 | 715M| 105 | - | 229 |3016k| 0 | 0 | 0 |6146k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1301.55/1302.04 c 1179s| 5140k| 50 | 0 | 0.0 | 716M| 105 | - | 229 |3022k| 0 | 0 | 0 |6157k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1304.05/1304.52 c 1181s| 5150k| 43 | 0 | 0.0 | 717M| 105 | - | 229 |3028k| 0 | 0 | 0 |6168k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1306.55/1307.08 c 1183s| 5160k| 49 | 0 | 0.0 | 718M| 105 | - | 229 |3033k| 0 | 0 | 0 |6179k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1309.15/1309.67 c 1186s| 5170k| 46 | 0 | 0.0 | 719M| 105 | - | 229 |3039k| 0 | 0 | 0 |6191k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1311.64/1312.18 c 1188s| 5180k| 49 | 0 | 0.0 | 721M| 105 | - | 229 |3045k| 0 | 0 | 0 |6203k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1314.24/1314.79 c 1190s| 5190k| 51 | 0 | 0.0 | 722M| 105 | - | 229 |3051k| 0 | 0 | 0 |6215k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1316.94/1317.41 c 1193s| 5200k| 50 | 0 | 0.0 | 723M| 105 | - | 229 |3057k| 0 | 0 | 0 |6227k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1319.64/1320.11 c 1195s| 5210k| 51 | 0 | 0.0 | 724M| 105 | - | 229 |3062k| 0 | 0 | 0 |6239k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1322.14/1322.60 c 1198s| 5220k| 49 | 0 | 0.0 | 726M| 105 | - | 229 |3068k| 0 | 0 | 0 |6250k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1324.74/1325.27 c 1200s| 5230k| 47 | 0 | 0.0 | 727M| 105 | - | 229 |3074k| 0 | 0 | 0 |6262k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1327.33/1327.85 c 1202s| 5240k| 48 | 0 | 0.0 | 728M| 105 | - | 229 |3080k| 0 | 0 | 0 |6274k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1329.94/1330.49 c 1205s| 5250k| 48 | 0 | 0.0 | 729M| 105 | - | 229 |3085k| 0 | 0 | 0 |6285k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1332.74/1333.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1332.74/1333.22 c 1207s| 5260k| 52 | 0 | 0.0 | 730M| 105 | - | 229 |3091k| 0 | 0 | 0 |6297k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1335.44/1335.99 c 1210s| 5270k| 49 | 0 | 0.0 | 732M| 105 | - | 229 |3097k| 0 | 0 | 0 |6310k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1338.25/1338.74 c 1212s| 5280k| 55 | 0 | 0.0 | 733M| 105 | - | 229 |3103k| 0 | 0 | 0 |6321k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1340.93/1341.48 c 1215s| 5290k| 46 | 0 | 0.0 | 734M| 105 | - | 229 |3109k| 0 | 0 | 0 |6334k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1343.54/1344.09 c 1217s| 5300k| 50 | 0 | 0.0 | 735M| 105 | - | 229 |3115k| 0 | 0 | 0 |6345k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1346.33/1346.89 c 1220s| 5310k| 44 | 0 | 0.0 | 737M| 105 | - | 229 |3121k| 0 | 0 | 0 |6358k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1348.93/1349.45 c 1222s| 5320k| 48 | 0 | 0.0 | 738M| 105 | - | 229 |3127k| 0 | 0 | 0 |6369k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1351.44/1351.95 c 1224s| 5330k| 42 | 0 | 0.0 | 739M| 105 | - | 229 |3132k| 0 | 0 | 0 |6380k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1354.13/1354.65 c 1227s| 5340k| 51 | 0 | 0.0 | 740M| 105 | - | 229 |3138k| 0 | 0 | 0 |6392k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1356.63/1357.10 c 1229s| 5350k| 51 | 0 | 0.0 | 741M| 105 | - | 229 |3143k| 0 | 0 | 0 |6404k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1359.23/1359.73 c 1231s| 5360k| 52 | 0 | 0.0 | 743M| 105 | - | 229 |3149k| 0 | 0 | 0 |6417k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1361.83/1362.39 c 1234s| 5370k| 57 | 0 | 0.0 | 744M| 105 | - | 229 |3155k| 0 | 0 | 0 |6429k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1364.43/1364.96 c 1236s| 5380k| 52 | 0 | 0.0 | 745M| 105 | - | 229 |3161k| 0 | 0 | 0 |6440k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1366.93/1367.45 c 1238s| 5390k| 53 | 0 | 0.0 | 746M| 105 | - | 229 |3166k| 0 | 0 | 0 |6451k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1369.42/1369.99 c 1241s| 5400k| 49 | 0 | 0.0 | 747M| 105 | - | 229 |3171k| 0 | 0 | 0 |6462k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1371.93/1372.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1371.93/1372.41 c 1243s| 5410k| 44 | 0 | 0.0 | 748M| 105 | - | 229 |3177k| 0 | 0 | 0 |6473k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1374.43/1374.95 c 1245s| 5420k| 52 | 0 | 0.0 | 749M| 105 | - | 229 |3183k| 0 | 0 | 0 |6486k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1377.03/1377.56 c 1248s| 5430k| 54 | 0 | 0.0 | 751M| 105 | - | 229 |3189k| 0 | 0 | 0 |6499k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1379.53/1380.08 c 1250s| 5440k| 47 | 0 | 0.0 | 752M| 105 | - | 229 |3194k| 0 | 0 | 0 |6511k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1382.13/1382.69 c 1252s| 5450k| 44 | 0 | 0.0 | 753M| 105 | - | 229 |3200k| 0 | 0 | 0 |6523k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1384.62/1385.12 c 1254s| 5460k| 50 | 0 | 0.0 | 754M| 105 | - | 229 |3205k| 0 | 0 | 0 |6534k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1387.12/1387.69 c 1257s| 5470k| 46 | 0 | 0.0 | 755M| 105 | - | 229 |3211k| 0 | 0 | 0 |6546k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1389.83/1390.35 c 1259s| 5480k| 48 | 0 | 0.0 | 757M| 105 | - | 229 |3217k| 0 | 0 | 0 |6558k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1392.51/1393.08 c 1262s| 5490k| 48 | 0 | 0.0 | 758M| 105 | - | 229 |3223k| 0 | 0 | 0 |6570k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1395.21/1395.75 c 1264s| 5500k| 46 | 0 | 0.0 | 759M| 105 | - | 229 |3229k| 0 | 0 | 0 |6582k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1398.01/1398.50 c 1266s| 5510k| 47 | 0 | 0.0 | 760M| 105 | - | 229 |3235k| 0 | 0 | 0 |6594k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1400.41/1400.97 c 1269s| 5520k| 57 | 0 | 0.0 | 761M| 105 | - | 229 |3240k| 0 | 0 | 0 |6606k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1403.12/1403.69 c 1271s| 5530k| 48 | 0 | 0.0 | 763M| 105 | - | 229 |3246k| 0 | 0 | 0 |6618k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1405.71/1406.20 c 1274s| 5540k| 50 | 0 | 0.0 | 764M| 105 | - | 229 |3252k| 0 | 0 | 0 |6629k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1408.21/1408.70 c 1276s| 5550k| 55 | 0 | 0.0 | 765M| 105 | - | 229 |3258k| 0 | 0 | 0 |6641k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1410.61/1411.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1410.61/1411.19 c 1278s| 5560k| 48 | 0 | 0.0 | 766M| 105 | - | 229 |3264k| 0 | 0 | 0 |6653k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1413.11/1413.68 c 1280s| 5570k| 49 | 0 | 0.0 | 767M| 105 | - | 229 |3269k| 0 | 0 | 0 |6664k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1415.91/1416.40 c 1283s| 5580k| 53 | 0 | 0.0 | 769M| 105 | - | 229 |3275k| 0 | 0 | 0 |6676k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1418.61/1419.16 c 1285s| 5590k| 47 | 0 | 0.0 | 770M| 105 | - | 229 |3281k| 0 | 0 | 0 |6688k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1421.31/1421.87 c 1288s| 5600k| 48 | 0 | 0.0 | 771M| 105 | - | 229 |3288k| 0 | 0 | 0 |6701k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1424.01/1424.50 c 1290s| 5610k| 52 | 0 | 0.0 | 773M| 105 | - | 229 |3294k| 0 | 0 | 0 |6713k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1426.50/1427.09 c 1292s| 5620k| 50 | 0 | 0.0 | 774M| 105 | - | 229 |3299k| 0 | 0 | 0 |6725k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1429.20/1429.72 c 1295s| 5630k| 51 | 0 | 0.0 | 775M| 105 | - | 229 |3306k| 0 | 0 | 0 |6737k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1431.72/1432.28 c 1297s| 5640k| 54 | 0 | 0.0 | 776M| 105 | - | 229 |3311k| 0 | 0 | 0 |6749k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1434.40/1434.97 c 1300s| 5650k| 47 | 0 | 0.0 | 777M| 105 | - | 229 |3317k| 0 | 0 | 0 |6761k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1437.21/1437.72 c 1302s| 5660k| 47 | 0 | 0.0 | 779M| 105 | - | 229 |3323k| 0 | 0 | 0 |6773k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1439.80/1440.39 c 1305s| 5670k| 49 | 0 | 0.0 | 780M| 105 | - | 229 |3329k| 0 | 0 | 0 |6784k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1442.60/1443.16 c 1307s| 5680k| 49 | 0 | 0.0 | 781M| 105 | - | 229 |3335k| 0 | 0 | 0 |6796k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1445.20/1445.75 c 1309s| 5690k| 49 | 0 | 0.0 | 782M| 105 | - | 229 |3341k| 0 | 0 | 0 |6808k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1447.90/1448.44 c 1312s| 5700k| 45 | 0 | 0.0 | 784M| 105 | - | 229 |3347k| 0 | 0 | 0 |6820k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1450.60/1451.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.60/1451.17 c 1314s| 5710k| 48 | 0 | 0.0 | 785M| 105 | - | 229 |3353k| 0 | 0 | 0 |6832k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1453.29/1453.89 c 1317s| 5720k| 49 | 0 | 0.0 | 786M| 105 | - | 229 |3358k| 0 | 0 | 0 |6843k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1456.10/1456.60 c 1319s| 5730k| 48 | 0 | 0.0 | 787M| 105 | - | 229 |3364k| 0 | 0 | 0 |6855k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1458.50/1459.09 c 1322s| 5740k| 50 | 0 | 0.0 | 788M| 105 | - | 229 |3370k| 0 | 0 | 0 |6866k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1461.30/1461.80 c 1324s| 5750k| 52 | 0 | 0.0 | 790M| 105 | - | 229 |3376k| 0 | 0 | 0 |6879k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1463.79/1464.39 c 1326s| 5760k| 53 | 0 | 0.0 | 791M| 105 | - | 229 |3382k| 0 | 0 | 0 |6891k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1466.49/1467.08 c 1329s| 5770k| 49 | 0 | 0.0 | 792M| 105 | - | 229 |3388k| 0 | 0 | 0 |6903k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1469.19/1469.76 c 1331s| 5780k| 49 | 0 | 0.0 | 793M| 105 | - | 229 |3394k| 0 | 0 | 0 |6915k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1471.90/1472.43 c 1334s| 5790k| 49 | 0 | 0.0 | 795M| 105 | - | 229 |3400k| 0 | 0 | 0 |6927k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1474.39/1474.94 c 1336s| 5800k| 51 | 0 | 0.0 | 796M| 105 | - | 229 |3405k| 0 | 0 | 0 |6938k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1476.99/1477.53 c 1338s| 5810k| 50 | 0 | 0.0 | 797M| 105 | - | 229 |3411k| 0 | 0 | 0 |6950k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1479.49/1480.09 c 1341s| 5820k| 47 | 0 | 0.0 | 798M| 105 | - | 229 |3418k| 0 | 0 | 0 |6962k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1482.19/1482.77 c 1343s| 5830k| 49 | 0 | 0.0 | 799M| 105 | - | 229 |3423k| 0 | 0 | 0 |6975k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1484.89/1485.44 c 1345s| 5840k| 48 | 0 | 0.0 | 801M| 105 | - | 229 |3429k| 0 | 0 | 0 |6986k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1487.59/1488.10 c 1348s| 5850k| 49 | 0 | 0.0 | 802M| 105 | - | 229 |3435k| 0 | 0 | 0 |6998k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1490.09/1490.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1490.09/1490.68 c 1350s| 5860k| 50 | 0 | 0.0 | 803M| 105 | - | 229 |3440k| 0 | 0 | 0 |7010k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1492.68/1493.29 c 1353s| 5870k| 50 | 0 | 0.0 | 804M| 105 | - | 229 |3446k| 0 | 0 | 0 |7022k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1495.28/1495.87 c 1355s| 5880k| 48 | 0 | 0.0 | 805M| 105 | - | 229 |3452k| 0 | 0 | 0 |7033k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1498.08/1498.61 c 1357s| 5890k| 44 | 0 | 0.0 | 807M| 105 | - | 229 |3458k| 0 | 0 | 0 |7044k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1500.69/1501.23 c 1360s| 5900k| 47 | 0 | 0.0 | 808M| 105 | - | 229 |3463k| 0 | 0 | 0 |7056k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1503.38/1503.98 c 1362s| 5910k| 62 | 0 | 0.0 | 809M| 105 | - | 229 |3469k| 0 | 0 | 0 |7068k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1506.08/1506.65 c 1365s| 5920k| 46 | 0 | 0.0 | 810M| 105 | - | 229 |3475k| 0 | 0 | 0 |7080k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1508.69/1509.23 c 1367s| 5930k| 53 | 0 | 0.0 | 811M| 105 | - | 229 |3481k| 0 | 0 | 0 |7091k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1511.28/1511.80 c 1369s| 5940k| 46 | 0 | 0.0 | 813M| 105 | - | 229 |3486k| 0 | 0 | 0 |7102k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1513.87/1514.47 c 1372s| 5950k| 48 | 0 | 0.0 | 814M| 105 | - | 229 |3492k| 0 | 0 | 0 |7114k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1516.68/1517.24 c 1374s| 5960k| 47 | 0 | 0.0 | 815M| 105 | - | 229 |3498k| 0 | 0 | 0 |7126k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1519.48/1520.02 c 1377s| 5970k| 48 | 0 | 0.0 | 816M| 105 | - | 229 |3504k| 0 | 0 | 0 |7138k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1522.18/1522.73 c 1379s| 5980k| 45 | 0 | 0.0 | 818M| 105 | - | 229 |3510k| 0 | 0 | 0 |7150k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1524.57/1525.18 c 1382s| 5990k| 47 | 0 | 0.0 | 819M| 105 | - | 229 |3516k| 0 | 0 | 0 |7162k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1527.18/1527.77 c 1384s| 6000k| 46 | 0 | 0.0 | 820M| 105 | - | 229 |3522k| 0 | 0 | 0 |7174k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1529.87/1530.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1529.87/1530.40 c 1386s| 6010k| 48 | 0 | 0.0 | 821M| 105 | - | 229 |3528k| 0 | 0 | 0 |7187k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1532.47/1533.04 c 1389s| 6020k| 50 | 0 | 0.0 | 823M| 105 | - | 229 |3534k| 0 | 0 | 0 |7199k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1535.07/1535.64 c 1391s| 6030k| 46 | 0 | 0.0 | 824M| 105 | - | 229 |3540k| 0 | 0 | 0 |7211k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1537.77/1538.30 c 1393s| 6040k| 50 | 0 | 0.0 | 825M| 105 | - | 229 |3546k| 0 | 0 | 0 |7223k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1540.27/1540.87 c 1396s| 6050k| 44 | 0 | 0.0 | 826M| 105 | - | 229 |3552k| 0 | 0 | 0 |7235k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1542.87/1543.40 c 1398s| 6060k| 46 | 0 | 0.0 | 827M| 105 | - | 229 |3557k| 0 | 0 | 0 |7246k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1545.36/1545.92 c 1400s| 6070k| 42 | 0 | 0.0 | 829M| 105 | - | 229 |3563k| 0 | 0 | 0 |7258k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1547.86/1548.41 c 1403s| 6080k| 52 | 0 | 0.0 | 830M| 105 | - | 229 |3569k| 0 | 0 | 0 |7270k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1550.26/1550.87 c 1405s| 6090k| 49 | 0 | 0.0 | 831M| 105 | - | 229 |3575k| 0 | 0 | 0 |7281k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1552.76/1553.33 c 1407s| 6100k| 49 | 0 | 0.0 | 832M| 105 | - | 229 |3581k| 0 | 0 | 0 |7293k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1555.26/1555.83 c 1409s| 6110k| 50 | 0 | 0.0 | 833M| 105 | - | 229 |3587k| 0 | 0 | 0 |7305k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1557.76/1558.36 c 1412s| 6120k| 45 | 0 | 0.0 | 835M| 105 | - | 229 |3592k| 0 | 0 | 0 |7316k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1560.56/1561.12 c 1414s| 6130k| 40 | 0 | 0.0 | 853M| 105 | - | 229 |3598k| 0 | 0 | 0 |7328k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1563.26/1563.85 c 1416s| 6140k| 43 | 0 | 0.0 | 854M| 105 | - | 229 |3604k| 0 | 0 | 0 |7341k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1566.06/1566.61 c 1419s| 6150k| 47 | 0 | 0.0 | 856M| 105 | - | 229 |3610k| 0 | 0 | 0 |7352k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1568.56/1569.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1568.56/1569.17 c 1421s| 6160k| 56 | 0 | 0.0 | 857M| 105 | - | 229 |3616k| 0 | 0 | 0 |7364k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1570.95/1571.59 c 1424s| 6170k| 54 | 0 | 0.0 | 858M| 105 | - | 229 |3622k| 0 | 0 | 0 |7376k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1573.57/1574.11 c 1426s| 6180k| 54 | 0 | 0.0 | 859M| 105 | - | 229 |3628k| 0 | 0 | 0 |7388k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1576.16/1576.78 c 1428s| 6190k| 56 | 0 | 0.0 | 861M| 105 | - | 229 |3634k| 0 | 0 | 0 |7400k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1578.76/1579.30 c 1430s| 6200k| 53 | 0 | 0.0 | 862M| 105 | - | 229 |3639k| 0 | 0 | 0 |7412k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1581.35/1581.92 c 1433s| 6210k| 49 | 0 | 0.0 | 863M| 105 | - | 229 |3645k| 0 | 0 | 0 |7423k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1583.95/1584.55 c 1435s| 6220k| 48 | 0 | 0.0 | 864M| 105 | - | 229 |3651k| 0 | 0 | 0 |7435k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1586.66/1587.20 c 1438s| 6230k| 49 | 0 | 0.0 | 865M| 105 | - | 229 |3657k| 0 | 0 | 0 |7447k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1589.25/1589.85 c 1440s| 6240k| 49 | 0 | 0.0 | 867M| 105 | - | 229 |3663k| 0 | 0 | 0 |7459k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1591.95/1592.50 c 1442s| 6250k| 49 | 0 | 0.0 | 868M| 105 | - | 229 |3669k| 0 | 0 | 0 |7471k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1594.55/1595.15 c 1445s| 6260k| 51 | 0 | 0.0 | 869M| 105 | - | 229 |3675k| 0 | 0 | 0 |7483k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1597.15/1597.78 c 1447s| 6270k| 47 | 0 | 0.0 | 870M| 105 | - | 229 |3680k| 0 | 0 | 0 |7494k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1599.86/1600.45 c 1450s| 6280k| 48 | 0 | 0.0 | 871M| 105 | - | 229 |3686k| 0 | 0 | 0 |7506k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1602.34/1602.91 c 1452s| 6290k| 50 | 0 | 0.0 | 873M| 105 | - | 229 |3692k| 0 | 0 | 0 |7517k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1604.85/1605.47 c 1454s| 6300k| 53 | 0 | 0.0 | 874M| 105 | - | 229 |3697k| 0 | 0 | 0 |7529k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1607.55/1608.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.55/1608.10 c 1457s| 6310k| 55 | 0 | 0.0 | 875M| 105 | - | 229 |3703k| 0 | 0 | 0 |7540k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1610.04/1610.68 c 1459s| 6320k| 52 | 0 | 0.0 | 876M| 105 | - | 229 |3709k| 0 | 0 | 0 |7553k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1612.64/1613.23 c 1461s| 6330k| 45 | 0 | 0.0 | 878M| 105 | - | 229 |3715k| 0 | 0 | 0 |7565k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1615.05/1615.67 c 1464s| 6340k| 51 | 0 | 0.0 | 879M| 105 | - | 229 |3721k| 0 | 0 | 0 |7576k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1617.65/1618.27 c 1466s| 6350k| 53 | 0 | 0.0 | 880M| 105 | - | 229 |3726k| 0 | 0 | 0 |7588k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1620.24/1620.87 c 1468s| 6360k| 48 | 0 | 0.0 | 881M| 105 | - | 229 |3732k| 0 | 0 | 0 |7600k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1622.64/1623.27 c 1470s| 6370k| 51 | 0 | 0.0 | 882M| 105 | - | 229 |3738k| 0 | 0 | 0 |7611k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1625.25/1625.87 c 1473s| 6380k| 51 | 0 | 0.0 | 884M| 105 | - | 229 |3744k| 0 | 0 | 0 |7624k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1627.94/1628.53 c 1475s| 6390k| 56 | 0 | 0.0 | 885M| 105 | - | 229 |3750k| 0 | 0 | 0 |7636k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1630.44/1631.06 c 1477s| 6400k| 52 | 0 | 0.0 | 886M| 105 | - | 229 |3756k| 0 | 0 | 0 |7648k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1632.85/1633.50 c 1480s| 6410k| 53 | 0 | 0.0 | 887M| 105 | - | 229 |3762k| 0 | 0 | 0 |7660k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1635.34/1635.96 c 1482s| 6420k| 53 | 0 | 0.0 | 888M| 105 | - | 229 |3768k| 0 | 0 | 0 |7672k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1637.94/1638.52 c 1484s| 6430k| 53 | 0 | 0.0 | 890M| 105 | - | 229 |3774k| 0 | 0 | 0 |7684k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1640.43/1641.01 c 1486s| 6440k| 47 | 0 | 0.0 | 891M| 105 | - | 229 |3780k| 0 | 0 | 0 |7695k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1643.03/1643.65 c 1489s| 6450k| 52 | 0 | 0.0 | 892M| 105 | - | 229 |3786k| 0 | 0 | 0 |7708k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1645.73/1646.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.73/1646.32 c 1491s| 6460k| 47 | 0 | 0.0 | 893M| 105 | - | 229 |3792k| 0 | 0 | 0 |7720k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1648.34/1648.94 c 1494s| 6470k| 48 | 0 | 0.0 | 895M| 105 | - | 229 |3798k| 0 | 0 | 0 |7732k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1651.03/1651.61 c 1496s| 6480k| 52 | 0 | 0.0 | 896M| 105 | - | 229 |3803k| 0 | 0 | 0 |7743k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1653.63/1654.27 c 1499s| 6490k| 50 | 0 | 0.0 | 897M| 105 | - | 229 |3809k| 0 | 0 | 0 |7755k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1656.43/1657.08 c 1501s| 6500k| 45 | 0 | 0.0 | 898M| 105 | - | 229 |3815k| 0 | 0 | 0 |7767k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1659.24/1659.84 c 1504s| 6510k| 46 | 0 | 0.0 | 899M| 105 | - | 229 |3821k| 0 | 0 | 0 |7778k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1661.83/1662.43 c 1506s| 6520k| 50 | 0 | 0.0 | 901M| 105 | - | 229 |3826k| 0 | 0 | 0 |7790k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1664.13/1664.71 c 1508s| 6530k| 56 | 0 | 0.0 | 902M| 105 | - | 229 |3832k| 0 | 0 | 0 |7801k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1666.52/1667.16 c 1510s| 6540k| 55 | 0 | 0.0 | 903M| 105 | - | 229 |3837k| 0 | 0 | 0 |7813k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1669.03/1669.66 c 1512s| 6550k| 49 | 0 | 0.0 | 904M| 105 | - | 229 |3843k| 0 | 0 | 0 |7825k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1671.63/1672.23 c 1515s| 6560k| 53 | 0 | 0.0 | 905M| 105 | - | 229 |3849k| 0 | 0 | 0 |7837k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1674.22/1674.82 c 1517s| 6570k| 52 | 0 | 0.0 | 906M| 105 | - | 229 |3854k| 0 | 0 | 0 |7850k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1676.52/1677.19 c 1519s| 6580k| 52 | 0 | 0.0 | 908M| 105 | - | 229 |3860k| 0 | 0 | 0 |7863k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1679.03/1679.66 c 1521s| 6590k| 55 | 0 | 0.0 | 909M| 105 | - | 229 |3865k| 0 | 0 | 0 |7876k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1681.52/1682.12 c 1524s| 6600k| 50 | 0 | 0.0 | 910M| 105 | - | 229 |3871k| 0 | 0 | 0 |7888k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1684.22/1684.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.22/1684.87 c 1526s| 6610k| 62 | 0 | 0.0 | 911M| 105 | - | 229 |3877k| 0 | 0 | 0 |7902k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1686.73/1687.35 c 1528s| 6620k| 51 | 0 | 0.0 | 912M| 105 | - | 229 |3883k| 0 | 0 | 0 |7916k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1689.32/1689.92 c 1531s| 6630k| 55 | 0 | 0.0 | 914M| 105 | - | 229 |3889k| 0 | 0 | 0 |7928k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1691.72/1692.39 c 1533s| 6640k| 54 | 0 | 0.0 | 915M| 105 | - | 229 |3895k| 0 | 0 | 0 |7940k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1694.22/1694.85 c 1535s| 6650k| 52 | 0 | 0.0 | 916M| 105 | - | 229 |3901k| 0 | 0 | 0 |7952k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1696.72/1697.34 c 1537s| 6660k| 49 | 0 | 0.0 | 917M| 105 | - | 229 |3907k| 0 | 0 | 0 |7964k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1699.31/1699.94 c 1540s| 6670k| 50 | 0 | 0.0 | 919M| 105 | - | 229 |3913k| 0 | 0 | 0 |7976k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1701.72/1702.39 c 1542s| 6680k| 53 | 0 | 0.0 | 920M| 105 | - | 229 |3918k| 0 | 0 | 0 |7987k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1704.21/1704.85 c 1544s| 6690k| 50 | 0 | 0.0 | 921M| 105 | - | 229 |3924k| 0 | 0 | 0 |7998k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1706.71/1707.31 c 1547s| 6700k| 51 | 0 | 0.0 | 922M| 105 | - | 229 |3930k| 0 | 0 | 0 |8010k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1709.11/1709.77 c 1549s| 6710k| 59 | 0 | 0.0 | 923M| 105 | - | 229 |3935k| 0 | 0 | 0 |8021k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1711.61/1712.20 c 1551s| 6720k| 55 | 0 | 0.0 | 925M| 105 | - | 229 |3941k| 0 | 0 | 0 |8033k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1713.91/1714.58 c 1553s| 6730k| 55 | 0 | 0.0 | 926M| 105 | - | 229 |3947k| 0 | 0 | 0 |8045k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1716.52/1717.10 c 1555s| 6740k| 56 | 0 | 0.0 | 927M| 105 | - | 229 |3953k| 0 | 0 | 0 |8057k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1719.01/1719.65 c 1558s| 6750k| 57 | 0 | 0.0 | 928M| 105 | - | 229 |3959k| 0 | 0 | 0 |8069k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1721.51/1722.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1721.51/1722.19 c 1560s| 6760k| 51 | 0 | 0.0 | 929M| 105 | - | 229 |3965k| 0 | 0 | 0 |8081k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1724.11/1724.72 c 1562s| 6770k| 54 | 0 | 0.0 | 931M| 105 | - | 229 |3971k| 0 | 0 | 0 |8093k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1726.61/1727.26 c 1565s| 6780k| 48 | 0 | 0.0 | 932M| 105 | - | 229 |3976k| 0 | 0 | 0 |8105k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1729.11/1729.74 c 1567s| 6790k| 53 | 0 | 0.0 | 933M| 105 | - | 229 |3982k| 0 | 0 | 0 |8117k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1731.71/1732.30 c 1569s| 6800k| 53 | 0 | 0.0 | 934M| 105 | - | 229 |3988k| 0 | 0 | 0 |8129k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1734.11/1734.72 c 1571s| 6810k| 52 | 0 | 0.0 | 935M| 105 | - | 229 |3994k| 0 | 0 | 0 |8142k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1736.60/1737.28 c 1574s| 6820k| 57 | 0 | 0.0 | 937M| 105 | - | 229 |4000k| 0 | 0 | 0 |8155k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1739.11/1739.77 c 1576s| 6830k| 56 | 0 | 0.0 | 938M| 105 | - | 229 |4005k| 0 | 0 | 0 |8169k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1741.50/1742.18 c 1578s| 6840k| 52 | 0 | 0.0 | 939M| 105 | - | 229 |4010k| 0 | 0 | 0 |8180k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1743.91/1744.60 c 1580s| 6850k| 49 | 0 | 0.0 | 940M| 105 | - | 229 |4016k| 0 | 0 | 0 |8191k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1746.40/1747.09 c 1582s| 6860k| 52 | 0 | 0.0 | 941M| 105 | - | 229 |4021k| 0 | 0 | 0 |8202k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1749.00/1749.62 c 1585s| 6870k| 52 | 0 | 0.0 | 942M| 105 | - | 229 |4027k| 0 | 0 | 0 |8214k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1751.50/1752.16 c 1587s| 6880k| 47 | 0 | 0.0 | 944M| 105 | - | 229 |4033k| 0 | 0 | 0 |8225k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1754.00/1754.60 c 1589s| 6890k| 50 | 0 | 0.0 | 945M| 105 | - | 229 |4038k| 0 | 0 | 0 |8236k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1756.60/1757.29 c 1592s| 6900k| 49 | 0 | 0.0 | 946M| 105 | - | 229 |4044k| 0 | 0 | 0 |8248k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1759.20/1759.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1759.20/1759.82 c 1594s| 6910k| 50 | 0 | 0.0 | 947M| 105 | - | 229 |4049k| 0 | 0 | 0 |8259k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1761.80/1762.42 c 1596s| 6920k| 54 | 0 | 0.0 | 948M| 105 | - | 229 |4055k| 0 | 0 | 0 |8271k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1764.39/1765.09 c 1599s| 6930k| 48 | 0 | 0.0 | 949M| 105 | - | 229 |4061k| 0 | 0 | 0 |8282k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1767.00/1767.65 c 1601s| 6940k| 48 | 0 | 0.0 | 951M| 105 | - | 229 |4067k| 0 | 0 | 0 |8293k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1769.49/1770.17 c 1603s| 6950k| 50 | 0 | 0.0 | 952M| 105 | - | 229 |4072k| 0 | 0 | 0 |8304k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1772.29/1772.94 c 1606s| 6960k| 50 | 0 | 0.0 | 953M| 105 | - | 229 |4078k| 0 | 0 | 0 |8316k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1774.89/1775.50 c 1608s| 6970k| 49 | 0 | 0.0 | 954M| 105 | - | 229 |4084k| 0 | 0 | 0 |8327k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1777.39/1778.05 c 1610s| 6980k| 49 | 0 | 0.0 | 955M| 105 | - | 229 |4089k| 0 | 0 | 0 |8338k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1779.89/1780.56 c 1613s| 6990k| 56 | 0 | 0.0 | 956M| 105 | - | 229 |4095k| 0 | 0 | 0 |8350k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1782.59/1783.21 c 1615s| 7000k| 50 | 0 | 0.0 | 958M| 105 | - | 229 |4101k| 0 | 0 | 0 |8362k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1785.09/1785.75 c 1617s| 7010k| 52 | 0 | 0.0 | 959M| 105 | - | 229 |4107k| 0 | 0 | 0 |8374k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1787.48/1788.13 c 1620s| 7020k| 48 | 0 | 0.0 | 960M| 105 | - | 229 |4112k| 0 | 0 | 0 |8386k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1789.88/1790.58 c 1622s| 7030k| 43 | 0 | 0.0 | 961M| 105 | - | 229 |4118k| 0 | 0 | 0 |8398k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1792.39/1793.04 c 1624s| 7040k| 45 | 0 | 0.0 | 962M| 105 | - | 229 |4124k| 0 | 0 | 0 |8409k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1794.78/1795.43 c 1626s| 7050k| 49 | 0 | 0.0 | 964M| 105 | - | 229 |4129k| 0 | 0 | 0 |8421k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1797.18/1797.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.18/1797.82 c 1628s| 7060k| 52 | 0 | 0.0 | 965M| 105 | - | 229 |4135k| 0 | 0 | 0 |8432k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1799.68/1800.34 c 1631s| 7070k| 47 | 0 | 0.0 | 966M| 105 | - | 229 |4140k| 0 | 0 | 0 |8443k| 0 | 2.850000e+02 | 1.283000e+03 | 350.18%
1800.10/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.71 c
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time (sec) : 1630.94
1800.10/1800.71 c Solving Nodes : 7071409
1800.10/1800.71 c Primal Bound : +1.28300000000000e+03 (29 solutions)
1800.10/1800.71 c Dual Bound : +2.85000000000000e+02
1800.10/1800.71 c Gap : 350.18 %
1800.10/1800.71 s SATISFIABLE
1800.10/1800.71 v -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218
1800.10/1800.71 v -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 x197
1800.10/1800.71 v -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175
1800.10/1800.71 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.10/1800.71 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 x142 x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1800.10/1800.71 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112
1800.10/1800.71 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 x93 x92 x91 x90 -x89 -x88
1800.10/1800.71 v -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1800.10/1800.71 v -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37
1800.10/1800.71 v x36 -x35 -x34 -x33 x32 x31 -x30 x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11
1800.10/1800.71 v -x10 -x9 -x8 -x7 -x6 -x5 -x4 x3 -x2 -x1
1800.10/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.71 c Solving Time : 1630.94
1800.10/1800.71 c Original Problem :
1800.10/1800.71 c Problem name : HOME/instance-2664610-1276404146.opb
1800.10/1800.71 c Variables : 239 (239 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 524 initial, 524 maximal
1800.10/1800.71 c Presolved Problem :
1800.10/1800.71 c Problem name : t_HOME/instance-2664610-1276404146.opb
1800.10/1800.71 c Variables : 229 (229 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.71 c Constraints : 449 initial, 4141764 maximal
1800.10/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.10/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.71 c probing : 0.00 4 0 0 0 0 0 0 0
1800.10/1800.71 c linear : 0.02 1 4 0 1 0 14 2 6
1800.10/1800.71 c logicor : 0.01 0 0 0 0 0 61 0 0
1800.10/1800.71 c root node : - 0 - - 0 - - - -
1800.10/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c integral : 0 0 0 0 0 0 0 0 0 0
1800.10/1800.71 c logicor : 449+ 0 16068408 0 29 2073074 31534153 0 0 0
1800.10/1800.71 c countsols : 0 0 0 0 29 0 0 0 0 0
1800.10/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.71 c integral : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.71 c logicor : 354.56 0.00 354.56 0.00 0.00
1800.10/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.71 c vbounds : 12.39 2 0 0
1800.10/1800.71 c rootredcost : 11.89 0 0 0
1800.10/1800.71 c pseudoobj : 640.24 26021694 2096967 116881817
1800.10/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.71 c propagation : 379.39 4170025 4170025 4170025 38.4 4288735 3.3 -
1800.10/1800.71 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.71 c pseudo solution : 0.15 1439 1439 1439 36.9 1494 3.2 -
1800.10/1800.71 c applied globally : - - - 4585817 4.7 - - -
1800.10/1800.71 c applied locally : - - - 3859801 39.4 - - -
1800.10/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.71 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.10/1800.71 c redcost : 0.00 0 0 0 0 0
1800.10/1800.71 c impliedbounds : 0.00 0 0 0 0 0
1800.10/1800.71 c intobj : 0.00 0 0 0 0 0
1800.10/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.71 c gomory : 0.00 0 0 0 0 0
1800.10/1800.71 c strongcg : 0.00 0 0 0 0 0
1800.10/1800.71 c cmir : 0.00 0 0 0 0 0
1800.10/1800.71 c flowcover : 0.00 0 0 0 0 0
1800.10/1800.71 c clique : 0.00 0 0 0 0 0
1800.10/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.71 c mcf : 0.00 0 0 0 0 0
1800.10/1800.71 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.71 c Pricers : Time Calls Vars
1800.10/1800.71 c problem variables: 0.00 0 0
1800.10/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.71 c relpscost : 0.00 0 0 0 0 0 0
1800.10/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.71 c inference : 83.00 5102102 0 0 0 0 10204204
1800.10/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.71 c random : 0.00 0 0 0 0 0 0
1800.10/1800.71 c Primal Heuristics : Time Calls Found
1800.10/1800.71 c LP solutions : 0.00 - 0
1800.10/1800.71 c pseudo solutions : 0.00 - 29
1800.10/1800.71 c oneopt : 4.76 0 0
1800.10/1800.71 c trivial : 0.00 2 0
1800.10/1800.71 c simplerounding : 0.00 0 0
1800.10/1800.71 c zirounding : 0.00 0 0
1800.10/1800.71 c rounding : 0.00 0 0
1800.10/1800.71 c shifting : 0.00 0 0
1800.10/1800.71 c intshifting : 0.00 0 0
1800.10/1800.71 c twoopt : 0.00 0 0
1800.10/1800.71 c fixandinfer : 0.00 0 0
1800.10/1800.71 c feaspump : 0.00 0 0
1800.10/1800.71 c coefdiving : 0.00 0 0
1800.10/1800.71 c pscostdiving : 0.00 0 0
1800.10/1800.71 c fracdiving : 0.00 0 0
1800.10/1800.71 c veclendiving : 0.00 0 0
1800.10/1800.71 c intdiving : 0.00 0 0
1800.10/1800.71 c actconsdiving : 0.00 0 0
1800.10/1800.71 c objpscostdiving : 0.00 0 0
1800.10/1800.71 c rootsoldiving : 0.00 0 0
1800.10/1800.71 c linesearchdiving : 0.00 0 0
1800.10/1800.71 c guideddiving : 0.00 0 0
1800.10/1800.71 c octane : 0.00 0 0
1800.10/1800.71 c rens : 0.00 0 0
1800.10/1800.71 c rins : 0.00 0 0
1800.10/1800.71 c localbranching : 0.00 0 0
1800.10/1800.71 c mutation : 0.00 0 0
1800.10/1800.71 c crossover : 0.00 0 0
1800.10/1800.71 c dins : 0.00 0 0
1800.10/1800.71 c undercover : 0.00 0 0
1800.10/1800.71 c nlp : 3.23 0 0
1800.10/1800.71 c trysol : 3.07 0 0
1800.10/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.71 c dual LP : 0.00 0 0 0.00 -
1800.10/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.71 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.71 c strong branching : 0.00 0 0 0.00 -
1800.10/1800.71 c (at root node) : - 0 0 0.00 -
1800.10/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.71 c B&B Tree :
1800.10/1800.71 c number of runs : 1
1800.10/1800.71 c nodes : 7071409
1800.10/1800.71 c nodes (total) : 7071409
1800.10/1800.71 c nodes left : 46
1800.10/1800.71 c max depth : 105
1800.10/1800.71 c max depth (total): 105
1800.10/1800.71 c backtracks : 2314831 (32.7%)
1800.10/1800.71 c delayed cutoffs : 3089773
1800.10/1800.71 c repropagations : 6168258 (79138430 domain reductions, 2202198 cutoffs)
1800.10/1800.71 c avg switch length: 2.63
1800.10/1800.71 c switching time : 196.44
1800.10/1800.71 c Solution :
1800.10/1800.71 c Solutions found : 29 (29 improvements)
1800.10/1800.71 c First Solution : +1.45700000000000e+03 (in run 1, after 106 nodes, 0.03 seconds, depth 105, found by <relaxation>)
1800.10/1800.71 c Primal Bound : +1.28300000000000e+03 (in run 1, after 1835045 nodes, 408.27 seconds, depth 71, found by <relaxation>)
1800.10/1800.71 c Dual Bound : +2.85000000000000e+02
1800.10/1800.71 c Gap : 350.18 %
1800.10/1800.71 c Root Dual Bound : +2.43000000000000e+02
1800.10/1800.71 c Root Iterations : 0
OK 1283
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664610-1276404146/watcher-2664610-1276404146 -o /tmp/evaluation-result-2664610-1276404146/solver-2664610-1276404146 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664610-1276404146.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21988 /proc/meminfo: memFree=1827240/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=6584 CPUtime=0 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 948 0 0 0 0 0 0 0 24 0 1 0 16016148 6742016 872 1992294400 4194304 7136930 140733881791792 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21988/statm: 1646 881 254 719 0 925 0 [startup+0.050029 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21988 /proc/meminfo: memFree=1827240/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=12280 CPUtime=0.04 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 3527 0 0 0 3 1 0 0 24 0 1 0 16016148 12574720 2325 1992294400 4194304 7136930 140733881791792 18446744073709551615 4333616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 3070 2325 354 719 0 2349 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12280 [startup+0.102038 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21988 /proc/meminfo: memFree=1827240/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=12564 CPUtime=0.1 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 4646 0 0 0 7 3 0 0 24 0 1 0 16016148 12865536 2413 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 3141 2413 389 719 0 2420 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12564 [startup+0.301074 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21988 /proc/meminfo: memFree=1827240/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=12696 CPUtime=0.29 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 4692 0 0 0 24 5 0 0 25 0 1 0 16016148 13000704 2459 1992294400 4194304 7136930 140733881791792 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 3174 2459 389 719 0 2453 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12696 [startup+0.701145 s] /proc/loadavg: 1.00 1.00 1.00 3/106 21988 /proc/meminfo: memFree=1827240/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=13172 CPUtime=0.69 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 4802 0 0 0 59 10 0 0 25 0 1 0 16016148 13488128 2569 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 3293 2569 390 719 0 2572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13172 [startup+1.50029 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21989 /proc/meminfo: memFree=1817808/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=14336 CPUtime=1.49 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 5062 0 0 0 132 17 0 0 25 0 1 0 16016148 14680064 2829 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 3584 2829 390 719 0 2863 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14336 [startup+3.10057 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21989 /proc/meminfo: memFree=1816196/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=16352 CPUtime=3.09 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 5483 0 0 0 273 36 0 0 25 0 1 0 16016148 16744448 3250 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 4088 3250 390 719 0 3367 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16352 [startup+6.30115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21989 /proc/meminfo: memFree=1812724/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=21032 CPUtime=6.29 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 6498 0 0 0 562 67 0 0 25 0 1 0 16016148 21536768 4265 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 5258 4265 390 719 0 4537 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21032 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21989 /proc/meminfo: memFree=1805904/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=28984 CPUtime=12.69 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 8081 0 0 0 1138 131 0 0 25 0 1 0 16016148 29679616 5848 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 7246 5848 390 719 0 6525 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28984 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21989 /proc/meminfo: memFree=1792016/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=44320 CPUtime=25.48 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 11308 0 0 0 2286 262 0 0 25 0 1 0 16016148 45383680 9075 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 11080 9075 390 719 0 10359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44320 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21991 /proc/meminfo: memFree=1769200/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=67892 CPUtime=51.08 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 17096 0 0 0 4599 509 0 0 25 0 1 0 16016148 69521408 14863 1992294400 4194304 7136930 140733881791792 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 16973 14863 390 719 0 16252 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 67892 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21991 /proc/meminfo: memFree=1718980/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=117884 CPUtime=102.27 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 29445 0 0 0 9216 1011 0 0 25 0 1 0 16016148 120713216 27212 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 29471 27212 390 719 0 28750 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 117884 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21993 /proc/meminfo: memFree=1658592/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=180356 CPUtime=162.24 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 44524 0 0 0 14620 1604 0 0 25 0 1 0 16016148 184684544 42291 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 45089 42291 390 719 0 44368 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 180356 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21995 /proc/meminfo: memFree=1611720/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=225088 CPUtime=222.21 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 56177 0 0 0 20047 2174 0 0 25 0 1 0 16016148 230490112 53944 1992294400 4194304 7136930 140733881791792 18446744073709551615 4703854 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 56272 53944 390 719 0 55551 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 225088 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21997 /proc/meminfo: memFree=1546992/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=294400 CPUtime=282.2 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 72397 0 0 0 25469 2751 0 0 25 0 1 0 16016148 301465600 70164 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 73600 70164 390 719 0 72879 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 294400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21999 /proc/meminfo: memFree=1492432/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=349188 CPUtime=342.18 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 85857 0 0 0 30909 3309 0 0 25 0 1 0 16016148 357568512 83624 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 87297 83624 390 719 0 86576 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 349188 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21999 /proc/meminfo: memFree=1458332/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=378784 CPUtime=402.16 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 94650 0 0 0 36342 3874 0 0 25 0 1 0 16016148 387874816 92417 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 94696 92417 390 719 0 93975 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 378784 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22001 /proc/meminfo: memFree=1398440/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=439644 CPUtime=462.14 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 109300 0 0 0 41747 4467 0 0 25 0 1 0 16016148 450195456 107067 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 109911 107067 390 719 0 109190 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 439644 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22003 /proc/meminfo: memFree=1335448/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=506352 CPUtime=522.12 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 124981 0 0 0 47184 5028 0 0 25 0 1 0 16016148 518504448 122748 1992294400 4194304 7136930 140733881791792 18446744073709551615 5918717 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 126588 122748 390 719 0 125867 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 506352 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22005 /proc/meminfo: memFree=1300852/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=535468 CPUtime=582.1 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 133597 0 0 0 52608 5602 0 0 25 0 1 0 16016148 548319232 131364 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 133867 131364 390 719 0 133146 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 535468 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22007 /proc/meminfo: memFree=1235132/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=607156 CPUtime=642.09 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 149916 0 0 0 58111 6098 0 0 25 0 1 0 16016148 621727744 147683 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 151789 147683 390 719 0 151068 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 607156 [startup+702.301 s] ################ # More data... # ################ /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 230728 0 0 0 96148 10046 0 0 25 0 1 0 16016148 944939008 228495 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 230698 228495 390 719 0 229977 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 922792 [startup+1122.3 s] /proc/loadavg: 1.10 1.03 1.01 2/107 22028 /proc/meminfo: memFree=819484/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1027688 CPUtime=1121.91 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 253326 0 0 0 101601 10590 0 0 25 0 1 0 16016148 1052352512 251093 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 256922 251093 390 719 0 256201 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 1027688 [startup+1182.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 22030 /proc/meminfo: memFree=787368/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1054768 CPUtime=1181.89 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 261368 0 0 0 107041 11148 0 0 25 0 1 0 16016148 1080082432 259135 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 263692 259135 390 719 0 262971 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1054768 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 22032 /proc/meminfo: memFree=753268/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1083396 CPUtime=1241.87 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 269871 0 0 0 112484 11703 0 0 25 0 1 0 16016148 1109397504 267638 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 270849 267638 390 719 0 270128 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1083396 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 22032 /proc/meminfo: memFree=650224/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1204184 CPUtime=1301.85 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 295517 0 0 0 117920 12265 0 0 25 0 1 0 16016148 1233084416 293284 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 301046 293284 390 719 0 300325 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1204184 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22034 /proc/meminfo: memFree=618232/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1231964 CPUtime=1361.83 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 303758 0 0 0 123360 12823 0 0 25 0 1 0 16016148 1261531136 301525 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 307991 301525 390 719 0 307270 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1231964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22036 /proc/meminfo: memFree=584256/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1259492 CPUtime=1421.82 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 311950 0 0 0 128814 13368 0 0 25 0 1 0 16016148 1289719808 309717 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 314873 309717 390 719 0 314152 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1259492 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22038 /proc/meminfo: memFree=551768/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1286568 CPUtime=1481.79 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 320031 0 0 0 134264 13915 0 0 25 0 1 0 16016148 1317445632 317798 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 321642 317798 390 719 0 320921 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1286568 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22040 /proc/meminfo: memFree=519404/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1313512 CPUtime=1541.76 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 328066 0 0 0 139706 14470 0 0 25 0 1 0 16016148 1345036288 325833 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 328378 325833 390 719 0 327657 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1313512 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22040 /proc/meminfo: memFree=401232/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1454580 CPUtime=1601.75 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 357630 0 0 0 145143 15032 0 0 25 0 1 0 16016148 1489489920 355397 1992294400 4194304 7136930 140733881791792 18446744073709551615 4704991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 363645 355397 390 719 0 362924 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1454580 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22042 /proc/meminfo: memFree=368372/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1482492 CPUtime=1661.73 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 365936 0 0 0 150584 15589 0 0 25 0 1 0 16016148 1518071808 363703 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 370623 363703 390 719 0 369902 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1482492 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22044 /proc/meminfo: memFree=334272/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1510284 CPUtime=1721.71 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 374242 0 0 0 156011 16160 0 0 25 0 1 0 16016148 1546530816 372009 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 377571 372009 390 719 0 376850 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1510284 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 22046 /proc/meminfo: memFree=300668/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1538648 CPUtime=1781.69 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 382638 0 0 0 161431 16738 0 0 25 0 1 0 16016148 1575575552 380405 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 384662 380405 390 719 0 383941 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1538648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22046 /proc/meminfo: memFree=289880/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1547208 CPUtime=1800.1 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 385195 0 0 0 163096 16914 0 0 25 0 1 0 16016148 1584340992 382962 1992294400 4194304 7136930 140733881791792 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/21988/statm: 386802 382962 390 719 0 386081 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1547208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21988 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22046 /proc/meminfo: memFree=289880/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1610228 CPUtime=1800.78 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 401491 0 0 0 163156 16922 0 0 25 0 1 0 16016148 1648873472 398037 1992294400 4194304 7136930 140733881791792 18446744073709551615 6165668 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21988/statm: 402557 398037 396 719 0 401836 0 Current children cumulated CPU time (s) 1800.78 Current children cumulated vsize (KiB) 1610228 [startup+1802.2 s] /proc/loadavg: 1.07 1.02 1.00 2/108 22047 /proc/meminfo: memFree=304132/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1420588 CPUtime=1801.58 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 401491 0 0 0 163234 16924 0 0 25 0 1 0 16016148 1454682112 350628 1992294400 4194304 7136930 140733881791792 18446744073709551615 6166240 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21988/statm: 355147 350628 396 719 0 354426 0 Current children cumulated CPU time (s) 1801.58 Current children cumulated vsize (KiB) 1420588 [startup+1802.6 s] /proc/loadavg: 1.07 1.02 1.00 2/108 22047 /proc/meminfo: memFree=304132/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=1320676 CPUtime=1801.98 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4202496 401491 0 0 0 163272 16926 0 0 25 0 1 0 16016148 1352372224 325650 1992294400 4194304 7136930 140733881791792 18446744073709551615 6165648 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21988/statm: 330169 325650 396 719 0 329448 0 Current children cumulated CPU time (s) 1801.98 Current children cumulated vsize (KiB) 1320676 [startup+1802.8 s] /proc/loadavg: 1.07 1.02 1.00 2/107 22047 /proc/meminfo: memFree=1415428/2059040 swapFree=4136696/4192956 [pid=21988] ppid=21986 vsize=0 CPUtime=1802.19 /proc/21988/stat : 21988 (pbscip.linux.x8) R 21986 21988 21622 0 -1 4203524 401491 0 0 0 163284 16935 0 0 25 0 1 0 16016148 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/21988/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.84 CPU time (s): 1802.23 CPU user time (s): 1632.84 CPU system time (s): 169.394 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 1614800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1632.84 system time used= 169.394 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 401491 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= 3 involuntary context switches= 3474 runsolver used 3.13852 second user time and 8.39472 second system time The end
Begin job on node012 at 2010-06-13 06:42:26 IDJOB=2664610 IDBENCH=2021 IDSOLVER=1167 FILE ID=node012/2664610-1276404146 PBS_JOBID= 11173272 Free space on /tmp= 62412 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.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-2664610-1276404146/watcher-2664610-1276404146 -o /tmp/evaluation-result-2664610-1276404146/solver-2664610-1276404146 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664610-1276404146.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c919b2e3620f35e89404416810e81e0b RANDOM SEED=551740654 node012.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.258 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.51 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.258 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: 1827768 kB Buffers: 16508 kB Cached: 130276 kB SwapCached: 16520 kB Active: 132564 kB Inactive: 33748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1827768 kB SwapTotal: 4192956 kB SwapFree: 4136696 kB Dirty: 3268 kB Writeback: 0 kB AnonPages: 10904 kB Mapped: 9224 kB Slab: 43252 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180444 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= 62408 MiB End job on node012 at 2010-06-13 07:12:29