Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | OPT | 35 | 8.41372 | 8.43757 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/ area_partials/normalized-fir09_area_partials.opb |
MD5SUM | 267e112b52309c055e255eac2f43ef33 |
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 | 35 |
Best CPU time to get the best result obtained on this benchmark | 3.85141 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | YES |
Number of variables | 5060 |
Total number of constraints | 20188 |
Number of constraints which are clauses | 20188 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 250 |
Number of terms in the objective function | 537 |
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 | 537 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 537 |
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.38/0.43 c starting to Solve 0.38/0.43 c #variables read: 5060 - #constraints read: 20160 0.38/0.43 o 42 0.48/0.52 o 41 0.48/0.56 o 40 0.58/0.64 o 39 0.99/1.00 o 38 1.19/1.23 o 37 3.39/3.42 o 36 3.99/4.05 o 35 8.39/8.41 c optimum objective found = 35 8.39/8.41 c total time : 8.4 s 8.39/8.41 s OPTIMUM FOUND 8.39/8.41 v x1 x2 x3 x4 x5 x6 x9 x10 x11 x12 x13 x31 x39 x40 x47 x70 x92 x93 x96 x97 x98 x114 x330 x434 x435 x475 x476 x525 x526 -x527 x528 -x529 8.39/8.41 v -x530 -x532 -x535 -x537 -x538 -x540 -x544 -x549 -x550 -x552 -x562 -x564 -x567 -x572 -x575 -x577 -x579 -x581 -x584 -x586 -x589 8.39/8.41 v -x591 -x592 -x594 -x596 -x598 -x601 -x604 -x606 -x607 -x609 -x611 -x613 -x624 -x635 -x637 -x638 -x639 -x641 -x645 x648 -x650 8.39/8.41 v -x653 -x655 x658 -x660 -x663 -x666 -x669 -x672 x674 -x675 -x677 -x680 -x682 -x684 x686 -x688 -x690 -x692 -x695 -x705 -x708 8.39/8.41 v -x710 -x712 -x715 -x719 -x731 -x741 -x745 -x747 -x752 -x755 -x767 -x771 -x773 -x774 -x776 -x779 -x780 -x782 -x789 -x793 -x803 8.39/8.41 v -x808 -x811 -x814 -x821 -x829 -x832 -x835 -x837 -x839 -x841 -x842 -x843 -x845 -x852 -x853 -x855 -x859 -x867 -x871 -x874 -x876 8.39/8.41 v -x878 -x903 -x926 -x927 -x928 -x930 -x981 -x982 -x984 -x1005 -x1052 -x1061 -x1082 -x1108 -x1109 -x1111 -x1152 -x1198 -x1200 8.39/8.41 v -x1202 -x1204 -x1207 -x1219 -x1228 -x1250 -x1272 -x1275 -x1282 -x1292 -x1294 -x1300 -x1305 -x1308 -x1314 -x1317 -x1319 8.39/8.41 v -x1325 -x1334 -x1337 -x1385 -x1391 -x1400 -x1402 -x1406 -x1408 -x1430 -x1435 -x1437 -x1482 -x1484 -x1508 -x1532 -x1581 8.39/8.41 v -x1583 -x1587 -x1589 -x1591 -x1593 -x1594 -x1596 -x1646 -x1652 -x1654 -x1661 -x1668 -x1671 -x1677 -x1700 -x1725 -x1727 8.39/8.41 v -x1729 -x1735 -x1737 -x1756 -x1762 -x1813 -x1815 -x1818 -x1822 -x1829 -x1831 -x1834 -x1853 -x1861 -x1863 -x1865 -x1882 8.39/8.41 v -x1884 -x1886 -x1889 -x1907 -x1909 -x1912 -x1921 -x1940 -x1942 -x1983 -x1986 -x1994 -x1997 -x2006 -x2057 -x2075 -x2125 8.39/8.41 v -x2127 -x2129 -x2152 -x2203 -x2205 -x2218 -x2219 -x2220 -x2222 -x2239 -x2240 -x2242 -x2257 -x2259 -x2270 -x2272 -x2320 8.39/8.41 v -x2327 -x2335 -x2344 -x2347 -x2353 -x2358 -x2399 -x2401 -x2422 -x2428 -x2431 -x2436 -x2438 -x2440 -x2446 -x2448 -x2473 8.39/8.41 v -x2491 -x2506 -x2524 -x2526 -x2558 -x2590 -x2697 -x2739 -x2742 -x2757 -x2774 -x2794 -x2810 -x2812 -x2815 -x2818 -x2823 8.39/8.41 v -x2838 -x2840 -x2844 -x2860 -x2969 -x3013 -x3014 -x3016 -x3062 -x3084 -x3086 -x3138 -x3142 -x3147 -x3149 -x3165 -x3173 8.39/8.41 v -x3176 -x3178 -x3195 -x3198 -x3201 -x3217 -x3226 -x3229 -x3231 -x3272 -x3283 -x3285 -x3286 -x3288 -x3294 -x3306 -x3313 8.39/8.41 v -x3316 -x3419 -x3431 -x3432 -x3434 -x3437 -x3454 -x3489 -x3495 -x3507 -x3513 -x3527 -x3540 -x3543 -x3544 -x3546 -x3553 8.39/8.41 v -x3558 -x3571 -x3574 -x3593 -x3597 -x3606 -x3623 -x3637 -x3639 -x3641 -x3644 -x3649 -x3651 -x3652 -x3654 -x3675 -x3677 8.39/8.41 v -x3679 -x3681 -x3689 -x3692 -x3697 -x3704 -x3710 -x3713 -x3727 -x3759 -x3762 -x3765 -x3770 -x3773 -x3783 -x3785 -x3787 8.39/8.41 v -x3789 -x3792 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3803 -x3842 -x3857 -x3859 -x3896 -x3933 -x3935 -x3938 -x3940 8.39/8.41 v -x3943 -x3964 -x3974 -x3976 -x3989 -x4000 -x4010 -x4013 -x4016 -x4023 -x4059 -x4067 -x4069 -x4071 -x4077 -x4083 -x4087 8.39/8.41 v -x4090 -x4131 -x4140 -x4143 -x4144 -x4146 -x4153 -x4159 -x4162 -x4165 -x4169 -x4172 -x4175 -x4178 -x4180 -x4183 -x4186 8.39/8.41 v -x4187 -x4189 -x4206 -x4211 -x4213 -x4229 -x4230 -x4232 -x4238 -x4240 -x4264 -x4276 -x4296 -x4298 -x4301 -x4303 -x4307 8.39/8.41 v -x4319 -x4321 -x4338 -x4357 -x4358 -x4360 -x4363 -x4365 -x4368 -x4372 -x4375 -x4378 -x4420 -x4437 -x4439 -x4441 -x4444 8.39/8.41 v -x4493 -x4543 -x4561 -x4563 -x4565 -x4584 -x4586 -x4591 -x4593 -x4596 -x4601 -x4602 -x4604 -x4608 -x4652 -x4656 -x4658 8.39/8.41 v -x4664 -x4672 -x4674 -x4680 -x4682 -x4687 -x4690 -x4696 -x4713 -x4725 -x4731 -x4753 -x4759 -x4803 -x4806 -x4811 -x4814 8.39/8.41 v -x4861 -x4863 -x4865 -x4867 -x4870 -x4888 -x4890 -x4893 -x4897 -x4900 -x4903 -x4904 -x4905 -x4907 -x4926 -x4929 -x4932 8.39/8.41 v -x4947 -x4949 -x4953 -x4955 -x4957 -x4959 -x4963 -x4973 -x4974 -x4976 -x4981 -x4984 -x4987 -x4990 -x5004 -x5007 -x5010 8.39/8.41 v -x5013 -x5022 -x5037 x5050 -x5052 -x5055 -x5059 -x531 -x7 -x534 -x8 -x539 -x14 -x15 -x551 -x16 -x17 -x18 -x19 -x20 -x21 -x22 8.39/8.41 v -x23 -x24 -x25 -x603 -x26 -x612 -x623 -x27 -x28 -x29 -x30 -x32 -x33 -x654 -x34 -x593 -x35 -x662 -x36 -x37 -x38 -x671 -x665 -x41 8.39/8.41 v -x42 -x43 -x679 -x44 -x45 -x580 -x46 -x683 -x48 -x49 -x50 -x694 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x718 -x730 -x59 -x60 8.39/8.41 v -x61 -x62 -x63 -x746 -x64 -x754 -x65 -x66 -x67 -x68 -x69 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x781 -x597 -x79 -x792 -x80 -x802 8.39/8.41 v -x775 -x81 -x807 -x82 -x83 -x813 -x84 -x820 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x834 -x94 -x95 -x576 -x99 -x100 -x101 -x102 8.39/8.41 v -x103 -x844 -x104 -x105 -x106 -x858 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x115 -x116 -x117 -x118 -x119 -x929 -x120 -x121 8.39/8.41 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 8.39/8.41 v -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x1390 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x1582 8.39/8.41 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 8.39/8.41 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 8.39/8.41 v -x2151 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x2271 -x2319 -x215 -x216 -x217 -x218 -x219 8.39/8.41 v -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x2447 -x227 -x228 -x229 -x230 -x231 -x2589 -x232 -x233 -x234 -x235 -x236 -x237 8.39/8.41 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x2859 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x788 -x255 8.39/8.41 v -x256 -x3172 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x3315 -x272 -x273 8.39/8.41 v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x3573 -x287 -x3596 -x288 -x289 -x290 -x291 8.39/8.41 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x3680 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 8.39/8.41 v -x311 -x312 -x313 -x314 -x766 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x3988 -x328 8.39/8.41 v -x329 -x331 -x332 -x4022 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x4089 -x340 -x341 -x4139 -x342 -x343 -x344 -x345 -x346 8.39/8.41 v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x4182 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 8.39/8.41 v -x4239 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x4302 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x2811 -x1660 8.39/8.41 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x4377 -x390 -x391 -x392 -x4443 -x4492 -x393 -x394 -x395 -x396 -x397 -x398 8.39/8.41 v -x399 -x400 -x401 -x402 -x1507 -x403 -x404 -x405 -x4607 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x4689 8.39/8.41 v -x416 -x417 -x418 -x419 -x420 -x421 -x4758 -x422 -x423 -x424 -x425 -x426 -x427 -x4813 -x428 -x429 -x430 -x4866 -x431 -x432 8.39/8.41 v -x433 -x436 -x873 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x4906 8.39/8.41 v -x453 -x454 -x4931 -x455 -x456 -x457 -x458 -x459 -x460 -x2124 -x461 -x608 -x462 -x463 -x464 -x4962 -x465 -x466 -x4595 -x467 8.39/8.41 v x468 -x4066 -x469 -x470 -x471 -x472 -x473 -x474 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x4989 -x484 -x485 -x486 -x487 8.39/8.41 v -x488 -x4603 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x5012 -x496 -x497 -x5021 -x498 -x1993 -x499 -x500 -x501 -x1249 -x502 8.39/8.41 v -x503 -x504 -x5036 -x505 -x4542 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 8.39/8.41 v -x521 -x522 -x523 -x524 x533 x536 x541 -x542 -x588 -x585 -x543 -x545 -x546 -x547 -x548 -x553 -x566 -x644 -x554 -x555 -x556 8.39/8.41 v -x557 -x558 -x559 -x560 -x561 -x563 x565 -x568 -x569 -x570 -x571 -x573 -x574 x578 -x582 -x583 x587 x590 x595 x599 -x600 x602 8.39/8.41 v -x605 x610 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x640 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 8.39/8.41 v -x634 -x636 -x642 -x643 x646 -x647 -x649 -x651 -x652 x656 -x659 -x668 -x657 x661 x664 x667 x670 -x673 -x676 -x678 -x681 -x685 8.39/8.41 v -x687 x689 -x691 x693 -x696 -x697 -x698 -x699 -x700 -x701 -x740 -x702 -x703 -x704 x706 -x707 -x709 -x711 -x713 -x714 -x716 8.39/8.41 v -x717 -x720 -x751 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x732 -x733 -x734 -x770 -x735 -x736 -x737 -x738 -x739 8.39/8.41 v -x742 -x743 -x744 -x748 -x749 -x750 x753 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x768 x769 -x772 -x777 8.39/8.41 v -x778 x783 -x784 -x785 -x786 -x787 -x790 -x791 -x831 -x794 -x795 -x796 -x797 -x798 -x828 -x799 -x800 -x801 -x804 -x805 -x806 8.39/8.41 v -x810 -x809 x812 x815 -x816 -x817 -x818 -x819 x822 -x823 -x824 -x825 -x826 -x827 x830 x833 x836 -x838 -x840 -x846 -x854 -x847 8.39/8.41 v -x870 -x848 -x849 -x850 -x851 x856 -x857 -x860 -x861 -x862 -x866 -x863 -x864 -x865 -x868 -x869 -x872 -x875 -x3640 -x877 -x879 8.39/8.41 v -x2435 -x880 -x1281 -x1051 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x1304 -x889 -x890 -x891 -x892 -x893 -x1206 -x894 8.39/8.41 v -x895 -x896 -x3539 -x897 -x1274 -x3761 -x898 -x899 -x900 -x901 -x902 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x3696 -x911 8.39/8.41 v -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x3934 -x924 -x925 -x931 -x932 -x933 -x934 -x935 8.39/8.41 v -x936 -x937 -x938 -x939 -x3200 -x940 -x941 -x942 -x943 -x944 -x945 -x3177 -x946 -x1920 -x947 -x2221 -x948 -x949 -x3764 -x950 8.39/8.41 v -x951 -x952 -x953 -x954 -x955 -x1060 -x956 -x957 -x958 -x959 -x960 -x1199 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 8.39/8.41 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x983 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 8.39/8.41 v -x993 -x994 -x995 -x996 -x3506 -x997 -x998 -x1985 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1006 -x1007 -x1008 -x1009 8.39/8.41 v -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x3418 -x1016 -x1017 -x1982 -x1018 -x2241 -x1728 -x1019 -x1020 -x1021 -x1022 8.39/8.41 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 8.39/8.41 v -x1040 -x3772 -x1041 -x1042 -x1043 -x1044 -x1888 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1053 -x1054 -x1055 -x1056 8.39/8.41 v -x1057 -x1058 -x2738 -x1203 -x1586 -x1059 -x1814 -x1062 -x1063 -x1064 -x1065 -x1324 -x1066 -x1067 -x1068 -x1069 -x1070 8.39/8.41 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 8.39/8.41 v -x1089 -x1090 -x1755 -x3648 -x1218 -x1091 -x3691 -x1092 -x1093 -x1094 -x1095 -x3592 -x1096 -x1097 -x1098 -x1099 -x1100 8.39/8.41 v -x1101 -x1102 -x1103 -x1104 -x1821 -x1105 -x1106 -x1107 -x1110 x1112 -x1113 -x3512 -x1114 -x1115 -x1116 -x1117 -x1118 8.39/8.41 v -x1881 -x1119 -x1120 -x1121 -x1122 -x1123 -x2421 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 8.39/8.41 v -x1134 -x1135 -x1136 -x2756 -x1137 -x1138 -x1139 -x1140 -x1830 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 8.39/8.41 v -x1149 -x1150 -x1151 -x1153 -x1154 -x1155 -x1156 -x2204 -x2490 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 8.39/8.41 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x2258 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 8.39/8.41 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x3197 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 8.39/8.41 v -x1197 -x1201 -x1205 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1860 -x1215 -x2839 -x1216 -x1217 -x1220 -x1221 8.39/8.41 v -x1222 -x1223 -x1224 -x1225 -x1226 -x2427 -x1227 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1318 -x1235 -x1236 -x1237 8.39/8.41 v -x1238 -x1239 -x1996 -x1240 -x1241 -x1242 -x1243 -x2346 -x1244 -x1245 -x1246 -x1247 -x1293 -x1248 -x3488 -x1251 -x1252 8.39/8.41 v -x1253 -x1254 -x3552 -x1255 -x1256 -x1257 -x1258 -x3769 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 8.39/8.41 v -x1268 -x3164 -x1269 -x1270 -x1271 x1273 -x1590 -x1276 -x1277 -x1278 -x3312 -x1279 -x1280 -x2343 -x1283 -x1284 -x1285 8.39/8.41 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1295 -x3676 -x1667 -x1296 -x2814 -x1297 -x1298 -x1299 -x1301 -x1302 -x1724 8.39/8.41 v -x1303 -x1306 -x1307 x1309 -x1310 -x1311 -x3788 -x1312 -x1313 -x1315 -x3282 -x1316 -x1320 -x1321 -x3194 -x1322 -x1323 8.39/8.41 v -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1335 -x1336 -x1338 -x1339 -x1340 -x1341 -x1342 -x3688 -x1343 8.39/8.41 v -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x2741 -x1358 -x1359 8.39/8.41 v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x3436 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 8.39/8.41 v -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1386 -x1387 -x3709 -x1388 -x1389 -x1392 -x1393 -x1394 8.39/8.41 v -x1395 -x3939 -x1396 -x1397 -x1398 -x1399 -x1401 -x1403 -x1404 -x1405 -x1407 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 8.39/8.41 v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x3791 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1431 8.39/8.41 v -x1432 -x1885 -x1433 -x1434 -x3570 -x1436 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x3305 -x1447 8.39/8.41 v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x3605 -x1457 -x1458 -x3271 -x1459 -x1460 -x1461 -x1462 8.39/8.41 v -x1463 -x1464 -x1465 -x3494 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 8.39/8.41 v -x1479 -x1480 -x1481 -x1483 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x3216 -x1493 -x1494 -x1495 -x1496 8.39/8.41 v -x1497 -x1498 -x1499 -x3545 -x1500 -x2326 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1509 -x1510 -x1511 -x1512 -x1513 8.39/8.41 v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 8.39/8.41 v -x1531 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1653 -x2056 8.39/8.41 v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 8.39/8.41 v -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x3148 -x1574 -x1575 -x1576 -x3526 -x2793 -x1577 8.39/8.41 v -x1578 -x1579 -x1580 -x1584 -x3784 -x1585 -x1588 x1592 -x1595 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 8.39/8.41 v -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 8.39/8.41 v -x1622 -x1623 -x1624 -x1625 -x1626 -x3712 -x1627 -x1628 -x1629 -x1864 -x1630 -x1631 -x3975 -x1632 -x1633 -x1634 -x1635 8.39/8.41 v -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1647 -x3758 -x1648 -x1649 -x1650 -x1651 x1655 -x1656 8.39/8.41 v -x1657 -x1658 -x1659 x1662 -x1663 -x1664 -x1665 -x1666 -x1669 -x1670 -x1672 -x1673 -x1674 -x1675 -x1676 -x1678 -x1679 8.39/8.41 v -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x2334 -x1689 -x2352 -x1690 -x1691 -x1692 -x1693 -x1694 8.39/8.41 v -x1695 -x1696 -x1697 -x1698 -x1699 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 8.39/8.41 v -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1726 -x1730 -x1731 -x1732 -x1817 -x1733 8.39/8.41 v -x1734 -x1736 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x2817 8.39/8.41 v -x1752 -x1753 -x1754 -x1757 -x1758 -x1908 -x1759 -x1760 -x1761 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x3061 8.39/8.41 v -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 8.39/8.41 v -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 8.39/8.41 v -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x2505 -x1811 -x1812 -x1816 -x1819 -x1820 -x1823 -x1824 -x1825 -x1826 8.39/8.41 v -x1827 -x1828 -x1832 -x1833 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 8.39/8.41 v -x1848 -x1849 -x1850 -x1851 -x1852 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x3225 -x1862 -x1866 -x1867 -x1868 -x1869 8.39/8.41 v -x1870 -x1871 -x2439 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1883 -x1887 x1890 -x1891 -x1892 8.39/8.41 v -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 x1910 -x1911 -x1913 8.39/8.41 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 8.39/8.41 v -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1941 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 8.39/8.41 v -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 8.39/8.41 v -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1984 -x1987 -x1988 -x1989 8.39/8.41 v -x1990 -x1991 -x1992 -x1995 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2007 -x2008 -x2009 -x2010 -x2011 8.39/8.41 v -x2472 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 8.39/8.41 v -x2028 -x2029 -x2773 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 8.39/8.41 v -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2058 -x2059 -x2060 -x2061 -x2062 8.39/8.41 v -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2076 -x2077 -x2078 -x2079 -x2080 8.39/8.41 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 8.39/8.41 v -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 8.39/8.41 v -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2126 -x2128 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 8.39/8.41 v -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2430 -x2142 -x3287 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 8.39/8.41 v -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 8.39/8.41 v -x2170 -x2843 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 8.39/8.41 v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 8.39/8.41 v -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2223 -x2224 -x2225 -x2226 -x2227 8.39/8.41 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2243 -x2244 -x2245 -x2246 -x3137 -x2247 8.39/8.41 v -x2248 -x3703 -x3643 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 8.39/8.41 v -x2266 -x2267 -x2268 -x2269 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 8.39/8.41 v -x2286 -x2287 -x2288 -x2289 -x2822 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 8.39/8.41 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x3293 -x2313 -x2314 -x2315 -x2316 -x2317 8.39/8.41 v -x2318 -x2321 -x2322 -x2323 -x2324 -x2325 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2336 -x2337 -x2338 -x2339 -x2340 8.39/8.41 v -x2341 -x2342 -x2345 -x2348 -x2349 -x2350 -x2351 -x2354 -x2355 -x2356 -x2357 x2359 -x2360 -x2361 -x2362 -x2363 -x2364 8.39/8.41 v -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 8.39/8.41 v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 8.39/8.41 v -x2400 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 8.39/8.41 v -x2418 -x2419 -x2420 -x2423 -x2424 -x2425 -x2426 x2429 x2432 -x2433 -x2434 -x2437 -x2441 -x2442 -x3433 -x2443 -x2444 -x2445 8.39/8.41 v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 8.39/8.41 v -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 8.39/8.41 v -x2485 -x2486 -x2487 -x2488 -x2489 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 8.39/8.41 v -x2504 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 8.39/8.41 v -x2523 -x2525 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 8.39/8.41 v -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2559 8.39/8.41 v -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 8.39/8.41 v -x2577 -x2578 -x2579 -x2580 -x3622 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2591 -x2592 -x2593 -x2594 8.39/8.41 v -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 8.39/8.41 v -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 8.39/8.41 v -x2629 -x2630 -x2631 -x2632 -x2633 -x2696 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 8.39/8.41 v -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 8.39/8.41 v -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 8.39/8.41 v -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x3726 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 8.39/8.41 v -x2695 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x3963 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 8.39/8.41 v -x2713 -x2714 -x2715 -x3141 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 8.39/8.41 v -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2740 x2743 -x2744 -x3636 -x2745 -x2746 -x2747 -x2748 8.39/8.41 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 8.39/8.41 v -x2768 -x2769 -x2770 -x2771 -x2772 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 8.39/8.41 v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 8.39/8.41 v -x2806 -x2807 -x2808 -x2809 x2813 -x2816 -x2819 -x2820 -x2821 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 8.39/8.41 v -x2833 -x2834 -x2835 -x2836 -x2837 -x2841 -x2842 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 8.39/8.41 v -x2855 -x2856 -x2857 -x2858 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 8.39/8.41 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 8.39/8.41 v -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 8.39/8.41 v -x2908 -x2909 -x3085 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 8.39/8.41 v -x2924 -x2925 -x2926 -x2968 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 8.39/8.41 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 8.39/8.41 v -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 8.39/8.41 v -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x3557 -x2988 -x2989 -x2990 -x2991 8.39/8.41 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 8.39/8.41 v -x3009 -x3010 -x3011 -x3012 -x3015 -x3017 -x3018 -x3019 -x3020 -x3653 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 8.39/8.41 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 8.39/8.41 v -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3063 8.39/8.41 v -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 8.39/8.41 v -x3081 -x3082 -x3083 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 8.39/8.41 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 8.39/8.41 v -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 8.39/8.41 v -x3135 -x3136 -x3139 -x3140 -x3143 -x3144 -x3145 -x3146 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 8.39/8.41 v -x3159 -x3160 -x3161 -x3162 -x3163 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3174 -x3175 -x3179 -x3180 -x3181 -x3182 8.39/8.41 v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3196 -x3199 -x3202 -x3203 -x3204 -x3205 8.39/8.41 v -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 8.39/8.41 v -x3227 -x3228 -x3230 x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 8.39/8.41 v -x3246 -x3247 -x3248 -x3249 -x3841 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 8.39/8.41 v -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 8.39/8.41 v -x3281 -x3284 -x3289 -x3290 -x3291 -x3292 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3307 8.39/8.41 v -x3308 -x3309 -x3310 -x3311 -x3314 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 8.39/8.41 v -x3895 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3942 -x3343 8.39/8.41 v -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 8.39/8.41 v -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 8.39/8.41 v -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 8.39/8.41 v -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 8.39/8.41 v -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 8.39/8.41 v x3435 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 8.39/8.41 v -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 8.39/8.41 v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3490 8.39/8.41 v -x3491 -x3492 -x3493 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3508 -x3509 -x3510 -x3511 8.39/8.41 v -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3528 -x3529 -x3530 -x3531 -x3532 8.39/8.41 v -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3541 -x3542 -x3547 -x3548 -x3549 -x3550 -x3551 -x3554 -x3555 -x3556 -x3559 8.39/8.41 v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3572 x3575 -x3576 -x3577 -x3578 -x3579 -x3580 8.39/8.41 v -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3594 -x3595 -x3598 -x3599 -x3600 -x3601 8.39/8.41 v -x3602 -x3603 -x3604 x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 8.39/8.41 v -x3621 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3638 -x3642 -x3645 -x3646 8.39/8.41 v -x3647 -x3650 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 8.39/8.41 v -x3670 -x3671 -x3672 -x3673 -x3674 -x3678 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3690 -x3693 -x3694 -x3695 -x3698 8.39/8.41 v -x3699 -x3700 -x3701 -x3702 -x3705 -x3706 -x3707 -x3708 x3711 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 8.39/8.41 v -x3722 -x3723 -x3724 -x3725 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 8.39/8.41 v -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3999 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 8.39/8.41 v -x3757 -x3760 -x3763 x3766 -x3767 -x3768 -x3771 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3786 8.39/8.41 v -x3790 -x3793 -x3794 -x3795 -x3802 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 8.39/8.41 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 8.39/8.41 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 8.39/8.41 v -x3852 -x3853 -x3854 -x3855 -x3856 -x3858 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 8.39/8.41 v -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 8.39/8.41 v -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 8.39/8.41 v -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 8.39/8.41 v -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3936 -x3937 -x3941 x3944 -x3945 -x3946 -x3947 -x3948 8.39/8.41 v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3965 -x3966 -x3967 8.39/8.41 v -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 8.39/8.41 v -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 8.39/8.41 v -x4009 -x4011 -x4012 -x4014 -x4015 x4017 -x4018 -x4019 -x4020 -x4802 -x4021 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 8.39/8.41 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4712 -x4044 -x4045 -x4046 8.39/8.41 v -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4263 -x4057 -x4724 -x4058 -x4060 -x4061 -x4062 8.39/8.41 v -x4174 -x4592 -x4063 -x4064 -x4065 -x4164 -x4068 -x4070 x4072 -x4073 -x4171 -x4074 -x4075 -x4076 -x4078 -x4079 -x4371 8.39/8.41 v -x4080 -x4081 -x4082 -x4084 -x4085 -x4436 -x4086 x4088 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4374 -x4098 8.39/8.41 v -x4275 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4695 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 8.39/8.41 v -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4306 -x4128 -x4129 8.39/8.41 v -x4585 -x4130 -x4132 -x4133 -x4686 -x4134 -x4135 -x4136 -x4810 -x4137 -x4138 -x4158 -x4141 -x4142 -x4145 -x4147 -x4148 8.39/8.41 v -x4149 -x4150 -x4151 -x4152 -x4154 -x4155 -x4156 -x4157 -x4161 -x4160 -x4163 -x4166 -x4167 -x4168 -x4170 -x4173 -x4176 8.39/8.41 v -x4177 -x4179 -x4181 -x4184 -x4185 -x4188 -x4190 -x4191 -x4192 -x4205 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 8.39/8.41 v -x4367 -x4200 -x4201 -x4202 -x4203 -x4204 -x4207 -x4208 -x4209 -x4210 -x4212 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 8.39/8.41 v -x4220 -x4221 -x4222 -x4673 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4231 -x4233 -x4234 -x4862 -x4235 -x4236 -x4237 8.39/8.41 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4651 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 8.39/8.41 v -x4257 -x4258 -x4259 -x4260 -x4663 -x4261 -x4262 x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 8.39/8.41 v -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4681 -x4287 -x4657 -x4288 -x4289 -x4290 -x4291 8.39/8.41 v -x4292 -x4293 -x4294 -x4295 -x4297 -x4299 -x4300 -x4304 -x4305 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 8.39/8.41 v -x4316 -x4317 -x4318 -x4320 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4752 -x4333 8.39/8.41 v -x4334 -x4335 -x4805 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 8.39/8.41 v -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4359 -x4361 -x4362 -x4364 -x4366 -x4369 -x4370 -x4373 -x4376 -x4379 -x4380 8.39/8.41 v -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 8.39/8.41 v -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 8.39/8.41 v -x4415 -x4416 -x4417 -x4418 -x4419 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 8.39/8.41 v -x4433 -x4434 -x4435 -x4438 -x4440 -x4442 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 8.39/8.41 v -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 8.39/8.41 v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4730 -x4484 -x4485 -x4486 -x4487 -x4488 8.39/8.41 v -x4489 -x4490 -x4491 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 8.39/8.41 v -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4564 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 8.39/8.41 v -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 8.39/8.41 v -x4541 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 8.39/8.41 v -x4560 -x4562 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 8.39/8.41 v -x4581 -x4582 -x4583 -x4587 -x4588 -x4589 -x4590 x4594 -x4597 -x4598 -x4599 -x4600 -x4605 -x4606 x4609 -x4610 -x4611 -x4612 8.39/8.41 v -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 8.39/8.41 v -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 8.39/8.41 v -x4647 -x4648 -x4649 -x4650 x4653 -x4654 -x4655 -x4659 -x4660 -x4661 -x4662 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 8.39/8.41 v -x4671 -x4675 -x4676 -x4677 -x4678 -x4679 x4683 -x4684 -x4685 x4688 -x4691 -x4692 -x4693 -x4694 -x4697 -x4698 -x4699 -x4700 8.39/8.41 v -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 8.39/8.41 v -x4720 -x4721 -x4722 -x4723 x4726 x4727 -x4728 -x4729 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 8.39/8.41 v -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4754 -x4755 -x4756 -x4757 x4760 -x4761 -x4762 8.39/8.41 v -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 8.39/8.41 v -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 8.39/8.41 v -x4797 -x4798 -x4799 -x4800 -x4869 -x4801 -x4804 -x4807 -x4808 -x4809 -x4812 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 8.39/8.41 v -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 8.39/8.41 v -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 8.39/8.41 v -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4864 -x4868 x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 x4879 -x4880 8.39/8.41 v -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4889 -x4891 -x4954 -x4892 -x4894 -x4895 -x4928 -x4896 -x4898 -x4899 8.39/8.41 v -x4901 -x4902 -x4983 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4975 -x4916 -x4917 -x4918 -x4919 -x4920 8.39/8.41 v -x4921 -x4922 -x4923 -x4924 -x4925 -x4927 x4930 x4933 -x4958 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 8.39/8.41 v -x4943 -x4944 -x4945 -x4946 -x4948 -x4950 -x4951 -x4952 -x4980 -x4956 -x4960 -x4961 x4964 -x4965 -x4966 -x4967 -x4968 8.39/8.41 v -x4969 -x4970 -x4971 -x4972 -x4977 -x4978 -x4979 -x4982 -x4985 -x4986 -x4988 -x5009 -x4991 -x5003 -x4992 -x4993 -x4994 8.39/8.41 v -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5051 -x5058 -x5002 -x5005 -x5006 -x5008 -x5011 -x5014 -x5054 -x5015 8.39/8.41 v -x5016 -x5017 -x5018 -x5019 -x5020 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 8.39/8.41 v -x5035 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5053 -x5056 -x5057 -x5060
OK 35
/tmp/evaluation/373256-1177365126/instance-373256-1177365126.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-373256-1177365126 -o ROOT/results/node29/solver-373256-1177365126 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373256-1177365126/instance-373256-1177365126.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: 0.21 0.73 0.85 3/77 17241 /proc/meminfo: memFree=1807168/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=2336 CPUtime=0 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 150 0 0 0 0 0 0 0 18 0 1 0 184428532 2392064 132 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 4069394 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 572 133 112 16 0 11 0 [startup+0.0311779 s] /proc/loadavg: 0.21 0.73 0.85 3/77 17241 /proc/meminfo: memFree=1807168/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=2952 CPUtime=0.02 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 373 0 0 0 2 0 0 0 18 0 1 0 184428532 3022848 345 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134534807 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 738 345 199 16 0 177 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2952 [startup+0.101182 s] /proc/loadavg: 0.21 0.73 0.85 3/77 17241 /proc/meminfo: memFree=1807168/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=4016 CPUtime=0.09 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 184428532 4112384 602 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 4595415 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 1004 602 199 16 0 443 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4016 [startup+0.301195 s] /proc/loadavg: 0.21 0.73 0.85 3/77 17241 /proc/meminfo: memFree=1807168/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=6620 CPUtime=0.28 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 1227 0 0 0 28 0 0 0 19 0 1 0 184428532 6778880 1199 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134532440 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 1655 1199 204 16 0 1094 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6620 [startup+0.701219 s] /proc/loadavg: 0.21 0.73 0.85 3/77 17241 /proc/meminfo: memFree=1807168/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=7240 CPUtime=0.69 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 1380 0 0 0 68 1 0 0 22 0 1 0 184428532 7413760 1352 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 1810 1352 205 16 0 1249 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7240 [startup+1.50127 s] /proc/loadavg: 0.21 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1802488/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=7364 CPUtime=1.49 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 1426 0 0 0 148 1 0 0 25 0 1 0 184428532 7540736 1398 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 1841 1398 205 16 0 1280 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7364 [startup+3.10137 s] /proc/loadavg: 0.21 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1802104/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=8276 CPUtime=3.09 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 1645 0 0 0 305 4 0 0 25 0 1 0 184428532 8474624 1617 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2069 1617 205 16 0 1508 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8276 [startup+6.30157 s] /proc/loadavg: 0.27 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1799992/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=10012 CPUtime=6.28 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 2150 0 0 0 624 4 0 0 25 0 1 0 184428532 10252288 2049 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134522427 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2503 2049 205 16 0 1942 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10012 Solver just ended. Dumping a history of the last processes samples [startup+7.10262 s] /proc/loadavg: 0.27 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1799544/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=10112 CPUtime=7.09 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 2188 0 0 0 704 5 0 0 25 0 1 0 184428532 10354688 2087 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2528 2087 205 16 0 1967 0 Current children cumulated CPU time (s) 7.09 Current children cumulated vsize (KiB) 10112 [startup+7.90167 s] /proc/loadavg: 0.27 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1799288/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=10500 CPUtime=7.89 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 2282 0 0 0 784 5 0 0 25 0 1 0 184428532 10752000 2181 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2625 2181 205 16 0 2064 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 10500 [startup+8.30169 s] /proc/loadavg: 0.27 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1799288/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=10500 CPUtime=8.29 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 2282 0 0 0 824 5 0 0 25 0 1 0 184428532 10752000 2181 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2625 2181 205 16 0 2064 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 10500 [startup+8.4017 s] /proc/loadavg: 0.27 0.73 0.85 2/78 17242 /proc/meminfo: memFree=1799288/2055920 swapFree=4146720/4192956 [pid=17241] ppid=17239 vsize=10500 CPUtime=8.39 /proc/17241/stat : 17241 (Pueblo) R 17239 17241 16614 0 -1 4194304 2282 0 0 0 834 5 0 0 25 0 1 0 184428532 10752000 2181 18446744073709551615 134512640 134579096 4294956592 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/17241/statm: 2625 2181 205 16 0 2064 0 Current children cumulated CPU time (s) 8.39 Current children cumulated vsize (KiB) 10500 Child status: 30 Real time (s): 8.43757 CPU time (s): 8.41372 CPU user time (s): 8.35873 CPU system time (s): 0.054991 CPU usage (%): 99.7173 Max. virtual memory (cumulated for all children) (KiB): 10500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.35873 system time used= 0.054991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2289 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= 14 involuntary context switches= 22 runsolver used 0.011998 second user time and 0.017997 second system time The end
Begin job on node29 on Mon Apr 23 21:52:07 UTC 2007 IDJOB= 373256 IDBENCH= 25030 IDSOLVER= 165 FILE ID= node29/373256-1177365126 PBS_JOBID= 4675221 Free space on /tmp= 66465 MiB SOLVER NAME= Pueblo 1.4 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir09_area_partials.opb COMMAND LINE= Pueblo /tmp/evaluation/373256-1177365126/instance-373256-1177365126.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node29/convwatcher-373256-1177365126 -o ROOT/results/node29/conversion-373256-1177365126 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/373256-1177365126/instance-373256-1177365126.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-373256-1177365126 -o ROOT/results/node29/solver-373256-1177365126 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/373256-1177365126/instance-373256-1177365126.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 267e112b52309c055e255eac2f43ef33 RANDOM SEED= 537449807 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1807640 kB Buffers: 39168 kB Cached: 129476 kB SwapCached: 11420 kB Active: 100684 kB Inactive: 91536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1807640 kB SwapTotal: 4192956 kB SwapFree: 4146720 kB Dirty: 2948 kB Writeback: 0 kB Mapped: 30360 kB Slab: 41496 kB Committed_AS: 2644916 kB PageTables: 1872 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= 66465 MiB End job on node29 on Mon Apr 23 21:52:17 UTC 2007