Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | OPT | 7985 | 0.665898 | 0.68 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb |
MD5SUM | 95e4efc01e56e7c627bbc0cc1139ffbe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 7985 |
Best CPU time to get the best result obtained on this benchmark | 0.055991 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7985 |
Optimality of the best value was proved | YES |
Number of variables | 290 |
Total number of constraints | 205 |
Number of constraints which are clauses | 189 |
Number of constraints which are cardinality constraints (but not clauses) | 2 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 53 |
Number of terms in the objective function | 288 |
Biggest coefficient in the objective function | 61096 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524351 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 61096 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524351 |
Number of bits of the biggest sum of numbers | 20 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node43/41435-1149351397/instance-41435-1149351397.opb ...... 0.00 c done parsing opb. 0.00 o 282822 0.00 o 250779 0.00 o 238560 0.00 o 235473 0.00 o 233977 0.00 o 233961 0.00 o 233945 0.00 o 231603 0.00 o 231587 0.00 o 231571 0.00 o 230757 0.00 o 229443 0.00 o 229427 0.00 o 229229 0.00 o 229213 0.00 o 229197 0.00 o 227476 0.00 o 227460 0.00 o 227444 0.00 o 227428 0.01 o 227401 0.01 o 227203 0.01 o 227187 0.01 o 225889 0.01 o 225691 0.01 o 225675 0.01 o 225659 0.01 o 225429 0.01 o 225397 0.01 o 225381 0.01 o 224835 0.01 o 224771 0.01 o 224605 0.01 o 224589 0.01 o 224573 0.01 o 224557 0.01 o 224114 0.01 o 224098 0.01 o 222559 0.01 o 222345 0.01 o 222329 0.01 o 222318 0.01 o 222120 0.01 o 222104 0.01 o 220758 0.01 o 220576 0.01 o 220560 0.01 o 220314 0.01 o 220298 0.01 o 220282 0.01 o 219934 0.01 o 175492 0.01 o 143614 0.01 o 143448 0.01 o 140393 0.01 o 140361 0.01 o 139729 0.01 o 139547 0.01 o 138201 0.01 o 138019 0.01 o 138003 0.01 o 137987 0.01 o 135827 0.01 o 135629 0.01 o 135613 0.01 o 135586 0.01 o 135388 0.01 o 133892 0.02 o 133860 0.02 o 133844 0.02 o 133635 0.02 o 132107 0.02 o 132091 0.02 o 132075 0.02 o 131862 0.02 o 130744 0.02 o 127162 0.02 o 126632 0.02 o 126631 0.02 o 126630 0.02 o 126629 0.02 o 126628 0.02 o 126627 0.02 o 126625 0.02 o 126623 0.02 o 126622 0.02 o 126621 0.02 o 126620 0.02 o 126619 0.02 o 126618 0.02 o 126617 0.02 o 126615 0.02 o 126614 0.02 o 126613 0.02 o 126612 0.02 o 126611 0.02 o 126609 0.03 o 126607 0.03 o 126606 0.03 o 126605 0.03 o 126604 0.03 o 126603 0.03 o 126602 0.03 o 126601 0.03 o 126600 0.03 o 126599 0.03 o 126598 0.03 o 126597 0.03 o 126595 0.03 o 126593 0.03 o 126592 0.03 o 126591 0.03 o 126590 0.03 o 126589 0.03 o 126587 0.03 o 126585 0.03 o 126583 0.03 o 126581 0.03 o 126580 0.03 o 126579 0.03 o 126573 0.03 o 126572 0.03 o 126571 0.04 o 126569 0.04 o 126568 0.04 o 126566 0.04 o 126565 0.04 o 126564 0.04 o 126563 0.04 o 126562 0.04 o 126561 0.04 o 126559 0.04 o 126557 0.04 o 126486 0.04 o 126484 0.04 o 126174 0.04 o 126172 0.04 o 126171 0.04 o 126170 0.04 o 125984 0.04 o 125982 0.04 o 125981 0.04 o 125979 0.04 o 125978 0.04 o 125977 0.04 o 125853 0.04 o 125852 0.05 o 125851 0.05 o 125850 0.05 o 125849 0.05 o 125848 0.05 o 125847 0.05 o 125846 0.05 o 125844 0.05 o 125843 0.05 o 125842 0.05 o 125841 0.05 o 125840 0.05 o 125839 0.05 o 125838 0.05 o 125836 0.05 o 125832 0.05 o 125831 0.05 o 125651 0.05 o 125648 0.05 o 125645 0.05 o 125642 0.05 o 125428 0.05 o 125426 0.05 o 124615 0.05 o 124581 0.05 o 124571 0.06 o 124455 0.06 o 100330 0.06 o 100132 0.06 o 100098 0.06 o 99972 0.06 o 61185 0.06 o 50455 0.06 o 49773 0.06 o 49772 0.06 o 49770 0.06 o 49756 0.06 o 49754 0.06 o 49743 0.06 o 49727 0.06 o 49719 0.06 o 49714 0.06 o 49712 0.06 o 49708 0.06 o 49707 0.06 o 49558 0.06 o 49487 0.06 o 49486 0.06 o 49482 0.06 o 49478 0.06 o 49477 0.06 o 49475 0.06 o 49470 0.06 o 49469 0.06 o 49468 0.06 o 49461 0.06 o 49460 0.06 o 49438 0.06 o 49436 0.06 o 49434 0.06 o 49431 0.06 o 49419 0.06 o 49416 0.06 o 49376 0.06 o 49372 0.06 o 49370 0.06 o 49369 0.07 o 49368 0.07 o 49367 0.07 o 49365 0.07 o 49364 0.07 o 49360 0.07 o 49359 0.07 o 49338 0.07 o 49337 0.07 o 49336 0.07 o 49334 0.07 o 49333 0.07 o 49332 0.07 o 49331 0.07 o 49330 0.07 o 49329 0.07 o 49328 0.07 o 49327 0.07 o 49325 0.07 o 49324 0.07 o 49322 0.07 o 49321 0.07 o 49320 0.07 o 49319 0.07 o 49318 0.07 o 49317 0.07 o 49316 0.07 o 49315 0.07 o 49314 0.07 o 49312 0.07 o 49310 0.07 o 49308 0.07 o 49307 0.07 o 49306 0.07 o 49305 0.07 o 49304 0.07 o 49303 0.07 o 49302 0.07 o 49301 0.07 o 49300 0.07 o 49299 0.07 o 49298 0.07 o 49297 0.07 o 49296 0.07 o 49295 0.07 o 49294 0.07 o 49293 0.07 o 49292 0.07 o 49291 0.07 o 49289 0.07 o 49288 0.08 o 49287 0.08 o 49286 0.08 o 49285 0.08 o 49284 0.08 o 49283 0.08 o 49282 0.08 o 49281 0.08 o 49280 0.08 o 49278 0.08 o 49277 0.08 o 49276 0.08 o 49275 0.08 o 49274 0.08 o 49273 0.08 o 49272 0.08 o 49271 0.08 o 49270 0.08 o 49269 0.08 o 49268 0.08 o 49267 0.08 o 49266 0.08 o 49265 0.08 o 49264 0.08 o 49263 0.08 o 49261 0.08 o 49260 0.08 o 49259 0.08 o 49258 0.08 o 49257 0.08 o 49256 0.08 o 49255 0.08 o 49254 0.08 o 49253 0.08 o 49252 0.08 o 49251 0.08 o 49250 0.08 o 49249 0.08 o 49248 0.08 o 49247 0.08 o 49246 0.08 o 49244 0.08 o 49243 0.08 o 49242 0.09 o 49240 0.09 o 49239 0.09 o 49237 0.09 o 49236 0.09 o 49234 0.09 o 49230 0.09 o 49228 0.09 o 49227 0.09 o 49225 0.09 o 49223 0.09 o 49222 0.09 o 49221 0.09 o 49217 0.09 o 49215 0.09 o 49214 0.09 o 49212 0.09 o 49208 0.09 o 49206 0.09 o 49204 0.09 o 49200 0.09 o 49198 0.09 o 49197 0.09 o 49195 0.09 o 49191 0.09 o 49189 0.09 o 49188 0.09 o 49186 0.09 o 49183 0.09 o 49179 0.09 o 49177 0.09 o 49176 0.09 o 49174 0.09 o 49170 0.09 o 49168 0.09 o 49161 0.09 o 49160 0.09 o 49159 0.09 o 49155 0.09 o 49153 0.09 o 49152 0.09 o 49150 0.09 o 49146 0.09 o 49144 0.09 o 49142 0.09 o 49138 0.09 o 49136 0.10 o 49135 0.10 o 49106 0.10 o 49104 0.10 o 49100 0.10 o 49098 0.10 o 49097 0.10 o 49095 0.10 o 49094 0.10 o 49092 0.10 o 49091 0.10 o 49089 0.10 o 49088 0.10 o 49085 0.10 o 49084 0.10 o 49082 0.10 o 48955 0.10 o 48954 0.10 o 48953 0.10 o 48951 0.10 o 48950 0.10 o 48946 0.10 o 48944 0.10 o 48942 0.10 o 48920 0.10 o 48916 0.10 o 48915 0.11 o 48913 0.11 o 48912 0.11 o 48911 0.11 o 48910 0.11 o 48908 0.11 o 48904 0.11 o 48903 0.11 o 48902 0.11 o 48900 0.11 o 48899 0.11 o 48898 0.11 o 48897 0.11 o 48896 0.11 o 48895 0.11 o 48894 0.11 o 48893 0.11 o 48891 0.11 o 48889 0.11 o 48888 0.11 o 48886 0.11 o 48885 0.11 o 48884 0.11 o 48883 0.11 o 48882 0.11 o 48881 0.11 o 48880 0.11 o 48879 0.11 o 48877 0.11 o 48876 0.11 o 48875 0.11 o 48874 0.11 o 48873 0.11 o 48872 0.11 o 48871 0.11 o 48870 0.11 o 48869 0.11 o 48868 0.11 o 48867 0.12 o 48866 0.12 o 48865 0.12 o 48864 0.12 o 48863 0.12 o 48862 0.12 o 48861 0.12 o 48859 0.12 o 48858 0.12 o 48855 0.12 o 48854 0.12 o 48853 0.12 o 48852 0.12 o 48851 0.12 o 48849 0.12 o 48847 0.12 o 48846 0.12 o 48845 0.12 o 48844 0.12 o 48843 0.12 o 48842 0.12 o 48841 0.12 o 48840 0.12 o 48839 0.12 o 48838 0.12 o 48837 0.12 o 48836 0.12 o 48835 0.12 o 48834 0.12 o 48832 0.12 o 48831 0.12 o 48827 0.12 o 48822 0.12 o 48766 0.12 o 48747 0.12 o 48669 0.12 o 48653 0.12 o 48629 0.12 o 48628 0.12 o 48627 0.12 o 48626 0.12 o 48596 0.12 o 48591 0.12 o 48589 0.12 o 48584 0.12 o 48582 0.12 o 48556 0.12 o 48555 0.12 o 48551 0.12 o 48546 0.12 o 48543 0.12 o 48538 0.12 o 48536 0.12 o 48531 0.12 o 48530 0.12 o 48526 0.13 o 48521 0.13 o 48518 0.13 o 48517 0.13 o 48514 0.13 o 48509 0.13 o 48506 0.13 o 48505 0.13 o 48504 0.13 o 48503 0.13 o 48502 0.13 o 48500 0.13 o 44452 0.13 o 44451 0.13 o 44203 0.13 o 40817 0.13 o 40788 0.13 o 40661 0.13 o 39050 0.13 o 38598 0.13 o 38593 0.13 o 38592 0.13 o 37926 0.13 o 37368 0.13 o 37367 0.13 o 37366 0.13 o 37362 0.13 o 37361 0.13 o 37359 0.13 o 37332 0.13 o 37330 0.13 o 37329 0.13 o 37327 0.13 o 37326 0.13 o 37324 0.13 o 37322 0.13 o 37305 0.13 o 37175 0.13 o 37172 0.13 o 37170 0.13 o 37168 0.13 o 37166 0.13 o 37155 0.14 o 37136 0.14 o 37135 0.15 o 37134 0.15 o 37133 0.15 o 37132 0.15 o 37131 0.15 o 37130 0.15 o 37129 0.15 o 37128 0.15 o 37127 0.15 o 37126 0.15 o 37125 0.15 o 37124 0.15 o 37123 0.15 o 37122 0.15 o 37121 0.15 o 37120 0.15 o 37119 0.15 o 37118 0.15 o 37117 0.15 o 37116 0.15 o 37115 0.15 o 37114 0.15 o 37113 0.15 o 37112 0.15 o 37111 0.15 o 37110 0.15 o 37109 0.15 o 37108 0.15 o 37107 0.15 o 37106 0.15 o 37105 0.15 o 37104 0.15 o 37103 0.15 o 37102 0.15 o 37101 0.15 o 37100 0.15 o 37099 0.15 o 37098 0.15 o 37097 0.15 o 37096 0.15 o 37095 0.15 o 37094 0.15 o 37093 0.16 o 37092 0.16 o 37091 0.16 o 37090 0.16 o 37089 0.16 o 37088 0.16 o 37087 0.16 o 37086 0.16 o 37085 0.16 o 37084 0.16 o 37083 0.16 o 37082 0.16 o 37081 0.16 o 37080 0.16 o 37079 0.16 o 37078 0.16 o 37077 0.16 o 37076 0.16 o 37075 0.16 o 37074 0.16 o 37073 0.16 o 37072 0.16 o 37071 0.16 o 37070 0.16 o 37069 0.16 o 37068 0.16 o 37067 0.16 o 37066 0.16 o 37065 0.16 o 37064 0.16 o 37063 0.16 o 37062 0.16 o 37061 0.16 o 37060 0.16 o 37059 0.16 o 37058 0.16 o 37057 0.16 o 37056 0.16 o 37055 0.16 o 37054 0.16 o 37053 0.16 o 37052 0.16 o 37051 0.16 o 37050 0.16 o 37049 0.16 o 37048 0.16 o 37047 0.16 o 37046 0.16 o 37045 0.16 o 37044 0.16 o 37043 0.16 o 37042 0.16 o 37041 0.16 o 37040 0.16 o 37039 0.16 o 37038 0.16 o 37037 0.17 o 37036 0.17 o 37035 0.17 o 37034 0.17 o 37033 0.17 o 37032 0.17 o 37031 0.17 o 37030 0.17 o 37029 0.17 o 37028 0.17 o 37027 0.17 o 37026 0.17 o 37025 0.17 o 37024 0.17 o 37023 0.17 o 37022 0.17 o 37021 0.17 o 37020 0.17 o 37019 0.17 o 37018 0.17 o 37017 0.17 o 37016 0.17 o 37015 0.17 o 37014 0.17 o 37013 0.17 o 37012 0.17 o 37011 0.17 o 37010 0.17 o 37009 0.17 o 37008 0.17 o 37007 0.17 o 37006 0.17 o 37005 0.17 o 37004 0.17 o 37003 0.17 o 37002 0.17 o 37001 0.17 o 37000 0.17 o 36999 0.17 o 36998 0.17 o 36997 0.17 o 36996 0.17 o 36995 0.17 o 36994 0.17 o 36993 0.17 o 36992 0.17 o 36991 0.18 o 36990 0.18 o 36989 0.18 o 36988 0.18 o 36987 0.18 o 36986 0.18 o 36985 0.18 o 36984 0.18 o 36983 0.18 o 36982 0.18 o 36981 0.18 o 36980 0.18 o 36979 0.18 o 36978 0.18 o 36977 0.18 o 36976 0.18 o 36975 0.18 o 36974 0.18 o 36973 0.18 o 36972 0.18 o 36971 0.18 o 36970 0.18 o 36969 0.18 o 36968 0.18 o 36967 0.18 o 36966 0.18 o 36965 0.18 o 36964 0.18 o 36963 0.18 o 36962 0.18 o 36961 0.18 o 36960 0.18 o 36959 0.18 o 36958 0.18 o 36957 0.18 o 36956 0.18 o 36955 0.18 o 36954 0.18 o 36953 0.18 o 36952 0.18 o 36951 0.18 o 36950 0.18 o 36949 0.18 o 36948 0.18 o 36947 0.19 o 36946 0.19 o 36945 0.19 o 36944 0.19 o 36943 0.19 o 36942 0.19 o 36941 0.19 o 36940 0.19 o 36939 0.19 o 36938 0.19 o 36937 0.19 o 36936 0.19 o 36935 0.19 o 36934 0.19 o 36933 0.19 o 36932 0.19 o 36931 0.19 o 36930 0.19 o 36929 0.19 o 36928 0.19 o 36927 0.19 o 36926 0.19 o 36925 0.19 o 36924 0.19 o 36923 0.19 o 36922 0.19 o 36921 0.19 o 36920 0.19 o 36919 0.19 o 36918 0.19 o 36917 0.19 o 36916 0.19 o 36915 0.19 o 36914 0.19 o 36913 0.19 o 36912 0.19 o 36911 0.19 o 36910 0.19 o 36909 0.19 o 36908 0.19 o 36907 0.20 o 36906 0.20 o 36904 0.20 o 36903 0.20 o 36901 0.20 o 36899 0.20 o 36898 0.20 o 36897 0.20 o 36896 0.20 o 36895 0.20 o 36894 0.20 o 36892 0.20 o 36890 0.20 o 36888 0.20 o 36886 0.20 o 36884 0.20 o 36883 0.20 o 36882 0.20 o 36879 0.20 o 36878 0.20 o 36877 0.20 o 36876 0.20 o 36875 0.20 o 36873 0.20 o 36870 0.20 o 36869 0.20 o 36868 0.20 o 36866 0.20 o 36865 0.20 o 36862 0.20 o 36860 0.20 o 36859 0.20 o 36855 0.20 o 36826 0.20 o 36825 0.20 o 36824 0.20 o 36823 0.20 o 36822 0.20 o 36821 0.20 o 36820 0.20 o 36819 0.20 o 36818 0.20 o 36817 0.20 o 36815 0.20 o 36814 0.20 o 36813 0.20 o 36812 0.20 o 36810 0.20 o 36806 0.20 o 36805 0.20 o 36804 0.20 o 36802 0.20 o 36801 0.20 o 36800 0.20 o 36798 0.20 o 36796 0.20 o 36795 0.20 o 36794 0.20 o 36793 0.21 o 36792 0.21 o 36791 0.21 o 36790 0.21 o 36789 0.21 o 36788 0.21 o 36787 0.21 o 36786 0.21 o 36713 0.21 o 36712 0.21 o 36710 0.21 o 36701 0.21 o 36666 0.21 o 36665 0.21 o 36664 0.21 o 36662 0.21 o 36649 0.21 o 36645 0.21 o 36644 0.21 o 36643 0.21 o 36641 0.21 o 36640 0.21 o 36637 0.21 o 36634 0.21 o 36632 0.21 o 36625 0.21 o 36622 0.21 o 36621 0.21 o 36620 0.21 o 36607 0.21 o 36606 0.21 o 36603 0.21 o 36602 0.21 o 36601 0.21 o 36600 0.21 o 36598 0.21 o 36597 0.21 o 36596 0.21 o 36595 0.21 o 36594 0.21 o 36590 0.21 o 36589 0.21 o 36570 0.21 o 36569 0.21 o 36568 0.21 o 36564 0.21 o 36563 0.21 o 36562 0.21 o 36561 0.22 o 36560 0.22 o 36518 0.22 o 35033 0.22 o 35002 0.22 o 34951 0.22 o 34319 0.22 o 31772 0.22 o 31767 0.22 o 31766 0.22 o 31764 0.22 o 31754 0.22 o 31753 0.22 o 31657 0.22 o 31648 0.22 o 31616 0.22 o 31615 0.22 o 31610 0.22 o 31419 0.22 o 31418 0.22 o 31416 0.22 o 31415 0.22 o 31413 0.22 o 31412 0.22 o 31300 0.22 o 31299 0.22 o 31298 0.22 o 31297 0.22 o 31296 0.23 o 31295 0.23 o 31294 0.23 o 31293 0.23 o 31292 0.23 o 31291 0.23 o 31290 0.23 o 31289 0.23 o 31288 0.23 o 31286 0.23 o 31285 0.23 o 31284 0.23 o 31282 0.23 o 31281 0.23 o 31280 0.23 o 31279 0.23 o 31278 0.23 o 31277 0.23 o 31276 0.23 o 29326 0.23 o 29325 0.23 o 29324 0.23 o 29322 0.24 o 29321 0.24 o 29318 0.24 o 29317 0.24 o 29316 0.24 o 29315 0.24 o 29314 0.24 o 29312 0.24 o 29311 0.24 o 29310 0.24 o 29309 0.24 o 29308 0.24 o 29307 0.24 o 29304 0.24 o 29303 0.24 o 29302 0.24 o 29301 0.24 o 29300 0.24 o 29299 0.24 o 29295 0.24 o 29294 0.24 o 29293 0.24 o 29292 0.24 o 29291 0.24 o 29290 0.24 o 29289 0.24 o 29286 0.24 o 29285 0.24 o 29284 0.24 o 29283 0.24 o 29282 0.24 o 29281 0.24 o 29280 0.24 o 29279 0.24 o 29276 0.24 o 29275 0.24 o 29274 0.24 o 29273 0.24 o 29272 0.24 o 29271 0.24 o 29270 0.24 o 29269 0.24 o 29267 0.24 o 29266 0.24 o 29265 0.25 o 29264 0.25 o 29262 0.25 o 29261 0.25 o 29257 0.25 o 29253 0.25 o 29252 0.25 o 29251 0.25 o 29250 0.25 o 29247 0.25 o 29246 0.25 o 29245 0.25 o 29244 0.25 o 29243 0.25 o 29242 0.25 o 29241 0.25 o 29240 0.25 o 29238 0.25 o 29237 0.25 o 29236 0.25 o 29235 0.25 o 29233 0.25 o 29228 0.25 o 29227 0.25 o 29226 0.25 o 29222 0.25 o 29221 0.25 o 29220 0.25 o 29219 0.25 o 29218 0.25 o 29217 0.25 o 29216 0.25 o 29215 0.25 o 29214 0.25 o 29213 0.25 o 29212 0.25 o 29211 0.25 o 29210 0.25 o 29209 0.25 o 29208 0.25 o 29206 0.25 o 29205 0.25 o 29204 0.25 o 29203 0.25 o 29202 0.25 o 29201 0.25 o 29200 0.25 o 29199 0.25 o 29198 0.25 o 29197 0.25 o 29196 0.25 o 29195 0.25 o 29193 0.25 o 29192 0.25 o 29188 0.25 o 29187 0.25 o 29186 0.25 o 29182 0.25 o 29181 0.25 o 29180 0.25 o 29179 0.26 o 29176 0.26 o 29174 0.26 o 29173 0.26 o 29172 0.26 o 29171 0.26 o 29170 0.26 o 29169 0.26 o 29168 0.26 o 29167 0.26 o 29166 0.26 o 29165 0.26 o 29164 0.26 o 29163 0.26 o 29162 0.26 o 29159 0.26 o 29158 0.26 o 29157 0.26 o 29156 0.26 o 29155 0.26 o 29154 0.26 o 29153 0.26 o 29152 0.26 o 29151 0.26 o 29150 0.26 o 29149 0.26 o 29147 0.26 o 29143 0.26 o 29142 0.26 o 29141 0.26 o 29140 0.26 o 29139 0.26 o 29138 0.26 o 29137 0.26 o 29136 0.26 o 29135 0.26 o 29134 0.26 o 29133 0.26 o 29132 0.26 o 29131 0.26 o 29130 0.26 o 29129 0.26 o 29128 0.26 o 29127 0.26 o 29126 0.26 o 29125 0.26 o 29124 0.26 o 29123 0.26 o 29122 0.26 o 29121 0.26 o 29120 0.26 o 29119 0.26 o 29118 0.26 o 29117 0.26 o 29116 0.26 o 29115 0.26 o 29114 0.27 o 29113 0.27 o 29112 0.27 o 29111 0.27 o 29110 0.27 o 29109 0.27 o 29108 0.27 o 29107 0.27 o 29106 0.27 o 29105 0.27 o 29104 0.27 o 29103 0.27 o 29102 0.27 o 29101 0.27 o 29100 0.27 o 29099 0.27 o 29098 0.27 o 29097 0.27 o 29096 0.27 o 29095 0.27 o 29094 0.27 o 29093 0.27 o 29092 0.27 o 29091 0.27 o 29090 0.27 o 29089 0.27 o 29088 0.27 o 29087 0.27 o 29086 0.27 o 29085 0.27 o 29084 0.27 o 29083 0.27 o 29082 0.27 o 29081 0.27 o 29080 0.27 o 29079 0.27 o 29078 0.27 o 29077 0.27 o 29076 0.27 o 29075 0.27 o 29074 0.27 o 29073 0.27 o 29072 0.27 o 29071 0.27 o 29070 0.27 o 29069 0.27 o 29068 0.27 o 29067 0.27 o 29066 0.27 o 29065 0.27 o 29064 0.27 o 29063 0.27 o 29062 0.27 o 29061 0.27 o 29060 0.27 o 29059 0.27 o 29058 0.27 o 29057 0.28 o 29056 0.28 o 29055 0.28 o 29054 0.28 o 29053 0.28 o 29052 0.28 o 29051 0.28 o 29050 0.28 o 29049 0.28 o 29048 0.28 o 29047 0.28 o 29046 0.28 o 29045 0.28 o 29044 0.28 o 29043 0.28 o 29042 0.28 o 29041 0.28 o 29040 0.28 o 29039 0.28 o 29038 0.28 o 29037 0.28 o 29036 0.28 o 29025 0.28 o 29024 0.28 o 29023 0.28 o 29022 0.28 o 29021 0.28 o 29020 0.28 o 29019 0.28 o 29018 0.28 o 29017 0.28 o 29016 0.28 o 29015 0.28 o 29012 0.28 o 29011 0.29 o 29010 0.29 o 29009 0.29 o 29008 0.29 o 29007 0.29 o 29006 0.29 o 29005 0.29 o 29004 0.29 o 29003 0.29 o 29002 0.29 o 29001 0.29 o 29000 0.29 o 28999 0.29 o 28998 0.29 o 28997 0.29 o 28996 0.29 o 28995 0.29 o 28994 0.29 o 28993 0.29 o 28992 0.29 o 28991 0.29 o 28990 0.29 o 28989 0.29 o 28987 0.29 o 28986 0.29 o 28985 0.29 o 28982 0.29 o 28691 0.29 o 28690 0.29 o 28689 0.29 o 28687 0.29 o 28686 0.29 o 28685 0.29 o 28684 0.29 o 28682 0.29 o 28681 0.29 o 28680 0.29 o 28679 0.29 o 28678 0.29 o 28677 0.29 o 28676 0.29 o 28675 0.29 o 28664 0.29 o 28663 0.29 o 28662 0.29 o 28661 0.29 o 28660 0.29 o 28659 0.30 o 28658 0.30 o 28657 0.30 o 28656 0.30 o 28655 0.30 o 28654 0.30 o 28653 0.30 o 28652 0.30 o 28651 0.30 o 28643 0.30 o 28642 0.30 o 28641 0.30 o 28640 0.30 o 28639 0.30 o 28636 0.30 o 28635 0.30 o 28634 0.30 o 28633 0.30 o 28632 0.30 o 28631 0.30 o 28630 0.30 o 28628 0.30 o 28627 0.30 o 28626 0.30 o 28625 0.30 o 28624 0.30 o 28623 0.30 o 28622 0.30 o 28621 0.30 o 28620 0.30 o 28619 0.30 o 28604 0.30 o 28603 0.30 o 27666 0.30 o 27665 0.30 o 27664 0.30 o 27074 0.30 o 27072 0.30 o 27071 0.30 o 27064 0.30 o 27060 0.30 o 27057 0.30 o 26906 0.30 o 26905 0.30 o 26904 0.30 o 26903 0.30 o 26902 0.31 o 26899 0.31 o 26898 0.31 o 26893 0.31 o 26892 0.31 o 26891 0.31 o 26890 0.31 o 26889 0.31 o 26888 0.31 o 26886 0.31 o 26856 0.31 o 26854 0.31 o 26850 0.31 o 26849 0.31 o 26848 0.31 o 26847 0.31 o 26843 0.31 o 26841 0.31 o 26839 0.31 o 26838 0.31 o 26837 0.31 o 26836 0.31 o 26832 0.31 o 26830 0.31 o 26829 0.31 o 26828 0.31 o 26826 0.31 o 26825 0.31 o 26824 0.31 o 26823 0.31 o 26822 0.31 o 26821 0.31 o 26820 0.31 o 26819 0.31 o 26818 0.31 o 26817 0.31 o 26816 0.31 o 26815 0.31 o 26814 0.31 o 26813 0.31 o 26809 0.31 o 26808 0.31 o 26807 0.31 o 26806 0.31 o 26805 0.31 o 26804 0.31 o 26803 0.31 o 26802 0.31 o 26801 0.31 o 26798 0.31 o 26797 0.31 o 26777 0.31 o 26776 0.31 o 26775 0.32 o 26771 0.32 o 26769 0.32 o 26768 0.32 o 26766 0.32 o 26762 0.32 o 26761 0.32 o 26760 0.32 o 26759 0.32 o 26758 0.32 o 26753 0.32 o 26752 0.32 o 26751 0.32 o 26750 0.32 o 26747 0.32 o 26745 0.32 o 26744 0.32 o 26743 0.32 o 26742 0.33 o 26741 0.33 o 26738 0.33 o 26737 0.33 o 26736 0.33 o 26735 0.33 o 26733 0.33 o 26731 0.33 o 26730 0.33 o 26729 0.33 o 26728 0.33 o 26727 0.33 o 26726 0.33 o 26724 0.33 o 26723 0.33 o 26722 0.33 o 26721 0.34 o 26720 0.34 o 26719 0.34 o 26718 0.34 o 26717 0.34 o 26693 0.34 o 26692 0.34 o 26691 0.34 o 26690 0.34 o 26688 0.34 o 26685 0.34 o 26683 0.34 o 26682 0.34 o 26681 0.34 o 26680 0.34 o 26679 0.34 o 26678 0.34 o 26677 0.34 o 26676 0.34 o 26675 0.34 o 26674 0.34 o 26673 0.34 o 26672 0.34 o 26671 0.34 o 26668 0.34 o 26667 0.34 o 26666 0.34 o 26665 0.34 o 26664 0.34 o 26663 0.34 o 26662 0.34 o 26661 0.34 o 26660 0.34 o 26658 0.34 o 26656 0.34 o 26653 0.34 o 26649 0.34 o 26648 0.34 o 26647 0.34 o 26646 0.34 o 26644 0.34 o 26643 0.34 o 26640 0.34 o 26638 0.34 o 26637 0.34 o 26634 0.34 o 26633 0.34 o 26632 0.34 o 26628 0.34 o 26627 0.34 o 26626 0.34 o 26625 0.34 o 26624 0.34 o 26623 0.34 o 26622 0.34 o 26621 0.34 o 26620 0.34 o 26619 0.34 o 26617 0.34 o 26615 0.34 o 26614 0.35 o 26613 0.35 o 26612 0.35 o 26611 0.35 o 26610 0.35 o 26609 0.35 o 26608 0.35 o 26607 0.35 o 26606 0.35 o 26605 0.35 o 26604 0.35 o 26603 0.35 o 26602 0.35 o 26601 0.35 o 26600 0.35 o 26599 0.35 o 26598 0.35 o 26597 0.35 o 26596 0.35 o 26594 0.35 o 26593 0.35 o 26592 0.35 o 26591 0.35 o 26590 0.35 o 26587 0.35 o 26581 0.35 o 24646 0.35 o 23112 0.35 o 23111 0.35 o 23110 0.35 o 23106 0.36 o 23105 0.36 o 23102 0.36 o 23101 0.36 o 23100 0.36 o 23099 0.36 o 23098 0.36 o 23097 0.36 o 23096 0.36 o 23095 0.36 o 23094 0.36 o 23093 0.36 o 23092 0.36 o 23091 0.36 o 23090 0.36 o 23089 0.36 o 23088 0.36 o 23087 0.36 o 23086 0.36 o 23085 0.36 o 23084 0.36 o 23083 0.36 o 23082 0.36 o 23081 0.36 o 23080 0.36 o 23079 0.36 o 23078 0.36 o 23077 0.36 o 23076 0.36 o 23075 0.36 o 23074 0.36 o 23073 0.36 o 23072 0.36 o 23071 0.36 o 23070 0.36 o 23069 0.36 o 23068 0.36 o 23067 0.36 o 23066 0.36 o 23065 0.36 o 23064 0.36 o 23063 0.36 o 23062 0.36 o 23061 0.36 o 23060 0.37 o 23059 0.37 o 23058 0.37 o 23057 0.37 o 23056 0.37 o 23055 0.37 o 23054 0.37 o 23053 0.37 o 23052 0.37 o 23051 0.37 o 23050 0.37 o 23049 0.37 o 23048 0.37 o 23047 0.37 o 23046 0.37 o 23045 0.37 o 23044 0.37 o 23043 0.37 o 23042 0.37 o 23041 0.37 o 23040 0.37 o 23039 0.37 o 23038 0.37 o 23037 0.37 o 23036 0.37 o 23034 0.37 o 23033 0.37 o 23032 0.37 o 23031 0.37 o 23030 0.37 o 23029 0.37 o 23028 0.37 o 23027 0.37 o 23026 0.37 o 23025 0.37 o 23024 0.37 o 23023 0.37 o 23022 0.37 o 22063 0.37 o 22062 0.37 o 22047 0.37 o 22046 0.37 o 22002 0.37 o 22001 0.37 o 21999 0.37 o 21996 0.37 o 21995 0.37 o 21993 0.37 o 21991 0.37 o 21989 0.37 o 21987 0.37 o 21966 0.37 o 21961 0.37 o 21959 0.37 o 21953 0.37 o 21952 0.38 o 21951 0.38 o 21948 0.38 o 21943 0.38 o 21856 0.38 o 21828 0.38 o 21827 0.38 o 21823 0.38 o 21821 0.38 o 21803 0.38 o 21802 0.38 o 21801 0.38 o 21799 0.38 o 21798 0.38 o 21797 0.38 o 21796 0.38 o 21793 0.38 o 21764 0.38 o 21763 0.38 o 21760 0.38 o 21759 0.38 o 21758 0.38 o 21757 0.38 o 21756 0.38 o 21755 0.38 o 21754 0.38 o 21753 0.38 o 21748 0.38 o 21728 0.38 o 21726 0.38 o 21724 0.38 o 21723 0.38 o 21722 0.38 o 21718 0.38 o 21707 0.38 o 21706 0.38 o 21705 0.38 o 21703 0.38 o 21700 0.38 o 21696 0.38 o 21675 0.38 o 21674 0.38 o 21673 0.38 o 21670 0.38 o 21668 0.38 o 21666 0.38 o 21663 0.38 o 21660 0.38 o 21658 0.38 o 21634 0.38 o 21633 0.38 o 21630 0.38 o 21629 0.38 o 21628 0.38 o 21627 0.38 o 21626 0.39 o 21625 0.39 o 21624 0.39 o 21623 0.39 o 21622 0.39 o 21616 0.39 o 21347 0.39 o 21346 0.39 o 21345 0.39 o 21344 0.39 o 21343 0.40 o 21260 0.40 o 21248 0.40 o 21247 0.40 o 21243 0.40 o 21235 0.40 o 21230 0.40 o 21229 0.40 o 21227 0.40 o 21222 0.40 o 20997 0.40 o 20996 0.40 o 20995 0.40 o 20989 0.40 o 20988 0.40 o 20987 0.40 o 20986 0.40 o 20949 0.40 o 20947 0.40 o 20945 0.40 o 20944 0.40 o 20943 0.40 o 20935 0.40 o 20930 0.40 o 20925 0.40 o 20924 0.40 o 20923 0.40 o 20922 0.40 o 20918 0.40 o 20917 0.40 o 20916 0.40 o 20915 0.40 o 20914 0.40 o 20913 0.40 o 20912 0.40 o 20911 0.40 o 20910 0.40 o 20909 0.40 o 20700 0.40 o 20522 0.40 o 20475 0.40 o 20473 0.40 o 20469 0.40 o 20467 0.40 o 20466 0.40 o 20464 0.40 o 20460 0.40 o 20458 0.40 o 20451 0.40 o 20449 0.40 o 20445 0.40 o 20443 0.40 o 20442 0.40 o 20440 0.40 o 20436 0.41 o 20434 0.41 o 20404 0.41 o 20402 0.41 o 20398 0.41 o 20396 0.41 o 20395 0.41 o 20393 0.41 o 20389 0.41 o 20387 0.41 o 20380 0.41 o 20378 0.41 o 20374 0.41 o 20372 0.41 o 20371 0.41 o 20369 0.41 o 20365 0.41 o 20363 0.41 o 20361 0.41 o 20357 0.41 o 20355 0.41 o 20354 0.41 o 20245 0.41 o 20244 0.41 o 20243 0.41 o 20242 0.41 o 20241 0.41 o 20047 0.41 o 20046 0.41 o 20045 0.41 o 20044 0.41 o 20000 0.41 o 19999 0.41 o 19998 0.41 o 19997 0.41 o 19984 0.41 o 19983 0.41 o 19982 0.41 o 19974 0.41 o 19973 0.41 o 19972 0.41 o 19971 0.41 o 19970 0.41 o 19969 0.41 o 19968 0.41 o 19967 0.41 o 19966 0.41 o 19965 0.41 o 19964 0.41 o 19963 0.41 o 19961 0.42 o 19960 0.42 o 19959 0.42 o 19958 0.42 o 19957 0.42 o 19956 0.42 o 19955 0.42 o 19954 0.42 o 19953 0.42 o 19952 0.42 o 19950 0.42 o 19949 0.42 o 19948 0.42 o 19947 0.42 o 19946 0.42 o 19945 0.42 o 19944 0.42 o 19943 0.42 o 19942 0.42 o 19941 0.42 o 19940 0.42 o 19939 0.42 o 19938 0.42 o 19937 0.42 o 19936 0.42 o 19935 0.42 o 19934 0.42 o 19933 0.42 o 19932 0.42 o 19931 0.42 o 19930 0.42 o 19929 0.42 o 19928 0.42 o 19927 0.42 o 19926 0.42 o 19925 0.42 o 19924 0.42 o 19923 0.42 o 19922 0.42 o 19921 0.42 o 19920 0.42 o 19919 0.42 o 19918 0.42 o 19917 0.42 o 19915 0.42 o 19914 0.42 o 19913 0.42 o 19912 0.42 o 19911 0.42 o 19910 0.42 o 19909 0.42 o 19908 0.42 o 19907 0.42 o 19906 0.42 o 19905 0.42 o 19904 0.42 o 19903 0.43 o 19902 0.43 o 19901 0.43 o 19900 0.43 o 19899 0.43 o 19898 0.43 o 19897 0.43 o 19896 0.43 o 19895 0.43 o 19894 0.43 o 19893 0.43 o 19892 0.43 o 19891 0.43 o 19890 0.43 o 19889 0.43 o 19888 0.43 o 19887 0.43 o 19886 0.43 o 19885 0.43 o 19884 0.43 o 19883 0.43 o 19882 0.43 o 19881 0.43 o 19880 0.43 o 19879 0.43 o 19878 0.43 o 19877 0.43 o 19876 0.43 o 19875 0.43 o 19874 0.43 o 19873 0.43 o 19872 0.43 o 19871 0.43 o 19870 0.43 o 19869 0.43 o 19868 0.43 o 19867 0.43 o 19865 0.43 o 19864 0.43 o 19863 0.43 o 19862 0.43 o 19861 0.43 o 19860 0.43 o 19859 0.43 o 19858 0.43 o 19857 0.43 o 19856 0.44 o 19855 0.44 o 19854 0.44 o 19853 0.44 o 19852 0.44 o 19851 0.44 o 19850 0.44 o 19849 0.44 o 19848 0.44 o 19847 0.44 o 19846 0.44 o 19845 0.44 o 19844 0.44 o 19843 0.44 o 19842 0.44 o 19841 0.44 o 19840 0.44 o 19839 0.44 o 19838 0.44 o 19837 0.44 o 19828 0.44 o 19827 0.44 o 19825 0.44 o 19824 0.44 o 19822 0.44 o 19820 0.44 o 19817 0.44 o 19816 0.44 o 19815 0.44 o 19813 0.44 o 19812 0.44 o 19811 0.44 o 19810 0.44 o 19809 0.44 o 19807 0.44 o 19805 0.44 o 19804 0.44 o 19803 0.44 o 19802 0.44 o 19801 0.45 o 19800 0.45 o 19799 0.45 o 19798 0.45 o 19796 0.45 o 19795 0.45 o 19794 0.45 o 19793 0.45 o 19792 0.45 o 19790 0.45 o 19789 0.45 o 19788 0.45 o 19787 0.45 o 19786 0.45 o 19785 0.45 o 19784 0.45 o 19783 0.45 o 19780 0.45 o 19777 0.45 o 19776 0.45 o 19772 0.45 o 19771 0.45 o 19736 0.45 o 19735 0.45 o 19734 0.45 o 19733 0.45 o 19732 0.45 o 19729 0.45 o 19728 0.45 o 19727 0.45 o 19720 0.45 o 19719 0.45 o 19717 0.45 o 19716 0.45 o 19715 0.45 o 19714 0.45 o 19713 0.45 o 19712 0.45 o 19711 0.45 o 19710 0.45 o 19709 0.45 o 19708 0.45 o 19707 0.45 o 19706 0.45 o 19705 0.45 o 19704 0.45 o 19703 0.45 o 19702 0.45 o 19701 0.45 o 19700 0.45 o 19699 0.45 o 19698 0.45 o 19697 0.45 o 19696 0.45 o 19695 0.46 o 19694 0.46 o 19693 0.46 o 19692 0.46 o 19691 0.46 o 19690 0.46 o 19689 0.46 o 19688 0.46 o 19687 0.46 o 19686 0.46 o 19685 0.46 o 19684 0.46 o 19683 0.46 o 19682 0.46 o 19681 0.46 o 19680 0.46 o 19679 0.46 o 19678 0.46 o 19677 0.46 o 19676 0.46 o 19675 0.46 o 19674 0.46 o 19673 0.46 o 19672 0.46 o 19671 0.46 o 19670 0.46 o 19669 0.46 o 19668 0.46 o 19667 0.46 o 19666 0.46 o 19665 0.46 o 19664 0.46 o 19663 0.46 o 19662 0.46 o 19661 0.46 o 19660 0.46 o 19659 0.46 o 19658 0.46 o 19656 0.46 o 19651 0.46 o 19650 0.46 o 19649 0.46 o 19648 0.46 o 19647 0.46 o 19646 0.46 o 19645 0.46 o 19644 0.46 o 19642 0.46 o 19641 0.46 o 19640 0.46 o 19639 0.46 o 19638 0.46 o 19637 0.46 o 19636 0.46 o 19635 0.46 o 19634 0.46 o 19633 0.46 o 19631 0.46 o 19629 0.46 o 19628 0.47 o 19627 0.47 o 19626 0.47 o 19625 0.47 o 19622 0.47 o 19621 0.47 o 19619 0.47 o 19618 0.47 o 19617 0.47 o 19592 0.47 o 19591 0.47 o 19589 0.47 o 19517 0.47 o 19494 0.47 o 19493 0.47 o 19488 0.47 o 19469 0.47 o 19464 0.47 o 19463 0.47 o 19462 0.47 o 19450 0.47 o 19435 0.47 o 19434 0.47 o 19432 0.47 o 19431 0.47 o 19409 0.47 o 19384 0.47 o 19383 0.47 o 19382 0.47 o 19380 0.47 o 19379 0.47 o 19374 0.47 o 19372 0.47 o 19371 0.47 o 19369 0.47 o 19368 0.47 o 19367 0.47 o 19366 0.47 o 19365 0.47 o 19364 0.47 o 19363 0.47 o 19362 0.47 o 19361 0.47 o 19360 0.47 o 19359 0.47 o 19358 0.47 o 19357 0.47 o 19356 0.47 o 19355 0.48 o 19353 0.48 o 19351 0.48 o 19350 0.48 o 19349 0.48 o 19348 0.48 o 19347 0.48 o 19346 0.48 o 19345 0.48 o 19344 0.48 o 19343 0.48 o 19341 0.48 o 19339 0.48 o 19338 0.48 o 19337 0.48 o 19336 0.48 o 19335 0.48 o 19333 0.48 o 19332 0.48 o 19331 0.48 o 19330 0.48 o 19329 0.48 o 19328 0.48 o 19327 0.48 o 19326 0.48 o 19325 0.48 o 19324 0.48 o 19323 0.48 o 19322 0.48 o 19321 0.48 o 19320 0.48 o 19319 0.48 o 19318 0.48 o 19317 0.48 o 19316 0.48 o 19315 0.48 o 19313 0.48 o 19312 0.48 o 19311 0.48 o 19310 0.48 o 19309 0.48 o 19308 0.48 o 19307 0.48 o 19306 0.48 o 19305 0.48 o 19304 0.48 o 19303 0.48 o 19302 0.48 o 19300 0.48 o 19299 0.48 o 19298 0.48 o 19297 0.49 o 19296 0.49 o 19295 0.49 o 19294 0.49 o 19293 0.49 o 19292 0.49 o 19291 0.49 o 19290 0.49 o 19289 0.49 o 19288 0.49 o 19287 0.49 o 19286 0.49 o 19285 0.49 o 19284 0.49 o 19282 0.49 o 19281 0.49 o 19279 0.49 o 19278 0.49 o 19277 0.49 o 19276 0.49 o 19275 0.49 o 19274 0.49 o 19273 0.49 o 19272 0.49 o 19271 0.49 o 19270 0.49 o 19269 0.49 o 19267 0.49 o 19266 0.49 o 19265 0.49 o 19264 0.49 o 19263 0.49 o 19262 0.49 o 19261 0.49 o 19260 0.49 o 19259 0.49 o 19258 0.49 o 19257 0.49 o 19254 0.49 o 19253 0.49 o 19251 0.49 o 19250 0.49 o 19249 0.50 o 19248 0.50 o 19247 0.50 o 19245 0.50 o 19244 0.50 o 19243 0.50 o 19242 0.50 o 19241 0.50 o 19240 0.50 o 19239 0.50 o 19238 0.50 o 19237 0.50 o 19236 0.50 o 19235 0.50 o 19234 0.50 o 19233 0.50 o 19232 0.50 o 19230 0.50 o 19229 0.50 o 19228 0.50 o 19227 0.50 o 19226 0.50 o 19224 0.50 o 19223 0.50 o 19222 0.50 o 19220 0.50 o 19217 0.50 o 19216 0.50 o 19215 0.50 o 19214 0.50 o 19213 0.50 o 19212 0.50 o 19211 0.50 o 19209 0.50 o 19208 0.50 o 19206 0.50 o 19205 0.50 o 19204 0.50 o 19203 0.50 o 19202 0.50 o 19201 0.50 o 19200 0.50 o 19199 0.50 o 19198 0.50 o 19196 0.50 o 19195 0.50 o 19194 0.50 o 19193 0.50 o 19192 0.50 o 19191 0.50 o 19190 0.50 o 19189 0.50 o 19188 0.50 o 19187 0.50 o 19186 0.50 o 19185 0.50 o 19184 0.50 o 19183 0.50 o 19182 0.50 o 19181 0.51 o 19180 0.51 o 19179 0.51 o 19178 0.51 o 19176 0.51 o 19174 0.51 o 19173 0.51 o 19172 0.51 o 19171 0.51 o 19170 0.51 o 19169 0.51 o 19168 0.51 o 19166 0.51 o 19165 0.51 o 19164 0.51 o 19163 0.51 o 19162 0.51 o 19161 0.51 o 19160 0.51 o 19159 0.51 o 19158 0.51 o 19157 0.51 o 19156 0.51 o 19155 0.51 o 19154 0.51 o 19153 0.51 o 19152 0.51 o 19151 0.51 o 19150 0.51 o 19149 0.51 o 19148 0.51 o 19147 0.51 o 19146 0.51 o 19145 0.51 o 19144 0.51 o 19143 0.51 o 19142 0.51 o 19141 0.51 o 19140 0.51 o 19139 0.51 o 19138 0.51 o 19137 0.51 o 19136 0.51 o 19135 0.51 o 19134 0.51 o 19132 0.51 o 19131 0.51 o 19130 0.51 o 19129 0.51 o 19128 0.51 o 19127 0.51 o 19125 0.51 o 19124 0.51 o 19122 0.51 o 19121 0.51 o 19120 0.51 o 19119 0.51 o 19118 0.51 o 19117 0.51 o 19116 0.51 o 19115 0.51 o 19112 0.51 o 19111 0.51 o 19110 0.51 o 19108 0.51 o 19107 0.52 o 19106 0.52 o 19105 0.52 o 19103 0.52 o 19102 0.52 o 19101 0.52 o 19100 0.52 o 19099 0.52 o 19098 0.52 o 19097 0.52 o 19096 0.52 o 19095 0.52 o 19094 0.52 o 19093 0.52 o 19092 0.52 o 19091 0.52 o 18325 0.52 o 18324 0.52 o 18110 0.52 o 18109 0.52 o 18064 0.52 o 18063 0.52 o 18062 0.52 o 18061 0.52 o 18060 0.52 o 18059 0.52 o 18058 0.52 o 18056 0.52 o 18055 0.52 o 18054 0.52 o 18053 0.52 o 18052 0.52 o 18051 0.52 o 18050 0.52 o 18049 0.52 o 18047 0.52 o 18046 0.52 o 18045 0.52 o 18044 0.52 o 18043 0.52 o 18042 0.52 o 18041 0.53 o 18039 0.53 o 18038 0.53 o 18037 0.53 o 18036 0.53 o 18035 0.53 o 18034 0.53 o 18033 0.53 o 18032 0.53 o 18031 0.53 o 18030 0.53 o 18028 0.53 o 18027 0.53 o 18025 0.53 o 16895 0.53 o 16888 0.53 o 16754 0.53 o 14833 0.53 o 14380 0.53 o 14373 0.53 o 14092 0.53 o 12376 0.53 o 11365 0.54 o 11348 0.54 o 11342 0.54 o 11341 0.54 o 11324 0.54 o 11323 0.55 o 11318 0.55 o 11317 0.55 o 11309 0.55 o 11306 0.55 o 11302 0.55 o 11300 0.55 o 11293 0.55 o 11292 0.55 o 11290 0.55 o 11288 0.55 o 11266 0.55 o 11264 0.55 o 11261 0.55 o 11254 0.55 o 11248 0.55 o 11223 0.55 o 11215 0.55 o 11209 0.55 o 11199 0.56 o 11193 0.56 o 11190 0.56 o 11186 0.56 o 11184 0.56 o 11178 0.56 o 11176 0.56 o 11168 0.56 o 11152 0.56 o 11146 0.56 o 11145 0.56 o 11143 0.56 o 11137 0.56 o 11131 0.56 o 11125 0.56 o 11121 0.56 o 11116 0.56 o 11112 0.56 o 11109 0.56 o 11107 0.56 o 11106 0.56 o 11099 0.56 o 11090 0.56 o 11084 0.56 o 11077 0.56 o 11043 0.56 o 11039 0.56 o 11033 0.56 o 11030 0.56 o 11028 0.56 o 11020 0.56 o 11014 0.56 o 11012 0.56 o 11003 0.56 o 10984 0.56 o 10975 0.57 o 10956 0.57 o 10947 0.57 o 10941 0.57 o 10939 0.57 o 10922 0.57 o 10910 0.57 o 10905 0.57 o 10903 0.57 o 10901 0.57 o 10895 0.57 o 10889 0.57 o 10887 0.57 o 10885 0.57 o 10879 0.57 o 10873 0.57 o 10871 0.57 o 10866 0.57 o 10864 0.57 o 10859 0.57 o 10850 0.57 o 10846 0.57 o 10842 0.57 o 10836 0.57 o 10826 0.57 o 10821 0.57 o 10820 0.57 o 10819 0.57 o 10817 0.57 o 10811 0.57 o 10805 0.57 o 10803 0.57 o 10798 0.57 o 10796 0.57 o 10795 0.57 o 10793 0.57 o 10788 0.57 o 10787 0.57 o 10785 0.58 o 10781 0.58 o 10766 0.58 o 10760 0.58 o 10750 0.58 o 10744 0.58 o 10743 0.58 o 10741 0.58 o 10737 0.58 o 10719 0.58 o 10713 0.58 o 10710 0.58 o 10703 0.58 o 10697 0.58 o 10696 0.58 o 10694 0.58 o 10688 0.58 o 10682 0.58 o 10680 0.58 o 10678 0.58 o 10672 0.58 o 10666 0.58 o 10664 0.58 o 10646 0.58 o 10630 0.58 o 10624 0.58 o 10621 0.58 o 10615 0.58 o 10609 0.58 o 10607 0.58 o 10605 0.58 o 10599 0.58 o 10593 0.58 o 10591 0.58 o 10587 0.58 o 10585 0.58 o 10583 0.58 o 10580 0.58 o 10577 0.58 o 10574 0.58 o 10571 0.58 o 10569 0.58 o 10568 0.58 o 10564 0.58 o 10561 0.58 o 10558 0.58 o 10551 0.58 o 10545 0.58 o 10520 0.58 o 10504 0.58 o 10496 0.58 o 10490 0.58 o 10487 0.58 o 10483 0.58 o 10481 0.58 o 10475 0.58 o 10473 0.58 o 10467 0.58 o 10465 0.58 o 10449 0.58 o 10444 0.58 o 10443 0.58 o 10433 0.58 o 10427 0.58 o 10426 0.58 o 10424 0.58 o 10418 0.58 o 10412 0.58 o 10410 0.58 o 10406 0.59 o 10404 0.59 o 10400 0.59 o 10397 0.59 o 10395 0.59 o 10394 0.59 o 10391 0.59 o 10375 0.59 o 10367 0.59 o 10351 0.59 o 10346 0.59 o 10345 0.59 o 10344 0.59 o 10338 0.59 o 10326 0.59 o 10325 0.59 o 10320 0.60 o 10318 0.60 o 10310 0.60 o 10279 0.60 o 10242 0.60 o 10235 0.60 o 10231 0.60 o 10215 0.60 o 10207 0.60 o 10198 0.60 o 10188 0.60 o 10182 0.60 o 10172 0.60 o 10163 0.60 o 10156 0.60 o 10141 0.60 o 10117 0.60 o 10108 0.60 o 10102 0.60 o 10101 0.60 o 10092 0.60 o 10086 0.60 o 10070 0.60 o 10057 0.60 o 10050 0.60 o 10026 0.60 o 10010 0.60 o 10001 0.60 o 9995 0.60 o 9981 0.60 o 9980 0.60 o 9972 0.60 o 9966 0.60 o 9964 0.60 o 9963 0.60 o 9948 0.60 o 9946 0.60 o 9945 0.61 o 9939 0.61 o 9938 0.61 o 9932 0.61 o 9930 0.61 o 9914 0.61 o 9908 0.61 o 9905 0.61 o 9899 0.61 o 9893 0.61 o 9891 0.61 o 9886 0.61 o 9883 0.61 o 9877 0.61 o 9875 0.61 o 9870 0.61 o 9867 0.61 o 9864 0.61 o 9861 0.61 o 9857 0.61 o 9851 0.61 o 9841 0.61 o 9836 0.61 o 9810 0.61 o 9809 0.61 o 9802 0.61 o 9797 0.61 o 9795 0.61 o 9786 0.61 o 9781 0.61 o 9779 0.61 o 9777 0.61 o 9771 0.61 o 9755 0.61 o 9750 0.61 o 9749 0.61 o 9739 0.61 o 9734 0.61 o 9733 0.61 o 9732 0.61 o 9730 0.61 o 9724 0.61 o 9718 0.61 o 9716 0.61 o 9714 0.61 o 9708 0.61 o 9706 0.61 o 9704 0.61 o 9700 0.61 o 9682 0.61 o 9677 0.61 o 9666 0.61 o 9661 0.61 o 9659 0.61 o 9655 0.61 o 9649 0.61 o 9647 0.61 o 9642 0.61 o 9639 0.61 o 9633 0.61 o 9629 0.61 o 9613 0.61 o 9607 0.61 o 9598 0.61 o 9582 0.61 o 9576 0.61 o 9558 0.61 o 9552 0.61 o 9551 0.61 o 9549 0.61 o 9545 0.61 o 9543 0.61 o 9537 0.61 o 9527 0.61 o 9521 0.61 o 9511 0.61 o 9505 0.61 o 9502 0.61 o 9496 0.61 o 9490 0.61 o 9488 0.61 o 9486 0.61 o 9480 0.61 o 9474 0.61 o 9472 0.61 o 9471 0.62 o 9470 0.62 o 9464 0.62 o 9462 0.62 o 9451 0.62 o 9450 0.62 o 9446 0.62 o 9444 0.62 o 9438 0.62 o 9428 0.62 o 9422 0.62 o 9412 0.62 o 9407 0.62 o 9406 0.62 o 9405 0.62 o 9400 0.62 o 9397 0.62 o 9391 0.62 o 9389 0.62 o 9387 0.62 o 9381 0.62 o 9371 0.62 o 9365 0.62 o 9340 0.62 o 9334 0.62 o 9316 0.62 o 9310 0.62 o 9305 0.62 o 9280 0.62 o 9274 0.62 o 9256 0.62 o 9250 0.63 o 9249 0.63 o 9247 0.63 o 9241 0.63 o 9235 0.63 o 9225 0.63 o 9219 0.63 o 9209 0.63 o 9203 0.63 o 9202 0.63 o 9200 0.63 o 9194 0.63 o 9188 0.63 o 9186 0.63 o 9181 0.63 o 9175 0.63 o 9174 0.63 o 9172 0.63 o 9171 0.63 o 9166 0.63 o 9158 0.63 o 9150 0.63 o 9149 0.63 o 9142 0.63 o 9136 0.63 o 9135 0.63 o 9133 0.63 o 9127 0.63 o 9121 0.63 o 9120 0.63 o 9111 0.63 o 9105 0.63 o 9103 0.63 o 9095 0.63 o 9090 0.63 o 9089 0.63 o 9086 0.63 o 9080 0.63 o 9074 0.63 o 9072 0.63 o 9070 0.63 o 9064 0.63 o 9058 0.63 o 9056 0.63 o 9051 0.63 o 9045 0.63 o 9035 0.63 o 9029 0.63 o 9028 0.63 o 9026 0.63 o 9020 0.63 o 9014 0.63 o 9012 0.63 o 9007 0.63 o 9001 0.63 o 8999 0.63 o 8997 0.63 o 8991 0.63 o 8985 0.63 o 8983 0.64 o 8978 0.64 o 8976 0.64 o 8972 0.64 o 8966 0.64 o 8960 0.64 o 8958 0.64 o 8956 0.64 o 8950 0.64 o 8949 0.64 o 8942 0.64 o 8940 0.64 o 8934 0.64 o 8918 0.64 o 8909 0.64 o 8902 0.64 o 8901 0.64 o 8893 0.64 o 8887 0.64 o 8885 0.64 o 8880 0.64 o 8878 0.64 o 8870 0.64 o 8864 0.64 o 8862 0.64 o 8859 0.64 o 8857 0.65 o 8853 0.65 o 8848 0.65 o 8846 0.65 o 8845 0.65 o 8840 0.65 o 8838 0.65 o 8834 0.65 o 8825 0.65 o 8820 0.65 o 8818 0.65 o 8816 0.65 o 8810 0.65 o 8804 0.65 o 8802 0.65 o 8797 0.65 o 8795 0.65 o 8794 0.65 o 8792 0.65 o 8790 0.65 o 8784 0.65 o 8782 0.65 o 8777 0.65 o 8775 0.65 o 8771 0.65 o 8765 0.65 o 8763 0.65 o 8762 0.65 o 8761 0.65 o 8759 0.65 o 8751 0.65 o 8742 0.65 o 8735 0.65 o 8727 0.65 o 8718 0.65 o 8712 0.65 o 8710 0.65 o 8702 0.65 o 8696 0.65 o 8694 0.66 o 8693 0.66 o 8691 0.66 o 8689 0.66 o 8682 0.66 o 8677 0.66 o 8675 0.66 o 8670 0.66 o 8667 0.66 o 8661 0.66 o 8659 0.66 o 8654 0.66 o 8652 0.66 o 8651 0.66 o 8650 0.66 o 8648 0.66 o 8645 0.66 o 8639 0.66 o 8633 0.66 o 8630 0.66 o 8624 0.66 o 8623 0.66 o 8615 0.66 o 8614 0.66 o 8609 0.66 o 8599 0.66 o 8594 0.66 o 8593 0.66 o 8592 0.66 o 8586 0.66 o 8568 0.66 o 8562 0.66 o 8561 0.66 o 8559 0.66 o 8552 0.66 o 8547 0.66 o 8545 0.66 o 8543 0.66 o 8537 0.66 o 8531 0.66 o 8529 0.66 o 8524 0.66 o 8522 0.66 o 8518 0.66 o 8512 0.66 o 8509 0.66 o 8508 0.66 o 8505 0.66 o 8499 0.66 o 8493 0.66 o 8489 0.66 o 8483 0.66 o 8482 0.66 o 8480 0.66 o 8474 0.66 o 8468 0.66 o 8466 0.66 o 8461 0.66 o 8459 0.66 o 8456 0.66 o 8441 0.66 o 8436 0.66 o 8434 0.66 o 8432 0.66 o 8426 0.66 o 8420 0.66 o 8418 0.66 o 8413 0.66 o 8411 0.67 o 8408 0.67 o 8406 0.67 o 8399 0.67 o 8393 0.67 o 8391 0.67 o 8383 0.67 o 8377 0.67 o 8375 0.67 o 8371 0.67 o 8362 0.67 o 8347 0.67 o 8338 0.67 o 8335 0.67 o 8331 0.67 o 8322 0.67 o 8312 0.67 o 8297 0.67 o 8288 0.67 o 8281 0.67 o 8272 0.67 o 8257 0.67 o 8250 0.67 o 8226 0.67 o 8225 0.67 o 8217 0.67 o 8210 0.67 o 8201 0.67 o 8195 0.67 o 8194 0.67 o 8193 0.67 o 8185 0.67 o 8179 0.67 o 8177 0.67 o 8172 0.67 o 8156 0.67 o 8150 0.67 o 8148 0.67 o 8140 0.67 o 8134 0.67 o 8131 0.67 o 8124 0.67 o 8119 0.67 o 8117 0.67 o 8115 0.67 o 8112 0.67 o 8110 0.67 o 8109 0.67 o 8103 0.67 o 8101 0.67 o 8096 0.67 o 8094 0.67 o 8092 0.67 o 8085 0.67 o 8080 0.67 o 8079 0.67 o 8078 0.67 o 8076 0.67 o 8073 0.67 o 8071 0.67 o 8070 0.67 o 8064 0.67 o 8062 0.67 o 8057 0.67 o 8055 0.67 o 8055 0.67 s OPTIMUM FOUND 0.67 c Total Run Time 0.6609 0.67 v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 0.67 v -x118 -x119 -x12 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x13 x130 -x131 -x132 -x133 -x134 -x135 -x136 0.67 v -x137 -x138 -x139 -x14 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x15 -x150 -x151 -x152 -x153 -x154 -x155 0.67 v -x156 -x157 -x158 -x159 -x16 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x17 -x170 -x171 -x172 -x173 -x174 0.67 v -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 0.67 v -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 0.67 v -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 0.67 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 0.67 v x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 x263 -x264 x265 x266 -x267 -x268 -x269 -x27 0.67 v -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 0.67 v -x29 -x290 -x3 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x5 -x50 -x51 0.67 v -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x7 -x70 -x71 -x72 -x73 -x74 -x75 0.67 v -x76 -x77 -x78 -x79 -x8 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99
OK 7985
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-41435-1149351397 -o ROOT/results/node43/solver-41435-1149351397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41435-1149351397/instance-41435-1149351397.opb 939956005 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.95 3/64 9771 /proc/meminfo: memFree=1814752/2055920 swapFree=4180880/4192956 [pid=9771] ppid=9769 vsize=1400 CPUtime=0 /proc/9771/stat : 9771 (PBS4L) R 9769 9771 9725 0 -1 4194304 158 0 0 0 0 0 0 0 19 0 1 0 200806466 1433600 140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630099 0 0 4096 0 0 0 0 17 0 0 0 /proc/9771/statm: 350 140 100 232 0 115 0 Child status: 0 Real time (s): 0.68 CPU time (s): 0.665898 CPU user time (s): 0.59191 CPU system time (s): 0.073988 CPU usage (%): 97.9262 Max. virtual memory (cumulated for all children) (Kb): 0
Begin job on node43 on Sat Jun 3 16:16:37 UTC 2006 FILE ID= 41435-1149351397 PBS_JOBID= 311013 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0291.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41435-1149351397/instance-41435-1149351397.opb 939956005 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-41435-1149351397 -o ROOT/results/node43/solver-41435-1149351397 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node43/41435-1149351397/instance-41435-1149351397.opb 939956005 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 95e4efc01e56e7c627bbc0cc1139ffbe RANDOM SEED= 939956005 /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.216 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.216 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: 1814960 kB Buffers: 20336 kB Cached: 162836 kB SwapCached: 3760 kB Active: 51752 kB Inactive: 140156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814960 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 256 kB Writeback: 0 kB Mapped: 14888 kB Slab: 35068 kB Committed_AS: 331960 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Sat Jun 3 16:16:38 UTC 2006