Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 27 | 1800.16 | 1800.62 |
| Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_014_area_delay.opb |
| MD5SUM | 525408a019e1cf8f47f95fb4bdf20c0f |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 13.401 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 30 |
| Optimality of the best value was proved | NO |
| Number of variables | 5256 |
| Total number of constraints | 15614 |
| Number of constraints which are clauses | 15614 |
| 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 | 2531 |
| 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 | 2531 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 2531 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666804-1276636740.opb>
0.19/0.30 c original problem has 5256 variables (5256 bin, 0 int, 0 impl, 0 cont) and 15614 constraints
0.19/0.30 c problem read
0.19/0.30 c presolving settings loaded
0.29/0.39 c presolving:
0.49/0.54 c (round 1) 2762 del vars, 5284 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 28736 impls, 0 clqs
0.49/0.56 c (round 2) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 28736 impls, 0 clqs
0.59/0.68 c (round 3) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 9021 upgd conss, 28736 impls, 0 clqs
0.69/0.71 c (round 4) 2763 del vars, 6582 del conss, 222 chg bounds, 0 chg sides, 0 chg coeffs, 9032 upgd conss, 28736 impls, 0 clqs
0.79/0.81 c (0.4s) probing: 101/2493 (4.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.79/0.81 c presolving (5 rounds):
0.79/0.81 c 2763 deleted vars, 6582 deleted constraints, 222 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.81 c 28736 implications, 0 cliques
0.79/0.81 c presolved problem has 2493 variables (2493 bin, 0 int, 0 impl, 0 cont) and 9032 constraints
0.79/0.81 c 9032 constraints of type <logicor>
0.79/0.81 c transformed objective value is always integral (scale: 1)
0.79/0.81 c Presolving Time: 0.40
0.79/0.81 c - non default parameters ----------------------------------------------------------------------
0.79/0.81 c # SCIP version 1.2.1.2
0.79/0.81 c
0.79/0.81 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c conflict/interconss = 0
0.79/0.81 c
0.79/0.81 c # should binary conflicts be preferred?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c conflict/preferbinary = TRUE
0.79/0.81 c
0.79/0.81 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 0]
0.79/0.81 c constraints/agelimit = 1
0.79/0.81 c
0.79/0.81 c # should enforcement of pseudo solution be disabled?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/disableenfops = TRUE
0.79/0.81 c
0.79/0.81 c # frequency for displaying node information lines
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.81 c display/freq = 10000
0.79/0.81 c
0.79/0.81 c # maximal time in seconds to run
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/time = 1799.71
0.79/0.81 c
0.79/0.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/memory = 1620
0.79/0.81 c
0.79/0.81 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 1]
0.79/0.81 c lp/solvefreq = 0
0.79/0.81 c
0.79/0.81 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.79/0.81 c # [type: char, range: {lafpsqd}, default: l]
0.79/0.81 c lp/pricing = a
0.79/0.81 c
0.79/0.81 c # should presolving try to simplify inequalities
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/linear/simplifyinequalities = TRUE
0.79/0.81 c
0.79/0.81 c # should presolving try to simplify knapsacks
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.81 c
0.79/0.81 c # priority of node selection rule <dfs> in standard mode
0.79/0.81 c # [type: int, range: [-536870912,536870911], default: 0]
0.79/0.81 c nodeselection/dfs/stdpriority = 1000000
0.79/0.81 c
0.79/0.81 c -----------------------------------------------------------------------------------------------
0.79/0.81 c start solving
0.79/0.82 c
1.19/1.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.26 c 0.9s| 1 | 0 | 1110 | - | 24M| 0 | 266 |2493 |9032 |2493 |9032 | 0 | 0 | 0 | 2.437401e+01 | -- | Inf
1.19/1.27 o 68
1.19/1.27 c s 0.9s| 1 | 0 | 1110 | - | 24M| 0 | 266 |2493 |9032 |2493 |9032 | 0 | 0 | 0 | 2.437401e+01 | 6.800000e+01 | 178.99%
2.30/2.31 c 1.9s| 1 | 0 | 1219 | - | 25M| 0 | 231 |2493 |9032 |2493 |9036 | 4 | 0 | 0 | 2.454389e+01 | 6.800000e+01 | 177.05%
2.30/2.33 o 63
2.30/2.33 c R 1.9s| 1 | 0 | 1219 | - | 25M| 0 | 231 |2493 |9032 |2493 |9036 | 4 | 0 | 0 | 2.454389e+01 | 6.300000e+01 | 156.68%
3.69/3.79 c 3.4s| 1 | 0 | 1341 | - | 25M| 0 | 195 |2493 |9032 |2493 |9039 | 7 | 0 | 0 | 2.458656e+01 | 6.300000e+01 | 156.24%
3.79/3.80 o 56
3.79/3.80 c R 3.4s| 1 | 0 | 1341 | - | 25M| 0 | 195 |2493 |9032 |2493 |9039 | 7 | 0 | 0 | 2.458656e+01 | 5.600000e+01 | 127.77%
6.39/6.47 c 6.0s| 1 | 0 | 1444 | - | 25M| 0 | 221 |2493 |9032 |2493 |9041 | 9 | 0 | 0 | 2.461435e+01 | 5.600000e+01 | 127.51%
9.29/9.35 c 8.9s| 1 | 0 | 1478 | - | 25M| 0 | 216 |2493 |9032 |2493 |9045 | 13 | 0 | 0 | 2.461746e+01 | 5.600000e+01 | 127.48%
12.29/12.39 c 11.9s| 1 | 0 | 1602 | - | 25M| 0 | 258 |2493 |9032 |2493 |9048 | 16 | 0 | 0 | 2.462833e+01 | 5.600000e+01 | 127.38%
15.79/15.85 c 15.3s| 1 | 0 | 1751 | - | 25M| 0 | 210 |2493 |9032 |2493 |9052 | 20 | 0 | 0 | 2.464112e+01 | 5.600000e+01 | 127.26%
19.08/19.15 c 18.6s| 1 | 0 | 1814 | - | 25M| 0 | 237 |2493 |9032 |2493 |9056 | 24 | 0 | 0 | 2.464421e+01 | 5.600000e+01 | 127.23%
22.49/22.53 c 21.9s| 1 | 0 | 1817 | - | 25M| 0 | 236 |2493 |9032 |2493 |9059 | 27 | 0 | 0 | 2.464421e+01 | 5.600000e+01 | 127.23%
25.88/25.91 c 25.3s| 1 | 0 | 1819 | - | 25M| 0 | 236 |2493 |9032 |2493 |9061 | 29 | 0 | 0 | 2.464421e+01 | 5.600000e+01 | 127.23%
29.18/29.28 c 28.6s| 1 | 0 | 1823 | - | 25M| 0 | 236 |2493 |9032 |2493 |9063 | 31 | 0 | 0 | 2.464421e+01 | 5.600000e+01 | 127.23%
33.58/33.64 o 27
33.58/33.64 c E32.9s| 1 | 0 | 1823 | - | 25M| 0 | 236 |2493 |9032 |2493 |9063 | 31 | 0 | 0 | 2.464421e+01 | 2.700000e+01 | 9.56%
33.58/33.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
33.58/33.66 c 32.9s| 1 | 0 | 1823 | - | 25M| 0 | 236 |2493 |9032 |2493 |9063 | 31 | 0 | 0 | 2.464421e+01 | 2.700000e+01 | 9.56%
45.48/45.58 c 44.7s| 1 | 2 | 1823 | - | 25M| 0 | 236 |2493 |9032 |2493 |9063 | 31 | 0 | 22 | 2.464421e+01 | 2.700000e+01 | 9.56%
53.57/53.67 c 52.5s| 10000 | 920 | 1823 | 0.0 | 26M| 943 | - |2493 |9053 | 0 | 0 | 31 |5278 | 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
62.17/62.27 c 60.9s| 20000 | 925 | 1823 | 0.0 | 26M| 943 | - |2493 |9043 | 0 | 0 | 31 | 10k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
70.77/70.84 c 69.1s| 30000 | 922 | 1823 | 0.0 | 26M| 944 | - |2493 |9064 | 0 | 0 | 31 | 16k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
78.57/78.67 c 76.7s| 40000 | 925 | 1823 | 0.0 | 26M| 944 | - |2493 |9049 | 0 | 0 | 31 | 22k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
86.97/87.06 c 84.8s| 50000 | 920 | 1823 | 0.0 | 26M| 944 | - |2493 |9041 | 0 | 0 | 31 | 28k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
95.27/95.32 c 92.8s| 60000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 34k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
103.77/103.82 c 101s| 70000 | 921 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 40k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
112.56/112.63 c 110s| 80000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 46k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
121.47/121.55 c 118s| 90000 | 924 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 52k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
129.67/129.73 c 126s|100000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9041 | 0 | 0 | 31 | 58k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
138.16/138.22 c 134s|110000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 63k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
146.26/146.33 c 142s|120000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 68k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
154.85/154.98 c 150s|130000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 74k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
163.65/163.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
163.65/163.77 c 159s|140000 | 924 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 | 80k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
172.85/172.96 c 168s|150000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9041 | 0 | 0 | 31 | 86k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
182.04/182.14 c 177s|160000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9041 | 0 | 0 | 31 | 92k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
191.25/191.35 c 186s|170000 | 916 | 1823 | 0.0 | 26M| 945 | - |2493 |9062 | 0 | 0 | 31 | 98k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
200.44/200.58 c 195s|180000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 105k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
209.14/209.21 c 203s|190000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 | 110k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
217.75/217.81 c 211s|200000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 116k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
225.83/225.92 c 219s|210000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 122k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
234.83/234.91 c 228s|220000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 128k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
243.33/243.47 c 236s|230000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9063 | 0 | 0 | 31 | 134k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
251.93/252.04 c 244s|240000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 139k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
261.43/261.58 c 254s|250000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9065 | 0 | 0 | 31 | 145k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
270.22/270.34 c 262s|260000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 151k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
279.42/279.50 c 271s|270000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 | 158k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
287.91/288.05 c 279s|280000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 164k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
296.02/296.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.02/296.19 c 287s|290000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 170k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
304.82/304.92 c 296s|300000 | 921 | 1823 | 0.0 | 26M| 945 | - |2493 |9040 | 0 | 0 | 31 | 176k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
313.91/314.09 c 304s|310000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 | 182k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
322.81/322.92 c 313s|320000 | 919 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 189k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
331.71/331.89 c 322s|330000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 195k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
340.20/340.35 c 330s|340000 | 916 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 201k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
348.90/349.04 c 338s|350000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 207k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
357.90/358.04 c 347s|360000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 212k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
367.31/367.41 c 356s|370000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 218k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
376.50/376.62 c 365s|380000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 | 224k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
385.90/386.03 c 374s|390000 | 914 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 231k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
394.39/394.58 c 382s|400000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9040 | 0 | 0 | 31 | 237k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
402.59/402.79 c 390s|410000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 243k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
411.20/411.35 c 399s|420000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9038 | 0 | 0 | 31 | 249k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
419.69/419.85 c 407s|430000 | 914 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 255k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
428.89/429.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
428.89/429.08 c 416s|440000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 261k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
438.58/438.77 c 425s|450000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 267k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
446.78/446.94 c 433s|460000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9040 | 0 | 0 | 31 | 273k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
454.78/454.99 c 441s|470000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9038 | 0 | 0 | 31 | 278k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
463.08/463.21 c 449s|480000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 284k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
471.47/471.65 c 457s|490000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 | 290k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
479.87/480.03 c 465s|500000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 296k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
488.87/489.05 c 474s|510000 | 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 302k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
498.36/498.50 c 483s|520000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 309k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
507.56/507.70 c 492s|530000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9068 | 0 | 0 | 31 | 314k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
517.16/517.32 c 501s|540000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 321k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
525.95/526.15 c 510s|550000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 326k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
535.06/535.22 c 518s|560000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 | 332k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
543.85/544.00 c 527s|570000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9057 | 0 | 0 | 31 | 338k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
552.76/552.95 c 536s|580000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 344k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
561.75/561.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
561.75/561.97 c 544s|590000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9057 | 0 | 0 | 31 | 350k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
570.66/570.86 c 553s|600000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 356k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
579.45/579.63 c 561s|610000 | 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9041 | 0 | 0 | 31 | 361k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
588.14/588.39 c 570s|620000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 367k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
597.05/597.28 c 578s|630000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 373k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
606.14/606.32 c 587s|640000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 | 378k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
615.84/616.07 c 597s|650000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 385k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
625.43/625.67 c 606s|660000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 | 391k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
635.43/635.70 c 616s|670000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9065 | 0 | 0 | 31 | 397k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
644.12/644.36 c 624s|680000 | 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 403k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
652.52/652.77 c 632s|690000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9040 | 0 | 0 | 31 | 409k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
661.53/661.77 c 641s|700000 | 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 415k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
670.23/670.49 c 649s|710000 | 916 | 1823 | 0.0 | 26M| 945 | - |2493 |9072 | 0 | 0 | 31 | 420k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
679.72/679.90 c 658s|720000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9054 | 0 | 0 | 31 | 426k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
688.51/688.79 c 667s|730000 | 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 432k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
697.32/697.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
697.32/697.52 c 675s|740000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 437k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
706.91/707.14 c 685s|750000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 444k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
716.41/716.65 c 694s|760000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 450k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
725.31/725.57 c 703s|770000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 456k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
734.51/734.76 c 711s|780000 | 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 461k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
743.60/743.88 c 720s|790000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 468k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
752.51/752.78 c 729s|800000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 474k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
761.19/761.48 c 737s|810000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 480k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
769.90/770.17 c 746s|820000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 485k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
778.89/779.16 c 754s|830000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 491k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
787.79/788.02 c 763s|840000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 497k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
796.69/796.99 c 772s|850000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 503k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
806.00/806.28 c 781s|860000 | 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9067 | 0 | 0 | 31 | 509k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
815.08/815.30 c 789s|870000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 516k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
823.59/823.80 c 798s|880000 | 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9042 | 0 | 0 | 31 | 522k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
832.68/832.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.68/832.92 c 807s|890000 | 917 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 527k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
841.58/841.85 c 815s|900000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 533k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
850.47/850.74 c 824s|910000 | 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 539k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
858.78/859.07 c 832s|920000 | 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 545k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
866.98/867.24 c 840s|930000 | 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 | 550k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
875.27/875.50 c 848s|940000 | 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9057 | 0 | 0 | 31 | 556k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
883.66/883.92 c 856s|950000 | 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 562k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
891.87/892.14 c 864s|960000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 567k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
900.16/900.50 c 872s|970000 | 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9061 | 0 | 0 | 31 | 573k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
908.76/909.02 c 880s|980000 | 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9066 | 0 | 0 | 31 | 579k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
917.17/917.44 c 888s|990000 | 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 584k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
925.65/925.91 c 896s| 1000k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 590k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
933.85/934.14 c 904s| 1010k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 596k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
942.25/942.56 c 913s| 1020k| 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9069 | 0 | 0 | 31 | 601k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
950.85/951.15 c 921s| 1030k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9074 | 0 | 0 | 31 | 607k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
959.45/959.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
959.45/959.76 c 929s| 1040k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9056 | 0 | 0 | 31 | 613k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
968.04/968.30 c 937s| 1050k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9063 | 0 | 0 | 31 | 619k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
976.25/976.58 c 945s| 1060k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 624k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
984.74/985.04 c 954s| 1070k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 630k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
993.34/993.67 c 962s| 1080k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 636k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1001.33/1001.66 c 970s| 1090k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 642k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1010.64/1010.92 c 979s| 1100k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9057 | 0 | 0 | 31 | 648k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1019.64/1019.94 c 987s| 1110k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 654k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1028.64/1028.91 c 996s| 1120k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 660k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1038.04/1038.33 c 1005s| 1130k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 666k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1046.83/1047.18 c 1014s| 1140k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9061 | 0 | 0 | 31 | 672k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1055.63/1055.92 c 1022s| 1150k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 | 677k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1063.63/1063.97 c 1030s| 1160k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9043 | 0 | 0 | 31 | 682k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1072.32/1072.60 c 1038s| 1170k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9038 | 0 | 0 | 31 | 688k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1080.62/1080.99 c 1046s| 1180k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 693k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1089.32/1089.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1089.32/1089.66 c 1055s| 1190k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9040 | 0 | 0 | 31 | 699k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1098.52/1098.81 c 1064s| 1200k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 704k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1107.31/1107.64 c 1072s| 1210k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9054 | 0 | 0 | 31 | 710k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1115.61/1115.91 c 1080s| 1220k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9044 | 0 | 0 | 31 | 715k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1124.61/1124.90 c 1089s| 1230k| 897 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 721k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1133.41/1133.72 c 1097s| 1240k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 726k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1142.31/1142.69 c 1106s| 1250k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 732k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1151.60/1151.91 c 1115s| 1260k| 924 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 | 738k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1161.10/1161.50 c 1124s| 1270k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 | 744k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1171.20/1171.52 c 1134s| 1280k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 751k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1180.79/1181.14 c 1143s| 1290k| 902 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 757k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1189.69/1190.08 c 1152s| 1300k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 762k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1198.79/1199.12 c 1161s| 1310k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 768k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1207.18/1207.51 c 1169s| 1320k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9062 | 0 | 0 | 31 | 774k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1215.88/1216.22 c 1177s| 1330k| 899 | 1823 | 0.0 | 26M| 945 | - |2493 |9064 | 0 | 0 | 31 | 780k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1225.38/1225.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1225.38/1225.73 c 1186s| 1340k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 786k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1234.48/1234.88 c 1195s| 1350k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 792k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1243.58/1243.96 c 1204s| 1360k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 | 797k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1252.67/1253.07 c 1213s| 1370k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9060 | 0 | 0 | 31 | 803k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1261.38/1261.72 c 1221s| 1380k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 809k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1270.57/1270.96 c 1230s| 1390k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9054 | 0 | 0 | 31 | 816k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1280.07/1280.43 c 1239s| 1400k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9064 | 0 | 0 | 31 | 822k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1289.56/1289.91 c 1248s| 1410k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9078 | 0 | 0 | 31 | 828k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1299.76/1300.13 c 1258s| 1420k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9054 | 0 | 0 | 31 | 834k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1309.26/1309.69 c 1268s| 1430k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 840k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1319.06/1319.48 c 1277s| 1440k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 846k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1328.65/1329.05 c 1286s| 1450k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 852k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1339.36/1339.70 c 1297s| 1460k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 | 859k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1349.15/1349.60 c 1306s| 1470k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9061 | 0 | 0 | 31 | 865k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1358.75/1359.17 c 1316s| 1480k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9081 | 0 | 0 | 31 | 871k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1368.45/1368.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1368.45/1368.84 c 1325s| 1490k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9074 | 0 | 0 | 31 | 877k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1377.64/1378.03 c 1334s| 1500k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 | 883k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1386.94/1387.31 c 1343s| 1510k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 889k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1396.23/1396.63 c 1352s| 1520k| 898 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 894k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1405.24/1405.67 c 1361s| 1530k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9035 | 0 | 0 | 31 | 900k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1414.54/1414.95 c 1370s| 1540k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9038 | 0 | 0 | 31 | 906k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1423.04/1423.49 c 1378s| 1550k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9053 | 0 | 0 | 31 | 912k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1432.33/1432.72 c 1387s| 1560k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9035 | 0 | 0 | 31 | 917k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1441.03/1441.46 c 1395s| 1570k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9043 | 0 | 0 | 31 | 923k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1449.82/1450.27 c 1404s| 1580k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 929k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1459.13/1459.55 c 1413s| 1590k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 | 934k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1468.42/1468.80 c 1422s| 1600k| 913 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 940k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1477.42/1477.88 c 1430s| 1610k| 908 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 | 946k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1486.01/1486.47 c 1439s| 1620k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 952k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1494.61/1495.00 c 1447s| 1630k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 | 957k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1503.11/1503.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1503.11/1503.54 c 1455s| 1640k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 | 963k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1512.21/1512.60 c 1464s| 1650k| 918 | 1823 | 0.0 | 26M| 945 | - |2493 |9043 | 0 | 0 | 31 | 968k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1521.10/1521.55 c 1473s| 1660k| 910 | 1823 | 0.0 | 26M| 945 | - |2493 |9046 | 0 | 0 | 31 | 974k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1530.90/1531.38 c 1482s| 1670k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 | 980k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1540.30/1540.76 c 1491s| 1680k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 | 986k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1549.90/1550.36 c 1500s| 1690k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 | 993k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1559.31/1559.74 c 1510s| 1700k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9068 | 0 | 0 | 31 | 999k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1569.00/1569.50 c 1519s| 1710k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9077 | 0 | 0 | 31 |1005k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1578.49/1578.98 c 1528s| 1720k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 |1011k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1587.79/1588.23 c 1537s| 1730k| 911 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 |1017k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1596.99/1597.40 c 1546s| 1740k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9051 | 0 | 0 | 31 |1022k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1605.50/1605.97 c 1554s| 1750k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9075 | 0 | 0 | 31 |1028k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1614.19/1614.60 c 1563s| 1760k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9057 | 0 | 0 | 31 |1033k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1623.49/1623.95 c 1572s| 1770k| 909 | 1823 | 0.0 | 26M| 945 | - |2493 |9055 | 0 | 0 | 31 |1039k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1632.68/1633.19 c 1581s| 1780k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9072 | 0 | 0 | 31 |1045k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1642.57/1643.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1642.57/1643.08 c 1590s| 1790k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 |1051k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1651.78/1652.23 c 1599s| 1800k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9048 | 0 | 0 | 31 |1057k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1660.27/1660.73 c 1607s| 1810k| 907 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 |1063k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1668.77/1669.20 c 1615s| 1820k| 912 | 1823 | 0.0 | 26M| 945 | - |2493 |9050 | 0 | 0 | 31 |1068k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1677.67/1678.15 c 1624s| 1830k| 901 | 1823 | 0.0 | 26M| 945 | - |2493 |9058 | 0 | 0 | 31 |1074k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1686.06/1686.59 c 1632s| 1840k| 898 | 1823 | 0.0 | 26M| 945 | - |2493 |9052 | 0 | 0 | 31 |1080k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1694.77/1695.27 c 1641s| 1850k| 901 | 1823 | 0.0 | 26M| 945 | - |2493 |9047 | 0 | 0 | 31 |1086k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1703.56/1704.00 c 1649s| 1860k| 899 | 1823 | 0.0 | 26M| 945 | - |2493 |9059 | 0 | 0 | 31 |1092k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1711.66/1712.18 c 1657s| 1870k| 916 | 1823 | 0.0 | 26M| 945 | - |2493 |9039 | 0 | 0 | 31 |1097k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1720.05/1720.57 c 1665s| 1880k| 901 | 1823 | 0.0 | 26M| 945 | - |2493 |9036 | 0 | 0 | 31 |1103k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1728.85/1729.38 c 1674s| 1890k| 900 | 1823 | 0.0 | 26M| 945 | - |2493 |9061 | 0 | 0 | 31 |1109k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1738.05/1738.56 c 1682s| 1900k| 893 | 1823 | 0.0 | 26M| 945 | - |2493 |9061 | 0 | 0 | 31 |1116k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1747.45/1747.94 c 1692s| 1910k| 898 | 1823 | 0.0 | 26M| 945 | - |2493 |9070 | 0 | 0 | 31 |1122k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1756.35/1756.86 c 1700s| 1920k| 906 | 1823 | 0.0 | 26M| 945 | - |2493 |9044 | 0 | 0 | 31 |1128k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1764.55/1765.04 c 1708s| 1930k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9041 | 0 | 0 | 31 |1133k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1772.75/1773.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1772.75/1773.28 c 1716s| 1940k| 905 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 |1139k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1780.84/1781.32 c 1724s| 1950k| 915 | 1823 | 0.0 | 26M| 945 | - |2493 |9045 | 0 | 0 | 31 |1144k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1789.64/1790.13 c 1732s| 1960k| 903 | 1823 | 0.0 | 26M| 945 | - |2493 |9038 | 0 | 0 | 31 |1150k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1798.43/1798.96 c 1741s| 1970k| 904 | 1823 | 0.0 | 26M| 945 | - |2493 |9049 | 0 | 0 | 31 |1155k| 22 | 2.490685e+01 | 2.700000e+01 | 8.40%
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.50 c
1800.04/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.50 c Solving Time (sec) : 1742.37
1800.04/1800.50 c Solving Nodes : 1971869
1800.04/1800.50 c Primal Bound : +2.70000000000000e+01 (4 solutions)
1800.04/1800.50 c Dual Bound : +2.49068519145018e+01
1800.04/1800.50 c Gap : 8.40 %
1800.04/1800.53 s SATISFIABLE
1800.04/1800.53 v x194 x193 x5255 x192 x5253 -x5251 -x191 -x5249 -x190 -x5247 -x5245 x5243 x189 -x5241 -x5239 -x5237 -x188 -x5235 -x5233 -x5231 -x5229
1800.04/1800.53 v -x5227 -x5225 -x187 -x5223 -x186 -x5221 -x5219 -x5217 -x185 -x5215 -x5213 -x184 -x5211 -x5209 -x5207 -x5205 -x5203 -x5201
1800.04/1800.53 v -x5199 -x183 -x5197 -x5195 -x5193 -x182 -x5191 -x5189 -x5187 -x5185 -x5183 -x5181 -x5179 -x181 -x5177 -x5175 -x5173 x5171
1800.04/1800.53 v -x5169 -x5167 -x5165 -x5163 x180 x5161 -x5159 -x5157 -x179 -x5155 -x5153 -x5151 -x178 -x5149 -x5147 -x5145 -x5143 -x5141 -x5139
1800.04/1800.53 v -x5137 -x177 -x5135 -x5133 -x5131 -x176 -x5129 -x5127 -x5125 -x5123 -x5121 -x5119 -x5117 -x175 -x5115 -x5113 -x5111 -x5109
1800.04/1800.53 v -x5107 -x5105 -x5103 -x174 -x5101 -x5099 -x5097 -x5095 -x5093 -x5091 -x5089 -x5087 -x5085 -x5083 -x5081 -x5079 -x5077 -x5075
1800.04/1800.53 v -x5073 -x173 -x5071 -x5069 -x5067 -x172 -x5065 -x5063 -x5061 -x5059 -x5057 -x5055 -x5053 -x171 -x5051 -x5049 -x5047 -x5045 -x5043
1800.04/1800.53 v -x5041 -x5039 -x170 -x5037 -x5035 -x5033 -x5031 -x5029 -x5027 -x5025 -x5023 -x5021 -x5019 -x5017 -x5015 -x5013 -x5011 -x5009
1800.04/1800.53 v -x169 -x5007 x5005 -x5003 -x5001 -x4999 -x4997 -x4995 -x4993 -x4991 -x4989 -x4987 -x4985 -x4983 -x4981 -x4979 -x4977 -x4975
1800.04/1800.53 v -x4973 -x4971 -x4969 -x4967 -x4965 -x168 -x4963 -x167 -x4961 -x4959 -x4957 -x166 -x4955 -x4953 -x4951 -x165 -x4949 -x4947
1800.04/1800.53 v -x4945 -x4943 -x4941 -x4939 -x4937 -x164 -x4935 -x4933 -x163 -x4931 -x4929 -x4927 -x4925 -x4923 -x4921 -x4919 -x162 -x4917
1800.04/1800.53 v -x4915 -x4913 -x4911 -x4909 -x4907 -x4905 -x161 -x4903 -x4901 -x4899 -x160 -x4897 -x4895 -x4893 -x4891 -x4889 -x4887 -x4885 -x159
1800.04/1800.53 v -x4883 -x4881 -x4879 -x4877 -x4875 -x4873 -x158 -x4871 -x4869 -x4867 -x4865 -x4863 -x4861 -x4859 -x4857 -x4855 -x4853 -x4851
1800.04/1800.53 v -x4849 -x4847 -x4845 -x4843 -x157 -x4841 -x4839 -x4837 -x4835 -x4833 -x4831 -x4829 -x156 -x4827 -x4825 -x4823 -x4821 -x4819
1800.04/1800.53 v -x4817 -x4815 -x4813 -x4811 -x4809 -x4807 -x4805 -x4803 -x4801 -x4799 -x155 -x4797 -x4795 -x4793 -x4791 -x4789 -x4787 -x4785
1800.04/1800.53 v -x4783 -x4781 -x4779 -x4777 -x4775 -x4773 -x4771 -x154 -x4769 -x4767 -x4765 -x153 -x4763 -x4761 -x4759 -x4757 -x4755 -x4753
1800.04/1800.53 v -x4751 -x152 -x4749 -x4747 -x4745 -x4743 -x4741 -x4739 -x4737 -x151 -x4735 -x4733 -x4731 -x4729 -x4727 -x4725 -x4723 -x4721
1800.04/1800.53 v -x4719 -x4717 -x4715 -x4713 -x4711 -x4709 -x4707 -x150 -x4705 -x4703 -x4701 -x4699 -x4697 -x4695 -x4693 -x149 -x4691 -x4689
1800.04/1800.53 v -x4687 -x4685 -x4683 -x4681 -x4679 -x4677 -x4675 -x4673 -x4671 -x4669 -x4667 -x4665 -x4663 -x148 -x4661 -x4659 -x4657 -x4655
1800.04/1800.53 v -x4653 -x4651 -x4649 -x147 -x4647 -x4645 -x4643 -x4641 -x4639 -x4637 -x4635 -x4633 -x4631 -x4629 -x4627 -x4625 -x4623 -x4621
1800.04/1800.53 v -x4619 -x146 -x4617 -x4615 -x4613 -x4611 -x4609 -x4607 -x4605 -x4603 -x4601 -x4599 -x4597 -x4595 -x4593 -x4591 -x4589 -x145
1800.04/1800.53 v -x4587 -x4585 -x4583 -x4581 -x4579 -x4577 -x4575 -x4573 -x4571 -x4569 -x4567 -x4565 -x4563 -x4561 -x4559 -x4557 -x4555 -x4553
1800.04/1800.53 v -x4551 -x4549 -x4547 -x4545 -x4543 -x4541 -x4539 -x4537 -x4535 -x4533 -x4531 -x4529 -x144 -x4527 x143 x4525 -x4523 -x4521 -x142
1800.04/1800.53 v -x4519 -x4517 -x4515 -x141 -x4513 -x4511 -x4509 -x4507 -x4505 -x4503 -x4501 -x140 -x4499 -x4497 -x4495 -x139 -x4493 -x4491
1800.04/1800.53 v -x4489 -x4487 -x4485 x4483 -x4481 x138 -x4479 -x4477 -x4475 -x137 -x4473 -x4471 -x4469 -x4467 -x4465 -x4463 -x4461 -x136 -x4459
1800.04/1800.53 v -x4457 -x4455 -x4453 -x4451 -x4449 -x4447 -x135 -x4445 -x4443 -x4441 -x4439 -x4437 -x4435 -x4433 -x4431 -x4429 -x4427 -x4425
1800.04/1800.53 v -x4423 -x4421 -x4419 -x4417 -x134 -x4415 -x4413 -x4411 -x4409 -x4407 -x4405 -x4403 -x133 -x4401 -x4399 -x4397 -x4395 -x4393
1800.04/1800.53 v -x4391 -x4389 -x4387 -x4385 -x4383 -x4381 -x4379 -x4377 -x4375 x4373 -x4371 -x4369 -x4367 -x132 -x4365 -x4363 -x4361 -x4359
1800.04/1800.53 v -x4357 x4355 -x4353 -x4351 -x4349 x4347 -x4345 -x4343 -x4341 -x4339 -x4337 -x4335 -x4333 -x4331 -x4329 -x4327 -x4325 -x4323
1800.04/1800.53 v -x4321 -x4319 -x4317 -x4315 -x4313 -x4311 -x4309 -x131 -x4307 -x4305 -x4303 -x4301 -x4299 -x4297 -x4295 -x130 -x4293 -x4291
1800.04/1800.53 v -x4289 -x4287 -x4285 -x4283 -x4281 -x4279 -x4277 -x4275 -x4273 -x4271 -x4269 -x4267 -x4265 -x129 -x4263 -x4261 -x4259 -x4257
1800.04/1800.53 v -x4255 -x4253 -x4251 -x128 -x4249 -x4247 -x4245 -x4243 -x4241 -x4239 -x4237 -x4235 -x4233 -x4231 -x4229 -x4227 -x4225 -x4223
1800.04/1800.53 v -x4221 -x127 -x4219 -x4217 -x4215 -x4213 x4211 -x4209 -x4207 -x4205 -x4203 -x4201 -x4199 -x4197 -x4195 -x4193 -x4191 -x4189
1800.04/1800.53 v -x4187 -x4185 -x4183 -x4181 -x4179 -x4177 -x4175 -x4173 -x4171 -x4169 -x4167 -x4165 -x4163 -x4161 -x4159 -x4157 -x4155 -x4153
1800.04/1800.53 v -x4151 -x4149 -x4147 -x4145 -x4143 -x4141 -x4139 -x4137 -x4135 -x4133 -x4131 -x4129 -x126 -x4127 -x4125 -x4123 -x4121 -x4119
1800.04/1800.53 v -x4117 -x4115 -x4113 -x4111 -x4109 -x4107 -x4105 -x4103 -x4101 -x4099 -x125 -x4097 -x4095 -x4093 -x4091 -x4089 -x4087 -x4085
1800.04/1800.53 v -x4083 -x4081 -x4079 -x4077 -x4075 -x4073 -x4071 -x4069 -x4067 -x4065 -x4063 -x4061 -x4059 -x4057 -x4055 -x4053 -x4051 -x4049
1800.04/1800.53 v -x4047 -x4045 -x4043 -x4041 -x4039 -x4037 -x124 -x4035 -x4033 -x4031 -x123 -x4029 -x4027 -x4025 -x4023 -x4021 -x4019 -x4017
1800.04/1800.53 v -x122 -x4015 -x4013 -x4011 -x4009 -x4007 -x4005 -x4003 -x121 -x4001 -x3999 -x3997 -x3995 -x3993 -x3991 -x3989 -x3987 -x3985
1800.04/1800.53 v -x3983 -x3981 -x3979 -x3977 -x3975 -x3973 -x120 -x3971 -x3969 -x3967 -x3965 -x3963 -x3961 -x3959 -x119 -x3957 -x3955 -x3953 -x3951
1800.04/1800.53 v -x3949 -x3947 -x3945 -x3943 -x3941 -x3939 -x3937 -x3935 -x3933 -x3931 -x3929 -x118 -x3927 -x3925 -x3923 -x3921 -x3919 -x3917
1800.04/1800.53 v -x3915 -x3913 -x3911 -x3909 -x3907 -x3905 -x3903 -x3901 -x3899 -x117 -x3897 -x3895 -x3893 -x3891 -x3889 -x3887 -x3885 -x3883
1800.04/1800.53 v -x3881 -x3879 -x3877 -x3875 -x3873 -x3871 -x3869 -x3867 -x3865 -x3863 -x3861 -x3859 -x3857 -x3855 -x3853 -x3851 -x3849
1800.04/1800.53 v -x3847 -x3845 -x3843 -x3841 -x3839 -x116 -x3837 -x3835 -x3833 -x3831 -x3829 -x3827 -x3825 -x115 -x3823 -x3821 -x3819 -x3817 -x3815
1800.04/1800.53 v -x3813 -x3811 -x3809 -x3807 -x3805 -x3803 -x3801 -x3799 -x3797 -x3795 -x114 -x3793 -x113 -x3791 -x3789 x3787 x112 -x3785
1800.04/1800.53 v -x3783 -x3781 -x111 -x3779 -x3777 -x3775 -x3773 x3771 -x3769 -x3767 x110 -x3765 -x3763 -x3761 -x109 -x3759 -x3757 -x3755 -x3753
1800.04/1800.53 v -x3751 -x3749 -x3747 -x108 -x3745 -x3743 -x3741 -x3739 -x3737 -x3735 -x3733 -x107 -x3731 -x3729 -x3727 -x3725 -x3723 -x3721
1800.04/1800.53 v -x3719 -x3717 -x3715 -x3713 -x3711 -x3709 -x3707 -x3705 -x3703 -x106 -x3701 -x3699 -x105 -x3697 -x3695 -x3693 -x3691 -x3689
1800.04/1800.53 v -x3687 -x3685 -x104 -x3683 -x3681 -x3679 -x3677 -x3675 -x3673 -x3671 -x103 -x3669 -x3667 -x3665 -x3663 -x3661 -x3659 -x3657
1800.04/1800.53 v -x3655 -x3653 -x3651 -x3649 -x3647 -x3645 -x3643 -x3641 -x102 -x3639 -x3637 -x3635 -x3633 -x3631 -x3629 -x3627 -x101 -x3625
1800.04/1800.53 v -x3623 -x3621 -x3619 -x3617 -x3615 -x3613 -x3611 -x3609 -x3607 -x3605 -x3603 -x3601 -x3599 -x3597 -x100 -x3595 -x3593 -x3591
1800.04/1800.53 v -x99 -x3589 -x3587 -x3585 -x3583 -x3581 -x3579 -x3577 -x98 -x3575 -x3573 -x3571 -x3569 -x3567 -x3565 -x3563 -x97 -x3561 -x3559
1800.04/1800.53 v -x3557 -x3555 -x3553 -x3551 -x3549 -x3547 -x3545 -x3543 -x3541 -x3539 -x3537 -x3535 -x3533 -x96 -x3531 -x3529 -x3527 -x3525
1800.04/1800.53 v -x3523 -x3521 -x3519 -x95 -x3517 -x3515 -x3513 -x3511 -x3509 -x3507 -x3505 -x3503 -x3501 -x3499 -x3497 -x3495 -x3493 -x3491
1800.04/1800.53 v -x3489 -x94 -x3487 -x3485 -x3483 -x3481 -x3479 -x3477 -x3475 -x3473 -x3471 -x3469 -x3467 -x3465 -x3463 -x3461 -x3459 -x93 -x3457
1800.04/1800.53 v -x3455 -x3453 -x3451 -x3449 -x3447 -x3445 -x3443 -x3441 -x3439 -x3437 -x3435 -x3433 -x3431 -x3429 -x3427 -x3425 -x3423 -x3421
1800.04/1800.53 v -x3419 -x3417 -x3415 -x3413 -x3411 -x3409 -x3407 -x3405 -x3403 -x3401 -x3399 -x3397 -x92 -x3395 -x3393 -x3391 -x3389 -x3387
1800.04/1800.53 v -x3385 -x3383 -x91 -x3381 -x3379 -x3377 -x3375 -x3373 -x3371 -x3369 -x3367 -x3365 -x3363 -x3361 -x3359 -x3357 -x3355 -x3353
1800.04/1800.53 v -x90 -x3351 -x3349 -x3347 -x3345 -x3343 -x3341 -x3339 -x3337 -x3335 -x3333 -x3331 -x3329 -x3327 -x3325 -x3323 -x89 -x3321
1800.04/1800.53 v -x3319 -x3317 -x3315 -x3313 -x3311 -x3309 -x3307 -x3305 -x3303 -x3301 -x3299 -x3297 -x3295 -x3293 -x3291 -x3289 -x3287 -x3285
1800.04/1800.53 v -x3283 -x3281 -x3279 -x3277 -x3275 -x3273 -x3271 -x3269 -x3267 -x3265 -x3263 -x3261 -x88 -x3259 -x3257 -x3255 -x87 -x3253 -x3251
1800.04/1800.53 v -x3249 -x3247 -x3245 -x3243 -x3241 -x86 -x3239 -x3237 -x3235 -x3233 -x3231 -x3229 -x3227 -x85 -x3225 -x3223 -x3221 -x3219
1800.04/1800.53 v -x3217 -x3215 -x3213 -x3211 -x3209 -x3207 -x3205 -x3203 -x3201 -x3199 -x3197 -x84 -x3195 -x3193 -x3191 -x3189 -x3187 -x3185
1800.04/1800.53 v -x3183 -x83 -x3181 -x3179 -x3177 -x3175 -x3173 -x3171 -x3169 x3167 -x3165 -x3163 -x3161 -x3159 -x3157 -x3155 -x3153 -x3151
1800.04/1800.53 v -x3149 -x3147 -x3145 -x3143 -x3141 -x3139 -x3137 -x3135 -x3133 -x3131 -x3129 -x3127 -x3125 -x3123 -x82 -x3121 -x3119 -x3117 -x3115
1800.04/1800.53 v -x3113 -x3111 -x3109 -x81 -x3107 -x3105 -x3103 -x3101 -x3099 -x3097 -x3095 -x3093 -x3091 -x3089 -x3087 -x3085 -x3083 -x3081
1800.04/1800.53 v -x3079 -x80 -x3077 -x3075 -x3073 -x3071 -x3069 -x3067 -x3065 -x3063 -x3061 -x3059 -x3057 -x3055 -x3053 -x79 -x3051 -x3049
1800.04/1800.53 v -x3047 -x3045 -x3043 -x3041 -x3039 -x3037 -x3035 -x3033 -x3031 -x3029 -x3027 -x3025 -x3023 -x3021 -x3019 -x3017 -x3015 -x3013
1800.04/1800.53 v -x3011 x3009 -x3007 -x3005 -x3003 -x3001 -x2999 -x2997 -x2995 -x2993 -x2991 -x2989 -x2987 -x2985 -x2983 -x2981 -x2979 -x2977
1800.04/1800.53 v -x2975 -x2973 -x2971 -x2969 -x2967 -x2965 -x2963 -x2961 -x78 -x2959 -x2957 -x2955 -x2953 -x2951 -x2949 -x2947 -x2945 -x2943
1800.04/1800.53 v -x2941 -x2939 -x2937 -x2935 -x2933 -x2931 -x2929 -x2927 -x2925 -x2923 -x2921 -x2919 -x2917 x2915 -x2913 -x2911 -x2909 -x2907
1800.04/1800.53 v -x2905 -x2903 -x2901 -x2899 -x2897 -x2895 -x2893 -x2891 -x2889 -x2887 -x2885 -x77 -x2883 -x2881 -x2879 -x2877 -x2875 -x2873
1800.04/1800.53 v -x2871 -x2869 -x2867 -x2865 -x2863 -x2861 -x2859 -x2857 -x2855 -x76 -x2853 -x2851 -x2849 -x2847 -x2845 -x2843 -x2841 -x2839
1800.04/1800.53 v -x2837 -x2835 -x2833 -x2831 -x2829 -x2827 -x2825 -x75 -x2823 -x2821 -x2819 -x2817 -x2815 -x2813 -x2811 -x2809 -x2807 -x2805 -x2803
1800.04/1800.53 v -x2801 -x2799 -x2797 -x2795 -x2793 -x2791 -x2789 -x2787 -x2785 -x2783 -x2781 -x2779 -x2777 -x2775 -x2773 -x2771 -x2769
1800.04/1800.53 v -x2767 -x2765 -x2763 -x74 -x2761 -x2759 -x2757 -x2755 -x2753 -x2751 -x2749 -x2747 -x2745 -x2743 -x2741 -x2739 -x2737 -x2735 -x2733
1800.04/1800.53 v -x73 -x2731 -x2729 -x2727 -x2725 -x2723 -x2721 -x2719 -x2717 -x2715 -x2713 -x2711 -x2709 -x2707 -x2705 -x2703 -x2701 -x2699
1800.04/1800.53 v -x2697 -x2695 -x2693 -x2691 -x2689 -x2687 -x2685 -x2683 -x2681 -x2679 -x2677 -x2675 -x2673 -x2671 -x72 -x2669 -x2667 -x2665
1800.04/1800.53 v -x2663 -x2661 -x2659 -x2657 -x2655 -x2653 -x2651 -x2649 -x2647 -x2645 -x2643 -x2641 -x2639 -x2637 -x2635 -x2633 -x2631 -x2629
1800.04/1800.53 v -x2627 -x2625 -x2623 -x2621 -x2619 -x2617 -x2615 -x2613 -x2611 -x2609 -x71 -x2607 -x2605 -x2603 -x2601 -x2599 -x2597 -x2595
1800.04/1800.53 v -x2593 -x2591 -x2589 -x2587 -x2585 -x2583 -x2581 -x2579 -x2577 -x2575 -x2573 -x2571 -x2569 -x2567 -x2565 -x2563 -x2561 -x2559
1800.04/1800.53 v -x2557 -x2555 -x2553 -x2551 -x2549 -x2547 -x2545 -x2543 -x2541 -x2539 -x2537 -x2535 -x2533 -x2531 -x2529 -x2527 -x2525 -x2523
1800.04/1800.53 v -x2521 -x2519 -x2517 -x2515 -x2513 -x2511 -x2509 -x2507 -x2505 -x2503 -x2501 -x2499 -x2497 -x2495 -x2493 -x2491 -x2489
1800.04/1800.53 v -x2487 -x2485 -x2483 x2481 -x2479 -x2477 -x70 -x2475 -x2473 -x2471 -x2469 -x2467 -x2465 -x2463 -x69 -x2461 -x2459 -x2457 -x2455
1800.04/1800.53 v -x2453 -x2451 -x2449 -x68 -x2447 -x2445 -x2443 -x2441 -x2439 -x2437 -x2435 -x2433 -x2431 -x2429 -x2427 -x2425 -x2423 -x2421
1800.04/1800.53 v -x2419 -x67 -x2417 -x2415 -x2413 -x2411 -x2409 -x2407 -x2405 x2403 -x2401 -x2399 -x2397 -x2395 -x2393 -x2391 -x66 -x2389 -x2387
1800.04/1800.53 v -x2385 -x2383 -x2381 -x2379 -x2377 -x2375 -x2373 -x2371 -x2369 -x2367 -x2365 -x2363 -x2361 -x65 -x2359 -x2357 -x2355 -x2353
1800.04/1800.53 v -x2351 -x2349 -x2347 -x2345 -x2343 -x2341 -x2339 -x2337 -x2335 -x2333 -x2331 -x64 -x2329 -x2327 -x2325 -x2323 -x2321 -x2319
1800.04/1800.53 v -x2317 -x2315 -x2313 -x2311 -x2309 -x2307 -x2305 -x2303 -x2301 -x2299 -x2297 -x2295 -x2293 -x2291 -x2289 -x2287 -x2285 -x2283
1800.04/1800.53 v -x2281 -x2279 -x2277 -x2275 -x2273 -x2271 -x2269 -x63 -x2267 -x2265 -x2263 -x2261 -x2259 -x2257 -x2255 -x62 -x2253 -x2251
1800.04/1800.53 v -x2249 -x2247 -x2245 -x2243 -x2241 -x2239 -x2237 -x2235 -x2233 -x2231 -x2229 -x2227 -x2225 -x61 -x2223 -x2221 -x2219 -x2217
1800.04/1800.53 v -x2215 -x2213 -x2211 -x2209 -x2207 -x2205 -x2203 -x2201 -x2199 -x2197 -x2195 -x60 -x2193 -x2191 -x2189 -x2187 -x2185 -x2183 -x2181
1800.04/1800.53 v -x2179 -x2177 -x2175 -x2173 -x2171 -x2169 -x2167 -x2165 -x2163 -x2161 -x2159 -x2157 -x2155 -x2153 -x2151 -x2149 -x2147
1800.04/1800.53 v -x2145 -x2143 -x2141 -x2139 -x2137 -x2135 -x2133 -x59 -x2131 -x2129 -x2127 -x2125 -x2123 -x2121 -x2119 -x2117 -x2115 -x2113 -x2111
1800.04/1800.53 v -x2109 -x2107 -x2105 -x2103 -x58 -x2101 -x2099 -x2097 -x2095 -x2093 -x2091 -x2089 -x2087 -x2085 -x2083 -x2081 -x2079 -x2077
1800.04/1800.53 v -x2075 -x2073 -x2071 -x2069 -x2067 -x2065 -x2063 -x2061 -x2059 -x2057 -x2055 -x2053 -x2051 -x2049 -x2047 -x2045 -x2043 -x2041
1800.04/1800.53 v -x57 -x2039 -x2037 -x2035 -x2033 -x2031 -x2029 -x2027 -x2025 -x2023 -x2021 -x2019 -x2017 -x2015 -x2013 -x2011 -x2009 -x2007
1800.04/1800.53 v -x2005 -x2003 -x2001 -x1999 -x1997 -x1995 -x1993 -x1991 -x1989 -x1987 -x1985 -x1983 -x1981 -x1979 -x56 -x1977 -x1975 -x1973
1800.04/1800.53 v -x1971 -x1969 -x1967 -x1965 -x1963 -x1961 -x1959 -x1957 -x1955 -x1953 -x1951 -x1949 -x1947 -x1945 -x1943 -x1941 -x1939 -x1937
1800.04/1800.53 v -x1935 -x1933 -x1931 -x1929 -x1927 -x1925 -x1923 -x1921 -x1919 -x1917 -x1915 -x1913 -x1911 -x1909 -x1907 -x1905 -x1903 -x1901
1800.04/1800.53 v -x1899 -x1897 -x1895 -x1893 -x1891 -x1889 -x1887 -x1885 -x1883 -x1881 -x1879 -x1877 -x1875 -x1873 -x1871 x1869 -x1867 -x1865
1800.04/1800.53 v -x1863 -x1861 -x1859 -x1857 -x1855 -x1853 -x1851 -x1849 -x1847 -x1845 -x1843 -x1841 -x1839 -x55 -x1837 -x1835 -x1833 -x1831
1800.04/1800.53 v -x1829 -x1827 -x1825 -x1823 -x1821 -x1819 -x1817 -x1815 -x1813 -x1811 -x1809 -x54 -x1807 -x1805 x1803 -x1801 -x1799 -x1797
1800.04/1800.53 v -x1795 -x1793 -x1791 -x1789 -x1787 -x1785 -x1783 -x1781 -x1779 -x1777 -x53 -x1775 -x1773 -x1771 -x52 -x1769 x1767 -x1765 -x1763
1800.04/1800.53 v -x1761 -x1759 -x1757 -x1755 -x1753 -x1751 -x51 -x1749 -x1747 -x1745 -x50 -x1743 -x1741 -x1739 -x1737 -x1735 -x1733 -x1731
1800.04/1800.53 v -x49 -x1729 -x1727 -x1725 -x1723 -x1721 -x1719 -x1717 -x48 -x1715 -x1713 -x1711 -x1709 -x1707 -x1705 -x1703 -x1701 -x1699
1800.04/1800.53 v -x1697 -x1695 -x1693 -x1691 -x1689 -x1687 -x47 -x1685 -x1683 -x1681 -x46 -x1679 -x1677 -x1675 -x1673 -x1671 -x1669 -x1667 -x45
1800.04/1800.53 v -x1665 -x1663 -x1661 -x44 -x1659 -x1657 -x1655 -x1653 -x1651 -x1649 -x1647 -x43 -x1645 -x1643 -x1641 -x1639 -x1637 -x1635 -x1633
1800.04/1800.53 v -x42 -x1631 -x1629 -x1627 -x1625 -x1623 -x1621 -x1619 -x1617 -x1615 -x1613 -x1611 -x1609 -x1607 -x1605 -x1603 -x41 -x1601
1800.04/1800.53 v -x1599 -x1597 -x1595 -x1593 -x1591 -x1589 -x40 -x1587 -x1585 -x1583 -x1581 -x1579 -x1577 -x1575 -x1573 -x1571 -x1569 -x1567
1800.04/1800.53 v -x1565 -x1563 -x1561 -x1559 -x39 -x1557 -x1555 -x1553 -x1551 -x1549 -x1547 -x1545 -x1543 -x1541 -x1539 -x1537 -x1535 -x1533
1800.04/1800.53 v -x1531 -x1529 -x38 -x1527 -x1525 -x1523 -x1521 -x1519 -x1517 -x1515 -x1513 -x1511 -x1509 -x1507 -x1505 -x1503 -x1501 -x1499
1800.04/1800.53 v -x1497 -x1495 -x1493 -x1491 -x1489 -x1487 -x1485 -x1483 -x1481 -x1479 -x1477 -x1475 -x1473 -x1471 -x1469 -x1467 -x37 -x1465 -x1463
1800.04/1800.53 v -x1461 -x1459 -x1457 -x1455 -x1453 -x36 -x1451 -x1449 -x1447 -x1445 -x1443 -x1441 -x1439 -x1437 -x1435 -x1433 -x1431 -x1429
1800.04/1800.53 v -x1427 -x1425 -x1423 -x35 -x1421 -x1419 -x1417 -x34 -x1415 -x1413 -x1411 -x1409 -x1407 -x1405 -x1403 -x33 -x1401 -x1399
1800.04/1800.53 v -x1397 -x32 -x1395 -x1393 -x1391 -x1389 -x1387 -x1385 -x1383 -x31 -x1381 -x1379 -x1377 -x1375 -x1373 -x1371 -x1369 -x30 -x1367
1800.04/1800.53 v -x1365 -x1363 -x1361 -x1359 -x1357 -x1355 -x29 -x1353 -x1351 -x1349 -x1347 -x1345 -x1343 -x1341 -x1339 -x1337 -x1335 -x1333
1800.04/1800.53 v -x1331 -x1329 -x1327 -x1325 -x28 -x1323 -x1321 -x1319 -x1317 -x1315 -x1313 -x1311 -x27 -x1309 -x1307 -x1305 -x1303 -x1301 -x1299
1800.04/1800.53 v -x1297 -x1295 -x1293 -x1291 -x1289 -x1287 -x1285 -x1283 -x1281 -x26 -x1279 -x1277 -x1275 -x1273 -x1271 -x1269 -x1267 -x1265
1800.04/1800.53 v -x1263 -x1261 -x1259 -x1257 -x1255 -x1253 -x1251 -x25 -x1249 -x1247 -x1245 -x1243 -x1241 -x1239 -x1237 -x1235 -x1233 -x1231
1800.04/1800.53 v -x1229 -x1227 -x1225 -x1223 -x1221 -x24 -x1219 -x1217 -x1215 -x1213 -x1211 -x1209 -x1207 -x1205 -x1203 -x1201 -x1199 -x1197
1800.04/1800.53 v -x1195 -x1193 -x1191 -x1189 -x1187 -x1185 -x1183 -x1181 -x1179 -x1177 -x1175 -x1173 x1171 -x1169 -x1167 -x1165 -x1163 -x1161
1800.04/1800.53 v -x1159 -x1157 -x1155 -x1153 -x1151 -x1149 -x1147 -x1145 -x23 -x1143 -x1141 -x1139 -x1137 -x1135 -x1133 -x1131 -x1129 -x1127
1800.04/1800.53 v -x1125 -x1123 -x1121 -x1119 -x1117 -x1115 -x22 -x1113 -x1111 -x1109 -x21 -x1107 -x1105 -x1103 -x1101 -x1099 -x1097 -x1095 -x20
1800.04/1800.53 v -x1093 -x1091 -x1089 -x1087 -x1085 -x1083 -x1081 -x19 -x1079 -x1077 -x1075 -x1073 -x1071 -x1069 -x1067 -x1065 -x1063 -x1061
1800.04/1800.53 v -x1059 -x1057 -x1055 -x1053 -x1051 -x18 -x1049 -x1047 -x1045 -x1043 -x1041 -x1039 -x1037 -x17 -x1035 -x1033 -x1031 x1029 -x1027
1800.04/1800.53 v -x1025 -x1023 -x1021 -x1019 -x1017 -x1015 -x1013 -x1011 -x1009 -x1007 -x1005 -x1003 -x1001 -x999 -x997 -x995 -x993 -x991
1800.04/1800.53 v -x989 -x987 -x985 -x983 -x981 -x979 -x977 -x16 -x975 -x973 -x971 -x969 -x967 -x965 -x963 -x961 -x959 -x957 -x955 -x953 -x951
1800.04/1800.53 v -x949 -x947 -x945 -x943 -x941 -x939 -x937 -x935 -x933 -x931 -x929 -x927 -x925 -x923 -x921 -x919 -x917 -x915 -x15 -x913 -x911
1800.04/1800.53 v -x909 -x907 -x905 -x903 -x901 -x14 -x899 -x897 -x895 -x893 -x891 -x889 -x887 -x885 -x883 -x881 -x879 -x877 -x875 -x873 -x871
1800.04/1800.53 v -x13 -x869 -x867 -x865 -x863 -x861 -x859 -x857 -x855 -x853 -x851 -x849 -x847 -x845 -x843 -x841 -x12 -x839 -x837 -x835 -x833
1800.04/1800.53 v -x831 -x829 -x827 -x825 -x823 -x821 -x819 -x817 -x815 -x813 -x811 -x809 -x807 -x805 -x803 -x801 -x799 -x797 -x795 -x793 -x791
1800.04/1800.53 v -x789 -x787 -x785 -x783 -x781 -x779 -x11 -x777 -x775 -x773 -x771 -x769 -x767 -x765 -x763 -x761 -x759 -x757 -x755 -x753 -x751
1800.04/1800.53 v -x749 -x10 -x747 -x745 -x743 -x741 -x739 -x737 -x735 -x733 -x731 -x729 -x727 -x725 -x723 -x721 -x719 -x717 -x715 -x713 -x711
1800.04/1800.53 v -x709 -x707 -x705 -x703 -x701 -x699 -x697 -x695 -x693 -x691 -x689 -x687 -x9 -x685 -x683 -x681 -x679 -x677 -x675 -x673 -x671
1800.04/1800.53 v -x669 -x667 -x665 -x663 -x661 -x659 -x657 -x655 -x653 -x651 -x649 -x647 -x645 -x643 -x641 -x639 -x637 -x635 -x633 -x631 -x629
1800.04/1800.53 v -x627 -x625 -x8 -x623 -x621 -x619 -x617 -x615 -x613 -x611 -x609 -x607 -x605 -x603 -x601 -x599 -x597 -x595 -x593 -x591 -x589
1800.04/1800.53 v -x587 -x585 -x583 -x581 -x579 -x577 -x575 -x573 -x571 -x569 -x567 -x565 -x563 -x561 -x559 -x557 -x555 -x553 -x551 x549 -x547
1800.04/1800.53 v -x545 -x543 -x541 -x539 -x537 -x535 -x533 -x531 -x529 -x527 -x525 -x523 -x521 -x519 -x517 -x515 -x513 -x511 -x509 -x507 -x505
1800.04/1800.53 v -x503 -x501 -x499 -x497 -x495 -x493 -x491 -x489 -x487 -x485 -x7 -x483 -x481 -x479 -x477 -x475 -x473 -x471 -x469 -x467 -x465
1800.04/1800.53 v -x463 -x461 -x459 -x457 -x455 -x6 -x453 -x451 -x449 -x447 -x445 -x443 -x441 -x5 -x439 -x437 -x435 -x433 -x431 -x429 -x427 -x425
1800.04/1800.53 v -x423 -x421 -x419 -x417 -x415 -x413 -x411 -x4 -x409 -x407 -x405 -x403 -x401 -x399 -x397 -x395 -x393 -x391 -x389 -x387 -x385
1800.04/1800.53 v -x383 -x381 -x3 -x379 -x377 -x375 -x373 -x371 -x369 -x367 -x365 -x363 -x361 -x359 -x357 -x355 -x353 -x351 -x2 -x349 -x347 -x345
1800.04/1800.53 v -x343 -x341 -x339 -x337 x335 -x333 -x331 -x329 -x327 -x325 -x323 -x321 -x319 -x317 -x315 -x313 -x311 -x309 -x307 -x305 -x303
1800.04/1800.53 v -x301 -x299 -x297 -x295 -x293 -x291 -x289 -x287 -x285 -x283 -x281 -x279 -x277 -x275 -x273 -x271 -x269 -x267 -x265 -x263
1800.04/1800.53 v -x261 -x259 -x1 -x257 -x255 -x253 -x251 -x249 -x247 -x245 -x243 -x241 -x239 -x237 -x235 -x233 -x231 -x229 -x227 -x225 -x223 -x221
1800.04/1800.53 v -x219 -x217 -x215 -x213 -x211 -x209 -x207 -x205 -x203 -x201 -x199 -x197 x195 x5256 x5254 -x5252 -x5250 -x5248 -x5246 x5244
1800.04/1800.53 v -x5242 -x5240 -x5238 -x5236 -x5234 -x5232 -x5230 -x5228 -x5226 -x5224 -x5222 -x5220 -x5218 -x5216 -x5214 -x5212 -x5210 -x5208
1800.04/1800.53 v -x5206 -x5204 -x5202 -x5200 -x5198 -x5196 -x5194 -x5192 -x5190 -x5188 -x5186 -x5184 -x5182 -x5180 -x5178 -x5176 -x5174 x5172
1800.04/1800.53 v -x5170 -x5168 -x5166 -x5164 x5162 -x5160 -x5158 -x5156 -x5154 -x5152 -x5150 -x5148 -x5146 -x5144 -x5142 -x5140 -x5138 -x5136
1800.04/1800.53 v -x5134 -x5132 -x5130 -x5128 -x5126 -x5124 -x5122 -x5120 -x5118 -x5116 -x5114 -x5112 -x5110 -x5108 -x5106 -x5104 -x5102 -x5100
1800.04/1800.53 v -x5098 -x5096 -x5094 -x5092 -x5090 -x5088 -x5086 -x5084 -x5082 -x5080 -x5078 -x5076 -x5074 -x5072 -x5070 -x5068 -x5066 -x5064
1800.04/1800.53 v -x5062 -x5060 -x5058 -x5056 -x5054 -x5052 -x5050 -x5048 -x5046 -x5044 -x5042 -x5040 -x5038 -x5036 -x5034 -x5032 -x5030
1800.04/1800.53 v -x5028 -x5026 -x5024 -x5022 -x5020 -x5018 -x5016 -x5014 -x5012 -x5010 -x5008 x5006 -x5004 -x5002 -x5000 -x4998 -x4996 -x4994
1800.04/1800.53 v -x4992 -x4990 -x4988 -x4986 -x4984 -x4982 -x4980 -x4978 -x4976 -x4974 -x4972 -x4970 -x4968 -x4966 -x4964 -x4962 -x4960 -x4958
1800.04/1800.53 v -x4956 -x4954 -x4952 -x4950 -x4948 -x4946 -x4944 -x4942 -x4940 -x4938 -x4936 -x4934 -x4932 -x4930 -x4928 -x4926 -x4924 -x4922
1800.04/1800.53 v -x4920 -x4918 -x4916 -x4914 -x4912 -x4910 -x4908 -x4906 -x4904 -x4902 -x4900 -x4898 -x4896 -x4894 -x4892 -x4890 -x4888 -x4886
1800.04/1800.53 v -x4884 -x4882 -x4880 -x4878 -x4876 -x4874 -x4872 -x4870 -x4868 -x4866 -x4864 -x4862 -x4860 -x4858 -x4856 -x4854 -x4852 -x4850
1800.04/1800.53 v -x4848 -x4846 -x4844 -x4842 -x4840 -x4838 -x4836 -x4834 -x4832 -x4830 -x4828 -x4826 -x4824 -x4822 -x4820 -x4818 -x4816 -x4814
1800.04/1800.53 v -x4812 -x4810 -x4808 -x4806 -x4804 -x4802 -x4800 -x4798 -x4796 -x4794 -x4792 -x4790 -x4788 -x4786 -x4784 -x4782 -x4780 -x4778
1800.04/1800.53 v -x4776 -x4774 -x4772 -x4770 -x4768 -x4766 -x4764 -x4762 -x4760 -x4758 -x4756 -x4754 -x4752 -x4750 -x4748 -x4746 -x4744
1800.04/1800.53 v -x4742 -x4740 -x4738 -x4736 -x4734 -x4732 -x4730 -x4728 -x4726 -x4724 -x4722 -x4720 -x4718 -x4716 -x4714 -x4712 -x4710 -x4708
1800.04/1800.53 v -x4706 -x4704 -x4702 -x4700 -x4698 -x4696 -x4694 -x4692 -x4690 -x4688 -x4686 -x4684 -x4682 -x4680 -x4678 -x4676 -x4674 -x4672
1800.04/1800.53 v -x4670 -x4668 -x4666 -x4664 -x4662 -x4660 -x4658 -x4656 -x4654 -x4652 -x4650 -x4648 -x4646 -x4644 -x4642 -x4640 -x4638 -x4636
1800.04/1800.53 v -x4634 -x4632 -x4630 -x4628 -x4626 -x4624 -x4622 -x4620 -x4618 -x4616 -x4614 -x4612 -x4610 -x4608 -x4606 -x4604 -x4602 -x4600
1800.04/1800.53 v -x4598 -x4596 -x4594 -x4592 -x4590 -x4588 -x4586 -x4584 -x4582 -x4580 -x4578 -x4576 -x4574 -x4572 -x4570 -x4568 -x4566 -x4564
1800.04/1800.53 v -x4562 -x4560 -x4558 -x4556 -x4554 -x4552 -x4550 -x4548 -x4546 -x4544 -x4542 -x4540 -x4538 -x4536 -x4534 -x4532 -x4530 -x4528
1800.04/1800.53 v x4526 -x4524 -x4522 -x4520 -x4518 -x4516 -x4514 -x4512 -x4510 -x4508 -x4506 -x4504 -x4502 -x4500 -x4498 -x4496 -x4494 -x4492
1800.04/1800.53 v -x4490 -x4488 -x4486 x4484 -x4482 -x4480 -x4478 -x4476 -x4474 -x4472 -x4470 -x4468 -x4466 -x4464 -x4462 -x4460 -x4458 -x4456
1800.04/1800.53 v -x4454 -x4452 -x4450 -x4448 -x4446 -x4444 -x4442 -x4440 -x4438 -x4436 -x4434 -x4432 -x4430 -x4428 -x4426 -x4424 -x4422
1800.04/1800.53 v -x4420 -x4418 -x4416 -x4414 -x4412 -x4410 -x4408 -x4406 -x4404 -x4402 -x4400 -x4398 -x4396 -x4394 -x4392 -x4390 -x4388 -x4386
1800.04/1800.53 v -x4384 -x4382 -x4380 -x4378 -x4376 x4374 -x4372 -x4370 -x4368 -x4366 -x4364 -x4362 -x4360 -x4358 x4356 -x4354 -x4352 -x4350
1800.04/1800.53 v x4348 -x4346 -x4344 -x4342 -x4340 -x4338 -x4336 -x4334 -x4332 -x4330 -x4328 -x4326 -x4324 -x4322 -x4320 -x4318 -x4316 -x4314
1800.04/1800.53 v -x4312 -x4310 -x4308 -x4306 -x4304 -x4302 -x4300 -x4298 -x4296 -x4294 -x4292 -x4290 -x4288 -x4286 -x4284 -x4282 -x4280 -x4278
1800.04/1800.53 v -x4276 -x4274 -x4272 -x4270 -x4268 -x4266 -x4264 -x4262 -x4260 -x4258 -x4256 -x4254 -x4252 -x4250 -x4248 -x4246 -x4244 -x4242
1800.04/1800.53 v -x4240 -x4238 -x4236 -x4234 -x4232 -x4230 -x4228 -x4226 -x4224 -x4222 -x4220 -x4218 -x4216 -x4214 x4212 -x4210 -x4208 -x4206
1800.04/1800.53 v -x4204 -x4202 -x4200 -x4198 -x4196 -x4194 -x4192 -x4190 -x4188 -x4186 -x4184 -x4182 -x4180 -x4178 -x4176 -x4174 -x4172 -x4170
1800.04/1800.53 v -x4168 -x4166 -x4164 -x4162 -x4160 -x4158 -x4156 -x4154 -x4152 -x4150 -x4148 -x4146 -x4144 -x4142 -x4140 -x4138 -x4136 -x4134
1800.04/1800.53 v -x4132 -x4130 -x4128 -x4126 -x4124 -x4122 -x4120 -x4118 -x4116 -x4114 -x4112 -x4110 -x4108 -x4106 -x4104 -x4102 -x4100 -x4098
1800.04/1800.53 v -x4096 -x4094 -x4092 -x4090 -x4088 -x4086 -x4084 -x4082 -x4080 -x4078 -x4076 -x4074 -x4072 -x4070 -x4068 -x4066 -x4064 -x4062
1800.04/1800.53 v -x4060 -x4058 -x4056 -x4054 -x4052 -x4050 -x4048 -x4046 -x4044 -x4042 -x4040 -x4038 -x4036 -x4034 -x4032 -x4030 -x4028
1800.04/1800.53 v -x4026 -x4024 -x4022 -x4020 -x4018 -x4016 -x4014 -x4012 -x4010 -x4008 -x4006 -x4004 -x4002 -x4000 -x3998 -x3996 -x3994 -x3992
1800.04/1800.53 v -x3990 -x3988 -x3986 -x3984 -x3982 -x3980 -x3978 -x3976 -x3974 -x3972 -x3970 -x3968 -x3966 -x3964 -x3962 -x3960 -x3958 -x3956
1800.04/1800.53 v -x3954 -x3952 -x3950 -x3948 -x3946 -x3944 -x3942 -x3940 -x3938 -x3936 -x3934 -x3932 -x3930 -x3928 -x3926 -x3924 -x3922 -x3920
1800.04/1800.53 v -x3918 -x3916 -x3914 -x3912 -x3910 -x3908 -x3906 -x3904 -x3902 -x3900 -x3898 -x3896 -x3894 -x3892 -x3890 -x3888 -x3886 -x3884
1800.04/1800.53 v -x3882 -x3880 -x3878 -x3876 -x3874 -x3872 -x3870 -x3868 -x3866 -x3864 -x3862 -x3860 -x3858 -x3856 -x3854 -x3852 -x3850 -x3848
1800.04/1800.53 v -x3846 -x3844 -x3842 -x3840 -x3838 -x3836 -x3834 -x3832 -x3830 -x3828 -x3826 -x3824 -x3822 -x3820 -x3818 -x3816 -x3814 -x3812
1800.04/1800.53 v -x3810 -x3808 -x3806 -x3804 -x3802 -x3800 -x3798 -x3796 -x3794 -x3792 -x3790 x3788 -x3786 -x3784 -x3782 -x3780 -x3778 -x3776
1800.04/1800.53 v -x3774 x3772 -x3770 -x3768 -x3766 -x3764 -x3762 -x3760 -x3758 -x3756 -x3754 -x3752 -x3750 -x3748 -x3746 -x3744 -x3742 -x3740
1800.04/1800.53 v -x3738 -x3736 -x3734 -x3732 -x3730 -x3728 -x3726 -x3724 -x3722 -x3720 -x3718 -x3716 -x3714 -x3712 -x3710 -x3708 -x3706
1800.04/1800.53 v -x3704 -x3702 -x3700 -x3698 -x3696 -x3694 -x3692 -x3690 -x3688 -x3686 -x3684 -x3682 -x3680 -x3678 -x3676 -x3674 -x3672 -x3670
1800.04/1800.53 v -x3668 -x3666 -x3664 -x3662 -x3660 -x3658 -x3656 -x3654 -x3652 -x3650 -x3648 -x3646 -x3644 -x3642 -x3640 -x3638 -x3636 -x3634
1800.04/1800.53 v -x3632 -x3630 -x3628 -x3626 -x3624 -x3622 -x3620 -x3618 -x3616 -x3614 -x3612 -x3610 -x3608 -x3606 -x3604 -x3602 -x3600 -x3598
1800.04/1800.53 v -x3596 -x3594 -x3592 -x3590 -x3588 -x3586 -x3584 -x3582 -x3580 -x3578 -x3576 -x3574 -x3572 -x3570 -x3568 -x3566 -x3564 -x3562
1800.04/1800.53 v -x3560 -x3558 -x3556 -x3554 -x3552 -x3550 -x3548 -x3546 -x3544 -x3542 -x3540 -x3538 -x3536 -x3534 -x3532 -x3530 -x3528 -x3526
1800.04/1800.53 v -x3524 -x3522 -x3520 -x3518 -x3516 -x3514 -x3512 -x3510 -x3508 -x3506 -x3504 -x3502 -x3500 -x3498 -x3496 -x3494 -x3492 -x3490
1800.04/1800.53 v -x3488 -x3486 -x3484 -x3482 -x3480 -x3478 -x3476 -x3474 -x3472 -x3470 -x3468 -x3466 -x3464 -x3462 -x3460 -x3458 -x3456
1800.04/1800.53 v -x3454 -x3452 -x3450 -x3448 -x3446 -x3444 -x3442 -x3440 -x3438 -x3436 -x3434 -x3432 -x3430 -x3428 -x3426 -x3424 -x3422 -x3420
1800.04/1800.53 v -x3418 -x3416 -x3414 -x3412 -x3410 -x3408 -x3406 -x3404 -x3402 -x3400 -x3398 -x3396 -x3394 -x3392 -x3390 -x3388 -x3386 -x3384
1800.04/1800.53 v -x3382 -x3380 -x3378 -x3376 -x3374 -x3372 -x3370 -x3368 -x3366 -x3364 -x3362 -x3360 -x3358 -x3356 -x3354 -x3352 -x3350 -x3348
1800.04/1800.53 v -x3346 -x3344 -x3342 -x3340 -x3338 -x3336 -x3334 -x3332 -x3330 -x3328 -x3326 -x3324 -x3322 -x3320 -x3318 -x3316 -x3314 -x3312
1800.04/1800.53 v -x3310 -x3308 -x3306 -x3304 -x3302 -x3300 -x3298 -x3296 -x3294 -x3292 -x3290 -x3288 -x3286 -x3284 -x3282 -x3280 -x3278 -x3276
1800.04/1800.53 v -x3274 -x3272 -x3270 -x3268 -x3266 -x3264 -x3262 -x3260 -x3258 -x3256 -x3254 -x3252 -x3250 -x3248 -x3246 -x3244 -x3242 -x3240
1800.04/1800.53 v -x3238 -x3236 -x3234 -x3232 -x3230 -x3228 -x3226 -x3224 -x3222 -x3220 -x3218 -x3216 -x3214 -x3212 -x3210 -x3208 -x3206
1800.04/1800.53 v -x3204 -x3202 -x3200 -x3198 -x3196 -x3194 -x3192 -x3190 -x3188 -x3186 -x3184 -x3182 -x3180 -x3178 -x3176 -x3174 -x3172 -x3170
1800.04/1800.53 v x3168 -x3166 -x3164 -x3162 -x3160 -x3158 -x3156 -x3154 -x3152 -x3150 -x3148 -x3146 -x3144 -x3142 -x3140 -x3138 -x3136 -x3134
1800.04/1800.53 v -x3132 -x3130 -x3128 -x3126 -x3124 -x3122 -x3120 -x3118 -x3116 -x3114 -x3112 -x3110 -x3108 -x3106 -x3104 -x3102 -x3100 -x3098
1800.04/1800.53 v -x3096 -x3094 -x3092 -x3090 -x3088 -x3086 -x3084 -x3082 -x3080 -x3078 -x3076 -x3074 -x3072 -x3070 -x3068 -x3066 -x3064 -x3062
1800.04/1800.53 v -x3060 -x3058 -x3056 -x3054 -x3052 -x3050 -x3048 -x3046 -x3044 -x3042 -x3040 -x3038 -x3036 -x3034 -x3032 -x3030 -x3028 -x3026
1800.04/1800.53 v -x3024 -x3022 -x3020 -x3018 -x3016 -x3014 -x3012 x3010 -x3008 -x3006 -x3004 -x3002 -x3000 -x2998 -x2996 -x2994 -x2992 -x2990
1800.04/1800.53 v -x2988 -x2986 -x2984 -x2982 -x2980 -x2978 -x2976 -x2974 -x2972 -x2970 -x2968 -x2966 -x2964 -x2962 -x2960 -x2958 -x2956 -x2954
1800.04/1800.53 v -x2952 -x2950 -x2948 -x2946 -x2944 -x2942 -x2940 -x2938 -x2936 -x2934 -x2932 -x2930 -x2928 -x2926 -x2924 -x2922 -x2920 -x2918
1800.04/1800.53 v x2916 -x2914 -x2912 -x2910 -x2908 -x2906 -x2904 -x2902 -x2900 -x2898 -x2896 -x2894 -x2892 -x2890 -x2888 -x2886 -x2884 -x2882
1800.04/1800.53 v -x2880 -x2878 -x2876 -x2874 -x2872 -x2870 -x2868 -x2866 -x2864 -x2862 -x2860 -x2858 -x2856 -x2854 -x2852 -x2850 -x2848
1800.04/1800.53 v -x2846 -x2844 -x2842 -x2840 -x2838 -x2836 -x2834 -x2832 -x2830 -x2828 -x2826 -x2824 -x2822 -x2820 -x2818 -x2816 -x2814 -x2812
1800.04/1800.53 v -x2810 -x2808 -x2806 -x2804 -x2802 -x2800 -x2798 -x2796 -x2794 -x2792 -x2790 -x2788 -x2786 -x2784 -x2782 -x2780 -x2778 -x2776
1800.04/1800.53 v -x2774 -x2772 -x2770 -x2768 -x2766 -x2764 -x2762 -x2760 -x2758 -x2756 -x2754 -x2752 -x2750 -x2748 -x2746 -x2744 -x2742 -x2740
1800.04/1800.53 v -x2738 -x2736 -x2734 -x2732 -x2730 -x2728 -x2726 -x2724 -x2722 -x2720 -x2718 -x2716 -x2714 -x2712 -x2710 -x2708 -x2706 -x2704
1800.04/1800.53 v -x2702 -x2700 -x2698 -x2696 -x2694 -x2692 -x2690 -x2688 -x2686 -x2684 -x2682 -x2680 -x2678 -x2676 -x2674 -x2672 -x2670 -x2668
1800.04/1800.53 v -x2666 -x2664 -x2662 -x2660 -x2658 -x2656 -x2654 -x2652 -x2650 -x2648 -x2646 -x2644 -x2642 -x2640 -x2638 -x2636 -x2634 -x2632
1800.04/1800.53 v -x2630 -x2628 -x2626 -x2624 -x2622 -x2620 -x2618 -x2616 -x2614 -x2612 -x2610 -x2608 -x2606 -x2604 -x2602 -x2600 -x2598
1800.04/1800.53 v -x2596 -x2594 -x2592 -x2590 -x2588 -x2586 -x2584 -x2582 -x2580 -x2578 -x2576 -x2574 -x2572 -x2570 -x2568 -x2566 -x2564 -x2562
1800.04/1800.53 v -x2560 -x2558 -x2556 -x2554 -x2552 -x2550 -x2548 -x2546 -x2544 -x2542 -x2540 -x2538 -x2536 -x2534 -x2532 -x2530 -x2528 -x2526
1800.04/1800.53 v -x2524 -x2522 -x2520 -x2518 -x2516 -x2514 -x2512 -x2510 -x2508 -x2506 -x2504 -x2502 -x2500 -x2498 -x2496 -x2494 -x2492 -x2490
1800.04/1800.53 v -x2488 -x2486 -x2484 x2482 -x2480 -x2478 -x2476 -x2474 -x2472 -x2470 -x2468 -x2466 -x2464 -x2462 -x2460 -x2458 -x2456 -x2454
1800.04/1800.53 v -x2452 -x2450 -x2448 -x2446 -x2444 -x2442 -x2440 -x2438 -x2436 -x2434 -x2432 -x2430 -x2428 -x2426 -x2424 -x2422 -x2420 -x2418
1800.04/1800.53 v -x2416 -x2414 -x2412 -x2410 -x2408 -x2406 x2404 -x2402 -x2400 -x2398 -x2396 -x2394 -x2392 -x2390 -x2388 -x2386 -x2384 -x2382
1800.04/1800.53 v -x2380 -x2378 -x2376 -x2374 -x2372 -x2370 -x2368 -x2366 -x2364 -x2362 -x2360 -x2358 -x2356 -x2354 -x2352 -x2350 -x2348 -x2346
1800.04/1800.53 v -x2344 -x2342 -x2340 -x2338 -x2336 -x2334 -x2332 -x2330 -x2328 -x2326 -x2324 -x2322 -x2320 -x2318 -x2316 -x2314 -x2312 -x2310
1800.04/1800.53 v -x2308 -x2306 -x2304 -x2302 -x2300 -x2298 -x2296 -x2294 -x2292 -x2290 -x2288 -x2286 -x2284 -x2282 -x2280 -x2278 -x2276
1800.04/1800.53 v -x2274 -x2272 -x2270 -x2268 -x2266 -x2264 -x2262 -x2260 -x2258 -x2256 -x2254 -x2252 -x2250 -x2248 -x2246 -x2244 -x2242 -x2240
1800.04/1800.53 v -x2238 -x2236 -x2234 -x2232 -x2230 -x2228 -x2226 -x2224 -x2222 -x2220 -x2218 -x2216 -x2214 -x2212 -x2210 -x2208 -x2206 -x2204
1800.04/1800.53 v -x2202 -x2200 -x2198 -x2196 -x2194 -x2192 -x2190 -x2188 -x2186 -x2184 -x2182 -x2180 -x2178 -x2176 -x2174 -x2172 -x2170 -x2168
1800.04/1800.53 v -x2166 -x2164 -x2162 -x2160 -x2158 -x2156 -x2154 -x2152 -x2150 -x2148 -x2146 -x2144 -x2142 -x2140 -x2138 -x2136 -x2134 -x2132
1800.04/1800.53 v -x2130 -x2128 -x2126 -x2124 -x2122 -x2120 -x2118 -x2116 -x2114 -x2112 -x2110 -x2108 -x2106 -x2104 -x2102 -x2100 -x2098 -x2096
1800.04/1800.53 v -x2094 -x2092 -x2090 -x2088 -x2086 -x2084 -x2082 -x2080 -x2078 -x2076 -x2074 -x2072 -x2070 -x2068 -x2066 -x2064 -x2062 -x2060
1800.04/1800.53 v -x2058 -x2056 -x2054 -x2052 -x2050 -x2048 -x2046 -x2044 -x2042 -x2040 -x2038 -x2036 -x2034 -x2032 -x2030 -x2028 -x2026
1800.04/1800.53 v -x2024 -x2022 -x2020 -x2018 -x2016 -x2014 -x2012 -x2010 -x2008 -x2006 -x2004 -x2002 -x2000 -x1998 -x1996 -x1994 -x1992 -x1990
1800.04/1800.53 v -x1988 -x1986 -x1984 -x1982 -x1980 -x1978 -x1976 -x1974 -x1972 -x1970 -x1968 -x1966 -x1964 -x1962 -x1960 -x1958 -x1956 -x1954
1800.04/1800.53 v -x1952 -x1950 -x1948 -x1946 -x1944 -x1942 -x1940 -x1938 -x1936 -x1934 -x1932 -x1930 -x1928 -x1926 -x1924 -x1922 -x1920 -x1918
1800.04/1800.53 v -x1916 -x1914 -x1912 -x1910 -x1908 -x1906 -x1904 -x1902 -x1900 -x1898 -x1896 -x1894 -x1892 -x1890 -x1888 -x1886 -x1884 -x1882
1800.04/1800.53 v -x1880 -x1878 -x1876 -x1874 -x1872 x1870 -x1868 -x1866 -x1864 -x1862 -x1860 -x1858 -x1856 -x1854 -x1852 -x1850 -x1848 -x1846
1800.04/1800.53 v -x1844 -x1842 -x1840 -x1838 -x1836 -x1834 -x1832 -x1830 -x1828 -x1826 -x1824 -x1822 -x1820 -x1818 -x1816 -x1814 -x1812 -x1810
1800.04/1800.53 v -x1808 -x1806 x1804 -x1802 -x1800 -x1798 -x1796 -x1794 -x1792 -x1790 -x1788 -x1786 -x1784 -x1782 -x1780 -x1778 -x1776 -x1774
1800.04/1800.53 v -x1772 -x1770 x1768 -x1766 -x1764 -x1762 -x1760 -x1758 -x1756 -x1754 -x1752 -x1750 -x1748 -x1746 -x1744 -x1742 -x1740 -x1738
1800.04/1800.53 v -x1736 -x1734 -x1732 -x1730 -x1728 -x1726 -x1724 -x1722 -x1720 -x1718 -x1716 -x1714 -x1712 -x1710 -x1708 -x1706 -x1704 -x1702
1800.04/1800.53 v -x1700 -x1698 -x1696 -x1694 -x1692 -x1690 -x1688 -x1686 -x1684 -x1682 -x1680 -x1678 -x1676 -x1674 -x1672 -x1670 -x1668
1800.04/1800.53 v -x1666 -x1664 -x1662 -x1660 -x1658 -x1656 -x1654 -x1652 -x1650 -x1648 -x1646 -x1644 -x1642 -x1640 -x1638 -x1636 -x1634 -x1632
1800.04/1800.53 v -x1630 -x1628 -x1626 -x1624 -x1622 -x1620 -x1618 -x1616 -x1614 -x1612 -x1610 -x1608 -x1606 -x1604 -x1602 -x1600 -x1598 -x1596
1800.04/1800.53 v -x1594 -x1592 -x1590 -x1588 -x1586 -x1584 -x1582 -x1580 -x1578 -x1576 -x1574 -x1572 -x1570 -x1568 -x1566 -x1564 -x1562 -x1560
1800.04/1800.53 v -x1558 -x1556 -x1554 -x1552 -x1550 -x1548 -x1546 -x1544 -x1542 -x1540 -x1538 -x1536 -x1534 -x1532 -x1530 -x1528 -x1526 -x1524
1800.04/1800.53 v -x1522 -x1520 -x1518 -x1516 -x1514 -x1512 -x1510 -x1508 -x1506 -x1504 -x1502 -x1500 -x1498 -x1496 -x1494 -x1492 -x1490 -x1488
1800.04/1800.53 v -x1486 -x1484 -x1482 -x1480 -x1478 -x1476 -x1474 -x1472 -x1470 -x1468 -x1466 -x1464 -x1462 -x1460 -x1458 -x1456 -x1454 -x1452
1800.04/1800.53 v -x1450 -x1448 -x1446 -x1444 -x1442 -x1440 -x1438 -x1436 -x1434 -x1432 -x1430 -x1428 -x1426 -x1424 -x1422 -x1420 -x1418
1800.04/1800.53 v -x1416 -x1414 -x1412 -x1410 -x1408 -x1406 -x1404 -x1402 -x1400 -x1398 -x1396 -x1394 -x1392 -x1390 -x1388 -x1386 -x1384 -x1382
1800.04/1800.53 v -x1380 -x1378 -x1376 -x1374 -x1372 -x1370 -x1368 -x1366 -x1364 -x1362 -x1360 -x1358 -x1356 -x1354 -x1352 -x1350 -x1348 -x1346
1800.04/1800.53 v -x1344 -x1342 -x1340 -x1338 -x1336 -x1334 -x1332 -x1330 -x1328 -x1326 -x1324 -x1322 -x1320 -x1318 -x1316 -x1314 -x1312 -x1310
1800.04/1800.53 v -x1308 -x1306 -x1304 -x1302 -x1300 -x1298 -x1296 -x1294 -x1292 -x1290 -x1288 -x1286 -x1284 -x1282 -x1280 -x1278 -x1276 -x1274
1800.04/1800.53 v -x1272 -x1270 -x1268 -x1266 -x1264 -x1262 -x1260 -x1258 -x1256 -x1254 -x1252 -x1250 -x1248 -x1246 -x1244 -x1242 -x1240 -x1238
1800.04/1800.53 v -x1236 -x1234 -x1232 -x1230 -x1228 -x1226 -x1224 -x1222 -x1220 -x1218 -x1216 -x1214 -x1212 -x1210 -x1208 -x1206 -x1204 -x1202
1800.04/1800.53 v -x1200 -x1198 -x1196 -x1194 -x1192 -x1190 -x1188 -x1186 -x1184 -x1182 -x1180 -x1178 -x1176 -x1174 x1172 -x1170 -x1168 -x1166
1800.04/1800.53 v -x1164 -x1162 -x1160 -x1158 -x1156 -x1154 -x1152 -x1150 -x1148 -x1146 -x1144 -x1142 -x1140 -x1138 -x1136 -x1134 -x1132
1800.04/1800.53 v -x1130 -x1128 -x1126 -x1124 -x1122 -x1120 -x1118 -x1116 -x1114 -x1112 -x1110 -x1108 -x1106 -x1104 -x1102 -x1100 -x1098 -x1096
1800.04/1800.53 v -x1094 -x1092 -x1090 -x1088 -x1086 -x1084 -x1082 -x1080 -x1078 -x1076 -x1074 -x1072 -x1070 -x1068 -x1066 -x1064 -x1062 -x1060
1800.04/1800.53 v -x1058 -x1056 -x1054 -x1052 -x1050 -x1048 -x1046 -x1044 -x1042 -x1040 -x1038 -x1036 -x1034 -x1032 x1030 -x1028 -x1026 -x1024
1800.04/1800.53 v -x1022 -x1020 -x1018 -x1016 -x1014 -x1012 -x1010 -x1008 -x1006 -x1004 -x1002 -x1000 -x998 -x996 -x994 -x992 -x990 -x988 -x986
1800.04/1800.53 v -x984 -x982 -x980 -x978 -x976 -x974 -x972 -x970 -x968 -x966 -x964 -x962 -x960 -x958 -x956 -x954 -x952 -x950 -x948 -x946 -x944
1800.04/1800.53 v -x942 -x940 -x938 -x936 -x934 -x932 -x930 -x928 -x926 -x924 -x922 -x920 -x918 -x916 -x914 -x912 -x910 -x908 -x906 -x904 -x902
1800.04/1800.53 v -x900 -x898 -x896 -x894 -x892 -x890 -x888 -x886 -x884 -x882 -x880 -x878 -x876 -x874 -x872 -x870 -x868 -x866 -x864 -x862
1800.04/1800.53 v -x860 -x858 -x856 -x854 -x852 -x850 -x848 -x846 -x844 -x842 -x840 -x838 -x836 -x834 -x832 -x830 -x828 -x826 -x824 -x822 -x820
1800.04/1800.53 v -x818 -x816 -x814 -x812 -x810 -x808 -x806 -x804 -x802 -x800 -x798 -x796 -x794 -x792 -x790 -x788 -x786 -x784 -x782 -x780 -x778
1800.04/1800.53 v -x776 -x774 -x772 -x770 -x768 -x766 -x764 -x762 -x760 -x758 -x756 -x754 -x752 -x750 -x748 -x746 -x744 -x742 -x740 -x738 -x736
1800.04/1800.53 v -x734 -x732 -x730 -x728 -x726 -x724 -x722 -x720 -x718 -x716 -x714 -x712 -x710 -x708 -x706 -x704 -x702 -x700 -x698 -x696 -x694
1800.04/1800.53 v -x692 -x690 -x688 -x686 -x684 -x682 -x680 -x678 -x676 -x674 -x672 -x670 -x668 -x666 -x664 -x662 -x660 -x658 -x656 -x654 -x652
1800.04/1800.53 v -x650 -x648 -x646 -x644 -x642 -x640 -x638 -x636 -x634 -x632 -x630 -x628 -x626 -x624 -x622 -x620 -x618 -x616 -x614 -x612
1800.04/1800.53 v -x610 -x608 -x606 -x604 -x602 -x600 -x598 -x596 -x594 -x592 -x590 -x588 -x586 -x584 -x582 -x580 -x578 -x576 -x574 -x572 -x570
1800.04/1800.53 v -x568 -x566 -x564 -x562 -x560 -x558 -x556 -x554 -x552 x550 -x548 -x546 -x544 -x542 -x540 -x538 -x536 -x534 -x532 -x530 -x528
1800.04/1800.53 v -x526 -x524 -x522 -x520 -x518 -x516 -x514 -x512 -x510 -x508 -x506 -x504 -x502 -x500 -x498 -x496 -x494 -x492 -x490 -x488 -x486
1800.04/1800.53 v -x484 -x482 -x480 -x478 -x476 -x474 -x472 -x470 -x468 -x466 -x464 -x462 -x460 -x458 -x456 -x454 -x452 -x450 -x448 -x446 -x444
1800.04/1800.53 v -x442 -x440 -x438 -x436 -x434 -x432 -x430 -x428 -x426 -x424 -x422 -x420 -x418 -x416 -x414 -x412 -x410 -x408 -x406 -x404 -x402
1800.04/1800.53 v -x400 -x398 -x396 -x394 -x392 -x390 -x388 -x386 -x384 -x382 -x380 -x378 -x376 -x374 -x372 -x370 -x368 -x366 -x364 -x362 -x360
1800.04/1800.53 v -x358 -x356 -x354 -x352 -x350 -x348 -x346 -x344 -x342 -x340 -x338 x336 -x334 -x332 -x330 -x328 -x326 -x324 -x322 -x320 -x318
1800.04/1800.53 v -x316 -x314 -x312 -x310 -x308 -x306 -x304 -x302 -x300 -x298 -x296 -x294 -x292 -x290 -x288 -x286 -x284 -x282 -x280 -x278
1800.04/1800.53 v -x276 -x274 -x272 -x270 -x268 -x266 -x264 -x262 -x260 -x258 -x256 -x254 -x252 -x250 -x248 -x246 -x244 -x242 -x240 -x238 -x236
1800.04/1800.53 v -x234 -x232 -x230 -x228 -x226 -x224 -x222 -x220 -x218 -x216 -x214 -x212 -x210 -x208 -x206 -x204 -x202 -x200 -x198 x196
1800.04/1800.53 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.53 c Solving Time : 1742.37
1800.04/1800.53 c Original Problem :
1800.04/1800.53 c Problem name : HOME/instance-2666804-1276636740.opb
1800.04/1800.53 c Variables : 5256 (5256 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.53 c Constraints : 15614 initial, 15614 maximal
1800.04/1800.53 c Presolved Problem :
1800.04/1800.53 c Problem name : t_HOME/instance-2666804-1276636740.opb
1800.04/1800.53 c Variables : 2493 (2493 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.53 c Constraints : 9032 initial, 9166 maximal
1800.04/1800.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.53 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.53 c dualfix : 0.01 1 0 0 0 0 0 0 0
1800.04/1800.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.53 c implics : 0.01 0 9 0 0 0 0 0 0
1800.04/1800.53 c probing : 0.08 0 0 0 0 0 0 0 0
1800.04/1800.53 c linear : 0.17 222 2531 0 222 0 6582 0 0
1800.04/1800.53 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.53 c root node : - 0 - - 0 - - - -
1800.04/1800.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.53 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.53 c logicor : 9032+ 11 5537516 0 0 707983 10700645 0 0 0
1800.04/1800.53 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.53 c integral : 8.66 0.00 0.00 8.66 0.00
1800.04/1800.53 c logicor : 450.96 0.02 450.94 0.00 0.00
1800.04/1800.53 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.53 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.53 c vbounds : 3.69 2 0 0
1800.04/1800.53 c rootredcost : 3.98 0 0 0
1800.04/1800.53 c pseudoobj : 942.84 8278567 412526 10476195
1800.04/1800.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.53 c propagation : 398.11 1120509 1120509 1120509 68.5 35152 46.9 -
1800.04/1800.53 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.53 c pseudo solution : 0.88 1226 1226 1226 66.5 65 49.8 -
1800.04/1800.53 c applied globally : - - - 1156952 67.8 - - -
1800.04/1800.53 c applied locally : - - - 0 0.0 - - -
1800.04/1800.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.53 c cut pool : 0.01 10 - - 89 - (maximal pool size: 193)
1800.04/1800.53 c redcost : 0.00 12 0 0 0 0
1800.04/1800.53 c impliedbounds : 0.03 12 0 0 0 0
1800.04/1800.53 c intobj : 0.00 0 0 0 0 0
1800.04/1800.53 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.53 c gomory : 16.23 12 0 0 1000 0
1800.04/1800.53 c strongcg : 15.08 12 0 0 1524 0
1800.04/1800.53 c cmir : 0.81 10 0 0 0 0
1800.04/1800.53 c flowcover : 0.88 10 0 0 0 0
1800.04/1800.53 c clique : 0.03 12 0 0 60 0
1800.04/1800.53 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.53 c mcf : 0.01 1 0 0 0 0
1800.04/1800.53 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.53 c Pricers : Time Calls Vars
1800.04/1800.53 c problem variables: 0.00 0 0
1800.04/1800.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.53 c relpscost : 8.66 1 0 0 0 0 2
1800.04/1800.53 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.53 c inference : 57.94 1501594 0 0 0 0 3003188
1800.04/1800.53 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.53 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.53 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.53 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.53 c random : 0.00 0 0 0 0 0 0
1800.04/1800.53 c Primal Heuristics : Time Calls Found
1800.04/1800.53 c LP solutions : 0.00 - 0
1800.04/1800.53 c pseudo solutions : 0.00 - 0
1800.04/1800.53 c crossover : 0.00 0 0
1800.04/1800.53 c oneopt : 1.24 3 0
1800.04/1800.53 c trivial : 0.01 2 0
1800.04/1800.53 c simplerounding : 0.00 0 0
1800.04/1800.53 c zirounding : 0.00 1 0
1800.04/1800.53 c rounding : 0.03 11 2
1800.04/1800.53 c shifting : 0.05 11 1
1800.04/1800.53 c intshifting : 0.00 0 0
1800.04/1800.53 c twoopt : 0.00 0 0
1800.04/1800.53 c fixandinfer : 0.00 0 0
1800.04/1800.53 c feaspump : 0.00 0 0
1800.04/1800.53 c coefdiving : 0.00 0 0
1800.04/1800.53 c pscostdiving : 0.00 0 0
1800.04/1800.53 c fracdiving : 0.00 0 0
1800.04/1800.53 c veclendiving : 0.00 0 0
1800.04/1800.53 c intdiving : 0.00 0 0
1800.04/1800.53 c actconsdiving : 0.00 0 0
1800.04/1800.53 c objpscostdiving : 0.00 0 0
1800.04/1800.53 c rootsoldiving : 0.00 0 0
1800.04/1800.53 c linesearchdiving : 0.00 0 0
1800.04/1800.53 c guideddiving : 0.00 0 0
1800.04/1800.53 c octane : 0.00 0 0
1800.04/1800.53 c rens : 1.14 1 1
1800.04/1800.53 c rins : 0.00 0 0
1800.04/1800.53 c localbranching : 0.00 0 0
1800.04/1800.53 c mutation : 0.00 0 0
1800.04/1800.53 c dins : 0.00 0 0
1800.04/1800.53 c undercover : 0.00 0 0
1800.04/1800.53 c nlp : 1.15 0 0
1800.04/1800.53 c trysol : 0.84 0 0
1800.04/1800.53 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.53 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.53 c dual LP : 1.17 11 1823 165.73 1558.12
1800.04/1800.53 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.53 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.53 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.53 c strong branching : 8.66 22 7804 354.73 901.15
1800.04/1800.53 c (at root node) : - 22 7804 354.73 -
1800.04/1800.53 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.53 c B&B Tree :
1800.04/1800.53 c number of runs : 1
1800.04/1800.53 c nodes : 1971869
1800.04/1800.53 c nodes (total) : 1971869
1800.04/1800.53 c nodes left : 900
1800.04/1800.53 c max depth : 945
1800.04/1800.53 c max depth (total): 945
1800.04/1800.53 c backtracks : 719300 (36.5%)
1800.04/1800.53 c delayed cutoffs : 1023509
1800.04/1800.53 c repropagations : 2170124 (11925006 domain reductions, 651461 cutoffs)
1800.04/1800.53 c avg switch length: 3.19
1800.04/1800.53 c switching time : 102.25
1800.04/1800.53 c Solution :
1800.04/1800.53 c Solutions found : 4 (4 improvements)
1800.04/1800.53 c First Solution : +6.80000000000001e+01 (in run 1, after 1 nodes, 0.87 seconds, depth 0, found by <shifting>)
1800.04/1800.53 c Primal Bound : +2.70000000000000e+01 (in run 1, after 1 nodes, 32.91 seconds, depth 0, found by <rens>)
1800.04/1800.53 c Dual Bound : +2.49068519145018e+01
1800.04/1800.53 c Gap : 8.40 %
1800.04/1800.53 c Root Dual Bound : +2.46442124276274e+01
1800.04/1800.53 c Root Iterations : 1823
1800.15/1800.61 c Time complete: 1800.16.
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666804-1276636740/watcher-2666804-1276636740 -o /tmp/evaluation-result-2666804-1276636740/solver-2666804-1276636740 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666804-1276636740.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: 0.92 0.98 1.07 3/106 11847 /proc/meminfo: memFree=1403732/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=6696 CPUtime=0 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 988 0 0 0 0 0 0 0 18 0 1 0 4966937 6856704 908 1992294400 4194304 8223781 140737344358896 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11847/statm: 1674 908 343 984 0 687 0 [startup+0.072223 s] /proc/loadavg: 0.92 0.98 1.07 3/106 11847 /proc/meminfo: memFree=1403732/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=15520 CPUtime=0.06 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 3178 0 0 0 5 1 0 0 18 0 1 0 4966937 15892480 3097 1992294400 4194304 8223781 140737344358896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11847/statm: 3880 3097 365 984 0 2893 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 15520 [startup+0.101225 s] /proc/loadavg: 0.92 0.98 1.07 3/106 11847 /proc/meminfo: memFree=1403732/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=15520 CPUtime=0.09 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 3202 0 0 0 8 1 0 0 18 0 1 0 4966937 15892480 3121 1992294400 4194304 8223781 140737344358896 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11847/statm: 3880 3121 365 984 0 2893 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15520 [startup+0.301247 s] /proc/loadavg: 0.92 0.98 1.07 3/106 11847 /proc/meminfo: memFree=1403732/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=18300 CPUtime=0.29 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 4229 0 0 0 28 1 0 0 18 0 1 0 4966937 18739200 3794 1992294400 4194304 8223781 140737344358896 18446744073709551615 6206490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 4575 3794 367 984 0 3588 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18300 [startup+0.701283 s] /proc/loadavg: 0.92 0.98 1.07 3/106 11847 /proc/meminfo: memFree=1403732/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=45076 CPUtime=0.69 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 12079 0 0 0 61 8 0 0 18 0 1 0 4966937 46157824 10157 1992294400 4194304 8223781 140737344358896 18446744073709551615 4993940 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 11269 10157 453 984 0 10282 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45076 [startup+1.50136 s] /proc/loadavg: 0.92 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1354496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=59616 CPUtime=1.49 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 17206 0 0 0 138 11 0 0 19 0 1 0 4966937 61046784 13789 1992294400 4194304 8223781 140737344358896 18446744073709551615 4310644 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 14904 13789 547 984 0 13917 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59616 [startup+3.10152 s] /proc/loadavg: 0.92 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1341228/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=70164 CPUtime=3.09 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 20297 0 0 0 295 14 0 0 23 0 1 0 4966937 71847936 16410 1992294400 4194304 8223781 140737344358896 18446744073709551615 6054733 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 17541 16410 576 984 0 16554 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70164 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1335400/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=80344 CPUtime=6.29 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 22433 0 0 0 611 18 0 0 25 0 1 0 4966937 82272256 18234 1992294400 4194304 8223781 140737344358896 18446744073709551615 4866079 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 20086 18242 577 984 0 19099 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 80344 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1328456/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=82620 CPUtime=12.69 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 24300 0 0 0 1247 22 0 0 25 0 1 0 4966937 84602880 19320 1992294400 4194304 8223781 140737344358896 18446744073709551615 6047773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 20655 19320 570 984 0 19668 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82620 [startup+25.5007 s] /proc/loadavg: 0.95 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1327588/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=82716 CPUtime=25.48 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 25153 0 0 0 2517 31 0 0 25 0 1 0 4966937 84701184 19355 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 20679 19355 570 984 0 19692 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82716 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 1.07 2/107 11848 /proc/meminfo: memFree=1327216/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=84132 CPUtime=51.08 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47022 0 0 0 5035 73 0 0 25 0 1 0 4966937 86151168 19657 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21033 19657 596 984 0 20046 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 84132 [startup+102.308 s] /proc/loadavg: 0.98 0.98 1.06 2/107 11850 /proc/meminfo: memFree=1326348/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=84532 CPUtime=102.27 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47132 0 0 0 9985 242 0 0 25 0 1 0 4966937 86560768 19767 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21133 19767 596 984 0 20146 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 84532 [startup+162.301 s] /proc/loadavg: 0.99 0.98 1.06 2/107 11852 /proc/meminfo: memFree=1325976/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=84800 CPUtime=162.25 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47193 0 0 0 15785 440 0 0 25 0 1 0 4966937 86835200 19828 1992294400 4194304 8223781 140737344358896 18446744073709551615 5506140 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21200 19828 596 984 0 20213 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 84800 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.05 2/107 11854 /proc/meminfo: memFree=1325728/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85072 CPUtime=222.24 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47250 0 0 0 21592 632 0 0 25 0 1 0 4966937 87113728 19885 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21268 19885 596 984 0 20281 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 85072 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 11854 /proc/meminfo: memFree=1325356/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85208 CPUtime=282.22 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47309 0 0 0 27394 828 0 0 25 0 1 0 4966937 87252992 19944 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21302 19944 596 984 0 20315 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 85208 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 11856 /proc/meminfo: memFree=1324984/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85476 CPUtime=342.2 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47377 0 0 0 33198 1022 0 0 25 0 1 0 4966937 87527424 20012 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21369 20012 596 984 0 20382 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 85476 [startup+402.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 11858 /proc/meminfo: memFree=1324984/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85608 CPUtime=402.19 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47393 0 0 0 39007 1212 0 0 25 0 1 0 4966937 87662592 20028 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21402 20028 596 984 0 20415 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 85608 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 11860 /proc/meminfo: memFree=1324860/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85608 CPUtime=462.18 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47399 0 0 0 44814 1404 0 0 25 0 1 0 4966937 87662592 20034 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21402 20034 596 984 0 20415 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 85608 [startup+522.301 s] /proc/loadavg: 0.99 0.98 1.02 2/107 11862 /proc/meminfo: memFree=1324736/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85608 CPUtime=522.16 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47407 0 0 0 50619 1597 0 0 25 0 1 0 4966937 87662592 20042 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21402 20042 596 984 0 20415 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 85608 [startup+582.3 s] /proc/loadavg: 0.99 0.98 1.01 2/107 11862 /proc/meminfo: memFree=1324612/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85740 CPUtime=582.14 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47417 0 0 0 56415 1799 0 0 25 0 1 0 4966937 87797760 20052 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21435 20052 596 984 0 20448 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 85740 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 11864 /proc/meminfo: memFree=1324488/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85740 CPUtime=642.14 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47436 0 0 0 62226 1988 0 0 25 0 1 0 4966937 87797760 20071 1992294400 4194304 8223781 140737344358896 18446744073709551615 4704214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21435 20071 596 984 0 20448 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 85740 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11873 /proc/meminfo: memFree=1323496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85884 CPUtime=882.07 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47463 0 0 0 85457 2750 0 0 25 0 1 0 4966937 87945216 20098 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21471 20098 596 984 0 20484 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 85884 [startup+942.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11875 /proc/meminfo: memFree=1323496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85884 CPUtime=942.05 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47474 0 0 0 91253 2952 0 0 25 0 1 0 4966937 87945216 20109 1992294400 4194304 8223781 140737344358896 18446744073709551615 4240459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21471 20109 596 984 0 20484 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 85884 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11877 /proc/meminfo: memFree=1323496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=85884 CPUtime=1002.04 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47478 0 0 0 97054 3150 0 0 25 0 1 0 4966937 87945216 20113 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21471 20113 596 984 0 20484 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 85884 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11879 /proc/meminfo: memFree=1323496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1062.03 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47488 0 0 0 102852 3351 0 0 25 0 1 0 4966937 88088576 20123 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20123 596 984 0 20519 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 86024 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11881 /proc/meminfo: memFree=1323496/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1122.01 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47488 0 0 0 108652 3549 0 0 25 0 1 0 4966937 88088576 20123 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20123 596 984 0 20519 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 86024 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11881 /proc/meminfo: memFree=1323372/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1181.99 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47488 0 0 0 114462 3737 0 0 25 0 1 0 4966937 88088576 20123 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20123 596 984 0 20519 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 86024 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11883 /proc/meminfo: memFree=1323124/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1241.98 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47490 0 0 0 120266 3932 0 0 25 0 1 0 4966937 88088576 20125 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507419 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20125 596 984 0 20519 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 86024 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11885 /proc/meminfo: memFree=1323000/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1301.97 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47503 0 0 0 126077 4120 0 0 25 0 1 0 4966937 88088576 20138 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20138 596 984 0 20519 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 86024 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11887 /proc/meminfo: memFree=1322876/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1361.95 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47512 0 0 0 131888 4307 0 0 25 0 1 0 4966937 88088576 20147 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20147 596 984 0 20519 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 86024 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11889 /proc/meminfo: memFree=1322876/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1421.94 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47514 0 0 0 137690 4504 0 0 25 0 1 0 4966937 88088576 20149 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20149 596 984 0 20519 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 86024 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11889 /proc/meminfo: memFree=1322752/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1481.92 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47518 0 0 0 143497 4695 0 0 25 0 1 0 4966937 88088576 20153 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20153 596 984 0 20519 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 86024 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11891 /proc/meminfo: memFree=1322628/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86024 CPUtime=1541.9 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47520 0 0 0 149291 4899 0 0 25 0 1 0 4966937 88088576 20155 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21506 20155 596 984 0 20519 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 86024 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11893 /proc/meminfo: memFree=1322628/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86156 CPUtime=1601.88 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47527 0 0 0 155099 5089 0 0 25 0 1 0 4966937 88223744 20162 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507728 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21539 20162 596 984 0 20552 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 86156 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11895 /proc/meminfo: memFree=1322504/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86156 CPUtime=1661.87 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47527 0 0 0 160900 5287 0 0 25 0 1 0 4966937 88223744 20162 1992294400 4194304 8223781 140737344358896 18446744073709551615 5507327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21539 20162 596 984 0 20552 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 86156 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11897 /proc/meminfo: memFree=1322380/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86156 CPUtime=1721.86 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47533 0 0 0 166704 5482 0 0 25 0 1 0 4966937 88223744 20168 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21539 20168 596 984 0 20552 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 86156 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11897 /proc/meminfo: memFree=1322008/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86156 CPUtime=1781.84 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47536 0 0 0 172502 5682 0 0 25 0 1 0 4966937 88223744 20171 1992294400 4194304 8223781 140737344358896 18446744073709551615 5506174 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21539 20171 596 984 0 20552 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 86156 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 1.00 2/107 11899 /proc/meminfo: memFree=1322008/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=86156 CPUtime=1800.04 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47537 0 0 0 174265 5739 0 0 25 0 1 0 4966937 88223744 20172 1992294400 4194304 8223781 140737344358896 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11847/statm: 21539 20172 596 984 0 20552 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 86156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 1.00 2/108 11900 /proc/meminfo: memFree=1367508/2059040 swapFree=4192956/4192956 [pid=11847] ppid=11845 vsize=30192 CPUtime=1800.15 /proc/11847/stat : 11847 (pbscip.linux.x8) R 11845 11847 11553 0 -1 4202496 47556 0 0 0 174275 5740 0 0 25 0 1 0 4966937 30916608 6447 1992294400 4194304 8223781 140737344358896 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11847/statm: 7548 6447 598 984 0 6561 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 30192 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.16 CPU user time (s): 1742.76 CPU system time (s): 57.4033 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 106784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1742.76 system time used= 57.4033 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47560 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= 1 involuntary context switches= 2742 runsolver used 3.11253 second user time and 8.38172 second system time The end
Begin job on node036 at 2010-06-15 23:19:00 IDJOB=2666804 IDBENCH=24999 IDSOLVER=1169 FILE ID=node036/2666804-1276636740 PBS_JOBID= 11172391 Free space on /tmp= 62524 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666804-1276636740/watcher-2666804-1276636740 -o /tmp/evaluation-result-2666804-1276636740/solver-2666804-1276636740 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666804-1276636740.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f RANDOM SEED=553770873 node036.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1404384 kB Buffers: 92516 kB Cached: 421224 kB SwapCached: 0 kB Active: 210368 kB Inactive: 362996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1404384 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5000 kB Writeback: 0 kB AnonPages: 59552 kB Mapped: 15360 kB Slab: 59512 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180336 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= 62520 MiB End job on node036 at 2010-06-15 23:49:03