| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.01 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb |
| MD5SUM | c7fd9e5ff885ee342a28d015ab19e648 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.236963 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 243 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 729 |
| Sum of products size (including duplicates) | 1458 |
| Number of different products | 729 |
| Sum of products size | 1458 |
0.00/0.00 c 2016-06-18T18:16:01+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106145-1466266561.opb"] 0.00/0.01 c use --random-gen="1646657167 118461157 1584128786 3984447531 4243201548 2673235930 923970691 2826155837 2857332321 2739167748 1336555263 2448081336 3612953975 1048404270 3436466134 1895310257 2334785664 1876291304 1744538550 1651477615 454837906 236374929 3264539530 490522460 1786487940 1273423194 657354797 886271835 3288073689 209462290 2210214558 1065265040 3685876104 1571796860 1117415583 2615154301 215842795 1974428466 1600994151 3199185626 2018125015 3787494728 630398957 2357234649 1942591176 1908592199 3989334336 1249792642 3766287128 3049960644 1801606431 2428530125 2056500694 1712823106 1148941199 3400411731 3108063023 2560631034 820243921 4280653688 539601457 2247047400 837826861 256161556 3607200203 354345750 2946971085 3891494368 3605030676 2526433422 1425410488 310279160 2243762146 2907077487 3598303950 2172494160 609961842 2691144995 536872462 3785753956 4258128732 1928090671 3699850938 4282011300 2667065553 1938606547 3398513702 4056468816 3839677374 1211230771 3665483945 1890875104 3092931370 4157115989 230605901 3051968591 991718283 80574033 4077707228 1689771478 2530645289 3182089035 2710308859 546125047 374988862 2758271349 787509965 3678033518 385821327 2902986995 1887395807 2412865818 228324827 1494044346 2860296194 4077445341 770439015 3656609872 4200485204 3585694573 4126841629 1594706951 3950439109 2288444580 1046062151 3015644869 1056945818 2349867337 2895889386 2782671922 3661591518 220454125 1564405006 3427657642 736708224 949847341 781886482 115758711 3381670132 1910997058 3385771113 2028883693 4078381176 61199681 3347054747 2218149819 1729404546 3874325423 1542888645 949455088 1124636102 3634670886 2343125285 553082207 1197839282 81229813 3345608630 2356596735 4190654760 1111768663 1065857759 889560672 1529489367 2872595415 2073649702 2693620018 2540803926 2876437724 2592797079 36136331 3316061472 3649767457 812315766 1160963343 1682296715 3262186559 2714629182 2562062658 842871778 3110104005 4162599072 124738401 87012590 2610104125 1000985795 3431055308 3151174549 2338626630 929264315 2252065461 2822004600 1359269137 816645521 2457166393 4097860725 148610206 3043592565 1098161451 164784643 3510087623 4171790684 1668299548 3967782013 2581628008 890583132 656109324 586590840 415848264 3822677741 333526786 1392480947 2668319562 202044535 2791761853 944832249 2602755602 1999232968 3740397965 2327347525 2189989109 2358953546 4131950731 1511337987 2693064962 3432408813 3654696304 4270887044 3550630167 3425773257 1948584933 3931324860 1445503035 2877090207 414320759 786241579 70017385 1176761966 3854677227 1907710734 1937849198 4294477653 1453992680 361369170 1479420159 1410559763 699607464 392573030 2881671645 2342685451 2089917355 3979275732 1165675168 1274103501 960295977 3500665645 1409405114 255 362436" option to reproduce the execution 0.00/0.01 c #vars 243 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 1062 0 | 0 | 0 0.00/0.06 c 0.0s | 1 | 114 | 100 | 1062 0 | 0 | 0 0.09/0.11 c 0.1s | 2 | 289 | 250 | 1169 0 | 0 | 0 0.09/0.17 c 0.1s | 3 | 537 | 475 | 1286 0 | 0 | 0 0.19/0.27 c 0.2s | 4 | 887 | 813 | 1415 0 | 0 | 0 0.39/0.43 c 0.4s | 5 | 1410 | 1320 | 1557 0 | 0 | 0 0.59/0.67 c 0.6s | 6 | 2225 | 2081 | 1885 1 | 0 | 0 0.99/1.03 c 1.0s | 7 | 3510 | 3223 | 2074 1 | 0 | 0 2.19/2.30 c 2.3s | 8 | 5451 | 4936 | 2282 2 | 0 | 0 3.08/3.11 c 3.1s | 9 | 8146 | 7506 | 2511 5 | 0 | 0 4.49/4.56 c 4.5s | 10 | 12303 | 11361 | 2763 7 | 0 | 0 6.48/6.53 c 6.5s | 11 | 18404 | 17144 | 3040 11 | 0 | 0 8.48/8.56 c 8.5s | 11 | 24387 | 22844 | 3040 14 | 0 | 0 9.58/9.61 c 9.6s | 12 | 27741 | 25819 | 3345 15 | 0 | 0 11.58/11.62 c 11.6s | 12 | 33692 | 31319 | 3345 18 | 0 | 0 13.58/13.64 c 13.6s | 12 | 39530 | 37019 | 3345 21 | 0 | 0 14.39/14.43 c 14.4s | 13 | 41399 | 38832 | 3680 21 | 0 | 0 16.39/16.45 c 16.4s | 13 | 45535 | 42532 | 3680 23 | 0 | 0 18.39/18.48 c 18.4s | 13 | 49560 | 46432 | 3680 25 | 0 | 0 20.49/20.56 c 20.5s | 13 | 53595 | 50132 | 3680 26 | 0 | 0 22.59/22.60 c 22.6s | 13 | 58632 | 54932 | 3680 29 | 0 | 0 23.99/24.07 c 24.0s | 14 | 62149 | 58352 | 4049 30 | 0 | 0 25.99/26.09 c 26.1s | 14 | 66166 | 61652 | 4049 31 | 0 | 0 28.09/28.12 c 28.1s | 14 | 70085 | 65152 | 4049 33 | 0 | 0 30.09/30.12 c 30.1s | 14 | 74992 | 69852 | 4049 35 | 0 | 0 32.09/32.16 c 32.1s | 14 | 79038 | 73452 | 4049 36 | 0 | 0 34.09/34.17 c 34.1s | 14 | 83005 | 77052 | 4049 38 | 0 | 0 36.09/36.19 c 36.2s | 14 | 87259 | 80852 | 4049 40 | 0 | 0 38.19/38.21 c 38.2s | 14 | 92109 | 85452 | 4049 41 | 0 | 0 39.39/39.46 c 39.4s | 15 | 94492 | 87632 | 4454 42 | 0 | 0 41.38/41.47 c 41.4s | 15 | 102038 | 94532 | 4454 45 | 0 | 0 43.38/43.48 c 43.4s | 15 | 108471 | 100832 | 4454 47 | 0 | 0 45.48/45.51 c 45.5s | 15 | 115522 | 107632 | 4454 50 | 0 | 0 47.48/47.53 c 47.5s | 15 | 122476 | 114432 | 4454 53 | 0 | 0 49.49/49.53 c 49.5s | 15 | 129340 | 121132 | 4454 55 | 0 | 0 51.48/51.54 c 51.5s | 15 | 135585 | 127232 | 4454 58 | 0 | 0 52.79/52.89 c 52.9s | 16 | 140026 | 131552 | 4900 59 | 0 | 0 54.88/54.90 c 54.9s | 16 | 146871 | 138052 | 4900 62 | 0 | 0 56.88/56.94 c 56.9s | 16 | 152818 | 143752 | 4900 64 | 0 | 0 58.88/58.95 c 58.9s | 16 | 158222 | 149052 | 4900 65 | 0 | 0 60.88/60.98 c 60.9s | 16 | 162789 | 153552 | 4900 67 | 0 | 0 62.88/62.99 c 63.0s | 16 | 167324 | 157952 | 4900 69 | 0 | 0 64.99/65.04 c 65.0s | 16 | 171879 | 162252 | 4900 70 | 0 | 0 66.98/67.05 c 67.0s | 16 | 177888 | 168052 | 4900 72 | 0 | 0 68.98/69.08 c 69.0s | 16 | 183926 | 173852 | 4900 74 | 0 | 0 70.98/71.09 c 71.1s | 16 | 189546 | 179352 | 4900 76 | 0 | 0 73.08/73.11 c 73.1s | 16 | 194953 | 184552 | 4900 78 | 0 | 0 75.07/75.12 c 75.1s | 16 | 199937 | 189352 | 4900 80 | 0 | 0 77.08/77.17 c 77.1s | 16 | 205574 | 194752 | 4900 82 | 0 | 0 78.18/78.21 c 78.2s | 17 | 208445 | 197432 | 5390 82 | 0 | 0 78.67/78.71 c 78.7s | 17 | 211031 | 199585 | 5390 83 | 0 | 0 78.67/78.71 c #cpu_time = 78.469s 78.67/78.71 c #wall_clock_time = 78.670s 78.67/78.71 c #decision = 211031 78.67/78.71 c #random_decision = 783 78.67/78.71 c #conflict = 199585 78.67/78.71 c #restart = 17 78.67/78.71 o 193 78.67/78.71 c BCD2: hardening fixes 1 literals 78.67/78.71 c BCD2: updating upper bound: 511 -> 192 78.67/78.71 c BCD2: 0 <= obj <= 192 78.67/78.71 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 78.67/78.71 c BCD2: #sat=1 #unsat=1 bias=1/2 78.67/78.71 c Solving starts ... 78.67/78.71 c ============================[ Search Statistics ]============================ 78.67/78.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 78.67/78.71 c | | | | Limit GC | Var | Constra 78.67/78.71 c ============================================================================= 78.67/78.71 c 0.0s | 0 | 0 | 0 | 5390 0 | 11 | 0 78.67/78.79 c 0.1s | 0 | 6 | 0 | 5390 0 | 11 | 27 78.67/78.79 c #cpu_time = 0.085s 78.67/78.79 c #wall_clock_time = 0.086s 78.67/78.79 c #decision = 6 78.67/78.79 c #random_decision = 0 78.67/78.79 c #conflict = 0 78.67/78.79 c #restart = 0 78.67/78.79 c BCD2: found a new core of size 7: cost of the new core is >=2 78.67/78.79 c lower bound updated to 2 78.67/78.79 c BCD2: 2 <= obj <= 192 78.67/78.79 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 78.67/78.79 c BCD2: #sat=1 #unsat=2 bias=2/3 78.67/78.79 c Solving starts ... 78.67/78.79 c ============================[ Search Statistics ]============================ 78.67/78.79 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 78.67/78.79 c | | | | Limit GC | Var | Constra 78.67/78.79 c ============================================================================= 78.67/78.79 c 0.0s | 0 | 0 | 0 | 5390 0 | 11 | 27 78.77/78.83 c 0.0s | 1 | 316 | 100 | 5390 0 | 11 | 27 78.87/78.90 c 0.1s | 2 | 577 | 250 | 5390 0 | 11 | 27 78.97/79.02 c 0.2s | 3 | 955 | 475 | 5390 0 | 11 | 27 79.37/79.40 c 0.6s | 4 | 1502 | 813 | 5390 1 | 11 | 27 79.47/79.51 c 0.7s | 5 | 2260 | 1320 | 5390 1 | 11 | 27 80.17/80.26 c 1.5s | 6 | 3197 | 2081 | 5390 1 | 11 | 27 80.57/80.64 c 1.8s | 7 | 4476 | 3223 | 5390 1 | 11 | 27 81.27/81.33 c 2.5s | 8 | 6301 | 4936 | 5390 2 | 11 | 27 81.87/81.91 c 3.1s | 9 | 9004 | 7506 | 5390 3 | 11 | 27 83.87/83.94 c 5.2s | 9 | 13087 | 11306 | 5390 4 | 11 | 27 83.87/83.96 c 5.2s | 10 | 13139 | 11361 | 5390 4 | 11 | 27 85.78/85.85 c 7.1s | 11 | 19216 | 17144 | 5390 6 | 11 | 27 87.78/87.85 c 9.1s | 11 | 24658 | 22344 | 5390 8 | 11 | 27 89.28/89.31 c 10.5s | 12 | 28264 | 25819 | 5390 9 | 11 | 27 91.29/91.34 c 12.6s | 12 | 36080 | 33219 | 5390 12 | 11 | 27 93.28/93.34 c 14.6s | 12 | 41730 | 38619 | 5390 13 | 11 | 27 93.38/93.45 c 14.7s | 13 | 41945 | 38832 | 5390 13 | 11 | 27 95.38/95.47 c 16.7s | 13 | 46542 | 42932 | 5390 15 | 11 | 27 97.38/97.47 c 18.7s | 13 | 51287 | 47432 | 5390 16 | 11 | 27 99.38/99.47 c 20.7s | 13 | 55544 | 51632 | 5390 18 | 11 | 27 101.38/101.48 c 22.7s | 13 | 60009 | 56032 | 5390 19 | 11 | 27 102.58/102.65 c 23.9s | 14 | 62400 | 58352 | 5390 20 | 11 | 27 104.58/104.68 c 25.9s | 14 | 70111 | 65752 | 5390 23 | 11 | 27 106.57/106.69 c 27.9s | 14 | 76105 | 71452 | 5390 25 | 11 | 27 108.67/108.71 c 29.9s | 14 | 81539 | 76752 | 5390 26 | 11 | 27 110.67/110.72 c 31.9s | 14 | 86785 | 81752 | 5390 28 | 11 | 27 112.67/112.72 c 33.9s | 14 | 92127 | 86752 | 5390 30 | 11 | 27 112.97/113.07 c 34.3s | 15 | 93059 | 87632 | 5390 30 | 11 | 27 114.97/115.09 c 36.3s | 15 | 97860 | 92232 | 5390 32 | 11 | 27 117.07/117.11 c 38.3s | 15 | 102689 | 96932 | 5930 33 | 11 | 27 119.07/119.12 c 40.3s | 15 | 107210 | 100832 | 5930 35 | 11 | 27 121.08/121.15 c 42.4s | 15 | 110356 | 102932 | 5930 35 | 11 | 27 123.07/123.19 c 44.4s | 15 | 116822 | 106432 | 5930 36 | 11 | 27 125.17/125.21 c 46.4s | 15 | 121497 | 110832 | 5930 38 | 11 | 27 127.17/127.26 c 48.5s | 15 | 126183 | 115332 | 5930 39 | 11 | 27 129.27/129.30 c 50.5s | 15 | 129979 | 118932 | 5930 40 | 11 | 27 131.27/131.32 c 52.5s | 15 | 133942 | 122832 | 5930 42 | 11 | 27 133.27/133.37 c 54.6s | 15 | 138695 | 127232 | 5930 43 | 11 | 27 135.38/135.41 c 56.6s | 15 | 143092 | 131432 | 5930 44 | 11 | 27 135.38/135.45 c 56.7s | 16 | 143209 | 131552 | 5930 44 | 11 | 27 137.37/137.48 c 58.7s | 16 | 150288 | 138052 | 5930 46 | 11 | 27 139.37/139.49 c 60.7s | 16 | 155863 | 143452 | 5930 48 | 11 | 27 141.47/141.51 c 62.7s | 16 | 161689 | 149052 | 5930 49 | 11 | 27 143.47/143.51 c 64.7s | 16 | 168712 | 155652 | 5930 51 | 11 | 27 145.47/145.53 c 66.7s | 16 | 172929 | 159652 | 5930 53 | 11 | 27 147.47/147.57 c 68.8s | 16 | 177240 | 163852 | 5930 54 | 11 | 27 149.47/149.58 c 70.8s | 16 | 180592 | 167052 | 5930 55 | 11 | 27 151.57/151.64 c 72.8s | 16 | 182979 | 169252 | 5930 55 | 11 | 27 153.57/153.69 c 74.9s | 16 | 186847 | 172852 | 5930 56 | 11 | 27 155.67/155.71 c 76.9s | 16 | 191481 | 177452 | 5930 58 | 11 | 27 157.67/157.74 c 78.9s | 16 | 195509 | 181452 | 5930 59 | 11 | 27 159.67/159.77 c 81.0s | 16 | 199651 | 185552 | 5930 60 | 11 | 27 161.77/161.82 c 83.0s | 16 | 203836 | 189652 | 5930 61 | 11 | 27 163.76/163.83 c 85.0s | 16 | 207446 | 193252 | 5930 62 | 11 | 27 165.66/165.80 c 87.0s | 17 | 211697 | 197432 | 5930 64 | 11 | 27 167.76/167.82 c 89.0s | 17 | 217428 | 202732 | 5930 65 | 11 | 27 169.76/169.82 c 91.0s | 17 | 222622 | 207532 | 5930 67 | 11 | 27 171.76/171.86 c 93.1s | 17 | 227570 | 212332 | 5930 68 | 11 | 27 173.77/173.86 c 95.1s | 17 | 232313 | 216832 | 5930 70 | 11 | 27 175.76/175.88 c 97.1s | 17 | 236927 | 221232 | 5930 71 | 11 | 27 177.76/177.88 c 99.1s | 17 | 241655 | 225832 | 5930 72 | 11 | 27 179.86/179.96 c 101s | 17 | 245907 | 229732 | 5930 73 | 11 | 27 181.96/182.00 c 103s | 17 | 250218 | 233632 | 5930 75 | 11 | 27 183.96/184.00 c 105s | 17 | 255779 | 238632 | 5930 76 | 11 | 27 185.97/186.03 c 107s | 17 | 260709 | 243232 | 6524 77 | 11 | 27 187.96/188.09 c 109s | 17 | 265371 | 247432 | 6524 79 | 11 | 27 190.06/190.10 c 111s | 17 | 269972 | 251732 | 6524 80 | 11 | 27 192.06/192.15 c 113s | 17 | 275253 | 256532 | 6524 81 | 11 | 27 194.16/194.22 c 115s | 17 | 280650 | 261632 | 6524 82 | 11 | 27 196.16/196.24 c 117s | 17 | 285384 | 266032 | 6524 84 | 11 | 27 198.16/198.27 c 119s | 17 | 290148 | 270432 | 6524 85 | 11 | 27 200.16/200.29 c 121s | 17 | 294805 | 274332 | 6524 86 | 11 | 27 202.26/202.30 c 123s | 17 | 299260 | 278132 | 6524 87 | 11 | 27 204.26/204.31 c 125s | 17 | 303139 | 281632 | 6524 88 | 11 | 27 206.25/206.32 c 127s | 17 | 307451 | 285032 | 6524 89 | 11 | 27 208.25/208.38 c 129s | 17 | 311410 | 288232 | 6524 90 | 11 | 27 210.26/210.39 c 131s | 17 | 315041 | 291532 | 6524 91 | 11 | 27 212.36/212.45 c 133s | 17 | 319090 | 295132 | 6524 92 | 11 | 27 213.05/213.15 c 134s | 18 | 320325 | 296252 | 6524 92 | 11 | 27 215.05/215.15 c 136s | 18 | 326656 | 302152 | 6524 94 | 11 | 27 217.05/217.19 c 138s | 18 | 331604 | 306952 | 6524 95 | 11 | 27 219.15/219.24 c 140s | 18 | 336474 | 311652 | 6524 97 | 11 | 27 221.16/221.25 c 142s | 18 | 341704 | 316652 | 6524 98 | 11 | 27 223.15/223.27 c 144s | 18 | 346361 | 321152 | 6524 99 | 11 | 27 225.15/225.29 c 146s | 18 | 350756 | 325352 | 6524 101 | 11 | 27 227.15/227.29 c 148s | 18 | 356751 | 331152 | 6524 102 | 11 | 27 229.25/229.33 c 150s | 18 | 362369 | 336552 | 6524 104 | 11 | 27 231.25/231.33 c 152s | 18 | 367236 | 341252 | 6524 105 | 11 | 27 233.27/233.35 c 154s | 18 | 372809 | 346652 | 6524 107 | 11 | 27 235.26/235.36 c 156s | 18 | 378654 | 352352 | 6524 108 | 11 | 27 237.36/237.40 c 158s | 18 | 384307 | 357752 | 6524 110 | 11 | 27 239.36/239.44 c 160s | 18 | 389116 | 362352 | 6524 111 | 11 | 27 241.36/241.47 c 162s | 18 | 394078 | 366952 | 6524 113 | 11 | 27 243.36/243.48 c 164s | 18 | 399212 | 371952 | 6524 114 | 11 | 27 245.46/245.52 c 166s | 18 | 404119 | 376752 | 6524 115 | 11 | 27 247.46/247.53 c 168s | 18 | 409068 | 381552 | 6524 117 | 11 | 27 249.46/249.57 c 170s | 18 | 414455 | 386752 | 6524 118 | 11 | 27 251.45/251.59 c 172s | 18 | 420100 | 392252 | 6524 120 | 11 | 27 253.45/253.59 c 174s | 18 | 425373 | 397352 | 6524 121 | 11 | 27 255.55/255.62 c 176s | 18 | 430650 | 402352 | 6524 123 | 11 | 27 257.55/257.64 c 178s | 18 | 435660 | 407252 | 6524 124 | 11 | 27 259.56/259.65 c 180s | 18 | 440724 | 411952 | 6524 126 | 11 | 27 261.55/261.65 c 182s | 18 | 445304 | 416352 | 6524 127 | 11 | 27 263.55/263.69 c 184s | 18 | 450091 | 420852 | 6524 128 | 11 | 27 265.65/265.72 c 186s | 18 | 454434 | 424952 | 6524 129 | 11 | 27 267.65/267.73 c 188s | 18 | 459917 | 430152 | 6524 131 | 11 | 27 269.65/269.75 c 190s | 18 | 464470 | 434552 | 6524 132 | 11 | 27 271.66/271.78 c 192s | 18 | 469656 | 439252 | 6524 134 | 11 | 27 273.75/273.82 c 195s | 18 | 474248 | 443752 | 6524 135 | 11 | 27 274.05/274.16 c 195s | 19 | 475003 | 444482 | 6524 135 | 11 | 27 276.06/276.17 c 197s | 19 | 481237 | 450582 | 6524 137 | 11 | 27 278.15/278.20 c 199s | 19 | 487319 | 456182 | 6524 138 | 11 | 27 280.15/280.21 c 201s | 19 | 491952 | 460582 | 6524 140 | 11 | 27 282.15/282.22 c 203s | 19 | 497968 | 466382 | 7177 141 | 11 | 27 284.15/284.26 c 205s | 19 | 503290 | 471482 | 7177 142 | 11 | 27 286.25/286.31 c 207s | 19 | 507964 | 475982 | 7177 144 | 11 | 27 288.25/288.35 c 209s | 19 | 513010 | 480882 | 7177 145 | 11 | 27 290.25/290.37 c 211s | 19 | 519088 | 486782 | 7177 146 | 11 | 27 292.34/292.41 c 213s | 19 | 524530 | 492082 | 7177 148 | 11 | 27 294.34/294.41 c 215s | 19 | 529505 | 496982 | 7177 149 | 11 | 27 296.34/296.44 c 217s | 19 | 534439 | 501682 | 7177 150 | 11 | 27 298.34/298.45 c 219s | 19 | 539025 | 506182 | 7177 151 | 11 | 27 300.44/300.50 c 221s | 19 | 544096 | 511182 | 7177 153 | 11 | 27 302.34/302.50 c 223s | 19 | 549900 | 516782 | 7177 154 | 11 | 27 304.44/304.50 c 225s | 19 | 555114 | 521882 | 7177 155 | 11 | 27 306.44/306.54 c 227s | 19 | 559969 | 526682 | 7177 157 | 11 | 27 308.44/308.57 c 229s | 19 | 564242 | 530882 | 7177 158 | 11 | 27 310.44/310.59 c 231s | 19 | 569090 | 535682 | 7177 159 | 11 | 27 312.54/312.64 c 233s | 19 | 573244 | 539782 | 7177 160 | 11 | 27 314.55/314.64 c 235s | 19 | 577105 | 543582 | 7177 161 | 11 | 27 316.54/316.67 c 237s | 19 | 581089 | 547482 | 7177 162 | 11 | 27 318.64/318.70 c 239s | 19 | 586444 | 552782 | 7177 163 | 11 | 27 320.64/320.72 c 241s | 19 | 591029 | 557282 | 7177 165 | 11 | 27 322.64/322.77 c 243s | 19 | 595490 | 561682 | 7177 166 | 11 | 27 324.64/324.78 c 245s | 19 | 600255 | 566382 | 7177 167 | 11 | 27 326.75/326.81 c 248s | 19 | 605226 | 571282 | 7177 168 | 11 | 27 328.84/328.97 c 250s | 19 | 609894 | 575782 | 7177 169 | 11 | 27 330.94/331.00 c 252s | 19 | 615724 | 581482 | 7177 171 | 11 | 27 332.94/333.00 c 254s | 19 | 620980 | 586682 | 7177 172 | 11 | 27 334.93/335.04 c 256s | 19 | 626056 | 591682 | 7177 173 | 11 | 27 336.93/337.05 c 258s | 19 | 630525 | 596082 | 7177 175 | 11 | 27 338.93/339.07 c 260s | 19 | 635083 | 600582 | 7177 176 | 11 | 27 341.04/341.10 c 262s | 19 | 640548 | 605982 | 7177 177 | 11 | 27 343.03/343.12 c 264s | 19 | 645929 | 611282 | 7177 178 | 11 | 27 345.03/345.14 c 266s | 19 | 651817 | 617082 | 7177 180 | 11 | 27 347.03/347.17 c 268s | 19 | 657083 | 622282 | 7177 181 | 11 | 27 349.13/349.21 c 270s | 19 | 661857 | 626982 | 7177 183 | 11 | 27 351.13/351.22 c 272s | 19 | 668168 | 633182 | 7177 184 | 11 | 27 353.14/353.23 c 274s | 19 | 673769 | 638682 | 7177 186 | 11 | 27 355.13/355.27 c 276s | 19 | 679634 | 644382 | 7177 187 | 11 | 27 357.13/357.28 c 278s | 19 | 685353 | 649982 | 7177 188 | 11 | 27 359.23/359.30 c 280s | 19 | 690045 | 654482 | 7177 190 | 11 | 27 361.23/361.30 c 282s | 19 | 695497 | 659882 | 7177 191 | 11 | 27 363.23/363.32 c 284s | 19 | 701087 | 665282 | 7177 192 | 11 | 27 363.73/363.85 c 285s | 20 | 702692 | 666827 | 7177 193 | 11 | 27 365.74/365.87 c 287s | 20 | 709669 | 672427 | 7177 194 | 11 | 27 367.84/367.90 c 289s | 20 | 714628 | 677127 | 7177 195 | 11 | 27 369.84/369.90 c 291s | 20 | 718392 | 680827 | 7177 196 | 11 | 27 371.84/371.92 c 293s | 20 | 722481 | 684827 | 7177 197 | 11 | 27 373.84/373.94 c 295s | 20 | 727066 | 689127 | 7177 198 | 11 | 27 375.83/375.98 c 297s | 20 | 730483 | 692527 | 7177 199 | 11 | 27 377.93/378.01 c 299s | 20 | 734539 | 696527 | 7177 200 | 11 | 27 379.93/380.02 c 301s | 20 | 738792 | 700027 | 7177 201 | 11 | 27 381.93/382.03 c 303s | 20 | 742763 | 703727 | 7177 202 | 11 | 27 383.94/384.05 c 305s | 20 | 746347 | 707027 | 7177 203 | 11 | 27 385.93/386.10 c 307s | 20 | 747982 | 708627 | 7177 203 | 11 | 27 388.03/388.12 c 309s | 20 | 749797 | 710427 | 7177 204 | 11 | 27 390.03/390.17 c 311s | 20 | 751626 | 712227 | 7177 204 | 11 | 27 392.13/392.20 c 313s | 20 | 753378 | 713927 | 7177 205 | 11 | 27 394.13/394.24 c 315s | 20 | 755870 | 716327 | 7177 205 | 11 | 27 396.13/396.24 c 317s | 20 | 760243 | 720527 | 7177 206 | 11 | 27 398.14/398.25 c 319s | 20 | 764639 | 724827 | 7177 208 | 11 | 27 400.13/400.25 c 321s | 20 | 768742 | 728727 | 7177 209 | 11 | 27 402.13/402.26 c 323s | 20 | 773301 | 733127 | 7177 210 | 11 | 27 404.23/404.30 c 325s | 20 | 777838 | 737527 | 7177 211 | 11 | 27 406.23/406.30 c 327s | 20 | 782416 | 741827 | 7177 212 | 11 | 27 408.23/408.33 c 329s | 20 | 786938 | 746027 | 7177 213 | 11 | 27 410.24/410.37 c 331s | 20 | 791187 | 750127 | 7177 214 | 11 | 27 412.23/412.37 c 333s | 20 | 795779 | 754627 | 7177 215 | 11 | 27 414.23/414.37 c 335s | 20 | 800272 | 759027 | 7177 216 | 11 | 27 416.23/416.38 c 337s | 20 | 804748 | 763327 | 7177 217 | 11 | 27 418.33/418.44 c 339s | 20 | 808992 | 767427 | 7177 218 | 11 | 27 420.33/420.44 c 341s | 20 | 812908 | 771227 | 7177 219 | 11 | 27 422.33/422.46 c 343s | 20 | 817247 | 775327 | 7177 220 | 11 | 27 424.33/424.50 c 345s | 20 | 821758 | 779727 | 7177 222 | 11 | 27 426.43/426.53 c 347s | 20 | 826431 | 784327 | 7177 223 | 11 | 27 428.42/428.54 c 349s | 20 | 830941 | 788627 | 7177 224 | 11 | 27 430.42/430.57 c 351s | 20 | 835668 | 793227 | 7177 225 | 11 | 27 432.43/432.57 c 353s | 20 | 839726 | 797127 | 7895 226 | 11 | 27 434.43/434.58 c 355s | 20 | 844704 | 801727 | 7895 227 | 11 | 27 436.52/436.61 c 357s | 20 | 848651 | 805527 | 7895 228 | 11 | 27 438.52/438.62 c 359s | 20 | 852409 | 809127 | 7895 229 | 11 | 27 440.52/440.63 c 361s | 20 | 856035 | 812627 | 7895 229 | 11 | 27 442.52/442.69 c 363s | 20 | 860269 | 816727 | 7895 230 | 11 | 27 444.62/444.70 c 365s | 20 | 864935 | 821327 | 7895 231 | 11 | 27 446.63/446.75 c 367s | 20 | 868931 | 825127 | 7895 232 | 11 | 27 448.62/448.78 c 369s | 20 | 872965 | 829027 | 7895 233 | 11 | 27 450.72/450.80 c 372s | 20 | 877235 | 833127 | 7895 234 | 11 | 27 452.72/452.81 c 374s | 20 | 881869 | 837627 | 7895 235 | 11 | 27 454.72/454.82 c 376s | 20 | 886474 | 842027 | 7895 236 | 11 | 27 456.72/456.82 c 378s | 20 | 890777 | 846227 | 7895 237 | 11 | 27 458.73/458.86 c 380s | 20 | 894628 | 849927 | 7895 238 | 11 | 27 460.72/460.89 c 382s | 20 | 898868 | 854027 | 7895 239 | 11 | 27 462.82/462.90 c 384s | 20 | 902753 | 857727 | 7895 240 | 11 | 27 464.82/464.93 c 386s | 20 | 907099 | 861927 | 7895 241 | 11 | 27 466.82/466.96 c 388s | 20 | 911160 | 865927 | 7895 242 | 11 | 27 468.82/468.97 c 390s | 20 | 915427 | 870027 | 7895 243 | 11 | 27 470.92/471.01 c 392s | 20 | 919481 | 874027 | 7895 244 | 11 | 27 472.92/473.06 c 394s | 20 | 923227 | 877627 | 7895 245 | 11 | 27 475.01/475.10 c 396s | 20 | 928138 | 882227 | 7895 246 | 11 | 27 477.01/477.13 c 398s | 20 | 932491 | 886327 | 7895 247 | 11 | 27 479.01/479.16 c 400s | 20 | 936081 | 889827 | 7895 247 | 11 | 27 481.11/481.20 c 402s | 20 | 939516 | 893127 | 7895 248 | 11 | 27 483.11/483.20 c 404s | 20 | 944027 | 897527 | 7895 249 | 11 | 27 485.12/485.21 c 406s | 20 | 948123 | 901527 | 7895 250 | 11 | 27 487.11/487.21 c 408s | 20 | 952309 | 905527 | 7895 251 | 11 | 27 489.11/489.22 c 410s | 20 | 956429 | 909327 | 7895 252 | 11 | 27 491.11/491.23 c 412s | 20 | 960561 | 913227 | 7895 253 | 11 | 27 493.11/493.26 c 414s | 20 | 964399 | 916927 | 7895 254 | 11 | 27 495.21/495.33 c 416s | 20 | 968044 | 920427 | 7895 255 | 11 | 27 497.22/497.38 c 418s | 20 | 971916 | 924227 | 7895 255 | 11 | 27 499.32/499.41 c 420s | 20 | 975584 | 927727 | 7895 256 | 11 | 27 501.31/501.45 c 422s | 20 | 979646 | 931627 | 7895 257 | 11 | 27 503.31/503.47 c 424s | 20 | 983856 | 935727 | 7895 258 | 11 | 27 505.41/505.50 c 426s | 20 | 988135 | 939927 | 7895 259 | 11 | 27 507.41/507.53 c 428s | 20 | 992924 | 944627 | 7895 260 | 11 | 27 509.51/509.62 c 430s | 20 | 997802 | 949227 | 7895 261 | 11 | 27 511.52/511.63 c 432s | 20 | 1001946 | 953227 | 7895 262 | 11 | 27 513.51/513.65 c 434s | 20 | 1006819 | 958027 | 7895 263 | 11 | 27 515.51/515.68 c 436s | 20 | 1011615 | 962627 | 7895 264 | 11 | 27 517.61/517.70 c 438s | 20 | 1016674 | 967427 | 7895 266 | 11 | 27 519.61/519.72 c 440s | 20 | 1021281 | 971827 | 7895 267 | 11 | 27 521.61/521.73 c 442s | 20 | 1026519 | 976627 | 7895 268 | 11 | 27 523.61/523.77 c 444s | 20 | 1031571 | 981327 | 7895 269 | 11 | 27 525.71/525.82 c 447s | 20 | 1036329 | 985727 | 7895 270 | 11 | 27 527.70/527.86 c 449s | 20 | 1041519 | 990527 | 7895 271 | 11 | 27 529.70/529.88 c 451s | 20 | 1046547 | 995327 | 7895 272 | 11 | 27 531.70/531.88 c 453s | 20 | 1051106 | 999527 | 7895 273 | 11 | 27 532.10/532.25 c 453s | 21 | 1051977 | 1000345 | 7895 273 | 11 | 27 534.10/534.26 c 455s | 21 | 1059392 | 1007345 | 7895 275 | 11 | 27 536.10/536.26 c 457s | 21 | 1064421 | 1012045 | 7895 276 | 11 | 27 538.10/538.28 c 459s | 21 | 1069305 | 1016745 | 7895 277 | 11 | 27 540.20/540.32 c 461s | 21 | 1073778 | 1021045 | 7895 278 | 11 | 27 542.21/542.35 c 463s | 21 | 1078163 | 1025145 | 7895 279 | 11 | 27 544.20/544.36 c 465s | 21 | 1082258 | 1029145 | 7895 280 | 11 | 27 546.30/546.45 c 467s | 21 | 1086516 | 1033145 | 7895 281 | 11 | 27 548.30/548.46 c 469s | 21 | 1091265 | 1037745 | 7895 282 | 11 | 27 550.30/550.49 c 471s | 21 | 1094970 | 1041245 | 7895 283 | 11 | 27 552.30/552.49 c 473s | 21 | 1099151 | 1045345 | 7895 284 | 11 | 27 554.41/554.54 c 475s | 21 | 1103512 | 1049545 | 7895 285 | 11 | 27 556.40/556.55 c 477s | 21 | 1107556 | 1053345 | 7895 286 | 11 | 27 558.40/558.59 c 479s | 21 | 1111093 | 1056745 | 7895 287 | 11 | 27 560.40/560.59 c 481s | 21 | 1115211 | 1060745 | 7895 288 | 11 | 27 562.50/562.60 c 483s | 21 | 1119196 | 1064645 | 7895 289 | 11 | 27 564.51/564.65 c 485s | 21 | 1124225 | 1069345 | 7895 290 | 11 | 27 566.61/566.71 c 487s | 21 | 1127964 | 1072845 | 7895 291 | 11 | 27 568.61/568.78 c 489s | 21 | 1131870 | 1076645 | 7895 291 | 11 | 27 570.61/570.79 c 491s | 21 | 1135352 | 1080045 | 7895 292 | 11 | 27 572.70/572.81 c 494s | 21 | 1139487 | 1084045 | 7895 293 | 11 | 27 574.70/574.81 c 496s | 21 | 1144186 | 1088445 | 7895 294 | 11 | 27 576.70/576.83 c 498s | 21 | 1148480 | 1092545 | 7895 295 | 11 | 27 578.70/578.85 c 500s | 21 | 1153018 | 1096745 | 7895 296 | 11 | 27 580.71/580.88 c 502s | 21 | 1157358 | 1100645 | 7895 297 | 11 | 27 582.80/582.96 c 504s | 21 | 1161091 | 1104045 | 7895 298 | 11 | 27 584.80/584.99 c 506s | 21 | 1165365 | 1108145 | 7895 299 | 11 | 27 586.90/587.04 c 508s | 21 | 1169428 | 1111945 | 7895 300 | 11 | 27 588.90/589.07 c 510s | 21 | 1173546 | 1115845 | 7895 301 | 11 | 27 591.00/591.10 c 512s | 21 | 1177217 | 1119245 | 7895 301 | 11 | 27 593.00/593.15 c 514s | 21 | 1181133 | 1123045 | 7895 302 | 11 | 27 595.11/595.22 c 516s | 21 | 1185768 | 1127545 | 7895 303 | 11 | 27 597.10/597.24 c 518s | 21 | 1190247 | 1131845 | 7895 304 | 11 | 27 599.10/599.26 c 520s | 21 | 1194196 | 1135545 | 7895 305 | 11 | 27 601.20/601.31 c 522s | 21 | 1198019 | 1139245 | 7895 306 | 11 | 27 603.20/603.34 c 524s | 21 | 1202207 | 1143145 | 7895 307 | 11 | 27 605.20/605.37 c 526s | 21 | 1206485 | 1147245 | 7895 308 | 11 | 27 607.20/607.37 c 528s | 21 | 1210159 | 1150845 | 7895 309 | 11 | 27 609.20/609.37 c 530s | 21 | 1214013 | 1154545 | 7895 310 | 11 | 27 611.30/611.40 c 532s | 21 | 1217685 | 1158045 | 7895 311 | 11 | 27 613.30/613.44 c 534s | 21 | 1221538 | 1161745 | 7895 312 | 11 | 27 615.30/615.49 c 536s | 21 | 1225378 | 1165445 | 7895 312 | 11 | 27 617.40/617.52 c 538s | 21 | 1228910 | 1168845 | 7895 313 | 11 | 27 619.40/619.57 c 540s | 21 | 1232395 | 1172145 | 7895 314 | 11 | 27 621.40/621.60 c 542s | 21 | 1236358 | 1175945 | 7895 315 | 11 | 27 623.49/623.64 c 544s | 21 | 1240384 | 1179845 | 7895 316 | 11 | 27 625.49/625.66 c 546s | 21 | 1244598 | 1183945 | 7895 317 | 11 | 27 627.49/627.69 c 548s | 21 | 1248582 | 1187745 | 7895 318 | 11 | 27 629.59/629.72 c 550s | 21 | 1253151 | 1192145 | 7895 319 | 11 | 27 631.59/631.75 c 552s | 21 | 1257058 | 1195945 | 7895 320 | 11 | 27 633.69/633.82 c 555s | 21 | 1260770 | 1199545 | 7895 321 | 11 | 27 635.70/635.83 c 557s | 21 | 1265107 | 1203745 | 7895 322 | 11 | 27 637.69/637.85 c 559s | 21 | 1269243 | 1207645 | 7895 322 | 11 | 27 639.69/639.87 c 561s | 21 | 1273413 | 1211645 | 7895 323 | 11 | 27 641.69/641.88 c 563s | 21 | 1277204 | 1215345 | 7895 324 | 11 | 27 643.69/643.89 c 565s | 21 | 1280999 | 1219045 | 7895 325 | 11 | 27 645.70/645.89 c 567s | 21 | 1285267 | 1223245 | 7895 326 | 11 | 27 647.79/647.91 c 569s | 21 | 1289572 | 1227445 | 7895 327 | 11 | 27 649.79/649.91 c 571s | 21 | 1293894 | 1231545 | 7895 328 | 11 | 27 651.79/651.92 c 573s | 21 | 1297218 | 1234545 | 7895 329 | 11 | 27 653.79/653.95 c 575s | 21 | 1301545 | 1238745 | 7895 330 | 11 | 27 655.79/655.98 c 577s | 21 | 1305743 | 1242745 | 7895 331 | 11 | 27 657.79/657.98 c 579s | 21 | 1309803 | 1246645 | 7895 332 | 11 | 27 659.89/660.09 c 581s | 21 | 1313477 | 1250145 | 7895 333 | 11 | 27 661.99/662.12 c 583s | 21 | 1317587 | 1254145 | 7895 333 | 11 | 27 663.99/664.15 c 585s | 21 | 1321929 | 1258345 | 7895 334 | 11 | 27 665.98/666.18 c 587s | 21 | 1326183 | 1262445 | 7895 335 | 11 | 27 668.08/668.20 c 589s | 21 | 1330118 | 1266245 | 7895 336 | 11 | 27 670.09/670.20 c 591s | 21 | 1334166 | 1269945 | 7895 337 | 11 | 27 672.09/672.23 c 593s | 21 | 1337868 | 1273245 | 7895 338 | 11 | 27 674.08/674.26 c 595s | 21 | 1341928 | 1277045 | 7895 339 | 11 | 27 676.08/676.29 c 597s | 21 | 1345692 | 1280745 | 7895 340 | 11 | 27 678.18/678.33 c 599s | 21 | 1350132 | 1285045 | 7895 341 | 11 | 27 680.18/680.39 c 601s | 21 | 1353027 | 1287845 | 7895 341 | 11 | 27 682.28/682.42 c 603s | 21 | 1355074 | 1289845 | 7895 342 | 11 | 27 684.28/684.43 c 605s | 21 | 1358474 | 1293145 | 8685 343 | 11 | 27 686.29/686.49 c 607s | 21 | 1363047 | 1297545 | 8685 343 | 11 | 27 688.38/688.51 c 609s | 21 | 1366692 | 1301045 | 8685 344 | 11 | 27 690.38/690.53 c 611s | 21 | 1371514 | 1305745 | 8685 345 | 11 | 27 692.38/692.58 c 613s | 21 | 1375714 | 1309745 | 8685 346 | 11 | 27 694.48/694.61 c 615s | 21 | 1379263 | 1313145 | 8685 347 | 11 | 27 696.48/696.62 c 617s | 21 | 1383122 | 1316845 | 8685 348 | 11 | 27 698.58/698.70 c 619s | 21 | 1387894 | 1321345 | 8685 349 | 11 | 27 700.58/700.77 c 621s | 21 | 1392572 | 1325845 | 8685 350 | 11 | 27 702.58/702.78 c 623s | 21 | 1396782 | 1329945 | 8685 350 | 11 | 27 704.68/704.81 c 626s | 21 | 1400912 | 1333945 | 8685 351 | 11 | 27 706.69/706.82 c 628s | 21 | 1405054 | 1337945 | 8685 352 | 11 | 27 708.69/708.87 c 630s | 21 | 1409250 | 1341945 | 8685 353 | 11 | 27 710.69/710.88 c 632s | 21 | 1413210 | 1345745 | 8685 354 | 11 | 27 712.69/712.89 c 634s | 21 | 1417161 | 1349445 | 8685 355 | 11 | 27 714.78/714.92 c 636s | 21 | 1421339 | 1353445 | 8685 356 | 11 | 27 716.78/716.95 c 638s | 21 | 1425554 | 1357445 | 8685 356 | 11 | 27 718.78/718.98 c 640s | 21 | 1430323 | 1361945 | 8685 357 | 11 | 27 720.78/720.99 c 642s | 21 | 1434682 | 1366145 | 8685 358 | 11 | 27 722.88/723.05 c 644s | 21 | 1438970 | 1370345 | 8685 359 | 11 | 27 724.89/725.09 c 646s | 21 | 1443162 | 1374445 | 8685 360 | 11 | 27 726.88/727.10 c 648s | 21 | 1447090 | 1378245 | 8685 361 | 11 | 27 728.98/729.10 c 650s | 21 | 1451586 | 1382445 | 8685 362 | 11 | 27 730.98/731.13 c 652s | 21 | 1455427 | 1385945 | 8685 363 | 11 | 27 732.98/733.14 c 654s | 21 | 1459340 | 1389745 | 8685 363 | 11 | 27 734.98/735.17 c 656s | 21 | 1463397 | 1393645 | 8685 364 | 11 | 27 736.99/737.19 c 658s | 21 | 1467403 | 1397545 | 8685 365 | 11 | 27 739.09/739.22 c 660s | 21 | 1471300 | 1401245 | 8685 366 | 11 | 27 741.08/741.24 c 662s | 21 | 1476117 | 1405945 | 8685 367 | 11 | 27 743.08/743.27 c 664s | 21 | 1479958 | 1409645 | 8685 368 | 11 | 27 745.08/745.27 c 666s | 21 | 1483471 | 1413045 | 8685 369 | 11 | 27 747.08/747.29 c 668s | 21 | 1487720 | 1417145 | 8685 369 | 11 | 27 749.09/749.30 c 670s | 21 | 1491956 | 1421145 | 8685 370 | 11 | 27 751.18/751.32 c 672s | 21 | 1495248 | 1424245 | 8685 371 | 11 | 27 753.18/753.35 c 674s | 21 | 1498994 | 1427745 | 8685 372 | 11 | 27 755.18/755.35 c 676s | 21 | 1502832 | 1431245 | 8685 372 | 11 | 27 757.18/757.38 c 678s | 21 | 1507418 | 1435645 | 8685 373 | 11 | 27 759.28/759.41 c 680s | 21 | 1511662 | 1439645 | 8685 374 | 11 | 27 761.28/761.41 c 682s | 21 | 1516287 | 1444145 | 8685 375 | 11 | 27 763.28/763.45 c 684s | 21 | 1520468 | 1448245 | 8685 376 | 11 | 27 765.28/765.48 c 686s | 21 | 1524310 | 1451845 | 8685 377 | 11 | 27 767.38/767.52 c 688s | 21 | 1528320 | 1455745 | 8685 378 | 11 | 27 769.38/769.54 c 690s | 21 | 1532193 | 1459545 | 8685 379 | 11 | 27 771.37/771.58 c 692s | 21 | 1536314 | 1463545 | 8685 379 | 11 | 27 773.47/773.60 c 694s | 21 | 1539956 | 1466945 | 8685 380 | 11 | 27 775.48/775.60 c 696s | 21 | 1544178 | 1470945 | 8685 381 | 11 | 27 777.47/777.63 c 698s | 21 | 1548494 | 1475045 | 8685 382 | 11 | 27 779.47/779.63 c 700s | 21 | 1552863 | 1479245 | 8685 383 | 11 | 27 781.47/781.67 c 702s | 21 | 1556858 | 1483045 | 8685 384 | 11 | 27 783.47/783.69 c 704s | 21 | 1560757 | 1486745 | 8685 385 | 11 | 27 785.57/785.74 c 706s | 21 | 1564963 | 1490645 | 8685 385 | 11 | 27 787.58/787.76 c 708s | 21 | 1569095 | 1494445 | 8685 386 | 11 | 27 789.68/789.84 c 711s | 21 | 1573040 | 1497945 | 8685 387 | 11 | 27 791.07/791.23 c 712s | 22 | 1575790 | 1500622 | 8685 388 | 11 | 27 793.08/793.25 c 714s | 22 | 1583567 | 1507922 | 8685 389 | 11 | 27 795.07/795.28 c 716s | 22 | 1588796 | 1513022 | 8685 390 | 11 | 27 797.17/797.31 c 718s | 22 | 1593172 | 1517322 | 8685 391 | 11 | 27 799.17/799.32 c 720s | 22 | 1597765 | 1521822 | 8685 392 | 11 | 27 801.17/801.33 c 722s | 22 | 1602821 | 1526722 | 8685 393 | 11 | 27 803.17/803.37 c 724s | 22 | 1607504 | 1531322 | 8685 394 | 11 | 27 805.27/805.40 c 726s | 22 | 1611930 | 1535622 | 8685 395 | 11 | 27 807.17/807.40 c 728s | 22 | 1616606 | 1540222 | 8685 396 | 11 | 27 809.27/809.41 c 730s | 22 | 1620575 | 1544122 | 8685 397 | 11 | 27 811.26/811.44 c 732s | 22 | 1625533 | 1548922 | 8685 398 | 11 | 27 813.26/813.47 c 734s | 22 | 1630199 | 1553422 | 8685 399 | 11 | 27 815.36/815.50 c 736s | 22 | 1635359 | 1558322 | 8685 400 | 11 | 27 817.36/817.52 c 738s | 22 | 1639899 | 1562722 | 8685 401 | 11 | 27 819.37/819.59 c 740s | 22 | 1644376 | 1567122 | 8685 402 | 11 | 27 821.46/821.62 c 742s | 22 | 1648795 | 1571422 | 8685 403 | 11 | 27 823.46/823.66 c 744s | 22 | 1652643 | 1575122 | 8685 404 | 11 | 27 825.46/825.68 c 746s | 22 | 1657186 | 1579522 | 8685 405 | 11 | 27 827.56/827.71 c 748s | 22 | 1661627 | 1583722 | 8685 406 | 11 | 27 829.56/829.71 c 750s | 22 | 1665938 | 1587922 | 8685 406 | 11 | 27 831.57/831.72 c 752s | 22 | 1670640 | 1592422 | 8685 407 | 11 | 27 833.56/833.75 c 754s | 22 | 1675020 | 1596722 | 8685 408 | 11 | 27 835.56/835.78 c 756s | 22 | 1679486 | 1601122 | 8685 409 | 11 | 27 837.66/837.81 c 759s | 22 | 1683926 | 1605522 | 8685 410 | 11 | 27 839.66/839.85 c 761s | 22 | 1688290 | 1609822 | 8685 411 | 11 | 27 841.76/841.90 c 763s | 22 | 1692017 | 1613522 | 8685 412 | 11 | 27 843.76/843.90 c 765s | 22 | 1695553 | 1617022 | 8685 413 | 11 | 27 845.77/845.91 c 767s | 22 | 1700850 | 1622222 | 8685 414 | 11 | 27 847.76/847.93 c 769s | 22 | 1706099 | 1627322 | 8685 415 | 11 | 27 849.76/849.97 c 771s | 22 | 1711076 | 1632222 | 8685 416 | 11 | 27 851.86/852.00 c 773s | 22 | 1715467 | 1636522 | 8685 417 | 11 | 27 853.86/854.04 c 775s | 22 | 1719575 | 1640522 | 8685 418 | 11 | 27 855.86/856.07 c 777s | 22 | 1724422 | 1645222 | 8685 419 | 11 | 27 857.87/858.08 c 779s | 22 | 1728132 | 1648722 | 8685 420 | 11 | 27 859.96/860.10 c 781s | 22 | 1734392 | 1654722 | 8685 421 | 11 | 27 861.96/862.14 c 783s | 22 | 1740222 | 1660022 | 8685 422 | 11 | 27 863.96/864.16 c 785s | 22 | 1745049 | 1664522 | 8685 423 | 11 | 27 865.96/866.19 c 787s | 22 | 1750492 | 1669622 | 8685 424 | 11 | 27 868.05/868.22 c 789s | 22 | 1755864 | 1674722 | 8685 425 | 11 | 27 870.06/870.26 c 791s | 22 | 1760370 | 1679122 | 8685 426 | 11 | 27 872.05/872.28 c 793s | 22 | 1764584 | 1683222 | 8685 427 | 11 | 27 874.15/874.31 c 795s | 22 | 1768965 | 1687422 | 8685 428 | 11 | 27 876.15/876.34 c 797s | 22 | 1774536 | 1692722 | 8685 429 | 11 | 27 878.15/878.35 c 799s | 22 | 1778703 | 1696822 | 8685 430 | 11 | 27 880.15/880.39 c 801s | 22 | 1782917 | 1700922 | 8685 431 | 11 | 27 882.25/882.42 c 803s | 22 | 1786902 | 1704822 | 8685 432 | 11 | 27 884.25/884.43 c 805s | 22 | 1791613 | 1709422 | 8685 433 | 11 | 27 886.25/886.48 c 807s | 22 | 1796765 | 1714322 | 8685 434 | 11 | 27 888.24/888.49 c 809s | 22 | 1801154 | 1718622 | 8685 435 | 11 | 27 890.34/890.50 c 811s | 22 | 1805360 | 1722722 | 8685 436 | 11 | 27 892.34/892.52 c 813s | 22 | 1808983 | 1726222 | 8685 437 | 11 | 27 894.34/894.54 c 815s | 22 | 1812894 | 1730022 | 8685 437 | 11 | 27 896.35/896.57 c 817s | 22 | 1817292 | 1734222 | 8685 438 | 11 | 27 898.34/898.59 c 819s | 22 | 1821906 | 1738722 | 8685 439 | 11 | 27 900.34/900.59 c 821s | 22 | 1825984 | 1742622 | 8685 440 | 11 | 27 902.44/902.63 c 823s | 22 | 1829964 | 1746522 | 8685 441 | 11 | 27 904.44/904.66 c 825s | 22 | 1834889 | 1751222 | 8685 442 | 11 | 27 906.44/906.68 c 827s | 22 | 1839474 | 1755622 | 8685 443 | 11 | 27 908.44/908.68 c 829s | 22 | 1843878 | 1759722 | 8685 444 | 11 | 27 910.53/910.72 c 831s | 22 | 1847906 | 1763622 | 8685 445 | 11 | 27 912.53/912.73 c 833s | 22 | 1852312 | 1767822 | 8685 446 | 11 | 27 914.53/914.76 c 835s | 22 | 1856331 | 1771722 | 8685 447 | 11 | 27 916.63/916.80 c 838s | 22 | 1860373 | 1775622 | 8685 447 | 11 | 27 918.63/918.82 c 840s | 22 | 1865028 | 1780122 | 8685 448 | 11 | 27 920.63/920.84 c 842s | 22 | 1869174 | 1784122 | 8685 449 | 11 | 27 922.62/922.86 c 844s | 22 | 1872988 | 1787822 | 8685 450 | 11 | 27 924.62/924.88 c 846s | 22 | 1876955 | 1791622 | 8685 451 | 11 | 27 926.72/926.92 c 848s | 22 | 1881375 | 1795922 | 8685 452 | 11 | 27 928.72/928.92 c 850s | 22 | 1886464 | 1800722 | 8685 453 | 11 | 27 930.72/930.95 c 852s | 22 | 1890411 | 1804522 | 8685 454 | 11 | 27 932.73/932.96 c 854s | 22 | 1894351 | 1808322 | 8685 455 | 11 | 27 934.72/934.97 c 856s | 22 | 1898088 | 1811922 | 8685 455 | 11 | 27 936.72/936.97 c 858s | 22 | 1902647 | 1816322 | 8685 456 | 11 | 27 938.81/939.01 c 860s | 22 | 1907068 | 1820622 | 8685 457 | 11 | 27 940.82/941.05 c 862s | 22 | 1911323 | 1824722 | 8685 458 | 11 | 27 942.82/943.07 c 864s | 22 | 1915215 | 1828522 | 8685 459 | 11 | 27 944.92/945.10 c 866s | 22 | 1918913 | 1832122 | 8685 460 | 11 | 27 946.93/947.11 c 868s | 22 | 1923213 | 1836322 | 8685 461 | 11 | 27 948.92/949.18 c 870s | 22 | 1927338 | 1840322 | 8685 462 | 11 | 27 950.92/951.20 c 872s | 22 | 1931792 | 1844622 | 8685 462 | 11 | 27 953.02/953.25 c 874s | 22 | 1936447 | 1849122 | 8685 463 | 11 | 27 955.02/955.26 c 876s | 22 | 1940714 | 1853222 | 8685 464 | 11 | 27 957.12/957.30 c 878s | 22 | 1945051 | 1857322 | 8685 465 | 11 | 27 959.12/959.35 c 880s | 22 | 1949328 | 1861522 | 8685 466 | 11 | 27 961.11/961.38 c 882s | 22 | 1953477 | 1865522 | 8685 467 | 11 | 27 963.11/963.38 c 884s | 22 | 1957367 | 1869222 | 8685 468 | 11 | 27 965.21/965.41 c 886s | 22 | 1961618 | 1873222 | 8685 469 | 11 | 27 967.21/967.43 c 888s | 22 | 1966813 | 1878122 | 8685 470 | 11 | 27 969.20/969.48 c 890s | 22 | 1970848 | 1882022 | 8685 471 | 11 | 27 971.30/971.52 c 892s | 22 | 1975212 | 1886222 | 8685 471 | 11 | 27 973.31/973.53 c 894s | 22 | 1979390 | 1890222 | 8685 472 | 11 | 27 975.30/975.56 c 896s | 22 | 1983516 | 1894222 | 8685 473 | 11 | 27 977.30/977.59 c 898s | 22 | 1987553 | 1898122 | 8685 474 | 11 | 27 979.40/979.61 c 900s | 22 | 1992579 | 1902922 | 8685 475 | 11 | 27 981.40/981.68 c 902s | 22 | 1997104 | 1907322 | 8685 476 | 11 | 27 983.50/983.72 c 904s | 22 | 2001450 | 1911522 | 8685 477 | 11 | 27 985.50/985.76 c 906s | 22 | 2005814 | 1915722 | 8685 478 | 11 | 27 987.49/987.78 c 908s | 22 | 2009988 | 1919822 | 8685 479 | 11 | 27 989.49/989.79 c 910s | 22 | 2014710 | 1924422 | 8685 480 | 11 | 27 991.59/991.80 c 913s | 22 | 2019126 | 1928722 | 8685 481 | 11 | 27 993.59/993.82 c 915s | 22 | 2024137 | 1933522 | 8685 482 | 11 | 27 995.59/995.82 c 917s | 22 | 2027976 | 1937222 | 8685 483 | 11 | 27 997.60/997.86 c 919s | 22 | 2032450 | 1941522 | 8685 484 | 11 | 27 999.59/999.86 c 921s | 22 | 2036778 | 1945722 | 8685 484 | 11 | 27 1001.69/1001.91 c 923s | 22 | 2040762 | 1949622 | 8685 485 | 11 | 27 1003.69/1003.93 c 925s | 22 | 2045083 | 1953822 | 8685 486 | 11 | 27 1005.69/1005.94 c 927s | 22 | 2049295 | 1957922 | 8685 487 | 11 | 27 1007.69/1007.95 c 929s | 22 | 2053664 | 1962122 | 8685 488 | 11 | 27 1009.69/1009.97 c 931s | 22 | 2058207 | 1966422 | 8685 489 | 11 | 27 1011.79/1012.01 c 933s | 22 | 2062249 | 1970222 | 8685 490 | 11 | 27 1013.78/1014.05 c 935s | 22 | 2066536 | 1974322 | 8685 491 | 11 | 27 1015.78/1016.06 c 937s | 22 | 2070364 | 1978022 | 8685 492 | 11 | 27 1017.78/1018.09 c 939s | 22 | 2074637 | 1982222 | 8685 492 | 11 | 27 1019.88/1020.14 c 941s | 22 | 2078947 | 1986422 | 8685 493 | 11 | 27 1021.88/1022.14 c 943s | 22 | 2083109 | 1990422 | 8685 494 | 11 | 27 1023.88/1024.16 c 945s | 22 | 2087349 | 1994522 | 8685 495 | 11 | 27 1025.98/1026.20 c 947s | 22 | 2091567 | 1998622 | 8685 496 | 11 | 27 1027.97/1028.22 c 949s | 22 | 2096204 | 2003022 | 8685 497 | 11 | 27 1029.97/1030.24 c 951s | 22 | 2100489 | 2007122 | 8685 498 | 11 | 27 1031.97/1032.29 c 953s | 22 | 2104505 | 2011022 | 8685 499 | 11 | 27 1034.07/1034.35 c 955s | 22 | 2109147 | 2015422 | 8685 500 | 11 | 27 1036.08/1036.36 c 957s | 22 | 2113162 | 2019322 | 8685 501 | 11 | 27 1038.07/1038.39 c 959s | 22 | 2117782 | 2023722 | 8685 501 | 11 | 27 1040.06/1040.39 c 961s | 22 | 2122373 | 2028022 | 8685 502 | 11 | 27 1042.16/1042.42 c 963s | 22 | 2126785 | 2032322 | 8685 503 | 11 | 27 1044.16/1044.44 c 965s | 22 | 2130809 | 2036222 | 9554 504 | 11 | 27 1046.16/1046.49 c 967s | 22 | 2134833 | 2040122 | 9554 505 | 11 | 27 1048.26/1048.54 c 969s | 22 | 2138744 | 2043922 | 9554 506 | 11 | 27 1050.27/1050.56 c 971s | 22 | 2143475 | 2048422 | 9554 506 | 11 | 27 1052.36/1052.63 c 973s | 22 | 2147611 | 2052322 | 9554 507 | 11 | 27 1054.36/1054.68 c 975s | 22 | 2151680 | 2056222 | 9554 508 | 11 | 27 1056.36/1056.68 c 977s | 22 | 2155729 | 2060122 | 9554 509 | 11 | 27 1058.46/1058.70 c 979s | 22 | 2159400 | 2063722 | 9554 510 | 11 | 27 1060.46/1060.73 c 981s | 22 | 2163865 | 2068022 | 9554 510 | 11 | 27 1062.56/1062.80 c 984s | 22 | 2168398 | 2072322 | 9554 511 | 11 | 27 1064.56/1064.82 c 986s | 22 | 2172560 | 2076322 | 9554 512 | 11 | 27 1066.55/1066.85 c 988s | 22 | 2177600 | 2081222 | 9554 513 | 11 | 27 1068.55/1068.85 c 990s | 22 | 2182958 | 2086322 | 9554 514 | 11 | 27 1070.55/1070.89 c 992s | 22 | 2187895 | 2091022 | 9554 515 | 11 | 27 1072.55/1072.89 c 994s | 22 | 2192464 | 2095322 | 9554 516 | 11 | 27 1074.65/1074.93 c 996s | 22 | 2196897 | 2099622 | 9554 517 | 11 | 27 1076.66/1076.95 c 998s | 22 | 2201147 | 2103722 | 9554 517 | 11 | 27 1078.65/1078.98 c 1000s | 22 | 2205122 | 2107522 | 9554 518 | 11 | 27 1080.75/1081.02 c 1002s | 22 | 2209779 | 2112022 | 9554 519 | 11 | 27 1082.75/1083.03 c 1004s | 22 | 2214539 | 2116522 | 9554 520 | 11 | 27 1084.75/1085.04 c 1006s | 22 | 2219201 | 2121022 | 9554 521 | 11 | 27 1086.75/1087.05 c 1008s | 22 | 2223286 | 2125022 | 9554 522 | 11 | 27 1088.85/1089.11 c 1010s | 22 | 2228133 | 2129622 | 9554 523 | 11 | 27 1090.84/1091.11 c 1012s | 22 | 2232418 | 2133722 | 9554 523 | 11 | 27 1092.84/1093.14 c 1014s | 22 | 2237204 | 2138222 | 9554 524 | 11 | 27 1094.84/1095.15 c 1016s | 22 | 2241169 | 2142022 | 9554 525 | 11 | 27 1096.84/1097.17 c 1018s | 22 | 2245520 | 2146122 | 9554 526 | 11 | 27 1098.84/1099.18 c 1020s | 22 | 2249713 | 2150122 | 9554 527 | 11 | 27 1100.95/1101.20 c 1022s | 22 | 2254214 | 2154422 | 9554 528 | 11 | 27 1102.94/1103.25 c 1024s | 22 | 2258658 | 2158722 | 9554 528 | 11 | 27 1104.94/1105.28 c 1026s | 22 | 2263168 | 2163022 | 9554 529 | 11 | 27 1107.04/1107.31 c 1028s | 22 | 2267682 | 2167322 | 9554 530 | 11 | 27 1109.03/1109.35 c 1030s | 22 | 2271181 | 2170622 | 9554 531 | 11 | 27 1111.13/1111.43 c 1032s | 22 | 2274901 | 2174222 | 9554 532 | 11 | 27 1113.13/1113.43 c 1034s | 22 | 2279806 | 2178922 | 9554 532 | 11 | 27 1115.14/1115.47 c 1036s | 22 | 2284199 | 2183222 | 9554 533 | 11 | 27 1117.23/1117.54 c 1038s | 22 | 2288983 | 2187722 | 9554 534 | 11 | 27 1119.23/1119.58 c 1040s | 22 | 2293246 | 2191822 | 9554 535 | 11 | 27 1121.33/1121.62 c 1042s | 22 | 2297275 | 2195622 | 9554 536 | 11 | 27 1123.33/1123.69 c 1044s | 22 | 2301213 | 2199322 | 9554 537 | 11 | 27 1125.43/1125.70 c 1046s | 22 | 2305428 | 2203122 | 9554 537 | 11 | 27 1127.43/1127.73 c 1048s | 22 | 2309633 | 2207222 | 9554 538 | 11 | 27 1129.43/1129.77 c 1050s | 22 | 2314067 | 2211422 | 9554 539 | 11 | 27 1131.42/1131.79 c 1052s | 22 | 2318281 | 2215422 | 9554 540 | 11 | 27 1133.52/1133.81 c 1055s | 22 | 2322110 | 2219022 | 9554 540 | 11 | 27 1135.52/1135.81 c 1057s | 22 | 2326305 | 2223122 | 9554 541 | 11 | 27 1137.52/1137.85 c 1059s | 22 | 2330616 | 2227222 | 9554 542 | 11 | 27 1139.52/1139.89 c 1061s | 22 | 2334721 | 2231222 | 9554 543 | 11 | 27 1141.63/1141.94 c 1063s | 22 | 2339002 | 2235422 | 9554 544 | 11 | 27 1143.62/1143.96 c 1065s | 22 | 2343151 | 2239422 | 9554 545 | 11 | 27 1145.72/1146.00 c 1067s | 22 | 2347633 | 2243722 | 9554 545 | 11 | 27 1147.72/1148.05 c 1069s | 22 | 2351654 | 2247622 | 9554 546 | 11 | 27 1149.61/1149.94 c 1071s | 23 | 2355215 | 2251038 | 9554 547 | 11 | 27 1151.61/1151.95 c 1073s | 23 | 2359254 | 2254838 | 9554 548 | 11 | 27 1153.62/1153.96 c 1075s | 23 | 2364332 | 2259838 | 9554 549 | 11 | 27 1155.71/1156.06 c 1077s | 23 | 2368872 | 2264138 | 9554 549 | 11 | 27 1157.81/1158.14 c 1079s | 23 | 2373309 | 2268338 | 9554 550 | 11 | 27 1159.81/1160.17 c 1081s | 23 | 2377075 | 2271938 | 9554 551 | 11 | 27 1161.81/1162.18 c 1083s | 23 | 2379594 | 2274338 | 9554 551 | 11 | 27 1163.91/1164.26 c 1085s | 23 | 2382198 | 2276838 | 9554 552 | 11 | 27 1165.91/1166.29 c 1087s | 23 | 2384643 | 2279138 | 9554 552 | 11 | 27 1167.91/1168.29 c 1089s | 23 | 2388208 | 2282538 | 9554 553 | 11 | 27 1170.01/1170.30 c 1091s | 23 | 2391246 | 2285338 | 9554 553 | 11 | 27 1172.01/1172.32 c 1093s | 23 | 2393480 | 2287438 | 9554 554 | 11 | 27 1174.01/1174.32 c 1095s | 23 | 2395424 | 2289238 | 9554 554 | 11 | 27 1176.01/1176.35 c 1097s | 23 | 2399250 | 2292838 | 9554 555 | 11 | 27 1178.11/1178.40 c 1099s | 23 | 2401681 | 2295038 | 9554 555 | 11 | 27 1180.12/1180.43 c 1101s | 23 | 2404106 | 2297338 | 9554 556 | 11 | 27 1182.11/1182.44 c 1103s | 23 | 2406395 | 2299538 | 9554 556 | 11 | 27 1184.21/1184.50 c 1105s | 23 | 2408078 | 2301138 | 9554 556 | 11 | 27 1186.21/1186.53 c 1107s | 23 | 2410109 | 2303038 | 9554 557 | 11 | 27 1188.20/1188.58 c 1109s | 23 | 2412326 | 2305138 | 9554 557 | 11 | 27 1190.30/1190.62 c 1111s | 23 | 2414713 | 2307238 | 9554 558 | 11 | 27 1192.30/1192.67 c 1113s | 23 | 2417109 | 2309438 | 9554 558 | 11 | 27 1194.31/1194.68 c 1115s | 23 | 2419676 | 2311938 | 9554 559 | 11 | 27 1196.40/1196.78 c 1117s | 23 | 2422370 | 2314438 | 9554 559 | 11 | 27 1198.40/1198.79 c 1119s | 23 | 2424185 | 2316138 | 9554 559 | 11 | 27 1200.50/1200.82 c 1122s | 23 | 2425734 | 2317538 | 9554 560 | 11 | 27 1202.50/1202.86 c 1124s | 23 | 2428112 | 2319838 | 9554 560 | 11 | 27 1204.60/1204.93 c 1126s | 23 | 2430254 | 2321838 | 9554 560 | 11 | 27 1206.70/1207.00 c 1128s | 23 | 2432950 | 2324438 | 9554 561 | 11 | 27 1208.70/1209.09 c 1130s | 23 | 2435631 | 2327038 | 9554 562 | 11 | 27 1210.80/1211.15 c 1132s | 23 | 2437400 | 2328638 | 9554 562 | 11 | 27 1212.89/1213.20 c 1134s | 23 | 2439815 | 2330938 | 9554 562 | 11 | 27 1214.89/1215.21 c 1136s | 23 | 2442376 | 2333338 | 9554 563 | 11 | 27 1216.89/1217.26 c 1138s | 23 | 2445598 | 2336438 | 9554 563 | 11 | 27 1218.89/1219.30 c 1140s | 23 | 2447804 | 2338538 | 9554 564 | 11 | 27 1220.99/1221.32 c 1142s | 23 | 2449771 | 2340238 | 9554 564 | 11 | 27 1223.09/1223.45 c 1144s | 23 | 2452038 | 2342238 | 9554 564 | 11 | 27 1225.20/1225.54 c 1146s | 23 | 2454705 | 2344738 | 9554 565 | 11 | 27 1227.19/1227.60 c 1148s | 23 | 2457605 | 2347238 | 9554 565 | 11 | 27 1229.28/1229.62 c 1150s | 23 | 2458855 | 2348438 | 9554 566 | 11 | 27 1231.28/1231.64 c 1152s | 23 | 2460379 | 2349738 | 9554 566 | 11 | 27 1233.28/1233.65 c 1154s | 23 | 2462459 | 2351638 | 9554 566 | 11 | 27 1235.38/1235.71 c 1156s | 23 | 2464263 | 2353338 | 9554 567 | 11 | 27 1237.38/1237.73 c 1158s | 23 | 2466296 | 2355338 | 9554 567 | 11 | 27 1239.39/1239.76 c 1160s | 23 | 2468248 | 2357238 | 9554 567 | 11 | 27 1241.38/1241.79 c 1163s | 23 | 2470709 | 2359638 | 9554 568 | 11 | 27 1243.48/1243.85 c 1165s | 23 | 2474259 | 2363038 | 9554 568 | 11 | 27 1245.48/1245.89 c 1167s | 23 | 2478171 | 2366838 | 9554 569 | 11 | 27 1247.48/1247.90 c 1169s | 23 | 2482491 | 2371038 | 9554 570 | 11 | 27 1249.57/1249.90 c 1171s | 23 | 2486082 | 2374538 | 9554 571 | 11 | 27 1251.58/1251.91 c 1173s | 23 | 2489851 | 2378238 | 9554 571 | 11 | 27 1253.57/1253.91 c 1175s | 23 | 2493952 | 2382238 | 9554 572 | 11 | 27 1255.57/1255.94 c 1177s | 23 | 2498525 | 2386738 | 9554 573 | 11 | 27 1257.57/1257.98 c 1179s | 23 | 2502697 | 2390838 | 9554 574 | 11 | 27 1259.77/1260.12 c 1181s | 23 | 2505449 | 2393538 | 9554 574 | 11 | 27 1261.76/1262.19 c 1183s | 23 | 2507110 | 2394938 | 9554 575 | 11 | 27 1263.86/1264.24 c 1185s | 23 | 2509994 | 2397738 | 9554 575 | 11 | 27 1265.87/1266.26 c 1187s | 23 | 2513803 | 2401438 | 9554 576 | 11 | 27 1267.97/1268.31 c 1189s | 23 | 2516956 | 2404538 | 9554 577 | 11 | 27 1269.96/1270.35 c 1191s | 23 | 2521047 | 2408538 | 9554 577 | 11 | 27 1271.96/1272.38 c 1193s | 23 | 2524437 | 2411838 | 9554 578 | 11 | 27 1274.06/1274.43 c 1195s | 23 | 2527579 | 2414938 | 9554 579 | 11 | 27 1276.17/1276.51 c 1197s | 23 | 2531378 | 2418638 | 9554 579 | 11 | 27 1278.16/1278.54 c 1199s | 23 | 2534625 | 2421838 | 9554 580 | 11 | 27 1280.26/1280.61 c 1201s | 23 | 2537483 | 2424438 | 9554 580 | 11 | 27 1282.27/1282.63 c 1203s | 23 | 2540165 | 2427038 | 9554 581 | 11 | 27 1284.36/1284.75 c 1205s | 23 | 2543324 | 2430138 | 9554 582 | 11 | 27 1286.36/1286.78 c 1207s | 23 | 2546790 | 2433538 | 9554 582 | 11 | 27 1288.46/1288.80 c 1210s | 23 | 2550272 | 2436938 | 9554 583 | 11 | 27 1290.46/1290.82 c 1212s | 23 | 2553420 | 2440038 | 9554 583 | 11 | 27 1292.46/1292.83 c 1214s | 23 | 2556167 | 2442738 | 9554 584 | 11 | 27 1294.47/1294.86 c 1216s | 23 | 2559438 | 2445938 | 9554 585 | 11 | 27 1296.46/1296.87 c 1218s | 23 | 2563303 | 2449738 | 9554 585 | 11 | 27 1298.55/1298.99 c 1220s | 23 | 2566657 | 2452938 | 9554 586 | 11 | 27 1300.65/1301.08 c 1222s | 23 | 2568794 | 2454738 | 9554 586 | 11 | 27 1302.75/1303.13 c 1224s | 23 | 2571344 | 2457138 | 9554 587 | 11 | 27 1304.75/1305.13 c 1226s | 23 | 2573592 | 2459138 | 9554 587 | 11 | 27 1306.85/1307.23 c 1228s | 23 | 2576134 | 2461538 | 9554 588 | 11 | 27 1308.85/1309.24 c 1230s | 23 | 2578508 | 2463638 | 9554 588 | 11 | 27 1310.96/1311.34 c 1232s | 23 | 2580869 | 2465938 | 9554 588 | 11 | 27 1312.95/1313.34 c 1234s | 23 | 2583257 | 2468238 | 9554 589 | 11 | 27 1315.15/1315.51 c 1236s | 23 | 2584307 | 2469238 | 9554 589 | 11 | 27 1317.15/1317.52 c 1238s | 23 | 2586703 | 2471538 | 9554 590 | 11 | 27 1319.14/1319.54 c 1240s | 23 | 2589750 | 2474538 | 9554 590 | 11 | 27 1321.14/1321.56 c 1242s | 23 | 2592297 | 2477038 | 9554 591 | 11 | 27 1323.24/1323.66 c 1244s | 23 | 2595579 | 2480138 | 9554 591 | 11 | 27 1325.44/1325.89 c 1247s | 23 | 2598560 | 2482838 | 9554 592 | 11 | 27 1327.64/1328.07 c 1249s | 23 | 2599649 | 2483738 | 9554 592 | 11 | 27 1329.65/1330.07 c 1251s | 23 | 2601202 | 2485038 | 9554 592 | 11 | 27 1331.64/1332.08 c 1253s | 23 | 2603621 | 2487338 | 9554 593 | 11 | 27 1333.74/1334.17 c 1255s | 23 | 2605765 | 2489338 | 9554 593 | 11 | 27 1335.74/1336.19 c 1257s | 23 | 2607805 | 2491338 | 9554 593 | 11 | 27 1337.84/1338.22 c 1259s | 23 | 2611668 | 2494838 | 9554 594 | 11 | 27 1339.94/1340.33 c 1261s | 23 | 2614073 | 2497138 | 9554 595 | 11 | 27 1342.04/1342.40 c 1263s | 23 | 2616559 | 2499538 | 9554 595 | 11 | 27 1344.04/1344.42 c 1265s | 23 | 2618618 | 2501538 | 9554 595 | 11 | 27 1346.04/1346.46 c 1267s | 23 | 2620632 | 2503438 | 9554 596 | 11 | 27 1348.13/1348.54 c 1269s | 23 | 2622987 | 2505738 | 9554 596 | 11 | 27 1350.13/1350.58 c 1271s | 23 | 2625023 | 2507738 | 9554 597 | 11 | 27 1352.23/1352.60 c 1273s | 23 | 2628031 | 2510638 | 9554 597 | 11 | 27 1354.23/1354.60 c 1275s | 23 | 2630520 | 2513038 | 9554 598 | 11 | 27 1356.23/1356.65 c 1277s | 23 | 2633836 | 2516238 | 9554 598 | 11 | 27 1358.23/1358.65 c 1279s | 23 | 2636902 | 2519238 | 9554 599 | 11 | 27 1360.23/1360.67 c 1281s | 23 | 2639374 | 2521638 | 9554 599 | 11 | 27 1362.32/1362.70 c 1283s | 23 | 2643060 | 2525238 | 9554 600 | 11 | 27 1364.32/1364.73 c 1285s | 23 | 2648006 | 2530038 | 9554 601 | 11 | 27 1366.42/1366.88 c 1288s | 23 | 2650173 | 2532138 | 9554 601 | 11 | 27 1368.52/1368.91 c 1290s | 23 | 2652959 | 2534738 | 9554 602 | 11 | 27 1370.52/1370.92 c 1292s | 23 | 2656805 | 2538438 | 9554 603 | 11 | 27 1372.52/1372.92 c 1294s | 23 | 2660000 | 2541438 | 9554 603 | 11 | 27 1374.52/1374.94 c 1296s | 23 | 2662831 | 2544138 | 9554 604 | 11 | 27 1376.52/1376.96 c 1298s | 23 | 2665891 | 2547038 | 9554 604 | 11 | 27 1378.52/1378.98 c 1300s | 23 | 2668563 | 2549438 | 9554 605 | 11 | 27 1380.72/1381.11 c 1302s | 23 | 2671720 | 2552338 | 9554 605 | 11 | 27 1382.72/1383.15 c 1304s | 23 | 2675618 | 2556138 | 9554 606 | 11 | 27 1384.72/1385.18 c 1306s | 23 | 2679203 | 2559538 | 9554 607 | 11 | 27 1386.92/1387.32 c 1308s | 23 | 2680356 | 2560638 | 9554 607 | 11 | 27 1388.92/1389.36 c 1310s | 23 | 2681804 | 2562038 | 9554 607 | 11 | 27 1390.91/1391.39 c 1312s | 23 | 2683343 | 2563538 | 9554 607 | 11 | 27 1393.01/1393.46 c 1314s | 23 | 2684979 | 2565038 | 9554 608 | 11 | 27 1395.01/1395.48 c 1316s | 23 | 2688230 | 2567938 | 9554 608 | 11 | 27 1397.11/1397.52 c 1318s | 23 | 2689912 | 2569438 | 9554 609 | 11 | 27 1399.11/1399.59 c 1320s | 23 | 2693932 | 2573238 | 9554 609 | 11 | 27 1401.21/1401.62 c 1322s | 23 | 2696518 | 2575438 | 9554 610 | 11 | 27 1403.21/1403.67 c 1324s | 23 | 2698411 | 2577138 | 9554 610 | 11 | 27 1405.31/1405.74 c 1326s | 23 | 2700302 | 2578938 | 9554 610 | 11 | 27 1407.31/1407.77 c 1328s | 23 | 2702278 | 2580838 | 9554 611 | 11 | 27 1409.40/1409.88 c 1331s | 23 | 2704160 | 2582638 | 9554 611 | 11 | 27 1411.50/1411.93 c 1333s | 23 | 2707105 | 2585438 | 9554 612 | 11 | 27 1413.60/1414.02 c 1335s | 23 | 2710305 | 2588438 | 9554 612 | 11 | 27 1415.60/1416.04 c 1337s | 23 | 2712964 | 2590938 | 9554 613 | 11 | 27 1417.61/1418.05 c 1339s | 23 | 2715803 | 2593738 | 9554 613 | 11 | 27 1419.60/1420.06 c 1341s | 23 | 2718208 | 2596038 | 9554 614 | 11 | 27 1421.69/1422.13 c 1343s | 23 | 2721482 | 2599138 | 9554 614 | 11 | 27 1423.69/1424.15 c 1345s | 23 | 2724468 | 2602038 | 9554 615 | 11 | 27 1425.79/1426.24 c 1347s | 23 | 2727061 | 2604538 | 9554 615 | 11 | 27 1427.79/1428.25 c 1349s | 23 | 2730442 | 2607838 | 9554 616 | 11 | 27 1429.89/1430.32 c 1351s | 23 | 2732491 | 2609738 | 9554 616 | 11 | 27 1431.99/1432.40 c 1353s | 23 | 2735041 | 2612138 | 9554 617 | 11 | 27 1434.00/1434.47 c 1355s | 23 | 2736698 | 2613638 | 9554 617 | 11 | 27 1435.99/1436.49 c 1357s | 23 | 2738656 | 2615438 | 9554 618 | 11 | 27 1438.09/1438.55 c 1359s | 23 | 2741318 | 2618038 | 9554 618 | 11 | 27 1440.09/1440.56 c 1361s | 23 | 2743072 | 2619538 | 9554 618 | 11 | 27 1442.08/1442.59 c 1363s | 23 | 2744667 | 2620838 | 9554 619 | 11 | 27 1444.18/1444.64 c 1365s | 23 | 2745585 | 2621738 | 9554 619 | 11 | 27 1446.38/1446.80 c 1368s | 23 | 2746721 | 2622738 | 9554 619 | 11 | 27 1448.39/1448.83 c 1370s | 23 | 2748849 | 2624538 | 9554 619 | 11 | 27 1450.38/1450.83 c 1372s | 23 | 2750897 | 2626538 | 9554 620 | 11 | 27 1452.48/1452.92 c 1374s | 23 | 2753018 | 2628638 | 9554 620 | 11 | 27 1454.48/1454.96 c 1376s | 23 | 2754858 | 2630438 | 9554 620 | 11 | 27 1456.48/1456.98 c 1378s | 23 | 2757247 | 2632738 | 9554 621 | 11 | 27 1458.57/1459.02 c 1380s | 23 | 2759461 | 2634738 | 9554 621 | 11 | 27 1460.57/1461.05 c 1382s | 23 | 2761720 | 2636938 | 9554 622 | 11 | 27 1462.58/1463.06 c 1384s | 23 | 2764501 | 2639638 | 9554 622 | 11 | 27 1464.67/1465.15 c 1386s | 23 | 2766553 | 2641638 | 9554 623 | 11 | 27 1466.87/1467.35 c 1388s | 23 | 2768126 | 2642938 | 9554 623 | 11 | 27 1469.07/1469.55 c 1390s | 23 | 2769713 | 2644338 | 9554 623 | 11 | 27 1471.27/1471.72 c 1392s | 23 | 2772108 | 2646438 | 9554 624 | 11 | 27 1473.27/1473.77 c 1394s | 23 | 2773838 | 2648038 | 9554 624 | 11 | 27 1475.37/1475.86 c 1397s | 23 | 2776072 | 2650238 | 9554 624 | 11 | 27 1477.37/1477.87 c 1399s | 23 | 2778225 | 2652338 | 9554 625 | 11 | 27 1479.46/1479.90 c 1401s | 23 | 2782616 | 2656638 | 9554 626 | 11 | 27 1481.46/1481.93 c 1403s | 23 | 2786481 | 2660438 | 9554 626 | 11 | 27 1483.47/1483.93 c 1405s | 23 | 2790139 | 2664038 | 9554 627 | 11 | 27 1485.46/1485.99 c 1407s | 23 | 2793114 | 2666938 | 9554 628 | 11 | 27 1487.56/1488.01 c 1409s | 23 | 2797647 | 2671338 | 9554 628 | 11 | 27 1489.56/1490.02 c 1411s | 23 | 2801034 | 2674638 | 9554 629 | 11 | 27 1491.76/1492.21 c 1413s | 23 | 2803071 | 2676538 | 9554 629 | 11 | 27 1493.76/1494.22 c 1415s | 23 | 2805326 | 2678638 | 9554 630 | 11 | 27 1495.76/1496.25 c 1417s | 23 | 2807875 | 2681138 | 9554 630 | 11 | 27 1497.76/1498.27 c 1419s | 23 | 2809831 | 2683038 | 9554 631 | 11 | 27 1499.86/1500.30 c 1421s | 23 | 2812776 | 2685938 | 9554 631 | 11 | 27 1501.86/1502.33 c 1423s | 23 | 2815786 | 2688838 | 9554 632 | 11 | 27 1503.86/1504.35 c 1425s | 23 | 2818835 | 2691838 | 9554 632 | 11 | 27 1505.86/1506.36 c 1427s | 23 | 2821457 | 2694438 | 9554 633 | 11 | 27 1507.85/1508.36 c 1429s | 23 | 2823982 | 2696938 | 9554 633 | 11 | 27 1509.85/1510.36 c 1431s | 23 | 2827431 | 2700338 | 9554 634 | 11 | 27 1511.85/1512.37 c 1433s | 23 | 2830288 | 2703138 | 9554 635 | 11 | 27 1513.84/1514.39 c 1435s | 23 | 2833477 | 2706238 | 9554 635 | 11 | 27 1515.94/1516.48 c 1437s | 23 | 2835058 | 2707738 | 9554 635 | 11 | 27 1518.04/1518.56 c 1439s | 23 | 2837465 | 2709938 | 9554 636 | 11 | 27 1520.14/1520.61 c 1441s | 23 | 2839336 | 2711738 | 9554 636 | 11 | 27 1522.14/1522.65 c 1443s | 23 | 2841912 | 2714138 | 9554 637 | 11 | 27 1524.25/1524.71 c 1445s | 23 | 2845317 | 2717438 | 9554 637 | 11 | 27 1526.24/1526.75 c 1447s | 23 | 2848367 | 2720438 | 9554 638 | 11 | 27 1528.34/1528.88 c 1450s | 23 | 2851334 | 2723338 | 9554 639 | 11 | 27 1530.44/1530.90 c 1452s | 23 | 2855013 | 2726938 | 9554 639 | 11 | 27 1532.44/1532.92 c 1454s | 23 | 2857191 | 2729038 | 9554 640 | 11 | 27 1534.44/1534.94 c 1456s | 23 | 2860234 | 2732038 | 9554 640 | 11 | 27 1536.44/1536.97 c 1458s | 23 | 2864233 | 2735938 | 9554 641 | 11 | 27 1538.44/1539.00 c 1460s | 23 | 2868641 | 2740238 | 9554 642 | 11 | 27 1540.54/1541.01 c 1462s | 23 | 2872206 | 2743738 | 9554 642 | 11 | 27 1542.63/1543.10 c 1464s | 23 | 2873669 | 2745138 | 9554 643 | 11 | 27 1544.63/1545.17 c 1466s | 23 | 2876929 | 2748338 | 9554 643 | 11 | 27 1546.73/1547.20 c 1468s | 23 | 2880188 | 2751538 | 9554 644 | 11 | 27 1548.73/1549.26 c 1470s | 23 | 2883147 | 2754438 | 9554 645 | 11 | 27 1550.83/1551.30 c 1472s | 23 | 2886416 | 2757638 | 9554 645 | 11 | 27 1552.84/1553.36 c 1474s | 23 | 2890269 | 2761238 | 9554 646 | 11 | 27 1555.13/1555.61 c 1476s | 23 | 2893570 | 2764438 | 9554 647 | 11 | 27 1557.14/1557.64 c 1478s | 23 | 2897018 | 2767838 | 9554 647 | 11 | 27 1559.13/1559.69 c 1480s | 23 | 2900274 | 2770938 | 9554 648 | 11 | 27 1561.24/1561.71 c 1482s | 23 | 2903569 | 2774138 | 9554 648 | 11 | 27 1563.24/1563.71 c 1484s | 23 | 2907356 | 2777838 | 9554 649 | 11 | 27 1565.24/1565.77 c 1486s | 23 | 2909601 | 2779938 | 9554 650 | 11 | 27 1567.34/1567.83 c 1489s | 23 | 2912881 | 2783138 | 9554 650 | 11 | 27 1569.35/1569.85 c 1491s | 23 | 2915885 | 2786038 | 9554 651 | 11 | 27 1571.34/1571.88 c 1493s | 23 | 2917981 | 2788038 | 9554 651 | 11 | 27 1573.44/1573.99 c 1495s | 23 | 2919752 | 2789738 | 9554 651 | 11 | 27 1575.54/1576.01 c 1497s | 23 | 2920693 | 2790638 | 9554 652 | 11 | 27 1577.54/1578.06 c 1499s | 23 | 2921855 | 2791738 | 9554 652 | 11 | 27 1579.64/1580.17 c 1501s | 23 | 2924461 | 2794138 | 9554 652 | 11 | 27 1581.74/1582.21 c 1503s | 23 | 2927141 | 2796738 | 9554 653 | 11 | 27 1583.74/1584.23 c 1505s | 23 | 2929747 | 2799038 | 9554 653 | 11 | 27 1585.84/1586.36 c 1507s | 23 | 2932283 | 2801438 | 9554 654 | 11 | 27 1587.94/1588.42 c 1509s | 23 | 2934683 | 2803538 | 9554 654 | 11 | 27 1589.94/1590.46 c 1511s | 23 | 2937265 | 2806038 | 9554 655 | 11 | 27 1591.94/1592.48 c 1513s | 23 | 2941290 | 2809838 | 9554 655 | 11 | 27 1593.93/1594.49 c 1515s | 23 | 2943595 | 2811938 | 9554 656 | 11 | 27 1596.03/1596.57 c 1517s | 23 | 2945675 | 2813938 | 9554 656 | 11 | 27 1598.13/1598.62 c 1519s | 23 | 2947712 | 2815938 | 9554 657 | 11 | 27 1600.14/1600.68 c 1521s | 23 | 2951078 | 2819238 | 9554 657 | 11 | 27 1602.13/1602.69 c 1523s | 23 | 2954200 | 2822338 | 9554 658 | 11 | 27 1604.23/1604.75 c 1525s | 23 | 2957570 | 2825638 | 9554 658 | 11 | 27 1606.33/1606.82 c 1528s | 23 | 2960199 | 2828138 | 9554 659 | 11 | 27 1608.33/1608.89 c 1530s | 23 | 2962189 | 2830038 | 9554 659 | 11 | 27 1610.43/1611.00 c 1532s | 23 | 2964487 | 2832238 | 9554 660 | 11 | 27 1612.53/1613.02 c 1534s | 23 | 2966366 | 2834038 | 9554 660 | 11 | 27 1614.53/1615.03 c 1536s | 23 | 2968406 | 2836038 | 9554 660 | 11 | 27 1616.54/1617.03 c 1538s | 23 | 2970337 | 2837938 | 9554 661 | 11 | 27 1618.63/1619.10 c 1540s | 23 | 2971971 | 2839538 | 9554 661 | 11 | 27 1620.63/1621.11 c 1542s | 23 | 2973457 | 2840838 | 9554 661 | 11 | 27 1622.63/1623.16 c 1544s | 23 | 2975937 | 2843138 | 9554 662 | 11 | 27 1624.63/1625.17 c 1546s | 23 | 2977994 | 2845138 | 9554 662 | 11 | 27 1626.73/1627.21 c 1548s | 23 | 2981078 | 2848038 | 9554 663 | 11 | 27 1628.73/1629.22 c 1550s | 23 | 2983194 | 2849938 | 9554 663 | 11 | 27 1630.73/1631.29 c 1552s | 23 | 2985363 | 2852038 | 9554 664 | 11 | 27 1632.83/1633.30 c 1554s | 23 | 2987153 | 2853638 | 9554 664 | 11 | 27 1635.03/1635.54 c 1556s | 23 | 2988901 | 2855238 | 9554 664 | 11 | 27 1637.03/1637.59 c 1558s | 23 | 2991673 | 2857838 | 9554 665 | 11 | 27 1639.12/1639.66 c 1560s | 23 | 2994395 | 2860438 | 9554 665 | 11 | 27 1641.22/1641.70 c 1562s | 23 | 2996696 | 2862638 | 9554 666 | 11 | 27 1643.22/1643.71 c 1564s | 23 | 3000004 | 2865838 | 9554 666 | 11 | 27 1645.32/1645.81 c 1567s | 23 | 3004139 | 2869738 | 9554 667 | 11 | 27 1647.33/1647.90 c 1569s | 23 | 3005282 | 2870838 | 9554 667 | 11 | 27 1649.42/1649.95 c 1571s | 23 | 3008768 | 2873838 | 9554 668 | 11 | 27 1651.42/1651.98 c 1573s | 23 | 3011595 | 2876438 | 9554 668 | 11 | 27 1653.42/1653.99 c 1575s | 23 | 3014869 | 2879138 | 9554 669 | 11 | 27 1655.52/1656.04 c 1577s | 23 | 3018029 | 2882038 | 9554 669 | 11 | 27 1657.52/1658.05 c 1579s | 23 | 3021536 | 2885438 | 9554 670 | 11 | 27 1659.53/1660.06 c 1581s | 23 | 3024067 | 2887838 | 9554 671 | 11 | 27 1661.63/1662.18 c 1583s | 23 | 3026889 | 2890438 | 9554 671 | 11 | 27 1663.72/1664.23 c 1585s | 23 | 3028325 | 2891738 | 9554 671 | 11 | 27 1665.72/1666.29 c 1587s | 23 | 3030479 | 2893738 | 9554 672 | 11 | 27 1667.82/1668.32 c 1589s | 23 | 3032416 | 2895438 | 9554 672 | 11 | 27 1669.82/1670.35 c 1591s | 23 | 3034954 | 2897638 | 9554 672 | 11 | 27 1671.92/1672.45 c 1593s | 23 | 3038174 | 2900638 | 9554 673 | 11 | 27 1674.02/1674.54 c 1595s | 23 | 3040295 | 2902638 | 9554 673 | 11 | 27 1676.03/1676.57 c 1597s | 23 | 3041996 | 2904238 | 9554 674 | 11 | 27 1678.12/1678.65 c 1599s | 23 | 3044555 | 2906338 | 9554 674 | 11 | 27 1680.22/1680.79 c 1601s | 23 | 3046041 | 2907738 | 9554 674 | 11 | 27 1682.32/1682.84 c 1604s | 23 | 3047365 | 2909038 | 9554 675 | 11 | 27 1684.42/1684.93 c 1606s | 23 | 3049155 | 2910738 | 9554 675 | 11 | 27 1686.42/1686.94 c 1608s | 23 | 3052283 | 2913538 | 9554 676 | 11 | 27 1688.52/1689.00 c 1610s | 23 | 3056120 | 2916638 | 9554 676 | 11 | 27 1690.52/1691.03 c 1612s | 23 | 3059110 | 2919138 | 9554 677 | 11 | 27 1692.52/1693.04 c 1614s | 23 | 3061488 | 2921138 | 9554 677 | 11 | 27 1694.52/1695.08 c 1616s | 23 | 3064253 | 2923738 | 9554 678 | 11 | 27 1696.62/1697.10 c 1618s | 23 | 3067174 | 2926438 | 9554 678 | 11 | 27 1698.61/1699.12 c 1620s | 23 | 3069364 | 2928538 | 9554 679 | 11 | 27 1700.71/1701.20 c 1622s | 23 | 3071881 | 2931038 | 9554 679 | 11 | 27 1702.71/1703.23 c 1624s | 23 | 3076162 | 2935038 | 9554 680 | 11 | 27 1704.71/1705.25 c 1626s | 23 | 3081212 | 2939538 | 9554 681 | 11 | 27 1706.72/1707.28 c 1628s | 23 | 3086027 | 2943638 | 9554 681 | 11 | 27 1708.81/1709.31 c 1630s | 23 | 3089664 | 2946538 | 9554 682 | 11 | 27 1710.81/1711.34 c 1632s | 23 | 3094324 | 2950838 | 9554 683 | 11 | 27 1712.81/1713.38 c 1634s | 23 | 3098223 | 2954538 | 9554 684 | 11 | 27 1714.91/1715.48 c 1636s | 23 | 3100483 | 2956638 | 9554 684 | 11 | 27 1717.01/1717.54 c 1638s | 23 | 3102499 | 2958438 | 9554 684 | 11 | 27 1719.01/1719.54 c 1640s | 23 | 3105182 | 2961038 | 9554 685 | 11 | 27 1721.02/1721.54 c 1642s | 23 | 3107527 | 2963338 | 9554 685 | 11 | 27 1723.01/1723.59 c 1644s | 23 | 3109681 | 2965338 | 9554 686 | 11 | 27 1725.21/1725.78 c 1646s | 23 | 3111646 | 2967138 | 9554 686 | 11 | 27 1727.31/1727.83 c 1649s | 23 | 3114023 | 2969238 | 9554 686 | 11 | 27 1729.31/1729.84 c 1651s | 23 | 3115869 | 2970838 | 9554 687 | 11 | 27 1731.41/1731.94 c 1653s | 23 | 3118282 | 2973138 | 9554 687 | 11 | 27 1733.41/1733.98 c 1655s | 23 | 3120425 | 2975138 | 9554 688 | 11 | 27 1735.51/1736.01 c 1657s | 23 | 3122676 | 2977338 | 9554 688 | 11 | 27 1737.51/1738.07 c 1659s | 23 | 3125031 | 2979638 | 9554 688 | 11 | 27 1739.61/1740.14 c 1661s | 23 | 3127273 | 2981738 | 9554 689 | 11 | 27 1741.61/1742.17 c 1663s | 23 | 3129271 | 2983238 | 9554 689 | 11 | 27 1743.70/1744.24 c 1665s | 23 | 3133681 | 2987238 | 9554 690 | 11 | 27 1745.70/1746.27 c 1667s | 23 | 3137469 | 2990738 | 9554 691 | 11 | 27 1747.80/1748.33 c 1669s | 23 | 3140829 | 2993738 | 9554 691 | 11 | 27 1749.80/1750.33 c 1671s | 23 | 3144016 | 2996338 | 9554 692 | 11 | 27 1751.81/1752.33 c 1673s | 23 | 3147363 | 2999238 | 9554 692 | 11 | 27 1753.80/1754.34 c 1675s | 23 | 3150899 | 3002338 | 9554 693 | 11 | 27 1755.80/1756.35 c 1677s | 23 | 3155553 | 3006438 | 9554 694 | 11 | 27 1757.80/1758.36 c 1679s | 23 | 3160779 | 3010938 | 9554 695 | 11 | 27 1759.90/1760.42 c 1681s | 23 | 3165076 | 3014838 | 9554 695 | 11 | 27 1761.90/1762.42 c 1683s | 23 | 3170716 | 3020038 | 9554 696 | 11 | 27 1763.91/1764.47 c 1685s | 23 | 3175404 | 3024238 | 9554 697 | 11 | 27 1766.00/1766.50 c 1687s | 23 | 3180104 | 3028638 | 9554 698 | 11 | 27 1768.01/1768.50 c 1689s | 23 | 3184930 | 3032938 | 9554 699 | 11 | 27 1770.01/1770.54 c 1691s | 23 | 3189287 | 3036738 | 9554 700 | 11 | 27 1772.01/1772.56 c 1693s | 23 | 3193776 | 3040838 | 9554 700 | 11 | 27 1774.11/1774.62 c 1695s | 23 | 3198603 | 3045138 | 9554 701 | 11 | 27 1776.11/1776.68 c 1697s | 23 | 3202929 | 3049038 | 9554 702 | 11 | 27 1778.21/1778.71 c 1699s | 23 | 3207177 | 3052838 | 9554 703 | 11 | 27 1780.21/1780.77 c 1701s | 23 | 3211945 | 3057138 | 9554 704 | 11 | 27 1782.21/1782.78 c 1703s | 23 | 3216853 | 3061538 | 9554 704 | 11 | 27 1784.30/1784.81 c 1706s | 23 | 3221036 | 3065438 | 9554 705 | 11 | 27 1786.40/1786.90 c 1708s | 23 | 3224168 | 3068038 | 9554 706 | 11 | 27 1788.40/1788.98 c 1710s | 23 | 3226989 | 3070538 | 9554 706 | 11 | 27 1790.50/1791.03 c 1712s | 23 | 3230776 | 3073838 | 9554 707 | 11 | 27 1792.51/1793.05 c 1714s | 23 | 3234348 | 3076738 | 9554 707 | 11 | 27 1794.50/1795.07 c 1716s | 23 | 3238290 | 3080338 | 9554 708 | 11 | 27 1796.50/1797.07 c 1718s | 23 | 3242288 | 3083638 | 9554 709 | 11 | 27 1798.50/1799.09 c 1720s | 23 | 3246003 | 3086738 | 9554 709 | 11 | 27
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4106145-1466266561/watcher-4106145-1466266561 -o /tmp/evaluation-result-4106145-1466266561/solver-4106145-1466266561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106145-1466266561.opb pid=21427 running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.04 1.18 1.45 3/174 21431 /proc/meminfo: memFree=30014484/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=787900 CPUtime=0 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 2950 0 0 0 0 0 0 0 20 0 4 0 28702017 806809600 2799 33554432000 4194304 16246674 140733623687904 140733623686840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 197487 2810 441 2943 0 194381 0 [pid=21431/tid=21435] ppid=21427 vsize=810428 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 829878272 2890 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=815548 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 835121152 2910 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=820668 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28702018 840364032 2927 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100168 s] /proc/loadavg: 1.04 1.18 1.45 3/174 21431 /proc/meminfo: memFree=30014484/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 22569 0 0 0 6 3 0 0 20 0 4 0 28702017 1247350784 22407 33554432000 4194304 16246674 140733623687904 140733623686840 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 304529 22419 758 2943 0 301423 0 [pid=21431/tid=21435] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 22424 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 22428 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 22432 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200501 s] /proc/loadavg: 1.04 1.18 1.45 3/174 21431 /proc/meminfo: memFree=30014484/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 39771 0 0 0 13 6 0 0 20 0 4 0 28702017 1247350784 39608 33554432000 4194304 16246674 140733623687904 140733623686840 6843107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 304529 39610 758 2943 0 301423 0 [pid=21431/tid=21435] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 39614 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 39618 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 39625 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300471 s] /proc/loadavg: 1.04 1.18 1.45 3/174 21431 /proc/meminfo: memFree=30014484/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 56567 0 0 0 20 9 0 0 20 0 4 0 28702017 1247350784 56404 33554432000 4194304 16246674 140733623687904 140733623686840 5665836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 304529 56409 758 2943 0 301423 0 [pid=21431/tid=21435] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 56411 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 56412 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 56416 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700392 s] /proc/loadavg: 1.04 1.18 1.45 3/174 21431 /proc/meminfo: memFree=30014484/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 126306 0 0 0 50 19 0 0 20 0 4 0 28702017 1247350784 126143 33554432000 4194304 16246674 140733623687904 140733623669824 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 304529 126147 765 2943 0 301423 0 [pid=21431/tid=21435] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 126150 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 126155 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28702018 1247350784 126160 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 1.04 1.18 1.45 3/185 21442 /proc/meminfo: memFree=28383168/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1222212 CPUtime=1.49 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 246514 0 0 0 113 36 0 0 20 0 4 0 28702017 1251545088 246328 33554432000 4194304 16246674 140733623687904 140733623687216 5717604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 305553 246328 832 2943 0 302447 0 [pid=21431/tid=21435] ppid=21427 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1251545088 246328 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1251545088 246328 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1222212 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1251545088 246328 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1222212 [startup+3.10041 s] /proc/loadavg: 1.04 1.18 1.45 3/185 21442 /proc/meminfo: memFree=27984748/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1302084 CPUtime=3.08 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 266363 0 0 0 270 38 0 0 20 0 4 0 28702017 1333334016 266177 33554432000 4194304 16246674 140733623687904 140733623669824 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 325521 266177 832 2943 0 322415 0 [pid=21431/tid=21435] ppid=21427 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1333334016 266177 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1333334016 266177 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1333334016 266177 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 1302084 [startup+6.30041 s] /proc/loadavg: 1.12 1.19 1.46 4/185 21442 /proc/meminfo: memFree=27874020/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1308228 CPUtime=6.28 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 267965 0 0 0 590 38 0 0 20 0 4 0 28702017 1339625472 267779 33554432000 4194304 16246674 140733623687904 140733623670904 6011936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 327057 267779 834 2943 0 323951 0 [pid=21431/tid=21435] ppid=21427 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1339625472 267779 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1339625472 267779 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1339625472 267779 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 1.19 1.21 1.46 3/185 21540 /proc/meminfo: memFree=27870540/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1309252 CPUtime=12.68 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 268392 0 0 0 1230 38 0 0 20 0 4 0 28702017 1340674048 268206 33554432000 4194304 16246674 140733623687904 140733623669824 13780624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 327313 268206 835 2943 0 324207 0 [pid=21431/tid=21435] ppid=21427 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1340674048 268206 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1340674048 268206 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1340674048 268206 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1309252 [startup+25.5005 s] /proc/loadavg: 1.37 1.25 1.47 4/185 21589 /proc/meminfo: memFree=27862992/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1318468 CPUtime=25.49 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 270697 0 0 0 2510 39 0 0 20 0 4 0 28702017 1350111232 270511 33554432000 4194304 16246674 140733623687904 140733623669824 5823101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 329617 270511 836 2943 0 326511 0 [pid=21431/tid=21435] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1318468 [startup+51.1005 s] /proc/loadavg: 1.64 1.32 1.48 3/185 21589 /proc/meminfo: memFree=27861368/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1318468 CPUtime=51.08 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 270697 0 0 0 5069 39 0 0 20 0 4 0 28702017 1350111232 270511 33554432000 4194304 16246674 140733623687904 140733623670904 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 329617 270511 836 2943 0 326511 0 [pid=21431/tid=21435] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1350111232 270511 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1318468 [startup+102.301 s] /proc/loadavg: 1.97 1.46 1.52 3/185 21590 /proc/meminfo: memFree=27855420/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1323588 CPUtime=102.28 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 271997 0 0 0 10188 40 0 0 20 0 4 0 28702017 1355354112 271811 33554432000 4194304 16246674 140733623687904 140733623669824 8224792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 330897 271811 856 2943 0 327791 0 [pid=21431/tid=21435] ppid=21427 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1355354112 271811 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1355354112 271811 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1323588 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1355354112 271811 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1323588 ################ # More data... # ################ /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275139 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.32 2.24 2.04 3/185 21865 /proc/meminfo: memFree=27826620/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1361.93 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275372 0 0 0 136145 48 0 0 20 0 4 0 28702017 1367937024 275140 33554432000 4194304 16246674 140733623687904 140733623669824 12875392 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275140 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1335876 [startup+1422.3 s] /proc/loadavg: 2.34 2.27 2.06 4/185 21866 /proc/meminfo: memFree=27826536/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1421.9 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275414 0 0 0 142141 49 0 0 20 0 4 0 28702017 1367937024 275140 33554432000 4194304 16246674 140733623687904 140733623669824 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275140 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275140 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1335876 [startup+1482.3 s] /proc/loadavg: 2.50 2.32 2.09 4/186 21871 /proc/meminfo: memFree=27825596/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1481.86 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275460 0 0 0 148137 49 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 5823520 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1335876 [startup+1542.31 s] /proc/loadavg: 2.41 2.32 2.10 3/185 21872 /proc/meminfo: memFree=27825992/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1541.84 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 154135 49 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.46 2.34 2.12 4/185 21873 /proc/meminfo: memFree=27824800/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1601.83 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 160133 50 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623670904 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1335876 [startup+1662.3 s] /proc/loadavg: 2.46 2.35 2.13 3/185 21874 /proc/meminfo: memFree=27824460/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1661.82 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 166132 50 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623687080 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1335876 [startup+1722.3 s] /proc/loadavg: 2.30 2.33 2.14 3/185 21875 /proc/meminfo: memFree=27824424/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1721.81 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 172131 50 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1335876 [startup+1782.3 s] /proc/loadavg: 2.30 2.33 2.15 4/185 21877 /proc/meminfo: memFree=27824712/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1781.81 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 178130 51 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1335876 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.42 2.35 2.16 3/185 21878 /proc/meminfo: memFree=27824308/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1800 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 179949 51 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1335876 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 21431 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.42 2.35 2.16 3/185 21878 /proc/meminfo: memFree=27824308/32872528 swapFree=1505436/1685308 [pid=21431] ppid=21427 vsize=1335876 CPUtime=1800 cores=0,2,4,6 /proc/21431/stat : 21431 (toysat) R 21427 21431 21389 0 -1 4202496 275479 0 0 0 179949 51 0 0 20 0 4 0 28702017 1367937024 275142 33554432000 4194304 16246674 140733623687904 140733623669824 12483286 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/21431/statm: 333969 275142 857 2943 0 330863 0 [pid=21431/tid=21435] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21435/stat : 21435 (toysat) S 21427 21431 21389 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607033945328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=21431/tid=21436] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21436/stat : 21436 (toysat) S 21427 21431 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607023455472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=21431/tid=21437] ppid=21427 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/21431/task/21437/stat : 21437 (toysat) S 21427 21431 21389 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28702018 1367937024 275142 33554432000 4194304 16246674 140733623687904 140607012981936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1335876 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.01 CPU user time (s): 1799.5 CPU system time (s): 0.510922 CPU usage (%): 99.9725 Max. virtual memory (cumulated for all children) (KiB): 1335876 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.5 system time used= 0.510922 maximum resident set size= 1100568 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275479 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= 422 involuntary context switches= 1847 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1452 second user time and 16.8964 second system time The end
Begin job on node135 at 2016-06-18 18:16:01 IDJOB=4106145 IDBENCH=47951 IDSOLVER=2542 FILE ID=node135/4106145-1466266561 RUNJOBID= node135-1466266561-21405 PBS_JOBID= 19918237 Free space on /tmp= 71700 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=421-P1=401-P2=149-P3=307-P4=521-P5=409-P6=79-P7=59-P8=127-P9=503-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106145-1466266561/watcher-4106145-1466266561 -o /tmp/evaluation-result-4106145-1466266561/solver-4106145-1466266561 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106145-1466266561.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c7fd9e5ff885ee342a28d015ab19e648 RANDOM SEED=400666965 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30015764 kB Buffers: 148964 kB Cached: 280160 kB SwapCached: 716 kB Active: 136476 kB Inactive: 295312 kB Active(anon): 4304 kB Inactive(anon): 1372 kB Active(file): 132172 kB Inactive(file): 293940 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 32620 kB Writeback: 0 kB AnonPages: 1687404 kB Mapped: 6940 kB Shmem: 0 kB Slab: 604420 kB SReclaimable: 48752 kB SUnreclaim: 555668 kB KernelStack: 1360 kB PageTables: 7780 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1780740 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 180224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node135 at 2016-06-18 18:46:02