Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 17 | 1800.21 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb |
MD5SUM | 88e7a647c6e46a38e952354158b1fb76 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.14 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6204 |
Sum of products size (including duplicates) | 12408 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.08 c ...done 0.00/0.08 c #vars=6404 #constraints=12609 hasObjective=yes 0.09/0.16 c res. mode=mod 0.09/0.16 c VSIDS like heuristics 0.09/0.16 c complete search running 0.09/0.19 c nbDecision=182 #constraints=12609 0.09/0.19 c linear search for optimum 0.09/0.19 o 18 0.59/0.62 c restart after 401 decisions 0.59/0.66 c nbDecision=500 #constraints=12814 1.19/1.27 c restart after 801 decisions 1.39/1.44 c nbDecision=1000 #constraints=13049 3.20/3.25 c nbDecision=1500 #constraints=13502 3.69/3.72 c restart after 1601 decisions 4.99/5.03 c nbDecision=2000 #constraints=13791 7.99/8.07 c nbDecision=2500 #constraints=14225 10.19/10.22 c nbDecision=2778 #constraints=14490 10.19/10.22 o 17 11.89/11.99 c nbDecision=3000 #constraints=14711 13.78/13.88 c restart after 3201 decisions 15.48/15.58 c nbDecision=3500 #constraints=15016 19.88/19.99 c nbDecision=4000 #constraints=15447 25.58/25.68 c nbDecision=4500 #constraints=15893 32.58/32.63 c nbDecision=5000 #constraints=16359 39.58/39.65 c nbDecision=5500 #constraints=16784 48.57/48.66 c nbDecision=6000 #constraints=17253 55.77/55.84 c restart after 6401 decisions 56.87/56.91 c nbDecision=6500 #constraints=17595 65.17/65.20 c nbDecision=7000 #constraints=17985 74.87/74.91 c nbDecision=7500 #constraints=18425 86.97/87.09 c nbDecision=8000 #constraints=18893 99.36/99.41 c nbDecision=8500 #constraints=19372 110.56/110.68 c nbDecision=9000 #constraints=19853 123.66/123.72 c nbDecision=9500 #constraints=20292 138.85/138.91 c nbDecision=10000 #constraints=20761 154.85/154.99 c nbDecision=10500 #constraints=21250 171.15/171.25 c nbDecision=11000 #constraints=21708 190.15/190.28 c nbDecision=11500 #constraints=22198 207.23/207.30 c nbDecision=12000 #constraints=22644 229.43/229.59 c nbDecision=12500 #constraints=23119 242.93/243.04 c restart after 12801 decisions 247.02/247.15 c nbDecision=13000 #constraints=23425 265.32/265.41 c nbDecision=13500 #constraints=23817 290.11/290.21 c nbDecision=14000 #constraints=24276 312.90/313.04 c nbDecision=14500 #constraints=24715 335.20/335.35 c nbDecision=15000 #constraints=25141 361.69/361.86 c nbDecision=15500 #constraints=25621 387.09/387.28 c nbDecision=16000 #constraints=26075 416.47/416.61 c nbDecision=16500 #constraints=26548 445.47/445.67 c nbDecision=17000 #constraints=27037 473.56/473.78 c nbDecision=17500 #constraints=27496 506.25/506.47 c nbDecision=18000 #constraints=27964 537.14/537.39 c nbDecision=18500 #constraints=28378 566.94/567.18 c nbDecision=19000 #constraints=28784 597.32/597.58 c nbDecision=19500 #constraints=29166 627.22/627.41 c nbDecision=20000 #constraints=29547 660.61/660.87 c nbDecision=20500 #constraints=29977 694.00/694.29 c nbDecision=21000 #constraints=30418 726.59/726.89 c nbDecision=21500 #constraints=30851 761.00/761.30 c nbDecision=22000 #constraints=31285 792.15/792.59 c nbDecision=22500 #constraints=31645 826.54/826.91 c nbDecision=23000 #constraints=32067 858.93/859.31 c nbDecision=23500 #constraints=32524 894.23/894.65 c nbDecision=24000 #constraints=32931 930.62/931.09 c nbDecision=24500 #constraints=33381 966.31/966.76 c nbDecision=25000 #constraints=33817 1001.70/1002.16 c nbDecision=25500 #constraints=34278 1008.79/1009.29 c restart after 25601 decisions 1030.79/1031.24 c nbDecision=26000 #constraints=34510 1066.48/1066.91 c nbDecision=26500 #constraints=34895 1110.37/1110.83 c nbDecision=27000 #constraints=35345 1151.86/1152.34 c nbDecision=27500 #constraints=35729 1196.04/1196.53 c nbDecision=28000 #constraints=36158 1234.34/1234.83 c nbDecision=28500 #constraints=36498 1279.42/1279.99 c nbDecision=29000 #constraints=36908 1326.91/1327.40 c nbDecision=29500 #constraints=37326 1373.69/1374.23 c nbDecision=30000 #constraints=37725 1421.18/1421.74 c nbDecision=30500 #constraints=38137 1467.17/1467.77 c nbDecision=31000 #constraints=38606 1517.85/1518.47 c nbDecision=31500 #constraints=39071 1568.14/1568.70 c nbDecision=32000 #constraints=39527 1614.53/1615.17 c nbDecision=32500 #constraints=40007 1658.62/1659.21 c nbDecision=33000 #constraints=40440 1708.81/1709.48 c nbDecision=33500 #constraints=40881 1767.59/1768.23 c nbDecision=34000 #constraints=41337 1800.09/1800.71 Received signal 15 1800.09/1800.74 1800.09/1800.74 s SATISFIABLE 1800.09/1800.74 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.09/1800.74 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.09/1800.74 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.09/1800.74 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.09/1800.74 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.09/1800.74 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.09/1800.74 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 x166 -x167 1800.09/1800.74 v x168 x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 x179 -x180 x181 x182 -x183 x184 x185 -x186 -x187 -x188 x189 x190 1800.09/1800.74 v -x191 x192 -x193 -x194 x195 -x196 x197 -x198 -x199 x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 1800.09/1800.74 v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 1800.09/1800.74 v -x234 -x235 -x236 -x237 -x238 x239 x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 1800.09/1800.74 v -x255 -x256 -x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.09/1800.74 v -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 1800.09/1800.74 v -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 x317 1800.09/1800.74 v -x318 -x319 -x320 -x321 -x322 x323 x324 x325 -x326 -x327 x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.09/1800.74 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.09/1800.74 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.09/1800.74 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.09/1800.74 v -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.09/1800.74 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.09/1800.74 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.09/1800.74 v -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.09/1800.74 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 1800.09/1800.74 v -x508 -x509 x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.09/1800.74 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 x544 -x545 -x546 -x547 -x548 -x549 1800.09/1800.74 v -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.09/1800.74 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.09/1800.74 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.09/1800.74 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 -x621 -x622 -x623 -x624 -x625 x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.09/1800.74 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.09/1800.74 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 1800.09/1800.74 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 x694 -x695 -x696 1800.09/1800.74 v -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 1800.09/1800.74 v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 1800.09/1800.74 v -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 1800.09/1800.74 v -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 1800.09/1800.74 v -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 x801 1800.09/1800.74 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 -x810 x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1800.09/1800.74 v -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 x843 1800.09/1800.74 v x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 1800.09/1800.74 v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 1800.09/1800.74 v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 1800.09/1800.74 v -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 1800.09/1800.74 v -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 1800.09/1800.74 v -x949 -x950 x951 -x952 x953 -x954 -x955 -x956 -x957 x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 1800.09/1800.74 v -x971 -x972 x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1800.09/1800.74 v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 -x1010 1800.09/1800.74 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 1800.09/1800.74 v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 1800.09/1800.74 v -x1045 -x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 1800.09/1800.74 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 1800.09/1800.74 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.09/1800.74 v -x1097 -x1098 -x1099 -x1100 x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 1800.09/1800.74 v x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1800.09/1800.74 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 1800.09/1800.74 v -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 1800.09/1800.74 v -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 1800.09/1800.74 v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 -x1198 -x1199 -x1200 1800.09/1800.74 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 1800.09/1800.74 v -x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.09/1800.74 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 x1251 -x1252 1800.09/1800.74 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.09/1800.74 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 x1285 -x1286 -x1287 1800.09/1800.74 v -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 x1303 -x1304 1800.09/1800.74 v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 1800.09/1800.74 v x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 1800.09/1800.74 v -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.09/1800.74 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 1800.09/1800.74 v -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 1800.09/1800.74 v -x1391 -x1392 -x1393 x1394 x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 1800.09/1800.74 v -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 1800.09/1800.74 v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 1800.09/1800.74 v -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 1800.09/1800.74 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.09/1800.74 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 1800.09/1800.74 v -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 1800.09/1800.74 v -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 1800.09/1800.74 v -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 1800.09/1800.74 v x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 1800.09/1800.74 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 x1581 1800.09/1800.74 v -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 -x1597 -x1598 1800.09/1800.74 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 1800.09/1800.74 v -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 1800.09/1800.74 v -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 1800.09/1800.74 v -x1650 -x1651 -x1652 x1653 x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 1800.09/1800.74 v -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.09/1800.74 v -x1686 -x1687 -x1688 x1689 x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 x1701 -x1702 -x1703 1800.09/1800.74 v -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 1800.09/1800.74 v -x1721 -x1722 -x1723 x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 1800.09/1800.74 v -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 -x1751 -x1752 -x1753 -x1754 -x1755 1800.09/1800.74 v -x1756 x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.09/1800.74 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.09/1800.74 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.09/1800.74 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.09/1800.74 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 1800.09/1800.74 v -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 1800.09/1800.74 v -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 1800.09/1800.74 v -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 -x1889 -x1890 -x1891 -x1892 1800.09/1800.74 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 1800.09/1800.74 v -x1910 -x1911 -x1912 -x1913 -x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 x1925 x1926 -x1927 1800.09/1800.74 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 -x1938 -x1939 x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.09/1800.74 v -x1946 x1947 -x1948 x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 -x1960 -x1961 -x1962 -x1963 1800.09/1800.74 v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 1800.09/1800.74 v x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 1800.09/1800.74 v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 x2013 x2014 -x2015 1800.09/1800.74 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 1800.09/1800.74 v -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 1800.09/1800.74 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 1800.09/1800.74 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 1800.09/1800.74 v -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 1800.09/1800.74 v -x2102 x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 1800.09/1800.74 v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 1800.09/1800.74 v -x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 1800.09/1800.74 v -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.09/1800.74 v -x2170 -x2171 -x2172 x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 1800.09/1800.74 v -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 1800.09/1800.74 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 1800.09/1800.74 v -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 1800.09/1800.74 v -x2240 -x2241 -x2242 -x2243 x2244 x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2257 1800.09/1800.74 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 1800.09/1800.74 v -x2275 -x2276 -x2277 x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 1800.09/1800.74 v -x2293 -x2294 -x2295 -x2296 x2297 -x2298 -x2299 -x2300 -x2301 -x2302 x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 1800.09/1800.74 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 1800.09/1800.74 v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 1800.09/1800.74 v -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 1800.09/1800.74 v -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1800.09/1800.74 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 1800.09/1800.74 v -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 x2409 -x2410 -x2411 -x2412 -x2413 -x2414 1800.09/1800.74 v -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 -x2430 -x2431 1800.09/1800.74 v -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 1800.09/1800.74 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 1800.09/1800.74 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 1800.09/1800.74 v -x2484 x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 1800.09/1800.74 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 x2514 -x2515 x2516 x2517 -x2518 1800.09/1800.74 v -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 1800.09/1800.74 v -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 1800.09/1800.74 v -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 1800.09/1800.74 v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 1800.09/1800.74 v x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 -x2604 1800.09/1800.74 v x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.09/1800.74 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.09/1800.74 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 1800.09/1800.74 v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 1800.09/1800.74 v x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 1800.09/1800.74 v -x2693 -x2694 -x2695 -x2696 -x2697 x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.09/1800.74 v -x2711 x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.09/1800.74 v -x2728 -x2729 -x2730 -x2731 x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 1800.09/1800.74 v -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 -x2761 1800.09/1800.74 v -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 1800.09/1800.74 v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 1800.09/1800.74 v x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 1800.09/1800.74 v -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 1800.09/1800.74 v -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 x2847 -x2848 1800.09/1800.74 v -x2849 x2850 x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 1800.09/1800.74 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 1800.09/1800.74 v -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 1800.09/1800.74 v -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 1800.09/1800.74 v -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 1800.09/1800.74 v -x2936 -x2937 -x2938 -x2939 -x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 1800.09/1800.74 v -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 1800.09/1800.74 v -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2985 -x2986 1800.09/1800.74 v -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 1800.09/1800.74 v -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3013 x3014 x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 1800.09/1800.74 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 1800.09/1800.74 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 1800.09/1800.74 v -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 x3070 -x3071 -x3072 1800.09/1800.74 v -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 1800.09/1800.74 v -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 1800.09/1800.74 v -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 1800.09/1800.74 v -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 1800.09/1800.74 v x3143 -x3144 -x3145 x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 1800.09/1800.74 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 1800.09/1800.74 v -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 x3193 -x3194 -x3195 1800.09/1800.74 v -x3196 -x3197 -x3198 -x3199 x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 1800.09/1800.74 v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 1800.09/1800.74 v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 1800.09/1800.74 v -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 x3262 -x3263 -x3264 1800.09/1800.74 v -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 1800.09/1800.74 v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 x3293 -x3294 -x3295 -x3296 -x3297 -x3298 1800.09/1800.74 v -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 1800.09/1800.74 v x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 1800.09/1800.74 v -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 x3349 -x3350 1800.09/1800.74 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.09/1800.74 v -x3368 x3369 -x3370 -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 x3381 -x3382 -x3383 -x3384 -x3385 1800.09/1800.74 v -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 1800.09/1800.74 v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 1800.09/1800.74 v -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 1800.09/1800.74 v -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 1800.09/1800.74 v -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 1800.09/1800.74 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 1800.09/1800.74 v -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 x3498 -x3499 -x3500 -x3501 x3502 x3503 -x3504 -x3505 1800.09/1800.74 v -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.09/1800.74 v -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 x3536 -x3537 x3538 -x3539 -x3540 1800.09/1800.74 v -x3541 -x3542 -x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 1800.09/1800.74 v -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 x3565 x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 1800.09/1800.74 v -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 x3591 x3592 -x3593 1800.09/1800.74 v -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 x3606 -x3607 -x3608 -x3609 -x3610 1800.09/1800.74 v -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 1800.09/1800.74 v -x3628 x3629 -x3630 -x3631 -x3632 -x3633 -x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 1800.09/1800.74 v -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 1800.09/1800.74 v -x3663 -x3664 x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 1800.09/1800.74 v -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 1800.09/1800.74 v -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 1800.09/1800.74 v -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 x3730 -x3731 1800.09/1800.74 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.09/1800.74 v -x3749 -x3750 -x3751 x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 1800.09/1800.74 v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 x3782 -x3783 1800.09/1800.74 v -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 1800.09/1800.74 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 1800.09/1800.74 v -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 1800.09/1800.74 v -x3835 -x3836 x3837 -x3838 -x3839 -x3840 x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 x3848 -x3849 -x3850 -x3851 -x3852 1800.09/1800.74 v -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 x3869 1800.09/1800.74 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 x3882 x3883 -x3884 -x3885 -x3886 -x3887 1800.09/1800.74 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.09/1800.74 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 1800.09/1800.74 v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 1800.09/1800.74 v x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 1800.09/1800.74 v -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 1800.09/1800.74 v -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 1800.09/1800.74 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 1800.09/1800.74 v -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 1800.09/1800.74 v -x4025 -x4026 -x4027 -x4028 -x4029 x4030 -x4031 x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 1800.09/1800.74 v -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 -x4055 -x4056 -x4057 -x4058 -x4059 1800.09/1800.74 v -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 1800.09/1800.74 v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 1800.09/1800.74 v -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 1800.09/1800.74 v -x4111 -x4112 -x4113 -x4114 -x4115 x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 1800.09/1800.74 v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 x4141 -x4142 -x4143 -x4144 -x4145 1800.09/1800.74 v -x4146 x4147 x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 1800.09/1800.74 v -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 1800.09/1800.74 v -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 1800.09/1800.74 v -x4199 -x4200 x4201 x4202 x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 1800.09/1800.74 v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 1800.09/1800.74 v -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 1800.09/1800.74 v -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 1800.09/1800.74 v -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 1800.09/1800.74 v -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 1800.09/1800.74 v x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 1800.09/1800.74 v -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 1800.09/1800.74 v -x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 1800.09/1800.74 v -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 1800.09/1800.74 v -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 1800.09/1800.74 v -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 1800.09/1800.74 v -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 1800.09/1800.74 v -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 1800.09/1800.74 v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 1800.09/1800.74 v x4457 x4458 x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 1800.09/1800.74 v -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 x4487 -x4488 x4489 -x4490 -x4491 -x4492 1800.09/1800.74 v -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 1800.09/1800.74 v -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 1800.09/1800.74 v -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 x4542 -x4543 1800.09/1800.74 v x4544 -x4545 x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 1800.09/1800.74 v -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 1800.09/1800.74 v -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 1800.09/1800.74 v -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.09/1800.74 v -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 x4625 x4626 -x4627 -x4628 -x4629 -x4630 -x4631 1800.09/1800.74 v -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 x4648 1800.09/1800.74 v x4649 -x4650 -x4651 -x4652 -x4653 -x4654 x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 1800.09/1800.74 v -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 1800.09/1800.74 v -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 1800.09/1800.74 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 1800.09/1800.74 v -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 x4731 -x4732 x4733 -x4734 -x4735 1800.09/1800.74 v -x4736 -x4737 x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 1800.09/1800.74 v -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 x4766 x4767 x4768 x4769 -x4770 1800.09/1800.74 v -x4771 x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 1800.09/1800.74 v -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 1800.09/1800.74 v -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 1800.09/1800.74 v -x4822 -x4823 -x4824 -x4825 -x4826 x4827 x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 1800.09/1800.74 v -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 x4856 -x4857 1800.09/1800.74 v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 1800.09/1800.74 v -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 1800.09/1800.74 v -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 1800.09/1800.74 v -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 1800.09/1800.74 v -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 x4942 -x4943 -x4944 1800.09/1800.74 v -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 1800.09/1800.74 v -x4962 -x4963 -x4964 -x4965 -x4966 x4967 -x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 1800.09/1800.74 v -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 1800.09/1800.74 v x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 1800.09/1800.74 v -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 1800.09/1800.74 v -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 1800.09/1800.74 v -x5048 x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 1800.09/1800.74 v -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 x5074 x5075 -x5076 -x5077 x5078 -x5079 -x5080 -x5081 -x5082 -x5083 1800.09/1800.74 v -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 1800.09/1800.74 v -x5101 x5102 -x5103 -x5104 x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 1800.09/1800.74 v -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 1800.09/1800.74 v -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 1800.09/1800.74 v -x5153 -x5154 -x5155 x5156 -x5157 x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 1800.09/1800.74 v -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 x5185 -x5186 -x5187 1800.09/1800.74 v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 1800.09/1800.74 v -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 x5216 -x5217 -x5218 -x5219 -x5220 -x5221 1800.09/1800.74 v -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 x5238 1800.09/1800.74 v -x5239 x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 1800.09/1800.74 v -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 x5267 -x5268 x5269 x5270 -x5271 -x5272 -x5273 -x5274 1800.09/1800.74 v -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5291 1800.09/1800.74 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 1800.09/1800.74 v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 x5323 -x5324 -x5325 x5326 1800.09/1800.74 v x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.09/1800.74 v -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 1800.09/1800.74 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 1800.09/1800.74 v x5378 x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 1800.09/1800.74 v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 1800.09/1800.74 v -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 1800.09/1800.74 v -x5430 -x5431 -x5432 x5433 -x5434 x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 1800.09/1800.74 v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 x5462 -x5463 -x5464 1800.09/1800.74 v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1800.09/1800.74 v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 1800.09/1800.74 v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 1800.09/1800.74 v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 1800.09/1800.74 v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 1800.09/1800.74 v -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 1800.09/1800.74 v -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 1800.09/1800.74 v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 1800.09/1800.74 v -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 1800.09/1800.74 v x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 1800.09/1800.74 v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 x5647 x5648 x5649 -x5650 -x5651 -x5652 -x5653 1800.09/1800.74 v -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 1800.09/1800.74 v -x5671 -x5672 -x5673 -x5674 x5675 x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 1800.09/1800.74 v -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 x5702 x5703 -x5704 -x5705 x5706 1800.09/1800.74 v -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 1800.09/1800.74 v -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 1800.09/1800.74 v -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 1800.09/1800.74 v -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 1800.09/1800.74 v -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 1800.09/1800.74 v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 1800.09/1800.74 v x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 1800.09/1800.74 v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 1800.09/1800.74 v -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 1800.09/1800.74 v -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 1800.09/1800.74 v -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 x5892 -x5893 -x5894 -x5895 -x5896 1800.09/1800.74 v -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 1800.09/1800.74 v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 1800.09/1800.74 v -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 1800.09/1800.74 v -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 1800.09/1800.74 v -x5965 -x5966 x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 1800.09/1800.74 v -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 1800.09/1800.74 v -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 1800.09/1800.74 v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 1800.09/1800.74 v -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 x6042 -x6043 x6044 x6045 -x6046 -x6047 -x6048 -x6049 -x6050 1800.09/1800.74 v -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 1800.09/1800.74 v -x6068 -x6069 -x6070 -x6071 -x6072 x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 1800.09/1800.74 v -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 x6096 -x6097 x6098 -x6099 -x6100 -x6101 -x6102 1800.09/1800.74 v -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 1800.09/1800.74 v -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 1800.09/1800.74 v -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 1800.09/1800.74 v -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 1800.09/1800.74 v -x6171 -x6172 -x6173 -x6174 x6175 x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 1800.09/1800.74 v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 1800.09/1800.74 v -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 1800.09/1800.74 v -x6223 -x6224 -x6225 -x6226 x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 1800.09/1800.74 v -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 x6253 x6254 -x6255 -x6256 -x6257 1800.09/1800.74 v -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 1800.09/1800.74 v -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 1800.09/1800.74 v -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 x6303 -x6304 -x6305 -x6306 -x6307 -x6308 1800.09/1800.74 v -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 1800.09/1800.74 v -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 1800.09/1800.74 v -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 x6350 -x6351 -x6352 x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 1800.09/1800.74 v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 1800.09/1800.74 v -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 1800.09/1800.74 v -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 1800.09/1800.75 1800.09/1800.75 c user time= 1799.57 s 1800.09/1800.75 c system time= 0.571913 s 1800.09/1800.75 c wall clock time=1800.75
OK 17
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb mv /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb.tmp /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-453410-1178135324 -o ROOT/results/node11/solver-453410-1178135324 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb mod 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.96 1.03 1.00 3/77 20939 /proc/meminfo: memFree=1813328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=1468 CPUtime=0 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 254581399 1503232 164 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 367 164 130 317 0 46 0 [startup+0.0891219 s] /proc/loadavg: 0.96 1.03 1.00 3/77 20939 /proc/meminfo: memFree=1813328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=5480 CPUtime=0.08 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 1115 0 0 0 8 0 0 0 18 0 1 0 254581399 5611520 1098 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 1370 1100 136 317 0 1049 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5480 [startup+0.101123 s] /proc/loadavg: 0.96 1.03 1.00 3/77 20939 /proc/meminfo: memFree=1813328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=5744 CPUtime=0.09 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 1237 0 0 0 9 0 0 0 18 0 1 0 254581399 5881856 1220 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 1436 1220 137 317 0 1115 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5744 [startup+0.301146 s] /proc/loadavg: 0.96 1.03 1.00 3/77 20939 /proc/meminfo: memFree=1813328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=7008 CPUtime=0.29 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 1594 0 0 0 29 0 0 0 19 0 1 0 254581399 7176192 1490 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 1752 1490 170 317 0 1431 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7008 [startup+0.701195 s] /proc/loadavg: 0.96 1.03 1.00 3/77 20939 /proc/meminfo: memFree=1813328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=8604 CPUtime=0.69 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 1997 0 0 0 69 0 0 0 23 0 1 0 254581399 8810496 1893 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 2151 1893 170 317 0 1830 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8604 [startup+1.50129 s] /proc/loadavg: 0.96 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1804872/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=11524 CPUtime=1.49 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 2724 0 0 0 148 1 0 0 25 0 1 0 254581399 11800576 2620 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 2881 2620 170 317 0 2560 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11524 [startup+3.10148 s] /proc/loadavg: 0.96 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1801800/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=15392 CPUtime=3.09 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 3671 0 0 0 307 2 0 0 25 0 1 0 254581399 15761408 3567 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 3848 3567 170 317 0 3527 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15392 [startup+6.30286 s] /proc/loadavg: 0.96 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1794568/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=21660 CPUtime=6.29 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 5224 0 0 0 626 3 0 0 25 0 1 0 254581399 22179840 5120 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 5415 5120 170 317 0 5094 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21660 [startup+12.7016 s] /proc/loadavg: 0.96 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1784976/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=31288 CPUtime=12.69 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 7596 0 0 0 1265 4 0 0 25 0 1 0 254581399 32038912 7492 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 7822 7492 170 317 0 7501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31288 [startup+25.5011 s] /proc/loadavg: 0.97 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1769872/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=46136 CPUtime=25.48 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 11189 0 0 0 2542 6 0 0 25 0 1 0 254581399 47243264 11085 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 11534 11085 170 317 0 11213 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46136 [startup+51.1012 s] /proc/loadavg: 1.05 1.04 1.00 2/78 20940 /proc/meminfo: memFree=1749328/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=66888 CPUtime=51.07 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 16236 0 0 0 5099 8 0 0 25 0 1 0 254581399 68493312 16132 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 16722 16132 170 317 0 16401 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 66888 [startup+102.305 s] /proc/loadavg: 1.02 1.03 1.00 2/78 20940 /proc/meminfo: memFree=1725264/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=91428 CPUtime=102.26 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 22203 0 0 0 10215 11 0 0 25 0 1 0 254581399 93622272 22099 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604476 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 22857 22099 170 317 0 22536 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 91428 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20940 /proc/meminfo: memFree=1701456/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=116824 CPUtime=162.24 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 28137 0 0 0 16210 14 0 0 25 0 1 0 254581399 119627776 28033 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 29206 28033 170 317 0 28885 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 116824 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 20940 /proc/meminfo: memFree=1683024/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=135784 CPUtime=222.23 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 32776 0 0 0 22206 17 0 0 25 0 1 0 254581399 139042816 32672 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 33946 32672 170 317 0 33625 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 135784 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20940 /proc/meminfo: memFree=1668496/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=150420 CPUtime=282.22 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 36368 0 0 0 28202 20 0 0 25 0 1 0 254581399 154030080 36264 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 37605 36264 170 317 0 37284 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 150420 [startup+342.302 s] /proc/loadavg: 1.07 1.02 1.00 2/78 20940 /proc/meminfo: memFree=1652752/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=167676 CPUtime=342.19 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 40422 0 0 0 34197 22 0 0 25 0 1 0 254581399 171700224 40145 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 41919 40145 170 317 0 41598 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 167676 [startup+402.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 20940 /proc/meminfo: memFree=1638736/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=181880 CPUtime=402.18 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 43998 0 0 0 40194 24 0 0 25 0 1 0 254581399 186245120 43721 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 45470 43721 170 317 0 45149 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 181880 [startup+462.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 20940 /proc/meminfo: memFree=1623568/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=199276 CPUtime=462.17 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 47719 0 0 0 46190 27 0 0 25 0 1 0 254581399 204058624 47442 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 49819 47442 170 317 0 49498 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 199276 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 20940 /proc/meminfo: memFree=1611856/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=210816 CPUtime=522.15 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 50648 0 0 0 52187 28 0 0 25 0 1 0 254581399 215875584 50371 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 52704 50371 170 317 0 52383 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 210816 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20940 /proc/meminfo: memFree=1601424/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=222956 CPUtime=582.13 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 53310 0 0 0 58184 29 0 0 25 0 1 0 254581399 228306944 52934 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 55739 52934 170 317 0 55418 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 222956 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20940 /proc/meminfo: memFree=1591440/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=234036 CPUtime=642.12 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 55784 0 0 0 64182 30 0 0 25 0 1 0 254581399 239652864 55408 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 58509 55408 170 317 0 58188 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 234036 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1557520/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=267064 CPUtime=881.93 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 64231 0 0 0 88157 36 0 0 25 0 1 0 254581399 273473536 63822 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 66766 63822 170 317 0 66445 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 267064 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1549968/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=274640 CPUtime=941.91 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 66130 0 0 0 94154 37 0 0 25 0 1 0 254581399 281231360 65721 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 68660 65721 170 317 0 68339 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 274640 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1540048/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=285180 CPUtime=1001.89 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 68632 0 0 0 100151 38 0 0 25 0 1 0 254581399 292024320 68190 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 71295 68190 170 317 0 70974 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 285180 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1534672/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=290332 CPUtime=1061.88 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 69948 0 0 0 106148 40 0 0 25 0 1 0 254581399 297299968 69506 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 72583 69506 170 317 0 72262 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 290332 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1526544/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=299324 CPUtime=1121.87 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 71967 0 0 0 112146 41 0 0 25 0 1 0 254581399 306507776 71525 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 74831 71525 170 317 0 74510 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 299324 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1518544/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=307592 CPUtime=1181.85 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 73983 0 0 0 118142 43 0 0 25 0 1 0 254581399 314974208 73541 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 76898 73541 170 317 0 76577 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 307592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1511824/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=314312 CPUtime=1241.83 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 75684 0 0 0 124139 44 0 0 25 0 1 0 254581399 321855488 75209 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 78578 75209 170 317 0 78257 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 314312 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1504912/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=320748 CPUtime=1301.82 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 77380 0 0 0 130136 46 0 0 25 0 1 0 254581399 328445952 76905 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 80187 76905 170 317 0 79866 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 320748 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1497168/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=328716 CPUtime=1361.8 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 79316 0 0 0 136133 47 0 0 25 0 1 0 254581399 336605184 78841 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 82179 78841 170 317 0 81858 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 328716 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1490384/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=335548 CPUtime=1421.78 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 80969 0 0 0 142130 48 0 0 25 0 1 0 254581399 343601152 80494 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 83887 80494 170 317 0 83566 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 335548 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1483472/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=344892 CPUtime=1481.77 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 83153 0 0 0 148127 50 0 0 25 0 1 0 254581399 353169408 82216 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 86223 82216 170 317 0 85902 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 344892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1475472/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=356168 CPUtime=1541.75 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 85688 0 0 0 154124 51 0 0 25 0 1 0 254581399 364716032 84223 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 89042 84223 170 317 0 88721 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 356168 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1469264/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=362008 CPUtime=1601.73 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 87225 0 0 0 160121 52 0 0 25 0 1 0 254581399 370696192 85760 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 90502 85760 170 317 0 90181 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 362008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1462096/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=368728 CPUtime=1661.72 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 88999 0 0 0 166118 54 0 0 25 0 1 0 254581399 377577472 87534 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 92182 87534 170 317 0 91861 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 368728 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1453648/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=380352 CPUtime=1721.7 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 91576 0 0 0 172115 55 0 0 25 0 1 0 254581399 389480448 89616 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 95088 89616 170 317 0 94767 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 380352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1446800/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=386764 CPUtime=1781.69 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 93259 0 0 0 178113 56 0 0 25 0 1 0 254581399 396046336 91299 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 96691 91299 170 317 0 96370 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 386764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1444176/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=389624 CPUtime=1800.09 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194304 93909 0 0 0 179952 57 0 0 25 0 1 0 254581399 398974976 91949 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 97406 91949 170 317 0 97085 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 389624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 21138 /proc/meminfo: memFree=1444176/2055920 swapFree=4147120/4192956 [pid=20939] ppid=20937 vsize=0 CPUtime=1800.18 /proc/20939/stat : 20939 (oree) R 20937 20939 19718 0 -1 4194308 93925 0 0 0 179957 61 0 0 25 0 1 0 254581399 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/20939/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.21 CPU user time (s): 1799.58 CPU system time (s): 0.637903 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 389624 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.637903 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93925 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9 involuntary context switches= 32775 runsolver used 1.43278 second user time and 4.15637 second system time The end
Begin job on node11 on Wed May 2 19:48:45 UTC 2007 IDJOB= 453410 IDBENCH= 48128 IDSOLVER= 172 FILE ID= node11/453410-1178135324 PBS_JOBID= 4751041 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_1.opb COMMAND LINE= oree /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node11/convwatcher-453410-1178135324 -o ROOT/results/node11/conversion-453410-1178135324 -C 600 -M 1800 /tmp/evaluation/453410-1178135324/substituteSizeProductKeyword /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-453410-1178135324 -o ROOT/results/node11/solver-453410-1178135324 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453410-1178135324/instance-453410-1178135324.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 88e7a647c6e46a38e952354158b1fb76 RANDOM SEED= 449484261 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: 1813672 kB Buffers: 84080 kB Cached: 74452 kB SwapCached: 14256 kB Active: 71764 kB Inactive: 112760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813672 kB SwapTotal: 4192956 kB SwapFree: 4147120 kB Dirty: 1480 kB Writeback: 0 kB Mapped: 32804 kB Slab: 43184 kB Committed_AS: 7302340 kB PageTables: 1856 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= 66563 MiB End job on node11 on Wed May 2 20:18:47 UTC 2007