Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.06 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
| MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 15.8046 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 100 |
| Total number of constraints | 100 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 100 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 44 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 100 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 3038 |
| Sum of products size (including duplicates) | 6076 |
| Number of different products | 3038 |
| Sum of products size | 6076 |
0.00/0.00 c 2016-06-18T20:13:01+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106571-1466273581.opb"] 0.00/0.01 c use --random-gen="420602695 3821231026 2523359864 3432401289 2622115325 545968674 3866681245 2167464536 3472393725 2545932717 3599728116 1859951163 945445266 2691228891 1583875904 3090322743 1122617257 564216278 115044230 2915512042 1343779627 1441324767 417086183 144544060 2368782431 739882954 205356877 2654487178 208910832 2586936546 81950172 1771801002 3835403249 2097991781 382485731 1854301054 524624701 3876017923 2883022977 76658640 1223428957 1448295506 100388679 1782199329 989208238 2977323492 1782956732 2555773373 428874652 695941425 1782038668 3596398887 1603730626 42224025 1161218259 29936224 1955996277 2898986563 1206898997 1358685342 2062387701 4145163817 271572708 4246659737 1935292994 2941633347 1461935232 3685052410 845661455 2490897408 3189438566 3398264315 450501148 2737227960 1894775785 667525194 3525019915 1652836653 671776161 1193507195 2407121004 2502363129 1651592848 22444879 2384083489 3141201505 1348871936 1190738582 2165108916 313483189 3915508485 3543913494 1924613923 3276341702 1736424355 3012059233 2083982716 4056060232 2352823713 1106243031 2711937623 2374939422 2438375362 338725204 4279700558 1825606468 839736984 2759846969 549724601 3247442999 3257950196 2617840415 402317873 471205520 3017488809 2584198002 4005552382 3543890693 3463983942 307410874 1178531205 107732399 315382646 2654340308 785596449 286396845 26073179 526720492 2274257253 2555587170 574739441 3650212177 2364176922 956363424 204102224 2156411250 3493501281 852777348 2972735602 35346667 428581395 787952025 1903443233 323695680 4046779505 986572054 2856637479 2159920816 1815494553 3993373463 1602093231 2536051957 2427604640 101380767 397538236 71472496 3232631887 3764643261 488119706 2167200664 152546414 130453004 1174342597 594427766 3253998877 1563253118 2109990869 4203251281 2208699027 1911177747 3678455165 82618638 3764099078 3466944985 3964789537 237073631 1092210410 1335834607 2819626158 1780621307 1233474034 3214214192 3022242025 4199079031 3438822897 3721202794 1073242726 684235462 610757910 2300240769 3085654490 3883815492 1968268547 3267600128 845025830 1899785470 1480810042 3376938420 1611628836 979908078 3290553377 3644996420 3136509265 1685427883 2032223509 656218761 972229355 3253679140 856588333 3827046516 2426906495 3774391401 3498915666 1919648084 846233846 219708182 2340647233 1654103737 3902986722 1047141696 4054023016 2258038077 1447809616 1367923589 3807138786 2422026027 1325424427 2095987771 557592142 2306591183 556268135 3630725905 257399448 3193980195 3690691241 3760618802 542408489 1306989730 2710183576 1243079808 1868326785 538002642 1299869360 4133184951 2088772209 3984492013 4082069491 780271857 2688605750 3010745780 2747672228 134710508 2900592829 3592091617 3389082112 2132242706 255 362436" option to reproduce the execution 0.00/0.02 c #vars 100 0.00/0.02 c #constraints 100 0.00/0.07 c BCD2: Hardening is enabled. 0.00/0.07 c BCD2: BiasedSearch is enabled. 0.00/0.07 c Solving starts ... 0.00/0.07 c ============================[ Search Statistics ]============================ 0.00/0.07 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.07 c | | | | Limit GC | Var | Constra 0.00/0.07 c ============================================================================= 0.00/0.08 c 0.0s | 0 | 0 | 0 | 3104 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 203 | 0 | 3104 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.009s 0.00/0.09 c #wall_clock_time = 0.009s 0.00/0.09 c #decision = 203 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 o 92 0.00/0.09 c BCD2: updating upper bound: 100 -> 91 0.00/0.09 c BCD2: 0 <= obj <= 91 0.00/0.09 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.00/0.09 c 0.0s | 0 | 0 | 0 | 3104 0 | 0 | 0 0.00/0.09 c 0.0s | 0 | 90 | 0 | 3104 0 | 0 | 0 0.00/0.09 c #cpu_time = 0.008s 0.00/0.09 c #wall_clock_time = 0.008s 0.00/0.09 c #decision = 90 0.00/0.09 c #random_decision = 0 0.00/0.09 c #conflict = 0 0.00/0.09 c #restart = 0 0.00/0.09 c BCD2: found a new core of size 28: cost of the new core is >=1 0.00/0.09 c lower bound updated to 1 0.00/0.09 c BCD2: 1 <= obj <= 91 0.00/0.09 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #hardened=0 0.00/0.09 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.09 c Solving starts ... 0.00/0.09 c ============================[ Search Statistics ]============================ 0.00/0.09 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.09 c | | | | Limit GC | Var | Constra 0.00/0.09 c ============================================================================= 0.09/0.11 c 0.0s | 0 | 0 | 0 | 3104 0 | 0 | 0 0.09/0.11 c 0.0s | 0 | 511 | 0 | 3104 0 | 0 | 0 0.09/0.11 c #cpu_time = 0.005s 0.09/0.11 c #wall_clock_time = 0.005s 0.09/0.11 c #decision = 511 0.09/0.11 c #random_decision = 0 0.09/0.11 c #conflict = 0 0.09/0.11 c #restart = 0 0.09/0.11 o 14 0.09/0.11 c BCD2: updating upper bound: 91 -> 13 0.09/0.12 c BCD2: 1 <= obj <= 13 0.09/0.12 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #hardened=0 0.09/0.12 c BCD2: #sat=2 #unsat=2 bias=2/4 0.09/0.12 c Solving starts ... 0.09/0.12 c ============================[ Search Statistics ]============================ 0.09/0.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.12 c | | | | Limit GC | Var | Constra 0.09/0.12 c ============================================================================= 0.09/0.12 c 0.0s | 0 | 0 | 0 | 3104 0 | 0 | 1 0.09/0.16 c 0.0s | 1 | 298 | 100 | 3104 0 | 0 | 1 0.19/0.25 c 0.1s | 2 | 563 | 250 | 3415 0 | 0 | 1 0.39/0.41 c 0.3s | 3 | 955 | 475 | 3757 0 | 0 | 1 0.59/0.68 c 0.6s | 4 | 1540 | 813 | 4133 0 | 0 | 1 0.99/1.06 c 0.9s | 5 | 2350 | 1320 | 4547 0 | 0 | 1 1.49/1.57 c 1.5s | 6 | 3479 | 2081 | 5503 0 | 0 | 1 2.20/2.27 c 2.2s | 7 | 5038 | 3223 | 6054 0 | 0 | 1 3.09/3.12 c 3.0s | 7 | 6647 | 4317 | 6054 0 | 0 | 1 3.09/3.12 c #cpu_time = 2.993s 3.09/3.12 c #wall_clock_time = 3.000s 3.09/3.12 c #decision = 6647 3.09/3.12 c #random_decision = 7 3.09/3.12 c #conflict = 4317 3.09/3.12 c #restart = 7 3.09/3.12 o 7 3.09/3.12 c BCD2: updating upper bound: 13 -> 6 3.09/3.12 c BCD2: 1 <= obj <= 6 3.09/3.12 c BCD2: #cores=1, #unrelaxed=72, #relaxed=28, #hardened=0 3.09/3.12 c BCD2: #sat=3 #unsat=2 bias=2/5 3.09/3.12 c Solving starts ... 3.09/3.12 c ============================[ Search Statistics ]============================ 3.09/3.12 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.09/3.12 c | | | | Limit GC | Var | Constra 3.09/3.12 c ============================================================================= 3.09/3.12 c 0.0s | 0 | 0 | 0 | 6054 0 | 0 | 2 3.19/3.21 c 0.1s | 0 | 191 | 84 | 6054 0 | 0 | 2 3.19/3.21 c #cpu_time = 0.092s 3.19/3.21 c #wall_clock_time = 0.092s 3.19/3.21 c #decision = 191 3.19/3.21 c #random_decision = 0 3.19/3.21 c #conflict = 84 3.19/3.21 c #restart = 0 3.19/3.21 c BCD2: relaxing 72 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 3.19/3.21 c lower bound updated to 2 3.19/3.21 c BCD2: 2 <= obj <= 6 3.19/3.21 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 3.19/3.21 c BCD2: #sat=3 #unsat=3 bias=3/6 3.19/3.21 c Solving starts ... 3.19/3.21 c ============================[ Search Statistics ]============================ 3.19/3.21 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 3.19/3.21 c | | | | Limit GC | Var | Constra 3.19/3.21 c ============================================================================= 3.19/3.21 c 0.0s | 0 | 0 | 0 | 6054 0 | 3 | 2 3.40/3.43 c 0.2s | 1 | 500 | 100 | 6054 0 | 3 | 7 3.59/3.61 c 0.4s | 2 | 894 | 250 | 6054 0 | 3 | 7 3.89/3.91 c 0.7s | 3 | 1681 | 475 | 6054 0 | 3 | 7 4.19/4.29 c 1.1s | 4 | 2536 | 813 | 6660 0 | 3 | 7 4.89/4.90 c 1.7s | 5 | 4220 | 1320 | 6660 0 | 3 | 7 5.69/5.78 c 2.6s | 6 | 6055 | 2081 | 6660 0 | 3 | 7 6.99/7.05 c 3.8s | 7 | 9352 | 3223 | 7327 0 | 3 | 7 8.80/8.85 c 5.6s | 8 | 13158 | 4936 | 7327 0 | 3 | 7 10.79/10.86 c 7.7s | 8 | 16964 | 6536 | 7327 0 | 3 | 7 12.20/12.28 c 9.1s | 9 | 19225 | 7506 | 8060 0 | 3 | 7 14.40/14.41 c 11.2s | 9 | 22802 | 9106 | 8060 1 | 3 | 7 16.39/16.41 c 13.2s | 9 | 26228 | 10606 | 8060 1 | 3 | 7 17.39/17.43 c 14.2s | 10 | 27767 | 11361 | 8060 1 | 3 | 7 19.39/19.43 c 16.2s | 10 | 31911 | 12961 | 8866 1 | 3 | 7 21.49/21.55 c 18.3s | 10 | 35147 | 14561 | 8866 2 | 3 | 7 23.59/23.62 c 20.4s | 10 | 39140 | 16161 | 8866 2 | 3 | 7 24.79/24.83 c 21.6s | 11 | 41556 | 17144 | 8866 2 | 3 | 7 26.79/26.88 c 23.7s | 11 | 45099 | 18744 | 8866 3 | 3 | 7 28.89/28.98 c 25.8s | 11 | 48424 | 20244 | 8866 3 | 3 | 7 30.99/31.01 c 27.8s | 11 | 51654 | 21844 | 9753 3 | 3 | 7 32.99/33.07 c 29.9s | 11 | 55028 | 23344 | 9753 3 | 3 | 7 35.09/35.17 c 32.0s | 11 | 58675 | 24944 | 9753 4 | 3 | 7 36.18/36.20 c 33.0s | 12 | 60584 | 25819 | 9753 4 | 3 | 7 38.18/38.21 c 35.0s | 12 | 63940 | 27319 | 9753 4 | 3 | 7 40.18/40.27 c 37.1s | 12 | 67639 | 29019 | 9753 4 | 3 | 7 42.18/42.27 c 39.1s | 12 | 71476 | 30719 | 9753 5 | 3 | 7 44.28/44.36 c 41.1s | 12 | 74889 | 32319 | 9753 5 | 3 | 7 46.38/46.44 c 43.2s | 12 | 78703 | 34019 | 9753 5 | 3 | 7 48.49/48.51 c 45.3s | 12 | 82107 | 35619 | 10729 6 | 3 | 7 50.48/50.58 c 47.4s | 12 | 85486 | 37219 | 10729 6 | 3 | 7 52.58/52.60 c 49.4s | 12 | 89220 | 38819 | 10729 6 | 3 | 7 52.58/52.62 c 49.4s | 13 | 89253 | 38832 | 10729 6 | 3 | 7 54.58/54.68 c 51.5s | 13 | 92654 | 40432 | 10729 6 | 3 | 7 56.68/56.78 c 53.6s | 13 | 95786 | 41932 | 10729 7 | 3 | 7 58.78/58.80 c 55.6s | 13 | 99358 | 43632 | 10729 7 | 3 | 7 60.78/60.83 c 57.6s | 13 | 102798 | 45232 | 10729 7 | 3 | 7 62.88/62.90 c 59.7s | 13 | 106245 | 46632 | 10729 7 | 3 | 7 64.88/64.93 c 61.7s | 13 | 109721 | 48332 | 10729 8 | 3 | 7 66.88/66.98 c 63.8s | 13 | 112853 | 49832 | 10729 8 | 3 | 7 68.98/69.08 c 65.9s | 13 | 115982 | 51332 | 10729 8 | 3 | 7 71.18/71.21 c 68.0s | 13 | 119250 | 52832 | 10729 9 | 3 | 7 73.27/73.35 c 70.1s | 13 | 122632 | 54432 | 11802 9 | 3 | 7 75.37/75.48 c 72.3s | 13 | 125968 | 56132 | 11802 9 | 3 | 7 77.47/77.54 c 74.3s | 13 | 128871 | 57532 | 11802 9 | 3 | 7 78.47/78.56 c 75.3s | 14 | 130552 | 58352 | 11802 9 | 3 | 7 80.57/80.66 c 77.4s | 14 | 134055 | 59952 | 11802 10 | 3 | 7 82.59/82.69 c 79.5s | 14 | 137446 | 61452 | 11802 10 | 3 | 7 84.69/84.72 c 81.5s | 14 | 140855 | 62952 | 11802 10 | 3 | 7 86.78/86.88 c 83.7s | 14 | 144055 | 64552 | 11802 10 | 3 | 7 88.78/88.90 c 85.7s | 14 | 147078 | 65952 | 11802 11 | 3 | 7 90.88/90.99 c 87.8s | 14 | 150758 | 67552 | 11802 11 | 3 | 7 92.98/93.02 c 89.8s | 14 | 153758 | 68952 | 11802 11 | 3 | 7 95.08/95.10 c 91.9s | 14 | 157148 | 70452 | 11802 11 | 3 | 7 97.08/97.15 c 93.9s | 14 | 160465 | 71952 | 11802 12 | 3 | 7 99.18/99.22 c 96.0s | 14 | 163435 | 73352 | 11802 12 | 3 | 7 101.29/101.33 c 98.1s | 14 | 167163 | 74952 | 11802 12 | 3 | 7 103.39/103.41 c 100s | 14 | 170411 | 76552 | 11802 12 | 3 | 7 105.38/105.47 c 102s | 14 | 173610 | 78052 | 11802 13 | 3 | 7 107.48/107.54 c 104s | 14 | 177037 | 79752 | 11802 13 | 3 | 7 109.58/109.68 c 106s | 14 | 180260 | 81252 | 11802 13 | 3 | 7 111.58/111.69 c 108s | 14 | 183475 | 82852 | 12983 13 | 3 | 7 113.68/113.72 c 110s | 14 | 186759 | 84452 | 12983 13 | 3 | 7 115.68/115.80 c 112s | 14 | 190634 | 85852 | 12983 14 | 3 | 7 117.78/117.87 c 114s | 14 | 194311 | 87552 | 12983 14 | 3 | 7 117.88/117.98 c 114s | 15 | 194469 | 87632 | 12983 14 | 3 | 7 120.07/120.11 c 116s | 15 | 198209 | 89232 | 12983 14 | 3 | 7 122.18/122.24 c 119s | 15 | 201301 | 90732 | 12983 14 | 3 | 7 124.28/124.37 c 121s | 15 | 204711 | 92232 | 12983 15 | 3 | 7 126.48/126.51 c 123s | 15 | 208892 | 93832 | 12983 15 | 3 | 7 128.47/128.52 c 125s | 15 | 212034 | 95232 | 12983 15 | 3 | 7 130.47/130.57 c 127s | 15 | 215316 | 96732 | 12983 15 | 3 | 7 132.57/132.67 c 129s | 15 | 219056 | 98232 | 12983 15 | 3 | 7 134.67/134.74 c 131s | 15 | 222115 | 99732 | 12983 16 | 3 | 7 136.67/136.74 c 133s | 15 | 225919 | 101432 | 12983 16 | 3 | 7 138.77/138.86 c 135s | 15 | 228989 | 102932 | 12983 16 | 3 | 7 140.97/141.02 c 137s | 15 | 232158 | 104332 | 12983 16 | 3 | 7 142.98/143.06 c 139s | 15 | 234950 | 105732 | 12983 17 | 3 | 7 145.07/145.11 c 141s | 15 | 238252 | 107232 | 12983 17 | 3 | 7 147.07/147.15 c 143s | 15 | 242223 | 109032 | 12983 17 | 3 | 7 149.07/149.17 c 145s | 15 | 245812 | 110532 | 12983 17 | 3 | 7 151.27/151.30 c 148s | 15 | 248829 | 112032 | 12983 17 | 3 | 7 153.27/153.39 c 150s | 15 | 252545 | 113632 | 12983 18 | 3 | 7 155.47/155.54 c 152s | 15 | 256256 | 115232 | 12983 18 | 3 | 7 157.57/157.65 c 154s | 15 | 259832 | 116932 | 12983 18 | 3 | 7 159.57/159.66 c 156s | 15 | 262519 | 118332 | 12983 18 | 3 | 7 161.57/161.68 c 158s | 15 | 265616 | 119832 | 12983 19 | 3 | 7 163.57/163.69 c 160s | 15 | 268997 | 121332 | 12983 19 | 3 | 7 165.67/165.77 c 162s | 15 | 272769 | 123032 | 12983 19 | 3 | 7 167.77/167.86 c 164s | 15 | 276149 | 124532 | 12983 19 | 3 | 7 169.87/169.93 c 166s | 15 | 279700 | 126132 | 12983 19 | 3 | 7 171.86/171.99 c 168s | 15 | 282863 | 127732 | 14282 20 | 3 | 7 173.96/174.00 c 170s | 15 | 286599 | 129332 | 14282 20 | 3 | 7 176.07/176.11 c 172s | 15 | 290294 | 131032 | 14282 20 | 3 | 7 176.76/176.82 c 173s | 16 | 291767 | 131552 | 14282 20 | 3 | 7 178.76/178.89 c 175s | 16 | 294993 | 133052 | 14282 20 | 3 | 7 180.86/180.99 c 177s | 16 | 298370 | 134552 | 14282 21 | 3 | 7 182.96/183.09 c 179s | 16 | 302090 | 136352 | 14282 21 | 3 | 7 185.16/185.20 c 181s | 16 | 305752 | 137952 | 14282 21 | 3 | 7 187.26/187.32 c 184s | 16 | 309306 | 139652 | 14282 21 | 3 | 7 189.27/189.38 c 186s | 16 | 312693 | 141252 | 14282 21 | 3 | 7 191.37/191.41 c 188s | 16 | 315965 | 142752 | 14282 22 | 3 | 7 193.46/193.51 c 190s | 16 | 319734 | 144452 | 14282 22 | 3 | 7 195.46/195.55 c 192s | 16 | 323464 | 146152 | 14282 22 | 3 | 7 197.46/197.58 c 194s | 16 | 326935 | 147752 | 14282 22 | 3 | 7 199.56/199.61 c 196s | 16 | 330377 | 149352 | 14282 23 | 3 | 7 201.56/201.67 c 198s | 16 | 334153 | 151152 | 14282 23 | 3 | 7 203.66/203.72 c 200s | 16 | 338095 | 152952 | 14282 23 | 3 | 7 205.67/205.79 c 202s | 16 | 341799 | 154652 | 14282 23 | 3 | 7 207.87/207.90 c 204s | 16 | 345395 | 156352 | 14282 23 | 3 | 7 209.86/209.91 c 206s | 16 | 349081 | 158052 | 14282 24 | 3 | 7 211.96/212.03 c 208s | 16 | 352867 | 159952 | 14282 24 | 3 | 7 214.06/214.12 c 210s | 16 | 356711 | 161852 | 14282 24 | 3 | 7 216.06/216.12 c 212s | 16 | 360545 | 163552 | 14282 24 | 3 | 7 218.16/218.22 c 215s | 16 | 364093 | 165252 | 14282 25 | 3 | 7 220.16/220.26 c 217s | 16 | 368385 | 167252 | 14282 25 | 3 | 7 222.16/222.27 c 219s | 16 | 372319 | 169152 | 14282 25 | 3 | 7 224.25/224.35 c 221s | 16 | 376386 | 171152 | 14282 25 | 3 | 7 226.35/226.42 c 223s | 16 | 380113 | 173052 | 14282 26 | 3 | 7 228.35/228.43 c 225s | 16 | 384445 | 175352 | 14282 26 | 3 | 7 230.65/230.70 c 227s | 16 | 386816 | 176552 | 14282 26 | 3 | 7 232.65/232.70 c 229s | 16 | 389696 | 177852 | 14282 26 | 3 | 7 234.65/234.77 c 231s | 16 | 393599 | 179552 | 14282 26 | 3 | 7 236.85/236.91 c 233s | 16 | 396694 | 181152 | 14282 27 | 3 | 7 238.95/239.02 c 235s | 16 | 400313 | 182952 | 14282 27 | 3 | 7 241.05/241.10 c 237s | 16 | 403518 | 184452 | 14282 27 | 3 | 7 243.06/243.17 c 239s | 16 | 406721 | 185852 | 14282 27 | 3 | 7 245.15/245.24 c 242s | 16 | 409454 | 187252 | 14282 28 | 3 | 7 247.15/247.29 c 244s | 16 | 412568 | 188852 | 14282 28 | 3 | 7 249.25/249.38 c 246s | 16 | 416292 | 190752 | 14282 28 | 3 | 7 251.45/251.50 c 248s | 16 | 420098 | 192352 | 15711 28 | 3 | 7 253.45/253.54 c 250s | 16 | 423516 | 193952 | 15711 28 | 3 | 7 255.45/255.57 c 252s | 16 | 426620 | 195452 | 15711 28 | 3 | 7 257.55/257.65 c 254s | 16 | 429897 | 196952 | 15711 29 | 3 | 7 258.15/258.25 c 255s | 17 | 431061 | 197432 | 15711 29 | 3 | 7 260.15/260.28 c 257s | 17 | 434438 | 198932 | 15711 29 | 3 | 7 262.25/262.33 c 259s | 17 | 437797 | 200532 | 15711 29 | 3 | 7 264.25/264.38 c 261s | 17 | 441118 | 202032 | 15711 29 | 3 | 7 266.26/266.39 c 263s | 17 | 444323 | 203532 | 15711 29 | 3 | 7 268.36/268.47 c 265s | 17 | 448252 | 205132 | 15711 30 | 3 | 7 270.45/270.59 c 267s | 17 | 452483 | 206932 | 15711 30 | 3 | 7 272.55/272.66 c 269s | 17 | 456524 | 208632 | 15711 30 | 3 | 7 274.65/274.74 c 271s | 17 | 460092 | 210232 | 15711 30 | 3 | 7 276.75/276.81 c 273s | 17 | 463990 | 211832 | 15711 30 | 3 | 7 278.85/278.92 c 275s | 17 | 467669 | 213432 | 15711 31 | 3 | 7 280.95/281.01 c 277s | 17 | 471377 | 215132 | 15711 31 | 3 | 7 282.95/283.07 c 279s | 17 | 474679 | 216732 | 15711 31 | 3 | 7 285.05/285.19 c 281s | 17 | 478214 | 218432 | 15711 31 | 3 | 7 287.16/287.25 c 284s | 17 | 481375 | 220032 | 15711 31 | 3 | 7 289.15/289.29 c 286s | 17 | 484518 | 221432 | 15711 32 | 3 | 7 291.25/291.36 c 288s | 17 | 488080 | 223132 | 15711 32 | 3 | 7 293.35/293.45 c 290s | 17 | 491466 | 224832 | 15711 32 | 3 | 7 295.45/295.56 c 292s | 17 | 495112 | 226532 | 15711 32 | 3 | 7 297.54/297.61 c 294s | 17 | 498306 | 228132 | 15711 32 | 3 | 7 299.54/299.69 c 296s | 17 | 501596 | 229732 | 15711 32 | 3 | 7 301.54/301.69 c 298s | 17 | 505279 | 231332 | 15711 33 | 3 | 7 303.65/303.71 c 300s | 17 | 508803 | 232932 | 15711 33 | 3 | 7 305.64/305.79 c 302s | 17 | 512803 | 234632 | 15711 33 | 3 | 7 307.74/307.90 c 304s | 17 | 516273 | 236332 | 15711 33 | 3 | 7 309.94/310.01 c 306s | 17 | 519421 | 237932 | 15711 33 | 3 | 7 311.94/312.01 c 308s | 17 | 523036 | 239532 | 15711 34 | 3 | 7 313.93/314.06 c 310s | 17 | 526535 | 241232 | 15711 34 | 3 | 7 316.03/316.10 c 312s | 17 | 529835 | 242932 | 15711 34 | 3 | 7 318.03/318.10 c 314s | 17 | 533192 | 244432 | 15711 34 | 3 | 7 320.33/320.49 c 317s | 17 | 535759 | 245732 | 15711 34 | 3 | 7 322.43/322.55 c 319s | 17 | 538205 | 246832 | 15711 35 | 3 | 7 324.43/324.57 c 321s | 17 | 541577 | 248232 | 15711 35 | 3 | 7 326.73/326.84 c 323s | 17 | 544713 | 249632 | 15711 35 | 3 | 7 328.73/328.85 c 325s | 17 | 547765 | 250932 | 15711 35 | 3 | 7 330.82/330.97 c 327s | 17 | 551552 | 252632 | 15711 35 | 3 | 7 332.92/333.00 c 329s | 17 | 554367 | 253932 | 15711 35 | 3 | 7 334.92/335.01 c 331s | 17 | 557182 | 255232 | 15711 36 | 3 | 7 337.02/337.10 c 333s | 17 | 560884 | 256832 | 15711 36 | 3 | 7 339.02/339.16 c 335s | 17 | 564127 | 258332 | 15711 36 | 3 | 7 341.03/341.17 c 337s | 17 | 567646 | 259832 | 15711 36 | 3 | 7 343.13/343.21 c 339s | 17 | 571554 | 261432 | 15711 36 | 3 | 7 345.12/345.23 c 342s | 17 | 574928 | 262832 | 15711 37 | 3 | 7 347.22/347.36 c 344s | 17 | 578790 | 264432 | 15711 37 | 3 | 7 349.22/349.39 c 346s | 17 | 582543 | 266032 | 15711 37 | 3 | 7 351.42/351.54 c 348s | 17 | 585821 | 267532 | 15711 37 | 3 | 7 353.42/353.59 c 350s | 17 | 589082 | 269132 | 15711 37 | 3 | 7 355.62/355.75 c 352s | 17 | 592778 | 270632 | 15711 38 | 3 | 7 357.72/357.86 c 354s | 17 | 596646 | 272432 | 15711 38 | 3 | 7 359.82/359.91 c 356s | 17 | 600357 | 274032 | 15711 38 | 3 | 7 361.92/362.04 c 358s | 17 | 604343 | 275632 | 15711 38 | 3 | 7 364.02/364.14 c 360s | 17 | 607964 | 277232 | 15711 38 | 3 | 7 366.01/366.15 c 362s | 17 | 611342 | 278732 | 15711 38 | 3 | 7 368.11/368.20 c 364s | 17 | 614556 | 280432 | 15711 39 | 3 | 7 370.11/370.26 c 367s | 17 | 618008 | 282032 | 15711 39 | 3 | 7 372.21/372.30 c 369s | 17 | 621422 | 283532 | 15711 39 | 3 | 7 374.21/374.39 c 371s | 17 | 624640 | 285132 | 15711 39 | 3 | 7 376.40/376.52 c 373s | 17 | 627925 | 286632 | 15711 39 | 3 | 7 378.41/378.53 c 375s | 17 | 631341 | 288232 | 15711 40 | 3 | 7 380.40/380.57 c 377s | 17 | 634827 | 289832 | 17283 40 | 3 | 7 382.50/382.66 c 379s | 17 | 638258 | 291432 | 17283 40 | 3 | 7 384.60/384.73 c 381s | 17 | 641617 | 293132 | 17283 40 | 3 | 7 386.70/386.80 c 383s | 17 | 644660 | 294632 | 17283 40 | 3 | 7 388.70/388.85 c 385s | 17 | 648483 | 296232 | 17283 40 | 3 | 7 388.70/388.87 c 385s | 18 | 648503 | 296252 | 17283 40 | 3 | 7 390.70/390.90 c 387s | 18 | 651757 | 297752 | 17283 41 | 3 | 7 392.80/392.96 c 389s | 18 | 653893 | 298752 | 17283 41 | 3 | 7 394.80/394.97 c 391s | 18 | 657392 | 300452 | 17283 41 | 3 | 7 396.89/397.08 c 393s | 18 | 660583 | 301952 | 17283 41 | 3 | 7 398.99/399.19 c 395s | 18 | 663887 | 303552 | 17283 41 | 3 | 7 401.09/401.20 c 397s | 18 | 666756 | 304952 | 17283 41 | 3 | 7 403.19/403.30 c 400s | 18 | 669801 | 306352 | 17283 42 | 3 | 7 405.29/405.40 c 402s | 18 | 673439 | 308052 | 17283 42 | 3 | 7 407.29/407.46 c 404s | 18 | 677091 | 309652 | 17283 42 | 3 | 7 409.39/409.58 c 406s | 18 | 680612 | 311152 | 17283 42 | 3 | 7 411.49/411.67 c 408s | 18 | 683985 | 312752 | 17283 42 | 3 | 7 413.60/413.75 c 410s | 18 | 686889 | 314252 | 17283 42 | 3 | 7 415.70/415.80 c 412s | 18 | 690002 | 315652 | 17283 43 | 3 | 7 417.69/417.84 c 414s | 18 | 693215 | 317252 | 17283 43 | 3 | 7 419.69/419.87 c 416s | 18 | 697143 | 318852 | 17283 43 | 3 | 7 421.79/421.97 c 418s | 18 | 700720 | 320452 | 17283 43 | 3 | 7 423.89/424.01 c 420s | 18 | 704048 | 322052 | 17283 43 | 3 | 7 425.89/426.02 c 422s | 18 | 706879 | 323452 | 17283 43 | 3 | 7 427.99/428.11 c 424s | 18 | 710228 | 324952 | 17283 44 | 3 | 7 429.99/430.15 c 426s | 18 | 713582 | 326552 | 17283 44 | 3 | 7 431.99/432.15 c 428s | 18 | 716975 | 328252 | 17283 44 | 3 | 7 434.19/434.31 c 431s | 18 | 720502 | 329852 | 17283 44 | 3 | 7 436.29/436.41 c 433s | 18 | 723562 | 331352 | 17283 44 | 3 | 7 438.39/438.50 c 435s | 18 | 726454 | 332752 | 17283 44 | 3 | 7 440.39/440.53 c 437s | 18 | 729002 | 334152 | 17283 45 | 3 | 7 442.48/442.64 c 439s | 18 | 732227 | 335652 | 17283 45 | 3 | 7 444.48/444.66 c 441s | 18 | 735626 | 337252 | 17283 45 | 3 | 7 446.49/446.68 c 443s | 18 | 739192 | 338852 | 17283 45 | 3 | 7 448.58/448.76 c 445s | 18 | 742565 | 340452 | 17283 45 | 3 | 7 450.68/450.81 c 447s | 18 | 745756 | 342052 | 17283 45 | 3 | 7 452.78/452.91 c 449s | 18 | 749452 | 343852 | 17283 46 | 3 | 7 454.78/454.92 c 451s | 18 | 752910 | 345452 | 17283 46 | 3 | 7 456.78/456.99 c 453s | 18 | 756939 | 347252 | 17283 46 | 3 | 7 458.78/458.99 c 455s | 18 | 759978 | 348852 | 17283 46 | 3 | 7 460.88/461.01 c 457s | 18 | 763023 | 350352 | 17283 46 | 3 | 7 462.87/463.09 c 459s | 18 | 765830 | 351752 | 17283 47 | 3 | 7 464.97/465.20 c 461s | 18 | 769662 | 353552 | 17283 47 | 3 | 7 467.07/467.20 c 463s | 18 | 773273 | 355252 | 17283 47 | 3 | 7 469.07/469.25 c 466s | 18 | 776872 | 356952 | 17283 47 | 3 | 7 471.17/471.32 c 468s | 18 | 780372 | 358652 | 17283 47 | 3 | 7 473.17/473.33 c 470s | 18 | 784213 | 360352 | 17283 47 | 3 | 7 475.17/475.38 c 472s | 18 | 787947 | 362152 | 17283 48 | 3 | 7 477.27/477.42 c 474s | 18 | 791876 | 364052 | 17283 48 | 3 | 7 479.27/479.44 c 476s | 18 | 795675 | 365852 | 17283 48 | 3 | 7 481.37/481.55 c 478s | 18 | 798981 | 367652 | 17283 48 | 3 | 7 483.46/483.60 c 480s | 18 | 802663 | 369452 | 17283 48 | 3 | 7 485.46/485.64 c 482s | 18 | 806724 | 371452 | 17283 49 | 3 | 7 488.77/488.90 c 485s | 18 | 810958 | 373752 | 17283 49 | 3 | 7 490.77/490.93 c 487s | 18 | 813231 | 374852 | 17283 49 | 3 | 7 492.87/493.05 c 489s | 18 | 816768 | 376452 | 17283 49 | 3 | 7 494.97/495.16 c 491s | 18 | 820187 | 378052 | 17283 49 | 3 | 7 497.07/497.21 c 493s | 18 | 823574 | 379552 | 17283 50 | 3 | 7 499.06/499.24 c 496s | 18 | 826696 | 380952 | 17283 50 | 3 | 7 501.16/501.31 c 498s | 18 | 830073 | 382552 | 17283 50 | 3 | 7 503.16/503.38 c 500s | 18 | 833389 | 384052 | 17283 50 | 3 | 7 505.16/505.38 c 502s | 18 | 836550 | 385552 | 17283 50 | 3 | 7 507.26/507.50 c 504s | 18 | 840051 | 387152 | 17283 50 | 3 | 7 509.46/509.62 c 506s | 18 | 843348 | 388552 | 17283 51 | 3 | 7 511.46/511.63 c 508s | 18 | 846949 | 390252 | 17283 51 | 3 | 7 513.45/513.65 c 510s | 18 | 850094 | 391852 | 17283 51 | 3 | 7 515.55/515.71 c 512s | 18 | 853649 | 393452 | 17283 51 | 3 | 7 517.55/517.74 c 514s | 18 | 856664 | 394952 | 17283 51 | 3 | 7 519.65/519.81 c 516s | 18 | 859869 | 396452 | 17283 51 | 3 | 7 521.65/521.82 c 518s | 18 | 863320 | 397952 | 17283 52 | 3 | 7 523.75/523.91 c 520s | 18 | 866840 | 399552 | 17283 52 | 3 | 7 525.85/526.00 c 522s | 18 | 870458 | 401252 | 17283 52 | 3 | 7 527.75/528.00 c 524s | 18 | 873770 | 402652 | 17283 52 | 3 | 7 529.95/530.10 c 526s | 18 | 877066 | 404252 | 17283 52 | 3 | 7 532.05/532.20 c 528s | 18 | 880034 | 405752 | 17283 52 | 3 | 7 534.04/534.25 c 531s | 18 | 883459 | 407252 | 17283 53 | 3 | 7 536.04/536.25 c 533s | 18 | 886989 | 408952 | 17283 53 | 3 | 7 538.04/538.29 c 535s | 18 | 889890 | 410452 | 17283 53 | 3 | 7 540.14/540.35 c 537s | 18 | 893233 | 412152 | 17283 53 | 3 | 7 542.25/542.41 c 539s | 18 | 896268 | 413652 | 17283 53 | 3 | 7 544.35/544.52 c 541s | 18 | 899573 | 415252 | 17283 53 | 3 | 7 546.34/546.57 c 543s | 18 | 903067 | 416852 | 17283 54 | 3 | 7 548.34/548.58 c 545s | 18 | 906798 | 418452 | 17283 54 | 3 | 7 550.44/550.67 c 547s | 18 | 910147 | 420052 | 17283 54 | 3 | 7 552.64/552.80 c 549s | 18 | 913322 | 421652 | 17283 54 | 3 | 7 554.63/554.84 c 551s | 18 | 916900 | 423152 | 17283 54 | 3 | 7 556.83/557.05 c 553s | 18 | 920346 | 424652 | 17283 55 | 3 | 7 558.93/559.13 c 555s | 18 | 923885 | 426352 | 17283 55 | 3 | 7 561.03/561.22 c 558s | 18 | 927437 | 428052 | 17283 55 | 3 | 7 563.04/563.25 c 560s | 18 | 930903 | 429652 | 17283 55 | 3 | 7 565.03/565.26 c 562s | 18 | 933878 | 431152 | 17283 55 | 3 | 7 567.13/567.38 c 564s | 18 | 937274 | 432752 | 17283 55 | 3 | 7 569.23/569.40 c 566s | 18 | 939987 | 434152 | 17283 56 | 3 | 7 571.23/571.42 c 568s | 18 | 943546 | 435752 | 17283 56 | 3 | 7 573.22/573.42 c 570s | 18 | 946629 | 437352 | 19012 56 | 3 | 7 575.23/575.44 c 572s | 18 | 950032 | 438952 | 19012 56 | 3 | 7 577.22/577.50 c 574s | 18 | 953729 | 440652 | 19012 56 | 3 | 7 579.32/579.57 c 576s | 18 | 957019 | 442252 | 19012 56 | 3 | 7 581.52/581.72 c 578s | 18 | 960178 | 443752 | 19012 56 | 3 | 7 582.62/582.80 c 579s | 19 | 961599 | 444482 | 19012 56 | 3 | 7 584.62/584.86 c 581s | 19 | 963963 | 444882 | 19012 57 | 3 | 7 586.72/586.91 c 583s | 19 | 966849 | 446382 | 19012 57 | 3 | 7 588.82/589.03 c 585s | 19 | 970911 | 447982 | 19012 57 | 3 | 7 590.82/591.03 c 587s | 19 | 974008 | 449482 | 19012 57 | 3 | 7 592.82/593.03 c 589s | 19 | 977387 | 451082 | 19012 57 | 3 | 7 594.92/595.15 c 591s | 19 | 981149 | 452782 | 19012 57 | 3 | 7 597.01/597.22 c 594s | 19 | 984418 | 454182 | 19012 57 | 3 | 7 599.12/599.37 c 596s | 19 | 987499 | 455582 | 19012 58 | 3 | 7 601.22/601.43 c 598s | 19 | 991117 | 457282 | 19012 58 | 3 | 7 603.32/603.55 c 600s | 19 | 995055 | 458782 | 19012 58 | 3 | 7 605.32/605.58 c 602s | 19 | 997977 | 460282 | 19012 58 | 3 | 7 607.42/607.65 c 604s | 19 | 1001445 | 461982 | 19012 58 | 3 | 7 609.52/609.73 c 606s | 19 | 1004762 | 463482 | 19012 58 | 3 | 7 611.52/611.79 c 608s | 19 | 1007882 | 465082 | 19012 59 | 3 | 7 613.62/613.82 c 610s | 19 | 1011674 | 466782 | 19012 59 | 3 | 7 615.61/615.89 c 612s | 19 | 1015371 | 468482 | 19012 59 | 3 | 7 617.71/617.95 c 614s | 19 | 1019468 | 470282 | 19012 59 | 3 | 7 619.81/620.06 c 616s | 19 | 1023491 | 472082 | 19012 59 | 3 | 7 621.91/622.15 c 618s | 19 | 1027410 | 473782 | 19012 59 | 3 | 7 624.01/624.21 c 621s | 19 | 1030539 | 475382 | 19012 60 | 3 | 7 626.11/626.35 c 623s | 19 | 1034138 | 477282 | 19012 60 | 3 | 7 628.21/628.44 c 625s | 19 | 1037713 | 479082 | 19012 60 | 3 | 7 630.22/630.47 c 627s | 19 | 1041454 | 480882 | 19012 60 | 3 | 7 632.32/632.57 c 629s | 19 | 1045358 | 482782 | 19012 60 | 3 | 7 634.41/634.63 c 631s | 19 | 1048907 | 484582 | 19012 60 | 3 | 7 636.41/636.64 c 633s | 19 | 1052529 | 486482 | 19012 61 | 3 | 7 638.41/638.68 c 635s | 19 | 1056760 | 488582 | 19012 61 | 3 | 7 640.51/640.72 c 637s | 19 | 1061000 | 490682 | 19012 61 | 3 | 7 642.80/643.05 c 639s | 19 | 1065297 | 493082 | 19012 61 | 3 | 7 644.90/645.15 c 641s | 19 | 1067447 | 493982 | 19012 61 | 3 | 7 647.00/647.25 c 644s | 19 | 1070682 | 495482 | 19012 62 | 3 | 7 649.10/649.33 c 646s | 19 | 1073779 | 496982 | 19012 62 | 3 | 7 651.11/651.37 c 648s | 19 | 1077038 | 498482 | 19012 62 | 3 | 7 653.20/653.45 c 650s | 19 | 1080467 | 500082 | 19012 62 | 3 | 7 655.30/655.52 c 652s | 19 | 1084292 | 501582 | 19012 62 | 3 | 7 657.40/657.60 c 654s | 19 | 1087692 | 503082 | 19012 62 | 3 | 7 659.49/659.73 c 656s | 19 | 1090785 | 504582 | 19012 62 | 3 | 7 661.49/661.74 c 658s | 19 | 1093795 | 505982 | 19012 63 | 3 | 7 663.49/663.76 c 660s | 19 | 1097505 | 507682 | 19012 63 | 3 | 7 665.59/665.80 c 662s | 19 | 1101002 | 509282 | 19012 63 | 3 | 7 667.69/667.93 c 664s | 19 | 1104679 | 510882 | 19012 63 | 3 | 7 669.80/670.05 c 666s | 19 | 1107496 | 512282 | 19012 63 | 3 | 7 671.79/672.06 c 668s | 19 | 1110853 | 513782 | 19012 63 | 3 | 7 673.89/674.13 c 670s | 19 | 1113632 | 515182 | 19012 64 | 3 | 7 675.89/676.13 c 672s | 19 | 1117224 | 516782 | 19012 64 | 3 | 7 677.89/678.14 c 674s | 19 | 1120632 | 518282 | 19012 64 | 3 | 7 679.99/680.22 c 677s | 19 | 1123549 | 519782 | 19012 64 | 3 | 7 681.99/682.22 c 679s | 19 | 1126233 | 521182 | 19012 64 | 3 | 7 683.99/684.24 c 681s | 19 | 1129666 | 522882 | 19012 64 | 3 | 7 686.08/686.34 c 683s | 19 | 1133373 | 524482 | 19012 65 | 3 | 7 688.08/688.35 c 685s | 19 | 1137611 | 526282 | 19012 65 | 3 | 7 690.18/690.42 c 687s | 19 | 1141282 | 527982 | 19012 65 | 3 | 7 692.18/692.44 c 689s | 19 | 1144994 | 529682 | 19012 65 | 3 | 7 694.28/694.51 c 691s | 19 | 1148006 | 531182 | 19012 65 | 3 | 7 696.28/696.58 c 693s | 19 | 1151003 | 532682 | 19012 65 | 3 | 7 698.38/698.68 c 695s | 19 | 1154057 | 534282 | 19012 66 | 3 | 7 700.48/700.80 c 697s | 19 | 1157984 | 535982 | 19012 66 | 3 | 7 702.57/702.87 c 699s | 19 | 1161398 | 537682 | 19012 66 | 3 | 7 704.67/704.94 c 701s | 19 | 1165345 | 539582 | 19012 66 | 3 | 7 706.67/706.99 c 703s | 19 | 1169011 | 541182 | 19012 66 | 3 | 7 708.87/709.12 c 705s | 19 | 1172743 | 542882 | 19012 66 | 3 | 7 710.97/711.22 c 708s | 19 | 1176216 | 544482 | 19012 67 | 3 | 7 712.97/713.26 c 710s | 19 | 1180053 | 546182 | 19012 67 | 3 | 7 715.07/715.34 c 712s | 19 | 1183741 | 547982 | 19012 67 | 3 | 7 717.17/717.46 c 714s | 19 | 1187611 | 549782 | 19012 67 | 3 | 7 719.17/719.48 c 716s | 19 | 1190940 | 551482 | 19012 67 | 3 | 7 721.27/721.51 c 718s | 19 | 1194378 | 553082 | 19012 67 | 3 | 7 723.26/723.52 c 720s | 19 | 1198079 | 554882 | 19012 68 | 3 | 7 725.26/725.59 c 722s | 19 | 1202376 | 556982 | 19012 68 | 3 | 7 727.36/727.66 c 724s | 19 | 1207043 | 559082 | 19012 68 | 3 | 7 729.46/729.75 c 726s | 19 | 1211043 | 561182 | 19012 68 | 3 | 7 731.46/731.79 c 728s | 19 | 1215207 | 563282 | 19012 68 | 3 | 7 733.76/734.00 c 730s | 19 | 1217064 | 563982 | 19012 69 | 3 | 7 735.76/736.03 c 732s | 19 | 1220887 | 565682 | 19012 69 | 3 | 7 737.75/738.06 c 734s | 19 | 1224111 | 567382 | 19012 69 | 3 | 7 739.75/740.08 c 736s | 19 | 1227152 | 568882 | 19012 69 | 3 | 7 741.85/742.19 c 738s | 19 | 1230564 | 570482 | 19012 69 | 3 | 7 743.95/744.26 c 741s | 19 | 1233627 | 571982 | 19012 69 | 3 | 7 746.05/746.39 c 743s | 19 | 1236915 | 573582 | 19012 69 | 3 | 7 748.15/748.46 c 745s | 19 | 1240152 | 575082 | 19012 70 | 3 | 7 750.25/750.52 c 747s | 19 | 1242990 | 576482 | 19012 70 | 3 | 7 752.35/752.60 c 749s | 19 | 1246712 | 578082 | 19012 70 | 3 | 7 754.35/754.68 c 751s | 19 | 1250226 | 579682 | 19012 70 | 3 | 7 756.45/756.73 c 753s | 19 | 1253569 | 581182 | 19012 70 | 3 | 7 758.45/758.76 c 755s | 19 | 1256580 | 582682 | 19012 70 | 3 | 7 760.55/760.85 c 757s | 19 | 1259479 | 584082 | 19012 71 | 3 | 7 762.64/762.90 c 759s | 19 | 1263429 | 585882 | 19012 71 | 3 | 7 764.64/764.99 c 761s | 19 | 1267208 | 587582 | 19012 71 | 3 | 7 766.74/767.07 c 763s | 19 | 1270446 | 589182 | 19012 71 | 3 | 7 768.84/769.16 c 765s | 19 | 1274078 | 590882 | 19012 71 | 3 | 7 771.04/771.30 c 768s | 19 | 1277182 | 592382 | 19012 71 | 3 | 7 773.04/773.39 c 770s | 19 | 1280584 | 593982 | 19012 72 | 3 | 7 775.13/775.50 c 772s | 19 | 1283605 | 595682 | 19012 72 | 3 | 7 777.23/777.53 c 774s | 19 | 1286825 | 597282 | 19012 72 | 3 | 7 779.23/779.58 c 776s | 19 | 1290442 | 598882 | 19012 72 | 3 | 7 781.33/781.64 c 778s | 19 | 1293971 | 600582 | 19012 72 | 3 | 7 783.43/783.74 c 780s | 19 | 1297533 | 602182 | 19012 72 | 3 | 7 785.53/785.80 c 782s | 19 | 1300789 | 603582 | 19012 72 | 3 | 7 787.53/787.85 c 784s | 19 | 1304359 | 605382 | 19012 73 | 3 | 7 789.54/789.87 c 786s | 19 | 1308014 | 607182 | 19012 73 | 3 | 7 791.63/792.00 c 788s | 19 | 1312151 | 609082 | 19012 73 | 3 | 7 793.73/794.04 c 790s | 19 | 1315609 | 610782 | 19012 73 | 3 | 7 795.73/796.04 c 792s | 19 | 1319005 | 612482 | 19012 73 | 3 | 7 797.73/798.10 c 794s | 19 | 1322746 | 614182 | 19012 74 | 3 | 7 799.83/800.13 c 796s | 19 | 1326886 | 616082 | 19012 74 | 3 | 7 801.93/802.20 c 798s | 19 | 1330996 | 617982 | 19012 74 | 3 | 7 803.93/804.27 c 801s | 19 | 1335078 | 619882 | 19012 74 | 3 | 7 806.03/806.34 c 803s | 19 | 1338708 | 621682 | 19012 74 | 3 | 7 808.02/808.38 c 805s | 19 | 1342808 | 623582 | 19012 74 | 3 | 7 810.12/810.41 c 807s | 19 | 1347377 | 625582 | 19012 75 | 3 | 7 812.12/812.45 c 809s | 19 | 1352045 | 627782 | 19012 75 | 3 | 7 814.22/814.50 c 811s | 19 | 1356807 | 630082 | 19012 75 | 3 | 7 816.83/817.10 c 813s | 19 | 1361003 | 632182 | 19012 75 | 3 | 7 818.83/819.15 c 815s | 19 | 1363432 | 633382 | 19012 75 | 3 | 7 820.83/821.16 c 817s | 19 | 1366625 | 634982 | 19012 76 | 3 | 7 822.92/823.21 c 819s | 19 | 1369909 | 636582 | 19012 76 | 3 | 7 824.92/825.25 c 822s | 19 | 1373445 | 638182 | 19012 76 | 3 | 7 827.03/827.35 c 824s | 19 | 1376811 | 639782 | 19012 76 | 3 | 7 829.13/829.47 c 826s | 19 | 1380468 | 641482 | 19012 76 | 3 | 7 831.12/831.48 c 828s | 19 | 1383330 | 642882 | 19012 76 | 3 | 7 833.22/833.50 c 830s | 19 | 1387032 | 644282 | 19012 77 | 3 | 7 835.22/835.58 c 832s | 19 | 1391368 | 646182 | 19012 77 | 3 | 7 837.31/837.68 c 834s | 19 | 1394570 | 647882 | 19012 77 | 3 | 7 839.41/839.75 c 836s | 19 | 1397548 | 649382 | 19012 77 | 3 | 7 841.51/841.83 c 838s | 19 | 1401006 | 650982 | 19012 77 | 3 | 7 843.52/843.88 c 840s | 19 | 1404125 | 652582 | 19012 77 | 3 | 7 845.62/845.95 c 842s | 19 | 1407643 | 654082 | 19012 78 | 3 | 7 847.71/848.02 c 844s | 19 | 1411481 | 655882 | 19012 78 | 3 | 7 849.71/850.09 c 846s | 19 | 1414938 | 657482 | 19012 78 | 3 | 7 851.81/852.12 c 848s | 19 | 1418210 | 659082 | 20914 78 | 3 | 7 853.80/854.20 c 850s | 19 | 1422107 | 660682 | 20914 78 | 3 | 7 855.90/856.25 c 853s | 19 | 1425411 | 662382 | 20914 78 | 3 | 7 858.00/858.34 c 855s | 19 | 1428578 | 663982 | 20914 78 | 3 | 7 860.10/860.46 c 857s | 19 | 1431926 | 665582 | 20914 78 | 3 | 7 861.70/862.02 c 858s | 20 | 1434356 | 666827 | 20914 79 | 3 | 7 863.80/864.12 c 860s | 20 | 1437169 | 668127 | 20914 79 | 3 | 7 865.90/866.23 c 863s | 20 | 1440353 | 669627 | 20914 79 | 3 | 7 867.90/868.27 c 865s | 20 | 1443930 | 671227 | 20914 79 | 3 | 7 870.00/870.33 c 867s | 20 | 1447345 | 672727 | 20914 79 | 3 | 7 872.00/872.39 c 869s | 20 | 1450599 | 674227 | 20914 79 | 3 | 7 874.09/874.49 c 871s | 20 | 1453678 | 675827 | 20914 79 | 3 | 7 876.29/876.61 c 873s | 20 | 1457134 | 677327 | 20914 80 | 3 | 7 878.29/878.69 c 875s | 20 | 1461074 | 679227 | 20914 80 | 3 | 7 880.39/880.77 c 877s | 20 | 1464594 | 680827 | 20914 80 | 3 | 7 882.49/882.82 c 879s | 20 | 1468019 | 682427 | 20914 80 | 3 | 7 884.59/884.90 c 881s | 20 | 1471088 | 684127 | 20914 80 | 3 | 7 886.59/886.97 c 883s | 20 | 1474711 | 685627 | 20914 80 | 3 | 7 888.69/889.00 c 885s | 20 | 1477881 | 687127 | 20914 80 | 3 | 7 890.69/891.07 c 887s | 20 | 1480987 | 688627 | 20914 81 | 3 | 7 892.78/893.18 c 889s | 20 | 1484670 | 690327 | 20914 81 | 3 | 7 894.88/895.25 c 892s | 20 | 1488221 | 691927 | 20914 81 | 3 | 7 896.98/897.31 c 894s | 20 | 1491971 | 693527 | 20914 81 | 3 | 7 899.08/899.41 c 896s | 20 | 1495962 | 695327 | 20914 81 | 3 | 7 901.08/901.44 c 898s | 20 | 1499441 | 696927 | 20914 81 | 3 | 7 903.08/903.48 c 900s | 20 | 1502597 | 698327 | 20914 82 | 3 | 7 905.18/905.60 c 902s | 20 | 1506563 | 700127 | 20914 82 | 3 | 7 907.29/907.63 c 904s | 20 | 1510627 | 701927 | 20914 82 | 3 | 7 909.28/909.64 c 906s | 20 | 1513750 | 703527 | 20914 82 | 3 | 7 911.28/911.69 c 908s | 20 | 1517442 | 705227 | 20914 82 | 3 | 7 913.38/913.75 c 910s | 20 | 1520751 | 706827 | 20914 82 | 3 | 7 915.48/915.83 c 912s | 20 | 1524317 | 708527 | 20914 82 | 3 | 7 917.58/917.90 c 914s | 20 | 1527943 | 710227 | 20914 83 | 3 | 7 919.58/919.98 c 916s | 20 | 1532081 | 712127 | 20914 83 | 3 | 7 921.67/922.07 c 918s | 20 | 1535957 | 713927 | 20914 83 | 3 | 7 923.78/924.11 c 920s | 20 | 1539672 | 715627 | 20914 83 | 3 | 7 925.88/926.21 c 922s | 20 | 1543429 | 717527 | 20914 83 | 3 | 7 927.87/928.24 c 925s | 20 | 1546754 | 719227 | 20914 83 | 3 | 7 929.87/930.28 c 927s | 20 | 1550216 | 720927 | 20914 84 | 3 | 7 931.97/932.35 c 929s | 20 | 1554400 | 722927 | 20914 84 | 3 | 7 934.07/934.41 c 931s | 20 | 1558418 | 724927 | 20914 84 | 3 | 7 936.07/936.42 c 933s | 20 | 1562381 | 726927 | 20914 84 | 3 | 7 938.08/938.45 c 935s | 20 | 1566399 | 729027 | 20914 84 | 3 | 7 940.28/940.67 c 937s | 20 | 1568054 | 729627 | 20914 84 | 3 | 7 942.38/942.71 c 939s | 20 | 1570828 | 731127 | 20914 84 | 3 | 7 944.47/944.82 c 941s | 20 | 1574197 | 732727 | 20914 85 | 3 | 7 946.47/946.84 c 943s | 20 | 1577864 | 734227 | 20914 85 | 3 | 7 948.57/948.95 c 945s | 20 | 1581563 | 735927 | 20914 85 | 3 | 7 950.57/950.99 c 947s | 20 | 1584820 | 737427 | 20914 85 | 3 | 7 952.67/953.06 c 949s | 20 | 1588062 | 738927 | 20914 85 | 3 | 7 954.77/955.12 c 951s | 20 | 1591518 | 740427 | 20914 85 | 3 | 7 956.77/957.15 c 953s | 20 | 1594683 | 742127 | 20914 85 | 3 | 7 958.87/959.27 c 956s | 20 | 1597792 | 743727 | 20914 86 | 3 | 7 960.97/961.32 c 958s | 20 | 1601510 | 745427 | 20914 86 | 3 | 7 962.97/963.39 c 960s | 20 | 1604802 | 747027 | 20914 86 | 3 | 7 965.07/965.47 c 962s | 20 | 1608607 | 748727 | 20914 86 | 3 | 7 967.27/967.60 c 964s | 20 | 1611663 | 750327 | 20914 86 | 3 | 7 969.27/969.69 c 966s | 20 | 1615327 | 752127 | 20914 86 | 3 | 7 971.37/971.76 c 968s | 20 | 1618394 | 753627 | 20914 87 | 3 | 7 973.46/973.82 c 970s | 20 | 1621684 | 755327 | 20914 87 | 3 | 7 975.56/975.91 c 972s | 20 | 1625329 | 757127 | 20914 87 | 3 | 7 977.57/977.93 c 974s | 20 | 1628919 | 758827 | 20914 87 | 3 | 7 979.66/980.01 c 976s | 20 | 1632248 | 760527 | 20914 87 | 3 | 7 981.66/982.07 c 978s | 20 | 1635814 | 762127 | 20914 87 | 3 | 7 983.76/984.12 c 980s | 20 | 1639483 | 763727 | 20914 87 | 3 | 7 985.86/986.22 c 983s | 20 | 1643416 | 765627 | 20914 88 | 3 | 7 987.86/988.27 c 985s | 20 | 1647272 | 767527 | 20914 88 | 3 | 7 989.96/990.31 c 987s | 20 | 1651298 | 769327 | 20914 88 | 3 | 7 991.97/992.31 c 989s | 20 | 1654964 | 771027 | 20914 88 | 3 | 7 993.96/994.39 c 991s | 20 | 1658864 | 772827 | 20914 88 | 3 | 7 995.96/996.39 c 993s | 20 | 1662199 | 774527 | 20914 88 | 3 | 7 998.07/998.46 c 995s | 20 | 1666099 | 776227 | 20914 89 | 3 | 7 1000.07/1000.48 c 997s | 20 | 1669756 | 778027 | 20914 89 | 3 | 7 1002.17/1002.54 c 999s | 20 | 1673354 | 779827 | 20914 89 | 3 | 7 1004.27/1004.65 c 1001s | 20 | 1677432 | 781627 | 20914 89 | 3 | 7 1006.27/1006.69 c 1003s | 20 | 1681285 | 783527 | 20914 89 | 3 | 7 1008.37/1008.77 c 1005s | 20 | 1685390 | 785627 | 20914 89 | 3 | 7 1010.46/1010.88 c 1007s | 20 | 1688691 | 787327 | 20914 90 | 3 | 7 1012.46/1012.89 c 1009s | 20 | 1690193 | 788127 | 20914 90 | 3 | 7 1014.56/1014.90 c 1011s | 20 | 1693846 | 789627 | 20914 90 | 3 | 7 1016.56/1016.95 c 1013s | 20 | 1697808 | 791227 | 20914 90 | 3 | 7 1018.66/1019.07 c 1015s | 20 | 1701048 | 792727 | 20914 90 | 3 | 7 1020.76/1021.10 c 1017s | 20 | 1703908 | 794227 | 20914 90 | 3 | 7 1022.77/1023.17 c 1019s | 20 | 1707429 | 795727 | 20914 90 | 3 | 7 1024.87/1025.22 c 1022s | 20 | 1710363 | 797127 | 20914 91 | 3 | 7 1026.86/1027.28 c 1024s | 20 | 1714251 | 798927 | 20914 91 | 3 | 7 1028.96/1029.35 c 1026s | 20 | 1718058 | 800627 | 20914 91 | 3 | 7 1031.06/1031.44 c 1028s | 20 | 1721796 | 802427 | 20914 91 | 3 | 7 1033.06/1033.49 c 1030s | 20 | 1725407 | 804027 | 20914 91 | 3 | 7 1035.16/1035.51 c 1032s | 20 | 1728711 | 805627 | 20914 91 | 3 | 7 1037.26/1037.65 c 1034s | 20 | 1732283 | 807327 | 20914 91 | 3 | 7 1039.36/1039.75 c 1036s | 20 | 1735843 | 809027 | 20914 92 | 3 | 7 1041.46/1041.89 c 1038s | 20 | 1739828 | 810927 | 20914 92 | 3 | 7 1043.56/1043.91 c 1040s | 20 | 1743597 | 812727 | 20914 92 | 3 | 7 1045.66/1046.04 c 1042s | 20 | 1746996 | 814427 | 20914 92 | 3 | 7 1047.75/1048.15 c 1044s | 20 | 1750472 | 816027 | 20914 92 | 3 | 7 1049.75/1050.18 c 1046s | 20 | 1754200 | 817827 | 20914 92 | 3 | 7 1051.85/1052.28 c 1049s | 20 | 1757519 | 819427 | 20914 93 | 3 | 7 1053.95/1054.32 c 1051s | 20 | 1761441 | 821327 | 20914 93 | 3 | 7 1055.95/1056.39 c 1053s | 20 | 1764917 | 823027 | 20914 93 | 3 | 7 1058.05/1058.47 c 1055s | 20 | 1768326 | 824727 | 20914 93 | 3 | 7 1060.16/1060.56 c 1057s | 20 | 1772027 | 826527 | 20914 93 | 3 | 7 1062.15/1062.58 c 1059s | 20 | 1775433 | 828227 | 20914 93 | 3 | 7 1064.25/1064.60 c 1061s | 20 | 1779071 | 829927 | 20914 93 | 3 | 7 1066.25/1066.68 c 1063s | 20 | 1782952 | 831827 | 20914 94 | 3 | 7 1068.35/1068.70 c 1065s | 20 | 1786663 | 833727 | 20914 94 | 3 | 7 1070.35/1070.74 c 1067s | 20 | 1790552 | 835527 | 20914 94 | 3 | 7 1072.45/1072.84 c 1069s | 20 | 1794614 | 837427 | 20914 94 | 3 | 7 1074.85/1075.25 c 1072s | 20 | 1797371 | 838827 | 20914 94 | 3 | 7 1076.95/1077.38 c 1074s | 20 | 1800257 | 840027 | 20914 94 | 3 | 7 1079.05/1079.47 c 1076s | 20 | 1803407 | 841527 | 20914 95 | 3 | 7 1081.06/1081.49 c 1078s | 20 | 1806607 | 843027 | 20914 95 | 3 | 7 1083.16/1083.52 c 1080s | 20 | 1809460 | 844327 | 20914 95 | 3 | 7 1085.25/1085.60 c 1082s | 20 | 1812556 | 845927 | 20914 95 | 3 | 7 1087.25/1087.66 c 1084s | 20 | 1815332 | 847427 | 20914 95 | 3 | 7 1089.35/1089.75 c 1086s | 20 | 1818246 | 848827 | 20914 95 | 3 | 7 1091.45/1091.87 c 1088s | 20 | 1821436 | 850327 | 20914 95 | 3 | 7 1093.55/1093.97 c 1090s | 20 | 1824805 | 851627 | 20914 95 | 3 | 7 1095.65/1096.05 c 1092s | 20 | 1827827 | 853127 | 20914 96 | 3 | 7 1097.75/1098.15 c 1094s | 20 | 1831046 | 854727 | 20914 96 | 3 | 7 1099.75/1100.17 c 1096s | 20 | 1834409 | 856327 | 20914 96 | 3 | 7 1101.85/1102.26 c 1099s | 20 | 1837734 | 858027 | 20914 96 | 3 | 7 1103.95/1104.37 c 1101s | 20 | 1841397 | 859627 | 20914 96 | 3 | 7 1105.95/1106.39 c 1103s | 20 | 1844234 | 861127 | 20914 96 | 3 | 7 1108.05/1108.48 c 1105s | 20 | 1847437 | 862727 | 20914 97 | 3 | 7 1110.15/1110.51 c 1107s | 20 | 1850844 | 864327 | 20914 97 | 3 | 7 1112.14/1112.55 c 1109s | 20 | 1854257 | 866027 | 20914 97 | 3 | 7 1114.14/1114.59 c 1111s | 20 | 1857353 | 867627 | 20914 97 | 3 | 7 1116.15/1116.60 c 1113s | 20 | 1860667 | 869127 | 20914 97 | 3 | 7 1118.35/1118.71 c 1115s | 20 | 1863866 | 870827 | 20914 97 | 3 | 7 1120.44/1120.82 c 1117s | 20 | 1867626 | 872527 | 20914 97 | 3 | 7 1122.54/1122.93 c 1119s | 20 | 1871138 | 874127 | 20914 98 | 3 | 7 1124.54/1124.97 c 1121s | 20 | 1874877 | 875927 | 20914 98 | 3 | 7 1126.64/1127.07 c 1123s | 20 | 1878653 | 877727 | 20914 98 | 3 | 7 1128.74/1129.13 c 1125s | 20 | 1882413 | 879527 | 20914 98 | 3 | 7 1130.74/1131.14 c 1127s | 20 | 1885888 | 881227 | 20914 98 | 3 | 7 1132.84/1133.21 c 1129s | 20 | 1889657 | 883027 | 20914 98 | 3 | 7 1134.85/1135.28 c 1132s | 20 | 1893263 | 884727 | 20914 99 | 3 | 7 1136.94/1137.30 c 1134s | 20 | 1896855 | 886527 | 20914 99 | 3 | 7 1138.94/1139.38 c 1136s | 20 | 1900527 | 888327 | 20914 99 | 3 | 7 1140.94/1141.38 c 1138s | 20 | 1904346 | 890227 | 20914 99 | 3 | 7 1143.04/1143.40 c 1140s | 20 | 1908486 | 892227 | 20914 99 | 3 | 7 1145.04/1145.40 c 1142s | 20 | 1912402 | 894227 | 20914 99 | 3 | 7 1147.34/1147.71 c 1144s | 20 | 1915959 | 895927 | 20914 100 | 3 | 7 1149.34/1149.79 c 1146s | 20 | 1918241 | 896927 | 20914 100 | 3 | 7 1151.44/1151.83 c 1148s | 20 | 1922129 | 898627 | 20914 100 | 3 | 7 1153.44/1153.89 c 1150s | 20 | 1925899 | 900227 | 20914 100 | 3 | 7 1155.64/1156.02 c 1152s | 20 | 1929633 | 901927 | 20914 100 | 3 | 7 1157.64/1158.09 c 1154s | 20 | 1932828 | 903427 | 20914 100 | 3 | 7 1159.74/1160.18 c 1156s | 20 | 1936563 | 905027 | 20914 100 | 3 | 7 1161.84/1162.24 c 1159s | 20 | 1939505 | 906427 | 20914 101 | 3 | 7 1163.94/1164.34 c 1161s | 20 | 1942941 | 908127 | 20914 101 | 3 | 7 1166.03/1166.45 c 1163s | 20 | 1946782 | 909827 | 20914 101 | 3 | 7 1168.13/1168.56 c 1165s | 20 | 1950376 | 911527 | 20914 101 | 3 | 7 1170.23/1170.61 c 1167s | 20 | 1953563 | 913127 | 20914 101 | 3 | 7 1172.24/1172.65 c 1169s | 20 | 1956911 | 914627 | 20914 101 | 3 | 7 1174.33/1174.72 c 1171s | 20 | 1960009 | 916227 | 20914 101 | 3 | 7 1176.33/1176.77 c 1173s | 20 | 1962967 | 917627 | 20914 102 | 3 | 7 1178.43/1178.86 c 1175s | 20 | 1967288 | 919427 | 20914 102 | 3 | 7 1180.53/1180.91 c 1177s | 20 | 1970933 | 921027 | 20914 102 | 3 | 7 1182.53/1182.94 c 1179s | 20 | 1973990 | 922527 | 20914 102 | 3 | 7 1184.63/1185.05 c 1181s | 20 | 1977509 | 924127 | 20914 102 | 3 | 7 1186.64/1187.08 c 1183s | 20 | 1981007 | 925727 | 20914 102 | 3 | 7 1188.74/1189.13 c 1185s | 20 | 1983963 | 927327 | 20914 102 | 3 | 7 1190.83/1191.25 c 1188s | 20 | 1987325 | 929027 | 20914 103 | 3 | 7 1192.83/1193.29 c 1190s | 20 | 1991267 | 930927 | 20914 103 | 3 | 7 1194.93/1195.37 c 1192s | 20 | 1995180 | 932827 | 20914 103 | 3 | 7 1197.03/1197.46 c 1194s | 20 | 1999273 | 934827 | 20914 103 | 3 | 7 1199.13/1199.53 c 1196s | 20 | 2003078 | 936627 | 20914 103 | 3 | 7 1201.23/1201.63 c 1198s | 20 | 2006305 | 938327 | 20914 103 | 3 | 7 1203.23/1203.67 c 1200s | 20 | 2009780 | 940127 | 20914 104 | 3 | 7 1205.33/1205.74 c 1202s | 20 | 2013976 | 942127 | 20914 104 | 3 | 7 1207.43/1207.81 c 1204s | 20 | 2017985 | 944127 | 20914 104 | 3 | 7 1209.44/1209.86 c 1206s | 20 | 2021932 | 946127 | 20914 104 | 3 | 7 1211.53/1211.92 c 1208s | 20 | 2025921 | 948027 | 20914 104 | 3 | 7 1213.53/1213.98 c 1210s | 20 | 2030201 | 949927 | 20914 104 | 3 | 7 1215.63/1216.03 c 1212s | 20 | 2034514 | 952027 | 20914 105 | 3 | 7 1217.73/1218.11 c 1214s | 20 | 2039032 | 954327 | 20914 105 | 3 | 7 1219.73/1220.17 c 1216s | 20 | 2043909 | 956927 | 20914 105 | 3 | 7 1221.93/1222.37 c 1219s | 20 | 2046542 | 958227 | 20914 105 | 3 | 7 1224.04/1224.43 c 1221s | 20 | 2049258 | 959527 | 20914 105 | 3 | 7 1226.03/1226.50 c 1223s | 20 | 2052331 | 961027 | 20914 106 | 3 | 7 1228.13/1228.57 c 1225s | 20 | 2055704 | 962627 | 20914 106 | 3 | 7 1230.13/1230.58 c 1227s | 20 | 2059138 | 964227 | 20914 106 | 3 | 7 1232.33/1232.70 c 1229s | 20 | 2062389 | 965927 | 20914 106 | 3 | 7 1234.33/1234.76 c 1231s | 20 | 2065482 | 967427 | 20914 106 | 3 | 7 1236.43/1236.84 c 1233s | 20 | 2068790 | 969027 | 20914 106 | 3 | 7 1238.53/1238.91 c 1235s | 20 | 2071899 | 970527 | 20914 106 | 3 | 7 1240.53/1240.94 c 1237s | 20 | 2074994 | 972027 | 20914 106 | 3 | 7 1242.53/1242.94 c 1239s | 20 | 2078115 | 973527 | 20914 107 | 3 | 7 1244.53/1244.98 c 1241s | 20 | 2081533 | 975227 | 20914 107 | 3 | 7 1246.63/1247.03 c 1243s | 20 | 2084866 | 976827 | 20914 107 | 3 | 7 1248.73/1249.10 c 1245s | 20 | 2087694 | 978327 | 20914 107 | 3 | 7 1250.72/1251.16 c 1247s | 20 | 2090894 | 979927 | 20914 107 | 3 | 7 1252.82/1253.26 c 1250s | 20 | 2094032 | 981527 | 20914 107 | 3 | 7 1254.83/1255.28 c 1252s | 20 | 2096946 | 983027 | 20914 107 | 3 | 7 1256.93/1257.34 c 1254s | 20 | 2100218 | 984627 | 20914 108 | 3 | 7 1258.92/1259.38 c 1256s | 20 | 2103697 | 986327 | 20914 108 | 3 | 7 1261.02/1261.45 c 1258s | 20 | 2107307 | 988027 | 20914 108 | 3 | 7 1263.12/1263.52 c 1260s | 20 | 2110592 | 989727 | 23006 108 | 3 | 7 1265.12/1265.59 c 1262s | 20 | 2114156 | 991327 | 23006 108 | 3 | 7 1267.22/1267.66 c 1264s | 20 | 2117544 | 992927 | 23006 108 | 3 | 7 1269.32/1269.76 c 1266s | 20 | 2120488 | 994427 | 23006 108 | 3 | 7 1271.42/1271.81 c 1268s | 20 | 2123216 | 995827 | 23006 108 | 3 | 7 1273.43/1273.82 c 1270s | 20 | 2126521 | 997427 | 23006 109 | 3 | 7 1275.42/1275.84 c 1272s | 20 | 2129939 | 999027 | 23006 109 | 3 | 7 1276.92/1277.34 c 1274s | 21 | 2132507 | 1000345 | 23006 109 | 3 | 7 1278.92/1279.37 c 1276s | 21 | 2134130 | 1001045 | 23006 109 | 3 | 7 1281.02/1281.43 c 1278s | 21 | 2137768 | 1002545 | 23006 109 | 3 | 7 1283.22/1283.65 c 1280s | 21 | 2140720 | 1003945 | 23006 109 | 3 | 7 1285.42/1285.80 c 1282s | 21 | 2142836 | 1005045 | 23006 109 | 3 | 7 1287.52/1287.93 c 1284s | 21 | 2145308 | 1006245 | 23006 109 | 3 | 7 1289.52/1289.94 c 1286s | 21 | 2147452 | 1007345 | 23006 109 | 3 | 7 1291.72/1292.14 c 1288s | 21 | 2149579 | 1008545 | 23006 109 | 3 | 7 1293.81/1294.24 c 1291s | 21 | 2151685 | 1009645 | 23006 110 | 3 | 7 1295.81/1296.28 c 1293s | 21 | 2154077 | 1010845 | 23006 110 | 3 | 7 1297.91/1298.36 c 1295s | 21 | 2157056 | 1012445 | 23006 110 | 3 | 7 1300.01/1300.43 c 1297s | 21 | 2160744 | 1014145 | 23006 110 | 3 | 7 1302.12/1302.54 c 1299s | 21 | 2164439 | 1015845 | 23006 110 | 3 | 7 1304.11/1304.58 c 1301s | 21 | 2167160 | 1017245 | 23006 110 | 3 | 7 1306.21/1306.66 c 1303s | 21 | 2170371 | 1018745 | 23006 110 | 3 | 7 1308.21/1308.67 c 1305s | 21 | 2173616 | 1020145 | 23006 110 | 3 | 7 1310.21/1310.69 c 1307s | 21 | 2176725 | 1021645 | 23006 111 | 3 | 7 1312.41/1312.82 c 1309s | 21 | 2180397 | 1023545 | 23006 111 | 3 | 7 1314.41/1314.89 c 1311s | 21 | 2183916 | 1025245 | 23006 111 | 3 | 7 1316.51/1316.99 c 1313s | 21 | 2187512 | 1027045 | 23006 111 | 3 | 7 1318.62/1319.02 c 1315s | 21 | 2190605 | 1028645 | 23006 111 | 3 | 7 1320.61/1321.05 c 1317s | 21 | 2194179 | 1030245 | 23006 111 | 3 | 7 1322.71/1323.19 c 1319s | 21 | 2197327 | 1031845 | 23006 111 | 3 | 7 1324.81/1325.21 c 1321s | 21 | 2200086 | 1033145 | 23006 112 | 3 | 7 1326.82/1327.23 c 1324s | 21 | 2203376 | 1034745 | 23006 112 | 3 | 7 1328.82/1329.29 c 1326s | 21 | 2206953 | 1036445 | 23006 112 | 3 | 7 1330.92/1331.31 c 1328s | 21 | 2209912 | 1037945 | 23006 112 | 3 | 7 1332.92/1333.39 c 1330s | 21 | 2213060 | 1039445 | 23006 112 | 3 | 7 1335.12/1335.52 c 1332s | 21 | 2216410 | 1041045 | 23006 112 | 3 | 7 1337.22/1337.62 c 1334s | 21 | 2219196 | 1042445 | 23006 112 | 3 | 7 1339.21/1339.69 c 1336s | 21 | 2221896 | 1043845 | 23006 112 | 3 | 7 1341.31/1341.75 c 1338s | 21 | 2225081 | 1045245 | 23006 113 | 3 | 7 1343.41/1343.88 c 1340s | 21 | 2228001 | 1046745 | 23006 113 | 3 | 7 1345.41/1345.89 c 1342s | 21 | 2231181 | 1048145 | 23006 113 | 3 | 7 1347.51/1347.91 c 1344s | 21 | 2234537 | 1049645 | 23006 113 | 3 | 7 1349.51/1349.93 c 1346s | 21 | 2237971 | 1051045 | 23006 113 | 3 | 7 1351.62/1352.06 c 1348s | 21 | 2241366 | 1052545 | 23006 113 | 3 | 7 1353.61/1354.08 c 1350s | 21 | 2244183 | 1053845 | 23006 113 | 3 | 7 1355.71/1356.10 c 1352s | 21 | 2247486 | 1055445 | 23006 113 | 3 | 7 1357.71/1358.13 c 1354s | 21 | 2250295 | 1056645 | 23006 114 | 3 | 7 1359.71/1360.14 c 1356s | 21 | 2253739 | 1058245 | 23006 114 | 3 | 7 1361.71/1362.16 c 1358s | 21 | 2256877 | 1059845 | 23006 114 | 3 | 7 1363.81/1364.26 c 1361s | 21 | 2260367 | 1061545 | 23006 114 | 3 | 7 1365.91/1366.36 c 1363s | 21 | 2263527 | 1063145 | 23006 114 | 3 | 7 1368.11/1368.51 c 1365s | 21 | 2266824 | 1064845 | 23006 114 | 3 | 7 1370.21/1370.61 c 1367s | 21 | 2270195 | 1066445 | 23006 114 | 3 | 7 1372.21/1372.65 c 1369s | 21 | 2273507 | 1067945 | 23006 114 | 3 | 7 1374.31/1374.73 c 1371s | 21 | 2276834 | 1069545 | 23006 115 | 3 | 7 1376.31/1376.73 c 1373s | 21 | 2280535 | 1071145 | 23006 115 | 3 | 7 1378.31/1378.78 c 1375s | 21 | 2284167 | 1072845 | 23006 115 | 3 | 7 1380.41/1380.86 c 1377s | 21 | 2287618 | 1074645 | 23006 115 | 3 | 7 1382.41/1382.88 c 1379s | 21 | 2291180 | 1076245 | 23006 115 | 3 | 7 1384.51/1384.94 c 1381s | 21 | 2294793 | 1077945 | 23006 115 | 3 | 7 1386.60/1387.01 c 1383s | 21 | 2297939 | 1079445 | 23006 115 | 3 | 7 1388.60/1389.07 c 1385s | 21 | 2301123 | 1080945 | 23006 116 | 3 | 7 1390.70/1391.13 c 1387s | 21 | 2304959 | 1082745 | 23006 116 | 3 | 7 1392.80/1393.25 c 1390s | 21 | 2308319 | 1084545 | 23006 116 | 3 | 7 1394.90/1395.34 c 1392s | 21 | 2312055 | 1086345 | 23006 116 | 3 | 7 1397.00/1397.40 c 1394s | 21 | 2315765 | 1088145 | 23006 116 | 3 | 7 1399.10/1399.52 c 1396s | 21 | 2319478 | 1089945 | 23006 116 | 3 | 7 1401.11/1401.59 c 1398s | 21 | 2323183 | 1091745 | 23006 116 | 3 | 7 1403.21/1403.65 c 1400s | 21 | 2326713 | 1093545 | 23006 117 | 3 | 7 1405.20/1405.65 c 1402s | 21 | 2331154 | 1095645 | 23006 117 | 3 | 7 1407.20/1407.67 c 1404s | 21 | 2335282 | 1097845 | 23006 117 | 3 | 7 1409.30/1409.77 c 1406s | 21 | 2337689 | 1098945 | 23006 117 | 3 | 7 1411.40/1411.81 c 1408s | 21 | 2341163 | 1100445 | 23006 117 | 3 | 7 1413.40/1413.87 c 1410s | 21 | 2344338 | 1101845 | 23006 117 | 3 | 7 1415.50/1415.91 c 1412s | 21 | 2347348 | 1103245 | 23006 117 | 3 | 7 1417.51/1417.98 c 1414s | 21 | 2350058 | 1104545 | 23006 117 | 3 | 7 1419.50/1419.98 c 1416s | 21 | 2353052 | 1105945 | 23006 118 | 3 | 7 1421.70/1422.11 c 1418s | 21 | 2356790 | 1107745 | 23006 118 | 3 | 7 1423.80/1424.20 c 1420s | 21 | 2360280 | 1109545 | 23006 118 | 3 | 7 1425.80/1426.24 c 1423s | 21 | 2363451 | 1111145 | 23006 118 | 3 | 7 1427.90/1428.36 c 1425s | 21 | 2367096 | 1112845 | 23006 118 | 3 | 7 1429.90/1430.38 c 1427s | 21 | 2370083 | 1114345 | 23006 118 | 3 | 7 1432.00/1432.41 c 1429s | 21 | 2373222 | 1115845 | 23006 118 | 3 | 7 1434.00/1434.45 c 1431s | 21 | 2376265 | 1117445 | 23006 119 | 3 | 7 1436.00/1436.49 c 1433s | 21 | 2379822 | 1119145 | 23006 119 | 3 | 7 1438.10/1438.57 c 1435s | 21 | 2383417 | 1120945 | 23006 119 | 3 | 7 1440.20/1440.65 c 1437s | 21 | 2387134 | 1122745 | 23006 119 | 3 | 7 1442.19/1442.65 c 1439s | 21 | 2390957 | 1124645 | 23006 119 | 3 | 7 1444.19/1444.68 c 1441s | 21 | 2394719 | 1126445 | 23006 119 | 3 | 7 1446.29/1446.73 c 1443s | 21 | 2398193 | 1128245 | 23006 119 | 3 | 7 1448.30/1448.80 c 1445s | 21 | 2401712 | 1130045 | 23006 120 | 3 | 7 1450.39/1450.88 c 1447s | 21 | 2406072 | 1132145 | 23006 120 | 3 | 7 1452.39/1452.88 c 1449s | 21 | 2410338 | 1134345 | 23006 120 | 3 | 7 1454.49/1454.93 c 1451s | 21 | 2412519 | 1135445 | 23006 120 | 3 | 7 1456.49/1456.99 c 1453s | 21 | 2415529 | 1136945 | 23006 120 | 3 | 7 1458.59/1459.01 c 1455s | 21 | 2418715 | 1138445 | 23006 120 | 3 | 7 1460.69/1461.13 c 1457s | 21 | 2421512 | 1139945 | 23006 120 | 3 | 7 1462.70/1463.14 c 1459s | 21 | 2424345 | 1141345 | 23006 121 | 3 | 7 1464.69/1465.19 c 1461s | 21 | 2427674 | 1142945 | 23006 121 | 3 | 7 1466.79/1467.27 c 1464s | 21 | 2431350 | 1144645 | 23006 121 | 3 | 7 1468.89/1469.31 c 1466s | 21 | 2434785 | 1146345 | 23006 121 | 3 | 7 1470.89/1471.33 c 1468s | 21 | 2437881 | 1147945 | 23006 121 | 3 | 7 1472.99/1473.40 c 1470s | 21 | 2441288 | 1149545 | 23006 121 | 3 | 7 1474.99/1475.48 c 1472s | 21 | 2444292 | 1151145 | 23006 121 | 3 | 7 1476.99/1477.49 c 1474s | 21 | 2447173 | 1152645 | 23006 121 | 3 | 7 1479.09/1479.57 c 1476s | 21 | 2450237 | 1154245 | 23006 122 | 3 | 7 1481.19/1481.62 c 1478s | 21 | 2453998 | 1155945 | 23006 122 | 3 | 7 1483.19/1483.62 c 1480s | 21 | 2457643 | 1157645 | 23006 122 | 3 | 7 1485.19/1485.68 c 1482s | 21 | 2461090 | 1159345 | 23006 122 | 3 | 7 1487.28/1487.73 c 1484s | 21 | 2464882 | 1161145 | 23006 122 | 3 | 7 1489.28/1489.73 c 1486s | 21 | 2468261 | 1162845 | 23006 122 | 3 | 7 1491.59/1492.08 c 1488s | 21 | 2471534 | 1164445 | 23006 122 | 3 | 7 1493.69/1494.15 c 1490s | 21 | 2474325 | 1165745 | 23006 123 | 3 | 7 1495.70/1496.17 c 1492s | 21 | 2477181 | 1167145 | 23006 123 | 3 | 7 1497.80/1498.29 c 1495s | 21 | 2480696 | 1168745 | 23006 123 | 3 | 7 1499.89/1500.32 c 1497s | 21 | 2483835 | 1170345 | 23006 123 | 3 | 7 1501.99/1502.40 c 1499s | 21 | 2487191 | 1171945 | 23006 123 | 3 | 7 1503.99/1504.42 c 1501s | 21 | 2490152 | 1173445 | 23006 123 | 3 | 7 1505.99/1506.42 c 1503s | 21 | 2493557 | 1174945 | 23006 123 | 3 | 7 1507.99/1508.45 c 1505s | 21 | 2496666 | 1176545 | 23006 123 | 3 | 7 1510.00/1510.46 c 1507s | 21 | 2499785 | 1178145 | 23006 124 | 3 | 7 1512.10/1512.54 c 1509s | 21 | 2502941 | 1179845 | 23006 124 | 3 | 7 1514.19/1514.61 c 1511s | 21 | 2506743 | 1181645 | 23006 124 | 3 | 7 1516.29/1516.71 c 1513s | 21 | 2510270 | 1183345 | 23006 124 | 3 | 7 1518.29/1518.75 c 1515s | 21 | 2514284 | 1185045 | 23006 124 | 3 | 7 1520.39/1520.82 c 1517s | 21 | 2517632 | 1186645 | 23006 124 | 3 | 7 1522.39/1522.85 c 1519s | 21 | 2521022 | 1188345 | 23006 124 | 3 | 7 1524.49/1524.90 c 1521s | 21 | 2524259 | 1190045 | 23006 125 | 3 | 7 1526.49/1526.91 c 1523s | 21 | 2527952 | 1191945 | 23006 125 | 3 | 7 1528.49/1528.94 c 1525s | 21 | 2532141 | 1193845 | 23006 125 | 3 | 7 1530.59/1531.00 c 1527s | 21 | 2536034 | 1195745 | 23006 125 | 3 | 7 1532.59/1533.08 c 1529s | 21 | 2539982 | 1197745 | 23006 125 | 3 | 7 1534.68/1535.15 c 1531s | 21 | 2544250 | 1199945 | 23006 125 | 3 | 7 1536.78/1537.23 c 1534s | 21 | 2548016 | 1201945 | 23006 126 | 3 | 7 1538.88/1539.33 c 1536s | 21 | 2550298 | 1203145 | 23006 126 | 3 | 7 1540.88/1541.40 c 1538s | 21 | 2553700 | 1204745 | 23006 126 | 3 | 7 1542.99/1543.46 c 1540s | 21 | 2557351 | 1206445 | 23006 126 | 3 | 7 1545.09/1545.56 c 1542s | 21 | 2561037 | 1208145 | 23006 126 | 3 | 7 1547.08/1547.59 c 1544s | 21 | 2564287 | 1209645 | 23006 126 | 3 | 7 1549.18/1549.66 c 1546s | 21 | 2567493 | 1211245 | 23006 126 | 3 | 7 1551.28/1551.74 c 1548s | 21 | 2570753 | 1212845 | 23006 126 | 3 | 7 1553.28/1553.78 c 1550s | 21 | 2574106 | 1214345 | 23006 127 | 3 | 7 1555.38/1555.86 c 1552s | 21 | 2577679 | 1216045 | 23006 127 | 3 | 7 1557.38/1557.87 c 1554s | 21 | 2581231 | 1217845 | 23006 127 | 3 | 7 1559.49/1559.91 c 1556s | 21 | 2584823 | 1219545 | 23006 127 | 3 | 7 1561.48/1561.94 c 1558s | 21 | 2588297 | 1221245 | 23006 127 | 3 | 7 1563.58/1564.01 c 1560s | 21 | 2592072 | 1222945 | 23006 127 | 3 | 7 1565.68/1566.14 c 1562s | 21 | 2595632 | 1224645 | 23006 127 | 3 | 7 1567.68/1568.19 c 1564s | 21 | 2599074 | 1226345 | 23006 128 | 3 | 7 1569.78/1570.22 c 1567s | 21 | 2602750 | 1228245 | 23006 128 | 3 | 7 1571.78/1572.28 c 1569s | 21 | 2606586 | 1230145 | 23006 128 | 3 | 7 1573.78/1574.30 c 1571s | 21 | 2610315 | 1232045 | 23006 128 | 3 | 7 1575.88/1576.35 c 1573s | 21 | 2613819 | 1233945 | 23006 128 | 3 | 7 1577.98/1578.44 c 1575s | 21 | 2617727 | 1235945 | 23006 128 | 3 | 7 1579.98/1580.45 c 1577s | 21 | 2621105 | 1237845 | 23006 128 | 3 | 7 1582.17/1582.69 c 1579s | 21 | 2624148 | 1239645 | 23006 129 | 3 | 7 1584.37/1584.82 c 1581s | 21 | 2627546 | 1241245 | 23006 129 | 3 | 7 1586.37/1586.89 c 1583s | 21 | 2630682 | 1242845 | 23006 129 | 3 | 7 1588.47/1588.98 c 1585s | 21 | 2634308 | 1244545 | 23006 129 | 3 | 7 1590.57/1591.02 c 1587s | 21 | 2637876 | 1246145 | 23006 129 | 3 | 7 1592.67/1593.11 c 1589s | 21 | 2641330 | 1247745 | 23006 129 | 3 | 7 1594.68/1595.12 c 1591s | 21 | 2644309 | 1249245 | 23006 129 | 3 | 7 1596.67/1597.18 c 1593s | 21 | 2647873 | 1250845 | 23006 130 | 3 | 7 1598.77/1599.20 c 1595s | 21 | 2651356 | 1252645 | 23006 130 | 3 | 7 1600.77/1601.25 c 1598s | 21 | 2654861 | 1254445 | 23006 130 | 3 | 7 1602.77/1603.26 c 1600s | 21 | 2658267 | 1256145 | 23006 130 | 3 | 7 1604.77/1605.28 c 1602s | 21 | 2662379 | 1257945 | 23006 130 | 3 | 7 1606.87/1607.32 c 1604s | 21 | 2666166 | 1259845 | 23006 130 | 3 | 7 1608.88/1609.32 c 1606s | 21 | 2669358 | 1261445 | 23006 130 | 3 | 7 1610.97/1611.43 c 1608s | 21 | 2672852 | 1263245 | 23006 131 | 3 | 7 1612.97/1613.49 c 1610s | 21 | 2676961 | 1265245 | 23006 131 | 3 | 7 1615.07/1615.58 c 1612s | 21 | 2681089 | 1267245 | 23006 131 | 3 | 7 1617.17/1617.65 c 1614s | 21 | 2684998 | 1269245 | 23006 131 | 3 | 7 1619.17/1619.65 c 1616s | 21 | 2688434 | 1270745 | 23006 131 | 3 | 7 1621.27/1621.70 c 1618s | 21 | 2691177 | 1272245 | 23006 131 | 3 | 7 1623.27/1623.74 c 1620s | 21 | 2694459 | 1273745 | 23006 131 | 3 | 7 1625.26/1625.75 c 1622s | 21 | 2697099 | 1275145 | 23006 132 | 3 | 7 1627.36/1627.84 c 1624s | 21 | 2701011 | 1276945 | 23006 132 | 3 | 7 1629.46/1629.93 c 1626s | 21 | 2704745 | 1278645 | 23006 132 | 3 | 7 1631.46/1631.98 c 1628s | 21 | 2708411 | 1280345 | 23006 132 | 3 | 7 1633.56/1634.05 c 1630s | 21 | 2711717 | 1282145 | 23006 132 | 3 | 7 1635.66/1636.13 c 1632s | 21 | 2715168 | 1283845 | 23006 132 | 3 | 7 1637.66/1638.13 c 1634s | 21 | 2718127 | 1285445 | 23006 132 | 3 | 7 1639.67/1640.19 c 1636s | 21 | 2721228 | 1286945 | 23006 133 | 3 | 7 1641.77/1642.21 c 1639s | 21 | 2724753 | 1288745 | 23006 133 | 3 | 7 1643.77/1644.24 c 1641s | 21 | 2728208 | 1290545 | 23006 133 | 3 | 7 1645.77/1646.29 c 1643s | 21 | 2731816 | 1292345 | 23006 133 | 3 | 7 1647.87/1648.34 c 1645s | 21 | 2735038 | 1294245 | 23006 133 | 3 | 7 1649.87/1650.39 c 1647s | 21 | 2738553 | 1296045 | 23006 133 | 3 | 7 1651.97/1652.47 c 1649s | 21 | 2742229 | 1297945 | 23006 133 | 3 | 7 1653.98/1654.49 c 1651s | 21 | 2745752 | 1299745 | 23006 134 | 3 | 7 1656.07/1656.52 c 1653s | 21 | 2750530 | 1302145 | 23006 134 | 3 | 7 1658.07/1658.56 c 1655s | 21 | 2753546 | 1303545 | 23006 134 | 3 | 7 1660.07/1660.59 c 1657s | 21 | 2757226 | 1305345 | 23006 134 | 3 | 7 1662.17/1662.60 c 1659s | 21 | 2760129 | 1306845 | 23006 134 | 3 | 7 1664.27/1664.74 c 1661s | 21 | 2763468 | 1308445 | 23006 134 | 3 | 7 1666.26/1666.76 c 1663s | 21 | 2766755 | 1309945 | 23006 134 | 3 | 7 1668.27/1668.79 c 1665s | 21 | 2769632 | 1311445 | 23006 135 | 3 | 7 1670.36/1670.87 c 1667s | 21 | 2773034 | 1313145 | 23006 135 | 3 | 7 1672.46/1672.98 c 1669s | 21 | 2776861 | 1314945 | 23006 135 | 3 | 7 1674.46/1674.99 c 1671s | 21 | 2780401 | 1316645 | 23006 135 | 3 | 7 1676.56/1677.04 c 1673s | 21 | 2783725 | 1318145 | 23006 135 | 3 | 7 1678.66/1679.10 c 1675s | 21 | 2787265 | 1319745 | 23006 135 | 3 | 7 1680.66/1681.11 c 1677s | 21 | 2790223 | 1321245 | 23006 135 | 3 | 7 1682.67/1683.17 c 1679s | 21 | 2793008 | 1322745 | 23006 135 | 3 | 7 1684.66/1685.19 c 1681s | 21 | 2796111 | 1324345 | 23006 136 | 3 | 7 1686.76/1687.24 c 1684s | 21 | 2799609 | 1325945 | 23006 136 | 3 | 7 1688.86/1689.35 c 1686s | 21 | 2802879 | 1327645 | 23006 136 | 3 | 7 1690.96/1691.43 c 1688s | 21 | 2805581 | 1329145 | 23006 136 | 3 | 7 1693.06/1693.52 c 1690s | 21 | 2808172 | 1330545 | 23006 136 | 3 | 7 1695.06/1695.58 c 1692s | 21 | 2810532 | 1331745 | 23006 136 | 3 | 7 1697.26/1697.71 c 1694s | 21 | 2813760 | 1333345 | 23006 136 | 3 | 7 1699.26/1699.74 c 1696s | 21 | 2816879 | 1334945 | 23006 136 | 3 | 7 1701.37/1701.84 c 1698s | 21 | 2819530 | 1336245 | 23006 137 | 3 | 7 1703.36/1703.87 c 1700s | 21 | 2822691 | 1337945 | 23006 137 | 3 | 7 1705.46/1705.97 c 1702s | 21 | 2826212 | 1339645 | 23006 137 | 3 | 7 1707.56/1708.03 c 1704s | 21 | 2829564 | 1341245 | 23006 137 | 3 | 7 1709.56/1710.07 c 1706s | 21 | 2832980 | 1342945 | 23006 137 | 3 | 7 1711.66/1712.17 c 1708s | 21 | 2837070 | 1344745 | 23006 137 | 3 | 7 1713.76/1714.24 c 1711s | 21 | 2840621 | 1346445 | 23006 137 | 3 | 7 1715.76/1716.26 c 1713s | 21 | 2844241 | 1348145 | 23006 138 | 3 | 7 1717.76/1718.29 c 1715s | 21 | 2848275 | 1350045 | 23006 138 | 3 | 7 1719.86/1720.39 c 1717s | 21 | 2851952 | 1351945 | 23006 138 | 3 | 7 1721.96/1722.43 c 1719s | 21 | 2855499 | 1353745 | 23006 138 | 3 | 7 1724.06/1724.51 c 1721s | 21 | 2859058 | 1355545 | 23006 138 | 3 | 7 1726.06/1726.51 c 1723s | 21 | 2862449 | 1357345 | 23006 138 | 3 | 7 1728.06/1728.56 c 1725s | 21 | 2865905 | 1359145 | 23006 138 | 3 | 7 1730.06/1730.59 c 1727s | 21 | 2869505 | 1361045 | 23006 139 | 3 | 7 1732.16/1732.63 c 1729s | 21 | 2872632 | 1362645 | 23006 139 | 3 | 7 1734.15/1734.68 c 1731s | 21 | 2875942 | 1364245 | 23006 139 | 3 | 7 1736.25/1736.75 c 1733s | 21 | 2879202 | 1365945 | 23006 139 | 3 | 7 1738.35/1738.87 c 1735s | 21 | 2882849 | 1367645 | 23006 139 | 3 | 7 1740.45/1740.97 c 1737s | 21 | 2886273 | 1369345 | 23006 139 | 3 | 7 1742.65/1743.10 c 1739s | 21 | 2889419 | 1370945 | 23006 139 | 3 | 7 1744.65/1745.15 c 1741s | 21 | 2892609 | 1372545 | 23006 140 | 3 | 7 1746.65/1747.19 c 1743s | 21 | 2896318 | 1374445 | 23006 140 | 3 | 7 1748.75/1749.23 c 1746s | 21 | 2900325 | 1376345 | 23006 140 | 3 | 7 1750.76/1751.30 c 1748s | 21 | 2904371 | 1378245 | 23006 140 | 3 | 7 1752.85/1753.36 c 1750s | 21 | 2908217 | 1380245 | 23006 140 | 3 | 7 1754.95/1755.49 c 1752s | 21 | 2911627 | 1382045 | 23006 140 | 3 | 7 1757.05/1757.53 c 1754s | 21 | 2914531 | 1383445 | 23006 140 | 3 | 7 1759.15/1759.61 c 1756s | 21 | 2917424 | 1384945 | 23006 141 | 3 | 7 1761.15/1761.65 c 1758s | 21 | 2920984 | 1386745 | 23006 141 | 3 | 7 1763.25/1763.72 c 1760s | 21 | 2924732 | 1388645 | 23006 141 | 3 | 7 1765.25/1765.75 c 1762s | 21 | 2928259 | 1390345 | 23006 141 | 3 | 7 1767.25/1767.78 c 1764s | 21 | 2931659 | 1392045 | 23006 141 | 3 | 7 1769.35/1769.88 c 1766s | 21 | 2935068 | 1393745 | 23006 141 | 3 | 7 1771.44/1771.95 c 1768s | 21 | 2938623 | 1395445 | 23006 141 | 3 | 7 1773.44/1773.96 c 1770s | 21 | 2942010 | 1397145 | 23006 142 | 3 | 7 1775.54/1776.05 c 1772s | 21 | 2945759 | 1399145 | 23006 142 | 3 | 7 1777.64/1778.12 c 1774s | 21 | 2949675 | 1401245 | 23006 142 | 3 | 7 1779.74/1780.23 c 1777s | 21 | 2953377 | 1402845 | 23006 142 | 3 | 7 1781.74/1782.27 c 1779s | 21 | 2956478 | 1404445 | 23006 142 | 3 | 7 1783.85/1784.38 c 1781s | 21 | 2959384 | 1405945 | 23006 142 | 3 | 7 1785.95/1786.49 c 1783s | 21 | 2962632 | 1407545 | 23006 142 | 3 | 7 1788.04/1788.58 c 1785s | 21 | 2965832 | 1409145 | 23006 143 | 3 | 7 1790.14/1790.69 c 1787s | 21 | 2969489 | 1410945 | 23006 143 | 3 | 7 1792.24/1792.79 c 1789s | 21 | 2973257 | 1412745 | 23006 143 | 3 | 7 1794.34/1794.86 c 1791s | 21 | 2976810 | 1414545 | 23006 143 | 3 | 7 1796.44/1796.92 c 1793s | 21 | 2980394 | 1416345 | 23006 143 | 3 | 7 1798.44/1798.94 c 1795s | 21 | 2984309 | 1418245 | 23006 143 | 3 | 7
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106571-1466273581/watcher-4106571-1466273581 -o /tmp/evaluation-result-4106571-1466273581/solver-4106571-1466273581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106571-1466273581.opb pid=14949 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.20 2.25 2.18 4/179 14952 /proc/meminfo: memFree=30062656/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=730556 CPUtime=0 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 2725 0 0 0 0 0 0 0 20 0 4 0 29407341 748089344 3596 33554432000 4194304 16246674 140734979889552 140734979888976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 183407 3608 441 2943 0 180301 0 [pid=14952/tid=14953] ppid=14949 vsize=748988 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 766963712 3667 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=753084 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 771158016 3681 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=757180 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29407341 775352320 3700 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.10019 s] /proc/loadavg: 2.20 2.25 2.18 4/179 14952 /proc/meminfo: memFree=30062656/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1219140 CPUtime=0.09 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 24967 0 0 0 6 3 0 0 20 0 4 0 29407341 1248399360 25805 33554432000 4194304 16246674 140734979889552 140734979888976 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 304785 25809 789 2943 0 301679 0 [pid=14952/tid=14953] ppid=14949 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1248399360 25813 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1248399360 25816 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1219140 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29407341 1248399360 25818 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1219140 [startup+0.2004 s] /proc/loadavg: 2.20 2.25 2.18 4/179 14952 /proc/meminfo: memFree=30062656/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1223236 CPUtime=0.19 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 33295 0 0 0 15 4 0 0 20 0 4 0 29407341 1252593664 34132 33554432000 4194304 16246674 140734979889552 140734979888864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 305809 34143 841 2943 0 302703 0 [pid=14952/tid=14953] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 34147 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 34150 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 34153 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1223236 [startup+0.300484 s] /proc/loadavg: 2.20 2.25 2.18 4/179 14952 /proc/meminfo: memFree=30062656/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1223236 CPUtime=0.29 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 58165 0 0 0 21 8 0 0 20 0 4 0 29407341 1252593664 59002 33554432000 4194304 16246674 140734979889552 140734979871424 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 305809 59015 841 2943 0 302703 0 [pid=14952/tid=14953] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 59023 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 59029 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 59033 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1223236 [startup+0.700316 s] /proc/loadavg: 2.20 2.25 2.18 4/179 14952 /proc/meminfo: memFree=30062656/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1223236 CPUtime=0.69 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 175572 0 0 0 46 23 0 0 20 0 4 0 29407341 1252593664 176408 33554432000 4194304 16246674 140734979889552 140734979871424 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 305809 176419 841 2943 0 302703 0 [pid=14952/tid=14953] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 176423 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 176426 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1223236 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1252593664 176432 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1223236 [startup+1.50042 s] /proc/loadavg: 2.18 2.24 2.18 3/183 14956 /proc/meminfo: memFree=28996196/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1301060 CPUtime=1.49 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 266124 0 0 0 114 35 0 0 20 0 4 0 29407341 1332285440 266960 33554432000 4194304 16246674 140734979889552 140734979871424 6022469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 325265 266960 843 2943 0 322159 0 [pid=14952/tid=14953] ppid=14949 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1332285440 266960 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1332285440 266960 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1332285440 266960 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1301060 [startup+3.10038 s] /proc/loadavg: 2.18 2.24 2.18 3/183 14956 /proc/meminfo: memFree=28988632/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 267888 0 0 0 273 36 0 0 20 0 4 0 29407341 1338576896 268724 33554432000 4194304 16246674 140734979889552 140734979872544 5672056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 326801 268724 846 2943 0 323695 0 [pid=14952/tid=14953] ppid=14949 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1338576896 268724 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1338576896 268724 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1338576896 268724 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30042 s] /proc/loadavg: 2.17 2.24 2.17 3/183 14956 /proc/meminfo: memFree=28984540/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1312324 CPUtime=6.29 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 268954 0 0 0 593 36 0 0 20 0 4 0 29407341 1343819776 269790 33554432000 4194304 16246674 140734979889552 140734979871424 5674919 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 328081 269790 848 2943 0 324975 0 [pid=14952/tid=14953] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 269790 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 269790 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 269790 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.15 2.23 2.17 4/183 14956 /proc/meminfo: memFree=28983624/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1312324 CPUtime=12.69 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 269170 0 0 0 1233 36 0 0 20 0 4 0 29407341 1343819776 270006 33554432000 4194304 16246674 140734979889552 140734979871424 6843350 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 328081 270006 848 2943 0 324975 0 [pid=14952/tid=14953] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 270006 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 270006 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1312324 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1343819776 270006 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1312324 [startup+25.5005 s] /proc/loadavg: 2.13 2.23 2.17 3/183 14956 /proc/meminfo: memFree=28982916/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1314372 CPUtime=25.49 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 269547 0 0 0 2513 36 0 0 20 0 4 0 29407341 1345916928 270383 33554432000 4194304 16246674 140734979889552 140734979888648 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 328593 270383 850 2943 0 325487 0 [pid=14952/tid=14953] ppid=14949 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1345916928 270383 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1345916928 270383 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1314372 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1345916928 270383 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1314372 [startup+51.1005 s] /proc/loadavg: 2.08 2.20 2.17 3/183 14956 /proc/meminfo: memFree=28981432/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 269940 0 0 0 5072 36 0 0 20 0 4 0 29407341 1346965504 270776 33554432000 4194304 16246674 140734979889552 140734979871424 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 328849 270776 850 2943 0 325743 0 [pid=14952/tid=14953] ppid=14949 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1346965504 270776 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1346965504 270776 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1346965504 270776 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.3 s] /proc/loadavg: 2.11 2.19 2.16 4/183 14957 /proc/meminfo: memFree=28979892/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1316420 CPUtime=102.29 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 270197 0 0 0 10192 37 0 0 20 0 4 0 29407341 1348014080 271033 33554432000 4194304 16246674 140734979889552 140734979871424 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 329105 271033 851 2943 0 325999 0 [pid=14952/tid=14953] ppid=14949 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1348014080 271033 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1348014080 271033 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1348014080 271033 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1367937024 275902 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.00 2.07 2.09 4/183 15036 /proc/meminfo: memFree=28063980/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1361.91 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 136147 44 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 12483341 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1344068 [startup+1422.3 s] /proc/loadavg: 2.00 2.06 2.09 3/183 15037 /proc/meminfo: memFree=28028788/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1421.91 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 142147 44 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 5829344 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1344068 [startup+1482.3 s] /proc/loadavg: 2.04 2.06 2.09 3/183 15039 /proc/meminfo: memFree=28028564/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1481.89 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 148145 44 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979888648 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1344068 [startup+1542.31 s] /proc/loadavg: 2.32 2.12 2.10 4/183 15040 /proc/meminfo: memFree=28028724/32872528 swapFree=681968/737156 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1541.89 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 154144 45 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1344068 [startup+1602.3 s] /proc/loadavg: 2.19 2.12 2.10 3/183 15041 /proc/meminfo: memFree=28028512/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1601.87 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 160142 45 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1344068 [startup+1662.3 s] /proc/loadavg: 2.18 2.12 2.10 4/184 15045 /proc/meminfo: memFree=28028936/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1661.87 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 166141 46 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 6022469 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1344068 [startup+1722.3 s] /proc/loadavg: 2.18 2.13 2.10 4/183 15046 /proc/meminfo: memFree=28028348/32872528 swapFree=681968/737156 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1721.86 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 172140 46 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 13906983 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 1344068 [startup+1782.3 s] /proc/loadavg: 2.14 2.13 2.10 3/183 15048 /proc/meminfo: memFree=28028608/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1781.84 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 178138 46 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979872544 5830067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1344068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.11 2.12 2.09 3/183 15049 /proc/meminfo: memFree=28028316/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1800.04 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 179958 46 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 5675809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1344068 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 14952 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.11 2.12 2.09 3/183 15049 /proc/meminfo: memFree=28028316/32872528 swapFree=681964/737152 [pid=14952] ppid=14949 vsize=1344068 CPUtime=1800.04 cores=1,3,5,7 /proc/14952/stat : 14952 (toysat) R 14949 14952 13233 0 -1 4202496 277455 0 0 0 179958 46 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140734979871424 5675809 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/14952/statm: 336017 277950 851 2943 0 332911 0 [pid=14952/tid=14953] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14953/stat : 14953 (toysat) S 14949 14952 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285726141680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=14952/tid=14954] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14954/stat : 14954 (toysat) S 14949 14952 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285644352752 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=14952/tid=14955] ppid=14949 vsize=1344068 CPUtime=0 cores=1,3,5,7 /proc/14952/task/14955/stat : 14955 (toysat) S 14949 14952 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29407341 1376325632 277950 33554432000 4194304 16246674 140734979889552 140285633879216 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1344068 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1799.59 CPU system time (s): 0.468928 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1344068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.59 system time used= 0.468928 maximum resident set size= 1111800 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277455 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= 359 involuntary context switches= 1859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.6043 second user time and 6.90895 second system time The end
Begin job on node112 at 2016-06-18 20:13:01 IDJOB=4106571 IDBENCH=48111 IDSOLVER=2542 FILE ID=node112/4106571-1466273581 RUNJOBID= node112-1466264161-13250 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_1.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106571-1466273581/watcher-4106571-1466273581 -o /tmp/evaluation-result-4106571-1466273581/solver-4106571-1466273581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13250 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106571-1466273581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED=1620070576 node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.46 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5321.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.734 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30063308 kB Buffers: 72240 kB Cached: 156976 kB SwapCached: 2028 kB Active: 1199616 kB Inactive: 136968 kB Active(anon): 1107232 kB Inactive(anon): 2096 kB Active(file): 92384 kB Inactive(file): 134872 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 16316 kB Writeback: 0 kB AnonPages: 1931068 kB Mapped: 10428 kB Shmem: 0 kB Slab: 602216 kB SReclaimable: 45980 kB SUnreclaim: 556236 kB KernelStack: 1520 kB PageTables: 7684 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1984920 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1243136 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71680 MiB End job on node112 at 2016-06-18 20:43:02