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) | 30 | 1800.12 | 1800.68 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_008_area_delay.opb |
| MD5SUM | 6e9753dce198ef5ddba763a137b390c4 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 25 |
| Best CPU time to get the best result obtained on this benchmark | 4.06038 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 25 |
| Optimality of the best value was proved | YES |
| Number of variables | 3973 |
| Total number of constraints | 11097 |
| Number of constraints which are clauses | 11097 |
| 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 | 63 |
| Number of terms in the objective function | 1906 |
| 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 | 1906 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 1906 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2663935-1276634152.opb>
0.09/0.19 c original problem has 3973 variables (3973 bin, 0 int, 0 impl, 0 cont) and 11097 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.09/0.19 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.19/0.26 c presolving:
0.29/0.36 c (round 1) 2013 del vars, 3916 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20670 impls, 0 clqs
0.29/0.37 c (round 2) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20670 impls, 0 clqs
0.39/0.45 c (round 3) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6199 upgd conss, 20670 impls, 0 clqs
0.39/0.48 c (round 4) 2013 del vars, 4839 del conss, 109 chg bounds, 0 chg sides, 0 chg coeffs, 6258 upgd conss, 20670 impls, 0 clqs
0.49/0.55 c (0.3s) probing: 101/1960 (5.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.55 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.49/0.55 c presolving (5 rounds):
0.49/0.55 c 2013 deleted vars, 4839 deleted constraints, 109 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.55 c 20670 implications, 0 cliques
0.49/0.55 c presolved problem has 1960 variables (1960 bin, 0 int, 0 impl, 0 cont) and 6258 constraints
0.49/0.55 c 6258 constraints of type <logicor>
0.49/0.55 c transformed objective value is always integral (scale: 1)
0.49/0.55 c Presolving Time: 0.27
0.49/0.55 c - non default parameters ----------------------------------------------------------------------
0.49/0.55 c # SCIP version 1.2.1.2
0.49/0.55 c
0.49/0.55 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: -1]
0.49/0.55 c conflict/interconss = 0
0.49/0.55 c
0.49/0.55 c # should binary conflicts be preferred?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c conflict/preferbinary = TRUE
0.49/0.55 c
0.49/0.55 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 0]
0.49/0.55 c constraints/agelimit = 1
0.49/0.55 c
0.49/0.55 c # should enforcement of pseudo solution be disabled?
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/disableenfops = TRUE
0.49/0.55 c
0.49/0.55 c # frequency for displaying node information lines
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.55 c display/freq = 10000
0.49/0.55 c
0.49/0.55 c # maximal time in seconds to run
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/time = 1799.81
0.49/0.55 c
0.49/0.55 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.55 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.55 c limits/memory = 1620
0.49/0.55 c
0.49/0.55 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.49/0.55 c # [type: int, range: [-1,2147483647], default: 1]
0.49/0.55 c lp/solvefreq = -1
0.49/0.55 c
0.49/0.55 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.49/0.55 c # [type: char, range: {lafpsqd}, default: l]
0.49/0.55 c lp/pricing = a
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify inequalities
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/linear/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # should presolving try to simplify knapsacks
0.49/0.55 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.49/0.55 c constraints/knapsack/simplifyinequalities = TRUE
0.49/0.55 c
0.49/0.55 c # priority of node selection rule <dfs> in standard mode
0.49/0.55 c # [type: int, range: [-536870912,536870911], default: 0]
0.49/0.55 c nodeselection/dfs/stdpriority = 1000000
0.49/0.55 c
0.49/0.55 c -----------------------------------------------------------------------------------------------
0.49/0.55 c start solving
0.49/0.55 c
0.49/0.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.55 c 0.3s| 1 | 2 | 0 | - | 14M| 0 | - |1960 |6258 | 0 | 0 | 0 | 0 | 0 | 1.000000e+00 | -- | Inf
1.10/1.14 o 34
1.10/1.14 c * 0.9s| 1678 | 1673 | 0 | 0.0 | 15M|1677 | - |1960 |6258 | 0 | 0 | 0 | 0 | 0 | 2.000000e+00 | 3.400000e+01 |1600.00%
1.10/1.14 o 33
1.10/1.14 c * 0.9s| 1689 | 1672 | 0 | 0.0 | 15M|1680 | - |1960 |6258 | 0 | 0 | 0 | 2 | 0 | 2.000000e+00 | 3.300000e+01 |1550.00%
1.10/1.15 o 32
1.10/1.15 c * 0.9s| 1710 | 1672 | 0 | 0.0 | 15M|1681 | - |1960 |6258 | 0 | 0 | 0 | 9 | 0 | 2.000000e+00 | 3.200000e+01 |1500.00%
1.39/1.49 o 31
1.39/1.49 c * 1.2s| 2610 | 1667 | 0 | 0.0 | 15M|1681 | - |1960 |6259 | 0 | 0 | 0 | 512 | 0 | 2.000000e+00 | 3.100000e+01 |1450.00%
1.59/1.62 o 30
1.59/1.62 c * 1.3s| 2946 | 1664 | 0 | 0.0 | 15M|1681 | - |1960 |6261 | 0 | 0 | 0 | 677 | 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
4.40/4.41 c 4.0s| 10000 | 1657 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 |4370 | 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
8.59/8.61 c 8.0s| 20000 | 1653 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 | 10k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
12.99/13.02 c 12.2s| 30000 | 1650 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 | 15k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
17.59/17.68 c 16.6s| 40000 | 1651 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 21k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
22.49/22.50 c 21.1s| 50000 | 1647 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 27k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
26.98/27.08 c 25.5s| 60000 | 1652 | 0 | 0.0 | 15M|1681 | - |1960 |6259 | 0 | 0 | 0 | 32k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
31.78/31.82 c 30.1s| 70000 | 1656 | 0 | 0.0 | 15M|1681 | - |1960 |6260 | 0 | 0 | 0 | 38k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
36.68/36.71 c 34.8s| 80000 | 1646 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 44k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
41.48/41.55 c 39.4s| 90000 | 1646 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 50k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
46.48/46.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
46.48/46.54 c 44.1s|100000 | 1650 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 56k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
51.28/51.39 c 48.7s|110000 | 1644 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 | 62k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
56.27/56.31 c 53.5s|120000 | 1648 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 67k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
61.27/61.34 c 58.2s|130000 | 1643 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 73k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
66.17/66.21 c 62.9s|140000 | 1645 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 | 79k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
71.07/71.16 c 67.6s|150000 | 1648 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 | 85k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
76.37/76.40 c 72.6s|160000 | 1644 | 0 | 0.0 | 15M|1681 | - |1960 |6267 | 0 | 0 | 0 | 91k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
81.47/81.58 c 77.6s|170000 | 1648 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 96k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
86.57/86.65 c 82.4s|180000 | 1649 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 102k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
91.47/91.51 c 87.0s|190000 | 1645 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 | 108k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
96.36/96.48 c 91.8s|200000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 114k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
101.36/101.46 c 96.5s|210000 | 1644 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 120k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
106.26/106.36 c 101s|220000 | 1643 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 126k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
111.36/111.46 c 106s|230000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 131k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
116.26/116.37 c 111s|240000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6262 | 0 | 0 | 0 | 137k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
121.35/121.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.35/121.46 c 116s|250000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6462 | 0 | 0 | 0 | 144k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
126.36/126.48 c 120s|260000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6267 | 0 | 0 | 0 | 149k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
131.65/131.76 c 125s|270000 | 1644 | 0 | 0.0 | 15M|1681 | - |1960 |6264 | 0 | 0 | 0 | 156k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
136.95/137.06 c 130s|280000 | 1643 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 | 161k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
142.25/142.38 c 136s|290000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 167k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
147.54/147.65 c 141s|300000 | 1636 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 173k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
152.85/152.96 c 146s|310000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 | 180k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
158.05/158.19 c 151s|320000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6680 | 0 | 0 | 0 | 186k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
163.24/163.33 c 156s|330000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6579 | 0 | 0 | 0 | 192k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
168.54/168.60 c 161s|340000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6573 | 0 | 0 | 0 | 198k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
173.84/173.96 c 166s|350000 | 1639 | 0 | 0.0 | 15M|1681 | - |1960 |6577 | 0 | 0 | 0 | 203k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
179.14/179.22 c 171s|360000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6579 | 0 | 0 | 0 | 209k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
184.44/184.54 c 176s|370000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 | 215k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
190.14/190.22 c 181s|380000 | 1639 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 222k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
195.53/195.60 c 186s|390000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6289 | 0 | 0 | 0 | 228k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
200.83/200.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.83/200.91 c 191s|400000 | 1639 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 233k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
206.23/206.31 c 197s|410000 | 1643 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 239k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
211.53/211.65 c 202s|420000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 245k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
216.93/217.01 c 207s|430000 | 1650 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 | 250k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
222.23/222.38 c 212s|440000 | 1643 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 256k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
227.82/227.90 c 217s|450000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 263k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
233.03/233.12 c 222s|460000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6292 | 0 | 0 | 0 | 269k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
238.12/238.28 c 227s|470000 | 1640 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 275k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
243.72/243.83 c 232s|480000 | 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 | 281k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
249.11/249.26 c 238s|490000 | 1641 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 287k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
254.41/254.53 c 243s|500000 | 1639 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 | 293k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
259.61/259.74 c 248s|510000 | 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 299k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
264.92/265.05 c 253s|520000 | 1640 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 305k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
270.52/270.61 c 258s|530000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 311k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
275.91/276.10 c 263s|540000 | 1639 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 317k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
281.42/281.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
281.42/281.50 c 268s|550000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6258 | 0 | 0 | 0 | 323k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
286.81/286.99 c 274s|560000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 329k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
292.41/292.53 c 279s|570000 | 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 335k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
297.91/298.02 c 284s|580000 | 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 341k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
303.10/303.21 c 289s|590000 | 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 | 348k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
308.40/308.58 c 294s|600000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 | 353k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
314.10/314.28 c 300s|610000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 | 359k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
319.70/319.85 c 305s|620000 | 1640 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 | 365k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
325.19/325.35 c 310s|630000 | 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 371k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
330.70/330.80 c 315s|640000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 | 377k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
336.09/336.24 c 321s|650000 | 1642 | 0 | 0.0 | 15M|1681 | - |1960 |6262 | 0 | 0 | 0 | 383k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
341.69/341.86 c 326s|660000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6267 | 0 | 0 | 0 | 389k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
347.40/347.51 c 331s|670000 | 1642 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 | 395k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
352.99/353.14 c 337s|680000 | 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6264 | 0 | 0 | 0 | 401k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
358.49/358.62 c 342s|690000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 407k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
363.58/363.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
363.58/363.72 c 347s|700000 | 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 413k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
368.99/369.13 c 352s|710000 | 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6565 | 0 | 0 | 0 | 419k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
374.48/374.65 c 357s|720000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 | 425k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
379.87/380.08 c 362s|730000 | 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6550 | 0 | 0 | 0 | 431k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
385.18/385.34 c 367s|740000 | 1640 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 | 437k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
389.97/390.16 c 372s|750000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 443k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
395.18/395.37 c 377s|760000 | 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 | 449k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
400.57/400.70 c 382s|770000 | 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 454k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
405.87/406.05 c 387s|780000 | 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 460k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
411.28/411.42 c 392s|790000 | 1636 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 | 466k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
416.47/416.69 c 397s|800000 | 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6286 | 0 | 0 | 0 | 472k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
422.07/422.25 c 403s|810000 | 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6264 | 0 | 0 | 0 | 478k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
427.77/427.92 c 408s|820000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 484k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
433.27/433.45 c 413s|830000 | 1636 | 0 | 0.0 | 15M|1681 | - |1960 |6260 | 0 | 0 | 0 | 490k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
438.77/438.99 c 419s|840000 | 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 496k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
444.75/444.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
444.75/444.99 c 424s|850000 | 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 502k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
450.55/450.73 c 430s|860000 | 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 | 509k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
455.95/456.15 c 435s|870000 | 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 515k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
461.36/461.53 c 440s|880000 | 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 | 520k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
466.75/466.97 c 445s|890000 | 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 | 527k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
472.25/472.46 c 451s|900000 | 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 | 533k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
477.95/478.19 c 456s|910000 | 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 | 539k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
483.34/483.58 c 461s|920000 | 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 545k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
488.74/488.98 c 466s|930000 | 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6292 | 0 | 0 | 0 | 551k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
494.24/494.48 c 472s|940000 | 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 | 557k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
499.74/499.96 c 477s|950000 | 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 | 563k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
505.15/505.35 c 482s|960000 | 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6265 | 0 | 0 | 0 | 569k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
510.64/510.81 c 487s|970000 | 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6295 | 0 | 0 | 0 | 575k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
516.34/516.54 c 493s|980000 | 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 581k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
522.13/522.30 c 498s|990000 | 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 587k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
527.75/527.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
527.75/527.97 c 504s| 1000k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 593k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
532.93/533.17 c 509s| 1010k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 | 598k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
538.53/538.75 c 514s| 1020k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 | 604k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
544.24/544.42 c 520s| 1030k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 610k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
549.53/549.79 c 525s| 1040k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6292 | 0 | 0 | 0 | 616k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
555.13/555.40 c 530s| 1050k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 622k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
560.92/561.13 c 535s| 1060k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 629k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
566.33/566.51 c 541s| 1070k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 635k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
571.62/571.84 c 546s| 1080k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 640k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
577.23/577.45 c 551s| 1090k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 646k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
582.62/582.88 c 556s| 1100k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6264 | 0 | 0 | 0 | 652k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
588.42/588.65 c 562s| 1110k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6282 | 0 | 0 | 0 | 658k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
594.12/594.40 c 567s| 1120k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 664k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
599.71/599.97 c 573s| 1130k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6289 | 0 | 0 | 0 | 670k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
605.42/605.67 c 578s| 1140k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 | 677k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
611.01/611.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
611.01/611.20 c 583s| 1150k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 683k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
616.71/616.99 c 589s| 1160k| 1640 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 | 689k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
622.32/622.55 c 594s| 1170k| 1638 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 695k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
628.10/628.30 c 600s| 1180k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 | 701k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
633.41/633.69 c 605s| 1190k| 1636 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 707k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
638.90/639.13 c 610s| 1200k| 1637 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 713k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
644.41/644.63 c 615s| 1210k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 | 719k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
649.60/649.84 c 620s| 1220k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6291 | 0 | 0 | 0 | 724k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
654.90/655.11 c 625s| 1230k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 | 730k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
660.40/660.68 c 630s| 1240k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 736k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
665.99/666.27 c 636s| 1250k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 | 742k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
671.59/671.82 c 641s| 1260k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 | 748k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
677.18/677.45 c 646s| 1270k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 754k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
682.79/683.10 c 652s| 1280k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 | 760k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
688.49/688.73 c 657s| 1290k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 766k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
693.89/694.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
693.89/694.19 c 662s| 1300k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 771k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
699.58/699.87 c 668s| 1310k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 778k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
704.98/705.21 c 673s| 1320k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 784k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
710.28/710.50 c 678s| 1330k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 | 789k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
716.28/716.54 c 684s| 1340k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6282 | 0 | 0 | 0 | 796k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
721.97/722.27 c 689s| 1350k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6296 | 0 | 0 | 0 | 802k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
727.88/728.19 c 695s| 1360k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 | 808k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
733.67/733.95 c 701s| 1370k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 | 814k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
739.46/739.74 c 706s| 1380k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6312 | 0 | 0 | 0 | 819k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
745.16/745.41 c 712s| 1390k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6309 | 0 | 0 | 0 | 826k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
750.86/751.16 c 717s| 1400k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6295 | 0 | 0 | 0 | 832k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
756.76/757.02 c 723s| 1410k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6303 | 0 | 0 | 0 | 838k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
762.06/762.32 c 728s| 1420k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6290 | 0 | 0 | 0 | 843k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
767.75/768.01 c 733s| 1430k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 | 849k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
773.75/774.03 c 739s| 1440k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6297 | 0 | 0 | 0 | 855k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
779.25/779.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
779.25/779.52 c 744s| 1450k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6810 | 0 | 0 | 0 | 862k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
784.65/784.93 c 749s| 1460k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 | 868k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
790.66/790.92 c 755s| 1470k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6298 | 0 | 0 | 0 | 874k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
796.35/796.60 c 761s| 1480k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6306 | 0 | 0 | 0 | 880k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
802.15/802.49 c 766s| 1490k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6303 | 0 | 0 | 0 | 886k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
808.05/808.30 c 772s| 1500k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6305 | 0 | 0 | 0 | 892k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
813.84/814.13 c 777s| 1510k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6314 | 0 | 0 | 0 | 898k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
819.35/819.67 c 783s| 1520k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6262 | 0 | 0 | 0 | 904k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
824.84/825.11 c 788s| 1530k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6258 | 0 | 0 | 0 | 910k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
829.94/830.22 c 793s| 1540k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 | 916k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
835.04/835.36 c 798s| 1550k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 | 922k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
840.34/840.64 c 803s| 1560k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6261 | 0 | 0 | 0 | 928k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
845.84/846.16 c 808s| 1570k| 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 934k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
851.33/851.68 c 813s| 1580k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 940k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
856.93/857.23 c 818s| 1590k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 | 946k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
862.43/862.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
862.43/862.73 c 824s| 1600k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 952k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
868.03/868.30 c 829s| 1610k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 958k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
873.32/873.66 c 834s| 1620k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 | 964k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
878.42/878.80 c 839s| 1630k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6295 | 0 | 0 | 0 | 970k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
883.62/883.93 c 844s| 1640k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 | 976k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
888.91/889.25 c 849s| 1650k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 | 981k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
894.11/894.46 c 854s| 1660k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 | 987k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
900.01/900.36 c 860s| 1670k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 | 993k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
905.61/905.94 c 865s| 1680k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 | 998k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
911.11/911.47 c 870s| 1690k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1004k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
916.71/917.01 c 876s| 1700k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1010k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
922.30/922.66 c 881s| 1710k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1015k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
927.70/928.00 c 886s| 1720k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 |1021k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
933.10/933.41 c 891s| 1730k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 |1027k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
939.01/939.37 c 897s| 1740k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1033k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
944.80/945.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.80/945.11 c 902s| 1750k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 |1039k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
950.20/950.58 c 908s| 1760k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1045k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
955.90/956.27 c 913s| 1770k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 |1051k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
961.60/961.96 c 919s| 1780k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 |1056k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
967.30/967.62 c 924s| 1790k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1062k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
973.29/973.61 c 930s| 1800k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 |1068k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
978.99/979.32 c 935s| 1810k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1074k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
984.79/985.13 c 941s| 1820k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6282 | 0 | 0 | 0 |1080k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
990.28/990.68 c 946s| 1830k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 |1086k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
995.98/996.38 c 951s| 1840k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 |1092k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1001.28/1001.66 c 957s| 1850k| 1634 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1097k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1006.78/1007.12 c 962s| 1860k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1103k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1012.48/1012.87 c 967s| 1870k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1109k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1017.88/1018.29 c 972s| 1880k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1115k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1023.68/1024.00 c 978s| 1890k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1121k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1029.37/1029.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1029.37/1029.71 c 983s| 1900k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1127k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1034.97/1035.35 c 989s| 1910k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 |1133k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1040.57/1040.97 c 994s| 1920k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6289 | 0 | 0 | 0 |1139k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1046.27/1046.64 c 1000s| 1930k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1145k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1051.76/1052.16 c 1005s| 1940k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6289 | 0 | 0 | 0 |1151k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1057.46/1057.80 c 1010s| 1950k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1157k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1063.46/1063.81 c 1016s| 1960k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1163k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1069.55/1069.93 c 1022s| 1970k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1170k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1075.65/1076.00 c 1028s| 1980k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1176k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1081.16/1081.59 c 1033s| 1990k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1182k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1086.96/1087.38 c 1038s| 2000k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6286 | 0 | 0 | 0 |1188k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1092.75/1093.11 c 1044s| 2010k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6290 | 0 | 0 | 0 |1194k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1098.46/1098.87 c 1049s| 2020k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1200k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1104.25/1104.63 c 1055s| 2030k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6303 | 0 | 0 | 0 |1206k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1110.15/1110.51 c 1061s| 2040k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1211k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1115.65/1116.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1115.65/1116.05 c 1066s| 2050k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1217k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1121.24/1121.61 c 1071s| 2060k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6286 | 0 | 0 | 0 |1223k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1126.94/1127.39 c 1077s| 2070k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1229k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1132.65/1133.02 c 1082s| 2080k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1235k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1138.64/1139.09 c 1088s| 2090k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 |1241k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1144.24/1144.61 c 1093s| 2100k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6292 | 0 | 0 | 0 |1247k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1150.24/1150.63 c 1099s| 2110k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6293 | 0 | 0 | 0 |1253k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1155.84/1156.21 c 1104s| 2120k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6296 | 0 | 0 | 0 |1259k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1161.54/1161.92 c 1110s| 2130k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6296 | 0 | 0 | 0 |1265k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1167.44/1167.82 c 1115s| 2140k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6305 | 0 | 0 | 0 |1271k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1173.33/1173.71 c 1121s| 2150k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6297 | 0 | 0 | 0 |1277k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1179.13/1179.56 c 1127s| 2160k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6306 | 0 | 0 | 0 |1283k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1184.92/1185.40 c 1132s| 2170k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6307 | 0 | 0 | 0 |1289k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1190.72/1191.16 c 1138s| 2180k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6299 | 0 | 0 | 0 |1295k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1195.92/1196.35 c 1143s| 2190k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1301k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1201.42/1201.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1201.42/1201.89 c 1148s| 2200k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1307k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1206.92/1207.30 c 1153s| 2210k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1313k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1212.31/1212.75 c 1158s| 2220k| 1631 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 |1318k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1218.12/1218.55 c 1164s| 2230k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1325k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1223.51/1223.90 c 1169s| 2240k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6298 | 0 | 0 | 0 |1330k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1228.81/1229.26 c 1174s| 2250k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 |1336k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1234.31/1234.78 c 1179s| 2260k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1341k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1240.01/1240.47 c 1185s| 2270k| 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1347k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1245.41/1245.87 c 1190s| 2280k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6290 | 0 | 0 | 0 |1353k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1251.11/1251.50 c 1195s| 2290k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 |1359k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1256.21/1256.67 c 1200s| 2300k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1364k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1261.60/1262.01 c 1205s| 2310k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 |1370k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1267.29/1267.75 c 1211s| 2320k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1376k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1272.80/1273.23 c 1216s| 2330k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6282 | 0 | 0 | 0 |1383k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1278.20/1278.66 c 1221s| 2340k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6305 | 0 | 0 | 0 |1388k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1283.59/1284.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.59/1284.04 c 1226s| 2350k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1394k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1288.89/1289.35 c 1232s| 2360k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1399k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1294.30/1294.72 c 1237s| 2370k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1405k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1299.70/1300.16 c 1242s| 2380k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6276 | 0 | 0 | 0 |1411k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1304.89/1305.37 c 1247s| 2390k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6291 | 0 | 0 | 0 |1417k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1310.28/1310.73 c 1252s| 2400k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1422k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1315.88/1316.34 c 1257s| 2410k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 |1428k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1321.58/1322.09 c 1263s| 2420k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1434k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1327.09/1327.56 c 1268s| 2430k| 1616 | 0 | 0.0 | 15M|1681 | - |1960 |6293 | 0 | 0 | 0 |1440k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1332.69/1333.12 c 1273s| 2440k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1446k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1338.38/1338.86 c 1279s| 2450k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1452k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1344.27/1344.76 c 1284s| 2460k| 1617 | 0 | 0.0 | 15M|1681 | - |1960 |6288 | 0 | 0 | 0 |1458k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1350.18/1350.63 c 1290s| 2470k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6290 | 0 | 0 | 0 |1464k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1355.88/1356.33 c 1296s| 2480k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6308 | 0 | 0 | 0 |1470k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1361.68/1362.10 c 1301s| 2490k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6289 | 0 | 0 | 0 |1476k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1367.17/1367.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1367.17/1367.67 c 1306s| 2500k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6267 | 0 | 0 | 0 |1482k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1372.77/1373.22 c 1312s| 2510k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 |1488k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1378.37/1378.83 c 1317s| 2520k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1493k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1383.87/1384.34 c 1322s| 2530k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1499k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1389.46/1389.95 c 1328s| 2540k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1505k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1394.86/1395.32 c 1333s| 2550k| 1635 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1511k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1400.56/1401.05 c 1338s| 2560k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1517k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1406.46/1406.92 c 1344s| 2570k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6817 | 0 | 0 | 0 |1524k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1412.46/1412.94 c 1350s| 2580k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6306 | 0 | 0 | 0 |1531k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1417.86/1418.34 c 1355s| 2590k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6330 | 0 | 0 | 0 |1537k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1423.75/1424.24 c 1360s| 2600k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6456 | 0 | 0 | 0 |1543k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1429.35/1429.89 c 1366s| 2610k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 |1550k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1434.85/1435.39 c 1371s| 2620k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6300 | 0 | 0 | 0 |1555k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1440.85/1441.30 c 1377s| 2630k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6297 | 0 | 0 | 0 |1562k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1446.65/1447.10 c 1382s| 2640k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6259 | 0 | 0 | 0 |1567k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1452.25/1452.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1452.25/1452.73 c 1388s| 2650k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 |1573k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1457.85/1458.35 c 1393s| 2660k| 1619 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1579k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1463.85/1464.33 c 1399s| 2670k| 1620 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1585k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1469.24/1469.73 c 1404s| 2680k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1591k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1474.74/1475.29 c 1409s| 2690k| 1618 | 0 | 0.0 | 15M|1681 | - |1960 |6306 | 0 | 0 | 0 |1597k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1480.64/1481.10 c 1415s| 2700k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1603k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1486.14/1486.67 c 1420s| 2710k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6261 | 0 | 0 | 0 |1609k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1491.73/1492.29 c 1426s| 2720k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1614k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1497.54/1498.00 c 1431s| 2730k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6283 | 0 | 0 | 0 |1620k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1503.14/1503.61 c 1436s| 2740k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1626k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1508.64/1509.15 c 1442s| 2750k| 1624 | 0 | 0.0 | 15M|1681 | - |1960 |6287 | 0 | 0 | 0 |1632k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1514.23/1514.78 c 1447s| 2760k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 |1637k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1519.92/1520.47 c 1452s| 2770k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6277 | 0 | 0 | 0 |1643k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1525.62/1526.10 c 1458s| 2780k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6281 | 0 | 0 | 0 |1649k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1531.01/1531.60 c 1463s| 2790k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1654k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1536.81/1537.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.81/1537.36 c 1469s| 2800k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6271 | 0 | 0 | 0 |1660k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1542.61/1543.18 c 1474s| 2810k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 |1666k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1548.22/1548.71 c 1479s| 2820k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6263 | 0 | 0 | 0 |1672k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1553.50/1554.03 c 1484s| 2830k| 1618 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1678k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1558.80/1559.36 c 1490s| 2840k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 |1687k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1564.30/1564.85 c 1495s| 2850k| 1629 | 0 | 0.0 | 16M|1681 | - |1960 |8475 | 0 | 0 | 0 |1697k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1569.90/1570.42 c 1500s| 2860k| 1632 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1706k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1575.60/1576.11 c 1506s| 2870k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 |1712k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1581.31/1581.88 c 1511s| 2880k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1718k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1586.80/1587.37 c 1516s| 2890k| 1630 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1724k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1592.40/1592.93 c 1522s| 2900k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1730k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1597.70/1598.30 c 1527s| 2910k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 |1736k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1603.20/1603.76 c 1532s| 2920k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1742k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1608.80/1609.38 c 1537s| 2930k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1748k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1614.29/1614.85 c 1543s| 2940k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1754k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1619.79/1620.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1619.79/1620.34 c 1548s| 2950k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1760k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1625.38/1625.91 c 1553s| 2960k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6260 | 0 | 0 | 0 |1766k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1630.69/1631.28 c 1558s| 2970k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6267 | 0 | 0 | 0 |1772k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1635.98/1636.59 c 1563s| 2980k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1777k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1641.88/1642.44 c 1569s| 2990k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1783k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1647.28/1647.87 c 1574s| 3000k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 |1789k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1653.08/1653.64 c 1580s| 3010k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1795k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1658.68/1659.29 c 1585s| 3020k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1801k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1664.37/1664.96 c 1591s| 3030k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6275 | 0 | 0 | 0 |1807k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1669.67/1670.27 c 1596s| 3040k| 1633 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 |1813k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1675.47/1676.09 c 1601s| 3050k| 1618 | 0 | 0.0 | 15M|1681 | - |1960 |6270 | 0 | 0 | 0 |1819k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1681.07/1681.66 c 1607s| 3060k| 1616 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1825k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1686.88/1687.42 c 1612s| 3070k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6268 | 0 | 0 | 0 |1831k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1692.76/1693.35 c 1618s| 3080k| 1621 | 0 | 0.0 | 15M|1681 | - |1960 |6266 | 0 | 0 | 0 |1837k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1698.36/1698.97 c 1623s| 3090k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6273 | 0 | 0 | 0 |1843k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1704.27/1704.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.27/1704.82 c 1629s| 3100k| 1627 | 0 | 0.0 | 15M|1681 | - |1960 |6433 | 0 | 0 | 0 |1849k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1709.87/1710.48 c 1634s| 3110k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1855k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1715.47/1716.01 c 1640s| 3120k| 1618 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1860k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1721.06/1721.63 c 1645s| 3130k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1866k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1726.76/1727.35 c 1650s| 3140k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6284 | 0 | 0 | 0 |1872k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1732.45/1733.07 c 1656s| 3150k| 1629 | 0 | 0.0 | 15M|1681 | - |1960 |6304 | 0 | 0 | 0 |1878k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1738.15/1738.73 c 1661s| 3160k| 1622 | 0 | 0.0 | 15M|1681 | - |1960 |6274 | 0 | 0 | 0 |1883k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1744.06/1744.63 c 1667s| 3170k| 1628 | 0 | 0.0 | 15M|1681 | - |1960 |6279 | 0 | 0 | 0 |1889k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1749.65/1750.25 c 1672s| 3180k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6280 | 0 | 0 | 0 |1895k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1755.35/1755.91 c 1678s| 3190k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1901k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1761.15/1761.71 c 1683s| 3200k| 1619 | 0 | 0.0 | 15M|1681 | - |1960 |6285 | 0 | 0 | 0 |1907k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1766.84/1767.40 c 1689s| 3210k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6278 | 0 | 0 | 0 |1913k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1772.44/1773.02 c 1694s| 3220k| 1626 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1919k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1778.05/1778.65 c 1699s| 3230k| 1619 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1925k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1783.74/1784.30 c 1705s| 3240k| 1625 | 0 | 0.0 | 15M|1681 | - |1960 |6272 | 0 | 0 | 0 |1931k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1789.24/1789.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.24/1789.89 c 1710s| 3250k| 1618 | 0 | 0.0 | 15M|1681 | - |1960 |6295 | 0 | 0 | 0 |1937k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1794.94/1795.54 c 1716s| 3260k| 1623 | 0 | 0.0 | 15M|1681 | - |1960 |6269 | 0 | 0 | 0 |1943k| 0 | 2.000000e+00 | 3.000000e+01 |1400.00%
1800.04/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.61 c
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time (sec) : 1720.46
1800.04/1800.61 c Solving Nodes : 3269023
1800.04/1800.61 c Primal Bound : +3.00000000000000e+01 (5 solutions)
1800.04/1800.61 c Dual Bound : +2.00000000000000e+00
1800.04/1800.61 c Gap : 1400.00 %
1800.04/1800.63 s SATISFIABLE
1800.04/1800.63 v x170 x169 x3972 x168 x3970 -x3968 -x167 -x3966 -x166 -x3964 -x3962 -x3960 -x165 -x3958 x3956 -x3954 -x3952 -x3950 -x3948 -x3946
1800.04/1800.63 v -x3944 -x3942 -x164 -x3940 x3938 -x3936 x3934 -x3932 -x3930 -x163 -x3928 -x3926 -x3924 x3922 -x3920 -x3918 -x3916 -x3914 -x3912
1800.04/1800.63 v -x3910 -x162 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x161 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884 -x3882 -x160
1800.04/1800.63 v -x3880 x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x159 -x3852 -x3850 -x3848
1800.04/1800.63 v -x158 -x3846 -x3844 -x3842 -x157 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x156 -x3826 -x3824 -x3822 -x155 -x3820 -x3818
1800.04/1800.63 v -x3816 -x3814 -x3812 -x3810 -x3808 -x154 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x153 -x3792 -x3790 x3788 -x3786
1800.04/1800.63 v -x3784 -x3782 -x3780 -x3778 -x3775 -x152 -x3773 -x3771 -x3769 -x3767 -x3765 -x3763 -x3761 -x151 -x3759 -x3757 -x3755 -x3753
1800.04/1800.63 v -x3751 -x3749 -x3747 -x150 -x3745 -x149 -x3743 -x3741 -x3739 -x148 -x3737 -x3735 -x3733 -x147 -x3731 -x3729 -x3727 -x3725 -x3723
1800.04/1800.63 v -x3721 -x3719 -x146 -x3717 -x3715 -x145 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x3701 -x144 -x3699 -x3697 -x3695 -x3693
1800.04/1800.63 v -x3691 -x3689 -x3687 -x143 -x3685 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659
1800.04/1800.63 v -x3657 -x142 -x3655 -x3653 -x3651 -x141 -x3649 -x3647 -x3645 -x3643 -x3641 -x3639 -x3637 -x140 -x3635 -x3633 -x3631 -x3629
1800.04/1800.63 v -x3626 x139 -x3624 -x3622 -x3620 -x138 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x137 -x3604 -x3602 -x3600 -x3598 -x3596
1800.04/1800.63 v -x3594 -x3592 -x136 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562
1800.04/1800.63 v -x135 -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x134 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530
1800.04/1800.63 v -x3528 -x3526 -x3524 -x3522 -x3520 -x3518 -x133 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x132 -x3502 -x3500 -x3498
1800.04/1800.63 v -x3496 -x3494 -x3492 -x3490 -x3488 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x131 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463
1800.04/1800.63 v -x3461 -x3459 -x3457 -x3455 -x3453 -x3451 -x3449 -x3447 -x130 -x3444 x129 x3442 -x3440 -x3438 -x128 -x3436 x3434 -x3432 x127
1800.04/1800.63 v -x3430 -x3428 -x3426 -x3424 -x3422 -x3420 -x3418 -x126 -x3416 -x3414 x3412 x125 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400
1800.04/1800.63 v -x3398 -x124 -x3396 -x3394 -x3392 -x123 -x3390 -x3388 -x3386 -x3384 -x3382 -x3380 -x3378 -x122 -x3376 -x3374 -x3372 -x3370 -x3368
1800.04/1800.63 v -x3366 -x3364 -x121 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x120 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335
1800.04/1800.63 v -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x3321 -x3318 x3316 x119 -x3314 -x3312 -x3310 -x3308 -x3306 -x3304 -x3302 -x118
1800.04/1800.63 v -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x117 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276 -x3274 -x3272 -x3270 -x3268
1800.04/1800.63 v -x3266 -x3264 -x3262 -x3260 -x3258 -x116 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x115 -x3242 -x3240 -x3238 -x3236
1800.04/1800.63 v -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x114 -x3212 -x3210 -x3208 -x3206 -x3204 -x3202
1800.04/1800.63 v -x3200 -x113 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170 -x112
1800.04/1800.63 v -x3168 -x3166 -x3164 -x111 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x110 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136
1800.04/1800.63 v -x109 -x3134 -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x108 -x3104
1800.04/1800.63 v -x3102 -x3100 -x3098 -x3096 -x3094 -x3092 -x107 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070
1800.04/1800.63 v -x3068 -x3066 -x3064 -x3062 -x106 -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x105 -x3046 -x3044 -x3042 -x3040 -x3037
1800.04/1800.63 v -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x104 -x3017 -x3015 -x3013 -x3011 -x3009 -x3007 -x3005 -x103
1800.04/1800.63 v -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977 -x2975 -x102 -x2973 -x2971
1800.04/1800.63 v -x2969 -x2967 -x2965 -x2963 -x2961 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x101 -x2943 -x2941 -x2939 -x2937
1800.04/1800.63 v -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 -x2915 -x2913 -x2911 -x2909 -x2907 x2905 -x2903 -x2901
1800.04/1800.63 v -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x2883 -x2881 x2879 -x2877 -x2875 -x2873 -x2871 -x2869 -x2867 -x2865
1800.04/1800.63 v -x2863 -x2861 -x2859 -x2857 -x2855 -x2853 x100 x2851 x2849 -x2847 x99 -x2845 -x2843 -x2841 -x98 -x2839 -x2837 -x2835 -x2833
1800.04/1800.63 v -x2831 -x2829 -x2827 -x97 -x2825 -x2823 -x2821 -x96 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x95 -x2805 -x2803 -x94
1800.04/1800.63 v -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x93 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x92 -x2773 x2771 -x2769
1800.04/1800.63 v x91 -x2767 -x2765 -x2763 -x2761 -x2759 -x2757 -x2755 -x90 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x89 -x2739 -x2737
1800.04/1800.63 v -x2735 -x2733 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x88 -x2709 -x2707 -x2705 -x2703
1800.04/1800.63 v -x2701 -x2699 -x2697 -x87 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x2669
1800.04/1800.63 v -x2667 -x86 -x2665 -x2663 -x2661 -x85 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x84 -x2645 -x2643 -x2641 -x2639 -x2637
1800.04/1800.63 v -x2635 -x2633 -x83 -x2631 -x2629 -x2627 -x2625 -x2623 -x2621 -x2619 -x82 -x2617 -x2615 -x2613 -x2611 -x2609 -x2607 -x2605
1800.04/1800.63 v -x2603 -x2601 -x2599 -x2597 -x2595 -x2593 -x2591 -x2589 -x81 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x80 -x2573
1800.04/1800.63 v -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559 -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x79 -x2543 -x2541 -x2539 -x2537
1800.04/1800.63 v -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523 -x2521 -x2519 -x78 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x77
1800.04/1800.63 v -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489 -x2487 -x2485 -x2483 -x2481 -x2479 -x2477 -x2475 -x76 -x2473 -x2471
1800.04/1800.63 v -x2469 -x2467 -x2465 -x2463 -x2461 -x2459 -x2457 -x2455 -x2453 -x2451 -x2449 -x2447 -x2445 -x75 -x2443 -x2441 -x2439 -x2437
1800.04/1800.63 v -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421 -x2419 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 x2403 -x2401
1800.04/1800.63 v -x2399 -x2397 -x2395 -x2393 -x2391 -x2389 -x2387 -x2385 -x2383 -x2381 -x2379 -x2377 -x74 -x2375 -x2373 -x2371 -x2369 -x2367
1800.04/1800.63 v -x2365 -x2363 -x73 -x2361 -x2359 -x2357 -x2355 -x2353 -x2351 -x2349 -x72 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x71
1800.04/1800.63 v -x2333 -x2331 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319 -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x70 -x2303 -x2301
1800.04/1800.63 v -x2299 -x2297 -x2295 -x2293 -x2291 -x69 -x2289 -x2287 -x2285 -x2283 -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x2267
1800.04/1800.63 v -x2265 -x2263 -x2261 -x68 -x2259 -x2257 -x2255 -x2253 -x2251 -x2249 -x2247 -x67 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233
1800.04/1800.63 v -x2231 -x2229 -x2227 -x2225 -x2223 -x2221 -x2219 -x2217 -x66 -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199
1800.04/1800.63 v -x2197 -x2195 -x2193 -x2191 -x2189 -x2187 -x65 -x2185 -x2183 -x2181 -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165
1800.04/1800.63 v -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147 -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x2131 -x2129
1800.04/1800.63 v -x2127 -x2125 -x64 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111 -x63 -x2109 -x2107 -x2105 -x2103 -x2101 -x2099 -x2097
1800.04/1800.63 v -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x62 -x2079 -x2077 -x2075 -x2073 -x2071 -x2069 -x2067 x2065 -x2063 -x2061
1800.04/1800.63 v -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025
1800.04/1800.63 v -x2023 -x2021 -x61 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007 -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991
1800.04/1800.63 v -x1989 -x1987 x1985 -x1983 -x1981 -x1979 -x1977 -x1975 -x1973 -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955
1800.04/1800.63 v -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937 -x1935 -x1933 -x1931 -x1929 -x60 -x1927 -x1925 -x1923 -x1921
1800.04/1800.63 v -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901 -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885
1800.04/1800.63 v -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 -x1869 -x1867 -x59 -x1865 x58 x1863 -x1861 -x1859 -x57 -x1857 -x1855 -x1853
1800.04/1800.63 v -x56 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x55 -x1837 -x1835 -x1833 -x54 -x1831 -x1829 -x1827 -x1825 -x1823
1800.04/1800.63 v -x1821 -x1819 -x53 -x1817 -x1815 -x1813 -x1811 -x1809 -x1807 -x1805 -x52 -x1803 -x1801 -x1799 -x1797 -x1795 -x1793 -x1791 -x1789
1800.04/1800.63 v -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x1775 -x51 -x1773 -x1771 -x1769 -x50 -x1767 -x1765 -x1763 -x1761 -x1759 -x1757
1800.04/1800.63 v -x1755 -x49 -x1753 -x1751 -x1749 -x48 -x1747 -x1745 -x1743 -x1741 -x1739 -x1737 -x1735 -x47 -x1733 -x1731 -x1729 -x1727 -x1725
1800.04/1800.63 v -x1723 -x1721 -x46 -x1719 -x1717 -x1715 -x1713 -x1711 -x1709 -x1707 -x45 -x1705 -x1703 -x1701 -x1699 -x1697 -x1695 -x1693
1800.04/1800.63 v -x1691 -x1689 -x1687 -x1685 -x1683 -x1681 -x1679 -x1677 -x44 -x1675 -x1673 -x1671 -x43 -x1669 -x1667 -x1665 -x1663 -x1661 -x1659
1800.04/1800.63 v -x1657 -x42 -x1655 -x1653 -x1651 -x1649 -x1647 -x1645 -x1643 -x41 -x1641 -x1639 -x1637 -x1635 -x1633 -x1631 -x1629 -x1627
1800.04/1800.63 v -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x40 -x1611 -x1609 -x1607 -x1605 -x1603 -x1601 -x39 -x1599 -x1597 -x1595 -x1593
1800.04/1800.63 v -x1591 -x1589 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x38 -x1569 -x1567 -x1565 -x1563 -x1561 -x1559
1800.04/1800.63 v -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 x1539 -x1537 -x1535 -x1533 -x1531 -x1529 -x1527 x1525 -x1523
1800.04/1800.63 v -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499 -x1497 -x1495 -x1493 -x1491 -x1489 -x1487
1800.04/1800.63 v -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x1465 -x37 -x1463 -x1461 -x1459 -x1457 -x1455 -x1453
1800.04/1800.63 v -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x36 -x1433 -x1431 -x1429 -x1427 -x1425 -x1423 -x1421 -x35
1800.04/1800.63 v -x1419 -x1417 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 x1401 -x1399 -x1397 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385
1800.04/1800.63 v -x34 -x1383 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x33 -x1369 -x1367 -x1365 -x1363 -x1361 -x1359 -x1357 -x32 -x1355 -x1353
1800.04/1800.63 v -x1351 -x1349 -x1347 -x1345 -x1343 -x31 -x1341 -x1339 -x1337 -x1335 -x1333 -x1331 -x1329 -x1327 -x1325 -x1323 -x1321 -x1319
1800.04/1800.63 v -x1317 -x1315 -x1313 -x30 -x1311 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299 -x29 -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285
1800.04/1800.63 v -x1283 -x1281 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x28 -x1267 -x1265 -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251
1800.04/1800.63 v -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x27 -x1237 -x1235 -x1233 -x1231 -x1229 -x1227 -x1225 -x1223 -x1221 -x1219 -x1217
1800.04/1800.63 v -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197 -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181
1800.04/1800.63 v -x1179 -x1177 -x26 -x1175 -x1173 -x1171 -x1169 -x1167 -x1165 -x1163 -x25 -x1161 -x1159 -x1157 -x1155 -x1153 -x1151 -x1149
1800.04/1800.63 v -x1147 -x1145 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x24 -x1131 -x1129 -x1127 -x23 -x1125 -x1123 -x1121 -x1119 -x1117 -x1115
1800.04/1800.63 v -x1113 -x22 -x1111 -x1109 -x1107 -x1105 -x1103 -x1101 -x1099 -x21 -x1097 -x1095 -x1093 -x1091 -x1089 -x1087 -x1085 -x20
1800.04/1800.63 v -x1083 -x1081 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061 -x1059 -x1057 -x1055 -x19 -x1053 -x1051 -x1049
1800.04/1800.63 v -x1047 -x1045 -x1043 -x1041 -x18 -x1039 -x1037 -x1035 -x1033 -x1031 -x1029 -x1027 -x1025 -x1023 -x1021 -x1019 -x1017 -x1015
1800.04/1800.63 v -x1013 -x1011 -x17 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x16 -x995 -x993 -x991 -x989 -x987 -x985 -x983 -x981 -x979
1800.04/1800.63 v -x977 -x975 -x973 -x971 -x969 -x967 -x15 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951 -x949 -x947 -x945 -x943 -x941 -x939
1800.04/1800.63 v -x937 -x14 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x913 -x911 -x909 -x907 -x905 -x903 -x901 -x899
1800.04/1800.63 v -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x13 -x873 -x871 -x869 -x867 -x865 -x863 -x861 -x12
1800.04/1800.63 v -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 x841 -x839 -x837 -x835 -x833 -x831 -x829 -x827 -x825 -x823 -x821 -x819
1800.04/1800.63 v -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x11 -x799 -x797 -x795 -x793 -x791 -x789 -x787 -x785 -x783 -x781 -x779
1800.04/1800.63 v -x777 -x775 -x772 -x10 -x770 -x768 -x766 -x764 -x762 -x760 -x757 -x755 -x753 -x751 -x749 -x747 -x745 -x743 -x741 -x739 -x737
1800.04/1800.63 v -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711 -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x9
1800.04/1800.63 v -x695 -x693 -x691 -x689 -x687 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671 -x669 -x667 -x8 -x665 -x663 -x661 -x659 -x657
1800.04/1800.63 v -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x7 -x635 -x633 -x631 -x629 -x627 -x625 -x623 -x621 -x619 -x617
1800.04/1800.63 v -x615 -x613 -x611 -x609 -x607 -x6 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589 -x587 -x585 -x583 -x581 -x579 -x577
1800.04/1800.63 v -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 -x549 -x547 -x545 -x5 -x543 -x541 -x539 -x537 -x535
1800.04/1800.63 v -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x4 -x513 -x511 -x509 -x507 -x505 -x503 -x501 -x499 -x497 -x495
1800.04/1800.63 v -x493 -x491 -x489 -x487 -x485 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465 -x463 -x461 -x459 -x457 -x455 -x453
1800.04/1800.63 v -x3 -x451 -x449 -x447 -x445 -x443 -x441 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425 -x423 -x421 -x419 -x417 -x415 -x413
1800.04/1800.63 v -x411 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x2 -x389 -x387 -x385 -x383 -x381 -x379 -x377 -x375 -x373
1800.04/1800.63 v -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x349 -x347 -x345 -x343 -x341 -x339 -x337 -x335 -x333 -x331
1800.04/1800.63 v -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303 -x301 x299 -x297 -x295 -x293 -x291 -x289
1800.04/1800.63 v -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263 -x261 -x259 -x257 -x255 -x253 -x251 -x249 -x247
1800.04/1800.63 v -x245 -x243 -x241 -x239 -x237 -x235 -x1 -x233 -x231 -x229 -x227 -x225 -x223 -x221 -x219 -x217 -x215 -x213 -x211 -x209 -x207
1800.04/1800.63 v -x205 -x203 -x201 x199 -x197 -x195 -x193 -x191 -x189 -x187 -x185 -x183 -x181 -x179 -x177 -x175 -x173 -x171 x3973 x3971 -x3969
1800.04/1800.63 v -x3967 -x3965 -x3963 -x3961 -x3959 x3957 -x3955 -x3953 -x3951 -x3949 -x3947 -x3945 -x3943 -x3941 x3939 -x3937 x3935 -x3933
1800.04/1800.63 v -x3931 -x3929 -x3927 -x3925 x3923 -x3921 -x3919 -x3917 -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x3897
1800.04/1800.63 v -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883 -x3881 x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861
1800.04/1800.63 v -x3859 -x3857 -x3855 -x3853 -x3851 -x3849 -x3847 -x3845 -x3843 -x3841 -x3839 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825
1800.04/1800.63 v -x3823 -x3821 -x3819 -x3817 -x3815 -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x3793 -x3791 x3789
1800.04/1800.63 v -x3787 -x3785 -x3783 -x3781 -x3779 -x3777 -x3776 -x3774 -x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754
1800.04/1800.63 v -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740 -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718
1800.04/1800.63 v -x3716 -x3714 -x3712 -x3710 -x3708 -x3706 -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684
1800.04/1800.63 v -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670 -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648
1800.04/1800.63 v -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634 -x3632 -x3630 x3628 -x3627 -x3625 -x3623 -x3621 -x3619 -x3617 -x3615 -x3613
1800.04/1800.63 v -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x3595 -x3593 -x3591 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577
1800.04/1800.63 v -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x3561 -x3559 -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541
1800.04/1800.63 v -x3539 -x3537 -x3535 -x3533 -x3531 -x3529 -x3527 -x3525 -x3523 -x3521 -x3519 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505
1800.04/1800.63 v -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491 -x3489 -x3487 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470
1800.04/1800.63 v -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456 -x3454 -x3452 -x3450 -x3448 -x3446 -x3445 x3443 -x3441 -x3439 -x3437 x3435
1800.04/1800.63 v -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421 -x3419 -x3417 -x3415 x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399
1800.04/1800.63 v -x3397 -x3395 -x3393 -x3391 -x3389 -x3387 -x3385 -x3383 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363
1800.04/1800.63 v -x3361 -x3359 -x3357 -x3355 -x3353 -x3351 -x3350 -x3348 -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328
1800.04/1800.63 v -x3326 -x3324 -x3322 x3320 -x3319 x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293
1800.04/1800.63 v -x3291 -x3289 -x3287 -x3285 -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x3259 -x3257
1800.04/1800.63 v -x3255 -x3253 -x3251 -x3249 -x3247 -x3245 -x3243 -x3241 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x3225 -x3223
1800.04/1800.63 v -x3221 -x3219 -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x3195 -x3193 -x3191 -x3189 -x3187
1800.04/1800.63 v -x3185 -x3183 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 -x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151
1800.04/1800.63 v -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x3121 -x3119 -x3117 -x3115
1800.04/1800.63 v -x3113 -x3111 -x3109 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081 -x3079
1800.04/1800.63 v -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x3051 -x3049 -x3047 -x3045 -x3043
1800.04/1800.63 v -x3041 -x3039 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026 -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 -x3010 -x3008
1800.04/1800.63 v -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990 -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974
1800.04/1800.63 v -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954 -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938
1800.04/1800.63 v -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918 -x2916 -x2914 -x2912 -x2910 -x2908 x2906 -x2904 -x2902
1800.04/1800.63 v -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882 x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866
1800.04/1800.63 v -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 x2852 x2850 -x2848 -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830
1800.04/1800.63 v -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812 -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794
1800.04/1800.63 v -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776 -x2774 x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758
1800.04/1800.63 v -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740 -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722
1800.04/1800.63 v -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704 -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686
1800.04/1800.63 v -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668 -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650
1800.04/1800.63 v -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632 -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614
1800.04/1800.63 v -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598 -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578
1800.04/1800.63 v -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562 -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544
1800.04/1800.63 v -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526 -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508
1800.04/1800.63 v -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490 -x2488 -x2486 -x2484 -x2482 -x2480 -x2478 -x2476 -x2474 -x2472
1800.04/1800.63 v -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454 -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436
1800.04/1800.63 v -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418 -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 x2404 -x2402 -x2400
1800.04/1800.63 v -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382 -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364
1800.04/1800.63 v -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346 -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328
1800.04/1800.63 v -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310 -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292
1800.04/1800.63 v -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276 -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258
1800.04/1800.63 v -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240 -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222
1800.04/1800.63 v -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204 -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186
1800.04/1800.63 v -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168 -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150
1800.04/1800.63 v -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132 -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114
1800.04/1800.63 v -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096 -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078
1800.04/1800.63 v -x2076 -x2074 -x2072 -x2070 -x2068 x2066 -x2064 -x2062 -x2060 -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042
1800.04/1800.63 v -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026 -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006
1800.04/1800.63 v -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990 -x1988 x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970
1800.04/1800.63 v -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954 -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936
1800.04/1800.63 v -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918 -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900
1800.04/1800.63 v -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882 -x1880 -x1878 -x1876 -x1874 -x1872 -x1870 -x1868 -x1866 x1864
1800.04/1800.63 v -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846 -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828
1800.04/1800.63 v -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810 -x1808 -x1806 -x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792
1800.04/1800.63 v -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774 -x1772 -x1770 -x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756
1800.04/1800.63 v -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738 -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720
1800.04/1800.63 v -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702 -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684
1800.04/1800.63 v -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668 -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650
1800.04/1800.63 v -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632 -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614
1800.04/1800.63 v -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596 -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578
1800.04/1800.63 v -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560 -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542
1800.04/1800.63 v x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 x1526 -x1524 -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506
1800.04/1800.63 v -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488 -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470
1800.04/1800.63 v -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452 -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434
1800.04/1800.63 v -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418 -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 x1402 -x1400 -x1398
1800.04/1800.63 v -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382 -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362
1800.04/1800.63 v -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346 -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326
1800.04/1800.63 v -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310 -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292
1800.04/1800.63 v -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274 -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256
1800.04/1800.63 v -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238 -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220
1800.04/1800.63 v -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202 -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184
1800.04/1800.63 v -x1182 -x1180 -x1178 -x1176 -x1174 -x1172 -x1170 -x1168 -x1166 -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148
1800.04/1800.63 v -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132 -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112
1800.04/1800.63 v -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096 -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076
1800.04/1800.63 v -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060 -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042
1800.04/1800.63 v -x1040 -x1038 -x1036 -x1034 -x1032 -x1030 -x1028 -x1026 -x1024 -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006
1800.04/1800.63 v -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986 -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964
1800.04/1800.63 v -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944 -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924
1800.04/1800.63 v -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902 -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882
1800.04/1800.63 v -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862 -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 x842 -x840
1800.04/1800.63 v -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820 -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798
1800.04/1800.63 v -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778 -x776 -x774 -x773 -x771 -x769 -x767 -x765 -x763 -x761 x759 -x758
1800.04/1800.63 v -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736 -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716
1800.04/1800.63 v -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694 -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674
1800.04/1800.63 v -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652 -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632
1800.04/1800.63 v -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612 -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592
1800.04/1800.63 v -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570 -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 -x550
1800.04/1800.63 v -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528 -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508
1800.04/1800.63 v -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486 -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466
1800.04/1800.63 v -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444 -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424
1800.04/1800.63 v -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402 -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382
1800.04/1800.63 v -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360 -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342
1800.04/1800.63 v -x340 -x338 -x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318 -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 x300
1800.04/1800.63 v -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278 -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258
1800.04/1800.63 v -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236 -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216
1800.04/1800.63 v -x214 -x212 -x210 -x208 -x206 -x204 -x202 x200 -x198 -x196 -x194 -x192 -x190 -x188 -x186 -x184 -x182 -x180 -x178 -x176 -x174
1800.04/1800.63 v -x172
1800.04/1800.63 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.63 c Solving Time : 1720.46
1800.04/1800.63 c Original Problem :
1800.04/1800.63 c Problem name : HOME/instance-2663935-1276634152.opb
1800.04/1800.63 c Variables : 3973 (3973 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.63 c Constraints : 11097 initial, 11097 maximal
1800.04/1800.63 c Presolved Problem :
1800.04/1800.63 c Problem name : t_HOME/instance-2663935-1276634152.opb
1800.04/1800.63 c Variables : 1960 (1960 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.63 c Constraints : 6258 initial, 11719 maximal
1800.04/1800.63 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.63 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.63 c implics : 0.00 0 8 0 0 0 0 0 0
1800.04/1800.63 c probing : 0.04 0 0 0 0 0 0 0 0
1800.04/1800.63 c linear : 0.13 109 1896 0 109 0 4839 0 0
1800.04/1800.63 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.63 c root node : - 0 - - 0 - - - -
1800.04/1800.63 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.63 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.63 c logicor : 6258+ 0 8810364 0 5 1061538 15140847 0 0 0
1800.04/1800.63 c countsols : 0 0 0 0 5 0 0 0 0 0
1800.04/1800.63 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.63 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.63 c logicor : 401.16 0.00 401.16 0.00 0.00
1800.04/1800.63 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.63 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.63 c vbounds : 5.86 2 0 0
1800.04/1800.63 c rootredcost : 5.07 0 0 0
1800.04/1800.63 c pseudoobj : 992.19 12606353 830374 16136033
1800.04/1800.63 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.63 c propagation : 430.32 1891912 1891912 1891912 76.3 49924 41.9 -
1800.04/1800.63 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.63 c pseudo solution : 2.94 6363 6363 6363 70.4 200 50.5 -
1800.04/1800.63 c applied globally : - - - 1948399 75.4 - - -
1800.04/1800.63 c applied locally : - - - 0 0.0 - - -
1800.04/1800.63 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.63 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.63 c redcost : 0.00 0 0 0 0 0
1800.04/1800.63 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.63 c intobj : 0.00 0 0 0 0 0
1800.04/1800.63 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.63 c gomory : 0.00 0 0 0 0 0
1800.04/1800.63 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.63 c cmir : 0.00 0 0 0 0 0
1800.04/1800.63 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.63 c clique : 0.00 0 0 0 0 0
1800.04/1800.63 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.63 c mcf : 0.00 0 0 0 0 0
1800.04/1800.63 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.63 c Pricers : Time Calls Vars
1800.04/1800.63 c problem variables: 0.00 0 0
1800.04/1800.63 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.63 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.63 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.63 c inference : 52.07 2404552 0 0 0 0 4809104
1800.04/1800.63 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.63 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.63 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.63 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.63 c random : 0.00 0 0 0 0 0 0
1800.04/1800.63 c Primal Heuristics : Time Calls Found
1800.04/1800.63 c LP solutions : 0.00 - 0
1800.04/1800.63 c pseudo solutions : 0.00 - 5
1800.04/1800.63 c oneopt : 2.35 0 0
1800.04/1800.63 c trivial : 0.01 2 0
1800.04/1800.63 c simplerounding : 0.00 0 0
1800.04/1800.63 c zirounding : 0.00 0 0
1800.04/1800.63 c rounding : 0.00 0 0
1800.04/1800.63 c shifting : 0.00 0 0
1800.04/1800.63 c intshifting : 0.00 0 0
1800.04/1800.63 c twoopt : 0.00 0 0
1800.04/1800.63 c fixandinfer : 0.00 0 0
1800.04/1800.63 c feaspump : 0.00 0 0
1800.04/1800.63 c coefdiving : 0.00 0 0
1800.04/1800.63 c pscostdiving : 0.00 0 0
1800.04/1800.63 c fracdiving : 0.00 0 0
1800.04/1800.63 c veclendiving : 0.00 0 0
1800.04/1800.63 c intdiving : 0.00 0 0
1800.04/1800.63 c actconsdiving : 0.00 0 0
1800.04/1800.63 c objpscostdiving : 0.00 0 0
1800.04/1800.63 c rootsoldiving : 0.00 0 0
1800.04/1800.63 c linesearchdiving : 0.00 0 0
1800.04/1800.63 c guideddiving : 0.00 0 0
1800.04/1800.63 c octane : 0.00 0 0
1800.04/1800.63 c rens : 0.00 0 0
1800.04/1800.63 c rins : 0.00 0 0
1800.04/1800.63 c localbranching : 0.00 0 0
1800.04/1800.63 c mutation : 0.00 0 0
1800.04/1800.63 c crossover : 0.00 0 0
1800.04/1800.63 c dins : 0.00 0 0
1800.04/1800.63 c undercover : 0.00 0 0
1800.04/1800.63 c nlp : 1.36 0 0
1800.04/1800.63 c trysol : 1.37 0 0
1800.04/1800.63 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.63 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.63 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.63 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.63 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.63 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.63 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.63 c (at root node) : - 0 0 0.00 -
1800.04/1800.63 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.63 c B&B Tree :
1800.04/1800.63 c number of runs : 1
1800.04/1800.63 c nodes : 3269023
1800.04/1800.63 c nodes (total) : 3269023
1800.04/1800.63 c nodes left : 1623
1800.04/1800.63 c max depth : 1681
1800.04/1800.63 c max depth (total): 1681
1800.04/1800.63 c backtracks : 1171413 (35.8%)
1800.04/1800.63 c delayed cutoffs : 1418532
1800.04/1800.63 c repropagations : 2667874 (16081618 domain reductions, 1033809 cutoffs)
1800.04/1800.63 c avg switch length: 2.62
1800.04/1800.63 c switching time : 90.01
1800.04/1800.63 c Solution :
1800.04/1800.63 c Solutions found : 5 (5 improvements)
1800.04/1800.63 c First Solution : +3.40000000000000e+01 (in run 1, after 1678 nodes, 0.88 seconds, depth 1677, found by <relaxation>)
1800.04/1800.63 c Primal Bound : +3.00000000000000e+01 (in run 1, after 2946 nodes, 1.34 seconds, depth 1676, found by <relaxation>)
1800.04/1800.63 c Dual Bound : +2.00000000000000e+00
1800.04/1800.63 c Gap : 1400.00 %
1800.04/1800.63 c Root Dual Bound : +1.00000000000000e+00
1800.04/1800.63 c Root Iterations : 0
1800.04/1800.67 c Time complete: 1800.11.
OK 30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663935-1276634152/watcher-2663935-1276634152 -o /tmp/evaluation-result-2663935-1276634152/solver-2663935-1276634152 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663935-1276634152.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.05 1.01 3/105 11506 /proc/meminfo: memFree=1815992/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=6584 CPUtime=0 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 1056 0 0 0 0 0 0 0 25 0 1 0 4708771 6742016 978 1992294400 4194304 7136930 140737135173456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11506/statm: 1646 987 254 719 0 925 0 [startup+0.045881 s] /proc/loadavg: 1.00 1.05 1.01 3/105 11506 /proc/meminfo: memFree=1815992/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=12400 CPUtime=0.03 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 2590 0 0 0 3 0 0 0 25 0 1 0 4708771 12697600 2512 1992294400 4194304 7136930 140737135173456 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11506/statm: 3100 2512 271 719 0 2379 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12400 [startup+0.100887 s] /proc/loadavg: 1.00 1.05 1.01 3/105 11506 /proc/meminfo: memFree=1815992/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=13900 CPUtime=0.09 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 2963 0 0 0 9 0 0 0 25 0 1 0 4708771 14233600 2885 1992294400 4194304 7136930 140737135173456 18446744073709551615 5650579 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11506/statm: 3475 2885 271 719 0 2754 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13900 [startup+0.300908 s] /proc/loadavg: 1.00 1.05 1.01 3/105 11506 /proc/meminfo: memFree=1815992/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=32708 CPUtime=0.29 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 7784 0 0 0 26 3 0 0 25 0 1 0 4708771 33492992 7352 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 8177 7352 347 719 0 7456 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32708 [startup+0.700953 s] /proc/loadavg: 1.00 1.05 1.01 3/105 11506 /proc/meminfo: memFree=1815992/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=36636 CPUtime=0.69 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10378 0 0 0 63 6 0 0 25 0 1 0 4708771 37515264 8401 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507220 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9159 8401 384 719 0 8438 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36636 [startup+1.50104 s] /proc/loadavg: 1.00 1.05 1.01 2/106 11507 /proc/meminfo: memFree=1783620/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=37932 CPUtime=1.49 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10677 0 0 0 140 9 0 0 25 0 1 0 4708771 38842368 8700 1992294400 4194304 7136930 140737135173456 18446744073709551615 4652809 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9483 8700 390 719 0 8762 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37932 [startup+3.10122 s] /proc/loadavg: 1.00 1.05 1.01 2/106 11507 /proc/meminfo: memFree=1782008/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=38064 CPUtime=3.09 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10715 0 0 0 292 17 0 0 25 0 1 0 4708771 38977536 8738 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9516 8738 390 719 0 8795 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38064 [startup+6.30059 s] /proc/loadavg: 1.00 1.05 1.01 2/106 11507 /proc/meminfo: memFree=1781884/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=38332 CPUtime=6.29 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10778 0 0 0 596 33 0 0 25 0 1 0 4708771 39251968 8801 1992294400 4194304 7136930 140737135173456 18446744073709551615 4648625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9583 8801 390 719 0 8862 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38332 [startup+12.7013 s] /proc/loadavg: 1.00 1.05 1.01 2/106 11507 /proc/meminfo: memFree=1781636/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=38468 CPUtime=12.69 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10812 0 0 0 1203 66 0 0 25 0 1 0 4708771 39391232 8835 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9617 8835 390 719 0 8896 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38468 [startup+25.5008 s] /proc/loadavg: 1.00 1.05 1.01 2/106 11509 /proc/meminfo: memFree=1781388/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=38604 CPUtime=25.49 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10871 0 0 0 2419 130 0 0 25 0 1 0 4708771 39530496 8894 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507352 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9651 8894 390 719 0 8930 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 38604 [startup+51.1006 s] /proc/loadavg: 1.00 1.04 1.00 2/106 11509 /proc/meminfo: memFree=1781140/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=38876 CPUtime=51.08 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10915 0 0 0 4865 243 0 0 25 0 1 0 4708771 39809024 8938 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9719 8938 390 719 0 8998 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 38876 [startup+102.308 s] /proc/loadavg: 1.00 1.03 1.00 2/106 11511 /proc/meminfo: memFree=1780768/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39020 CPUtime=102.27 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 10964 0 0 0 9745 482 0 0 25 0 1 0 4708771 39956480 8987 1992294400 4194304 7136930 140737135173456 18446744073709551615 5908726 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9755 8987 390 719 0 9034 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 39020 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 11511 /proc/meminfo: memFree=1780396/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39436 CPUtime=162.25 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11050 0 0 0 15473 752 0 0 25 0 1 0 4708771 40382464 9073 1992294400 4194304 7136930 140737135173456 18446744073709551615 4704576 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9859 9073 390 719 0 9138 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 39436 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 11513 /proc/meminfo: memFree=1780272/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39436 CPUtime=222.23 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11064 0 0 0 21202 1021 0 0 25 0 1 0 4708771 40382464 9087 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9859 9087 390 719 0 9138 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 39436 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 11515 /proc/meminfo: memFree=1780024/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39580 CPUtime=282.21 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11107 0 0 0 26927 1294 0 0 25 0 1 0 4708771 40529920 9130 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507212 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9895 9130 390 719 0 9174 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39580 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 11517 /proc/meminfo: memFree=1779652/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39720 CPUtime=342.19 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11148 0 0 0 32662 1557 0 0 25 0 1 0 4708771 40673280 9171 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9930 9171 390 719 0 9209 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 39720 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11519 /proc/meminfo: memFree=1779404/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39852 CPUtime=402.17 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11175 0 0 0 38380 1837 0 0 25 0 1 0 4708771 40808448 9198 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507163 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9963 9198 390 719 0 9242 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 39852 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11519 /proc/meminfo: memFree=1779280/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=39988 CPUtime=462.16 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11209 0 0 0 44115 2101 0 0 25 0 1 0 4708771 40947712 9232 1992294400 4194304 7136930 140737135173456 18446744073709551615 5919066 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 9997 9232 390 719 0 9276 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 39988 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11521 /proc/meminfo: memFree=1779032/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40120 CPUtime=522.13 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11236 0 0 0 49852 2361 0 0 25 0 1 0 4708771 41082880 9259 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10030 9259 390 719 0 9309 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 40120 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11523 /proc/meminfo: memFree=1778908/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40120 CPUtime=582.12 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11247 0 0 0 55585 2627 0 0 25 0 1 0 4708771 41082880 9270 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10030 9270 390 719 0 9309 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 40120 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11525 /proc/meminfo: memFree=1778784/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40252 CPUtime=642.11 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11274 0 0 0 61307 2904 0 0 25 0 1 0 4708771 41218048 9297 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10063 9297 390 719 0 9342 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 40252 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11529 /proc/meminfo: memFree=1778164/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40524 CPUtime=822.04 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11328 0 0 0 78525 3679 0 0 25 0 1 0 4708771 41496576 9351 1992294400 4194304 7136930 140737135173456 18446744073709551615 5921715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10131 9351 390 719 0 9410 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 40524 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11531 /proc/meminfo: memFree=1777916/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40524 CPUtime=882.02 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11329 0 0 0 84258 3944 0 0 25 0 1 0 4708771 41496576 9352 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10131 9352 390 719 0 9410 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 40524 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11533 /proc/meminfo: memFree=1777792/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40524 CPUtime=942 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11332 0 0 0 89997 4203 0 0 25 0 1 0 4708771 41496576 9355 1992294400 4194304 7136930 140737135173456 18446744073709551615 5925439 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10131 9355 390 719 0 9410 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 40524 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11535 /proc/meminfo: memFree=1777792/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40524 CPUtime=1001.98 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11350 0 0 0 95730 4468 0 0 25 0 1 0 4708771 41496576 9373 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10131 9373 390 719 0 9410 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 40524 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11535 /proc/meminfo: memFree=1777544/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40660 CPUtime=1061.96 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11354 0 0 0 101469 4727 0 0 25 0 1 0 4708771 41635840 9377 1992294400 4194304 7136930 140737135173456 18446744073709551615 4660874 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10165 9377 390 719 0 9444 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 40660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11537 /proc/meminfo: memFree=1777420/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40660 CPUtime=1121.95 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11363 0 0 0 107203 4992 0 0 25 0 1 0 4708771 41635840 9386 1992294400 4194304 7136930 140737135173456 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10165 9386 390 719 0 9444 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 40660 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11539 /proc/meminfo: memFree=1777296/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40660 CPUtime=1181.93 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11374 0 0 0 112944 5249 0 0 25 0 1 0 4708771 41635840 9397 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507387 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10165 9397 390 719 0 9444 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 40660 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11541 /proc/meminfo: memFree=1776924/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40660 CPUtime=1241.9 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11379 0 0 0 118671 5519 0 0 25 0 1 0 4708771 41635840 9402 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10165 9402 390 719 0 9444 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 40660 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11543 /proc/meminfo: memFree=1776800/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40660 CPUtime=1301.9 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11383 0 0 0 124404 5786 0 0 25 0 1 0 4708771 41635840 9406 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10165 9406 390 719 0 9444 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 40660 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11543 /proc/meminfo: memFree=1776676/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40792 CPUtime=1361.87 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11401 0 0 0 130141 6046 0 0 25 0 1 0 4708771 41771008 9424 1992294400 4194304 7136930 140737135173456 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10198 9424 390 719 0 9477 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 40792 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11545 /proc/meminfo: memFree=1776552/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40928 CPUtime=1421.87 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11422 0 0 0 135878 6309 0 0 25 0 1 0 4708771 41910272 9445 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10232 9445 390 719 0 9511 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 40928 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11547 /proc/meminfo: memFree=1776304/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40928 CPUtime=1481.84 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11432 0 0 0 141615 6569 0 0 25 0 1 0 4708771 41910272 9455 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10232 9455 390 719 0 9511 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 40928 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11558 /proc/meminfo: memFree=1775560/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=40928 CPUtime=1541.81 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 11439 0 0 0 147349 6832 0 0 25 0 1 0 4708771 41910272 9462 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10232 9462 390 719 0 9511 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 40928 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11560 /proc/meminfo: memFree=1772956/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=43968 CPUtime=1601.8 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 12188 0 0 0 153087 7093 0 0 25 0 1 0 4708771 45023232 10153 1992294400 4194304 7136930 140737135173456 18446744073709551615 5506998 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10992 10153 390 719 0 10271 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 43968 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11560 /proc/meminfo: memFree=1772956/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=43968 CPUtime=1661.77 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 12188 0 0 0 158826 7351 0 0 25 0 1 0 4708771 45023232 10153 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10992 10153 390 719 0 10271 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 43968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11562 /proc/meminfo: memFree=1772832/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=43968 CPUtime=1721.76 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 12188 0 0 0 164571 7605 0 0 25 0 1 0 4708771 45023232 10153 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10992 10153 390 719 0 10271 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 43968 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11564 /proc/meminfo: memFree=1772584/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=43968 CPUtime=1781.74 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 12188 0 0 0 170311 7863 0 0 25 0 1 0 4708771 45023232 10153 1992294400 4194304 7136930 140737135173456 18446744073709551615 4210629 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10992 10153 390 719 0 10271 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 43968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 11564 /proc/meminfo: memFree=1772584/2059040 swapFree=4192956/4192956 [pid=11506] ppid=11504 vsize=43968 CPUtime=1800.04 /proc/11506/stat : 11506 (pbscip.linux.x8) R 11504 11506 10844 0 -1 4202496 12188 0 0 0 172063 7941 0 0 25 0 1 0 4708771 45023232 10153 1992294400 4194304 7136930 140737135173456 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11506/statm: 10992 10153 390 719 0 10271 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 43968 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.68 CPU time (s): 1800.12 CPU user time (s): 1720.7 CPU system time (s): 79.4259 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 43968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1720.7 system time used= 79.4259 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12204 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= 6306 runsolver used 3.11453 second user time and 8.39672 second system time The end
Begin job on node088 at 2010-06-15 22:35:52 IDJOB=2663935 IDBENCH=24990 IDSOLVER=1167 FILE ID=node088/2663935-1276634152 PBS_JOBID= 11172357 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_008_area_delay.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-2663935-1276634152/watcher-2663935-1276634152 -o /tmp/evaluation-result-2663935-1276634152/solver-2663935-1276634152 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663935-1276634152.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6e9753dce198ef5ddba763a137b390c4 RANDOM SEED=1727184936 node088.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.217 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.217 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1816396 kB Buffers: 11108 kB Cached: 107300 kB SwapCached: 0 kB Active: 77156 kB Inactive: 101224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1816396 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3476 kB Writeback: 0 kB AnonPages: 59944 kB Mapped: 15524 kB Slab: 42568 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180896 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= 62560 MiB End job on node088 at 2010-06-15 23:05:55