Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB09: bsolo 3.1 | SAT | -24 | 1798.01 | 1798.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
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 | -33 |
Best CPU time to get the best result obtained on this benchmark | 1796.84 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
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) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3737443-1338734196.opb 0.00/0.00 c File size is 530657 bytes. 0.02/0.04 c Highest Coefficient sum: 400 0.02/0.04 c Parsing was ok!! 0.02/0.04 c Total parsing time: 0.041 s 0.02/0.04 c Var: 6604 Constr: 13010 6404/402/6204 Lit: 50832 Watch. Lit: 44230 0.02/0.04 c Obj. Vars: 200 (3.02847 % of total variables) 4.19/4.26 c Pre-processing Time: 4.259 s 4.19/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.26 c 0 6604 13010 50832 3 44230 168265 0 0 4.26 4.19/4.26 c Switching off lower bounding mode. 4.19/4.26 o -1 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 0 6604 13011 51032 3 44233 168398 1 0 4.26 4.19/4.27 o -2 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 1 6604 13014 51632 3 44242 168465 4 0 4.27 4.19/4.27 o -3 4.19/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.28 c 2 6604 13017 52266 4 44253 168531 7 0 4.28 4.19/4.28 o -4 4.19/4.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.28 c 4 6604 13021 52903 4 44268 168598 11 0 4.28 4.19/4.28 o -5 4.19/4.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.29 c 7 6604 13026 53970 4 44287 168665 16 1 4.29 4.19/4.29 o -6 4.19/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.30 c 15 6604 13036 55241 4 44318 168731 26 3 4.29 4.19/4.30 o -7 4.29/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.31 c 23 6604 13046 57299 4 44351 168798 36 5 4.30 4.29/4.31 o -8 4.29/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.31 c 31 6604 13056 59158 4 44386 168865 46 7 4.31 4.29/4.31 o -9 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 44 6604 13071 59893 4 44433 168931 61 10 4.32 4.29/4.32 o -10 4.29/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.33 c 52 6604 13081 61553 4 44472 168998 71 12 4.32 4.29/4.33 o -11 4.29/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.33 c 67 6604 13098 63265 4 44527 169065 88 15 4.33 4.29/4.33 o -12 4.29/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.34 c 76 6604 13109 64954 4 44572 169131 99 17 4.34 4.29/4.34 o -13 4.29/4.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.35 c 108 6604 13143 68559 5 44665 169198 133 24 4.35 4.29/4.35 o -14 4.29/4.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.36 c 142 6604 13179 69394 5 44764 169265 169 32 4.36 4.29/4.36 o -15 4.69/4.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.71 c 161 6604 13200 70195 5 44835 169265 190 36 4.37 4.69/4.71 c 261 6604 13300 76594 5 45035 186192 290 57 4.52 4.69/4.71 o -18 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 443 6604 13483 101890 7 45419 169265 473 93 4.71 4.79/4.81 o -19 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 514 6604 13556 114461 8 45602 169265 546 108 4.74 4.79/4.81 o -20 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 524 6604 13568 116314 8 45665 169265 558 110 4.75 4.79/4.81 o -21 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 548 6604 13594 119445 8 45758 169265 584 115 4.76 4.79/4.81 o -22 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 572 6604 13620 123804 9 45853 169265 610 119 4.77 4.79/4.81 o -23 928.84/929.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 928.84/929.00 c 584 6604 13634 124782 9 45926 169265 624 122 4.78 928.84/929.00 c 684 6604 13735 126024 9 46151 186192 725 142 4.79 928.84/929.00 c 934 6604 14003 165601 11 46687 204812 993 189 4.94 928.84/929.00 c 1409 6604 14493 256873 17 47667 225294 1483 271 5.19 928.84/929.00 c 2222 6604 15307 403613 26 49295 247824 2297 395 5.62 928.84/929.00 c 3542 6604 16638 557655 33 51960 272607 3628 589 6.01 928.84/929.00 c 5623 6604 18770 954855 50 56274 299868 5760 820 6.85 928.84/929.00 c 8846 6604 22081 1639121 74 62978 329855 9071 1060 8.34 928.84/929.00 c 13782 6604 27188 2757148 101 73565 362841 14178 1263 10.90 928.84/929.00 c 21288 6604 34985 4464402 127 89464 399126 21975 1369 15.54 928.84/929.00 c 32649 6604 46855 7152655 152 113708 439039 33845 1343 24.31 928.84/929.00 c 49793 6604 64737 11319328 174 149848 482943 51727 1140 43.67 928.84/929.00 c 75612 6604 91855 17646552 192 204917 531238 78845 987 76.53 928.84/929.00 c 114445 6604 132537 27225254 205 287562 584362 119527 750 152.50 928.84/929.00 c 172797 6604 194021 42055246 216 412087 642799 181011 607 284.39 928.84/929.00 c 260430 6604 285700 63137140 220 596552 707079 272690 406 639.96 928.84/929.00 o -24 1797.96/1798.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.96/1798.63 c 324931 6604 353244 78611188 222 733075 169265 340234 349 928.86 1797.96/1798.63 c 325031 6604 27949 3270917 117 74366 186192 14939 283 1145.29 1797.96/1798.63 c 325281 6604 28204 3300675 117 74907 204812 15194 283 1145.46 1797.96/1798.63 c 325756 6604 28689 3382524 117 75901 225294 15679 284 1145.77 1797.96/1798.63 c 326569 6604 29511 3532019 119 77567 247824 16501 284 1146.29 1797.96/1798.63 c 327889 6604 30869 3810412 123 80308 272607 17859 285 1147.11 1797.96/1798.63 c 329970 6604 32997 4231834 128 84574 299868 19987 287 1148.31 1797.96/1798.63 c 333193 6604 36330 4934985 135 91364 329855 23320 289 1150.19 1797.96/1798.63 c 338130 6604 41549 6141184 147 101924 362841 28539 293 1153.43 1797.96/1798.63 c 345636 6604 49300 7808533 158 117470 399126 36290 298 1159.41 1797.96/1798.63 c 356997 6604 61115 10438213 170 141587 439039 48105 305 1169.85 1797.96/1798.63 c 374141 6604 78929 14495804 183 177608 482943 65919 314 1190.21 1797.96/1798.63 c 399960 6604 105954 20590103 194 231910 531238 92944 324 1231.35 1797.96/1798.63 c 438793 6604 146545 30000146 204 313759 584362 133535 335 1308.30 1797.96/1798.63 c 497145 6604 207698 44096461 212 437135 642799 194688 340 1458.88 1797.96/1798.63 c 584778 6604 299805 64568764 215 622386 707079 286795 327 1784.59 1797.96/1798.63 c Resources Exceeded 1797.96/1798.63 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 -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.96/1798.63 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.96/1798.63 c 53 587918 207083 1077375 303082 65237240 290072 326 1798.01 1797.96/1798.63 c Objective: -24 1797.96/1798.63 s SATISFIABLE 1797.96/1798.63 c Total time: 1798.01 s
OK -24
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737443-1338734196/watcher-3737443-1338734196 -o /tmp/evaluation-result-3737443-1338734196/solver-3737443-1338734196 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737443-1338734196.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16684 /proc/meminfo: memFree=27503136/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=11592 CPUtime=0 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 339544451 11870208 309 33554432000 134512640 137136520 4287345168 4287343520 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 2898 309 183 641 0 2124 0 [startup+0.026512 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16684 /proc/meminfo: memFree=27503136/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=12404 CPUtime=0.02 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 628 0 0 0 2 0 0 0 20 0 1 0 339544451 12701696 581 33554432000 134512640 137136520 4287345168 4287341924 136491873 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3101 582 243 641 0 2327 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12404 [startup+0.100211 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16684 /proc/meminfo: memFree=27503136/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=14352 CPUtime=0.09 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 1325 0 0 0 9 0 0 0 20 0 1 0 339544451 14696448 1148 33554432000 134512640 137136520 4287345168 4287264216 136502847 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3588 1148 189 641 0 2944 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14352 [startup+0.300182 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16684 /proc/meminfo: memFree=27503136/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=14352 CPUtime=0.29 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 1325 0 0 0 29 0 0 0 20 0 1 0 339544451 14696448 1148 33554432000 134512640 137136520 4287345168 4287264620 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3588 1148 189 641 0 2944 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14352 [startup+0.70018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16684 /proc/meminfo: memFree=27503136/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=14352 CPUtime=0.69 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 1325 0 0 0 69 0 0 0 20 0 1 0 339544451 14696448 1148 33554432000 134512640 137136520 4287345168 4287264652 136294896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3588 1148 189 641 0 2944 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14352 [startup+1.50018 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27495720/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=14352 CPUtime=1.49 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 1325 0 0 0 149 0 0 0 20 0 1 0 339544451 14696448 1148 33554432000 134512640 137136520 4287345168 4287264432 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3588 1148 189 641 0 2944 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14352 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27492968/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=14352 CPUtime=3.09 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 1325 0 0 0 309 0 0 0 20 0 1 0 339544451 14696448 1148 33554432000 134512640 137136520 4287345168 4287264656 134563066 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/16684/statm: 3588 1148 189 641 0 2944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14352 [startup+6.30022 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27480056/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=23368 CPUtime=6.29 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 3921 0 0 0 626 3 0 0 20 0 1 0 339544451 23928832 3419 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 5842 3419 198 641 0 5198 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23368 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27423568/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=59644 CPUtime=12.68 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 12983 0 0 0 1263 5 0 0 20 0 1 0 339544451 61075456 12481 33554432000 134512640 137136520 4287345168 4287343448 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 14911 12481 198 641 0 14267 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59644 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27331420/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=111812 CPUtime=25.49 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 26027 0 0 0 2539 10 0 0 20 0 1 0 339544451 114495488 25525 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 27953 25525 198 641 0 27309 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 111812 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=27188152/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=184204 CPUtime=51.08 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 44113 0 0 0 5090 18 0 0 20 0 1 0 339544451 188624896 43611 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 46051 43611 198 641 0 45407 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 184204 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=26939576/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=289304 CPUtime=102.28 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 70390 0 0 0 10196 32 0 0 20 0 1 0 339544451 296247296 69888 33554432000 134512640 137136520 4287345168 4287344064 134544357 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 72326 69888 198 641 0 71682 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 289304 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16685 /proc/meminfo: memFree=26672756/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=390460 CPUtime=162.26 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 95677 0 0 0 16181 45 0 0 20 0 1 0 339544451 399831040 95175 33554432000 134512640 137136520 4287345168 4287344096 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 97615 95175 198 641 0 96971 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 390460 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16688 /proc/meminfo: memFree=26417840/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=482948 CPUtime=222.25 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 118803 0 0 0 22169 56 0 0 20 0 1 0 339544451 494538752 118301 33554432000 134512640 137136520 4287345168 4287344096 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 120737 118301 198 641 0 120093 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 482948 [startup+282.3 s] /proc/loadavg: 2.06 2.01 2.00 3/179 16689 /proc/meminfo: memFree=26183012/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=566628 CPUtime=282.25 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 139706 0 0 0 28156 69 0 0 20 0 1 0 339544451 580227072 139204 33554432000 134512640 137136520 4287345168 4287343936 134571152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 141657 139204 198 641 0 141013 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 566628 [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 16689 /proc/meminfo: memFree=25968892/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=623260 CPUtime=342.24 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 153896 0 0 0 34147 77 0 0 20 0 1 0 339544451 638218240 153394 33554432000 134512640 137136520 4287345168 4287344096 134544714 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 155815 153394 198 641 0 155171 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 623260 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16689 /proc/meminfo: memFree=25759236/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=680040 CPUtime=402.23 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 168078 0 0 0 40136 87 0 0 20 0 1 0 339544451 696360960 167576 33554432000 134512640 137136520 4287345168 4287344096 134544714 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 170010 167576 198 641 0 169366 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 680040 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16689 /proc/meminfo: memFree=25558508/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=725140 CPUtime=462.22 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 179347 0 0 0 46126 96 0 0 20 0 1 0 339544451 742543360 178845 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 181285 178845 198 641 0 180641 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 725140 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 16689 /proc/meminfo: memFree=25381596/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=763580 CPUtime=522.21 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 188960 0 0 0 52119 102 0 0 20 0 1 0 339544451 781905920 188458 33554432000 134512640 137136520 4287345168 4287344064 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 190895 188458 198 641 0 190251 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 763580 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16691 /proc/meminfo: memFree=25185820/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=806172 CPUtime=582.2 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 199622 0 0 0 58113 107 0 0 20 0 1 0 339544451 825520128 199120 33554432000 134512640 137136520 4287345168 4287344096 134544129 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 201543 199120 198 641 0 200899 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 806172 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=15145292/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1122.11 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261525 0 0 0 112065 146 0 0 20 0 1 0 339544451 1077768192 260690 33554432000 134512640 137136520 4287345168 4287344208 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260690 198 641 0 262483 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 1052508 [startup+1182.3 s] /proc/loadavg: 4.55 3.34 2.52 3/180 16749 /proc/meminfo: memFree=27934628/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1182.07 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261565 0 0 0 118053 154 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287343808 134606783 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1182.07 Current children cumulated vsize (KiB) 1052508 [startup+1242.3 s] /proc/loadavg: 2.93 3.10 2.49 3/179 16749 /proc/meminfo: memFree=27832192/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1242.04 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261606 0 0 0 124044 160 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 1052508 [startup+1302.3 s] /proc/loadavg: 2.34 2.89 2.45 3/179 16749 /proc/meminfo: memFree=27750876/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1302 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261648 0 0 0 130035 165 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1302 Current children cumulated vsize (KiB) 1052508 [startup+1362.3 s] /proc/loadavg: 2.12 2.73 2.42 3/179 16749 /proc/meminfo: memFree=27685308/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1361.96 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261690 0 0 0 136026 170 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344064 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1052508 [startup+1422.31 s] /proc/loadavg: 2.04 2.59 2.39 3/180 16752 /proc/meminfo: memFree=27636224/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1421.93 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261737 0 0 0 142019 174 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287343760 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1052508 [startup+1482.3 s] /proc/loadavg: 2.01 2.48 2.36 3/180 16775 /proc/meminfo: memFree=27584908/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1481.88 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261782 0 0 0 148010 178 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344096 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1052508 [startup+1542.3 s] /proc/loadavg: 2.00 2.39 2.34 3/179 16775 /proc/meminfo: memFree=27549116/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1541.83 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261828 0 0 0 154000 183 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344096 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1052508 [startup+1602.3 s] /proc/loadavg: 2.00 2.32 2.32 3/179 16775 /proc/meminfo: memFree=27510084/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1601.79 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261875 0 0 0 159992 187 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344096 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1052508 [startup+1662.3 s] /proc/loadavg: 2.00 2.26 2.29 3/179 16775 /proc/meminfo: memFree=27470308/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1661.75 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261920 0 0 0 165985 190 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344096 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1052508 [startup+1722.3 s] /proc/loadavg: 2.00 2.21 2.27 3/179 16775 /proc/meminfo: memFree=27439460/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1721.7 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 261968 0 0 0 171976 194 0 0 20 0 1 0 339544451 1077768192 260702 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260702 198 641 0 262483 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1052508 [startup+1782.3 s] /proc/loadavg: 2.00 2.17 2.25 3/179 16776 /proc/meminfo: memFree=27410060/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1781.66 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 177969 197 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1052508 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27406448/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1791.28 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 178930 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 1052508 [startup+1795.1 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27404712/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1794.48 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179250 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 1052508 [startup+1796.7 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27404216/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1796.07 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179409 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287343880 136502025 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1796.07 Current children cumulated vsize (KiB) 1052508 [startup+1797.5 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27403828/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1796.87 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179489 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344284 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1796.87 Current children cumulated vsize (KiB) 1052508 [startup+1798.3 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27403828/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1797.66 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179568 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (KiB) 1052508 [startup+1798.51 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27403704/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1797.87 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179589 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 1052508 [startup+1798.6 s] /proc/loadavg: 2.00 2.16 2.25 3/179 16776 /proc/meminfo: memFree=27403704/32873844 swapFree=7620/7620 [pid=16684] ppid=16682 vsize=1052508 CPUtime=1797.96 cores=0,2,4,6 /proc/16684/stat : 16684 (bsolo) R 16682 16684 13121 0 -1 4202496 262004 0 0 0 179598 198 0 0 20 0 1 0 339544451 1077768192 260711 33554432000 134512640 137136520 4287345168 4287344096 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/16684/statm: 263127 260711 198 641 0 262483 0 Current children cumulated CPU time (s) 1797.96 Current children cumulated vsize (KiB) 1052508 Child status: 0 Real time (s): 1798.63 CPU time (s): 1798.01 CPU user time (s): 1796.02 CPU system time (s): 1.9907 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (KiB): 1053840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.02 system time used= 1.9907 maximum resident set size= 1044092 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262006 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= 480 involuntary context switches= 1877 runsolver used 2.6226 second user time and 7.19591 second system time The end
Begin job on node135 at 2012-06-03 16:36:36 IDJOB=3737443 IDBENCH=48239 IDSOLVER=2320 FILE ID=node135/3737443-1338734196 RUNJOBID= node135-1338712994-13137 PBS_JOBID= 14636721 Free space on /tmp= 70972 MiB SOLVER NAME= PB09: bsolo 3.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737443-1338734196/watcher-3737443-1338734196 -o /tmp/evaluation-result-3737443-1338734196/solver-3737443-1338734196 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737443-1338734196.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED=965810658 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5238.35 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 27504804 kB Buffers: 365568 kB Cached: 2508928 kB SwapCached: 1672 kB Active: 2813568 kB Inactive: 1707936 kB Active(anon): 1636924 kB Inactive(anon): 12036 kB Active(file): 1176644 kB Inactive(file): 1695900 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67105800 kB Dirty: 3900 kB Writeback: 0 kB AnonPages: 1673092 kB Mapped: 11232 kB Shmem: 132 kB Slab: 701900 kB SReclaimable: 143836 kB SUnreclaim: 558064 kB KernelStack: 1488 kB PageTables: 7252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 1770624 kB VmallocTotal: 34359738367 kB VmallocUsed: 346376 kB VmallocChunk: 34341987860 kB HardwareCorrupted: 0 kB AnonHugePages: 622592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737443-1338734196.opb Free space on /tmp at the end= 70972 MiB End job on node135 at 2012-06-03 17:06:35