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