Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 19 | 1800.04 | 1800.63 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-f51m.b.opb |
| MD5SUM | 95b567c682e7e3efe2c93879e0e7c89d |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 18 |
| Best CPU time to get the best result obtained on this benchmark | 0.634902 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 18 |
| Optimality of the best value was proved | YES |
| Number of variables | 406 |
| Total number of constraints | 520 |
| Number of constraints which are clauses | 520 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 123 |
| Number of terms in the objective function | 406 |
| 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 | 406 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 406 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666059-1276413116.opb>
0.00/0.04 c original problem has 406 variables (406 bin, 0 int, 0 impl, 0 cont) and 520 constraints
0.00/0.04 c problem read
0.00/0.04 c presolving settings loaded
0.00/0.05 o 406
0.00/0.05 c feasible solution found by trivial heuristic, objective value 4.060000e+02
0.00/0.05 c presolving:
0.00/0.06 c (round 1) 5 del vars, 22 del conss, 5 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.00/0.07 c (round 2) 5 del vars, 37 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 0 upgd conss, 4 impls, 0 clqs
0.07/0.09 c (round 3) 5 del vars, 98 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 482 upgd conss, 4 impls, 0 clqs
0.07/0.09 c (round 4) 5 del vars, 99 del conss, 5 chg bounds, 5 chg sides, 0 chg coeffs, 483 upgd conss, 4 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 101/401 (25.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (5 rounds):
0.09/0.10 c 5 deleted vars, 99 deleted constraints, 5 tightened bounds, 0 added holes, 5 changed sides, 0 changed coefficients
0.09/0.10 c 4 implications, 0 cliques
0.09/0.10 c presolved problem has 401 variables (401 bin, 0 int, 0 impl, 0 cont) and 421 constraints
0.09/0.10 c 421 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c conflict/interconss = 0
0.09/0.10 c
0.09/0.10 c # should binary conflicts be preferred?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c conflict/preferbinary = TRUE
0.09/0.10 c
0.09/0.10 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 0]
0.09/0.10 c constraints/agelimit = 1
0.09/0.10 c
0.09/0.10 c # should enforcement of pseudo solution be disabled?
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/disableenfops = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1799.97
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 1]
0.09/0.10 c lp/solvefreq = 0
0.09/0.10 c
0.09/0.10 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.10 c # [type: char, range: {lafpsqd}, default: l]
0.09/0.10 c lp/pricing = a
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # priority of node selection rule <dfs> in standard mode
0.09/0.10 c # [type: int, range: [-536870912,536870911], default: 0]
0.09/0.10 c nodeselection/dfs/stdpriority = 1000000
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.10 o 377
0.09/0.10 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.10 c t 0.1s| 1 | 0 | 0 | - |1914k| 0 | - | 401 | 421 | 0 | 0 | 0 | 0 | 0 | -- | 3.770000e+02 | Inf
0.09/0.11 o 25
0.09/0.11 c b 0.1s| 1 | 0 | 0 | - |2719k| 0 | - | 401 | 421 | 401 | 421 | 0 | 0 | 0 | -- | 2.500000e+01 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 76 | - |2713k| 0 | 37 | 401 | 421 | 401 | 421 | 0 | 0 | 0 | 1.580000e+01 | 2.500000e+01 | 58.23%
0.09/0.12 o 23
0.09/0.12 c b 0.1s| 1 | 0 | 76 | - |2733k| 0 | 37 | 401 | 421 | 401 | 421 | 0 | 0 | 0 | 1.580000e+01 | 2.300000e+01 | 45.57%
0.19/0.20 c 0.1s| 1 | 0 | 113 | - |2860k| 0 | 54 | 401 | 421 | 401 | 423 | 2 | 0 | 0 | 1.606818e+01 | 2.300000e+01 | 43.14%
0.39/0.42 c 0.3s| 1 | 0 | 154 | - |3598k| 0 | 37 | 401 | 421 | 401 | 424 | 3 | 0 | 0 | 1.611052e+01 | 2.300000e+01 | 42.76%
0.49/0.60 c 0.5s| 1 | 0 | 183 | - |3910k| 0 | 51 | 401 | 421 | 401 | 425 | 4 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
0.79/0.82 c 0.7s| 1 | 0 | 219 | - |4132k| 0 | 59 | 401 | 421 | 401 | 426 | 5 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.00/1.01 c 0.9s| 1 | 0 | 256 | - |4209k| 0 | 57 | 401 | 421 | 401 | 428 | 7 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.19/1.21 c 1.1s| 1 | 0 | 267 | - |4213k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 2.300000e+01 | 39.39%
1.49/1.57 o 19
1.49/1.57 c E 1.4s| 1 | 0 | 267 | - |4218k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 1.900000e+01 | 15.15%
1.49/1.58 c 1.4s| 1 | 0 | 267 | - |4218k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 0 | 1.650000e+01 | 1.900000e+01 | 15.15%
2.69/2.76 c 2.6s| 1 | 2 | 267 | - |4219k| 0 | 60 | 401 | 421 | 401 | 429 | 8 | 0 | 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
6.50/6.58 c 6.1s| 10000 | 210 | 267 | 0.0 |4390k| 291 | - | 401 | 421 | 0 | 0 | 8 |6142 | 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
10.59/10.64 c 9.9s| 20000 | 195 | 267 | 0.0 |4394k| 291 | - | 401 | 421 | 0 | 0 | 8 | 11k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
15.49/15.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.49/15.51 c 14.4s| 30000 | 199 | 267 | 0.0 |4416k| 291 | - | 401 | 424 | 0 | 0 | 8 | 17k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
19.48/19.58 c 18.3s| 40000 | 193 | 267 | 0.0 |4416k| 291 | - | 401 | 421 | 0 | 0 | 8 | 22k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
23.49/23.56 c 22.0s| 50000 | 189 | 267 | 0.0 |4421k| 291 | - | 401 | 421 | 0 | 0 | 8 | 27k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
27.68/27.79 c 26.0s| 60000 | 182 | 267 | 0.0 |4434k| 291 | - | 401 | 421 | 0 | 0 | 8 | 33k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
31.98/32.04 c 30.0s| 70000 | 175 | 267 | 0.0 |4427k| 291 | - | 401 | 421 | 0 | 0 | 8 | 38k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
36.18/36.28 c 34.0s| 80000 | 167 | 267 | 0.0 |4426k| 291 | - | 401 | 421 | 0 | 0 | 8 | 43k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
40.68/40.73 c 38.1s| 90000 | 189 | 267 | 0.0 |4437k| 291 | - | 401 | 424 | 0 | 0 | 8 | 48k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
45.08/45.19 c 42.3s|100000 | 167 | 267 | 0.0 |4435k| 291 | - | 401 | 426 | 0 | 0 | 8 | 53k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
49.48/49.53 c 46.4s|110000 | 166 | 267 | 0.0 |4438k| 291 | - | 401 | 427 | 0 | 0 | 8 | 59k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
53.77/53.82 c 50.4s|120000 | 163 | 267 | 0.0 |4446k| 291 | - | 401 | 428 | 0 | 0 | 8 | 64k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
58.47/58.58 c 54.9s|130000 | 154 | 267 | 0.0 |4441k| 291 | - | 401 | 427 | 0 | 0 | 8 | 70k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
63.17/63.26 c 59.3s|140000 | 154 | 267 | 0.0 |4436k| 291 | - | 401 | 422 | 0 | 0 | 8 | 75k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
67.47/67.59 c 63.3s|150000 | 154 | 267 | 0.0 |4438k| 291 | - | 401 | 421 | 0 | 0 | 8 | 80k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
72.36/72.47 c 67.9s|160000 | 157 | 267 | 0.0 |4442k| 291 | - | 401 | 421 | 0 | 0 | 8 | 86k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
77.16/77.29 c 72.4s|170000 | 146 | 267 | 0.0 |4439k| 291 | - | 401 | 422 | 0 | 0 | 8 | 92k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
82.86/82.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
82.86/82.94 c 77.7s|180000 | 157 | 267 | 0.0 |4447k| 291 | - | 401 | 421 | 0 | 0 | 8 | 98k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
87.97/88.03 c 82.5s|190000 | 153 | 267 | 0.0 |4448k| 291 | - | 401 | 421 | 0 | 0 | 8 | 103k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
93.15/93.26 c 87.4s|200000 | 149 | 267 | 0.0 |4453k| 291 | - | 401 | 427 | 0 | 0 | 8 | 109k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
98.35/98.41 c 92.2s|210000 | 150 | 267 | 0.0 |4454k| 291 | - | 401 | 421 | 0 | 0 | 8 | 115k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
103.15/103.29 c 96.8s|220000 | 159 | 267 | 0.0 |4465k| 291 | - | 401 | 442 | 0 | 0 | 8 | 120k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
108.85/108.96 c 102s|230000 | 181 | 267 | 0.0 |4469k| 291 | - | 401 | 422 | 0 | 0 | 8 | 127k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
114.36/114.45 c 107s|240000 | 153 | 267 | 0.0 |4460k| 291 | - | 401 | 425 | 0 | 0 | 8 | 133k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
120.05/120.13 c 112s|250000 | 162 | 267 | 0.0 |4476k| 291 | - | 401 | 428 | 0 | 0 | 8 | 139k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
125.64/125.70 c 118s|260000 | 153 | 267 | 0.0 |4466k| 291 | - | 401 | 437 | 0 | 0 | 8 | 146k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
131.04/131.15 c 123s|270000 | 147 | 267 | 0.0 |4475k| 291 | - | 401 | 428 | 0 | 0 | 8 | 152k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
136.25/136.31 c 127s|280000 | 152 | 267 | 0.0 |4468k| 291 | - | 401 | 438 | 0 | 0 | 8 | 158k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
141.14/141.23 c 132s|290000 | 142 | 267 | 0.0 |4461k| 291 | - | 401 | 424 | 0 | 0 | 8 | 164k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
145.73/145.85 c 136s|300000 | 163 | 267 | 0.0 |4478k| 291 | - | 401 | 425 | 0 | 0 | 8 | 170k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
149.93/150.03 c 140s|310000 | 175 | 267 | 0.0 |4477k| 291 | - | 401 | 437 | 0 | 0 | 8 | 175k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
155.53/155.64 c 145s|320000 | 181 | 267 | 0.0 |4491k| 291 | - | 401 | 443 | 0 | 0 | 8 | 182k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
160.63/160.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.63/160.71 c 150s|330000 | 174 | 267 | 0.0 |4475k| 291 | - | 401 | 422 | 0 | 0 | 8 | 188k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
165.13/165.26 c 154s|340000 | 167 | 267 | 0.0 |4479k| 291 | - | 401 | 423 | 0 | 0 | 8 | 195k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
169.72/169.82 c 158s|350000 | 165 | 267 | 0.0 |4487k| 291 | - | 401 | 426 | 0 | 0 | 8 | 200k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
174.13/174.25 c 163s|360000 | 196 | 267 | 0.0 |4487k| 291 | - | 401 | 421 | 0 | 0 | 8 | 205k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
178.72/178.81 c 167s|370000 | 169 | 267 | 0.0 |4482k| 291 | - | 401 | 427 | 0 | 0 | 8 | 211k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
183.32/183.41 c 171s|380000 | 156 | 267 | 0.0 |4480k| 291 | - | 401 | 429 | 0 | 0 | 8 | 216k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
188.92/189.08 c 176s|390000 | 162 | 267 | 0.0 |4495k| 291 | - | 401 | 449 | 0 | 0 | 8 | 223k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
194.32/194.45 c 181s|400000 | 154 | 267 | 0.0 |4490k| 291 | - | 401 | 428 | 0 | 0 | 8 | 229k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
200.12/200.23 c 187s|410000 | 173 | 267 | 0.0 |4502k| 291 | - | 401 | 443 | 0 | 0 | 8 | 235k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
205.41/205.50 c 192s|420000 | 163 | 267 | 0.0 |4488k| 291 | - | 401 | 438 | 0 | 0 | 8 | 241k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
210.31/210.43 c 196s|430000 | 162 | 267 | 0.0 |4486k| 291 | - | 401 | 430 | 0 | 0 | 8 | 247k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
215.31/215.45 c 201s|440000 | 154 | 267 | 0.0 |4495k| 291 | - | 401 | 429 | 0 | 0 | 8 | 251k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
220.51/220.64 c 206s|450000 | 157 | 267 | 0.0 |4484k| 291 | - | 401 | 428 | 0 | 0 | 8 | 257k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
225.61/225.77 c 211s|460000 | 153 | 267 | 0.0 |4482k| 291 | - | 401 | 425 | 0 | 0 | 8 | 262k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
230.81/230.97 c 215s|470000 | 162 | 267 | 0.0 |4483k| 291 | - | 401 | 422 | 0 | 0 | 8 | 267k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
235.90/236.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.90/236.08 c 220s|480000 | 155 | 267 | 0.0 |4485k| 291 | - | 401 | 428 | 0 | 0 | 8 | 273k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
241.30/241.44 c 225s|490000 | 158 | 267 | 0.0 |4490k| 291 | - | 401 | 438 | 0 | 0 | 8 | 279k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
247.31/247.42 c 231s|500000 | 161 | 267 | 0.0 |4485k| 291 | - | 401 | 423 | 0 | 0 | 8 | 286k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
252.81/253.00 c 236s|510000 | 158 | 267 | 0.0 |4495k| 291 | - | 401 | 451 | 0 | 0 | 8 | 292k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
258.20/258.31 c 241s|520000 | 182 | 267 | 0.0 |4490k| 291 | - | 401 | 421 | 0 | 0 | 8 | 298k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
263.30/263.47 c 246s|530000 | 181 | 267 | 0.0 |4503k| 291 | - | 401 | 450 | 0 | 0 | 8 | 304k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
267.90/268.08 c 250s|540000 | 159 | 267 | 0.0 |4486k| 291 | - | 401 | 421 | 0 | 0 | 8 | 310k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
272.70/272.88 c 254s|550000 | 156 | 267 | 0.0 |4507k| 291 | - | 401 | 448 | 0 | 0 | 8 | 316k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
277.99/278.18 c 259s|560000 | 155 | 267 | 0.0 |4487k| 291 | - | 401 | 421 | 0 | 0 | 8 | 321k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
282.99/283.11 c 264s|570000 | 179 | 267 | 0.0 |4492k| 291 | - | 401 | 422 | 0 | 0 | 8 | 327k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
288.39/288.59 c 269s|580000 | 172 | 267 | 0.0 |4496k| 291 | - | 401 | 421 | 0 | 0 | 8 | 334k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
293.49/293.67 c 274s|590000 | 152 | 267 | 0.0 |4492k| 291 | - | 401 | 423 | 0 | 0 | 8 | 340k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
298.59/298.72 c 278s|600000 | 157 | 267 | 0.0 |4502k| 291 | - | 401 | 426 | 0 | 0 | 8 | 345k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
303.18/303.30 c 283s|610000 | 146 | 267 | 0.0 |4491k| 291 | - | 401 | 427 | 0 | 0 | 8 | 350k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
308.58/308.77 c 288s|620000 | 153 | 267 | 0.0 |4495k| 291 | - | 401 | 425 | 0 | 0 | 8 | 356k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
313.88/314.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
313.88/314.06 c 293s|630000 | 176 | 267 | 0.0 |4504k| 291 | - | 401 | 435 | 0 | 0 | 8 | 362k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
319.38/319.59 c 298s|640000 | 157 | 267 | 0.0 |4505k| 291 | - | 401 | 437 | 0 | 0 | 8 | 367k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
324.88/325.09 c 303s|650000 | 167 | 267 | 0.0 |4507k| 291 | - | 401 | 434 | 0 | 0 | 8 | 373k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
330.48/330.67 c 308s|660000 | 160 | 267 | 0.0 |4495k| 291 | - | 401 | 423 | 0 | 0 | 8 | 379k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
336.17/336.31 c 313s|670000 | 168 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 385k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
341.98/342.12 c 319s|680000 | 162 | 267 | 0.0 |4507k| 291 | - | 401 | 429 | 0 | 0 | 8 | 390k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
347.47/347.61 c 324s|690000 | 179 | 267 | 0.0 |4500k| 291 | - | 401 | 421 | 0 | 0 | 8 | 396k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
352.67/352.84 c 329s|700000 | 170 | 267 | 0.0 |4498k| 291 | - | 401 | 421 | 0 | 0 | 8 | 401k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
357.76/357.95 c 334s|710000 | 157 | 267 | 0.0 |4496k| 291 | - | 401 | 423 | 0 | 0 | 8 | 407k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
362.56/362.70 c 338s|720000 | 174 | 267 | 0.0 |4511k| 291 | - | 401 | 449 | 0 | 0 | 8 | 412k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
367.46/367.61 c 343s|730000 | 156 | 267 | 0.0 |4502k| 291 | - | 401 | 436 | 0 | 0 | 8 | 416k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
372.36/372.59 c 347s|740000 | 150 | 267 | 0.0 |4508k| 291 | - | 401 | 427 | 0 | 0 | 8 | 422k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
377.85/378.08 c 353s|750000 | 168 | 267 | 0.0 |4508k| 291 | - | 401 | 428 | 0 | 0 | 8 | 428k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
383.05/383.24 c 357s|760000 | 151 | 267 | 0.0 |4496k| 291 | - | 401 | 424 | 0 | 0 | 8 | 433k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
388.16/388.33 c 362s|770000 | 146 | 267 | 0.0 |4505k| 291 | - | 401 | 429 | 0 | 0 | 8 | 437k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
393.35/393.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
393.35/393.51 c 367s|780000 | 167 | 267 | 0.0 |4499k| 291 | - | 401 | 422 | 0 | 0 | 8 | 442k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
398.36/398.58 c 372s|790000 | 153 | 267 | 0.0 |4500k| 291 | - | 401 | 432 | 0 | 0 | 8 | 448k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
403.75/403.97 c 377s|800000 | 180 | 267 | 0.0 |4504k| 291 | - | 401 | 424 | 0 | 0 | 8 | 453k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
408.75/408.90 c 381s|810000 | 169 | 267 | 0.0 |4504k| 291 | - | 401 | 430 | 0 | 0 | 8 | 458k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
414.05/414.23 c 386s|820000 | 142 | 267 | 0.0 |4508k| 291 | - | 401 | 433 | 0 | 0 | 8 | 464k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
419.74/419.95 c 392s|830000 | 150 | 267 | 0.0 |4497k| 291 | - | 401 | 426 | 0 | 0 | 8 | 470k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
424.94/425.15 c 397s|840000 | 185 | 267 | 0.0 |4506k| 291 | - | 401 | 424 | 0 | 0 | 8 | 475k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
430.24/430.45 c 401s|850000 | 155 | 267 | 0.0 |4503k| 291 | - | 401 | 428 | 0 | 0 | 8 | 481k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
435.44/435.67 c 406s|860000 | 153 | 267 | 0.0 |4509k| 291 | - | 401 | 425 | 0 | 0 | 8 | 486k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
440.43/440.61 c 411s|870000 | 141 | 267 | 0.0 |4496k| 291 | - | 401 | 429 | 0 | 0 | 8 | 491k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
445.73/445.95 c 416s|880000 | 165 | 267 | 0.0 |4502k| 291 | - | 401 | 426 | 0 | 0 | 8 | 496k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
451.53/451.71 c 421s|890000 | 152 | 267 | 0.0 |4501k| 291 | - | 401 | 433 | 0 | 0 | 8 | 502k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
456.64/456.88 c 426s|900000 | 157 | 267 | 0.0 |4513k| 291 | - | 401 | 430 | 0 | 0 | 8 | 507k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
461.93/462.12 c 431s|910000 | 143 | 267 | 0.0 |4497k| 291 | - | 401 | 425 | 0 | 0 | 8 | 512k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
467.13/467.39 c 436s|920000 | 151 | 267 | 0.0 |4499k| 291 | - | 401 | 425 | 0 | 0 | 8 | 517k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
472.43/472.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.43/472.69 c 441s|930000 | 154 | 267 | 0.0 |4500k| 291 | - | 401 | 427 | 0 | 0 | 8 | 522k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
477.82/478.02 c 446s|940000 | 193 | 267 | 0.0 |4516k| 291 | - | 401 | 431 | 0 | 0 | 8 | 527k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
483.73/483.92 c 452s|950000 | 159 | 267 | 0.0 |4513k| 291 | - | 401 | 436 | 0 | 0 | 8 | 532k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
489.43/489.67 c 457s|960000 | 155 | 267 | 0.0 |4513k| 291 | - | 401 | 446 | 0 | 0 | 8 | 538k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
495.42/495.63 c 463s|970000 | 153 | 267 | 0.0 |4503k| 291 | - | 401 | 436 | 0 | 0 | 8 | 544k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
501.12/501.38 c 468s|980000 | 166 | 267 | 0.0 |4515k| 291 | - | 401 | 424 | 0 | 0 | 8 | 549k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
506.72/506.97 c 473s|990000 | 152 | 267 | 0.0 |4505k| 291 | - | 401 | 439 | 0 | 0 | 8 | 554k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
512.01/512.28 c 478s| 1000k| 165 | 267 | 0.0 |4512k| 291 | - | 401 | 438 | 0 | 0 | 8 | 560k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
518.21/518.46 c 484s| 1010k| 166 | 267 | 0.0 |4509k| 291 | - | 401 | 433 | 0 | 0 | 8 | 568k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
524.61/524.86 c 490s| 1020k| 160 | 267 | 0.0 |4503k| 291 | - | 401 | 421 | 0 | 0 | 8 | 575k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
530.41/530.63 c 495s| 1030k| 151 | 267 | 0.0 |4503k| 291 | - | 401 | 425 | 0 | 0 | 8 | 582k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
535.41/535.64 c 500s| 1040k| 147 | 267 | 0.0 |4501k| 291 | - | 401 | 425 | 0 | 0 | 8 | 587k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
541.11/541.32 c 505s| 1050k| 160 | 267 | 0.0 |4512k| 291 | - | 401 | 438 | 0 | 0 | 8 | 594k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
547.71/547.98 c 511s| 1060k| 156 | 267 | 0.0 |4502k| 291 | - | 401 | 421 | 0 | 0 | 8 | 602k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
554.60/554.83 c 518s| 1070k| 151 | 267 | 0.0 |4506k| 291 | - | 401 | 433 | 0 | 0 | 8 | 609k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
559.80/560.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.80/560.02 c 522s| 1080k| 142 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 615k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
564.79/565.05 c 527s| 1090k| 150 | 267 | 0.0 |4502k| 291 | - | 401 | 422 | 0 | 0 | 8 | 620k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
570.30/570.57 c 532s| 1100k| 139 | 267 | 0.0 |4500k| 291 | - | 401 | 425 | 0 | 0 | 8 | 627k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
575.10/575.34 c 537s| 1110k| 147 | 267 | 0.0 |4503k| 291 | - | 401 | 427 | 0 | 0 | 8 | 632k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
579.99/580.26 c 541s| 1120k| 148 | 267 | 0.0 |4503k| 291 | - | 401 | 425 | 0 | 0 | 8 | 638k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
584.80/585.08 c 546s| 1130k| 140 | 267 | 0.0 |4501k| 291 | - | 401 | 426 | 0 | 0 | 8 | 643k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
589.79/590.05 c 550s| 1140k| 139 | 267 | 0.0 |4501k| 291 | - | 401 | 427 | 0 | 0 | 8 | 648k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
595.18/595.40 c 555s| 1150k| 143 | 267 | 0.0 |4511k| 291 | - | 401 | 429 | 0 | 0 | 8 | 654k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
599.88/600.14 c 560s| 1160k| 145 | 267 | 0.0 |4504k| 291 | - | 401 | 422 | 0 | 0 | 8 | 660k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
604.79/605.01 c 564s| 1170k| 156 | 267 | 0.0 |4506k| 291 | - | 401 | 427 | 0 | 0 | 8 | 665k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
609.29/609.51 c 569s| 1180k| 149 | 267 | 0.0 |4506k| 291 | - | 401 | 430 | 0 | 0 | 8 | 671k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
613.59/613.87 c 573s| 1190k| 153 | 267 | 0.0 |4503k| 291 | - | 401 | 421 | 0 | 0 | 8 | 676k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
618.98/619.22 c 578s| 1200k| 160 | 267 | 0.0 |4507k| 291 | - | 401 | 426 | 0 | 0 | 8 | 682k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
624.68/624.94 c 583s| 1210k| 140 | 267 | 0.0 |4512k| 291 | - | 401 | 429 | 0 | 0 | 8 | 689k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
629.47/629.74 c 588s| 1220k| 156 | 267 | 0.0 |4507k| 291 | - | 401 | 425 | 0 | 0 | 8 | 694k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
634.08/634.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
634.08/634.34 c 592s| 1230k| 145 | 267 | 0.0 |4503k| 291 | - | 401 | 423 | 0 | 0 | 8 | 700k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
638.88/639.16 c 596s| 1240k| 146 | 267 | 0.0 |4505k| 291 | - | 401 | 428 | 0 | 0 | 8 | 706k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
643.97/644.27 c 601s| 1250k| 150 | 267 | 0.0 |4505k| 291 | - | 401 | 425 | 0 | 0 | 8 | 711k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
648.27/648.51 c 605s| 1260k| 140 | 267 | 0.0 |4505k| 291 | - | 401 | 429 | 0 | 0 | 8 | 717k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
652.77/653.01 c 609s| 1270k| 143 | 267 | 0.0 |4515k| 291 | - | 401 | 427 | 0 | 0 | 8 | 722k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
657.87/658.16 c 614s| 1280k| 137 | 267 | 0.0 |4515k| 291 | - | 401 | 434 | 0 | 0 | 8 | 728k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
662.57/662.88 c 619s| 1290k| 140 | 267 | 0.0 |4501k| 291 | - | 401 | 421 | 0 | 0 | 8 | 733k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
667.47/667.72 c 623s| 1300k| 144 | 267 | 0.0 |4522k| 291 | - | 401 | 435 | 0 | 0 | 8 | 739k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
673.06/673.32 c 628s| 1310k| 160 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 745k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
678.37/678.66 c 633s| 1320k| 146 | 267 | 0.0 |4508k| 291 | - | 401 | 433 | 0 | 0 | 8 | 751k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
683.56/683.89 c 638s| 1330k| 160 | 267 | 0.0 |4524k| 291 | - | 401 | 431 | 0 | 0 | 8 | 756k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
688.96/689.29 c 643s| 1340k| 157 | 267 | 0.0 |4510k| 291 | - | 401 | 429 | 0 | 0 | 8 | 762k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
695.35/695.65 c 649s| 1350k| 148 | 267 | 0.0 |4526k| 291 | - | 401 | 484 | 0 | 0 | 8 | 769k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
701.25/701.50 c 655s| 1360k| 164 | 267 | 0.0 |4513k| 291 | - | 401 | 433 | 0 | 0 | 8 | 774k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
706.25/706.59 c 659s| 1370k| 144 | 267 | 0.0 |4516k| 291 | - | 401 | 443 | 0 | 0 | 8 | 780k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
711.75/712.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
711.75/712.01 c 664s| 1380k| 137 | 267 | 0.0 |4508k| 291 | - | 401 | 435 | 0 | 0 | 8 | 786k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
716.75/717.03 c 669s| 1390k| 135 | 267 | 0.0 |4514k| 291 | - | 401 | 422 | 0 | 0 | 8 | 792k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
722.35/722.68 c 674s| 1400k| 157 | 267 | 0.0 |4518k| 291 | - | 401 | 434 | 0 | 0 | 8 | 798k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
727.64/727.97 c 679s| 1410k| 151 | 267 | 0.0 |4511k| 291 | - | 401 | 432 | 0 | 0 | 8 | 805k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
733.34/733.70 c 685s| 1420k| 157 | 267 | 0.0 |4511k| 291 | - | 401 | 428 | 0 | 0 | 8 | 810k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
738.44/738.79 c 689s| 1430k| 157 | 267 | 0.0 |4525k| 291 | - | 401 | 431 | 0 | 0 | 8 | 815k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
743.44/743.79 c 694s| 1440k| 167 | 267 | 0.0 |4515k| 291 | - | 401 | 430 | 0 | 0 | 8 | 821k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
748.33/748.65 c 699s| 1450k| 190 | 267 | 0.0 |4521k| 291 | - | 401 | 432 | 0 | 0 | 8 | 827k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
753.54/753.87 c 704s| 1460k| 189 | 267 | 0.0 |4525k| 291 | - | 401 | 423 | 0 | 0 | 8 | 833k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
758.65/758.98 c 708s| 1470k| 151 | 267 | 0.0 |4514k| 291 | - | 401 | 437 | 0 | 0 | 8 | 838k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
764.73/765.10 c 714s| 1480k| 150 | 267 | 0.0 |4514k| 291 | - | 401 | 438 | 0 | 0 | 8 | 845k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
769.83/770.16 c 719s| 1490k| 144 | 267 | 0.0 |4510k| 291 | - | 401 | 435 | 0 | 0 | 8 | 850k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
774.93/775.29 c 723s| 1500k| 180 | 267 | 0.0 |4521k| 291 | - | 401 | 428 | 0 | 0 | 8 | 857k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
779.54/779.83 c 728s| 1510k| 144 | 267 | 0.0 |4515k| 291 | - | 401 | 435 | 0 | 0 | 8 | 863k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
784.03/784.38 c 732s| 1520k| 171 | 267 | 0.0 |4514k| 291 | - | 401 | 424 | 0 | 0 | 8 | 869k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
788.83/789.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
788.83/789.10 c 736s| 1530k| 152 | 267 | 0.0 |4510k| 291 | - | 401 | 424 | 0 | 0 | 8 | 875k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
793.93/794.26 c 741s| 1540k| 154 | 267 | 0.0 |4509k| 291 | - | 401 | 422 | 0 | 0 | 8 | 881k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
799.72/800.00 c 746s| 1550k| 156 | 267 | 0.0 |4520k| 291 | - | 401 | 428 | 0 | 0 | 8 | 888k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
804.51/804.80 c 751s| 1560k| 150 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 893k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
809.02/809.38 c 755s| 1570k| 150 | 267 | 0.0 |4518k| 291 | - | 401 | 428 | 0 | 0 | 8 | 899k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
813.73/814.08 c 759s| 1580k| 158 | 267 | 0.0 |4509k| 291 | - | 401 | 421 | 0 | 0 | 8 | 904k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
818.62/818.90 c 764s| 1590k| 138 | 267 | 0.0 |4520k| 291 | - | 401 | 429 | 0 | 0 | 8 | 910k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
823.41/823.76 c 768s| 1600k| 153 | 267 | 0.0 |4514k| 291 | - | 401 | 437 | 0 | 0 | 8 | 916k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
828.51/828.81 c 773s| 1610k| 139 | 267 | 0.0 |4505k| 291 | - | 401 | 422 | 0 | 0 | 8 | 922k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
834.01/834.37 c 778s| 1620k| 139 | 267 | 0.0 |4505k| 291 | - | 401 | 421 | 0 | 0 | 8 | 928k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
839.41/839.77 c 784s| 1630k| 152 | 267 | 0.0 |4509k| 291 | - | 401 | 423 | 0 | 0 | 8 | 933k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
844.91/845.25 c 789s| 1640k| 174 | 267 | 0.0 |4514k| 291 | - | 401 | 421 | 0 | 0 | 8 | 939k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
850.81/851.15 c 794s| 1650k| 160 | 267 | 0.0 |4524k| 291 | - | 401 | 426 | 0 | 0 | 8 | 945k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
856.61/856.91 c 800s| 1660k| 144 | 267 | 0.0 |4506k| 291 | - | 401 | 421 | 0 | 0 | 8 | 951k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
862.11/862.44 c 805s| 1670k| 150 | 267 | 0.0 |4508k| 291 | - | 401 | 421 | 0 | 0 | 8 | 957k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
867.50/867.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
867.50/867.81 c 810s| 1680k| 161 | 267 | 0.0 |4511k| 291 | - | 401 | 421 | 0 | 0 | 8 | 963k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
872.70/873.05 c 815s| 1690k| 150 | 267 | 0.0 |4531k| 291 | - | 401 | 455 | 0 | 0 | 8 | 969k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
878.39/878.74 c 820s| 1700k| 150 | 267 | 0.0 |4525k| 291 | - | 401 | 430 | 0 | 0 | 8 | 975k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
883.49/883.84 c 825s| 1710k| 171 | 267 | 0.0 |4516k| 291 | - | 401 | 426 | 0 | 0 | 8 | 980k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
887.99/888.32 c 829s| 1720k| 158 | 267 | 0.0 |4530k| 291 | - | 401 | 453 | 0 | 0 | 8 | 985k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
892.90/893.27 c 833s| 1730k| 165 | 267 | 0.0 |4515k| 291 | - | 401 | 425 | 0 | 0 | 8 | 991k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
898.19/898.52 c 838s| 1740k| 178 | 267 | 0.0 |4518k| 291 | - | 401 | 422 | 0 | 0 | 8 | 997k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
903.49/903.86 c 843s| 1750k| 168 | 267 | 0.0 |4515k| 291 | - | 401 | 422 | 0 | 0 | 8 |1004k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
908.88/909.23 c 848s| 1760k| 163 | 267 | 0.0 |4520k| 291 | - | 401 | 440 | 0 | 0 | 8 |1010k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
914.48/914.85 c 854s| 1770k| 171 | 267 | 0.0 |4527k| 291 | - | 401 | 455 | 0 | 0 | 8 |1017k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
919.88/920.20 c 858s| 1780k| 161 | 267 | 0.0 |4516k| 291 | - | 401 | 429 | 0 | 0 | 8 |1024k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
925.89/926.29 c 864s| 1790k| 170 | 267 | 0.0 |4525k| 291 | - | 401 | 422 | 0 | 0 | 8 |1031k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
931.87/932.25 c 870s| 1800k| 164 | 267 | 0.0 |4514k| 291 | - | 401 | 422 | 0 | 0 | 8 |1038k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
937.88/938.24 c 875s| 1810k| 155 | 267 | 0.0 |4514k| 291 | - | 401 | 426 | 0 | 0 | 8 |1045k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
943.98/944.31 c 881s| 1820k| 145 | 267 | 0.0 |4525k| 291 | - | 401 | 436 | 0 | 0 | 8 |1052k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
949.77/950.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
949.77/950.19 c 886s| 1830k| 163 | 267 | 0.0 |4524k| 291 | - | 401 | 424 | 0 | 0 | 8 |1058k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
954.77/955.14 c 891s| 1840k| 152 | 267 | 0.0 |4516k| 291 | - | 401 | 428 | 0 | 0 | 8 |1064k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
959.47/959.89 c 895s| 1850k| 177 | 267 | 0.0 |4524k| 301 | - | 401 | 425 | 0 | 0 | 8 |1069k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
964.28/964.69 c 900s| 1860k| 169 | 267 | 0.0 |4522k| 301 | - | 401 | 423 | 0 | 0 | 8 |1075k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
969.77/970.19 c 905s| 1870k| 160 | 267 | 0.0 |4525k| 301 | - | 401 | 428 | 0 | 0 | 8 |1081k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
975.07/975.45 c 910s| 1880k| 171 | 267 | 0.0 |4528k| 301 | - | 401 | 426 | 0 | 0 | 8 |1087k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
980.47/980.87 c 915s| 1890k| 171 | 267 | 0.0 |4527k| 301 | - | 401 | 425 | 0 | 0 | 8 |1093k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
986.56/986.91 c 920s| 1900k| 171 | 267 | 0.0 |4543k| 301 | - | 401 | 440 | 0 | 0 | 8 |1099k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
992.56/992.95 c 926s| 1910k| 152 | 267 | 0.0 |4579k| 301 | - | 401 | 591 | 0 | 0 | 8 |1105k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
998.37/998.79 c 931s| 1920k| 161 | 267 | 0.0 |4531k| 301 | - | 401 | 430 | 0 | 0 | 8 |1111k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1003.46/1003.84 c 936s| 1930k| 164 | 267 | 0.0 |4537k| 301 | - | 401 | 442 | 0 | 0 | 8 |1117k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1008.55/1008.92 c 941s| 1940k| 167 | 267 | 0.0 |4528k| 301 | - | 401 | 430 | 0 | 0 | 8 |1123k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1013.65/1014.05 c 946s| 1950k| 139 | 267 | 0.0 |4540k| 301 | - | 401 | 448 | 0 | 0 | 8 |1129k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1018.95/1019.39 c 951s| 1960k| 156 | 267 | 0.0 |4525k| 301 | - | 401 | 424 | 0 | 0 | 8 |1135k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1025.24/1025.60 c 956s| 1970k| 180 | 267 | 0.0 |4534k| 301 | - | 401 | 432 | 0 | 0 | 8 |1143k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1032.34/1032.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1032.34/1032.77 c 963s| 1980k| 165 | 267 | 0.0 |4529k| 301 | - | 401 | 425 | 0 | 0 | 8 |1150k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1038.64/1039.08 c 969s| 1990k| 153 | 267 | 0.0 |4531k| 301 | - | 401 | 441 | 0 | 0 | 8 |1158k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1044.44/1044.86 c 974s| 2000k| 142 | 267 | 0.0 |4525k| 301 | - | 401 | 428 | 0 | 0 | 8 |1164k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1051.44/1051.81 c 981s| 2010k| 158 | 267 | 0.0 |4541k| 301 | - | 401 | 428 | 0 | 0 | 8 |1171k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1057.74/1058.11 c 986s| 2020k| 159 | 267 | 0.0 |4538k| 301 | - | 401 | 431 | 0 | 0 | 8 |1177k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1062.93/1063.31 c 991s| 2030k| 186 | 267 | 0.0 |4534k| 301 | - | 401 | 425 | 0 | 0 | 8 |1183k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1067.44/1067.80 c 995s| 2040k| 181 | 267 | 0.0 |4534k| 301 | - | 401 | 428 | 0 | 0 | 8 |1189k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1072.63/1073.04 c 1000s| 2050k| 179 | 267 | 0.0 |4531k| 301 | - | 401 | 422 | 0 | 0 | 8 |1196k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1077.64/1078.01 c 1005s| 2060k| 178 | 267 | 0.0 |4532k| 301 | - | 401 | 425 | 0 | 0 | 8 |1202k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1082.23/1082.63 c 1009s| 2070k| 151 | 267 | 0.0 |4530k| 301 | - | 401 | 430 | 0 | 0 | 8 |1208k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1087.93/1088.36 c 1014s| 2080k| 160 | 267 | 0.0 |4530k| 301 | - | 401 | 429 | 0 | 0 | 8 |1214k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1094.03/1094.47 c 1020s| 2090k| 145 | 267 | 0.0 |4527k| 301 | - | 401 | 435 | 0 | 0 | 8 |1221k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1099.72/1100.10 c 1025s| 2100k| 149 | 267 | 0.0 |4525k| 301 | - | 401 | 426 | 0 | 0 | 8 |1227k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1104.92/1105.31 c 1030s| 2110k| 146 | 267 | 0.0 |4523k| 301 | - | 401 | 422 | 0 | 0 | 8 |1233k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1111.12/1111.53 c 1036s| 2120k| 179 | 267 | 0.0 |4581k| 301 | - | 401 | 553 | 0 | 0 | 8 |1240k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1117.42/1117.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1117.42/1117.88 c 1042s| 2130k| 161 | 267 | 0.0 |4533k| 301 | - | 401 | 431 | 0 | 0 | 8 |1248k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1123.82/1124.24 c 1048s| 2140k| 166 | 267 | 0.0 |4532k| 301 | - | 401 | 426 | 0 | 0 | 8 |1255k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1130.82/1131.21 c 1054s| 2150k| 156 | 267 | 0.0 |4541k| 301 | - | 401 | 422 | 0 | 0 | 8 |1262k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1136.51/1136.99 c 1059s| 2160k| 151 | 267 | 0.0 |4530k| 301 | - | 401 | 430 | 0 | 0 | 8 |1269k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1143.20/1143.60 c 1066s| 2170k| 156 | 267 | 0.0 |4549k| 301 | - | 401 | 473 | 0 | 0 | 8 |1276k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1148.71/1149.11 c 1071s| 2180k| 174 | 267 | 0.0 |4534k| 301 | - | 401 | 425 | 0 | 0 | 8 |1282k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1154.11/1154.50 c 1076s| 2190k| 176 | 267 | 0.0 |4539k| 301 | - | 401 | 433 | 0 | 0 | 8 |1289k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1158.91/1159.35 c 1080s| 2200k| 186 | 267 | 0.0 |4545k| 301 | - | 401 | 425 | 0 | 0 | 8 |1295k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1164.51/1164.96 c 1085s| 2210k| 172 | 267 | 0.0 |4538k| 301 | - | 401 | 429 | 0 | 0 | 8 |1302k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1170.50/1170.94 c 1091s| 2220k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 438 | 0 | 0 | 8 |1308k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1176.39/1176.86 c 1097s| 2230k| 155 | 267 | 0.0 |4533k| 301 | - | 401 | 431 | 0 | 0 | 8 |1315k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1182.29/1182.76 c 1102s| 2240k| 151 | 267 | 0.0 |4532k| 301 | - | 401 | 430 | 0 | 0 | 8 |1321k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1187.30/1187.76 c 1107s| 2250k| 143 | 267 | 0.0 |4533k| 301 | - | 401 | 439 | 0 | 0 | 8 |1327k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1191.69/1192.18 c 1111s| 2260k| 159 | 267 | 0.0 |4530k| 301 | - | 401 | 423 | 0 | 0 | 8 |1332k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1196.99/1197.49 c 1116s| 2270k| 141 | 267 | 0.0 |4528k| 301 | - | 401 | 428 | 0 | 0 | 8 |1338k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1202.19/1202.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.19/1202.68 c 1121s| 2280k| 158 | 267 | 0.0 |4533k| 301 | - | 401 | 428 | 0 | 0 | 8 |1344k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1207.29/1207.80 c 1126s| 2290k| 152 | 267 | 0.0 |4537k| 301 | - | 401 | 441 | 0 | 0 | 8 |1350k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1212.19/1212.64 c 1130s| 2300k| 150 | 267 | 0.0 |4544k| 301 | - | 401 | 431 | 0 | 0 | 8 |1355k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1217.38/1217.80 c 1135s| 2310k| 156 | 267 | 0.0 |4530k| 301 | - | 401 | 422 | 0 | 0 | 8 |1361k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1222.88/1223.36 c 1140s| 2320k| 139 | 267 | 0.0 |4538k| 301 | - | 401 | 437 | 0 | 0 | 8 |1367k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1227.68/1228.11 c 1145s| 2330k| 167 | 267 | 0.0 |4534k| 301 | - | 401 | 426 | 0 | 0 | 8 |1372k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1232.98/1233.48 c 1150s| 2340k| 144 | 267 | 0.0 |4531k| 301 | - | 401 | 430 | 0 | 0 | 8 |1378k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1237.78/1238.26 c 1154s| 2350k| 161 | 267 | 0.0 |4546k| 301 | - | 401 | 436 | 0 | 0 | 8 |1383k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1243.59/1244.07 c 1159s| 2360k| 168 | 267 | 0.0 |4544k| 301 | - | 401 | 428 | 0 | 0 | 8 |1390k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1249.47/1249.93 c 1165s| 2370k| 141 | 267 | 0.0 |4553k| 301 | - | 401 | 441 | 0 | 0 | 8 |1396k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1254.97/1255.49 c 1170s| 2380k| 160 | 267 | 0.0 |4537k| 301 | - | 401 | 435 | 0 | 0 | 8 |1402k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1260.97/1261.48 c 1176s| 2390k| 146 | 267 | 0.0 |4532k| 301 | - | 401 | 431 | 0 | 0 | 8 |1408k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1266.47/1266.94 c 1181s| 2400k| 149 | 267 | 0.0 |4532k| 301 | - | 401 | 431 | 0 | 0 | 8 |1414k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1272.28/1272.77 c 1186s| 2410k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 435 | 0 | 0 | 8 |1421k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1277.36/1277.83 c 1191s| 2420k| 155 | 267 | 0.0 |4536k| 301 | - | 401 | 425 | 0 | 0 | 8 |1426k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1282.66/1283.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.66/1283.13 c 1196s| 2430k| 167 | 267 | 0.0 |4544k| 301 | - | 401 | 449 | 0 | 0 | 8 |1432k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1288.67/1289.12 c 1201s| 2440k| 151 | 267 | 0.0 |4536k| 301 | - | 401 | 442 | 0 | 0 | 8 |1439k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1293.76/1294.25 c 1206s| 2450k| 170 | 267 | 0.0 |4537k| 301 | - | 401 | 427 | 0 | 0 | 8 |1446k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1299.56/1300.01 c 1211s| 2460k| 159 | 267 | 0.0 |4546k| 301 | - | 401 | 438 | 0 | 0 | 8 |1453k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1305.06/1305.60 c 1216s| 2470k| 146 | 267 | 0.0 |4530k| 301 | - | 401 | 427 | 0 | 0 | 8 |1459k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1309.56/1310.02 c 1221s| 2480k| 208 | 267 | 0.0 |4547k| 301 | - | 401 | 430 | 0 | 0 | 8 |1464k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1314.45/1314.98 c 1225s| 2490k| 176 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1470k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1319.65/1320.12 c 1230s| 2500k| 176 | 267 | 0.0 |4542k| 301 | - | 401 | 436 | 0 | 0 | 8 |1476k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1325.06/1325.59 c 1235s| 2510k| 152 | 267 | 0.0 |4533k| 301 | - | 401 | 430 | 0 | 0 | 8 |1482k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1330.75/1331.28 c 1240s| 2520k| 172 | 267 | 0.0 |4536k| 301 | - | 401 | 424 | 0 | 0 | 8 |1489k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1336.24/1336.73 c 1245s| 2530k| 163 | 267 | 0.0 |4533k| 301 | - | 401 | 423 | 0 | 0 | 8 |1496k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1341.34/1341.87 c 1250s| 2540k| 174 | 267 | 0.0 |4543k| 301 | - | 401 | 441 | 0 | 0 | 8 |1503k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1347.15/1347.64 c 1255s| 2550k| 176 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1509k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1351.74/1352.21 c 1260s| 2560k| 153 | 267 | 0.0 |4532k| 301 | - | 401 | 423 | 0 | 0 | 8 |1515k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1356.74/1357.26 c 1264s| 2570k| 141 | 267 | 0.0 |4537k| 301 | - | 401 | 443 | 0 | 0 | 8 |1520k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1362.53/1363.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1362.53/1363.05 c 1270s| 2580k| 159 | 267 | 0.0 |4535k| 301 | - | 401 | 425 | 0 | 0 | 8 |1527k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1368.74/1369.27 c 1275s| 2590k| 149 | 267 | 0.0 |4539k| 301 | - | 401 | 444 | 0 | 0 | 8 |1534k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1374.83/1375.39 c 1281s| 2600k| 161 | 267 | 0.0 |4535k| 301 | - | 401 | 424 | 0 | 0 | 8 |1541k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1380.43/1380.97 c 1286s| 2610k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 427 | 0 | 0 | 8 |1547k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1385.93/1386.43 c 1291s| 2620k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 426 | 0 | 0 | 8 |1553k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1392.03/1392.53 c 1297s| 2630k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1560k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1397.33/1397.83 c 1302s| 2640k| 164 | 267 | 0.0 |4538k| 301 | - | 401 | 427 | 0 | 0 | 8 |1566k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1402.92/1403.43 c 1307s| 2650k| 145 | 267 | 0.0 |4532k| 301 | - | 401 | 424 | 0 | 0 | 8 |1572k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1408.52/1409.03 c 1312s| 2660k| 161 | 267 | 0.0 |4537k| 301 | - | 401 | 424 | 0 | 0 | 8 |1578k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1414.32/1414.87 c 1318s| 2670k| 171 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1584k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1419.81/1420.38 c 1323s| 2680k| 155 | 267 | 0.0 |4537k| 301 | - | 401 | 427 | 0 | 0 | 8 |1590k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1424.72/1425.29 c 1327s| 2690k| 159 | 267 | 0.0 |4537k| 301 | - | 401 | 426 | 0 | 0 | 8 |1596k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1429.92/1430.46 c 1332s| 2700k| 158 | 267 | 0.0 |4537k| 301 | - | 401 | 426 | 0 | 0 | 8 |1601k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1435.21/1435.78 c 1337s| 2710k| 156 | 267 | 0.0 |4552k| 301 | - | 401 | 432 | 0 | 0 | 8 |1607k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1440.11/1440.63 c 1342s| 2720k| 187 | 267 | 0.0 |4544k| 301 | - | 401 | 423 | 0 | 0 | 8 |1613k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1444.91/1445.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1444.91/1445.41 c 1346s| 2730k| 174 | 267 | 0.0 |4549k| 301 | - | 401 | 435 | 0 | 0 | 8 |1619k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1449.31/1449.84 c 1350s| 2740k| 171 | 267 | 0.0 |4545k| 301 | - | 401 | 435 | 0 | 0 | 8 |1625k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1454.11/1454.68 c 1355s| 2750k| 164 | 267 | 0.0 |4541k| 301 | - | 401 | 430 | 0 | 0 | 8 |1631k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1458.91/1459.47 c 1359s| 2760k| 159 | 267 | 0.0 |4536k| 301 | - | 401 | 423 | 0 | 0 | 8 |1638k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1463.31/1463.82 c 1363s| 2770k| 147 | 267 | 0.0 |4534k| 301 | - | 401 | 426 | 0 | 0 | 8 |1643k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1468.50/1469.00 c 1368s| 2780k| 152 | 267 | 0.0 |4535k| 301 | - | 401 | 425 | 0 | 0 | 8 |1648k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1473.80/1474.35 c 1373s| 2790k| 158 | 267 | 0.0 |4538k| 301 | - | 401 | 428 | 0 | 0 | 8 |1654k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1479.19/1479.75 c 1378s| 2800k| 145 | 267 | 0.0 |4542k| 301 | - | 401 | 427 | 0 | 0 | 8 |1660k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1484.51/1485.06 c 1383s| 2810k| 152 | 267 | 0.0 |4540k| 301 | - | 401 | 436 | 0 | 0 | 8 |1666k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1490.01/1490.57 c 1388s| 2820k| 138 | 267 | 0.0 |4536k| 301 | - | 401 | 436 | 0 | 0 | 8 |1672k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1494.50/1495.08 c 1392s| 2830k| 189 | 267 | 0.0 |4548k| 301 | - | 401 | 433 | 0 | 0 | 8 |1677k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1499.29/1499.85 c 1397s| 2840k| 171 | 267 | 0.0 |4548k| 301 | - | 401 | 440 | 0 | 0 | 8 |1684k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1504.69/1505.25 c 1402s| 2850k| 156 | 267 | 0.0 |4535k| 301 | - | 401 | 422 | 0 | 0 | 8 |1691k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1509.70/1510.24 c 1406s| 2860k| 156 | 267 | 0.0 |4549k| 301 | - | 401 | 436 | 0 | 0 | 8 |1697k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1515.19/1515.70 c 1412s| 2870k| 146 | 267 | 0.0 |4544k| 301 | - | 401 | 446 | 0 | 0 | 8 |1704k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1520.59/1521.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1520.59/1521.13 c 1417s| 2880k| 153 | 267 | 0.0 |4548k| 301 | - | 401 | 435 | 0 | 0 | 8 |1711k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1526.19/1526.77 c 1422s| 2890k| 146 | 267 | 0.0 |4544k| 301 | - | 401 | 425 | 0 | 0 | 8 |1717k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1531.98/1532.53 c 1427s| 2900k| 160 | 267 | 0.0 |4542k| 301 | - | 401 | 435 | 0 | 0 | 8 |1723k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1537.38/1537.99 c 1432s| 2910k| 161 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |1730k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1542.69/1543.28 c 1437s| 2920k| 135 | 267 | 0.0 |4531k| 301 | - | 401 | 425 | 0 | 0 | 8 |1736k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1547.88/1548.47 c 1442s| 2930k| 166 | 267 | 0.0 |4550k| 301 | - | 401 | 452 | 0 | 0 | 8 |1742k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1553.38/1553.95 c 1447s| 2940k| 174 | 267 | 0.0 |4548k| 301 | - | 401 | 443 | 0 | 0 | 8 |1749k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1558.77/1559.39 c 1452s| 2950k| 154 | 267 | 0.0 |4536k| 301 | - | 401 | 422 | 0 | 0 | 8 |1756k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1564.78/1565.37 c 1457s| 2960k| 152 | 267 | 0.0 |4550k| 301 | - | 401 | 448 | 0 | 0 | 8 |1763k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1570.67/1571.24 c 1463s| 2970k| 145 | 267 | 0.0 |4542k| 301 | - | 401 | 444 | 0 | 0 | 8 |1770k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1576.46/1577.09 c 1468s| 2980k| 157 | 267 | 0.0 |4541k| 301 | - | 401 | 434 | 0 | 0 | 8 |1776k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1583.37/1583.97 c 1475s| 2990k| 147 | 267 | 0.0 |4562k| 301 | - | 401 | 476 | 0 | 0 | 8 |1783k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1589.17/1589.74 c 1480s| 3000k| 144 | 267 | 0.0 |4558k| 301 | - | 401 | 471 | 0 | 0 | 8 |1790k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1594.37/1594.94 c 1485s| 3010k| 144 | 267 | 0.0 |4553k| 301 | - | 401 | 453 | 0 | 0 | 8 |1796k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1599.97/1600.59 c 1490s| 3020k| 133 | 267 | 0.0 |4532k| 301 | - | 401 | 425 | 0 | 0 | 8 |1803k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1604.37/1604.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.37/1604.97 c 1494s| 3030k| 188 | 267 | 0.0 |4548k| 301 | - | 401 | 429 | 0 | 0 | 8 |1809k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1608.77/1609.32 c 1498s| 3040k| 165 | 267 | 0.0 |4539k| 301 | - | 401 | 423 | 0 | 0 | 8 |1814k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1614.05/1614.66 c 1503s| 3050k| 176 | 267 | 0.0 |4548k| 301 | - | 401 | 428 | 0 | 0 | 8 |1820k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1619.26/1619.87 c 1508s| 3060k| 183 | 267 | 0.0 |4545k| 301 | - | 401 | 422 | 0 | 0 | 8 |1827k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1625.86/1626.43 c 1514s| 3070k| 187 | 267 | 0.0 |4549k| 301 | - | 401 | 421 | 0 | 0 | 8 |1835k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1632.35/1632.95 c 1520s| 3080k| 179 | 267 | 0.0 |4544k| 301 | - | 401 | 421 | 0 | 0 | 8 |1843k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1637.55/1638.13 c 1525s| 3090k| 163 | 267 | 0.0 |4552k| 301 | - | 401 | 434 | 0 | 0 | 8 |1849k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1642.05/1642.66 c 1529s| 3100k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 431 | 0 | 0 | 8 |1854k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1646.94/1647.50 c 1534s| 3110k| 175 | 267 | 0.0 |4541k| 301 | - | 401 | 421 | 0 | 0 | 8 |1860k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1652.14/1652.71 c 1538s| 3120k| 164 | 267 | 0.0 |4538k| 301 | - | 401 | 421 | 0 | 0 | 8 |1867k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1658.04/1658.69 c 1544s| 3130k| 167 | 267 | 0.0 |4541k| 301 | - | 401 | 424 | 0 | 0 | 8 |1873k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1663.74/1664.33 c 1549s| 3140k| 171 | 267 | 0.0 |4543k| 301 | - | 401 | 430 | 0 | 0 | 8 |1880k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1669.53/1670.14 c 1555s| 3150k| 154 | 267 | 0.0 |4536k| 301 | - | 401 | 421 | 0 | 0 | 8 |1887k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1674.54/1675.11 c 1559s| 3160k| 161 | 267 | 0.0 |4542k| 301 | - | 401 | 429 | 0 | 0 | 8 |1893k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1678.94/1679.57 c 1563s| 3170k| 154 | 267 | 0.0 |4538k| 301 | - | 401 | 426 | 0 | 0 | 8 |1898k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1684.23/1684.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1684.23/1684.84 c 1568s| 3180k| 160 | 267 | 0.0 |4547k| 301 | - | 401 | 448 | 0 | 0 | 8 |1904k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1690.14/1690.72 c 1574s| 3190k| 191 | 267 | 0.0 |4569k| 301 | - | 401 | 485 | 0 | 0 | 8 |1911k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1696.52/1697.10 c 1579s| 3200k| 167 | 267 | 0.0 |4540k| 301 | - | 401 | 421 | 0 | 0 | 8 |1919k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1702.32/1702.98 c 1585s| 3210k| 160 | 267 | 0.0 |4569k| 301 | - | 401 | 502 | 0 | 0 | 8 |1926k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1708.73/1709.36 c 1591s| 3220k| 153 | 267 | 0.0 |4537k| 301 | - | 401 | 423 | 0 | 0 | 8 |1934k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1713.53/1714.18 c 1595s| 3230k| 159 | 267 | 0.0 |4537k| 301 | - | 401 | 421 | 0 | 0 | 8 |1940k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1718.42/1719.02 c 1600s| 3240k| 184 | 267 | 0.0 |4558k| 301 | - | 401 | 431 | 0 | 0 | 8 |1945k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1723.61/1724.21 c 1605s| 3250k| 170 | 267 | 0.0 |4541k| 301 | - | 401 | 423 | 0 | 0 | 8 |1951k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1728.32/1728.97 c 1609s| 3260k| 168 | 267 | 0.0 |4541k| 301 | - | 401 | 423 | 0 | 0 | 8 |1957k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1734.02/1734.64 c 1614s| 3270k| 161 | 267 | 0.0 |4541k| 301 | - | 401 | 429 | 0 | 0 | 8 |1963k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1739.52/1740.16 c 1619s| 3280k| 149 | 267 | 0.0 |4548k| 301 | - | 401 | 426 | 0 | 0 | 8 |1970k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1745.21/1745.87 c 1625s| 3290k| 173 | 267 | 0.0 |4551k| 301 | - | 401 | 441 | 0 | 0 | 8 |1975k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1750.31/1750.94 c 1629s| 3300k| 172 | 267 | 0.0 |4541k| 301 | - | 401 | 421 | 0 | 0 | 8 |1982k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1755.61/1756.21 c 1634s| 3310k| 172 | 267 | 0.0 |4554k| 301 | - | 401 | 457 | 0 | 0 | 8 |1988k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1760.30/1761.00 c 1639s| 3320k| 157 | 267 | 0.0 |4541k| 301 | - | 401 | 431 | 0 | 0 | 8 |1994k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1765.21/1765.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1765.21/1765.84 c 1643s| 3330k| 171 | 267 | 0.0 |4541k| 301 | - | 401 | 422 | 0 | 0 | 8 |2000k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1771.00/1771.60 c 1649s| 3340k| 164 | 267 | 0.0 |4539k| 301 | - | 401 | 422 | 0 | 0 | 8 |2006k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1775.81/1776.46 c 1653s| 3350k| 162 | 267 | 0.0 |4541k| 301 | - | 401 | 426 | 0 | 0 | 8 |2012k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1780.90/1781.54 c 1658s| 3360k| 173 | 267 | 0.0 |4550k| 301 | - | 401 | 443 | 0 | 0 | 8 |2018k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1786.59/1787.21 c 1663s| 3370k| 169 | 267 | 0.0 |4541k| 301 | - | 401 | 424 | 0 | 0 | 8 |2024k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1791.30/1791.94 c 1668s| 3380k| 161 | 267 | 0.0 |4539k| 301 | - | 401 | 424 | 0 | 0 | 8 |2031k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1796.10/1796.79 c 1672s| 3390k| 149 | 267 | 0.0 |4538k| 301 | - | 401 | 425 | 0 | 0 | 8 |2036k| 44 | 1.650000e+01 | 1.900000e+01 | 15.15%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1675.57
1800.01/1800.61 c Solving Nodes : 3397317
1800.01/1800.61 c Primal Bound : +1.90000000000000e+01 (6 solutions)
1800.01/1800.61 c Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Gap : 15.15 %
1800.01/1800.61 s SATISFIABLE
1800.01/1800.61 v x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385
1800.01/1800.61 v -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364
1800.01/1800.61 v -x363 -x362 -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1800.01/1800.61 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 x327 -x326 -x325 -x324 -x323 -x322
1800.01/1800.61 v -x321 -x320 x319 -x318 -x317 -x316 x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1800.01/1800.61 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280
1800.01/1800.61 v -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 x264 x263 x262 -x261 -x260 -x259
1800.01/1800.61 v -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238
1800.01/1800.61 v -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1800.01/1800.61 v -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 x206 x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196
1800.01/1800.61 v -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 x175
1800.01/1800.61 v -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154
1800.01/1800.61 v -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133
1800.01/1800.61 v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112
1800.01/1800.61 v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
1800.01/1800.61 v -x89 -x88 -x87 -x86 -x85 x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64
1800.01/1800.61 v -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39
1800.01/1800.61 v -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14
1800.01/1800.61 v -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time : 1675.57
1800.01/1800.61 c Original Problem :
1800.01/1800.61 c Problem name : HOME/instance-2666059-1276413116.opb
1800.01/1800.61 c Variables : 406 (406 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 520 initial, 520 maximal
1800.01/1800.61 c Presolved Problem :
1800.01/1800.61 c Problem name : t_HOME/instance-2666059-1276413116.opb
1800.01/1800.61 c Variables : 401 (401 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.61 c Constraints : 421 initial, 796 maximal
1800.01/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.61 c linear : 0.01 5 0 0 5 0 37 5 0
1800.01/1800.61 c logicor : 0.01 0 0 0 0 0 62 0 0
1800.01/1800.61 c root node : - 0 - - 0 - - - -
1800.01/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.01/1800.61 c logicor : 421+ 7 10684994 0 0 1520524 7879163 0 0 0
1800.01/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.61 c integral : 0.96 0.00 0.00 0.96 0.00
1800.01/1800.61 c logicor : 318.95 0.00 318.95 0.00 0.00
1800.01/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.61 c vbounds : 10.03 2 0 0
1800.01/1800.61 c rootredcost : 8.73 0 0 0
1800.01/1800.61 c pseudoobj : 746.81 21442372 630283 284308625
1800.01/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.61 c propagation : 257.77 2020963 2020963 2020963 27.8 44300 44.0 -
1800.01/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.61 c applied globally : - - - 1703710 22.4 - - -
1800.01/1800.61 c applied locally : - - - 337194 55.4 - - -
1800.01/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.61 c cut pool : 0.00 6 - - 8 - (maximal pool size: 141)
1800.01/1800.61 c redcost : 0.00 8 0 0 0 0
1800.01/1800.61 c impliedbounds : 0.00 8 0 0 0 0
1800.01/1800.61 c intobj : 0.00 0 0 0 0 0
1800.01/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.61 c gomory : 0.61 8 0 0 736 0
1800.01/1800.61 c strongcg : 0.58 8 0 0 1188 0
1800.01/1800.61 c cmir : 0.08 8 0 0 0 0
1800.01/1800.61 c flowcover : 0.12 8 0 0 0 0
1800.01/1800.61 c clique : 0.00 1 0 0 0 0
1800.01/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.61 c mcf : 0.00 1 0 0 0 0
1800.01/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.61 c Pricers : Time Calls Vars
1800.01/1800.61 c problem variables: 0.00 0 0
1800.01/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.61 c relpscost : 0.96 1 0 0 0 0 2
1800.01/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.61 c inference : 110.82 2531485 0 0 0 0 5062970
1800.01/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.61 c random : 0.00 0 0 0 0 0 0
1800.01/1800.61 c Primal Heuristics : Time Calls Found
1800.01/1800.61 c LP solutions : 0.00 - 0
1800.01/1800.61 c pseudo solutions : 0.00 - 0
1800.01/1800.61 c crossover : 0.00 0 0
1800.01/1800.61 c oneopt : 1.86 4 2
1800.01/1800.61 c trivial : 0.01 2 3
1800.01/1800.61 c simplerounding : 0.00 7 0
1800.01/1800.61 c zirounding : 0.00 1 0
1800.01/1800.61 c rounding : 0.00 7 0
1800.01/1800.61 c shifting : 0.01 7 0
1800.01/1800.61 c intshifting : 0.00 0 0
1800.01/1800.61 c twoopt : 0.00 0 0
1800.01/1800.61 c fixandinfer : 0.00 0 0
1800.01/1800.61 c feaspump : 0.00 0 0
1800.01/1800.61 c coefdiving : 0.00 0 0
1800.01/1800.61 c pscostdiving : 0.00 0 0
1800.01/1800.61 c fracdiving : 0.00 0 0
1800.01/1800.61 c veclendiving : 0.00 0 0
1800.01/1800.61 c intdiving : 0.00 0 0
1800.01/1800.61 c actconsdiving : 0.00 0 0
1800.01/1800.61 c objpscostdiving : 0.00 0 0
1800.01/1800.61 c rootsoldiving : 0.00 0 0
1800.01/1800.61 c linesearchdiving : 0.00 0 0
1800.01/1800.61 c guideddiving : 0.00 0 0
1800.01/1800.61 c octane : 0.00 0 0
1800.01/1800.61 c rens : 0.13 1 1
1800.01/1800.61 c rins : 0.00 0 0
1800.01/1800.61 c localbranching : 0.00 0 0
1800.01/1800.61 c mutation : 0.00 0 0
1800.01/1800.61 c dins : 0.00 0 0
1800.01/1800.61 c undercover : 0.00 0 0
1800.01/1800.61 c nlp : 2.09 0 0
1800.01/1800.61 c trysol : 1.52 0 0
1800.01/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.61 c dual LP : 0.04 7 267 38.14 6675.00
1800.01/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.61 c strong branching : 0.96 44 7411 168.43 7719.79
1800.01/1800.61 c (at root node) : - 44 7411 168.43 -
1800.01/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.61 c B&B Tree :
1800.01/1800.61 c number of runs : 1
1800.01/1800.61 c nodes : 3397317
1800.01/1800.61 c nodes (total) : 3397317
1800.01/1800.61 c nodes left : 149
1800.01/1800.61 c max depth : 301
1800.01/1800.61 c max depth (total): 301
1800.01/1800.61 c backtracks : 1835281 (54.0%)
1800.01/1800.61 c delayed cutoffs : 1665507
1800.01/1800.61 c repropagations : 11370951 (169566732 domain reductions, 1284976 cutoffs)
1800.01/1800.61 c avg switch length: 7.61
1800.01/1800.61 c switching time : 257.51
1800.01/1800.61 c Solution :
1800.01/1800.61 c Solutions found : 6 (5 improvements)
1800.01/1800.61 c First Solution : +4.06000000000000e+02 (in run 1, after 0 nodes, 0.00 seconds, depth 0, found by <trivial>)
1800.01/1800.61 c Primal Bound : +1.90000000000000e+01 (in run 1, after 1 nodes, 1.44 seconds, depth 0, found by <rens>)
1800.01/1800.61 c Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Gap : 15.15 %
1800.01/1800.61 c Root Dual Bound : +1.65000000000000e+01
1800.01/1800.61 c Root Iterations : 267
1800.01/1800.63 c Time complete: 1800.03.
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666059-1276413116/watcher-2666059-1276413116 -o /tmp/evaluation-result-2666059-1276413116/solver-2666059-1276413116 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666059-1276413116.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.03 1.99 1.65 3/106 22541 /proc/meminfo: memFree=1767992/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=9288 CPUtime=0 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 1062 0 0 0 0 0 0 0 20 0 1 0 16912985 9510912 983 1992294400 4194304 9819077 140735790926400 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/22541/statm: 2322 995 371 1374 0 943 0 [startup+0.0818821 s] /proc/loadavg: 2.03 1.99 1.65 3/106 22541 /proc/meminfo: memFree=1767992/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=16960 CPUtime=0.07 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 3913 0 0 0 6 1 0 0 20 0 1 0 16912985 17367040 2966 1992294400 4194304 9819077 140735790926400 18446744073709551615 4672133 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 4240 2966 499 1374 0 2861 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16960 [startup+0.100885 s] /proc/loadavg: 2.03 1.99 1.65 3/106 22541 /proc/meminfo: memFree=1767992/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=16064 CPUtime=0.09 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 4201 0 0 0 7 2 0 0 20 0 1 0 16912985 16449536 2740 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 4016 2740 510 1374 0 2637 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16064 [startup+0.30092 s] /proc/loadavg: 2.03 1.99 1.65 3/106 22541 /proc/meminfo: memFree=1767992/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=27488 CPUtime=0.29 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 6932 0 0 0 26 3 0 0 20 0 1 0 16912985 28147712 5406 1992294400 4194304 9819077 140735790926400 18446744073709551615 5755332 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 6872 5406 667 1374 0 5493 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27488 [startup+0.700987 s] /proc/loadavg: 2.03 1.99 1.65 3/106 22541 /proc/meminfo: memFree=1767992/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=31740 CPUtime=0.69 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 8050 0 0 0 65 4 0 0 21 0 1 0 16912985 32501760 6480 1992294400 4194304 9819077 140735790926400 18446744073709551615 4310686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 7935 6480 669 1374 0 6556 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31740 [startup+1.50112 s] /proc/loadavg: 1.94 1.97 1.64 2/107 22542 /proc/meminfo: memFree=1736860/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=51304 CPUtime=1.49 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 14936 0 0 0 141 8 0 0 23 0 1 0 16912985 52535296 10737 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 12826 10737 702 1374 0 11447 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 51304 [startup+3.1004 s] /proc/loadavg: 1.94 1.97 1.64 2/107 22542 /proc/meminfo: memFree=1735868/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=40672 CPUtime=3.08 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 19203 0 0 0 294 14 0 0 25 0 1 0 16912985 41648128 8594 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 10168 8594 720 1374 0 8789 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 40672 [startup+6.30195 s] /proc/loadavg: 1.94 1.97 1.64 2/107 22544 /proc/meminfo: memFree=1735372/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=41600 CPUtime=6.29 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 19433 0 0 0 589 40 0 0 25 0 1 0 16912985 42598400 8824 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 10400 8824 720 1374 0 9021 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41600 [startup+12.701 s] /proc/loadavg: 1.80 1.94 1.63 2/107 22544 /proc/meminfo: memFree=1734628/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=42284 CPUtime=12.68 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 19569 0 0 0 1187 81 0 0 25 0 1 0 16912985 43298816 8960 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 10571 8960 720 1374 0 9192 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 42284 [startup+25.5012 s] /proc/loadavg: 1.68 1.91 1.63 2/107 22544 /proc/meminfo: memFree=1734380/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=42556 CPUtime=25.48 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 19653 0 0 0 2387 161 0 0 25 0 1 0 16912985 43577344 9044 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 10639 9044 720 1374 0 9260 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42556 [startup+51.1016 s] /proc/loadavg: 1.44 1.84 1.61 2/107 22544 /proc/meminfo: memFree=1733016/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=44204 CPUtime=51.07 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 19969 0 0 0 4788 319 0 0 25 0 1 0 16912985 45264896 9360 1992294400 4194304 9819077 140735790926400 18446744073709551615 5917627 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11051 9360 720 1374 0 9672 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44204 [startup+102.308 s] /proc/loadavg: 1.18 1.69 1.57 2/107 22546 /proc/meminfo: memFree=1732272/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45168 CPUtime=102.26 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20162 0 0 0 9589 637 0 0 25 0 1 0 16912985 46252032 9553 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11292 9553 720 1374 0 9913 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 45168 [startup+162.301 s] /proc/loadavg: 1.06 1.56 1.53 2/107 22551 /proc/meminfo: memFree=1731280/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45452 CPUtime=162.23 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20222 0 0 0 15144 1079 0 0 25 0 1 0 16912985 46542848 9613 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11363 9613 720 1374 0 9984 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 45452 [startup+222.301 s] /proc/loadavg: 1.02 1.46 1.50 2/107 22551 /proc/meminfo: memFree=1731404/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45452 CPUtime=222.21 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20230 0 0 0 20739 1482 0 0 25 0 1 0 16912985 46542848 9621 1992294400 4194304 9819077 140735790926400 18446744073709551615 4665414 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11363 9621 720 1374 0 9984 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 45452 [startup+282.301 s] /proc/loadavg: 1.01 1.37 1.46 2/107 22553 /proc/meminfo: memFree=1731156/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45664 CPUtime=282.19 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20278 0 0 0 26320 1899 0 0 25 0 1 0 16912985 46759936 9669 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11416 9669 720 1374 0 10037 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 45664 [startup+342.301 s] /proc/loadavg: 1.00 1.30 1.43 2/107 22555 /proc/meminfo: memFree=1731032/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45800 CPUtime=342.17 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20307 0 0 0 31910 2307 0 0 25 0 1 0 16912985 46899200 9698 1992294400 4194304 9819077 140735790926400 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11450 9698 720 1374 0 10071 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 45800 [startup+402.302 s] /proc/loadavg: 1.00 1.24 1.40 2/107 22557 /proc/meminfo: memFree=1731032/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45800 CPUtime=402.15 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20315 0 0 0 37525 2690 0 0 25 0 1 0 16912985 46899200 9706 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11450 9706 720 1374 0 10071 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 45800 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.37 2/107 22559 /proc/meminfo: memFree=1730908/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45800 CPUtime=462.14 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20321 0 0 0 43134 3080 0 0 25 0 1 0 16912985 46899200 9712 1992294400 4194304 9819077 140735790926400 18446744073709551615 4661075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11450 9712 720 1374 0 10071 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 45800 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.35 2/107 22559 /proc/meminfo: memFree=1730784/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45940 CPUtime=522.11 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20338 0 0 0 48738 3473 0 0 25 0 1 0 16912985 47042560 9729 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11485 9729 720 1374 0 10106 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 45940 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.32 2/107 22561 /proc/meminfo: memFree=1730660/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=45940 CPUtime=582.09 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20360 0 0 0 54325 3884 0 0 25 0 1 0 16912985 47042560 9751 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11485 9751 720 1374 0 10106 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 45940 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.30 2/107 22563 /proc/meminfo: memFree=1730660/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46072 CPUtime=642.08 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20368 0 0 0 59937 4271 0 0 25 0 1 0 16912985 47177728 9759 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11518 9759 720 1374 0 10139 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 46072 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.05 1.24 2/107 22567 /proc/meminfo: memFree=1730040/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46208 CPUtime=822.01 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20403 0 0 0 76716 5485 0 0 25 0 1 0 16912985 47316992 9794 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11552 9794 720 1374 0 10173 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 46208 [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.22 2/107 22569 /proc/meminfo: memFree=1729916/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46368 CPUtime=881.99 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20430 0 0 0 82331 5868 0 0 25 0 1 0 16912985 47480832 9821 1992294400 4194304 9819077 140735790926400 18446744073709551615 5506148 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11592 9821 720 1374 0 10213 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 46368 [startup+942.3 s] /proc/loadavg: 1.03 1.04 1.21 2/107 22571 /proc/meminfo: memFree=1729668/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46368 CPUtime=941.97 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20445 0 0 0 87894 6303 0 0 25 0 1 0 16912985 47480832 9836 1992294400 4194304 9819077 140735790926400 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11592 9836 720 1374 0 10213 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 46368 [startup+1002.3 s] /proc/loadavg: 1.01 1.03 1.19 2/107 22573 /proc/meminfo: memFree=1729544/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1001.96 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20508 0 0 0 93475 6721 0 0 25 0 1 0 16912985 47742976 9899 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9899 720 1374 0 10277 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 46624 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 22575 /proc/meminfo: memFree=1729296/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1061.94 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20515 0 0 0 99036 7158 0 0 25 0 1 0 16912985 47742976 9906 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9906 720 1374 0 10277 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 46624 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.17 2/107 22575 /proc/meminfo: memFree=1729048/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1121.91 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20515 0 0 0 104590 7601 0 0 25 0 1 0 16912985 47742976 9906 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9906 720 1374 0 10277 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 46624 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 22577 /proc/meminfo: memFree=1729048/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1181.89 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20516 0 0 0 110173 8016 0 0 25 0 1 0 16912985 47742976 9907 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9907 720 1374 0 10277 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 46624 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.14 2/107 22579 /proc/meminfo: memFree=1728800/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1241.87 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20516 0 0 0 115780 8407 0 0 25 0 1 0 16912985 47742976 9907 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9907 720 1374 0 10277 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 46624 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 22581 /proc/meminfo: memFree=1728552/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46624 CPUtime=1301.86 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20524 0 0 0 121346 8840 0 0 25 0 1 0 16912985 47742976 9915 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11656 9915 720 1374 0 10277 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 46624 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 22583 /proc/meminfo: memFree=1728552/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46764 CPUtime=1361.84 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20528 0 0 0 126899 9285 0 0 25 0 1 0 16912985 47886336 9919 1992294400 4194304 9819077 140735790926400 18446744073709551615 6180954 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11691 9919 720 1374 0 10312 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 46764 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 22583 /proc/meminfo: memFree=1728428/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46764 CPUtime=1421.83 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20554 0 0 0 132457 9726 0 0 25 0 1 0 16912985 47886336 9945 1992294400 4194304 9819077 140735790926400 18446744073709551615 6142313 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11691 9945 720 1374 0 10312 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 46764 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 22585 /proc/meminfo: memFree=1728304/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46764 CPUtime=1481.8 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20554 0 0 0 138052 10128 0 0 25 0 1 0 16912985 47886336 9945 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11691 9945 720 1374 0 10312 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 46764 [startup+1542.3 s] /proc/loadavg: 1.05 1.01 1.09 2/107 22587 /proc/meminfo: memFree=1728304/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46764 CPUtime=1541.78 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20554 0 0 0 143622 10556 0 0 25 0 1 0 16912985 47886336 9945 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11691 9945 720 1374 0 10312 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 46764 [startup+1602.3 s] /proc/loadavg: 1.02 1.01 1.08 2/107 22589 /proc/meminfo: memFree=1728056/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46900 CPUtime=1601.76 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20577 0 0 0 149175 11001 0 0 25 0 1 0 16912985 48025600 9968 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11725 9968 720 1374 0 10346 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 46900 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 22591 /proc/meminfo: memFree=1727932/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46900 CPUtime=1661.74 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20586 0 0 0 154731 11443 0 0 25 0 1 0 16912985 48025600 9977 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11725 9977 720 1374 0 10346 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 46900 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 22591 /proc/meminfo: memFree=1727808/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46900 CPUtime=1721.71 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20586 0 0 0 160291 11880 0 0 25 0 1 0 16912985 48025600 9977 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11725 9977 720 1374 0 10346 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 46900 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 22593 /proc/meminfo: memFree=1727560/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46900 CPUtime=1781.7 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20586 0 0 0 165865 12305 0 0 25 0 1 0 16912985 48025600 9977 1992294400 4194304 9819077 140735790926400 18446744073709551615 4660993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11725 9977 720 1374 0 10346 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 46900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.07 2/107 22593 /proc/meminfo: memFree=1727560/2059040 swapFree=4165864/4192956 [pid=22541] ppid=22539 vsize=46900 CPUtime=1800.01 /proc/22541/stat : 22541 (pbscip.linux.x8) R 22539 22541 21942 0 -1 4202496 20586 0 0 0 167560 12441 0 0 25 0 1 0 16912985 48025600 9977 1992294400 4194304 9819077 140735790926400 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/22541/statm: 11725 9977 720 1374 0 10346 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 46900 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.04 CPU user time (s): 1675.62 CPU system time (s): 124.416 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 51304 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1675.62 system time used= 124.416 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20591 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= 2 involuntary context switches= 24547 runsolver used 3.08053 second user time and 8.42572 second system time The end
Begin job on node014 at 2010-06-13 09:11:56 IDJOB=2666059 IDBENCH=2050 IDSOLVER=1168 FILE ID=node014/2666059-1276413116 PBS_JOBID= 11173281 Free space on /tmp= 62464 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-f51m.b.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666059-1276413116/watcher-2666059-1276413116 -o /tmp/evaluation-result-2666059-1276413116/solver-2666059-1276413116 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2666059-1276413116.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95b567c682e7e3efe2c93879e0e7c89d RANDOM SEED=279415250 node014.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1768644 kB Buffers: 32748 kB Cached: 145480 kB SwapCached: 1640 kB Active: 119480 kB Inactive: 93336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768644 kB SwapTotal: 4192956 kB SwapFree: 4165864 kB Dirty: 6388 kB Writeback: 0 kB AnonPages: 32812 kB Mapped: 15080 kB Slab: 55756 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182532 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= 62456 MiB End job on node014 at 2010-06-13 09:41:59