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