Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 365 | 1800.08 | 1800.53 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
| MD5SUM | 39250f205953aedd83d7a2bcba6bda16 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 283 |
| Best CPU time to get the best result obtained on this benchmark | 3.36149 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 283 |
| Optimality of the best value was proved | NO |
| Number of variables | 792 |
| Total number of constraints | 3194 |
| Number of constraints which are clauses | 3194 |
| 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 | 2 |
| Maximum length of a constraint | 8 |
| Number of terms in the objective function | 792 |
| 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 | 792 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 792 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664197-1276466695.opb>
0.00/0.06 c original problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3194 constraints
0.00/0.06 c problem read
0.00/0.06 c presolving settings loaded
0.00/0.07 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.07/0.08 c presolving:
0.09/0.14 c (round 1) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2834 upgd conss, 20376 impls, 0 clqs
0.09/0.16 c (round 2) 0 del vars, 60 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3134 upgd conss, 20376 impls, 0 clqs
0.19/0.21 c (0.1s) probing: 101/792 (12.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21 c presolving (3 rounds):
0.19/0.21 c 0 deleted vars, 60 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.21 c 20376 implications, 0 cliques
0.19/0.21 c presolved problem has 792 variables (792 bin, 0 int, 0 impl, 0 cont) and 3134 constraints
0.19/0.21 c 3134 constraints of type <logicor>
0.19/0.21 c transformed objective value is always integral (scale: 1)
0.19/0.21 c Presolving Time: 0.11
0.19/0.21 c - non default parameters ----------------------------------------------------------------------
0.19/0.21 c # SCIP version 1.2.1.2
0.19/0.21 c
0.19/0.21 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21 c conflict/interconss = 0
0.19/0.21 c
0.19/0.21 c # should binary conflicts be preferred?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c conflict/preferbinary = TRUE
0.19/0.21 c
0.19/0.21 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.21 c constraints/agelimit = 1
0.19/0.21 c
0.19/0.21 c # should enforcement of pseudo solution be disabled?
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/disableenfops = TRUE
0.19/0.21 c
0.19/0.21 c # frequency for displaying node information lines
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21 c display/freq = 10000
0.19/0.21 c
0.19/0.21 c # maximal time in seconds to run
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/time = 1799.94
0.19/0.21 c
0.19/0.21 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21 c limits/memory = 1620
0.19/0.21 c
0.19/0.21 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.21 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.21 c lp/solvefreq = -1
0.19/0.21 c
0.19/0.21 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.19/0.21 c # [type: char, range: {lafpsqd}, default: l]
0.19/0.21 c lp/pricing = a
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify inequalities
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/linear/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # should presolving try to simplify knapsacks
0.19/0.21 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21 c
0.19/0.21 c # priority of node selection rule <dfs> in standard mode
0.19/0.21 c # [type: int, range: [-536870912,536870911], default: 0]
0.19/0.21 c nodeselection/dfs/stdpriority = 1000000
0.19/0.21 c
0.19/0.21 c -----------------------------------------------------------------------------------------------
0.19/0.21 c start solving
0.19/0.21 c
0.19/0.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.21 c 0.1s| 1 | 2 | 0 | - |4751k| 0 | - | 792 |3134 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.30 o 380
0.19/0.30 c * 0.2s| 129 | 69 | 0 | 0.0 |4874k| 83 | - | 792 |3138 | 0 | 0 | 0 | 35 | 0 | 1.000000e+00 | 3.800000e+02 | Large
0.29/0.35 o 379
0.29/0.35 c * 0.2s| 390 | 67 | 0 | 0.0 |4885k| 83 | - | 792 |3138 | 0 | 0 | 0 | 48 | 0 | 1.000000e+00 | 3.790000e+02 | Large
0.49/0.53 o 367
0.49/0.53 c * 0.4s| 1091 | 83 | 0 | 0.0 |4913k| 108 | - | 792 |3139 | 0 | 0 | 0 | 126 | 0 | 1.000000e+00 | 3.670000e+02 | Large
6.39/6.40 c 6.0s| 10000 | 78 | 0 | 0.0 |4910k| 108 | - | 792 |3139 | 0 | 0 | 0 |4782 | 0 | 1.000000e+00 | 3.670000e+02 | Large
12.89/12.99 c 12.3s| 20000 | 74 | 0 | 0.0 |4910k| 108 | - | 792 |3139 | 0 | 0 | 0 |9996 | 0 | 1.000000e+00 | 3.670000e+02 | Large
19.48/19.54 c 18.5s| 30000 | 78 | 0 | 0.0 |4911k| 108 | - | 792 |3139 | 0 | 0 | 0 | 15k| 0 | 1.000000e+00 | 3.670000e+02 | Large
26.29/26.38 c 25.1s| 40000 | 72 | 0 | 0.0 |4910k| 108 | - | 792 |3139 | 0 | 0 | 0 | 20k| 0 | 1.000000e+00 | 3.670000e+02 | Large
32.58/32.64 c 31.1s| 50000 | 70 | 0 | 0.0 |4916k| 108 | - | 792 |3145 | 0 | 0 | 0 | 26k| 0 | 1.000000e+00 | 3.670000e+02 | Large
38.28/38.34 c 36.5s| 60000 | 74 | 0 | 0.0 |4914k| 108 | - | 792 |3142 | 0 | 0 | 0 | 31k| 0 | 1.000000e+00 | 3.670000e+02 | Large
44.08/44.17 c 42.1s| 70000 | 70 | 0 | 0.0 |4915k| 108 | - | 792 |3144 | 0 | 0 | 0 | 35k| 0 | 1.000000e+00 | 3.670000e+02 | Large
51.08/51.10 c 48.7s| 80000 | 75 | 0 | 0.0 |4915k| 108 | - | 792 |3142 | 0 | 0 | 0 | 41k| 0 | 1.000000e+00 | 3.670000e+02 | Large
54.48/54.54 o 366
54.48/54.54 c *52.0s| 84866 | 79 | 0 | 0.0 |4925k| 108 | - | 792 |3141 | 0 | 0 | 0 | 43k| 0 | 1.000000e+00 | 3.660000e+02 | Large
56.18/56.25 c 53.6s| 90000 | 76 | 0 | 0.0 |4922k| 108 | - | 792 |3139 | 0 | 0 | 0 | 44k| 0 | 1.000000e+00 | 3.660000e+02 | Large
59.28/59.40 c 56.5s|100000 | 73 | 0 | 0.0 |4922k| 108 | - | 792 |3139 | 0 | 0 | 0 | 45k| 0 | 1.000000e+00 | 3.660000e+02 | Large
63.17/63.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.17/63.28 c 60.2s|110000 | 73 | 0 | 0.0 |4921k| 108 | - | 792 |3139 | 0 | 0 | 0 | 48k| 0 | 1.000000e+00 | 3.660000e+02 | Large
68.09/68.19 c 64.8s|120000 | 74 | 0 | 0.0 |4927k| 108 | - | 792 |3145 | 0 | 0 | 0 | 51k| 0 | 1.000000e+00 | 3.660000e+02 | Large
74.47/74.60 c 71.0s|130000 | 75 | 0 | 0.0 |4922k| 108 | - | 792 |3139 | 0 | 0 | 0 | 56k| 0 | 1.000000e+00 | 3.660000e+02 | Large
80.97/81.04 c 77.1s|140000 | 73 | 0 | 0.0 |4924k| 108 | - | 792 |3142 | 0 | 0 | 0 | 62k| 0 | 1.000000e+00 | 3.660000e+02 | Large
87.37/87.42 c 83.2s|150000 | 72 | 0 | 0.0 |4924k| 108 | - | 792 |3142 | 0 | 0 | 0 | 67k| 0 | 1.000000e+00 | 3.660000e+02 | Large
93.27/93.38 c 88.9s|160000 | 71 | 0 | 0.0 |4929k| 108 | - | 792 |3146 | 0 | 0 | 0 | 72k| 0 | 1.000000e+00 | 3.660000e+02 | Large
99.27/99.30 c 94.6s|170000 | 72 | 0 | 0.0 |4923k| 108 | - | 792 |3141 | 0 | 0 | 0 | 76k| 0 | 1.000000e+00 | 3.660000e+02 | Large
105.57/105.67 c 101s|180000 | 75 | 0 | 0.0 |4928k| 108 | - | 792 |3146 | 0 | 0 | 0 | 81k| 0 | 1.000000e+00 | 3.660000e+02 | Large
111.27/111.31 c 106s|190000 | 73 | 0 | 0.0 |4925k| 108 | - | 792 |3144 | 0 | 0 | 0 | 86k| 0 | 1.000000e+00 | 3.660000e+02 | Large
116.86/116.91 c 111s|200000 | 75 | 0 | 0.0 |4922k| 108 | - | 792 |3139 | 0 | 0 | 0 | 91k| 0 | 1.000000e+00 | 3.660000e+02 | Large
123.07/123.12 c 117s|210000 | 72 | 0 | 0.0 |4929k| 108 | - | 792 |3147 | 0 | 0 | 0 | 96k| 0 | 1.000000e+00 | 3.660000e+02 | Large
130.06/130.14 c 124s|220000 | 71 | 0 | 0.0 |4926k| 108 | - | 792 |3143 | 0 | 0 | 0 | 101k| 0 | 1.000000e+00 | 3.660000e+02 | Large
136.27/136.38 c 130s|230000 | 74 | 0 | 0.0 |4923k| 108 | - | 792 |3140 | 0 | 0 | 0 | 106k| 0 | 1.000000e+00 | 3.660000e+02 | Large
142.15/142.25 c 136s|240000 | 75 | 0 | 0.0 |4924k| 108 | - | 792 |3142 | 0 | 0 | 0 | 111k| 0 | 1.000000e+00 | 3.660000e+02 | Large
147.86/147.94 c 141s|250000 | 69 | 0 | 0.0 |4925k| 108 | - | 792 |3143 | 0 | 0 | 0 | 116k| 0 | 1.000000e+00 | 3.660000e+02 | Large
154.05/154.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
154.05/154.11 c 147s|260000 | 75 | 0 | 0.0 |4922k| 108 | - | 792 |3139 | 0 | 0 | 0 | 121k| 0 | 1.000000e+00 | 3.660000e+02 | Large
160.46/160.56 c 153s|270000 | 70 | 0 | 0.0 |4926k| 108 | - | 792 |3144 | 0 | 0 | 0 | 126k| 0 | 1.000000e+00 | 3.660000e+02 | Large
167.35/167.43 c 160s|280000 | 73 | 0 | 0.0 |4924k| 108 | - | 792 |3142 | 0 | 0 | 0 | 131k| 0 | 1.000000e+00 | 3.660000e+02 | Large
174.05/174.19 c 166s|290000 | 68 | 0 | 0.0 |4923k| 108 | - | 792 |3142 | 0 | 0 | 0 | 137k| 0 | 1.000000e+00 | 3.660000e+02 | Large
177.24/177.30 o 365
177.24/177.30 c * 169s|294827 | 78 | 0 | 0.0 |4939k| 108 | - | 792 |3146 | 0 | 0 | 0 | 139k| 0 | 1.000000e+00 | 3.650000e+02 | Large
179.74/179.87 c 172s|300000 | 74 | 0 | 0.0 |4936k| 108 | - | 792 |3144 | 0 | 0 | 0 | 141k| 0 | 1.000000e+00 | 3.650000e+02 | Large
184.94/185.06 c 177s|310000 | 74 | 0 | 0.0 |4941k| 108 | - | 792 |3149 | 0 | 0 | 0 | 145k| 0 | 1.000000e+00 | 3.650000e+02 | Large
190.75/190.86 c 182s|320000 | 73 | 0 | 0.0 |4935k| 108 | - | 792 |3144 | 0 | 0 | 0 | 150k| 0 | 1.000000e+00 | 3.650000e+02 | Large
196.14/196.25 c 187s|330000 | 70 | 0 | 0.0 |4941k| 108 | - | 792 |3149 | 0 | 0 | 0 | 155k| 0 | 1.000000e+00 | 3.650000e+02 | Large
202.05/202.16 c 193s|340000 | 74 | 0 | 0.0 |4939k| 108 | - | 792 |3146 | 0 | 0 | 0 | 159k| 0 | 1.000000e+00 | 3.650000e+02 | Large
207.14/207.26 c 198s|350000 | 71 | 0 | 0.0 |4939k| 108 | - | 792 |3148 | 0 | 0 | 0 | 163k| 0 | 1.000000e+00 | 3.650000e+02 | Large
212.44/212.58 c 203s|360000 | 72 | 0 | 0.0 |4936k| 108 | - | 792 |3144 | 0 | 0 | 0 | 168k| 0 | 1.000000e+00 | 3.650000e+02 | Large
218.33/218.40 c 208s|370000 | 72 | 0 | 0.0 |4938k| 108 | - | 792 |3147 | 0 | 0 | 0 | 172k| 0 | 1.000000e+00 | 3.650000e+02 | Large
223.94/224.06 c 214s|380000 | 73 | 0 | 0.0 |4938k| 108 | - | 792 |3147 | 0 | 0 | 0 | 177k| 0 | 1.000000e+00 | 3.650000e+02 | Large
229.54/229.66 c 219s|390000 | 74 | 0 | 0.0 |4937k| 108 | - | 792 |3145 | 0 | 0 | 0 | 181k| 0 | 1.000000e+00 | 3.650000e+02 | Large
235.13/235.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
235.13/235.20 c 224s|400000 | 76 | 0 | 0.0 |4936k| 108 | - | 792 |3144 | 0 | 0 | 0 | 186k| 0 | 1.000000e+00 | 3.650000e+02 | Large
240.94/241.03 c 230s|410000 | 74 | 0 | 0.0 |4942k| 108 | - | 792 |3151 | 0 | 0 | 0 | 191k| 0 | 1.000000e+00 | 3.650000e+02 | Large
246.93/247.03 c 236s|420000 | 73 | 0 | 0.0 |4941k| 108 | - | 792 |3151 | 0 | 0 | 0 | 195k| 0 | 1.000000e+00 | 3.650000e+02 | Large
252.73/252.85 c 241s|430000 | 77 | 0 | 0.0 |4937k| 108 | - | 792 |3144 | 0 | 0 | 0 | 200k| 0 | 1.000000e+00 | 3.650000e+02 | Large
258.23/258.37 c 247s|440000 | 72 | 0 | 0.0 |4942k| 108 | - | 792 |3150 | 0 | 0 | 0 | 205k| 0 | 1.000000e+00 | 3.650000e+02 | Large
264.12/264.29 c 252s|450000 | 72 | 0 | 0.0 |4938k| 108 | - | 792 |3147 | 0 | 0 | 0 | 209k| 0 | 1.000000e+00 | 3.650000e+02 | Large
269.62/269.74 c 257s|460000 | 68 | 0 | 0.0 |4936k| 108 | - | 792 |3146 | 0 | 0 | 0 | 214k| 0 | 1.000000e+00 | 3.650000e+02 | Large
275.52/275.62 c 263s|470000 | 71 | 0 | 0.0 |4942k| 108 | - | 792 |3151 | 0 | 0 | 0 | 219k| 0 | 1.000000e+00 | 3.650000e+02 | Large
279.92/280.06 c 267s|480000 | 70 | 0 | 0.0 |4937k| 108 | - | 792 |3146 | 0 | 0 | 0 | 222k| 0 | 1.000000e+00 | 3.650000e+02 | Large
285.93/286.08 c 273s|490000 | 70 | 0 | 0.0 |4941k| 108 | - | 792 |3150 | 0 | 0 | 0 | 227k| 0 | 1.000000e+00 | 3.650000e+02 | Large
292.53/292.62 c 279s|500000 | 66 | 0 | 0.0 |4943k| 108 | - | 792 |3154 | 0 | 0 | 0 | 232k| 0 | 1.000000e+00 | 3.650000e+02 | Large
297.92/298.06 c 285s|510000 | 70 | 0 | 0.0 |4935k| 108 | - | 792 |3144 | 0 | 0 | 0 | 236k| 0 | 1.000000e+00 | 3.650000e+02 | Large
303.42/303.54 c 290s|520000 | 70 | 0 | 0.0 |4937k| 108 | - | 792 |3146 | 0 | 0 | 0 | 241k| 0 | 1.000000e+00 | 3.650000e+02 | Large
309.03/309.18 c 295s|530000 | 71 | 0 | 0.0 |4938k| 108 | - | 792 |3147 | 0 | 0 | 0 | 245k| 0 | 1.000000e+00 | 3.650000e+02 | Large
314.81/314.90 c 301s|540000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 250k| 0 | 1.000000e+00 | 3.650000e+02 | Large
320.31/320.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
320.31/320.47 c 306s|550000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 254k| 0 | 1.000000e+00 | 3.650000e+02 | Large
326.11/326.20 c 311s|560000 | 72 | 0 | 0.0 |4942k| 108 | - | 792 |3152 | 0 | 0 | 0 | 259k| 0 | 1.000000e+00 | 3.650000e+02 | Large
332.31/332.44 c 317s|570000 | 70 | 0 | 0.0 |4941k| 108 | - | 792 |3151 | 0 | 0 | 0 | 264k| 0 | 1.000000e+00 | 3.650000e+02 | Large
337.71/337.82 c 323s|580000 | 68 | 0 | 0.0 |4938k| 108 | - | 792 |3148 | 0 | 0 | 0 | 268k| 0 | 1.000000e+00 | 3.650000e+02 | Large
343.51/343.67 c 328s|590000 | 71 | 0 | 0.0 |4940k| 108 | - | 792 |3149 | 0 | 0 | 0 | 273k| 0 | 1.000000e+00 | 3.650000e+02 | Large
348.71/348.85 c 333s|600000 | 68 | 0 | 0.0 |4939k| 108 | - | 792 |3148 | 0 | 0 | 0 | 277k| 0 | 1.000000e+00 | 3.650000e+02 | Large
353.71/353.87 c 338s|610000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3149 | 0 | 0 | 0 | 281k| 0 | 1.000000e+00 | 3.650000e+02 | Large
359.20/359.30 c 343s|620000 | 69 | 0 | 0.0 |4935k| 108 | - | 792 |3144 | 0 | 0 | 0 | 286k| 0 | 1.000000e+00 | 3.650000e+02 | Large
364.50/364.60 c 348s|630000 | 76 | 0 | 0.0 |4936k| 108 | - | 792 |3143 | 0 | 0 | 0 | 290k| 0 | 1.000000e+00 | 3.650000e+02 | Large
368.69/368.89 c 352s|640000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3150 | 0 | 0 | 0 | 293k| 0 | 1.000000e+00 | 3.650000e+02 | Large
373.80/373.96 c 357s|650000 | 71 | 0 | 0.0 |4944k| 108 | - | 792 |3154 | 0 | 0 | 0 | 297k| 0 | 1.000000e+00 | 3.650000e+02 | Large
380.10/380.23 c 363s|660000 | 74 | 0 | 0.0 |4945k| 108 | - | 792 |3153 | 0 | 0 | 0 | 302k| 0 | 1.000000e+00 | 3.650000e+02 | Large
385.39/385.53 c 368s|670000 | 74 | 0 | 0.0 |4943k| 108 | - | 792 |3152 | 0 | 0 | 0 | 306k| 0 | 1.000000e+00 | 3.650000e+02 | Large
390.50/390.61 c 373s|680000 | 71 | 0 | 0.0 |4935k| 108 | - | 792 |3143 | 0 | 0 | 0 | 310k| 0 | 1.000000e+00 | 3.650000e+02 | Large
396.09/396.24 c 378s|690000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 315k| 0 | 1.000000e+00 | 3.650000e+02 | Large
401.79/401.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.79/401.91 c 384s|700000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3149 | 0 | 0 | 0 | 319k| 0 | 1.000000e+00 | 3.650000e+02 | Large
406.89/407.03 c 389s|710000 | 72 | 0 | 0.0 |4947k| 108 | - | 792 |3156 | 0 | 0 | 0 | 323k| 0 | 1.000000e+00 | 3.650000e+02 | Large
412.69/412.84 c 394s|720000 | 71 | 0 | 0.0 |4943k| 108 | - | 792 |3152 | 0 | 0 | 0 | 328k| 0 | 1.000000e+00 | 3.650000e+02 | Large
418.39/418.55 c 400s|730000 | 75 | 0 | 0.0 |4945k| 108 | - | 792 |3154 | 0 | 0 | 0 | 333k| 0 | 1.000000e+00 | 3.650000e+02 | Large
423.29/423.49 c 404s|740000 | 74 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 337k| 0 | 1.000000e+00 | 3.650000e+02 | Large
429.48/429.65 c 410s|750000 | 70 | 0 | 0.0 |4946k| 108 | - | 792 |3155 | 0 | 0 | 0 | 342k| 0 | 1.000000e+00 | 3.650000e+02 | Large
434.78/434.92 c 415s|760000 | 74 | 0 | 0.0 |4941k| 108 | - | 792 |3149 | 0 | 0 | 0 | 346k| 0 | 1.000000e+00 | 3.650000e+02 | Large
440.29/440.40 c 421s|770000 | 71 | 0 | 0.0 |4938k| 108 | - | 792 |3146 | 0 | 0 | 0 | 350k| 0 | 1.000000e+00 | 3.650000e+02 | Large
445.48/445.63 c 426s|780000 | 73 | 0 | 0.0 |4944k| 108 | - | 792 |3153 | 0 | 0 | 0 | 354k| 0 | 1.000000e+00 | 3.650000e+02 | Large
451.08/451.20 c 431s|790000 | 69 | 0 | 0.0 |4945k| 108 | - | 792 |3154 | 0 | 0 | 0 | 359k| 0 | 1.000000e+00 | 3.650000e+02 | Large
456.29/456.48 c 436s|800000 | 72 | 0 | 0.0 |4939k| 108 | - | 792 |3147 | 0 | 0 | 0 | 363k| 0 | 1.000000e+00 | 3.650000e+02 | Large
461.37/461.52 c 441s|810000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 367k| 0 | 1.000000e+00 | 3.650000e+02 | Large
466.67/466.88 c 446s|820000 | 71 | 0 | 0.0 |4942k| 108 | - | 792 |3149 | 0 | 0 | 0 | 371k| 0 | 1.000000e+00 | 3.650000e+02 | Large
472.08/472.20 c 451s|830000 | 75 | 0 | 0.0 |4941k| 108 | - | 792 |3148 | 0 | 0 | 0 | 375k| 0 | 1.000000e+00 | 3.650000e+02 | Large
477.28/477.41 c 456s|840000 | 72 | 0 | 0.0 |4944k| 108 | - | 792 |3152 | 0 | 0 | 0 | 379k| 0 | 1.000000e+00 | 3.650000e+02 | Large
482.87/483.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
482.87/483.05 c 461s|850000 | 72 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 384k| 0 | 1.000000e+00 | 3.650000e+02 | Large
488.57/488.78 c 467s|860000 | 72 | 0 | 0.0 |4939k| 108 | - | 792 |3146 | 0 | 0 | 0 | 388k| 0 | 1.000000e+00 | 3.650000e+02 | Large
493.56/493.74 c 471s|870000 | 71 | 0 | 0.0 |4939k| 108 | - | 792 |3147 | 0 | 0 | 0 | 392k| 0 | 1.000000e+00 | 3.650000e+02 | Large
498.96/499.18 c 477s|880000 | 73 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 397k| 0 | 1.000000e+00 | 3.650000e+02 | Large
503.76/503.93 c 481s|890000 | 71 | 0 | 0.0 |4936k| 108 | - | 792 |3143 | 0 | 0 | 0 | 400k| 0 | 1.000000e+00 | 3.650000e+02 | Large
508.86/509.06 c 486s|900000 | 74 | 0 | 0.0 |4939k| 108 | - | 792 |3146 | 0 | 0 | 0 | 404k| 0 | 1.000000e+00 | 3.650000e+02 | Large
513.86/514.01 c 491s|910000 | 71 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 408k| 0 | 1.000000e+00 | 3.650000e+02 | Large
519.66/519.81 c 496s|920000 | 73 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 413k| 0 | 1.000000e+00 | 3.650000e+02 | Large
525.16/525.32 c 502s|930000 | 75 | 0 | 0.0 |4942k| 108 | - | 792 |3149 | 0 | 0 | 0 | 417k| 0 | 1.000000e+00 | 3.650000e+02 | Large
531.36/531.51 c 508s|940000 | 70 | 0 | 0.0 |4938k| 108 | - | 792 |3146 | 0 | 0 | 0 | 422k| 0 | 1.000000e+00 | 3.650000e+02 | Large
537.06/537.30 c 513s|950000 | 72 | 0 | 0.0 |4939k| 108 | - | 792 |3144 | 0 | 0 | 0 | 427k| 0 | 1.000000e+00 | 3.650000e+02 | Large
542.56/542.71 c 518s|960000 | 66 | 0 | 0.0 |4941k| 108 | - | 792 |3150 | 0 | 0 | 0 | 432k| 0 | 1.000000e+00 | 3.650000e+02 | Large
547.46/547.70 c 523s|970000 | 71 | 0 | 0.0 |4949k| 108 | - | 792 |3159 | 0 | 0 | 0 | 436k| 0 | 1.000000e+00 | 3.650000e+02 | Large
552.75/552.92 c 528s|980000 | 73 | 0 | 0.0 |4940k| 108 | - | 792 |3147 | 0 | 0 | 0 | 440k| 0 | 1.000000e+00 | 3.650000e+02 | Large
558.05/558.26 c 533s|990000 | 72 | 0 | 0.0 |4948k| 108 | - | 792 |3157 | 0 | 0 | 0 | 444k| 0 | 1.000000e+00 | 3.650000e+02 | Large
563.06/563.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
563.06/563.24 c 538s| 1000k| 72 | 0 | 0.0 |4950k| 108 | - | 792 |3160 | 0 | 0 | 0 | 448k| 0 | 1.000000e+00 | 3.650000e+02 | Large
567.65/567.85 c 542s| 1010k| 73 | 0 | 0.0 |4941k| 108 | - | 792 |3149 | 0 | 0 | 0 | 451k| 0 | 1.000000e+00 | 3.650000e+02 | Large
572.15/572.37 c 547s| 1020k| 72 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 455k| 0 | 1.000000e+00 | 3.650000e+02 | Large
576.85/577.02 c 551s| 1030k| 73 | 0 | 0.0 |4940k| 108 | - | 792 |3147 | 0 | 0 | 0 | 458k| 0 | 1.000000e+00 | 3.650000e+02 | Large
581.44/581.66 c 556s| 1040k| 69 | 0 | 0.0 |4951k| 108 | - | 792 |3160 | 0 | 0 | 0 | 462k| 0 | 1.000000e+00 | 3.650000e+02 | Large
586.35/586.57 c 560s| 1050k| 73 | 0 | 0.0 |4942k| 108 | - | 792 |3148 | 0 | 0 | 0 | 465k| 0 | 1.000000e+00 | 3.650000e+02 | Large
592.14/592.38 c 566s| 1060k| 71 | 0 | 0.0 |4958k| 108 | - | 792 |3169 | 0 | 0 | 0 | 470k| 0 | 1.000000e+00 | 3.650000e+02 | Large
597.54/597.70 c 571s| 1070k| 72 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 474k| 0 | 1.000000e+00 | 3.650000e+02 | Large
602.65/602.84 c 576s| 1080k| 70 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 478k| 0 | 1.000000e+00 | 3.650000e+02 | Large
607.64/607.84 c 581s| 1090k| 72 | 0 | 0.0 |4943k| 108 | - | 792 |3150 | 0 | 0 | 0 | 482k| 0 | 1.000000e+00 | 3.650000e+02 | Large
612.45/612.62 c 585s| 1100k| 74 | 0 | 0.0 |4937k| 108 | - | 792 |3143 | 0 | 0 | 0 | 486k| 0 | 1.000000e+00 | 3.650000e+02 | Large
618.13/618.34 c 591s| 1110k| 70 | 0 | 0.0 |4944k| 108 | - | 792 |3153 | 0 | 0 | 0 | 491k| 0 | 1.000000e+00 | 3.650000e+02 | Large
623.04/623.27 c 595s| 1120k| 73 | 0 | 0.0 |4945k| 108 | - | 792 |3154 | 0 | 0 | 0 | 495k| 0 | 1.000000e+00 | 3.650000e+02 | Large
628.43/628.65 c 600s| 1130k| 74 | 0 | 0.0 |4944k| 108 | - | 792 |3152 | 0 | 0 | 0 | 499k| 0 | 1.000000e+00 | 3.650000e+02 | Large
633.93/634.12 c 606s| 1140k| 70 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 503k| 0 | 1.000000e+00 | 3.650000e+02 | Large
639.83/640.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.83/640.05 c 611s| 1150k| 75 | 0 | 0.0 |4937k| 108 | - | 792 |3143 | 0 | 0 | 0 | 508k| 0 | 1.000000e+00 | 3.650000e+02 | Large
644.73/644.92 c 616s| 1160k| 72 | 0 | 0.0 |4945k| 108 | - | 792 |3153 | 0 | 0 | 0 | 512k| 0 | 1.000000e+00 | 3.650000e+02 | Large
650.32/650.55 c 621s| 1170k| 72 | 0 | 0.0 |4945k| 108 | - | 792 |3154 | 0 | 0 | 0 | 517k| 0 | 1.000000e+00 | 3.650000e+02 | Large
655.73/655.96 c 627s| 1180k| 71 | 0 | 0.0 |4940k| 108 | - | 792 |3149 | 0 | 0 | 0 | 521k| 0 | 1.000000e+00 | 3.650000e+02 | Large
660.84/661.04 c 631s| 1190k| 73 | 0 | 0.0 |4948k| 108 | - | 792 |3157 | 0 | 0 | 0 | 525k| 0 | 1.000000e+00 | 3.650000e+02 | Large
665.42/665.69 c 636s| 1200k| 74 | 0 | 0.0 |4940k| 108 | - | 792 |3147 | 0 | 0 | 0 | 528k| 0 | 1.000000e+00 | 3.650000e+02 | Large
669.32/669.53 c 639s| 1210k| 69 | 0 | 0.0 |4942k| 108 | - | 792 |3149 | 0 | 0 | 0 | 531k| 0 | 1.000000e+00 | 3.650000e+02 | Large
673.92/674.19 c 644s| 1220k| 72 | 0 | 0.0 |4942k| 108 | - | 792 |3150 | 0 | 0 | 0 | 534k| 0 | 1.000000e+00 | 3.650000e+02 | Large
679.63/679.83 c 649s| 1230k| 71 | 0 | 0.0 |4943k| 108 | - | 792 |3151 | 0 | 0 | 0 | 538k| 0 | 1.000000e+00 | 3.650000e+02 | Large
685.22/685.40 c 655s| 1240k| 71 | 0 | 0.0 |4942k| 108 | - | 792 |3150 | 0 | 0 | 0 | 543k| 0 | 1.000000e+00 | 3.650000e+02 | Large
690.71/690.91 c 660s| 1250k| 71 | 0 | 0.0 |4940k| 108 | - | 792 |3148 | 0 | 0 | 0 | 547k| 0 | 1.000000e+00 | 3.650000e+02 | Large
697.13/697.36 c 666s| 1260k| 69 | 0 | 0.0 |4935k| 108 | - | 792 |3143 | 0 | 0 | 0 | 553k| 0 | 1.000000e+00 | 3.650000e+02 | Large
703.02/703.28 c 672s| 1270k| 73 | 0 | 0.0 |4941k| 108 | - | 792 |3147 | 0 | 0 | 0 | 558k| 0 | 1.000000e+00 | 3.650000e+02 | Large
709.51/709.76 c 678s| 1280k| 71 | 0 | 0.0 |4943k| 108 | - | 792 |3152 | 0 | 0 | 0 | 564k| 0 | 1.000000e+00 | 3.650000e+02 | Large
716.11/716.30 c 684s| 1290k| 72 | 0 | 0.0 |4948k| 108 | - | 792 |3158 | 0 | 0 | 0 | 569k| 0 | 1.000000e+00 | 3.650000e+02 | Large
722.52/722.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
722.52/722.76 c 690s| 1300k| 72 | 0 | 0.0 |4946k| 108 | - | 792 |3155 | 0 | 0 | 0 | 574k| 0 | 1.000000e+00 | 3.650000e+02 | Large
728.31/728.50 c 696s| 1310k| 71 | 0 | 0.0 |4945k| 108 | - | 792 |3154 | 0 | 0 | 0 | 579k| 0 | 1.000000e+00 | 3.650000e+02 | Large
734.01/734.29 c 701s| 1320k| 69 | 0 | 0.0 |4949k| 108 | - | 792 |3157 | 0 | 0 | 0 | 584k| 0 | 1.000000e+00 | 3.650000e+02 | Large
739.01/739.25 c 706s| 1330k| 70 | 0 | 0.0 |4949k| 108 | - | 792 |3157 | 0 | 0 | 0 | 588k| 0 | 1.000000e+00 | 3.650000e+02 | Large
744.70/744.95 c 712s| 1340k| 68 | 0 | 0.0 |4946k| 108 | - | 792 |3154 | 0 | 0 | 0 | 592k| 0 | 1.000000e+00 | 3.650000e+02 | Large
751.01/751.26 c 718s| 1350k| 69 | 0 | 0.0 |4944k| 108 | - | 792 |3153 | 0 | 0 | 0 | 597k| 0 | 1.000000e+00 | 3.650000e+02 | Large
756.10/756.39 c 723s| 1360k| 69 | 0 | 0.0 |4945k| 108 | - | 792 |3155 | 0 | 0 | 0 | 601k| 0 | 1.000000e+00 | 3.650000e+02 | Large
762.30/762.57 c 729s| 1370k| 68 | 0 | 0.0 |4947k| 108 | - | 792 |3158 | 0 | 0 | 0 | 607k| 0 | 1.000000e+00 | 3.650000e+02 | Large
768.61/768.87 c 735s| 1380k| 70 | 0 | 0.0 |4946k| 108 | - | 792 |3155 | 0 | 0 | 0 | 612k| 0 | 1.000000e+00 | 3.650000e+02 | Large
775.10/775.39 c 741s| 1390k| 70 | 0 | 0.0 |4948k| 108 | - | 792 |3158 | 0 | 0 | 0 | 617k| 0 | 1.000000e+00 | 3.650000e+02 | Large
781.20/781.41 c 746s| 1400k| 73 | 0 | 0.0 |4948k| 108 | - | 792 |3155 | 0 | 0 | 0 | 621k| 0 | 1.000000e+00 | 3.650000e+02 | Large
786.89/787.17 c 752s| 1410k| 68 | 0 | 0.0 |4950k| 108 | - | 792 |3161 | 0 | 0 | 0 | 626k| 0 | 1.000000e+00 | 3.650000e+02 | Large
793.09/793.39 c 758s| 1420k| 66 | 0 | 0.0 |4946k| 108 | - | 792 |3156 | 0 | 0 | 0 | 631k| 0 | 1.000000e+00 | 3.650000e+02 | Large
797.99/798.29 c 763s| 1430k| 76 | 0 | 0.0 |4948k| 108 | - | 792 |3156 | 0 | 0 | 0 | 635k| 0 | 1.000000e+00 | 3.650000e+02 | Large
803.99/804.26 c 768s| 1440k| 72 | 0 | 0.0 |4950k| 108 | - | 792 |3159 | 0 | 0 | 0 | 640k| 0 | 1.000000e+00 | 3.650000e+02 | Large
809.99/810.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
809.99/810.20 c 774s| 1450k| 75 | 0 | 0.0 |4945k| 108 | - | 792 |3151 | 0 | 0 | 0 | 646k| 0 | 1.000000e+00 | 3.650000e+02 | Large
815.99/816.26 c 780s| 1460k| 71 | 0 | 0.0 |4949k| 108 | - | 792 |3155 | 0 | 0 | 0 | 651k| 0 | 1.000000e+00 | 3.650000e+02 | Large
821.79/822.10 c 786s| 1470k| 74 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 656k| 0 | 1.000000e+00 | 3.650000e+02 | Large
827.88/828.16 c 791s| 1480k| 69 | 0 | 0.0 |4953k| 108 | - | 792 |3161 | 0 | 0 | 0 | 661k| 0 | 1.000000e+00 | 3.650000e+02 | Large
833.59/833.89 c 797s| 1490k| 71 | 0 | 0.0 |4956k| 108 | - | 792 |3164 | 0 | 0 | 0 | 666k| 0 | 1.000000e+00 | 3.650000e+02 | Large
839.38/839.63 c 802s| 1500k| 72 | 0 | 0.0 |4955k| 108 | - | 792 |3162 | 0 | 0 | 0 | 671k| 0 | 1.000000e+00 | 3.650000e+02 | Large
845.08/845.36 c 808s| 1510k| 68 | 0 | 0.0 |4948k| 108 | - | 792 |3156 | 0 | 0 | 0 | 677k| 0 | 1.000000e+00 | 3.650000e+02 | Large
850.68/850.95 c 813s| 1520k| 77 | 0 | 0.0 |4943k| 108 | - | 792 |3147 | 0 | 0 | 0 | 682k| 0 | 1.000000e+00 | 3.650000e+02 | Large
856.78/857.01 c 819s| 1530k| 71 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 | 687k| 0 | 1.000000e+00 | 3.650000e+02 | Large
862.38/862.63 c 824s| 1540k| 71 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 | 692k| 0 | 1.000000e+00 | 3.650000e+02 | Large
867.28/867.58 c 829s| 1550k| 72 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 | 696k| 0 | 1.000000e+00 | 3.650000e+02 | Large
873.27/873.51 c 835s| 1560k| 76 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 | 701k| 0 | 1.000000e+00 | 3.650000e+02 | Large
879.78/880.05 c 841s| 1570k| 67 | 0 | 0.0 |4941k| 108 | - | 792 |3147 | 0 | 0 | 0 | 707k| 0 | 1.000000e+00 | 3.650000e+02 | Large
885.97/886.20 c 847s| 1580k| 68 | 0 | 0.0 |4947k| 108 | - | 792 |3153 | 0 | 0 | 0 | 712k| 0 | 1.000000e+00 | 3.650000e+02 | Large
891.78/892.09 c 853s| 1590k| 67 | 0 | 0.0 |4952k| 108 | - | 792 |3160 | 0 | 0 | 0 | 718k| 0 | 1.000000e+00 | 3.650000e+02 | Large
897.37/897.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
897.37/897.62 c 858s| 1600k| 75 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 | 723k| 0 | 1.000000e+00 | 3.650000e+02 | Large
902.66/902.94 c 863s| 1610k| 74 | 0 | 0.0 |4957k| 108 | - | 792 |3164 | 0 | 0 | 0 | 728k| 0 | 1.000000e+00 | 3.650000e+02 | Large
908.27/908.51 c 868s| 1620k| 72 | 0 | 0.0 |4948k| 108 | - | 792 |3153 | 0 | 0 | 0 | 733k| 0 | 1.000000e+00 | 3.650000e+02 | Large
913.66/913.92 c 874s| 1630k| 74 | 0 | 0.0 |4954k| 108 | - | 792 |3161 | 0 | 0 | 0 | 738k| 0 | 1.000000e+00 | 3.650000e+02 | Large
919.76/920.07 c 879s| 1640k| 74 | 0 | 0.0 |4949k| 108 | - | 792 |3154 | 0 | 0 | 0 | 743k| 0 | 1.000000e+00 | 3.650000e+02 | Large
926.16/926.47 c 886s| 1650k| 72 | 0 | 0.0 |4943k| 108 | - | 792 |3147 | 0 | 0 | 0 | 749k| 0 | 1.000000e+00 | 3.650000e+02 | Large
932.47/932.73 c 892s| 1660k| 75 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 | 754k| 0 | 1.000000e+00 | 3.650000e+02 | Large
938.76/939.04 c 898s| 1670k| 69 | 0 | 0.0 |4945k| 108 | - | 792 |3151 | 0 | 0 | 0 | 759k| 0 | 1.000000e+00 | 3.650000e+02 | Large
944.95/945.28 c 904s| 1680k| 71 | 0 | 0.0 |4947k| 108 | - | 792 |3151 | 0 | 0 | 0 | 765k| 0 | 1.000000e+00 | 3.650000e+02 | Large
951.16/951.45 c 910s| 1690k| 70 | 0 | 0.0 |4946k| 108 | - | 792 |3149 | 0 | 0 | 0 | 770k| 0 | 1.000000e+00 | 3.650000e+02 | Large
957.25/957.57 c 915s| 1700k| 74 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 | 775k| 0 | 1.000000e+00 | 3.650000e+02 | Large
962.85/963.17 c 921s| 1710k| 68 | 0 | 0.0 |4955k| 108 | - | 792 |3161 | 0 | 0 | 0 | 780k| 0 | 1.000000e+00 | 3.650000e+02 | Large
968.15/968.43 c 926s| 1720k| 76 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 | 785k| 0 | 1.000000e+00 | 3.650000e+02 | Large
974.14/974.44 c 932s| 1730k| 72 | 0 | 0.0 |4958k| 108 | - | 792 |3165 | 0 | 0 | 0 | 790k| 0 | 1.000000e+00 | 3.650000e+02 | Large
980.04/980.38 c 937s| 1740k| 73 | 0 | 0.0 |4957k| 108 | - | 792 |3163 | 0 | 0 | 0 | 795k| 0 | 1.000000e+00 | 3.650000e+02 | Large
985.44/985.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
985.44/985.71 c 942s| 1750k| 74 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 799k| 0 | 1.000000e+00 | 3.650000e+02 | Large
989.95/990.26 c 947s| 1760k| 68 | 0 | 0.0 |4952k| 108 | - | 792 |3159 | 0 | 0 | 0 | 803k| 0 | 1.000000e+00 | 3.650000e+02 | Large
994.54/994.80 c 951s| 1770k| 70 | 0 | 0.0 |4948k| 108 | - | 792 |3153 | 0 | 0 | 0 | 807k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1000.94/1001.23 c 957s| 1780k| 72 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 | 812k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1007.04/1007.35 c 963s| 1790k| 73 | 0 | 0.0 |4950k| 108 | - | 792 |3154 | 0 | 0 | 0 | 817k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1012.75/1013.01 c 969s| 1800k| 74 | 0 | 0.0 |4952k| 108 | - | 792 |3158 | 0 | 0 | 0 | 822k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1018.04/1018.37 c 974s| 1810k| 75 | 0 | 0.0 |4945k| 108 | - | 792 |3148 | 0 | 0 | 0 | 827k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1023.34/1023.60 c 979s| 1820k| 76 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 | 831k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1028.73/1029.01 c 984s| 1830k| 72 | 0 | 0.0 |4956k| 108 | - | 792 |3163 | 0 | 0 | 0 | 836k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1034.33/1034.66 c 989s| 1840k| 70 | 0 | 0.0 |4942k| 108 | - | 792 |3147 | 0 | 0 | 0 | 841k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1040.34/1040.62 c 995s| 1850k| 67 | 0 | 0.0 |4959k| 108 | - | 792 |3166 | 0 | 0 | 0 | 846k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1046.23/1046.54 c 1001s| 1860k| 72 | 0 | 0.0 |4946k| 108 | - | 792 |3151 | 0 | 0 | 0 | 852k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1052.33/1052.67 c 1007s| 1870k| 71 | 0 | 0.0 |4953k| 108 | - | 792 |3158 | 0 | 0 | 0 | 857k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1057.73/1058.00 c 1012s| 1880k| 72 | 0 | 0.0 |4954k| 108 | - | 792 |3160 | 0 | 0 | 0 | 861k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1063.33/1063.64 c 1017s| 1890k| 72 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 | 867k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1069.12/1069.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1069.12/1069.45 c 1023s| 1900k| 71 | 0 | 0.0 |4951k| 108 | - | 792 |3156 | 0 | 0 | 0 | 872k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1074.73/1075.02 c 1028s| 1910k| 69 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 | 877k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1080.32/1080.63 c 1033s| 1920k| 67 | 0 | 0.0 |4954k| 108 | - | 792 |3161 | 0 | 0 | 0 | 882k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1086.43/1086.70 c 1039s| 1930k| 71 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 | 887k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1092.52/1092.81 c 1045s| 1940k| 68 | 0 | 0.0 |4946k| 108 | - | 792 |3151 | 0 | 0 | 0 | 892k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1098.42/1098.72 c 1051s| 1950k| 70 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 897k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1104.12/1104.46 c 1056s| 1960k| 68 | 0 | 0.0 |4955k| 108 | - | 792 |3162 | 0 | 0 | 0 | 903k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1109.31/1109.60 c 1061s| 1970k| 75 | 0 | 0.0 |4948k| 108 | - | 792 |3151 | 0 | 0 | 0 | 907k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1114.31/1114.65 c 1066s| 1980k| 73 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 | 911k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1119.52/1119.81 c 1071s| 1990k| 74 | 0 | 0.0 |4952k| 108 | - | 792 |3156 | 0 | 0 | 0 | 915k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1124.51/1124.87 c 1076s| 2000k| 71 | 0 | 0.0 |4943k| 108 | - | 792 |3147 | 0 | 0 | 0 | 920k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1128.71/1129.03 c 1080s| 2010k| 71 | 0 | 0.0 |4945k| 108 | - | 792 |3148 | 0 | 0 | 0 | 923k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1133.51/1133.84 c 1084s| 2020k| 71 | 0 | 0.0 |4943k| 108 | - | 792 |3147 | 0 | 0 | 0 | 927k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1137.80/1138.18 c 1088s| 2030k| 71 | 0 | 0.0 |4945k| 108 | - | 792 |3148 | 0 | 0 | 0 | 930k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1141.80/1142.13 c 1092s| 2040k| 66 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 933k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1146.40/1146.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1146.40/1146.73 c 1096s| 2050k| 71 | 0 | 0.0 |4947k| 108 | - | 792 |3150 | 0 | 0 | 0 | 936k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1149.21/1149.52 c 1099s| 2060k| 67 | 0 | 0.0 |4946k| 108 | - | 792 |3151 | 0 | 0 | 0 | 938k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1152.00/1152.38 c 1102s| 2070k| 69 | 0 | 0.0 |4945k| 108 | - | 792 |3151 | 0 | 0 | 0 | 939k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1156.10/1156.46 c 1106s| 2080k| 72 | 0 | 0.0 |4947k| 108 | - | 792 |3150 | 0 | 0 | 0 | 942k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1160.71/1161.09 c 1110s| 2090k| 73 | 0 | 0.0 |4954k| 108 | - | 792 |3159 | 0 | 0 | 0 | 946k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1165.40/1165.77 c 1115s| 2100k| 73 | 0 | 0.0 |4947k| 108 | - | 792 |3151 | 0 | 0 | 0 | 950k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1169.50/1169.81 c 1118s| 2110k| 71 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 952k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1174.30/1174.68 c 1123s| 2120k| 69 | 0 | 0.0 |4949k| 108 | - | 792 |3154 | 0 | 0 | 0 | 956k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1178.10/1178.50 c 1127s| 2130k| 71 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 959k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1182.90/1183.26 c 1131s| 2140k| 68 | 0 | 0.0 |4962k| 108 | - | 792 |3170 | 0 | 0 | 0 | 963k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1187.30/1187.68 c 1135s| 2150k| 73 | 0 | 0.0 |4946k| 108 | - | 792 |3148 | 0 | 0 | 0 | 967k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1193.59/1193.95 c 1141s| 2160k| 71 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 | 972k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1199.59/1199.92 c 1147s| 2170k| 69 | 0 | 0.0 |4945k| 108 | - | 792 |3150 | 0 | 0 | 0 | 978k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1205.49/1205.89 c 1153s| 2180k| 71 | 0 | 0.0 |4948k| 108 | - | 792 |3151 | 0 | 0 | 0 | 983k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1211.59/1211.91 c 1159s| 2190k| 75 | 0 | 0.0 |4946k| 108 | - | 792 |3149 | 0 | 0 | 0 | 989k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1217.48/1217.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1217.48/1217.81 c 1164s| 2200k| 74 | 0 | 0.0 |4949k| 108 | - | 792 |3152 | 0 | 0 | 0 | 994k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1223.68/1224.02 c 1170s| 2210k| 75 | 0 | 0.0 |4951k| 108 | - | 792 |3155 | 0 | 0 | 0 |1000k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1229.49/1229.83 c 1176s| 2220k| 70 | 0 | 0.0 |4951k| 108 | - | 792 |3156 | 0 | 0 | 0 |1005k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1235.38/1235.77 c 1182s| 2230k| 69 | 0 | 0.0 |4943k| 108 | - | 792 |3147 | 0 | 0 | 0 |1010k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1241.78/1242.15 c 1188s| 2240k| 75 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 |1015k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1247.78/1248.14 c 1193s| 2250k| 67 | 0 | 0.0 |4942k| 108 | - | 792 |3147 | 0 | 0 | 0 |1021k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1253.58/1253.99 c 1199s| 2260k| 71 | 0 | 0.0 |4948k| 108 | - | 792 |3151 | 0 | 0 | 0 |1026k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1259.57/1259.94 c 1205s| 2270k| 73 | 0 | 0.0 |4947k| 108 | - | 792 |3150 | 0 | 0 | 0 |1031k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1265.47/1265.89 c 1210s| 2280k| 70 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 |1037k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1271.47/1271.84 c 1216s| 2290k| 72 | 0 | 0.0 |4945k| 108 | - | 792 |3149 | 0 | 0 | 0 |1042k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1277.47/1277.83 c 1222s| 2300k| 74 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 |1047k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1283.57/1283.96 c 1228s| 2310k| 72 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 |1053k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1289.88/1290.23 c 1234s| 2320k| 71 | 0 | 0.0 |4951k| 108 | - | 792 |3155 | 0 | 0 | 0 |1059k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1295.77/1296.18 c 1240s| 2330k| 70 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 |1064k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1301.56/1301.99 c 1245s| 2340k| 71 | 0 | 0.0 |4945k| 108 | - | 792 |3148 | 0 | 0 | 0 |1069k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1307.47/1307.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1307.47/1307.90 c 1251s| 2350k| 68 | 0 | 0.0 |4949k| 108 | - | 792 |3154 | 0 | 0 | 0 |1075k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1313.66/1314.04 c 1257s| 2360k| 75 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 |1080k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1319.67/1320.03 c 1262s| 2370k| 71 | 0 | 0.0 |4946k| 108 | - | 792 |3148 | 0 | 0 | 0 |1086k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1325.76/1326.10 c 1268s| 2380k| 72 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 |1092k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1331.76/1332.10 c 1274s| 2390k| 69 | 0 | 0.0 |4951k| 108 | - | 792 |3156 | 0 | 0 | 0 |1098k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1337.65/1338.03 c 1280s| 2400k| 72 | 0 | 0.0 |4950k| 108 | - | 792 |3153 | 0 | 0 | 0 |1103k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1343.65/1344.01 c 1285s| 2410k| 71 | 0 | 0.0 |4951k| 108 | - | 792 |3155 | 0 | 0 | 0 |1109k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1349.56/1349.91 c 1291s| 2420k| 70 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 |1114k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1355.45/1355.88 c 1297s| 2430k| 69 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 |1120k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1361.35/1361.70 c 1302s| 2440k| 72 | 0 | 0.0 |4947k| 108 | - | 792 |3150 | 0 | 0 | 0 |1125k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1367.35/1367.75 c 1308s| 2450k| 71 | 0 | 0.0 |4946k| 108 | - | 792 |3150 | 0 | 0 | 0 |1131k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1373.35/1373.75 c 1314s| 2460k| 68 | 0 | 0.0 |4949k| 108 | - | 792 |3154 | 0 | 0 | 0 |1137k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1379.25/1379.69 c 1320s| 2470k| 67 | 0 | 0.0 |4946k| 108 | - | 792 |3150 | 0 | 0 | 0 |1142k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1385.04/1385.40 c 1325s| 2480k| 70 | 0 | 0.0 |4945k| 108 | - | 792 |3149 | 0 | 0 | 0 |1147k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1390.94/1391.38 c 1331s| 2490k| 71 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 |1153k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1397.05/1397.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1397.05/1397.40 c 1337s| 2500k| 67 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 |1159k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1403.14/1403.55 c 1343s| 2510k| 65 | 0 | 0.0 |4949k| 108 | - | 792 |3155 | 0 | 0 | 0 |1164k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1409.24/1409.62 c 1348s| 2520k| 72 | 0 | 0.0 |4958k| 108 | - | 792 |3164 | 0 | 0 | 0 |1170k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1415.44/1415.88 c 1354s| 2530k| 72 | 0 | 0.0 |4970k| 108 | - | 792 |3180 | 0 | 0 | 0 |1176k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1420.34/1420.75 c 1359s| 2540k| 73 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 |1180k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1426.13/1426.50 c 1365s| 2550k| 70 | 0 | 0.0 |4961k| 108 | - | 792 |3169 | 0 | 0 | 0 |1185k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1432.04/1432.43 c 1370s| 2560k| 72 | 0 | 0.0 |4955k| 108 | - | 792 |3160 | 0 | 0 | 0 |1190k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1438.63/1439.03 c 1377s| 2570k| 70 | 0 | 0.0 |4954k| 108 | - | 792 |3159 | 0 | 0 | 0 |1196k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1444.63/1445.08 c 1382s| 2580k| 73 | 0 | 0.0 |4948k| 108 | - | 792 |3152 | 0 | 0 | 0 |1201k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1450.93/1451.31 c 1388s| 2590k| 72 | 0 | 0.0 |4953k| 108 | - | 792 |3158 | 0 | 0 | 0 |1207k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1456.73/1457.19 c 1394s| 2600k| 68 | 0 | 0.0 |4953k| 108 | - | 792 |3159 | 0 | 0 | 0 |1212k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1461.53/1461.94 c 1398s| 2610k| 71 | 0 | 0.0 |4953k| 108 | - | 792 |3157 | 0 | 0 | 0 |1216k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1466.93/1467.40 c 1404s| 2620k| 72 | 0 | 0.0 |4954k| 108 | - | 792 |3157 | 0 | 0 | 0 |1220k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1473.12/1473.51 c 1410s| 2630k| 69 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 |1226k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1479.13/1479.55 c 1415s| 2640k| 70 | 0 | 0.0 |4952k| 108 | - | 792 |3157 | 0 | 0 | 0 |1231k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1485.12/1485.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1485.12/1485.58 c 1421s| 2650k| 69 | 0 | 0.0 |4951k| 108 | - | 792 |3157 | 0 | 0 | 0 |1237k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1491.32/1491.79 c 1427s| 2660k| 69 | 0 | 0.0 |4952k| 108 | - | 792 |3157 | 0 | 0 | 0 |1242k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1496.92/1497.34 c 1432s| 2670k| 76 | 0 | 0.0 |4954k| 108 | - | 792 |3157 | 0 | 0 | 0 |1247k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1503.22/1503.67 c 1438s| 2680k| 69 | 0 | 0.0 |4957k| 108 | - | 792 |3164 | 0 | 0 | 0 |1253k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1509.11/1509.53 c 1444s| 2690k| 66 | 0 | 0.0 |4952k| 108 | - | 792 |3158 | 0 | 0 | 0 |1258k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1515.51/1515.93 c 1450s| 2700k| 73 | 0 | 0.0 |4956k| 108 | - | 792 |3161 | 0 | 0 | 0 |1263k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1521.01/1521.45 c 1456s| 2710k| 68 | 0 | 0.0 |4954k| 108 | - | 792 |3159 | 0 | 0 | 0 |1268k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1527.30/1527.77 c 1462s| 2720k| 69 | 0 | 0.0 |4960k| 108 | - | 792 |3168 | 0 | 0 | 0 |1274k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1533.61/1534.07 c 1468s| 2730k| 68 | 0 | 0.0 |4949k| 108 | - | 792 |3153 | 0 | 0 | 0 |1279k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1539.61/1540.10 c 1473s| 2740k| 69 | 0 | 0.0 |4957k| 108 | - | 792 |3161 | 0 | 0 | 0 |1284k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1545.71/1546.14 c 1479s| 2750k| 68 | 0 | 0.0 |4947k| 108 | - | 792 |3152 | 0 | 0 | 0 |1290k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1551.71/1552.15 c 1485s| 2760k| 69 | 0 | 0.0 |4951k| 108 | - | 792 |3154 | 0 | 0 | 0 |1295k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1557.60/1558.06 c 1491s| 2770k| 70 | 0 | 0.0 |4950k| 108 | - | 792 |3155 | 0 | 0 | 0 |1300k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1563.50/1563.96 c 1496s| 2780k| 69 | 0 | 0.0 |4954k| 108 | - | 792 |3160 | 0 | 0 | 0 |1306k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1569.00/1569.45 c 1502s| 2790k| 72 | 0 | 0.0 |4959k| 108 | - | 792 |3165 | 0 | 0 | 0 |1311k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1574.70/1575.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.70/1575.12 c 1507s| 2800k| 71 | 0 | 0.0 |4951k| 108 | - | 792 |3156 | 0 | 0 | 0 |1315k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1580.80/1581.20 c 1513s| 2810k| 71 | 0 | 0.0 |4951k| 108 | - | 792 |3156 | 0 | 0 | 0 |1320k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1586.80/1587.25 c 1519s| 2820k| 67 | 0 | 0.0 |4960k| 108 | - | 792 |3168 | 0 | 0 | 0 |1326k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1592.80/1593.29 c 1524s| 2830k| 65 | 0 | 0.0 |4969k| 108 | - | 792 |3179 | 0 | 0 | 0 |1332k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1598.79/1599.21 c 1530s| 2840k| 67 | 0 | 0.0 |4959k| 108 | - | 792 |3165 | 0 | 0 | 0 |1337k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1605.38/1605.88 c 1537s| 2850k| 66 | 0 | 0.0 |4956k| 108 | - | 792 |3161 | 0 | 0 | 0 |1342k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1611.49/1612.00 c 1542s| 2860k| 66 | 0 | 0.0 |4958k| 108 | - | 792 |3164 | 0 | 0 | 0 |1348k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1617.18/1617.64 c 1548s| 2870k| 68 | 0 | 0.0 |4960k| 108 | - | 792 |3167 | 0 | 0 | 0 |1353k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1622.69/1623.17 c 1553s| 2880k| 73 | 0 | 0.0 |4944k| 108 | - | 792 |3147 | 0 | 0 | 0 |1357k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1627.78/1628.22 c 1558s| 2890k| 75 | 0 | 0.0 |4948k| 108 | - | 792 |3151 | 0 | 0 | 0 |1361k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1632.29/1632.73 c 1562s| 2900k| 72 | 0 | 0.0 |4951k| 108 | - | 792 |3154 | 0 | 0 | 0 |1365k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1636.58/1637.05 c 1566s| 2910k| 76 | 0 | 0.0 |4953k| 108 | - | 792 |3156 | 0 | 0 | 0 |1369k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1642.48/1642.99 c 1572s| 2920k| 73 | 0 | 0.0 |4952k| 108 | - | 792 |3155 | 0 | 0 | 0 |1373k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1648.68/1649.13 c 1578s| 2930k| 73 | 0 | 0.0 |4955k| 108 | - | 792 |3160 | 0 | 0 | 0 |1378k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1653.99/1654.49 c 1583s| 2940k| 70 | 0 | 0.0 |4956k| 108 | - | 792 |3160 | 0 | 0 | 0 |1382k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1659.58/1660.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1659.58/1660.03 c 1588s| 2950k| 70 | 0 | 0.0 |4956k| 108 | - | 792 |3161 | 0 | 0 | 0 |1387k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1664.38/1664.86 c 1593s| 2960k| 73 | 0 | 0.0 |4954k| 108 | - | 792 |3156 | 0 | 0 | 0 |1390k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1669.47/1669.98 c 1598s| 2970k| 72 | 0 | 0.0 |4960k| 108 | - | 792 |3165 | 0 | 0 | 0 |1394k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1673.48/1673.92 c 1602s| 2980k| 77 | 0 | 0.0 |4953k| 108 | - | 792 |3155 | 0 | 0 | 0 |1397k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1678.87/1679.37 c 1607s| 2990k| 71 | 0 | 0.0 |4957k| 108 | - | 792 |3161 | 0 | 0 | 0 |1401k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1684.47/1684.97 c 1612s| 3000k| 70 | 0 | 0.0 |4950k| 108 | - | 792 |3154 | 0 | 0 | 0 |1406k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1690.18/1690.64 c 1618s| 3010k| 70 | 0 | 0.0 |4961k| 108 | - | 792 |3167 | 0 | 0 | 0 |1410k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1695.96/1696.42 c 1623s| 3020k| 71 | 0 | 0.0 |4950k| 108 | - | 792 |3153 | 0 | 0 | 0 |1416k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1701.76/1702.20 c 1629s| 3030k| 72 | 0 | 0.0 |4951k| 108 | - | 792 |3154 | 0 | 0 | 0 |1421k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1706.46/1706.96 c 1633s| 3040k| 73 | 0 | 0.0 |4955k| 108 | - | 792 |3160 | 0 | 0 | 0 |1425k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1710.96/1711.46 c 1638s| 3050k| 73 | 0 | 0.0 |4950k| 108 | - | 792 |3154 | 0 | 0 | 0 |1429k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1715.16/1715.69 c 1642s| 3060k| 70 | 0 | 0.0 |4958k| 108 | - | 792 |3161 | 0 | 0 | 0 |1432k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1720.06/1720.52 c 1646s| 3070k| 75 | 0 | 0.0 |4953k| 108 | - | 792 |3156 | 0 | 0 | 0 |1436k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1724.56/1725.08 c 1651s| 3080k| 70 | 0 | 0.0 |4956k| 108 | - | 792 |3161 | 0 | 0 | 0 |1440k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1729.16/1729.61 c 1655s| 3090k| 76 | 0 | 0.0 |4953k| 108 | - | 792 |3156 | 0 | 0 | 0 |1444k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1734.26/1734.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1734.26/1734.78 c 1660s| 3100k| 71 | 0 | 0.0 |4957k| 108 | - | 792 |3159 | 0 | 0 | 0 |1447k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1739.45/1739.90 c 1665s| 3110k| 72 | 0 | 0.0 |4959k| 108 | - | 792 |3164 | 0 | 0 | 0 |1451k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1743.45/1743.94 c 1669s| 3120k| 70 | 0 | 0.0 |4959k| 108 | - | 792 |3163 | 0 | 0 | 0 |1453k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1748.06/1748.50 c 1673s| 3130k| 72 | 0 | 0.0 |4958k| 108 | - | 792 |3161 | 0 | 0 | 0 |1456k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1751.86/1752.35 c 1677s| 3140k| 69 | 0 | 0.0 |4955k| 108 | - | 792 |3159 | 0 | 0 | 0 |1459k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1756.55/1757.04 c 1681s| 3150k| 70 | 0 | 0.0 |4955k| 108 | - | 792 |3159 | 0 | 0 | 0 |1462k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1762.05/1762.57 c 1686s| 3160k| 72 | 0 | 0.0 |4946k| 108 | - | 792 |3148 | 0 | 0 | 0 |1466k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1767.35/1767.84 c 1691s| 3170k| 71 | 0 | 0.0 |4957k| 108 | - | 792 |3162 | 0 | 0 | 0 |1470k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1772.25/1772.75 c 1696s| 3180k| 72 | 0 | 0.0 |4958k| 108 | - | 792 |3161 | 0 | 0 | 0 |1474k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1777.15/1777.68 c 1701s| 3190k| 75 | 0 | 0.0 |4946k| 108 | - | 792 |3147 | 0 | 0 | 0 |1478k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1782.34/1782.87 c 1706s| 3200k| 70 | 0 | 0.0 |4954k| 108 | - | 792 |3158 | 0 | 0 | 0 |1482k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1786.75/1787.24 c 1710s| 3210k| 71 | 0 | 0.0 |4958k| 108 | - | 792 |3160 | 0 | 0 | 0 |1486k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1792.45/1792.97 c 1715s| 3220k| 72 | 0 | 0.0 |4957k| 108 | - | 792 |3162 | 0 | 0 | 0 |1490k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1797.24/1797.75 c 1720s| 3230k| 75 | 0 | 0.0 |4948k| 108 | - | 792 |3149 | 0 | 0 | 0 |1493k| 0 | 1.000000e+00 | 3.650000e+02 | Large
1800.05/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.50 c
1800.05/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.50 c Solving Time (sec) : 1722.45
1800.05/1800.50 c Solving Nodes : 3234980
1800.05/1800.50 c Primal Bound : +3.65000000000000e+02 (5 solutions)
1800.05/1800.50 c Dual Bound : +1.00000000000000e+00
1800.05/1800.50 c Gap : 36400.00 %
1800.05/1800.51 s SATISFIABLE
1800.05/1800.51 v x792 -x791 x790 -x789 x788 -x787 x786 -x785 -x784 x783 x782 -x781 -x780 x779 x778 -x777 x776 -x775 x774 -x773 x772 -x771 x770 -x769
1800.05/1800.51 v -x768 x767 x766 -x765 x764 -x763 x762 -x761 x760 -x759 x758 -x757 x756 -x755 x754 -x753 x752 -x751 -x750 x749 x748 -x747
1800.05/1800.51 v x746 -x745 -x744 x743 x742 -x741 x740 -x739 x738 -x737 x736 -x735 -x734 -x733 -x732 x731 x730 -x729 x728 -x727 x726 -x725 x724
1800.05/1800.51 v -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 -x710 x709 -x708 x707 x706 -x705 x704 -x703 x702 -x701
1800.05/1800.51 v x700 -x699 x698 -x697 x696 -x695 x694 -x693 x692 -x691 x690 -x689 x688 -x687 -x686 x685 -x684 x683 x682 -x681 x680 -x679
1800.05/1800.51 v x678 -x677 x676 -x675 x674 -x673 -x672 x671 x670 -x669 x668 -x667 x666 -x665 x664 -x663 x662 -x661 -x660 x659 x658 -x657 x656
1800.05/1800.51 v -x655 x654 -x653 x652 -x651 -x650 -x649 -x648 x647 x646 -x645 x644 -x643 x642 -x641 x640 -x639 -x638 -x637 x636 -x635 x634
1800.05/1800.51 v -x633 x632 -x631 x630 -x629 -x628 x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 x618 -x617 x616 -x615 x614 -x613 x612 -x611
1800.05/1800.51 v x610 -x609 x608 -x607 x606 -x605 x604 -x603 -x602 x601 -x600 x599 x598 -x597 x596 -x595 x594 -x593 x592 -x591 x590 -x589 x588
1800.05/1800.51 v -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 -x578 x577 x576 -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567 -x566
1800.05/1800.51 v x565 -x564 x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 -x552 x551 x550 -x549 x548 -x547 x546 -x545 x544 -x543
1800.05/1800.51 v x542 -x541 x540 -x539 x538 -x537 x536 -x535 x534 -x533 x532 -x531 -x530 x529 x528 -x527 x526 -x525 x524 -x523 x522 -x521 x520
1800.05/1800.51 v -x519 -x518 x517 x516 -x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 x505 x504 -x503 x502 -x501 x500 -x499 x498 -x497
1800.05/1800.51 v -x496 x495 x494 -x493 -x492 x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 x482 -x481 -x480 -x479 x478 -x477 x476 -x475
1800.05/1800.51 v x474 -x473 x472 -x471 -x470 x469 -x468 x467 x466 -x465 x464 -x463 x462 -x461 x460 -x459 x458 -x457 -x456 x455 x454 -x453 x452
1800.05/1800.51 v -x451 x450 -x449 x448 -x447 x446 -x445 x444 -x443 x442 -x441 x440 -x439 x438 -x437 x436 -x435 -x434 x433 -x432 -x431 x430 -x429
1800.05/1800.51 v x428 -x427 x426 -x425 x424 -x423 -x422 x421 -x420 x419 x418 -x417 x416 -x415 x414 -x413 x412 -x411 -x410 -x409 -x408 x407
1800.05/1800.51 v x406 -x405 x404 -x403 x402 -x401 x400 -x399 -x398 -x397 x396 -x395 x394 -x393 x392 -x391 x390 -x389 x388 -x387 -x386 x385 -x384
1800.05/1800.51 v -x383 x382 -x381 x380 -x379 x378 -x377 x376 -x375 -x374 x373 -x372 -x371 x370 -x369 x368 -x367 x366 -x365 x364 -x363 -x362
1800.05/1800.51 v x361 -x360 x359 x358 -x357 x356 -x355 x354 -x353 x352 -x351 x350 -x349 x348 -x347 -x346 -x345 x344 -x343 x342 -x341 -x340
1800.05/1800.51 v x339 x338 -x337 -x336 x335 x334 -x333 x332 -x331 x330 -x329 x328 -x327 -x326 -x325 x324 -x323 x322 -x321 x320 -x319 x318 -x317
1800.05/1800.51 v x316 -x315 -x314 x313 -x312 x311 x310 -x309 x308 -x307 x306 -x305 x304 -x303 x302 -x301 -x300 x299 x298 -x297 x296 -x295 x294
1800.05/1800.51 v -x293 x292 -x291 x290 -x289 -x288 x287 x286 -x285 x284 -x283 x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 x272
1800.05/1800.51 v -x271 x270 -x269 x268 -x267 -x266 x265 x264 -x263 x262 -x261 x260 -x259 x258 -x257 x256 -x255 -x254 x253 -x252 -x251 x250 -x249
1800.05/1800.51 v x248 -x247 x246 -x245 x244 -x243 -x242 x241 x240 -x239 x238 -x237 -x236 x235 x234 -x233 -x232 -x231 x230 -x229 -x228 x227
1800.05/1800.51 v x226 -x225 x224 -x223 x222 -x221 x220 -x219 -x218 -x217 -x216 x215 x214 -x213 x212 -x211 x210 -x209 x208 -x207 x206 -x205 -x204
1800.05/1800.51 v -x203 x202 -x201 x200 -x199 x198 -x197 x196 -x195 -x194 x193 -x192 x191 -x190 x189 x188 -x187 -x186 x185 -x184 x183 -x182
1800.05/1800.51 v x181 -x180 x179 -x178 x177 -x176 x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 x160 -x159
1800.05/1800.51 v -x158 x157 -x156 x155 x154 -x153 -x152 -x151 -x150 x149 -x148 x147 -x146 -x145 x144 -x143 -x142 x141 -x140 -x139 -x138 x137
1800.05/1800.51 v -x136 x135 -x134 -x133 -x132 x131 x130 -x129 x128 -x127 -x126 x125 -x124 x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115
1800.05/1800.51 v -x114 x113 x112 -x111 -x110 x109 -x108 -x107 -x106 x105 -x104 x103 -x102 -x101 -x100 x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91
1800.05/1800.51 v -x90 x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 x75 -x74 -x73 -x72 x71 x70 -x69 -x68 x67 x66 -x65 -x64
1800.05/1800.51 v x63 -x62 x61 -x60 x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 x49 -x48 -x47 -x46 x45 x44 -x43 -x42 x41 -x40 x39 x38 -x37 -x36
1800.05/1800.51 v x35 x34 -x33 -x32 x31 -x30 x29 -x28 x27 -x26 x25 -x24 x23 -x22 x21 -x20 x19 -x18 x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 -x8
1800.05/1800.51 v x7 -x6 x5 -x4 x3 -x2 x1
1800.05/1800.51 c SCIP Status : solving was interrupted [user interrupt]
1800.05/1800.51 c Solving Time : 1722.45
1800.05/1800.51 c Original Problem :
1800.05/1800.51 c Problem name : HOME/instance-2664197-1276466695.opb
1800.05/1800.51 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3194 initial, 3194 maximal
1800.05/1800.51 c Presolved Problem :
1800.05/1800.51 c Problem name : t_HOME/instance-2664197-1276466695.opb
1800.05/1800.51 c Variables : 792 (792 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.51 c Constraints : 3134 initial, 3195 maximal
1800.05/1800.51 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.05/1800.51 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c implics : 0.00 0 0 0 0 0 0 0 0
1800.05/1800.51 c probing : 0.04 0 0 0 0 0 0 0 0
1800.05/1800.51 c linear : 0.05 0 0 0 0 0 60 0 0
1800.05/1800.51 c logicor : 0.02 0 0 0 0 0 0 0 0
1800.05/1800.51 c root node : - 0 - - 0 - - - -
1800.05/1800.51 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c integral : 0 0 0 0 0 0 0 0 0 0
1800.05/1800.51 c logicor : 3134+ 0 7007971 0 5 1496186 7344671 0 0 0
1800.05/1800.51 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.05/1800.51 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.05/1800.51 c integral : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c logicor : 974.45 0.00 974.45 0.00 0.00
1800.05/1800.51 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.05/1800.51 c Propagators : Time Calls Cutoffs DomReds
1800.05/1800.51 c vbounds : 5.61 2 0 0
1800.05/1800.51 c rootredcost : 5.28 0 0 0
1800.05/1800.51 c pseudoobj : 479.91 12931142 381288 29369093
1800.05/1800.51 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.51 c propagation : 928.27 1496186 1496186 1496186 76.8 7 21.3 -
1800.05/1800.51 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.51 c pseudo solution : 10.08 43543 0 0 0.0 0 0.0 -
1800.05/1800.51 c applied globally : - - - 1467258 76.7 - - -
1800.05/1800.51 c applied locally : - - - 28935 80.1 - - -
1800.05/1800.51 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.51 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.05/1800.51 c redcost : 0.00 0 0 0 0 0
1800.05/1800.51 c impliedbounds : 0.00 0 0 0 0 0
1800.05/1800.51 c intobj : 0.00 0 0 0 0 0
1800.05/1800.51 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.51 c gomory : 0.00 0 0 0 0 0
1800.05/1800.51 c strongcg : 0.00 0 0 0 0 0
1800.05/1800.51 c cmir : 0.00 0 0 0 0 0
1800.05/1800.51 c flowcover : 0.00 0 0 0 0 0
1800.05/1800.51 c clique : 0.00 0 0 0 0 0
1800.05/1800.51 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.51 c mcf : 0.00 0 0 0 0 0
1800.05/1800.51 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.51 c Pricers : Time Calls Vars
1800.05/1800.51 c problem variables: 0.00 0 0
1800.05/1800.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.51 c relpscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.51 c inference : 24.83 1986549 0 0 0 0 3973098
1800.05/1800.51 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.51 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.51 c random : 0.00 0 0 0 0 0 0
1800.05/1800.51 c Primal Heuristics : Time Calls Found
1800.05/1800.51 c LP solutions : 0.00 - 0
1800.05/1800.51 c pseudo solutions : 0.01 - 5
1800.05/1800.51 c oneopt : 2.80 0 0
1800.05/1800.51 c trivial : 0.00 2 0
1800.05/1800.51 c simplerounding : 0.00 0 0
1800.05/1800.51 c zirounding : 0.00 0 0
1800.05/1800.51 c rounding : 0.00 0 0
1800.05/1800.51 c shifting : 0.00 0 0
1800.05/1800.51 c intshifting : 0.00 0 0
1800.05/1800.51 c twoopt : 0.00 0 0
1800.05/1800.51 c fixandinfer : 0.00 0 0
1800.05/1800.51 c feaspump : 0.00 0 0
1800.05/1800.51 c coefdiving : 0.00 0 0
1800.05/1800.51 c pscostdiving : 0.00 0 0
1800.05/1800.51 c fracdiving : 0.00 0 0
1800.05/1800.51 c veclendiving : 0.00 0 0
1800.05/1800.51 c intdiving : 0.00 0 0
1800.05/1800.51 c actconsdiving : 0.00 0 0
1800.05/1800.51 c objpscostdiving : 0.00 0 0
1800.05/1800.51 c rootsoldiving : 0.00 0 0
1800.05/1800.51 c linesearchdiving : 0.00 0 0
1800.05/1800.51 c guideddiving : 0.00 0 0
1800.05/1800.51 c octane : 0.00 0 0
1800.05/1800.51 c rens : 0.00 0 0
1800.05/1800.51 c rins : 0.00 0 0
1800.05/1800.51 c localbranching : 0.00 0 0
1800.05/1800.51 c mutation : 0.00 0 0
1800.05/1800.51 c crossover : 0.00 0 0
1800.05/1800.51 c dins : 0.00 0 0
1800.05/1800.51 c undercover : 0.00 0 0
1800.05/1800.51 c nlp : 1.54 0 0
1800.05/1800.51 c trysol : 1.44 0 0
1800.05/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.05/1800.51 c dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.51 c diving/probing LP: 0.00 0 0 0.00 -
1800.05/1800.51 c strong branching : 0.00 0 0 0.00 -
1800.05/1800.51 c (at root node) : - 0 0 0.00 -
1800.05/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.51 c B&B Tree :
1800.05/1800.51 c number of runs : 1
1800.05/1800.51 c nodes : 3234980
1800.05/1800.51 c nodes (total) : 3234980
1800.05/1800.51 c nodes left : 76
1800.05/1800.51 c max depth : 108
1800.05/1800.51 c max depth (total): 108
1800.05/1800.51 c backtracks : 998498 (30.9%)
1800.05/1800.51 c delayed cutoffs : 735702
1800.05/1800.51 c repropagations : 1290345 (14583150 domain reductions, 672591 cutoffs)
1800.05/1800.51 c avg switch length: 2.09
1800.05/1800.51 c switching time : 65.87
1800.05/1800.51 c Solution :
1800.05/1800.51 c Solutions found : 5 (5 improvements)
1800.05/1800.51 c First Solution : +3.80000000000000e+02 (in run 1, after 129 nodes, 0.20 seconds, depth 83, found by <relaxation>)
1800.05/1800.51 c Primal Bound : +3.65000000000000e+02 (in run 1, after 294827 nodes, 169.19 seconds, depth 87, found by <relaxation>)
1800.05/1800.51 c Dual Bound : +1.00000000000000e+00
1800.05/1800.51 c Gap : 36400.00 %
1800.05/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.05/1800.51 c Root Iterations : 0
1800.05/1800.52 c Time complete: 1800.07.
OK 365
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664197-1276466695/watcher-2664197-1276466695 -o /tmp/evaluation-result-2664197-1276466695/solver-2664197-1276466695 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664197-1276466695.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25589 /proc/meminfo: memFree=1777744/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=6584 CPUtime=0 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 22273343 6742016 909 1992294400 4194304 7136930 140737409924624 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25589/statm: 1646 918 254 719 0 925 0 [startup+0.0829009 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25589 /proc/meminfo: memFree=1777744/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=14256 CPUtime=0.07 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 3425 0 0 0 7 0 0 0 20 0 1 0 22273343 14598144 2994 1992294400 4194304 7136930 140737409924624 18446744073709551615 4561363 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 3564 2994 303 719 0 2843 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 14256 [startup+0.100903 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25589 /proc/meminfo: memFree=1777744/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=15964 CPUtime=0.09 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 3634 0 0 0 8 1 0 0 20 0 1 0 22273343 16347136 3203 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 3991 3203 338 719 0 3270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15964 [startup+0.300922 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25589 /proc/meminfo: memFree=1777744/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=19948 CPUtime=0.29 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 5983 0 0 0 26 3 0 0 20 0 1 0 22273343 20426752 4264 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 4987 4264 383 719 0 4266 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19948 [startup+0.700959 s] /proc/loadavg: 1.00 1.00 1.00 3/106 25589 /proc/meminfo: memFree=1777744/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=0.69 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6003 0 0 0 64 5 0 0 21 0 1 0 22273343 20561920 4284 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4284 385 719 0 4299 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20080 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25590 /proc/meminfo: memFree=1761988/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=1.49 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6003 0 0 0 140 9 0 0 23 0 1 0 22273343 20561920 4284 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4284 385 719 0 4299 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20080 [startup+3.10119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25590 /proc/meminfo: memFree=1761616/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=3.09 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6004 0 0 0 293 16 0 0 25 0 1 0 22273343 20561920 4285 1992294400 4194304 7136930 140737409924624 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4285 385 719 0 4299 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20080 [startup+6.30049 s] /proc/loadavg: 1.00 1.00 1.00 3/107 25590 /proc/meminfo: memFree=1761616/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=6.29 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6006 0 0 0 596 33 0 0 25 0 1 0 22273343 20561920 4287 1992294400 4194304 7136930 140737409924624 18446744073709551615 4219840 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4287 385 719 0 4299 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20080 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25590 /proc/meminfo: memFree=1761368/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=12.69 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6006 0 0 0 1207 62 0 0 25 0 1 0 22273343 20561920 4287 1992294400 4194304 7136930 140737409924624 18446744073709551615 4704624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4287 385 719 0 4299 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20080 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25590 /proc/meminfo: memFree=1761368/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=25.49 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6009 0 0 0 2430 119 0 0 25 0 1 0 22273343 20561920 4290 1992294400 4194304 7136930 140737409924624 18446744073709551615 5909056 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4290 385 719 0 4299 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 20080 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25592 /proc/meminfo: memFree=1761368/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20080 CPUtime=51.08 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6014 0 0 0 4874 234 0 0 25 0 1 0 22273343 20561920 4295 1992294400 4194304 7136930 140737409924624 18446744073709551615 4998689 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5020 4295 385 719 0 4299 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20080 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25592 /proc/meminfo: memFree=1761244/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20212 CPUtime=102.27 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6029 0 0 0 9750 477 0 0 25 0 1 0 22273343 20697088 4310 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5053 4310 385 719 0 4332 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20212 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25594 /proc/meminfo: memFree=1760996/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20212 CPUtime=162.25 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6030 0 0 0 15493 732 0 0 25 0 1 0 22273343 20697088 4311 1992294400 4194304 7136930 140737409924624 18446744073709551615 5917881 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5053 4311 385 719 0 4332 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 20212 [startup+222.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 25596 /proc/meminfo: memFree=1760872/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20212 CPUtime=222.23 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6046 0 0 0 21226 997 0 0 25 0 1 0 22273343 20697088 4327 1992294400 4194304 7136930 140737409924624 18446744073709551615 4998713 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5053 4327 385 719 0 4332 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 20212 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 25598 /proc/meminfo: memFree=1760748/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20212 CPUtime=282.22 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6049 0 0 0 26956 1266 0 0 25 0 1 0 22273343 20697088 4330 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5053 4330 385 719 0 4332 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 20212 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25600 /proc/meminfo: memFree=1760624/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20212 CPUtime=342.21 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6052 0 0 0 32686 1535 0 0 25 0 1 0 22273343 20697088 4333 1992294400 4194304 7136930 140737409924624 18446744073709551615 5906002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5053 4333 385 719 0 4332 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 20212 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25600 /proc/meminfo: memFree=1760500/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=402.19 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6067 0 0 0 38417 1802 0 0 25 0 1 0 22273343 20832256 4348 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4348 385 719 0 4365 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 20344 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25602 /proc/meminfo: memFree=1760376/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=462.17 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6068 0 0 0 44152 2065 0 0 25 0 1 0 22273343 20832256 4349 1992294400 4194304 7136930 140737409924624 18446744073709551615 4653015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4349 385 719 0 4365 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 20344 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25606 /proc/meminfo: memFree=1759756/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=522.16 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6068 0 0 0 49883 2333 0 0 25 0 1 0 22273343 20832256 4349 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4349 385 719 0 4365 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 20344 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25609 /proc/meminfo: memFree=1759508/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=582.14 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6069 0 0 0 55622 2592 0 0 25 0 1 0 22273343 20832256 4350 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4350 385 719 0 4365 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 20344 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25611 /proc/meminfo: memFree=1759508/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=642.14 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6070 0 0 0 61356 2858 0 0 25 0 1 0 22273343 20832256 4351 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4351 385 719 0 4365 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 20344 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.19 1.06 1.01 2/107 25617 /proc/meminfo: memFree=1759384/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=882.07 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6072 0 0 0 84327 3880 0 0 25 0 1 0 22273343 20832256 4353 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4353 385 719 0 4365 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 20344 [startup+942.302 s] /proc/loadavg: 1.15 1.06 1.01 2/107 25619 /proc/meminfo: memFree=1759260/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=942.05 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6076 0 0 0 90085 4120 0 0 25 0 1 0 22273343 20832256 4357 1992294400 4194304 7136930 140737409924624 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4357 385 719 0 4365 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 20344 [startup+1002.3 s] /proc/loadavg: 1.11 1.06 1.01 2/107 25619 /proc/meminfo: memFree=1759136/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1002.04 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6076 0 0 0 95831 4373 0 0 25 0 1 0 22273343 20832256 4357 1992294400 4194304 7136930 140737409924624 18446744073709551615 5906002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4357 385 719 0 4365 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 20344 [startup+1062.3 s] /proc/loadavg: 1.09 1.07 1.01 2/107 25621 /proc/meminfo: memFree=1759012/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1062.02 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6077 0 0 0 101583 4619 0 0 25 0 1 0 22273343 20832256 4358 1992294400 4194304 7136930 140737409924624 18446744073709551615 4349959 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4358 385 719 0 4365 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 20344 [startup+1122.3 s] /proc/loadavg: 1.03 1.05 1.00 2/107 25623 /proc/meminfo: memFree=1758888/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1122.01 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 107324 4877 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 20344 [startup+1182.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 25625 /proc/meminfo: memFree=1758640/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1182 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 113039 5161 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 5906002 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 20344 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 25627 /proc/meminfo: memFree=1758392/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1241.98 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 118789 5409 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 4240424 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 20344 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25627 /proc/meminfo: memFree=1758144/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1301.97 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 124551 5646 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 20344 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 25629 /proc/meminfo: memFree=1758144/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1361.95 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 130308 5887 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 5919085 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 20344 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 25631 /proc/meminfo: memFree=1758020/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1421.94 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 136056 6138 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 4240409 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 20344 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25633 /proc/meminfo: memFree=1757896/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1481.92 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 141801 6391 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 5906003 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 20344 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25635 /proc/meminfo: memFree=1758020/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1541.9 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6078 0 0 0 147559 6631 0 0 25 0 1 0 22273343 20832256 4359 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4359 385 719 0 4365 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 20344 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25635 /proc/meminfo: memFree=1757772/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1601.89 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 153318 6871 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 5905989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 20344 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25637 /proc/meminfo: memFree=1757648/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1661.88 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 159062 7126 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 5905985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 20344 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25639 /proc/meminfo: memFree=1757648/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1721.86 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 164797 7389 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 20344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25641 /proc/meminfo: memFree=1757276/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1781.85 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 170513 7672 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 20344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25641 /proc/meminfo: memFree=1757276/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1800.05 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 172251 7754 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 20344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25641 /proc/meminfo: memFree=1757276/2059040 swapFree=4140388/4192956 [pid=25589] ppid=25587 vsize=20344 CPUtime=1800.05 /proc/25589/stat : 25589 (pbscip.linux.x8) R 25587 25589 24584 0 -1 4202496 6079 0 0 0 172251 7754 0 0 25 0 1 0 22273343 20832256 4360 1992294400 4194304 7136930 140737409924624 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/25589/statm: 5086 4360 385 719 0 4365 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 20344 Child status: 0 Real time (s): 1800.53 CPU time (s): 1800.08 CPU user time (s): 1722.53 CPU system time (s): 77.5482 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 20344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.53 system time used= 77.5482 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6095 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= 4 involuntary context switches= 4414 runsolver used 2.80157 second user time and 8.69568 second system time The end
Begin job on node004 at 2010-06-14 00:04:55 IDJOB=2664197 IDBENCH=2185 IDSOLVER=1167 FILE ID=node004/2664197-1276466695 PBS_JOBID= 11173363 Free space on /tmp= 62536 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664197-1276466695/watcher-2664197-1276466695 -o /tmp/evaluation-result-2664197-1276466695/solver-2664197-1276466695 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664197-1276466695.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39250f205953aedd83d7a2bcba6bda16 RANDOM SEED=1121908046 node004.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.210 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.42 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.210 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1778148 kB Buffers: 65728 kB Cached: 134644 kB SwapCached: 6652 kB Active: 98332 kB Inactive: 115632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1778148 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 3272 kB Writeback: 0 kB AnonPages: 11368 kB Mapped: 12936 kB Slab: 45132 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180656 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= 62536 MiB End job on node004 at 2010-06-14 00:34:57