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