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) | 21 | 1800.02 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_20.r.opb |
| MD5SUM | e82b2413101b8c36ea34c3d9f95f4ad5 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 6.558 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 17 |
| Optimality of the best value was proved | YES |
| Number of variables | 299 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 299 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 299 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 299 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2664760-1276590166.opb>
0.00/0.01 c original problem has 299 variables (299 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 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 o 299
0.00/0.02 c feasible solution found by trivial heuristic, objective value 2.990000e+02
0.00/0.02 c presolving:
0.00/0.02 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 100 upgd conss, 0 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 101/299 (33.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (2 rounds):
0.02/0.03 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 299 variables (299 bin, 0 int, 0 impl, 0 cont) and 100 constraints
0.02/0.03 c 100 constraints of type <logicor>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.00
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.2
0.02/0.03 c
0.02/0.03 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c conflict/interconss = 0
0.02/0.03 c
0.02/0.03 c # should binary conflicts be preferred?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c conflict/preferbinary = TRUE
0.02/0.03 c
0.02/0.03 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.03 c constraints/agelimit = 1
0.02/0.03 c
0.02/0.03 c # should enforcement of pseudo solution be disabled?
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/disableenfops = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1799.99
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 1620
0.02/0.03 c
0.02/0.03 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 1]
0.02/0.03 c lp/solvefreq = -1
0.02/0.03 c
0.02/0.03 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.02/0.03 c # [type: char, range: {lafpsqd}, default: l]
0.02/0.03 c lp/pricing = a
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # priority of node selection rule <dfs> in standard mode
0.02/0.03 c # [type: int, range: [-536870912,536870911], default: 0]
0.02/0.03 c nodeselection/dfs/stdpriority = 1000000
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.03 c t 0.0s| 1 | 2 | 0 | - | 730k| 0 | - | 299 | 100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 2.990000e+02 | Inf
0.02/0.05 o 23
0.02/0.05 c * 0.0s| 277 | 272 | 0 | 0.0 | 856k| 276 | - | 299 | 100 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | 2.300000e+01 |2200.00%
0.02/0.06 o 22
0.02/0.06 c * 0.0s| 314 | 266 | 0 | 0.0 | 876k| 276 | - | 299 | 100 | 0 | 0 | 0 | 19 | 0 | 1.000000e+00 | 2.200000e+01 |2100.00%
0.02/0.07 o 21
0.02/0.07 c * 0.1s| 359 | 264 | 0 | 0.0 | 880k| 276 | - | 299 | 100 | 0 | 0 | 0 | 45 | 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
2.39/2.44 c 2.2s| 10000 | 263 | 0 | 0.0 | 910k| 276 | - | 299 | 100 | 0 | 0 | 0 |5651 | 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
4.79/4.81 c 4.3s| 20000 | 257 | 0 | 0.0 | 907k| 276 | - | 299 | 100 | 0 | 0 | 0 | 11k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
7.09/7.13 c 6.5s| 30000 | 255 | 0 | 0.0 | 910k| 276 | - | 299 | 100 | 0 | 0 | 0 | 16k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
9.48/9.59 c 8.7s| 40000 | 257 | 0 | 0.0 | 907k| 276 | - | 299 | 100 | 0 | 0 | 0 | 22k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
11.89/11.95 c 10.9s| 50000 | 253 | 0 | 0.0 | 908k| 276 | - | 299 | 100 | 0 | 0 | 0 | 28k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
14.39/14.45 c 13.2s| 60000 | 250 | 0 | 0.0 | 912k| 276 | - | 299 | 100 | 0 | 0 | 0 | 33k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
16.98/17.00 c 15.5s| 70000 | 249 | 0 | 0.0 | 910k| 276 | - | 299 | 100 | 0 | 0 | 0 | 39k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
19.19/19.29 c 17.6s| 80000 | 251 | 0 | 0.0 | 910k| 276 | - | 299 | 100 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
21.59/21.64 c 19.7s| 90000 | 251 | 0 | 0.0 | 910k| 276 | - | 299 | 100 | 0 | 0 | 0 | 50k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
24.09/24.19 c 22.1s|100000 | 251 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
26.78/26.85 c 24.5s|110000 | 249 | 0 | 0.0 | 916k| 276 | - | 299 | 100 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
29.18/29.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
29.18/29.27 c 26.8s|120000 | 253 | 0 | 0.0 | 911k| 276 | - | 299 | 100 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
31.68/31.79 c 29.1s|130000 | 246 | 0 | 0.0 | 915k| 276 | - | 299 | 100 | 0 | 0 | 0 | 73k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
34.18/34.27 c 31.4s|140000 | 248 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 79k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
36.78/36.86 c 33.7s|150000 | 246 | 0 | 0.0 | 913k| 276 | - | 299 | 100 | 0 | 0 | 0 | 84k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
39.28/39.39 c 36.0s|160000 | 250 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 90k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
41.68/41.77 c 38.2s|170000 | 250 | 0 | 0.0 | 913k| 276 | - | 299 | 100 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
44.08/44.15 c 40.4s|180000 | 250 | 0 | 0.0 | 911k| 276 | - | 299 | 100 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
46.48/46.50 c 42.6s|190000 | 247 | 0 | 0.0 | 914k| 276 | - | 299 | 100 | 0 | 0 | 0 | 107k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
48.88/48.99 c 44.9s|200000 | 247 | 0 | 0.0 | 915k| 276 | - | 299 | 100 | 0 | 0 | 0 | 113k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
51.47/51.57 c 47.2s|210000 | 246 | 0 | 0.0 | 916k| 276 | - | 299 | 100 | 0 | 0 | 0 | 118k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
53.88/54.00 c 49.4s|220000 | 248 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 124k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
56.47/56.50 c 51.7s|230000 | 250 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 130k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
59.07/59.17 c 54.2s|240000 | 249 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 136k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
61.87/61.95 c 56.8s|250000 | 246 | 0 | 0.0 | 923k| 276 | - | 299 | 100 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
64.47/64.50 c 59.1s|260000 | 249 | 0 | 0.0 | 914k| 276 | - | 299 | 100 | 0 | 0 | 0 | 147k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
66.97/67.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.97/67.03 c 61.5s|270000 | 246 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 153k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
69.46/69.51 c 63.7s|280000 | 244 | 0 | 0.0 | 917k| 276 | - | 299 | 100 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
71.86/71.93 c 65.9s|290000 | 247 | 0 | 0.0 | 922k| 276 | - | 299 | 100 | 0 | 0 | 0 | 165k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
74.27/74.37 c 68.2s|300000 | 245 | 0 | 0.0 | 914k| 276 | - | 299 | 100 | 0 | 0 | 0 | 170k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
76.67/76.78 c 70.3s|310000 | 250 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 176k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
79.17/79.24 c 72.6s|320000 | 244 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 182k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
81.46/81.56 c 74.7s|330000 | 248 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 187k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
83.86/83.96 c 76.9s|340000 | 248 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 193k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
86.46/86.51 c 79.2s|350000 | 242 | 0 | 0.0 | 926k| 276 | - | 299 | 100 | 0 | 0 | 0 | 198k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
88.76/88.85 c 81.3s|360000 | 248 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 204k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
91.06/91.19 c 83.5s|370000 | 246 | 0 | 0.0 | 923k| 276 | - | 299 | 100 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
93.75/93.85 c 85.9s|380000 | 244 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 215k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
96.16/96.28 c 88.2s|390000 | 255 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 220k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
98.66/98.77 c 90.4s|400000 | 241 | 0 | 0.0 | 913k| 276 | - | 299 | 100 | 0 | 0 | 0 | 226k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
101.16/101.23 c 92.7s|410000 | 243 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
103.45/103.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
103.45/103.51 c 94.8s|420000 | 248 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 238k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
105.85/105.93 c 97.0s|430000 | 247 | 0 | 0.0 | 916k| 276 | - | 299 | 100 | 0 | 0 | 0 | 243k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
108.45/108.56 c 99.4s|440000 | 247 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 249k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
110.86/110.98 c 102s|450000 | 245 | 0 | 0.0 | 922k| 276 | - | 299 | 100 | 0 | 0 | 0 | 255k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
113.45/113.54 c 104s|460000 | 245 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 260k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
115.75/115.86 c 106s|470000 | 243 | 0 | 0.0 | 916k| 276 | - | 299 | 100 | 0 | 0 | 0 | 266k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
118.25/118.34 c 108s|480000 | 247 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 272k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
121.05/121.13 c 111s|490000 | 245 | 0 | 0.0 | 928k| 276 | - | 299 | 100 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
123.75/123.89 c 113s|500000 | 246 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 283k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
126.45/126.51 c 116s|510000 | 246 | 0 | 0.0 | 916k| 276 | - | 299 | 100 | 0 | 0 | 0 | 289k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
128.85/128.92 c 118s|520000 | 240 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 295k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
131.25/131.37 c 120s|530000 | 245 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 301k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
133.74/133.86 c 123s|540000 | 241 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 307k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
136.25/136.34 c 125s|550000 | 249 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 312k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
138.75/138.84 c 127s|560000 | 243 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 318k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
141.25/141.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.25/141.33 c 129s|570000 | 243 | 0 | 0.0 | 923k| 276 | - | 299 | 100 | 0 | 0 | 0 | 324k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
143.84/143.92 c 132s|580000 | 247 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 329k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
146.44/146.56 c 134s|590000 | 243 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 335k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
149.14/149.23 c 137s|600000 | 242 | 0 | 0.0 | 925k| 276 | - | 299 | 100 | 0 | 0 | 0 | 341k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
151.64/151.70 c 139s|610000 | 240 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 347k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
154.04/154.17 c 141s|620000 | 241 | 0 | 0.0 | 922k| 276 | - | 299 | 100 | 0 | 0 | 0 | 352k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
156.64/156.71 c 143s|630000 | 241 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 358k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
159.13/159.29 c 146s|640000 | 244 | 0 | 0.0 | 918k| 276 | - | 299 | 100 | 0 | 0 | 0 | 364k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
161.74/161.84 c 148s|650000 | 241 | 0 | 0.0 | 924k| 276 | - | 299 | 100 | 0 | 0 | 0 | 370k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
164.34/164.49 c 151s|660000 | 240 | 0 | 0.0 | 926k| 276 | - | 299 | 100 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
167.04/167.18 c 153s|670000 | 239 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 381k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
169.43/169.58 c 155s|680000 | 240 | 0 | 0.0 | 921k| 276 | - | 299 | 100 | 0 | 0 | 0 | 387k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
171.93/172.02 c 157s|690000 | 241 | 0 | 0.0 | 920k| 276 | - | 299 | 100 | 0 | 0 | 0 | 393k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
174.23/174.36 c 160s|700000 | 244 | 0 | 0.0 | 919k| 276 | - | 299 | 100 | 0 | 0 | 0 | 398k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
176.53/176.63 c 162s|710000 | 242 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 403k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
178.93/179.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.93/179.08 c 164s|720000 | 239 | 0 | 0.0 | 922k| 277 | - | 299 | 100 | 0 | 0 | 0 | 409k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
181.23/181.36 c 166s|730000 | 239 | 0 | 0.0 | 917k| 277 | - | 299 | 100 | 0 | 0 | 0 | 414k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
183.73/183.86 c 168s|740000 | 244 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 420k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
186.23/186.35 c 171s|750000 | 239 | 0 | 0.0 | 917k| 277 | - | 299 | 100 | 0 | 0 | 0 | 425k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
188.82/188.92 c 173s|760000 | 240 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 431k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
191.23/191.38 c 175s|770000 | 239 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 437k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
193.73/193.81 c 177s|780000 | 239 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 442k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
196.22/196.39 c 180s|790000 | 241 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
198.62/198.75 c 182s|800000 | 238 | 0 | 0.0 | 917k| 277 | - | 299 | 100 | 0 | 0 | 0 | 453k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
201.02/201.11 c 184s|810000 | 235 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 459k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
203.43/203.56 c 186s|820000 | 241 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
206.13/206.29 c 189s|830000 | 235 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 471k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
208.62/208.78 c 191s|840000 | 239 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 476k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
211.03/211.10 c 193s|850000 | 239 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
213.33/213.41 c 195s|860000 | 241 | 0 | 0.0 | 922k| 277 | - | 299 | 100 | 0 | 0 | 0 | 487k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
215.82/215.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
215.82/215.94 c 198s|870000 | 238 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 493k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
218.12/218.24 c 200s|880000 | 238 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 498k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
220.52/220.62 c 202s|890000 | 239 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 504k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
222.82/222.97 c 204s|900000 | 239 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 510k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
225.21/225.30 c 206s|910000 | 239 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 515k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
227.72/227.80 c 208s|920000 | 237 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
230.42/230.58 c 211s|930000 | 236 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 527k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
233.02/233.18 c 213s|940000 | 241 | 0 | 0.0 | 921k| 277 | - | 299 | 100 | 0 | 0 | 0 | 532k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
235.51/235.69 c 216s|950000 | 234 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
238.31/238.41 c 218s|960000 | 239 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 544k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
240.72/240.87 c 220s|970000 | 242 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 550k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
243.11/243.28 c 223s|980000 | 240 | 0 | 0.0 | 921k| 277 | - | 299 | 100 | 0 | 0 | 0 | 555k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
245.40/245.54 c 225s|990000 | 242 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 560k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
247.71/247.80 c 227s| 1000k| 240 | 0 | 0.0 | 921k| 277 | - | 299 | 100 | 0 | 0 | 0 | 566k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
250.21/250.37 c 229s| 1010k| 236 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 572k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
252.70/252.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
252.70/252.85 c 231s| 1020k| 238 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 577k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
255.31/255.48 c 234s| 1030k| 242 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 583k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
258.00/258.15 c 236s| 1040k| 236 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 589k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
260.61/260.72 c 239s| 1050k| 244 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 595k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
263.11/263.26 c 241s| 1060k| 235 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 600k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
265.70/265.89 c 243s| 1070k| 234 | 0 | 0.0 | 921k| 277 | - | 299 | 100 | 0 | 0 | 0 | 606k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
268.10/268.25 c 246s| 1080k| 235 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
270.51/270.60 c 248s| 1090k| 238 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
272.90/273.04 c 250s| 1100k| 235 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 623k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
275.30/275.44 c 252s| 1110k| 233 | 0 | 0.0 | 919k| 277 | - | 299 | 100 | 0 | 0 | 0 | 628k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
277.60/277.76 c 254s| 1120k| 238 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 633k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
280.00/280.16 c 256s| 1130k| 240 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 639k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
282.50/282.69 c 259s| 1140k| 235 | 0 | 0.0 | 920k| 277 | - | 299 | 100 | 0 | 0 | 0 | 644k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
284.90/285.08 c 261s| 1150k| 236 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 650k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
287.39/287.51 c 263s| 1160k| 237 | 0 | 0.0 | 922k| 277 | - | 299 | 100 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
289.60/289.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.60/289.79 c 265s| 1170k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
291.80/291.96 c 267s| 1180k| 234 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
294.30/294.43 c 269s| 1190k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
297.00/297.12 c 272s| 1200k| 237 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
299.49/299.68 c 274s| 1210k| 233 | 0 | 0.0 | 921k| 277 | - | 299 | 100 | 0 | 0 | 0 | 683k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
302.30/302.40 c 277s| 1220k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 689k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
304.79/304.98 c 279s| 1230k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 695k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
307.39/307.56 c 282s| 1240k| 233 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 700k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
309.79/309.94 c 284s| 1250k| 235 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 706k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
312.20/312.37 c 286s| 1260k| 236 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 711k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
314.59/314.73 c 288s| 1270k| 234 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 717k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
317.09/317.21 c 290s| 1280k| 236 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 722k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
319.58/319.75 c 293s| 1290k| 238 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
321.98/322.19 c 295s| 1300k| 239 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
324.68/324.84 c 297s| 1310k| 235 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 739k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
327.49/327.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.49/327.66 c 300s| 1320k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 745k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
330.38/330.56 c 303s| 1330k| 238 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 751k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
332.98/333.12 c 305s| 1340k| 236 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 | 757k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
335.48/335.68 c 307s| 1350k| 238 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 763k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
337.88/338.04 c 310s| 1360k| 233 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 769k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
340.18/340.39 c 312s| 1370k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 774k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
342.58/342.72 c 314s| 1380k| 233 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 779k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
344.87/345.02 c 316s| 1390k| 236 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
346.97/347.19 c 318s| 1400k| 235 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
349.28/349.41 c 320s| 1410k| 242 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
351.37/351.58 c 322s| 1420k| 238 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 800k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
353.98/354.11 c 324s| 1430k| 239 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 805k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
356.18/356.36 c 326s| 1440k| 230 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 811k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
358.27/358.47 c 328s| 1450k| 235 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 816k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
360.47/360.64 c 330s| 1460k| 237 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 | 821k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
363.17/363.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.17/363.38 c 333s| 1470k| 234 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
365.77/365.99 c 335s| 1480k| 234 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 833k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
368.28/368.42 c 337s| 1490k| 236 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 838k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
370.57/370.78 c 339s| 1500k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 | 844k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
372.97/373.20 c 342s| 1510k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 849k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
375.26/375.49 c 344s| 1520k| 235 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 | 854k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
377.87/378.07 c 346s| 1530k| 234 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 860k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
380.56/380.74 c 349s| 1540k| 233 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 866k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
382.96/383.10 c 351s| 1550k| 234 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 871k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
385.56/385.74 c 353s| 1560k| 235 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
388.17/388.37 c 355s| 1570k| 235 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
390.76/390.96 c 358s| 1580k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 | 888k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
393.16/393.31 c 360s| 1590k| 231 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 894k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
395.87/396.03 c 362s| 1600k| 234 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 899k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
398.26/398.49 c 365s| 1610k| 233 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 | 905k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
400.65/400.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
400.65/400.85 c 367s| 1620k| 232 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 | 910k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
402.96/403.18 c 369s| 1630k| 234 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 916k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
405.55/405.79 c 371s| 1640k| 233 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 922k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
408.25/408.44 c 374s| 1650k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
410.85/411.04 c 376s| 1660k| 229 | 0 | 0.0 | 923k| 277 | - | 299 | 100 | 0 | 0 | 0 | 933k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
413.46/413.65 c 379s| 1670k| 237 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
416.15/416.31 c 381s| 1680k| 233 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 945k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
418.55/418.74 c 383s| 1690k| 240 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
421.25/421.45 c 386s| 1700k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
423.85/424.09 c 388s| 1710k| 234 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 962k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
426.35/426.56 c 390s| 1720k| 234 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
428.85/429.05 c 393s| 1730k| 244 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 973k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
431.15/431.37 c 395s| 1740k| 229 | 0 | 0.0 | 925k| 277 | - | 299 | 100 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
433.44/433.65 c 397s| 1750k| 231 | 0 | 0.0 | 924k| 277 | - | 299 | 100 | 0 | 0 | 0 | 984k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
435.64/435.83 c 399s| 1760k| 231 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
437.94/438.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
437.94/438.17 c 401s| 1770k| 233 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
440.15/440.36 c 403s| 1780k| 232 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 | 999k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
442.44/442.66 c 405s| 1790k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
444.75/444.96 c 407s| 1800k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
447.04/447.25 c 409s| 1810k| 235 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
449.94/450.12 c 412s| 1820k| 239 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
452.74/452.98 c 415s| 1830k| 232 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1027k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
455.54/455.73 c 417s| 1840k| 235 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1033k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
458.14/458.32 c 420s| 1850k| 236 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1039k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
460.64/460.89 c 422s| 1860k| 229 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1045k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
463.34/463.50 c 424s| 1870k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1051k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
465.94/466.14 c 427s| 1880k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1056k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
468.44/468.68 c 429s| 1890k| 236 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1062k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
470.64/470.88 c 431s| 1900k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1067k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
472.93/473.15 c 433s| 1910k| 234 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1072k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
475.43/475.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.43/475.65 c 435s| 1920k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1078k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
477.73/477.91 c 437s| 1930k| 237 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1083k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
479.93/480.15 c 439s| 1940k| 235 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1088k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
482.43/482.67 c 442s| 1950k| 232 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1094k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
484.93/485.12 c 444s| 1960k| 228 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1099k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
487.23/487.46 c 446s| 1970k| 231 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1105k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
489.63/489.85 c 448s| 1980k| 236 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1110k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
492.03/492.27 c 450s| 1990k| 236 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1116k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
494.42/494.66 c 453s| 2000k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1121k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
497.13/497.39 c 455s| 2010k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1127k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
499.82/500.03 c 458s| 2020k| 234 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1133k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
502.32/502.55 c 460s| 2030k| 234 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1138k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
505.12/505.38 c 463s| 2040k| 228 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1144k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
507.43/507.62 c 465s| 2050k| 238 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1150k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
509.72/509.90 c 467s| 2060k| 239 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1155k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
511.92/512.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.92/512.14 c 469s| 2070k| 238 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1160k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
514.22/514.43 c 471s| 2080k| 238 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1166k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
516.73/517.00 c 473s| 2090k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1171k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
519.42/519.64 c 476s| 2100k| 236 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1177k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
521.92/522.18 c 478s| 2110k| 233 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 |1183k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
524.52/524.78 c 480s| 2120k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1189k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
527.01/527.28 c 483s| 2130k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1194k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
529.61/529.89 c 485s| 2140k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1200k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
532.31/532.50 c 487s| 2150k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |1206k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
534.91/535.13 c 490s| 2160k| 231 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
537.31/537.51 c 492s| 2170k| 242 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1217k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
539.51/539.79 c 494s| 2180k| 231 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1223k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
541.81/542.05 c 496s| 2190k| 233 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1228k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
544.11/544.32 c 498s| 2200k| 234 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1234k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
546.31/546.53 c 500s| 2210k| 231 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1239k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
548.71/548.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.71/548.92 c 502s| 2220k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1245k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
551.01/551.25 c 505s| 2230k| 228 | 0 | 0.0 | 926k| 277 | - | 299 | 100 | 0 | 0 | 0 |1250k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
553.51/553.71 c 507s| 2240k| 232 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1256k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
556.01/556.24 c 509s| 2250k| 231 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1261k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
558.62/558.83 c 511s| 2260k| 234 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 |1267k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
561.01/561.28 c 514s| 2270k| 228 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1272k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
563.40/563.62 c 516s| 2280k| 235 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1278k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
565.71/565.98 c 518s| 2290k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1283k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
568.00/568.23 c 520s| 2300k| 233 | 0 | 0.0 | 927k| 277 | - | 299 | 100 | 0 | 0 | 0 |1289k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
570.40/570.62 c 522s| 2310k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1294k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
572.91/573.14 c 525s| 2320k| 238 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
575.40/575.63 c 527s| 2330k| 231 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1305k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
577.60/577.88 c 529s| 2340k| 231 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1310k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
579.99/580.24 c 531s| 2350k| 229 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1316k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
582.19/582.46 c 533s| 2360k| 243 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1321k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
584.49/584.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
584.49/584.75 c 535s| 2370k| 236 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1327k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
586.90/587.16 c 537s| 2380k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
589.30/589.55 c 540s| 2390k| 235 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1338k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
591.60/591.83 c 542s| 2400k| 235 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1343k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
593.99/594.24 c 544s| 2410k| 232 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
596.19/596.49 c 546s| 2420k| 236 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
598.49/598.78 c 548s| 2430k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1359k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
600.89/601.19 c 550s| 2440k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1364k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
603.19/603.44 c 552s| 2450k| 233 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1370k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
605.39/605.67 c 554s| 2460k| 229 | 0 | 0.0 | 928k| 277 | - | 299 | 100 | 0 | 0 | 0 |1375k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
607.59/607.84 c 556s| 2470k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1380k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
609.89/610.12 c 558s| 2480k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1385k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
612.09/612.33 c 560s| 2490k| 229 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1391k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
614.39/614.66 c 563s| 2500k| 234 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1396k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
616.89/617.11 c 565s| 2510k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1402k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
619.68/619.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
619.68/619.90 c 567s| 2520k| 233 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1407k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
622.39/622.68 c 570s| 2530k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |1414k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
624.98/625.26 c 572s| 2540k| 232 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1419k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
627.68/627.93 c 575s| 2550k| 236 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
630.38/630.67 c 577s| 2560k| 233 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |1431k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
633.08/633.36 c 580s| 2570k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1437k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
635.78/636.10 c 582s| 2580k| 234 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1443k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
638.38/638.69 c 585s| 2590k| 234 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1449k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
640.99/641.23 c 587s| 2600k| 235 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1455k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
643.58/643.87 c 589s| 2610k| 238 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1461k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
646.18/646.45 c 592s| 2620k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1467k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
649.18/649.43 c 595s| 2630k| 233 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1473k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
651.98/652.26 c 597s| 2640k| 244 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |1479k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
654.58/654.87 c 599s| 2650k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1485k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
657.27/657.52 c 602s| 2660k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1491k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
659.67/659.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
659.67/659.93 c 604s| 2670k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |1497k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
662.17/662.47 c 606s| 2680k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1502k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
664.77/665.04 c 609s| 2690k| 232 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |1508k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
667.48/667.73 c 611s| 2700k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |1514k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
670.17/670.41 c 614s| 2710k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1520k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
672.77/673.04 c 616s| 2720k| 231 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1526k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
675.27/675.59 c 618s| 2730k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1531k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
677.86/678.14 c 621s| 2740k| 237 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1537k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
680.57/680.85 c 623s| 2750k| 234 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |1543k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
683.16/683.46 c 626s| 2760k| 229 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1549k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
685.66/685.97 c 628s| 2770k| 236 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1554k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
688.27/688.57 c 630s| 2780k| 228 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1560k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
690.96/691.20 c 633s| 2790k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1566k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
693.36/693.65 c 635s| 2800k| 230 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1572k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
696.07/696.32 c 638s| 2810k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1578k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
698.66/698.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
698.66/698.92 c 640s| 2820k| 236 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1584k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
701.47/701.72 c 643s| 2830k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1590k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
704.06/704.33 c 645s| 2840k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1595k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
706.56/706.87 c 647s| 2850k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1601k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
709.05/709.30 c 649s| 2860k| 235 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1606k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
711.46/711.71 c 652s| 2870k| 234 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1612k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
713.95/714.27 c 654s| 2880k| 227 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |1618k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
716.66/716.93 c 656s| 2890k| 229 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1624k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
719.16/719.48 c 659s| 2900k| 231 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1629k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
721.55/721.90 c 661s| 2910k| 233 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1635k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
724.25/724.56 c 663s| 2920k| 231 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1641k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
726.76/727.08 c 666s| 2930k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1646k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
729.35/729.63 c 668s| 2940k| 235 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1652k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
731.95/732.28 c 671s| 2950k| 231 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1658k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
734.65/734.91 c 673s| 2960k| 234 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1663k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
737.24/737.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.24/737.53 c 675s| 2970k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1669k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
739.74/740.08 c 678s| 2980k| 229 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1675k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
742.34/742.63 c 680s| 2990k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1681k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
744.64/744.97 c 682s| 3000k| 233 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1686k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
746.95/747.26 c 684s| 3010k| 235 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1692k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
749.24/749.56 c 686s| 3020k| 230 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1697k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
751.64/751.95 c 689s| 3030k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1702k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
753.74/754.06 c 690s| 3040k| 235 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1707k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
755.94/756.25 c 692s| 3050k| 232 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1713k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
758.53/758.85 c 695s| 3060k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1718k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
760.85/761.19 c 697s| 3070k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1724k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
763.15/763.49 c 699s| 3080k| 237 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1730k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
765.43/765.73 c 701s| 3090k| 235 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1735k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
767.54/767.84 c 703s| 3100k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1740k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
769.84/770.15 c 705s| 3110k| 230 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1746k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
772.33/772.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
772.33/772.63 c 707s| 3120k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1751k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
774.93/775.27 c 710s| 3130k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1757k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
777.44/777.79 c 712s| 3140k| 228 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1763k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
779.74/780.03 c 714s| 3150k| 227 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1768k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
782.13/782.47 c 716s| 3160k| 237 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1774k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
784.83/785.10 c 719s| 3170k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |1780k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
787.43/787.79 c 721s| 3180k| 236 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |1785k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
789.93/790.27 c 723s| 3190k| 232 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1791k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
792.33/792.63 c 726s| 3200k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1796k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
794.73/795.03 c 728s| 3210k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1802k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
797.33/797.60 c 730s| 3220k| 230 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1807k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
799.82/800.13 c 732s| 3230k| 233 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |1813k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
802.32/802.67 c 735s| 3240k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1819k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
804.83/805.11 c 737s| 3250k| 229 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1824k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
807.22/807.53 c 739s| 3260k| 234 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1830k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
809.62/809.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.62/809.93 c 741s| 3270k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1836k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
812.02/812.34 c 744s| 3280k| 235 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1841k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
814.51/814.89 c 746s| 3290k| 232 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1847k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
816.93/817.30 c 748s| 3300k| 230 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1853k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
819.23/819.56 c 750s| 3310k| 234 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1858k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
821.51/821.89 c 752s| 3320k| 228 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |1864k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
823.91/824.22 c 754s| 3330k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1869k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
826.32/826.66 c 757s| 3340k| 228 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1875k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
828.61/828.97 c 759s| 3350k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1880k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
831.11/831.44 c 761s| 3360k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1886k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
833.42/833.76 c 763s| 3370k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1891k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
835.91/836.27 c 765s| 3380k| 232 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |1897k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
838.31/838.68 c 768s| 3390k| 229 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |1902k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
840.81/841.13 c 770s| 3400k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1908k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
843.21/843.55 c 772s| 3410k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1913k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
845.71/846.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
845.71/846.06 c 774s| 3420k| 233 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1919k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
848.50/848.81 c 777s| 3430k| 231 | 0 | 0.0 | 945k| 277 | - | 299 | 100 | 0 | 0 | 0 |1925k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
851.21/851.58 c 779s| 3440k| 235 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1930k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
854.01/854.37 c 782s| 3450k| 230 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |1936k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
856.40/856.76 c 784s| 3460k| 233 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1942k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
859.10/859.47 c 787s| 3470k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1947k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
861.51/861.80 c 789s| 3480k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |1953k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
863.70/864.04 c 791s| 3490k| 225 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |1958k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
866.11/866.47 c 793s| 3500k| 229 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |1964k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
868.71/869.01 c 795s| 3510k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |1970k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
871.30/871.61 c 798s| 3520k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1975k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
873.60/873.98 c 800s| 3530k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |1981k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
876.20/876.54 c 802s| 3540k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |1986k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
878.80/879.18 c 805s| 3550k| 239 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |1992k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
881.30/881.67 c 807s| 3560k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |1998k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
883.79/884.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
883.79/884.12 c 809s| 3570k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2003k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
886.20/886.56 c 811s| 3580k| 236 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2009k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
888.70/889.09 c 814s| 3590k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2015k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
891.20/891.53 c 816s| 3600k| 227 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2020k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
893.69/894.03 c 818s| 3610k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2026k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
896.20/896.55 c 821s| 3620k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2032k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
898.79/899.19 c 823s| 3630k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2037k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
901.29/901.66 c 825s| 3640k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2043k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
903.80/904.20 c 828s| 3650k| 229 | 0 | 0.0 | 944k| 277 | - | 299 | 100 | 0 | 0 | 0 |2049k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
906.29/906.60 c 830s| 3660k| 231 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2054k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
908.79/909.16 c 832s| 3670k| 229 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2060k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
911.19/911.55 c 834s| 3680k| 233 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2066k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
913.88/914.28 c 837s| 3690k| 228 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2072k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
916.38/916.77 c 839s| 3700k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2077k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
918.78/919.14 c 841s| 3710k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2083k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
921.29/921.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
921.29/921.61 c 844s| 3720k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2088k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
923.59/923.99 c 846s| 3730k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2094k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
926.09/926.49 c 848s| 3740k| 231 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2099k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
928.58/928.95 c 850s| 3750k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2105k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
930.89/931.22 c 852s| 3760k| 233 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2110k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
933.18/933.58 c 855s| 3770k| 228 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2116k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
935.48/935.88 c 857s| 3780k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2121k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
937.88/938.29 c 859s| 3790k| 228 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2127k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
940.47/940.88 c 861s| 3800k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2132k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
942.88/943.26 c 863s| 3810k| 228 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2138k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
945.28/945.68 c 866s| 3820k| 228 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2144k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
947.67/948.00 c 868s| 3830k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2149k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
950.08/950.45 c 870s| 3840k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2155k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
952.77/953.10 c 872s| 3850k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2160k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
955.27/955.67 c 875s| 3860k| 230 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2166k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
958.07/958.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
958.07/958.42 c 877s| 3870k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2172k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
960.67/961.05 c 880s| 3880k| 239 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2177k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
962.96/963.39 c 882s| 3890k| 239 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2183k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
965.56/965.98 c 884s| 3900k| 230 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2189k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
968.27/968.62 c 887s| 3910k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2194k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
970.66/971.09 c 889s| 3920k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2200k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
973.18/973.55 c 891s| 3930k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2206k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
975.66/976.01 c 893s| 3940k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2211k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
978.16/978.56 c 896s| 3950k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2217k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
980.77/981.19 c 898s| 3960k| 232 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2223k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
983.46/983.80 c 901s| 3970k| 233 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2229k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
985.96/986.33 c 903s| 3980k| 226 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |2234k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
988.26/988.61 c 905s| 3990k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2240k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
990.46/990.87 c 907s| 4000k| 237 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2245k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
992.76/993.10 c 909s| 4010k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2250k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
995.17/995.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
995.17/995.56 c 911s| 4020k| 226 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2256k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
997.56/997.96 c 914s| 4030k| 234 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2262k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
999.86/1000.25 c 916s| 4040k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2267k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1002.16/1002.58 c 918s| 4050k| 227 | 0 | 0.0 | 929k| 277 | - | 299 | 100 | 0 | 0 | 0 |2272k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1004.85/1005.23 c 920s| 4060k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2278k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1007.56/1007.95 c 923s| 4070k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2284k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1009.96/1010.34 c 925s| 4080k| 232 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2290k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1012.15/1012.55 c 927s| 4090k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2295k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1014.25/1014.70 c 929s| 4100k| 230 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2300k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1016.55/1016.97 c 931s| 4110k| 225 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |2306k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1019.15/1019.58 c 933s| 4120k| 230 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2312k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1021.85/1022.23 c 936s| 4130k| 232 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2318k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1024.15/1024.54 c 938s| 4140k| 236 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2323k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1026.55/1026.95 c 940s| 4150k| 234 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2329k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1029.05/1029.46 c 942s| 4160k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2334k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1031.74/1032.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1031.74/1032.19 c 945s| 4170k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2340k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1034.25/1034.67 c 947s| 4180k| 236 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2345k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1036.74/1037.14 c 949s| 4190k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2351k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1039.24/1039.67 c 952s| 4200k| 239 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2357k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1041.54/1041.96 c 954s| 4210k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2362k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1043.94/1044.38 c 956s| 4220k| 233 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2368k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1046.24/1046.63 c 958s| 4230k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2373k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1048.54/1048.99 c 960s| 4240k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2379k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1051.04/1051.40 c 962s| 4250k| 235 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2384k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1053.35/1053.79 c 965s| 4260k| 237 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2390k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1055.93/1056.37 c 967s| 4270k| 236 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2395k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1058.64/1059.00 c 969s| 4280k| 230 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |2401k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1061.24/1061.62 c 972s| 4290k| 229 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2407k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1063.84/1064.22 c 974s| 4300k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2413k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1066.44/1066.80 c 977s| 4310k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2419k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1068.74/1069.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.74/1069.14 c 979s| 4320k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2424k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1071.04/1071.47 c 981s| 4330k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2429k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1073.24/1073.69 c 983s| 4340k| 236 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2434k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1075.74/1076.18 c 985s| 4350k| 230 | 0 | 0.0 | 943k| 277 | - | 299 | 100 | 0 | 0 | 0 |2440k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1078.23/1078.61 c 987s| 4360k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2446k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1080.73/1081.15 c 990s| 4370k| 228 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2451k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1083.14/1083.58 c 992s| 4380k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2457k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1085.53/1085.96 c 994s| 4390k| 232 | 0 | 0.0 | 943k| 277 | - | 299 | 100 | 0 | 0 | 0 |2462k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1088.13/1088.59 c 997s| 4400k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2468k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1090.93/1091.34 c 999s| 4410k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2474k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1093.32/1093.70 c 1001s| 4420k| 231 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2480k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1095.83/1096.22 c 1004s| 4430k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2486k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1098.23/1098.66 c 1006s| 4440k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2491k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1100.63/1101.06 c 1008s| 4450k| 230 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2497k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1103.02/1103.48 c 1010s| 4460k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2503k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1105.63/1106.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1105.63/1106.05 c 1013s| 4470k| 229 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2509k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1107.92/1108.38 c 1015s| 4480k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2514k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1110.62/1111.02 c 1017s| 4490k| 228 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2520k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1113.12/1113.56 c 1019s| 4500k| 233 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2525k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1115.52/1115.91 c 1021s| 4510k| 235 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2531k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1117.82/1118.27 c 1024s| 4520k| 232 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2536k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1120.52/1120.93 c 1026s| 4530k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2542k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1123.22/1123.65 c 1029s| 4540k| 235 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2548k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1125.72/1126.13 c 1031s| 4550k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2553k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1128.23/1128.67 c 1033s| 4560k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2559k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1130.82/1131.21 c 1035s| 4570k| 235 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2565k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1133.41/1133.80 c 1038s| 4580k| 230 | 0 | 0.0 | 948k| 277 | - | 299 | 100 | 0 | 0 | 0 |2570k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1136.11/1136.57 c 1040s| 4590k| 229 | 0 | 0.0 | 944k| 277 | - | 299 | 100 | 0 | 0 | 0 |2576k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1138.51/1138.93 c 1043s| 4600k| 230 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2582k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1141.01/1141.46 c 1045s| 4610k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2588k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1143.51/1143.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1143.51/1143.91 c 1047s| 4620k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2594k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1145.91/1146.32 c 1049s| 4630k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2599k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1148.41/1148.82 c 1052s| 4640k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2605k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1150.70/1151.19 c 1054s| 4650k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2610k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1153.01/1153.49 c 1056s| 4660k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2616k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1155.41/1155.82 c 1058s| 4670k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2621k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1157.82/1158.29 c 1060s| 4680k| 226 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |2627k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1160.20/1160.68 c 1062s| 4690k| 229 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2633k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1162.51/1162.92 c 1064s| 4700k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2638k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1164.90/1165.34 c 1067s| 4710k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2644k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1167.20/1167.60 c 1069s| 4720k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2649k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1169.60/1170.01 c 1071s| 4730k| 235 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2655k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1171.99/1172.41 c 1073s| 4740k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2660k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1174.20/1174.67 c 1075s| 4750k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2666k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1176.70/1177.11 c 1077s| 4760k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2671k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1179.00/1179.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1179.00/1179.40 c 1080s| 4770k| 228 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2676k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1181.29/1181.70 c 1082s| 4780k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2682k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1183.49/1183.97 c 1084s| 4790k| 232 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2687k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1185.99/1186.40 c 1086s| 4800k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2693k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1188.20/1188.61 c 1088s| 4810k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2698k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1190.29/1190.79 c 1090s| 4820k| 229 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2703k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1192.50/1192.95 c 1092s| 4830k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2708k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1194.69/1195.17 c 1094s| 4840k| 231 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2714k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1196.99/1197.44 c 1096s| 4850k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2719k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1199.39/1199.89 c 1098s| 4860k| 227 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2725k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1201.69/1202.18 c 1100s| 4870k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2730k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1204.00/1204.50 c 1102s| 4880k| 231 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2736k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1206.30/1206.75 c 1104s| 4890k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2741k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1208.50/1208.96 c 1106s| 4900k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2746k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1210.79/1211.24 c 1108s| 4910k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2752k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1213.39/1213.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1213.39/1213.80 c 1111s| 4920k| 234 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2757k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1215.79/1216.23 c 1113s| 4930k| 231 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2763k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1218.18/1218.66 c 1115s| 4940k| 233 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2769k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1220.59/1221.09 c 1117s| 4950k| 234 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2774k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1222.88/1223.37 c 1120s| 4960k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2780k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1225.19/1225.69 c 1122s| 4970k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |2785k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1227.59/1228.08 c 1124s| 4980k| 227 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2791k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1230.08/1230.58 c 1126s| 4990k| 233 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2797k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1232.88/1233.37 c 1129s| 5000k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2803k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1235.48/1235.97 c 1131s| 5010k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2809k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1238.08/1238.56 c 1133s| 5020k| 233 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2815k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1240.68/1241.18 c 1136s| 5030k| 232 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2821k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1243.28/1243.78 c 1138s| 5040k| 232 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2827k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1245.88/1246.38 c 1141s| 5050k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2833k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1248.47/1248.97 c 1143s| 5060k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2838k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1250.97/1251.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1250.97/1251.45 c 1145s| 5070k| 230 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2844k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1253.37/1253.80 c 1147s| 5080k| 227 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2850k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1255.68/1256.19 c 1150s| 5090k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2855k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1257.88/1258.40 c 1152s| 5100k| 233 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |2861k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1260.18/1260.68 c 1154s| 5110k| 228 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2866k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1262.67/1263.13 c 1156s| 5120k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2872k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1265.16/1265.61 c 1158s| 5130k| 228 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |2877k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1267.27/1267.78 c 1160s| 5140k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2883k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1269.57/1270.03 c 1162s| 5150k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |2888k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1271.87/1272.32 c 1164s| 5160k| 237 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2894k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1274.27/1274.72 c 1166s| 5170k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2899k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1276.77/1277.20 c 1169s| 5180k| 231 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |2905k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1279.26/1279.79 c 1171s| 5190k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2911k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1281.87/1282.34 c 1173s| 5200k| 229 | 0 | 0.0 | 945k| 277 | - | 299 | 100 | 0 | 0 | 0 |2917k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1284.27/1284.71 c 1175s| 5210k| 231 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |2922k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1286.67/1287.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1286.67/1287.13 c 1178s| 5220k| 228 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2928k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1289.06/1289.51 c 1180s| 5230k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |2934k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1291.56/1292.03 c 1182s| 5240k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2939k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1294.17/1294.69 c 1185s| 5250k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2945k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1296.56/1297.06 c 1187s| 5260k| 225 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2951k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1298.76/1299.28 c 1189s| 5270k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2956k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1301.15/1301.69 c 1191s| 5280k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |2962k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1303.55/1304.01 c 1193s| 5290k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |2967k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1305.95/1306.40 c 1195s| 5300k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2973k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1308.36/1308.83 c 1198s| 5310k| 231 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |2979k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1310.76/1311.21 c 1200s| 5320k| 230 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |2984k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1313.15/1313.70 c 1202s| 5330k| 227 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |2990k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1315.55/1316.08 c 1204s| 5340k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |2996k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1317.85/1318.35 c 1206s| 5350k| 228 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3001k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1320.35/1320.88 c 1209s| 5360k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3007k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1322.95/1323.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1322.95/1323.41 c 1211s| 5370k| 230 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |3013k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1325.55/1326.06 c 1213s| 5380k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3019k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1328.15/1328.69 c 1216s| 5390k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3025k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1331.04/1331.50 c 1218s| 5400k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3031k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1333.64/1334.12 c 1221s| 5410k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3037k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1336.14/1336.63 c 1223s| 5420k| 232 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3042k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1338.44/1338.90 c 1225s| 5430k| 232 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3048k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1340.94/1341.41 c 1227s| 5440k| 238 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3053k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1343.84/1344.33 c 1230s| 5450k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3060k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1346.44/1346.95 c 1232s| 5460k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3065k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1349.04/1349.58 c 1235s| 5470k| 229 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3071k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1351.73/1352.25 c 1237s| 5480k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3077k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1354.44/1354.90 c 1240s| 5490k| 227 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3083k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1356.84/1357.35 c 1242s| 5500k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3089k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1359.14/1359.66 c 1244s| 5510k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3094k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1361.63/1362.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1361.63/1362.19 c 1246s| 5520k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3100k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1364.24/1364.72 c 1249s| 5530k| 228 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3106k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1366.63/1367.13 c 1251s| 5540k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3112k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1369.13/1369.67 c 1253s| 5550k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3117k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1371.73/1372.21 c 1256s| 5560k| 232 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3123k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1374.33/1374.86 c 1258s| 5570k| 229 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3129k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1377.03/1377.52 c 1260s| 5580k| 228 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3135k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1379.63/1380.16 c 1263s| 5590k| 228 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3141k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1382.33/1382.80 c 1265s| 5600k| 224 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3146k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1384.93/1385.43 c 1268s| 5610k| 232 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3152k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1387.43/1387.93 c 1270s| 5620k| 226 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3158k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1389.72/1390.24 c 1272s| 5630k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3163k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1391.93/1392.45 c 1274s| 5640k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3169k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1394.24/1394.79 c 1276s| 5650k| 226 | 0 | 0.0 | 930k| 277 | - | 299 | 100 | 0 | 0 | 0 |3174k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1396.62/1397.13 c 1278s| 5660k| 228 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3180k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1398.93/1399.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1398.93/1399.42 c 1280s| 5670k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3186k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1401.23/1401.73 c 1283s| 5680k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3191k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1403.52/1404.08 c 1285s| 5690k| 228 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3196k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1406.12/1406.63 c 1287s| 5700k| 231 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3202k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1408.63/1409.17 c 1289s| 5710k| 227 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3208k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1411.01/1411.50 c 1291s| 5720k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3213k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1413.52/1414.01 c 1294s| 5730k| 227 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3219k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1416.02/1416.51 c 1296s| 5740k| 227 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3225k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1418.43/1418.92 c 1298s| 5750k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3230k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1420.91/1421.49 c 1301s| 5760k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3236k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1423.62/1424.10 c 1303s| 5770k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3242k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1426.01/1426.54 c 1305s| 5780k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3247k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1428.61/1429.12 c 1308s| 5790k| 224 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3253k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1430.91/1431.48 c 1310s| 5800k| 228 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3258k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1433.52/1434.01 c 1312s| 5810k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3264k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1435.91/1436.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1435.91/1436.49 c 1314s| 5820k| 223 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3270k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1438.41/1438.91 c 1317s| 5830k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3275k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1440.71/1441.24 c 1319s| 5840k| 234 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3281k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1442.81/1443.37 c 1321s| 5850k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3286k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1445.11/1445.67 c 1323s| 5860k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3291k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1447.40/1447.93 c 1325s| 5870k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3297k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1449.71/1450.21 c 1327s| 5880k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3303k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1451.91/1452.49 c 1329s| 5890k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3308k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1454.31/1454.87 c 1331s| 5900k| 230 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3313k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1456.60/1457.19 c 1333s| 5910k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3319k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1459.01/1459.56 c 1335s| 5920k| 227 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |3325k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1461.10/1461.65 c 1337s| 5930k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3330k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1463.41/1463.98 c 1339s| 5940k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3336k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1465.60/1466.12 c 1341s| 5950k| 232 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3341k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1467.80/1468.34 c 1343s| 5960k| 227 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3346k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1469.90/1470.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1469.90/1470.45 c 1345s| 5970k| 232 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3351k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1472.00/1472.58 c 1347s| 5980k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3357k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1474.10/1474.66 c 1349s| 5990k| 230 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3362k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1476.10/1476.67 c 1351s| 6000k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3367k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1478.29/1478.80 c 1353s| 6010k| 225 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |3372k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1480.60/1481.19 c 1355s| 6020k| 228 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |3377k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1482.89/1483.45 c 1357s| 6030k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3383k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1485.20/1485.79 c 1359s| 6040k| 236 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3388k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1488.00/1488.55 c 1362s| 6050k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3394k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1490.40/1490.98 c 1364s| 6060k| 230 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3400k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1492.59/1493.16 c 1366s| 6070k| 230 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3405k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1494.80/1495.33 c 1368s| 6080k| 233 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3410k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1497.09/1497.67 c 1370s| 6090k| 230 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3416k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1499.39/1499.92 c 1372s| 6100k| 227 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3421k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1501.39/1501.93 c 1374s| 6110k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3426k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1503.69/1504.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.69/1504.22 c 1376s| 6120k| 234 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3432k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1505.89/1506.47 c 1378s| 6130k| 233 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3437k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1508.09/1508.68 c 1380s| 6140k| 234 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3443k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1510.29/1510.83 c 1382s| 6150k| 233 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3448k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1512.48/1513.03 c 1384s| 6160k| 232 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3453k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1514.69/1515.22 c 1386s| 6170k| 227 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3458k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1516.79/1517.37 c 1388s| 6180k| 230 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |3464k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1518.89/1519.44 c 1390s| 6190k| 227 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3469k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1520.88/1521.47 c 1392s| 6200k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3474k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1523.08/1523.65 c 1394s| 6210k| 236 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3479k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1525.28/1525.83 c 1396s| 6220k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3484k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1527.39/1527.92 c 1397s| 6230k| 236 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3490k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1529.49/1530.09 c 1399s| 6240k| 227 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3495k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1531.68/1532.26 c 1401s| 6250k| 229 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3500k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1533.98/1534.59 c 1404s| 6260k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3506k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1536.19/1536.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.19/1536.71 c 1405s| 6270k| 229 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3511k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1538.39/1538.97 c 1407s| 6280k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3517k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1540.67/1541.24 c 1410s| 6290k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3522k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1542.78/1543.38 c 1412s| 6300k| 235 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3528k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1545.08/1545.69 c 1414s| 6310k| 230 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3533k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1547.37/1547.91 c 1416s| 6320k| 228 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3538k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1549.77/1550.32 c 1418s| 6330k| 230 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3544k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1551.97/1552.56 c 1420s| 6340k| 228 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3549k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1554.17/1554.72 c 1422s| 6350k| 230 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3555k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1556.27/1556.81 c 1424s| 6360k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3560k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1558.27/1558.83 c 1426s| 6370k| 228 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3565k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1560.38/1560.97 c 1428s| 6380k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3571k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1562.48/1563.01 c 1429s| 6390k| 225 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3576k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1564.97/1565.55 c 1432s| 6400k| 233 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3581k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1567.47/1568.03 c 1434s| 6410k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3587k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1569.87/1570.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1569.87/1570.42 c 1436s| 6420k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3592k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1572.17/1572.75 c 1438s| 6430k| 230 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3598k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1574.68/1575.22 c 1441s| 6440k| 234 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3603k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1577.26/1577.87 c 1443s| 6450k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3609k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1580.07/1580.64 c 1446s| 6460k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3615k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1582.56/1583.17 c 1448s| 6470k| 237 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3621k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1585.06/1585.68 c 1450s| 6480k| 228 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3627k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1587.67/1588.20 c 1452s| 6490k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3632k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1590.16/1590.79 c 1455s| 6500k| 225 | 0 | 0.0 | 949k| 277 | - | 299 | 100 | 0 | 0 | 0 |3638k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1592.76/1593.36 c 1457s| 6510k| 232 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3643k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1595.25/1595.81 c 1459s| 6520k| 242 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3649k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1597.67/1598.20 c 1462s| 6530k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3654k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1600.16/1600.74 c 1464s| 6540k| 230 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3660k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1602.55/1603.16 c 1466s| 6550k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3666k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1605.15/1605.77 c 1469s| 6560k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3672k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1607.67/1608.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1607.67/1608.28 c 1471s| 6570k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3677k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1610.15/1610.79 c 1473s| 6580k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3683k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1612.75/1613.37 c 1475s| 6590k| 236 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3689k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1615.26/1615.80 c 1478s| 6600k| 227 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3694k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1617.95/1618.54 c 1480s| 6610k| 230 | 0 | 0.0 | 943k| 277 | - | 299 | 100 | 0 | 0 | 0 |3700k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1620.55/1621.10 c 1483s| 6620k| 229 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3706k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1623.06/1623.67 c 1485s| 6630k| 232 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3711k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1625.45/1626.09 c 1487s| 6640k| 228 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3717k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1628.14/1628.75 c 1490s| 6650k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3723k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1630.84/1631.41 c 1492s| 6660k| 231 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3728k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1633.34/1633.91 c 1494s| 6670k| 225 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3734k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1635.65/1636.29 c 1496s| 6680k| 236 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3740k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1638.24/1638.83 c 1499s| 6690k| 232 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |3745k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1640.85/1641.40 c 1501s| 6700k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3751k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1643.44/1644.01 c 1503s| 6710k| 231 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3757k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1645.74/1646.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1645.74/1646.36 c 1506s| 6720k| 231 | 0 | 0.0 | 945k| 277 | - | 299 | 100 | 0 | 0 | 0 |3762k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1648.34/1648.99 c 1508s| 6730k| 233 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3768k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1651.14/1651.77 c 1511s| 6740k| 229 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3774k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1653.85/1654.46 c 1513s| 6750k| 226 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3780k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1656.54/1657.15 c 1516s| 6760k| 228 | 0 | 0.0 | 943k| 277 | - | 299 | 100 | 0 | 0 | 0 |3786k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1659.04/1659.65 c 1518s| 6770k| 229 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3792k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1661.33/1661.92 c 1520s| 6780k| 231 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3797k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1663.54/1664.19 c 1522s| 6790k| 230 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3803k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1665.94/1666.51 c 1524s| 6800k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3808k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1668.63/1669.27 c 1527s| 6810k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3814k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1671.34/1671.99 c 1529s| 6820k| 236 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3820k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1673.83/1674.46 c 1531s| 6830k| 228 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3826k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1676.33/1676.96 c 1534s| 6840k| 227 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |3832k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1678.63/1679.21 c 1536s| 6850k| 226 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3837k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1681.03/1681.63 c 1538s| 6860k| 229 | 0 | 0.0 | 942k| 277 | - | 299 | 100 | 0 | 0 | 0 |3842k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1683.73/1684.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1683.73/1684.39 c 1540s| 6870k| 235 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3848k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1686.13/1686.74 c 1543s| 6880k| 235 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3853k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1688.63/1689.22 c 1545s| 6890k| 233 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3859k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1690.93/1691.51 c 1547s| 6900k| 233 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3864k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1693.33/1693.93 c 1549s| 6910k| 224 | 0 | 0.0 | 932k| 277 | - | 299 | 100 | 0 | 0 | 0 |3870k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1695.83/1696.40 c 1551s| 6920k| 231 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3875k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1698.12/1698.71 c 1554s| 6930k| 235 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3881k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1700.42/1701.00 c 1556s| 6940k| 224 | 0 | 0.0 | 931k| 277 | - | 299 | 100 | 0 | 0 | 0 |3886k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1702.82/1703.42 c 1558s| 6950k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3891k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1705.43/1706.07 c 1560s| 6960k| 227 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3897k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1707.82/1708.46 c 1562s| 6970k| 233 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |3903k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1710.21/1710.83 c 1565s| 6980k| 232 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3908k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1712.72/1713.37 c 1567s| 6990k| 228 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3914k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1715.12/1715.72 c 1569s| 7000k| 232 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3919k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1717.71/1718.37 c 1571s| 7010k| 233 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3925k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1720.21/1720.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1720.21/1720.82 c 1574s| 7020k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3931k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1722.42/1723.06 c 1576s| 7030k| 228 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |3936k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1725.01/1725.63 c 1578s| 7040k| 228 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |3942k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1727.71/1728.30 c 1580s| 7050k| 233 | 0 | 0.0 | 933k| 277 | - | 299 | 100 | 0 | 0 | 0 |3948k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1730.11/1730.76 c 1583s| 7060k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3953k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1732.71/1733.36 c 1585s| 7070k| 230 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3959k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1735.41/1736.01 c 1588s| 7080k| 229 | 0 | 0.0 | 945k| 277 | - | 299 | 100 | 0 | 0 | 0 |3965k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1738.11/1738.75 c 1590s| 7090k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |3971k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1740.72/1741.39 c 1592s| 7100k| 229 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3977k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1743.30/1743.93 c 1595s| 7110k| 231 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |3982k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1746.01/1746.60 c 1597s| 7120k| 229 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |3988k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1748.61/1749.22 c 1600s| 7130k| 232 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |3994k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1751.20/1751.85 c 1602s| 7140k| 229 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |3999k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1753.82/1754.44 c 1604s| 7150k| 225 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |4005k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1756.40/1757.03 c 1607s| 7160k| 230 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |4011k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1758.90/1759.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1758.90/1759.51 c 1609s| 7170k| 231 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |4017k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1761.40/1762.05 c 1611s| 7180k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |4022k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1764.00/1764.66 c 1614s| 7190k| 233 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |4028k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1766.50/1767.19 c 1616s| 7200k| 229 | 0 | 0.0 | 939k| 277 | - | 299 | 100 | 0 | 0 | 0 |4034k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1769.30/1769.91 c 1619s| 7210k| 227 | 0 | 0.0 | 941k| 277 | - | 299 | 100 | 0 | 0 | 0 |4040k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1772.00/1772.63 c 1621s| 7220k| 231 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |4046k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1774.50/1775.15 c 1623s| 7230k| 227 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |4052k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1776.90/1777.56 c 1626s| 7240k| 226 | 0 | 0.0 | 940k| 277 | - | 299 | 100 | 0 | 0 | 0 |4057k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1779.30/1779.93 c 1628s| 7250k| 232 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |4063k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1781.70/1782.37 c 1630s| 7260k| 235 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |4068k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1784.30/1784.90 c 1632s| 7270k| 234 | 0 | 0.0 | 938k| 277 | - | 299 | 100 | 0 | 0 | 0 |4074k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1786.70/1787.32 c 1635s| 7280k| 228 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |4079k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1789.29/1789.96 c 1637s| 7290k| 234 | 0 | 0.0 | 934k| 277 | - | 299 | 100 | 0 | 0 | 0 |4085k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1791.79/1792.45 c 1639s| 7300k| 229 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |4090k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1794.10/1794.77 c 1641s| 7310k| 227 | 0 | 0.0 | 936k| 277 | - | 299 | 100 | 0 | 0 | 0 |4096k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1796.39/1797.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.39/1797.10 c 1643s| 7320k| 230 | 0 | 0.0 | 937k| 277 | - | 299 | 100 | 0 | 0 | 0 |4101k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1798.79/1799.48 c 1646s| 7330k| 227 | 0 | 0.0 | 935k| 277 | - | 299 | 100 | 0 | 0 | 0 |4107k| 0 | 1.000000e+00 | 2.100000e+01 |2000.00%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1646.70
1800.01/1800.61 c Solving Nodes : 7334727
1800.01/1800.61 c Primal Bound : +2.10000000000000e+01 (6 solutions)
1800.01/1800.61 c Dual Bound : +1.00000000000000e+00
1800.01/1800.61 c Gap : 2000.00 %
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278
1800.01/1800.61 v -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258
1800.01/1800.61 v -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237
1800.01/1800.61 v -x236 x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216
1800.01/1800.61 v -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195
1800.01/1800.61 v -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 x184 -x183 -x182 -x181 -x180 -x179 -x178 x177 x176 -x175 -x174 -x173
1800.01/1800.61 v -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152
1800.01/1800.61 v -x151 -x150 -x149 -x148 x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131
1800.01/1800.61 v -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110
1800.01/1800.61 v -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 x87 -x86
1800.01/1800.61 v -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61
1800.01/1800.61 v -x60 -x59 -x58 -x57 -x56 x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36
1800.01/1800.61 v -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 -x10
1800.01/1800.61 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1646.70
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2664760-1276590166.opb
1800.01/1800.61 c Variables : 299 (299 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 100 initial, 100 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2664760-1276590166.opb
1800.01/1800.61 c Variables : 299 (299 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 100 initial, 100 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c logicor : 100+ 0 12873637 0 3 1961809 15695023 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 3 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c logicor : 416.14 0.00 416.14 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 10.91 2 0 0
1800.01/1800.61 c rootredcost : 10.83 0 0 0
1800.01/1800.61 c pseudoobj : 765.98 23414619 2148369 77614427
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 721.52 4110173 4110173 4110173 162.0 21570 146.5 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 3 3 3 153.0 1 175.0 -
1800.01/1800.61 c applied globally : - - - 0 0.0 - - -
1800.01/1800.61 c applied locally : - - - 4110176 162.0 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.61 c redcost : 0.00 0 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.00 0 0 0 0 0
1800.01/1800.61 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.61 c cmir : 0.00 0 0 0 0 0
1800.01/1800.61 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.61 c clique : 0.00 0 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 0 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 65.20 5348624 0 0 0 0 10697248
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.00 - 3
1800.01/1800.61 c oneopt : 4.86 0 0
1800.01/1800.61 c trivial : 0.00 2 3
1800.01/1800.61 c simplerounding : 0.00 0 0
1800.01/1800.61 c zirounding : 0.00 0 0
1800.01/1800.61 c rounding : 0.00 0 0
1800.01/1800.61 c shifting : 0.00 0 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.00 0 0
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 3.51 0 0
1800.01/1800.61 c trysol : 3.19 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.61 c (at root node) : - 0 0 0.00 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 7334727
1800.01/1800.61 c nodes (total) : 7334727
1800.01/1800.61 c nodes left : 231
1800.01/1800.61 c max depth : 277
1800.01/1800.61 c max depth (total): 277
1800.01/1800.61 c backtracks : 2277189 (31.0%)
1800.01/1800.61 c delayed cutoffs : 3362279
1800.01/1800.61 c repropagations : 5889869 (52502043 domain reductions, 2124081 cutoffs)
1800.01/1800.61 c avg switch length: 2.54
1800.01/1800.61 c switching time : 98.48
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 6 (4 improvements)
1800.01/1800.61 c First Solution : +2.99000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.01/1800.61 c Primal Bound : +2.10000000000000e+01 (in run 1, after 359 nodes, 0.05 seconds, depth 269, found by <relaxation>)
1800.01/1800.61 c Dual Bound : +1.00000000000000e+00
1800.01/1800.61 c Gap : 2000.00 %
1800.01/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.61 c Root Iterations : 0
1800.01/1800.62 c Time complete: 1800.01.
OK 21
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664760-1276590166/watcher-2664760-1276590166 -o /tmp/evaluation-result-2664760-1276590166/solver-2664760-1276590166 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664760-1276590166.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: 2.20 2.09 1.70 3/106 4831 /proc/meminfo: memFree=1834312/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=7612 CPUtime=0 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 1207 0 0 0 0 0 0 0 20 0 1 0 34618206 7794688 1129 1992294400 4194304 7136930 140735858821088 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/4831/statm: 1903 1138 254 719 0 1182 0 [startup+0.030249 s] /proc/loadavg: 2.20 2.09 1.70 3/106 4831 /proc/meminfo: memFree=1834312/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=10740 CPUtime=0.02 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 2876 0 0 0 1 1 0 0 20 0 1 0 34618206 10997760 1931 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 2685 1931 360 719 0 1964 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10740 [startup+0.101262 s] /proc/loadavg: 2.20 2.09 1.70 3/106 4831 /proc/meminfo: memFree=1834312/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=12184 CPUtime=0.1 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3275 0 0 0 8 2 0 0 20 0 1 0 34618206 12476416 2327 1992294400 4194304 7136930 140735858821088 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3046 2327 381 719 0 2325 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 12184 [startup+0.301297 s] /proc/loadavg: 2.20 2.09 1.70 3/106 4831 /proc/meminfo: memFree=1834312/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=12580 CPUtime=0.29 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3353 0 0 0 26 3 0 0 20 0 1 0 34618206 12881920 2405 1992294400 4194304 7136930 140735858821088 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3145 2405 381 719 0 2424 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12580 [startup+0.701369 s] /proc/loadavg: 2.20 2.09 1.70 3/106 4831 /proc/meminfo: memFree=1834312/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=12844 CPUtime=0.69 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3435 0 0 0 62 7 0 0 21 0 1 0 34618206 13152256 2487 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3211 2487 381 719 0 2490 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12844 [startup+1.50151 s] /proc/loadavg: 2.20 2.09 1.70 2/107 4832 /proc/meminfo: memFree=1825500/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=12976 CPUtime=1.49 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3479 0 0 0 135 14 0 0 23 0 1 0 34618206 13287424 2531 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3244 2531 381 719 0 2523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12976 [startup+3.1018 s] /proc/loadavg: 2.10 2.07 1.70 2/107 4832 /proc/meminfo: memFree=1825128/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=13108 CPUtime=3.09 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3510 0 0 0 280 29 0 0 25 0 1 0 34618206 13422592 2562 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3277 2562 381 719 0 2556 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13108 [startup+6.30137 s] /proc/loadavg: 2.10 2.07 1.70 2/107 4832 /proc/meminfo: memFree=1825004/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=13240 CPUtime=6.29 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3532 0 0 0 574 55 0 0 25 0 1 0 34618206 13557760 2584 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3310 2584 381 719 0 2589 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13240 [startup+12.7015 s] /proc/loadavg: 1.93 2.04 1.69 2/107 4832 /proc/meminfo: memFree=1824632/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=13504 CPUtime=12.68 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3586 0 0 0 1157 111 0 0 25 0 1 0 34618206 13828096 2638 1992294400 4194304 7136930 140735858821088 18446744073709551615 5924475 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3376 2638 381 719 0 2655 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13504 [startup+25.5008 s] /proc/loadavg: 1.79 2.00 1.68 2/107 4832 /proc/meminfo: memFree=1824384/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=13636 CPUtime=25.48 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3641 0 0 0 2328 220 0 0 25 0 1 0 34618206 13963264 2693 1992294400 4194304 7136930 140735858821088 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3409 2693 381 719 0 2688 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13636 [startup+51.1014 s] /proc/loadavg: 1.52 1.92 1.66 2/107 4832 /proc/meminfo: memFree=1824012/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14044 CPUtime=51.07 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3746 0 0 0 4679 428 0 0 25 0 1 0 34618206 14381056 2798 1992294400 4194304 7136930 140735858821088 18446744073709551615 4704742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3511 2798 381 719 0 2790 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14044 [startup+102.309 s] /proc/loadavg: 1.21 1.76 1.62 2/107 4834 /proc/meminfo: memFree=1823640/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14316 CPUtime=102.27 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3793 0 0 0 9366 861 0 0 25 0 1 0 34618206 14659584 2845 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3579 2845 381 719 0 2858 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 14316 [startup+162.301 s] /proc/loadavg: 1.08 1.63 1.58 2/107 4836 /proc/meminfo: memFree=1823392/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14316 CPUtime=162.24 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3801 0 0 0 14855 1369 0 0 25 0 1 0 34618206 14659584 2853 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3579 2853 381 719 0 2858 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14316 [startup+222.301 s] /proc/loadavg: 1.10 1.52 1.55 2/107 4838 /proc/meminfo: memFree=1823392/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14456 CPUtime=222.22 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3830 0 0 0 20340 1882 0 0 25 0 1 0 34618206 14802944 2882 1992294400 4194304 7136930 140735858821088 18446744073709551615 4704630 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3614 2882 381 719 0 2893 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 14456 [startup+282.302 s] /proc/loadavg: 1.11 1.45 1.52 2/107 4840 /proc/meminfo: memFree=1823020/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14592 CPUtime=282.2 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3862 0 0 0 25843 2377 0 0 25 0 1 0 34618206 14942208 2914 1992294400 4194304 7136930 140735858821088 18446744073709551615 4350002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3648 2914 381 719 0 2927 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 14592 [startup+342.301 s] /proc/loadavg: 1.10 1.37 1.49 2/107 4840 /proc/meminfo: memFree=1823020/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14592 CPUtime=342.17 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3876 0 0 0 31344 2873 0 0 25 0 1 0 34618206 14942208 2928 1992294400 4194304 7136930 140735858821088 18446744073709551615 5909720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3648 2928 381 719 0 2927 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 14592 [startup+402.301 s] /proc/loadavg: 1.10 1.32 1.46 2/107 4842 /proc/meminfo: memFree=1822772/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14724 CPUtime=402.16 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3897 0 0 0 36825 3391 0 0 25 0 1 0 34618206 15077376 2949 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3681 2949 381 719 0 2960 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 14724 [startup+462.301 s] /proc/loadavg: 1.08 1.27 1.43 2/107 4844 /proc/meminfo: memFree=1822648/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14724 CPUtime=462.14 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3901 0 0 0 42317 3897 0 0 25 0 1 0 34618206 15077376 2953 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3681 2953 381 719 0 2960 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 14724 [startup+522.301 s] /proc/loadavg: 1.08 1.24 1.41 2/107 4846 /proc/meminfo: memFree=1822400/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14724 CPUtime=522.12 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3906 0 0 0 47805 4407 0 0 25 0 1 0 34618206 15077376 2958 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3681 2958 381 719 0 2960 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 14724 [startup+582.3 s] /proc/loadavg: 1.24 1.25 1.40 2/107 4848 /proc/meminfo: memFree=1822400/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14724 CPUtime=582.09 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3916 0 0 0 53299 4910 0 0 25 0 1 0 34618206 15077376 2968 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3681 2968 381 719 0 2960 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 14724 [startup+642.301 s] /proc/loadavg: 1.09 1.20 1.37 2/107 4848 /proc/meminfo: memFree=1822152/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14860 CPUtime=642.08 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3936 0 0 0 58799 5409 0 0 25 0 1 0 34618206 15216640 2988 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3715 2988 382 719 0 2994 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 14860 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.10 1.30 2/107 4854 /proc/meminfo: memFree=1821656/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=822.02 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3958 0 0 0 75257 6945 0 0 25 0 1 0 34618206 15351808 3010 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3010 382 719 0 3027 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 14992 [startup+882.301 s] /proc/loadavg: 1.00 1.08 1.28 2/107 4856 /proc/meminfo: memFree=1821656/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=882 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3960 0 0 0 80748 7452 0 0 25 0 1 0 34618206 15351808 3012 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3012 382 719 0 3027 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 14992 [startup+942.302 s] /proc/loadavg: 1.00 1.07 1.26 2/107 4856 /proc/meminfo: memFree=1821408/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=941.98 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3962 0 0 0 86253 7945 0 0 25 0 1 0 34618206 15351808 3014 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3014 382 719 0 3027 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 14992 [startup+1002.3 s] /proc/loadavg: 1.00 1.05 1.24 2/107 4858 /proc/meminfo: memFree=1821284/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=1001.95 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3965 0 0 0 91754 8441 0 0 25 0 1 0 34618206 15351808 3017 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3017 382 719 0 3027 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 14992 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.22 2/107 4860 /proc/meminfo: memFree=1821284/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=1061.94 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3972 0 0 0 97243 8951 0 0 25 0 1 0 34618206 15351808 3024 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3024 382 719 0 3027 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 14992 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.20 2/107 4862 /proc/meminfo: memFree=1821036/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=1121.92 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3977 0 0 0 102735 9457 0 0 25 0 1 0 34618206 15351808 3029 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3029 382 719 0 3027 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 14992 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.19 2/107 4864 /proc/meminfo: memFree=1820912/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=14992 CPUtime=1181.9 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3981 0 0 0 108218 9972 0 0 25 0 1 0 34618206 15351808 3033 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3748 3033 382 719 0 3027 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 14992 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 4864 /proc/meminfo: memFree=1820788/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1241.88 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3986 0 0 0 113683 10505 0 0 25 0 1 0 34618206 15486976 3038 1992294400 4194304 7136930 140735858821088 18446744073709551615 4349991 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3038 382 719 0 3060 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 15124 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 4866 /proc/meminfo: memFree=1820664/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1301.87 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3989 0 0 0 119161 11026 0 0 25 0 1 0 34618206 15486976 3041 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3041 382 719 0 3060 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 15124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.15 2/107 4868 /proc/meminfo: memFree=1820664/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1361.83 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3991 0 0 0 124659 11524 0 0 25 0 1 0 34618206 15486976 3043 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3043 382 719 0 3060 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 15124 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.14 2/107 4870 /proc/meminfo: memFree=1820416/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1421.83 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 3994 0 0 0 130137 12046 0 0 25 0 1 0 34618206 15486976 3046 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3046 382 719 0 3060 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 15124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 4872 /proc/meminfo: memFree=1820416/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1481.79 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4007 0 0 0 135596 12583 0 0 25 0 1 0 34618206 15486976 3059 1992294400 4194304 7136930 140735858821088 18446744073709551615 5917829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3059 382 719 0 3060 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 15124 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 4872 /proc/meminfo: memFree=1820168/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1541.77 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4012 0 0 0 141052 13125 0 0 25 0 1 0 34618206 15486976 3064 1992294400 4194304 7136930 140735858821088 18446744073709551615 5921700 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3064 382 719 0 3060 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 15124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 4874 /proc/meminfo: memFree=1820168/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1601.76 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4017 0 0 0 146533 13643 0 0 25 0 1 0 34618206 15486976 3069 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3069 382 719 0 3060 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 15124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 4876 /proc/meminfo: memFree=1820044/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1661.74 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4018 0 0 0 152026 14148 0 0 25 0 1 0 34618206 15486976 3070 1992294400 4194304 7136930 140735858821088 18446744073709551615 4704248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3070 382 719 0 3060 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 15124 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 4878 /proc/meminfo: memFree=1819920/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15124 CPUtime=1721.72 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4018 0 0 0 157502 14670 0 0 25 0 1 0 34618206 15486976 3070 1992294400 4194304 7136930 140735858821088 18446744073709551615 4434043 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3781 3070 382 719 0 3060 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 15124 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 4880 /proc/meminfo: memFree=1819548/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15260 CPUtime=1781.7 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4020 0 0 0 162997 15173 0 0 25 0 1 0 34618206 15626240 3072 1992294400 4194304 7136930 140735858821088 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3815 3072 382 719 0 3094 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 15260 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.08 2/107 4880 /proc/meminfo: memFree=1819548/2059040 swapFree=4136716/4192956 [pid=4831] ppid=4829 vsize=15260 CPUtime=1800.01 /proc/4831/stat : 4831 (pbscip.linux.x8) R 4829 4831 4008 0 -1 4202496 4022 0 0 0 164671 15330 0 0 25 0 1 0 34618206 15626240 3074 1992294400 4194304 7136930 140735858821088 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4831/statm: 3815 3074 382 719 0 3094 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 15260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.02 CPU user time (s): 1646.72 CPU system time (s): 153.307 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 15260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1646.72 system time used= 153.307 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1 involuntary context switches= 22725 runsolver used 3.14352 second user time and 8.38373 second system time The end
Begin job on node012 at 2010-06-15 10:22:46 IDJOB=2664760 IDBENCH=2844 IDSOLVER=1167 FILE ID=node012/2664760-1276590166 PBS_JOBID= 11173536 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_20.r.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-2664760-1276590166/watcher-2664760-1276590166 -o /tmp/evaluation-result-2664760-1276590166/solver-2664760-1276590166 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664760-1276590166.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e82b2413101b8c36ea34c3d9f95f4ad5 RANDOM SEED=1974188768 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: 1834840 kB Buffers: 40692 kB Cached: 103464 kB SwapCached: 9420 kB Active: 93068 kB Inactive: 64100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834840 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 3264 kB Writeback: 0 kB AnonPages: 11544 kB Mapped: 9396 kB Slab: 45140 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180996 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= 62584 MiB End job on node012 at 2010-06-15 10:52:49