| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.05 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb |
| MD5SUM | 651e385f00e2858954d8683e891a1dbe |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 0.158975 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 3 |
| Optimality of the best value was proved | YES |
| Number of variables | 216 |
| Total number of constraints | 19 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 19 |
| Minimum length of a constraint | 8 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 8 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 255 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 32768 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 130560 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 576 |
| Sum of products size (including duplicates) | 1152 |
| Number of different products | 576 |
| Sum of products size | 1152 |
0.00/0.00 c 2016-06-18T18:25:13+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-4106181-1466267112.opb"] 0.00/0.01 c use --random-gen="2182379174 72372190 44981784 3905235775 3747807644 2572983426 2282135518 1912688288 2277859204 1437945245 2072521115 705004075 3990792495 610611761 260584917 2554272781 1155423939 75326365 583910102 436339653 1243351272 847854961 3987001884 3886491955 1265740443 2034790874 2122709869 3597528400 4176677418 690985066 1632001905 2954841710 267588108 3514128686 1286462235 3195885124 217355121 1087861791 360524856 2120999781 1994375652 3006462867 2760433325 2715130298 2938639375 3889146067 32610314 2759085864 1478082449 3260049930 2697084799 1657651882 3988405344 218995523 3271565418 2400467994 2730603326 2559426200 2369592867 3108132231 1591877596 562496347 129848112 681102665 2353254189 1340540345 55562197 1279588537 1579757706 986112443 378658166 1677134351 2314791230 599053181 3618545378 1908014531 937822220 2943596508 3188173860 2781762632 3642197770 1256144376 1942403279 41476567 3298294661 930277737 2172502486 3947547079 430900068 1528402030 531146874 3997418660 1346252423 736474014 530303841 2086551545 1944996617 67296870 3818454280 3946294477 3779947454 2970407833 315853611 1445495217 2437707843 1663877926 3598830433 1540378962 1507969974 119592927 1167799987 91138606 1683814940 1824029671 1323331696 3346846335 1819846458 1625332125 3763897483 1069579159 880038620 2569574823 4119485893 379947919 3447190024 3938350247 442814115 2124936840 3901235893 3204757112 1208618023 3916066155 775723296 2371296510 3476050028 1093695562 2555374694 89108453 3697918627 3254485810 2042094870 3842810789 851732869 3244702785 1953737033 1735741057 2895395256 1090811543 457422531 2814509786 3210704502 932239300 1115752051 2178302898 3342269261 2222195123 1912890128 1560874970 3448393107 1490975433 3529662976 2960454597 271697500 3787952934 1481086738 1188570807 2469901514 1731715933 200732903 1179901265 1390697643 3472892383 3948947638 1056176808 202218083 782535811 2018112028 1900381955 1763592341 2450883001 3850760381 3902910246 1417405389 2678750056 1515425806 3385748052 683539659 839563546 2753854477 2976729997 3307846847 1828413708 3178306615 3059446670 1002248994 4055368900 4030467768 157256236 2343708227 781649599 3978919118 3254283122 187766696 564779920 2988630832 1078848844 651424042 3271721065 2356693284 4147614349 4287620428 2287038739 395440586 1820838345 2983172382 2156403533 2707248189 806281565 2174634530 3007644239 3706361711 2620944174 1661807796 1030676333 2981429460 3401410964 2764213998 1202289839 585728745 2638553506 3302654242 2638715406 1356056506 2348062625 2208223735 3696400546 1429601163 3156364030 432534645 3761403429 1939922166 2631478578 959243087 1534525214 2532727748 1241402028 2092760243 1583475547 1929870141 4222829597 1902928948 1130305674 3306725383 2180695399 1972120908 1079838241 255 362436" option to reproduce the execution 0.00/0.01 c #vars 216 0.00/0.01 c #constraints 19 0.00/0.03 c BCD2: Hardening is enabled. 0.00/0.03 c BCD2: BiasedSearch is enabled. 0.00/0.03 c Solving starts ... 0.00/0.03 c ============================[ Search Statistics ]============================ 0.00/0.03 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.03 c | | | | Limit GC | Var | Constra 0.00/0.03 c ============================================================================= 0.00/0.03 c 0.0s | 0 | 0 | 0 | 849 0 | 0 | 0 0.00/0.05 c 0.0s | 1 | 111 | 100 | 849 0 | 0 | 0 0.00/0.09 c 0.1s | 2 | 273 | 250 | 934 0 | 0 | 0 0.09/0.14 c 0.1s | 3 | 534 | 475 | 1028 0 | 0 | 0 0.19/0.23 c 0.2s | 4 | 949 | 813 | 1131 0 | 0 | 0 0.29/0.36 c 0.3s | 5 | 1541 | 1320 | 1245 0 | 0 | 0 0.49/0.57 c 0.5s | 6 | 2457 | 2081 | 1508 1 | 0 | 0 1.89/1.99 c 2.0s | 7 | 3773 | 3223 | 1659 2 | 0 | 0 2.49/2.57 c 2.5s | 8 | 5957 | 4936 | 1825 3 | 0 | 0 3.19/3.29 c 3.3s | 9 | 8794 | 7506 | 2008 6 | 0 | 0 4.40/4.49 c 4.5s | 10 | 13206 | 11361 | 2209 8 | 0 | 0 5.89/5.98 c 5.9s | 11 | 19368 | 17144 | 2430 13 | 0 | 0 7.59/7.70 c 7.7s | 11 | 27045 | 24181 | 2430 17 | 0 | 0 7.59/7.70 c #cpu_time = 7.647s 7.59/7.70 c #wall_clock_time = 7.667s 7.59/7.70 c #decision = 27045 7.59/7.70 c #random_decision = 102 7.59/7.70 c #conflict = 24181 7.59/7.70 c #restart = 11 7.59/7.70 o 9 7.59/7.70 c BCD2: hardening fixes 4 literals 7.59/7.70 c BCD2: updating upper bound: 255 -> 8 7.59/7.70 c BCD2: 0 <= obj <= 8 7.59/7.70 c BCD2: #cores=0, #unrelaxed=4, #relaxed=0, #hardened=4 7.59/7.70 c BCD2: #sat=1 #unsat=1 bias=1/2 7.59/7.70 c Solving starts ... 7.59/7.70 c ============================[ Search Statistics ]============================ 7.59/7.70 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.59/7.70 c | | | | Limit GC | Var | Constra 7.59/7.70 c ============================================================================= 7.59/7.70 c 0.0s | 0 | 0 | 0 | 2430 0 | 40 | 0 7.69/7.71 c 0.0s | 0 | 2 | 0 | 2430 1 | 40 | 96 7.69/7.71 c #cpu_time = 0.013s 7.69/7.71 c #wall_clock_time = 0.013s 7.69/7.71 c #decision = 2 7.69/7.71 c #random_decision = 0 7.69/7.71 c #conflict = 0 7.69/7.71 c #restart = 0 7.69/7.71 c BCD2: found a new core of size 3: cost of the new core is >=2 7.69/7.71 c lower bound updated to 2 7.69/7.71 c BCD2: 2 <= obj <= 8 7.69/7.71 c BCD2: #cores=1, #unrelaxed=1, #relaxed=3, #hardened=4 7.69/7.71 c BCD2: #sat=1 #unsat=2 bias=2/3 7.69/7.71 c Solving starts ... 7.69/7.71 c ============================[ Search Statistics ]============================ 7.69/7.71 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 7.69/7.71 c | | | | Limit GC | Var | Constra 7.69/7.71 c ============================================================================= 7.69/7.71 c 0.0s | 0 | 0 | 0 | 2430 0 | 40 | 96 7.69/7.75 c 0.0s | 1 | 236 | 100 | 2430 0 | 40 | 96 7.69/7.80 c 0.1s | 2 | 564 | 250 | 2430 0 | 40 | 96 7.79/7.84 c 0.1s | 3 | 880 | 475 | 2430 0 | 40 | 96 7.89/7.93 c 0.2s | 4 | 1301 | 813 | 2430 0 | 40 | 96 7.99/8.03 c 0.3s | 5 | 1980 | 1320 | 2430 0 | 40 | 96 8.39/8.45 c 0.7s | 6 | 2909 | 2081 | 2673 1 | 40 | 96 8.79/8.81 c 1.1s | 7 | 4237 | 3223 | 2673 2 | 40 | 96 9.19/9.27 c 1.6s | 8 | 6247 | 4936 | 2673 3 | 40 | 96 9.89/9.96 c 2.3s | 9 | 9001 | 7506 | 2673 4 | 40 | 96 11.48/11.59 c 3.9s | 10 | 13268 | 11361 | 2673 6 | 40 | 96 13.08/13.14 c 5.4s | 11 | 19452 | 17144 | 2941 10 | 40 | 96 15.08/15.16 c 7.5s | 11 | 28431 | 25444 | 2941 15 | 40 | 96 15.18/15.25 c 7.5s | 12 | 28827 | 25819 | 2941 15 | 40 | 96 17.18/17.28 c 9.6s | 12 | 32871 | 28819 | 2941 17 | 40 | 96 19.28/19.33 c 11.6s | 12 | 37541 | 33219 | 2941 19 | 40 | 96 21.28/21.34 c 13.6s | 12 | 41028 | 36219 | 3236 21 | 40 | 96 22.48/22.59 c 14.9s | 13 | 44136 | 38832 | 3236 22 | 40 | 96 24.58/24.60 c 16.9s | 13 | 50856 | 45132 | 3236 26 | 40 | 96 26.58/26.61 c 18.9s | 13 | 55676 | 49532 | 3236 28 | 40 | 96 28.59/28.62 c 20.9s | 13 | 61803 | 55232 | 3236 31 | 40 | 96 29.48/29.53 c 21.8s | 14 | 65119 | 58352 | 3236 32 | 40 | 96 31.49/31.55 c 23.8s | 14 | 73343 | 65952 | 3560 36 | 40 | 96 33.49/33.56 c 25.8s | 14 | 80537 | 72852 | 3560 40 | 40 | 96 35.49/35.58 c 27.9s | 14 | 87914 | 79752 | 3560 43 | 40 | 96 37.50/37.59 c 29.9s | 14 | 94764 | 86452 | 3560 47 | 40 | 96 37.79/37.85 c 30.1s | 15 | 96034 | 87632 | 3560 47 | 40 | 96 39.79/39.88 c 32.2s | 15 | 100787 | 91032 | 3560 49 | 40 | 96 41.89/41.94 c 34.2s | 15 | 105198 | 94032 | 3560 50 | 40 | 96 43.89/43.99 c 36.3s | 15 | 110206 | 97932 | 3560 52 | 40 | 96 45.99/46.00 c 38.3s | 15 | 115912 | 102232 | 3560 54 | 40 | 96 47.98/48.02 c 40.3s | 15 | 120222 | 105932 | 3560 56 | 40 | 96 49.98/50.09 c 42.4s | 15 | 124347 | 109332 | 3917 58 | 40 | 96 52.08/52.12 c 44.4s | 15 | 129783 | 113032 | 3917 60 | 40 | 96 54.18/54.21 c 46.5s | 15 | 135181 | 117032 | 3917 61 | 40 | 96 56.19/56.24 c 48.5s | 15 | 139128 | 120132 | 3917 63 | 40 | 96 58.18/58.29 c 50.6s | 15 | 144012 | 123932 | 3917 65 | 40 | 96 60.28/60.32 c 52.6s | 15 | 149024 | 127732 | 3917 66 | 40 | 96 62.28/62.33 c 54.6s | 15 | 153102 | 130832 | 3917 68 | 40 | 96 62.79/62.81 c 55.1s | 16 | 154001 | 131552 | 3917 68 | 40 | 96 64.78/64.83 c 57.1s | 16 | 162666 | 138752 | 3917 71 | 40 | 96 66.78/66.84 c 59.1s | 16 | 170042 | 145652 | 3917 75 | 40 | 96 68.78/68.85 c 61.1s | 16 | 177747 | 152752 | 3917 78 | 40 | 96 70.78/70.87 c 63.2s | 16 | 185829 | 160052 | 3917 81 | 40 | 96 72.78/72.89 c 65.2s | 16 | 193261 | 167152 | 3917 85 | 40 | 96 74.78/74.89 c 67.2s | 16 | 200880 | 174452 | 4309 88 | 40 | 96 76.88/76.90 c 69.2s | 16 | 208560 | 181552 | 4309 91 | 40 | 96 78.88/78.90 c 71.2s | 16 | 216052 | 188752 | 4309 94 | 40 | 96 80.88/80.92 c 73.2s | 16 | 223503 | 195952 | 4309 97 | 40 | 96 81.28/81.33 c 73.6s | 17 | 225075 | 197432 | 4309 98 | 40 | 96 83.28/83.35 c 75.6s | 17 | 233899 | 205332 | 4309 101 | 40 | 96 85.28/85.36 c 77.6s | 17 | 240428 | 211432 | 4309 103 | 40 | 96 87.28/87.36 c 79.7s | 17 | 247269 | 217732 | 4309 106 | 40 | 96 89.28/89.39 c 81.7s | 17 | 254209 | 224032 | 4309 108 | 40 | 96 91.28/91.39 c 83.7s | 17 | 261284 | 230532 | 4309 111 | 40 | 96 93.37/93.41 c 85.7s | 17 | 267996 | 236832 | 4309 114 | 40 | 96 95.37/95.43 c 87.7s | 17 | 274931 | 243232 | 4309 116 | 40 | 96 97.37/97.47 c 89.8s | 17 | 282093 | 250132 | 4309 119 | 40 | 96 99.47/99.50 c 91.8s | 17 | 286862 | 254732 | 4309 121 | 40 | 96 101.47/101.54 c 93.8s | 17 | 290769 | 258532 | 4309 122 | 40 | 96 103.48/103.58 c 95.9s | 17 | 296202 | 263532 | 4309 124 | 40 | 96 105.58/105.61 c 97.9s | 17 | 302401 | 269432 | 4309 127 | 40 | 96 107.57/107.63 c 99.9s | 17 | 307286 | 273932 | 4740 128 | 40 | 96 109.57/109.64 c 101s | 17 | 312653 | 279032 | 4740 130 | 40 | 96 111.57/111.66 c 103s | 17 | 318259 | 284332 | 4740 132 | 40 | 96 113.57/113.67 c 105s | 17 | 322800 | 288732 | 4740 134 | 40 | 96 115.57/115.67 c 107s | 17 | 328304 | 294032 | 4740 136 | 40 | 96 116.57/116.69 c 108s | 18 | 330584 | 296252 | 4740 137 | 40 | 96 118.67/118.72 c 111s | 18 | 336980 | 302152 | 4740 139 | 40 | 96 120.77/120.80 c 113s | 18 | 341067 | 305952 | 4740 140 | 40 | 96 122.76/122.83 c 115s | 18 | 344846 | 309452 | 4740 142 | 40 | 96 124.76/124.83 c 117s | 18 | 348567 | 312752 | 4740 143 | 40 | 96 126.76/126.86 c 119s | 18 | 352839 | 316452 | 4740 144 | 40 | 96 128.77/128.86 c 121s | 18 | 356764 | 319752 | 4740 145 | 40 | 96 130.87/130.92 c 123s | 18 | 360951 | 323452 | 4740 147 | 40 | 96 132.86/132.93 c 125s | 18 | 365326 | 327352 | 4740 148 | 40 | 96 134.86/134.99 c 127s | 18 | 370295 | 331952 | 4740 150 | 40 | 96 136.86/136.99 c 129s | 18 | 374453 | 335852 | 4740 151 | 40 | 96 138.96/139.00 c 131s | 18 | 378648 | 339652 | 4740 153 | 40 | 96 140.96/141.00 c 133s | 18 | 382548 | 343252 | 4740 154 | 40 | 96 142.96/143.01 c 135s | 18 | 387888 | 348352 | 4740 156 | 40 | 96 144.96/145.02 c 137s | 18 | 392528 | 352752 | 4740 158 | 40 | 96 146.95/147.05 c 139s | 18 | 396758 | 356552 | 4740 159 | 40 | 96 149.05/149.10 c 141s | 18 | 400151 | 359752 | 4740 160 | 40 | 96 151.05/151.10 c 143s | 18 | 404351 | 363652 | 4740 162 | 40 | 96 153.05/153.12 c 145s | 18 | 408844 | 367852 | 4740 163 | 40 | 96 155.06/155.15 c 147s | 18 | 413285 | 372052 | 4740 165 | 40 | 96 157.05/157.18 c 149s | 18 | 417621 | 376052 | 4740 166 | 40 | 96 159.05/159.19 c 151s | 18 | 421086 | 379352 | 4740 168 | 40 | 96 161.15/161.24 c 153s | 18 | 425497 | 383552 | 4740 169 | 40 | 96 163.25/163.30 c 155s | 18 | 430461 | 388152 | 4740 171 | 40 | 96 165.25/165.31 c 157s | 18 | 435747 | 393052 | 4740 173 | 40 | 96 167.25/167.36 c 159s | 18 | 440624 | 397652 | 4740 174 | 40 | 96 169.25/169.38 c 161s | 18 | 445382 | 402152 | 4740 176 | 40 | 96 171.35/171.44 c 163s | 18 | 449825 | 406152 | 4740 178 | 40 | 96 173.35/173.44 c 165s | 18 | 455680 | 411752 | 4740 180 | 40 | 96 175.35/175.45 c 167s | 18 | 460098 | 415952 | 4740 181 | 40 | 96 177.34/177.47 c 169s | 18 | 465296 | 420752 | 5214 183 | 40 | 96 179.44/179.51 c 171s | 18 | 469407 | 424452 | 5214 184 | 40 | 96 181.45/181.52 c 173s | 18 | 473880 | 428552 | 5214 186 | 40 | 96 183.44/183.54 c 175s | 18 | 479012 | 433252 | 5214 187 | 40 | 96 185.44/185.57 c 177s | 18 | 484170 | 438152 | 5214 189 | 40 | 96 187.45/187.59 c 179s | 18 | 489497 | 443252 | 5214 191 | 40 | 96 188.05/188.11 c 180s | 19 | 490757 | 444482 | 5214 191 | 40 | 96 190.05/190.14 c 182s | 19 | 498282 | 451682 | 5214 194 | 40 | 96 192.04/192.16 c 184s | 19 | 504102 | 457382 | 5214 196 | 40 | 96 194.04/194.16 c 186s | 19 | 510599 | 463682 | 5214 198 | 40 | 96 196.04/196.16 c 188s | 19 | 518011 | 470782 | 5214 200 | 40 | 96 198.05/198.18 c 190s | 19 | 524282 | 476782 | 5214 202 | 40 | 96 200.04/200.20 c 192s | 19 | 530235 | 482082 | 5214 204 | 40 | 96 202.14/202.20 c 194s | 19 | 535850 | 487382 | 5214 206 | 40 | 96 204.14/204.21 c 196s | 19 | 541867 | 493082 | 5214 208 | 40 | 96 206.14/206.22 c 198s | 19 | 547567 | 498482 | 5214 210 | 40 | 96 208.14/208.24 c 200s | 19 | 553214 | 503682 | 5214 212 | 40 | 96 210.15/210.29 c 202s | 19 | 558750 | 508982 | 5214 214 | 40 | 96 212.24/212.31 c 204s | 19 | 564350 | 514282 | 5214 215 | 40 | 96 214.24/214.35 c 206s | 19 | 569407 | 519182 | 5214 217 | 40 | 96 216.23/216.36 c 208s | 19 | 574336 | 523782 | 5214 219 | 40 | 96 218.23/218.39 c 210s | 19 | 580526 | 529482 | 5214 221 | 40 | 96 220.23/220.39 c 212s | 19 | 586280 | 534882 | 5214 223 | 40 | 96 222.33/222.42 c 214s | 19 | 592264 | 540482 | 5214 224 | 40 | 96 224.34/224.45 c 216s | 19 | 597900 | 545882 | 5214 226 | 40 | 96 226.33/226.47 c 218s | 19 | 604004 | 551582 | 5214 228 | 40 | 96 228.33/228.49 c 220s | 19 | 609626 | 556882 | 5214 230 | 40 | 96 230.43/230.51 c 222s | 19 | 616462 | 563282 | 5214 232 | 40 | 96 232.42/232.53 c 224s | 19 | 622554 | 569082 | 5214 234 | 40 | 96 234.42/234.56 c 226s | 19 | 628228 | 574382 | 5214 236 | 40 | 96 236.43/236.59 c 228s | 19 | 634862 | 580482 | 5214 238 | 40 | 96 238.42/238.59 c 230s | 19 | 640681 | 585782 | 5214 240 | 40 | 96 240.52/240.61 c 232s | 19 | 646357 | 591182 | 5214 242 | 40 | 96 242.52/242.61 c 234s | 19 | 652077 | 596482 | 5214 244 | 40 | 96 244.52/244.62 c 236s | 19 | 658378 | 602482 | 5214 246 | 40 | 96 246.52/246.63 c 238s | 19 | 664543 | 608282 | 5214 248 | 40 | 96 248.52/248.65 c 240s | 19 | 670225 | 613782 | 5214 250 | 40 | 96 250.52/250.68 c 242s | 19 | 675966 | 619182 | 5214 252 | 40 | 96 252.62/252.70 c 244s | 19 | 682352 | 625182 | 5214 254 | 40 | 96 254.62/254.72 c 247s | 19 | 688059 | 630382 | 5214 256 | 40 | 96 256.61/256.74 c 249s | 19 | 695590 | 637182 | 5214 258 | 40 | 96 258.61/258.77 c 251s | 19 | 702279 | 643182 | 5736 260 | 40 | 96 260.62/260.78 c 253s | 19 | 708680 | 648682 | 5736 262 | 40 | 96 262.71/262.80 c 255s | 19 | 714572 | 654182 | 5736 263 | 40 | 96 264.71/264.84 c 257s | 19 | 721001 | 660082 | 5736 265 | 40 | 96 266.71/266.85 c 259s | 19 | 727362 | 665782 | 5736 267 | 40 | 96 267.11/267.26 c 259s | 20 | 728442 | 666827 | 5736 267 | 40 | 96 269.11/269.27 c 261s | 20 | 736153 | 673827 | 5736 270 | 40 | 96 271.11/271.28 c 263s | 20 | 742635 | 679727 | 5736 272 | 40 | 96 273.11/273.29 c 265s | 20 | 749128 | 685727 | 5736 274 | 40 | 96 275.11/275.29 c 267s | 20 | 755303 | 691727 | 5736 276 | 40 | 96 277.21/277.32 c 269s | 20 | 762129 | 698127 | 5736 278 | 40 | 96 279.20/279.34 c 271s | 20 | 768200 | 703927 | 5736 280 | 40 | 96 281.20/281.36 c 273s | 20 | 773862 | 709327 | 5736 281 | 40 | 96 283.20/283.37 c 275s | 20 | 779463 | 714727 | 5736 283 | 40 | 96 285.20/285.39 c 277s | 20 | 785484 | 720327 | 5736 285 | 40 | 96 287.30/287.42 c 279s | 20 | 790557 | 725227 | 5736 287 | 40 | 96 289.31/289.45 c 281s | 20 | 795965 | 730427 | 5736 288 | 40 | 96 291.30/291.46 c 283s | 20 | 801275 | 735627 | 5736 290 | 40 | 96 293.30/293.49 c 285s | 20 | 807219 | 741227 | 5736 292 | 40 | 96 295.40/295.50 c 287s | 20 | 814119 | 747727 | 5736 294 | 40 | 96 297.40/297.52 c 289s | 20 | 820379 | 753627 | 5736 296 | 40 | 96 299.40/299.54 c 291s | 20 | 826643 | 759627 | 5736 298 | 40 | 96 301.40/301.55 c 293s | 20 | 833069 | 765727 | 5736 300 | 40 | 96 303.39/303.57 c 295s | 20 | 838842 | 771227 | 5736 302 | 40 | 96 305.39/305.59 c 297s | 20 | 845179 | 777327 | 5736 304 | 40 | 96 307.39/307.59 c 299s | 20 | 851257 | 783227 | 5736 306 | 40 | 96 309.39/309.59 c 301s | 20 | 856932 | 788727 | 5736 307 | 40 | 96 311.49/311.61 c 303s | 20 | 862605 | 794327 | 5736 309 | 40 | 96 313.50/313.61 c 305s | 20 | 868336 | 799927 | 5736 311 | 40 | 96 315.49/315.62 c 307s | 20 | 874854 | 805927 | 5736 313 | 40 | 96 317.49/317.65 c 309s | 20 | 880893 | 811827 | 5736 315 | 40 | 96 319.49/319.66 c 311s | 20 | 886834 | 817527 | 5736 317 | 40 | 96 321.49/321.67 c 313s | 20 | 892514 | 823127 | 5736 319 | 40 | 96 323.48/323.69 c 315s | 20 | 898613 | 828927 | 5736 321 | 40 | 96 325.59/325.72 c 318s | 20 | 904472 | 834427 | 5736 322 | 40 | 96 327.58/327.76 c 320s | 20 | 910275 | 840127 | 5736 324 | 40 | 96 329.58/329.76 c 322s | 20 | 916560 | 846127 | 5736 326 | 40 | 96 331.58/331.78 c 324s | 20 | 922263 | 851727 | 5736 328 | 40 | 96 333.58/333.79 c 326s | 20 | 929035 | 858127 | 5736 330 | 40 | 96 335.58/335.79 c 328s | 20 | 935013 | 864027 | 5736 332 | 40 | 96 337.59/337.80 c 330s | 20 | 940827 | 869127 | 5736 334 | 40 | 96 339.69/339.85 c 332s | 20 | 946765 | 873427 | 5736 335 | 40 | 96 341.69/341.87 c 334s | 20 | 952074 | 878227 | 5736 337 | 40 | 96 343.69/343.88 c 336s | 20 | 958510 | 882027 | 5736 338 | 40 | 96 345.68/345.89 c 338s | 20 | 962908 | 885027 | 5736 339 | 40 | 96 347.78/347.90 c 340s | 20 | 968721 | 890227 | 5736 340 | 40 | 96 349.79/349.91 c 342s | 20 | 974848 | 895227 | 5736 342 | 40 | 96 351.78/351.97 c 344s | 20 | 979763 | 900027 | 5736 343 | 40 | 96 353.78/353.98 c 346s | 20 | 985116 | 905227 | 5736 345 | 40 | 96 355.78/355.99 c 348s | 20 | 991322 | 911227 | 5736 347 | 40 | 96 357.88/358.01 c 350s | 20 | 996608 | 916427 | 5736 349 | 40 | 96 359.88/360.04 c 352s | 20 | 1003148 | 921527 | 5736 350 | 40 | 96 361.88/362.04 c 354s | 20 | 1008681 | 926527 | 5736 352 | 40 | 96 363.88/364.07 c 356s | 20 | 1014220 | 932027 | 5736 353 | 40 | 96 365.87/366.09 c 358s | 20 | 1018525 | 936227 | 5736 355 | 40 | 96 367.97/368.14 c 360s | 20 | 1022918 | 940527 | 5736 356 | 40 | 96 369.97/370.16 c 362s | 20 | 1027465 | 944927 | 5736 357 | 40 | 96 371.97/372.16 c 364s | 20 | 1033602 | 949627 | 5736 359 | 40 | 96 373.98/374.17 c 366s | 20 | 1039750 | 955227 | 5736 361 | 40 | 96 376.07/376.21 c 368s | 20 | 1045986 | 961027 | 5736 362 | 40 | 96 378.07/378.22 c 370s | 20 | 1052032 | 966827 | 5736 364 | 40 | 96 380.07/380.25 c 372s | 20 | 1057606 | 972227 | 6310 366 | 40 | 96 382.07/382.27 c 374s | 20 | 1064050 | 978427 | 6310 368 | 40 | 96 384.07/384.27 c 376s | 20 | 1069609 | 983827 | 6310 369 | 40 | 96 386.07/386.29 c 378s | 20 | 1075186 | 989227 | 6310 371 | 40 | 96 388.17/388.30 c 380s | 20 | 1081078 | 994827 | 6310 372 | 40 | 96 390.16/390.30 c 382s | 20 | 1085863 | 999427 | 6310 374 | 40 | 96 390.47/390.65 c 382s | 21 | 1086803 | 1000345 | 6310 374 | 40 | 96 392.46/392.67 c 384s | 21 | 1095589 | 1008245 | 6310 376 | 40 | 96 394.56/394.70 c 386s | 21 | 1102484 | 1014745 | 6310 378 | 40 | 96 396.55/396.74 c 389s | 21 | 1107801 | 1019745 | 6310 380 | 40 | 96 398.55/398.75 c 391s | 21 | 1114453 | 1026045 | 6310 381 | 40 | 96 400.55/400.77 c 393s | 21 | 1120848 | 1032045 | 6310 383 | 40 | 96 402.65/402.80 c 395s | 21 | 1126126 | 1036845 | 6310 384 | 40 | 96 404.66/404.82 c 397s | 21 | 1132764 | 1042945 | 6310 386 | 40 | 96 406.65/406.85 c 399s | 21 | 1138746 | 1048645 | 6310 388 | 40 | 96 408.65/408.85 c 401s | 21 | 1144136 | 1053745 | 6310 389 | 40 | 96 410.65/410.87 c 403s | 21 | 1150163 | 1059245 | 6310 391 | 40 | 96 412.75/412.90 c 405s | 21 | 1155397 | 1064245 | 6310 392 | 40 | 96 414.75/414.94 c 407s | 21 | 1160747 | 1069345 | 6310 394 | 40 | 96 416.75/416.96 c 409s | 21 | 1165944 | 1074245 | 6310 395 | 40 | 96 418.75/418.98 c 411s | 21 | 1171214 | 1079245 | 6310 397 | 40 | 96 420.75/421.00 c 413s | 21 | 1176782 | 1084445 | 6310 398 | 40 | 96 422.84/423.03 c 415s | 21 | 1182570 | 1089745 | 6310 400 | 40 | 96 424.84/425.03 c 417s | 21 | 1188691 | 1095545 | 6310 401 | 40 | 96 426.84/427.05 c 419s | 21 | 1194773 | 1101345 | 6310 403 | 40 | 96 428.84/429.07 c 421s | 21 | 1201583 | 1107845 | 6310 405 | 40 | 96 430.84/431.08 c 423s | 21 | 1207102 | 1113145 | 6310 406 | 40 | 96 432.84/433.09 c 425s | 21 | 1212650 | 1118345 | 6310 408 | 40 | 96 434.94/435.14 c 427s | 21 | 1218311 | 1123645 | 6310 409 | 40 | 96 436.93/437.18 c 429s | 21 | 1223130 | 1128345 | 6310 411 | 40 | 96 439.03/439.20 c 431s | 21 | 1229113 | 1134045 | 6310 412 | 40 | 96 441.04/441.23 c 433s | 21 | 1234415 | 1138945 | 6310 414 | 40 | 96 443.03/443.26 c 435s | 21 | 1239543 | 1143745 | 6310 415 | 40 | 96 445.03/445.27 c 437s | 21 | 1244606 | 1148145 | 6310 417 | 40 | 96 447.03/447.29 c 439s | 21 | 1249686 | 1152745 | 6310 418 | 40 | 96 449.13/449.31 c 441s | 21 | 1255124 | 1157745 | 6310 419 | 40 | 96 451.13/451.32 c 443s | 21 | 1262288 | 1164645 | 6310 421 | 40 | 96 453.13/453.33 c 445s | 21 | 1267948 | 1170045 | 6310 423 | 40 | 96 455.14/455.35 c 447s | 21 | 1274241 | 1176145 | 6310 425 | 40 | 96 457.13/457.36 c 449s | 21 | 1280733 | 1182445 | 6310 426 | 40 | 96 459.23/459.40 c 451s | 21 | 1286225 | 1187745 | 6310 428 | 40 | 96 461.23/461.41 c 453s | 21 | 1292491 | 1193745 | 6310 430 | 40 | 96 463.23/463.44 c 455s | 21 | 1298435 | 1199545 | 6310 431 | 40 | 96 465.24/465.45 c 457s | 21 | 1302660 | 1203645 | 6310 433 | 40 | 96 467.23/467.46 c 459s | 21 | 1308222 | 1209145 | 6310 434 | 40 | 96 469.23/469.46 c 461s | 21 | 1313670 | 1214445 | 6310 436 | 40 | 96 471.23/471.47 c 463s | 21 | 1319053 | 1219445 | 6310 437 | 40 | 96 473.23/473.50 c 465s | 21 | 1324365 | 1224445 | 6310 439 | 40 | 96 475.32/475.52 c 467s | 21 | 1330550 | 1230245 | 6310 440 | 40 | 96 477.33/477.53 c 469s | 21 | 1335899 | 1235245 | 6310 442 | 40 | 96 479.32/479.58 c 471s | 21 | 1341614 | 1240545 | 6310 443 | 40 | 96 481.32/481.59 c 473s | 21 | 1346933 | 1245645 | 6310 445 | 40 | 96 483.42/483.63 c 475s | 21 | 1353015 | 1251345 | 6310 446 | 40 | 96 485.42/485.63 c 477s | 21 | 1358280 | 1256445 | 6310 448 | 40 | 96 487.42/487.65 c 479s | 21 | 1363621 | 1261545 | 6310 449 | 40 | 96 489.42/489.65 c 481s | 21 | 1368323 | 1266145 | 6310 451 | 40 | 96 491.42/491.65 c 483s | 21 | 1373438 | 1271045 | 6310 452 | 40 | 96 493.42/493.65 c 485s | 21 | 1378356 | 1275845 | 6310 453 | 40 | 96 495.42/495.69 c 487s | 21 | 1383361 | 1280745 | 6310 455 | 40 | 96 497.51/497.72 c 490s | 21 | 1387856 | 1284945 | 6310 456 | 40 | 96 499.51/499.73 c 492s | 21 | 1392812 | 1289745 | 6310 457 | 40 | 96 501.52/501.76 c 494s | 21 | 1398726 | 1295545 | 6310 459 | 40 | 96 503.51/503.78 c 496s | 21 | 1405139 | 1301645 | 6310 461 | 40 | 96 505.61/505.81 c 498s | 21 | 1409927 | 1306345 | 6310 462 | 40 | 96 507.61/507.84 c 500s | 21 | 1414308 | 1310645 | 6310 463 | 40 | 96 509.61/509.84 c 502s | 21 | 1419200 | 1315445 | 6310 465 | 40 | 96 511.61/511.89 c 504s | 21 | 1424802 | 1320945 | 6310 466 | 40 | 96 513.71/513.90 c 506s | 21 | 1429685 | 1325745 | 6310 468 | 40 | 96 515.71/515.93 c 508s | 21 | 1434878 | 1330745 | 6310 469 | 40 | 96 517.70/517.94 c 510s | 21 | 1440657 | 1336145 | 6310 471 | 40 | 96 519.70/519.95 c 512s | 21 | 1445952 | 1341345 | 6310 472 | 40 | 96 521.70/521.99 c 514s | 21 | 1450931 | 1346245 | 6310 474 | 40 | 96 523.80/524.00 c 516s | 21 | 1455688 | 1350945 | 6310 475 | 40 | 96 525.79/526.03 c 518s | 21 | 1460282 | 1355445 | 6310 476 | 40 | 96 527.80/528.06 c 520s | 21 | 1465425 | 1360445 | 6310 478 | 40 | 96 529.79/530.07 c 522s | 21 | 1470453 | 1365345 | 6310 479 | 40 | 96 531.79/532.08 c 524s | 21 | 1475258 | 1369945 | 6310 480 | 40 | 96 533.89/534.11 c 526s | 21 | 1480875 | 1375245 | 6310 482 | 40 | 96 535.89/536.15 c 528s | 21 | 1486646 | 1380645 | 6310 484 | 40 | 96 537.89/538.18 c 530s | 21 | 1492380 | 1386245 | 6310 485 | 40 | 96 539.89/540.18 c 532s | 21 | 1497772 | 1391445 | 6310 487 | 40 | 96 541.88/542.19 c 534s | 21 | 1503008 | 1396545 | 6310 488 | 40 | 96 543.99/544.21 c 536s | 21 | 1508353 | 1401745 | 6310 490 | 40 | 96 545.99/546.23 c 538s | 21 | 1514491 | 1407645 | 6310 491 | 40 | 96 547.99/548.27 c 540s | 21 | 1519094 | 1412145 | 6310 493 | 40 | 96 550.09/550.32 c 542s | 21 | 1523568 | 1416545 | 6310 494 | 40 | 96 552.09/552.34 c 544s | 21 | 1528274 | 1421145 | 6310 495 | 40 | 96 554.08/554.36 c 546s | 21 | 1533156 | 1425945 | 6310 497 | 40 | 96 556.08/556.39 c 548s | 21 | 1539115 | 1431745 | 6310 498 | 40 | 96 558.18/558.40 c 550s | 21 | 1544271 | 1436745 | 6310 500 | 40 | 96 560.18/560.41 c 552s | 21 | 1550032 | 1441845 | 6310 501 | 40 | 96 562.18/562.41 c 554s | 21 | 1554925 | 1446445 | 6310 502 | 40 | 96 564.18/564.42 c 556s | 21 | 1560372 | 1451645 | 6310 504 | 40 | 96 566.17/566.43 c 558s | 21 | 1565565 | 1456545 | 6310 505 | 40 | 96 568.17/568.47 c 560s | 21 | 1570983 | 1461645 | 6310 507 | 40 | 96 570.17/570.48 c 562s | 21 | 1576735 | 1467145 | 6942 508 | 40 | 96 572.27/572.52 c 564s | 21 | 1582176 | 1472245 | 6942 510 | 40 | 96 574.27/574.53 c 566s | 21 | 1587435 | 1476945 | 6942 511 | 40 | 96 576.28/576.55 c 568s | 21 | 1593076 | 1482045 | 6942 512 | 40 | 96 578.27/578.55 c 570s | 21 | 1599140 | 1487345 | 6942 514 | 40 | 96 580.27/580.56 c 572s | 21 | 1604885 | 1492345 | 6942 515 | 40 | 96 582.27/582.59 c 574s | 21 | 1610619 | 1497345 | 6942 516 | 40 | 96 583.57/583.81 c 576s | 22 | 1614096 | 1500622 | 6942 517 | 40 | 96 585.57/585.85 c 578s | 22 | 1618031 | 1503122 | 6942 518 | 40 | 96 587.57/587.88 c 580s | 22 | 1621042 | 1505022 | 6942 518 | 40 | 96 589.67/589.91 c 582s | 22 | 1624276 | 1507122 | 6942 519 | 40 | 96 591.67/591.94 c 584s | 22 | 1631340 | 1510022 | 6942 520 | 40 | 96 593.66/593.98 c 586s | 22 | 1636534 | 1513822 | 6942 521 | 40 | 96 595.76/596.09 c 588s | 22 | 1640889 | 1517622 | 6942 522 | 40 | 96 597.86/598.11 c 590s | 22 | 1645578 | 1521022 | 6942 523 | 40 | 96 599.96/600.21 c 592s | 22 | 1648246 | 1523022 | 6942 523 | 40 | 96 601.96/602.23 c 594s | 22 | 1653966 | 1526122 | 6942 524 | 40 | 96 603.96/604.25 c 596s | 22 | 1660436 | 1529122 | 6942 525 | 40 | 96 605.97/606.26 c 598s | 22 | 1666599 | 1534122 | 6942 526 | 40 | 96 607.96/608.30 c 600s | 22 | 1673536 | 1540522 | 6942 528 | 40 | 96 610.06/610.33 c 602s | 22 | 1679086 | 1545822 | 6942 529 | 40 | 96 612.06/612.35 c 604s | 22 | 1684427 | 1550922 | 6942 531 | 40 | 96 614.16/614.45 c 606s | 22 | 1688729 | 1554822 | 6942 532 | 40 | 96 616.26/616.50 c 608s | 22 | 1692984 | 1556522 | 6942 532 | 40 | 96 618.26/618.51 c 610s | 22 | 1696937 | 1559822 | 6942 533 | 40 | 96 620.26/620.58 c 612s | 22 | 1699892 | 1561722 | 6942 533 | 40 | 96 622.25/622.60 c 614s | 22 | 1703603 | 1564222 | 6942 534 | 40 | 96 624.35/624.61 c 616s | 22 | 1709410 | 1568622 | 6942 535 | 40 | 96 626.35/626.63 c 618s | 22 | 1714981 | 1574122 | 6942 537 | 40 | 96 628.35/628.63 c 620s | 22 | 1721589 | 1580122 | 6942 538 | 40 | 96 630.35/630.63 c 622s | 22 | 1727526 | 1585822 | 6942 540 | 40 | 96 632.36/632.64 c 624s | 22 | 1733393 | 1590922 | 6942 541 | 40 | 96 634.35/634.67 c 626s | 22 | 1737776 | 1594922 | 6942 542 | 40 | 96 636.35/636.67 c 628s | 22 | 1742493 | 1599322 | 6942 543 | 40 | 96 638.45/638.71 c 631s | 22 | 1747802 | 1603822 | 6942 545 | 40 | 96 640.45/640.74 c 633s | 22 | 1752129 | 1607822 | 6942 546 | 40 | 96 642.45/642.76 c 635s | 22 | 1758625 | 1613422 | 6942 547 | 40 | 96 644.45/644.76 c 637s | 22 | 1763475 | 1618122 | 6942 548 | 40 | 96 646.44/646.78 c 639s | 22 | 1768757 | 1622622 | 6942 550 | 40 | 96 648.54/648.85 c 641s | 22 | 1774143 | 1625922 | 6942 550 | 40 | 96 650.64/650.91 c 643s | 22 | 1779208 | 1630122 | 6942 552 | 40 | 96 652.64/652.95 c 645s | 22 | 1783125 | 1633622 | 6942 552 | 40 | 96 654.64/655.00 c 647s | 22 | 1786763 | 1636822 | 6942 553 | 40 | 96 656.74/657.03 c 649s | 22 | 1791395 | 1641222 | 6942 554 | 40 | 96 658.74/659.07 c 651s | 22 | 1795536 | 1644922 | 6942 555 | 40 | 96 660.74/661.07 c 653s | 22 | 1798923 | 1648122 | 6942 556 | 40 | 96 662.74/663.09 c 655s | 22 | 1802250 | 1651322 | 6942 557 | 40 | 96 664.84/665.12 c 657s | 22 | 1806607 | 1655322 | 6942 558 | 40 | 96 666.83/667.15 c 659s | 22 | 1811152 | 1659622 | 6942 559 | 40 | 96 668.93/669.23 c 661s | 22 | 1814423 | 1662722 | 6942 560 | 40 | 96 670.93/671.24 c 663s | 22 | 1817842 | 1665922 | 6942 561 | 40 | 96 672.94/673.27 c 665s | 22 | 1821508 | 1669222 | 6942 562 | 40 | 96 674.93/675.29 c 667s | 22 | 1824600 | 1672022 | 6942 563 | 40 | 96 677.03/677.34 c 669s | 22 | 1829653 | 1676822 | 6942 564 | 40 | 96 679.03/679.39 c 671s | 22 | 1833399 | 1680322 | 6942 565 | 40 | 96 681.13/681.45 c 673s | 22 | 1836395 | 1683122 | 6942 565 | 40 | 96 683.13/683.46 c 675s | 22 | 1839843 | 1685822 | 6942 566 | 40 | 96 685.22/685.53 c 677s | 22 | 1845318 | 1690822 | 6942 568 | 40 | 96 687.23/687.55 c 679s | 22 | 1850489 | 1695722 | 6942 569 | 40 | 96 689.22/689.59 c 681s | 22 | 1855697 | 1700522 | 6942 570 | 40 | 96 691.32/691.63 c 683s | 22 | 1859657 | 1704122 | 6942 571 | 40 | 96 693.32/693.66 c 685s | 22 | 1864465 | 1708722 | 6942 572 | 40 | 96 695.32/695.69 c 687s | 22 | 1868412 | 1712522 | 6942 573 | 40 | 96 697.41/697.71 c 690s | 22 | 1871621 | 1715522 | 6942 574 | 40 | 96 699.42/699.74 c 692s | 22 | 1874418 | 1718022 | 6942 575 | 40 | 96 701.41/701.76 c 694s | 22 | 1878099 | 1721522 | 6942 576 | 40 | 96 703.41/703.79 c 696s | 22 | 1881901 | 1725122 | 6942 577 | 40 | 96 705.51/705.83 c 698s | 22 | 1886556 | 1729422 | 6942 578 | 40 | 96 707.51/707.86 c 700s | 22 | 1889395 | 1732122 | 6942 578 | 40 | 96 709.61/709.90 c 702s | 22 | 1893263 | 1735822 | 6942 579 | 40 | 96 711.61/711.93 c 704s | 22 | 1897188 | 1739622 | 6942 580 | 40 | 96 713.61/713.94 c 706s | 22 | 1900793 | 1743122 | 6942 581 | 40 | 96 715.61/715.95 c 708s | 22 | 1905705 | 1747822 | 6942 583 | 40 | 96 717.60/717.99 c 710s | 22 | 1910333 | 1751822 | 6942 584 | 40 | 96 719.70/720.04 c 712s | 22 | 1914365 | 1755522 | 6942 585 | 40 | 96 721.70/722.07 c 714s | 22 | 1919811 | 1760322 | 6942 586 | 40 | 96 723.70/724.09 c 716s | 22 | 1925044 | 1765222 | 6942 587 | 40 | 96 725.71/726.09 c 718s | 22 | 1929190 | 1768122 | 6942 588 | 40 | 96 727.80/728.10 c 720s | 22 | 1933435 | 1771722 | 6942 589 | 40 | 96 729.80/730.10 c 722s | 22 | 1937338 | 1774822 | 6942 590 | 40 | 96 731.80/732.12 c 724s | 22 | 1942435 | 1778922 | 6942 591 | 40 | 96 733.80/734.12 c 726s | 22 | 1946677 | 1782522 | 6942 592 | 40 | 96 735.80/736.15 c 728s | 22 | 1951376 | 1787122 | 6942 593 | 40 | 96 737.81/738.16 c 730s | 22 | 1956390 | 1792022 | 6942 594 | 40 | 96 739.90/740.21 c 732s | 22 | 1961206 | 1796722 | 6942 595 | 40 | 96 741.90/742.21 c 734s | 22 | 1965186 | 1800522 | 6942 596 | 40 | 96 743.90/744.24 c 736s | 22 | 1968375 | 1803522 | 6942 597 | 40 | 96 745.89/746.25 c 738s | 22 | 1971982 | 1806822 | 6942 598 | 40 | 96 747.89/748.27 c 740s | 22 | 1975079 | 1809822 | 6942 599 | 40 | 96 750.00/750.31 c 742s | 22 | 1979404 | 1813722 | 6942 600 | 40 | 96 751.99/752.32 c 744s | 22 | 1983332 | 1817522 | 6942 601 | 40 | 96 753.99/754.35 c 746s | 22 | 1987072 | 1820922 | 6942 602 | 40 | 96 755.99/756.35 c 748s | 22 | 1990538 | 1824022 | 6942 603 | 40 | 96 757.99/758.36 c 750s | 22 | 1995463 | 1828922 | 6942 604 | 40 | 96 759.99/760.38 c 752s | 22 | 1999859 | 1833222 | 6942 605 | 40 | 96 762.00/762.39 c 754s | 22 | 2003720 | 1837022 | 6942 606 | 40 | 96 764.10/764.41 c 756s | 22 | 2007732 | 1840822 | 6942 607 | 40 | 96 766.10/766.48 c 758s | 22 | 2012295 | 1844922 | 6942 608 | 40 | 96 768.10/768.48 c 760s | 22 | 2017044 | 1848522 | 6942 609 | 40 | 96 770.10/770.49 c 762s | 22 | 2021631 | 1852822 | 6942 610 | 40 | 96 772.20/772.51 c 764s | 22 | 2026003 | 1856422 | 6942 611 | 40 | 96 774.20/774.53 c 766s | 22 | 2029568 | 1858822 | 6942 612 | 40 | 96 776.20/776.55 c 768s | 22 | 2033742 | 1861122 | 6942 613 | 40 | 96 778.20/778.58 c 770s | 22 | 2037595 | 1864022 | 6942 613 | 40 | 96 780.30/780.62 c 772s | 22 | 2041462 | 1867622 | 6942 614 | 40 | 96 782.30/782.62 c 774s | 22 | 2045911 | 1871722 | 6942 615 | 40 | 96 784.29/784.63 c 776s | 22 | 2049686 | 1874922 | 6942 616 | 40 | 96 786.30/786.69 c 778s | 22 | 2054094 | 1878822 | 6942 617 | 40 | 96 788.40/788.74 c 781s | 22 | 2058608 | 1883022 | 6942 618 | 40 | 96 790.39/790.77 c 783s | 22 | 2062605 | 1886522 | 6942 619 | 40 | 96 792.39/792.78 c 785s | 22 | 2066426 | 1890122 | 6942 620 | 40 | 96 794.49/794.83 c 787s | 22 | 2070257 | 1893822 | 6942 621 | 40 | 96 796.49/796.84 c 789s | 22 | 2073661 | 1897122 | 6942 622 | 40 | 96 798.49/798.85 c 791s | 22 | 2078102 | 1901422 | 6942 623 | 40 | 96 800.50/800.88 c 793s | 22 | 2082354 | 1905522 | 6942 624 | 40 | 96 802.59/802.91 c 795s | 22 | 2087256 | 1910322 | 6942 626 | 40 | 96 804.59/804.91 c 797s | 22 | 2091595 | 1914522 | 6942 627 | 40 | 96 806.59/806.91 c 799s | 22 | 2094697 | 1917222 | 6942 628 | 40 | 96 808.59/808.97 c 801s | 22 | 2098454 | 1920722 | 6942 629 | 40 | 96 810.59/810.99 c 803s | 22 | 2101853 | 1923922 | 6942 629 | 40 | 96 812.60/812.99 c 805s | 22 | 2106490 | 1928222 | 6942 631 | 40 | 96 814.69/815.05 c 807s | 22 | 2110635 | 1931822 | 6942 631 | 40 | 96 816.69/817.07 c 809s | 22 | 2114260 | 1935222 | 6942 632 | 40 | 96 818.79/819.13 c 811s | 22 | 2118617 | 1939322 | 6942 634 | 40 | 96 820.79/821.14 c 813s | 22 | 2123056 | 1943522 | 6942 635 | 40 | 96 822.79/823.14 c 815s | 22 | 2127237 | 1947522 | 6942 636 | 40 | 96 824.79/825.16 c 817s | 22 | 2131697 | 1951822 | 6942 637 | 40 | 96 826.79/827.19 c 819s | 22 | 2136985 | 1957022 | 6942 638 | 40 | 96 828.89/829.23 c 821s | 22 | 2141302 | 1961222 | 6942 639 | 40 | 96 830.89/831.25 c 823s | 22 | 2145978 | 1965722 | 6942 641 | 40 | 96 832.89/833.28 c 825s | 22 | 2150545 | 1969822 | 6942 642 | 40 | 96 834.99/835.30 c 827s | 22 | 2154746 | 1973522 | 6942 643 | 40 | 96 836.99/837.32 c 829s | 22 | 2158848 | 1977322 | 6942 644 | 40 | 96 838.99/839.36 c 831s | 22 | 2163241 | 1981622 | 6942 645 | 40 | 96 840.99/841.36 c 833s | 22 | 2167286 | 1985422 | 6942 646 | 40 | 96 842.98/843.39 c 835s | 22 | 2172382 | 1990422 | 6942 647 | 40 | 96 845.08/845.42 c 837s | 22 | 2176821 | 1994222 | 6942 648 | 40 | 96 847.08/847.44 c 839s | 22 | 2181571 | 1998822 | 6942 649 | 40 | 96 849.08/849.49 c 841s | 22 | 2186055 | 2003122 | 6942 651 | 40 | 96 851.19/851.51 c 843s | 22 | 2190051 | 2007022 | 6942 652 | 40 | 96 853.18/853.58 c 845s | 22 | 2193398 | 2010022 | 6942 652 | 40 | 96 855.28/855.63 c 847s | 22 | 2196411 | 2012822 | 6942 653 | 40 | 96 857.28/857.66 c 849s | 22 | 2199413 | 2015722 | 6942 654 | 40 | 96 859.28/859.68 c 851s | 22 | 2202986 | 2019122 | 6942 655 | 40 | 96 861.38/861.73 c 854s | 22 | 2207135 | 2022922 | 6942 656 | 40 | 96 863.38/863.77 c 856s | 22 | 2211318 | 2026822 | 6942 657 | 40 | 96 865.39/865.80 c 858s | 22 | 2215548 | 2030722 | 6942 658 | 40 | 96 867.48/867.84 c 860s | 22 | 2219456 | 2034322 | 6942 659 | 40 | 96 869.48/869.86 c 862s | 22 | 2224213 | 2038922 | 6942 660 | 40 | 96 871.48/871.88 c 864s | 22 | 2228692 | 2043022 | 6942 661 | 40 | 96 873.58/873.93 c 866s | 22 | 2232065 | 2046322 | 6942 662 | 40 | 96 875.58/875.95 c 868s | 22 | 2235829 | 2049822 | 6942 663 | 40 | 96 877.58/877.97 c 870s | 22 | 2239598 | 2053522 | 6942 664 | 40 | 96 879.68/880.05 c 872s | 22 | 2244668 | 2058422 | 6942 665 | 40 | 96 881.68/882.08 c 874s | 22 | 2249382 | 2063022 | 6942 667 | 40 | 96 883.68/884.10 c 876s | 22 | 2255487 | 2068822 | 6942 668 | 40 | 96 885.78/886.10 c 878s | 22 | 2260313 | 2073322 | 6942 669 | 40 | 96 887.78/888.10 c 880s | 22 | 2265396 | 2078222 | 6942 671 | 40 | 96 889.78/890.10 c 882s | 22 | 2269683 | 2082422 | 6942 672 | 40 | 96 891.78/892.14 c 884s | 22 | 2273900 | 2086222 | 6942 673 | 40 | 96 893.78/894.16 c 886s | 22 | 2277779 | 2089722 | 6942 674 | 40 | 96 895.77/896.19 c 888s | 22 | 2281869 | 2093322 | 6942 675 | 40 | 96 897.87/898.22 c 890s | 22 | 2285757 | 2097022 | 6942 676 | 40 | 96 899.87/900.24 c 892s | 22 | 2288820 | 2099822 | 6942 676 | 40 | 96 901.87/902.26 c 894s | 22 | 2292426 | 2103122 | 6942 677 | 40 | 96 903.88/904.28 c 896s | 22 | 2297297 | 2107722 | 6942 679 | 40 | 96 905.97/906.33 c 898s | 22 | 2301948 | 2111722 | 6942 680 | 40 | 96 907.97/908.35 c 900s | 22 | 2306224 | 2115422 | 6942 681 | 40 | 96 909.97/910.37 c 902s | 22 | 2310073 | 2118922 | 6942 682 | 40 | 96 911.97/912.38 c 904s | 22 | 2314043 | 2122322 | 6942 682 | 40 | 96 914.07/914.42 c 906s | 22 | 2318407 | 2126122 | 6942 684 | 40 | 96 916.08/916.48 c 908s | 22 | 2322621 | 2129822 | 6942 685 | 40 | 96 918.18/918.51 c 910s | 22 | 2326953 | 2133822 | 6942 686 | 40 | 96 920.17/920.57 c 912s | 22 | 2331064 | 2137122 | 6942 686 | 40 | 96 922.17/922.58 c 914s | 22 | 2334228 | 2140222 | 6942 687 | 40 | 96 924.17/924.58 c 916s | 22 | 2337552 | 2143322 | 6942 688 | 40 | 96 926.17/926.59 c 918s | 22 | 2341508 | 2147022 | 6942 689 | 40 | 96 928.27/928.60 c 920s | 22 | 2345530 | 2150722 | 6942 690 | 40 | 96 930.17/930.60 c 922s | 22 | 2348394 | 2153422 | 6942 691 | 40 | 96 932.27/932.60 c 924s | 22 | 2351991 | 2156822 | 6942 692 | 40 | 96 934.27/934.64 c 926s | 22 | 2355801 | 2160522 | 6942 693 | 40 | 96 936.27/936.65 c 928s | 22 | 2360019 | 2164622 | 6942 694 | 40 | 96 938.27/938.68 c 930s | 22 | 2365287 | 2169822 | 6942 695 | 40 | 96 940.37/940.73 c 933s | 22 | 2370483 | 2174822 | 6942 697 | 40 | 96 942.37/942.79 c 935s | 22 | 2374374 | 2178422 | 6942 698 | 40 | 96 944.46/944.81 c 937s | 22 | 2378587 | 2182522 | 6942 699 | 40 | 96 946.46/946.82 c 939s | 22 | 2382223 | 2186122 | 6942 700 | 40 | 96 948.46/948.82 c 941s | 22 | 2386488 | 2190222 | 6942 701 | 40 | 96 950.46/950.86 c 943s | 22 | 2390770 | 2194422 | 6942 702 | 40 | 96 952.56/952.90 c 945s | 22 | 2394462 | 2197922 | 6942 703 | 40 | 96 954.47/954.90 c 947s | 22 | 2398545 | 2201822 | 6942 704 | 40 | 96 956.56/956.98 c 949s | 22 | 2403453 | 2206422 | 6942 705 | 40 | 96 958.66/959.01 c 951s | 22 | 2407470 | 2210022 | 6942 706 | 40 | 96 960.66/961.05 c 953s | 22 | 2411047 | 2213522 | 7637 707 | 40 | 96 962.66/963.07 c 955s | 22 | 2415311 | 2217722 | 7637 708 | 40 | 96 964.76/965.10 c 957s | 22 | 2420358 | 2222622 | 7637 709 | 40 | 96 966.76/967.14 c 959s | 22 | 2425483 | 2227622 | 7637 710 | 40 | 96 968.76/969.15 c 961s | 22 | 2430220 | 2232222 | 7637 711 | 40 | 96 970.76/971.15 c 963s | 22 | 2434712 | 2236522 | 7637 712 | 40 | 96 972.76/973.16 c 965s | 22 | 2439457 | 2241122 | 7637 713 | 40 | 96 974.76/975.18 c 967s | 22 | 2444289 | 2245822 | 7637 715 | 40 | 96 976.76/977.19 c 969s | 22 | 2448337 | 2249622 | 7637 716 | 40 | 96 977.46/977.80 c 970s | 23 | 2449806 | 2251038 | 7637 716 | 40 | 96 979.46/979.82 c 972s | 23 | 2456794 | 2257738 | 7637 718 | 40 | 96 981.46/981.84 c 974s | 23 | 2463293 | 2263938 | 7637 719 | 40 | 96 983.46/983.86 c 976s | 23 | 2469262 | 2269538 | 7637 721 | 40 | 96 985.46/985.89 c 978s | 23 | 2476216 | 2276138 | 7637 722 | 40 | 96 987.46/987.89 c 980s | 23 | 2483403 | 2282938 | 7637 724 | 40 | 96 989.55/989.90 c 982s | 23 | 2489659 | 2288938 | 7637 725 | 40 | 96 991.56/991.91 c 984s | 23 | 2494901 | 2293538 | 7637 727 | 40 | 96 993.55/993.97 c 986s | 23 | 2499824 | 2297838 | 7637 728 | 40 | 96 995.55/995.98 c 988s | 23 | 2505485 | 2302638 | 7637 729 | 40 | 96 997.65/998.03 c 990s | 23 | 2510252 | 2306538 | 7637 730 | 40 | 96 999.66/1000.04 c 992s | 23 | 2513134 | 2309338 | 7637 730 | 40 | 96 1001.65/1002.07 c 994s | 23 | 2518522 | 2313638 | 7637 731 | 40 | 96 1003.65/1004.08 c 996s | 23 | 2524386 | 2318338 | 7637 733 | 40 | 96 1005.76/1006.11 c 998s | 23 | 2530810 | 2324438 | 7637 734 | 40 | 96 1007.76/1008.12 c 1000s | 23 | 2535609 | 2328938 | 7637 735 | 40 | 96 1009.76/1010.12 c 1002s | 23 | 2540693 | 2333338 | 7637 736 | 40 | 96 1011.77/1012.12 c 1004s | 23 | 2545347 | 2337938 | 7637 737 | 40 | 96 1013.76/1014.14 c 1006s | 23 | 2550884 | 2342838 | 7637 739 | 40 | 96 1015.76/1016.19 c 1008s | 23 | 2556636 | 2347638 | 7637 740 | 40 | 96 1017.86/1018.22 c 1010s | 23 | 2562762 | 2352938 | 7637 741 | 40 | 96 1019.86/1020.23 c 1012s | 23 | 2568251 | 2357938 | 7637 742 | 40 | 96 1021.86/1022.25 c 1014s | 23 | 2572362 | 2361638 | 7637 743 | 40 | 96 1023.86/1024.25 c 1016s | 23 | 2577911 | 2366538 | 7637 744 | 40 | 96 1025.86/1026.28 c 1018s | 23 | 2583687 | 2371638 | 7637 746 | 40 | 96 1027.96/1028.32 c 1020s | 23 | 2589341 | 2376638 | 7637 747 | 40 | 96 1029.96/1030.35 c 1022s | 23 | 2592981 | 2379738 | 7637 748 | 40 | 96 1031.96/1032.36 c 1024s | 23 | 2597686 | 2383938 | 7637 749 | 40 | 96 1033.95/1034.38 c 1026s | 23 | 2604033 | 2389638 | 7637 750 | 40 | 96 1036.05/1036.40 c 1028s | 23 | 2609784 | 2394338 | 7637 751 | 40 | 96 1038.06/1038.45 c 1030s | 23 | 2613853 | 2397738 | 7637 752 | 40 | 96 1040.05/1040.46 c 1032s | 23 | 2618697 | 2401338 | 7637 753 | 40 | 96 1042.05/1042.46 c 1034s | 23 | 2623424 | 2405638 | 7637 754 | 40 | 96 1044.05/1044.49 c 1036s | 23 | 2627938 | 2409438 | 7637 755 | 40 | 96 1046.15/1046.51 c 1038s | 23 | 2632105 | 2413038 | 7637 756 | 40 | 96 1048.25/1048.60 c 1040s | 23 | 2635820 | 2416238 | 7637 757 | 40 | 96 1050.26/1050.64 c 1042s | 23 | 2640151 | 2419738 | 7637 757 | 40 | 96 1052.25/1052.67 c 1044s | 23 | 2643275 | 2422838 | 7637 758 | 40 | 96 1054.35/1054.72 c 1047s | 23 | 2646851 | 2426038 | 7637 759 | 40 | 96 1056.35/1056.77 c 1049s | 23 | 2650894 | 2429338 | 7637 760 | 40 | 96 1058.35/1058.78 c 1051s | 23 | 2656879 | 2434638 | 7637 761 | 40 | 96 1060.35/1060.79 c 1053s | 23 | 2663369 | 2440438 | 7637 762 | 40 | 96 1062.45/1062.80 c 1055s | 23 | 2668955 | 2445738 | 7637 764 | 40 | 96 1064.45/1064.84 c 1057s | 23 | 2673716 | 2450238 | 7637 765 | 40 | 96 1066.45/1066.87 c 1059s | 23 | 2678563 | 2454838 | 7637 766 | 40 | 96 1068.45/1068.89 c 1061s | 23 | 2682793 | 2458838 | 7637 767 | 40 | 96 1070.55/1070.93 c 1063s | 23 | 2687168 | 2462938 | 7637 768 | 40 | 96 1072.55/1072.95 c 1065s | 23 | 2693538 | 2468938 | 7637 769 | 40 | 96 1074.65/1075.02 c 1067s | 23 | 2698998 | 2473638 | 7637 771 | 40 | 96 1076.65/1077.02 c 1069s | 23 | 2703586 | 2477638 | 7637 771 | 40 | 96 1078.65/1079.04 c 1071s | 23 | 2708257 | 2481838 | 7637 773 | 40 | 96 1080.64/1081.06 c 1073s | 23 | 2714202 | 2486938 | 7637 774 | 40 | 96 1082.64/1083.09 c 1075s | 23 | 2718766 | 2490938 | 7637 775 | 40 | 96 1084.64/1085.09 c 1077s | 23 | 2722880 | 2494638 | 7637 776 | 40 | 96 1086.74/1087.13 c 1079s | 23 | 2727146 | 2498638 | 7637 777 | 40 | 96 1088.75/1089.13 c 1081s | 23 | 2731672 | 2502838 | 7637 778 | 40 | 96 1090.74/1091.18 c 1083s | 23 | 2736489 | 2507238 | 7637 779 | 40 | 96 1092.84/1093.20 c 1085s | 23 | 2740470 | 2510938 | 7637 780 | 40 | 96 1094.84/1095.23 c 1087s | 23 | 2745805 | 2515938 | 7637 781 | 40 | 96 1096.84/1097.24 c 1089s | 23 | 2750304 | 2520138 | 7637 782 | 40 | 96 1098.84/1099.25 c 1091s | 23 | 2754336 | 2523938 | 7637 783 | 40 | 96 1100.85/1101.28 c 1093s | 23 | 2759476 | 2528338 | 7637 784 | 40 | 96 1102.94/1103.32 c 1095s | 23 | 2765561 | 2533738 | 7637 785 | 40 | 96 1104.94/1105.35 c 1097s | 23 | 2771944 | 2539238 | 7637 787 | 40 | 96 1106.94/1107.37 c 1099s | 23 | 2777183 | 2544238 | 7637 788 | 40 | 96 1109.04/1109.41 c 1101s | 23 | 2782198 | 2548938 | 7637 789 | 40 | 96 1111.04/1111.42 c 1103s | 23 | 2787104 | 2553638 | 7637 790 | 40 | 96 1113.04/1113.46 c 1105s | 23 | 2792096 | 2558338 | 7637 791 | 40 | 96 1115.04/1115.48 c 1107s | 23 | 2796787 | 2562738 | 7637 792 | 40 | 96 1117.04/1117.50 c 1109s | 23 | 2802880 | 2568538 | 7637 794 | 40 | 96 1119.14/1119.52 c 1111s | 23 | 2808383 | 2573938 | 7637 795 | 40 | 96 1121.14/1121.53 c 1113s | 23 | 2813718 | 2579138 | 7637 796 | 40 | 96 1123.14/1123.55 c 1115s | 23 | 2819150 | 2584238 | 7637 798 | 40 | 96 1125.14/1125.56 c 1117s | 23 | 2824336 | 2589238 | 7637 799 | 40 | 96 1127.14/1127.57 c 1119s | 23 | 2829077 | 2593838 | 7637 800 | 40 | 96 1129.14/1129.59 c 1121s | 23 | 2835024 | 2599438 | 7637 801 | 40 | 96 1131.14/1131.59 c 1123s | 23 | 2840112 | 2604138 | 7637 802 | 40 | 96 1133.24/1133.60 c 1125s | 23 | 2845746 | 2609538 | 7637 804 | 40 | 96 1135.24/1135.61 c 1127s | 23 | 2852217 | 2615538 | 7637 805 | 40 | 96 1137.24/1137.64 c 1129s | 23 | 2857129 | 2620038 | 7637 806 | 40 | 96 1139.25/1139.67 c 1131s | 23 | 2862412 | 2625138 | 7637 808 | 40 | 96 1141.24/1141.69 c 1133s | 23 | 2868003 | 2630538 | 7637 809 | 40 | 96 1143.34/1143.71 c 1136s | 23 | 2872457 | 2634338 | 7637 810 | 40 | 96 1145.34/1145.75 c 1138s | 23 | 2876877 | 2638638 | 7637 811 | 40 | 96 1147.34/1147.77 c 1140s | 23 | 2881942 | 2643238 | 7637 812 | 40 | 96 1149.44/1149.81 c 1142s | 23 | 2886756 | 2647738 | 7637 813 | 40 | 96 1151.45/1151.82 c 1144s | 23 | 2891309 | 2652138 | 7637 814 | 40 | 96 1153.44/1153.83 c 1146s | 23 | 2895924 | 2656638 | 7637 815 | 40 | 96 1155.44/1155.87 c 1148s | 23 | 2900404 | 2660938 | 7637 816 | 40 | 96 1157.44/1157.89 c 1150s | 23 | 2904619 | 2665038 | 7637 817 | 40 | 96 1159.54/1159.90 c 1152s | 23 | 2909066 | 2669438 | 7637 818 | 40 | 96 1161.54/1161.90 c 1154s | 23 | 2913020 | 2673338 | 7637 819 | 40 | 96 1163.54/1163.91 c 1156s | 23 | 2918825 | 2678838 | 7637 821 | 40 | 96 1165.54/1165.93 c 1158s | 23 | 2925079 | 2684538 | 7637 822 | 40 | 96 1167.54/1167.93 c 1160s | 23 | 2930259 | 2689138 | 7637 823 | 40 | 96 1169.54/1169.95 c 1162s | 23 | 2935648 | 2694138 | 7637 824 | 40 | 96 1171.54/1171.99 c 1164s | 23 | 2940375 | 2698338 | 7637 825 | 40 | 96 1173.63/1174.01 c 1166s | 23 | 2945607 | 2702938 | 7637 827 | 40 | 96 1175.64/1176.05 c 1168s | 23 | 2950955 | 2707638 | 7637 828 | 40 | 96 1177.63/1178.06 c 1170s | 23 | 2957269 | 2713438 | 7637 829 | 40 | 96 1179.63/1180.07 c 1172s | 23 | 2963768 | 2719338 | 7637 831 | 40 | 96 1181.63/1182.09 c 1174s | 23 | 2969402 | 2724538 | 7637 832 | 40 | 96 1183.63/1184.09 c 1176s | 23 | 2974622 | 2729438 | 7637 833 | 40 | 96 1185.73/1186.11 c 1178s | 23 | 2979479 | 2734038 | 7637 834 | 40 | 96 1187.74/1188.13 c 1180s | 23 | 2984277 | 2738538 | 7637 835 | 40 | 96 1189.73/1190.18 c 1182s | 23 | 2989658 | 2743438 | 7637 836 | 40 | 96 1191.83/1192.22 c 1184s | 23 | 2994880 | 2748138 | 7637 838 | 40 | 96 1193.83/1194.23 c 1186s | 23 | 2998920 | 2751738 | 7637 838 | 40 | 96 1195.83/1196.24 c 1188s | 23 | 3003636 | 2755838 | 7637 839 | 40 | 96 1197.83/1198.25 c 1190s | 23 | 3009108 | 2760238 | 7637 841 | 40 | 96 1199.83/1200.27 c 1192s | 23 | 3013986 | 2764238 | 7637 842 | 40 | 96 1201.83/1202.28 c 1194s | 23 | 3018409 | 2767938 | 7637 842 | 40 | 96 1203.93/1204.31 c 1196s | 23 | 3022433 | 2771338 | 7637 843 | 40 | 96 1205.93/1206.31 c 1198s | 23 | 3027075 | 2775338 | 7637 844 | 40 | 96 1207.93/1208.32 c 1200s | 23 | 3031522 | 2779338 | 7637 845 | 40 | 96 1209.93/1210.36 c 1202s | 23 | 3035513 | 2782438 | 7637 846 | 40 | 96 1211.93/1212.39 c 1204s | 23 | 3040194 | 2786538 | 7637 847 | 40 | 96 1214.03/1214.43 c 1206s | 23 | 3046333 | 2792238 | 7637 848 | 40 | 96 1216.03/1216.49 c 1208s | 23 | 3050994 | 2796538 | 7637 849 | 40 | 96 1218.12/1218.51 c 1210s | 23 | 3056028 | 2800738 | 7637 851 | 40 | 96 1220.12/1220.52 c 1212s | 23 | 3060879 | 2805138 | 7637 852 | 40 | 96 1222.12/1222.56 c 1214s | 23 | 3065967 | 2809638 | 7637 853 | 40 | 96 1224.12/1224.56 c 1216s | 23 | 3070167 | 2813438 | 7637 854 | 40 | 96 1226.13/1226.57 c 1218s | 23 | 3074506 | 2817538 | 7637 855 | 40 | 96 1228.22/1228.61 c 1220s | 23 | 3080178 | 2822538 | 7637 856 | 40 | 96 1230.22/1230.61 c 1222s | 23 | 3084994 | 2827038 | 7637 857 | 40 | 96 1232.22/1232.66 c 1224s | 23 | 3089201 | 2830838 | 7637 858 | 40 | 96 1234.22/1234.68 c 1226s | 23 | 3093805 | 2834938 | 7637 859 | 40 | 96 1236.32/1236.71 c 1229s | 23 | 3098718 | 2839338 | 7637 860 | 40 | 96 1238.33/1238.73 c 1231s | 23 | 3102491 | 2842738 | 7637 861 | 40 | 96 1240.32/1240.77 c 1233s | 23 | 3106808 | 2846738 | 7637 862 | 40 | 96 1242.32/1242.78 c 1235s | 23 | 3112282 | 2851438 | 7637 863 | 40 | 96 1244.32/1244.79 c 1237s | 23 | 3116859 | 2855438 | 7637 864 | 40 | 96 1246.42/1246.82 c 1239s | 23 | 3122972 | 2860938 | 7637 865 | 40 | 96 1248.42/1248.82 c 1241s | 23 | 3128117 | 2865738 | 7637 866 | 40 | 96 1250.42/1250.82 c 1243s | 23 | 3133655 | 2870938 | 7637 868 | 40 | 96 1252.42/1252.84 c 1245s | 23 | 3139043 | 2875938 | 7637 869 | 40 | 96 1254.42/1254.88 c 1247s | 23 | 3144273 | 2880938 | 7637 870 | 40 | 96 1256.52/1256.92 c 1249s | 23 | 3149889 | 2886038 | 7637 871 | 40 | 96 1258.52/1258.94 c 1251s | 23 | 3155120 | 2890938 | 7637 873 | 40 | 96 1260.52/1260.94 c 1253s | 23 | 3161701 | 2897038 | 7637 874 | 40 | 96 1262.52/1262.95 c 1255s | 23 | 3167019 | 2901838 | 7637 875 | 40 | 96 1264.52/1264.99 c 1257s | 23 | 3171645 | 2906038 | 7637 876 | 40 | 96 1266.62/1267.03 c 1259s | 23 | 3176682 | 2910638 | 7637 877 | 40 | 96 1268.62/1269.04 c 1261s | 23 | 3181714 | 2915238 | 7637 878 | 40 | 96 1270.61/1271.05 c 1263s | 23 | 3187165 | 2920438 | 7637 880 | 40 | 96 1272.61/1273.05 c 1265s | 23 | 3192901 | 2925838 | 7637 881 | 40 | 96 1274.62/1275.08 c 1267s | 23 | 3198620 | 2931138 | 7637 882 | 40 | 96 1276.72/1277.11 c 1269s | 23 | 3203860 | 2935738 | 7637 883 | 40 | 96 1278.71/1279.13 c 1271s | 23 | 3208913 | 2940138 | 7637 885 | 40 | 96 1280.71/1281.15 c 1273s | 23 | 3214502 | 2945238 | 7637 886 | 40 | 96 1282.71/1283.16 c 1275s | 23 | 3220362 | 2950438 | 7637 887 | 40 | 96 1284.71/1285.16 c 1277s | 23 | 3225953 | 2955738 | 7637 888 | 40 | 96 1286.72/1287.19 c 1279s | 23 | 3231175 | 2960638 | 7637 890 | 40 | 96 1288.82/1289.20 c 1281s | 23 | 3236575 | 2965638 | 7637 891 | 40 | 96 1290.81/1291.23 c 1283s | 23 | 3241755 | 2970238 | 7637 892 | 40 | 96 1292.81/1293.24 c 1285s | 23 | 3245971 | 2974238 | 7637 893 | 40 | 96 1294.81/1295.25 c 1287s | 23 | 3251656 | 2979038 | 7637 894 | 40 | 96 1296.81/1297.26 c 1289s | 23 | 3257419 | 2983938 | 7637 895 | 40 | 96 1298.91/1299.33 c 1291s | 23 | 3263005 | 2988838 | 7637 897 | 40 | 96 1300.92/1301.34 c 1293s | 23 | 3268774 | 2993738 | 7637 898 | 40 | 96 1302.91/1303.36 c 1295s | 23 | 3274435 | 2998638 | 7637 899 | 40 | 96 1304.91/1305.37 c 1297s | 23 | 3279825 | 3003638 | 7637 900 | 40 | 96 1306.91/1307.39 c 1299s | 23 | 3285859 | 3008938 | 7637 901 | 40 | 96 1308.91/1309.39 c 1301s | 23 | 3291486 | 3013838 | 7637 903 | 40 | 96 1311.01/1311.40 c 1303s | 23 | 3297629 | 3018738 | 7637 904 | 40 | 96 1313.01/1313.41 c 1305s | 23 | 3301784 | 3022538 | 7637 905 | 40 | 96 1315.01/1315.41 c 1307s | 23 | 3305432 | 3026038 | 7637 906 | 40 | 96 1317.01/1317.43 c 1309s | 23 | 3310774 | 3031038 | 7637 907 | 40 | 96 1319.01/1319.46 c 1311s | 23 | 3316534 | 3036238 | 7637 908 | 40 | 96 1321.01/1321.46 c 1313s | 23 | 3322108 | 3041238 | 7637 909 | 40 | 96 1323.01/1323.47 c 1315s | 23 | 3327195 | 3045838 | 7637 911 | 40 | 96 1325.11/1325.51 c 1317s | 23 | 3332765 | 3050638 | 7637 912 | 40 | 96 1327.10/1327.52 c 1319s | 23 | 3338112 | 3054938 | 7637 913 | 40 | 96 1329.10/1329.57 c 1321s | 23 | 3343787 | 3059838 | 7637 914 | 40 | 96 1331.20/1331.61 c 1323s | 23 | 3348129 | 3063838 | 7637 915 | 40 | 96 1333.20/1333.61 c 1325s | 23 | 3353282 | 3068538 | 7637 916 | 40 | 96 1335.20/1335.62 c 1327s | 23 | 3358167 | 3073138 | 7637 917 | 40 | 96 1337.21/1337.65 c 1329s | 23 | 3361856 | 3076638 | 7637 918 | 40 | 96 1339.20/1339.69 c 1331s | 23 | 3367131 | 3081338 | 7637 919 | 40 | 96 1341.30/1341.71 c 1333s | 23 | 3372477 | 3085838 | 7637 920 | 40 | 96 1343.30/1343.72 c 1336s | 23 | 3377600 | 3090438 | 7637 922 | 40 | 96 1345.30/1345.75 c 1338s | 23 | 3383218 | 3095338 | 7637 923 | 40 | 96 1347.30/1347.79 c 1340s | 23 | 3389022 | 3100138 | 7637 924 | 40 | 96 1349.31/1349.79 c 1342s | 23 | 3394759 | 3105138 | 7637 925 | 40 | 96 1351.40/1351.80 c 1344s | 23 | 3400681 | 3110038 | 7637 926 | 40 | 96 1353.40/1353.81 c 1346s | 23 | 3406810 | 3115438 | 7637 928 | 40 | 96 1355.40/1355.86 c 1348s | 23 | 3410718 | 3119138 | 7637 929 | 40 | 96 1357.40/1357.87 c 1350s | 23 | 3416566 | 3124738 | 7637 930 | 40 | 96 1359.50/1359.90 c 1352s | 23 | 3421614 | 3129538 | 7637 931 | 40 | 96 1361.51/1361.94 c 1354s | 23 | 3425988 | 3133738 | 7637 932 | 40 | 96 1363.51/1363.97 c 1356s | 23 | 3430353 | 3137938 | 7637 933 | 40 | 96 1365.51/1365.98 c 1358s | 23 | 3434603 | 3141838 | 7637 934 | 40 | 96 1367.61/1368.00 c 1360s | 23 | 3439729 | 3146638 | 7637 935 | 40 | 96 1369.60/1370.01 c 1362s | 23 | 3444911 | 3151538 | 7637 937 | 40 | 96 1371.60/1372.03 c 1364s | 23 | 3450031 | 3156238 | 7637 938 | 40 | 96 1373.61/1374.06 c 1366s | 23 | 3455094 | 3160638 | 7637 939 | 40 | 96 1375.60/1376.07 c 1368s | 23 | 3460903 | 3165838 | 7637 940 | 40 | 96 1377.60/1378.08 c 1370s | 23 | 3466018 | 3170038 | 7637 941 | 40 | 96 1379.60/1380.08 c 1372s | 23 | 3470760 | 3174438 | 7637 942 | 40 | 96 1381.70/1382.10 c 1374s | 23 | 3476124 | 3178738 | 7637 943 | 40 | 96 1383.70/1384.13 c 1376s | 23 | 3481531 | 3183338 | 7637 944 | 40 | 96 1385.71/1386.14 c 1378s | 23 | 3487556 | 3188738 | 7637 946 | 40 | 96 1387.70/1388.15 c 1380s | 23 | 3492946 | 3193538 | 7637 947 | 40 | 96 1389.70/1390.16 c 1382s | 23 | 3498397 | 3198438 | 7637 948 | 40 | 96 1391.80/1392.20 c 1384s | 23 | 3504041 | 3203838 | 7637 949 | 40 | 96 1393.80/1394.22 c 1386s | 23 | 3509104 | 3208438 | 7637 951 | 40 | 96 1395.80/1396.23 c 1388s | 23 | 3514020 | 3213138 | 7637 952 | 40 | 96 1397.80/1398.24 c 1390s | 23 | 3519571 | 3218238 | 7637 953 | 40 | 96 1399.80/1400.27 c 1392s | 23 | 3524876 | 3222838 | 7637 954 | 40 | 96 1401.80/1402.27 c 1394s | 23 | 3530815 | 3228238 | 7637 955 | 40 | 96 1403.80/1404.29 c 1396s | 23 | 3536129 | 3233038 | 7637 957 | 40 | 96 1405.90/1406.31 c 1398s | 23 | 3542143 | 3238438 | 7637 958 | 40 | 96 1407.90/1408.33 c 1400s | 23 | 3546655 | 3242538 | 7637 959 | 40 | 96 1409.90/1410.35 c 1402s | 23 | 3552677 | 3248038 | 7637 960 | 40 | 96 1411.89/1412.36 c 1404s | 23 | 3557729 | 3252638 | 7637 961 | 40 | 96 1413.89/1414.39 c 1406s | 23 | 3562486 | 3257138 | 7637 963 | 40 | 96 1415.99/1416.42 c 1408s | 23 | 3567771 | 3262038 | 7637 964 | 40 | 96 1417.99/1418.45 c 1410s | 23 | 3573732 | 3267138 | 7637 965 | 40 | 96 1419.99/1420.49 c 1412s | 23 | 3579216 | 3271638 | 7637 966 | 40 | 96 1422.00/1422.49 c 1414s | 23 | 3585566 | 3277138 | 7637 967 | 40 | 96 1424.10/1424.51 c 1416s | 23 | 3591251 | 3282038 | 7637 969 | 40 | 96 1426.09/1426.52 c 1418s | 23 | 3597235 | 3287038 | 7637 970 | 40 | 96 1428.09/1428.54 c 1420s | 23 | 3603367 | 3292438 | 7637 971 | 40 | 96 1430.09/1430.59 c 1422s | 23 | 3607861 | 3296638 | 7637 972 | 40 | 96 1432.19/1432.61 c 1424s | 23 | 3613062 | 3301238 | 7637 973 | 40 | 96 1434.19/1434.64 c 1426s | 23 | 3619276 | 3307138 | 7637 975 | 40 | 96 1436.20/1436.70 c 1428s | 23 | 3623900 | 3311538 | 7637 976 | 40 | 96 1438.29/1438.70 c 1430s | 23 | 3628839 | 3316138 | 7637 977 | 40 | 96 1440.29/1440.71 c 1433s | 23 | 3634446 | 3321038 | 7637 978 | 40 | 96 1442.29/1442.75 c 1435s | 23 | 3639791 | 3325738 | 7637 979 | 40 | 96 1444.29/1444.77 c 1437s | 23 | 3645174 | 3330238 | 8401 980 | 40 | 96 1446.39/1446.80 c 1439s | 23 | 3651001 | 3335338 | 8401 982 | 40 | 96 1448.39/1448.84 c 1441s | 23 | 3656292 | 3339938 | 8401 983 | 40 | 96 1450.39/1450.85 c 1443s | 23 | 3662693 | 3345738 | 8401 984 | 40 | 96 1452.39/1452.87 c 1445s | 23 | 3667810 | 3349938 | 8401 985 | 40 | 96 1454.39/1454.87 c 1447s | 23 | 3673302 | 3354638 | 8401 986 | 40 | 96 1456.39/1456.89 c 1449s | 23 | 3678573 | 3359738 | 8401 987 | 40 | 96 1458.49/1458.90 c 1451s | 23 | 3683250 | 3363938 | 8401 988 | 40 | 96 1460.49/1460.93 c 1453s | 23 | 3687725 | 3368138 | 8401 989 | 40 | 96 1462.48/1462.94 c 1455s | 23 | 3692179 | 3372238 | 8401 990 | 40 | 96 1464.48/1464.94 c 1457s | 24 | 3697101 | 3376662 | 8401 991 | 40 | 96 1466.48/1466.97 c 1459s | 24 | 3705132 | 3384262 | 8401 993 | 40 | 96 1468.48/1468.99 c 1461s | 24 | 3710731 | 3389362 | 8401 994 | 40 | 96 1470.48/1470.99 c 1463s | 24 | 3715974 | 3393962 | 8401 995 | 40 | 96 1472.59/1473.01 c 1465s | 24 | 3721292 | 3398662 | 8401 996 | 40 | 96 1474.58/1475.06 c 1467s | 24 | 3728091 | 3404962 | 8401 997 | 40 | 96 1476.58/1477.09 c 1469s | 24 | 3733175 | 3409762 | 8401 998 | 40 | 96 1478.68/1479.13 c 1471s | 24 | 3737944 | 3414262 | 8401 999 | 40 | 96 1480.68/1481.14 c 1473s | 24 | 3742195 | 3418262 | 8401 1000 | 40 | 96 1482.78/1483.21 c 1475s | 24 | 3746337 | 3422162 | 8401 1001 | 40 | 96 1484.78/1485.27 c 1477s | 24 | 3749955 | 3425562 | 8401 1002 | 40 | 96 1486.79/1487.29 c 1479s | 24 | 3754032 | 3429462 | 8401 1003 | 40 | 96 1488.88/1489.30 c 1481s | 24 | 3758202 | 3433362 | 8401 1004 | 40 | 96 1490.88/1491.31 c 1483s | 24 | 3763487 | 3438362 | 8401 1005 | 40 | 96 1492.88/1493.32 c 1485s | 24 | 3767569 | 3441962 | 8401 1006 | 40 | 96 1494.88/1495.36 c 1487s | 24 | 3772717 | 3446662 | 8401 1007 | 40 | 96 1496.88/1497.36 c 1489s | 24 | 3776957 | 3450462 | 8401 1008 | 40 | 96 1498.99/1499.42 c 1491s | 24 | 3781105 | 3454462 | 8401 1008 | 40 | 96 1500.98/1501.46 c 1493s | 24 | 3785471 | 3458562 | 8401 1009 | 40 | 96 1502.98/1503.48 c 1495s | 24 | 3789807 | 3462662 | 8401 1010 | 40 | 96 1505.08/1505.51 c 1497s | 24 | 3793539 | 3466162 | 8401 1011 | 40 | 96 1507.08/1507.54 c 1499s | 24 | 3797651 | 3470062 | 8401 1012 | 40 | 96 1509.18/1509.60 c 1501s | 24 | 3801740 | 3473762 | 8401 1013 | 40 | 96 1511.18/1511.63 c 1503s | 24 | 3806546 | 3478362 | 8401 1014 | 40 | 96 1513.18/1513.63 c 1505s | 24 | 3810834 | 3482362 | 8401 1015 | 40 | 96 1515.17/1515.67 c 1507s | 24 | 3814967 | 3486062 | 8401 1016 | 40 | 96 1517.18/1517.67 c 1509s | 24 | 3820128 | 3490862 | 8401 1017 | 40 | 96 1519.28/1519.70 c 1511s | 24 | 3825294 | 3495362 | 8401 1018 | 40 | 96 1521.28/1521.71 c 1514s | 24 | 3830024 | 3499762 | 8401 1019 | 40 | 96 1523.28/1523.73 c 1516s | 24 | 3834826 | 3504262 | 8401 1020 | 40 | 96 1525.29/1525.74 c 1518s | 24 | 3838804 | 3507762 | 8401 1021 | 40 | 96 1527.28/1527.77 c 1520s | 24 | 3844960 | 3513462 | 8401 1022 | 40 | 96 1529.28/1529.79 c 1522s | 24 | 3850669 | 3518862 | 8401 1023 | 40 | 96 1531.38/1531.84 c 1524s | 24 | 3855424 | 3523362 | 8401 1024 | 40 | 96 1533.38/1533.87 c 1526s | 24 | 3860050 | 3527762 | 8401 1025 | 40 | 96 1535.38/1535.89 c 1528s | 24 | 3865053 | 3532562 | 8401 1026 | 40 | 96 1537.49/1537.93 c 1530s | 24 | 3870042 | 3537262 | 8401 1027 | 40 | 96 1539.48/1540.00 c 1532s | 24 | 3874928 | 3541862 | 8401 1029 | 40 | 96 1541.58/1542.02 c 1534s | 24 | 3879839 | 3546462 | 8401 1030 | 40 | 96 1543.58/1544.04 c 1536s | 24 | 3884555 | 3550962 | 8401 1031 | 40 | 96 1545.58/1546.05 c 1538s | 24 | 3889365 | 3555562 | 8401 1032 | 40 | 96 1547.58/1548.07 c 1540s | 24 | 3894512 | 3560562 | 8401 1033 | 40 | 96 1549.58/1550.07 c 1542s | 24 | 3899431 | 3565262 | 8401 1034 | 40 | 96 1551.68/1552.11 c 1544s | 24 | 3904468 | 3569962 | 8401 1035 | 40 | 96 1553.67/1554.16 c 1546s | 24 | 3909556 | 3574662 | 8401 1036 | 40 | 96 1555.67/1556.19 c 1548s | 24 | 3914324 | 3579062 | 8401 1037 | 40 | 96 1557.77/1558.21 c 1550s | 24 | 3919659 | 3583962 | 8401 1038 | 40 | 96 1559.77/1560.25 c 1552s | 24 | 3924695 | 3588462 | 8401 1039 | 40 | 96 1561.77/1562.28 c 1554s | 24 | 3929618 | 3593062 | 8401 1040 | 40 | 96 1563.78/1564.29 c 1556s | 24 | 3936130 | 3598962 | 8401 1042 | 40 | 96 1565.87/1566.31 c 1558s | 24 | 3940970 | 3603262 | 8401 1043 | 40 | 96 1567.87/1568.32 c 1560s | 24 | 3945560 | 3607362 | 8401 1044 | 40 | 96 1569.87/1570.36 c 1562s | 24 | 3950486 | 3611862 | 8401 1045 | 40 | 96 1571.87/1572.36 c 1564s | 24 | 3954912 | 3615962 | 8401 1046 | 40 | 96 1573.87/1574.38 c 1566s | 24 | 3960165 | 3620862 | 8401 1047 | 40 | 96 1575.87/1576.40 c 1568s | 24 | 3964900 | 3625262 | 8401 1048 | 40 | 96 1577.97/1578.42 c 1570s | 24 | 3970077 | 3629862 | 8401 1049 | 40 | 96 1579.97/1580.43 c 1572s | 24 | 3975000 | 3634562 | 8401 1050 | 40 | 96 1581.97/1582.45 c 1574s | 24 | 3979624 | 3638862 | 8401 1051 | 40 | 96 1583.97/1584.45 c 1576s | 24 | 3984393 | 3643162 | 8401 1052 | 40 | 96 1585.96/1586.46 c 1578s | 24 | 3990121 | 3648562 | 8401 1053 | 40 | 96 1587.97/1588.47 c 1580s | 24 | 3995026 | 3653062 | 8401 1054 | 40 | 96 1589.96/1590.48 c 1582s | 24 | 4000446 | 3658062 | 8401 1055 | 40 | 96 1592.06/1592.50 c 1584s | 24 | 4005747 | 3663062 | 8401 1056 | 40 | 96 1594.06/1594.51 c 1586s | 24 | 4010864 | 3667762 | 8401 1058 | 40 | 96 1596.06/1596.56 c 1588s | 24 | 4016313 | 3673062 | 8401 1059 | 40 | 96 1598.06/1598.58 c 1590s | 24 | 4022344 | 3678762 | 8401 1060 | 40 | 96 1600.07/1600.59 c 1592s | 24 | 4027791 | 3683962 | 8401 1061 | 40 | 96 1602.16/1602.62 c 1594s | 24 | 4033394 | 3689462 | 8401 1062 | 40 | 96 1604.26/1604.74 c 1597s | 24 | 4037945 | 3693862 | 8401 1064 | 40 | 96 1606.27/1606.74 c 1599s | 24 | 4044246 | 3699862 | 8401 1065 | 40 | 96 1608.27/1608.76 c 1601s | 24 | 4050343 | 3705662 | 8401 1066 | 40 | 96 1610.27/1610.76 c 1603s | 24 | 4055190 | 3710162 | 8401 1067 | 40 | 96 1612.27/1612.77 c 1605s | 24 | 4060649 | 3715462 | 8401 1068 | 40 | 96 1614.27/1614.78 c 1607s | 24 | 4067593 | 3722162 | 8401 1070 | 40 | 96 1616.37/1616.81 c 1609s | 24 | 4073649 | 3727862 | 8401 1071 | 40 | 96 1618.37/1618.82 c 1611s | 24 | 4079348 | 3733262 | 8401 1073 | 40 | 96 1620.37/1620.83 c 1613s | 24 | 4084832 | 3738462 | 8401 1074 | 40 | 96 1622.37/1622.83 c 1615s | 24 | 4090868 | 3744162 | 8401 1075 | 40 | 96 1624.37/1624.84 c 1617s | 24 | 4095821 | 3748962 | 8401 1076 | 40 | 96 1626.37/1626.85 c 1619s | 24 | 4101792 | 3754662 | 8401 1077 | 40 | 96 1628.37/1628.87 c 1621s | 24 | 4107444 | 3759962 | 8401 1079 | 40 | 96 1630.37/1630.88 c 1623s | 24 | 4113431 | 3765562 | 8401 1080 | 40 | 96 1632.46/1632.91 c 1625s | 24 | 4118878 | 3770762 | 8401 1081 | 40 | 96 1634.46/1634.91 c 1627s | 24 | 4124402 | 3776062 | 8401 1082 | 40 | 96 1636.47/1636.92 c 1629s | 24 | 4129627 | 3781062 | 8401 1084 | 40 | 96 1638.46/1638.92 c 1631s | 24 | 4134975 | 3786262 | 8401 1085 | 40 | 96 1640.46/1640.95 c 1633s | 24 | 4140570 | 3791562 | 8401 1086 | 40 | 96 1642.46/1642.95 c 1635s | 24 | 4145876 | 3796662 | 8401 1087 | 40 | 96 1644.46/1644.96 c 1637s | 24 | 4152114 | 3802562 | 8401 1089 | 40 | 96 1646.46/1646.97 c 1639s | 24 | 4157124 | 3807262 | 8401 1090 | 40 | 96 1648.47/1648.98 c 1641s | 24 | 4162036 | 3812062 | 8401 1091 | 40 | 96 1650.46/1650.99 c 1643s | 24 | 4167336 | 3816862 | 8401 1092 | 40 | 96 1652.56/1653.00 c 1645s | 24 | 4172593 | 3821862 | 8401 1093 | 40 | 96 1654.56/1655.02 c 1647s | 24 | 4177692 | 3826462 | 8401 1094 | 40 | 96 1656.56/1657.07 c 1649s | 24 | 4183283 | 3831762 | 8401 1095 | 40 | 96 1658.56/1659.08 c 1651s | 24 | 4188576 | 3836662 | 8401 1096 | 40 | 96 1660.67/1661.11 c 1653s | 24 | 4193391 | 3841162 | 8401 1097 | 40 | 96 1662.66/1663.12 c 1655s | 24 | 4198691 | 3846162 | 8401 1099 | 40 | 96 1664.66/1665.14 c 1657s | 24 | 4204783 | 3851862 | 8401 1100 | 40 | 96 1666.66/1667.18 c 1659s | 24 | 4210766 | 3857562 | 8401 1101 | 40 | 96 1668.66/1669.20 c 1661s | 24 | 4216427 | 3862962 | 8401 1102 | 40 | 96 1670.76/1671.22 c 1663s | 24 | 4222080 | 3868362 | 8401 1104 | 40 | 96 1672.76/1673.26 c 1665s | 24 | 4228772 | 3874762 | 8401 1105 | 40 | 96 1674.76/1675.27 c 1667s | 24 | 4234396 | 3880062 | 8401 1106 | 40 | 96 1676.76/1677.29 c 1669s | 24 | 4239846 | 3885262 | 8401 1108 | 40 | 96 1678.86/1679.32 c 1671s | 24 | 4245608 | 3890562 | 8401 1109 | 40 | 96 1680.86/1681.32 c 1673s | 24 | 4251264 | 3895862 | 8401 1110 | 40 | 96 1682.86/1683.35 c 1675s | 24 | 4256868 | 3901062 | 8401 1111 | 40 | 96 1684.86/1685.39 c 1677s | 24 | 4261966 | 3905862 | 8401 1112 | 40 | 96 1686.96/1687.41 c 1679s | 24 | 4267426 | 3910962 | 8401 1113 | 40 | 96 1688.95/1689.42 c 1681s | 24 | 4272861 | 3916162 | 8401 1115 | 40 | 96 1690.95/1691.43 c 1683s | 24 | 4278938 | 3921862 | 8401 1116 | 40 | 96 1692.95/1693.44 c 1685s | 24 | 4284419 | 3927062 | 8401 1117 | 40 | 96 1694.95/1695.45 c 1687s | 24 | 4289716 | 3932162 | 8401 1118 | 40 | 96 1696.96/1697.47 c 1689s | 24 | 4295658 | 3937862 | 8401 1120 | 40 | 96 1698.95/1699.50 c 1691s | 24 | 4301664 | 3943662 | 8401 1121 | 40 | 96 1701.05/1701.51 c 1693s | 24 | 4306480 | 3948362 | 8401 1122 | 40 | 96 1703.05/1703.52 c 1695s | 24 | 4311450 | 3953162 | 8401 1123 | 40 | 96 1705.05/1705.55 c 1697s | 24 | 4316765 | 3958162 | 8401 1124 | 40 | 96 1707.05/1707.58 c 1699s | 24 | 4322381 | 3963462 | 8401 1126 | 40 | 96 1709.06/1709.58 c 1701s | 24 | 4327264 | 3968162 | 8401 1127 | 40 | 96 1711.15/1711.62 c 1703s | 24 | 4332892 | 3973362 | 8401 1128 | 40 | 96 1713.15/1713.63 c 1705s | 24 | 4338291 | 3978362 | 8401 1129 | 40 | 96 1715.15/1715.63 c 1707s | 24 | 4343889 | 3983562 | 8401 1130 | 40 | 96 1717.15/1717.68 c 1709s | 24 | 4349190 | 3988262 | 8401 1131 | 40 | 96 1719.15/1719.70 c 1711s | 24 | 4354463 | 3993262 | 8401 1132 | 40 | 96 1721.25/1721.71 c 1714s | 24 | 4360400 | 3998862 | 8401 1134 | 40 | 96 1723.25/1723.77 c 1716s | 24 | 4366590 | 4004662 | 8401 1135 | 40 | 96 1725.25/1725.78 c 1718s | 24 | 4371790 | 4009662 | 8401 1136 | 40 | 96 1727.35/1727.82 c 1720s | 24 | 4377647 | 4015162 | 8401 1137 | 40 | 96 1729.35/1729.84 c 1722s | 24 | 4382876 | 4020162 | 8401 1139 | 40 | 96 1731.34/1731.85 c 1724s | 24 | 4388104 | 4025162 | 8401 1140 | 40 | 96 1733.34/1733.87 c 1726s | 24 | 4393506 | 4030362 | 8401 1141 | 40 | 96 1735.35/1735.90 c 1728s | 24 | 4399086 | 4035762 | 8401 1142 | 40 | 96 1737.44/1737.92 c 1730s | 24 | 4404299 | 4040762 | 8401 1143 | 40 | 96 1739.44/1739.97 c 1732s | 24 | 4409092 | 4045362 | 8401 1144 | 40 | 96 1741.44/1741.97 c 1734s | 24 | 4413818 | 4049762 | 8401 1145 | 40 | 96 1743.44/1744.00 c 1736s | 24 | 4419584 | 4055062 | 8401 1147 | 40 | 96 1745.54/1746.00 c 1738s | 24 | 4424805 | 4059762 | 8401 1148 | 40 | 96 1747.56/1748.01 c 1740s | 24 | 4430072 | 4064762 | 8401 1149 | 40 | 96 1749.55/1750.02 c 1742s | 24 | 4435800 | 4070162 | 8401 1150 | 40 | 96 1751.55/1752.04 c 1744s | 24 | 4441674 | 4075762 | 8401 1151 | 40 | 96 1753.65/1754.13 c 1746s | 24 | 4446791 | 4080662 | 8401 1153 | 40 | 96 1755.65/1756.17 c 1748s | 24 | 4452922 | 4086462 | 8401 1154 | 40 | 96 1757.65/1758.18 c 1750s | 24 | 4458561 | 4091862 | 8401 1155 | 40 | 96 1759.65/1760.18 c 1752s | 24 | 4464663 | 4097662 | 8401 1157 | 40 | 96 1761.75/1762.20 c 1754s | 24 | 4470266 | 4102762 | 8401 1158 | 40 | 96 1763.74/1764.21 c 1756s | 24 | 4475676 | 4107962 | 8401 1159 | 40 | 96 1765.74/1766.24 c 1758s | 24 | 4481279 | 4113362 | 8401 1160 | 40 | 96 1767.74/1768.27 c 1760s | 24 | 4486917 | 4118762 | 8401 1161 | 40 | 96 1769.74/1770.27 c 1762s | 24 | 4492841 | 4124362 | 8401 1163 | 40 | 96 1771.75/1772.29 c 1764s | 24 | 4498394 | 4129662 | 8401 1164 | 40 | 96 1773.74/1774.30 c 1766s | 24 | 4504388 | 4135362 | 8401 1165 | 40 | 96 1775.84/1776.37 c 1768s | 24 | 4510405 | 4141062 | 8401 1167 | 40 | 96 1777.84/1778.37 c 1770s | 24 | 4515718 | 4146062 | 8401 1168 | 40 | 96 1779.84/1780.38 c 1772s | 24 | 4521790 | 4151862 | 8401 1169 | 40 | 96 1781.94/1782.44 c 1774s | 24 | 4527873 | 4157662 | 8401 1170 | 40 | 96 1783.94/1784.45 c 1776s | 24 | 4533532 | 4162962 | 8401 1172 | 40 | 96 1785.95/1786.49 c 1778s | 24 | 4539334 | 4168362 | 8401 1173 | 40 | 96 1787.94/1788.49 c 1780s | 24 | 4544799 | 4173462 | 8401 1174 | 40 | 96 1790.04/1790.52 c 1782s | 24 | 4550409 | 4178762 | 8401 1175 | 40 | 96 1792.04/1792.55 c 1784s | 24 | 4555635 | 4183562 | 8401 1176 | 40 | 96 1794.04/1794.56 c 1786s | 24 | 4561129 | 4188862 | 8401 1178 | 40 | 96 1796.04/1796.58 c 1788s | 24 | 4566521 | 4193962 | 8401 1179 | 40 | 96 1798.04/1798.58 c 1790s | 24 | 4572111 | 4198962 | 8401 1180 | 40 | 96
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-4106181-1466267112/watcher-4106181-1466267112 -o /tmp/evaluation-result-4106181-1466267112/solver-4106181-1466267112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106181-1466267112.opb pid=8866 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.22 2.15 2.10 4/179 8869 /proc/meminfo: memFree=30194868/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=690620 CPUtime=0 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 2571 0 0 0 0 0 0 0 20 0 4 0 28761380 707194880 2933 33554432000 4194304 16246674 140737330324128 140737330323552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 173423 2942 441 2943 0 170317 0 [pid=8869/tid=8870] ppid=8866 vsize=736700 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 754380800 3112 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=740796 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 758575104 3130 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=745916 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 763817984 3148 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 [startup+0.100127 s] /proc/loadavg: 2.22 2.15 2.10 4/179 8869 /proc/meminfo: memFree=30194868/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 21872 0 0 0 6 3 0 0 20 0 4 0 28761380 1247350784 22221 33554432000 4194304 16246674 140737330324128 140737330323552 5546859 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 304529 22227 758 2943 0 301423 0 [pid=8869/tid=8870] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 22235 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 22241 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 22244 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200455 s] /proc/loadavg: 2.22 2.15 2.10 4/179 8869 /proc/meminfo: memFree=30194868/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 40343 0 0 0 15 4 0 0 20 0 4 0 28761380 1247350784 40692 33554432000 4194304 16246674 140737330324128 140737330323552 12476789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 304529 40699 758 2943 0 301423 0 [pid=8869/tid=8870] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 40704 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 40714 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 40721 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300475 s] /proc/loadavg: 2.22 2.15 2.10 4/179 8869 /proc/meminfo: memFree=30194868/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 58297 0 0 0 22 7 0 0 20 0 4 0 28761380 1247350784 58646 33554432000 4194304 16246674 140737330324128 140737330323552 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 304529 58650 758 2943 0 301423 0 [pid=8869/tid=8870] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 58652 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 58654 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 58659 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700427 s] /proc/loadavg: 2.22 2.15 2.10 4/179 8869 /proc/meminfo: memFree=30194868/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 128965 0 0 0 51 18 0 0 20 0 4 0 28761380 1247350784 129315 33554432000 4194304 16246674 140737330324128 140737330323552 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 304529 129320 765 2943 0 301423 0 [pid=8869/tid=8870] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 129324 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 129327 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 129332 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50041 s] /proc/loadavg: 2.22 2.15 2.10 3/183 8873 /proc/meminfo: memFree=29488468/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1218116 CPUtime=1.48 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 222765 0 0 0 118 30 0 0 20 0 4 0 28761380 1247350784 223114 33554432000 4194304 16246674 140737330324128 140737330306048 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 304529 223121 765 2943 0 301423 0 [pid=8869/tid=8870] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 223124 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 223128 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1247350784 223132 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1218116 [startup+3.10041 s] /proc/loadavg: 2.22 2.15 2.10 3/183 8873 /proc/meminfo: memFree=29208956/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1302084 CPUtime=3.09 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 266467 0 0 0 272 37 0 0 20 0 4 0 28761380 1333334016 266793 33554432000 4194304 16246674 140737330324128 140737330306048 5545755 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 325521 266793 834 2943 0 322415 0 [pid=8869/tid=8870] ppid=8866 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1333334016 266793 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1333334016 266793 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1302084 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1333334016 266793 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1302084 [startup+6.30044 s] /proc/loadavg: 2.20 2.15 2.10 3/183 8873 /proc/meminfo: memFree=29121280/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1307204 CPUtime=6.29 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 267878 0 0 0 592 37 0 0 20 0 4 0 28761380 1338576896 268204 33554432000 4194304 16246674 140737330324128 140737330307128 5546233 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 326801 268204 834 2943 0 323695 0 [pid=8869/tid=8870] ppid=8866 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1338576896 268204 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1338576896 268204 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1338576896 268204 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1307204 [startup+12.7004 s] /proc/loadavg: 2.19 2.15 2.10 3/183 8873 /proc/meminfo: memFree=29118080/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1311300 CPUtime=12.68 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 268923 0 0 0 1231 37 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140737330306048 5996876 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 327825 269249 855 2943 0 324719 0 [pid=8869/tid=8870] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1311300 [startup+25.5005 s] /proc/loadavg: 2.21 2.15 2.10 3/183 8873 /proc/meminfo: memFree=29118456/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1311300 CPUtime=25.48 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 268923 0 0 0 2511 37 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140737330306048 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 327825 269249 855 2943 0 324719 0 [pid=8869/tid=8870] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1311300 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1342771200 269249 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1311300 [startup+51.1005 s] /proc/loadavg: 2.21 2.16 2.10 3/183 8873 /proc/meminfo: memFree=29108240/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1321540 CPUtime=51.08 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 271483 0 0 0 5070 38 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140737330306048 13927272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 330385 271809 855 2943 0 327279 0 [pid=8869/tid=8870] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1321540 [startup+102.3 s] /proc/loadavg: 2.20 2.16 2.10 3/183 8874 /proc/meminfo: memFree=29108224/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1321540 CPUtime=102.28 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 271483 0 0 0 10190 38 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140737330306048 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 330385 271809 855 2943 0 327279 0 [pid=8869/tid=8870] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1321540 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1353256960 271809 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1321540 ################ # More data... # ################ /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1334852 [startup+1362.3 s] /proc/loadavg: 2.13 2.16 2.14 3/183 9003 /proc/meminfo: memFree=29083716/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1361.9 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275166 0 0 0 136145 45 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140737330306048 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275396 856 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.10 2.14 2.13 3/183 9005 /proc/meminfo: memFree=29084084/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1421.9 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275166 0 0 0 142144 46 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140737330307128 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275396 856 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.15 2.14 2.13 3/183 9006 /proc/meminfo: memFree=29083856/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1481.88 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275166 0 0 0 148142 46 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140737330306048 5711680 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275396 856 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.19 2.16 2.14 3/184 9010 /proc/meminfo: memFree=29079656/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1541.89 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275166 0 0 0 154142 47 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140737330306048 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275396 856 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.22 2.17 2.14 3/183 9011 /proc/meminfo: memFree=29079536/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1601.86 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275166 0 0 0 160139 47 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140737330306048 5712210 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275396 856 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275396 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.18 2.17 2.14 3/183 9012 /proc/meminfo: memFree=29079164/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1661.86 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275167 0 0 0 166138 48 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140737330306048 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275397 857 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.22 2.18 2.14 3/183 9014 /proc/meminfo: memFree=29079284/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1721.85 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275167 0 0 0 172137 48 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140737330306048 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275397 857 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.17 2.17 2.14 3/183 9015 /proc/meminfo: memFree=29078660/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1781.84 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275167 0 0 0 178135 49 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140737330306048 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275397 857 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.18 2.18 2.14 3/183 9016 /proc/meminfo: memFree=29079012/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1800.04 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275167 0 0 0 179955 49 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140737330323304 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275397 857 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1334852 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 8869 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.18 2.18 2.14 3/183 9016 /proc/meminfo: memFree=29079012/32872528 swapFree=526336/559040 [pid=8869] ppid=8866 vsize=1334852 CPUtime=1800.04 cores=0,2,4,6 /proc/8869/stat : 8869 (toysat) R 8866 8869 28898 0 -1 4202496 275167 0 0 0 179955 49 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140737330323304 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/8869/statm: 333713 275397 857 2943 0 330607 0 [pid=8869/tid=8870] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8870/stat : 8870 (toysat) S 8866 8869 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399451548912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0 [pid=8869/tid=8871] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8871/stat : 8871 (toysat) S 8866 8869 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399441059056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0 [pid=8869/tid=8872] ppid=8866 vsize=1334852 CPUtime=0 cores=0,2,4,6 /proc/8869/task/8872/stat : 8872 (toysat) S 8866 8869 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 28761380 1366888448 275397 33554432000 4194304 16246674 140737330324128 140399326784688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1334852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.05 CPU user time (s): 1799.56 CPU system time (s): 0.492925 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.492925 maximum resident set size= 1101588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275167 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= 370 involuntary context switches= 1839 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1035 second user time and 9.99448 second system time The end
Begin job on node106 at 2016-06-18 18:25:13 IDJOB=4106181 IDBENCH=47963 IDSOLVER=2542 FILE ID=node106/4106181-1466267112 RUNJOBID= node106-1466241787-28914 PBS_JOBID= 19918214 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106181-1466267112/watcher-4106181-1466267112 -o /tmp/evaluation-result-4106181-1466267112/solver-4106181-1466267112 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106181-1466267112.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED=1439034019 node106.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 : 2667.073 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 : 5334.14 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 : 2667.073 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 : 2667.073 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.55 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 : 2667.073 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 : 2667.073 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 : 2667.073 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.56 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 : 2667.073 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.38 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 : 2667.073 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: 30194504 kB Buffers: 86660 kB Cached: 195904 kB SwapCached: 1736 kB Active: 1184912 kB Inactive: 187216 kB Active(anon): 1087832 kB Inactive(anon): 4000 kB Active(file): 97080 kB Inactive(file): 183216 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16328 kB Writeback: 0 kB AnonPages: 1647964 kB Mapped: 10528 kB Shmem: 0 kB Slab: 612852 kB SReclaimable: 56456 kB SUnreclaim: 556396 kB KernelStack: 1472 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1791332 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 993280 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= 71668 MiB End job on node106 at 2016-06-18 18:55:13