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