| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb |
| MD5SUM | 39b4faf02952fa93fd33b15cbf6e7d18 |
| 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.096984 |
| 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 | 108 |
| Total number of constraints | 9 |
| 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 | 9 |
| Minimum length of a constraint | 9 |
| Maximum length of a constraint | 99 |
| Number of terms in the objective function | 9 |
| Biggest coefficient in the objective function | 256 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 511 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 131072 |
| Number of bits of the biggest number in a constraint | 18 |
| Biggest sum of numbers in a constraint | 523264 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 324 |
| Sum of products size (including duplicates) | 648 |
| Number of different products | 324 |
| Sum of products size | 648 |
0.00/0.00 c 2016-06-18T18:27:44+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-4106202-1466267264.opb"] 0.00/0.01 c use --random-gen="1704181736 4115622911 2107402198 1889331175 2262522210 2648015475 1995614210 1420616266 3269240370 2170399779 3504479017 93768694 1805496578 264061740 3991893559 1239828389 3791593573 1095776804 1798583438 1107433648 2858870954 86809768 909208914 2018180734 593579388 1748976758 4222663406 1146854267 2762811984 882613661 4259203084 2478019396 2838895941 3525872251 3294382135 2439689055 674617227 802350031 333285371 2008320815 1281229205 1611540206 3717420891 1133567078 4018075797 2052287477 1146883280 3364308830 3875595808 2591214773 3934580438 3485271267 637920538 1316589833 3523989425 2867212841 693297244 3390866011 1008054296 247815560 1750307869 358779649 2514961707 1972025359 3631933612 1008936883 533759334 1661855432 844597641 2053947778 979538590 2119904802 440655457 1222541202 299901249 1678423836 2871114265 2481409392 3085750094 3731958162 3945255818 904087260 832006206 2954739136 3636804887 2249483581 2003311812 580486246 519531836 2015727638 422516862 1263882744 2581635500 3640113340 2216150382 3435656913 3740481575 4155401321 2406206205 3758445607 397653130 3162970310 2364721841 355444738 2865589808 1442317635 2858947136 1947018187 1819307358 3799904508 1769355844 3719019674 3942468819 3239306900 2020923368 174471141 4257568146 3973611299 3959963522 3652359098 2729069656 183974600 1621014622 1623466343 2527438587 2941464060 3291359588 2679596206 6938338 2647284859 3923255803 2472561225 1073820055 475203053 1246304498 2705005535 1733490692 2193487867 696752092 1168827319 1344704938 898027789 140714906 2962145294 2984947725 2218775431 3344316252 908157872 1073043616 1853907562 4171780210 2248227178 4074324725 1088605904 3343701512 1651099953 3996883047 3589597751 1812526843 2993083497 2947597782 697498931 131427503 179345024 2924402046 3047663867 1775179618 2819118936 3466162257 2723749079 2480605000 2082346843 1973479412 537759699 980547690 3273643750 260332474 127381188 510253737 236972720 1425116575 699640235 942412727 3327593208 3585720849 476419952 2718159526 1137925509 2745629717 2335984783 2663630371 3900535951 4281294735 782192364 3480183230 1848925983 2745110464 1712995220 4153316645 4010131409 3972160332 493342929 4126233626 4258054441 1468464366 2254435266 401475702 2294634639 2856076208 1739228677 2218793928 255572484 3432410184 2481241390 2162657332 3983091567 3259416943 348548672 1914635629 3372714861 571060631 3743575958 2735228992 1202152280 3225050973 2368352267 243190302 1724592753 953715648 3339438941 3617595965 2355357075 439717544 625271640 1672220381 1884879222 4147735603 1288751879 725814732 2824519648 879277902 3094383665 1834989735 3861553044 2728220161 2813247387 433616941 1896838053 1679480457 2536308466 3357440441 643211135 4266938081 3805120763 4125856263 2444196633 255 362436" option to reproduce the execution 0.00/0.01 c #vars 108 0.00/0.01 c #constraints 9 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 | 472 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 144 | 100 | 472 0 | 0 | 0 0.09/0.12 c 0.1s | 2 | 352 | 250 | 520 0 | 0 | 0 0.09/0.16 c 0.1s | 2 | 498 | 334 | 572 0 | 0 | 0 0.09/0.16 c #cpu_time = 0.143s 0.09/0.16 c #wall_clock_time = 0.143s 0.09/0.16 c #decision = 498 0.09/0.16 c #random_decision = 2 0.09/0.16 c #conflict = 334 0.09/0.16 c #restart = 2 0.09/0.16 o 239 0.09/0.16 c BCD2: hardening fixes 1 literals 0.09/0.16 c BCD2: updating upper bound: 511 -> 238 0.09/0.16 c BCD2: 0 <= obj <= 238 0.09/0.16 c BCD2: #cores=0, #unrelaxed=8, #relaxed=0, #hardened=1 0.09/0.16 c BCD2: #sat=1 #unsat=1 bias=1/2 0.09/0.16 c Solving starts ... 0.09/0.16 c ============================[ Search Statistics ]============================ 0.09/0.16 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.16 c | | | | Limit GC | Var | Constra 0.09/0.16 c ============================================================================= 0.09/0.16 c 0.0s | 0 | 0 | 0 | 572 0 | 11 | 0 0.09/0.17 c 0.0s | 0 | 6 | 0 | 572 0 | 11 | 27 0.09/0.17 c #cpu_time = 0.003s 0.09/0.17 c #wall_clock_time = 0.003s 0.09/0.17 c #decision = 6 0.09/0.17 c #random_decision = 0 0.09/0.17 c #conflict = 0 0.09/0.17 c #restart = 0 0.09/0.17 c BCD2: found a new core of size 7: cost of the new core is >=2 0.09/0.17 c lower bound updated to 2 0.09/0.17 c BCD2: 2 <= obj <= 238 0.09/0.17 c BCD2: #cores=1, #unrelaxed=1, #relaxed=7, #hardened=1 0.09/0.17 c BCD2: #sat=1 #unsat=2 bias=2/3 0.09/0.17 c Solving starts ... 0.09/0.17 c ============================[ Search Statistics ]============================ 0.09/0.17 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.17 c | | | | Limit GC | Var | Constra 0.09/0.17 c ============================================================================= 0.09/0.17 c 0.0s | 0 | 0 | 0 | 572 0 | 11 | 27 0.18/0.20 c 0.0s | 1 | 135 | 100 | 572 0 | 11 | 27 0.39/0.47 c 0.3s | 2 | 335 | 250 | 630 0 | 11 | 27 0.49/0.55 c 0.4s | 3 | 633 | 475 | 630 1 | 11 | 27 0.69/0.79 c 0.6s | 4 | 1013 | 813 | 693 1 | 11 | 27 0.99/1.05 c 0.9s | 5 | 1644 | 1320 | 763 2 | 11 | 27 1.68/1.74 c 1.6s | 6 | 2523 | 2081 | 840 4 | 11 | 27 1.88/1.99 c 1.8s | 7 | 3801 | 3223 | 925 5 | 11 | 27 2.59/2.66 c 2.5s | 8 | 5629 | 4936 | 1018 8 | 11 | 27 3.49/3.50 c 3.3s | 9 | 8362 | 7506 | 1120 12 | 11 | 27 4.79/4.83 c 4.7s | 10 | 12649 | 11361 | 1232 17 | 11 | 27 6.09/6.18 c 6.0s | 11 | 18568 | 17144 | 1356 24 | 11 | 27 8.19/8.21 c 8.0s | 11 | 24469 | 22544 | 1356 30 | 11 | 27 9.29/9.34 c 9.2s | 12 | 27793 | 25819 | 1492 34 | 11 | 27 11.29/11.34 c 11.2s | 12 | 34630 | 32319 | 1492 41 | 11 | 27 13.29/13.31 c 13.1s | 13 | 41276 | 38832 | 1642 48 | 11 | 27 15.28/15.32 c 15.2s | 13 | 47429 | 44732 | 1642 53 | 11 | 27 17.28/17.35 c 17.2s | 13 | 53378 | 50532 | 1642 59 | 11 | 27 19.28/19.39 c 19.2s | 13 | 59371 | 56432 | 1642 65 | 11 | 27 20.08/20.11 c 19.9s | 14 | 61314 | 58352 | 1807 67 | 11 | 27 22.09/22.13 c 22.0s | 14 | 67613 | 64352 | 1807 72 | 11 | 27 24.08/24.15 c 24.0s | 14 | 74647 | 71252 | 1807 79 | 11 | 27 26.08/26.15 c 26.0s | 14 | 81512 | 77852 | 1807 85 | 11 | 27 28.08/28.17 c 28.0s | 14 | 88696 | 84852 | 1807 92 | 11 | 27 28.88/28.98 c 28.8s | 15 | 91565 | 87632 | 1988 94 | 11 | 27 30.98/31.02 c 30.9s | 15 | 99561 | 95432 | 1988 101 | 11 | 27 32.99/33.06 c 32.9s | 15 | 103819 | 99332 | 1988 104 | 11 | 27 35.08/35.10 c 34.9s | 15 | 109982 | 105332 | 1988 109 | 11 | 27 37.08/37.13 c 37.0s | 15 | 115693 | 110732 | 1988 114 | 11 | 27 39.08/39.16 c 39.0s | 15 | 121310 | 116132 | 1988 119 | 11 | 27 41.08/41.18 c 41.0s | 15 | 127383 | 122032 | 1988 124 | 11 | 27 43.08/43.18 c 43.0s | 15 | 133005 | 127332 | 1988 128 | 11 | 27 44.78/44.85 c 44.7s | 16 | 137402 | 131552 | 2187 132 | 11 | 27 46.78/46.88 c 46.7s | 16 | 144729 | 138552 | 2187 137 | 11 | 27 48.78/48.89 c 48.7s | 16 | 152941 | 146452 | 2187 144 | 11 | 27 50.88/50.91 c 50.7s | 16 | 159705 | 152952 | 2187 149 | 11 | 27 52.89/52.92 c 52.7s | 16 | 167342 | 160252 | 2187 155 | 11 | 27 54.88/54.94 c 54.8s | 16 | 174856 | 167452 | 2187 160 | 11 | 27 56.88/56.94 c 56.8s | 16 | 182295 | 174652 | 2187 166 | 11 | 27 58.88/58.96 c 58.8s | 16 | 189829 | 181852 | 2187 172 | 11 | 27 60.88/60.96 c 60.8s | 16 | 197367 | 189152 | 2187 178 | 11 | 27 62.88/62.99 c 62.8s | 16 | 204851 | 196352 | 2406 183 | 11 | 27 63.28/63.36 c 63.2s | 17 | 206002 | 197432 | 2406 184 | 11 | 27 65.28/65.36 c 65.2s | 17 | 211650 | 202732 | 2406 188 | 11 | 27 67.28/67.36 c 67.2s | 17 | 217693 | 208532 | 2406 192 | 11 | 27 69.29/69.39 c 69.2s | 17 | 223955 | 214632 | 2406 196 | 11 | 27 71.28/71.39 c 71.2s | 17 | 230735 | 221232 | 2406 201 | 11 | 27 73.38/73.41 c 73.2s | 17 | 236731 | 227032 | 2406 205 | 11 | 27 75.38/75.44 c 75.3s | 17 | 242893 | 233032 | 2406 210 | 11 | 27 77.38/77.46 c 77.3s | 17 | 248484 | 238432 | 2406 214 | 11 | 27 79.38/79.49 c 79.3s | 17 | 255053 | 244932 | 2406 218 | 11 | 27 81.38/81.49 c 81.3s | 17 | 261983 | 251732 | 2406 223 | 11 | 27 83.38/83.49 c 83.3s | 17 | 267926 | 257532 | 2406 228 | 11 | 27 85.48/85.50 c 85.3s | 17 | 274063 | 263532 | 2406 232 | 11 | 27 87.48/87.52 c 87.4s | 17 | 279751 | 269032 | 2406 236 | 11 | 27 89.48/89.52 c 89.4s | 17 | 285974 | 275132 | 2406 240 | 11 | 27 91.48/91.55 c 91.4s | 17 | 291732 | 280632 | 2406 244 | 11 | 27 93.48/93.57 c 93.4s | 17 | 297116 | 285532 | 2406 248 | 11 | 27 95.47/95.59 c 95.4s | 17 | 302280 | 290432 | 2406 251 | 11 | 27 97.57/97.66 c 97.5s | 17 | 307681 | 295432 | 2647 255 | 11 | 27 97.88/97.98 c 97.8s | 18 | 308519 | 296252 | 2647 255 | 11 | 27 99.97/100.01 c 99.8s | 18 | 316142 | 303552 | 2647 260 | 11 | 27 101.97/102.02 c 101s | 18 | 323485 | 310552 | 2647 265 | 11 | 27 103.97/104.02 c 103s | 18 | 330939 | 317852 | 2647 270 | 11 | 27 105.97/106.05 c 105s | 18 | 337870 | 324552 | 2647 274 | 11 | 27 107.97/108.06 c 107s | 18 | 344624 | 331052 | 2647 279 | 11 | 27 109.98/110.07 c 109s | 18 | 350893 | 337252 | 2647 283 | 11 | 27 112.07/112.10 c 111s | 18 | 357649 | 343852 | 2647 287 | 11 | 27 114.07/114.11 c 113s | 18 | 364465 | 350452 | 2647 292 | 11 | 27 116.07/116.11 c 115s | 18 | 370585 | 356352 | 2647 296 | 11 | 27 118.07/118.12 c 117s | 18 | 376621 | 362052 | 2647 300 | 11 | 27 120.07/120.16 c 119s | 18 | 383175 | 368352 | 2647 304 | 11 | 27 122.07/122.19 c 122s | 18 | 389839 | 374652 | 2647 308 | 11 | 27 124.17/124.22 c 124s | 18 | 395326 | 379952 | 2647 312 | 11 | 27 126.17/126.23 c 126s | 18 | 401431 | 385952 | 2647 316 | 11 | 27 128.17/128.25 c 128s | 18 | 407535 | 391952 | 2647 320 | 11 | 27 130.17/130.25 c 130s | 18 | 413592 | 397752 | 2647 324 | 11 | 27 132.17/132.29 c 132s | 18 | 419744 | 403652 | 2647 328 | 11 | 27 134.27/134.32 c 134s | 18 | 426232 | 409852 | 2647 332 | 11 | 27 136.27/136.33 c 136s | 18 | 433036 | 416352 | 2647 336 | 11 | 27 138.27/138.34 c 138s | 18 | 440052 | 423152 | 2647 341 | 11 | 27 140.26/140.36 c 140s | 18 | 446977 | 429852 | 2647 345 | 11 | 27 142.26/142.37 c 142s | 18 | 453070 | 435652 | 2647 349 | 11 | 27 144.26/144.39 c 144s | 18 | 458944 | 441252 | 2912 353 | 11 | 27 145.46/145.50 c 145s | 19 | 462345 | 444482 | 2912 355 | 11 | 27 147.47/147.53 c 147s | 19 | 468655 | 450482 | 2912 358 | 11 | 27 149.46/149.54 c 149s | 19 | 474913 | 456482 | 2912 362 | 11 | 27 151.46/151.55 c 151s | 19 | 481152 | 462482 | 2912 366 | 11 | 27 153.46/153.57 c 153s | 19 | 487111 | 468182 | 2912 369 | 11 | 27 155.46/155.57 c 155s | 19 | 493248 | 473982 | 2912 373 | 11 | 27 157.46/157.58 c 157s | 19 | 499449 | 479982 | 2912 376 | 11 | 27 159.47/159.58 c 159s | 19 | 506014 | 486282 | 2912 380 | 11 | 27 161.56/161.63 c 161s | 19 | 511634 | 491682 | 2912 384 | 11 | 27 163.57/163.64 c 163s | 19 | 517905 | 497582 | 2912 387 | 11 | 27 165.57/165.66 c 165s | 19 | 524497 | 503882 | 2912 391 | 11 | 27 167.57/167.69 c 167s | 19 | 530948 | 509882 | 2912 395 | 11 | 27 169.67/169.72 c 169s | 19 | 537355 | 515982 | 2912 399 | 11 | 27 171.67/171.75 c 171s | 19 | 543694 | 521982 | 2912 402 | 11 | 27 173.77/173.82 c 173s | 19 | 549559 | 527582 | 2912 406 | 11 | 27 175.76/175.82 c 175s | 19 | 554795 | 532182 | 2912 409 | 11 | 27 177.76/177.84 c 177s | 19 | 560981 | 537882 | 2912 412 | 11 | 27 179.76/179.85 c 179s | 19 | 567397 | 543982 | 2912 416 | 11 | 27 181.76/181.86 c 181s | 19 | 574456 | 550682 | 2912 420 | 11 | 27 183.77/183.89 c 183s | 19 | 581334 | 557182 | 2912 424 | 11 | 27 185.76/185.89 c 185s | 19 | 587745 | 563382 | 2912 428 | 11 | 27 187.86/187.91 c 187s | 19 | 593729 | 569182 | 2912 431 | 11 | 27 189.86/189.92 c 189s | 19 | 599912 | 575182 | 2912 435 | 11 | 27 191.86/191.97 c 191s | 19 | 605680 | 580682 | 2912 438 | 11 | 27 193.86/193.99 c 193s | 19 | 611342 | 586082 | 2912 442 | 11 | 27 195.96/196.01 c 195s | 19 | 616470 | 590882 | 2912 445 | 11 | 27 197.97/198.02 c 197s | 19 | 622980 | 597282 | 2912 448 | 11 | 27 199.96/200.07 c 199s | 19 | 629835 | 603882 | 2912 453 | 11 | 27 201.96/202.09 c 201s | 19 | 636532 | 610282 | 2912 456 | 11 | 27 204.06/204.10 c 203s | 19 | 642434 | 615982 | 2912 460 | 11 | 27 206.06/206.12 c 205s | 19 | 648058 | 621382 | 2912 463 | 11 | 27 208.06/208.14 c 207s | 19 | 653461 | 626582 | 2912 467 | 11 | 27 210.07/210.14 c 209s | 19 | 658752 | 631682 | 2912 470 | 11 | 27 212.06/212.14 c 211s | 19 | 664561 | 637382 | 2912 473 | 11 | 27 214.06/214.16 c 213s | 19 | 669454 | 642082 | 2912 476 | 11 | 27 216.06/216.17 c 216s | 19 | 674803 | 647182 | 2912 479 | 11 | 27 218.16/218.21 c 218s | 19 | 679540 | 651682 | 2912 482 | 11 | 27 220.16/220.23 c 220s | 19 | 684295 | 656382 | 2912 485 | 11 | 27 222.36/222.44 c 222s | 19 | 688693 | 660682 | 2912 488 | 11 | 27 224.36/224.44 c 224s | 19 | 692137 | 663982 | 3204 490 | 11 | 27 225.66/225.71 c 225s | 20 | 695171 | 666827 | 3204 491 | 11 | 27 227.66/227.73 c 227s | 20 | 702311 | 673727 | 3204 495 | 11 | 27 229.66/229.76 c 229s | 20 | 708974 | 680227 | 3204 499 | 11 | 27 231.65/231.76 c 231s | 20 | 715834 | 686927 | 3204 503 | 11 | 27 233.65/233.78 c 233s | 20 | 722702 | 693627 | 3204 507 | 11 | 27 235.65/235.79 c 235s | 20 | 729095 | 699927 | 3204 510 | 11 | 27 237.75/237.80 c 237s | 20 | 736307 | 706927 | 3204 514 | 11 | 27 239.76/239.82 c 239s | 20 | 743284 | 713727 | 3204 518 | 11 | 27 241.75/241.86 c 241s | 20 | 750307 | 720627 | 3204 522 | 11 | 27 243.75/243.88 c 243s | 20 | 757065 | 727227 | 3204 525 | 11 | 27 245.75/245.89 c 245s | 20 | 762891 | 732927 | 3204 529 | 11 | 27 247.85/247.92 c 247s | 20 | 768041 | 737927 | 3204 531 | 11 | 27 249.85/249.96 c 249s | 20 | 773583 | 743327 | 3204 534 | 11 | 27 251.86/251.98 c 251s | 20 | 780642 | 749927 | 3204 538 | 11 | 27 253.95/254.00 c 253s | 20 | 787460 | 756527 | 3204 542 | 11 | 27 255.95/256.03 c 255s | 20 | 793795 | 762527 | 3204 545 | 11 | 27 257.95/258.06 c 257s | 20 | 799928 | 768527 | 3204 549 | 11 | 27 259.95/260.08 c 259s | 20 | 806356 | 774727 | 3204 552 | 11 | 27 261.95/262.09 c 261s | 20 | 812881 | 781127 | 3204 556 | 11 | 27 263.95/264.10 c 263s | 20 | 817964 | 786027 | 3204 559 | 11 | 27 266.05/266.12 c 265s | 20 | 823572 | 791527 | 3204 562 | 11 | 27 268.05/268.14 c 267s | 20 | 828961 | 796827 | 3204 565 | 11 | 27 270.05/270.16 c 269s | 20 | 834451 | 802127 | 3204 568 | 11 | 27 272.05/272.16 c 271s | 20 | 840629 | 808227 | 3204 571 | 11 | 27 274.05/274.18 c 274s | 20 | 846963 | 814427 | 3204 575 | 11 | 27 276.05/276.18 c 276s | 20 | 853563 | 820927 | 3204 578 | 11 | 27 278.14/278.20 c 278s | 20 | 860668 | 827727 | 3204 582 | 11 | 27 280.14/280.21 c 280s | 20 | 866941 | 833727 | 3204 585 | 11 | 27 282.14/282.21 c 282s | 20 | 873635 | 840027 | 3204 589 | 11 | 27 284.14/284.22 c 284s | 20 | 879815 | 846127 | 3204 592 | 11 | 27 286.14/286.22 c 286s | 20 | 886534 | 852627 | 3204 596 | 11 | 27 288.15/288.24 c 288s | 20 | 893120 | 859027 | 3204 600 | 11 | 27 290.14/290.26 c 290s | 20 | 899292 | 865127 | 3204 603 | 11 | 27 292.24/292.30 c 292s | 20 | 905050 | 870727 | 3204 606 | 11 | 27 294.24/294.31 c 294s | 20 | 911598 | 876727 | 3204 609 | 11 | 27 296.24/296.33 c 296s | 20 | 917987 | 883027 | 3204 613 | 11 | 27 298.24/298.36 c 298s | 20 | 924995 | 889727 | 3204 617 | 11 | 27 300.25/300.40 c 300s | 20 | 931088 | 895627 | 3204 620 | 11 | 27 302.34/302.42 c 302s | 20 | 937194 | 901627 | 3204 623 | 11 | 27 304.34/304.44 c 304s | 20 | 943311 | 907627 | 3204 627 | 11 | 27 306.35/306.45 c 306s | 20 | 950240 | 914127 | 3204 630 | 11 | 27 308.35/308.46 c 308s | 20 | 956741 | 920527 | 3204 634 | 11 | 27 310.34/310.47 c 310s | 20 | 963397 | 927027 | 3204 638 | 11 | 27 312.35/312.50 c 312s | 20 | 969892 | 933427 | 3204 641 | 11 | 27 314.44/314.50 c 314s | 20 | 976720 | 940127 | 3204 645 | 11 | 27 316.44/316.51 c 316s | 20 | 982997 | 946327 | 3204 649 | 11 | 27 318.44/318.53 c 318s | 20 | 989140 | 952327 | 3204 652 | 11 | 27 320.44/320.54 c 320s | 20 | 994452 | 957527 | 3204 655 | 11 | 27 322.44/322.55 c 322s | 20 | 1000188 | 963127 | 3204 658 | 11 | 27 324.45/324.56 c 324s | 20 | 1005967 | 968827 | 3204 661 | 11 | 27 326.44/326.58 c 326s | 20 | 1012176 | 974827 | 3204 665 | 11 | 27 328.44/328.59 c 328s | 20 | 1019037 | 981527 | 3204 668 | 11 | 27 330.54/330.62 c 330s | 20 | 1025807 | 988127 | 3204 672 | 11 | 27 332.54/332.65 c 332s | 20 | 1032521 | 994527 | 3525 676 | 11 | 27 334.54/334.65 c 334s | 21 | 1038748 | 1000345 | 3525 679 | 11 | 27 336.55/336.67 c 336s | 21 | 1044561 | 1005945 | 3525 681 | 11 | 27 338.54/338.69 c 338s | 21 | 1049916 | 1011145 | 3525 684 | 11 | 27 340.64/340.71 c 340s | 21 | 1054518 | 1015645 | 3525 686 | 11 | 27 342.64/342.74 c 342s | 21 | 1060390 | 1021345 | 3525 689 | 11 | 27 344.64/344.76 c 344s | 21 | 1065817 | 1026545 | 3525 692 | 11 | 27 346.64/346.78 c 346s | 21 | 1070168 | 1030745 | 3525 694 | 11 | 27 348.65/348.79 c 348s | 21 | 1074325 | 1034745 | 3525 696 | 11 | 27 350.74/350.81 c 350s | 21 | 1079154 | 1039445 | 3525 699 | 11 | 27 352.74/352.83 c 352s | 21 | 1083663 | 1043745 | 3525 701 | 11 | 27 354.74/354.84 c 354s | 21 | 1088354 | 1048245 | 3525 703 | 11 | 27 356.74/356.86 c 356s | 21 | 1092678 | 1052445 | 3525 705 | 11 | 27 358.74/358.88 c 358s | 21 | 1097393 | 1057045 | 3525 708 | 11 | 27 360.74/360.88 c 360s | 21 | 1102133 | 1061645 | 3525 710 | 11 | 27 362.83/362.92 c 362s | 21 | 1106784 | 1066245 | 3525 713 | 11 | 27 364.83/364.97 c 364s | 21 | 1111452 | 1070745 | 3525 715 | 11 | 27 366.93/367.00 c 366s | 21 | 1115615 | 1074745 | 3525 717 | 11 | 27 368.93/369.01 c 368s | 21 | 1120200 | 1079145 | 3525 719 | 11 | 27 370.93/371.02 c 370s | 21 | 1124641 | 1083445 | 3525 721 | 11 | 27 372.94/373.03 c 372s | 21 | 1128778 | 1087445 | 3525 723 | 11 | 27 374.93/375.06 c 374s | 21 | 1133416 | 1091945 | 3525 726 | 11 | 27 376.93/377.07 c 376s | 21 | 1138000 | 1096345 | 3525 728 | 11 | 27 378.93/379.10 c 378s | 21 | 1142329 | 1100445 | 3525 730 | 11 | 27 381.03/381.10 c 380s | 21 | 1146502 | 1104445 | 3525 732 | 11 | 27 383.03/383.12 c 382s | 21 | 1151269 | 1109045 | 3525 735 | 11 | 27 385.04/385.18 c 385s | 21 | 1155928 | 1113545 | 3525 737 | 11 | 27 387.03/387.18 c 387s | 21 | 1160199 | 1117645 | 3525 739 | 11 | 27 389.13/389.20 c 389s | 21 | 1164967 | 1122145 | 3525 741 | 11 | 27 391.13/391.24 c 391s | 21 | 1169461 | 1126345 | 3525 744 | 11 | 27 393.13/393.29 c 393s | 21 | 1172754 | 1129345 | 3525 745 | 11 | 27 395.23/395.30 c 395s | 21 | 1176666 | 1133045 | 3525 747 | 11 | 27 397.23/397.30 c 397s | 21 | 1180533 | 1136745 | 3525 749 | 11 | 27 399.24/399.37 c 399s | 21 | 1184597 | 1140445 | 3525 751 | 11 | 27 401.33/401.41 c 401s | 21 | 1188845 | 1144545 | 3525 753 | 11 | 27 403.33/403.46 c 403s | 21 | 1192645 | 1147945 | 3525 755 | 11 | 27 405.33/405.48 c 405s | 21 | 1196578 | 1151545 | 3525 757 | 11 | 27 407.43/407.53 c 407s | 21 | 1200634 | 1155145 | 3525 758 | 11 | 27 409.43/409.57 c 409s | 21 | 1204108 | 1158345 | 3525 760 | 11 | 27 411.53/411.62 c 411s | 21 | 1207211 | 1160945 | 3525 762 | 11 | 27 413.53/413.62 c 413s | 21 | 1212790 | 1166345 | 3525 764 | 11 | 27 415.53/415.67 c 415s | 21 | 1217845 | 1171145 | 3525 767 | 11 | 27 417.63/417.70 c 417s | 21 | 1222957 | 1176145 | 3525 769 | 11 | 27 419.63/419.73 c 419s | 21 | 1228950 | 1181945 | 3525 772 | 11 | 27 421.63/421.75 c 421s | 21 | 1234484 | 1187245 | 3525 775 | 11 | 27 423.63/423.78 c 423s | 21 | 1238893 | 1191545 | 3525 777 | 11 | 27 425.73/425.81 c 425s | 21 | 1243471 | 1195945 | 3525 780 | 11 | 27 427.72/427.82 c 427s | 21 | 1248393 | 1200745 | 3525 782 | 11 | 27 429.72/429.83 c 429s | 21 | 1253054 | 1205245 | 3525 784 | 11 | 27 431.72/431.87 c 431s | 21 | 1258235 | 1210245 | 3525 787 | 11 | 27 433.82/433.90 c 433s | 21 | 1262810 | 1214745 | 3525 789 | 11 | 27 435.82/435.92 c 435s | 21 | 1267417 | 1219245 | 3525 792 | 11 | 27 437.83/437.96 c 437s | 21 | 1273417 | 1225045 | 3525 795 | 11 | 27 439.82/439.98 c 439s | 21 | 1278856 | 1230345 | 3525 797 | 11 | 27 441.82/441.98 c 441s | 21 | 1284481 | 1235845 | 3525 800 | 11 | 27 443.82/443.99 c 443s | 21 | 1290552 | 1241745 | 3525 803 | 11 | 27 445.92/446.02 c 445s | 21 | 1295693 | 1246745 | 3525 806 | 11 | 27 447.92/448.07 c 447s | 21 | 1300598 | 1251445 | 3525 808 | 11 | 27 449.93/450.09 c 449s | 21 | 1306239 | 1256945 | 3525 811 | 11 | 27 451.92/452.09 c 451s | 21 | 1311084 | 1261545 | 3525 813 | 11 | 27 454.02/454.11 c 453s | 21 | 1316220 | 1266445 | 3525 816 | 11 | 27 456.02/456.13 c 455s | 21 | 1321766 | 1271745 | 3525 819 | 11 | 27 458.02/458.15 c 457s | 21 | 1327452 | 1277245 | 3525 822 | 11 | 27 460.02/460.18 c 460s | 21 | 1332971 | 1282645 | 3525 824 | 11 | 27 462.02/462.18 c 462s | 21 | 1338609 | 1288045 | 3525 827 | 11 | 27 464.02/464.20 c 464s | 21 | 1344239 | 1293345 | 3525 830 | 11 | 27 466.12/466.24 c 466s | 21 | 1349489 | 1298445 | 3525 832 | 11 | 27 468.12/468.28 c 468s | 21 | 1354904 | 1303745 | 3525 835 | 11 | 27 470.12/470.28 c 470s | 21 | 1360233 | 1308945 | 3525 838 | 11 | 27 472.22/472.30 c 472s | 21 | 1365158 | 1313645 | 3525 840 | 11 | 27 474.22/474.32 c 474s | 21 | 1371089 | 1319345 | 3525 843 | 11 | 27 476.22/476.37 c 476s | 21 | 1375846 | 1323845 | 3525 846 | 11 | 27 478.31/478.41 c 478s | 21 | 1381021 | 1328845 | 3525 848 | 11 | 27 480.31/480.42 c 480s | 21 | 1387074 | 1334645 | 3525 851 | 11 | 27 482.31/482.46 c 482s | 21 | 1392050 | 1339445 | 3525 854 | 11 | 27 484.31/484.48 c 484s | 21 | 1396859 | 1344145 | 3525 856 | 11 | 27 486.41/486.50 c 486s | 21 | 1402173 | 1349345 | 3525 859 | 11 | 27 488.42/488.51 c 488s | 21 | 1407841 | 1354845 | 3525 862 | 11 | 27 490.41/490.56 c 490s | 21 | 1412816 | 1359645 | 3525 864 | 11 | 27 492.41/492.57 c 492s | 21 | 1417549 | 1364145 | 3525 866 | 11 | 27 494.41/494.58 c 494s | 21 | 1423163 | 1369545 | 3525 869 | 11 | 27 496.41/496.58 c 496s | 21 | 1427828 | 1374045 | 3525 872 | 11 | 27 498.51/498.62 c 498s | 21 | 1432981 | 1378945 | 3525 874 | 11 | 27 500.51/500.66 c 500s | 21 | 1437852 | 1383445 | 3525 876 | 11 | 27 502.51/502.68 c 502s | 21 | 1443439 | 1388745 | 3525 879 | 11 | 27 504.51/504.69 c 504s | 21 | 1448319 | 1393345 | 3525 882 | 11 | 27 506.61/506.70 c 506s | 21 | 1454844 | 1399645 | 3525 885 | 11 | 27 508.61/508.72 c 508s | 21 | 1460262 | 1404845 | 3525 887 | 11 | 27 510.61/510.74 c 510s | 21 | 1465949 | 1410245 | 3525 890 | 11 | 27 512.71/512.80 c 512s | 21 | 1470831 | 1414945 | 3525 893 | 11 | 27 514.60/514.80 c 514s | 21 | 1475989 | 1419945 | 3525 895 | 11 | 27 516.71/516.81 c 516s | 21 | 1481468 | 1425245 | 3525 898 | 11 | 27 518.71/518.82 c 518s | 21 | 1487661 | 1431145 | 3525 901 | 11 | 27 520.71/520.85 c 520s | 21 | 1492500 | 1435845 | 3525 903 | 11 | 27 522.71/522.88 c 522s | 21 | 1498379 | 1441545 | 3525 906 | 11 | 27 524.72/524.89 c 524s | 21 | 1503976 | 1446945 | 3525 909 | 11 | 27 526.71/526.89 c 526s | 21 | 1509400 | 1452145 | 3525 912 | 11 | 27 528.81/528.97 c 528s | 21 | 1514637 | 1456845 | 3525 914 | 11 | 27 530.81/530.99 c 530s | 21 | 1519785 | 1461845 | 3525 917 | 11 | 27 532.91/533.02 c 532s | 21 | 1525237 | 1467145 | 3525 920 | 11 | 27 534.91/535.05 c 534s | 21 | 1529958 | 1471645 | 3525 922 | 11 | 27 536.91/537.09 c 536s | 21 | 1534079 | 1475445 | 3525 924 | 11 | 27 539.02/539.13 c 538s | 21 | 1539676 | 1480845 | 3525 927 | 11 | 27 541.01/541.15 c 540s | 21 | 1545786 | 1486845 | 3525 930 | 11 | 27 543.01/543.15 c 542s | 21 | 1551535 | 1492445 | 3878 932 | 11 | 27 545.11/545.21 c 545s | 21 | 1557343 | 1498045 | 3878 935 | 11 | 27 545.91/546.08 c 545s | 22 | 1559987 | 1500622 | 3878 936 | 11 | 27 548.01/548.10 c 547s | 22 | 1566855 | 1507122 | 3878 940 | 11 | 27 550.01/550.13 c 549s | 22 | 1572670 | 1512722 | 3878 942 | 11 | 27 552.01/552.14 c 551s | 22 | 1579112 | 1518722 | 3878 945 | 11 | 27 554.01/554.15 c 553s | 22 | 1584552 | 1524022 | 3878 948 | 11 | 27 556.01/556.17 c 556s | 22 | 1591330 | 1530622 | 3878 951 | 11 | 27 558.01/558.18 c 558s | 22 | 1598089 | 1537122 | 3878 954 | 11 | 27 560.10/560.23 c 560s | 22 | 1603979 | 1542822 | 3878 956 | 11 | 27 562.11/562.25 c 562s | 22 | 1610204 | 1548822 | 3878 959 | 11 | 27 564.10/564.27 c 564s | 22 | 1616453 | 1554822 | 3878 962 | 11 | 27 566.20/566.30 c 566s | 22 | 1622431 | 1560422 | 3878 965 | 11 | 27 568.20/568.31 c 568s | 22 | 1628113 | 1565922 | 3878 967 | 11 | 27 570.20/570.35 c 570s | 22 | 1633681 | 1571222 | 3878 970 | 11 | 27 572.20/572.38 c 572s | 22 | 1638066 | 1575422 | 3878 972 | 11 | 27 574.30/574.40 c 574s | 22 | 1643259 | 1580422 | 3878 974 | 11 | 27 576.31/576.42 c 576s | 22 | 1648476 | 1585522 | 3878 977 | 11 | 27 578.30/578.45 c 578s | 22 | 1654099 | 1590922 | 3878 979 | 11 | 27 580.30/580.45 c 580s | 22 | 1660143 | 1596622 | 3878 982 | 11 | 27 582.30/582.45 c 582s | 22 | 1666891 | 1603122 | 3878 985 | 11 | 27 584.30/584.46 c 584s | 22 | 1672658 | 1608522 | 3878 988 | 11 | 27 586.30/586.47 c 586s | 22 | 1679002 | 1614722 | 3878 991 | 11 | 27 588.30/588.49 c 588s | 22 | 1685074 | 1620522 | 3878 993 | 11 | 27 590.40/590.52 c 590s | 22 | 1691028 | 1626322 | 3878 996 | 11 | 27 592.40/592.55 c 592s | 22 | 1696270 | 1631422 | 3878 999 | 11 | 27 594.40/594.56 c 594s | 22 | 1700952 | 1635722 | 3878 1001 | 11 | 27 596.40/596.58 c 596s | 22 | 1707130 | 1641722 | 3878 1004 | 11 | 27 598.40/598.58 c 598s | 22 | 1713337 | 1647722 | 3878 1006 | 11 | 27 600.50/600.62 c 600s | 22 | 1718804 | 1652922 | 3878 1009 | 11 | 27 602.50/602.63 c 602s | 22 | 1724020 | 1658022 | 3878 1011 | 11 | 27 604.50/604.67 c 604s | 22 | 1729789 | 1663422 | 3878 1014 | 11 | 27 606.49/606.67 c 606s | 22 | 1734793 | 1668322 | 3878 1016 | 11 | 27 608.59/608.71 c 608s | 22 | 1740923 | 1674222 | 3878 1019 | 11 | 27 610.59/610.73 c 610s | 22 | 1747233 | 1680322 | 3878 1022 | 11 | 27 612.60/612.75 c 612s | 22 | 1753284 | 1686122 | 3878 1025 | 11 | 27 614.59/614.78 c 614s | 22 | 1759204 | 1691722 | 3878 1027 | 11 | 27 616.69/616.80 c 616s | 22 | 1765354 | 1697622 | 3878 1030 | 11 | 27 618.69/618.82 c 618s | 22 | 1771476 | 1703422 | 3878 1033 | 11 | 27 620.69/620.83 c 620s | 22 | 1776653 | 1708322 | 3878 1035 | 11 | 27 622.69/622.86 c 622s | 22 | 1782211 | 1713422 | 3878 1038 | 11 | 27 624.70/624.89 c 624s | 22 | 1787909 | 1718822 | 3878 1040 | 11 | 27 626.79/626.91 c 626s | 22 | 1793801 | 1724522 | 3878 1043 | 11 | 27 628.79/628.92 c 628s | 22 | 1799809 | 1730322 | 3878 1046 | 11 | 27 630.79/630.94 c 630s | 22 | 1805955 | 1736222 | 3878 1049 | 11 | 27 632.79/632.95 c 632s | 22 | 1811628 | 1741622 | 3878 1051 | 11 | 27 634.79/634.95 c 634s | 22 | 1817251 | 1747022 | 3878 1054 | 11 | 27 636.80/636.98 c 636s | 22 | 1823336 | 1752522 | 3878 1056 | 11 | 27 638.79/638.99 c 638s | 22 | 1827969 | 1756922 | 3878 1058 | 11 | 27 640.89/641.02 c 640s | 22 | 1832892 | 1761722 | 3878 1061 | 11 | 27 642.89/643.03 c 642s | 22 | 1839222 | 1767722 | 3878 1064 | 11 | 27 644.89/645.07 c 644s | 22 | 1844813 | 1772922 | 3878 1066 | 11 | 27 646.89/647.07 c 646s | 22 | 1850583 | 1778422 | 3878 1069 | 11 | 27 648.90/649.08 c 648s | 22 | 1856224 | 1783922 | 3878 1071 | 11 | 27 650.99/651.11 c 650s | 22 | 1861579 | 1789122 | 3878 1074 | 11 | 27 652.99/653.13 c 652s | 22 | 1867205 | 1794522 | 3878 1076 | 11 | 27 654.99/655.16 c 654s | 22 | 1872748 | 1799822 | 3878 1079 | 11 | 27 656.99/657.18 c 657s | 22 | 1878533 | 1805322 | 3878 1082 | 11 | 27 659.09/659.21 c 659s | 22 | 1884323 | 1810722 | 3878 1084 | 11 | 27 661.10/661.23 c 661s | 22 | 1889929 | 1815722 | 3878 1086 | 11 | 27 663.09/663.25 c 663s | 22 | 1895407 | 1820822 | 3878 1089 | 11 | 27 665.09/665.25 c 665s | 22 | 1900533 | 1825622 | 3878 1091 | 11 | 27 667.09/667.26 c 667s | 22 | 1905881 | 1830522 | 3878 1094 | 11 | 27 669.09/669.28 c 669s | 22 | 1911494 | 1835822 | 3878 1096 | 11 | 27 671.19/671.30 c 671s | 22 | 1917609 | 1841722 | 3878 1099 | 11 | 27 673.19/673.34 c 673s | 22 | 1923375 | 1847222 | 3878 1102 | 11 | 27 675.19/675.36 c 675s | 22 | 1929709 | 1853322 | 3878 1104 | 11 | 27 677.19/677.36 c 677s | 22 | 1935704 | 1859022 | 3878 1107 | 11 | 27 679.19/679.38 c 679s | 22 | 1941682 | 1864822 | 3878 1110 | 11 | 27 681.29/681.40 c 681s | 22 | 1947655 | 1870422 | 3878 1113 | 11 | 27 683.29/683.43 c 683s | 22 | 1952931 | 1875522 | 3878 1115 | 11 | 27 685.29/685.44 c 685s | 22 | 1958600 | 1881022 | 3878 1118 | 11 | 27 687.28/687.46 c 687s | 22 | 1964259 | 1886422 | 3878 1120 | 11 | 27 689.28/689.47 c 689s | 22 | 1969907 | 1891622 | 3878 1123 | 11 | 27 691.28/691.47 c 691s | 22 | 1975914 | 1897422 | 3878 1125 | 11 | 27 693.28/693.48 c 693s | 22 | 1981810 | 1903022 | 3878 1128 | 11 | 27 695.38/695.50 c 695s | 22 | 1987505 | 1908422 | 3878 1131 | 11 | 27 697.39/697.52 c 697s | 22 | 1993322 | 1913922 | 3878 1133 | 11 | 27 699.38/699.56 c 699s | 22 | 1999019 | 1919322 | 3878 1136 | 11 | 27 701.48/701.60 c 701s | 22 | 2004773 | 1924822 | 3878 1139 | 11 | 27 703.48/703.62 c 703s | 22 | 2010292 | 1930022 | 3878 1141 | 11 | 27 705.48/705.62 c 705s | 22 | 2015727 | 1934922 | 3878 1143 | 11 | 27 707.48/707.66 c 707s | 22 | 2021473 | 1940222 | 3878 1146 | 11 | 27 709.58/709.70 c 709s | 22 | 2027481 | 1945922 | 3878 1149 | 11 | 27 711.58/711.70 c 711s | 22 | 2033243 | 1951522 | 3878 1151 | 11 | 27 713.57/713.71 c 713s | 22 | 2039414 | 1957522 | 3878 1154 | 11 | 27 715.57/715.71 c 715s | 22 | 2045596 | 1963522 | 3878 1157 | 11 | 27 717.57/717.75 c 717s | 22 | 2051175 | 1968922 | 3878 1160 | 11 | 27 719.57/719.77 c 719s | 22 | 2057373 | 1974722 | 3878 1162 | 11 | 27 721.57/721.77 c 721s | 22 | 2063007 | 1980022 | 3878 1165 | 11 | 27 723.67/723.82 c 723s | 22 | 2068969 | 1985722 | 3878 1168 | 11 | 27 725.66/725.83 c 725s | 22 | 2074735 | 1991222 | 3878 1170 | 11 | 27 727.66/727.83 c 727s | 22 | 2080216 | 1996422 | 3878 1173 | 11 | 27 729.66/729.86 c 729s | 22 | 2085946 | 2001722 | 3878 1175 | 11 | 27 731.66/731.88 c 731s | 22 | 2091845 | 2007322 | 3878 1178 | 11 | 27 733.76/733.90 c 733s | 22 | 2097719 | 2013022 | 3878 1181 | 11 | 27 735.77/735.93 c 735s | 22 | 2103479 | 2018422 | 3878 1183 | 11 | 27 737.75/737.95 c 737s | 22 | 2109034 | 2023722 | 3878 1186 | 11 | 27 739.75/739.97 c 739s | 22 | 2115092 | 2029522 | 3878 1188 | 11 | 27 741.85/742.00 c 741s | 22 | 2121555 | 2035722 | 3878 1191 | 11 | 27 743.86/744.00 c 743s | 22 | 2127336 | 2041222 | 3878 1194 | 11 | 27 745.86/746.03 c 745s | 22 | 2133182 | 2046622 | 3878 1197 | 11 | 27 747.87/748.05 c 747s | 22 | 2139457 | 2052522 | 3878 1199 | 11 | 27 749.86/750.08 c 749s | 22 | 2145260 | 2058122 | 3878 1202 | 11 | 27 751.96/752.11 c 751s | 22 | 2151076 | 2063322 | 3878 1205 | 11 | 27 753.96/754.13 c 753s | 22 | 2157243 | 2069222 | 3878 1207 | 11 | 27 755.96/756.15 c 755s | 22 | 2163448 | 2075222 | 3878 1210 | 11 | 27 757.95/758.15 c 757s | 22 | 2169705 | 2081022 | 3878 1213 | 11 | 27 759.96/760.16 c 759s | 22 | 2175734 | 2086722 | 3878 1216 | 11 | 27 761.95/762.16 c 761s | 22 | 2181391 | 2092122 | 3878 1218 | 11 | 27 763.95/764.18 c 764s | 22 | 2187701 | 2098122 | 3878 1221 | 11 | 27 765.95/766.19 c 766s | 22 | 2193800 | 2103922 | 3878 1224 | 11 | 27 767.95/768.19 c 768s | 22 | 2199576 | 2109322 | 3878 1227 | 11 | 27 770.05/770.22 c 770s | 22 | 2205690 | 2115122 | 3878 1229 | 11 | 27 772.05/772.23 c 772s | 22 | 2212084 | 2121322 | 3878 1232 | 11 | 27 774.05/774.24 c 774s | 22 | 2218155 | 2127122 | 3878 1235 | 11 | 27 776.05/776.25 c 776s | 22 | 2224630 | 2133322 | 3878 1238 | 11 | 27 778.04/778.26 c 778s | 22 | 2230256 | 2138622 | 3878 1240 | 11 | 27 780.04/780.28 c 780s | 22 | 2236015 | 2144122 | 3878 1243 | 11 | 27 782.05/782.29 c 782s | 22 | 2242107 | 2149622 | 3878 1246 | 11 | 27 784.15/784.31 c 784s | 22 | 2248390 | 2155622 | 3878 1249 | 11 | 27 786.14/786.33 c 786s | 22 | 2254212 | 2161022 | 3878 1251 | 11 | 27 788.14/788.36 c 788s | 22 | 2259798 | 2166222 | 3878 1254 | 11 | 27 790.14/790.39 c 790s | 22 | 2265245 | 2171222 | 3878 1256 | 11 | 27 792.24/792.42 c 792s | 22 | 2270976 | 2176322 | 3878 1258 | 11 | 27 794.24/794.42 c 794s | 22 | 2277151 | 2182222 | 3878 1261 | 11 | 27 796.24/796.45 c 796s | 22 | 2283504 | 2188322 | 3878 1264 | 11 | 27 798.23/798.47 c 798s | 22 | 2289667 | 2194122 | 3878 1267 | 11 | 27 800.23/800.48 c 800s | 22 | 2295560 | 2199822 | 3878 1270 | 11 | 27 802.33/802.51 c 802s | 22 | 2301472 | 2205522 | 3878 1272 | 11 | 27 804.33/804.53 c 804s | 22 | 2307486 | 2211322 | 3878 1275 | 11 | 27 806.33/806.54 c 806s | 22 | 2313795 | 2217422 | 3878 1278 | 11 | 27 808.33/808.56 c 808s | 22 | 2319163 | 2222422 | 3878 1280 | 11 | 27 810.43/810.61 c 810s | 22 | 2324930 | 2227922 | 3878 1283 | 11 | 27 812.43/812.61 c 812s | 22 | 2330926 | 2233622 | 3878 1286 | 11 | 27 814.43/814.63 c 814s | 22 | 2336710 | 2239222 | 4266 1288 | 11 | 27 816.42/816.66 c 816s | 22 | 2342392 | 2244722 | 4266 1290 | 11 | 27 818.42/818.67 c 818s | 22 | 2347925 | 2249922 | 4266 1293 | 11 | 27 818.82/819.07 c 818s | 23 | 2349092 | 2251038 | 4266 1293 | 11 | 27 820.92/821.10 c 820s | 23 | 2355702 | 2257338 | 4266 1296 | 11 | 27 822.92/823.13 c 822s | 23 | 2361454 | 2262938 | 4266 1298 | 11 | 27 824.93/825.13 c 824s | 23 | 2366783 | 2268038 | 4266 1301 | 11 | 27 826.92/827.14 c 826s | 23 | 2372575 | 2273538 | 4266 1303 | 11 | 27 828.91/829.15 c 828s | 23 | 2378148 | 2278738 | 4266 1305 | 11 | 27 830.91/831.17 c 830s | 23 | 2383448 | 2283938 | 4266 1308 | 11 | 27 833.01/833.20 c 833s | 23 | 2390074 | 2290438 | 4266 1310 | 11 | 27 835.01/835.23 c 835s | 23 | 2396459 | 2296738 | 4266 1313 | 11 | 27 837.02/837.26 c 837s | 23 | 2402097 | 2302238 | 4266 1315 | 11 | 27 839.01/839.26 c 839s | 23 | 2407177 | 2307238 | 4266 1318 | 11 | 27 841.01/841.27 c 841s | 23 | 2413459 | 2313438 | 4266 1320 | 11 | 27 843.01/843.28 c 843s | 23 | 2419828 | 2319738 | 4266 1323 | 11 | 27 845.11/845.32 c 845s | 23 | 2426719 | 2326538 | 4266 1326 | 11 | 27 847.11/847.32 c 847s | 23 | 2432555 | 2332238 | 4266 1329 | 11 | 27 849.11/849.33 c 849s | 23 | 2439338 | 2338938 | 4266 1331 | 11 | 27 851.10/851.33 c 851s | 23 | 2445625 | 2345138 | 4266 1334 | 11 | 27 853.10/853.34 c 853s | 23 | 2452589 | 2351938 | 4266 1337 | 12 | 36 855.10/855.37 c 855s | 23 | 2459004 | 2358238 | 4266 1340 | 12 | 36 857.20/857.40 c 857s | 23 | 2465668 | 2364638 | 4266 1343 | 12 | 36 859.20/859.41 c 859s | 23 | 2471366 | 2370238 | 4266 1345 | 12 | 36 861.20/861.44 c 861s | 23 | 2477399 | 2376138 | 4266 1348 | 12 | 36 863.19/863.47 c 863s | 23 | 2482697 | 2381238 | 4266 1350 | 12 | 36 865.29/865.50 c 865s | 23 | 2488977 | 2387238 | 4266 1353 | 12 | 36 867.29/867.51 c 867s | 23 | 2495937 | 2393938 | 4266 1356 | 12 | 36 869.29/869.51 c 869s | 23 | 2502191 | 2400038 | 4266 1358 | 12 | 36 871.29/871.53 c 871s | 23 | 2508717 | 2406438 | 4266 1361 | 12 | 36 873.30/873.54 c 873s | 23 | 2515256 | 2412538 | 4266 1364 | 12 | 36 875.30/875.54 c 875s | 23 | 2521491 | 2418338 | 4266 1367 | 12 | 36 877.30/877.55 c 877s | 23 | 2527732 | 2424138 | 4266 1369 | 12 | 36 879.29/879.59 c 879s | 23 | 2533154 | 2429238 | 4266 1371 | 12 | 36 881.39/881.60 c 881s | 23 | 2538739 | 2434638 | 4266 1374 | 12 | 36 883.39/883.63 c 883s | 23 | 2544959 | 2440638 | 4266 1376 | 12 | 36 885.40/885.64 c 885s | 23 | 2551074 | 2446138 | 4266 1379 | 12 | 36 887.38/887.67 c 887s | 23 | 2556770 | 2451338 | 4266 1381 | 12 | 36 889.38/889.68 c 889s | 23 | 2562411 | 2456538 | 4266 1384 | 12 | 36 891.48/891.70 c 891s | 23 | 2568276 | 2462038 | 4266 1386 | 12 | 36 893.48/893.71 c 893s | 23 | 2574371 | 2467538 | 4266 1388 | 12 | 36 895.48/895.74 c 895s | 23 | 2579726 | 2472438 | 4266 1391 | 12 | 36 897.48/897.76 c 897s | 23 | 2584867 | 2477338 | 4266 1393 | 12 | 36 899.48/899.77 c 899s | 23 | 2590397 | 2482038 | 4266 1395 | 12 | 36 901.48/901.79 c 901s | 23 | 2595629 | 2486838 | 4266 1397 | 12 | 36 903.58/903.83 c 903s | 23 | 2600902 | 2491738 | 4266 1399 | 12 | 36 905.58/905.85 c 905s | 23 | 2606128 | 2496638 | 4266 1401 | 12 | 36 907.57/907.85 c 907s | 23 | 2612154 | 2502038 | 4266 1404 | 12 | 36 909.58/909.89 c 909s | 23 | 2617766 | 2506938 | 4266 1406 | 12 | 36 911.57/911.90 c 911s | 23 | 2623309 | 2511938 | 4266 1408 | 12 | 36 913.67/913.90 c 913s | 23 | 2629165 | 2517138 | 4266 1410 | 12 | 36 915.67/915.92 c 915s | 23 | 2634328 | 2522038 | 4266 1413 | 12 | 36 917.67/917.93 c 917s | 23 | 2640239 | 2527538 | 4266 1415 | 12 | 36 919.67/919.96 c 919s | 23 | 2646094 | 2532638 | 4266 1417 | 12 | 36 921.67/921.97 c 921s | 23 | 2651625 | 2537438 | 4266 1419 | 12 | 36 923.66/923.99 c 923s | 23 | 2657307 | 2542738 | 4266 1422 | 12 | 36 925.76/926.01 c 925s | 23 | 2662746 | 2547738 | 4266 1424 | 12 | 36 927.76/928.03 c 927s | 23 | 2668082 | 2552638 | 4266 1426 | 12 | 36 929.76/930.04 c 929s | 23 | 2673898 | 2558138 | 4266 1429 | 12 | 36 931.76/932.05 c 931s | 23 | 2679602 | 2562838 | 4266 1431 | 12 | 36 933.77/934.06 c 933s | 23 | 2685237 | 2567938 | 4266 1433 | 12 | 36 935.76/936.08 c 935s | 23 | 2690884 | 2573038 | 4266 1435 | 12 | 36 937.85/938.10 c 937s | 23 | 2696015 | 2577838 | 4266 1437 | 12 | 36 939.85/940.11 c 939s | 23 | 2701406 | 2582838 | 4266 1439 | 12 | 36 941.85/942.15 c 941s | 23 | 2707228 | 2587938 | 4266 1442 | 12 | 36 943.85/944.18 c 944s | 23 | 2712519 | 2592838 | 4266 1444 | 12 | 36 945.86/946.19 c 946s | 23 | 2718744 | 2598838 | 4266 1447 | 12 | 36 947.84/948.19 c 948s | 23 | 2724930 | 2604738 | 4266 1449 | 12 | 36 949.94/950.21 c 950s | 23 | 2730208 | 2609838 | 4266 1451 | 12 | 36 951.94/952.23 c 952s | 23 | 2736057 | 2615338 | 4266 1454 | 12 | 36 953.94/954.24 c 954s | 23 | 2741108 | 2620138 | 4266 1456 | 12 | 36 955.94/956.26 c 956s | 23 | 2746340 | 2625038 | 4266 1458 | 12 | 36 957.95/958.28 c 958s | 23 | 2751674 | 2630038 | 4266 1460 | 12 | 36 960.05/960.31 c 960s | 23 | 2757015 | 2635138 | 4266 1463 | 12 | 36 962.04/962.33 c 962s | 23 | 2762786 | 2640738 | 4266 1465 | 12 | 36 964.04/964.37 c 964s | 23 | 2768438 | 2645938 | 4266 1467 | 12 | 36 966.14/966.42 c 966s | 23 | 2773473 | 2650638 | 4266 1470 | 12 | 36 968.14/968.43 c 968s | 23 | 2778467 | 2655338 | 4266 1472 | 12 | 36 970.14/970.43 c 970s | 23 | 2783992 | 2660738 | 4266 1474 | 12 | 36 972.14/972.44 c 972s | 23 | 2789643 | 2665938 | 4266 1476 | 12 | 36 974.13/974.47 c 974s | 23 | 2795042 | 2671238 | 4266 1479 | 12 | 36 976.23/976.50 c 976s | 23 | 2800168 | 2676238 | 4266 1481 | 12 | 36 978.23/978.51 c 978s | 23 | 2805610 | 2681538 | 4266 1483 | 12 | 36 980.23/980.54 c 980s | 23 | 2811644 | 2687338 | 4266 1485 | 12 | 36 982.23/982.57 c 982s | 23 | 2817222 | 2692838 | 4266 1488 | 12 | 36 984.24/984.58 c 984s | 23 | 2822953 | 2698338 | 4266 1490 | 12 | 36 986.34/986.60 c 986s | 23 | 2829088 | 2704238 | 4266 1493 | 12 | 36 988.34/988.61 c 988s | 23 | 2835270 | 2710338 | 4266 1495 | 12 | 36 990.34/990.64 c 990s | 23 | 2841049 | 2716038 | 4266 1498 | 12 | 36 992.34/992.64 c 992s | 23 | 2846609 | 2721538 | 4266 1500 | 12 | 36 994.33/994.67 c 994s | 23 | 2851956 | 2726738 | 4266 1502 | 12 | 36 996.34/996.68 c 996s | 23 | 2856655 | 2731338 | 4266 1505 | 12 | 36 998.33/998.69 c 998s | 23 | 2862313 | 2736938 | 4266 1507 | 12 | 36 1000.43/1000.72 c 1000s | 23 | 2868354 | 2742838 | 4266 1509 | 12 | 36 1002.43/1002.74 c 1002s | 23 | 2874210 | 2748538 | 4266 1512 | 12 | 36 1004.43/1004.75 c 1004s | 23 | 2879853 | 2754138 | 4266 1514 | 12 | 36 1006.43/1006.77 c 1006s | 23 | 2886575 | 2760738 | 4266 1517 | 12 | 36 1008.43/1008.79 c 1008s | 23 | 2892758 | 2766838 | 4266 1520 | 12 | 36 1010.43/1010.79 c 1010s | 23 | 2898858 | 2772838 | 4266 1522 | 12 | 36 1012.53/1012.84 c 1012s | 23 | 2904637 | 2778538 | 4266 1525 | 12 | 36 1014.52/1014.87 c 1014s | 23 | 2910578 | 2784338 | 4266 1527 | 12 | 36 1016.52/1016.88 c 1016s | 23 | 2916495 | 2790138 | 4266 1530 | 12 | 36 1018.52/1018.89 c 1018s | 23 | 2922252 | 2795838 | 4266 1532 | 12 | 36 1020.52/1020.90 c 1020s | 23 | 2927397 | 2800838 | 4266 1535 | 12 | 36 1022.62/1022.91 c 1022s | 23 | 2932484 | 2805738 | 4266 1537 | 12 | 36 1024.62/1024.93 c 1024s | 23 | 2937378 | 2810538 | 4266 1539 | 12 | 36 1026.62/1026.97 c 1026s | 23 | 2941827 | 2814838 | 4266 1541 | 12 | 36 1028.71/1029.00 c 1028s | 23 | 2947054 | 2819838 | 4266 1543 | 12 | 36 1030.71/1031.03 c 1030s | 23 | 2951958 | 2824638 | 4266 1545 | 12 | 36 1032.72/1033.07 c 1032s | 23 | 2956580 | 2829138 | 4266 1547 | 12 | 36 1034.82/1035.11 c 1034s | 23 | 2961485 | 2833738 | 4266 1549 | 12 | 36 1036.81/1037.11 c 1036s | 23 | 2965930 | 2837938 | 4266 1551 | 12 | 36 1038.80/1039.12 c 1038s | 23 | 2971468 | 2843338 | 4266 1553 | 12 | 36 1040.80/1041.16 c 1040s | 23 | 2976169 | 2847938 | 4266 1555 | 12 | 36 1042.90/1043.21 c 1043s | 23 | 2980941 | 2852138 | 4266 1557 | 12 | 36 1044.90/1045.24 c 1045s | 23 | 2985617 | 2856438 | 4266 1559 | 12 | 36 1046.91/1047.27 c 1047s | 23 | 2990896 | 2861438 | 4266 1561 | 12 | 36 1048.90/1049.29 c 1049s | 23 | 2996264 | 2866438 | 4266 1563 | 12 | 36 1051.00/1051.30 c 1051s | 23 | 3001519 | 2871138 | 4266 1565 | 12 | 36 1053.00/1053.33 c 1053s | 23 | 3006932 | 2876138 | 4266 1567 | 12 | 36 1055.00/1055.37 c 1055s | 23 | 3012367 | 2881038 | 4266 1570 | 12 | 36 1057.00/1057.38 c 1057s | 23 | 3017790 | 2886038 | 4266 1572 | 12 | 36 1059.10/1059.42 c 1059s | 23 | 3023190 | 2890838 | 4266 1574 | 12 | 36 1061.09/1061.44 c 1061s | 23 | 3027406 | 2894938 | 4266 1576 | 12 | 36 1063.09/1063.46 c 1063s | 23 | 3032046 | 2899338 | 4266 1577 | 12 | 36 1065.09/1065.49 c 1065s | 23 | 3036930 | 2903938 | 4266 1579 | 12 | 36 1067.19/1067.50 c 1067s | 23 | 3041899 | 2908538 | 4266 1582 | 12 | 36 1069.18/1069.53 c 1069s | 23 | 3046666 | 2913038 | 4266 1583 | 12 | 36 1071.19/1071.55 c 1071s | 23 | 3051513 | 2917538 | 4266 1585 | 12 | 36 1073.18/1073.59 c 1073s | 23 | 3056218 | 2921938 | 4266 1587 | 12 | 36 1075.18/1075.59 c 1075s | 23 | 3060775 | 2926338 | 4266 1589 | 12 | 36 1077.28/1077.60 c 1077s | 23 | 3065423 | 2930738 | 4266 1591 | 12 | 36 1079.27/1079.63 c 1079s | 23 | 3070166 | 2935238 | 4266 1593 | 12 | 36 1081.27/1081.66 c 1081s | 23 | 3074798 | 2939738 | 4266 1595 | 12 | 36 1083.28/1083.68 c 1083s | 23 | 3078798 | 2943638 | 4266 1597 | 12 | 36 1085.27/1085.69 c 1085s | 23 | 3082871 | 2947638 | 4266 1599 | 12 | 36 1087.37/1087.72 c 1087s | 23 | 3087536 | 2952138 | 4266 1601 | 12 | 36 1089.37/1089.74 c 1089s | 23 | 3092228 | 2956738 | 4266 1603 | 12 | 36 1091.37/1091.77 c 1091s | 23 | 3097542 | 2961738 | 4266 1605 | 12 | 36 1093.37/1093.77 c 1093s | 23 | 3102255 | 2966338 | 4266 1607 | 12 | 36 1095.37/1095.77 c 1095s | 23 | 3107708 | 2971638 | 4266 1609 | 12 | 36 1097.47/1097.81 c 1097s | 23 | 3112984 | 2976738 | 4266 1611 | 12 | 36 1099.46/1099.81 c 1099s | 23 | 3118466 | 2981938 | 4266 1614 | 12 | 36 1101.46/1101.83 c 1101s | 23 | 3123445 | 2986538 | 4266 1616 | 12 | 36 1103.46/1103.86 c 1103s | 23 | 3128453 | 2991238 | 4266 1618 | 12 | 36 1105.46/1105.88 c 1105s | 23 | 3133259 | 2995838 | 4266 1620 | 12 | 36 1107.46/1107.88 c 1107s | 23 | 3137887 | 3000238 | 4266 1622 | 12 | 36 1109.56/1109.92 c 1109s | 23 | 3142818 | 3004838 | 4266 1624 | 12 | 36 1111.55/1111.95 c 1111s | 23 | 3147677 | 3009338 | 4266 1626 | 12 | 36 1113.55/1113.96 c 1113s | 23 | 3152502 | 3013938 | 4266 1627 | 12 | 36 1115.56/1115.99 c 1115s | 23 | 3156900 | 3018138 | 4266 1629 | 12 | 36 1117.66/1118.04 c 1117s | 23 | 3161785 | 3022738 | 4266 1631 | 12 | 36 1119.66/1120.08 c 1119s | 23 | 3166074 | 3026938 | 4266 1633 | 12 | 36 1121.66/1122.10 c 1121s | 23 | 3171866 | 3032638 | 4266 1636 | 12 | 36 1123.76/1124.12 c 1123s | 23 | 3178221 | 3038938 | 4266 1638 | 12 | 36 1125.75/1126.12 c 1125s | 23 | 3183863 | 3044538 | 4266 1641 | 12 | 36 1127.75/1128.13 c 1127s | 23 | 3189726 | 3050338 | 4266 1643 | 12 | 36 1129.75/1130.13 c 1129s | 23 | 3195934 | 3056438 | 4266 1646 | 12 | 36 1131.75/1132.15 c 1131s | 23 | 3201475 | 3061938 | 4266 1648 | 12 | 36 1133.75/1134.15 c 1133s | 23 | 3207211 | 3067538 | 4266 1651 | 12 | 36 1135.75/1136.18 c 1136s | 23 | 3212964 | 3073238 | 4266 1653 | 12 | 36 1137.84/1138.21 c 1138s | 23 | 3218642 | 3078838 | 4266 1656 | 12 | 36 1139.84/1140.21 c 1140s | 23 | 3224538 | 3084638 | 4266 1658 | 12 | 36 1141.84/1142.21 c 1142s | 23 | 3229882 | 3089938 | 4266 1661 | 12 | 36 1143.84/1144.23 c 1144s | 23 | 3235824 | 3095738 | 4266 1663 | 12 | 36 1145.85/1146.25 c 1146s | 23 | 3241274 | 3101138 | 4266 1666 | 12 | 36 1147.84/1148.26 c 1148s | 23 | 3246102 | 3105938 | 4266 1668 | 12 | 36 1149.84/1150.29 c 1150s | 23 | 3251418 | 3111138 | 4266 1670 | 12 | 36 1151.93/1152.31 c 1152s | 23 | 3256761 | 3116338 | 4266 1672 | 12 | 36 1153.93/1154.35 c 1154s | 23 | 3261876 | 3121338 | 4266 1674 | 12 | 36 1155.93/1156.39 c 1156s | 23 | 3267257 | 3126538 | 4266 1677 | 12 | 36 1157.94/1158.40 c 1158s | 23 | 3272630 | 3131838 | 4266 1679 | 12 | 36 1160.03/1160.42 c 1160s | 23 | 3277787 | 3136938 | 4266 1681 | 12 | 36 1162.03/1162.43 c 1162s | 23 | 3282398 | 3141538 | 4266 1683 | 12 | 36 1164.03/1164.47 c 1164s | 23 | 3287582 | 3146638 | 4266 1685 | 12 | 36 1166.03/1166.48 c 1166s | 23 | 3292839 | 3151738 | 4266 1687 | 12 | 36 1168.03/1168.48 c 1168s | 23 | 3297688 | 3156438 | 4266 1689 | 12 | 36 1170.14/1170.52 c 1170s | 23 | 3302887 | 3161538 | 4266 1692 | 12 | 36 1172.13/1172.52 c 1172s | 23 | 3307965 | 3166438 | 4266 1694 | 12 | 36 1174.13/1174.53 c 1174s | 23 | 3312985 | 3171238 | 4266 1696 | 12 | 36 1176.13/1176.56 c 1176s | 23 | 3317716 | 3175838 | 4266 1698 | 12 | 36 1178.22/1178.61 c 1178s | 23 | 3322731 | 3180638 | 4266 1700 | 12 | 36 1180.22/1180.62 c 1180s | 23 | 3327933 | 3185638 | 4266 1702 | 12 | 36 1182.23/1182.67 c 1182s | 23 | 3333540 | 3191038 | 4266 1705 | 12 | 36 1184.33/1184.72 c 1184s | 23 | 3338100 | 3195338 | 4266 1706 | 12 | 36 1186.32/1186.75 c 1186s | 23 | 3343046 | 3200038 | 4266 1708 | 12 | 36 1188.32/1188.77 c 1188s | 23 | 3348091 | 3204938 | 4266 1711 | 12 | 36 1190.42/1190.82 c 1190s | 23 | 3352653 | 3209338 | 4266 1713 | 12 | 36 1192.41/1192.82 c 1192s | 23 | 3358052 | 3214538 | 4266 1715 | 12 | 36 1194.41/1194.82 c 1194s | 23 | 3363097 | 3219338 | 4266 1717 | 12 | 36 1196.42/1196.86 c 1196s | 23 | 3367864 | 3223838 | 4266 1719 | 12 | 36 1198.51/1198.91 c 1198s | 23 | 3372741 | 3228538 | 4266 1721 | 12 | 36 1200.51/1200.93 c 1200s | 23 | 3377434 | 3233138 | 4266 1723 | 12 | 36 1202.51/1202.95 c 1202s | 23 | 3382402 | 3237838 | 4266 1725 | 12 | 36 1204.51/1204.98 c 1204s | 23 | 3387223 | 3242538 | 4266 1727 | 12 | 36 1206.61/1207.02 c 1206s | 23 | 3391559 | 3246738 | 4266 1729 | 12 | 36 1208.61/1209.03 c 1208s | 23 | 3396238 | 3251238 | 4266 1731 | 12 | 36 1210.61/1211.10 c 1210s | 23 | 3401156 | 3255938 | 4266 1733 | 12 | 36 1212.70/1213.12 c 1212s | 23 | 3405933 | 3260638 | 4266 1735 | 12 | 36 1214.70/1215.15 c 1214s | 23 | 3410281 | 3264938 | 4266 1737 | 12 | 36 1216.71/1217.16 c 1216s | 23 | 3415334 | 3269838 | 4266 1739 | 12 | 36 1218.70/1219.20 c 1219s | 23 | 3419963 | 3274338 | 4266 1741 | 12 | 36 1220.80/1221.22 c 1221s | 23 | 3424667 | 3278838 | 4266 1743 | 12 | 36 1222.81/1223.24 c 1223s | 23 | 3429780 | 3283738 | 4266 1745 | 12 | 36 1224.80/1225.26 c 1225s | 23 | 3434409 | 3288238 | 4266 1747 | 12 | 36 1226.90/1227.30 c 1227s | 23 | 3439199 | 3292838 | 4266 1749 | 12 | 36 1228.89/1229.32 c 1229s | 23 | 3443783 | 3297138 | 4266 1751 | 12 | 36 1230.89/1231.36 c 1231s | 23 | 3448217 | 3301438 | 4266 1753 | 12 | 36 1232.89/1233.38 c 1233s | 23 | 3452736 | 3305838 | 4266 1754 | 12 | 36 1235.00/1235.41 c 1235s | 23 | 3457180 | 3310138 | 4266 1756 | 12 | 36 1236.99/1237.44 c 1237s | 23 | 3461882 | 3314738 | 4266 1758 | 12 | 36 1238.99/1239.46 c 1239s | 23 | 3466547 | 3319238 | 4266 1760 | 12 | 36 1240.99/1241.49 c 1241s | 23 | 3470987 | 3323538 | 4266 1762 | 12 | 36 1243.09/1243.51 c 1243s | 23 | 3476686 | 3329138 | 4266 1765 | 12 | 36 1245.09/1245.54 c 1245s | 23 | 3481475 | 3333838 | 4266 1767 | 12 | 36 1247.09/1247.55 c 1247s | 23 | 3487116 | 3339338 | 4266 1769 | 12 | 36 1249.08/1249.57 c 1249s | 23 | 3492150 | 3344238 | 4266 1771 | 12 | 36 1251.08/1251.59 c 1251s | 23 | 3497075 | 3348938 | 4266 1773 | 12 | 36 1253.18/1253.61 c 1253s | 23 | 3502517 | 3354138 | 4693 1775 | 12 | 36 1255.18/1255.63 c 1255s | 23 | 3507971 | 3359438 | 4693 1777 | 12 | 36 1257.18/1257.64 c 1257s | 23 | 3513097 | 3364538 | 4693 1779 | 12 | 36 1259.18/1259.65 c 1259s | 23 | 3517948 | 3369238 | 4693 1781 | 12 | 36 1261.17/1261.66 c 1261s | 23 | 3523170 | 3374438 | 4693 1783 | 12 | 36 1262.07/1262.58 c 1262s | 24 | 3525406 | 3376662 | 4693 1784 | 12 | 36 1264.17/1264.63 c 1264s | 24 | 3528018 | 3378962 | 4693 1785 | 12 | 36 1266.17/1266.66 c 1266s | 24 | 3531363 | 3382062 | 4693 1786 | 12 | 36 1268.27/1268.70 c 1268s | 24 | 3535155 | 3385562 | 4693 1788 | 12 | 36 1270.27/1270.72 c 1270s | 24 | 3537821 | 3387962 | 4693 1789 | 12 | 36 1272.27/1272.74 c 1272s | 24 | 3541976 | 3391962 | 4693 1790 | 12 | 36 1274.27/1274.74 c 1274s | 24 | 3545484 | 3395262 | 4693 1792 | 12 | 36 1276.27/1276.77 c 1276s | 24 | 3548681 | 3398362 | 4693 1793 | 12 | 36 1278.36/1278.80 c 1278s | 24 | 3552630 | 3402262 | 4693 1795 | 12 | 36 1280.36/1280.82 c 1280s | 24 | 3556666 | 3406262 | 4693 1796 | 12 | 36 1282.36/1282.83 c 1282s | 24 | 3560718 | 3410262 | 4693 1798 | 12 | 36 1284.36/1284.86 c 1284s | 24 | 3564586 | 3414062 | 4693 1799 | 12 | 36 1286.46/1286.90 c 1286s | 24 | 3568628 | 3418062 | 4693 1801 | 12 | 36 1288.45/1288.90 c 1288s | 24 | 3572178 | 3421262 | 4693 1802 | 12 | 36 1290.45/1290.92 c 1290s | 24 | 3575871 | 3424662 | 4693 1804 | 12 | 36 1292.45/1292.95 c 1292s | 24 | 3580459 | 3429162 | 4693 1805 | 12 | 36 1294.45/1294.98 c 1294s | 24 | 3584530 | 3433062 | 4693 1807 | 12 | 36 1296.56/1297.01 c 1296s | 24 | 3588681 | 3437062 | 4693 1809 | 12 | 36 1298.54/1299.03 c 1298s | 24 | 3592465 | 3440662 | 4693 1810 | 12 | 36 1300.54/1301.09 c 1300s | 24 | 3596686 | 3444662 | 4693 1812 | 12 | 36 1302.64/1303.16 c 1302s | 24 | 3600822 | 3448562 | 4693 1813 | 12 | 36 1304.74/1305.22 c 1305s | 24 | 3603440 | 3450962 | 4693 1814 | 12 | 36 1306.74/1307.28 c 1307s | 24 | 3606469 | 3453662 | 4693 1815 | 12 | 36 1308.84/1309.31 c 1309s | 24 | 3610268 | 3457262 | 4693 1817 | 12 | 36 1310.84/1311.35 c 1311s | 24 | 3614784 | 3461562 | 4693 1818 | 12 | 36 1312.83/1313.38 c 1313s | 24 | 3618484 | 3465062 | 4693 1820 | 12 | 36 1314.93/1315.41 c 1315s | 24 | 3622365 | 3468762 | 4693 1821 | 12 | 36 1316.93/1317.48 c 1317s | 24 | 3626149 | 3472262 | 4693 1823 | 12 | 36 1318.93/1319.49 c 1319s | 24 | 3630260 | 3475962 | 4693 1824 | 12 | 36 1321.03/1321.51 c 1321s | 24 | 3633713 | 3479262 | 4693 1826 | 12 | 36 1323.03/1323.54 c 1323s | 24 | 3637162 | 3482662 | 4693 1827 | 12 | 36 1325.03/1325.55 c 1325s | 24 | 3640903 | 3486362 | 4693 1828 | 12 | 36 1327.03/1327.58 c 1327s | 24 | 3644810 | 3489862 | 4693 1830 | 12 | 36 1329.12/1329.62 c 1329s | 24 | 3648819 | 3493662 | 4693 1831 | 12 | 36 1331.12/1331.66 c 1331s | 24 | 3652642 | 3497162 | 4693 1833 | 12 | 36 1333.12/1333.68 c 1333s | 24 | 3656001 | 3500462 | 4693 1834 | 12 | 36 1335.23/1335.71 c 1335s | 24 | 3660146 | 3504462 | 4693 1836 | 12 | 36 1337.24/1337.74 c 1337s | 24 | 3664137 | 3508262 | 4693 1837 | 12 | 36 1339.23/1339.77 c 1339s | 24 | 3667736 | 3511662 | 4693 1839 | 12 | 36 1341.23/1341.77 c 1341s | 24 | 3669865 | 3513662 | 4693 1840 | 12 | 36 1343.23/1343.77 c 1343s | 24 | 3674589 | 3518262 | 4693 1841 | 12 | 36 1345.23/1345.78 c 1345s | 24 | 3679125 | 3522662 | 4693 1843 | 12 | 36 1347.23/1347.79 c 1347s | 24 | 3683271 | 3526762 | 4693 1845 | 12 | 36 1349.33/1349.81 c 1349s | 24 | 3686678 | 3529962 | 4693 1846 | 12 | 36 1351.32/1351.82 c 1351s | 24 | 3689775 | 3532662 | 4693 1847 | 12 | 36 1353.32/1353.85 c 1353s | 24 | 3693414 | 3536062 | 4693 1849 | 12 | 36 1355.32/1355.86 c 1355s | 24 | 3697197 | 3539762 | 4693 1850 | 12 | 36 1357.32/1357.87 c 1357s | 24 | 3701655 | 3544162 | 4693 1852 | 12 | 36 1359.42/1359.94 c 1359s | 24 | 3705206 | 3547562 | 4693 1853 | 12 | 36 1361.43/1361.94 c 1361s | 24 | 3709044 | 3551162 | 4693 1855 | 12 | 36 1363.42/1363.98 c 1363s | 24 | 3712928 | 3554862 | 4693 1856 | 12 | 36 1365.52/1366.03 c 1365s | 24 | 3716380 | 3558262 | 4693 1858 | 12 | 36 1367.52/1368.06 c 1367s | 24 | 3720223 | 3562062 | 4693 1859 | 12 | 36 1369.62/1370.11 c 1369s | 24 | 3723833 | 3565462 | 4693 1861 | 12 | 36 1371.62/1372.12 c 1371s | 24 | 3727311 | 3568762 | 4693 1862 | 12 | 36 1373.72/1374.22 c 1374s | 24 | 3731222 | 3572562 | 4693 1863 | 12 | 36 1375.72/1376.27 c 1376s | 24 | 3734675 | 3575962 | 4693 1865 | 12 | 36 1377.72/1378.28 c 1378s | 24 | 3738306 | 3579562 | 4693 1866 | 12 | 36 1379.82/1380.32 c 1380s | 24 | 3741761 | 3582862 | 4693 1868 | 12 | 36 1381.82/1382.34 c 1382s | 24 | 3745088 | 3586062 | 4693 1869 | 12 | 36 1383.91/1384.42 c 1384s | 24 | 3748892 | 3589462 | 4693 1870 | 12 | 36 1385.91/1386.44 c 1386s | 24 | 3752458 | 3592862 | 4693 1872 | 12 | 36 1387.91/1388.49 c 1388s | 24 | 3756037 | 3596362 | 4693 1873 | 12 | 36 1390.02/1390.52 c 1390s | 24 | 3759369 | 3599562 | 4693 1874 | 12 | 36 1392.01/1392.53 c 1392s | 24 | 3762315 | 3602362 | 4693 1875 | 12 | 36 1394.01/1394.58 c 1394s | 24 | 3765834 | 3605762 | 4693 1877 | 12 | 36 1396.11/1396.60 c 1396s | 24 | 3769588 | 3609462 | 4693 1878 | 12 | 36 1398.11/1398.63 c 1398s | 24 | 3773988 | 3613762 | 4693 1880 | 12 | 36 1400.11/1400.65 c 1400s | 24 | 3778072 | 3617762 | 4693 1882 | 12 | 36 1402.12/1402.65 c 1402s | 24 | 3782630 | 3622262 | 4693 1884 | 12 | 36 1404.22/1404.74 c 1404s | 24 | 3785748 | 3625062 | 4693 1885 | 12 | 36 1406.21/1406.78 c 1406s | 24 | 3789476 | 3628662 | 4693 1886 | 12 | 36 1408.21/1408.79 c 1408s | 24 | 3793484 | 3632562 | 4693 1888 | 12 | 36 1410.31/1410.81 c 1410s | 24 | 3797486 | 3636362 | 4693 1889 | 12 | 36 1412.31/1412.86 c 1412s | 24 | 3800746 | 3639562 | 4693 1890 | 12 | 36 1414.31/1414.87 c 1414s | 24 | 3804305 | 3643062 | 4693 1892 | 12 | 36 1416.41/1416.90 c 1416s | 24 | 3808342 | 3646962 | 4693 1893 | 12 | 36 1418.41/1418.93 c 1418s | 24 | 3811923 | 3650262 | 4693 1895 | 12 | 36 1420.41/1420.94 c 1420s | 24 | 3815176 | 3653362 | 4693 1896 | 12 | 36 1422.41/1422.97 c 1422s | 24 | 3819119 | 3656862 | 4693 1897 | 12 | 36 1424.41/1424.99 c 1424s | 24 | 3822053 | 3659662 | 4693 1899 | 12 | 36 1426.51/1427.03 c 1426s | 24 | 3825207 | 3662762 | 4693 1900 | 12 | 36 1428.51/1429.05 c 1428s | 24 | 3829264 | 3666762 | 4693 1901 | 12 | 36 1430.51/1431.06 c 1430s | 24 | 3833474 | 3670862 | 4693 1903 | 12 | 36 1432.51/1433.06 c 1432s | 24 | 3837728 | 3674962 | 4693 1905 | 12 | 36 1434.50/1435.07 c 1434s | 24 | 3841589 | 3678462 | 4693 1906 | 12 | 36 1436.50/1437.09 c 1436s | 24 | 3844076 | 3680862 | 4693 1907 | 12 | 36 1438.60/1439.18 c 1439s | 24 | 3847124 | 3683862 | 4693 1908 | 12 | 36 1440.70/1441.22 c 1441s | 24 | 3850557 | 3687262 | 4693 1910 | 12 | 36 1442.71/1443.24 c 1443s | 24 | 3854410 | 3691062 | 4693 1911 | 12 | 36 1444.70/1445.27 c 1445s | 24 | 3858078 | 3694662 | 4693 1913 | 12 | 36 1446.80/1447.36 c 1447s | 24 | 3861527 | 3697962 | 4693 1914 | 12 | 36 1448.80/1449.39 c 1449s | 24 | 3864777 | 3700962 | 4693 1915 | 12 | 36 1450.90/1451.43 c 1451s | 24 | 3867978 | 3703862 | 4693 1916 | 12 | 36 1452.90/1453.44 c 1453s | 24 | 3871671 | 3707462 | 4693 1918 | 12 | 36 1454.91/1455.47 c 1455s | 24 | 3875490 | 3711162 | 4693 1919 | 12 | 36 1456.90/1457.50 c 1457s | 24 | 3878736 | 3714362 | 4693 1921 | 12 | 36 1459.00/1459.55 c 1459s | 24 | 3882757 | 3718062 | 4693 1922 | 12 | 36 1461.00/1461.59 c 1461s | 24 | 3886431 | 3721362 | 4693 1924 | 12 | 36 1463.10/1463.62 c 1463s | 24 | 3890028 | 3724562 | 4693 1925 | 12 | 36 1465.10/1465.65 c 1465s | 24 | 3893782 | 3728262 | 4693 1926 | 12 | 36 1467.10/1467.66 c 1467s | 24 | 3897182 | 3731562 | 4693 1928 | 12 | 36 1469.11/1469.69 c 1469s | 24 | 3900314 | 3734462 | 4693 1929 | 12 | 36 1471.20/1471.70 c 1471s | 24 | 3903391 | 3737262 | 4693 1930 | 12 | 36 1473.20/1473.74 c 1473s | 24 | 3906849 | 3740662 | 4693 1931 | 12 | 36 1475.20/1475.77 c 1475s | 24 | 3910701 | 3744462 | 4693 1933 | 12 | 36 1477.30/1477.80 c 1477s | 24 | 3914106 | 3747662 | 4693 1934 | 12 | 36 1479.30/1479.87 c 1479s | 24 | 3917463 | 3750762 | 4693 1935 | 12 | 36 1481.40/1481.91 c 1481s | 24 | 3920736 | 3753962 | 4693 1937 | 12 | 36 1483.40/1483.95 c 1483s | 24 | 3924081 | 3757162 | 4693 1938 | 12 | 36 1485.39/1485.99 c 1485s | 24 | 3927100 | 3760162 | 4693 1939 | 12 | 36 1487.49/1488.00 c 1487s | 24 | 3930544 | 3763562 | 4693 1941 | 12 | 36 1489.49/1490.01 c 1489s | 24 | 3933987 | 3766962 | 4693 1942 | 12 | 36 1491.49/1492.08 c 1491s | 24 | 3937529 | 3770362 | 4693 1943 | 12 | 36 1493.59/1494.12 c 1493s | 24 | 3940939 | 3773462 | 4693 1945 | 12 | 36 1495.60/1496.15 c 1495s | 24 | 3944861 | 3777162 | 4693 1946 | 12 | 36 1497.59/1498.17 c 1498s | 24 | 3948323 | 3780262 | 4693 1947 | 12 | 36 1499.69/1500.21 c 1500s | 24 | 3952522 | 3784362 | 4693 1949 | 12 | 36 1501.69/1502.26 c 1502s | 24 | 3955738 | 3787362 | 4693 1950 | 12 | 36 1503.79/1504.33 c 1504s | 24 | 3958987 | 3790362 | 4693 1951 | 12 | 36 1505.79/1506.34 c 1506s | 24 | 3962797 | 3793962 | 4693 1953 | 12 | 36 1507.79/1508.36 c 1508s | 24 | 3965799 | 3796862 | 4693 1954 | 12 | 36 1509.90/1510.43 c 1510s | 24 | 3969818 | 3800462 | 4693 1956 | 12 | 36 1511.89/1512.49 c 1512s | 24 | 3973320 | 3803462 | 4693 1957 | 12 | 36 1513.89/1514.49 c 1514s | 24 | 3977052 | 3806862 | 4693 1958 | 12 | 36 1515.89/1516.49 c 1516s | 24 | 3980348 | 3810062 | 4693 1959 | 12 | 36 1517.99/1518.54 c 1518s | 24 | 3983770 | 3813162 | 4693 1961 | 12 | 36 1519.99/1520.59 c 1520s | 24 | 3987401 | 3816562 | 4693 1962 | 12 | 36 1521.99/1522.59 c 1522s | 24 | 3991367 | 3820462 | 4693 1964 | 12 | 36 1524.19/1524.71 c 1524s | 24 | 3995246 | 3824162 | 4693 1965 | 12 | 36 1526.19/1526.71 c 1526s | 24 | 3999789 | 3828562 | 4693 1967 | 12 | 36 1528.19/1528.75 c 1528s | 24 | 4003580 | 3832062 | 4693 1968 | 12 | 36 1530.28/1530.80 c 1530s | 24 | 4007694 | 3835662 | 4693 1970 | 12 | 36 1532.28/1532.85 c 1532s | 24 | 4011315 | 3838662 | 4693 1971 | 12 | 36 1534.28/1534.86 c 1534s | 24 | 4015157 | 3841862 | 4693 1972 | 12 | 36 1536.38/1536.90 c 1536s | 24 | 4019050 | 3845562 | 4693 1974 | 12 | 36 1538.39/1538.95 c 1538s | 24 | 4023169 | 3849262 | 4693 1975 | 12 | 36 1540.48/1541.00 c 1540s | 24 | 4026795 | 3852262 | 4693 1976 | 12 | 36 1542.48/1543.04 c 1542s | 24 | 4030444 | 3855562 | 4693 1978 | 12 | 36 1544.48/1545.07 c 1544s | 24 | 4034198 | 3858762 | 4693 1979 | 12 | 36 1546.48/1547.07 c 1546s | 24 | 4038052 | 3862462 | 4693 1981 | 12 | 36 1548.48/1549.08 c 1548s | 24 | 4041989 | 3865962 | 4693 1982 | 12 | 36 1550.49/1551.10 c 1550s | 24 | 4045638 | 3869062 | 4693 1983 | 12 | 36 1552.58/1553.15 c 1552s | 24 | 4049599 | 3872662 | 4693 1985 | 12 | 36 1554.58/1555.17 c 1555s | 24 | 4053376 | 3876262 | 4693 1986 | 12 | 36 1556.68/1557.20 c 1557s | 24 | 4057393 | 3879662 | 4693 1988 | 12 | 36 1558.68/1559.25 c 1559s | 24 | 4061680 | 3883462 | 4693 1989 | 12 | 36 1560.68/1561.27 c 1561s | 24 | 4065635 | 3886962 | 4693 1991 | 12 | 36 1562.78/1563.31 c 1563s | 24 | 4069559 | 3890562 | 4693 1992 | 12 | 36 1564.79/1565.33 c 1565s | 24 | 4073272 | 3894162 | 4693 1993 | 12 | 36 1566.78/1567.36 c 1567s | 24 | 4077285 | 3897362 | 4693 1995 | 12 | 36 1568.79/1569.39 c 1569s | 24 | 4081191 | 3900462 | 4693 1996 | 12 | 36 1570.89/1571.45 c 1571s | 24 | 4085039 | 3903662 | 4693 1997 | 12 | 36 1572.89/1573.46 c 1573s | 24 | 4088842 | 3906762 | 4693 1999 | 12 | 36 1574.88/1575.46 c 1575s | 24 | 4092567 | 3909762 | 4693 2000 | 12 | 36 1576.89/1577.50 c 1577s | 24 | 4097146 | 3913962 | 4693 2001 | 12 | 36 1578.98/1579.58 c 1579s | 24 | 4100990 | 3917662 | 4693 2003 | 12 | 36 1581.08/1581.60 c 1581s | 24 | 4104987 | 3921362 | 4693 2004 | 12 | 36 1583.08/1583.63 c 1583s | 24 | 4108512 | 3924562 | 4693 2006 | 12 | 36 1585.08/1585.68 c 1585s | 24 | 4112562 | 3928462 | 4693 2007 | 12 | 36 1587.18/1587.74 c 1587s | 24 | 4116507 | 3932162 | 4693 2009 | 12 | 36 1589.18/1589.75 c 1589s | 24 | 4120890 | 3935662 | 4693 2010 | 12 | 36 1591.19/1591.76 c 1591s | 24 | 4125102 | 3938862 | 4693 2012 | 12 | 36 1593.28/1593.80 c 1593s | 24 | 4129206 | 3942462 | 4693 2013 | 12 | 36 1595.28/1595.84 c 1595s | 24 | 4133899 | 3947062 | 4693 2015 | 12 | 36 1597.38/1597.92 c 1597s | 24 | 4138370 | 3951262 | 4693 2017 | 12 | 36 1599.38/1599.94 c 1599s | 24 | 4142530 | 3955362 | 4693 2018 | 12 | 36 1601.38/1601.98 c 1601s | 24 | 4146553 | 3959262 | 4693 2020 | 12 | 36 1603.48/1604.04 c 1603s | 24 | 4150441 | 3962962 | 4693 2021 | 12 | 36 1605.48/1606.08 c 1605s | 24 | 4154228 | 3966562 | 4693 2023 | 12 | 36 1607.58/1608.10 c 1607s | 24 | 4158508 | 3970762 | 4693 2024 | 12 | 36 1609.58/1610.13 c 1609s | 24 | 4162342 | 3974462 | 4693 2026 | 12 | 36 1611.58/1612.16 c 1611s | 24 | 4166403 | 3978362 | 4693 2027 | 12 | 36 1613.58/1614.18 c 1614s | 24 | 4170075 | 3981862 | 4693 2029 | 12 | 36 1615.68/1616.20 c 1616s | 24 | 4174146 | 3985662 | 4693 2030 | 12 | 36 1617.68/1618.21 c 1618s | 24 | 4177607 | 3988962 | 4693 2032 | 12 | 36 1619.67/1620.22 c 1620s | 24 | 4181712 | 3992862 | 4693 2033 | 12 | 36 1621.67/1622.25 c 1622s | 24 | 4185730 | 3996662 | 4693 2035 | 12 | 36 1623.67/1624.27 c 1624s | 24 | 4189524 | 4000362 | 4693 2036 | 12 | 36 1625.67/1626.29 c 1626s | 24 | 4193671 | 4004162 | 4693 2038 | 12 | 36 1627.67/1628.29 c 1628s | 24 | 4197900 | 4008162 | 4693 2039 | 12 | 36 1629.68/1630.29 c 1630s | 24 | 4201958 | 4011962 | 4693 2041 | 12 | 36 1631.77/1632.31 c 1632s | 24 | 4206256 | 4016062 | 4693 2043 | 12 | 36 1633.77/1634.36 c 1634s | 24 | 4210869 | 4020362 | 4693 2044 | 12 | 36 1635.87/1636.41 c 1636s | 24 | 4215222 | 4024462 | 4693 2046 | 12 | 36 1637.87/1638.44 c 1638s | 24 | 4219087 | 4028062 | 4693 2048 | 12 | 36 1639.87/1640.44 c 1640s | 24 | 4223793 | 4032362 | 4693 2049 | 12 | 36 1641.88/1642.46 c 1642s | 24 | 4227845 | 4036162 | 4693 2051 | 12 | 36 1643.87/1644.48 c 1644s | 24 | 4232755 | 4040862 | 4693 2053 | 12 | 36 1645.87/1646.48 c 1646s | 24 | 4238052 | 4046062 | 4693 2055 | 12 | 36 1647.97/1648.54 c 1648s | 24 | 4242071 | 4049762 | 4693 2056 | 12 | 36 1649.97/1650.57 c 1650s | 24 | 4246319 | 4053462 | 4693 2058 | 12 | 36 1652.07/1652.60 c 1652s | 24 | 4250735 | 4057562 | 4693 2059 | 12 | 36 1654.07/1654.64 c 1654s | 24 | 4254966 | 4061562 | 4693 2061 | 12 | 36 1656.07/1656.67 c 1656s | 24 | 4258816 | 4065062 | 4693 2062 | 12 | 36 1658.07/1658.68 c 1658s | 24 | 4263351 | 4069162 | 4693 2064 | 12 | 36 1660.17/1660.70 c 1660s | 24 | 4267504 | 4072962 | 4693 2066 | 12 | 36 1662.17/1662.75 c 1662s | 24 | 4271688 | 4076862 | 4693 2067 | 12 | 36 1664.17/1664.77 c 1664s | 24 | 4276004 | 4080862 | 4693 2069 | 12 | 36 1666.26/1666.81 c 1666s | 24 | 4280368 | 4084862 | 4693 2070 | 12 | 36 1668.27/1668.81 c 1668s | 24 | 4284939 | 4089062 | 4693 2072 | 12 | 36 1670.26/1670.83 c 1670s | 24 | 4288663 | 4092362 | 4693 2074 | 12 | 36 1672.26/1672.84 c 1672s | 24 | 4292875 | 4096362 | 4693 2075 | 12 | 36 1674.26/1674.85 c 1674s | 24 | 4297288 | 4100462 | 4693 2077 | 12 | 36 1676.26/1676.87 c 1676s | 24 | 4301391 | 4104362 | 4693 2078 | 12 | 36 1678.36/1678.91 c 1678s | 24 | 4306287 | 4109162 | 4693 2080 | 12 | 36 1680.37/1680.94 c 1680s | 24 | 4310488 | 4113062 | 4693 2082 | 12 | 36 1682.36/1682.95 c 1682s | 24 | 4314389 | 4116462 | 4693 2083 | 12 | 36 1684.36/1684.97 c 1684s | 24 | 4318269 | 4119862 | 4693 2085 | 12 | 36 1686.46/1687.01 c 1686s | 24 | 4322385 | 4123562 | 4693 2086 | 12 | 36 1688.46/1689.05 c 1688s | 24 | 4326215 | 4126462 | 4693 2087 | 12 | 36 1690.46/1691.09 c 1690s | 24 | 4330329 | 4130162 | 4693 2089 | 12 | 36 1692.56/1693.12 c 1692s | 24 | 4334932 | 4134562 | 4693 2091 | 12 | 36 1694.57/1695.14 c 1694s | 24 | 4339338 | 4138862 | 4693 2092 | 12 | 36 1696.56/1697.14 c 1696s | 24 | 4343506 | 4142562 | 4693 2094 | 12 | 36 1698.56/1699.15 c 1698s | 24 | 4347523 | 4146162 | 4693 2095 | 12 | 36 1700.56/1701.19 c 1701s | 24 | 4352045 | 4150562 | 4693 2097 | 12 | 36 1702.66/1703.21 c 1703s | 24 | 4355725 | 4154162 | 4693 2099 | 12 | 36 1704.66/1705.22 c 1705s | 24 | 4359511 | 4157862 | 4693 2100 | 12 | 36 1706.66/1707.24 c 1707s | 24 | 4363376 | 4161662 | 4693 2102 | 12 | 36 1708.66/1709.26 c 1709s | 24 | 4367582 | 4165762 | 4693 2103 | 12 | 36 1710.66/1711.29 c 1711s | 24 | 4372021 | 4170062 | 4693 2105 | 12 | 36 1712.76/1713.31 c 1713s | 24 | 4376000 | 4173962 | 4693 2107 | 12 | 36 1714.76/1715.34 c 1715s | 24 | 4379935 | 4177862 | 4693 2108 | 12 | 36 1716.77/1717.39 c 1717s | 24 | 4383703 | 4181562 | 4693 2110 | 12 | 36 1718.77/1719.40 c 1719s | 24 | 4387738 | 4185562 | 4693 2111 | 12 | 36 1721.07/1721.66 c 1721s | 24 | 4391884 | 4189662 | 4693 2113 | 12 | 36 1723.06/1723.67 c 1723s | 24 | 4396154 | 4193862 | 4693 2115 | 12 | 36 1725.06/1725.68 c 1725s | 24 | 4400457 | 4198062 | 4693 2116 | 12 | 36 1727.16/1727.71 c 1727s | 24 | 4404750 | 4202262 | 4693 2118 | 12 | 36 1729.16/1729.73 c 1729s | 24 | 4408871 | 4206262 | 4693 2120 | 12 | 36 1731.16/1731.78 c 1731s | 24 | 4411807 | 4208962 | 4693 2121 | 12 | 36 1733.26/1733.84 c 1733s | 24 | 4414352 | 4211162 | 4693 2122 | 12 | 36 1735.37/1735.91 c 1735s | 24 | 4417253 | 4213662 | 4693 2123 | 12 | 36 1737.36/1737.94 c 1737s | 24 | 4420882 | 4216862 | 4693 2124 | 12 | 36 1739.36/1739.97 c 1739s | 24 | 4424519 | 4220362 | 4693 2125 | 12 | 36 1741.36/1741.99 c 1741s | 24 | 4428313 | 4224062 | 4693 2127 | 12 | 36 1743.46/1744.03 c 1743s | 24 | 4432157 | 4227862 | 4693 2128 | 12 | 36 1745.56/1746.10 c 1745s | 24 | 4435622 | 4230962 | 4693 2130 | 12 | 36 1747.56/1748.18 c 1748s | 24 | 4437913 | 4233062 | 4693 2130 | 12 | 36 1749.67/1750.22 c 1750s | 24 | 4441417 | 4236262 | 4693 2132 | 12 | 36 1751.66/1752.26 c 1752s | 24 | 4444844 | 4239162 | 4693 2133 | 12 | 36 1753.66/1754.30 c 1754s | 24 | 4448837 | 4243062 | 4693 2134 | 12 | 36 1755.76/1756.35 c 1756s | 24 | 4453025 | 4247162 | 4693 2136 | 12 | 36 1757.76/1758.38 c 1758s | 24 | 4456842 | 4250862 | 4693 2138 | 12 | 36 1759.86/1760.42 c 1760s | 24 | 4461001 | 4254962 | 4693 2139 | 12 | 36 1761.86/1762.45 c 1762s | 24 | 4464534 | 4258062 | 4693 2141 | 12 | 36 1763.86/1764.48 c 1764s | 24 | 4468498 | 4261762 | 4693 2142 | 12 | 36 1765.96/1766.53 c 1766s | 24 | 4472432 | 4265362 | 4693 2143 | 12 | 36 1767.96/1768.58 c 1768s | 24 | 4476322 | 4268762 | 4693 2145 | 12 | 36 1770.06/1770.62 c 1770s | 24 | 4480029 | 4272062 | 4693 2146 | 12 | 36 1772.06/1772.65 c 1772s | 24 | 4484138 | 4276062 | 4693 2148 | 12 | 36 1774.06/1774.66 c 1774s | 24 | 4489139 | 4280962 | 4693 2150 | 12 | 36 1776.06/1776.67 c 1776s | 24 | 4493386 | 4284862 | 4693 2151 | 12 | 36 1778.05/1778.68 c 1778s | 24 | 4496715 | 4288062 | 4693 2153 | 12 | 36 1780.15/1780.71 c 1780s | 24 | 4500930 | 4291962 | 4693 2154 | 12 | 36 1782.15/1782.72 c 1782s | 24 | 4505250 | 4295762 | 4693 2156 | 12 | 36 1784.15/1784.75 c 1784s | 24 | 4509687 | 4300062 | 4693 2157 | 12 | 36 1786.15/1786.76 c 1786s | 24 | 4513702 | 4303762 | 4693 2159 | 12 | 36 1788.16/1788.78 c 1788s | 24 | 4518322 | 4308162 | 4693 2161 | 12 | 36 1790.26/1790.82 c 1790s | 24 | 4521786 | 4311062 | 4693 2162 | 12 | 36 1792.25/1792.86 c 1792s | 24 | 4525147 | 4313962 | 4693 2163 | 12 | 36 1794.35/1794.91 c 1794s | 24 | 4528919 | 4317362 | 4693 2164 | 12 | 36 1796.35/1796.94 c 1796s | 24 | 4532838 | 4321062 | 4693 2166 | 12 | 36 1798.35/1798.97 c 1798s | 24 | 4537255 | 4325262 | 4693 2168 | 12 | 36
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-4106202-1466267264/watcher-4106202-1466267264 -o /tmp/evaluation-result-4106202-1466267264/solver-4106202-1466267264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106202-1466267264.opb pid=27344 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.18 2.17 2.10 2/179 27347 /proc/meminfo: memFree=29389804/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=696764 CPUtime=0 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 2597 0 0 0 0 0 0 0 20 0 4 0 28773023 713486336 2957 33554432000 4194304 16246674 140733675275712 140733675275136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 175215 2969 441 2943 0 172109 0 [pid=27347/tid=27348] ppid=27344 vsize=715196 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 732360704 3029 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=719292 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 736555008 3045 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=723388 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 740749312 3060 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 [startup+0.100169 s] /proc/loadavg: 2.18 2.17 2.10 2/179 27347 /proc/meminfo: memFree=29389804/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 20989 0 0 0 5 4 0 0 20 0 4 0 28773023 1247350784 21337 33554432000 4194304 16246674 140733675275712 140733675275136 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 304529 21342 758 2943 0 301423 0 [pid=27347/tid=27348] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 21344 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 21348 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 21353 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200557 s] /proc/loadavg: 2.18 2.17 2.10 2/179 27347 /proc/meminfo: memFree=29389804/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1218116 CPUtime=0.18 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 38666 0 0 0 12 6 0 0 20 0 4 0 28773023 1247350784 39013 33554432000 4194304 16246674 140733675275712 140733675275136 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 304529 39020 795 2943 0 301423 0 [pid=27347/tid=27348] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 39022 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 39025 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 39029 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 1218116 [startup+0.300467 s] /proc/loadavg: 2.18 2.17 2.10 2/179 27347 /proc/meminfo: memFree=29389804/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 50434 0 0 0 21 8 0 0 20 0 4 0 28773023 1247350784 50781 33554432000 4194304 16246674 140733675275712 140733675275136 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 304529 50786 795 2943 0 301423 0 [pid=27347/tid=27348] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 50790 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 50793 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 50798 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700402 s] /proc/loadavg: 2.18 2.17 2.10 2/179 27347 /proc/meminfo: memFree=29389804/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 108377 0 0 0 53 16 0 0 20 0 4 0 28773023 1247350784 108724 33554432000 4194304 16246674 140733675275712 140733675257600 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 304529 108731 795 2943 0 301423 0 [pid=27347/tid=27348] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 108736 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 108742 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 108747 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.18 2.17 2.10 3/183 27351 /proc/meminfo: memFree=28688024/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 231044 0 0 0 117 31 0 0 20 0 4 0 28773023 1247350784 231391 33554432000 4194304 16246674 140733675275712 140733675257600 5711820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 304529 231397 795 2943 0 301423 0 [pid=27347/tid=27348] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 231400 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 231409 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28773023 1247350784 231414 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.18 2.17 2.10 3/183 27351 /proc/meminfo: memFree=28405552/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1303108 CPUtime=3.09 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 266782 0 0 0 273 36 0 0 20 0 4 0 28773023 1334382592 267107 33554432000 4194304 16246674 140733675275712 140733675257600 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 325777 267107 854 2943 0 322671 0 [pid=27347/tid=27348] ppid=27344 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1334382592 267107 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1334382592 267107 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1303108 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1334382592 267107 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1303108 [startup+6.30041 s] /proc/loadavg: 2.16 2.16 2.10 4/183 27351 /proc/meminfo: memFree=28317760/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 267777 0 0 0 593 36 0 0 20 0 4 0 28773023 1338576896 268102 33554432000 4194304 16246674 140733675275712 140733675258712 5712056 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 326801 268102 854 2943 0 323695 0 [pid=27347/tid=27348] ppid=27344 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1338576896 268102 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1338576896 268102 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1338576896 268102 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.15 2.16 2.10 3/182 27351 /proc/meminfo: memFree=28317000/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1308228 CPUtime=12.69 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 267951 0 0 0 1233 36 0 0 20 0 4 0 28773023 1339625472 268276 33554432000 4194304 16246674 140733675275712 140733675257600 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 327057 268276 854 2943 0 323951 0 [pid=27347/tid=27348] ppid=27344 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1339625472 268276 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1339625472 268276 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1339625472 268276 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1308228 [startup+25.5005 s] /proc/loadavg: 2.12 2.15 2.10 3/182 27352 /proc/meminfo: memFree=28314776/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1311300 CPUtime=25.48 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 268800 0 0 0 2512 36 0 0 20 0 4 0 28773023 1342771200 269125 33554432000 4194304 16246674 140733675275712 140733675257600 12478356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 327825 269125 855 2943 0 324719 0 [pid=27347/tid=27348] ppid=27344 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1342771200 269125 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1342771200 269125 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1342771200 269125 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.14 2.15 2.10 3/182 27352 /proc/meminfo: memFree=28309128/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1319492 CPUtime=51.09 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 270851 0 0 0 5072 37 0 0 20 0 4 0 28773023 1351159808 271176 33554432000 4194304 16246674 140733675275712 140733675257600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 329873 271176 855 2943 0 326767 0 [pid=27347/tid=27348] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271176 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271176 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271176 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 1319492 [startup+102.3 s] /proc/loadavg: 2.18 2.16 2.10 3/183 27354 /proc/meminfo: memFree=28307572/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1319492 CPUtime=102.28 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 270972 0 0 0 10191 37 0 0 20 0 4 0 28773023 1351159808 271297 33554432000 4194304 16246674 140733675275712 140733675257600 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 329873 271297 855 2943 0 326767 0 [pid=27347/tid=27348] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271297 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271297 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1319492 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1351159808 271297 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1319492 ################ # More data... # ################ /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272323 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1322564 [startup+1302.3 s] /proc/loadavg: 2.40 2.32 2.20 3/183 27384 /proc/meminfo: memFree=28292344/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1301.84 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272151 0 0 0 130138 46 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 5861752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 1322564 [startup+1362.3 s] /proc/loadavg: 2.29 2.29 2.20 3/184 27388 /proc/meminfo: memFree=28292288/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1361.82 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272191 0 0 0 136135 47 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 1322564 [startup+1422.3 s] /proc/loadavg: 2.23 2.27 2.19 3/183 27389 /proc/meminfo: memFree=28293124/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1421.81 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 142134 47 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 6023805 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 1322564 [startup+1482.3 s] /proc/loadavg: 2.23 2.26 2.19 3/183 27537 /proc/meminfo: memFree=28316772/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1481.79 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 148132 47 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 12483218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1322564 [startup+1542.31 s] /proc/loadavg: 2.15 2.23 2.18 4/182 27538 /proc/meminfo: memFree=28310140/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1541.79 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 154132 47 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1322564 [startup+1602.3 s] /proc/loadavg: 2.10 2.20 2.17 3/183 27540 /proc/meminfo: memFree=28310020/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1601.78 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 160130 48 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 13965578 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1322564 [startup+1662.3 s] /proc/loadavg: 2.15 2.19 2.17 3/183 27541 /proc/meminfo: memFree=28309652/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1661.77 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 166129 48 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1322564 [startup+1722.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 27542 /proc/meminfo: memFree=28308668/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1721.76 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 172127 49 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675274888 5675333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1322564 [startup+1782.3 s] /proc/loadavg: 2.09 2.15 2.16 4/183 27543 /proc/meminfo: memFree=28308428/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1781.75 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 178126 49 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1322564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.14 2.16 2.16 3/183 27543 /proc/meminfo: memFree=28306568/32872528 swapFree=1191052/1305516 [pid=27347] ppid=27344 vsize=1322564 CPUtime=1800.05 cores=0,2,4,6 /proc/27347/stat : 27347 (toysat) R 27344 27347 26736 0 -1 4202496 272192 0 0 0 179956 49 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140733675257600 5721669 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0 /proc/27347/statm: 330641 272325 857 2943 0 327535 0 [pid=27347/tid=27348] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27348/stat : 27348 (toysat) S 27344 27347 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723415395568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0 [pid=27347/tid=27349] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27349/stat : 27349 (toysat) S 27344 27347 26736 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723328363760 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=27347/tid=27350] ppid=27344 vsize=1322564 CPUtime=0 cores=0,2,4,6 /proc/27347/task/27350/stat : 27350 (toysat) S 27344 27347 26736 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28773023 1354305536 272325 33554432000 4194304 16246674 140733675275712 140723317890224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1322564 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 27347 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1799.57 CPU system time (s): 0.493924 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1322564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.493924 maximum resident set size= 1089300 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272192 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= 464 involuntary context switches= 1836 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.4401 second user time and 16.6415 second system time The end
Begin job on node127 at 2016-06-18 18:27:44 IDJOB=4106202 IDBENCH=47971 IDSOLVER=2542 FILE ID=node127/4106202-1466267264 RUNJOBID= node127-1466265123-26752 PBS_JOBID= 19918231 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106202-1466267264/watcher-4106202-1466267264 -o /tmp/evaluation-result-4106202-1466267264/solver-4106202-1466267264 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106202-1466267264.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED=825839516 node127.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.769 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.53 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.769 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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 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.769 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.56 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.769 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.769 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.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29390076 kB Buffers: 83444 kB Cached: 258656 kB SwapCached: 516 kB Active: 1181712 kB Inactive: 253072 kB Active(anon): 1092896 kB Inactive(anon): 2184 kB Active(file): 88816 kB Inactive(file): 250888 kB Unevictable: 1305516 kB Mlocked: 1191052 kB SwapTotal: 67108856 kB SwapFree: 67100260 kB Dirty: 16604 kB Writeback: 0 kB AnonPages: 2397972 kB Mapped: 10456 kB Shmem: 0 kB Slab: 604548 kB SReclaimable: 48168 kB SUnreclaim: 556380 kB KernelStack: 1520 kB PageTables: 8712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2539796 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 118784 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= 71708 MiB End job on node127 at 2016-06-18 18:57:45