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