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-3736174-1338727290.opb
0.00/0.00	c File size is 600996 bytes.
0.00/0.04	c Highest Coefficient sum: 537
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.043 s
0.00/0.04	c Var: 5060 Constr: 20188 20188/0/0 Lit: 52088 Watch. Lit: 40347
0.00/0.04	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.255 s
4.40/4.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.43	c        0   5021    20149    52035    2    40298    6716      0      0 0.26
4.40/4.43	c Initial Lower Bound: 35
4.40/4.43	c Initial Path Cost: 29
4.40/4.43	o 39
63.48/63.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.48/63.54	c        2   5021    20154    52631    2    40798    7716      5      0 4.43
63.48/63.54	o 37
136.38/136.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
136.38/136.50	c        2   5021    20155    53131    2    41292    7716      6      0 63.54
136.38/136.50	o 36
843.84/844.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
843.84/844.01	c        2   5021    20156    53631    2    41787    7716      7      0 136.48
843.84/844.01	o 35
857.44/857.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
857.44/857.68	c       71   5021    20362   191729    9    42693    7716    213      0 843.87
857.44/857.68	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 
857.44/857.69	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
857.44/857.69	c    4       72     11      759    20366   191732    217      0 857.54
857.44/857.69	c Objective: 35
857.44/857.69	s OPTIMUM FOUND
857.44/857.69	c Total time: 857.542 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-3736174-1338727290/watcher-3736174-1338727290 -o /tmp/evaluation-result-3736174-1338727290/solver-3736174-1338727290 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3736174-1338727290.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.06 2.01 2.00 3/176 31577
/proc/meminfo: memFree=30697808/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=11660 CPUtime=0 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 367 0 0 0 0 0 0 0 20 0 1 0 338857619 11939840 321 33554432000 134512640 137136520 4290975888 4290974416 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 2915 321 189 641 0 2124 0

