0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3736172-1338708793.opb
0.00/0.00	c File size is 600996 bytes.
0.00/0.05	c Highest Coefficient sum: 537
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.049 s
0.00/0.05	c Var: 5060 Constr: 20188 20188/0/0 Lit: 52088 Watch. Lit: 40347
0.00/0.05	c Obj. Vars: 537 (10.6126 % of total variables)
0.19/0.25	c Formula reductions applied at preprocessing
0.19/0.25	c Pre-processing Time: 0.247 s
4.40/4.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.49	c        0   5021    20149    52035    2    40298    6716      0      0 0.25
4.40/4.49	c Initial Lower Bound: 35
4.40/4.49	c Initial Path Cost: 29
4.49/4.50	o 39	4.498
13.39/13.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.39/13.49	c        2   5021    20152    52581    2    40794    7716      3      0 4.50
13.39/13.49	o 35	13.489 * 
18.49/18.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.56	c        2   5021    20153    53081    2    41290    7716      4      0 13.49
18.49/18.56	v x1 x2 x3 x4 x5 x6 x9 x10 x11 x12 x13 x31 x39 x40 x47 x70 x92 x93 x96 x97 x98 x114 x330 x434 x435 x475 x476 x525 x526 x527 -x528 -x529 -x530 -x532 x535 x537 -x538 -x540 -x544 x549 -x550 -x552 -x562 -x564 -x567 -x572 -x575 -x577 -x579 -x581 -x584 -x586 -x589 -x591 -x592 -x594 -x596 -x598 -x601 -x604 -x606 -x607 -x609 -x611 -x613 -x624 -x635 -x637 -x638 x639 -x641 -x645 -x648 -x650 -x653 -x655 -x658 -x660 -x663 -x666 -x669 -x672 -x674 -x675 -x677 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x695 -x705 -x708 -x710 -x712 -x715 -x719 -x731 -x741 -x745 -x747 -x752 -x755 -x767 -x771 -x773 -x774 -x776 -x779 -x780 -x782 -x789 -x793 -x803 -x808 -x811 -x814 -x821 -x829 -x832 -x835 -x837 -x839 -x841 -x842 -x843 -x845 -x852 -x853 -x855 -x859 -x867 -x871 -x874 -x876 -x878 -x903 -x926 -x927 -x928 -x930 -x981 -x982 -x984 -x1005 -x1052 -x1061 -x1082 -x1108 -x1109 -x1111 -x1152 -x1198 -x1200 -x1202 -x1204 -x1207 -x1219 -x1228 -x1250 -x1272 -x1275 -x1282 -x1292 -x1294 -x1300 -x1305 -x1308 -x1314 -x1317 -x1319 -x1325 -x1334 -x1337 -x1385 -x1391 -x1400 -x1402 -x1406 -x1408 -x1430 -x1435 -x1437 -x1482 -x1484 -x1508 -x1532 x1581 -x1583 -x1587 -x1589 -x1591 -x1593 -x1594 -x1596 -x1646 -x1652 -x1654 -x1661 -x1668 -x1671 -x1677 -x1700 -x1725 -x1727 -x1729 -x1735 -x1737 -x1756 -x1762 -x1813 -x1815 -x1818 -x1822 -x1829 -x1831 -x1834 -x1853 -x1861 -x1863 -x1865 -x1882 -x1884 -x1886 -x1889 -x1907 -x1909 -x1912 -x1921 -x1940 -x1942 -x1983 -x1986 -x1994 -x1997 -x2006 -x2057 -x2075 -x2125 -x2127 -x2129 -x2152 -x2203 -x2205 -x2218 -x2219 -x2220 -x2222 -x2239 -x2240 -x2242 -x2257 -x2259 -x2270 -x2272 -x2320 -x2327 -x2335 -x2344 -x2347 -x2353 -x2358 -x2399 -x2401 -x2422 -x2428 -x2431 -x2436 -x2438 -x2440 -x2446 -x2448 -x2473 -x2491 -x2506 -x2524 -x2526 -x2558 -x2590 -x2697 -x2739 -x2742 -x2757 -x2774 -x2794 -x2810 -x2812 -x2815 -x2818 -x2823 -x2838 -x2840 -x2844 -x2860 -x2969 -x3013 -x3014 -x3016 -x3062 -x3084 -x3086 -x3138 -x3142 -x3147 -x3149 -x3165 -x3173 -x3176 -x3178 -x3195 -x3198 -x3201 -x3217 -x3226 -x3229 -x3231 -x3272 -x3283 -x3285 -x3286 -x3288 -x3294 -x3306 -x3313 -x3316 -x3419 -x3431 -x3432 -x3434 -x3437 -x3454 -x3489 -x3495 -x3507 -x3513 -x3527 -x3540 -x3543 -x3544 -x3546 -x3553 -x3558 -x3571 -x3574 -x3593 -x3597 -x3606 -x3623 -x3637 -x3639 -x3641 -x3644 -x3649 -x3651 -x3652 -x3654 -x3675 -x3677 -x3679 -x3681 -x3689 -x3692 -x3697 -x3704 -x3710 -x3713 -x3727 -x3759 -x3762 -x3765 -x3770 -x3773 -x3783 -x3785 -x3787 -x3789 -x3792 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3842 -x3857 -x3859 -x3896 -x3933 -x3935 -x3938 -x3940 -x3943 -x3964 -x3974 -x3976 -x3989 -x4000 -x4010 -x4013 -x4016 -x4023 -x4059 -x4067 -x4069 -x4071 -x4077 -x4083 -x4087 -x4090 -x4131 -x4140 -x4143 -x4144 -x4146 -x4153 -x4159 -x4162 -x4165 -x4169 -x4172 -x4175 -x4178 -x4180 -x4183 -x4186 -x4187 -x4189 -x4206 -x4211 -x4213 -x4229 -x4230 -x4232 -x4238 -x4240 -x4264 -x4276 -x4296 -x4298 -x4301 -x4303 -x4307 -x4319 -x4321 -x4338 -x4357 -x4358 -x4360 -x4363 -x4365 -x4368 -x4372 -x4375 -x4378 -x4420 -x4437 -x4439 -x4441 -x4444 -x4493 -x4543 -x4561 -x4563 -x4565 -x4584 -x4586 -x4591 -x4593 -x4596 -x4601 -x4602 -x4604 -x4608 -x4652 -x4656 -x4658 -x4664 -x4672 -x4674 -x4680 -x4682 -x4687 -x4690 -x4696 -x4713 -x4725 -x4731 -x4753 -x4759 -x4803 -x4806 -x4811 -x4814 -x4861 -x4863 -x4865 -x4867 -x4870 -x4888 -x4890 -x4893 -x4897 -x4900 -x4903 -x4904 -x4905 -x4907 -x4926 -x4929 -x4932 -x4947 -x4949 -x4953 -x4955 -x4957 -x4959 -x4963 -x4973 -x4974 -x4976 -x4981 -x4984 -x4987 -x4990 -x5004 -x5007 -x5010 -x5013 -x5022 -x5037 -x5050 -x5052 -x5055 -x5059 -x531 -x7 x534 -x8 -x539 -x14 -x15 -x551 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x603 -x26 -x612 -x623 -x27 -x28 -x29 -x30 -x32 -x33 -x654 -x34 -x593 -x35 -x662 -x36 -x37 -x38 -x671 -x665 -x41 -x42 x43 -x679 -x44 -x45 -x580 -x46 -x683 -x48 -x49 -x50 -x694 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x718 -x730 -x59 -x60 -x61 -x62 -x63 -x746 -x64 -x754 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x781 -x597 -x79 -x792 -x80 -x802 -x775 -x81 -x807 -x82 -x83 -x813 -x84 -x820 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x834 -x94 -x95 -x576 x99 -x100 -x101 -x102 -x103 -x844 -x104 -x105 -x106 -x858 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x929 -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 -x1390 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x1582 -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 -x201 -x202 -x2151 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x2271 -x2319 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x2447 -x227 -x228 -x229 -x230 -x231 -x2589 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x2859 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x788 -x255 -x256 -x3172 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x3315 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x3573 -x287 -x3596 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x3680 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x766 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x3988 -x328 -x329 -x331 -x332 -x4022 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x4089 -x340 -x341 -x4139 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x4182 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x4239 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x4302 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x2811 -x1660 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x4377 -x390 -x391 -x392 -x4443 -x4492 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x1507 -x403 -x404 -x405 -x4607 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x4689 -x416 -x417 -x418 -x419 -x420 -x421 -x4758 -x422 -x423 -x424 -x425 -x426 -x427 -x4813 -x428 -x429 -x430 -x4866 -x431 -x432 -x433 -x436 -x873 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x4906 -x453 -x454 -x4931 -x455 -x456 -x457 -x458 -x459 -x460 -x2124 -x461 -x608 -x462 -x463 -x464 -x4962 -x465 -x466 -x4595 -x467 -x468 -x4066 -x469 -x470 -x471 -x472 -x473 -x474 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x4989 -x484 -x485 -x486 -x487 -x488 -x4603 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x5012 -x496 -x497 -x5021 -x498 -x1993 -x499 -x500 -x501 -x1249 -x502 -x503 -x504 -x5036 -x505 -x4542 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x533 x536 -x541 -x542 -x588 -x585 -x543 -x545 -x546 -x547 -x548 -x553 -x566 -x644 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x563 x565 x568 -x569 -x570 -x571 -x573 -x574 -x578 x582 -x583 -x587 -x590 x595 x599 -x600 x602 x605 -x610 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x640 x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 x636 -x642 -x643 -x646 -x647 -x649 x651 x652 x656 -x659 -x668 -x657 x661 x664 x667 x670 x673 -x676 x678 x681 x685 -x687 -x689 -x691 -x693 x696 -x697 -x698 -x699 -x700 -x701 -x740 -x702 -x703 -x704 -x706 -x707 -x709 -x711 x713 -x714 x716 -x717 -x720 -x751 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x732 -x733 -x734 -x770 -x735 -x736 -x737 -x738 -x739 -x742 -x743 -x744 -x748 -x749 -x750 -x753 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x768 -x769 -x772 x777 -x778 x783 -x784 -x785 -x786 -x787 x790 -x791 -x831 -x794 -x795 -x796 -x797 -x798 -x828 -x799 -x800 -x801 x804 -x805 x806 -x810 -x809 x812 x815 -x816 -x817 -x818 -x819 x822 -x823 -x824 -x825 -x826 -x827 x830 x833 -x836 -x838 -x840 x846 -x854 -x847 -x870 -x848 -x849 -x850 -x851 -x856 -x857 -x860 -x861 -x862 -x866 -x863 -x864 -x865 -x868 -x869 x872 -x875 -x3640 -x877 -x879 -x2435 -x880 -x1281 -x1051 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x1304 -x889 -x890 -x891 -x892 -x893 -x1206 -x894 -x895 -x896 -x3539 -x897 -x1274 -x3761 -x898 -x899 -x900 -x901 -x902 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x3696 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x3934 -x924 -x925 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x3200 -x940 -x941 -x942 -x943 -x944 -x945 -x3177 -x946 -x1920 -x947 -x2221 -x948 -x949 -x3764 -x950 -x951 -x952 -x953 -x954 -x955 -x1060 -x956 -x957 -x958 -x959 -x960 -x1199 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x983 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x3506 -x997 -x998 -x1985 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x3418 -x1016 -x1017 -x1982 -x1018 -x2241 -x1728 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x3772 -x1041 -x1042 -x1043 -x1044 -x1888 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x2738 -x1203 -x1586 -x1059 -x1814 x1062 -x1063 -x1064 -x1065 -x1324 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1755 -x3648 -x1218 -x1091 -x3691 -x1092 -x1093 -x1094 -x1095 -x3592 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1821 -x1105 -x1106 -x1107 -x1110 -x1112 -x1113 -x3512 -x1114 -x1115 -x1116 -x1117 -x1118 -x1881 -x1119 -x1120 -x1121 -x1122 -x1123 -x2421 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x2756 -x1137 -x1138 -x1139 -x1140 -x1830 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1153 -x1154 -x1155 -x1156 -x2204 -x2490 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x2258 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x3197 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1201 x1205 x1208 x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1860 -x1215 -x2839 -x1216 -x1217 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x2427 -x1227 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1318 -x1235 -x1236 -x1237 -x1238 -x1239 -x1996 -x1240 -x1241 -x1242 -x1243 -x2346 -x1244 -x1245 -x1246 -x1247 -x1293 -x1248 -x3488 x1251 -x1252 -x1253 -x1254 -x3552 -x1255 -x1256 -x1257 -x1258 -x3769 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x3164 -x1269 -x1270 -x1271 -x1273 -x1590 x1276 -x1277 -x1278 -x3312 -x1279 -x1280 -x2343 x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1295 -x3676 -x1667 -x1296 -x2814 -x1297 -x1298 -x1299 -x1301 -x1302 -x1724 -x1303 x1306 -x1307 x1309 -x1310 -x1311 -x3788 -x1312 -x1313 x1315 -x3282 -x1316 x1320 -x1321 -x3194 -x1322 -x1323 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1335 -x1336 x1338 -x1339 -x1340 -x1341 -x1342 -x3688 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x2741 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x3436 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1386 -x1387 -x3709 -x1388 -x1389 x1392 -x1393 -x1394 -x1395 -x3939 -x1396 -x1397 -x1398 -x1399 -x1401 -x1403 -x1404 -x1405 -x1407 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x3791 -x1424 -x1425 x1426 -x1427 -x1428 -x1429 -x1431 -x1432 -x1885 -x1433 -x1434 -x3570 -x1436 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x3305 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x3605 -x1457 -x1458 -x3271 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x3494 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x3216 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x3545 -x1500 -x2326 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1653 -x2056 -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 -x3148 -x1574 -x1575 -x1576 -x3526 -x2793 -x1577 -x1578 -x1579 -x1580 -x1584 -x3784 -x1585 x1588 x1592 -x1595 -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 -x3712 -x1627 -x1628 -x1629 -x1864 -x1630 -x1631 -x3975 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1647 -x3758 -x1648 -x1649 -x1650 -x1651 -x1655 -x1656 -x1657 -x1658 -x1659 -x1662 -x1663 -x1664 -x1665 -x1666 -x1669 -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x2334 -x1689 -x2352 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1726 -x1730 -x1731 -x1732 -x1817 -x1733 -x1734 -x1736 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x2817 -x1752 -x1753 -x1754 -x1757 -x1758 -x1908 -x1759 -x1760 -x1761 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x3061 -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 -x2505 -x1811 -x1812 x1816 x1819 -x1820 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 x1832 -x1833 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x3225 x1862 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x2439 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1883 -x1887 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1910 -x1911 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1941 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 -x1984 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1995 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2011 -x2472 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2773 -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 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 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 x2126 -x2128 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2430 -x2142 -x3287 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2843 -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 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2243 -x2244 -x2245 -x2246 -x3137 -x2247 -x2248 -x3703 -x3643 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2822 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x3293 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2321 -x2322 -x2323 -x2324 -x2325 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2345 -x2348 -x2349 -x2350 -x2351 x2354 -x2355 -x2356 -x2357 -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 -x2400 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2423 -x2424 -x2425 -x2426 -x2429 x2432 -x2433 -x2434 x2437 -x2441 -x2442 -x3433 -x2443 -x2444 -x2445 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2525 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 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x3622 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 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 -x2696 -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 -x3726 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x3963 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x3141 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2740 -x2743 -x2744 -x3636 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2813 x2816 -x2819 -x2820 -x2821 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2841 -x2842 x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -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 -x3085 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2968 -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 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x3557 -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 -x3015 x3017 -x3018 -x3019 -x3020 -x3653 -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 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -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 x3139 -x3140 -x3143 -x3144 -x3145 -x3146 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3174 -x3175 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 x3196 x3199 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3227 -x3228 -x3230 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3841 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 x3284 -x3289 -x3290 -x3291 -x3292 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3307 -x3308 -x3309 -x3310 -x3311 x3314 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3895 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3942 -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 x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3435 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 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 -x3490 -x3491 -x3492 -x3493 x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 x3508 -x3509 -x3510 -x3511 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3541 -x3542 -x3547 -x3548 -x3549 -x3550 -x3551 -x3554 -x3555 -x3556 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3572 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3594 -x3595 x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 x3638 -x3642 x3645 -x3646 -x3647 -x3650 x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 x3678 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3690 -x3693 -x3694 -x3695 x3698 -x3699 -x3700 -x3701 -x3702 x3705 -x3706 -x3707 -x3708 -x3711 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3999 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3760 -x3763 x3766 -x3767 -x3768 -x3771 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3786 -x3790 x3793 -x3794 -x3795 -x3802 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 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 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 -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 -x3936 -x3937 -x3941 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4011 -x4012 x4014 -x4015 -x4017 -x4018 -x4019 -x4020 -x4802 -x4021 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4712 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4263 -x4057 -x4724 -x4058 -x4060 -x4061 -x4062 -x4174 -x4592 -x4063 -x4064 -x4065 -x4164 -x4068 -x4070 -x4072 -x4073 -x4171 -x4074 -x4075 -x4076 -x4078 -x4079 -x4371 -x4080 -x4081 -x4082 x4084 -x4085 -x4436 -x4086 x4088 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4374 -x4098 -x4275 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4695 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4306 -x4128 -x4129 -x4585 -x4130 x4132 -x4133 -x4686 -x4134 -x4135 -x4136 -x4810 -x4137 -x4138 -x4158 x4141 -x4142 -x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4154 -x4155 -x4156 -x4157 -x4161 x4160 -x4163 -x4166 -x4167 -x4168 -x4170 -x4173 x4176 -x4177 -x4179 x4181 -x4184 -x4185 -x4188 -x4190 -x4191 -x4192 -x4205 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4367 -x4200 -x4201 -x4202 -x4203 -x4204 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4673 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4231 x4233 -x4234 -x4862 -x4235 -x4236 -x4237 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4651 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4663 -x4261 -x4262 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4681 -x4287 -x4657 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4304 -x4305 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4752 -x4333 -x4334 -x4335 -x4805 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4359 x4361 x4362 -x4364 -x4366 -x4369 -x4370 x4373 -x4376 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 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 x4438 -x4440 -x4442 -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 -x4730 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4564 -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 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 x4562 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4587 -x4588 -x4589 -x4590 -x4594 -x4597 -x4598 -x4599 -x4600 -x4605 -x4606 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 -x4653 -x4654 -x4655 x4659 -x4660 -x4661 -x4662 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4675 -x4676 -x4677 -x4678 -x4679 x4683 -x4684 -x4685 -x4688 -x4691 -x4692 -x4693 -x4694 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 x4726 -x4727 -x4728 -x4729 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4754 -x4755 -x4756 -x4757 -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 -x4869 -x4801 -x4804 -x4807 -x4808 -x4809 x4812 -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 x4864 x4868 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4891 -x4954 -x4892 -x4894 -x4895 -x4928 -x4896 x4898 -x4899 -x4901 -x4902 -x4983 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4975 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4927 -x4930 -x4933 -x4958 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4948 x4950 -x4951 -x4952 -x4980 -x4956 -x4960 -x4961 x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4977 -x4978 -x4979 x4982 -x4985 -x4986 -x4988 -x5009 -x4991 -x5003 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5051 -x5058 -x5002 -x5005 -x5006 -x5008 x5011 x5014 -x5054 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5053 x5056 -x5057 x5060 
18.49/18.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
18.49/18.56	c    2        3      4      468    20156    53083      7      0 18.56
18.49/18.56	c Objective: 35
18.49/18.56	s OPTIMUM FOUND
18.49/18.56	c Total time: 18.56 s

