| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.03 | 1300.01 |
| Name | SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf |
| MD5SUM | 1242f0037df1c3d888415aeb418b77ed |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.696893 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1120 |
| Number of clauses | 43179 |
| Sum of the clauses size | 87318 |
| Maximum clause length | 14 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 43099 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 80 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 43179 87318 | 12953 0 0 nan | 0.000 % | 0.00/0.06 c | 0 | 41934 132317 | -- 0 -- -- | -- | -1245/44999 0.00/0.06 c ============================================================================== 0.00/0.06 c Result : #vars: 1040 #clauses: 41934 #literals: 132317 0.00/0.06 c CPU time: 0.057991 s 0.00/0.06 c ============================================================================== 0.00/0.08 c 0.00/0.08 c Starting glucose 0.00/0.08 c 148.39/148.50 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 148.39/148.50 c WARNING: for repeatability, setting FPU to use double precision 148.39/148.50 c ============================[ Problem Statistics ]============================= 148.39/148.50 c | | 148.39/148.50 c | Number of variables: 1040 | 148.39/148.50 c | Number of clauses: 41934 | 148.39/148.50 c | Parse time: 0.01 s | 148.39/148.50 c | | 148.39/148.50 c ============================[ Search Statistics ]============================== 148.39/148.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 148.39/148.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 148.39/148.50 c =============================================================================== 148.39/148.50 c | 5520 | 1040 41934 132317 | 1 3525 52 | 0.000 % | 148.39/148.50 c | 40666 | 1040 41934 132317 | 1 18360 37 | 0.000 % | 148.39/148.50 c | 123186 | 1040 41934 132317 | 1 38022 39 | 0.000 % | 148.39/148.50 c | 274386 | 1040 41934 132317 | 1 52212 32 | 0.000 % | 148.39/148.50 c | 357349 | 1040 41934 132317 | 1 62167 28 | 0.000 % | 148.39/148.50 c | 357450 | 1040 41934 132317 | 1 62268 28 | 0.000 % | 148.39/148.50 c | 498784 | 1040 41934 132317 | 1 74599 32 | 0.000 % | 148.39/148.50 c | 498884 | 1040 41934 132317 | 1 74699 32 | 0.000 % | 148.39/148.50 c | 508747 | 1040 41934 132317 | 1 84562 34 | 0.000 % | 148.39/148.50 c | 513289 | 1040 41934 132317 | 1 89104 34 | 0.000 % | 148.39/148.50 c | 592686 | 1040 41934 132317 | 1 69505 27 | 0.000 % | 148.39/148.50 c | 598885 | 1040 41934 132317 | 1 75704 28 | 0.000 % | 148.39/148.50 c | 622832 | 1040 41934 132317 | 1 99651 30 | 0.000 % | 148.39/148.50 c | 624194 | 1040 41934 132317 | 1 101013 30 | 0.000 % | 148.39/148.50 c | 631072 | 1040 41934 132317 | 1 54489 21 | 0.000 % | 148.39/148.50 c | 651321 | 1040 41934 132317 | 1 74738 26 | 0.000 % | 148.39/148.50 c | 701583 | 1040 41934 132317 | 1 68992 24 | 0.000 % | 148.39/148.50 c | 702394 | 1040 41934 132317 | 1 69803 24 | 0.000 % | 148.39/148.50 c | 736055 | 1040 41934 132317 | 1 103464 29 | 0.000 % | 148.39/148.50 c | 738344 | 1040 41934 132317 | 1 105753 30 | 0.000 % | 148.39/148.50 c | 740162 | 1040 41934 132317 | 1 107571 30 | 0.000 % | 148.39/148.50 c | 776730 | 1040 41934 132317 | 1 85541 26 | 0.000 % | 148.39/148.50 c | 824245 | 1040 41934 132317 | 1 71860 23 | 0.000 % | 148.39/148.50 c | 844889 | 1040 41934 132317 | 1 92504 28 | 0.000 % | 148.39/148.50 c | 912967 | 1040 41934 132317 | 1 96790 27 | 0.000 % | 148.39/148.50 c | 928924 | 1040 41934 132317 | 1 112747 28 | 0.000 % | 148.39/148.50 c | 948179 | 1040 41934 132317 | 1 132002 30 | 0.000 % | 148.39/148.50 c | 954437 | 1040 41934 132317 | 1 71859 21 | 0.000 % | 148.39/148.50 c | 1075720 | 1040 41934 132317 | 1 124147 28 | 0.000 % | 148.39/148.50 c | 1079337 | 1040 41934 132317 | 1 127764 28 | 0.000 % | 148.39/148.50 c | 1088072 | 1040 41934 132317 | 1 136499 29 | 0.000 % | 148.39/148.50 c | 1096400 | 1040 41934 132317 | 1 73220 20 | 0.000 % | 148.39/148.50 c | 1102135 | 1040 41934 132317 | 1 78955 21 | 0.000 % | 148.39/148.50 c | 1123539 | 1040 41934 132317 | 1 100359 25 | 0.000 % | 148.39/148.50 c | 1125070 | 1040 41934 132317 | 1 101890 25 | 0.000 % | 148.39/148.50 c | 1126386 | 1040 41934 132317 | 1 103206 25 | 0.000 % | 148.39/148.50 c | 1137936 | 1040 41934 132317 | 1 114756 27 | 0.000 % | 148.39/148.50 c | 1180171 | 1040 41934 132317 | 1 82790 21 | 0.000 % | 148.39/148.50 c | 1201689 | 1040 41934 132317 | 1 104308 25 | 0.000 % | 229.98/230.05 c | 1234190 | 1040 41934 132317 | 1 136809 28 | 0.000 % | 229.98/230.05 c | 1244017 | 1040 41934 132317 | 1 146636 28 | 0.000 % | 229.98/230.05 c | 1244118 | 1040 41934 132317 | 1 146737 28 | 0.000 % | 229.98/230.05 c | 1270621 | 1040 41934 132317 | 1 96435 24 | 0.000 % | 229.98/230.05 c | 1295941 | 1040 41934 132317 | 1 121755 28 | 0.000 % | 229.98/230.05 c | 1314799 | 1040 41934 132317 | 1 140613 30 | 0.000 % | 229.98/230.05 c | 1316450 | 1040 41934 132317 | 1 142264 30 | 0.000 % | 229.98/230.05 c | 1321028 | 1040 41934 132317 | 1 146842 30 | 0.000 % | 229.98/230.05 c | 1322970 | 1040 41934 132317 | 1 148784 31 | 0.000 % | 229.98/230.05 c | 1334848 | 1040 41934 132317 | 1 81259 21 | 0.000 % | 229.98/230.05 c | 1354542 | 1040 41934 132317 | 1 100953 24 | 0.000 % | 229.98/230.05 c | 1376123 | 1040 41934 132317 | 1 122534 28 | 0.000 % | 229.98/230.05 c | 1376227 | 1040 41934 132317 | 1 122638 28 | 0.000 % | 229.98/230.05 c | 1376448 | 1040 41934 132317 | 1 122859 28 | 0.000 % | 229.98/230.05 c | 1376549 | 1040 41934 132317 | 1 122960 28 | 0.000 % | 229.98/230.05 c | 1392239 | 1040 41934 132317 | 1 138650 30 | 0.000 % | 229.98/230.05 c | 1407291 | 1040 41934 132317 | 1 153702 31 | 0.000 % | 229.98/230.05 c | 1407400 | 1040 41934 132317 | 1 153811 32 | 0.000 % | 229.98/230.05 c | 1407719 | 1040 41934 132317 | 1 154130 32 | 0.000 % | 229.98/230.05 c | 1410682 | 1040 41934 132317 | 1 157093 32 | 0.000 % | 229.98/230.05 c | 1436959 | 1040 41934 132317 | 1 101379 24 | 0.000 % | 229.98/230.05 c | 1440621 | 1040 41934 132317 | 1 105041 24 | 0.000 % | 229.98/230.05 c | 1440903 | 1040 41934 132317 | 1 105323 24 | 0.000 % | 229.98/230.05 c | 1443350 | 1040 41934 132317 | 1 107770 25 | 0.000 % | 229.98/230.05 c | 1465118 | 1040 41934 132317 | 1 129538 27 | 0.000 % | 229.98/230.05 c | 1469997 | 1040 41934 132317 | 1 134417 28 | 0.000 % | 229.98/230.05 c | 1471255 | 1040 41934 132317 | 1 135675 28 | 0.000 % | 229.98/230.05 c | 1473230 | 1040 41934 132317 | 1 137650 28 | 0.000 % | 229.98/230.05 c | 1493428 | 1040 41934 132317 | 1 157848 30 | 0.000 % | 229.98/230.05 c | 1494224 | 1040 41934 132317 | 1 158644 30 | 0.000 % | 229.98/230.05 c | 1509835 | 1040 41934 132317 | 1 89658 20 | 0.000 % | 229.98/230.05 c | 1535479 | 1040 41934 132317 | 1 115302 25 | 0.000 % | 229.98/230.05 c | 1576904 | 1040 41934 132317 | 1 156727 29 | 0.000 % | 229.98/230.05 c | 1577010 | 1040 41934 132317 | 1 156833 29 | 0.000 % | 229.98/230.05 c | 1584166 | 1040 41934 132317 | 1 163989 29 | 0.000 % | 229.98/230.05 c | 1584273 | 1040 41934 132317 | 1 164096 29 | 0.000 % | 229.98/230.05 c | 1597786 | 1040 41934 132317 | 1 90408 20 | 0.000 % | 229.98/230.05 c | 1615389 | 1040 41934 132317 | 1 108011 24 | 0.000 % | 229.98/230.05 c | 1620626 | 1040 41934 132317 | 1 113248 24 | 0.000 % | 229.98/230.05 c | 1621834 | 1040 41934 132317 | 1 114456 25 | 0.000 % | 229.98/230.05 c | 1641412 | 1040 41934 132317 | 1 134034 27 | 0.000 % | 229.98/230.05 c | 1644140 | 1040 41934 132317 | 1 136762 27 | 0.000 % | 229.98/230.05 c | 1644847 | 1040 41934 132317 | 1 137469 27 | 0.000 % | 229.98/230.05 c | 1650871 | 1040 41934 132317 | 1 143493 28 | 0.000 % | 229.98/230.05 c | 1670958 | 1040 41934 132317 | 1 163580 30 | 0.000 % | 229.98/230.05 c | 1673446 | 1040 41934 132317 | 1 166068 30 | 0.000 % | 229.98/230.05 c | 1692834 | 1040 41934 132317 | 1 95658 21 | 0.000 % | 229.98/230.05 c | 1697440 | 1040 41934 132317 | 1 100264 22 | 0.000 % | 229.98/230.05 c | 1724815 | 1040 41934 132317 | 1 127639 25 | 0.000 % | 229.98/230.05 c | 1734075 | 1040 41934 132317 | 1 136899 25 | 0.000 % | 315.49/315.59 c | 1746702 | 1040 41934 132317 | 1 149526 27 | 0.000 % | 315.49/315.59 c | 1769587 | 1040 41934 132317 | 1 172411 29 | 0.000 % | 315.49/315.59 c | 1771611 | 1040 41934 132317 | 1 174435 29 | 0.000 % | 315.49/315.59 c | 1781914 | 1040 41934 132317 | 1 184738 29 | 0.000 % | 315.49/315.59 c | 1791194 | 1040 41934 132317 | 1 101609 21 | 0.000 % | 315.49/315.59 c | 1793725 | 1040 41934 132317 | 1 104140 22 | 0.000 % | 315.49/315.59 c | 1794007 | 1040 41934 132317 | 1 104422 22 | 0.000 % | 315.49/315.59 c | 1796833 | 1040 41934 132317 | 1 107248 22 | 0.000 % | 315.49/315.59 c | 1798446 | 1040 41934 132317 | 1 108861 23 | 0.000 % | 315.49/315.59 c | 1818201 | 1040 41934 132317 | 1 128616 25 | 0.000 % | 315.49/315.59 c | 1819193 | 1040 41934 132317 | 1 129608 25 | 0.000 % | 315.49/315.59 c | 1821969 | 1040 41934 132317 | 1 132384 25 | 0.000 % | 315.49/315.59 c | 1822138 | 1040 41934 132317 | 1 132553 25 | 0.000 % | 315.49/315.59 c | 1828999 | 1040 41934 132317 | 1 139414 26 | 0.000 % | 315.49/315.59 c | 1844920 | 1040 41934 132317 | 1 155335 28 | 0.000 % | 315.49/315.59 c | 1846110 | 1040 41934 132317 | 1 156525 28 | 0.000 % | 315.49/315.59 c | 1886900 | 1040 41934 132317 | 1 102319 21 | 0.000 % | 315.49/315.59 c | 1935032 | 1040 41934 132317 | 1 150451 29 | 0.000 % | 315.49/315.59 c | 1935132 | 1040 41934 132317 | 1 150551 29 | 0.000 % | 315.49/315.59 c | 1969121 | 1040 41934 132317 | 1 184540 31 | 0.000 % | 315.49/315.59 c | 1972780 | 1040 41934 132317 | 1 188199 31 | 0.000 % | 315.49/315.59 c | 1995786 | 1040 41934 132317 | 1 113609 23 | 0.000 % | 315.49/315.59 c | 1998057 | 1040 41934 132317 | 1 115880 23 | 0.000 % | 315.49/315.59 c | 1998180 | 1040 41934 132317 | 1 116003 23 | 0.000 % | 315.49/315.59 c | 2006990 | 1040 41934 132317 | 1 124813 25 | 0.000 % | 315.49/315.59 c | 2013340 | 1040 41934 132317 | 1 131163 25 | 0.000 % | 315.49/315.59 c | 2013761 | 1040 41934 132317 | 1 131584 25 | 0.000 % | 315.49/315.59 c | 2015454 | 1040 41934 132317 | 1 133277 26 | 0.000 % | 315.49/315.59 c | 2036247 | 1040 41934 132317 | 1 154070 28 | 0.000 % | 315.49/315.59 c | 2045159 | 1040 41934 132317 | 1 162982 28 | 0.000 % | 315.49/315.59 c | 2056485 | 1040 41934 132317 | 1 174308 29 | 0.000 % | 315.49/315.59 c | 2058134 | 1040 41934 132317 | 1 175957 29 | 0.000 % | 315.49/315.59 c | 2065152 | 1040 41934 132317 | 1 182975 29 | 0.000 % | 315.49/315.59 c | 2067349 | 1040 41934 132317 | 1 185172 30 | 0.000 % | 315.49/315.59 c | 2068509 | 1040 41934 132317 | 1 186332 30 | 0.000 % | 315.49/315.59 c | 2068689 | 1040 41934 132317 | 1 186512 30 | 0.000 % | 315.49/315.59 c | 2107382 | 1040 41934 132317 | 1 125004 23 | 0.000 % | 315.49/315.59 c | 2108751 | 1040 41934 132317 | 1 126373 23 | 0.000 % | 315.49/315.59 c | 2116595 | 1040 41934 132317 | 1 134217 24 | 0.000 % | 315.49/315.59 c | 2137498 | 1040 41934 132317 | 1 155120 27 | 0.000 % | 315.49/315.59 c | 2141324 | 1040 41934 132317 | 1 158946 27 | 0.000 % | 315.49/315.59 c | 2152302 | 1040 41934 132317 | 1 169924 28 | 0.000 % | 315.49/315.59 c | 2172424 | 1040 41934 132317 | 1 190046 29 | 0.000 % | 315.49/315.59 c | 2179032 | 1040 41934 132317 | 1 196654 29 | 0.000 % | 315.49/315.59 c | 2180865 | 1040 41934 132317 | 1 198487 29 | 0.000 % | 315.49/315.59 c | 2180966 | 1040 41934 132317 | 1 198588 29 | 0.000 % | 315.49/315.59 c | 2186750 | 1040 41934 132317 | 1 204372 29 | 0.000 % | 315.49/315.59 c | 2187282 | 1040 41934 132317 | 1 204904 29 | 0.000 % | 315.49/315.59 c | 2223488 | 1040 41934 132317 | 1 138306 24 | 0.000 % | 315.49/315.59 c | 2227818 | 1040 41934 132317 | 1 142636 24 | 0.000 % | 428.40/428.46 c | 2243830 | 1040 41934 132317 | 1 158648 25 | 0.000 % | 428.40/428.46 c | 2245881 | 1040 41934 132317 | 1 160699 26 | 0.000 % | 428.40/428.46 c | 2245982 | 1040 41934 132317 | 1 160800 26 | 0.000 % | 428.40/428.46 c | 2246681 | 1040 41934 132317 | 1 161499 26 | 0.000 % | 428.40/428.46 c | 2252554 | 1040 41934 132317 | 1 167372 26 | 0.000 % | 428.40/428.46 c | 2258011 | 1040 41934 132317 | 1 172829 27 | 0.000 % | 428.40/428.46 c | 2260293 | 1040 41934 132317 | 1 175111 27 | 0.000 % | 428.40/428.46 c | 2269008 | 1040 41934 132317 | 1 183826 28 | 0.000 % | 428.40/428.46 c | 2274678 | 1040 41934 132317 | 1 189496 28 | 0.000 % | 428.40/428.46 c | 2284226 | 1040 41934 132317 | 1 199044 29 | 0.000 % | 428.40/428.46 c | 2287845 | 1040 41934 132317 | 1 202663 29 | 0.000 % | 428.40/428.46 c | 2288792 | 1040 41934 132317 | 1 203610 29 | 0.000 % | 428.40/428.46 c | 2400376 | 1040 41934 132317 | 1 209796 28 | 0.000 % | 428.40/428.46 c | 2407348 | 1040 41934 132317 | 1 108766 18 | 0.000 % | 428.40/428.46 c | 2416551 | 1040 41934 132317 | 1 117969 20 | 0.000 % | 428.40/428.46 c | 2424464 | 1040 41934 132317 | 1 125882 22 | 0.000 % | 428.40/428.46 c | 2426647 | 1040 41934 132317 | 1 128065 22 | 0.000 % | 428.40/428.46 c | 2427765 | 1040 41934 132317 | 1 129183 22 | 0.000 % | 428.40/428.46 c | 2432540 | 1040 41934 132317 | 1 133958 23 | 0.000 % | 428.40/428.46 c | 2440218 | 1040 41934 132317 | 1 141636 23 | 0.000 % | 428.40/428.46 c | 2488481 | 1040 41934 132317 | 1 189899 26 | 0.000 % | 428.40/428.46 c | 2490404 | 1040 41934 132317 | 1 191822 26 | 0.000 % | 428.40/428.46 c | 2516038 | 1040 41934 132317 | 1 217456 27 | 0.000 % | 428.40/428.46 c | 2537026 | 1040 41934 132317 | 1 127838 20 | 0.000 % | 428.40/428.46 c | 2546449 | 1040 41934 132317 | 1 137261 21 | 0.000 % | 428.40/428.46 c | 2559415 | 1040 41934 132317 | 1 150227 23 | 0.000 % | 428.40/428.46 c | 2569476 | 1040 41934 132317 | 1 160288 24 | 0.000 % | 428.40/428.46 c | 2569577 | 1040 41934 132317 | 1 160389 24 | 0.000 % | 428.40/428.46 c | 2586145 | 1040 41934 132317 | 1 176957 26 | 0.000 % | 428.40/428.46 c | 2598349 | 1040 41934 132317 | 1 189161 27 | 0.000 % | 428.40/428.46 c | 2598748 | 1040 41934 132317 | 1 189560 27 | 0.000 % | 428.40/428.46 c | 2631628 | 1040 41934 132317 | 1 222440 28 | 0.000 % | 428.40/428.46 c | 2643945 | 1040 41934 132317 | 1 121564 20 | 0.000 % | 428.40/428.46 c | 2649389 | 1040 41934 132317 | 1 127008 21 | 0.000 % | 428.40/428.46 c | 2664503 | 1040 41934 132317 | 1 142122 23 | 0.000 % | 428.40/428.46 c | 2664640 | 1040 41934 132317 | 1 142259 23 | 0.000 % | 428.40/428.46 c | 2670649 | 1040 41934 132317 | 1 148268 24 | 0.000 % | 428.40/428.46 c | 2677367 | 1040 41934 132317 | 1 154986 24 | 0.000 % | 428.40/428.46 c | 2677467 | 1040 41934 132317 | 1 155086 24 | 0.000 % | 428.40/428.46 c | 2700199 | 1040 41934 132317 | 1 177818 26 | 0.000 % | 428.40/428.46 c | 2705813 | 1040 41934 132317 | 1 183432 26 | 0.000 % | 428.40/428.46 c | 2705951 | 1040 41934 132317 | 1 183570 26 | 0.000 % | 428.40/428.46 c | 2706051 | 1040 41934 132317 | 1 183670 26 | 0.000 % | 428.40/428.46 c | 2712218 | 1040 41934 132317 | 1 189837 27 | 0.000 % | 428.40/428.46 c | 2713023 | 1040 41934 132317 | 1 190642 27 | 0.000 % | 428.40/428.46 c | 2717408 | 1040 41934 132317 | 1 195027 27 | 0.000 % | 428.40/428.46 c | 2720317 | 1040 41934 132317 | 1 197936 27 | 0.000 % | 428.40/428.46 c | 2722818 | 1040 41934 132317 | 1 200437 28 | 0.000 % | 428.40/428.46 c | 2787354 | 1040 41934 132317 | 1 149178 24 | 0.000 % | 428.40/428.46 c | 2787478 | 1040 41934 132317 | 1 149302 24 | 0.000 % | 531.09/531.10 c | 2791139 | 1040 41934 132317 | 1 152963 24 | 0.000 % | 531.09/531.10 c | 2791305 | 1040 41934 132317 | 1 153129 24 | 0.000 % | 531.09/531.10 c | 2800082 | 1040 41934 132317 | 1 161906 25 | 0.000 % | 531.09/531.10 c | 2811846 | 1040 41934 132317 | 1 173670 26 | 0.000 % | 531.09/531.10 c | 2813381 | 1040 41934 132317 | 1 175205 26 | 0.000 % | 531.09/531.10 c | 2840505 | 1040 41934 132317 | 1 202329 28 | 0.000 % | 531.09/531.10 c | 2861548 | 1040 41934 132317 | 1 223372 29 | 0.000 % | 531.09/531.10 c | 2861651 | 1040 41934 132317 | 1 223475 29 | 0.000 % | 531.09/531.10 c | 2862639 | 1040 41934 132317 | 1 224463 29 | 0.000 % | 531.09/531.10 c | 2864304 | 1040 41934 132317 | 1 226128 29 | 0.000 % | 531.09/531.10 c | 2871529 | 1040 41934 132317 | 1 233353 29 | 0.000 % | 531.09/531.10 c | 2877042 | 1040 41934 132317 | 1 120463 19 | 0.000 % | 531.09/531.10 c | 2886719 | 1040 41934 132317 | 1 130140 21 | 0.000 % | 531.09/531.10 c | 2887628 | 1040 41934 132317 | 1 131049 21 | 0.000 % | 531.09/531.10 c | 2887748 | 1040 41934 132317 | 1 131169 21 | 0.000 % | 531.09/531.10 c | 2887849 | 1040 41934 132317 | 1 131270 21 | 0.000 % | 531.09/531.10 c | 2891973 | 1040 41934 132317 | 1 135394 22 | 0.000 % | 531.09/531.10 c | 2892191 | 1040 41934 132317 | 1 135612 22 | 0.000 % | 531.09/531.10 c | 2893383 | 1040 41934 132317 | 1 136804 22 | 0.000 % | 531.09/531.10 c | 2916257 | 1040 41934 132317 | 1 159678 25 | 0.000 % | 531.09/531.10 c | 2917380 | 1040 41934 132317 | 1 160801 25 | 0.000 % | 531.09/531.10 c | 2926888 | 1040 41934 132317 | 1 170309 26 | 0.000 % | 531.09/531.10 c | 2929070 | 1040 41934 132317 | 1 172491 26 | 0.000 % | 531.09/531.10 c | 2932495 | 1040 41934 132317 | 1 175916 26 | 0.000 % | 531.09/531.10 c | 2949853 | 1040 41934 132317 | 1 193274 27 | 0.000 % | 531.09/531.10 c | 3027743 | 1040 41934 132317 | 1 150163 23 | 0.000 % | 531.09/531.10 c | 3078576 | 1040 41934 132317 | 1 200996 27 | 0.000 % | 531.09/531.10 c | 3093615 | 1040 41934 132317 | 1 216035 29 | 0.000 % | 531.09/531.10 c | 3093715 | 1040 41934 132317 | 1 216135 29 | 0.000 % | 531.09/531.10 c | 3094040 | 1040 41934 132317 | 1 216460 29 | 0.000 % | 531.09/531.10 c | 3108943 | 1040 41934 132317 | 1 231363 29 | 0.000 % | 531.09/531.10 c | 3119142 | 1040 41934 132317 | 1 241562 30 | 0.000 % | 531.09/531.10 c | 3119243 | 1040 41934 132317 | 1 241663 30 | 0.000 % | 531.09/531.10 c | 3127501 | 1040 41934 132317 | 1 126321 19 | 0.000 % | 531.09/531.10 c | 3155401 | 1040 41934 132317 | 1 154221 23 | 0.000 % | 531.09/531.10 c | 3160866 | 1040 41934 132317 | 1 159686 23 | 0.000 % | 531.09/531.10 c | 3161873 | 1040 41934 132317 | 1 160693 24 | 0.000 % | 531.09/531.10 c | 3175468 | 1040 41934 132317 | 1 174288 25 | 0.000 % | 531.09/531.10 c | 3179359 | 1040 41934 132317 | 1 178179 25 | 0.000 % | 531.09/531.10 c | 3187062 | 1040 41934 132317 | 1 185882 26 | 0.000 % | 531.09/531.10 c | 3190062 | 1040 41934 132317 | 1 188882 26 | 0.000 % | 531.09/531.10 c | 3206349 | 1040 41934 132317 | 1 205169 27 | 0.000 % | 531.09/531.10 c | 3206708 | 1040 41934 132317 | 1 205528 27 | 0.000 % | 531.09/531.10 c | 3213087 | 1040 41934 132317 | 1 211907 28 | 0.000 % | 531.09/531.10 c | 3238416 | 1040 41934 132317 | 1 237236 29 | 0.000 % | 531.09/531.10 c | 3252214 | 1040 41934 132317 | 1 251034 29 | 0.000 % | 531.09/531.10 c | 3256755 | 1040 41934 132317 | 1 129366 19 | 0.000 % | 531.09/531.10 c | 3273254 | 1040 41934 132317 | 1 145865 21 | 0.000 % | 531.09/531.10 c | 3275361 | 1040 41934 132317 | 1 147972 21 | 0.000 % | 531.09/531.10 c | 3275462 | 1040 41934 132317 | 1 148073 21 | 0.000 % | 606.40/606.46 c | 3279004 | 1040 41934 132317 | 1 151615 22 | 0.000 % | 606.40/606.46 c | 3288343 | 1040 41934 132317 | 1 160954 23 | 0.000 % | 606.40/606.46 c | 3292916 | 1040 41934 132317 | 1 165527 23 | 0.000 % | 606.40/606.46 c | 3293239 | 1040 41934 132317 | 1 165850 23 | 0.000 % | 606.40/606.46 c | 3296140 | 1040 41934 132317 | 1 168751 24 | 0.000 % | 606.40/606.46 c | 3297196 | 1040 41934 132317 | 1 169807 24 | 0.000 % | 606.40/606.46 c | 3312359 | 1040 41934 132317 | 1 184970 25 | 0.000 % | 606.40/606.46 c | 3313119 | 1040 41934 132317 | 1 185730 25 | 0.000 % | 606.40/606.46 c | 3320891 | 1040 41934 132317 | 1 193502 26 | 0.000 % | 606.40/606.46 c | 3329047 | 1040 41934 132317 | 1 201658 26 | 0.000 % | 606.40/606.46 c | 3329148 | 1040 41934 132317 | 1 201759 26 | 0.000 % | 606.40/606.46 c | 3330057 | 1040 41934 132317 | 1 202668 26 | 0.000 % | 606.40/606.46 c | 3330158 | 1040 41934 132317 | 1 202769 26 | 0.000 % | 606.40/606.46 c | 3334548 | 1040 41934 132317 | 1 207159 27 | 0.000 % | 606.40/606.46 c | 3339667 | 1040 41934 132317 | 1 212278 27 | 0.000 % | 606.40/606.46 c | 3353089 | 1040 41934 132317 | 1 225700 28 | 0.000 % | 606.40/606.46 c | 3354080 | 1040 41934 132317 | 1 226691 28 | 0.000 % | 606.40/606.46 c | 3368868 | 1040 41934 132317 | 1 241479 28 | 0.000 % | 606.40/606.46 c | 3369879 | 1040 41934 132317 | 1 242490 28 | 0.000 % | 606.40/606.46 c | 3399854 | 1040 41934 132317 | 1 143666 20 | 0.000 % | 606.40/606.46 c | 3400393 | 1040 41934 132317 | 1 144205 21 | 0.000 % | 606.40/606.46 c | 3410426 | 1040 41934 132317 | 1 154238 22 | 0.000 % | 606.40/606.46 c | 3464826 | 1040 41934 132317 | 1 208638 28 | 0.000 % | 606.40/606.46 c | 3465326 | 1040 41934 132317 | 1 209138 28 | 0.000 % | 606.40/606.46 c | 3472125 | 1040 41934 132317 | 1 215937 28 | 0.000 % | 606.40/606.46 c | 3472832 | 1040 41934 132317 | 1 216644 28 | 0.000 % | 606.40/606.46 c | 3473926 | 1040 41934 132317 | 1 217738 28 | 0.000 % | 606.40/606.46 c | 3477975 | 1040 41934 132317 | 1 221787 29 | 0.000 % | 606.40/606.46 c | 3478107 | 1040 41934 132317 | 1 221919 29 | 0.000 % | 606.40/606.46 c | 3479488 | 1040 41934 132317 | 1 223300 29 | 0.000 % | 606.40/606.46 c | 3480405 | 1040 41934 132317 | 1 224217 29 | 0.000 % | 606.40/606.46 c | 3483855 | 1040 41934 132317 | 1 227667 29 | 0.000 % | 606.40/606.46 c | 3485635 | 1040 41934 132317 | 1 229447 29 | 0.000 % | 606.40/606.46 c | 3494258 | 1040 41934 132317 | 1 238070 30 | 0.000 % | 606.40/606.46 c | 3514370 | 1040 41934 132317 | 1 258182 31 | 0.000 % | 606.40/606.46 c | 3540760 | 1040 41934 132317 | 1 153175 22 | 0.000 % | 606.40/606.46 c | 3556291 | 1040 41934 132317 | 1 168706 24 | 0.000 % | 606.40/606.46 c | 3562199 | 1040 41934 132317 | 1 174614 25 | 0.000 % | 606.40/606.46 c | 3576423 | 1040 41934 132317 | 1 188838 26 | 0.000 % | 606.40/606.46 c | 3589450 | 1040 41934 132317 | 1 201865 27 | 0.000 % | 606.40/606.46 c | 3589552 | 1040 41934 132317 | 1 201967 27 | 0.000 % | 606.40/606.46 c | 3600578 | 1040 41934 132317 | 1 212993 28 | 0.000 % | 606.40/606.46 c | 3600754 | 1040 41934 132317 | 1 213169 28 | 0.000 % | 606.40/606.46 c | 3620277 | 1040 41934 132317 | 1 232692 29 | 0.000 % | 606.40/606.46 c | 3629994 | 1040 41934 132317 | 1 242409 30 | 0.000 % | 606.40/606.46 c | 3635039 | 1040 41934 132317 | 1 247454 30 | 0.000 % | 606.40/606.46 c | 3635716 | 1040 41934 132317 | 1 248131 30 | 0.000 % | 606.40/606.46 c | 3635819 | 1040 41934 132317 | 1 248234 30 | 0.000 % | 606.40/606.46 c | 3636220 | 1040 41934 132317 | 1 248635 30 | 0.000 % | 606.40/606.46 c | 3636511 | 1040 41934 132317 | 1 248926 30 | 0.000 % | 714.20/714.29 c | 3639204 | 1040 41934 132317 | 1 251619 30 | 0.000 % | 714.20/714.29 c | 3647271 | 1040 41934 132317 | 1 259686 31 | 0.000 % | 714.20/714.29 c | 3674738 | 1040 41934 132317 | 1 153153 21 | 0.000 % | 714.20/714.29 c | 3686106 | 1040 41934 132317 | 1 164521 23 | 0.000 % | 714.20/714.29 c | 3737149 | 1040 41934 132317 | 1 215564 28 | 0.000 % | 714.20/714.29 c | 3737265 | 1040 41934 132317 | 1 215680 28 | 0.000 % | 714.20/714.29 c | 3741790 | 1040 41934 132317 | 1 220205 28 | 0.000 % | 714.20/714.29 c | 3746100 | 1040 41934 132317 | 1 224515 28 | 0.000 % | 714.20/714.29 c | 3756831 | 1040 41934 132317 | 1 235246 29 | 0.000 % | 714.20/714.29 c | 3766831 | 1040 41934 132317 | 1 245246 29 | 0.000 % | 714.20/714.29 c | 3767034 | 1040 41934 132317 | 1 245449 29 | 0.000 % | 714.20/714.29 c | 3779854 | 1040 41934 132317 | 1 258269 29 | 0.000 % | 714.20/714.29 c | 3791164 | 1040 41934 132317 | 1 269579 30 | 0.000 % | 714.20/714.29 c | 3855019 | 1040 41934 132317 | 1 196835 25 | 0.000 % | 714.20/714.29 c | 3855643 | 1040 41934 132317 | 1 197459 25 | 0.000 % | 714.20/714.29 c | 3871043 | 1040 41934 132317 | 1 212859 27 | 0.000 % | 714.20/714.29 c | 3871437 | 1040 41934 132317 | 1 213253 27 | 0.000 % | 714.20/714.29 c | 3872787 | 1040 41934 132317 | 1 214603 27 | 0.000 % | 714.20/714.29 c | 3874054 | 1040 41934 132317 | 1 215870 27 | 0.000 % | 714.20/714.29 c | 3889771 | 1040 41934 132317 | 1 231587 28 | 0.000 % | 714.20/714.29 c | 3918691 | 1040 41934 132317 | 1 260507 29 | 0.000 % | 714.20/714.29 c | 3920493 | 1040 41934 132317 | 1 262309 29 | 0.000 % | 714.20/714.29 c | 3924631 | 1040 41934 132317 | 1 266447 29 | 0.000 % | 714.20/714.29 c | 3954940 | 1040 41934 132317 | 1 157558 20 | 0.000 % | 714.20/714.29 c | 3991283 | 1040 41934 132317 | 1 193901 23 | 0.000 % | 714.20/714.29 c | 3997717 | 1040 41934 132317 | 1 200335 23 | 0.000 % | 714.20/714.29 c | 4002921 | 1040 41934 132317 | 1 205539 24 | 0.000 % | 714.20/714.29 c | 4004976 | 1040 41934 132317 | 1 207594 24 | 0.000 % | 714.20/714.29 c | 4005464 | 1040 41934 132317 | 1 208082 24 | 0.000 % | 714.20/714.29 c | 4005564 | 1040 41934 132317 | 1 208182 24 | 0.000 % | 714.20/714.29 c | 4006580 | 1040 41934 132317 | 1 209198 24 | 0.000 % | 714.20/714.29 c | 4006680 | 1040 41934 132317 | 1 209298 24 | 0.000 % | 714.20/714.29 c | 4007901 | 1040 41934 132317 | 1 210519 24 | 0.000 % | 714.20/714.29 c | 4016923 | 1040 41934 132317 | 1 219541 25 | 0.000 % | 714.20/714.29 c | 4017023 | 1040 41934 132317 | 1 219641 25 | 0.000 % | 714.20/714.29 c | 4023597 | 1040 41934 132317 | 1 226215 25 | 0.000 % | 714.20/714.29 c | 4050324 | 1040 41934 132317 | 1 252942 26 | 0.000 % | 714.20/714.29 c | 4072145 | 1040 41934 132317 | 1 274763 27 | 0.000 % | 714.20/714.29 c | 4077904 | 1040 41934 132317 | 1 280522 27 | 0.000 % | 714.20/714.29 c | 4079686 | 1040 41934 132317 | 1 282304 28 | 0.000 % | 714.20/714.29 c | 4084357 | 1040 41934 132317 | 1 145175 18 | 0.000 % | 714.20/714.29 c | 4084457 | 1040 41934 132317 | 1 145275 18 | 0.000 % | 714.20/714.29 c | 4089212 | 1040 41934 132317 | 1 150030 19 | 0.000 % | 714.20/714.29 c | 4093522 | 1040 41934 132317 | 1 154340 19 | 0.000 % | 714.20/714.29 c | 4106413 | 1040 41934 132317 | 1 167231 21 | 0.000 % | 714.20/714.29 c | 4106882 | 1040 41934 132317 | 1 167700 21 | 0.000 % | 714.20/714.29 c | 4126483 | 1040 41934 132317 | 1 187301 22 | 0.000 % | 714.20/714.29 c | 4127182 | 1040 41934 132317 | 1 188000 22 | 0.000 % | 714.20/714.29 c | 4132612 | 1040 41934 132317 | 1 193430 23 | 0.000 % | 792.01/792.05 c | 4143184 | 1040 41934 132317 | 1 204002 23 | 0.000 % | 792.01/792.05 c | 4145304 | 1040 41934 132317 | 1 206122 24 | 0.000 % | 792.01/792.05 c | 4152167 | 1040 41934 132317 | 1 212985 24 | 0.000 % | 792.01/792.05 c | 4152397 | 1040 41934 132317 | 1 213215 24 | 0.000 % | 792.01/792.05 c | 4152500 | 1040 41934 132317 | 1 213318 24 | 0.000 % | 792.01/792.05 c | 4156896 | 1040 41934 132317 | 1 217714 24 | 0.000 % | 792.01/792.05 c | 4156998 | 1040 41934 132317 | 1 217816 24 | 0.000 % | 792.01/792.05 c | 4161477 | 1040 41934 132317 | 1 222295 25 | 0.000 % | 792.01/792.05 c | 4165103 | 1040 41934 132317 | 1 225921 25 | 0.000 % | 792.01/792.05 c | 4170994 | 1040 41934 132317 | 1 231812 25 | 0.000 % | 792.01/792.05 c | 4175533 | 1040 41934 132317 | 1 236351 25 | 0.000 % | 792.01/792.05 c | 4178743 | 1040 41934 132317 | 1 239561 26 | 0.000 % | 792.01/792.05 c | 4180799 | 1040 41934 132317 | 1 241617 26 | 0.000 % | 792.01/792.05 c | 4184733 | 1040 41934 132317 | 1 245551 26 | 0.000 % | 792.01/792.05 c | 4186059 | 1040 41934 132317 | 1 246877 26 | 0.000 % | 792.01/792.05 c | 4188554 | 1040 41934 132317 | 1 249372 26 | 0.000 % | 792.01/792.05 c | 4202120 | 1040 41934 132317 | 1 262938 27 | 0.000 % | 792.01/792.05 c | 4219865 | 1040 41934 132317 | 1 280683 28 | 0.000 % | 792.01/792.05 c | 4219966 | 1040 41934 132317 | 1 280784 28 | 0.000 % | 792.01/792.05 c | 4220239 | 1040 41934 132317 | 1 281057 28 | 0.000 % | 792.01/792.05 c | 4225537 | 1040 41934 132317 | 1 286355 28 | 0.000 % | 792.01/792.05 c | 4225638 | 1040 41934 132317 | 1 286456 28 | 0.000 % | 792.01/792.05 c | 4234616 | 1040 41934 132317 | 1 151031 19 | 0.000 % | 792.01/792.05 c | 4265959 | 1040 41934 132317 | 1 182374 23 | 0.000 % | 792.01/792.05 c | 4302825 | 1040 41934 132317 | 1 219240 25 | 0.000 % | 792.01/792.05 c | 4304063 | 1040 41934 132317 | 1 220478 25 | 0.000 % | 792.01/792.05 c | 4325955 | 1040 41934 132317 | 1 242370 27 | 0.000 % | 792.01/792.05 c | 4335914 | 1040 41934 132317 | 1 252329 27 | 0.000 % | 792.01/792.05 c | 4342004 | 1040 41934 132317 | 1 258419 28 | 0.000 % | 792.01/792.05 c | 4353863 | 1040 41934 132317 | 1 270278 28 | 0.000 % | 792.01/792.05 c | 4353964 | 1040 41934 132317 | 1 270379 28 | 0.000 % | 792.01/792.05 c | 4356965 | 1040 41934 132317 | 1 273380 28 | 0.000 % | 792.01/792.05 c | 4379982 | 1040 41934 132317 | 1 149402 19 | 0.000 % | 792.01/792.05 c | 4387542 | 1040 41934 132317 | 1 156962 20 | 0.000 % | 792.01/792.05 c | 4392990 | 1040 41934 132317 | 1 162410 20 | 0.000 % | 792.01/792.05 c | 4398508 | 1040 41934 132317 | 1 167928 21 | 0.000 % | 792.01/792.05 c | 4401323 | 1040 41934 132317 | 1 170743 21 | 0.000 % | 792.01/792.05 c | 4402074 | 1040 41934 132317 | 1 171494 21 | 0.000 % | 792.01/792.05 c | 4403049 | 1040 41934 132317 | 1 172469 21 | 0.000 % | 792.01/792.05 c | 4411306 | 1040 41934 132317 | 1 180726 22 | 0.000 % | 792.01/792.05 c | 4414380 | 1040 41934 132317 | 1 183800 22 | 0.000 % | 792.01/792.05 c | 4414510 | 1040 41934 132317 | 1 183930 22 | 0.000 % | 792.01/792.05 c | 4416528 | 1040 41934 132317 | 1 185948 22 | 0.000 % | 792.01/792.05 c | 4424400 | 1040 41934 132317 | 1 193820 23 | 0.000 % | 792.01/792.05 c | 4425109 | 1040 41934 132317 | 1 194529 23 | 0.000 % | 792.01/792.05 c | 4428636 | 1040 41934 132317 | 1 198056 23 | 0.000 % | 792.01/792.05 c | 4440123 | 1040 41934 132317 | 1 209543 24 | 0.000 % | 792.01/792.05 c | 4458902 | 1040 41934 132317 | 1 228322 25 | 0.000 % | 792.01/792.05 c | 4467368 | 1040 41934 132317 | 1 236788 25 | 0.000 % | 792.01/792.05 c | 4479941 | 1040 41934 132317 | 1 249361 26 | 0.000 % | 893.12/893.16 c | 4485413 | 1040 41934 132317 | 1 254833 27 | 0.000 % | 893.12/893.16 c | 4486433 | 1040 41934 132317 | 1 255853 27 | 0.000 % | 893.12/893.16 c | 4496909 | 1040 41934 132317 | 1 266329 27 | 0.000 % | 893.12/893.16 c | 4532859 | 1040 41934 132317 | 1 152680 18 | 0.000 % | 893.12/893.16 c | 4535008 | 1040 41934 132317 | 1 154829 19 | 0.000 % | 893.12/893.16 c | 4552611 | 1040 41934 132317 | 1 172432 21 | 0.000 % | 893.12/893.16 c | 4580330 | 1040 41934 132317 | 1 200151 23 | 0.000 % | 893.12/893.16 c | 4585830 | 1040 41934 132317 | 1 205651 23 | 0.000 % | 893.12/893.16 c | 4600034 | 1040 41934 132317 | 1 219855 24 | 0.000 % | 893.12/893.16 c | 4601833 | 1040 41934 132317 | 1 221654 24 | 0.000 % | 893.12/893.16 c | 4616617 | 1040 41934 132317 | 1 236438 25 | 0.000 % | 893.12/893.16 c | 4616717 | 1040 41934 132317 | 1 236538 25 | 0.000 % | 893.12/893.16 c | 4625541 | 1040 41934 132317 | 1 245362 25 | 0.000 % | 893.12/893.16 c | 4627306 | 1040 41934 132317 | 1 247127 26 | 0.000 % | 893.12/893.16 c | 4628141 | 1040 41934 132317 | 1 247962 26 | 0.000 % | 893.12/893.16 c | 4629315 | 1040 41934 132317 | 1 249136 26 | 0.000 % | 893.12/893.16 c | 4630911 | 1040 41934 132317 | 1 250732 26 | 0.000 % | 893.12/893.16 c | 4637221 | 1040 41934 132317 | 1 257042 26 | 0.000 % | 893.12/893.16 c | 4643799 | 1040 41934 132317 | 1 263620 26 | 0.000 % | 893.12/893.16 c | 4644555 | 1040 41934 132317 | 1 264376 26 | 0.000 % | 893.12/893.16 c | 4644655 | 1040 41934 132317 | 1 264476 26 | 0.000 % | 893.12/893.16 c | 4645381 | 1040 41934 132317 | 1 265202 26 | 0.000 % | 893.12/893.16 c | 4645484 | 1040 41934 132317 | 1 265305 26 | 0.000 % | 893.12/893.16 c | 4659025 | 1040 41934 132317 | 1 278846 27 | 0.000 % | 893.12/893.16 c | 4730928 | 1040 41934 132317 | 1 198545 22 | 0.000 % | 893.12/893.16 c | 4732067 | 1040 41934 132317 | 1 199684 22 | 0.000 % | 893.12/893.16 c | 4735902 | 1040 41934 132317 | 1 203519 22 | 0.000 % | 893.12/893.16 c | 4736003 | 1040 41934 132317 | 1 203620 22 | 0.000 % | 893.12/893.16 c | 4753947 | 1040 41934 132317 | 1 221564 24 | 0.000 % | 893.12/893.16 c | 4761244 | 1040 41934 132317 | 1 228861 24 | 0.000 % | 893.12/893.16 c | 4797926 | 1040 41934 132317 | 1 265543 26 | 0.000 % | 893.12/893.16 c | 4804422 | 1040 41934 132317 | 1 272039 26 | 0.000 % | 893.12/893.16 c | 4806429 | 1040 41934 132317 | 1 274046 26 | 0.000 % | 893.12/893.16 c | 4813124 | 1040 41934 132317 | 1 280741 26 | 0.000 % | 893.12/893.16 c | 4819746 | 1040 41934 132317 | 1 287363 27 | 0.000 % | 893.12/893.16 c | 4830926 | 1040 41934 132317 | 1 298543 27 | 0.000 % | 893.12/893.16 c | 4843201 | 1040 41934 132317 | 1 156017 18 | 0.000 % | 893.12/893.16 c | 4853222 | 1040 41934 132317 | 1 166038 19 | 0.000 % | 893.12/893.16 c | 4861335 | 1040 41934 132317 | 1 174151 19 | 0.000 % | 893.12/893.16 c | 4871687 | 1040 41934 132317 | 1 184503 21 | 0.000 % | 893.12/893.16 c | 4876628 | 1040 41934 132317 | 1 189444 21 | 0.000 % | 893.12/893.16 c | 4880606 | 1040 41934 132317 | 1 193422 21 | 0.000 % | 893.12/893.16 c | 4884147 | 1040 41934 132317 | 1 196963 22 | 0.000 % | 893.12/893.16 c | 4884247 | 1040 41934 132317 | 1 197063 22 | 0.000 % | 893.12/893.16 c | 4889040 | 1040 41934 132317 | 1 201856 22 | 0.000 % | 893.12/893.16 c | 4889141 | 1040 41934 132317 | 1 201957 22 | 0.000 % | 893.12/893.16 c | 4889404 | 1040 41934 132317 | 1 202220 22 | 0.000 % | 893.12/893.16 c | 4890940 | 1040 41934 132317 | 1 203756 23 | 0.000 % | 893.12/893.16 c | 4892705 | 1040 41934 132317 | 1 205521 23 | 0.000 % | 893.12/893.16 c | 4906082 | 1040 41934 132317 | 1 218898 24 | 0.000 % | 972.21/972.20 c | 4910357 | 1040 41934 132317 | 1 223173 24 | 0.000 % | 972.21/972.20 c | 4911847 | 1040 41934 132317 | 1 224663 24 | 0.000 % | 972.21/972.20 c | 4928073 | 1040 41934 132317 | 1 240889 26 | 0.000 % | 972.21/972.20 c | 4928386 | 1040 41934 132317 | 1 241202 26 | 0.000 % | 972.21/972.20 c | 4930318 | 1040 41934 132317 | 1 243134 26 | 0.000 % | 972.21/972.20 c | 4931436 | 1040 41934 132317 | 1 244252 26 | 0.000 % | 972.21/972.20 c | 4932955 | 1040 41934 132317 | 1 245771 26 | 0.000 % | 972.21/972.20 c | 4933055 | 1040 41934 132317 | 1 245871 26 | 0.000 % | 972.21/972.20 c | 4952045 | 1040 41934 132317 | 1 264861 26 | 0.000 % | 972.21/972.20 c | 4955101 | 1040 41934 132317 | 1 267917 27 | 0.000 % | 972.21/972.20 c | 4956379 | 1040 41934 132317 | 1 269195 27 | 0.000 % | 972.21/972.20 c | 4956480 | 1040 41934 132317 | 1 269296 27 | 0.000 % | 972.21/972.20 c | 4971002 | 1040 41934 132317 | 1 283818 27 | 0.000 % | 972.21/972.20 c | 4978774 | 1040 41934 132317 | 1 291590 28 | 0.000 % | 972.21/972.20 c | 4981436 | 1040 41934 132317 | 1 294252 28 | 0.000 % | 972.21/972.20 c | 4987892 | 1040 41934 132317 | 1 300708 28 | 0.000 % | 972.21/972.20 c | 4988768 | 1040 41934 132317 | 1 301584 28 | 0.000 % | 972.21/972.20 c | 4997287 | 1040 41934 132317 | 1 310103 29 | 0.000 % | 972.21/972.20 c | 5009709 | 1040 41934 132317 | 1 165122 19 | 0.000 % | 972.21/972.20 c | 5018251 | 1040 41934 132317 | 1 173664 20 | 0.000 % | 972.21/972.20 c | 5018352 | 1040 41934 132317 | 1 173765 20 | 0.000 % | 972.21/972.20 c | 5020789 | 1040 41934 132317 | 1 176202 20 | 0.000 % | 972.21/972.20 c | 5020889 | 1040 41934 132317 | 1 176302 20 | 0.000 % | 972.21/972.20 c | 5020990 | 1040 41934 132317 | 1 176403 20 | 0.000 % | 972.21/972.20 c | 5024185 | 1040 41934 132317 | 1 179598 21 | 0.000 % | 972.21/972.20 c | 5025390 | 1040 41934 132317 | 1 180803 21 | 0.000 % | 972.21/972.20 c | 5036014 | 1040 41934 132317 | 1 191427 22 | 0.000 % | 972.21/972.20 c | 5036115 | 1040 41934 132317 | 1 191528 22 | 0.000 % | 972.21/972.20 c | 5054179 | 1040 41934 132317 | 1 209592 24 | 0.000 % | 972.21/972.20 c | 5054281 | 1040 41934 132317 | 1 209694 24 | 0.000 % | 972.21/972.20 c | 5056878 | 1040 41934 132317 | 1 212291 25 | 0.000 % | 972.21/972.20 c | 5056978 | 1040 41934 132317 | 1 212391 25 | 0.000 % | 972.21/972.20 c | 5064351 | 1040 41934 132317 | 1 219764 25 | 0.000 % | 972.21/972.20 c | 5090518 | 1040 41934 132317 | 1 245931 26 | 0.000 % | 972.21/972.20 c | 5090675 | 1040 41934 132317 | 1 246088 26 | 0.000 % | 972.21/972.20 c | 5125200 | 1040 41934 132317 | 1 280613 27 | 0.000 % | 972.21/972.20 c | 5127557 | 1040 41934 132317 | 1 282970 28 | 0.000 % | 972.21/972.20 c | 5127917 | 1040 41934 132317 | 1 283330 28 | 0.000 % | 972.21/972.20 c | 5132576 | 1040 41934 132317 | 1 287989 28 | 0.000 % | 972.21/972.20 c | 5141206 | 1040 41934 132317 | 1 296619 28 | 0.000 % | 972.21/972.20 c | 5163557 | 1040 41934 132317 | 1 318970 29 | 0.000 % | 972.21/972.20 c | 5171931 | 1040 41934 132317 | 1 167345 19 | 0.000 % | 972.21/972.20 c | 5172033 | 1040 41934 132317 | 1 167447 19 | 0.000 % | 972.21/972.20 c | 5173238 | 1040 41934 132317 | 1 168652 19 | 0.000 % | 972.21/972.20 c | 5183950 | 1040 41934 132317 | 1 179364 21 | 0.000 % | 972.21/972.20 c | 5206482 | 1040 41934 132317 | 1 201896 23 | 0.000 % | 972.21/972.20 c | 5213412 | 1040 41934 132317 | 1 208826 23 | 0.000 % | 972.21/972.20 c | 5218705 | 1040 41934 132317 | 1 214119 24 | 0.000 % | 972.21/972.20 c | 5226548 | 1040 41934 132317 | 1 221962 25 | 0.000 % | 972.21/972.20 c | 5237839 | 1040 41934 132317 | 1 233253 25 | 0.000 % | 1046.81/1046.87 c | 5243567 | 1040 41934 132317 | 1 238981 26 | 0.000 % | 1046.81/1046.87 c | 5243766 | 1040 41934 132317 | 1 239180 26 | 0.000 % | 1046.81/1046.87 c | 5246497 | 1040 41934 132317 | 1 241911 26 | 0.000 % | 1046.81/1046.87 c | 5251696 | 1040 41934 132317 | 1 247110 26 | 0.000 % | 1046.81/1046.87 c | 5251798 | 1040 41934 132317 | 1 247212 26 | 0.000 % | 1046.81/1046.87 c | 5269163 | 1040 41934 132317 | 1 264577 27 | 0.000 % | 1046.81/1046.87 c | 5270932 | 1040 41934 132317 | 1 266346 27 | 0.000 % | 1046.81/1046.87 c | 5271033 | 1040 41934 132317 | 1 266447 27 | 0.000 % | 1046.81/1046.87 c | 5274630 | 1040 41934 132317 | 1 270044 27 | 0.000 % | 1046.81/1046.87 c | 5275297 | 1040 41934 132317 | 1 270711 27 | 0.000 % | 1046.81/1046.87 c | 5275715 | 1040 41934 132317 | 1 271129 27 | 0.000 % | 1046.81/1046.87 c | 5279332 | 1040 41934 132317 | 1 274746 27 | 0.000 % | 1046.81/1046.87 c | 5283694 | 1040 41934 132317 | 1 279108 27 | 0.000 % | 1046.81/1046.87 c | 5305330 | 1040 41934 132317 | 1 300744 28 | 0.000 % | 1046.81/1046.87 c | 5314872 | 1040 41934 132317 | 1 310286 29 | 0.000 % | 1046.81/1046.87 c | 5315430 | 1040 41934 132317 | 1 310844 29 | 0.000 % | 1046.81/1046.87 c | 5317150 | 1040 41934 132317 | 1 312564 29 | 0.000 % | 1046.81/1046.87 c | 5325104 | 1040 41934 132317 | 1 320518 29 | 0.000 % | 1046.81/1046.87 c | 5337947 | 1040 41934 132317 | 1 170757 19 | 0.000 % | 1046.81/1046.87 c | 5345928 | 1040 41934 132317 | 1 178738 20 | 0.000 % | 1046.81/1046.87 c | 5351555 | 1040 41934 132317 | 1 184365 21 | 0.000 % | 1046.81/1046.87 c | 5400882 | 1040 41934 132317 | 1 233692 24 | 0.000 % | 1046.81/1046.87 c | 5404872 | 1040 41934 132317 | 1 237682 25 | 0.000 % | 1046.81/1046.87 c | 5404976 | 1040 41934 132317 | 1 237786 25 | 0.000 % | 1046.81/1046.87 c | 5435959 | 1040 41934 132317 | 1 268769 26 | 0.000 % | 1046.81/1046.87 c | 5436493 | 1040 41934 132317 | 1 269303 26 | 0.000 % | 1046.81/1046.87 c | 5437066 | 1040 41934 132317 | 1 269876 26 | 0.000 % | 1046.81/1046.87 c | 5440188 | 1040 41934 132317 | 1 272998 27 | 0.000 % | 1046.81/1046.87 c | 5442675 | 1040 41934 132317 | 1 275485 27 | 0.000 % | 1046.81/1046.87 c | 5450426 | 1040 41934 132317 | 1 283236 27 | 0.000 % | 1046.81/1046.87 c | 5450526 | 1040 41934 132317 | 1 283336 27 | 0.000 % | 1046.81/1046.87 c | 5454487 | 1040 41934 132317 | 1 287297 27 | 0.000 % | 1046.81/1046.87 c | 5454603 | 1040 41934 132317 | 1 287413 27 | 0.000 % | 1046.81/1046.87 c | 5455910 | 1040 41934 132317 | 1 288720 27 | 0.000 % | 1046.81/1046.87 c | 5460524 | 1040 41934 132317 | 1 293334 27 | 0.000 % | 1046.81/1046.87 c | 5476625 | 1040 41934 132317 | 1 309435 28 | 0.000 % | 1046.81/1046.87 c | 5479954 | 1040 41934 132317 | 1 312764 28 | 0.000 % | 1046.81/1046.87 c | 5503627 | 1040 41934 132317 | 1 171243 19 | 0.000 % | 1046.81/1046.87 c | 5514208 | 1040 41934 132317 | 1 181824 20 | 0.000 % | 1046.81/1046.87 c | 5530291 | 1040 41934 132317 | 1 197907 21 | 0.000 % | 1046.81/1046.87 c | 5530747 | 1040 41934 132317 | 1 198363 22 | 0.000 % | 1046.81/1046.87 c | 5530966 | 1040 41934 132317 | 1 198582 22 | 0.000 % | 1046.81/1046.87 c | 5531106 | 1040 41934 132317 | 1 198722 22 | 0.000 % | 1046.81/1046.87 c | 5537328 | 1040 41934 132317 | 1 204944 22 | 0.000 % | 1046.81/1046.87 c | 5543413 | 1040 41934 132317 | 1 211029 22 | 0.000 % | 1046.81/1046.87 c | 5549062 | 1040 41934 132317 | 1 216678 23 | 0.000 % | 1046.81/1046.87 c | 5550040 | 1040 41934 132317 | 1 217656 23 | 0.000 % | 1046.81/1046.87 c | 5550449 | 1040 41934 132317 | 1 218065 23 | 0.000 % | 1046.81/1046.87 c | 5550753 | 1040 41934 132317 | 1 218369 23 | 0.000 % | 1046.81/1046.87 c | 5552733 | 1040 41934 132317 | 1 220349 23 | 0.000 % | 1112.13/1112.11 c | 5553801 | 1040 41934 132317 | 1 221417 23 | 0.000 % | 1112.13/1112.11 c | 5566102 | 1040 41934 132317 | 1 233718 24 | 0.000 % | 1112.13/1112.11 c | 5570538 | 1040 41934 132317 | 1 238154 25 | 0.000 % | 1112.13/1112.11 c | 5571504 | 1040 41934 132317 | 1 239120 25 | 0.000 % | 1112.13/1112.11 c | 5572309 | 1040 41934 132317 | 1 239925 25 | 0.000 % | 1112.13/1112.11 c | 5574825 | 1040 41934 132317 | 1 242441 25 | 0.000 % | 1112.13/1112.11 c | 5583631 | 1040 41934 132317 | 1 251247 25 | 0.000 % | 1112.13/1112.11 c | 5611521 | 1040 41934 132317 | 1 279137 27 | 0.000 % | 1112.13/1112.11 c | 5623712 | 1040 41934 132317 | 1 291328 27 | 0.000 % | 1112.13/1112.11 c | 5624037 | 1040 41934 132317 | 1 291653 27 | 0.000 % | 1112.13/1112.11 c | 5629066 | 1040 41934 132317 | 1 296682 28 | 0.000 % | 1112.13/1112.11 c | 5630936 | 1040 41934 132317 | 1 298552 28 | 0.000 % | 1112.13/1112.11 c | 5647840 | 1040 41934 132317 | 1 315456 28 | 0.000 % | 1112.13/1112.11 c | 5651867 | 1040 41934 132317 | 1 319483 28 | 0.000 % | 1112.13/1112.11 c | 5663922 | 1040 41934 132317 | 1 331538 29 | 0.000 % | 1112.13/1112.11 c | 5666317 | 1040 41934 132317 | 1 333933 29 | 0.000 % | 1112.13/1112.11 c | 5666909 | 1040 41934 132317 | 1 334525 29 | 0.000 % | 1112.13/1112.11 c | 5688112 | 1040 41934 132317 | 1 187933 21 | 0.000 % | 1112.13/1112.11 c | 5688732 | 1040 41934 132317 | 1 188553 21 | 0.000 % | 1112.13/1112.11 c | 5690049 | 1040 41934 132317 | 1 189870 21 | 0.000 % | 1112.13/1112.11 c | 5690532 | 1040 41934 132317 | 1 190353 21 | 0.000 % | 1112.13/1112.11 c | 5707336 | 1040 41934 132317 | 1 207157 22 | 0.000 % | 1112.13/1112.11 c | 5709375 | 1040 41934 132317 | 1 209196 22 | 0.000 % | 1112.13/1112.11 c | 5714129 | 1040 41934 132317 | 1 213950 23 | 0.000 % | 1112.13/1112.11 c | 5725938 | 1040 41934 132317 | 1 225759 23 | 0.000 % | 1112.13/1112.11 c | 5731097 | 1040 41934 132317 | 1 230918 24 | 0.000 % | 1112.13/1112.11 c | 5731308 | 1040 41934 132317 | 1 231129 24 | 0.000 % | 1112.13/1112.11 c | 5731409 | 1040 41934 132317 | 1 231230 24 | 0.000 % | 1112.13/1112.11 c | 5731940 | 1040 41934 132317 | 1 231761 24 | 0.000 % | 1112.13/1112.11 c | 5733146 | 1040 41934 132317 | 1 232967 24 | 0.000 % | 1112.13/1112.11 c | 5733875 | 1040 41934 132317 | 1 233696 24 | 0.000 % | 1112.13/1112.11 c | 5735720 | 1040 41934 132317 | 1 235541 24 | 0.000 % | 1112.13/1112.11 c | 5737552 | 1040 41934 132317 | 1 237373 24 | 0.000 % | 1112.13/1112.11 c | 5737994 | 1040 41934 132317 | 1 237815 24 | 0.000 % | 1112.13/1112.11 c | 5741144 | 1040 41934 132317 | 1 240965 25 | 0.000 % | 1112.13/1112.11 c | 5741357 | 1040 41934 132317 | 1 241178 25 | 0.000 % | 1112.13/1112.11 c | 5747786 | 1040 41934 132317 | 1 247607 25 | 0.000 % | 1112.13/1112.11 c | 5747886 | 1040 41934 132317 | 1 247707 25 | 0.000 % | 1112.13/1112.11 c | 5780354 | 1040 41934 132317 | 1 280175 27 | 0.000 % | 1112.13/1112.11 c | 5780455 | 1040 41934 132317 | 1 280276 27 | 0.000 % | 1112.13/1112.11 c | 5781219 | 1040 41934 132317 | 1 281040 27 | 0.000 % | 1112.13/1112.11 c | 5802234 | 1040 41934 132317 | 1 302055 27 | 0.000 % | 1112.13/1112.11 c | 5803227 | 1040 41934 132317 | 1 303048 27 | 0.000 % | 1112.13/1112.11 c | 5803327 | 1040 41934 132317 | 1 303148 27 | 0.000 % | 1112.13/1112.11 c | 5805808 | 1040 41934 132317 | 1 305629 27 | 0.000 % | 1112.13/1112.11 c | 5810244 | 1040 41934 132317 | 1 310065 28 | 0.000 % | 1112.13/1112.11 c | 5811748 | 1040 41934 132317 | 1 311569 28 | 0.000 % | 1112.13/1112.11 c | 5814117 | 1040 41934 132317 | 1 313938 28 | 0.000 % | 1112.13/1112.11 c | 5816272 | 1040 41934 132317 | 1 316093 28 | 0.000 % | 1112.13/1112.11 c | 5817001 | 1040 41934 132317 | 1 316822 28 | 0.000 % | 1172.91/1172.97 c | 5817103 | 1040 41934 132317 | 1 316924 28 | 0.000 % | 1172.91/1172.97 c | 5819299 | 1040 41934 132317 | 1 319120 28 | 0.000 % | 1172.91/1172.97 c | 5819538 | 1040 41934 132317 | 1 319359 28 | 0.000 % | 1172.91/1172.97 c | 5824014 | 1040 41934 132317 | 1 323835 28 | 0.000 % | 1172.91/1172.97 c | 5825120 | 1040 41934 132317 | 1 324941 28 | 0.000 % | 1172.91/1172.97 c | 5835140 | 1040 41934 132317 | 1 334961 28 | 0.000 % | 1172.91/1172.97 c | 5843328 | 1040 41934 132317 | 1 172748 18 | 0.000 % | 1172.91/1172.97 c | 5866241 | 1040 41934 132317 | 1 195661 21 | 0.000 % | 1172.91/1172.97 c | 5866689 | 1040 41934 132317 | 1 196109 21 | 0.000 % | 1172.91/1172.97 c | 5867045 | 1040 41934 132317 | 1 196465 21 | 0.000 % | 1172.91/1172.97 c | 5873978 | 1040 41934 132317 | 1 203398 22 | 0.000 % | 1172.91/1172.97 c | 5888704 | 1040 41934 132317 | 1 218124 23 | 0.000 % | 1172.91/1172.97 c | 5894508 | 1040 41934 132317 | 1 223928 23 | 0.000 % | 1172.91/1172.97 c | 5894992 | 1040 41934 132317 | 1 224412 23 | 0.000 % | 1172.91/1172.97 c | 5900881 | 1040 41934 132317 | 1 230301 24 | 0.000 % | 1172.91/1172.97 c | 5902677 | 1040 41934 132317 | 1 232097 24 | 0.000 % | 1172.91/1172.97 c | 5903145 | 1040 41934 132317 | 1 232565 24 | 0.000 % | 1172.91/1172.97 c | 5910324 | 1040 41934 132317 | 1 239744 24 | 0.000 % | 1172.91/1172.97 c | 5911905 | 1040 41934 132317 | 1 241325 25 | 0.000 % | 1172.91/1172.97 c | 5912507 | 1040 41934 132317 | 1 241927 25 | 0.000 % | 1172.91/1172.97 c | 5912609 | 1040 41934 132317 | 1 242029 25 | 0.000 % | 1172.91/1172.97 c | 5918611 | 1040 41934 132317 | 1 248031 25 | 0.000 % | 1172.91/1172.97 c | 5921763 | 1040 41934 132317 | 1 251183 25 | 0.000 % | 1172.91/1172.97 c | 5936138 | 1040 41934 132317 | 1 265558 26 | 0.000 % | 1172.91/1172.97 c | 5937480 | 1040 41934 132317 | 1 266900 26 | 0.000 % | 1172.91/1172.97 c | 5938916 | 1040 41934 132317 | 1 268336 26 | 0.000 % | 1172.91/1172.97 c | 5943553 | 1040 41934 132317 | 1 272973 26 | 0.000 % | 1172.91/1172.97 c | 5962085 | 1040 41934 132317 | 1 291505 27 | 0.000 % | 1172.91/1172.97 c | 5965891 | 1040 41934 132317 | 1 295311 27 | 0.000 % | 1172.91/1172.97 c | 5978178 | 1040 41934 132317 | 1 307598 28 | 0.000 % | 1172.91/1172.97 c | 5978645 | 1040 41934 132317 | 1 308065 28 | 0.000 % | 1172.91/1172.97 c | 5982953 | 1040 41934 132317 | 1 312373 28 | 0.000 % | 1172.91/1172.97 c | 5989402 | 1040 41934 132317 | 1 318822 28 | 0.000 % | 1172.91/1172.97 c | 5995148 | 1040 41934 132317 | 1 324568 28 | 0.000 % | 1172.91/1172.97 c | 6011060 | 1040 41934 132317 | 1 340480 29 | 0.000 % | 1172.91/1172.97 c | 6040608 | 1040 41934 132317 | 1 197027 21 | 0.000 % | 1172.91/1172.97 c | 6042110 | 1040 41934 132317 | 1 198529 21 | 0.000 % | 1172.91/1172.97 c | 6042511 | 1040 41934 132317 | 1 198930 21 | 0.000 % | 1172.91/1172.97 c | 6042611 | 1040 41934 132317 | 1 199030 21 | 0.000 % | 1172.91/1172.97 c | 6042711 | 1040 41934 132317 | 1 199130 21 | 0.000 % | 1172.91/1172.97 c | 6042811 | 1040 41934 132317 | 1 199230 21 | 0.000 % | 1172.91/1172.97 c | 6045358 | 1040 41934 132317 | 1 201777 21 | 0.000 % | 1172.91/1172.97 c | 6045458 | 1040 41934 132317 | 1 201877 21 | 0.000 % | 1172.91/1172.97 c | 6045558 | 1040 41934 132317 | 1 201977 21 | 0.000 % | 1172.91/1172.97 c | 6049066 | 1040 41934 132317 | 1 205485 22 | 0.000 % | 1172.91/1172.97 c | 6058705 | 1040 41934 132317 | 1 215124 22 | 0.000 % | 1172.91/1172.97 c | 6059472 | 1040 41934 132317 | 1 215891 22 | 0.000 % | 1172.91/1172.97 c | 6060219 | 1040 41934 132317 | 1 216638 22 | 0.000 % | 1172.91/1172.97 c | 6062062 | 1040 41934 132317 | 1 218481 22 | 0.000 % | 1172.91/1172.97 c | 6062394 | 1040 41934 132317 | 1 218813 22 | 0.000 % | 1233.22/1233.20 c | 6063600 | 1040 41934 132317 | 1 220019 23 | 0.000 % | 1233.22/1233.20 c | 6067089 | 1040 41934 132317 | 1 223508 23 | 0.000 % | 1233.22/1233.20 c | 6084812 | 1040 41934 132317 | 1 241231 24 | 0.000 % | 1233.22/1233.20 c | 6095210 | 1040 41934 132317 | 1 251629 24 | 0.000 % | 1233.22/1233.20 c | 6098575 | 1040 41934 132317 | 1 254994 25 | 0.000 % | 1233.22/1233.20 c | 6099013 | 1040 41934 132317 | 1 255432 25 | 0.000 % | 1233.22/1233.20 c | 6101767 | 1040 41934 132317 | 1 258186 25 | 0.000 % | 1233.22/1233.20 c | 6111257 | 1040 41934 132317 | 1 267676 25 | 0.000 % | 1233.22/1233.20 c | 6114039 | 1040 41934 132317 | 1 270458 26 | 0.000 % | 1233.22/1233.20 c | 6121872 | 1040 41934 132317 | 1 278291 26 | 0.000 % | 1233.22/1233.20 c | 6127270 | 1040 41934 132317 | 1 283689 26 | 0.000 % | 1233.22/1233.20 c | 6127371 | 1040 41934 132317 | 1 283790 26 | 0.000 % | 1233.22/1233.20 c | 6128567 | 1040 41934 132317 | 1 284986 26 | 0.000 % | 1233.22/1233.20 c | 6128672 | 1040 41934 132317 | 1 285091 26 | 0.000 % | 1233.22/1233.20 c | 6131130 | 1040 41934 132317 | 1 287549 26 | 0.000 % | 1233.22/1233.20 c | 6132611 | 1040 41934 132317 | 1 289030 27 | 0.000 % | 1233.22/1233.20 c | 6144021 | 1040 41934 132317 | 1 300440 27 | 0.000 % | 1233.22/1233.20 c | 6145976 | 1040 41934 132317 | 1 302395 27 | 0.000 % | 1233.22/1233.20 c | 6149549 | 1040 41934 132317 | 1 305968 27 | 0.000 % | 1233.22/1233.20 c | 6149649 | 1040 41934 132317 | 1 306068 27 | 0.000 % | 1233.22/1233.20 c | 6149749 | 1040 41934 132317 | 1 306168 27 | 0.000 % | 1233.22/1233.20 c | 6149851 | 1040 41934 132317 | 1 306270 27 | 0.000 % | 1233.22/1233.20 c | 6152444 | 1040 41934 132317 | 1 308863 27 | 0.000 % | 1233.22/1233.20 c | 6154620 | 1040 41934 132317 | 1 311039 28 | 0.000 % | 1233.22/1233.20 c | 6160755 | 1040 41934 132317 | 1 317174 28 | 0.000 % | 1233.22/1233.20 c | 6166954 | 1040 41934 132317 | 1 323373 28 | 0.000 % | 1233.22/1233.20 c | 6167140 | 1040 41934 132317 | 1 323559 28 | 0.000 % | 1233.22/1233.20 c | 6175753 | 1040 41934 132317 | 1 332172 28 | 0.000 % | 1233.22/1233.20 c | 6195585 | 1040 41934 132317 | 1 176404 18 | 0.000 % | 1233.22/1233.20 c | 6196873 | 1040 41934 132317 | 1 177692 18 | 0.000 % | 1233.22/1233.20 c | 6200117 | 1040 41934 132317 | 1 180936 19 | 0.000 % | 1233.22/1233.20 c | 6215572 | 1040 41934 132317 | 1 196391 20 | 0.000 % | 1233.22/1233.20 c | 6216120 | 1040 41934 132317 | 1 196939 21 | 0.000 % | 1233.22/1233.20 c | 6220305 | 1040 41934 132317 | 1 201124 21 | 0.000 % | 1233.22/1233.20 c | 6220405 | 1040 41934 132317 | 1 201224 21 | 0.000 % | 1233.22/1233.20 c | 6223734 | 1040 41934 132317 | 1 204553 21 | 0.000 % | 1233.22/1233.20 c | 6226113 | 1040 41934 132317 | 1 206932 21 | 0.000 % | 1233.22/1233.20 c | 6235007 | 1040 41934 132317 | 1 215826 22 | 0.000 % | 1233.22/1233.20 c | 6248669 | 1040 41934 132317 | 1 229488 23 | 0.000 % | 1233.22/1233.20 c | 6250729 | 1040 41934 132317 | 1 231548 23 | 0.000 % | 1233.22/1233.20 c | 6251702 | 1040 41934 132317 | 1 232521 23 | 0.000 % | 1233.22/1233.20 c | 6257551 | 1040 41934 132317 | 1 238370 24 | 0.000 % | 1233.22/1233.20 c | 6258320 | 1040 41934 132317 | 1 239139 24 | 0.000 % | 1233.22/1233.20 c | 6271634 | 1040 41934 132317 | 1 252453 24 | 0.000 % | 1233.22/1233.20 c | 6271774 | 1040 41934 132317 | 1 252593 24 | 0.000 % | 1233.22/1233.20 c | 6284373 | 1040 41934 132317 | 1 265192 25 | 0.000 % | 1233.22/1233.20 c | 6287418 | 1040 41934 132317 | 1 268237 25 | 0.000 % | 1233.22/1233.20 c | 6289356 | 1040 41934 132317 | 1 270175 26 | 0.000 % | 1233.22/1233.20 c | 6293228 | 1040 41934 132317 | 1 274047 26 | 0.000 % | 1233.22/1233.20 c | 6296634 | 1040 41934 132317 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264112-1303546550/watcher-3264112-1303546550 -o /tmp/evaluation-result-3264112-1303546550/solver-3264112-1303546550 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264112-1303546550.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.53 2.76 3.44 5/192 15796 /proc/meminfo: memFree=14441060/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 466255726 8912896 253 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 253 211 178 0 69 0 [startup+0.010943 s] /proc/loadavg: 1.53 2.76 3.44 5/192 15796 /proc/meminfo: memFree=14441060/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 335 0 0 0 0 0 0 0 25 0 1 0 466255726 8912896 253 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100931 s] /proc/loadavg: 1.53 2.76 3.44 5/192 15796 /proc/meminfo: memFree=14441060/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+0.300894 s] /proc/loadavg: 1.53 2.76 3.44 5/192 15796 /proc/meminfo: memFree=14441060/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+0.700822 s] /proc/loadavg: 1.53 2.76 3.44 5/192 15796 /proc/meminfo: memFree=14441060/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 8704 [startup+1.50067 s] /proc/loadavg: 1.53 2.76 3.44 5/194 15829 /proc/meminfo: memFree=14425608/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=25416 CPUtime=1.41 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 4239 0 0 0 141 0 0 0 25 0 1 0 466255734 26025984 2847 33554432000 4194304 4260849 140734382651008 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 6354 2847 248 17 0 2995 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34120 [startup+3.10038 s] /proc/loadavg: 1.53 2.76 3.44 5/194 15829 /proc/meminfo: memFree=14405276/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=28136 CPUtime=3.01 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 5231 0 0 0 301 0 0 0 25 0 1 0 466255734 28811264 3780 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 7034 3780 248 17 0 3675 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 36840 [startup+6.3008 s] /proc/loadavg: 1.73 2.78 3.44 5/194 15830 /proc/meminfo: memFree=14391652/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=37028 CPUtime=6.21 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 6917 0 0 0 621 0 0 0 25 0 1 0 466255734 37916672 5447 33554432000 4194304 4260849 140734382651008 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 9257 5447 248 17 0 5898 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 45732 [startup+12.7006 s] /proc/loadavg: 1.91 2.80 3.44 5/194 15830 /proc/meminfo: memFree=14365888/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=44164 CPUtime=12.61 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 8619 0 0 0 1260 1 0 0 25 0 1 0 466255734 45223936 5270 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 11041 5270 248 17 0 7682 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52868 [startup+25.5003 s] /proc/loadavg: 2.37 2.86 3.45 5/194 15830 /proc/meminfo: memFree=14334536/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=44164 CPUtime=25.41 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 11155 0 0 0 2540 1 0 0 25 0 1 0 466255734 45223936 7713 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 11041 7713 248 17 0 7682 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52868 [startup+51.1006 s] /proc/loadavg: 2.93 2.95 3.47 5/194 15831 /proc/meminfo: memFree=14311936/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=70024 CPUtime=51.01 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 15991 0 0 0 5099 2 0 0 25 0 1 0 466255734 71704576 12448 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 17506 12448 248 17 0 14147 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 78728 [startup+102.307 s] /proc/loadavg: 3.53 3.11 3.49 5/194 15832 /proc/meminfo: memFree=14257364/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=67344 CPUtime=102.22 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 20122 0 0 0 10219 3 0 0 25 0 1 0 466255734 68960256 12735 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 16836 12735 248 17 0 13477 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 76048 [startup+162.3 s] /proc/loadavg: 3.86 3.28 3.53 5/194 15834 /proc/meminfo: memFree=14208248/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=86200 CPUtime=162.21 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 30523 0 0 0 16217 4 0 0 25 0 1 0 466255734 88268800 18261 33554432000 4194304 4260849 140734382651008 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 21550 18261 248 17 0 18191 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 94904 [startup+222.3 s] /proc/loadavg: 3.95 3.41 3.55 5/194 15865 /proc/meminfo: memFree=14201404/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=86200 CPUtime=222.21 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 30523 0 0 0 22217 4 0 0 25 0 1 0 466255734 88268800 18261 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 21550 18261 248 17 0 18191 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 94904 [startup+282.3 s] /proc/loadavg: 3.98 3.51 3.58 5/194 15867 /proc/meminfo: memFree=14140512/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=86200 CPUtime=282.21 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 30537 0 0 0 28217 4 0 0 25 0 1 0 466255734 88268800 18275 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 21550 18275 248 17 0 18191 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 94904 [startup+342.3 s] /proc/loadavg: 4.04 3.61 3.61 5/194 15868 /proc/meminfo: memFree=14126860/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=342.22 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 32880 0 0 0 34217 5 0 0 25 0 1 0 466255734 100634624 20554 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 20554 248 17 0 21210 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 106980 [startup+402.3 s] /proc/loadavg: 4.01 3.68 3.63 5/194 15870 /proc/meminfo: memFree=14112916/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 ################ # More data... # ################ /proc/15799/statm: 36899 30090 248 17 0 33540 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 156300 [startup+642.3 s] /proc/loadavg: 4.00 3.86 3.71 5/194 15876 /proc/meminfo: memFree=14032840/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=642.23 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 108419 0 0 0 64206 17 0 0 25 0 1 0 466255734 100634624 21280 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224667 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21280 248 17 0 21210 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 106980 [startup+702.3 s] /proc/loadavg: 4.05 3.90 3.73 5/194 15878 /proc/meminfo: memFree=14044604/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=702.23 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 126022 0 0 0 70203 20 0 0 25 0 1 0 466255734 151138304 29775 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 29775 248 17 0 33540 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 156300 [startup+762.307 s] /proc/loadavg: 4.02 3.91 3.74 5/194 15880 /proc/meminfo: memFree=14039500/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=762.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 143379 0 0 0 76201 23 0 0 25 0 1 0 466255734 151138304 29462 33554432000 4194304 4260849 140734382651008 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 29462 248 17 0 33540 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 156300 [startup+822.3 s] /proc/loadavg: 4.00 3.92 3.75 5/194 15881 /proc/meminfo: memFree=14052004/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=822.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 153930 0 0 0 82198 26 0 0 25 0 1 0 466255734 100634624 21302 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21302 248 17 0 21210 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 106980 [startup+882.3 s] /proc/loadavg: 4.06 3.95 3.77 5/194 15883 /proc/meminfo: memFree=14063384/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=882.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 172691 0 0 0 88194 30 0 0 25 0 1 0 466255734 100634624 21302 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21302 248 17 0 21210 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 106980 [startup+942.3 s] /proc/loadavg: 4.09 3.97 3.79 5/194 15884 /proc/meminfo: memFree=14017588/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=942.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 190813 0 0 0 94191 33 0 0 25 0 1 0 466255734 151138304 29415 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 29415 248 17 0 33540 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 156300 [startup+1002.3 s] /proc/loadavg: 4.03 3.97 3.80 5/194 15886 /proc/meminfo: memFree=13998972/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=1002.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 203441 0 0 0 100187 37 0 0 25 0 1 0 466255734 100634624 21303 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21303 248 17 0 21210 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 106980 [startup+1062.3 s] /proc/loadavg: 4.06 3.99 3.82 5/194 15888 /proc/meminfo: memFree=13972040/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=1062.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 222717 0 0 0 106182 42 0 0 25 0 1 0 466255734 151138304 29993 33554432000 4194304 4260849 140734382651008 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 29993 248 17 0 33540 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 156300 [startup+1122.3 s] /proc/loadavg: 4.02 3.99 3.82 5/194 15889 /proc/meminfo: memFree=14013068/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=1122.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 235587 0 0 0 112178 46 0 0 25 0 1 0 466255734 100634624 21309 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21309 248 17 0 21210 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 106980 [startup+1182.3 s] /proc/loadavg: 4.00 3.99 3.83 5/194 15891 /proc/meminfo: memFree=13999284/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=98276 CPUtime=1182.24 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 246806 0 0 0 118176 48 0 0 25 0 1 0 466255734 100634624 21310 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 24569 21310 248 17 0 21210 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 106980 [startup+1242.3 s] /proc/loadavg: 4.00 3.99 3.83 5/194 15892 /proc/meminfo: memFree=14019076/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=1242.25 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 267375 0 0 0 124172 53 0 0 25 0 1 0 466255734 151138304 30569 33554432000 4194304 4260849 140734382651008 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 30569 248 17 0 33540 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 156300 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.99 3.84 4/191 15895 /proc/meminfo: memFree=14045496/32951124 swapFree=67111528/67111528 [pid=15796] ppid=15794 vsize=8704 CPUtime=0.07 cores=1,3 /proc/15796/stat : 15796 (glucose.sh) S 15794 15796 14093 0 -1 4202496 360 1096 0 0 0 0 7 0 25 0 1 0 466255726 8912896 255 33554432000 4194304 4922060 140733684761856 18446744073709551615 222921596037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/15796/statm: 2176 255 211 178 0 69 0 [pid=15799] ppid=15796 vsize=147596 CPUtime=1299.96 cores=1,3 /proc/15799/stat : 15799 (glucose_static) R 15796 15796 14093 0 -1 4202496 279912 0 0 0 129939 57 0 0 25 0 1 0 466255734 151138304 31884 33554432000 4194304 4260849 140734382651008 18446744073709551615 4209227 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/15799/statm: 36899 31884 248 17 0 33540 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 156300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15796 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=78987 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.079986 # while last known CPU time is 1300.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.03 CPU user time (s): 1299.46 CPU system time (s): 0.57 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 156300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.078987 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1456 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= 6 involuntary context switches= 4 runsolver used 2.12068 second user time and 4.98824 second system time The end
Begin job on node109 at 2011-04-23 10:15:50 IDJOB=3264112 IDBENCH=84554 IDSOLVER=1651 FILE ID=node109/3264112-1303546550 RUNJOBID= node109-1303546549-15720 PBS_JOBID= 13143129 Free space on /tmp= 71628 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT04/handmade/kexu/frb-0.6/frb80-14-2.used-as.sat04-880.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264112-1303546550/watcher-3264112-1303546550 -o /tmp/evaluation-result-3264112-1303546550/solver-3264112-1303546550 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264112-1303546550.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 1242f0037df1c3d888415aeb418b77ed RANDOM SEED=1482442623 node109.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14441092 kB Buffers: 2093928 kB Cached: 15764924 kB SwapCached: 0 kB Active: 9711132 kB Inactive: 8226772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14441092 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6388 kB Writeback: 0 kB AnonPages: 77592 kB Mapped: 15272 kB Slab: 506236 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 268956 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71620 MiB End job on node109 at 2011-04-23 10:37:32