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