Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 14 | 1800.13 | 1800.63 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir04_area_delay.opb |
| MD5SUM | ea4ff8014cd873922b6021da249fa157 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 12 |
| Best CPU time to get the best result obtained on this benchmark | 0.162974 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 12 |
| Optimality of the best value was proved | YES |
| Number of variables | 741 |
| Total number of constraints | 2072 |
| Number of constraints which are clauses | 2072 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 360 |
| 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 | 360 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 360 |
| 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: SoPlex 1.4.2] [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-2666811-1276638029.opb>
0.03/0.04 c original problem has 741 variables (741 bin, 0 int, 0 impl, 0 cont) and 2072 constraints
0.03/0.04 c problem read
0.03/0.04 c presolving settings loaded
0.03/0.06 c presolving:
0.03/0.08 c (round 1) 327 del vars, 725 del conss, 24 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3403 impls, 0 clqs
0.03/0.08 c (round 2) 328 del vars, 816 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3403 impls, 0 clqs
0.09/0.13 c (round 3) 328 del vars, 873 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1157 upgd conss, 3403 impls, 0 clqs
0.09/0.13 c (round 4) 333 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1157 upgd conss, 3403 impls, 0 clqs
0.09/0.15 c (round 5) 333 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1199 upgd conss, 3403 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 292/408 (71.6%) - 0 fixings, 6 aggregations, 146 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c (round 6) 339 del vars, 939 del conss, 25 chg bounds, 0 chg sides, 0 chg coeffs, 1199 upgd conss, 3605 impls, 0 clqs
0.09/0.19 c (0.1s) probing: 302/408 (74.0%) - 0 fixings, 6 aggregations, 146 implications, 0 bound changes
0.09/0.19 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.19 c presolving (7 rounds):
0.09/0.19 c 339 deleted vars, 939 deleted constraints, 25 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.19 c 3605 implications, 0 cliques
0.09/0.19 c presolved problem has 402 variables (402 bin, 0 int, 0 impl, 0 cont) and 1133 constraints
0.09/0.19 c 1133 constraints of type <logicor>
0.09/0.19 c transformed objective value is always integral (scale: 1)
0.09/0.19 c Presolving Time: 0.12
0.09/0.19 c - non default parameters ----------------------------------------------------------------------
0.09/0.19 c # SCIP version 1.2.1.2
0.09/0.19 c
0.09/0.19 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.19 c conflict/interconss = 0
0.09/0.19 c
0.09/0.19 c # should binary conflicts be preferred?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c conflict/preferbinary = TRUE
0.09/0.19 c
0.09/0.19 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.19 c constraints/agelimit = 1
0.09/0.19 c
0.09/0.19 c # should enforcement of pseudo solution be disabled?
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/disableenfops = TRUE
0.09/0.19 c
0.09/0.19 c # frequency for displaying node information lines
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.19 c display/freq = 10000
0.09/0.19 c
0.09/0.19 c # maximal time in seconds to run
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/time = 1799.97
0.09/0.19 c
0.09/0.19 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.19 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.19 c limits/memory = 1620
0.09/0.19 c
0.09/0.19 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.19 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.19 c lp/solvefreq = 0
0.09/0.19 c
0.09/0.19 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.09/0.19 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.19 c lp/pricing = a
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify inequalities
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/linear/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # should presolving try to simplify knapsacks
0.09/0.19 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.19 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.19 c
0.09/0.19 c # priority of node selection rule <dfs> in standard mode
0.09/0.19 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.19 c nodeselection/dfs/stdpriority = 1000000
0.09/0.19 c
0.09/0.19 c -----------------------------------------------------------------------------------------------
0.09/0.19 c start solving
0.09/0.20 c
0.09/0.20 o 107
0.09/0.20 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.20 c t 0.1s| 1 | 0 | 0 | - |2952k| 0 | - | 402 |1133 | 0 | 0 | 0 | 0 | 0 | -- | 1.070000e+02 | Inf
0.19/0.20 o 32
0.19/0.20 c b 0.1s| 1 | 0 | 0 | - |3552k| 0 | - | 402 |1133 | 402 |1133 | 0 | 0 | 0 | -- | 3.200000e+01 | Inf
0.19/0.21 c 0.1s| 1 | 0 | 85 | - |3542k| 0 | 41 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 3.200000e+01 | 195.38%
0.19/0.21 o 20
0.19/0.21 c s 0.1s| 1 | 0 | 85 | - |3569k| 0 | 41 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 2.000000e+01 | 84.62%
0.19/0.21 o 18
0.19/0.21 c b 0.1s| 1 | 0 | 85 | - |3588k| 0 | 41 | 402 |1133 | 402 |1133 | 0 | 0 | 0 | 1.083333e+01 | 1.800000e+01 | 66.15%
0.19/0.27 c 0.2s| 1 | 0 | 95 | - |3598k| 0 | 46 | 402 |1133 | 402 |1145 | 12 | 0 | 0 | 1.150000e+01 | 1.800000e+01 | 56.52%
0.29/0.38 c 0.3s| 1 | 0 | 117 | - |3621k| 0 | 54 | 402 |1133 | 402 |1151 | 18 | 0 | 0 | 1.166667e+01 | 1.800000e+01 | 54.29%
0.49/0.52 c 0.4s| 1 | 0 | 139 | - |3920k| 0 | 74 | 402 |1133 | 402 |1154 | 21 | 0 | 0 | 1.200000e+01 | 1.800000e+01 | 50.00%
0.59/0.66 c 0.6s| 1 | 0 | 173 | - |4223k| 0 | 84 | 402 |1133 | 402 |1158 | 25 | 0 | 0 | 1.200000e+01 | 1.800000e+01 | 50.00%
0.79/0.86 c 0.8s| 1 | 0 | 203 | - |4794k| 0 | 79 | 402 |1133 | 402 |1163 | 30 | 0 | 0 | 1.200000e+01 | 1.800000e+01 | 50.00%
1.19/1.28 c 1.2s| 1 | 0 | 213 | - |5126k| 0 | 66 | 402 |1133 | 402 |1164 | 31 | 0 | 0 | 1.200000e+01 | 1.800000e+01 | 50.00%
1.49/1.54 c 1.4s| 1 | 0 | 238 | - |5267k| 0 | 70 | 402 |1133 | 402 |1166 | 33 | 0 | 0 | 1.200000e+01 | 1.800000e+01 | 50.00%
1.49/1.54 o 17
1.49/1.54 c s 1.4s| 1 | 0 | 238 | - |5277k| 0 | 70 | 402 |1133 | 402 |1166 | 33 | 0 | 0 | 1.200000e+01 | 1.700000e+01 | 41.67%
1.69/1.77 c 1.7s| 1 | 0 | 261 | - |5432k| 0 | 78 | 402 |1133 | 402 |1167 | 34 | 0 | 0 | 1.200000e+01 | 1.700000e+01 | 41.67%
1.69/1.77 o 15
1.69/1.77 c b 1.7s| 1 | 0 | 261 | - |5452k| 0 | 78 | 402 |1133 | 402 |1167 | 34 | 0 | 0 | 1.200000e+01 | 1.500000e+01 | 25.00%
2.49/2.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.51 c 2.4s| 1 | 2 | 261 | - |5443k| 0 | 78 | 402 |1133 | 402 |1167 | 34 | 0 | 37 | 1.200000e+01 | 1.500000e+01 | 25.00%
4.98/5.02 o 14
4.98/5.02 c * 4.7s| 8362 | 134 | 261 | 0.0 |5531k| 171 | - | 402 |1135 | 0 | 0 | 34 |4164 | 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
5.59/5.61 c 5.2s| 10000 | 130 | 261 | 0.0 |5524k| 171 | - | 402 |1135 | 0 | 0 | 34 |5111 | 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
8.89/8.93 c 8.3s| 20000 | 128 | 261 | 0.0 |5520k| 171 | - | 402 |1134 | 0 | 0 | 34 | 10k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
12.00/12.03 c 11.2s| 30000 | 125 | 261 | 0.0 |5523k| 171 | - | 402 |1136 | 0 | 0 | 34 | 16k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
15.40/15.42 c 14.3s| 40000 | 125 | 261 | 0.0 |5526k| 171 | - | 402 |1145 | 0 | 0 | 34 | 21k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
18.79/18.88 c 17.5s| 50000 | 123 | 261 | 0.0 |5530k| 171 | - | 402 |1135 | 0 | 0 | 34 | 27k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
22.08/22.19 c 20.5s| 60000 | 140 | 261 | 0.0 |5532k| 171 | - | 402 |1146 | 0 | 0 | 34 | 32k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
25.78/25.82 c 23.9s| 70000 | 128 | 261 | 0.0 |5529k| 171 | - | 402 |1139 | 0 | 0 | 34 | 38k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
29.08/29.19 c 27.0s| 80000 | 134 | 261 | 0.0 |5534k| 171 | - | 402 |1145 | 0 | 0 | 34 | 44k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
32.79/32.81 c 30.4s| 90000 | 125 | 261 | 0.0 |5526k| 171 | - | 402 |1138 | 0 | 0 | 34 | 50k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
36.19/36.29 c 33.6s|100000 | 118 | 261 | 0.0 |5531k| 171 | - | 402 |1147 | 0 | 0 | 34 | 55k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
39.97/40.08 c 37.1s|110000 | 124 | 261 | 0.0 |5529k| 171 | - | 402 |1143 | 0 | 0 | 34 | 62k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
43.48/43.57 c 40.3s|120000 | 131 | 261 | 0.0 |5531k| 171 | - | 402 |1144 | 0 | 0 | 34 | 67k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
47.08/47.18 c 43.6s|130000 | 122 | 261 | 0.0 |5536k| 171 | - | 402 |1158 | 0 | 0 | 34 | 73k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
50.48/50.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
50.48/50.60 c 46.8s|140000 | 124 | 261 | 0.0 |5533k| 171 | - | 402 |1151 | 0 | 0 | 34 | 78k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
53.98/54.08 c 50.0s|150000 | 132 | 261 | 0.0 |5529k| 171 | - | 402 |1135 | 0 | 0 | 34 | 84k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
57.67/57.76 c 53.5s|160000 | 135 | 261 | 0.0 |5530k| 171 | - | 402 |1135 | 0 | 0 | 34 | 89k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
61.37/61.43 c 56.9s|170000 | 126 | 261 | 0.0 |5535k| 171 | - | 402 |1146 | 0 | 0 | 34 | 95k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
65.17/65.25 c 60.5s|180000 | 124 | 261 | 0.0 |5532k| 171 | - | 402 |1145 | 0 | 0 | 34 | 101k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
68.77/68.86 c 63.8s|190000 | 133 | 261 | 0.0 |5547k| 171 | - | 402 |1156 | 0 | 0 | 34 | 106k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
72.37/72.42 c 67.1s|200000 | 130 | 261 | 0.0 |5536k| 171 | - | 402 |1142 | 0 | 0 | 34 | 111k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
76.26/76.35 c 70.7s|210000 | 131 | 261 | 0.0 |5538k| 171 | - | 402 |1154 | 0 | 0 | 34 | 117k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
80.36/80.41 c 74.5s|220000 | 128 | 261 | 0.0 |5534k| 171 | - | 402 |1144 | 0 | 0 | 34 | 123k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
84.27/84.37 c 78.2s|230000 | 122 | 261 | 0.0 |5530k| 171 | - | 402 |1135 | 0 | 0 | 34 | 129k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
88.17/88.20 c 81.7s|240000 | 132 | 261 | 0.0 |5534k| 171 | - | 402 |1139 | 0 | 0 | 34 | 134k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
92.37/92.42 c 85.7s|250000 | 120 | 261 | 0.0 |5531k| 171 | - | 402 |1139 | 0 | 0 | 34 | 140k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
96.17/96.21 c 89.2s|260000 | 132 | 261 | 0.0 |5539k| 171 | - | 402 |1146 | 0 | 0 | 34 | 146k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
100.07/100.13 c 92.8s|270000 | 132 | 261 | 0.0 |5536k| 171 | - | 402 |1145 | 0 | 0 | 34 | 152k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
103.86/103.93 c 96.3s|280000 | 129 | 261 | 0.0 |5535k| 171 | - | 402 |1140 | 0 | 0 | 34 | 158k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
107.96/108.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
107.96/108.10 c 100s|290000 | 132 | 261 | 0.0 |5539k| 171 | - | 402 |1147 | 0 | 0 | 34 | 164k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
112.07/112.12 c 104s|300000 | 126 | 261 | 0.0 |5539k| 171 | - | 402 |1151 | 0 | 0 | 34 | 170k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
116.16/116.20 c 108s|310000 | 126 | 261 | 0.0 |5539k| 173 | - | 402 |1151 | 0 | 0 | 34 | 176k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
119.76/119.87 c 111s|320000 | 129 | 261 | 0.0 |5536k| 173 | - | 402 |1140 | 0 | 0 | 34 | 181k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
124.26/124.33 c 115s|330000 | 120 | 261 | 0.0 |5534k| 173 | - | 402 |1146 | 0 | 0 | 34 | 188k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
128.25/128.36 c 119s|340000 | 124 | 261 | 0.0 |5535k| 173 | - | 402 |1145 | 0 | 0 | 34 | 193k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
131.96/132.06 c 122s|350000 | 124 | 261 | 0.0 |5535k| 173 | - | 402 |1142 | 0 | 0 | 34 | 198k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
136.15/136.24 c 126s|360000 | 126 | 261 | 0.0 |5534k| 173 | - | 402 |1140 | 0 | 0 | 34 | 204k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
140.15/140.20 c 130s|370000 | 127 | 261 | 0.0 |5537k| 173 | - | 402 |1141 | 0 | 0 | 34 | 210k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
144.15/144.25 c 134s|380000 | 130 | 261 | 0.0 |5543k| 173 | - | 402 |1142 | 0 | 0 | 34 | 215k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
148.25/148.35 c 138s|390000 | 115 | 261 | 0.0 |5540k| 173 | - | 402 |1141 | 0 | 0 | 34 | 221k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
152.24/152.31 c 141s|400000 | 136 | 261 | 0.0 |5548k| 173 | - | 402 |1138 | 0 | 0 | 34 | 226k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
156.95/157.03 c 146s|410000 | 127 | 261 | 0.0 |5536k| 174 | - | 402 |1141 | 0 | 0 | 34 | 233k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
161.55/161.60 c 150s|420000 | 126 | 261 | 0.0 |5539k| 174 | - | 402 |1144 | 0 | 0 | 34 | 239k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
165.85/165.99 c 154s|430000 | 127 | 261 | 0.0 |5544k| 174 | - | 402 |1160 | 0 | 0 | 34 | 245k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
170.14/170.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
170.14/170.26 c 158s|440000 | 121 | 261 | 0.0 |5534k| 174 | - | 402 |1141 | 0 | 0 | 34 | 251k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
174.54/174.62 c 162s|450000 | 121 | 261 | 0.0 |5534k| 174 | - | 402 |1140 | 0 | 0 | 34 | 256k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
178.74/178.87 c 166s|460000 | 125 | 261 | 0.0 |5536k| 174 | - | 402 |1141 | 0 | 0 | 34 | 262k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
183.24/183.32 c 170s|470000 | 128 | 261 | 0.0 |5537k| 174 | - | 402 |1142 | 0 | 0 | 34 | 267k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
187.23/187.35 c 174s|480000 | 124 | 261 | 0.0 |5534k| 179 | - | 402 |1136 | 0 | 0 | 34 | 273k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
191.14/191.26 c 178s|490000 | 126 | 261 | 0.0 |5541k| 179 | - | 402 |1149 | 0 | 0 | 34 | 278k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
195.23/195.36 c 182s|500000 | 155 | 261 | 0.0 |5555k| 179 | - | 402 |1140 | 0 | 0 | 34 | 284k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
199.73/199.84 c 186s|510000 | 120 | 261 | 0.0 |5538k| 179 | - | 402 |1144 | 0 | 0 | 34 | 290k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
204.13/204.23 c 190s|520000 | 118 | 261 | 0.0 |5537k| 179 | - | 402 |1144 | 0 | 0 | 34 | 295k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
208.43/208.54 c 194s|530000 | 129 | 261 | 0.0 |5538k| 179 | - | 402 |1139 | 0 | 0 | 34 | 301k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
212.93/213.04 c 198s|540000 | 128 | 261 | 0.0 |5541k| 179 | - | 402 |1137 | 0 | 0 | 34 | 307k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
217.32/217.44 c 202s|550000 | 142 | 261 | 0.0 |5545k| 179 | - | 402 |1148 | 0 | 0 | 34 | 313k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
221.83/221.95 c 207s|560000 | 122 | 261 | 0.0 |5535k| 179 | - | 402 |1136 | 0 | 0 | 34 | 318k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
226.22/226.31 c 211s|570000 | 120 | 261 | 0.0 |5534k| 179 | - | 402 |1136 | 0 | 0 | 34 | 324k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
230.62/230.78 c 215s|580000 | 122 | 261 | 0.0 |5538k| 189 | - | 402 |1141 | 0 | 0 | 34 | 330k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
235.52/235.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.52/235.61 c 219s|590000 | 120 | 261 | 0.0 |5537k| 189 | - | 402 |1138 | 0 | 0 | 34 | 336k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
239.82/239.95 c 223s|600000 | 121 | 261 | 0.0 |5540k| 189 | - | 402 |1148 | 0 | 0 | 34 | 341k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
244.52/244.60 c 228s|610000 | 129 | 261 | 0.0 |5538k| 189 | - | 402 |1138 | 0 | 0 | 34 | 347k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
249.02/249.11 c 232s|620000 | 119 | 261 | 0.0 |5537k| 189 | - | 402 |1142 | 0 | 0 | 34 | 353k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
253.42/253.59 c 236s|630000 | 130 | 261 | 0.0 |5541k| 189 | - | 402 |1142 | 0 | 0 | 34 | 359k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
257.61/257.70 c 240s|640000 | 121 | 261 | 0.0 |5541k| 189 | - | 402 |1144 | 0 | 0 | 34 | 364k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
261.92/262.02 c 244s|650000 | 123 | 261 | 0.0 |5544k| 189 | - | 402 |1151 | 0 | 0 | 34 | 369k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
266.51/266.62 c 248s|660000 | 114 | 261 | 0.0 |5540k| 189 | - | 402 |1144 | 0 | 0 | 34 | 375k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
271.21/271.33 c 253s|670000 | 116 | 261 | 0.0 |5538k| 189 | - | 402 |1141 | 0 | 0 | 34 | 381k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
275.51/275.60 c 257s|680000 | 123 | 261 | 0.0 |5540k| 189 | - | 402 |1142 | 0 | 0 | 34 | 387k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
279.41/279.58 c 261s|690000 | 125 | 261 | 0.0 |5545k| 189 | - | 402 |1145 | 0 | 0 | 34 | 393k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
283.61/283.77 c 264s|700000 | 116 | 261 | 0.0 |5541k| 189 | - | 402 |1147 | 0 | 0 | 34 | 398k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
288.21/288.34 c 269s|710000 | 132 | 261 | 0.0 |5547k| 189 | - | 402 |1141 | 0 | 0 | 34 | 405k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
292.31/292.46 c 273s|720000 | 121 | 261 | 0.0 |5544k| 189 | - | 402 |1142 | 0 | 0 | 34 | 410k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
296.30/296.42 c 276s|730000 | 113 | 261 | 0.0 |5539k| 189 | - | 402 |1140 | 0 | 0 | 34 | 416k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
300.11/300.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
300.11/300.25 c 280s|740000 | 125 | 261 | 0.0 |5542k| 189 | - | 402 |1142 | 0 | 0 | 34 | 422k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
304.31/304.48 c 284s|750000 | 118 | 261 | 0.0 |5540k| 189 | - | 402 |1140 | 0 | 0 | 34 | 427k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
308.60/308.78 c 288s|760000 | 113 | 261 | 0.0 |5540k| 189 | - | 402 |1138 | 0 | 0 | 34 | 433k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
313.00/313.10 c 292s|770000 | 109 | 261 | 0.0 |5547k| 189 | - | 402 |1149 | 0 | 0 | 34 | 439k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
316.99/317.15 c 296s|780000 | 116 | 261 | 0.0 |5553k| 189 | - | 402 |1171 | 0 | 0 | 34 | 445k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
321.10/321.20 c 299s|790000 | 135 | 261 | 0.0 |5552k| 189 | - | 402 |1141 | 0 | 0 | 34 | 452k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
325.20/325.31 c 303s|800000 | 131 | 261 | 0.0 |5548k| 189 | - | 402 |1142 | 0 | 0 | 34 | 458k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
329.29/329.40 c 307s|810000 | 137 | 261 | 0.0 |5549k| 189 | - | 402 |1138 | 0 | 0 | 34 | 464k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
332.89/333.04 c 310s|820000 | 133 | 261 | 0.0 |5547k| 189 | - | 402 |1136 | 0 | 0 | 34 | 469k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
336.79/336.91 c 314s|830000 | 125 | 261 | 0.0 |5548k| 189 | - | 402 |1141 | 0 | 0 | 34 | 475k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
340.89/341.04 c 318s|840000 | 128 | 261 | 0.0 |5547k| 189 | - | 402 |1137 | 0 | 0 | 34 | 482k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
344.88/345.07 c 322s|850000 | 128 | 261 | 0.0 |5550k| 189 | - | 402 |1146 | 0 | 0 | 34 | 487k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
348.79/348.93 c 325s|860000 | 122 | 261 | 0.0 |5549k| 189 | - | 402 |1143 | 0 | 0 | 34 | 493k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
353.08/353.24 c 329s|870000 | 133 | 261 | 0.0 |5567k| 189 | - | 402 |1181 | 0 | 0 | 34 | 499k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
357.49/357.61 c 333s|880000 | 125 | 261 | 0.0 |5555k| 189 | - | 402 |1150 | 0 | 0 | 34 | 505k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
362.09/362.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
362.09/362.27 c 338s|890000 | 127 | 261 | 0.0 |5558k| 189 | - | 402 |1148 | 0 | 0 | 34 | 512k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
366.78/366.95 c 342s|900000 | 121 | 261 | 0.0 |5556k| 189 | - | 402 |1140 | 0 | 0 | 34 | 518k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
371.28/371.49 c 346s|910000 | 125 | 261 | 0.0 |5566k| 189 | - | 402 |1173 | 0 | 0 | 34 | 525k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
375.88/376.07 c 350s|920000 | 120 | 261 | 0.0 |5560k| 189 | - | 402 |1143 | 0 | 0 | 34 | 532k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
380.18/380.35 c 354s|930000 | 131 | 261 | 0.0 |5563k| 189 | - | 402 |1141 | 0 | 0 | 34 | 538k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
384.17/384.37 c 358s|940000 | 112 | 261 | 0.0 |5555k| 189 | - | 402 |1142 | 0 | 0 | 34 | 544k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
388.37/388.58 c 362s|950000 | 123 | 261 | 0.0 |5555k| 189 | - | 402 |1138 | 0 | 0 | 34 | 550k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
392.68/392.82 c 366s|960000 | 112 | 261 | 0.0 |5552k| 189 | - | 402 |1138 | 0 | 0 | 34 | 556k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
397.17/397.31 c 370s|970000 | 125 | 261 | 0.0 |5567k| 189 | - | 402 |1155 | 0 | 0 | 34 | 561k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
401.57/401.75 c 374s|980000 | 121 | 261 | 0.0 |5556k| 189 | - | 402 |1142 | 0 | 0 | 34 | 567k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
405.37/405.56 c 378s|990000 | 129 | 261 | 0.0 |5564k| 189 | - | 402 |1146 | 0 | 0 | 34 | 573k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
409.47/409.60 c 381s| 1000k| 130 | 261 | 0.0 |5560k| 189 | - | 402 |1138 | 0 | 0 | 34 | 579k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
413.67/413.83 c 385s| 1010k| 118 | 261 | 0.0 |5556k| 189 | - | 402 |1141 | 0 | 0 | 34 | 585k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
418.27/418.41 c 390s| 1020k| 123 | 261 | 0.0 |5563k| 189 | - | 402 |1154 | 0 | 0 | 34 | 591k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
422.57/422.71 c 394s| 1030k| 124 | 261 | 0.0 |5559k| 189 | - | 402 |1143 | 0 | 0 | 34 | 597k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
426.86/427.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.86/427.03 c 398s| 1040k| 129 | 261 | 0.0 |5563k| 189 | - | 402 |1150 | 0 | 0 | 34 | 604k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
431.57/431.72 c 402s| 1050k| 117 | 261 | 0.0 |5558k| 189 | - | 402 |1144 | 0 | 0 | 34 | 610k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
435.86/436.09 c 406s| 1060k| 126 | 261 | 0.0 |5561k| 189 | - | 402 |1141 | 0 | 0 | 34 | 616k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
439.56/439.74 c 409s| 1070k| 131 | 261 | 0.0 |5561k| 189 | - | 402 |1140 | 0 | 0 | 34 | 622k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
443.37/443.57 c 413s| 1080k| 124 | 261 | 0.0 |5564k| 189 | - | 402 |1145 | 0 | 0 | 34 | 627k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
447.16/447.34 c 416s| 1090k| 120 | 261 | 0.0 |5559k| 189 | - | 402 |1140 | 0 | 0 | 34 | 633k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
450.76/450.99 c 420s| 1100k| 118 | 261 | 0.0 |5569k| 189 | - | 402 |1149 | 0 | 0 | 34 | 639k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
454.46/454.66 c 423s| 1110k| 117 | 261 | 0.0 |5568k| 189 | - | 402 |1165 | 0 | 0 | 34 | 644k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
458.76/458.91 c 427s| 1120k| 124 | 261 | 0.0 |5561k| 189 | - | 402 |1147 | 0 | 0 | 34 | 650k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
463.16/463.38 c 431s| 1130k| 124 | 261 | 0.0 |5567k| 189 | - | 402 |1156 | 0 | 0 | 34 | 656k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
467.26/467.49 c 435s| 1140k| 124 | 261 | 0.0 |5564k| 189 | - | 402 |1145 | 0 | 0 | 34 | 662k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
471.16/471.36 c 439s| 1150k| 119 | 261 | 0.0 |5576k| 189 | - | 402 |1165 | 0 | 0 | 34 | 667k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
475.66/475.89 c 443s| 1160k| 121 | 261 | 0.0 |5567k| 189 | - | 402 |1163 | 0 | 0 | 34 | 673k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
479.85/480.00 c 447s| 1170k| 126 | 261 | 0.0 |5566k| 189 | - | 402 |1153 | 0 | 0 | 34 | 679k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
484.75/484.90 c 451s| 1180k| 129 | 261 | 0.0 |5566k| 189 | - | 402 |1150 | 0 | 0 | 34 | 685k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
489.35/489.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.35/489.54 c 456s| 1190k| 121 | 261 | 0.0 |5568k| 189 | - | 402 |1152 | 0 | 0 | 34 | 692k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
493.35/493.59 c 459s| 1200k| 115 | 261 | 0.0 |5568k| 189 | - | 402 |1159 | 0 | 0 | 34 | 698k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
497.25/497.45 c 463s| 1210k| 124 | 261 | 0.0 |5560k| 189 | - | 402 |1137 | 0 | 0 | 34 | 704k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
501.36/501.57 c 467s| 1220k| 120 | 261 | 0.0 |5565k| 189 | - | 402 |1150 | 0 | 0 | 34 | 710k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
505.25/505.49 c 471s| 1230k| 120 | 261 | 0.0 |5563k| 189 | - | 402 |1143 | 0 | 0 | 34 | 716k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
509.15/509.39 c 474s| 1240k| 117 | 261 | 0.0 |5564k| 189 | - | 402 |1147 | 0 | 0 | 34 | 721k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
513.35/513.55 c 478s| 1250k| 108 | 261 | 0.0 |5559k| 189 | - | 402 |1141 | 0 | 0 | 34 | 727k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
517.25/517.43 c 482s| 1260k| 115 | 261 | 0.0 |5565k| 189 | - | 402 |1145 | 0 | 0 | 34 | 732k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
521.84/522.01 c 486s| 1270k| 126 | 261 | 0.0 |5563k| 189 | - | 402 |1142 | 0 | 0 | 34 | 739k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
525.44/525.63 c 489s| 1280k| 114 | 261 | 0.0 |5560k| 189 | - | 402 |1139 | 0 | 0 | 34 | 744k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
529.14/529.39 c 493s| 1290k| 119 | 261 | 0.0 |5567k| 189 | - | 402 |1144 | 0 | 0 | 34 | 749k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
532.94/533.18 c 496s| 1300k| 114 | 261 | 0.0 |5566k| 189 | - | 402 |1153 | 0 | 0 | 34 | 755k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
536.54/536.77 c 500s| 1310k| 117 | 261 | 0.0 |5565k| 189 | - | 402 |1146 | 0 | 0 | 34 | 760k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
540.44/540.63 c 503s| 1320k| 122 | 261 | 0.0 |5563k| 189 | - | 402 |1141 | 0 | 0 | 34 | 766k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
544.43/544.67 c 507s| 1330k| 120 | 261 | 0.0 |5564k| 189 | - | 402 |1141 | 0 | 0 | 34 | 771k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
549.34/549.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
549.34/549.57 c 512s| 1340k| 119 | 261 | 0.0 |5558k| 189 | - | 402 |1134 | 0 | 0 | 34 | 778k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
554.14/554.39 c 516s| 1350k| 107 | 261 | 0.0 |5556k| 189 | - | 402 |1135 | 0 | 0 | 34 | 785k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
558.64/558.85 c 520s| 1360k| 111 | 261 | 0.0 |5559k| 189 | - | 402 |1136 | 0 | 0 | 34 | 791k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
562.54/562.70 c 524s| 1370k| 124 | 261 | 0.0 |5563k| 189 | - | 402 |1139 | 0 | 0 | 34 | 797k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
566.43/566.60 c 527s| 1380k| 108 | 261 | 0.0 |5560k| 189 | - | 402 |1140 | 0 | 0 | 34 | 802k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
570.33/570.52 c 531s| 1390k| 120 | 261 | 0.0 |5567k| 189 | - | 402 |1150 | 0 | 0 | 34 | 808k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
574.04/574.28 c 535s| 1400k| 108 | 261 | 0.0 |5564k| 189 | - | 402 |1151 | 0 | 0 | 34 | 814k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
577.72/577.96 c 538s| 1410k| 111 | 261 | 0.0 |5563k| 189 | - | 402 |1147 | 0 | 0 | 34 | 819k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
581.53/581.74 c 541s| 1420k| 107 | 261 | 0.0 |5560k| 189 | - | 402 |1144 | 0 | 0 | 34 | 824k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
585.83/586.06 c 545s| 1430k| 133 | 261 | 0.0 |5570k| 189 | - | 402 |1150 | 0 | 0 | 34 | 830k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
589.92/590.15 c 549s| 1440k| 116 | 261 | 0.0 |5567k| 189 | - | 402 |1152 | 0 | 0 | 34 | 836k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
594.02/594.26 c 553s| 1450k| 118 | 261 | 0.0 |5567k| 189 | - | 402 |1150 | 0 | 0 | 34 | 842k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
598.13/598.37 c 557s| 1460k| 122 | 261 | 0.0 |5572k| 189 | - | 402 |1159 | 0 | 0 | 34 | 848k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
602.82/603.01 c 561s| 1470k| 117 | 261 | 0.0 |5573k| 189 | - | 402 |1167 | 0 | 0 | 34 | 854k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
607.12/607.31 c 565s| 1480k| 121 | 261 | 0.0 |5578k| 189 | - | 402 |1174 | 0 | 0 | 34 | 861k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
611.02/611.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.02/611.29 c 569s| 1490k| 131 | 261 | 0.0 |5581k| 189 | - | 402 |1161 | 0 | 0 | 34 | 866k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
614.91/615.14 c 572s| 1500k| 125 | 261 | 0.0 |5575k| 189 | - | 402 |1162 | 0 | 0 | 34 | 872k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
619.22/619.43 c 576s| 1510k| 118 | 261 | 0.0 |5575k| 189 | - | 402 |1165 | 0 | 0 | 34 | 878k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
623.43/623.61 c 580s| 1520k| 111 | 261 | 0.0 |5571k| 189 | - | 402 |1159 | 0 | 0 | 34 | 884k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
626.62/626.84 c 583s| 1530k| 119 | 261 | 0.0 |5573k| 189 | - | 402 |1160 | 0 | 0 | 34 | 889k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
630.13/630.39 c 587s| 1540k| 114 | 261 | 0.0 |5573k| 189 | - | 402 |1161 | 0 | 0 | 34 | 894k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
633.72/633.96 c 590s| 1550k| 118 | 261 | 0.0 |5566k| 189 | - | 402 |1144 | 0 | 0 | 34 | 899k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
637.52/637.75 c 593s| 1560k| 118 | 261 | 0.0 |5567k| 189 | - | 402 |1142 | 0 | 0 | 34 | 905k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
641.31/641.55 c 597s| 1570k| 113 | 261 | 0.0 |5572k| 189 | - | 402 |1158 | 0 | 0 | 34 | 911k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
644.91/645.19 c 600s| 1580k| 122 | 261 | 0.0 |5574k| 189 | - | 402 |1158 | 0 | 0 | 34 | 916k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
648.82/649.04 c 604s| 1590k| 120 | 261 | 0.0 |5570k| 189 | - | 402 |1152 | 0 | 0 | 34 | 922k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
652.41/652.67 c 607s| 1600k| 122 | 261 | 0.0 |5569k| 189 | - | 402 |1142 | 0 | 0 | 34 | 928k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
656.31/656.56 c 611s| 1610k| 116 | 261 | 0.0 |5567k| 189 | - | 402 |1146 | 0 | 0 | 34 | 933k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
660.51/660.72 c 615s| 1620k| 119 | 261 | 0.0 |5566k| 189 | - | 402 |1143 | 0 | 0 | 34 | 939k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
665.01/665.23 c 619s| 1630k| 118 | 261 | 0.0 |5571k| 189 | - | 402 |1151 | 0 | 0 | 34 | 945k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
668.90/669.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
668.90/669.17 c 623s| 1640k| 119 | 261 | 0.0 |5571k| 189 | - | 402 |1154 | 0 | 0 | 34 | 951k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
673.01/673.21 c 626s| 1650k| 112 | 261 | 0.0 |5571k| 189 | - | 402 |1154 | 0 | 0 | 34 | 957k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
676.80/677.04 c 630s| 1660k| 115 | 261 | 0.0 |5572k| 189 | - | 402 |1156 | 0 | 0 | 34 | 963k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
680.90/681.17 c 634s| 1670k| 114 | 261 | 0.0 |5581k| 189 | - | 402 |1177 | 0 | 0 | 34 | 969k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
684.70/684.97 c 637s| 1680k| 125 | 261 | 0.0 |5577k| 189 | - | 402 |1157 | 0 | 0 | 34 | 974k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
688.41/688.69 c 641s| 1690k| 120 | 261 | 0.0 |5575k| 189 | - | 402 |1162 | 0 | 0 | 34 | 980k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
692.20/692.47 c 644s| 1700k| 122 | 261 | 0.0 |5572k| 189 | - | 402 |1153 | 0 | 0 | 34 | 986k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
696.20/696.46 c 648s| 1710k| 119 | 261 | 0.0 |5577k| 189 | - | 402 |1167 | 0 | 0 | 34 | 991k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
700.10/700.32 c 652s| 1720k| 119 | 261 | 0.0 |5578k| 189 | - | 402 |1165 | 0 | 0 | 34 | 997k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
703.90/704.17 c 655s| 1730k| 120 | 261 | 0.0 |5583k| 189 | - | 402 |1189 | 0 | 0 | 34 |1002k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
708.50/708.75 c 659s| 1740k| 114 | 261 | 0.0 |5574k| 189 | - | 402 |1163 | 0 | 0 | 34 |1009k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
712.90/713.13 c 664s| 1750k| 111 | 261 | 0.0 |5580k| 189 | - | 402 |1181 | 0 | 0 | 34 |1015k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
716.59/716.83 c 667s| 1760k| 117 | 261 | 0.0 |5571k| 189 | - | 402 |1146 | 0 | 0 | 34 |1020k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
720.40/720.64 c 670s| 1770k| 128 | 261 | 0.0 |5579k| 189 | - | 402 |1160 | 0 | 0 | 34 |1026k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
724.09/724.37 c 674s| 1780k| 122 | 261 | 0.0 |5579k| 189 | - | 402 |1164 | 0 | 0 | 34 |1032k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
728.49/728.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
728.49/728.73 c 678s| 1790k| 119 | 261 | 0.0 |5582k| 189 | - | 402 |1169 | 0 | 0 | 34 |1038k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
732.49/732.74 c 682s| 1800k| 128 | 261 | 0.0 |5575k| 189 | - | 402 |1146 | 0 | 0 | 34 |1044k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
736.09/736.36 c 685s| 1810k| 122 | 261 | 0.0 |5571k| 189 | - | 402 |1147 | 0 | 0 | 34 |1049k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
739.99/740.21 c 689s| 1820k| 128 | 261 | 0.0 |5573k| 189 | - | 402 |1146 | 0 | 0 | 34 |1055k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
743.59/743.89 c 692s| 1830k| 115 | 261 | 0.0 |5578k| 189 | - | 402 |1167 | 0 | 0 | 34 |1061k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
747.29/747.58 c 695s| 1840k| 110 | 261 | 0.0 |5584k| 189 | - | 402 |1147 | 0 | 0 | 34 |1066k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
751.19/751.49 c 699s| 1850k| 111 | 261 | 0.0 |5574k| 189 | - | 402 |1157 | 0 | 0 | 34 |1072k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
755.19/755.48 c 703s| 1860k| 130 | 261 | 0.0 |5575k| 189 | - | 402 |1151 | 0 | 0 | 34 |1078k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
759.18/759.41 c 706s| 1870k| 129 | 261 | 0.0 |5578k| 189 | - | 402 |1159 | 0 | 0 | 34 |1083k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
762.98/763.23 c 710s| 1880k| 112 | 261 | 0.0 |5571k| 189 | - | 402 |1154 | 0 | 0 | 34 |1089k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
767.18/767.43 c 714s| 1890k| 112 | 261 | 0.0 |5573k| 189 | - | 402 |1156 | 0 | 0 | 34 |1095k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
771.28/771.57 c 718s| 1900k| 142 | 261 | 0.0 |5576k| 189 | - | 402 |1148 | 0 | 0 | 34 |1100k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
774.98/775.20 c 721s| 1910k| 116 | 261 | 0.0 |5575k| 189 | - | 402 |1159 | 0 | 0 | 34 |1106k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
778.58/778.84 c 724s| 1920k| 107 | 261 | 0.0 |5570k| 189 | - | 402 |1153 | 0 | 0 | 34 |1111k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
782.58/782.88 c 728s| 1930k| 109 | 261 | 0.0 |5569k| 189 | - | 402 |1149 | 0 | 0 | 34 |1116k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
786.78/787.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
786.78/787.01 c 732s| 1940k| 112 | 261 | 0.0 |5579k| 189 | - | 402 |1163 | 0 | 0 | 34 |1122k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
791.47/791.70 c 736s| 1950k| 124 | 261 | 0.0 |5582k| 189 | - | 402 |1170 | 0 | 0 | 34 |1129k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
795.77/796.04 c 740s| 1960k| 122 | 261 | 0.0 |5582k| 189 | - | 402 |1169 | 0 | 0 | 34 |1135k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
799.77/800.00 c 744s| 1970k| 110 | 261 | 0.0 |5571k| 189 | - | 402 |1151 | 0 | 0 | 34 |1140k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
803.37/803.61 c 747s| 1980k| 112 | 261 | 0.0 |5572k| 189 | - | 402 |1147 | 0 | 0 | 34 |1146k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
807.18/807.43 c 751s| 1990k| 114 | 261 | 0.0 |5583k| 189 | - | 402 |1170 | 0 | 0 | 34 |1151k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
811.37/811.62 c 755s| 2000k| 124 | 261 | 0.0 |5573k| 189 | - | 402 |1150 | 0 | 0 | 34 |1158k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
815.27/815.53 c 758s| 2010k| 131 | 261 | 0.0 |5573k| 189 | - | 402 |1139 | 0 | 0 | 34 |1163k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
818.87/819.19 c 762s| 2020k| 122 | 261 | 0.0 |5568k| 189 | - | 402 |1138 | 0 | 0 | 34 |1168k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
822.67/822.98 c 765s| 2030k| 120 | 261 | 0.0 |5572k| 189 | - | 402 |1148 | 0 | 0 | 34 |1174k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
826.87/827.12 c 769s| 2040k| 117 | 261 | 0.0 |5571k| 189 | - | 402 |1145 | 0 | 0 | 34 |1179k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
830.96/831.23 c 773s| 2050k| 109 | 261 | 0.0 |5576k| 189 | - | 402 |1145 | 0 | 0 | 34 |1185k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
834.87/835.19 c 777s| 2060k| 115 | 261 | 0.0 |5571k| 189 | - | 402 |1148 | 0 | 0 | 34 |1191k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
838.87/839.13 c 781s| 2070k| 118 | 261 | 0.0 |5579k| 189 | - | 402 |1159 | 0 | 0 | 34 |1196k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
842.46/842.78 c 784s| 2080k| 113 | 261 | 0.0 |5574k| 189 | - | 402 |1153 | 0 | 0 | 34 |1201k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
846.36/846.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
846.36/846.65 c 788s| 2090k| 120 | 261 | 0.0 |5567k| 189 | - | 402 |1138 | 0 | 0 | 34 |1207k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
850.07/850.34 c 791s| 2100k| 119 | 261 | 0.0 |5572k| 189 | - | 402 |1150 | 0 | 0 | 34 |1212k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
853.96/854.21 c 795s| 2110k| 112 | 261 | 0.0 |5567k| 189 | - | 402 |1141 | 0 | 0 | 34 |1217k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
857.86/858.16 c 798s| 2120k| 115 | 261 | 0.0 |5578k| 189 | - | 402 |1150 | 0 | 0 | 34 |1223k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
861.76/862.06 c 802s| 2130k| 109 | 261 | 0.0 |5565k| 189 | - | 402 |1140 | 0 | 0 | 34 |1228k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
866.56/866.83 c 806s| 2140k| 113 | 261 | 0.0 |5575k| 189 | - | 402 |1141 | 0 | 0 | 34 |1234k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
871.65/871.99 c 811s| 2150k| 109 | 261 | 0.0 |5573k| 189 | - | 402 |1142 | 0 | 0 | 34 |1241k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
876.15/876.43 c 815s| 2160k| 112 | 261 | 0.0 |5568k| 189 | - | 402 |1141 | 0 | 0 | 34 |1247k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
879.95/880.21 c 819s| 2170k| 121 | 261 | 0.0 |5570k| 189 | - | 402 |1140 | 0 | 0 | 34 |1252k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
884.06/884.39 c 823s| 2180k| 109 | 261 | 0.0 |5577k| 189 | - | 402 |1144 | 0 | 0 | 34 |1258k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
888.15/888.42 c 827s| 2190k| 109 | 261 | 0.0 |5570k| 189 | - | 402 |1141 | 0 | 0 | 34 |1263k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
892.05/892.30 c 830s| 2200k| 108 | 261 | 0.0 |5578k| 189 | - | 402 |1167 | 0 | 0 | 34 |1268k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
896.04/896.35 c 834s| 2210k| 108 | 261 | 0.0 |5587k| 189 | - | 402 |1171 | 0 | 0 | 34 |1274k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
900.24/900.55 c 838s| 2220k| 121 | 261 | 0.0 |5568k| 189 | - | 402 |1135 | 0 | 0 | 34 |1280k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
904.15/904.47 c 842s| 2230k| 110 | 261 | 0.0 |5566k| 189 | - | 402 |1138 | 0 | 0 | 34 |1285k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
908.15/908.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
908.15/908.46 c 845s| 2240k| 117 | 261 | 0.0 |5578k| 189 | - | 402 |1152 | 0 | 0 | 34 |1290k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
912.44/912.73 c 849s| 2250k| 113 | 261 | 0.0 |5583k| 189 | - | 402 |1164 | 0 | 0 | 34 |1296k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
916.45/916.71 c 853s| 2260k| 112 | 261 | 0.0 |5574k| 189 | - | 402 |1152 | 0 | 0 | 34 |1301k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
920.35/920.64 c 857s| 2270k| 114 | 261 | 0.0 |5569k| 189 | - | 402 |1138 | 0 | 0 | 34 |1306k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
924.25/924.55 c 860s| 2280k| 111 | 261 | 0.0 |5568k| 189 | - | 402 |1138 | 0 | 0 | 34 |1312k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
928.05/928.32 c 864s| 2290k| 113 | 261 | 0.0 |5575k| 189 | - | 402 |1150 | 0 | 0 | 34 |1317k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
932.24/932.56 c 868s| 2300k| 124 | 261 | 0.0 |5575k| 189 | - | 402 |1145 | 0 | 0 | 34 |1323k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
936.24/936.53 c 872s| 2310k| 109 | 261 | 0.0 |5570k| 189 | - | 402 |1147 | 0 | 0 | 34 |1328k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
940.93/941.23 c 876s| 2320k| 115 | 261 | 0.0 |5569k| 189 | - | 402 |1139 | 0 | 0 | 34 |1334k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
945.14/945.45 c 880s| 2330k| 111 | 261 | 0.0 |5572k| 189 | - | 402 |1136 | 0 | 0 | 34 |1340k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
949.04/949.35 c 883s| 2340k| 112 | 261 | 0.0 |5569k| 189 | - | 402 |1140 | 0 | 0 | 34 |1345k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
953.34/953.61 c 887s| 2350k| 122 | 261 | 0.0 |5569k| 189 | - | 402 |1138 | 0 | 0 | 34 |1351k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
957.14/957.48 c 891s| 2360k| 106 | 261 | 0.0 |5581k| 189 | - | 402 |1161 | 0 | 0 | 34 |1356k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
961.23/961.51 c 895s| 2370k| 106 | 261 | 0.0 |5570k| 189 | - | 402 |1145 | 0 | 0 | 34 |1362k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
965.54/965.86 c 899s| 2380k| 109 | 261 | 0.0 |5576k| 189 | - | 402 |1156 | 0 | 0 | 34 |1367k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
969.63/969.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
969.63/969.99 c 903s| 2390k| 115 | 261 | 0.0 |5579k| 189 | - | 402 |1156 | 0 | 0 | 34 |1373k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
973.73/974.09 c 907s| 2400k| 119 | 261 | 0.0 |5579k| 189 | - | 402 |1158 | 0 | 0 | 34 |1379k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
979.03/979.36 c 911s| 2410k| 121 | 261 | 0.0 |5575k| 189 | - | 402 |1147 | 0 | 0 | 34 |1386k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
983.33/983.62 c 915s| 2420k| 119 | 261 | 0.0 |5582k| 189 | - | 402 |1159 | 0 | 0 | 34 |1391k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
987.72/988.00 c 920s| 2430k| 129 | 261 | 0.0 |5587k| 189 | - | 402 |1174 | 0 | 0 | 34 |1397k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
992.43/992.74 c 924s| 2440k| 113 | 261 | 0.0 |5577k| 189 | - | 402 |1157 | 0 | 0 | 34 |1403k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
997.33/997.66 c 929s| 2450k| 104 | 261 | 0.0 |5578k| 189 | - | 402 |1157 | 0 | 0 | 34 |1410k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1001.73/1002.01 c 933s| 2460k| 117 | 261 | 0.0 |5579k| 189 | - | 402 |1157 | 0 | 0 | 34 |1416k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1005.52/1005.89 c 936s| 2470k| 113 | 261 | 0.0 |5585k| 189 | - | 402 |1167 | 0 | 0 | 34 |1421k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1009.12/1009.44 c 940s| 2480k| 111 | 261 | 0.0 |5579k| 189 | - | 402 |1156 | 0 | 0 | 34 |1426k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1013.22/1013.51 c 943s| 2490k| 114 | 261 | 0.0 |5580k| 189 | - | 402 |1160 | 0 | 0 | 34 |1432k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1017.42/1017.74 c 947s| 2500k| 120 | 261 | 0.0 |5585k| 189 | - | 402 |1168 | 0 | 0 | 34 |1438k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1021.42/1021.79 c 951s| 2510k| 102 | 261 | 0.0 |5577k| 189 | - | 402 |1162 | 0 | 0 | 34 |1444k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1025.41/1025.76 c 955s| 2520k| 109 | 261 | 0.0 |5580k| 189 | - | 402 |1161 | 0 | 0 | 34 |1449k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1029.33/1029.63 c 958s| 2530k| 106 | 261 | 0.0 |5581k| 189 | - | 402 |1164 | 0 | 0 | 34 |1454k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1033.41/1033.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.41/1033.71 c 962s| 2540k| 112 | 261 | 0.0 |5581k| 189 | - | 402 |1162 | 0 | 0 | 34 |1460k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1037.31/1037.64 c 966s| 2550k| 116 | 261 | 0.0 |5581k| 189 | - | 402 |1160 | 0 | 0 | 34 |1466k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1041.42/1041.75 c 970s| 2560k| 111 | 261 | 0.0 |5578k| 189 | - | 402 |1159 | 0 | 0 | 34 |1471k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1045.61/1045.99 c 974s| 2570k| 108 | 261 | 0.0 |5583k| 189 | - | 402 |1170 | 0 | 0 | 34 |1477k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1050.11/1050.44 c 978s| 2580k| 118 | 261 | 0.0 |5591k| 189 | - | 402 |1182 | 0 | 0 | 34 |1483k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1054.31/1054.64 c 982s| 2590k| 103 | 261 | 0.0 |5588k| 189 | - | 402 |1184 | 0 | 0 | 34 |1488k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1058.21/1058.54 c 985s| 2600k| 109 | 261 | 0.0 |5576k| 189 | - | 402 |1150 | 0 | 0 | 34 |1493k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1062.41/1062.75 c 989s| 2610k| 107 | 261 | 0.0 |5573k| 189 | - | 402 |1145 | 0 | 0 | 34 |1499k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1066.21/1066.52 c 993s| 2620k| 106 | 261 | 0.0 |5577k| 189 | - | 402 |1153 | 0 | 0 | 34 |1504k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1070.20/1070.51 c 997s| 2630k| 119 | 261 | 0.0 |5576k| 189 | - | 402 |1145 | 0 | 0 | 34 |1509k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1075.30/1075.60 c 1001s| 2640k| 112 | 261 | 0.0 |5582k| 189 | - | 402 |1156 | 0 | 0 | 34 |1515k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1079.81/1080.17 c 1006s| 2650k| 116 | 261 | 0.0 |5579k| 189 | - | 402 |1147 | 0 | 0 | 34 |1521k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1083.90/1084.23 c 1009s| 2660k| 110 | 261 | 0.0 |5576k| 189 | - | 402 |1145 | 0 | 0 | 34 |1527k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1088.20/1088.58 c 1014s| 2670k| 109 | 261 | 0.0 |5582k| 189 | - | 402 |1162 | 0 | 0 | 34 |1533k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1092.10/1092.44 c 1017s| 2680k| 119 | 261 | 0.0 |5580k| 189 | - | 402 |1153 | 0 | 0 | 34 |1539k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1096.30/1096.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1096.30/1096.69 c 1021s| 2690k| 115 | 261 | 0.0 |5577k| 189 | - | 402 |1148 | 0 | 0 | 34 |1545k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1100.60/1100.95 c 1025s| 2700k| 118 | 261 | 0.0 |5583k| 189 | - | 402 |1147 | 0 | 0 | 34 |1550k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1104.49/1104.88 c 1029s| 2710k| 120 | 261 | 0.0 |5581k| 189 | - | 402 |1153 | 0 | 0 | 34 |1556k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1108.41/1108.75 c 1032s| 2720k| 116 | 261 | 0.0 |5576k| 189 | - | 402 |1143 | 0 | 0 | 34 |1561k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1112.39/1112.78 c 1036s| 2730k| 109 | 261 | 0.0 |5575k| 189 | - | 402 |1145 | 0 | 0 | 34 |1566k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1116.40/1116.72 c 1040s| 2740k| 112 | 261 | 0.0 |5581k| 189 | - | 402 |1156 | 0 | 0 | 34 |1572k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1120.39/1120.73 c 1044s| 2750k| 109 | 261 | 0.0 |5577k| 189 | - | 402 |1149 | 0 | 0 | 34 |1577k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1124.29/1124.67 c 1047s| 2760k| 130 | 261 | 0.0 |5582k| 189 | - | 402 |1149 | 0 | 0 | 34 |1583k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1128.39/1128.79 c 1051s| 2770k| 112 | 261 | 0.0 |5580k| 189 | - | 402 |1152 | 0 | 0 | 34 |1588k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1132.60/1132.92 c 1055s| 2780k| 109 | 261 | 0.0 |5582k| 189 | - | 402 |1160 | 0 | 0 | 34 |1594k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1136.79/1137.17 c 1059s| 2790k| 103 | 261 | 0.0 |5583k| 189 | - | 402 |1159 | 0 | 0 | 34 |1600k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1141.39/1141.72 c 1063s| 2800k| 108 | 261 | 0.0 |5598k| 189 | - | 402 |1203 | 0 | 0 | 34 |1606k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1144.98/1145.39 c 1067s| 2810k| 111 | 261 | 0.0 |5587k| 189 | - | 402 |1159 | 0 | 0 | 34 |1611k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1148.98/1149.37 c 1070s| 2820k| 107 | 261 | 0.0 |5586k| 189 | - | 402 |1173 | 0 | 0 | 34 |1616k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1153.19/1153.53 c 1074s| 2830k| 110 | 261 | 0.0 |5578k| 189 | - | 402 |1153 | 0 | 0 | 34 |1622k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1157.19/1157.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1157.19/1157.57 c 1078s| 2840k| 119 | 261 | 0.0 |5575k| 189 | - | 402 |1141 | 0 | 0 | 34 |1628k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1162.29/1162.62 c 1083s| 2850k| 102 | 261 | 0.0 |5577k| 189 | - | 402 |1161 | 0 | 0 | 34 |1634k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1166.38/1166.71 c 1087s| 2860k| 105 | 261 | 0.0 |5572k| 189 | - | 402 |1140 | 0 | 0 | 34 |1640k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1170.58/1170.91 c 1090s| 2870k| 115 | 261 | 0.0 |5581k| 189 | - | 402 |1153 | 0 | 0 | 34 |1645k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1174.48/1174.83 c 1094s| 2880k| 108 | 261 | 0.0 |5577k| 189 | - | 402 |1153 | 0 | 0 | 34 |1651k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1179.38/1179.75 c 1099s| 2890k| 104 | 261 | 0.0 |5576k| 189 | - | 402 |1146 | 0 | 0 | 34 |1657k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1183.77/1184.10 c 1103s| 2900k| 118 | 261 | 0.0 |5580k| 189 | - | 402 |1142 | 0 | 0 | 34 |1663k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1187.87/1188.29 c 1107s| 2910k| 110 | 261 | 0.0 |5577k| 189 | - | 402 |1150 | 0 | 0 | 34 |1669k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1192.17/1192.53 c 1111s| 2920k| 107 | 261 | 0.0 |5590k| 189 | - | 402 |1160 | 0 | 0 | 34 |1674k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1196.48/1196.88 c 1115s| 2930k| 115 | 261 | 0.0 |5585k| 189 | - | 402 |1154 | 0 | 0 | 34 |1680k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1201.08/1201.46 c 1119s| 2940k| 120 | 261 | 0.0 |5577k| 189 | - | 402 |1143 | 0 | 0 | 34 |1686k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1205.67/1206.02 c 1123s| 2950k| 98 | 261 | 0.0 |5590k| 189 | - | 402 |1168 | 0 | 0 | 34 |1692k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1209.68/1210.02 c 1127s| 2960k| 105 | 261 | 0.0 |5584k| 189 | - | 402 |1152 | 0 | 0 | 34 |1698k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1213.87/1214.27 c 1131s| 2970k| 112 | 261 | 0.0 |5580k| 189 | - | 402 |1153 | 0 | 0 | 34 |1704k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1218.48/1218.84 c 1135s| 2980k| 106 | 261 | 0.0 |5586k| 189 | - | 402 |1168 | 0 | 0 | 34 |1709k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1222.57/1222.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1222.57/1222.94 c 1139s| 2990k| 114 | 261 | 0.0 |5578k| 189 | - | 402 |1145 | 0 | 0 | 34 |1715k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1227.07/1227.48 c 1143s| 3000k| 104 | 261 | 0.0 |5574k| 189 | - | 402 |1143 | 0 | 0 | 34 |1721k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1232.45/1232.85 c 1148s| 3010k| 105 | 261 | 0.0 |5575k| 189 | - | 402 |1141 | 0 | 0 | 34 |1727k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1236.65/1237.05 c 1152s| 3020k| 119 | 261 | 0.0 |5591k| 189 | - | 402 |1162 | 0 | 0 | 34 |1733k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1240.64/1241.02 c 1156s| 3030k| 112 | 261 | 0.0 |5580k| 189 | - | 402 |1149 | 0 | 0 | 34 |1739k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1244.86/1245.28 c 1160s| 3040k| 100 | 261 | 0.0 |5584k| 189 | - | 402 |1167 | 0 | 0 | 34 |1745k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1248.94/1249.31 c 1164s| 3050k| 110 | 261 | 0.0 |5584k| 189 | - | 402 |1160 | 0 | 0 | 34 |1751k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1253.04/1253.48 c 1167s| 3060k| 99 | 261 | 0.0 |5576k| 189 | - | 402 |1147 | 0 | 0 | 34 |1757k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1257.34/1257.79 c 1171s| 3070k| 112 | 261 | 0.0 |5590k| 189 | - | 402 |1173 | 0 | 0 | 34 |1762k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1261.64/1262.08 c 1176s| 3080k| 107 | 261 | 0.0 |5582k| 189 | - | 402 |1155 | 0 | 0 | 34 |1768k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1265.53/1265.96 c 1179s| 3090k| 112 | 261 | 0.0 |5579k| 189 | - | 402 |1149 | 0 | 0 | 34 |1774k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1269.34/1269.73 c 1183s| 3100k| 114 | 261 | 0.0 |5579k| 189 | - | 402 |1148 | 0 | 0 | 34 |1779k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1273.34/1273.75 c 1186s| 3110k| 106 | 261 | 0.0 |5589k| 189 | - | 402 |1171 | 0 | 0 | 34 |1784k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1277.33/1277.77 c 1190s| 3120k| 111 | 261 | 0.0 |5582k| 189 | - | 402 |1147 | 0 | 0 | 34 |1789k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1281.14/1281.54 c 1194s| 3130k| 104 | 261 | 0.0 |5582k| 189 | - | 402 |1157 | 0 | 0 | 34 |1795k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1285.23/1285.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1285.23/1285.66 c 1198s| 3140k| 112 | 261 | 0.0 |5582k| 189 | - | 402 |1154 | 0 | 0 | 34 |1800k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1289.43/1289.82 c 1201s| 3150k| 123 | 261 | 0.0 |5596k| 189 | - | 402 |1173 | 0 | 0 | 34 |1806k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1294.63/1295.07 c 1206s| 3160k| 114 | 261 | 0.0 |5592k| 189 | - | 402 |1176 | 0 | 0 | 34 |1812k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1299.03/1299.43 c 1210s| 3170k| 114 | 261 | 0.0 |5587k| 189 | - | 402 |1167 | 0 | 0 | 34 |1818k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1303.43/1303.87 c 1214s| 3180k| 100 | 261 | 0.0 |5586k| 189 | - | 402 |1169 | 0 | 0 | 34 |1824k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1307.72/1308.12 c 1218s| 3190k| 119 | 261 | 0.0 |5585k| 189 | - | 402 |1155 | 0 | 0 | 34 |1829k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1312.53/1312.94 c 1223s| 3200k| 124 | 261 | 0.0 |5590k| 189 | - | 402 |1162 | 0 | 0 | 34 |1835k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1316.73/1317.10 c 1227s| 3210k| 129 | 261 | 0.0 |5588k| 189 | - | 402 |1156 | 0 | 0 | 34 |1841k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1320.92/1321.31 c 1231s| 3220k| 108 | 261 | 0.0 |5586k| 189 | - | 402 |1162 | 0 | 0 | 34 |1847k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1324.92/1325.38 c 1235s| 3230k| 109 | 261 | 0.0 |5583k| 189 | - | 402 |1159 | 0 | 0 | 34 |1853k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1329.32/1329.76 c 1239s| 3240k| 106 | 261 | 0.0 |5582k| 189 | - | 402 |1157 | 0 | 0 | 34 |1858k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1333.83/1334.22 c 1243s| 3250k| 99 | 261 | 0.0 |5595k| 189 | - | 402 |1183 | 0 | 0 | 34 |1864k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1337.82/1338.30 c 1247s| 3260k| 114 | 261 | 0.0 |5594k| 189 | - | 402 |1166 | 0 | 0 | 34 |1870k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1342.01/1342.41 c 1251s| 3270k| 109 | 261 | 0.0 |5583k| 189 | - | 402 |1158 | 0 | 0 | 34 |1875k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1346.62/1347.04 c 1255s| 3280k| 113 | 261 | 0.0 |5586k| 189 | - | 402 |1160 | 0 | 0 | 34 |1882k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1350.62/1351.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1350.62/1351.02 c 1259s| 3290k| 114 | 261 | 0.0 |5582k| 189 | - | 402 |1148 | 0 | 0 | 34 |1887k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1355.01/1355.49 c 1263s| 3300k| 107 | 261 | 0.0 |5585k| 189 | - | 402 |1160 | 0 | 0 | 34 |1893k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1359.31/1359.75 c 1267s| 3310k| 106 | 261 | 0.0 |5577k| 189 | - | 402 |1144 | 0 | 0 | 34 |1899k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1363.31/1363.75 c 1270s| 3320k| 104 | 261 | 0.0 |5579k| 189 | - | 402 |1147 | 0 | 0 | 34 |1904k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1367.01/1367.44 c 1274s| 3330k| 113 | 261 | 0.0 |5578k| 189 | - | 402 |1144 | 0 | 0 | 34 |1909k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1371.51/1371.98 c 1278s| 3340k| 108 | 261 | 0.0 |5575k| 189 | - | 402 |1140 | 0 | 0 | 34 |1915k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1375.91/1376.34 c 1282s| 3350k| 106 | 261 | 0.0 |5578k| 189 | - | 402 |1145 | 0 | 0 | 34 |1921k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1380.40/1380.82 c 1286s| 3360k| 102 | 261 | 0.0 |5592k| 189 | - | 402 |1167 | 0 | 0 | 34 |1927k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1384.90/1385.35 c 1290s| 3370k| 102 | 261 | 0.0 |5579k| 189 | - | 402 |1149 | 0 | 0 | 34 |1933k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1389.20/1389.67 c 1294s| 3380k| 99 | 261 | 0.0 |5586k| 189 | - | 402 |1167 | 0 | 0 | 34 |1939k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1393.40/1393.89 c 1298s| 3390k| 120 | 261 | 0.0 |5587k| 189 | - | 402 |1158 | 0 | 0 | 34 |1944k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1398.30/1398.76 c 1303s| 3400k| 99 | 261 | 0.0 |5584k| 189 | - | 402 |1169 | 0 | 0 | 34 |1951k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1402.60/1403.00 c 1307s| 3410k| 110 | 261 | 0.0 |5580k| 189 | - | 402 |1146 | 0 | 0 | 34 |1957k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1407.20/1407.63 c 1311s| 3420k| 106 | 261 | 0.0 |5574k| 189 | - | 402 |1137 | 0 | 0 | 34 |1963k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1411.40/1411.87 c 1315s| 3430k| 114 | 261 | 0.0 |5579k| 189 | - | 402 |1140 | 0 | 0 | 34 |1969k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1415.39/1415.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1415.39/1415.86 c 1319s| 3440k| 97 | 261 | 0.0 |5583k| 189 | - | 402 |1149 | 0 | 0 | 34 |1974k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1419.50/1419.99 c 1323s| 3450k| 102 | 261 | 0.0 |5577k| 189 | - | 402 |1145 | 0 | 0 | 34 |1979k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1423.40/1423.81 c 1326s| 3460k| 110 | 261 | 0.0 |5579k| 189 | - | 402 |1145 | 0 | 0 | 34 |1985k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1427.50/1427.95 c 1330s| 3470k| 125 | 261 | 0.0 |5600k| 189 | - | 402 |1183 | 0 | 0 | 34 |1990k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1432.69/1433.15 c 1335s| 3480k| 103 | 261 | 0.0 |5581k| 189 | - | 402 |1152 | 0 | 0 | 34 |1997k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1438.08/1438.51 c 1340s| 3490k| 112 | 261 | 0.0 |5585k| 189 | - | 402 |1150 | 0 | 0 | 34 |2004k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1441.98/1442.45 c 1343s| 3500k| 103 | 261 | 0.0 |5577k| 189 | - | 402 |1143 | 0 | 0 | 34 |2009k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1446.38/1446.89 c 1348s| 3510k| 112 | 261 | 0.0 |5580k| 189 | - | 402 |1146 | 0 | 0 | 34 |2015k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1450.78/1451.23 c 1352s| 3520k| 109 | 261 | 0.0 |5581k| 189 | - | 402 |1150 | 0 | 0 | 34 |2021k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1454.79/1455.30 c 1356s| 3530k| 97 | 261 | 0.0 |5580k| 189 | - | 402 |1156 | 0 | 0 | 34 |2027k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1459.48/1459.90 c 1360s| 3540k| 109 | 261 | 0.0 |5584k| 189 | - | 402 |1143 | 0 | 0 | 34 |2032k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1463.38/1463.85 c 1364s| 3550k| 117 | 261 | 0.0 |5589k| 189 | - | 402 |1152 | 0 | 0 | 34 |2038k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1468.28/1468.71 c 1368s| 3560k| 116 | 261 | 0.0 |5579k| 189 | - | 402 |1137 | 0 | 0 | 34 |2044k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1472.78/1473.23 c 1372s| 3570k| 114 | 261 | 0.0 |5581k| 189 | - | 402 |1145 | 0 | 0 | 34 |2050k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1476.48/1476.95 c 1376s| 3580k| 102 | 261 | 0.0 |5583k| 189 | - | 402 |1146 | 0 | 0 | 34 |2055k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1480.28/1480.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.28/1480.79 c 1379s| 3590k| 108 | 261 | 0.0 |5583k| 189 | - | 402 |1150 | 0 | 0 | 34 |2061k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1484.78/1485.21 c 1384s| 3600k| 133 | 261 | 0.0 |5582k| 189 | - | 402 |1137 | 0 | 0 | 34 |2067k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1488.57/1489.07 c 1387s| 3610k| 123 | 261 | 0.0 |5579k| 189 | - | 402 |1137 | 0 | 0 | 34 |2072k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1493.17/1493.69 c 1391s| 3620k| 102 | 261 | 0.0 |5581k| 189 | - | 402 |1152 | 0 | 0 | 34 |2078k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1497.37/1497.84 c 1395s| 3630k| 102 | 261 | 0.0 |5586k| 189 | - | 402 |1154 | 0 | 0 | 34 |2084k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1501.47/1501.93 c 1399s| 3640k| 103 | 261 | 0.0 |5582k| 189 | - | 402 |1150 | 0 | 0 | 34 |2089k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1505.76/1506.20 c 1403s| 3650k| 108 | 261 | 0.0 |5585k| 189 | - | 402 |1156 | 0 | 0 | 34 |2094k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1510.17/1510.61 c 1407s| 3660k| 117 | 261 | 0.0 |5584k| 189 | - | 402 |1151 | 0 | 0 | 34 |2100k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1514.27/1514.71 c 1411s| 3670k| 112 | 261 | 0.0 |5583k| 189 | - | 402 |1147 | 0 | 0 | 34 |2105k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1518.37/1518.87 c 1415s| 3680k| 116 | 261 | 0.0 |5591k| 189 | - | 402 |1165 | 0 | 0 | 34 |2111k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1522.57/1523.00 c 1419s| 3690k| 109 | 261 | 0.0 |5582k| 189 | - | 402 |1145 | 0 | 0 | 34 |2116k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1526.86/1527.33 c 1423s| 3700k| 109 | 261 | 0.0 |5586k| 189 | - | 402 |1153 | 0 | 0 | 34 |2122k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1531.17/1531.60 c 1427s| 3710k| 108 | 261 | 0.0 |5581k| 189 | - | 402 |1148 | 0 | 0 | 34 |2128k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1535.36/1535.82 c 1431s| 3720k| 103 | 261 | 0.0 |5589k| 189 | - | 402 |1152 | 0 | 0 | 34 |2134k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1540.36/1540.81 c 1435s| 3730k| 110 | 261 | 0.0 |5588k| 189 | - | 402 |1167 | 0 | 0 | 34 |2140k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1544.56/1545.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1544.56/1545.07 c 1439s| 3740k| 114 | 261 | 0.0 |5582k| 189 | - | 402 |1143 | 0 | 0 | 34 |2146k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1548.15/1548.68 c 1443s| 3750k| 101 | 261 | 0.0 |5582k| 189 | - | 402 |1154 | 0 | 0 | 34 |2151k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1552.35/1552.88 c 1447s| 3760k| 114 | 261 | 0.0 |5580k| 189 | - | 402 |1140 | 0 | 0 | 34 |2157k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1557.55/1558.07 c 1452s| 3770k| 116 | 261 | 0.0 |5580k| 189 | - | 402 |1141 | 0 | 0 | 34 |2163k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1562.56/1563.05 c 1456s| 3780k| 104 | 261 | 0.0 |5577k| 189 | - | 402 |1141 | 0 | 0 | 34 |2169k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1567.25/1567.72 c 1460s| 3790k| 125 | 261 | 0.0 |5583k| 189 | - | 402 |1137 | 0 | 0 | 34 |2176k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1572.25/1572.77 c 1465s| 3800k| 108 | 261 | 0.0 |5594k| 189 | - | 402 |1184 | 0 | 0 | 34 |2182k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1576.64/1577.10 c 1469s| 3810k| 102 | 261 | 0.0 |5575k| 189 | - | 402 |1138 | 0 | 0 | 34 |2188k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1580.95/1581.40 c 1473s| 3820k| 111 | 261 | 0.0 |5584k| 189 | - | 402 |1153 | 0 | 0 | 34 |2193k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1584.95/1585.43 c 1477s| 3830k| 111 | 261 | 0.0 |5582k| 189 | - | 402 |1147 | 0 | 0 | 34 |2198k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1589.55/1590.02 c 1481s| 3840k| 119 | 261 | 0.0 |5586k| 189 | - | 402 |1152 | 0 | 0 | 34 |2204k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1595.34/1595.82 c 1487s| 3850k| 121 | 261 | 0.0 |5589k| 189 | - | 402 |1153 | 0 | 0 | 34 |2211k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1600.34/1600.81 c 1491s| 3860k| 108 | 261 | 0.0 |5592k| 189 | - | 402 |1156 | 0 | 0 | 34 |2217k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1605.64/1606.19 c 1496s| 3870k| 108 | 261 | 0.0 |5586k| 189 | - | 402 |1155 | 0 | 0 | 34 |2224k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1610.24/1610.71 c 1500s| 3880k| 130 | 261 | 0.0 |5589k| 189 | - | 402 |1151 | 0 | 0 | 34 |2230k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1614.24/1614.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1614.24/1614.77 c 1504s| 3890k| 123 | 261 | 0.0 |5589k| 189 | - | 402 |1147 | 0 | 0 | 34 |2236k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1618.04/1618.59 c 1508s| 3900k| 114 | 261 | 0.0 |5585k| 189 | - | 402 |1149 | 0 | 0 | 34 |2242k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1621.95/1622.45 c 1511s| 3910k| 103 | 261 | 0.0 |5586k| 189 | - | 402 |1152 | 0 | 0 | 34 |2247k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1626.73/1627.26 c 1516s| 3920k| 110 | 261 | 0.0 |5584k| 189 | - | 402 |1148 | 0 | 0 | 34 |2254k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1631.34/1631.82 c 1520s| 3930k| 107 | 261 | 0.0 |5581k| 189 | - | 402 |1143 | 0 | 0 | 34 |2260k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1635.93/1636.47 c 1524s| 3940k| 108 | 261 | 0.0 |5586k| 189 | - | 402 |1149 | 0 | 0 | 34 |2267k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1640.73/1641.22 c 1529s| 3950k| 117 | 261 | 0.0 |5591k| 189 | - | 402 |1160 | 0 | 0 | 34 |2273k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1645.43/1645.91 c 1533s| 3960k| 102 | 261 | 0.0 |5589k| 189 | - | 402 |1163 | 0 | 0 | 34 |2279k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1649.44/1649.90 c 1537s| 3970k| 108 | 261 | 0.0 |5583k| 189 | - | 402 |1143 | 0 | 0 | 34 |2285k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1653.43/1653.97 c 1541s| 3980k| 103 | 261 | 0.0 |5591k| 189 | - | 402 |1162 | 0 | 0 | 34 |2291k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1657.53/1658.04 c 1544s| 3990k| 106 | 261 | 0.0 |5592k| 189 | - | 402 |1169 | 0 | 0 | 34 |2297k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1661.53/1662.00 c 1548s| 4000k| 106 | 261 | 0.0 |5588k| 189 | - | 402 |1145 | 0 | 0 | 34 |2303k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1665.63/1666.16 c 1552s| 4010k| 99 | 261 | 0.0 |5587k| 189 | - | 402 |1154 | 0 | 0 | 34 |2308k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1669.72/1670.20 c 1556s| 4020k| 108 | 261 | 0.0 |5582k| 189 | - | 402 |1141 | 0 | 0 | 34 |2314k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1673.62/1674.20 c 1560s| 4030k| 110 | 261 | 0.0 |5590k| 189 | - | 402 |1158 | 0 | 0 | 34 |2319k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1678.13/1678.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1678.13/1678.66 c 1564s| 4040k| 110 | 261 | 0.0 |5581k| 189 | - | 402 |1140 | 0 | 0 | 34 |2325k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1682.62/1683.13 c 1568s| 4050k| 107 | 261 | 0.0 |5586k| 189 | - | 402 |1152 | 0 | 0 | 34 |2331k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1686.72/1687.25 c 1572s| 4060k| 111 | 261 | 0.0 |5587k| 189 | - | 402 |1149 | 0 | 0 | 34 |2337k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1691.42/1691.94 c 1576s| 4070k| 121 | 261 | 0.0 |5600k| 189 | - | 402 |1171 | 0 | 0 | 34 |2342k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1696.22/1696.74 c 1581s| 4080k| 105 | 261 | 0.0 |5587k| 189 | - | 402 |1145 | 0 | 0 | 34 |2348k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1700.62/1701.14 c 1585s| 4090k| 110 | 261 | 0.0 |5583k| 189 | - | 402 |1143 | 0 | 0 | 34 |2354k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1704.81/1705.37 c 1589s| 4100k| 100 | 261 | 0.0 |5582k| 189 | - | 402 |1143 | 0 | 0 | 34 |2360k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1709.21/1709.78 c 1593s| 4110k| 104 | 261 | 0.0 |5586k| 189 | - | 402 |1150 | 0 | 0 | 34 |2365k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1714.01/1714.51 c 1597s| 4120k| 127 | 261 | 0.0 |5588k| 189 | - | 402 |1140 | 0 | 0 | 34 |2371k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1718.11/1718.68 c 1601s| 4130k| 112 | 261 | 0.0 |5587k| 189 | - | 402 |1146 | 0 | 0 | 34 |2377k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1722.21/1722.71 c 1605s| 4140k| 117 | 261 | 0.0 |5595k| 189 | - | 402 |1145 | 0 | 0 | 34 |2383k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1726.31/1726.88 c 1609s| 4150k| 107 | 261 | 0.0 |5593k| 189 | - | 402 |1159 | 0 | 0 | 34 |2388k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1731.41/1731.93 c 1613s| 4160k| 110 | 261 | 0.0 |5586k| 189 | - | 402 |1147 | 0 | 0 | 34 |2394k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1736.01/1736.53 c 1618s| 4170k| 110 | 261 | 0.0 |5585k| 189 | - | 402 |1143 | 0 | 0 | 34 |2400k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1740.41/1740.93 c 1622s| 4180k| 95 | 261 | 0.0 |5589k| 189 | - | 402 |1159 | 0 | 0 | 34 |2406k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1745.51/1746.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1745.51/1746.08 c 1627s| 4190k| 113 | 261 | 0.0 |5584k| 189 | - | 402 |1142 | 0 | 0 | 34 |2412k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1750.50/1751.03 c 1631s| 4200k| 109 | 261 | 0.0 |5582k| 189 | - | 402 |1138 | 0 | 0 | 34 |2418k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1754.70/1755.20 c 1635s| 4210k| 102 | 261 | 0.0 |5586k| 189 | - | 402 |1151 | 0 | 0 | 34 |2424k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1759.20/1759.71 c 1639s| 4220k| 111 | 261 | 0.0 |5599k| 189 | - | 402 |1167 | 0 | 0 | 34 |2431k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1763.30/1763.80 c 1643s| 4230k| 96 | 261 | 0.0 |5590k| 189 | - | 402 |1157 | 0 | 0 | 34 |2437k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1767.10/1767.66 c 1647s| 4240k| 104 | 261 | 0.0 |5587k| 189 | - | 402 |1153 | 0 | 0 | 34 |2442k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1771.29/1771.84 c 1650s| 4250k| 106 | 261 | 0.0 |5587k| 189 | - | 402 |1148 | 0 | 0 | 34 |2448k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1775.10/1775.68 c 1654s| 4260k| 106 | 261 | 0.0 |5598k| 189 | - | 402 |1157 | 0 | 0 | 34 |2454k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1778.99/1779.57 c 1658s| 4270k| 124 | 261 | 0.0 |5595k| 189 | - | 402 |1145 | 0 | 0 | 34 |2459k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1783.89/1784.40 c 1662s| 4280k| 99 | 261 | 0.0 |5581k| 189 | - | 402 |1138 | 0 | 0 | 34 |2465k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1788.10/1788.68 c 1666s| 4290k| 106 | 261 | 0.0 |5587k| 189 | - | 402 |1150 | 0 | 0 | 34 |2471k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1792.29/1792.85 c 1670s| 4300k| 100 | 261 | 0.0 |5580k| 189 | - | 402 |1137 | 0 | 0 | 34 |2476k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1797.09/1797.61 c 1675s| 4310k| 94 | 261 | 0.0 |5582k| 189 | - | 402 |1145 | 0 | 0 | 34 |2482k| 37 | 1.200000e+01 | 1.400000e+01 | 16.67%
1800.10/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61 c
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time (sec) : 1677.36
1800.10/1800.61 c Solving Nodes : 4317257
1800.10/1800.61 c Primal Bound : +1.40000000000000e+01 (10 solutions)
1800.10/1800.61 c Dual Bound : +1.20000000000000e+01
1800.10/1800.61 c Gap : 16.67 %
1800.10/1800.61 s SATISFIABLE
1800.10/1800.61 v x81 x80 x79 x78 x77 -x76 x75 -x74 x73 x72 -x739 -x71 x70 x69 -x736 x68 x67 x66 x65 -x64 x63 -x734 -x732 -x730 -x728 -x62 -x61 x60
1800.10/1800.61 v -x726 -x59 x58 -x724 -x57 -x722 -x720 -x718 -x716 -x56 -x713 -x711 -x709 -x707 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689
1800.10/1800.61 v -x687 -x684 -x680 -x678 -x55 -x54 x53 -x676 -x673 -x671 -x668 -x666 x52 -x663 -x51 -x659 x50 -x49 x48 -x47 x46 -x45 -x657
1800.10/1800.61 v x655 x44 -x653 -x651 -x647 -x644 -x43 x42 -x41 x40 -x642 -x639 -x636 -x634 -x39 -x632 -x630 -x628 -x626 -x624 -x38 -x622 x37
1800.10/1800.61 v -x36 x35 -x617 -x615 -x613 -x611 -x34 -x607 -x605 -x603 x33 -x601 -x599 -x597 -x594 -x592 -x32 -x590 -x588 -x586 -x584 -x580
1800.10/1800.61 v -x578 -x576 -x574 -x31 -x572 -x569 -x567 -x565 -x563 -x561 -x558 -x556 -x554 -x552 -x550 -x548 -x546 -x544 -x542 -x540 -x538
1800.10/1800.61 v -x536 -x534 -x532 -x530 -x528 -x526 -x523 -x521 -x30 -x519 -x29 -x516 -x514 -x28 -x512 -x27 -x510 -x508 -x506 -x503 -x501 -x499
1800.10/1800.61 v -x496 -x494 -x492 -x490 -x488 x486 -x484 -x482 -x480 -x477 x26 -x475 -x473 -x471 -x25 -x469 -x467 -x465 -x463 -x460 -x458
1800.10/1800.61 v -x456 -x454 -x452 -x450 -x24 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 x23 -x428 -x426 -x424 -x422 -x420
1800.10/1800.61 v -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x385 -x383 -x381 -x379 -x377
1800.10/1800.61 v -x375 -x373 -x371 x369 -x366 -x22 -x363 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x21 -x343 -x341 -x338 -x336 -x334 -x332
1800.10/1800.61 v -x330 -x328 -x326 -x324 -x20 -x321 -x319 -x317 -x314 -x312 -x310 -x307 -x305 -x303 -x301 -x299 -x297 -x295 -x292 -x290 -x288
1800.10/1800.61 v -x286 x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 x19 -x18 x17 x263 x16 -x261 -x259 -x15 -x257 x14 -x13 -x252 -x12
1800.10/1800.61 v -x250 -x248 -x245 -x11 -x243 -x241 -x239 -x237 -x235 -x10 -x233 -x231 -x229 -x227 -x225 -x9 -x222 -x220 -x217 -x215 -x212
1800.10/1800.61 v -x210 -x208 -x206 -x204 -x202 -x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x8 -x181 -x179 -x177 -x175 -x173 -x171
1800.10/1800.61 v -x169 -x167 -x165 x163 -x160 -x158 -x156 -x154 x7 -x6 -x151 -x5 -x149 -x147 -x145 -x143 -x4 -x141 -x139 x3 -x136 -x134 -x132
1800.10/1800.61 v -x129 x127 x2 -x125 -x122 -x120 -x118 -x116 -x114 -x1 -x112 -x110 -x108 -x106 -x104 -x102 -x100 -x98 -x96 -x94 -x92 -x90 -x88
1800.10/1800.61 v x86 -x84 -x82 -x741 -x740 -x738 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x714 -x712 -x710 -x708
1800.10/1800.61 v -x706 -x705 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x685 -x683 -x682 -x681 -x679 -x677 -x675 -x674 -x672
1800.10/1800.61 v -x670 -x669 -x667 x665 -x664 -x662 -x661 -x660 -x658 x656 -x654 -x652 -x650 -x649 -x648 -x646 -x645 -x643 -x641 -x640 -x638
1800.10/1800.61 v -x637 -x635 -x633 -x631 -x629 -x627 -x625 -x623 x621 -x620 -x619 -x618 -x616 -x614 -x612 -x610 -x609 -x608 -x606 -x604 -x602
1800.10/1800.61 v -x600 -x598 -x596 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x582 -x581 -x579 -x577 -x575 -x573 -x571 -x570 -x568 -x566 -x564
1800.10/1800.61 v -x562 -x560 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525
1800.10/1800.61 v -x524 -x522 -x520 -x518 -x517 -x515 -x513 -x511 -x509 -x507 -x505 -x504 -x502 -x500 -x498 -x497 -x495 -x493 -x491 -x489 x487
1800.10/1800.61 v -x485 -x483 -x481 -x479 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x461 -x459 -x457 -x455 -x453 -x451 -x449 -x447
1800.10/1800.61 v -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x409 -x407 -x405
1800.10/1800.61 v -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 x370 -x368 -x367 -x365
1800.10/1800.61 v -x364 -x362 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x344 -x342 -x340 -x339 -x337 -x335 -x333 -x331 -x329 -x327
1800.10/1800.61 v -x325 -x323 -x322 -x320 -x318 -x316 -x315 -x313 -x311 -x309 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x293 -x291 -x289
1800.10/1800.61 v -x287 -x285 -x284 x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 x264 -x262 -x260 -x258 x256 -x255 -x254 -x253
1800.10/1800.61 v -x251 -x249 -x247 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x223 -x221 x219 -x218 -x216 -x214
1800.10/1800.61 v -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x182 -x180 -x178 -x176 -x174
1800.10/1800.61 v -x172 -x170 -x168 -x166 x164 -x162 -x161 -x159 -x157 -x155 x153 -x152 -x150 -x148 -x146 -x144 -x142 -x140 x138 -x137 -x135
1800.10/1800.61 v -x133 -x131 -x130 x128 -x126 -x124 -x123 -x121 -x119 -x117 -x115 -x113 -x111 -x109 -x107 -x105 -x103 -x101 -x99 -x97 -x95 -x93
1800.10/1800.61 v -x91 -x89 x87 -x85 -x83
1800.10/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.10/1800.61 c Solving Time : 1677.36
1800.10/1800.61 c Original Problem :
1800.10/1800.61 c Problem name : HOME/instance-2666811-1276638029.opb
1800.10/1800.61 c Variables : 741 (741 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 2072 initial, 2072 maximal
1800.10/1800.61 c Presolved Problem :
1800.10/1800.61 c Problem name : t_HOME/instance-2666811-1276638029.opb
1800.10/1800.61 c Variables : 402 (402 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61 c Constraints : 1133 initial, 1249 maximal
1800.10/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.10/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.10/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.10/1800.61 c implics : 0.00 0 3 0 0 0 0 0 0
1800.10/1800.61 c probing : 0.03 0 6 0 0 0 0 0 0
1800.10/1800.61 c linear : 0.04 25 300 0 25 0 873 0 0
1800.10/1800.61 c logicor : 0.04 0 0 0 0 0 66 0 0
1800.10/1800.61 c root node : - 0 - - 0 - - - -
1800.10/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.10/1800.61 c logicor : 1133+ 8 11246635 0 1 1354785 22512984 0 0 0
1800.10/1800.61 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.10/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.10/1800.61 c integral : 0.65 0.00 0.00 0.65 0.00
1800.10/1800.61 c logicor : 350.24 0.00 350.24 0.00 0.00
1800.10/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.10/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.10/1800.61 c vbounds : 8.50 2 0 0
1800.10/1800.61 c rootredcost : 8.32 2 0 0
1800.10/1800.61 c pseudoobj : 609.66 19152788 1105964 154467333
1800.10/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.10/1800.61 c propagation : 227.61 2460749 2460749 2460749 31.3 88176 47.9 -
1800.10/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.10/1800.61 c pseudo solution : 0.01 1 1 1 72.0 0 0.0 -
1800.10/1800.61 c applied globally : - - - 1775663 23.1 - - -
1800.10/1800.61 c applied locally : - - - 710882 52.0 - - -
1800.10/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.10/1800.61 c cut pool : 0.01 7 - - 282 - (maximal pool size: 448)
1800.10/1800.61 c redcost : 0.00 8 0 0 0 0
1800.10/1800.61 c impliedbounds : 0.00 8 0 0 18 0
1800.10/1800.61 c intobj : 0.00 0 0 0 0 0
1800.10/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.10/1800.61 c gomory : 0.78 8 0 0 2506 0
1800.10/1800.61 c strongcg : 0.55 8 0 0 3186 0
1800.10/1800.61 c cmir : 0.07 8 0 0 3 0
1800.10/1800.61 c flowcover : 0.05 8 0 0 6 0
1800.10/1800.61 c clique : 0.00 8 0 0 19 0
1800.10/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.10/1800.61 c mcf : 0.01 1 0 0 0 0
1800.10/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.10/1800.61 c Pricers : Time Calls Vars
1800.10/1800.61 c problem variables: 0.00 0 0
1800.10/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.10/1800.61 c relpscost : 0.65 1 0 0 0 0 2
1800.10/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.10/1800.61 c inference : 130.92 3474265 0 0 0 0 6948530
1800.10/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.10/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.10/1800.61 c random : 0.00 0 0 0 0 0 0
1800.10/1800.61 c Primal Heuristics : Time Calls Found
1800.10/1800.61 c LP solutions : 0.00 - 0
1800.10/1800.61 c pseudo solutions : 0.00 - 1
1800.10/1800.61 c crossover : 0.00 0 0
1800.10/1800.61 c oneopt : 3.11 4 3
1800.10/1800.61 c trivial : 0.00 2 1
1800.10/1800.61 c simplerounding : 0.00 0 0
1800.10/1800.61 c zirounding : 0.00 1 0
1800.10/1800.61 c rounding : 0.00 9 0
1800.10/1800.61 c shifting : 0.00 9 5
1800.10/1800.61 c intshifting : 0.00 0 0
1800.10/1800.61 c twoopt : 0.00 0 0
1800.10/1800.61 c fixandinfer : 0.00 0 0
1800.10/1800.61 c feaspump : 0.00 0 0
1800.10/1800.62 c coefdiving : 0.00 0 0
1800.10/1800.62 c pscostdiving : 0.00 0 0
1800.10/1800.62 c fracdiving : 0.00 0 0
1800.10/1800.62 c veclendiving : 0.00 0 0
1800.10/1800.62 c intdiving : 0.00 0 0
1800.10/1800.62 c actconsdiving : 0.00 0 0
1800.10/1800.62 c objpscostdiving : 0.00 0 0
1800.10/1800.62 c rootsoldiving : 0.00 0 0
1800.10/1800.62 c linesearchdiving : 0.00 0 0
1800.10/1800.62 c guideddiving : 0.00 0 0
1800.10/1800.62 c octane : 0.00 0 0
1800.10/1800.62 c rens : 0.05 1 0
1800.10/1800.62 c rins : 0.00 0 0
1800.10/1800.62 c localbranching : 0.00 0 0
1800.10/1800.62 c mutation : 0.00 0 0
1800.10/1800.62 c dins : 0.00 0 0
1800.10/1800.62 c undercover : 0.00 0 0
1800.10/1800.62 c nlp : 1.81 0 0
1800.10/1800.62 c trysol : 2.01 0 0
1800.10/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.10/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.10/1800.62 c dual LP : 0.03 9 261 29.00 8700.00
1800.10/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.10/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.10/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.10/1800.62 c strong branching : 0.65 37 2906 78.54 4470.77
1800.10/1800.62 c (at root node) : - 37 2906 78.54 -
1800.10/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.10/1800.62 c B&B Tree :
1800.10/1800.62 c number of runs : 1
1800.10/1800.62 c nodes : 4317257
1800.10/1800.62 c nodes (total) : 4317257
1800.10/1800.62 c nodes left : 103
1800.10/1800.62 c max depth : 189
1800.10/1800.62 c max depth (total): 189
1800.10/1800.62 c backtracks : 1788958 (41.4%)
1800.10/1800.62 c delayed cutoffs : 2631166
1800.10/1800.62 c repropagations : 7647265 (118627048 domain reductions, 1617760 cutoffs)
1800.10/1800.62 c avg switch length: 4.48
1800.10/1800.62 c switching time : 296.44
1800.10/1800.62 c Solution :
1800.10/1800.62 c Solutions found : 10 (7 improvements)
1800.10/1800.62 c First Solution : +1.07000000000000e+02 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trivial>)
1800.10/1800.62 c Primal Bound : +1.40000000000000e+01 (in run 1, after 8362 nodes, 4.68 seconds, depth 148, found by <relaxation>)
1800.10/1800.62 c Dual Bound : +1.20000000000000e+01
1800.10/1800.62 c Gap : 16.67 %
1800.10/1800.62 c Root Dual Bound : +1.20000000000000e+01
1800.10/1800.62 c Root Iterations : 261
1800.10/1800.63 c Time complete: 1800.12.
OK 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666811-1276638029/watcher-2666811-1276638029 -o /tmp/evaluation-result-2666811-1276638029/solver-2666811-1276638029 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666811-1276638029.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11498 /proc/meminfo: memFree=1803356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=6696 CPUtime=0 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 990 0 0 0 0 0 0 0 18 0 1 0 5097922 6856704 910 1992294400 4194304 8223781 140735835194544 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11498/statm: 1674 921 347 984 0 687 0 [startup+0.043962 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11498 /proc/meminfo: memFree=1803356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=10496 CPUtime=0.03 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 1922 0 0 0 3 0 0 0 20 0 1 0 5097922 10747904 1842 1992294400 4194304 8223781 140735835194544 18446744073709551615 7256351 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11498/statm: 2624 1842 365 984 0 1637 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10496 [startup+0.10092 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11498 /proc/meminfo: memFree=1803356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=15888 CPUtime=0.09 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 4148 0 0 0 7 2 0 0 20 0 1 0 5097922 16269312 2933 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 3972 2933 452 984 0 2985 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15888 [startup+0.300934 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11498 /proc/meminfo: memFree=1803356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=20452 CPUtime=0.29 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 7041 0 0 0 25 4 0 0 20 0 1 0 5097922 20942848 4257 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 5113 4257 567 984 0 4126 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20452 [startup+0.700961 s] /proc/loadavg: 1.00 1.00 1.04 3/106 11498 /proc/meminfo: memFree=1803356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=25568 CPUtime=0.69 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 8686 0 0 0 63 6 0 0 20 0 1 0 5097922 26181632 5557 1992294400 4194304 8223781 140735835194544 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 6392 5557 567 984 0 5405 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25568 [startup+1.50102 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11499 /proc/meminfo: memFree=1780780/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=30468 CPUtime=1.49 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 9892 0 0 0 142 7 0 0 23 0 1 0 5097922 31199232 6743 1992294400 4194304 8223781 140735835194544 18446744073709551615 6056533 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 7617 6743 567 984 0 6630 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30468 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11499 /proc/meminfo: memFree=1776688/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=31232 CPUtime=3.09 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15296 0 0 0 296 13 0 0 25 0 1 0 5097922 31981568 6979 1992294400 4194304 8223781 140735835194544 18446744073709551615 4999875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 7808 6979 594 984 0 6821 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31232 [startup+6.30035 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11499 /proc/meminfo: memFree=1776564/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=31500 CPUtime=6.29 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15357 0 0 0 589 40 0 0 25 0 1 0 5097922 32256000 7040 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 7875 7040 595 984 0 6888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31500 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11499 /proc/meminfo: memFree=1776440/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=31768 CPUtime=12.69 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15403 0 0 0 1183 86 0 0 25 0 1 0 5097922 32530432 7086 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 7942 7086 595 984 0 6955 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31768 [startup+25.5007 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11499 /proc/meminfo: memFree=1776440/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=31900 CPUtime=25.48 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15463 0 0 0 2362 186 0 0 25 0 1 0 5097922 32665600 7146 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 7975 7146 595 984 0 6988 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31900 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.04 2/107 11501 /proc/meminfo: memFree=1776316/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=32164 CPUtime=51.08 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15513 0 0 0 4732 376 0 0 25 0 1 0 5097922 32935936 7196 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8041 7196 595 984 0 7054 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 32164 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11501 /proc/meminfo: memFree=1775820/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=32560 CPUtime=102.27 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15589 0 0 0 9484 743 0 0 25 0 1 0 5097922 33341440 7272 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8140 7272 595 984 0 7153 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 32560 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 11503 /proc/meminfo: memFree=1775324/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=32832 CPUtime=162.24 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15663 0 0 0 15076 1148 0 0 25 0 1 0 5097922 33619968 7346 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8208 7346 595 984 0 7221 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32832 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11505 /proc/meminfo: memFree=1774952/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33232 CPUtime=222.22 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15761 0 0 0 20692 1530 0 0 25 0 1 0 5097922 34029568 7444 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8308 7444 595 984 0 7321 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 33232 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 11507 /proc/meminfo: memFree=1774704/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33500 CPUtime=282.21 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15819 0 0 0 26312 1909 0 0 25 0 1 0 5097922 34304000 7502 1992294400 4194304 8223781 140735835194544 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8375 7502 595 984 0 7388 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33500 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 11509 /proc/meminfo: memFree=1774456/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33500 CPUtime=342.19 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15827 0 0 0 31906 2313 0 0 25 0 1 0 5097922 34304000 7510 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8375 7510 595 984 0 7388 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 33500 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11509 /proc/meminfo: memFree=1774332/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33636 CPUtime=402.18 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15842 0 0 0 37465 2753 0 0 25 0 1 0 5097922 34443264 7525 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8409 7525 595 984 0 7422 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 33636 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11511 /proc/meminfo: memFree=1774208/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33636 CPUtime=462.16 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15845 0 0 0 43031 3185 0 0 25 0 1 0 5097922 34443264 7528 1992294400 4194304 8223781 140735835194544 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8409 7528 595 984 0 7422 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 33636 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11513 /proc/meminfo: memFree=1774208/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33636 CPUtime=522.15 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15851 0 0 0 48622 3593 0 0 25 0 1 0 5097922 34443264 7534 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8409 7534 595 984 0 7422 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 33636 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11515 /proc/meminfo: memFree=1773960/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33636 CPUtime=582.13 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15853 0 0 0 54202 4011 0 0 25 0 1 0 5097922 34443264 7536 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8409 7536 595 984 0 7422 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 33636 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11517 /proc/meminfo: memFree=1773960/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33772 CPUtime=642.12 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15862 0 0 0 59772 4440 0 0 25 0 1 0 5097922 34582528 7545 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8443 7545 595 984 0 7456 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 33772 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11521 /proc/meminfo: memFree=1773588/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33772 CPUtime=822.07 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15875 0 0 0 76476 5731 0 0 25 0 1 0 5097922 34582528 7558 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8443 7558 595 984 0 7456 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 33772 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11523 /proc/meminfo: memFree=1773340/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33772 CPUtime=882.05 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15883 0 0 0 82092 6113 0 0 25 0 1 0 5097922 34582528 7566 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8443 7566 595 984 0 7456 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 33772 [startup+942.302 s] /proc/loadavg: 1.12 1.03 1.01 2/107 11525 /proc/meminfo: memFree=1773340/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33772 CPUtime=942.03 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15886 0 0 0 87690 6513 0 0 25 0 1 0 5097922 34582528 7569 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8443 7569 595 984 0 7456 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 33772 [startup+1002.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 11525 /proc/meminfo: memFree=1773216/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33772 CPUtime=1002.02 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15889 0 0 0 93289 6913 0 0 25 0 1 0 5097922 34582528 7572 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8443 7572 595 984 0 7456 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 33772 [startup+1062.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 11527 /proc/meminfo: memFree=1773092/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33912 CPUtime=1062.01 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15915 0 0 0 98899 7302 0 0 25 0 1 0 5097922 34725888 7598 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8478 7598 595 984 0 7491 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 33912 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11529 /proc/meminfo: memFree=1772968/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=33912 CPUtime=1121.99 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15918 0 0 0 104520 7679 0 0 25 0 1 0 5097922 34725888 7601 1992294400 4194304 8223781 140735835194544 18446744073709551615 4675146 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8478 7601 595 984 0 7491 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 33912 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11531 /proc/meminfo: memFree=1772720/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34048 CPUtime=1181.98 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15926 0 0 0 110110 8088 0 0 25 0 1 0 5097922 34865152 7609 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8512 7609 595 984 0 7525 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 34048 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11542 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34048 CPUtime=1241.95 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15932 0 0 0 115710 8485 0 0 25 0 1 0 5097922 34865152 7615 1992294400 4194304 8223781 140735835194544 18446744073709551615 4407828 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8512 7615 595 984 0 7525 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 34048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11542 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34048 CPUtime=1301.94 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15939 0 0 0 121305 8889 0 0 25 0 1 0 5097922 34865152 7622 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8512 7622 595 984 0 7525 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 34048 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 11544 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34196 CPUtime=1361.91 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15969 0 0 0 126907 9284 0 0 25 0 1 0 5097922 35016704 7652 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8549 7652 595 984 0 7562 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 34196 [startup+1422.31 s] /proc/loadavg: 1.05 1.02 1.00 2/107 11546 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34196 CPUtime=1421.9 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15969 0 0 0 132483 9707 0 0 25 0 1 0 5097922 35016704 7652 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8549 7652 595 984 0 7562 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 34196 [startup+1482.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 11548 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34196 CPUtime=1481.87 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15974 0 0 0 138080 10107 0 0 25 0 1 0 5097922 35016704 7657 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8549 7657 595 984 0 7562 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 34196 [startup+1542.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 11550 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34196 CPUtime=1541.86 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15985 0 0 0 143685 10501 0 0 25 0 1 0 5097922 35016704 7668 1992294400 4194304 8223781 140735835194544 18446744073709551615 5901479 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8549 7668 595 984 0 7562 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 34196 [startup+1602.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 11550 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34332 CPUtime=1601.84 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15989 0 0 0 149265 10919 0 0 25 0 1 0 5097922 35155968 7672 1992294400 4194304 8223781 140735835194544 18446744073709551615 4453005 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8583 7672 595 984 0 7596 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 34332 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11552 /proc/meminfo: memFree=1771480/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34332 CPUtime=1661.83 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15990 0 0 0 154852 11331 0 0 25 0 1 0 5097922 35155968 7673 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8583 7673 595 984 0 7596 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 34332 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11554 /proc/meminfo: memFree=1771356/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34332 CPUtime=1721.81 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 15994 0 0 0 160442 11739 0 0 25 0 1 0 5097922 35155968 7677 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8583 7677 595 984 0 7596 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 34332 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11556 /proc/meminfo: memFree=1771108/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34332 CPUtime=1781.8 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 16002 0 0 0 166032 12148 0 0 25 0 1 0 5097922 35155968 7685 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8583 7685 595 984 0 7596 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 34332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11556 /proc/meminfo: memFree=1771108/2059040 swapFree=4192956/4192956 [pid=11498] ppid=11496 vsize=34332 CPUtime=1800.1 /proc/11498/stat : 11498 (pbscip.linux.x8) R 11496 11498 10948 0 -1 4202496 16002 0 0 0 167739 12271 0 0 25 0 1 0 5097922 35155968 7685 1992294400 4194304 8223781 140735835194544 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11498/statm: 8583 7685 595 984 0 7596 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 34332 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.13 CPU user time (s): 1677.41 CPU system time (s): 122.718 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 39372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1677.41 system time used= 122.718 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16008 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 6244 runsolver used 3.04454 second user time and 8.46671 second system time The end
Begin job on node034 at 2010-06-15 23:40:29 IDJOB=2666811 IDBENCH=25006 IDSOLVER=1169 FILE ID=node034/2666811-1276638029 PBS_JOBID= 11172373 Free space on /tmp= 62516 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir04_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666811-1276638029/watcher-2666811-1276638029 -o /tmp/evaluation-result-2666811-1276638029/solver-2666811-1276638029 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666811-1276638029.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ea4ff8014cd873922b6021da249fa157 RANDOM SEED=1182634061 node034.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.242 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.48 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.242 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803760 kB Buffers: 19604 kB Cached: 112244 kB SwapCached: 0 kB Active: 115868 kB Inactive: 75784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803760 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4608 kB Writeback: 0 kB AnonPages: 59796 kB Mapped: 15436 kB Slab: 41800 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180984 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= 62508 MiB End job on node034 at 2010-06-16 00:10:31