Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | -24 | 1798.08 | 1798.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb |
MD5SUM | b1b77cfc7c7e45b216596a736ff4b926 |
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 | -27 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12452 |
Sum of products size (including duplicates) | 24904 |
Number of different products | 6226 |
Sum of products size | 12452 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2671073-1276717246.opb 0.00/0.00 c File size is 532479 bytes. 0.04/0.08 c Highest Coefficient sum: 400 0.04/0.08 c Parsing was ok!! 0.04/0.08 c Total parsing time: 0.085 s 0.04/0.09 c Var: 6626 Constr: 13054 6426/402/6226 Lit: 51008 Watch. Lit: 44384 0.04/0.09 c Obj. Vars: 200 (3.01841 % of total variables) 8.80/8.84 c Pre-processing Time: 8.846 s 8.80/8.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.85 c 0 6626 13054 51008 3 44384 169469 0 0 8.85 8.80/8.85 c Switching off lower bounding mode. 8.80/8.85 o -1 8.80/8.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.87 c 0 6626 13055 51208 3 44387 169603 1 0 8.86 8.80/8.87 o -2 8.80/8.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.89 c 1 6626 13058 51808 3 44396 169669 4 0 8.88 8.80/8.89 o -3 8.89/8.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.92 c 4 6626 13063 52450 4 44411 169736 9 0 8.89 8.89/8.92 o -4 8.89/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.95 c 8 6626 13069 53059 4 44430 169803 15 0 8.92 8.89/8.95 o -5 8.89/8.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.97 c 12 6626 13075 53672 4 44451 169869 21 1 8.96 8.89/8.97 o -6 8.89/8.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.99 c 13 6626 13078 54304 4 44468 169936 24 1 8.98 8.89/8.99 o -7 8.99/9.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.01 c 18 6626 13085 55559 4 44495 170003 31 2 8.99 8.99/9.01 o -8 8.99/9.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.03 c 27 6626 13096 56823 4 44532 170069 42 2 9.02 8.99/9.03 o -9 8.99/9.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.05 c 40 6626 13111 58701 4 44579 170136 57 4 9.04 8.99/9.05 o -10 8.99/9.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.07 c 57 6626 13130 62312 4 44636 170203 76 6 9.06 8.99/9.07 o -11 8.99/9.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.09 c 69 6626 13144 64956 4 44685 170269 90 7 9.08 8.99/9.09 o -12 9.09/9.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.11 c 81 6626 13158 67782 5 44736 170336 104 8 9.10 9.09/9.11 o -13 9.09/9.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.13 c 97 6626 13176 70431 5 44797 170403 122 10 9.12 9.09/9.13 o -14 9.09/9.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.17 c 110 6626 13191 73066 5 44854 170469 137 12 9.14 9.09/9.17 o -15 9.19/9.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.22 c 155 6626 13238 76525 5 44977 170469 184 16 9.18 9.19/9.22 o -16 9.19/9.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.24 c 230 6626 13315 83894 6 45162 170469 261 24 9.23 9.19/9.24 o -17 9.19/9.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.26 c 249 6626 13336 85266 6 45237 170469 282 26 9.25 9.19/9.26 o -18 9.19/9.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.28 c 273 6626 13362 86109 6 45324 170469 308 29 9.27 9.19/9.28 o -19 9.29/9.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.30 c 285 6626 13376 87630 6 45389 170469 322 30 9.29 9.29/9.30 o -20 9.29/9.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.33 c 298 6626 13391 88440 6 45458 170469 337 32 9.31 9.29/9.33 o -21 9.49/9.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.59 c 322 6626 13417 89285 6 45551 170469 363 34 9.34 9.49/9.59 c 422 6626 13517 104616 7 45751 187516 463 44 9.47 9.49/9.59 o -22 9.59/9.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.62 c 642 6626 13739 124208 9 46238 170469 685 66 9.60 9.59/9.62 o -23 53.98/54.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 53.98/54.09 c 665 6626 13764 125048 9 46333 170469 710 69 9.62 53.98/54.09 c 767 6626 13866 142196 10 46537 187516 812 78 9.74 53.98/54.09 c 1017 6626 14117 163221 11 47062 206268 1063 103 9.87 53.98/54.09 c 1493 6626 14595 193448 13 48018 226895 1541 147 10.14 53.98/54.09 c 2307 6626 15425 333697 21 49720 249585 2371 209 10.99 53.98/54.09 c 3627 6626 16777 601539 35 52457 274544 3723 290 12.49 53.98/54.09 c 5708 6626 18927 1049164 55 56790 301999 5873 372 15.31 53.98/54.09 c 8931 6626 22265 1771106 79 63742 332199 9211 450 19.84 53.98/54.09 c 13867 6626 27448 2961003 107 74385 365419 14394 494 28.05 53.98/54.09 c 21373 6626 35250 4664426 132 90250 401961 22196 512 41.72 53.98/54.09 o -24 1797.94/1798.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.47 c 27217 6626 41337 5979120 144 102617 170469 28283 503 54.09 1797.94/1798.47 c 27317 6626 41439 6000345 144 102821 187516 28385 503 54.31 1797.94/1798.47 c 27568 6626 41699 6055519 145 103341 206268 28645 503 54.79 1797.94/1798.47 c 28043 6626 42190 6156270 145 104323 226895 29136 500 56.02 1797.94/1798.47 c 28856 6626 43023 6314391 146 105993 249585 29969 498 57.84 1797.94/1798.47 c 30176 6626 44376 6581759 148 108699 274544 31322 494 61.03 1797.94/1798.47 c 32257 6626 46500 7010972 150 112971 301999 33446 497 64.83 1797.94/1798.47 c 35480 6626 49828 7701549 154 119663 332199 36774 478 74.11 1797.94/1798.47 c 40416 6626 54913 8768328 159 130135 365419 41859 456 88.60 1797.94/1798.47 c 47923 6626 62824 10539150 167 146635 401961 49770 414 115.66 1797.94/1798.47 c 59284 6626 74650 13215025 177 170665 442158 61596 363 163.13 1797.94/1798.47 c 76428 6626 92604 17076365 184 206798 486374 79550 328 232.31 1797.94/1798.47 c 102247 6626 119603 22950847 191 261411 535012 106549 283 361.21 1797.94/1798.47 c 141079 6626 160298 32172318 200 343220 588514 147244 230 610.83 1797.94/1798.47 c 199432 6626 221605 45935590 207 466648 647366 208551 171 1159.65 1797.94/1798.47 c Resources Exceeded 1797.94/1798.47 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 -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 -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 -x81 -x82 -x83 -x84 -x85 x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 -x392 -x393 x394 -x395 -x396 x397 x398 x399 -x400 1797.94/1798.47 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.47 c 48 250867 91669 483492 275677 58166383 262623 139 1798.01 1797.94/1798.47 c Objective: -24 1797.94/1798.47 s SATISFIABLE 1797.94/1798.47 c Total time: 1798.01 s
OK -24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671073-1276717246/watcher-2671073-1276717246 -o /tmp/evaluation-result-2671073-1276717246/solver-2671073-1276717246 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671073-1276717246.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 18127 /proc/meminfo: memFree=1876464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=11456 CPUtime=0 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 13018174 11730944 283 1992294400 134512640 137138936 4287367728 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 2864 284 175 642 0 2090 0 [startup+0.0444601 s] /proc/loadavg: 1.00 1.00 1.00 3/105 18127 /proc/meminfo: memFree=1876464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=12276 CPUtime=0.04 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 622 0 0 0 4 0 0 0 25 0 1 0 13018174 12570624 540 1992294400 134512640 137138936 4287367728 18446744073709551615 136527872 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3069 541 231 642 0 2295 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12276 [startup+0.101464 s] /proc/loadavg: 1.00 1.00 1.00 3/105 18127 /proc/meminfo: memFree=1876464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=0.09 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1335 0 0 0 9 0 0 0 25 0 1 0 13018174 14716928 1123 1992294400 134512640 137138936 4287367728 18446744073709551615 134543261 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1123 184 642 0 2949 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14372 [startup+0.300483 s] /proc/loadavg: 1.00 1.00 1.00 3/105 18127 /proc/meminfo: memFree=1876464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=0.29 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1361 0 0 0 29 0 0 0 25 0 1 0 13018174 14716928 1149 1992294400 134512640 137138936 4287367728 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1149 184 642 0 2949 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14372 [startup+0.700522 s] /proc/loadavg: 1.00 1.00 1.00 3/105 18127 /proc/meminfo: memFree=1876464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=0.69 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1361 0 0 0 69 0 0 0 25 0 1 0 13018174 14716928 1149 1992294400 134512640 137138936 4287367728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1149 184 642 0 2949 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14372 [startup+1.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1872860/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=1.49 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1361 0 0 0 149 0 0 0 25 0 1 0 13018174 14716928 1149 1992294400 134512640 137138936 4287367728 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1149 184 642 0 2949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14372 [startup+3.10075 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1872736/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=3.09 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1361 0 0 0 308 1 0 0 25 0 1 0 13018174 14716928 1149 1992294400 134512640 137138936 4287367728 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1149 184 642 0 2949 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14372 [startup+6.30106 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1872488/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=14372 CPUtime=6.29 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 1361 0 0 0 628 1 0 0 25 0 1 0 13018174 14716928 1149 1992294400 134512640 137138936 4287367728 18446744073709551615 136297748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 3593 1149 184 642 0 2949 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14372 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1865924/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=22516 CPUtime=12.69 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 3735 0 0 0 1263 6 0 0 25 0 1 0 13018174 23056384 3197 1992294400 134512640 137138936 4287367728 18446744073709551615 134603178 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 5629 3197 192 642 0 4985 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22516 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1839016/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=48392 CPUtime=25.48 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 10194 0 0 0 2535 13 0 0 25 0 1 0 13018174 49553408 9656 1992294400 134512640 137138936 4287367728 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 12098 9656 192 642 0 11454 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48392 [startup+51.1004 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18128 /proc/meminfo: memFree=1798840/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=88684 CPUtime=51.08 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 20277 0 0 0 5084 24 0 0 25 0 1 0 13018174 90812416 19739 1992294400 134512640 137138936 4287367728 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 22171 19739 192 642 0 21527 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88684 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18130 /proc/meminfo: memFree=1744652/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=141944 CPUtime=102.27 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 33588 0 0 0 10182 45 0 0 25 0 1 0 13018174 145350656 33050 1992294400 134512640 137138936 4287367728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 35486 33050 192 642 0 34842 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 141944 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18132 /proc/meminfo: memFree=1698400/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=188400 CPUtime=162.25 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 45200 0 0 0 16163 62 0 0 25 0 1 0 13018174 192921600 44662 1992294400 134512640 137138936 4287367728 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 47100 44662 192 642 0 46456 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 188400 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18134 /proc/meminfo: memFree=1653636/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=232816 CPUtime=222.23 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 56305 0 0 0 22143 80 0 0 25 0 1 0 13018174 238403584 55767 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 58204 55767 192 642 0 57560 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 232816 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18134 /proc/meminfo: memFree=1615196/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=271688 CPUtime=282.22 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 66018 0 0 0 28126 96 0 0 25 0 1 0 13018174 278208512 65480 1992294400 134512640 137138936 4287367728 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 67922 65480 192 642 0 67278 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 271688 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18136 /proc/meminfo: memFree=1579236/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=307072 CPUtime=342.2 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 74865 0 0 0 34109 111 0 0 25 0 1 0 13018174 314441728 74327 1992294400 134512640 137138936 4287367728 18446744073709551615 134607612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 76768 74327 192 642 0 76124 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 307072 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18138 /proc/meminfo: memFree=1545880/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=340780 CPUtime=402.2 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 83306 0 0 0 40094 126 0 0 25 0 1 0 13018174 348958720 82768 1992294400 134512640 137138936 4287367728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 85195 82768 192 642 0 84551 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 340780 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18140 /proc/meminfo: memFree=1513144/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=373204 CPUtime=462.18 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 91393 0 0 0 46076 142 0 0 25 0 1 0 13018174 382160896 90855 1992294400 134512640 137138936 4287367728 18446744073709551615 134610714 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 93301 90855 192 642 0 92657 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 373204 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18142 /proc/meminfo: memFree=1479912/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=406632 CPUtime=522.16 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 99742 0 0 0 52062 154 0 0 25 0 1 0 13018174 416391168 99204 1992294400 134512640 137138936 4287367728 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 101658 99204 192 642 0 101014 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 406632 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18142 /proc/meminfo: memFree=1457468/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=428560 CPUtime=582.15 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 105237 0 0 0 58052 163 0 0 25 0 1 0 13018174 438845440 104699 1992294400 134512640 137138936 4287367728 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 107140 104699 192 642 0 106496 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 428560 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 18144 /proc/meminfo: memFree=1434032/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=451824 CPUtime=642.14 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 111048 0 0 0 64040 174 0 0 25 0 1 0 13018174 462667776 110510 1992294400 134512640 137138936 4287367728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 112956 110510 192 642 0 112312 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 451824 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1296764/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=588820 CPUtime=1062.03 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 145311 0 0 0 105974 229 0 0 25 0 1 0 13018174 602951680 144773 1992294400 134512640 137138936 4287367728 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 147205 144773 192 642 0 146561 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 588820 [startup+1122.3 s] /proc/loadavg: 1.06 1.02 1.00 2/106 18158 /proc/meminfo: memFree=1275684/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=609692 CPUtime=1122.01 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 150515 0 0 0 111964 237 0 0 25 0 1 0 13018174 624324608 149977 1992294400 134512640 137138936 4287367728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 152423 149977 192 642 0 151779 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 609692 [startup+1182.3 s] /proc/loadavg: 1.10 1.05 1.01 2/106 18158 /proc/meminfo: memFree=1256092/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=629336 CPUtime=1182 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 155441 0 0 0 117955 245 0 0 25 0 1 0 13018174 644440064 154903 1992294400 134512640 137138936 4287367728 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 157334 154903 192 642 0 156690 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 629336 [startup+1242.3 s] /proc/loadavg: 1.07 1.05 1.01 2/106 18169 /proc/meminfo: memFree=1236252/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=648584 CPUtime=1241.97 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 160238 0 0 0 123942 255 0 0 25 0 1 0 13018174 664150016 159700 1992294400 134512640 137138936 4287367728 18446744073709551615 134542793 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 162146 159700 192 642 0 161502 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 648584 [startup+1302.3 s] /proc/loadavg: 1.06 1.05 1.01 2/106 18171 /proc/meminfo: memFree=1218644/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=666052 CPUtime=1301.96 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 164604 0 0 0 129934 262 0 0 25 0 1 0 13018174 682037248 164066 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 166513 164066 192 642 0 165869 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 666052 [startup+1362.3 s] /proc/loadavg: 1.13 1.07 1.01 2/106 18173 /proc/meminfo: memFree=1205004/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=679680 CPUtime=1361.94 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 168014 0 0 0 135926 268 0 0 25 0 1 0 13018174 695992320 167476 1992294400 134512640 137138936 4287367728 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 169920 167476 192 642 0 169276 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 679680 [startup+1422.31 s] /proc/loadavg: 1.08 1.07 1.01 2/106 18175 /proc/meminfo: memFree=1190248/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=694412 CPUtime=1421.93 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 171702 0 0 0 141919 274 0 0 25 0 1 0 13018174 711077888 171164 1992294400 134512640 137138936 4287367728 18446744073709551615 136296985 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 173603 171164 192 642 0 172959 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 694412 [startup+1482.3 s] /proc/loadavg: 1.03 1.05 1.00 2/106 18175 /proc/meminfo: memFree=1175616/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=709132 CPUtime=1481.91 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 175380 0 0 0 147910 281 0 0 25 0 1 0 13018174 726151168 174842 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 177283 174842 192 642 0 176639 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 709132 [startup+1542.3 s] /proc/loadavg: 1.01 1.04 1.00 2/106 18177 /proc/meminfo: memFree=1161480/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=723212 CPUtime=1541.9 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 178904 0 0 0 153903 287 0 0 25 0 1 0 13018174 740569088 178366 1992294400 134512640 137138936 4287367728 18446744073709551615 134552064 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 180803 178366 192 642 0 180159 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 723212 [startup+1602.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 18179 /proc/meminfo: memFree=1147468/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=737212 CPUtime=1601.88 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 182410 0 0 0 159896 292 0 0 25 0 1 0 13018174 754905088 181872 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 184303 181872 192 642 0 183659 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 737212 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 18181 /proc/meminfo: memFree=1132588/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=752076 CPUtime=1661.86 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 186119 0 0 0 165888 298 0 0 25 0 1 0 13018174 770125824 185581 1992294400 134512640 137138936 4287367728 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 188019 185581 192 642 0 187375 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 752076 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 18183 /proc/meminfo: memFree=1118948/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=765772 CPUtime=1721.85 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 189535 0 0 0 171880 305 0 0 25 0 1 0 13018174 784150528 188997 1992294400 134512640 137138936 4287367728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 191443 188997 192 642 0 190799 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 765772 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18183 /proc/meminfo: memFree=1104688/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=779656 CPUtime=1781.84 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193010 0 0 0 177872 312 0 0 25 0 1 0 13018174 798367744 192472 1992294400 134512640 137138936 4287367728 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 194914 192472 192 642 0 194270 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 779656 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18183 /proc/meminfo: memFree=1102208/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=781928 CPUtime=1791.44 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193591 0 0 0 178831 313 0 0 25 0 1 0 13018174 800694272 193053 1992294400 134512640 137138936 4287367728 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 195482 193053 192 642 0 194838 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (KiB) 781928 [startup+1795.1 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18185 /proc/meminfo: memFree=1101464/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=782692 CPUtime=1794.64 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193781 0 0 0 179151 313 0 0 25 0 1 0 13018174 801476608 193243 1992294400 134512640 137138936 4287367728 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 195673 193243 192 642 0 195029 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 782692 [startup+1796.7 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18185 /proc/meminfo: memFree=1101092/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=783092 CPUtime=1796.23 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193871 0 0 0 179310 313 0 0 25 0 1 0 13018174 801886208 193333 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 195773 193333 192 642 0 195129 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 783092 [startup+1797.5 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18185 /proc/meminfo: memFree=1100968/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=783276 CPUtime=1797.03 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193916 0 0 0 179390 313 0 0 25 0 1 0 13018174 802074624 193378 1992294400 134512640 137138936 4287367728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 195819 193378 192 642 0 195175 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 783276 [startup+1798.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18185 /proc/meminfo: memFree=1100968/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=783404 CPUtime=1797.84 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202496 193961 0 0 0 179470 314 0 0 25 0 1 0 13018174 802205696 193423 1992294400 134512640 137138936 4287367728 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18127/statm: 195851 193423 192 642 0 195207 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 783404 [startup+1798.51 s] /proc/loadavg: 1.00 1.01 1.00 2/106 18185 /proc/meminfo: memFree=1100720/2059040 swapFree=4140136/4192956 [pid=18127] ppid=18125 vsize=0 CPUtime=1798.04 /proc/18127/stat : 18127 (bsolo_pb10) R 18125 18127 17906 0 -1 4202500 193967 0 0 0 179487 317 0 0 25 0 1 0 13018174 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18127/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.54 CPU time (s): 1798.08 CPU user time (s): 1794.87 CPU system time (s): 3.21151 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (KiB): 783404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.87 system time used= 3.21151 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 193967 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= 1 involuntary context switches= 1706 runsolver used 2.76658 second user time and 8.69668 second system time The end
Begin job on node089 at 2010-06-16 21:40:46 IDJOB=2671073 IDBENCH=48253 IDSOLVER=1162 FILE ID=node089/2671073-1276717246 PBS_JOBID= 11174172 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671073-1276717246/watcher-2671073-1276717246 -o /tmp/evaluation-result-2671073-1276717246/solver-2671073-1276717246 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671073-1276717246.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b1b77cfc7c7e45b216596a736ff4b926 RANDOM SEED=1923503953 node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1877736 kB Buffers: 22892 kB Cached: 84088 kB SwapCached: 5632 kB Active: 85748 kB Inactive: 33860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1877736 kB SwapTotal: 4192956 kB SwapFree: 4140136 kB Dirty: 4144 kB Writeback: 0 kB AnonPages: 11244 kB Mapped: 12916 kB Slab: 39984 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181520 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671073-1276717246.opb Free space on /tmp at the end= 62552 MiB End job on node089 at 2010-06-16 22:10:45