Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.09 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
| MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
| 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 | 5 |
| Best CPU time to get the best result obtained on this benchmark | 11.9682 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| 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 | 100 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 3074 |
| Sum of products size (including duplicates) | 6148 |
| Number of different products | 3074 |
| Sum of products size | 6148 |
0.00/0.00 c 2016-06-07T02:01:37+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-4080120-1465257697.opb"] 0.00/0.01 c use --random-gen="4075044469 1407774556 2083183781 2992206132 164114569 4146530703 2212461561 1696599575 1772296288 1576065851 3313858946 4156295096 800795625 1252323198 3448021115 2386852651 3520832736 2583149645 2697671308 2332370913 941899662 148693915 1642854703 2205146348 1929232737 3205603347 543254125 535402807 695462421 2282349644 979929765 544649841 574093079 3175463575 3477442488 981808223 3772574355 3013436023 265311676 1997174998 3211957208 1628443423 2101595878 1876065625 3938801965 3267041300 1292803825 3355839259 3476451685 2574426521 1257540511 2094227435 4226786580 1594556062 427651326 4002787840 224985945 1699635566 1339111538 2833373576 3579906976 520098907 1724733790 2732886211 365812936 4271118181 998501611 733773266 3511914120 81473415 3650731107 245611068 2981543800 820983264 273936619 486432150 3575018843 3005464094 4237629196 658305549 835687785 2811324311 4014793143 3733342802 4082795914 3358694754 3649963199 1405990112 2738828602 686131777 1846619403 2868311605 3038951168 1347404189 1545980351 3896132545 2091268448 3672313874 3135837344 1080404175 102796292 4195379418 2458041175 1416815091 1962117185 2959889318 3483310401 2367298572 414884240 1006817913 3663573268 1443841624 3494211622 282175213 2202572526 4291702857 3960494692 787211768 2902033764 3113704236 3520251974 1909026056 396523387 963834578 4268392073 569978707 1392087849 4290067366 886917598 3231734292 4034630001 4100829735 3235897289 2414047895 3496455000 2532257702 427955942 769116206 1824765987 611400929 1083524913 765188129 3283323928 3929393558 4228324297 2220816345 3088536532 1252448735 2559347051 2681395268 4210593694 4214175227 3240962850 389086186 3257757046 2585305399 4008269141 882848817 3888437147 4204438596 4040287071 2427215133 4029393525 1357592966 3861081836 665954495 2709410292 1302995937 1161913933 2746123369 3012310765 2304175733 882739463 3741907775 958997304 738781619 3005361588 2218180093 2374796771 2483979442 1672949718 4092356746 1966602142 3843818445 593054186 3569974918 4267507741 3633790434 669886240 2355937553 4199138393 355675048 3352058227 417799403 1125971233 180680522 1980230994 513948003 1145172828 186933641 329101192 2199555648 2386081728 1482323987 1956948709 1830878349 3516678795 977431739 1897548399 1223225815 2010135645 4203262102 37899648 1070486802 4110868829 3954896381 3624373326 2504071394 530904110 3077671317 744261206 4085922463 2400858355 2586539155 3836743419 829245271 683219799 2062094204 1752535350 2542656351 509037971 1821465474 2913247772 686231897 752071387 2297889207 4258557465 3951903468 3804280704 787360104 2200750636 1627296228 571888400 4125953031 798762890 1413979224 197822852 3407378669 3059828601 2650417241 2181908364 3985757321 283244346 1065385324 4172858588 2595214785 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 100 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 3140 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 265 | 0 | 3140 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.009s 0.00/0.09 c #wall_clock_time = 0.009s 0.00/0.09 c #decision = 265 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 o 90 0.00/0.09 c BCD2: updating upper bound: 100 -> 89 0.00/0.09 c BCD2: 0 <= obj <= 89 0.00/0.09 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 3140 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 90 | 0 | 3140 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.008s 0.00/0.09 c #wall_clock_time = 0.008s 0.00/0.09 c #decision = 90 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 26: cost of the new core is >=1 0.00/0.09 c lower bound updated to 1 0.00/0.09 c BCD2: 1 <= obj <= 89 0.00/0.09 c BCD2: #cores=1, #unrelaxed=74, #relaxed=26, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.08/0.11 c 0.0s | 0 | 0 | 0 | 3140 0 | 0 | 0 0.08/0.11 c 0.0s | 0 | 533 | 0 | 3140 0 | 0 | 0 0.08/0.11 c #cpu_time = 0.005s 0.08/0.11 c #wall_clock_time = 0.005s 0.08/0.11 c #decision = 533 0.08/0.11 c #random_decision = 1 0.08/0.11 c #conflict = 0 0.08/0.11 c #restart = 0 0.08/0.11 o 15 0.08/0.11 c BCD2: updating upper bound: 89 -> 14 0.08/0.12 c BCD2: 1 <= obj <= 14 0.08/0.12 c BCD2: #cores=1, #unrelaxed=74, #relaxed=26, #hardened=0 0.08/0.12 c BCD2: #sat=2 #unsat=2 bias=2/4 0.08/0.12 c Solving starts ... 0.08/0.12 c ============================[ Search Statistics ]============================ 0.08/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.12 c | | | | Limit GC | Var | Constra 0.08/0.12 c ============================================================================= 0.08/0.12 c 0.0s | 0 | 0 | 0 | 3140 0 | 0 | 1 0.08/0.14 c 0.0s | 0 | 379 | 50 | 3140 0 | 0 | 1 0.08/0.14 c #cpu_time = 0.023s 0.08/0.14 c #wall_clock_time = 0.023s 0.08/0.14 c #decision = 379 0.08/0.14 c #random_decision = 3 0.08/0.14 c #conflict = 50 0.08/0.14 c #restart = 0 0.08/0.14 o 8 0.08/0.14 c BCD2: updating upper bound: 14 -> 7 0.08/0.14 c BCD2: 1 <= obj <= 7 0.08/0.14 c BCD2: #cores=1, #unrelaxed=74, #relaxed=26, #hardened=0 0.08/0.14 c BCD2: #sat=3 #unsat=2 bias=2/5 0.08/0.14 c Solving starts ... 0.08/0.14 c ============================[ Search Statistics ]============================ 0.08/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.08/0.14 c | | | | Limit GC | Var | Constra 0.08/0.14 c ============================================================================= 0.08/0.14 c 0.0s | 0 | 0 | 0 | 3140 0 | 0 | 2 0.19/0.20 c 0.1s | 1 | 213 | 100 | 3455 0 | 0 | 2 0.19/0.25 c 0.1s | 1 | 339 | 142 | 3455 0 | 0 | 2 0.19/0.25 c #cpu_time = 0.109s 0.19/0.25 c #wall_clock_time = 0.109s 0.19/0.25 c #decision = 339 0.19/0.25 c #random_decision = 0 0.19/0.25 c #conflict = 142 0.19/0.25 c #restart = 1 0.19/0.25 c BCD2: relaxing 74 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.19/0.25 c lower bound updated to 2 0.19/0.25 c BCD2: 2 <= obj <= 7 0.19/0.25 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.19/0.25 c BCD2: #sat=3 #unsat=3 bias=3/6 0.19/0.25 c Solving starts ... 0.19/0.25 c ============================[ Search Statistics ]============================ 0.19/0.25 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.25 c | | | | Limit GC | Var | Constra 0.19/0.25 c ============================================================================= 0.19/0.25 c 0.0s | 0 | 0 | 0 | 3455 0 | 3 | 2 0.29/0.38 c 0.1s | 1 | 776 | 100 | 3801 0 | 3 | 7 0.59/0.68 c 0.4s | 2 | 1453 | 250 | 3801 0 | 3 | 7 0.98/1.01 c 0.8s | 3 | 1899 | 475 | 4182 0 | 3 | 7 1.49/1.52 c 1.3s | 4 | 2605 | 813 | 4601 0 | 3 | 7 2.09/2.16 c 1.9s | 5 | 3672 | 1320 | 5062 0 | 3 | 7 2.99/3.08 c 2.8s | 6 | 5870 | 2081 | 5569 0 | 3 | 7 4.29/4.36 c 4.1s | 7 | 8735 | 3223 | 6126 0 | 3 | 7 6.39/6.44 c 6.2s | 7 | 12744 | 4923 | 6739 0 | 3 | 7 6.39/6.46 c 6.2s | 8 | 12760 | 4936 | 6739 0 | 3 | 7 8.39/8.46 c 8.2s | 8 | 16925 | 6736 | 6739 0 | 3 | 7 9.19/9.30 c 9.0s | 9 | 18616 | 7506 | 7413 0 | 3 | 7 11.39/11.41 c 11.2s | 9 | 22920 | 9206 | 7413 1 | 3 | 7 13.38/13.47 c 13.2s | 9 | 26283 | 10806 | 7413 1 | 3 | 7 14.08/14.16 c 13.9s | 10 | 27376 | 11361 | 8155 1 | 3 | 7 16.08/16.20 c 15.9s | 10 | 30569 | 12861 | 8155 2 | 3 | 7 18.18/18.23 c 18.0s | 10 | 33982 | 14361 | 8155 2 | 3 | 7 20.18/20.24 c 20.0s | 10 | 37360 | 15961 | 8155 2 | 3 | 7 21.88/21.95 c 21.7s | 11 | 39498 | 17144 | 8971 3 | 3 | 7 23.98/24.07 c 23.8s | 11 | 43068 | 18744 | 8971 3 | 3 | 7 26.08/26.14 c 25.9s | 11 | 46530 | 20344 | 8971 3 | 3 | 7 28.19/28.26 c 28.0s | 11 | 49722 | 21844 | 8971 4 | 3 | 7 30.29/30.32 c 30.1s | 11 | 53238 | 23544 | 8971 4 | 3 | 7 32.39/32.42 c 32.2s | 11 | 56483 | 25044 | 8971 4 | 3 | 7 33.39/33.45 c 33.2s | 12 | 58106 | 25819 | 9869 4 | 3 | 7 35.49/35.50 c 35.3s | 12 | 61786 | 27419 | 9869 4 | 3 | 7 37.59/37.60 c 37.3s | 12 | 65329 | 29019 | 9869 5 | 3 | 7 39.59/39.63 c 39.4s | 12 | 68330 | 30419 | 9869 5 | 3 | 7 41.59/41.65 c 41.4s | 12 | 71796 | 32119 | 9869 5 | 3 | 7 43.59/43.67 c 43.4s | 12 | 75526 | 33719 | 9869 6 | 3 | 7 45.69/45.74 c 45.5s | 12 | 79506 | 35419 | 9869 6 | 3 | 7 47.78/47.81 c 47.6s | 12 | 82978 | 37119 | 9869 6 | 3 | 7 49.78/49.84 c 49.6s | 12 | 86380 | 38719 | 10856 7 | 3 | 7 49.88/50.00 c 49.7s | 13 | 86511 | 38832 | 10856 7 | 3 | 7 51.98/52.03 c 51.8s | 13 | 89792 | 40432 | 10856 7 | 3 | 7 54.08/54.13 c 53.9s | 13 | 93003 | 42032 | 10856 7 | 3 | 7 56.19/56.22 c 56.0s | 13 | 96330 | 43532 | 10856 7 | 3 | 7 58.18/58.26 c 58.0s | 13 | 100117 | 45132 | 10856 8 | 3 | 7 60.18/60.28 c 60.0s | 13 | 104103 | 46932 | 10856 8 | 3 | 7 62.18/62.28 c 62.0s | 13 | 107491 | 48432 | 10856 8 | 3 | 7 64.28/64.34 c 64.1s | 13 | 110233 | 49832 | 10856 8 | 3 | 7 66.38/66.47 c 66.2s | 13 | 114179 | 51632 | 10856 9 | 3 | 7 68.48/68.55 c 68.3s | 13 | 117575 | 53132 | 10856 9 | 3 | 7 70.48/70.58 c 70.3s | 13 | 120451 | 54632 | 10856 9 | 3 | 7 72.48/72.58 c 72.3s | 13 | 123488 | 56032 | 10856 10 | 3 | 7 74.57/74.63 c 74.4s | 13 | 127288 | 57832 | 11942 10 | 3 | 7 75.17/75.25 c 75.0s | 14 | 128532 | 58352 | 11942 10 | 3 | 7 77.17/77.28 c 77.0s | 14 | 131705 | 59852 | 11942 10 | 3 | 7 79.28/79.36 c 79.1s | 14 | 134630 | 61252 | 11942 10 | 3 | 7 81.38/81.48 c 81.2s | 14 | 137869 | 62852 | 11942 11 | 3 | 7 83.47/83.50 c 83.3s | 14 | 141068 | 64352 | 11942 11 | 3 | 7 85.47/85.55 c 85.3s | 14 | 143765 | 65652 | 11942 11 | 3 | 7 87.56/87.60 c 87.3s | 14 | 146790 | 67152 | 11942 11 | 3 | 7 89.66/89.71 c 89.5s | 14 | 149332 | 68552 | 11942 12 | 3 | 7 91.66/91.75 c 91.5s | 14 | 152991 | 70252 | 11942 12 | 3 | 7 93.76/93.80 c 93.5s | 14 | 155910 | 71752 | 11942 12 | 3 | 7 95.77/95.86 c 95.6s | 14 | 158711 | 73152 | 11942 12 | 3 | 7 97.75/97.88 c 97.6s | 14 | 162189 | 74752 | 11942 12 | 3 | 7 99.95/100.01 c 99.8s | 14 | 165357 | 76252 | 11942 13 | 3 | 7 102.05/102.11 c 101s | 14 | 169194 | 77852 | 11942 13 | 3 | 7 104.05/104.12 c 103s | 14 | 172455 | 79452 | 11942 13 | 3 | 7 106.15/106.20 c 105s | 14 | 175835 | 81052 | 11942 13 | 3 | 7 108.15/108.30 c 108s | 14 | 179475 | 82752 | 11942 14 | 3 | 7 110.25/110.36 c 110s | 14 | 182760 | 84352 | 11942 14 | 3 | 7 112.35/112.44 c 112s | 14 | 186431 | 85852 | 11942 14 | 3 | 7 114.45/114.53 c 114s | 14 | 190224 | 87552 | 13137 14 | 3 | 7 114.55/114.64 c 114s | 15 | 190378 | 87632 | 13137 14 | 3 | 7 116.75/116.80 c 116s | 15 | 193241 | 88832 | 13137 15 | 3 | 7 118.65/118.80 c 118s | 15 | 196996 | 90532 | 13137 15 | 3 | 7 120.85/120.91 c 120s | 15 | 199899 | 92032 | 13137 15 | 3 | 7 122.85/122.93 c 122s | 15 | 203029 | 93532 | 13137 15 | 3 | 7 124.85/124.97 c 124s | 15 | 206292 | 95032 | 13137 15 | 3 | 7 126.94/127.00 c 126s | 15 | 208717 | 96332 | 13137 16 | 3 | 7 128.94/129.03 c 128s | 15 | 212425 | 98032 | 13137 16 | 3 | 7 131.04/131.11 c 130s | 15 | 215884 | 99632 | 13137 16 | 3 | 7 133.05/133.16 c 132s | 15 | 218749 | 101032 | 13137 16 | 3 | 7 135.14/135.28 c 135s | 15 | 221959 | 102532 | 13137 16 | 3 | 7 137.23/137.39 c 137s | 15 | 224914 | 103932 | 13137 17 | 3 | 7 139.33/139.48 c 139s | 15 | 228310 | 105532 | 13137 17 | 3 | 7 141.43/141.56 c 141s | 15 | 231092 | 106932 | 13137 17 | 3 | 7 143.53/143.68 c 143s | 15 | 234835 | 108632 | 13137 17 | 3 | 7 145.63/145.77 c 145s | 15 | 237774 | 110132 | 13137 18 | 3 | 7 147.73/147.81 c 147s | 15 | 241785 | 111832 | 13137 18 | 3 | 7 149.83/149.91 c 149s | 15 | 245051 | 113432 | 13137 18 | 3 | 7 151.84/151.93 c 151s | 15 | 248131 | 114932 | 13137 18 | 3 | 7 153.83/153.99 c 153s | 15 | 251422 | 116432 | 13137 18 | 3 | 7 155.93/156.00 c 155s | 15 | 254636 | 117932 | 13137 19 | 3 | 7 157.93/158.01 c 157s | 15 | 258228 | 119532 | 13137 19 | 3 | 7 160.03/160.10 c 159s | 15 | 261320 | 121032 | 13137 19 | 3 | 7 162.03/162.14 c 161s | 15 | 265000 | 122632 | 13137 19 | 3 | 7 164.13/164.21 c 163s | 15 | 267944 | 124132 | 13137 20 | 3 | 7 166.23/166.31 c 166s | 15 | 271446 | 125732 | 13137 20 | 3 | 7 168.33/168.41 c 168s | 15 | 275080 | 127332 | 13137 20 | 3 | 7 170.32/170.49 c 170s | 15 | 277927 | 128732 | 13137 20 | 3 | 7 172.42/172.56 c 172s | 15 | 280790 | 130132 | 13137 20 | 3 | 7 174.52/174.68 c 174s | 15 | 283825 | 131532 | 14451 21 | 3 | 7 174.62/174.71 c 174s | 16 | 283842 | 131552 | 14451 21 | 3 | 7 176.62/176.80 c 176s | 16 | 285606 | 132352 | 14451 21 | 3 | 7 178.81/178.94 c 178s | 16 | 288270 | 133652 | 14451 21 | 3 | 7 180.91/181.00 c 180s | 16 | 291063 | 135052 | 14451 21 | 3 | 7 183.01/183.12 c 182s | 16 | 293861 | 136452 | 14451 21 | 3 | 7 185.01/185.16 c 184s | 16 | 296704 | 137752 | 14451 21 | 3 | 7 187.11/187.22 c 186s | 16 | 299576 | 138952 | 14451 21 | 3 | 7 189.21/189.34 c 189s | 16 | 302349 | 140252 | 14451 22 | 3 | 7 191.20/191.37 c 191s | 16 | 305537 | 141752 | 14451 22 | 3 | 7 193.30/193.48 c 193s | 16 | 308380 | 143152 | 14451 22 | 3 | 7 195.40/195.57 c 195s | 16 | 311879 | 144652 | 14451 22 | 3 | 7 197.49/197.62 c 197s | 16 | 314459 | 145852 | 14451 22 | 3 | 7 199.49/199.65 c 199s | 16 | 318298 | 147352 | 14451 23 | 3 | 7 201.49/201.68 c 201s | 16 | 321595 | 148952 | 14451 23 | 3 | 7 203.59/203.72 c 203s | 16 | 324892 | 150652 | 14451 23 | 3 | 7 205.70/205.83 c 205s | 16 | 328141 | 152352 | 14451 23 | 3 | 7 207.80/207.93 c 207s | 16 | 331168 | 153852 | 14451 23 | 3 | 7 209.79/209.98 c 209s | 16 | 334277 | 155152 | 14451 24 | 3 | 7 212.00/212.10 c 211s | 16 | 337516 | 156752 | 14451 24 | 3 | 7 214.10/214.21 c 213s | 16 | 340553 | 158352 | 14451 24 | 3 | 7 216.10/216.27 c 216s | 16 | 344151 | 159852 | 14451 24 | 3 | 7 218.09/218.29 c 218s | 16 | 347111 | 161252 | 14451 24 | 3 | 7 220.19/220.37 c 220s | 16 | 350166 | 162652 | 14451 24 | 3 | 7 222.29/222.46 c 222s | 16 | 353457 | 164352 | 14451 25 | 3 | 7 224.30/224.49 c 224s | 16 | 356583 | 165952 | 14451 25 | 3 | 7 226.39/226.54 c 226s | 16 | 358909 | 166952 | 14451 25 | 3 | 7 228.49/228.67 c 228s | 16 | 362288 | 168552 | 14451 25 | 3 | 7 230.59/230.76 c 230s | 16 | 365111 | 169952 | 14451 26 | 3 | 7 232.69/232.84 c 232s | 16 | 367838 | 171352 | 14451 26 | 3 | 7 234.69/234.87 c 234s | 16 | 370999 | 172852 | 14451 26 | 3 | 7 236.79/236.97 c 236s | 16 | 374368 | 174452 | 14451 26 | 3 | 7 238.78/238.99 c 238s | 16 | 376838 | 175752 | 14451 26 | 3 | 7 240.89/241.02 c 240s | 16 | 380007 | 177352 | 14451 26 | 3 | 7 242.99/243.12 c 242s | 16 | 383708 | 178952 | 14451 27 | 3 | 7 245.08/245.21 c 244s | 16 | 386661 | 180452 | 14451 27 | 3 | 7 247.18/247.33 c 247s | 16 | 389890 | 181952 | 14451 27 | 3 | 7 249.28/249.40 c 249s | 16 | 392816 | 183452 | 14451 27 | 3 | 7 251.38/251.53 c 251s | 16 | 395458 | 184852 | 14451 28 | 3 | 7 253.48/253.66 c 253s | 16 | 399213 | 186552 | 14451 28 | 3 | 7 255.58/255.73 c 255s | 16 | 402276 | 188052 | 14451 28 | 3 | 7 257.57/257.75 c 257s | 16 | 405329 | 189352 | 14451 28 | 3 | 7 259.58/259.77 c 259s | 16 | 409076 | 190852 | 14451 28 | 3 | 7 261.68/261.84 c 261s | 16 | 412123 | 192352 | 14451 28 | 3 | 7 263.77/263.93 c 263s | 16 | 415281 | 193852 | 14451 29 | 3 | 7 265.77/265.96 c 265s | 16 | 418154 | 195252 | 14451 29 | 3 | 7 267.77/267.98 c 267s | 16 | 421162 | 196652 | 15897 29 | 3 | 7 269.07/269.20 c 268s | 17 | 422758 | 197432 | 15897 29 | 3 | 7 271.07/271.25 c 271s | 17 | 425690 | 198832 | 15897 29 | 3 | 7 273.07/273.26 c 273s | 17 | 428123 | 200132 | 15897 29 | 3 | 7 275.07/275.30 c 275s | 17 | 431039 | 201532 | 15897 29 | 3 | 7 277.17/277.31 c 277s | 17 | 433816 | 202932 | 15897 30 | 3 | 7 279.27/279.42 c 279s | 17 | 436801 | 204332 | 15897 30 | 3 | 7 281.26/281.43 c 281s | 17 | 439670 | 205732 | 15897 30 | 3 | 7 283.26/283.49 c 283s | 17 | 442820 | 207232 | 15897 30 | 3 | 7 285.36/285.54 c 285s | 17 | 445596 | 208732 | 15897 30 | 3 | 7 287.46/287.61 c 287s | 17 | 448516 | 210132 | 15897 31 | 3 | 7 289.56/289.71 c 289s | 17 | 451966 | 211732 | 15897 31 | 3 | 7 291.66/291.80 c 291s | 17 | 455518 | 213432 | 15897 31 | 3 | 7 293.76/293.93 c 293s | 17 | 458889 | 215132 | 15897 31 | 3 | 7 295.77/295.99 c 295s | 17 | 462057 | 216632 | 15897 31 | 3 | 7 297.86/298.03 c 297s | 17 | 464905 | 218032 | 15897 31 | 3 | 7 299.86/300.04 c 299s | 17 | 467910 | 219432 | 15897 32 | 3 | 7 301.96/302.15 c 301s | 17 | 471351 | 221032 | 15897 32 | 3 | 7 303.96/304.15 c 303s | 17 | 473905 | 222432 | 15897 32 | 3 | 7 306.06/306.23 c 305s | 17 | 476738 | 223932 | 15897 32 | 3 | 7 308.15/308.35 c 308s | 17 | 479761 | 225332 | 15897 32 | 3 | 7 310.25/310.42 c 310s | 17 | 482471 | 226632 | 15897 32 | 3 | 7 312.26/312.43 c 312s | 17 | 485353 | 228032 | 15897 33 | 3 | 7 314.25/314.47 c 314s | 17 | 488383 | 229532 | 15897 33 | 3 | 7 316.25/316.48 c 316s | 17 | 491182 | 230932 | 15897 33 | 3 | 7 318.34/318.56 c 318s | 17 | 493906 | 232432 | 15897 33 | 3 | 7 320.54/320.70 c 320s | 17 | 496617 | 233832 | 15897 33 | 3 | 7 322.54/322.71 c 322s | 17 | 498823 | 235032 | 15897 33 | 3 | 7 324.54/324.76 c 324s | 17 | 501447 | 236332 | 15897 34 | 3 | 7 326.65/326.87 c 326s | 17 | 504675 | 237832 | 15897 34 | 3 | 7 328.75/328.95 c 328s | 17 | 507482 | 239232 | 15897 34 | 3 | 7 330.84/331.01 c 330s | 17 | 510291 | 240632 | 15897 34 | 3 | 7 332.84/333.06 c 332s | 17 | 512963 | 241932 | 15897 34 | 3 | 7 334.84/335.06 c 334s | 17 | 515944 | 243232 | 15897 34 | 3 | 7 336.84/337.07 c 336s | 17 | 518400 | 244432 | 15897 35 | 3 | 7 338.83/339.09 c 338s | 17 | 521051 | 245732 | 15897 35 | 3 | 7 340.94/341.17 c 340s | 17 | 523867 | 247132 | 15897 35 | 3 | 7 343.73/343.92 c 343s | 17 | 525872 | 248232 | 15897 35 | 3 | 7 345.83/346.01 c 345s | 17 | 528441 | 249532 | 15897 35 | 3 | 7 347.82/348.09 c 347s | 17 | 530970 | 250832 | 15897 35 | 3 | 7 350.02/350.28 c 350s | 17 | 533988 | 252232 | 15897 36 | 3 | 7 352.13/352.37 c 352s | 17 | 537053 | 253732 | 15897 36 | 3 | 7 354.23/354.47 c 354s | 17 | 539972 | 255232 | 15897 36 | 3 | 7 356.33/356.53 c 356s | 17 | 542634 | 256532 | 15897 36 | 3 | 7 358.32/358.55 c 358s | 17 | 545536 | 257932 | 15897 36 | 3 | 7 360.42/360.66 c 360s | 17 | 548378 | 259332 | 15897 36 | 3 | 7 362.62/362.83 c 362s | 17 | 551174 | 260632 | 15897 37 | 3 | 7 364.62/364.83 c 364s | 17 | 553899 | 262032 | 15897 37 | 3 | 7 366.62/366.86 c 366s | 17 | 556851 | 263432 | 15897 37 | 3 | 7 368.61/368.87 c 368s | 17 | 559614 | 264832 | 15897 37 | 3 | 7 370.71/370.97 c 370s | 17 | 563258 | 266332 | 15897 37 | 3 | 7 372.91/373.12 c 372s | 17 | 566552 | 267732 | 15897 37 | 3 | 7 374.92/375.20 c 374s | 17 | 569169 | 269032 | 15897 38 | 3 | 7 377.02/377.28 c 377s | 17 | 571781 | 270332 | 15897 38 | 3 | 7 379.11/379.38 c 379s | 17 | 575010 | 271832 | 15897 38 | 3 | 7 381.11/381.38 c 381s | 17 | 577886 | 273132 | 15897 38 | 3 | 7 383.21/383.41 c 383s | 17 | 580879 | 274532 | 15897 38 | 3 | 7 385.21/385.47 c 385s | 17 | 583637 | 275932 | 15897 38 | 3 | 7 387.20/387.49 c 387s | 17 | 586152 | 277132 | 15897 38 | 3 | 7 389.40/389.60 c 389s | 17 | 588841 | 278532 | 15897 39 | 3 | 7 391.51/391.71 c 391s | 17 | 591537 | 279932 | 15897 39 | 3 | 7 393.61/393.85 c 393s | 17 | 594039 | 281232 | 15897 39 | 3 | 7 395.70/395.92 c 395s | 17 | 596975 | 282732 | 15897 39 | 3 | 7 397.80/398.00 c 397s | 17 | 600073 | 284132 | 15897 39 | 3 | 7 399.90/400.12 c 399s | 17 | 603258 | 285532 | 15897 39 | 3 | 7 401.90/402.19 c 401s | 17 | 606596 | 287032 | 15897 40 | 3 | 7 404.00/404.25 c 404s | 17 | 609497 | 288432 | 15897 40 | 3 | 7 406.20/406.40 c 406s | 17 | 612913 | 290032 | 15897 40 | 3 | 7 408.19/408.41 c 408s | 17 | 615653 | 291432 | 15897 40 | 3 | 7 410.20/410.41 c 410s | 17 | 618638 | 292732 | 15897 40 | 3 | 7 412.30/412.52 c 412s | 17 | 621562 | 294132 | 17487 40 | 3 | 7 414.29/414.55 c 414s | 17 | 624461 | 295432 | 17487 41 | 3 | 7 415.49/415.74 c 415s | 18 | 625953 | 296252 | 17487 41 | 3 | 7 417.59/417.86 c 417s | 18 | 628486 | 297552 | 17487 41 | 3 | 7 419.59/419.86 c 419s | 18 | 631660 | 299052 | 17487 41 | 3 | 7 421.79/422.02 c 421s | 18 | 635820 | 300552 | 17487 41 | 3 | 7 423.89/424.11 c 423s | 18 | 638846 | 301852 | 17487 41 | 3 | 7 425.89/426.18 c 425s | 18 | 642170 | 303352 | 17487 41 | 3 | 7 427.98/428.29 c 428s | 18 | 645081 | 304752 | 17487 42 | 3 | 7 430.08/430.34 c 430s | 18 | 648178 | 306152 | 17487 42 | 3 | 7 432.09/432.38 c 432s | 18 | 651630 | 307752 | 17487 42 | 3 | 7 434.08/434.38 c 434s | 18 | 654452 | 309152 | 17487 42 | 3 | 7 436.18/436.48 c 436s | 18 | 657311 | 310552 | 17487 42 | 3 | 7 438.28/438.55 c 438s | 18 | 659475 | 311752 | 17487 42 | 3 | 7 440.38/440.65 c 440s | 18 | 662533 | 313052 | 17487 42 | 3 | 7 442.38/442.69 c 442s | 18 | 665265 | 314352 | 17487 43 | 3 | 7 444.48/444.77 c 444s | 18 | 668288 | 315752 | 17487 43 | 3 | 7 446.48/446.78 c 446s | 18 | 671011 | 317152 | 17487 43 | 3 | 7 448.58/448.83 c 448s | 18 | 673391 | 318452 | 17487 43 | 3 | 7 450.57/450.85 c 450s | 18 | 676577 | 319952 | 17487 43 | 3 | 7 452.58/452.86 c 452s | 18 | 679405 | 321252 | 17487 43 | 3 | 7 454.67/454.97 c 454s | 18 | 682197 | 322652 | 17487 43 | 3 | 7 456.67/456.99 c 456s | 18 | 685316 | 324052 | 17487 44 | 3 | 7 458.77/459.02 c 458s | 18 | 688331 | 325452 | 17487 44 | 3 | 7 460.78/461.07 c 460s | 18 | 691784 | 327052 | 17487 44 | 3 | 7 462.77/463.10 c 462s | 18 | 694054 | 328452 | 17487 44 | 3 | 7 464.87/465.15 c 464s | 18 | 696849 | 329752 | 17487 44 | 3 | 7 466.97/467.22 c 466s | 18 | 700196 | 331252 | 17487 44 | 3 | 7 469.07/469.31 c 469s | 18 | 703103 | 332552 | 17487 45 | 3 | 7 471.07/471.33 c 471s | 18 | 706469 | 334052 | 17487 45 | 3 | 7 473.07/473.39 c 473s | 18 | 709536 | 335552 | 17487 45 | 3 | 7 475.16/475.46 c 475s | 18 | 713283 | 337152 | 17487 45 | 3 | 7 477.27/477.56 c 477s | 18 | 716576 | 338652 | 17487 45 | 3 | 7 479.37/479.60 c 479s | 18 | 719628 | 340052 | 17487 45 | 3 | 7 481.46/481.75 c 481s | 18 | 722708 | 341452 | 17487 45 | 3 | 7 483.56/483.84 c 483s | 18 | 725579 | 342852 | 17487 46 | 3 | 7 485.56/485.88 c 485s | 18 | 728987 | 344552 | 17487 46 | 3 | 7 487.65/487.93 c 487s | 18 | 731913 | 346052 | 17487 46 | 3 | 7 489.65/489.95 c 489s | 18 | 735274 | 347552 | 17487 46 | 3 | 7 491.75/492.04 c 491s | 18 | 737960 | 348952 | 17487 46 | 3 | 7 493.85/494.17 c 493s | 18 | 741076 | 350352 | 17487 46 | 3 | 7 495.95/496.22 c 495s | 18 | 744356 | 351952 | 17487 47 | 3 | 7 498.05/498.33 c 498s | 18 | 747501 | 353552 | 17487 47 | 3 | 7 500.04/500.38 c 500s | 18 | 750767 | 355052 | 17487 47 | 3 | 7 502.14/502.46 c 502s | 18 | 753918 | 356552 | 17487 47 | 3 | 7 504.24/504.55 c 504s | 18 | 757535 | 358152 | 17487 47 | 3 | 7 506.24/506.59 c 506s | 18 | 760050 | 359452 | 17487 47 | 3 | 7 508.33/508.68 c 508s | 18 | 763381 | 360952 | 17487 48 | 3 | 7 510.43/510.77 c 510s | 18 | 767039 | 362652 | 17487 48 | 3 | 7 512.44/512.78 c 512s | 18 | 770469 | 364252 | 17487 48 | 3 | 7 514.54/514.86 c 514s | 18 | 774007 | 365952 | 17487 48 | 3 | 7 516.53/516.90 c 516s | 18 | 777439 | 367652 | 17487 48 | 3 | 7 518.63/518.97 c 518s | 18 | 781249 | 369252 | 17487 48 | 3 | 7 520.73/521.05 c 520s | 18 | 785076 | 370952 | 17487 49 | 3 | 7 522.83/523.12 c 522s | 18 | 789124 | 372852 | 17487 49 | 3 | 7 524.93/525.23 c 524s | 18 | 793413 | 374752 | 17487 49 | 3 | 7 527.02/527.33 c 527s | 18 | 797375 | 376752 | 17487 49 | 3 | 7 529.12/529.41 c 529s | 18 | 801409 | 378752 | 17487 49 | 3 | 7 531.32/531.60 c 531s | 18 | 803337 | 379652 | 17487 50 | 3 | 7 533.32/533.66 c 533s | 18 | 805254 | 380352 | 17487 50 | 3 | 7 535.42/535.71 c 535s | 18 | 808334 | 381852 | 17487 50 | 3 | 7 537.41/537.76 c 537s | 18 | 810930 | 383252 | 17487 50 | 3 | 7 539.51/539.86 c 539s | 18 | 813866 | 384652 | 17487 50 | 3 | 7 541.71/542.01 c 541s | 18 | 816958 | 386152 | 17487 50 | 3 | 7 543.71/544.03 c 543s | 18 | 819584 | 387452 | 17487 50 | 3 | 7 545.71/546.07 c 545s | 18 | 822048 | 388652 | 17487 51 | 3 | 7 547.92/548.20 c 547s | 18 | 825641 | 390252 | 17487 51 | 3 | 7 550.02/550.32 c 550s | 18 | 828507 | 391652 | 17487 51 | 3 | 7 552.12/552.44 c 552s | 18 | 831480 | 393152 | 17487 51 | 3 | 7 554.23/554.55 c 554s | 18 | 834848 | 394652 | 17487 51 | 3 | 7 556.33/556.69 c 556s | 18 | 837696 | 395952 | 17487 51 | 3 | 7 558.42/558.78 c 558s | 18 | 840735 | 397352 | 17487 52 | 3 | 7 560.52/560.85 c 560s | 18 | 843748 | 398752 | 17487 52 | 3 | 7 562.52/562.88 c 562s | 18 | 846528 | 400052 | 17487 52 | 3 | 7 564.72/565.00 c 564s | 18 | 849718 | 401552 | 17487 52 | 3 | 7 566.72/567.05 c 566s | 18 | 852619 | 402952 | 17487 52 | 3 | 7 568.72/569.07 c 568s | 18 | 855290 | 404252 | 17487 52 | 3 | 7 570.82/571.11 c 570s | 18 | 858665 | 405752 | 17487 52 | 3 | 7 572.82/573.20 c 572s | 18 | 861643 | 407152 | 17487 53 | 3 | 7 575.02/575.33 c 575s | 18 | 864725 | 408552 | 17487 53 | 3 | 7 577.01/577.37 c 577s | 18 | 868259 | 410052 | 17487 53 | 3 | 7 579.11/579.41 c 579s | 18 | 871277 | 411352 | 17487 53 | 3 | 7 581.21/581.54 c 581s | 18 | 874288 | 412752 | 17487 53 | 3 | 7 583.31/583.60 c 583s | 18 | 877181 | 414152 | 17487 53 | 3 | 7 585.31/585.67 c 585s | 18 | 879972 | 415652 | 17487 54 | 3 | 7 587.50/587.82 c 587s | 18 | 882684 | 417152 | 17487 54 | 3 | 7 589.50/589.82 c 589s | 18 | 885683 | 418652 | 17487 54 | 3 | 7 591.61/591.93 c 591s | 18 | 888674 | 420052 | 17487 54 | 3 | 7 593.71/594.07 c 593s | 18 | 892065 | 421552 | 17487 54 | 3 | 7 595.70/596.08 c 595s | 18 | 894848 | 422952 | 17487 54 | 3 | 7 597.89/598.22 c 597s | 18 | 897910 | 424452 | 17487 55 | 3 | 7 599.89/600.24 c 599s | 18 | 901263 | 426052 | 17487 55 | 3 | 7 601.99/602.33 c 602s | 18 | 904162 | 427452 | 17487 55 | 3 | 7 603.99/604.38 c 604s | 18 | 907332 | 428952 | 17487 55 | 3 | 7 605.99/606.39 c 606s | 18 | 910420 | 430452 | 17487 55 | 3 | 7 608.09/608.47 c 608s | 18 | 913375 | 431952 | 17487 55 | 3 | 7 610.19/610.55 c 610s | 18 | 916611 | 433352 | 17487 56 | 3 | 7 612.28/612.67 c 612s | 18 | 920195 | 434952 | 17487 56 | 3 | 7 614.38/614.76 c 614s | 18 | 923377 | 436652 | 17487 56 | 3 | 7 616.48/616.83 c 616s | 18 | 926712 | 438152 | 17487 56 | 3 | 7 618.58/618.97 c 618s | 18 | 930274 | 439852 | 17487 56 | 3 | 7 620.58/620.98 c 620s | 18 | 933419 | 441352 | 19236 56 | 3 | 7 622.68/623.04 c 622s | 18 | 936971 | 442952 | 19236 56 | 3 | 7 624.78/625.14 c 624s | 18 | 940031 | 444352 | 19236 57 | 3 | 7 624.98/625.31 c 625s | 19 | 940298 | 444482 | 19236 57 | 3 | 7 626.98/627.37 c 627s | 19 | 943712 | 446082 | 19236 57 | 3 | 7 629.07/629.45 c 629s | 19 | 947249 | 447782 | 19236 57 | 3 | 7 631.17/631.52 c 631s | 19 | 950998 | 449382 | 19236 57 | 3 | 7 633.17/633.53 c 633s | 19 | 954294 | 450882 | 19236 57 | 3 | 7 635.17/635.58 c 635s | 19 | 957383 | 452482 | 19236 57 | 3 | 7 637.17/637.58 c 637s | 19 | 960833 | 454082 | 19236 57 | 3 | 7 639.26/639.65 c 639s | 19 | 964406 | 455782 | 19236 58 | 3 | 7 641.36/641.75 c 641s | 19 | 968327 | 457782 | 19236 58 | 3 | 7 644.16/644.58 c 644s | 19 | 971244 | 459182 | 19236 58 | 3 | 7 646.26/646.61 c 646s | 19 | 972852 | 459782 | 19236 58 | 3 | 7 648.26/648.68 c 648s | 19 | 975176 | 460882 | 19236 58 | 3 | 7 650.46/650.81 c 650s | 19 | 978122 | 462382 | 19236 58 | 3 | 7 652.46/652.81 c 652s | 19 | 980864 | 463682 | 19236 58 | 3 | 7 654.56/654.94 c 654s | 19 | 983971 | 464982 | 19236 59 | 3 | 7 656.66/657.05 c 656s | 19 | 987383 | 466582 | 19236 59 | 3 | 7 658.67/659.08 c 658s | 19 | 990094 | 467982 | 19236 59 | 3 | 7 660.87/661.23 c 660s | 19 | 992775 | 469282 | 19236 59 | 3 | 7 662.86/663.25 c 662s | 19 | 995489 | 470482 | 19236 59 | 3 | 7 664.86/665.26 c 665s | 19 | 997899 | 471682 | 19236 59 | 3 | 7 666.96/667.38 c 667s | 19 | 1001057 | 473082 | 19236 59 | 3 | 7 668.96/669.39 c 669s | 19 | 1003413 | 474282 | 19236 59 | 3 | 7 671.16/671.53 c 671s | 19 | 1006492 | 475582 | 19236 60 | 3 | 7 673.15/673.56 c 673s | 19 | 1009221 | 476782 | 19236 60 | 3 | 7 675.16/675.58 c 675s | 19 | 1012502 | 478182 | 19236 60 | 3 | 7 677.15/677.59 c 677s | 19 | 1015607 | 479582 | 19236 60 | 3 | 7 679.25/679.64 c 679s | 19 | 1018249 | 480782 | 19236 60 | 3 | 7 681.35/681.71 c 681s | 19 | 1021435 | 482082 | 19236 60 | 3 | 7 683.35/683.74 c 683s | 19 | 1024205 | 483382 | 19236 60 | 3 | 7 685.35/685.77 c 685s | 19 | 1026802 | 484582 | 19236 61 | 3 | 7 687.34/687.78 c 687s | 19 | 1029711 | 485982 | 19236 61 | 3 | 7 689.54/689.90 c 689s | 19 | 1032933 | 487382 | 19236 61 | 3 | 7 691.55/691.96 c 691s | 19 | 1035863 | 488782 | 19236 61 | 3 | 7 693.64/694.02 c 693s | 19 | 1038788 | 490082 | 19236 61 | 3 | 7 695.64/696.07 c 695s | 19 | 1041413 | 491382 | 19236 61 | 3 | 7 697.64/698.08 c 697s | 19 | 1044135 | 492782 | 19236 61 | 3 | 7 699.83/700.20 c 699s | 19 | 1046484 | 493982 | 19236 62 | 3 | 7 701.93/702.32 c 702s | 19 | 1049548 | 495482 | 19236 62 | 3 | 7 703.93/704.32 c 704s | 19 | 1052347 | 496982 | 19236 62 | 3 | 7 706.03/706.44 c 706s | 19 | 1055418 | 498382 | 19236 62 | 3 | 7 708.15/708.56 c 708s | 19 | 1058882 | 499782 | 19236 62 | 3 | 7 710.14/710.60 c 710s | 19 | 1061283 | 500982 | 19236 62 | 3 | 7 712.24/712.61 c 712s | 19 | 1064512 | 502382 | 19236 62 | 3 | 7 714.24/714.64 c 714s | 19 | 1067122 | 503582 | 19236 62 | 3 | 7 716.24/716.67 c 716s | 19 | 1069718 | 504782 | 19236 63 | 3 | 7 718.24/718.69 c 718s | 19 | 1072963 | 506182 | 19236 63 | 3 | 7 720.25/720.69 c 720s | 19 | 1076078 | 507682 | 19236 63 | 3 | 7 722.35/722.74 c 722s | 19 | 1078785 | 508982 | 19236 63 | 3 | 7 724.54/724.90 c 724s | 19 | 1081904 | 510482 | 19236 63 | 3 | 7 726.64/727.00 c 726s | 19 | 1084785 | 511782 | 19236 63 | 3 | 7 728.64/729.08 c 728s | 19 | 1087722 | 513182 | 19236 63 | 3 | 7 730.64/731.09 c 730s | 19 | 1090783 | 514482 | 19236 63 | 3 | 7 732.74/733.17 c 732s | 19 | 1094010 | 515982 | 19236 64 | 3 | 7 734.84/735.29 c 735s | 19 | 1097088 | 517482 | 19236 64 | 3 | 7 736.94/737.38 c 737s | 19 | 1100230 | 518982 | 19236 64 | 3 | 7 738.94/739.40 c 739s | 19 | 1103045 | 520382 | 19236 64 | 3 | 7 741.04/741.41 c 741s | 19 | 1105797 | 521682 | 19236 64 | 3 | 7 743.04/743.44 c 743s | 19 | 1108482 | 522982 | 19236 64 | 3 | 7 745.03/745.49 c 745s | 19 | 1111289 | 524382 | 19236 64 | 3 | 7 747.23/747.60 c 747s | 19 | 1114381 | 525882 | 19236 65 | 3 | 7 749.33/749.70 c 749s | 19 | 1117456 | 527482 | 19236 65 | 3 | 7 751.33/751.73 c 751s | 19 | 1120629 | 529082 | 19236 65 | 3 | 7 753.43/753.85 c 753s | 19 | 1123746 | 530582 | 19236 65 | 3 | 7 755.63/756.02 c 755s | 19 | 1126742 | 531982 | 19236 65 | 3 | 7 757.73/758.15 c 757s | 19 | 1129738 | 533482 | 19236 65 | 3 | 7 759.84/760.29 c 760s | 19 | 1132821 | 534982 | 19236 65 | 3 | 7 762.04/762.41 c 762s | 19 | 1136164 | 536582 | 19236 66 | 3 | 7 764.03/764.41 c 764s | 19 | 1139602 | 538182 | 19236 66 | 3 | 7 766.03/766.43 c 766s | 19 | 1142887 | 539782 | 19236 66 | 3 | 7 768.12/768.56 c 768s | 19 | 1146303 | 541482 | 19236 66 | 3 | 7 770.12/770.59 c 770s | 19 | 1149660 | 543082 | 19236 66 | 3 | 7 772.22/772.66 c 772s | 19 | 1153359 | 544882 | 19236 66 | 3 | 7 774.32/774.74 c 774s | 19 | 1155022 | 545682 | 19236 67 | 3 | 7 776.73/777.15 c 776s | 19 | 1156705 | 546382 | 19236 67 | 3 | 7 778.83/779.23 c 778s | 19 | 1159511 | 547682 | 19236 67 | 3 | 7 780.93/781.35 c 781s | 19 | 1162748 | 549082 | 19236 67 | 3 | 7 783.03/783.47 c 783s | 19 | 1165439 | 550382 | 19236 67 | 3 | 7 785.13/785.54 c 785s | 19 | 1168121 | 551682 | 19236 67 | 3 | 7 787.12/787.59 c 787s | 19 | 1170616 | 552882 | 19236 67 | 3 | 7 789.22/789.60 c 789s | 19 | 1173640 | 554182 | 19236 67 | 3 | 7 791.22/791.65 c 791s | 19 | 1176283 | 555382 | 19236 68 | 3 | 7 793.22/793.68 c 793s | 19 | 1179215 | 556782 | 19236 68 | 3 | 7 795.42/795.81 c 795s | 19 | 1181893 | 558082 | 19236 68 | 3 | 7 797.52/797.96 c 797s | 19 | 1185334 | 559682 | 19236 68 | 3 | 7 799.62/800.04 c 799s | 19 | 1188089 | 560982 | 19236 68 | 3 | 7 801.72/802.10 c 801s | 19 | 1190808 | 562182 | 19236 68 | 3 | 7 803.82/804.24 c 803s | 19 | 1193357 | 563382 | 19236 68 | 3 | 7 805.92/806.34 c 806s | 19 | 1196162 | 564782 | 19236 68 | 3 | 7 807.92/808.37 c 808s | 19 | 1198844 | 566082 | 19236 69 | 3 | 7 810.02/810.42 c 810s | 19 | 1201468 | 567382 | 19236 69 | 3 | 7 812.12/812.55 c 812s | 19 | 1204384 | 568782 | 19236 69 | 3 | 7 814.22/814.60 c 814s | 19 | 1206761 | 569982 | 19236 69 | 3 | 7 816.22/816.66 c 816s | 19 | 1209731 | 571282 | 19236 69 | 3 | 7 818.42/818.89 c 818s | 19 | 1212343 | 572582 | 19236 69 | 3 | 7 820.52/820.96 c 820s | 19 | 1215472 | 573782 | 19236 69 | 3 | 7 822.72/823.14 c 822s | 19 | 1218086 | 575082 | 19236 69 | 3 | 7 824.82/825.26 c 825s | 19 | 1220900 | 576282 | 19236 70 | 3 | 7 826.93/827.34 c 827s | 19 | 1223914 | 577682 | 19236 70 | 3 | 7 829.02/829.50 c 829s | 19 | 1226498 | 578982 | 19236 70 | 3 | 7 831.12/831.59 c 831s | 19 | 1229540 | 580282 | 19236 70 | 3 | 7 833.22/833.67 c 833s | 19 | 1232260 | 581482 | 19236 70 | 3 | 7 835.32/835.75 c 835s | 19 | 1234994 | 582782 | 19236 70 | 3 | 7 837.31/837.77 c 837s | 19 | 1237211 | 583882 | 19236 70 | 3 | 7 839.41/839.81 c 839s | 19 | 1239649 | 585082 | 19236 70 | 3 | 7 841.41/841.84 c 841s | 19 | 1242112 | 586182 | 19236 71 | 3 | 7 843.42/843.86 c 843s | 19 | 1244633 | 587382 | 19236 71 | 3 | 7 845.62/846.02 c 845s | 19 | 1247621 | 588682 | 19236 71 | 3 | 7 847.72/848.15 c 847s | 19 | 1250158 | 589882 | 19236 71 | 3 | 7 849.71/850.18 c 849s | 19 | 1252507 | 590982 | 19236 71 | 3 | 7 851.81/852.25 c 852s | 19 | 1255337 | 592182 | 19236 71 | 3 | 7 854.01/854.44 c 854s | 19 | 1257700 | 593282 | 19236 71 | 3 | 7 856.01/856.49 c 856s | 19 | 1260088 | 594382 | 19236 71 | 3 | 7 858.21/858.65 c 858s | 19 | 1262600 | 595482 | 19236 72 | 3 | 7 860.31/860.77 c 860s | 19 | 1264870 | 596682 | 19236 72 | 3 | 7 862.41/862.87 c 862s | 19 | 1267288 | 597882 | 19236 72 | 3 | 7 864.61/865.07 c 864s | 19 | 1269943 | 599082 | 19236 72 | 3 | 7 866.81/867.20 c 866s | 19 | 1272536 | 600282 | 19236 72 | 3 | 7 868.92/869.33 c 869s | 19 | 1274792 | 601382 | 19236 72 | 3 | 7 871.02/871.49 c 871s | 19 | 1277107 | 602482 | 19236 72 | 3 | 7 873.12/873.52 c 873s | 19 | 1279134 | 603482 | 19236 72 | 3 | 7 875.22/875.67 c 875s | 19 | 1281682 | 604582 | 19236 72 | 3 | 7 877.42/877.84 c 877s | 19 | 1283434 | 605482 | 19236 72 | 3 | 7 879.51/879.94 c 879s | 19 | 1285527 | 606482 | 19236 73 | 3 | 7 881.61/882.01 c 881s | 19 | 1287728 | 607582 | 19236 73 | 3 | 7 883.71/884.16 c 883s | 19 | 1289763 | 608682 | 19236 73 | 3 | 7 885.81/886.29 c 886s | 19 | 1291968 | 609782 | 19236 73 | 3 | 7 888.60/889.06 c 888s | 19 | 1293678 | 610582 | 19236 73 | 3 | 7 890.81/891.21 c 890s | 19 | 1296030 | 611482 | 19236 73 | 3 | 7 892.82/893.28 c 893s | 19 | 1298715 | 612782 | 19236 73 | 3 | 7 894.91/895.32 c 895s | 19 | 1301220 | 613982 | 19236 73 | 3 | 7 896.91/897.34 c 897s | 19 | 1303428 | 615082 | 19236 73 | 3 | 7 899.01/899.41 c 899s | 19 | 1305404 | 616082 | 19236 74 | 3 | 7 901.01/901.42 c 901s | 19 | 1307691 | 617182 | 19236 74 | 3 | 7 903.01/903.48 c 903s | 19 | 1310620 | 618482 | 19236 74 | 3 | 7 905.21/905.65 c 905s | 19 | 1313328 | 619782 | 19236 74 | 3 | 7 907.21/907.69 c 907s | 19 | 1315797 | 620982 | 19236 74 | 3 | 7 909.41/909.80 c 909s | 19 | 1318450 | 622282 | 19236 74 | 3 | 7 911.40/911.88 c 911s | 19 | 1321242 | 623582 | 19236 74 | 3 | 7 913.50/913.97 c 913s | 19 | 1323716 | 624782 | 19236 74 | 3 | 7 915.70/916.12 c 915s | 19 | 1326983 | 626082 | 19236 74 | 3 | 7 917.70/918.17 c 917s | 19 | 1329145 | 627282 | 19236 75 | 3 | 7 919.80/920.20 c 919s | 19 | 1332026 | 628582 | 19236 75 | 3 | 7 921.90/922.30 c 922s | 19 | 1334600 | 629882 | 19236 75 | 3 | 7 923.90/924.36 c 924s | 19 | 1337358 | 631282 | 19236 75 | 3 | 7 926.00/926.49 c 926s | 19 | 1340128 | 632582 | 19236 75 | 3 | 7 928.20/928.60 c 928s | 19 | 1343516 | 633882 | 19236 75 | 3 | 7 930.30/930.75 c 930s | 19 | 1346188 | 635182 | 19236 75 | 3 | 7 932.30/932.76 c 932s | 19 | 1348424 | 636382 | 19236 76 | 3 | 7 934.41/934.81 c 934s | 19 | 1351059 | 637682 | 19236 76 | 3 | 7 936.41/936.85 c 936s | 19 | 1353983 | 639082 | 19236 76 | 3 | 7 938.41/938.89 c 938s | 19 | 1356317 | 640382 | 19236 76 | 3 | 7 940.50/940.95 c 940s | 19 | 1358843 | 641582 | 19236 76 | 3 | 7 942.60/943.06 c 942s | 19 | 1361812 | 642982 | 19236 76 | 3 | 7 944.80/945.22 c 944s | 19 | 1364281 | 644182 | 19236 76 | 3 | 7 946.81/947.26 c 947s | 19 | 1367402 | 645482 | 19236 76 | 3 | 7 948.80/949.28 c 949s | 19 | 1370235 | 646782 | 19236 77 | 3 | 7 951.00/951.41 c 951s | 19 | 1373017 | 648182 | 19236 77 | 3 | 7 953.00/953.45 c 953s | 19 | 1375812 | 649582 | 19236 77 | 3 | 7 955.10/955.55 c 955s | 19 | 1378634 | 650882 | 19236 77 | 3 | 7 957.20/957.69 c 957s | 19 | 1381819 | 652382 | 19236 77 | 3 | 7 959.30/959.72 c 959s | 19 | 1384579 | 653682 | 19236 77 | 3 | 7 961.40/961.81 c 961s | 19 | 1387284 | 654982 | 19236 77 | 3 | 7 963.40/963.82 c 963s | 19 | 1389505 | 656182 | 19236 78 | 3 | 7 965.51/965.94 c 965s | 19 | 1392731 | 657582 | 19236 78 | 3 | 7 967.61/968.03 c 967s | 19 | 1395846 | 658982 | 19236 78 | 3 | 7 969.60/970.09 c 969s | 19 | 1398806 | 660382 | 19236 78 | 3 | 7 971.60/972.09 c 971s | 19 | 1401535 | 661682 | 19236 78 | 3 | 7 973.80/974.20 c 973s | 19 | 1404728 | 663182 | 21160 78 | 3 | 7 975.80/976.22 c 975s | 19 | 1407373 | 664482 | 21160 78 | 3 | 7 977.90/978.33 c 978s | 19 | 1410232 | 665882 | 21160 78 | 3 | 7 979.30/979.75 c 979s | 20 | 1412558 | 666827 | 21160 78 | 3 | 7 981.30/981.78 c 981s | 20 | 1415657 | 668127 | 21160 78 | 3 | 7 984.00/984.42 c 984s | 20 | 1418293 | 669327 | 21160 79 | 3 | 7 986.00/986.48 c 986s | 20 | 1419971 | 670227 | 21160 79 | 3 | 7 988.20/988.62 c 988s | 20 | 1422962 | 671727 | 21160 79 | 3 | 7 990.30/990.71 c 990s | 20 | 1425527 | 673027 | 21160 79 | 3 | 7 992.30/992.72 c 992s | 20 | 1428121 | 674327 | 21160 79 | 3 | 7 994.29/994.73 c 994s | 20 | 1430499 | 675527 | 21160 79 | 3 | 7 996.39/996.87 c 996s | 20 | 1433256 | 676827 | 21160 79 | 3 | 7 998.50/998.94 c 998s | 20 | 1435840 | 678127 | 21160 79 | 3 | 7 1000.49/1000.97 c 1000s | 20 | 1438708 | 679327 | 21160 80 | 3 | 7 1002.59/1003.05 c 1002s | 20 | 1441282 | 680527 | 21160 80 | 3 | 7 1004.59/1005.07 c 1004s | 20 | 1443907 | 681827 | 21160 80 | 3 | 7 1006.69/1007.14 c 1006s | 20 | 1447039 | 683227 | 21160 80 | 3 | 7 1008.69/1009.16 c 1008s | 20 | 1450048 | 684527 | 21160 80 | 3 | 7 1010.79/1011.21 c 1010s | 20 | 1453154 | 686027 | 21160 80 | 3 | 7 1012.79/1013.22 c 1012s | 20 | 1455838 | 687227 | 21160 80 | 3 | 7 1014.89/1015.31 c 1015s | 20 | 1458384 | 688427 | 21160 80 | 3 | 7 1016.99/1017.42 c 1017s | 20 | 1460934 | 689727 | 21160 80 | 3 | 7 1018.99/1019.49 c 1019s | 20 | 1463066 | 690927 | 21160 81 | 3 | 7 1021.09/1021.53 c 1021s | 20 | 1466542 | 692427 | 21160 81 | 3 | 7 1023.19/1023.61 c 1023s | 20 | 1469560 | 693827 | 21160 81 | 3 | 7 1025.19/1025.63 c 1025s | 20 | 1472021 | 695027 | 21160 81 | 3 | 7 1027.28/1027.75 c 1027s | 20 | 1474686 | 696327 | 21160 81 | 3 | 7 1029.38/1029.83 c 1029s | 20 | 1477329 | 697627 | 21160 81 | 3 | 7 1031.39/1031.87 c 1031s | 20 | 1480128 | 698827 | 21160 81 | 3 | 7 1033.48/1033.93 c 1033s | 20 | 1482575 | 700027 | 21160 81 | 3 | 7 1035.68/1036.18 c 1035s | 20 | 1485284 | 701227 | 21160 82 | 3 | 7 1037.78/1038.21 c 1037s | 20 | 1488413 | 702727 | 21160 82 | 3 | 7 1039.89/1040.31 c 1040s | 20 | 1491310 | 704127 | 21160 82 | 3 | 7 1041.89/1042.31 c 1042s | 20 | 1494301 | 705527 | 21160 82 | 3 | 7 1043.89/1044.36 c 1044s | 20 | 1496878 | 706827 | 21160 82 | 3 | 7 1045.99/1046.41 c 1046s | 20 | 1499873 | 708227 | 21160 82 | 3 | 7 1047.99/1048.43 c 1048s | 20 | 1502411 | 709427 | 21160 82 | 3 | 7 1050.09/1050.55 c 1050s | 20 | 1505094 | 710727 | 21160 82 | 3 | 7 1052.19/1052.60 c 1052s | 20 | 1507784 | 712027 | 21160 82 | 3 | 7 1054.29/1054.70 c 1054s | 20 | 1511046 | 713427 | 21160 83 | 3 | 7 1056.29/1056.73 c 1056s | 20 | 1514223 | 714927 | 21160 83 | 3 | 7 1058.39/1058.80 c 1058s | 20 | 1517134 | 716327 | 21160 83 | 3 | 7 1060.48/1060.92 c 1060s | 20 | 1519951 | 717727 | 21160 83 | 3 | 7 1062.48/1062.97 c 1062s | 20 | 1522819 | 719127 | 21160 83 | 3 | 7 1064.58/1065.09 c 1064s | 20 | 1526175 | 720727 | 21160 83 | 3 | 7 1066.69/1067.17 c 1066s | 20 | 1529357 | 722127 | 21160 83 | 3 | 7 1068.79/1069.26 c 1069s | 20 | 1532056 | 723427 | 21160 84 | 3 | 7 1070.78/1071.28 c 1071s | 20 | 1535948 | 725127 | 21160 84 | 3 | 7 1072.88/1073.31 c 1073s | 20 | 1539442 | 726627 | 21160 84 | 3 | 7 1074.98/1075.41 c 1075s | 20 | 1542825 | 728227 | 21160 84 | 3 | 7 1076.98/1077.48 c 1077s | 20 | 1545645 | 729627 | 21160 84 | 3 | 7 1079.18/1079.60 c 1079s | 20 | 1549081 | 731127 | 21160 84 | 3 | 7 1081.18/1081.63 c 1081s | 20 | 1551769 | 732427 | 21160 84 | 3 | 7 1083.18/1083.64 c 1083s | 20 | 1554706 | 733827 | 21160 84 | 3 | 7 1085.18/1085.69 c 1085s | 20 | 1558352 | 735327 | 21160 85 | 3 | 7 1087.28/1087.76 c 1087s | 20 | 1561991 | 737027 | 21160 85 | 3 | 7 1089.37/1089.80 c 1089s | 20 | 1565498 | 738827 | 21160 85 | 3 | 7 1091.37/1091.82 c 1091s | 20 | 1569241 | 740627 | 21160 85 | 3 | 7 1093.78/1094.28 c 1094s | 20 | 1573022 | 742427 | 21160 85 | 3 | 7 1095.98/1096.42 c 1096s | 20 | 1573548 | 742727 | 21160 85 | 3 | 7 1097.98/1098.49 c 1098s | 20 | 1575898 | 744027 | 21160 85 | 3 | 7 1100.27/1100.72 c 1100s | 20 | 1578206 | 745227 | 21160 86 | 3 | 7 1102.37/1102.83 c 1102s | 20 | 1580464 | 746427 | 21160 86 | 3 | 7 1104.47/1104.93 c 1104s | 20 | 1582930 | 747627 | 21160 86 | 3 | 7 1106.57/1107.07 c 1106s | 20 | 1585264 | 748827 | 21160 86 | 3 | 7 1108.67/1109.15 c 1108s | 20 | 1588073 | 750127 | 21160 86 | 3 | 7 1110.77/1111.21 c 1110s | 20 | 1590670 | 751427 | 21160 86 | 3 | 7 1112.88/1113.34 c 1113s | 20 | 1593517 | 752727 | 21160 86 | 3 | 7 1114.98/1115.42 c 1115s | 20 | 1596127 | 753927 | 21160 86 | 3 | 7 1116.97/1117.44 c 1117s | 20 | 1598675 | 755127 | 21160 86 | 3 | 7 1118.97/1119.46 c 1119s | 20 | 1600936 | 756227 | 21160 87 | 3 | 7 1121.17/1121.61 c 1121s | 20 | 1603696 | 757427 | 21160 87 | 3 | 7 1123.27/1123.71 c 1123s | 20 | 1606883 | 758827 | 21160 87 | 3 | 7 1125.27/1125.77 c 1125s | 20 | 1609927 | 760127 | 21160 87 | 3 | 7 1127.47/1127.90 c 1127s | 20 | 1612672 | 761327 | 21160 87 | 3 | 7 1129.58/1130.07 c 1129s | 20 | 1615746 | 762727 | 21160 87 | 3 | 7 1131.68/1132.11 c 1131s | 20 | 1618378 | 763927 | 21160 87 | 3 | 7 1133.68/1134.18 c 1133s | 20 | 1620572 | 765027 | 21160 87 | 3 | 7 1135.88/1136.38 c 1136s | 20 | 1623323 | 766327 | 21160 87 | 3 | 7 1137.98/1138.49 c 1138s | 20 | 1625756 | 767527 | 21160 88 | 3 | 7 1140.17/1140.63 c 1140s | 20 | 1628827 | 768927 | 21160 88 | 3 | 7 1142.17/1142.68 c 1142s | 20 | 1631516 | 770327 | 21160 88 | 3 | 7 1144.37/1144.81 c 1144s | 20 | 1634740 | 771727 | 21160 88 | 3 | 7 1146.37/1146.89 c 1146s | 20 | 1637372 | 773027 | 21160 88 | 3 | 7 1148.47/1148.95 c 1148s | 20 | 1639890 | 774227 | 21160 88 | 3 | 7 1150.57/1151.01 c 1150s | 20 | 1642980 | 775627 | 21160 88 | 3 | 7 1152.57/1153.05 c 1152s | 20 | 1645628 | 776927 | 21160 88 | 3 | 7 1154.68/1155.12 c 1154s | 20 | 1647674 | 778027 | 21160 89 | 3 | 7 1156.78/1157.22 c 1156s | 20 | 1650908 | 779627 | 21160 89 | 3 | 7 1158.77/1159.24 c 1158s | 20 | 1653959 | 781027 | 21160 89 | 3 | 7 1160.87/1161.36 c 1161s | 20 | 1657712 | 782527 | 21160 89 | 3 | 7 1162.87/1163.36 c 1163s | 20 | 1660095 | 783727 | 21160 89 | 3 | 7 1164.97/1165.47 c 1165s | 20 | 1663339 | 785327 | 21160 89 | 3 | 7 1167.17/1167.60 c 1167s | 20 | 1666155 | 786627 | 21160 89 | 3 | 7 1169.27/1169.73 c 1169s | 20 | 1669519 | 788027 | 21160 89 | 3 | 7 1171.27/1171.77 c 1171s | 20 | 1672219 | 789327 | 21160 90 | 3 | 7 1173.27/1173.79 c 1173s | 20 | 1675528 | 790827 | 21160 90 | 3 | 7 1175.37/1175.85 c 1175s | 20 | 1679121 | 792227 | 21160 90 | 3 | 7 1177.37/1177.86 c 1177s | 20 | 1681769 | 793527 | 21160 90 | 3 | 7 1179.37/1179.89 c 1179s | 20 | 1684982 | 794927 | 21160 90 | 3 | 7 1181.47/1181.92 c 1181s | 20 | 1688142 | 796327 | 21160 90 | 3 | 7 1183.47/1183.99 c 1183s | 20 | 1690833 | 797727 | 21160 90 | 3 | 7 1185.67/1186.13 c 1185s | 20 | 1694067 | 799127 | 21160 90 | 3 | 7 1187.67/1188.17 c 1187s | 20 | 1696903 | 800427 | 21160 91 | 3 | 7 1189.77/1190.24 c 1189s | 20 | 1699992 | 801927 | 21160 91 | 3 | 7 1191.76/1192.28 c 1192s | 20 | 1703177 | 803527 | 21160 91 | 3 | 7 1193.76/1194.29 c 1194s | 20 | 1706148 | 805027 | 21160 91 | 3 | 7 1195.86/1196.33 c 1196s | 20 | 1709417 | 806527 | 21160 91 | 3 | 7 1197.86/1198.34 c 1198s | 20 | 1712511 | 808027 | 21160 91 | 3 | 7 1199.96/1200.42 c 1200s | 20 | 1715650 | 809527 | 21160 91 | 3 | 7 1201.97/1202.44 c 1202s | 20 | 1718469 | 810927 | 21160 91 | 3 | 7 1204.07/1204.56 c 1204s | 20 | 1721692 | 812427 | 21160 92 | 3 | 7 1206.16/1206.69 c 1206s | 20 | 1724851 | 814027 | 21160 92 | 3 | 7 1208.26/1208.71 c 1208s | 20 | 1728076 | 815527 | 21160 92 | 3 | 7 1210.36/1210.84 c 1210s | 20 | 1731415 | 817127 | 21160 92 | 3 | 7 1212.46/1212.91 c 1212s | 20 | 1734743 | 818727 | 21160 92 | 3 | 7 1214.56/1215.03 c 1214s | 20 | 1738035 | 820227 | 21160 92 | 3 | 7 1216.56/1217.05 c 1216s | 20 | 1741018 | 821827 | 21160 92 | 3 | 7 1218.56/1219.07 c 1218s | 20 | 1743864 | 823327 | 21160 93 | 3 | 7 1220.66/1221.11 c 1220s | 20 | 1746877 | 824927 | 21160 93 | 3 | 7 1222.66/1223.18 c 1222s | 20 | 1750022 | 826527 | 21160 93 | 3 | 7 1225.06/1225.56 c 1225s | 20 | 1751518 | 827327 | 21160 93 | 3 | 7 1227.36/1227.88 c 1227s | 20 | 1752987 | 827927 | 21160 93 | 3 | 7 1229.56/1230.00 c 1229s | 20 | 1755972 | 829327 | 21160 93 | 3 | 7 1231.57/1232.06 c 1231s | 20 | 1759039 | 830627 | 21160 93 | 3 | 7 1233.66/1234.10 c 1233s | 20 | 1761972 | 831927 | 21160 93 | 3 | 7 1235.76/1236.21 c 1235s | 20 | 1764099 | 833027 | 21160 94 | 3 | 7 1237.86/1238.30 c 1238s | 20 | 1766891 | 834427 | 21160 94 | 3 | 7 1239.86/1240.38 c 1240s | 20 | 1769639 | 835827 | 21160 94 | 3 | 7 1241.96/1242.45 c 1242s | 20 | 1772488 | 837127 | 21160 94 | 3 | 7 1244.06/1244.59 c 1244s | 20 | 1775276 | 838527 | 21160 94 | 3 | 7 1246.16/1246.61 c 1246s | 20 | 1778119 | 839827 | 21160 94 | 3 | 7 1248.16/1248.65 c 1248s | 20 | 1781085 | 841227 | 21160 94 | 3 | 7 1250.15/1250.68 c 1250s | 20 | 1783553 | 842527 | 21160 94 | 3 | 7 1252.25/1252.72 c 1252s | 20 | 1785992 | 843627 | 21160 95 | 3 | 7 1254.35/1254.84 c 1254s | 20 | 1788876 | 845027 | 21160 95 | 3 | 7 1256.45/1256.92 c 1256s | 20 | 1792076 | 846427 | 21160 95 | 3 | 7 1258.55/1259.02 c 1258s | 20 | 1794583 | 847727 | 21160 95 | 3 | 7 1260.55/1261.09 c 1260s | 20 | 1797627 | 849027 | 21160 95 | 3 | 7 1262.65/1263.15 c 1262s | 20 | 1799842 | 850227 | 21160 95 | 3 | 7 1264.66/1265.16 c 1264s | 20 | 1802763 | 851427 | 21160 95 | 3 | 7 1266.76/1267.27 c 1267s | 20 | 1805395 | 852627 | 21160 95 | 3 | 7 1268.85/1269.36 c 1269s | 20 | 1807857 | 853827 | 21160 95 | 3 | 7 1270.95/1271.49 c 1271s | 20 | 1810842 | 855127 | 21160 96 | 3 | 7 1273.05/1273.55 c 1273s | 20 | 1814187 | 856527 | 21160 96 | 3 | 7 1275.05/1275.55 c 1275s | 20 | 1817219 | 857927 | 21160 96 | 3 | 7 1277.15/1277.63 c 1277s | 20 | 1819730 | 859227 | 21160 96 | 3 | 7 1279.25/1279.77 c 1279s | 20 | 1823787 | 860727 | 21160 96 | 3 | 7 1281.35/1281.83 c 1281s | 20 | 1826614 | 862027 | 21160 96 | 3 | 7 1283.44/1283.93 c 1283s | 20 | 1829722 | 863527 | 21160 96 | 3 | 7 1285.45/1285.97 c 1285s | 20 | 1832148 | 864727 | 21160 96 | 3 | 7 1287.54/1288.04 c 1287s | 20 | 1834810 | 865927 | 21160 97 | 3 | 7 1289.64/1290.16 c 1289s | 20 | 1837939 | 867427 | 21160 97 | 3 | 7 1291.74/1292.29 c 1292s | 20 | 1841277 | 868927 | 21160 97 | 3 | 7 1293.84/1294.32 c 1294s | 20 | 1844157 | 870227 | 21160 97 | 3 | 7 1295.84/1296.38 c 1296s | 20 | 1847256 | 871727 | 21160 97 | 3 | 7 1297.94/1298.41 c 1298s | 20 | 1849888 | 873027 | 21160 97 | 3 | 7 1299.94/1300.46 c 1300s | 20 | 1852630 | 874327 | 21160 97 | 3 | 7 1302.05/1302.53 c 1302s | 20 | 1855407 | 875627 | 21160 97 | 3 | 7 1304.04/1304.57 c 1304s | 20 | 1858064 | 876927 | 21160 97 | 3 | 7 1306.15/1306.64 c 1306s | 20 | 1860679 | 878227 | 21160 98 | 3 | 7 1308.15/1308.67 c 1308s | 20 | 1863466 | 879627 | 21160 98 | 3 | 7 1310.25/1310.70 c 1310s | 20 | 1866377 | 881127 | 21160 98 | 3 | 7 1312.25/1312.76 c 1312s | 20 | 1869414 | 882527 | 21160 98 | 3 | 7 1314.45/1314.92 c 1314s | 20 | 1872620 | 884127 | 21160 98 | 3 | 7 1316.55/1317.02 c 1316s | 20 | 1875795 | 885627 | 21160 98 | 3 | 7 1318.65/1319.15 c 1318s | 20 | 1878827 | 887027 | 21160 98 | 3 | 7 1320.65/1321.15 c 1320s | 20 | 1881686 | 888427 | 21160 99 | 3 | 7 1322.74/1323.29 c 1323s | 20 | 1885055 | 890127 | 21160 99 | 3 | 7 1324.94/1325.42 c 1325s | 20 | 1888251 | 891727 | 21160 99 | 3 | 7 1327.04/1327.52 c 1327s | 20 | 1891800 | 893327 | 21160 99 | 3 | 7 1329.04/1329.59 c 1329s | 20 | 1895221 | 894927 | 21160 99 | 3 | 7 1331.14/1331.64 c 1331s | 20 | 1898173 | 896427 | 21160 99 | 3 | 7 1333.14/1333.68 c 1333s | 20 | 1901093 | 897927 | 21160 99 | 3 | 7 1335.24/1335.79 c 1335s | 20 | 1904339 | 899727 | 21160 99 | 3 | 7 1338.35/1338.86 c 1338s | 20 | 1907376 | 901227 | 21160 100 | 3 | 7 1340.34/1340.87 c 1340s | 20 | 1908924 | 901927 | 21160 100 | 3 | 7 1342.44/1342.91 c 1342s | 20 | 1911817 | 903227 | 21160 100 | 3 | 7 1344.44/1344.97 c 1344s | 20 | 1914750 | 904627 | 21160 100 | 3 | 7 1346.54/1347.08 c 1346s | 20 | 1917432 | 905827 | 21160 100 | 3 | 7 1348.64/1349.14 c 1348s | 20 | 1920109 | 907027 | 21160 100 | 3 | 7 1350.74/1351.26 c 1351s | 20 | 1922938 | 908427 | 21160 100 | 3 | 7 1352.84/1353.35 c 1353s | 20 | 1925505 | 909627 | 21160 100 | 3 | 7 1354.93/1355.41 c 1355s | 20 | 1927860 | 910827 | 21160 101 | 3 | 7 1357.04/1357.54 c 1357s | 20 | 1930792 | 912227 | 21160 101 | 3 | 7 1359.03/1359.60 c 1359s | 20 | 1933423 | 913527 | 21160 101 | 3 | 7 1361.14/1361.67 c 1361s | 20 | 1936186 | 914727 | 21160 101 | 3 | 7 1363.24/1363.71 c 1363s | 20 | 1938599 | 915927 | 21160 101 | 3 | 7 1365.24/1365.75 c 1365s | 20 | 1941028 | 917127 | 21160 101 | 3 | 7 1367.24/1367.77 c 1367s | 20 | 1944041 | 918427 | 21160 101 | 3 | 7 1369.34/1369.81 c 1369s | 20 | 1946311 | 919627 | 21160 101 | 3 | 7 1371.44/1371.96 c 1371s | 20 | 1948972 | 920827 | 21160 101 | 3 | 7 1373.44/1373.96 c 1373s | 20 | 1951496 | 922027 | 21160 102 | 3 | 7 1375.44/1375.97 c 1375s | 20 | 1954349 | 923327 | 21160 102 | 3 | 7 1377.53/1378.03 c 1377s | 20 | 1957083 | 924627 | 21160 102 | 3 | 7 1379.53/1380.05 c 1379s | 20 | 1959963 | 925927 | 21160 102 | 3 | 7 1381.53/1382.08 c 1381s | 20 | 1962647 | 927227 | 21160 102 | 3 | 7 1383.63/1384.10 c 1383s | 20 | 1965267 | 928427 | 21160 102 | 3 | 7 1385.64/1386.13 c 1385s | 20 | 1967261 | 929527 | 21160 102 | 3 | 7 1387.74/1388.27 c 1388s | 20 | 1969921 | 930827 | 21160 102 | 3 | 7 1389.83/1390.35 c 1390s | 20 | 1972281 | 932027 | 21160 102 | 3 | 7 1391.93/1392.43 c 1392s | 20 | 1974695 | 933227 | 21160 103 | 3 | 7 1393.93/1394.48 c 1394s | 20 | 1977933 | 934727 | 21160 103 | 3 | 7 1396.13/1396.60 c 1396s | 20 | 1980728 | 936127 | 21160 103 | 3 | 7 1398.23/1398.72 c 1398s | 20 | 1983674 | 937627 | 21160 103 | 3 | 7 1400.23/1400.78 c 1400s | 20 | 1986258 | 939027 | 21160 103 | 3 | 7 1402.33/1402.81 c 1402s | 20 | 1989407 | 940327 | 21160 103 | 3 | 7 1404.43/1404.96 c 1404s | 20 | 1992182 | 941727 | 21160 103 | 3 | 7 1406.54/1407.01 c 1406s | 20 | 1995086 | 943127 | 21160 103 | 3 | 7 1408.53/1409.08 c 1408s | 20 | 1997995 | 944427 | 21160 104 | 3 | 7 1410.63/1411.15 c 1410s | 20 | 2001160 | 946027 | 21160 104 | 3 | 7 1412.73/1413.27 c 1413s | 20 | 2004082 | 947627 | 21160 104 | 3 | 7 1414.83/1415.38 c 1415s | 20 | 2007053 | 949127 | 21160 104 | 3 | 7 1417.03/1417.51 c 1417s | 20 | 2010073 | 950627 | 21160 104 | 3 | 7 1419.03/1419.57 c 1419s | 20 | 2012813 | 952027 | 21160 104 | 3 | 7 1421.13/1421.62 c 1421s | 20 | 2015769 | 953427 | 21160 104 | 3 | 7 1423.33/1423.81 c 1423s | 20 | 2018744 | 954927 | 21160 105 | 3 | 7 1425.43/1425.90 c 1425s | 20 | 2022477 | 956527 | 21160 105 | 3 | 7 1427.53/1428.00 c 1427s | 20 | 2026115 | 958127 | 21160 105 | 3 | 7 1429.53/1430.08 c 1429s | 20 | 2029503 | 959727 | 21160 105 | 3 | 7 1431.63/1432.14 c 1431s | 20 | 2032575 | 961327 | 21160 105 | 3 | 7 1433.63/1434.17 c 1433s | 20 | 2036247 | 962927 | 21160 105 | 3 | 7 1435.72/1436.25 c 1435s | 20 | 2039968 | 964627 | 21160 105 | 3 | 7 1437.82/1438.33 c 1438s | 20 | 2043457 | 966427 | 21160 105 | 3 | 7 1440.53/1441.07 c 1440s | 20 | 2046362 | 967827 | 21160 106 | 3 | 7 1442.62/1443.10 c 1442s | 20 | 2047833 | 968427 | 21160 106 | 3 | 7 1444.62/1445.18 c 1444s | 20 | 2050332 | 969627 | 21160 106 | 3 | 7 1446.62/1447.19 c 1446s | 20 | 2053215 | 970927 | 21160 106 | 3 | 7 1448.73/1449.23 c 1448s | 20 | 2056028 | 972127 | 21160 106 | 3 | 7 1450.73/1451.27 c 1451s | 20 | 2058687 | 973427 | 21160 106 | 3 | 7 1452.93/1453.42 c 1453s | 20 | 2061011 | 974627 | 21160 106 | 3 | 7 1455.03/1455.58 c 1455s | 20 | 2063187 | 975727 | 21160 106 | 3 | 7 1457.13/1457.61 c 1457s | 20 | 2065465 | 976827 | 21160 106 | 3 | 7 1459.12/1459.70 c 1459s | 20 | 2067960 | 978127 | 21160 107 | 3 | 7 1461.22/1461.75 c 1461s | 20 | 2070576 | 979327 | 21160 107 | 3 | 7 1463.32/1463.84 c 1463s | 20 | 2073242 | 980627 | 21160 107 | 3 | 7 1465.32/1465.88 c 1465s | 20 | 2075757 | 981927 | 21160 107 | 3 | 7 1467.52/1468.02 c 1467s | 20 | 2078201 | 983227 | 21160 107 | 3 | 7 1469.62/1470.10 c 1469s | 20 | 2080586 | 984427 | 21160 107 | 3 | 7 1471.62/1472.11 c 1471s | 20 | 2082979 | 985727 | 21160 107 | 3 | 7 1473.72/1474.25 c 1473s | 20 | 2085664 | 987027 | 21160 107 | 3 | 7 1475.82/1476.32 c 1476s | 20 | 2087923 | 988127 | 21160 107 | 3 | 7 1477.82/1478.37 c 1478s | 20 | 2090299 | 989327 | 21160 108 | 3 | 7 1480.02/1480.52 c 1480s | 20 | 2092953 | 990727 | 21160 108 | 3 | 7 1482.12/1482.60 c 1482s | 20 | 2095647 | 992027 | 21160 108 | 3 | 7 1484.22/1484.75 c 1484s | 20 | 2098161 | 993327 | 23277 108 | 3 | 7 1486.21/1486.78 c 1486s | 20 | 2101141 | 994727 | 23277 108 | 3 | 7 1488.31/1488.84 c 1488s | 20 | 2103478 | 996027 | 23277 108 | 3 | 7 1490.31/1490.85 c 1490s | 20 | 2105973 | 997227 | 23277 108 | 3 | 7 1492.32/1492.89 c 1492s | 20 | 2108578 | 998527 | 23277 108 | 3 | 7 1494.32/1494.89 c 1494s | 20 | 2110993 | 999627 | 23277 108 | 3 | 7 1495.63/1496.12 c 1495s | 21 | 2112473 | 1000345 | 23277 108 | 3 | 7 1497.83/1498.32 c 1498s | 21 | 2115263 | 1001545 | 23277 109 | 3 | 7 1499.82/1500.36 c 1500s | 21 | 2118320 | 1002945 | 23277 109 | 3 | 7 1502.12/1502.70 c 1502s | 21 | 2119971 | 1003845 | 23277 109 | 3 | 7 1504.21/1504.77 c 1504s | 21 | 2122133 | 1004745 | 23277 109 | 3 | 7 1506.41/1506.91 c 1506s | 21 | 2125176 | 1006045 | 23277 109 | 3 | 7 1508.51/1509.03 c 1508s | 21 | 2127810 | 1007245 | 23277 109 | 3 | 7 1510.71/1511.25 c 1510s | 21 | 2130055 | 1008345 | 23277 109 | 3 | 7 1512.81/1513.34 c 1513s | 21 | 2132807 | 1009645 | 23277 109 | 3 | 7 1514.92/1515.40 c 1515s | 21 | 2134984 | 1010845 | 23277 109 | 3 | 7 1517.02/1517.55 c 1517s | 21 | 2137404 | 1012045 | 23277 109 | 3 | 7 1519.12/1519.61 c 1519s | 21 | 2139362 | 1013045 | 23277 109 | 3 | 7 1521.11/1521.69 c 1521s | 21 | 2142283 | 1014245 | 23277 110 | 3 | 7 1523.31/1523.82 c 1523s | 21 | 2145139 | 1015645 | 23277 110 | 3 | 7 1525.32/1525.85 c 1525s | 21 | 2147960 | 1016845 | 23277 110 | 3 | 7 1527.42/1527.96 c 1527s | 21 | 2151028 | 1018145 | 23277 110 | 3 | 7 1529.41/1529.96 c 1529s | 21 | 2153538 | 1019345 | 23277 110 | 3 | 7 1531.61/1532.19 c 1531s | 21 | 2155782 | 1020545 | 23277 110 | 3 | 7 1533.81/1534.34 c 1534s | 21 | 2158498 | 1021645 | 23277 110 | 3 | 7 1535.91/1536.44 c 1536s | 21 | 2160979 | 1022845 | 23277 110 | 3 | 7 1537.91/1538.49 c 1538s | 21 | 2163297 | 1023945 | 23277 110 | 3 | 7 1540.01/1540.58 c 1540s | 21 | 2165490 | 1025045 | 23277 110 | 3 | 7 1542.21/1542.72 c 1542s | 21 | 2168446 | 1026245 | 23277 111 | 3 | 7 1544.31/1544.87 c 1544s | 21 | 2171233 | 1027545 | 23277 111 | 3 | 7 1546.41/1546.90 c 1546s | 21 | 2174195 | 1028845 | 23277 111 | 3 | 7 1548.51/1549.04 c 1548s | 21 | 2177174 | 1030345 | 23277 111 | 3 | 7 1550.62/1551.13 c 1550s | 21 | 2180129 | 1031645 | 23277 111 | 3 | 7 1552.72/1553.27 c 1553s | 21 | 2182662 | 1032845 | 23277 111 | 3 | 7 1554.92/1555.41 c 1555s | 21 | 2185456 | 1034145 | 23277 111 | 3 | 7 1557.01/1557.53 c 1557s | 21 | 2187772 | 1035345 | 23277 111 | 3 | 7 1559.11/1559.66 c 1559s | 21 | 2190131 | 1036545 | 23277 111 | 3 | 7 1561.11/1561.66 c 1561s | 21 | 2192345 | 1037545 | 23277 112 | 3 | 7 1563.21/1563.78 c 1563s | 21 | 2196037 | 1039045 | 23277 112 | 3 | 7 1565.31/1565.87 c 1565s | 21 | 2198966 | 1040445 | 23277 112 | 3 | 7 1567.40/1567.97 c 1567s | 21 | 2201985 | 1041845 | 23277 112 | 3 | 7 1569.50/1570.08 c 1569s | 21 | 2204792 | 1043245 | 23277 112 | 3 | 7 1571.60/1572.16 c 1571s | 21 | 2207094 | 1044445 | 23277 112 | 3 | 7 1573.71/1574.23 c 1573s | 21 | 2209919 | 1045745 | 23277 112 | 3 | 7 1575.81/1576.34 c 1576s | 21 | 2212449 | 1046945 | 23277 112 | 3 | 7 1577.90/1578.44 c 1578s | 21 | 2215203 | 1048245 | 23277 112 | 3 | 7 1579.90/1580.48 c 1580s | 21 | 2217818 | 1049445 | 23277 112 | 3 | 7 1582.00/1582.51 c 1582s | 21 | 2220292 | 1050645 | 23277 113 | 3 | 7 1584.10/1584.66 c 1584s | 21 | 2223182 | 1052045 | 23277 113 | 3 | 7 1586.30/1586.81 c 1586s | 21 | 2226249 | 1053545 | 23277 113 | 3 | 7 1588.30/1588.86 c 1588s | 21 | 2228805 | 1054845 | 23277 113 | 3 | 7 1590.40/1590.90 c 1590s | 21 | 2231482 | 1056145 | 23277 113 | 3 | 7 1592.50/1593.04 c 1592s | 21 | 2234456 | 1057445 | 23277 113 | 3 | 7 1594.61/1595.16 c 1594s | 21 | 2236903 | 1058745 | 23277 113 | 3 | 7 1596.71/1597.26 c 1597s | 21 | 2238980 | 1059945 | 23277 113 | 3 | 7 1598.80/1599.34 c 1599s | 21 | 2241703 | 1061245 | 23277 113 | 3 | 7 1600.80/1601.39 c 1601s | 21 | 2244362 | 1062545 | 23277 114 | 3 | 7 1602.90/1603.43 c 1603s | 21 | 2247325 | 1063945 | 23277 114 | 3 | 7 1605.00/1605.55 c 1605s | 21 | 2250511 | 1065445 | 23277 114 | 3 | 7 1606.99/1607.58 c 1607s | 21 | 2253872 | 1066845 | 23277 114 | 3 | 7 1609.09/1609.68 c 1609s | 21 | 2256543 | 1068245 | 23277 114 | 3 | 7 1611.30/1611.83 c 1611s | 21 | 2259830 | 1069645 | 23277 114 | 3 | 7 1613.31/1613.88 c 1613s | 21 | 2262639 | 1071045 | 23277 114 | 3 | 7 1615.41/1615.93 c 1615s | 21 | 2265253 | 1072245 | 23277 114 | 3 | 7 1617.40/1617.98 c 1617s | 21 | 2267976 | 1073645 | 23277 114 | 3 | 7 1619.50/1620.04 c 1619s | 21 | 2270901 | 1075045 | 23277 115 | 3 | 7 1621.50/1622.09 c 1621s | 21 | 2274209 | 1076645 | 23277 115 | 3 | 7 1623.60/1624.13 c 1623s | 21 | 2277270 | 1078145 | 23277 115 | 3 | 7 1625.60/1626.18 c 1625s | 21 | 2280296 | 1079645 | 23277 115 | 3 | 7 1627.70/1628.26 c 1628s | 21 | 2283489 | 1081245 | 23277 115 | 3 | 7 1629.81/1630.35 c 1630s | 21 | 2286628 | 1082945 | 23277 115 | 3 | 7 1632.60/1633.17 c 1632s | 21 | 2289105 | 1084145 | 23277 115 | 3 | 7 1635.10/1635.65 c 1635s | 21 | 2290370 | 1084745 | 23277 115 | 3 | 7 1637.30/1637.85 c 1637s | 21 | 2292218 | 1085645 | 23277 116 | 3 | 7 1639.39/1639.93 c 1639s | 21 | 2295159 | 1086945 | 23277 116 | 3 | 7 1641.39/1641.96 c 1641s | 21 | 2298175 | 1088245 | 23277 116 | 3 | 7 1643.49/1644.06 c 1643s | 21 | 2300996 | 1089545 | 23277 116 | 3 | 7 1645.69/1646.24 c 1645s | 21 | 2303383 | 1090745 | 23277 116 | 3 | 7 1647.69/1648.26 c 1648s | 21 | 2306040 | 1091945 | 23277 116 | 3 | 7 1649.89/1650.40 c 1650s | 21 | 2308833 | 1093245 | 23277 116 | 3 | 7 1651.89/1652.43 c 1652s | 21 | 2311400 | 1094345 | 23277 116 | 3 | 7 1653.90/1654.45 c 1654s | 21 | 2314045 | 1095345 | 23277 116 | 3 | 7 1656.00/1656.54 c 1656s | 21 | 2316829 | 1096545 | 23277 116 | 3 | 7 1658.10/1658.64 c 1658s | 21 | 2318959 | 1097645 | 23277 117 | 3 | 7 1660.10/1660.65 c 1660s | 21 | 2321623 | 1098845 | 23277 117 | 3 | 7 1662.09/1662.68 c 1662s | 21 | 2324529 | 1100145 | 23277 117 | 3 | 7 1664.29/1664.82 c 1664s | 21 | 2327664 | 1101545 | 23277 117 | 3 | 7 1666.39/1666.95 c 1666s | 21 | 2330719 | 1102845 | 23277 117 | 3 | 7 1668.49/1669.08 c 1668s | 21 | 2333524 | 1104145 | 23277 117 | 3 | 7 1670.59/1671.19 c 1670s | 21 | 2335959 | 1105345 | 23277 117 | 3 | 7 1672.79/1673.30 c 1673s | 21 | 2338450 | 1106445 | 23277 117 | 3 | 7 1674.80/1675.35 c 1675s | 21 | 2340696 | 1107545 | 23277 117 | 3 | 7 1677.00/1677.58 c 1677s | 21 | 2343421 | 1108745 | 23277 117 | 3 | 7 1679.09/1679.62 c 1679s | 21 | 2345488 | 1109745 | 23277 118 | 3 | 7 1681.09/1681.63 c 1681s | 21 | 2348900 | 1111145 | 23277 118 | 3 | 7 1683.09/1683.64 c 1683s | 21 | 2351650 | 1112445 | 23277 118 | 3 | 7 1685.19/1685.72 c 1685s | 21 | 2354719 | 1113745 | 23277 118 | 3 | 7 1687.29/1687.89 c 1687s | 21 | 2357871 | 1115145 | 23277 118 | 3 | 7 1689.39/1689.96 c 1689s | 21 | 2360454 | 1116345 | 23277 118 | 3 | 7 1691.59/1692.11 c 1691s | 21 | 2363288 | 1117645 | 23277 118 | 3 | 7 1693.69/1694.23 c 1693s | 21 | 2365741 | 1118845 | 23277 118 | 3 | 7 1695.69/1696.24 c 1695s | 21 | 2368394 | 1120045 | 23277 118 | 3 | 7 1697.99/1698.54 c 1698s | 21 | 2370790 | 1121245 | 23277 119 | 3 | 7 1699.99/1700.59 c 1700s | 21 | 2373550 | 1122545 | 23277 119 | 3 | 7 1702.09/1702.62 c 1702s | 21 | 2376519 | 1123945 | 23277 119 | 3 | 7 1704.09/1704.67 c 1704s | 21 | 2379793 | 1125345 | 23277 119 | 3 | 7 1706.08/1706.69 c 1706s | 21 | 2382542 | 1126645 | 23277 119 | 3 | 7 1708.18/1708.76 c 1708s | 21 | 2385258 | 1128045 | 23277 119 | 3 | 7 1710.18/1710.76 c 1710s | 21 | 2387515 | 1129245 | 23277 119 | 3 | 7 1712.29/1712.87 c 1712s | 21 | 2390661 | 1130645 | 23277 119 | 3 | 7 1714.28/1714.88 c 1714s | 21 | 2393749 | 1131945 | 23277 119 | 3 | 7 1716.38/1716.90 c 1716s | 21 | 2396080 | 1133145 | 23277 119 | 3 | 7 1718.38/1718.93 c 1718s | 21 | 2398621 | 1134445 | 23277 120 | 3 | 7 1720.38/1720.96 c 1720s | 21 | 2401713 | 1135845 | 23277 120 | 3 | 7 1722.38/1722.97 c 1722s | 21 | 2404295 | 1137245 | 23277 120 | 3 | 7 1724.58/1725.11 c 1724s | 21 | 2407039 | 1138645 | 23277 120 | 3 | 7 1726.68/1727.21 c 1726s | 21 | 2409972 | 1140045 | 23277 120 | 3 | 7 1728.79/1729.35 c 1729s | 21 | 2412796 | 1141445 | 23277 120 | 3 | 7 1730.89/1731.47 c 1731s | 21 | 2415590 | 1142845 | 23277 120 | 3 | 7 1732.98/1733.50 c 1733s | 21 | 2418162 | 1144045 | 23277 120 | 3 | 7 1735.08/1735.61 c 1735s | 21 | 2420996 | 1145345 | 23277 120 | 3 | 7 1737.08/1737.69 c 1737s | 21 | 2423863 | 1146645 | 23277 121 | 3 | 7 1739.28/1739.80 c 1739s | 21 | 2427237 | 1148145 | 23277 121 | 3 | 7 1741.28/1741.81 c 1741s | 21 | 2430331 | 1149545 | 23277 121 | 3 | 7 1743.28/1743.87 c 1743s | 21 | 2433488 | 1151045 | 23277 121 | 3 | 7 1745.38/1745.95 c 1745s | 21 | 2436556 | 1152545 | 23277 121 | 3 | 7 1747.48/1748.05 c 1747s | 21 | 2439389 | 1154045 | 23277 121 | 3 | 7 1749.48/1750.07 c 1749s | 21 | 2442670 | 1155545 | 23277 121 | 3 | 7 1751.58/1752.18 c 1751s | 21 | 2445966 | 1156945 | 23277 121 | 3 | 7 1753.68/1754.23 c 1753s | 21 | 2448919 | 1158345 | 23277 122 | 3 | 7 1755.78/1756.32 c 1756s | 21 | 2452617 | 1160045 | 23277 122 | 3 | 7 1757.78/1758.32 c 1758s | 21 | 2455956 | 1161745 | 23277 122 | 3 | 7 1759.78/1760.39 c 1760s | 21 | 2459610 | 1163445 | 23277 122 | 3 | 7 1761.98/1762.52 c 1762s | 21 | 2463164 | 1165145 | 23277 122 | 3 | 7 1764.07/1764.65 c 1764s | 21 | 2466750 | 1166845 | 23277 122 | 3 | 7 1766.18/1766.76 c 1766s | 21 | 2469704 | 1168345 | 23277 122 | 3 | 7 1768.28/1768.83 c 1768s | 21 | 2472103 | 1169545 | 23277 122 | 3 | 7 1770.37/1770.98 c 1770s | 21 | 2474494 | 1170745 | 23277 123 | 3 | 7 1772.68/1773.26 c 1773s | 21 | 2476086 | 1171445 | 23277 123 | 3 | 7 1774.67/1775.29 c 1775s | 21 | 2477155 | 1171945 | 23277 123 | 3 | 7 1776.88/1777.46 c 1777s | 21 | 2480065 | 1173145 | 23277 123 | 3 | 7 1778.98/1779.56 c 1779s | 21 | 2482442 | 1174445 | 23277 123 | 3 | 7 1781.18/1781.71 c 1781s | 21 | 2485059 | 1175645 | 23277 123 | 3 | 7 1783.18/1783.78 c 1783s | 21 | 2487919 | 1176945 | 23277 123 | 3 | 7 1785.28/1785.88 c 1785s | 21 | 2490500 | 1178145 | 23277 123 | 3 | 7 1787.48/1788.00 c 1787s | 21 | 2492625 | 1179245 | 23277 123 | 3 | 7 1789.58/1790.13 c 1789s | 21 | 2494901 | 1180345 | 23277 123 | 3 | 7 1791.57/1792.15 c 1791s | 21 | 2497398 | 1181645 | 23277 123 | 3 | 7 1793.58/1794.20 c 1793s | 21 | 2500044 | 1182745 | 23277 124 | 3 | 7 1795.78/1796.32 c 1796s | 21 | 2502576 | 1183945 | 23277 124 | 3 | 7 1797.77/1798.36 c 1798s | 21 | 2504922 | 1185145 | 23277 124 | 3 | 7 1799.97/1800.54 c 1800s | 21 | 2507901 | 1186545 | 23277 124 | 3 | 7
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-4080120-1465257697/watcher-4080120-1465257697 -o /tmp/evaluation-result-4080120-1465257697/solver-4080120-1465257697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080120-1465257697.opb pid=5808 running on 4 cores: 1,3,5,7 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: 2.10 2.10 2.01 2/172 5811 /proc/meminfo: memFree=31710724/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=750148 CPUtime=0 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 2802 0 0 0 0 0 0 0 20 0 4 0 107704415 768151552 3163 33554432000 4194304 16246674 140735493074080 140735493073504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 188049 3172 442 2943 0 184943 0 [pid=5811/tid=5812] ppid=5808 vsize=767556 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 785977344 3232 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=771652 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 790171648 3249 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=775748 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107704415 794365952 3265 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 [startup+0.100165 s] /proc/loadavg: 2.10 2.10 2.01 2/172 5811 /proc/meminfo: memFree=31710724/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1219140 CPUtime=0.08 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 25204 0 0 0 6 2 0 0 20 0 4 0 107704415 1248399360 25531 33554432000 4194304 16246674 140735493074080 140735493073504 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 304785 25535 789 2943 0 301679 0 [pid=5811/tid=5812] ppid=5808 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1248399360 25538 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1248399360 25541 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107704415 1248399360 25544 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1219140 [startup+0.200493 s] /proc/loadavg: 2.10 2.10 2.01 2/172 5811 /proc/meminfo: memFree=31710724/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1223236 CPUtime=0.19 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 33463 0 0 0 16 3 0 0 20 0 4 0 107704415 1252593664 33790 33554432000 4194304 16246674 140735493074080 140735493073392 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 305809 33811 841 2943 0 302703 0 [pid=5811/tid=5812] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 33818 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 33824 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 33828 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.3005 s] /proc/loadavg: 2.10 2.10 2.01 2/172 5811 /proc/meminfo: memFree=31710724/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1223236 CPUtime=0.29 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 58353 0 0 0 22 7 0 0 20 0 4 0 107704415 1252593664 58679 33554432000 4194304 16246674 140735493074080 140735493073392 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 305809 58686 842 2943 0 302703 0 [pid=5811/tid=5812] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 58693 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 58701 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 58707 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1223236 [startup+0.700423 s] /proc/loadavg: 2.10 2.10 2.01 2/172 5811 /proc/meminfo: memFree=31710724/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1223236 CPUtime=0.69 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 140766 0 0 0 50 19 0 0 20 0 4 0 107704415 1252593664 141092 33554432000 4194304 16246674 140735493074080 140735493056000 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 305809 141100 842 2943 0 302703 0 [pid=5811/tid=5812] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 141103 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 141106 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1252593664 141110 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1223236 [startup+1.50042 s] /proc/loadavg: 2.10 2.10 2.01 3/185 5833 /proc/meminfo: memFree=30148272/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 266237 0 0 0 112 37 0 0 20 0 4 0 107704415 1332285440 266563 33554432000 4194304 16246674 140735493074080 140735493056000 5675950 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 325265 266563 844 2943 0 322159 0 [pid=5811/tid=5812] ppid=5808 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1332285440 266563 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1332285440 266563 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1332285440 266563 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10044 s] /proc/loadavg: 2.09 2.10 2.01 3/185 5833 /proc/meminfo: memFree=29821756/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 267634 0 0 0 272 37 0 0 20 0 4 0 107704415 1337528320 267960 33554432000 4194304 16246674 140735493074080 140735493056000 13820864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 326545 267960 847 2943 0 323439 0 [pid=5811/tid=5812] ppid=5808 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1337528320 267960 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1337528320 267960 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1337528320 267960 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.09 2.10 2.01 3/185 5833 /proc/meminfo: memFree=29816704/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1307204 CPUtime=6.29 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 267647 0 0 0 592 37 0 0 20 0 4 0 107704415 1338576896 267973 33554432000 4194304 16246674 140735493074080 140735493055936 5661440 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 326801 267973 847 2943 0 323695 0 [pid=5811/tid=5812] ppid=5808 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1338576896 267973 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1338576896 267973 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1338576896 267973 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7005 s] /proc/loadavg: 2.08 2.09 2.01 3/185 5833 /proc/meminfo: memFree=29816280/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1312324 CPUtime=12.68 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 269040 0 0 0 1231 37 0 0 20 0 4 0 107704415 1343819776 269366 33554432000 4194304 16246674 140735493074080 140735493056000 6861764 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 328081 269366 850 2943 0 324975 0 [pid=5811/tid=5812] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269366 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269366 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269366 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.07 2.09 2.01 3/184 5833 /proc/meminfo: memFree=29811652/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1312324 CPUtime=25.48 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 269173 0 0 0 2511 37 0 0 20 0 4 0 107704415 1343819776 269499 33554432000 4194304 16246674 140735493074080 140735493056000 5673965 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 328081 269499 850 2943 0 324975 0 [pid=5811/tid=5812] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269499 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269499 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269499 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1312324 [startup+51.1005 s] /proc/loadavg: 2.04 2.08 2.00 3/184 5833 /proc/meminfo: memFree=29530580/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1312324 CPUtime=51.08 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 269177 0 0 0 5070 38 0 0 20 0 4 0 107704415 1343819776 269502 33554432000 4194304 16246674 140735493074080 140735493056000 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 328081 269502 850 2943 0 324975 0 [pid=5811/tid=5812] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269502 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269502 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1343819776 269502 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.301 s] /proc/loadavg: 2.02 2.07 2.00 3/184 5834 /proc/meminfo: memFree=29526992/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1313348 CPUtime=102.26 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 269463 0 0 0 10188 38 0 0 20 0 4 0 107704415 1344868352 269758 33554432000 4194304 16246674 140735493074080 140735493056000 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 328337 269758 850 2943 0 325231 0 [pid=5811/tid=5812] ppid=5808 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1344868352 269758 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1344868352 269758 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1344868352 269758 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1313348 ################ # More data... # ################ /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1344068 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5864 /proc/meminfo: memFree=29493152/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1301.84 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 130114 70 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1344068 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5865 /proc/meminfo: memFree=29493068/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1361.84 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 136109 75 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 13927412 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1344068 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.00 4/184 5867 /proc/meminfo: memFree=29493336/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1421.84 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 142108 76 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1344068 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5868 /proc/meminfo: memFree=29493344/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1481.82 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 148103 79 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5523722 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1344068 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5869 /proc/meminfo: memFree=29493220/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1541.81 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 154099 82 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1344068 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/184 5870 /proc/meminfo: memFree=29493100/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1601.8 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 160097 83 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1344068 [startup+1662.3 s] /proc/loadavg: 2.07 2.02 2.00 3/184 5871 /proc/meminfo: memFree=29493112/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1661.79 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 166089 90 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5661940 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1344068 [startup+1722.3 s] /proc/loadavg: 2.17 2.06 2.02 3/184 5875 /proc/meminfo: memFree=29493316/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1721.78 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 172088 90 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1344068 [startup+1782.3 s] /proc/loadavg: 2.31 2.12 2.04 3/184 5877 /proc/meminfo: memFree=29492820/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1781.78 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 178080 98 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1344068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.24 2.11 2.03 3/184 5877 /proc/meminfo: memFree=29492828/32872528 swapFree=12744/274376 [pid=5811] ppid=5808 vsize=1344068 CPUtime=1800.07 cores=1,3,5,7 /proc/5811/stat : 5811 (toysat) R 5808 5811 5566 0 -1 4202496 277470 0 0 0 179909 98 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140735493056000 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/5811/statm: 336017 277440 850 2943 0 332911 0 [pid=5811/tid=5812] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5812/stat : 5812 (toysat) S 5808 5811 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475296099568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0 [pid=5811/tid=5813] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5813/stat : 5813 (toysat) S 5808 5811 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475285609712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0 [pid=5811/tid=5814] ppid=5808 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/5811/task/5814/stat : 5814 (toysat) S 5808 5811 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107704415 1376325632 277440 33554432000 4194304 16246674 140735493074080 140475275136176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1344068 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 5811 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.09 CPU user time (s): 1799.1 CPU system time (s): 0.98585 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1344068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 0.98585 maximum resident set size= 1109760 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277470 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= 374 involuntary context switches= 1835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.38718 second user time and 6.79997 second system time The end
Begin job on node107 at 2016-06-07 02:01:37 IDJOB=4080120 IDBENCH=48156 IDSOLVER=2542 FILE ID=node107/4080120-1465257697 RUNJOBID= node107-1465255895-5583 PBS_JOBID= 19843278 Free space on /tmp= 71732 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080120-1465257697/watcher-4080120-1465257697 -o /tmp/evaluation-result-4080120-1465257697/solver-4080120-1465257697 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080120-1465257697.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=1243771356 node107.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 : 2666.441 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 : 5332.88 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 : 2666.441 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 : 2666.441 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.54 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 : 2666.441 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 : 2666.441 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 : 2666.441 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 : 2666.441 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.56 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 : 2666.441 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: 31694488 kB Buffers: 49640 kB Cached: 149184 kB SwapCached: 1684 kB Active: 114432 kB Inactive: 87940 kB Active(anon): 5276 kB Inactive(anon): 388 kB Active(file): 109156 kB Inactive(file): 87552 kB Unevictable: 274376 kB Mlocked: 12744 kB SwapTotal: 67108856 kB SwapFree: 67098436 kB Dirty: 32692 kB Writeback: 0 kB AnonPages: 277060 kB Mapped: 6688 kB Shmem: 0 kB Slab: 569864 kB SReclaimable: 13472 kB SUnreclaim: 556392 kB KernelStack: 1480 kB PageTables: 4444 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 371636 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 262144 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= 71716 MiB End job on node107 at 2016-06-07 02:31:37