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