| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.11 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb |
| MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.136978 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 192 |
| Total number of constraints | 17 |
| 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 | 17 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 512 |
| Sum of products size (including duplicates) | 1024 |
| Number of different products | 512 |
| Sum of products size | 1024 |
0.00/0.03 c 2016-06-18T18:06:12+0200 0.00/0.03 c version = 0.5.0 0.00/0.03 c githash = 1a49202 0.00/0.03 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.03 c arch = x86_64 0.00/0.03 c os = linux 0.00/0.03 c compiler = ghc 7.10 0.00/0.03 c packages: 0.00/0.03 c OptDir-0.0.3 0.00/0.03 c array-0.5.1.0 0.00/0.03 c base-4.8.2.0 0.00/0.03 c bytestring-0.10.6.0 0.00/0.03 c bytestring-builder-0.10.6.0.0 0.00/0.03 c clock-0.7.2 0.00/0.03 c containers-0.5.6.2 0.00/0.03 c data-default-0.5.3 0.00/0.03 c data-default-class-0.0.1 0.00/0.03 c data-interval-1.2.0 0.00/0.03 c deepseq-1.4.1.1 0.00/0.03 c directory-1.2.2.0 0.00/0.03 c exceptions-0.8.2.1 0.00/0.03 c extended-reals-0.2.1.0 0.00/0.03 c filepath-1.4.0.0 0.00/0.03 c finite-field-0.8.0 0.00/0.03 c hashable-1.2.4.0 0.00/0.03 c heaps-0.3.3 0.00/0.03 c intern-0.9.1.4 0.00/0.03 c loop-0.3.0 0.00/0.03 c mtl-2.2.1 0.00/0.03 c multiset-0.3.2 0.00/0.03 c mwc-random-0.13.3.2 0.00/0.03 c parse_dimacs-1.3 0.00/0.03 c parsec-3.1.9 0.00/0.03 c prettyclass-1.0.0.0 0.00/0.03 c primes-0.2.1.0 0.00/0.03 c primitive-0.6.1.0 0.00/0.03 c process-1.2.3.0 0.00/0.03 c pseudo-boolean-0.1.3.0 0.00/0.03 c queue-0.1.2 0.00/0.03 c semigroups-0.18.1 0.00/0.03 c sign-0.4.3 0.00/0.03 c stm-2.4.4.1 0.00/0.03 c template-haskell-2.10.0.0 0.00/0.03 c temporary-1.2.0.4 0.00/0.03 c time-1.5.0.1 0.00/0.03 c transformers-0.4.2.0 0.00/0.03 c transformers-compat-0.5.1.4 0.00/0.03 c type-level-numbers-0.1.1.1 0.00/0.03 c unbounded-delays-0.1.0.9 0.00/0.03 c unordered-containers-0.2.6.0 0.00/0.03 c vector-0.11.0.0 0.00/0.03 c vector-space-0.10.3 0.00/0.03 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106130-1466265972.opb"] 0.00/0.04 c use --random-gen="1815938690 3086445709 314595252 4102461035 1775018318 2917585802 1086229293 3913752902 4137673806 3538004053 3302346400 954194413 2856056220 3669298728 1785814411 2355553533 1435048313 2709180932 2593368824 2696039655 2141750322 1136067015 457747161 3866910467 3666675500 995614258 509197332 2288908603 4125520188 235123042 234991902 305417688 1679685562 3142042670 1178960595 2507458259 1932978347 527483325 2605792742 2861202507 2605129850 3909322491 2371228002 896868161 3462441986 1321559705 1555959848 1226388074 3653315674 689365449 2588982561 925849041 707243004 100153865 3392339194 4170609626 5372554 3199689792 3481602366 4279208676 900491515 2375433883 110871069 4068459649 580534927 1682294497 3863615960 2195409694 3227697913 2662820653 1908915575 2814397629 2435459191 411532486 3674018558 2315800302 69367754 2523397543 3418836532 1262776368 611162204 586676821 1838805926 795344630 1681513545 4007290383 642522177 41481055 1741269661 3950846501 2690380336 2529228136 886614649 3159378196 2657556418 931162377 3797725451 2689832378 835307005 2968839326 4102550389 814629270 804356848 4147206731 3627759879 101175496 2897660178 3815748021 3213711369 4144133711 3480623956 3710546987 783359374 3205533630 2051092671 4109983383 2045751512 256260125 379714229 3931703028 2388174858 791405399 678269189 3694505474 2712967579 1513802283 1537626184 3380984954 199392430 58492637 1721111223 938487345 1012079845 3137495236 1517365269 4081281065 2835051261 497508529 3941123279 3855907128 4150352319 1941401211 328392301 1329552428 1766908735 1039798675 571094698 2453770502 2403654679 1959203700 1737187283 440266632 3086778387 1228142765 2811590958 3403990680 1984627954 2700593693 1373374671 2203384216 1374942459 2562872436 939940477 745523088 2451997074 535248321 1766337622 2112101271 3319891158 902004314 1281605680 1450084801 3260641915 2234220635 1632290948 3980716559 2311304037 1394578068 221560748 3425012801 1962836130 506303609 886394440 1403121464 950430037 2830470872 4142582610 2348364934 961697014 661672062 3021231893 4106425302 407815656 3058342775 3043165291 1326224359 3998478048 1644278720 3715017877 2392848420 1129009363 2897920434 1773397178 3537746123 942709015 2919870288 3085548448 1347753451 3617361265 3627232380 649661126 2335534154 1217995906 3575463223 1521934196 3785865916 3668201772 640551630 1493233948 564822991 4051883672 3471200247 4130214398 4252899423 716397824 1976383079 3893665925 1032053633 3241677432 2745128608 900039115 2619286901 2379295614 3566739693 1371970171 970632112 433385833 2689532686 2130384493 3597528405 2138389219 638253453 1356091943 1075415514 1259113826 1173219609 2044033708 3203459353 2783508693 2609725893 2848231586 1146856612 1452342816 881955662 142533289 863387329 255 362436" option to reproduce the execution 0.00/0.04 c #vars 192 0.00/0.04 c #constraints 17 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 755 0 | 0 | 0 0.00/0.08 c 0.0s | 1 | 113 | 100 | 755 0 | 0 | 0 0.06/0.11 c 0.1s | 2 | 283 | 250 | 831 0 | 0 | 0 0.06/0.17 c 0.1s | 3 | 544 | 475 | 915 0 | 0 | 0 0.16/0.26 c 0.2s | 4 | 974 | 813 | 1007 0 | 0 | 0 0.26/0.39 c 0.3s | 5 | 1597 | 1320 | 1108 0 | 0 | 0 0.56/0.66 c 0.6s | 6 | 2544 | 2081 | 1341 2 | 0 | 0 0.96/1.05 c 1.0s | 7 | 3926 | 3223 | 1476 2 | 0 | 0 1.46/1.64 c 1.6s | 8 | 5860 | 4936 | 1624 4 | 0 | 0 1.76/1.80 c 1.7s | 8 | 6706 | 5636 | 1624 5 | 0 | 0 1.76/1.80 c #cpu_time = 1.738s 1.76/1.80 c #wall_clock_time = 1.743s 1.76/1.80 c #decision = 6706 1.76/1.80 c #random_decision = 24 1.76/1.80 c #conflict = 5636 1.76/1.80 c #restart = 8 1.76/1.80 o 127 1.76/1.80 c BCD2: hardening fixes 1 literals 1.76/1.80 c BCD2: updating upper bound: 255 -> 126 1.76/1.80 c BCD2: 0 <= obj <= 126 1.76/1.80 c BCD2: #cores=0, #unrelaxed=7, #relaxed=0, #hardened=1 1.76/1.80 c BCD2: #sat=1 #unsat=1 bias=1/2 1.76/1.80 c Solving starts ... 1.76/1.80 c ============================[ Search Statistics ]============================ 1.76/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.76/1.80 c | | | | Limit GC | Var | Constra 1.76/1.80 c ============================================================================= 1.76/1.80 c 0.0s | 0 | 0 | 0 | 1624 0 | 10 | 0 1.76/1.80 c 0.0s | 0 | 5 | 0 | 1624 0 | 10 | 24 1.76/1.80 c #cpu_time = 0.004s 1.76/1.80 c #wall_clock_time = 0.004s 1.76/1.80 c #decision = 5 1.76/1.80 c #random_decision = 0 1.76/1.80 c #conflict = 0 1.76/1.80 c #restart = 0 1.76/1.80 c BCD2: found a new core of size 6: cost of the new core is >=2 1.76/1.80 c lower bound updated to 2 1.76/1.80 c BCD2: 2 <= obj <= 126 1.76/1.80 c BCD2: #cores=1, #unrelaxed=1, #relaxed=6, #hardened=1 1.76/1.80 c BCD2: #sat=1 #unsat=2 bias=2/3 1.76/1.80 c Solving starts ... 1.76/1.80 c ============================[ Search Statistics ]============================ 1.76/1.80 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 1.76/1.80 c | | | | Limit GC | Var | Constra 1.76/1.80 c ============================================================================= 1.76/1.80 c 0.0s | 0 | 0 | 0 | 1624 0 | 10 | 24 1.76/1.84 c 0.0s | 1 | 214 | 100 | 1624 0 | 10 | 24 1.76/1.89 c 0.1s | 2 | 452 | 250 | 1624 1 | 10 | 24 1.96/2.00 c 0.2s | 3 | 756 | 475 | 1624 1 | 10 | 24 2.16/2.22 c 0.4s | 4 | 1224 | 813 | 1624 1 | 10 | 24 2.37/2.46 c 0.7s | 5 | 1969 | 1320 | 1624 1 | 10 | 24 2.56/2.66 c 0.9s | 6 | 2831 | 2081 | 1787 2 | 10 | 24 2.86/2.91 c 1.1s | 7 | 4217 | 3223 | 1787 3 | 10 | 24 3.16/3.23 c 1.4s | 8 | 6088 | 4936 | 1787 5 | 10 | 24 4.06/4.13 c 2.3s | 9 | 8775 | 7506 | 1966 7 | 10 | 24 5.16/5.23 c 3.4s | 10 | 12986 | 11361 | 1966 10 | 10 | 24 7.16/7.25 c 5.4s | 10 | 17419 | 15461 | 2163 13 | 10 | 24 8.06/8.10 c 6.3s | 11 | 19285 | 17144 | 2163 15 | 10 | 24 10.07/10.12 c 8.3s | 11 | 27392 | 24844 | 2380 20 | 10 | 24 10.36/10.43 c 8.6s | 12 | 28409 | 25819 | 2380 21 | 10 | 24 12.36/12.46 c 10.7s | 12 | 36221 | 33119 | 2618 26 | 10 | 24 14.16/14.25 c 12.4s | 13 | 42330 | 38832 | 2618 30 | 10 | 24 16.16/16.28 c 14.5s | 13 | 50245 | 46332 | 2618 34 | 10 | 24 18.16/18.29 c 16.5s | 13 | 56756 | 52432 | 2880 38 | 10 | 24 20.16/20.27 c 18.5s | 14 | 63191 | 58352 | 2880 41 | 10 | 24 22.17/22.29 c 20.5s | 14 | 71787 | 66152 | 2880 46 | 10 | 24 24.16/24.30 c 22.5s | 14 | 78227 | 72052 | 2880 49 | 10 | 24 26.26/26.31 c 24.5s | 14 | 84854 | 78252 | 2880 53 | 10 | 24 28.26/28.33 c 26.5s | 14 | 91148 | 84352 | 3169 56 | 10 | 24 29.36/29.42 c 27.6s | 15 | 94598 | 87632 | 3169 58 | 10 | 24 31.36/31.44 c 29.6s | 15 | 101655 | 94232 | 3169 62 | 10 | 24 33.36/33.46 c 31.7s | 15 | 108225 | 100232 | 3169 66 | 10 | 24 35.37/35.48 c 33.7s | 15 | 115004 | 106432 | 3169 69 | 10 | 24 37.36/37.49 c 35.7s | 15 | 121579 | 112732 | 3169 73 | 10 | 24 39.46/39.50 c 37.7s | 15 | 128867 | 119732 | 3169 77 | 10 | 24 41.46/41.50 c 39.7s | 15 | 135188 | 125732 | 3486 81 | 10 | 24 43.26/43.38 c 41.6s | 16 | 141252 | 131552 | 3486 84 | 10 | 24 45.36/45.40 c 43.6s | 16 | 149299 | 139252 | 3486 88 | 10 | 24 47.26/47.40 c 45.6s | 16 | 155904 | 145652 | 3486 91 | 10 | 24 49.35/49.42 c 47.6s | 16 | 163402 | 152652 | 3486 94 | 10 | 24 51.35/51.43 c 49.6s | 16 | 170682 | 159352 | 3486 98 | 10 | 24 53.35/53.46 c 51.7s | 16 | 177838 | 166052 | 3486 101 | 10 | 24 55.35/55.46 c 53.7s | 16 | 184946 | 172852 | 3486 105 | 10 | 24 57.36/57.49 c 55.7s | 16 | 192721 | 180252 | 3486 108 | 10 | 24 59.46/59.51 c 57.7s | 16 | 200330 | 187452 | 3486 112 | 10 | 24 61.45/61.54 c 59.7s | 16 | 207883 | 194652 | 3835 115 | 10 | 24 62.25/62.37 c 60.6s | 17 | 210780 | 197432 | 3835 117 | 10 | 24 64.25/64.37 c 62.6s | 17 | 217102 | 203332 | 3835 120 | 10 | 24 66.25/66.37 c 64.6s | 17 | 222845 | 208732 | 3835 122 | 10 | 24 68.25/68.38 c 66.6s | 17 | 228532 | 214032 | 3835 125 | 10 | 24 70.34/70.40 c 68.6s | 17 | 234101 | 219532 | 3835 127 | 10 | 24 72.34/72.42 c 70.6s | 17 | 239460 | 224332 | 3835 130 | 10 | 24 74.34/74.43 c 72.6s | 17 | 245966 | 230432 | 3835 132 | 10 | 24 76.34/76.46 c 74.7s | 17 | 251732 | 235932 | 3835 135 | 10 | 24 78.34/78.47 c 76.7s | 17 | 256645 | 240632 | 3835 137 | 10 | 24 80.45/80.50 c 78.7s | 17 | 261563 | 245232 | 3835 139 | 10 | 24 82.44/82.51 c 80.7s | 17 | 266223 | 249532 | 3835 141 | 10 | 24 84.44/84.52 c 82.7s | 17 | 273461 | 256232 | 3835 144 | 10 | 24 86.44/86.53 c 84.7s | 17 | 279815 | 262032 | 3835 147 | 10 | 24 88.44/88.54 c 86.7s | 17 | 285058 | 266932 | 3835 149 | 10 | 24 90.44/90.59 c 88.8s | 17 | 291023 | 272332 | 3835 152 | 10 | 24 92.54/92.62 c 90.8s | 17 | 296422 | 277432 | 3835 154 | 10 | 24 94.54/94.62 c 92.8s | 17 | 302105 | 282932 | 3835 157 | 10 | 24 96.54/96.64 c 94.8s | 17 | 308884 | 289432 | 4219 160 | 10 | 24 98.53/98.69 c 96.9s | 17 | 315470 | 295632 | 4219 163 | 10 | 24 98.73/98.86 c 97.1s | 18 | 316153 | 296252 | 4219 163 | 10 | 24 100.73/100.86 c 99.1s | 18 | 324239 | 303852 | 4219 166 | 10 | 24 102.73/102.86 c 101s | 18 | 331029 | 310552 | 4219 169 | 10 | 24 104.73/104.87 c 103s | 18 | 338293 | 317652 | 4219 172 | 10 | 24 106.75/106.88 c 105s | 18 | 345931 | 324952 | 4219 175 | 10 | 24 108.74/108.88 c 107s | 18 | 352606 | 331352 | 4219 177 | 10 | 24 110.74/110.89 c 109s | 18 | 359733 | 338052 | 4219 180 | 10 | 24 112.83/112.92 c 111s | 18 | 366271 | 344252 | 4219 183 | 10 | 24 114.83/114.95 c 113s | 18 | 373349 | 351152 | 4219 186 | 10 | 24 116.83/116.98 c 115s | 18 | 379649 | 357252 | 4219 188 | 10 | 24 118.84/119.00 c 117s | 18 | 386475 | 363952 | 4219 191 | 10 | 24 120.93/121.02 c 119s | 18 | 393638 | 370852 | 4219 194 | 10 | 24 122.93/123.06 c 121s | 18 | 399611 | 376252 | 4219 196 | 10 | 24 124.93/125.09 c 123s | 18 | 405840 | 382152 | 4219 199 | 10 | 24 127.03/127.11 c 125s | 18 | 412218 | 388252 | 4219 201 | 10 | 24 129.03/129.11 c 127s | 18 | 417977 | 393752 | 4219 204 | 10 | 24 131.03/131.12 c 129s | 18 | 424839 | 400352 | 4219 206 | 10 | 24 133.03/133.16 c 131s | 18 | 431512 | 406552 | 4219 209 | 10 | 24 135.03/135.18 c 133s | 18 | 437690 | 412352 | 4219 211 | 10 | 24 137.13/137.23 c 135s | 18 | 443390 | 417652 | 4219 214 | 10 | 24 139.12/139.23 c 137s | 18 | 450428 | 424152 | 4219 216 | 10 | 24 141.12/141.24 c 139s | 18 | 456731 | 430052 | 4219 219 | 10 | 24 143.13/143.25 c 141s | 18 | 462889 | 435752 | 4641 221 | 10 | 24 145.12/145.27 c 143s | 18 | 468258 | 440852 | 4641 223 | 10 | 24 146.22/146.30 c 144s | 19 | 471951 | 444482 | 4641 224 | 10 | 24 148.22/148.36 c 146s | 19 | 477103 | 449082 | 4641 226 | 10 | 24 150.22/150.40 c 148s | 19 | 481772 | 453082 | 4641 228 | 10 | 24 152.32/152.41 c 150s | 19 | 486508 | 457482 | 4641 230 | 10 | 24 154.32/154.44 c 152s | 19 | 490296 | 460282 | 4641 231 | 10 | 24 156.32/156.47 c 154s | 19 | 495722 | 465382 | 4641 233 | 10 | 24 158.42/158.55 c 156s | 19 | 500985 | 470382 | 4641 234 | 10 | 24 160.41/160.55 c 158s | 19 | 507154 | 475682 | 4641 236 | 10 | 24 162.41/162.58 c 160s | 19 | 513831 | 481582 | 4641 239 | 10 | 24 164.41/164.58 c 162s | 19 | 519958 | 486682 | 4641 241 | 10 | 24 166.41/166.59 c 164s | 19 | 527580 | 493982 | 4641 243 | 10 | 24 168.51/168.60 c 166s | 19 | 535185 | 501082 | 4641 246 | 10 | 24 170.52/170.62 c 168s | 19 | 541614 | 507082 | 4641 248 | 10 | 24 172.51/172.64 c 170s | 19 | 548082 | 513282 | 4641 251 | 10 | 24 174.51/174.67 c 172s | 19 | 554857 | 519582 | 4641 253 | 10 | 24 176.51/176.70 c 174s | 19 | 561510 | 525882 | 4641 256 | 10 | 24 178.61/178.73 c 176s | 19 | 568459 | 532182 | 4641 258 | 10 | 24 180.60/180.73 c 178s | 19 | 573438 | 536882 | 4641 260 | 10 | 24 182.61/182.77 c 180s | 19 | 578478 | 541282 | 4641 262 | 10 | 24 184.60/184.78 c 182s | 19 | 583738 | 546182 | 4641 263 | 10 | 24 186.60/186.79 c 184s | 19 | 588375 | 550182 | 4641 265 | 10 | 24 188.70/188.85 c 187s | 19 | 592750 | 554082 | 4641 266 | 10 | 24 190.70/190.86 c 189s | 19 | 596615 | 557582 | 4641 268 | 10 | 24 192.70/192.89 c 191s | 19 | 602624 | 563282 | 4641 270 | 10 | 24 194.80/194.92 c 193s | 19 | 609504 | 569882 | 4641 272 | 10 | 24 196.80/196.94 c 195s | 19 | 615240 | 575282 | 4641 275 | 10 | 24 198.79/198.95 c 197s | 19 | 620530 | 580082 | 4641 276 | 10 | 24 200.79/200.96 c 199s | 19 | 624690 | 583882 | 4641 278 | 10 | 24 202.79/202.99 c 201s | 19 | 630309 | 589082 | 4641 280 | 10 | 24 204.89/205.07 c 203s | 19 | 634956 | 593182 | 4641 281 | 10 | 24 206.99/207.12 c 205s | 19 | 638213 | 596182 | 4641 283 | 10 | 24 209.00/209.13 c 207s | 19 | 643456 | 600682 | 4641 284 | 10 | 24 210.99/211.16 c 209s | 19 | 648553 | 605382 | 4641 286 | 10 | 24 213.09/213.20 c 211s | 19 | 653539 | 609982 | 4641 288 | 10 | 24 215.09/215.23 c 213s | 19 | 657967 | 614182 | 4641 289 | 10 | 24 217.09/217.28 c 215s | 19 | 661825 | 617882 | 4641 291 | 10 | 24 219.20/219.32 c 217s | 19 | 665571 | 621482 | 4641 292 | 10 | 24 221.20/221.32 c 219s | 19 | 670918 | 626482 | 4641 294 | 10 | 24 223.20/223.33 c 221s | 19 | 676301 | 631482 | 4641 296 | 10 | 24 225.19/225.34 c 223s | 19 | 681447 | 636282 | 4641 298 | 10 | 24 227.19/227.36 c 225s | 19 | 686639 | 640982 | 4641 300 | 10 | 24 229.19/229.37 c 227s | 19 | 692840 | 646682 | 4641 302 | 10 | 24 231.19/231.39 c 229s | 19 | 697321 | 650682 | 4641 303 | 10 | 24 233.30/233.42 c 231s | 19 | 701922 | 654882 | 4641 305 | 10 | 24 235.29/235.43 c 233s | 19 | 706521 | 659182 | 5106 306 | 10 | 24 237.29/237.45 c 235s | 19 | 711925 | 664282 | 5106 308 | 10 | 24 238.18/238.39 c 236s | 20 | 714766 | 666827 | 5106 309 | 10 | 24 240.28/240.42 c 238s | 20 | 723226 | 674727 | 5106 312 | 10 | 24 242.28/242.42 c 240s | 20 | 730008 | 681027 | 5106 314 | 10 | 24 244.29/244.43 c 242s | 20 | 736128 | 686927 | 5106 317 | 10 | 24 246.28/246.45 c 244s | 20 | 742723 | 693127 | 5106 319 | 10 | 24 248.28/248.48 c 246s | 20 | 749892 | 699827 | 5106 321 | 10 | 24 250.28/250.49 c 248s | 20 | 756319 | 706027 | 5106 324 | 10 | 24 252.28/252.49 c 250s | 20 | 762311 | 711727 | 5106 326 | 10 | 24 254.38/254.51 c 252s | 20 | 768901 | 717727 | 5106 328 | 10 | 24 256.38/256.54 c 254s | 20 | 775809 | 724127 | 5106 330 | 10 | 24 258.37/258.55 c 256s | 20 | 781809 | 729927 | 5106 332 | 10 | 24 260.37/260.58 c 258s | 20 | 787877 | 735727 | 5106 334 | 10 | 24 262.37/262.59 c 260s | 20 | 793892 | 741427 | 5106 336 | 10 | 24 264.37/264.59 c 262s | 20 | 800154 | 747427 | 5106 339 | 10 | 24 266.47/266.61 c 264s | 20 | 806795 | 753627 | 5106 341 | 10 | 24 268.48/268.63 c 266s | 20 | 813065 | 759527 | 5106 343 | 10 | 24 270.47/270.63 c 268s | 20 | 819032 | 764927 | 5106 345 | 10 | 24 272.47/272.64 c 270s | 20 | 825597 | 771027 | 5106 347 | 10 | 24 274.47/274.65 c 272s | 20 | 832173 | 777127 | 5106 350 | 10 | 24 276.47/276.65 c 274s | 20 | 838587 | 783227 | 5106 352 | 10 | 24 278.47/278.68 c 276s | 20 | 844584 | 789027 | 5106 354 | 10 | 24 280.58/280.72 c 278s | 20 | 850873 | 794927 | 5106 356 | 10 | 24 282.57/282.78 c 280s | 20 | 857870 | 801327 | 5106 358 | 10 | 24 284.67/284.80 c 282s | 20 | 864379 | 807527 | 5106 361 | 10 | 24 286.67/286.82 c 285s | 20 | 870714 | 813527 | 5106 363 | 10 | 24 288.66/288.85 c 287s | 20 | 876927 | 819227 | 5106 365 | 10 | 24 290.66/290.88 c 289s | 20 | 883425 | 825327 | 5106 367 | 10 | 24 292.67/292.89 c 291s | 20 | 889687 | 831327 | 5106 369 | 10 | 24 294.77/294.94 c 293s | 20 | 896314 | 837427 | 5106 372 | 10 | 24 296.76/296.95 c 295s | 20 | 902594 | 843427 | 5106 374 | 10 | 24 298.76/298.98 c 297s | 20 | 908972 | 849527 | 5106 376 | 10 | 24 300.76/300.98 c 299s | 20 | 915283 | 855527 | 5106 378 | 10 | 24 302.86/303.01 c 301s | 20 | 921519 | 861227 | 5106 380 | 10 | 24 304.86/305.03 c 303s | 20 | 928215 | 867627 | 5106 383 | 10 | 24 306.86/307.07 c 305s | 20 | 934967 | 874027 | 5106 385 | 10 | 24 308.85/309.07 c 307s | 20 | 941455 | 880127 | 5106 387 | 10 | 24 310.85/311.07 c 309s | 20 | 948032 | 886227 | 5106 389 | 10 | 24 312.95/313.10 c 311s | 20 | 954311 | 892227 | 5106 392 | 10 | 24 314.95/315.11 c 313s | 20 | 960947 | 898427 | 5106 394 | 10 | 24 316.95/317.11 c 315s | 20 | 967304 | 904527 | 5106 396 | 10 | 24 318.95/319.12 c 317s | 20 | 973627 | 910327 | 5106 398 | 10 | 24 320.95/321.12 c 319s | 20 | 980554 | 916727 | 5106 400 | 10 | 24 322.94/323.13 c 321s | 20 | 987468 | 923227 | 5106 403 | 10 | 24 324.94/325.14 c 323s | 20 | 993751 | 929227 | 5106 405 | 10 | 24 326.95/327.15 c 325s | 20 | 1000048 | 935227 | 5106 407 | 10 | 24 328.96/329.17 c 327s | 20 | 1006433 | 941027 | 5106 409 | 10 | 24 330.95/331.18 c 329s | 20 | 1013040 | 947327 | 5106 412 | 10 | 24 332.95/333.19 c 331s | 20 | 1019349 | 953327 | 5106 414 | 10 | 24 335.05/335.21 c 333s | 20 | 1025712 | 959327 | 5106 416 | 10 | 24 337.05/337.23 c 335s | 20 | 1031752 | 965027 | 5106 418 | 10 | 24 339.04/339.27 c 337s | 20 | 1038625 | 971327 | 5106 420 | 10 | 24 341.05/341.28 c 339s | 20 | 1044828 | 977127 | 5106 423 | 10 | 24 343.04/343.29 c 341s | 20 | 1051554 | 983327 | 5106 425 | 10 | 24 345.14/345.31 c 343s | 20 | 1058200 | 989527 | 5617 427 | 10 | 24 347.14/347.33 c 345s | 20 | 1064069 | 995127 | 5617 429 | 10 | 24 348.84/349.02 c 347s | 21 | 1069542 | 1000345 | 5617 430 | 10 | 24 350.84/351.04 c 349s | 21 | 1075729 | 1006245 | 5617 432 | 10 | 24 352.84/353.06 c 351s | 21 | 1080615 | 1010345 | 5617 434 | 10 | 24 354.84/355.09 c 353s | 21 | 1085761 | 1015145 | 5617 435 | 10 | 24 356.94/357.12 c 355s | 21 | 1091788 | 1020545 | 5617 437 | 10 | 24 358.93/359.18 c 357s | 21 | 1097598 | 1025945 | 5617 439 | 10 | 24 360.93/361.20 c 359s | 21 | 1103667 | 1031445 | 5617 441 | 10 | 24 363.04/363.22 c 361s | 21 | 1109541 | 1036845 | 5617 443 | 10 | 24 365.03/365.25 c 363s | 21 | 1114993 | 1041745 | 5617 444 | 10 | 24 367.03/367.27 c 365s | 21 | 1121502 | 1047345 | 5617 446 | 10 | 24 369.13/369.30 c 367s | 21 | 1126923 | 1052145 | 5617 448 | 10 | 24 371.13/371.32 c 369s | 21 | 1132465 | 1056945 | 5617 449 | 10 | 24 373.13/373.33 c 371s | 21 | 1138144 | 1061645 | 5617 451 | 10 | 24 375.14/375.33 c 373s | 21 | 1142873 | 1066045 | 5617 452 | 10 | 24 377.13/377.36 c 375s | 21 | 1148651 | 1070645 | 5617 454 | 10 | 24 379.13/379.38 c 377s | 21 | 1155442 | 1076945 | 5617 456 | 10 | 24 381.23/381.40 c 379s | 21 | 1161255 | 1082445 | 5617 458 | 10 | 24 383.23/383.42 c 381s | 21 | 1166675 | 1087245 | 5617 460 | 10 | 24 385.23/385.44 c 383s | 21 | 1173377 | 1093645 | 5617 462 | 10 | 24 387.23/387.46 c 385s | 21 | 1180073 | 1099645 | 5617 464 | 10 | 24 389.22/389.49 c 387s | 21 | 1186302 | 1105445 | 5617 466 | 10 | 24 391.32/391.50 c 389s | 21 | 1192814 | 1111645 | 5617 468 | 10 | 24 393.32/393.52 c 391s | 21 | 1199336 | 1117945 | 5617 470 | 10 | 24 395.32/395.53 c 393s | 21 | 1205953 | 1124245 | 5617 472 | 10 | 24 397.32/397.54 c 395s | 21 | 1213011 | 1131045 | 5617 474 | 10 | 24 399.32/399.54 c 397s | 21 | 1218991 | 1136545 | 5617 476 | 10 | 24 401.31/401.54 c 399s | 21 | 1224066 | 1141345 | 5617 478 | 10 | 24 403.31/403.59 c 401s | 21 | 1230076 | 1146445 | 5617 479 | 10 | 24 405.31/405.59 c 403s | 21 | 1235546 | 1151445 | 5617 481 | 10 | 24 407.41/407.62 c 405s | 21 | 1241833 | 1157045 | 5617 483 | 10 | 24 409.41/409.65 c 407s | 21 | 1248408 | 1163145 | 5617 485 | 10 | 24 411.41/411.69 c 409s | 21 | 1254913 | 1169045 | 5617 487 | 10 | 24 413.51/413.72 c 411s | 21 | 1261773 | 1175545 | 5617 489 | 10 | 24 415.51/415.75 c 413s | 21 | 1268502 | 1181845 | 5617 491 | 10 | 24 417.51/417.76 c 415s | 21 | 1274981 | 1187945 | 5617 493 | 10 | 24 419.50/419.77 c 417s | 21 | 1281502 | 1194045 | 5617 495 | 10 | 24 421.50/421.77 c 419s | 21 | 1288075 | 1200245 | 5617 497 | 10 | 24 423.51/423.79 c 421s | 21 | 1294515 | 1206445 | 5617 499 | 10 | 24 425.61/425.83 c 424s | 21 | 1300879 | 1212445 | 5617 502 | 10 | 24 427.60/427.86 c 426s | 21 | 1307364 | 1218445 | 5617 504 | 10 | 24 429.60/429.87 c 428s | 21 | 1313161 | 1223745 | 5617 505 | 10 | 24 431.60/431.89 c 430s | 21 | 1319365 | 1229645 | 5617 507 | 10 | 24 433.70/433.90 c 432s | 21 | 1325569 | 1235545 | 5617 509 | 10 | 24 435.70/435.92 c 434s | 21 | 1332264 | 1241945 | 5617 511 | 10 | 24 437.70/437.94 c 436s | 21 | 1338496 | 1247645 | 5617 513 | 10 | 24 439.69/439.96 c 438s | 21 | 1344849 | 1253445 | 5617 515 | 10 | 24 441.69/441.97 c 440s | 21 | 1350520 | 1258745 | 5617 517 | 10 | 24 443.79/444.03 c 442s | 21 | 1357381 | 1264945 | 5617 519 | 10 | 24 445.79/446.07 c 444s | 21 | 1364357 | 1271445 | 5617 521 | 10 | 24 447.79/448.08 c 446s | 21 | 1370536 | 1277245 | 5617 523 | 10 | 24 449.79/450.09 c 448s | 21 | 1376945 | 1283245 | 5617 525 | 10 | 24 451.89/452.10 c 450s | 21 | 1383080 | 1289145 | 5617 527 | 10 | 24 453.89/454.12 c 452s | 21 | 1388362 | 1294045 | 5617 529 | 10 | 24 455.88/456.15 c 454s | 21 | 1394106 | 1299245 | 5617 531 | 10 | 24 457.98/458.20 c 456s | 21 | 1399834 | 1304645 | 5617 532 | 10 | 24 459.98/460.20 c 458s | 21 | 1405866 | 1310345 | 5617 534 | 10 | 24 461.98/462.23 c 460s | 21 | 1411707 | 1315745 | 5617 536 | 10 | 24 463.98/464.23 c 462s | 21 | 1416869 | 1320545 | 5617 538 | 10 | 24 465.99/466.27 c 464s | 21 | 1422620 | 1326045 | 5617 540 | 10 | 24 467.98/468.28 c 466s | 21 | 1428058 | 1331145 | 5617 541 | 10 | 24 470.08/470.31 c 468s | 21 | 1433751 | 1336645 | 5617 543 | 10 | 24 472.08/472.33 c 470s | 21 | 1439656 | 1342245 | 5617 545 | 10 | 24 474.09/474.39 c 472s | 21 | 1444753 | 1347145 | 5617 547 | 10 | 24 476.19/476.43 c 474s | 21 | 1450416 | 1352445 | 5617 548 | 10 | 24 478.18/478.47 c 476s | 21 | 1456095 | 1357745 | 5617 550 | 10 | 24 480.18/480.49 c 478s | 21 | 1460876 | 1362345 | 5617 552 | 10 | 24 482.28/482.50 c 480s | 21 | 1466584 | 1367745 | 5617 554 | 10 | 24 484.28/484.51 c 482s | 21 | 1471314 | 1372245 | 5617 555 | 10 | 24 486.28/486.52 c 484s | 21 | 1476552 | 1377145 | 5617 557 | 10 | 24 488.27/488.53 c 486s | 21 | 1482866 | 1383145 | 5617 559 | 10 | 24 490.27/490.54 c 488s | 21 | 1489937 | 1389845 | 5617 561 | 10 | 24 492.27/492.56 c 490s | 21 | 1496911 | 1396445 | 5617 563 | 10 | 24 494.27/494.58 c 492s | 21 | 1503029 | 1402145 | 5617 565 | 10 | 24 496.27/496.59 c 494s | 21 | 1509174 | 1407945 | 5617 567 | 10 | 24 498.36/498.61 c 496s | 21 | 1515037 | 1413545 | 5617 569 | 10 | 24 500.37/500.63 c 498s | 21 | 1521040 | 1419245 | 5617 571 | 10 | 24 502.36/502.63 c 500s | 21 | 1526585 | 1424445 | 5617 572 | 10 | 24 504.36/504.67 c 502s | 21 | 1532241 | 1429645 | 5617 574 | 10 | 24 506.36/506.68 c 504s | 21 | 1537543 | 1434745 | 5617 576 | 10 | 24 508.35/508.68 c 506s | 21 | 1542604 | 1439645 | 5617 578 | 10 | 24 510.45/510.73 c 508s | 21 | 1548333 | 1445045 | 5617 579 | 10 | 24 512.46/512.76 c 510s | 21 | 1554165 | 1450545 | 5617 581 | 10 | 24 514.45/514.79 c 512s | 21 | 1560251 | 1456245 | 5617 583 | 10 | 24 516.45/516.79 c 514s | 21 | 1566114 | 1461645 | 5617 585 | 10 | 24 518.45/518.80 c 516s | 21 | 1571725 | 1467045 | 5617 587 | 10 | 24 520.54/520.80 c 518s | 21 | 1577283 | 1472245 | 5617 589 | 10 | 24 522.54/522.84 c 521s | 21 | 1583694 | 1478245 | 5617 591 | 10 | 24 524.55/524.88 c 523s | 21 | 1589698 | 1483645 | 5617 592 | 10 | 24 526.64/526.90 c 525s | 21 | 1596092 | 1489745 | 6179 594 | 10 | 24 528.64/528.91 c 527s | 21 | 1602957 | 1496345 | 6179 596 | 10 | 24 529.94/530.24 c 528s | 22 | 1607454 | 1500622 | 6179 597 | 10 | 24 531.94/532.28 c 530s | 22 | 1613829 | 1506422 | 6179 599 | 10 | 24 534.04/534.31 c 532s | 22 | 1617398 | 1509722 | 6179 600 | 10 | 24 536.04/536.35 c 534s | 22 | 1620610 | 1512822 | 6179 601 | 10 | 24 538.04/538.37 c 536s | 22 | 1625758 | 1517822 | 6179 603 | 10 | 24 540.04/540.38 c 538s | 22 | 1634766 | 1526422 | 6179 605 | 10 | 24 542.04/542.39 c 540s | 22 | 1640990 | 1532322 | 6179 607 | 10 | 24 544.14/544.43 c 542s | 22 | 1646938 | 1538022 | 6179 609 | 10 | 24 546.14/546.44 c 544s | 22 | 1653354 | 1544122 | 6179 610 | 10 | 24 548.13/548.47 c 546s | 22 | 1659305 | 1549822 | 6179 612 | 10 | 24 550.13/550.49 c 548s | 22 | 1665860 | 1556022 | 6179 614 | 10 | 24 552.23/552.54 c 550s | 22 | 1671523 | 1561122 | 6179 616 | 10 | 24 554.24/554.55 c 552s | 22 | 1677244 | 1566422 | 6179 617 | 10 | 24 556.23/556.57 c 554s | 22 | 1682461 | 1571422 | 6179 619 | 10 | 24 558.23/558.59 c 556s | 22 | 1689251 | 1577722 | 6179 620 | 10 | 24 560.33/560.62 c 558s | 22 | 1694126 | 1582222 | 6179 622 | 10 | 24 562.33/562.65 c 560s | 22 | 1700749 | 1588622 | 6179 624 | 10 | 24 564.33/564.68 c 562s | 22 | 1706727 | 1594422 | 6179 625 | 10 | 24 566.44/566.71 c 564s | 22 | 1712844 | 1600222 | 6179 627 | 10 | 24 568.43/568.73 c 566s | 22 | 1719066 | 1606322 | 6179 629 | 10 | 24 570.43/570.75 c 568s | 22 | 1723743 | 1610522 | 6179 630 | 10 | 24 572.43/572.75 c 570s | 22 | 1728445 | 1614822 | 6179 631 | 10 | 24 574.43/574.77 c 572s | 22 | 1733231 | 1619022 | 6179 633 | 10 | 24 576.53/576.81 c 575s | 22 | 1738714 | 1623822 | 6179 634 | 10 | 24 578.53/578.82 c 577s | 22 | 1743603 | 1628222 | 6179 635 | 10 | 24 580.52/580.84 c 579s | 22 | 1748946 | 1633422 | 6179 637 | 10 | 24 582.52/582.86 c 581s | 22 | 1754076 | 1638422 | 6179 638 | 10 | 24 584.52/584.89 c 583s | 22 | 1759279 | 1643522 | 6179 640 | 10 | 24 586.62/586.92 c 585s | 22 | 1764573 | 1648622 | 6179 641 | 10 | 24 588.62/588.94 c 587s | 22 | 1769681 | 1653522 | 6179 643 | 10 | 24 590.62/590.95 c 589s | 22 | 1775014 | 1658722 | 6179 644 | 10 | 24 592.62/592.98 c 591s | 22 | 1780489 | 1664022 | 6179 646 | 10 | 24 594.72/595.02 c 593s | 22 | 1785416 | 1668822 | 6179 648 | 10 | 24 596.72/597.06 c 595s | 22 | 1791009 | 1674222 | 6179 649 | 10 | 24 598.71/599.06 c 597s | 22 | 1795991 | 1679022 | 6179 651 | 10 | 24 600.71/601.07 c 599s | 22 | 1801901 | 1684722 | 6179 652 | 10 | 24 602.81/603.10 c 601s | 22 | 1806996 | 1689522 | 6179 654 | 10 | 24 604.82/605.14 c 603s | 22 | 1812471 | 1694722 | 6179 655 | 10 | 24 606.81/607.18 c 605s | 22 | 1817859 | 1699822 | 6179 657 | 10 | 24 608.90/609.20 c 607s | 22 | 1823560 | 1705322 | 6179 658 | 10 | 24 610.90/611.22 c 609s | 22 | 1829906 | 1711422 | 6179 660 | 10 | 24 612.90/613.25 c 611s | 22 | 1835656 | 1716922 | 6179 662 | 10 | 24 614.90/615.27 c 613s | 22 | 1842109 | 1723022 | 6179 664 | 10 | 24 616.91/617.28 c 615s | 22 | 1847333 | 1727922 | 6179 665 | 10 | 24 618.90/619.29 c 617s | 22 | 1852425 | 1732822 | 6179 667 | 10 | 24 621.00/621.32 c 619s | 22 | 1858114 | 1738322 | 6179 668 | 10 | 24 623.00/623.33 c 621s | 22 | 1864387 | 1744222 | 6179 670 | 10 | 24 625.00/625.35 c 623s | 22 | 1869889 | 1749222 | 6179 671 | 10 | 24 627.00/627.38 c 625s | 22 | 1874897 | 1753722 | 6179 673 | 10 | 24 628.99/629.38 c 627s | 22 | 1880726 | 1759322 | 6179 674 | 10 | 24 631.00/631.38 c 629s | 22 | 1886640 | 1765122 | 6179 676 | 10 | 24 633.10/633.40 c 631s | 22 | 1892076 | 1770422 | 6179 678 | 10 | 24 635.10/635.40 c 633s | 22 | 1896850 | 1775022 | 6179 679 | 10 | 24 637.10/637.41 c 635s | 22 | 1902365 | 1780122 | 6179 681 | 10 | 24 639.09/639.42 c 637s | 22 | 1908223 | 1785722 | 6179 682 | 10 | 24 641.10/641.43 c 639s | 22 | 1913978 | 1791322 | 6179 684 | 10 | 24 643.09/643.45 c 641s | 22 | 1919311 | 1796122 | 6179 685 | 10 | 24 645.09/645.48 c 643s | 22 | 1924810 | 1801222 | 6179 687 | 10 | 24 647.19/647.50 c 645s | 22 | 1929666 | 1805822 | 6179 688 | 10 | 24 649.19/649.53 c 647s | 22 | 1934463 | 1810122 | 6179 690 | 10 | 24 651.19/651.54 c 649s | 22 | 1938939 | 1814122 | 6179 691 | 10 | 24 653.19/653.58 c 651s | 22 | 1944206 | 1819122 | 6179 692 | 10 | 24 655.28/655.60 c 653s | 22 | 1949034 | 1823722 | 6179 694 | 10 | 24 657.28/657.61 c 655s | 22 | 1954123 | 1828422 | 6179 695 | 10 | 24 659.28/659.63 c 657s | 22 | 1958703 | 1832622 | 6179 696 | 10 | 24 661.28/661.64 c 659s | 22 | 1963967 | 1837622 | 6179 698 | 10 | 24 663.28/663.68 c 661s | 22 | 1969215 | 1842522 | 6179 699 | 10 | 24 665.29/665.70 c 663s | 22 | 1974097 | 1847022 | 6179 701 | 10 | 24 667.38/667.70 c 665s | 22 | 1980371 | 1852822 | 6179 702 | 10 | 24 669.38/669.73 c 667s | 22 | 1984827 | 1857122 | 6179 704 | 10 | 24 671.38/671.76 c 669s | 22 | 1990045 | 1861922 | 6179 705 | 10 | 24 673.38/673.79 c 671s | 22 | 1994940 | 1866422 | 6179 706 | 10 | 24 675.48/675.83 c 674s | 22 | 1999359 | 1870722 | 6179 708 | 10 | 24 677.48/677.83 c 676s | 22 | 2004854 | 1875922 | 6179 709 | 10 | 24 679.47/679.86 c 678s | 22 | 2010160 | 1880822 | 6179 711 | 10 | 24 681.47/681.88 c 680s | 22 | 2015479 | 1885822 | 6179 712 | 10 | 24 683.57/683.90 c 682s | 22 | 2020737 | 1890822 | 6179 714 | 10 | 24 685.57/685.92 c 684s | 22 | 2025138 | 1895022 | 6179 715 | 10 | 24 687.57/687.98 c 686s | 22 | 2031128 | 1900722 | 6179 717 | 10 | 24 689.67/690.00 c 688s | 22 | 2036970 | 1906322 | 6179 718 | 10 | 24 691.67/692.04 c 690s | 22 | 2042338 | 1911322 | 6179 720 | 10 | 24 693.66/694.06 c 692s | 22 | 2048416 | 1917122 | 6179 721 | 10 | 24 695.66/696.07 c 694s | 22 | 2053847 | 1921922 | 6179 723 | 10 | 24 697.76/698.10 c 696s | 22 | 2059136 | 1926622 | 6179 724 | 10 | 24 699.76/700.11 c 698s | 22 | 2063915 | 1931022 | 6179 726 | 10 | 24 701.76/702.14 c 700s | 22 | 2069705 | 1936422 | 6179 727 | 10 | 24 703.77/704.16 c 702s | 22 | 2075001 | 1941422 | 6179 729 | 10 | 24 705.76/706.17 c 704s | 22 | 2080685 | 1946522 | 6179 730 | 10 | 24 707.76/708.18 c 706s | 22 | 2085621 | 1950922 | 6179 731 | 10 | 24 709.86/710.23 c 708s | 22 | 2091233 | 1955922 | 6179 733 | 10 | 24 711.86/712.27 c 710s | 22 | 2096827 | 1961122 | 6179 735 | 10 | 24 713.86/714.29 c 712s | 22 | 2102384 | 1965922 | 6179 736 | 10 | 24 715.96/716.33 c 714s | 22 | 2108490 | 1971222 | 6179 738 | 10 | 24 717.96/718.33 c 716s | 22 | 2114164 | 1976322 | 6179 739 | 10 | 24 719.96/720.37 c 718s | 22 | 2119531 | 1980922 | 6179 740 | 10 | 24 721.96/722.38 c 720s | 22 | 2125320 | 1986122 | 6179 742 | 10 | 24 724.05/724.43 c 722s | 22 | 2131098 | 1991322 | 6179 744 | 10 | 24 726.05/726.44 c 724s | 22 | 2136417 | 1995822 | 6179 745 | 10 | 24 728.06/728.44 c 726s | 22 | 2141219 | 2000322 | 6179 746 | 10 | 24 730.05/730.45 c 728s | 22 | 2146776 | 2005522 | 6179 748 | 10 | 24 732.05/732.48 c 730s | 22 | 2152867 | 2011322 | 6179 749 | 10 | 24 734.15/734.52 c 732s | 22 | 2158318 | 2016522 | 6179 751 | 10 | 24 736.15/736.60 c 734s | 22 | 2163493 | 2021122 | 6179 752 | 10 | 24 738.25/738.61 c 736s | 22 | 2168453 | 2025722 | 6179 754 | 10 | 24 740.25/740.62 c 738s | 22 | 2173563 | 2030522 | 6179 755 | 10 | 24 742.26/742.62 c 740s | 22 | 2179172 | 2035822 | 6179 757 | 10 | 24 744.25/744.66 c 742s | 22 | 2184728 | 2041022 | 6179 758 | 10 | 24 746.25/746.66 c 744s | 22 | 2189790 | 2045722 | 6179 760 | 10 | 24 748.25/748.69 c 746s | 22 | 2194919 | 2050422 | 6179 761 | 10 | 24 750.35/750.73 c 748s | 22 | 2200620 | 2055722 | 6179 763 | 10 | 24 752.35/752.74 c 750s | 22 | 2206069 | 2060822 | 6179 764 | 10 | 24 754.36/754.79 c 752s | 22 | 2211975 | 2066522 | 6179 766 | 10 | 24 756.35/756.79 c 754s | 22 | 2218100 | 2072322 | 6179 768 | 10 | 24 758.35/758.79 c 756s | 22 | 2223361 | 2077122 | 6179 769 | 10 | 24 760.45/760.82 c 759s | 22 | 2228738 | 2082222 | 6179 771 | 10 | 24 762.45/762.83 c 761s | 22 | 2234056 | 2087222 | 6179 772 | 10 | 24 764.45/764.86 c 763s | 22 | 2238466 | 2091522 | 6179 773 | 10 | 24 766.45/766.86 c 765s | 22 | 2243664 | 2096122 | 6179 775 | 10 | 24 768.45/768.88 c 767s | 22 | 2248962 | 2100922 | 6179 776 | 10 | 24 770.45/770.88 c 769s | 22 | 2253958 | 2105322 | 6179 777 | 10 | 24 772.55/772.91 c 771s | 22 | 2259257 | 2110122 | 6179 779 | 10 | 24 774.55/774.93 c 773s | 22 | 2264139 | 2114522 | 6179 780 | 10 | 24 776.55/776.93 c 775s | 22 | 2268679 | 2118522 | 6179 781 | 10 | 24 778.55/778.96 c 777s | 22 | 2273543 | 2122622 | 6179 783 | 10 | 24 780.65/781.00 c 779s | 22 | 2278843 | 2127522 | 6179 784 | 10 | 24 782.65/783.07 c 781s | 22 | 2283959 | 2132322 | 6179 786 | 10 | 24 784.75/785.10 c 783s | 22 | 2288897 | 2136722 | 6179 787 | 10 | 24 786.75/787.14 c 785s | 22 | 2294188 | 2141222 | 6179 788 | 10 | 24 788.75/789.19 c 787s | 22 | 2298947 | 2145522 | 6179 789 | 10 | 24 790.84/791.20 c 789s | 22 | 2303720 | 2149922 | 6179 791 | 10 | 24 792.85/793.22 c 791s | 22 | 2308649 | 2154522 | 6179 792 | 10 | 24 794.84/795.24 c 793s | 22 | 2314658 | 2160322 | 6179 794 | 10 | 24 796.84/797.27 c 795s | 22 | 2319593 | 2165222 | 6179 795 | 10 | 24 798.84/799.28 c 797s | 22 | 2325160 | 2170722 | 6179 797 | 10 | 24 800.94/801.30 c 799s | 22 | 2331350 | 2176622 | 6179 799 | 10 | 24 802.94/803.35 c 801s | 22 | 2336749 | 2181822 | 6179 800 | 10 | 24 804.95/805.36 c 803s | 22 | 2341626 | 2186522 | 6179 802 | 10 | 24 807.04/807.46 c 805s | 22 | 2347543 | 2192022 | 6179 803 | 10 | 24 809.04/809.48 c 807s | 22 | 2352406 | 2196622 | 6179 805 | 10 | 24 811.14/811.52 c 809s | 22 | 2357700 | 2201722 | 6179 806 | 10 | 24 813.14/813.55 c 811s | 22 | 2362613 | 2206422 | 6179 807 | 10 | 24 815.14/815.59 c 813s | 22 | 2367700 | 2211322 | 6179 809 | 10 | 24 817.24/817.64 c 815s | 22 | 2373088 | 2216422 | 6179 810 | 10 | 24 819.24/819.64 c 817s | 22 | 2378124 | 2221222 | 6179 812 | 10 | 24 821.24/821.66 c 819s | 22 | 2383325 | 2226322 | 6179 813 | 10 | 24 823.24/823.66 c 821s | 22 | 2388367 | 2231222 | 6797 815 | 10 | 24 825.25/825.68 c 823s | 22 | 2393175 | 2235922 | 6797 816 | 10 | 24 827.35/827.71 c 825s | 22 | 2398849 | 2241422 | 6797 817 | 10 | 24 829.34/829.73 c 827s | 22 | 2404360 | 2246722 | 6797 819 | 10 | 24 830.94/831.36 c 829s | 23 | 2408842 | 2251038 | 6797 820 | 10 | 24 832.94/833.36 c 831s | 23 | 2414409 | 2256338 | 6797 821 | 10 | 24 834.94/835.38 c 833s | 23 | 2419679 | 2261238 | 6797 823 | 10 | 24 837.04/837.41 c 835s | 23 | 2424023 | 2265438 | 6797 824 | 10 | 24 839.05/839.43 c 837s | 23 | 2428651 | 2269938 | 6797 825 | 10 | 24 841.04/841.45 c 839s | 23 | 2433240 | 2274338 | 6797 826 | 10 | 24 843.04/843.46 c 841s | 23 | 2438170 | 2279138 | 6797 828 | 10 | 24 845.04/845.47 c 843s | 23 | 2442571 | 2283338 | 6797 829 | 10 | 24 847.14/847.51 c 845s | 23 | 2447134 | 2287538 | 6797 830 | 10 | 24 849.14/849.56 c 847s | 23 | 2451640 | 2291838 | 6797 831 | 10 | 24 851.14/851.56 c 849s | 23 | 2455749 | 2295838 | 6797 832 | 10 | 24 853.14/853.58 c 851s | 23 | 2459963 | 2299938 | 6797 833 | 10 | 24 855.24/855.61 c 853s | 23 | 2464653 | 2304438 | 6797 835 | 10 | 24 857.24/857.65 c 855s | 23 | 2469057 | 2308638 | 6797 836 | 10 | 24 859.24/859.68 c 857s | 23 | 2473445 | 2312738 | 6797 837 | 10 | 24 861.34/861.70 c 859s | 23 | 2477440 | 2316638 | 6797 838 | 10 | 24 863.34/863.72 c 861s | 23 | 2481733 | 2320838 | 6797 839 | 10 | 24 865.34/865.76 c 863s | 23 | 2485988 | 2324938 | 6797 840 | 10 | 24 867.34/867.77 c 865s | 23 | 2490248 | 2329038 | 6797 842 | 10 | 24 869.33/869.79 c 867s | 23 | 2494688 | 2333338 | 6797 843 | 10 | 24 871.33/871.79 c 869s | 23 | 2499310 | 2337438 | 6797 844 | 10 | 24 873.43/873.80 c 871s | 23 | 2503500 | 2341138 | 6797 845 | 10 | 24 875.44/875.82 c 874s | 23 | 2508009 | 2345238 | 6797 846 | 10 | 24 877.43/877.82 c 876s | 23 | 2511684 | 2348538 | 6797 847 | 10 | 24 879.43/879.85 c 878s | 23 | 2515518 | 2352038 | 6797 848 | 10 | 24 881.53/881.90 c 880s | 23 | 2519325 | 2355638 | 6797 849 | 10 | 24 883.53/883.93 c 882s | 23 | 2523174 | 2359238 | 6797 850 | 10 | 24 885.53/885.93 c 884s | 23 | 2527100 | 2363038 | 6797 851 | 10 | 24 887.54/887.93 c 886s | 23 | 2530664 | 2366338 | 6797 852 | 10 | 24 889.53/889.96 c 888s | 23 | 2535281 | 2370738 | 6797 853 | 10 | 24 891.63/892.01 c 890s | 23 | 2539923 | 2375138 | 6797 854 | 10 | 24 893.63/894.01 c 892s | 23 | 2543733 | 2378638 | 6797 855 | 10 | 24 895.63/896.05 c 894s | 23 | 2548400 | 2382738 | 6797 856 | 10 | 24 897.63/898.07 c 896s | 23 | 2552577 | 2386738 | 6797 857 | 10 | 24 899.73/900.11 c 898s | 23 | 2556423 | 2390538 | 6797 859 | 10 | 24 901.73/902.14 c 900s | 23 | 2560395 | 2394238 | 6797 860 | 10 | 24 903.73/904.15 c 902s | 23 | 2564845 | 2398638 | 6797 861 | 10 | 24 905.73/906.19 c 904s | 23 | 2569938 | 2403638 | 6797 862 | 10 | 24 907.73/908.19 c 906s | 23 | 2574765 | 2408338 | 6797 863 | 10 | 24 909.82/910.22 c 908s | 23 | 2578433 | 2411738 | 6797 864 | 10 | 24 911.82/912.23 c 910s | 23 | 2582201 | 2415338 | 6797 865 | 10 | 24 913.83/914.24 c 912s | 23 | 2586689 | 2419638 | 6797 867 | 10 | 24 915.82/916.29 c 914s | 23 | 2590727 | 2423338 | 6797 868 | 10 | 24 917.92/918.33 c 916s | 23 | 2594523 | 2427038 | 6797 869 | 10 | 24 919.92/920.34 c 918s | 23 | 2599002 | 2431338 | 6797 870 | 10 | 24 921.92/922.36 c 920s | 23 | 2603230 | 2435338 | 6797 871 | 10 | 24 923.92/924.38 c 922s | 23 | 2607015 | 2438838 | 6797 872 | 10 | 24 926.03/926.43 c 924s | 23 | 2611955 | 2443538 | 6797 873 | 10 | 24 928.02/928.44 c 926s | 23 | 2616221 | 2447538 | 6797 874 | 10 | 24 930.02/930.45 c 928s | 23 | 2621041 | 2452138 | 6797 876 | 10 | 24 932.02/932.48 c 930s | 23 | 2625405 | 2456438 | 6797 877 | 10 | 24 934.12/934.51 c 932s | 23 | 2629478 | 2460438 | 6797 878 | 10 | 24 936.12/936.55 c 934s | 23 | 2633666 | 2464338 | 6797 879 | 10 | 24 938.13/938.57 c 936s | 23 | 2637929 | 2468438 | 6797 880 | 10 | 24 940.23/940.63 c 938s | 23 | 2642662 | 2472938 | 6797 881 | 10 | 24 942.23/942.69 c 940s | 23 | 2647116 | 2476938 | 6797 882 | 10 | 24 944.33/944.72 c 942s | 23 | 2651186 | 2480738 | 6797 883 | 10 | 24 946.33/946.73 c 944s | 23 | 2654929 | 2484238 | 6797 884 | 10 | 24 948.33/948.77 c 946s | 23 | 2658955 | 2488038 | 6797 885 | 10 | 24 950.33/950.79 c 948s | 23 | 2662919 | 2491938 | 6797 887 | 10 | 24 952.43/952.86 c 951s | 23 | 2666922 | 2495738 | 6797 888 | 10 | 24 954.53/954.92 c 953s | 23 | 2670528 | 2499138 | 6797 889 | 10 | 24 956.52/956.94 c 955s | 23 | 2674898 | 2503238 | 6797 890 | 10 | 24 958.52/958.99 c 957s | 23 | 2679394 | 2507638 | 6797 891 | 10 | 24 960.62/961.02 c 959s | 23 | 2683213 | 2511338 | 6797 892 | 10 | 24 962.62/963.03 c 961s | 23 | 2688189 | 2516138 | 6797 893 | 10 | 24 964.62/965.06 c 963s | 23 | 2691503 | 2519338 | 6797 894 | 10 | 24 966.63/967.08 c 965s | 23 | 2695167 | 2522938 | 6797 895 | 10 | 24 968.72/969.13 c 967s | 23 | 2699681 | 2527338 | 6797 896 | 10 | 24 970.72/971.16 c 969s | 23 | 2703210 | 2530738 | 6797 897 | 10 | 24 972.72/973.19 c 971s | 23 | 2707615 | 2535038 | 6797 899 | 10 | 24 974.82/975.21 c 973s | 23 | 2711631 | 2538838 | 6797 900 | 10 | 24 976.82/977.25 c 975s | 23 | 2715484 | 2542438 | 6797 901 | 10 | 24 978.83/979.28 c 977s | 23 | 2719867 | 2546638 | 6797 902 | 10 | 24 980.93/981.31 c 979s | 23 | 2723842 | 2550538 | 6797 903 | 10 | 24 982.92/983.37 c 981s | 23 | 2727843 | 2554338 | 6797 904 | 10 | 24 984.92/985.38 c 983s | 23 | 2731145 | 2557538 | 6797 905 | 10 | 24 986.92/987.40 c 985s | 23 | 2734789 | 2560838 | 6797 906 | 10 | 24 989.02/989.43 c 987s | 23 | 2738977 | 2564838 | 6797 907 | 10 | 24 991.02/991.49 c 989s | 23 | 2743465 | 2569138 | 6797 908 | 10 | 24 993.13/993.51 c 991s | 23 | 2747945 | 2573438 | 6797 909 | 10 | 24 995.12/995.54 c 993s | 23 | 2751770 | 2577138 | 6797 910 | 10 | 24 997.12/997.58 c 995s | 23 | 2754886 | 2579938 | 6797 911 | 10 | 24 999.22/999.62 c 997s | 23 | 2758833 | 2583638 | 6797 912 | 10 | 24 1001.22/1001.63 c 999s | 23 | 2762119 | 2586738 | 6797 913 | 10 | 24 1003.22/1003.63 c 1001s | 23 | 2765792 | 2590138 | 6797 914 | 10 | 24 1005.22/1005.68 c 1003s | 23 | 2769278 | 2593438 | 6797 915 | 10 | 24 1007.22/1007.69 c 1005s | 23 | 2773899 | 2597838 | 6797 916 | 10 | 24 1009.31/1009.71 c 1007s | 23 | 2777711 | 2601538 | 6797 917 | 10 | 24 1011.31/1011.73 c 1009s | 23 | 2781566 | 2605238 | 6797 918 | 10 | 24 1013.31/1013.78 c 1011s | 23 | 2785848 | 2609338 | 6797 919 | 10 | 24 1015.41/1015.82 c 1014s | 23 | 2789772 | 2613138 | 6797 920 | 10 | 24 1017.41/1017.84 c 1016s | 23 | 2794020 | 2617238 | 6797 921 | 10 | 24 1019.42/1019.88 c 1018s | 23 | 2797669 | 2620738 | 6797 922 | 10 | 24 1021.51/1021.94 c 1020s | 23 | 2801227 | 2624038 | 6797 923 | 10 | 24 1023.51/1023.95 c 1022s | 23 | 2805076 | 2627638 | 6797 924 | 10 | 24 1025.61/1026.00 c 1024s | 23 | 2809908 | 2632238 | 6797 925 | 10 | 24 1027.61/1028.03 c 1026s | 23 | 2812769 | 2635038 | 6797 926 | 10 | 24 1029.61/1030.06 c 1028s | 23 | 2816389 | 2638238 | 6797 927 | 10 | 24 1031.71/1032.11 c 1030s | 23 | 2820384 | 2641738 | 6797 928 | 10 | 24 1033.72/1034.14 c 1032s | 23 | 2825144 | 2646038 | 6797 929 | 10 | 24 1035.71/1036.15 c 1034s | 23 | 2829689 | 2650138 | 6797 930 | 10 | 24 1037.71/1038.16 c 1036s | 23 | 2834310 | 2654538 | 6797 932 | 10 | 24 1039.81/1040.21 c 1038s | 23 | 2839021 | 2659038 | 6797 933 | 10 | 24 1041.81/1042.23 c 1040s | 23 | 2843216 | 2662838 | 6797 934 | 10 | 24 1043.81/1044.28 c 1042s | 23 | 2847045 | 2666338 | 6797 935 | 10 | 24 1045.81/1046.29 c 1044s | 23 | 2851243 | 2670338 | 6797 936 | 10 | 24 1047.91/1048.30 c 1046s | 23 | 2855133 | 2673938 | 6797 937 | 10 | 24 1049.91/1050.33 c 1048s | 23 | 2858889 | 2677238 | 6797 938 | 10 | 24 1051.91/1052.34 c 1050s | 23 | 2862884 | 2681038 | 6797 939 | 10 | 24 1053.90/1054.35 c 1052s | 23 | 2867031 | 2684938 | 6797 940 | 10 | 24 1055.90/1056.37 c 1054s | 23 | 2871581 | 2688938 | 6797 941 | 10 | 24 1057.91/1058.39 c 1056s | 23 | 2875354 | 2692438 | 6797 942 | 10 | 24 1060.00/1060.43 c 1058s | 23 | 2879466 | 2696138 | 6797 943 | 10 | 24 1062.00/1062.47 c 1060s | 23 | 2883393 | 2699738 | 6797 944 | 10 | 24 1064.10/1064.50 c 1062s | 23 | 2887366 | 2703538 | 6797 945 | 10 | 24 1066.10/1066.53 c 1064s | 23 | 2891591 | 2707538 | 6797 946 | 10 | 24 1068.10/1068.59 c 1066s | 23 | 2895772 | 2711138 | 6797 947 | 10 | 24 1070.20/1070.62 c 1068s | 23 | 2899994 | 2714938 | 6797 948 | 10 | 24 1072.21/1072.68 c 1070s | 23 | 2904301 | 2718738 | 6797 949 | 10 | 24 1074.20/1074.69 c 1072s | 23 | 2908577 | 2722638 | 6797 950 | 10 | 24 1076.30/1076.75 c 1074s | 23 | 2912198 | 2725938 | 6797 951 | 10 | 24 1078.30/1078.76 c 1076s | 23 | 2915393 | 2728938 | 6797 952 | 10 | 24 1080.30/1080.76 c 1078s | 23 | 2919631 | 2732938 | 6797 953 | 10 | 24 1082.30/1082.77 c 1080s | 23 | 2924198 | 2737138 | 6797 954 | 10 | 24 1084.30/1084.78 c 1082s | 23 | 2928198 | 2740938 | 6797 955 | 10 | 24 1086.40/1086.80 c 1084s | 23 | 2932664 | 2745138 | 6797 957 | 10 | 24 1088.40/1088.84 c 1087s | 23 | 2936890 | 2749138 | 6797 958 | 10 | 24 1090.40/1090.87 c 1089s | 23 | 2940225 | 2752238 | 6797 959 | 10 | 24 1092.40/1092.88 c 1091s | 23 | 2944427 | 2756238 | 6797 960 | 10 | 24 1094.50/1094.90 c 1093s | 23 | 2948567 | 2759938 | 6797 961 | 10 | 24 1096.50/1096.97 c 1095s | 23 | 2951950 | 2763038 | 6797 962 | 10 | 24 1098.60/1099.03 c 1097s | 23 | 2955933 | 2766538 | 6797 962 | 10 | 24 1100.60/1101.06 c 1099s | 23 | 2960180 | 2770638 | 6797 964 | 10 | 24 1102.70/1103.10 c 1101s | 23 | 2964572 | 2774938 | 6797 965 | 10 | 24 1104.70/1105.14 c 1103s | 23 | 2968817 | 2779038 | 6797 966 | 10 | 24 1106.69/1107.14 c 1105s | 23 | 2973187 | 2783138 | 6797 967 | 10 | 24 1108.89/1109.30 c 1107s | 23 | 2977327 | 2786838 | 6797 968 | 10 | 24 1110.89/1111.34 c 1109s | 23 | 2982090 | 2791538 | 6797 969 | 10 | 24 1112.90/1113.36 c 1111s | 23 | 2986020 | 2795138 | 6797 970 | 10 | 24 1114.89/1115.37 c 1113s | 23 | 2989958 | 2798738 | 6797 971 | 10 | 24 1116.99/1117.40 c 1115s | 23 | 2994529 | 2803138 | 6797 973 | 10 | 24 1118.99/1119.42 c 1117s | 23 | 2998316 | 2806538 | 6797 974 | 10 | 24 1120.99/1121.48 c 1119s | 23 | 3002224 | 2810238 | 6797 975 | 10 | 24 1123.10/1123.51 c 1121s | 23 | 3006129 | 2813938 | 6797 976 | 10 | 24 1125.11/1125.53 c 1123s | 23 | 3010596 | 2818238 | 6797 977 | 10 | 24 1127.10/1127.55 c 1125s | 23 | 3015239 | 2822738 | 6797 978 | 10 | 24 1129.20/1129.60 c 1127s | 23 | 3019202 | 2826538 | 6797 979 | 10 | 24 1131.20/1131.61 c 1129s | 23 | 3023542 | 2830738 | 6797 980 | 10 | 24 1133.20/1133.63 c 1131s | 23 | 3027223 | 2834338 | 6797 981 | 10 | 24 1135.20/1135.65 c 1133s | 23 | 3031867 | 2838838 | 6797 982 | 10 | 24 1137.20/1137.66 c 1135s | 23 | 3036541 | 2843438 | 6797 984 | 10 | 24 1139.20/1139.68 c 1137s | 23 | 3041315 | 2848138 | 6797 985 | 10 | 24 1141.30/1141.73 c 1139s | 23 | 3046316 | 2852938 | 6797 986 | 10 | 24 1143.30/1143.76 c 1141s | 23 | 3050456 | 2856638 | 6797 987 | 10 | 24 1145.30/1145.77 c 1143s | 23 | 3054612 | 2860438 | 6797 988 | 10 | 24 1147.40/1147.80 c 1145s | 23 | 3057452 | 2863038 | 6797 989 | 10 | 24 1149.40/1149.81 c 1148s | 23 | 3061271 | 2866238 | 6797 990 | 10 | 24 1151.40/1151.83 c 1150s | 23 | 3065262 | 2869838 | 6797 991 | 10 | 24 1153.39/1153.86 c 1152s | 23 | 3068512 | 2872838 | 6797 992 | 10 | 24 1155.39/1155.86 c 1154s | 23 | 3073821 | 2878038 | 6797 993 | 10 | 24 1157.39/1157.87 c 1156s | 23 | 3079111 | 2883238 | 6797 995 | 10 | 24 1159.39/1159.89 c 1158s | 23 | 3082364 | 2886138 | 6797 995 | 10 | 24 1161.40/1161.89 c 1160s | 23 | 3085344 | 2888838 | 6797 996 | 10 | 24 1163.50/1163.95 c 1162s | 23 | 3087803 | 2891138 | 6797 997 | 10 | 24 1165.59/1166.03 c 1164s | 23 | 3090955 | 2893938 | 6797 998 | 10 | 24 1167.59/1168.05 c 1166s | 23 | 3094936 | 2897638 | 6797 999 | 10 | 24 1169.59/1170.06 c 1168s | 23 | 3098953 | 2901238 | 6797 1000 | 10 | 24 1171.69/1172.13 c 1170s | 23 | 3103063 | 2905038 | 6797 1001 | 10 | 24 1173.79/1174.21 c 1172s | 23 | 3106509 | 2907838 | 6797 1001 | 10 | 24 1175.79/1176.23 c 1174s | 23 | 3110836 | 2911838 | 6797 1003 | 10 | 24 1177.80/1178.27 c 1176s | 23 | 3114180 | 2914838 | 6797 1003 | 10 | 24 1179.89/1180.32 c 1178s | 23 | 3118095 | 2918438 | 6797 1004 | 10 | 24 1181.89/1182.32 c 1180s | 23 | 3121778 | 2922038 | 6797 1005 | 10 | 24 1183.89/1184.33 c 1182s | 23 | 3126575 | 2926638 | 6797 1007 | 10 | 24 1185.89/1186.35 c 1184s | 23 | 3130870 | 2930838 | 6797 1008 | 10 | 24 1187.99/1188.42 c 1186s | 23 | 3134902 | 2934838 | 6797 1009 | 10 | 24 1189.99/1190.48 c 1188s | 23 | 3139382 | 2939238 | 6797 1010 | 10 | 24 1192.09/1192.51 c 1190s | 23 | 3144148 | 2943738 | 6797 1011 | 10 | 24 1194.09/1194.51 c 1192s | 23 | 3148365 | 2947638 | 6797 1012 | 10 | 24 1196.09/1196.53 c 1194s | 23 | 3152456 | 2951538 | 6797 1014 | 10 | 24 1198.09/1198.54 c 1196s | 23 | 3157229 | 2955838 | 6797 1015 | 10 | 24 1200.09/1200.57 c 1198s | 23 | 3161166 | 2959538 | 6797 1016 | 10 | 24 1202.19/1202.63 c 1200s | 23 | 3165924 | 2963938 | 6797 1017 | 10 | 24 1204.19/1204.68 c 1202s | 23 | 3170167 | 2967738 | 6797 1018 | 10 | 24 1206.28/1206.76 c 1204s | 23 | 3174880 | 2971938 | 6797 1019 | 10 | 24 1208.28/1208.78 c 1206s | 23 | 3178350 | 2974938 | 6797 1020 | 10 | 24 1210.38/1210.80 c 1209s | 23 | 3182510 | 2978838 | 6797 1021 | 10 | 24 1212.38/1212.81 c 1211s | 23 | 3186847 | 2982838 | 6797 1022 | 10 | 24 1214.38/1214.84 c 1213s | 23 | 3191244 | 2987038 | 6797 1023 | 10 | 24 1216.39/1216.85 c 1215s | 23 | 3196620 | 2992138 | 6797 1025 | 10 | 24 1218.38/1218.86 c 1217s | 23 | 3201406 | 2996838 | 6797 1026 | 10 | 24 1220.38/1220.87 c 1219s | 23 | 3206180 | 3001338 | 6797 1027 | 10 | 24 1222.38/1222.89 c 1221s | 23 | 3211020 | 3005938 | 6797 1029 | 10 | 24 1224.48/1224.93 c 1223s | 23 | 3216018 | 3010338 | 6797 1030 | 10 | 24 1226.48/1226.96 c 1225s | 23 | 3219447 | 3013438 | 6797 1031 | 10 | 24 1228.58/1229.01 c 1227s | 23 | 3222642 | 3016438 | 6797 1031 | 10 | 24 1230.59/1231.08 c 1229s | 23 | 3226346 | 3019938 | 6797 1032 | 10 | 24 1232.68/1233.13 c 1231s | 23 | 3229810 | 3023138 | 6797 1033 | 10 | 24 1234.68/1235.13 c 1233s | 23 | 3234524 | 3027538 | 6797 1035 | 10 | 24 1236.68/1237.16 c 1235s | 23 | 3239175 | 3032038 | 6797 1036 | 10 | 24 1238.68/1239.16 c 1237s | 23 | 3244313 | 3037038 | 6797 1037 | 10 | 24 1240.68/1241.19 c 1239s | 23 | 3249197 | 3041638 | 6797 1038 | 10 | 24 1242.78/1243.23 c 1241s | 23 | 3253797 | 3045938 | 6797 1040 | 10 | 24 1244.78/1245.26 c 1243s | 23 | 3257566 | 3049538 | 6797 1041 | 10 | 24 1246.88/1247.30 c 1245s | 23 | 3262250 | 3053938 | 6797 1042 | 10 | 24 1248.88/1249.31 c 1247s | 23 | 3266672 | 3058238 | 6797 1043 | 10 | 24 1250.87/1251.39 c 1249s | 23 | 3271159 | 3062538 | 6797 1044 | 10 | 24 1252.87/1253.39 c 1251s | 23 | 3275236 | 3066538 | 6797 1045 | 10 | 24 1254.88/1255.39 c 1253s | 23 | 3278804 | 3069938 | 6797 1046 | 10 | 24 1256.98/1257.44 c 1255s | 23 | 3282073 | 3073038 | 6797 1047 | 10 | 24 1258.97/1259.46 c 1257s | 23 | 3286323 | 3076938 | 6797 1048 | 10 | 24 1260.97/1261.47 c 1259s | 23 | 3290433 | 3080638 | 6797 1049 | 10 | 24 1262.97/1263.47 c 1261s | 23 | 3294954 | 3085038 | 6797 1050 | 10 | 24 1265.07/1265.53 c 1263s | 23 | 3298139 | 3088038 | 6797 1051 | 10 | 24 1267.07/1267.57 c 1265s | 23 | 3301255 | 3091038 | 6797 1052 | 10 | 24 1269.08/1269.58 c 1267s | 23 | 3305882 | 3095438 | 6797 1053 | 10 | 24 1271.17/1271.65 c 1269s | 23 | 3309454 | 3098738 | 6797 1054 | 10 | 24 1273.27/1273.70 c 1271s | 23 | 3312910 | 3102038 | 6797 1055 | 10 | 24 1275.27/1275.71 c 1273s | 23 | 3316788 | 3105638 | 6797 1056 | 10 | 24 1277.27/1277.75 c 1275s | 23 | 3321123 | 3109638 | 6797 1057 | 10 | 24 1279.27/1279.76 c 1277s | 23 | 3325258 | 3113638 | 6797 1058 | 10 | 24 1281.27/1281.79 c 1279s | 23 | 3329796 | 3118038 | 6797 1060 | 10 | 24 1283.38/1283.81 c 1282s | 23 | 3334858 | 3122838 | 6797 1061 | 10 | 24 1285.38/1285.84 c 1284s | 23 | 3339392 | 3127238 | 6797 1062 | 10 | 24 1287.38/1287.86 c 1286s | 23 | 3343735 | 3131438 | 6797 1063 | 10 | 24 1289.38/1289.89 c 1288s | 23 | 3348641 | 3136038 | 6797 1065 | 10 | 24 1291.47/1291.92 c 1290s | 23 | 3353655 | 3140838 | 6797 1066 | 10 | 24 1293.47/1293.92 c 1292s | 23 | 3358385 | 3145438 | 6797 1067 | 10 | 24 1295.48/1295.95 c 1294s | 23 | 3363575 | 3150238 | 6797 1068 | 10 | 24 1297.47/1297.97 c 1296s | 23 | 3368820 | 3155238 | 6797 1070 | 10 | 24 1299.47/1299.98 c 1298s | 23 | 3373113 | 3159238 | 6797 1071 | 10 | 24 1301.57/1302.01 c 1300s | 23 | 3375866 | 3161938 | 6797 1072 | 10 | 24 1303.57/1304.02 c 1302s | 23 | 3379921 | 3165838 | 6797 1073 | 10 | 24 1305.57/1306.06 c 1304s | 23 | 3383523 | 3169038 | 6797 1074 | 10 | 24 1307.58/1308.09 c 1306s | 23 | 3388529 | 3173438 | 6797 1075 | 10 | 24 1309.57/1310.09 c 1308s | 23 | 3392893 | 3177338 | 6797 1076 | 10 | 24 1311.67/1312.14 c 1310s | 23 | 3396027 | 3180338 | 6797 1077 | 10 | 24 1313.67/1314.19 c 1312s | 23 | 3400337 | 3184438 | 6797 1078 | 10 | 24 1315.77/1316.22 c 1314s | 23 | 3404699 | 3188738 | 6797 1079 | 10 | 24 1317.77/1318.24 c 1316s | 23 | 3409206 | 3192938 | 6797 1080 | 10 | 24 1319.78/1320.26 c 1318s | 23 | 3413150 | 3196438 | 6797 1081 | 10 | 24 1321.77/1322.27 c 1320s | 23 | 3417439 | 3200138 | 6797 1082 | 10 | 24 1323.77/1324.27 c 1322s | 23 | 3421657 | 3203838 | 6797 1083 | 10 | 24 1325.87/1326.31 c 1324s | 23 | 3425746 | 3207738 | 6797 1084 | 10 | 24 1327.87/1328.31 c 1326s | 23 | 3429997 | 3211838 | 6797 1086 | 10 | 24 1329.87/1330.35 c 1328s | 23 | 3435125 | 3216338 | 6797 1087 | 10 | 24 1331.87/1332.38 c 1330s | 23 | 3439548 | 3220638 | 6797 1088 | 10 | 24 1333.97/1334.41 c 1332s | 23 | 3444059 | 3224938 | 6797 1089 | 10 | 24 1335.96/1336.49 c 1334s | 23 | 3448842 | 3229438 | 6797 1090 | 10 | 24 1337.96/1338.49 c 1336s | 23 | 3452718 | 3233138 | 6797 1091 | 10 | 24 1340.06/1340.50 c 1338s | 23 | 3457483 | 3237538 | 6797 1093 | 10 | 24 1342.06/1342.51 c 1340s | 23 | 3462170 | 3241938 | 6797 1094 | 10 | 24 1344.06/1344.52 c 1342s | 23 | 3466896 | 3246338 | 6797 1095 | 10 | 24 1346.07/1346.55 c 1344s | 23 | 3471334 | 3250638 | 6797 1096 | 10 | 24 1348.16/1348.60 c 1346s | 23 | 3476171 | 3254938 | 6797 1098 | 10 | 24 1350.16/1350.61 c 1348s | 23 | 3480886 | 3259338 | 6797 1099 | 10 | 24 1352.16/1352.63 c 1350s | 23 | 3485218 | 3263438 | 6797 1100 | 10 | 24 1354.16/1354.67 c 1352s | 23 | 3490130 | 3267838 | 6797 1101 | 10 | 24 1356.26/1356.73 c 1354s | 23 | 3494105 | 3271538 | 6797 1102 | 10 | 24 1358.27/1358.77 c 1356s | 23 | 3498034 | 3275238 | 6797 1103 | 10 | 24 1360.26/1360.80 c 1358s | 23 | 3501933 | 3278738 | 6797 1104 | 10 | 24 1362.36/1362.80 c 1360s | 23 | 3505392 | 3281838 | 6797 1105 | 10 | 24 1364.36/1364.84 c 1363s | 23 | 3509056 | 3285238 | 6797 1106 | 10 | 24 1366.36/1366.88 c 1365s | 23 | 3512983 | 3288838 | 6797 1107 | 10 | 24 1368.46/1368.92 c 1367s | 23 | 3517016 | 3292638 | 6797 1108 | 10 | 24 1370.56/1371.01 c 1369s | 23 | 3520375 | 3295938 | 6797 1109 | 10 | 24 1372.56/1373.04 c 1371s | 23 | 3524484 | 3299938 | 6797 1110 | 10 | 24 1374.66/1375.10 c 1373s | 23 | 3527724 | 3302938 | 6797 1111 | 10 | 24 1376.66/1377.15 c 1375s | 23 | 3531367 | 3306238 | 6797 1112 | 10 | 24 1378.66/1379.19 c 1377s | 23 | 3535380 | 3309938 | 6797 1113 | 10 | 24 1380.66/1381.19 c 1379s | 23 | 3539213 | 3313338 | 6797 1114 | 10 | 24 1382.75/1383.23 c 1381s | 23 | 3543994 | 3317738 | 6797 1115 | 10 | 24 1384.75/1385.25 c 1383s | 23 | 3549381 | 3323038 | 6797 1116 | 10 | 24 1386.86/1387.32 c 1385s | 23 | 3553368 | 3326838 | 6797 1117 | 10 | 24 1388.85/1389.33 c 1387s | 23 | 3557044 | 3330238 | 6797 1118 | 10 | 24 1390.85/1391.39 c 1389s | 23 | 3560992 | 3333738 | 6797 1119 | 10 | 24 1392.95/1393.44 c 1391s | 23 | 3564747 | 3337238 | 6797 1120 | 10 | 24 1394.95/1395.49 c 1393s | 23 | 3568905 | 3341038 | 6797 1121 | 10 | 24 1397.05/1397.51 c 1395s | 23 | 3572718 | 3344638 | 6797 1122 | 10 | 24 1399.05/1399.57 c 1397s | 23 | 3577382 | 3349138 | 7477 1123 | 10 | 24 1401.06/1401.58 c 1399s | 23 | 3581446 | 3352938 | 7477 1124 | 10 | 24 1403.15/1403.62 c 1401s | 23 | 3585441 | 3356638 | 7477 1125 | 10 | 24 1405.15/1405.63 c 1403s | 23 | 3589630 | 3360638 | 7477 1126 | 10 | 24 1407.25/1407.70 c 1405s | 23 | 3594468 | 3365238 | 7477 1128 | 10 | 24 1409.25/1409.73 c 1407s | 23 | 3598496 | 3368738 | 7477 1128 | 10 | 24 1411.25/1411.75 c 1409s | 23 | 3602693 | 3372538 | 7477 1129 | 10 | 24 1413.26/1413.77 c 1411s | 23 | 3607019 | 3376538 | 7477 1130 | 10 | 24 1413.35/1413.85 c 1412s | 24 | 3607152 | 3376662 | 7477 1130 | 10 | 24 1415.35/1415.88 c 1414s | 24 | 3614060 | 3383362 | 7477 1132 | 10 | 24 1417.45/1417.92 c 1416s | 24 | 3619343 | 3388562 | 7477 1133 | 10 | 24 1419.45/1419.92 c 1418s | 24 | 3624475 | 3393562 | 7477 1135 | 10 | 24 1421.45/1421.94 c 1420s | 24 | 3630439 | 3399362 | 7477 1136 | 10 | 24 1423.45/1423.96 c 1422s | 24 | 3637095 | 3405862 | 7477 1138 | 10 | 24 1425.45/1425.98 c 1424s | 24 | 3643129 | 3411762 | 7477 1139 | 10 | 24 1427.55/1428.01 c 1426s | 24 | 3648024 | 3416562 | 7477 1140 | 10 | 24 1429.54/1430.07 c 1428s | 24 | 3652757 | 3421062 | 7477 1142 | 10 | 24 1431.64/1432.12 c 1430s | 24 | 3658044 | 3426162 | 7477 1143 | 10 | 24 1433.64/1434.14 c 1432s | 24 | 3662960 | 3430962 | 7477 1144 | 10 | 24 1435.64/1436.14 c 1434s | 24 | 3668305 | 3436162 | 7477 1145 | 10 | 24 1437.75/1438.21 c 1436s | 24 | 3673002 | 3440762 | 7477 1146 | 10 | 24 1439.75/1440.21 c 1438s | 24 | 3677703 | 3445362 | 7477 1148 | 10 | 24 1441.76/1442.23 c 1440s | 24 | 3683008 | 3450562 | 7477 1149 | 10 | 24 1443.75/1444.24 c 1442s | 24 | 3687951 | 3455362 | 7477 1150 | 10 | 24 1445.75/1446.25 c 1444s | 24 | 3693637 | 3460862 | 7477 1151 | 10 | 24 1447.75/1448.28 c 1446s | 24 | 3698355 | 3465462 | 7477 1153 | 10 | 24 1449.85/1450.31 c 1448s | 24 | 3703065 | 3469962 | 7477 1154 | 10 | 24 1451.85/1452.35 c 1450s | 24 | 3708076 | 3474862 | 7477 1155 | 10 | 24 1453.86/1454.35 c 1452s | 24 | 3713467 | 3480062 | 7477 1156 | 10 | 24 1455.85/1456.35 c 1454s | 24 | 3718441 | 3484862 | 7477 1157 | 10 | 24 1457.85/1458.36 c 1456s | 24 | 3722990 | 3489362 | 7477 1159 | 10 | 24 1459.85/1460.37 c 1458s | 24 | 3727784 | 3494062 | 7477 1160 | 10 | 24 1461.95/1462.40 c 1460s | 24 | 3732375 | 3498562 | 7477 1161 | 10 | 24 1463.95/1464.41 c 1462s | 24 | 3737355 | 3503362 | 7477 1162 | 10 | 24 1465.95/1466.44 c 1464s | 24 | 3742601 | 3508462 | 7477 1163 | 10 | 24 1467.95/1468.47 c 1466s | 24 | 3748269 | 3514062 | 7477 1165 | 10 | 24 1469.95/1470.48 c 1468s | 24 | 3752925 | 3518662 | 7477 1166 | 10 | 24 1472.05/1472.51 c 1470s | 24 | 3757475 | 3523162 | 7477 1167 | 10 | 24 1474.04/1474.53 c 1472s | 24 | 3762917 | 3528262 | 7477 1168 | 10 | 24 1476.04/1476.56 c 1474s | 24 | 3768313 | 3533362 | 7477 1170 | 10 | 24 1478.05/1478.59 c 1476s | 24 | 3773011 | 3537862 | 7477 1171 | 10 | 24 1480.14/1480.63 c 1478s | 24 | 3778103 | 3542662 | 7477 1172 | 10 | 24 1482.14/1482.64 c 1480s | 24 | 3782620 | 3546862 | 7477 1173 | 10 | 24 1484.24/1484.74 c 1482s | 24 | 3786838 | 3550762 | 7477 1174 | 10 | 24 1486.24/1486.74 c 1484s | 24 | 3791209 | 3554862 | 7477 1175 | 10 | 24 1488.24/1488.77 c 1486s | 24 | 3795594 | 3559062 | 7477 1176 | 10 | 24 1490.34/1490.83 c 1489s | 24 | 3800298 | 3563562 | 7477 1177 | 10 | 24 1492.35/1492.83 c 1491s | 24 | 3805120 | 3568062 | 7477 1179 | 10 | 24 1494.34/1494.86 c 1493s | 24 | 3810192 | 3572562 | 7477 1180 | 10 | 24 1496.34/1496.86 c 1495s | 24 | 3814932 | 3576862 | 7477 1181 | 10 | 24 1498.34/1498.87 c 1497s | 24 | 3819077 | 3580662 | 7477 1182 | 10 | 24 1500.34/1500.88 c 1499s | 24 | 3823509 | 3584562 | 7477 1183 | 10 | 24 1502.35/1502.89 c 1501s | 24 | 3828343 | 3589062 | 7477 1184 | 10 | 24 1504.44/1504.93 c 1503s | 24 | 3832738 | 3593162 | 7477 1185 | 10 | 24 1506.44/1506.95 c 1505s | 24 | 3836900 | 3597062 | 7477 1186 | 10 | 24 1508.44/1508.96 c 1507s | 24 | 3841253 | 3601262 | 7477 1187 | 10 | 24 1510.44/1510.97 c 1509s | 24 | 3846808 | 3606662 | 7477 1189 | 10 | 24 1512.44/1512.97 c 1511s | 24 | 3851879 | 3611562 | 7477 1190 | 10 | 24 1514.44/1514.98 c 1513s | 24 | 3857346 | 3616762 | 7477 1191 | 10 | 24 1516.44/1517.00 c 1515s | 24 | 3862560 | 3621762 | 7477 1193 | 10 | 24 1518.54/1519.04 c 1517s | 24 | 3867264 | 3626262 | 7477 1194 | 10 | 24 1520.53/1521.07 c 1519s | 24 | 3872733 | 3631462 | 7477 1195 | 10 | 24 1522.63/1523.11 c 1521s | 24 | 3877958 | 3636162 | 7477 1196 | 10 | 24 1524.63/1525.15 c 1523s | 24 | 3883331 | 3641062 | 7477 1198 | 10 | 24 1526.63/1527.17 c 1525s | 24 | 3887973 | 3645262 | 7477 1199 | 10 | 24 1528.74/1529.21 c 1527s | 24 | 3893322 | 3650162 | 7477 1200 | 10 | 24 1530.73/1531.24 c 1529s | 24 | 3898057 | 3654462 | 7477 1201 | 10 | 24 1532.73/1533.27 c 1531s | 24 | 3902679 | 3658862 | 7477 1202 | 10 | 24 1534.83/1535.34 c 1533s | 24 | 3907642 | 3663462 | 7477 1204 | 10 | 24 1536.83/1537.36 c 1535s | 24 | 3912560 | 3667962 | 7477 1205 | 10 | 24 1538.83/1539.39 c 1537s | 24 | 3916991 | 3671962 | 7477 1206 | 10 | 24 1540.93/1541.40 c 1539s | 24 | 3921780 | 3676362 | 7477 1207 | 10 | 24 1542.94/1543.43 c 1541s | 24 | 3926158 | 3680362 | 7477 1208 | 10 | 24 1544.93/1545.47 c 1543s | 24 | 3931096 | 3684962 | 7477 1209 | 10 | 24 1547.03/1547.50 c 1545s | 24 | 3936221 | 3689762 | 7477 1210 | 10 | 24 1549.03/1549.51 c 1547s | 24 | 3940518 | 3693862 | 7477 1211 | 10 | 24 1551.03/1551.53 c 1549s | 24 | 3945703 | 3698762 | 7477 1213 | 10 | 24 1553.03/1553.56 c 1551s | 24 | 3951422 | 3704062 | 7477 1214 | 10 | 24 1555.04/1555.60 c 1553s | 24 | 3956473 | 3708462 | 7477 1215 | 10 | 24 1557.13/1557.61 c 1555s | 24 | 3961809 | 3713262 | 7477 1217 | 10 | 24 1559.13/1559.62 c 1557s | 24 | 3966160 | 3717262 | 7477 1218 | 10 | 24 1561.13/1561.66 c 1559s | 24 | 3971046 | 3721762 | 7477 1219 | 10 | 24 1563.13/1563.67 c 1561s | 24 | 3976520 | 3726962 | 7477 1220 | 10 | 24 1565.13/1565.69 c 1563s | 24 | 3981209 | 3731062 | 7477 1221 | 10 | 24 1567.23/1567.72 c 1565s | 24 | 3986317 | 3735562 | 7477 1222 | 10 | 24 1569.23/1569.75 c 1567s | 24 | 3991384 | 3740362 | 7477 1224 | 10 | 24 1571.23/1571.76 c 1569s | 24 | 3996502 | 3745162 | 7477 1225 | 10 | 24 1573.23/1573.78 c 1571s | 24 | 4001342 | 3749662 | 7477 1226 | 10 | 24 1575.23/1575.79 c 1573s | 24 | 4006700 | 3754762 | 7477 1227 | 10 | 24 1577.33/1577.83 c 1576s | 24 | 4011698 | 3759562 | 7477 1229 | 10 | 24 1579.33/1579.85 c 1578s | 24 | 4017115 | 3764762 | 7477 1230 | 10 | 24 1581.32/1581.85 c 1580s | 24 | 4023037 | 3770462 | 7477 1231 | 10 | 24 1583.32/1583.88 c 1582s | 24 | 4028925 | 3776062 | 7477 1233 | 10 | 24 1585.32/1585.88 c 1584s | 24 | 4035286 | 3782162 | 7477 1234 | 10 | 24 1587.32/1587.89 c 1586s | 24 | 4040996 | 3787662 | 7477 1236 | 10 | 24 1589.42/1589.95 c 1588s | 24 | 4047847 | 3794062 | 7477 1238 | 10 | 24 1591.43/1591.96 c 1590s | 24 | 4052464 | 3798462 | 7477 1239 | 10 | 24 1593.42/1593.98 c 1592s | 24 | 4056769 | 3802562 | 7477 1240 | 10 | 24 1595.52/1596.01 c 1594s | 24 | 4063243 | 3808762 | 7477 1241 | 10 | 24 1597.52/1598.01 c 1596s | 24 | 4067632 | 3812962 | 7477 1242 | 10 | 24 1599.52/1600.05 c 1598s | 24 | 4072542 | 3817562 | 7477 1244 | 10 | 24 1601.52/1602.06 c 1600s | 24 | 4078306 | 3823062 | 7477 1245 | 10 | 24 1603.53/1604.07 c 1602s | 24 | 4083931 | 3828462 | 7477 1246 | 10 | 24 1605.52/1606.08 c 1604s | 24 | 4088901 | 3833162 | 7477 1248 | 10 | 24 1607.62/1608.13 c 1606s | 24 | 4094307 | 3838262 | 7477 1249 | 10 | 24 1609.62/1610.16 c 1608s | 24 | 4099680 | 3843262 | 7477 1250 | 10 | 24 1611.62/1612.18 c 1610s | 24 | 4105443 | 3848762 | 7477 1252 | 10 | 24 1613.72/1614.22 c 1612s | 24 | 4111197 | 3854262 | 7477 1253 | 10 | 24 1615.72/1616.23 c 1614s | 24 | 4116519 | 3859262 | 7477 1255 | 10 | 24 1617.72/1618.23 c 1616s | 24 | 4121517 | 3863862 | 7477 1256 | 10 | 24 1619.72/1620.26 c 1618s | 24 | 4126997 | 3869062 | 7477 1257 | 10 | 24 1621.72/1622.29 c 1620s | 24 | 4132459 | 3874062 | 7477 1258 | 10 | 24 1623.82/1624.33 c 1622s | 24 | 4137054 | 3878362 | 7477 1260 | 10 | 24 1625.82/1626.34 c 1624s | 24 | 4141813 | 3882762 | 7477 1261 | 10 | 24 1627.82/1628.35 c 1626s | 24 | 4147343 | 3887962 | 7477 1262 | 10 | 24 1629.83/1630.37 c 1628s | 24 | 4152426 | 3892562 | 7477 1263 | 10 | 24 1631.92/1632.41 c 1630s | 24 | 4157747 | 3897362 | 7477 1264 | 10 | 24 1633.92/1634.43 c 1632s | 24 | 4162270 | 3901562 | 7477 1266 | 10 | 24 1635.92/1636.44 c 1634s | 24 | 4167238 | 3906162 | 7477 1267 | 10 | 24 1637.92/1638.46 c 1636s | 24 | 4172611 | 3911162 | 7477 1268 | 10 | 24 1639.92/1640.47 c 1638s | 24 | 4177791 | 3915862 | 7477 1269 | 10 | 24 1642.02/1642.52 c 1640s | 24 | 4182828 | 3920462 | 7477 1271 | 10 | 24 1644.02/1644.53 c 1642s | 24 | 4187384 | 3924762 | 7477 1272 | 10 | 24 1646.02/1646.55 c 1644s | 24 | 4192664 | 3929862 | 7477 1273 | 10 | 24 1648.02/1648.58 c 1646s | 24 | 4196748 | 3933762 | 7477 1274 | 10 | 24 1650.12/1650.63 c 1648s | 24 | 4200516 | 3937362 | 7477 1275 | 10 | 24 1652.12/1652.67 c 1650s | 24 | 4204556 | 3941262 | 7477 1276 | 10 | 24 1654.12/1654.69 c 1652s | 24 | 4209812 | 3946362 | 7477 1277 | 10 | 24 1656.12/1656.69 c 1654s | 24 | 4214064 | 3950462 | 7477 1278 | 10 | 24 1658.21/1658.73 c 1656s | 24 | 4218478 | 3954662 | 7477 1279 | 10 | 24 1660.21/1660.74 c 1658s | 24 | 4222905 | 3958962 | 7477 1281 | 10 | 24 1662.21/1662.77 c 1660s | 24 | 4228441 | 3964062 | 7477 1282 | 10 | 24 1664.31/1664.81 c 1663s | 24 | 4233775 | 3968862 | 7477 1283 | 10 | 24 1666.31/1666.81 c 1665s | 24 | 4238364 | 3973162 | 7477 1284 | 10 | 24 1668.32/1668.85 c 1667s | 24 | 4243839 | 3978262 | 7477 1286 | 10 | 24 1670.31/1670.89 c 1669s | 24 | 4248623 | 3982662 | 7477 1287 | 10 | 24 1672.41/1672.91 c 1671s | 24 | 4254003 | 3987562 | 7477 1288 | 10 | 24 1674.41/1674.92 c 1673s | 24 | 4258680 | 3991962 | 7477 1289 | 10 | 24 1676.41/1676.97 c 1675s | 24 | 4263576 | 3996662 | 7477 1290 | 10 | 24 1678.41/1678.98 c 1677s | 24 | 4268479 | 4000962 | 7477 1292 | 10 | 24 1680.42/1680.98 c 1679s | 24 | 4273744 | 4005962 | 7477 1293 | 10 | 24 1682.51/1683.01 c 1681s | 24 | 4277773 | 4009762 | 7477 1294 | 10 | 24 1684.51/1685.02 c 1683s | 24 | 4281315 | 4013162 | 7477 1295 | 10 | 24 1686.51/1687.02 c 1685s | 24 | 4284955 | 4016562 | 7477 1296 | 10 | 24 1688.51/1689.04 c 1687s | 24 | 4289048 | 4020262 | 7477 1297 | 10 | 24 1690.61/1691.10 c 1689s | 24 | 4294097 | 4024862 | 7477 1298 | 10 | 24 1692.51/1693.10 c 1691s | 24 | 4298194 | 4028862 | 7477 1299 | 10 | 24 1694.61/1695.15 c 1693s | 24 | 4302913 | 4033462 | 7477 1300 | 10 | 24 1696.61/1697.16 c 1695s | 24 | 4306590 | 4037062 | 7477 1301 | 10 | 24 1698.61/1699.19 c 1697s | 24 | 4311605 | 4041762 | 7477 1302 | 10 | 24 1700.71/1701.20 c 1699s | 24 | 4315566 | 4045462 | 7477 1303 | 10 | 24 1702.71/1703.20 c 1701s | 24 | 4319566 | 4049062 | 7477 1304 | 10 | 24 1704.71/1705.21 c 1703s | 24 | 4324257 | 4053262 | 7477 1305 | 10 | 24 1706.70/1707.25 c 1705s | 24 | 4328901 | 4057562 | 7477 1306 | 10 | 24 1708.70/1709.26 c 1707s | 24 | 4333423 | 4061762 | 7477 1307 | 10 | 24 1710.70/1711.29 c 1709s | 24 | 4338353 | 4066362 | 7477 1309 | 10 | 24 1712.80/1713.33 c 1711s | 24 | 4342848 | 4070662 | 7477 1310 | 10 | 24 1714.80/1715.35 c 1713s | 24 | 4347663 | 4075262 | 7477 1311 | 10 | 24 1716.81/1717.38 c 1715s | 24 | 4353059 | 4080462 | 7477 1312 | 10 | 24 1718.91/1719.43 c 1717s | 24 | 4357677 | 4084762 | 7477 1313 | 10 | 24 1720.90/1721.44 c 1719s | 24 | 4361675 | 4088562 | 7477 1314 | 10 | 24 1722.90/1723.46 c 1721s | 24 | 4366236 | 4092762 | 7477 1315 | 10 | 24 1725.00/1725.55 c 1723s | 24 | 4370403 | 4096762 | 7477 1317 | 10 | 24 1727.10/1727.65 c 1725s | 24 | 4374502 | 4100662 | 7477 1318 | 10 | 24 1729.10/1729.67 c 1727s | 24 | 4379107 | 4104762 | 7477 1319 | 10 | 24 1731.20/1731.70 c 1729s | 24 | 4383796 | 4109062 | 7477 1320 | 10 | 24 1733.21/1733.71 c 1731s | 24 | 4388452 | 4112962 | 7477 1321 | 10 | 24 1735.20/1735.71 c 1733s | 24 | 4393244 | 4117362 | 7477 1322 | 10 | 24 1737.20/1737.72 c 1735s | 24 | 4398264 | 4122062 | 7477 1323 | 10 | 24 1739.20/1739.74 c 1737s | 24 | 4403534 | 4127162 | 7477 1324 | 10 | 24 1741.20/1741.76 c 1739s | 24 | 4407923 | 4131362 | 7477 1326 | 10 | 24 1743.20/1743.78 c 1741s | 24 | 4413694 | 4136862 | 7477 1327 | 10 | 24 1745.30/1745.86 c 1744s | 24 | 4418589 | 4141362 | 7477 1328 | 10 | 24 1747.30/1747.86 c 1746s | 24 | 4425182 | 4147562 | 7477 1330 | 10 | 24 1749.30/1749.88 c 1748s | 24 | 4431848 | 4153762 | 7477 1331 | 10 | 24 1751.30/1751.88 c 1750s | 24 | 4436791 | 4158362 | 7477 1333 | 10 | 24 1753.30/1753.89 c 1752s | 24 | 4442394 | 4163562 | 7477 1334 | 10 | 24 1755.40/1755.90 c 1754s | 24 | 4447988 | 4168662 | 7477 1335 | 10 | 24 1757.41/1757.96 c 1756s | 24 | 4453010 | 4173362 | 7477 1337 | 10 | 24 1759.40/1759.98 c 1758s | 24 | 4458304 | 4178462 | 7477 1338 | 10 | 24 1761.50/1762.01 c 1760s | 24 | 4463937 | 4183862 | 7477 1339 | 10 | 24 1763.50/1764.02 c 1762s | 24 | 4469685 | 4189262 | 7477 1341 | 10 | 24 1765.50/1766.05 c 1764s | 24 | 4474573 | 4193962 | 7477 1342 | 10 | 24 1767.50/1768.05 c 1766s | 24 | 4480010 | 4199162 | 7477 1343 | 10 | 24 1769.51/1770.08 c 1768s | 24 | 4486130 | 4204862 | 7477 1345 | 10 | 24 1771.50/1772.08 c 1770s | 24 | 4491262 | 4209762 | 7477 1346 | 10 | 24 1773.60/1774.10 c 1772s | 24 | 4496715 | 4214862 | 7477 1347 | 10 | 24 1775.60/1776.12 c 1774s | 24 | 4501341 | 4219262 | 7477 1349 | 10 | 24 1777.60/1778.15 c 1776s | 24 | 4507065 | 4224662 | 7477 1350 | 10 | 24 1779.60/1780.16 c 1778s | 24 | 4512268 | 4229162 | 7477 1351 | 10 | 24 1781.60/1782.17 c 1780s | 24 | 4516981 | 4233562 | 7477 1352 | 10 | 24 1783.60/1784.18 c 1782s | 24 | 4521565 | 4237662 | 7477 1353 | 10 | 24 1785.60/1786.19 c 1784s | 24 | 4526106 | 4241762 | 7477 1354 | 10 | 24 1787.70/1788.21 c 1786s | 24 | 4530728 | 4246162 | 7477 1356 | 10 | 24 1789.69/1790.21 c 1788s | 24 | 4535236 | 4250462 | 7477 1357 | 10 | 24 1791.69/1792.24 c 1790s | 24 | 4540671 | 4255562 | 7477 1358 | 10 | 24 1793.70/1794.24 c 1792s | 24 | 4545601 | 4260162 | 7477 1359 | 10 | 24 1795.69/1796.29 c 1794s | 24 | 4550703 | 4264862 | 7477 1360 | 10 | 24 1797.79/1798.30 c 1796s | 24 | 4555004 | 4268862 | 7477 1361 | 10 | 24 1799.79/1800.32 c 1798s | 24 | 4560465 | 4274062 | 7477 1363 | 10 | 24
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4106130-1466265972/watcher-4106130-1466265972 -o /tmp/evaluation-result-4106130-1466265972/solver-4106130-1466265972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106130-1466265972.opb pid=13591 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.08 2.08 3/179 13594 /proc/meminfo: memFree=30112036/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=24328 CPUtime=0 cores=0,2,4,6 /proc/13594/stat : 13594 (runsolver) D 13591 13594 13233 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 28646458 24911872 151 33554432000 4194304 4338465 140737238129808 140737238127448 213866335415 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0 /proc/13594/statm: 6082 151 105 36 0 2655 0 [startup+0.100166 s] /proc/loadavg: 2.06 2.08 2.08 3/179 13594 /proc/meminfo: memFree=30112036/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1218116 CPUtime=0.06 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 16804 0 0 0 4 2 0 0 20 0 4 0 28646458 1247350784 17664 33554432000 4194304 16246674 140736887821168 140736887820592 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 304529 17669 761 2943 0 301423 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 1218116 [startup+0.200342 s] /proc/loadavg: 2.06 2.08 2.08 3/179 13594 /proc/meminfo: memFree=30112036/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1218116 CPUtime=0.16 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 34647 0 0 0 11 5 0 0 20 0 4 0 28646458 1247350784 35506 33554432000 4194304 16246674 140736887821168 140736887804168 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 304529 35512 761 2943 0 301423 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 1218116 [startup+0.300328 s] /proc/loadavg: 2.06 2.08 2.08 3/179 13594 /proc/meminfo: memFree=30112036/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1218116 CPUtime=0.26 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 53049 0 0 0 18 8 0 0 20 0 4 0 28646458 1247350784 53908 33554432000 4194304 16246674 140736887821168 140736887804168 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 304529 53916 761 2943 0 301423 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 1218116 [startup+0.700331 s] /proc/loadavg: 2.06 2.08 2.08 3/179 13594 /proc/meminfo: memFree=30112036/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1218116 CPUtime=0.66 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 125988 0 0 0 48 18 0 0 20 0 4 0 28646458 1247350784 126847 33554432000 4194304 16246674 140736887821168 140736887804168 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 304529 126855 768 2943 0 301423 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 1218116 [startup+1.50042 s] /proc/loadavg: 2.06 2.08 2.08 3/183 13598 /proc/meminfo: memFree=29280440/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1221188 CPUtime=1.46 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 246208 0 0 0 110 36 0 0 20 0 4 0 28646458 1250496512 247044 33554432000 4194304 16246674 140736887821168 140736887820480 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 305297 247044 834 2943 0 302191 0 [pid=13594/tid=13596] ppid=13591 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1250496512 247044 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1250496512 247044 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1250496512 247044 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 1221188 [startup+3.10035 s] /proc/loadavg: 2.06 2.08 2.08 3/183 13598 /proc/meminfo: memFree=29043120/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1307204 CPUtime=3.06 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 267689 0 0 0 267 39 0 0 20 0 4 0 28646458 1338576896 268525 33554432000 4194304 16246674 140736887821168 140736887803072 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 326801 268529 853 2943 0 323695 0 [pid=13594/tid=13596] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268531 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268533 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268535 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 1307204 [startup+6.30035 s] /proc/loadavg: 2.06 2.08 2.08 3/183 13598 /proc/meminfo: memFree=29038072/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1307204 CPUtime=6.26 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 267901 0 0 0 587 39 0 0 20 0 4 0 28646458 1338576896 268737 33554432000 4194304 16246674 140736887821168 140736887803072 5723564 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 326801 268737 855 2943 0 323695 0 [pid=13594/tid=13596] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268737 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268737 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1338576896 268737 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.05 2.08 2.08 3/183 13598 /proc/meminfo: memFree=29036872/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1309252 CPUtime=12.66 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 268262 0 0 0 1227 39 0 0 20 0 4 0 28646458 1340674048 269098 33554432000 4194304 16246674 140736887821168 140736887803072 5600754 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 327313 269098 855 2943 0 324207 0 [pid=13594/tid=13596] ppid=13591 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1340674048 269098 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1340674048 269098 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1340674048 269098 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 1309252 [startup+25.5074 s] /proc/loadavg: 2.04 2.07 2.08 3/183 13598 /proc/meminfo: memFree=29027504/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1318468 CPUtime=25.47 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 270718 0 0 0 2507 40 0 0 20 0 4 0 28646458 1350111232 271554 33554432000 4194304 16246674 140736887821168 140736887804168 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 329617 271554 856 2943 0 326511 0 [pid=13594/tid=13596] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271554 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271554 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271554 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 1318468 [startup+51.1004 s] /proc/loadavg: 1.97 2.05 2.07 3/183 13647 /proc/meminfo: memFree=29020868/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1318468 CPUtime=51.05 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 270719 0 0 0 5065 40 0 0 20 0 4 0 28646458 1350111232 271557 33554432000 4194304 16246674 140736887821168 140736887803072 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 329617 271557 856 2943 0 326511 0 [pid=13594/tid=13596] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 1318468 [startup+102.3 s] /proc/loadavg: 1.98 2.04 2.07 4/183 13648 /proc/meminfo: memFree=29020868/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1318468 CPUtime=102.23 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 270742 0 0 0 10183 40 0 0 20 0 4 0 28646458 1350111232 271557 33554432000 4194304 16246674 140736887821168 140736887804168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 329617 271557 856 2943 0 326511 0 [pid=13594/tid=13596] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 1318468 [startup+162.3 s] /proc/loadavg: 1.99 2.03 2.06 3/183 13649 /proc/meminfo: memFree=29020268/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1318468 CPUtime=162.21 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 270767 0 0 0 16180 41 0 0 20 0 4 0 28646458 1350111232 271557 33554432000 4194304 16246674 140736887821168 140736887804168 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 329617 271557 856 2943 0 326511 0 [pid=13594/tid=13596] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 1318468 [startup+222.3 s] /proc/loadavg: 2.04 2.04 2.06 3/183 13651 /proc/meminfo: memFree=29016948/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1318468 CPUtime=222.2 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 270790 0 0 0 22178 42 0 0 20 0 4 0 28646458 1350111232 271557 33554432000 4194304 16246674 140736887821168 140736887803072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 329617 271557 856 2943 0 326511 0 [pid=13594/tid=13596] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1350111232 271557 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 1318468 ################ # More data... # ################ /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1357451264 273349 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1325636 [startup+1362.3 s] /proc/loadavg: 2.12 2.08 2.04 4/183 13680 /proc/meminfo: memFree=28998376/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1361.86 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273649 0 0 0 136136 50 0 0 20 0 4 0 28646458 1360596992 274117 33554432000 4194304 16246674 140736887821168 140736887804168 13780577 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274117 856 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1328708 [startup+1422.3 s] /proc/loadavg: 2.04 2.06 2.03 3/183 13681 /proc/meminfo: memFree=28998324/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1421.85 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273649 0 0 0 142135 50 0 0 20 0 4 0 28646458 1360596992 274117 33554432000 4194304 16246674 140736887821168 140736887804168 5861552 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274117 856 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1328708 [startup+1482.3 s] /proc/loadavg: 2.17 2.09 2.04 3/184 13686 /proc/meminfo: memFree=28998240/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1481.84 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273649 0 0 0 148133 51 0 0 20 0 4 0 28646458 1360596992 274117 33554432000 4194304 16246674 140736887821168 140736887803072 5726344 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274117 856 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1328708 [startup+1542.3 s] /proc/loadavg: 2.06 2.07 2.03 4/183 13687 /proc/meminfo: memFree=28998312/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1541.84 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273649 0 0 0 154133 51 0 0 20 0 4 0 28646458 1360596992 274117 33554432000 4194304 16246674 140736887821168 140736887803072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274117 856 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1328708 [startup+1602.3 s] /proc/loadavg: 2.02 2.06 2.03 3/183 13688 /proc/meminfo: memFree=28998116/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1601.82 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273649 0 0 0 160131 51 0 0 20 0 4 0 28646458 1360596992 274117 33554432000 4194304 16246674 140736887821168 140736887804168 5600824 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274117 856 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274117 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1328708 [startup+1662.31 s] /proc/loadavg: 2.01 2.04 2.02 3/183 13689 /proc/meminfo: memFree=28998120/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1661.82 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273650 0 0 0 166130 52 0 0 20 0 4 0 28646458 1360596992 274118 33554432000 4194304 16246674 140736887821168 140736887803072 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274118 857 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1328708 [startup+1722.3 s] /proc/loadavg: 2.14 2.07 2.03 4/183 13690 /proc/meminfo: memFree=28997992/32872528 swapFree=681968/737156 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1721.8 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273650 0 0 0 172128 52 0 0 20 0 4 0 28646458 1360596992 274118 33554432000 4194304 16246674 140736887821168 140736887803072 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274118 857 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1328708 [startup+1782.3 s] /proc/loadavg: 2.15 2.08 2.03 3/183 13692 /proc/meminfo: memFree=28997340/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1781.8 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273650 0 0 0 178127 53 0 0 20 0 4 0 28646458 1360596992 274118 33554432000 4194304 16246674 140736887821168 140736887803072 5523076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274118 857 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1328708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.11 2.08 2.03 4/183 13692 /proc/meminfo: memFree=28997452/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1800.09 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273650 0 0 0 179956 53 0 0 20 0 4 0 28646458 1360596992 274118 33554432000 4194304 16246674 140736887821168 140736887804168 5823170 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274118 857 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1328708 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 13594 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 2.11 2.08 2.03 4/183 13692 /proc/meminfo: memFree=28997452/32872528 swapFree=681964/737152 [pid=13594] ppid=13591 vsize=1328708 CPUtime=1800.09 cores=0,2,4,6 /proc/13594/stat : 13594 (toysat) R 13591 13594 13233 0 -1 4202496 273650 0 0 0 179956 53 0 0 20 0 4 0 28646458 1360596992 274118 33554432000 4194304 16246674 140736887821168 140736887804168 5823170 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 2 0 0 /proc/13594/statm: 332177 274118 857 2943 0 329071 0 [pid=13594/tid=13596] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13596/stat : 13596 (toysat) S 13591 13594 13233 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899248291056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0 [pid=13594/tid=13597] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13597/stat : 13597 (toysat) S 13591 13594 13233 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899164404976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0 [pid=13594/tid=13598] ppid=13591 vsize=1328708 CPUtime=0 cores=0,2,4,6 /proc/13594/task/13598/stat : 13598 (toysat) S 13591 13594 13233 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 28646461 1360596992 274118 33554432000 4194304 16246674 140736887821168 139899153931440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1328708 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.11 CPU user time (s): 1799.57 CPU system time (s): 0.537918 CPU usage (%): 99.9721 Max. virtual memory (cumulated for all children) (KiB): 1328708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.57 system time used= 0.537918 maximum resident set size= 1096472 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 273650 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= 385 involuntary context switches= 1955 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.00824 second user time and 6.51601 second system time The end
Begin job on node112 at 2016-06-18 18:06:12 IDJOB=4106130 IDBENCH=47946 IDSOLVER=2542 FILE ID=node112/4106130-1466265972 RUNJOBID= node112-1466264161-13249 PBS_JOBID= 19918218 Free space on /tmp= 71696 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106130-1466265972/watcher-4106130-1466265972 -o /tmp/evaluation-result-4106130-1466265972/solver-4106130-1466265972 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466264161-13249 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106130-1466265972.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=426003250 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: 30112184 kB Buffers: 59480 kB Cached: 154528 kB SwapCached: 2028 kB Active: 1163896 kB Inactive: 123012 kB Active(anon): 1073468 kB Inactive(anon): 2096 kB Active(file): 90428 kB Inactive(file): 120916 kB Unevictable: 737152 kB Mlocked: 681964 kB SwapTotal: 67108856 kB SwapFree: 67096744 kB Dirty: 33032 kB Writeback: 0 kB AnonPages: 1809212 kB Mapped: 10528 kB Shmem: 0 kB Slab: 602768 kB SReclaimable: 46040 kB SUnreclaim: 556728 kB KernelStack: 1448 kB PageTables: 7464 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1956248 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 55296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71680 MiB End job on node112 at 2016-06-18 18:36:13