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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 1133542400 | 1789.81 | 1790.26 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
| MD5SUM | 77d03e06bcf76c9b07fd6535ab6acb65 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1275068416 |
| Best CPU time to get the best result obtained on this benchmark | 1800.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1207959552 |
| Optimality of the best value was proved | NO |
| Number of variables | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1073741824 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 26715880447 |
| Number of bits of the biggest sum of numbers | 35 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703873-1278558591.opb>
0.29/0.37 c original problem has 6651 variables (6651 bin, 0 int, 0 impl, 0 cont) and 721 constraints
0.29/0.37 c problem read
0.29/0.37 c presolving settings loaded
0.49/0.54 c presolving:
0.69/0.71 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.79/0.89 c (round 2) 0 del vars, 184 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 331 clqs
0.89/0.90 c (round 3) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 0 upgd conss, 0 impls, 330 clqs
0.99/1.02 c (round 4) 20 del vars, 185 del conss, 0 chg bounds, 55 chg sides, 90897 chg coeffs, 536 upgd conss, 0 impls, 330 clqs
3.29/3.39 c (round 5) 20 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
3.69/3.77 c (round 6) 30 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
4.78/4.87 c (4.5s) probing: 102/6621 (1.5%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
4.78/4.87 c (4.5s) probing aborted: 100/100 successive totally useless probings
4.78/4.87 c (round 7) 31 del vars, 185 del conss, 0 chg bounds, 75 chg sides, 157162 chg coeffs, 536 upgd conss, 13240 impls, 330 clqs
5.09/5.11 c (4.7s) probing: 112/6621 (1.7%) - 1 fixings, 0 aggregations, 0 implications, 0 bound changes
5.09/5.11 c (4.7s) probing aborted: 100/100 successive totally useless probings
5.09/5.11 c presolving (8 rounds):
5.09/5.11 c 31 deleted vars, 185 deleted constraints, 0 tightened bounds, 0 added holes, 75 changed sides, 157162 changed coefficients
5.09/5.11 c 13240 implications, 330 cliques
5.09/5.11 c presolved problem has 6620 variables (6620 bin, 0 int, 0 impl, 0 cont) and 536 constraints
5.09/5.11 c 183 constraints of type <knapsack>
5.09/5.11 c 330 constraints of type <setppc>
5.09/5.11 c 23 constraints of type <logicor>
5.09/5.11 c transformed objective value is always integral (scale: 1024)
5.09/5.11 c Presolving Time: 4.61
5.09/5.11 c - non default parameters ----------------------------------------------------------------------
5.09/5.11 c # SCIP version 1.2.1.3
5.09/5.11 c
5.09/5.11 c # frequency for displaying node information lines
5.09/5.11 c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.11 c display/freq = 10000
5.09/5.11 c
5.09/5.11 c # maximal time in seconds to run
5.09/5.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.11 c limits/time = 1789.63
5.09/5.11 c
5.09/5.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.11 c limits/memory = 1620
5.09/5.11 c
5.09/5.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.09/5.11 c # [type: int, range: [1,2], default: 1]
5.09/5.11 c timing/clocktype = 2
5.09/5.11 c
5.09/5.11 c # should presolving try to simplify inequalities
5.09/5.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.11 c constraints/linear/simplifyinequalities = TRUE
5.09/5.11 c
5.09/5.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.09/5.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.11 c constraints/indicator/addCouplingCons = TRUE
5.09/5.11 c
5.09/5.11 c # should presolving try to simplify knapsacks
5.09/5.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.11 c constraints/knapsack/simplifyinequalities = TRUE
5.09/5.11 c
5.09/5.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.09/5.11 c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.11 c separating/rapidlearning/freq = 0
5.09/5.11 c
5.09/5.11 c -----------------------------------------------------------------------------------------------
5.09/5.11 c start solving
5.09/5.11 c
5.29/5.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.36 c 5.0s| 1 | 0 | 281 | - | 43M| 0 | 67 |6620 | 536 |6620 | 536 | 0 | 0 | 0 | 1.124601e+09 | -- | Inf
5.39/5.40 o 1610612736
5.39/5.40 c s 5.0s| 1 | 0 | 281 | - | 43M| 0 | 67 |6620 | 536 |6620 | 536 | 0 | 0 | 0 | 1.124601e+09 | 1.610613e+09 | 43.22%
20.09/20.16 c 19.8s| 1 | 0 | 319 | - | 44M| 0 | 84 |6620 | 536 |6620 | 562 | 26 | 0 | 0 | 1.124651e+09 | 1.610613e+09 | 43.21%
33.17/33.26 c 32.9s| 1 | 0 | 388 | - | 45M| 0 | 101 |6620 | 536 |6620 | 586 | 50 | 0 | 0 | 1.124823e+09 | 1.610613e+09 | 43.19%
46.78/46.81 c 46.4s| 1 | 0 | 476 | - | 45M| 0 | 101 |6620 | 536 |6620 | 600 | 64 | 0 | 0 | 1.124910e+09 | 1.610613e+09 | 43.18%
60.27/60.40 c 60.0s| 1 | 0 | 535 | - | 45M| 0 | 94 |6620 | 536 |6620 | 616 | 80 | 0 | 0 | 1.124994e+09 | 1.610613e+09 | 43.17%
73.77/73.83 c 73.5s| 1 | 0 | 594 | - | 46M| 0 | 90 |6620 | 536 |6620 | 634 | 98 | 0 | 0 | 1.125086e+09 | 1.610613e+09 | 43.15%
86.96/87.06 c 86.7s| 1 | 0 | 617 | - | 46M| 0 | 97 |6620 | 536 |6620 | 640 | 104 | 0 | 0 | 1.125090e+09 | 1.610613e+09 | 43.15%
100.45/100.56 c 100s| 1 | 0 | 649 | - | 46M| 0 | 99 |6620 | 536 |6620 | 643 | 107 | 0 | 0 | 1.125109e+09 | 1.610613e+09 | 43.15%
113.84/113.93 c 114s| 1 | 0 | 670 | - | 46M| 0 | 101 |6620 | 536 |6620 | 648 | 112 | 0 | 0 | 1.125109e+09 | 1.610613e+09 | 43.15%
127.44/127.59 c 127s| 1 | 0 | 685 | - | 47M| 0 | 102 |6620 | 536 |6620 | 652 | 116 | 0 | 0 | 1.125111e+09 | 1.610613e+09 | 43.15%
140.95/141.07 c 141s| 1 | 0 | 689 | - | 47M| 0 | 104 |6620 | 536 |6620 | 654 | 118 | 0 | 0 | 1.125111e+09 | 1.610613e+09 | 43.15%
153.64/153.77 c 153s| 1 | 0 | 696 | - | 47M| 0 | 105 |6620 | 536 |6620 | 647 | 119 | 0 | 0 | 1.125111e+09 | 1.610613e+09 | 43.15%
166.24/166.39 c 166s| 1 | 0 | 698 | - | 47M| 0 | 106 |6620 | 536 |6620 | 648 | 120 | 0 | 0 | 1.125111e+09 | 1.610613e+09 | 43.15%
172.13/172.24 c 172s| 1 | 2 | 5185 | - | 47M| 0 | 106 |6620 | 536 |6620 | 648 | 120 | 0 | 26 | 1.125111e+09 | 1.610613e+09 | 43.15%
178.54/178.69 o 1347682304
178.54/178.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
178.54/178.69 c R 178s| 7 | 6 | 5406 | 784.7 | 47M| 6 | 97 |6620 | 536 |6620 | 608 | 120 | 0 | 140 | 1.125195e+09 | 1.347682e+09 | 19.77%
179.73/179.80 o 1342177280
179.73/179.80 c b 179s| 8 | 7 | 5406 | 672.6 | 47M| 7 | - |6620 | 536 |6620 | 608 | 120 | 0 | 154 | 1.125195e+09 | 1.342177e+09 | 19.28%
180.44/180.56 o 1213202432
180.44/180.56 c R 180s| 8 | 7 | 5459 | 680.1 | 47M| 7 | 96 |6620 | 536 |6620 | 608 | 120 | 0 | 171 | 1.125195e+09 | 1.213202e+09 | 7.82%
181.54/181.62 o 1207959552
181.54/181.62 c b 181s| 8 | 9 | 5459 | 680.1 | 47M| 7 | 96 |6620 | 536 |6620 | 608 | 120 | 0 | 188 | 1.125195e+09 | 1.207960e+09 | 7.36%
191.33/191.45 o 1174405120
191.33/191.45 c c 191s| 16 | 17 | 6220 | 368.1 | 47M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.174405e+09 | 4.37%
191.44/191.54 o 1157627904
191.44/191.54 c c 191s| 16 | 17 | 6221 | 368.2 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.157628e+09 | 2.88%
191.53/191.64 o 1149239296
191.53/191.64 c c 191s| 16 | 17 | 6222 | 368.3 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.149239e+09 | 2.14%
191.63/191.75 o 1145044992
191.63/191.75 c c 191s| 16 | 17 | 6223 | 368.3 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.145045e+09 | 1.76%
191.83/191.96 o 1144520704
191.83/191.96 c c 192s| 16 | 17 | 6225 | 368.5 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.144521e+09 | 1.72%
192.23/192.39 o 1144519680
192.23/192.39 c c 192s| 16 | 17 | 6234 | 369.1 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 342 | 1.125195e+09 | 1.144520e+09 | 1.72%
202.73/202.88 o 1142161408
202.73/202.88 c p 203s| 29 | 30 | 7634 | 247.7 | 48M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 542 | 1.125238e+09 | 1.142161e+09 | 1.50%
202.93/203.00 o 1139802112
202.93/203.00 c p 203s| 29 | 30 | 7637 | 247.8 | 49M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 542 | 1.125238e+09 | 1.139802e+09 | 1.29%
203.13/203.25 o 1138491392
203.13/203.25 c p 203s| 29 | 30 | 7639 | 247.9 | 49M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 542 | 1.125238e+09 | 1.138491e+09 | 1.18%
203.43/203.60 o 1138458624
203.43/203.60 c p 203s| 29 | 30 | 7642 | 248.0 | 49M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 542 | 1.125238e+09 | 1.138459e+09 | 1.17%
203.83/203.95 o 1138457600
203.83/203.95 c p 204s| 29 | 30 | 7647 | 248.2 | 49M| 15 | - |6620 | 536 |6620 | 608 | 120 | 0 | 542 | 1.125238e+09 | 1.138458e+09 | 1.17%
305.40/305.50 o 1137704960
305.40/305.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.40/305.50 c p 305s| 226 | 227 | 33517 | 145.9 | 50M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.137705e+09 | 1.11%
305.40/305.58 o 1135607808
305.40/305.58 c p 305s| 226 | 227 | 33518 | 145.9 | 50M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.135608e+09 | 0.92%
305.50/305.68 o 1134034944
305.50/305.68 c p 305s| 226 | 227 | 33519 | 145.9 | 50M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.134035e+09 | 0.78%
305.60/305.77 o 1133772800
305.60/305.77 c p 305s| 226 | 227 | 33520 | 145.9 | 51M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.133773e+09 | 0.76%
305.71/305.88 o 1133707264
305.71/305.88 c p 306s| 226 | 227 | 33522 | 145.9 | 51M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.133707e+09 | 0.75%
305.81/305.98 o 1133706240
305.81/305.98 c p 306s| 226 | 227 | 33528 | 145.9 | 51M| 28 | - |6620 | 665 |6620 | 608 | 120 | 129 |2236 | 1.125238e+09 | 1.133706e+09 | 0.75%
906.36/906.69 o 1133641728
906.36/906.69 c c 906s| 1404 | 1359 |126938 | 90.0 | 63M| 54 | - |6620 | 784 |6620 | 608 | 120 | 248 |3662 | 1.125314e+09 | 1.133642e+09 | 0.74%
906.66/906.97 o 1133576192
906.66/906.97 c c 907s| 1404 | 1358 |126939 | 90.0 | 63M| 54 | - |6620 | 784 |6620 | 608 | 120 | 248 |3662 | 1.125314e+09 | 1.133576e+09 | 0.73%
906.96/907.25 o 1133543424
906.96/907.25 c c 907s| 1404 | 1358 |126940 | 90.0 | 63M| 54 | - |6620 | 784 |6620 | 608 | 120 | 248 |3662 | 1.125314e+09 | 1.133543e+09 | 0.73%
907.27/907.53 o 1133542400
907.27/907.53 c c 907s| 1404 | 1358 |126945 | 90.0 | 63M| 54 | - |6620 | 784 |6620 | 608 | 120 | 248 |3662 | 1.125314e+09 | 1.133542e+09 | 0.73%
1789.54/1790.05 c
1789.54/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.05 c Solving Time (sec) : 1789.67
1789.54/1790.05 c Solving Nodes : 2607
1789.54/1790.05 c Primal Bound : +1.13354240000000e+09 (46 solutions)
1789.54/1790.05 c Dual Bound : +1.12532990074530e+09
1789.54/1790.05 c Gap : 0.73 %
1789.54/1790.09 s SATISFIABLE
1789.54/1790.09 v -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6235 -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227
1789.54/1790.09 v -x6226 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218 -x6217 -x6216 -x6215 -x6214 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207
1789.54/1790.09 v -x6206 -x6205 -x6204 -x6203 -x6201 -x6200 -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6190 -x6189 -x6188 -x6187
1789.54/1790.09 v -x6186 -x6185 -x6184 -x6183 -x6182 -x6181 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6168 -x6167
1789.54/1790.09 v -x6166 -x6165 -x6164 -x6163 -x6162 -x6161 -x6160 -x6159 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148
1789.54/1790.09 v -x6146 -x6145 -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 x6138 -x6137 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128
1789.54/1790.09 v -x6127 -x6126 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6112 -x6111 -x6110 -x6109 x6108 -x6107
1789.54/1790.09 v -x6106 -x6105 -x6104 -x6103 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6090 -x6089 -x6088 -x6087
1789.54/1790.09 v -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073 -x6072 -x6071 -x6070 -x6068 -x6067
1789.54/1790.09 v -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6057 -x6056 -x6055 -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048
1789.54/1790.09 v -x6046 -x6045 -x6044 -x6043 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029
1789.54/1790.09 v -x6028 -x6027 -x6026 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018 -x6017 -x6016 -x6015 -x6013 -x6012 -x6011 -x6010 -x6009
1789.54/1790.09 v -x6008 -x6007 -x6006 -x6005 -x6004 -x6001 -x6000 -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5990 -x5989 -x5988
1789.54/1790.09 v -x5987 -x5986 -x5985 -x5984 -x5983 -x5982 -x5981 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5972 -x5971 -x5970 -x5968
1789.54/1790.09 v -x5967 -x5966 -x5965 x5964 -x5963 -x5962 -x5961 -x5960 -x5959 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949
1789.54/1790.09 v -x5948 -x5946 -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929
1789.54/1790.09 v -x5928 -x5927 -x5926 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5913 -x5912 -x5911 -x5910 -x5909
1789.54/1790.09 v -x5908 -x5907 -x5906 -x5905 -x5904 -x5902 -x5901 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5890 -x5889 -x5888
1789.54/1790.09 v -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873 -x5872 -x5871 -x5870
1789.54/1790.09 v -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5857 -x5856 -x5855 -x5854 -x5853 -x5852 -x5851 -x5850
1789.54/1790.09 v -x5849 -x5848 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838 -x5837 -x5835 -x5834 -x5833 -x5832 -x5831 -x5830
1789.54/1790.09 v -x5829 -x5828 -x5827 -x5826 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819 -x5818 -x5817 -x5816 -x5815 -x5813 -x5812 -x5811 -x5810
1789.54/1790.09 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5791 -x5790
1789.54/1790.09 v -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774 -x5773 -x5772 -x5771 -x5770
1789.54/1790.09 v -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5757 -x5756 -x5755 -x5754 -x5753 -x5752 -x5751 -x5750
1789.54/1790.09 v -x5749 -x5748 -x5746 -x5745 -x5744 -x5743 -x5742 -x5741 -x5740 -x5739 -x5738 -x5737 -x5735 -x5734 -x5733 -x5732 -x5731
1789.54/1790.09 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5713 -x5712 -x5711
1789.54/1790.09 v -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695 -x5694 -x5693 -x5691
1789.54/1790.09 v -x5690 -x5689 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5680 -x5679 -x5678 -x5677 -x5676 -x5675 -x5674 -x5673 -x5672
1789.54/1790.09 v -x5671 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651
1789.54/1790.09 v -x5650 -x5649 -x5648 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641 -x5640 -x5639 -x5638 -x5637 -x5635 -x5634 -x5633 -x5632 -x5631
1789.54/1790.09 v -x5630 -x5629 -x5628 -x5627 -x5626 -x5624 -x5623 -x5622 x5621 -x5620 -x5619 -x5618 -x5617 -x5616 -x5615 -x5613 -x5612 -x5611
1789.54/1790.09 v -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5591
1789.54/1790.09 v -x5590 -x5589 -x5588 -x5587 -x5586 -x5585 -x5584 -x5583 -x5582 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573
1789.54/1790.09 v -x5572 -x5571 -x5569 -x5568 -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551
1789.54/1790.09 v -x5550 -x5549 -x5548 -x5547 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5534 -x5533 -x5532 -x5531
1789.54/1790.09 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514 -x5512 -x5511
1789.54/1790.09 v -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496 -x5495 -x5494 -x5493 -x5492
1789.54/1790.09 v -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5479 -x5478 -x5477 -x5476 -x5475 -x5474 -x5473 -x5472
1789.54/1790.09 v -x5471 -x5470 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452
1789.54/1790.09 v -x5451 -x5450 -x5449 -x5448 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438 -x5437 -x5436 -x5434 -x5433 -x5432
1789.54/1790.09 v -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5423 -x5422 -x5421 -x5420 x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5412
1789.54/1790.09 v -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393
1789.54/1790.09 v -x5392 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385 -x5384 -x5383 -x5382 -x5381 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373
1789.54/1790.09 v -x5372 -x5371 -x5370 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5357 -x5356 -x5355 -x5354 -x5353
1789.54/1790.09 v -x5352 -x5351 -x5350 -x5349 -x5348 -x5346 -x5345 -x5344 -x5343 x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5334 -x5333 -x5332
1789.54/1790.09 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5312
1789.54/1790.09 v -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 x5305 -x5304 -x5303 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295 -x5294 -x5293
1789.54/1790.09 v -x5292 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5279 -x5278 -x5277 -x5276 -x5275 -x5274 -x5273
1789.54/1790.09 v -x5272 -x5271 -x5270 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5262 -x5261 -x5260 -x5259 -x5257 -x5256 -x5255 -x5254 -x5253
1789.54/1790.09 v -x5252 -x5251 -x5250 -x5249 -x5248 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240 -x5239 -x5238 -x5237 -x5235 -x5234
1789.54/1790.09 v -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5223 -x5222 -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214
1789.54/1790.09 v -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204 -x5203 -x5201 -x5200 -x5199 -x5198 x5197 -x5196 -x5195 -x5194
1789.54/1790.09 v -x5193 -x5192 -x5190 -x5189 -x5188 -x5187 -x5186 -x5185 -x5184 -x5183 -x5182 -x5181 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174
1789.54/1790.09 v -x5173 -x5172 -x5171 -x5170 -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5157 -x5156 -x5155 -x5154
1789.54/1790.09 v -x5153 -x5152 -x5151 -x5150 -x5149 -x5148 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5135 -x5134
1789.54/1790.09 v -x5133 -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115
1789.54/1790.09 v -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096 -x5095 -x5094
1789.54/1790.09 v -x5093 -x5092 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5079 -x5078 -x5077 -x5076 -x5075
1789.54/1790.09 v -x5074 -x5073 -x5072 -x5071 -x5070 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059 -x5057 -x5056 -x5055
1789.54/1790.09 v -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5040 -x5039 -x5038 -x5037 -x5035
1789.54/1790.09 v -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 -x5018 -x5017 -x5016
1789.54/1790.09 v -x5015 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 x5004 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995
1789.54/1790.09 v -x4994 -x4993 -x4992 -x4990 -x4989 -x4988 -x4987 -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4979 -x4978 -x4977 -x4976 -x4975
1789.54/1790.09 v -x4974 -x4973 -x4972 -x4971 -x4970 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4957 -x4956 -x4955
1789.54/1790.09 v -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4935
1789.54/1790.09 v -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917
1789.54/1790.09 v -x4916 -x4915 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897
1789.54/1790.09 v -x4896 -x4895 -x4894 -x4893 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4879 -x4878 -x4877 -x4876
1789.54/1790.09 v -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4857 -x4856
1789.54/1790.09 v -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4846 -x4845 x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837
1789.54/1790.09 v -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817
1789.54/1790.09 v -x4816 -x4815 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797
1789.54/1790.09 v -x4796 -x4795 -x4794 -x4793 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4779 -x4778 -x4777 -x4776
1789.54/1790.09 v -x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4757
1789.54/1790.09 v -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738
1789.54/1790.09 v -x4737 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 x4726 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718
1789.54/1790.09 v -x4717 -x4716 -x4715 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4702 -x4701 -x4700 -x4699 -x4698
1789.54/1790.09 v -x4697 -x4696 -x4695 -x4694 -x4693 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4680 -x4679 -x4678
1789.54/1790.09 v -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4657
1789.54/1790.09 v -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638
1789.54/1790.09 v -x4637 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4626 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618
1789.54/1790.09 v -x4617 -x4616 -x4615 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4602 -x4601 -x4600 -x4599
1789.54/1790.09 v -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4580 -x4579
1789.54/1790.09 v -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4571 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560
1789.54/1790.09 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4548 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539
1789.54/1790.09 v -x4538 -x4537 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519
1789.54/1790.09 v -x4518 -x4517 -x4516 -x4515 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4502 -x4501 -x4500 -x4499
1789.54/1790.09 v -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482 -x4480 -x4479
1789.54/1790.09 v -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464 -x4463 -x4462 -x4461
1789.54/1790.09 v -x4460 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439
1789.54/1790.09 v -x4438 -x4437 -x4436 -x4434 -x4433 -x4432 -x4431 x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4423 -x4422 -x4421 -x4420 -x4419
1789.54/1790.09 v -x4418 -x4417 -x4416 -x4415 -x4414 -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4401 -x4400 -x4399
1789.54/1790.09 v -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4379
1789.54/1790.09 v -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360
1789.54/1790.09 v -x4359 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340
1789.54/1790.09 v -x4339 -x4338 -x4337 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4323 -x4322 -x4321 -x4320 -x4319
1789.54/1790.09 v -x4318 -x4317 -x4316 -x4315 -x4314 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4301 -x4300
1789.54/1790.09 v -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4282 -x4281
1789.54/1790.09 v -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4268 -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261
1789.54/1790.09 v -x4260 -x4259 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 -x4248 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241
1789.54/1790.09 v -x4240 -x4239 -x4238 -x4237 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 -x4228 -x4227 -x4226 -x4223 -x4222 -x4221 -x4220
1789.54/1790.09 v -x4219 -x4218 -x4217 -x4216 -x4215 -x4214 -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4201 -x4200
1789.54/1790.09 v -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4193 -x4192 -x4190 -x4189 -x4188 x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181
1789.54/1790.09 v -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161
1789.54/1790.09 v -x4160 -x4159 -x4157 -x4156 -x4155 x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141
1789.54/1790.09 v -x4140 -x4139 -x4138 -x4137 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4124 -x4123 -x4122
1789.54/1790.09 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104 -x4103 -x4101
1789.54/1790.09 v -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4090 -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4082
1789.54/1790.09 v -x4081 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062
1789.54/1790.09 v -x4061 -x4060 -x4059 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 -x4049 -x4048 -x4046 -x4045 -x4044 -x4043 -x4042
1789.54/1790.09 v -x4041 -x4040 -x4039 -x4038 -x4037 -x4035 -x4034 -x4033 -x4032 -x4031 -x4030 -x4029 -x4028 -x4027 -x4026 -x4024 -x4023 -x4022
1789.54/1790.09 v -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4001
1789.54/1790.09 v -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3993 -x3992 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983
1789.54/1790.09 v -x3982 -x3981 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963
1789.54/1790.09 v -x3962 -x3961 -x3960 -x3959 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3946 -x3945 -x3944 -x3943
1789.54/1790.09 v -x3942 -x3941 -x3940 -x3939 -x3938 -x3937 -x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3924 -x3923
1789.54/1790.09 v -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904
1789.54/1790.09 v -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883
1789.54/1790.09 v -x3882 -x3881 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863
1789.54/1790.09 v -x3862 -x3861 -x3860 -x3859 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851 -x3850 -x3849 -x3848 -x3846 -x3845 -x3844
1789.54/1790.09 v -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3835 -x3834 -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3824
1789.54/1790.09 v -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805
1789.54/1790.09 v -x3804 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785
1789.54/1790.09 v -x3784 -x3783 -x3782 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3768 -x3767 -x3766 -x3765 -x3764
1789.54/1790.09 v x3763 -x3762 -x3761 -x3760 -x3759 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3746 -x3745 -x3744
1789.54/1790.09 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3724
1789.54/1790.09 v -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705
1789.54/1790.09 v -x3704 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686
1789.54/1790.09 v -x3685 -x3684 -x3683 -x3682 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671 -x3668 -x3667 -x3666 -x3665
1789.54/1790.09 v -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3657 -x3656 -x3655 -x3654 -x3653 -x3652 -x3651 -x3650 -x3649 -x3648 -x3646 -x3645
1789.54/1790.09 v -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626
1789.54/1790.09 v -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3616 -x3615 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606
1789.54/1790.09 v -x3605 -x3604 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586
1789.54/1790.09 v -x3585 -x3584 -x3583 x3582 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3569 -x3568 -x3567 -x3566
1789.54/1790.09 v -x3565 -x3564 -x3563 -x3562 -x3561 -x3560 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3546 -x3545
1789.54/1790.09 v -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527
1789.54/1790.09 v -x3526 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507
1789.54/1790.09 v -x3506 -x3505 -x3504 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3491 -x3490 -x3489 -x3488 -x3487
1789.54/1790.09 v -x3486 -x3485 -x3484 -x3483 -x3482 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471 -x3469 -x3468 -x3467
1789.54/1790.09 v -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 -x3449 -x3446
1789.54/1790.09 v -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427
1789.54/1790.09 v -x3426 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3416 -x3415 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407
1789.54/1790.09 v -x3406 -x3405 -x3404 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3391 -x3390 -x3389 -x3388
1789.54/1790.09 v -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 -x3368
1789.54/1790.09 v -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349
1789.54/1790.09 v -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327
1789.54/1790.09 v -x3326 -x3325 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3312 -x3311 -x3310 -x3309 -x3308 -x3307
1789.54/1790.09 v -x3306 -x3305 -x3304 -x3303 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3290 -x3289 -x3288 -x3287
1789.54/1790.09 v -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3270 -x3268 -x3267
1789.54/1790.09 v -x3266 -x3265 x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248
1789.54/1790.09 v -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229
1789.54/1790.10 v -x3228 -x3227 -x3226 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3212 -x3211 -x3210 -x3209 -x3208
1789.54/1790.10 v -x3207 -x3206 -x3205 -x3204 -x3203 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3190 -x3189 -x3188
1789.54/1790.10 v -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3168
1789.54/1790.10 v -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149
1789.54/1790.10 v -x3148 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129
1789.54/1790.10 v -x3128 -x3127 x3126 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3112 -x3111 -x3110 -x3109 x3108
1789.54/1790.10 v -x3107 -x3106 -x3105 -x3104 -x3103 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3093 -x3092 -x3090 -x3089 -x3088
1789.54/1790.10 v -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3068
1789.54/1790.10 v -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 -x3051 -x3050
1789.54/1790.10 v -x3049 -x3048 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030
1789.54/1790.10 v -x3029 -x3028 -x3027 -x3026 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3013 -x3012 -x3011 -x3010
1789.54/1790.10 v -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2990 -x2989
1789.54/1790.10 v -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
1789.54/1790.10 v -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950
1789.54/1790.10 v -x2949 -x2948 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930
1789.54/1790.10 v -x2929 -x2928 -x2927 -x2926 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2915 -x2913 -x2912 -x2911
1789.54/1790.10 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2902 -x2901 -x2900 -x2899 x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2890
1789.54/1790.10 v -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2879 -x2878 -x2877 -x2876 x2875 -x2874 -x2873 -x2872 -x2871
1789.54/1790.10 v -x2870 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851
1789.54/1790.10 v -x2850 -x2849 -x2848 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2838 -x2837 -x2835 -x2834 -x2833 -x2832 -x2831
1789.54/1790.10 v -x2830 -x2829 -x2828 -x2827 x2826 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2813 -x2812 -x2811
1789.54/1790.10 v -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 x2804 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2791
1789.54/1790.10 v -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771
1789.54/1790.10 v -x2770 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 x2759 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751
1789.54/1790.10 v -x2750 -x2749 -x2748 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2735 -x2734 -x2733 -x2732 -x2731
1789.54/1790.10 v -x2730 -x2729 -x2728 -x2727 -x2726 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2713 -x2712 -x2711
1789.54/1790.10 v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2691
1789.54/1790.10 v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673
1789.54/1790.10 v -x2672 -x2671 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2657 -x2656 -x2655 -x2654 x2653 -x2652
1789.54/1790.10 v -x2651 -x2650 -x2649 -x2648 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2635 -x2634 -x2633 -x2632
1789.54/1790.10 v -x2631 -x2630 x2629 -x2628 -x2627 -x2626 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2613 -x2612
1789.54/1790.10 v -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593
1789.54/1790.10 v -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573
1789.54/1790.10 v -x2572 -x2571 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552
1789.54/1790.10 v -x2551 -x2550 -x2549 -x2548 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2535 -x2534 -x2533 -x2532
1789.54/1790.10 v -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2513 -x2512
1789.54/1790.10 v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 x2494 -x2493
1789.54/1790.10 v -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474
1789.54/1790.10 v -x2473 -x2472 -x2471 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2458 -x2457 -x2456 -x2455 -x2454
1789.54/1790.10 v -x2453 -x2452 -x2451 -x2450 -x2449 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2435 -x2434 -x2433
1789.54/1790.10 v -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2413
1789.54/1790.10 v -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394
1789.54/1790.10 v -x2393 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374
1789.54/1790.10 v -x2373 -x2372 -x2371 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2358 -x2357 -x2356 -x2355 -x2354
1789.54/1790.10 v -x2353 -x2352 -x2351 -x2350 -x2349 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2335 -x2334
1789.54/1790.10 v -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315
1789.54/1790.10 v -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295
1789.54/1790.10 v -x2294 -x2293 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275
1789.54/1790.10 v -x2274 -x2273 -x2272 -x2271 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2258 -x2257 -x2256 -x2255
1789.54/1790.10 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2236 -x2235
1789.54/1790.10 v -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214
1789.54/1790.10 v -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195
1789.54/1790.10 v -x2194 -x2193 -x2192 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2179 -x2178 -x2177 -x2176 -x2175
1789.54/1790.10 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2157 -x2156 -x2155
1789.54/1790.10 v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2135
1789.54/1790.10 v -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116
1789.54/1790.10 v -x2115 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095
1789.54/1790.10 v -x2094 -x2093 -x2092 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2079 -x2078 -x2077 -x2076 -x2075
1789.54/1790.10 v -x2074 -x2073 -x2072 -x2071 -x2070 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2057 -x2056
1789.54/1790.10 v -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037
1789.54/1790.10 v x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017
1789.54/1790.10 v -x2016 -x2015 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996
1789.54/1790.10 v -x1995 -x1994 -x1993 -x1992 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1979 -x1978 -x1977 -x1976
1789.54/1790.10 v -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1957 -x1956
1789.54/1790.10 v -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937
1789.54/1790.10 v -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1924 -x1923 -x1922 -x1921 x1920 -x1919 -x1918 -x1917
1789.54/1790.10 v -x1916 -x1915 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897
1789.54/1790.10 v -x1896 -x1895 -x1894 -x1893 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1879 -x1878 -x1877
1789.54/1790.10 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1857
1789.54/1790.10 v -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838
1789.54/1790.10 v -x1837 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 x1826 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818
1789.54/1790.10 v -x1817 -x1816 -x1815 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1802 -x1801 -x1800 -x1799 -x1798
1789.54/1790.10 v -x1797 -x1796 -x1795 -x1794 -x1793 -x1791 -x1790 -x1789 x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1779 -x1778 -x1777
1789.54/1790.10 v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1757
1789.54/1790.10 v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738
1789.54/1790.10 v -x1737 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718
1789.54/1790.10 v -x1717 -x1716 -x1715 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1702 -x1701 -x1700 -x1699 -x1698
1789.54/1790.10 v -x1697 -x1696 -x1695 -x1694 -x1693 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1680 -x1679
1789.54/1790.10 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
1789.54/1790.10 v -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639
1789.54/1790.10 v -x1638 -x1637 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619
1789.54/1790.10 v -x1618 -x1617 -x1616 -x1615 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1602 -x1601 -x1600 -x1599
1789.54/1790.10 v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1580 -x1579
1789.54/1790.10 v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560
1789.54/1790.10 v -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540
1789.54/1790.10 v -x1539 -x1538 -x1537 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1524 -x1523 -x1522 -x1521 -x1520
1789.54/1790.10 v -x1519 -x1518 -x1517 -x1516 -x1515 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1502 -x1501 -x1500
1789.54/1790.10 v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1480
1789.54/1790.10 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461
1789.54/1790.10 v -x1460 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440
1789.54/1790.10 v -x1439 -x1438 -x1437 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1424 -x1423 -x1422 -x1421 -x1420
1789.54/1790.10 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1402 -x1401
1789.54/1790.10 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
1789.54/1790.10 v -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362
1789.54/1790.10 v -x1361 -x1360 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
1789.54/1790.10 v -x1341 -x1340 -x1339 -x1338 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1324 -x1323 -x1322 -x1321
1789.54/1790.10 v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1302 -x1301
1789.54/1790.10 v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282
1789.54/1790.10 v -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
1789.54/1790.10 v -x1262 -x1261 -x1260 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1247 -x1246 -x1245 -x1244 -x1243
1789.54/1790.10 v -x1242 -x1241 -x1240 -x1239 -x1238 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1224 -x1223 -x1222
1789.54/1790.10 v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1202
1789.54/1790.10 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
1789.54/1790.10 v -x1182 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163
1789.54/1790.10 v -x1162 x1161 -x1160 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1147 -x1146 -x1145 -x1144 -x1143
1789.54/1790.10 v -x1142 -x1141 -x1140 -x1139 -x1138 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1125 -x1124 -x1123
1789.54/1790.10 v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1101
1789.54/1790.10 v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083
1789.54/1790.10 v -x1082 -x1081 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
1789.54/1790.10 v -x1062 -x1061 -x1060 -x1059 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1046 -x1045 -x1044 -x1043
1789.54/1790.10 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1024 -x1023
1789.54/1790.10 v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004
1789.54/1790.10 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
1789.54/1790.10 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x957
1789.54/1790.10 v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x935 -x934
1789.54/1790.10 v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x924 -x923 -x922 -x921 x920 -x919 -x918 -x917 -x916 -x915 -x913 -x912 -x911
1789.54/1790.10 v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x890 -x889 -x888 -x887
1789.54/1790.10 v -x886 -x885 -x884 -x883 -x882 -x881 -x879 -x878 -x877 x876 -x875 -x874 -x873 -x872 -x871 -x870 -x868 -x867 -x866 -x865 -x864
1789.54/1790.10 v -x863 -x862 -x861 -x860 -x859 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x846 -x845 -x844 -x843 -x842 -x841
1789.54/1790.10 v -x840 -x839 -x838 -x837 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x824 -x823 -x822 -x821 -x820 -x819
1789.54/1790.10 v -x818 -x817 -x816 -x815 -x813 -x812 -x811 -x810 -x809 -x808 x807 -x806 -x805 -x804 -x802 -x801 -x800 -x799 -x798 -x797 -x796
1789.54/1790.10 v -x795 -x794 -x793 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
1789.54/1790.10 v -x771 -x770 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1789.54/1790.10 v -x748 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726
1789.54/1790.10 v -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x702
1789.54/1790.10 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x680 -x679
1789.54/1790.10 v -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x657 -x656
1789.54/1790.10 v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x635 -x634 -x633
1789.54/1790.10 v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x613 -x612 -x611 -x610
1789.54/1790.10 v -x609 -x608 -x607 -x606 -x605 -x604 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x591 -x590 -x589 -x588 -x587
1789.54/1790.10 v -x586 -x585 -x584 -x583 -x582 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x569 -x568 -x567 -x566 -x565 -x564
1789.54/1790.10 v -x563 -x562 -x561 -x560 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1789.54/1790.10 v -x539 -x538 -x537 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x524 -x523 -x522 -x521 -x520 -x519 -x518
1789.54/1790.10 v -x517 -x516 -x515 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495
1789.54/1790.10 v -x494 -x493 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
1789.54/1790.10 v -x471 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449
1789.54/1790.10 v -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x424
1789.54/1790.10 v -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x402 -x401
1789.54/1790.10 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x380 -x379 -x378
1789.54/1790.10 v -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x358 -x357 -x356
1789.54/1790.10 v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x335 -x334 -x333 -x332
1789.54/1790.10 v -x331 -x330 -x329 -x328 -x327 -x326 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x313 -x312 -x311 -x310 -x309
1789.54/1790.10 v -x308 -x307 -x306 -x305 -x304 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x291 -x290 -x289 -x288 -x287 -x286
1789.54/1790.10 v -x285 -x284 -x283 -x282 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x269 -x268 -x267 -x266 -x265 -x264 -x263
1789.54/1790.10 v -x262 -x261 -x260 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1789.54/1790.10 v -x239 -x238 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217
1789.54/1790.10 v -x216 -x215 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1789.54/1790.10 v -x193 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171
1789.54/1790.10 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x147
1789.54/1790.10 v -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x125 -x124
1789.54/1790.10 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x102 -x101 -x100
1789.54/1790.10 v -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1789.54/1790.10 v -x73 -x72 -x71 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x47 -x46
1789.54/1790.10 v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1789.54/1790.10 v -x18 -x17 -x16 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614 -x6613 x6612 -x6611
1789.54/1790.10 v -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6598 -x6597 -x6596 -x6595 -x6594 -x6593 -x6592 -x6591
1789.54/1790.10 v -x6590 -x6589 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6580 -x6579 -x6578 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571
1789.54/1790.10 v -x6570 -x6569 -x6568 -x6567 -x6565 -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6554 -x6553 -x6552 -x6551
1789.54/1790.10 v -x6550 -x6549 -x6548 -x6547 -x6546 -x6545 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6532
1789.54/1790.10 v -x6531 -x6530 -x6529 -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513
1789.54/1790.10 v -x6512 -x6509 -x6508 -x6507 -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492
1789.54/1790.10 v -x6491 x6490 -x6489 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6476 -x6475 -x6474 -x6473 -x6472
1789.54/1790.10 v -x6471 -x6470 -x6469 -x6468 -x6467 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6454 -x6453 -x6452
1789.54/1790.10 v -x6451 x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435 -x6434 -x6432
1789.54/1790.10 v -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6421 -x6420 -x6419 -x6418 -x6417 -x6416 -x6415 -x6414 -x6413
1789.54/1790.10 v -x6412 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6398 -x6397 -x6396 -x6395 -x6394 -x6393 -x6392
1789.54/1790.10 v -x6391 -x6390 -x6389 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380 -x6379 -x6378 -x6376 -x6375 -x6374 -x6373 -x6372
1789.54/1790.10 v -x6371 -x6370 -x6369 -x6368 -x6367 -x6365 -x6364 -x6363 -x6362 -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6354 -x6353
1789.54/1790.10 v -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334
1789.54/1790.10 v -x6332 -x6331 -x6330 -x6329 -x6328 -x6327 -x6326 -x6325 -x6324 -x6323 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314
1789.54/1790.10 v -x6313 -x6312 -x6310 -x6309 -x6308 -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294
1789.54/1790.10 v -x6293 -x6292 -x6291 -x6290 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6276 -x6275 -x6274 -x6273
1789.54/1790.10 v -x6272 -x6271 -x6270 -x6269 -x6268 -x6267 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6256 -x6254 -x6253
1789.54/1790.10 v -x6252 x6251 -x6250 -x6249 -x6248 -x6247 -x6236 -x6225 -x6213 -x6202 -x6191 -x6180 -x6169 -x6158 -x6147 -x6136 -x6125 -x6114
1789.54/1790.10 v -x6102 -x6091 -x6080 -x6069 -x6058 -x6047 -x6036 -x6025 -x6014 -x6003 -x5991 -x5980 -x5969 -x5958 -x5947 -x5936 -x5925 -x5914
1789.54/1790.10 v -x5903 -x5892 -x5880 -x5869 -x5858 -x5847 -x5836 -x5825 -x5814 -x5803 -x5792 -x5781 -x5769 -x5758 -x5747 -x5736 -x5725
1789.54/1790.10 v -x5714 -x5703 -x5692 -x5681 -x5670 -x5658 -x5647 -x5636 -x5625 -x5614 -x5603 -x5592 -x5581 -x5570 -x5559 -x5546 -x5535 -x5524
1789.54/1790.10 v -x5513 -x5502 -x5491 -x5480 -x5469 -x5458 -x5447 -x5435 -x5424 -x5413 -x5402 -x5391 -x5380 -x5369 -x5358 -x5347 -x5336 -x5324
1789.54/1790.10 v -x5313 -x5302 -x5291 -x5280 -x5269 -x5258 -x5247 -x5236 -x5225 -x5213 -x5202 -x5191 -x5180 -x5169 -x5158 -x5147 -x5136 -x5125
1789.54/1790.10 v -x5114 -x5102 -x5091 -x5080 -x5069 -x5058 -x5047 -x5036 -x5025 -x5014 -x5003 -x4991 -x4980 -x4969 -x4958 -x4947 -x4936 -x4925
1789.54/1790.10 v -x4914 -x4903 -x4892 -x4880 -x4869 -x4858 -x4847 -x4836 -x4825 -x4814 -x4803 -x4792 -x4781 -x4769 -x4758 -x4747 -x4736 -x4725
1789.54/1790.10 v -x4714 -x4703 -x4692 -x4681 -x4670 -x4658 -x4647 -x4636 -x4625 -x4614 -x4603 -x4592 -x4581 -x4570 -x4559 -x4547 -x4536 -x4525
1789.54/1790.10 v -x4514 -x4503 -x4492 -x4481 -x4470 -x4459 x4448 -x4435 -x4424 -x4413 -x4402 -x4391 -x4380 -x4369 -x4358 -x4347 -x4336 -x4324
1789.54/1790.10 v -x4313 -x4302 -x4291 -x4280 -x4269 -x4258 -x4247 -x4236 -x4225 -x4213 -x4202 -x4191 -x4180 -x4169 -x4158 -x4147 -x4136
1789.64/1790.10 v -x4125 -x4114 -x4102 -x4091 -x4080 -x4069 -x4058 -x4047 -x4036 -x4025 -x4014 -x4003 -x3991 -x3980 -x3969 -x3958 -x3947 -x3936
1789.64/1790.10 v -x3925 -x3914 -x3903 -x3892 -x3880 -x3869 -x3858 -x3847 -x3836 -x3825 -x3814 -x3803 -x3792 x3781 -x3769 -x3758 -x3747 -x3736
1789.64/1790.10 v -x3725 -x3714 -x3703 -x3692 -x3681 -x3670 -x3658 -x3647 -x3636 -x3625 -x3614 -x3603 -x3592 -x3581 -x3570 -x3559 -x3547 -x3536
1789.64/1790.10 v -x3525 -x3514 -x3503 -x3492 -x3481 -x3470 -x3459 -x3448 -x3436 -x3425 -x3414 -x3403 -x3392 -x3381 -x3370 -x3359 -x3348 -x3337
1789.64/1790.10 v -x3324 -x3313 -x3302 -x3291 -x3280 -x3269 -x3258 -x3247 -x3236 x3225 -x3213 -x3202 -x3191 -x3180 -x3169 -x3158 -x3147 -x3136
1789.64/1790.10 v -x3125 -x3114 -x3102 -x3091 -x3080 -x3069 -x3058 -x3047 -x3036 -x3025 -x3014 -x3003 -x2991 -x2980 -x2969 -x2958 -x2947 -x2936
1789.64/1790.10 v -x2925 -x2914 -x2903 -x2892 -x2880 -x2869 -x2858 -x2847 -x2836 -x2825 -x2814 -x2803 -x2792 -x2781 -x2769 -x2758 -x2747 -x2736
1789.64/1790.10 v -x2725 -x2714 -x2703 -x2692 -x2681 -x2670 -x2658 -x2647 -x2636 -x2625 -x2614 -x2603 -x2592 -x2581 -x2570 -x2559 -x2547 -x2536
1789.64/1790.10 v -x2525 -x2514 -x2503 -x2492 -x2481 -x2470 -x2459 -x2448 -x2436 -x2425 -x2414 -x2403 -x2392 -x2381 -x2370 -x2359 -x2348
1789.64/1790.10 v -x2337 -x2325 -x2314 -x2303 -x2292 -x2281 -x2270 -x2259 -x2248 -x2237 -x2226 -x2213 -x2202 -x2191 -x2180 -x2169 -x2158 -x2147
1789.64/1790.10 v -x2136 -x2125 -x2114 -x2102 -x2091 -x2080 -x2069 -x2058 -x2047 -x2036 -x2025 -x2014 -x2003 -x1991 -x1980 -x1969 -x1958 -x1947
1789.64/1790.10 v -x1936 -x1925 -x1914 -x1903 -x1892 -x1880 -x1869 -x1858 -x1847 -x1836 -x1825 -x1814 -x1803 -x1792 -x1781 -x1769 -x1758 -x1747
1789.64/1790.10 v -x1736 -x1725 -x1714 -x1703 -x1692 -x1681 -x1670 -x1658 -x1647 -x1636 -x1625 -x1614 -x1603 -x1592 -x1581 -x1570 -x1559 -x1547
1789.64/1790.10 v -x1536 -x1525 -x1514 -x1503 -x1492 -x1481 -x1470 -x1459 -x1448 -x1436 -x1425 -x1414 -x1403 x1392 -x1381 -x1370 -x1359 -x1348
1789.64/1790.10 v -x1337 -x1325 -x1314 -x1303 -x1292 -x1281 -x1270 -x1259 -x1248 -x1237 -x1226 -x1214 -x1203 -x1192 -x1181 -x1170 -x1159 -x1148
1789.64/1790.10 v -x1137 -x1126 -x1115 -x1102 -x1091 -x1080 -x1069 -x1058 -x1047 -x1036 -x1025 -x1014 -x1003 -x991 -x980 -x969 -x958 -x947
1789.64/1790.10 v -x936 -x925 -x914 -x903 -x892 -x880 -x869 -x858 -x847 -x836 -x825 -x814 -x803 -x792 -x781 -x769 -x758 -x747 -x736 -x725 -x714
1789.64/1790.10 v -x703 -x692 -x681 -x670 -x658 -x647 -x636 -x625 -x614 -x603 -x592 -x581 -x570 -x559 -x547 -x536 -x525 -x514 -x503 -x492 -x481
1789.64/1790.10 v -x470 -x459 -x448 -x436 -x425 -x414 -x403 -x392 -x381 -x370 -x359 -x348 -x337 -x325 -x314 -x303 -x292 -x281 -x270 -x259 -x248
1789.64/1790.10 v -x237 -x226 -x214 -x203 -x192 -x181 -x170 -x159 -x148 -x137 -x126 -x115 -x103 -x92 -x81 -x70 -x59 -x48 -x37 -x26 -x15 -x4
1789.64/1790.10 v -x6610 -x6599 -x6588 -x6577 -x6566 -x6555 -x6544 -x6533 -x6522 -x6511 -x6499 -x6488 -x6477 -x6466 -x6455 -x6444 -x6433 -x6422
1789.64/1790.10 v -x6411 -x6400 -x6388 -x6377 -x6366 -x6355 -x6344 -x6333 -x6322 -x6311 -x6300 -x6289 -x6277 -x6266 -x6255 -x6224 -x6113 -x6002
1789.64/1790.10 v -x5891 -x5780 -x5669 -x5558 -x5446 -x5335 -x5224 -x5113 -x5002 -x4891 -x4780 -x4669 -x4558 -x4447 -x4335 -x4224 -x4113 -x4002
1789.64/1790.10 v -x3891 -x3780 -x3669 -x3558 -x3447 -x3336 -x3224 -x3113 -x3002 -x2891 -x2780 -x2669 -x2558 -x2447 -x2336 -x2225 -x2113 -x2002
1789.64/1790.10 v -x1891 -x1780 -x1669 -x1558 -x1447 -x1336 -x1225 -x1114 -x1002 -x891 -x780 -x669 -x558 -x447 -x336 -x225 -x114 -x3 -x6510
1789.64/1790.10 v -x6399 -x6288 -x5557 -x4446 -x3335 -x2224 -x1113 -x2 -x1 x6651 -x6650 -x6649 -x6648 -x6647 x6646 x6645 x6644 -x6643 -x6642
1789.64/1790.10 v x6641 -x6640 -x6639 -x6638 -x6637 -x6636 x6635 x6634 x6633 x6632 x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623
1789.64/1790.10 v -x6622 -x6621
1789.64/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.64/1790.10 c Solving Time : 1789.67
1789.64/1790.10 c Original Problem :
1789.64/1790.10 c Problem name : HOME/instance-2703873-1278558591.opb
1789.64/1790.10 c Variables : 6651 (6651 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.64/1790.10 c Constraints : 721 initial, 721 maximal
1789.64/1790.10 c Presolved Problem :
1789.64/1790.10 c Problem name : t_HOME/instance-2703873-1278558591.opb
1789.64/1790.10 c Variables : 6620 (6620 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.64/1790.10 c Constraints : 536 initial, 815 maximal
1789.64/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.64/1790.10 c trivial : 0.01 0 0 0 0 0 0 0 0
1789.64/1790.10 c dualfix : 0.01 30 0 0 0 0 0 0 0
1789.64/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.64/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.64/1790.10 c implics : 0.01 0 0 0 0 0 0 0 0
1789.64/1790.10 c probing : 1.14 1 0 0 0 0 0 0 0
1789.64/1790.10 c knapsack : 2.92 0 0 0 0 0 0 20 66265
1789.64/1790.10 c setppc : 0.01 0 0 0 0 0 0 0 0
1789.64/1790.10 c linear : 0.43 0 0 0 0 0 185 55 90897
1789.64/1790.10 c logicor : 0.01 0 0 0 0 0 0 0 0
1789.64/1790.10 c root node : - 66 - - 66 - - - -
1789.64/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.64/1790.10 c integral : 0 0 0 2612 0 0 44 0 0 5142
1789.64/1790.10 c knapsack : 183 12 49684 0 0 57 258 308 0 0
1789.64/1790.10 c setppc : 330 12 49627 0 0 0 33834 0 0 0
1789.64/1790.10 c logicor : 23+ 12 2072 0 0 0 1 0 0 0
1789.64/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.64/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.64/1790.10 c integral : 69.76 0.00 0.00 69.76 0.00
1789.64/1790.10 c knapsack : 1279.64 149.56 1130.08 0.00 0.00
1789.64/1790.10 c setppc : 2.12 0.00 2.12 0.00 0.00
1789.64/1790.10 c logicor : 0.06 0.00 0.06 0.00 0.00
1789.64/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.64/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.64/1790.10 c vbounds : 0.04 2 0 0
1789.64/1790.10 c rootredcost : 0.08 23 0 0
1789.64/1790.10 c pseudoobj : 0.28 49486 1 16
1789.64/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.64/1790.10 c propagation : 1.95 57 56 112 91.0 0 0.0 -
1789.64/1790.10 c infeasible LP : 0.74 151 151 372 45.5 0 0.0 0
1789.64/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.64/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.64/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.64/1790.10 c applied globally : - - - 293 48.3 - - -
1789.64/1790.10 c applied locally : - - - 0 0.0 - - -
1789.64/1790.10 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.64/1790.10 c cut pool : 0.01 11 - - 29 - (maximal pool size: 236)
1789.64/1790.10 c redcost : 8.24 4715 0 328743 0 0
1789.64/1790.10 c impliedbounds : 0.01 12 0 0 0 0
1789.64/1790.10 c intobj : 0.00 0 0 0 0 0
1789.64/1790.10 c cgmip : 0.00 0 0 0 0 0
1789.64/1790.10 c gomory : 0.29 12 0 0 106 0
1789.64/1790.10 c strongcg : 0.43 12 0 0 102 0
1789.64/1790.10 c cmir : 1.12 10 0 0 84 0
1789.64/1790.10 c flowcover : 6.82 10 0 0 226 0
1789.64/1790.10 c clique : 0.02 12 0 0 0 0
1789.64/1790.10 c zerohalf : 0.00 0 0 0 0 0
1789.64/1790.10 c mcf : 0.05 1 0 0 0 0
1789.64/1790.10 c rapidlearning : 2.12 1 0 0 0 0
1789.64/1790.10 c Pricers : Time Calls Vars
1789.64/1790.10 c problem variables: 0.00 0 0
1789.64/1790.10 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.64/1790.10 c relpscost : 69.74 2612 0 44 0 0 5142
1789.64/1790.10 c pscost : 0.00 0 0 0 0 0 0
1789.64/1790.10 c inference : 0.00 0 0 0 0 0 0
1789.64/1790.10 c mostinf : 0.00 0 0 0 0 0 0
1789.64/1790.10 c leastinf : 0.00 0 0 0 0 0 0
1789.64/1790.10 c fullstrong : 0.00 0 0 0 0 0 0
1789.64/1790.10 c allfullstrong : 0.00 0 0 0 0 0 0
1789.64/1790.10 c random : 0.00 0 0 0 0 0 0
1789.64/1790.10 c Primal Heuristics : Time Calls Found
1789.64/1790.10 c LP solutions : 0.00 - 0
1789.64/1790.10 c pseudo solutions : 0.00 - 0
1789.64/1790.10 c intshifting : 0.00 0 0
1789.64/1790.10 c oneopt : 0.13 8 2
1789.64/1790.10 c feaspump : 4.59 1 0
1789.64/1790.10 c crossover : 1.06 4 1
1789.64/1790.10 c guideddiving : 43.88 16 0
1789.64/1790.10 c fracdiving : 57.73 17 0
1789.64/1790.10 c veclendiving : 125.61 21 0
1789.64/1790.10 c linesearchdiving : 154.67 23 2
1789.64/1790.10 c coefdiving : 653.05 71 13
1789.64/1790.10 c pscostdiving : 236.01 71 12
1789.64/1790.10 c trivial : 0.02 2 0
1789.64/1790.10 c simplerounding : 0.01 4 0
1789.64/1790.10 c zirounding : 0.17 1000 0
1789.64/1790.10 c rounding : 25.08 2464 2
1789.64/1790.10 c shifting : 16.48 275 1
1789.64/1790.10 c twoopt : 0.00 0 0
1789.64/1790.10 c fixandinfer : 0.00 0 0
1789.64/1790.10 c intdiving : 0.00 0 0
1789.64/1790.10 c actconsdiving : 0.00 0 0
1789.64/1790.10 c objpscostdiving : 6.96 5 6
1789.64/1790.10 c rootsoldiving : 15.47 2 7
1789.64/1790.10 c octane : 0.00 0 0
1789.64/1790.10 c rens : 0.28 1 0
1789.64/1790.10 c rins : 0.00 0 0
1789.64/1790.10 c localbranching : 0.00 0 0
1789.64/1790.10 c mutation : 0.00 0 0
1789.64/1790.10 c dins : 0.00 0 0
1789.64/1790.10 c undercover : 0.00 0 0
1789.64/1790.10 c nlp : 0.00 0 0
1789.64/1790.10 c trysol : 0.00 0 0
1789.64/1790.10 c LP : Time Calls Iterations Iter/call Iter/sec
1789.64/1790.10 c primal LP : 0.01 0 0 0.00 -
1789.64/1790.10 c dual LP : 69.51 2660 108721 40.87 1564.13
1789.64/1790.10 c lex dual LP : 0.00 0 0 0.00 -
1789.64/1790.10 c barrier LP : 0.00 0 0 0.00 -
1789.64/1790.10 c diving/probing LP: 183.00 36818 162240 4.41 886.57
1789.64/1790.10 c strong branching : 69.50 4230 90986 21.51 1309.19
1789.64/1790.10 c (at root node) : - 26 1272 48.92 -
1789.64/1790.10 c conflict analysis: 0.00 0 0 0.00 -
1789.64/1790.10 c B&B Tree :
1789.64/1790.10 c number of runs : 1
1789.64/1790.10 c nodes : 2607
1789.64/1790.10 c nodes (total) : 2607
1789.64/1790.10 c nodes left : 2535
1789.64/1790.10 c max depth : 57
1789.64/1790.10 c max depth (total): 57
1789.64/1790.10 c backtracks : 258 (9.9%)
1789.64/1790.10 c delayed cutoffs : 0
1789.64/1790.10 c repropagations : 36 (6 domain reductions, 0 cutoffs)
1789.64/1790.10 c avg switch length: 3.72
1789.64/1790.10 c switching time : 2.49
1789.64/1790.10 c Solution :
1789.64/1790.10 c Solutions found : 46 (26 improvements)
1789.64/1790.10 c First Solution : +1.61061273600000e+09 (in run 1, after 1 nodes, 5.00 seconds, depth 0, found by <shifting>)
1789.64/1790.10 c Primal Bound : +1.13354240000000e+09 (in run 1, after 1404 nodes, 907.16 seconds, depth 82, found by <coefdiving>)
1789.64/1790.10 c Dual Bound : +1.12532990074530e+09
1789.64/1790.10 c Gap : 0.73 %
1789.64/1790.10 c Root Dual Bound : +1.12511052364099e+09
1789.64/1790.10 c Root Iterations : 698
1789.74/1790.25 c Time complete: 1789.8.
OK 1133542400
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703873-1278558591/watcher-2703873-1278558591 -o /tmp/evaluation-result-2703873-1278558591/solver-2703873-1278558591 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703873-1278558591.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27079 /proc/meminfo: memFree=1753932/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=7904 CPUtime=0 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 1044 0 0 0 0 0 0 0 21 0 1 0 24065863 8093696 955 1992294400 4194304 8395647 140735675092816 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27079/statm: 1976 963 365 1026 0 946 0 [startup+0.107089 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27079 /proc/meminfo: memFree=1753932/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=16268 CPUtime=0.09 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 3343 0 0 0 9 0 0 0 21 0 1 0 24065863 16658432 3254 1992294400 4194304 8395647 140735675092816 18446744073709551615 7301504 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27079/statm: 4067 3254 394 1026 0 3037 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16268 [startup+0.201097 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27079 /proc/meminfo: memFree=1753932/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=17776 CPUtime=0.19 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 3681 0 0 0 18 1 0 0 21 0 1 0 24065863 18202624 3592 1992294400 4194304 8395647 140735675092816 18446744073709551615 5758038 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27079/statm: 4444 3592 394 1026 0 3414 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17776 [startup+0.301106 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27079 /proc/meminfo: memFree=1753932/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=19368 CPUtime=0.29 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 4055 0 0 0 28 1 0 0 21 0 1 0 24065863 19832832 3966 1992294400 4194304 8395647 140735675092816 18446744073709551615 7347504 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27079/statm: 4842 3966 394 1026 0 3812 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19368 [startup+0.701142 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27079 /proc/meminfo: memFree=1753932/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=50860 CPUtime=0.69 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 11834 0 0 0 66 3 0 0 22 0 1 0 24065863 52080640 11391 1992294400 4194304 8395647 140735675092816 18446744073709551615 5026625 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 12715 11391 458 1026 0 11685 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 50860 [startup+1.50121 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27080 /proc/meminfo: memFree=1693660/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=67368 CPUtime=1.49 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 15959 0 0 0 145 4 0 0 25 0 1 0 24065863 68984832 15516 1992294400 4194304 8395647 140735675092816 18446744073709551615 4482970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 16842 15516 492 1026 0 15812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 67368 [startup+3.10036 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27080 /proc/meminfo: memFree=1693288/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=67368 CPUtime=3.09 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 15965 0 0 0 305 4 0 0 25 0 1 0 24065863 68984832 15519 1992294400 4194304 8395647 140735675092816 18446744073709551615 6085106 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 16842 15519 492 1026 0 15812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67368 [startup+6.30064 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27080 /proc/meminfo: memFree=1673324/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=88628 CPUtime=6.29 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 21566 0 0 0 623 6 0 0 25 0 1 0 24065863 90755072 20413 1992294400 4194304 8395647 140735675092816 18446744073709551615 4918574 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 22157 20413 593 1026 0 21127 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 88628 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27080 /proc/meminfo: memFree=1673324/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=88628 CPUtime=12.69 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 21569 0 0 0 1263 6 0 0 25 0 1 0 24065863 90755072 20416 1992294400 4194304 8395647 140735675092816 18446744073709551615 6013863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 22157 20416 593 1026 0 21127 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 88628 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27080 /proc/meminfo: memFree=1637736/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=126724 CPUtime=25.48 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 35410 0 0 0 2536 12 0 0 25 0 1 0 24065863 129765376 29479 1992294400 4194304 8395647 140735675092816 18446744073709551615 6013863 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 31681 29479 632 1026 0 30651 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 126724 [startup+51.1017 s] /proc/loadavg: 1.08 1.02 1.01 2/107 27080 /proc/meminfo: memFree=1633892/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=129752 CPUtime=51.08 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 36349 0 0 0 5095 13 0 0 25 0 1 0 24065863 132866048 30418 1992294400 4194304 8395647 140735675092816 18446744073709551615 4331200 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 32438 30418 632 1026 0 31408 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 129752 [startup+102.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 27082 /proc/meminfo: memFree=1628560/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=135908 CPUtime=102.26 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 37657 0 0 0 10213 13 0 0 25 0 1 0 24065863 139169792 31726 1992294400 4194304 8395647 140735675092816 18446744073709551615 4918571 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 33977 31726 632 1026 0 32947 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 135908 [startup+162.302 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27084 /proc/meminfo: memFree=1627444/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138392 CPUtime=162.24 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 37940 0 0 0 16210 14 0 0 25 0 1 0 24065863 141713408 32009 1992294400 4194304 8395647 140735675092816 18446744073709551615 6013888 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34598 32009 633 1026 0 33568 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 138392 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27084 /proc/meminfo: memFree=1624468/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=140048 CPUtime=222.24 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 40879 0 0 0 22183 41 0 0 25 0 1 0 24065863 143409152 32594 1992294400 4194304 8395647 140735675092816 18446744073709551615 6593240 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35012 32594 641 1026 0 33982 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 140048 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27086 /proc/meminfo: memFree=1624468/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=140048 CPUtime=282.21 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 40895 0 0 0 28165 56 0 0 25 0 1 0 24065863 143409152 32610 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35012 32610 644 1026 0 33982 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 140048 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27088 /proc/meminfo: memFree=1624468/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=140048 CPUtime=342.2 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 40896 0 0 0 34154 66 0 0 25 0 1 0 24065863 143409152 32611 1992294400 4194304 8395647 140735675092816 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35012 32611 644 1026 0 33982 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 140048 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27090 /proc/meminfo: memFree=1625708/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138788 CPUtime=402.18 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 44464 0 0 0 40142 76 0 0 25 0 1 0 24065863 142118912 32307 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911331 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34697 32307 645 1026 0 33667 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 138788 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27092 /proc/meminfo: memFree=1625708/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138788 CPUtime=462.17 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 44466 0 0 0 46136 81 0 0 25 0 1 0 24065863 142118912 32309 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34697 32309 645 1026 0 33667 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 138788 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27092 /proc/meminfo: memFree=1625708/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138788 CPUtime=522.15 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 44466 0 0 0 52130 85 0 0 25 0 1 0 24065863 142118912 32309 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34697 32309 645 1026 0 33667 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 138788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27094 /proc/meminfo: memFree=1619632/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144964 CPUtime=582.13 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 49494 0 0 0 58117 96 0 0 25 0 1 0 24065863 148443136 33847 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36241 33847 645 1026 0 35211 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 144964 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27099 /proc/meminfo: memFree=1618888/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144964 CPUtime=642.12 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 49494 0 0 0 64108 104 0 0 25 0 1 0 24065863 148443136 33847 1992294400 4194304 8395647 140735675092816 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36241 33847 645 1026 0 35211 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 144964 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1618888/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144964 CPUtime=1002.03 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 49496 0 0 0 100060 143 0 0 25 0 1 0 24065863 148443136 33849 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36241 33849 645 1026 0 35211 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 144964 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27111 /proc/meminfo: memFree=1619260/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144608 CPUtime=1062.02 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 55471 0 0 0 106049 153 0 0 25 0 1 0 24065863 148078592 33766 1992294400 4194304 8395647 140735675092816 18446744073709551615 6003158 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36152 33766 646 1026 0 35122 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 144608 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27111 /proc/meminfo: memFree=1619260/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144608 CPUtime=1122.01 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 55471 0 0 0 112040 161 0 0 25 0 1 0 24065863 148078592 33766 1992294400 4194304 8395647 140735675092816 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36152 33766 646 1026 0 35122 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 144608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27113 /proc/meminfo: memFree=1619384/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144608 CPUtime=1181.99 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 55471 0 0 0 118031 168 0 0 25 0 1 0 24065863 148078592 33766 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36152 33766 646 1026 0 35122 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 144608 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27115 /proc/meminfo: memFree=1619384/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144608 CPUtime=1241.98 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 55472 0 0 0 124026 172 0 0 25 0 1 0 24065863 148078592 33767 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36152 33767 646 1026 0 35122 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 144608 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27117 /proc/meminfo: memFree=1619260/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=144608 CPUtime=1301.96 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 55472 0 0 0 130016 180 0 0 25 0 1 0 24065863 148078592 33767 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 36152 33767 646 1026 0 35122 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 144608 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27119 /proc/meminfo: memFree=1625584/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138392 CPUtime=1361.94 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 62365 0 0 0 136005 189 0 0 25 0 1 0 24065863 141713408 32216 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34598 32216 646 1026 0 33568 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 138392 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27119 /proc/meminfo: memFree=1625584/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=138392 CPUtime=1421.94 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 62365 0 0 0 142000 194 0 0 25 0 1 0 24065863 141713408 32216 1992294400 4194304 8395647 140735675092816 18446744073709551615 4601642 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34598 32216 646 1026 0 33568 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 138392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27121 /proc/meminfo: memFree=1625336/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=139416 CPUtime=1481.92 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 62589 0 0 0 147992 200 0 0 25 0 1 0 24065863 142761984 32440 1992294400 4194304 8395647 140735675092816 18446744073709551615 6574285 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34854 32440 646 1026 0 33824 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 139416 [startup+1542.31 s] /proc/loadavg: 1.03 1.01 1.00 2/107 27123 /proc/meminfo: memFree=1625088/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=139560 CPUtime=1541.91 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 62639 0 0 0 153986 205 0 0 25 0 1 0 24065863 142909440 32490 1992294400 4194304 8395647 140735675092816 18446744073709551615 6574281 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 34890 32490 646 1026 0 33860 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 139560 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27125 /proc/meminfo: memFree=1624592/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=140108 CPUtime=1601.89 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 62776 0 0 0 159976 213 0 0 25 0 1 0 24065863 143470592 32627 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35027 32627 646 1026 0 33997 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 140108 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27127 /proc/meminfo: memFree=1623352/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=141340 CPUtime=1661.87 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63090 0 0 0 165965 222 0 0 25 0 1 0 24065863 144732160 32941 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35335 32941 646 1026 0 34305 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 141340 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27127 /proc/meminfo: memFree=1622980/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=141676 CPUtime=1721.86 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63167 0 0 0 171960 226 0 0 25 0 1 0 24065863 145076224 33018 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35419 33018 646 1026 0 34389 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 141676 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1781.85 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63448 0 0 0 177951 234 0 0 25 0 1 0 24065863 146321408 33299 1992294400 4194304 8395647 140735675092816 18446744073709551615 6119715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33299 646 1026 0 34693 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 142892 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1785.14 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63450 0 0 0 178280 234 0 0 25 0 1 0 24065863 146321408 33301 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33301 646 1026 0 34693 0 Current children cumulated CPU time (s) 1785.14 Current children cumulated vsize (KiB) 142892 [startup+1788.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1788.34 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63450 0 0 0 178600 234 0 0 25 0 1 0 24065863 146321408 33301 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33301 646 1026 0 34693 0 Current children cumulated CPU time (s) 1788.34 Current children cumulated vsize (KiB) 142892 [startup+1789.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1789.14 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63450 0 0 0 178680 234 0 0 25 0 1 0 24065863 146321408 33301 1992294400 4194304 8395647 140735675092816 18446744073709551615 4911327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33301 646 1026 0 34693 0 Current children cumulated CPU time (s) 1789.14 Current children cumulated vsize (KiB) 142892 [startup+1790 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1789.54 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63455 0 0 0 178720 234 0 0 25 0 1 0 24065863 146321408 33306 1992294400 4194304 8395647 140735675092816 18446744073709551615 5541160 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33306 646 1026 0 34693 0 Current children cumulated CPU time (s) 1789.54 Current children cumulated vsize (KiB) 142892 [startup+1790.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27129 /proc/meminfo: memFree=1621616/2059040 swapFree=4147816/4192956 [pid=27079] ppid=27077 vsize=142892 CPUtime=1789.74 /proc/27079/stat : 27079 (pbscip.linux.x8) R 27077 27079 25740 0 -1 4202496 63458 0 0 0 178740 234 0 0 25 0 1 0 24065863 146321408 33309 1992294400 4194304 8395647 140735675092816 18446744073709551615 4750671 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/27079/statm: 35723 33309 648 1026 0 34693 0 Current children cumulated CPU time (s) 1789.74 Current children cumulated vsize (KiB) 142892 Child status: 0 Real time (s): 1790.26 CPU time (s): 1789.81 CPU user time (s): 1787.45 CPU system time (s): 2.36364 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 173136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.45 system time used= 2.36364 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63461 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= 3436 runsolver used 3.11153 second user time and 8.29874 second system time The end
Begin job on node051 at 2010-07-08 05:09:51 IDJOB=2703873 IDBENCH=2371 IDSOLVER=1213 FILE ID=node051/2703873-1278558591 PBS_JOBID= 11239490 Free space on /tmp= 62520 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.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-2703873-1278558591/watcher-2703873-1278558591 -o /tmp/evaluation-result-2703873-1278558591/solver-2703873-1278558591 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703873-1278558591.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65 RANDOM SEED=1636847598 node051.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.201 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.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1754460 kB Buffers: 58684 kB Cached: 152128 kB SwapCached: 4888 kB Active: 114100 kB Inactive: 116660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1754460 kB SwapTotal: 4192956 kB SwapFree: 4147816 kB Dirty: 12368 kB Writeback: 0 kB AnonPages: 16052 kB Mapped: 12136 kB Slab: 51876 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181628 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62508 MiB End job on node051 at 2010-07-08 05:39:42