Trace number 373317

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14OPT17 207.983 208.043

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir03_area_opers.opb
MD5SUMb21d0afca1befeb5506928b558ab5220
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark11.7222
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables6672
Total number of constraints14168
Number of constraints which are clauses14168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3302
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3302
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3302
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	17

Conversion Script Data (download as text)

/tmp/evaluation/373317-1177365175/instance-373317-1177365175.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node15/watcher-373317-1177365175 -o ROOT/results/node15/solver-373317-1177365175 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/373317-1177365175/minisat+ /tmp/evaluation/373317-1177365175/instance-373317-1177365175.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.14 0.66 0.81 3/77 9321
/proc/meminfo: memFree=1792112/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=1352 CPUtime=0
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 184435169 1384448 172 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 338 173 67 215 0 120 0

[startup+0.019483 s]
/proc/loadavg: 0.14 0.66 0.81 3/77 9321
/proc/meminfo: memFree=1792112/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=1852 CPUtime=0.01
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 298 0 0 0 1 0 0 0 18 0 1 0 184435169 1896448 285 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 463 285 74 215 0 245 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1852

[startup+0.101491 s]
/proc/loadavg: 0.14 0.66 0.81 3/77 9321
/proc/meminfo: memFree=1792112/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=2844 CPUtime=0.09
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 525 0 0 0 9 0 0 0 18 0 1 0 184435169 2912256 512 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 711 512 74 215 0 493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2844

[startup+0.301508 s]
/proc/loadavg: 0.14 0.66 0.81 3/77 9321
/proc/meminfo: memFree=1792112/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=4572 CPUtime=0.29
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 951 0 0 0 29 0 0 0 19 0 1 0 184435169 4681728 938 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 1143 938 75 215 0 925 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4572

[startup+0.701546 s]
/proc/loadavg: 0.14 0.66 0.81 3/77 9321
/proc/meminfo: memFree=1792112/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=7524 CPUtime=0.69
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 1763 0 0 0 67 2 0 0 18 0 1 0 184435169 7704576 1710 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134667019 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 1881 1710 104 215 0 1663 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7524

[startup+1.50162 s]
/proc/loadavg: 0.14 0.66 0.81 2/78 9322
/proc/meminfo: memFree=1785576/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=7524 CPUtime=1.49
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 1763 0 0 0 147 2 0 0 25 0 1 0 184435169 7704576 1710 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 1881 1710 104 215 0 1663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7524

[startup+3.10276 s]
/proc/loadavg: 0.21 0.66 0.81 2/78 9322
/proc/meminfo: memFree=1785448/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=7524 CPUtime=3.09
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 1763 0 0 0 307 2 0 0 25 0 1 0 184435169 7704576 1710 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 1881 1710 104 215 0 1663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7524

[startup+6.30106 s]
/proc/loadavg: 0.21 0.66 0.81 2/78 9322
/proc/meminfo: memFree=1785064/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=7876 CPUtime=6.29
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 1850 0 0 0 627 2 0 0 25 0 1 0 184435169 8065024 1797 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 1969 1797 104 215 0 1751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 7876

[startup+12.7016 s]
/proc/loadavg: 0.33 0.67 0.81 2/78 9322
/proc/meminfo: memFree=1772920/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=20928 CPUtime=12.68
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 5614 0 0 0 1265 3 0 0 25 0 1 0 184435169 21430272 4821 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 135003895 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 5232 4821 123 215 0 5014 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20928

[startup+25.5018 s]
/proc/loadavg: 0.43 0.68 0.82 2/78 9322
/proc/meminfo: memFree=1769592/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=24316 CPUtime=25.48
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 6761 0 0 0 2544 4 0 0 25 0 1 0 184435169 24899584 5697 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580430 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 6079 5697 123 215 0 5861 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24316

[startup+51.1012 s]
/proc/loadavg: 0.62 0.71 0.82 2/78 9322
/proc/meminfo: memFree=1764920/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=28548 CPUtime=51.07
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 8383 0 0 0 5102 5 0 0 25 0 1 0 184435169 29233152 6755 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 7137 6755 123 215 0 6919 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28548

