Trace number 3706557

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
toysat 2012-05-17OPT 1391.52 1391.75

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_6_mh.opb
MD5SUM3266e32b2a945b684ae99382e7a5d59c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7586846
Best CPU time to get the best result obtained on this benchmark3.23351
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 155720872
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 4264157729
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 155720872
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 4264157729
Number of bits of the biggest sum of numbers32
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

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

Verifier Data

OK	7586846

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706557-1338237348/watcher-3706557-1338237348 -o /tmp/evaluation-result-3706557-1338237348/solver-3706557-1338237348 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706557-1338237348.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 3325
/proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 821 0 0 0 0 0 0 0 20 0 1 0 289859328 7405568 742 33554432000 4194304 8973514 140734332971056 140736596028520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 1808 742 411 1167 0 589 0

[startup+0.0469431 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 3325
/proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 1412 0 0 0 4 0 0 0 20 0 1 0 289859328 9502720 1334 33554432000 4194304 8973514 140734332971056 140736596028520 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 2320 1339 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 3325
/proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 289859328 12648448 2276 33554432000 4194304 8973514 140734332971056 140736596028520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 3325
/proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 6075 0 0 0 28 1 0 0 20 0 1 0 289859328 28377088 5996 33554432000 4194304 8973514 140734332971056 140736596028520 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 6928 6002 431 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712

[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 3325
/proc/meminfo: memFree=30529844/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=28736 CPUtime=0.69 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 6475 0 0 0 68 1 0 0 20 0 1 0 289859328 29425664 6396 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 7184 6396 435 1167 0 5965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28736

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 3354
/proc/meminfo: memFree=30511544/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=32832 CPUtime=1.48 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 7333 0 0 0 147 1 0 0 20 0 1 0 289859328 33619968 7254 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 8208 7254 435 1167 0 6989 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 32832

[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3364
/proc/meminfo: memFree=30448320/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=3.08 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9062 0 0 0 306 2 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332969024 4214503 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38976

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3364
/proc/meminfo: memFree=30216780/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=6.29 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9062 0 0 0 626 3 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38976

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3364
/proc/meminfo: memFree=29836380/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=12.68 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 1264 4 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38976

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3365
/proc/meminfo: memFree=29492684/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=25.48 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 2540 8 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38976

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3365
/proc/meminfo: memFree=29441564/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=51.08 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 5092 16 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38976

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3366
/proc/meminfo: memFree=29441352/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=102.28 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 10197 31 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 38976

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3366
/proc/meminfo: memFree=29432840/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=162.26 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 16178 48 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 4209446 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 38976

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3366
/proc/meminfo: memFree=29432852/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=222.25 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 22159 66 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 38976

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 3369
/proc/meminfo: memFree=29424704/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=282.24 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 28141 83 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 38976

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3369
/proc/meminfo: memFree=29424600/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=342.23 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 34125 98 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38976

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3370
/proc/meminfo: memFree=29424892/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=402.22 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 40106 116 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 38976

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3370
/proc/meminfo: memFree=29424796/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=462.21 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 46088 133 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 38976

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3370
/proc/meminfo: memFree=29424948/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=38976 CPUtime=522.21 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9069 0 0 0 52070 151 0 0 20 0 1 0 289859328 39911424 8984 33554432000 4194304 8973514 140734332971056 140734332970320 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 9744 8984 458 1167 0 8525 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 38976

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3370
/proc/meminfo: memFree=29423984/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=40000 CPUtime=582.19 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9325 0 0 0 58052 167 0 0 20 0 1 0 289859328 40960000 9240 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10000 9240 458 1167 0 8781 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 40000

[startup+642.3 s]

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

/proc/meminfo: memFree=29422832/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=41024 CPUtime=702.18 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9581 0 0 0 70017 201 0 0 20 0 1 0 289859328 42008576 9496 33554432000 4194304 8973514 140734332971056 140734332969024 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10256 9496 458 1167 0 9037 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 41024

[startup+762.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3371
/proc/meminfo: memFree=29422768/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=41024 CPUtime=762.18 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9581 0 0 0 76001 217 0 0 20 0 1 0 289859328 42008576 9496 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10256 9496 458 1167 0 9037 0
Current children cumulated CPU time (s) 762.18
Current children cumulated vsize (KiB) 41024

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3371
/proc/meminfo: memFree=29421652/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=42048 CPUtime=822.15 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 81982 233 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10512 9752 458 1167 0 9293 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 42048

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3374
/proc/meminfo: memFree=29421644/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=42048 CPUtime=882.15 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 87967 248 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10512 9752 458 1167 0 9293 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 42048

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3374
/proc/meminfo: memFree=29421900/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=42048 CPUtime=942.14 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 9837 0 0 0 93952 262 0 0 20 0 1 0 289859328 43057152 9752 33554432000 4194304 8973514 140734332971056 140734332969024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10512 9752 458 1167 0 9293 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 42048

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3375
/proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=43072 CPUtime=1002.13 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 99933 280 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10768 10008 458 1167 0 9549 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 43072

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3375
/proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=43072 CPUtime=1062.12 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 105915 297 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332970552 4204292 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10768 10008 458 1167 0 9549 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 43072

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3375
/proc/meminfo: memFree=29420908/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=43072 CPUtime=1122.11 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10093 0 0 0 111897 314 0 0 20 0 1 0 289859328 44105728 10008 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 10768 10008 458 1167 0 9549 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 43072

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3375
/proc/meminfo: memFree=29419916/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=44096 CPUtime=1182.1 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10349 0 0 0 117880 330 0 0 20 0 1 0 289859328 45154304 10264 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11024 10264 458 1167 0 9805 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 44096

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3375
/proc/meminfo: memFree=29419048/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=45120 CPUtime=1242.09 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10605 0 0 0 123864 345 0 0 20 0 1 0 289859328 46202880 10520 33554432000 4194304 8973514 140734332971056 140734332970320 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11280 10520 458 1167 0 10061 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 45120

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3376
/proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1302.09 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 129847 362 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970320 7720768 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 46144

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3376
/proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1362.08 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 135830 378 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 46144

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

[startup+1369.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3376
/proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1369.28 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10861 0 0 0 136548 380 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1369.28
Current children cumulated vsize (KiB) 46144

[startup+1382.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417436/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1382.07 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 137824 383 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1382.07
Current children cumulated vsize (KiB) 46144

[startup+1388.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1388.47 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138463 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1388.47
Current children cumulated vsize (KiB) 46144

[startup+1390.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1390.07 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138623 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 4415759 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1390.07
Current children cumulated vsize (KiB) 46144

[startup+1391.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1390.86 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138702 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332970552 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1390.86
Current children cumulated vsize (KiB) 46144

[startup+1391.51 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1391.27 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138743 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1391.27
Current children cumulated vsize (KiB) 46144

[startup+1391.7 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3376
/proc/meminfo: memFree=29417308/32873844 swapFree=7900/7900
[pid=3325] ppid=3323 vsize=46144 CPUtime=1391.46 cores=1,3,5,7
/proc/3325/stat : 3325 (toysat) R 3323 3325 2640 0 -1 4202496 10863 0 0 0 138762 384 0 0 20 0 1 0 289859328 47251456 10776 33554432000 4194304 8973514 140734332971056 140734332969024 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/3325/statm: 11536 10776 458 1167 0 10317 0
Current children cumulated CPU time (s) 1391.46
Current children cumulated vsize (KiB) 46144

Child status: 0
Real time (s): 1391.75
CPU time (s): 1391.52
CPU user time (s): 1387.67
CPU system time (s): 3.85041
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 46144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1387.67
system time used= 3.85041
maximum resident set size= 43120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10867
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= 16
involuntary context switches= 1458

runsolver used 2.08068 second user time and 6.79397 second system time

The end

Launcher Data

Begin job on node137 at 2012-05-28 22:35:48
IDJOB=3706557
IDBENCH=92719
IDSOLVER=2285
FILE ID=node137/3706557-1338237348
RUNJOBID= node137-1338233742-3127
PBS_JOBID= 14624624
Free space on /tmp= 71200 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706557-1338237348/watcher-3706557-1338237348 -o /tmp/evaluation-result-3706557-1338237348/solver-3706557-1338237348 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706557-1338237348.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3266e32b2a945b684ae99382e7a5d59c
RANDOM SEED=1602530785

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30530752 kB
Buffers:          428576 kB
Cached:          1024892 kB
SwapCached:        20904 kB
Active:          1199908 kB
Inactive:         278804 kB
Active(anon):       4272 kB
Inactive(anon):    22936 kB
Active(file):    1195636 kB
Inactive(file):   255868 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         13000 kB
Mapped:             9596 kB
Shmem:                 0 kB
Slab:             724612 kB
SReclaimable:     166008 kB
SUnreclaim:       558604 kB
KernelStack:        1448 kB
PageTables:         4056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71192 MiB
End job on node137 at 2012-05-28 22:59:00