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