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