0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/354125-1176695714/instance-354125-1176695714.opb
0.00/0.00	c File size is 445658 bytes.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.01	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.04	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.05	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.00/0.06	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Coefficients are big enough for not using lower bounding.
0.06/0.08	c Highest Coefficient sum: 2.90492e+12
0.06/0.08	c Parsing was ok!!
0.06/0.08	c Total parsing time: 0.082 s
0.06/0.09	c Var: 6402 Constr: 5929 5503/174/252 Lit: 43374 Watch. Lit: 27944
0.06/0.09	c Obj. Vars: 4170 (65.1359 % of total variables)
0.49/0.53	c Pre-processing Time: 0.529 s
1638.31/1638.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1638.31/1638.87	c        0   3561     1916    33567   17    21314   63522      0      0 0.53
1638.31/1638.87	c      100   3561     2016    62095   30    25463   69875    100    170 0.59
1638.31/1638.87	c      250   3561     2166   106288   49    26240   76863    250    372 0.67
1638.31/1638.87	c      476   3561     2392   162771   68    26347   84550    476    570 0.83
1638.31/1638.87	c      826   3561     2742   230200   83    27289   93006    826    875 0.94
1638.31/1638.87	c     1334   3561     3250   438102  134    28062  102307   1334   1063 1.25
1638.31/1638.87	c     2098   3561     4014   554557  138    29471  112538   2098   1344 1.56
1638.31/1638.87	c     3245   3561     5161   767372  148    31736  123792   3245   1673 1.94
1638.31/1638.87	c     4968   3561     6884  1048054  152    35178  136172   4968   1803 2.75
1638.31/1638.87	c     7553   3561     9469  1394422  147    40226  149790   7553   2087 3.62
1638.31/1638.87	c    11432   3561    13348  2037913  152    47812  164770  11432   2017 5.67
1638.31/1638.87	c    17255   3561    19171  2579515  134    59352  181248  17255   2191 7.87
1638.31/1638.87	c    25992   3561    27908  5363581  192    76724  199373  25992   1356 19.17
1638.31/1638.87	c    39102   3561    41018  6824070  166   102771  219311  39102   1317 29.68
1638.31/1638.87	c    58772   3561    60688  7732327  127   142220  241243  58772   1256 46.77
1638.31/1638.87	c    88282   3561    90198 11651935  129   201736  265368  88282   1177 74.94
1638.31/1638.87	c   132552   3561   134468 15694444  116   290165  291905 132552    976 135.77
1638.31/1638.87	c   198963   3561   200879 58447573  290   423276  321096 198963    249 798.62
1638.31/1638.87	c   298588   3561   300504 79031046  262   622363  353206 298588    182 1633.18
1638.31/1638.87	o 65171982	1638.39
1799.97/1800.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.52	c   301289   3561   303206 79585112  262   630203   67608 301290    183 1638.40
1799.97/1800.52	c   301391   3561    16158  2208628  136    55826   74369  14242    170 1766.33
1799.97/1800.52	c   301641   3561    16408  2247574  136    56101   81806  14492    170 1766.49
1799.97/1800.52	c   302116   3561    16883  2298468  136    56780   89987  14967    170 1766.85
1799.97/1800.52	c   302929   3561    17696  2464984  139    58310   98986  15780    171 1767.52
1799.97/1800.52	c   304249   3561    19016  2681366  141    61122  108885  17100    172 1768.02
1799.97/1800.52	c   306331   3561    21098  2894138  137    65057  119774  19182    173 1768.81
1799.97/1800.52	c   309555   3561    24322  3742724  153    71293  131752  22406    174 1771.55
1799.97/1800.52	c   314495   3561    29262  4284046  146    81219  144928  27346    177 1774.70
1799.97/1800.52	c   322002   3561    36769  5601737  152    96043  159421  34853    180 1784.33
1799.97/1800.52	c   333367   3561    48134  6929720  143   118717  175364  46218    185 1792.30
1799.97/1800.52	c Resources Exceeded
1799.97/1800.52	v x1 -x1112 -x5626 -x5737 -x5848 x5959 x6070 -x6181 x6292 -x2 -x113 x224 -x335 x446 x557 x668 -x779 -x890 -x1001 x1113 -x1224
1799.97/1800.52	v x1335 x1446 -x1557 x1668 x1779 x1890 x3066 x4723 -x5627 -x5638 -x5649 -x5660 -x5671 -x5682 -x5693 x5704 -x5715 -x5726 -x5738
1799.97/1800.52	v -x5749 -x5760 -x926 -x927 -x928 -x929 -x930 -x931 -x5771 -x5782 -x5793 -x5804 -x5815 -x5826 -x5837 -x5849 -x5860 x5871
1799.97/1800.52	v -x5882 -x5893 -x932 -x933 -x934 -x936 -x937 -x938 -x5904 -x5915 -x5926 -x5937 -x5948 -x5960 -x5971 -x5982 -x5993 -x6004
1799.97/1800.52	v -x6015 x6026 -x939 -x940 -x941 -x942 -x943 -x944 -x6037 x6048 -x6059 -x6071 -x6082 -x6093 -x6104 -x6115 -x6126 -x6137 -x6148
1799.97/1800.52	v -x6159 -x945 -x947 -x948 -x949 -x950 -x951 -x6170 -x6182 -x6193 -x6204 -x6215 -x6226 -x6237 -x6248 x6259 -x6270 -x6281
1799.97/1800.52	v -x6293 -x952 -x953 -x954 -x955 -x956 -x958 -x6304 x6315 -x6326 -x6337 -x6348 -x6359 -x6370 -x6381 -x6392 -x3 -x14 -x25 -x959
1799.97/1800.52	v -x960 -x961 -x962 -x963 -x964 -x36 -x47 -x58 -x69 -x80 -x91 -x102 -x114 -x125 -x136 -x147 x158 -x965 -x966 -x967 -x969 -x970
1799.97/1800.52	v -x971 -x169 -x180 -x191 -x202 -x213 -x225 -x236 x247 -x258 -x269 -x280 -x291 -x972 -x973 -x974 -x975 -x976 -x977 -x302 -x313
1799.97/1800.52	v -x324 -x336 -x347 -x358 -x369 x380 -x391 -x402 -x413 -x424 -x978 -x980 -x981 -x982 -x983 -x984 -x435 -x447 -x458 x469 -x480
1799.97/1800.52	v -x491 -x502 -x513 -x524 -x535 -x546 -x558 -x985 -x986 -x987 -x988 -x989 -x991 -x569 x580 -x591 -x602 -x613 -x624 -x635 -x646
1799.97/1800.52	v -x657 -x669 -x680 -x691 -x992 -x993 -x994 -x995 -x996 -x997 -x702 -x713 -x724 -x735 -x746 -x757 -x768 -x780 x791 -x802 -x813
1799.97/1800.52	v -x824 -x998 -x999 -x1000 -x1003 -x1004 -x1005 -x835 -x846 -x857 x868 -x879 -x891 -x902 -x913 -x924 -x935 -x946 -x957 -x1006
1799.97/1800.52	v -x1007 -x1008 -x1009 -x1010 -x1011 -x968 x979 -x990 -x1002 -x1013 -x1024 -x1035 -x1046 -x1057 -x1068 -x1079 -x1090 -x1012
1799.97/1800.52	v -x1014 -x1015 -x1016 -x1017 -x1018 -x1101 x1114 -x1125 -x1136 -x1147 -x1158 -x1169 -x1180 -x1191 -x1202 -x1213 -x1225
1799.97/1800.52	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1025 -x1236 -x1247 -x1258 x1269 -x1280 -x1291 -x1302 -x1313 -x1324 -x1336 -x1347
1799.97/1800.52	v -x1358 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1369 -x1380 -x1391 -x1402 -x1413 -x1424 -x1435 -x1447 -x1458 x1469
1799.97/1800.52	v -x1480 -x1491 -x1032 -x1033 -x1034 -x1036 -x1037 -x1038 -x1502 x1513 -x1524 -x1535 -x1546 -x1558 -x1569 -x1580 -x1591
1799.97/1800.52	v -x1602 -x1613 -x1624 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1635 -x1646 -x1657 -x1669 -x1680 -x1691 -x1702 -x1713
1799.97/1800.52	v -x1724 x1735 -x1746 -x1757 -x1045 -x1047 -x1048 -x1049 -x1050 -x1051 -x1768 -x1780 -x1791 -x1802 -x1813 -x1824 -x1835
1799.97/1800.52	v -x1846 -x1857 x1868 -x1879 -x1891 -x1052 -x1053 -x1054 -x1055 -x1056 -x1058 -x1902 x1913 -x1924 -x1992 -x2234 -x2340 -x2544
1799.97/1800.52	v -x2698 -x2854 -x3067 -x3184 -x3435 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x3532 -x3774 -x3880 -x4084 -x4238 -x4394
1799.97/1800.52	v x4606 -x4724 -x4975 -x5072 -x5314 -x5420 -x1065 -x1066 -x1067 -x1069 -x1070 -x1071 -x5621 -x5622 -x5623 -x5624 -x5625
1799.97/1800.52	v -x5628 -x5629 -x5630 -x5631 x5632 -x5633 -x5634 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x5635 -x5636 -x5637 x5639 -x5640
1799.97/1800.52	v -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x1078 -x1080 -x1081 -x1082 -x1083 -x1084 -x5648 -x5650 -x5651 -x5652
1799.97/1800.52	v -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5661 -x1085 -x1086 -x1087 -x1088 -x1089 -x1091 -x5662 -x5663 -x5664
1799.97/1800.52	v -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5672 -x5673 -x5674 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x5675 -x5676 -x5677
1799.97/1800.52	v -x5678 -x5679 -x5680 -x5681 -x5683 -x5684 -x5685 -x5686 -x5687 -x1098 -x1099 -x1100 -x1102 -x1103 -x1104 -x5688 -x5689
1799.97/1800.52	v -x5690 -x5691 -x5692 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x5701
1799.97/1800.52	v -x5702 -x5703 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x1111 -x1115 -x1116 -x1117 -x1118 -x1119
1799.97/1800.52	v -x5714 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 x5722 -x5723 -x5724 -x5725 -x5727 -x1120 -x1121 -x1122 -x1123 -x1124
1799.97/1800.52	v -x1126 -x5728 x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5739 -x5740 -x5741 -x1127 -x1128 -x1129 -x1130
1799.97/1800.52	v -x1131 -x1132 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5750 -x5751 -x5752 -x5753 -x5754 -x1133 -x1134 -x1135
1799.97/1800.52	v -x1137 -x1138 -x1139 -x5755 -x5756 -x5757 -x5758 -x5759 x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x1140 -x1141
1799.97/1800.52	v -x1142 -x1143 -x1144 -x1145 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 -x5779 -x5780 -x1146
1799.97/1800.52	v -x1148 -x1149 -x1150 -x1151 -x1152 -x5781 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 x5789 -x5790 -x5791 -x5792 -x5794
1799.97/1800.52	v -x1153 -x1154 -x1155 -x1156 -x1157 -x1159 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5805 -x5806
1799.97/1800.52	v -x5807 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5816 -x5817 x5818
1799.97/1800.52	v -x5819 -x5820 -x1166 -x1167 -x1168 -x1170 -x1171 -x1172 -x5821 -x5822 -x5823 -x5824 -x5825 -x5827 -x5828 -x5829 -x5830
1799.97/1800.52	v x5831 -x5832 -x5833 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x5834 -x5835 -x5836 -x5838 -x5839 -x5840 -x5841 x5842 -x5843
1799.97/1800.52	v -x5844 -x5845 -x5846 -x1179 -x1181 -x1182 -x1183 -x1184 -x1185 -x5847 x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856
1799.97/1800.52	v -x5857 -x5858 -x5859 -x5861 -x1186 -x1187 -x1188 -x1189 -x1190 -x1192 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868
1799.97/1800.52	v -x5869 -x5870 -x5872 -x5873 -x5874 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x5875 -x5876 -x5877 x5878 -x5879 -x5880
1799.97/1800.52	v -x5881 -x5883 -x5884 -x5885 -x5886 -x5887 -x1199 -x1200 -x1201 -x1203 -x1204 -x1205 x5888 -x5889 -x5890 -x5891 -x5892
1799.97/1800.52	v -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x5901 x5902 -x5903 -x5905
1799.97/1800.52	v -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x1212 -x1214 -x1215 -x1216 -x1217 -x1218 -x5914 -x5916 -x5917
1799.97/1800.52	v -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 x5924 -x5925 -x5927 -x1219 -x1220 -x1221 -x1222 -x1223 -x1226 -x5928 -x5929
1799.97/1800.52	v -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 x5938 -x5939 -x5940 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x5941
1799.97/1800.52	v -x5942 -x5943 x5944 -x5945 -x5946 -x5947 -x5949 -x5950 -x5951 -x5952 -x5953 -x1233 -x1234 -x1235 -x1237 -x1238 -x1239
1799.97/1800.52	v -x5954 x5955 -x5956 -x5957 -x5958 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x1240 -x1241 -x1242 -x1243 -x1244
1799.97/1800.52	v -x1245 -x5968 x5969 -x5970 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x1246 -x1248 -x1249 -x1250
1799.97/1800.52	v -x1251 -x1252 -x5981 -x5983 x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5994 -x1253 -x1254 -x1255
1799.97/1800.52	v -x1256 -x1257 -x1259 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6005 -x6006 -x6007 -x1260 -x1261
1799.97/1800.52	v -x1262 -x1263 -x1264 -x1265 -x6008 -x6009 -x6010 x6011 -x6012 -x6013 -x6014 -x6016 -x6017 -x6018 -x6019 -x6020 -x1266
1799.97/1800.52	v -x1267 -x1268 -x1270 -x1271 -x1272 -x6021 -x6022 -x6023 -x6024 -x6025 -x6027 -x6028 -x6029 -x6030 x6031 -x6032 -x6033
1799.97/1800.52	v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x6034 -x6035 -x6036 -x6038 -x6039 -x6040 x6041 -x6042 -x6043 -x6044 -x6045
1799.97/1800.52	v -x6046 -x1279 -x1281 -x1282 -x1283 -x1284 -x1285 x6047 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057
1799.97/1800.52	v -x6058 -x6060 -x1286 -x1287 -x1288 -x1289 -x1290 -x1292 -x6061 -x6062 -x6063 x6064 -x6065 -x6066 -x6067 -x6068 -x6069
1799.97/1800.52	v -x6072 -x6073 -x6074 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 x6083
1799.97/1800.52	v -x6084 -x6085 -x6086 -x6087 -x1299 -x1300 -x1301 -x1303 -x1304 -x1305 -x6088 -x6089 x6090 -x6091 -x6092 -x6094 -x6095
1799.97/1800.52	v -x6096 -x6097 -x6098 -x6099 -x6100 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x6101 -x6102 -x6103 -x6105 -x6106 -x6107
1799.97/1800.52	v -x6108 -x6109 -x6110 x6111 -x6112 -x6113 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x6114 -x6116 -x6117 -x6118 -x6119
1799.97/1800.52	v -x6120 -x6121 -x6122 -x6123 x6124 -x6125 -x6127 -x1319 -x1320 -x1321 -x1322 -x1323 -x1325 -x6128 -x6129 -x6130 -x6131
1799.97/1800.52	v -x6132 -x6133 -x6134 -x6135 -x6136 x6138 -x6139 -x6140 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x6141 -x6142 -x6143
1799.97/1800.52	v -x6144 -x6145 -x6146 -x6147 -x6149 x6150 -x6151 -x6152 -x6153 -x1332 -x1333 -x1334 -x1337 -x1338 -x1339 -x6154 -x6155
1799.97/1800.52	v -x6156 -x6157 -x6158 -x6160 -x6161 x6162 -x6163 -x6164 -x6165 -x6166 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x6167
1799.97/1800.52	v -x6168 -x6169 -x6171 -x6172 -x6173 x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x1346 -x1348 -x1349 -x1350 -x1351 -x1352
1799.97/1800.52	v x6180 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6194 -x1353 -x1354 -x1355 -x1356 -x1357
1799.97/1800.52	v -x1359 -x6195 -x6196 -x6197 -x6198 -x6199 x6200 -x6201 -x6202 -x6203 -x6205 -x6206 -x6207 -x1360 -x1361 -x1362 -x1363
1799.97/1800.52	v -x1364 -x1365 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6216 -x6217 -x6218 -x6219 x6220 -x1366 -x1367 -x1368
1799.97/1800.52	v -x1370 -x1371 -x1372 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x1373 -x1374
1799.97/1800.52	v -x1375 -x1376 -x1377 -x1378 -x6234 -x6235 -x6236 x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x1379
1799.97/1800.52	v -x1381 -x1382 -x1383 -x1384 -x1385 -x6247 -x6249 -x6250 -x6251 -x6252 -x6253 x6254 -x6255 -x6256 -x6257 -x6258 -x6260
1799.97/1800.52	v -x1386 -x1387 -x1388 -x1389 -x1390 -x1392 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 x6269 -x6271 -x6272
1799.97/1800.52	v -x6273 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 x6282 -x6283 -x6284
1799.97/1800.52	v -x6285 -x6286 -x1399 -x1400 -x1401 -x1403 -x1404 -x1405 -x6287 -x6288 -x6289 -x6290 -x6291 -x6294 x6295 -x6296 -x6297
1799.97/1800.52	v -x6298 -x6299 -x6300 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x6301 -x6302 -x6303 -x6305 -x6306 -x6307 -x6308 -x6309
1799.97/1800.52	v -x6310 -x6311 -x6312 -x6313 -x1412 -x1414 -x1415 -x1416 -x1417 -x1418 -x6314 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321
1799.97/1800.52	v -x6322 -x6323 x6324 -x6325 -x6327 -x1419 -x1420 -x1421 -x1422 -x1423 -x1425 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334
1799.97/1800.52	v -x6335 -x6336 -x6338 -x6339 -x6340 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x6341 x6342 -x6343 -x6344 -x6345 -x6346
1799.97/1800.52	v -x6347 -x6349 -x6350 -x6351 -x6352 -x6353 -x1432 -x1433 -x1434 -x1436 -x1437 -x1438 -x6354 -x6355 -x6356 -x6357 -x6358
1799.97/1800.52	v -x6360 -x6361 -x6362 -x6363 x6364 -x6365 -x6366 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x6367 -x6368 -x6369 -x6371 -x6372
1799.97/1800.52	v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x1445 -x1448 -x1449 -x1450 -x1451 -x1452 -x6380 -x6382 -x6383 -x6384
1799.97/1800.52	v -x6385 -x6386 -x6387 -x6388 -x6389 x6390 -x6391 -x6393 -x1453 -x1454 -x1455 -x1456 -x1457 -x1459 -x6394 x6395 -x6396 -x6397
1799.97/1800.52	v -x6398 -x6399 -x6400 -x6401 -x6402 -x4 -x5 -x6 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x15
1799.97/1800.52	v -x16 -x17 -x18 x19 -x1466 -x1467 -x1468 -x1470 -x1471 -x1472 -x20 -x21 -x22 -x23 -x24 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x1473
1799.97/1800.52	v -x1474 -x1475 -x1476 -x1477 -x1478 -x33 -x34 -x35 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x1479 -x1481 -x1482 -x1483
1799.97/1800.52	v -x1484 -x1485 -x46 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x59 -x1486 -x1487 -x1488 -x1489 -x1490 -x1492 -x60 -x61
1799.97/1800.52	v -x62 -x63 -x64 -x65 -x66 x67 -x68 -x70 -x71 -x72 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x73 -x74 -x75 -x76 -x77 -x78 -x79
1799.97/1800.52	v x81 -x82 -x83 -x84 -x85 -x1499 -x1500 -x1501 -x1503 -x1504 -x1505 -x86 -x87 -x88 -x89 -x90 x92 -x93 -x94 -x95 -x96 -x97 -x98
1799.97/1800.52	v -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x99 -x100 x101 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x1512 -x1514
1799.97/1800.52	v -x1515 -x1516 -x1517 -x1518 -x112 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x126 -x1519 -x1520 -x1521
1799.97/1800.52	v -x1522 -x1523 -x1525 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x137 -x138 -x139 -x1526 -x1527 -x1528 -x1529
1799.97/1800.52	v -x1530 -x1531 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x148 -x149 x150 -x151 -x152 -x1532 -x1533 -x1534 -x1536 -x1537
1799.97/1800.52	v -x1538 -x153 -x154 -x155 -x156 -x157 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544
1799.97/1800.52	v -x166 x167 -x168 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x1545 -x1547 -x1548 -x1549 -x1550 -x1551 -x179 -x181
1799.97/1800.52	v x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x192 -x1552 -x1553 -x1554 -x1555 -x1556 -x1559 -x193 -x194 -x195 -x196
1799.97/1800.52	v -x197 -x198 -x199 -x200 x201 -x203 -x204 -x205 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x206 -x207 -x208 x209 -x210 -x211
1799.97/1800.52	v -x212 -x214 -x215 -x216 -x217 -x218 -x1566 -x1567 -x1568 -x1570 -x1571 -x1572 x219 -x220 -x221 -x222 -x223 -x226 -x227 -x228
1799.97/1800.52	v -x229 -x230 -x231 -x232 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x233 -x234 -x235 -x237 -x238 x239 -x240 -x241 -x242 -x243
1799.97/1800.52	v -x244 -x245 -x1579 -x1581 -x1582 -x1583 -x1584 -x1585 -x246 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x259
1799.97/1800.52	v -x1586 -x1587 -x1588 -x1589 -x1590 -x1592 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x270 -x271 -x272 -x1593
1799.97/1800.52	v -x1594 -x1595 -x1596 -x1597 -x1598 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x281 x282 -x283 -x284 -x285 -x1599 -x1600
1799.97/1800.52	v -x1601 -x1603 -x1604 -x1605 -x286 -x287 -x288 -x289 -x290 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x1606 -x1607 -x1608
1799.97/1800.52	v -x1609 -x1610 -x1611 -x299 -x300 -x301 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x1612 -x1614 -x1615 -x1616
1799.97/1800.52	v -x1617 -x1618 -x312 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x325 -x1619 -x1620 -x1621 -x1622 -x1623
1799.97/1800.52	v -x1625 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x337 -x338 -x339 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631
1799.97/1800.52	v -x340 -x341 -x342 x343 -x344 -x345 -x346 -x348 -x349 -x350 -x351 -x352 -x1632 -x1633 -x1634 -x1636 -x1637 -x1638 -x353 -x354
1799.97/1800.52	v -x355 -x356 -x357 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x366 -x367 -x368 -x370
1799.97/1800.52	v -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x1645 -x1647 -x1648 -x1649 -x1650 -x1651 -x379 x381 -x382 -x383 -x384 -x385
1799.97/1800.52	v -x386 -x387 -x388 -x389 -x390 -x392 -x1652 -x1653 -x1654 -x1655 -x1656 -x1658 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1799.97/1800.52	v -x400 x401 -x403 -x404 -x405 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x414 -x415
1799.97/1800.52	v -x416 -x417 -x418 -x1665 -x1666 -x1667 -x1670 -x1671 -x1672 -x419 -x420 -x421 -x422 -x423 -x425 -x426 x427 -x428 -x429 -x430
1799.97/1800.52	v -x431 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x432 -x433 -x434 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x1679
1799.97/1800.52	v -x1681 -x1682 -x1683 -x1684 -x1685 -x445 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x459 -x1686 -x1687
1799.97/1800.52	v -x1688 -x1689 -x1690 -x1692 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x470 -x471 -x472 -x1693 -x1694 -x1695
1799.97/1800.52	v -x1696 -x1697 -x1698 -x473 -x474 -x475 -x476 -x477 -x478 -x479 x481 -x482 -x483 -x484 -x485 -x1699 -x1700 -x1701 -x1703
1799.97/1800.52	v -x1704 -x1705 -x486 -x487 -x488 x489 -x490 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x1706 -x1707 -x1708 -x1709 -x1710
1799.97/1800.52	v -x1711 -x499 x500 -x501 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x1712 -x1714 -x1715 -x1716 -x1717 -x1718
1799.97/1800.52	v -x512 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x525 -x1719 -x1720 -x1721 -x1722 -x1723 -x1725 -x526 x527
1799.97/1800.52	v -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x536 -x537 -x538 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x539 -x540 -x541
1799.97/1800.52	v -x542 -x543 -x544 -x545 -x547 -x548 -x549 -x550 x551 -x1732 -x1733 -x1734 -x1736 -x1737 -x1738 -x552 -x553 -x554 -x555 -x556
1799.97/1800.52	v x559 -x560 -x561 -x562 -x563 -x564 -x565 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x566 x567 -x568 -x570 -x571 -x572 -x573
1799.97/1800.52	v -x574 -x575 -x576 -x577 -x578 -x1745 -x1747 -x1748 -x1749 -x1750 -x1751 -x579 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588
1799.97/1800.52	v -x589 -x590 -x592 -x1752 -x1753 -x1754 -x1755 -x1756 -x1758 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x603 -x604
1799.97/1800.52	v -x605 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x614 -x615 -x616 -x617 x618 -x1765
1799.97/1800.52	v -x1766 -x1767 -x1769 -x1770 -x1771 -x619 -x620 -x621 x622 -x623 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x1772 -x1773
1799.97/1800.52	v -x1774 -x1775 -x1776 -x1777 -x632 -x633 x634 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x1778 -x1781 -x1782
1799.97/1800.52	v -x1783 -x1784 -x1785 -x645 -x647 -x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x658 -x1786 -x1787 -x1788 -x1789
1799.97/1800.52	v -x1790 -x1792 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x670 -x671 -x672 -x1793 -x1794 -x1795 -x1796 -x1797
1799.97/1800.52	v -x1798 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x681 -x682 -x683 -x684 -x685 -x1799 -x1800 -x1801 -x1803 -x1804 -x1805
1799.97/1800.52	v -x686 x687 -x688 -x689 -x690 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x699 -x700
1799.97/1800.52	v -x701 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x712 x714 -x715 -x716
1799.97/1800.52	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x725 -x1819 -x1820 -x1821 -x1822 -x1823 -x1825 -x726 -x727 -x728 -x729 -x730
1799.97/1800.52	v -x731 -x732 -x733 -x734 -x736 -x737 x738 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x739 -x740 -x741 -x742 -x743 -x744 -x745
1799.97/1800.52	v -x747 -x748 -x749 -x750 x751 -x1832 -x1833 -x1834 -x1836 -x1837 -x1838 -x752 -x753 -x754 -x755 -x756 x758 -x759 -x760 -x761
1799.97/1800.52	v -x762 -x763 -x764 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x765 -x766 -x767 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776
1799.97/1800.52	v -x777 -x1845 -x1847 -x1848 -x1849 -x1850 -x1851 -x778 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x792 -x1852
1799.97/1800.52	v -x1853 -x1854 -x1855 -x1856 -x1858 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x803 -x804 -x805 -x1859 -x1860
1799.97/1800.52	v -x1861 -x1862 -x1863 -x1864 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x814 -x815 -x816 -x817 -x818 -x1865 -x1866 -x1867
1799.97/1800.52	v -x1869 -x1870 -x1871 x819 -x820 -x821 -x822 -x823 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x1872 -x1873 -x1874 -x1875
1799.97/1800.52	v -x1876 -x1877 -x832 x833 -x834 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x1878 -x1880 -x1881 -x1882 -x1883
1799.97/1800.52	v -x1884 -x845 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x858 -x1885 -x1886 -x1887 -x1888 -x1889 -x1892
1799.97/1800.52	v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x869 x870 -x871 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x872 -x873
1799.97/1800.52	v -x874 -x875 -x876 -x877 x878 -x880 -x881 -x882 -x883 -x884 -x1899 -x1900 -x1901 -x1903 -x1904 -x1905 -x885 -x886 -x887 -x888
1799.97/1800.52	v -x889 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x899 -x900 -x901 -x903 -x904 -x905
1799.97/1800.52	v -x906 -x907 -x908 -x909 -x910 x911 -x1912 -x1914 -x1915 -x1916 -x1917 -x1918 -x912 -x914 -x915 -x916 -x917 -x918 x919 -x920
1799.97/1800.52	v -x921 -x922 -x923 -x925 -x1919 -x1920 -x1921 -x1922 -x1923 -x1925 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1799.97/1800.52	v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956
1799.97/1800.52	v -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973
1799.97/1800.52	v -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990
1799.97/1800.52	v -x1991 -x1993 -x1994 -x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
1799.97/1800.52	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025
1799.97/1800.52	v -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042
1799.97/1800.52	v -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246
1799.97/1800.52	v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263
1799.97/1800.52	v -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1799.97/1800.52	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297
1799.97/1800.52	v -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
1799.97/1800.52	v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331
1799.97/1800.52	v -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
1799.97/1800.52	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553
1799.97/1800.52	v -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570
1799.97/1800.52	v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587
1799.97/1800.52	v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604
1799.97/1800.52	v -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1799.97/1800.52	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638
1799.97/1800.52	v -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655
1799.97/1800.52	v -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2856 -x2857 -x2858 -x2859 -x2860
1799.97/1800.52	v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
1799.97/1800.52	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894
1799.97/1800.52	v -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911
1799.97/1800.52	v -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928
1799.97/1800.52	v -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945
1799.97/1800.52	v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1799.97/1800.52	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x3164 -x3165 -x3166 -x3167
1799.97/1800.52	v -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3185
1799.97/1800.52	v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202
1799.97/1800.52	v -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219
1799.97/1800.52	v -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236
1799.97/1800.52	v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253
1799.97/1800.52	v -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1799.97/1800.52	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3472 -x3473 -x3474
1799.97/1800.52	v -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491
1799.97/1800.52	v -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508
1799.97/1800.52	v -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525
1799.97/1800.52	v -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543
1799.97/1800.52	v -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560
1799.97/1800.52	v -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577
1799.97/1800.52	v -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3780 -x3781
1799.97/1800.52	v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1799.97/1800.52	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815
1799.97/1800.52	v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832
1799.97/1800.52	v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849
1799.97/1800.52	v -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 x3863 -x3864 -x3865 -x3866
1799.97/1800.52	v -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 -x3882 -x3883 -x3884
1799.97/1800.52	v -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x4088
1799.97/1800.52	v -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105
1799.97/1800.52	v -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122
1799.97/1800.52	v -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1799.97/1800.52	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156
1799.97/1800.52	v -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173
1799.97/1800.52	v -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190
1799.97/1800.52	v -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207
1799.97/1800.52	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412
1799.97/1800.52	v -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429
1799.97/1800.52	v -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446
1799.97/1800.52	v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 x4460 -x4461 -x4462 -x4463
1799.97/1800.52	v -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
1799.97/1800.52	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497
1799.97/1800.52	v -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514
1799.97/1800.52	v -x4515 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718
1799.97/1800.52	v -x4719 -x4720 -x4721 -x4722 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737
1799.97/1800.52	v -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754
1799.97/1800.52	v -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771
1799.97/1800.52	v -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788
1799.97/1800.52	v x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805
1799.97/1800.52	v -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822
1799.97/1800.52	v -x4823 -x4824 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026
1799.97/1800.52	v -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043
1799.97/1800.52	v -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060
1799.97/1800.52	v -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078
1799.97/1800.52	v -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095
1799.97/1800.52	v -x5096 -x5097 x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112
1799.97/1800.52	v -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129
1799.97/1800.52	v -x5130 -x5131 -x5132 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333
1799.97/1800.52	v -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350
1799.97/1800.52	v -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367
1799.97/1800.52	v -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384
1799.97/1800.52	v -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401
1799.97/1800.52	v -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
1799.97/1800.52	v -x5419 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436
1799.97/1800.52	v -x5437 -x5438 -x5439 -x5440 -x4390 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557
1799.97/1800.52	v -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574
1799.97/1800.52	v -x4575 -x4391 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590
1799.97/1800.52	v -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4702 -x4976
1799.97/1800.52	v -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993
1799.97/1800.52	v -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5011 -x5283 -x5284 -x5285 -x5286
1799.97/1800.52	v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303
1799.97/1800.52	v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5315 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477
1799.97/1800.52	v -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494
1799.97/1800.52	v -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5319 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600
1799.97/1800.52	v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617
1799.97/1800.52	v -x5618 -x5619 -x5620 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x2233 x2235 -x2236 -x2237 -x2238 -x2239 -x2541 -x2542 -x2543
1799.97/1800.52	v x2545 -x2546 -x2547 -x2849 -x2850 -x2851 -x2852 x2853 -x2855 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3466 -x3467 x3468
1799.97/1800.52	v -x3469 -x3470 -x3471 -x3773 -x3775 -x3776 -x3777 x3778 -x3779 -x4081 x4082 -x4083 -x4085 -x4086 -x4087 -x4389 x4392 -x4393
1799.97/1800.52	v -x4395 -x4697 -x4698 -x4699 -x4700 x4701 -x5006 -x5007 -x5008 -x5009 x5010 x5313 -x5316 -x5317 -x5318 -x2053 -x2054 -x2055
1799.97/1800.52	v -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072
1799.97/1800.52	v -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367
1799.97/1800.52	v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384
1799.97/1800.52	v -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678
1799.97/1800.52	v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695
1799.97/1800.52	v -x2696 -x2697 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990
1799.97/1800.52	v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3285 -x3286
1799.97/1800.52	v -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1799.97/1800.52	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598
1799.97/1800.52	v -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615
1799.97/1800.52	v -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910
1799.97/1800.52	v -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927
1799.97/1800.52	v -x3928 -x3929 -x3930 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221
1799.97/1800.52	v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4516
1799.97/1800.52	v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533
1799.97/1800.52	v -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4825 -x4826 -x4827 -x4828 -x4829
1799.97/1800.52	v -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846
1799.97/1800.52	v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141
1799.97/1800.52	v -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158
1799.97/1800.52	v -x5159 -x5160 -x5161 -x5162 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 x5451 x5452 -x5453 -x5454
1799.97/1800.52	v x5455 -x5456 x5457 -x5458 x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x2083 -x2084
1799.97/1800.52	v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101
1799.97/1800.52	v -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396
1799.97/1800.52	v -x2397 -x2398 -x2399 -x2400 x2401 -x2402 -x2403 -x2404 x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 -x2413 -x2414
1799.97/1800.52	v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1799.97/1800.52	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726
1799.97/1800.52	v -x2727 -x2728 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
1799.97/1800.52	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3315 -x3316
1799.97/1800.52	v -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333
1799.97/1800.52	v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628
1799.97/1800.52	v -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645
1799.97/1800.52	v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940
1799.97/1800.52	v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957
1799.97/1800.52	v -x3958 -x3959 -x3960 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 -x4252
1799.97/1800.52	v x4253 -x4254 x4255 -x4256 -x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4855 -x4856
1799.97/1800.52	v -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873
1799.97/1800.52	v -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168
1799.97/1800.52	v -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185
1799.97/1800.52	v -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1799.97/1800.52	v -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139
1799.97/1800.52	v -x2140 -x2141 -x2142 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1799.97/1800.52	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2729
1799.97/1800.52	v -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746
1799.97/1800.52	v -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x3036 -x3037 -x3038 -x3039 -x3040
1799.97/1800.52	v -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057
1799.97/1800.52	v -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353
1799.97/1800.52	v -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370
1799.97/1800.52	v -x3371 -x3372 -x3373 -x3374 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 x3665
1799.97/1800.52	v x3666 x3667 -x3668 x3669 -x3670 x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3961
1799.97/1800.52	v -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978
1799.97/1800.52	v -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x4269 -x4270 -x4271 -x4272 -x4273
1799.97/1800.52	v -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290
1799.97/1800.52	v -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893
1799.97/1800.52	v -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910
1799.97/1800.52	v -x4911 -x4912 -x4913 -x4914 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205
1799.97/1800.52	v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222
1799.97/1800.52	v -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
1799.97/1800.52	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x2143 -x2144 -x2145 -x2146
1799.97/1800.52	v -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 x2154 -x2155 -x2156 x2157 -x2158 x2159 -x2160 x2161 -x2162 -x2163 -x2164
1799.97/1800.52	v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
1799.97/1800.52	v -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476
1799.97/1800.52	v -x2477 -x2478 -x2479 -x2480 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771
1799.97/1800.52	v -x2772 -x2773 -x2774 -x2775 x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788
1799.97/1800.52	v -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084
1799.97/1800.52	v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3375 -x3376 -x3377 -x3378
1799.97/1800.52	v -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395
1799.97/1800.52	v -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690
1799.97/1800.52	v -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707
1799.97/1800.52	v -x3708 -x3709 -x3710 -x3711 -x3712 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002
1799.97/1800.52	v -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019
1799.97/1800.52	v -x4020 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314
1799.97/1800.52	v -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4607 -x4608 -x4609
1799.97/1800.52	v -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 x4619 x4620 x4621 -x4622 x4623 -x4624 x4625 -x4626 -x4627
1799.97/1800.52	v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922
1799.97/1800.52	v -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939
1799.97/1800.52	v -x4940 -x4941 -x4942 -x4943 -x4944 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234
1799.97/1800.52	v -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251
1799.97/1800.52	v -x5252 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546
1799.97/1800.52	v -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x2173 -x2174 -x2175
1799.97/1800.52	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1799.97/1800.52	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487
1799.97/1800.52	v -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
1799.97/1800.52	v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1799.97/1800.52	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1799.97/1800.52	v -x2817 -x2818 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112
1799.97/1800.52	v -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3405 -x3406
1799.97/1800.52	v -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423
1799.97/1800.52	v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718
1799.97/1800.52	v -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
1799.97/1800.52	v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030
1799.97/1800.52	v -x4031 x4032 x4033 -x4034 x4035 -x4036 x4037 -x4038 x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048
1799.97/1800.52	v -x4049 -x4050 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343
1799.97/1800.52	v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4637 -x4638
1799.97/1800.52	v -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655
1799.97/1800.52	v -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950
1799.97/1800.52	v -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 x4961 -x4962 -x4963 x4964 -x4965 -x4966 -x4967 -x4968
1799.97/1800.52	v -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263
1799.97/1800.52	v x5264 -x5265 -x5266 -x5267 x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1799.97/1800.52	v -x5282 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576
1799.97/1800.52	v -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x2203 -x2204 -x2205
1799.97/1800.52	v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222
1799.97/1800.52	v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517
1799.97/1800.52	v -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534
1799.97/1800.52	v -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829
1799.97/1800.52	v -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846
1799.97/1800.52	v -x2847 -x2848 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142
1799.97/1800.52	v -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3436 -x3437
1799.97/1800.52	v -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454
1799.97/1800.52	v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748
1799.97/1800.52	v -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1799.97/1800.52	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060
1799.97/1800.52	v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077
1799.97/1800.52	v -x4078 -x4079 -x4080 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372
1799.97/1800.52	v -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4667
1799.97/1800.52	v -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684
1799.97/1800.52	v -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1799.97/1800.52	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.52	c   29   343298  32366   523934    58065  8293734  56149    190 1800.01
1799.97/1800.52	c Objective: 65171982
1799.97/1800.52	s SATISFIABLE
1799.97/1800.52	c Total time: 1800.01 s

