Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
pwbo 1.1 | SAT (TO) | 18 | 1800.22 | 900.143 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1800.22 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
Number of bits of the biggest sum of numbers | 10 |
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 pwbo 1.1 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3500544-1307996514.opb. 0.00/0.00 c Instance file HOME/instance-3500544-1307996514.opb 0.00/0.00 c File size is 435390 bytes. 0.02/0.03 c Highest Coefficient sum: 518 0.02/0.03 c ============================[ Problem Statistics ]============================= 0.02/0.03 c | | 0.02/0.03 c | Parsing time: 0.03 s | 0.02/0.03 c | Number Variables: 4318 | 0.02/0.03 c | Number Clauses: 15119 | 0.02/0.03 c | Number Cardinality: 1 | 0.02/0.03 c | Number PB Constraints: 0 | 0.02/0.04 c init lb 0 0.02/0.04 c init ub 491 0.02/0.05 c lb 6 (thread 0) 0.02/0.05 c ub 25 (thread 1) 0.02/0.06 o 25 0.02/0.06 c lb 7 (thread 0) 0.02/0.06 c lb 8 (thread 0) 0.02/0.07 c lb 9 (thread 0) 0.02/0.08 c lb 10 (thread 0) 0.02/0.09 c lb 11 (thread 0) 0.15/0.13 c lb 12 (thread 0) 7.75/3.99 c lb 13 (thread 0) 8.56/4.31 c ub 24 (thread 1) 24.75/12.45 o 24 24.75/12.45 c ub 23 (thread 1) 32.76/16.44 o 23 32.76/16.44 c ub 22 (thread 1) 35.35/17.78 o 22 35.35/17.78 c lb 14 (thread 0) 52.76/26.45 c ub 21 (thread 1) 61.15/30.68 o 21 61.15/30.68 c ub 20 (thread 1) 109.55/54.89 o 20 109.55/54.89 c ub 19 (thread 1) 196.15/98.14 o 19 196.15/98.14 c ub 18 (thread 1) 1800.17/900.11 o 18 1800.17/900.11 s SATISFIABLE 1800.17/900.11 v x1 x362 x440 x515 x581 x741 -x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 x11 -x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 -x1610 -x1637 -x59 -x1664 -x62 -x1691 x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 -x82 -x1880 -x85 -x1907 -x88 -x1934 -x1961 -x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 x2645 -x2647 -x2659 -x2661 -x2673 -x2675 -x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 -x2773 -x2778 -x2783 -x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 -x3141 -x3153 -x370 -x3165 -x3170 x375 -x3175 x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 -x3205 -x393 -x3210 x396 x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3292 -x3304 -x3316 -x3328 -x3340 -x448 -x3352 -x3357 x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 -x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3477 -x3489 x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3666 -x3693 -x3720 -x3747 -x3774 -x3801 -x3828 -x3840 x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 -x3948 -x616 -x3960 -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 -x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 -x4220 -x4225 -x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x49 -x50 -x52 -x53 -x55 -x56 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x69 -x70 -x72 -x73 -x75 -x76 -x78 -x79 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 -x391 -x392 -x394 x395 x397 -x398 -x400 -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 -x421 -x423 -x422 -x424 -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 -x368 -x447 -x449 -x450 -x451 x452 x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 x491 -x493 -x492 -x494 -x496 -x495 -x497 -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x441 -x442 -x443 -x444 -x445 -x446 -x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 -x517 -x518 x519 -x520 -x521 -x589 -x590 -x591 -x592 x593 x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 -x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 -x675 -x674 -x676 -x678 -x677 -x679 -x681 -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 -x701 -x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 -x583 -x584 -x585 -x586 -x587 -x588 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 -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 x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 x1976 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2018 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 x2032 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 x2130 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2144 x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2200 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2214 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2256 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2310 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2548 x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2632 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2688 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2730 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 -x2749 -x2750 -x2751 -x2752 -x2754 -x2755 -x2756 -x2757 x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 -x2776 -x2777 x2779 -x2780 x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 -x2797 -x2799 -x2800 -x2801 -x2802 x2804 x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 -x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 x2854 x2855 -x2856 -x2857 x2859 -x2860 -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 -x2925 -x2926 -x2927 -x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 x3024 -x3025 -x3026 -x3027 x3029 x3030 -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 -x3052 -x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 -x3074 -x3075 -x3076 -x3077 x3079 x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3166 -x3167 -x3168 -x3169 -x3171 -x3172 -x3173 -x3174 x3176 -x3177 -x3178 x3179 -x3181 -x3182 -x3183 -x3184 -x3186 -x3187 -x3188 -x3189 -x3191 -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 x3208 -x3209 x3211 -x3212 x3213 -x3214 x3216 -x3217 x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 x3245 x3247 x3249 -x3251 x3253 x3255 x3257 x3259 x3261 x3263 -x3265 -x3267 x3269 x3271 x3273 x3275 x3277 -x3279 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 x3353 -x3354 -x3355 -x3356 -x3358 -x3359 -x3360 -x3361 x3363 -x3364 -x3365 -x3366 -x3368 -x3369 -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 -x3391 x3393 -x3394 x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 -x3430 x3432 x3434 -x3436 -x3438 -x3440 x3442 x3444 x3446 -x3448 -x3450 -x3452 x3454 -x3456 x3458 x3460 -x3462 -x3464 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3502 x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3538 -x3539 -x3540 -x3541 x3543 -x3544 -x3545 -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 -x3558 -x3559 -x3560 -x3561 x3563 -x3564 -x3565 -x3566 -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 x3598 x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 x3608 x3610 x3612 x3614 -x3616 x3618 x3620 -x3622 -x3624 x3626 -x3628 -x3630 -x3632 x3634 -x3636 -x3638 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 -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 -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 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 -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 -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 -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 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3853 -x3854 -x3855 -x3856 x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 -x3950 x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 x4088 x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 -x4104 -x4105 -x4106 -x4107 x4109 x4111 -x4112 -x4113 -x4114 x4116 -x4118 -x4119 -x4120 -x4121 x4123 -x4125 -x4126 -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 x4142 -x4144 -x4145 -x4146 -x4147 x4149 x4151 -x4152 -x4153 x4154 x4156 x4158 -x4159 -x4160 -x4161 -x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 -x4186 -x4187 -x4188 -x4189 x4191 -x4193 -x4194 -x4195 -x4196 -x4198 -x4200 -x4201 -x4202 -x4203 x4205 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 -x4222 -x4223 -x4224 x4226 x4228 -x4229 -x4230 -x4231 -x4233 -x4235 -x4236 -x4237 -x4238 x4240 -x4242 -x4243 -x4244 -x4245 x4247 -x4248 x4249 -x4250 x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 -x4268 -x4269 -x4270 -x4271 x4273 -x4274 x4275 -x4276 x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 -x4292 -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 -x4313 -x4315 -x4316 -x4317 -x4318 1800.17/900.11 c Memory used : 787.82 MB 1800.17/900.11 c CPU time : 1793.09 s
OK 18
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500544-1307996514/watcher-3500544-1307996514 -o /var/tmp/evaluation-result-3500544-1307996514/solver-3500544-1307996514 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500544-1307996514.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.96 3.93 3.91 4/179 32744 /proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=3264 CPUtime=0 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) R 32742 32744 30934 0 -1 4202496 483 0 0 0 0 0 0 0 25 0 1 0 911252310 3342336 435 33554432000 4194304 5714118 140734570347344 18446744073709551615 4228135 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/32744/statm: 816 435 168 372 0 334 0 [startup+0.030982 s] /proc/loadavg: 3.96 3.93 3.91 4/179 32744 /proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=6208 CPUtime=0.02 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) R 32742 32744 30934 0 -1 4202496 1264 0 0 0 2 0 0 0 25 0 1 0 911252310 6356992 1216 33554432000 4194304 5714118 140734570347344 18446744073709551615 4233524 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/32744/statm: 1552 1216 243 372 0 1070 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6208 [startup+0.100993 s] /proc/loadavg: 3.96 3.93 3.91 4/179 32744 /proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=140720 CPUtime=0.15 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 4813 0 0 0 13 2 0 0 25 0 3 0 911252310 144097280 4424 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35180 4424 181 372 0 34805 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 140720 [startup+0.300967 s] /proc/loadavg: 3.96 3.93 3.91 4/179 32744 /proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=140720 CPUtime=0.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 5360 0 0 0 52 3 0 0 25 0 3 0 911252310 144097280 4971 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35180 4971 181 372 0 34805 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 140720 [startup+0.700865 s] /proc/loadavg: 3.96 3.93 3.91 4/179 32744 /proc/meminfo: memFree=4288968/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=140720 CPUtime=1.35 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 6413 0 0 0 129 6 0 0 25 0 3 0 911252310 144097280 6024 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35180 6024 181 372 0 34805 0 Current children cumulated CPU time (s) 1.35 Current children cumulated vsize (KiB) 140720 [startup+1.50072 s] /proc/loadavg: 3.96 3.93 3.91 5/182 32747 /proc/meminfo: memFree=4260696/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=140720 CPUtime=2.95 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 9597 0 0 0 283 12 0 0 25 0 3 0 911252310 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35180 9208 181 372 0 34805 0 [pid=32744/tid=32746] ppid=32742 vsize=140720 CPUtime=1.46 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 3242 0 0 0 144 2 0 0 25 0 3 0 911252314 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=140720 CPUtime=1.45 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 4842 0 0 0 135 10 0 0 18 0 3 0 911252314 144097280 9208 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 140720 [startup+3.10047 s] /proc/loadavg: 3.96 3.93 3.91 5/182 32747 /proc/meminfo: memFree=4245940/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=140852 CPUtime=6.15 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 14259 0 0 0 595 20 0 0 25 0 3 0 911252310 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35213 13870 181 372 0 34838 0 [pid=32744/tid=32746] ppid=32742 vsize=140852 CPUtime=3.05 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 5573 0 0 0 302 3 0 0 25 0 3 0 911252314 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=140852 CPUtime=3.05 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7173 0 0 0 288 17 0 0 18 0 3 0 911252314 144232448 13870 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 140852 [startup+6.3009 s] /proc/loadavg: 3.97 3.93 3.91 5/182 32747 /proc/meminfo: memFree=4218784/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=141248 CPUtime=12.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 17856 0 0 0 1226 29 0 0 25 0 3 0 911252310 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35312 17467 181 372 0 34937 0 [pid=32744/tid=32746] ppid=32742 vsize=141248 CPUtime=6.25 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7691 0 0 0 619 6 0 0 25 0 3 0 911252314 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=141248 CPUtime=6.25 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 8652 0 0 0 603 22 0 0 21 0 3 0 911252314 144637952 17467 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.55 Current children cumulated vsize (KiB) 141248 [startup+12.7008 s] /proc/loadavg: 3.97 3.93 3.91 5/182 32747 /proc/meminfo: memFree=4193756/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=142140 CPUtime=25.35 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 24372 0 0 0 2491 44 0 0 25 0 3 0 911252310 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 35535 23983 181 372 0 35160 0 [pid=32744/tid=32746] ppid=32742 vsize=142140 CPUtime=12.66 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 7692 0 0 0 1257 9 0 0 25 0 3 0 911252314 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=142140 CPUtime=12.65 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 15167 0 0 0 1230 35 0 0 25 0 3 0 911252314 145551360 23983 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 25.35 Current children cumulated vsize (KiB) 142140 [startup+25.5005 s] /proc/loadavg: 3.97 3.93 3.91 5/182 32748 /proc/meminfo: memFree=4169820/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=208084 CPUtime=50.95 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 30331 0 0 0 5036 59 0 0 25 0 3 0 911252310 213078016 29906 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 52021 29907 182 372 0 51646 0 [pid=32744/tid=32746] ppid=32742 vsize=208084 CPUtime=25.46 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 11237 0 0 0 2530 16 0 0 25 0 3 0 911252314 213078016 29907 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=208084 CPUtime=25.45 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 17582 0 0 0 2503 42 0 0 18 0 3 0 911252314 213078016 29907 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.95 Current children cumulated vsize (KiB) 208084 [startup+51.101 s] /proc/loadavg: 3.98 3.94 3.91 5/182 32748 /proc/meminfo: memFree=4059072/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=274612 CPUtime=102.15 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 56114 0 0 0 10120 95 0 0 25 0 3 0 911252310 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 68653 55689 182 372 0 68278 0 [pid=32744/tid=32746] ppid=32742 vsize=274612 CPUtime=51.05 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 26592 0 0 0 5081 24 0 0 25 0 3 0 911252314 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=274612 CPUtime=51.05 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 28009 0 0 0 5035 70 0 0 25 0 3 0 911252314 281202688 55689 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 102.15 Current children cumulated vsize (KiB) 274612 [startup+102.307 s] /proc/loadavg: 3.99 3.94 3.91 5/182 32750 /proc/meminfo: memFree=3987212/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=341384 CPUtime=204.57 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 70878 0 0 0 20314 143 0 0 25 0 3 0 911252310 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 85346 70453 182 372 0 84971 0 [pid=32744/tid=32746] ppid=32742 vsize=341384 CPUtime=102.26 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 26604 0 0 0 10189 37 0 0 25 0 3 0 911252314 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=341384 CPUtime=102.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 42761 0 0 0 10120 106 0 0 25 0 3 0 911252314 349577216 70453 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 204.57 Current children cumulated vsize (KiB) 341384 [startup+162.3 s] /proc/loadavg: 4.07 3.97 3.91 5/182 32751 /proc/meminfo: memFree=3878416/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=473916 CPUtime=324.54 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 97684 0 0 0 32245 209 0 0 25 0 3 0 911252310 485289984 97259 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 118479 97261 182 372 0 118104 0 [pid=32744/tid=32746] ppid=32742 vsize=473916 CPUtime=162.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 51839 0 0 0 16133 91 0 0 25 0 3 0 911252314 485289984 97261 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=473916 CPUtime=162.25 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 44334 0 0 0 16108 117 0 0 25 0 3 0 911252314 485289984 97261 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 324.54 Current children cumulated vsize (KiB) 473916 [startup+222.301 s] /proc/loadavg: 4.03 3.97 3.91 5/182 32753 /proc/meminfo: memFree=3802000/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=540064 CPUtime=444.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 115313 0 0 0 44190 265 0 0 25 0 3 0 911252310 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 135016 114794 182 372 0 134641 0 [pid=32744/tid=32746] ppid=32742 vsize=540064 CPUtime=222.25 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54218 0 0 0 22114 111 0 0 25 0 3 0 911252314 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=540064 CPUtime=222.25 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 59582 0 0 0 22072 153 0 0 25 0 3 0 911252314 553025536 114794 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 444.55 Current children cumulated vsize (KiB) 540064 [startup+282.301 s] /proc/loadavg: 4.01 3.97 3.91 5/182 32755 /proc/meminfo: memFree=3727576/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=605840 CPUtime=564.54 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133086 0 0 0 56137 317 0 0 25 0 3 0 911252310 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 151460 132567 182 372 0 151085 0 [pid=32744/tid=32746] ppid=32742 vsize=605840 CPUtime=282.25 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54218 0 0 0 28097 128 0 0 25 0 3 0 911252314 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4198963 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=605840 CPUtime=282.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77355 0 0 0 28037 189 0 0 25 0 3 0 911252314 620380160 132567 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 564.54 Current children cumulated vsize (KiB) 605840 [startup+342.3 s] /proc/loadavg: 3.91 3.94 3.91 5/182 338 /proc/meminfo: memFree=3811660/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=606784 CPUtime=684.54 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133287 0 0 0 68113 341 0 0 25 0 3 0 911252310 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 151696 132768 182 372 0 151321 0 [pid=32744/tid=32746] ppid=32742 vsize=606784 CPUtime=342.23 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 34077 146 0 0 25 0 3 0 911252314 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=606784 CPUtime=342.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77555 0 0 0 34032 194 0 0 25 0 3 0 911252314 621346816 132768 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 684.54 Current children cumulated vsize (KiB) 606784 [startup+402.301 s] /proc/loadavg: 3.97 3.95 3.91 5/182 340 /proc/meminfo: memFree=3741664/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=607392 CPUtime=804.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 133409 0 0 0 80093 362 0 0 25 0 3 0 911252310 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 151848 132890 182 372 0 151473 0 [pid=32744/tid=32746] ppid=32742 vsize=607392 CPUtime=402.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 40063 161 0 0 25 0 3 0 911252314 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=607392 CPUtime=402.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 77677 0 0 0 40026 200 0 0 25 0 3 0 911252314 621969408 132890 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 804.55 Current children cumulated vsize (KiB) 607392 [startup+462.301 s] /proc/loadavg: 3.99 3.95 3.91 5/182 341 /proc/meminfo: memFree=3673520/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=673260 CPUtime=924.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 145851 0 0 0 92055 400 0 0 25 0 3 0 911252310 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 168315 145332 182 372 0 167940 0 [pid=32744/tid=32746] ppid=32742 vsize=673260 CPUtime=462.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 54219 0 0 0 46052 172 0 0 25 0 3 0 911252314 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319347 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=673260 CPUtime=462.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90119 0 0 0 45999 227 0 0 25 0 3 0 911252314 689418240 145332 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 924.55 Current children cumulated vsize (KiB) 673260 [startup+522.301 s] /proc/loadavg: 3.30 3.77 3.85 3/175 577 /proc/meminfo: memFree=3881348/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=673936 CPUtime=1044.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 151665 0 0 0 104013 442 0 0 25 0 3 0 911252310 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 168484 151146 182 372 0 168109 0 [pid=32744/tid=32746] ppid=32742 vsize=673936 CPUtime=522.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 59883 0 0 0 52015 209 0 0 25 0 3 0 911252314 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=673936 CPUtime=522.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90269 0 0 0 51994 233 0 0 25 0 3 0 911252314 690110464 151146 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1044.55 Current children cumulated vsize (KiB) 673936 [startup+582.301 s] /proc/loadavg: 2.78 3.54 3.76 3/175 749 /proc/meminfo: memFree=3864068/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=673936 CPUtime=1164.56 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 156319 0 0 0 115968 488 0 0 25 0 3 0 911252310 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 168484 155447 182 372 0 168109 0 [pid=32744/tid=32746] ppid=32742 vsize=673936 CPUtime=582.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 64535 0 0 0 57976 248 0 0 25 0 3 0 911252314 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=673936 CPUtime=582.26 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90271 0 0 0 57987 239 0 0 25 0 3 0 911252314 690110464 155447 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319816 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1164.56 Current children cumulated vsize (KiB) 673936 [startup+642.3 s] /proc/loadavg: 2.37 3.28 3.66 5/182 1066 /proc/meminfo: memFree=3723224/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=739660 CPUtime=1284.56 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 170053 0 0 0 127930 526 0 0 25 0 3 0 911252310 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 184915 169142 182 372 0 184540 0 [pid=32744/tid=32746] ppid=32742 vsize=739660 CPUtime=642.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 78193 0 0 0 63944 280 0 0 25 0 3 0 911252314 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 0 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=739660 CPUtime=642.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90347 0 0 0 63981 246 0 0 25 0 3 0 911252314 757411840 169142 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1284.56 Current children cumulated vsize (KiB) 739660 [startup+702.301 s] /proc/loadavg: 3.33 3.38 3.67 5/182 1108 /proc/meminfo: memFree=3525580/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=739968 CPUtime=1404.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 170107 0 0 0 139899 556 0 0 25 0 3 0 911252310 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 184992 169196 182 372 0 184617 0 [pid=32744/tid=32746] ppid=32742 vsize=739968 CPUtime=702.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 78196 0 0 0 69922 302 0 0 25 0 3 0 911252314 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=739968 CPUtime=702.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90398 0 0 0 69974 253 0 0 25 0 3 0 911252314 757727232 169196 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1404.55 Current children cumulated vsize (KiB) 739968 [startup+762.307 s] /proc/loadavg: 3.75 3.49 3.68 5/182 1109 /proc/meminfo: memFree=3491568/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=805504 CPUtime=1524.57 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 175752 0 0 0 151854 603 0 0 25 0 3 0 911252310 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 201376 174841 182 372 0 201001 0 [pid=32744/tid=32746] ppid=32742 vsize=805504 CPUtime=762.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 83818 0 0 0 75883 341 0 0 25 0 3 0 911252314 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=805504 CPUtime=762.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90421 0 0 0 75967 260 0 0 25 0 3 0 911252314 824836096 174841 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1524.57 Current children cumulated vsize (KiB) 805504 [startup+822.3 s] /proc/loadavg: 3.95 3.60 3.71 5/182 1111 /proc/meminfo: memFree=3428516/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=806076 CPUtime=1644.55 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 183994 0 0 0 163802 653 0 0 25 0 3 0 911252310 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 201519 183083 182 372 0 201144 0 [pid=32744/tid=32746] ppid=32742 vsize=806076 CPUtime=822.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 91940 0 0 0 81839 385 0 0 25 0 3 0 911252314 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=806076 CPUtime=822.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90541 0 0 0 81959 268 0 0 25 0 3 0 911252314 825421824 183083 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319380 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1644.55 Current children cumulated vsize (KiB) 806076 [startup+882.301 s] /proc/loadavg: 3.98 3.67 3.72 5/182 1113 /proc/meminfo: memFree=3361632/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=806244 CPUtime=1764.56 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 186339 0 0 0 175762 694 0 0 25 0 3 0 911252310 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 201561 185428 182 372 0 201186 0 [pid=32744/tid=32746] ppid=32742 vsize=806244 CPUtime=882.24 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 94240 0 0 0 87804 420 0 0 25 0 3 0 911252314 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=806244 CPUtime=882.27 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 87954 273 0 0 25 0 3 0 911252314 825593856 185428 33554432000 4194304 5714118 140734570347344 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1764.56 Current children cumulated vsize (KiB) 806244 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+900.101 s] /proc/loadavg: 3.98 3.69 3.73 5/182 1113 /proc/meminfo: memFree=3340296/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=806728 CPUtime=1800.17 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 188035 0 0 0 179308 709 0 0 25 0 3 0 911252310 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 201682 187124 182 372 0 201307 0 [pid=32744/tid=32746] ppid=32742 vsize=806728 CPUtime=900.05 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 95936 0 0 0 89573 432 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4311428 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=806728 CPUtime=900.08 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 89731 277 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 806728 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+900.101 s] /proc/loadavg: 3.98 3.69 3.73 5/182 1113 /proc/meminfo: memFree=3340296/32951124 swapFree=67052292/67111528 [pid=32744] ppid=32742 vsize=806728 CPUtime=1800.17 cores=0,2,4,6 /proc/32744/stat : 32744 (pwbo1.1) S 32742 32744 30934 0 -1 4202496 188035 0 0 0 179308 709 0 0 25 0 3 0 911252310 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 /proc/32744/statm: 201682 187124 182 372 0 201307 0 [pid=32744/tid=32746] ppid=32742 vsize=806728 CPUtime=900.05 cores=0,2,4,6 /proc/32744/task/32746/stat : 32746 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 95936 0 0 0 89573 432 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 4311428 0 0 4096 16387 0 0 0 -1 4 0 0 0 [pid=32744/tid=32747] ppid=32742 vsize=806728 CPUtime=900.08 cores=0,2,4,6 /proc/32744/task/32747/stat : 32747 (pwbo1.1) R 32742 32744 30934 0 -1 4202560 90586 0 0 0 89731 277 0 0 25 0 3 0 911252314 826089472 187124 33554432000 4194304 5714118 140734570347344 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 806728 Child status: 0 Real time (s): 900.143 CPU time (s): 1800.22 CPU user time (s): 1793.09 CPU system time (s): 7.12792 CPU usage (%): 199.993 Max. virtual memory (cumulated for all children) (KiB): 806728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.09 system time used= 7.12792 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 188058 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= 334 involuntary context switches= 4763 runsolver used 1.67774 second user time and 3.07353 second system time The end
Begin job on node108 at 2011-06-13 22:21:54 IDJOB=3500544 IDBENCH=25017 IDSOLVER=1954 FILE ID=node108/3500544-1307996514 RUNJOBID= node108-1307991378-31183 PBS_JOBID= 13559746 Free space on /var/tmp= 2880 MiB SOLVER NAME= pwbo 1.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= pwbo1.1 -file-format=opb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500544-1307996514/watcher-3500544-1307996514 -o /var/tmp/evaluation-result-3500544-1307996514/solver-3500544-1307996514 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500544-1307996514.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1255789370 node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 4289148 kB Buffers: 136216 kB Cached: 27407572 kB SwapCached: 23260 kB Active: 12069772 kB Inactive: 15697396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 4289148 kB SwapTotal: 67111528 kB SwapFree: 67052292 kB Dirty: 4716 kB Writeback: 0 kB AnonPages: 220808 kB Mapped: 9896 kB Slab: 830036 kB PageTables: 4764 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 406272 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2868 MiB End job on node108 at 2011-06-13 22:36:56