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.03 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb |
| MD5SUM | 65a3c38bd8963c911b96c745ee468cb1 |
| 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 | 38.5941 |
| 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 | 40 |
| 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) | 3062 |
| Sum of products size (including duplicates) | 6124 |
| Number of different products | 3062 |
| Sum of products size | 6124 |
0.00/0.00 c 2016-06-07T02:03:52+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-4080123-1465257831.opb"] 0.00/0.01 c use --random-gen="160427252 3334809726 628148111 3437281840 277240306 863873153 115744503 864890994 1315863866 2104416695 2004672563 4253086445 159850879 1009888355 1867303159 1549602058 2480092987 2500468947 296185979 1990859946 4102202174 1407711336 748996140 1633007729 63914990 2531901352 687397439 272490737 2296903185 43029952 3673814348 170733231 563423433 3184208830 525090791 260582923 3696628897 2956671029 3817511578 3363492326 596147906 2777838462 3318055926 3510357583 4082676819 1593082258 3409161679 3405689413 1052645377 3750876829 4030342167 942239853 2897068384 1258349030 948173664 3091524363 4100840272 81293958 4105412212 3256738806 4122201591 3812428635 1767338818 2588252446 2278228675 2427129764 3667809191 1680797195 1624696807 790531150 2439189383 2051405199 826214177 2659040752 616690105 1429475531 2283112584 2308401855 952432989 2681544970 3205629106 328433587 2657315641 3705393845 4085065853 845466280 2713105896 386838337 1669280928 3164728582 1705763349 4119092380 3379383111 2983376858 2864687932 1405759143 471752348 940606359 3423187116 958961567 4239256088 1495400833 2217542376 1101250395 2082795240 822073346 1317759060 2435400640 285551973 401638089 925575393 598268707 1513153024 912131099 3146215238 2524621207 3128229100 306898288 2613788328 888248670 3898313635 1400809662 274066330 1348492640 3650191824 3394323508 1572028132 2858925351 3897582212 2412477457 2162874407 343158990 412189689 3907353580 569566022 1004240442 1073125221 2132684743 3575643749 3974853828 2156609252 1777377129 3460978198 2198429872 4223075716 1719489147 997139305 772584099 2614660148 552171700 1348749725 2820347102 1831210628 3078647137 3898210450 4219397999 1635619969 4012713503 2634319850 2278860731 3082591226 2295250571 1803375712 292465724 232776178 862728287 3063255263 153363383 1850669417 1244026910 1278680258 4123468116 289577490 2162560685 320075032 3638693043 451079486 2114296469 1935539760 2084947896 1425798647 4112031923 111724680 818283311 3415101577 2602620816 1312850598 1766810397 177570635 1682776 512207693 2048357972 3101496316 1818716793 975406795 686561439 3537757089 2727960214 3267806025 3005507512 2456950766 838824678 1291057948 2678378362 3408266785 152664514 676384264 3586654783 4211355548 2932440536 376151645 1374840703 3216485421 2804458431 937809325 2022520983 1444406975 2382151271 2013619728 2094955387 3795639062 445373255 3061934164 216130830 2279037193 1041203612 3891830888 2516923288 1433691534 3251655938 3180895761 3505622556 3516433599 3790244145 194236661 4242348785 604374641 195929197 3351724368 989628905 2073668208 3043958385 2560252641 1484109678 3881069835 150975552 3459973213 3689678480 3494751560 1264990870 1737175223 1630718401 262130915 1136132083 2454967161 3221328928 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 | 3128 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 291 | 0 | 3128 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 = 291 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 89 0.00/0.09 c BCD2: updating upper bound: 100 -> 88 0.00/0.09 c BCD2: 0 <= obj <= 88 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 | 3128 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 91 | 0 | 3128 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 = 91 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 28: 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 <= 88 0.00/0.09 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #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.09/0.11 c 0.0s | 0 | 0 | 0 | 3128 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 591 | 0 | 3128 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 591 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 o 15 0.09/0.11 c BCD2: updating upper bound: 88 -> 14 0.09/0.12 c BCD2: 1 <= obj <= 14 0.09/0.12 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=2 bias=2/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 3128 0 | 0 | 1 0.09/0.13 c 0.0s | 0 | 362 | 23 | 3128 0 | 0 | 1 0.09/0.13 c #cpu_time = 0.013s 0.09/0.13 c #wall_clock_time = 0.013s 0.09/0.13 c #decision = 362 0.09/0.13 c #random_decision = 0 0.09/0.13 c #conflict = 23 0.09/0.13 c #restart = 0 0.09/0.13 o 8 0.09/0.13 c BCD2: updating upper bound: 14 -> 7 0.09/0.13 c BCD2: 1 <= obj <= 7 0.09/0.13 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #hardened=0 0.09/0.13 c BCD2: #sat=3 #unsat=2 bias=2/5 0.09/0.13 c Solving starts ... 0.09/0.13 c ============================[ Search Statistics ]============================ 0.09/0.13 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.13 c | | | | Limit GC | Var | Constra 0.09/0.13 c ============================================================================= 0.09/0.13 c 0.0s | 0 | 0 | 0 | 3128 0 | 0 | 2 0.09/0.19 c 0.1s | 1 | 208 | 100 | 3441 0 | 0 | 2 0.19/0.26 c 0.1s | 1 | 381 | 185 | 3441 0 | 0 | 2 0.19/0.26 c #cpu_time = 0.131s 0.19/0.26 c #wall_clock_time = 0.131s 0.19/0.26 c #decision = 381 0.19/0.26 c #random_decision = 0 0.19/0.26 c #conflict = 185 0.19/0.26 c #restart = 1 0.19/0.26 c BCD2: relaxing 72 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.19/0.26 c lower bound updated to 2 0.19/0.26 c BCD2: 2 <= obj <= 7 0.19/0.26 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.19/0.26 c BCD2: #sat=3 #unsat=3 bias=3/6 0.19/0.26 c Solving starts ... 0.19/0.26 c ============================[ Search Statistics ]============================ 0.19/0.26 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.19/0.26 c | | | | Limit GC | Var | Constra 0.19/0.26 c ============================================================================= 0.19/0.26 c 0.0s | 0 | 0 | 0 | 3441 0 | 3 | 2 0.39/0.41 c 0.1s | 1 | 766 | 100 | 3786 0 | 3 | 7 0.59/0.65 c 0.4s | 2 | 1271 | 250 | 3786 0 | 3 | 7 0.99/1.01 c 0.8s | 3 | 1900 | 475 | 4165 0 | 3 | 7 1.49/1.52 c 1.3s | 4 | 2514 | 813 | 4582 0 | 3 | 7 2.09/2.16 c 1.9s | 5 | 3858 | 1320 | 5041 0 | 3 | 7 2.99/3.02 c 2.8s | 6 | 5745 | 2081 | 5546 0 | 3 | 7 4.09/4.17 c 3.9s | 7 | 8486 | 3223 | 6101 0 | 3 | 7 5.99/6.06 c 5.8s | 8 | 13181 | 4936 | 6712 0 | 3 | 7 8.09/8.15 c 7.9s | 8 | 16846 | 6636 | 6712 0 | 3 | 7 9.09/9.15 c 8.9s | 9 | 18577 | 7506 | 7384 0 | 3 | 7 11.19/11.26 c 11.0s | 9 | 22658 | 9206 | 7384 1 | 3 | 7 13.29/13.39 c 13.1s | 9 | 26196 | 10906 | 7384 1 | 3 | 7 14.09/14.13 c 13.9s | 10 | 27098 | 11361 | 8123 1 | 3 | 7 16.19/16.22 c 16.0s | 10 | 30287 | 12861 | 8123 2 | 3 | 7 18.29/18.35 c 18.1s | 10 | 34017 | 14661 | 8123 2 | 3 | 7 20.29/20.37 c 20.1s | 10 | 37192 | 16161 | 8123 2 | 3 | 7 21.49/21.54 c 21.3s | 11 | 39197 | 17144 | 8936 2 | 3 | 7 23.59/23.62 c 23.4s | 11 | 43088 | 18744 | 8936 3 | 3 | 7 25.59/25.67 c 25.4s | 11 | 46631 | 20244 | 8936 3 | 3 | 7 27.68/27.74 c 27.5s | 11 | 49852 | 21744 | 8936 3 | 3 | 7 29.69/29.74 c 29.5s | 11 | 53251 | 23244 | 8936 4 | 3 | 7 31.78/31.83 c 31.6s | 11 | 56709 | 24844 | 8936 4 | 3 | 7 32.99/33.06 c 32.8s | 12 | 58619 | 25819 | 9830 4 | 3 | 7 35.08/35.11 c 34.8s | 12 | 61985 | 27319 | 9830 4 | 3 | 7 37.08/37.15 c 36.9s | 12 | 65042 | 28819 | 9830 5 | 3 | 7 39.18/39.20 c 38.9s | 12 | 68962 | 30519 | 9830 5 | 3 | 7 41.18/41.29 c 41.0s | 12 | 71711 | 32019 | 9830 5 | 3 | 7 43.28/43.34 c 43.1s | 12 | 74544 | 33419 | 9830 6 | 3 | 7 45.28/45.34 c 45.1s | 12 | 77720 | 35019 | 9830 6 | 3 | 7 47.29/47.39 c 47.1s | 12 | 80661 | 36519 | 9830 6 | 3 | 7 49.38/49.48 c 49.2s | 12 | 83543 | 37919 | 9830 6 | 3 | 7 50.59/50.63 c 50.4s | 13 | 85977 | 38832 | 10813 6 | 3 | 7 52.68/52.72 c 52.5s | 13 | 89108 | 40232 | 10813 7 | 3 | 7 54.68/54.79 c 54.5s | 13 | 92097 | 41632 | 10813 7 | 3 | 7 56.88/56.93 c 56.7s | 13 | 95395 | 43132 | 10813 7 | 3 | 7 58.98/59.03 c 58.8s | 13 | 98236 | 44532 | 10813 8 | 3 | 7 60.98/61.08 c 60.8s | 13 | 101711 | 46032 | 10813 8 | 3 | 7 63.08/63.18 c 62.9s | 13 | 105080 | 47632 | 10813 8 | 3 | 7 65.18/65.25 c 65.0s | 13 | 108221 | 49132 | 10813 8 | 3 | 7 67.28/67.30 c 67.0s | 13 | 111571 | 50632 | 10813 9 | 3 | 7 69.28/69.32 c 69.1s | 13 | 115689 | 52432 | 10813 9 | 3 | 7 71.38/71.45 c 71.2s | 13 | 118707 | 54032 | 10813 9 | 3 | 7 73.37/73.46 c 73.2s | 13 | 121813 | 55432 | 10813 9 | 3 | 7 75.37/75.50 c 75.2s | 13 | 125303 | 56832 | 10813 10 | 3 | 7 77.47/77.50 c 77.2s | 14 | 129155 | 58352 | 11895 10 | 3 | 7 79.47/79.52 c 79.3s | 14 | 132859 | 59952 | 11895 10 | 3 | 7 81.57/81.67 c 81.4s | 14 | 136145 | 61452 | 11895 10 | 3 | 7 83.58/83.67 c 83.4s | 14 | 138985 | 62752 | 11895 10 | 3 | 7 85.57/85.68 c 85.4s | 14 | 142313 | 64252 | 11895 11 | 3 | 7 87.67/87.76 c 87.5s | 14 | 145537 | 65752 | 11895 11 | 3 | 7 89.67/89.78 c 89.5s | 14 | 148756 | 67152 | 11895 11 | 3 | 7 91.78/91.84 c 91.6s | 14 | 151937 | 68652 | 11895 11 | 3 | 7 93.78/93.84 c 93.6s | 14 | 154290 | 69952 | 11895 12 | 3 | 7 95.88/95.97 c 95.7s | 14 | 157694 | 71552 | 11895 12 | 3 | 7 97.89/97.97 c 97.7s | 14 | 161205 | 73152 | 11895 12 | 3 | 7 99.98/100.06 c 99.8s | 14 | 164278 | 74652 | 11895 12 | 3 | 7 102.08/102.16 c 101s | 14 | 167517 | 76052 | 11895 13 | 3 | 7 104.08/104.16 c 103s | 14 | 171308 | 77652 | 11895 13 | 3 | 7 106.18/106.23 c 105s | 14 | 174203 | 79152 | 11895 13 | 3 | 7 108.18/108.25 c 107s | 14 | 177338 | 80752 | 11895 13 | 3 | 7 110.28/110.31 c 110s | 14 | 180227 | 82152 | 11895 14 | 3 | 7 112.28/112.34 c 112s | 14 | 184350 | 83952 | 11895 14 | 3 | 7 114.28/114.36 c 114s | 14 | 188041 | 85552 | 11895 14 | 3 | 7 116.38/116.48 c 116s | 14 | 191875 | 87252 | 13085 14 | 3 | 7 116.88/116.96 c 116s | 15 | 192581 | 87632 | 13085 14 | 3 | 7 119.08/119.18 c 118s | 15 | 195655 | 89032 | 13085 15 | 3 | 7 121.28/121.31 c 121s | 15 | 199533 | 90532 | 13085 15 | 3 | 7 123.38/123.40 c 123s | 15 | 202950 | 92132 | 13085 15 | 3 | 7 125.38/125.49 c 125s | 15 | 206347 | 93532 | 13085 15 | 3 | 7 127.47/127.51 c 127s | 15 | 209382 | 94932 | 13085 15 | 3 | 7 129.57/129.68 c 129s | 15 | 212838 | 96432 | 13085 16 | 3 | 7 131.67/131.70 c 131s | 15 | 215607 | 97832 | 13085 16 | 3 | 7 133.67/133.73 c 133s | 15 | 218472 | 99132 | 13085 16 | 3 | 7 135.67/135.75 c 135s | 15 | 222257 | 100732 | 13085 16 | 3 | 7 137.77/137.88 c 137s | 15 | 225446 | 102232 | 13085 16 | 3 | 7 139.87/139.97 c 139s | 15 | 229143 | 103732 | 13085 17 | 3 | 7 141.98/142.02 c 141s | 15 | 232807 | 105332 | 13085 17 | 3 | 7 143.97/144.08 c 143s | 15 | 235499 | 106732 | 13085 17 | 3 | 7 146.07/146.16 c 145s | 15 | 239202 | 108332 | 13085 17 | 3 | 7 148.07/148.19 c 147s | 15 | 242228 | 109832 | 13085 18 | 3 | 7 150.17/150.23 c 149s | 15 | 246009 | 111532 | 13085 18 | 3 | 7 152.17/152.24 c 151s | 15 | 248829 | 113032 | 13085 18 | 3 | 7 154.27/154.33 c 154s | 15 | 251467 | 114432 | 13085 18 | 3 | 7 156.28/156.33 c 156s | 15 | 254701 | 115832 | 13085 18 | 3 | 7 158.27/158.33 c 158s | 15 | 258314 | 117232 | 13085 19 | 3 | 7 160.37/160.44 c 160s | 15 | 261717 | 118832 | 13085 19 | 3 | 7 162.37/162.45 c 162s | 15 | 265124 | 120332 | 13085 19 | 3 | 7 164.47/164.54 c 164s | 15 | 268623 | 121832 | 13085 19 | 3 | 7 166.47/166.56 c 166s | 15 | 272143 | 123432 | 13085 19 | 3 | 7 168.47/168.59 c 168s | 15 | 275154 | 124932 | 13085 20 | 3 | 7 170.58/170.61 c 170s | 15 | 278848 | 126532 | 13085 20 | 3 | 7 172.57/172.68 c 172s | 15 | 282205 | 128132 | 13085 20 | 3 | 7 174.67/174.76 c 174s | 15 | 285496 | 129832 | 13085 20 | 3 | 7 176.87/176.91 c 176s | 15 | 288558 | 131332 | 14394 21 | 3 | 7 177.07/177.19 c 176s | 16 | 289271 | 131552 | 14394 21 | 3 | 7 179.17/179.29 c 179s | 16 | 292631 | 133152 | 14394 21 | 3 | 7 181.27/181.39 c 181s | 16 | 296019 | 134752 | 14394 21 | 3 | 7 183.37/183.48 c 183s | 16 | 299362 | 136352 | 14394 21 | 3 | 7 185.46/185.58 c 185s | 16 | 302277 | 137852 | 14394 21 | 3 | 7 187.56/187.69 c 187s | 16 | 305509 | 139352 | 14394 22 | 3 | 7 189.66/189.74 c 189s | 16 | 309407 | 141052 | 14394 22 | 3 | 7 191.66/191.77 c 191s | 16 | 313106 | 142752 | 14394 22 | 3 | 7 193.76/193.82 c 193s | 16 | 316402 | 144452 | 14394 22 | 3 | 7 195.77/195.87 c 195s | 16 | 319743 | 146052 | 14394 22 | 3 | 7 197.86/197.90 c 197s | 16 | 323326 | 147752 | 14394 23 | 3 | 7 199.86/200.00 c 199s | 16 | 326916 | 149552 | 14394 23 | 3 | 7 201.96/202.09 c 201s | 16 | 330702 | 151252 | 14394 23 | 3 | 7 204.06/204.15 c 203s | 16 | 334498 | 152852 | 14394 23 | 3 | 7 206.06/206.19 c 205s | 16 | 338484 | 154552 | 14394 24 | 3 | 7 208.16/208.26 c 207s | 16 | 342176 | 156352 | 14394 24 | 3 | 7 210.26/210.37 c 210s | 16 | 346142 | 158252 | 14394 24 | 3 | 7 212.37/212.48 c 212s | 16 | 349832 | 160052 | 14394 24 | 3 | 7 214.47/214.51 c 214s | 16 | 353106 | 161652 | 14394 24 | 3 | 7 216.46/216.52 c 216s | 16 | 357365 | 163652 | 14394 25 | 3 | 7 218.46/218.54 c 218s | 16 | 361493 | 165652 | 14394 25 | 3 | 7 220.56/220.63 c 220s | 16 | 364912 | 167252 | 14394 25 | 3 | 7 222.66/222.70 c 222s | 16 | 366800 | 168152 | 14394 25 | 3 | 7 224.66/224.78 c 224s | 16 | 370420 | 169752 | 14394 26 | 3 | 7 226.76/226.87 c 226s | 16 | 373827 | 171352 | 14394 26 | 3 | 7 228.76/228.90 c 228s | 16 | 376700 | 172752 | 14394 26 | 3 | 7 230.85/230.91 c 230s | 16 | 380321 | 174352 | 14394 26 | 3 | 7 232.85/232.93 c 232s | 16 | 383312 | 175852 | 14394 26 | 3 | 7 234.95/235.02 c 234s | 16 | 386100 | 177252 | 14394 27 | 3 | 7 236.95/237.07 c 236s | 16 | 389548 | 178852 | 14394 27 | 3 | 7 239.15/239.21 c 238s | 16 | 393064 | 180552 | 14394 27 | 3 | 7 241.15/241.24 c 240s | 16 | 396257 | 181952 | 14394 27 | 3 | 7 243.25/243.33 c 243s | 16 | 399593 | 183552 | 14394 27 | 3 | 7 245.26/245.37 c 245s | 16 | 402815 | 185052 | 14394 28 | 3 | 7 247.35/247.49 c 247s | 16 | 406095 | 186652 | 14394 28 | 3 | 7 249.45/249.60 c 249s | 16 | 409433 | 188352 | 14394 28 | 3 | 7 251.65/251.70 c 251s | 16 | 412512 | 189852 | 14394 28 | 3 | 7 253.75/253.81 c 253s | 16 | 415709 | 191352 | 14394 28 | 3 | 7 255.75/255.81 c 255s | 16 | 419134 | 193052 | 14394 29 | 3 | 7 257.75/257.81 c 257s | 16 | 422351 | 194552 | 14394 29 | 3 | 7 259.85/259.91 c 259s | 16 | 425731 | 196152 | 15834 29 | 3 | 7 261.35/261.49 c 261s | 17 | 428239 | 197432 | 15834 29 | 3 | 7 263.55/263.60 c 263s | 17 | 430785 | 198632 | 15834 29 | 3 | 7 265.65/265.70 c 265s | 17 | 433692 | 200132 | 15834 29 | 3 | 7 267.75/267.83 c 267s | 17 | 436314 | 201532 | 15834 30 | 3 | 7 269.85/269.91 c 269s | 17 | 439260 | 202832 | 15834 30 | 3 | 7 271.95/272.04 c 271s | 17 | 442542 | 204332 | 15834 30 | 3 | 7 274.05/274.12 c 273s | 17 | 445693 | 205832 | 15834 30 | 3 | 7 276.05/276.17 c 275s | 17 | 449102 | 207432 | 15834 30 | 3 | 7 278.14/278.23 c 277s | 17 | 452104 | 208832 | 15834 30 | 3 | 7 280.24/280.31 c 280s | 17 | 455816 | 210532 | 15834 31 | 3 | 7 282.34/282.43 c 282s | 17 | 458885 | 212132 | 15834 31 | 3 | 7 284.34/284.48 c 284s | 17 | 462139 | 213632 | 15834 31 | 3 | 7 286.44/286.53 c 286s | 17 | 465166 | 215032 | 15834 31 | 3 | 7 288.54/288.67 c 288s | 17 | 468401 | 216532 | 15834 31 | 3 | 7 290.64/290.72 c 290s | 17 | 471642 | 218032 | 15834 32 | 3 | 7 292.74/292.80 c 292s | 17 | 474806 | 219632 | 15834 32 | 3 | 7 294.75/294.89 c 294s | 17 | 478317 | 221232 | 15834 32 | 3 | 7 296.84/296.93 c 296s | 17 | 481511 | 222532 | 15834 32 | 3 | 7 298.94/299.05 c 298s | 17 | 484647 | 223932 | 15834 32 | 3 | 7 300.94/301.09 c 300s | 17 | 487631 | 225332 | 15834 32 | 3 | 7 303.14/303.20 c 302s | 17 | 490812 | 226732 | 15834 33 | 3 | 7 305.14/305.29 c 305s | 17 | 494023 | 228232 | 15834 33 | 3 | 7 307.24/307.36 c 307s | 17 | 496934 | 229732 | 15834 33 | 3 | 7 309.34/309.40 c 309s | 17 | 499934 | 231232 | 15834 33 | 3 | 7 311.35/311.48 c 311s | 17 | 502625 | 232632 | 15834 33 | 3 | 7 313.55/313.62 c 313s | 17 | 505815 | 234132 | 15834 34 | 3 | 7 315.54/315.66 c 315s | 17 | 509061 | 235732 | 15834 34 | 3 | 7 317.64/317.79 c 317s | 17 | 512588 | 237432 | 15834 34 | 3 | 7 319.74/319.82 c 319s | 17 | 515864 | 239032 | 15834 34 | 3 | 7 321.84/321.92 c 321s | 17 | 519292 | 240732 | 15834 34 | 3 | 7 323.84/323.94 c 323s | 17 | 522412 | 242232 | 15834 34 | 3 | 7 325.94/326.04 c 325s | 17 | 525879 | 243932 | 15834 35 | 3 | 7 327.94/328.07 c 327s | 17 | 529646 | 245732 | 15834 35 | 3 | 7 329.94/330.08 c 329s | 17 | 532980 | 247332 | 15834 35 | 3 | 7 332.04/332.10 c 331s | 17 | 536198 | 248932 | 15834 35 | 3 | 7 334.04/334.18 c 333s | 17 | 539901 | 250632 | 15834 35 | 3 | 7 336.14/336.20 c 335s | 17 | 543700 | 252332 | 15834 36 | 3 | 7 338.14/338.30 c 338s | 17 | 547517 | 254132 | 15834 36 | 3 | 7 340.24/340.30 c 340s | 17 | 550992 | 255832 | 15834 36 | 3 | 7 342.24/342.37 c 342s | 17 | 554998 | 257732 | 15834 36 | 3 | 7 344.24/344.40 c 344s | 17 | 559125 | 259732 | 15834 36 | 3 | 7 346.44/346.52 c 346s | 17 | 561220 | 260732 | 15834 37 | 3 | 7 348.43/348.55 c 348s | 17 | 563850 | 261932 | 15834 37 | 3 | 7 350.43/350.56 c 350s | 17 | 567652 | 263632 | 15834 37 | 3 | 7 352.53/352.65 c 352s | 17 | 571163 | 265232 | 15834 37 | 3 | 7 354.63/354.71 c 354s | 17 | 574098 | 266632 | 15834 37 | 3 | 7 356.63/356.77 c 356s | 17 | 576745 | 268032 | 15834 37 | 3 | 7 358.73/358.85 c 358s | 17 | 579641 | 269532 | 15834 38 | 3 | 7 360.74/360.87 c 360s | 17 | 582733 | 271032 | 15834 38 | 3 | 7 362.83/362.96 c 362s | 17 | 585967 | 272632 | 15834 38 | 3 | 7 364.93/365.05 c 364s | 17 | 589518 | 274232 | 15834 38 | 3 | 7 367.03/367.17 c 366s | 17 | 592197 | 275632 | 15834 38 | 3 | 7 369.13/369.22 c 368s | 17 | 594899 | 276932 | 15834 39 | 3 | 7 371.13/371.28 c 371s | 17 | 597708 | 278432 | 15834 39 | 3 | 7 373.13/373.29 c 373s | 17 | 600906 | 279832 | 15834 39 | 3 | 7 375.23/375.33 c 375s | 17 | 604103 | 281332 | 15834 39 | 3 | 7 377.34/377.41 c 377s | 17 | 606998 | 282732 | 15834 39 | 3 | 7 379.44/379.52 c 379s | 17 | 609906 | 284132 | 15834 39 | 3 | 7 381.53/381.66 c 381s | 17 | 613255 | 285732 | 15834 40 | 3 | 7 383.64/383.72 c 383s | 17 | 617168 | 287332 | 15834 40 | 3 | 7 385.64/385.78 c 385s | 17 | 620441 | 288832 | 15834 40 | 3 | 7 387.74/387.88 c 387s | 17 | 623480 | 290232 | 15834 40 | 3 | 7 389.84/389.92 c 389s | 17 | 626579 | 291532 | 15834 40 | 3 | 7 391.84/391.94 c 391s | 17 | 629355 | 292932 | 15834 40 | 3 | 7 393.84/393.95 c 393s | 17 | 632710 | 294532 | 17418 41 | 3 | 7 395.83/395.96 c 395s | 17 | 635892 | 296132 | 17418 41 | 3 | 7 396.04/396.11 c 395s | 18 | 636189 | 296252 | 17418 41 | 3 | 7 398.53/398.63 c 398s | 18 | 639500 | 297852 | 17418 41 | 3 | 7 400.63/400.73 c 400s | 18 | 642754 | 299252 | 17418 41 | 3 | 7 402.64/402.75 c 402s | 18 | 645638 | 300652 | 17418 41 | 3 | 7 404.63/404.77 c 404s | 18 | 648050 | 301952 | 17418 41 | 3 | 7 406.83/406.91 c 406s | 18 | 651320 | 303552 | 17418 42 | 3 | 7 408.83/408.99 c 408s | 18 | 654979 | 305152 | 17418 42 | 3 | 7 410.93/411.07 c 410s | 18 | 657975 | 306652 | 17418 42 | 3 | 7 413.03/413.16 c 412s | 18 | 661169 | 308252 | 17418 42 | 3 | 7 415.13/415.28 c 415s | 18 | 664702 | 309852 | 17418 42 | 3 | 7 417.23/417.36 c 417s | 18 | 667670 | 311252 | 17418 42 | 3 | 7 419.33/419.44 c 419s | 18 | 670893 | 312652 | 17418 43 | 3 | 7 421.43/421.51 c 421s | 18 | 674753 | 314252 | 17418 43 | 3 | 7 423.53/423.65 c 423s | 18 | 678426 | 315952 | 17418 43 | 3 | 7 425.53/425.66 c 425s | 18 | 681334 | 317352 | 17418 43 | 3 | 7 427.53/427.67 c 427s | 18 | 685027 | 318952 | 17418 43 | 3 | 7 429.53/429.69 c 429s | 18 | 687672 | 320252 | 17418 43 | 3 | 7 431.73/431.82 c 431s | 18 | 690501 | 321552 | 17418 44 | 3 | 7 433.83/433.96 c 433s | 18 | 694080 | 323152 | 17418 44 | 3 | 7 435.93/436.02 c 435s | 18 | 697042 | 324652 | 17418 44 | 3 | 7 437.93/438.06 c 437s | 18 | 700896 | 326252 | 17418 44 | 3 | 7 439.93/440.09 c 439s | 18 | 703970 | 327752 | 17418 44 | 3 | 7 442.02/442.18 c 441s | 18 | 706608 | 329152 | 17418 44 | 3 | 7 444.12/444.20 c 443s | 18 | 709654 | 330552 | 17418 44 | 3 | 7 446.22/446.31 c 446s | 18 | 713010 | 332252 | 17418 45 | 3 | 7 448.22/448.36 c 448s | 18 | 715979 | 333752 | 17418 45 | 3 | 7 450.32/450.41 c 450s | 18 | 720055 | 335452 | 17418 45 | 3 | 7 452.42/452.50 c 452s | 18 | 722721 | 336852 | 17418 45 | 3 | 7 454.52/454.62 c 454s | 18 | 726326 | 338452 | 17418 45 | 3 | 7 456.62/456.71 c 456s | 18 | 729489 | 339852 | 17418 45 | 3 | 7 458.63/458.79 c 458s | 18 | 732445 | 341252 | 17418 46 | 3 | 7 460.72/460.90 c 460s | 18 | 735854 | 342952 | 17418 46 | 3 | 7 462.82/462.97 c 462s | 18 | 739329 | 344552 | 17418 46 | 3 | 7 464.92/465.02 c 464s | 18 | 742134 | 346052 | 17418 46 | 3 | 7 466.92/467.08 c 466s | 18 | 745408 | 347552 | 17418 46 | 3 | 7 469.12/469.29 c 469s | 18 | 748626 | 349152 | 17418 47 | 3 | 7 471.22/471.34 c 471s | 18 | 751769 | 350752 | 17418 47 | 3 | 7 473.22/473.36 c 473s | 18 | 754783 | 352252 | 17418 47 | 3 | 7 475.32/475.42 c 475s | 18 | 758134 | 353952 | 17418 47 | 3 | 7 477.33/477.46 c 477s | 18 | 761176 | 355552 | 17418 47 | 3 | 7 479.32/479.47 c 479s | 18 | 764004 | 357052 | 17418 47 | 3 | 7 481.52/481.65 c 481s | 18 | 767201 | 358552 | 17418 48 | 3 | 7 483.62/483.71 c 483s | 18 | 770827 | 360452 | 17418 48 | 3 | 7 485.62/485.74 c 485s | 18 | 774400 | 362052 | 17418 48 | 3 | 7 487.62/487.79 c 487s | 18 | 777902 | 363752 | 17418 48 | 3 | 7 489.72/489.89 c 489s | 18 | 781583 | 365452 | 17418 48 | 3 | 7 491.82/491.92 c 491s | 18 | 784905 | 367052 | 17418 48 | 3 | 7 493.92/494.05 c 493s | 18 | 788502 | 368852 | 17418 49 | 3 | 7 495.91/496.07 c 495s | 18 | 792233 | 370652 | 17418 49 | 3 | 7 498.01/498.15 c 497s | 18 | 796196 | 372552 | 17418 49 | 3 | 7 500.11/500.20 c 499s | 18 | 799844 | 374452 | 17418 49 | 3 | 7 502.11/502.22 c 501s | 18 | 803559 | 376352 | 17418 49 | 3 | 7 504.31/504.40 c 504s | 18 | 806965 | 377952 | 17418 50 | 3 | 7 506.31/506.46 c 506s | 18 | 808628 | 378652 | 17418 50 | 3 | 7 508.31/508.47 c 508s | 18 | 811493 | 380152 | 17418 50 | 3 | 7 510.42/510.53 c 510s | 18 | 814997 | 381752 | 17418 50 | 3 | 7 512.41/512.55 c 512s | 18 | 817482 | 383152 | 17418 50 | 3 | 7 514.41/514.57 c 514s | 18 | 820018 | 384452 | 17418 50 | 3 | 7 516.51/516.68 c 516s | 18 | 823031 | 385852 | 17418 50 | 3 | 7 518.61/518.78 c 518s | 18 | 826457 | 387352 | 17418 51 | 3 | 7 520.71/520.89 c 520s | 18 | 829466 | 388852 | 17418 51 | 3 | 7 522.81/522.93 c 522s | 18 | 832440 | 390352 | 17418 51 | 3 | 7 524.81/524.97 c 524s | 18 | 834907 | 391752 | 17418 51 | 3 | 7 526.91/527.01 c 526s | 18 | 837871 | 393152 | 17418 51 | 3 | 7 529.01/529.13 c 528s | 18 | 841270 | 394752 | 17418 51 | 3 | 7 531.01/531.18 c 530s | 18 | 843876 | 396152 | 17418 52 | 3 | 7 533.11/533.27 c 533s | 18 | 846764 | 397552 | 17418 52 | 3 | 7 535.21/535.37 c 535s | 18 | 849949 | 399152 | 17418 52 | 3 | 7 537.41/537.50 c 537s | 18 | 853011 | 400652 | 17418 52 | 3 | 7 539.41/539.51 c 539s | 18 | 855962 | 402052 | 17418 52 | 3 | 7 541.40/541.58 c 541s | 18 | 858800 | 403352 | 17418 52 | 3 | 7 543.50/543.64 c 543s | 18 | 861368 | 404552 | 17418 52 | 3 | 7 545.61/545.76 c 545s | 18 | 864568 | 406052 | 17418 53 | 3 | 7 547.71/547.84 c 547s | 18 | 867336 | 407452 | 17418 53 | 3 | 7 549.80/549.92 c 549s | 18 | 870621 | 409052 | 17418 53 | 3 | 7 551.80/551.96 c 551s | 18 | 873550 | 410452 | 17418 53 | 3 | 7 553.90/554.03 c 553s | 18 | 876284 | 411852 | 17418 53 | 3 | 7 555.90/556.03 c 555s | 18 | 878970 | 413152 | 17418 53 | 3 | 7 557.90/558.07 c 557s | 18 | 881728 | 414552 | 17418 54 | 3 | 7 560.00/560.15 c 559s | 18 | 885660 | 416252 | 17418 54 | 3 | 7 562.01/562.17 c 561s | 18 | 888919 | 417752 | 17418 54 | 3 | 7 564.00/564.19 c 563s | 18 | 892010 | 419252 | 17418 54 | 3 | 7 566.20/566.31 c 566s | 18 | 894915 | 420752 | 17418 54 | 3 | 7 568.20/568.39 c 568s | 18 | 898302 | 422252 | 17418 54 | 3 | 7 570.30/570.47 c 570s | 18 | 901524 | 423752 | 17418 55 | 3 | 7 572.50/572.62 c 572s | 18 | 905015 | 425352 | 17418 55 | 3 | 7 574.50/574.64 c 574s | 18 | 907758 | 426852 | 17418 55 | 3 | 7 576.60/576.72 c 576s | 18 | 910741 | 428452 | 17418 55 | 3 | 7 578.70/578.82 c 578s | 18 | 913997 | 429952 | 17418 55 | 3 | 7 580.71/580.86 c 580s | 18 | 916698 | 431452 | 17418 55 | 3 | 7 582.70/582.89 c 582s | 18 | 919653 | 432952 | 17418 56 | 3 | 7 584.90/585.00 c 584s | 18 | 923109 | 434652 | 17418 56 | 3 | 7 586.90/587.03 c 586s | 18 | 926491 | 436252 | 17418 56 | 3 | 7 589.00/589.13 c 588s | 18 | 929863 | 437852 | 17418 56 | 3 | 7 591.10/591.20 c 590s | 18 | 932900 | 439352 | 17418 56 | 3 | 7 593.10/593.21 c 592s | 18 | 935896 | 440852 | 17418 56 | 3 | 7 595.10/595.26 c 594s | 18 | 939133 | 442352 | 19160 56 | 3 | 7 597.10/597.28 c 597s | 18 | 942312 | 443852 | 19160 57 | 3 | 7 597.80/597.97 c 597s | 19 | 943648 | 444482 | 19160 57 | 3 | 7 599.90/600.05 c 599s | 19 | 947343 | 446282 | 19160 57 | 3 | 7 602.00/602.10 c 601s | 19 | 950924 | 447982 | 19160 57 | 3 | 7 604.10/604.21 c 603s | 19 | 954362 | 449782 | 19160 57 | 3 | 7 606.29/606.45 c 606s | 19 | 958102 | 451582 | 19160 57 | 3 | 7 608.40/608.52 c 608s | 19 | 959354 | 452182 | 19160 57 | 3 | 7 610.41/610.60 c 610s | 19 | 962390 | 453382 | 19160 58 | 3 | 7 612.50/612.65 c 612s | 19 | 965996 | 454982 | 19160 58 | 3 | 7 614.50/614.65 c 614s | 19 | 968893 | 456382 | 19160 58 | 3 | 7 616.60/616.73 c 616s | 19 | 971792 | 457782 | 19160 58 | 3 | 7 618.70/618.80 c 618s | 19 | 975243 | 459282 | 19160 58 | 3 | 7 620.70/620.86 c 620s | 19 | 978145 | 460682 | 19160 58 | 3 | 7 622.80/622.94 c 622s | 19 | 980753 | 461882 | 19160 58 | 3 | 7 624.90/625.05 c 624s | 19 | 983950 | 463282 | 19160 59 | 3 | 7 626.91/627.06 c 626s | 19 | 987042 | 464782 | 19160 59 | 3 | 7 629.00/629.14 c 628s | 19 | 990281 | 466182 | 19160 59 | 3 | 7 631.10/631.22 c 630s | 19 | 993313 | 467682 | 19160 59 | 3 | 7 633.10/633.25 c 632s | 19 | 995971 | 468982 | 19160 59 | 3 | 7 635.30/635.41 c 635s | 19 | 998681 | 470282 | 19160 59 | 3 | 7 637.30/637.47 c 637s | 19 | 1001740 | 471582 | 19160 59 | 3 | 7 639.40/639.58 c 639s | 19 | 1004986 | 472982 | 19160 60 | 3 | 7 641.50/641.66 c 641s | 19 | 1008359 | 474582 | 19160 60 | 3 | 7 643.60/643.77 c 643s | 19 | 1011287 | 476082 | 19160 60 | 3 | 7 645.60/645.79 c 645s | 19 | 1014426 | 477482 | 19160 60 | 3 | 7 647.80/647.91 c 647s | 19 | 1017551 | 479082 | 19160 60 | 3 | 7 649.80/649.94 c 649s | 19 | 1020186 | 480382 | 19160 60 | 3 | 7 651.79/651.96 c 651s | 19 | 1022820 | 481682 | 19160 60 | 3 | 7 653.79/653.99 c 653s | 19 | 1025537 | 482982 | 19160 61 | 3 | 7 655.89/656.00 c 655s | 19 | 1028983 | 484382 | 19160 61 | 3 | 7 657.89/658.02 c 657s | 19 | 1032168 | 485982 | 19160 61 | 3 | 7 659.90/660.07 c 659s | 19 | 1034903 | 487382 | 19160 61 | 3 | 7 661.99/662.18 c 661s | 19 | 1038591 | 489082 | 19160 61 | 3 | 7 664.09/664.23 c 663s | 19 | 1041617 | 490582 | 19160 61 | 3 | 7 666.19/666.37 c 666s | 19 | 1044824 | 491982 | 19160 61 | 3 | 7 668.29/668.45 c 668s | 19 | 1047284 | 493282 | 19160 62 | 3 | 7 670.39/670.50 c 670s | 19 | 1050506 | 494882 | 19160 62 | 3 | 7 672.49/672.60 c 672s | 19 | 1053468 | 496382 | 19160 62 | 3 | 7 674.49/674.68 c 674s | 19 | 1056342 | 497782 | 19160 62 | 3 | 7 676.59/676.76 c 676s | 19 | 1059287 | 499082 | 19160 62 | 3 | 7 678.70/678.81 c 678s | 19 | 1062151 | 500482 | 19160 62 | 3 | 7 680.69/680.84 c 680s | 19 | 1064658 | 501782 | 19160 62 | 3 | 7 682.69/682.86 c 682s | 19 | 1067652 | 503282 | 19160 63 | 3 | 7 684.79/684.96 c 684s | 19 | 1071000 | 504882 | 19160 63 | 3 | 7 686.89/687.07 c 686s | 19 | 1074590 | 506482 | 19160 63 | 3 | 7 688.99/689.15 c 688s | 19 | 1077888 | 507982 | 19160 63 | 3 | 7 691.09/691.26 c 690s | 19 | 1081007 | 509582 | 19160 63 | 3 | 7 693.19/693.32 c 693s | 19 | 1084423 | 511082 | 19160 63 | 3 | 7 695.29/695.43 c 695s | 19 | 1087672 | 512582 | 19160 63 | 3 | 7 697.29/697.47 c 697s | 19 | 1091028 | 514182 | 19160 64 | 3 | 7 699.29/699.47 c 699s | 19 | 1094196 | 515782 | 19160 64 | 3 | 7 701.39/701.57 c 701s | 19 | 1097881 | 517482 | 19160 64 | 3 | 7 703.39/703.58 c 703s | 19 | 1100973 | 519082 | 19160 64 | 3 | 7 705.59/705.73 c 705s | 19 | 1104604 | 520882 | 19160 64 | 3 | 7 707.59/707.75 c 707s | 19 | 1107899 | 522482 | 19160 64 | 3 | 7 709.59/709.76 c 709s | 19 | 1111052 | 524082 | 19160 65 | 3 | 7 711.59/711.79 c 711s | 19 | 1114355 | 525782 | 19160 65 | 3 | 7 713.68/713.83 c 713s | 19 | 1118433 | 527582 | 19160 65 | 3 | 7 715.68/715.85 c 715s | 19 | 1122159 | 529282 | 19160 65 | 3 | 7 717.68/717.87 c 717s | 19 | 1126180 | 531082 | 19160 65 | 3 | 7 719.78/719.97 c 719s | 19 | 1129551 | 532782 | 19160 65 | 3 | 7 721.88/722.03 c 721s | 19 | 1133600 | 534682 | 19160 66 | 3 | 7 724.67/724.86 c 724s | 19 | 1136598 | 536182 | 19160 66 | 3 | 7 726.67/726.86 c 726s | 19 | 1138370 | 536982 | 19160 66 | 3 | 7 728.77/728.93 c 728s | 19 | 1141461 | 538482 | 19160 66 | 3 | 7 730.87/731.03 c 730s | 19 | 1144305 | 539882 | 19160 66 | 3 | 7 732.97/733.14 c 732s | 19 | 1147374 | 541282 | 19160 66 | 3 | 7 734.97/735.16 c 734s | 19 | 1150435 | 542582 | 19160 66 | 3 | 7 737.07/737.26 c 736s | 19 | 1153052 | 543882 | 19160 67 | 3 | 7 739.18/739.33 c 739s | 19 | 1156177 | 545282 | 19160 67 | 3 | 7 741.27/741.47 c 741s | 19 | 1159301 | 546682 | 19160 67 | 3 | 7 743.36/743.52 c 743s | 19 | 1162314 | 547982 | 19160 67 | 3 | 7 745.36/745.55 c 745s | 19 | 1165317 | 549382 | 19160 67 | 3 | 7 747.46/747.61 c 747s | 19 | 1168201 | 550782 | 19160 67 | 3 | 7 749.46/749.67 c 749s | 19 | 1171290 | 552082 | 19160 67 | 3 | 7 751.66/751.84 c 751s | 19 | 1174258 | 553482 | 19160 68 | 3 | 7 753.86/754.05 c 753s | 19 | 1177207 | 554982 | 19160 68 | 3 | 7 755.96/756.16 c 755s | 19 | 1179997 | 556382 | 19160 68 | 3 | 7 758.06/758.22 c 757s | 19 | 1183313 | 557882 | 19160 68 | 3 | 7 760.06/760.28 c 760s | 19 | 1186665 | 559482 | 19160 68 | 3 | 7 762.16/762.39 c 762s | 19 | 1189875 | 561082 | 19160 68 | 3 | 7 764.26/764.49 c 764s | 19 | 1192937 | 562482 | 19160 68 | 3 | 7 766.46/766.60 c 766s | 19 | 1196019 | 563782 | 19160 69 | 3 | 7 768.56/768.73 c 768s | 19 | 1199320 | 565282 | 19160 69 | 3 | 7 770.55/770.75 c 770s | 19 | 1202705 | 566782 | 19160 69 | 3 | 7 772.55/772.77 c 772s | 19 | 1205465 | 568182 | 19160 69 | 3 | 7 774.65/774.86 c 774s | 19 | 1208595 | 569682 | 19160 69 | 3 | 7 776.65/776.87 c 776s | 19 | 1211663 | 571082 | 19160 69 | 3 | 7 778.76/778.91 c 778s | 19 | 1214507 | 572482 | 19160 69 | 3 | 7 780.75/780.99 c 780s | 19 | 1217156 | 573782 | 19160 70 | 3 | 7 782.85/783.05 c 782s | 19 | 1219959 | 575282 | 19160 70 | 3 | 7 784.95/785.14 c 784s | 19 | 1223451 | 576882 | 19160 70 | 3 | 7 786.94/787.16 c 786s | 19 | 1226544 | 578382 | 19160 70 | 3 | 7 788.94/789.19 c 788s | 19 | 1229645 | 579782 | 19160 70 | 3 | 7 791.04/791.23 c 790s | 19 | 1232762 | 581382 | 19160 70 | 3 | 7 793.05/793.28 c 793s | 19 | 1235738 | 582882 | 19160 70 | 3 | 7 795.15/795.32 c 795s | 19 | 1238702 | 584282 | 19160 71 | 3 | 7 797.24/797.40 c 797s | 19 | 1242218 | 585882 | 19160 71 | 3 | 7 799.24/799.44 c 799s | 19 | 1246087 | 587382 | 19160 71 | 3 | 7 801.23/801.47 c 801s | 19 | 1249653 | 588982 | 19160 71 | 3 | 7 803.33/803.58 c 803s | 19 | 1252911 | 590582 | 19160 71 | 3 | 7 805.43/805.68 c 805s | 19 | 1256402 | 592182 | 19160 71 | 3 | 7 807.63/807.85 c 807s | 19 | 1259607 | 593682 | 19160 72 | 3 | 7 809.73/809.97 c 809s | 19 | 1263170 | 595382 | 19160 72 | 3 | 7 811.83/812.03 c 811s | 19 | 1266257 | 596982 | 19160 72 | 3 | 7 813.94/814.11 c 813s | 19 | 1269629 | 598782 | 19160 72 | 3 | 7 815.93/816.18 c 815s | 19 | 1272698 | 600382 | 19160 72 | 3 | 7 818.03/818.28 c 818s | 19 | 1276191 | 602082 | 19160 72 | 3 | 7 820.12/820.38 c 820s | 19 | 1279952 | 603782 | 19160 72 | 3 | 7 822.22/822.45 c 822s | 19 | 1283772 | 605582 | 19160 73 | 3 | 7 824.22/824.49 c 824s | 19 | 1287838 | 607482 | 19160 73 | 3 | 7 826.42/826.60 c 826s | 19 | 1291827 | 609482 | 19160 73 | 3 | 7 828.92/829.19 c 828s | 19 | 1294055 | 610482 | 19160 73 | 3 | 7 831.02/831.24 c 830s | 19 | 1296374 | 611582 | 19160 73 | 3 | 7 833.02/833.27 c 833s | 19 | 1299805 | 612982 | 19160 73 | 3 | 7 835.22/835.42 c 835s | 19 | 1302500 | 614282 | 19160 74 | 3 | 7 837.22/837.43 c 837s | 19 | 1305466 | 615782 | 19160 74 | 3 | 7 839.32/839.53 c 839s | 19 | 1308628 | 617282 | 19160 74 | 3 | 7 841.42/841.66 c 841s | 19 | 1312090 | 618882 | 19160 74 | 3 | 7 843.52/843.74 c 843s | 19 | 1314725 | 620282 | 19160 74 | 3 | 7 845.52/845.76 c 845s | 19 | 1317680 | 621582 | 19160 74 | 3 | 7 847.62/847.85 c 847s | 19 | 1320752 | 622982 | 19160 74 | 3 | 7 849.61/849.90 c 849s | 19 | 1323483 | 624282 | 19160 75 | 3 | 7 851.81/852.00 c 851s | 19 | 1326838 | 625882 | 19160 75 | 3 | 7 853.91/854.12 c 853s | 19 | 1329776 | 627382 | 19160 75 | 3 | 7 855.91/856.12 c 855s | 19 | 1332812 | 628882 | 19160 75 | 3 | 7 858.01/858.23 c 857s | 19 | 1335600 | 630282 | 19160 75 | 3 | 7 860.02/860.24 c 859s | 19 | 1338421 | 631582 | 19160 75 | 3 | 7 862.11/862.35 c 862s | 19 | 1341329 | 633082 | 19160 75 | 3 | 7 864.21/864.45 c 864s | 19 | 1344485 | 634582 | 19160 76 | 3 | 7 866.31/866.52 c 866s | 19 | 1347907 | 636182 | 19160 76 | 3 | 7 868.31/868.58 c 868s | 19 | 1351296 | 637682 | 19160 76 | 3 | 7 870.41/870.60 c 870s | 19 | 1354139 | 639182 | 19160 76 | 3 | 7 872.51/872.70 c 872s | 19 | 1357143 | 640682 | 19160 76 | 3 | 7 874.51/874.76 c 874s | 19 | 1360005 | 641982 | 19160 76 | 3 | 7 876.51/876.79 c 876s | 19 | 1362769 | 643282 | 19160 76 | 3 | 7 878.71/878.92 c 878s | 19 | 1366608 | 644882 | 19160 77 | 3 | 7 880.80/881.03 c 880s | 19 | 1370399 | 646482 | 19160 77 | 3 | 7 882.80/883.04 c 882s | 19 | 1373755 | 647982 | 19160 77 | 3 | 7 884.90/885.19 c 884s | 19 | 1377373 | 649582 | 19160 77 | 3 | 7 887.00/887.26 c 886s | 19 | 1380411 | 651082 | 19160 77 | 3 | 7 889.10/889.30 c 889s | 19 | 1383569 | 652582 | 19160 77 | 3 | 7 891.10/891.30 c 891s | 19 | 1386748 | 654082 | 19160 78 | 3 | 7 893.10/893.36 c 893s | 19 | 1390115 | 655682 | 19160 78 | 3 | 7 895.20/895.44 c 895s | 19 | 1393679 | 657382 | 19160 78 | 3 | 7 897.19/897.45 c 897s | 19 | 1397115 | 659082 | 19160 78 | 3 | 7 899.19/899.48 c 899s | 19 | 1400269 | 660682 | 19160 78 | 3 | 7 901.29/901.58 c 901s | 19 | 1403495 | 662282 | 21076 78 | 3 | 7 903.49/903.71 c 903s | 19 | 1407089 | 663982 | 21076 78 | 3 | 7 905.59/905.87 c 905s | 19 | 1410051 | 665482 | 21076 78 | 3 | 7 907.19/907.42 c 907s | 20 | 1412845 | 666827 | 21076 79 | 3 | 7 909.20/909.47 c 909s | 20 | 1416948 | 668827 | 21076 79 | 3 | 7 911.49/911.79 c 911s | 20 | 1418017 | 669327 | 21076 79 | 3 | 7 913.59/913.87 c 913s | 20 | 1420760 | 670427 | 21076 79 | 3 | 7 915.69/915.92 c 915s | 20 | 1423035 | 671527 | 21076 79 | 3 | 7 917.79/918.06 c 917s | 20 | 1425454 | 672827 | 21076 79 | 3 | 7 919.89/920.12 c 919s | 20 | 1427867 | 674127 | 21076 79 | 3 | 7 921.89/922.19 c 921s | 20 | 1430515 | 675427 | 21076 79 | 3 | 7 923.99/924.20 c 923s | 20 | 1433051 | 676627 | 21076 80 | 3 | 7 925.99/926.26 c 925s | 20 | 1435805 | 677927 | 21076 80 | 3 | 7 927.99/928.28 c 928s | 20 | 1439091 | 679327 | 21076 80 | 3 | 7 930.18/930.41 c 930s | 20 | 1441706 | 680627 | 21076 80 | 3 | 7 932.18/932.44 c 932s | 20 | 1444267 | 681827 | 21076 80 | 3 | 7 934.28/934.53 c 934s | 20 | 1447196 | 683227 | 21076 80 | 3 | 7 936.28/936.55 c 936s | 20 | 1450337 | 684527 | 21076 80 | 3 | 7 938.48/938.71 c 938s | 20 | 1453317 | 685827 | 21076 80 | 3 | 7 940.48/940.72 c 940s | 20 | 1456622 | 687227 | 21076 80 | 3 | 7 942.49/942.77 c 942s | 20 | 1459296 | 688527 | 21076 81 | 3 | 7 944.58/944.80 c 944s | 20 | 1462075 | 689827 | 21076 81 | 3 | 7 946.58/946.87 c 946s | 20 | 1465272 | 691227 | 21076 81 | 3 | 7 948.68/948.95 c 948s | 20 | 1468051 | 692527 | 21076 81 | 3 | 7 950.68/950.97 c 950s | 20 | 1471219 | 693827 | 21076 81 | 3 | 7 952.78/953.04 c 952s | 20 | 1473800 | 695127 | 21076 81 | 3 | 7 954.77/955.08 c 954s | 20 | 1476093 | 696327 | 21076 81 | 3 | 7 956.88/957.18 c 956s | 20 | 1478674 | 697627 | 21076 81 | 3 | 7 958.98/959.21 c 958s | 20 | 1481717 | 699127 | 21076 82 | 3 | 7 960.97/961.27 c 961s | 20 | 1485011 | 700727 | 21076 82 | 3 | 7 963.07/963.39 c 963s | 20 | 1488339 | 702227 | 21076 82 | 3 | 7 965.27/965.50 c 965s | 20 | 1491819 | 703727 | 21076 82 | 3 | 7 967.27/967.53 c 967s | 20 | 1495051 | 705127 | 21076 82 | 3 | 7 969.27/969.55 c 969s | 20 | 1497772 | 706527 | 21076 82 | 3 | 7 971.36/971.62 c 971s | 20 | 1500471 | 707827 | 21076 82 | 3 | 7 973.46/973.77 c 973s | 20 | 1503074 | 709127 | 21076 82 | 3 | 7 975.47/975.79 c 975s | 20 | 1506636 | 710627 | 21076 83 | 3 | 7 977.56/977.86 c 977s | 20 | 1509617 | 712027 | 21076 83 | 3 | 7 979.56/979.87 c 979s | 20 | 1512502 | 713427 | 21076 83 | 3 | 7 981.56/981.87 c 981s | 20 | 1515732 | 714827 | 21076 83 | 3 | 7 983.56/983.88 c 983s | 20 | 1518650 | 716127 | 21076 83 | 3 | 7 985.76/986.07 c 985s | 20 | 1521615 | 717627 | 21076 83 | 3 | 7 987.86/988.18 c 987s | 20 | 1524740 | 719127 | 21076 83 | 3 | 7 989.96/990.23 c 989s | 20 | 1527406 | 720427 | 21076 84 | 3 | 7 992.06/992.33 c 992s | 20 | 1530753 | 721927 | 21076 84 | 3 | 7 994.16/994.43 c 994s | 20 | 1534056 | 723527 | 21076 84 | 3 | 7 996.25/996.53 c 996s | 20 | 1537412 | 725227 | 21076 84 | 3 | 7 998.35/998.62 c 998s | 20 | 1540723 | 726727 | 21076 84 | 3 | 7 1000.45/1000.70 c 1000s | 20 | 1543593 | 728227 | 21076 84 | 3 | 7 1002.54/1002.83 c 1002s | 20 | 1546523 | 729627 | 21076 84 | 3 | 7 1004.64/1004.90 c 1004s | 20 | 1549679 | 731127 | 21076 84 | 3 | 7 1006.74/1007.02 c 1006s | 20 | 1553405 | 732827 | 21076 85 | 3 | 7 1008.74/1009.09 c 1008s | 20 | 1556596 | 734427 | 21076 85 | 3 | 7 1010.84/1011.18 c 1010s | 20 | 1559484 | 735927 | 21076 85 | 3 | 7 1012.95/1013.27 c 1013s | 20 | 1563035 | 737527 | 21076 85 | 3 | 7 1015.04/1015.32 c 1015s | 20 | 1565927 | 739027 | 21076 85 | 3 | 7 1017.04/1017.38 c 1017s | 20 | 1569349 | 740527 | 21076 85 | 3 | 7 1019.14/1019.40 c 1019s | 20 | 1572882 | 742127 | 21076 85 | 3 | 7 1021.13/1021.43 c 1021s | 20 | 1576383 | 743827 | 21076 86 | 3 | 7 1023.23/1023.50 c 1023s | 20 | 1580539 | 745827 | 21076 86 | 3 | 7 1025.33/1025.60 c 1025s | 20 | 1584934 | 747827 | 21076 86 | 3 | 7 1027.63/1027.92 c 1027s | 20 | 1587941 | 749227 | 21076 86 | 3 | 7 1029.73/1030.07 c 1029s | 20 | 1589561 | 749927 | 21076 86 | 3 | 7 1031.83/1032.11 c 1031s | 20 | 1591874 | 751027 | 21076 86 | 3 | 7 1033.84/1034.13 c 1033s | 20 | 1594454 | 752327 | 21076 86 | 3 | 7 1036.04/1036.31 c 1036s | 20 | 1596547 | 753527 | 21076 87 | 3 | 7 1038.04/1038.36 c 1038s | 20 | 1599489 | 754927 | 21076 87 | 3 | 7 1040.13/1040.46 c 1040s | 20 | 1602791 | 756527 | 21076 87 | 3 | 7 1042.23/1042.50 c 1042s | 20 | 1605457 | 757827 | 21076 87 | 3 | 7 1044.33/1044.66 c 1044s | 20 | 1608689 | 759327 | 21076 87 | 3 | 7 1046.43/1046.71 c 1046s | 20 | 1611323 | 760527 | 21076 87 | 3 | 7 1048.43/1048.75 c 1048s | 20 | 1614175 | 761827 | 21076 87 | 3 | 7 1050.53/1050.83 c 1050s | 20 | 1616862 | 763127 | 21076 87 | 3 | 7 1052.54/1052.84 c 1052s | 20 | 1619367 | 764327 | 21076 88 | 3 | 7 1054.64/1054.91 c 1054s | 20 | 1622132 | 765827 | 21076 88 | 3 | 7 1056.63/1056.95 c 1056s | 20 | 1625052 | 767127 | 21076 88 | 3 | 7 1058.73/1059.00 c 1058s | 20 | 1628651 | 768627 | 21076 88 | 3 | 7 1060.82/1061.10 c 1060s | 20 | 1631689 | 770027 | 21076 88 | 3 | 7 1062.82/1063.10 c 1062s | 20 | 1634524 | 771327 | 21076 88 | 3 | 7 1064.92/1065.21 c 1064s | 20 | 1637357 | 772727 | 21076 88 | 3 | 7 1066.92/1067.26 c 1066s | 20 | 1639762 | 774027 | 21076 88 | 3 | 7 1069.12/1069.45 c 1069s | 20 | 1643262 | 775327 | 21076 89 | 3 | 7 1071.23/1071.58 c 1071s | 20 | 1646396 | 776727 | 21076 89 | 3 | 7 1073.32/1073.66 c 1073s | 20 | 1649985 | 778227 | 21076 89 | 3 | 7 1075.42/1075.78 c 1075s | 20 | 1653476 | 779727 | 21076 89 | 3 | 7 1077.52/1077.84 c 1077s | 20 | 1656472 | 781027 | 21076 89 | 3 | 7 1079.52/1079.88 c 1079s | 20 | 1659736 | 782427 | 21076 89 | 3 | 7 1081.61/1081.94 c 1081s | 20 | 1662522 | 783727 | 21076 89 | 3 | 7 1083.71/1084.03 c 1083s | 20 | 1665750 | 785027 | 21076 89 | 3 | 7 1085.81/1086.10 c 1085s | 20 | 1668121 | 786227 | 21076 89 | 3 | 7 1087.91/1088.22 c 1087s | 20 | 1671102 | 787727 | 21076 90 | 3 | 7 1090.01/1090.30 c 1090s | 20 | 1674132 | 789227 | 21076 90 | 3 | 7 1092.02/1092.37 c 1092s | 20 | 1677347 | 790727 | 21076 90 | 3 | 7 1094.11/1094.46 c 1094s | 20 | 1680452 | 792127 | 21076 90 | 3 | 7 1096.21/1096.51 c 1096s | 20 | 1683783 | 793527 | 21076 90 | 3 | 7 1098.21/1098.55 c 1098s | 20 | 1686822 | 795027 | 21076 90 | 3 | 7 1100.31/1100.69 c 1100s | 20 | 1689923 | 796527 | 21076 90 | 3 | 7 1102.41/1102.78 c 1102s | 20 | 1693123 | 797927 | 21076 91 | 3 | 7 1104.41/1104.79 c 1104s | 20 | 1696476 | 799327 | 21076 91 | 3 | 7 1106.50/1106.87 c 1106s | 20 | 1700328 | 800927 | 21076 91 | 3 | 7 1108.61/1108.94 c 1108s | 20 | 1703644 | 802527 | 21076 91 | 3 | 7 1110.71/1111.02 c 1110s | 20 | 1706937 | 804027 | 21076 91 | 3 | 7 1112.80/1113.10 c 1112s | 20 | 1710043 | 805527 | 21076 91 | 3 | 7 1114.80/1115.13 c 1114s | 20 | 1713188 | 807127 | 21076 91 | 3 | 7 1116.90/1117.23 c 1116s | 20 | 1716432 | 808727 | 21076 92 | 3 | 7 1118.90/1119.27 c 1119s | 20 | 1719997 | 810427 | 21076 92 | 3 | 7 1120.99/1121.34 c 1121s | 20 | 1723728 | 812127 | 21076 92 | 3 | 7 1123.09/1123.42 c 1123s | 20 | 1727532 | 813927 | 21076 92 | 3 | 7 1125.19/1125.52 c 1125s | 20 | 1730895 | 815627 | 21076 92 | 3 | 7 1127.20/1127.56 c 1127s | 20 | 1734227 | 817127 | 21076 92 | 3 | 7 1129.40/1129.71 c 1129s | 20 | 1737585 | 818827 | 21076 92 | 3 | 7 1131.39/1131.76 c 1131s | 20 | 1740489 | 820327 | 21076 93 | 3 | 7 1133.39/1133.76 c 1133s | 20 | 1744392 | 822227 | 21076 93 | 3 | 7 1135.39/1135.80 c 1135s | 20 | 1748504 | 824227 | 21076 93 | 3 | 7 1137.79/1138.20 c 1137s | 20 | 1750040 | 825027 | 21076 93 | 3 | 7 1139.88/1140.29 c 1140s | 20 | 1751751 | 825827 | 21076 93 | 3 | 7 1141.98/1142.36 c 1142s | 20 | 1754496 | 827127 | 21076 93 | 3 | 7 1144.08/1144.43 c 1144s | 20 | 1757046 | 828327 | 21076 93 | 3 | 7 1146.18/1146.57 c 1146s | 20 | 1759898 | 829627 | 21076 93 | 3 | 7 1148.28/1148.62 c 1148s | 20 | 1762730 | 830927 | 21076 94 | 3 | 7 1150.29/1150.64 c 1150s | 20 | 1765484 | 832227 | 21076 94 | 3 | 7 1152.38/1152.70 c 1152s | 20 | 1768666 | 833627 | 21076 94 | 3 | 7 1154.48/1154.81 c 1154s | 20 | 1771347 | 835027 | 21076 94 | 3 | 7 1156.48/1156.89 c 1156s | 20 | 1774330 | 836527 | 21076 94 | 3 | 7 1158.58/1158.99 c 1158s | 20 | 1777684 | 838027 | 21076 94 | 3 | 7 1160.67/1161.04 c 1160s | 20 | 1780700 | 839427 | 21076 94 | 3 | 7 1162.77/1163.10 c 1162s | 20 | 1783466 | 840727 | 21076 94 | 3 | 7 1164.87/1165.24 c 1164s | 20 | 1786375 | 842127 | 21076 95 | 3 | 7 1166.97/1167.37 c 1167s | 20 | 1789414 | 843527 | 21076 95 | 3 | 7 1168.98/1169.38 c 1169s | 20 | 1791721 | 844827 | 21076 95 | 3 | 7 1171.07/1171.46 c 1171s | 20 | 1794592 | 846127 | 21076 95 | 3 | 7 1173.07/1173.49 c 1173s | 20 | 1797079 | 847427 | 21076 95 | 3 | 7 1175.17/1175.55 c 1175s | 20 | 1799309 | 848627 | 21076 95 | 3 | 7 1177.17/1177.57 c 1177s | 20 | 1802393 | 849927 | 21076 95 | 3 | 7 1179.27/1179.68 c 1179s | 20 | 1805902 | 851427 | 21076 95 | 3 | 7 1181.47/1181.80 c 1181s | 20 | 1808572 | 852727 | 21076 96 | 3 | 7 1183.47/1183.85 c 1183s | 20 | 1811742 | 854227 | 21076 96 | 3 | 7 1185.47/1185.86 c 1185s | 20 | 1815019 | 855727 | 21076 96 | 3 | 7 1187.46/1187.88 c 1187s | 20 | 1817941 | 857127 | 21076 96 | 3 | 7 1189.66/1190.01 c 1189s | 20 | 1820767 | 858527 | 21076 96 | 3 | 7 1191.66/1192.03 c 1191s | 20 | 1823410 | 859827 | 21076 96 | 3 | 7 1193.66/1194.09 c 1193s | 20 | 1826161 | 861227 | 21076 96 | 3 | 7 1195.86/1196.22 c 1195s | 20 | 1829268 | 862627 | 21076 96 | 3 | 7 1197.86/1198.25 c 1197s | 20 | 1832069 | 863927 | 21076 97 | 3 | 7 1199.96/1200.31 c 1200s | 20 | 1835367 | 865527 | 21076 97 | 3 | 7 1201.96/1202.36 c 1202s | 20 | 1838747 | 867127 | 21076 97 | 3 | 7 1204.06/1204.48 c 1204s | 20 | 1841892 | 868627 | 21076 97 | 3 | 7 1206.06/1206.49 c 1206s | 20 | 1844913 | 870027 | 21076 97 | 3 | 7 1208.16/1208.54 c 1208s | 20 | 1847949 | 871427 | 21076 97 | 3 | 7 1210.25/1210.61 c 1210s | 20 | 1850924 | 872827 | 21076 97 | 3 | 7 1212.25/1212.66 c 1212s | 20 | 1853905 | 874227 | 21076 98 | 3 | 7 1214.35/1214.75 c 1214s | 20 | 1857486 | 875927 | 21076 98 | 3 | 7 1216.45/1216.86 c 1216s | 20 | 1860939 | 877627 | 21076 98 | 3 | 7 1218.46/1218.87 c 1218s | 20 | 1863728 | 879127 | 21076 98 | 3 | 7 1220.54/1220.93 c 1220s | 20 | 1866557 | 880527 | 21076 98 | 3 | 7 1222.54/1222.95 c 1222s | 20 | 1870066 | 882127 | 21076 98 | 3 | 7 1224.64/1225.05 c 1224s | 20 | 1873302 | 883727 | 21076 98 | 3 | 7 1226.74/1227.15 c 1226s | 20 | 1876092 | 885227 | 21076 98 | 3 | 7 1228.74/1229.18 c 1228s | 20 | 1879413 | 886927 | 21076 99 | 3 | 7 1230.84/1231.22 c 1230s | 20 | 1882921 | 888727 | 21076 99 | 3 | 7 1232.84/1233.26 c 1232s | 20 | 1886705 | 890627 | 21076 99 | 3 | 7 1235.44/1235.89 c 1235s | 20 | 1889292 | 891927 | 21076 99 | 3 | 7 1237.54/1237.98 c 1237s | 20 | 1891561 | 892927 | 21076 99 | 3 | 7 1239.64/1240.00 c 1239s | 20 | 1894020 | 894227 | 21076 99 | 3 | 7 1241.73/1242.14 c 1241s | 20 | 1896838 | 895427 | 21076 99 | 3 | 7 1243.84/1244.25 c 1243s | 20 | 1899155 | 896527 | 21076 100 | 3 | 7 1245.94/1246.32 c 1246s | 20 | 1902339 | 897927 | 21076 100 | 3 | 7 1248.03/1248.43 c 1248s | 20 | 1905346 | 899327 | 21076 100 | 3 | 7 1250.13/1250.50 c 1250s | 20 | 1908004 | 900627 | 21076 100 | 3 | 7 1252.13/1252.51 c 1252s | 20 | 1911002 | 901927 | 21076 100 | 3 | 7 1254.13/1254.51 c 1254s | 20 | 1914044 | 903327 | 21076 100 | 3 | 7 1256.24/1256.62 c 1256s | 20 | 1916975 | 904627 | 21076 100 | 3 | 7 1258.34/1258.75 c 1258s | 20 | 1919779 | 905927 | 21076 100 | 3 | 7 1260.43/1260.85 c 1260s | 20 | 1922492 | 907127 | 21076 101 | 3 | 7 1262.44/1262.87 c 1262s | 20 | 1925815 | 908527 | 21076 101 | 3 | 7 1264.64/1265.04 c 1264s | 20 | 1928351 | 909827 | 21076 101 | 3 | 7 1266.73/1267.10 c 1266s | 20 | 1931116 | 911127 | 21076 101 | 3 | 7 1268.73/1269.18 c 1268s | 20 | 1933504 | 912427 | 21076 101 | 3 | 7 1270.83/1271.29 c 1271s | 20 | 1936255 | 913827 | 21076 101 | 3 | 7 1273.03/1273.44 c 1273s | 20 | 1938962 | 915027 | 21076 101 | 3 | 7 1275.13/1275.58 c 1275s | 20 | 1941550 | 916327 | 21076 101 | 3 | 7 1277.13/1277.58 c 1277s | 20 | 1944299 | 917527 | 21076 101 | 3 | 7 1279.23/1279.63 c 1279s | 20 | 1946936 | 918827 | 21076 102 | 3 | 7 1281.33/1281.75 c 1281s | 20 | 1950415 | 920427 | 21076 102 | 3 | 7 1283.33/1283.78 c 1283s | 20 | 1953508 | 921927 | 21076 102 | 3 | 7 1285.53/1285.92 c 1285s | 20 | 1956863 | 923527 | 21076 102 | 3 | 7 1287.52/1287.95 c 1287s | 20 | 1959954 | 924927 | 21076 102 | 3 | 7 1289.62/1290.02 c 1289s | 20 | 1963073 | 926427 | 21076 102 | 3 | 7 1291.62/1292.06 c 1291s | 20 | 1965810 | 927727 | 21076 102 | 3 | 7 1293.72/1294.19 c 1293s | 20 | 1968637 | 929127 | 21076 103 | 3 | 7 1295.82/1296.22 c 1295s | 20 | 1972255 | 930827 | 21076 103 | 3 | 7 1297.92/1298.33 c 1298s | 20 | 1975725 | 932427 | 21076 103 | 3 | 7 1300.02/1300.41 c 1300s | 20 | 1979572 | 934127 | 21076 103 | 3 | 7 1302.12/1302.55 c 1302s | 20 | 1982852 | 935627 | 21076 103 | 3 | 7 1304.12/1304.60 c 1304s | 20 | 1985977 | 937227 | 21076 103 | 3 | 7 1306.22/1306.67 c 1306s | 20 | 1989198 | 938727 | 21076 103 | 3 | 7 1308.32/1308.79 c 1308s | 20 | 1992350 | 940227 | 21076 104 | 3 | 7 1310.41/1310.82 c 1310s | 20 | 1996366 | 941927 | 21076 104 | 3 | 7 1312.51/1312.92 c 1312s | 20 | 2000330 | 943827 | 21076 104 | 3 | 7 1314.51/1314.93 c 1314s | 20 | 2003869 | 945627 | 21076 104 | 3 | 7 1316.61/1317.01 c 1316s | 20 | 2007637 | 947627 | 21076 104 | 3 | 7 1318.90/1319.30 c 1319s | 20 | 2009055 | 948327 | 21076 104 | 3 | 7 1320.90/1321.32 c 1321s | 20 | 2011053 | 949227 | 21076 104 | 3 | 7 1323.01/1323.49 c 1323s | 20 | 2013850 | 950527 | 21076 104 | 3 | 7 1325.11/1325.56 c 1325s | 20 | 2016184 | 951727 | 21076 105 | 3 | 7 1327.20/1327.69 c 1327s | 20 | 2019220 | 953127 | 21076 105 | 3 | 7 1329.30/1329.73 c 1329s | 20 | 2022373 | 954627 | 21076 105 | 3 | 7 1331.40/1331.84 c 1331s | 20 | 2025330 | 956027 | 21076 105 | 3 | 7 1333.40/1333.89 c 1333s | 20 | 2028403 | 957427 | 21076 105 | 3 | 7 1335.60/1336.01 c 1335s | 20 | 2031330 | 958727 | 21076 105 | 3 | 7 1337.70/1338.11 c 1337s | 20 | 2034014 | 960027 | 21076 105 | 3 | 7 1339.70/1340.13 c 1339s | 20 | 2036394 | 961227 | 21076 105 | 3 | 7 1341.70/1342.13 c 1341s | 20 | 2039524 | 962527 | 21076 106 | 3 | 7 1343.69/1344.18 c 1343s | 20 | 2042975 | 964027 | 21076 106 | 3 | 7 1345.90/1346.34 c 1346s | 20 | 2046174 | 965627 | 21076 106 | 3 | 7 1347.90/1348.35 c 1348s | 20 | 2048874 | 966927 | 21076 106 | 3 | 7 1349.90/1350.35 c 1350s | 20 | 2052034 | 968427 | 21076 106 | 3 | 7 1352.00/1352.49 c 1352s | 20 | 2054836 | 969727 | 21076 106 | 3 | 7 1354.10/1354.52 c 1354s | 20 | 2057724 | 971027 | 21076 106 | 3 | 7 1356.20/1356.64 c 1356s | 20 | 2060688 | 972427 | 21076 106 | 3 | 7 1358.30/1358.71 c 1358s | 20 | 2063875 | 973927 | 21076 107 | 3 | 7 1360.30/1360.72 c 1360s | 20 | 2067492 | 975527 | 21076 107 | 3 | 7 1362.39/1362.82 c 1362s | 20 | 2070834 | 977127 | 21076 107 | 3 | 7 1364.49/1364.93 c 1364s | 20 | 2074318 | 978727 | 21076 107 | 3 | 7 1366.49/1366.97 c 1366s | 20 | 2077632 | 980427 | 21076 107 | 3 | 7 1368.59/1369.02 c 1368s | 20 | 2080499 | 981927 | 21076 107 | 3 | 7 1370.59/1371.08 c 1370s | 20 | 2083224 | 983427 | 21076 107 | 3 | 7 1372.69/1373.17 c 1372s | 20 | 2086036 | 984927 | 21076 108 | 3 | 7 1374.79/1375.26 c 1374s | 20 | 2089320 | 986527 | 21076 108 | 3 | 7 1376.89/1377.38 c 1377s | 20 | 2092621 | 988127 | 21076 108 | 3 | 7 1378.99/1379.42 c 1379s | 20 | 2095763 | 989727 | 21076 108 | 3 | 7 1380.99/1381.44 c 1381s | 20 | 2099189 | 991327 | 21076 108 | 3 | 7 1383.09/1383.52 c 1383s | 20 | 2102357 | 992827 | 21076 108 | 3 | 7 1385.09/1385.54 c 1385s | 20 | 2105115 | 994227 | 23184 108 | 3 | 7 1387.19/1387.64 c 1387s | 20 | 2108321 | 995727 | 23184 108 | 3 | 7 1389.19/1389.66 c 1389s | 20 | 2111229 | 997227 | 23184 108 | 3 | 7 1391.29/1391.75 c 1391s | 20 | 2115195 | 998927 | 23184 109 | 3 | 7 1392.99/1393.41 c 1393s | 21 | 2118261 | 1000345 | 23184 109 | 3 | 7 1394.98/1395.44 c 1395s | 21 | 2121325 | 1001945 | 23184 109 | 3 | 7 1396.98/1397.44 c 1397s | 21 | 2124590 | 1003645 | 23184 109 | 3 | 7 1398.98/1399.49 c 1399s | 21 | 2127925 | 1005345 | 23184 109 | 3 | 7 1402.09/1402.59 c 1402s | 21 | 2130687 | 1006745 | 23184 109 | 3 | 7 1404.18/1404.67 c 1404s | 21 | 2131757 | 1007145 | 23184 109 | 3 | 7 1406.18/1406.68 c 1406s | 21 | 2134552 | 1008145 | 23184 109 | 3 | 7 1408.28/1408.78 c 1408s | 21 | 2137456 | 1009445 | 23184 110 | 3 | 7 1410.38/1410.89 c 1410s | 21 | 2140452 | 1010845 | 23184 110 | 3 | 7 1412.48/1412.97 c 1412s | 21 | 2143346 | 1012245 | 23184 110 | 3 | 7 1414.48/1414.97 c 1414s | 21 | 2146362 | 1013645 | 23184 110 | 3 | 7 1416.68/1417.10 c 1416s | 21 | 2148906 | 1015045 | 23184 110 | 3 | 7 1418.68/1419.19 c 1418s | 21 | 2152406 | 1016445 | 23184 110 | 3 | 7 1420.88/1421.33 c 1421s | 21 | 2155908 | 1017945 | 23184 110 | 3 | 7 1422.98/1423.43 c 1423s | 21 | 2158798 | 1019345 | 23184 110 | 3 | 7 1424.97/1425.48 c 1425s | 21 | 2161598 | 1020545 | 23184 110 | 3 | 7 1427.17/1427.63 c 1427s | 21 | 2164558 | 1021945 | 23184 111 | 3 | 7 1429.27/1429.71 c 1429s | 21 | 2167568 | 1023345 | 23184 111 | 3 | 7 1431.27/1431.72 c 1431s | 21 | 2170727 | 1024845 | 23184 111 | 3 | 7 1433.27/1433.74 c 1433s | 21 | 2173538 | 1026245 | 23184 111 | 3 | 7 1435.37/1435.85 c 1435s | 21 | 2176410 | 1027645 | 23184 111 | 3 | 7 1437.38/1437.87 c 1437s | 21 | 2179409 | 1029045 | 23184 111 | 3 | 7 1439.37/1439.88 c 1439s | 21 | 2182257 | 1030345 | 23184 111 | 3 | 7 1441.47/1441.90 c 1441s | 21 | 2185436 | 1031745 | 23184 111 | 3 | 7 1443.67/1444.10 c 1443s | 21 | 2188078 | 1033045 | 23184 112 | 3 | 7 1445.77/1446.22 c 1445s | 21 | 2191125 | 1034545 | 23184 112 | 3 | 7 1447.97/1448.41 c 1448s | 21 | 2194518 | 1036145 | 23184 112 | 3 | 7 1449.97/1450.42 c 1450s | 21 | 2198026 | 1037545 | 23184 112 | 3 | 7 1451.97/1452.45 c 1452s | 21 | 2201092 | 1038845 | 23184 112 | 3 | 7 1454.07/1454.52 c 1454s | 21 | 2204728 | 1040345 | 23184 112 | 3 | 7 1456.17/1456.60 c 1456s | 21 | 2207705 | 1041745 | 23184 112 | 3 | 7 1458.18/1458.65 c 1458s | 21 | 2210794 | 1043245 | 23184 112 | 3 | 7 1460.38/1460.81 c 1460s | 21 | 2213736 | 1044545 | 23184 112 | 3 | 7 1462.37/1462.87 c 1462s | 21 | 2216664 | 1045845 | 23184 113 | 3 | 7 1464.47/1464.93 c 1464s | 21 | 2219754 | 1047245 | 23184 113 | 3 | 7 1466.47/1466.99 c 1466s | 21 | 2222556 | 1048645 | 23184 113 | 3 | 7 1468.57/1469.03 c 1468s | 21 | 2225928 | 1050045 | 23184 113 | 3 | 7 1470.57/1471.08 c 1470s | 21 | 2228605 | 1051345 | 23184 113 | 3 | 7 1472.67/1473.17 c 1472s | 21 | 2231514 | 1052745 | 23184 113 | 3 | 7 1474.77/1475.24 c 1474s | 21 | 2235428 | 1054245 | 23184 113 | 3 | 7 1476.87/1477.34 c 1477s | 21 | 2238723 | 1055745 | 23184 113 | 3 | 7 1479.07/1479.52 c 1479s | 21 | 2241600 | 1057145 | 23184 114 | 3 | 7 1481.16/1481.60 c 1481s | 21 | 2244829 | 1058745 | 23184 114 | 3 | 7 1483.16/1483.61 c 1483s | 21 | 2248387 | 1060345 | 23184 114 | 3 | 7 1485.16/1485.65 c 1485s | 21 | 2251261 | 1061845 | 23184 114 | 3 | 7 1487.16/1487.66 c 1487s | 21 | 2254612 | 1063345 | 23184 114 | 3 | 7 1489.16/1489.68 c 1489s | 21 | 2258050 | 1064845 | 23184 114 | 3 | 7 1491.36/1491.81 c 1491s | 21 | 2261234 | 1066345 | 23184 114 | 3 | 7 1493.47/1493.91 c 1493s | 21 | 2264153 | 1067845 | 23184 114 | 3 | 7 1495.46/1495.91 c 1495s | 21 | 2266880 | 1069245 | 23184 114 | 3 | 7 1497.46/1497.93 c 1497s | 21 | 2270338 | 1070945 | 23184 115 | 3 | 7 1499.56/1500.01 c 1499s | 21 | 2274073 | 1072645 | 23184 115 | 3 | 7 1501.56/1502.01 c 1501s | 21 | 2277646 | 1074345 | 23184 115 | 3 | 7 1503.66/1504.13 c 1503s | 21 | 2281641 | 1076245 | 23184 115 | 3 | 7 1505.66/1506.18 c 1505s | 21 | 2285544 | 1078045 | 23184 115 | 3 | 7 1508.17/1508.60 c 1508s | 21 | 2287883 | 1079045 | 23184 115 | 3 | 7 1510.17/1510.64 c 1510s | 21 | 2289621 | 1079945 | 23184 115 | 3 | 7 1512.27/1512.76 c 1512s | 21 | 2292184 | 1081145 | 23184 116 | 3 | 7 1514.37/1514.81 c 1514s | 21 | 2294851 | 1082545 | 23184 116 | 3 | 7 1516.47/1516.92 c 1516s | 21 | 2298135 | 1084145 | 23184 116 | 3 | 7 1518.46/1518.95 c 1518s | 21 | 2300601 | 1085345 | 23184 116 | 3 | 7 1520.46/1520.99 c 1520s | 21 | 2303493 | 1086545 | 23184 116 | 3 | 7 1522.56/1523.07 c 1522s | 21 | 2306137 | 1087845 | 23184 116 | 3 | 7 1524.76/1525.23 c 1524s | 21 | 2308677 | 1089145 | 23184 116 | 3 | 7 1526.86/1527.33 c 1527s | 21 | 2311682 | 1090445 | 23184 116 | 3 | 7 1528.86/1529.36 c 1529s | 21 | 2314092 | 1091645 | 23184 116 | 3 | 7 1531.06/1531.50 c 1531s | 21 | 2316181 | 1092745 | 23184 117 | 3 | 7 1533.07/1533.55 c 1533s | 21 | 2319259 | 1094145 | 23184 117 | 3 | 7 1535.17/1535.61 c 1535s | 21 | 2322108 | 1095445 | 23184 117 | 3 | 7 1537.16/1537.62 c 1537s | 21 | 2325544 | 1096745 | 23184 117 | 3 | 7 1539.16/1539.66 c 1539s | 21 | 2328524 | 1097945 | 23184 117 | 3 | 7 1541.26/1541.78 c 1541s | 21 | 2331873 | 1099345 | 23184 117 | 3 | 7 1543.36/1543.81 c 1543s | 21 | 2334590 | 1100645 | 23184 117 | 3 | 7 1545.36/1545.87 c 1545s | 21 | 2337034 | 1101945 | 23184 117 | 3 | 7 1547.46/1547.93 c 1547s | 21 | 2339918 | 1103245 | 23184 117 | 3 | 7 1549.66/1550.10 c 1549s | 21 | 2343008 | 1104745 | 23184 118 | 3 | 7 1551.67/1552.13 c 1551s | 21 | 2346293 | 1106245 | 23184 118 | 3 | 7 1553.76/1554.24 c 1553s | 21 | 2349851 | 1107845 | 23184 118 | 3 | 7 1555.86/1556.37 c 1556s | 21 | 2353158 | 1109345 | 23184 118 | 3 | 7 1557.96/1558.45 c 1558s | 21 | 2356392 | 1110745 | 23184 118 | 3 | 7 1560.06/1560.54 c 1560s | 21 | 2359633 | 1112345 | 23184 118 | 3 | 7 1562.06/1562.58 c 1562s | 21 | 2362635 | 1113745 | 23184 118 | 3 | 7 1564.16/1564.62 c 1564s | 21 | 2365695 | 1115145 | 23184 118 | 3 | 7 1566.16/1566.63 c 1566s | 21 | 2368748 | 1116545 | 23184 118 | 3 | 7 1568.26/1568.71 c 1568s | 21 | 2371881 | 1118045 | 23184 119 | 3 | 7 1570.36/1570.83 c 1570s | 21 | 2375143 | 1119645 | 23184 119 | 3 | 7 1572.36/1572.84 c 1572s | 21 | 2378401 | 1121145 | 23184 119 | 3 | 7 1574.35/1574.86 c 1574s | 21 | 2381276 | 1122545 | 23184 119 | 3 | 7 1576.45/1576.94 c 1576s | 21 | 2383947 | 1123945 | 23184 119 | 3 | 7 1578.55/1579.08 c 1578s | 21 | 2386916 | 1125345 | 23184 119 | 3 | 7 1580.65/1581.10 c 1580s | 21 | 2389537 | 1126745 | 23184 119 | 3 | 7 1582.65/1583.17 c 1582s | 21 | 2392708 | 1128245 | 23184 119 | 3 | 7 1584.76/1585.28 c 1585s | 21 | 2395629 | 1129645 | 23184 120 | 3 | 7 1586.86/1587.34 c 1587s | 21 | 2398892 | 1131245 | 23184 120 | 3 | 7 1588.95/1589.43 c 1589s | 21 | 2401999 | 1132845 | 23184 120 | 3 | 7 1590.95/1591.48 c 1591s | 21 | 2405483 | 1134445 | 23184 120 | 3 | 7 1593.05/1593.55 c 1593s | 21 | 2408906 | 1135945 | 23184 120 | 3 | 7 1595.05/1595.60 c 1595s | 21 | 2412013 | 1137545 | 23184 120 | 3 | 7 1597.15/1597.66 c 1597s | 21 | 2415212 | 1139145 | 23184 120 | 3 | 7 1599.25/1599.79 c 1599s | 21 | 2418514 | 1140745 | 23184 120 | 3 | 7 1601.35/1601.87 c 1601s | 21 | 2422162 | 1142445 | 23184 121 | 3 | 7 1603.46/1603.95 c 1603s | 21 | 2426339 | 1144445 | 23184 121 | 3 | 7 1606.05/1606.55 c 1606s | 21 | 2428411 | 1145545 | 23184 121 | 3 | 7 1608.15/1608.65 c 1608s | 21 | 2430386 | 1146445 | 23184 121 | 3 | 7 1610.25/1610.72 c 1610s | 21 | 2433241 | 1147845 | 23184 121 | 3 | 7 1612.25/1612.79 c 1612s | 21 | 2435949 | 1149145 | 23184 121 | 3 | 7 1614.45/1614.91 c 1614s | 21 | 2438461 | 1150445 | 23184 121 | 3 | 7 1616.55/1617.07 c 1616s | 21 | 2441242 | 1151645 | 23184 121 | 3 | 7 1618.64/1619.13 c 1618s | 21 | 2443712 | 1152845 | 23184 121 | 3 | 7 1620.74/1621.26 c 1620s | 21 | 2446763 | 1154245 | 23184 122 | 3 | 7 1622.74/1623.29 c 1623s | 21 | 2449679 | 1155545 | 23184 122 | 3 | 7 1624.94/1625.46 c 1625s | 21 | 2452717 | 1156945 | 23184 122 | 3 | 7 1627.04/1627.55 c 1627s | 21 | 2455407 | 1158245 | 23184 122 | 3 | 7 1629.14/1629.65 c 1629s | 21 | 2458628 | 1159645 | 23184 122 | 3 | 7 1631.14/1631.66 c 1631s | 21 | 2461380 | 1160945 | 23184 122 | 3 | 7 1633.24/1633.77 c 1633s | 21 | 2464096 | 1162245 | 23184 122 | 3 | 7 1635.44/1635.90 c 1635s | 21 | 2466872 | 1163445 | 23184 122 | 3 | 7 1637.45/1637.94 c 1637s | 21 | 2469717 | 1164745 | 23184 122 | 3 | 7 1639.54/1640.02 c 1639s | 21 | 2472486 | 1166045 | 23184 123 | 3 | 7 1641.64/1642.15 c 1641s | 21 | 2475420 | 1167445 | 23184 123 | 3 | 7 1643.84/1644.33 c 1644s | 21 | 2478403 | 1168845 | 23184 123 | 3 | 7 1645.94/1646.49 c 1646s | 21 | 2480907 | 1170145 | 23184 123 | 3 | 7 1648.14/1648.65 c 1648s | 21 | 2484285 | 1171645 | 23184 123 | 3 | 7 1650.24/1650.70 c 1650s | 21 | 2487143 | 1172945 | 23184 123 | 3 | 7 1652.34/1652.84 c 1652s | 21 | 2490170 | 1174445 | 23184 123 | 3 | 7 1654.34/1654.89 c 1654s | 21 | 2493317 | 1175845 | 23184 123 | 3 | 7 1656.44/1656.95 c 1656s | 21 | 2496222 | 1177145 | 23184 124 | 3 | 7 1658.54/1659.00 c 1658s | 21 | 2499275 | 1178645 | 23184 124 | 3 | 7 1660.54/1661.04 c 1660s | 21 | 2502740 | 1180245 | 23184 124 | 3 | 7 1662.64/1663.13 c 1662s | 21 | 2505765 | 1181745 | 23184 124 | 3 | 7 1664.64/1665.16 c 1664s | 21 | 2509227 | 1183345 | 23184 124 | 3 | 7 1666.74/1667.27 c 1667s | 21 | 2512513 | 1184845 | 23184 124 | 3 | 7 1668.84/1669.32 c 1669s | 21 | 2516112 | 1186345 | 23184 124 | 3 | 7 1670.84/1671.35 c 1671s | 21 | 2519193 | 1187745 | 23184 124 | 3 | 7 1672.93/1673.46 c 1673s | 21 | 2522033 | 1189045 | 23184 125 | 3 | 7 1674.94/1675.48 c 1675s | 21 | 2526088 | 1190545 | 23184 125 | 3 | 7 1677.14/1677.61 c 1677s | 21 | 2529476 | 1192145 | 23184 125 | 3 | 7 1679.13/1679.64 c 1679s | 21 | 2532372 | 1193645 | 23184 125 | 3 | 7 1681.13/1681.67 c 1681s | 21 | 2535630 | 1195145 | 23184 125 | 3 | 7 1683.23/1683.70 c 1683s | 21 | 2538264 | 1196545 | 23184 125 | 3 | 7 1685.23/1685.77 c 1685s | 21 | 2541369 | 1197945 | 23184 125 | 3 | 7 1687.33/1687.81 c 1687s | 21 | 2544612 | 1199445 | 23184 125 | 3 | 7 1689.43/1689.96 c 1689s | 21 | 2548041 | 1200945 | 23184 125 | 3 | 7 1691.53/1692.00 c 1691s | 21 | 2551499 | 1202545 | 23184 126 | 3 | 7 1693.43/1694.00 c 1693s | 21 | 2555262 | 1204345 | 23184 126 | 3 | 7 1695.63/1696.11 c 1695s | 21 | 2559035 | 1206145 | 23184 126 | 3 | 7 1697.63/1698.13 c 1697s | 21 | 2562525 | 1207745 | 23184 126 | 3 | 7 1699.73/1700.24 c 1699s | 21 | 2565947 | 1209545 | 23184 126 | 3 | 7 1701.73/1702.26 c 1701s | 21 | 2569451 | 1211245 | 23184 126 | 3 | 7 1703.83/1704.39 c 1704s | 21 | 2572550 | 1212745 | 23184 126 | 3 | 7 1705.93/1706.48 c 1706s | 21 | 2575485 | 1214145 | 23184 127 | 3 | 7 1708.03/1708.51 c 1708s | 21 | 2578813 | 1215745 | 23184 127 | 3 | 7 1710.54/1711.05 c 1710s | 21 | 2580684 | 1216645 | 23184 127 | 3 | 7 1712.53/1713.09 c 1712s | 21 | 2582864 | 1217745 | 23184 127 | 3 | 7 1714.63/1715.13 c 1714s | 21 | 2585409 | 1218945 | 23184 127 | 3 | 7 1716.64/1717.15 c 1716s | 21 | 2588044 | 1220245 | 23184 127 | 3 | 7 1718.63/1719.18 c 1718s | 21 | 2590594 | 1221445 | 23184 127 | 3 | 7 1720.73/1721.25 c 1720s | 21 | 2593793 | 1222945 | 23184 127 | 3 | 7 1722.73/1723.27 c 1723s | 21 | 2596654 | 1224145 | 23184 127 | 3 | 7 1724.83/1725.32 c 1725s | 21 | 2599397 | 1225345 | 23184 128 | 3 | 7 1726.93/1727.41 c 1727s | 21 | 2603097 | 1227045 | 23184 128 | 3 | 7 1728.93/1729.41 c 1729s | 21 | 2606552 | 1228545 | 23184 128 | 3 | 7 1730.94/1731.43 c 1731s | 21 | 2609415 | 1229845 | 23184 128 | 3 | 7 1732.93/1733.46 c 1733s | 21 | 2612461 | 1231245 | 23184 128 | 3 | 7 1735.03/1735.54 c 1735s | 21 | 2615141 | 1232545 | 23184 128 | 3 | 7 1737.23/1737.70 c 1737s | 21 | 2617846 | 1233945 | 23184 128 | 3 | 7 1739.23/1739.79 c 1739s | 21 | 2620585 | 1235245 | 23184 128 | 3 | 7 1741.33/1741.89 c 1741s | 21 | 2623256 | 1236545 | 23184 128 | 3 | 7 1743.43/1743.90 c 1743s | 21 | 2626396 | 1237945 | 23184 129 | 3 | 7 1745.53/1746.04 c 1745s | 21 | 2629319 | 1239445 | 23184 129 | 3 | 7 1747.63/1748.19 c 1747s | 21 | 2632709 | 1240945 | 23184 129 | 3 | 7 1749.74/1750.24 c 1749s | 21 | 2635564 | 1242345 | 23184 129 | 3 | 7 1751.73/1752.28 c 1752s | 21 | 2638453 | 1243845 | 23184 129 | 3 | 7 1753.93/1754.41 c 1754s | 21 | 2640939 | 1245145 | 23184 129 | 3 | 7 1755.93/1756.45 c 1756s | 21 | 2643785 | 1246445 | 23184 129 | 3 | 7 1758.03/1758.51 c 1758s | 21 | 2646549 | 1247745 | 23184 129 | 3 | 7 1760.03/1760.53 c 1760s | 21 | 2649307 | 1249045 | 23184 129 | 3 | 7 1762.03/1762.55 c 1762s | 21 | 2652221 | 1250445 | 23184 130 | 3 | 7 1764.13/1764.65 c 1764s | 21 | 2655559 | 1251945 | 23184 130 | 3 | 7 1766.23/1766.78 c 1766s | 21 | 2658615 | 1253445 | 23184 130 | 3 | 7 1768.23/1768.80 c 1768s | 21 | 2661903 | 1254945 | 23184 130 | 3 | 7 1770.32/1770.88 c 1770s | 21 | 2665052 | 1256245 | 23184 130 | 3 | 7 1772.42/1772.95 c 1772s | 21 | 2667816 | 1257645 | 23184 130 | 3 | 7 1774.52/1775.05 c 1774s | 21 | 2670987 | 1259145 | 23184 130 | 3 | 7 1776.52/1777.08 c 1776s | 21 | 2673737 | 1260545 | 23184 130 | 3 | 7 1778.52/1779.09 c 1778s | 21 | 2676457 | 1261845 | 23184 131 | 3 | 7 1780.62/1781.16 c 1780s | 21 | 2679807 | 1263345 | 23184 131 | 3 | 7 1782.73/1783.29 c 1783s | 21 | 2683443 | 1265045 | 23184 131 | 3 | 7 1784.83/1785.35 c 1785s | 21 | 2686536 | 1266545 | 23184 131 | 3 | 7 1786.92/1787.46 c 1787s | 21 | 2690183 | 1268145 | 23184 131 | 3 | 7 1789.02/1789.58 c 1789s | 21 | 2693141 | 1269645 | 23184 131 | 3 | 7 1791.12/1791.69 c 1791s | 21 | 2696054 | 1271145 | 23184 131 | 3 | 7 1793.22/1793.75 c 1793s | 21 | 2699168 | 1272645 | 23184 131 | 3 | 7 1795.22/1795.79 c 1795s | 21 | 2702557 | 1274245 | 23184 132 | 3 | 7 1797.42/1797.92 c 1797s | 21 | 2706527 | 1276245 | 23184 132 | 3 | 7 1799.52/1800.02 c 1799s | 21 | 2707675 | 1276745 | 23184 132 | 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-4080123-1465257831/watcher-4080123-1465257831 -o /tmp/evaluation-result-4080123-1465257831/solver-4080123-1465257831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080123-1465257831.opb pid=5603 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.33 2.27 2.20 3/179 5606 /proc/meminfo: memFree=29174692/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=726460 CPUtime=0 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 2711 0 0 0 0 0 0 0 20 0 4 0 107716218 743895040 3072 33554432000 4194304 16246674 140736709499008 140736709498432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 182127 3082 441 2943 0 179021 0 [pid=5606/tid=5607] ppid=5603 vsize=743868 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 761720832 3142 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=748988 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 766963712 3159 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=753084 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 771158016 3175 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100163 s] /proc/loadavg: 2.33 2.27 2.20 3/179 5606 /proc/meminfo: memFree=29174692/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1219140 CPUtime=0.09 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 25154 0 0 0 5 4 0 0 20 0 4 0 107716218 1248399360 25481 33554432000 4194304 16246674 140736709499008 140736709498432 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 304785 25489 788 2943 0 301679 0 [pid=5606/tid=5607] ppid=5603 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1248399360 25494 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1248399360 25499 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1248399360 25502 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1219140 [startup+0.200444 s] /proc/loadavg: 2.33 2.27 2.20 3/179 5606 /proc/meminfo: memFree=29174692/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1223236 CPUtime=0.19 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 33653 0 0 0 14 5 0 0 20 0 4 0 107716218 1252593664 33979 33554432000 4194304 16246674 140736709499008 140736709498320 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 305809 33988 840 2943 0 302703 0 [pid=5606/tid=5607] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 33993 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 33998 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 34003 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.300471 s] /proc/loadavg: 2.33 2.27 2.20 3/179 5606 /proc/meminfo: memFree=29174692/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1223236 CPUtime=0.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 58643 0 0 0 21 8 0 0 20 0 4 0 107716218 1252593664 58970 33554432000 4194304 16246674 140736709499008 140736709498320 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 305809 58983 841 2943 0 302703 0 [pid=5606/tid=5607] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 58992 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 58999 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 59008 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1223236 [startup+0.7004 s] /proc/loadavg: 2.33 2.27 2.20 3/179 5606 /proc/meminfo: memFree=29174692/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1223236 CPUtime=0.69 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 141654 0 0 0 49 20 0 0 20 0 4 0 107716218 1252593664 141981 33554432000 4194304 16246674 140736709499008 140736709480896 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 305809 141994 841 2943 0 302703 0 [pid=5606/tid=5607] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 142002 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 142011 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1223236 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1252593664 142018 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1223236 [startup+1.50041 s] /proc/loadavg: 2.33 2.27 2.20 4/183 5610 /proc/meminfo: memFree=28292164/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1301060 CPUtime=1.49 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 266223 0 0 0 113 36 0 0 20 0 4 0 107716218 1332285440 266549 33554432000 4194304 16246674 140736709499008 140736709480896 5662193 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 325265 266549 843 2943 0 322159 0 [pid=5606/tid=5607] ppid=5603 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1332285440 266549 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1332285440 266549 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1301060 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1332285440 266549 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.1004 s] /proc/loadavg: 2.33 2.27 2.20 4/183 5610 /proc/meminfo: memFree=28110072/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1306180 CPUtime=3.09 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 267633 0 0 0 273 36 0 0 20 0 4 0 107716218 1337528320 267959 33554432000 4194304 16246674 140736709499008 140736709480896 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 326545 267959 845 2943 0 323439 0 [pid=5606/tid=5607] ppid=5603 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1337528320 267959 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1337528320 267959 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1306180 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1337528320 267959 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30041 s] /proc/loadavg: 2.30 2.26 2.19 3/183 5610 /proc/meminfo: memFree=28104948/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 267662 0 0 0 593 36 0 0 20 0 4 0 107716218 1338576896 267988 33554432000 4194304 16246674 140736709499008 140736709480896 5674650 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 326801 267988 845 2943 0 323695 0 [pid=5606/tid=5607] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 267988 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 267988 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 267988 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.28 2.26 2.19 3/183 5610 /proc/meminfo: memFree=28104220/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 267892 0 0 0 1233 36 0 0 20 0 4 0 107716218 1338576896 268218 33554432000 4194304 16246674 140736709499008 140736709480896 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 326801 268218 848 2943 0 323695 0 [pid=5606/tid=5607] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 268218 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 268218 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1338576896 268218 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1307204 [startup+25.5004 s] /proc/loadavg: 2.22 2.24 2.19 3/183 5610 /proc/meminfo: memFree=28101888/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1310276 CPUtime=25.49 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 268660 0 0 0 2513 36 0 0 20 0 4 0 107716218 1341722624 268986 33554432000 4194304 16246674 140736709499008 140736709480896 6837186 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 327569 268986 848 2943 0 324463 0 [pid=5606/tid=5607] ppid=5603 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1341722624 268986 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1341722624 268986 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1310276 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1341722624 268986 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1310276 [startup+51.1005 s] /proc/loadavg: 2.22 2.24 2.19 3/183 5610 /proc/meminfo: memFree=28099988/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1312324 CPUtime=51.08 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 269129 0 0 0 5072 36 0 0 20 0 4 0 107716218 1343819776 269455 33554432000 4194304 16246674 140736709499008 140736709480896 5827784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 328081 269455 849 2943 0 324975 0 [pid=5606/tid=5607] ppid=5603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1343819776 269455 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1343819776 269455 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1343819776 269455 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1312324 [startup+102.3 s] /proc/loadavg: 2.32 2.26 2.19 3/183 5611 /proc/meminfo: memFree=28092344/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1318468 CPUtime=102.29 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 270709 0 0 0 10192 37 0 0 20 0 4 0 107716218 1350111232 271035 33554432000 4194304 16246674 140736709499008 140736709480896 5600176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 329617 271035 849 2943 0 326511 0 [pid=5606/tid=5607] ppid=5603 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1350111232 271035 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1350111232 271035 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1350111232 271035 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272059 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1321540 [startup+1362.3 s] /proc/loadavg: 2.26 2.23 2.18 3/183 5643 /proc/meminfo: memFree=28069316/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1361.89 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271828 0 0 0 136146 43 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1321540 [startup+1422.3 s] /proc/loadavg: 2.20 2.21 2.18 3/183 5644 /proc/meminfo: memFree=28069372/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1421.88 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 142145 43 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 6022075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1321540 [startup+1482.3 s] /proc/loadavg: 2.12 2.19 2.17 4/183 5645 /proc/meminfo: memFree=28068768/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1481.86 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 148143 43 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1321540 [startup+1542.31 s] /proc/loadavg: 1.70 2.07 2.14 2/173 5678 /proc/meminfo: memFree=29188500/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1541.87 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 154143 44 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5823508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1321540 [startup+1602.3 s] /proc/loadavg: 1.42 1.92 2.08 2/174 5682 /proc/meminfo: memFree=29188756/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1601.85 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 160141 44 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1321540 [startup+1662.3 s] /proc/loadavg: 1.25 1.78 2.02 2/173 5683 /proc/meminfo: memFree=29189260/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1661.84 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 166140 44 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5673413 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1321540 [startup+1722.3 s] /proc/loadavg: 1.24 1.68 1.97 2/173 5684 /proc/meminfo: memFree=29189428/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1721.83 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 172138 45 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5674919 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1321540 [startup+1782.3 s] /proc/loadavg: 1.26 1.61 1.92 2/173 5685 /proc/meminfo: memFree=29189232/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1781.82 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 178137 45 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709498184 5662329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1321540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.18 1.57 1.90 2/173 5685 /proc/meminfo: memFree=29189116/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1800.02 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 179957 45 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5674851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1321540 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 5606 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.18 1.57 1.90 2/173 5685 /proc/meminfo: memFree=29189116/32872528 swapFree=16384/1696552 [pid=5606] ppid=5603 vsize=1321540 CPUtime=1800.02 cores=0,2,4,6 /proc/5606/stat : 5606 (toysat) R 5603 5606 1166 0 -1 4202496 271833 0 0 0 179957 45 0 0 20 0 4 0 107716218 1353256960 272061 33554432000 4194304 16246674 140736709499008 140736709480896 5674851 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/5606/statm: 330385 272061 849 2943 0 327279 0 [pid=5606/tid=5607] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5607/stat : 5607 (toysat) S 5603 5606 1166 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760845696240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=5606/tid=5608] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5608/stat : 5608 (toysat) S 5603 5606 1166 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760835206384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=5606/tid=5609] ppid=5603 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/5606/task/5609/stat : 5609 (toysat) S 5603 5606 1166 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107716219 1353256960 272061 33554432000 4194304 16246674 140736709499008 139760718834864 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1321540 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.45593 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1321540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.58 system time used= 0.45593 maximum resident set size= 1088244 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271833 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= 369 involuntary context switches= 1833 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.70528 second user time and 6.80797 second system time The end
Begin job on node125 at 2016-06-07 02:03:52 IDJOB=4080123 IDBENCH=48159 IDSOLVER=2542 FILE ID=node125/4080123-1465257831 RUNJOBID= node125-1465224138-1182 PBS_JOBID= 19843237 Free space on /tmp= 71728 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080123-1465257831/watcher-4080123-1465257831 -o /tmp/evaluation-result-4080123-1465257831/solver-4080123-1465257831 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465224138-1182 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080123-1465257831.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED=2129600932 node125.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.456 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.91 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.456 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.56 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.456 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.55 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.456 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.456 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.456 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.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 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: 29174692 kB Buffers: 67824 kB Cached: 137028 kB SwapCached: 2016 kB Active: 1188664 kB Inactive: 104344 kB Active(anon): 1088772 kB Inactive(anon): 1380 kB Active(file): 99892 kB Inactive(file): 102964 kB Unevictable: 1696552 kB Mlocked: 16384 kB SwapTotal: 67108856 kB SwapFree: 67098492 kB Dirty: 16348 kB Writeback: 0 kB AnonPages: 2818148 kB Mapped: 10392 kB Shmem: 0 kB Slab: 569588 kB SReclaimable: 13620 kB SUnreclaim: 555968 kB KernelStack: 1520 kB PageTables: 9956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2927516 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1722368 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= 71728 MiB End job on node125 at 2016-06-07 02:33:52