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

OK	57799

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-432534-1177944608 -o ROOT/results/node13/solver-432534-1177944608 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 10479
/proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=20284 CPUtime=0
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 242378718 20770816 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 3118 331 279 324 0 2004 0

[startup+0.0721701 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 10479
/proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=5588 CPUtime=0.06
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 644 0 0 0 6 0 0 0 18 0 1 0 242378718 5722112 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 1397 614 326 324 0 283 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5588

[startup+0.101175 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 10479
/proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=5848 CPUtime=0.09
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 242378718 5988352 692 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525286 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 1462 693 345 324 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5848

[startup+0.301217 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 10479
/proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=8996 CPUtime=0.29
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1812 0 0 0 29 0 0 0 19 0 1 0 242378718 9211904 1598 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 2249 1598 303 324 0 1319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8996

[startup+0.701302 s]
/proc/loadavg: 0.91 0.95 0.81 3/77 10479
/proc/meminfo: memFree=1457424/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=8996 CPUtime=0.69
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1816 0 0 0 69 0 0 0 23 0 1 0 242378718 9211904 1602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 2249 1602 303 324 0 1319 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50147 s]
/proc/loadavg: 0.91 0.95 0.81 2/78 10480
/proc/meminfo: memFree=1452104/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=8996 CPUtime=1.49
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 1817 0 0 0 149 0 0 0 25 0 1 0 242378718 9211904 1603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 2249 1603 303 324 0 1319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8996

[startup+3.10181 s]
/proc/loadavg: 0.91 0.95 0.81 2/78 10480
/proc/meminfo: memFree=1451720/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=9732 CPUtime=3.09
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 2351 0 0 0 308 1 0 0 25 0 1 0 242378718 9965568 1821 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 2433 1821 310 324 0 1503 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9732

[startup+6.30249 s]
/proc/loadavg: 0.92 0.95 0.82 2/78 10480
/proc/meminfo: memFree=1447240/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=14616 CPUtime=6.29
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 3556 0 0 0 627 2 0 0 25 0 1 0 242378718 14966784 3026 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573658 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 3654 3026 310 324 0 2724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14616

[startup+12.7019 s]
/proc/loadavg: 0.93 0.95 0.82 2/78 10480
/proc/meminfo: memFree=1434376/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=28176 CPUtime=12.69
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 6955 0 0 0 1265 4 0 0 25 0 1 0 242378718 28852224 6425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12309809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 7044 6425 310 324 0 6114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28176

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.82 2/78 10480
/proc/meminfo: memFree=1414856/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=46980 CPUtime=25.48
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 11645 0 0 0 2541 7 0 0 25 0 1 0 242378718 48107520 11115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 11745 11115 310 324 0 10815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46980

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.82 2/78 10480
/proc/meminfo: memFree=1391240/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=70056 CPUtime=51.07
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 17418 0 0 0 5096 11 0 0 25 0 1 0 242378718 71737344 16888 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 17514 16888 310 324 0 16584 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70056

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.83 2/78 10480
/proc/meminfo: memFree=1346952/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=113896 CPUtime=102.26
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 28374 0 0 0 10207 19 0 0 25 0 1 0 242378718 116629504 27844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 28474 27844 310 324 0 27544 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 113896

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.83 2/78 10480
/proc/meminfo: memFree=1309704/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=151132 CPUtime=162.23
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 37697 0 0 0 16199 24 0 0 25 0 1 0 242378718 154759168 37167 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 37783 37167 310 324 0 36853 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151132

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 10480
/proc/meminfo: memFree=1274120/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=186576 CPUtime=222.21
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 46537 0 0 0 22188 33 0 0 25 0 1 0 242378718 191053824 46007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 46644 46007 310 324 0 45714 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 186576

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.84 2/78 10480
/proc/meminfo: memFree=1243592/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=217436 CPUtime=282.18
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 54264 0 0 0 28178 40 0 0 25 0 1 0 242378718 222654464 53734 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 54359 53734 310 324 0 53429 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 217436

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.85 2/78 10480
/proc/meminfo: memFree=1212552/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=247960 CPUtime=342.17
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 61881 0 0 0 34171 46 0 0 25 0 1 0 242378718 253911040 61351 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551532 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 61990 61351 310 324 0 61060 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 247960

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 10480
/proc/meminfo: memFree=1189192/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=271968 CPUtime=402.15
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 67880 0 0 0 40164 51 0 0 25 0 1 0 242378718 278495232 67350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 67992 67350 310 324 0 67062 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 271968

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/78 10480
/proc/meminfo: memFree=1144840/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=315544 CPUtime=462.12
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 78788 0 0 0 46154 58 0 0 25 0 1 0 242378718 323117056 78258 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 78886 78258 310 324 0 77956 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 315544

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 10480
/proc/meminfo: memFree=1129416/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=331000 CPUtime=522.1
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 82661 0 0 0 52148 62 0 0 25 0 1 0 242378718 338944000 82131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 82750 82131 310 324 0 81820 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 331000

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.87 2/78 10480
/proc/meminfo: memFree=1107592/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=352752 CPUtime=582.08
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 88087 0 0 0 58141 67 0 0 25 0 1 0 242378718 361218048 87557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 88188 87557 310 324 0 87258 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 352752

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.88 2/78 10480
/proc/meminfo: memFree=1089736/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=370424 CPUtime=642.06
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 92519 0 0 0 64136 70 0 0 25 0 1 0 242378718 379314176 91989 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 92606 91989 310 324 0 91676 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 370424


################
# More data... #
################

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.90 2/78 10678
/proc/meminfo: memFree=1018312/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=441476 CPUtime=881.87
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 110286 0 0 0 88101 86 0 0 25 0 1 0 242378718 452071424 109756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 110369 109756 310 324 0 109439 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 441476

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=1003144/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=456644 CPUtime=941.85
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 114079 0 0 0 94096 89 0 0 25 0 1 0 242378718 467603456 113549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 114161 113549 310 324 0 113231 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 456644

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=976072/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=483860 CPUtime=1001.82
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 120858 0 0 0 100089 93 0 0 25 0 1 0 242378718 495472640 120328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 120965 120328 310 324 0 120035 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 483860

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=956296/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=503604 CPUtime=1061.8
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 125803 0 0 0 106083 97 0 0 25 0 1 0 242378718 515690496 125273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 125901 125273 310 324 0 124971 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 503604

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=939976/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=519968 CPUtime=1121.78
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 129894 0 0 0 112077 101 0 0 25 0 1 0 242378718 532447232 129364 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 129992 129364 310 324 0 129062 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 519968

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=927112/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=532792 CPUtime=1181.76
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 133109 0 0 0 118072 104 0 0 25 0 1 0 242378718 545579008 132579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 133198 132579 310 324 0 132268 0
Current children cumulated CPU time (s) 1181.76
Current children cumulated vsize (KiB) 532792

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=908936/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=550944 CPUtime=1241.74
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 137636 0 0 0 124067 107 0 0 25 0 1 0 242378718 564166656 137106 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 137736 137106 310 324 0 136806 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 550944

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=897736/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=561960 CPUtime=1301.72
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 140408 0 0 0 130063 109 0 0 25 0 1 0 242378718 575447040 139878 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 140490 139878 310 324 0 139560 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 561960

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=884104/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=575668 CPUtime=1361.69
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 143829 0 0 0 136057 112 0 0 25 0 1 0 242378718 589484032 143299 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312212 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 143917 143299 310 324 0 142987 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 575668

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=869192/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=590476 CPUtime=1421.68
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 147530 0 0 0 142053 115 0 0 25 0 1 0 242378718 604647424 147000 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12310357 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 147619 147000 310 324 0 146689 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 590476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=848072/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=611892 CPUtime=1481.65
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 152880 0 0 0 148046 119 0 0 25 0 1 0 242378718 626577408 152350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 152973 152350 310 324 0 152043 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 611892

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=836872/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=622856 CPUtime=1541.63
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 155608 0 0 0 154042 121 0 0 25 0 1 0 242378718 637804544 155078 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 155714 155078 310 324 0 154784 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 622856

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=827016/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=632676 CPUtime=1601.6
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 158073 0 0 0 160037 123 0 0 25 0 1 0 242378718 647860224 157543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 158169 157543 310 324 0 157239 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 632676

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=817544/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=642244 CPUtime=1661.59
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 160449 0 0 0 166033 126 0 0 25 0 1 0 242378718 657657856 159919 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 160561 159919 310 324 0 159631 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 642244

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 10678
/proc/meminfo: memFree=808456/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=651392 CPUtime=1721.56
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 162752 0 0 0 172028 128 0 0 25 0 1 0 242378718 667025408 162222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12320485 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 162848 162222 310 324 0 161918 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 651392

[startup+1782.3 s]
/proc/loadavg: 1.03 0.99 0.91 2/78 10678
/proc/meminfo: memFree=798088/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=661528 CPUtime=1781.54
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 165295 0 0 0 178023 131 0 0 25 0 1 0 242378718 677404672 164765 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 165382 164765 310 324 0 164452 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 661528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.02 0.99 0.91 2/78 10678
/proc/meminfo: memFree=795144/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=664456 CPUtime=1800.04
/proc/10479/stat : 10479 (bsolo3.0.17) R 10477 10479 10317 0 -1 4194304 166007 0 0 0 179873 131 0 0 25 0 1 0 242378718 680402944 165477 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10479/statm: 166114 165477 310 324 0 165184 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 664456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1800.91 s]
/proc/loadavg: 1.02 0.99 0.91 2/78 10678
/proc/meminfo: memFree=795144/2055920 swapFree=4159412/4192956
[pid=10479] ppid=10477 vsize=0 CPUtime=1800.13
/proc/10479/stat : 10479 (bsolo3.0.17) D 10477 10479 10317 0 -1 4194308 166011 0 0 0 179873 140 0 0 25 0 1 0 242378718 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 0 0 0
/proc/10479/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.91
CPU time (s): 1800.14
CPU user time (s): 1798.73
CPU system time (s): 1.40979
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 664456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.40978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166011
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= 14
involuntary context switches= 37415

runsolver used 1.34679 second user time and 4.02839 second system time

The end

Begin job on node13 on Mon Apr 30 14:50:09 UTC 2007

IDJOB= 432534
IDBENCH= 1523
IDSOLVER= 199
FILE ID= node13/432534-1177944608

PBS_JOBID= 4727829

Free space on /tmp= 66557 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-432534-1177944608 -o ROOT/results/node13/solver-432534-1177944608 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432534-1177944608/instance-432534-1177944608.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  015f32a31b4a3d7bbfc82031e4222c83

RANDOM SEED= 56288589

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1457832 kB
Buffers:         45936 kB
Cached:         463112 kB
SwapCached:      12852 kB
Active:         364600 kB
Inactive:       167648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1457832 kB
SwapTotal:     4192956 kB
SwapFree:      4159412 kB
Dirty:            7328 kB
Writeback:           0 kB
Mapped:          30144 kB
Slab:            51232 kB
Committed_AS:  6961252 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66557 MiB

End job on node13 on Mon Apr 30 15:20:12 UTC 2007