Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 16 | 1800.21 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb |
MD5SUM | faa00895e2f6f80e77634e2be522df62 |
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.09 |
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 | 45 |
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) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 6220 |
Sum of products size | 12440 |
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.07 c ...done 0.00/0.08 c #vars=6420 #constraints=12641 hasObjective=yes 0.10/0.15 c res. mode=mod 0.10/0.15 c VSIDS like heuristics 0.10/0.15 c complete search running 0.10/0.17 c nbDecision=180 #constraints=12641 0.10/0.17 c linear search for optimum 0.10/0.17 o 20 0.10/0.18 c nbDecision=181 #constraints=12643 0.10/0.18 o 19 0.19/0.20 c nbDecision=205 #constraints=12663 0.19/0.20 o 18 0.39/0.43 c restart after 401 decisions 0.39/0.46 c nbDecision=500 #constraints=12807 0.79/0.86 c restart after 801 decisions 0.89/0.95 c nbDecision=995 #constraints=12971 0.89/0.95 o 17 0.89/0.96 c nbDecision=1000 #constraints=12980 1.79/1.84 c nbDecision=1500 #constraints=13276 2.09/2.13 c restart after 1601 decisions 2.99/3.02 c nbDecision=2000 #constraints=13503 5.09/5.13 c nbDecision=2500 #constraints=13847 7.19/7.23 c nbDecision=3000 #constraints=14178 7.89/7.96 c restart after 3201 decisions 8.89/8.97 c nbDecision=3500 #constraints=14433 11.19/11.21 c nbDecision=4000 #constraints=14742 14.39/14.42 c nbDecision=4500 #constraints=15092 17.79/17.81 c nbDecision=5000 #constraints=15439 21.39/21.48 c nbDecision=5500 #constraints=15781 22.59/22.60 c nbDecision=5650 #constraints=15871 22.59/22.60 o 16 25.19/25.28 c nbDecision=6000 #constraints=16080 29.28/29.39 c restart after 6401 decisions 30.08/30.14 c nbDecision=6500 #constraints=16354 35.58/35.63 c nbDecision=7000 #constraints=16670 43.08/43.11 c nbDecision=7500 #constraints=17089 50.38/50.48 c nbDecision=8000 #constraints=17414 57.87/57.91 c nbDecision=8500 #constraints=17716 67.08/67.17 c nbDecision=9000 #constraints=18059 78.37/78.49 c nbDecision=9500 #constraints=18430 87.66/87.72 c nbDecision=10000 #constraints=18787 96.37/96.46 c nbDecision=10500 #constraints=19132 107.46/107.59 c nbDecision=11000 #constraints=19500 120.76/120.88 c nbDecision=11500 #constraints=19877 136.25/136.37 c nbDecision=12000 #constraints=20247 148.25/148.38 c nbDecision=12500 #constraints=20594 156.54/156.61 c restart after 12801 decisions 160.05/160.14 c nbDecision=13000 #constraints=20845 176.45/176.53 c nbDecision=13500 #constraints=21270 191.63/191.77 c nbDecision=14000 #constraints=21652 209.93/210.07 c nbDecision=14500 #constraints=22017 225.43/225.53 c nbDecision=15000 #constraints=22399 246.03/246.10 c nbDecision=15500 #constraints=22815 264.22/264.31 c nbDecision=16000 #constraints=23208 275.82/275.94 c nbDecision=16500 #constraints=23505 289.71/289.86 c nbDecision=17000 #constraints=23829 304.61/304.71 c nbDecision=17500 #constraints=24168 323.90/324.05 c nbDecision=18000 #constraints=24595 339.10/339.26 c nbDecision=18500 #constraints=24961 355.40/355.57 c nbDecision=19000 #constraints=25321 376.49/376.64 c nbDecision=19500 #constraints=25693 396.28/396.48 c nbDecision=20000 #constraints=26028 418.77/418.94 c nbDecision=20500 #constraints=26432 440.17/440.35 c nbDecision=21000 #constraints=26787 460.16/460.32 c nbDecision=21500 #constraints=27153 484.06/484.24 c nbDecision=22000 #constraints=27568 503.85/504.01 c nbDecision=22500 #constraints=27922 530.54/530.72 c nbDecision=23000 #constraints=28294 557.23/557.50 c nbDecision=23500 #constraints=28684 579.13/579.35 c nbDecision=24000 #constraints=29016 599.92/600.11 c nbDecision=24500 #constraints=29349 617.32/617.54 c nbDecision=25000 #constraints=29685 628.62/628.89 c nbDecision=25500 #constraints=30040 631.72/631.98 c restart after 25601 decisions 642.01/642.24 c nbDecision=26000 #constraints=30254 655.21/655.41 c nbDecision=26500 #constraints=30560 672.40/672.65 c nbDecision=27000 #constraints=30892 694.00/694.24 c nbDecision=27500 #constraints=31261 720.69/720.99 c nbDecision=28000 #constraints=31629 751.58/751.88 c nbDecision=28500 #constraints=31986 784.58/784.86 c nbDecision=29000 #constraints=32363 809.27/809.52 c nbDecision=29500 #constraints=32738 845.56/845.81 c nbDecision=30000 #constraints=33161 874.45/874.77 c nbDecision=30500 #constraints=33532 901.04/901.32 c nbDecision=31000 #constraints=33913 931.44/931.78 c nbDecision=31500 #constraints=34333 966.63/966.99 c nbDecision=32000 #constraints=34748 1003.81/1004.17 c nbDecision=32500 #constraints=35126 1041.01/1041.39 c nbDecision=33000 #constraints=35533 1079.50/1079.84 c nbDecision=33500 #constraints=35886 1116.88/1117.23 c nbDecision=34000 #constraints=36236 1157.67/1158.01 c nbDecision=34500 #constraints=36600 1200.26/1200.63 c nbDecision=35000 #constraints=36953 1240.54/1240.95 c nbDecision=35500 #constraints=37368 1282.03/1282.43 c nbDecision=36000 #constraints=37791 1324.62/1325.02 c nbDecision=36500 #constraints=38225 1362.31/1362.75 c nbDecision=37000 #constraints=38617 1407.09/1407.57 c nbDecision=37500 #constraints=39045 1447.79/1448.27 c nbDecision=38000 #constraints=39462 1498.38/1498.83 c nbDecision=38500 #constraints=39905 1547.86/1548.30 c nbDecision=39000 #constraints=40310 1601.05/1601.55 c nbDecision=39500 #constraints=40719 1650.73/1651.28 c nbDecision=40000 #constraints=41130 1702.41/1702.92 c nbDecision=40500 #constraints=41571 1748.60/1749.12 c nbDecision=41000 #constraints=42007 1800.10/1800.61 Received signal 15 1800.10/1800.62 1800.10/1800.62 s SATISFIABLE 1800.10/1800.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 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.62 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 1800.10/1800.62 v -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 1800.10/1800.62 v -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 1800.10/1800.62 v -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 1800.10/1800.62 v -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 1800.10/1800.62 v -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 1800.10/1800.62 v x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 1800.10/1800.62 v -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 1800.10/1800.62 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.10/1800.62 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 1800.10/1800.62 v -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 1800.10/1800.62 v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 1800.10/1800.62 v -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 1800.10/1800.62 v -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 1800.10/1800.62 v -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 1800.10/1800.62 v -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 1800.10/1800.62 v -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 1800.10/1800.62 v -x1196 -x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 1800.10/1800.62 v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 1800.10/1800.62 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 1800.10/1800.62 v -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 1800.10/1800.62 v -x1265 -x1266 -x1267 x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 1800.10/1800.62 v -x1282 -x1283 -x1284 x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 1800.10/1800.62 v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 1800.10/1800.62 v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 1800.10/1800.62 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 1800.10/1800.62 v -x1352 x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 x1367 x1368 -x1369 1800.10/1800.62 v -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 -x1384 -x1385 -x1386 1800.10/1800.62 v -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 1800.10/1800.62 v -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 x1418 -x1419 -x1420 -x1421 1800.10/1800.62 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 1800.10/1800.62 v -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.10/1800.62 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 1800.10/1800.62 v -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 1800.10/1800.62 v -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 1800.10/1800.62 v -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 1800.10/1800.62 v -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 1800.10/1800.62 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 1800.10/1800.62 v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 1800.10/1800.62 v -x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 x1590 x1591 -x1592 1800.10/1800.62 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 -x1609 -x1610 1800.10/1800.62 v -x1611 x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 1800.10/1800.62 v -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 1800.10/1800.62 v -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 1800.10/1800.62 v -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 1800.10/1800.62 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 1800.10/1800.62 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 1800.10/1800.62 v x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 1800.10/1800.62 v -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 1800.10/1800.62 v x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 1800.10/1800.62 v -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1800.10/1800.62 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 1800.10/1800.62 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 1800.10/1800.62 v x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.10/1800.62 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.10/1800.62 v -x1854 x1855 -x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 1800.10/1800.62 v -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 x1887 -x1888 1800.10/1800.62 v -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 1800.10/1800.62 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 1800.10/1800.62 v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.10/1800.62 v x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 1800.10/1800.62 v -x1957 x1958 x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 1800.10/1800.62 v -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 1800.10/1800.62 v x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 1800.10/1800.62 v -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.10/1800.62 v -x2027 x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 1800.10/1800.62 v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 1800.10/1800.62 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 1800.10/1800.62 v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 1800.10/1800.62 v -x2096 -x2097 x2098 -x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 1800.10/1800.62 v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2129 -x2130 1800.10/1800.62 v -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.10/1800.62 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 1800.10/1800.62 v -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 1800.10/1800.62 v -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 1800.10/1800.62 v -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 x2211 x2212 x2213 -x2214 -x2215 -x2216 -x2217 1800.10/1800.62 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.10/1800.62 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 1800.10/1800.62 v -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.10/1800.62 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 1800.10/1800.62 v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 1800.10/1800.62 v -x2305 -x2306 x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 1800.10/1800.62 v -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 1800.10/1800.62 v -x2340 -x2341 -x2342 x2343 -x2344 -x2345 x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.10/1800.62 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 1800.10/1800.62 v -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 x2384 -x2385 x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 1800.10/1800.62 v -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 x2399 x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 1800.10/1800.62 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 1800.10/1800.62 v -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 x2441 -x2442 -x2443 -x2444 1800.10/1800.62 v -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 1800.10/1800.62 v -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 x2470 -x2471 x2472 x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 1800.10/1800.62 v -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 1800.10/1800.62 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 1800.10/1800.62 v -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 1800.10/1800.62 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 -x2545 -x2546 x2547 -x2548 1800.10/1800.62 v -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 x2564 -x2565 -x2566 1800.10/1800.62 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 1800.10/1800.62 v -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 1800.10/1800.62 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 1800.10/1800.62 v -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 1800.10/1800.62 v -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 -x2644 -x2645 -x2646 x2647 -x2648 -x2649 -x2650 -x2651 -x2652 1800.10/1800.62 v -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 1800.10/1800.62 v -x2670 -x2671 -x2672 -x2673 x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.10/1800.62 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 x2704 1800.10/1800.62 v -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 x2714 -x2715 x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 1800.10/1800.62 v -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 x2734 -x2735 -x2736 x2737 -x2738 -x2739 -x2740 1800.10/1800.62 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 1800.10/1800.62 v -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 x2769 x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.10/1800.62 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.10/1800.62 v -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 x2805 -x2806 -x2807 -x2808 -x2809 1800.10/1800.62 v -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 1800.10/1800.62 v -x2827 x2828 x2829 x2830 -x2831 -x2832 -x2833 x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 x2843 -x2844 1800.10/1800.62 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.10/1800.62 v x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 x2875 -x2876 -x2877 -x2878 -x2879 1800.10/1800.62 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 1800.10/1800.62 v x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 -x2913 -x2914 1800.10/1800.62 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930 -x2931 1800.10/1800.62 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.10/1800.62 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.10/1800.62 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 1800.10/1800.62 v -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 1800.10/1800.62 v -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1800.10/1800.62 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 1800.10/1800.62 v -x3034 x3035 -x3036 -x3037 -x3038 x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 1800.10/1800.62 v -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 x3059 -x3060 -x3061 -x3062 -x3063 -x3064 x3065 -x3066 -x3067 -x3068 -x3069 1800.10/1800.62 v -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 1800.10/1800.62 v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 x3103 -x3104 1800.10/1800.62 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 1800.10/1800.62 v x3122 -x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 x3134 -x3135 -x3136 -x3137 -x3138 -x3139 1800.10/1800.62 v -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 1800.10/1800.62 v -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 1800.10/1800.62 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 1800.10/1800.62 v -x3192 -x3193 x3194 x3195 x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 1800.10/1800.62 v -x3210 -x3211 -x3212 -x3213 x3214 x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 1800.10/1800.62 v -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 1800.10/1800.62 v x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 1800.10/1800.62 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 1800.10/1800.62 v -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 1800.10/1800.62 v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 x3311 x3312 -x3313 1800.10/1800.62 v -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 1800.10/1800.62 v -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1800.10/1800.62 v -x3348 -x3349 -x3350 -x3351 x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 1800.10/1800.62 v -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 x3374 x3375 x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 1800.10/1800.62 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 1800.10/1800.62 v -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 1800.10/1800.62 v -x3418 -x3419 -x3420 -x3421 -x3422 x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 1800.10/1800.62 v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 x3448 -x3449 -x3450 -x3451 -x3452 1800.10/1800.62 v -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 1800.10/1800.62 v -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 x3483 -x3484 -x3485 -x3486 1800.10/1800.62 v -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 1800.10/1800.62 v -x3504 -x3505 -x3506 -x3507 -x3508 x3509 -x3510 -x3511 x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 1800.10/1800.62 v -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 1800.10/1800.62 v -x3539 x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 1800.10/1800.62 v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 1800.10/1800.62 v -x3574 -x3575 -x3576 x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 1800.10/1800.62 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 1800.10/1800.62 v -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 1800.10/1800.62 v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 x3632 -x3633 x3634 -x3635 -x3636 -x3637 -x3638 x3639 -x3640 -x3641 -x3642 -x3643 1800.10/1800.62 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1800.10/1800.62 v -x3661 x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1800.10/1800.62 v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 1800.10/1800.62 v -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 1800.10/1800.62 v -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 1800.10/1800.62 v x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 1800.10/1800.62 v -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1800.10/1800.62 v -x3765 -x3766 x3767 x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 1800.10/1800.62 v -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 1800.10/1800.62 v -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 1800.10/1800.62 v -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 1800.10/1800.62 v -x3834 -x3835 x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 1800.10/1800.62 v -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 x3866 -x3867 -x3868 -x3869 1800.10/1800.62 v -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 1800.10/1800.62 v -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 1800.10/1800.62 v -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 x3919 -x3920 -x3921 -x3922 1800.10/1800.62 v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 1800.10/1800.62 v -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 x3953 -x3954 x3955 -x3956 -x3957 1800.10/1800.62 v -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 x3974 1800.10/1800.62 v -x3975 -x3976 x3977 -x3978 x3979 -x3980 -x3981 -x3982 -x3983 x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 1800.10/1800.62 v -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4006 -x4007 x4008 x4009 x4010 1800.10/1800.62 v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 1800.10/1800.62 v x4028 -x4029 -x4030 -x4031 -x4032 -x4033 x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 x4042 -x4043 -x4044 -x4045 1800.10/1800.62 v -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 x4059 -x4060 -x4061 x4062 -x4063 1800.10/1800.62 v -x4064 -x4065 -x4066 x4067 x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 1800.10/1800.62 v -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 1800.10/1800.62 v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 1800.10/1800.62 v -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 1800.10/1800.62 v x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 1800.10/1800.62 v -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 1800.10/1800.62 v -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 1800.10/1800.62 v -x4185 x4186 x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 1800.10/1800.62 v -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 x4216 -x4217 -x4218 -x4219 1800.10/1800.62 v -x4220 -x4221 x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 1800.10/1800.62 v -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 1800.10/1800.62 v -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 1800.10/1800.62 v -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 1800.10/1800.62 v -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 1800.10/1800.62 v x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 1800.10/1800.62 v -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 x4329 x4330 -x4331 -x4332 -x4333 -x4334 x4335 -x4336 -x4337 -x4338 -x4339 1800.10/1800.62 v -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 1800.10/1800.62 v -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 1800.10/1800.62 v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 1800.10/1800.62 v -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 1800.10/1800.62 v -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 x4414 -x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 1800.10/1800.62 v -x4426 -x4427 -x4428 -x4429 -x4430 x4431 -x4432 -x4433 -x4434 x4435 x4436 -x4437 x4438 -x4439 x4440 x4441 -x4442 -x4443 1800.10/1800.62 v -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 1800.10/1800.62 v -x4461 -x4462 -x4463 x4464 x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 1800.10/1800.62 v -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 1800.10/1800.62 v x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 1800.10/1800.62 v -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 1800.10/1800.62 v -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 x4545 x4546 -x4547 -x4548 1800.10/1800.62 v -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 1800.10/1800.62 v -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 x4581 x4582 x4583 1800.10/1800.62 v -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 1800.10/1800.62 v -x4601 x4602 -x4603 -x4604 -x4605 x4606 -x4607 x4608 -x4609 -x4610 x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 1800.10/1800.62 v -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.10/1800.62 v x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 1800.10/1800.62 v -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 x4666 -x4667 -x4668 -x4669 -x4670 1800.10/1800.62 v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 1800.10/1800.62 v -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 1800.10/1800.62 v -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 x4721 -x4722 1800.10/1800.62 v -x4723 -x4724 x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 1800.10/1800.62 v -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 x4749 x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 1800.10/1800.62 v -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 1800.10/1800.62 v -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 x4785 -x4786 x4787 x4788 -x4789 -x4790 -x4791 -x4792 1800.10/1800.62 v -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 1800.10/1800.62 v -x4810 -x4811 x4812 x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 1800.10/1800.62 v -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 x4843 -x4844 1800.10/1800.62 v -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 1800.10/1800.62 v -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 1800.10/1800.62 v -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 1800.10/1800.62 v -x4896 -x4897 -x4898 -x4899 x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 1800.10/1800.62 v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 x4925 -x4926 -x4927 -x4928 -x4929 1800.10/1800.62 v -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 1800.10/1800.62 v -x4947 -x4948 -x4949 -x4950 x4951 x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 1800.10/1800.62 v -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 1800.10/1800.62 v -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.10/1800.62 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 1800.10/1800.62 v -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 x5031 -x5032 -x5033 1800.10/1800.62 v x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 1800.10/1800.62 v -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 1800.10/1800.62 v -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 x5083 -x5084 1800.10/1800.62 v -x5085 x5086 x5087 x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 1800.10/1800.62 v -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 1800.10/1800.62 v -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 1800.10/1800.62 v -x5137 x5138 x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 1800.10/1800.62 v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 x5170 -x5171 1800.10/1800.62 v -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 1800.10/1800.62 v -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 x5202 -x5203 -x5204 -x5205 1800.10/1800.62 v -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 1800.10/1800.62 v -x5223 -x5224 x5225 x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 1800.10/1800.62 v -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 -x5253 -x5254 -x5255 -x5256 -x5257 1800.10/1800.62 v -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 1800.10/1800.62 v -x5275 -x5276 -x5277 -x5278 -x5279 x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 1800.10/1800.62 v -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 x5306 -x5307 -x5308 -x5309 1800.10/1800.62 v -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 1800.10/1800.62 v -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 1800.10/1800.62 v -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 1800.10/1800.62 v -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 1800.10/1800.62 v -x5378 -x5379 -x5380 -x5381 x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 1800.10/1800.62 v -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 1800.10/1800.62 v -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 1800.10/1800.62 v -x5430 -x5431 -x5432 -x5433 x5434 -x5435 -x5436 x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 1800.10/1800.62 v -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 -x5464 1800.10/1800.62 v -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 1800.10/1800.62 v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 1800.10/1800.62 v -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 1800.10/1800.62 v -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 1800.10/1800.62 v -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 x5540 -x5541 x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 1800.10/1800.62 v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 x5567 1800.10/1800.62 v -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 1800.10/1800.62 v -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 1800.10/1800.62 v -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 1800.10/1800.62 v -x5619 x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 1800.10/1800.62 v -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 1800.10/1800.62 v -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 1800.10/1800.62 v -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 1800.10/1800.62 v -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 1800.10/1800.62 v -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 1800.10/1800.62 v -x5721 -x5722 -x5723 -x5724 -x5725 x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 1800.10/1800.62 v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 1800.10/1800.62 v -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 1800.10/1800.62 v -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 x5778 x5779 x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 1800.10/1800.62 v -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 1800.10/1800.62 v -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 1800.10/1800.62 v -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 1800.10/1800.62 v -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 1800.10/1800.62 v -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 1800.10/1800.62 v -x5875 -x5876 -x5877 x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 1800.10/1800.62 v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 x5905 -x5906 -x5907 -x5908 -x5909 1800.10/1800.62 v -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 1800.10/1800.62 v -x5927 -x5928 -x5929 x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 1800.10/1800.62 v -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 x5954 -x5955 -x5956 -x5957 x5958 -x5959 -x5960 -x5961 1800.10/1800.62 v -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 1800.10/1800.62 v -x5979 -x5980 x5981 -x5982 x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 1800.10/1800.62 v -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 1800.10/1800.62 v -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 1800.10/1800.62 v -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 1800.10/1800.62 v -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 1800.10/1800.62 v -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 1800.10/1800.62 v x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 1800.10/1800.62 v -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 1800.10/1800.62 v -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 1800.10/1800.62 v -x6133 -x6134 x6135 -x6136 x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 1800.10/1800.62 v -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 x6165 -x6166 -x6167 1800.10/1800.62 v -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 1800.10/1800.62 v -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 1800.10/1800.62 v -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 x6216 x6217 -x6218 -x6219 1800.10/1800.62 v -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 1800.10/1800.62 v -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 1800.10/1800.62 v -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 1800.10/1800.62 v -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 1800.10/1800.62 v -x6288 -x6289 -x6290 -x6291 x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 1800.10/1800.62 v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 1800.10/1800.62 v -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 1800.10/1800.62 v -x6339 x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 1800.10/1800.62 v -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 1800.10/1800.62 v -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 1800.10/1800.62 v -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 1800.10/1800.62 v -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 x6420 1800.10/1800.62 1800.10/1800.62 c user time= 1799.56 s 1800.10/1800.62 c system time= 0.573912 s 1800.10/1800.62 c wall clock time=1800.63
OK 16
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb mv /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb.tmp /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-453665-1178147704 -o ROOT/results/node5/solver-453665-1178147704 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453665-1178147704/instance-453665-1178147704.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.99 0.99 3/77 20096 /proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=1468 CPUtime=0 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 290808096 1503232 168 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 367 168 130 317 0 46 0 [startup+0.0911049 s] /proc/loadavg: 0.92 0.99 0.99 3/77 20096 /proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=5724 CPUtime=0.08 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1238 0 0 0 8 0 0 0 18 0 1 0 290808096 5861376 1221 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 1431 1221 137 317 0 1110 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5724 [startup+0.104111 s] /proc/loadavg: 0.92 0.99 0.99 3/77 20096 /proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=5856 CPUtime=0.1 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1267 0 0 0 10 0 0 0 18 0 1 0 290808096 5996544 1250 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 1464 1250 137 317 0 1143 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5856 [startup+0.301128 s] /proc/loadavg: 0.92 0.99 0.99 3/77 20096 /proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=7120 CPUtime=0.29 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 1641 0 0 0 29 0 0 0 19 0 1 0 290808096 7290880 1537 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 1780 1537 170 317 0 1459 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7120 [startup+0.701172 s] /proc/loadavg: 0.92 0.99 0.99 3/77 20096 /proc/meminfo: memFree=1744384/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=8964 CPUtime=0.69 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 2077 0 0 0 69 0 0 0 23 0 1 0 290808096 9179136 1973 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 2241 1973 170 317 0 1920 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8964 [startup+1.50126 s] /proc/loadavg: 0.92 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1735928/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=12132 CPUtime=1.49 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 2879 0 0 0 148 1 0 0 25 0 1 0 290808096 12423168 2775 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 3033 2775 170 317 0 2712 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12132 [startup+3.10144 s] /proc/loadavg: 0.92 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1731704/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=16916 CPUtime=3.09 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 4046 0 0 0 307 2 0 0 25 0 1 0 290808096 17321984 3942 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 4229 3942 170 317 0 3908 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16916 [startup+6.30181 s] /proc/loadavg: 0.93 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1723256/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=24836 CPUtime=6.29 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 5994 0 0 0 627 2 0 0 25 0 1 0 290808096 25432064 5890 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135271361 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 6209 5890 170 317 0 5888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24836 [startup+12.7015 s] /proc/loadavg: 0.93 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1711096/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=36196 CPUtime=12.69 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 8773 0 0 0 1265 4 0 0 25 0 1 0 290808096 37064704 8669 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 9049 8669 170 317 0 8728 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36196 [startup+25.503 s] /proc/loadavg: 0.95 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1695864/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=51036 CPUtime=25.48 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 12407 0 0 0 2543 5 0 0 25 0 1 0 290808096 52260864 12303 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 12759 12303 170 317 0 12438 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51036 [startup+51.1029 s] /proc/loadavg: 0.96 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1674680/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=72980 CPUtime=51.08 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 17723 0 0 0 5100 8 0 0 25 0 1 0 290808096 74731520 17619 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 18245 17619 170 317 0 17924 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 72980 [startup+102.307 s] /proc/loadavg: 0.98 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1644024/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=105032 CPUtime=102.26 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 25266 0 0 0 10215 11 0 0 25 0 1 0 290808096 107552768 25162 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 26258 25162 170 317 0 25937 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105032 [startup+162.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1616696/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=133532 CPUtime=162.25 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 32148 0 0 0 16210 15 0 0 25 0 1 0 290808096 136736768 32044 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 33383 32044 170 317 0 33062 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 133532 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1590968/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=160088 CPUtime=222.23 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 38505 0 0 0 22205 18 0 0 25 0 1 0 290808096 163930112 38401 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 40022 38401 170 317 0 39701 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 160088 [startup+282.303 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1569272/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=183640 CPUtime=282.21 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 43945 0 0 0 28200 21 0 0 25 0 1 0 290808096 188047360 43841 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 45910 43841 170 317 0 45589 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 183640 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1552376/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=200560 CPUtime=342.2 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 48123 0 0 0 34197 23 0 0 25 0 1 0 290808096 205373440 48019 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 50140 48019 170 317 0 49819 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 200560 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1538104/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=215768 CPUtime=402.18 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 51892 0 0 0 40192 26 0 0 25 0 1 0 290808096 220946432 51615 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 53942 51615 170 317 0 53621 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 215768 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1524216/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=230348 CPUtime=462.17 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 55327 0 0 0 46189 28 0 0 25 0 1 0 290808096 235876352 55050 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 57587 55050 170 317 0 57266 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 230348 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1510776/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=244116 CPUtime=522.14 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 58698 0 0 0 52185 29 0 0 25 0 1 0 290808096 249974784 58421 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 61029 58421 170 317 0 60708 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 244116 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1499896/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=255516 CPUtime=582.12 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 61482 0 0 0 58182 30 0 0 25 0 1 0 290808096 261648384 61139 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 63879 61139 170 317 0 63558 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 255516 [startup+642.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1485560/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=271404 CPUtime=642.11 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 65024 0 0 0 64179 32 0 0 25 0 1 0 290808096 277917696 64681 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 67851 64681 170 317 0 67530 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 271404 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 20097 /proc/meminfo: memFree=1434104/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=326060 CPUtime=882.05 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 77923 0 0 0 88166 39 0 0 25 0 1 0 290808096 333885440 77514 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 81515 77514 170 317 0 81194 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 326060 [startup+942.301 s] /proc/loadavg: 1.06 1.00 1.00 2/78 20097 /proc/meminfo: memFree=1422264/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=338308 CPUtime=942.03 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 80920 0 0 0 94163 40 0 0 25 0 1 0 290808096 346427392 80478 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 84577 80478 170 317 0 84256 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 338308 [startup+1002.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 20097 /proc/meminfo: memFree=1410296/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=350324 CPUtime=1002.01 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 83927 0 0 0 100159 42 0 0 25 0 1 0 290808096 358731776 83452 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 87581 83452 170 317 0 87260 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 350324 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20097 /proc/meminfo: memFree=1400952/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=359348 CPUtime=1062 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 86285 0 0 0 106157 43 0 0 25 0 1 0 290808096 367972352 85810 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 89837 85810 170 317 0 89516 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 359348 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20097 /proc/meminfo: memFree=1393912/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=366956 CPUtime=1121.98 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 88013 0 0 0 112154 44 0 0 25 0 1 0 290808096 375762944 87538 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 91739 87538 170 317 0 91418 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 366956 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1385528/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=376548 CPUtime=1181.96 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 90132 0 0 0 118151 45 0 0 25 0 1 0 290808096 385585152 89657 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 94137 89657 170 317 0 93816 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 376548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1377592/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=385424 CPUtime=1241.94 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 92081 0 0 0 124148 46 0 0 25 0 1 0 290808096 394674176 91606 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 96356 91606 170 317 0 96035 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 385424 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1367224/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=397376 CPUtime=1301.93 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 94648 0 0 0 130146 47 0 0 25 0 1 0 290808096 406913024 94173 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 99344 94173 170 317 0 99023 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 397376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1357240/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=408648 CPUtime=1361.92 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 97170 0 0 0 136143 49 0 0 25 0 1 0 290808096 418455552 96695 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 102162 96695 170 317 0 101841 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 408648 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1347896/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=417488 CPUtime=1421.9 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 99469 0 0 0 142140 50 0 0 25 0 1 0 290808096 427507712 98994 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 104372 98994 170 317 0 104051 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 417488 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1338232/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=426876 CPUtime=1481.87 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 101883 0 0 0 148136 51 0 0 25 0 1 0 290808096 437121024 101408 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 106719 101408 170 317 0 106398 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 426876 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1330104/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=435072 CPUtime=1541.86 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 103904 0 0 0 154134 52 0 0 25 0 1 0 290808096 445513728 103429 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 108768 103429 170 317 0 108447 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 435072 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1322296/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=442860 CPUtime=1601.85 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 105890 0 0 0 160131 54 0 0 25 0 1 0 290808096 453488640 105415 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 110715 105415 170 317 0 110394 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 442860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1314680/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=450044 CPUtime=1661.83 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 107780 0 0 0 166128 55 0 0 25 0 1 0 290808096 460845056 107305 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 112511 107305 170 317 0 112190 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 450044 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1305848/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=459700 CPUtime=1721.81 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 109984 0 0 0 172125 56 0 0 25 0 1 0 290808096 470732800 109509 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 114925 109509 170 317 0 114604 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 459700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1298104/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=467104 CPUtime=1781.8 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 111909 0 0 0 178123 57 0 0 25 0 1 0 290808096 478314496 111434 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 116776 111434 170 317 0 116455 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 467104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1294584/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=471576 CPUtime=1800.1 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194304 112771 0 0 0 179953 57 0 0 25 0 1 0 290808096 482893824 112296 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 117894 112296 170 317 0 117573 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 471576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 20099 /proc/meminfo: memFree=1294584/2055920 swapFree=4150044/4192956 [pid=20096] ppid=20094 vsize=0 CPUtime=1800.2 /proc/20096/stat : 20096 (oree) R 20094 20096 18961 0 -1 4194308 112787 0 0 0 179956 64 0 0 25 0 1 0 290808096 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 0 0 0 /proc/20096/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.21 CPU user time (s): 1799.56 CPU system time (s): 0.648901 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 471576 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.648901 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112787 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= 42129 runsolver used 1.54377 second user time and 5.02724 second system time The end
Begin job on node5 on Wed May 2 23:15:04 UTC 2007 IDJOB= 453665 IDBENCH= 48145 IDSOLVER= 172 FILE ID= node5/453665-1178147704 PBS_JOBID= 4751072 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_2.opb COMMAND LINE= oree /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-453665-1178147704 -o ROOT/results/node5/conversion-453665-1178147704 -C 600 -M 1800 /tmp/evaluation/453665-1178147704/substituteSizeProductKeyword /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-453665-1178147704 -o ROOT/results/node5/solver-453665-1178147704 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453665-1178147704/instance-453665-1178147704.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62 RANDOM SEED= 170827111 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1744792 kB Buffers: 133988 kB Cached: 70204 kB SwapCached: 11368 kB Active: 120060 kB Inactive: 110528 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1744792 kB SwapTotal: 4192956 kB SwapFree: 4150044 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 31276 kB Slab: 66148 kB Committed_AS: 13698912 kB PageTables: 1724 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 node5 on Wed May 2 23:45:07 UTC 2007