Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1800.91 | 1800.86 |
| Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j309_10-unsat--soft-66-100-0.wbo |
| MD5SUM | f8e585aed580dee910146256b9cb9d64 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.172973 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 5456 |
| Total number of constraints | 17015 |
| Number of soft constraints | 5692 |
| Number of constraints which are clauses | 16667 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 348 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 26 |
| Top cost | 285936 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 285935 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 177 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693125-1277916295.wbo>
0.09/0.14 c original problem has 16840 variables (11148 bin, 0 int, 0 impl, 5692 cont) and 22708 constraints
0.09/0.14 c problem read
0.09/0.14 c presolving settings loaded
0.29/0.30 c presolving:
0.39/0.40 c (round 1) 532 del vars, 1431 del conss, 313 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 186970 impls, 0 clqs
0.39/0.44 c (round 2) 1348 del vars, 4035 del conss, 667 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 190940 impls, 0 clqs
0.39/0.49 c (round 3) 2655 del vars, 6228 del conss, 865 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 192635 impls, 0 clqs
0.49/0.52 c (round 4) 4038 del vars, 7493 del conss, 970 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193254 impls, 0 clqs
0.49/0.54 c (round 5) 4888 del vars, 8145 del conss, 1037 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193632 impls, 0 clqs
0.49/0.56 c (round 6) 5363 del vars, 8589 del conss, 1088 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193884 impls, 0 clqs
0.49/0.57 c (round 7) 5656 del vars, 8881 del conss, 1121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193922 impls, 0 clqs
0.49/0.58 c (round 8) 5847 del vars, 9021 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.49/0.59 c (round 9) 5947 del vars, 9072 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.59/0.60 c (round 10) 5991 del vars, 9086 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.59/0.60 c (round 11) 6004 del vars, 9092 del conss, 1128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.59/0.63 c (round 12) 6009 del vars, 9095 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 193950 impls, 0 clqs
0.59/0.69 c (round 13) 6012 del vars, 9095 del conss, 4745 chg bounds, 0 chg sides, 0 chg coeffs, 6577 upgd conss, 193950 impls, 0 clqs
2.59/2.60 c (2.4s) probing: 1000/7211 (13.9%) - 24 fixings, 1 aggregations, 46893 implications, 2 bound changes
3.69/3.70 c (3.5s) probing: 2000/7211 (27.7%) - 24 fixings, 5 aggregations, 54197 implications, 2 bound changes
4.59/4.60 c (4.3s) probing: 3000/7211 (41.6%) - 24 fixings, 5 aggregations, 56717 implications, 2 bound changes
5.09/5.10 c (4.8s) probing: 3685/7211 (51.1%) - 24 fixings, 5 aggregations, 56975 implications, 2 bound changes
5.09/5.10 c (4.8s) probing aborted: 100/100 successive totally useless probings
5.09/5.11 c (round 14) 6041 del vars, 9095 del conss, 4747 chg bounds, 0 chg sides, 8 chg coeffs, 6577 upgd conss, 403041 impls, 532 clqs
5.09/5.13 c (round 15) 6041 del vars, 9164 del conss, 4747 chg bounds, 2 chg sides, 90 chg coeffs, 6577 upgd conss, 403041 impls, 535 clqs
5.09/5.16 c (round 16) 6067 del vars, 9192 del conss, 4747 chg bounds, 10 chg sides, 173 chg coeffs, 6577 upgd conss, 403049 impls, 582 clqs
5.09/5.19 c (round 17) 6095 del vars, 9196 del conss, 4759 chg bounds, 10 chg sides, 192 chg coeffs, 6577 upgd conss, 403049 impls, 598 clqs
5.19/5.22 c (round 18) 6099 del vars, 9196 del conss, 4759 chg bounds, 10 chg sides, 200 chg coeffs, 6583 upgd conss, 403049 impls, 599 clqs
5.19/5.26 c (5.0s) probing: 3695/7211 (51.2%) - 24 fixings, 5 aggregations, 56975 implications, 2 bound changes
5.19/5.26 c (5.0s) probing aborted: 100/100 successive totally useless probings
5.19/5.26 c presolving (19 rounds):
5.19/5.26 c 6099 deleted vars, 9196 deleted constraints, 4759 tightened bounds, 0 added holes, 10 changed sides, 201 changed coefficients
5.19/5.26 c 403049 implications, 599 cliques
5.19/5.26 c presolved problem has 10741 variables (7152 bin, 0 int, 0 impl, 3589 cont) and 13522 constraints
5.19/5.26 c 3589 constraints of type <indicator>
5.19/5.26 c 196 constraints of type <varbound>
5.19/5.26 c 237 constraints of type <knapsack>
5.19/5.26 c 10 constraints of type <setppc>
5.19/5.26 c 3393 constraints of type <linear>
5.19/5.26 c 6097 constraints of type <logicor>
5.19/5.26 c transformed objective value is always integral (scale: 1)
5.19/5.26 c Presolving Time: 4.94
5.19/5.26 c - non default parameters ----------------------------------------------------------------------
5.19/5.26 c # SCIP version 1.2.1.2
5.19/5.26 c
5.19/5.26 c # frequency for displaying node information lines
5.19/5.26 c # [type: int, range: [-1,2147483647], default: 100]
5.19/5.26 c display/freq = 10000
5.19/5.26 c
5.19/5.26 c # maximal time in seconds to run
5.19/5.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.26 c limits/time = 1799.87
5.19/5.26 c
5.19/5.26 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.19/5.26 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.19/5.26 c limits/memory = 3420
5.19/5.26 c
5.19/5.26 c # should presolving try to simplify inequalities
5.19/5.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.26 c constraints/linear/simplifyinequalities = TRUE
5.19/5.26 c
5.19/5.26 c # should presolving try to simplify knapsacks
5.19/5.26 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.19/5.26 c constraints/knapsack/simplifyinequalities = TRUE
5.19/5.26 c
5.19/5.26 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.19/5.26 c # [type: int, range: [-1,2147483647], default: -1]
5.19/5.26 c separating/rapidlearning/freq = 0
5.19/5.26 c
5.19/5.26 c -----------------------------------------------------------------------------------------------
5.19/5.26 c start solving
5.19/5.26 c
5.29/5.38 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.38 c 5.1s| 1 | 0 | 1086 | - | 67M| 0 |1039 | 10k| 13k| 10k|6334 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
6.59/6.67 c 6.4s| 1 | 0 | 2012 | - | 69M| 0 | 933 | 10k| 13k| 10k|8165 |1831 | 0 | 0 | 0.000000e+00 | -- | Inf
7.70/7.79 c 7.5s| 1 | 0 | 3395 | - | 70M| 0 |1505 | 10k| 13k| 10k|8564 |2230 | 0 | 0 | 0.000000e+00 | -- | Inf
11.10/11.13 c 10.8s| 1 | 0 | 4855 | - | 70M| 0 |1598 | 10k| 13k| 10k|8888 |2554 | 0 | 0 | 0.000000e+00 | -- | Inf
15.69/15.80 c 15.4s| 1 | 0 | 7350 | - | 70M| 0 |1642 | 10k| 13k| 10k|9158 |2824 | 0 | 0 | 0.000000e+00 | -- | Inf
23.69/23.73 c 23.4s| 1 | 0 | 10975 | - | 70M| 0 |1853 | 10k| 13k| 10k|9442 |3108 | 0 | 0 | 0.000000e+00 | -- | Inf
32.49/32.56 c 32.2s| 1 | 0 | 15474 | - | 70M| 0 |1936 | 10k| 13k| 10k|9678 |3344 | 0 | 0 | 0.000000e+00 | -- | Inf
48.40/48.41 c 47.9s| 1 | 2 | 15474 | - | 71M| 0 |1936 | 10k| 13k| 10k|9678 |3344 | 0 | 17 | 0.000000e+00 | -- | Inf
426.50/426.54 o 169534
426.50/426.54 c y 424s| 4760 | 4759 |314349 | 62.8 | 97M| 239 | - | 10k| 13k| 0 | 0 |7230 | 40 | 987 | 0.000000e+00 | 1.695340e+05 | Inf
427.50/427.52 o 169467
427.50/427.52 c y 425s| 4885 | 4884 |315135 | 61.4 | 98M| 247 | - | 10k| 13k| 0 | 0 |7301 | 40 | 987 | 0.000000e+00 | 1.694670e+05 | Inf
428.50/428.51 o 169381
428.50/428.51 c y 426s| 5010 | 5009 |315960 | 60.0 | 99M| 247 | - | 10k| 13k| 0 | 0 |7379 | 40 | 987 | 0.000000e+00 | 1.693810e+05 | Inf
431.50/431.52 o 169285
431.50/431.52 c y 429s| 5385 | 5384 |317875 | 56.2 | 102M| 247 | - | 10k| 13k| 0 | 0 |7593 | 40 | 987 | 0.000000e+00 | 1.692850e+05 | Inf
475.50/475.52 o 169253
475.50/475.52 c y 472s| 9038 | 9035 |345831 | 36.6 | 126M| 259 | - | 10k| 13k| 0 | 0 |9572 | 41 |1274 | 0.000000e+00 | 1.692530e+05 | Inf
489.41/489.50 c 486s| 10000 | 9999 |356923 | 34.1 | 132M| 259 | 552 | 10k| 13k| 10k|7886 |9961 | 41 |1382 | 0.000000e+00 | 1.692530e+05 | Inf
491.10/491.18 o 169184
491.10/491.18 c y 487s| 10154 | 10151 |358341 | 33.8 | 133M| 259 | - | 10k| 13k| 0 | 0 | 10k| 41 |1406 | 0.000000e+00 | 1.691840e+05 | Inf
492.60/492.65 o 168875
492.60/492.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
492.60/492.65 c y 489s| 10288 | 10285 |359294 | 33.4 | 134M| 259 | - | 10k| 13k| 0 | 0 | 10k| 41 |1439 | 0.000000e+00 | 1.688750e+05 | Inf
671.01/671.05 c 664s| 20000 | 19995 |507620 | 24.6 | 200M| 259 | 0 | 10k| 13k| 10k|7962 | 14k| 45 |2862 | 0.000000e+00 | 1.688750e+05 | Inf
854.31/854.30 c 844s| 30000 | 29989 |696628 | 22.7 | 260M| 259 | 25 | 10k| 13k| 10k|7886 | 19k| 48 |4522 | 0.000000e+00 | 1.688750e+05 | Inf
1042.12/1042.12 c 1028s| 40000 | 39975 |872014 | 21.4 | 317M| 259 | 131 | 10k| 13k| 10k|7886 | 24k| 65 |5464 | 0.000000e+00 | 1.688750e+05 | Inf
1197.02/1197.00 c 1180s| 50000 | 49973 | 1036k| 20.4 | 374M| 259 | 2 | 10k| 13k| 10k|7886 | 28k| 97 |5823 | 0.000000e+00 | 1.688750e+05 | Inf
1374.93/1374.91 c 1355s| 60000 | 59973 | 1203k| 19.8 | 430M| 259 | 0 | 10k| 13k| 10k|7942 | 32k| 106 |7234 | 0.000000e+00 | 1.688750e+05 | Inf
1503.73/1503.74 c 1481s| 70000 | 69971 | 1322k| 18.7 | 486M| 259 | 0 | 10k| 13k| 10k|7953 | 37k| 124 |8177 | 0.000000e+00 | 1.688750e+05 | Inf
1620.12/1620.20 c 1595s| 80000 | 79967 | 1440k| 17.8 | 543M| 259 | 137 | 10k| 13k| 10k|7886 | 41k| 146 |8430 | 0.000000e+00 | 1.688750e+05 | Inf
1730.43/1730.46 c 1703s| 90000 | 89967 | 1553k| 17.1 | 599M| 259 | 4 | 10k| 13k| 10k|7929 | 46k| 149 |8593 | 0.000000e+00 | 1.688750e+05 | Inf
1800.04/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.01 c Solving Time (sec) : 1771.26
1800.04/1800.01 c Solving Nodes : 96109
1800.04/1800.01 c Primal Bound : +1.68875000000000e+05 (198 solutions)
1800.04/1800.01 c Dual Bound : +0.00000000000000e+00
1800.04/1800.01 c Gap : infinite
1800.54/1800.59 s SATISFIABLE
1800.54/1800.59 v -x5456 -x5455 x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441 -x5440 -x5439 -x5438
1800.54/1800.59 v -x5437 -x5436 -x5435 -x5434 -x5433 -x5432 -x5431 -x5430 -x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423 -x5422 -x5421 -x5420
1800.54/1800.59 v -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5405 -x5404 -x5403
1800.54/1800.59 v -x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386 -x5385
1800.54/1800.59 v -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367
1800.54/1800.59 v -x5366 x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350 -x5349
1800.54/1800.59 v -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 x5334 -x5333 -x5332 x5331
1800.54/1800.59 v -x5330 -x5329 -x5328 x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314 -x5313
1800.54/1800.59 v -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296 -x5295
1800.54/1800.59 v -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277
1800.54/1800.59 v -x5276 x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 x5266 x5265 x5264 -x5263 x5262 x5261 x5260 -x5259 -x5258
1800.54/1800.59 v -x5257 x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5240
1800.54/1800.59 v -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222
1800.54/1800.59 v -x5221 -x5220 -x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205 -x5204
1800.54/1800.59 v -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 -x5195 -x5194 -x5193 -x5192 -x5191 x5190 -x5189 x5188 x5187 -x5186
1800.54/1800.59 v x5185 -x5184 -x5183 -x5182 x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168
1800.54/1800.59 v -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151 -x5150
1800.54/1800.59 v -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133 -x5132
1800.54/1800.59 v -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114
1800.54/1800.59 v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 x5102 -x5101 -x5100 -x5099 x5098 x5097 x5096
1800.54/1800.59 v x5095 x5094 x5093 x5092 x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078 -x5077
1800.54/1800.59 v -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 x5065 -x5064 -x5063 -x5062 -x5061 -x5060 -x5059
1800.54/1800.59 v -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1800.54/1800.59 v -x5041 -x5040 -x5039 -x5038 -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024
1800.54/1800.59 v -x5023 -x5022 -x5021 -x5020 x5019 x5018 -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 x5010 -x5009 -x5008 x5007 x5006 x5005
1800.54/1800.59 v -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987
1800.54/1800.59 v -x4986 -x4985 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4970 -x4969
1800.54/1800.59 v -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961 -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951
1800.54/1800.59 v -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934
1800.54/1800.59 v -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 x4916
1800.54/1800.59 v -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4907 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898
1800.54/1800.59 v -x4897 -x4896 x4895 -x4894 x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4885 -x4884 x4883 -x4882 -x4881 -x4880 -x4879
1800.54/1800.59 v -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862
1800.54/1800.59 v x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844
1800.54/1800.59 v -x4843 -x4842 -x4841 -x4840 -x4839 -x4838 -x4837 -x4836 -x4835 x4834 x4833 -x4832 -x4831 x4830 -x4829 x4828 x4827 -x4826 -x4825
1800.54/1800.59 v -x4824 x4823 x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807
1800.54/1800.59 v -x4806 -x4805 -x4804 -x4803 -x4802 x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789
1800.54/1800.59 v -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4771
1800.54/1800.59 v -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761 -x4760 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753
1800.54/1800.59 v -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 x4738 x4737 x4736 x4735
1800.54/1800.59 v x4734 x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716
1800.54/1800.59 v -x4715 -x4714 -x4713 x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 -x4705 -x4704 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698
1800.54/1800.59 v -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681
1800.54/1800.59 v -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 x4663
1800.54/1800.59 v x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644
1800.54/1800.59 v x4643 x4642 -x4641 -x4640 -x4639 -x4638 -x4637 x4636 -x4635 -x4634 -x4633 -x4632 x4631 x4630 x4629 -x4628 -x4627 -x4626
1800.54/1800.59 v -x4625 -x4624 -x4623 -x4622 x4621 -x4620 -x4619 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608
1800.54/1800.59 v -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4593 -x4592 -x4591 -x4590
1800.54/1800.59 v -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572
1800.54/1800.59 v -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4560 -x4559 -x4558 -x4557 -x4556 x4555 -x4554
1800.54/1800.59 v x4553 x4552 x4551 -x4550 -x4549 -x4548 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4538 -x4537 -x4536
1800.54/1800.59 v -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518
1800.54/1800.59 v -x4517 -x4516 -x4515 -x4514 -x4513 x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504 -x4503 -x4502 -x4501 -x4500
1800.54/1800.59 v -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 -x4485 -x4484 -x4483 -x4482
1800.54/1800.59 v -x4481 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467 -x4466 -x4465 -x4464
1800.54/1800.59 v -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4448 -x4447 -x4446
1800.54/1800.59 v -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 x4432 x4431 x4430 -x4429 -x4428
1800.54/1800.59 v -x4427 x4426 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 x4418 -x4417 -x4416 -x4415 -x4414 -x4413 -x4412 -x4411 -x4410
1800.54/1800.59 v -x4409 -x4408 -x4407 -x4406 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4393 -x4392
1800.54/1800.59 v -x4391 -x4390 -x4389 -x4388 x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 x4374
1800.54/1800.59 v -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359 -x4358 -x4357 -x4356
1800.54/1800.59 v -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338
1800.54/1800.59 v -x4337 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320
1800.54/1800.59 v -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304 -x4303 -x4302
1800.54/1800.59 v -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286 -x4285 -x4284
1800.54/1800.59 v -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268 -x4267
1800.54/1800.59 v -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1800.54/1800.59 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1800.54/1800.59 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4215 x4214 -x4213
1800.54/1800.59 v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 x4198 x4197 x4196 -x4195 -x4194
1800.54/1800.59 v -x4193 x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176
1800.54/1800.59 v x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159 -x4158
1800.54/1800.59 v -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140
1800.54/1800.59 v x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123 -x4122
1800.54/1800.59 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105
1800.54/1800.59 v -x4104 -x4103 -x4102 -x4101 x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087
1800.54/1800.59 v -x4086 -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069
1800.54/1800.59 v -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051
1800.54/1800.59 v -x4050 -x4049 -x4048 -x4047 x4046 -x4045 -x4044 -x4043 -x4042 x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033
1800.54/1800.59 v -x4032 -x4031 -x4030 -x4029 x4028 x4027 x4026 x4025 -x4024 x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1800.54/1800.59 v x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
1800.54/1800.59 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3980 -x3979 -x3978
1800.54/1800.59 v -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 x3969 -x3968 -x3967 -x3966 -x3965 -x3964 x3963 x3962 -x3961 -x3960
1800.54/1800.59 v -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 x3951 -x3950 -x3949 x3948 -x3947 -x3946 -x3945 -x3944 x3943 -x3942
1800.54/1800.59 v -x3941 -x3940 -x3939 -x3938 -x3937 -x3936 -x3935 -x3934 x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924
1800.54/1800.59 v -x3923 -x3922 -x3921 x3920 -x3919 -x3918 -x3917 -x3916 -x3915 -x3914 x3913 x3912 x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905
1800.54/1800.59 v -x3904 -x3903 -x3902 -x3901 -x3900 -x3899 x3898 x3897 x3896 x3895 -x3894 -x3893 -x3892 -x3891 -x3890 -x3889 -x3888 -x3887
1800.54/1800.59 v -x3886 -x3885 -x3884 -x3883 -x3882 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869
1800.54/1800.59 v -x3868 -x3867 -x3866 -x3865 x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 -x3852 -x3851
1800.54/1800.59 v -x3850 -x3849 -x3848 x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3838 -x3837 -x3836 -x3835 -x3834 -x3833
1800.54/1800.59 v -x3832 -x3831 x3830 x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3815
1800.54/1800.59 v -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797
1800.54/1800.59 v -x3796 -x3795 -x3794 -x3793 -x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781 -x3780 -x3779
1800.54/1800.59 v -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761
1800.54/1800.59 v -x3760 -x3759 -x3758 -x3757 -x3756 x3755 -x3754 x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744 x3743
1800.54/1800.59 v x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726 -x3725
1800.54/1800.59 v -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 x3714 x3713 -x3712 -x3711 -x3710 -x3709 -x3708 -x3707
1800.54/1800.59 v -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1800.54/1800.59 v -x3688 -x3687 -x3686 -x3685 x3684 -x3683 -x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1800.54/1800.59 v -x3670 -x3669 -x3668 -x3667 x3666 -x3665 x3664 -x3663 -x3662 x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1800.54/1800.59 v -x3652 -x3651 x3650 -x3649 x3648 x3647 x3646 x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635 -x3634
1800.54/1800.59 v -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 x3620 x3619 -x3618 -x3617 -x3616
1800.54/1800.59 v -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598
1800.54/1800.59 v -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 x3586 -x3585 -x3584 -x3583 -x3582 -x3581 x3580
1800.54/1800.59 v x3579 -x3578 x3577 x3576 x3575 x3574 -x3573 x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 x3564 -x3563 -x3562 -x3561
1800.54/1800.59 v -x3560 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544 -x3543
1800.54/1800.59 v -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526 -x3525
1800.54/1800.59 v -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508 -x3507
1800.54/1800.59 v -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490 -x3489
1800.54/1800.59 v -x3488 -x3487 -x3486 -x3485 -x3484 x3483 x3482 x3481 x3480 x3479 -x3478 x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
1800.54/1800.59 v -x3470 -x3469 -x3468 -x3467 x3466 -x3465 x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452
1800.54/1800.59 v -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436 -x3435
1800.54/1800.59 v -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417
1800.54/1800.59 v -x3416 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
1800.54/1800.59 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 x3382 x3381
1800.54/1800.59 v x3380 x3379 -x3378 -x3377 -x3376 -x3375 x3374 x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362
1800.54/1800.59 v -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345 -x3344
1800.54/1800.59 v -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327
1800.54/1800.59 v -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309
1800.54/1800.59 v -x3308 -x3307 x3306 -x3305 -x3304 x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 x3296 -x3295 -x3294 x3293 -x3292 x3291 x3290
1800.54/1800.59 v -x3289 -x3288 -x3287 -x3286 x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272
1800.54/1800.59 v -x3271 -x3270 -x3269 x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1800.54/1800.59 v x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1800.54/1800.59 v -x3235 -x3234 -x3233 x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1800.54/1800.59 v -x3217 -x3216 -x3215 -x3214 x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3200
1800.54/1800.59 v -x3199 -x3198 -x3197 x3196 x3195 -x3194 -x3193 -x3192 x3191 x3190 x3189 x3188 -x3187 -x3186 -x3185 -x3184 -x3183 x3182 -x3181
1800.54/1800.59 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163
1800.54/1800.59 v -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3150 -x3149 -x3148 -x3147 -x3146 -x3145
1800.54/1800.59 v -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1800.54/1800.59 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 x3118 -x3117 x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110 x3109
1800.54/1800.59 v -x3108 -x3107 -x3106 x3105 -x3104 -x3103 -x3102 x3101 -x3100 -x3099 -x3098 -x3097 x3096 -x3095 -x3094 -x3093 -x3092 -x3091
1800.54/1800.59 v -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073
1800.54/1800.59 v -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059 -x3058 -x3057 -x3056 -x3055
1800.54/1800.59 v -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3037
1800.54/1800.59 v -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020
1800.54/1800.59 v -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 x3011 -x3010 x3009 x3008 x3007 -x3006 -x3005 -x3004 -x3003 -x3002 -x3001
1800.54/1800.59 v -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983
1800.54/1800.59 v -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965
1800.54/1800.59 v -x2964 -x2963 x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948 x2947
1800.54/1800.59 v -x2946 -x2945 -x2944 -x2943 -x2942 x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930 -x2929
1800.54/1800.59 v -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 x2918 -x2917 -x2916 -x2915 -x2914 -x2913 -x2912 -x2911
1800.54/1800.59 v -x2910 x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893
1800.54/1800.59 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 -x2877 -x2876 -x2875
1800.54/1800.59 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858 -x2857
1800.54/1800.59 v -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840
1800.54/1800.59 v -x2839 x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 x2829 -x2828 x2827 x2826 x2825 x2824 x2823 -x2822 -x2821
1800.54/1800.59 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
1800.54/1800.59 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1800.54/1800.59 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 x2771 -x2770 -x2769 -x2768 -x2767
1800.54/1800.59 v -x2766 -x2765 -x2764 x2763 -x2762 x2761 -x2760 -x2759 -x2758 -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 x2749
1800.54/1800.59 v x2748 x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 x2738 x2737 x2736 -x2735 -x2734 x2733 -x2732 x2731 x2730
1800.54/1800.59 v -x2729 x2728 x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711
1800.54/1800.59 v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
1800.54/1800.59 v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676
1800.54/1800.59 v -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
1800.54/1800.59 v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 x2641 x2640
1800.54/1800.59 v x2639 x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
1800.54/1800.59 v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604
1800.54/1800.59 v -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586
1800.54/1800.59 v -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568
1800.54/1800.59 v -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 x2553 x2552 x2551 x2550 -x2549
1800.54/1800.59 v x2548 x2547 x2546 x2545 x2544 x2543 -x2542 -x2541 x2540 x2539 x2538 x2537 x2536 x2535 x2534 x2533 -x2532 -x2531 -x2530
1800.54/1800.59 v x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512
1800.54/1800.59 v -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494
1800.54/1800.59 v -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476
1800.54/1800.59 v -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 x2465 x2464 x2463 x2462 x2461 x2460 -x2459 -x2458 -x2457
1800.54/1800.59 v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
1800.54/1800.59 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
1800.54/1800.59 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404
1800.54/1800.59 v -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386
1800.54/1800.59 v -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 x2377 x2376 x2375 x2374 x2373 x2372 x2371 x2370 x2369 x2368 x2367 x2366
1800.54/1800.59 v x2365 x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348
1800.54/1800.59 v -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330
1800.54/1800.59 v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312
1800.54/1800.59 v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
1800.54/1800.59 v -x2293 x2292 x2291 -x2290 -x2289 -x2288 -x2287 x2286 x2285 x2284 x2283 x2282 x2281 x2280 x2279 x2278 -x2277 x2276 -x2275
1800.54/1800.59 v -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257
1800.54/1800.59 v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239
1800.54/1800.59 v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221
1800.54/1800.59 v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203
1800.54/1800.59 v -x2202 x2201 x2200 x2199 x2198 x2197 x2196 x2195 x2194 x2193 x2192 x2191 x2190 x2189 x2188 x2187 -x2186 -x2185 x2184 x2183
1800.54/1800.59 v x2182 x2181 x2180 x2179 x2178 x2177 x2176 x2175 x2174 x2173 x2172 x2171 x2170 x2169 x2168 x2167 x2166 -x2165 -x2164 -x2163
1800.54/1800.59 v -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 -x2145
1800.54/1800.59 v -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 x2130 -x2129 -x2128 -x2127
1800.54/1800.59 v -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 x2113 x2112 x2111 x2110 x2109 x2108
1800.54/1800.59 v x2107 x2106 x2105 x2104 x2103 x2102 x2101 x2100 x2099 -x2098 -x2097 x2096 x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089
1800.54/1800.59 v -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071
1800.54/1800.59 v -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053
1800.54/1800.59 v -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035
1800.54/1800.59 v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 x2025 x2024 x2023 x2022 x2021 x2020 x2019 x2018 x2017 x2016
1800.54/1800.59 v x2015 x2014 x2013 x2012 x2011 x2010 x2009 x2008 x2007 x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 x1998 -x1997 -x1996
1800.54/1800.59 v -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979
1800.54/1800.59 v -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961
1800.54/1800.59 v -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943
1800.54/1800.59 v -x1942 -x1941 -x1940 -x1939 -x1938 x1937 x1936 x1935 -x1934 -x1933 x1932 x1931 x1930 x1929 x1928 x1927 x1926 x1925 x1924 x1923
1800.54/1800.59 v x1922 x1921 x1920 x1919 x1918 -x1917 x1916 x1915 x1914 x1913 x1912 x1911 x1910 x1909 x1908 -x1907 -x1906 -x1905 x1904 x1903
1800.54/1800.59 v x1902 x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885
1800.54/1800.59 v -x1884 -x1883 x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867
1800.54/1800.59 v -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 x1849
1800.54/1800.59 v -x1848 -x1847 x1846 x1845 x1844 x1843 x1842 x1841 x1840 x1839 x1838 x1837 x1836 x1835 x1834 x1833 x1832 x1831 x1830 x1829 x1828
1800.54/1800.59 v x1827 x1826 x1825 x1824 x1823 x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 x1815 x1814 -x1813 -x1812 -x1811 -x1810 -x1809
1800.54/1800.59 v x1808 x1807 x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 x1793 -x1792 -x1791 -x1790
1800.54/1800.59 v -x1789 -x1788 -x1787 -x1786 x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772
1800.54/1800.59 v -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 x1756 x1755 x1754 x1753
1800.54/1800.59 v x1752 x1751 x1750 x1749 x1748 x1747 x1746 x1745 x1744 x1743 x1742 x1741 x1740 x1739 x1738 x1737 x1736 x1735 x1734 x1733
1800.54/1800.59 v x1732 x1731 x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 x1721 x1720 x1719 x1718 x1717 x1716 x1715 x1714 x1713 x1712
1800.54/1800.59 v x1711 x1710 x1709 x1708 x1707 x1706 x1705 x1704 x1703 x1702 x1701 x1700 x1699 x1698 x1697 -x1696 -x1695 -x1694 -x1693 -x1692
1800.54/1800.59 v x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674
1800.54/1800.59 v x1673 x1672 x1671 x1670 x1669 x1668 x1667 x1666 x1665 x1664 x1663 x1662 x1661 x1660 x1659 x1658 -x1657 x1656 x1655 x1654 x1653
1800.54/1800.59 v x1652 x1651 x1650 x1649 -x1648 x1647 x1646 x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634
1800.54/1800.59 v -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616
1800.54/1800.59 v -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598
1800.54/1800.59 v -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 x1584 x1583 x1582 x1581 x1580
1800.54/1800.59 v x1579 x1578 x1577 x1576 x1575 x1574 x1573 x1572 x1571 x1570 x1569 x1568 x1567 x1566 x1565 x1564 x1563 x1562 x1561 -x1560 -x1559
1800.54/1800.59 v -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541
1800.54/1800.59 v -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523
1800.54/1800.59 v -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505
1800.54/1800.59 v -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 x1496 x1495 x1494 x1493 x1492 x1491 x1490 x1489 x1488 x1487 x1486
1800.54/1800.59 v x1485 -x1484 x1483 x1482 x1481 x1480 x1479 x1478 x1477 x1476 x1475 x1474 x1473 x1472 x1471 x1470 x1469 -x1468 -x1467 -x1466
1800.54/1800.59 v -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448
1800.54/1800.59 v -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430
1800.54/1800.59 v -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 x1412
1800.54/1800.59 v -x1411 -x1410 x1409 x1408 x1407 x1406 x1405 x1404 x1403 x1402 x1401 x1400 x1399 x1398 x1397 x1396 x1395 x1394 x1393 x1392 x1391
1800.54/1800.59 v x1390 x1389 x1388 x1387 x1386 x1385 x1384 x1383 x1382 x1381 -x1380 x1379 x1378 x1377 -x1376 -x1375 -x1374 x1373 -x1372 -x1371
1800.54/1800.59 v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354
1800.54/1800.59 v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336
1800.54/1800.59 v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 x1320 x1319 x1318 x1317
1800.54/1800.59 v x1316 x1315 x1314 x1313 x1312 x1311 x1310 x1309 x1308 x1307 -x1306 x1305 x1304 x1303 x1302 x1301 x1300 x1299 x1298 x1297
1800.54/1800.59 v x1296 x1295 x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
1800.54/1800.59 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
1800.54/1800.59 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242
1800.54/1800.59 v -x1241 -x1240 -x1239 -x1238 -x1237 x1236 x1235 -x1234 x1233 x1232 -x1231 -x1230 -x1229 -x1228 x1227 x1226 x1225 x1224 x1223
1800.54/1800.59 v x1222 x1221 x1220 x1219 x1218 x1217 x1216 x1215 -x1214 x1213 x1212 x1211 x1210 x1209 x1208 x1207 x1206 x1205 x1204 x1203
1800.54/1800.59 v x1202 x1201 x1200 -x1199 x1198 x1197 x1196 x1195 x1194 x1193 x1192 x1191 x1190 x1189 x1188 x1187 x1186 x1185 x1184 x1183 x1182
1800.54/1800.59 v x1181 x1180 x1179 -x1178 -x1177 x1176 x1175 x1174 x1173 x1172 x1171 -x1170 x1169 x1168 x1167 x1166 -x1165 -x1164 -x1163 -x1162
1800.54/1800.59 v -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 x1145 x1144
1800.54/1800.59 v x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136 x1135 x1134 x1133 x1132 x1131 x1130 x1129 x1128 x1127 x1126 x1125 x1124 x1123
1800.54/1800.59 v x1122 x1121 x1120 x1119 -x1118 x1117 x1116 x1115 -x1114 x1113 x1112 x1111 x1110 x1109 x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1800.54/1800.59 v x1102 x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085
1800.54/1800.59 v -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067
1800.54/1800.59 v -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056 x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048
1800.54/1800.59 v x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 x1039 x1038 x1037 x1036 x1035 x1034 x1033 x1032 x1031 x1030 x1029 x1028 x1027
1800.54/1800.59 v x1026 x1025 x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 x1016 x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008
1800.54/1800.59 v -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 x995 x994 x993 -x992 -x991 -x990 -x989 x988
1800.54/1800.59 v x987 x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 x968 x967
1800.54/1800.59 v x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 x951 x950 x949 x948 x947 x946 x945 x944 x943 x942
1800.54/1800.59 v x941 x940 x939 x938 x937 x936 x935 x934 -x933 -x932 -x931 x930 x929 -x928 -x927 -x926 x925 x924 x923 -x922 x921 x920 x919 x918
1800.54/1800.59 v -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897
1800.54/1800.59 v -x896 -x895 -x894 x893 x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875
1800.54/1800.59 v x874 x873 x872 -x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861 x860 x859 x858 x857 x856 x855 x854 x853 x852 x851 x850
1800.54/1800.59 v x849 x848 x847 x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828
1800.54/1800.59 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807
1800.54/1800.59 v -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 -x792 x791 x790 x789 x788 x787 x786 x785
1800.54/1800.59 v x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 x769 x768 x767 x766 x765 x764 x763 x762 x761 x760
1800.54/1800.59 v x759 x758 x757 x756 x755 x754 x753 x752 x751 x750 x749 x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 x738 x737
1800.54/1800.59 v -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716
1800.54/1800.59 v -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 x704 x703 x702 x701 x700 x699 x698 x697 x696 x695 x694 x693
1800.54/1800.59 v x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676 x675 x674 x673 x672 x671 x670 x669 x668
1800.54/1800.59 v x667 x666 x665 x664 x663 x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652 -x651 -x650 -x649 -x648 x647 x646 -x645 -x644
1800.54/1800.59 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
1800.54/1800.59 v -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607 x606 x605 x604 x603 x602 x601 x600 x599
1800.54/1800.59 v x598 x597 x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 x586 x585 x584 x583 x582 x581 x580 x579 x578 x577 x576 x575 x574
1800.54/1800.59 v x573 x572 x571 -x570 x569 x568 -x567 x566 x565 x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1800.54/1800.59 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531
1800.54/1800.59 v -x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513 x512 x511 x510 x509 x508 x507 x506
1800.54/1800.59 v x505 x504 x503 x502 x501 x500 x499 x498 x497 x496 x495 x494 x493 x492 x491 x490 x489 x488 x487 x486 x485 x484 x483 x482 -x481
1800.54/1800.59 v x480 x479 x478 x477 x476 x475 x474 x473 x472 x471 x470 x469 x468 x467 -x466 x465 x464 x463 x462 x461 x460 -x459 -x458 -x457
1800.54/1800.59 v -x456 x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 x440 x439 x438 x437 x436 x435
1800.54/1800.59 v x434 x433 x432 x431 x430 x429 x428 x427 x426 x425 x424 x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 x411 x410
1800.54/1800.59 v x409 x408 x407 x406 x405 x404 x403 x402 x401 x400 x399 x398 x397 x396 x395 x394 x393 x392 x391 x390 x389 x388 x387 x386 x385
1800.54/1800.59 v -x384 -x383 -x382 x381 x380 x379 x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 x369 -x368 -x367 -x366 -x365 -x364 -x363
1800.54/1800.59 v -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 x352 x351 x350 x349 x348 x347 x346 x345 x344 x343 x342 x341 x340
1800.54/1800.59 v x339 x338 x337 x336 x335 x334 x333 x332 x331 x330 x329 x328 x327 x326 x325 x324 x323 x322 x321 x320 x319 x318 x317 x316 x315
1800.54/1800.59 v x314 x313 x312 x311 x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300 x299 x298 x297 x296 x295 x294 x293 x292 x291 x290
1800.54/1800.59 v x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267
1800.54/1800.59 v -x266 x265 x264 x263 x262 x261 x260 x259 x258 x257 x256 x255 x254 x253 x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242
1800.54/1800.59 v x241 x240 x239 x238 x237 x236 x235 x234 x233 -x232 x231 x230 x229 x228 x227 x226 x225 x224 x223 x222 x221 x220 x219 x218
1800.54/1800.59 v -x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193
1800.54/1800.59 v x192 x191 x190 x189 -x188 x187 x186 x185 x184 x183 x182 -x181 -x180 -x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 x169
1800.54/1800.59 v x168 x167 x166 x165 x164 x163 x162 x161 x160 x159 x158 x157 x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144
1800.54/1800.59 v x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119
1800.54/1800.59 v x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 -x95 -x94 -x93
1800.54/1800.59 v -x92 -x91 -x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63
1800.54/1800.59 v x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 -x35 x34 x33 x32
1800.54/1800.59 v x31 x30 x29 x28 -x27 -x26 -x25 -x24 -x23 x22 x21 x20 x19 x18 x17 -x16 -x15 -x14 -x13 -x12 x11 x10 x9 -x8 -x7 x6 -x5 x4 x3 -x2
1800.54/1800.59 v x1
1800.54/1800.59 c SCIP Status : solving was interrupted [user interrupt]
1800.54/1800.59 c Solving Time : 1771.26
1800.54/1800.59 c Original Problem :
1800.54/1800.59 c Problem name : HOME/instance-2693125-1277916295.wbo
1800.54/1800.59 c Variables : 16840 (11148 binary, 0 integer, 0 implicit integer, 5692 continuous)
1800.54/1800.59 c Constraints : 22708 initial, 22708 maximal
1800.54/1800.59 c Presolved Problem :
1800.54/1800.59 c Problem name : t_HOME/instance-2693125-1277916295.wbo
1800.54/1800.59 c Variables : 10741 (7152 binary, 0 integer, 0 implicit integer, 3589 continuous)
1800.54/1800.59 c Constraints : 13522 initial, 13595 maximal
1800.54/1800.59 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.54/1800.59 c trivial : 0.01 21 0 0 0 0 0 0 0
1800.54/1800.59 c dualfix : 0.02 4460 0 0 0 0 0 0 0
1800.54/1800.59 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.54/1800.59 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.54/1800.59 c implics : 0.03 0 0 0 0 0 0 0 0
1800.54/1800.59 c probing : 4.34 24 5 0 2 0 0 0 0
1800.54/1800.59 c indicator : 0.04 0 0 0 0 0 2103 0 0
1800.54/1800.59 c varbound : 0.00 0 0 0 0 0 8 0 0
1800.54/1800.59 c knapsack : 0.04 0 0 0 0 0 0 10 201
1800.54/1800.59 c setppc : 0.00 0 0 0 0 0 0 0 0
1800.54/1800.59 c linear : 0.29 1108 481 0 4757 0 7040 0 0
1800.54/1800.59 c logicor : 0.06 0 0 0 0 0 45 0 0
1800.54/1800.59 c root node : - 0 - - 0 - - - -
1800.54/1800.59 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.54/1800.59 c integral : 0 0 0 98891 0 0 78 0 0 114072
1800.54/1800.59 c indicator : 3589 0 399098 41812 0 0 112750 0 0 0
1800.54/1800.59 c varbound : 196 6 399098 41812 0 0 14828 887 0 0
1800.54/1800.59 c knapsack : 237 6 399098 41071 0 5 293565 495 0 0
1800.54/1800.59 c setppc : 10 6 384132 40909 0 0 329 0 0 0
1800.54/1800.59 c linear : 3393 6 399093 41071 0 0 96036 46122 0 0
1800.54/1800.59 c logicor : 6097+ 6 328408 39056 0 22 534768 0 0 0
1800.54/1800.59 c countsols : 0 0 0 39056 0 0 0 0 0 0
1800.54/1800.59 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.54/1800.59 c integral : 403.44 0.00 0.00 403.44 0.00
1800.54/1800.59 c indicator : 51.45 0.00 24.00 27.45 0.00
1800.54/1800.59 c varbound : 1.36 0.00 1.10 0.26 0.00
1800.54/1800.59 c knapsack : 4.32 0.02 3.68 0.62 0.00
1800.54/1800.59 c setppc : 0.29 0.00 0.22 0.07 0.00
1800.54/1800.59 c linear : 16.60 0.01 10.33 6.26 0.00
1800.54/1800.59 c logicor : 6.38 0.00 2.54 3.84 0.00
1800.54/1800.59 c countsols : 0.02 0.00 0.00 0.02 0.00
1800.54/1800.59 c Propagators : Time Calls Cutoffs DomReds
1800.54/1800.59 c vbounds : 6.78 94773 0 4215
1800.54/1800.59 c rootredcost : 0.09 7 0 0
1800.54/1800.59 c pseudoobj : 33.22 384582 0 0
1800.54/1800.59 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.54/1800.59 c propagation : 0.00 27 27 38 6.3 0 0.0 -
1800.54/1800.59 c infeasible LP : 0.10 70 70 126 11.2 4 5.8 0
1800.54/1800.59 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1800.59 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.54/1800.59 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.54/1800.59 c applied globally : - - - 149 9.8 - - -
1800.54/1800.59 c applied locally : - - - 0 0.0 - - -
1800.54/1800.59 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.54/1800.59 c cut pool : 0.00 5 - - 107 - (maximal pool size: 2636)
1800.54/1800.59 c redcost : 24.78 98896 0 0 0 0
1800.54/1800.59 c impliedbounds : 0.02 6 0 0 2527 0
1800.54/1800.59 c intobj : 0.00 0 0 0 0 0
1800.54/1800.59 c cgmip : 0.00 0 0 0 0 0
1800.54/1800.59 c gomory : 7.30 6 0 0 1024 0
1800.54/1800.59 c strongcg : 6.83 6 0 0 1395 0
1800.54/1800.59 c cmir : 0.36 6 0 0 0 0
1800.54/1800.59 c flowcover : 0.99 6 0 0 441 0
1800.54/1800.59 c clique : 0.48 6 0 0 44 0
1800.54/1800.59 c zerohalf : 0.00 0 0 0 0 0
1800.54/1800.59 c mcf : 0.02 1 0 0 0 0
1800.54/1800.59 c rapidlearning : 0.00 0 0 0 0 0
1800.54/1800.59 c Pricers : Time Calls Vars
1800.54/1800.59 c problem variables: 0.00 0 0
1800.54/1800.59 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.54/1800.59 c relpscost : 403.37 57079 0 78 0 0 114072
1800.54/1800.59 c pscost : 0.00 0 0 0 0 0 0
1800.54/1800.59 c inference : 29.85 39056 0 0 0 0 78112
1800.54/1800.59 c mostinf : 0.00 0 0 0 0 0 0
1800.54/1800.59 c leastinf : 0.00 0 0 0 0 0 0
1800.54/1800.59 c fullstrong : 0.00 0 0 0 0 0 0
1800.54/1800.59 c allfullstrong : 0.00 0 0 0 0 0 0
1800.54/1800.59 c random : 0.00 0 0 0 0 0 0
1800.54/1800.59 c Primal Heuristics : Time Calls Found
1800.54/1800.59 c LP solutions : 0.00 - 0
1800.54/1800.59 c pseudo solutions : 0.00 - 0
1800.54/1800.59 c oneopt : 0.36 7 0
1800.54/1800.59 c crossover : 1.52 17 0
1800.54/1800.59 c guideddiving : 2.44 659 0
1800.54/1800.59 c trivial : 0.10 2 0
1800.54/1800.59 c simplerounding : 0.25 55076 0
1800.54/1800.59 c zirounding : 0.58 1000 0
1800.54/1800.59 c rounding : 1.59 3274 0
1800.54/1800.59 c shifting : 5.06 982 0
1800.54/1800.59 c intshifting : 0.08 9 0
1800.54/1800.59 c twoopt : 0.00 0 0
1800.54/1800.59 c fixandinfer : 0.00 0 0
1800.54/1800.59 c feaspump : 0.80 12 0
1800.54/1800.59 c coefdiving : 30.20 598 0
1800.54/1800.59 c pscostdiving : 20.08 580 0
1800.54/1800.59 c fracdiving : 24.26 609 0
1800.54/1800.59 c veclendiving : 16.30 572 0
1800.54/1800.59 c intdiving : 0.00 0 0
1800.54/1800.59 c actconsdiving : 0.00 0 0
1800.54/1800.59 c objpscostdiving : 10.70 344 0
1800.54/1800.59 c rootsoldiving : 6.18 42 0
1800.54/1800.59 c linesearchdiving : 18.84 598 0
1800.54/1800.59 c octane : 0.00 0 0
1800.54/1800.59 c rens : 0.19 1 0
1800.54/1800.59 c rins : 0.00 0 0
1800.54/1800.59 c localbranching : 0.00 0 0
1800.54/1800.59 c mutation : 0.00 0 0
1800.54/1800.59 c dins : 0.00 0 0
1800.54/1800.59 c undercover : 0.00 0 0
1800.54/1800.59 c nlp : 0.07 0 0
1800.54/1800.59 c trysol : 5.39 1665 198
1800.54/1800.59 c LP : Time Calls Iterations Iter/call Iter/sec
1800.54/1800.59 c primal LP : 0.01 0 0 0.00 0.00
1800.54/1800.59 c dual LP : 873.78 59005 1456428 24.68 1666.81
1800.54/1800.59 c lex dual LP : 0.00 0 0 0.00 -
1800.54/1800.59 c barrier LP : 0.00 0 0 0.00 -
1800.54/1800.59 c diving/probing LP: 96.74 8139 151338 18.59 1564.38
1800.54/1800.59 c strong branching : 401.25 9370 656287 70.04 1635.61
1800.54/1800.59 c (at root node) : - 17 16711 983.00 -
1800.54/1800.59 c conflict analysis: 0.00 0 0 0.00 -
1800.54/1800.59 c B&B Tree :
1800.54/1800.59 c number of runs : 1
1800.54/1800.59 c nodes : 96109
1800.54/1800.59 c nodes (total) : 96109
1800.54/1800.59 c nodes left : 96076
1800.54/1800.59 c max depth : 259
1800.54/1800.59 c max depth (total): 259
1800.54/1800.59 c backtracks : 809 (0.8%)
1800.54/1800.59 c delayed cutoffs : 0
1800.54/1800.59 c repropagations : 185 (169 domain reductions, 0 cutoffs)
1800.54/1800.59 c avg switch length: 2.16
1800.54/1800.59 c switching time : 19.07
1800.54/1800.59 c Solution :
1800.54/1800.59 c Solutions found : 198 (7 improvements)
1800.54/1800.59 c First Solution : +1.69534000000000e+05 (in run 1, after 4759 nodes, 424.01 seconds, depth 208, found by <trysol>)
1800.54/1800.59 c Primal Bound : +1.68875000000000e+05 (in run 1, after 10287 nodes, 488.79 seconds, depth 206, found by <trysol>)
1800.54/1800.59 c Dual Bound : +0.00000000000000e+00
1800.54/1800.59 c Gap : infinite
1800.54/1800.59 c Root Dual Bound : +0.00000000000000e+00
1800.54/1800.59 c Root Iterations : 15474
1800.83/1800.86 c Time complete: 1800.89.
OK 12056
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693125-1277916295/watcher-2693125-1277916295 -o /tmp/evaluation-result-2693125-1277916295/solver-2693125-1277916295 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693125-1277916295.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 1.98 1.99 4/178 12081 /proc/meminfo: memFree=30590460/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=11000 CPUtime=0 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132926985 11264000 1595 4089446400 4194304 9819077 140735590339392 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12081/statm: 2750 1595 392 1374 0 1371 0 [startup+0.0838381 s] /proc/loadavg: 1.93 1.98 1.99 4/178 12081 /proc/meminfo: memFree=30590460/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=26160 CPUtime=0.07 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 5460 0 0 0 7 0 0 0 25 0 1 0 132926985 26787840 5380 4089446400 4194304 9819077 140735590339392 18446744073709551615 8662608 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12081/statm: 6540 5381 392 1374 0 5161 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 26160 [startup+0.100834 s] /proc/loadavg: 1.93 1.98 1.99 4/178 12081 /proc/meminfo: memFree=30590460/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=29368 CPUtime=0.09 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 6268 0 0 0 9 0 0 0 25 0 1 0 132926985 30072832 6188 4089446400 4194304 9819077 140735590339392 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12081/statm: 7342 6188 392 1374 0 5963 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 29368 [startup+0.300796 s] /proc/loadavg: 1.93 1.98 1.99 4/178 12081 /proc/meminfo: memFree=30590460/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=77284 CPUtime=0.29 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 18114 0 0 0 27 2 0 0 25 0 1 0 132926985 79138816 17653 4089446400 4194304 9819077 140735590339392 18446744073709551615 4241122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 19321 17653 478 1374 0 17942 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 77284 [startup+0.700727 s] /proc/loadavg: 1.93 1.98 1.99 4/178 12081 /proc/meminfo: memFree=30590460/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=88576 CPUtime=0.69 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 25287 0 0 0 63 6 0 0 25 0 1 0 132926985 90701824 20522 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 22144 20522 531 1374 0 20765 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 88576 [startup+1.50059 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12082 /proc/meminfo: memFree=30507992/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=92964 CPUtime=1.49 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 27528 0 0 0 141 8 0 0 25 0 1 0 132926985 95195136 21681 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 23241 21681 543 1374 0 21862 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 92964 [startup+3.10031 s] /proc/loadavg: 1.94 1.98 1.99 3/179 12082 /proc/meminfo: memFree=30503156/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=97304 CPUtime=3.09 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 28578 0 0 0 299 10 0 0 25 0 1 0 132926985 99639296 22731 4089446400 4194304 9819077 140735590339392 18446744073709551615 5500700 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 24326 22731 548 1374 0 22947 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97304 [startup+6.30075 s] /proc/loadavg: 1.94 1.98 1.99 3/179 12082 /proc/meminfo: memFree=30484196/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=123244 CPUtime=6.29 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 43880 0 0 0 612 17 0 0 19 0 1 0 132926985 126201856 28113 4089446400 4194304 9819077 140735590339392 18446744073709551615 6092894 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 30811 28113 714 1374 0 29432 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 123244 [startup+12.7006 s] /proc/loadavg: 1.95 1.98 1.99 3/179 12083 /proc/meminfo: memFree=30473896/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=128156 CPUtime=12.69 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 51148 0 0 0 1249 20 0 0 25 0 1 0 132926985 131231744 28509 4089446400 4194304 9819077 140735590339392 18446744073709551615 7481143 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 32039 28509 715 1374 0 30660 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 128156 [startup+25.5004 s] /proc/loadavg: 1.95 1.98 1.99 3/179 12084 /proc/meminfo: memFree=30466196/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=129160 CPUtime=25.49 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 68058 0 0 0 2526 23 0 0 25 0 1 0 132926985 132259840 28644 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 32290 28644 715 1374 0 30911 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 129160 [startup+51.1009 s] /proc/loadavg: 1.97 1.98 1.99 3/179 12084 /proc/meminfo: memFree=30448508/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=136608 CPUtime=51.09 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 160895 0 0 0 5073 36 0 0 25 0 1 0 132926985 139886592 29327 4089446400 4194304 9819077 140735590339392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 34152 29327 740 1374 0 32773 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 136608 [startup+102.307 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12086 /proc/meminfo: memFree=30415504/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=137564 CPUtime=102.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 257379 0 0 0 10178 52 0 0 25 0 1 0 132926985 140865536 31141 4089446400 4194304 9819077 140735590339392 18446744073709551615 7291998 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 34391 31141 740 1374 0 33012 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 137564 [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 12087 /proc/meminfo: memFree=30386716/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=133100 CPUtime=162.29 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 303084 0 0 0 16162 67 0 0 25 0 1 0 132926985 136294400 31317 4089446400 4194304 9819077 140735590339392 18446744073709551615 4902992 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 33275 31317 740 1374 0 31896 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 133100 [startup+222.301 s] /proc/loadavg: 2.05 2.00 2.00 3/179 12088 /proc/meminfo: memFree=30357396/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=141836 CPUtime=222.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 349616 0 0 0 22147 83 0 0 25 0 1 0 132926985 145240064 31959 4089446400 4194304 9819077 140735590339392 18446744073709551615 7304801 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 35459 31959 752 1374 0 34080 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 141836 [startup+282.3 s] /proc/loadavg: 2.02 2.00 2.00 3/179 12090 /proc/meminfo: memFree=30324868/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=133760 CPUtime=282.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 481707 0 0 0 28109 121 0 0 25 0 1 0 132926985 136970240 31433 4089446400 4194304 9819077 140735590339392 18446744073709551615 6003800 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 33440 31433 752 1374 0 32061 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 133760 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12092 /proc/meminfo: memFree=30294696/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=134272 CPUtime=342.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 609611 0 0 0 34078 152 0 0 25 0 1 0 132926985 137494528 31442 4089446400 4194304 9819077 140735590339392 18446744073709551615 7291684 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 33568 31442 752 1374 0 32189 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 134272 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12094 /proc/meminfo: memFree=30241580/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=164328 CPUtime=402.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 962608 0 0 0 40009 221 0 0 25 0 1 0 132926985 168271872 36513 4089446400 4194304 9819077 140735590339392 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 41082 36513 753 1374 0 39703 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 164328 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12095 /proc/meminfo: memFree=30188352/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=180576 CPUtime=462.3 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 1427344 0 0 0 45931 299 0 0 25 0 1 0 132926985 184909824 41960 4089446400 4194304 9819077 140735590339392 18446744073709551615 7816457 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 45144 41960 754 1374 0 43765 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 180576 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12096 /proc/meminfo: memFree=30128932/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=217856 CPUtime=522.31 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 2327705 0 0 0 51797 434 0 0 25 0 1 0 132926985 223084544 49989 4089446400 4194304 9819077 140735590339392 18446744073709551615 7301632 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 54464 49989 754 1374 0 53085 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 217856 [startup+582.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 12098 /proc/meminfo: memFree=30078668/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=230424 CPUtime=582.31 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 2816736 0 0 0 57723 508 0 0 25 0 1 0 132926985 235954176 53056 4089446400 4194304 9819077 140735590339392 18446744073709551615 7235184 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 57606 53057 754 1374 0 56227 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 230424 [startup+642.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12100 /proc/meminfo: memFree=30018096/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=250384 CPUtime=642.31 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 3536937 0 0 0 63612 619 0 0 25 0 1 0 132926985 256393216 59285 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 62596 59285 754 1374 0 61217 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 250384 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12258 /proc/meminfo: memFree=30639928/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=353264 CPUtime=942.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 7673446 0 0 0 92998 1234 0 0 25 0 1 0 132926985 361742336 84050 4089446400 4194304 9819077 140735590339392 18446744073709551615 7309086 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 88316 84050 754 1374 0 86937 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 353264 [startup+1002.3 s] /proc/loadavg: 2.09 2.04 2.01 3/179 12269 /proc/meminfo: memFree=30606012/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=360924 CPUtime=1002.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 8216536 0 0 0 98910 1322 0 0 25 0 1 0 132926985 369586176 87157 4089446400 4194304 9819077 140735590339392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 90231 87157 754 1374 0 88852 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 360924 [startup+1062.3 s] /proc/loadavg: 2.03 2.03 2.00 3/179 12270 /proc/meminfo: memFree=30565312/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=391484 CPUtime=1062.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 9003891 0 0 0 104790 1442 0 0 25 0 1 0 132926985 400879616 94142 4089446400 4194304 9819077 140735590339392 18446744073709551615 7312541 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 97871 94142 754 1374 0 96492 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 391484 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 12271 /proc/meminfo: memFree=30525976/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=402920 CPUtime=1122.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 9684108 0 0 0 110680 1552 0 0 25 0 1 0 132926985 412590080 97674 4089446400 4194304 9819077 140735590339392 18446744073709551615 6628786 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 100730 97674 754 1374 0 99351 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 402920 [startup+1182.3 s] /proc/loadavg: 2.04 2.03 2.00 3/179 12273 /proc/meminfo: memFree=30479076/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=429616 CPUtime=1182.31 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 10341428 0 0 0 116571 1660 0 0 25 0 1 0 132926985 439926784 104451 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 107404 104451 754 1374 0 106025 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 429616 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 12275 /proc/meminfo: memFree=30433780/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=452076 CPUtime=1242.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 11002711 0 0 0 122473 1759 0 0 25 0 1 0 132926985 462925824 109995 4089446400 4194304 9819077 140735590339392 18446744073709551615 6589272 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 113019 110010 754 1374 0 111640 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 452076 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 12277 /proc/meminfo: memFree=30390604/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=471236 CPUtime=1302.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 11806282 0 0 0 128349 1883 0 0 25 0 1 0 132926985 482545664 115304 4089446400 4194304 9819077 140735590339392 18446744073709551615 7222401 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 117809 115305 754 1374 0 116430 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 471236 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12278 /proc/meminfo: memFree=30345804/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=497120 CPUtime=1362.32 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 12502931 0 0 0 134238 1994 0 0 25 0 1 0 132926985 509050880 121313 4089446400 4194304 9819077 140735590339392 18446744073709551615 5957267 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 124280 121313 754 1374 0 122901 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 497120 [startup+1422.31 s] /proc/loadavg: 2.03 2.02 2.00 3/179 12279 /proc/meminfo: memFree=30304596/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=514628 CPUtime=1422.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 13332577 0 0 0 140108 2125 0 0 25 0 1 0 132926985 526979072 126173 4089446400 4194304 9819077 140735590339392 18446744073709551615 7233291 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 128657 126174 754 1374 0 127278 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 514628 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 12281 /proc/meminfo: memFree=30255468/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=548496 CPUtime=1482.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 14099616 0 0 0 145990 2243 0 0 25 0 1 0 132926985 561659904 133635 4089446400 4194304 9819077 140735590339392 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 137124 133635 754 1374 0 135745 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 548496 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 12283 /proc/meminfo: memFree=30199516/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=577592 CPUtime=1542.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 14853933 0 0 0 151866 2367 0 0 25 0 1 0 132926985 591454208 141034 4089446400 4194304 9819077 140735590339392 18446744073709551615 6161966 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 144398 141034 754 1374 0 143019 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 577592 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12285 /proc/meminfo: memFree=30156096/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=601172 CPUtime=1602.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 15586662 0 0 0 157747 2486 0 0 25 0 1 0 132926985 615600128 146848 4089446400 4194304 9819077 140735590339392 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 150293 146848 754 1374 0 148914 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 601172 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12286 /proc/meminfo: memFree=30099136/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=630964 CPUtime=1662.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 16306032 0 0 0 163629 2604 0 0 25 0 1 0 132926985 646107136 154280 4089446400 4194304 9819077 140735590339392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 157741 154280 754 1374 0 156362 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 630964 [startup+1722.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12287 /proc/meminfo: memFree=30042692/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=661152 CPUtime=1722.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 17146547 0 0 0 169500 2733 0 0 25 0 1 0 132926985 677019648 161919 4089446400 4194304 9819077 140735590339392 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 165288 161919 754 1374 0 163909 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 661152 [startup+1782.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12289 /proc/meminfo: memFree=29986232/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=689912 CPUtime=1782.33 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 17819365 0 0 0 175390 2843 0 0 25 0 1 0 132926985 706469888 170064 4089446400 4194304 9819077 140735590339392 18446744073709551615 6162132 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 172478 170064 754 1374 0 171099 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 689912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.01 2.00 3/179 12289 /proc/meminfo: memFree=29973204/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=697820 CPUtime=1800.04 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 17927427 0 0 0 177138 2866 0 0 25 0 1 0 132926985 714567680 172123 4089446400 4194304 9819077 140735590339392 18446744073709551615 7222401 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/12081/statm: 174455 172123 754 1374 0 173076 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 697820 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.01 2.01 2.00 3/180 12290 /proc/meminfo: memFree=29973320/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=698784 CPUtime=1800.64 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 17927471 0 0 0 177198 2866 0 0 18 0 1 0 132926985 715554816 171888 4089446400 4194304 9819077 140735590339392 18446744073709551615 6162881 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12081/statm: 174696 171888 755 1374 0 173317 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (KiB) 698784 [startup+1800.8 s] /proc/loadavg: 2.01 2.01 2.00 3/180 12290 /proc/meminfo: memFree=29973320/32951124 swapFree=67111528/67111528 [pid=12081] ppid=12079 vsize=297176 CPUtime=1800.83 /proc/12081/stat : 12081 (pbscip.linux.x8) R 12079 12081 11428 0 -1 4202496 17927471 0 0 0 177216 2867 0 0 18 0 1 0 132926985 304308224 71487 4089446400 4194304 9819077 140735590339392 18446744073709551615 4668100 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/12081/statm: 74294 71487 755 1374 0 72915 0 Current children cumulated CPU time (s) 1800.83 Current children cumulated vsize (KiB) 297176 Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.91 CPU user time (s): 1772.22 CPU system time (s): 28.6886 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 705748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1772.22 system time used= 28.6886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17927475 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= 3 involuntary context switches= 926 runsolver used 3.14652 second user time and 6.584 second system time The end
Begin job on node107 at 2010-06-30 18:44:55 IDJOB=2693125 IDBENCH=79068 IDSOLVER=1205 FILE ID=node107/2693125-1277916295 PBS_JOBID= 11197274 Free space on /tmp= 74204 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j309_10-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693125-1277916295/watcher-2693125-1277916295 -o /tmp/evaluation-result-2693125-1277916295/solver-2693125-1277916295 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693125-1277916295.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8e585aed580dee910146256b9cb9d64 RANDOM SEED=2045242237 node107.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30590864 kB Buffers: 198928 kB Cached: 1279768 kB SwapCached: 0 kB Active: 1107496 kB Inactive: 1108980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30590864 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6888 kB Writeback: 0 kB AnonPages: 737412 kB Mapped: 17584 kB Slab: 79264 kB PageTables: 5844 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 884648 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74200 MiB End job on node107 at 2010-06-30 19:14:57