[startup+102.306 s]
/proc/loadavg: 0.85 0.75 0.83 2/78 9322
/proc/meminfo: memFree=1759672/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=33836 CPUtime=102.27
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 10026 0 0 0 10220 7 0 0 25 0 1 0 184435169 34648064 8074 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134589045 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 8459 8074 123 215 0 8241 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33836

[startup+162.301 s]
/proc/loadavg: 0.94 0.79 0.83 2/78 9322
/proc/meminfo: memFree=1754936/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39076 CPUtime=162.24
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11263 0 0 0 16216 8 0 0 25 0 1 0 184435169 40013824 9311 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9769 9311 123 215 0 9551 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 39076

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

[startup+179.102 s]
/proc/loadavg: 0.95 0.80 0.83 2/78 9322
/proc/meminfo: memFree=1754552/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=179.04
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 17895 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134572687 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 39632

[startup+191.901 s]
/proc/loadavg: 0.96 0.81 0.83 2/78 9322
/proc/meminfo: memFree=1754552/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=191.84
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 19175 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 39632

[startup+198.302 s]
/proc/loadavg: 0.97 0.82 0.83 2/78 9322
/proc/meminfo: memFree=1754552/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=198.24
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 19815 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 198.24
Current children cumulated vsize (KiB) 39632

[startup+204.701 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754552/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=204.64
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20455 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 39632

[startup+206.301 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754488/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=206.24
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20615 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 206.24
Current children cumulated vsize (KiB) 39632

[startup+207.102 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754488/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=207.04
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20695 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 207.04
Current children cumulated vsize (KiB) 39632

[startup+207.502 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754488/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=207.44
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20735 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 207.44
Current children cumulated vsize (KiB) 39632

[startup+207.906 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754488/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=207.84
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20775 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 207.84
Current children cumulated vsize (KiB) 39632

[startup+208.003 s]
/proc/loadavg: 0.97 0.82 0.84 2/78 9322
/proc/meminfo: memFree=1754488/2055920 swapFree=4169140/4192956
[pid=9321] ppid=9319 vsize=39632 CPUtime=207.94
/proc/9321/stat : 9321 (minisat+) R 9319 9321 8593 0 -1 4194304 11361 0 0 0 20785 9 0 0 25 0 1 0 184435169 40583168 9409 18446744073709551615 134512640 135395479 4294956560 18446744073709551615 134569795 0 0 4096 16386 0 0 0 17 1 0 0
/proc/9321/statm: 9908 9409 123 215 0 9690 0
Current children cumulated CPU time (s) 207.94
Current children cumulated vsize (KiB) 39632

Child status: 30
Real time (s): 208.043
CPU time (s): 207.983
CPU user time (s): 207.884
CPU system time (s): 0.098984
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 39632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.884
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11364
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= 100
involuntary context switches= 423

runsolver used 0.180972 second user time and 0.481926 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Mon Apr 23 21:52:55 UTC 2007

IDJOB= 373317
IDBENCH= 25035
IDSOLVER= 156
FILE ID= node15/373317-1177365175

PBS_JOBID= 4675270

Free space on /tmp= 66485 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb
COMMAND LINE= /tmp/evaluation/373317-1177365175/minisat+ /tmp/evaluation/373317-1177365175/instance-373317-1177365175.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-373317-1177365175 -o ROOT/results/node15/conversion-373317-1177365175 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373317-1177365175/instance-373317-1177365175.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-373317-1177365175 -o ROOT/results/node15/solver-373317-1177365175 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/373317-1177365175/minisat+ /tmp/evaluation/373317-1177365175/instance-373317-1177365175.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  b21d0afca1befeb5506928b558ab5220

RANDOM SEED= 445652345

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1792456 kB
Buffers:         40376 kB
Cached:         128488 kB
SwapCached:       2768 kB
Active:          78280 kB
Inactive:       114292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792456 kB
SwapTotal:     4192956 kB
SwapFree:      4169140 kB
Dirty:            2952 kB
Writeback:           0 kB
Mapped:          30984 kB
Slab:            56292 kB
Committed_AS:  7046476 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66485 MiB

End job on node15 on Mon Apr 23 21:56:24 UTC 2007