OK	65171982

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-354125-1176695714 -o ROOT/results/node43/solver-354125-1176695714 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354125-1176695714/instance-354125-1176695714.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.92 0.98 0.99 3/64 8927
/proc/meminfo: memFree=1684288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=12172 CPUtime=0
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 117483249 12464128 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 3043 334 281 324 0 2003 0

[startup+0.0702639 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8927
/proc/meminfo: memFree=1684288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=5532 CPUtime=0.06
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 749 0 0 0 6 0 0 0 18 0 1 0 117483249 5664768 717 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 1383 717 371 324 0 343 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5532

[startup+0.101266 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8927
/proc/meminfo: memFree=1684288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=6540 CPUtime=0.09
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 1147 0 0 0 9 0 0 0 18 0 1 0 117483249 6696960 1006 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 1635 1006 305 324 0 704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6540

[startup+0.301283 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8927
/proc/meminfo: memFree=1684288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=6676 CPUtime=0.29
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 1201 0 0 0 28 1 0 0 19 0 1 0 117483249 6836224 1042 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 1669 1042 307 324 0 738 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6676

[startup+0.701318 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8927
/proc/meminfo: memFree=1684288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=7192 CPUtime=0.69
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 1324 0 0 0 68 1 0 0 22 0 1 0 117483249 7364608 1165 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 1798 1165 312 324 0 867 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7192

[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8928
/proc/meminfo: memFree=1678904/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=12580 CPUtime=1.5
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 2683 0 0 0 146 4 0 0 25 0 1 0 117483249 12881920 2524 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 3145 2524 312 324 0 2214 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12580

[startup+3.10153 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8928
/proc/meminfo: memFree=1671288/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=21748 CPUtime=3.09
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 4969 0 0 0 304 5 0 0 25 0 1 0 117483249 22269952 4810 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 5437 4810 312 324 0 4506 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21748

[startup+6.3028 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8928
/proc/meminfo: memFree=1655480/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=36216 CPUtime=6.3
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 8569 0 0 0 621 9 0 0 25 0 1 0 117483249 37085184 8410 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 9054 8410 312 324 0 8123 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 36216

[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8928
/proc/meminfo: memFree=1629184/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=60512 CPUtime=12.68
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 14640 0 0 0 1255 13 0 0 25 0 1 0 117483249 61964288 14481 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 15128 14481 312 324 0 14197 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60512

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 8928
/proc/meminfo: memFree=1596096/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=91944 CPUtime=25.49
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 22506 0 0 0 2527 22 0 0 25 0 1 0 117483249 94150656 22347 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 22986 22347 312 324 0 22055 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 91944

[startup+51.1017 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 8928
/proc/meminfo: memFree=1564032/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=125592 CPUtime=51.08
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 30936 0 0 0 5076 32 0 0 25 0 1 0 117483249 128606208 30777 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 31398 30777 312 324 0 30467 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125592

[startup+102.305 s]
/proc/loadavg: 1.11 1.03 1.01 2/65 8928
/proc/meminfo: memFree=1488064/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=199464 CPUtime=102.27
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 49400 0 0 0 10173 54 0 0 25 0 1 0 117483249 204251136 49241 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 49866 49241 312 324 0 48935 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 199464

[startup+162.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 8928
/proc/meminfo: memFree=1400576/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=288368 CPUtime=162.25
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 71623 0 0 0 16152 73 0 0 25 0 1 0 117483249 295288832 71464 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 72092 71464 312 324 0 71161 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 288368

[startup+222.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 8928
/proc/meminfo: memFree=1289728/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=397652 CPUtime=222.24
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 98939 0 0 0 22132 92 0 0 25 0 1 0 117483249 407195648 98780 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 99413 98780 312 324 0 98482 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 397652

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 8928
/proc/meminfo: memFree=1215360/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=472488 CPUtime=282.22
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 117634 0 0 0 28120 102 0 0 25 0 1 0 117483249 483827712 117475 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 118122 117475 312 324 0 117191 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 472488

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8928
/proc/meminfo: memFree=1164928/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=522132 CPUtime=342.21
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 130054 0 0 0 34110 111 0 0 25 0 1 0 117483249 534663168 129895 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 130533 129895 312 324 0 129602 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 522132

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 9106
/proc/meminfo: memFree=1116088/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=569876 CPUtime=402.12
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 141983 0 0 0 40092 120 0 0 25 0 1 0 117483249 583553024 141824 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 142469 141824 312 324 0 141538 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 569876

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=1083520/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=603216 CPUtime=462.1
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 150319 0 0 0 46084 126 0 0 25 0 1 0 117483249 617693184 150160 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 150804 150160 312 324 0 149873 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 603216

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=1051200/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=635668 CPUtime=522.08
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 158429 0 0 0 52077 131 0 0 25 0 1 0 117483249 650924032 158270 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 158917 158270 312 324 0 157986 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 635668

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=1018304/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=668392 CPUtime=582.07
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 166612 0 0 0 58069 138 0 0 25 0 1 0 117483249 684433408 166453 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 167098 166453 312 324 0 166167 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 668392

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=988800/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=697380 CPUtime=642.06
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 173884 0 0 0 64063 143 0 0 25 0 1 0 117483249 714117120 173725 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 174345 173725 312 324 0 173414 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 697380


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=891648/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=795288 CPUtime=822.01
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 198352 0 0 0 82037 164 0 0 25 0 1 0 117483249 814374912 198193 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 198822 198193 312 324 0 197891 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 795288

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 9126
/proc/meminfo: memFree=845632/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=840568 CPUtime=882
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 209671 0 0 0 88024 176 0 0 25 0 1 0 117483249 860741632 209512 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 210142 209512 312 324 0 209211 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 840568

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=817856/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=868448 CPUtime=941.98
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 216623 0 0 0 94014 184 0 0 25 0 1 0 117483249 889290752 216464 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 217112 216464 312 324 0 216181 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 868448

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=791872/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=894256 CPUtime=1001.97
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 223082 0 0 0 100006 191 0 0 25 0 1 0 117483249 915718144 222923 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 223564 222923 312 324 0 222633 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 894256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=766272/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=920080 CPUtime=1061.96
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 229531 0 0 0 105997 199 0 0 25 0 1 0 117483249 942161920 229372 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 230020 229372 312 324 0 229089 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 920080

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=745536/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=940436 CPUtime=1121.94
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 234627 0 0 0 111989 205 0 0 25 0 1 0 117483249 963006464 234468 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 5172993 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 235109 234468 312 324 0 234178 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 940436

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=733760/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=952336 CPUtime=1181.92
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 237618 0 0 0 117983 209 0 0 25 0 1 0 117483249 975192064 237459 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 238084 237459 312 324 0 237153 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 952336

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=718464/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=967556 CPUtime=1241.9
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 241400 0 0 0 123977 213 0 0 25 0 1 0 117483249 990777344 241241 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 241889 241241 312 324 0 240958 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 967556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=704896/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=980972 CPUtime=1301.9
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 244752 0 0 0 129971 219 0 0 25 0 1 0 117483249 1004515328 244593 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 245243 244593 312 324 0 244312 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 980972

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=691264/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=994704 CPUtime=1361.88
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 248186 0 0 0 135966 222 0 0 25 0 1 0 117483249 1018576896 248027 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 248676 248027 312 324 0 247745 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 994704

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=677440/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1008340 CPUtime=1421.87
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 251597 0 0 0 141961 226 0 0 25 0 1 0 117483249 1032540160 251438 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 252085 251438 312 324 0 251154 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1008340

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=668160/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1017536 CPUtime=1481.85
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 253922 0 0 0 147955 230 0 0 25 0 1 0 117483249 1041956864 253763 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 254384 253763 312 324 0 253453 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1017536

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=657152/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1028560 CPUtime=1541.84
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 256664 0 0 0 153951 233 0 0 25 0 1 0 117483249 1053245440 256505 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 257140 256505 312 324 0 256209 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1028560

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=648384/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1037328 CPUtime=1601.82
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 258868 0 0 0 159945 237 0 0 25 0 1 0 117483249 1062223872 258709 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 259332 258709 312 324 0 258401 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1037328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=634176/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1051276 CPUtime=1661.81
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 262622 0 0 0 165938 243 0 0 25 0 1 0 117483249 1076506624 262168 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 262819 262168 313 324 0 261888 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1051276

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=634176/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1051276 CPUtime=1721.8
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 262622 0 0 0 171937 243 0 0 25 0 1 0 117483249 1076506624 262168 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 262819 262168 313 324 0 261888 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1051276

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=634176/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=1051276 CPUtime=1781.78
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194304 262622 0 0 0 177931 247 0 0 25 0 1 0 117483249 1076506624 262168 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 262819 262168 313 324 0 261888 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1051276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9126
/proc/meminfo: memFree=1142848/2055920 swapFree=4191892/4192956
[pid=8927] ppid=8925 vsize=0 CPUtime=1800.08
/proc/8927/stat : 8927 (bsolo3.0.16) R 8925 8927 8576 0 -1 4194308 262623 0 0 0 179749 259 0 0 25 0 1 0 117483249 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8927/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.69
CPU time (s): 1800.17
CPU user time (s): 1797.5
CPU system time (s): 2.67359
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1052456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 2.67359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262623
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= 13
involuntary context switches= 1934

runsolver used 1.3138 second user time and 3.67044 second system time

The end

Begin job on node43 on Mon Apr 16 03:55:14 UTC 2007

IDJOB= 354125
IDBENCH= 2354
IDSOLVER= 163
FILE ID= node43/354125-1176695714

PBS_JOBID= 4560025

Free space on /tmp= 66549 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-UMTS.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354125-1176695714/instance-354125-1176695714.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-354125-1176695714 -o ROOT/results/node43/solver-354125-1176695714 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354125-1176695714/instance-354125-1176695714.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c716bc6c519760d619aa6878c926054c

RANDOM SEED= 247555991

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1684760 kB
Buffers:         59336 kB
Cached:         223208 kB
SwapCached:        268 kB
Active:         124340 kB
Inactive:       175184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1684760 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            4816 kB
Writeback:           0 kB
Mapped:          25000 kB
Slab:            57692 kB
Committed_AS:  1488868 kB
PageTables:       1396 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= 66549 MiB

End job on node43 on Mon Apr 16 04:25:17 UTC 2007