Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 1789.79 | 1790.08 |
| Name | /OPT-BIGINT-LIN/zahidi/Base/ normalized-minisat70_4_22_8.opb |
| MD5SUM | c9443936e5641d3aca30cbd92e359860 |
| Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4692139 |
| Best CPU time to get the best result obtained on this benchmark | 1801.26 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 9940 |
| Total number of constraints | 14846 |
| Number of constraints which are clauses | 140 |
| Number of constraints which are cardinality constraints (but not clauses) | 6 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14700 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2415 |
| Number of terms in the objective function | 9730 |
| Biggest coefficient in the objective function | 134217728 |
| Number of bits for the biggest coefficient in the objective function | 28 |
| Sum of the numbers in the objective function | 91246785518 |
| Number of bits of the sum of numbers in the objective function | 37 |
| Biggest number in a constraint | 134217728 |
| Number of bits of the biggest number in a constraint | 28 |
| Biggest sum of numbers in a constraint | 91246785518 |
| Number of bits of the biggest sum of numbers | 37 |
| 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.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3744329-1338804920.opb>
0.08/0.14 c original problem has 9940 variables (9940 bin, 0 int, 0 impl, 0 cont) and 14846 constraints
0.08/0.14 c problem read
0.08/0.14 c presolving settings loaded
0.08/0.18 c presolving:
0.18/0.27 c (round 1) 4970 del vars, 9662 del conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 0 upgd conss, 9800 impls, 1 clqs
0.28/0.33 c (round 2) 4970 del vars, 9662 del conss, 140 chg bounds, 2415 chg sides, 2415 chg coeffs, 5181 upgd conss, 9800 impls, 1 clqs
0.38/0.42 c (0.3s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.38/0.42 c (0.3s) probing aborted: 100/100 successive totally useless probings
0.38/0.42 c presolving (3 rounds):
0.38/0.42 c 4970 deleted vars, 9662 deleted constraints, 140 tightened bounds, 0 added holes, 2415 changed sides, 2415 changed coefficients
0.38/0.42 c 9800 implications, 1 cliques
0.38/0.42 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 5184 constraints
0.38/0.42 c 2625 constraints of type <knapsack>
0.38/0.42 c 71 constraints of type <setppc>
0.38/0.42 c 3 constraints of type <linear>
0.38/0.42 c 2485 constraints of type <logicor>
0.38/0.42 c transformed objective value is always integral (scale: 1)
0.38/0.42 c Presolving Time: 0.25
0.38/0.42 c - non default parameters ----------------------------------------------------------------------
0.38/0.42 c # SCIP version 1.2.1.3
0.38/0.42 c
0.38/0.42 c # frequency for displaying node information lines
0.38/0.42 c # [type: int, range: [-1,2147483647], default: 100]
0.38/0.42 c display/freq = 10000
0.38/0.42 c
0.38/0.42 c # maximal time in seconds to run
0.38/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.42 c limits/time = 1789.88
0.38/0.42 c
0.38/0.42 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.38/0.42 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.38/0.42 c limits/memory = 13950
0.38/0.42 c
0.38/0.42 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.38/0.42 c # [type: int, range: [1,2], default: 1]
0.38/0.42 c timing/clocktype = 2
0.38/0.42 c
0.38/0.42 c # should presolving try to simplify inequalities
0.38/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.42 c constraints/linear/simplifyinequalities = TRUE
0.38/0.42 c
0.38/0.42 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.38/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.42 c constraints/indicator/addCouplingCons = TRUE
0.38/0.42 c
0.38/0.42 c # should presolving try to simplify knapsacks
0.38/0.42 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.38/0.42 c constraints/knapsack/simplifyinequalities = TRUE
0.38/0.42 c
0.38/0.42 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.38/0.42 c # [type: int, range: [-1,2147483647], default: -1]
0.38/0.42 c separating/rapidlearning/freq = 0
0.38/0.42 c
0.38/0.42 c -----------------------------------------------------------------------------------------------
0.38/0.42 c start solving
0.38/0.42 c
2.38/2.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.38/2.45 c 2.3s| 1 | 0 | 3792 | - | 35M| 0 | 695 |4970 |5184 |4970 |5184 | 0 | 0 | 0 | 1.686559e+06 | -- | Inf
26.87/26.90 o 217939501
26.87/26.90 c y26.8s| 1 | 0 | 15924 | - | 35M| 0 | 695 |4970 |5184 |4970 |5184 | 0 | 0 | 0 | 1.686559e+06 | 2.179395e+08 | Large
27.27/27.35 c 27.2s| 1 | 0 | 16555 | - | 42M| 0 | 709 |4970 |6754 |4970 |5206 | 22 | 0 | 0 | 1.723763e+06 | 2.179395e+08 | Large
37.57/37.69 c 37.6s| 1 | 0 | 16919 | - | 42M| 0 | 709 |4970 |6754 |4970 |5201 | 29 | 0 | 0 | 1.733805e+06 | 2.179395e+08 | Large
47.87/47.92 c 47.8s| 1 | 0 | 17320 | - | 42M| 0 | 719 |4970 |6754 |4970 |5205 | 33 | 0 | 0 | 1.736404e+06 | 2.179395e+08 | Large
61.96/62.03 c 61.9s| 1 | 2 | 17320 | - | 42M| 0 | 719 |4970 |6754 |4970 |5205 | 33 | 0 | 9 | 1.736404e+06 | 2.179395e+08 | Large
114.86/114.91 o 212772277
114.86/114.91 c * 115s| 17 | 16 | 36716 |1212.2 | 43M| 11 | - |4970 |6754 |4970 |5199 | 33 | 0 | 238 | 1.755821e+06 | 2.127723e+08 | Large
115.56/115.69 o 187837241
115.56/115.69 c * 116s| 19 | 16 | 37108 |1099.3 | 44M| 12 | - |4970 |6754 |4970 |5199 | 33 | 0 | 269 | 1.755821e+06 | 1.878372e+08 | Large
115.76/115.85 o 178886625
115.76/115.85 c * 116s| 21 | 16 | 37118 | 989.9 | 44M| 13 | - |4970 |6754 |4970 |5199 | 33 | 0 | 290 | 1.755821e+06 | 1.788866e+08 | Large
130.96/131.01 o 143656507
130.96/131.01 c * 131s| 27 | 20 | 44404 |1041.7 | 44M| 13 | - |4970 |6754 |4970 |5199 | 33 | 0 | 439 | 1.755821e+06 | 1.436565e+08 |8081.73%
147.95/148.05 o 129978815
147.95/148.05 c * 148s| 29 | 19 | 49126 |1135.9 | 44M| 13 | - |4970 |6754 |4970 |5199 | 33 | 0 | 586 | 1.755821e+06 | 1.299788e+08 |7302.74%
149.35/149.49 o 121146301
149.35/149.49 c * 149s| 31 | 19 | 50141 |1094.0 | 44M| 13 | - |4970 |6754 |4970 |5199 | 33 | 0 | 594 | 1.755821e+06 | 1.211463e+08 |6799.69%
150.56/150.69 o 118183863
150.56/150.69 c p 151s| 36 | 24 | 52443 |1003.5 | 43M| 14 | - |4970 |5914 |4970 |5199 | 33 | 0 | 594 | 1.755821e+06 | 1.181839e+08 |6630.97%
162.25/162.32 o 18231829
162.25/162.32 c v 162s| 62 | 31 | 67888 | 829.0 | 43M| 17 | - |4970 |5915 |4970 |5199 | 33 | 2 | 618 | 1.755821e+06 | 1.823183e+07 | 938.36%
268.63/268.72 o 10175769
268.63/268.72 c p 269s| 189 | 119 |226364 |1111.9 | 44M| 25 | - |4970 |5933 |4970 |5199 | 33 | 20 | 674 | 1.755821e+06 | 1.017577e+07 | 479.54%
524.50/524.65 o 9953297
524.50/524.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
524.50/524.65 c * 525s| 500 | 396 |587078 |1141.8 | 45M| 45 | - |4970 |5956 |4970 |5199 | 33 | 55 | 897 | 1.875658e+06 | 9.953297e+06 | 430.66%
616.28/616.42 o 9465811
616.28/616.42 c * 616s| 671 | 503 |701530 |1021.2 | 45M| 49 | - |4970 |5963 |4970 |5199 | 33 | 72 |1041 | 1.944517e+06 | 9.465811e+06 | 386.80%
621.77/621.98 o 5365795
621.77/621.98 c * 622s| 691 | 496 |706911 | 999.4 | 45M| 49 | - |4970 |5962 |4970 |5199 | 33 | 72 |1057 | 1.944517e+06 | 5.365795e+06 | 175.94%
946.33/946.54 o 5273919
946.33/946.54 c * 946s| 1096 | 596 | 1152k|1036.6 | 45M| 55 | - |4970 |6065 |4970 |5199 | 33 | 205 |1525 | 2.028014e+06 | 5.273919e+06 | 160.05%
972.72/972.96 o 5268127
972.72/972.96 c * 973s| 1127 | 607 | 1186k|1038.4 | 45M| 55 | - |4970 |6063 |4970 |5199 | 33 | 205 |1557 | 2.028014e+06 | 5.268127e+06 | 159.77%
1202.89/1203.17 o 5097775
1202.89/1203.17 c *1203s| 1494 | 706 | 1489k| 986.0 | 46M| 57 | - |4970 |5992 |4970 |5199 | 33 | 236 |1911 | 2.072907e+06 | 5.097775e+06 | 145.92%
1285.98/1286.25 o 5087879
1285.98/1286.25 c *1286s| 1663 | 741 | 1594k| 948.7 | 46M| 57 | - |4970 |5984 |4970 |5199 | 33 | 246 |2064 | 2.080187e+06 | 5.087879e+06 | 144.59%
1289.47/1289.75 o 5083717
1289.47/1289.75 c *1290s| 1683 | 741 | 1598k| 939.9 | 46M| 57 | - |4970 |5982 |4970 |5199 | 33 | 246 |2074 | 2.080187e+06 | 5.083717e+06 | 144.39%
1789.70/1790.02 c
1789.70/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.02 c Solving Time (sec) : 1789.88
1789.70/1790.02 c Solving Nodes : 3130
1789.70/1790.02 c Primal Bound : +5.08371700000000e+06 (18 solutions)
1789.70/1790.02 c Dual Bound : +2.18997566338839e+06
1789.70/1790.02 c Gap : 132.14 %
1789.70/1790.03 s SATISFIABLE
1789.70/1790.03 v -x9730 -x9589 -x9518 -x9447 -x9376 -x9305 -x9234 -x9163 -x9092 -x9021 -x8950 -x8809 -x8738 -x8667 -x8596 -x8525 -x8454 -x8383 -x8312
1789.70/1790.03 v -x8241 -x8170 -x8029 -x7958 -x7887 -x7816 -x7745 -x7674 -x7603 -x7532 -x7461 -x7390 -x7249 -x7178 -x7107 -x7036 -x6965
1789.70/1790.03 v -x6894 -x6823 -x6752 -x6681 -x6610 -x6469 -x6398 -x6327 -x6256 -x6185 -x6114 -x6043 -x5972 -x5901 -x5830 -x5689 -x5618 -x5547
1789.70/1790.03 v -x5476 -x5405 -x5334 -x5263 -x5192 -x5121 -x5050 -x9879 -x9808 -x9737 -x9596 -x8825 -x8054 -x7283 -x6512 -x5741 -x4760 -x4619
1789.70/1790.03 v -x4548 -x4477 -x4406 -x4335 -x4264 -x4193 -x4122 -x4051 -x3980 -x3839 -x3768 -x3697 -x3626 -x3555 -x3484 -x3413 -x3342 -x3271
1789.70/1790.03 v -x3200 -x3059 -x2988 -x2917 -x2846 -x2775 -x2704 -x2633 -x2562 -x2491 -x2420 -x2279 -x2208 -x2137 -x2066 -x1995 -x1924 -x1853
1789.70/1790.03 v -x1782 -x1711 -x1640 -x1499 -x1428 -x1357 -x1286 -x1215 -x1144 -x1073 -x1002 -x931 -x860 -x719 -x648 -x577 -x506 -x435 -x364
1789.70/1790.03 v -x293 -x222 -x151 -x80 -x4909 -x4838 -x4767 -x4626 -x3855 -x3084 -x2313 -x1542 -x771 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63
1789.70/1790.03 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
1789.70/1790.03 v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13
1789.70/1790.03 v -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x9729 -x9728 -x9727 -x9726 -x9725 -x9724 -x9723 -x9722 -x9721 -x9720 -x9719
1789.70/1790.03 v -x9718 -x9717 -x9716 -x9715 -x9714 -x9713 -x9712 -x9711 -x9710 -x9709 -x9708 -x9707 -x9706 -x9705 -x9704 -x9703 -x9702
1789.70/1790.03 v -x9701 -x9700 -x9699 -x9698 -x9697 -x9696 -x9695 -x9694 -x9693 -x9692 -x9691 -x9690 -x9689 -x9688 -x9687 -x9686 -x9685 -x9684
1789.70/1790.03 v -x9683 -x9682 -x9681 -x9680 -x9679 -x9678 -x9677 -x9676 -x9675 -x9674 -x9673 -x9672 -x9671 -x9670 -x9669 -x9668 -x9667 -x9666
1789.70/1790.03 v -x9665 -x9664 -x9663 -x9662 -x9661 -x9590 -x9588 -x9587 -x9586 -x9585 -x9584 -x9583 -x9582 -x9581 -x9580 -x9579 -x9578 -x9577
1789.70/1790.03 v -x9576 -x9575 -x9574 -x9573 -x9572 -x9571 -x9570 -x9569 -x9568 -x9567 -x9566 -x9565 -x9564 -x9563 -x9562 -x9561 -x9560 -x9559
1789.70/1790.03 v -x9558 -x9557 -x9556 -x9555 -x9554 -x9553 -x9552 -x9551 -x9550 -x9549 -x9548 -x9547 -x9546 -x9545 -x9544 -x9543 -x9542 -x9541
1789.70/1790.03 v -x9540 -x9539 -x9538 -x9537 -x9536 -x9535 -x9534 -x9533 -x9532 -x9531 -x9530 -x9529 -x9528 -x9527 -x9526 -x9525 -x9524 -x9523
1789.70/1790.03 v -x9522 -x9521 -x9520 -x9519 -x9517 -x9516 -x9515 -x9514 -x9513 -x9512 -x9511 -x9510 -x9509 -x9508 -x9507 -x9506 -x9505
1789.70/1790.03 v -x9504 -x9503 -x9502 -x9501 -x9500 -x9499 -x9498 -x9497 -x9496 -x9495 -x9494 -x9493 -x9492 -x9491 -x9490 -x9489 -x9488 -x9487
1789.70/1790.03 v -x9486 -x9485 -x9484 -x9483 -x9482 -x9481 -x9480 -x9479 -x9478 -x9477 -x9476 -x9475 -x9474 -x9473 -x9472 -x9471 -x9470 -x9469
1789.70/1790.03 v -x9468 -x9467 -x9466 -x9465 -x9464 -x9463 -x9462 -x9461 -x9460 -x9459 -x9458 -x9457 -x9456 -x9455 -x9454 -x9453 -x9452 -x9451
1789.70/1790.03 v -x9450 -x9449 -x9448 -x9446 -x9445 -x9444 -x9443 -x9442 -x9441 -x9440 -x9439 -x9438 -x9437 -x9436 -x9435 -x9434 -x9433 -x9432
1789.70/1790.03 v -x9431 -x9430 -x9429 -x9428 -x9427 -x9426 -x9425 -x9424 -x9423 -x9422 -x9421 -x9420 -x9419 -x9418 -x9417 -x9416 -x9415 -x9414
1789.70/1790.03 v -x9413 -x9412 -x9411 -x9410 -x9409 -x9408 -x9407 -x9406 -x9405 -x9404 -x9403 -x9402 -x9401 -x9400 -x9399 -x9398 -x9397 -x9396
1789.70/1790.03 v -x9395 -x9394 -x9393 -x9392 -x9391 -x9390 -x9389 -x9388 -x9387 -x9386 -x9385 -x9384 -x9383 -x9382 -x9381 -x9380 -x9379
1789.70/1790.03 v -x9378 -x9377 -x9375 -x9374 -x9373 -x9372 -x9371 -x9370 -x9369 -x9368 -x9367 -x9366 -x9365 -x9364 -x9363 -x9362 -x9361 -x9360
1789.70/1790.03 v -x9359 -x9358 -x9357 -x9356 -x9355 -x9354 -x9353 -x9352 -x9351 -x9350 -x9349 -x9348 -x9347 -x9346 -x9345 -x9344 -x9343 -x9342
1789.70/1790.03 v -x9341 -x9340 -x9339 -x9338 -x9337 -x9336 -x9335 -x9334 -x9333 -x9332 -x9331 -x9330 -x9329 -x9328 -x9327 -x9326 -x9325 -x9324
1789.70/1790.03 v -x9323 -x9322 -x9321 -x9320 -x9319 -x9318 -x9317 -x9316 -x9315 -x9314 -x9313 -x9312 -x9311 -x9310 -x9309 -x9308 -x9307 -x9306
1789.70/1790.03 v -x9304 -x9303 -x9302 -x9301 -x9300 -x9299 -x9298 -x9297 -x9296 -x9295 -x9294 -x9293 -x9292 -x9291 -x9290 -x9289 -x9288 -x9287
1789.70/1790.03 v -x9286 -x9285 -x9284 -x9283 -x9282 -x9281 -x9280 -x9279 -x9278 -x9277 -x9276 -x9275 -x9274 -x9273 -x9272 -x9271 -x9270 -x9269
1789.70/1790.03 v -x9268 -x9267 -x9266 -x9265 -x9264 -x9263 -x9262 -x9261 -x9260 -x9259 -x9258 -x9257 -x9256 -x9255 -x9254 -x9253 -x9252
1789.70/1790.03 v -x9251 -x9250 -x9249 -x9248 -x9247 -x9246 -x9245 -x9244 -x9243 -x9242 -x9241 -x9240 -x9239 -x9238 -x9237 -x9236 -x9235 -x9233
1789.70/1790.03 v -x9232 -x9231 -x9230 -x9229 -x9228 -x9227 -x9226 -x9225 -x9224 -x9223 -x9222 -x9221 -x9220 -x9219 -x9218 -x9217 -x9216 -x9215
1789.70/1790.03 v -x9214 -x9213 -x9212 -x9211 -x9210 -x9209 -x9208 -x9207 -x9206 -x9205 -x9204 -x9203 -x9202 -x9201 -x9200 -x9199 -x9198 -x9197
1789.70/1790.03 v -x9196 -x9195 -x9194 -x9193 -x9192 -x9191 -x9190 -x9189 -x9188 -x9187 -x9186 -x9185 -x9184 -x9183 -x9182 -x9181 -x9180 -x9179
1789.70/1790.03 v -x9178 -x9177 -x9176 -x9175 -x9174 -x9173 -x9172 -x9171 -x9170 -x9169 -x9168 -x9167 -x9166 -x9165 -x9164 -x9162 -x9161 -x9160
1789.70/1790.03 v -x9159 -x9158 -x9157 -x9156 -x9155 -x9154 -x9153 -x9152 -x9151 -x9150 -x9149 -x9148 -x9147 -x9146 -x9145 -x9144 -x9143 -x9142
1789.70/1790.03 v -x9141 -x9140 -x9139 -x9138 -x9137 -x9136 -x9135 -x9134 -x9133 -x9132 -x9131 -x9130 -x9129 -x9128 -x9127 -x9126 -x9125
1789.70/1790.03 v -x9124 -x9123 -x9122 -x9121 -x9120 -x9119 -x9118 -x9117 -x9116 -x9115 -x9114 -x9113 -x9112 -x9111 -x9110 -x9109 -x9108 -x9107
1789.70/1790.03 v -x9106 -x9105 -x9104 -x9103 -x9102 -x9101 -x9100 -x9099 -x9098 -x9097 -x9096 -x9095 -x9094 -x9093 -x9091 -x9090 -x9089 -x9088
1789.70/1790.03 v -x9087 -x9086 -x9085 -x9084 -x9083 -x9082 -x9081 -x9080 -x9079 -x9078 -x9077 -x9076 -x9075 -x9074 -x9073 -x9072 -x9071 -x9070
1789.70/1790.03 v -x9069 -x9068 -x9067 -x9066 -x9065 -x9064 -x9063 -x9062 -x9061 -x9060 -x9059 -x9058 -x9057 -x9056 -x9055 -x9054 -x9053 -x9052
1789.70/1790.03 v -x9051 -x9050 -x9049 -x9048 -x9047 -x9046 -x9045 -x9044 -x9043 -x9042 -x9041 -x9040 -x9039 -x9038 -x9037 -x9036 -x9035 -x9034
1789.70/1790.03 v -x9033 -x9032 -x9031 -x9030 -x9029 -x9028 -x9027 -x9026 -x9025 -x9024 -x9023 -x9022 -x9020 -x9019 -x9018 -x9017 -x9016 -x9015
1789.70/1790.03 v -x9014 -x9013 -x9012 -x9011 -x9010 -x9009 -x9008 -x9007 -x9006 -x9005 -x9004 -x9003 -x9002 -x9001 -x9000 -x8999 -x8998
1789.70/1790.03 v -x8997 -x8996 -x8995 -x8994 -x8993 -x8992 -x8991 -x8990 -x8989 -x8988 -x8987 -x8986 -x8985 -x8984 -x8983 -x8982 -x8981 -x8980
1789.70/1790.03 v -x8979 -x8978 -x8977 -x8976 -x8975 -x8974 -x8973 -x8972 -x8971 -x8970 -x8969 -x8968 -x8967 -x8966 -x8965 -x8964 -x8963 -x8962
1789.70/1790.03 v -x8961 -x8960 -x8959 -x8958 -x8957 -x8956 -x8955 -x8954 -x8953 -x8952 -x8951 -x8949 -x8948 -x8947 -x8946 -x8945 -x8944 -x8943
1789.70/1790.03 v -x8942 -x8941 -x8940 -x8939 -x8938 -x8937 -x8936 -x8935 -x8934 -x8933 -x8932 -x8931 -x8930 -x8929 -x8928 -x8927 -x8926 -x8925
1789.70/1790.03 v -x8924 -x8923 -x8922 -x8921 -x8920 -x8919 -x8918 -x8917 -x8916 -x8915 -x8914 -x8913 -x8912 -x8911 -x8910 -x8909 -x8908 -x8907
1789.70/1790.03 v -x8906 -x8905 -x8904 -x8903 -x8902 -x8901 -x8900 -x8899 -x8898 -x8897 -x8896 -x8895 -x8894 -x8893 -x8892 -x8891 -x8820 -x8819
1789.70/1790.03 v -x8818 -x8817 -x8816 -x8815 -x8814 -x8813 -x8812 -x8811 -x8810 -x8808 -x8807 -x8806 -x8805 -x8804 -x8803 -x8802 -x8801
1789.70/1790.03 v -x8800 -x8799 -x8798 -x8797 -x8796 -x8795 -x8794 -x8793 -x8792 -x8791 -x8790 -x8789 -x8788 -x8787 -x8786 -x8785 -x8784 -x8783
1789.70/1790.03 v -x8782 -x8781 -x8780 -x8779 -x8778 -x8777 -x8776 -x8775 -x8774 -x8773 -x8772 -x8771 -x8770 -x8769 -x8768 -x8767 -x8766 -x8765
1789.70/1790.03 v -x8764 -x8763 -x8762 -x8761 -x8760 -x8759 -x8758 -x8757 -x8756 -x8755 -x8754 -x8753 -x8752 -x8751 -x8750 -x8749 -x8748 -x8747
1789.70/1790.03 v -x8746 -x8745 -x8744 -x8743 -x8742 -x8741 -x8740 -x8739 -x8737 -x8736 -x8735 -x8734 -x8733 -x8732 -x8731 -x8730 -x8729 -x8728
1789.70/1790.03 v -x8727 -x8726 -x8725 -x8724 -x8723 -x8722 -x8721 -x8720 -x8719 -x8718 -x8717 -x8716 -x8715 -x8714 -x8713 -x8712 -x8711 -x8710
1789.70/1790.03 v -x8709 -x8708 -x8707 -x8706 -x8705 -x8704 -x8703 -x8702 -x8701 -x8700 -x8699 -x8698 -x8697 -x8696 -x8695 -x8694 -x8693 -x8692
1789.70/1790.03 v -x8691 -x8690 -x8689 -x8688 -x8687 -x8686 -x8685 -x8684 -x8683 -x8682 -x8681 -x8680 -x8679 -x8678 -x8677 -x8676 -x8675
1789.70/1790.03 v -x8674 -x8673 -x8672 -x8671 -x8670 -x8669 -x8668 -x8666 -x8665 -x8664 -x8663 -x8662 -x8661 -x8660 -x8659 -x8658 -x8657 -x8656
1789.70/1790.03 v -x8655 -x8654 -x8653 -x8652 -x8651 -x8650 -x8649 -x8648 -x8647 -x8646 -x8645 -x8644 -x8643 -x8642 -x8641 -x8640 -x8639 -x8638
1789.70/1790.03 v -x8637 -x8636 -x8635 -x8634 -x8633 -x8632 -x8631 -x8630 -x8629 -x8628 -x8627 -x8626 -x8625 -x8624 -x8623 -x8622 -x8621 -x8620
1789.70/1790.03 v -x8619 -x8618 -x8617 -x8616 -x8615 -x8614 -x8613 -x8612 -x8611 -x8610 -x8609 -x8608 -x8607 -x8606 -x8605 -x8604 -x8603 -x8602
1789.70/1790.03 v -x8601 -x8600 -x8599 -x8598 -x8597 -x8595 -x8594 -x8593 -x8592 -x8591 -x8590 -x8589 -x8588 -x8587 -x8586 -x8585 -x8584 -x8583
1789.70/1790.03 v -x8582 -x8581 -x8580 -x8579 -x8578 -x8577 -x8576 -x8575 -x8574 -x8573 -x8572 -x8571 -x8570 -x8569 -x8568 -x8567 -x8566 -x8565
1789.70/1790.03 v -x8564 -x8563 -x8562 -x8561 -x8560 -x8559 -x8558 -x8557 -x8556 -x8555 -x8554 -x8553 -x8552 -x8551 -x8550 -x8549 -x8548
1789.70/1790.03 v -x8547 -x8546 -x8545 -x8544 -x8543 -x8542 -x8541 -x8540 -x8539 -x8538 -x8537 -x8536 -x8535 -x8534 -x8533 -x8532 -x8531 -x8530
1789.70/1790.03 v -x8529 -x8528 -x8527 -x8526 -x8524 -x8523 -x8522 -x8521 -x8520 -x8519 -x8518 -x8517 -x8516 -x8515 -x8514 -x8513 -x8512 -x8511
1789.70/1790.03 v -x8510 -x8509 -x8508 -x8507 -x8506 -x8505 -x8504 -x8503 -x8502 -x8501 -x8500 -x8499 -x8498 -x8497 -x8496 -x8495 -x8494 -x8493
1789.70/1790.03 v -x8492 -x8491 -x8490 -x8489 -x8488 -x8487 -x8486 -x8485 -x8484 -x8483 -x8482 -x8481 -x8480 -x8479 -x8478 -x8477 -x8476 -x8475
1789.70/1790.03 v -x8474 -x8473 -x8472 -x8471 -x8470 -x8469 -x8468 -x8467 -x8466 -x8465 -x8464 -x8463 -x8462 -x8461 -x8460 -x8459 -x8458 -x8457
1789.70/1790.03 v -x8456 -x8455 -x8453 -x8452 -x8451 -x8450 -x8449 -x8448 -x8447 -x8446 -x8445 -x8444 -x8443 -x8442 -x8441 -x8440 -x8439 -x8438
1789.70/1790.03 v -x8437 -x8436 -x8435 -x8434 -x8433 -x8432 -x8431 -x8430 -x8429 -x8428 -x8427 -x8426 -x8425 -x8424 -x8423 -x8422 -x8421
1789.70/1790.03 v -x8420 -x8419 -x8418 -x8417 -x8416 -x8415 -x8414 -x8413 -x8412 -x8411 -x8410 -x8409 -x8408 -x8407 -x8406 -x8405 -x8404 -x8403
1789.70/1790.03 v -x8402 -x8401 -x8400 -x8399 -x8398 -x8397 -x8396 -x8395 -x8394 -x8393 -x8392 -x8391 -x8390 -x8389 -x8388 -x8387 -x8386 -x8385
1789.70/1790.03 v -x8384 -x8382 -x8381 -x8380 -x8379 -x8378 -x8377 -x8376 -x8375 -x8374 -x8373 -x8372 -x8371 -x8370 -x8369 -x8368 -x8367 -x8366
1789.70/1790.03 v -x8365 -x8364 -x8363 -x8362 -x8361 -x8360 -x8359 -x8358 -x8357 -x8356 -x8355 -x8354 -x8353 -x8352 -x8351 -x8350 -x8349 -x8348
1789.70/1790.03 v -x8347 -x8346 -x8345 -x8344 -x8343 -x8342 -x8341 -x8340 -x8339 -x8338 -x8337 -x8336 -x8335 -x8334 -x8333 -x8332 -x8331 -x8330
1789.70/1790.03 v -x8329 -x8328 -x8327 -x8326 -x8325 -x8324 -x8323 -x8322 -x8321 -x8320 -x8319 -x8318 -x8317 -x8316 -x8315 -x8314 -x8313 -x8311
1789.70/1790.03 v -x8310 -x8309 -x8308 -x8307 -x8306 -x8305 -x8304 -x8303 -x8302 -x8301 -x8300 -x8299 -x8298 -x8297 -x8296 -x8295 -x8294
1789.70/1790.03 v -x8293 -x8292 -x8291 -x8290 -x8289 -x8288 -x8287 -x8286 -x8285 -x8284 -x8283 -x8282 -x8281 -x8280 -x8279 -x8278 -x8277 -x8276
1789.70/1790.03 v -x8275 -x8274 -x8273 -x8272 -x8271 -x8270 -x8269 -x8268 -x8267 -x8266 -x8265 -x8264 -x8263 -x8262 -x8261 -x8260 -x8259 -x8258
1789.70/1790.03 v -x8257 -x8256 -x8255 -x8254 -x8253 -x8252 -x8251 -x8250 -x8249 -x8248 -x8247 -x8246 -x8245 -x8244 -x8243 -x8242 -x8240 -x8239
1789.70/1790.03 v -x8238 -x8237 -x8236 -x8235 -x8234 -x8233 -x8232 -x8231 -x8230 -x8229 -x8228 -x8227 -x8226 -x8225 -x8224 -x8223 -x8222 -x8221
1789.70/1790.03 v -x8220 -x8219 -x8218 -x8217 -x8216 -x8215 -x8214 -x8213 -x8212 -x8211 -x8210 -x8209 -x8208 -x8207 -x8206 -x8205 -x8204 -x8203
1789.70/1790.03 v -x8202 -x8201 -x8200 -x8199 -x8198 -x8197 -x8196 -x8195 -x8194 -x8193 -x8192 -x8191 -x8190 -x8189 -x8188 -x8187 -x8186 -x8185
1789.70/1790.03 v -x8184 -x8183 -x8182 -x8181 -x8180 -x8179 -x8178 -x8177 -x8176 -x8175 -x8174 -x8173 -x8172 -x8171 -x8169 -x8168 -x8167
1789.70/1790.03 v -x8166 -x8165 -x8164 -x8163 -x8162 -x8161 -x8160 -x8159 -x8158 -x8157 -x8156 -x8155 -x8154 -x8153 -x8152 -x8151 -x8150 -x8149
1789.70/1790.03 v -x8148 -x8147 -x8146 -x8145 -x8144 -x8143 -x8142 -x8141 -x8140 -x8139 -x8138 -x8137 -x8136 -x8135 -x8134 -x8133 -x8132 -x8131
1789.70/1790.03 v -x8130 -x8129 -x8128 -x8127 -x8126 -x8125 -x8124 -x8123 -x8122 -x8121 -x8050 -x8049 -x8048 -x8047 -x8046 -x8045 -x8044 -x8043
1789.70/1790.03 v -x8042 -x8041 -x8040 -x8039 -x8038 -x8037 -x8036 -x8035 -x8034 -x8033 -x8032 -x8031 -x8030 -x8028 -x8027 -x8026 -x8025 -x8024
1789.70/1790.03 v -x8023 -x8022 -x8021 -x8020 -x8019 -x8018 -x8017 -x8016 -x8015 -x8014 -x8013 -x8012 -x8011 -x8010 -x8009 -x8008 -x8007 -x8006
1789.70/1790.03 v -x8005 -x8004 -x8003 -x8002 -x8001 -x8000 -x7999 -x7998 -x7997 -x7996 -x7995 -x7994 -x7993 -x7992 -x7991 -x7990 -x7989 -x7988
1789.70/1790.03 v -x7987 -x7986 -x7985 -x7984 -x7983 -x7982 -x7981 -x7980 -x7979 -x7978 -x7977 -x7976 -x7975 -x7974 -x7973 -x7972 -x7971
1789.70/1790.03 v -x7970 -x7969 -x7968 -x7967 -x7966 -x7965 -x7964 -x7963 -x7962 -x7961 -x7960 -x7959 -x7957 -x7956 -x7955 -x7954 -x7953 -x7952
1789.70/1790.03 v -x7951 -x7950 -x7949 -x7948 -x7947 -x7946 -x7945 -x7944 -x7943 -x7942 -x7941 -x7940 -x7939 -x7938 -x7937 -x7936 -x7935 -x7934
1789.70/1790.03 v -x7933 -x7932 -x7931 -x7930 -x7929 -x7928 -x7927 -x7926 -x7925 -x7924 -x7923 -x7922 -x7921 -x7920 -x7919 -x7918 -x7917 -x7916
1789.70/1790.03 v -x7915 -x7914 -x7913 -x7912 -x7911 -x7910 -x7909 -x7908 -x7907 -x7906 -x7905 -x7904 -x7903 -x7902 -x7901 -x7900 -x7899 -x7898
1789.70/1790.03 v -x7897 -x7896 -x7895 -x7894 -x7893 -x7892 -x7891 -x7890 -x7889 -x7888 -x7886 -x7885 -x7884 -x7883 -x7882 -x7881 -x7880 -x7879
1789.70/1790.03 v -x7878 -x7877 -x7876 -x7875 -x7874 -x7873 -x7872 -x7871 -x7870 -x7869 -x7868 -x7867 -x7866 -x7865 -x7864 -x7863 -x7862 -x7861
1789.70/1790.03 v -x7860 -x7859 -x7858 -x7857 -x7856 -x7855 -x7854 -x7853 -x7852 -x7851 -x7850 -x7849 -x7848 -x7847 -x7846 -x7845 -x7844
1789.70/1790.03 v -x7843 -x7842 -x7841 -x7840 -x7839 -x7838 -x7837 -x7836 -x7835 -x7834 -x7833 -x7832 -x7831 -x7830 -x7829 -x7828 -x7827 -x7826
1789.70/1790.03 v -x7825 -x7824 -x7823 -x7822 -x7821 -x7820 -x7819 -x7818 -x7817 -x7815 -x7814 -x7813 -x7812 -x7811 -x7810 -x7809 -x7808 -x7807
1789.70/1790.03 v -x7806 -x7805 -x7804 -x7803 -x7802 -x7801 -x7800 -x7799 -x7798 -x7797 -x7796 -x7795 -x7794 -x7793 -x7792 -x7791 -x7790 -x7789
1789.70/1790.03 v -x7788 -x7787 -x7786 -x7785 -x7784 -x7783 -x7782 -x7781 -x7780 -x7779 -x7778 -x7777 -x7776 -x7775 -x7774 -x7773 -x7772 -x7771
1789.70/1790.03 v -x7770 -x7769 -x7768 -x7767 -x7766 -x7765 -x7764 -x7763 -x7762 -x7761 -x7760 -x7759 -x7758 -x7757 -x7756 -x7755 -x7754 -x7753
1789.70/1790.03 v -x7752 -x7751 -x7750 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7740 -x7739 -x7738 -x7737 -x7736 -x7735 -x7734
1789.70/1790.03 v -x7733 -x7732 -x7731 -x7730 -x7729 -x7728 -x7727 -x7726 -x7725 -x7724 -x7723 -x7722 -x7721 -x7720 -x7719 -x7718 -x7717
1789.70/1790.03 v -x7716 -x7715 -x7714 -x7713 -x7712 -x7711 -x7710 -x7709 -x7708 -x7707 -x7706 -x7705 -x7704 -x7703 -x7702 -x7701 -x7700 -x7699
1789.70/1790.03 v -x7698 -x7697 -x7696 -x7695 -x7694 -x7693 -x7692 -x7691 -x7690 -x7689 -x7688 -x7687 -x7686 -x7685 -x7684 -x7683 -x7682 -x7681
1789.70/1790.03 v -x7680 -x7679 -x7678 -x7677 -x7676 -x7675 -x7673 -x7672 -x7671 -x7670 -x7669 -x7668 -x7667 -x7666 -x7665 -x7664 -x7663 -x7662
1789.70/1790.03 v -x7661 -x7660 -x7659 -x7658 -x7657 -x7656 -x7655 -x7654 -x7653 -x7652 -x7651 -x7650 -x7649 -x7648 -x7647 -x7646 -x7645 -x7644
1789.70/1790.03 v -x7643 -x7642 -x7641 -x7640 -x7639 -x7638 -x7637 -x7636 -x7635 -x7634 -x7633 -x7632 -x7631 -x7630 -x7629 -x7628 -x7627 -x7626
1789.70/1790.03 v -x7625 -x7624 -x7623 -x7622 -x7621 -x7620 -x7619 -x7618 -x7617 -x7616 -x7615 -x7614 -x7613 -x7612 -x7611 -x7610 -x7609 -x7608
1789.70/1790.03 v -x7607 -x7606 -x7605 -x7604 -x7602 -x7601 -x7600 -x7599 -x7598 -x7597 -x7596 -x7595 -x7594 -x7593 -x7592 -x7591 -x7590
1789.70/1790.03 v -x7589 -x7588 -x7587 -x7586 -x7585 -x7584 -x7583 -x7582 -x7581 -x7580 -x7579 -x7578 -x7577 -x7576 -x7575 -x7574 -x7573 -x7572
1789.70/1790.03 v -x7571 -x7570 -x7569 -x7568 -x7567 -x7566 -x7565 -x7564 -x7563 -x7562 -x7561 -x7560 -x7559 -x7558 -x7557 -x7556 -x7555 -x7554
1789.70/1790.03 v -x7553 -x7552 -x7551 -x7550 -x7549 -x7548 -x7547 -x7546 -x7545 -x7544 -x7543 -x7542 -x7541 -x7540 -x7539 -x7538 -x7537 -x7536
1789.70/1790.03 v -x7535 -x7534 -x7533 -x7531 -x7530 x7529 -x7528 -x7527 -x7526 -x7525 -x7524 -x7523 -x7522 -x7521 -x7520 -x7519 -x7518 -x7517
1789.70/1790.03 v -x7516 -x7515 -x7514 -x7513 -x7512 -x7511 -x7510 -x7509 -x7508 -x7507 -x7506 x7505 -x7504 -x7503 -x7502 -x7501 -x7500 -x7499
1789.70/1790.03 v -x7498 -x7497 -x7496 -x7495 -x7494 -x7493 -x7492 -x7491 -x7490 -x7489 -x7488 -x7487 -x7486 -x7485 -x7484 -x7483 -x7482 -x7481
1789.70/1790.03 v -x7480 -x7479 -x7478 -x7477 -x7476 -x7475 -x7474 -x7473 -x7472 -x7471 -x7470 -x7469 -x7468 -x7467 -x7466 -x7465 -x7464 -x7463
1789.70/1790.03 v -x7462 -x7460 -x7459 -x7458 -x7457 -x7456 -x7455 -x7454 -x7453 -x7452 -x7451 -x7450 -x7449 -x7448 -x7447 -x7446 -x7445 -x7444
1789.70/1790.03 v -x7443 -x7442 -x7441 -x7440 -x7439 -x7438 -x7437 -x7436 -x7435 -x7434 -x7433 -x7432 -x7431 -x7430 -x7429 -x7428 -x7427
1789.70/1790.03 v -x7426 -x7425 -x7424 -x7423 -x7422 -x7421 -x7420 -x7419 -x7418 -x7417 -x7416 -x7415 -x7414 -x7413 -x7412 -x7411 -x7410 -x7409
1789.70/1790.03 v -x7408 -x7407 -x7406 -x7405 -x7404 -x7403 -x7402 -x7401 -x7400 -x7399 -x7398 -x7397 -x7396 -x7395 -x7394 -x7393 -x7392 -x7391
1789.70/1790.03 v -x7389 -x7388 -x7387 -x7386 -x7385 -x7384 -x7383 -x7382 -x7381 -x7380 -x7379 -x7378 -x7377 -x7376 -x7375 -x7374 -x7373 -x7372
1789.70/1790.03 v -x7371 -x7370 -x7369 -x7368 -x7367 -x7366 -x7365 -x7364 -x7363 -x7362 -x7361 -x7360 -x7359 -x7358 -x7357 -x7356 -x7355 -x7354
1789.70/1790.03 v -x7353 -x7352 -x7351 -x7280 -x7279 -x7278 -x7277 -x7276 -x7275 -x7274 -x7273 -x7272 -x7271 -x7270 -x7269 -x7268 -x7267 -x7266
1789.70/1790.03 v -x7265 -x7264 -x7263 -x7262 -x7261 -x7260 -x7259 -x7258 -x7257 -x7256 -x7255 -x7254 -x7253 x7252 -x7251 -x7250 -x7248 -x7247
1789.70/1790.03 v -x7246 -x7245 -x7244 -x7243 -x7242 -x7241 -x7240 -x7239 -x7238 -x7237 -x7236 -x7235 -x7234 -x7233 -x7232 -x7231 -x7230 -x7229
1789.70/1790.03 v -x7228 -x7227 -x7226 x7225 -x7224 -x7223 x7222 -x7221 -x7220 -x7219 -x7218 -x7217 -x7216 -x7215 -x7214 -x7213 -x7212 -x7211
1789.70/1790.03 v -x7210 -x7209 -x7208 -x7207 -x7206 -x7205 -x7204 -x7203 -x7202 -x7201 -x7200 -x7199 -x7198 -x7197 -x7196 -x7195 -x7194 -x7193
1789.70/1790.03 v -x7192 -x7191 -x7190 -x7189 -x7188 -x7187 -x7186 -x7185 -x7184 -x7183 -x7182 -x7181 -x7180 -x7179 -x7177 -x7176 -x7175
1789.70/1790.03 v -x7174 -x7173 -x7172 -x7171 -x7170 -x7169 -x7168 -x7167 -x7166 -x7165 -x7164 -x7163 -x7162 -x7161 -x7160 -x7159 -x7158 -x7157
1789.70/1790.03 v -x7156 -x7155 -x7154 -x7153 -x7152 -x7151 -x7150 -x7149 -x7148 -x7147 -x7146 -x7145 -x7144 -x7143 -x7142 -x7141 -x7140 -x7139
1789.70/1790.03 v -x7138 -x7137 -x7136 -x7135 -x7134 -x7133 -x7132 -x7131 -x7130 -x7129 -x7128 -x7127 -x7126 -x7125 -x7124 -x7123 -x7122 -x7121
1789.70/1790.03 v -x7120 -x7119 -x7118 -x7117 -x7116 -x7115 -x7114 -x7113 -x7112 -x7111 -x7110 -x7109 -x7108 -x7106 -x7105 -x7104 -x7103 -x7102
1789.70/1790.03 v -x7101 -x7100 -x7099 -x7098 -x7097 -x7096 -x7095 -x7094 -x7093 -x7092 -x7091 -x7090 -x7089 -x7088 -x7087 -x7086 -x7085 -x7084
1789.70/1790.03 v -x7083 -x7082 -x7081 -x7080 -x7079 -x7078 -x7077 -x7076 -x7075 -x7074 -x7073 -x7072 -x7071 -x7070 -x7069 -x7068 -x7067 -x7066
1789.70/1790.03 v -x7065 -x7064 -x7063 -x7062 -x7061 -x7060 -x7059 -x7058 -x7057 -x7056 -x7055 -x7054 -x7053 -x7052 -x7051 -x7050 -x7049
1789.70/1790.03 v -x7048 -x7047 -x7046 -x7045 -x7044 -x7043 -x7042 -x7041 -x7040 -x7039 -x7038 -x7037 -x7035 -x7034 -x7033 -x7032 -x7031 -x7030
1789.70/1790.03 v -x7029 -x7028 -x7027 -x7026 -x7025 -x7024 -x7023 -x7022 -x7021 -x7020 -x7019 -x7018 -x7017 -x7016 -x7015 -x7014 -x7013 -x7012
1789.70/1790.03 v -x7011 -x7010 -x7009 -x7008 -x7007 -x7006 -x7005 -x7004 -x7003 -x7002 -x7001 -x7000 -x6999 -x6998 -x6997 -x6996 -x6995 -x6994
1789.70/1790.03 v -x6993 -x6992 -x6991 -x6990 -x6989 -x6988 -x6987 -x6986 -x6985 -x6984 -x6983 -x6982 -x6981 -x6980 -x6979 -x6978 -x6977 -x6976
1789.70/1790.03 v -x6975 -x6974 -x6973 -x6972 -x6971 -x6970 -x6969 -x6968 -x6967 -x6966 -x6964 -x6963 -x6962 -x6961 -x6960 -x6959 -x6958 -x6957
1789.70/1790.03 v -x6956 -x6955 -x6954 -x6953 -x6952 -x6951 -x6950 -x6949 -x6948 -x6947 -x6946 -x6945 -x6944 -x6943 -x6942 -x6941 -x6940 -x6939
1789.70/1790.03 v -x6938 -x6937 -x6936 -x6935 -x6934 -x6933 -x6932 -x6931 -x6930 -x6929 -x6928 -x6927 -x6926 -x6925 -x6924 -x6923 -x6922
1789.70/1790.03 v -x6921 -x6920 -x6919 -x6918 -x6917 -x6916 -x6915 -x6914 -x6913 -x6912 -x6911 -x6910 -x6909 -x6908 -x6907 -x6906 -x6905 -x6904
1789.70/1790.03 v -x6903 -x6902 -x6901 -x6900 -x6899 -x6898 -x6897 -x6896 -x6895 -x6893 -x6892 -x6891 -x6890 -x6889 -x6888 -x6887 -x6886 -x6885
1789.70/1790.03 v -x6884 -x6883 -x6882 -x6881 -x6880 -x6879 -x6878 -x6877 -x6876 -x6875 -x6874 -x6873 -x6872 -x6871 -x6870 -x6869 -x6868 -x6867
1789.70/1790.03 v -x6866 -x6865 -x6864 -x6863 -x6862 -x6861 -x6860 -x6859 -x6858 -x6857 -x6856 -x6855 -x6854 -x6853 -x6852 -x6851 -x6850 -x6849
1789.70/1790.03 v -x6848 -x6847 -x6846 -x6845 -x6844 -x6843 -x6842 -x6841 -x6840 -x6839 -x6838 -x6837 -x6836 -x6835 -x6834 -x6833 -x6832 -x6831
1789.70/1790.03 v -x6830 -x6829 -x6828 -x6827 -x6826 -x6825 -x6824 -x6822 -x6821 -x6820 -x6819 -x6818 -x6817 -x6816 -x6815 -x6814 -x6813 -x6812
1789.70/1790.03 v -x6811 -x6810 -x6809 -x6808 -x6807 -x6806 -x6805 -x6804 -x6803 -x6802 -x6801 -x6800 -x6799 -x6798 -x6797 -x6796 -x6795
1789.70/1790.03 v -x6794 -x6793 -x6792 -x6791 -x6790 -x6789 -x6788 -x6787 -x6786 -x6785 -x6784 -x6783 -x6782 -x6781 -x6780 -x6779 -x6778 -x6777
1789.70/1790.03 v -x6776 -x6775 -x6774 -x6773 -x6772 -x6771 -x6770 -x6769 -x6768 -x6767 -x6766 -x6765 -x6764 -x6763 -x6762 -x6761 -x6760 -x6759
1789.70/1790.03 v -x6758 -x6757 -x6756 -x6755 -x6754 -x6753 -x6751 -x6750 -x6749 -x6748 -x6747 -x6746 -x6745 -x6744 -x6743 -x6742 -x6741 -x6740
1789.70/1790.03 v -x6739 -x6738 -x6737 -x6736 -x6735 -x6734 -x6733 -x6732 -x6731 -x6730 -x6729 -x6728 -x6727 -x6726 -x6725 -x6724 -x6723 -x6722
1789.70/1790.03 v -x6721 -x6720 -x6719 -x6718 -x6717 -x6716 -x6715 -x6714 -x6713 -x6712 -x6711 -x6710 -x6709 -x6708 -x6707 -x6706 -x6705 -x6704
1789.70/1790.03 v -x6703 -x6702 -x6701 -x6700 -x6699 -x6698 -x6697 -x6696 -x6695 -x6694 -x6693 -x6692 -x6691 -x6690 -x6689 -x6688 -x6687 -x6686
1789.70/1790.03 v -x6685 -x6684 -x6683 -x6682 -x6680 -x6679 -x6678 -x6677 -x6676 -x6675 -x6674 -x6673 -x6672 -x6671 -x6670 -x6669 -x6668
1789.70/1790.03 v -x6667 -x6666 -x6665 -x6664 -x6663 -x6662 -x6661 -x6660 -x6659 -x6658 -x6657 -x6656 -x6655 -x6654 -x6653 -x6652 -x6651 -x6650
1789.70/1790.03 v -x6649 -x6648 -x6647 -x6646 -x6645 -x6644 -x6643 -x6642 -x6641 -x6640 -x6639 -x6638 -x6637 -x6636 -x6635 -x6634 -x6633 -x6632
1789.70/1790.03 v -x6631 -x6630 -x6629 -x6628 -x6627 -x6626 -x6625 -x6624 -x6623 -x6622 -x6621 -x6620 -x6619 -x6618 -x6617 -x6616 -x6615 -x6614
1789.70/1790.03 v -x6613 -x6612 -x6611 -x6609 -x6608 -x6607 -x6606 -x6605 -x6604 -x6603 -x6602 -x6601 -x6600 -x6599 -x6598 -x6597 -x6596 -x6595
1789.70/1790.03 v -x6594 -x6593 -x6592 -x6591 -x6590 -x6589 -x6588 -x6587 -x6586 -x6585 -x6584 -x6583 -x6582 -x6581 -x6510 -x6509 -x6508 -x6507
1789.70/1790.03 v -x6506 -x6505 -x6504 -x6503 -x6502 -x6501 -x6500 -x6499 -x6498 -x6497 -x6496 -x6495 -x6494 -x6493 -x6492 -x6491 -x6490 -x6489
1789.70/1790.03 v -x6488 -x6487 -x6486 -x6485 -x6484 -x6483 -x6482 -x6481 -x6480 -x6479 -x6478 -x6477 -x6476 -x6475 -x6474 -x6473 -x6472
1789.70/1790.03 v -x6471 -x6470 -x6468 -x6467 -x6466 -x6465 -x6464 -x6463 -x6462 -x6461 -x6460 -x6459 -x6458 -x6457 -x6456 -x6455 -x6454 -x6453
1789.70/1790.03 v -x6452 -x6451 -x6450 -x6449 -x6448 -x6447 -x6446 -x6445 -x6444 -x6443 -x6442 -x6441 -x6440 -x6439 -x6438 -x6437 -x6436 -x6435
1789.70/1790.03 v -x6434 -x6433 -x6432 -x6431 -x6430 -x6429 -x6428 -x6427 -x6426 -x6425 -x6424 -x6423 -x6422 -x6421 -x6420 -x6419 -x6418 -x6417
1789.70/1790.03 v -x6416 -x6415 -x6414 -x6413 -x6412 -x6411 -x6410 -x6409 -x6408 -x6407 -x6406 -x6405 -x6404 -x6403 -x6402 -x6401 -x6400 -x6399
1789.70/1790.03 v -x6397 -x6396 -x6395 -x6394 -x6393 -x6392 -x6391 -x6390 -x6389 -x6388 -x6387 -x6386 -x6385 -x6384 -x6383 -x6382 -x6381 -x6380
1789.70/1790.03 v -x6379 -x6378 -x6377 -x6376 -x6375 -x6374 -x6373 -x6372 -x6371 -x6370 -x6369 -x6368 -x6367 -x6366 -x6365 -x6364 -x6363 -x6362
1789.70/1790.03 v -x6361 -x6360 -x6359 -x6358 -x6357 -x6356 -x6355 -x6354 -x6353 -x6352 -x6351 -x6350 -x6349 -x6348 -x6347 -x6346 -x6345
1789.70/1790.03 v -x6344 -x6343 -x6342 -x6341 -x6340 -x6339 -x6338 -x6337 -x6336 -x6335 -x6334 -x6333 -x6332 -x6331 -x6330 -x6329 -x6328 -x6326
1789.70/1790.03 v -x6325 -x6324 -x6323 -x6322 -x6321 -x6320 -x6319 -x6318 -x6317 -x6316 -x6315 -x6314 -x6313 -x6312 -x6311 -x6310 -x6309 -x6308
1789.70/1790.03 v -x6307 -x6306 -x6305 -x6304 -x6303 -x6302 -x6301 -x6300 -x6299 -x6298 -x6297 -x6296 -x6295 -x6294 -x6293 -x6292 -x6291 -x6290
1789.70/1790.03 v -x6289 -x6288 -x6287 -x6286 -x6285 -x6284 -x6283 -x6282 -x6281 -x6280 -x6279 -x6278 -x6277 -x6276 -x6275 -x6274 -x6273 -x6272
1789.70/1790.03 v -x6271 -x6270 -x6269 -x6268 -x6267 -x6266 -x6265 -x6264 -x6263 -x6262 -x6261 -x6260 -x6259 -x6258 -x6257 -x6255 -x6254 -x6253
1789.70/1790.03 v -x6252 -x6251 -x6250 -x6249 -x6248 -x6247 -x6246 -x6245 -x6244 -x6243 -x6242 -x6241 -x6240 -x6239 -x6238 -x6237 -x6236 -x6235
1789.70/1790.03 v -x6234 -x6233 -x6232 -x6231 -x6230 -x6229 -x6228 -x6227 -x6226 -x6225 -x6224 -x6223 -x6222 -x6221 -x6220 -x6219 -x6218
1789.70/1790.03 v -x6217 -x6216 -x6215 -x6214 -x6213 -x6212 -x6211 -x6210 -x6209 -x6208 -x6207 -x6206 -x6205 -x6204 -x6203 -x6202 -x6201 -x6200
1789.70/1790.03 v -x6199 -x6198 -x6197 -x6196 -x6195 -x6194 -x6193 -x6192 -x6191 -x6190 -x6189 -x6188 -x6187 -x6186 -x6184 -x6183 -x6182 -x6181
1789.70/1790.03 v -x6180 -x6179 -x6178 -x6177 -x6176 -x6175 -x6174 -x6173 -x6172 -x6171 -x6170 -x6169 -x6168 -x6167 -x6166 -x6165 -x6164 -x6163
1789.70/1790.03 v -x6162 -x6161 -x6160 -x6159 -x6158 -x6157 -x6156 -x6155 -x6154 -x6153 -x6152 -x6151 -x6150 -x6149 -x6148 -x6147 -x6146 -x6145
1789.70/1790.03 v -x6144 -x6143 -x6142 -x6141 -x6140 -x6139 -x6138 -x6137 -x6136 -x6135 -x6134 -x6133 -x6132 -x6131 -x6130 -x6129 -x6128 -x6127
1789.70/1790.03 v -x6126 -x6125 -x6124 -x6123 -x6122 -x6121 -x6120 -x6119 -x6118 -x6117 -x6116 -x6115 -x6113 -x6112 -x6111 -x6110 -x6109 -x6108
1789.70/1790.03 v -x6107 -x6106 -x6105 -x6104 -x6103 -x6102 -x6101 -x6100 -x6099 -x6098 -x6097 -x6096 -x6095 -x6094 -x6093 -x6092 -x6091
1789.70/1790.03 v -x6090 -x6089 -x6088 -x6087 -x6086 -x6085 -x6084 -x6083 -x6082 -x6081 -x6080 -x6079 -x6078 -x6077 -x6076 -x6075 -x6074 -x6073
1789.70/1790.03 v -x6072 -x6071 -x6070 -x6069 -x6068 -x6067 -x6066 -x6065 -x6064 -x6063 -x6062 -x6061 -x6060 -x6059 -x6058 -x6057 -x6056 -x6055
1789.70/1790.03 v -x6054 -x6053 -x6052 -x6051 -x6050 -x6049 -x6048 -x6047 -x6046 -x6045 -x6044 -x6042 -x6041 -x6040 -x6039 -x6038 -x6037 -x6036
1789.70/1790.03 v -x6035 -x6034 -x6033 -x6032 -x6031 -x6030 -x6029 -x6028 -x6027 -x6026 -x6025 -x6024 -x6023 -x6022 -x6021 -x6020 -x6019 -x6018
1789.70/1790.03 v -x6017 -x6016 -x6015 -x6014 -x6013 -x6012 -x6011 -x6010 -x6009 -x6008 -x6007 -x6006 -x6005 -x6004 -x6003 -x6002 -x6001 -x6000
1789.70/1790.03 v -x5999 -x5998 -x5997 -x5996 -x5995 -x5994 -x5993 -x5992 -x5991 -x5990 -x5989 -x5988 -x5987 -x5986 -x5985 -x5984 -x5983 -x5982
1789.70/1790.03 v -x5981 -x5980 -x5979 -x5978 -x5977 -x5976 -x5975 -x5974 -x5973 -x5971 -x5970 -x5969 -x5968 -x5967 -x5966 -x5965 -x5964
1789.70/1790.03 v -x5963 -x5962 -x5961 -x5960 -x5959 -x5958 -x5957 -x5956 -x5955 -x5954 -x5953 -x5952 -x5951 -x5950 -x5949 -x5948 -x5947 -x5946
1789.70/1790.03 v -x5945 -x5944 -x5943 -x5942 -x5941 -x5940 -x5939 -x5938 -x5937 -x5936 -x5935 -x5934 -x5933 -x5932 -x5931 -x5930 -x5929 -x5928
1789.70/1790.03 v -x5927 -x5926 -x5925 -x5924 -x5923 -x5922 -x5921 -x5920 -x5919 -x5918 -x5917 -x5916 -x5915 -x5914 -x5913 -x5912 -x5911 -x5910
1789.70/1790.03 v -x5909 -x5908 -x5907 -x5906 -x5905 -x5904 -x5903 -x5902 -x5900 -x5899 -x5898 -x5897 -x5896 -x5895 -x5894 -x5893 -x5892 -x5891
1789.70/1790.03 v -x5890 -x5889 -x5888 -x5887 -x5886 -x5885 -x5884 -x5883 -x5882 -x5881 -x5880 -x5879 -x5878 -x5877 -x5876 -x5875 -x5874 -x5873
1789.70/1790.03 v -x5872 -x5871 -x5870 -x5869 -x5868 -x5867 -x5866 -x5865 -x5864 -x5863 -x5862 -x5861 -x5860 -x5859 -x5858 -x5857 -x5856 -x5855
1789.70/1790.03 v -x5854 -x5853 -x5852 -x5851 -x5850 -x5849 -x5848 -x5847 -x5846 -x5845 -x5844 -x5843 -x5842 -x5841 -x5840 -x5839 -x5838
1789.70/1790.03 v -x5837 -x5836 -x5835 -x5834 -x5833 -x5832 -x5831 -x5829 -x5828 -x5827 -x5826 -x5825 -x5824 -x5823 -x5822 -x5821 -x5820 -x5819
1789.70/1790.03 v -x5818 -x5817 -x5816 -x5815 -x5814 -x5813 -x5812 -x5811 -x5740 -x5739 -x5738 -x5737 -x5736 -x5735 -x5734 -x5733 -x5732 -x5731
1789.70/1790.03 v -x5730 -x5729 -x5728 -x5727 -x5726 -x5725 -x5724 -x5723 -x5722 -x5721 -x5720 -x5719 -x5718 -x5717 -x5716 -x5715 -x5714 -x5713
1789.70/1790.03 v -x5712 -x5711 -x5710 -x5709 -x5708 -x5707 -x5706 -x5705 -x5704 -x5703 -x5702 -x5701 -x5700 -x5699 -x5698 -x5697 -x5696 -x5695
1789.70/1790.03 v -x5694 -x5693 -x5692 -x5691 -x5690 -x5688 -x5687 -x5686 -x5685 -x5684 -x5683 -x5682 -x5681 -x5680 -x5679 -x5678 -x5677 -x5676
1789.70/1790.03 v -x5675 -x5674 -x5673 -x5672 -x5671 -x5670 -x5669 -x5668 -x5667 -x5666 -x5665 -x5664 -x5663 -x5662 -x5661 -x5660 -x5659 -x5658
1789.70/1790.03 v -x5657 -x5656 -x5655 -x5654 -x5653 -x5652 -x5651 -x5650 -x5649 -x5648 -x5647 -x5646 -x5645 -x5644 -x5643 -x5642 -x5641
1789.70/1790.03 v -x5640 -x5639 -x5638 -x5637 -x5636 -x5635 -x5634 -x5633 -x5632 -x5631 -x5630 -x5629 -x5628 -x5627 -x5626 -x5625 -x5624 -x5623
1789.70/1790.03 v -x5622 -x5621 -x5620 -x5619 -x5617 -x5616 -x5615 -x5614 -x5613 -x5612 -x5611 -x5610 -x5609 -x5608 -x5607 -x5606 -x5605 -x5604
1789.70/1790.03 v -x5603 -x5602 -x5601 -x5600 -x5599 -x5598 -x5597 -x5596 -x5595 -x5594 -x5593 -x5592 -x5591 -x5590 -x5589 -x5588 -x5587 -x5586
1789.70/1790.03 v -x5585 -x5584 -x5583 -x5582 -x5581 -x5580 -x5579 -x5578 -x5577 -x5576 -x5575 -x5574 -x5573 -x5572 -x5571 -x5570 -x5569 -x5568
1789.70/1790.03 v -x5567 -x5566 -x5565 -x5564 -x5563 -x5562 -x5561 -x5560 -x5559 -x5558 -x5557 -x5556 -x5555 -x5554 -x5553 -x5552 -x5551 -x5550
1789.70/1790.03 v -x5549 -x5548 -x5546 -x5545 -x5544 -x5543 -x5542 -x5541 -x5540 -x5539 -x5538 -x5537 -x5536 -x5535 -x5534 -x5533 -x5532 -x5531
1789.70/1790.03 v -x5530 -x5529 -x5528 -x5527 -x5526 -x5525 -x5524 -x5523 -x5522 -x5521 -x5520 -x5519 -x5518 -x5517 -x5516 -x5515 -x5514
1789.70/1790.03 v -x5513 -x5512 -x5511 -x5510 -x5509 -x5508 -x5507 -x5506 -x5505 -x5504 -x5503 -x5502 -x5501 -x5500 -x5499 -x5498 -x5497 -x5496
1789.70/1790.03 v -x5495 -x5494 -x5493 -x5492 -x5491 -x5490 -x5489 -x5488 -x5487 -x5486 -x5485 -x5484 -x5483 -x5482 -x5481 -x5480 -x5479 -x5478
1789.70/1790.03 v -x5477 -x5475 -x5474 -x5473 -x5472 -x5471 -x5470 -x5469 -x5468 -x5467 -x5466 -x5465 -x5464 -x5463 -x5462 -x5461 -x5460 -x5459
1789.70/1790.03 v -x5458 -x5457 -x5456 -x5455 -x5454 -x5453 -x5452 -x5451 -x5450 -x5449 -x5448 -x5447 -x5446 -x5445 -x5444 -x5443 -x5442 -x5441
1789.70/1790.03 v -x5440 -x5439 -x5438 -x5437 -x5436 -x5435 -x5434 -x5433 x5432 -x5431 -x5430 x5429 -x5428 -x5427 -x5426 -x5425 -x5424 -x5423
1789.70/1790.03 v -x5422 -x5421 -x5420 -x5419 -x5418 -x5417 -x5416 -x5415 -x5414 -x5413 -x5412 -x5411 -x5410 -x5409 -x5408 -x5407 -x5406 -x5404
1789.70/1790.03 v -x5403 x5402 -x5401 -x5400 -x5399 -x5398 -x5397 -x5396 -x5395 -x5394 -x5393 -x5392 -x5391 -x5390 -x5389 -x5388 -x5387 -x5386
1789.70/1790.03 v -x5385 -x5384 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 -x5374 -x5373 -x5372 -x5371 -x5370 -x5369 -x5368
1789.70/1790.03 v -x5367 -x5366 -x5365 -x5364 -x5363 -x5362 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 -x5355 -x5354 -x5353 -x5352 -x5351 -x5350
1789.70/1790.03 v -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5340 -x5339 -x5338 -x5337 -x5336 -x5335 -x5333 -x5332
1789.70/1790.03 v -x5331 -x5330 -x5329 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5318 -x5317 -x5316 -x5315 -x5314
1789.70/1790.03 v -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5307 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 -x5296
1789.70/1790.03 v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5285 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278
1789.70/1790.03 v -x5277 -x5276 -x5275 -x5274 -x5273 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5262 -x5261 -x5260 -x5259
1789.70/1790.03 v -x5258 -x5257 -x5256 -x5255 -x5254 -x5253 -x5252 -x5251 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241
1789.70/1790.03 v -x5240 -x5239 -x5238 -x5237 -x5236 -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5229 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223
1789.70/1790.03 v -x5222 -x5221 -x5220 x5219 -x5218 -x5217 -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5207 -x5206 -x5205
1789.70/1790.03 v -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 -x5197 -x5196 x5195 -x5194 -x5193 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186
1789.70/1790.03 v -x5185 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 -x5177 -x5176 -x5175 -x5174 -x5173 -x5172 -x5171 -x5170 -x5169
1789.70/1790.03 v -x5168 -x5167 -x5166 -x5165 -x5164 -x5163 -x5162 -x5161 -x5160 -x5159 -x5158 -x5157 -x5156 -x5155 -x5154 -x5153 -x5152 -x5151
1789.70/1790.03 v -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5140 -x5139 -x5138 -x5137 -x5136 -x5135 -x5134 -x5133
1789.70/1790.03 v -x5132 -x5131 -x5130 -x5129 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5120 -x5119 -x5118 -x5117 -x5116 -x5115 -x5114
1789.70/1790.03 v -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5107 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 -x5097 -x5096
1789.70/1790.03 v -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5085 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 -x5078
1789.70/1790.03 v -x5077 -x5076 -x5075 -x5074 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5063 -x5062 -x5061 -x5060
1789.70/1790.03 v -x5059 -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5052 -x5051 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042
1789.70/1790.03 v -x5041 -x9940 -x9939 -x9938 -x9937 -x9936 -x9935 -x9934 -x9933 -x9932 -x9931 -x9930 -x9929 -x9928 -x9927 -x9926 -x9925 -x9924
1789.70/1790.03 v -x9923 -x9922 -x9921 -x9920 -x9919 -x9918 -x9917 -x9916 -x9915 -x9914 -x9913 -x9912 -x9911 -x9910 -x9909 -x9908 -x9907 -x9906
1789.70/1790.03 v -x9905 -x9904 -x9903 -x9902 -x9901 -x9900 -x9899 -x9898 -x9897 -x9896 -x9895 -x9894 -x9893 -x9892 -x9891 -x9890 -x9889 -x9888
1789.70/1790.03 v -x9887 -x9886 -x9885 -x9884 -x9883 -x9882 -x9881 -x9880 -x9878 -x9877 -x9876 -x9875 -x9874 -x9873 -x9872 -x9871 -x9870 -x9869
1789.70/1790.03 v -x9868 -x9867 -x9866 -x9865 -x9864 -x9863 -x9862 -x9861 -x9860 -x9859 -x9858 -x9857 -x9856 -x9855 -x9854 -x9853 -x9852 -x9851
1789.70/1790.03 v -x9850 -x9849 -x9848 -x9847 -x9846 -x9845 -x9844 -x9843 -x9842 -x9841 -x9840 -x9839 -x9838 -x9837 -x9836 -x9835 -x9834 -x9833
1789.70/1790.03 v -x9832 -x9831 -x9830 -x9829 -x9828 -x9827 -x9826 -x9825 -x9824 -x9823 -x9822 -x9821 -x9820 -x9819 -x9818 -x9817 -x9816
1789.70/1790.03 v -x9815 -x9814 -x9813 -x9812 -x9811 -x9810 -x9809 -x9807 -x9806 -x9805 -x9804 -x9803 -x9802 -x9801 -x9800 -x9799 -x9798 -x9797
1789.70/1790.03 v -x9796 -x9795 -x9794 -x9793 -x9792 -x9791 -x9790 -x9789 -x9788 -x9787 -x9786 -x9785 -x9784 -x9783 -x9782 -x9781 -x9780 -x9779
1789.70/1790.03 v -x9778 -x9777 -x9776 -x9775 -x9774 -x9773 -x9772 -x9771 -x9770 -x9769 -x9768 -x9767 -x9766 -x9765 -x9764 -x9763 -x9762 -x9761
1789.70/1790.03 v -x9760 -x9759 -x9758 -x9757 -x9756 -x9755 -x9754 -x9753 -x9752 -x9751 -x9750 -x9749 -x9748 -x9747 -x9746 -x9745 -x9744 -x9743
1789.70/1790.03 v -x9742 -x9741 -x9740 -x9739 -x9738 -x9736 -x9735 -x9734 -x9733 -x9732 -x9731 -x9660 -x9659 -x9658 -x9657 -x9656 -x9655 -x9654
1789.70/1790.03 v -x9653 -x9652 -x9651 -x9650 -x9649 -x9648 -x9647 -x9646 -x9645 -x9644 -x9643 -x9642 -x9641 -x9640 -x9639 -x9638 -x9637 -x9636
1789.70/1790.03 v -x9635 -x9634 -x9633 -x9632 -x9631 -x9630 -x9629 -x9628 -x9627 -x9626 -x9625 -x9624 -x9623 -x9622 -x9621 -x9620 -x9619
1789.70/1790.03 v -x9618 -x9617 -x9616 -x9615 -x9614 -x9613 -x9612 -x9611 -x9610 -x9609 -x9608 -x9607 -x9606 -x9605 -x9604 -x9603 -x9602 -x9601
1789.70/1790.03 v -x9600 -x9599 -x9598 -x9597 -x9595 -x9594 -x9593 -x9592 -x9591 -x8890 -x8889 -x8888 -x8887 -x8886 -x8885 -x8884 -x8883 -x8882
1789.70/1790.03 v -x8881 -x8880 -x8879 -x8878 -x8877 -x8876 -x8875 -x8874 -x8873 -x8872 -x8871 -x8870 -x8869 -x8868 -x8867 -x8866 -x8865 -x8864
1789.70/1790.03 v -x8863 -x8862 -x8861 -x8860 -x8859 -x8858 -x8857 -x8856 -x8855 -x8854 -x8853 -x8852 -x8851 -x8850 -x8849 -x8848 -x8847 -x8846
1789.70/1790.03 v -x8845 -x8844 -x8843 -x8842 -x8841 -x8840 -x8839 -x8838 -x8837 -x8836 -x8835 -x8834 -x8833 -x8832 -x8831 -x8830 -x8829 -x8828
1789.70/1790.03 v -x8827 -x8826 -x8824 -x8823 -x8822 -x8821 -x8120 -x8119 -x8118 -x8117 -x8116 -x8115 -x8114 -x8113 -x8112 -x8111 -x8110 -x8109
1789.70/1790.03 v -x8108 -x8107 -x8106 -x8105 -x8104 -x8103 -x8102 -x8101 -x8100 -x8099 -x8098 -x8097 -x8096 -x8095 -x8094 -x8093 -x8092
1789.70/1790.03 v -x8091 -x8090 -x8089 -x8088 -x8087 -x8086 -x8085 -x8084 -x8083 -x8082 -x8081 -x8080 -x8079 -x8078 -x8077 -x8076 -x8075 -x8074
1789.70/1790.03 v -x8073 -x8072 -x8071 -x8070 -x8069 -x8068 -x8067 -x8066 -x8065 -x8064 -x8063 -x8062 -x8061 -x8060 -x8059 -x8058 -x8057 -x8056
1789.70/1790.03 v -x8055 -x8053 -x8052 -x8051 -x7350 -x7349 -x7348 -x7347 -x7346 -x7345 -x7344 -x7343 -x7342 -x7341 -x7340 -x7339 -x7338 -x7337
1789.70/1790.03 v -x7336 -x7335 -x7334 -x7333 -x7332 -x7331 -x7330 -x7329 -x7328 -x7327 -x7326 -x7325 -x7324 -x7323 -x7322 -x7321 -x7320 -x7319
1789.70/1790.03 v -x7318 -x7317 -x7316 -x7315 -x7314 -x7313 -x7312 -x7311 -x7310 -x7309 -x7308 -x7307 -x7306 -x7305 -x7304 -x7303 -x7302 -x7301
1789.70/1790.03 v -x7300 -x7299 -x7298 -x7297 -x7296 -x7295 -x7294 -x7293 -x7292 -x7291 -x7290 -x7289 -x7288 -x7287 -x7286 -x7285 -x7284 -x7282
1789.70/1790.03 v -x7281 -x6580 -x6579 -x6578 -x6577 -x6576 -x6575 -x6574 -x6573 -x6572 -x6571 -x6570 -x6569 -x6568 -x6567 -x6566 -x6565
1789.70/1790.03 v -x6564 -x6563 -x6562 -x6561 -x6560 -x6559 -x6558 -x6557 -x6556 -x6555 -x6554 -x6553 -x6552 -x6551 -x6550 -x6549 -x6548 -x6547
1789.70/1790.03 v -x6546 -x6545 -x6544 -x6543 -x6542 -x6541 -x6540 -x6539 -x6538 -x6537 -x6536 -x6535 -x6534 -x6533 -x6532 -x6531 -x6530 -x6529
1789.70/1790.03 v -x6528 -x6527 -x6526 -x6525 -x6524 -x6523 -x6522 -x6521 -x6520 -x6519 -x6518 -x6517 -x6516 -x6515 -x6514 -x6513 -x6511 -x5810
1789.70/1790.03 v -x5809 -x5808 -x5807 -x5806 -x5805 -x5804 -x5803 -x5802 -x5801 -x5800 -x5799 -x5798 -x5797 -x5796 -x5795 -x5794 -x5793 -x5792
1789.70/1790.03 v -x5791 -x5790 -x5789 -x5788 -x5787 -x5786 -x5785 -x5784 -x5783 -x5782 -x5781 -x5780 -x5779 -x5778 -x5777 -x5776 -x5775 -x5774
1789.70/1790.03 v -x5773 -x5772 -x5771 -x5770 -x5769 -x5768 -x5767 -x5766 -x5765 -x5764 -x5763 -x5762 -x5761 -x5760 -x5759 -x5758 -x5757 -x5756
1789.70/1790.03 v -x5755 -x5754 -x5753 -x5752 -x5751 -x5750 -x5749 -x5748 -x5747 -x5746 -x5745 -x5744 -x5743 -x5742 -x5040 -x5039 -x5038
1789.70/1790.03 v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5029 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020
1789.70/1790.03 v -x5019 -x5018 -x5017 -x5016 -x5015 -x5014 -x5013 x5012 -x5011 -x5010 -x5009 -x5008 -x5007 -x5006 -x5005 -x5004 -x5003 -x5002
1789.70/1790.03 v -x5001 -x5000 -x4999 -x4998 -x4997 -x4996 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 x4985 -x4984
1789.70/1790.03 v -x4983 x4982 -x4981 -x4980 -x4979 -x4978 -x4977 -x4976 -x4975 -x4974 -x4973 -x4972 -x4971 -x4759 -x4758 -x4757 -x4756 -x4755
1789.70/1790.03 v -x4754 -x4753 -x4752 -x4751 -x4750 -x4749 -x4748 -x4747 -x4746 -x4745 -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4738 -x4737
1789.70/1790.03 v -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4727 -x4726 -x4725 -x4724 -x4723 -x4722 -x4721 -x4720 -x4719
1789.70/1790.03 v -x4718 -x4717 -x4716 -x4715 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 x4705 -x4704 -x4703 -x4702 -x4701
1789.70/1790.03 v -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4693 -x4692 -x4691 -x4620 -x4618 -x4617 -x4616 -x4615 -x4614 -x4613 -x4612
1789.70/1790.03 v -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 -x4605 -x4604 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594
1789.70/1790.03 v -x4593 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 -x4586 -x4585 -x4584 -x4583 -x4582 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576
1789.70/1790.03 v -x4575 -x4574 -x4573 -x4572 -x4571 -x4570 -x4569 -x4568 -x4567 -x4566 -x4565 -x4564 -x4563 x4562 -x4561 -x4560 -x4559 -x4558
1789.70/1790.03 v -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4549 -x4547 -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540
1789.70/1790.03 v -x4539 -x4538 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 -x4527 -x4526 -x4525 -x4524 -x4523 -x4522
1789.70/1790.03 v -x4521 -x4520 -x4519 -x4518 -x4517 -x4516 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 -x4507 -x4506 -x4505 -x4504
1789.70/1790.03 v -x4503 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 x4495 -x4494 -x4493 -x4492 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486
1789.70/1790.03 v -x4485 -x4484 -x4483 -x4482 -x4481 -x4480 -x4479 -x4478 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4470 -x4469 -x4468 -x4467
1789.70/1790.03 v -x4466 -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4459 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449
1789.70/1790.03 v -x4448 -x4447 -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4437 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431
1789.70/1790.03 v -x4430 -x4429 -x4428 -x4427 -x4426 -x4425 -x4424 -x4423 x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4415 -x4414 -x4413
1789.70/1790.03 v -x4412 -x4411 -x4410 -x4409 -x4408 -x4407 -x4405 -x4404 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394
1789.70/1790.03 v -x4393 -x4392 -x4391 -x4390 -x4389 -x4388 -x4387 -x4386 -x4385 -x4384 -x4383 -x4382 -x4381 -x4380 -x4379 -x4378 -x4377
1789.70/1790.03 v -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4370 -x4369 -x4368 -x4367 -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4359
1789.70/1790.03 v -x4358 -x4357 -x4356 x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4348 -x4347 -x4346 -x4345 -x4344 -x4343 -x4342 -x4341
1789.70/1790.03 v -x4340 -x4339 -x4338 -x4337 -x4336 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 -x4327 -x4326 -x4325 -x4324 -x4323 -x4322
1789.70/1790.03 v -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4315 -x4314 -x4313 x4312 -x4311 -x4310 -x4309 -x4308 -x4307 -x4306 -x4305 -x4304
1789.70/1790.03 v -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4293 -x4292 -x4291 -x4290 -x4289 -x4288 -x4287 -x4286
1789.70/1790.03 v -x4285 -x4284 -x4283 -x4282 -x4281 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4270 -x4269 -x4268
1789.70/1790.03 v -x4267 -x4266 -x4265 -x4263 -x4262 -x4261 -x4260 -x4259 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249
1789.70/1790.03 v -x4248 -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4237 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231
1789.70/1790.03 v -x4230 -x4229 -x4228 -x4227 -x4226 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 x4215 -x4214 -x4213
1789.70/1790.03 v -x4212 -x4211 -x4210 -x4209 -x4208 -x4207 -x4206 -x4205 -x4204 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196
1789.70/1790.03 v -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4182 -x4181 -x4180 -x4179 -x4178 -x4177
1789.70/1790.03 v -x4176 -x4175 -x4174 -x4173 -x4172 -x4171 -x4170 -x4169 -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4159
1789.70/1790.03 v -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 -x4149 -x4148 -x4147 -x4146 -x4145 -x4144 -x4143 x4142 -x4141
1789.70/1790.03 v -x4140 -x4139 -x4138 -x4137 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 -x4129 -x4128 -x4127 -x4126 -x4125 -x4124 -x4123
1789.70/1790.03 v -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4115 -x4114 -x4113 -x4112 -x4111 -x4110 -x4109 -x4108 -x4107 -x4106 -x4105 -x4104
1789.70/1790.03 v -x4103 x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4093 -x4092 -x4091 -x4090 -x4089 -x4088 -x4087 -x4086
1789.70/1790.03 v -x4085 -x4084 -x4083 -x4082 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4071 -x4070 -x4069 -x4068
1789.70/1790.03 v -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4060 -x4059 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4050 -x4049
1789.70/1790.03 v -x4048 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4037 -x4036 -x4035 -x4034 -x4033 x4032 -x4031
1789.70/1790.03 v -x4030 -x4029 -x4028 -x4027 -x4026 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4015 -x4014
1789.70/1790.03 v -x4013 -x4012 -x4011 -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4004 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996
1789.70/1790.03 v -x3995 -x3994 -x3993 -x3992 -x3991 -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3982 -x3981 -x3979 -x3978 -x3977
1789.70/1790.03 v -x3976 -x3975 -x3974 -x3973 -x3972 -x3971 -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3960 -x3959
1789.70/1790.03 v -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 -x3951 -x3950 -x3949 -x3948 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941
1789.70/1790.03 v -x3940 -x3939 -x3938 -x3937 -x3936 x3935 -x3934 -x3933 -x3932 -x3931 -x3930 -x3929 -x3928 -x3927 -x3926 -x3925 -x3924 -x3923
1789.70/1790.03 v -x3922 -x3921 -x3850 -x3849 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3838 -x3837 -x3836 -x3835 -x3834
1789.70/1790.03 v -x3833 -x3832 -x3831 -x3830 -x3829 -x3828 -x3827 -x3826 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816
1789.70/1790.03 v -x3815 -x3814 -x3813 -x3812 -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3804 -x3803 -x3802 -x3801 -x3800 -x3799
1789.70/1790.03 v -x3798 -x3797 -x3796 -x3795 -x3794 -x3793 x3792 -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3782 -x3781
1789.70/1790.03 v -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 -x3772 -x3771 -x3770 -x3769 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762
1789.70/1790.03 v -x3761 -x3760 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 -x3753 -x3752 -x3751 -x3750 -x3749 -x3748 -x3747 -x3746 -x3745 -x3744
1789.70/1790.03 v -x3743 -x3742 -x3741 -x3740 -x3739 -x3738 -x3737 -x3736 -x3735 -x3734 -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3727 -x3726
1789.70/1790.03 v -x3725 -x3724 -x3723 x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3715 -x3714 -x3713 -x3712 -x3711 -x3710 -x3709 -x3708
1789.70/1790.03 v -x3707 -x3706 -x3705 -x3704 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3696 -x3695 -x3694 -x3693 -x3692 -x3691 -x3690 -x3689
1789.70/1790.03 v -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 x3682 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 -x3673 -x3672 -x3671
1789.70/1790.03 v -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3660 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 -x3653
1789.70/1790.03 v -x3652 -x3651 -x3650 -x3649 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3638 -x3637 -x3636 -x3635
1789.70/1790.03 v -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 -x3628 -x3627 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617
1789.70/1790.03 v -x3616 -x3615 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 -x3607 -x3606 -x3605 -x3604 -x3603 -x3602 -x3601 -x3600 -x3599
1789.70/1790.03 v -x3598 -x3597 -x3596 -x3595 -x3594 -x3593 -x3592 -x3591 -x3590 -x3589 -x3588 -x3587 -x3586 -x3585 -x3584 -x3583 x3582 -x3581
1789.70/1790.03 v -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3571 -x3570 -x3569 -x3568 -x3567 -x3566 -x3565 -x3564 -x3563
1789.70/1790.03 v -x3562 -x3561 -x3560 -x3559 -x3558 -x3557 -x3556 -x3554 -x3553 -x3552 -x3551 -x3550 -x3549 -x3548 -x3547 -x3546 -x3545 -x3544
1789.70/1790.03 v -x3543 -x3542 -x3541 -x3540 -x3539 -x3538 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 -x3528 -x3527 -x3526
1789.70/1790.03 v -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3516 x3515 -x3514 -x3513 -x3512 -x3511 -x3510 -x3509 -x3508
1789.70/1790.03 v -x3507 -x3506 -x3505 -x3504 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3493 -x3492 -x3491 -x3490
1789.70/1790.03 v -x3489 -x3488 -x3487 -x3486 -x3485 -x3483 -x3482 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3471
1789.70/1790.03 v -x3470 -x3469 -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3460 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454
1789.70/1790.03 v -x3453 -x3452 -x3451 -x3450 -x3449 -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 x3442 -x3441 -x3440 -x3439 -x3438 -x3437 -x3436
1789.70/1790.03 v -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 -x3429 -x3428 -x3427 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418
1789.70/1790.03 v -x3417 -x3416 -x3415 -x3414 -x3412 -x3411 -x3410 -x3409 -x3408 -x3407 -x3406 -x3405 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399
1789.70/1790.03 v -x3398 -x3397 -x3396 -x3395 -x3394 -x3393 -x3392 -x3391 -x3390 -x3389 -x3388 -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3381
1789.70/1790.03 v -x3380 -x3379 -x3378 -x3377 -x3376 x3375 -x3374 -x3373 -x3372 -x3371 -x3370 -x3369 -x3368 -x3367 -x3366 -x3365 -x3364 -x3363
1789.70/1790.03 v -x3362 -x3361 -x3360 -x3359 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347 -x3346 -x3345
1789.70/1790.03 v -x3344 -x3343 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 -x3329 -x3328 -x3327 -x3326
1789.70/1790.03 v -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 -x3311 -x3310 -x3309 -x3308
1789.70/1790.03 v -x3307 -x3306 -x3305 -x3304 -x3303 x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3293 -x3292 -x3291 -x3290
1789.70/1790.03 v -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273
1789.70/1790.03 v -x3272 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 x3262 -x3261 -x3260 -x3259 -x3258 -x3257 -x3256 -x3255 -x3254
1789.70/1790.03 v -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3237 -x3236
1789.70/1790.03 v -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218
1789.70/1790.03 v -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3204 -x3203 -x3202 -x3201 -x3199
1789.70/1790.03 v -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 -x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3182 -x3181
1789.70/1790.03 v -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163
1789.70/1790.03 v x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075
1789.70/1790.03 v -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3058 -x3057 -x3056
1789.70/1790.03 v -x3055 -x3054 -x3053 -x3052 -x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039
1789.70/1790.03 v -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024 -x3023 x3022 -x3021
1789.70/1790.03 v -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 -x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3004 -x3003
1789.70/1790.03 v -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2987 -x2986 -x2985 -x2984
1789.70/1790.03 v -x2983 x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970 -x2969 -x2968 -x2967 -x2966
1789.70/1790.03 v -x2965 -x2964 -x2963 -x2962 -x2961 -x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952 -x2951 -x2950 -x2949 -x2948
1789.70/1790.03 v -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934 -x2933 -x2932 -x2931 -x2930
1789.70/1790.03 v -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2916 -x2915 -x2914 -x2913 x2912 -x2911
1789.70/1790.03 v -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893
1789.70/1790.03 v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875
1789.70/1790.03 v -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 -x2859 -x2858
1789.70/1790.03 v -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839
1789.70/1790.03 v -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 -x2821
1789.70/1790.03 v -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803
1789.70/1790.03 v -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785
1789.70/1790.03 v -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766
1789.70/1790.03 v -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748
1789.70/1790.03 v -x2747 -x2746 x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730
1789.70/1790.03 v -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712
1789.70/1790.03 v -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694
1789.70/1790.03 v -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676
1789.70/1790.03 v x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658
1789.70/1790.03 v -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640
1789.70/1790.03 v -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621
1789.70/1790.03 v -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 x2605 -x2604 -x2603
1789.70/1790.03 v -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 x2585
1789.70/1790.03 v -x2584 -x2583 x2582 x2581 -x2580 -x2579 -x2578 x2577 -x2576 -x2575 -x2574 -x2573 -x2572 x2571 -x2570 -x2569 x2568 x2567 -x2566
1789.70/1790.03 v -x2565 -x2564 -x2563 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 -x2551 x2550 -x2549 x2548 x2547
1789.70/1790.03 v x2546 x2545 -x2544 -x2543 x2542 -x2541 x2540 x2539 -x2538 x2537 x2536 -x2535 -x2534 -x2533 -x2532 x2531 -x2530 x2529 -x2528
1789.70/1790.03 v -x2527 -x2526 x2525 -x2524 x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510
1789.70/1790.03 v -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492
1789.70/1790.03 v -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473
1789.70/1790.03 v -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455
1789.70/1790.03 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437
1789.70/1790.03 v -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2419 -x2418
1789.70/1790.03 v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400
1789.70/1790.03 v -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382
1789.70/1790.03 v -x2381 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
1789.70/1790.03 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2278 -x2277 -x2276
1789.70/1790.03 v -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258
1789.70/1790.03 v -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1789.70/1790.03 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222
1789.70/1790.03 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2207 -x2206 -x2205 -x2204 -x2203
1789.70/1790.03 v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 x2185
1789.70/1790.03 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167
1789.70/1790.03 v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149
1789.70/1790.03 v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131
1789.70/1790.03 v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113
1789.70/1790.03 v x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095
1789.70/1790.03 v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077
1789.70/1790.03 v -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058
1789.70/1790.03 v -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040
1789.70/1790.03 v -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
1789.70/1790.03 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
1789.70/1790.03 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985
1789.70/1790.03 v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967
1789.70/1790.03 v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950
1789.70/1790.03 v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932
1789.70/1790.03 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913
1789.70/1790.03 v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895
1789.70/1790.03 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877
1789.70/1790.03 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
1789.70/1790.03 v -x1858 -x1857 -x1856 -x1855 -x1854 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840
1789.70/1790.03 v -x1839 -x1838 -x1837 -x1836 x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822
1789.70/1790.03 v -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804
1789.70/1790.03 v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786
1789.70/1790.03 v -x1785 -x1784 -x1783 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768
1789.70/1790.03 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750
1789.70/1790.03 v -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732
1789.70/1790.03 v -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714
1789.70/1790.03 v -x1713 -x1712 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 x1695
1789.70/1790.03 v -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677
1789.70/1790.03 v -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659
1789.70/1790.03 v -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641
1789.70/1790.03 v -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622
1789.70/1790.03 v -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535
1789.70/1790.03 v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517
1789.70/1790.03 v -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1498
1789.70/1790.03 v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 x1482 -x1481 -x1480
1789.70/1790.03 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1789.70/1790.03 v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
1789.70/1790.03 v -x1443 x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1427 -x1426 -x1425
1789.70/1790.03 v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407
1789.70/1790.03 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
1789.70/1790.03 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 x1372 -x1371
1789.70/1790.03 v -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1356 -x1355 -x1354 -x1353
1789.70/1790.03 v -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335
1789.70/1790.03 v -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317
1789.70/1790.03 v -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299
1789.70/1790.03 v -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280
1789.70/1790.03 v -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262
1789.70/1790.03 v -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244
1789.70/1790.03 v -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226
1789.70/1790.03 v -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207
1789.70/1790.03 v -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
1789.70/1790.03 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1789.70/1790.03 v -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1789.70/1790.03 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135
1789.70/1790.03 v -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117
1789.70/1790.03 v -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1789.70/1790.03 v -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081
1789.70/1790.03 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 x1062
1789.70/1790.03 v -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044
1789.70/1790.03 v -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1789.70/1790.03 v -x1026 -x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009
1789.70/1790.03 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988
1789.70/1790.03 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
1789.70/1790.03 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946
1789.70/1790.03 v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x930 -x929 -x928 -x927 -x926 x925 -x924
1789.70/1790.03 v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904
1789.70/1790.03 v -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1789.70/1790.03 v x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1789.70/1790.03 v -x861 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x770
1789.70/1790.03 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1789.70/1790.03 v -x748 -x747 -x746 -x745 -x744 -x743 x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1789.70/1790.03 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1789.70/1790.03 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1789.70/1790.03 v -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1789.70/1790.03 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x647 -x646 -x645 -x644 -x643
1789.70/1790.03 v x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1789.70/1790.03 v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601
1789.70/1790.03 v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1789.70/1790.03 v -x579 -x578 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558
1789.70/1790.03 v -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537
1789.70/1790.03 v -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516
1789.70/1790.03 v -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
1789.70/1790.03 v -x493 -x492 -x491 x490 -x489 x488 -x487 x486 -x485 x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 x475 -x474 x473 -x472
1789.70/1790.03 v -x471 -x470 -x469 -x468 -x467 -x466 x465 x464 x463 -x462 x461 -x460 -x459 x458 -x457 x456 x455 x454 x453 -x452 x451 -x450
1789.70/1790.03 v -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428
1789.70/1790.03 v x427 -x426 -x425 x424 -x423 x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
1789.70/1790.03 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1789.70/1790.03 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1789.70/1790.03 v -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
1789.70/1790.03 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
1789.70/1790.03 v -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301
1789.70/1790.03 v -x300 -x299 -x298 -x297 -x296 -x295 -x294 x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279
1789.70/1790.03 v -x278 x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 x269 x268 -x267 x266 -x265 x264 -x263 x262 -x261 x260 x259 -x258 -x257
1789.70/1790.03 v x256 -x255 -x254 -x253 -x252 -x251 x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 x239 -x238 -x237 -x236 -x235
1789.70/1790.03 v x234 x233 -x232 -x231 -x230 -x229 x228 -x227 -x226 -x225 x224 x223 -x221 x220 -x219 x218 -x217 x216 -x215 -x214 -x213 -x212
1789.70/1790.03 v -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191
1789.70/1790.03 v -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170
1789.70/1790.03 v -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x150 -x149 -x148
1789.70/1790.03 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1789.70/1790.03 v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107
1789.70/1790.03 v -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83
1789.70/1790.03 v x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4963 -x4962 -x4961
1789.70/1790.03 v -x4960 -x4959 -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4952 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943
1789.70/1790.03 v x4942 -x4941 -x4940 -x4939 -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4929 -x4928 -x4927 -x4926 -x4925
1789.70/1790.03 v -x4924 -x4923 -x4922 -x4921 -x4920 -x4919 -x4918 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4908 -x4907 -x4906
1789.70/1790.03 v -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 -x4899 -x4898 -x4897 -x4896 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888
1789.70/1790.03 v -x4887 -x4886 -x4885 -x4884 -x4883 -x4882 -x4881 -x4880 -x4879 -x4878 -x4877 -x4876 -x4875 -x4874 -x4873 -x4872 -x4871 -x4870
1789.70/1790.03 v -x4869 -x4868 -x4867 -x4866 -x4865 -x4864 -x4863 -x4862 -x4861 -x4860 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852
1789.70/1790.03 v -x4851 -x4850 -x4849 -x4848 -x4847 -x4846 -x4845 -x4844 -x4843 x4842 -x4841 -x4840 -x4839 -x4837 -x4836 -x4835 -x4834 -x4833
1789.70/1790.03 v -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4826 -x4825 -x4824 -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816
1789.70/1790.03 v -x4815 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 -x4804 -x4803 -x4802 -x4801 -x4800 -x4799 -x4798
1789.70/1790.03 v -x4797 -x4796 -x4795 -x4794 -x4793 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 -x4784 -x4783 -x4782 -x4781 -x4780
1789.70/1790.03 v -x4779 -x4778 -x4777 -x4776 x4775 -x4774 -x4773 -x4772 -x4771 -x4770 -x4769 -x4768 -x4766 -x4765 -x4764 -x4763 -x4762 -x4761
1789.70/1790.03 v -x4690 -x4689 -x4688 -x4687 -x4686 -x4685 -x4684 -x4683 -x4682 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673
1789.70/1790.03 v -x4672 -x4671 -x4670 -x4669 -x4668 -x4667 -x4666 -x4665 -x4664 -x4663 -x4662 -x4661 -x4660 -x4659 -x4658 -x4657 -x4656 -x4655
1789.70/1790.03 v -x4654 -x4653 -x4652 -x4651 -x4650 -x4649 -x4648 -x4647 -x4646 -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4638 -x4637
1789.70/1790.03 v -x4636 -x4635 -x4634 -x4633 x4632 -x4631 -x4630 -x4629 -x4628 -x4627 -x4625 -x4624 -x4623 -x4622 -x4621 -x3920 -x3919 -x3918
1789.70/1790.03 v -x3917 -x3916 -x3915 -x3914 -x3913 -x3912 -x3911 -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3904 -x3903 -x3902 -x3901 -x3900
1789.70/1790.03 v -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3893 x3892 -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3882
1789.70/1790.03 v -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 -x3872 -x3871 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865
1789.70/1790.03 v -x3864 -x3863 -x3862 -x3861 -x3860 -x3859 -x3858 -x3857 -x3856 -x3854 -x3853 -x3852 -x3851 -x3150 -x3149 -x3148 -x3147 -x3146
1789.70/1790.03 v -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 -x3130 -x3129 -x3128
1789.70/1790.03 v -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 -x3114 -x3113 -x3112 -x3111 -x3110
1789.70/1790.03 v -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 x3095 -x3094 -x3093 -x3092
1789.70/1790.03 v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3083 -x3082 -x3081 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373
1789.70/1790.03 v -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355
1789.70/1790.03 v -x2354 -x2353 x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337
1789.70/1790.03 v -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
1789.70/1790.03 v -x2318 -x2317 -x2316 -x2315 -x2314 -x2312 -x2311 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601
1789.70/1790.03 v -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583
1789.70/1790.03 v -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565
1789.70/1790.03 v -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547
1789.70/1790.03 v -x1546 -x1545 -x1544 -x1543 -x1541 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826
1789.70/1790.03 v -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805
1789.70/1790.03 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 x785 -x784
1789.70/1790.03 v -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772
1789.70/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.70/1790.03 c Solving Time : 1789.88
1789.70/1790.03 c Original Problem :
1789.70/1790.03 c Problem name : HOME/instance-3744329-1338804920.opb
1789.70/1790.03 c Variables : 9940 (9940 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.03 c Constraints : 14846 initial, 14846 maximal
1789.70/1790.03 c Presolved Problem :
1789.70/1790.03 c Problem name : t_HOME/instance-3744329-1338804920.opb
1789.70/1790.03 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.70/1790.03 c Constraints : 5184 initial, 6754 maximal
1789.70/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.70/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c probing : 0.05 0 0 0 0 0 0 0 0
1789.70/1790.03 c knapsack : 0.02 0 0 0 0 0 0 0 0
1789.70/1790.03 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.70/1790.03 c linear : 0.13 140 4830 0 140 0 9662 2415 2415
1789.70/1790.03 c logicor : 0.02 0 0 0 0 0 0 0 0
1789.70/1790.03 c root node : - 1945 - - 1945 - - - -
1789.70/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.70/1790.03 c integral : 0 0 0 2378 0 8 577 0 0 4160
1789.70/1790.03 c knapsack : 2625 4 31174 14 2 32 42494 131 0 0
1789.70/1790.03 c setppc : 71 4 25503 0 2 2 22791 0 0 0
1789.70/1790.03 c linear : 3+ 5 31141 14 0 26 9150 0 0 0
1789.70/1790.03 c logicor : 2485+ 4 6742 14 2 12 310179 0 0 0
1789.70/1790.03 c countsols : 0 0 0 14 2 0 0 0 0 0
1789.70/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.70/1790.03 c integral : 358.69 0.00 0.00 358.69 0.00
1789.70/1790.03 c knapsack : 5.89 0.08 5.81 0.00 0.00
1789.70/1790.03 c setppc : 1.50 0.00 1.50 0.00 0.00
1789.70/1790.03 c linear : 42.15 38.21 3.94 0.00 0.00
1789.70/1790.03 c logicor : 0.84 0.00 0.83 0.00 0.00
1789.70/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.70/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.70/1790.03 c vbounds : 0.03 2 0 0
1789.70/1790.03 c rootredcost : 0.03 17 0 1933
1789.70/1790.03 c pseudoobj : 3.16 31018 3 5
1789.70/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.70/1790.03 c propagation : 0.01 75 75 151 127.9 2 34.5 -
1789.70/1790.03 c infeasible LP : 0.09 130 130 277 61.6 0 0.0 0
1789.70/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.70/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.70/1790.03 c applied globally : - - - 373 54.4 - - -
1789.70/1790.03 c applied locally : - - - 1 2141.0 - - -
1789.70/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.70/1790.03 c cut pool : 0.00 3 - - 7 - (maximal pool size: 76)
1789.70/1790.03 c redcost : 0.84 4090 0 83049 0 0
1789.70/1790.03 c impliedbounds : 0.00 4 0 0 0 0
1789.70/1790.03 c intobj : 0.00 0 0 0 0 0
1789.70/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.70/1790.03 c gomory : 0.70 4 0 0 0 0
1789.70/1790.03 c strongcg : 0.68 4 0 0 0 0
1789.70/1790.03 c cmir : 0.13 4 0 0 0 0
1789.70/1790.03 c flowcover : 0.31 4 0 0 115 0
1789.70/1790.03 c clique : 0.01 4 0 0 0 0
1789.70/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.70/1790.03 c mcf : 0.00 1 0 0 0 0
1789.70/1790.03 c rapidlearning : 4.12 1 0 0 0 1570
1789.70/1790.03 c Pricers : Time Calls Vars
1789.70/1790.03 c problem variables: 0.00 0 0
1789.70/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.70/1790.03 c relpscost : 358.68 2364 8 577 0 0 4160
1789.70/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.70/1790.03 c inference : 0.00 2 0 0 0 0 4
1789.70/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.70/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.70/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.70/1790.03 c random : 0.00 0 0 0 0 0 0
1789.70/1790.03 c Primal Heuristics : Time Calls Found
1789.70/1790.03 c LP solutions : 0.00 - 14
1789.70/1790.03 c pseudo solutions : 0.00 - 0
1789.70/1790.03 c oneopt : 0.03 18 0
1789.70/1790.03 c guideddiving : 70.79 13 0
1789.70/1790.03 c crossover : 0.30 5 0
1789.70/1790.03 c pscostdiving : 145.19 23 2
1789.70/1790.03 c veclendiving : 207.26 23 1
1789.70/1790.03 c objpscostdiving : 18.85 12 0
1789.70/1790.03 c trivial : 0.01 2 0
1789.70/1790.03 c simplerounding : 0.01 0 0
1789.70/1790.03 c zirounding : 0.14 1000 0
1789.70/1790.03 c rounding : 0.42 688 0
1789.70/1790.03 c shifting : 3.44 192 0
1789.70/1790.03 c intshifting : 0.00 0 0
1789.70/1790.03 c twoopt : 0.00 0 0
1789.70/1790.03 c fixandinfer : 0.00 0 0
1789.70/1790.03 c feaspump : 10.16 1 0
1789.70/1790.03 c coefdiving : 77.77 12 0
1789.70/1790.03 c fracdiving : 73.50 12 0
1789.70/1790.03 c intdiving : 0.00 0 0
1789.70/1790.03 c actconsdiving : 0.00 0 0
1789.70/1790.03 c rootsoldiving : 32.98 2 0
1789.70/1790.03 c linesearchdiving : 65.30 14 0
1789.70/1790.03 c octane : 0.00 0 0
1789.70/1790.03 c rens : 0.15 1 0
1789.70/1790.03 c rins : 0.00 0 0
1789.70/1790.03 c localbranching : 0.00 0 0
1789.70/1790.03 c mutation : 0.00 0 0
1789.70/1790.03 c dins : 0.00 0 0
1789.70/1790.03 c undercover : 0.00 0 0
1789.70/1790.03 c nlp : 0.00 0 0
1789.70/1790.03 c trysol : 0.01 0 0
1789.70/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.70/1790.03 c primal LP : 0.00 0 0 0.00 -
1789.70/1790.03 c dual LP : 666.46 3545 1160752 327.43 1741.67
1789.70/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.70/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.70/1790.03 c diving/probing LP: 670.99 21686 1119920 51.64 1669.06
1789.70/1790.03 c strong branching : 358.34 2941 606591 206.25 1692.79
1789.70/1790.03 c (at root node) : - 9 6438 715.33 -
1789.70/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.70/1790.03 c B&B Tree :
1789.70/1790.03 c number of runs : 1
1789.70/1790.03 c nodes : 3130
1789.70/1790.03 c nodes (total) : 3130
1789.70/1790.03 c nodes left : 983
1789.70/1790.03 c max depth : 62
1789.70/1790.03 c max depth (total): 62
1789.70/1790.03 c backtracks : 337 (10.8%)
1789.70/1790.03 c delayed cutoffs : 1
1789.70/1790.03 c repropagations : 333 (2619 domain reductions, 1 cutoffs)
1789.70/1790.03 c avg switch length: 4.69
1789.70/1790.03 c switching time : 2.40
1789.70/1790.03 c Solution :
1789.70/1790.03 c Solutions found : 18 (18 improvements)
1789.70/1790.03 c First Solution : +2.17939501000000e+08 (in run 1, after 1 nodes, 26.76 seconds, depth 0, found by <trysol>)
1789.70/1790.03 c Primal Bound : +5.08371700000000e+06 (in run 1, after 1683 nodes, 1289.62 seconds, depth 26, found by <relaxation>)
1789.70/1790.03 c Dual Bound : +2.18997566338839e+06
1789.70/1790.03 c Gap : 132.14 %
1789.70/1790.03 c Root Dual Bound : +1.73640385556050e+06
1789.70/1790.03 c Root Iterations : 17320
1789.70/1790.07 c Time complete: 1789.78.
OK 5083717
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3744329-1338804920/watcher-3744329-1338804920 -o /tmp/evaluation-result-3744329-1338804920/solver-3744329-1338804920 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744329-1338804920.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.05 2.00 3/178 29886 /proc/meminfo: memFree=25155248/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=11812 CPUtime=0 cores=0,2,4,6 /proc/29886/stat : 29886 (runsolver) D 29884 29886 27119 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 346616762 12095488 51 33554432000 4194304 5436572 140734487092560 140734487088856 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0 /proc/29886/statm: 2953 51 31 304 0 2645 0 [startup+0.03898 s] /proc/loadavg: 2.02 2.05 2.00 3/178 29886 /proc/meminfo: memFree=25155248/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=18640 CPUtime=0.02 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 3938 0 0 0 2 0 0 0 20 0 1 0 346616762 19087360 3878 33554432000 4194304 8395647 140733649586480 140734487088744 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 4660 3878 394 1026 0 3630 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18640 [startup+0.100282 s] /proc/loadavg: 2.02 2.05 2.00 3/178 29886 /proc/meminfo: memFree=25155248/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=22552 CPUtime=0.08 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 4898 0 0 0 8 0 0 0 20 0 1 0 346616762 23093248 4838 33554432000 4194304 8395647 140733649586480 140733649451688 7430272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 5638 4838 394 1026 0 4608 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22552 [startup+0.300374 s] /proc/loadavg: 2.02 2.05 2.00 3/178 29886 /proc/meminfo: memFree=25155248/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=54332 CPUtime=0.28 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 12816 0 0 0 27 1 0 0 20 0 1 0 346616762 55635968 12402 33554432000 4194304 8395647 140733649586480 140733649451688 4925674 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 13583 12403 482 1026 0 12553 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 54332 [startup+0.700201 s] /proc/loadavg: 2.02 2.05 2.00 3/178 29886 /proc/meminfo: memFree=25155248/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=72588 CPUtime=0.68 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 17997 0 0 0 66 2 0 0 20 0 1 0 346616762 74330112 16977 33554432000 4194304 8395647 140733649586480 140733649451688 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 18147 16977 583 1026 0 17117 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 72588 [startup+1.50022 s] /proc/loadavg: 2.02 2.05 2.00 3/179 29887 /proc/meminfo: memFree=25088388/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=73848 CPUtime=1.49 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 18373 0 0 0 146 3 0 0 20 0 1 0 346616762 75620352 17344 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 18462 17344 583 1026 0 17432 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 73848 [startup+3.10023 s] /proc/loadavg: 2.02 2.05 2.00 3/179 29887 /proc/meminfo: memFree=25086528/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=74964 CPUtime=3.08 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 18702 0 0 0 305 3 0 0 20 0 1 0 346616762 76763136 17673 33554432000 4194304 8395647 140733649586480 140733649581000 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 18741 17673 589 1026 0 17711 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 74964 [startup+6.30023 s] /proc/loadavg: 2.02 2.05 2.00 3/179 29887 /proc/meminfo: memFree=25086140/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=74964 CPUtime=6.29 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 18732 0 0 0 625 4 0 0 20 0 1 0 346616762 76763136 17703 33554432000 4194304 8395647 140733649586480 140733649581048 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 18741 17703 589 1026 0 17711 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 74964 [startup+12.7002 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29887 /proc/meminfo: memFree=25530320/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=74964 CPUtime=12.68 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 18745 0 0 0 1264 4 0 0 20 0 1 0 346616762 76763136 17716 33554432000 4194304 8395647 140733649586480 140733649581128 6013880 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 18741 17716 598 1026 0 17711 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 74964 [startup+25.5002 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28662720/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=123668 CPUtime=25.48 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 30290 0 0 0 2539 9 0 0 20 0 1 0 346616762 126636032 29280 33554432000 4194304 8395647 140733649586480 140733649580968 4245953 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 30917 29280 631 1026 0 29887 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 123668 [startup+51.1002 s] /proc/loadavg: 2.01 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28586748/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=51.07 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34025 0 0 0 5095 12 0 0 20 0 1 0 346616762 140881920 33425 33554432000 4194304 8395647 140733649586480 140733649581096 4904030 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33425 640 1026 0 33365 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 137580 [startup+102.307 s] /proc/loadavg: 2.00 2.03 2.00 3/179 29925 /proc/meminfo: memFree=28583260/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=102.26 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 10203 23 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649581784 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 137580 [startup+162.3 s] /proc/loadavg: 2.03 2.03 2.00 3/179 29925 /proc/meminfo: memFree=28582676/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=162.25 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 16184 41 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649581720 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 137580 [startup+222.3 s] /proc/loadavg: 2.07 2.04 2.00 3/179 29925 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=222.23 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 22164 59 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649581752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 137580 [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.00 3/180 29929 /proc/meminfo: memFree=28582196/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=282.23 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 28147 76 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 137580 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 29929 /proc/meminfo: memFree=28582336/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=342.22 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 34132 90 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649581720 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 137580 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 29929 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=402.21 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34227 0 0 0 40117 104 0 0 20 0 1 0 346616762 140881920 33888 33554432000 4194304 8395647 140733649586480 140733649582136 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33888 643 1026 0 33365 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 137580 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29929 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=462.2 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 46100 120 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581752 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 137580 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 29929 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=522.19 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 52085 134 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 137580 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29930 /proc/meminfo: memFree=28582592/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=582.18 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 58071 147 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582152 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 137580 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1062.11 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 105942 269 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581352 6723324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1062.11 Current children cumulated vsize (KiB) 137580 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29934 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1122.1 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 111923 287 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581944 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 137580 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1182.1 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 117909 301 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581720 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 137580 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1242.09 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 123894 315 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582120 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 137580 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1302.08 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 129876 332 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582040 6721248 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 137580 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582344/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1362.06 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 135858 348 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581688 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1362.06 Current children cumulated vsize (KiB) 137580 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29935 /proc/meminfo: memFree=28582468/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1422.06 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 141841 365 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582200 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 137580 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29938 /proc/meminfo: memFree=28582336/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1482.05 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 147826 379 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582024 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 137580 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29939 /proc/meminfo: memFree=28582716/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1542.04 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 153811 393 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581336 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 137580 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 29939 /proc/meminfo: memFree=28582964/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1602.03 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 159794 409 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581432 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 137580 [startup+1662.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 29939 /proc/meminfo: memFree=28582840/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1662.02 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 165777 425 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582088 6594306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 137580 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 29939 /proc/meminfo: memFree=28582096/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1722.01 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 171760 441 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582152 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 137580 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29939 /proc/meminfo: memFree=28581108/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1782.01 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 177743 458 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582200 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1782.01 Current children cumulated vsize (KiB) 137580 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29939 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1785.2 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178062 458 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1785.2 Current children cumulated vsize (KiB) 137580 [startup+1787.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29939 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1786.81 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178222 459 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581352 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1786.81 Current children cumulated vsize (KiB) 137580 [startup+1788.7 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29939 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1788.4 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178381 459 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649582040 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1788.4 Current children cumulated vsize (KiB) 137580 [startup+1789.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 29939 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1789.2 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178461 459 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1789.2 Current children cumulated vsize (KiB) 137580 [startup+1789.9 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29940 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1789.6 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178501 459 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (KiB) 137580 [startup+1790 s] /proc/loadavg: 2.00 2.00 2.00 3/178 29940 /proc/meminfo: memFree=28580928/32873844 swapFree=7620/7620 [pid=29886] ppid=29884 vsize=137580 CPUtime=1789.7 cores=0,2,4,6 /proc/29886/stat : 29886 (pbscip.linux.x8) R 29884 29886 27119 0 -1 4202496 34228 0 0 0 178511 459 0 0 20 0 1 0 346616762 140881920 33889 33554432000 4194304 8395647 140733649586480 140733649581608 7428202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/29886/statm: 34395 33889 644 1026 0 33365 0 Current children cumulated CPU time (s) 1789.7 Current children cumulated vsize (KiB) 137580 Child status: 0 Real time (s): 1790.08 CPU time (s): 1789.79 CPU user time (s): 1785.19 CPU system time (s): 4.6023 CPU usage (%): 99.9839 Max. virtual memory (cumulated for all children) (KiB): 137580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.19 system time used= 4.6023 maximum resident set size= 135564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34233 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= 24 involuntary context switches= 1966 runsolver used 2.71859 second user time and 8.90465 second system time The end
Begin job on node135 at 2012-06-04 12:15:20 IDJOB=3744329 IDBENCH=92727 IDSOLVER=2326 FILE ID=node135/3744329-1338804920 RUNJOBID= node135-1338801333-29690 PBS_JOBID= 14636817 Free space on /tmp= 70944 MiB SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_8.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-3744329-1338804920/watcher-3744329-1338804920 -o /tmp/evaluation-result-3744329-1338804920/solver-3744329-1338804920 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744329-1338804920.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c9443936e5641d3aca30cbd92e359860 RANDOM SEED=2116747845 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: 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.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 25155512 kB Buffers: 392096 kB Cached: 2795752 kB SwapCached: 1672 kB Active: 4926920 kB Inactive: 1934080 kB Active(anon): 3649008 kB Inactive(anon): 26352 kB Active(file): 1277912 kB Inactive(file): 1907728 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 10892 kB Writeback: 0 kB AnonPages: 3719776 kB Mapped: 13096 kB Shmem: 132 kB Slab: 710100 kB SReclaimable: 152020 kB SUnreclaim: 558080 kB KernelStack: 1496 kB PageTables: 11480 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 3875464 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 430080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70960 MiB End job on node135 at 2012-06-04 12:45:10