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