| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb |
| MD5SUM | ff8e4ce8aca8e0dab1b59dd2a47026b4 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.050991 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 72 |
| Total number of constraints | 7 |
| 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 | 7 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 192 |
| Sum of products size (including duplicates) | 384 |
| Number of different products | 192 |
| Sum of products size | 384 |
0.00/0.00 c 2016-06-18T18:46:04+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-4106268-1466268364.opb"] 0.00/0.01 c use --random-gen="1668864194 122972785 265289929 2831025493 4194821010 2818089273 3171076265 1918952366 1502455426 3924520733 1475285420 81789521 3183669802 1756920673 1757584808 684132592 3992125268 110899285 2562885548 3629268091 3355244239 1059116828 4016279618 1024384884 587757378 3548284238 1318263323 3691192176 3883804736 2817464093 2061900378 3193075987 717495091 1621744078 1276620942 1665450642 3785357014 2740410203 978597182 2771620781 2990850819 3713670943 1357135427 2304173563 225704099 1920412451 2046558550 2187996713 3778294982 2418595313 2987370771 3839266997 2133798792 1119489862 2085722162 669865587 3356671094 3099994083 3325040495 1234345380 4253559347 4239187460 4040063867 1152623394 345258302 2288987360 2102185472 2854335084 3377757589 666354921 1043384351 1772421666 2322507543 1562199079 1873965552 3435341285 1038647973 2534524776 3881579043 387981863 1930098623 2678527686 246608689 385349047 3741020375 7839627 4006509227 3801934349 3564898450 3161374855 3071835725 3558079044 165488241 3688596304 301406888 3095442286 1805773059 4052024565 3619698913 1290335162 1729164557 3994149462 779688674 2019020303 2189271533 2802177871 2843185961 2817476120 899404742 2634232365 2820555478 2475436546 148699561 1694727897 1686766979 4028836869 2729837636 3555500516 2605028667 433515370 2222163114 3484595552 2237811294 1305875571 1633306138 3537561133 2391693345 3933241457 2409468143 601248296 3147390938 1672628533 1125938083 3265503544 3207429721 1644563923 1002985987 491916488 1058364228 471394207 3672339595 4186730989 2869721946 184176743 1756145181 62237466 3227535064 4003927814 3889597400 3521373806 3837692989 485613351 761156780 1527946434 3686195605 2301547495 2111810278 3370092022 3305432501 3966345624 1890983696 2726954365 1342975020 2035711359 1872096967 2591761918 1486401117 3066159709 3934725960 3414270787 469458494 1860640668 3419209464 220989633 1612265298 4048565862 3866874861 2918319788 1039809698 4134974202 2337815084 17674877 3271725057 2579511458 572257423 4273686965 4264840670 318225117 4036265716 2947245686 2792166497 3689692063 1162707212 4100008813 1276961796 768341882 927089757 1463111195 2809004930 1598791626 198183879 2884173088 2330733612 1692578597 4252203803 2127081666 3510831737 276158231 3938700075 577362165 2842532920 3504930229 795239909 357487188 2516260498 3666499442 2396330935 946167579 94316947 911590901 1622101352 1845510478 2491929211 2128850001 2728015443 2199874454 1150389437 263208408 1967065290 1618032533 4116732839 4109890712 3090182651 641075624 385235097 4138898960 1454152392 3821749495 831509908 1828331033 461906894 308906641 1496715865 3693154430 1859131499 2402452315 2777732796 2440683663 2118371818 1264234150 4128160104 2599942577 3504110460 1475964079 1987575215 2746063523 255 362436" option to reproduce the execution 0.00/0.01 c #vars 72 0.00/0.01 c #constraints 7 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 283 0 | 0 | 0 0.00/0.04 c 0.0s | 1 | 110 | 100 | 283 0 | 0 | 0 0.00/0.07 c 0.1s | 2 | 271 | 250 | 312 0 | 0 | 0 0.08/0.12 c 0.1s | 3 | 528 | 475 | 344 0 | 0 | 0 0.19/0.20 c 0.2s | 4 | 895 | 813 | 379 1 | 0 | 0 0.39/0.46 c 0.4s | 5 | 1475 | 1320 | 417 3 | 0 | 0 0.69/0.77 c 0.8s | 6 | 2324 | 2081 | 505 6 | 0 | 0 0.69/1.06 c 0.9s | 6 | 2940 | 2648 | 505 7 | 0 | 0 0.69/1.06 c #cpu_time = 0.879s 0.69/1.06 c #wall_clock_time = 0.881s 0.69/1.06 c #decision = 2940 0.69/1.06 c #random_decision = 10 0.69/1.06 c #conflict = 2648 0.69/1.06 c #restart = 6 0.69/1.06 o 103 0.69/1.06 c BCD2: hardening fixes 1 literals 0.69/1.06 c BCD2: updating upper bound: 255 -> 102 0.69/1.06 c BCD2: 0 <= obj <= 102 0.69/1.06 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1 0.69/1.06 c BCD2: #sat=1 #unsat=1 bias=1/2 0.69/1.06 c Solving starts ... 0.69/1.06 c ============================[ Search Statistics ]============================ 0.69/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/1.06 c | | | | Limit GC | Var | Constra 0.69/1.06 c ============================================================================= 0.69/1.06 c 0.0s | 0 | 0 | 0 | 505 0 | 10 | 0 0.69/1.06 c 0.0s | 0 | 5 | 0 | 505 1 | 10 | 24 0.69/1.06 c #cpu_time = 0.005s 0.69/1.06 c #wall_clock_time = 0.005s 0.69/1.06 c #decision = 5 0.69/1.06 c #random_decision = 0 0.69/1.06 c #conflict = 0 0.69/1.06 c #restart = 0 0.69/1.06 c BCD2: found a new core of size 6: cost of the new core is >=2 0.69/1.06 c lower bound updated to 2 0.69/1.06 c BCD2: 2 <= obj <= 102 0.69/1.06 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=1 0.69/1.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.69/1.06 c Solving starts ... 0.69/1.06 c ============================[ Search Statistics ]============================ 0.69/1.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.69/1.06 c | | | | Limit GC | Var | Constra 0.69/1.06 c ============================================================================= 0.69/1.06 c 0.0s | 0 | 0 | 0 | 505 0 | 10 | 24 0.69/1.06 c 0.1s | 1 | 127 | 100 | 505 0 | 10 | 24 0.69/1.06 c 0.1s | 2 | 294 | 250 | 505 0 | 10 | 24 0.69/1.06 c 0.2s | 3 | 568 | 475 | 505 1 | 10 | 24 1.15/1.16 c 0.3s | 4 | 955 | 813 | 556 2 | 10 | 24 1.39/1.46 c 0.6s | 5 | 2082 | 1320 | 556 3 | 10 | 24 1.58/1.60 c 0.7s | 6 | 3066 | 2081 | 556 5 | 10 | 24 1.78/1.83 c 0.9s | 7 | 4372 | 3223 | 612 8 | 10 | 24 2.50/2.51 c 1.6s | 8 | 6204 | 4936 | 674 12 | 10 | 24 2.99/3.02 c 2.1s | 9 | 8895 | 7506 | 674 18 | 10 | 24 3.89/3.93 c 3.0s | 10 | 12986 | 11361 | 742 27 | 10 | 24 4.99/5.08 c 4.2s | 11 | 19056 | 17144 | 817 39 | 10 | 24 6.99/7.04 c 6.1s | 12 | 28327 | 25819 | 899 55 | 10 | 24 8.99/9.06 c 8.2s | 12 | 38750 | 35819 | 899 74 | 10 | 24 9.59/9.68 c 8.8s | 13 | 41802 | 38832 | 989 79 | 10 | 24 11.59/11.68 c 10.8s | 13 | 51896 | 48632 | 989 95 | 10 | 24 13.59/13.64 c 12.7s | 14 | 61743 | 58352 | 1088 111 | 10 | 24 15.58/15.65 c 14.7s | 14 | 72353 | 68652 | 1088 127 | 10 | 24 17.58/17.67 c 16.8s | 14 | 82661 | 78252 | 1088 142 | 10 | 24 19.58/19.68 c 18.8s | 14 | 92245 | 87152 | 1197 156 | 10 | 24 19.68/19.78 c 18.9s | 15 | 92746 | 87632 | 1197 157 | 10 | 24 21.78/21.80 c 20.9s | 15 | 101458 | 95832 | 1197 169 | 10 | 24 23.78/23.82 c 22.9s | 15 | 110618 | 104432 | 1197 181 | 10 | 24 25.78/25.83 c 24.9s | 15 | 119527 | 113032 | 1197 194 | 10 | 24 27.79/27.84 c 26.9s | 15 | 127914 | 120932 | 1197 205 | 10 | 24 29.78/29.86 c 29.0s | 15 | 136222 | 128732 | 1317 216 | 10 | 24 30.58/30.61 c 29.7s | 16 | 139223 | 131552 | 1317 220 | 10 | 24 32.58/32.62 c 31.7s | 16 | 148770 | 140752 | 1317 232 | 10 | 24 34.58/34.62 c 33.7s | 16 | 158077 | 149652 | 1317 244 | 10 | 24 36.59/36.64 c 35.7s | 16 | 167332 | 158552 | 1317 256 | 10 | 24 38.58/38.65 c 37.8s | 16 | 176168 | 166952 | 1317 267 | 10 | 24 40.58/40.66 c 39.8s | 16 | 186117 | 176552 | 1317 280 | 10 | 24 42.58/42.66 c 41.8s | 16 | 195786 | 185852 | 1317 292 | 10 | 24 44.58/44.68 c 43.8s | 16 | 205022 | 194752 | 1449 304 | 10 | 24 45.28/45.33 c 44.4s | 17 | 207875 | 197432 | 1449 307 | 10 | 24 47.28/47.33 c 46.4s | 17 | 215646 | 204132 | 1449 315 | 10 | 24 49.28/49.34 c 48.4s | 17 | 223787 | 211832 | 1449 324 | 10 | 24 51.28/51.34 c 50.4s | 17 | 232459 | 220032 | 1449 334 | 10 | 24 53.27/53.35 c 52.4s | 17 | 240992 | 227832 | 1449 344 | 10 | 24 55.28/55.37 c 54.5s | 17 | 248857 | 235132 | 1449 353 | 10 | 24 57.27/57.39 c 56.5s | 17 | 257054 | 243032 | 1449 363 | 10 | 24 59.37/59.42 c 58.5s | 17 | 264971 | 250532 | 1449 372 | 10 | 24 61.37/61.44 c 60.5s | 17 | 273096 | 258332 | 1449 381 | 10 | 24 63.37/63.44 c 62.5s | 17 | 279841 | 264732 | 1449 389 | 10 | 24 65.37/65.46 c 64.6s | 17 | 288002 | 272132 | 1449 399 | 10 | 24 67.38/67.48 c 66.6s | 17 | 296468 | 280032 | 1449 408 | 10 | 24 69.38/69.49 c 68.6s | 17 | 304317 | 287532 | 1449 417 | 10 | 24 71.48/71.52 c 70.6s | 17 | 312330 | 295032 | 1594 426 | 10 | 24 71.79/71.84 c 70.9s | 18 | 313658 | 296252 | 1594 428 | 10 | 24 73.78/73.86 c 73.0s | 18 | 323736 | 305652 | 1594 438 | 10 | 24 75.78/75.87 c 75.0s | 18 | 333155 | 314752 | 1594 448 | 10 | 24 77.78/77.89 c 77.0s | 18 | 343079 | 324452 | 1594 459 | 10 | 24 79.78/79.89 c 79.0s | 18 | 352821 | 333652 | 1594 470 | 10 | 24 81.88/81.91 c 81.0s | 18 | 362280 | 342652 | 1594 480 | 10 | 24 83.89/83.92 c 83.0s | 18 | 371954 | 352052 | 1594 490 | 10 | 24 85.88/85.92 c 85.0s | 18 | 380402 | 360152 | 1594 499 | 10 | 24 87.88/87.94 c 87.0s | 18 | 389171 | 368452 | 1594 509 | 10 | 24 89.88/89.94 c 89.0s | 18 | 398148 | 376952 | 1594 518 | 10 | 24 91.88/91.96 c 91.1s | 18 | 407320 | 385752 | 1594 529 | 10 | 24 93.88/93.98 c 93.1s | 18 | 416826 | 394952 | 1594 539 | 10 | 24 95.87/95.98 c 95.1s | 18 | 425340 | 403052 | 1594 548 | 10 | 24 97.97/98.00 c 97.1s | 18 | 434597 | 411652 | 1594 558 | 10 | 24 99.97/100.01 c 99.1s | 18 | 444250 | 420752 | 1594 569 | 10 | 24 101.97/102.02 c 101s | 18 | 452717 | 428852 | 1594 578 | 10 | 24 103.97/104.04 c 103s | 18 | 461958 | 437752 | 1594 588 | 10 | 24 105.47/105.54 c 104s | 19 | 469041 | 444482 | 1754 595 | 10 | 24 107.47/107.56 c 106s | 19 | 479310 | 454282 | 1754 605 | 10 | 24 109.47/109.57 c 108s | 19 | 489764 | 464282 | 1754 616 | 10 | 24 111.48/111.58 c 110s | 19 | 499361 | 473382 | 1754 626 | 10 | 24 113.47/113.59 c 112s | 19 | 509391 | 482882 | 1754 636 | 10 | 24 115.57/115.61 c 114s | 19 | 517437 | 490582 | 1754 644 | 10 | 24 117.57/117.63 c 116s | 19 | 526598 | 498982 | 1754 652 | 10 | 24 119.57/119.63 c 118s | 19 | 535819 | 507682 | 1754 662 | 10 | 24 121.57/121.65 c 120s | 19 | 545726 | 516882 | 1754 671 | 10 | 24 123.57/123.66 c 122s | 19 | 554719 | 525382 | 1754 680 | 10 | 24 125.57/125.67 c 124s | 19 | 562884 | 533082 | 1754 688 | 10 | 24 127.57/127.69 c 126s | 19 | 572472 | 542082 | 1754 698 | 10 | 24 129.57/129.69 c 128s | 19 | 581474 | 550582 | 1754 707 | 10 | 24 131.67/131.70 c 130s | 19 | 590804 | 559182 | 1754 716 | 10 | 24 133.67/133.72 c 132s | 19 | 599687 | 567382 | 1754 724 | 10 | 24 135.67/135.73 c 134s | 19 | 609352 | 576382 | 1754 734 | 10 | 24 137.67/137.74 c 136s | 19 | 619024 | 585282 | 1754 743 | 10 | 24 139.66/139.74 c 138s | 19 | 628612 | 594382 | 1754 753 | 10 | 24 141.66/141.75 c 140s | 19 | 636540 | 601682 | 1754 760 | 10 | 24 143.66/143.76 c 142s | 19 | 645269 | 609882 | 1754 769 | 10 | 24 145.66/145.78 c 144s | 19 | 654911 | 619082 | 1754 779 | 10 | 24 147.67/147.79 c 146s | 19 | 663554 | 627382 | 1754 787 | 10 | 24 149.76/149.82 c 148s | 19 | 672447 | 635882 | 1754 796 | 10 | 24 151.76/151.82 c 150s | 19 | 680167 | 643182 | 1754 803 | 10 | 24 153.76/153.83 c 152s | 19 | 688719 | 651382 | 1754 812 | 10 | 24 155.76/155.86 c 154s | 19 | 696498 | 658882 | 1754 819 | 10 | 24 157.76/157.86 c 156s | 19 | 703716 | 665582 | 1930 826 | 10 | 24 158.06/158.15 c 157s | 20 | 705081 | 666827 | 1930 827 | 10 | 24 160.06/160.15 c 159s | 20 | 714401 | 675827 | 1930 835 | 10 | 24 162.07/162.17 c 161s | 20 | 723386 | 684427 | 1930 843 | 10 | 24 164.06/164.18 c 163s | 20 | 732217 | 692927 | 1930 851 | 10 | 24 166.16/166.20 c 165s | 20 | 741603 | 701727 | 1930 860 | 10 | 24 168.16/168.23 c 167s | 20 | 749835 | 709527 | 1930 867 | 10 | 24 170.16/170.24 c 169s | 20 | 758331 | 717627 | 1930 875 | 10 | 24 172.16/172.26 c 171s | 20 | 766919 | 725827 | 1930 883 | 10 | 24 174.16/174.27 c 173s | 20 | 775659 | 734327 | 1930 891 | 10 | 24 176.16/176.27 c 175s | 20 | 784431 | 742827 | 1930 899 | 10 | 24 178.16/178.29 c 177s | 20 | 793038 | 750827 | 1930 906 | 10 | 24 180.26/180.31 c 179s | 20 | 801365 | 758727 | 1930 914 | 10 | 24 182.26/182.32 c 181s | 20 | 810605 | 767627 | 1930 922 | 10 | 24 184.26/184.34 c 183s | 20 | 819263 | 775827 | 1930 930 | 10 | 24 186.26/186.35 c 185s | 20 | 828458 | 784627 | 1930 938 | 10 | 24 188.25/188.36 c 187s | 20 | 837046 | 792927 | 1930 946 | 10 | 24 190.25/190.36 c 189s | 20 | 844155 | 799727 | 1930 953 | 10 | 24 192.26/192.37 c 191s | 20 | 852025 | 807127 | 1930 960 | 10 | 24 194.36/194.40 c 193s | 20 | 860366 | 815027 | 1930 967 | 10 | 24 196.36/196.42 c 195s | 20 | 868470 | 822727 | 1930 975 | 10 | 24 198.37/198.44 c 197s | 20 | 876706 | 830527 | 1930 982 | 10 | 24 200.36/200.47 c 199s | 20 | 884874 | 838327 | 1930 989 | 10 | 24 202.36/202.47 c 201s | 20 | 892813 | 845827 | 1930 997 | 10 | 24 204.36/204.48 c 203s | 20 | 900690 | 853327 | 1930 1004 | 10 | 24 206.36/206.49 c 205s | 20 | 907883 | 860127 | 1930 1010 | 10 | 24 208.46/208.50 c 207s | 20 | 916240 | 867927 | 1930 1018 | 10 | 24 210.47/210.52 c 209s | 20 | 924527 | 875527 | 1930 1025 | 10 | 24 212.46/212.53 c 211s | 20 | 932666 | 883327 | 1930 1032 | 10 | 24 214.46/214.54 c 213s | 20 | 939887 | 890127 | 1930 1039 | 10 | 24 216.46/216.56 c 215s | 20 | 947664 | 897427 | 1930 1046 | 10 | 24 218.46/218.56 c 217s | 20 | 955901 | 905227 | 1930 1053 | 10 | 24 220.46/220.58 c 219s | 20 | 964512 | 913327 | 1930 1061 | 10 | 24 222.46/222.60 c 221s | 20 | 973128 | 921427 | 1930 1068 | 10 | 24 224.56/224.61 c 223s | 20 | 981530 | 929427 | 1930 1076 | 10 | 24 226.56/226.65 c 225s | 20 | 989579 | 937127 | 1930 1083 | 10 | 24 228.56/228.67 c 227s | 20 | 997991 | 945127 | 1930 1091 | 10 | 24 230.56/230.69 c 229s | 20 | 1005893 | 952427 | 1930 1098 | 10 | 24 232.55/232.69 c 231s | 20 | 1013836 | 960027 | 1930 1105 | 10 | 24 234.66/234.71 c 233s | 20 | 1021575 | 967327 | 1930 1112 | 10 | 24 236.65/236.71 c 235s | 20 | 1029183 | 974327 | 1930 1119 | 10 | 24 238.65/238.72 c 237s | 20 | 1036832 | 981227 | 1930 1125 | 10 | 24 240.65/240.72 c 239s | 20 | 1045036 | 989127 | 1930 1133 | 10 | 24 242.65/242.73 c 241s | 20 | 1053321 | 996827 | 2123 1139 | 10 | 24 243.65/243.77 c 242s | 21 | 1057052 | 1000345 | 2123 1143 | 10 | 24 245.66/245.79 c 244s | 21 | 1066663 | 1009545 | 2123 1151 | 10 | 24 247.65/247.80 c 246s | 21 | 1075598 | 1018145 | 2123 1158 | 10 | 24 249.75/249.80 c 248s | 21 | 1085020 | 1027245 | 2123 1166 | 10 | 24 251.75/251.82 c 250s | 21 | 1093890 | 1035645 | 2123 1173 | 10 | 24 253.75/253.84 c 252s | 21 | 1101518 | 1043045 | 2123 1180 | 10 | 24 255.75/255.85 c 254s | 21 | 1110613 | 1051845 | 2123 1188 | 10 | 24 257.75/257.86 c 256s | 21 | 1119335 | 1060245 | 2123 1195 | 10 | 24 259.75/259.87 c 258s | 21 | 1128206 | 1068645 | 2123 1202 | 10 | 24 261.75/261.87 c 260s | 21 | 1136641 | 1076845 | 2123 1210 | 10 | 24 263.75/263.89 c 262s | 21 | 1144990 | 1084645 | 2123 1217 | 10 | 24 265.85/265.90 c 264s | 21 | 1153450 | 1092745 | 2123 1224 | 10 | 24 267.84/267.91 c 267s | 21 | 1162183 | 1101145 | 2123 1231 | 10 | 24 269.85/269.95 c 269s | 21 | 1170696 | 1109345 | 2123 1238 | 10 | 24 271.84/271.98 c 271s | 21 | 1177822 | 1116145 | 2123 1244 | 10 | 24 273.84/273.98 c 273s | 21 | 1185641 | 1123445 | 2123 1251 | 10 | 24 275.84/275.99 c 275s | 21 | 1192997 | 1130345 | 2123 1257 | 10 | 24 277.94/278.00 c 277s | 21 | 1200452 | 1137245 | 2123 1263 | 10 | 24 279.94/280.01 c 279s | 21 | 1207739 | 1144345 | 2123 1269 | 10 | 24 281.95/282.02 c 281s | 21 | 1215976 | 1151745 | 2123 1275 | 10 | 24 283.94/284.02 c 283s | 21 | 1223579 | 1158545 | 2123 1281 | 10 | 24 285.94/286.03 c 285s | 21 | 1231130 | 1165445 | 2123 1287 | 10 | 24 287.94/288.05 c 287s | 21 | 1239622 | 1173245 | 2123 1294 | 10 | 24 289.94/290.07 c 289s | 21 | 1246155 | 1179245 | 2123 1299 | 10 | 24 291.94/292.08 c 291s | 21 | 1253444 | 1185945 | 2123 1305 | 10 | 24 293.95/294.09 c 293s | 21 | 1261195 | 1193345 | 2123 1311 | 10 | 24 296.04/296.11 c 295s | 21 | 1269263 | 1200945 | 2123 1318 | 10 | 24 298.04/298.12 c 297s | 21 | 1276954 | 1208245 | 2123 1324 | 10 | 24 300.04/300.15 c 299s | 21 | 1284087 | 1214745 | 2123 1330 | 10 | 24 302.04/302.16 c 301s | 21 | 1292214 | 1222445 | 2123 1337 | 10 | 24 304.05/304.17 c 303s | 21 | 1299109 | 1228845 | 2123 1342 | 10 | 24 306.05/306.19 c 305s | 21 | 1307327 | 1236545 | 2123 1349 | 10 | 24 308.15/308.21 c 307s | 21 | 1315933 | 1244745 | 2123 1356 | 10 | 24 310.14/310.24 c 309s | 21 | 1323409 | 1251845 | 2123 1363 | 10 | 24 312.14/312.25 c 311s | 21 | 1331001 | 1259045 | 2123 1369 | 10 | 24 314.14/314.25 c 313s | 21 | 1338910 | 1266345 | 2123 1375 | 10 | 24 316.14/316.26 c 315s | 21 | 1348035 | 1274745 | 2123 1383 | 10 | 24 318.15/318.26 c 317s | 21 | 1357277 | 1283045 | 2123 1390 | 10 | 24 320.14/320.28 c 319s | 21 | 1366205 | 1291145 | 2123 1397 | 10 | 24 322.24/322.30 c 321s | 21 | 1374245 | 1298145 | 2123 1403 | 10 | 24 324.24/324.31 c 323s | 21 | 1382407 | 1306045 | 2123 1410 | 10 | 24 326.24/326.32 c 325s | 21 | 1389880 | 1313245 | 2123 1417 | 10 | 24 328.24/328.34 c 327s | 21 | 1397088 | 1320245 | 2123 1423 | 10 | 24 330.25/330.35 c 329s | 21 | 1404756 | 1327345 | 2123 1429 | 10 | 24 332.24/332.36 c 331s | 21 | 1412929 | 1335345 | 2123 1436 | 10 | 24 334.24/334.37 c 333s | 21 | 1421512 | 1343745 | 2123 1443 | 10 | 24 336.24/336.38 c 335s | 21 | 1430817 | 1352745 | 2123 1451 | 10 | 24 338.34/338.40 c 337s | 21 | 1439983 | 1361745 | 2123 1459 | 10 | 24 340.34/340.41 c 339s | 21 | 1448550 | 1370045 | 2123 1466 | 10 | 24 342.35/342.43 c 341s | 21 | 1457255 | 1378445 | 2123 1474 | 10 | 24 344.34/344.44 c 343s | 21 | 1464642 | 1385345 | 2123 1480 | 10 | 24 346.34/346.45 c 345s | 21 | 1471553 | 1391945 | 2123 1485 | 10 | 24 348.34/348.46 c 347s | 21 | 1479838 | 1399945 | 2123 1492 | 10 | 24 350.34/350.46 c 349s | 21 | 1487180 | 1406845 | 2123 1499 | 10 | 24 352.34/352.48 c 351s | 21 | 1495272 | 1414445 | 2123 1505 | 10 | 24 354.34/354.48 c 353s | 21 | 1503098 | 1421945 | 2123 1512 | 10 | 24 356.44/356.51 c 355s | 21 | 1510676 | 1429245 | 2123 1518 | 10 | 24 358.44/358.51 c 357s | 21 | 1517646 | 1435945 | 2123 1524 | 10 | 24 360.44/360.53 c 359s | 21 | 1525713 | 1443645 | 2123 1530 | 10 | 24 362.44/362.55 c 361s | 21 | 1533015 | 1450745 | 2123 1537 | 10 | 24 364.44/364.56 c 363s | 21 | 1541439 | 1458745 | 2123 1544 | 10 | 24 366.44/366.56 c 365s | 21 | 1547709 | 1464845 | 2123 1549 | 10 | 24 368.44/368.56 c 367s | 21 | 1555912 | 1472645 | 2123 1556 | 10 | 24 370.43/370.59 c 369s | 21 | 1564519 | 1480845 | 2123 1563 | 10 | 24 372.43/372.59 c 371s | 21 | 1573085 | 1488845 | 2336 1570 | 10 | 24 374.53/374.60 c 373s | 21 | 1581633 | 1497145 | 2336 1576 | 10 | 24 375.53/375.62 c 374s | 22 | 1585201 | 1500622 | 2336 1579 | 10 | 24 377.54/377.64 c 376s | 22 | 1593695 | 1508822 | 2336 1586 | 10 | 24 379.53/379.66 c 378s | 22 | 1602906 | 1517522 | 2336 1593 | 10 | 24 381.53/381.69 c 380s | 22 | 1611103 | 1525322 | 2336 1599 | 10 | 24 383.63/383.70 c 382s | 22 | 1618510 | 1532422 | 2336 1605 | 10 | 24 385.63/385.71 c 384s | 22 | 1625642 | 1539222 | 2336 1610 | 10 | 24 387.63/387.73 c 386s | 22 | 1633229 | 1546322 | 2336 1616 | 10 | 24 389.64/389.73 c 388s | 22 | 1642551 | 1555122 | 2336 1623 | 10 | 24 391.63/391.73 c 390s | 22 | 1650156 | 1562222 | 2336 1628 | 10 | 24 393.63/393.75 c 392s | 22 | 1658984 | 1570522 | 2336 1635 | 10 | 24 395.63/395.76 c 394s | 22 | 1667000 | 1578122 | 2336 1641 | 10 | 24 397.63/397.78 c 396s | 22 | 1674906 | 1585622 | 2336 1647 | 10 | 24 399.63/399.79 c 398s | 22 | 1683347 | 1593722 | 2336 1654 | 10 | 24 401.63/401.80 c 400s | 22 | 1691406 | 1601322 | 2336 1660 | 10 | 24 403.73/403.82 c 402s | 22 | 1698704 | 1608222 | 2336 1665 | 10 | 24 405.73/405.83 c 404s | 22 | 1706621 | 1615922 | 2336 1671 | 10 | 24 407.73/407.84 c 406s | 22 | 1714831 | 1623722 | 2336 1677 | 10 | 24 409.73/409.86 c 408s | 22 | 1723275 | 1631822 | 2336 1684 | 10 | 24 411.73/411.87 c 410s | 22 | 1732124 | 1640122 | 2336 1690 | 10 | 24 413.73/413.89 c 412s | 22 | 1741701 | 1649322 | 2336 1698 | 10 | 24 415.82/415.91 c 415s | 22 | 1750833 | 1658122 | 2336 1705 | 10 | 24 417.82/417.92 c 417s | 22 | 1759591 | 1666122 | 2336 1711 | 10 | 24 419.82/419.94 c 419s | 22 | 1768601 | 1674622 | 2336 1718 | 10 | 24 421.82/421.95 c 421s | 22 | 1777172 | 1682822 | 2336 1724 | 10 | 24 423.83/423.98 c 423s | 22 | 1786083 | 1691222 | 2336 1731 | 10 | 24 425.82/425.99 c 425s | 22 | 1794824 | 1699722 | 2336 1738 | 10 | 24 427.92/428.00 c 427s | 22 | 1802678 | 1707222 | 2336 1744 | 10 | 24 429.92/430.01 c 429s | 22 | 1810483 | 1714422 | 2336 1750 | 10 | 24 431.92/432.01 c 431s | 22 | 1819052 | 1722522 | 2336 1756 | 10 | 24 433.92/434.02 c 433s | 22 | 1828055 | 1731122 | 2336 1763 | 10 | 24 435.93/436.02 c 435s | 22 | 1837176 | 1739522 | 2336 1770 | 10 | 24 437.92/438.02 c 437s | 22 | 1846380 | 1748122 | 2336 1777 | 10 | 24 439.92/440.04 c 439s | 22 | 1855661 | 1756922 | 2336 1784 | 10 | 24 441.92/442.05 c 441s | 22 | 1864523 | 1765322 | 2336 1791 | 10 | 24 443.92/444.05 c 443s | 22 | 1873811 | 1774122 | 2336 1798 | 10 | 24 445.92/446.06 c 445s | 22 | 1882787 | 1782722 | 2336 1805 | 10 | 24 447.92/448.09 c 447s | 22 | 1889743 | 1789322 | 2336 1810 | 10 | 24 450.01/450.10 c 449s | 22 | 1897838 | 1796822 | 2336 1816 | 10 | 24 452.02/452.11 c 451s | 22 | 1906217 | 1804822 | 2336 1822 | 10 | 24 454.02/454.13 c 453s | 22 | 1914632 | 1812922 | 2336 1829 | 10 | 24 456.02/456.15 c 455s | 22 | 1923396 | 1821122 | 2336 1835 | 10 | 24 458.02/458.16 c 457s | 22 | 1931796 | 1829122 | 2336 1842 | 10 | 24 460.03/460.17 c 459s | 22 | 1941082 | 1837822 | 2336 1849 | 10 | 24 462.02/462.19 c 461s | 22 | 1949507 | 1845822 | 2336 1855 | 10 | 24 464.12/464.20 c 463s | 22 | 1957616 | 1853422 | 2336 1861 | 10 | 24 466.12/466.21 c 465s | 22 | 1966252 | 1861622 | 2336 1868 | 10 | 24 468.11/468.22 c 467s | 22 | 1974872 | 1870022 | 2336 1875 | 10 | 24 470.11/470.24 c 469s | 22 | 1984963 | 1879422 | 2336 1882 | 10 | 24 472.12/472.24 c 471s | 22 | 1993370 | 1887622 | 2336 1889 | 10 | 24 474.11/474.26 c 473s | 22 | 2001320 | 1895122 | 2336 1895 | 10 | 24 476.11/476.29 c 475s | 22 | 2008092 | 1901522 | 2336 1900 | 10 | 24 478.21/478.30 c 477s | 22 | 2014988 | 1908022 | 2336 1905 | 10 | 24 480.21/480.32 c 479s | 22 | 2022853 | 1915422 | 2336 1911 | 10 | 24 482.21/482.34 c 481s | 22 | 2030551 | 1922722 | 2336 1917 | 10 | 24 484.21/484.36 c 483s | 22 | 2039201 | 1930622 | 2336 1924 | 10 | 24 486.20/486.37 c 485s | 22 | 2046886 | 1937822 | 2336 1929 | 10 | 24 488.20/488.38 c 487s | 22 | 2054522 | 1944922 | 2336 1935 | 10 | 24 490.20/490.38 c 489s | 22 | 2061881 | 1951822 | 2336 1940 | 10 | 24 492.30/492.40 c 491s | 22 | 2069861 | 1959422 | 2336 1946 | 10 | 24 494.30/494.41 c 493s | 22 | 2077988 | 1967122 | 2336 1953 | 10 | 24 496.30/496.41 c 495s | 22 | 2085801 | 1974122 | 2336 1958 | 10 | 24 498.30/498.41 c 497s | 22 | 2093199 | 1981222 | 2336 1964 | 10 | 24 500.30/500.44 c 499s | 22 | 2100648 | 1988122 | 2336 1969 | 10 | 24 502.30/502.46 c 501s | 22 | 2108101 | 1995222 | 2336 1975 | 10 | 24 504.40/504.50 c 503s | 22 | 2115576 | 2002122 | 2336 1981 | 10 | 24 506.39/506.52 c 505s | 22 | 2123237 | 2009322 | 2336 1986 | 10 | 24 508.40/508.53 c 507s | 22 | 2130420 | 2016122 | 2336 1992 | 10 | 24 510.39/510.56 c 509s | 22 | 2137907 | 2023122 | 2336 1997 | 10 | 24 512.39/512.56 c 511s | 22 | 2146243 | 2030922 | 2336 2004 | 10 | 24 514.39/514.57 c 513s | 22 | 2154458 | 2038822 | 2336 2010 | 10 | 24 516.39/516.58 c 515s | 22 | 2163260 | 2047222 | 2336 2017 | 10 | 24 518.48/518.61 c 517s | 22 | 2171498 | 2054822 | 2336 2023 | 10 | 24 520.49/520.62 c 519s | 22 | 2179332 | 2062022 | 2336 2028 | 10 | 24 522.48/522.65 c 521s | 22 | 2186869 | 2069222 | 2336 2034 | 10 | 24 524.48/524.65 c 523s | 22 | 2194358 | 2076422 | 2336 2040 | 10 | 24 526.48/526.66 c 525s | 22 | 2201470 | 2083122 | 2336 2045 | 10 | 24 528.48/528.68 c 527s | 22 | 2209009 | 2090122 | 2336 2051 | 10 | 24 530.49/530.69 c 529s | 22 | 2216262 | 2097122 | 2336 2056 | 10 | 24 532.48/532.69 c 531s | 22 | 2224244 | 2104622 | 2336 2063 | 10 | 24 534.58/534.70 c 533s | 22 | 2232780 | 2112522 | 2336 2069 | 10 | 24 536.58/536.72 c 535s | 22 | 2241673 | 2120822 | 2336 2076 | 10 | 24 538.58/538.73 c 537s | 22 | 2250013 | 2128522 | 2336 2082 | 10 | 24 540.58/540.75 c 539s | 22 | 2258530 | 2136822 | 2336 2089 | 10 | 24 542.58/542.78 c 541s | 22 | 2265149 | 2143122 | 2336 2094 | 10 | 24 544.58/544.80 c 543s | 22 | 2272319 | 2149822 | 2336 2099 | 10 | 24 546.67/546.82 c 545s | 22 | 2279758 | 2156522 | 2336 2104 | 10 | 24 548.67/548.83 c 547s | 22 | 2287346 | 2163722 | 2336 2110 | 10 | 24 550.68/550.85 c 549s | 22 | 2295466 | 2171322 | 2336 2116 | 10 | 24 552.68/552.88 c 551s | 22 | 2302964 | 2178422 | 2336 2121 | 10 | 24 554.78/554.91 c 554s | 22 | 2311188 | 2186222 | 2336 2128 | 10 | 24 556.78/556.92 c 556s | 22 | 2319031 | 2193722 | 2336 2134 | 10 | 24 558.77/558.95 c 558s | 22 | 2327341 | 2201522 | 2336 2140 | 10 | 24 560.77/560.95 c 560s | 22 | 2335234 | 2208822 | 2336 2146 | 10 | 24 562.77/562.98 c 562s | 22 | 2343854 | 2216722 | 2336 2152 | 10 | 24 564.77/564.99 c 564s | 22 | 2351964 | 2224322 | 2336 2158 | 10 | 24 566.87/567.01 c 566s | 22 | 2359661 | 2231322 | 2336 2164 | 10 | 24 568.87/569.04 c 568s | 22 | 2367090 | 2238322 | 2570 2169 | 10 | 24 570.87/571.05 c 570s | 22 | 2375307 | 2246022 | 2570 2174 | 10 | 24 572.17/572.31 c 571s | 23 | 2380651 | 2251038 | 2570 2178 | 10 | 24 574.17/574.32 c 573s | 23 | 2389410 | 2259438 | 2570 2184 | 10 | 24 576.16/576.32 c 575s | 23 | 2397343 | 2266938 | 2570 2189 | 10 | 24 578.16/578.33 c 577s | 23 | 2405977 | 2274938 | 2570 2195 | 10 | 24 580.16/580.34 c 579s | 23 | 2414068 | 2282438 | 2570 2201 | 10 | 24 582.17/582.36 c 581s | 23 | 2423036 | 2291038 | 2570 2207 | 10 | 24 584.16/584.38 c 583s | 23 | 2430784 | 2298338 | 2570 2212 | 10 | 24 586.16/586.39 c 585s | 23 | 2439340 | 2306638 | 2570 2218 | 10 | 24 588.26/588.40 c 587s | 23 | 2448341 | 2314938 | 2570 2224 | 10 | 24 590.26/590.41 c 589s | 23 | 2457278 | 2323438 | 2570 2231 | 10 | 24 592.26/592.41 c 591s | 23 | 2465119 | 2330838 | 2570 2236 | 10 | 24 594.26/594.42 c 593s | 23 | 2475396 | 2340438 | 2570 2243 | 10 | 24 596.25/596.44 c 595s | 23 | 2485197 | 2349738 | 2570 2250 | 10 | 24 598.25/598.45 c 597s | 23 | 2494828 | 2358938 | 2570 2257 | 10 | 24 600.25/600.46 c 599s | 23 | 2501902 | 2365638 | 2570 2262 | 10 | 24 602.25/602.47 c 601s | 23 | 2508466 | 2371738 | 2570 2266 | 10 | 24 604.25/604.48 c 603s | 23 | 2515500 | 2378138 | 2570 2271 | 10 | 24 606.25/606.48 c 605s | 23 | 2523049 | 2385338 | 2570 2276 | 10 | 24 608.34/608.50 c 607s | 23 | 2532036 | 2393738 | 2570 2282 | 10 | 24 610.34/610.51 c 609s | 23 | 2541010 | 2402038 | 2570 2288 | 10 | 24 612.34/612.53 c 611s | 23 | 2549892 | 2410138 | 2570 2294 | 10 | 24 614.34/614.54 c 613s | 23 | 2557238 | 2416938 | 2570 2299 | 10 | 24 616.34/616.57 c 615s | 23 | 2565874 | 2424938 | 2570 2305 | 10 | 24 618.35/618.58 c 617s | 23 | 2573786 | 2432338 | 2570 2310 | 10 | 24 620.34/620.59 c 619s | 23 | 2582571 | 2440738 | 2570 2317 | 10 | 24 622.34/622.59 c 621s | 23 | 2591488 | 2449138 | 2570 2323 | 10 | 24 624.44/624.60 c 623s | 23 | 2600060 | 2457438 | 2570 2329 | 10 | 24 626.43/626.61 c 625s | 23 | 2607497 | 2464338 | 2570 2334 | 10 | 24 628.43/628.61 c 627s | 23 | 2614591 | 2470938 | 2570 2339 | 10 | 24 630.44/630.62 c 629s | 23 | 2621818 | 2477738 | 2570 2344 | 10 | 24 632.43/632.66 c 631s | 23 | 2629082 | 2484738 | 2570 2349 | 10 | 24 634.43/634.66 c 633s | 23 | 2636376 | 2491538 | 2570 2354 | 10 | 24 636.43/636.67 c 635s | 23 | 2643515 | 2498238 | 2570 2359 | 10 | 24 638.43/638.68 c 637s | 23 | 2652020 | 2506238 | 2570 2364 | 10 | 24 640.53/640.70 c 639s | 23 | 2660647 | 2514438 | 2570 2371 | 10 | 24 642.53/642.73 c 641s | 23 | 2669471 | 2522638 | 2570 2377 | 10 | 24 644.53/644.74 c 643s | 23 | 2678341 | 2531038 | 2570 2383 | 10 | 24 646.52/646.74 c 645s | 23 | 2686555 | 2538438 | 2570 2388 | 10 | 24 648.52/648.76 c 647s | 23 | 2694618 | 2546138 | 2570 2394 | 10 | 24 650.52/650.79 c 649s | 23 | 2702840 | 2553838 | 2570 2399 | 10 | 24 652.53/652.79 c 651s | 23 | 2711175 | 2561838 | 2570 2405 | 10 | 24 654.52/654.80 c 653s | 23 | 2719515 | 2569838 | 2570 2411 | 10 | 24 656.62/656.81 c 655s | 23 | 2727577 | 2577238 | 2570 2417 | 10 | 24 658.62/658.82 c 657s | 23 | 2735005 | 2584038 | 2570 2422 | 10 | 24 660.62/660.83 c 659s | 23 | 2742034 | 2590738 | 2570 2426 | 10 | 24 662.62/662.84 c 661s | 23 | 2750546 | 2598638 | 2570 2432 | 10 | 24 664.62/664.86 c 663s | 23 | 2758724 | 2606338 | 2570 2438 | 10 | 24 666.61/666.88 c 665s | 23 | 2767365 | 2614338 | 2570 2444 | 10 | 24 668.71/668.91 c 668s | 23 | 2775593 | 2622038 | 2570 2449 | 10 | 24 670.71/670.91 c 670s | 23 | 2783952 | 2629938 | 2570 2455 | 10 | 24 672.71/672.93 c 672s | 23 | 2792879 | 2638438 | 2570 2461 | 10 | 24 674.71/674.94 c 674s | 23 | 2801892 | 2646838 | 2570 2468 | 10 | 24 676.72/676.95 c 676s | 23 | 2810665 | 2655038 | 2570 2474 | 10 | 24 678.72/678.96 c 678s | 23 | 2818045 | 2661838 | 2570 2479 | 10 | 24 680.72/680.97 c 680s | 23 | 2826014 | 2669438 | 2570 2484 | 10 | 24 682.72/682.99 c 682s | 23 | 2834885 | 2677738 | 2570 2490 | 10 | 24 684.82/685.00 c 684s | 23 | 2843603 | 2686238 | 2570 2497 | 10 | 24 686.81/687.03 c 686s | 23 | 2852627 | 2694838 | 2570 2503 | 10 | 24 688.82/689.03 c 688s | 23 | 2860111 | 2702138 | 2570 2508 | 10 | 24 690.81/691.05 c 690s | 23 | 2867023 | 2708638 | 2570 2513 | 10 | 24 692.81/693.06 c 692s | 23 | 2874933 | 2716138 | 2570 2519 | 10 | 24 694.81/695.07 c 694s | 23 | 2882575 | 2723138 | 2570 2524 | 10 | 24 696.80/697.08 c 696s | 23 | 2890917 | 2730838 | 2570 2529 | 10 | 24 698.80/699.09 c 698s | 23 | 2898939 | 2738338 | 2570 2535 | 10 | 24 700.91/701.12 c 700s | 23 | 2907777 | 2746038 | 2570 2541 | 10 | 24 702.90/703.13 c 702s | 23 | 2916012 | 2753338 | 2570 2546 | 10 | 24 704.90/705.16 c 704s | 23 | 2924379 | 2761038 | 2570 2552 | 10 | 24 706.90/707.18 c 706s | 23 | 2932412 | 2768338 | 2570 2557 | 10 | 24 709.00/709.20 c 708s | 23 | 2940331 | 2775638 | 2570 2562 | 10 | 24 711.00/711.22 c 710s | 23 | 2948141 | 2782838 | 2570 2568 | 10 | 24 713.00/713.25 c 712s | 23 | 2956098 | 2790138 | 2570 2573 | 10 | 24 715.00/715.29 c 714s | 23 | 2964255 | 2797738 | 2570 2579 | 10 | 24 717.10/717.31 c 716s | 23 | 2972099 | 2805138 | 2570 2584 | 10 | 24 719.10/719.31 c 718s | 23 | 2980248 | 2812538 | 2570 2590 | 10 | 24 721.10/721.33 c 720s | 23 | 2988224 | 2819938 | 2570 2595 | 10 | 24 723.10/723.34 c 722s | 23 | 2996635 | 2827638 | 2570 2601 | 10 | 24 725.10/725.34 c 724s | 23 | 3004469 | 2834938 | 2570 2606 | 10 | 24 727.09/727.35 c 726s | 23 | 3012966 | 2842938 | 2570 2612 | 10 | 24 729.09/729.36 c 728s | 23 | 3021327 | 2850538 | 2570 2618 | 10 | 24 731.09/731.39 c 730s | 23 | 3029197 | 2857738 | 2570 2623 | 10 | 24 733.09/733.39 c 732s | 23 | 3036591 | 2864338 | 2570 2628 | 10 | 24 735.19/735.41 c 734s | 23 | 3043927 | 2871038 | 2570 2633 | 10 | 24 737.19/737.43 c 736s | 23 | 3051927 | 2878538 | 2570 2638 | 10 | 24 739.19/739.45 c 738s | 23 | 3060345 | 2886538 | 2570 2644 | 10 | 24 741.19/741.47 c 740s | 23 | 3067243 | 2893038 | 2570 2649 | 10 | 24 743.19/743.48 c 742s | 23 | 3074756 | 2900138 | 2570 2654 | 10 | 24 745.19/745.48 c 744s | 23 | 3082827 | 2907938 | 2570 2660 | 10 | 24 747.28/747.50 c 746s | 23 | 3090595 | 2915038 | 2570 2665 | 10 | 24 749.19/749.50 c 748s | 23 | 3099232 | 2923238 | 2570 2671 | 10 | 24 751.28/751.51 c 750s | 23 | 3107332 | 2930938 | 2570 2677 | 10 | 24 753.28/753.53 c 752s | 23 | 3115735 | 2939038 | 2570 2683 | 10 | 24 755.28/755.54 c 754s | 23 | 3123663 | 2946538 | 2570 2688 | 10 | 24 757.28/757.54 c 756s | 23 | 3131287 | 2953838 | 2570 2694 | 10 | 24 759.28/759.56 c 758s | 23 | 3139014 | 2961038 | 2570 2699 | 10 | 24 761.28/761.57 c 760s | 23 | 3147297 | 2968738 | 2570 2704 | 10 | 24 763.28/763.59 c 762s | 23 | 3155853 | 2976738 | 2570 2710 | 10 | 24 765.37/765.60 c 764s | 23 | 3164905 | 2985238 | 2570 2717 | 10 | 24 767.37/767.61 c 766s | 23 | 3173169 | 2992738 | 2570 2722 | 10 | 24 769.37/769.62 c 768s | 23 | 3180403 | 2999538 | 2570 2727 | 10 | 24 771.37/771.64 c 770s | 23 | 3187745 | 3006338 | 2570 2732 | 10 | 24 773.38/773.65 c 772s | 23 | 3196404 | 3014238 | 2570 2738 | 10 | 24 775.37/775.67 c 774s | 23 | 3204213 | 3021638 | 2570 2743 | 10 | 24 777.36/777.68 c 776s | 23 | 3212360 | 3029338 | 2570 2749 | 10 | 24 779.46/779.70 c 778s | 23 | 3220527 | 3037238 | 2570 2754 | 10 | 24 781.46/781.71 c 780s | 23 | 3228655 | 3045038 | 2570 2760 | 10 | 24 783.46/783.73 c 782s | 23 | 3236824 | 3052838 | 2570 2766 | 10 | 24 785.47/785.76 c 784s | 23 | 3244932 | 3060638 | 2570 2772 | 10 | 24 787.45/787.77 c 786s | 23 | 3252103 | 3067638 | 2570 2777 | 10 | 24 789.45/789.79 c 788s | 23 | 3260149 | 3075238 | 2570 2782 | 10 | 24 791.55/791.82 c 790s | 23 | 3269128 | 3083738 | 2570 2788 | 10 | 24 793.55/793.84 c 792s | 23 | 3277053 | 3091438 | 2570 2794 | 10 | 24 795.55/795.85 c 794s | 23 | 3285617 | 3099738 | 2570 2800 | 10 | 24 797.55/797.87 c 796s | 23 | 3293476 | 3107338 | 2570 2806 | 10 | 24 799.55/799.88 c 798s | 23 | 3302015 | 3115538 | 2570 2812 | 10 | 24 801.65/801.90 c 800s | 23 | 3309946 | 3123238 | 2570 2817 | 10 | 24 803.65/803.92 c 803s | 23 | 3318330 | 3131138 | 2570 2823 | 10 | 24 805.65/805.94 c 805s | 23 | 3325722 | 3138238 | 2570 2828 | 10 | 24 807.65/807.96 c 807s | 23 | 3333806 | 3146038 | 2570 2834 | 10 | 24 809.66/809.97 c 809s | 23 | 3342028 | 3154038 | 2570 2840 | 10 | 24 811.65/811.99 c 811s | 23 | 3349956 | 3161738 | 2570 2845 | 10 | 24 813.75/814.00 c 813s | 23 | 3358393 | 3169938 | 2570 2851 | 10 | 24 815.75/816.02 c 815s | 23 | 3366594 | 3177938 | 2570 2857 | 10 | 24 817.75/818.02 c 817s | 23 | 3375231 | 3186238 | 2570 2863 | 10 | 24 819.75/820.03 c 819s | 23 | 3382819 | 3193538 | 2570 2869 | 10 | 24 821.75/822.03 c 821s | 23 | 3391084 | 3201338 | 2570 2874 | 10 | 24 823.74/824.03 c 823s | 23 | 3398367 | 3208338 | 2570 2879 | 10 | 24 825.74/826.04 c 825s | 23 | 3405640 | 3215238 | 2570 2884 | 10 | 24 827.74/828.06 c 827s | 23 | 3413667 | 3222938 | 2570 2890 | 10 | 24 829.74/830.08 c 829s | 23 | 3421909 | 3230938 | 2570 2896 | 10 | 24 831.84/832.10 c 831s | 23 | 3430310 | 3239138 | 2570 2902 | 10 | 24 833.84/834.12 c 833s | 23 | 3438617 | 3247138 | 2570 2908 | 10 | 24 835.84/836.12 c 835s | 23 | 3446851 | 3255138 | 2570 2914 | 10 | 24 837.83/838.14 c 837s | 23 | 3454395 | 3262338 | 2570 2919 | 10 | 24 839.83/840.15 c 839s | 23 | 3462245 | 3269938 | 2570 2924 | 10 | 24 841.83/842.15 c 841s | 23 | 3469943 | 3277238 | 2570 2930 | 10 | 24 843.84/844.15 c 843s | 23 | 3477101 | 3284038 | 2570 2935 | 10 | 24 845.83/846.18 c 845s | 23 | 3485341 | 3291738 | 2570 2941 | 10 | 24 847.83/848.18 c 847s | 23 | 3493952 | 3300138 | 2570 2947 | 10 | 24 849.82/850.19 c 849s | 23 | 3501705 | 3307538 | 2570 2952 | 10 | 24 851.92/852.22 c 851s | 23 | 3509723 | 3315338 | 2570 2958 | 10 | 24 853.92/854.22 c 853s | 23 | 3517358 | 3322638 | 2570 2963 | 10 | 24 855.92/856.25 c 855s | 23 | 3525435 | 3330238 | 2570 2969 | 10 | 24 857.91/858.26 c 857s | 23 | 3533122 | 3337538 | 2570 2974 | 10 | 24 859.91/860.28 c 859s | 23 | 3540973 | 3345038 | 2570 2980 | 10 | 24 861.91/862.28 c 861s | 23 | 3549089 | 3352738 | 2828 2985 | 10 | 24 864.01/864.32 c 863s | 23 | 3556532 | 3359938 | 2828 2990 | 10 | 24 866.01/866.35 c 865s | 23 | 3563800 | 3366838 | 2828 2995 | 10 | 24 868.01/868.37 c 867s | 23 | 3571112 | 3373838 | 2828 2999 | 10 | 24 868.91/869.24 c 868s | 24 | 3574128 | 3376662 | 2828 3001 | 10 | 24 870.91/871.27 c 870s | 24 | 3580845 | 3383062 | 2828 3005 | 10 | 24 873.01/873.30 c 872s | 24 | 3587385 | 3389362 | 2828 3010 | 10 | 24 875.01/875.32 c 874s | 24 | 3593253 | 3394962 | 2828 3013 | 10 | 24 877.00/877.32 c 876s | 24 | 3599029 | 3400362 | 2828 3017 | 10 | 24 879.01/879.37 c 878s | 24 | 3604598 | 3405462 | 2828 3020 | 10 | 24 881.00/881.37 c 880s | 24 | 3609852 | 3410262 | 2828 3023 | 10 | 24 883.10/883.41 c 882s | 24 | 3616640 | 3416762 | 2828 3028 | 10 | 24 885.10/885.43 c 884s | 24 | 3622700 | 3422462 | 2828 3032 | 10 | 24 887.10/887.44 c 886s | 24 | 3628816 | 3428362 | 2828 3035 | 10 | 24 889.10/889.47 c 888s | 24 | 3635168 | 3434462 | 2828 3040 | 10 | 24 891.20/891.50 c 890s | 24 | 3641863 | 3440662 | 2828 3044 | 10 | 24 893.20/893.53 c 892s | 24 | 3648752 | 3447162 | 2828 3048 | 10 | 24 895.20/895.55 c 894s | 24 | 3655342 | 3453062 | 2828 3052 | 10 | 24 897.19/897.57 c 896s | 24 | 3663345 | 3460562 | 2828 3057 | 10 | 24 899.19/899.59 c 898s | 24 | 3670088 | 3466962 | 2828 3061 | 10 | 24 901.29/901.62 c 900s | 24 | 3678696 | 3475062 | 2828 3067 | 10 | 24 903.29/903.63 c 902s | 24 | 3686200 | 3481962 | 2828 3071 | 10 | 24 905.30/905.64 c 904s | 24 | 3692633 | 3487862 | 2828 3075 | 10 | 24 907.29/907.64 c 906s | 24 | 3700095 | 3495162 | 2828 3080 | 10 | 24 909.29/909.66 c 908s | 24 | 3707350 | 3501862 | 2828 3084 | 10 | 24 911.29/911.68 c 910s | 24 | 3714369 | 3508462 | 2828 3089 | 10 | 24 913.40/913.70 c 912s | 24 | 3721955 | 3515662 | 2828 3094 | 10 | 24 915.39/915.71 c 914s | 24 | 3729206 | 3522362 | 2828 3098 | 10 | 24 917.40/917.72 c 916s | 24 | 3735647 | 3528462 | 2828 3102 | 10 | 24 919.39/919.73 c 918s | 24 | 3742191 | 3534562 | 2828 3106 | 10 | 24 921.39/921.77 c 920s | 24 | 3749178 | 3541162 | 2828 3111 | 10 | 24 923.39/923.80 c 922s | 24 | 3756682 | 3548162 | 2828 3115 | 10 | 24 925.49/925.82 c 924s | 24 | 3763797 | 3554862 | 2828 3120 | 10 | 24 927.49/927.82 c 926s | 24 | 3770606 | 3561262 | 2828 3124 | 10 | 24 929.50/929.84 c 928s | 24 | 3777601 | 3567962 | 2828 3128 | 10 | 24 931.49/931.85 c 930s | 24 | 3783652 | 3573362 | 2828 3132 | 10 | 24 933.49/933.86 c 932s | 24 | 3791183 | 3580162 | 2828 3137 | 10 | 24 935.49/935.88 c 934s | 24 | 3798860 | 3587262 | 2828 3141 | 10 | 24 937.48/937.88 c 936s | 24 | 3806560 | 3594562 | 2828 3146 | 10 | 24 939.49/939.89 c 938s | 24 | 3813905 | 3601662 | 2828 3151 | 10 | 24 941.59/941.93 c 941s | 24 | 3821080 | 3608462 | 2828 3156 | 10 | 24 943.58/943.94 c 943s | 24 | 3828890 | 3615762 | 2828 3160 | 10 | 24 945.58/945.94 c 945s | 24 | 3837060 | 3623562 | 2828 3166 | 10 | 24 947.57/947.95 c 947s | 24 | 3845249 | 3631362 | 2828 3171 | 10 | 24 949.57/949.97 c 949s | 24 | 3853241 | 3638762 | 2828 3176 | 10 | 24 951.67/952.00 c 951s | 24 | 3861227 | 3646262 | 2828 3181 | 10 | 24 953.68/954.01 c 953s | 24 | 3867757 | 3652562 | 2828 3185 | 10 | 24 955.67/956.03 c 955s | 24 | 3874676 | 3659162 | 2828 3189 | 10 | 24 957.67/958.06 c 957s | 24 | 3881302 | 3665162 | 2828 3193 | 10 | 24 959.67/960.07 c 959s | 24 | 3887463 | 3671162 | 2828 3197 | 10 | 24 961.67/962.08 c 961s | 24 | 3894402 | 3677462 | 2828 3202 | 10 | 24 963.67/964.09 c 963s | 24 | 3901257 | 3683962 | 2828 3206 | 10 | 24 965.67/966.10 c 965s | 24 | 3908961 | 3691362 | 2828 3211 | 10 | 24 967.76/968.13 c 967s | 24 | 3916037 | 3697962 | 2828 3215 | 10 | 24 969.76/970.14 c 969s | 24 | 3923297 | 3704962 | 2828 3220 | 10 | 24 971.76/972.14 c 971s | 24 | 3930865 | 3711862 | 2828 3225 | 10 | 24 973.76/974.14 c 973s | 24 | 3937854 | 3718162 | 2828 3229 | 10 | 24 975.76/976.15 c 975s | 24 | 3944902 | 3724762 | 2828 3233 | 10 | 24 977.75/978.18 c 977s | 24 | 3951640 | 3731062 | 2828 3238 | 10 | 24 979.75/980.19 c 979s | 24 | 3958822 | 3737762 | 2828 3242 | 10 | 24 981.85/982.21 c 981s | 24 | 3966070 | 3744862 | 2828 3247 | 10 | 24 983.85/984.23 c 983s | 24 | 3973511 | 3752162 | 2828 3252 | 10 | 24 985.85/986.24 c 985s | 24 | 3980908 | 3759362 | 2828 3257 | 10 | 24 987.85/988.26 c 987s | 24 | 3988003 | 3766162 | 2828 3261 | 10 | 24 989.85/990.28 c 989s | 24 | 3994866 | 3772762 | 2828 3265 | 10 | 24 991.85/992.28 c 991s | 24 | 4001729 | 3779362 | 2828 3270 | 10 | 24 993.85/994.29 c 993s | 24 | 4008943 | 3786362 | 2828 3275 | 10 | 24 995.94/996.32 c 995s | 24 | 4015749 | 3792862 | 2828 3279 | 10 | 24 997.94/998.34 c 997s | 24 | 4022934 | 3799762 | 2828 3284 | 10 | 24 999.95/1000.37 c 999s | 24 | 4030075 | 3806662 | 2828 3288 | 10 | 24 1001.94/1002.39 c 1001s | 24 | 4037039 | 3813362 | 2828 3293 | 10 | 24 1003.94/1004.39 c 1003s | 24 | 4044377 | 3820262 | 2828 3297 | 10 | 24 1006.04/1006.41 c 1005s | 24 | 4052302 | 3827862 | 2828 3302 | 10 | 24 1008.04/1008.43 c 1007s | 24 | 4060265 | 3835362 | 2828 3308 | 10 | 24 1010.04/1010.46 c 1009s | 24 | 4068405 | 3842862 | 2828 3313 | 10 | 24 1012.04/1012.47 c 1011s | 24 | 4075988 | 3849862 | 2828 3317 | 10 | 24 1014.04/1014.47 c 1013s | 24 | 4084099 | 3857562 | 2828 3322 | 10 | 24 1016.13/1016.50 c 1015s | 24 | 4091901 | 3865062 | 2828 3328 | 10 | 24 1018.13/1018.53 c 1017s | 24 | 4099748 | 3872562 | 2828 3333 | 10 | 24 1020.13/1020.54 c 1019s | 24 | 4107239 | 3879762 | 2828 3337 | 10 | 24 1022.13/1022.57 c 1021s | 24 | 4113909 | 3885962 | 2828 3342 | 10 | 24 1024.14/1024.57 c 1023s | 24 | 4122081 | 3893562 | 2828 3347 | 10 | 24 1026.13/1026.60 c 1025s | 24 | 4130003 | 3900962 | 2828 3352 | 10 | 24 1028.23/1028.60 c 1027s | 24 | 4138165 | 3908562 | 2828 3357 | 10 | 24 1030.23/1030.61 c 1029s | 24 | 4146331 | 3916162 | 2828 3362 | 10 | 24 1032.22/1032.61 c 1031s | 24 | 4154482 | 3923862 | 2828 3367 | 10 | 24 1034.22/1034.62 c 1033s | 24 | 4162475 | 3931462 | 2828 3372 | 10 | 24 1036.23/1036.63 c 1035s | 24 | 4169975 | 3938362 | 2828 3377 | 10 | 24 1038.23/1038.64 c 1037s | 24 | 4177193 | 3945062 | 2828 3381 | 10 | 24 1040.23/1040.65 c 1039s | 24 | 4184570 | 3951862 | 2828 3386 | 10 | 24 1042.23/1042.67 c 1041s | 24 | 4191804 | 3958662 | 2828 3390 | 10 | 24 1044.33/1044.70 c 1043s | 24 | 4198930 | 3965262 | 2828 3395 | 10 | 24 1046.32/1046.73 c 1045s | 24 | 4206652 | 3972362 | 2828 3399 | 10 | 24 1048.33/1048.74 c 1047s | 24 | 4213341 | 3978562 | 2828 3404 | 10 | 24 1050.32/1050.77 c 1049s | 24 | 4219837 | 3984462 | 2828 3408 | 10 | 24 1052.42/1052.81 c 1051s | 24 | 4226641 | 3990862 | 2828 3412 | 10 | 24 1054.42/1054.82 c 1053s | 24 | 4234063 | 3997862 | 2828 3417 | 10 | 24 1056.42/1056.84 c 1055s | 24 | 4241708 | 4005162 | 2828 3421 | 10 | 24 1058.42/1058.85 c 1057s | 24 | 4249212 | 4012362 | 2828 3426 | 10 | 24 1060.42/1060.89 c 1059s | 24 | 4256911 | 4019562 | 2828 3431 | 10 | 24 1062.42/1062.89 c 1061s | 24 | 4264515 | 4026462 | 2828 3436 | 10 | 24 1064.52/1064.91 c 1064s | 24 | 4272467 | 4034062 | 2828 3441 | 10 | 24 1066.51/1066.93 c 1066s | 24 | 4279770 | 4040962 | 2828 3446 | 10 | 24 1068.51/1068.94 c 1068s | 24 | 4287465 | 4048262 | 2828 3450 | 10 | 24 1070.51/1070.95 c 1070s | 24 | 4294302 | 4054762 | 2828 3455 | 10 | 24 1072.52/1072.96 c 1072s | 24 | 4301885 | 4061762 | 2828 3459 | 10 | 24 1074.51/1074.99 c 1074s | 24 | 4309644 | 4069062 | 2828 3464 | 10 | 24 1076.60/1077.01 c 1076s | 24 | 4317421 | 4076162 | 2828 3469 | 10 | 24 1078.60/1079.04 c 1078s | 24 | 4324733 | 4083062 | 2828 3474 | 10 | 24 1080.60/1081.06 c 1080s | 24 | 4332186 | 4090062 | 2828 3478 | 10 | 24 1082.60/1083.06 c 1082s | 24 | 4339407 | 4096462 | 2828 3483 | 10 | 24 1084.61/1085.08 c 1084s | 24 | 4346317 | 4102762 | 2828 3487 | 10 | 24 1086.60/1087.10 c 1086s | 24 | 4353737 | 4109562 | 2828 3491 | 10 | 24 1088.70/1089.10 c 1088s | 24 | 4361773 | 4117162 | 2828 3497 | 10 | 24 1090.70/1091.12 c 1090s | 24 | 4369450 | 4124262 | 2828 3501 | 10 | 24 1092.70/1093.16 c 1092s | 24 | 4376051 | 4130462 | 2828 3505 | 10 | 24 1094.70/1095.18 c 1094s | 24 | 4383040 | 4137062 | 2828 3510 | 10 | 24 1096.70/1097.18 c 1096s | 24 | 4390133 | 4143762 | 2828 3514 | 10 | 24 1098.69/1099.19 c 1098s | 24 | 4397885 | 4151062 | 2828 3519 | 10 | 24 1100.79/1101.21 c 1100s | 24 | 4404433 | 4157262 | 2828 3523 | 10 | 24 1102.79/1103.23 c 1102s | 24 | 4411043 | 4163562 | 2828 3528 | 10 | 24 1104.79/1105.23 c 1104s | 24 | 4418566 | 4170762 | 2828 3532 | 10 | 24 1106.79/1107.24 c 1106s | 24 | 4425545 | 4177062 | 2828 3537 | 10 | 24 1108.80/1109.24 c 1108s | 24 | 4431809 | 4182862 | 2828 3541 | 10 | 24 1110.79/1111.27 c 1110s | 24 | 4438369 | 4189162 | 2828 3545 | 10 | 24 1112.79/1113.27 c 1112s | 24 | 4445873 | 4196162 | 2828 3550 | 10 | 24 1114.79/1115.28 c 1114s | 24 | 4453799 | 4203762 | 2828 3555 | 10 | 24 1116.79/1117.28 c 1116s | 24 | 4461286 | 4210862 | 2828 3559 | 10 | 24 1118.79/1119.29 c 1118s | 24 | 4469096 | 4218162 | 2828 3564 | 10 | 24 1120.79/1121.30 c 1120s | 24 | 4476717 | 4225362 | 2828 3569 | 10 | 24 1122.89/1123.31 c 1122s | 24 | 4484628 | 4232562 | 2828 3574 | 10 | 24 1124.89/1125.33 c 1124s | 24 | 4492158 | 4239362 | 2828 3579 | 10 | 24 1126.88/1127.34 c 1126s | 24 | 4500247 | 4247162 | 2828 3584 | 10 | 24 1128.88/1129.36 c 1128s | 24 | 4508649 | 4255062 | 2828 3589 | 10 | 24 1130.88/1131.38 c 1130s | 24 | 4516451 | 4262462 | 2828 3594 | 10 | 24 1132.89/1133.39 c 1132s | 24 | 4524103 | 4269562 | 2828 3599 | 10 | 24 1134.98/1135.40 c 1134s | 24 | 4531879 | 4276962 | 2828 3604 | 10 | 24 1136.98/1137.41 c 1136s | 24 | 4540026 | 4284462 | 2828 3609 | 10 | 24 1138.98/1139.42 c 1138s | 24 | 4548414 | 4292162 | 2828 3614 | 10 | 24 1140.98/1141.43 c 1140s | 24 | 4556364 | 4299462 | 2828 3619 | 10 | 24 1142.98/1143.44 c 1142s | 24 | 4563973 | 4306462 | 2828 3623 | 10 | 24 1144.99/1145.46 c 1144s | 24 | 4571484 | 4313562 | 2828 3628 | 10 | 24 1146.98/1147.47 c 1146s | 24 | 4579514 | 4321062 | 2828 3633 | 10 | 24 1148.98/1149.47 c 1148s | 24 | 4587254 | 4328162 | 2828 3638 | 10 | 24 1150.98/1151.48 c 1150s | 24 | 4594722 | 4335362 | 2828 3643 | 10 | 24 1152.99/1153.49 c 1152s | 24 | 4602158 | 4342562 | 2828 3648 | 10 | 24 1155.09/1155.50 c 1154s | 24 | 4609844 | 4349962 | 2828 3653 | 10 | 24 1157.10/1157.51 c 1156s | 24 | 4616182 | 4355962 | 2828 3657 | 10 | 24 1159.09/1159.53 c 1158s | 24 | 4622756 | 4362262 | 2828 3661 | 10 | 24 1161.09/1161.55 c 1160s | 24 | 4630173 | 4369462 | 2828 3666 | 10 | 24 1163.09/1163.55 c 1162s | 24 | 4636673 | 4375662 | 2828 3670 | 10 | 24 1165.09/1165.56 c 1164s | 24 | 4643157 | 4381862 | 2828 3674 | 10 | 24 1167.09/1167.59 c 1166s | 24 | 4650143 | 4388462 | 2828 3679 | 10 | 24 1169.19/1169.61 c 1168s | 24 | 4657318 | 4395362 | 2828 3683 | 10 | 24 1171.19/1171.62 c 1170s | 24 | 4664080 | 4401762 | 2828 3688 | 10 | 24 1173.19/1173.64 c 1172s | 24 | 4670765 | 4407962 | 2828 3692 | 10 | 24 1175.19/1175.65 c 1174s | 24 | 4678131 | 4414862 | 2828 3696 | 10 | 24 1177.19/1177.67 c 1176s | 24 | 4684518 | 4420662 | 2828 3700 | 10 | 24 1179.28/1179.71 c 1178s | 24 | 4691278 | 4427062 | 2828 3705 | 10 | 24 1181.29/1181.71 c 1180s | 24 | 4697788 | 4433162 | 2828 3709 | 10 | 24 1183.28/1183.73 c 1182s | 24 | 4704647 | 4439762 | 2828 3713 | 10 | 24 1185.28/1185.74 c 1184s | 24 | 4711639 | 4446462 | 2828 3718 | 10 | 24 1187.28/1187.75 c 1186s | 24 | 4718662 | 4453062 | 2828 3722 | 10 | 24 1189.28/1189.77 c 1188s | 24 | 4726033 | 4459762 | 2828 3727 | 10 | 24 1191.29/1191.77 c 1190s | 24 | 4733599 | 4466662 | 2828 3731 | 10 | 24 1193.28/1193.78 c 1192s | 24 | 4741154 | 4473262 | 2828 3736 | 10 | 24 1195.28/1195.79 c 1194s | 24 | 4747472 | 4478762 | 2828 3739 | 10 | 24 1197.28/1197.80 c 1196s | 24 | 4754145 | 4484662 | 2828 3743 | 10 | 24 1199.38/1199.81 c 1198s | 24 | 4760533 | 4490662 | 2828 3747 | 10 | 24 1201.38/1201.82 c 1200s | 24 | 4767553 | 4497362 | 2828 3752 | 10 | 24 1203.39/1203.83 c 1202s | 24 | 4774831 | 4504362 | 2828 3756 | 10 | 24 1205.38/1205.85 c 1204s | 24 | 4781173 | 4510162 | 2828 3760 | 10 | 24 1207.38/1207.86 c 1206s | 24 | 4788076 | 4516662 | 2828 3764 | 10 | 24 1209.38/1209.88 c 1208s | 24 | 4795269 | 4523162 | 2828 3769 | 10 | 24 1211.38/1211.89 c 1210s | 24 | 4802408 | 4529862 | 2828 3773 | 10 | 24 1213.48/1213.91 c 1213s | 24 | 4808557 | 4535562 | 2828 3777 | 10 | 24 1215.48/1215.94 c 1215s | 24 | 4815077 | 4541862 | 2828 3781 | 10 | 24 1217.48/1217.96 c 1217s | 24 | 4821943 | 4548162 | 2828 3785 | 10 | 24 1219.48/1219.97 c 1219s | 24 | 4828882 | 4554762 | 2828 3790 | 10 | 24 1221.48/1221.98 c 1221s | 24 | 4835553 | 4560862 | 2828 3794 | 10 | 24 1223.48/1224.00 c 1223s | 24 | 4841937 | 4566862 | 2828 3798 | 10 | 24 1225.57/1226.00 c 1225s | 24 | 4848827 | 4573162 | 2828 3802 | 10 | 24 1227.58/1228.03 c 1227s | 24 | 4855896 | 4579662 | 2828 3806 | 10 | 24 1229.57/1230.06 c 1229s | 24 | 4862887 | 4586262 | 2828 3811 | 10 | 24 1231.57/1232.08 c 1231s | 24 | 4869318 | 4592162 | 2828 3815 | 10 | 24 1233.67/1234.11 c 1233s | 24 | 4875188 | 4597562 | 2828 3818 | 10 | 24 1235.67/1236.12 c 1235s | 24 | 4881071 | 4602762 | 2828 3822 | 10 | 24 1237.67/1238.12 c 1237s | 24 | 4888106 | 4609362 | 2828 3826 | 10 | 24 1239.68/1240.14 c 1239s | 24 | 4894867 | 4615562 | 2828 3830 | 10 | 24 1241.67/1242.17 c 1241s | 24 | 4901796 | 4622162 | 2828 3835 | 10 | 24 1243.67/1244.19 c 1243s | 24 | 4908321 | 4628362 | 2828 3839 | 10 | 24 1245.77/1246.20 c 1245s | 24 | 4914662 | 4634362 | 2828 3843 | 10 | 24 1247.77/1248.24 c 1247s | 24 | 4921577 | 4640862 | 2828 3847 | 10 | 24 1249.77/1250.27 c 1249s | 24 | 4928080 | 4647062 | 2828 3851 | 10 | 24 1251.78/1252.29 c 1251s | 24 | 4934135 | 4652862 | 2828 3855 | 10 | 24 1253.77/1254.30 c 1253s | 24 | 4940325 | 4658762 | 2828 3859 | 10 | 24 1255.87/1256.30 c 1255s | 24 | 4946956 | 4665162 | 2828 3863 | 10 | 24 1257.87/1258.32 c 1257s | 24 | 4954236 | 4672162 | 2828 3868 | 10 | 24 1259.87/1260.35 c 1259s | 24 | 4960824 | 4678362 | 2828 3872 | 10 | 24 1261.87/1262.35 c 1261s | 24 | 4967417 | 4684662 | 2828 3876 | 10 | 24 1263.97/1264.41 c 1263s | 24 | 4973122 | 4689962 | 2828 3880 | 10 | 24 1265.98/1266.44 c 1265s | 24 | 4979737 | 4696362 | 2828 3884 | 10 | 24 1267.97/1268.44 c 1267s | 24 | 4986598 | 4702962 | 2828 3888 | 10 | 24 1269.97/1270.48 c 1269s | 24 | 4993585 | 4709562 | 2828 3893 | 10 | 24 1271.97/1272.49 c 1271s | 24 | 5000583 | 4716162 | 2828 3897 | 10 | 24 1274.07/1274.51 c 1273s | 24 | 5007046 | 4722162 | 2828 3901 | 10 | 24 1276.07/1276.52 c 1275s | 24 | 5013599 | 4728462 | 2828 3905 | 10 | 24 1278.07/1278.55 c 1277s | 24 | 5020364 | 4734762 | 2828 3909 | 10 | 24 1280.07/1280.55 c 1279s | 24 | 5026416 | 4740262 | 2828 3913 | 10 | 24 1282.07/1282.55 c 1281s | 24 | 5032931 | 4746262 | 2828 3917 | 10 | 24 1284.06/1284.57 c 1283s | 24 | 5039552 | 4752362 | 2828 3921 | 10 | 24 1286.06/1286.59 c 1285s | 24 | 5045822 | 4758262 | 2828 3925 | 10 | 24 1288.07/1288.59 c 1287s | 24 | 5051768 | 4763962 | 2828 3929 | 10 | 24 1290.17/1290.61 c 1289s | 24 | 5057882 | 4769862 | 2828 3933 | 10 | 24 1292.16/1292.62 c 1291s | 24 | 5063895 | 4775562 | 2828 3936 | 10 | 24 1294.16/1294.64 c 1293s | 24 | 5070112 | 4781562 | 2828 3940 | 10 | 24 1296.16/1296.66 c 1295s | 24 | 5076496 | 4787762 | 2828 3945 | 10 | 24 1298.16/1298.68 c 1297s | 24 | 5082869 | 4793962 | 2828 3949 | 10 | 24 1300.26/1300.71 c 1299s | 24 | 5089318 | 4800162 | 2828 3953 | 10 | 24 1302.27/1302.74 c 1301s | 24 | 5095109 | 4805762 | 2828 3957 | 10 | 24 1304.26/1304.76 c 1303s | 24 | 5101642 | 4812062 | 2828 3961 | 10 | 24 1306.26/1306.79 c 1305s | 24 | 5107118 | 4817362 | 2828 3964 | 10 | 24 1308.36/1308.81 c 1307s | 24 | 5113727 | 4823762 | 2828 3968 | 10 | 24 1310.36/1310.84 c 1309s | 24 | 5120132 | 4829762 | 2828 3972 | 10 | 24 1312.36/1312.87 c 1311s | 24 | 5126530 | 4835762 | 2828 3976 | 10 | 24 1314.37/1314.89 c 1313s | 24 | 5133367 | 4842162 | 2828 3981 | 10 | 24 1316.36/1316.89 c 1315s | 24 | 5139124 | 4847562 | 2828 3984 | 10 | 24 1318.46/1318.91 c 1318s | 24 | 5145186 | 4853362 | 2828 3988 | 10 | 24 1320.46/1320.94 c 1320s | 24 | 5151330 | 4859262 | 2828 3992 | 10 | 24 1322.46/1322.96 c 1322s | 24 | 5158047 | 4865762 | 2828 3997 | 10 | 24 1324.46/1324.96 c 1324s | 24 | 5164904 | 4872362 | 2828 4001 | 10 | 24 1326.46/1326.99 c 1326s | 24 | 5172033 | 4879262 | 2828 4006 | 10 | 24 1328.56/1329.00 c 1328s | 24 | 5179188 | 4885862 | 2828 4010 | 10 | 24 1330.56/1331.01 c 1330s | 24 | 5186474 | 4892862 | 2828 4015 | 10 | 24 1332.56/1333.04 c 1332s | 24 | 5193172 | 4899362 | 2828 4019 | 10 | 24 1334.56/1335.05 c 1334s | 24 | 5199579 | 4905562 | 2828 4023 | 10 | 24 1336.55/1337.06 c 1336s | 24 | 5206224 | 4911962 | 2828 4027 | 10 | 24 1338.56/1339.09 c 1338s | 24 | 5213004 | 4918462 | 2828 4032 | 10 | 24 1340.65/1341.10 c 1340s | 24 | 5219733 | 4924962 | 2828 4036 | 10 | 24 1342.65/1343.10 c 1342s | 24 | 5226409 | 4931362 | 2828 4040 | 10 | 24 1344.65/1345.11 c 1344s | 24 | 5232930 | 4937562 | 2828 4044 | 10 | 24 1346.65/1347.13 c 1346s | 24 | 5239218 | 4943762 | 2828 4049 | 10 | 24 1348.65/1349.14 c 1348s | 24 | 5245880 | 4950162 | 2828 4053 | 10 | 24 1350.66/1351.16 c 1350s | 24 | 5252333 | 4956362 | 2828 4057 | 10 | 24 1352.65/1353.16 c 1352s | 24 | 5258414 | 4962162 | 2828 4061 | 10 | 24 1354.65/1355.18 c 1354s | 24 | 5265926 | 4969562 | 2828 4066 | 10 | 24 1356.75/1357.22 c 1356s | 24 | 5272894 | 4976262 | 2828 4070 | 10 | 24 1358.75/1359.24 c 1358s | 24 | 5279996 | 4982662 | 2828 4075 | 10 | 24 1360.75/1361.25 c 1360s | 24 | 5287135 | 4989162 | 2828 4079 | 10 | 24 1362.76/1363.26 c 1362s | 24 | 5293719 | 4995062 | 2828 4083 | 10 | 24 1364.75/1365.28 c 1364s | 24 | 5300880 | 5001462 | 2828 4087 | 10 | 24 1366.75/1367.28 c 1366s | 24 | 5307744 | 5007662 | 2828 4091 | 10 | 24 1368.85/1369.30 c 1368s | 24 | 5313398 | 5013062 | 2828 4095 | 10 | 24 1370.86/1371.32 c 1370s | 24 | 5318488 | 5017962 | 2828 4098 | 10 | 24 1372.86/1373.33 c 1372s | 24 | 5323986 | 5023262 | 2828 4102 | 10 | 24 1374.86/1375.34 c 1374s | 24 | 5331845 | 5030662 | 3111 4106 | 10 | 24 1376.86/1377.35 c 1376s | 24 | 5339507 | 5037962 | 3111 4111 | 10 | 24 1378.86/1379.35 c 1378s | 24 | 5346292 | 5044462 | 3111 4115 | 10 | 24 1380.86/1381.36 c 1380s | 24 | 5353674 | 5051662 | 3111 4119 | 10 | 24 1382.85/1383.37 c 1382s | 24 | 5360778 | 5058362 | 3111 4123 | 10 | 24 1384.86/1385.38 c 1384s | 24 | 5367594 | 5064962 | 3111 4127 | 10 | 24 1384.95/1385.44 c 1384s | 25 | 5367743 | 5065098 | 3111 4127 | 10 | 24 1386.96/1387.45 c 1386s | 25 | 5375752 | 5072798 | 3111 4132 | 10 | 24 1388.95/1389.48 c 1388s | 25 | 5383183 | 5079898 | 3111 4137 | 10 | 24 1390.95/1391.50 c 1390s | 25 | 5390764 | 5087298 | 3111 4141 | 10 | 24 1393.05/1393.50 c 1392s | 25 | 5397644 | 5093898 | 3111 4145 | 10 | 24 1395.05/1395.52 c 1394s | 25 | 5404359 | 5100298 | 3111 4149 | 10 | 24 1397.05/1397.53 c 1396s | 25 | 5411590 | 5107198 | 3111 4153 | 10 | 24 1399.06/1399.55 c 1398s | 25 | 5418629 | 5113698 | 3111 4157 | 10 | 24 1401.05/1401.57 c 1400s | 25 | 5425938 | 5120698 | 3111 4162 | 10 | 24 1403.05/1403.59 c 1402s | 25 | 5433038 | 5127098 | 3111 4166 | 10 | 24 1405.15/1405.61 c 1404s | 25 | 5440114 | 5133798 | 3111 4170 | 10 | 24 1407.15/1407.63 c 1406s | 25 | 5446957 | 5140198 | 3111 4173 | 10 | 24 1409.15/1409.64 c 1408s | 25 | 5454167 | 5146698 | 3111 4178 | 10 | 24 1411.16/1411.66 c 1410s | 25 | 5461612 | 5152898 | 3111 4181 | 10 | 24 1413.15/1413.67 c 1412s | 25 | 5468946 | 5159698 | 3111 4185 | 10 | 24 1415.25/1415.70 c 1414s | 25 | 5475981 | 5166198 | 3111 4190 | 10 | 24 1417.25/1417.71 c 1416s | 25 | 5483919 | 5173598 | 3111 4194 | 10 | 24 1419.25/1419.72 c 1418s | 25 | 5491118 | 5180398 | 3111 4198 | 10 | 24 1421.25/1421.74 c 1420s | 25 | 5499130 | 5187998 | 3111 4203 | 10 | 24 1423.25/1423.74 c 1422s | 25 | 5506630 | 5195198 | 3111 4207 | 10 | 24 1425.24/1425.75 c 1424s | 25 | 5513703 | 5202098 | 3111 4211 | 10 | 24 1427.24/1427.78 c 1426s | 25 | 5520487 | 5208598 | 3111 4215 | 10 | 24 1429.34/1429.80 c 1428s | 25 | 5527623 | 5215398 | 3111 4219 | 10 | 24 1431.34/1431.80 c 1430s | 25 | 5534889 | 5222398 | 3111 4224 | 10 | 24 1433.34/1433.81 c 1432s | 25 | 5542380 | 5229498 | 3111 4228 | 10 | 24 1435.35/1435.83 c 1434s | 25 | 5550299 | 5236698 | 3111 4232 | 10 | 24 1437.34/1437.84 c 1436s | 25 | 5558478 | 5244398 | 3111 4237 | 10 | 24 1439.34/1439.86 c 1438s | 25 | 5565552 | 5251198 | 3111 4241 | 10 | 24 1441.34/1441.86 c 1440s | 25 | 5573083 | 5258398 | 3111 4246 | 10 | 24 1443.34/1443.88 c 1442s | 25 | 5579935 | 5264998 | 3111 4250 | 10 | 24 1445.35/1445.90 c 1444s | 25 | 5586899 | 5271398 | 3111 4254 | 10 | 24 1447.45/1447.93 c 1447s | 25 | 5593895 | 5278098 | 3111 4258 | 10 | 24 1449.44/1449.93 c 1449s | 25 | 5600826 | 5284698 | 3111 4262 | 10 | 24 1451.44/1451.96 c 1451s | 25 | 5607915 | 5291598 | 3111 4266 | 10 | 24 1453.44/1453.98 c 1453s | 25 | 5615634 | 5298898 | 3111 4270 | 10 | 24 1455.54/1456.00 c 1455s | 25 | 5622497 | 5305498 | 3111 4274 | 10 | 24 1457.54/1458.01 c 1457s | 25 | 5629719 | 5312598 | 3111 4279 | 10 | 24 1459.54/1460.01 c 1459s | 25 | 5636144 | 5318898 | 3111 4283 | 10 | 24 1461.54/1462.05 c 1461s | 25 | 5643168 | 5325498 | 3111 4287 | 10 | 24 1463.54/1464.07 c 1463s | 25 | 5650415 | 5332498 | 3111 4291 | 10 | 24 1465.54/1466.07 c 1465s | 25 | 5657687 | 5339498 | 3111 4295 | 10 | 24 1467.54/1468.08 c 1467s | 25 | 5664741 | 5346298 | 3111 4299 | 10 | 24 1469.64/1470.11 c 1469s | 25 | 5671313 | 5352098 | 3111 4303 | 10 | 24 1471.64/1472.13 c 1471s | 25 | 5678533 | 5359098 | 3111 4307 | 10 | 24 1473.63/1474.15 c 1473s | 25 | 5684810 | 5364998 | 3111 4311 | 10 | 24 1475.63/1476.16 c 1475s | 25 | 5691847 | 5371398 | 3111 4315 | 10 | 24 1477.63/1478.17 c 1477s | 25 | 5698332 | 5377398 | 3111 4318 | 10 | 24 1479.63/1480.18 c 1479s | 25 | 5704855 | 5383398 | 3111 4322 | 10 | 24 1481.64/1482.18 c 1481s | 25 | 5711548 | 5389298 | 3111 4326 | 10 | 24 1483.63/1484.19 c 1483s | 25 | 5718596 | 5395598 | 3111 4329 | 10 | 24 1485.73/1486.21 c 1485s | 25 | 5725305 | 5401898 | 3111 4333 | 10 | 24 1487.73/1488.24 c 1487s | 25 | 5732494 | 5408598 | 3111 4337 | 10 | 24 1489.73/1490.24 c 1489s | 25 | 5739348 | 5414998 | 3111 4341 | 10 | 24 1491.73/1492.27 c 1491s | 25 | 5746118 | 5420898 | 3111 4345 | 10 | 24 1493.74/1494.29 c 1493s | 25 | 5752885 | 5426898 | 3111 4349 | 10 | 24 1495.84/1496.31 c 1495s | 25 | 5759451 | 5433198 | 3111 4353 | 10 | 24 1497.83/1498.33 c 1497s | 25 | 5765726 | 5439098 | 3111 4356 | 10 | 24 1499.83/1500.35 c 1499s | 25 | 5772469 | 5444898 | 3111 4360 | 10 | 24 1501.83/1502.37 c 1501s | 25 | 5779556 | 5451198 | 3111 4364 | 10 | 24 1503.83/1504.38 c 1503s | 25 | 5785941 | 5457098 | 3111 4367 | 10 | 24 1505.93/1506.41 c 1505s | 25 | 5792423 | 5463098 | 3111 4371 | 10 | 24 1507.93/1508.43 c 1507s | 25 | 5798256 | 5468298 | 3111 4374 | 10 | 24 1509.93/1510.43 c 1509s | 25 | 5805356 | 5474498 | 3111 4378 | 10 | 24 1511.93/1512.46 c 1511s | 25 | 5812170 | 5480598 | 3111 4382 | 10 | 24 1513.93/1514.48 c 1513s | 25 | 5818622 | 5486598 | 3111 4385 | 10 | 24 1516.03/1516.50 c 1515s | 25 | 5825074 | 5492798 | 3111 4389 | 10 | 24 1518.03/1518.52 c 1517s | 25 | 5831175 | 5498598 | 3111 4393 | 10 | 24 1520.03/1520.53 c 1519s | 25 | 5837812 | 5504898 | 3111 4397 | 10 | 24 1522.02/1522.54 c 1521s | 25 | 5843890 | 5510698 | 3111 4400 | 10 | 24 1524.02/1524.56 c 1523s | 25 | 5849565 | 5515998 | 3111 4403 | 10 | 24 1526.02/1526.59 c 1525s | 25 | 5856359 | 5522498 | 3111 4407 | 10 | 24 1528.12/1528.61 c 1527s | 25 | 5862875 | 5528698 | 3111 4411 | 10 | 24 1530.12/1530.61 c 1529s | 25 | 5869960 | 5535198 | 3111 4415 | 10 | 24 1532.13/1532.63 c 1531s | 25 | 5877443 | 5542098 | 3111 4419 | 10 | 24 1534.12/1534.65 c 1533s | 25 | 5884633 | 5548698 | 3111 4423 | 10 | 24 1536.12/1536.67 c 1535s | 25 | 5891255 | 5554998 | 3111 4427 | 10 | 24 1538.13/1538.68 c 1537s | 25 | 5897573 | 5561098 | 3111 4431 | 10 | 24 1540.13/1540.68 c 1539s | 25 | 5903575 | 5566998 | 3111 4435 | 10 | 24 1542.14/1542.69 c 1541s | 25 | 5910365 | 5573598 | 3111 4439 | 10 | 24 1544.24/1544.71 c 1543s | 25 | 5917871 | 5580498 | 3111 4443 | 10 | 24 1546.23/1546.74 c 1545s | 25 | 5924952 | 5586798 | 3111 4447 | 10 | 24 1548.23/1548.77 c 1547s | 25 | 5932261 | 5593198 | 3111 4451 | 10 | 24 1550.23/1550.79 c 1549s | 25 | 5939360 | 5599698 | 3111 4455 | 10 | 24 1552.33/1552.82 c 1551s | 25 | 5945964 | 5605598 | 3111 4459 | 10 | 24 1554.33/1554.84 c 1553s | 25 | 5952900 | 5611598 | 3111 4462 | 10 | 24 1556.33/1556.87 c 1555s | 25 | 5959553 | 5617798 | 3111 4466 | 10 | 24 1558.43/1558.90 c 1557s | 25 | 5965963 | 5623398 | 3111 4469 | 10 | 24 1560.43/1560.92 c 1560s | 25 | 5972747 | 5629498 | 3111 4473 | 10 | 24 1562.43/1562.94 c 1562s | 25 | 5979808 | 5635798 | 3111 4477 | 10 | 24 1564.43/1564.94 c 1564s | 25 | 5986298 | 5641398 | 3111 4481 | 10 | 24 1566.43/1566.95 c 1566s | 25 | 5992176 | 5646298 | 3111 4484 | 10 | 24 1568.43/1568.99 c 1568s | 25 | 5998985 | 5651998 | 3111 4487 | 10 | 24 1570.53/1571.03 c 1570s | 25 | 6005542 | 5657598 | 3111 4491 | 10 | 24 1572.53/1573.06 c 1572s | 25 | 6012242 | 5663598 | 3111 4494 | 10 | 24 1574.52/1575.08 c 1574s | 25 | 6019386 | 5670498 | 3111 4499 | 10 | 24 1576.62/1577.11 c 1576s | 25 | 6026318 | 5677198 | 3111 4503 | 10 | 24 1578.62/1579.11 c 1578s | 25 | 6033451 | 5684098 | 3111 4507 | 10 | 24 1580.63/1581.13 c 1580s | 25 | 6041008 | 5691298 | 3111 4511 | 10 | 24 1582.62/1583.15 c 1582s | 25 | 6048322 | 5698498 | 3111 4516 | 10 | 24 1584.62/1585.18 c 1584s | 25 | 6055318 | 5705398 | 3111 4520 | 10 | 24 1586.72/1587.20 c 1586s | 25 | 6062290 | 5711898 | 3111 4524 | 10 | 24 1588.72/1589.24 c 1588s | 25 | 6069047 | 5718198 | 3111 4528 | 10 | 24 1590.72/1591.26 c 1590s | 25 | 6075399 | 5723998 | 3111 4531 | 10 | 24 1592.73/1593.27 c 1592s | 25 | 6081534 | 5729598 | 3111 4535 | 10 | 24 1594.72/1595.29 c 1594s | 25 | 6088160 | 5735898 | 3111 4539 | 10 | 24 1596.82/1597.31 c 1596s | 25 | 6094861 | 5742198 | 3111 4542 | 10 | 24 1598.82/1599.32 c 1598s | 25 | 6101797 | 5748598 | 3111 4546 | 10 | 24 1600.82/1601.33 c 1600s | 25 | 6108399 | 5754898 | 3111 4550 | 10 | 24 1602.82/1603.35 c 1602s | 25 | 6114985 | 5760998 | 3111 4554 | 10 | 24 1604.83/1605.36 c 1604s | 25 | 6121467 | 5767198 | 3111 4558 | 10 | 24 1606.82/1607.40 c 1606s | 25 | 6128303 | 5773498 | 3111 4562 | 10 | 24 1608.92/1609.41 c 1608s | 25 | 6135417 | 5780098 | 3111 4566 | 10 | 24 1610.92/1611.41 c 1610s | 25 | 6142424 | 5786698 | 3111 4570 | 10 | 24 1612.92/1613.42 c 1612s | 25 | 6149259 | 5793098 | 3111 4573 | 10 | 24 1614.92/1615.44 c 1614s | 25 | 6155396 | 5799098 | 3111 4577 | 10 | 24 1616.92/1617.45 c 1616s | 25 | 6162274 | 5805498 | 3111 4581 | 10 | 24 1618.92/1619.46 c 1618s | 25 | 6168959 | 5811698 | 3111 4585 | 10 | 24 1621.02/1621.52 c 1620s | 25 | 6175578 | 5817698 | 3111 4588 | 10 | 24 1623.02/1623.56 c 1622s | 25 | 6182520 | 5823998 | 3111 4592 | 10 | 24 1625.02/1625.58 c 1624s | 25 | 6188338 | 5829598 | 3111 4596 | 10 | 24 1627.01/1627.59 c 1626s | 25 | 6194609 | 5835598 | 3111 4599 | 10 | 24 1629.11/1629.60 c 1628s | 25 | 6200457 | 5841098 | 3111 4603 | 10 | 24 1631.12/1631.61 c 1630s | 25 | 6206322 | 5846798 | 3111 4606 | 10 | 24 1633.11/1633.63 c 1632s | 25 | 6211768 | 5852098 | 3111 4609 | 10 | 24 1635.11/1635.63 c 1634s | 25 | 6218273 | 5858398 | 3111 4613 | 10 | 24 1637.11/1637.67 c 1636s | 25 | 6225394 | 5865298 | 3111 4618 | 10 | 24 1639.11/1639.68 c 1638s | 25 | 6232443 | 5871898 | 3111 4622 | 10 | 24 1641.12/1641.69 c 1640s | 25 | 6239868 | 5878898 | 3111 4626 | 10 | 24 1643.11/1643.69 c 1642s | 25 | 6247385 | 5885798 | 3111 4630 | 10 | 24 1645.21/1645.70 c 1644s | 25 | 6254786 | 5892698 | 3111 4634 | 10 | 24 1647.21/1647.72 c 1646s | 25 | 6262179 | 5899598 | 3111 4639 | 10 | 24 1649.21/1649.74 c 1648s | 25 | 6269544 | 5906398 | 3111 4643 | 10 | 24 1651.21/1651.75 c 1650s | 25 | 6276655 | 5913098 | 3111 4647 | 10 | 24 1653.22/1653.76 c 1652s | 25 | 6283572 | 5919598 | 3111 4651 | 10 | 24 1655.21/1655.78 c 1654s | 25 | 6290653 | 5926298 | 3111 4655 | 10 | 24 1657.21/1657.78 c 1656s | 25 | 6296638 | 5932098 | 3111 4658 | 10 | 24 1659.21/1659.78 c 1658s | 25 | 6302971 | 5938198 | 3111 4662 | 10 | 24 1661.21/1661.79 c 1660s | 25 | 6309813 | 5944798 | 3111 4666 | 10 | 24 1663.31/1663.81 c 1662s | 25 | 6317177 | 5951698 | 3111 4671 | 10 | 24 1665.31/1665.84 c 1664s | 25 | 6324072 | 5957998 | 3111 4674 | 10 | 24 1667.30/1667.87 c 1666s | 25 | 6331365 | 5964398 | 3111 4678 | 10 | 24 1669.30/1669.88 c 1668s | 25 | 6338275 | 5970898 | 3111 4682 | 10 | 24 1671.30/1671.88 c 1670s | 25 | 6345094 | 5977398 | 3111 4686 | 10 | 24 1673.40/1673.90 c 1672s | 25 | 6352878 | 5984698 | 3111 4691 | 10 | 24 1675.40/1675.93 c 1675s | 25 | 6360561 | 5991998 | 3111 4695 | 10 | 24 1677.41/1677.94 c 1677s | 25 | 6367811 | 5998898 | 3111 4700 | 10 | 24 1679.40/1679.94 c 1679s | 25 | 6374853 | 6005798 | 3111 4704 | 10 | 24 1681.40/1681.95 c 1681s | 25 | 6382037 | 6012398 | 3111 4708 | 10 | 24 1683.40/1683.97 c 1683s | 25 | 6388051 | 6017998 | 3111 4711 | 10 | 24 1685.40/1685.98 c 1685s | 25 | 6393980 | 6023398 | 3111 4715 | 10 | 24 1687.50/1688.00 c 1687s | 25 | 6401439 | 6030598 | 3111 4719 | 10 | 24 1689.51/1690.02 c 1689s | 25 | 6408456 | 6037098 | 3111 4723 | 10 | 24 1691.50/1692.02 c 1691s | 25 | 6415483 | 6043898 | 3111 4727 | 10 | 24 1693.50/1694.04 c 1693s | 25 | 6422980 | 6050998 | 3111 4732 | 10 | 24 1695.50/1696.07 c 1695s | 25 | 6429547 | 6057198 | 3111 4736 | 10 | 24 1697.50/1698.09 c 1697s | 25 | 6436494 | 6063498 | 3111 4739 | 10 | 24 1699.60/1700.10 c 1699s | 25 | 6443694 | 6070398 | 3111 4744 | 10 | 24 1701.60/1702.14 c 1701s | 25 | 6450407 | 6076798 | 3111 4748 | 10 | 24 1703.61/1704.17 c 1703s | 25 | 6457032 | 6082798 | 3111 4751 | 10 | 24 1705.60/1706.19 c 1705s | 25 | 6464368 | 6089498 | 3111 4756 | 10 | 24 1707.70/1708.20 c 1707s | 25 | 6471975 | 6096898 | 3111 4760 | 10 | 24 1709.70/1710.21 c 1709s | 25 | 6479049 | 6103598 | 3111 4764 | 10 | 24 1711.70/1712.24 c 1711s | 25 | 6486155 | 6110298 | 3111 4768 | 10 | 24 1713.71/1714.26 c 1713s | 25 | 6493369 | 6117198 | 3111 4772 | 10 | 24 1715.70/1716.28 c 1715s | 25 | 6500159 | 6123598 | 3111 4776 | 10 | 24 1717.80/1718.30 c 1717s | 25 | 6506655 | 6129798 | 3111 4780 | 10 | 24 1719.80/1720.32 c 1719s | 25 | 6513919 | 6136698 | 3111 4784 | 10 | 24 1721.80/1722.34 c 1721s | 25 | 6520953 | 6143398 | 3111 4788 | 10 | 24 1723.80/1724.35 c 1723s | 25 | 6527549 | 6149598 | 3111 4792 | 10 | 24 1725.81/1726.36 c 1725s | 25 | 6534565 | 6156298 | 3111 4796 | 10 | 24 1727.80/1728.36 c 1727s | 25 | 6541322 | 6162798 | 3111 4800 | 10 | 24 1729.90/1730.40 c 1729s | 25 | 6548261 | 6169398 | 3111 4804 | 10 | 24 1731.90/1732.42 c 1731s | 25 | 6554323 | 6174998 | 3111 4808 | 10 | 24 1733.90/1734.44 c 1733s | 25 | 6561033 | 6181298 | 3111 4812 | 10 | 24 1735.90/1736.45 c 1735s | 25 | 6568217 | 6187998 | 3111 4816 | 10 | 24 1737.90/1738.47 c 1737s | 25 | 6575238 | 6194498 | 3111 4820 | 10 | 24 1739.89/1740.49 c 1739s | 25 | 6582211 | 6201198 | 3111 4824 | 10 | 24 1741.89/1742.49 c 1741s | 25 | 6589326 | 6208098 | 3111 4828 | 10 | 24 1743.99/1744.50 c 1743s | 25 | 6596239 | 6214598 | 3111 4832 | 10 | 24 1745.99/1746.51 c 1745s | 25 | 6603628 | 6221698 | 3111 4836 | 10 | 24 1747.99/1748.51 c 1747s | 25 | 6611258 | 6228798 | 3111 4841 | 10 | 24 1750.00/1750.53 c 1749s | 25 | 6618051 | 6235298 | 3111 4845 | 10 | 24 1751.99/1752.54 c 1751s | 25 | 6625385 | 6242298 | 3111 4849 | 10 | 24 1753.99/1754.56 c 1753s | 25 | 6632980 | 6249698 | 3111 4853 | 10 | 24 1756.00/1756.56 c 1755s | 25 | 6640667 | 6257198 | 3111 4858 | 10 | 24 1758.00/1758.57 c 1757s | 25 | 6648198 | 6264498 | 3111 4862 | 10 | 24 1760.00/1760.58 c 1759s | 25 | 6655390 | 6271298 | 3111 4867 | 10 | 24 1762.00/1762.59 c 1761s | 25 | 6663046 | 6278498 | 3111 4871 | 10 | 24 1764.10/1764.60 c 1763s | 25 | 6670681 | 6285698 | 3111 4875 | 10 | 24 1766.09/1766.62 c 1765s | 25 | 6678270 | 6292798 | 3111 4880 | 10 | 24 1768.09/1768.63 c 1767s | 25 | 6685924 | 6299898 | 3111 4884 | 10 | 24 1770.09/1770.65 c 1769s | 25 | 6693172 | 6306798 | 3111 4888 | 10 | 24 1772.09/1772.66 c 1771s | 25 | 6700416 | 6313698 | 3111 4893 | 10 | 24 1774.10/1774.68 c 1773s | 25 | 6707799 | 6320698 | 3111 4897 | 10 | 24 1776.09/1776.69 c 1775s | 25 | 6715343 | 6327798 | 3111 4901 | 10 | 24 1778.09/1778.69 c 1777s | 25 | 6722123 | 6334198 | 3111 4905 | 10 | 24 1780.19/1780.71 c 1779s | 25 | 6728825 | 6340398 | 3111 4909 | 10 | 24 1782.19/1782.73 c 1781s | 25 | 6736502 | 6347398 | 3111 4913 | 10 | 24 1784.19/1784.74 c 1783s | 25 | 6743438 | 6353898 | 3111 4917 | 10 | 24 1786.20/1786.77 c 1785s | 25 | 6750213 | 6360298 | 3111 4921 | 10 | 24 1788.19/1788.78 c 1787s | 25 | 6757234 | 6367098 | 3111 4925 | 10 | 24 1790.19/1790.78 c 1789s | 25 | 6764668 | 6374198 | 3111 4930 | 10 | 24 1792.29/1792.81 c 1791s | 25 | 6771848 | 6380898 | 3111 4934 | 10 | 24 1794.29/1794.82 c 1793s | 25 | 6779511 | 6388098 | 3111 4938 | 10 | 24 1796.29/1796.86 c 1795s | 25 | 6787229 | 6395198 | 3111 4942 | 10 | 24 1798.30/1798.88 c 1797s | 25 | 6794671 | 6402098 | 3111 4947 | 10 | 24
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-4106268-1466268364/watcher-4106268-1466268364 -o /tmp/evaluation-result-4106268-1466268364/solver-4106268-1466268364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106268-1466268364.opb pid=21969 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.39 2.35 2.16 3/181 21972 /proc/meminfo: memFree=28924020/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=594364 CPUtime=0 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 2194 0 0 0 0 0 0 0 20 0 4 0 28882299 608628736 3065 33554432000 4194304 16246674 140737253181568 140737253180992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 149359 3075 441 2943 0 146253 0 [pid=21972/tid=21973] ppid=21969 vsize=611772 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 626454528 3135 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=615868 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 630648832 3151 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=620988 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 635891712 3170 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100206 s] /proc/loadavg: 2.39 2.35 2.16 3/181 21972 /proc/meminfo: memFree=28924020/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1218116 CPUtime=0.08 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 20667 0 0 0 7 1 0 0 20 0 4 0 28882299 1247350784 21526 33554432000 4194304 16246674 140737253181568 140737253180992 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 304529 21533 760 2943 0 301423 0 [pid=21972/tid=21973] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 21540 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 21549 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 21553 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1218116 [startup+0.200453 s] /proc/loadavg: 2.39 2.35 2.16 3/181 21972 /proc/meminfo: memFree=28924020/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 39453 0 0 0 15 4 0 0 20 0 4 0 28882299 1247350784 40312 33554432000 4194304 16246674 140737253181568 140737253180992 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 304529 40317 767 2943 0 301423 0 [pid=21972/tid=21973] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 40322 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 40328 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 40332 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300466 s] /proc/loadavg: 2.39 2.35 2.16 3/181 21972 /proc/meminfo: memFree=28924020/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 56819 0 0 0 22 7 0 0 20 0 4 0 28882299 1247350784 57679 33554432000 4194304 16246674 140737253181568 140737253180992 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 304529 57689 767 2943 0 301423 0 [pid=21972/tid=21973] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 57692 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 57694 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 57698 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700386 s] /proc/loadavg: 2.39 2.35 2.16 3/181 21972 /proc/meminfo: memFree=28924020/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 130538 0 0 0 53 16 0 0 20 0 4 0 28882299 1247350784 131397 33554432000 4194304 16246674 140737253181568 140737253163456 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 304529 131405 767 2943 0 301423 0 [pid=21972/tid=21973] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 131411 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 131418 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1247350784 131424 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5077 s] /proc/loadavg: 2.39 2.35 2.16 3/185 21976 /proc/meminfo: memFree=27938200/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1219140 CPUtime=1.49 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 245840 0 0 0 116 33 0 0 20 0 4 0 28882299 1248399360 246676 33554432000 4194304 16246674 140737253181568 140737253180880 5675333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 304785 246676 854 2943 0 301679 0 [pid=21972/tid=21973] ppid=21969 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1248399360 246676 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1248399360 246676 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1219140 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1248399360 246676 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1219140 [startup+3.10041 s] /proc/loadavg: 2.39 2.35 2.16 3/185 21976 /proc/meminfo: memFree=27852464/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1305156 CPUtime=3.09 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 267201 0 0 0 273 36 0 0 20 0 4 0 28882299 1336479744 268037 33554432000 4194304 16246674 140737253181568 140737253163456 5712760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 326289 268037 854 2943 0 323183 0 [pid=21972/tid=21973] ppid=21969 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1336479744 268037 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1336479744 268037 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1305156 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1336479744 268037 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1305156 [startup+6.3004 s] /proc/loadavg: 2.36 2.34 2.16 3/185 21976 /proc/meminfo: memFree=27850132/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 267810 0 0 0 593 36 0 0 20 0 4 0 28882299 1338576896 268646 33554432000 4194304 16246674 140737253181568 140737253163456 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 326801 268646 854 2943 0 323695 0 [pid=21972/tid=21973] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268646 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268646 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268646 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.33 2.33 2.16 4/185 21976 /proc/meminfo: memFree=27849308/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1307204 CPUtime=12.69 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 267899 0 0 0 1233 36 0 0 20 0 4 0 28882299 1338576896 268735 33554432000 4194304 16246674 140737253181568 140737253163456 13781198 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 326801 268735 854 2943 0 323695 0 [pid=21972/tid=21973] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268735 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268735 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1338576896 268735 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.28 2.32 2.16 4/185 21976 /proc/meminfo: memFree=27847940/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1309252 CPUtime=25.48 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 268411 0 0 0 2512 36 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140737253164568 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 327313 269247 854 2943 0 324207 0 [pid=21972/tid=21973] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1309252 [startup+51.1004 s] /proc/loadavg: 2.34 2.34 2.17 3/185 21976 /proc/meminfo: memFree=27847776/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1309252 CPUtime=51.08 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 268411 0 0 0 5072 36 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140737253163456 13950188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 327313 269247 854 2943 0 324207 0 [pid=21972/tid=21973] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1309252 [startup+102.3 s] /proc/loadavg: 2.35 2.34 2.18 3/185 21977 /proc/meminfo: memFree=27847668/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1309252 CPUtime=102.27 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 268411 0 0 0 10190 37 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140737253163456 13927320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 327313 269247 854 2943 0 324207 0 [pid=21972/tid=21973] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1340674048 269247 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1309252 ################ # More data... # ################ /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1314372 [startup+1362.3 s] /proc/loadavg: 2.32 2.31 2.26 4/185 22130 /proc/meminfo: memFree=27837536/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1361.85 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 136139 46 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5677810 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1314372 [startup+1422.3 s] /proc/loadavg: 2.25 2.29 2.26 3/185 22131 /proc/meminfo: memFree=27837568/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1421.84 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 142137 47 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5677784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1314372 [startup+1482.3 s] /proc/loadavg: 2.33 2.30 2.26 3/186 22136 /proc/meminfo: memFree=27837524/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1481.83 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 148136 47 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253164568 13192848 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1314372 [startup+1542.3 s] /proc/loadavg: 2.32 2.29 2.26 3/185 22137 /proc/meminfo: memFree=27837568/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1541.83 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 154135 48 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5673687 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1314372 [startup+1602.3 s] /proc/loadavg: 2.27 2.28 2.26 4/185 22138 /proc/meminfo: memFree=27837104/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1601.82 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 160134 48 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1314372 [startup+1662.3 s] /proc/loadavg: 2.37 2.30 2.27 3/185 22139 /proc/meminfo: memFree=27837384/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1661.81 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 166133 48 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1314372 [startup+1722.3 s] /proc/loadavg: 2.33 2.31 2.27 3/185 22140 /proc/meminfo: memFree=27837156/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1721.8 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 172131 49 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5672865 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1314372 [startup+1782.3 s] /proc/loadavg: 2.32 2.31 2.27 4/185 22142 /proc/meminfo: memFree=27836828/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1781.8 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 178130 50 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1314372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.31 2.31 2.27 3/185 22142 /proc/meminfo: memFree=27836932/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1800.09 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 179959 50 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5823408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1314372 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 21972 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.31 2.31 2.27 3/185 22142 /proc/meminfo: memFree=27836932/32872528 swapFree=1505436/1685308 [pid=21972] ppid=21969 vsize=1314372 CPUtime=1800.09 cores=0,2,4,6 /proc/21972/stat : 21972 (toysat) R 21969 21972 21389 0 -1 4202496 270089 0 0 0 179959 50 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140737253163456 5823408 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/21972/statm: 328593 270532 856 2943 0 325487 0 [pid=21972/tid=21973] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21973/stat : 21973 (toysat) S 21969 21972 21389 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725601676528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=21972/tid=21974] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21974/stat : 21974 (toysat) S 21969 21972 21389 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725591186672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=21972/tid=21975] ppid=21969 vsize=1314372 CPUtime=0 cores=0,2,4,6 /proc/21972/task/21975/stat : 21975 (toysat) S 21969 21972 21389 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28882299 1345916928 270532 33554432000 4194304 16246674 140737253181568 140725475863728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1314372 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.6 CPU system time (s): 0.503923 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1314372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.6 system time used= 0.503923 maximum resident set size= 1082128 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 270089 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= 409 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.49132 second user time and 7.02293 second system time The end
Begin job on node135 at 2016-06-18 18:46:04 IDJOB=4106268 IDBENCH=47996 IDSOLVER=2542 FILE ID=node135/4106268-1466268364 RUNJOBID= node135-1466266561-21405 PBS_JOBID= 19918237 Free space on /tmp= 71688 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=239-P1=257-P2=113-P3=223-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106268-1466268364/watcher-4106268-1466268364 -o /tmp/evaluation-result-4106268-1466268364/solver-4106268-1466268364 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1466266561-21405 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106268-1466268364.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ff8e4ce8aca8e0dab1b59dd2a47026b4 RANDOM SEED=1282962652 node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.004 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 28924936 kB Buffers: 151580 kB Cached: 281004 kB SwapCached: 716 kB Active: 1222216 kB Inactive: 297396 kB Active(anon): 1087996 kB Inactive(anon): 1308 kB Active(file): 134220 kB Inactive(file): 296088 kB Unevictable: 1685308 kB Mlocked: 1505436 kB SwapTotal: 67108856 kB SwapFree: 67100444 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 2773880 kB Mapped: 10548 kB Shmem: 0 kB Slab: 605176 kB SReclaimable: 48744 kB SUnreclaim: 556432 kB KernelStack: 1464 kB PageTables: 9356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2917208 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341987908 kB HardwareCorrupted: 0 kB AnonHugePages: 575488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71672 MiB End job on node135 at 2016-06-18 19:16:04