| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.04 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
| MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -47 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -60 |
| Optimality of the best value was proved | NO |
| Number of variables | 400 |
| Total number of constraints | 601 |
| Number of constraints which are clauses | 200 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 401 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 400 |
| Number of terms in the objective function | 200 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 400 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 4976 |
| Sum of products size (including duplicates) | 9952 |
| Number of different products | 2488 |
| Sum of products size | 4976 |
0.00/0.00 c 2016-06-18T21:43: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-4106820-1466278984.opb"] 0.00/0.01 c use --random-gen="1377018809 3090697438 264533961 3913372422 2674440497 1904254810 523485586 3406457353 1330842337 3836508964 3677550067 1174379524 245502027 2326427374 1018401269 208547032 3303542258 2895608390 3438747134 2493485369 2629510814 1285559174 1775821073 785394997 2131222979 1002221124 2471533363 3577471033 467075543 1418296132 2160989356 454577287 525292114 3693513612 1008014405 45726736 2919852801 4191399132 1419339487 4169170397 2214400264 2661771053 626375317 672952454 3376971375 2139253190 3790404417 160174519 1242343759 751845653 1231270885 1335937919 391091478 2810273670 901278459 3479963208 1501218484 1659612719 2984944479 4242517251 3375226076 3436511344 721687633 2453624342 3854179243 3589608161 1795282407 2122226178 3758028108 1979130671 796597212 2253011099 1429960398 1186403802 3344877066 1733159715 4282449950 3152060062 1889585358 771757912 4127324816 1792764720 3407933110 3147602043 4211341370 2600162787 3143152021 3921708659 3735073375 2060758561 3900787038 2257456035 2632062234 505376533 2771892626 4020132467 3181793668 3537150775 3570350210 2192172127 1541394681 2213675557 1600600677 3986264583 587719455 3713518407 2490070547 3867336037 1896430779 2799210705 2327194352 299730117 3738217891 2351077405 387555720 49919136 1418871042 1539139195 4019706671 217846393 526130243 129037011 3173493135 116942767 1048452461 530067215 969267808 3846275897 1442044092 3077037587 1850222975 401229050 291324708 2664860475 159460872 3415584974 564873264 1237863486 2507016441 2202801020 2447695359 2239128496 3594699853 3418769812 2449865703 3909604345 3084622371 2077420418 1933297455 249687498 418079540 5917137 1663457160 2988649144 1045025601 256866784 3483919778 12671759 1095995920 3415577163 334659127 3584604465 405208562 3130944724 758140417 3134125822 3942442391 2469912585 1136338772 311996046 1541362094 1842407914 1117932805 2098703336 225888855 369113192 247148081 13977613 1052288477 1676799921 1727454694 75561911 1194604648 1020785505 1770513697 1162190285 785343153 1615197783 3633940126 2912864765 4108189396 3000536318 3440497113 1347856428 2398204385 3552756434 600066848 2666025032 3203590175 3720842041 81557193 2959025171 3975824036 3089386050 3046958876 1495352372 4144831973 2118297115 1385244494 1991708196 199468840 2773102590 3693464147 1677661339 1243470264 1246911538 2273015227 2257208332 660878114 3132407333 1237827388 1247527689 3282639132 772891699 965403057 1507625491 2527579229 3162019000 3569982285 1948231947 1163688626 3358330385 2047122884 74885338 428531251 2001717384 2345829547 1953712016 3120740843 2501707820 2716825140 3989025634 910209412 205588243 3124213593 111879239 439172122 1686594574 727754431 3331738433 3966061918 3830693151 1437369893 2045092590 1496155329 2009462717 255 362436" option to reproduce the execution 0.00/0.03 c #vars 400 0.00/0.03 c #constraints 601 0.00/0.09 c BCD2: Hardening is enabled. 0.00/0.09 c BCD2: BiasedSearch is enabled. 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.10 c 0.0s | 0 | 0 | 0 | 1992 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 228 | 0 | 1992 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 228 0.09/0.11 c #random_decision = 1 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 o -33 0.09/0.11 c BCD2: updating upper bound: 200 -> 166 0.09/0.11 c BCD2: 0 <= obj <= 166 0.09/0.11 c BCD2: #cores=0, #unrelaxed=200, #relaxed=0, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1992 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 110 | 2 | 1992 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.004s 0.09/0.11 c #wall_clock_time = 0.004s 0.09/0.11 c #decision = 110 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 2 0.09/0.11 c #restart = 0 0.09/0.11 c BCD2: found a new core of size 100: cost of the new core is >=1 0.09/0.11 c lower bound updated to -199 0.09/0.11 c BCD2: 1 <= obj <= 166 0.09/0.11 c BCD2: #cores=1, #unrelaxed=100, #relaxed=100, #hardened=0 0.09/0.11 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.11 c Solving starts ... 0.09/0.11 c ============================[ Search Statistics ]============================ 0.09/0.11 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.11 c | | | | Limit GC | Var | Constra 0.09/0.11 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 1992 0 | 0 | 0 0.09/0.12 c 0.0s | 0 | 101 | 1 | 1992 0 | 0 | 0 0.09/0.12 c #cpu_time = 0.007s 0.09/0.12 c #wall_clock_time = 0.007s 0.09/0.12 c #decision = 101 0.09/0.12 c #random_decision = 0 0.09/0.12 c #conflict = 1 0.09/0.12 c #restart = 0 0.09/0.12 c BCD2: relaxing 100 and merging with 1 cores into a new core of size 200: cost of the new core is >=2 0.09/0.12 c lower bound updated to -198 0.09/0.12 c BCD2: 2 <= obj <= 166 0.09/0.12 c BCD2: #cores=1, #unrelaxed=0, #relaxed=200, #hardened=0 0.09/0.12 c BCD2: #sat=1 #unsat=3 bias=3/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 1992 0 | 1 | 0 0.09/0.18 c 0.1s | 1 | 2148 | 100 | 2192 0 | 1 | 1 0.29/0.33 c 0.2s | 2 | 10149 | 250 | 2412 0 | 1 | 1 0.69/0.75 c 0.6s | 3 | 16267 | 475 | 2654 0 | 1 | 1 1.19/1.27 c 1.2s | 4 | 20954 | 813 | 2920 0 | 1 | 1 1.99/2.01 c 1.9s | 5 | 29580 | 1320 | 3213 0 | 1 | 1 3.09/3.12 c 3.0s | 6 | 34779 | 2081 | 3535 0 | 1 | 1 4.59/4.64 c 4.5s | 7 | 49885 | 3223 | 3889 0 | 1 | 1 6.79/6.85 c 6.7s | 7 | 58445 | 4623 | 3889 1 | 1 | 1 7.49/7.59 c 7.5s | 8 | 59036 | 4936 | 4278 1 | 1 | 1 9.69/9.71 c 9.6s | 8 | 68715 | 6136 | 4278 1 | 1 | 1 11.69/11.75 c 11.6s | 8 | 69883 | 7036 | 4278 2 | 1 | 1 12.39/12.40 c 12.3s | 9 | 75054 | 7506 | 4706 2 | 1 | 1 14.40/14.48 c 14.4s | 9 | 85259 | 8906 | 4706 2 | 1 | 1 16.50/16.57 c 16.5s | 9 | 94659 | 10206 | 4706 3 | 1 | 1 18.09/18.19 c 18.1s | 10 | 120336 | 11361 | 5177 3 | 1 | 1 20.29/20.30 c 20.2s | 10 | 147806 | 12761 | 5177 4 | 1 | 1 22.39/22.40 c 22.3s | 10 | 163268 | 14161 | 5177 4 | 1 | 1 24.49/24.52 c 24.4s | 10 | 185862 | 16061 | 5177 5 | 1 | 1 25.99/26.05 c 25.9s | 11 | 194520 | 17144 | 5695 5 | 1 | 1 28.09/28.16 c 28.0s | 11 | 217041 | 18544 | 5695 6 | 1 | 1 30.09/30.17 c 30.1s | 11 | 247810 | 20644 | 5695 6 | 1 | 1 32.18/32.21 c 32.1s | 11 | 275731 | 22544 | 5695 7 | 1 | 1 34.28/34.30 c 34.2s | 11 | 299929 | 24044 | 5695 8 | 1 | 1 35.98/36.08 c 36.0s | 12 | 328557 | 25819 | 6265 8 | 1 | 1 38.08/38.13 c 38.0s | 12 | 349761 | 27019 | 6265 8 | 1 | 1 40.08/40.20 c 40.1s | 12 | 397156 | 29519 | 6265 9 | 1 | 1 42.18/42.24 c 42.1s | 12 | 440046 | 31219 | 6265 10 | 1 | 1 44.28/44.36 c 44.2s | 12 | 480470 | 32719 | 6265 10 | 1 | 1 46.38/46.41 c 46.3s | 12 | 513324 | 33919 | 6265 11 | 1 | 1 48.49/48.53 c 48.4s | 12 | 552338 | 35419 | 6265 11 | 1 | 1 50.48/50.59 c 50.5s | 12 | 587355 | 36919 | 6265 12 | 1 | 1 52.48/52.51 c 52.4s | 13 | 629017 | 38832 | 6892 12 | 1 | 1 54.58/54.61 c 54.5s | 13 | 644828 | 40832 | 6892 13 | 1 | 1 56.68/56.72 c 56.6s | 13 | 655257 | 42232 | 6892 13 | 1 | 1 58.78/58.87 c 58.8s | 13 | 680553 | 43532 | 6892 13 | 1 | 1 60.88/60.92 c 60.8s | 13 | 705582 | 44532 | 6892 14 | 1 | 1 62.98/63.02 c 62.9s | 13 | 736640 | 46532 | 6892 14 | 1 | 1 64.98/65.07 c 64.9s | 13 | 756379 | 48132 | 6892 15 | 1 | 1 67.18/67.21 c 67.1s | 13 | 781811 | 49532 | 6892 15 | 1 | 1 69.28/69.34 c 69.2s | 13 | 803402 | 50832 | 6892 15 | 1 | 1 71.38/71.42 c 71.3s | 13 | 835850 | 52632 | 6892 16 | 1 | 1 73.38/73.44 c 73.3s | 13 | 864372 | 54532 | 6892 16 | 1 | 1 75.48/75.56 c 75.4s | 13 | 891362 | 55832 | 6892 17 | 1 | 1 77.68/77.71 c 77.6s | 13 | 917107 | 57132 | 6892 17 | 1 | 1 79.18/79.25 c 79.1s | 14 | 929603 | 58352 | 7582 17 | 1 | 1 81.27/81.31 c 81.2s | 14 | 942741 | 59652 | 7582 18 | 1 | 1 83.27/83.35 c 83.2s | 14 | 954445 | 60552 | 7582 18 | 1 | 1 85.27/85.36 c 85.2s | 14 | 993191 | 62652 | 7582 18 | 1 | 1 87.37/87.48 c 87.4s | 14 | 1043300 | 64452 | 7582 19 | 1 | 1 89.47/89.58 c 89.5s | 14 | 1084762 | 65852 | 7582 19 | 1 | 1 91.47/91.59 c 91.5s | 14 | 1117774 | 66952 | 7582 20 | 1 | 1 93.58/93.65 c 93.5s | 14 | 1168986 | 68552 | 7582 20 | 1 | 1 95.57/95.67 c 95.5s | 14 | 1208543 | 70652 | 7582 21 | 1 | 1 97.57/97.67 c 97.6s | 14 | 1260281 | 72452 | 7582 21 | 1 | 1 99.67/99.73 c 99.6s | 14 | 1300516 | 74352 | 7582 21 | 1 | 1 101.77/101.82 c 101s | 14 | 1349308 | 76052 | 7582 22 | 1 | 1 103.77/103.86 c 103s | 14 | 1388567 | 77752 | 7582 22 | 1 | 1 105.87/105.97 c 105s | 14 | 1435677 | 79552 | 7582 23 | 1 | 1 107.97/108.03 c 107s | 14 | 1478446 | 81052 | 7582 23 | 1 | 1 110.08/110.12 c 109s | 14 | 1519829 | 82752 | 7582 24 | 1 | 1 112.07/112.18 c 112s | 14 | 1559523 | 84752 | 7582 24 | 1 | 1 114.27/114.32 c 114s | 14 | 1616745 | 86652 | 7582 25 | 1 | 1 115.37/115.46 c 115s | 15 | 1644037 | 87632 | 8341 25 | 1 | 1 117.47/117.53 c 117s | 15 | 1681598 | 89432 | 8341 25 | 1 | 1 119.78/119.85 c 119s | 15 | 1724632 | 90932 | 8341 26 | 1 | 1 121.78/121.88 c 121s | 15 | 1741235 | 92932 | 8341 26 | 1 | 1 123.98/124.01 c 123s | 15 | 1755887 | 94532 | 8341 26 | 1 | 1 125.97/126.10 c 125s | 15 | 1774403 | 96532 | 8341 27 | 1 | 1 128.07/128.15 c 128s | 15 | 1807496 | 98532 | 8341 27 | 1 | 1 130.17/130.20 c 130s | 15 | 1835755 | 100432 | 8341 28 | 1 | 1 132.17/132.25 c 132s | 15 | 1868599 | 102632 | 8341 28 | 1 | 1 134.28/134.34 c 134s | 15 | 1905646 | 104532 | 8341 29 | 1 | 1 136.27/136.40 c 136s | 15 | 1946106 | 106532 | 8341 29 | 1 | 1 138.37/138.41 c 138s | 15 | 1977710 | 108332 | 8341 30 | 1 | 1 140.37/140.42 c 140s | 15 | 2010671 | 110032 | 8341 30 | 1 | 1 142.47/142.51 c 142s | 15 | 2051687 | 111932 | 8341 31 | 1 | 1 144.47/144.55 c 144s | 15 | 2084998 | 113732 | 8341 31 | 1 | 1 146.57/146.62 c 146s | 15 | 2119065 | 115732 | 8341 31 | 1 | 1 148.58/148.65 c 148s | 15 | 2157832 | 117432 | 8341 32 | 1 | 1 150.57/150.69 c 150s | 15 | 2180357 | 119132 | 8341 32 | 1 | 1 152.88/152.95 c 152s | 15 | 2220847 | 120632 | 8341 33 | 1 | 1 154.87/154.98 c 154s | 15 | 2269897 | 122432 | 8341 33 | 1 | 1 156.97/157.01 c 156s | 15 | 2338412 | 124432 | 8341 33 | 1 | 1 158.96/159.09 c 158s | 15 | 2393769 | 126532 | 8341 34 | 1 | 1 161.16/161.20 c 161s | 15 | 2471750 | 128632 | 8341 34 | 1 | 1 163.16/163.28 c 163s | 15 | 2511396 | 130532 | 8341 35 | 1 | 1 164.16/164.27 c 164s | 16 | 2544212 | 131552 | 9176 35 | 1 | 1 166.26/166.32 c 166s | 16 | 2591071 | 133252 | 9176 35 | 1 | 1 168.27/168.36 c 168s | 16 | 2625137 | 135352 | 9176 36 | 1 | 1 170.36/170.40 c 170s | 16 | 2670446 | 137252 | 9176 36 | 1 | 1 172.36/172.49 c 172s | 16 | 2704228 | 139252 | 9176 37 | 1 | 1 174.46/174.55 c 174s | 16 | 2747112 | 141152 | 9176 37 | 1 | 1 176.46/176.59 c 176s | 16 | 2774171 | 143052 | 9176 37 | 1 | 1 178.56/178.66 c 178s | 16 | 2799074 | 144752 | 9176 38 | 1 | 1 180.66/180.75 c 180s | 16 | 2831919 | 146452 | 9176 38 | 1 | 1 182.76/182.85 c 182s | 16 | 2853640 | 148052 | 9176 38 | 1 | 1 184.87/184.92 c 184s | 16 | 2867513 | 149652 | 9176 39 | 1 | 1 186.86/186.97 c 186s | 16 | 2874037 | 151252 | 9176 39 | 1 | 1 188.96/189.06 c 188s | 16 | 2894325 | 153052 | 9176 40 | 1 | 1 191.06/191.14 c 191s | 16 | 2918488 | 155052 | 9176 40 | 1 | 1 193.06/193.17 c 193s | 16 | 2950702 | 157152 | 9176 40 | 1 | 1 195.16/195.21 c 195s | 16 | 2974393 | 159052 | 9176 41 | 1 | 1 197.26/197.35 c 197s | 16 | 3006206 | 160152 | 9176 41 | 1 | 1 199.36/199.45 c 199s | 16 | 3044804 | 161752 | 9176 41 | 1 | 1 201.46/201.55 c 201s | 16 | 3079094 | 163552 | 9176 42 | 1 | 1 203.56/203.61 c 203s | 16 | 3116894 | 165152 | 9176 42 | 1 | 1 205.56/205.66 c 205s | 16 | 3160689 | 167052 | 9176 43 | 1 | 1 207.56/207.69 c 207s | 16 | 3195869 | 168652 | 9176 43 | 1 | 1 209.76/209.84 c 209s | 16 | 3236476 | 170752 | 9176 43 | 1 | 1 211.85/211.94 c 211s | 16 | 3250622 | 172152 | 9176 44 | 1 | 1 213.85/213.97 c 213s | 16 | 3270140 | 173652 | 9176 44 | 1 | 1 215.95/216.04 c 215s | 16 | 3285933 | 175252 | 9176 44 | 1 | 1 218.05/218.13 c 218s | 16 | 3299353 | 176852 | 9176 45 | 1 | 1 220.15/220.25 c 220s | 16 | 3302158 | 178052 | 9176 45 | 1 | 1 222.45/222.52 c 222s | 16 | 3311944 | 179352 | 9176 45 | 1 | 1 224.46/224.59 c 224s | 16 | 3363182 | 181052 | 9176 45 | 1 | 1 226.45/226.59 c 226s | 16 | 3384967 | 182652 | 9176 46 | 1 | 1 228.55/228.62 c 228s | 16 | 3413956 | 184652 | 9176 46 | 1 | 1 230.65/230.73 c 230s | 16 | 3431458 | 186452 | 9176 47 | 1 | 1 232.75/232.80 c 232s | 16 | 3450252 | 188152 | 9176 47 | 1 | 1 234.75/234.84 c 234s | 16 | 3467750 | 189752 | 9176 47 | 1 | 1 236.85/236.94 c 236s | 16 | 3483273 | 191152 | 9176 48 | 1 | 1 238.85/238.94 c 238s | 16 | 3499310 | 192752 | 9176 48 | 1 | 1 240.96/241.00 c 240s | 16 | 3512986 | 194252 | 9176 48 | 1 | 1 242.95/243.06 c 242s | 16 | 3530756 | 195852 | 9176 49 | 1 | 1 244.85/244.90 c 244s | 17 | 3543643 | 197432 | 10094 49 | 1 | 1 247.05/247.10 c 246s | 17 | 3586185 | 199032 | 10094 49 | 1 | 1 249.06/249.19 c 249s | 17 | 3593899 | 200132 | 10094 49 | 1 | 1 251.16/251.21 c 251s | 17 | 3613483 | 201432 | 10094 50 | 1 | 1 253.16/253.28 c 253s | 17 | 3647573 | 203032 | 10094 50 | 1 | 1 255.46/255.52 c 255s | 17 | 3651665 | 203932 | 10094 50 | 1 | 1 257.55/257.69 c 257s | 17 | 3652461 | 204632 | 10094 50 | 1 | 1 259.95/260.04 c 259s | 17 | 3653182 | 205332 | 10094 50 | 1 | 1 261.95/262.06 c 261s | 17 | 3653852 | 205932 | 10094 50 | 1 | 1 264.06/264.17 c 264s | 17 | 3667904 | 206832 | 10094 51 | 1 | 1 266.16/266.21 c 266s | 17 | 3686368 | 208132 | 10094 51 | 1 | 1 268.25/268.34 c 268s | 17 | 3715411 | 209432 | 10094 51 | 1 | 1 270.25/270.36 c 270s | 17 | 3739826 | 211732 | 10094 52 | 1 | 1 272.35/272.46 c 272s | 17 | 3761796 | 213832 | 10094 52 | 1 | 1 274.45/274.52 c 274s | 17 | 3791437 | 215932 | 10094 52 | 1 | 1 276.45/276.57 c 276s | 17 | 3823172 | 218132 | 10094 53 | 1 | 1 278.55/278.67 c 278s | 17 | 3870963 | 220432 | 10094 53 | 1 | 1 280.65/280.73 c 280s | 17 | 3905652 | 222632 | 10094 54 | 1 | 1 282.65/282.76 c 282s | 17 | 3960262 | 225032 | 10094 54 | 1 | 1 284.65/284.77 c 284s | 17 | 3997480 | 226932 | 10094 55 | 1 | 1 286.75/286.86 c 286s | 17 | 4058271 | 229332 | 10094 55 | 1 | 1 288.85/288.90 c 288s | 17 | 4108014 | 231532 | 10094 55 | 1 | 1 290.85/290.92 c 290s | 17 | 4147267 | 233232 | 10094 56 | 1 | 1 292.95/293.03 c 292s | 17 | 4217638 | 235732 | 10094 56 | 1 | 1 294.95/295.07 c 294s | 17 | 4254614 | 237532 | 10094 57 | 1 | 1 297.05/297.13 c 297s | 17 | 4308344 | 239532 | 10094 57 | 1 | 1 299.04/299.19 c 299s | 17 | 4346045 | 241432 | 10094 57 | 1 | 1 301.14/301.28 c 301s | 17 | 4397013 | 243432 | 10094 58 | 1 | 1 303.24/303.38 c 303s | 17 | 4435264 | 245532 | 10094 58 | 1 | 1 305.34/305.44 c 305s | 17 | 4466133 | 247332 | 10094 59 | 1 | 1 307.44/307.55 c 307s | 17 | 4516620 | 249332 | 10094 59 | 1 | 1 309.54/309.64 c 309s | 17 | 4583626 | 251732 | 10094 59 | 1 | 1 311.54/311.67 c 311s | 17 | 4616146 | 253332 | 10094 60 | 1 | 1 313.64/313.71 c 313s | 17 | 4661492 | 255532 | 10094 60 | 1 | 1 315.65/315.78 c 315s | 17 | 4726639 | 257632 | 10094 61 | 1 | 1 317.74/317.84 c 317s | 17 | 4776368 | 259732 | 10094 61 | 1 | 1 319.74/319.89 c 319s | 17 | 4818704 | 261732 | 10094 61 | 1 | 1 321.84/321.95 c 321s | 17 | 4880751 | 263632 | 10094 62 | 1 | 1 323.94/324.07 c 323s | 17 | 4915365 | 265432 | 10094 62 | 1 | 1 326.04/326.15 c 326s | 17 | 4966686 | 267532 | 10094 62 | 1 | 1 328.04/328.15 c 328s | 17 | 4981559 | 268932 | 10094 63 | 1 | 1 330.04/330.18 c 330s | 17 | 5017059 | 270732 | 10094 63 | 1 | 1 332.14/332.24 c 332s | 17 | 5049278 | 272532 | 10094 63 | 1 | 1 334.13/334.28 c 334s | 17 | 5076801 | 274132 | 10094 64 | 1 | 1 336.23/336.31 c 336s | 17 | 5106881 | 275832 | 10094 64 | 1 | 1 338.23/338.37 c 338s | 17 | 5135043 | 277732 | 10094 64 | 1 | 1 340.23/340.37 c 340s | 17 | 5168861 | 279432 | 10094 65 | 1 | 1 342.33/342.43 c 342s | 17 | 5210720 | 281432 | 10094 65 | 1 | 1 344.34/344.48 c 344s | 17 | 5253125 | 283432 | 10094 66 | 1 | 1 346.44/346.53 c 346s | 17 | 5289210 | 285332 | 10094 66 | 1 | 1 348.53/348.64 c 348s | 17 | 5329525 | 287432 | 10094 66 | 1 | 1 350.63/350.74 c 350s | 17 | 5367591 | 289432 | 10094 67 | 1 | 1 352.73/352.82 c 352s | 17 | 5405039 | 291432 | 10094 67 | 1 | 1 354.73/354.83 c 354s | 17 | 5433776 | 293332 | 10094 67 | 1 | 1 356.83/356.94 c 356s | 17 | 5465896 | 295232 | 11104 68 | 1 | 1 357.83/357.98 c 357s | 18 | 5482208 | 296252 | 11104 68 | 1 | 1 359.94/360.03 c 359s | 18 | 5507591 | 297452 | 11104 68 | 1 | 1 361.94/362.09 c 361s | 18 | 5545481 | 299052 | 11104 68 | 1 | 1 364.04/364.16 c 364s | 18 | 5565799 | 300352 | 11104 69 | 1 | 1 366.03/366.19 c 366s | 18 | 5609201 | 301852 | 11104 69 | 1 | 1 368.23/368.30 c 368s | 18 | 5660824 | 303652 | 11104 69 | 1 | 1 370.23/370.31 c 370s | 18 | 5693701 | 305452 | 11104 70 | 1 | 1 372.43/372.55 c 372s | 18 | 5729224 | 307252 | 11104 70 | 1 | 1 374.53/374.68 c 374s | 18 | 5757209 | 308952 | 11104 70 | 1 | 1 376.63/376.75 c 376s | 18 | 5788997 | 310352 | 11104 70 | 1 | 1 378.73/378.80 c 378s | 18 | 5818857 | 312052 | 11104 71 | 1 | 1 380.83/380.90 c 380s | 18 | 5846449 | 313952 | 11104 71 | 1 | 1 382.83/382.98 c 382s | 18 | 5884243 | 315552 | 11104 71 | 1 | 1 384.93/385.02 c 384s | 18 | 5894449 | 316952 | 11104 72 | 1 | 1 386.92/387.03 c 386s | 18 | 5915955 | 318352 | 11104 72 | 1 | 1 388.92/389.05 c 388s | 18 | 5934913 | 320152 | 11104 72 | 1 | 1 391.02/391.18 c 391s | 18 | 5950094 | 321752 | 11104 72 | 1 | 1 393.12/393.26 c 393s | 18 | 5978368 | 323152 | 11104 73 | 1 | 1 395.22/395.37 c 395s | 18 | 6021867 | 325152 | 11104 73 | 1 | 1 397.32/397.43 c 397s | 18 | 6055616 | 326752 | 11104 73 | 1 | 1 399.42/399.52 c 399s | 18 | 6089868 | 328352 | 11104 74 | 1 | 1 401.42/401.56 c 401s | 18 | 6138127 | 330152 | 11104 74 | 1 | 1 403.51/403.63 c 403s | 18 | 6173898 | 332052 | 11104 74 | 1 | 1 405.51/405.65 c 405s | 18 | 6213377 | 333752 | 11104 75 | 1 | 1 407.51/407.67 c 407s | 18 | 6248438 | 335652 | 11104 75 | 1 | 1 409.51/409.68 c 409s | 18 | 6271760 | 337352 | 11104 75 | 1 | 1 411.51/411.68 c 411s | 18 | 6306734 | 338852 | 11104 75 | 1 | 1 413.51/413.70 c 413s | 18 | 6336682 | 340752 | 11104 76 | 1 | 1 415.61/415.74 c 415s | 18 | 6364302 | 342552 | 11104 76 | 1 | 1 417.61/417.76 c 417s | 18 | 6392638 | 344352 | 11104 76 | 1 | 1 419.71/419.86 c 419s | 18 | 6421075 | 346252 | 11104 77 | 1 | 1 421.80/421.95 c 421s | 18 | 6441872 | 348152 | 11104 77 | 1 | 1 423.90/424.04 c 423s | 18 | 6458376 | 349752 | 11104 77 | 1 | 1 426.00/426.12 c 425s | 18 | 6475442 | 351352 | 11104 78 | 1 | 1 428.10/428.24 c 428s | 18 | 6487310 | 353152 | 11104 78 | 1 | 1 430.11/430.28 c 430s | 18 | 6489890 | 354552 | 11104 78 | 1 | 1 432.20/432.33 c 432s | 18 | 6497663 | 356052 | 11104 78 | 1 | 1 435.10/435.22 c 435s | 18 | 6508761 | 356952 | 11104 79 | 1 | 1 437.20/437.30 c 437s | 18 | 6529045 | 358252 | 11104 79 | 1 | 1 439.20/439.38 c 439s | 18 | 6557480 | 359852 | 11104 79 | 1 | 1 441.40/441.55 c 441s | 18 | 6597549 | 361252 | 11104 79 | 1 | 1 443.49/443.66 c 443s | 18 | 6627300 | 362952 | 11104 80 | 1 | 1 445.59/445.76 c 445s | 18 | 6656886 | 364452 | 11104 80 | 1 | 1 447.70/447.81 c 447s | 18 | 6694906 | 365952 | 11104 80 | 1 | 1 449.80/449.91 c 449s | 18 | 6714539 | 367352 | 11104 80 | 1 | 1 451.89/452.01 c 451s | 18 | 6741198 | 368752 | 11104 81 | 1 | 1 453.99/454.12 c 454s | 18 | 6774046 | 370252 | 11104 81 | 1 | 1 456.09/456.21 c 456s | 18 | 6796285 | 371952 | 11104 81 | 1 | 1 458.09/458.25 c 458s | 18 | 6813778 | 373352 | 11104 82 | 1 | 1 460.09/460.27 c 460s | 18 | 6842784 | 375052 | 11104 82 | 1 | 1 462.19/462.36 c 462s | 18 | 6864189 | 376752 | 11104 82 | 1 | 1 464.29/464.49 c 464s | 18 | 6882724 | 378452 | 11104 82 | 1 | 1 466.40/466.56 c 466s | 18 | 6895308 | 380052 | 11104 83 | 1 | 1 468.49/468.64 c 468s | 18 | 6906936 | 381552 | 11104 83 | 1 | 1 470.59/470.71 c 470s | 18 | 6915076 | 382952 | 11104 83 | 1 | 1 472.68/472.85 c 472s | 18 | 6926497 | 384552 | 11104 83 | 1 | 1 474.78/474.94 c 474s | 18 | 6935945 | 386252 | 11104 84 | 1 | 1 476.78/476.98 c 476s | 18 | 6946497 | 388152 | 11104 84 | 1 | 1 478.88/479.03 c 478s | 18 | 6952615 | 389852 | 11104 84 | 1 | 1 480.98/481.18 c 481s | 18 | 6960492 | 391252 | 11104 85 | 1 | 1 483.08/483.27 c 483s | 18 | 6970834 | 392752 | 11104 85 | 1 | 1 485.28/485.45 c 485s | 18 | 6990738 | 394352 | 11104 85 | 1 | 1 487.29/487.46 c 487s | 18 | 7014557 | 395752 | 11104 85 | 1 | 1 489.28/489.46 c 489s | 18 | 7033596 | 397052 | 11104 86 | 1 | 1 491.38/491.57 c 491s | 18 | 7053194 | 398452 | 11104 86 | 1 | 1 493.78/493.94 c 493s | 18 | 7076895 | 399652 | 11104 86 | 1 | 1 495.87/496.04 c 495s | 18 | 7100319 | 400852 | 11104 86 | 1 | 1 497.87/498.05 c 497s | 18 | 7137531 | 402552 | 11104 87 | 1 | 1 499.97/500.12 c 500s | 18 | 7173620 | 404152 | 11104 87 | 1 | 1 502.07/502.20 c 502s | 18 | 7193654 | 405752 | 11104 87 | 1 | 1 504.07/504.23 c 504s | 18 | 7223036 | 407152 | 11104 88 | 1 | 1 506.17/506.30 c 506s | 18 | 7233262 | 408452 | 11104 88 | 1 | 1 508.18/508.33 c 508s | 18 | 7247345 | 409752 | 11104 88 | 1 | 1 510.17/510.37 c 510s | 18 | 7273113 | 411152 | 11104 88 | 1 | 1 512.27/512.41 c 512s | 18 | 7293996 | 412252 | 11104 88 | 1 | 1 514.27/514.46 c 514s | 18 | 7311177 | 413552 | 11104 89 | 1 | 1 516.37/516.56 c 516s | 18 | 7344469 | 415352 | 11104 89 | 1 | 1 518.47/518.69 c 518s | 18 | 7370986 | 416952 | 11104 89 | 1 | 1 520.66/520.86 c 520s | 18 | 7394836 | 418452 | 11104 90 | 1 | 1 522.67/522.88 c 522s | 18 | 7411104 | 419852 | 11104 90 | 1 | 1 524.77/524.92 c 524s | 18 | 7443674 | 421252 | 11104 90 | 1 | 1 526.88/527.02 c 526s | 18 | 7467182 | 423052 | 11104 90 | 1 | 1 528.87/529.06 c 528s | 18 | 7494444 | 424752 | 11104 91 | 1 | 1 530.97/531.19 c 531s | 18 | 7517918 | 426552 | 11104 91 | 1 | 1 533.06/533.20 c 533s | 18 | 7545334 | 428152 | 11104 91 | 1 | 1 535.06/535.27 c 535s | 18 | 7564813 | 429752 | 11104 92 | 1 | 1 537.06/537.28 c 537s | 18 | 7588270 | 431452 | 11104 92 | 1 | 1 539.16/539.38 c 539s | 18 | 7614047 | 433452 | 11104 92 | 1 | 1 541.36/541.50 c 541s | 18 | 7634980 | 435052 | 11104 92 | 1 | 1 543.37/543.57 c 543s | 18 | 7665817 | 436552 | 11104 93 | 1 | 1 545.36/545.58 c 545s | 18 | 7691513 | 438252 | 11104 93 | 1 | 1 547.46/547.65 c 547s | 18 | 7717526 | 440052 | 11104 93 | 1 | 1 549.46/549.69 c 549s | 18 | 7740934 | 442052 | 12215 94 | 1 | 1 551.56/551.72 c 551s | 18 | 7776074 | 444052 | 12215 94 | 1 | 1 551.96/552.19 c 552s | 19 | 7780216 | 444482 | 12215 94 | 1 | 1 554.15/554.36 c 554s | 19 | 7792317 | 445082 | 12215 94 | 1 | 1 556.25/556.42 c 556s | 19 | 7835060 | 446782 | 12215 94 | 1 | 1 558.25/558.47 c 558s | 19 | 7863394 | 448182 | 12215 95 | 1 | 1 560.35/560.52 c 560s | 19 | 7883383 | 449482 | 12215 95 | 1 | 1 562.45/562.61 c 562s | 19 | 7917475 | 450982 | 12215 95 | 1 | 1 564.45/564.66 c 564s | 19 | 7953542 | 452482 | 12215 95 | 1 | 1 566.55/566.79 c 566s | 19 | 7981197 | 454082 | 12215 96 | 1 | 1 568.65/568.84 c 568s | 19 | 8013409 | 455682 | 12215 96 | 1 | 1 570.65/570.85 c 570s | 19 | 8060787 | 457482 | 12215 96 | 1 | 1 572.64/572.90 c 572s | 19 | 8102268 | 458882 | 12215 96 | 1 | 1 574.74/574.90 c 574s | 19 | 8140255 | 460382 | 12215 97 | 1 | 1 576.74/576.97 c 576s | 19 | 8157411 | 461882 | 12215 97 | 1 | 1 578.84/579.00 c 578s | 19 | 8199676 | 463682 | 12215 97 | 1 | 1 580.84/581.07 c 580s | 19 | 8237170 | 465182 | 12215 97 | 1 | 1 582.84/583.09 c 582s | 19 | 8255917 | 466582 | 12215 98 | 1 | 1 584.94/585.18 c 585s | 19 | 8278562 | 467982 | 12215 98 | 1 | 1 587.14/587.31 c 587s | 19 | 8298487 | 469382 | 12215 98 | 1 | 1 589.13/589.37 c 589s | 19 | 8318592 | 470882 | 12215 98 | 1 | 1 591.33/591.51 c 591s | 19 | 8338532 | 472482 | 12215 98 | 1 | 1 593.33/593.52 c 593s | 19 | 8360054 | 473782 | 12215 99 | 1 | 1 595.33/595.59 c 595s | 19 | 8387353 | 475582 | 12215 99 | 1 | 1 597.53/597.70 c 597s | 19 | 8403496 | 477182 | 12215 99 | 1 | 1 599.63/599.81 c 599s | 19 | 8413560 | 478682 | 12215 99 | 1 | 1 601.73/601.90 c 601s | 19 | 8419072 | 480282 | 12215 100 | 1 | 1 603.73/603.92 c 603s | 19 | 8423757 | 481682 | 12215 100 | 1 | 1 605.83/606.04 c 605s | 19 | 8438345 | 483382 | 12215 100 | 1 | 1 607.83/608.06 c 607s | 19 | 8478222 | 485182 | 12215 101 | 1 | 1 610.34/610.50 c 610s | 19 | 8506271 | 486182 | 12215 101 | 1 | 1 612.33/612.52 c 612s | 19 | 8527030 | 487582 | 12215 101 | 1 | 1 614.43/614.62 c 614s | 19 | 8577951 | 489682 | 12215 101 | 1 | 1 616.53/616.72 c 616s | 19 | 8620951 | 491382 | 12215 102 | 1 | 1 618.53/618.79 c 618s | 19 | 8654602 | 493182 | 12215 102 | 1 | 1 620.63/620.85 c 620s | 19 | 8681865 | 494582 | 12215 102 | 1 | 1 622.73/622.96 c 622s | 19 | 8715354 | 496082 | 12215 102 | 1 | 1 624.83/625.02 c 624s | 19 | 8738536 | 497582 | 12215 103 | 1 | 1 626.83/627.09 c 626s | 19 | 8748668 | 498982 | 12215 103 | 1 | 1 628.92/629.13 c 629s | 19 | 8761699 | 500482 | 12215 103 | 1 | 1 631.02/631.20 c 631s | 19 | 8781519 | 501982 | 12215 103 | 1 | 1 633.02/633.27 c 633s | 19 | 8790842 | 503282 | 12215 103 | 1 | 1 635.12/635.34 c 635s | 19 | 8806195 | 504782 | 12215 104 | 1 | 1 637.12/637.37 c 637s | 19 | 8819024 | 506182 | 12215 104 | 1 | 1 639.22/639.40 c 639s | 19 | 8830997 | 507682 | 12215 104 | 1 | 1 641.23/641.42 c 641s | 19 | 8841591 | 509082 | 12215 104 | 1 | 1 643.33/643.53 c 643s | 19 | 8849371 | 510382 | 12215 105 | 1 | 1 645.42/645.67 c 645s | 19 | 8852147 | 511582 | 12215 105 | 1 | 1 647.52/647.76 c 647s | 19 | 8854058 | 512782 | 12215 105 | 1 | 1 649.61/649.80 c 649s | 19 | 8868368 | 513782 | 12215 105 | 1 | 1 651.61/651.88 c 651s | 19 | 8900137 | 515182 | 12215 105 | 1 | 1 653.71/653.92 c 653s | 19 | 8918852 | 516782 | 12215 106 | 1 | 1 655.81/656.01 c 655s | 19 | 8949329 | 518582 | 12215 106 | 1 | 1 657.91/658.16 c 658s | 19 | 8973299 | 520282 | 12215 106 | 1 | 1 660.01/660.26 c 660s | 19 | 9016516 | 521882 | 12215 106 | 1 | 1 662.11/662.32 c 662s | 19 | 9045256 | 523582 | 12215 107 | 1 | 1 664.11/664.33 c 664s | 19 | 9082441 | 525082 | 12215 107 | 1 | 1 666.20/666.41 c 666s | 19 | 9105862 | 526982 | 12215 107 | 1 | 1 668.40/668.60 c 668s | 19 | 9125605 | 528682 | 12215 108 | 1 | 1 670.50/670.70 c 670s | 19 | 9145894 | 530382 | 12215 108 | 1 | 1 672.50/672.72 c 672s | 19 | 9160723 | 531982 | 12215 108 | 1 | 1 674.60/674.83 c 674s | 19 | 9176339 | 533782 | 12215 108 | 1 | 1 676.70/676.91 c 676s | 19 | 9208791 | 535682 | 12215 109 | 1 | 1 678.70/678.94 c 678s | 19 | 9234683 | 537282 | 12215 109 | 1 | 1 680.80/681.02 c 680s | 19 | 9269008 | 538982 | 12215 109 | 1 | 1 682.79/683.05 c 682s | 19 | 9292080 | 540582 | 12215 109 | 1 | 1 684.89/685.11 c 684s | 19 | 9306405 | 542182 | 12215 110 | 1 | 1 686.99/687.21 c 687s | 19 | 9328692 | 543882 | 12215 110 | 1 | 1 688.99/689.29 c 689s | 19 | 9354661 | 545582 | 12215 110 | 1 | 1 691.29/691.54 c 691s | 19 | 9370396 | 547382 | 12215 111 | 1 | 1 693.29/693.55 c 693s | 19 | 9399178 | 549282 | 12215 111 | 1 | 1 695.29/695.55 c 695s | 19 | 9415624 | 550682 | 12215 111 | 1 | 1 697.39/697.60 c 697s | 19 | 9441955 | 552482 | 12215 111 | 1 | 1 699.40/699.69 c 699s | 19 | 9454424 | 554082 | 12215 112 | 1 | 1 701.49/701.75 c 701s | 19 | 9465388 | 555682 | 12215 112 | 1 | 1 703.59/703.86 c 703s | 19 | 9469635 | 557282 | 12215 112 | 1 | 1 706.09/706.36 c 706s | 19 | 9487805 | 558882 | 12215 112 | 1 | 1 708.19/708.44 c 708s | 19 | 9509601 | 560082 | 12215 113 | 1 | 1 710.28/710.53 c 710s | 19 | 9536445 | 561682 | 12215 113 | 1 | 1 712.28/712.55 c 712s | 19 | 9567493 | 563482 | 12215 113 | 1 | 1 714.38/714.68 c 714s | 19 | 9600993 | 565082 | 12215 113 | 1 | 1 716.48/716.75 c 716s | 19 | 9619224 | 566482 | 12215 114 | 1 | 1 718.58/718.83 c 718s | 19 | 9646327 | 568282 | 12215 114 | 1 | 1 720.68/720.90 c 720s | 19 | 9674582 | 569982 | 12215 114 | 1 | 1 722.67/722.97 c 722s | 19 | 9690324 | 571382 | 12215 114 | 1 | 1 724.78/725.02 c 724s | 19 | 9707955 | 573082 | 12215 115 | 1 | 1 726.88/727.12 c 727s | 19 | 9730540 | 574882 | 12215 115 | 1 | 1 728.97/729.24 c 729s | 19 | 9752269 | 576682 | 12215 115 | 1 | 1 731.07/731.36 c 731s | 19 | 9766115 | 578282 | 12215 115 | 1 | 1 733.08/733.37 c 733s | 19 | 9776036 | 579782 | 12215 116 | 1 | 1 735.18/735.41 c 735s | 19 | 9785203 | 581282 | 12215 116 | 1 | 1 737.28/737.56 c 737s | 19 | 9795357 | 582782 | 12215 116 | 1 | 1 739.48/739.72 c 739s | 19 | 9814954 | 584482 | 12215 116 | 1 | 1 741.57/741.81 c 741s | 19 | 9839898 | 585682 | 12215 117 | 1 | 1 743.57/743.85 c 743s | 19 | 9867825 | 587382 | 12215 117 | 1 | 1 745.57/745.88 c 745s | 19 | 9890544 | 588882 | 12215 117 | 1 | 1 747.57/747.88 c 747s | 19 | 9916275 | 590682 | 12215 117 | 1 | 1 749.67/749.98 c 749s | 19 | 9963692 | 592482 | 12215 118 | 1 | 1 751.67/752.00 c 751s | 19 | 9996104 | 594482 | 12215 118 | 1 | 1 753.76/754.10 c 753s | 19 | 10015583 | 596082 | 12215 118 | 1 | 1 755.86/756.11 c 755s | 19 | 10026704 | 597382 | 12215 119 | 1 | 1 757.86/758.17 c 758s | 19 | 10060630 | 599382 | 12215 119 | 1 | 1 760.06/760.31 c 760s | 19 | 10089010 | 601082 | 12215 119 | 1 | 1 762.07/762.32 c 762s | 19 | 10104754 | 602582 | 12215 119 | 1 | 1 764.06/764.40 c 764s | 19 | 10125789 | 603982 | 12215 120 | 1 | 1 766.16/766.47 c 766s | 19 | 10146504 | 605882 | 12215 120 | 1 | 1 768.26/768.53 c 768s | 19 | 10171269 | 607782 | 12215 120 | 1 | 1 770.36/770.63 c 770s | 19 | 10194002 | 609482 | 12215 120 | 1 | 1 772.35/772.67 c 772s | 19 | 10210686 | 611082 | 12215 121 | 1 | 1 774.35/774.69 c 774s | 19 | 10237837 | 612882 | 12215 121 | 1 | 1 776.55/776.86 c 776s | 19 | 10256794 | 614682 | 12215 121 | 1 | 1 778.56/778.89 c 778s | 19 | 10274141 | 616282 | 12215 122 | 1 | 1 780.65/780.94 c 780s | 19 | 10291819 | 618082 | 12215 122 | 1 | 1 782.65/782.98 c 782s | 19 | 10310194 | 619882 | 12215 122 | 1 | 1 784.75/785.04 c 784s | 19 | 10318090 | 621682 | 12215 122 | 1 | 1 786.85/787.13 c 787s | 19 | 10322379 | 622482 | 12215 123 | 1 | 1 788.85/789.15 c 789s | 19 | 10350567 | 624182 | 12215 123 | 1 | 1 790.85/791.16 c 791s | 19 | 10388003 | 625882 | 12215 123 | 1 | 1 792.95/793.26 c 793s | 19 | 10414276 | 627582 | 12215 123 | 1 | 1 795.05/795.35 c 795s | 19 | 10445260 | 629382 | 12215 124 | 1 | 1 797.04/797.38 c 797s | 19 | 10469476 | 631182 | 12215 124 | 1 | 1 799.14/799.47 c 799s | 19 | 10503681 | 633182 | 12215 124 | 1 | 1 801.14/801.49 c 801s | 19 | 10521965 | 634882 | 12215 125 | 1 | 1 803.23/803.58 c 803s | 19 | 10551955 | 636882 | 12215 125 | 1 | 1 805.43/805.70 c 805s | 19 | 10571400 | 638682 | 12215 125 | 1 | 1 807.43/807.73 c 807s | 19 | 10596466 | 640482 | 12215 125 | 1 | 1 809.53/809.82 c 809s | 19 | 10614997 | 642182 | 12215 126 | 1 | 1 811.54/811.89 c 811s | 19 | 10628730 | 643982 | 12215 126 | 1 | 1 813.63/813.98 c 813s | 19 | 10638336 | 645682 | 12215 126 | 1 | 1 815.73/816.06 c 815s | 19 | 10651727 | 647282 | 12215 127 | 1 | 1 817.83/818.14 c 818s | 19 | 10674746 | 648482 | 12215 127 | 1 | 1 819.93/820.25 c 820s | 19 | 10702136 | 650282 | 12215 127 | 1 | 1 822.03/822.33 c 822s | 19 | 10738022 | 652182 | 12215 127 | 1 | 1 824.13/824.45 c 824s | 19 | 10760544 | 653782 | 12215 128 | 1 | 1 826.23/826.59 c 826s | 19 | 10772881 | 655182 | 12215 128 | 1 | 1 828.43/828.73 c 828s | 19 | 10795412 | 656882 | 12215 128 | 1 | 1 830.43/830.74 c 830s | 19 | 10821916 | 658482 | 12215 128 | 1 | 1 832.43/832.79 c 832s | 19 | 10834242 | 659982 | 12215 129 | 1 | 1 834.52/834.84 c 834s | 19 | 10840393 | 661382 | 12215 129 | 1 | 1 836.62/836.92 c 836s | 19 | 10843906 | 662482 | 13437 129 | 1 | 1 838.72/839.06 c 838s | 19 | 10847927 | 663682 | 13437 129 | 1 | 1 840.82/841.18 c 841s | 19 | 10853666 | 665082 | 13437 129 | 1 | 1 842.92/843.26 c 843s | 19 | 10857816 | 666182 | 13437 129 | 1 | 1 843.72/844.06 c 843s | 20 | 10870620 | 666827 | 13437 129 | 1 | 1 845.92/846.20 c 846s | 20 | 10884808 | 667227 | 13437 130 | 1 | 1 848.12/848.40 c 848s | 20 | 10903854 | 668427 | 13437 130 | 1 | 1 850.12/850.48 c 850s | 20 | 10927654 | 669627 | 13437 130 | 1 | 1 852.22/852.51 c 852s | 20 | 10951583 | 670927 | 13437 130 | 1 | 1 854.31/854.62 c 854s | 20 | 10971734 | 672427 | 13437 130 | 1 | 1 856.41/856.76 c 856s | 20 | 10996396 | 673627 | 13437 131 | 1 | 1 858.51/858.88 c 858s | 20 | 11026322 | 675027 | 13437 131 | 1 | 1 860.51/860.89 c 860s | 20 | 11037986 | 676327 | 13437 131 | 1 | 1 862.60/862.96 c 862s | 20 | 11058187 | 677827 | 13437 131 | 1 | 1 864.60/864.98 c 864s | 20 | 11078237 | 679527 | 13437 131 | 1 | 1 866.70/867.09 c 866s | 20 | 11099345 | 681027 | 13437 132 | 1 | 1 868.81/869.12 c 869s | 20 | 11129848 | 682727 | 13437 132 | 1 | 1 870.80/871.18 c 871s | 20 | 11146067 | 684427 | 13437 132 | 1 | 1 873.00/873.30 c 873s | 20 | 11161627 | 685827 | 13437 132 | 1 | 1 875.00/875.35 c 875s | 20 | 11186443 | 687127 | 13437 132 | 1 | 1 877.10/877.40 c 877s | 20 | 11211818 | 688627 | 13437 133 | 1 | 1 879.20/879.50 c 879s | 20 | 11240722 | 690127 | 13437 133 | 1 | 1 881.30/881.61 c 881s | 20 | 11260948 | 691627 | 13437 133 | 1 | 1 883.29/883.62 c 883s | 20 | 11282868 | 693027 | 13437 133 | 1 | 1 885.30/885.66 c 885s | 20 | 11296423 | 694327 | 13437 133 | 1 | 1 887.29/887.68 c 887s | 20 | 11308739 | 695927 | 13437 134 | 1 | 1 889.49/889.80 c 889s | 20 | 11326045 | 697827 | 13437 134 | 1 | 1 891.49/891.82 c 891s | 20 | 11338976 | 699527 | 13437 134 | 1 | 1 893.59/893.96 c 893s | 20 | 11359135 | 700927 | 13437 134 | 1 | 1 895.69/896.01 c 895s | 20 | 11382544 | 702227 | 13437 135 | 1 | 1 897.69/898.08 c 897s | 20 | 11411804 | 703927 | 13437 135 | 1 | 1 899.79/900.10 c 899s | 20 | 11442673 | 705427 | 13437 135 | 1 | 1 901.79/902.19 c 902s | 20 | 11467243 | 706827 | 13437 135 | 1 | 1 903.89/904.24 c 904s | 20 | 11496460 | 708327 | 13437 136 | 1 | 1 905.98/906.32 c 906s | 20 | 11523980 | 709927 | 13437 136 | 1 | 1 908.08/908.45 c 908s | 20 | 11537591 | 711527 | 13437 136 | 1 | 1 910.18/910.53 c 910s | 20 | 11557107 | 713027 | 13437 136 | 1 | 1 912.18/912.54 c 912s | 20 | 11573122 | 714327 | 13437 136 | 1 | 1 914.18/914.59 c 914s | 20 | 11580918 | 715627 | 13437 137 | 1 | 1 916.29/916.63 c 916s | 20 | 11619423 | 716827 | 13437 137 | 1 | 1 918.29/918.65 c 918s | 20 | 11644327 | 718627 | 13437 137 | 1 | 1 920.39/920.72 c 920s | 20 | 11676802 | 720027 | 13437 137 | 1 | 1 922.48/922.87 c 922s | 20 | 11700406 | 721327 | 13437 137 | 1 | 1 924.58/924.96 c 924s | 20 | 11724754 | 722627 | 13437 138 | 1 | 1 926.68/927.01 c 926s | 20 | 11746316 | 724027 | 13437 138 | 1 | 1 928.68/929.03 c 928s | 20 | 11778966 | 725527 | 13437 138 | 1 | 1 930.78/931.10 c 930s | 20 | 11811278 | 727127 | 13437 138 | 1 | 1 932.87/933.20 c 933s | 20 | 11831353 | 728427 | 13437 139 | 1 | 1 934.97/935.30 c 935s | 20 | 11857632 | 730227 | 13437 139 | 1 | 1 936.98/937.33 c 937s | 20 | 11870233 | 731927 | 13437 139 | 1 | 1 938.97/939.37 c 939s | 20 | 11878595 | 733627 | 13437 139 | 1 | 1 941.17/941.59 c 941s | 20 | 11900554 | 735127 | 13437 140 | 1 | 1 943.27/943.60 c 943s | 20 | 11919915 | 736527 | 13437 140 | 1 | 1 945.37/945.70 c 945s | 20 | 11942198 | 737927 | 13437 140 | 1 | 1 947.37/947.76 c 947s | 20 | 11965940 | 739727 | 13437 140 | 1 | 1 949.46/949.80 c 949s | 20 | 12000355 | 741327 | 13437 140 | 1 | 1 951.46/951.85 c 951s | 20 | 12038121 | 742927 | 13437 141 | 1 | 1 953.47/953.87 c 953s | 20 | 12072519 | 744627 | 13437 141 | 1 | 1 955.57/955.95 c 955s | 20 | 12096702 | 746427 | 13437 141 | 1 | 1 957.66/958.02 c 957s | 20 | 12113418 | 748327 | 13437 141 | 1 | 1 959.76/960.11 c 959s | 20 | 12129080 | 750027 | 13437 142 | 1 | 1 961.86/962.25 c 962s | 20 | 12146630 | 751527 | 13437 142 | 1 | 1 963.86/964.27 c 964s | 20 | 12163339 | 753027 | 13437 142 | 1 | 1 966.06/966.43 c 966s | 20 | 12191963 | 754127 | 13437 142 | 1 | 1 968.06/968.47 c 968s | 20 | 12234335 | 755427 | 13437 142 | 1 | 1 970.15/970.54 c 970s | 20 | 12263262 | 756927 | 13437 143 | 1 | 1 972.25/972.64 c 972s | 20 | 12314937 | 758627 | 13437 143 | 1 | 1 974.26/974.68 c 974s | 20 | 12361487 | 760327 | 13437 143 | 1 | 1 976.35/976.75 c 976s | 20 | 12407409 | 761927 | 13437 143 | 1 | 1 978.45/978.81 c 978s | 20 | 12458992 | 763927 | 13437 144 | 1 | 1 980.45/980.85 c 980s | 20 | 12507768 | 765627 | 13437 144 | 1 | 1 982.55/982.95 c 982s | 20 | 12567506 | 767627 | 13437 144 | 1 | 1 984.65/985.03 c 984s | 20 | 12593367 | 769127 | 13437 144 | 1 | 1 986.75/987.10 c 986s | 20 | 12617751 | 770827 | 13437 145 | 1 | 1 988.75/989.19 c 989s | 20 | 12651829 | 772527 | 13437 145 | 1 | 1 990.85/991.27 c 991s | 20 | 12673891 | 774327 | 13437 145 | 1 | 1 993.05/993.43 c 993s | 20 | 12713258 | 776027 | 13437 146 | 1 | 1 995.04/995.44 c 995s | 20 | 12744834 | 777827 | 13437 146 | 1 | 1 997.04/997.45 c 997s | 20 | 12764365 | 779527 | 13437 146 | 1 | 1 999.04/999.49 c 999s | 20 | 12781221 | 781127 | 13437 146 | 1 | 1 1001.14/1001.56 c 1001s | 20 | 12818733 | 782827 | 13437 146 | 1 | 1 1003.24/1003.65 c 1003s | 20 | 12845056 | 784627 | 13437 147 | 1 | 1 1005.24/1005.67 c 1005s | 20 | 12870687 | 786427 | 13437 147 | 1 | 1 1007.35/1007.77 c 1007s | 20 | 12896114 | 788127 | 13437 147 | 1 | 1 1009.34/1009.78 c 1009s | 20 | 12913947 | 789727 | 13437 148 | 1 | 1 1011.44/1011.81 c 1011s | 20 | 12936056 | 791427 | 13437 148 | 1 | 1 1013.44/1013.87 c 1013s | 20 | 12958788 | 793327 | 13437 148 | 1 | 1 1015.54/1015.95 c 1015s | 20 | 12967907 | 794927 | 13437 148 | 1 | 1 1017.74/1018.17 c 1018s | 20 | 12985646 | 795927 | 13437 148 | 1 | 1 1019.84/1020.22 c 1020s | 20 | 12994930 | 796927 | 13437 149 | 1 | 1 1021.83/1022.27 c 1022s | 20 | 13011067 | 798227 | 13437 149 | 1 | 1 1023.94/1024.36 c 1024s | 20 | 13040857 | 799827 | 13437 149 | 1 | 1 1026.05/1026.45 c 1026s | 20 | 13058645 | 801427 | 13437 149 | 1 | 1 1028.15/1028.55 c 1028s | 20 | 13102026 | 803027 | 13437 149 | 1 | 1 1030.35/1030.71 c 1030s | 20 | 13118887 | 804427 | 13437 150 | 1 | 1 1032.34/1032.78 c 1032s | 20 | 13163273 | 806227 | 13437 150 | 1 | 1 1034.44/1034.86 c 1034s | 20 | 13186689 | 807627 | 13437 150 | 1 | 1 1036.44/1036.89 c 1036s | 20 | 13222505 | 809427 | 13437 150 | 1 | 1 1038.54/1038.95 c 1038s | 20 | 13238844 | 811027 | 13437 151 | 1 | 1 1040.64/1041.01 c 1040s | 20 | 13260994 | 812827 | 13437 151 | 1 | 1 1042.74/1043.10 c 1042s | 20 | 13274648 | 814227 | 13437 151 | 1 | 1 1044.75/1045.15 c 1045s | 20 | 13291722 | 816027 | 13437 151 | 1 | 1 1046.85/1047.26 c 1047s | 20 | 13300220 | 817527 | 13437 152 | 1 | 1 1048.94/1049.36 c 1049s | 20 | 13323541 | 819327 | 13437 152 | 1 | 1 1051.04/1051.45 c 1051s | 20 | 13347492 | 821027 | 13437 152 | 1 | 1 1053.14/1053.55 c 1053s | 20 | 13376677 | 822627 | 13437 152 | 1 | 1 1055.24/1055.66 c 1055s | 20 | 13392864 | 824027 | 13437 153 | 1 | 1 1057.24/1057.68 c 1057s | 20 | 13421851 | 825227 | 13437 153 | 1 | 1 1059.34/1059.76 c 1059s | 20 | 13473564 | 827227 | 13437 153 | 1 | 1 1061.43/1061.80 c 1061s | 20 | 13508558 | 828827 | 13437 153 | 1 | 1 1063.53/1063.91 c 1063s | 20 | 13553734 | 830627 | 13437 154 | 1 | 1 1065.54/1065.93 c 1065s | 20 | 13593401 | 832427 | 13437 154 | 1 | 1 1067.53/1067.94 c 1067s | 20 | 13645012 | 834327 | 13437 154 | 1 | 1 1069.53/1069.96 c 1069s | 20 | 13681470 | 836027 | 13437 154 | 1 | 1 1071.63/1072.07 c 1071s | 20 | 13707150 | 837527 | 13437 155 | 1 | 1 1073.63/1074.08 c 1073s | 20 | 13738862 | 839327 | 13437 155 | 1 | 1 1075.73/1076.18 c 1076s | 20 | 13766857 | 841027 | 13437 155 | 1 | 1 1077.74/1078.19 c 1078s | 20 | 13797703 | 842727 | 13437 155 | 1 | 1 1079.84/1080.26 c 1080s | 20 | 13817490 | 844127 | 13437 155 | 1 | 1 1082.04/1082.41 c 1082s | 20 | 13832242 | 845427 | 13437 156 | 1 | 1 1084.03/1084.49 c 1084s | 20 | 13845222 | 847127 | 13437 156 | 1 | 1 1086.23/1086.60 c 1086s | 20 | 13853957 | 848627 | 13437 156 | 1 | 1 1088.23/1088.63 c 1088s | 20 | 13869778 | 850327 | 13437 156 | 1 | 1 1090.33/1090.73 c 1090s | 20 | 13879684 | 851827 | 13437 157 | 1 | 1 1092.43/1092.80 c 1092s | 20 | 13898825 | 853027 | 13437 157 | 1 | 1 1094.43/1094.86 c 1094s | 20 | 13923699 | 854427 | 13437 157 | 1 | 1 1096.53/1096.94 c 1096s | 20 | 13946817 | 856027 | 13437 157 | 1 | 1 1098.54/1098.95 c 1098s | 20 | 13974041 | 857727 | 13437 157 | 1 | 1 1100.63/1101.02 c 1100s | 20 | 13996544 | 859127 | 13437 158 | 1 | 1 1102.73/1103.13 c 1103s | 20 | 14007248 | 860527 | 13437 158 | 1 | 1 1104.73/1105.17 c 1105s | 20 | 14022753 | 862027 | 13437 158 | 1 | 1 1106.73/1107.19 c 1107s | 20 | 14035486 | 863527 | 13437 158 | 1 | 1 1108.93/1109.39 c 1109s | 20 | 14046948 | 865027 | 13437 159 | 1 | 1 1111.03/1111.43 c 1111s | 20 | 14057011 | 866527 | 13437 159 | 1 | 1 1113.02/1113.47 c 1113s | 20 | 14074682 | 867727 | 13437 159 | 1 | 1 1115.13/1115.53 c 1115s | 20 | 14110242 | 869527 | 13437 159 | 1 | 1 1117.12/1117.59 c 1117s | 20 | 14127260 | 870927 | 13437 159 | 1 | 1 1119.22/1119.69 c 1119s | 20 | 14145048 | 872427 | 13437 160 | 1 | 1 1121.42/1121.84 c 1121s | 20 | 14175828 | 874127 | 13437 160 | 1 | 1 1123.42/1123.87 c 1123s | 20 | 14204481 | 875727 | 13437 160 | 1 | 1 1125.52/1125.97 c 1125s | 20 | 14228360 | 877327 | 13437 160 | 1 | 1 1127.52/1127.98 c 1127s | 20 | 14247976 | 878827 | 13437 161 | 1 | 1 1129.52/1129.98 c 1129s | 20 | 14261165 | 880227 | 13437 161 | 1 | 1 1131.63/1132.08 c 1131s | 20 | 14287231 | 881927 | 13437 161 | 1 | 1 1133.73/1134.11 c 1133s | 20 | 14314092 | 883527 | 13437 161 | 1 | 1 1135.72/1136.11 c 1135s | 20 | 14334316 | 885127 | 13437 161 | 1 | 1 1137.72/1138.13 c 1138s | 20 | 14348853 | 886427 | 13437 162 | 1 | 1 1139.82/1140.20 c 1140s | 20 | 14361896 | 888027 | 13437 162 | 1 | 1 1141.92/1142.36 c 1142s | 20 | 14364454 | 889327 | 13437 162 | 1 | 1 1144.02/1144.44 c 1144s | 20 | 14377302 | 890627 | 13437 162 | 1 | 1 1146.02/1146.44 c 1146s | 20 | 14386511 | 891627 | 13437 162 | 1 | 1 1148.32/1148.70 c 1148s | 20 | 14405933 | 893027 | 13437 163 | 1 | 1 1150.32/1150.73 c 1150s | 20 | 14427899 | 894527 | 13437 163 | 1 | 1 1152.32/1152.75 c 1152s | 20 | 14448777 | 896127 | 13437 163 | 1 | 1 1154.42/1154.87 c 1154s | 20 | 14458198 | 897327 | 13437 163 | 1 | 1 1156.42/1156.90 c 1156s | 20 | 14467319 | 898527 | 13437 163 | 1 | 1 1158.52/1158.96 c 1158s | 20 | 14485497 | 900027 | 13437 164 | 1 | 1 1160.62/1161.03 c 1160s | 20 | 14501727 | 901827 | 13437 164 | 1 | 1 1162.72/1163.10 c 1162s | 20 | 14512391 | 903427 | 13437 164 | 1 | 1 1164.72/1165.15 c 1165s | 20 | 14520007 | 904827 | 13437 164 | 1 | 1 1166.72/1167.20 c 1167s | 20 | 14539126 | 906127 | 13437 165 | 1 | 1 1168.81/1169.29 c 1169s | 20 | 14561468 | 907727 | 13437 165 | 1 | 1 1170.91/1171.39 c 1171s | 20 | 14583830 | 909327 | 13437 165 | 1 | 1 1173.01/1173.43 c 1173s | 20 | 14601275 | 910827 | 13437 165 | 1 | 1 1175.01/1175.48 c 1175s | 20 | 14618838 | 912427 | 13437 165 | 1 | 1 1177.21/1177.60 c 1177s | 20 | 14631748 | 914027 | 13437 166 | 1 | 1 1179.31/1179.74 c 1179s | 20 | 14644034 | 915727 | 13437 166 | 1 | 1 1181.31/1181.77 c 1181s | 20 | 14657261 | 917227 | 13437 166 | 1 | 1 1183.51/1183.92 c 1183s | 20 | 14666836 | 918627 | 13437 166 | 1 | 1 1185.52/1185.99 c 1185s | 20 | 14680271 | 920027 | 13437 167 | 1 | 1 1187.62/1188.02 c 1187s | 20 | 14693728 | 921727 | 13437 167 | 1 | 1 1189.71/1190.19 c 1190s | 20 | 14702616 | 923127 | 13437 167 | 1 | 1 1191.81/1192.22 c 1192s | 20 | 14708446 | 924327 | 13437 167 | 1 | 1 1193.81/1194.25 c 1194s | 20 | 14724406 | 925727 | 13437 167 | 1 | 1 1195.91/1196.32 c 1196s | 20 | 14739986 | 927227 | 13437 168 | 1 | 1 1198.01/1198.41 c 1198s | 20 | 14747671 | 928527 | 13437 168 | 1 | 1 1200.11/1200.57 c 1200s | 20 | 14759503 | 929827 | 13437 168 | 1 | 1 1202.21/1202.63 c 1202s | 20 | 14765793 | 931127 | 13437 168 | 1 | 1 1204.31/1204.74 c 1204s | 20 | 14771199 | 932427 | 13437 168 | 1 | 1 1206.51/1206.94 c 1206s | 20 | 14773990 | 933627 | 13437 169 | 1 | 1 1208.51/1208.99 c 1208s | 20 | 14785169 | 935127 | 13437 169 | 1 | 1 1210.61/1211.06 c 1210s | 20 | 14791572 | 936627 | 13437 169 | 1 | 1 1212.71/1213.11 c 1212s | 20 | 14799460 | 938027 | 13437 169 | 1 | 1 1214.71/1215.19 c 1215s | 20 | 14813860 | 939627 | 13437 169 | 1 | 1 1216.91/1217.31 c 1217s | 20 | 14822701 | 941027 | 13437 170 | 1 | 1 1218.90/1219.39 c 1219s | 20 | 14826805 | 942427 | 13437 170 | 1 | 1 1221.10/1221.51 c 1221s | 20 | 14833029 | 943927 | 13437 170 | 1 | 1 1223.10/1223.58 c 1223s | 20 | 14835608 | 945127 | 13437 170 | 1 | 1 1225.30/1225.70 c 1225s | 20 | 14841459 | 946627 | 13437 170 | 1 | 1 1227.31/1227.70 c 1227s | 20 | 14844711 | 947827 | 13437 171 | 1 | 1 1229.31/1229.79 c 1229s | 20 | 14847822 | 948227 | 13437 171 | 1 | 1 1231.31/1231.79 c 1231s | 20 | 14865475 | 949727 | 13437 171 | 1 | 1 1233.41/1233.87 c 1233s | 20 | 14881707 | 951427 | 13437 171 | 1 | 1 1235.51/1235.97 c 1235s | 20 | 14890387 | 952827 | 13437 171 | 1 | 1 1237.61/1238.07 c 1237s | 20 | 14909954 | 954327 | 13437 172 | 1 | 1 1239.71/1240.14 c 1240s | 20 | 14919741 | 955827 | 13437 172 | 1 | 1 1241.80/1242.26 c 1242s | 20 | 14928851 | 956427 | 13437 172 | 1 | 1 1245.71/1246.14 c 1246s | 20 | 14932463 | 956627 | 13437 172 | 1 | 1 1247.81/1248.25 c 1248s | 20 | 14962581 | 958027 | 13437 172 | 1 | 1 1249.91/1250.36 c 1250s | 20 | 14983041 | 959727 | 13437 172 | 1 | 1 1252.01/1252.47 c 1252s | 20 | 14994148 | 961027 | 13437 173 | 1 | 1 1254.11/1254.50 c 1254s | 20 | 15021131 | 962427 | 13437 173 | 1 | 1 1256.21/1256.62 c 1256s | 20 | 15038985 | 963827 | 13437 173 | 1 | 1 1258.20/1258.66 c 1258s | 20 | 15056684 | 965027 | 13437 173 | 1 | 1 1260.21/1260.68 c 1260s | 20 | 15067375 | 966127 | 13437 173 | 1 | 1 1262.30/1262.73 c 1262s | 20 | 15083299 | 967527 | 13437 173 | 1 | 1 1264.40/1264.87 c 1264s | 20 | 15100983 | 969027 | 13437 174 | 1 | 1 1266.50/1266.91 c 1266s | 20 | 15125372 | 970527 | 13437 174 | 1 | 1 1268.60/1269.07 c 1268s | 20 | 15139333 | 972127 | 13437 174 | 1 | 1 1270.70/1271.11 c 1270s | 20 | 15144868 | 973327 | 13437 174 | 1 | 1 1272.70/1273.16 c 1273s | 20 | 15157269 | 974627 | 13437 174 | 1 | 1 1274.70/1275.17 c 1275s | 20 | 15164337 | 975827 | 13437 175 | 1 | 1 1276.81/1277.25 c 1277s | 20 | 15166458 | 976827 | 13437 175 | 1 | 1 1278.80/1279.29 c 1279s | 20 | 15181394 | 978027 | 13437 175 | 1 | 1 1281.10/1281.52 c 1281s | 20 | 15206642 | 979327 | 13437 175 | 1 | 1 1283.20/1283.60 c 1283s | 20 | 15235147 | 980927 | 13437 175 | 1 | 1 1285.20/1285.64 c 1285s | 20 | 15267672 | 982327 | 13437 176 | 1 | 1 1287.20/1287.67 c 1287s | 20 | 15286396 | 983927 | 13437 176 | 1 | 1 1289.30/1289.73 c 1289s | 20 | 15306933 | 985227 | 13437 176 | 1 | 1 1291.39/1291.87 c 1291s | 20 | 15318743 | 986327 | 13437 176 | 1 | 1 1293.59/1294.03 c 1293s | 20 | 15345822 | 988027 | 13437 176 | 1 | 1 1295.69/1296.18 c 1296s | 20 | 15365245 | 989427 | 13437 177 | 1 | 1 1297.79/1298.24 c 1298s | 20 | 15382002 | 990527 | 13437 177 | 1 | 1 1299.90/1300.31 c 1300s | 20 | 15410663 | 992227 | 13437 177 | 1 | 1 1301.89/1302.35 c 1302s | 20 | 15423731 | 993527 | 14781 177 | 1 | 1 1303.99/1304.45 c 1304s | 20 | 15441958 | 994827 | 14781 177 | 1 | 1 1305.99/1306.47 c 1306s | 20 | 15466256 | 996227 | 14781 177 | 1 | 1 1308.09/1308.55 c 1308s | 20 | 15480498 | 997527 | 14781 178 | 1 | 1 1310.19/1310.61 c 1310s | 20 | 15503294 | 999227 | 14781 178 | 1 | 1 1311.79/1312.26 c 1312s | 21 | 15516480 | 1000345 | 14781 178 | 1 | 1 1313.89/1314.32 c 1314s | 21 | 15524942 | 1001445 | 14781 178 | 1 | 1 1315.99/1316.47 c 1316s | 21 | 15540612 | 1002945 | 14781 178 | 1 | 1 1318.09/1318.52 c 1318s | 21 | 15555827 | 1004245 | 14781 179 | 1 | 1 1320.10/1320.53 c 1320s | 21 | 15558555 | 1005445 | 14781 179 | 1 | 1 1322.10/1322.56 c 1322s | 21 | 15588939 | 1006445 | 14781 179 | 1 | 1 1324.20/1324.65 c 1324s | 21 | 15617612 | 1007745 | 14781 179 | 1 | 1 1326.30/1326.77 c 1326s | 21 | 15642494 | 1009245 | 14781 179 | 1 | 1 1328.50/1328.93 c 1328s | 21 | 15681793 | 1010645 | 14781 179 | 1 | 1 1330.50/1330.97 c 1330s | 21 | 15712345 | 1011845 | 14781 180 | 1 | 1 1332.60/1333.00 c 1332s | 21 | 15749546 | 1013345 | 14781 180 | 1 | 1 1334.80/1335.20 c 1335s | 21 | 15785841 | 1014945 | 14781 180 | 1 | 1 1336.79/1337.21 c 1337s | 21 | 15833614 | 1016245 | 14781 180 | 1 | 1 1338.79/1339.23 c 1339s | 21 | 15875333 | 1017945 | 14781 180 | 1 | 1 1340.89/1341.30 c 1341s | 21 | 15906853 | 1019345 | 14781 181 | 1 | 1 1342.89/1343.38 c 1343s | 21 | 15940457 | 1020645 | 14781 181 | 1 | 1 1345.00/1345.47 c 1345s | 21 | 15964741 | 1022245 | 14781 181 | 1 | 1 1347.20/1347.61 c 1347s | 21 | 15987285 | 1023445 | 14781 181 | 1 | 1 1349.19/1349.69 c 1349s | 21 | 16006777 | 1024645 | 14781 181 | 1 | 1 1351.29/1351.78 c 1351s | 21 | 16039151 | 1026045 | 14781 181 | 1 | 1 1353.49/1353.94 c 1353s | 21 | 16075971 | 1027345 | 14781 182 | 1 | 1 1355.49/1355.94 c 1355s | 21 | 16105373 | 1028745 | 14781 182 | 1 | 1 1357.59/1358.00 c 1357s | 21 | 16116975 | 1030045 | 14781 182 | 1 | 1 1359.69/1360.13 c 1360s | 21 | 16137306 | 1031445 | 14781 182 | 1 | 1 1361.79/1362.25 c 1362s | 21 | 16157205 | 1032745 | 14781 182 | 1 | 1 1363.79/1364.26 c 1364s | 21 | 16172505 | 1034045 | 14781 183 | 1 | 1 1365.89/1366.35 c 1366s | 21 | 16191105 | 1035345 | 14781 183 | 1 | 1 1367.99/1368.48 c 1368s | 21 | 16207684 | 1036745 | 14781 183 | 1 | 1 1370.09/1370.52 c 1370s | 21 | 16219589 | 1037945 | 14781 183 | 1 | 1 1372.19/1372.62 c 1372s | 21 | 16235144 | 1039245 | 14781 183 | 1 | 1 1374.29/1374.77 c 1374s | 21 | 16254700 | 1040645 | 14781 183 | 1 | 1 1376.29/1376.80 c 1376s | 21 | 16272841 | 1041945 | 14781 184 | 1 | 1 1378.39/1378.84 c 1378s | 21 | 16291775 | 1043245 | 14781 184 | 1 | 1 1380.39/1380.85 c 1380s | 21 | 16308615 | 1044645 | 14781 184 | 1 | 1 1382.48/1382.90 c 1382s | 21 | 16330738 | 1046145 | 14781 184 | 1 | 1 1384.59/1385.02 c 1384s | 21 | 16351422 | 1047745 | 14781 184 | 1 | 1 1386.58/1387.09 c 1386s | 21 | 16357744 | 1048945 | 14781 184 | 1 | 1 1388.68/1389.16 c 1389s | 21 | 16366962 | 1050145 | 14781 185 | 1 | 1 1390.88/1391.31 c 1391s | 21 | 16380719 | 1051645 | 14781 185 | 1 | 1 1392.88/1393.33 c 1393s | 21 | 16388185 | 1052945 | 14781 185 | 1 | 1 1394.88/1395.34 c 1395s | 21 | 16395838 | 1054245 | 14781 185 | 1 | 1 1396.98/1397.46 c 1397s | 21 | 16405266 | 1055745 | 14781 185 | 1 | 1 1399.08/1399.54 c 1399s | 21 | 16409889 | 1057145 | 14781 186 | 1 | 1 1401.18/1401.64 c 1401s | 21 | 16428044 | 1058545 | 14781 186 | 1 | 1 1403.48/1403.95 c 1403s | 21 | 16431243 | 1059545 | 14781 186 | 1 | 1 1405.58/1406.06 c 1405s | 21 | 16433641 | 1060545 | 14781 186 | 1 | 1 1407.68/1408.15 c 1408s | 21 | 16465059 | 1062445 | 14781 186 | 1 | 1 1409.79/1410.22 c 1410s | 21 | 16498912 | 1063745 | 14781 186 | 1 | 1 1411.88/1412.34 c 1412s | 21 | 16527967 | 1065345 | 14781 187 | 1 | 1 1413.98/1414.40 c 1414s | 21 | 16567825 | 1067245 | 14781 187 | 1 | 1 1415.98/1416.44 c 1416s | 21 | 16604166 | 1069145 | 14781 187 | 1 | 1 1417.98/1418.48 c 1418s | 21 | 16637015 | 1071045 | 14781 187 | 1 | 1 1420.08/1420.58 c 1420s | 21 | 16660208 | 1072345 | 14781 188 | 1 | 1 1422.18/1422.64 c 1422s | 21 | 16699136 | 1074245 | 14781 188 | 1 | 1 1424.28/1424.73 c 1424s | 21 | 16727534 | 1075845 | 14781 188 | 1 | 1 1426.39/1426.82 c 1426s | 21 | 16764524 | 1077545 | 14781 188 | 1 | 1 1428.38/1428.86 c 1428s | 21 | 16797376 | 1079145 | 14781 189 | 1 | 1 1430.48/1430.95 c 1430s | 21 | 16827498 | 1080545 | 14781 189 | 1 | 1 1432.48/1432.97 c 1432s | 21 | 16860264 | 1082145 | 14781 189 | 1 | 1 1434.58/1435.08 c 1434s | 21 | 16884333 | 1083545 | 14781 189 | 1 | 1 1436.68/1437.12 c 1436s | 21 | 16933128 | 1085245 | 14781 189 | 1 | 1 1438.98/1439.47 c 1439s | 21 | 16953299 | 1086445 | 14781 190 | 1 | 1 1441.07/1441.50 c 1441s | 21 | 16997929 | 1088245 | 14781 190 | 1 | 1 1443.07/1443.51 c 1443s | 21 | 17047365 | 1090145 | 14781 190 | 1 | 1 1445.17/1445.64 c 1445s | 21 | 17080768 | 1091845 | 14781 190 | 1 | 1 1447.28/1447.70 c 1447s | 21 | 17131919 | 1093445 | 14781 190 | 1 | 1 1449.38/1449.81 c 1449s | 21 | 17160909 | 1094745 | 14781 191 | 1 | 1 1451.47/1451.94 c 1451s | 21 | 17195221 | 1096345 | 14781 191 | 1 | 1 1453.47/1453.99 c 1453s | 21 | 17227188 | 1098045 | 14781 191 | 1 | 1 1455.67/1456.12 c 1455s | 21 | 17248314 | 1099845 | 14781 191 | 1 | 1 1457.87/1458.36 c 1458s | 21 | 17269825 | 1101445 | 14781 192 | 1 | 1 1459.97/1460.49 c 1460s | 21 | 17298490 | 1103245 | 14781 192 | 1 | 1 1462.17/1462.60 c 1462s | 21 | 17310858 | 1104845 | 14781 192 | 1 | 1 1464.17/1464.60 c 1464s | 21 | 17318473 | 1106445 | 14781 192 | 1 | 1 1466.17/1466.66 c 1466s | 21 | 17329353 | 1108045 | 14781 192 | 1 | 1 1468.27/1468.70 c 1468s | 21 | 17344992 | 1109545 | 14781 193 | 1 | 1 1470.28/1470.75 c 1470s | 21 | 17370459 | 1111145 | 14781 193 | 1 | 1 1472.37/1472.84 c 1472s | 21 | 17398023 | 1112845 | 14781 193 | 1 | 1 1474.37/1474.87 c 1474s | 21 | 17430865 | 1114645 | 14781 193 | 1 | 1 1476.47/1477.00 c 1476s | 21 | 17452833 | 1116245 | 14781 193 | 1 | 1 1478.57/1479.06 c 1478s | 21 | 17471183 | 1117145 | 14781 194 | 1 | 1 1480.57/1481.07 c 1480s | 21 | 17487975 | 1118545 | 14781 194 | 1 | 1 1482.66/1483.16 c 1483s | 21 | 17526396 | 1119745 | 14781 194 | 1 | 1 1484.76/1485.22 c 1485s | 21 | 17558852 | 1121345 | 14781 194 | 1 | 1 1486.87/1487.32 c 1487s | 21 | 17586510 | 1122945 | 14781 194 | 1 | 1 1488.97/1489.43 c 1489s | 21 | 17622649 | 1124645 | 14781 195 | 1 | 1 1490.96/1491.49 c 1491s | 21 | 17660210 | 1126445 | 14781 195 | 1 | 1 1493.06/1493.51 c 1493s | 21 | 17680303 | 1128045 | 14781 195 | 1 | 1 1495.06/1495.59 c 1495s | 21 | 17703965 | 1129645 | 14781 195 | 1 | 1 1497.16/1497.66 c 1497s | 21 | 17727526 | 1131245 | 14781 195 | 1 | 1 1499.16/1499.67 c 1499s | 21 | 17749000 | 1132845 | 14781 196 | 1 | 1 1501.17/1501.69 c 1501s | 21 | 17768438 | 1134545 | 14781 196 | 1 | 1 1503.27/1503.72 c 1503s | 21 | 17777918 | 1135845 | 14781 196 | 1 | 1 1505.36/1505.85 c 1505s | 21 | 17785523 | 1137245 | 14781 196 | 1 | 1 1507.36/1507.88 c 1507s | 21 | 17792302 | 1138545 | 14781 196 | 1 | 1 1509.36/1509.89 c 1509s | 21 | 17794738 | 1139645 | 14781 197 | 1 | 1 1511.56/1512.00 c 1511s | 21 | 17808937 | 1140945 | 14781 197 | 1 | 1 1513.56/1514.01 c 1513s | 21 | 17828759 | 1142445 | 14781 197 | 1 | 1 1515.56/1516.06 c 1515s | 21 | 17858276 | 1143945 | 14781 197 | 1 | 1 1517.57/1518.09 c 1517s | 21 | 17893457 | 1145345 | 14781 197 | 1 | 1 1519.66/1520.17 c 1520s | 21 | 17930361 | 1146745 | 14781 198 | 1 | 1 1521.77/1522.22 c 1522s | 21 | 17955728 | 1148345 | 14781 198 | 1 | 1 1523.87/1524.33 c 1524s | 21 | 17989815 | 1149645 | 14781 198 | 1 | 1 1525.97/1526.44 c 1526s | 21 | 18030697 | 1151145 | 14781 198 | 1 | 1 1528.07/1528.53 c 1528s | 21 | 18064249 | 1152445 | 14781 198 | 1 | 1 1530.07/1530.57 c 1530s | 21 | 18096741 | 1153745 | 14781 198 | 1 | 1 1532.17/1532.69 c 1532s | 21 | 18124812 | 1155345 | 14781 199 | 1 | 1 1534.27/1534.76 c 1534s | 21 | 18160712 | 1156745 | 14781 199 | 1 | 1 1536.27/1536.77 c 1536s | 21 | 18179589 | 1158145 | 14781 199 | 1 | 1 1538.37/1538.83 c 1538s | 21 | 18214999 | 1159545 | 14781 199 | 1 | 1 1540.36/1540.83 c 1540s | 21 | 18235430 | 1160845 | 14781 199 | 1 | 1 1542.46/1542.90 c 1542s | 21 | 18266509 | 1162445 | 14781 200 | 1 | 1 1544.46/1544.91 c 1544s | 21 | 18290349 | 1164145 | 14781 200 | 1 | 1 1546.56/1547.05 c 1546s | 21 | 18317109 | 1165845 | 14781 200 | 1 | 1 1548.66/1549.15 c 1549s | 21 | 18339782 | 1167245 | 14781 200 | 1 | 1 1550.76/1551.20 c 1551s | 21 | 18372052 | 1168445 | 14781 200 | 1 | 1 1552.77/1553.25 c 1553s | 21 | 18389576 | 1169545 | 14781 201 | 1 | 1 1554.97/1555.44 c 1555s | 21 | 18406286 | 1170945 | 14781 201 | 1 | 1 1557.06/1557.57 c 1557s | 21 | 18441451 | 1172245 | 14781 201 | 1 | 1 1559.16/1559.60 c 1559s | 21 | 18458719 | 1173745 | 14781 201 | 1 | 1 1561.16/1561.63 c 1561s | 21 | 18486726 | 1175245 | 14781 201 | 1 | 1 1563.16/1563.65 c 1563s | 21 | 18511972 | 1176445 | 14781 202 | 1 | 1 1565.26/1565.75 c 1565s | 21 | 18530550 | 1177945 | 14781 202 | 1 | 1 1567.36/1567.86 c 1567s | 21 | 18559810 | 1179745 | 14781 202 | 1 | 1 1569.46/1569.94 c 1569s | 21 | 18582835 | 1181345 | 14781 202 | 1 | 1 1571.47/1571.97 c 1571s | 21 | 18607781 | 1182745 | 14781 202 | 1 | 1 1573.56/1574.06 c 1573s | 21 | 18620651 | 1183945 | 14781 203 | 1 | 1 1575.66/1576.18 c 1576s | 21 | 18637503 | 1185445 | 14781 203 | 1 | 1 1577.76/1578.29 c 1578s | 21 | 18659907 | 1187145 | 14781 203 | 1 | 1 1579.86/1580.33 c 1580s | 21 | 18684151 | 1188545 | 14781 203 | 1 | 1 1581.86/1582.35 c 1582s | 21 | 18694519 | 1189845 | 14781 203 | 1 | 1 1583.96/1584.40 c 1584s | 21 | 18702820 | 1191245 | 14781 203 | 1 | 1 1586.06/1586.53 c 1586s | 21 | 18707003 | 1192345 | 14781 204 | 1 | 1 1588.16/1588.66 c 1588s | 21 | 18711039 | 1193545 | 14781 204 | 1 | 1 1590.26/1590.71 c 1590s | 21 | 18712040 | 1194545 | 14781 204 | 1 | 1 1592.36/1592.86 c 1592s | 21 | 18714594 | 1195345 | 14781 204 | 1 | 1 1594.45/1594.98 c 1594s | 21 | 18742404 | 1197145 | 14781 204 | 1 | 1 1596.55/1597.09 c 1596s | 21 | 18768921 | 1198745 | 14781 204 | 1 | 1 1598.65/1599.16 c 1599s | 21 | 18786657 | 1200145 | 14781 205 | 1 | 1 1600.75/1601.29 c 1601s | 21 | 18802936 | 1201745 | 14781 205 | 1 | 1 1602.85/1603.35 c 1603s | 21 | 18808157 | 1203045 | 14781 205 | 1 | 1 1604.85/1605.36 c 1605s | 21 | 18826733 | 1204545 | 14781 205 | 1 | 1 1606.95/1607.44 c 1607s | 21 | 18851727 | 1206045 | 14781 205 | 1 | 1 1609.05/1609.56 c 1609s | 21 | 18865356 | 1207545 | 14781 206 | 1 | 1 1611.06/1611.59 c 1611s | 21 | 18886900 | 1209245 | 14781 206 | 1 | 1 1613.15/1613.62 c 1613s | 21 | 18906938 | 1210745 | 14781 206 | 1 | 1 1615.25/1615.75 c 1615s | 21 | 18932365 | 1212345 | 14781 206 | 1 | 1 1617.25/1617.75 c 1617s | 21 | 18946904 | 1213645 | 14781 206 | 1 | 1 1619.35/1619.80 c 1619s | 21 | 18961747 | 1214845 | 14781 207 | 1 | 1 1621.35/1621.85 c 1621s | 21 | 18986289 | 1216445 | 14781 207 | 1 | 1 1623.45/1623.94 c 1623s | 21 | 19018213 | 1217945 | 14781 207 | 1 | 1 1625.45/1625.97 c 1625s | 21 | 19046604 | 1219445 | 14781 207 | 1 | 1 1627.65/1628.11 c 1627s | 21 | 19071499 | 1220845 | 14781 207 | 1 | 1 1629.75/1630.23 c 1630s | 21 | 19092335 | 1222045 | 14781 208 | 1 | 1 1631.75/1632.28 c 1632s | 21 | 19123093 | 1223645 | 14781 208 | 1 | 1 1633.84/1634.34 c 1634s | 21 | 19152644 | 1225145 | 14781 208 | 1 | 1 1635.94/1636.44 c 1636s | 21 | 19178179 | 1226745 | 14781 208 | 1 | 1 1638.04/1638.56 c 1638s | 21 | 19198303 | 1228345 | 14781 208 | 1 | 1 1640.14/1640.61 c 1640s | 21 | 19212344 | 1229545 | 14781 209 | 1 | 1 1642.24/1642.73 c 1642s | 21 | 19238326 | 1231145 | 14781 209 | 1 | 1 1644.34/1644.84 c 1644s | 21 | 19252087 | 1232645 | 14781 209 | 1 | 1 1646.44/1646.95 c 1646s | 21 | 19270589 | 1234245 | 14781 209 | 1 | 1 1648.45/1648.95 c 1648s | 21 | 19280377 | 1235645 | 14781 209 | 1 | 1 1650.54/1651.06 c 1650s | 21 | 19286547 | 1236845 | 14781 210 | 1 | 1 1652.74/1653.28 c 1653s | 21 | 19311960 | 1238145 | 14781 210 | 1 | 1 1654.84/1655.33 c 1655s | 21 | 19329817 | 1239845 | 14781 210 | 1 | 1 1656.94/1657.41 c 1657s | 21 | 19356864 | 1241545 | 14781 210 | 1 | 1 1659.04/1659.51 c 1659s | 21 | 19378267 | 1243245 | 14781 210 | 1 | 1 1661.04/1661.55 c 1661s | 21 | 19396316 | 1244745 | 14781 211 | 1 | 1 1663.14/1663.68 c 1663s | 21 | 19411159 | 1246345 | 14781 211 | 1 | 1 1665.24/1665.71 c 1665s | 21 | 19417991 | 1247845 | 14781 211 | 1 | 1 1667.34/1667.80 c 1667s | 21 | 19430252 | 1249345 | 14781 211 | 1 | 1 1669.45/1669.95 c 1669s | 21 | 19468183 | 1250945 | 14781 211 | 1 | 1 1671.54/1672.02 c 1671s | 21 | 19500909 | 1252345 | 14781 212 | 1 | 1 1673.54/1674.05 c 1673s | 21 | 19530954 | 1253945 | 14781 212 | 1 | 1 1675.54/1676.08 c 1675s | 21 | 19555019 | 1255445 | 14781 212 | 1 | 1 1677.64/1678.12 c 1677s | 21 | 19578957 | 1257045 | 14781 212 | 1 | 1 1679.64/1680.19 c 1680s | 21 | 19604070 | 1258545 | 14781 212 | 1 | 1 1681.84/1682.30 c 1682s | 21 | 19623637 | 1260145 | 14781 213 | 1 | 1 1683.84/1684.32 c 1684s | 21 | 19639592 | 1261645 | 14781 213 | 1 | 1 1685.84/1686.37 c 1686s | 21 | 19657313 | 1263245 | 14781 213 | 1 | 1 1687.94/1688.45 c 1688s | 21 | 19669733 | 1264745 | 14781 213 | 1 | 1 1690.04/1690.53 c 1690s | 21 | 19675801 | 1266245 | 14781 213 | 1 | 1 1692.13/1692.62 c 1692s | 21 | 19695006 | 1267645 | 14781 214 | 1 | 1 1694.13/1694.69 c 1694s | 21 | 19721938 | 1269345 | 14781 214 | 1 | 1 1696.23/1696.72 c 1696s | 21 | 19745908 | 1271145 | 14781 214 | 1 | 1 1698.23/1698.74 c 1698s | 21 | 19766488 | 1272745 | 14781 214 | 1 | 1 1700.44/1700.91 c 1700s | 21 | 19789935 | 1274145 | 14781 214 | 1 | 1 1702.45/1702.92 c 1702s | 21 | 19809111 | 1275545 | 14781 215 | 1 | 1 1704.44/1704.99 c 1704s | 21 | 19835641 | 1276945 | 14781 215 | 1 | 1 1706.54/1707.04 c 1706s | 21 | 19847066 | 1278245 | 14781 215 | 1 | 1 1708.84/1709.30 c 1709s | 21 | 19865700 | 1279845 | 14781 215 | 1 | 1 1710.94/1711.48 c 1711s | 21 | 19881711 | 1281245 | 14781 215 | 1 | 1 1713.04/1713.56 c 1713s | 21 | 19897564 | 1282645 | 14781 216 | 1 | 1 1715.04/1715.56 c 1715s | 21 | 19911839 | 1284145 | 14781 216 | 1 | 1 1717.24/1717.75 c 1717s | 21 | 19922485 | 1285645 | 14781 216 | 1 | 1 1719.24/1719.77 c 1719s | 21 | 19947683 | 1287145 | 14781 216 | 1 | 1 1721.34/1721.84 c 1721s | 21 | 19965352 | 1288445 | 14781 216 | 1 | 1 1723.44/1723.99 c 1723s | 21 | 19986085 | 1289745 | 14781 217 | 1 | 1 1725.54/1726.07 c 1725s | 21 | 19998141 | 1291145 | 14781 217 | 1 | 1 1727.64/1728.19 c 1728s | 21 | 20012779 | 1292645 | 14781 217 | 1 | 1 1729.74/1730.21 c 1730s | 21 | 20026608 | 1294045 | 14781 217 | 1 | 1 1731.73/1732.24 c 1732s | 21 | 20039764 | 1295545 | 14781 217 | 1 | 1 1733.73/1734.26 c 1734s | 21 | 20043666 | 1296845 | 14781 217 | 1 | 1 1735.83/1736.32 c 1736s | 21 | 20062261 | 1298345 | 14781 218 | 1 | 1 1737.83/1738.36 c 1738s | 21 | 20074686 | 1299745 | 14781 218 | 1 | 1 1739.93/1740.46 c 1740s | 21 | 20080705 | 1301345 | 14781 218 | 1 | 1 1742.04/1742.51 c 1742s | 21 | 20093220 | 1302845 | 14781 218 | 1 | 1 1744.03/1744.56 c 1744s | 21 | 20112569 | 1304345 | 14781 218 | 1 | 1 1746.13/1746.65 c 1746s | 21 | 20132429 | 1306145 | 14781 219 | 1 | 1 1748.13/1748.66 c 1748s | 21 | 20140955 | 1307545 | 14781 219 | 1 | 1 1750.13/1750.67 c 1750s | 21 | 20146972 | 1308845 | 14781 219 | 1 | 1 1752.33/1752.84 c 1752s | 21 | 20154487 | 1310445 | 14781 219 | 1 | 1 1754.33/1754.89 c 1754s | 21 | 20164025 | 1311945 | 14781 219 | 1 | 1 1756.53/1757.09 c 1756s | 21 | 20169034 | 1313345 | 14781 220 | 1 | 1 1758.63/1759.19 c 1759s | 21 | 20171856 | 1314545 | 14781 220 | 1 | 1 1760.74/1761.27 c 1761s | 21 | 20175391 | 1315745 | 14781 220 | 1 | 1 1762.84/1763.32 c 1763s | 21 | 20181711 | 1317145 | 14781 220 | 1 | 1 1764.83/1765.37 c 1765s | 21 | 20195229 | 1318645 | 14781 220 | 1 | 1 1766.93/1767.49 c 1767s | 21 | 20209273 | 1319845 | 14781 221 | 1 | 1 1769.13/1769.60 c 1769s | 21 | 20221415 | 1321245 | 14781 221 | 1 | 1 1771.13/1771.68 c 1771s | 21 | 20237458 | 1322745 | 14781 221 | 1 | 1 1773.33/1773.85 c 1773s | 21 | 20248871 | 1324245 | 14781 221 | 1 | 1 1775.43/1775.91 c 1775s | 21 | 20255362 | 1325645 | 14781 221 | 1 | 1 1777.43/1777.95 c 1777s | 21 | 20276520 | 1327145 | 14781 222 | 1 | 1 1779.83/1780.38 c 1780s | 21 | 20293122 | 1328645 | 14781 222 | 1 | 1 1781.93/1782.48 c 1782s | 21 | 20319283 | 1330345 | 14781 222 | 1 | 1 1784.02/1784.51 c 1784s | 21 | 20325957 | 1331545 | 14781 222 | 1 | 1 1786.12/1786.68 c 1786s | 21 | 20329283 | 1332745 | 14781 222 | 1 | 1 1788.23/1788.74 c 1788s | 21 | 20341953 | 1334045 | 14781 222 | 1 | 1 1790.33/1790.85 c 1790s | 21 | 20352259 | 1335145 | 14781 223 | 1 | 1 1792.32/1792.87 c 1792s | 21 | 20368654 | 1336745 | 14781 223 | 1 | 1 1794.42/1794.90 c 1794s | 21 | 20382608 | 1338245 | 14781 223 | 1 | 1 1796.42/1796.97 c 1796s | 21 | 20393882 | 1339745 | 14781 223 | 1 | 1
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-4106820-1466278984/watcher-4106820-1466278984 -o /tmp/evaluation-result-4106820-1466278984/solver-4106820-1466278984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106820-1466278984.opb pid=15447 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.16 2.13 3/179 15450 /proc/meminfo: memFree=30055592/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=686524 CPUtime=0 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 2553 0 0 0 0 0 0 0 20 0 4 0 29947645 703000576 3425 33554432000 4194304 16246674 140734467778928 140734467778352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 172399 3434 441 2943 0 169293 0 [pid=15450/tid=15451] ppid=15447 vsize=703932 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 720826368 3492 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=708028 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 725020672 3509 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=713148 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 730263552 3529 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100167 s] /proc/loadavg: 2.12 2.16 2.13 3/179 15450 /proc/meminfo: memFree=30055592/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1220164 CPUtime=0.09 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 26005 0 0 0 6 3 0 0 20 0 4 0 29947645 1249447936 26843 33554432000 4194304 16246674 140734467778928 140734467778352 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 305041 26847 725 2943 0 301935 0 [pid=15450/tid=15451] ppid=15447 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1249447936 26850 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1249447936 26853 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1220164 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1249447936 26855 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1220164 [startup+0.200499 s] /proc/loadavg: 2.12 2.16 2.13 3/179 15450 /proc/meminfo: memFree=30055592/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1222212 CPUtime=0.19 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 34784 0 0 0 14 5 0 0 20 0 4 0 29947645 1251545088 35622 33554432000 4194304 16246674 140734467778928 140734467761696 13192110 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 305553 35636 843 2943 0 302447 0 [pid=15450/tid=15451] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 35644 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 35649 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 35653 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1222212 [startup+0.300489 s] /proc/loadavg: 2.12 2.16 2.13 3/179 15450 /proc/meminfo: memFree=30055592/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1222212 CPUtime=0.29 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 58818 0 0 0 22 7 0 0 20 0 4 0 29947645 1251545088 59656 33554432000 4194304 16246674 140734467778928 140734467760832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 305553 59670 843 2943 0 302447 0 [pid=15450/tid=15451] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 59675 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 59681 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 59687 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1222212 [startup+0.700408 s] /proc/loadavg: 2.12 2.16 2.13 3/179 15450 /proc/meminfo: memFree=30055592/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1222212 CPUtime=0.69 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 162611 0 0 0 49 20 0 0 20 0 4 0 29947645 1251545088 163448 33554432000 4194304 16246674 140734467778928 140734467760832 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 305553 163467 843 2943 0 302447 0 [pid=15450/tid=15451] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 163477 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 163489 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1222212 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1251545088 163499 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1222212 [startup+1.50041 s] /proc/loadavg: 2.12 2.16 2.13 3/183 15454 /proc/meminfo: memFree=28987792/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1302084 CPUtime=1.49 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 266393 0 0 0 117 32 0 0 20 0 4 0 29947645 1333334016 267230 33554432000 4194304 16246674 140734467778928 140734467760832 6021268 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 325521 267230 849 2943 0 322415 0 [pid=15450/tid=15451] ppid=15447 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1333334016 267230 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1333334016 267230 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1302084 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1333334016 267230 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1302084 [startup+3.10042 s] /proc/loadavg: 2.12 2.16 2.13 3/183 15454 /proc/meminfo: memFree=28982560/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 267638 0 0 0 277 32 0 0 20 0 4 0 29947645 1337528320 268475 33554432000 4194304 16246674 140734467778928 140734467760832 6011852 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 326545 268475 852 2943 0 323439 0 [pid=15450/tid=15451] ppid=15447 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1337528320 268475 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1337528320 268475 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1337528320 268475 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1306180 [startup+6.30043 s] /proc/loadavg: 2.11 2.16 2.13 3/183 15454 /proc/meminfo: memFree=28982436/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1308228 CPUtime=6.29 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 267932 0 0 0 596 33 0 0 20 0 4 0 29947645 1339625472 268769 33554432000 4194304 16246674 140734467778928 140734467760832 5723141 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 327057 268769 852 2943 0 323951 0 [pid=15450/tid=15451] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268769 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268769 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268769 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1308228 [startup+12.7004 s] /proc/loadavg: 2.10 2.16 2.13 4/182 15454 /proc/meminfo: memFree=28980780/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1308228 CPUtime=12.69 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 268152 0 0 0 1236 33 0 0 20 0 4 0 29947645 1339625472 268989 33554432000 4194304 16246674 140734467778928 140734467760832 6011884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 327057 268989 853 2943 0 323951 0 [pid=15450/tid=15451] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268989 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268989 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1339625472 268989 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.15 2.16 2.13 3/183 15455 /proc/meminfo: memFree=28978200/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1311300 CPUtime=25.49 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 268920 0 0 0 2516 33 0 0 20 0 4 0 29947645 1342771200 269757 33554432000 4194304 16246674 140734467778928 140734467760832 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 327825 269757 853 2943 0 324719 0 [pid=15450/tid=15451] ppid=15447 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1342771200 269757 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1342771200 269757 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1342771200 269757 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.10 2.15 2.13 3/183 15455 /proc/meminfo: memFree=28974108/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 269944 0 0 0 5075 33 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140734467760832 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 328849 270781 853 2943 0 325743 0 [pid=15450/tid=15451] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.3 s] /proc/loadavg: 2.08 2.14 2.12 4/183 15456 /proc/meminfo: memFree=28973828/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1315396 CPUtime=102.28 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 269944 0 0 0 10195 33 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140734467760832 5677821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 328849 270781 853 2943 0 325743 0 [pid=15450/tid=15451] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1346965504 270781 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1315396 ################ # More data... # ################ /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1328708 [startup+1362.3 s] /proc/loadavg: 2.24 2.19 2.17 3/183 15656 /proc/meminfo: memFree=28943540/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1328708 CPUtime=1361.89 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 273630 0 0 0 136143 46 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140734467760832 6012036 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332177 274112 853 2943 0 329071 0 [pid=15450/tid=15451] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.18 2.18 2.17 3/183 15657 /proc/meminfo: memFree=28943448/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1328708 CPUtime=1421.89 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 273630 0 0 0 142142 47 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140734467760832 12478356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332177 274112 853 2943 0 329071 0 [pid=15450/tid=15451] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1328708 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1360596992 274112 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.16 2.18 2.17 3/183 15658 /proc/meminfo: memFree=28940132/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1331780 CPUtime=1481.87 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274398 0 0 0 148140 47 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140734467760832 13954191 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332945 274880 853 2943 0 329839 0 [pid=15450/tid=15451] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1331780 [startup+1542.31 s] /proc/loadavg: 2.14 2.17 2.17 4/183 15660 /proc/meminfo: memFree=28940040/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1331780 CPUtime=1541.87 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274398 0 0 0 154139 48 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140734467760832 12478098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332945 274880 853 2943 0 329839 0 [pid=15450/tid=15451] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1331780 [startup+1602.3 s] /proc/loadavg: 2.15 2.17 2.17 3/183 15661 /proc/meminfo: memFree=28940192/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1331780 CPUtime=1601.85 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274398 0 0 0 160137 48 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140734467760832 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332945 274880 853 2943 0 329839 0 [pid=15450/tid=15451] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1331780 [startup+1662.3 s] /proc/loadavg: 2.18 2.17 2.17 3/184 15665 /proc/meminfo: memFree=28939980/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1331780 CPUtime=1661.84 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274398 0 0 0 166136 48 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140734467760832 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 332945 274880 853 2943 0 329839 0 [pid=15450/tid=15451] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1331780 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1363742720 274880 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1331780 [startup+1722.3 s] /proc/loadavg: 2.11 2.15 2.16 3/183 15666 /proc/meminfo: memFree=28929940/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1332804 CPUtime=1721.84 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274654 0 0 0 172135 49 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140734467761928 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 333201 275136 853 2943 0 330095 0 [pid=15450/tid=15451] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1332804 [startup+1782.3 s] /proc/loadavg: 2.22 2.16 2.16 4/183 15667 /proc/meminfo: memFree=28929560/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1332804 CPUtime=1781.83 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274654 0 0 0 178134 49 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140734467761928 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 333201 275136 853 2943 0 330095 0 [pid=15450/tid=15451] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 1332804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.15 2.16 3/183 15668 /proc/meminfo: memFree=28929804/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1332804 CPUtime=1800.02 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274654 0 0 0 179953 49 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140734467778024 4222062 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 333201 275136 853 2943 0 330095 0 [pid=15450/tid=15451] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1332804 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 15450 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.15 2.16 3/183 15668 /proc/meminfo: memFree=28929804/32872528 swapFree=681964/737152 [pid=15450] ppid=15447 vsize=1332804 CPUtime=1800.02 cores=1,3,5,7 /proc/15450/stat : 15450 (toysat) R 15447 15450 13233 0 -1 4202496 274654 0 0 0 179953 49 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140734467778024 4222062 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/15450/statm: 333201 275136 853 2943 0 330095 0 [pid=15450/tid=15451] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15451/stat : 15451 (toysat) S 15447 15450 13233 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663463062768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=15450/tid=15452] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15452/stat : 15452 (toysat) S 15447 15450 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663452572912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=15450/tid=15453] ppid=15447 vsize=1332804 CPUtime=0 cores=1,3,5,7 /proc/15450/task/15453/stat : 15453 (toysat) S 15447 15450 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29947645 1364791296 275136 33554432000 4194304 16246674 140734467778928 140663333055664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1332804 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.54 CPU system time (s): 0.494924 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1332804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.54 system time used= 0.494924 maximum resident set size= 1100544 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274654 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= 376 involuntary context switches= 1867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.42933 second user time and 7.09792 second system time The end
Begin job on node112 at 2016-06-18 21:43:04 IDJOB=4106820 IDBENCH=48279 IDSOLVER=2542 FILE ID=node112/4106820-1466278984 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106820-1466278984/watcher-4106820-1466278984 -o /tmp/evaluation-result-4106820-1466278984/solver-4106820-1466278984 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106820-1466278984.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED=774380657 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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 : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30056492 kB Buffers: 80020 kB Cached: 161560 kB SwapCached: 2028 kB Active: 1197004 kB Inactive: 145984 kB Active(anon): 1101152 kB Inactive(anon): 2096 kB Active(file): 95852 kB Inactive(file): 143888 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16324 kB Writeback: 0 kB AnonPages: 1779716 kB Mapped: 10940 kB Shmem: 0 kB Slab: 602376 kB SReclaimable: 46172 kB SUnreclaim: 556204 kB KernelStack: 1520 kB PageTables: 7840 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1982112 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1091584 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= 71680 MiB End job on node112 at 2016-06-18 22:13:05