[startup+0.102632 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 31577
/proc/meminfo: memFree=30697808/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=14480 CPUtime=0.09 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1373 0 0 0 9 0 0 0 20 0 1 0 338857619 14827520 1180 33554432000 134512640 137136520 4290975888 4290913868 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 3620 1180 189 641 0 2976 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14480

[startup+0.20027 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 31577
/proc/meminfo: memFree=30697808/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=15420 CPUtime=0.19 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1595 0 0 0 19 0 0 0 20 0 1 0 338857619 15790080 1402 33554432000 134512640 137136520 4290975888 4290913676 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 3855 1402 191 641 0 3211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 15420

[startup+0.300255 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 31577
/proc/meminfo: memFree=30697808/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=15352 CPUtime=0.29 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1814 0 0 0 27 2 0 0 20 0 1 0 338857619 15720448 1437 33554432000 134512640 137136520 4290975888 4290974368 135743075 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 3838 1437 226 641 0 3194 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15352

[startup+0.700223 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 31577
/proc/meminfo: memFree=30697808/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=15456 CPUtime=0.69 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2215 0 0 0 67 2 0 0 20 0 1 0 338857619 15826944 1471 33554432000 134512640 137136520 4290975888 4290974108 136698750 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 3864 1471 226 641 0 3220 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15456

[startup+1.50023 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31578
/proc/meminfo: memFree=30692500/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=16264 CPUtime=1.49 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 49342 0 0 0 141 8 0 0 20 0 1 0 338857619 16654336 1641 33554432000 134512640 137136520 4290975888 4290974288 134710037 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 4066 1641 226 641 0 3422 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16264

[startup+3.10023 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31578
/proc/meminfo: memFree=30691128/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=17588 CPUtime=3.09 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 187369 0 0 0 286 23 0 0 20 0 1 0 338857619 18010112 1870 33554432000 134512640 137136520 4290975888 4290974288 134710166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 4397 1883 226 641 0 3753 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17588

[startup+6.30023 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31578
/proc/meminfo: memFree=30684556/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37528 CPUtime=6.29 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 247271 0 0 0 599 30 0 0 20 0 1 0 338857619 38428672 3924 33554432000 134512640 137136520 4290975888 4290973576 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9382 3924 292 641 0 8738 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37528

[startup+12.7002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31578
/proc/meminfo: memFree=30683216/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37492 CPUtime=12.69 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 285024 0 0 0 1234 35 0 0 20 0 1 0 338857619 38391808 4026 33554432000 134512640 137136520 4290975888 4290973808 135331024 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9373 4026 292 641 0 8729 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37492

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31578
/proc/meminfo: memFree=30683340/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37768 CPUtime=25.49 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 352741 0 0 0 2503 46 0 0 20 0 1 0 338857619 38674432 3948 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9442 3948 292 641 0 8798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37768

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 31578
/proc/meminfo: memFree=30683472/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37316 CPUtime=51.08 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 442308 0 0 0 5047 61 0 0 20 0 1 0 338857619 38211584 3974 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9329 3974 292 641 0 8685 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37316

[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31579
/proc/meminfo: memFree=30684076/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37712 CPUtime=102.28 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 668256 0 0 0 10129 99 0 0 20 0 1 0 338857619 38617088 3876 33554432000 134512640 137136520 4290975888 4290973936 135342310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9428 3876 293 641 0 8784 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 37712

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31580
/proc/meminfo: memFree=30683712/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38008 CPUtime=162.27 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 986423 0 0 0 16076 151 0 0 20 0 1 0 338857619 38920192 3999 33554432000 134512640 137136520 4290975888 4290973764 135454636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9502 3999 293 641 0 8858 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 38008

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31580
/proc/meminfo: memFree=30659408/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37656 CPUtime=222.26 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1207904 0 0 0 22035 191 0 0 20 0 1 0 338857619 38559744 4014 33554432000 134512640 137136520 4290975888 4290973752 135437760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9414 4014 293 641 0 8770 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 37656

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31581
/proc/meminfo: memFree=30599508/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37740 CPUtime=282.25 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1415363 0 0 0 27995 230 0 0 20 0 1 0 338857619 38645760 4304 33554432000 134512640 137136520 4290975888 4290973344 134719192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9435 4304 293 641 0 8791 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 37740

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31581
/proc/meminfo: memFree=30549420/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37804 CPUtime=342.24 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1662664 0 0 0 33952 272 0 0 20 0 1 0 338857619 38711296 4149 33554432000 134512640 137136520 4290975888 4290973752 135437760 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9451 4149 293 641 0 8807 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 37804

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31581
/proc/meminfo: memFree=30512344/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37784 CPUtime=402.22 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 1894093 0 0 0 39913 309 0 0 20 0 1 0 338857619 38690816 4054 33554432000 134512640 137136520 4290975888 4290973648 135447705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9446 4054 293 641 0 8802 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37784

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31582
/proc/meminfo: memFree=30512592/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37812 CPUtime=462.22 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2116286 0 0 0 45875 347 0 0 20 0 1 0 338857619 38719488 4147 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9453 4147 293 641 0 8809 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 37812

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 31983
/proc/meminfo: memFree=31578696/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38232 CPUtime=522.21 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2313841 0 0 0 51838 383 0 0 20 0 1 0 338857619 39149568 4224 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9558 4224 293 641 0 8914 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 38232

[startup+582.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 315
/proc/meminfo: memFree=31572684/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38456 CPUtime=582.19 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2542331 0 0 0 57797 422 0 0 20 0 1 0 338857619 39378944 4543 33554432000 134512640 137136520 4290975888 4290973788 135438813 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9614 4543 293 641 0 8970 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 38456

[startup+642.3 s]
/proc/loadavg: 2.23 2.09 2.03 3/177 473
/proc/meminfo: memFree=31579268/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38048 CPUtime=642.18 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2733634 0 0 0 63760 458 0 0 20 0 1 0 338857619 38961152 4543 33554432000 134512640 137136520 4290975888 4290973764 135454682 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9512 4543 293 641 0 8868 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 38048

[startup+702.3 s]
/proc/loadavg: 2.19 2.10 2.03 3/177 725
/proc/meminfo: memFree=31468772/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39124 CPUtime=702.16 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 2931175 0 0 0 69723 493 0 0 20 0 1 0 338857619 40062976 4427 33554432000 134512640 137136520 4290975888 4290973936 135343174 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9781 4427 293 641 0 9137 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 39124

[startup+762.3 s]
/proc/loadavg: 2.14 2.11 2.03 3/177 726
/proc/meminfo: memFree=31378652/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38824 CPUtime=762.16 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3152123 0 0 0 75683 533 0 0 20 0 1 0 338857619 39755776 4450 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9706 4450 293 641 0 9062 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 38824

[startup+822.3 s]
/proc/loadavg: 2.05 2.08 2.03 3/177 726
/proc/meminfo: memFree=31296860/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=37768 CPUtime=822.14 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3381585 0 0 0 81641 573 0 0 20 0 1 0 338857619 38674432 3774 33554432000 134512640 137136520 4290975888 4290973824 134838674 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9442 3774 293 641 0 8798 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 37768

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

[startup+844.8 s]
/proc/loadavg: 2.03 2.08 2.03 3/177 726
/proc/meminfo: memFree=31270996/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=38000 CPUtime=844.65 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3556265 0 0 0 83862 603 0 0 20 0 1 0 338857619 38912000 4396 33554432000 134512640 137136520 4290975888 4290973728 135455735 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9500 4396 293 641 0 8856 0
Current children cumulated CPU time (s) 844.65
Current children cumulated vsize (KiB) 38000

[startup+851.2 s]
/proc/loadavg: 2.03 2.08 2.03 3/177 726
/proc/meminfo: memFree=31266904/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39640 CPUtime=851.05 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3576773 0 0 0 84498 607 0 0 20 0 1 0 338857619 40591360 4397 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9910 4397 293 641 0 9266 0
Current children cumulated CPU time (s) 851.05
Current children cumulated vsize (KiB) 39640

[startup+854.4 s]
/proc/loadavg: 2.03 2.08 2.03 3/177 726
/proc/meminfo: memFree=31262564/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39576 CPUtime=854.25 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3585606 0 0 0 84817 608 0 0 20 0 1 0 338857619 40525824 4389 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9894 4389 293 641 0 9250 0
Current children cumulated CPU time (s) 854.25
Current children cumulated vsize (KiB) 39576

[startup+856 s]
/proc/loadavg: 2.03 2.08 2.03 3/177 726
/proc/meminfo: memFree=31261944/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=34872 CPUtime=855.84 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3590180 0 0 0 84976 608 0 0 20 0 1 0 338857619 35708928 4043 33554432000 134512640 137136520 4290975888 4290973736 134731914 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 8718 4054 293 641 0 8074 0
Current children cumulated CPU time (s) 855.84
Current children cumulated vsize (KiB) 34872

[startup+856.8 s]
/proc/loadavg: 2.03 2.08 2.03 3/177 726
/proc/meminfo: memFree=31261944/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39580 CPUtime=856.65 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3592587 0 0 0 85056 609 0 0 20 0 1 0 338857619 40529920 4471 33554432000 134512640 137136520 4290975888 4290973576 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9895 4471 293 641 0 9251 0
Current children cumulated CPU time (s) 856.65
Current children cumulated vsize (KiB) 39580

[startup+857.2 s]
/proc/loadavg: 2.02 2.07 2.03 3/177 726
/proc/meminfo: memFree=31261324/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39576 CPUtime=857.04 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3593885 0 0 0 85095 609 0 0 20 0 1 0 338857619 40525824 4434 33554432000 134512640 137136520 4290975888 4290973736 135464019 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9894 4434 293 641 0 9250 0
Current children cumulated CPU time (s) 857.04
Current children cumulated vsize (KiB) 39576

[startup+857.6 s]
/proc/loadavg: 2.02 2.07 2.03 3/177 726
/proc/meminfo: memFree=31261324/32873844 swapFree=7116/7116
[pid=31577] ppid=31575 vsize=39668 CPUtime=857.44 cores=0,2,4,6
/proc/31577/stat : 31577 (bsolo) R 31575 31577 30350 0 -1 4202496 3595140 0 0 0 85135 609 0 0 20 0 1 0 338857619 40620032 4439 33554432000 134512640 137136520 4290975888 4290973564 135438980 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31577/statm: 9917 4439 293 641 0 9273 0
Current children cumulated CPU time (s) 857.44
Current children cumulated vsize (KiB) 39668

Child status: 0
Real time (s): 857.69
CPU time (s): 857.543
CPU user time (s): 851.443
CPU system time (s): 6.10007
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 39916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 851.443
system time used= 6.10007
maximum resident set size= 23364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3596167
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= 42
involuntary context switches= 883

runsolver used 1.3028 second user time and 4.15937 second system time

The end

Begin job on node103 at 2012-06-03 14:41:30
IDJOB=3736174
IDBENCH=25030
IDSOLVER=2320
FILE ID=node103/3736174-1338727290
RUNJOBID= node103-1338713869-30366
PBS_JOBID= 14636745
Free space on /tmp= 71120 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736174-1338727290/watcher-3736174-1338727290 -o /tmp/evaluation-result-3736174-1338727290/solver-3736174-1338727290 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3736174-1338727290.opb

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

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1965139807

node103.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.189
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	: 5332.37
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.189
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.91
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
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:        30698608 kB
Buffers:          170464 kB
Cached:           331588 kB
SwapCached:         5648 kB
Active:          1050380 kB
Inactive:         363388 kB
Active(anon):     909644 kB
Inactive(anon):     4740 kB
Active(file):     140736 kB
Inactive(file):   358648 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              4312 kB
Writeback:             0 kB
AnonPages:        914876 kB
Mapped:             9604 kB
Shmem:                 0 kB
Slab:             623028 kB
SReclaimable:      63700 kB
SUnreclaim:       559328 kB
KernelStack:        1448 kB
PageTables:         5640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1034888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    901120 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-3736174-1338727290.opb

Free space on /tmp at the end= 71116 MiB
End job on node103 at 2012-06-03 14:55:48