| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB16/DEC-SMALLINT-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_31.opb |
| MD5SUM | 3c5c67a05b8f77fc58cd0cec4854ace8 |
| Bench Category | DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 759.729 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1332 |
| Total number of constraints | 6341 |
| Number of constraints which are clauses | 6336 |
| Number of constraints which are cardinality constraints (but not clauses) | 5 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 36 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 31 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 67 |
| Number of bits of the biggest sum of numbers | 7 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c 2016-06-17T00:06:33+0200 0.00/0.00 c version = 0.5.0 0.00/0.00 c githash = 1a49202 0.00/0.00 c compilationtime = 2016-05-02 00:19:28.990761 UTC 0.00/0.00 c arch = x86_64 0.00/0.00 c os = linux 0.00/0.00 c compiler = ghc 7.10 0.00/0.00 c packages: 0.00/0.00 c OptDir-0.0.3 0.00/0.00 c array-0.5.1.0 0.00/0.00 c base-4.8.2.0 0.00/0.00 c bytestring-0.10.6.0 0.00/0.00 c bytestring-builder-0.10.6.0.0 0.00/0.00 c clock-0.7.2 0.00/0.00 c containers-0.5.6.2 0.00/0.00 c data-default-0.5.3 0.00/0.00 c data-default-class-0.0.1 0.00/0.00 c data-interval-1.2.0 0.00/0.00 c deepseq-1.4.1.1 0.00/0.00 c directory-1.2.2.0 0.00/0.00 c exceptions-0.8.2.1 0.00/0.00 c extended-reals-0.2.1.0 0.00/0.00 c filepath-1.4.0.0 0.00/0.00 c finite-field-0.8.0 0.00/0.00 c hashable-1.2.4.0 0.00/0.00 c heaps-0.3.3 0.00/0.00 c intern-0.9.1.4 0.00/0.00 c loop-0.3.0 0.00/0.00 c mtl-2.2.1 0.00/0.00 c multiset-0.3.2 0.00/0.00 c mwc-random-0.13.3.2 0.00/0.00 c parse_dimacs-1.3 0.00/0.00 c parsec-3.1.9 0.00/0.00 c prettyclass-1.0.0.0 0.00/0.00 c primes-0.2.1.0 0.00/0.00 c primitive-0.6.1.0 0.00/0.00 c process-1.2.3.0 0.00/0.00 c pseudo-boolean-0.1.3.0 0.00/0.01 c queue-0.1.2 0.00/0.01 c semigroups-0.18.1 0.00/0.01 c sign-0.4.3 0.00/0.01 c stm-2.4.4.1 0.00/0.01 c template-haskell-2.10.0.0 0.00/0.01 c temporary-1.2.0.4 0.00/0.01 c time-1.5.0.1 0.00/0.01 c transformers-0.4.2.0 0.00/0.01 c transformers-compat-0.5.1.4 0.00/0.01 c type-level-numbers-0.1.1.1 0.00/0.01 c unbounded-delays-0.1.0.9 0.00/0.01 c unordered-containers-0.2.6.0 0.00/0.01 c vector-0.11.0.0 0.00/0.01 c vector-space-0.10.3 0.00/0.01 c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096673-1466114793.opb"] 0.00/0.01 c use --random-gen="829844079 2402064020 1967450135 1801369482 2987251854 1764668690 3979100281 2119495803 4272091030 2205679098 4072528822 3905605443 2101037911 4146325209 1205372183 3730152918 3735062815 640015762 2177663039 3604491858 1276997229 640916103 1658936966 2006518938 915696140 2150475879 704663847 4058075296 1681708319 3346217436 757058497 4182438279 1261879841 48928890 2436316991 1685551833 3851084505 4079093206 2217558920 3007036643 530456116 3814585771 3894741794 1024661516 146458998 866676729 258906717 2285199273 303463124 3202423939 1986583859 2595378602 2628053153 84760262 2878654470 2356019689 3211553659 1150995160 609516832 2643961821 4237218356 260146349 3057388162 151572808 112901903 2202730740 2489364697 1875394929 3419558450 4263318456 2784935969 3031525339 4217554101 1772255109 1804570802 1589056473 1118412410 2111982756 2634617239 1452100597 2942575637 2075183625 3879700409 730372139 3704858832 4097938950 2672444289 1166021010 2502265334 1882662493 203848408 3959009837 3621764922 4243687177 765755671 2093486057 1538965597 2140544552 2097241710 3958030624 1845195041 2089830918 2561966737 3934443344 3406808368 2901064022 2581658512 970282102 1279255631 3028874153 2250098956 2407603115 4232884829 704507571 1627825644 584575216 1239015626 4052455415 2138548277 1748309466 1860351234 3510379048 4046009672 2526970968 927985333 213934586 3487006785 2857656477 1832443161 2654594815 3638053377 2817629006 1575929373 3112308082 1644302044 3836868904 344917563 3260951586 996560466 2462481943 1066282330 85508961 2187226896 4069690633 4123639170 392314973 2921183159 4115894365 124681702 4287426193 4022103649 2753252870 1937943125 1997528461 2804568464 2721439220 2376621482 34070633 3257037698 317378263 2262825515 765356662 1229886075 3442024534 1241677329 682543357 3294534678 507269827 2465660314 3533630964 657606591 1703237406 3829767232 3672812772 3262297664 2712403660 852075696 3579369876 1308553425 286423133 3261069866 980546672 3782139670 1541293784 3651318858 3967623859 2460212355 2986340958 3861103583 3944047447 2959465378 3333870132 4238128759 738994769 2045475182 2483036908 788471104 1128624893 984377563 1947125952 821153960 1162871892 2682154270 2506436540 1674403090 1049355210 818296665 1633744472 783024381 2026572000 4079181620 2778209300 1622407579 5693006 4207846982 1947834226 2323928345 3787264986 4171043027 3525673731 1371990278 2958039312 2882547240 238410458 1857803861 1071880094 1418921172 3406501318 1461238865 3018466268 3479675517 2813292720 237240948 2756205156 1823319620 2377296257 818433792 4017765709 2027427028 1911220669 2985600556 1629986817 2796007909 1761056990 530503691 3305791514 1939337730 2731932577 914642161 1168318040 1522432294 3265567604 1766439670 830936478 1946381856 1045384990 255 362436" option to reproduce the execution 0.00/0.07 c #vars 1332 0.00/0.07 c #constraints 6341 0.09/0.14 c Solving starts ... 0.09/0.14 c ============================[ Search Statistics ]============================ 0.09/0.14 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.09/0.14 c | | | | Limit GC | Var | Constra 0.09/0.14 c ============================================================================= 0.09/0.14 c 0.0s | 0 | 0 | 0 | 2556 0 | 5 | 0 0.09/0.19 c 0.0s | 1 | 156 | 100 | 2556 0 | 5 | 286 0.19/0.26 c 0.1s | 2 | 353 | 250 | 2812 0 | 5 | 286 0.28/0.35 c 0.2s | 3 | 644 | 475 | 3094 0 | 5 | 286 0.49/0.54 c 0.4s | 4 | 1060 | 813 | 3404 0 | 5 | 286 0.79/0.83 c 0.7s | 5 | 1709 | 1320 | 3745 0 | 5 | 286 1.19/1.21 c 1.1s | 6 | 2632 | 2081 | 4532 0 | 5 | 286 1.58/1.68 c 1.5s | 7 | 4102 | 3223 | 4986 0 | 5 | 286 2.30/2.39 c 2.2s | 8 | 6232 | 4936 | 5485 0 | 5 | 286 3.49/3.51 c 3.4s | 9 | 9386 | 7506 | 6034 1 | 5 | 286 5.09/5.19 c 5.0s | 10 | 14233 | 11361 | 6638 2 | 5 | 286 7.19/7.22 c 7.1s | 10 | 19553 | 15761 | 6638 3 | 5 | 286 7.80/7.84 c 7.7s | 11 | 21282 | 17144 | 7302 4 | 5 | 286 9.79/9.87 c 9.7s | 11 | 26279 | 21244 | 7302 5 | 5 | 286 11.79/11.85 c 11.7s | 12 | 31712 | 25819 | 8033 6 | 5 | 286 13.89/13.92 c 13.8s | 12 | 36489 | 29719 | 8033 7 | 5 | 286 15.88/15.93 c 15.8s | 12 | 42166 | 34319 | 8033 8 | 5 | 286 17.88/17.95 c 17.8s | 12 | 46785 | 38219 | 8033 9 | 5 | 286 18.18/18.21 c 18.1s | 13 | 47532 | 38832 | 8837 9 | 5 | 286 20.18/20.23 c 20.1s | 13 | 52844 | 43132 | 8837 10 | 5 | 286 22.18/22.27 c 22.1s | 13 | 58056 | 47532 | 8837 11 | 5 | 286 24.19/24.28 c 24.1s | 13 | 62476 | 51132 | 8837 12 | 5 | 286 26.28/26.32 c 26.2s | 13 | 67453 | 55332 | 8837 12 | 5 | 286 27.78/27.88 c 27.7s | 14 | 71086 | 58352 | 9721 13 | 5 | 286 29.79/29.89 c 29.7s | 14 | 75156 | 61652 | 9721 14 | 5 | 286 31.78/31.89 c 31.7s | 14 | 79878 | 65552 | 9721 14 | 5 | 286 33.89/33.94 c 33.8s | 14 | 84145 | 69152 | 9721 15 | 5 | 286 35.89/35.98 c 35.8s | 14 | 88530 | 72852 | 9721 16 | 5 | 286 37.89/37.99 c 37.8s | 14 | 92886 | 76552 | 9721 17 | 5 | 286 39.99/40.01 c 39.9s | 14 | 97300 | 80252 | 9721 17 | 5 | 286 41.99/42.01 c 41.9s | 14 | 101934 | 84252 | 9721 18 | 5 | 286 43.69/43.76 c 43.6s | 15 | 105812 | 87632 | 10694 19 | 5 | 286 45.78/45.80 c 45.7s | 15 | 109356 | 90432 | 10694 19 | 5 | 286 47.78/47.83 c 47.7s | 15 | 113787 | 94232 | 10694 20 | 5 | 286 49.78/49.86 c 49.7s | 15 | 118149 | 97932 | 10694 21 | 5 | 286 51.88/51.90 c 51.8s | 15 | 122377 | 101632 | 10694 21 | 5 | 286 53.78/53.90 c 53.8s | 15 | 126565 | 105332 | 10694 22 | 5 | 286 55.88/55.91 c 55.8s | 15 | 130296 | 108532 | 10694 23 | 5 | 286 57.88/57.92 c 57.8s | 15 | 134567 | 112032 | 10694 23 | 5 | 286 59.88/59.97 c 59.8s | 15 | 138620 | 115432 | 10694 24 | 5 | 286 61.98/62.01 c 61.9s | 15 | 142212 | 118332 | 10694 24 | 5 | 286 63.98/64.03 c 63.9s | 15 | 146719 | 122232 | 10694 25 | 5 | 286 65.99/66.04 c 65.9s | 15 | 150587 | 125532 | 10694 26 | 5 | 286 67.98/68.09 c 68.0s | 15 | 155039 | 129232 | 10694 26 | 5 | 286 69.29/69.39 c 69.2s | 16 | 157707 | 131552 | 11764 27 | 5 | 286 71.38/71.42 c 71.3s | 16 | 161750 | 135052 | 11764 27 | 5 | 286 73.38/73.44 c 73.3s | 16 | 164853 | 137752 | 11764 28 | 5 | 286 75.38/75.44 c 75.3s | 16 | 168941 | 141252 | 11764 28 | 5 | 286 77.48/77.50 c 77.4s | 16 | 172912 | 144652 | 11764 29 | 5 | 286 79.48/79.52 c 79.4s | 16 | 176502 | 147852 | 11764 29 | 5 | 286 81.58/81.61 c 81.5s | 16 | 179902 | 150852 | 11764 30 | 5 | 286 83.58/83.67 c 83.5s | 16 | 183692 | 154052 | 11764 30 | 5 | 286 85.68/85.71 c 85.6s | 16 | 187882 | 157652 | 11764 31 | 5 | 286 87.67/87.75 c 87.6s | 16 | 191196 | 160452 | 11764 32 | 5 | 286 89.77/89.80 c 89.7s | 16 | 195712 | 164352 | 11764 32 | 5 | 286 91.77/91.82 c 91.7s | 16 | 199573 | 167752 | 11764 33 | 5 | 286 93.87/93.91 c 93.8s | 16 | 203218 | 171052 | 11764 33 | 5 | 286 95.87/95.95 c 95.8s | 16 | 206145 | 173552 | 11764 34 | 5 | 286 97.98/98.01 c 97.9s | 16 | 210126 | 177052 | 11764 34 | 5 | 286 99.97/100.02 c 99.9s | 16 | 213924 | 180452 | 11764 35 | 5 | 286 101.97/102.03 c 101s | 16 | 217533 | 183652 | 11764 35 | 5 | 286 103.97/104.08 c 103s | 16 | 221341 | 187052 | 11764 36 | 5 | 286 106.07/106.15 c 106s | 16 | 224889 | 190252 | 11764 36 | 5 | 286 108.17/108.21 c 108s | 16 | 228733 | 193752 | 11764 37 | 5 | 286 110.17/110.25 c 110s | 16 | 231439 | 196152 | 12941 37 | 5 | 286 110.97/111.06 c 110s | 17 | 233008 | 197432 | 12941 37 | 5 | 286 113.07/113.11 c 112s | 17 | 236929 | 200632 | 12941 38 | 5 | 286 115.07/115.19 c 115s | 17 | 240904 | 204032 | 12941 39 | 5 | 286 117.07/117.19 c 117s | 17 | 245250 | 207632 | 12941 39 | 5 | 286 119.17/119.21 c 119s | 17 | 249041 | 210732 | 12941 40 | 5 | 286 121.17/121.22 c 121s | 17 | 253547 | 214532 | 12941 40 | 5 | 286 123.17/123.24 c 123s | 17 | 257667 | 218032 | 12941 41 | 5 | 286 125.17/125.27 c 125s | 17 | 261763 | 221632 | 12941 41 | 5 | 286 127.27/127.31 c 127s | 17 | 265602 | 224932 | 12941 42 | 5 | 286 129.27/129.35 c 129s | 17 | 269384 | 228332 | 12941 42 | 5 | 286 131.37/131.40 c 131s | 17 | 271552 | 230132 | 12941 42 | 5 | 286 133.36/133.45 c 133s | 17 | 275796 | 233732 | 12941 43 | 5 | 286 135.37/135.47 c 135s | 17 | 279547 | 237032 | 12941 44 | 5 | 286 137.47/137.54 c 137s | 17 | 283703 | 240732 | 12941 44 | 5 | 286 139.56/139.66 c 139s | 17 | 287006 | 243532 | 12941 45 | 5 | 286 141.66/141.71 c 141s | 17 | 291050 | 247032 | 12941 45 | 5 | 286 143.66/143.75 c 143s | 17 | 294413 | 250032 | 12941 45 | 5 | 286 145.77/145.81 c 145s | 17 | 298329 | 253432 | 12941 46 | 5 | 286 147.77/147.86 c 147s | 17 | 302010 | 256632 | 12941 46 | 5 | 286 149.77/149.87 c 149s | 17 | 305801 | 260032 | 12941 47 | 5 | 286 151.88/151.91 c 151s | 17 | 309333 | 263232 | 12941 47 | 5 | 286 154.26/154.38 c 154s | 17 | 310000 | 263832 | 12941 48 | 5 | 286 156.36/156.44 c 156s | 17 | 314439 | 267632 | 12941 48 | 5 | 286 158.37/158.47 c 158s | 17 | 317715 | 270532 | 12941 49 | 5 | 286 160.36/160.47 c 160s | 17 | 321374 | 273732 | 12941 49 | 5 | 286 162.36/162.49 c 162s | 17 | 324740 | 276732 | 12941 50 | 5 | 286 164.46/164.54 c 164s | 17 | 328237 | 279932 | 12941 50 | 5 | 286 166.66/166.70 c 166s | 17 | 331674 | 283032 | 12941 51 | 5 | 286 169.16/169.27 c 169s | 17 | 335266 | 286232 | 12941 51 | 5 | 286 171.26/171.32 c 171s | 17 | 338944 | 289332 | 12941 51 | 5 | 286 173.27/173.37 c 173s | 17 | 342707 | 292632 | 12941 52 | 5 | 286 175.27/175.40 c 175s | 17 | 346310 | 295832 | 14236 52 | 5 | 286 175.67/175.70 c 175s | 18 | 346795 | 296252 | 14236 52 | 5 | 286 177.67/177.70 c 177s | 18 | 349831 | 298652 | 14236 53 | 5 | 286 179.66/179.73 c 179s | 18 | 354135 | 302352 | 14236 53 | 5 | 286 181.66/181.76 c 181s | 18 | 357876 | 305552 | 14236 54 | 5 | 286 183.67/183.77 c 183s | 18 | 361957 | 309052 | 14236 54 | 5 | 286 185.66/185.78 c 185s | 18 | 365400 | 312052 | 14236 55 | 5 | 286 187.76/187.81 c 187s | 18 | 369549 | 315752 | 14236 55 | 5 | 286 189.76/189.87 c 189s | 18 | 373049 | 318752 | 14236 55 | 5 | 286 191.86/191.91 c 191s | 18 | 376491 | 321552 | 14236 56 | 5 | 286 193.86/193.95 c 193s | 18 | 380407 | 324852 | 14236 56 | 5 | 286 195.87/195.99 c 195s | 18 | 383780 | 327752 | 14236 57 | 5 | 286 197.86/197.99 c 197s | 18 | 387673 | 331052 | 14236 57 | 5 | 286 199.96/200.01 c 199s | 18 | 391033 | 333952 | 14236 58 | 5 | 286 201.96/202.04 c 201s | 18 | 394675 | 337252 | 14236 58 | 5 | 286 203.96/204.05 c 203s | 18 | 398076 | 340252 | 14236 58 | 5 | 286 206.06/206.11 c 205s | 18 | 401672 | 343452 | 14236 59 | 5 | 286 208.36/208.41 c 208s | 18 | 403657 | 345152 | 14236 59 | 5 | 286 210.36/210.49 c 210s | 18 | 407140 | 348152 | 14236 60 | 5 | 286 212.36/212.49 c 212s | 18 | 410682 | 351152 | 14236 60 | 5 | 286 214.46/214.53 c 214s | 18 | 414248 | 354252 | 14236 60 | 5 | 286 216.46/216.55 c 216s | 18 | 418189 | 357652 | 14236 61 | 5 | 286 218.45/218.59 c 218s | 18 | 421327 | 360452 | 14236 61 | 5 | 286 220.55/220.60 c 220s | 18 | 424484 | 363252 | 14236 62 | 5 | 286 222.55/222.66 c 222s | 18 | 428556 | 366952 | 14236 62 | 5 | 286 224.55/224.69 c 224s | 18 | 431844 | 369852 | 14236 63 | 5 | 286 226.66/226.71 c 226s | 18 | 435534 | 373052 | 14236 63 | 5 | 286 228.65/228.75 c 228s | 18 | 439058 | 376152 | 14236 63 | 5 | 286 230.65/230.76 c 230s | 18 | 442663 | 379352 | 14236 64 | 5 | 286 232.65/232.77 c 232s | 18 | 446121 | 382452 | 14236 64 | 5 | 286 234.75/234.81 c 234s | 18 | 447906 | 384052 | 14236 64 | 5 | 286 236.75/236.81 c 236s | 18 | 450260 | 386152 | 14236 65 | 5 | 286 238.75/238.83 c 238s | 18 | 454354 | 389652 | 14236 65 | 5 | 286 240.75/240.85 c 240s | 18 | 457969 | 392752 | 14236 66 | 5 | 286 242.75/242.86 c 242s | 18 | 461352 | 395752 | 14236 66 | 5 | 286 244.85/244.93 c 244s | 18 | 464456 | 398552 | 14236 66 | 5 | 286 246.85/246.97 c 246s | 18 | 467824 | 401452 | 14236 67 | 5 | 286 248.85/248.99 c 248s | 18 | 471130 | 404352 | 14236 67 | 5 | 286 250.95/251.02 c 250s | 18 | 474461 | 407252 | 14236 68 | 5 | 286 252.95/253.06 c 252s | 18 | 477906 | 410352 | 14236 68 | 5 | 286 255.25/255.31 c 255s | 18 | 481087 | 413152 | 14236 69 | 5 | 286 257.25/257.32 c 257s | 18 | 484551 | 416252 | 14236 69 | 5 | 286 259.25/259.36 c 259s | 18 | 487768 | 419152 | 14236 69 | 5 | 286 261.35/261.40 c 261s | 18 | 490909 | 421952 | 14236 70 | 5 | 286 263.35/263.41 c 263s | 18 | 493954 | 424752 | 14236 70 | 5 | 286 265.35/265.47 c 265s | 18 | 495614 | 426252 | 14236 70 | 5 | 286 267.36/267.49 c 267s | 18 | 499191 | 429352 | 14236 71 | 5 | 286 269.46/269.52 c 269s | 18 | 502661 | 432452 | 14236 71 | 5 | 286 271.45/271.52 c 271s | 18 | 505666 | 435152 | 14236 72 | 5 | 286 273.45/273.55 c 273s | 18 | 509332 | 438452 | 14236 72 | 5 | 286 275.55/275.64 c 275s | 18 | 512524 | 441352 | 15660 72 | 5 | 286 277.55/277.66 c 277s | 18 | 515338 | 443952 | 15660 73 | 5 | 286 277.85/277.98 c 277s | 19 | 515940 | 444482 | 15660 73 | 5 | 286 280.14/280.27 c 280s | 19 | 517736 | 445982 | 15660 73 | 5 | 286 282.24/282.32 c 282s | 19 | 521766 | 449382 | 15660 73 | 5 | 286 284.34/284.42 c 284s | 19 | 525057 | 452282 | 15660 74 | 5 | 286 286.34/286.45 c 286s | 19 | 528894 | 455482 | 15660 74 | 5 | 286 288.34/288.46 c 288s | 19 | 532516 | 458482 | 15660 74 | 5 | 286 290.74/290.81 c 290s | 19 | 536395 | 461882 | 15660 75 | 5 | 286 292.74/292.83 c 292s | 19 | 540047 | 465082 | 15660 75 | 5 | 286 294.75/294.87 c 294s | 19 | 543277 | 467882 | 15660 76 | 5 | 286 296.74/296.89 c 296s | 19 | 546970 | 471182 | 15660 76 | 5 | 286 298.84/298.95 c 298s | 19 | 550099 | 473982 | 15660 76 | 5 | 286 300.84/300.99 c 300s | 19 | 553294 | 476782 | 15660 77 | 5 | 286 303.35/303.43 c 303s | 19 | 554582 | 477882 | 15660 77 | 5 | 286 305.35/305.43 c 305s | 19 | 558595 | 481182 | 15660 77 | 5 | 286 307.35/307.48 c 307s | 19 | 562491 | 484482 | 15660 78 | 5 | 286 309.44/309.53 c 309s | 19 | 566194 | 487582 | 15660 78 | 5 | 286 311.44/311.58 c 311s | 19 | 569742 | 490582 | 15660 78 | 5 | 286 313.45/313.58 c 313s | 19 | 573573 | 493882 | 15660 79 | 5 | 286 315.54/315.64 c 315s | 19 | 577175 | 497082 | 15660 79 | 5 | 286 317.95/318.07 c 317s | 19 | 580445 | 499782 | 15660 80 | 5 | 286 320.05/320.11 c 319s | 19 | 582756 | 501682 | 15660 80 | 5 | 286 322.04/322.12 c 321s | 19 | 586570 | 504882 | 15660 80 | 5 | 286 324.04/324.17 c 324s | 19 | 589778 | 507682 | 15660 81 | 5 | 286 326.14/326.21 c 326s | 19 | 593920 | 511182 | 15660 81 | 5 | 286 328.14/328.24 c 328s | 19 | 597475 | 514182 | 15660 81 | 5 | 286 330.14/330.28 c 330s | 19 | 601139 | 517482 | 15660 82 | 5 | 286 332.24/332.34 c 332s | 19 | 602561 | 518782 | 15660 82 | 5 | 286 334.34/334.41 c 334s | 19 | 606175 | 521982 | 15660 82 | 5 | 286 336.44/336.50 c 336s | 19 | 609288 | 524682 | 15660 83 | 5 | 286 338.44/338.54 c 338s | 19 | 612595 | 527682 | 15660 83 | 5 | 286 340.43/340.59 c 340s | 19 | 615704 | 530382 | 15660 83 | 5 | 286 342.53/342.60 c 342s | 19 | 618731 | 532982 | 15660 84 | 5 | 286 344.53/344.66 c 344s | 19 | 622236 | 536082 | 15660 84 | 5 | 286 346.94/347.09 c 346s | 19 | 624459 | 537982 | 15660 84 | 5 | 286 349.04/349.10 c 348s | 19 | 628137 | 541082 | 15660 85 | 5 | 286 351.04/351.16 c 351s | 19 | 632742 | 544882 | 15660 85 | 5 | 286 353.04/353.19 c 353s | 19 | 636141 | 547882 | 15660 86 | 5 | 286 355.14/355.24 c 355s | 19 | 639817 | 551082 | 15660 86 | 5 | 286 357.23/357.30 c 357s | 19 | 643206 | 553982 | 15660 86 | 5 | 286 359.23/359.34 c 359s | 19 | 646645 | 557082 | 15660 87 | 5 | 286 361.23/361.39 c 361s | 19 | 650436 | 560282 | 15660 87 | 5 | 286 363.33/363.40 c 363s | 19 | 652515 | 562082 | 15660 87 | 5 | 286 365.33/365.41 c 365s | 19 | 655942 | 564982 | 15660 88 | 5 | 286 367.33/367.43 c 367s | 19 | 660048 | 568482 | 15660 88 | 5 | 286 369.34/369.44 c 369s | 19 | 663488 | 571582 | 15660 89 | 5 | 286 371.33/371.45 c 371s | 19 | 667450 | 574982 | 15660 89 | 5 | 286 373.33/373.49 c 373s | 19 | 670759 | 577782 | 15660 89 | 5 | 286 375.43/375.51 c 375s | 19 | 673852 | 580582 | 15660 90 | 5 | 286 377.43/377.51 c 377s | 19 | 677466 | 583782 | 15660 90 | 5 | 286 379.44/379.54 c 379s | 19 | 680422 | 586482 | 15660 91 | 5 | 286 381.43/381.55 c 381s | 19 | 683936 | 589682 | 15660 91 | 5 | 286 383.43/383.59 c 383s | 19 | 686580 | 592082 | 15660 91 | 5 | 286 385.53/385.66 c 385s | 19 | 689307 | 594482 | 15660 92 | 5 | 286 387.63/387.70 c 387s | 19 | 693091 | 597782 | 15660 92 | 5 | 286 389.63/389.75 c 389s | 19 | 696546 | 600882 | 15660 92 | 5 | 286 392.23/392.39 c 392s | 19 | 698294 | 602482 | 15660 93 | 5 | 286 394.33/394.43 c 394s | 19 | 702675 | 606182 | 15660 93 | 5 | 286 396.33/396.46 c 396s | 19 | 706267 | 609282 | 15660 93 | 5 | 286 398.43/398.50 c 398s | 19 | 709976 | 612482 | 15660 94 | 5 | 286 400.43/400.54 c 400s | 19 | 713633 | 615682 | 15660 94 | 5 | 286 402.43/402.56 c 402s | 19 | 716700 | 618482 | 15660 95 | 5 | 286 405.32/405.49 c 405s | 19 | 719763 | 621182 | 15660 95 | 5 | 286 407.42/407.51 c 407s | 19 | 722846 | 623982 | 15660 95 | 5 | 286 409.42/409.55 c 409s | 19 | 726019 | 626782 | 15660 96 | 5 | 286 411.43/411.59 c 411s | 19 | 729501 | 629882 | 15660 96 | 5 | 286 413.53/413.61 c 413s | 19 | 732472 | 632582 | 15660 96 | 5 | 286 415.52/415.62 c 415s | 19 | 735536 | 635382 | 15660 97 | 5 | 286 417.62/417.70 c 417s | 19 | 738685 | 638082 | 15660 97 | 5 | 286 419.62/419.73 c 419s | 19 | 742232 | 641082 | 15660 97 | 5 | 286 421.62/421.75 c 421s | 19 | 745832 | 644282 | 15660 98 | 5 | 286 424.42/424.56 c 424s | 19 | 749478 | 647382 | 15660 98 | 5 | 286 426.42/426.59 c 426s | 19 | 752713 | 650082 | 15660 99 | 5 | 286 428.42/428.59 c 428s | 19 | 756867 | 653682 | 15660 99 | 5 | 286 430.53/430.60 c 430s | 19 | 760539 | 656882 | 15660 99 | 5 | 286 432.63/432.76 c 432s | 19 | 763010 | 659082 | 15660 100 | 5 | 286 434.72/434.80 c 434s | 19 | 766791 | 662482 | 17226 100 | 5 | 286 436.73/436.86 c 436s | 19 | 770215 | 665582 | 17226 100 | 5 | 286 437.73/437.84 c 437s | 20 | 771543 | 666827 | 17226 100 | 5 | 286 440.03/440.11 c 439s | 20 | 772837 | 667927 | 17226 101 | 5 | 286 442.02/442.12 c 441s | 20 | 774360 | 669227 | 17226 101 | 5 | 286 444.02/444.15 c 444s | 20 | 778281 | 672527 | 17226 101 | 5 | 286 446.12/446.21 c 446s | 20 | 781828 | 675427 | 17226 101 | 5 | 286 448.12/448.27 c 448s | 20 | 785252 | 678327 | 17226 102 | 5 | 286 450.12/450.28 c 450s | 20 | 788888 | 681527 | 17226 102 | 5 | 286 452.22/452.31 c 452s | 20 | 792230 | 684527 | 17226 102 | 5 | 286 454.23/454.37 c 454s | 20 | 795677 | 687527 | 17226 103 | 5 | 286 457.52/457.68 c 457s | 20 | 798600 | 690127 | 17226 103 | 5 | 286 459.61/459.71 c 459s | 20 | 801474 | 692627 | 17226 103 | 5 | 286 461.61/461.75 c 461s | 20 | 804955 | 695627 | 17226 104 | 5 | 286 463.71/463.81 c 463s | 20 | 808277 | 698427 | 17226 104 | 5 | 286 465.71/465.84 c 465s | 20 | 811539 | 701227 | 17226 104 | 5 | 286 467.71/467.87 c 467s | 20 | 814971 | 704227 | 17226 105 | 5 | 286 469.72/469.88 c 469s | 20 | 818273 | 707027 | 17226 105 | 5 | 286 471.71/471.89 c 471s | 20 | 821387 | 709727 | 17226 105 | 5 | 286 473.81/473.90 c 473s | 20 | 824730 | 712727 | 17226 106 | 5 | 286 477.01/477.10 c 476s | 20 | 828032 | 715727 | 17226 106 | 5 | 286 479.01/479.12 c 478s | 20 | 831007 | 718327 | 17226 106 | 5 | 286 481.01/481.14 c 480s | 20 | 833830 | 720727 | 17226 107 | 5 | 286 483.01/483.16 c 483s | 20 | 837309 | 723827 | 17226 107 | 5 | 286 485.02/485.18 c 485s | 20 | 840315 | 726527 | 17226 107 | 5 | 286 487.11/487.22 c 487s | 20 | 843222 | 729027 | 17226 108 | 5 | 286 489.12/489.25 c 489s | 20 | 846160 | 731627 | 17226 108 | 5 | 286 491.12/491.25 c 491s | 20 | 849283 | 734527 | 17226 108 | 5 | 286 493.22/493.30 c 493s | 20 | 852061 | 737027 | 17226 108 | 5 | 286 495.22/495.31 c 495s | 20 | 854971 | 739727 | 17226 109 | 5 | 286 497.22/497.37 c 497s | 20 | 857941 | 742427 | 17226 109 | 5 | 286 499.22/499.38 c 499s | 20 | 860730 | 744927 | 17226 109 | 5 | 286 501.31/501.41 c 501s | 20 | 863536 | 747427 | 17226 110 | 5 | 286 503.31/503.44 c 503s | 20 | 866401 | 750027 | 17226 110 | 5 | 286 505.81/505.96 c 505s | 20 | 867391 | 750927 | 17226 110 | 5 | 286 507.91/508.01 c 507s | 20 | 870366 | 753427 | 17226 110 | 5 | 286 509.91/510.07 c 509s | 20 | 873421 | 756127 | 17226 111 | 5 | 286 512.01/512.13 c 511s | 20 | 876576 | 758827 | 17226 111 | 5 | 286 514.01/514.20 c 514s | 20 | 879614 | 761527 | 17226 111 | 5 | 286 516.11/516.21 c 516s | 20 | 882561 | 764127 | 17226 112 | 5 | 286 518.11/518.25 c 518s | 20 | 884793 | 766127 | 17226 112 | 5 | 286 520.10/520.29 c 520s | 20 | 887920 | 768827 | 17226 112 | 5 | 286 522.20/522.36 c 522s | 20 | 890849 | 771427 | 17226 112 | 5 | 286 524.21/524.37 c 524s | 20 | 893690 | 774027 | 17226 113 | 5 | 286 526.31/526.42 c 526s | 20 | 896767 | 776727 | 17226 113 | 5 | 286 528.31/528.48 c 528s | 20 | 899773 | 779427 | 17226 113 | 5 | 286 530.41/530.50 c 530s | 20 | 902570 | 781927 | 17226 114 | 5 | 286 532.42/532.56 c 532s | 20 | 905507 | 784627 | 17226 114 | 5 | 286 534.52/534.64 c 534s | 20 | 908195 | 787127 | 17226 114 | 5 | 286 536.82/536.94 c 536s | 20 | 910485 | 789227 | 17226 114 | 5 | 286 538.81/538.97 c 538s | 20 | 912109 | 790627 | 17226 115 | 5 | 286 540.91/541.00 c 540s | 20 | 915532 | 793527 | 17226 115 | 5 | 286 542.91/543.05 c 542s | 20 | 918674 | 796327 | 17226 115 | 5 | 286 544.91/545.09 c 544s | 20 | 921205 | 798527 | 17226 116 | 5 | 286 547.01/547.13 c 546s | 20 | 924601 | 801527 | 17226 116 | 5 | 286 549.11/549.20 c 549s | 20 | 927680 | 804327 | 17226 116 | 5 | 286 551.11/551.28 c 551s | 20 | 930397 | 806727 | 17226 116 | 5 | 286 553.11/553.29 c 553s | 20 | 933387 | 809427 | 17226 117 | 5 | 286 555.21/555.31 c 555s | 20 | 936342 | 812127 | 17226 117 | 5 | 286 557.21/557.33 c 557s | 20 | 938156 | 813727 | 17226 117 | 5 | 286 559.41/559.50 c 559s | 20 | 940795 | 816027 | 17226 118 | 5 | 286 561.41/561.53 c 561s | 20 | 944462 | 819227 | 17226 118 | 5 | 286 563.41/563.53 c 563s | 20 | 947232 | 821727 | 17226 118 | 5 | 286 565.41/565.54 c 565s | 20 | 949771 | 824027 | 17226 118 | 5 | 286 567.40/567.60 c 567s | 20 | 952804 | 826727 | 17226 119 | 5 | 286 569.50/569.63 c 569s | 20 | 955699 | 829327 | 17226 119 | 5 | 286 571.60/571.71 c 571s | 20 | 958503 | 831927 | 17226 119 | 5 | 286 573.60/573.76 c 573s | 20 | 961217 | 834427 | 17226 120 | 5 | 286 575.70/575.80 c 575s | 20 | 963817 | 836827 | 17226 120 | 5 | 286 577.70/577.83 c 577s | 20 | 966668 | 839427 | 17226 120 | 5 | 286 579.71/579.89 c 579s | 20 | 969152 | 841727 | 17226 120 | 5 | 286 581.81/581.95 c 581s | 20 | 971828 | 844227 | 17226 121 | 5 | 286 583.90/584.00 c 583s | 20 | 974511 | 846727 | 17226 121 | 5 | 286 586.00/586.12 c 585s | 20 | 974753 | 846927 | 17226 121 | 5 | 286 588.00/588.12 c 587s | 20 | 978084 | 849727 | 17226 121 | 5 | 286 590.00/590.16 c 590s | 20 | 981211 | 852427 | 17226 122 | 5 | 286 592.00/592.16 c 592s | 20 | 984607 | 855327 | 17226 122 | 5 | 286 594.01/594.18 c 594s | 20 | 987784 | 858127 | 17226 122 | 5 | 286 596.00/596.19 c 596s | 20 | 990509 | 860427 | 17226 123 | 5 | 286 598.10/598.20 c 598s | 20 | 994213 | 863427 | 17226 123 | 5 | 286 600.10/600.28 c 600s | 20 | 997854 | 866527 | 17226 123 | 5 | 286 602.20/602.30 c 602s | 20 | 1000402 | 868727 | 17226 124 | 5 | 286 604.20/604.31 c 604s | 20 | 1003573 | 871527 | 17226 124 | 5 | 286 606.19/606.36 c 606s | 20 | 1006901 | 874527 | 17226 124 | 5 | 286 608.30/608.46 c 608s | 20 | 1009809 | 877027 | 17226 125 | 5 | 286 610.40/610.52 c 610s | 20 | 1013393 | 880127 | 17226 125 | 5 | 286 612.49/612.64 c 612s | 20 | 1016688 | 883027 | 17226 125 | 5 | 286 614.49/614.68 c 614s | 20 | 1019544 | 885627 | 17226 125 | 5 | 286 616.59/616.73 c 616s | 20 | 1022734 | 888527 | 17226 126 | 5 | 286 618.59/618.79 c 618s | 20 | 1026016 | 891427 | 17226 126 | 5 | 286 620.69/620.84 c 620s | 20 | 1027784 | 892927 | 17226 126 | 5 | 286 622.69/622.89 c 622s | 20 | 1030210 | 895027 | 17226 127 | 5 | 286 624.70/624.89 c 624s | 20 | 1033516 | 897827 | 17226 127 | 5 | 286 626.79/626.91 c 626s | 20 | 1036852 | 900727 | 17226 127 | 5 | 286 628.79/628.93 c 628s | 20 | 1039887 | 903427 | 17226 128 | 5 | 286 630.89/631.07 c 630s | 20 | 1041571 | 904927 | 17226 128 | 5 | 286 632.99/633.12 c 632s | 20 | 1045326 | 908127 | 17226 128 | 5 | 286 634.99/635.13 c 634s | 20 | 1048795 | 911127 | 17226 128 | 5 | 286 636.99/637.18 c 637s | 20 | 1052003 | 913927 | 17226 129 | 5 | 286 639.09/639.22 c 639s | 20 | 1055507 | 916927 | 17226 129 | 5 | 286 641.09/641.23 c 641s | 20 | 1058527 | 919527 | 17226 129 | 5 | 286 643.09/643.28 c 643s | 20 | 1061168 | 921827 | 17226 130 | 5 | 286 645.19/645.36 c 645s | 20 | 1064391 | 924727 | 17226 130 | 5 | 286 647.29/647.42 c 647s | 20 | 1067416 | 927427 | 17226 130 | 5 | 286 649.29/649.45 c 649s | 20 | 1070319 | 930027 | 17226 131 | 5 | 286 651.29/651.49 c 651s | 20 | 1073740 | 933127 | 17226 131 | 5 | 286 653.39/653.51 c 653s | 20 | 1076937 | 935927 | 17226 131 | 5 | 286 655.39/655.51 c 655s | 20 | 1079583 | 938327 | 17226 132 | 5 | 286 657.39/657.52 c 657s | 20 | 1082632 | 941127 | 17226 132 | 5 | 286 659.38/659.53 c 659s | 20 | 1084250 | 942527 | 17226 132 | 5 | 286 661.49/661.62 c 661s | 20 | 1088010 | 945727 | 17226 132 | 5 | 286 663.49/663.63 c 663s | 20 | 1091548 | 948827 | 17226 133 | 5 | 286 665.50/665.68 c 665s | 20 | 1095053 | 951927 | 17226 133 | 5 | 286 667.60/667.71 c 667s | 20 | 1098190 | 954727 | 17226 133 | 5 | 286 669.59/669.75 c 669s | 20 | 1101168 | 957427 | 17226 134 | 5 | 286 671.69/671.80 c 671s | 20 | 1104443 | 960327 | 17226 134 | 5 | 286 673.69/673.87 c 673s | 20 | 1107372 | 962927 | 17226 134 | 5 | 286 675.79/675.98 c 675s | 20 | 1108768 | 964227 | 17226 135 | 5 | 286 677.89/678.02 c 677s | 20 | 1112241 | 967327 | 17226 135 | 5 | 286 679.89/680.09 c 679s | 20 | 1115352 | 970127 | 17226 135 | 5 | 286 681.99/682.11 c 681s | 20 | 1117953 | 972527 | 17226 135 | 5 | 286 683.99/684.12 c 683s | 20 | 1120988 | 975227 | 17226 136 | 5 | 286 685.99/686.15 c 686s | 20 | 1123951 | 977827 | 17226 136 | 5 | 286 688.09/688.20 c 688s | 20 | 1126731 | 980327 | 17226 136 | 5 | 286 690.08/690.22 c 690s | 20 | 1129516 | 982827 | 17226 137 | 5 | 286 692.08/692.26 c 692s | 20 | 1132685 | 985727 | 17226 137 | 5 | 286 694.18/694.33 c 694s | 20 | 1135376 | 988127 | 17226 137 | 5 | 286 696.48/696.66 c 696s | 20 | 1137897 | 990427 | 17226 138 | 5 | 286 698.49/698.69 c 698s | 20 | 1141041 | 993327 | 18949 138 | 5 | 286 701.58/701.75 c 701s | 20 | 1142923 | 995027 | 18949 138 | 5 | 286 703.68/703.84 c 703s | 20 | 1146196 | 997727 | 18949 138 | 5 | 286 705.68/705.86 c 705s | 20 | 1149233 | 1000227 | 18949 138 | 5 | 286 705.78/705.97 c 705s | 21 | 1149363 | 1000345 | 18949 138 | 5 | 286 707.88/708.03 c 707s | 21 | 1152186 | 1002745 | 18949 139 | 5 | 286 709.88/710.06 c 709s | 21 | 1155856 | 1005845 | 18949 139 | 5 | 286 711.98/712.11 c 711s | 21 | 1159118 | 1008545 | 18949 139 | 5 | 286 714.18/714.39 c 714s | 21 | 1161611 | 1010745 | 18949 140 | 5 | 286 716.28/716.42 c 716s | 21 | 1165726 | 1014245 | 18949 140 | 5 | 286 718.28/718.46 c 718s | 21 | 1169298 | 1017345 | 18949 140 | 5 | 286 720.28/720.50 c 720s | 21 | 1172427 | 1020145 | 18949 141 | 5 | 286 722.37/722.55 c 722s | 21 | 1175181 | 1022445 | 18949 141 | 5 | 286 724.37/724.56 c 724s | 21 | 1178498 | 1025345 | 18949 141 | 5 | 286 726.37/726.59 c 726s | 21 | 1181718 | 1028245 | 18949 141 | 5 | 286 728.47/728.65 c 728s | 21 | 1184406 | 1030645 | 18949 142 | 5 | 286 730.47/730.67 c 730s | 21 | 1187558 | 1033445 | 18949 142 | 5 | 286 732.58/732.71 c 732s | 21 | 1190606 | 1036145 | 18949 142 | 5 | 286 734.57/734.75 c 734s | 21 | 1193321 | 1038645 | 18949 142 | 5 | 286 736.57/736.76 c 736s | 21 | 1196128 | 1041245 | 18949 143 | 5 | 286 739.98/740.18 c 740s | 21 | 1196694 | 1041745 | 18949 143 | 5 | 286 742.07/742.20 c 742s | 21 | 1200295 | 1044745 | 18949 143 | 5 | 286 744.07/744.20 c 744s | 21 | 1203459 | 1047445 | 18949 143 | 5 | 286 746.07/746.21 c 746s | 21 | 1206378 | 1050045 | 18949 144 | 5 | 286 748.07/748.21 c 748s | 21 | 1209839 | 1053045 | 18949 144 | 5 | 286 750.08/750.23 c 750s | 21 | 1213163 | 1055845 | 18949 144 | 5 | 286 752.07/752.24 c 752s | 21 | 1215826 | 1058145 | 18949 144 | 5 | 286 754.17/754.33 c 754s | 21 | 1218611 | 1060545 | 18949 145 | 5 | 286 756.17/756.35 c 756s | 21 | 1221692 | 1063245 | 18949 145 | 5 | 286 758.17/758.39 c 758s | 21 | 1224348 | 1065645 | 18949 145 | 5 | 286 760.37/760.51 c 760s | 21 | 1226917 | 1067845 | 18949 146 | 5 | 286 762.37/762.54 c 762s | 21 | 1230665 | 1071145 | 18949 146 | 5 | 286 764.38/764.58 c 764s | 21 | 1233888 | 1074045 | 18949 146 | 5 | 286 766.37/766.58 c 766s | 21 | 1236692 | 1076545 | 18949 146 | 5 | 286 768.47/768.62 c 768s | 21 | 1239668 | 1079245 | 18949 147 | 5 | 286 770.57/770.70 c 770s | 21 | 1243043 | 1082345 | 18949 147 | 5 | 286 772.97/773.13 c 772s | 21 | 1243581 | 1082845 | 18949 147 | 5 | 286 774.97/775.18 c 775s | 21 | 1246717 | 1085545 | 18949 147 | 5 | 286 776.97/777.19 c 777s | 21 | 1249255 | 1087845 | 18949 148 | 5 | 286 779.07/779.25 c 779s | 21 | 1252522 | 1090645 | 18949 148 | 5 | 286 781.17/781.32 c 781s | 21 | 1255634 | 1093445 | 18949 148 | 5 | 286 783.17/783.37 c 783s | 21 | 1258338 | 1095845 | 18949 148 | 5 | 286 785.27/785.42 c 785s | 21 | 1261125 | 1098445 | 18949 149 | 5 | 286 787.26/787.44 c 787s | 21 | 1263880 | 1100945 | 18949 149 | 5 | 286 789.36/789.52 c 789s | 21 | 1266903 | 1103545 | 18949 149 | 5 | 286 791.36/791.53 c 791s | 21 | 1269348 | 1105645 | 18949 149 | 5 | 286 793.36/793.58 c 793s | 21 | 1271840 | 1107845 | 18949 150 | 5 | 286 795.46/795.60 c 795s | 21 | 1275010 | 1110645 | 18949 150 | 5 | 286 797.47/797.64 c 797s | 21 | 1277768 | 1113145 | 18949 150 | 5 | 286 799.46/799.68 c 799s | 21 | 1280519 | 1115645 | 18949 150 | 5 | 286 801.56/801.75 c 801s | 21 | 1283477 | 1118445 | 18949 151 | 5 | 286 803.67/803.82 c 803s | 21 | 1285995 | 1120745 | 18949 151 | 5 | 286 805.67/805.89 c 805s | 21 | 1288530 | 1123045 | 18949 151 | 5 | 286 807.77/807.91 c 807s | 21 | 1290867 | 1125145 | 18949 151 | 5 | 286 809.77/809.93 c 809s | 21 | 1293380 | 1127445 | 18949 152 | 5 | 286 811.77/811.95 c 811s | 21 | 1295880 | 1129745 | 18949 152 | 5 | 286 813.87/814.02 c 813s | 21 | 1298363 | 1132045 | 18949 152 | 5 | 286 815.87/816.03 c 815s | 21 | 1300901 | 1134345 | 18949 152 | 5 | 286 822.07/822.23 c 822s | 21 | 1302857 | 1136145 | 18949 153 | 5 | 286 824.07/824.26 c 824s | 21 | 1306443 | 1139245 | 18949 153 | 5 | 286 826.17/826.33 c 826s | 21 | 1309674 | 1142045 | 18949 153 | 5 | 286 828.17/828.40 c 828s | 21 | 1312514 | 1144545 | 18949 153 | 5 | 286 830.26/830.41 c 830s | 21 | 1315543 | 1147245 | 18949 154 | 5 | 286 832.36/832.52 c 832s | 21 | 1318539 | 1149845 | 18949 154 | 5 | 286 834.36/834.57 c 834s | 21 | 1321303 | 1152345 | 18949 154 | 5 | 286 836.36/836.59 c 836s | 21 | 1323637 | 1154445 | 18949 155 | 5 | 286 838.46/838.61 c 838s | 21 | 1326820 | 1157245 | 18949 155 | 5 | 286 840.46/840.65 c 840s | 21 | 1329705 | 1159845 | 18949 155 | 5 | 286 842.57/842.72 c 842s | 21 | 1332358 | 1162245 | 18949 155 | 5 | 286 844.86/845.04 c 844s | 21 | 1334017 | 1163745 | 18949 155 | 5 | 286 846.87/847.08 c 846s | 21 | 1336769 | 1166245 | 18949 156 | 5 | 286 848.96/849.13 c 848s | 21 | 1339596 | 1168845 | 18949 156 | 5 | 286 850.96/851.16 c 851s | 21 | 1342055 | 1171145 | 18949 156 | 5 | 286 853.06/853.24 c 853s | 21 | 1344314 | 1173245 | 18949 156 | 5 | 286 855.06/855.26 c 855s | 21 | 1346510 | 1175245 | 18949 157 | 5 | 286 857.06/857.29 c 857s | 21 | 1349131 | 1177645 | 18949 157 | 5 | 286 859.06/859.29 c 859s | 21 | 1351540 | 1179845 | 18949 157 | 5 | 286 861.16/861.31 c 861s | 21 | 1353788 | 1181945 | 18949 157 | 5 | 286 863.16/863.37 c 863s | 21 | 1356094 | 1184045 | 18949 158 | 5 | 286 865.26/865.41 c 865s | 21 | 1357715 | 1185545 | 18949 158 | 5 | 286 867.26/867.44 c 867s | 21 | 1360193 | 1187845 | 18949 158 | 5 | 286 869.25/869.47 c 869s | 21 | 1362667 | 1190045 | 18949 158 | 5 | 286 871.35/871.50 c 871s | 21 | 1364948 | 1192145 | 18949 158 | 5 | 286 873.36/873.58 c 873s | 21 | 1367336 | 1194345 | 18949 159 | 5 | 286 875.65/875.89 c 875s | 21 | 1369726 | 1196545 | 18949 159 | 5 | 286 877.76/877.91 c 877s | 21 | 1372140 | 1198745 | 18949 159 | 5 | 286 879.75/879.95 c 879s | 21 | 1374200 | 1200645 | 18949 159 | 5 | 286 881.75/881.96 c 881s | 21 | 1376425 | 1202645 | 18949 160 | 5 | 286 883.85/884.03 c 883s | 21 | 1379436 | 1205445 | 18949 160 | 5 | 286 885.95/886.10 c 885s | 21 | 1382057 | 1207845 | 18949 160 | 5 | 286 887.95/888.13 c 887s | 21 | 1384642 | 1210145 | 18949 160 | 5 | 286 890.25/890.44 c 890s | 21 | 1387184 | 1212345 | 18949 161 | 5 | 286 892.25/892.46 c 892s | 21 | 1390244 | 1215145 | 18949 161 | 5 | 286 894.35/894.53 c 894s | 21 | 1392928 | 1217545 | 18949 161 | 5 | 286 896.35/896.56 c 896s | 21 | 1395236 | 1219645 | 18949 161 | 5 | 286 898.45/898.63 c 898s | 21 | 1397378 | 1221645 | 18949 162 | 5 | 286 900.45/900.66 c 900s | 21 | 1399694 | 1223745 | 18949 162 | 5 | 286 902.55/902.74 c 902s | 21 | 1402287 | 1226145 | 18949 162 | 5 | 286 904.65/904.83 c 904s | 21 | 1404566 | 1228245 | 18949 162 | 5 | 286 906.65/906.83 c 906s | 21 | 1406693 | 1230245 | 18949 162 | 5 | 286 908.75/908.91 c 908s | 21 | 1409041 | 1232445 | 18949 163 | 5 | 286 910.75/910.95 c 910s | 21 | 1410093 | 1233345 | 18949 163 | 5 | 286 912.85/913.03 c 912s | 21 | 1413080 | 1236045 | 18949 163 | 5 | 286 914.85/915.09 c 914s | 21 | 1415763 | 1238445 | 18949 163 | 5 | 286 917.04/917.22 c 917s | 21 | 1418074 | 1240545 | 18949 164 | 5 | 286 919.04/919.26 c 919s | 21 | 1421026 | 1243245 | 18949 164 | 5 | 286 921.14/921.34 c 921s | 21 | 1423200 | 1245245 | 18949 164 | 5 | 286 923.14/923.35 c 923s | 21 | 1425486 | 1247345 | 18949 164 | 5 | 286 925.14/925.37 c 925s | 21 | 1427472 | 1249145 | 18949 164 | 5 | 286 927.25/927.47 c 927s | 21 | 1428427 | 1250045 | 18949 165 | 5 | 286 929.24/929.48 c 929s | 21 | 1431257 | 1252645 | 18949 165 | 5 | 286 931.34/931.56 c 931s | 21 | 1433952 | 1255045 | 18949 165 | 5 | 286 933.44/933.62 c 933s | 21 | 1436368 | 1257245 | 18949 165 | 5 | 286 935.54/935.72 c 935s | 21 | 1438531 | 1259245 | 18949 165 | 5 | 286 937.84/938.09 c 937s | 21 | 1441157 | 1261645 | 18949 166 | 5 | 286 939.95/940.17 c 940s | 21 | 1443716 | 1264045 | 18949 166 | 5 | 286 942.05/942.26 c 942s | 21 | 1446073 | 1266245 | 18949 166 | 5 | 286 944.15/944.30 c 944s | 21 | 1448349 | 1268345 | 18949 166 | 5 | 286 946.15/946.30 c 946s | 21 | 1450546 | 1270345 | 18949 167 | 5 | 286 948.45/948.66 c 948s | 21 | 1451391 | 1271145 | 18949 167 | 5 | 286 950.55/950.73 c 950s | 21 | 1454133 | 1273645 | 18949 167 | 5 | 286 952.55/952.75 c 952s | 21 | 1456877 | 1276145 | 18949 167 | 5 | 286 954.54/954.80 c 954s | 21 | 1459306 | 1278345 | 18949 167 | 5 | 286 956.64/956.84 c 956s | 21 | 1461676 | 1280545 | 18949 168 | 5 | 286 958.74/958.90 c 958s | 21 | 1464442 | 1283045 | 18949 168 | 5 | 286 960.74/960.92 c 960s | 21 | 1466844 | 1285245 | 18949 168 | 5 | 286 962.84/963.00 c 962s | 21 | 1469091 | 1287345 | 18949 168 | 5 | 286 964.84/965.04 c 964s | 21 | 1471380 | 1289445 | 18949 169 | 5 | 286 966.85/967.09 c 966s | 21 | 1474088 | 1291945 | 18949 169 | 5 | 286 968.95/969.18 c 969s | 21 | 1476318 | 1294045 | 18949 169 | 5 | 286 970.94/971.19 c 971s | 21 | 1478022 | 1295645 | 18949 169 | 5 | 286 973.04/973.23 c 973s | 21 | 1480327 | 1297745 | 18949 169 | 5 | 286 975.04/975.24 c 975s | 21 | 1482615 | 1299845 | 18949 170 | 5 | 286 977.04/977.26 c 977s | 21 | 1485530 | 1302445 | 18949 170 | 5 | 286 979.04/979.28 c 979s | 21 | 1487649 | 1304345 | 18949 170 | 5 | 286 981.14/981.36 c 981s | 21 | 1489865 | 1306345 | 18949 170 | 5 | 286 983.24/983.42 c 983s | 21 | 1491815 | 1308145 | 18949 171 | 5 | 286 985.24/985.42 c 985s | 21 | 1494784 | 1310745 | 18949 171 | 5 | 286 987.23/987.46 c 987s | 21 | 1497620 | 1313245 | 18949 171 | 5 | 286 989.23/989.49 c 989s | 21 | 1500294 | 1315645 | 18949 171 | 5 | 286 991.33/991.50 c 991s | 21 | 1502657 | 1317745 | 18949 172 | 5 | 286 993.33/993.54 c 993s | 21 | 1504933 | 1319845 | 18949 172 | 5 | 286 995.34/995.54 c 995s | 21 | 1507821 | 1322445 | 18949 172 | 5 | 286 997.33/997.54 c 997s | 21 | 1510343 | 1324745 | 18949 172 | 5 | 286 999.53/999.72 c 999s | 21 | 1512743 | 1326945 | 18949 173 | 5 | 286 1001.53/1001.78 c 1001s | 21 | 1515827 | 1329745 | 18949 173 | 5 | 286 1004.43/1004.69 c 1004s | 21 | 1518402 | 1332145 | 18949 173 | 5 | 286 1006.54/1006.79 c 1006s | 21 | 1520738 | 1334145 | 18949 173 | 5 | 286 1008.74/1009.00 c 1008s | 21 | 1523417 | 1336445 | 18949 174 | 5 | 286 1010.84/1011.04 c 1010s | 21 | 1526500 | 1339145 | 18949 174 | 5 | 286 1012.94/1013.14 c 1012s | 21 | 1529815 | 1342045 | 18949 174 | 5 | 286 1014.94/1015.18 c 1015s | 21 | 1532545 | 1344545 | 18949 174 | 5 | 286 1017.04/1017.24 c 1017s | 21 | 1535428 | 1347045 | 18949 175 | 5 | 286 1019.13/1019.30 c 1019s | 21 | 1537653 | 1348945 | 18949 175 | 5 | 286 1021.13/1021.31 c 1021s | 21 | 1540753 | 1351645 | 18949 175 | 5 | 286 1023.13/1023.31 c 1023s | 21 | 1543451 | 1354045 | 18949 175 | 5 | 286 1025.14/1025.38 c 1025s | 21 | 1546311 | 1356545 | 18949 176 | 5 | 286 1027.24/1027.41 c 1027s | 21 | 1549108 | 1359045 | 18949 176 | 5 | 286 1029.23/1029.49 c 1029s | 21 | 1551938 | 1361545 | 18949 176 | 5 | 286 1031.33/1031.54 c 1031s | 21 | 1554574 | 1363945 | 18949 176 | 5 | 286 1033.43/1033.60 c 1033s | 21 | 1557089 | 1366245 | 18949 177 | 5 | 286 1035.43/1035.64 c 1035s | 21 | 1559824 | 1368745 | 18949 177 | 5 | 286 1037.53/1037.70 c 1037s | 21 | 1562694 | 1371345 | 18949 177 | 5 | 286 1039.73/1039.98 c 1039s | 21 | 1564658 | 1373145 | 18949 177 | 5 | 286 1042.03/1042.28 c 1042s | 21 | 1566723 | 1374845 | 18949 178 | 5 | 286 1044.13/1044.34 c 1044s | 21 | 1570131 | 1377645 | 18949 178 | 5 | 286 1046.13/1046.39 c 1046s | 21 | 1573642 | 1380645 | 18949 178 | 5 | 286 1048.24/1048.47 c 1048s | 21 | 1576277 | 1382845 | 18949 178 | 5 | 286 1050.23/1050.50 c 1050s | 21 | 1579177 | 1385245 | 18949 179 | 5 | 286 1052.33/1052.51 c 1052s | 21 | 1582896 | 1388445 | 18949 179 | 5 | 286 1054.33/1054.55 c 1054s | 21 | 1586149 | 1391245 | 18949 179 | 5 | 286 1056.33/1056.56 c 1056s | 21 | 1589091 | 1393845 | 18949 179 | 5 | 286 1058.43/1058.60 c 1058s | 21 | 1592636 | 1396945 | 18949 180 | 5 | 286 1060.43/1060.62 c 1060s | 21 | 1593653 | 1397845 | 18949 180 | 5 | 286 1062.43/1062.67 c 1062s | 21 | 1596678 | 1400445 | 18949 180 | 5 | 286 1064.53/1064.72 c 1064s | 21 | 1599587 | 1403045 | 18949 180 | 5 | 286 1066.52/1066.76 c 1066s | 21 | 1602536 | 1405645 | 18949 181 | 5 | 286 1068.52/1068.79 c 1068s | 21 | 1605958 | 1408545 | 18949 181 | 5 | 286 1070.62/1070.87 c 1070s | 21 | 1608882 | 1411145 | 18949 181 | 5 | 286 1072.72/1072.92 c 1072s | 21 | 1611302 | 1413345 | 18949 182 | 5 | 286 1074.72/1074.94 c 1074s | 21 | 1614347 | 1416145 | 18949 182 | 5 | 286 1076.73/1076.96 c 1076s | 21 | 1617286 | 1418745 | 18949 182 | 5 | 286 1078.82/1079.02 c 1078s | 21 | 1620117 | 1421245 | 18949 182 | 5 | 286 1080.92/1081.13 c 1080s | 21 | 1622058 | 1422945 | 18949 183 | 5 | 286 1082.92/1083.19 c 1083s | 21 | 1625432 | 1425945 | 18949 183 | 5 | 286 1085.02/1085.21 c 1085s | 21 | 1628585 | 1428645 | 18949 183 | 5 | 286 1087.42/1087.68 c 1087s | 21 | 1629936 | 1429845 | 18949 183 | 5 | 286 1089.42/1089.69 c 1089s | 21 | 1632849 | 1432345 | 18949 184 | 5 | 286 1091.52/1091.73 c 1091s | 21 | 1636196 | 1435345 | 18949 184 | 5 | 286 1093.52/1093.75 c 1093s | 21 | 1639589 | 1438345 | 18949 184 | 5 | 286 1095.52/1095.77 c 1095s | 21 | 1642707 | 1441045 | 18949 184 | 5 | 286 1097.62/1097.85 c 1097s | 21 | 1645744 | 1443745 | 18949 185 | 5 | 286 1099.62/1099.85 c 1099s | 21 | 1648939 | 1446645 | 18949 185 | 5 | 286 1101.92/1102.15 c 1102s | 21 | 1651922 | 1449345 | 18949 185 | 5 | 286 1104.02/1104.22 c 1104s | 21 | 1654414 | 1451545 | 18949 186 | 5 | 286 1106.01/1106.29 c 1106s | 21 | 1657458 | 1454345 | 18949 186 | 5 | 286 1108.11/1108.33 c 1108s | 21 | 1660558 | 1457045 | 18949 186 | 5 | 286 1110.21/1110.40 c 1110s | 21 | 1663552 | 1459745 | 18949 186 | 5 | 286 1112.21/1112.41 c 1112s | 21 | 1665956 | 1461945 | 18949 187 | 5 | 286 1114.22/1114.43 c 1114s | 21 | 1668816 | 1464545 | 18949 187 | 5 | 286 1116.21/1116.45 c 1116s | 21 | 1671255 | 1466745 | 18949 187 | 5 | 286 1118.21/1118.46 c 1118s | 21 | 1673770 | 1469045 | 18949 187 | 5 | 286 1120.21/1120.47 c 1120s | 21 | 1676003 | 1471045 | 18949 188 | 5 | 286 1122.22/1122.48 c 1122s | 21 | 1678786 | 1473645 | 18949 188 | 5 | 286 1124.22/1124.49 c 1124s | 21 | 1681366 | 1476045 | 18949 188 | 5 | 286 1126.33/1126.54 c 1126s | 21 | 1683690 | 1478245 | 18949 188 | 5 | 286 1128.32/1128.54 c 1128s | 21 | 1685862 | 1480245 | 18949 189 | 5 | 286 1130.42/1130.60 c 1130s | 21 | 1688769 | 1482945 | 18949 189 | 5 | 286 1132.62/1132.86 c 1132s | 21 | 1689106 | 1483245 | 18949 189 | 5 | 286 1134.62/1134.88 c 1134s | 21 | 1690541 | 1484445 | 18949 189 | 5 | 286 1136.72/1136.90 c 1136s | 21 | 1693768 | 1487245 | 18949 189 | 5 | 286 1138.82/1139.00 c 1138s | 21 | 1696663 | 1489745 | 18949 190 | 5 | 286 1140.82/1141.02 c 1140s | 21 | 1700318 | 1493045 | 20844 190 | 5 | 286 1142.82/1143.07 c 1142s | 21 | 1703125 | 1495545 | 20844 190 | 5 | 286 1144.82/1145.07 c 1144s | 21 | 1705843 | 1497945 | 20844 190 | 5 | 286 1146.91/1147.14 c 1146s | 21 | 1708426 | 1500245 | 20844 190 | 5 | 286 1147.31/1147.53 c 1147s | 22 | 1708841 | 1500622 | 20844 190 | 5 | 286 1149.32/1149.59 c 1149s | 22 | 1710513 | 1502022 | 20844 191 | 5 | 286 1151.41/1151.65 c 1151s | 22 | 1713329 | 1504322 | 20844 191 | 5 | 286 1153.41/1153.68 c 1153s | 22 | 1716518 | 1506922 | 20844 191 | 5 | 286 1155.51/1155.74 c 1155s | 22 | 1719319 | 1509322 | 20844 191 | 5 | 286 1157.61/1157.80 c 1157s | 22 | 1722252 | 1511822 | 20844 192 | 5 | 286 1159.61/1159.81 c 1159s | 22 | 1725551 | 1514622 | 20844 192 | 5 | 286 1161.61/1161.85 c 1161s | 22 | 1728866 | 1517522 | 20844 192 | 5 | 286 1163.72/1163.90 c 1163s | 22 | 1731730 | 1520022 | 20844 192 | 5 | 286 1166.01/1166.26 c 1166s | 22 | 1734459 | 1522322 | 20844 193 | 5 | 286 1168.11/1168.32 c 1168s | 22 | 1737700 | 1525222 | 20844 193 | 5 | 286 1170.11/1170.33 c 1170s | 22 | 1740702 | 1527822 | 20844 193 | 5 | 286 1172.10/1172.38 c 1172s | 22 | 1743881 | 1530522 | 20844 193 | 5 | 286 1174.20/1174.40 c 1174s | 22 | 1746628 | 1532822 | 20844 194 | 5 | 286 1176.20/1176.41 c 1176s | 22 | 1749732 | 1535522 | 20844 194 | 5 | 286 1178.20/1178.46 c 1178s | 22 | 1752922 | 1538322 | 20844 194 | 5 | 286 1180.21/1180.48 c 1180s | 22 | 1755900 | 1540922 | 20844 194 | 5 | 286 1182.31/1182.50 c 1182s | 22 | 1758590 | 1543322 | 20844 194 | 5 | 286 1184.30/1184.56 c 1184s | 22 | 1761899 | 1546322 | 20844 195 | 5 | 286 1186.29/1186.59 c 1186s | 22 | 1764867 | 1549022 | 20844 195 | 5 | 286 1188.39/1188.67 c 1188s | 22 | 1767842 | 1551722 | 20844 195 | 5 | 286 1191.79/1192.08 c 1191s | 22 | 1767971 | 1551822 | 20844 195 | 5 | 286 1193.99/1194.28 c 1194s | 22 | 1770350 | 1553922 | 20844 196 | 5 | 286 1195.99/1196.28 c 1196s | 22 | 1773764 | 1557022 | 20844 196 | 5 | 286 1198.09/1198.32 c 1198s | 22 | 1777184 | 1560022 | 20844 196 | 5 | 286 1200.09/1200.38 c 1200s | 22 | 1780033 | 1562622 | 20844 196 | 5 | 286 1202.89/1203.16 c 1203s | 22 | 1782452 | 1564822 | 20844 197 | 5 | 286 1204.89/1205.16 c 1205s | 22 | 1785678 | 1567622 | 20844 197 | 5 | 286 1206.89/1207.18 c 1207s | 22 | 1788519 | 1570122 | 20844 197 | 5 | 286 1208.89/1209.19 c 1209s | 22 | 1791213 | 1572522 | 20844 197 | 5 | 286 1210.99/1211.28 c 1211s | 22 | 1793486 | 1574622 | 20844 197 | 5 | 286 1213.09/1213.34 c 1213s | 22 | 1795685 | 1576622 | 20844 198 | 5 | 286 1215.18/1215.40 c 1215s | 22 | 1798588 | 1579222 | 20844 198 | 5 | 286 1217.18/1217.44 c 1217s | 22 | 1801167 | 1581522 | 20844 198 | 5 | 286 1219.28/1219.51 c 1219s | 22 | 1803606 | 1583722 | 20844 198 | 5 | 286 1221.38/1221.66 c 1221s | 22 | 1805745 | 1585622 | 20844 199 | 5 | 286 1223.48/1223.71 c 1223s | 22 | 1808383 | 1588022 | 20844 199 | 5 | 286 1225.47/1225.78 c 1225s | 22 | 1811244 | 1590622 | 20844 199 | 5 | 286 1227.57/1227.87 c 1227s | 22 | 1813928 | 1593122 | 20844 199 | 5 | 286 1229.68/1229.93 c 1229s | 22 | 1816128 | 1595122 | 20844 199 | 5 | 286 1231.67/1231.98 c 1231s | 22 | 1818540 | 1597322 | 20844 200 | 5 | 286 1233.77/1234.03 c 1233s | 22 | 1821152 | 1599722 | 20844 200 | 5 | 286 1236.47/1236.79 c 1236s | 22 | 1822774 | 1601222 | 20844 200 | 5 | 286 1238.58/1238.82 c 1238s | 22 | 1825278 | 1603422 | 20844 200 | 5 | 286 1240.58/1240.85 c 1240s | 22 | 1827777 | 1605622 | 20844 200 | 5 | 286 1242.77/1243.03 c 1242s | 22 | 1829923 | 1607522 | 20844 201 | 5 | 286 1244.77/1245.04 c 1244s | 22 | 1833187 | 1610322 | 20844 201 | 5 | 286 1246.87/1247.10 c 1246s | 22 | 1836072 | 1612822 | 20844 201 | 5 | 286 1248.87/1249.18 c 1249s | 22 | 1838675 | 1615122 | 20844 201 | 5 | 286 1250.96/1251.21 c 1251s | 22 | 1840968 | 1617222 | 20844 202 | 5 | 286 1252.97/1253.26 c 1253s | 22 | 1844271 | 1620122 | 20844 202 | 5 | 286 1255.07/1255.30 c 1255s | 22 | 1847373 | 1622922 | 20844 202 | 5 | 286 1257.08/1257.32 c 1257s | 22 | 1849903 | 1625222 | 20844 202 | 5 | 286 1259.07/1259.38 c 1259s | 22 | 1852540 | 1627622 | 20844 202 | 5 | 286 1262.47/1262.73 c 1262s | 22 | 1854268 | 1629222 | 20844 203 | 5 | 286 1264.47/1264.75 c 1264s | 22 | 1855525 | 1630322 | 20844 203 | 5 | 286 1266.47/1266.79 c 1266s | 22 | 1858954 | 1633322 | 20844 203 | 5 | 286 1268.57/1268.87 c 1268s | 22 | 1862090 | 1636122 | 20844 203 | 5 | 286 1270.56/1270.88 c 1270s | 22 | 1864385 | 1638222 | 20844 204 | 5 | 286 1272.57/1272.88 c 1272s | 22 | 1867128 | 1640722 | 20844 204 | 5 | 286 1274.67/1274.92 c 1274s | 22 | 1869632 | 1643022 | 20844 204 | 5 | 286 1276.66/1276.97 c 1276s | 22 | 1872134 | 1645322 | 20844 204 | 5 | 286 1278.66/1278.99 c 1278s | 22 | 1874369 | 1647422 | 20844 204 | 5 | 286 1280.76/1281.05 c 1280s | 22 | 1876510 | 1649322 | 20844 205 | 5 | 286 1282.76/1283.07 c 1282s | 22 | 1879455 | 1652022 | 20844 205 | 5 | 286 1284.76/1285.09 c 1284s | 22 | 1881980 | 1654322 | 20844 205 | 5 | 286 1286.86/1287.16 c 1287s | 22 | 1884199 | 1656422 | 20844 205 | 5 | 286 1288.96/1289.25 c 1289s | 22 | 1886480 | 1658522 | 20844 205 | 5 | 286 1290.95/1291.27 c 1291s | 22 | 1887790 | 1659722 | 20844 206 | 5 | 286 1293.05/1293.34 c 1293s | 22 | 1890750 | 1662422 | 20844 206 | 5 | 286 1295.05/1295.35 c 1295s | 22 | 1893166 | 1664622 | 20844 206 | 5 | 286 1297.15/1297.40 c 1297s | 22 | 1895614 | 1666822 | 20844 206 | 5 | 286 1299.15/1299.42 c 1299s | 22 | 1897797 | 1668822 | 20844 206 | 5 | 286 1301.15/1301.44 c 1301s | 22 | 1899754 | 1670622 | 20844 207 | 5 | 286 1303.15/1303.45 c 1303s | 22 | 1902447 | 1673122 | 20844 207 | 5 | 286 1305.25/1305.52 c 1305s | 22 | 1904446 | 1675022 | 20844 207 | 5 | 286 1307.25/1307.59 c 1307s | 22 | 1906610 | 1677022 | 20844 207 | 5 | 286 1309.35/1309.66 c 1309s | 22 | 1908699 | 1678922 | 20844 207 | 5 | 286 1311.34/1311.67 c 1311s | 22 | 1910696 | 1680622 | 20844 208 | 5 | 286 1313.34/1313.70 c 1313s | 22 | 1913195 | 1682922 | 20844 208 | 5 | 286 1315.45/1315.72 c 1315s | 22 | 1915368 | 1684922 | 20844 208 | 5 | 286 1317.44/1317.73 c 1317s | 22 | 1917246 | 1686622 | 20844 208 | 5 | 286 1319.44/1319.78 c 1319s | 22 | 1919177 | 1688422 | 20844 208 | 5 | 286 1321.54/1321.80 c 1321s | 22 | 1921138 | 1690222 | 20844 208 | 5 | 286 1323.53/1323.85 c 1323s | 22 | 1923064 | 1692022 | 20844 209 | 5 | 286 1325.84/1326.19 c 1326s | 22 | 1923964 | 1692822 | 20844 209 | 5 | 286 1327.94/1328.21 c 1328s | 22 | 1926485 | 1695022 | 20844 209 | 5 | 286 1329.94/1330.21 c 1330s | 22 | 1928798 | 1697122 | 20844 209 | 5 | 286 1331.95/1332.28 c 1332s | 22 | 1931280 | 1699322 | 20844 209 | 5 | 286 1334.05/1334.35 c 1334s | 22 | 1933503 | 1701322 | 20844 209 | 5 | 286 1336.03/1336.39 c 1336s | 22 | 1935786 | 1703322 | 20844 210 | 5 | 286 1338.13/1338.42 c 1338s | 22 | 1939044 | 1706122 | 20844 210 | 5 | 286 1340.13/1340.47 c 1340s | 22 | 1941933 | 1708622 | 20844 210 | 5 | 286 1342.23/1342.50 c 1342s | 22 | 1944616 | 1711022 | 20844 210 | 5 | 286 1344.23/1344.56 c 1344s | 22 | 1947072 | 1713222 | 20844 211 | 5 | 286 1346.33/1346.62 c 1346s | 22 | 1949914 | 1715822 | 20844 211 | 5 | 286 1348.43/1348.71 c 1348s | 22 | 1951044 | 1716822 | 20844 211 | 5 | 286 1350.43/1350.74 c 1350s | 22 | 1953688 | 1719122 | 20844 211 | 5 | 286 1352.43/1352.75 c 1352s | 22 | 1955999 | 1721222 | 20844 211 | 5 | 286 1354.53/1354.82 c 1354s | 22 | 1958068 | 1723022 | 20844 212 | 5 | 286 1356.52/1356.83 c 1356s | 22 | 1961013 | 1725722 | 20844 212 | 5 | 286 1358.52/1358.84 c 1358s | 22 | 1963513 | 1728022 | 20844 212 | 5 | 286 1360.62/1360.92 c 1360s | 22 | 1965796 | 1730122 | 20844 212 | 5 | 286 1362.63/1362.96 c 1362s | 22 | 1968041 | 1732222 | 20844 212 | 5 | 286 1364.72/1365.01 c 1364s | 22 | 1970236 | 1734222 | 20844 213 | 5 | 286 1366.71/1367.06 c 1366s | 22 | 1972990 | 1736722 | 20844 213 | 5 | 286 1368.71/1369.06 c 1368s | 22 | 1975168 | 1738722 | 20844 213 | 5 | 286 1370.71/1371.08 c 1370s | 22 | 1977742 | 1741022 | 20844 213 | 5 | 286 1372.81/1373.15 c 1373s | 22 | 1980060 | 1743122 | 20844 213 | 5 | 286 1374.82/1375.17 c 1375s | 22 | 1982118 | 1745022 | 20844 214 | 5 | 286 1378.50/1378.86 c 1378s | 22 | 1984210 | 1746922 | 20844 214 | 5 | 286 1380.50/1380.87 c 1380s | 22 | 1987440 | 1749622 | 20844 214 | 5 | 286 1382.60/1382.97 c 1382s | 22 | 1990030 | 1751922 | 20844 214 | 5 | 286 1384.61/1385.00 c 1384s | 22 | 1992361 | 1753922 | 20844 214 | 5 | 286 1386.70/1387.02 c 1386s | 22 | 1994764 | 1756022 | 20844 215 | 5 | 286 1388.70/1389.07 c 1388s | 22 | 1997523 | 1758522 | 20844 215 | 5 | 286 1390.90/1391.21 c 1391s | 22 | 2000353 | 1761022 | 20844 215 | 5 | 286 1392.90/1393.29 c 1393s | 22 | 2003064 | 1763322 | 20844 215 | 5 | 286 1395.00/1395.34 c 1395s | 22 | 2005343 | 1765322 | 20844 216 | 5 | 286 1397.09/1397.40 c 1397s | 22 | 2008521 | 1768122 | 20844 216 | 5 | 286 1399.09/1399.42 c 1399s | 22 | 2011292 | 1770622 | 20844 216 | 5 | 286 1401.10/1401.43 c 1401s | 22 | 2013834 | 1772822 | 20844 216 | 5 | 286 1403.09/1403.43 c 1403s | 22 | 2016126 | 1774822 | 20844 216 | 5 | 286 1405.09/1405.49 c 1405s | 22 | 2019068 | 1777522 | 20844 217 | 5 | 286 1407.19/1407.52 c 1407s | 22 | 2022068 | 1780222 | 20844 217 | 5 | 286 1409.19/1409.55 c 1409s | 22 | 2024558 | 1782522 | 20844 217 | 5 | 286 1411.29/1411.60 c 1411s | 22 | 2026809 | 1784622 | 20844 217 | 5 | 286 1414.59/1414.96 c 1414s | 22 | 2028897 | 1786522 | 20844 218 | 5 | 286 1416.69/1417.02 c 1416s | 22 | 2030406 | 1787922 | 20844 218 | 5 | 286 1418.70/1419.05 c 1418s | 22 | 2033112 | 1790422 | 20844 218 | 5 | 286 1420.69/1421.08 c 1420s | 22 | 2035503 | 1792622 | 20844 218 | 5 | 286 1422.69/1423.09 c 1422s | 22 | 2037835 | 1794722 | 20844 218 | 5 | 286 1424.79/1425.12 c 1424s | 22 | 2039869 | 1796622 | 20844 219 | 5 | 286 1426.79/1427.14 c 1426s | 22 | 2042355 | 1798922 | 20844 219 | 5 | 286 1428.88/1429.22 c 1429s | 22 | 2044632 | 1801022 | 20844 219 | 5 | 286 1430.89/1431.26 c 1431s | 22 | 2046873 | 1803022 | 20844 219 | 5 | 286 1432.99/1433.35 c 1433s | 22 | 2048950 | 1804922 | 20844 219 | 5 | 286 1435.19/1435.55 c 1435s | 22 | 2051023 | 1806822 | 20844 220 | 5 | 286 1437.39/1437.75 c 1437s | 22 | 2053327 | 1808922 | 20844 220 | 5 | 286 1439.38/1439.77 c 1439s | 22 | 2056268 | 1811522 | 20844 220 | 5 | 286 1441.48/1441.85 c 1441s | 22 | 2059006 | 1813922 | 20844 220 | 5 | 286 1443.48/1443.89 c 1443s | 22 | 2061585 | 1816222 | 20844 220 | 5 | 286 1445.57/1445.92 c 1445s | 22 | 2063070 | 1817622 | 20844 221 | 5 | 286 1447.57/1447.95 c 1447s | 22 | 2065742 | 1820022 | 20844 221 | 5 | 286 1449.58/1449.99 c 1449s | 22 | 2068137 | 1822222 | 20844 221 | 5 | 286 1451.68/1452.03 c 1451s | 22 | 2070259 | 1824122 | 20844 221 | 5 | 286 1453.67/1454.05 c 1453s | 22 | 2072572 | 1826222 | 20844 221 | 5 | 286 1456.77/1457.16 c 1457s | 22 | 2074527 | 1828022 | 20844 222 | 5 | 286 1458.77/1459.18 c 1459s | 22 | 2077433 | 1830522 | 20844 222 | 5 | 286 1460.87/1461.23 c 1461s | 22 | 2080769 | 1833422 | 20844 222 | 5 | 286 1462.87/1463.26 c 1463s | 22 | 2083606 | 1835922 | 20844 222 | 5 | 286 1464.88/1465.30 c 1465s | 22 | 2085953 | 1838022 | 20844 222 | 5 | 286 1466.97/1467.34 c 1467s | 22 | 2088352 | 1840222 | 20844 223 | 5 | 286 1469.07/1469.41 c 1469s | 22 | 2091168 | 1842722 | 20844 223 | 5 | 286 1471.17/1471.51 c 1471s | 22 | 2093699 | 1845022 | 20844 223 | 5 | 286 1473.17/1473.55 c 1473s | 22 | 2095669 | 1846822 | 20844 223 | 5 | 286 1475.26/1475.62 c 1475s | 22 | 2097932 | 1848822 | 20844 223 | 5 | 286 1477.36/1477.72 c 1477s | 22 | 2100247 | 1850922 | 20844 224 | 5 | 286 1479.36/1479.78 c 1479s | 22 | 2103031 | 1853322 | 20844 224 | 5 | 286 1481.47/1481.86 c 1481s | 22 | 2105632 | 1855522 | 20844 224 | 5 | 286 1483.57/1483.96 c 1483s | 22 | 2108157 | 1857722 | 20844 224 | 5 | 286 1485.76/1486.16 c 1486s | 22 | 2110264 | 1859522 | 20844 225 | 5 | 286 1487.85/1488.22 c 1488s | 22 | 2113192 | 1862122 | 20844 225 | 5 | 286 1489.85/1490.24 c 1490s | 22 | 2116333 | 1864922 | 20844 225 | 5 | 286 1491.85/1492.26 c 1492s | 22 | 2119026 | 1867322 | 20844 225 | 5 | 286 1493.95/1494.30 c 1494s | 22 | 2121406 | 1869522 | 20844 225 | 5 | 286 1495.95/1496.35 c 1496s | 22 | 2124143 | 1872022 | 20844 226 | 5 | 286 1498.05/1498.41 c 1498s | 22 | 2126611 | 1874122 | 20844 226 | 5 | 286 1500.06/1500.47 c 1500s | 22 | 2129154 | 1876322 | 20844 226 | 5 | 286 1502.05/1502.49 c 1502s | 22 | 2131401 | 1878322 | 20844 226 | 5 | 286 1504.15/1504.50 c 1504s | 22 | 2133593 | 1880322 | 20844 226 | 5 | 286 1506.14/1506.50 c 1506s | 22 | 2136119 | 1882522 | 20844 227 | 5 | 286 1508.14/1508.51 c 1508s | 22 | 2138082 | 1884222 | 20844 227 | 5 | 286 1510.14/1510.54 c 1510s | 22 | 2141048 | 1886822 | 20844 227 | 5 | 286 1512.15/1512.58 c 1512s | 22 | 2143440 | 1889022 | 20844 227 | 5 | 286 1514.24/1514.67 c 1514s | 22 | 2145751 | 1891122 | 20844 228 | 5 | 286 1516.23/1516.68 c 1516s | 22 | 2148534 | 1893622 | 20844 228 | 5 | 286 1518.33/1518.70 c 1518s | 22 | 2151081 | 1895922 | 20844 228 | 5 | 286 1520.33/1520.75 c 1520s | 22 | 2153689 | 1898322 | 20844 228 | 5 | 286 1522.43/1522.83 c 1522s | 22 | 2155934 | 1900422 | 20844 228 | 5 | 286 1524.43/1524.85 c 1524s | 22 | 2158070 | 1902422 | 20844 229 | 5 | 286 1526.44/1526.88 c 1526s | 22 | 2160453 | 1904622 | 20844 229 | 5 | 286 1528.53/1528.97 c 1528s | 22 | 2163172 | 1907022 | 20844 229 | 5 | 286 1530.63/1531.03 c 1530s | 22 | 2165473 | 1909122 | 20844 229 | 5 | 286 1532.63/1533.06 c 1532s | 22 | 2167590 | 1911022 | 20844 229 | 5 | 286 1535.94/1536.31 c 1536s | 22 | 2169111 | 1912422 | 20844 230 | 5 | 286 1537.93/1538.32 c 1538s | 22 | 2169837 | 1913022 | 20844 230 | 5 | 286 1539.93/1540.33 c 1540s | 22 | 2173365 | 1916022 | 20844 230 | 5 | 286 1541.94/1542.37 c 1542s | 22 | 2176612 | 1918922 | 20844 230 | 5 | 286 1543.93/1544.38 c 1544s | 22 | 2179365 | 1921322 | 20844 230 | 5 | 286 1546.03/1546.40 c 1546s | 22 | 2181994 | 1923722 | 20844 231 | 5 | 286 1548.03/1548.41 c 1548s | 22 | 2184611 | 1926022 | 20844 231 | 5 | 286 1550.03/1550.43 c 1550s | 22 | 2187368 | 1928422 | 20844 231 | 5 | 286 1552.03/1552.49 c 1552s | 22 | 2189986 | 1930722 | 20844 231 | 5 | 286 1554.12/1554.55 c 1554s | 22 | 2192552 | 1932922 | 20844 231 | 5 | 286 1556.13/1556.59 c 1556s | 22 | 2194766 | 1934922 | 20844 232 | 5 | 286 1558.22/1558.62 c 1558s | 22 | 2197639 | 1937422 | 20844 232 | 5 | 286 1560.22/1560.67 c 1560s | 22 | 2200232 | 1939822 | 20844 232 | 5 | 286 1562.33/1562.72 c 1562s | 22 | 2202804 | 1942122 | 20844 232 | 5 | 286 1564.53/1564.94 c 1564s | 22 | 2205278 | 1944322 | 20844 233 | 5 | 286 1566.52/1566.94 c 1566s | 22 | 2208207 | 1947022 | 20844 233 | 5 | 286 1568.52/1568.99 c 1568s | 22 | 2210549 | 1949222 | 20844 233 | 5 | 286 1570.62/1571.06 c 1570s | 22 | 2211519 | 1950122 | 20844 233 | 5 | 286 1572.72/1573.11 c 1572s | 22 | 2212877 | 1951322 | 20844 233 | 5 | 286 1574.72/1575.11 c 1574s | 22 | 2215353 | 1953422 | 20844 233 | 5 | 286 1576.71/1577.12 c 1576s | 22 | 2217676 | 1955322 | 20844 234 | 5 | 286 1578.71/1579.16 c 1579s | 22 | 2221500 | 1958522 | 20844 234 | 5 | 286 1580.81/1581.20 c 1581s | 22 | 2224691 | 1961322 | 20844 234 | 5 | 286 1582.81/1583.22 c 1583s | 22 | 2227539 | 1963822 | 20844 234 | 5 | 286 1584.82/1585.24 c 1585s | 22 | 2230250 | 1966222 | 20844 235 | 5 | 286 1586.80/1587.30 c 1587s | 22 | 2232411 | 1968022 | 20844 235 | 5 | 286 1588.90/1589.36 c 1589s | 22 | 2236033 | 1971022 | 20844 235 | 5 | 286 1590.90/1591.39 c 1591s | 22 | 2239143 | 1973722 | 20844 235 | 5 | 286 1593.20/1593.69 c 1593s | 22 | 2241972 | 1976122 | 20844 236 | 5 | 286 1595.30/1595.70 c 1595s | 22 | 2245421 | 1979022 | 20844 236 | 5 | 286 1597.30/1597.75 c 1597s | 22 | 2248481 | 1981722 | 20844 236 | 5 | 286 1599.30/1599.78 c 1599s | 22 | 2251575 | 1984322 | 20844 236 | 5 | 286 1601.40/1601.82 c 1601s | 22 | 2254488 | 1986822 | 20844 237 | 5 | 286 1603.40/1603.86 c 1603s | 22 | 2258050 | 1989922 | 20844 237 | 5 | 286 1605.39/1605.88 c 1605s | 22 | 2260963 | 1992522 | 20844 237 | 5 | 286 1608.90/1609.40 c 1609s | 22 | 2262249 | 1993722 | 20844 237 | 5 | 286 1611.00/1611.48 c 1611s | 22 | 2264769 | 1995922 | 20844 237 | 5 | 286 1613.10/1613.54 c 1613s | 22 | 2267031 | 1998022 | 20844 238 | 5 | 286 1615.10/1615.55 c 1615s | 22 | 2270124 | 2000722 | 20844 238 | 5 | 286 1617.09/1617.59 c 1617s | 22 | 2272747 | 2003122 | 20844 238 | 5 | 286 1619.19/1619.68 c 1619s | 22 | 2275020 | 2005222 | 20844 238 | 5 | 286 1621.29/1621.71 c 1621s | 22 | 2276857 | 2006922 | 20844 239 | 5 | 286 1623.30/1623.75 c 1623s | 22 | 2279095 | 2008922 | 20844 239 | 5 | 286 1625.40/1625.80 c 1625s | 22 | 2282173 | 2011622 | 20844 239 | 5 | 286 1627.39/1627.81 c 1627s | 22 | 2284795 | 2013922 | 20844 239 | 5 | 286 1629.39/1629.87 c 1629s | 22 | 2287262 | 2016122 | 20844 239 | 5 | 286 1631.39/1631.89 c 1631s | 22 | 2289370 | 2018022 | 20844 240 | 5 | 286 1633.49/1633.90 c 1633s | 22 | 2291064 | 2019522 | 20844 240 | 5 | 286 1635.48/1635.93 c 1635s | 22 | 2294016 | 2022122 | 20844 240 | 5 | 286 1637.49/1637.99 c 1637s | 22 | 2296671 | 2024522 | 20844 240 | 5 | 286 1639.58/1640.04 c 1639s | 22 | 2299062 | 2026622 | 20844 240 | 5 | 286 1641.58/1642.06 c 1641s | 22 | 2301382 | 2028622 | 20844 241 | 5 | 286 1643.68/1644.16 c 1644s | 22 | 2304446 | 2031222 | 20844 241 | 5 | 286 1645.67/1646.19 c 1646s | 22 | 2307043 | 2033522 | 20844 241 | 5 | 286 1648.07/1648.58 c 1648s | 22 | 2308560 | 2034822 | 20844 241 | 5 | 286 1650.17/1650.67 c 1650s | 22 | 2310863 | 2036822 | 20844 241 | 5 | 286 1652.37/1652.80 c 1652s | 22 | 2313078 | 2038822 | 20844 242 | 5 | 286 1654.37/1654.80 c 1654s | 22 | 2316375 | 2041722 | 20844 242 | 5 | 286 1656.36/1656.83 c 1656s | 22 | 2319203 | 2044322 | 20844 242 | 5 | 286 1658.37/1658.85 c 1658s | 22 | 2321419 | 2046322 | 20844 242 | 5 | 286 1660.46/1660.91 c 1660s | 22 | 2324018 | 2048622 | 20844 242 | 5 | 286 1662.56/1663.00 c 1662s | 22 | 2326652 | 2051022 | 20844 243 | 5 | 286 1664.56/1665.05 c 1664s | 22 | 2329266 | 2053422 | 20844 243 | 5 | 286 1666.57/1667.05 c 1666s | 22 | 2331687 | 2055622 | 20844 243 | 5 | 286 1668.67/1669.10 c 1668s | 22 | 2333855 | 2057622 | 20844 243 | 5 | 286 1670.87/1671.32 c 1671s | 22 | 2336016 | 2059622 | 20844 244 | 5 | 286 1672.86/1673.40 c 1673s | 22 | 2338810 | 2062222 | 20844 244 | 5 | 286 1676.07/1676.52 c 1676s | 22 | 2341150 | 2064422 | 20844 244 | 5 | 286 1678.06/1678.54 c 1678s | 22 | 2343075 | 2066222 | 20844 244 | 5 | 286 1680.16/1680.63 c 1680s | 22 | 2345513 | 2068422 | 20844 244 | 5 | 286 1682.26/1682.76 c 1682s | 22 | 2347468 | 2070222 | 20844 245 | 5 | 286 1684.36/1684.84 c 1684s | 22 | 2350197 | 2072622 | 20844 245 | 5 | 286 1686.35/1686.86 c 1686s | 22 | 2352775 | 2074922 | 20844 245 | 5 | 286 1688.45/1688.94 c 1688s | 22 | 2355065 | 2077022 | 20844 245 | 5 | 286 1690.45/1690.98 c 1690s | 22 | 2357326 | 2079122 | 20844 245 | 5 | 286 1692.56/1693.02 c 1692s | 22 | 2359233 | 2080822 | 20844 246 | 5 | 286 1694.55/1695.07 c 1694s | 22 | 2361777 | 2083122 | 20844 246 | 5 | 286 1696.55/1697.09 c 1696s | 22 | 2364290 | 2085422 | 20844 246 | 5 | 286 1698.65/1699.12 c 1698s | 22 | 2366585 | 2087522 | 20844 246 | 5 | 286 1700.65/1701.13 c 1700s | 22 | 2368611 | 2089422 | 20844 246 | 5 | 286 1702.65/1703.14 c 1702s | 22 | 2370431 | 2091122 | 20844 246 | 5 | 286 1704.65/1705.15 c 1705s | 22 | 2372918 | 2093422 | 20844 247 | 5 | 286 1707.55/1708.07 c 1707s | 22 | 2373783 | 2094222 | 20844 247 | 5 | 286 1709.65/1710.10 c 1709s | 22 | 2376743 | 2096722 | 20844 247 | 5 | 286 1711.64/1712.11 c 1711s | 22 | 2379572 | 2099122 | 20844 247 | 5 | 286 1713.64/1714.12 c 1713s | 22 | 2382056 | 2101322 | 20844 247 | 5 | 286 1715.74/1716.23 c 1716s | 22 | 2384628 | 2103622 | 20844 248 | 5 | 286 1717.74/1718.28 c 1718s | 22 | 2387651 | 2106322 | 20844 248 | 5 | 286 1719.84/1720.30 c 1720s | 22 | 2390248 | 2108622 | 20844 248 | 5 | 286 1721.84/1722.39 c 1722s | 22 | 2392748 | 2110822 | 20844 248 | 5 | 286 1723.94/1724.48 c 1724s | 22 | 2394593 | 2112422 | 20844 249 | 5 | 286 1726.03/1726.53 c 1726s | 22 | 2397577 | 2115022 | 20844 249 | 5 | 286 1728.03/1728.58 c 1728s | 22 | 2400764 | 2117722 | 20844 249 | 5 | 286 1730.03/1730.59 c 1730s | 22 | 2403722 | 2120322 | 20844 249 | 5 | 286 1732.14/1732.61 c 1732s | 22 | 2406168 | 2122522 | 20844 249 | 5 | 286 1734.24/1734.71 c 1734s | 22 | 2408879 | 2125022 | 20844 250 | 5 | 286 1736.23/1736.77 c 1736s | 22 | 2411373 | 2127222 | 20844 250 | 5 | 286 1738.23/1738.79 c 1738s | 22 | 2413981 | 2129522 | 20844 250 | 5 | 286 1740.33/1740.83 c 1740s | 22 | 2416536 | 2131822 | 20844 250 | 5 | 286 1742.52/1743.02 c 1742s | 22 | 2418287 | 2133422 | 20844 251 | 5 | 286 1744.52/1745.07 c 1744s | 22 | 2421511 | 2136322 | 20844 251 | 5 | 286 1746.62/1747.13 c 1746s | 22 | 2424283 | 2138822 | 20844 251 | 5 | 286 1748.63/1749.19 c 1749s | 22 | 2426624 | 2141022 | 20844 251 | 5 | 286 1750.72/1751.29 c 1751s | 22 | 2428853 | 2143122 | 20844 251 | 5 | 286 1755.91/1756.44 c 1756s | 22 | 2429719 | 2143922 | 20844 252 | 5 | 286 1757.91/1758.46 c 1758s | 22 | 2431489 | 2145422 | 20844 252 | 5 | 286 1760.01/1760.51 c 1760s | 22 | 2434957 | 2148322 | 20844 252 | 5 | 286 1762.01/1762.56 c 1762s | 22 | 2437843 | 2150822 | 20844 252 | 5 | 286 1764.11/1764.62 c 1764s | 22 | 2440726 | 2153322 | 20844 252 | 5 | 286 1766.12/1766.65 c 1766s | 22 | 2443228 | 2155522 | 20844 253 | 5 | 286 1768.11/1768.68 c 1768s | 22 | 2446519 | 2158422 | 20844 253 | 5 | 286 1770.11/1770.70 c 1770s | 22 | 2448876 | 2160422 | 20844 253 | 5 | 286 1772.21/1772.75 c 1772s | 22 | 2451388 | 2162622 | 20844 253 | 5 | 286 1774.31/1774.85 c 1774s | 22 | 2453781 | 2164722 | 20844 253 | 5 | 286 1776.41/1776.91 c 1776s | 22 | 2456354 | 2167022 | 20844 254 | 5 | 286 1778.41/1778.95 c 1778s | 22 | 2458991 | 2169422 | 20844 254 | 5 | 286 1780.42/1780.96 c 1780s | 22 | 2461646 | 2171822 | 20844 254 | 5 | 286 1782.51/1783.03 c 1782s | 22 | 2464239 | 2174122 | 20844 254 | 5 | 286 1784.51/1785.08 c 1784s | 22 | 2466486 | 2176222 | 20844 255 | 5 | 286 1786.61/1787.11 c 1786s | 22 | 2469574 | 2179122 | 20844 255 | 5 | 286 1788.61/1789.12 c 1788s | 22 | 2472124 | 2181422 | 20844 255 | 5 | 286 1790.71/1791.20 c 1791s | 22 | 2474798 | 2183822 | 20844 255 | 5 | 286 1794.91/1795.48 c 1795s | 22 | 2476548 | 2185422 | 20844 255 | 5 | 286 1797.01/1797.54 c 1797s | 22 | 2479187 | 2187722 | 20844 256 | 5 | 286 1799.00/1799.54 c 1799s | 22 | 2482175 | 2190222 | 20844 256 | 5 | 286
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-4096673-1466114793/watcher-4096673-1466114793 -o /tmp/evaluation-result-4096673-1466114793/solver-4096673-1466114793 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31002 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096673-1466114793.opb pid=31698 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.24 2.21 2.18 3/179 31701 /proc/meminfo: memFree=29509928/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=616892 CPUtime=0 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 2283 0 0 0 0 0 0 0 20 0 4 0 13525924 631697408 2644 33554432000 4194304 16246674 140736772869648 140736772868976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 154735 2653 441 2943 0 151629 0 [pid=31701/tid=31702] ppid=31698 vsize=634300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 649523200 2713 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=639420 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 654766080 2731 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=643516 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 658960384 2749 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100181 s] /proc/loadavg: 2.24 2.21 2.18 3/179 31701 /proc/meminfo: memFree=29509928/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1221188 CPUtime=0.09 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 22655 0 0 0 6 3 0 0 20 0 4 0 13525924 1250496512 22953 33554432000 4194304 16246674 140736772869648 140736772868960 5873158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 305297 22953 836 2943 0 302191 0 [pid=31701/tid=31702] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 22953 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 22953 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 22953 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1221188 [startup+0.20055 s] /proc/loadavg: 2.24 2.21 2.18 3/179 31701 /proc/meminfo: memFree=29509928/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1221188 CPUtime=0.19 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 41170 0 0 0 13 6 0 0 20 0 4 0 13525924 1250496512 41469 33554432000 4194304 16246674 140736772869648 140736772868960 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 305297 41477 878 2943 0 302191 0 [pid=31701/tid=31702] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 41479 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 41484 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 41489 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1221188 [startup+0.300497 s] /proc/loadavg: 2.24 2.21 2.18 3/179 31701 /proc/meminfo: memFree=29509928/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1221188 CPUtime=0.28 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 63486 0 0 0 19 9 0 0 20 0 4 0 13525924 1250496512 63784 33554432000 4194304 16246674 140736772869648 140736772868960 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 305297 63795 878 2943 0 302191 0 [pid=31701/tid=31702] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 63799 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 63807 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 63816 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 1221188 [startup+0.700365 s] /proc/loadavg: 2.24 2.21 2.18 3/179 31701 /proc/meminfo: memFree=29509928/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1221188 CPUtime=0.68 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 147415 0 0 0 47 21 0 0 20 0 4 0 13525924 1250496512 147714 33554432000 4194304 16246674 140736772869648 140736772851520 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 305297 147724 878 2943 0 302191 0 [pid=31701/tid=31702] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 147731 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 147737 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1250496512 147742 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 1221188 [startup+1.50043 s] /proc/loadavg: 2.24 2.21 2.18 3/183 31705 /proc/meminfo: memFree=28598316/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1301060 CPUtime=1.48 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 266272 0 0 0 112 36 0 0 20 0 4 0 13525924 1332285440 266570 33554432000 4194304 16246674 140736772869648 140736772851520 5823508 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 325265 266570 881 2943 0 322159 0 [pid=31701/tid=31702] ppid=31698 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1332285440 266570 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1332285440 266570 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1301060 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1332285440 266570 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1301060 [startup+3.10043 s] /proc/loadavg: 2.24 2.21 2.18 3/183 31705 /proc/meminfo: memFree=28444432/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1307204 CPUtime=3.09 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 267837 0 0 0 272 37 0 0 20 0 4 0 13525924 1338576896 268135 33554432000 4194304 16246674 140736772869648 140736772852648 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 326801 268135 881 2943 0 323695 0 [pid=31701/tid=31702] ppid=31698 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1338576896 268135 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1338576896 268135 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1307204 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1338576896 268135 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30043 s] /proc/loadavg: 2.22 2.20 2.18 3/183 31705 /proc/meminfo: memFree=28437284/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1311300 CPUtime=6.29 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 269009 0 0 0 592 37 0 0 20 0 4 0 13525924 1342771200 269307 33554432000 4194304 16246674 140736772869648 140736772851520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 327825 269307 885 2943 0 324719 0 [pid=31701/tid=31702] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1311300 [startup+12.7004 s] /proc/loadavg: 2.28 2.22 2.19 3/183 31705 /proc/meminfo: memFree=28413724/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1311300 CPUtime=12.69 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 269009 0 0 0 1232 37 0 0 20 0 4 0 13525924 1342771200 269307 33554432000 4194304 16246674 140736772869648 140736772851520 5723564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 327825 269307 885 2943 0 324719 0 [pid=31701/tid=31702] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1311300 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1342771200 269307 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.37 2.24 2.19 3/183 31705 /proc/meminfo: memFree=28409400/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1324612 CPUtime=25.48 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 272104 0 0 0 2511 37 0 0 20 0 4 0 13525924 1356402688 272402 33554432000 4194304 16246674 140736772869648 140736772851520 5677662 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 331153 272402 885 2943 0 328047 0 [pid=31701/tid=31702] ppid=31698 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1356402688 272402 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1356402688 272402 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1324612 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1356402688 272402 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1324612 [startup+51.1005 s] /proc/loadavg: 2.25 2.22 2.18 4/183 31705 /proc/meminfo: memFree=28394528/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1329732 CPUtime=51.08 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 273617 0 0 0 5070 38 0 0 20 0 4 0 13525924 1361645568 273915 33554432000 4194304 16246674 140736772869648 140736772851520 6011963 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 332433 273915 885 2943 0 329327 0 [pid=31701/tid=31702] ppid=31698 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1361645568 273915 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1361645568 273915 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1329732 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1361645568 273915 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1329732 [startup+102.3 s] /proc/loadavg: 2.32 2.24 2.19 3/183 31706 /proc/meminfo: memFree=28368584/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1342020 CPUtime=102.28 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 276690 0 0 0 10190 38 0 0 20 0 4 0 13525924 1374228480 276988 33554432000 4194304 16246674 140736772869648 140736772851520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 335505 276988 886 2943 0 332399 0 [pid=31701/tid=31702] ppid=31698 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1374228480 276988 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1374228480 276988 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1342020 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1374228480 276988 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1342020 ################ # More data... # ################ /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1302.05 Current children cumulated vsize (KiB) 1386052 [startup+1362.3 s] /proc/loadavg: 2.16 2.20 2.18 3/183 31737 /proc/meminfo: memFree=28290744/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1362.02 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287805 0 0 0 136142 60 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 1386052 [startup+1422.3 s] /proc/loadavg: 2.17 2.19 2.18 3/184 31741 /proc/meminfo: memFree=28291088/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1421.99 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287840 0 0 0 142138 61 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5523608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 1386052 [startup+1482.3 s] /proc/loadavg: 2.39 2.24 2.19 3/183 31743 /proc/meminfo: memFree=28290240/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1481.96 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287873 0 0 0 148134 62 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.96 Current children cumulated vsize (KiB) 1386052 [startup+1542.31 s] /proc/loadavg: 2.18 2.20 2.18 3/183 31744 /proc/meminfo: memFree=28270048/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1541.94 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287904 0 0 0 154131 63 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.94 Current children cumulated vsize (KiB) 1386052 [startup+1602.3 s] /proc/loadavg: 2.14 2.18 2.17 4/183 31745 /proc/meminfo: memFree=28270024/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1601.9 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287942 0 0 0 160126 64 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1386052 [startup+1662.3 s] /proc/loadavg: 2.20 2.19 2.18 3/183 31746 /proc/meminfo: memFree=28270048/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1661.86 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 287984 0 0 0 166121 65 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5673957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1386052 [startup+1722.3 s] /proc/loadavg: 2.12 2.17 2.17 3/183 31747 /proc/meminfo: memFree=28269936/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1721.84 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 288022 0 0 0 172117 67 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5663122 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1386052 [startup+1782.3 s] /proc/loadavg: 2.15 2.18 2.17 4/183 31847 /proc/meminfo: memFree=28361720/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1781.81 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 288041 0 0 0 178112 69 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772852648 5827969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1386052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.24 2.20 2.18 3/183 31847 /proc/meminfo: memFree=28354328/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1800 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 288047 0 0 0 179931 69 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1386052 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 31701 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.24 2.20 2.18 3/183 31847 /proc/meminfo: memFree=28354328/32872528 swapFree=1190796/1305260 [pid=31701] ppid=31698 vsize=1386052 CPUtime=1800 cores=1,3,5,7 /proc/31701/stat : 31701 (toysat) R 31698 31701 29204 0 -1 4202496 288047 0 0 0 179931 69 0 0 20 0 4 0 13525924 1419317248 288252 33554432000 4194304 16246674 140736772869648 140736772851520 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/31701/statm: 346513 288252 886 2943 0 343407 0 [pid=31701/tid=31702] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31702/stat : 31702 (toysat) S 31698 31701 29204 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606480297200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=31701/tid=31703] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31703/stat : 31703 (toysat) S 31698 31701 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606469807344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=31701/tid=31704] ppid=31698 vsize=1386052 CPUtime=0 cores=1,3,5,7 /proc/31701/task/31704/stat : 31704 (toysat) S 31698 31701 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13525925 1419317248 288252 33554432000 4194304 16246674 140736772869648 140606357630128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 1386052 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.32 CPU system time (s): 0.697893 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1386052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.32 system time used= 0.697893 maximum resident set size= 1153008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 288047 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= 365 involuntary context switches= 2112 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.59615 second user time and 6.83496 second system time The end
Begin job on node127 at 2016-06-17 00:06:33 IDJOB=4096673 IDBENCH=107648 IDSOLVER=2542 FILE ID=node127/4096673-1466114793 RUNJOBID= node127-1466112960-31002 PBS_JOBID= 19904036 Free space on /tmp= 71724 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_6_31.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096673-1466114793/watcher-4096673-1466114793 -o /tmp/evaluation-result-4096673-1466114793/solver-4096673-1466114793 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466112960-31002 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096673-1466114793.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3c5c67a05b8f77fc58cd0cec4854ace8 RANDOM SEED=185570058 node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.53 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.769 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29509928 kB Buffers: 59760 kB Cached: 169364 kB SwapCached: 34656 kB Active: 1204308 kB Inactive: 147360 kB Active(anon): 1089056 kB Inactive(anon): 35592 kB Active(file): 115252 kB Inactive(file): 111768 kB Unevictable: 1305260 kB Mlocked: 1190796 kB SwapTotal: 67108856 kB SwapFree: 67066092 kB Dirty: 16396 kB Writeback: 0 kB AnonPages: 2398116 kB Mapped: 10680 kB Shmem: 0 kB Slab: 571816 kB SReclaimable: 15372 kB SUnreclaim: 556444 kB KernelStack: 1520 kB PageTables: 8936 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 2536388 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 122880 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71708 MiB End job on node127 at 2016-06-17 00:36:34