Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | OPT | 121 | 770.925 | 771.239 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-bench1.pi.opb |
MD5SUM | df1c0055bf82833faa95d352e28c6731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 121 |
Best CPU time to get the best result obtained on this benchmark | 15.0297 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 121 |
Optimality of the best value was proved | YES |
Number of variables | 4676 |
Total number of constraints | 398 |
Number of constraints which are clauses | 398 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 4676 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4676 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4676 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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-1877590-1245148861.opb 0.00/0.00 c File size is 127509 bytes. 0.00/0.01 c Highest Coefficient sum: 4676 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.016 s 0.00/0.02 c Var: 4676 Constr: 398 398/0/0 Lit: 9563 Watch. Lit: 796 0.00/0.02 c Obj. Vars: 4676 (100 % of total variables) 0.04/0.05 c Formula reductions applied at preprocessing 0.04/0.05 c Pre-processing Time: 0.053 s 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 915 376 8874 23 752 125 0 0 0.05 0.29/0.34 c Initial Lower Bound: 120 0.29/0.34 c Initial Path Cost: 8 0.29/0.34 o 160 4.29/4.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.32 c 0 915 377 9789 25 1517 1125 1 0 0.34 4.29/4.32 o 158 7.09/7.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.19 c 0 915 378 10704 28 2284 2125 2 0 4.32 7.09/7.19 o 143 10.19/10.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.30 c 0 915 379 11619 30 3066 3125 3 0 7.19 10.19/10.30 o 140 12.88/12.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.88/12.94 c 0 915 380 12534 32 3851 4125 4 0 10.30 12.88/12.94 o 139 16.08/16.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.08/16.11 c 1 915 383 13922 36 4641 4125 7 0 12.94 16.08/16.11 o 138 23.69/23.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.69/23.74 c 4 915 390 16690 42 5440 4125 14 0 16.11 23.69/23.74 c 125 915 725 132418 182 6110 4538 349 5 20.91 23.69/23.74 o 137 25.78/25.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.78/25.88 c 127 915 730 134585 184 6906 4125 354 5 23.74 25.78/25.88 o 128 47.98/48.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.98/48.03 c 127 915 731 135500 185 7703 4125 355 4 25.87 47.98/48.03 c 229 915 1024 200783 196 8289 4538 648 7 29.87 47.98/48.03 c 586 915 2051 545200 265 10343 4992 1675 15 37.35 47.98/48.03 o 127 70.67/70.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 70.67/70.78 c 926 915 2985 686213 229 13007 4125 2609 19 48.02 70.67/70.78 c 1026 915 3281 709881 216 13599 4538 2905 18 55.88 70.67/70.78 c 1285 915 4005 790710 197 15047 4992 3629 18 68.08 70.67/70.78 o 126 293.98/294.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.98/294.11 c 1302 915 4056 795181 196 15946 4125 3680 18 70.76 293.98/294.11 c 1407 915 4354 820058 188 16542 4538 3978 18 77.04 293.98/294.11 c 1671 915 5141 869465 169 18116 4992 4765 17 94.96 293.98/294.11 c 2162 915 6517 1025585 157 20868 5492 6141 18 118.18 293.98/294.11 c 2986 915 8846 1319887 149 25526 6042 8470 20 144.35 293.98/294.11 c 4320 915 5732 558510 97 12261 6647 5356 21 201.39 293.98/294.11 o 125 392.04/392.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 392.04/392.21 c 5706 915 9790 804182 82 21175 1125 9414 19 294.00 392.04/392.21 c 5814 915 1260 64962 51 3318 1238 884 19 303.40 392.04/392.21 c 6071 915 2009 112712 56 4816 1362 1633 18 319.74 392.04/392.21 c 6561 915 3448 200022 58 7694 1499 3072 18 351.30 392.04/392.21 o 124 405.63/405.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 405.63/405.88 c 7070 915 4958 252185 50 11513 1125 4582 18 392.06 405.63/405.88 c 7178 915 940 28819 30 2679 1238 564 17 402.62 405.63/405.88 o 123 642.64/643.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 642.64/643.00 c 7202 915 1010 31571 31 3619 1125 634 17 405.72 642.64/643.00 c 7306 915 1313 38347 29 4225 1238 937 17 416.90 642.64/643.00 c 7556 915 2045 58388 28 5689 1362 1669 17 442.10 642.64/643.00 c 8031 915 3456 107337 31 8511 1499 3080 16 481.55 642.64/643.00 c 8853 915 1342 43802 32 3484 1649 966 16 552.14 642.64/643.00 c 10173 915 5208 245550 47 11216 1814 4832 16 627.07 642.64/643.00 o 122 767.48/767.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 767.48/767.82 c 10344 915 5719 264712 46 13039 1125 5343 16 642.74 767.48/767.82 c 10447 915 1234 43433 35 3269 1238 858 16 652.85 767.48/767.82 c 10706 915 1991 65132 32 4783 1362 1615 15 677.54 767.48/767.82 c 11182 915 3394 103583 30 7589 1499 3018 15 716.57 767.48/767.82 o 121 770.88/771.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 770.88/771.23 c 11745 915 5053 158159 31 11709 1125 4677 15 767.52 770.88/771.23 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 x3406 -x3407 -x3408 -x3409 -x3410 -x3411 x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 x3505 -x3506 -x3507 -x3508 x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 770.88/771.23 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 770.88/771.23 c 37 11793 220 17655 5191 158521 4815 15 770.92 770.88/771.23 c Objective: 121 770.88/771.23 s OPTIMUM FOUND 770.88/771.23 c Total time: 770.92 s
OK 121
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877590-1245148861/watcher-1877590-1245148861 -o /tmp/evaluation-result-1877590-1245148861/solver-1877590-1245148861 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877590-1245148861.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.02 1.00 3/64 11919 /proc/meminfo: memFree=1940368/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=18660 CPUtime=0 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 182486468 19107840 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 4700 254 173 640 0 4024 0 [startup+0.0444339 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11919 /proc/meminfo: memFree=1940368/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=11676 CPUtime=0.04 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 562 0 0 0 3 1 0 0 18 0 1 0 182486468 11956224 490 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 2919 490 189 640 0 2275 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11676 [startup+0.10144 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11919 /proc/meminfo: memFree=1940368/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=12036 CPUtime=0.09 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 715 0 0 0 8 1 0 0 18 0 1 0 182486468 12324864 627 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3009 627 224 640 0 2365 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12036 [startup+0.301461 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11919 /proc/meminfo: memFree=1940368/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=13812 CPUtime=0.29 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 1871 0 0 0 27 2 0 0 19 0 1 0 182486468 14143488 977 1992294400 134512640 137136520 4294956256 18446744073709551615 134767485 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3453 977 284 640 0 2809 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13812 [startup+0.701502 s] /proc/loadavg: 1.00 1.02 1.00 3/64 11919 /proc/meminfo: memFree=1940368/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=12584 CPUtime=0.69 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 6782 0 0 0 65 4 0 0 23 0 1 0 182486468 12886016 792 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3146 802 289 640 0 2502 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12584 [startup+1.50158 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11920 /proc/meminfo: memFree=1938120/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=12132 CPUtime=1.49 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 18620 0 0 0 142 7 0 0 25 0 1 0 182486468 12423168 717 1992294400 134512640 137136520 4294956256 18446744073709551615 134748804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3033 717 289 640 0 2389 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12132 [startup+3.10175 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11920 /proc/meminfo: memFree=1937992/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=13736 CPUtime=3.09 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 66601 0 0 0 288 21 0 0 25 0 1 0 182486468 14065664 895 1992294400 134512640 137136520 4294956256 18446744073709551615 135248961 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3434 895 289 640 0 2790 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13736 [startup+6.30108 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11920 /proc/meminfo: memFree=1937672/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=13788 CPUtime=6.28 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 145682 0 0 0 584 44 0 0 25 0 1 0 182486468 14118912 913 1992294400 134512640 137136520 4294956256 18446744073709551615 135342332 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3447 913 290 640 0 2803 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13788 [startup+12.7017 s] /proc/loadavg: 1.00 1.02 1.00 2/65 11920 /proc/meminfo: memFree=1938120/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=12388 CPUtime=12.68 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 274137 0 0 0 1183 85 0 0 25 0 1 0 182486468 12685312 781 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3135 794 290 640 0 2491 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12388 [startup+25.5021 s] /proc/loadavg: 1.00 1.01 1.00 2/65 11920 /proc/meminfo: memFree=1936008/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=15924 CPUtime=25.48 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 538323 0 0 0 2379 169 0 0 25 0 1 0 182486468 16306176 1355 1992294400 134512640 137136520 4294956256 18446744073709551615 134728855 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 3981 1355 292 640 0 3337 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15924 [startup+51.1027 s] /proc/loadavg: 1.00 1.01 1.00 2/65 11920 /proc/meminfo: memFree=1928712/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=23124 CPUtime=51.07 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 1028922 0 0 0 4785 322 0 0 25 0 1 0 182486468 23678976 3230 1992294400 134512640 137136520 4294956256 18446744073709551615 135438629 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 5781 3230 292 640 0 5137 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 23124 [startup+102.307 s] /proc/loadavg: 1.00 1.01 1.00 2/65 11920 /proc/meminfo: memFree=1925704/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=25828 CPUtime=102.26 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 1442659 0 0 0 9761 465 0 0 25 0 1 0 182486468 26447872 3843 1992294400 134512640 137136520 4294956256 18446744073709551615 134847436 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 6457 3843 292 640 0 5813 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25828 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1919048/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=32888 CPUtime=162.23 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2086294 0 0 0 15546 677 0 0 25 0 1 0 182486468 33677312 5615 1992294400 134512640 137136520 4294956256 18446744073709551615 135249740 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 8222 5615 292 640 0 7578 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 32888 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918664/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=222.21 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 21514 707 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135445336 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 31672 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918664/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=282.18 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 27511 707 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134732890 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 31672 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918664/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=342.16 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 33508 708 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134732866 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 31672 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918600/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=402.13 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 39505 708 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134767556 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 31672 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918600/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=462.11 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 45503 708 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135320594 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 31672 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918536/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=522.09 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 51501 708 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135331102 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 31672 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918472/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=582.07 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 57498 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135356687 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 31672 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11920 /proc/meminfo: memFree=1918536/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=642.04 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 63495 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135444687 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 31672 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918280/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=702.01 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 69492 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135464017 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 702.01 Current children cumulated vsize (KiB) 31672 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=761.98 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 75489 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134767550 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 31672 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=767.57 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76048 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135438622 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 767.57 Current children cumulated vsize (KiB) 31672 [startup+769.503 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=769.18 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76209 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135441770 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 769.18 Current children cumulated vsize (KiB) 31672 [startup+770.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=769.97 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76288 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135438859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 769.97 Current children cumulated vsize (KiB) 31672 [startup+770.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=770.37 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76328 709 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134732877 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 770.37 Current children cumulated vsize (KiB) 31672 [startup+771.106 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=770.79 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76369 710 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 134732869 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 770.79 Current children cumulated vsize (KiB) 31672 [startup+771.202 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11922 /proc/meminfo: memFree=1918344/2055920 swapFree=4181836/4192956 [pid=11919] ppid=11917 vsize=31672 CPUtime=770.88 /proc/11919/stat : 11919 (bsolo) R 11917 11919 11609 0 -1 4194304 2172003 0 0 0 76378 710 0 0 25 0 1 0 182486468 32432128 5605 1992294400 134512640 137136520 4294956256 18446744073709551615 135356672 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11919/statm: 7918 5605 292 640 0 7274 0 Current children cumulated CPU time (s) 770.88 Current children cumulated vsize (KiB) 31672 Child status: 0 Real time (s): 771.239 CPU time (s): 770.925 CPU user time (s): 763.82 CPU system time (s): 7.10492 CPU usage (%): 99.9593 Max. virtual memory (cumulated for all children) (KiB): 33552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 763.82 system time used= 7.10492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2172005 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= 2575 runsolver used 0.905862 second user time and 1.90871 second system time The end
Begin job on node24 at 2009-06-16 12:41:01 IDJOB=1877590 IDBENCH=2048 IDSOLVER=699 FILE ID=node24/1877590-1245148861 PBS_JOBID= 9363733 Free space on /tmp= 66364 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877590-1245148861/watcher-1877590-1245148861 -o /tmp/evaluation-result-1877590-1245148861/solver-1877590-1245148861 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877590-1245148861.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= df1c0055bf82833faa95d352e28c6731 RANDOM SEED=1892155602 node24.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.231 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.231 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: 1940848 kB Buffers: 17328 kB Cached: 55452 kB SwapCached: 5284 kB Active: 51576 kB Inactive: 28960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1940848 kB SwapTotal: 4192956 kB SwapFree: 4181836 kB Dirty: 4324 kB Writeback: 0 kB Mapped: 12924 kB Slab: 20404 kB Committed_AS: 186188 kB PageTables: 1444 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-1877590-1245148861.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-16 12:53:53