OK	35

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-3736172-1338708793/watcher-3736172-1338708793 -o /tmp/evaluation-result-3736172-1338708793/solver-3736172-1338708793 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736172-1338708793.opb 

running on 4 cores: 1,3,5,7

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.02 2.00 2.00 3/178 10905
/proc/meminfo: memFree=28382860/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=5280 CPUtime=0 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 480 0 0 0 0 0 0 0 20 0 1 0 337004147 5406720 416 33554432000 134512640 135840783 4287799984 4287798816 1582375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 1320 417 330 325 0 109 0

[startup+0.085739 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10905
/proc/meminfo: memFree=28382860/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=8392 CPUtime=0.08 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 1553 0 0 0 8 0 0 0 20 0 1 0 337004147 8593408 1342 33554432000 134512640 135840783 4287799984 4287738380 7644208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2098 1342 344 325 0 1034 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8392

[startup+0.100292 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10905
/proc/meminfo: memFree=28382860/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=8392 CPUtime=0.09 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 1553 0 0 0 9 0 0 0 20 0 1 0 337004147 8593408 1342 33554432000 134512640 135840783 4287799984 4287738380 7644208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2098 1342 344 325 0 1034 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8392

[startup+0.300213 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10905
/proc/meminfo: memFree=28382860/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=9208 CPUtime=0.28 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 1990 0 0 0 28 0 0 0 20 0 1 0 337004147 9428992 1592 33554432000 134512640 135840783 4287799984 4287798880 135468282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2302 1592 371 325 0 1238 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9208

[startup+0.700207 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10905
/proc/meminfo: memFree=28382860/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=9408 CPUtime=0.68 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 3620 0 0 0 68 0 0 0 20 0 1 0 337004147 9633792 1601 33554432000 134512640 135840783 4287799984 4287798624 1582257 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2352 1611 371 325 0 1288 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9408

[startup+1.50021 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 10906
/proc/meminfo: memFree=28377404/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=10228 CPUtime=1.48 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 56222 0 0 0 140 8 0 0 20 0 1 0 337004147 10473472 1855 33554432000 134512640 135840783 4287799984 4287798880 135467970 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2557 1855 371 325 0 1493 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10228

[startup+3.10021 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 10906
/proc/meminfo: memFree=28375652/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=10612 CPUtime=3.09 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 210524 0 0 0 280 29 0 0 20 0 1 0 337004147 10866688 1946 33554432000 134512640 135840783 4287799984 4287798752 7644208 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 2653 1946 371 325 0 1589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10612

[startup+6.30023 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10906
/proc/meminfo: memFree=28365848/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31172 CPUtime=6.29 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 241593 0 0 0 595 34 0 0 20 0 1 0 337004147 31920128 4062 33554432000 134512640 135840783 4287799984 4287798216 135330825 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7793 4062 433 325 0 6729 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31172

[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 10907
/proc/meminfo: memFree=28362848/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31080 CPUtime=12.68 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 270100 0 0 0 1229 39 0 0 20 0 1 0 337004147 31825920 4050 33554432000 134512640 135840783 4287799984 4287798240 134948709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7770 4050 433 325 0 6706 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31080

Solver just ended. Dumping a history of the last processes samples

[startup+15.9003 s]
/proc/loadavg: 2.09 2.02 2.01 3/179 10907
/proc/meminfo: memFree=28361492/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31896 CPUtime=15.89 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 282054 0 0 0 1547 42 0 0 20 0 1 0 337004147 32661504 4125 33554432000 134512640 135840783 4287799984 4287798156 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7974 4125 433 325 0 6910 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 31896

[startup+17.5002 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 10907
/proc/meminfo: memFree=28360376/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31712 CPUtime=17.49 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 286203 0 0 0 1706 43 0 0 20 0 1 0 337004147 32473088 4220 33554432000 134512640 135840783 4287799984 4287798416 134941184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7928 4220 433 325 0 6864 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 31712

[startup+18.3002 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 10907
/proc/meminfo: memFree=28360376/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31384 CPUtime=18.28 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 288706 0 0 0 1785 43 0 0 20 0 1 0 337004147 32137216 4066 33554432000 134512640 135840783 4287799984 4287798284 135332132 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7846 4066 433 325 0 6782 0
Current children cumulated CPU time (s) 18.28
Current children cumulated vsize (KiB) 31384

[startup+18.5002 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 10907
/proc/meminfo: memFree=28360376/32873844 swapFree=7380/7380
[pid=10905] ppid=10903 vsize=31440 CPUtime=18.49 cores=1,3,5,7
/proc/10905/stat : 10905 (bsolo3.0.17) R 10903 10905 7079 0 -1 4202496 289283 0 0 0 1805 44 0 0 20 0 1 0 337004147 32194560 4092 33554432000 134512640 135840783 4287799984 4287798380 135333157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10905/statm: 7860 4092 433 325 0 6796 0
Current children cumulated CPU time (s) 18.49
Current children cumulated vsize (KiB) 31440

Child status: 0
Real time (s): 18.5675
CPU time (s): 18.5622
CPU user time (s): 18.1182
CPU system time (s): 0.443932
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 32032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1182
system time used= 0.443932
maximum resident set size= 18392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289800
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= 7
involuntary context switches= 21

runsolver used 0.036994 second user time and 0.087986 second system time

The end

Begin job on node133 at 2012-06-03 09:33:14
IDJOB=3736172
IDBENCH=25030
IDSOLVER=2318
FILE ID=node133/3736172-1338708793
RUNJOBID= node133-1338678627-7099
PBS_JOBID= 14636680
Free space on /tmp= 70460 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736172-1338708793/watcher-3736172-1338708793 -o /tmp/evaluation-result-3736172-1338708793/solver-3736172-1338708793 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3736172-1338708793.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1123531172

node133.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.540
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.08
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.540
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	: 5331.92
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.540
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	: 5331.92
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.540
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	: 5331.91
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.540
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	: 5331.91
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.540
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	: 5331.90
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.540
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	: 5331.91
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.540
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28383496 kB
Buffers:          412792 kB
Cached:          2755388 kB
SwapCached:          676 kB
Active:          1832400 kB
Inactive:        1762988 kB
Active(anon):     417992 kB
Inactive(anon):    10220 kB
Active(file):    1414408 kB
Inactive(file):  1752768 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:              6840 kB
Writeback:             0 kB
AnonPages:        432124 kB
Mapped:            11624 kB
Shmem:                 0 kB
Slab:             753552 kB
SReclaimable:     195524 kB
SUnreclaim:       558028 kB
KernelStack:        1496 kB
PageTables:         5012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     541820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    307200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70456 MiB
End job on node133 at 2012-06-03 09:33:32