Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | OPT | 939 | 1186.35 | 1186.68 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-ss97-2.opb |
| MD5SUM | f480d2d56550630df651872786c078c9 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 939 |
| Best CPU time to get the best result obtained on this benchmark | 14.0239 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 999 |
| Optimality of the best value was proved | NO |
| Number of variables | 8405 |
| Total number of constraints | 10667 |
| Number of constraints which are clauses | 9918 |
| Number of constraints which are cardinality constraints (but not clauses) | 749 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 351 |
| Number of terms in the objective function | 6892 |
| Biggest coefficient in the objective function | 667 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 371779 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 667 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 371779 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2666976-1276485124.opb>
0.19/0.26 c original problem has 8405 variables (8405 bin, 0 int, 0 impl, 0 cont) and 10667 constraints
0.19/0.26 c problem read
0.19/0.26 c presolving settings loaded
0.29/0.38 c presolving:
0.39/0.46 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19836 impls, 700 clqs
0.60/0.62 c (round 2) 1 del vars, 25 del conss, 1 chg bounds, 0 chg sides, 0 chg coeffs, 10618 upgd conss, 19836 impls, 700 clqs
1.00/1.09 c (0.8s) probing: 101/8404 (1.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.00/1.09 c (0.8s) probing aborted: 100/100 successive totally useless probings
1.00/1.09 c presolving (3 rounds):
1.00/1.09 c 1 deleted vars, 25 deleted constraints, 1 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.00/1.09 c 19836 implications, 700 cliques
1.00/1.09 c presolved problem has 8404 variables (8404 bin, 0 int, 0 impl, 0 cont) and 10642 constraints
1.00/1.09 c 700 constraints of type <setppc>
1.00/1.09 c 24 constraints of type <linear>
1.00/1.09 c 9918 constraints of type <logicor>
1.00/1.09 c transformed objective value is always integral (scale: 1)
1.00/1.09 c Presolving Time: 0.71
1.00/1.09 c - non default parameters ----------------------------------------------------------------------
1.00/1.09 c # SCIP version 1.2.1.2
1.00/1.09 c
1.00/1.09 c # frequency for displaying node information lines
1.00/1.09 c # [type: int, range: [-1,2147483647], default: 100]
1.00/1.09 c display/freq = 10000
1.00/1.09 c
1.00/1.09 c # maximal time in seconds to run
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/time = 1799.75
1.00/1.09 c
1.00/1.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.00/1.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.00/1.09 c limits/memory = 1620
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify inequalities
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/linear/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # should presolving try to simplify knapsacks
1.00/1.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.00/1.09 c constraints/knapsack/simplifyinequalities = TRUE
1.00/1.09 c
1.00/1.09 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.00/1.09 c # [type: int, range: [-1,2147483647], default: -1]
1.00/1.09 c separating/rapidlearning/freq = 0
1.00/1.09 c
1.00/1.09 c -----------------------------------------------------------------------------------------------
1.00/1.09 c start solving
1.00/1.10 c
7.60/7.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
7.60/7.66 c 7.3s| 1 | 0 | 6195 | - | 36M| 0 | 537 |8404 | 10k|8404 | 10k| 0 | 0 | 0 | 9.100000e+02 | -- | Inf
13.09/13.20 c 12.7s| 1 | 0 | 14547 | - | 36M| 0 | 419 |8404 | 10k|8404 | 10k| 165 | 0 | 0 | 9.100000e+02 | -- | Inf
14.68/14.70 c 14.2s| 1 | 0 | 15061 | - | 37M| 0 | 368 |8404 | 10k|8404 | 10k| 321 | 0 | 0 | 9.104000e+02 | -- | Inf
16.39/16.41 c 15.9s| 1 | 0 | 15497 | - | 37M| 0 | 295 |8404 | 10k|8404 | 11k| 438 | 0 | 0 | 9.147333e+02 | -- | Inf
17.59/17.60 c 17.1s| 1 | 0 | 15717 | - | 37M| 0 | 264 |8404 | 10k|8404 | 11k| 534 | 0 | 0 | 9.246762e+02 | -- | Inf
18.78/18.87 c 18.3s| 1 | 0 | 15954 | - | 38M| 0 | 218 |8404 | 10k|8404 | 11k| 610 | 0 | 0 | 9.291250e+02 | -- | Inf
20.08/20.14 c 19.6s| 1 | 0 | 16179 | - | 38M| 0 | 168 |8404 | 10k|8404 | 11k| 667 | 0 | 0 | 9.365833e+02 | -- | Inf
21.28/21.32 c 20.7s| 1 | 0 | 16382 | - | 38M| 0 | 148 |8404 | 10k|8404 | 11k| 713 | 0 | 0 | 9.390000e+02 | -- | Inf
22.29/22.39 c 21.8s| 1 | 0 | 16496 | - | 38M| 0 | 130 |8404 | 10k|8404 | 11k| 751 | 0 | 0 | 9.390000e+02 | -- | Inf
23.49/23.51 c 22.9s| 1 | 0 | 16646 | - | 38M| 0 | 91 |8404 | 10k|8404 | 11k| 777 | 0 | 0 | 9.390000e+02 | -- | Inf
25.09/25.13 c 24.5s| 1 | 0 | 16799 | - | 38M| 0 | 50 |8404 | 10k|8404 | 11k| 797 | 0 | 0 | 9.390000e+02 | -- | Inf
25.09/25.15 o 1946
25.09/25.15 c s24.5s| 1 | 0 | 16799 | - | 38M| 0 | 50 |8404 | 10k|8404 | 11k| 797 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
25.59/25.61 c 25.0s| 1 | 0 | 16930 | - | 38M| 0 | 94 |8404 | 10k|8404 | 11k| 814 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
26.18/26.25 c 25.6s| 1 | 0 | 17058 | - | 38M| 0 | 85 |8404 | 10k|8404 | 11k| 829 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
26.79/26.81 c 26.1s| 1 | 0 | 17190 | - | 38M| 0 | 105 |8404 | 10k|8404 | 11k| 843 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
27.19/27.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
27.19/27.29 c 26.6s| 1 | 0 | 17278 | - | 38M| 0 | 108 |8404 | 10k|8404 | 11k| 860 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
27.69/27.79 c 27.1s| 1 | 0 | 17368 | - | 38M| 0 | 103 |8404 | 10k|8404 | 11k| 871 | 0 | 0 | 9.390000e+02 | 1.946000e+03 | 107.24%
27.79/27.81 o 1845
27.79/27.81 c s27.1s| 1 | 0 | 17368 | - | 39M| 0 | 103 |8404 | 10k|8404 | 11k| 871 | 0 | 0 | 9.390000e+02 | 1.845000e+03 | 96.49%
32.58/32.66 c 31.8s| 1 | 2 | 17368 | - | 39M| 0 | 103 |8404 | 10k|8404 | 11k| 871 | 0 | 33 | 9.390000e+02 | 1.845000e+03 | 96.49%
242.62/242.70 o 1365
242.62/242.70 c S 238s| 57 | 58 | 33834 | 294.0 | 40M| 18 | 0 |8404 | 10k|8404 | 10k| 871 | 0 |1106 | 9.390000e+02 | 1.365000e+03 | 45.37%
508.05/508.21 o 1161
508.05/508.21 c S 499s| 202 | 203 | 70651 | 265.1 | 42M| 27 | 0 |8404 | 10k|8404 | 10k| 871 | 0 |2449 | 9.390000e+02 | 1.161000e+03 | 23.64%
633.32/633.60 o 1060
633.32/633.60 c S 623s| 395 | 396 |102709 | 216.6 | 44M| 53 | 0 |8404 | 10k|8404 | 10k| 871 | 0 |2598 | 9.390000e+02 | 1.060000e+03 | 12.89%
731.98/732.26 o 1048
731.98/732.26 c C 720s| 595 | 559 |124358 | 180.1 | 46M| 67 | 174 |8404 | 10k|8404 | 10k| 871 | 4 |2741 | 9.390000e+02 | 1.048000e+03 | 11.61%
762.98/763.22 o 959
762.98/763.22 c l 751s| 635 | 383 |133701 | 183.5 | 47M| 67 | - |8404 | 10k|8404 | 10k| 871 | 4 |2768 | 9.390000e+02 | 9.590000e+02 | 2.13%
890.75/891.01 o 947
890.75/891.01 c l 878s| 816 | 560 |168401 | 185.3 | 47M| 67 | - |8404 | 10k|8404 | 10k| 871 | 9 |2890 | 9.390000e+02 | 9.470000e+02 | 0.85%
1004.51/1004.86 o 945
1004.51/1004.86 c C 992s| 1016 | 758 |201758 | 181.7 | 46M| 83 | 165 |8404 | 10k|8404 | 10k| 871 | 11 |3007 | 9.390000e+02 | 9.450000e+02 | 0.64%
1131.98/1132.34 o 941
1131.98/1132.34 c C1119s| 1216 | 545 |247573 | 189.5 | 45M| 109 | 123 |8404 | 10k|8404 | 10k| 871 | 12 |3114 | 9.390000e+02 | 9.410000e+02 | 0.21%
1186.16/1186.50 o 939
1186.16/1186.50 c s1173s| 1452 | 0 |263044 | 169.3 | 42M| 109 | - |8404 | 10k|8404 | 10k| 871 | 36 |3246 | 9.390000e+02 | 9.390000e+02 | 0.00%
1186.16/1186.51 c
1186.16/1186.51 c SCIP Status : problem is solved [optimal solution found]
1186.16/1186.51 c Solving Time (sec) : 1172.57
1186.16/1186.51 c Solving Nodes : 1452
1186.16/1186.51 c Primal Bound : +9.39000000000000e+02 (19 solutions)
1186.16/1186.51 c Dual Bound : +9.39000000000000e+02
1186.16/1186.51 c Gap : 0.00 %
1186.16/1186.55 s OPTIMUM FOUND
1186.16/1186.55 v -x8391 -x8389 -x8378 -x8368 -x8363 -x8343 -x8339 -x8333 -x8329 -x8323 -x8293 -x8274 -x8270 -x8266 -x8254 -x8252 -x8250 -x8242 -x8237
1186.16/1186.55 v -x8234 -x8231 -x8209 -x8199 -x8198 -x8187 -x8164 -x8161 -x8160 -x8154 -x8153 -x8148 -x8145 -x8100 -x8090 -x8085 -x8084
1186.16/1186.55 v -x8079 -x8071 -x8062 -x8060 -x8059 -x8057 -x8045 -x8042 -x8037 -x8027 -x8022 -x8012 -x8009 -x7996 -x7995 -x7994 -x7986 -x7982
1186.16/1186.55 v -x7977 -x7969 -x7967 -x7965 -x7961 -x7950 -x7945 -x7942 -x7941 x7939 -x7928 -x7924 -x7918 -x7916 -x7915 -x7913 -x7899 -x7891
1186.16/1186.55 v -x7890 -x7889 x7886 -x7882 -x7880 -x7873 -x7867 -x7858 -x7853 -x7848 -x7835 -x7834 -x7826 -x7821 -x7814 -x7811 -x7810 -x7807
1186.16/1186.55 v -x7803 -x7801 -x7800 -x7795 -x7778 -x7767 -x7749 -x7748 -x7747 -x7746 -x7744 -x7743 -x7742 -x7741 -x7739 -x7725 -x7710 -x7709
1186.16/1186.55 v -x7694 -x7691 -x7686 -x7676 -x7671 -x7661 -x7658 -x7645 -x7644 -x7643 -x7635 -x7631 -x7626 -x7618 -x7616 -x7614 -x7610 -x7599
1186.16/1186.55 v -x7594 -x7591 x7590 -x7588 -x7577 -x7573 -x7567 -x7565 -x7564 -x7562 -x7548 -x7545 -x7540 -x7539 -x7538 -x7535 -x7531 -x7529
1186.16/1186.55 v -x7522 -x7516 -x7507 -x7502 -x7497 -x7483 -x7475 -x7470 -x7463 -x7460 -x7459 -x7456 -x7452 -x7450 -x7449 -x7444 -x7427 -x7416
1186.16/1186.55 v -x7398 -x7397 -x7396 -x7395 -x7393 -x7392 -x7391 x7390 -x7388 -x7387 x7374 -x7359 -x7358 -x7343 -x7340 -x7335 -x7325 -x7320
1186.16/1186.55 v x7310 -x7307 -x7294 -x7293 -x7292 -x7284 -x7280 -x7275 -x7267 -x7265 -x7263 -x7259 -x7248 -x7243 -x7240 -x7239 -x7237 -x7226
1186.16/1186.55 v -x7222 -x7216 -x7214 -x7213 x7211 -x7197 -x7194 -x7189 x7188 -x7187 -x7184 -x7180 -x7178 -x7171 -x7165 x7156 -x7151 -x7146
1186.16/1186.55 v -x7133 -x7132 -x7124 -x7119 -x7112 -x7109 -x7108 -x7105 -x7101 -x7099 -x7098 -x7093 -x7076 -x7065 -x7047 -x7046 -x7045 -x7044
1186.16/1186.55 v x7042 -x7041 -x7040 -x7039 -x7037 -x7036 -x7023 -x7008 -x7007 -x6992 -x6989 -x6984 -x6974 -x6969 -x6959 -x6956 -x6943 -x6942
1186.16/1186.55 v -x6941 -x6933 -x6929 -x6924 -x6916 x6914 -x6912 -x6908 -x6897 -x6892 x6889 -x6888 -x6886 -x6875 -x6871 -x6865 -x6863 -x6860
1186.16/1186.55 v -x6846 -x6843 -x6838 -x6837 -x6836 -x6833 -x6829 -x6827 -x6820 -x6814 -x6805 -x6800 -x6795 -x6782 x6781 x6773 x6768 -x6761 -x6758
1186.16/1186.55 v -x6757 -x6754 -x6750 -x6748 -x6747 x6742 -x6725 -x6714 -x6696 -x6695 -x6694 -x6693 -x6691 x6690 x6689 -x6688 -x6686 -x6685
1186.16/1186.55 v -x6672 -x6657 -x6656 -x6648 -x6646 -x6641 -x6636 -x6629 -x6627 -x6624 -x6623 -x6608 -x6607 -x6605 -x6595 -x6588 -x6574 -x6565
1186.16/1186.55 v -x6563 -x6561 -x6550 -x6548 -x6546 -x6541 -x6539 -x6538 -x6535 -x6524 -x6521 -x6520 -x6519 -x6509 -x6504 -x6487 -x6486 -x6485
1186.16/1186.55 v -x6476 -x6463 -x6460 -x6446 -x6444 -x6443 -x6434 -x6432 -x6430 -x6426 -x6424 -x6422 -x6417 -x6416 -x6410 -x6407 -x6399
1186.16/1186.55 v -x6397 -x6390 -x6389 -x6379 -x6369 -x6363 x6348 -x6345 -x6342 -x6340 -x6337 -x6335 -x6325 -x6323 -x6321 -x6307 -x6304 -x6297
1186.16/1186.55 v -x6295 -x6290 -x6278 -x6276 -x6273 -x6272 -x6257 -x6256 -x6244 -x6237 -x6223 x6214 -x6212 -x6210 -x6199 -x6197 -x6195 -x6188
1186.16/1186.55 v -x6187 -x6184 -x6170 -x6168 -x6158 -x6153 -x6136 -x6135 -x6134 -x6125 -x6112 -x6109 -x6095 -x6093 -x6092 -x6083 -x6081 -x6079
1186.16/1186.55 v -x6075 -x6073 -x6071 -x6066 -x6065 x6059 -x6056 -x6048 -x6046 -x6039 -x6038 -x6028 -x6018 -x6012 -x5997 -x5994 -x5993 -x5991
1186.16/1186.55 v -x5989 -x5986 -x5984 -x5974 -x5972 -x5970 x5956 -x5953 -x5944 -x5939 -x5934 -x5927 -x5925 -x5922 -x5921 -x5906 -x5905 -x5903
1186.16/1186.55 v -x5893 -x5886 -x5872 -x5863 -x5861 -x5859 x5848 -x5846 -x5839 -x5837 -x5836 -x5833 -x5822 -x5819 -x5818 -x5807 -x5802 -x5785
1186.16/1186.55 v -x5784 -x5783 -x5774 x5761 -x5758 -x5744 -x5741 -x5732 -x5730 -x5728 -x5724 -x5722 -x5720 -x5715 -x5714 -x5708 -x5705 -x5697
1186.16/1186.55 v -x5695 -x5688 -x5687 -x5677 -x5667 -x5661 -x5646 -x5643 -x5642 -x5640 -x5638 -x5635 -x5633 -x5623 -x5621 -x5619 -x5605 -x5595
1186.16/1186.55 v -x5593 -x5588 -x5583 -x5580 -x5571 -x5570 -x5555 -x5549 -x5542 -x5535 -x5529 -x5525 -x5523 -x5520 -x5515 -x5510 -x5495 -x5488
1186.16/1186.55 v -x5486 -x5485 -x5482 -x5480 -x5479 -x5476 -x5471 -x5468 -x5467 -x5466 -x5457 -x5456 -x5451 x5441 -x5434 -x5433 -x5432 -x5410
1186.16/1186.55 v -x5407 -x5391 -x5390 -x5379 -x5373 -x5363 -x5356 -x5354 -x5353 -x5352 -x5350 -x5348 -x5346 -x5345 -x5344 -x5343 -x5340 -x5337
1186.16/1186.55 v -x5336 -x5333 -x5327 -x5326 -x5292 -x5286 -x5282 -x5272 -x5268 -x5267 -x5260 -x5252 -x5249 -x5244 -x5237 -x5220 -x5218 -x5209
1186.16/1186.55 v -x5204 -x5188 -x5187 -x5186 -x5174 -x5172 -x5158 -x5153 -x5140 -x5138 -x5134 -x5131 -x5114 -x5091 -x5087 x5083 -x5082 -x5081
1186.16/1186.55 v -x5078 -x5072 -x5070 -x5065 -x5059 x5058 -x5056 -x5051 -x5048 -x5047 -x5038 -x5028 -x5026 -x5022 -x5018 -x5017 -x5015 -x5001
1186.16/1186.55 v -x4997 -x4995 -x4989 -x4986 -x4976 -x4960 -x4947 -x4941 -x4940 -x4939 -x4938 -x4936 -x4934 -x4933 -x4931 -x4917 -x4903 -x4902
1186.16/1186.55 v -x4901 -x4893 -x4886 -x4883 -x4869 -x4867 -x4858 -x4853 -x4850 -x4837 -x4836 -x4835 -x4823 -x4821 -x4807 -x4802 -x4789
1186.16/1186.55 v -x4787 -x4786 -x4783 -x4780 -x4769 -x4763 -x4756 -x4740 -x4736 -x4732 -x4731 -x4730 -x4727 -x4719 -x4714 -x4708 -x4707 -x4705
1186.16/1186.55 v -x4700 -x4697 -x4696 -x4687 -x4677 -x4675 -x4671 -x4667 -x4666 -x4664 -x4650 -x4646 x4644 -x4638 -x4635 -x4625 -x4609 -x4596
1186.16/1186.55 v -x4590 -x4589 -x4588 -x4587 -x4585 -x4583 -x4582 -x4580 -x4566 -x4552 -x4551 -x4550 -x4542 -x4535 -x4532 -x4518 -x4516 -x4507
1186.16/1186.55 v -x4502 -x4499 -x4486 -x4485 -x4484 -x4472 -x4470 -x4456 -x4451 -x4438 x4436 -x4435 -x4432 -x4429 -x4418 -x4412 -x4405 x4389
1186.16/1186.55 v -x4385 -x4381 -x4380 -x4379 -x4376 -x4370 -x4368 -x4363 -x4357 -x4356 x4354 -x4349 -x4346 -x4345 -x4336 -x4326 -x4324 -x4320
1186.16/1186.55 v -x4316 -x4315 -x4313 -x4299 -x4295 -x4293 -x4287 -x4284 -x4274 -x4258 -x4245 -x4239 -x4238 -x4237 -x4236 -x4234 -x4232 -x4231
1186.16/1186.55 v -x4229 -x4215 -x4201 -x4200 x4199 -x4192 -x4186 -x4184 -x4172 -x4170 -x4167 -x4151 -x4148 -x4138 -x4136 -x4131 -x4125 -x4111
1186.16/1186.55 v -x4108 -x4106 -x4091 -x4080 -x4078 -x4075 -x4072 -x4067 -x4065 -x4063 -x4062 -x4059 x4058 -x4054 -x4052 -x4048 -x4047 -x4045
1186.16/1186.55 v -x4038 -x4030 -x4029 x4028 -x4025 -x4020 -x4019 -x4018 -x4012 -x4011 -x3987 -x3986 -x3974 -x3960 -x3959 -x3952 -x3948 -x3942
1186.16/1186.55 v -x3936 -x3906 -x3894 -x3887 -x3886 -x3883 -x3880 -x3864 -x3859 -x3857 -x3852 x3851 -x3849 -x3848 -x3847 -x3845 -x3836 -x3835
1186.16/1186.55 v -x3834 -x3830 -x3829 -x3828 -x3805 -x3800 -x3787 -x3785 -x3782 -x3780 -x3778 -x3767 -x3738 -x3730 -x3714 -x3708 -x3703 -x3697
1186.16/1186.55 v -x3691 -x3689 -x3680 -x3678 -x3677 -x3674 -x3671 -x3629 -x3618 -x3609 -x3597 -x3591 -x3585 -x3537 -x3533 -x3530 -x3527 -x3517
1186.16/1186.55 v -x3513 -x3507 -x3499 -x3497 -x3496 -x3492 -x3489 -x3482 -x3481 -x3478 -x3473 -x3463 -x3458 -x3452 -x3447 -x3444 -x3437 -x3431
1186.16/1186.55 v -x3430 -x3429 -x3421 -x3413 -x3405 -x3403 -x3401 -x3397 -x3386 -x3381 -x3378 -x3377 -x3375 -x3363 -x3359 -x3353 -x3351 -x3350
1186.16/1186.55 v -x3348 -x3334 -x3331 -x3326 -x3325 -x3324 -x3320 -x3316 -x3308 -x3302 -x3293 -x3288 -x3283 -x3270 -x3269 -x3261 -x3256
1186.16/1186.55 v -x3249 -x3246 -x3245 -x3243 -x3239 -x3237 -x3236 -x3231 -x3215 -x3204 -x3188 -x3187 -x3186 -x3185 -x3183 -x3182 -x3181 -x3180
1186.16/1186.55 v -x3178 -x3177 -x3164 -x3149 -x3148 -x3135 -x3134 -x3129 -x3128 -x3127 -x3104 -x3103 -x3098 -x3084 -x3080 -x3078 -x3076 x3066
1186.16/1186.55 v -x3037 -x3029 -x3019 -x3012 -x3006 -x3001 -x2995 -x2989 -x2987 -x2978 -x2976 -x2975 -x2971 -x2968 -x2927 -x2916 -x2907 -x2895
1186.16/1186.55 v -x2890 -x2884 -x2839 -x2835 -x2832 -x2829 -x2819 -x2815 x2809 -x2801 -x2799 -x2798 -x2794 x2792 -x2791 -x2788 -x2765 -x2755
1186.16/1186.55 v -x2754 -x2749 -x2746 -x2737 -x2735 -x2729 -x2725 -x2724 -x2717 -x2716 -x2710 -x2698 -x2690 -x2680 -x2677 -x2674 -x2671 -x2660
1186.16/1186.55 v -x2656 -x2652 -x2640 -x2638 -x2636 x2635 -x2628 -x2622 -x2619 -x2595 -x2585 -x2584 -x2573 -x2567 -x2559 -x2547 -x2546 -x2541
1186.16/1186.55 v -x2535 -x2532 -x2518 -x2484 -x2478 -x2475 -x2474 -x2469 -x2460 -x2452 -x2450 -x2447 -x2442 -x2439 -x2434 -x2429 -x2422 -x2420
1186.16/1186.55 v -x2417 -x2416 -x2405 -x2400 -x2399 -x2397 -x2386 -x2380 -x2367 -x2358 -x2356 -x2354 -x2343 -x2341 -x2339 -x2334 -x2332 -x2331
1186.16/1186.55 v -x2328 -x2321 -x2316 -x2313 -x2312 -x2311 -x2301 -x2296 -x2279 x2278 -x2277 -x2255 -x2252 -x2238 -x2235 x2226 -x2224 -x2222
1186.16/1186.55 v -x2218 x2216 -x2214 -x2209 -x2208 -x2202 -x2199 -x2192 -x2190 -x2183 -x2182 -x2172 x2163 -x2157 -x2144 -x2141 -x2140 -x2138
1186.16/1186.55 v -x2136 -x2133 -x2131 -x2121 -x2119 -x2117 -x2103 -x2100 -x2093 -x2090 -x2085 -x2080 -x2077 -x2073 -x2071 -x2068 -x2067 -x2056
1186.16/1186.55 v -x2051 -x2050 -x2037 -x2031 -x2020 -x2017 -x2012 -x2009 -x2007 -x1994 -x1992 -x1985 -x1982 -x1979 -x1977 -x1972 -x1967 -x1964
1186.16/1186.55 v -x1963 -x1962 -x1952 -x1947 -x1930 -x1929 -x1928 -x1906 -x1903 -x1889 -x1886 -x1877 -x1875 -x1869 -x1867 -x1860 -x1853 -x1852
1186.16/1186.55 v -x1850 -x1848 -x1847 -x1845 -x1843 -x1842 -x1841 -x1840 -x1837 -x1834 -x1833 -x1824 -x1823 -x1814 -x1808 -x1795 -x1792 -x1791
1186.16/1186.55 v -x1789 -x1787 -x1784 -x1782 -x1772 -x1770 -x1768 -x1751 -x1744 -x1743 -x1736 -x1733 -x1719 -x1717 -x1708 -x1702 -x1699
1186.16/1186.55 v -x1686 -x1685 -x1684 -x1671 -x1657 -x1652 -x1639 -x1637 -x1636 -x1633 -x1630 -x1618 -x1612 -x1605 -x1589 -x1585 -x1581 -x1580
1186.16/1186.55 v -x1579 x1575 -x1568 -x1563 -x1557 -x1556 -x1554 -x1549 -x1546 -x1545 -x1536 -x1526 -x1524 -x1520 -x1516 -x1515 -x1513 -x1499
1186.16/1186.55 v -x1496 -x1494 -x1488 -x1485 -x1475 -x1460 -x1449 -x1443 -x1442 -x1441 -x1440 -x1438 -x1436 -x1435 -x1433 -x1419 -x1405 -x1404
1186.16/1186.55 v -x1403 -x1395 -x1388 -x1387 -x1384 -x1379 -x1369 -x1364 -x1358 -x1353 -x1350 -x1343 -x1337 -x1336 -x1335 -x1327 -x1319 -x1311
1186.16/1186.55 v -x1309 -x1307 -x1303 -x1292 x1287 -x1284 -x1283 -x1281 -x1269 -x1265 -x1259 -x1257 -x1254 -x1240 -x1237 -x1232 -x1231 x1230
1186.16/1186.55 v -x1226 -x1222 -x1214 -x1208 -x1199 -x1194 -x1189 -x1176 -x1175 -x1167 -x1162 -x1155 -x1152 -x1151 -x1149 -x1145 -x1143 -x1142
1186.16/1186.55 v -x1137 -x1121 -x1110 -x1094 x1093 -x1092 -x1091 -x1089 -x1088 -x1087 -x1086 -x1084 -x1083 -x1070 -x1055 -x1054 -x1046 -x1045
1186.16/1186.55 v -x1043 -x1038 -x1033 -x1026 -x1024 -x1021 -x1020 -x1009 -x1004 -x1003 -x1001 x990 -x984 -x971 -x962 -x960 -x958 -x947 -x945
1186.16/1186.55 v -x943 -x938 -x936 x935 -x932 -x925 -x920 -x917 -x916 -x915 -x907 -x905 -x900 -x883 -x882 -x881 -x859 -x856 -x842 -x840 -x839
1186.16/1186.55 v -x830 -x828 -x826 -x822 -x820 -x818 -x813 -x812 -x806 -x803 x796 -x794 -x787 -x786 -x776 -x767 -x761 -x748 -x745 -x744 x742
1186.16/1186.55 v -x740 -x737 -x735 x725 -x723 -x721 -x707 -x704 -x697 -x696 -x694 -x689 -x684 -x677 -x675 -x672 -x671 -x660 x655 x654 -x652 -x641
1186.16/1186.55 v -x635 -x622 -x613 -x611 -x609 -x598 -x596 -x594 -x589 -x587 -x586 -x583 -x576 x571 -x568 -x567 -x566 -x558 -x556 -x551 x534
1186.16/1186.55 v -x533 -x532 -x510 -x507 -x493 -x491 -x490 -x481 -x479 -x477 -x473 -x471 -x469 -x464 -x463 -x457 -x454 -x447 -x445 -x438 -x437
1186.16/1186.55 v -x427 -x418 x412 -x399 -x396 -x395 -x393 -x391 -x388 -x386 -x376 x372 -x358 -x355 -x348 -x347 -x340 -x337 -x323 -x321 -x312
1186.16/1186.55 v -x306 -x303 -x290 -x289 -x288 -x275 -x261 -x256 -x243 -x241 -x240 -x237 -x234 -x222 -x216 -x193 -x189 -x185 -x184 -x183 -x179
1186.16/1186.55 v -x172 x167 x161 -x160 -x158 -x153 -x150 -x149 -x140 -x130 -x128 -x124 -x120 x119 -x117 -x103 -x100 -x98 -x92 -x89 -x79 -x64
1186.16/1186.55 v -x53 -x47 -x46 -x45 -x44 -x42 x40 -x39 -x37 -x23 -x9 x8 -x7 x1 -x8405 -x8054 -x7703 -x7352 -x7001 -x6650 -x6299 -x5948 -x5597
1186.16/1186.55 v -x5246 x4895 -x4544 -x4193 -x3842 -x3491 -x3142 -x2444 -x1746 -x1397 -x1048 -x699 -x350 -x3490 -x3141 -x2443 -x2094 -x1745
1186.16/1186.55 v -x1396 -x1047 -x698 -x349 -x8404 -x6649 -x6298 -x5947 -x5596 -x5245 -x4894 -x4543 -x3841 -x8403 -x2790 -x8402 -x4190 -x3839
1186.16/1186.55 v -x3138 -x2789 -x5242 -x4891 -x4540 -x4189 -x3838 -x3137 -x1741 -x345 -x8400 -x5592 -x2787 -x2089 -x8399 -x8048 -x7697 -x7346
1186.16/1186.55 v -x6995 -x5591 -x5240 -x4889 -x4538 -x4187 -x3484 -x2088 -x1739 -x1390 -x343 -x8398 -x8047 -x7696 -x7345 -x6994 -x6643 -x6292
1186.16/1186.55 v -x5941 -x3483 -x2785 -x2436 -x2087 -x1389 -x1040 -x691 -x8397 -x6642 -x6291 -x5940 -x5589 -x5238 -x4887 -x4536 -x4185 -x3133
1186.16/1186.55 v -x2784 -x8395 -x4183 -x3832 -x3131 -x2782 -x8043 -x7692 -x7341 -x6990 -x6639 -x6288 -x5937 -x5586 -x5235 -x4884 -x4533 -x4182
1186.16/1186.55 v -x3831 -x3479 -x3130 -x2781 -x2432 -x1734 -x1385 -x1036 -x687 -x338 -x4181 -x8040 -x7689 -x7338 -x6987 -x5232 -x4881 -x4530
1186.16/1186.55 v -x3476 -x1731 -x1382 -x335 -x8390 -x4178 -x3827 -x3126 -x2777 -x8038 -x7687 -x7336 -x6985 -x6634 -x6283 -x5932 -x5230 -x4879
1186.16/1186.55 v -x4528 -x3474 -x2776 -x2427 -x2078 -x1729 -x1380 -x1031 -x682 -x333 -x8388 -x4176 -x3825 -x3124 -x2775 -x8036 -x7685 -x7334
1186.16/1186.55 v -x6983 -x6632 -x6281 -x5930 -x5579 -x5228 -x4877 -x4526 -x4175 -x3472 -x2425 -x2076 -x1727 -x1378 -x1029 -x680 -x331 -x8386
1186.16/1186.55 v -x6631 -x6280 -x5929 -x5578 -x4174 -x2773 -x2424 -x2075 -x1028 -x679 -x8034 -x7683 -x7332 -x6981 -x6630 -x6279 -x5928 -x5577
1186.16/1186.55 v -x5226 -x4875 -x4524 -x4173 -x3470 -x2423 -x2074 -x1725 -x1376 -x1027 -x678 -x329 -x8384 -x3821 -x3120 -x2771 -x8383 -x6628 -x6277
1186.16/1186.55 v -x5926 -x5224 -x4873 -x4522 -x4171 -x3820 -x3119 -x2770 -x2421 -x2072 -x1723 -x1025 -x676 -x327 -x8382 -x3819 -x3118 -x2769
1186.16/1186.55 v -x8381 -x5222 -x4871 -x4520 -x4169 -x3818 -x3117 -x2768 -x1721 -x325 -x8380 -x8029 -x7678 -x7327 -x6976 -x6625 -x6274 -x5923
1186.16/1186.55 v -x5221 -x4870 -x4519 -x4168 -x3817 -x3465 -x3116 -x2767 x2418 -x2069 -x1720 -x1371 -x1022 -x673 -x324 -x8379 -x2766 -x8377
1186.16/1186.55 v -x6622 -x6271 -x5920 -x5569 -x4165 -x2764 -x2415 -x2066 -x1019 -x670 -x8376 -x8025 -x7674 -x7323 -x6972 -x5217 -x4866 -x4515
1186.16/1186.55 v -x3813 -x3461 -x3112 -x2763 -x1716 -x1367 -x320 -x8375 -x8024 -x7673 -x7322 -x6971 -x6620 -x6269 -x5918 -x5567 -x3812 -x3460
1186.16/1186.55 v -x3111 -x2762 -x2413 -x2064 -x1366 -x1017 -x668 -x8374 -x8023 -x7672 -x7321 -x6970 -x4162 -x3811 -x3459 -x3110 -x2761 -x1365
1186.16/1186.55 v -x8373 -x6618 -x6267 -x5916 -x5214 -x4863 -x4512 -x4161 -x2760 -x2411 -x1713 -x1015 -x666 -x317 -x8372 -x8021 -x7670 -x7319
1186.16/1186.55 v -x6968 -x5564 -x5213 -x4862 -x4511 -x4160 -x3457 -x2759 -x2061 -x1712 -x1363 -x316 -x8371 -x6616 -x6265 -x5914 -x5212 -x4861
1186.16/1186.55 v -x4510 -x4159 -x2758 -x2409 -x2060 -x1711 -x1013 -x664 -x315 -x8370 -x4158 -x3807 -x3106 -x2757 -x8369 -x2756 -x8367 -x3804
1186.16/1186.55 v -x3102 -x2753 -x8366 -x8015 -x7664 -x7313 -x6962 -x5207 -x4856 -x4505 -x3450 -x2752 -x1705 -x1356 -x309 -x8014 -x7663 -x7312
1186.16/1186.55 v -x6961 -x5206 -x4855 -x4504 -x3449 -x1704 -x1355 -x308 -x8013 -x7662 -x7311 -x6960 -x6609 -x6258 -x5907 -x5556 -x5205 -x4854
1186.16/1186.55 v -x4503 -x4152 -x3448 -x2401 -x2052 -x1703 -x1354 -x1005 -x656 -x307 -x8362 -x8011 -x7660 -x7309 -x6958 -x4150 -x3799 -x3446
1186.16/1186.55 v -x3097 -x2748 -x1352 -x8361 -x8010 -x7659 -x7308 -x6957 -x4149 -x3445 -x2747 -x1351 -x4147 -x3796 -x3094 -x2745 -x8358 x8007
1186.16/1186.55 v -x7656 -x7305 -x6954 -x6603 -x6252 -x5901 -x5550 -x5199 -x4848 -x4497 -x4146 -x3795 -x3442 -x3093 -x2744 x2395 -x2046 -x1697
1186.16/1186.55 v -x1348 -x999 -x650 -x301 -x8357 -x8006 -x7655 -x7304 -x6953 -x4145 -x3794 -x3441 -x3092 -x2743 -x1347 -x8356 -x4144 -x3793 -x3091
1186.16/1186.55 v -x2742 -x8355 -x4143 -x3792 -x3090 -x2741 -x8354 -x5195 -x4844 -x4493 -x4142 -x3791 -x3089 -x2740 -x1693 -x297 -x2739 -x2041
1186.16/1186.55 v -x8353 -x4141 -x3790 -x3087 -x2738 -x8001 -x7650 -x7299 -x6948 -x6597 -x6246 -x5895 -x5544 -x4140 -x3789 -x3435 -x3086 -x2388
1186.16/1186.55 v -x2039 -x1341 -x992 -x643 -x6596 -x6245 -x5894 -x5543 -x5192 -x4841 -x4490 -x4139 -x3788 -x3085 -x2387 -x2038 -x1689 -x991
1186.16/1186.55 v -x642 -x293 -x7999 -x7648 -x7297 -x6946 -x5191 -x4840 -x4489 -x3433 -x1688 -x1339 -x292 -x6594 -x6243 -x5892 -x5541 -x4137
1186.16/1186.55 v -x3786 -x3083 -x2385 -x2036 -x989 -x640 -x7997 -x7646 -x7295 -x6944 -x6593 -x6242 -x5891 -x5540 -x5189 -x4838 -x4487 -x8347
1186.16/1186.55 v -x2733 -x8346 -x3783 -x3081 -x2732 -x6590 -x6239 -x5888 -x4133 -x2382 -x2033 -x986 -x637 -x8344 -x6589 -x6238 -x5887 -x5536
1186.16/1186.55 v -x5185 -x4834 -x4483 -x4132 -x2730 -x2381 -x2032 -x1683 -x985 -x636 -x287 -x8342 -x6587 -x6236 -x5885 -x5183 -x4832 -x4481 -x4130
1186.16/1186.55 v -x3779 -x3077 -x2728 -x2379 -x2030 -x1681 -x983 -x634 -x285 -x6586 -x6235 -x5884 -x5182 -x4831 -x4480 -x4129 -x2378 -x2029
1186.16/1186.55 v -x1680 -x982 -x633 -x284 -x8340 -x6585 -x6234 -x5883 -x5532 -x3777 -x3075 -x2726 -x2377 -x2028 -x981 -x632 -x6584 -x6233 -x5882
1186.16/1186.55 v -x5531 -x4127 -x3776 -x3074 -x2376 -x2027 -x980 -x631 -x7987 -x7636 -x7285 -x6934 -x6583 -x6232 -x5881 -x5179 -x4828 -x4477
1186.16/1186.55 v -x4126 -x3422 -x2375 -x2026 -x1677 -x1328 -x979 -x630 -x281 -x8337 -x2723 -x8336 -x4124 -x3773 -x3071 -x2722 -x8335 -x6580
1186.16/1186.55 v -x6229 -x5878 -x5527 -x4123 -x3772 -x3070 -x2721 -x2372 -x2023 -x976 -x627 -x8334 -x4122 -x3771 -x3069 -x2720 -x3770 -x7981
1186.16/1186.55 v -x7630 -x7279 -x6928 -x6577 -x6226 -x5875 -x5524 -x5173 -x4822 -x4471 -x4120 -x3417 -x2370 -x2021 -x1672 -x1323 -x974 -x625
1186.16/1186.55 v -x276 -x8331 -x4119 -x3768 -x3067 -x2718 -x7979 -x7628 -x7277 -x6926 -x6575 -x6224 -x5873 -x5171 -x4820 -x4469 -x4118 -x3415
1186.16/1186.55 v -x2368 -x2019 -x1670 -x1321 -x972 -x623 -x274 -x5521 -x3766 -x3065 -x2018 -x8328 -x4116 -x3765 -x3064 -x2715 -x8327 -x6572 -x6221
1186.16/1186.55 v -x5870 -x5519 -x5168 -x4817 -x4466 -x4115 -x3764 -x3063 -x2714 -x2365 -x1667 -x969 -x620 -x271 -x7975 -x7624 -x7273 -x6922
1186.16/1186.55 v -x6571 -x6220 -x5869 -x5518 -x5167 -x4816 -x4465 -x4114 -x3411 -x2713 -x2364 -x2015 -x1666 -x1317 -x968 -x619 -x270 -x7974
1186.16/1186.55 v -x7623 -x7272 -x6921 -x5166 -x4815 -x4464 -x4113 -x3762 -x3410 -x3061 -x1665 -x1316 -x269 -x7973 -x7622 -x7271 -x6920 -x6569
1186.16/1186.55 v -x6218 -x5867 -x5516 -x4112 -x3761 -x3409 -x3060 -x2711 -x2362 -x2013 -x1315 -x966 -x617 -x3760 -x3059 -x7971 -x7620 -x7269
1186.16/1186.55 v -x6918 -x6567 -x6216 -x5865 -x5163 -x4812 -x4461 -x4110 -x3759 -x3407 -x3058 -x2360 -x2011 -x1662 -x1313 -x964 -x615 -x266 -x8321
1186.16/1186.55 v -x7970 -x7619 -x7268 -x6917 -x6566 -x6215 -x5864 -x4109 -x3758 -x3406 -x3057 -x2708 -x2359 -x2010 -x1312 -x963 -x614 -x5161
1186.16/1186.55 v -x4810 -x4459 -x3757 -x3056 -x1660 -x264 -x7968 -x7617 -x7266 -x6915 -x6564 -x6213 -x5862 -x5511 -x4107 -x3756 -x3404 -x3055
1186.16/1186.55 v -x2706 -x2357 -x2008 -x1310 -x961 -x612 -x8318 -x3755 -x3054 -x2705 -x8317 -x4105 -x3754 -x3053 -x2704 -x8316 -x5508 -x4104
1186.16/1186.55 v -x3753 -x3052 -x2703 -x8315 -x7964 -x7613 -x7262 -x6911 -x6560 -x6209 -x5858 -x5156 -x4805 -x4454 -x4103 -x3400 -x2702 -x2353
1186.16/1186.55 v -x2004 -x1655 -x1306 -x957 -x608 -x259 -x8314 -x7963 -x7612 -x7261 -x6910 -x4102 -x3751 -x3399 -x3050 -x2701 -x1305 -x8313
1186.16/1186.55 v -x7962 -x7611 -x7260 -x6909 -x6558 -x6207 -x5856 -x4101 -x3750 -x3398 -x3049 -x2700 -x2351 -x1304 -x955 -x606 -x8312 -x4100
1186.16/1186.55 v -x3749 -x3048 -x2699 -x7960 -x7609 -x7258 -x6907 -x6556 -x6205 -x5854 -x5503 -x5152 -x4801 -x4450 -x4099 -x3396 -x2349 -x2000
1186.16/1186.55 v -x1651 -x1302 -x953 -x604 -x255 -x8310 -x5502 -x3747 -x3046 -x2697 -x1999 -x8309 -x4097 -x3746 -x3045 -x2696 -x8308 -x7957
1186.16/1186.55 v -x7606 -x7255 -x6904 -x6553 -x6202 -x5851 -x5149 -x4798 -x4447 -x4096 -x3393 -x2695 -x2346 -x1997 -x1648 -x1299 -x950 -x601
1186.16/1186.55 v -x252 -x8307 -x6552 -x6201 -x5850 -x5499 -x4095 -x3744 -x3043 -x2694 -x2345 -x1996 -x949 -x600 -x8306 -x5498 -x4094 -x3743 -x3042
1186.16/1186.55 v -x2693 -x1995 -x7954 -x7603 -x7252 -x6901 -x5146 -x4795 -x4444 -x4093 -x3742 -x3390 -x3041 -x1645 -x1296 -x249 -x8304 -x7953
1186.16/1186.55 v -x7602 -x7251 -x6900 -x6549 -x6198 -x5847 -x5145 -x4794 -x4443 -x4092 -x3389 -x2691 -x2342 -x1993 -x1644 -x1295 -x946 -x597
1186.16/1186.55 v -x248 -x3740 -x3039 -x8302 -x6547 -x6196 -x5845 -x5494 -x4090 -x3739 -x3038 -x2689 -x2340 -x1991 -x944 -x595 -x5142 -x4791
1186.16/1186.55 v -x4440 -x4089 -x1641 -x245 -x6545 -x6194 -x5843 -x5492 -x4088 -x3737 -x3036 -x2338 -x1989 -x942 -x593 -x8299 -x4087 -x3736
1186.16/1186.55 v -x3035 -x2686 -x6543 -x6192 -x5841 -x5490 -x4086 -x3735 -x3034 -x2336 -x1987 -x940 -x591 -x8297 -x7946 -x7595 -x7244 -x6893 -x6542
1186.16/1186.55 v -x6191 -x5840 -x4085 -x3734 -x3382 -x3033 -x2684 -x2335 -x1288 -x939 -x590 -x8296 -x4084 -x3733 -x3032 -x2683 -x8295 -x5487
1186.16/1186.55 v -x5136 -x4785 -x4434 -x3732 -x3031 -x2682 -x1984 -x1635 -x239 -x8294 -x7943 -x7592 -x7241 -x6890 -x4082 -x3731 -x3379 -x3030
1186.16/1186.55 v -x2681 -x1285 -x4081 -x6537 -x6186 -x5835 -x5133 -x4782 -x4431 -x3729 -x3028 -x2330 -x1632 -x934 -x585 -x236 -x8291 -x7940
1186.16/1186.55 v -x7589 -x7238 -x6887 -x6536 -x6185 -x5834 -x5483 -x4079 -x3728 -x3376 -x3027 -x2678 -x2329 -x1282 -x933 -x584 -x7938 -x7587
1186.16/1186.55 v -x7236 -x6885 -x5481 -x5130 -x4779 -x4428 -x3726 -x3374 -x3025 -x1978 -x1629 -x1280 -x233 -x8288 -x3725 -x3024 -x2675 -x7936
1186.16/1186.55 v -x7585 -x7234 -x6883 -x6532 -x6181 -x5830 -x3724 -x3372 -x3023 -x2325 -x1976 -x1278 -x929 -x580 -x7935 -x7584 -x7233 -x6882
1186.16/1186.55 v -x6531 -x6180 -x5829 -x4074 -x3371 -x2673 -x2324 -x1975 -x1277 -x928 -x579 -x8285 -x4073 -x3722 -x3021 -x2672 -x7933 -x7582
1186.16/1186.55 v -x7231 -x6880 -x6529 -x6178 -x5827 -x3721 -x3369 -x3020 -x2322 -x1973 -x1275 -x926 -x577 -x2670 -x8283 -x4071 -x3720 -x3018 -x2669
1186.16/1186.55 v -x8282 -x7931 -x7580 -x7229 -x6878 -x6527 -x6176 -x5825 -x5474 -x3719 -x3366 -x3017 -x2668 -x2319 -x1970 -x1272 -x923 -x574
1186.16/1186.55 v -x8281 -x7930 -x7579 -x7228 x6877 -x6526 -x6175 -x5824 -x5122 -x4771 -x4420 -x4069 -x3718 -x3365 -x3016 -x2667 -x2318 -x1620
1186.16/1186.55 v -x1271 -x922 -x573 -x224 -x6525 -x6174 -x5823 -x5472 -x4068 -x2317 -x1968 -x921 -x572 -x8279 -x3716 -x3014 -x2665 -x8278
1186.16/1186.55 v -x7927 -x7576 -x7225 -x6874 -x6523 -x6172 -x5821 -x3715 -x3362 -x3013 -x2664 -x2315 -x1966 -x1268 -x919 -x570 -x8277 -x5118
1186.16/1186.55 v -x4767 -x4416 -x2663 -x1616 -x220 -x8276 -x4064 -x3713 -x3011 -x2662 -x8275 -x5116 -x4765 -x4414 -x2661 -x1614 -x218 -x5115 -x4764
1186.16/1186.55 v -x4413 -x3711 -x3009 -x1613 -x217 -x8273 -x7922 -x7571 -x7220 -x6869 -x6518 -x6167 -x5816 -x4061 -x3357 -x2659 -x2310 -x1961
1186.16/1186.55 v -x1263 -x914 -x565 -x7921 -x7570 -x7219 -x6868 -x6517 -x6166 -x5815 -x4060 -x3709 -x3356 -x3007 -x2309 -x1960 -x1262 -x913
1186.16/1186.55 v -x564 -x8271 -x7920 -x7569 -x7218 -x6867 -x6516 -x6165 -x5814 -x5463 -x3355 -x2308 -x1959 -x1261 -x912 -x563 -x7919 -x7568
1186.16/1186.55 v -x7217 -x6866 -x5111 -x4760 -x4409 -x3707 -x3354 -x3005 -x1609 -x1260 -x213 -x6514 -x6163 -x5812 -x4057 -x3706 -x3004 -x2655
1186.16/1186.55 v -x2306 -x910 -x561 -x8268 -x7917 -x7566 -x7215 -x6864 -x6513 -x6162 -x5811 -x5460 -x3705 -x3352 -x3003 -x2305 -x1956 -x1258
1186.16/1186.55 v -x909 -x560 -x6512 -x6161 -x5810 -x4055 -x3704 -x3002 -x2653 -x2304 -x908 -x559 -x8265 -x4053 -x3702 -x3000 -x2651 -x8264 -x3701
1186.16/1186.55 v -x2999 -x2650 -x8263 -x7912 -x7561 -x7210 -x6859 -x3700 -x3347 -x2998 -x2649 -x1253 -x8262 -x7911 -x7560 -x7209 -x6858 -x4050
1186.16/1186.55 v -x3699 -x3346 -x2997 -x2648 -x1252 -x8261 -x4049 -x3698 -x2996 -x2647 -x7909 -x7558 -x7207 -x6856 -x3344 -x1250 -x5100
1186.16/1186.55 v -x4749 -x4398 -x3696 -x2994 -x1598 -x202 -x7907 -x7556 -x7205 -x6854 -x6503 -x6152 -x5801 -x5450 -x4046 -x3342 -x2295 -x1946
1186.16/1186.55 v -x1248 -x899 -x550 -x6502 -x6151 -x5800 -x5449 -x5098 -x4747 -x4396 -x3694 -x2992 -x2294 -x1945 -x1596 -x898 -x549 -x200 -x8256
1186.16/1186.55 v -x6501 -x6150 -x5799 -x5448 -x5097 -x4746 -x4395 -x3693 -x2991 -x2642 -x2293 -x1944 -x1595 -x897 -x548 -x199 -x8255 -x4043
1186.16/1186.55 v -x3692 -x2990 -x2641 -x6499 -x6148 -x5797 -x5446 -x4042 -x2291 -x1942 -x895 -x546 -x8253 -x4041 -x3690 -x2988 -x2639 -x6497
1186.16/1186.55 v -x6146 -x5795 -x5444 -x4040 -x2289 -x1940 -x893 -x544 -x8251 -x4039 -x3688 -x2986 -x2637 -x3687 -x2985 -x7898 -x7547 -x7196 -x6845
1186.16/1186.55 v -x6494 -x6143 -x5792 -x5090 -x4739 -x4388 -x4037 -x3686 -x3333 -x2984 -x2286 -x1937 -x1588 -x1239 -x890 -x541 -x192 -x3685
1186.16/1186.55 v -x2983 -x2634 -x6492 -x6141 -x5790 -x5439 -x4035 -x3684 -x2982 -x2633 -x2284 -x1935 -x888 -x539 -x8246 -x3683 -x2981 -x2632
1186.16/1186.55 v -x6490 -x6139 -x5788 -x5437 -x5086 -x4735 -x4384 -x4033 -x3682 -x2980 -x2631 -x2282 -x1933 -x1584 -x886 -x537 -x188 -x8244
1186.16/1186.55 v -x5436 -x3681 -x2979 -x2630 -x1932 -x8243 -x6488 -x6137 -x5786 -x5435 -x4031 -x2629 -x2280 -x1931 -x884 -x535 -x3679 -x2977
1186.16/1186.55 v -x8241 -x2627 -x8240 -x2626 -x8239 -x6484 -x6133 -x5782 -x5431 -x4027 -x2625 -x2276 -x1927 -x880 -x531 -x3322 -x2624 -x1228 -x6483
1186.16/1186.55 v -x6132 -x5781 -x5079 -x4728 -x4377 -x4026 -x3675 -x2972 -x2274 -x1925 -x1576 -x878 -x529 -x180 -x6482 -x6131 -x5780 -x5429
1186.16/1186.55 v -x2273 -x1924 -x877 -x528 -x8236 -x5428 -x5077 -x4726 -x4375 -x3673 -x2970 -x2621 -x1923 -x1574 -x178 -x8235 -x6480 -x6129
1186.16/1186.55 v -x5778 -x5076 -x4725 -x4374 -x3672 -x2969 -x2620 -x2271 -x1573 -x875 -x526 -x177 -x7883 -x7532 -x7181 -x6830 -x5075 -x4724
1186.16/1186.55 v -x4373 -x4022 -x3317 -x1572 -x1223 -x176 -x8233 -x6478 -x6127 -x5776 -x5425 -x4021 -x2618 -x2269 -x1920 -x873 -x524 -x8232 -x7881
1186.16/1186.55 v -x7530 -x7179 -x6828 -x3669 -x3315 -x2966 -x2617 -x1221 -x3668 -x8230 -x7879 -x7528 -x7177 -x6826 -x3667 -x3314 -x2965 -x2616
1186.16/1186.55 v -x1220 -x7878 -x7527 -x7176 -x6825 -x6474 -x6123 -x5772 -x5421 -x4017 -x3666 -x3313 -x2964 -x2615 -x2266 -x1219 -x870 -x521
1186.16/1186.55 v -x8228 -x7877 -x7526 -x7175 -x6824 -x3665 -x3312 -x2963 -x2614 -x1218 -x7876 -x7525 -x7174 -x6823 -x6472 -x6121 -x5770 -x4015
1186.16/1186.55 v -x3311 -x2613 -x2264 -x1915 -x1217 -x868 -x519 -x8226 -x5067 -x4716 -x4365 -x3663 -x2961 -x2612 -x1565 -x169 -x8225 -x7874
1186.16/1186.55 v -x7523 -x7172 -x6821 -x5066 -x4715 -x4364 -x4013 -x3309 -x2611 -x1564 -x1215 -x168 -x8224 -x3661 -x2959 -x2610 -x8223 -x7872
1186.16/1186.55 v -x7521 -x7170 -x6819 -x3660 -x3307 -x2958 -x2609 -x1213 -x8222 -x7871 -x7520 -x7169 -x6818 -x6467 -x6116 -x5765 -x5414 -x3306
1186.16/1186.55 v -x2608 -x2259 -x1910 -x1212 -x863 -x514 -x8221 -x4009 -x3658 -x2956 -x2607 -x8220 -x6465 -x6114 -x5763 -x5412 -x3657 -x2955
1186.16/1186.55 v -x2606 -x2257 -x1908 -x861 -x512 -x7868 -x7517 -x7166 -x6815 -x6464 -x6113 -x5762 -x5060 -x4709 -x4358 -x4007 -x3656 -x3303
1186.16/1186.55 v -x2954 -x2256 -x1558 -x1209 -x860 -x511 -x162 -x8218 -x4006 -x3655 -x2953 -x2604 -x8217 -x7866 -x7515 -x7164 -x6813 -x4005
1186.16/1186.55 v -x3654 -x3301 -x2952 -x2603 -x1207 -x8216 -x4004 -x3653 -x2951 -x2602 -x8215 -x4003 -x3652 -x2950 -x2601 -x8214 -x7863 -x7512
1186.16/1186.55 v -x7161 -x6810 -x5055 -x4704 -x4353 -x4002 -x3651 -x3298 -x2949 -x2600 -x1553 -x1204 -x157 -x7862 -x7511 -x7160 -x6809 -x6458
1186.16/1186.55 v -x6107 -x5756 -x4001 -x3297 -x2599 -x2250 -x1901 -x1203 -x854 -x505 -x7861 -x7510 -x7159 -x6808 -x6457 -x6106 -x5755 -x5404
1186.16/1186.55 v -x4000 -x3649 -x3296 -x2947 -x2598 -x2249 -x1202 -x853 -x504 -x8211 -x3999 -x3648 -x2946 -x2597 -x7859 -x7508 -x7157 -x6806
1186.16/1186.55 v -x6455 -x6104 -x5753 -x5402 -x3998 -x3294 -x2247 -x1898 -x1200 -x851 -x502 -x5050 -x4699 -x4348 -x3997 -x3646 -x2944 -x1548 -x152
1186.16/1186.55 v -x7857 -x7506 -x7155 -x6804 -x6453 -x6102 -x5751 -x5049 -x4698 -x4347 -x3996 -x3292 -x2245 -x1896 -x1547 -x1198 -x849 -x500
1186.16/1186.55 v -x151 -x8207 -x7856 -x7505 -x7154 -x6803 -x3995 -x3291 -x2593 -x1197 -x8206 -x7855 -x7504 -x7153 -x6802 -x3643 -x3290 -x2941
1186.16/1186.55 v -x2592 -x1196 -x8205 -x5046 -x4695 -x4344 -x3993 -x3642 -x2940 -x2591 -x1544 -x148 -x8204 -x6449 -x6098 -x5747 -x5396 -x3992
1186.16/1186.55 v -x3641 -x2939 -x2241 -x1892 -x845 -x496 -x8203 -x6448 -x6097 -x5746 -x5395 -x3991 -x2589 -x2240 -x1891 -x844 -x495 -x8202
1186.16/1186.55 v -x7851 x7500 -x7149 -x6798 -x6447 -x6096 -x5745 -x5394 -x5043 -x4692 -x4341 -x3990 -x3639 -x3286 -x2937 -x2588 x2239 -x1890
1186.16/1186.55 v -x1541 -x1192 -x843 -x494 -x145 -x8201 -x3989 -x3638 -x2936 -x2587 -x8200 -x5041 -x4690 -x4339 -x3988 -x3637 -x2935 -x2586 -x1539
1186.16/1186.55 v -x143 -x5039 -x4688 -x4337 -x1537 -x141 -x8197 -x3985 -x3634 -x2932 -x2583 -x8196 -x5037 -x4686 -x4335 -x3984 -x3633 -x2931
1186.16/1186.55 v -x2582 -x1535 -x139 -x8195 -x7844 -x7493 -x7142 -x6791 -x3983 -x3632 -x3279 -x2930 -x2581 -x1185 -x8194 -x3982 -x3631 -x2929
1186.16/1186.55 v -x2580 -x7842 -x7491 -x7140 -x6789 -x6438 -x6087 -x5736 -x5385 -x5034 -x4683 -x4332 -x3981 -x3630 -x3277 -x2928 -x2579 -x2230
1186.16/1186.55 v -x1532 -x1183 -x834 -x485 -x136 -x8192 -x6437 -x6086 -x5735 -x5033 -x4682 -x4331 -x3980 -x2578 -x2229 -x1531 -x833 -x484
1186.16/1186.55 v -x135 -x8191 -x3979 -x3628 -x2926 -x2577 -x5031 -x4680 -x4329 -x3978 -x3627 -x2925 -x1529 -x133 -x8189 -x7838 -x7487 -x7136
1186.16/1186.55 v -x6785 -x3977 -x3626 -x3273 -x2924 -x2575 -x1179 -x8188 -x7837 -x7486 -x7135 -x6784 -x3976 -x3625 -x3272 -x2923 -x2574 -x1178
1186.16/1186.55 v -x3975 -x8186 -x3623 -x2921 -x2572 -x8185 -x3973 -x3622 -x2920 -x2571 -x8184 -x7833 -x7482 -x7131 -x6780 -x6429 -x6078 -x5727
1186.16/1186.55 v -x3972 -x3621 -x3268 -x2919 -x2570 -x2221 -x1872 -x1174 -x825 -x476 -x8183 -x5375 -x2569 -x1871 -x8182 -x7831 -x7480 -x7129
1186.16/1186.55 v -x6778 -x5023 -x4672 -x4321 -x3970 -x3619 -x3266 -x2917 -x2568 -x1521 -x1172 -x125 -x8180 -x7829 -x7478 -x7127 -x6776 -x5372
1186.16/1186.55 v -x3968 -x3264 -x2566 -x1868 -x1170 -x8179 -x7828 -x7477 -x7126 -x6775 -x3967 -x3616 -x3263 -x2914 -x2565 -x1169 -x8178 -x5019
1186.16/1186.55 v -x4668 -x4317 -x3966 -x2564 -x1517 -x121 -x8177 -x3965 -x3614 -x2912 -x2563 -x8176 -x7825 -x7474 -x7123 -x6772 -x6421 -x6070
1186.16/1186.55 v -x5719 -x3964 -x3260 -x2562 -x2213 -x1864 -x1166 -x817 -x468 -x8175 -x7824 -x7473 -x7122 -x6771 -x3259 -x2561 -x1165 -x8174
1186.16/1186.55 v -x6419 -x6068 -x5717 -x5366 -x3611 -x2909 -x2560 -x2211 -x1862 -x815 -x466 -x7822 -x7471 -x7120 -x6769 -x6418 -x6067 -x5716
1186.16/1186.55 v -x5365 -x5014 -x4663 -x4312 -x3961 -x3257 -x2210 -x1861 -x1512 -x1163 -x814 -x465 -x116 -x8172 -x2558 -x8171 -x7820 -x7469 -x7118
1186.16/1186.55 v -x6767 -x3608 -x3255 -x2906 -x2557 -x1161 -x7819 -x7468 -x7117 -x6766 -x6415 -x6064 -x5713 -x5362 -x5011 -x4660 -x4309 -x3958
1186.16/1186.55 v -x3254 -x2556 -x2207 -x1858 -x1509 -x1160 -x811 -x462 -x113 -x8169 -x7818 -x7467 -x7116 -x6765 -x3957 -x3606 -x3253 -x2904
1186.16/1186.55 v -x2555 -x1159 -x7817 -x7466 -x7115 -x6764 -x6413 -x6062 -x5711 -x5360 -x5009 -x4658 -x4307 -x3956 -x3252 -x2205 -x1856 -x1507
1186.16/1186.55 v -x1158 -x809 -x460 -x111 -x8167 -x5008 -x4657 -x4306 -x3604 -x2902 -x2553 -x1506 -x110 -x7815 -x7464 -x7113 -x6762 -x5007
1186.16/1186.55 v -x4656 -x4305 -x3954 -x3250 -x1505 -x1156 -x109 -x5006 -x4655 -x4304 -x3953 -x3602 -x2900 -x1504 -x108 -x5005 -x4654 -x4303
1186.16/1186.55 v -x3601 -x2899 -x2550 -x1503 -x107 -x8163 -x7812 -x7461 -x7110 -x6759 -x5004 -x4653 -x4302 -x3951 -x3600 -x3247 -x2898 -x2549
1186.16/1186.55 v -x1502 -x1153 -x106 -x8162 -x3599 -x2897 -x2548 -x6406 -x6055 -x5704 -x3949 -x3598 -x2896 -x2198 -x802 -x453 -x8159 -x7808 -x7457
1186.16/1186.55 v -x7106 -x6755 -x6404 -x6053 -x5702 -x5000 -x4649 -x4298 -x3947 -x8158 -x3946 -x3595 -x2894 -x2545 -x8157 -x7806 -x7455
1186.16/1186.55 v -x7104 -x6753 -x6402 -x6051 -x5700 -x3945 -x3594 -x3242 -x2893 -x2544 -x2195 -x1846 -x1148 -x799 -x450 -x8156 -x3944 -x3593 -x2892
1186.16/1186.55 v -x2543 -x8155 -x7804 -x7453 -x7102 -x6751 -x6400 -x6049 -x5698 -x3943 -x3592 -x3240 -x2891 -x2542 -x2193 -x1146 -x797 -x448
1186.16/1186.55 v -x4994 -x4643 -x4292 -x3941 -x3590 -x2889 -x2540 -x1493 -x97 -x8152 -x3589 -x2888 -x2539 -x8151 -x3939 -x3588 -x2887 -x2538
1186.16/1186.55 v -x6395 -x6044 -x5693 -x5342 -x2188 -x1839 -x792 -x443 -x8149 -x7798 -x7447 -x7096 -x6745 -x6394 -x6043 -x5692 -x4990 -x4639
1186.16/1186.55 v -x4288 -x3937 -x3234 -x2536 -x2187 -x1489 -x1140 -x791 -x442 -x93 -x8147 -x7796 -x7445 -x7094 -x6743 -x5339 -x3935 -x3584
1186.16/1186.55 v -x3232 -x2883 -x2534 -x1836 -x1138 -x8146 -x6391 -x6040 -x5689 -x3934 -x3583 -x2882 -x2533 -x2184 -x1835 -x788 -x439 -x3582 -x2881
1186.16/1186.55 v -x8144 -x3932 -x3581 -x2880 -x2531 -x8143 -x7792 -x7441 -x7090 -x6739 -x6388 -x6037 -x5686 -x3931 -x3580 -x3228 -x2879
1186.16/1186.55 v -x2530 -x2181 -x1832 -x1134 -x785 -x436 -x8142 -x7791 -x7440 -x7089 -x6738 -x4983 -x4632 -x4281 -x3930 -x3579 -x3227 -x2878 -x2529
1186.16/1186.55 v -x1482 -x1133 -x86 -x8141 -x3929 -x3578 -x2877 -x2528 -x8140 -x7789 -x7438 -x7087 -x6736 -x6385 -x6034 -x5683 -x3928 -x3577
1186.16/1186.55 v -x3225 -x2876 -x2527 -x2178 -x1131 -x782 -x433 -x7788 -x7437 -x7086 -x6735 -x6384 -x6033 -x5682 -x3927 -x3576 -x3224 -x2875
1186.16/1186.55 v -x2526 -x2177 -x1828 -x1130 -x781 -x432 -x8138 -x7787 -x7436 -x7085 -x6734 -x3926 -x3575 -x3223 -x2874 -x2525 -x1129 -x8137
1186.16/1186.55 v -x7786 -x7435 -x7084 -x6733 -x6382 -x6031 -x5680 -x5329 -x3925 -x3222 -x2524 -x2175 -x1826 -x1128 -x779 -x430 -x8136 -x6381
1186.16/1186.55 v -x6030 -x5679 -x5328 -x3924 -x3573 -x2872 -x2523 -x2174 -x1825 -x778 -x429 -x8135 -x3923 -x3572 -x2871 -x2522 -x8134 -x3922
1186.16/1186.55 v -x3571 -x2870 -x2521 -x8133 -x7782 -x7431 -x7080 -x6729 -x7781 -x7430 -x7079 -x6728 -x6377 -x6026 -x5675 -x5324 -x4973 -x4622
1186.16/1186.55 v -x4271 -x3920 -x3569 -x3218 -x2869 -x2520 x2171 -x1822 -x1473 -x1124 -x775 -x426 -x77 -x8131 -x7780 -x7429 -x7078 -x6727 -x6376
1186.16/1186.55 v -x6025 -x5674 -x5323 -x3919 -x3217 -x2519 -x2170 -x1821 -x1123 -x774 -x425 -x7779 -x7428 -x7077 -x6726 -x6375 -x6024 -x5673
1186.16/1186.55 v -x5322 -x4971 -x4620 -x4269 -x3918 -x3216 -x2169 -x1820 -x1471 -x1122 -x773 -x424 -x75 -x8129 -x6374 -x6023 -x5672 -x5321
1186.16/1186.55 v -x3917 -x2517 -x2168 -x1819 -x772 -x423 -x8128 -x3916 -x3565 -x2865 -x2516 -x8127 -x7776 -x7425 -x7074 -x6723 -x3915 -x3564
1186.16/1186.55 v -x3213 -x2864 -x2515 -x1119 -x8126 -x7775 -x7424 -x7073 -x6722 -x3914 -x3563 -x3212 -x2863 -x2514 -x1118 -x8125 -x7774 -x7423
1186.16/1186.55 v -x7072 -x6721 -x6370 -x6019 -x5668 -x4966 -x4615 -x4264 -x3913 -x3211 -x2513 -x2164 -x1815 -x1466 -x1117 -x768 -x419 -x70 -x8124
1186.16/1186.55 v -x7773 -x7422 -x7071 -x6720 -x3912 -x3561 -x3210 -x2861 -x2512 -x1116 -x8123 -x7772 -x7421 -x7070 -x6719 -x6368 -x6017 -x5666
1186.16/1186.55 v -x3911 -x3209 -x2511 -x2162 -x1813 -x1115 -x766 -x417 -x7771 -x7420 -x7069 -x6718 -x6367 -x6016 -x5665 -x5314 -x4963 -x4612
1186.16/1186.55 v -x4261 -x3910 -x3208 -x2510 -x2161 -x1812 -x1463 -x1114 -x765 -x416 -x67 -x8121 -x4962 -x4611 -x4260 -x3909 -x3558 -x2858
1186.16/1186.55 v -x2509 -x1462 -x66 -x7769 -x7418 -x7067 -x6716 -x6365 -x6014 -x5663 -x5312 -x4961 -x4610 -x4259 -x3908 -x3206 -x2508 -x2159
1186.16/1186.55 v -x1810 -x1461 -x1112 -x763 -x414 -x65 -x8119 -x7768 -x7417 -x7066 -x6715 -x3907 -x3556 -x3205 -x2856 -x2507 -x1111 -x8118 -x3555
1186.16/1186.55 v -x2855 -x2506 -x7766 -x7415 -x7064 -x6713 -x6362 -x6011 -x5660 -x4958 -x4607 -x4256 -x3905 -x8116 -x5308 -x3904 -x3553 -x2854
1186.16/1186.55 v -x2505 -x8115 -x5307 -x3903 -x3552 -x2853 -x2504 -x8114 -x7763 -x7412 -x7061 -x6710 -x3902 -x3551 -x3201 -x2852 -x2503
1186.16/1186.55 v -x1107 -x7762 -x7411 -x7060 -x6709 -x6358 -x6007 -x5656 -x5305 -x4954 -x4603 -x4252 -x3901 -x3200 -x2502 -x2153 -x1804 -x1455
1186.16/1186.55 v -x1106 -x757 -x408 -x59 -x8112 -x7761 -x7410 -x7059 -x6708 -x6357 -x6006 -x5655 -x5304 -x4953 -x4602 -x4251 -x3199 -x2501 -x2152
1186.16/1186.55 v -x1803 -x1454 -x1105 -x756 -x407 -x58 -x8111 -x3899 -x3548 -x2849 -x2500 -x8110 -x7759 -x7408 -x7057 -x6706 -x6355 -x6004
1186.16/1186.55 v -x5653 -x4951 -x4600 -x4249 -x3898 -x3197 -x2499 -x2150 -x1801 -x1452 -x1103 -x754 -x405 -x56 -x7758 -x7407 -x7056 -x6705 -x6354
1186.16/1186.55 v -x6003 -x5652 -x4950 -x4599 -x4248 -x3897 -x8108 -x7757 -x7406 -x7055 -x6704 -x3896 -x3545 -x3196 -x2847 -x2498 -x1102
1186.16/1186.55 v -x7756 -x7405 -x7054 -x6703 -x3895 -x3544 -x3195 -x2846 -x1101 -x8106 -x3543 -x2845 -x2496 -x8105 -x6350 -x5999 -x5648 -x5297
1186.16/1186.55 v -x3893 -x3542 -x2844 -x2495 -x2146 -x1797 -x750 -x401 -x8104 -x7753 -x7402 -x7051 -x6700 -x3892 -x3541 -x3192 -x2843 -x2494
1186.16/1186.55 v -x1098 -x8103 -x7752 -x7401 -x7050 -x6699 -x3891 -x3540 -x3191 -x2842 -x2493 -x1097 -x7751 -x7400 -x7049 -x6698 -x3890 -x3539
1186.16/1186.55 v -x3190 -x2841 -x1096 -x8101 -x7750 -x7399 -x7048 -x6697 -x6346 -x5995 -x5644 -x5293 -x3889 -x3189 -x2491 -x2142 -x1793 -x1095
1186.16/1186.55 v -x746 -x397 -x8099 -x3536 -x2838 -x2489 -x6343 -x5992 -x5641 -x5290 -x2139 -x1790 -x743 -x394 -x8097 -x3885 -x3534 -x2836 -x2487
1186.16/1186.55 v -x8096 -x7745 -x7394 -x7043 -x6692 -x4937 -x4586 -x4235 -x3184 -x2486 -x1439 -x1090 -x43 -x8095 -x2485 -x6339 -x5988 -x5637
1186.16/1186.55 v -x3882 -x3531 -x2833 -x2135 -x1786 -x739 -x390 -x8093 -x6338 -x5987 -x5636 -x5285 -x3881 -x2483 -x2134 -x1785 -x738 -x389
1186.16/1186.55 v -x8092 -x2482 -x7740 -x7389 -x7038 -x6687 -x4932 -x4581 -x4230 -x3528 -x3179 -x2830 -x1434 -x1085 -x38 -x8089 -x6334 -x5983
1186.16/1186.55 v -x5632 -x3877 -x2479 -x2130 -x1781 -x734 -x385 -x7737 -x7386 -x7035 -x6684 -x6333 -x5982 -x5631 -x5280 -x4929 -x4578 -x4227
1186.16/1186.55 v -x3876 -x3525 -x3176 -x2827 -x2129 -x1431 -x1082 -x733 -x384 -x35 -x7736 -x7385 -x7034 -x6683 -x6332 -x5981 -x5630 -x5279 -x4928
1186.16/1186.55 v -x4577 -x4226 -x3875 -x3175 -x2477 -x2128 -x1430 -x1081 -x732 -x383 -x34 -x8086 -x3874 -x3523 -x2825 -x2476 -x6330 -x5979
1186.16/1186.55 v -x5628 -x5277 -x4926 -x4575 -x4224 -x3522 -x2824 -x2126 -x1777 -x1428 -x730 -x381 -x32 -x6329 -x5978 -x5627 -x5276 -x4925 -x4574
1186.16/1186.55 v -x4223 -x3521 -x2823 -x2125 -x1776 -x1427 -x729 -x380 -x31 -x8083 -x7732 -x7381 -x7030 -x6679 -x6328 -x5977 -x5626 -x4924
1186.16/1186.55 v -x4573 -x4222 -x3871 -x3171 -x2473 -x2124 -x1775 -x1426 -x1077 -x728 -x379 -x30 -x7731 -x7380 -x7029 -x6678 -x4923 -x4572 -x4221
1186.16/1186.55 v -x3870 -x3519 -x3170 -x2821 -x2472 -x1425 -x1076 -x29 -x7730 -x7379 -x7028 -x6677 -x6326 -x5975 -x5624 -x5273 -x4922 -x4571
1186.16/1186.55 v -x4220 -x3869 -x3169 -x2471 -x2122 -x1773 -x1424 -x1075 -x726 -x377 -x28 -x7729 -x7378 -x7027 -x6676 -x3868 -x3168 -x2470
1186.16/1186.55 v -x1074 -x5271 -x3867 -x3516 -x2818 -x8078 -x7727 -x7376 -x7025 -x6674 -x4919 -x4568 -x4217 -x3866 -x3515 -x3166 -x2817 -x1421
1186.16/1186.55 v -x1072 -x25 -x8077 -x7726 -x7375 -x7024 -x6673 -x6322 -x5971 -x5620 -x5269 -x4918 -x4567 -x4216 -x3165 -x2467 -x2118 -x1769
1186.16/1186.55 v -x1420 -x1071 -x722 -x373 -x24 -x8076 -x2466 -x8075 -x3863 -x3512 -x2814 -x2465 -x8074 -x3862 -x3511 -x2813 -x2464 -x8073 -x7722
1186.16/1186.55 v -x7371 -x7020 -x6669 -x6318 -x5967 -x5616 -x5265 -x4914 -x4563 -x4212 -x3861 -x3161 -x2463 -x2114 -x1416 -x1067 -x718 -x369
1186.16/1186.55 v -x20 -x7721 -x7370 -x7019 -x6668 -x6317 -x5966 -x5615 -x5264 -x4913 -x4562 -x4211 -x3860 -x3509 -x3160 -x2811 -x2462 x2113
1186.16/1186.55 v -x1764 -x1415 -x1066 -x717 -x368 -x19 -x7720 -x7369 -x7018 -x6667 -x5263 -x4912 -x4561 -x4210 -x3508 -x3159 -x2810 -x1763
1186.16/1186.55 v -x1414 -x1065 -x18 -x7719 -x7368 -x7017 -x6666 -x6315 -x5964 -x5613 -x5262 -x4911 -x4560 -x4209 -x3858 -x3158 -x2111 -x1762 -x1413
1186.16/1186.55 v -x1064 -x715 -x366 -x17 -x8069 -x7718 -x7367 -x7016 -x6665 -x5261 -x4910 -x4559 -x4208 -x3506 -x3157 -x2808 -x1761 -x1412
1186.16/1186.55 v -x1063 -x16 -x7717 -x7366 -x7015 -x6664 -x4909 -x4558 -x4207 -x3856 -x3505 -x3156 -x2807 -x1411 -x1062 -x15 -x8067 -x4908
1186.16/1186.55 v -x4557 -x4206 -x3855 -x3504 -x2806 -x2457 -x1410 -x14 -x8066 -x3854 -x3503 -x2805 -x2456 -x8065 -x5257 -x3853 -x3502 -x2804 -x2455
1186.16/1186.55 v -x8064 -x5256 -x3501 -x2803 -x2454 -x8063 -x7712 -x7361 -x7010 -x6659 -x6308 -x5957 -x5606 -x5255 -x4904 -x4553 -x4202
1186.16/1186.55 v -x3500 -x3151 -x2802 -x2453 -x2104 -x1406 -x1057 -x708 -x359 -x10 -x5254 -x3850 -x1754 -x8061 -x5253 -x3498 -x2800 -x2451 -x1753
1186.16/1186.55 v -x5251 -x4900 -x4549 -x4198 -x1402 -x6 -x8058 -x7707 -x7356 -x7005 -x6654 -x6303 -x5952 -x5601 -x3846 -x3495 -x3146 -x2797
1186.16/1186.55 v -x2448 -x2099 -x1750 -x1052 -x703 -x354 -x7706 -x7355 -x7004 -x6653 -x6302 -x5951 -x5600 -x3145 -x2098 -x1749 -x1051 -x702
1186.16/1186.55 v -x353 -x8056 -x6301 -x5950 -x5599 -x5248 -x3844 -x3493 -x2795 -x2446 -x2097 -x1748 -x701 -x352 -x6300 -x5949 -x5598 -x5247 -x3843
1186.16/1186.55 v -x2096 -x1747 -x700 -x351 -x2793 x2095 -x8053 -x7702 x7351 -x7000 x3140 -x8052 -x7701 x7350 -x6999 -x5946 -x4191 -x3840
1186.16/1186.55 v -x3488 -x3139 x2441 -x2092 -x1394 -x8051 -x7700 -x7349 -x6998 -x6647 -x6296 x5945 -x5594 -x5243 -x4892 -x4541 -x3487 -x2440 -x2091
1186.16/1186.55 v -x1742 -x1393 -x1044 -x695 x346 x8401 -x8050 -x7699 -x7348 -x6997 x3486 -x1392 -x8049 -x7698 -x7347 -x6996 -x6645 -x6294
1186.16/1186.55 v x5943 -x5241 -x4890 -x4539 -x4188 -x3837 x3485 -x3136 -x2438 -x1740 -x1391 -x1042 -x693 -x344 x6644 -x6293 -x5942 x2786 -x2437
1186.16/1186.55 v -x1041 -x692 x5590 -x5239 -x4888 -x4537 -x1738 x342 -x8046 x7695 -x7344 -x6993 x2435 -x2086 -x1737 -x1039 -x690 -x341 -x8396
1186.16/1186.55 v x3833 -x3132 x2783 -x8044 -x7693 -x7342 -x6991 -x6640 -x6289 -x5938 -x5587 -x5236 -x4885 x4534 -x3480 -x2433 -x2084 -x1735
1186.16/1186.55 v x1386 -x1037 -x688 -x339 x8394 x2083 -x8393 x6638 -x6287 -x5936 -x5585 -x5234 x2780 -x2431 -x2082 -x1035 -x686 -x8392 -x8041
1186.16/1186.55 v x7690 -x7339 -x6988 -x6637 -x6286 -x5935 -x5584 -x5233 -x4882 -x4531 -x4180 -x3477 -x2779 -x2430 -x2081 -x1732 -x1383 x1034
1186.16/1186.55 v -x685 -x336 x6285 -x4179 x2778 x8039 -x7688 -x7337 -x6986 -x6635 -x6284 -x5933 -x5582 -x5231 -x4880 -x4529 -x3475 -x2428 -x2079
1186.16/1186.55 v -x1730 -x1381 -x1032 x683 -x334 -x5581 x4177 -x3826 x3125 -x6633 x6282 -x5931 -x5229 -x4878 -x4527 -x2426 -x1728 -x1030 -x681
1186.16/1186.55 v x332 -x8387 x3824 -x3123 x2774 x8035 -x7684 -x7333 -x6982 -x5227 -x4876 -x4525 -x3823 -x3471 -x3122 -x1726 -x1377 x330 -x8385
1186.16/1186.55 v x3822 -x3121 x2772 x8033 -x7682 -x7331 -x6980 -x5576 -x5225 -x4874 -x4523 -x3469 -x1724 -x1375 x328 -x8032 -x7681 -x7330
1186.16/1186.55 v -x6979 x5575 x3468 -x1374 -x8031 -x7680 -x7329 x6978 -x5574 -x5223 -x4872 -x4521 -x3467 -x1722 -x1373 x326 -x8030 x7679 -x7328
1186.16/1186.55 v -x6977 -x6626 -x6275 -x5924 -x5573 -x3466 -x2419 x2070 -x1372 -x1023 -x674 x5572 -x8028 -x7677 -x7326 x6975 -x3816 -x3464
1186.16/1186.55 v x3115 -x1370 -x5219 -x4868 -x4517 x4166 -x3815 -x3114 -x1718 x322 -x8026 -x7675 x7324 -x6973 -x3814 -x3462 x3113 -x1368 -x6621
1186.16/1186.55 v -x6270 -x5919 -x5568 x4164 -x2414 -x2065 x1018 -x669 -x5216 -x4865 -x4514 x4163 -x1715 x319 -x6619 -x6268 x5917 -x5566 -x5215
1186.16/1186.55 v -x4864 -x4513 -x2412 -x2063 x1714 -x1016 -x667 -x318 -x5565 x3810 -x3109 x2062 -x6617 -x6266 -x5915 x3809 -x3108 x2410 -x1014
1186.16/1186.55 v -x665 -x8020 -x7669 -x7318 -x6967 -x5563 x3808 -x3456 -x3107 x1362 -x8019 -x7668 x7317 -x6966 -x6615 -x6264 -x5913 -x5562
1186.16/1186.55 v -x5211 -x4860 -x4509 -x3455 -x2408 -x2059 -x1710 -x1361 x1012 -x663 -x314 -x8018 -x7667 -x7316 -x6965 -x6614 -x6263 x5912 -x5561
1186.16/1186.55 v -x5210 -x4859 -x4508 -x4157 -x3806 x3454 -x3105 -x2407 -x2058 -x1709 -x1360 -x1011 -x662 -x313 -x8017 -x7666 -x7315 -x6964
1186.16/1186.55 v -x6613 x6262 -x5911 -x5560 -x4156 x3453 -x2406 -x2057 -x1359 -x1010 -x661 x1707 -x311 -x8016 -x7665 -x7314 -x6963 -x6612
1186.16/1186.55 v -x6261 -x5910 -x5559 -x5208 -x4857 x4506 -x4155 -x3451 -x2404 -x2055 -x1706 x1357 -x1008 -x659 -x310 -x6611 -x6260 x5909 -x5558
1186.16/1186.55 v -x4154 -x3803 x3101 -x2403 -x2054 -x1007 -x658 -x8365 -x6610 -x6259 -x5908 -x5557 x4153 -x3802 -x3100 -x2751 -x2402 -x2053
1186.16/1186.55 v x1006 -x657 -x8364 x3801 -x3099 x2750 -x5554 -x5203 x4852 -x4501 -x1701 -x305 -x6606 -x6255 -x5904 -x5553 -x5202 x4851 -x4500
1186.16/1186.55 v -x3798 -x3096 -x2398 -x2049 -x1700 -x1002 x653 -x304 -x8360 x6254 -x5552 -x5201 -x3797 x3095 -x2048 -x8359 x8008 -x7657 -x7306
1186.16/1186.55 v -x6955 -x6604 -x6253 -x5902 -x5551 -x5200 -x4849 -x4498 -x3443 -x2396 x2047 -x1698 -x1349 -x1000 -x651 -x302 -x6602 -x6251
1186.16/1186.55 v -x5900 -x5198 x4847 -x4496 -x2394 -x2045 -x1696 x998 -x649 -x300 -x8005 -x7654 -x7303 -x6952 x6601 -x6250 -x5899 -x5548 -x5197
1186.16/1186.55 v -x4846 -x4495 -x3440 -x2393 -x2044 -x1695 x1346 -x997 -x648 -x299 -x8004 -x7653 -x7302 x6951 -x6600 -x6249 -x5898 -x5547
1186.16/1186.55 v -x5196 -x4845 -x4494 -x3439 -x2392 -x2043 -x1694 -x1345 -x996 x647 -x298 x8003 -x7652 -x7301 -x6950 -x6599 -x6248 -x5897 -x5546
1186.16/1186.55 v -x3438 x2391 -x2042 -x1344 -x995 -x646 -x3088 x2390 -x1692 -x994 -x645 -x296 x8002 -x7651 -x7300 -x6949 -x6598 -x6247 -x5896
1186.16/1186.55 v -x5545 -x5194 -x4843 -x4492 -x3436 -x2389 -x2040 -x1691 -x1342 x993 -x644 -x295 x8352 -x5193 -x4842 -x4491 x1690 -x294 -x8351
1186.16/1186.55 v x8000 -x7649 -x7298 -x6947 -x3434 x2736 -x1340 x8350 -x8349 -x7998 -x7647 x7296 -x6945 -x5190 -x4839 -x4488 -x3432 -x2734
1186.16/1186.55 v -x1687 -x1338 x291 x8348 -x6592 -x6241 -x5890 -x5539 x4135 -x3784 -x3082 -x2384 -x2035 -x988 x639 -x6591 -x6240 -x5889 -x5538
1186.16/1186.55 v x4134 x2383 -x2034 -x987 -x638 -x8345 x5537 x2731 -x7993 -x7642 -x7291 -x6940 x3781 -x3428 -x3079 x1334 -x7992 -x7641 -x7290
1186.16/1186.55 v -x6939 -x5184 x4833 -x4482 x3427 -x1682 -x1333 -x286 -x7991 -x7640 -x7289 -x6938 x5534 -x3426 x1332 -x8341 -x7990 -x7639 x7288
1186.16/1186.55 v -x6937 -x5533 -x3425 x2727 -x1331 -x7989 -x7638 -x7287 -x6936 x5181 -x4830 -x4479 -x4128 x3424 -x1679 -x1330 -x283 -x7988
1186.16/1186.55 v -x7637 -x7286 -x6935 x5180 -x4829 -x4478 x3423 -x1678 -x1329 -x282 x8338 -x5530 -x3775 x3073 -x6582 x6231 -x5880 -x5178 -x4827
1186.16/1186.55 v -x4476 -x3774 -x3072 -x2374 -x2025 -x1676 -x978 -x629 x280 -x7985 -x7634 x7283 -x6932 -x6581 -x6230 -x5879 -x5528 -x5177 -x4826
1186.16/1186.55 v -x4475 -x3420 -x2373 -x2024 -x1675 -x1326 x977 -x628 -x279 -x7984 -x7633 -x7282 -x6931 -x5176 -x4825 x4474 -x3419 -x1674
1186.16/1186.55 v x1325 -x278 -x7983 -x7632 -x7281 x6930 -x6579 -x6228 -x5877 -x5526 -x5175 -x4824 -x4473 -x3418 x2371 -x2022 -x1673 -x1324 -x975
1186.16/1186.55 v -x626 -x277 -x6578 x6227 -x5876 -x4121 -x8332 x3769 -x3068 x2719 x7980 -x7629 -x7278 -x6927 -x6576 -x6225 -x5874 -x3416
1186.16/1186.55 v -x2369 -x1322 -x973 x624 x8330 -x5522 x7978 -x7627 -x7276 -x6925 -x5170 -x4819 -x4468 -x4117 -x3414 -x1669 -x1320 x273 -x6573
1186.16/1186.55 v -x6222 x5871 -x5169 -x4818 -x4467 -x2366 -x1668 -x970 -x621 x272 -x7976 x7625 -x7274 -x6923 -x3412 x2016 -x1318 x8326 -x3763
1186.16/1186.55 v x3062 -x8325 -x6570 -x6219 x5868 -x5517 x2712 -x2363 -x2014 -x967 -x618 x8324 -x5165 -x4814 -x4463 x1664 -x268 -x7972 -x7621
1186.16/1186.55 v -x7270 x6919 -x6568 -x6217 -x5866 -x5164 -x4813 -x4462 -x3408 -x2361 -x1663 -x1314 x965 -x616 -x267 -x8322 x5514 x2709 x5513
1186.16/1186.55 v -x5162 -x4811 -x4460 x1661 -x265 -x8320 -x5512 x2707 x8319 -x5160 -x4809 -x4458 x1659 -x263 -x5159 -x4808 -x4457 x1658 -x262
1186.16/1186.55 v -x7966 x7615 -x7264 -x6913 -x6562 -x6211 -x5860 -x5509 -x3402 -x2355 -x2006 -x1308 -x959 x610 x5157 -x4806 -x4455 x2005 -x1656
1186.16/1186.55 v -x260 x5507 -x3752 x3051 -x6559 -x6208 -x5857 -x5506 -x5155 -x4804 x4453 x2352 -x2003 -x1654 -x956 -x607 -x258 -x5505 x5154
1186.16/1186.55 v -x4803 -x4452 x2002 -x1653 -x257 -x6557 -x6206 -x5855 x5504 x2350 -x2001 -x954 -x605 x8311 -x3748 x3047 -x7959 -x7608 -x7257
1186.16/1186.55 v -x6906 -x6555 -x6204 x5853 -x5151 -x4800 -x4449 -x4098 x3395 -x2348 -x1650 -x1301 -x952 -x603 -x254 -x7958 -x7607 -x7256 x6905
1186.16/1186.55 v -x6554 -x6203 -x5852 -x5501 -x5150 -x4799 -x4448 -x3394 -x2347 -x1998 -x1649 -x1300 -x951 x602 -x253 x5500 -x3745 x3044 -x7956
1186.16/1186.55 v -x7605 -x7254 -x6903 -x5148 -x4797 x4446 x3392 -x1647 -x1298 -x251 -x7955 -x7604 -x7253 x6902 -x6551 -x6200 -x5849 -x5147
1186.16/1186.55 v -x4796 -x4445 -x3391 x2344 -x1646 -x1297 -x948 -x599 -x250 -x8305 -x5497 x2692 x5496 -x3741 x3040 -x8303 -x7952 -x7601 -x7250
1186.16/1186.55 v -x6899 x5144 -x4793 -x4442 x3388 -x1643 -x1294 -x247 -x7951 x7600 -x7249 -x6898 -x5143 -x4792 -x4441 -x3387 -x1642 -x1293
1186.16/1186.55 v x246 -x8301 x5844 -x5493 x2688 -x1990 -x8300 -x7949 -x7598 x7247 -x6896 -x5141 -x4790 -x4439 -x3385 -x2687 x1640 -x1291 -x244
1186.16/1186.55 v -x7948 -x7597 x7246 -x6895 -x6544 -x6193 -x5842 -x5491 -x3384 -x2337 -x1988 -x1290 x941 -x592 -x8298 -x7947 -x7596 -x7245 -x6894
1186.16/1186.55 v -x5139 x4788 -x4437 -x3383 -x2685 -x1638 x1289 -x242 -x5489 x1986 x6190 -x5137 -x7944 x7593 -x7242 -x6891 -x6540 -x6189
1186.16/1186.55 v -x5838 -x4083 -x3380 x2333 -x1286 -x937 -x588 x5135 -x4784 -x4433 x1983 -x1634 -x238 -x8292 -x5484 -x2679 x1981 -x5132 x4781
1186.16/1186.55 v -x4430 x1980 -x1631 -x235 -x8290 -x3727 x3026 -x8289 -x6534 -x6183 x5832 -x4077 x2676 -x2327 -x931 -x582 -x7937 x7586 -x7235
1186.16/1186.55 v -x6884 -x6533 -x6182 -x5831 -x5129 -x4778 -x4427 -x4076 -x3373 -x2326 -x1628 -x1279 -x930 x581 -x232 x8287 -x5128 -x4777 -x4426
1186.16/1186.55 v x1627 -x231 -x8286 -x5478 x5127 -x4776 -x4425 -x3723 x3022 -x1626 -x230 -x7934 x7583 -x7232 -x6881 -x6530 -x6179 -x5828 -x5477
1186.16/1186.55 v -x5126 -x4775 -x4424 -x3370 x2323 -x1974 -x1625 -x1276 -x927 -x578 -x229 x8284 -x5125 -x4774 -x4423 x1624 -x228 -x3368
1186.16/1186.55 v -x1623 x1274 -x227 -x7932 -x7581 -x7230 x6879 -x6528 -x6177 -x5826 -x5475 -x5124 -x4773 -x4422 -x3367 -x2320 -x1971 -x1622 -x1273
1186.16/1186.55 v -x924 x575 -x226 -x5123 -x4772 -x4421 x4070 -x1621 x225 -x5473 x1969 -x8280 -x7929 -x7578 -x7227 -x6876 -x5121 x4770 -x4419
1186.16/1186.55 v -x3717 x3364 -x3015 -x2666 -x1619 -x1270 -x223 -x6173 x5120 -x5470 -x5119 -x4768 -x4417 x4066 x1617 -x221 -x7926 -x7575 x7224
1186.16/1186.55 v -x6873 -x6522 -x6171 -x5820 -x5469 -x3361 -x2314 -x1965 -x1267 -x918 x569 -x7925 -x7574 -x7223 x6872 -x5117 -x4766 -x4415
1186.16/1186.55 v -x3360 -x1615 -x1266 x219 x6169 -x3712 x3010 -x7923 -x7572 -x7221 -x6870 x5817 -x3358 x1264 x5465 -x3710 x3008 -x8272 -x5464
1186.16/1186.55 v -x5113 x4762 -x4411 x2658 -x1611 -x215 x5112 -x4761 -x4410 x2657 -x1610 -x214 -x6515 -x6164 -x5813 -x5462 -x2307 -x1958 -x911
1186.16/1186.55 v x562 -x8269 -x5461 -x5110 -x4759 x4408 x1957 -x1608 -x212 -x5109 -x4758 -x4407 x4056 -x2654 -x1607 x211 -x8267 -x5459 x5108
1186.16/1186.55 v -x4757 -x4406 x1955 -x1606 -x210 -x6862 -x6511 -x6160 x5809 -x5458 -x5107 -x2303 -x1954 x1256 -x209 -x7914 -x7563 -x7212 x6861
1186.16/1186.55 v -x6510 -x6159 -x5808 -x5106 -x4755 -x4404 -x3349 -x2302 -x1953 -x1604 -x1255 -x906 x557 -x208 -x5105 -x4754 -x4403 x1603
1186.16/1186.55 v -x207 -x6508 -x6157 -x5806 -x5455 -x5104 -x4753 x4402 -x4051 -x2300 -x1951 -x1602 -x904 x555 -x206 -x6507 -x6156 -x5805 -x5454
1186.16/1186.55 v -x5103 -x4752 x4401 -x2299 -x1950 -x1601 x903 -x554 -x205 -x7910 x7559 -x7208 -x6857 -x6506 -x6155 -x5804 -x5453 -x5102 -x4751
1186.16/1186.55 v -x4400 -x3345 -x2298 -x1949 -x1600 -x1251 -x902 x553 -x204 -x8260 -x6505 -x6154 -x5803 -x5452 -x5101 -x4750 x4399 -x2646
1186.16/1186.55 v x2297 -x1948 -x1599 -x901 -x552 -x203 -x8259 -x7908 x7557 -x7206 -x6855 -x3343 x2645 -x1249 -x8258 -x5099 -x4748 -x4397 x3695
1186.16/1186.55 v -x2993 -x2644 x1597 -x201 -x8257 x7906 -x7555 -x7204 -x6853 -x3341 x2643 -x1247 -x7905 -x7554 -x7203 -x6852 x4044 -x3340 x1246
1186.16/1186.55 v -x7904 -x7553 x7202 -x6851 -x6500 -x6149 -x5798 -x5447 -x5096 -x4745 -x4394 -x3339 x2292 -x1943 -x1594 -x1245 -x896 -x547
1186.16/1186.55 v -x198 -x7903 -x7552 -x7201 -x6850 -x5095 -x4744 x4393 x3338 -x1593 -x1244 -x197 -x7902 -x7551 -x7200 -x6849 x6498 -x6147 -x5796
1186.16/1186.55 v -x5445 -x5094 -x4743 -x4392 -x3337 -x2290 -x1941 -x1592 x1243 -x894 -x545 -x196 x7901 -x7550 -x7199 -x6848 -x5093 -x4742 -x4391
1186.16/1186.55 v -x3336 x1591 -x1242 -x195 -x7900 -x7549 x7198 -x6847 -x6496 -x6145 -x5794 -x5443 -x5092 -x4741 -x4390 -x3335 x2288 -x1939
1186.16/1186.55 v -x1590 -x1241 -x892 -x543 -x194 -x6495 -x6144 -x5793 -x5442 -x2287 -x1938 -x891 x542 -x8249 -x8248 -x7897 -x7546 -x7195 -x6844
1186.16/1186.55 v -x6493 -x6142 -x5791 -x5440 -x5089 x4738 -x4387 -x4036 -x3332 -x2285 -x1936 -x1587 -x1238 x889 -x540 -x191 -x8247 x7896
1186.16/1186.55 v -x5088 -x4737 -x4386 x1586 -x190 -x7895 x7544 -x7193 -x6842 -x6491 -x6140 -x5789 -x5438 -x4034 -x3330 -x2283 -x1934 -x1236 x887
1186.16/1186.55 v -x538 x8245 -x7894 -x7543 -x7192 -x6841 x3329 -x1235 -x7893 -x7542 -x7191 x6840 -x6489 -x6138 -x5787 -x5085 -x4734 -x4383
1186.16/1186.55 v -x4032 -x3328 x2281 -x1583 -x1234 -x885 -x536 -x187 -x7892 -x7541 -x7190 -x6839 -x5084 -x4733 x4382 -x3327 -x1582 x1233 -x186
1186.16/1186.55 v -x7888 -x7537 -x7186 -x6835 x5080 -x4729 -x4378 -x3676 x3323 -x2974 -x1578 -x1229 -x182 -x2973 x2275 -x1926 -x1577 -x879 -x530
1186.16/1186.55 v -x181 -x8238 -x7887 x7536 -x7185 -x6834 -x5430 -x3321 x2623 -x1227 -x7885 -x7534 -x7183 -x6832 -x6481 x6130 -x5779 -x4024
1186.16/1186.55 v x3319 -x2272 -x1225 -x876 -x527 -x7884 -x7533 -x7182 -x6831 -x5427 x4023 x3318 -x1922 -x1224 -x6479 -x6128 -x5777 x5426 -x2270
1186.16/1186.55 v -x1921 x874 -x525 -x5074 x4723 -x4372 -x3670 x2967 -x1571 -x175 -x6477 -x6126 -x5775 -x5424 -x5073 -x4722 x4371 x2268 -x1919
1186.16/1186.55 v -x1570 -x872 -x523 -x174 -x5423 x4721 -x6475 -x6124 -x5773 -x5422 -x5071 x4720 -x4369 x2267 -x1918 -x1569 -x871 -x522 -x173
1186.16/1186.55 v x8229 x1917 -x6473 -x6122 -x5771 -x5420 x5069 -x4718 -x4367 -x4016 -x2265 -x1916 -x1567 x869 -x520 -x171 -x8227 -x5419 -x5068
1186.16/1186.55 v -x4717 -x4366 x3664 -x2962 x1566 -x170 -x7875 -x7524 -x7173 x6822 -x6471 -x6120 -x5769 -x5418 -x4014 -x3310 x2263 -x1914 -x1216
1186.16/1186.55 v -x867 -x518 -x6470 -x6119 -x5768 -x5417 x3662 -x2960 -x2262 -x1913 -x866 x517 x6469 -x6118 -x5767 -x5416 -x2261 -x1912 -x865
1186.16/1186.55 v -x516 -x6468 -x6117 -x5766 -x5415 -x5064 -x4713 x4362 -x2260 -x1911 -x1562 x864 -x515 -x166 -x5063 -x4712 -x4361 x4010 -x3659
1186.16/1186.55 v -x2957 x1561 -x165 -x7870 -x7519 -x7168 -x6817 x6466 -x6115 -x5764 -x5413 -x5062 -x4711 -x4360 -x3305 -x2258 -x1909 -x1560
1186.16/1186.55 v x1211 -x862 -x513 -x164 -x7869 -x7518 -x7167 -x6816 -x5061 x4710 -x4359 -x4008 -x3304 -x1559 x1210 -x163 x8219 -x5411 -x2605
1186.16/1186.55 v x1907 -x6462 -x6111 -x5760 -x5409 -x2254 -x1905 x858 -x509 -x7865 -x7514 -x7163 -x6812 x6461 -x6110 -x5759 -x5408 -x5057
1186.16/1186.55 v -x4706 -x4355 -x3300 -x2253 -x1904 -x1555 x1206 -x857 -x508 -x159 -x7864 -x7513 -x7162 -x6811 x3299 -x1205 -x6459 -x6108 -x5757
1186.16/1186.55 v x5406 -x2251 -x1902 x855 -x506 -x8213 -x5405 -x5054 -x4703 -x4352 x3650 -x2948 -x1552 x156 -x8212 x5053 -x4702 -x4351 x1900
1186.16/1186.55 v -x1551 -x155 -x7860 -x7509 x7158 -x6807 -x6456 -x6105 -x5754 -x5403 -x5052 -x4701 -x4350 -x3295 -x2248 -x1899 -x1550 -x1201
1186.16/1186.55 v x852 -x503 -x154 -x8210 x3647 -x2945 x2596 -x6454 -x6103 -x5752 -x5401 -x2246 x1897 -x850 -x501 -x8208 -x5400 x3645 -x2943 x2594
1186.16/1186.55 v -x6452 -x6101 -x5750 -x5399 x3644 -x2942 -x2244 x1895 -x848 -x499 -x6451 -x6100 -x5749 -x5398 x3994 x2243 -x1894 -x847 -x498
1186.16/1186.55 v -x7854 -x7503 -x7152 -x6801 -x6450 x6099 -x5748 -x5397 -x3289 -x2242 -x1893 x1195 -x846 -x497 x5045 -x4694 -x4343 x2590
1186.16/1186.55 v -x1543 -x147 -x7852 x7501 -x7150 -x6799 -x5044 -x4693 -x4342 -x3640 -x3287 -x2938 -x1542 -x1193 x146 -x7850 -x7499 x7148 -x6797
1186.16/1186.55 v -x5393 -x5042 -x4691 -x4340 -x3285 x1540 -x1191 -x144 -x7849 x7498 -x7147 -x6796 -x6445 -x6094 -x5743 -x5392 -x3284 -x2237
1186.16/1186.55 v -x1888 -x1190 x841 -x492 -x5742 -x5040 -x4689 x4338 -x3636 -x2934 x2236 -x1887 -x1538 -x142 x7847 -x7496 -x7145 -x6794 -x3635
1186.16/1186.55 v -x3282 x2933 -x1188 -x7846 -x7495 -x7144 -x6793 x6442 -x6091 -x5740 -x5389 x3281 -x2234 -x1885 -x1187 -x838 -x489 -x7845 -x7494
1186.16/1186.55 v x7143 -x6792 -x6441 -x6090 -x5739 -x5388 -x3280 -x2233 -x1884 -x1186 x837 -x488 x6440 -x6089 -x5738 -x5387 -x5036 -x4685
1186.16/1186.55 v -x4334 -x2232 -x1883 x1534 -x836 -x487 -x138 -x7843 x7492 -x7141 -x6790 -x6439 -x6088 -x5737 -x5386 -x5035 -x4684 -x4333 -x3278
1186.16/1186.55 v -x2231 -x1882 -x1533 -x1184 -x835 -x486 x137 x8193 x1881 -x7841 x7490 -x7139 -x6788 -x5384 -x3276 x1880 -x1182 -x7840 -x7489
1186.16/1186.55 v -x7138 -x6787 -x6436 x6085 -x5734 -x5383 -x5032 -x4681 -x4330 -x3275 -x2228 -x1879 x1530 -x1181 -x832 -x483 -x134 -x8190
1186.16/1186.55 v -x7839 -x7488 -x7137 -x6786 -x6435 -x6084 x5733 -x5382 -x3274 -x2576 -x2227 -x1878 x1180 -x831 -x482 -x5381 -x5030 -x4679 x4328
1186.16/1186.55 v -x1528 -x132 x6433 -x6082 -x5731 -x5380 -x5029 -x4678 -x4327 -x2225 -x1876 -x1527 -x829 -x480 x131 -x7836 -x7485 -x7134 x6783
1186.16/1186.55 v -x3624 -x3271 x2922 -x1177 x7484 -x6431 -x6080 -x5729 -x5378 -x5027 -x4676 -x4325 -x2223 -x1874 x1525 -x827 -x478 -x129 -x5377
1186.16/1186.55 v x1873 x5376 -x5025 -x4674 -x4323 x1523 -x127 -x7832 -x7481 -x7130 -x6779 -x6428 -x6077 x5726 -x5024 -x4673 -x4322 -x3971
1186.16/1186.55 v -x3620 -x3267 -x2918 -x2220 -x1522 x1173 -x824 -x475 -x126 -x6427 -x6076 -x5725 x5374 -x2219 -x1870 -x823 x474 -x8181 -x7830
1186.16/1186.55 v -x7479 -x7128 -x6777 x3969 x3265 -x1171 -x6425 -x6074 -x5723 -x5021 -x4670 x4319 -x3617 -x2915 -x2217 -x1519 x821 -x472 -x123
1186.16/1186.55 v -x5371 -x5020 -x4669 x4318 -x1518 -x122 -x7827 -x7476 -x7125 -x6774 -x6423 x6072 -x5721 -x5370 -x3615 x3262 -x2913 -x2215
1186.16/1186.55 v -x1866 -x1168 -x819 -x470 -x5369 x1865 -x5368 x3613 -x2911 -x6420 x6069 -x5718 -x5367 -x5016 -x4665 -x4314 -x3963 -x3612 -x2910
1186.16/1186.55 v -x2212 -x1863 x1514 -x816 -x467 -x118 -x7823 -x7472 -x7121 -x6770 x3962 -x3258 x1164 x8173 -x3610 x2908 -x5364 -x5013 -x4662
1186.16/1186.55 v -x4311 x1511 -x115 x5012 -x4661 -x4310 x1859 -x1510 -x114 x8170 -x3607 x2905 x6414 -x6063 -x5712 -x5361 -x5010 -x4659 -x4308
1186.16/1186.55 v -x2206 -x1857 -x1508 -x810 -x461 x112 -x8168 x3605 -x2903 x2554 -x7816 -x7465 -x7114 -x6763 -x6412 x6061 -x5710 -x5359 -x3955
1186.16/1186.55 v x3251 -x2204 -x1855 -x1157 -x808 -x459 -x8166 x6411 -x6060 -x5709 -x5358 -x3603 -x2901 x2552 -x2203 -x1854 -x807 -x458 -x8165
1186.16/1186.55 v -x5357 x2551 -x7813 -x7462 -x7111 -x6760 -x6409 x6058 -x5707 -x3248 -x2201 x1154 -x805 -x456 -x6408 -x6057 -x5706 x5355
1186.16/1186.55 v -x2200 -x1851 x804 -x455 -x5003 -x4652 -x4301 x3950 x1501 -x105 x5002 -x4651 -x4300 x1849 -x1500 -x104 -x7809 -x7458 -x7107 -x6756
1186.16/1186.55 v -x6405 x6054 -x5703 -x3244 -x2197 x1150 -x801 -x452 -x5351 x3596 x6403 -x6052 -x5701 -x4999 -x4648 -x4297 -x2196 -x1498
1186.16/1186.55 v -x800 -x451 x102 x5349 -x4998 -x4647 -x4296 -x1497 x101 -x7805 -x7454 -x7103 -x6752 x6401 -x6050 -x5699 x3241 -x2194 -x1147
1186.16/1186.55 v -x798 -x449 -x5347 -x4996 -x4645 x4294 x1844 -x1495 -x99 x7802 -x7451 -x7100 -x6749 -x6398 -x6047 -x5696 -x3238 x2191 -x1144
1186.16/1186.55 v -x795 -x446 -x4993 -x4642 -x4291 x3940 -x1492 x96 -x6396 -x6045 -x5694 -x4992 x4641 -x4290 -x2189 -x1491 -x793 x444 -x95 -x8150
1186.16/1186.55 v -x7799 -x7448 -x7097 -x6746 -x4991 x4640 -x4289 -x3938 -x3587 -x3235 -x2886 -x2537 -x1490 x1141 -x94 -x5341 x3586 -x2885 x1838
1186.16/1186.55 v -x7797 -x7446 -x7095 -x6744 x6393 -x6042 -x5691 -x3233 -x2186 x1139 -x790 -x441 -x6392 -x6041 -x5690 x4988 -x4637 -x4286
1186.16/1186.55 v x2185 -x1487 -x789 -x440 -x91 -x5338 -x4987 -x4636 -x4285 x1486 -x90 -x7794 -x7443 -x7092 -x6741 x3933 -x3230 x1136 -x7793 -x7442
1186.16/1186.55 v -x7091 -x6740 -x4985 x4634 -x4283 -x3229 -x1484 x1135 -x88 x5335 -x4984 -x4633 -x4282 x1483 -x87 -x6387 -x6036 -x5685 x5334
1186.16/1186.55 v x2180 -x1831 -x784 -x435 -x7790 -x7439 -x7088 -x6737 -x6386 x6035 -x5684 -x4982 -x4631 -x4280 -x3226 -x2179 -x1830 -x1481
1186.16/1186.55 v x1132 -x783 -x434 -x85 -x5332 -x4981 -x4630 x4279 x1829 -x1480 -x84 x8139 -x5331 -x4980 -x4629 -x4278 x1479 -x83 x6383 -x6032
1186.16/1186.55 v -x5681 -x5330 -x4979 -x4628 -x4277 -x2176 -x1827 -x1478 -x780 -x431 x82 -x4978 x4627 -x4276 -x3574 x2873 -x1477 -x81 -x7785
1186.16/1186.55 v -x7434 -x7083 -x6732 -x4977 -x4626 x4275 x3221 -x1476 -x1127 -x80 -x7784 -x7433 -x7082 -x6731 x6380 -x6029 -x5678 x3220 -x2173
1186.16/1186.55 v -x1126 -x777 -x428 x7783 -x7432 -x7081 -x6730 -x4975 -x4624 -x4273 -x3219 x1474 -x1125 -x78 -x6378 -x6027 -x5676 -x5325 -x4974
1186.16/1186.55 v x4623 -x4272 -x3921 -x3570 x8132 -x4972 -x4621 -x4270 x3568 -x2868 -x1472 x76 x8130 -x3567 x2867 -x4970 -x4619 -x4268 x3566
1186.16/1186.55 v -x2866 x1470 -x74 -x7777 -x7426 -x7075 -x6724 -x6373 x6022 -x5671 -x5320 -x4969 -x4618 -x4267 x3214 -x2167 -x1818 -x1469
1186.16/1186.55 v -x1120 -x771 -x422 -x73 -x6372 -x6021 -x5670 -x5319 -x4968 -x4617 x4266 -x2166 -x1817 -x1468 x770 -x421 -x72 -x6371 -x6020 x5669
1186.16/1186.55 v -x5318 -x4967 -x4616 -x4265 -x2165 -x1816 -x1467 -x769 -x420 x71 x5317 -x3562 x2862 -x5316 x4965 -x4614 -x4263 -x1465 -x69
1186.16/1186.55 v -x5315 -x4964 -x4613 -x4262 x3560 -x2860 x1464 -x68 x8122 -x3559 x2859 -x7770 x7419 -x7068 -x6717 -x6366 -x6015 -x5664 -x5313
1186.16/1186.55 v -x3207 -x2160 -x1811 -x1113 -x764 x415 x8120 -x3557 x2857 -x6364 -x6013 -x5662 x5311 -x2158 -x1809 -x762 x413 -x5310 -x4959
1186.16/1186.55 v -x4608 x4257 -x1459 -x63 -x8117 -x5309 x3554 -x7765 -x7414 -x7063 -x6712 -x6361 -x6010 x5659 -x4957 -x4606 -x4255 x3203 -x2156
1186.16/1186.55 v -x1807 -x1458 -x1109 -x760 -x411 -x62 -x7764 -x7413 -x7062 -x6711 -x6360 -x6009 x5658 -x4956 -x4605 -x4254 x3202 -x2155
1186.16/1186.55 v -x1806 -x1457 -x1108 -x759 -x410 -x61 -x6359 x6008 -x5657 -x5306 -x4955 -x4604 -x4253 -x2154 -x1805 -x1456 -x758 -x409 x60 x8113
1186.16/1186.55 v -x3550 x2851 x3900 -x3549 x2850 x7760 -x7409 -x7058 -x6707 -x6356 -x6005 -x5654 -x5303 -x4952 -x4601 -x4250 -x3198 -x2151
1186.16/1186.55 v -x1802 -x1453 -x1104 -x755 -x406 x57 x5302 -x3547 x2848 -x8109 -x5301 x3546 -x6353 -x6002 -x5651 -x5300 -x4949 x4598 -x4247
1186.16/1186.55 v -x2149 x1800 -x1451 -x753 -x404 -x55 -x8107 -x6352 x6001 -x5650 -x5299 -x4948 -x4597 -x4246 -x2497 -x2148 -x1799 -x1450 -x752
1186.16/1186.55 v -x403 x54 x7755 -x7404 -x7053 -x6702 -x6351 -x6000 -x5649 -x5298 -x3194 -x2147 x1798 -x1100 -x751 -x402 -x7754 -x7403 -x7052
1186.16/1186.55 v -x6701 -x4946 -x4595 x4244 x3193 -x1448 -x1099 -x52 -x6349 -x5998 -x5647 -x5296 -x4945 x4594 -x4243 -x2145 x1796 -x1447 -x749
1186.16/1186.55 v -x400 -x51 -x5295 -x4944 -x4593 -x4242 -x1446 x50 -x8102 -x6347 -x5996 -x5645 -x5294 -x4943 -x4592 x4241 -x2492 x2143 -x1794
1186.16/1186.55 v -x1445 -x747 -x398 -x49 x4942 -x4591 -x4240 -x3538 x2840 -x1444 -x48 x3888 x2490 x6344 -x5291 -x8098 x3535 -x2837 x2488 x5289
1186.16/1186.55 v -x6341 -x5990 -x5639 -x5288 x3884 x2137 -x1788 -x741 -x392 -x5287 -x3532 x2834 -x8094 -x4935 -x4584 -x4233 x1437 -x41 -x5284
1186.16/1186.55 v -x3529 x2831 -x8091 x6336 -x5985 -x5634 -x5283 -x3879 x2481 -x2132 -x1783 -x736 -x387 x3878 x2480 x7738 -x5281 -x4930 -x4579
1186.16/1186.55 v -x4228 -x3526 -x2828 x1432 -x36 x8088 x1780 -x8087 x3524 -x2826 x1779 -x7735 -x7384 -x7033 -x6682 -x6331 -x5980 -x5629 -x5278
1186.16/1186.55 v -x4927 x4576 -x4225 x3174 -x2127 -x1778 -x1429 -x1080 -x731 -x382 -x33 -x7734 -x7383 -x7032 -x6681 x3873 -x3173 x1079 -x7733
1186.16/1186.55 v -x7382 -x7031 -x6680 x3872 -x3172 x1078 x5275 -x3520 x2822 -x8082 -x6327 -x5976 -x5625 x5274 x2123 -x1774 -x727 -x378 x8081
1186.16/1186.55 v -x3518 x2820 -x8080 x4921 -x4570 -x4219 -x1423 -x27 -x7728 -x7377 -x7026 -x6675 -x6324 x5973 -x5622 -x4920 -x4569 -x4218 x3167
1186.16/1186.55 v -x2120 -x1771 -x1422 -x1073 -x724 -x375 -x26 x5270 -x2468 x374 x3865 -x3514 x2816 x7724 -x7373 -x7022 -x6671 -x6320 -x5969
1186.16/1186.55 v -x5618 -x4916 -x4565 -x4214 -x3163 -x2116 x1767 -x1418 -x1069 -x720 -x371 -x22 -x7723 -x7372 -x7021 -x6670 -x6319 -x5968 -x5617
1186.16/1186.55 v -x5266 -x4915 -x4564 x4213 -x3162 -x2115 -x1766 -x1417 -x1068 -x719 x370 -x21 x3510 -x2812 x1765 x8072 x6316 -x5965 -x5614
1186.16/1186.55 v x2461 -x2112 -x716 -x367 x8070 x6314 -x5963 -x5612 x2459 -x2110 -x714 -x365 -x8068 -x6313 -x5962 x5611 x2458 -x2109 -x1760
1186.16/1186.55 v -x713 -x364 -x7716 -x7365 -x7014 -x6663 -x6312 x5961 -x5610 -x5259 x3155 -x2108 -x1759 -x1061 -x712 -x363 -x7715 -x7364 -x7013
1186.16/1186.55 v -x6662 -x6311 -x5960 x5609 -x5258 -x4907 -x4556 -x4205 x3154 -x2107 -x1758 -x1409 -x1060 -x711 -x362 -x13 -x7714 -x7363 -x7012
1186.16/1186.55 v -x6661 -x6310 x5959 -x5608 -x4906 -x4555 -x4204 x3153 -x2106 -x1757 -x1408 -x1059 -x710 -x361 -x12 -x7713 -x7362 -x7011
1186.16/1186.55 v -x6660 -x6309 x5958 -x5607 -x4905 -x4554 -x4203 x3152 -x2105 -x1756 -x1407 -x1058 -x709 -x360 -x11 x1755 -x7711 -x7360 -x7009
1186.16/1186.55 v -x6658 -x3150 x1056 -x6306 x5955 -x5604 -x2102 -x706 -x357 -x6305 -x5954 -x5603 -x2101 -x1752 -x705 x356 -x7708 -x7357 -x7006
1186.16/1186.55 v -x6655 x5602 x3147 -x2449 -x1053 x5250 -x4899 -x4548 -x4197 x1401 -x5 -x4898 -x4547 -x4196 x3494 -x2796 x1400 -x4 -x7705 -x7354
1186.16/1186.55 v x7003 -x6652 -x4897 -x4546 -x4195 -x3144 -x1399 -x1050 x3 -x8055 -x7704 -x7353 x7002 -x6651 -x4896 -x4545 -x4194 -x3143
1186.16/1186.55 v -x2445 x1398 -x1049 -x2
1186.16/1186.55 c SCIP Status : problem is solved [optimal solution found]
1186.16/1186.55 c Solving Time : 1172.57
1186.16/1186.55 c Original Problem :
1186.16/1186.55 c Problem name : HOME/instance-2666976-1276485124.opb
1186.16/1186.55 c Variables : 8405 (8405 binary, 0 integer, 0 implicit integer, 0 continuous)
1186.16/1186.55 c Constraints : 10667 initial, 10667 maximal
1186.16/1186.55 c Presolved Problem :
1186.16/1186.55 c Problem name : t_HOME/instance-2666976-1276485124.opb
1186.16/1186.55 c Variables : 8404 (8404 binary, 0 integer, 0 implicit integer, 0 continuous)
1186.16/1186.55 c Constraints : 10642 initial, 10646 maximal
1186.16/1186.55 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1186.16/1186.55 c trivial : 0.01 0 0 0 0 0 0 0 0
1186.16/1186.55 c dualfix : 0.00 0 0 0 0 0 0 0 0
1186.16/1186.55 c boundshift : 0.00 0 0 0 0 0 0 0 0
1186.16/1186.55 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1186.16/1186.55 c implics : 0.01 0 0 0 0 0 0 0 0
1186.16/1186.55 c probing : 0.42 0 0 0 0 0 0 0 0
1186.16/1186.55 c setppc : 0.01 0 0 0 0 0 0 0 0
1186.16/1186.55 c linear : 0.15 1 0 0 1 0 25 0 0
1186.16/1186.55 c logicor : 0.04 0 0 0 0 0 0 0 0
1186.16/1186.55 c root node : - 3720 - - 3720 - - - -
1186.16/1186.55 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1186.16/1186.55 c integral : 0 0 0 1426 0 0 2 0 0 2848
1186.16/1186.55 c setppc : 700 15 21664 0 0 26 14113 0 0 0
1186.16/1186.55 c linear : 24 15 21638 0 0 0 0 0 0 0
1186.16/1186.55 c logicor : 9918+ 15 5395 0 0 4 4111 0 0 0
1186.16/1186.55 c countsols : 0 0 0 0 0 0 0 0 0 0
1186.16/1186.55 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1186.16/1186.55 c integral : 382.84 0.00 0.00 382.84 0.00
1186.16/1186.55 c setppc : 1.27 0.00 1.27 0.00 0.00
1186.16/1186.55 c linear : 6.22 0.04 6.18 0.00 0.00
1186.16/1186.55 c logicor : 0.17 0.02 0.15 0.00 0.00
1186.16/1186.55 c countsols : 0.00 0.00 0.00 0.00 0.00
1186.16/1186.55 c Propagators : Time Calls Cutoffs DomReds
1186.16/1186.55 c vbounds : 0.02 2 0 0
1186.16/1186.55 c rootredcost : 0.05 9 0 3638
1186.16/1186.55 c pseudoobj : 24.39 21471 0 0
1186.16/1186.55 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1186.16/1186.55 c propagation : 0.01 30 30 31 3.7 0 0.0 -
1186.16/1186.55 c infeasible LP : 0.04 6 6 6 3.2 0 0.0 0
1186.16/1186.55 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1186.16/1186.55 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1186.16/1186.55 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1186.16/1186.55 c applied globally : - - - 36 3.6 - - -
1186.16/1186.55 c applied locally : - - - 0 0.0 - - -
1186.16/1186.55 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1186.16/1186.55 c cut pool : 0.01 14 - - 15 - (maximal pool size: 1181)
1186.16/1186.55 c redcost : 2.05 1470 0 50551 0 0
1186.16/1186.55 c impliedbounds : 0.01 15 0 0 0 0
1186.16/1186.55 c intobj : 0.00 0 0 0 0 0
1186.16/1186.55 c cgmip : 0.00 0 0 0 0 0
1186.16/1186.55 c gomory : 2.05 15 0 0 3976 0
1186.16/1186.55 c strongcg : 2.62 15 0 0 4001 0
1186.16/1186.55 c cmir : 1.99 10 0 0 0 0
1186.16/1186.55 c flowcover : 2.08 10 0 0 0 0
1186.16/1186.55 c clique : 0.24 15 0 0 90 0
1186.16/1186.55 c zerohalf : 0.00 0 0 0 0 0
1186.16/1186.55 c mcf : 0.03 1 0 0 0 0
1186.16/1186.55 c rapidlearning : 0.00 0 0 0 0 0
1186.16/1186.55 c Pricers : Time Calls Vars
1186.16/1186.55 c problem variables: 0.00 0 0
1186.16/1186.55 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1186.16/1186.55 c relpscost : 382.80 1426 0 2 0 0 2848
1186.16/1186.55 c pscost : 0.00 0 0 0 0 0 0
1186.16/1186.55 c inference : 0.00 0 0 0 0 0 0
1186.16/1186.55 c mostinf : 0.00 0 0 0 0 0 0
1186.16/1186.55 c leastinf : 0.00 0 0 0 0 0 0
1186.16/1186.55 c fullstrong : 0.00 0 0 0 0 0 0
1186.16/1186.55 c allfullstrong : 0.00 0 0 0 0 0 0
1186.16/1186.55 c random : 0.00 0 0 0 0 0 0
1186.16/1186.55 c Primal Heuristics : Time Calls Found
1186.16/1186.55 c LP solutions : 0.00 - 0
1186.16/1186.55 c pseudo solutions : 0.00 - 0
1186.16/1186.55 c oneopt : 0.13 10 0
1186.16/1186.55 c trivial : 0.01 2 0
1186.16/1186.55 c simplerounding : 0.00 0 0
1186.16/1186.55 c zirounding : 1.49 1000 0
1186.16/1186.55 c rounding : 1.42 494 0
1186.16/1186.55 c shifting : 2.70 158 8
1186.16/1186.55 c intshifting : 0.00 0 0
1186.16/1186.55 c twoopt : 0.00 0 0
1186.16/1186.55 c fixandinfer : 0.00 0 0
1186.16/1186.55 c feaspump : 4.12 1 0
1186.16/1186.55 c coefdiving : 59.74 9 0
1186.16/1186.55 c pscostdiving : 62.24 7 0
1186.16/1186.55 c fracdiving : 67.47 7 0
1186.16/1186.55 c veclendiving : 54.85 6 0
1186.16/1186.55 c intdiving : 0.00 0 0
1186.16/1186.55 c actconsdiving : 0.00 0 0
1186.16/1186.55 c objpscostdiving : 7.60 6 0
1186.16/1186.55 c rootsoldiving : 60.35 7 6
1186.16/1186.55 c linesearchdiving : 192.91 17 2
1186.16/1186.55 c guideddiving : 60.83 5 0
1186.16/1186.55 c octane : 0.00 0 0
1186.16/1186.55 c rens : 0.23 1 0
1186.16/1186.55 c rins : 0.00 0 0
1186.16/1186.55 c localbranching : 0.00 0 0
1186.16/1186.55 c mutation : 0.00 0 0
1186.16/1186.55 c crossover : 1.32 4 3
1186.16/1186.55 c dins : 0.00 0 0
1186.16/1186.55 c undercover : 0.00 0 0
1186.16/1186.55 c nlp : 0.01 0 0
1186.16/1186.55 c trysol : 0.01 0 0
1186.16/1186.55 c LP : Time Calls Iterations Iter/call Iter/sec
1186.16/1186.55 c primal LP : 0.02 0 0 0.00 0.00
1186.16/1186.55 c dual LP : 182.53 1450 80575 55.57 441.43
1186.16/1186.55 c lex dual LP : 0.00 0 0 0.00 -
1186.16/1186.55 c barrier LP : 0.00 0 0 0.00 -
1186.16/1186.55 c diving/probing LP: 450.91 15279 182469 11.94 404.67
1186.16/1186.55 c strong branching : 382.55 3246 145877 44.94 381.33
1186.16/1186.55 c (at root node) : - 33 1535 46.52 -
1186.16/1186.55 c conflict analysis: 0.00 0 0 0.00 -
1186.16/1186.55 c B&B Tree :
1186.16/1186.55 c number of runs : 1
1186.16/1186.55 c nodes : 1452
1186.16/1186.55 c nodes (total) : 1452
1186.16/1186.55 c nodes left : 0
1186.16/1186.55 c max depth : 109
1186.16/1186.55 c max depth (total): 109
1186.16/1186.55 c backtracks : 77 (5.3%)
1186.16/1186.55 c delayed cutoffs : 0
1186.16/1186.55 c repropagations : 315 (103 domain reductions, 0 cutoffs)
1186.16/1186.55 c avg switch length: 2.63
1186.16/1186.55 c switching time : 0.84
1186.16/1186.55 c Solution :
1186.16/1186.55 c Solutions found : 19 (11 improvements)
1186.16/1186.55 c First Solution : +1.94600000000000e+03 (in run 1, after 1 nodes, 24.50 seconds, depth 0, found by <shifting>)
1186.16/1186.55 c Primal Bound : +9.39000000000000e+02 (in run 1, after 1452 nodes, 1172.55 seconds, depth 10, found by <shifting>)
1186.16/1186.55 c Dual Bound : +9.39000000000000e+02
1186.16/1186.55 c Gap : 0.00 %
1186.16/1186.55 c Root Dual Bound : +9.39000000000000e+02
1186.16/1186.55 c Root Iterations : 17368
1186.26/1186.68 c Time complete: 1186.34.
OK 939
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666976-1276485124/watcher-2666976-1276485124 -o /tmp/evaluation-result-2666976-1276485124/solver-2666976-1276485124 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666976-1276485124.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.05 1.07 1.00 3/106 28610 /proc/meminfo: memFree=1825212/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=6696 CPUtime=0 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 24116030 6856704 907 1992294400 4194304 8223781 140735107982160 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28610/statm: 1674 907 343 984 0 687 0 [startup+0.083728 s] /proc/loadavg: 1.05 1.07 1.00 3/106 28610 /proc/meminfo: memFree=1825212/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=16476 CPUtime=0.07 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 3470 0 0 0 7 0 0 0 20 0 1 0 24116030 16871424 3389 1992294400 4194304 8223781 140735107982160 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28610/statm: 4119 3389 365 984 0 3132 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 16476 [startup+0.10173 s] /proc/loadavg: 1.05 1.07 1.00 3/106 28610 /proc/meminfo: memFree=1825212/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=16980 CPUtime=0.1 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 3566 0 0 0 9 1 0 0 20 0 1 0 24116030 17387520 3485 1992294400 4194304 8223781 140735107982160 18446744073709551615 6641301 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28610/statm: 4245 3485 365 984 0 3258 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16980 [startup+0.301752 s] /proc/loadavg: 1.05 1.07 1.00 3/106 28610 /proc/meminfo: memFree=1825212/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=32380 CPUtime=0.29 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 7713 0 0 0 27 2 0 0 20 0 1 0 24116030 33157120 7268 1992294400 4194304 8223781 140735107982160 18446744073709551615 4668100 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 8095 7268 381 984 0 7108 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32380 [startup+0.701799 s] /proc/loadavg: 1.05 1.07 1.00 3/106 28610 /proc/meminfo: memFree=1825212/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=53296 CPUtime=0.7 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 14855 0 0 0 63 7 0 0 21 0 1 0 24116030 54575104 12297 1992294400 4194304 8223781 140735107982160 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 13324 12297 465 984 0 12337 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 53296 [startup+1.50189 s] /proc/loadavg: 1.05 1.07 1.00 2/107 28611 /proc/meminfo: memFree=1777464/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=71432 CPUtime=1.49 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 19650 0 0 0 140 9 0 0 23 0 1 0 24116030 73146368 16630 1992294400 4194304 8223781 140735107982160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 17858 16630 545 984 0 16871 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 71432 [startup+3.10108 s] /proc/loadavg: 1.05 1.07 1.00 2/107 28613 /proc/meminfo: memFree=1759608/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=72792 CPUtime=3.09 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 20430 0 0 0 299 10 0 0 25 0 1 0 24116030 74539008 16991 1992294400 4194304 8223781 140735107982160 18446744073709551615 6358944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 18198 16991 534 984 0 17211 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72792 [startup+6.30145 s] /proc/loadavg: 1.04 1.06 1.00 2/107 28613 /proc/meminfo: memFree=1758492/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=72848 CPUtime=6.29 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 22080 0 0 0 617 12 0 0 25 0 1 0 24116030 74596352 16937 1992294400 4194304 8223781 140735107982160 18446744073709551615 6537848 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 18212 16937 534 984 0 17225 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72848 [startup+12.7012 s] /proc/loadavg: 1.04 1.06 1.00 2/107 28613 /proc/meminfo: memFree=1758368/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=77168 CPUtime=12.69 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 29401 0 0 0 1249 20 0 0 25 0 1 0 24116030 79020032 17946 1992294400 4194304 8223781 140735107982160 18446744073709551615 7237201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 19292 17946 582 984 0 18305 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 77168 [startup+25.5017 s] /proc/loadavg: 1.03 1.06 1.00 2/107 28613 /proc/meminfo: memFree=1749316/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=82788 CPUtime=25.49 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 39159 0 0 0 2509 40 0 0 25 0 1 0 24116030 84774912 19269 1992294400 4194304 8223781 140735107982160 18446744073709551615 6539318 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 20697 19269 589 984 0 19710 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82788 [startup+51.1016 s] /proc/loadavg: 1.02 1.05 1.00 2/107 28613 /proc/meminfo: memFree=1749440/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=82672 CPUtime=51.07 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 142612 0 0 0 5012 95 0 0 25 0 1 0 24116030 84656128 19217 1992294400 4194304 8223781 140735107982160 18446744073709551615 6568510 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 20668 19217 590 984 0 19681 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82672 [startup+102.309 s] /proc/loadavg: 1.01 1.04 1.00 2/107 28618 /proc/meminfo: memFree=1746464/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=85064 CPUtime=102.26 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 301079 0 0 0 10047 179 0 0 25 0 1 0 24116030 87105536 19816 1992294400 4194304 8223781 140735107982160 18446744073709551615 6539311 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21266 19816 593 984 0 20279 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 85064 [startup+162.302 s] /proc/loadavg: 1.00 1.03 1.00 2/107 28620 /proc/meminfo: memFree=1746464/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=85096 CPUtime=162.24 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 500612 0 0 0 15940 284 0 0 25 0 1 0 24116030 87138304 19825 1992294400 4194304 8223781 140735107982160 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21274 19825 590 984 0 20287 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 85096 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28620 /proc/meminfo: memFree=1746464/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=85104 CPUtime=222.23 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 723688 0 0 0 21824 399 0 0 25 0 1 0 24116030 87146496 19830 1992294400 4194304 8223781 140735107982160 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21276 19830 590 984 0 20289 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 85104 [startup+282.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 28622 /proc/meminfo: memFree=1745720/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=86080 CPUtime=282.21 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 925468 0 0 0 27715 506 0 0 25 0 1 0 24116030 88145920 20009 1992294400 4194304 8223781 140735107982160 18446744073709551615 6446767 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21520 20009 590 984 0 20533 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 86080 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28624 /proc/meminfo: memFree=1745348/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=88348 CPUtime=342.19 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1127563 0 0 0 33604 615 0 0 25 0 1 0 24116030 90468352 20240 1992294400 4194304 8223781 140735107982160 18446744073709551615 6590705 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 22087 20240 590 984 0 21100 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 88348 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 28626 /proc/meminfo: memFree=1744976/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=87344 CPUtime=402.17 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1342247 0 0 0 39498 719 0 0 25 0 1 0 24116030 89440256 20220 1992294400 4194304 8223781 140735107982160 18446744073709551615 6567149 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21836 20220 590 984 0 20849 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 87344 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28628 /proc/meminfo: memFree=1744356/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=87488 CPUtime=462.16 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1554031 0 0 0 45392 824 0 0 25 0 1 0 24116030 89587712 20348 1992294400 4194304 8223781 140735107982160 18446744073709551615 6299699 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 21872 20348 590 984 0 20885 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 87488 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28628 /proc/meminfo: memFree=1743116/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=88644 CPUtime=522.14 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1695182 0 0 0 51315 899 0 0 25 0 1 0 24116030 90771456 20587 1992294400 4194304 8223781 140735107982160 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 22161 20587 590 984 0 21174 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 88644 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28630 /proc/meminfo: memFree=1740140/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=91384 CPUtime=582.12 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1840179 0 0 0 57236 976 0 0 25 0 1 0 24116030 93577216 21424 1992294400 4194304 8223781 140735107982160 18446744073709551615 6567808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 22846 21424 590 984 0 21859 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 91384 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28632 /proc/meminfo: memFree=1740140/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=91888 CPUtime=642.12 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 1977132 0 0 0 63160 1052 0 0 25 0 1 0 24116030 94093312 21455 1992294400 4194304 8223781 140735107982160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 22972 21455 590 984 0 21985 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 91888 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28634 /proc/meminfo: memFree=1735552/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=95640 CPUtime=702.09 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2127478 0 0 0 69080 1129 0 0 25 0 1 0 24116030 97935360 22404 1992294400 4194304 8223781 140735107982160 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 23910 22404 592 984 0 22923 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 95640 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28636 /proc/meminfo: memFree=1726996/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=762.08 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2213279 0 0 0 75027 1181 0 0 25 0 1 0 24116030 106184704 24654 1992294400 4194304 8223781 140735107982160 18446744073709551615 6537810 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24654 600 984 0 24937 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 103696 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28636 /proc/meminfo: memFree=1726996/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=822.06 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2213280 0 0 0 81005 1201 0 0 25 0 1 0 24116030 106184704 24655 1992294400 4194304 8223781 140735107982160 18446744073709551615 6524042 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24655 600 984 0 24937 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 103696 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28638 /proc/meminfo: memFree=1726996/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=882.05 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2213280 0 0 0 86986 1219 0 0 25 0 1 0 24116030 106184704 24655 1992294400 4194304 8223781 140735107982160 18446744073709551615 6532649 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24655 600 984 0 24937 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 103696 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28640 /proc/meminfo: memFree=1726996/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=942.03 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2213305 0 0 0 92965 1238 0 0 25 0 1 0 24116030 106184704 24680 1992294400 4194304 8223781 140735107982160 18446744073709551615 6505773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24680 602 984 0 24937 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 103696 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28642 /proc/meminfo: memFree=1726872/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=1002.02 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2213305 0 0 0 98946 1256 0 0 25 0 1 0 24116030 106184704 24680 1992294400 4194304 8223781 140735107982160 18446744073709551615 6446961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24680 602 984 0 24937 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 103696 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28644 /proc/meminfo: memFree=1726872/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=1062 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2226468 0 0 0 104917 1283 0 0 25 0 1 0 24116030 106184704 24690 1992294400 4194304 8223781 140735107982160 18446744073709551615 6358992 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24690 602 984 0 24937 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 103696 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28644 /proc/meminfo: memFree=1726748/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=103696 CPUtime=1121.98 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2226468 0 0 0 110896 1302 0 0 25 0 1 0 24116030 106184704 24690 1992294400 4194304 8223781 140735107982160 18446744073709551615 6571217 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 25924 24690 602 984 0 24937 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 103696 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=107040 CPUtime=1181.97 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252639 0 0 0 116862 1335 0 0 25 0 1 0 24116030 109608960 25526 1992294400 4194304 8223781 140735107982160 18446744073709551615 6446989 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 26760 25526 602 984 0 25773 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 107040 Solver just ended. Dumping a history of the last processes samples [startup+1183.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=107040 CPUtime=1183.57 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252639 0 0 0 117021 1336 0 0 25 0 1 0 24116030 109608960 25526 1992294400 4194304 8223781 140735107982160 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 26760 25526 602 984 0 25773 0 Current children cumulated CPU time (s) 1183.57 Current children cumulated vsize (KiB) 107040 [startup+1185.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=107040 CPUtime=1185.16 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252639 0 0 0 117180 1336 0 0 25 0 1 0 24116030 109608960 25526 1992294400 4194304 8223781 140735107982160 18446744073709551615 6358880 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 26760 25526 602 984 0 25773 0 Current children cumulated CPU time (s) 1185.16 Current children cumulated vsize (KiB) 107040 [startup+1186.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=107040 CPUtime=1185.96 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252639 0 0 0 117260 1336 0 0 25 0 1 0 24116030 109608960 25526 1992294400 4194304 8223781 140735107982160 18446744073709551615 6358944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 26760 25526 602 984 0 25773 0 Current children cumulated CPU time (s) 1185.96 Current children cumulated vsize (KiB) 107040 [startup+1186.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=107040 CPUtime=1186.16 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252639 0 0 0 117280 1336 0 0 25 0 1 0 24116030 109608960 25526 1992294400 4194304 8223781 140735107982160 18446744073709551615 5004616 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/28610/statm: 26760 25526 602 984 0 25773 0 Current children cumulated CPU time (s) 1186.16 Current children cumulated vsize (KiB) 107040 [startup+1186.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28646 /proc/meminfo: memFree=1723276/2059040 swapFree=4140108/4192956 [pid=28610] ppid=28608 vsize=105128 CPUtime=1186.26 /proc/28610/stat : 28610 (pbscip.linux.x8) R 28608 28610 27567 0 -1 4202496 2252641 0 0 0 117290 1336 0 0 25 0 1 0 24116030 107651072 25066 1992294400 4194304 8223781 140735107982160 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/28610/statm: 26223 25007 604 984 0 25236 0 Current children cumulated CPU time (s) 1186.26 Current children cumulated vsize (KiB) 105128 Child status: 0 Real time (s): 1186.68 CPU time (s): 1186.35 CPU user time (s): 1172.97 CPU system time (s): 13.385 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 139820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1172.97 system time used= 13.385 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2252645 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 2339 runsolver used 1.9447 second user time and 5.62315 second system time The end
Begin job on node006 at 2010-06-14 05:12:04 IDJOB=2666976 IDBENCH=2233 IDSOLVER=1169 FILE ID=node006/2666976-1276485124 PBS_JOBID= 11173379 Free space on /tmp= 62472 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-2.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-2666976-1276485124/watcher-2666976-1276485124 -o /tmp/evaluation-result-2666976-1276485124/solver-2666976-1276485124 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666976-1276485124.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f480d2d56550630df651872786c078c9 RANDOM SEED=1570813949 node006.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1825740 kB Buffers: 51284 kB Cached: 101608 kB SwapCached: 6484 kB Active: 98092 kB Inactive: 68508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1825740 kB SwapTotal: 4192956 kB SwapFree: 4140108 kB Dirty: 5256 kB Writeback: 0 kB AnonPages: 11936 kB Mapped: 12908 kB Slab: 44964 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62468 MiB End job on node006 at 2010-06-14 05:31:50