Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | SAT | 23 | 1782.76 | 1783.27 |
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 | OPT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1288.62 |
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 Pueblo version 1.4 (September 2005) 0.00/0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini 0.29/0.30 c starting to Solve 0.29/0.30 c #variables read: 4318 - #constraints read: 15116 0.29/0.31 o 26 113.75/113.85 o 25 615.72/615.93 o 24 1366.10/1366.55 o 23 1782.68/1783.23 c total time : 1783 s 1782.68/1783.23 s SATISFIABLE 1782.68/1783.23 v x1 x362 x440 x515 x581 -x741 x799 -x857 -x915 -x973 -x1031 -x1089 -x1147 -x11 x1205 -x14 -x1232 -x17 -x1259 -x20 -x1286 -x23 1782.68/1783.23 v -x1313 -x26 -x1340 -x29 -x1367 -x1394 -x34 -x1421 -x37 -x1448 -x40 -x1475 -x1502 -x45 -x1529 -x48 -x1556 -x51 -x1583 -x54 1782.68/1783.23 v -x1610 -x1637 -x59 -x1664 -x62 -x1691 -x65 -x1718 -x68 -x1745 -x71 -x1772 -x74 -x1799 -x77 -x1826 -x1853 x82 -x1880 -x85 1782.68/1783.23 v -x1907 -x88 -x1934 -x1961 x1963 -x1975 -x1977 -x1989 -x1991 -x2003 -x2005 -x2017 -x2019 -x2031 -x2033 -x2045 -x2047 -x2059 1782.68/1783.23 v -x2061 -x2073 -x2075 -x2087 -x2089 -x2101 -x2103 -x2115 -x2117 -x2129 -x2131 -x2143 -x2145 -x2157 -x2159 -x2171 -x2173 1782.68/1783.23 v -x2185 -x2187 -x2199 -x2201 -x2213 -x2215 -x2227 -x2229 -x2241 -x2243 -x2255 -x2257 -x2269 -x2271 -x2283 -x2285 -x2297 1782.68/1783.23 v -x2309 -x2311 -x2323 -x2325 -x2337 -x2339 -x2351 -x2353 -x2365 -x2367 -x2379 -x2381 -x2393 -x2395 -x2407 -x2409 -x2421 1782.68/1783.23 v -x2423 -x2435 -x2437 -x2449 -x2451 -x2463 -x2465 -x2477 -x2479 -x2491 -x2493 -x2505 -x2507 -x2519 -x2521 -x2533 -x2535 1782.68/1783.23 v -x2547 -x2549 -x2561 -x2563 -x2575 -x2577 -x2589 -x2591 -x2603 -x2605 -x2617 -x2619 -x2631 -x2633 -x2645 -x2647 -x2659 1782.68/1783.23 v -x2661 -x2673 -x2675 x2687 -x2689 -x2701 -x2703 -x2715 -x2717 -x2729 -x2731 -x2743 -x2748 -x2753 -x2758 -x2763 -x2768 1782.68/1783.23 v -x2773 -x2778 -x2783 x2788 -x2793 -x2798 -x2803 -x2808 -x2813 -x2818 -x2823 -x2828 -x2833 -x2838 -x2843 -x2848 -x2853 1782.68/1783.23 v -x2858 -x2863 -x2868 -x2873 -x2878 -x2883 -x2888 -x2893 -x2898 -x2903 -x2908 -x2913 -x2918 -x2923 -x2928 -x2933 -x2938 1782.68/1783.23 v -x2943 -x2948 -x2953 -x2958 -x2963 -x2968 -x2973 -x2978 -x2983 -x2988 -x2993 -x2998 -x3003 -x3008 -x3013 -x3018 -x3023 1782.68/1783.23 v -x3028 -x3033 -x3038 -x3043 -x3048 -x3053 -x3058 -x3063 -x3068 -x3073 -x3078 -x3083 -x3088 -x3093 -x3105 -x3117 -x3129 1782.68/1783.23 v -x3141 x3153 -x370 -x3165 -x3170 -x375 -x3175 -x378 -x3180 -x3185 -x383 -x3190 -x3195 -x388 -x3200 x3205 x393 -x3210 -x396 1782.68/1783.23 v -x3215 -x399 -x3220 -x402 -x3225 -x405 -x3230 -x408 -x3235 -x3240 -x3242 -x3244 -x3246 -x3248 -x3250 -x3252 x3254 -x3256 1782.68/1783.23 v -x3258 -x3260 -x3262 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 x3280 -x3292 -x3304 -x3316 -x3328 -x3340 1782.68/1783.23 v -x448 -x3352 x3357 -x3362 -x455 -x3367 -x458 -x3372 -x461 -x3377 x464 -x3382 -x3387 -x3392 -x471 -x3397 -x3402 -x476 -x3407 1782.68/1783.23 v -x479 -x3412 -x482 -x3417 -x3422 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 1782.68/1783.23 v -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 x3477 -x3489 -x3501 -x3513 -x3525 -x524 -x3537 -x527 -x3542 -x530 -x3547 1782.68/1783.23 v -x3552 -x3557 -x537 -x3562 -x3567 -x3572 -x3577 -x3582 -x3587 -x3592 -x3597 -x3602 -x3607 -x3609 -x3611 -x3613 -x3615 1782.68/1783.23 v -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 x3666 -x3693 -x3720 -x3747 -x3774 1782.68/1783.23 v -x3801 -x3828 -x3840 -x3852 -x596 -x3864 -x599 -x3876 -x3888 -x604 -x3900 -x3912 -x609 -x3924 -x3936 x3948 -x616 -x3960 1782.68/1783.23 v -x3972 -x3984 -x3996 -x625 -x4008 -x4020 -x630 -x4032 -x4044 -x635 -x4056 -x4068 -x4080 -x4082 -x4087 -x4089 -x4094 -x4096 1782.68/1783.23 v -x4101 -x4103 -x4108 -x4110 -x4115 -x4117 -x4122 -x4124 -x4129 -x4131 -x4136 -x4141 -x4143 -x4148 -x4150 -x4155 -x4157 1782.68/1783.23 v x4162 -x4164 -x4169 -x4171 -x4176 -x4178 -x4183 -x4185 -x4190 -x4192 -x4197 -x4199 -x4204 -x4206 -x4211 -x4213 -x4218 1782.68/1783.23 v -x4220 -x4225 x4227 -x4232 -x4234 -x4239 -x4241 -x4246 -x4251 -x4253 -x4258 -x4260 -x4265 -x4267 -x4272 -x4277 -x4279 1782.68/1783.23 v -x4284 -x4286 -x4291 -x4293 -x4298 -x4300 -x4305 -x4307 -x4312 -x4314 -x10 x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 1782.68/1783.23 v -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 1782.68/1783.23 v -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 1782.68/1783.23 v -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 1782.68/1783.23 v -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 1782.68/1783.23 v -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 1782.68/1783.23 v -x159 -x161 -x162 -x163 -x165 -x164 -x166 -x168 -x167 -x169 -x171 -x170 -x172 -x174 -x173 -x175 -x177 -x176 -x178 -x180 -x179 1782.68/1783.23 v -x181 -x183 -x182 -x184 -x186 -x185 -x187 -x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 -x198 -x197 -x199 -x201 -x200 1782.68/1783.23 v -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 1782.68/1783.23 v -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 1782.68/1783.23 v -x244 x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 1782.68/1783.23 v -x265 -x267 -x266 -x268 -x270 -x269 x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 1782.68/1783.23 v -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 1782.68/1783.23 v -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 1782.68/1783.23 v -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 1782.68/1783.23 v -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x369 -x371 -x372 1782.68/1783.23 v -x373 -x374 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x389 -x390 x391 -x392 -x394 -x395 -x397 -x398 -x400 1782.68/1783.23 v -x401 -x403 -x404 -x406 -x407 -x409 -x411 -x410 -x412 -x414 -x413 -x415 -x417 -x416 -x418 -x420 -x419 x421 -x423 -x422 -x424 1782.68/1783.23 v -x426 -x425 -x427 -x429 -x428 -x430 -x432 -x431 -x433 -x435 -x434 -x436 -x438 -x437 -x439 -x363 -x364 -x365 -x366 -x367 x368 1782.68/1783.23 v -x447 -x449 -x450 x451 -x452 -x453 -x454 -x456 -x457 -x459 -x460 -x462 -x463 -x465 -x466 -x467 -x468 -x469 -x470 -x472 -x473 1782.68/1783.23 v -x474 -x475 -x477 -x478 -x480 -x481 -x483 -x484 -x485 -x487 -x486 -x488 -x490 -x489 -x491 -x493 -x492 -x494 -x496 -x495 -x497 1782.68/1783.23 v -x499 -x498 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 x441 -x442 -x443 -x444 1782.68/1783.23 v -x445 -x446 -x522 -x523 -x525 -x526 -x528 -x529 -x531 -x532 -x533 -x534 -x535 -x536 -x538 -x539 -x540 -x541 -x542 -x543 -x544 1782.68/1783.23 v -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x556 -x555 -x558 -x557 -x560 -x559 -x562 -x561 -x564 -x563 -x565 1782.68/1783.23 v -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x516 x517 -x518 -x519 -x520 -x521 1782.68/1783.23 v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x597 -x598 -x600 -x601 -x602 -x603 -x605 -x606 -x607 -x608 -x610 -x611 -x612 -x613 1782.68/1783.23 v x614 -x615 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x636 -x637 -x638 1782.68/1783.23 v -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 1782.68/1783.23 v -x661 -x660 -x662 -x663 -x664 -x666 -x665 -x667 -x669 -x668 -x670 -x672 -x671 -x673 x675 -x674 -x676 -x678 -x677 -x679 -x681 1782.68/1783.23 v -x680 -x682 -x684 -x683 -x685 -x687 -x686 -x688 -x690 -x689 -x691 -x693 -x692 -x694 -x696 -x695 -x697 -x699 -x698 -x700 -x702 1782.68/1783.23 v -x701 x703 -x705 -x704 -x706 -x708 -x707 -x709 -x710 -x711 -x713 -x712 -x714 -x716 -x715 -x717 -x719 -x718 -x720 -x721 -x722 1782.68/1783.23 v -x724 -x723 -x725 -x727 -x726 -x728 -x730 -x729 -x731 -x733 -x732 -x734 -x736 -x735 -x737 -x739 -x738 -x740 -x582 x583 -x584 1782.68/1783.23 v -x585 -x586 -x587 -x588 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 1782.68/1783.23 v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 1782.68/1783.23 v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x800 -x801 1782.68/1783.23 v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 1782.68/1783.23 v -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1782.68/1783.23 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 1782.68/1783.23 v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 1782.68/1783.23 v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 1782.68/1783.23 v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 1782.68/1783.23 v -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 1782.68/1783.23 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1782.68/1783.23 v -x972 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1782.68/1783.23 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1782.68/1783.23 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1782.68/1783.23 v -x1029 -x1030 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 1782.68/1783.23 v -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 1782.68/1783.23 v -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1782.68/1783.23 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 1782.68/1783.23 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 1782.68/1783.23 v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 1782.68/1783.23 v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1148 -x1149 -x1150 1782.68/1783.23 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1782.68/1783.23 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1782.68/1783.23 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1782.68/1783.23 v -x1202 -x1203 -x1204 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 1782.68/1783.23 v -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1233 -x1234 -x1235 -x1236 -x1237 1782.68/1783.23 v -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 1782.68/1783.23 v -x1255 -x1256 -x1257 -x1258 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 1782.68/1783.23 v -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1287 -x1288 -x1289 -x1290 1782.68/1783.23 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 1782.68/1783.23 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 1782.68/1783.23 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1341 -x1342 -x1343 1782.68/1783.23 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 1782.68/1783.23 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 1782.68/1783.23 v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1395 -x1396 1782.68/1783.23 v -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 1782.68/1783.23 v -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 1782.68/1783.23 v -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1449 1782.68/1783.23 v -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1782.68/1783.23 v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 1782.68/1783.23 v -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 1782.68/1783.23 v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 1782.68/1783.23 v -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1782.68/1783.23 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1782.68/1783.23 v -x1555 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 1782.68/1783.23 v -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 1782.68/1783.23 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 1782.68/1783.23 v -x1608 -x1609 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 1782.68/1783.23 v -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 1782.68/1783.23 v -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 1782.68/1783.23 v -x1661 -x1662 -x1663 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 1782.68/1783.23 v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1692 -x1693 -x1694 -x1695 -x1696 1782.68/1783.23 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 1782.68/1783.23 v -x1714 -x1715 -x1716 -x1717 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 1782.68/1783.23 v -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1746 -x1747 -x1748 -x1749 1782.68/1783.23 v -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 1782.68/1783.23 v -x1767 -x1768 -x1769 -x1770 -x1771 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1782.68/1783.23 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1800 -x1801 -x1802 1782.68/1783.23 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1782.68/1783.23 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 1782.68/1783.23 v -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 1782.68/1783.23 v -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1782.68/1783.23 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 1782.68/1783.23 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1908 1782.68/1783.23 v -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 1782.68/1783.23 v -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 1782.68/1783.23 v -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1782.68/1783.23 v -x1962 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1976 -x1978 -x1979 -x1980 -x1981 1782.68/1783.23 v -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1990 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1782.68/1783.23 v -x2001 -x2002 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2020 -x2021 1782.68/1783.23 v -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2032 x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1782.68/1783.23 v -x2041 -x2042 -x2043 -x2044 -x2046 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2060 1782.68/1783.23 v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 1782.68/1783.23 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2088 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 1782.68/1783.23 v -x2100 -x2102 x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2116 -x2118 -x2119 -x2120 1782.68/1783.23 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2130 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 1782.68/1783.23 v -x2140 -x2141 -x2142 -x2144 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2160 1782.68/1783.23 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2172 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 1782.68/1783.23 v -x2180 -x2181 -x2182 -x2183 -x2184 -x2186 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 1782.68/1783.23 v -x2200 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2214 -x2216 -x2217 -x2218 -x2219 1782.68/1783.23 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2228 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 1782.68/1783.23 v -x2239 -x2240 -x2242 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2256 -x2258 -x2259 1782.68/1783.23 v -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2270 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 1782.68/1783.23 v -x2279 -x2280 -x2281 -x2282 -x2284 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2298 1782.68/1783.23 v -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2310 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 1782.68/1783.23 v -x2318 -x2319 -x2320 -x2321 -x2322 -x2324 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1782.68/1783.23 v -x2338 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2352 -x2354 -x2355 -x2356 -x2357 1782.68/1783.23 v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2366 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 1782.68/1783.23 v -x2377 -x2378 -x2380 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2394 -x2396 -x2397 1782.68/1783.23 v -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2408 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 1782.68/1783.23 v -x2417 -x2418 -x2419 -x2420 x2422 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2436 1782.68/1783.23 v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2450 -x2452 -x2453 -x2454 -x2455 -x2456 1782.68/1783.23 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2464 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 1782.68/1783.23 v -x2476 -x2478 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2492 -x2494 -x2495 -x2496 1782.68/1783.23 v -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2506 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 1782.68/1783.23 v -x2516 -x2517 -x2518 -x2520 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2534 -x2536 1782.68/1783.23 v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2548 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1782.68/1783.23 v -x2556 -x2557 -x2558 -x2559 -x2560 x2562 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 1782.68/1783.23 v -x2576 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2590 -x2592 -x2593 -x2594 -x2595 1782.68/1783.23 v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2604 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 1782.68/1783.23 v -x2615 -x2616 -x2618 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2632 -x2634 -x2635 1782.68/1783.23 v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 x2646 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1782.68/1783.23 v -x2655 -x2656 -x2657 -x2658 -x2660 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2674 1782.68/1783.23 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 x2688 -x2690 -x2691 -x2692 -x2693 -x2694 1782.68/1783.23 v -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2702 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 1782.68/1783.23 v -x2714 -x2716 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 x2730 -x2732 -x2733 -x2734 1782.68/1783.23 v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2744 -x2745 -x2746 -x2747 x2749 -x2750 -x2751 -x2752 -x2754 1782.68/1783.23 v -x2755 -x2756 -x2757 -x2759 -x2760 -x2761 -x2762 -x2764 -x2765 -x2766 -x2767 -x2769 -x2770 -x2771 -x2772 -x2774 -x2775 1782.68/1783.23 v -x2776 -x2777 -x2779 -x2780 -x2781 -x2782 -x2784 -x2785 -x2786 -x2787 x2789 -x2790 -x2791 -x2792 -x2794 -x2795 -x2796 1782.68/1783.23 v -x2797 -x2799 -x2800 -x2801 -x2802 -x2804 -x2805 -x2806 -x2807 -x2809 -x2810 -x2811 -x2812 -x2814 -x2815 -x2816 -x2817 1782.68/1783.23 v -x2819 -x2820 -x2821 -x2822 -x2824 -x2825 -x2826 -x2827 x2829 -x2830 -x2831 -x2832 -x2834 -x2835 -x2836 -x2837 -x2839 1782.68/1783.23 v -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2849 -x2850 -x2851 -x2852 -x2854 -x2855 -x2856 -x2857 -x2859 -x2860 1782.68/1783.23 v -x2861 -x2862 -x2864 -x2865 -x2866 -x2867 -x2869 -x2870 -x2871 -x2872 -x2874 -x2875 -x2876 -x2877 -x2879 -x2880 -x2881 1782.68/1783.23 v -x2882 -x2884 -x2885 -x2886 -x2887 -x2889 -x2890 -x2891 -x2892 -x2894 -x2895 -x2896 -x2897 -x2899 -x2900 -x2901 -x2902 1782.68/1783.23 v -x2904 -x2905 -x2906 -x2907 -x2909 -x2910 -x2911 -x2912 -x2914 -x2915 -x2916 -x2917 -x2919 -x2920 -x2921 -x2922 -x2924 1782.68/1783.23 v -x2925 -x2926 -x2927 x2929 -x2930 -x2931 -x2932 -x2934 -x2935 -x2936 -x2937 -x2939 -x2940 -x2941 -x2942 -x2944 -x2945 1782.68/1783.23 v -x2946 -x2947 -x2949 -x2950 -x2951 -x2952 -x2954 -x2955 -x2956 -x2957 -x2959 -x2960 -x2961 -x2962 -x2964 -x2965 -x2966 1782.68/1783.23 v -x2967 -x2969 -x2970 -x2971 -x2972 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2984 -x2985 -x2986 -x2987 1782.68/1783.23 v -x2989 -x2990 -x2991 -x2992 -x2994 -x2995 -x2996 -x2997 -x2999 -x3000 -x3001 -x3002 -x3004 -x3005 -x3006 -x3007 -x3009 1782.68/1783.23 v -x3010 -x3011 -x3012 -x3014 -x3015 -x3016 -x3017 -x3019 -x3020 -x3021 -x3022 -x3024 -x3025 -x3026 -x3027 -x3029 -x3030 1782.68/1783.23 v -x3031 -x3032 -x3034 -x3035 -x3036 -x3037 -x3039 -x3040 -x3041 -x3042 -x3044 -x3045 -x3046 -x3047 -x3049 -x3050 -x3051 1782.68/1783.23 v -x3052 x3054 -x3055 -x3056 -x3057 -x3059 -x3060 -x3061 -x3062 -x3064 -x3065 -x3066 -x3067 -x3069 -x3070 -x3071 -x3072 1782.68/1783.23 v -x3074 -x3075 -x3076 -x3077 -x3079 -x3080 -x3081 -x3082 -x3084 -x3085 -x3086 -x3087 -x3089 -x3090 -x3091 -x3092 -x3094 1782.68/1783.23 v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 1782.68/1783.23 v -x3113 -x3114 -x3115 -x3116 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3130 -x3131 1782.68/1783.23 v -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 1782.68/1783.23 v -x3150 -x3151 -x3152 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 x3166 -x3167 -x3168 -x3169 1782.68/1783.23 v -x3171 -x3172 -x3173 -x3174 -x3176 -x3177 -x3178 -x3179 -x3181 -x3182 -x3183 -x3184 x3186 -x3187 -x3188 -x3189 -x3191 1782.68/1783.23 v -x3192 -x3193 -x3194 -x3196 -x3197 -x3198 -x3199 -x3201 -x3202 -x3203 -x3204 x3206 -x3207 -x3208 -x3209 -x3211 -x3212 1782.68/1783.23 v -x3213 -x3214 -x3216 -x3217 -x3218 -x3219 -x3221 -x3222 -x3223 -x3224 -x3226 -x3227 -x3228 -x3229 -x3231 -x3232 -x3233 1782.68/1783.23 v -x3234 -x3236 -x3237 -x3238 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 x3251 -x3253 x3255 x3257 -x3259 -x3261 -x3263 -x3265 1782.68/1783.23 v -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 x3279 x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1782.68/1783.23 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 1782.68/1783.23 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3329 1782.68/1783.23 v -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 1782.68/1783.23 v -x3348 -x3349 -x3350 -x3351 -x3353 -x3354 -x3355 -x3356 x3358 x3359 -x3360 -x3361 -x3363 -x3364 -x3365 -x3366 -x3368 -x3369 1782.68/1783.23 v -x3370 -x3371 -x3373 -x3374 -x3375 -x3376 -x3378 -x3379 -x3380 -x3381 -x3383 -x3384 -x3385 -x3386 -x3388 -x3389 -x3390 1782.68/1783.23 v -x3391 -x3393 -x3394 -x3395 -x3396 -x3398 -x3399 -x3400 -x3401 -x3403 -x3404 -x3405 -x3406 -x3408 -x3409 -x3410 -x3411 1782.68/1783.23 v -x3413 -x3414 -x3415 -x3416 -x3418 -x3419 -x3420 -x3421 -x3423 -x3424 -x3425 -x3426 -x3428 x3430 x3432 x3434 -x3436 -x3438 1782.68/1783.23 v -x3440 -x3442 -x3444 -x3446 x3448 -x3450 x3452 -x3454 -x3456 -x3458 -x3460 x3462 x3464 x3466 -x3467 -x3468 -x3469 -x3470 1782.68/1783.23 v -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 1782.68/1783.23 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 1782.68/1783.23 v -x3508 -x3509 -x3510 -x3511 -x3512 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3526 1782.68/1783.23 v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3538 -x3539 -x3540 -x3541 -x3543 -x3544 -x3545 1782.68/1783.23 v -x3546 -x3548 -x3549 -x3550 -x3551 -x3553 -x3554 -x3555 -x3556 x3558 -x3559 -x3560 -x3561 -x3563 -x3564 -x3565 -x3566 1782.68/1783.23 v -x3568 -x3569 -x3570 -x3571 -x3573 -x3574 -x3575 -x3576 -x3578 -x3579 -x3580 -x3581 -x3583 -x3584 -x3585 -x3586 -x3588 1782.68/1783.23 v -x3589 -x3590 -x3591 -x3593 -x3594 -x3595 -x3596 -x3598 -x3599 -x3600 -x3601 -x3603 -x3604 -x3605 -x3606 -x3608 -x3610 1782.68/1783.23 v -x3612 -x3614 -x3616 x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 x3636 -x3638 -x3640 -x3641 -x3642 -x3643 1782.68/1783.23 v -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 1782.68/1783.23 v -x3661 -x3662 -x3663 -x3664 -x3665 x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 1782.68/1783.23 v -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3694 -x3695 -x3696 1782.68/1783.23 v -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 1782.68/1783.23 v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1782.68/1783.23 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3748 -x3749 1782.68/1783.23 v -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 1782.68/1783.23 v -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 1782.68/1783.23 v -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 x3802 1782.68/1783.23 v -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 1782.68/1783.23 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 1782.68/1783.23 v -x3838 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3854 -x3855 -x3856 1782.68/1783.23 v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 1782.68/1783.23 v -x3875 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3889 -x3890 -x3891 -x3892 -x3893 1782.68/1783.23 v -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 1782.68/1783.23 v x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 1782.68/1783.23 v -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 x3949 1782.68/1783.23 v -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 1782.68/1783.23 v -x3968 -x3969 -x3970 -x3971 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3985 -x3986 1782.68/1783.23 v -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 1782.68/1783.23 v -x4005 -x4006 -x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4022 -x4023 1782.68/1783.23 v -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 1782.68/1783.23 v -x4042 -x4043 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4057 -x4058 -x4059 -x4060 1782.68/1783.23 v -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 1782.68/1783.23 v -x4079 -x4081 -x4083 -x4084 -x4085 -x4086 -x4088 -x4090 -x4091 -x4092 -x4093 -x4095 -x4097 -x4098 -x4099 -x4100 -x4102 1782.68/1783.23 v -x4104 -x4105 -x4106 -x4107 -x4109 -x4111 -x4112 -x4113 -x4114 -x4116 -x4118 -x4119 -x4120 -x4121 -x4123 -x4125 -x4126 1782.68/1783.23 v -x4127 -x4128 -x4130 -x4132 -x4133 -x4134 -x4135 -x4137 -x4138 -x4139 -x4140 -x4142 -x4144 -x4145 -x4146 -x4147 -x4149 1782.68/1783.23 v -x4151 -x4152 -x4153 -x4154 -x4156 -x4158 -x4159 -x4160 -x4161 x4163 -x4165 -x4166 -x4167 -x4168 -x4170 -x4172 -x4173 1782.68/1783.23 v -x4174 -x4175 -x4177 -x4179 -x4180 -x4181 -x4182 -x4184 x4186 -x4187 -x4188 -x4189 -x4191 -x4193 -x4194 -x4195 -x4196 1782.68/1783.23 v -x4198 -x4200 -x4201 -x4202 -x4203 -x4205 x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4219 -x4221 1782.68/1783.23 v -x4222 -x4223 -x4224 -x4226 x4228 -x4229 -x4230 -x4231 x4233 -x4235 -x4236 -x4237 -x4238 -x4240 -x4242 -x4243 -x4244 -x4245 1782.68/1783.23 v -x4247 -x4248 -x4249 -x4250 -x4252 -x4254 -x4255 -x4256 -x4257 -x4259 -x4261 -x4262 -x4263 -x4264 -x4266 x4268 -x4269 1782.68/1783.23 v -x4270 -x4271 -x4273 -x4274 -x4275 -x4276 -x4278 -x4280 -x4281 -x4282 -x4283 -x4285 -x4287 -x4288 -x4289 -x4290 x4292 1782.68/1783.23 v -x4294 -x4295 -x4296 -x4297 -x4299 -x4301 -x4302 -x4303 -x4304 -x4306 -x4308 -x4309 -x4310 -x4311 x4313 -x4315 -x4316 1782.68/1783.23 v -x4317 -x4318
OK 23
/tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-373074-1177161629 -o ROOT/results/node44/solver-373074-1177161629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22221 /proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=2552 CPUtime=0 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 164074667 2613248 230 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 638 230 193 16 0 77 0 [startup+0.025155 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22221 /proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=2816 CPUtime=0.02 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 354 0 0 0 2 0 0 0 18 0 1 0 164074667 2883584 324 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11747031 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 704 324 199 16 0 143 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2816 [startup+0.101162 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22221 /proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=3884 CPUtime=0.09 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 618 0 0 0 9 0 0 0 18 0 1 0 164074667 3977216 588 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 971 588 199 16 0 410 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3884 [startup+0.301183 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22221 /proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=6240 CPUtime=0.29 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1141 0 0 0 29 0 0 0 19 0 1 0 164074667 6389760 1111 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11716219 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 1560 1111 204 16 0 999 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6240 [startup+0.701223 s] /proc/loadavg: 1.00 1.00 1.00 3/77 22221 /proc/meminfo: memFree=1776984/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=6376 CPUtime=0.69 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1169 0 0 0 69 0 0 0 23 0 1 0 164074667 6529024 1139 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134557938 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 1594 1139 205 16 0 1033 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6376 [startup+1.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1773136/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=6648 CPUtime=1.49 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1234 0 0 0 148 1 0 0 25 0 1 0 164074667 6807552 1204 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 1662 1204 205 16 0 1101 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6648 [startup+3.10247 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1772432/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=8264 CPUtime=3.09 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 1632 0 0 0 308 1 0 0 25 0 1 0 164074667 8462336 1602 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 2066 1602 205 16 0 1505 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8264 [startup+6.3018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1769232/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=10868 CPUtime=6.29 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 2296 0 0 0 627 2 0 0 25 0 1 0 164074667 11128832 2266 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 2717 2266 205 16 0 2156 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10868 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1764624/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=14880 CPUtime=12.69 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 3317 0 0 0 1266 3 0 0 25 0 1 0 164074667 15237120 3282 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134516816 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 3720 3282 205 16 0 3159 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14880 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1752720/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=26452 CPUtime=25.48 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 6205 0 0 0 2543 5 0 0 25 0 1 0 164074667 27086848 6156 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 6613 6156 205 16 0 6052 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26452 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1738000/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=41144 CPUtime=51.07 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 9914 0 0 0 5097 10 0 0 25 0 1 0 164074667 42131456 9833 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522744 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 10286 9833 205 16 0 9725 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 41144 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1721872/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=57320 CPUtime=102.26 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13945 0 0 0 10211 15 0 0 25 0 1 0 164074667 58695680 13864 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134558653 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 14330 13864 205 16 0 13769 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 57320 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1721808/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=57320 CPUtime=162.24 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13947 0 0 0 16202 22 0 0 25 0 1 0 164074667 58695680 13866 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 14330 13866 205 16 0 13769 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 57320 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1721744/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=57320 CPUtime=222.22 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 13948 0 0 0 22196 26 0 0 25 0 1 0 164074667 58695680 13867 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 14330 13867 205 16 0 13769 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 57320 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1697360/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=81676 CPUtime=282.21 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 20038 0 0 0 28189 32 0 0 25 0 1 0 164074667 83636224 19957 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 20419 19957 205 16 0 19858 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 81676 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1675216/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=103816 CPUtime=342.19 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 25679 0 0 0 34181 38 0 0 25 0 1 0 164074667 106307584 25480 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559287 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 25954 25480 205 16 0 25393 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 103816 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1670480/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=108712 CPUtime=402.17 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 26906 0 0 0 40177 40 0 0 25 0 1 0 164074667 111321088 26707 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 27178 26707 205 16 0 26617 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 108712 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1659472/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=119468 CPUtime=462.16 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 29621 0 0 0 46172 44 0 0 25 0 1 0 164074667 122335232 29422 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 29867 29422 205 16 0 29306 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 119468 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1639056/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=140468 CPUtime=522.14 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 34857 0 0 0 52167 47 0 0 25 0 1 0 164074667 143839232 34658 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 35117 34658 205 16 0 34556 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 140468 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1624848/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=154004 CPUtime=582.12 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 38254 0 0 0 58162 50 0 0 25 0 1 0 164074667 157700096 38055 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 38501 38055 205 16 0 37940 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 154004 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1624848/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=154004 CPUtime=642.11 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 38254 0 0 0 64159 52 0 0 25 0 1 0 164074667 157700096 38055 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522733 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 38501 38055 205 16 0 37940 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 154004 ################ # More data... # ################ /proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=882.04 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 88146 58 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 164328 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=942.02 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 94142 60 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 164328 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1614672/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1002.01 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 100139 62 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 164328 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1061.99 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 106135 64 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 164328 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22222 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1121.98 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 112132 66 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 164328 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1181.96 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 118128 68 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522695 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 164328 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1241.94 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40830 0 0 0 124124 70 0 0 25 0 1 0 164074667 168271872 40631 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40631 205 16 0 40521 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 164328 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1301.92 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 130120 72 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 164328 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1361.9 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 136116 74 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 11716252 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 164328 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1421.89 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 142113 76 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 164328 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1481.87 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 148108 79 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 164328 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1541.86 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 154104 82 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 164328 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1601.84 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 160100 84 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134559161 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 164328 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1661.82 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 166095 87 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 164328 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614608/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1721.81 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 172091 90 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 164328 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1781.78 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178086 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 164328 Solver just ended. Dumping a history of the last processes samples [startup+1782.7 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1782.18 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178126 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1782.18 Current children cumulated vsize (KiB) 164328 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1782.59 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178167 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (KiB) 164328 [startup+1783.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22224 /proc/meminfo: memFree=1614544/2055920 swapFree=4156104/4192956 [pid=22221] ppid=22219 vsize=164328 CPUtime=1782.68 /proc/22221/stat : 22221 (Pueblo) R 22219 22221 21423 0 -1 4194304 40831 0 0 0 178176 92 0 0 25 0 1 0 164074667 168271872 40632 18446744073709551615 134512640 134579096 4294956672 18446744073709551615 134519093 0 0 4096 0 0 0 0 17 1 0 0 /proc/22221/statm: 41082 40632 205 16 0 40521 0 Current children cumulated CPU time (s) 1782.68 Current children cumulated vsize (KiB) 164328 Child status: 10 Real time (s): 1783.27 CPU time (s): 1782.76 CPU user time (s): 1781.8 CPU system time (s): 0.957854 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 164328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.8 system time used= 0.957854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40838 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= 15 involuntary context switches= 37767 runsolver used 2.14167 second user time and 4.19436 second system time The end
Begin job on node44 on Sat Apr 21 13:20:30 UTC 2007 IDJOB= 373074 IDBENCH= 25017 IDSOLVER= 165 FILE ID= node44/373074-1177161629 PBS_JOBID= 4648907 Free space on /tmp= 66412 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node44/convwatcher-373074-1177161629 -o ROOT/results/node44/conversion-373074-1177161629 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-373074-1177161629 -o ROOT/results/node44/solver-373074-1177161629 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373074-1177161629/instance-373074-1177161629.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED= 962705383 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node44.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.234 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.234 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: 1777456 kB Buffers: 42824 kB Cached: 147076 kB SwapCached: 13692 kB Active: 76168 kB Inactive: 138080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1777456 kB SwapTotal: 4192956 kB SwapFree: 4156104 kB Dirty: 2772 kB Writeback: 0 kB Mapped: 32440 kB Slab: 49748 kB Committed_AS: 1392296 kB PageTables: 1736 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66412 MiB End job on node44 on Sat Apr 21 13:50:13 UTC 2007