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 1800 MB
0.00/0.00	c Instance file HOME/instance-1876938-1245185495.opb
0.00/0.00	c File size is 600996 bytes.
0.08/0.09	c Highest Coefficient sum: 537
0.08/0.09	c Parsing was ok!!
0.08/0.09	c Total parsing time: 0.089 s
0.08/0.10	c Var: 5060 Constr: 20188 20188/0/0 Lit: 52088 Watch. Lit: 40347
0.08/0.10	c Obj. Vars: 537 (10.6126 % of total variables)
0.59/0.60	c Formula reductions applied at preprocessing
0.59/0.60	c Pre-processing Time: 0.607 s
10.08/10.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.08/10.12	c        0   5021    20149    52035    2    40298    6716      0      0 0.61
10.08/10.12	c Initial Lower Bound: 35
10.08/10.12	c Initial Path Cost: 29
10.08/10.13	o 39
176.54/176.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.54/176.64	c        2   5021    20154    52631    2    40798    7716      5      0 10.13
176.54/176.64	o 37
383.70/383.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
383.70/383.84	c        2   5021    20155    53131    2    41292    7716      6      0 176.59
383.70/383.84	o 36
1800.02/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.50	c        2   5021    20156    53631    2    41787    7716      7      0 383.74
1800.02/1800.50	c Caught signal: 15
1800.02/1800.50	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 
1800.02/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.50	c    3       53     11      673    20307   154566    158      0 1800.03
1800.02/1800.50	c Objective: 36
1800.02/1800.50	s SATISFIABLE
1800.02/1800.50	c Total time: 1800.03 s

OK	36

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876938-1245185495/watcher-1876938-1245185495 -o /tmp/evaluation-result-1876938-1245185495/solver-1876938-1245185495 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876938-1245185495.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5138
/proc/meminfo: memFree=1841064/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=11304 CPUtime=0
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 186149539 11575296 242 1992294400 134512640 137136520 4294956256 18446744073709551615 134519360 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 2826 242 175 640 0 2035 0

