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