| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.03 | 1800.52 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb |
| MD5SUM | 3f50fdda997abfe5e5c5cddf7b7c1313 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.119981 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 168 |
| Total number of constraints | 15 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 15 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 448 |
| Sum of products size (including duplicates) | 896 |
| Number of different products | 448 |
| Sum of products size | 896 |
0.00/0.00 c 2016-06-18T17:36:01+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106055-1466264161.opb"] 0.00/0.01 c use --random-gen="2602803291 23275808 2498076832 2969578283 203860975 3255109988 3464793916 622899952 3017473677 2101322370 1436580040 3160895045 1749762726 3627566942 3251904316 987646325 4091380999 2841123699 403720187 4149547159 219455350 3233852272 406438494 822481576 3054225783 1099485780 4030504069 103790144 2505307966 1595153589 2606520371 3371794771 1582718003 3121465219 1243512894 4174190904 4281167532 580858808 3569007062 1027237057 3200878115 1451429265 3104215631 392031358 652452209 793111512 853661368 3539110688 245542743 2639566583 4179956198 3057472107 4219793986 3006829038 1072776666 605188043 1574384205 236819996 230628025 1567024167 361217497 57195516 270343056 3517251894 1785567414 659759919 18450070 1922285215 1748987555 2647985469 1992850944 1068685139 973463496 3724768782 3775160142 4274290604 1940359395 2564484922 2010170897 1599847697 329835418 3326469921 3703404048 3829420879 2663356010 957779449 999439927 328608902 4020007861 871204061 2783129174 1964397421 968023581 124564745 2478339169 1867141407 2202001798 504327134 3257153484 1515916462 1156157476 1318745826 4077826512 798295513 666400540 323382889 1200746464 1636706976 2574491336 1861983776 3898661733 107050602 1131052403 2425513907 3134929776 51241927 2105439195 2170099228 1006216501 2765595761 4263846590 1560459077 3332322880 3752457173 4022018757 3411327083 1180956275 2041210482 1534573588 3895376781 748267193 2900470779 2621757718 981368558 2299714834 127087413 2467372968 1395224183 2391409277 3089964863 138159973 3865382579 4290451152 2117408593 228768799 94311906 3187881977 3619862128 2280027696 1718241046 1138128069 3171442947 3517044915 2313024759 1231510228 3748798549 9529013 1273817566 2020941918 4076078134 2906244304 2490939901 2980388858 2829132049 3460577816 382751731 3762954258 4197640057 2156496582 3413158120 2426110001 999313229 2620829644 1621234521 1240257740 3182955710 2886103781 1227693963 2747687906 2693791707 3235048900 2437860318 1022972714 407211318 1505166903 2592269928 1290800328 3472141364 1407707408 3318255398 2408873192 2225936643 2575890356 819846796 17394738 2612421685 3310512577 4252893303 3550718843 3434769693 2020489230 1950079014 1056480451 2496305468 632377116 2514009126 1519917273 3607329542 1974384361 390605492 2211110672 3518347796 1870386035 4174036018 3503559777 2068433043 958035919 2446571778 2864084044 502713747 3932458691 3552202571 717352365 526125592 15389237 2725189712 2661846712 2273753917 3925365125 1659280032 1012750974 1973860171 2527816392 1276449931 818109350 1371196797 3582634727 3264730662 2491474475 3472716211 467352038 3529959104 1463119353 3775310985 3655782027 1151604154 2732170314 3082198249 3513818077 990130574 205896915 402695201 1695814727 4209254329 2597046931 2755919198 255 362436" option to reproduce the execution 0.00/0.01 c #vars 168 0.00/0.01 c #constraints 15 0.00/0.02 c BCD2: Hardening is enabled. 0.00/0.02 c BCD2: BiasedSearch is enabled. 0.00/0.02 c Solving starts ... 0.00/0.02 c ============================[ Search Statistics ]============================ 0.00/0.02 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.02 c | | | | Limit GC | Var | Constra 0.00/0.02 c ============================================================================= 0.00/0.02 c 0.0s | 0 | 0 | 0 | 660 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 140 | 100 | 660 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 409 | 250 | 727 0 | 0 | 0 0.19/0.23 c 0.2s | 3 | 723 | 475 | 800 0 | 0 | 0 0.29/0.38 c 0.4s | 3 | 1111 | 748 | 881 0 | 0 | 0 0.29/0.38 c #cpu_time = 0.354s 0.29/0.38 c #wall_clock_time = 0.355s 0.29/0.38 c #decision = 1111 0.29/0.38 c #random_decision = 11 0.29/0.38 c #conflict = 748 0.29/0.38 c #restart = 3 0.29/0.38 o 55 0.29/0.38 c BCD2: hardening fixes 2 literals 0.29/0.38 c BCD2: updating upper bound: 255 -> 54 0.29/0.38 c BCD2: 0 <= obj <= 54 0.29/0.38 c BCD2: #cores=0, #unrelaxed=6, #relaxed=0, #hardened=2 0.29/0.38 c BCD2: #sat=1 #unsat=1 bias=1/2 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 881 0 | 20 | 0 0.29/0.38 c 0.0s | 0 | 4 | 0 | 881 0 | 20 | 48 0.29/0.38 c #cpu_time = 0.004s 0.29/0.38 c #wall_clock_time = 0.004s 0.29/0.38 c #decision = 4 0.29/0.38 c #random_decision = 0 0.29/0.38 c #conflict = 0 0.29/0.38 c #restart = 0 0.29/0.38 c BCD2: found a new core of size 5: cost of the new core is >=2 0.29/0.38 c lower bound updated to 2 0.29/0.38 c BCD2: 2 <= obj <= 54 0.29/0.38 c BCD2: #cores=1, #unrelaxed=1, #relaxed=5, #hardened=2 0.29/0.38 c BCD2: #sat=1 #unsat=2 bias=2/3 0.29/0.38 c Solving starts ... 0.29/0.38 c ============================[ Search Statistics ]============================ 0.29/0.38 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.29/0.38 c | | | | Limit GC | Var | Constra 0.29/0.38 c ============================================================================= 0.29/0.38 c 0.0s | 0 | 0 | 0 | 881 0 | 20 | 48 0.39/0.46 c 0.1s | 1 | 181 | 100 | 970 0 | 20 | 48 0.48/0.54 c 0.2s | 2 | 388 | 250 | 970 0 | 20 | 48 0.59/0.63 c 0.2s | 3 | 703 | 475 | 970 0 | 20 | 48 0.68/0.72 c 0.3s | 4 | 1068 | 813 | 1067 1 | 20 | 48 0.89/0.94 c 0.6s | 5 | 1629 | 1320 | 1067 2 | 20 | 48 1.29/1.39 c 1.0s | 6 | 2473 | 2081 | 1174 2 | 20 | 48 1.59/1.64 c 1.3s | 7 | 3759 | 3223 | 1292 4 | 20 | 48 2.20/2.29 c 1.9s | 8 | 5770 | 4936 | 1422 6 | 20 | 48 2.89/2.96 c 2.6s | 9 | 8531 | 7506 | 1565 8 | 20 | 48 3.89/3.96 c 3.6s | 10 | 12668 | 11361 | 1722 12 | 20 | 48 5.29/5.40 c 5.0s | 11 | 18703 | 17144 | 1895 17 | 20 | 48 6.43/7.40 c 7.0s | 11 | 24729 | 22744 | 1895 22 | 20 | 48 7.63/8.47 c 8.1s | 12 | 27997 | 25819 | 2085 24 | 20 | 48 10.40/10.50 c 10.1s | 12 | 35237 | 32619 | 2085 30 | 20 | 48 12.40/12.52 c 12.1s | 12 | 41823 | 38719 | 2294 34 | 20 | 48 12.40/12.57 c 12.2s | 13 | 41962 | 38832 | 2294 34 | 20 | 48 12.79/14.59 c 14.2s | 13 | 50497 | 46832 | 2294 41 | 20 | 48 15.82/16.60 c 16.2s | 13 | 57881 | 53832 | 2294 46 | 20 | 48 16.69/18.24 c 17.9s | 14 | 62861 | 58352 | 2524 49 | 20 | 48 18.31/20.24 c 19.9s | 14 | 70966 | 65852 | 2524 54 | 20 | 48 21.30/22.25 c 21.9s | 14 | 78074 | 72652 | 2524 59 | 20 | 48 22.28/24.26 c 23.9s | 14 | 85234 | 79452 | 2524 64 | 20 | 48 24.29/26.26 c 25.9s | 14 | 92451 | 86352 | 2777 69 | 20 | 48 26.39/26.53 c 26.1s | 15 | 93827 | 87632 | 2777 69 | 20 | 48 28.21/28.60 c 28.2s | 15 | 98891 | 92332 | 2777 72 | 20 | 48 29.59/30.64 c 30.3s | 15 | 104468 | 97732 | 2777 76 | 20 | 48 32.52/32.68 c 32.3s | 15 | 109610 | 102632 | 2777 79 | 20 | 48 34.12/34.68 c 34.3s | 15 | 114822 | 107532 | 2777 82 | 20 | 48 35.80/36.71 c 36.3s | 15 | 119694 | 112132 | 2777 84 | 20 | 48 36.69/38.74 c 38.4s | 15 | 125728 | 117832 | 2777 88 | 20 | 48 38.90/40.75 c 40.4s | 15 | 132924 | 124632 | 2777 92 | 20 | 48 40.79/42.77 c 42.4s | 15 | 138926 | 130232 | 3055 95 | 20 | 48 40.79/43.32 c 42.9s | 16 | 140428 | 131552 | 3055 96 | 20 | 48 40.79/45.36 c 45.0s | 16 | 147628 | 138152 | 3055 100 | 20 | 48 40.79/47.38 c 47.0s | 16 | 154186 | 144352 | 3055 104 | 20 | 48 47.40/49.39 c 49.0s | 16 | 160635 | 150552 | 3055 107 | 20 | 48 47.40/51.41 c 51.0s | 16 | 167428 | 156852 | 3055 111 | 20 | 48 47.40/53.44 c 53.1s | 16 | 174250 | 163252 | 3055 115 | 20 | 48 53.42/55.45 c 55.1s | 16 | 180749 | 169452 | 3055 118 | 20 | 48 56.52/57.46 c 57.1s | 16 | 186594 | 175052 | 3055 121 | 20 | 48 57.79/59.48 c 59.1s | 16 | 192868 | 181052 | 3055 125 | 20 | 48 59.84/61.49 c 61.1s | 16 | 199237 | 187252 | 3055 128 | 20 | 48 62.62/63.52 c 63.1s | 16 | 204678 | 192452 | 3055 131 | 20 | 48 62.62/65.20 c 64.8s | 17 | 210115 | 197432 | 3361 134 | 20 | 48 67.14/67.27 c 66.9s | 17 | 215522 | 202332 | 3361 137 | 20 | 48 68.88/69.27 c 68.9s | 17 | 221404 | 207832 | 3361 139 | 20 | 48 70.43/71.28 c 70.9s | 17 | 226419 | 212432 | 3361 142 | 20 | 48 72.50/73.29 c 72.9s | 17 | 231361 | 216732 | 3361 144 | 20 | 48 72.50/75.31 c 74.9s | 17 | 237662 | 222532 | 3361 147 | 20 | 48 72.50/77.36 c 77.0s | 17 | 242411 | 226432 | 3361 149 | 20 | 48 78.58/79.37 c 79.0s | 17 | 247451 | 230832 | 3361 151 | 20 | 48 78.58/81.40 c 81.0s | 17 | 252230 | 235132 | 3361 154 | 20 | 48 78.58/83.41 c 83.0s | 17 | 256736 | 238832 | 3361 156 | 20 | 48 84.70/85.44 c 85.1s | 17 | 262382 | 243932 | 3361 158 | 20 | 48 84.70/87.47 c 87.1s | 17 | 267864 | 249232 | 3361 161 | 20 | 48 84.70/89.49 c 89.1s | 17 | 274350 | 255232 | 3361 164 | 20 | 48 90.78/91.51 c 91.1s | 17 | 280773 | 261032 | 3361 167 | 20 | 48 90.78/93.52 c 93.1s | 17 | 287359 | 267232 | 3361 171 | 20 | 48 90.78/95.55 c 95.2s | 17 | 293899 | 273132 | 3361 174 | 20 | 48 96.67/97.55 c 97.2s | 17 | 300812 | 279632 | 3361 177 | 20 | 48 96.67/99.56 c 99.2s | 17 | 308522 | 286532 | 3361 181 | 20 | 48 96.67/101.60 c 101s | 17 | 315574 | 292932 | 3361 184 | 20 | 48 102.41/102.69 c 102s | 18 | 319151 | 296252 | 3698 186 | 20 | 48 102.68/104.70 c 104s | 18 | 328261 | 305052 | 3698 190 | 20 | 48 102.68/106.70 c 106s | 18 | 335081 | 311752 | 3698 193 | 20 | 48 107.09/108.72 c 108s | 18 | 341934 | 318352 | 3698 196 | 20 | 48 110.29/110.73 c 110s | 18 | 349145 | 325352 | 3698 200 | 20 | 48 112.29/112.74 c 112s | 18 | 356388 | 332352 | 3698 203 | 20 | 48 112.87/114.76 c 114s | 18 | 363921 | 339552 | 3698 207 | 20 | 48 116.59/116.79 c 116s | 18 | 371183 | 346452 | 3698 210 | 20 | 48 118.61/118.80 c 118s | 18 | 377565 | 352452 | 3698 213 | 20 | 48 119.90/120.83 c 120s | 18 | 384287 | 358752 | 3698 216 | 20 | 48 122.34/122.85 c 122s | 18 | 391460 | 365452 | 3698 219 | 20 | 48 122.34/124.87 c 124s | 18 | 398474 | 372152 | 3698 222 | 20 | 48 125.88/126.87 c 126s | 18 | 405989 | 379252 | 3698 226 | 20 | 48 128.65/128.89 c 128s | 18 | 413256 | 386052 | 3698 229 | 20 | 48 130.89/130.92 c 130s | 18 | 420555 | 392552 | 3698 232 | 20 | 48 132.77/132.93 c 132s | 18 | 427539 | 398852 | 3698 235 | 20 | 48 133.99/134.95 c 134s | 18 | 434577 | 405252 | 3698 238 | 20 | 48 136.18/136.96 c 136s | 18 | 441416 | 411252 | 3698 241 | 20 | 48 136.18/138.96 c 138s | 18 | 447934 | 416952 | 3698 244 | 20 | 48 140.48/140.98 c 140s | 18 | 454951 | 422952 | 3698 247 | 20 | 48 142.57/142.98 c 142s | 18 | 461736 | 428752 | 3698 249 | 20 | 48 143.77/144.99 c 144s | 18 | 468705 | 435152 | 3698 252 | 20 | 48 146.57/146.99 c 146s | 18 | 474844 | 440952 | 4068 255 | 20 | 48 146.57/148.35 c 147s | 19 | 478804 | 444482 | 4068 257 | 20 | 48 146.57/150.37 c 149s | 19 | 485304 | 450582 | 4068 259 | 20 | 48 146.57/152.38 c 151s | 19 | 489631 | 453882 | 4068 261 | 20 | 48 153.07/154.41 c 154s | 19 | 493842 | 457482 | 4068 262 | 20 | 48 155.81/156.42 c 156s | 19 | 500519 | 463582 | 4068 265 | 20 | 48 157.18/158.44 c 158s | 19 | 504516 | 466682 | 4068 266 | 20 | 48 158.41/160.50 c 160s | 19 | 509754 | 471682 | 4068 268 | 20 | 48 160.47/162.51 c 162s | 19 | 513289 | 474582 | 4068 270 | 20 | 48 160.47/164.53 c 164s | 19 | 519527 | 480382 | 4068 272 | 20 | 48 164.50/166.54 c 166s | 19 | 526829 | 487182 | 4068 275 | 20 | 48 166.51/168.61 c 168s | 19 | 532735 | 492582 | 4068 278 | 20 | 48 170.17/170.62 c 170s | 19 | 539541 | 498582 | 4068 280 | 20 | 48 171.86/172.64 c 172s | 19 | 545087 | 503882 | 4068 283 | 20 | 48 171.86/174.65 c 174s | 19 | 552482 | 510882 | 4068 286 | 20 | 48 171.86/176.66 c 176s | 19 | 559745 | 517882 | 4068 289 | 20 | 48 177.39/178.66 c 178s | 19 | 566767 | 524682 | 4068 292 | 20 | 48 179.97/180.67 c 180s | 19 | 573425 | 531082 | 4068 295 | 20 | 48 182.07/182.68 c 182s | 19 | 580141 | 537582 | 4068 297 | 20 | 48 182.68/184.72 c 184s | 19 | 587571 | 544482 | 4068 300 | 20 | 48 185.86/186.73 c 186s | 19 | 594507 | 551182 | 4068 303 | 20 | 48 187.59/188.74 c 188s | 19 | 601736 | 557982 | 4068 306 | 20 | 48 190.41/190.74 c 190s | 19 | 608320 | 564182 | 4068 309 | 20 | 48 191.78/192.77 c 192s | 19 | 616014 | 571682 | 4068 312 | 20 | 48 194.69/194.77 c 194s | 19 | 623294 | 578682 | 4068 315 | 20 | 48 196.59/196.78 c 196s | 19 | 630583 | 585582 | 4068 318 | 20 | 48 196.59/198.78 c 198s | 19 | 637781 | 592282 | 4068 321 | 20 | 48 200.05/200.80 c 200s | 19 | 644906 | 599082 | 4068 324 | 20 | 48 200.05/202.84 c 202s | 19 | 651363 | 605182 | 4068 327 | 20 | 48 203.20/204.85 c 204s | 19 | 658428 | 611882 | 4068 330 | 20 | 48 205.16/206.85 c 206s | 19 | 665542 | 618682 | 4068 333 | 20 | 48 207.27/208.86 c 208s | 19 | 672635 | 625482 | 4068 336 | 20 | 48 209.92/210.87 c 210s | 19 | 679806 | 632282 | 4068 339 | 20 | 48 209.92/212.88 c 212s | 19 | 686908 | 639082 | 4068 342 | 20 | 48 213.30/214.89 c 214s | 19 | 694180 | 646082 | 4068 345 | 20 | 48 216.09/216.91 c 216s | 19 | 701683 | 653082 | 4068 348 | 20 | 48 216.09/218.93 c 218s | 19 | 708382 | 659282 | 4068 351 | 20 | 48 220.90/220.94 c 220s | 19 | 714469 | 665082 | 4475 353 | 20 | 48 220.96/221.57 c 221s | 20 | 716296 | 666827 | 4475 354 | 20 | 48 223.48/223.58 c 223s | 20 | 724476 | 674627 | 4475 357 | 20 | 48 223.48/225.60 c 225s | 20 | 732758 | 682427 | 4475 360 | 20 | 48 227.49/227.62 c 227s | 20 | 739883 | 689027 | 4475 363 | 20 | 48 228.58/229.64 c 229s | 20 | 746825 | 695427 | 4475 365 | 20 | 48 229.67/231.65 c 231s | 20 | 753960 | 701627 | 4475 368 | 20 | 48 233.57/233.65 c 233s | 20 | 761816 | 709027 | 4475 371 | 20 | 48 234.79/235.68 c 235s | 20 | 769104 | 716027 | 4475 374 | 20 | 48 237.32/237.69 c 237s | 20 | 775871 | 722527 | 4475 376 | 20 | 48 238.68/239.70 c 239s | 20 | 783406 | 729527 | 4475 379 | 20 | 48 238.68/241.72 c 241s | 20 | 790651 | 736327 | 4475 382 | 20 | 48 243.21/243.74 c 243s | 20 | 796329 | 741427 | 4475 384 | 20 | 48 245.66/245.74 c 245s | 20 | 802968 | 747527 | 4475 386 | 20 | 48 246.57/247.75 c 247s | 20 | 809621 | 753827 | 4475 389 | 20 | 48 249.21/249.78 c 249s | 20 | 815830 | 759527 | 4475 391 | 20 | 48 251.75/251.82 c 251s | 20 | 822114 | 765527 | 4475 394 | 20 | 48 252.67/253.83 c 253s | 20 | 828654 | 771727 | 4475 396 | 20 | 48 255.76/255.87 c 255s | 20 | 835414 | 778127 | 4475 399 | 20 | 48 257.07/257.90 c 257s | 20 | 842556 | 784927 | 4475 401 | 20 | 48 257.07/259.91 c 259s | 20 | 849105 | 791327 | 4475 404 | 20 | 48 257.07/261.94 c 261s | 20 | 855894 | 797927 | 4475 407 | 20 | 48 263.05/263.94 c 263s | 20 | 862669 | 804427 | 4475 409 | 20 | 48 263.05/265.95 c 265s | 20 | 869333 | 810727 | 4475 412 | 20 | 48 265.94/267.97 c 267s | 20 | 876333 | 817127 | 4475 414 | 20 | 48 269.05/269.97 c 269s | 20 | 883369 | 823727 | 4475 417 | 20 | 48 271.05/271.98 c 271s | 20 | 890129 | 830227 | 4475 420 | 20 | 48 273.89/273.99 c 273s | 20 | 896996 | 836727 | 4475 422 | 20 | 48 275.14/276.03 c 275s | 20 | 903164 | 842627 | 4475 425 | 20 | 48 276.65/278.07 c 277s | 20 | 909841 | 849027 | 4475 427 | 20 | 48 276.65/280.10 c 279s | 20 | 916161 | 855227 | 4475 430 | 20 | 48 281.25/282.12 c 281s | 20 | 922722 | 861627 | 4475 432 | 20 | 48 281.25/284.13 c 283s | 20 | 928372 | 867127 | 4475 434 | 20 | 48 281.25/286.15 c 285s | 20 | 935604 | 873927 | 4475 437 | 20 | 48 281.25/288.17 c 287s | 20 | 941963 | 880127 | 4475 440 | 20 | 48 288.46/290.21 c 289s | 20 | 948707 | 886627 | 4475 442 | 20 | 48 290.62/292.22 c 291s | 20 | 954775 | 892627 | 4475 445 | 20 | 48 290.62/294.23 c 293s | 20 | 960915 | 898627 | 4475 447 | 20 | 48 294.46/296.24 c 295s | 20 | 967049 | 904627 | 4475 449 | 20 | 48 294.46/298.26 c 297s | 20 | 974146 | 911427 | 4475 452 | 20 | 48 299.67/300.27 c 299s | 20 | 980046 | 917227 | 4475 454 | 20 | 48 300.30/302.29 c 301s | 20 | 986317 | 923427 | 4475 457 | 20 | 48 302.25/304.32 c 303s | 20 | 993319 | 930127 | 4475 460 | 20 | 48 306.24/306.33 c 305s | 20 | 1000219 | 936927 | 4475 462 | 20 | 48 308.24/308.35 c 307s | 20 | 1007386 | 943827 | 4475 465 | 20 | 48 310.24/310.37 c 309s | 20 | 1013930 | 950127 | 4475 468 | 20 | 48 312.34/312.40 c 312s | 20 | 1021435 | 957227 | 4475 470 | 20 | 48 314.35/314.43 c 314s | 20 | 1027884 | 963527 | 4475 473 | 20 | 48 316.34/316.44 c 316s | 20 | 1034397 | 969827 | 4475 476 | 20 | 48 318.34/318.45 c 318s | 20 | 1041895 | 976927 | 4475 478 | 20 | 48 320.34/320.48 c 320s | 20 | 1048878 | 983627 | 4475 481 | 20 | 48 322.34/322.48 c 322s | 20 | 1055418 | 990027 | 4475 484 | 20 | 48 324.34/324.49 c 324s | 20 | 1062406 | 996727 | 4923 486 | 20 | 48 325.44/325.59 c 325s | 21 | 1066159 | 1000345 | 4923 487 | 20 | 48 327.55/327.61 c 327s | 21 | 1072810 | 1006445 | 4923 490 | 20 | 48 329.54/329.62 c 329s | 21 | 1079431 | 1012945 | 4923 492 | 20 | 48 331.54/331.63 c 331s | 21 | 1085465 | 1018845 | 4923 494 | 20 | 48 333.54/333.65 c 333s | 21 | 1090662 | 1023845 | 4923 496 | 20 | 48 335.54/335.69 c 335s | 21 | 1095819 | 1028745 | 4923 498 | 20 | 48 337.64/337.70 c 337s | 21 | 1100545 | 1033245 | 4923 500 | 20 | 48 339.64/339.72 c 339s | 21 | 1105044 | 1037545 | 4923 501 | 20 | 48 341.64/341.76 c 341s | 21 | 1110142 | 1042345 | 4923 503 | 20 | 48 343.64/343.78 c 343s | 21 | 1115035 | 1046945 | 4923 505 | 20 | 48 345.73/345.80 c 345s | 21 | 1120826 | 1052545 | 4923 507 | 20 | 48 347.73/347.82 c 347s | 21 | 1126316 | 1057845 | 4923 509 | 20 | 48 349.73/349.82 c 349s | 21 | 1130910 | 1062245 | 4923 511 | 20 | 48 351.74/351.84 c 351s | 21 | 1136903 | 1067745 | 4923 513 | 20 | 48 353.73/353.84 c 353s | 21 | 1142226 | 1072545 | 4923 515 | 20 | 48 355.73/355.87 c 355s | 21 | 1148330 | 1078045 | 4923 517 | 20 | 48 357.73/357.87 c 357s | 21 | 1154473 | 1083845 | 4923 519 | 20 | 48 359.73/359.88 c 359s | 21 | 1161220 | 1089945 | 4923 521 | 20 | 48 361.83/361.90 c 361s | 21 | 1167948 | 1096045 | 4923 524 | 20 | 48 363.84/363.93 c 363s | 21 | 1174308 | 1102045 | 4923 526 | 20 | 48 365.83/365.95 c 365s | 21 | 1180937 | 1108145 | 4923 528 | 20 | 48 367.83/367.98 c 367s | 21 | 1187506 | 1114145 | 4923 530 | 20 | 48 369.93/370.00 c 369s | 21 | 1193504 | 1119845 | 4923 533 | 20 | 48 371.93/372.01 c 371s | 21 | 1200380 | 1126445 | 4923 535 | 20 | 48 373.93/374.03 c 373s | 21 | 1206607 | 1132345 | 4923 537 | 20 | 48 375.94/376.05 c 375s | 21 | 1213067 | 1138345 | 4923 540 | 20 | 48 377.94/378.08 c 377s | 21 | 1219663 | 1144445 | 4923 542 | 20 | 48 379.93/380.10 c 379s | 21 | 1225572 | 1149745 | 4923 544 | 20 | 48 382.03/382.10 c 381s | 21 | 1231028 | 1154945 | 4923 546 | 20 | 48 384.03/384.13 c 383s | 21 | 1236971 | 1160145 | 4923 548 | 20 | 48 386.03/386.16 c 385s | 21 | 1242793 | 1165245 | 4923 550 | 20 | 48 388.04/388.19 c 387s | 21 | 1247419 | 1169745 | 4923 552 | 20 | 48 390.03/390.20 c 389s | 21 | 1251885 | 1174045 | 4923 553 | 20 | 48 392.13/392.21 c 391s | 21 | 1256080 | 1178145 | 4923 555 | 20 | 48 394.13/394.27 c 393s | 21 | 1261603 | 1183245 | 4923 557 | 20 | 48 396.13/396.29 c 395s | 21 | 1266589 | 1187945 | 4923 558 | 20 | 48 398.23/398.31 c 397s | 21 | 1273629 | 1194245 | 4923 561 | 20 | 48 400.23/400.35 c 399s | 21 | 1280054 | 1200045 | 4923 563 | 20 | 48 402.23/402.38 c 401s | 21 | 1285527 | 1204945 | 4923 565 | 20 | 48 404.23/404.39 c 404s | 21 | 1290557 | 1209445 | 4923 567 | 20 | 48 406.33/406.42 c 406s | 21 | 1296534 | 1214745 | 4923 569 | 20 | 48 408.33/408.45 c 408s | 21 | 1302013 | 1219645 | 4923 570 | 20 | 48 410.33/410.48 c 410s | 21 | 1308050 | 1225145 | 4923 573 | 20 | 48 412.43/412.50 c 412s | 21 | 1313817 | 1230345 | 4923 574 | 20 | 48 414.43/414.50 c 414s | 21 | 1318291 | 1234545 | 4923 576 | 20 | 48 416.43/416.50 c 416s | 21 | 1323246 | 1239145 | 4923 578 | 20 | 48 418.43/418.52 c 418s | 21 | 1328976 | 1244445 | 4923 580 | 20 | 48 420.43/420.55 c 420s | 21 | 1334964 | 1250045 | 4923 582 | 20 | 48 422.42/422.55 c 422s | 21 | 1340930 | 1255545 | 4923 584 | 20 | 48 424.43/424.55 c 424s | 21 | 1346928 | 1260945 | 4923 586 | 20 | 48 426.43/426.58 c 426s | 21 | 1353507 | 1267145 | 4923 588 | 20 | 48 428.52/428.62 c 428s | 21 | 1360303 | 1273645 | 4923 591 | 20 | 48 430.52/430.64 c 430s | 21 | 1366770 | 1279545 | 4923 593 | 20 | 48 432.52/432.68 c 432s | 21 | 1372293 | 1284645 | 4923 595 | 20 | 48 434.52/434.68 c 434s | 21 | 1378404 | 1290145 | 4923 597 | 20 | 48 436.52/436.69 c 436s | 21 | 1384387 | 1295545 | 4923 599 | 20 | 48 438.63/438.71 c 438s | 21 | 1390238 | 1301045 | 4923 601 | 20 | 48 440.62/440.72 c 440s | 21 | 1396671 | 1307145 | 4923 604 | 20 | 48 442.62/442.73 c 442s | 21 | 1402359 | 1312445 | 4923 606 | 20 | 48 444.62/444.76 c 444s | 21 | 1407794 | 1317545 | 4923 607 | 20 | 48 446.62/446.76 c 446s | 21 | 1412839 | 1322345 | 4923 609 | 20 | 48 448.62/448.78 c 448s | 21 | 1418657 | 1327745 | 4923 611 | 20 | 48 450.63/450.79 c 450s | 21 | 1423914 | 1332745 | 4923 613 | 20 | 48 452.72/452.81 c 452s | 21 | 1429477 | 1337945 | 4923 615 | 20 | 48 454.72/454.82 c 454s | 21 | 1435466 | 1343345 | 4923 617 | 20 | 48 456.72/456.83 c 456s | 21 | 1440954 | 1348345 | 4923 619 | 20 | 48 458.72/458.84 c 458s | 21 | 1446946 | 1353745 | 4923 621 | 20 | 48 460.72/460.85 c 460s | 21 | 1452905 | 1359145 | 4923 623 | 20 | 48 462.72/462.86 c 462s | 21 | 1458288 | 1364045 | 4923 625 | 20 | 48 464.72/464.89 c 464s | 21 | 1464108 | 1369245 | 4923 627 | 20 | 48 466.82/466.90 c 466s | 21 | 1469782 | 1374445 | 4923 629 | 20 | 48 468.82/468.91 c 468s | 21 | 1476332 | 1380545 | 4923 631 | 20 | 48 470.82/470.93 c 470s | 21 | 1482725 | 1386345 | 4923 634 | 20 | 48 472.82/472.97 c 472s | 21 | 1489894 | 1392945 | 4923 636 | 20 | 48 474.92/475.00 c 474s | 21 | 1496336 | 1398745 | 4923 638 | 20 | 48 476.91/477.03 c 476s | 21 | 1502671 | 1404345 | 4923 640 | 20 | 48 478.91/479.04 c 478s | 21 | 1508991 | 1410145 | 4923 643 | 20 | 48 480.91/481.06 c 480s | 21 | 1515230 | 1415745 | 4923 645 | 20 | 48 482.91/483.07 c 482s | 21 | 1521149 | 1420945 | 4923 647 | 20 | 48 485.01/485.10 c 484s | 21 | 1525869 | 1425045 | 4923 648 | 20 | 48 487.02/487.11 c 486s | 21 | 1529731 | 1428545 | 4923 650 | 20 | 48 489.01/489.12 c 488s | 21 | 1533706 | 1432145 | 4923 651 | 20 | 48 491.01/491.12 c 490s | 21 | 1537409 | 1435645 | 4923 652 | 20 | 48 493.01/493.13 c 492s | 21 | 1540858 | 1438945 | 4923 654 | 20 | 48 495.01/495.15 c 494s | 21 | 1544519 | 1442445 | 4923 655 | 20 | 48 497.01/497.16 c 496s | 21 | 1548081 | 1445745 | 4923 656 | 20 | 48 499.02/499.18 c 498s | 21 | 1552517 | 1449945 | 4923 658 | 20 | 48 501.11/501.23 c 500s | 21 | 1557704 | 1454545 | 4923 660 | 20 | 48 503.11/503.26 c 502s | 21 | 1563061 | 1459645 | 4923 662 | 20 | 48 505.11/505.28 c 504s | 21 | 1566951 | 1463245 | 4923 663 | 20 | 48 507.21/507.32 c 506s | 21 | 1571081 | 1467045 | 4923 664 | 20 | 48 509.21/509.34 c 508s | 21 | 1576494 | 1471645 | 4923 666 | 20 | 48 511.21/511.34 c 510s | 21 | 1581197 | 1475945 | 4923 668 | 20 | 48 513.21/513.34 c 512s | 21 | 1586200 | 1480345 | 4923 669 | 20 | 48 515.20/515.38 c 514s | 21 | 1590058 | 1483945 | 4923 671 | 20 | 48 517.20/517.40 c 517s | 21 | 1594433 | 1488145 | 4923 672 | 20 | 48 519.30/519.44 c 519s | 21 | 1599464 | 1492745 | 5416 674 | 20 | 48 521.30/521.47 c 521s | 21 | 1605401 | 1498545 | 5416 676 | 20 | 48 522.40/522.50 c 522s | 22 | 1607503 | 1500622 | 5416 677 | 20 | 48 524.41/524.52 c 524s | 22 | 1613660 | 1506322 | 5416 679 | 20 | 48 526.41/526.54 c 526s | 22 | 1619643 | 1512222 | 5416 681 | 20 | 48 528.40/528.56 c 528s | 22 | 1625337 | 1517722 | 5416 682 | 20 | 48 530.50/530.60 c 530s | 22 | 1630253 | 1522122 | 5416 684 | 20 | 48 532.50/532.62 c 532s | 22 | 1635870 | 1527322 | 5416 686 | 20 | 48 534.50/534.64 c 534s | 22 | 1641875 | 1532922 | 5416 688 | 20 | 48 536.51/536.66 c 536s | 22 | 1647027 | 1537722 | 5416 689 | 20 | 48 538.50/538.67 c 538s | 22 | 1652691 | 1543122 | 5416 691 | 20 | 48 540.60/540.70 c 540s | 22 | 1658470 | 1548622 | 5416 693 | 20 | 48 542.60/542.73 c 542s | 22 | 1663844 | 1553622 | 5416 695 | 20 | 48 544.60/544.77 c 544s | 22 | 1669607 | 1559122 | 5416 697 | 20 | 48 546.70/546.80 c 546s | 22 | 1675395 | 1564722 | 5416 699 | 20 | 48 548.69/548.84 c 548s | 22 | 1680032 | 1569122 | 5416 700 | 20 | 48 550.70/550.85 c 550s | 22 | 1685057 | 1573622 | 5416 702 | 20 | 48 552.69/552.89 c 552s | 22 | 1690257 | 1578522 | 5416 704 | 20 | 48 554.79/554.91 c 554s | 22 | 1695950 | 1583822 | 5416 705 | 20 | 48 556.79/556.92 c 556s | 22 | 1701298 | 1588822 | 5416 707 | 20 | 48 558.79/558.94 c 558s | 22 | 1706802 | 1594022 | 5416 709 | 20 | 48 560.79/560.97 c 560s | 22 | 1712200 | 1599122 | 5416 711 | 20 | 48 562.79/562.99 c 562s | 22 | 1717844 | 1604422 | 5416 712 | 20 | 48 564.88/565.01 c 564s | 22 | 1723195 | 1609522 | 5416 714 | 20 | 48 566.88/567.03 c 566s | 22 | 1729013 | 1615122 | 5416 716 | 20 | 48 568.88/569.03 c 568s | 22 | 1733693 | 1619522 | 5416 718 | 20 | 48 570.88/571.03 c 570s | 22 | 1739469 | 1625122 | 5416 720 | 20 | 48 572.88/573.04 c 572s | 22 | 1744640 | 1630122 | 5416 721 | 20 | 48 574.88/575.06 c 574s | 22 | 1750281 | 1635322 | 5416 723 | 20 | 48 576.88/577.07 c 576s | 22 | 1755628 | 1640322 | 5416 725 | 20 | 48 578.87/579.08 c 578s | 22 | 1761557 | 1645922 | 5416 727 | 20 | 48 580.87/581.09 c 580s | 22 | 1767420 | 1651522 | 5416 729 | 20 | 48 582.87/583.09 c 582s | 22 | 1772977 | 1656822 | 5416 731 | 20 | 48 584.97/585.12 c 584s | 22 | 1778727 | 1662122 | 5416 733 | 20 | 48 586.98/587.14 c 586s | 22 | 1784549 | 1667622 | 5416 734 | 20 | 48 588.97/589.16 c 588s | 22 | 1790192 | 1672922 | 5416 736 | 20 | 48 591.07/591.20 c 590s | 22 | 1795951 | 1678322 | 5416 738 | 20 | 48 593.07/593.23 c 592s | 22 | 1800528 | 1682522 | 5416 740 | 20 | 48 595.07/595.25 c 594s | 22 | 1805869 | 1687522 | 5416 741 | 20 | 48 597.07/597.28 c 596s | 22 | 1812384 | 1693822 | 5416 743 | 20 | 48 599.17/599.31 c 598s | 22 | 1818224 | 1699422 | 5416 745 | 20 | 48 601.16/601.32 c 600s | 22 | 1824121 | 1705022 | 5416 747 | 20 | 48 603.16/603.33 c 602s | 22 | 1830224 | 1710722 | 5416 749 | 20 | 48 605.16/605.36 c 604s | 22 | 1836038 | 1716322 | 5416 751 | 20 | 48 607.16/607.39 c 607s | 22 | 1842276 | 1722222 | 5416 753 | 20 | 48 609.26/609.40 c 609s | 22 | 1848191 | 1727622 | 5416 755 | 20 | 48 611.27/611.41 c 611s | 22 | 1853745 | 1732922 | 5416 757 | 20 | 48 613.27/613.42 c 613s | 22 | 1860068 | 1738822 | 5416 759 | 20 | 48 615.27/615.45 c 615s | 22 | 1866208 | 1744622 | 5416 761 | 20 | 48 617.27/617.46 c 617s | 22 | 1872985 | 1750822 | 5416 763 | 20 | 48 619.26/619.48 c 619s | 22 | 1879296 | 1756622 | 5416 765 | 20 | 48 621.36/621.52 c 621s | 22 | 1885675 | 1762622 | 5416 767 | 20 | 48 623.37/623.54 c 623s | 22 | 1891747 | 1768222 | 5416 769 | 20 | 48 625.36/625.58 c 625s | 22 | 1898486 | 1774722 | 5416 771 | 20 | 48 627.36/627.59 c 627s | 22 | 1904459 | 1780322 | 5416 773 | 20 | 48 629.46/629.61 c 629s | 22 | 1910035 | 1785622 | 5416 775 | 20 | 48 631.46/631.63 c 631s | 22 | 1915709 | 1791022 | 5416 777 | 20 | 48 633.46/633.64 c 633s | 22 | 1921635 | 1796722 | 5416 779 | 20 | 48 635.46/635.66 c 635s | 22 | 1927467 | 1802322 | 5416 781 | 20 | 48 637.46/637.69 c 637s | 22 | 1932893 | 1807522 | 5416 783 | 20 | 48 639.45/639.69 c 639s | 22 | 1938613 | 1812822 | 5416 785 | 20 | 48 641.55/641.76 c 641s | 22 | 1944145 | 1818122 | 5416 787 | 20 | 48 643.55/643.78 c 643s | 22 | 1948341 | 1822222 | 5416 788 | 20 | 48 645.55/645.78 c 645s | 22 | 1953870 | 1827422 | 5416 790 | 20 | 48 647.65/647.82 c 647s | 22 | 1959238 | 1832522 | 5416 792 | 20 | 48 649.65/649.85 c 649s | 22 | 1964712 | 1837622 | 5416 793 | 20 | 48 651.65/651.88 c 651s | 22 | 1970111 | 1842722 | 5416 795 | 20 | 48 653.65/653.89 c 653s | 22 | 1975726 | 1848122 | 5416 797 | 20 | 48 655.75/655.93 c 655s | 22 | 1980501 | 1852722 | 5416 799 | 20 | 48 657.75/657.96 c 657s | 22 | 1986276 | 1858222 | 5416 800 | 20 | 48 659.74/659.99 c 659s | 22 | 1992172 | 1863722 | 5416 802 | 20 | 48 661.85/662.01 c 661s | 22 | 1998006 | 1869222 | 5416 804 | 20 | 48 663.84/664.03 c 663s | 22 | 2003625 | 1874422 | 5416 806 | 20 | 48 665.84/666.04 c 665s | 22 | 2009487 | 1880022 | 5416 808 | 20 | 48 667.84/668.08 c 667s | 22 | 2015953 | 1886222 | 5416 810 | 20 | 48 669.94/670.12 c 669s | 22 | 2021839 | 1891622 | 5416 812 | 20 | 48 671.94/672.12 c 671s | 22 | 2027127 | 1896722 | 5416 814 | 20 | 48 673.94/674.13 c 673s | 22 | 2033014 | 1902322 | 5416 816 | 20 | 48 675.93/676.13 c 675s | 22 | 2038269 | 1907322 | 5416 817 | 20 | 48 677.93/678.18 c 677s | 22 | 2042848 | 1911422 | 5416 819 | 20 | 48 680.03/680.25 c 679s | 22 | 2048035 | 1916222 | 5416 821 | 20 | 48 682.03/682.26 c 681s | 22 | 2054117 | 1921922 | 5416 822 | 20 | 48 684.03/684.27 c 683s | 22 | 2059659 | 1927122 | 5416 824 | 20 | 48 686.13/686.30 c 685s | 22 | 2065924 | 1932922 | 5416 826 | 20 | 48 688.14/688.31 c 687s | 22 | 2070875 | 1937322 | 5416 828 | 20 | 48 690.13/690.32 c 689s | 22 | 2075753 | 1941822 | 5416 829 | 20 | 48 692.13/692.33 c 691s | 22 | 2081182 | 1947022 | 5416 831 | 20 | 48 694.13/694.36 c 693s | 22 | 2086321 | 1951722 | 5416 833 | 20 | 48 696.12/696.39 c 696s | 22 | 2091256 | 1956422 | 5416 834 | 20 | 48 698.22/698.41 c 698s | 22 | 2096274 | 1961122 | 5416 836 | 20 | 48 700.23/700.42 c 700s | 22 | 2101374 | 1965922 | 5416 838 | 20 | 48 702.22/702.43 c 702s | 22 | 2106608 | 1970822 | 5416 839 | 20 | 48 704.22/704.44 c 704s | 22 | 2111045 | 1974822 | 5416 841 | 20 | 48 706.22/706.45 c 706s | 22 | 2116335 | 1979922 | 5416 843 | 20 | 48 708.22/708.45 c 708s | 22 | 2122537 | 1985822 | 5416 845 | 20 | 48 710.23/710.48 c 710s | 22 | 2127672 | 1990522 | 5416 846 | 20 | 48 712.22/712.50 c 712s | 22 | 2132484 | 1995122 | 5416 848 | 20 | 48 714.32/714.51 c 714s | 22 | 2138064 | 2000522 | 5416 850 | 20 | 48 716.32/716.52 c 716s | 22 | 2143244 | 2005522 | 5416 851 | 20 | 48 718.32/718.55 c 718s | 22 | 2147969 | 2010022 | 5416 853 | 20 | 48 720.32/720.56 c 720s | 22 | 2153203 | 2015022 | 5416 855 | 20 | 48 722.32/722.56 c 722s | 22 | 2158120 | 2019722 | 5416 856 | 20 | 48 724.31/724.58 c 724s | 22 | 2163280 | 2024522 | 5416 858 | 20 | 48 726.41/726.62 c 726s | 22 | 2168781 | 2029722 | 5416 860 | 20 | 48 728.41/728.62 c 728s | 22 | 2173988 | 2034522 | 5416 861 | 20 | 48 730.41/730.63 c 730s | 22 | 2179948 | 2040222 | 5416 863 | 20 | 48 732.41/732.64 c 732s | 22 | 2185134 | 2045122 | 5416 865 | 20 | 48 734.41/734.65 c 734s | 22 | 2190704 | 2050422 | 5416 867 | 20 | 48 736.41/736.70 c 736s | 22 | 2195492 | 2055022 | 5416 869 | 20 | 48 738.50/738.74 c 738s | 22 | 2200166 | 2059422 | 5416 870 | 20 | 48 740.50/740.75 c 740s | 22 | 2204671 | 2063622 | 5416 872 | 20 | 48 742.50/742.75 c 742s | 22 | 2211299 | 2070022 | 5416 874 | 20 | 48 744.50/744.77 c 744s | 22 | 2217784 | 2076122 | 5416 876 | 20 | 48 746.61/746.81 c 746s | 22 | 2223427 | 2081622 | 5416 878 | 20 | 48 748.61/748.82 c 748s | 22 | 2228769 | 2086722 | 5416 880 | 20 | 48 750.60/750.85 c 750s | 22 | 2234540 | 2092222 | 5416 881 | 20 | 48 752.60/752.88 c 752s | 22 | 2239935 | 2097422 | 5416 883 | 20 | 48 754.60/754.90 c 754s | 22 | 2245104 | 2102422 | 5416 885 | 20 | 48 756.70/756.90 c 756s | 22 | 2250948 | 2108022 | 5416 887 | 20 | 48 758.70/758.95 c 758s | 22 | 2255752 | 2112522 | 5416 889 | 20 | 48 760.70/760.96 c 760s | 22 | 2261879 | 2118122 | 5416 890 | 20 | 48 762.70/762.96 c 762s | 22 | 2267429 | 2123122 | 5416 892 | 20 | 48 764.70/764.97 c 764s | 22 | 2272705 | 2127822 | 5416 894 | 20 | 48 766.70/766.97 c 766s | 22 | 2279270 | 2134022 | 5416 896 | 20 | 48 768.79/769.00 c 768s | 22 | 2285948 | 2139922 | 5416 898 | 20 | 48 770.79/771.02 c 770s | 22 | 2291652 | 2145422 | 5416 900 | 20 | 48 772.80/773.03 c 772s | 22 | 2298479 | 2151622 | 5416 902 | 20 | 48 774.79/775.03 c 774s | 22 | 2303530 | 2156522 | 5416 904 | 20 | 48 776.79/777.05 c 776s | 22 | 2308774 | 2161622 | 5416 906 | 20 | 48 778.79/779.06 c 778s | 22 | 2315304 | 2167922 | 5416 908 | 20 | 48 780.79/781.07 c 780s | 22 | 2321261 | 2173622 | 5416 910 | 20 | 48 782.79/783.09 c 782s | 22 | 2327670 | 2179722 | 5416 912 | 20 | 48 784.89/785.12 c 784s | 22 | 2334303 | 2186022 | 5416 914 | 20 | 48 786.88/787.13 c 786s | 22 | 2340752 | 2192122 | 5416 916 | 20 | 48 788.88/789.16 c 788s | 22 | 2347616 | 2198622 | 5416 918 | 20 | 48 790.88/791.18 c 790s | 22 | 2353967 | 2204622 | 5416 921 | 20 | 48 792.88/793.19 c 792s | 22 | 2360298 | 2210522 | 5416 923 | 20 | 48 794.98/795.21 c 794s | 22 | 2367244 | 2217122 | 5416 925 | 20 | 48 796.98/797.21 c 796s | 22 | 2373535 | 2223222 | 5416 927 | 20 | 48 798.97/799.22 c 798s | 22 | 2380498 | 2229822 | 5416 929 | 20 | 48 800.97/801.22 c 800s | 22 | 2386702 | 2235422 | 5958 931 | 20 | 48 802.97/803.23 c 802s | 22 | 2392842 | 2240822 | 5958 933 | 20 | 48 804.97/805.29 c 804s | 22 | 2398742 | 2246322 | 5958 935 | 20 | 48 806.88/807.12 c 806s | 23 | 2403889 | 2251038 | 5958 936 | 20 | 48 808.87/809.12 c 808s | 23 | 2410557 | 2257238 | 5958 938 | 20 | 48 810.87/811.13 c 810s | 23 | 2416050 | 2262538 | 5958 940 | 20 | 48 812.87/813.15 c 812s | 23 | 2423495 | 2269338 | 5958 942 | 20 | 48 814.87/815.18 c 814s | 23 | 2429948 | 2275338 | 5958 944 | 20 | 48 816.96/817.22 c 816s | 23 | 2436196 | 2281038 | 5958 945 | 20 | 48 818.97/819.23 c 818s | 23 | 2442472 | 2286938 | 5958 947 | 20 | 48 820.96/821.24 c 820s | 23 | 2449048 | 2293038 | 5958 949 | 20 | 48 822.96/823.26 c 822s | 23 | 2455808 | 2299438 | 5958 951 | 20 | 48 824.96/825.29 c 824s | 23 | 2462172 | 2305338 | 5958 953 | 20 | 48 826.96/827.29 c 826s | 23 | 2468569 | 2311238 | 5958 955 | 20 | 48 829.06/829.30 c 828s | 23 | 2474489 | 2316738 | 5958 956 | 20 | 48 831.06/831.31 c 830s | 23 | 2480720 | 2322438 | 5958 958 | 20 | 48 833.06/833.31 c 832s | 23 | 2487164 | 2328538 | 5958 960 | 20 | 48 835.06/835.33 c 834s | 23 | 2493581 | 2334438 | 5958 962 | 20 | 48 837.06/837.35 c 836s | 23 | 2499583 | 2340038 | 5958 964 | 20 | 48 839.05/839.36 c 838s | 23 | 2505835 | 2345938 | 5958 966 | 20 | 48 841.06/841.36 c 840s | 23 | 2512117 | 2351738 | 5958 967 | 20 | 48 843.05/843.36 c 842s | 23 | 2518218 | 2357438 | 5958 969 | 20 | 48 845.05/845.38 c 844s | 23 | 2524330 | 2363238 | 5958 971 | 20 | 48 847.15/847.41 c 847s | 23 | 2529588 | 2368238 | 5958 973 | 20 | 48 849.15/849.43 c 849s | 23 | 2534749 | 2373138 | 5958 974 | 20 | 48 851.15/851.44 c 851s | 23 | 2540039 | 2378138 | 5958 976 | 20 | 48 853.15/853.44 c 853s | 23 | 2547127 | 2384838 | 5958 978 | 20 | 48 855.15/855.45 c 855s | 23 | 2553004 | 2390338 | 5958 980 | 20 | 48 857.15/857.45 c 857s | 23 | 2558999 | 2395938 | 5958 981 | 20 | 48 859.14/859.47 c 859s | 23 | 2565709 | 2402038 | 5958 983 | 20 | 48 861.14/861.47 c 861s | 23 | 2571930 | 2407638 | 5958 985 | 20 | 48 863.14/863.49 c 863s | 23 | 2577858 | 2413138 | 5958 987 | 20 | 48 865.25/865.51 c 865s | 23 | 2583813 | 2418838 | 5958 988 | 20 | 48 867.24/867.54 c 867s | 23 | 2589911 | 2424338 | 5958 990 | 20 | 48 869.24/869.55 c 869s | 23 | 2596341 | 2430338 | 5958 992 | 20 | 48 871.24/871.59 c 871s | 23 | 2602138 | 2435838 | 5958 994 | 20 | 48 873.34/873.63 c 873s | 23 | 2607738 | 2441038 | 5958 995 | 20 | 48 875.34/875.63 c 875s | 23 | 2613416 | 2446438 | 5958 997 | 20 | 48 877.34/877.64 c 877s | 23 | 2618250 | 2451038 | 5958 998 | 20 | 48 879.33/879.65 c 879s | 23 | 2624233 | 2456438 | 5958 1000 | 20 | 48 881.33/881.68 c 881s | 23 | 2630025 | 2461738 | 5958 1002 | 20 | 48 883.33/883.68 c 883s | 23 | 2635976 | 2466938 | 5958 1003 | 20 | 48 885.43/885.72 c 885s | 23 | 2642748 | 2473138 | 5958 1005 | 20 | 48 887.43/887.74 c 887s | 23 | 2647916 | 2478038 | 5958 1007 | 20 | 48 889.43/889.77 c 889s | 23 | 2652716 | 2482638 | 5958 1008 | 20 | 48 891.43/891.80 c 891s | 23 | 2657831 | 2487638 | 5958 1010 | 20 | 48 893.53/893.80 c 893s | 23 | 2662959 | 2492438 | 5958 1011 | 20 | 48 895.52/895.82 c 895s | 23 | 2668741 | 2498038 | 5958 1013 | 20 | 48 897.52/897.85 c 897s | 23 | 2673941 | 2502938 | 5958 1015 | 20 | 48 899.53/899.88 c 899s | 23 | 2678753 | 2507638 | 5958 1016 | 20 | 48 901.63/901.90 c 901s | 23 | 2684670 | 2513338 | 5958 1018 | 20 | 48 903.64/903.95 c 903s | 23 | 2689975 | 2518438 | 5958 1020 | 20 | 48 905.63/905.97 c 905s | 23 | 2695119 | 2523338 | 5958 1021 | 20 | 48 907.73/908.00 c 907s | 23 | 2701003 | 2529038 | 5958 1023 | 20 | 48 909.72/910.00 c 909s | 23 | 2706122 | 2533938 | 5958 1025 | 20 | 48 911.72/912.06 c 911s | 23 | 2712463 | 2540038 | 5958 1027 | 20 | 48 913.72/914.07 c 913s | 23 | 2718558 | 2545738 | 5958 1028 | 20 | 48 915.73/916.07 c 915s | 23 | 2724384 | 2551238 | 5958 1030 | 20 | 48 917.82/918.10 c 917s | 23 | 2730332 | 2556838 | 5958 1032 | 20 | 48 919.82/920.11 c 919s | 23 | 2736150 | 2562338 | 5958 1034 | 20 | 48 921.82/922.15 c 921s | 23 | 2742251 | 2568038 | 5958 1035 | 20 | 48 923.82/924.15 c 923s | 23 | 2747891 | 2573438 | 5958 1037 | 20 | 48 925.82/926.15 c 925s | 23 | 2755321 | 2580338 | 5958 1039 | 20 | 48 927.82/928.15 c 927s | 23 | 2761955 | 2586538 | 5958 1041 | 20 | 48 929.81/930.16 c 929s | 23 | 2768054 | 2592238 | 5958 1043 | 20 | 48 931.81/932.19 c 931s | 23 | 2774084 | 2597738 | 5958 1045 | 20 | 48 933.91/934.21 c 933s | 23 | 2780505 | 2603738 | 5958 1047 | 20 | 48 935.91/936.24 c 935s | 23 | 2787339 | 2609938 | 5958 1048 | 20 | 48 937.91/938.26 c 937s | 23 | 2793274 | 2615638 | 5958 1050 | 20 | 48 939.91/940.29 c 939s | 23 | 2798737 | 2620938 | 5958 1052 | 20 | 48 942.01/942.31 c 941s | 23 | 2805419 | 2627438 | 5958 1054 | 20 | 48 944.01/944.33 c 943s | 23 | 2811069 | 2632838 | 5958 1056 | 20 | 48 946.01/946.35 c 945s | 23 | 2816982 | 2638638 | 5958 1057 | 20 | 48 948.01/948.35 c 947s | 23 | 2823694 | 2645238 | 5958 1059 | 20 | 48 950.00/950.36 c 949s | 23 | 2830206 | 2651538 | 5958 1061 | 20 | 48 952.01/952.37 c 951s | 23 | 2836811 | 2657638 | 5958 1063 | 20 | 48 954.00/954.38 c 953s | 23 | 2843234 | 2663738 | 5958 1065 | 20 | 48 956.10/956.40 c 956s | 23 | 2848944 | 2668938 | 5958 1067 | 20 | 48 958.10/958.45 c 958s | 23 | 2854457 | 2674338 | 5958 1069 | 20 | 48 960.10/960.48 c 960s | 23 | 2859891 | 2679638 | 5958 1070 | 20 | 48 962.20/962.50 c 962s | 23 | 2865486 | 2685038 | 5958 1072 | 20 | 48 964.21/964.56 c 964s | 23 | 2870953 | 2690338 | 5958 1074 | 20 | 48 966.31/966.61 c 966s | 23 | 2876783 | 2695938 | 5958 1075 | 20 | 48 968.29/968.61 c 968s | 23 | 2882735 | 2701738 | 5958 1077 | 20 | 48 970.29/970.68 c 970s | 23 | 2887807 | 2706438 | 5958 1079 | 20 | 48 972.39/972.70 c 972s | 23 | 2892710 | 2711138 | 5958 1080 | 20 | 48 974.39/974.74 c 974s | 23 | 2897433 | 2715638 | 5958 1081 | 20 | 48 976.39/976.79 c 976s | 23 | 2902958 | 2720838 | 5958 1083 | 20 | 48 978.41/978.79 c 978s | 23 | 2909199 | 2726538 | 5958 1085 | 20 | 48 980.50/980.80 c 980s | 23 | 2915019 | 2732138 | 5958 1087 | 20 | 48 982.50/982.81 c 982s | 23 | 2923046 | 2740038 | 5958 1089 | 20 | 48 984.50/984.83 c 984s | 23 | 2929651 | 2746238 | 5958 1091 | 20 | 48 986.50/986.84 c 986s | 23 | 2936083 | 2752438 | 5958 1093 | 20 | 48 988.49/988.84 c 988s | 23 | 2942122 | 2758138 | 5958 1095 | 20 | 48 990.50/990.87 c 990s | 23 | 2948126 | 2763838 | 5958 1096 | 20 | 48 992.49/992.89 c 992s | 23 | 2954056 | 2769238 | 5958 1098 | 20 | 48 994.59/994.90 c 994s | 23 | 2960778 | 2775338 | 5958 1100 | 20 | 48 996.59/996.92 c 996s | 23 | 2966745 | 2780838 | 5958 1102 | 20 | 48 998.59/998.94 c 998s | 23 | 2973882 | 2787338 | 5958 1104 | 20 | 48 1000.59/1000.96 c 1000s | 23 | 2980402 | 2793438 | 5958 1106 | 20 | 48 1002.59/1003.00 c 1002s | 23 | 2986692 | 2799238 | 5958 1107 | 20 | 48 1004.69/1005.01 c 1004s | 23 | 2992293 | 2804438 | 5958 1109 | 20 | 48 1006.69/1007.02 c 1006s | 23 | 2998924 | 2810638 | 5958 1111 | 20 | 48 1008.68/1009.06 c 1008s | 23 | 3004300 | 2815738 | 5958 1113 | 20 | 48 1010.68/1011.08 c 1010s | 23 | 3009379 | 2820638 | 5958 1114 | 20 | 48 1012.78/1013.11 c 1012s | 23 | 3014380 | 2825338 | 5958 1116 | 20 | 48 1014.79/1015.13 c 1014s | 23 | 3019620 | 2830338 | 5958 1117 | 20 | 48 1016.78/1017.15 c 1016s | 23 | 3025185 | 2835638 | 5958 1119 | 20 | 48 1018.78/1019.16 c 1018s | 23 | 3030233 | 2840338 | 5958 1120 | 20 | 48 1020.78/1021.19 c 1020s | 23 | 3035964 | 2845938 | 5958 1122 | 20 | 48 1022.87/1023.20 c 1022s | 23 | 3041291 | 2851138 | 5958 1124 | 20 | 48 1024.87/1025.21 c 1024s | 23 | 3047105 | 2856738 | 5958 1126 | 20 | 48 1026.88/1027.26 c 1026s | 23 | 3053202 | 2862338 | 5958 1127 | 20 | 48 1028.87/1029.28 c 1028s | 23 | 3058901 | 2867638 | 5958 1129 | 20 | 48 1030.97/1031.30 c 1030s | 23 | 3064952 | 2873438 | 5958 1131 | 20 | 48 1032.97/1033.33 c 1032s | 23 | 3071699 | 2879838 | 5958 1133 | 20 | 48 1034.97/1035.36 c 1034s | 23 | 3078138 | 2885838 | 5958 1135 | 20 | 48 1036.97/1037.39 c 1037s | 23 | 3084406 | 2891838 | 5958 1137 | 20 | 48 1039.06/1039.43 c 1039s | 23 | 3090327 | 2897438 | 5958 1138 | 20 | 48 1041.07/1041.45 c 1041s | 23 | 3097148 | 2903838 | 5958 1140 | 20 | 48 1043.06/1043.45 c 1043s | 23 | 3103606 | 2909838 | 5958 1142 | 20 | 48 1045.06/1045.47 c 1045s | 23 | 3109802 | 2915838 | 5958 1144 | 20 | 48 1047.06/1047.50 c 1047s | 23 | 3116794 | 2922338 | 5958 1146 | 20 | 48 1049.16/1049.50 c 1049s | 23 | 3122287 | 2927638 | 5958 1148 | 20 | 48 1051.16/1051.51 c 1051s | 23 | 3127552 | 2932838 | 5958 1149 | 20 | 48 1053.16/1053.56 c 1053s | 23 | 3133621 | 2938438 | 5958 1151 | 20 | 48 1055.16/1055.59 c 1055s | 23 | 3138823 | 2943438 | 5958 1153 | 20 | 48 1057.26/1057.62 c 1057s | 23 | 3144421 | 2948838 | 5958 1154 | 20 | 48 1059.26/1059.64 c 1059s | 23 | 3150262 | 2954438 | 5958 1156 | 20 | 48 1061.25/1061.67 c 1061s | 23 | 3155936 | 2959938 | 5958 1158 | 20 | 48 1063.35/1063.70 c 1063s | 23 | 3161840 | 2965638 | 5958 1160 | 20 | 48 1065.36/1065.72 c 1065s | 23 | 3167670 | 2971238 | 5958 1161 | 20 | 48 1067.35/1067.73 c 1067s | 23 | 3173481 | 2976838 | 5958 1163 | 20 | 48 1069.35/1069.77 c 1069s | 23 | 3179705 | 2982738 | 5958 1165 | 20 | 48 1071.35/1071.78 c 1071s | 23 | 3185898 | 2988538 | 5958 1167 | 20 | 48 1073.45/1073.80 c 1073s | 23 | 3191952 | 2994238 | 5958 1169 | 20 | 48 1075.45/1075.80 c 1075s | 23 | 3196968 | 2998938 | 5958 1170 | 20 | 48 1077.45/1077.82 c 1077s | 23 | 3202681 | 3004338 | 5958 1172 | 20 | 48 1079.44/1079.84 c 1079s | 23 | 3208668 | 3009738 | 5958 1173 | 20 | 48 1081.44/1081.88 c 1081s | 23 | 3214080 | 3014938 | 5958 1175 | 20 | 48 1083.55/1083.95 c 1083s | 23 | 3218906 | 3019538 | 5958 1177 | 20 | 48 1085.55/1085.98 c 1085s | 23 | 3224700 | 3024938 | 5958 1178 | 20 | 48 1087.65/1088.02 c 1087s | 23 | 3229503 | 3029638 | 5958 1180 | 20 | 48 1089.64/1090.03 c 1089s | 23 | 3234002 | 3033938 | 5958 1181 | 20 | 48 1091.65/1092.04 c 1091s | 23 | 3239152 | 3038738 | 5958 1182 | 20 | 48 1093.64/1094.04 c 1093s | 23 | 3243960 | 3043438 | 5958 1184 | 20 | 48 1095.64/1096.04 c 1095s | 23 | 3248876 | 3048138 | 5958 1185 | 20 | 48 1097.64/1098.05 c 1097s | 23 | 3253787 | 3052838 | 5958 1187 | 20 | 48 1099.64/1100.08 c 1099s | 23 | 3258579 | 3057438 | 5958 1188 | 20 | 48 1101.74/1102.10 c 1101s | 23 | 3262882 | 3061638 | 5958 1190 | 20 | 48 1103.74/1104.12 c 1103s | 23 | 3267970 | 3066538 | 5958 1191 | 20 | 48 1105.73/1106.14 c 1105s | 23 | 3272187 | 3070638 | 5958 1192 | 20 | 48 1107.73/1108.15 c 1107s | 23 | 3276771 | 3075138 | 5958 1194 | 20 | 48 1109.73/1110.17 c 1109s | 23 | 3281605 | 3079838 | 5958 1195 | 20 | 48 1111.83/1112.21 c 1111s | 23 | 3286342 | 3084438 | 5958 1197 | 20 | 48 1113.83/1114.21 c 1113s | 23 | 3291300 | 3089038 | 5958 1198 | 20 | 48 1115.83/1116.26 c 1115s | 23 | 3295837 | 3093438 | 5958 1200 | 20 | 48 1117.93/1118.31 c 1117s | 23 | 3301162 | 3098538 | 5958 1201 | 20 | 48 1119.92/1120.31 c 1119s | 23 | 3305248 | 3102438 | 5958 1202 | 20 | 48 1121.92/1122.34 c 1121s | 23 | 3312075 | 3108938 | 5958 1204 | 20 | 48 1123.92/1124.38 c 1123s | 23 | 3317304 | 3114038 | 5958 1206 | 20 | 48 1126.02/1126.41 c 1126s | 23 | 3322038 | 3118638 | 5958 1207 | 20 | 48 1128.03/1128.44 c 1128s | 23 | 3326981 | 3123338 | 5958 1209 | 20 | 48 1130.02/1130.47 c 1130s | 23 | 3331414 | 3127638 | 5958 1210 | 20 | 48 1132.12/1132.51 c 1132s | 23 | 3336058 | 3132138 | 5958 1212 | 20 | 48 1134.12/1134.55 c 1134s | 23 | 3340917 | 3136638 | 5958 1213 | 20 | 48 1136.22/1136.62 c 1136s | 23 | 3344932 | 3140438 | 5958 1214 | 20 | 48 1138.22/1138.62 c 1138s | 23 | 3348726 | 3144038 | 5958 1215 | 20 | 48 1140.21/1140.62 c 1140s | 23 | 3352747 | 3147938 | 5958 1216 | 20 | 48 1142.22/1142.64 c 1142s | 23 | 3357267 | 3152338 | 5958 1218 | 20 | 48 1144.21/1144.66 c 1144s | 23 | 3361121 | 3156038 | 5958 1219 | 20 | 48 1146.21/1146.69 c 1146s | 23 | 3364869 | 3159638 | 5958 1220 | 20 | 48 1148.31/1148.72 c 1148s | 23 | 3369989 | 3164438 | 5958 1222 | 20 | 48 1150.31/1150.75 c 1150s | 23 | 3375392 | 3169638 | 5958 1223 | 20 | 48 1152.31/1152.75 c 1152s | 23 | 3379751 | 3173838 | 5958 1225 | 20 | 48 1154.31/1154.79 c 1154s | 23 | 3385066 | 3179038 | 5958 1226 | 20 | 48 1156.31/1156.79 c 1156s | 23 | 3390224 | 3183838 | 5958 1228 | 20 | 48 1158.40/1158.81 c 1158s | 23 | 3395491 | 3188838 | 5958 1229 | 20 | 48 1160.40/1160.83 c 1160s | 23 | 3401344 | 3194438 | 5958 1231 | 20 | 48 1162.40/1162.85 c 1162s | 23 | 3407060 | 3200038 | 5958 1233 | 20 | 48 1164.40/1164.88 c 1164s | 23 | 3412491 | 3205238 | 5958 1234 | 20 | 48 1166.41/1166.90 c 1166s | 23 | 3417569 | 3210038 | 5958 1236 | 20 | 48 1168.50/1168.92 c 1168s | 23 | 3422913 | 3215138 | 5958 1237 | 20 | 48 1170.50/1170.94 c 1170s | 23 | 3428803 | 3220738 | 5958 1239 | 20 | 48 1172.50/1172.96 c 1172s | 23 | 3434212 | 3225938 | 5958 1241 | 20 | 48 1174.50/1174.99 c 1174s | 23 | 3439939 | 3231338 | 5958 1243 | 20 | 48 1176.60/1177.01 c 1176s | 23 | 3445759 | 3236838 | 5958 1244 | 20 | 48 1178.61/1179.02 c 1178s | 23 | 3451854 | 3242538 | 5958 1246 | 20 | 48 1180.60/1181.04 c 1180s | 23 | 3457537 | 3247938 | 5958 1248 | 20 | 48 1182.60/1183.06 c 1182s | 23 | 3464049 | 3254238 | 5958 1250 | 20 | 48 1184.60/1185.06 c 1184s | 23 | 3469425 | 3259238 | 5958 1251 | 20 | 48 1186.60/1187.08 c 1186s | 23 | 3475169 | 3264838 | 5958 1253 | 20 | 48 1188.70/1189.10 c 1188s | 23 | 3481109 | 3270638 | 5958 1255 | 20 | 48 1190.70/1191.11 c 1190s | 23 | 3486765 | 3276138 | 5958 1257 | 20 | 48 1192.70/1193.11 c 1192s | 23 | 3493496 | 3282638 | 5958 1259 | 20 | 48 1194.70/1195.12 c 1194s | 23 | 3500222 | 3289138 | 5958 1261 | 20 | 48 1196.70/1197.16 c 1196s | 23 | 3506158 | 3294538 | 5958 1263 | 20 | 48 1198.69/1199.18 c 1198s | 23 | 3511618 | 3299638 | 5958 1264 | 20 | 48 1200.70/1201.18 c 1200s | 23 | 3517436 | 3305138 | 5958 1266 | 20 | 48 1202.71/1203.19 c 1202s | 23 | 3524244 | 3311638 | 5958 1268 | 20 | 48 1204.80/1205.21 c 1204s | 23 | 3530134 | 3317338 | 5958 1270 | 20 | 48 1206.80/1207.22 c 1206s | 23 | 3535737 | 3322738 | 5958 1271 | 20 | 48 1208.80/1209.24 c 1208s | 23 | 3541211 | 3328038 | 5958 1273 | 20 | 48 1210.80/1211.25 c 1210s | 23 | 3546556 | 3333138 | 5958 1275 | 20 | 48 1212.80/1213.25 c 1212s | 23 | 3551913 | 3338238 | 5958 1276 | 20 | 48 1214.81/1215.27 c 1214s | 23 | 3557467 | 3343538 | 5958 1278 | 20 | 48 1216.90/1217.31 c 1216s | 23 | 3562761 | 3348538 | 5958 1280 | 20 | 48 1218.90/1219.34 c 1218s | 23 | 3568390 | 3353738 | 6554 1281 | 20 | 48 1220.90/1221.34 c 1220s | 23 | 3574098 | 3359138 | 6554 1283 | 20 | 48 1222.90/1223.37 c 1222s | 23 | 3579884 | 3364738 | 6554 1284 | 20 | 48 1224.90/1225.39 c 1225s | 23 | 3585090 | 3369738 | 6554 1286 | 20 | 48 1226.91/1227.40 c 1227s | 23 | 3590429 | 3374838 | 6554 1287 | 20 | 48 1227.70/1228.15 c 1227s | 24 | 3592279 | 3376662 | 6554 1288 | 20 | 48 1229.70/1230.17 c 1229s | 24 | 3599714 | 3383662 | 6554 1290 | 20 | 48 1231.70/1232.18 c 1231s | 24 | 3605870 | 3389262 | 6554 1291 | 20 | 48 1233.70/1234.18 c 1233s | 24 | 3611278 | 3394362 | 6554 1293 | 20 | 48 1235.70/1236.18 c 1235s | 24 | 3617254 | 3400062 | 6554 1295 | 20 | 48 1237.79/1238.21 c 1237s | 24 | 3623204 | 3405462 | 6554 1296 | 20 | 48 1239.79/1240.22 c 1239s | 24 | 3629405 | 3411162 | 6554 1298 | 20 | 48 1241.79/1242.23 c 1241s | 24 | 3635790 | 3417262 | 6554 1300 | 20 | 48 1243.79/1244.24 c 1243s | 24 | 3642149 | 3423262 | 6554 1301 | 20 | 48 1245.79/1246.24 c 1245s | 24 | 3648066 | 3428962 | 6554 1303 | 20 | 48 1247.80/1248.28 c 1247s | 24 | 3653446 | 3433962 | 6554 1305 | 20 | 48 1249.89/1250.30 c 1249s | 24 | 3659912 | 3439962 | 6554 1306 | 20 | 48 1251.89/1252.34 c 1251s | 24 | 3666082 | 3445662 | 6554 1308 | 20 | 48 1253.89/1254.35 c 1253s | 24 | 3672007 | 3451362 | 6554 1310 | 20 | 48 1255.89/1256.37 c 1255s | 24 | 3677758 | 3456962 | 6554 1311 | 20 | 48 1257.99/1258.40 c 1258s | 24 | 3684200 | 3463062 | 6554 1313 | 20 | 48 1260.00/1260.43 c 1260s | 24 | 3691080 | 3469462 | 6554 1315 | 20 | 48 1261.99/1262.45 c 1262s | 24 | 3697238 | 3474962 | 6554 1317 | 20 | 48 1263.99/1264.46 c 1264s | 24 | 3703796 | 3480962 | 6554 1318 | 20 | 48 1265.99/1266.47 c 1266s | 24 | 3709471 | 3486462 | 6554 1320 | 20 | 48 1267.99/1268.49 c 1268s | 24 | 3715384 | 3492162 | 6554 1322 | 20 | 48 1270.09/1270.50 c 1270s | 24 | 3721539 | 3497962 | 6554 1323 | 20 | 48 1272.09/1272.51 c 1272s | 24 | 3727335 | 3503462 | 6554 1325 | 20 | 48 1274.08/1274.55 c 1274s | 24 | 3732924 | 3508862 | 6554 1327 | 20 | 48 1276.08/1276.58 c 1276s | 24 | 3739010 | 3514762 | 6554 1328 | 20 | 48 1278.18/1278.65 c 1278s | 24 | 3744711 | 3520162 | 6554 1330 | 20 | 48 1280.18/1280.65 c 1280s | 24 | 3750294 | 3525462 | 6554 1331 | 20 | 48 1282.18/1282.67 c 1282s | 24 | 3755898 | 3530862 | 6554 1333 | 20 | 48 1284.19/1284.67 c 1284s | 24 | 3761379 | 3535862 | 6554 1335 | 20 | 48 1286.18/1286.69 c 1286s | 24 | 3767100 | 3541162 | 6554 1336 | 20 | 48 1288.28/1288.72 c 1288s | 24 | 3772140 | 3545962 | 6554 1338 | 20 | 48 1290.28/1290.75 c 1290s | 24 | 3778098 | 3551462 | 6554 1339 | 20 | 48 1292.28/1292.77 c 1292s | 24 | 3783263 | 3556262 | 6554 1341 | 20 | 48 1294.28/1294.78 c 1294s | 24 | 3789319 | 3561662 | 6554 1342 | 20 | 48 1296.29/1296.79 c 1296s | 24 | 3794548 | 3566562 | 6554 1344 | 20 | 48 1298.39/1298.82 c 1298s | 24 | 3800728 | 3572262 | 6554 1345 | 20 | 48 1300.38/1300.83 c 1300s | 24 | 3806847 | 3577962 | 6554 1347 | 20 | 48 1302.38/1302.86 c 1302s | 24 | 3813024 | 3583862 | 6554 1349 | 20 | 48 1304.38/1304.87 c 1304s | 24 | 3819738 | 3590062 | 6554 1351 | 20 | 48 1306.48/1306.90 c 1306s | 24 | 3825897 | 3595962 | 6554 1352 | 20 | 48 1308.48/1308.91 c 1308s | 24 | 3831794 | 3601462 | 6554 1354 | 20 | 48 1310.48/1310.91 c 1310s | 24 | 3837781 | 3606862 | 6554 1356 | 20 | 48 1312.48/1312.96 c 1312s | 24 | 3843395 | 3612162 | 6554 1357 | 20 | 48 1314.49/1314.99 c 1314s | 24 | 3849701 | 3618262 | 6554 1359 | 20 | 48 1316.59/1317.06 c 1316s | 24 | 3856482 | 3624762 | 6554 1361 | 20 | 48 1318.59/1319.08 c 1318s | 24 | 3863225 | 3631162 | 6554 1363 | 20 | 48 1320.69/1321.11 c 1320s | 24 | 3869487 | 3637062 | 6554 1364 | 20 | 48 1322.69/1323.15 c 1322s | 24 | 3875968 | 3643162 | 6554 1366 | 20 | 48 1324.68/1325.17 c 1324s | 24 | 3882472 | 3649062 | 6554 1368 | 20 | 48 1326.68/1327.17 c 1326s | 24 | 3887920 | 3653862 | 6554 1369 | 20 | 48 1328.68/1329.20 c 1328s | 24 | 3894496 | 3659762 | 6554 1371 | 20 | 48 1330.78/1331.23 c 1330s | 24 | 3899793 | 3664262 | 6554 1372 | 20 | 48 1332.78/1333.25 c 1332s | 24 | 3905132 | 3669162 | 6554 1374 | 20 | 48 1334.88/1335.30 c 1334s | 24 | 3909604 | 3673162 | 6554 1375 | 20 | 48 1336.89/1337.34 c 1336s | 24 | 3914056 | 3677262 | 6554 1376 | 20 | 48 1338.88/1339.35 c 1338s | 24 | 3918070 | 3680862 | 6554 1377 | 20 | 48 1340.88/1341.38 c 1340s | 24 | 3923012 | 3685562 | 6554 1378 | 20 | 48 1342.88/1343.38 c 1342s | 24 | 3928099 | 3690362 | 6554 1380 | 20 | 48 1344.88/1345.39 c 1345s | 24 | 3933853 | 3695862 | 6554 1381 | 20 | 48 1346.98/1347.43 c 1347s | 24 | 3938992 | 3700562 | 6554 1383 | 20 | 48 1348.99/1349.50 c 1349s | 24 | 3943274 | 3704662 | 6554 1384 | 20 | 48 1351.08/1351.50 c 1351s | 24 | 3947746 | 3708962 | 6554 1385 | 20 | 48 1353.08/1353.51 c 1353s | 24 | 3953903 | 3714562 | 6554 1387 | 20 | 48 1355.08/1355.54 c 1355s | 24 | 3958671 | 3718862 | 6554 1388 | 20 | 48 1357.08/1357.55 c 1357s | 24 | 3963514 | 3723362 | 6554 1389 | 20 | 48 1359.08/1359.58 c 1359s | 24 | 3967926 | 3727362 | 6554 1390 | 20 | 48 1361.08/1361.60 c 1361s | 24 | 3972506 | 3731762 | 6554 1392 | 20 | 48 1363.17/1363.61 c 1363s | 24 | 3976102 | 3735262 | 6554 1393 | 20 | 48 1365.17/1365.61 c 1365s | 24 | 3979826 | 3738762 | 6554 1394 | 20 | 48 1367.17/1367.64 c 1367s | 24 | 3983657 | 3742062 | 6554 1394 | 20 | 48 1369.17/1369.67 c 1369s | 24 | 3988639 | 3746562 | 6554 1396 | 20 | 48 1371.17/1371.69 c 1371s | 24 | 3992719 | 3750562 | 6554 1397 | 20 | 48 1373.28/1373.71 c 1373s | 24 | 3998878 | 3756462 | 6554 1399 | 20 | 48 1375.27/1375.72 c 1375s | 24 | 4004688 | 3762162 | 6554 1400 | 20 | 48 1377.27/1377.75 c 1377s | 24 | 4011115 | 3768362 | 6554 1402 | 20 | 48 1379.27/1379.78 c 1379s | 24 | 4016450 | 3773162 | 6554 1403 | 20 | 48 1381.37/1381.82 c 1381s | 24 | 4020116 | 3776762 | 6554 1404 | 20 | 48 1383.37/1383.89 c 1383s | 24 | 4023295 | 3779862 | 6554 1405 | 20 | 48 1385.47/1385.96 c 1385s | 24 | 4026183 | 3782662 | 6554 1406 | 20 | 48 1387.48/1387.98 c 1387s | 24 | 4029569 | 3785962 | 6554 1407 | 20 | 48 1389.47/1389.99 c 1389s | 24 | 4032716 | 3789062 | 6554 1408 | 20 | 48 1391.57/1392.02 c 1391s | 24 | 4035642 | 3791862 | 6554 1409 | 20 | 48 1393.57/1394.03 c 1393s | 24 | 4038206 | 3794362 | 6554 1409 | 20 | 48 1395.57/1396.05 c 1395s | 24 | 4041969 | 3797962 | 6554 1410 | 20 | 48 1397.57/1398.06 c 1397s | 24 | 4045211 | 3801062 | 6554 1411 | 20 | 48 1399.57/1400.10 c 1399s | 24 | 4048596 | 3804362 | 6554 1412 | 20 | 48 1401.66/1402.14 c 1401s | 24 | 4052824 | 3808362 | 6554 1413 | 20 | 48 1403.67/1404.15 c 1403s | 24 | 4056761 | 3812162 | 6554 1414 | 20 | 48 1405.67/1406.15 c 1405s | 24 | 4060342 | 3815662 | 6554 1415 | 20 | 48 1407.67/1408.17 c 1407s | 24 | 4063559 | 3818762 | 6554 1416 | 20 | 48 1409.67/1410.18 c 1409s | 24 | 4067065 | 3822162 | 6554 1417 | 20 | 48 1411.68/1412.18 c 1411s | 24 | 4070277 | 3825262 | 6554 1418 | 20 | 48 1413.77/1414.22 c 1413s | 24 | 4073835 | 3828762 | 6554 1419 | 20 | 48 1415.87/1416.32 c 1415s | 24 | 4076823 | 3831662 | 6554 1420 | 20 | 48 1417.87/1418.34 c 1417s | 24 | 4083537 | 3837962 | 6554 1422 | 20 | 48 1419.87/1420.38 c 1419s | 24 | 4089337 | 3842662 | 6554 1423 | 20 | 48 1421.87/1422.38 c 1421s | 24 | 4093489 | 3846462 | 6554 1424 | 20 | 48 1423.87/1424.39 c 1424s | 24 | 4097876 | 3850562 | 6554 1425 | 20 | 48 1425.97/1426.41 c 1426s | 24 | 4102160 | 3854662 | 6554 1427 | 20 | 48 1427.97/1428.42 c 1428s | 24 | 4106969 | 3859162 | 6554 1428 | 20 | 48 1429.97/1430.42 c 1430s | 24 | 4111272 | 3863362 | 6554 1429 | 20 | 48 1431.97/1432.47 c 1432s | 24 | 4115439 | 3867262 | 6554 1430 | 20 | 48 1433.97/1434.48 c 1434s | 24 | 4119276 | 3870762 | 6554 1431 | 20 | 48 1436.07/1436.53 c 1436s | 24 | 4122560 | 3873862 | 6554 1432 | 20 | 48 1438.07/1438.59 c 1438s | 24 | 4125892 | 3877062 | 6554 1433 | 20 | 48 1440.17/1440.64 c 1440s | 24 | 4129234 | 3880262 | 6554 1434 | 20 | 48 1442.16/1442.65 c 1442s | 24 | 4133400 | 3884162 | 6554 1435 | 20 | 48 1444.26/1444.70 c 1444s | 24 | 4137015 | 3887562 | 6554 1436 | 20 | 48 1446.26/1446.72 c 1446s | 24 | 4140606 | 3890662 | 6554 1437 | 20 | 48 1448.26/1448.72 c 1448s | 24 | 4143704 | 3893562 | 6554 1438 | 20 | 48 1450.27/1450.75 c 1450s | 24 | 4149964 | 3899362 | 6554 1439 | 20 | 48 1452.26/1452.76 c 1452s | 24 | 4153978 | 3902762 | 6554 1440 | 20 | 48 1454.36/1454.80 c 1454s | 24 | 4158645 | 3906962 | 6554 1442 | 20 | 48 1456.36/1456.81 c 1456s | 24 | 4162838 | 3910562 | 6554 1443 | 20 | 48 1458.36/1458.84 c 1458s | 24 | 4166613 | 3913862 | 6554 1443 | 20 | 48 1460.36/1460.85 c 1460s | 24 | 4170930 | 3917962 | 6554 1445 | 20 | 48 1462.37/1462.88 c 1462s | 24 | 4175171 | 3921962 | 6554 1446 | 20 | 48 1464.47/1464.94 c 1464s | 24 | 4179569 | 3926162 | 6554 1447 | 20 | 48 1466.46/1466.97 c 1466s | 24 | 4184215 | 3930462 | 6554 1448 | 20 | 48 1468.56/1469.01 c 1468s | 24 | 4188693 | 3934662 | 6554 1449 | 20 | 48 1470.56/1471.03 c 1470s | 24 | 4193056 | 3938862 | 6554 1451 | 20 | 48 1472.56/1473.08 c 1472s | 24 | 4197001 | 3942462 | 6554 1452 | 20 | 48 1474.56/1475.09 c 1474s | 24 | 4200700 | 3945862 | 6554 1453 | 20 | 48 1476.66/1477.11 c 1476s | 24 | 4205904 | 3950362 | 6554 1454 | 20 | 48 1478.66/1479.14 c 1478s | 24 | 4210223 | 3954462 | 6554 1455 | 20 | 48 1480.66/1481.17 c 1480s | 24 | 4214701 | 3958862 | 6554 1456 | 20 | 48 1482.66/1483.19 c 1482s | 24 | 4219472 | 3963062 | 6554 1458 | 20 | 48 1484.76/1485.22 c 1484s | 24 | 4223414 | 3966662 | 6554 1459 | 20 | 48 1486.76/1487.25 c 1486s | 24 | 4226776 | 3969862 | 6554 1460 | 20 | 48 1488.76/1489.27 c 1488s | 24 | 4232375 | 3975062 | 6554 1461 | 20 | 48 1490.75/1491.27 c 1490s | 24 | 4236959 | 3979362 | 6554 1462 | 20 | 48 1492.75/1493.29 c 1492s | 24 | 4241044 | 3983362 | 6554 1463 | 20 | 48 1494.85/1495.33 c 1494s | 24 | 4245385 | 3987562 | 6554 1465 | 20 | 48 1496.85/1497.37 c 1496s | 24 | 4249650 | 3991762 | 6554 1466 | 20 | 48 1498.95/1499.42 c 1499s | 24 | 4254133 | 3996162 | 6554 1467 | 20 | 48 1500.95/1501.47 c 1501s | 24 | 4257953 | 3999562 | 6554 1468 | 20 | 48 1502.96/1503.47 c 1503s | 24 | 4261962 | 4003362 | 6554 1469 | 20 | 48 1504.95/1505.48 c 1505s | 24 | 4265748 | 4007062 | 6554 1470 | 20 | 48 1507.05/1507.50 c 1507s | 24 | 4269425 | 4010662 | 6554 1471 | 20 | 48 1509.05/1509.56 c 1509s | 24 | 4273682 | 4014762 | 6554 1472 | 20 | 48 1511.05/1511.59 c 1511s | 24 | 4277625 | 4018562 | 6554 1473 | 20 | 48 1513.15/1513.60 c 1513s | 24 | 4281681 | 4022362 | 6554 1475 | 20 | 48 1515.15/1515.68 c 1515s | 24 | 4285484 | 4025762 | 6554 1476 | 20 | 48 1517.25/1517.74 c 1517s | 24 | 4289637 | 4029362 | 6554 1477 | 20 | 48 1519.25/1519.77 c 1519s | 24 | 4293502 | 4032762 | 6554 1478 | 20 | 48 1521.25/1521.79 c 1521s | 24 | 4298587 | 4037162 | 6554 1479 | 20 | 48 1523.25/1523.79 c 1523s | 24 | 4301816 | 4040262 | 6554 1480 | 20 | 48 1525.25/1525.79 c 1525s | 24 | 4306330 | 4044462 | 6554 1481 | 20 | 48 1527.34/1527.84 c 1527s | 24 | 4310166 | 4047962 | 6554 1482 | 20 | 48 1529.35/1529.84 c 1529s | 24 | 4313904 | 4051362 | 6554 1483 | 20 | 48 1531.44/1531.90 c 1531s | 24 | 4318434 | 4055162 | 6554 1484 | 20 | 48 1533.44/1533.94 c 1533s | 24 | 4323108 | 4059462 | 6554 1485 | 20 | 48 1535.44/1535.97 c 1535s | 24 | 4328963 | 4064462 | 6554 1487 | 20 | 48 1537.54/1538.02 c 1537s | 24 | 4333929 | 4068662 | 6554 1488 | 20 | 48 1539.54/1540.02 c 1539s | 24 | 4338920 | 4072762 | 6554 1489 | 20 | 48 1541.64/1542.11 c 1541s | 24 | 4342062 | 4075562 | 6554 1490 | 20 | 48 1543.65/1544.14 c 1543s | 24 | 4345406 | 4078662 | 6554 1491 | 20 | 48 1545.64/1546.16 c 1545s | 24 | 4350383 | 4083362 | 6554 1492 | 20 | 48 1547.64/1548.17 c 1547s | 24 | 4355054 | 4087962 | 6554 1493 | 20 | 48 1549.74/1550.24 c 1549s | 24 | 4359384 | 4091762 | 6554 1494 | 20 | 48 1551.84/1552.30 c 1551s | 24 | 4362203 | 4094462 | 6554 1495 | 20 | 48 1553.84/1554.33 c 1553s | 24 | 4365242 | 4097262 | 6554 1496 | 20 | 48 1555.86/1556.34 c 1555s | 24 | 4370077 | 4101862 | 6554 1497 | 20 | 48 1557.85/1558.39 c 1558s | 24 | 4374751 | 4106362 | 6554 1499 | 20 | 48 1559.95/1560.40 c 1560s | 24 | 4379513 | 4110962 | 6554 1500 | 20 | 48 1561.95/1562.45 c 1562s | 24 | 4384255 | 4115562 | 6554 1501 | 20 | 48 1563.95/1564.47 c 1564s | 24 | 4388906 | 4120062 | 6554 1502 | 20 | 48 1565.95/1566.47 c 1566s | 24 | 4393630 | 4124662 | 6554 1504 | 20 | 48 1568.05/1568.51 c 1568s | 24 | 4398679 | 4129562 | 6554 1505 | 20 | 48 1570.05/1570.54 c 1570s | 24 | 4403910 | 4134662 | 6554 1507 | 20 | 48 1572.05/1572.54 c 1572s | 24 | 4409850 | 4140362 | 6554 1508 | 20 | 48 1574.05/1574.57 c 1574s | 24 | 4414597 | 4144962 | 6554 1510 | 20 | 48 1576.05/1576.59 c 1576s | 24 | 4420371 | 4150262 | 6554 1511 | 20 | 48 1578.15/1578.62 c 1578s | 24 | 4425071 | 4154762 | 6554 1512 | 20 | 48 1580.14/1580.63 c 1580s | 24 | 4429682 | 4159162 | 6554 1514 | 20 | 48 1582.15/1582.65 c 1582s | 24 | 4434423 | 4163762 | 6554 1515 | 20 | 48 1584.14/1584.66 c 1584s | 24 | 4439422 | 4168562 | 6554 1516 | 20 | 48 1586.24/1586.70 c 1586s | 24 | 4443766 | 4172762 | 6554 1517 | 20 | 48 1588.24/1588.71 c 1588s | 24 | 4448762 | 4177562 | 6554 1519 | 20 | 48 1590.24/1590.74 c 1590s | 24 | 4453844 | 4182362 | 6554 1520 | 20 | 48 1592.24/1592.76 c 1592s | 24 | 4459010 | 4187362 | 6554 1522 | 20 | 48 1594.25/1594.79 c 1594s | 24 | 4464037 | 4192162 | 6554 1523 | 20 | 48 1596.34/1596.81 c 1596s | 24 | 4468658 | 4196562 | 6554 1524 | 20 | 48 1598.34/1598.83 c 1598s | 24 | 4474270 | 4201762 | 6554 1526 | 20 | 48 1600.34/1600.86 c 1600s | 24 | 4479685 | 4206762 | 6554 1527 | 20 | 48 1602.34/1602.88 c 1602s | 24 | 4484577 | 4211362 | 6554 1529 | 20 | 48 1604.34/1604.89 c 1604s | 24 | 4489228 | 4215862 | 6554 1530 | 20 | 48 1606.45/1606.92 c 1606s | 24 | 4493591 | 4220062 | 6554 1531 | 20 | 48 1608.44/1608.92 c 1608s | 24 | 4498781 | 4225062 | 6554 1532 | 20 | 48 1610.44/1610.95 c 1610s | 24 | 4504702 | 4230562 | 6554 1534 | 20 | 48 1612.44/1612.96 c 1612s | 24 | 4510129 | 4235362 | 6554 1535 | 20 | 48 1614.44/1614.99 c 1614s | 24 | 4517495 | 4241562 | 6554 1537 | 20 | 48 1616.54/1617.03 c 1616s | 24 | 4523097 | 4246562 | 6554 1539 | 20 | 48 1618.54/1619.05 c 1618s | 24 | 4528212 | 4251262 | 6554 1540 | 20 | 48 1620.54/1621.06 c 1620s | 24 | 4533462 | 4256162 | 6554 1541 | 20 | 48 1622.54/1623.08 c 1622s | 24 | 4538519 | 4260962 | 6554 1543 | 20 | 48 1624.64/1625.10 c 1624s | 24 | 4543636 | 4265862 | 6554 1544 | 20 | 48 1626.63/1627.14 c 1626s | 24 | 4548559 | 4270562 | 6554 1545 | 20 | 48 1628.63/1629.15 c 1628s | 24 | 4553431 | 4275262 | 6554 1547 | 20 | 48 1630.64/1631.17 c 1630s | 24 | 4559148 | 4280762 | 6554 1548 | 20 | 48 1632.63/1633.18 c 1632s | 24 | 4564382 | 4285862 | 6554 1550 | 20 | 48 1634.63/1635.19 c 1634s | 24 | 4570516 | 4291662 | 6554 1551 | 20 | 48 1636.73/1637.22 c 1636s | 24 | 4575519 | 4296462 | 6554 1553 | 20 | 48 1638.73/1639.24 c 1638s | 24 | 4580398 | 4300562 | 6554 1554 | 20 | 48 1640.73/1641.25 c 1640s | 24 | 4584796 | 4304162 | 6554 1555 | 20 | 48 1642.74/1643.28 c 1642s | 24 | 4589561 | 4308762 | 6554 1556 | 20 | 48 1644.73/1645.28 c 1644s | 24 | 4593790 | 4312862 | 6554 1557 | 20 | 48 1646.83/1647.32 c 1646s | 24 | 4597930 | 4316762 | 6554 1559 | 20 | 48 1648.83/1649.36 c 1648s | 24 | 4603369 | 4321762 | 6554 1560 | 20 | 48 1650.93/1651.40 c 1651s | 24 | 4608298 | 4326262 | 6554 1561 | 20 | 48 1652.93/1653.44 c 1653s | 24 | 4612648 | 4330562 | 6554 1563 | 20 | 48 1654.93/1655.47 c 1655s | 24 | 4617241 | 4335062 | 6554 1564 | 20 | 48 1656.93/1657.50 c 1657s | 24 | 4621623 | 4339362 | 6554 1565 | 20 | 48 1659.03/1659.55 c 1659s | 24 | 4625272 | 4342962 | 6554 1566 | 20 | 48 1661.03/1661.57 c 1661s | 24 | 4630996 | 4348262 | 6554 1568 | 20 | 48 1663.03/1663.58 c 1663s | 24 | 4635188 | 4352162 | 6554 1569 | 20 | 48 1665.03/1665.58 c 1665s | 24 | 4639214 | 4356062 | 6554 1570 | 20 | 48 1667.03/1667.59 c 1667s | 24 | 4643870 | 4360362 | 6554 1571 | 20 | 48 1669.13/1669.63 c 1669s | 24 | 4648379 | 4364662 | 6554 1572 | 20 | 48 1671.13/1671.68 c 1671s | 24 | 4653060 | 4369062 | 6554 1574 | 20 | 48 1673.22/1673.76 c 1673s | 24 | 4656503 | 4372262 | 6554 1574 | 20 | 48 1675.22/1675.79 c 1675s | 24 | 4660905 | 4376362 | 6554 1576 | 20 | 48 1677.32/1677.81 c 1677s | 24 | 4666213 | 4381462 | 6554 1577 | 20 | 48 1679.32/1679.85 c 1679s | 24 | 4670434 | 4385462 | 6554 1578 | 20 | 48 1681.32/1681.88 c 1681s | 24 | 4674463 | 4388962 | 6554 1579 | 20 | 48 1683.43/1683.93 c 1683s | 24 | 4678467 | 4392662 | 6554 1580 | 20 | 48 1685.42/1685.94 c 1685s | 24 | 4681594 | 4395562 | 6554 1581 | 20 | 48 1687.52/1688.01 c 1687s | 24 | 4685589 | 4399362 | 6554 1582 | 20 | 48 1689.52/1690.04 c 1689s | 24 | 4688851 | 4402562 | 6554 1583 | 20 | 48 1691.62/1692.13 c 1691s | 24 | 4692966 | 4406362 | 6554 1584 | 20 | 48 1693.72/1694.22 c 1693s | 24 | 4695124 | 4408462 | 6554 1585 | 20 | 48 1695.72/1696.28 c 1695s | 24 | 4697377 | 4410662 | 6554 1585 | 20 | 48 1697.82/1698.31 c 1697s | 24 | 4700918 | 4413962 | 6554 1586 | 20 | 48 1699.83/1700.37 c 1699s | 24 | 4704901 | 4417562 | 6554 1587 | 20 | 48 1701.92/1702.43 c 1702s | 24 | 4708237 | 4420662 | 6554 1588 | 20 | 48 1703.92/1704.46 c 1704s | 24 | 4711868 | 4424162 | 6554 1589 | 20 | 48 1705.92/1706.46 c 1706s | 24 | 4714551 | 4426762 | 6554 1590 | 20 | 48 1708.02/1708.50 c 1708s | 24 | 4717834 | 4429962 | 6554 1591 | 20 | 48 1710.02/1710.52 c 1710s | 24 | 4721893 | 4433862 | 6554 1592 | 20 | 48 1712.02/1712.53 c 1712s | 24 | 4724172 | 4436062 | 6554 1593 | 20 | 48 1714.02/1714.53 c 1714s | 24 | 4726347 | 4438162 | 6554 1593 | 20 | 48 1716.02/1716.55 c 1716s | 24 | 4728793 | 4440562 | 6554 1594 | 20 | 48 1718.02/1718.59 c 1718s | 24 | 4731494 | 4443162 | 6554 1595 | 20 | 48 1720.12/1720.66 c 1720s | 24 | 4734526 | 4446062 | 6554 1596 | 20 | 48 1722.12/1722.68 c 1722s | 24 | 4739046 | 4450162 | 6554 1597 | 20 | 48 1724.22/1724.71 c 1724s | 24 | 4743791 | 4454462 | 6554 1598 | 20 | 48 1726.23/1726.73 c 1726s | 24 | 4747495 | 4457962 | 6554 1599 | 20 | 48 1728.22/1728.78 c 1728s | 24 | 4750452 | 4460862 | 6554 1600 | 20 | 48 1730.22/1730.78 c 1730s | 24 | 4754120 | 4464062 | 6554 1601 | 20 | 48 1732.32/1732.80 c 1732s | 24 | 4758203 | 4467762 | 6554 1602 | 20 | 48 1734.32/1734.82 c 1734s | 24 | 4761703 | 4471062 | 6554 1603 | 20 | 48 1736.32/1736.86 c 1736s | 24 | 4765046 | 4474262 | 6554 1604 | 20 | 48 1738.33/1738.90 c 1738s | 24 | 4768763 | 4477862 | 6554 1605 | 20 | 48 1740.42/1740.91 c 1740s | 24 | 4773884 | 4482462 | 6554 1606 | 20 | 48 1742.42/1742.92 c 1742s | 24 | 4779096 | 4487262 | 6554 1607 | 20 | 48 1744.42/1744.94 c 1744s | 24 | 4783600 | 4491462 | 6554 1608 | 20 | 48 1746.42/1746.95 c 1746s | 24 | 4788902 | 4496562 | 6554 1610 | 20 | 48 1748.42/1748.99 c 1748s | 24 | 4794478 | 4501462 | 6554 1611 | 20 | 48 1750.43/1750.99 c 1750s | 24 | 4799249 | 4506162 | 6554 1613 | 20 | 48 1752.52/1753.03 c 1752s | 24 | 4805055 | 4511262 | 6554 1614 | 20 | 48 1754.52/1755.03 c 1754s | 24 | 4810471 | 4515762 | 6554 1615 | 20 | 48 1756.52/1757.05 c 1756s | 24 | 4815864 | 4520662 | 6554 1617 | 20 | 48 1758.52/1759.06 c 1758s | 24 | 4820575 | 4525062 | 6554 1618 | 20 | 48 1760.62/1761.13 c 1760s | 24 | 4825186 | 4528962 | 6554 1619 | 20 | 48 1762.62/1763.16 c 1762s | 24 | 4829484 | 4532962 | 6554 1620 | 20 | 48 1764.62/1765.17 c 1764s | 24 | 4834132 | 4537462 | 6554 1622 | 20 | 48 1766.72/1767.21 c 1766s | 24 | 4839391 | 4542362 | 6554 1623 | 20 | 48 1768.72/1769.22 c 1768s | 24 | 4843084 | 4545862 | 6554 1624 | 20 | 48 1770.72/1771.26 c 1770s | 24 | 4847100 | 4549562 | 6554 1625 | 20 | 48 1772.72/1773.27 c 1772s | 24 | 4851556 | 4553362 | 6554 1626 | 20 | 48 1774.72/1775.29 c 1774s | 24 | 4856483 | 4557962 | 6554 1627 | 20 | 48 1776.82/1777.31 c 1776s | 24 | 4861372 | 4562262 | 6554 1629 | 20 | 48 1778.81/1779.36 c 1778s | 24 | 4865519 | 4566262 | 6554 1630 | 20 | 48 1780.81/1781.39 c 1781s | 24 | 4869693 | 4570162 | 6554 1631 | 20 | 48 1782.91/1783.40 c 1783s | 24 | 4874980 | 4574762 | 6554 1632 | 20 | 48 1784.91/1785.42 c 1785s | 24 | 4881227 | 4580562 | 6554 1634 | 20 | 48 1786.91/1787.43 c 1787s | 24 | 4887371 | 4586262 | 6554 1636 | 20 | 48 1788.92/1789.44 c 1789s | 24 | 4892030 | 4590462 | 6554 1637 | 20 | 48 1790.91/1791.45 c 1791s | 24 | 4897087 | 4595162 | 6554 1638 | 20 | 48 1792.91/1793.48 c 1793s | 24 | 4903923 | 4601062 | 6554 1640 | 20 | 48 1795.01/1795.50 c 1795s | 24 | 4909603 | 4606062 | 6554 1641 | 20 | 48 1797.01/1797.56 c 1797s | 24 | 4914707 | 4610662 | 6554 1643 | 20 | 48 1799.01/1799.56 c 1799s | 24 | 4919282 | 4615062 | 6554 1644 | 20 | 48
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-4106055-1466264161/watcher-4106055-1466264161 -o /tmp/evaluation-result-4106055-1466264161/solver-4106055-1466264161 -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-4106055-1466264161.opb pid=13270 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: 1.68 2.02 2.10 3/173 13273 /proc/meminfo: memFree=31187436/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=787900 CPUtime=0 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 2951 0 0 0 0 0 0 0 20 0 4 0 28465306 806809600 3312 33554432000 4194304 16246674 140736747289440 140736747288864 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13273/statm: 197743 3323 441 2943 0 194637 0 [pid=13273/tid=13274] ppid=13270 vsize=805308 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 824635392 3379 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=810428 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 829878272 3398 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=814524 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 834072576 3416 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 1.68 2.02 2.10 3/173 13273 /proc/meminfo: memFree=31187436/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 22269 0 0 0 6 3 0 0 20 0 4 0 28465306 1247350784 22618 33554432000 4194304 16246674 140736747289440 140736747271360 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13273/statm: 304529 22623 758 2943 0 301423 0 [pid=13273/tid=13274] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22629 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22638 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 22643 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1218116 [startup+0.200473 s] /proc/loadavg: 1.68 2.02 2.10 3/173 13273 /proc/meminfo: memFree=31187436/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 37173 0 0 0 14 5 0 0 20 0 4 0 28465306 1247350784 37522 33554432000 4194304 16246674 140736747289440 140736747271360 13780501 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13273/statm: 304529 37530 758 2943 0 301423 0 [pid=13273/tid=13274] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 37536 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 37546 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 37549 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1218116 [startup+0.30048 s] /proc/loadavg: 1.68 2.02 2.10 3/173 13273 /proc/meminfo: memFree=31187436/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 52523 0 0 0 23 6 0 0 20 0 4 0 28465306 1247350784 52873 33554432000 4194304 16246674 140736747289440 140736747271360 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13273/statm: 304529 52885 758 2943 0 301423 0 [pid=13273/tid=13274] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 52887 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 52891 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 52895 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1218116 [startup+0.700406 s] /proc/loadavg: 1.68 2.02 2.10 3/173 13273 /proc/meminfo: memFree=31187436/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1218116 CPUtime=0.68 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 121276 0 0 0 52 16 0 0 20 0 4 0 28465306 1247350784 121624 33554432000 4194304 16246674 140736747289440 140736747271360 5712452 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/13273/statm: 304529 121634 795 2943 0 301423 0 [pid=13273/tid=13274] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 121642 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 121649 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1247350784 121651 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 1.68 2.02 2.10 3/183 13286 /proc/meminfo: memFree=29595220/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1221188 CPUtime=1.49 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 246153 0 0 0 115 34 0 0 20 0 4 0 28465306 1250496512 246479 33554432000 4194304 16246674 140736747289440 140736747288656 12466686 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 305297 246479 853 2943 0 302191 0 [pid=13273/tid=13274] ppid=13270 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1250496512 246479 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1250496512 246479 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1250496512 246479 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1221188 [startup+3.10038 s] /proc/loadavg: 1.68 2.02 2.10 3/183 13286 /proc/meminfo: memFree=29142744/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1306180 CPUtime=3.09 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 267562 0 0 0 273 36 0 0 20 0 4 0 28465306 1337528320 267888 33554432000 4194304 16246674 140736747289440 140736747272440 12483204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 326545 267888 853 2943 0 323439 0 [pid=13273/tid=13274] ppid=13270 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 267888 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 267888 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1306180 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1337528320 267888 33554432000 4194304 16246674 140736747289440 140704873442480 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.35189 s] /proc/loadavg: 1.70 2.02 2.09 2/175 13318 /proc/meminfo: memFree=30130444/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1308228 CPUtime=6.34 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 268153 0 0 0 598 36 0 0 20 0 4 0 28465306 1339625472 268479 33554432000 4194304 16246674 140736747289440 140736747271360 13760162 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 327057 268479 853 2943 0 323951 0 [pid=13273/tid=13274] ppid=13270 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1339625472 268479 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1339625472 268479 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1339625472 268479 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 1308228 [startup+12.7698 s] /proc/loadavg: 1.73 2.02 2.09 4/183 13335 /proc/meminfo: memFree=29041876/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1309252 CPUtime=12.76 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 268168 0 0 0 1240 36 0 0 20 0 4 0 28465306 1340674048 268494 33554432000 4194304 16246674 140736747289440 140736747271360 12470661 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 327313 268494 853 2943 0 324207 0 [pid=13273/tid=13274] ppid=13270 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1340674048 268494 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1340674048 268494 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1340674048 268494 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.76 Current children cumulated vsize (KiB) 1309252 [startup+26.2767 s] /proc/loadavg: 1.77 2.02 2.09 3/183 13335 /proc/meminfo: memFree=29035884/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1311300 CPUtime=26.26 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 268923 0 0 0 2590 36 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140736747271360 6012004 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 327825 269249 855 2943 0 324719 0 [pid=13273/tid=13274] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 26.26 Current children cumulated vsize (KiB) 1311300 [startup+53.4439 s] /proc/loadavg: 1.83 2.02 2.09 4/183 13335 /proc/meminfo: memFree=29033132/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1311300 CPUtime=53.42 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 268923 0 0 0 5306 36 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140736747272440 5722834 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 327825 269249 855 2943 0 324719 0 [pid=13273/tid=13274] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1342771200 269249 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 53.42 Current children cumulated vsize (KiB) 1311300 [startup+102.44 s] /proc/loadavg: 1.93 2.01 2.08 3/183 13336 /proc/meminfo: memFree=29025208/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1314372 CPUtime=102.41 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 269691 0 0 0 10204 37 0 0 20 0 4 0 28465306 1345916928 270017 33554432000 4194304 16246674 140736747289440 140736747271360 13949744 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 328593 270017 855 2943 0 325487 0 [pid=13273/tid=13274] ppid=13270 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1345916928 270017 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1345916928 270017 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1345916928 270017 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.41 Current children cumulated vsize (KiB) 1314372 ################ # More data... # ################ /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1329732 [startup+1362.3 s] /proc/loadavg: 2.04 2.11 2.08 3/183 13367 /proc/meminfo: memFree=28984552/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1361.88 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 136139 49 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5711960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1329732 [startup+1422.3 s] /proc/loadavg: 2.01 2.09 2.08 3/183 13369 /proc/meminfo: memFree=28984284/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1421.87 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 142137 50 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747272440 5602038 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1329732 [startup+1482.3 s] /proc/loadavg: 2.16 2.12 2.09 3/184 13373 /proc/meminfo: memFree=28983796/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1481.86 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 148136 50 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5600808 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1329732 [startup+1542.3 s] /proc/loadavg: 2.14 2.11 2.09 3/184 13397 /proc/meminfo: memFree=28983968/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1541.84 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 154134 50 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5546023 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1329732 [startup+1602.3 s] /proc/loadavg: 2.18 2.12 2.09 4/183 13398 /proc/meminfo: memFree=28983588/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1601.84 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 160133 51 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1329732 [startup+1662.3 s] /proc/loadavg: 2.06 2.09 2.09 3/183 13399 /proc/meminfo: memFree=28983568/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1661.83 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 166132 51 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5823131 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1329732 [startup+1722.3 s] /proc/loadavg: 2.08 2.09 2.09 4/183 13401 /proc/meminfo: memFree=28983316/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1721.83 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 172131 52 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5674851 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1329732 [startup+1782.3 s] /proc/loadavg: 2.11 2.09 2.08 3/183 13402 /proc/meminfo: memFree=28983184/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1781.81 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 178129 52 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 12483218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1329732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.51 s] /proc/loadavg: 2.08 2.08 2.08 4/183 13402 /proc/meminfo: memFree=28983400/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1800.02 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 179950 52 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1329732 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 13273 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.51 s] /proc/loadavg: 2.08 2.08 2.08 4/183 13402 /proc/meminfo: memFree=28983400/32872528 swapFree=681964/737152 [pid=13273] ppid=13270 vsize=1329732 CPUtime=1800.02 cores=1,3,5,7 /proc/13273/stat : 13273 (toysat) R 13270 13273 13233 0 -1 4202496 273927 0 0 0 179950 52 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140736747271360 5823234 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/13273/statm: 332433 274115 857 2943 0 329327 0 [pid=13273/tid=13274] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13274/stat : 13274 (toysat) S 13270 13273 13233 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140705004498160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=13273/tid=13275] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13275/stat : 13275 (toysat) S 13270 13273 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704994008304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=13273/tid=13276] ppid=13270 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/13273/task/13276/stat : 13276 (toysat) S 13270 13273 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28465306 1361645568 274115 33554432000 4194304 16246674 140736747289440 140704873442480 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) 1329732 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.52 CPU time (s): 1800.03 CPU user time (s): 1799.51 CPU system time (s): 0.52292 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1329732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.52292 maximum resident set size= 1096460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273927 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= 408 involuntary context switches= 1841 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.97164 second user time and 15.7846 second system time The end
Begin job on node112 at 2016-06-18 17:36:01 IDJOB=4106055 IDBENCH=47908 IDSOLVER=2542 FILE ID=node112/4106055-1466264161 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106055-1466264161/watcher-4106055-1466264161 -o /tmp/evaluation-result-4106055-1466264161/solver-4106055-1466264161 -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-4106055-1466264161.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3f50fdda997abfe5e5c5cddf7b7c1313 RANDOM SEED=145833075 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: 31187592 kB Buffers: 56484 kB Cached: 153288 kB SwapCached: 2028 kB Active: 90996 kB Inactive: 122388 kB Active(anon): 3696 kB Inactive(anon): 2096 kB Active(file): 87300 kB Inactive(file): 120292 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 32700 kB Writeback: 0 kB AnonPages: 739744 kB Mapped: 6748 kB Shmem: 0 kB Slab: 601708 kB SReclaimable: 45812 kB SUnreclaim: 555896 kB KernelStack: 1344 kB PageTables: 6204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 834116 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 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 18:06:01