Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 42 | 1800.07 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m200_500_10_10.r.opb |
| MD5SUM | 9ce5413471f93025df24c6fa43fb2680 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1719.32 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 39 |
| Optimality of the best value was proved | NO |
| Number of variables | 492 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 200 |
| 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 | 10 |
| Number of terms in the objective function | 492 |
| 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 | 492 |
| 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 | 492 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665517-1276595219.opb>
0.00/0.01 c original problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 492
0.00/0.02 c feasible solution found by trivial heuristic, objective value 4.920000e+02
0.00/0.02 c presolving:
0.00/0.03 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 200 upgd conss, 0 impls, 0 clqs
0.03/0.04 c (0.0s) probing: 101/492 (20.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.03/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.03/0.04 c presolving (2 rounds):
0.03/0.04 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.03/0.04 c 0 implications, 0 cliques
0.03/0.04 c presolved problem has 492 variables (492 bin, 0 int, 0 impl, 0 cont) and 200 constraints
0.03/0.04 c 200 constraints of type <logicor>
0.03/0.04 c transformed objective value is always integral (scale: 1)
0.03/0.04 c Presolving Time: 0.01
0.03/0.04 c - non default parameters ----------------------------------------------------------------------
0.03/0.04 c # SCIP version 1.2.1.2
0.03/0.04 c
0.03/0.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.03/0.04 c conflict/interconss = 0
0.03/0.04 c
0.03/0.04 c # should binary conflicts be preferred?
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c conflict/preferbinary = TRUE
0.03/0.04 c
0.03/0.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 0]
0.03/0.04 c constraints/agelimit = 1
0.03/0.04 c
0.03/0.04 c # should enforcement of pseudo solution be disabled?
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/disableenfops = TRUE
0.03/0.04 c
0.03/0.04 c # frequency for displaying node information lines
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.03/0.04 c display/freq = 10000
0.03/0.04 c
0.03/0.04 c # maximal time in seconds to run
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/time = 1799.99
0.03/0.04 c
0.03/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.03/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.03/0.04 c limits/memory = 1620
0.03/0.04 c
0.03/0.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.03/0.04 c # [type: int, range: [-1,2147483647], default: 1]
0.03/0.04 c lp/solvefreq = 0
0.03/0.04 c
0.03/0.04 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.03/0.04 c # [type: char, range: {lafpsqd}, default: l]
0.03/0.04 c lp/pricing = a
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify inequalities
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/linear/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # should presolving try to simplify knapsacks
0.03/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.03/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.03/0.04 c
0.03/0.04 c # priority of node selection rule <dfs> in standard mode
0.03/0.04 c # [type: int, range: [-536870912,536870911], default: 0]
0.03/0.04 c nodeselection/dfs/stdpriority = 1000000
0.03/0.04 c
0.03/0.04 c -----------------------------------------------------------------------------------------------
0.03/0.04 c start solving
0.03/0.04 c
0.09/0.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.11 c t 0.1s| 1 | 0 | 502 | - |1397k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 4.920000e+02 |1366.21%
0.09/0.11 o 153
0.09/0.11 c r 0.1s| 1 | 0 | 502 | - |1410k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.530000e+02 | 355.95%
0.09/0.12 o 152
0.09/0.12 c R 0.1s| 1 | 0 | 502 | - |1424k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.520000e+02 | 352.97%
0.09/0.12 o 151
0.09/0.12 c s 0.1s| 1 | 0 | 502 | - |1437k| 0 | 153 | 492 | 200 | 492 | 200 | 0 | 0 | 0 | 3.355595e+01 | 1.510000e+02 | 349.99%
0.19/0.27 c 0.2s| 1 | 0 | 558 | - |3777k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 1.510000e+02 | 349.46%
0.19/0.27 o 51
0.19/0.27 c b 0.2s| 1 | 0 | 558 | - |3790k| 0 | 155 | 492 | 200 | 492 | 201 | 1 | 0 | 0 | 3.359618e+01 | 5.100000e+01 | 51.80%
0.39/0.42 c 0.4s| 1 | 0 | 603 | - |6130k| 0 | 153 | 492 | 200 | 492 | 202 | 2 | 0 | 0 | 3.361575e+01 | 5.100000e+01 | 51.71%
0.49/0.58 c 0.5s| 1 | 0 | 650 | - |7867k| 0 | 157 | 492 | 200 | 492 | 203 | 3 | 0 | 0 | 3.363284e+01 | 5.100000e+01 | 51.64%
0.69/0.72 c 0.7s| 1 | 0 | 703 | - |8563k| 0 | 156 | 492 | 200 | 492 | 204 | 4 | 0 | 0 | 3.363942e+01 | 5.100000e+01 | 51.61%
0.79/0.86 c 0.8s| 1 | 0 | 735 | - |8704k| 0 | 158 | 492 | 200 | 492 | 205 | 5 | 0 | 0 | 3.364335e+01 | 5.100000e+01 | 51.59%
1.00/1.00 c 1.0s| 1 | 0 | 765 | - |8776k| 0 | 158 | 492 | 200 | 492 | 206 | 6 | 0 | 0 | 3.364474e+01 | 5.100000e+01 | 51.58%
1.10/1.16 c 1.1s| 1 | 0 | 801 | - |8793k| 0 | 157 | 492 | 200 | 492 | 207 | 7 | 0 | 0 | 3.364552e+01 | 5.100000e+01 | 51.58%
1.29/1.31 c 1.3s| 1 | 0 | 848 | - |8810k| 0 | 152 | 492 | 200 | 492 | 208 | 8 | 0 | 0 | 3.364768e+01 | 5.100000e+01 | 51.57%
1.29/1.36 c 1.3s| 1 | 0 | 883 | - |8826k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 5.100000e+01 | 51.57%
7.79/7.82 o 42
7.79/7.82 c E 7.4s| 1 | 0 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.200000e+01 | 24.82%
7.79/7.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.79/7.83 c 7.4s| 1 | 0 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 0 | 3.364868e+01 | 4.200000e+01 | 24.82%
8.98/9.03 c 8.6s| 1 | 2 | 883 | - |8852k| 0 | 153 | 492 | 200 | 492 | 209 | 9 | 0 | 22 | 3.364868e+01 | 4.200000e+01 | 24.82%
12.19/12.25 c 11.7s| 10000 | 411 | 883 | 0.0 |9135k| 426 | - | 492 | 200 | 0 | 0 | 9 |5649 | 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
15.58/15.67 c 14.9s| 20000 | 409 | 883 | 0.0 |9134k| 426 | - | 492 | 200 | 0 | 0 | 9 | 11k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
18.98/19.03 c 18.1s| 30000 | 406 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 17k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
22.38/22.43 c 21.2s| 40000 | 405 | 883 | 0.0 |9139k| 426 | - | 492 | 200 | 0 | 0 | 9 | 23k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
25.78/25.83 c 24.4s| 50000 | 403 | 883 | 0.0 |9140k| 426 | - | 492 | 200 | 0 | 0 | 9 | 29k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
29.28/29.32 c 27.6s| 60000 | 400 | 883 | 0.0 |9154k| 426 | - | 492 | 200 | 0 | 0 | 9 | 35k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
32.78/32.82 c 30.9s| 70000 | 401 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 41k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
36.08/36.12 c 34.0s| 80000 | 400 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 47k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
39.58/39.64 c 37.4s| 90000 | 400 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 52k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
43.08/43.16 c 40.6s|100000 | 401 | 883 | 0.0 |9149k| 426 | - | 492 | 200 | 0 | 0 | 9 | 58k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
46.58/46.64 c 43.9s|110000 | 402 | 883 | 0.0 |9141k| 426 | - | 492 | 200 | 0 | 0 | 9 | 64k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
49.97/50.08 c 47.1s|120000 | 401 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 70k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
53.37/53.46 c 50.3s|130000 | 400 | 883 | 0.0 |9142k| 426 | - | 492 | 200 | 0 | 0 | 9 | 76k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
56.87/56.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.87/56.96 c 53.6s|140000 | 399 | 883 | 0.0 |9149k| 426 | - | 492 | 200 | 0 | 0 | 9 | 82k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
60.38/60.50 c 56.9s|150000 | 398 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 88k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
63.87/63.90 c 60.0s|160000 | 398 | 883 | 0.0 |9153k| 426 | - | 492 | 200 | 0 | 0 | 9 | 94k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
67.27/67.35 c 63.3s|170000 | 396 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
70.57/70.65 c 66.3s|180000 | 396 | 883 | 0.0 |9148k| 426 | - | 492 | 200 | 0 | 0 | 9 | 105k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
73.97/74.09 c 69.6s|190000 | 396 | 883 | 0.0 |9151k| 426 | - | 492 | 200 | 0 | 0 | 9 | 111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
77.47/77.58 c 72.8s|200000 | 398 | 883 | 0.0 |9144k| 426 | - | 492 | 200 | 0 | 0 | 9 | 117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
80.87/80.97 c 76.0s|210000 | 398 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
84.27/84.37 c 79.2s|220000 | 397 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
87.56/87.60 c 82.2s|230000 | 397 | 883 | 0.0 |9152k| 426 | - | 492 | 200 | 0 | 0 | 9 | 135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
91.06/91.13 c 85.5s|240000 | 397 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
94.76/94.81 c 89.0s|250000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 146k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
98.16/98.26 c 92.2s|260000 | 398 | 883 | 0.0 |9152k| 426 | - | 492 | 200 | 0 | 0 | 9 | 152k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
101.76/101.87 c 95.6s|270000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
105.06/105.11 c 98.6s|280000 | 395 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
108.55/108.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
108.55/108.69 c 102s|290000 | 395 | 883 | 0.0 |9156k| 426 | - | 492 | 200 | 0 | 0 | 9 | 170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
112.06/112.15 c 105s|300000 | 394 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 175k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
115.55/115.62 c 108s|310000 | 397 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 181k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
119.16/119.25 c 112s|320000 | 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 187k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
123.06/123.14 c 116s|330000 | 395 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 | 193k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
126.95/127.01 c 119s|340000 | 395 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
130.45/130.50 c 122s|350000 | 395 | 883 | 0.0 |9154k| 426 | - | 492 | 200 | 0 | 0 | 9 | 205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
133.95/134.03 c 126s|360000 | 393 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
137.84/137.92 c 129s|370000 | 394 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
141.25/141.37 c 133s|380000 | 394 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 222k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
144.54/144.67 c 136s|390000 | 393 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 228k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
148.36/148.46 c 139s|400000 | 395 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 234k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
151.75/151.83 c 142s|410000 | 393 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 240k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
155.05/155.10 c 146s|420000 | 394 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 246k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
158.55/158.67 c 149s|430000 | 394 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 252k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
162.04/162.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
162.04/162.12 c 152s|440000 | 392 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 257k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
165.44/165.50 c 155s|450000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 263k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
168.74/168.86 c 158s|460000 | 394 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 269k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
172.24/172.30 c 162s|470000 | 396 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 275k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
175.63/175.75 c 165s|480000 | 391 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 281k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
178.93/179.08 c 168s|490000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 287k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
182.44/182.59 c 171s|500000 | 393 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 293k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
186.04/186.14 c 175s|510000 | 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 299k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
189.54/189.61 c 178s|520000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 305k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
192.94/193.00 c 181s|530000 | 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 310k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
196.34/196.46 c 184s|540000 | 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 316k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
199.73/199.80 c 188s|550000 | 394 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 322k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
203.03/203.15 c 191s|560000 | 394 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 328k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
206.63/206.75 c 194s|570000 | 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 334k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
210.33/210.46 c 198s|580000 | 390 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 340k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
213.93/214.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
213.93/214.02 c 201s|590000 | 395 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 346k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
217.32/217.41 c 204s|600000 | 393 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 352k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
220.93/221.02 c 207s|610000 | 391 | 883 | 0.0 |9157k| 426 | - | 492 | 200 | 0 | 0 | 9 | 358k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
224.73/224.83 c 211s|620000 | 393 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 | 364k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
228.32/228.44 c 214s|630000 | 395 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 370k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
232.03/232.12 c 218s|640000 | 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 376k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
235.33/235.50 c 221s|650000 | 392 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 381k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
238.92/239.06 c 224s|660000 | 389 | 883 | 0.0 |9155k| 426 | - | 492 | 200 | 0 | 0 | 9 | 387k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
242.52/242.67 c 228s|670000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 393k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
246.41/246.50 c 231s|680000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 399k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
250.11/250.29 c 235s|690000 | 395 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 405k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
253.51/253.69 c 238s|700000 | 393 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 411k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
257.02/257.13 c 241s|710000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 417k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
260.52/260.70 c 245s|720000 | 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 423k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
264.11/264.21 c 248s|730000 | 396 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 429k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
267.62/267.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
267.62/267.74 c 251s|740000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 435k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
271.01/271.18 c 254s|750000 | 392 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 440k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
274.61/274.71 c 258s|760000 | 394 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 446k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
278.00/278.11 c 261s|770000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 452k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
281.71/281.86 c 264s|780000 | 394 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 458k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
285.21/285.38 c 268s|790000 | 392 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 463k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
288.60/288.77 c 271s|800000 | 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 469k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
292.31/292.47 c 274s|810000 | 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 475k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
295.90/296.02 c 278s|820000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 481k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
299.71/299.81 c 281s|830000 | 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 487k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
303.30/303.48 c 285s|840000 | 392 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 492k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
307.00/307.16 c 288s|850000 | 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 498k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
310.50/310.64 c 291s|860000 | 392 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 504k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
314.00/314.19 c 295s|870000 | 391 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 510k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
317.49/317.66 c 298s|880000 | 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 516k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
321.30/321.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.30/321.40 c 302s|890000 | 392 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 522k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
325.10/325.23 c 305s|900000 | 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 528k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
328.90/329.02 c 309s|910000 | 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 535k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
332.50/332.68 c 312s|920000 | 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 540k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
336.10/336.27 c 315s|930000 | 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 546k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
340.29/340.43 c 319s|940000 | 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 552k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
343.99/344.10 c 323s|950000 | 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 558k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
347.59/347.78 c 326s|960000 | 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 564k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
350.99/351.19 c 330s|970000 | 394 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 570k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
354.59/354.71 c 333s|980000 | 392 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 576k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
357.88/358.07 c 336s|990000 | 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 582k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
361.48/361.62 c 339s| 1000k| 393 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 588k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
364.88/365.04 c 342s| 1010k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 593k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
368.39/368.59 c 346s| 1020k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 599k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
371.98/372.16 c 349s| 1030k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 | 605k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
375.48/375.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.48/375.62 c 352s| 1040k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 611k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
378.88/379.09 c 356s| 1050k| 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 617k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
382.18/382.33 c 359s| 1060k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 623k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
385.78/385.98 c 362s| 1070k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 629k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
389.29/389.41 c 365s| 1080k| 390 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 635k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
392.58/392.79 c 368s| 1090k| 388 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 641k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
395.97/396.16 c 372s| 1100k| 391 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 646k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
399.77/399.90 c 375s| 1110k| 391 | 883 | 0.0 |9160k| 426 | - | 492 | 200 | 0 | 0 | 9 | 652k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
403.08/403.28 c 378s| 1120k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 658k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
406.67/406.83 c 382s| 1130k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 664k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
410.07/410.27 c 385s| 1140k| 389 | 883 | 0.0 |9159k| 426 | - | 492 | 200 | 0 | 0 | 9 | 670k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
413.67/413.84 c 388s| 1150k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 676k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
417.27/417.48 c 392s| 1160k| 392 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 682k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
420.66/420.88 c 395s| 1170k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 688k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
424.17/424.40 c 398s| 1180k| 392 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 694k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
427.77/427.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
427.77/427.98 c 401s| 1190k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 700k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
431.46/431.62 c 405s| 1200k| 398 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 706k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
435.47/435.68 c 409s| 1210k| 390 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 711k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
439.06/439.25 c 412s| 1220k| 389 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 717k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
442.47/442.60 c 415s| 1230k| 391 | 883 | 0.0 |9162k| 426 | - | 492 | 200 | 0 | 0 | 9 | 723k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
446.16/446.32 c 419s| 1240k| 396 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 729k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
449.86/450.07 c 422s| 1250k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 735k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
453.66/453.84 c 426s| 1260k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 741k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
457.56/457.70 c 429s| 1270k| 390 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 747k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
460.95/461.19 c 433s| 1280k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 753k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
464.46/464.64 c 436s| 1290k| 392 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 759k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
467.75/467.95 c 439s| 1300k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 765k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
471.16/471.31 c 442s| 1310k| 389 | 883 | 0.0 |9161k| 426 | - | 492 | 200 | 0 | 0 | 9 | 771k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
474.76/474.94 c 445s| 1320k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 776k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
478.55/478.72 c 449s| 1330k| 389 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 782k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
482.05/482.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.05/482.29 c 452s| 1340k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 788k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
485.85/486.07 c 456s| 1350k| 390 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 794k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
489.64/489.86 c 460s| 1360k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 800k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
493.75/493.93 c 463s| 1370k| 387 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 | 806k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
497.65/497.84 c 467s| 1380k| 388 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 | 811k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
501.35/501.56 c 471s| 1390k| 387 | 883 | 0.0 |9158k| 426 | - | 492 | 200 | 0 | 0 | 9 | 817k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
504.84/505.08 c 474s| 1400k| 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 823k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
508.35/508.50 c 477s| 1410k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 829k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
511.74/511.92 c 480s| 1420k| 393 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 | 835k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
515.14/515.37 c 483s| 1430k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 841k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
518.54/518.73 c 487s| 1440k| 394 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 | 847k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
521.94/522.16 c 490s| 1450k| 391 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 | 853k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
525.34/525.59 c 493s| 1460k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 859k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
528.85/529.05 c 496s| 1470k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 865k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
532.33/532.50 c 500s| 1480k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 | 871k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
535.73/535.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
535.73/535.96 c 503s| 1490k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 877k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
538.93/539.11 c 506s| 1500k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 882k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
542.14/542.33 c 509s| 1510k| 389 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 888k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
545.53/545.70 c 512s| 1520k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 894k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
548.74/548.91 c 515s| 1530k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 | 900k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
552.13/552.40 c 518s| 1540k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 906k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
555.63/555.83 c 521s| 1550k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 912k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
558.93/559.18 c 524s| 1560k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 | 918k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
562.53/562.70 c 528s| 1570k| 394 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 924k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
565.83/566.00 c 531s| 1580k| 391 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 930k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
569.22/569.44 c 534s| 1590k| 387 | 883 | 0.0 |9163k| 426 | - | 492 | 200 | 0 | 0 | 9 | 936k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
572.53/572.71 c 537s| 1600k| 394 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 | 942k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
575.82/576.09 c 540s| 1610k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 948k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
579.12/579.37 c 543s| 1620k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 | 954k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
582.62/582.80 c 547s| 1630k| 390 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 | 960k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
585.92/586.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
585.92/586.14 c 550s| 1640k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 966k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
589.22/589.49 c 553s| 1650k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 | 972k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
592.52/592.74 c 556s| 1660k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 | 977k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
595.82/596.10 c 559s| 1670k| 393 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 | 983k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
599.33/599.54 c 562s| 1680k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 | 989k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
602.62/602.82 c 565s| 1690k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 | 995k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
605.92/606.17 c 568s| 1700k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1001k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
609.31/609.53 c 572s| 1710k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1007k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
612.81/613.02 c 575s| 1720k| 387 | 883 | 0.0 |9164k| 426 | - | 492 | 200 | 0 | 0 | 9 |1012k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
616.22/616.42 c 578s| 1730k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1019k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
619.51/619.72 c 581s| 1740k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1024k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
622.72/622.98 c 584s| 1750k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1030k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
626.01/626.21 c 587s| 1760k| 389 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1036k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
629.11/629.32 c 590s| 1770k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1042k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
632.11/632.31 c 593s| 1780k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1047k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
635.11/635.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
635.11/635.33 c 596s| 1790k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1053k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
638.21/638.43 c 599s| 1800k| 389 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1059k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
641.41/641.65 c 602s| 1810k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1065k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
644.60/644.87 c 605s| 1820k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1071k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
647.81/648.01 c 608s| 1830k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1076k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
650.80/651.07 c 610s| 1840k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1082k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
654.10/654.34 c 613s| 1850k| 392 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1088k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
657.51/657.75 c 617s| 1860k| 394 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1094k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
660.70/660.97 c 620s| 1870k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
664.20/664.43 c 623s| 1880k| 396 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1105k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
667.60/667.86 c 626s| 1890k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
671.10/671.31 c 629s| 1900k| 392 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
674.60/674.90 c 633s| 1910k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
678.00/678.21 c 636s| 1920k| 392 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
681.30/681.57 c 639s| 1930k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
684.70/684.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
684.70/684.93 c 642s| 1940k| 394 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
687.99/688.28 c 645s| 1950k| 395 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1147k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
691.39/691.63 c 648s| 1960k| 394 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1153k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
694.79/695.08 c 652s| 1970k| 391 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
698.29/698.52 c 655s| 1980k| 395 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
701.69/701.90 c 658s| 1990k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
705.08/705.35 c 661s| 2000k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1176k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
708.49/708.77 c 664s| 2010k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1182k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
711.89/712.14 c 667s| 2020k| 391 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1188k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
715.28/715.54 c 671s| 2030k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1194k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
718.48/718.75 c 674s| 2040k| 393 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
721.88/722.10 c 677s| 2050k| 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
725.18/725.42 c 680s| 2060k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
728.38/728.68 c 683s| 2070k| 392 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
731.48/731.79 c 686s| 2080k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1223k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
734.59/734.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
734.59/734.87 c 689s| 2090k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1229k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
737.88/738.15 c 692s| 2100k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1235k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
741.19/741.48 c 695s| 2110k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1241k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
744.58/744.80 c 698s| 2120k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1247k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
748.07/748.39 c 701s| 2130k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1253k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
751.77/752.01 c 705s| 2140k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1259k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
755.28/755.52 c 708s| 2150k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1265k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
758.77/759.05 c 711s| 2160k| 388 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1271k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
762.17/762.47 c 714s| 2170k| 389 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1277k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
765.67/765.90 c 718s| 2180k| 387 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1283k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
768.87/769.19 c 721s| 2190k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1289k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
772.37/772.68 c 724s| 2200k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1295k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
775.77/776.01 c 727s| 2210k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1301k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
779.06/779.38 c 730s| 2220k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1307k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
782.46/782.79 c 733s| 2230k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1313k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
785.86/786.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
785.86/786.16 c 737s| 2240k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1319k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
789.57/789.88 c 740s| 2250k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1325k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
793.17/793.47 c 743s| 2260k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1331k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
796.86/797.11 c 747s| 2270k| 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1337k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
800.66/800.97 c 750s| 2280k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1343k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
804.36/804.63 c 754s| 2290k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1349k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
807.95/808.28 c 757s| 2300k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1354k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
811.46/811.78 c 761s| 2310k| 393 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |1360k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
815.35/815.66 c 764s| 2320k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1366k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
819.05/819.34 c 768s| 2330k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1372k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
822.65/822.95 c 771s| 2340k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1378k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
826.15/826.46 c 775s| 2350k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1384k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
829.45/829.79 c 778s| 2360k| 395 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1390k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
832.75/833.06 c 781s| 2370k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1395k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
836.55/836.81 c 784s| 2380k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |1401k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
839.95/840.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
839.95/840.24 c 787s| 2390k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1407k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
843.44/843.71 c 791s| 2400k| 392 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1413k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
846.83/847.14 c 794s| 2410k| 392 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1419k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
850.33/850.61 c 797s| 2420k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1425k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
853.93/854.29 c 801s| 2430k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1431k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
857.53/857.84 c 804s| 2440k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1436k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
861.22/861.58 c 807s| 2450k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1442k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
864.62/864.95 c 811s| 2460k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1448k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
868.13/868.45 c 814s| 2470k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1454k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
871.62/871.95 c 817s| 2480k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1460k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
875.12/875.40 c 820s| 2490k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1466k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
878.73/879.01 c 824s| 2500k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1472k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
882.23/882.57 c 827s| 2510k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1478k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
885.81/886.12 c 830s| 2520k| 387 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1484k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
889.02/889.39 c 833s| 2530k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1490k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
892.31/892.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.31/892.66 c 836s| 2540k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1496k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
895.51/895.85 c 839s| 2550k| 389 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1502k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
898.82/899.19 c 843s| 2560k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1508k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
902.51/902.85 c 846s| 2570k| 392 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1514k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
906.11/906.47 c 849s| 2580k| 392 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1519k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
909.91/910.22 c 853s| 2590k| 389 | 883 | 0.0 |9187k| 426 | - | 492 | 200 | 0 | 0 | 9 |1525k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
913.51/913.83 c 856s| 2600k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1531k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
917.01/917.37 c 860s| 2610k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1537k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
920.50/920.85 c 863s| 2620k| 388 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1543k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
923.80/924.11 c 866s| 2630k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1548k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
927.10/927.44 c 869s| 2640k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1554k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
930.41/930.71 c 872s| 2650k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1560k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
933.61/933.93 c 875s| 2660k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1566k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
937.00/937.35 c 878s| 2670k| 386 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1572k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
940.60/940.90 c 882s| 2680k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1577k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
944.20/944.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.20/944.53 c 885s| 2690k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1583k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
947.81/948.17 c 888s| 2700k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1589k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
951.39/951.71 c 892s| 2710k| 392 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1595k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
954.79/955.19 c 895s| 2720k| 393 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1601k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
958.39/958.71 c 898s| 2730k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1607k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
962.10/962.40 c 902s| 2740k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1613k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
965.59/965.95 c 905s| 2750k| 388 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1619k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
969.09/969.46 c 908s| 2760k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1625k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
972.69/973.06 c 912s| 2770k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1630k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
975.99/976.36 c 915s| 2780k| 392 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1636k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
979.89/980.28 c 919s| 2790k| 389 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1642k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
983.68/984.08 c 922s| 2800k| 390 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1648k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
987.29/987.65 c 925s| 2810k| 390 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1654k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
991.08/991.40 c 929s| 2820k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1660k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
994.79/995.10 c 932s| 2830k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1665k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
998.28/998.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
998.28/998.60 c 936s| 2840k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1671k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1001.69/1002.09 c 939s| 2850k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1677k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1004.98/1005.34 c 942s| 2860k| 389 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1683k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1008.38/1008.74 c 945s| 2870k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1689k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1011.58/1011.99 c 948s| 2880k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1695k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1014.88/1015.26 c 951s| 2890k| 391 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1701k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1018.37/1018.79 c 955s| 2900k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1706k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1021.67/1022.06 c 958s| 2910k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1712k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1024.96/1025.35 c 961s| 2920k| 391 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |1718k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1028.17/1028.59 c 964s| 2930k| 391 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1724k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1031.37/1031.74 c 967s| 2940k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1730k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1034.67/1035.03 c 970s| 2950k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1735k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1037.97/1038.36 c 973s| 2960k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1741k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1041.46/1041.81 c 976s| 2970k| 391 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1747k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1044.86/1045.21 c 979s| 2980k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |1753k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1048.26/1048.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1048.26/1048.61 c 982s| 2990k| 389 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1759k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1051.56/1051.97 c 986s| 3000k| 386 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1765k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1055.36/1055.73 c 989s| 3010k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1771k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1058.87/1059.27 c 992s| 3020k| 391 | 883 | 0.0 |9186k| 426 | - | 492 | 200 | 0 | 0 | 9 |1776k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1062.36/1062.76 c 996s| 3030k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1782k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1066.06/1066.46 c 999s| 3040k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |1788k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1069.46/1069.88 c 1002s| 3050k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1794k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1072.96/1073.39 c 1006s| 3060k| 387 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1800k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1076.66/1077.03 c 1009s| 3070k| 392 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |1806k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1080.05/1080.50 c 1012s| 3080k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1811k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1083.65/1084.00 c 1016s| 3090k| 393 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1817k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1087.15/1087.59 c 1019s| 3100k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1823k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1090.35/1090.78 c 1022s| 3110k| 394 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1829k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1093.44/1093.84 c 1025s| 3120k| 388 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1835k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1097.14/1097.57 c 1028s| 3130k| 393 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1841k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1100.85/1101.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.85/1101.23 c 1032s| 3140k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1847k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1104.34/1104.75 c 1035s| 3150k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1853k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1107.75/1108.13 c 1038s| 3160k| 393 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |1858k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1111.14/1111.55 c 1041s| 3170k| 387 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1864k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1114.84/1115.21 c 1045s| 3180k| 391 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |1870k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1118.44/1118.81 c 1048s| 3190k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |1876k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1121.74/1122.13 c 1051s| 3200k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1882k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1124.94/1125.35 c 1054s| 3210k| 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1887k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1128.53/1128.92 c 1058s| 3220k| 390 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |1893k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1131.84/1132.26 c 1061s| 3230k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |1899k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1135.33/1135.70 c 1064s| 3240k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |1905k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1138.74/1139.14 c 1067s| 3250k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |1910k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1142.04/1142.46 c 1070s| 3260k| 388 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1916k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1145.33/1145.78 c 1073s| 3270k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1922k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1148.73/1149.13 c 1076s| 3280k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |1928k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1152.22/1152.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1152.22/1152.68 c 1080s| 3290k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1934k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1155.64/1156.00 c 1083s| 3300k| 398 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1940k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1159.03/1159.47 c 1086s| 3310k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |1946k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1162.52/1162.95 c 1089s| 3320k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |1952k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1166.03/1166.45 c 1093s| 3330k| 391 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1958k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1169.52/1169.93 c 1096s| 3340k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |1964k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1172.92/1173.37 c 1099s| 3350k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1969k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1176.42/1176.85 c 1102s| 3360k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1975k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1179.93/1180.39 c 1106s| 3370k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |1981k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1184.02/1184.43 c 1110s| 3380k| 390 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |1987k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1187.71/1188.17 c 1113s| 3390k| 387 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |1993k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1191.71/1192.18 c 1117s| 3400k| 391 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |1999k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1195.71/1196.12 c 1121s| 3410k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2005k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1199.41/1199.85 c 1124s| 3420k| 389 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2011k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1203.31/1203.75 c 1128s| 3430k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2017k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1207.01/1207.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1207.01/1207.46 c 1131s| 3440k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2023k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1210.72/1211.12 c 1135s| 3450k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2029k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1214.41/1214.87 c 1138s| 3460k| 394 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2035k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1218.11/1218.56 c 1142s| 3470k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2041k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1222.11/1222.55 c 1145s| 3480k| 388 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2047k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1225.81/1226.26 c 1149s| 3490k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2053k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1229.41/1229.84 c 1152s| 3500k| 391 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2059k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1233.10/1233.54 c 1156s| 3510k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2065k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1236.71/1237.12 c 1159s| 3520k| 393 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2071k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1240.20/1240.65 c 1162s| 3530k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2076k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1243.89/1244.37 c 1166s| 3540k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2082k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1247.50/1247.98 c 1169s| 3550k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2088k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1251.00/1251.40 c 1172s| 3560k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2094k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1254.50/1254.92 c 1176s| 3570k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2100k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1258.30/1258.70 c 1179s| 3580k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2106k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1262.20/1262.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1262.20/1262.61 c 1183s| 3590k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2111k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1265.90/1266.33 c 1187s| 3600k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2117k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1269.59/1270.08 c 1190s| 3610k| 387 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2123k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1273.20/1273.69 c 1193s| 3620k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2129k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1276.70/1277.20 c 1197s| 3630k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2135k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1279.89/1280.40 c 1200s| 3640k| 387 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2141k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1283.39/1283.81 c 1203s| 3650k| 386 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2147k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1286.99/1287.45 c 1206s| 3660k| 385 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2152k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1290.69/1291.10 c 1210s| 3670k| 391 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2158k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1294.29/1294.73 c 1213s| 3680k| 393 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2164k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1297.88/1298.31 c 1216s| 3690k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2170k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1301.38/1301.82 c 1220s| 3700k| 386 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |2176k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1304.78/1305.21 c 1223s| 3710k| 393 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2182k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1308.28/1308.72 c 1226s| 3720k| 395 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2188k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1312.18/1312.61 c 1230s| 3730k| 388 | 883 | 0.0 |9186k| 426 | - | 492 | 200 | 0 | 0 | 9 |2193k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1316.08/1316.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1316.08/1316.54 c 1234s| 3740k| 390 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2199k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1319.49/1319.90 c 1237s| 3750k| 391 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2205k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1322.89/1323.35 c 1240s| 3760k| 388 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2211k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1326.18/1326.69 c 1243s| 3770k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2217k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1330.07/1330.55 c 1247s| 3780k| 388 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2223k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1333.58/1334.06 c 1250s| 3790k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2229k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1337.08/1337.52 c 1253s| 3800k| 392 | 883 | 0.0 |9184k| 426 | - | 492 | 200 | 0 | 0 | 9 |2235k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1340.38/1340.89 c 1256s| 3810k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2240k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1343.68/1344.15 c 1259s| 3820k| 387 | 883 | 0.0 |9185k| 426 | - | 492 | 200 | 0 | 0 | 9 |2246k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1347.37/1347.88 c 1263s| 3830k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2252k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1351.38/1351.82 c 1267s| 3840k| 393 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2258k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1354.96/1355.44 c 1270s| 3850k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2264k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1358.47/1358.93 c 1273s| 3860k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2269k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1361.96/1362.42 c 1277s| 3870k| 391 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2275k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1365.36/1365.84 c 1280s| 3880k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2281k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1368.85/1369.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.85/1369.30 c 1283s| 3890k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2287k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1372.36/1372.86 c 1286s| 3900k| 390 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |2293k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1375.96/1376.45 c 1290s| 3910k| 386 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2299k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1379.26/1379.72 c 1293s| 3920k| 389 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2305k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1382.65/1383.18 c 1296s| 3930k| 387 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2310k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1386.45/1386.96 c 1300s| 3940k| 392 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2316k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1390.26/1390.71 c 1303s| 3950k| 389 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2322k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1394.05/1394.59 c 1307s| 3960k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2328k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1397.95/1398.45 c 1310s| 3970k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2334k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1401.46/1401.96 c 1314s| 3980k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2340k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1404.85/1405.35 c 1317s| 3990k| 389 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2346k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1408.45/1408.97 c 1320s| 4000k| 388 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2351k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1412.05/1412.56 c 1324s| 4010k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2357k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1415.65/1416.18 c 1327s| 4020k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2363k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1419.05/1419.56 c 1330s| 4030k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2369k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1422.64/1423.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1422.64/1423.15 c 1334s| 4040k| 389 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2375k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1426.25/1426.76 c 1337s| 4050k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2380k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1429.95/1430.40 c 1340s| 4060k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2386k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1433.44/1433.91 c 1344s| 4070k| 390 | 883 | 0.0 |9182k| 426 | - | 492 | 200 | 0 | 0 | 9 |2391k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1436.94/1437.45 c 1347s| 4080k| 386 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2397k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1440.23/1440.74 c 1350s| 4090k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2403k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1443.74/1444.22 c 1353s| 4100k| 385 | 883 | 0.0 |9165k| 426 | - | 492 | 200 | 0 | 0 | 9 |2409k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1446.93/1447.46 c 1356s| 4110k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2415k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1450.34/1450.83 c 1360s| 4120k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2420k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1453.64/1454.14 c 1363s| 4130k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2426k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1456.84/1457.39 c 1366s| 4140k| 391 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2432k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1460.34/1460.89 c 1369s| 4150k| 393 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2438k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1463.73/1464.30 c 1372s| 4160k| 391 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2444k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1467.13/1467.68 c 1375s| 4170k| 395 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2450k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1470.52/1471.08 c 1378s| 4180k| 392 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2456k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1474.13/1474.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1474.13/1474.61 c 1382s| 4190k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2462k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1477.63/1478.12 c 1385s| 4200k| 392 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2468k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1481.02/1481.50 c 1388s| 4210k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2474k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1484.32/1484.84 c 1391s| 4220k| 390 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2479k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1487.73/1488.22 c 1395s| 4230k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2485k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1490.92/1491.45 c 1398s| 4240k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2491k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1494.33/1494.81 c 1401s| 4250k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2497k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1497.52/1498.10 c 1404s| 4260k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2503k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1500.82/1501.31 c 1407s| 4270k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2508k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1504.23/1504.70 c 1410s| 4280k| 390 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2514k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1507.41/1507.94 c 1413s| 4290k| 391 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2520k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1510.62/1511.19 c 1416s| 4300k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2526k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1513.92/1514.50 c 1419s| 4310k| 389 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2532k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1517.21/1517.78 c 1422s| 4320k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2538k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1520.52/1521.06 c 1425s| 4330k| 392 | 883 | 0.0 |9190k| 426 | - | 492 | 200 | 0 | 0 | 9 |2544k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1523.91/1524.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1523.91/1524.47 c 1428s| 4340k| 393 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2550k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1527.42/1527.99 c 1432s| 4350k| 390 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2555k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1530.91/1531.43 c 1435s| 4360k| 392 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2561k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1534.42/1534.93 c 1438s| 4370k| 389 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2567k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1537.91/1538.45 c 1442s| 4380k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2573k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1541.31/1541.83 c 1445s| 4390k| 388 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2579k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1544.91/1545.50 c 1448s| 4400k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2585k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1548.50/1549.02 c 1452s| 4410k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2591k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1551.80/1552.36 c 1455s| 4420k| 387 | 883 | 0.0 |9180k| 426 | - | 492 | 200 | 0 | 0 | 9 |2597k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1555.21/1555.74 c 1458s| 4430k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2603k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1558.71/1559.22 c 1461s| 4440k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2609k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1562.10/1562.63 c 1464s| 4450k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2614k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1565.50/1566.00 c 1467s| 4460k| 395 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2620k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1568.70/1569.27 c 1470s| 4470k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2626k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1572.20/1572.72 c 1474s| 4480k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2632k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1575.60/1576.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1575.60/1576.15 c 1477s| 4490k| 392 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2638k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1579.10/1579.69 c 1480s| 4500k| 386 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2644k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1582.60/1583.11 c 1483s| 4510k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2649k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1585.80/1586.37 c 1486s| 4520k| 390 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2655k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1589.10/1589.69 c 1490s| 4530k| 390 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2661k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1592.49/1593.04 c 1493s| 4540k| 386 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2667k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1595.79/1596.34 c 1496s| 4550k| 389 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2673k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1599.09/1599.66 c 1499s| 4560k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2679k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1602.39/1602.98 c 1502s| 4570k| 389 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2684k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1605.69/1606.28 c 1505s| 4580k| 388 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2690k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1609.18/1609.76 c 1508s| 4590k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2696k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1612.48/1613.05 c 1511s| 4600k| 388 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2702k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1615.79/1616.36 c 1514s| 4610k| 386 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2708k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1619.08/1619.61 c 1517s| 4620k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2714k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1622.48/1623.05 c 1521s| 4630k| 389 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2720k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1625.88/1626.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1625.88/1626.41 c 1524s| 4640k| 389 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2726k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1629.18/1629.72 c 1527s| 4650k| 388 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |2732k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1632.39/1632.93 c 1530s| 4660k| 393 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2737k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1635.78/1636.34 c 1533s| 4670k| 389 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2743k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1639.09/1639.60 c 1536s| 4680k| 387 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2749k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1642.48/1643.00 c 1539s| 4690k| 391 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2755k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1645.87/1646.46 c 1543s| 4700k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2761k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1649.28/1649.83 c 1546s| 4710k| 392 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2767k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1652.57/1653.13 c 1549s| 4720k| 390 | 883 | 0.0 |9167k| 426 | - | 492 | 200 | 0 | 0 | 9 |2773k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1655.88/1656.40 c 1552s| 4730k| 387 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2779k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1659.29/1659.83 c 1555s| 4740k| 392 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2785k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1662.47/1663.06 c 1558s| 4750k| 387 | 883 | 0.0 |9176k| 426 | - | 492 | 200 | 0 | 0 | 9 |2791k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1665.88/1666.49 c 1561s| 4760k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2797k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1669.37/1669.98 c 1565s| 4770k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2803k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1672.87/1673.42 c 1568s| 4780k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2808k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1676.37/1676.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1676.37/1676.92 c 1571s| 4790k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2814k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1679.77/1680.35 c 1574s| 4800k| 390 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2820k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1683.17/1683.72 c 1577s| 4810k| 386 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2826k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1686.47/1687.03 c 1581s| 4820k| 389 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2832k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1689.97/1690.56 c 1584s| 4830k| 391 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2838k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1693.38/1693.96 c 1587s| 4840k| 387 | 883 | 0.0 |9170k| 426 | - | 492 | 200 | 0 | 0 | 9 |2844k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1696.77/1697.34 c 1590s| 4850k| 392 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2850k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1700.07/1700.69 c 1593s| 4860k| 390 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2856k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1703.57/1704.11 c 1597s| 4870k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2862k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1706.96/1707.57 c 1600s| 4880k| 389 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2868k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1710.46/1711.06 c 1603s| 4890k| 388 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2874k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1713.86/1714.43 c 1606s| 4900k| 387 | 883 | 0.0 |9181k| 426 | - | 492 | 200 | 0 | 0 | 9 |2880k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1717.36/1717.95 c 1610s| 4910k| 386 | 883 | 0.0 |9179k| 426 | - | 492 | 200 | 0 | 0 | 9 |2886k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1720.76/1721.39 c 1613s| 4920k| 387 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2892k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1724.05/1724.67 c 1616s| 4930k| 390 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2898k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1727.46/1728.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.46/1728.06 c 1619s| 4940k| 387 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |2904k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1730.86/1731.47 c 1622s| 4950k| 387 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2910k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1734.45/1735.06 c 1625s| 4960k| 388 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |2916k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1738.05/1738.61 c 1629s| 4970k| 392 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2922k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1741.55/1742.16 c 1632s| 4980k| 389 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2928k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1745.06/1745.61 c 1635s| 4990k| 391 | 883 | 0.0 |9174k| 426 | - | 492 | 200 | 0 | 0 | 9 |2934k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1748.45/1749.08 c 1639s| 5000k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2939k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1752.05/1752.61 c 1642s| 5010k| 390 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2945k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1755.45/1756.08 c 1645s| 5020k| 387 | 883 | 0.0 |9175k| 426 | - | 492 | 200 | 0 | 0 | 9 |2951k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1759.04/1759.62 c 1648s| 5030k| 391 | 883 | 0.0 |9183k| 426 | - | 492 | 200 | 0 | 0 | 9 |2957k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1762.54/1763.16 c 1652s| 5040k| 387 | 883 | 0.0 |9188k| 426 | - | 492 | 200 | 0 | 0 | 9 |2963k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1766.25/1766.90 c 1655s| 5050k| 388 | 883 | 0.0 |9178k| 426 | - | 492 | 200 | 0 | 0 | 9 |2969k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1769.94/1770.59 c 1659s| 5060k| 386 | 883 | 0.0 |9173k| 426 | - | 492 | 200 | 0 | 0 | 9 |2975k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1773.64/1774.28 c 1662s| 5070k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |2981k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1777.04/1777.67 c 1665s| 5080k| 385 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2987k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1780.14/1780.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1780.14/1780.70 c 1668s| 5090k| 388 | 883 | 0.0 |9177k| 426 | - | 492 | 200 | 0 | 0 | 9 |2993k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1783.34/1783.97 c 1671s| 5100k| 385 | 883 | 0.0 |9172k| 426 | - | 492 | 200 | 0 | 0 | 9 |2999k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1786.74/1787.33 c 1674s| 5110k| 388 | 883 | 0.0 |9169k| 426 | - | 492 | 200 | 0 | 0 | 9 |3004k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1790.04/1790.60 c 1678s| 5120k| 386 | 883 | 0.0 |9171k| 426 | - | 492 | 200 | 0 | 0 | 9 |3010k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1793.34/1793.95 c 1681s| 5130k| 387 | 883 | 0.0 |9166k| 426 | - | 492 | 200 | 0 | 0 | 9 |3016k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1796.54/1797.16 c 1684s| 5140k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |3022k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1799.93/1800.50 c 1687s| 5150k| 387 | 883 | 0.0 |9168k| 426 | - | 492 | 200 | 0 | 0 | 9 |3028k| 22 | 3.394390e+01 | 4.200000e+01 | 23.73%
1800.05/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.61 c
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time (sec) : 1686.90
1800.05/1800.61 c Solving Nodes : 5150342
1800.05/1800.61 c Primal Bound : +4.20000000000000e+01 (18 solutions)
1800.05/1800.61 c Dual Bound : +3.39438963593131e+01
1800.05/1800.61 c Gap : 23.73 %
1800.05/1800.61 s SATISFIABLE
1800.05/1800.61 v -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471
1800.05/1800.61 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 -x450
1800.05/1800.61 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429
1800.05/1800.61 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1800.05/1800.61 v -x408 -x407 x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388
1800.05/1800.61 v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1800.05/1800.61 v x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345
1800.05/1800.61 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324
1800.05/1800.61 v -x323 -x322 -x321 -x320 x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303
1800.05/1800.61 v -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282
1800.05/1800.61 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261
1800.05/1800.61 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1800.05/1800.61 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220
1800.05/1800.61 v x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 -x198
1800.05/1800.61 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177
1800.05/1800.61 v x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1800.05/1800.61 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 x142 -x141 -x140 -x139 -x138 -x137 -x136 x135
1800.05/1800.61 v -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 x119 -x118 x117 -x116 -x115 -x114 -x113
1800.05/1800.61 v -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 x102 x101 -x100 -x99 -x98 x97 x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.05/1800.61 v -x89 -x88 -x87 -x86 -x85 -x84 x83 -x82 x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 x66 -x65 x64
1800.05/1800.61 v -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38
1800.05/1800.61 v x37 -x36 -x35 -x34 -x33 x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1800.05/1800.61 v -x12 -x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.05/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.61 c Solving Time : 1686.90
1800.05/1800.61 c Original Problem :
1800.05/1800.61 c Problem name : HOME/instance-2665517-1276595219.opb
1800.05/1800.61 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 200 initial, 200 maximal
1800.05/1800.61 c Presolved Problem :
1800.05/1800.61 c Problem name : t_HOME/instance-2665517-1276595219.opb
1800.05/1800.61 c Variables : 492 (492 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.61 c Constraints : 200 initial, 202 maximal
1800.05/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c probing : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.61 c logicor : 0.01 0 0 0 0 0 0 0 0
1800.05/1800.61 c root node : - 0 - - 0 - - - -
1800.05/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.05/1800.61 c logicor : 200+ 10 9139151 0 0 1265242 13280858 0 0 0
1800.05/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.61 c integral : 1.19 0.00 0.00 1.19 0.00
1800.05/1800.61 c logicor : 427.74 0.00 427.74 0.00 0.00
1800.05/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.61 c vbounds : 8.15 2 0 0
1800.05/1800.61 c rootredcost : 8.15 0 0 0
1800.05/1800.61 c pseudoobj : 902.00 17198489 1765740 43978675
1800.05/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.61 c propagation : 875.25 3027707 3027707 3027707 246.4 5491 238.5 -
1800.05/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.61 c pseudo solution : 0.26 923 923 923 238.9 14 217.5 -
1800.05/1800.61 c applied globally : - - - 38 48.3 - - -
1800.05/1800.61 c applied locally : - - - 3028592 246.4 - - -
1800.05/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.61 c cut pool : 0.02 9 - - 19 - (maximal pool size: 534)
1800.05/1800.61 c redcost : 0.00 11 0 0 0 0
1800.05/1800.61 c impliedbounds : 0.00 11 0 0 0 0
1800.05/1800.61 c intobj : 0.00 0 0 0 0 0
1800.05/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.61 c gomory : 0.43 11 0 0 0 0
1800.05/1800.61 c strongcg : 0.49 11 0 0 534 0
1800.05/1800.61 c cmir : 0.04 10 0 0 0 0
1800.05/1800.61 c flowcover : 0.17 10 0 0 0 0
1800.05/1800.61 c clique : 0.00 1 0 0 0 0
1800.05/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.61 c mcf : 0.00 1 0 0 0 0
1800.05/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.61 c Pricers : Time Calls Vars
1800.05/1800.61 c problem variables: 0.00 0 0
1800.05/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.61 c relpscost : 1.19 1 0 0 0 0 2
1800.05/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.61 c inference : 53.03 3584836 0 0 0 0 7169672
1800.05/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.61 c random : 0.00 0 0 0 0 0 0
1800.05/1800.61 c Primal Heuristics : Time Calls Found
1800.05/1800.61 c LP solutions : 0.00 - 0
1800.05/1800.61 c pseudo solutions : 0.00 - 0
1800.05/1800.61 c crossover : 0.00 0 0
1800.05/1800.61 c oneopt : 2.41 3 1
1800.05/1800.61 c trivial : 0.00 2 3
1800.05/1800.61 c simplerounding : 0.00 10 10
1800.05/1800.61 c zirounding : 0.00 1 1
1800.05/1800.61 c rounding : 0.01 10 1
1800.05/1800.61 c shifting : 0.02 10 1
1800.05/1800.61 c intshifting : 0.00 0 0
1800.05/1800.61 c twoopt : 0.00 0 0
1800.05/1800.61 c fixandinfer : 0.00 0 0
1800.05/1800.61 c feaspump : 0.00 0 0
1800.05/1800.61 c coefdiving : 0.00 0 0
1800.05/1800.61 c pscostdiving : 0.00 0 0
1800.05/1800.61 c fracdiving : 0.00 0 0
1800.05/1800.61 c veclendiving : 0.00 0 0
1800.05/1800.61 c intdiving : 0.00 0 0
1800.05/1800.61 c actconsdiving : 0.00 0 0
1800.05/1800.61 c objpscostdiving : 0.00 0 0
1800.05/1800.61 c rootsoldiving : 0.00 0 0
1800.05/1800.61 c linesearchdiving : 0.00 0 0
1800.05/1800.61 c guideddiving : 0.00 0 0
1800.05/1800.61 c octane : 0.00 0 0
1800.05/1800.61 c rens : 6.07 1 1
1800.05/1800.61 c rins : 0.00 0 0
1800.05/1800.61 c localbranching : 0.00 0 0
1800.05/1800.61 c mutation : 0.00 0 0
1800.05/1800.61 c dins : 0.00 0 0
1800.05/1800.61 c undercover : 0.00 0 0
1800.05/1800.61 c nlp : 2.60 0 0
1800.05/1800.61 c trysol : 2.20 0 0
1800.05/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.61 c dual LP : 0.17 10 883 88.30 5194.12
1800.05/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.61 c strong branching : 1.19 22 6836 310.73 5744.54
1800.05/1800.61 c (at root node) : - 22 6836 310.73 -
1800.05/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.61 c B&B Tree :
1800.05/1800.61 c number of runs : 1
1800.05/1800.61 c nodes : 5150342
1800.05/1800.61 c nodes (total) : 5150342
1800.05/1800.61 c nodes left : 387
1800.05/1800.61 c max depth : 426
1800.05/1800.61 c max depth (total): 426
1800.05/1800.61 c backtracks : 1518585 (29.5%)
1800.05/1800.61 c delayed cutoffs : 2018946
1800.05/1800.61 c repropagations : 4378636 (29463040 domain reductions, 1466400 cutoffs)
1800.05/1800.61 c avg switch length: 2.58
1800.05/1800.61 c switching time : 69.29
1800.05/1800.61 c Solution :
1800.05/1800.61 c Solutions found : 18 (6 improvements)
1800.05/1800.61 c First Solution : +4.92000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.05/1800.61 c Primal Bound : +4.20000000000000e+01 (in run 1, after 1 nodes, 7.43 seconds, depth 0, found by <rens>)
1800.05/1800.61 c Dual Bound : +3.39438963593131e+01
1800.05/1800.61 c Gap : 23.73 %
1800.05/1800.61 c Root Dual Bound : +3.36486819906699e+01
1800.05/1800.61 c Root Iterations : 883
1800.05/1800.62 c Time complete: 1800.06.
OK 42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665517-1276595219/watcher-2665517-1276595219 -o /tmp/evaluation-result-2665517-1276595219/solver-2665517-1276595219 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665517-1276595219.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10760 /proc/meminfo: memFree=1547588/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=9288 CPUtime=0 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 1028 0 0 0 0 0 0 0 18 0 1 0 816902 9510912 949 1992294400 4194304 9819077 140736717978080 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10760/statm: 2322 959 371 1374 0 943 0 [startup+0.0388031 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10760 /proc/meminfo: memFree=1547588/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=14100 CPUtime=0.03 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 3181 0 0 0 2 1 0 0 20 0 1 0 816902 14438400 2233 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 3525 2233 504 1374 0 2146 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14100 [startup+0.101808 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10760 /proc/meminfo: memFree=1547588/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=16916 CPUtime=0.09 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 4017 0 0 0 8 1 0 0 20 0 1 0 816902 17321984 2831 1992294400 4194304 9819077 140736717978080 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 4229 2831 624 1374 0 2850 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16916 [startup+0.30183 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10760 /proc/meminfo: memFree=1547588/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=20344 CPUtime=0.29 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 5126 0 0 0 27 2 0 0 20 0 1 0 816902 20832256 3706 1992294400 4194304 9819077 140736717978080 18446744073709551615 5755316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 5086 3706 660 1374 0 3707 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20344 [startup+0.701872 s] /proc/loadavg: 1.00 1.00 1.00 3/106 10760 /proc/meminfo: memFree=1547588/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=26144 CPUtime=0.69 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 6701 0 0 0 67 2 0 0 21 0 1 0 816902 26771456 5121 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 6536 5121 666 1374 0 5157 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26144 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10761 /proc/meminfo: memFree=1528980/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=37696 CPUtime=1.49 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 11272 0 0 0 145 4 0 0 23 0 1 0 816902 38600704 7503 1992294400 4194304 9819077 140736717978080 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 9424 7504 686 1374 0 8045 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37696 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10761 /proc/meminfo: memFree=1518564/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=39100 CPUtime=3.09 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 25242 0 0 0 297 12 0 0 25 0 1 0 816902 40038400 7800 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 9775 7800 687 1374 0 8396 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39100 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10761 /proc/meminfo: memFree=1518068/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=39308 CPUtime=6.29 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 50528 0 0 0 599 30 0 0 25 0 1 0 816902 40251392 7877 1992294400 4194304 9819077 140736717978080 18446744073709551615 8494900 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 9827 7877 696 1374 0 8448 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 39308 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10761 /proc/meminfo: memFree=1524640/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=29256 CPUtime=12.69 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 62559 0 0 0 1208 61 0 0 25 0 1 0 816902 29958144 6206 1992294400 4194304 9819077 140736717978080 18446744073709551615 4998721 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7314 6206 717 1374 0 5935 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29256 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10763 /proc/meminfo: memFree=1524640/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=29800 CPUtime=25.48 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 62677 0 0 0 2410 138 0 0 25 0 1 0 816902 30515200 6324 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7450 6324 717 1374 0 6071 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29800 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10763 /proc/meminfo: memFree=1523896/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=30504 CPUtime=51.07 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 62871 0 0 0 4809 298 0 0 25 0 1 0 816902 31236096 6518 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7626 6518 717 1374 0 6247 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 30504 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10765 /proc/meminfo: memFree=1523276/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31056 CPUtime=102.27 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 62996 0 0 0 9600 627 0 0 25 0 1 0 816902 31801344 6643 1992294400 4194304 9819077 140736717978080 18446744073709551615 5918640 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7764 6643 717 1374 0 6385 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 31056 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10765 /proc/meminfo: memFree=1522532/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31624 CPUtime=162.24 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63148 0 0 0 15229 995 0 0 25 0 1 0 816902 32382976 6795 1992294400 4194304 9819077 140736717978080 18446744073709551615 5918720 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7906 6795 717 1374 0 6527 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 31624 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10767 /proc/meminfo: memFree=1522284/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31760 CPUtime=222.23 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63181 0 0 0 20861 1362 0 0 25 0 1 0 816902 32522240 6828 1992294400 4194304 9819077 140736717978080 18446744073709551615 5507413 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7940 6828 717 1374 0 6561 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31760 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10769 /proc/meminfo: memFree=1522160/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31760 CPUtime=282.2 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63198 0 0 0 26484 1736 0 0 25 0 1 0 816902 32522240 6845 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7940 6845 717 1374 0 6561 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 31760 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10771 /proc/meminfo: memFree=1522036/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31900 CPUtime=342.19 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63210 0 0 0 32117 2102 0 0 25 0 1 0 816902 32665600 6857 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7975 6857 717 1374 0 6596 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 31900 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10773 /proc/meminfo: memFree=1521788/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=31900 CPUtime=402.17 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63227 0 0 0 37739 2478 0 0 25 0 1 0 816902 32665600 6874 1992294400 4194304 9819077 140736717978080 18446744073709551615 4240459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 7975 6874 717 1374 0 6596 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 31900 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10773 /proc/meminfo: memFree=1521664/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32048 CPUtime=462.16 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63239 0 0 0 43365 2851 0 0 25 0 1 0 816902 32817152 6886 1992294400 4194304 9819077 140736717978080 18446744073709551615 5905982 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8012 6886 717 1374 0 6633 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 32048 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10775 /proc/meminfo: memFree=1521540/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32048 CPUtime=522.14 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63251 0 0 0 48996 3218 0 0 25 0 1 0 816902 32817152 6898 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8012 6898 717 1374 0 6633 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 32048 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10777 /proc/meminfo: memFree=1521416/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32048 CPUtime=582.12 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63259 0 0 0 54609 3603 0 0 25 0 1 0 816902 32817152 6906 1992294400 4194304 9819077 140736717978080 18446744073709551615 4703882 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8012 6906 717 1374 0 6633 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 32048 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10779 /proc/meminfo: memFree=1521168/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32180 CPUtime=642.11 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63279 0 0 0 60221 3990 0 0 25 0 1 0 816902 32952320 6926 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8045 6926 717 1374 0 6666 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 32180 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10783 /proc/meminfo: memFree=1520672/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32312 CPUtime=822.06 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63337 0 0 0 77063 5143 0 0 25 0 1 0 816902 33087488 6984 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8078 6984 717 1374 0 6699 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 32312 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10794 /proc/meminfo: memFree=1519680/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=882.02 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63338 0 0 0 82679 5523 0 0 25 0 1 0 816902 33222656 6985 1992294400 4194304 9819077 140736717978080 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 6985 717 1374 0 6732 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 32444 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10796 /proc/meminfo: memFree=1519680/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=942 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63342 0 0 0 88289 5911 0 0 25 0 1 0 816902 33222656 6989 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 6989 717 1374 0 6732 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 32444 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10798 /proc/meminfo: memFree=1519680/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=1001.98 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63346 0 0 0 93917 6281 0 0 25 0 1 0 816902 33222656 6993 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 6993 717 1374 0 6732 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 32444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10798 /proc/meminfo: memFree=1519556/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=1061.96 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63351 0 0 0 99523 6673 0 0 25 0 1 0 816902 33222656 6998 1992294400 4194304 9819077 140736717978080 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 6998 717 1374 0 6732 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 32444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10800 /proc/meminfo: memFree=1519432/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=1121.94 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63364 0 0 0 105140 7054 0 0 25 0 1 0 816902 33222656 7011 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 7011 717 1374 0 6732 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 32444 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10802 /proc/meminfo: memFree=1519308/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=1181.92 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63370 0 0 0 110757 7435 0 0 25 0 1 0 816902 33222656 7017 1992294400 4194304 9819077 140736717978080 18446744073709551615 5924508 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 7017 717 1374 0 6732 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 32444 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10804 /proc/meminfo: memFree=1519184/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32444 CPUtime=1241.91 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63370 0 0 0 116395 7796 0 0 25 0 1 0 816902 33222656 7017 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8111 7017 717 1374 0 6732 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 32444 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10806 /proc/meminfo: memFree=1518936/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32576 CPUtime=1301.89 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63371 0 0 0 122022 8167 0 0 25 0 1 0 816902 33357824 7018 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8144 7018 717 1374 0 6765 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 32576 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10806 /proc/meminfo: memFree=1519060/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32576 CPUtime=1361.87 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63371 0 0 0 127655 8532 0 0 25 0 1 0 816902 33357824 7018 1992294400 4194304 9819077 140736717978080 18446744073709551615 5909042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8144 7018 717 1374 0 6765 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 32576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10808 /proc/meminfo: memFree=1518936/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1421.85 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63460 0 0 0 133284 8901 0 0 25 0 1 0 816902 33636352 7107 1992294400 4194304 9819077 140736717978080 18446744073709551615 4648611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7107 717 1374 0 6833 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 32848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10810 /proc/meminfo: memFree=1518812/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1481.83 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63461 0 0 0 138903 9280 0 0 25 0 1 0 816902 33636352 7108 1992294400 4194304 9819077 140736717978080 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7108 717 1374 0 6833 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 32848 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10812 /proc/meminfo: memFree=1518688/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1541.81 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63463 0 0 0 144520 9661 0 0 25 0 1 0 816902 33636352 7110 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7110 717 1374 0 6833 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 32848 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10814 /proc/meminfo: memFree=1518564/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1601.79 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63464 0 0 0 150130 10049 0 0 25 0 1 0 816902 33636352 7111 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7111 717 1374 0 6833 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 32848 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10814 /proc/meminfo: memFree=1518440/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1661.77 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63467 0 0 0 155741 10436 0 0 25 0 1 0 816902 33636352 7114 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7114 717 1374 0 6833 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 32848 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10816 /proc/meminfo: memFree=1518316/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32848 CPUtime=1721.75 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63467 0 0 0 161357 10818 0 0 25 0 1 0 816902 33636352 7114 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8212 7114 717 1374 0 6833 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 32848 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10825 /proc/meminfo: memFree=1516244/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32988 CPUtime=1781.74 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63474 0 0 0 166980 11194 0 0 25 0 1 0 816902 33779712 7121 1992294400 4194304 9819077 140736717978080 18446744073709551615 4998704 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8247 7121 717 1374 0 6868 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 32988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10825 /proc/meminfo: memFree=1516368/2059040 swapFree=4192956/4192956 [pid=10760] ppid=10758 vsize=32988 CPUtime=1800.05 /proc/10760/stat : 10760 (pbscip.linux.x8) R 10758 10760 2332 0 -1 4202496 63474 0 0 0 168691 11314 0 0 25 0 1 0 816902 33779712 7121 1992294400 4194304 9819077 140736717978080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/10760/statm: 8247 7121 717 1374 0 6868 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 32988 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.07 CPU user time (s): 1686.92 CPU system time (s): 113.151 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 39380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1686.92 system time used= 113.151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63479 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= 5 involuntary context switches= 24813 runsolver used 2.93755 second user time and 8.5777 second system time The end
Begin job on node035 at 2010-06-15 11:46:59 IDJOB=2665517 IDBENCH=2878 IDSOLVER=1168 FILE ID=node035/2665517-1276595219 PBS_JOBID= 11172216 Free space on /tmp= 62460 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665517-1276595219/watcher-2665517-1276595219 -o /tmp/evaluation-result-2665517-1276595219/solver-2665517-1276595219 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665517-1276595219.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680 RANDOM SEED=505619494 node035.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.219 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.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1547992 kB Buffers: 40892 kB Cached: 330284 kB SwapCached: 0 kB Active: 127064 kB Inactive: 303724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547992 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6312 kB Writeback: 0 kB AnonPages: 59628 kB Mapped: 15312 kB Slab: 58480 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183012 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= 62452 MiB End job on node035 at 2010-06-15 12:17:02