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