[startup+0.090664 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5138
/proc/meminfo: memFree=1841064/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=13520 CPUtime=0.08
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 964 0 0 0 8 0 0 0 18 0 1 0 186149539 13844480 948 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 3380 948 315 640 0 2589 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13520

[startup+0.102664 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5138
/proc/meminfo: memFree=1841064/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=14452 CPUtime=0.09
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1336 0 0 0 9 0 0 0 18 0 1 0 186149539 14798848 1173 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 3613 1173 189 640 0 2969 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14452

[startup+0.301686 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5138
/proc/meminfo: memFree=1841064/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=14452 CPUtime=0.29
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1344 0 0 0 29 0 0 0 19 0 1 0 186149539 14798848 1181 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 3613 1181 189 640 0 2969 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14452

[startup+0.70173 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5138
/proc/meminfo: memFree=1841064/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=15328 CPUtime=0.69
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1784 0 0 0 65 4 0 0 22 0 1 0 186149539 15695872 1437 1992294400 134512640 137136520 4294956256 18446744073709551615 135743037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 3832 1437 226 640 0 3188 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15328

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5139
/proc/meminfo: memFree=1836128/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=15528 CPUtime=1.49
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 3769 0 0 0 144 5 0 0 25 0 1 0 186149539 15900672 1463 1992294400 134512640 137136520 4294956256 18446744073709551615 135743390 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 3882 1463 226 640 0 3238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15528

[startup+3.10199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5139
/proc/meminfo: memFree=1835424/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=16000 CPUtime=3.09
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 55698 0 0 0 288 21 0 0 25 0 1 0 186149539 16384000 1565 1992294400 134512640 137136520 4294956256 18446744073709551615 134710066 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 4000 1576 226 640 0 3356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16000

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5139
/proc/meminfo: memFree=1834208/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=17832 CPUtime=6.29
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 175571 0 0 0 559 70 0 0 25 0 1 0 186149539 18259968 2039 1992294400 134512640 137136520 4294956256 18446744073709551615 134710037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 4458 2039 226 640 0 3814 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17832

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5139
/proc/meminfo: memFree=1824864/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37152 CPUtime=12.69
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 238178 0 0 0 1167 102 0 0 25 0 1 0 186149539 38043648 4035 1992294400 134512640 137136520 4294956256 18446744073709551615 135455844 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9288 4035 292 640 0 8644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37152

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5139
/proc/meminfo: memFree=1825440/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37596 CPUtime=25.48
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 276168 0 0 0 2426 122 0 0 25 0 1 0 186149539 38498304 4210 1992294400 134512640 137136520 4294956256 18446744073709551615 135455589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9399 4210 292 640 0 8755 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37596

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1824544/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37676 CPUtime=51.07
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 330347 0 0 0 4959 148 0 0 25 0 1 0 186149539 38580224 4320 1992294400 134512640 137136520 4294956256 18446744073709551615 135464201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9419 4320 292 640 0 8775 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37676

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825440/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37656 CPUtime=102.27
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 429213 0 0 0 10025 202 0 0 25 0 1 0 186149539 38559744 4127 1992294400 134512640 137136520 4294956256 18446744073709551615 135467938 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9414 4127 292 640 0 8770 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37656

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37072 CPUtime=162.25
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 523848 0 0 0 15972 253 0 0 25 0 1 0 186149539 37961728 4059 1992294400 134512640 137136520 4294956256 18446744073709551615 135457113 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9268 4059 292 640 0 8624 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37072

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1826080/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37920 CPUtime=222.23
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 626736 0 0 0 21917 306 0 0 25 0 1 0 186149539 38830080 3970 1992294400 134512640 137136520 4294956256 18446744073709551615 135454222 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9480 3970 293 640 0 8836 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 37920

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825312/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37712 CPUtime=282.22
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 726647 0 0 0 27862 360 0 0 25 0 1 0 186149539 38617088 4180 1992294400 134512640 137136520 4294956256 18446744073709551615 135356676 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9428 4180 293 640 0 8784 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 37712

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825696/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=35660 CPUtime=342.2
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 845834 0 0 0 33798 422 0 0 25 0 1 0 186149539 36515840 3327 1992294400 134512640 137136520 4294956256 18446744073709551615 134849535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 8915 3327 293 640 0 8271 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 35660

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825888/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37768 CPUtime=402.19
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 974151 0 0 0 39730 489 0 0 25 0 1 0 186149539 38674432 4050 1992294400 134512640 137136520 4294956256 18446744073709551615 135078576 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9442 4050 293 640 0 8798 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 37768

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1825376/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38208 CPUtime=462.16
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1098106 0 0 0 45664 552 0 0 25 0 1 0 186149539 39124992 4341 1992294400 134512640 137136520 4294956256 18446744073709551615 135068896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9552 4341 293 640 0 8908 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38208

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5141
/proc/meminfo: memFree=1824800/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37676 CPUtime=522.15
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1170190 0 0 0 51618 597 0 0 25 0 1 0 186149539 38580224 4232 1992294400 134512640 137136520 4294956256 18446744073709551615 135454677 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9419 4232 293 640 0 8775 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 37676

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825248/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37840 CPUtime=582.13
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1239955 0 0 0 57578 635 0 0 25 0 1 0 186149539 38748160 4021 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9460 4021 293 640 0 8816 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 37840

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825632/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37624 CPUtime=642.12
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1331233 0 0 0 63526 686 0 0 25 0 1 0 186149539 38526976 4047 1992294400 134512640 137136520 4294956256 18446744073709551615 135461830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9406 4047 293 640 0 8762 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 37624

[startup+702.302 s]

################
# More data... #
################

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37964 CPUtime=882.05
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1646195 0 0 0 87339 866 0 0 25 0 1 0 186149539 38875136 4099 1992294400 134512640 137136520 4294956256 18446744073709551615 134718868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9491 4099 293 640 0 8847 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 37964

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825504/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37400 CPUtime=942.03
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1736138 0 0 0 93287 916 0 0 25 0 1 0 186149539 38297600 4006 1992294400 134512640 137136520 4294956256 18446744073709551615 135455330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9350 4006 293 640 0 8706 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 37400

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825248/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37100 CPUtime=1002.02
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1814621 0 0 0 99244 958 0 0 25 0 1 0 186149539 37990400 3988 1992294400 134512640 137136520 4294956256 18446744073709551615 135467988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9275 3988 293 640 0 8631 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 37100

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1825248/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37988 CPUtime=1062.01
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1883892 0 0 0 105200 1001 0 0 25 0 1 0 186149539 38899712 4144 1992294400 134512640 137136520 4294956256 18446744073709551615 135342595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9497 4144 293 640 0 8853 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 37988

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824992/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37980 CPUtime=1121.99
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 1984978 0 0 0 111142 1057 0 0 25 0 1 0 186149539 38891520 4374 1992294400 134512640 137136520 4294956256 18446744073709551615 135078613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9495 4374 293 640 0 8851 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 37980

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824032/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38304 CPUtime=1181.97
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2051195 0 0 0 117098 1099 0 0 25 0 1 0 186149539 39223296 4385 1992294400 134512640 137136520 4294956256 18446744073709551615 135445462 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9576 4385 293 640 0 8932 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 38304

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824928/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38540 CPUtime=1241.96
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2123849 0 0 0 123052 1144 0 0 25 0 1 0 186149539 39464960 4109 1992294400 134512640 137136520 4294956256 18446744073709551615 135078639 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9635 4109 293 640 0 8991 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 38540

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824800/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37968 CPUtime=1301.94
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2218627 0 0 0 128997 1197 0 0 25 0 1 0 186149539 38879232 4177 1992294400 134512640 137136520 4294956256 18446744073709551615 135455592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9492 4177 293 640 0 8848 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 37968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824480/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38076 CPUtime=1361.93
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2287073 0 0 0 134953 1240 0 0 25 0 1 0 186149539 38989824 4251 1992294400 134512640 137136520 4294956256 18446744073709551615 135068869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9519 4251 293 640 0 8875 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 38076

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824352/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38032 CPUtime=1421.91
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2359133 0 0 0 140912 1279 0 0 25 0 1 0 186149539 38944768 4297 1992294400 134512640 137136520 4294956256 18446744073709551615 135331099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9508 4297 293 640 0 8864 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 38032

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824672/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38292 CPUtime=1481.89
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2432867 0 0 0 146868 1321 0 0 25 0 1 0 186149539 39211008 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 135078601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9573 4209 293 640 0 8929 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 38292

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824736/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38076 CPUtime=1541.88
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2510751 0 0 0 152823 1365 0 0 25 0 1 0 186149539 38989824 4215 1992294400 134512640 137136520 4294956256 18446744073709551615 135078784 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9519 4215 293 640 0 8875 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 38076

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824032/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38380 CPUtime=1601.86
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2601641 0 0 0 158773 1413 0 0 25 0 1 0 186149539 39301120 4353 1992294400 134512640 137136520 4294956256 18446744073709551615 135438857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9595 4353 293 640 0 8951 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 38380

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824224/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38428 CPUtime=1661.85
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2663189 0 0 0 164736 1449 0 0 25 0 1 0 186149539 39350272 4407 1992294400 134512640 137136520 4294956256 18446744073709551615 135454351 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9607 4407 293 640 0 8963 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 38428

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824608/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38024 CPUtime=1721.83
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2729164 0 0 0 170697 1486 0 0 25 0 1 0 186149539 38936576 4211 1992294400 134512640 137136520 4294956256 18446744073709551615 135079579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9506 4211 293 640 0 8862 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 38024

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824480/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=37888 CPUtime=1781.82
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2791249 0 0 0 176659 1523 0 0 25 0 1 0 186149539 38797312 4341 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9472 4341 293 640 0 8828 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 37888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824416/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38032 CPUtime=1800.02
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2811510 0 0 0 178466 1536 0 0 25 0 1 0 186149539 38944768 4226 1992294400 134512640 137136520 4294956256 18446744073709551615 135078838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9508 4226 293 640 0 8864 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 38032

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5147
/proc/meminfo: memFree=1824416/2055920 swapFree=4182492/4192956
[pid=5138] ppid=5136 vsize=38032 CPUtime=1800.02
/proc/5138/stat : 5138 (bsolo) R 5136 5138 4970 0 -1 4194304 2811510 0 0 0 178466 1536 0 0 25 0 1 0 186149539 38944768 4226 1992294400 134512640 137136520 4294956256 18446744073709551615 135078838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5138/statm: 9508 4226 293 640 0 8864 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 38032

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1784.67
CPU system time (s): 15.3637
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 38856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.67
system time used= 15.3637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2811512
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= 2
involuntary context switches= 1978

runsolver used 1.3108 second user time and 3.9334 second system time

The end

Begin job on node21 at 2009-06-16 22:51:35
IDJOB=1876938
IDBENCH=25030
IDSOLVER=699
FILE ID=node21/1876938-1245185495
PBS_JOBID= 9368278
Free space on /tmp= 66092 MiB

SOLVER NAME= 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-1876938-1245185495/watcher-1876938-1245185495 -o /tmp/evaluation-result-1876938-1245185495/solver-1876938-1245185495 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1876938-1245185495.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33
RANDOM SEED=1496090648

node21.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1841416 kB
Buffers:         51000 kB
Cached:          88156 kB
SwapCached:       4256 kB
Active:          45812 kB
Inactive:       100728 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1841416 kB
SwapTotal:     4192956 kB
SwapFree:      4182492 kB
Dirty:            4552 kB
Writeback:           0 kB
Mapped:          13420 kB
Slab:            53964 kB
Committed_AS:   175552 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876938-1245185495.opb

Free space on /tmp at the end= 66088 MiB
End job on node21 at 2009-06-16 23:21:38