| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.1 | 1800.61 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_5.opb |
| MD5SUM | ae2bd1e13f1871c16ad2ebb51fc6f92a |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -26 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2504 |
| Sum of products size (including duplicates) | 5008 |
| Number of different products | 1252 |
| Sum of products size | 2504 |
0.00/0.00 c 2016-06-18T21:35:05+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-4106802-1466278504.opb"] 0.00/0.01 c use --random-gen="3927228912 1506957977 3122244784 160066922 787218396 3274840178 1869504004 587382932 1987177733 2296002062 2821467130 993010609 2073170701 996740337 1493652076 452731958 1419109484 959525118 159559306 2992949846 3466591946 1800227876 3751070628 4188147675 2808025175 4074192933 4017037419 4114653639 2294115428 726230323 2983163986 3717984451 2930665920 1693545228 4184465560 3658996529 4257715731 1809693398 150992736 373809031 1764021852 1810174635 59679110 2314120784 2492348159 865900982 1166693902 952864472 1254898847 2045813328 1434968254 1542420730 2705844262 465954359 2230738462 2074554280 1286989447 597433715 2780688600 2655468265 3449173178 1513254086 78337403 341443985 4162732996 3123622471 721695375 51679208 3042285492 125273348 1322843675 2152766074 2491043964 1808443050 3204225459 3594037463 2096158799 75395703 3775897818 1687094323 2713706572 2663753612 114638770 1431189444 2212692131 4166742252 3305275742 914367396 3246282355 3400435470 1011236855 3345750564 4207093048 2963453446 3366446485 4114716993 1232121214 345341527 3738738920 3066764171 1864701130 4241514778 341632113 1880776817 3341622126 3570101341 3696180394 384917224 711744072 3328216089 2400140754 3986470441 1569650629 1071302942 284251706 1741197279 1816079167 551696859 673952447 2545230067 2449184245 773744490 780571914 2122118838 564329436 1966661537 2771586887 966560193 2412276520 266367435 1916854101 794839005 1178830911 3793289687 3591348181 809697263 1674534376 545382981 2924242584 1689866808 746954905 1795495939 3513648421 1139387359 3041439761 4166600323 3677270586 146603850 3368246982 3836058874 1746848493 2018634971 1530946665 118656806 1600626211 1754560677 3171480566 2594671057 2817078663 1097652939 970692757 3236331289 2238864261 1712113859 74532761 75767015 1524382963 2310422014 1218626642 1235223413 2660691221 137554804 2007212479 3105722347 3840163982 2867148800 2223078874 3940875250 1242258690 2869200163 3901470203 4105567566 2782191021 3251926274 2814350296 563557588 3207103600 2917881458 4054309931 2149223411 2444032767 3212915234 3970642647 2644843666 1382792872 2117624604 3278748151 210183158 3962774014 3920310595 1677128829 3220748742 1177404493 3831250869 596734770 2957071097 3554113456 2164411152 209923195 2861142492 3400396668 3099376824 501081828 1778334850 579133719 4280293279 1620371598 638175931 1590866077 3505095069 4244605766 2130569244 3407628003 120307826 2543741531 385521920 1430482558 3083911680 633279671 2181475530 3809687996 569288917 2564615728 578069851 2046641500 1791673348 835406200 3759144908 4161420627 3525945415 2610068768 2455231312 2417219542 4148391284 347028451 2850394799 3911446750 3145745819 4024366933 108143049 2606348984 689628336 2596760957 2251768977 2325430985 1170847646 255 362436" option to reproduce the execution 0.00/0.02 c #vars 200 0.00/0.02 c #constraints 301 0.00/0.05 c BCD2: Hardening is enabled. 0.00/0.05 c BCD2: BiasedSearch is enabled. 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1002 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 116 | 1 | 1002 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.004s 0.00/0.05 c #wall_clock_time = 0.004s 0.00/0.05 c #decision = 116 0.00/0.05 c #random_decision = 1 0.00/0.05 c #conflict = 1 0.00/0.05 c #restart = 0 0.00/0.05 o -16 0.00/0.05 c BCD2: updating upper bound: 100 -> 83 0.00/0.05 c BCD2: 0 <= obj <= 83 0.00/0.05 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1002 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 70 | 2 | 1002 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.003s 0.00/0.06 c #wall_clock_time = 0.003s 0.00/0.06 c #decision = 70 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 2 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: found a new core of size 50: cost of the new core is >=1 0.00/0.06 c lower bound updated to -99 0.00/0.06 c BCD2: 1 <= obj <= 83 0.00/0.06 c BCD2: #cores=1, #unrelaxed=50, #relaxed=50, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=2 bias=2/3 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1002 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 1 | 1002 0 | 0 | 0 0.00/0.06 c #cpu_time = 0.004s 0.00/0.06 c #wall_clock_time = 0.004s 0.00/0.06 c #decision = 51 0.00/0.06 c #random_decision = 0 0.00/0.06 c #conflict = 1 0.00/0.06 c #restart = 0 0.00/0.06 c BCD2: relaxing 50 and merging with 1 cores into a new core of size 100: cost of the new core is >=2 0.00/0.06 c lower bound updated to -98 0.00/0.06 c BCD2: 2 <= obj <= 83 0.00/0.06 c BCD2: #cores=1, #unrelaxed=0, #relaxed=100, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=3 bias=3/4 0.00/0.06 c Solving starts ... 0.00/0.06 c ============================[ Search Statistics ]============================ 0.00/0.06 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.06 c | | | | Limit GC | Var | Constra 0.00/0.06 c ============================================================================= 0.00/0.06 c 0.0s | 0 | 0 | 0 | 1002 0 | 1 | 0 0.09/0.10 c 0.0s | 1 | 1625 | 100 | 1103 0 | 1 | 1 0.09/0.18 c 0.1s | 2 | 3267 | 250 | 1214 0 | 1 | 1 0.29/0.36 c 0.3s | 3 | 3903 | 475 | 1336 0 | 1 | 1 0.49/0.57 c 0.5s | 4 | 5425 | 813 | 1470 0 | 1 | 1 0.79/0.89 c 0.8s | 5 | 7636 | 1320 | 1618 0 | 1 | 1 1.19/1.23 c 1.2s | 6 | 13104 | 2081 | 1780 1 | 1 | 1 1.59/1.69 c 1.6s | 7 | 21962 | 3223 | 1959 2 | 1 | 1 2.39/2.40 c 2.3s | 8 | 39541 | 4936 | 2155 4 | 1 | 1 3.40/3.47 c 3.4s | 9 | 62936 | 7506 | 2371 6 | 1 | 1 5.09/5.11 c 5.0s | 10 | 96252 | 11361 | 2609 9 | 1 | 1 7.09/7.15 c 7.1s | 10 | 135359 | 16261 | 2609 12 | 1 | 1 7.49/7.51 c 7.5s | 11 | 143082 | 17144 | 2870 13 | 1 | 1 9.49/9.53 c 9.5s | 11 | 176232 | 21644 | 2870 16 | 1 | 1 11.49/11.53 c 11.5s | 11 | 193937 | 25344 | 2870 18 | 1 | 1 11.69/11.76 c 11.7s | 12 | 197287 | 25819 | 3158 18 | 1 | 1 13.69/13.77 c 13.7s | 12 | 218803 | 29919 | 3158 21 | 1 | 1 15.79/15.81 c 15.7s | 12 | 246778 | 34419 | 3158 24 | 1 | 1 17.59/17.69 c 17.6s | 13 | 274543 | 38832 | 3474 26 | 1 | 1 19.68/19.74 c 19.7s | 13 | 312372 | 42932 | 3474 28 | 1 | 1 21.68/21.76 c 21.7s | 13 | 333966 | 46832 | 3474 30 | 1 | 1 23.68/23.77 c 23.7s | 13 | 355926 | 50632 | 3474 33 | 1 | 1 25.68/25.78 c 25.7s | 13 | 385305 | 55132 | 3474 35 | 1 | 1 27.28/27.34 c 27.3s | 14 | 405126 | 58352 | 3822 37 | 1 | 1 29.28/29.38 c 29.3s | 14 | 445646 | 62452 | 3822 39 | 1 | 1 31.38/31.43 c 31.4s | 14 | 473767 | 66752 | 3822 41 | 1 | 1 33.38/33.45 c 33.4s | 14 | 500891 | 70752 | 3822 43 | 1 | 1 35.38/35.47 c 35.4s | 14 | 518569 | 74552 | 3822 45 | 1 | 1 37.39/37.47 c 37.4s | 14 | 531847 | 78552 | 3822 47 | 1 | 1 39.48/39.50 c 39.4s | 14 | 545121 | 82252 | 3822 49 | 1 | 1 41.48/41.52 c 41.5s | 14 | 552586 | 85752 | 3822 50 | 1 | 1 42.58/42.68 c 42.6s | 15 | 554918 | 87632 | 4205 51 | 1 | 1 44.68/44.70 c 44.6s | 15 | 579050 | 91032 | 4205 53 | 1 | 1 46.68/46.71 c 46.6s | 15 | 631201 | 95332 | 4205 55 | 1 | 1 48.68/48.73 c 48.7s | 15 | 646644 | 99232 | 4205 56 | 1 | 1 50.68/50.76 c 50.7s | 15 | 685525 | 103132 | 4205 58 | 1 | 1 52.78/52.81 c 52.7s | 15 | 708241 | 106832 | 4205 60 | 1 | 1 54.78/54.85 c 54.8s | 15 | 720819 | 110132 | 4205 62 | 1 | 1 56.78/56.86 c 56.8s | 15 | 749336 | 114832 | 4205 64 | 1 | 1 58.78/58.87 c 58.8s | 15 | 782840 | 119432 | 4205 66 | 1 | 1 60.87/60.90 c 60.8s | 15 | 809452 | 124032 | 4205 68 | 1 | 1 62.87/62.93 c 62.9s | 15 | 843283 | 128832 | 4205 70 | 1 | 1 63.97/64.08 c 64.0s | 16 | 860980 | 131552 | 4626 71 | 1 | 1 66.08/66.12 c 66.1s | 16 | 895903 | 135552 | 4626 73 | 1 | 1 68.07/68.14 c 68.1s | 16 | 914344 | 139752 | 4626 75 | 1 | 1 70.07/70.18 c 70.1s | 16 | 930917 | 143852 | 4626 76 | 1 | 1 72.17/72.21 c 72.1s | 16 | 946548 | 147752 | 4626 78 | 1 | 1 74.17/74.25 c 74.2s | 16 | 995453 | 152452 | 4626 80 | 1 | 1 76.18/76.27 c 76.2s | 16 | 1023935 | 156552 | 4626 82 | 1 | 1 78.28/78.31 c 78.2s | 16 | 1047160 | 160852 | 4626 83 | 1 | 1 80.29/80.35 c 80.3s | 16 | 1074920 | 164952 | 4626 85 | 1 | 1 82.38/82.40 c 82.3s | 16 | 1100793 | 169252 | 4626 87 | 1 | 1 84.38/84.43 c 84.4s | 16 | 1124285 | 173552 | 4626 89 | 1 | 1 86.38/86.48 c 86.4s | 16 | 1134745 | 177352 | 4626 90 | 1 | 1 88.38/88.48 c 88.4s | 16 | 1147686 | 180852 | 4626 92 | 1 | 1 90.48/90.53 c 90.5s | 16 | 1170499 | 185252 | 4626 94 | 1 | 1 92.48/92.57 c 92.5s | 16 | 1191470 | 189752 | 4626 96 | 1 | 1 94.48/94.58 c 94.5s | 16 | 1208445 | 193652 | 4626 97 | 1 | 1 96.28/96.37 c 96.3s | 17 | 1228902 | 197432 | 5089 99 | 1 | 1 98.38/98.41 c 98.3s | 17 | 1265147 | 201532 | 5089 100 | 1 | 1 100.38/100.44 c 100s | 17 | 1298713 | 205732 | 5089 102 | 1 | 1 102.38/102.46 c 102s | 17 | 1324195 | 210032 | 5089 103 | 1 | 1 104.37/104.49 c 104s | 17 | 1366741 | 214232 | 5089 105 | 1 | 1 106.47/106.52 c 106s | 17 | 1381850 | 217832 | 5089 106 | 1 | 1 108.47/108.59 c 108s | 17 | 1396579 | 221632 | 5089 108 | 1 | 1 110.57/110.63 c 110s | 17 | 1422751 | 225432 | 5089 109 | 1 | 1 112.57/112.68 c 112s | 17 | 1435918 | 229332 | 5089 111 | 1 | 1 114.57/114.68 c 114s | 17 | 1469210 | 233032 | 5089 112 | 1 | 1 116.68/116.71 c 116s | 17 | 1483085 | 236732 | 5089 114 | 1 | 1 118.67/118.74 c 118s | 17 | 1498222 | 240332 | 5089 115 | 1 | 1 120.67/120.74 c 120s | 17 | 1511173 | 244132 | 5089 116 | 1 | 1 122.67/122.79 c 122s | 17 | 1535847 | 248032 | 5089 118 | 1 | 1 124.77/124.80 c 124s | 17 | 1551128 | 251832 | 5089 119 | 1 | 1 126.77/126.81 c 126s | 17 | 1562481 | 255532 | 5089 121 | 1 | 1 128.77/128.83 c 128s | 17 | 1569732 | 258632 | 5089 122 | 1 | 1 130.77/130.85 c 130s | 17 | 1600382 | 262332 | 5089 123 | 1 | 1 132.76/132.89 c 132s | 17 | 1607588 | 265632 | 5089 125 | 1 | 1 134.86/134.93 c 134s | 17 | 1613807 | 268732 | 5089 126 | 1 | 1 136.86/136.94 c 136s | 17 | 1636539 | 271832 | 5089 127 | 1 | 1 138.86/138.99 c 138s | 17 | 1662341 | 275932 | 5089 128 | 1 | 1 140.97/141.02 c 140s | 17 | 1679152 | 279632 | 5089 130 | 1 | 1 142.98/143.05 c 142s | 17 | 1720283 | 283332 | 5089 131 | 1 | 1 144.97/145.07 c 145s | 17 | 1746723 | 287432 | 5089 133 | 1 | 1 147.07/147.10 c 147s | 17 | 1768244 | 291232 | 5089 134 | 1 | 1 149.07/149.12 c 149s | 17 | 1793560 | 295132 | 5598 136 | 1 | 1 149.68/149.77 c 149s | 18 | 1805694 | 296252 | 5598 136 | 1 | 1 151.67/151.80 c 151s | 18 | 1822600 | 299252 | 5598 137 | 1 | 1 153.77/153.84 c 153s | 18 | 1849364 | 302952 | 5598 138 | 1 | 1 155.77/155.89 c 155s | 18 | 1880917 | 306952 | 5598 140 | 1 | 1 157.97/158.00 c 157s | 18 | 1908819 | 310852 | 5598 141 | 1 | 1 159.97/160.05 c 159s | 18 | 1930023 | 314452 | 5598 142 | 1 | 1 161.97/162.07 c 162s | 18 | 1954053 | 318252 | 5598 144 | 1 | 1 163.97/164.09 c 164s | 18 | 1974309 | 322552 | 5598 145 | 1 | 1 165.97/166.10 c 166s | 18 | 2001444 | 326352 | 5598 146 | 1 | 1 168.07/168.10 c 168s | 18 | 2027774 | 330152 | 5598 148 | 1 | 1 170.07/170.14 c 170s | 18 | 2048407 | 334052 | 5598 149 | 1 | 1 172.06/172.16 c 172s | 18 | 2069249 | 337652 | 5598 150 | 1 | 1 174.06/174.19 c 174s | 18 | 2083256 | 340952 | 5598 151 | 1 | 1 176.16/176.23 c 176s | 18 | 2114467 | 345052 | 5598 153 | 1 | 1 178.17/178.24 c 178s | 18 | 2138768 | 348552 | 5598 154 | 1 | 1 180.16/180.27 c 180s | 18 | 2170217 | 352552 | 5598 155 | 1 | 1 182.16/182.29 c 182s | 18 | 2189627 | 356152 | 5598 157 | 1 | 1 184.26/184.32 c 184s | 18 | 2197535 | 359552 | 5598 158 | 1 | 1 186.26/186.34 c 186s | 18 | 2218891 | 363352 | 5598 159 | 1 | 1 188.26/188.39 c 188s | 18 | 2236252 | 366852 | 5598 160 | 1 | 1 190.27/190.39 c 190s | 18 | 2263300 | 370352 | 5598 162 | 1 | 1 192.36/192.40 c 192s | 18 | 2281576 | 374052 | 5598 163 | 1 | 1 194.36/194.41 c 194s | 18 | 2312153 | 378052 | 5598 164 | 1 | 1 196.36/196.44 c 196s | 18 | 2338776 | 382352 | 5598 166 | 1 | 1 198.36/198.49 c 198s | 18 | 2361070 | 386452 | 5598 167 | 1 | 1 200.46/200.51 c 200s | 18 | 2382968 | 390452 | 5598 169 | 1 | 1 202.46/202.53 c 202s | 18 | 2397768 | 394752 | 5598 170 | 1 | 1 204.46/204.54 c 204s | 18 | 2409846 | 398252 | 5598 171 | 1 | 1 206.46/206.59 c 206s | 18 | 2422303 | 402052 | 5598 173 | 1 | 1 208.56/208.66 c 208s | 18 | 2434494 | 405752 | 5598 174 | 1 | 1 210.66/210.70 c 210s | 18 | 2452553 | 409652 | 5598 175 | 1 | 1 212.66/212.78 c 212s | 18 | 2476237 | 413152 | 5598 177 | 1 | 1 214.76/214.80 c 214s | 18 | 2489453 | 416852 | 5598 178 | 1 | 1 216.76/216.84 c 216s | 18 | 2511860 | 420652 | 5598 179 | 1 | 1 218.75/218.89 c 218s | 18 | 2535660 | 424552 | 5598 180 | 1 | 1 220.85/220.91 c 220s | 18 | 2552182 | 428252 | 5598 182 | 1 | 1 222.85/222.98 c 222s | 18 | 2560793 | 431852 | 5598 183 | 1 | 1 224.85/224.99 c 224s | 18 | 2568891 | 435252 | 5598 184 | 1 | 1 226.95/227.00 c 226s | 18 | 2587918 | 438852 | 5598 185 | 1 | 1 228.95/229.03 c 228s | 18 | 2625708 | 443052 | 6158 187 | 1 | 1 229.65/229.71 c 229s | 19 | 2640379 | 444482 | 6158 187 | 1 | 1 231.65/231.73 c 231s | 19 | 2675767 | 448782 | 6158 188 | 1 | 1 233.65/233.73 c 233s | 19 | 2698022 | 452282 | 6158 190 | 1 | 1 235.65/235.74 c 235s | 19 | 2737991 | 456282 | 6158 191 | 1 | 1 237.66/237.76 c 237s | 19 | 2766261 | 460082 | 6158 192 | 1 | 1 239.65/239.77 c 239s | 19 | 2792029 | 463982 | 6158 193 | 1 | 1 241.75/241.81 c 241s | 19 | 2812493 | 467282 | 6158 194 | 1 | 1 243.75/243.85 c 243s | 19 | 2831634 | 470782 | 6158 195 | 1 | 1 245.75/245.88 c 245s | 19 | 2843458 | 473882 | 6158 196 | 1 | 1 247.75/247.89 c 247s | 19 | 2854565 | 477182 | 6158 197 | 1 | 1 249.85/249.92 c 249s | 19 | 2865562 | 480482 | 6158 198 | 1 | 1 251.85/251.95 c 251s | 19 | 2891967 | 484582 | 6158 200 | 1 | 1 253.95/254.00 c 253s | 19 | 2930752 | 488782 | 6158 201 | 1 | 1 255.95/256.01 c 255s | 19 | 2954714 | 492882 | 6158 202 | 1 | 1 257.94/258.02 c 257s | 19 | 2976690 | 496582 | 6158 204 | 1 | 1 259.94/260.05 c 259s | 19 | 3000528 | 500482 | 6158 205 | 1 | 1 261.94/262.09 c 262s | 19 | 3030121 | 504782 | 6158 206 | 1 | 1 264.05/264.13 c 264s | 19 | 3051502 | 509282 | 6158 208 | 1 | 1 266.04/266.14 c 266s | 19 | 3069992 | 513482 | 6158 209 | 1 | 1 268.04/268.16 c 268s | 19 | 3091566 | 517082 | 6158 210 | 1 | 1 270.14/270.21 c 270s | 19 | 3120830 | 521182 | 6158 211 | 1 | 1 272.14/272.22 c 272s | 19 | 3148160 | 525282 | 6158 213 | 1 | 1 274.14/274.25 c 274s | 19 | 3170638 | 529482 | 6158 214 | 1 | 1 276.15/276.27 c 276s | 19 | 3201950 | 533382 | 6158 215 | 1 | 1 278.25/278.32 c 278s | 19 | 3211547 | 536982 | 6158 216 | 1 | 1 280.24/280.34 c 280s | 19 | 3228792 | 540482 | 6158 218 | 1 | 1 282.24/282.38 c 282s | 19 | 3255717 | 544782 | 6158 219 | 1 | 1 284.34/284.40 c 284s | 19 | 3282712 | 549182 | 6158 220 | 1 | 1 286.35/286.46 c 286s | 19 | 3296128 | 553182 | 6158 222 | 1 | 1 288.35/288.49 c 288s | 19 | 3306362 | 556982 | 6158 223 | 1 | 1 290.45/290.52 c 290s | 19 | 3344989 | 561082 | 6158 224 | 1 | 1 292.45/292.54 c 292s | 19 | 3365385 | 565182 | 6158 225 | 1 | 1 294.45/294.55 c 294s | 19 | 3389590 | 568882 | 6158 226 | 1 | 1 296.55/296.60 c 296s | 19 | 3404116 | 572482 | 6158 228 | 1 | 1 298.55/298.63 c 298s | 19 | 3433429 | 576682 | 6158 229 | 1 | 1 300.55/300.64 c 300s | 19 | 3452405 | 580482 | 6158 230 | 1 | 1 302.55/302.64 c 302s | 19 | 3474345 | 584082 | 6158 231 | 1 | 1 304.55/304.66 c 304s | 19 | 3495201 | 587882 | 6158 232 | 1 | 1 306.65/306.71 c 306s | 19 | 3511572 | 591482 | 6158 234 | 1 | 1 308.65/308.74 c 308s | 19 | 3520675 | 594982 | 6158 235 | 1 | 1 310.64/310.79 c 310s | 19 | 3535372 | 598682 | 6158 236 | 1 | 1 312.74/312.80 c 312s | 19 | 3546558 | 602482 | 6158 237 | 1 | 1 314.74/314.83 c 314s | 19 | 3560250 | 606482 | 6158 238 | 1 | 1 316.75/316.83 c 316s | 19 | 3578555 | 610082 | 6158 239 | 1 | 1 318.74/318.84 c 318s | 19 | 3599006 | 614282 | 6158 241 | 1 | 1 320.74/320.86 c 320s | 19 | 3610989 | 618582 | 6158 242 | 1 | 1 322.84/322.90 c 322s | 19 | 3640510 | 622382 | 6158 243 | 1 | 1 324.84/324.91 c 324s | 19 | 3669616 | 626782 | 6158 245 | 1 | 1 326.84/326.92 c 326s | 19 | 3698473 | 630982 | 6158 246 | 1 | 1 328.85/328.97 c 328s | 19 | 3716658 | 635182 | 6158 247 | 1 | 1 330.84/330.98 c 330s | 19 | 3727875 | 638882 | 6158 249 | 1 | 1 332.94/333.00 c 332s | 19 | 3738487 | 642582 | 6158 250 | 1 | 1 334.94/335.00 c 334s | 19 | 3753010 | 646182 | 6158 251 | 1 | 1 336.94/337.05 c 336s | 19 | 3761769 | 649282 | 6158 252 | 1 | 1 338.94/339.09 c 339s | 19 | 3771834 | 653182 | 6158 253 | 1 | 1 341.04/341.11 c 341s | 19 | 3780180 | 656882 | 6158 254 | 1 | 1 343.04/343.12 c 343s | 19 | 3799582 | 660282 | 6158 255 | 1 | 1 345.04/345.13 c 345s | 19 | 3820690 | 664482 | 6774 256 | 1 | 1 346.34/346.49 c 346s | 20 | 3827196 | 666827 | 6774 257 | 1 | 1 348.44/348.50 c 348s | 20 | 3859203 | 670927 | 6774 258 | 1 | 1 350.43/350.55 c 350s | 20 | 3889742 | 674727 | 6774 259 | 1 | 1 352.43/352.57 c 352s | 20 | 3946861 | 678627 | 6774 261 | 1 | 1 354.43/354.58 c 354s | 20 | 3989174 | 682727 | 6774 262 | 1 | 1 356.53/356.61 c 356s | 20 | 4009062 | 686327 | 6774 263 | 1 | 1 358.54/358.64 c 358s | 20 | 4055506 | 690227 | 6774 264 | 1 | 1 360.53/360.66 c 360s | 20 | 4089192 | 694827 | 6774 265 | 1 | 1 362.53/362.69 c 362s | 20 | 4110804 | 698627 | 6774 266 | 1 | 1 364.63/364.74 c 364s | 20 | 4124191 | 702027 | 6774 267 | 1 | 1 366.63/366.75 c 366s | 20 | 4132173 | 705627 | 6774 268 | 1 | 1 368.63/368.79 c 368s | 20 | 4149646 | 708427 | 6774 269 | 1 | 1 370.74/370.84 c 370s | 20 | 4179010 | 712727 | 6774 270 | 1 | 1 372.73/372.88 c 372s | 20 | 4196117 | 716527 | 6774 271 | 1 | 1 374.83/374.92 c 374s | 20 | 4221854 | 720727 | 6774 273 | 1 | 1 376.93/377.04 c 376s | 20 | 4227830 | 724127 | 6774 274 | 1 | 1 378.93/379.08 c 379s | 20 | 4238135 | 727727 | 6774 275 | 1 | 1 381.03/381.15 c 381s | 20 | 4248165 | 731527 | 6774 276 | 1 | 1 383.03/383.16 c 383s | 20 | 4255654 | 734827 | 6774 277 | 1 | 1 385.03/385.17 c 385s | 20 | 4262610 | 738227 | 6774 278 | 1 | 1 387.14/387.24 c 387s | 20 | 4267138 | 740927 | 6774 278 | 1 | 1 389.13/389.26 c 389s | 20 | 4280047 | 744127 | 6774 279 | 1 | 1 391.13/391.28 c 391s | 20 | 4290320 | 747127 | 6774 280 | 1 | 1 393.23/393.30 c 393s | 20 | 4327288 | 750927 | 6774 281 | 1 | 1 395.23/395.35 c 395s | 20 | 4358683 | 754827 | 6774 282 | 1 | 1 397.33/397.40 c 397s | 20 | 4376830 | 758527 | 6774 283 | 1 | 1 399.34/399.42 c 399s | 20 | 4399865 | 761927 | 6774 284 | 1 | 1 401.33/401.44 c 401s | 20 | 4447207 | 765627 | 6774 286 | 1 | 1 403.33/403.48 c 403s | 20 | 4478027 | 770227 | 6774 287 | 1 | 1 405.43/405.51 c 405s | 20 | 4495413 | 773727 | 6774 288 | 1 | 1 407.43/407.53 c 407s | 20 | 4513724 | 777327 | 6774 289 | 1 | 1 409.43/409.55 c 409s | 20 | 4527932 | 780927 | 6774 290 | 1 | 1 411.53/411.60 c 411s | 20 | 4536720 | 784427 | 6774 291 | 1 | 1 413.53/413.64 c 413s | 20 | 4561526 | 787627 | 6774 292 | 1 | 1 415.53/415.66 c 415s | 20 | 4577498 | 791327 | 6774 293 | 1 | 1 417.63/417.73 c 417s | 20 | 4595987 | 795127 | 6774 294 | 1 | 1 419.63/419.77 c 419s | 20 | 4619614 | 799127 | 6774 295 | 1 | 1 421.73/421.82 c 421s | 20 | 4634194 | 803027 | 6774 296 | 1 | 1 423.72/423.84 c 423s | 20 | 4651057 | 806227 | 6774 297 | 1 | 1 425.73/425.84 c 425s | 20 | 4686102 | 810227 | 6774 298 | 1 | 1 427.72/427.88 c 427s | 20 | 4706232 | 813827 | 6774 299 | 1 | 1 429.82/429.91 c 429s | 20 | 4729195 | 818227 | 6774 301 | 1 | 1 431.82/431.92 c 431s | 20 | 4748533 | 822627 | 6774 302 | 1 | 1 433.82/433.94 c 433s | 20 | 4773099 | 826527 | 6774 303 | 1 | 1 435.82/435.94 c 435s | 20 | 4790868 | 830627 | 6774 304 | 1 | 1 437.83/437.99 c 437s | 20 | 4805253 | 834327 | 6774 305 | 1 | 1 439.93/440.01 c 439s | 20 | 4822793 | 838127 | 6774 306 | 1 | 1 441.92/442.02 c 441s | 20 | 4837877 | 842127 | 6774 308 | 1 | 1 443.92/444.07 c 444s | 20 | 4847117 | 846027 | 6774 309 | 1 | 1 446.02/446.12 c 446s | 20 | 4854103 | 849827 | 6774 310 | 1 | 1 448.02/448.16 c 448s | 20 | 4864632 | 852627 | 6774 311 | 1 | 1 450.12/450.22 c 450s | 20 | 4888266 | 856427 | 6774 312 | 1 | 1 452.13/452.23 c 452s | 20 | 4908417 | 860327 | 6774 313 | 1 | 1 454.12/454.25 c 454s | 20 | 4927682 | 864227 | 6774 314 | 1 | 1 456.12/456.27 c 456s | 20 | 4941038 | 868027 | 6774 315 | 1 | 1 458.22/458.32 c 458s | 20 | 4953752 | 871227 | 6774 316 | 1 | 1 460.22/460.35 c 460s | 20 | 4974696 | 874827 | 6774 317 | 1 | 1 462.22/462.38 c 462s | 20 | 4988028 | 878527 | 6774 318 | 1 | 1 464.22/464.39 c 464s | 20 | 5001022 | 882027 | 6774 319 | 1 | 1 466.32/466.44 c 466s | 20 | 5015440 | 885827 | 6774 320 | 1 | 1 468.32/468.48 c 468s | 20 | 5026493 | 889327 | 6774 321 | 1 | 1 470.42/470.52 c 470s | 20 | 5045253 | 893327 | 6774 322 | 1 | 1 472.42/472.54 c 472s | 20 | 5054281 | 896927 | 6774 323 | 1 | 1 474.41/474.58 c 474s | 20 | 5060758 | 900427 | 6774 324 | 1 | 1 476.51/476.68 c 476s | 20 | 5065892 | 903227 | 6774 325 | 1 | 1 478.61/478.71 c 478s | 20 | 5078931 | 906927 | 6774 326 | 1 | 1 480.62/480.74 c 480s | 20 | 5094050 | 910527 | 6774 327 | 1 | 1 482.61/482.75 c 482s | 20 | 5102394 | 914327 | 6774 328 | 1 | 1 484.61/484.75 c 484s | 20 | 5111237 | 917927 | 6774 329 | 1 | 1 486.71/486.83 c 486s | 20 | 5121265 | 921927 | 6774 331 | 1 | 1 488.71/488.84 c 488s | 20 | 5137358 | 926027 | 6774 332 | 1 | 1 490.81/490.91 c 490s | 20 | 5151449 | 930027 | 6774 333 | 1 | 1 492.82/492.95 c 492s | 20 | 5157507 | 933627 | 6774 334 | 1 | 1 494.81/494.96 c 494s | 20 | 5167287 | 936827 | 6774 335 | 1 | 1 496.91/497.00 c 496s | 20 | 5184693 | 940627 | 6774 336 | 1 | 1 498.91/499.01 c 498s | 20 | 5192186 | 943827 | 6774 337 | 1 | 1 500.91/501.05 c 500s | 20 | 5202210 | 947127 | 6774 338 | 1 | 1 502.91/503.05 c 502s | 20 | 5214586 | 950827 | 6774 339 | 1 | 1 504.92/505.09 c 505s | 20 | 5226297 | 954727 | 6774 340 | 1 | 1 506.91/507.09 c 507s | 20 | 5233619 | 958027 | 6774 341 | 1 | 1 509.01/509.11 c 509s | 20 | 5237450 | 960627 | 6774 342 | 1 | 1 511.01/511.16 c 511s | 20 | 5247090 | 964527 | 6774 343 | 1 | 1 513.01/513.16 c 513s | 20 | 5252492 | 967827 | 6774 344 | 1 | 1 515.11/515.25 c 515s | 20 | 5265152 | 970727 | 6774 345 | 1 | 1 517.11/517.26 c 517s | 20 | 5289083 | 974327 | 6774 346 | 1 | 1 519.11/519.28 c 519s | 20 | 5311026 | 978227 | 6774 347 | 1 | 1 521.21/521.36 c 521s | 20 | 5331721 | 981827 | 6774 348 | 1 | 1 523.21/523.36 c 523s | 20 | 5338146 | 985127 | 6774 349 | 1 | 1 525.21/525.38 c 525s | 20 | 5353695 | 988427 | 6774 350 | 1 | 1 527.30/527.45 c 527s | 20 | 5369427 | 991927 | 6774 351 | 1 | 1 529.30/529.46 c 529s | 20 | 5386554 | 995527 | 7452 351 | 1 | 1 531.40/531.50 c 531s | 20 | 5396239 | 999127 | 7452 352 | 1 | 1 532.32/532.45 c 532s | 21 | 5402177 | 1000345 | 7452 353 | 1 | 1 534.31/534.49 c 534s | 21 | 5431376 | 1003345 | 7452 354 | 1 | 1 536.41/536.53 c 536s | 21 | 5467679 | 1006945 | 7452 354 | 1 | 1 538.41/538.56 c 538s | 21 | 5494715 | 1010545 | 7452 355 | 1 | 1 540.51/540.60 c 540s | 21 | 5506725 | 1013445 | 7452 356 | 1 | 1 542.51/542.60 c 542s | 21 | 5525223 | 1016945 | 7452 357 | 1 | 1 544.52/544.65 c 544s | 21 | 5540629 | 1020445 | 7452 358 | 1 | 1 546.51/546.67 c 546s | 21 | 5557883 | 1024145 | 7452 359 | 1 | 1 548.61/548.70 c 548s | 21 | 5565780 | 1027545 | 7452 360 | 1 | 1 550.61/550.75 c 550s | 21 | 5578848 | 1030445 | 7452 361 | 1 | 1 552.71/552.87 c 552s | 21 | 5591376 | 1033645 | 7452 361 | 1 | 1 554.81/554.93 c 554s | 21 | 5607620 | 1037145 | 7452 362 | 1 | 1 556.81/556.97 c 556s | 21 | 5617522 | 1040645 | 7452 363 | 1 | 1 558.91/559.05 c 558s | 21 | 5624790 | 1043945 | 7452 364 | 1 | 1 560.91/561.06 c 561s | 21 | 5636314 | 1047445 | 7452 365 | 1 | 1 562.91/563.09 c 563s | 21 | 5649309 | 1051145 | 7452 366 | 1 | 1 564.91/565.10 c 565s | 21 | 5661068 | 1054945 | 7452 367 | 1 | 1 567.00/567.11 c 567s | 21 | 5668345 | 1058345 | 7452 368 | 1 | 1 569.00/569.15 c 569s | 21 | 5677932 | 1062145 | 7452 369 | 1 | 1 571.00/571.17 c 571s | 21 | 5685140 | 1065745 | 7452 370 | 1 | 1 573.11/573.27 c 573s | 21 | 5704469 | 1068545 | 7452 371 | 1 | 1 575.10/575.29 c 575s | 21 | 5720025 | 1071745 | 7452 371 | 1 | 1 577.20/577.35 c 577s | 21 | 5756696 | 1075645 | 7452 372 | 1 | 1 579.20/579.39 c 579s | 21 | 5781171 | 1079645 | 7452 373 | 1 | 1 581.30/581.41 c 581s | 21 | 5800422 | 1083345 | 7452 374 | 1 | 1 583.30/583.46 c 583s | 21 | 5820227 | 1086745 | 7452 375 | 1 | 1 585.30/585.49 c 585s | 21 | 5833408 | 1090145 | 7452 376 | 1 | 1 587.41/587.52 c 587s | 21 | 5847377 | 1093945 | 7452 377 | 1 | 1 589.40/589.56 c 589s | 21 | 5856866 | 1096445 | 7452 378 | 1 | 1 591.40/591.58 c 591s | 21 | 5875317 | 1099745 | 7452 379 | 1 | 1 593.40/593.59 c 593s | 21 | 5891353 | 1103545 | 7452 380 | 1 | 1 595.40/595.59 c 595s | 21 | 5909701 | 1106845 | 7452 381 | 1 | 1 597.50/597.64 c 597s | 21 | 5936080 | 1110445 | 7452 382 | 1 | 1 599.60/599.71 c 599s | 21 | 5951820 | 1114245 | 7452 383 | 1 | 1 601.60/601.75 c 601s | 21 | 5966467 | 1117945 | 7452 383 | 1 | 1 603.60/603.79 c 603s | 21 | 5976741 | 1121445 | 7452 384 | 1 | 1 605.69/605.82 c 605s | 21 | 5982005 | 1124645 | 7452 385 | 1 | 1 607.69/607.85 c 607s | 21 | 5996971 | 1127645 | 7452 386 | 1 | 1 609.69/609.87 c 609s | 21 | 6014772 | 1131345 | 7452 387 | 1 | 1 611.79/611.91 c 611s | 21 | 6026094 | 1134745 | 7452 388 | 1 | 1 613.80/613.95 c 613s | 21 | 6033650 | 1137645 | 7452 389 | 1 | 1 615.79/615.98 c 615s | 21 | 6050482 | 1141245 | 7452 390 | 1 | 1 617.89/618.06 c 617s | 21 | 6064817 | 1144745 | 7452 391 | 1 | 1 619.99/620.10 c 620s | 21 | 6073745 | 1148245 | 7452 391 | 1 | 1 621.99/622.16 c 622s | 21 | 6083201 | 1151345 | 7452 392 | 1 | 1 623.99/624.16 c 624s | 21 | 6089342 | 1154545 | 7452 393 | 1 | 1 626.09/626.21 c 626s | 21 | 6100310 | 1157745 | 7452 394 | 1 | 1 628.10/628.27 c 628s | 21 | 6111346 | 1160845 | 7452 395 | 1 | 1 630.09/630.27 c 630s | 21 | 6120823 | 1164145 | 7452 396 | 1 | 1 632.19/632.34 c 632s | 21 | 6129349 | 1167745 | 7452 397 | 1 | 1 634.19/634.36 c 634s | 21 | 6138461 | 1171245 | 7452 397 | 1 | 1 636.19/636.36 c 636s | 21 | 6146071 | 1174645 | 7452 398 | 1 | 1 638.19/638.38 c 638s | 21 | 6155646 | 1177945 | 7452 399 | 1 | 1 640.29/640.43 c 640s | 21 | 6165597 | 1180045 | 7452 400 | 1 | 1 642.29/642.47 c 642s | 21 | 6180881 | 1183345 | 7452 401 | 1 | 1 644.39/644.50 c 644s | 21 | 6199765 | 1187045 | 7452 402 | 1 | 1 646.39/646.52 c 646s | 21 | 6207860 | 1190345 | 7452 402 | 1 | 1 648.39/648.55 c 648s | 21 | 6214191 | 1193645 | 7452 403 | 1 | 1 650.39/650.56 c 650s | 21 | 6221840 | 1196945 | 7452 404 | 1 | 1 652.39/652.59 c 652s | 21 | 6227499 | 1200145 | 7452 405 | 1 | 1 654.50/654.61 c 654s | 21 | 6232778 | 1202945 | 7452 406 | 1 | 1 656.49/656.65 c 656s | 21 | 6244590 | 1206545 | 7452 407 | 1 | 1 658.49/658.67 c 658s | 21 | 6255617 | 1210245 | 7452 408 | 1 | 1 660.49/660.69 c 660s | 21 | 6260937 | 1213745 | 7452 409 | 1 | 1 662.59/662.73 c 662s | 21 | 6270988 | 1217145 | 7452 409 | 1 | 1 664.59/664.74 c 664s | 21 | 6280189 | 1220645 | 7452 410 | 1 | 1 666.59/666.74 c 666s | 21 | 6285910 | 1223745 | 7452 411 | 1 | 1 668.59/668.78 c 668s | 21 | 6299205 | 1227245 | 7452 412 | 1 | 1 670.69/670.82 c 670s | 21 | 6307509 | 1230745 | 7452 413 | 1 | 1 672.69/672.83 c 672s | 21 | 6313725 | 1234045 | 7452 414 | 1 | 1 674.68/674.88 c 674s | 21 | 6319994 | 1237045 | 7452 415 | 1 | 1 676.78/676.90 c 676s | 21 | 6324521 | 1240045 | 7452 415 | 1 | 1 678.78/678.97 c 678s | 21 | 6330730 | 1243345 | 7452 416 | 1 | 1 680.89/681.01 c 680s | 21 | 6335818 | 1246545 | 7452 417 | 1 | 1 682.88/683.03 c 682s | 21 | 6352910 | 1249545 | 7452 418 | 1 | 1 684.88/685.06 c 684s | 21 | 6378927 | 1253445 | 7452 419 | 1 | 1 686.98/687.11 c 687s | 21 | 6399702 | 1257445 | 7452 420 | 1 | 1 688.98/689.13 c 689s | 21 | 6419215 | 1261445 | 7452 421 | 1 | 1 690.98/691.16 c 691s | 21 | 6453641 | 1265645 | 7452 422 | 1 | 1 692.99/693.18 c 693s | 21 | 6485269 | 1269645 | 7452 423 | 1 | 1 694.98/695.18 c 695s | 21 | 6514215 | 1273945 | 7452 424 | 1 | 1 696.98/697.19 c 697s | 21 | 6532365 | 1278145 | 7452 425 | 1 | 1 699.08/699.20 c 699s | 21 | 6559826 | 1282545 | 7452 427 | 1 | 1 701.08/701.28 c 701s | 21 | 6574678 | 1286245 | 7452 428 | 1 | 1 703.19/703.32 c 703s | 21 | 6595952 | 1289945 | 7452 429 | 1 | 1 705.19/705.36 c 705s | 21 | 6619644 | 1293745 | 7452 430 | 1 | 1 707.19/707.37 c 707s | 21 | 6641422 | 1297545 | 7452 431 | 1 | 1 709.19/709.39 c 709s | 21 | 6675940 | 1301945 | 7452 432 | 1 | 1 711.28/711.41 c 711s | 21 | 6687280 | 1305645 | 7452 433 | 1 | 1 713.28/713.45 c 713s | 21 | 6700888 | 1308445 | 7452 433 | 1 | 1 715.28/715.46 c 715s | 21 | 6714764 | 1312145 | 7452 434 | 1 | 1 717.38/717.50 c 717s | 21 | 6730500 | 1316145 | 7452 435 | 1 | 1 719.39/719.53 c 719s | 21 | 6747793 | 1320245 | 7452 436 | 1 | 1 721.38/721.54 c 721s | 21 | 6767685 | 1323845 | 7452 437 | 1 | 1 723.38/723.56 c 723s | 21 | 6791609 | 1327745 | 7452 438 | 1 | 1 725.48/725.64 c 725s | 21 | 6809095 | 1331745 | 7452 440 | 1 | 1 727.48/727.64 c 727s | 21 | 6821516 | 1335145 | 7452 440 | 1 | 1 729.48/729.64 c 729s | 21 | 6835628 | 1338845 | 7452 441 | 1 | 1 731.49/731.66 c 731s | 21 | 6841609 | 1342345 | 7452 442 | 1 | 1 733.48/733.69 c 733s | 21 | 6847704 | 1345845 | 7452 443 | 1 | 1 735.58/735.74 c 735s | 21 | 6855705 | 1349145 | 7452 444 | 1 | 1 737.57/737.75 c 737s | 21 | 6862994 | 1352245 | 7452 445 | 1 | 1 739.97/740.19 c 740s | 21 | 6869311 | 1355145 | 7452 446 | 1 | 1 742.07/742.25 c 742s | 21 | 6893362 | 1358445 | 7452 447 | 1 | 1 744.07/744.25 c 744s | 21 | 6906506 | 1361745 | 7452 447 | 1 | 1 746.17/746.30 c 746s | 21 | 6927456 | 1365545 | 7452 448 | 1 | 1 748.17/748.35 c 748s | 21 | 6943653 | 1369445 | 7452 449 | 1 | 1 750.17/750.35 c 750s | 21 | 6956731 | 1373045 | 7452 450 | 1 | 1 752.17/752.37 c 752s | 21 | 6975838 | 1376345 | 7452 451 | 1 | 1 754.27/754.41 c 754s | 21 | 6990559 | 1379945 | 7452 452 | 1 | 1 756.27/756.44 c 756s | 21 | 7013746 | 1383645 | 7452 453 | 1 | 1 758.26/758.47 c 758s | 21 | 7037573 | 1387945 | 7452 454 | 1 | 1 760.36/760.50 c 760s | 21 | 7062258 | 1392045 | 7452 455 | 1 | 1 762.36/762.51 c 762s | 21 | 7078883 | 1396345 | 7452 456 | 1 | 1 764.37/764.51 c 764s | 21 | 7093786 | 1400145 | 7452 457 | 1 | 1 766.36/766.54 c 766s | 21 | 7100846 | 1403245 | 7452 458 | 1 | 1 768.36/768.58 c 768s | 21 | 7107198 | 1406845 | 7452 459 | 1 | 1 770.36/770.59 c 770s | 21 | 7113651 | 1410345 | 7452 460 | 1 | 1 772.46/772.62 c 772s | 21 | 7126201 | 1414145 | 7452 461 | 1 | 1 774.46/774.63 c 774s | 21 | 7139367 | 1416945 | 7452 462 | 1 | 1 776.47/776.67 c 776s | 21 | 7157622 | 1420145 | 7452 463 | 1 | 1 778.56/778.71 c 778s | 21 | 7182099 | 1423745 | 7452 464 | 1 | 1 780.56/780.73 c 780s | 21 | 7202554 | 1427545 | 7452 465 | 1 | 1 782.56/782.77 c 782s | 21 | 7236071 | 1431445 | 7452 466 | 1 | 1 784.55/784.78 c 784s | 21 | 7247348 | 1435045 | 7452 467 | 1 | 1 786.65/786.84 c 786s | 21 | 7255403 | 1437945 | 7452 467 | 1 | 1 788.66/788.89 c 788s | 21 | 7270671 | 1441545 | 7452 468 | 1 | 1 790.76/790.92 c 790s | 21 | 7287121 | 1445045 | 7452 469 | 1 | 1 792.75/792.95 c 792s | 21 | 7297407 | 1448345 | 7452 470 | 1 | 1 794.75/794.96 c 794s | 21 | 7308018 | 1451145 | 7452 471 | 1 | 1 796.75/796.96 c 796s | 21 | 7324334 | 1454745 | 7452 472 | 1 | 1 798.75/798.99 c 798s | 21 | 7339383 | 1458545 | 7452 473 | 1 | 1 800.85/801.00 c 800s | 21 | 7347056 | 1461645 | 7452 474 | 1 | 1 802.85/803.04 c 802s | 21 | 7362382 | 1465245 | 7452 475 | 1 | 1 804.84/805.08 c 805s | 21 | 7374538 | 1468945 | 7452 476 | 1 | 1 806.94/807.13 c 807s | 21 | 7381616 | 1472345 | 7452 476 | 1 | 1 808.94/809.16 c 809s | 21 | 7389257 | 1475745 | 7452 477 | 1 | 1 811.14/811.37 c 811s | 21 | 7392678 | 1478045 | 7452 478 | 1 | 1 813.25/813.40 c 813s | 21 | 7407120 | 1481745 | 7452 479 | 1 | 1 815.25/815.43 c 815s | 21 | 7419217 | 1485645 | 7452 480 | 1 | 1 817.25/817.48 c 817s | 21 | 7438475 | 1489245 | 7452 481 | 1 | 1 819.35/819.51 c 819s | 21 | 7457873 | 1493245 | 8198 482 | 1 | 1 821.35/821.56 c 821s | 21 | 7483135 | 1497245 | 8198 483 | 1 | 1 823.24/823.42 c 823s | 22 | 7493281 | 1500622 | 8198 483 | 1 | 1 825.24/825.46 c 825s | 22 | 7507141 | 1503422 | 8198 484 | 1 | 1 827.24/827.47 c 827s | 22 | 7533037 | 1506922 | 8198 485 | 1 | 1 829.35/829.51 c 829s | 22 | 7549387 | 1510222 | 8198 486 | 1 | 1 831.34/831.58 c 831s | 22 | 7568160 | 1513622 | 8198 487 | 1 | 1 833.44/833.61 c 833s | 22 | 7587989 | 1517322 | 8198 487 | 1 | 1 835.44/835.65 c 835s | 22 | 7599297 | 1520622 | 8198 488 | 1 | 1 837.44/837.69 c 837s | 22 | 7619426 | 1523722 | 8198 489 | 1 | 1 839.44/839.69 c 839s | 22 | 7645788 | 1526822 | 8198 490 | 1 | 1 841.54/841.75 c 841s | 22 | 7677634 | 1530622 | 8198 491 | 1 | 1 843.54/843.80 c 843s | 22 | 7699911 | 1534522 | 8198 492 | 1 | 1 845.63/845.82 c 845s | 22 | 7723927 | 1538122 | 8198 492 | 1 | 1 847.63/847.86 c 847s | 22 | 7748814 | 1542222 | 8198 493 | 1 | 1 849.63/849.90 c 849s | 22 | 7762262 | 1545522 | 8198 494 | 1 | 1 851.73/851.91 c 851s | 22 | 7775475 | 1548822 | 8198 495 | 1 | 1 853.82/854.03 c 853s | 22 | 7789341 | 1552422 | 8198 496 | 1 | 1 855.82/856.04 c 855s | 22 | 7809516 | 1555422 | 8198 497 | 1 | 1 857.83/858.05 c 857s | 22 | 7826240 | 1558722 | 8198 497 | 1 | 1 859.82/860.07 c 860s | 22 | 7837941 | 1562122 | 8198 498 | 1 | 1 861.82/862.09 c 862s | 22 | 7857112 | 1565222 | 8198 499 | 1 | 1 863.92/864.12 c 864s | 22 | 7877007 | 1568522 | 8198 500 | 1 | 1 865.92/866.14 c 866s | 22 | 7898901 | 1572422 | 8198 501 | 1 | 1 868.02/868.20 c 868s | 22 | 7921131 | 1575922 | 8198 501 | 1 | 1 870.02/870.21 c 870s | 22 | 7940805 | 1579922 | 8198 502 | 1 | 1 872.02/872.26 c 872s | 22 | 7962844 | 1584122 | 8198 503 | 1 | 1 874.11/874.30 c 874s | 22 | 7979386 | 1587722 | 8198 504 | 1 | 1 876.11/876.33 c 876s | 22 | 7994720 | 1591422 | 8198 505 | 1 | 1 878.31/878.57 c 878s | 22 | 8001184 | 1594022 | 8198 506 | 1 | 1 880.41/880.62 c 880s | 22 | 8026281 | 1597322 | 8198 507 | 1 | 1 882.41/882.68 c 882s | 22 | 8039883 | 1600822 | 8198 507 | 1 | 1 884.51/884.72 c 884s | 22 | 8054428 | 1604222 | 8198 508 | 1 | 1 886.51/886.74 c 886s | 22 | 8072064 | 1607222 | 8198 509 | 1 | 1 888.50/888.77 c 888s | 22 | 8097749 | 1610322 | 8198 510 | 1 | 1 890.60/890.81 c 890s | 22 | 8118755 | 1614222 | 8198 511 | 1 | 1 892.60/892.87 c 892s | 22 | 8142463 | 1617522 | 8198 511 | 1 | 1 894.70/894.90 c 894s | 22 | 8161473 | 1621122 | 8198 512 | 1 | 1 896.70/896.92 c 896s | 22 | 8190925 | 1624522 | 8198 513 | 1 | 1 898.70/898.96 c 898s | 22 | 8209758 | 1628422 | 8198 514 | 1 | 1 900.71/900.99 c 900s | 22 | 8240362 | 1632622 | 8198 515 | 1 | 1 902.80/903.02 c 902s | 22 | 8263529 | 1636622 | 8198 516 | 1 | 1 904.79/905.06 c 905s | 22 | 8279690 | 1640222 | 8198 517 | 1 | 1 906.89/907.12 c 907s | 22 | 8293650 | 1644022 | 8198 518 | 1 | 1 909.20/909.45 c 909s | 22 | 8298473 | 1646422 | 8198 518 | 1 | 1 911.20/911.47 c 911s | 22 | 8323958 | 1650622 | 8198 519 | 1 | 1 913.29/913.50 c 913s | 22 | 8362994 | 1654422 | 8198 520 | 1 | 1 915.29/915.54 c 915s | 22 | 8388611 | 1658022 | 8198 521 | 1 | 1 917.30/917.55 c 917s | 22 | 8408376 | 1661822 | 8198 522 | 1 | 1 919.29/919.59 c 919s | 22 | 8440422 | 1665422 | 8198 523 | 1 | 1 921.39/921.62 c 921s | 22 | 8458847 | 1668722 | 8198 524 | 1 | 1 923.39/923.69 c 923s | 22 | 8475644 | 1672222 | 8198 525 | 1 | 1 925.49/925.70 c 925s | 22 | 8500405 | 1676222 | 8198 525 | 1 | 1 927.49/927.74 c 927s | 22 | 8511314 | 1679722 | 8198 526 | 1 | 1 929.48/929.78 c 929s | 22 | 8518882 | 1681422 | 8198 527 | 1 | 1 931.49/931.80 c 931s | 22 | 8540747 | 1685422 | 8198 528 | 1 | 1 933.58/933.86 c 933s | 22 | 8553062 | 1688622 | 8198 528 | 1 | 1 935.58/935.87 c 935s | 22 | 8577680 | 1692122 | 8198 529 | 1 | 1 937.68/937.93 c 937s | 22 | 8599916 | 1695922 | 8198 530 | 1 | 1 939.68/939.98 c 939s | 22 | 8616620 | 1699722 | 8198 531 | 1 | 1 941.78/942.03 c 941s | 22 | 8630008 | 1703122 | 8198 532 | 1 | 1 943.77/944.03 c 943s | 22 | 8638192 | 1706322 | 8198 533 | 1 | 1 945.78/946.05 c 945s | 22 | 8651282 | 1708822 | 8198 533 | 1 | 1 947.78/948.06 c 947s | 22 | 8676612 | 1712122 | 8198 534 | 1 | 1 949.88/950.10 c 950s | 22 | 8694739 | 1715622 | 8198 535 | 1 | 1 951.88/952.13 c 952s | 22 | 8714068 | 1719422 | 8198 536 | 1 | 1 953.88/954.19 c 954s | 22 | 8739726 | 1722822 | 8198 537 | 1 | 1 955.88/956.19 c 956s | 22 | 8764432 | 1726422 | 8198 537 | 1 | 1 957.98/958.21 c 958s | 22 | 8795399 | 1730322 | 8198 538 | 1 | 1 959.98/960.22 c 960s | 22 | 8814691 | 1734122 | 8198 539 | 1 | 1 961.97/962.24 c 962s | 22 | 8837863 | 1738222 | 8198 540 | 1 | 1 964.17/964.49 c 964s | 22 | 8845701 | 1741422 | 8198 541 | 1 | 1 966.27/966.53 c 966s | 22 | 8866996 | 1744422 | 8198 542 | 1 | 1 968.27/968.54 c 968s | 22 | 8886788 | 1747822 | 8198 543 | 1 | 1 970.27/970.58 c 970s | 22 | 8904032 | 1751422 | 8198 543 | 1 | 1 972.37/972.62 c 972s | 22 | 8920871 | 1754922 | 8198 544 | 1 | 1 974.37/974.68 c 974s | 22 | 8934873 | 1758022 | 8198 545 | 1 | 1 976.37/976.69 c 976s | 22 | 8946215 | 1761022 | 8198 546 | 1 | 1 978.47/978.74 c 978s | 22 | 8958561 | 1764522 | 8198 547 | 1 | 1 980.47/980.78 c 980s | 22 | 8965211 | 1767522 | 8198 547 | 1 | 1 982.57/982.80 c 982s | 22 | 8969514 | 1770222 | 8198 548 | 1 | 1 984.56/984.82 c 984s | 22 | 8972418 | 1772122 | 8198 548 | 1 | 1 986.57/986.87 c 986s | 22 | 8982166 | 1775922 | 8198 549 | 1 | 1 988.56/988.89 c 988s | 22 | 8990362 | 1779422 | 8198 550 | 1 | 1 990.66/990.94 c 990s | 22 | 8995043 | 1782622 | 8198 551 | 1 | 1 992.66/992.97 c 992s | 22 | 9000600 | 1785822 | 8198 552 | 1 | 1 994.76/995.01 c 994s | 22 | 9009062 | 1789222 | 8198 552 | 1 | 1 996.75/997.03 c 996s | 22 | 9018904 | 1791922 | 8198 553 | 1 | 1 998.75/999.06 c 998s | 22 | 9034037 | 1795322 | 8198 554 | 1 | 1 1001.05/1001.39 c 1001s | 22 | 9041781 | 1798122 | 8198 555 | 1 | 1 1003.15/1003.43 c 1003s | 22 | 9079610 | 1802022 | 8198 555 | 1 | 1 1005.15/1005.47 c 1005s | 22 | 9114172 | 1806022 | 8198 556 | 1 | 1 1007.15/1007.49 c 1007s | 22 | 9135580 | 1809822 | 8198 557 | 1 | 1 1009.26/1009.56 c 1009s | 22 | 9160858 | 1813522 | 8198 558 | 1 | 1 1011.26/1011.59 c 1011s | 22 | 9190773 | 1816722 | 8198 559 | 1 | 1 1013.35/1013.62 c 1013s | 22 | 9214164 | 1820322 | 8198 560 | 1 | 1 1015.35/1015.69 c 1015s | 22 | 9234257 | 1823522 | 8198 561 | 1 | 1 1017.45/1017.72 c 1017s | 22 | 9258863 | 1826822 | 8198 561 | 1 | 1 1019.45/1019.77 c 1019s | 22 | 9276994 | 1830322 | 8198 562 | 1 | 1 1021.45/1021.77 c 1021s | 22 | 9306297 | 1833222 | 8198 563 | 1 | 1 1023.54/1023.80 c 1023s | 22 | 9334092 | 1836522 | 8198 564 | 1 | 1 1025.54/1025.88 c 1025s | 22 | 9344806 | 1839722 | 8198 565 | 1 | 1 1027.64/1027.98 c 1027s | 22 | 9356601 | 1843922 | 8198 566 | 1 | 1 1029.74/1030.00 c 1029s | 22 | 9373518 | 1847922 | 8198 566 | 1 | 1 1031.74/1032.03 c 1031s | 22 | 9393026 | 1851922 | 8198 567 | 1 | 1 1033.74/1034.04 c 1033s | 22 | 9423803 | 1855622 | 8198 568 | 1 | 1 1035.74/1036.07 c 1036s | 22 | 9442426 | 1858922 | 8198 569 | 1 | 1 1037.84/1038.12 c 1038s | 22 | 9491465 | 1863122 | 8198 570 | 1 | 1 1039.83/1040.13 c 1040s | 22 | 9512582 | 1866822 | 8198 571 | 1 | 1 1041.83/1042.17 c 1042s | 22 | 9540619 | 1870922 | 8198 572 | 1 | 1 1043.93/1044.22 c 1044s | 22 | 9568237 | 1874922 | 8198 573 | 1 | 1 1045.94/1046.23 c 1046s | 22 | 9592804 | 1878622 | 8198 574 | 1 | 1 1047.93/1048.24 c 1048s | 22 | 9614229 | 1882322 | 8198 575 | 1 | 1 1049.93/1050.27 c 1050s | 22 | 9644330 | 1886122 | 8198 576 | 1 | 1 1052.03/1052.33 c 1052s | 22 | 9666604 | 1889922 | 8198 577 | 1 | 1 1054.02/1054.34 c 1054s | 22 | 9686236 | 1893622 | 8198 577 | 1 | 1 1056.02/1056.37 c 1056s | 22 | 9700837 | 1897422 | 8198 578 | 1 | 1 1058.22/1058.59 c 1058s | 22 | 9706517 | 1899322 | 8198 579 | 1 | 1 1060.22/1060.60 c 1060s | 22 | 9725299 | 1903022 | 8198 580 | 1 | 1 1062.32/1062.62 c 1062s | 22 | 9751438 | 1907122 | 8198 581 | 1 | 1 1064.31/1064.66 c 1064s | 22 | 9770191 | 1911122 | 8198 582 | 1 | 1 1066.41/1066.78 c 1066s | 22 | 9785913 | 1915022 | 8198 583 | 1 | 1 1068.51/1068.80 c 1068s | 22 | 9796610 | 1918722 | 8198 583 | 1 | 1 1070.51/1070.81 c 1070s | 22 | 9811923 | 1921822 | 8198 584 | 1 | 1 1072.51/1072.82 c 1072s | 22 | 9837721 | 1925922 | 8198 585 | 1 | 1 1074.52/1074.82 c 1074s | 22 | 9860396 | 1929222 | 8198 586 | 1 | 1 1076.51/1076.87 c 1076s | 22 | 9878885 | 1932722 | 8198 587 | 1 | 1 1078.51/1078.88 c 1078s | 22 | 9899449 | 1936622 | 8198 588 | 1 | 1 1080.61/1080.91 c 1080s | 22 | 9923639 | 1940522 | 8198 589 | 1 | 1 1082.61/1082.92 c 1082s | 22 | 9943542 | 1944322 | 8198 590 | 1 | 1 1084.61/1084.94 c 1084s | 22 | 9965794 | 1948222 | 8198 590 | 1 | 1 1086.61/1086.95 c 1086s | 22 | 9993137 | 1952322 | 8198 591 | 1 | 1 1088.60/1088.98 c 1088s | 22 | 10013893 | 1956322 | 8198 592 | 1 | 1 1090.60/1090.99 c 1090s | 22 | 10029145 | 1960222 | 8198 593 | 1 | 1 1092.80/1093.10 c 1093s | 22 | 10036169 | 1962722 | 8198 594 | 1 | 1 1094.80/1095.10 c 1095s | 22 | 10051289 | 1966122 | 8198 595 | 1 | 1 1096.80/1097.15 c 1097s | 22 | 10069681 | 1969922 | 8198 596 | 1 | 1 1098.80/1099.16 c 1099s | 22 | 10091462 | 1973522 | 8198 596 | 1 | 1 1100.90/1101.21 c 1101s | 22 | 10104013 | 1977122 | 8198 597 | 1 | 1 1102.90/1103.26 c 1103s | 22 | 10114386 | 1980522 | 8198 598 | 1 | 1 1104.89/1105.28 c 1105s | 22 | 10123310 | 1983922 | 8198 599 | 1 | 1 1106.99/1107.30 c 1107s | 22 | 10129477 | 1986522 | 8198 600 | 1 | 1 1108.99/1109.32 c 1109s | 22 | 10151788 | 1990822 | 8198 601 | 1 | 1 1110.99/1111.36 c 1111s | 22 | 10166404 | 1994622 | 8198 602 | 1 | 1 1113.00/1113.39 c 1113s | 22 | 10173349 | 1997822 | 8198 602 | 1 | 1 1115.09/1115.41 c 1115s | 22 | 10187927 | 2001222 | 8198 603 | 1 | 1 1117.09/1117.43 c 1117s | 22 | 10203442 | 2004822 | 8198 604 | 1 | 1 1119.09/1119.48 c 1119s | 22 | 10210966 | 2008222 | 8198 605 | 1 | 1 1121.18/1121.52 c 1121s | 22 | 10220053 | 2011422 | 8198 606 | 1 | 1 1123.18/1123.56 c 1123s | 22 | 10233279 | 2015122 | 8198 606 | 1 | 1 1125.18/1125.56 c 1125s | 22 | 10241458 | 2018422 | 8198 607 | 1 | 1 1127.28/1127.62 c 1127s | 22 | 10248528 | 2021922 | 8198 608 | 1 | 1 1129.28/1129.65 c 1129s | 22 | 10257076 | 2025422 | 8198 609 | 1 | 1 1131.28/1131.66 c 1131s | 22 | 10264518 | 2028222 | 8198 610 | 1 | 1 1133.27/1133.69 c 1133s | 22 | 10287197 | 2031222 | 8198 610 | 1 | 1 1135.37/1135.70 c 1135s | 22 | 10309236 | 2034622 | 8198 611 | 1 | 1 1137.38/1137.72 c 1137s | 22 | 10324114 | 2037822 | 8198 612 | 1 | 1 1139.39/1139.73 c 1139s | 22 | 10358333 | 2041322 | 8198 613 | 1 | 1 1141.49/1141.81 c 1141s | 22 | 10389913 | 2044922 | 8198 614 | 1 | 1 1143.48/1143.83 c 1143s | 22 | 10418467 | 2048422 | 8198 614 | 1 | 1 1145.48/1145.87 c 1145s | 22 | 10439517 | 2051922 | 8198 615 | 1 | 1 1147.58/1147.93 c 1147s | 22 | 10463254 | 2055522 | 8198 616 | 1 | 1 1149.58/1149.95 c 1149s | 22 | 10484827 | 2059622 | 8198 617 | 1 | 1 1151.58/1151.99 c 1151s | 22 | 10502805 | 2063222 | 8198 618 | 1 | 1 1153.58/1154.00 c 1153s | 22 | 10516527 | 2066722 | 8198 619 | 1 | 1 1155.67/1156.00 c 1155s | 22 | 10524390 | 2070022 | 8198 620 | 1 | 1 1157.67/1158.04 c 1157s | 22 | 10539905 | 2072122 | 8198 620 | 1 | 1 1159.67/1160.07 c 1160s | 22 | 10556042 | 2075822 | 8198 621 | 1 | 1 1161.77/1162.11 c 1162s | 22 | 10579739 | 2079322 | 8198 622 | 1 | 1 1163.76/1164.12 c 1164s | 22 | 10599392 | 2082422 | 8198 622 | 1 | 1 1165.77/1166.15 c 1166s | 22 | 10616150 | 2085722 | 8198 623 | 1 | 1 1167.76/1168.17 c 1168s | 22 | 10635143 | 2089422 | 8198 624 | 1 | 1 1169.76/1170.19 c 1170s | 22 | 10653669 | 2092422 | 8198 625 | 1 | 1 1171.86/1172.25 c 1172s | 22 | 10675313 | 2095422 | 8198 626 | 1 | 1 1173.96/1174.31 c 1174s | 22 | 10695778 | 2099022 | 8198 626 | 1 | 1 1175.96/1176.36 c 1176s | 22 | 10718253 | 2102222 | 8198 627 | 1 | 1 1178.06/1178.40 c 1178s | 22 | 10730097 | 2105222 | 8198 628 | 1 | 1 1180.06/1180.43 c 1180s | 22 | 10747690 | 2108622 | 8198 629 | 1 | 1 1182.06/1182.43 c 1182s | 22 | 10762154 | 2111922 | 8198 630 | 1 | 1 1184.05/1184.45 c 1184s | 22 | 10782814 | 2115622 | 8198 630 | 1 | 1 1186.05/1186.48 c 1186s | 22 | 10797122 | 2119122 | 8198 631 | 1 | 1 1188.05/1188.49 c 1188s | 22 | 10812773 | 2122722 | 8198 632 | 1 | 1 1190.05/1190.49 c 1190s | 22 | 10824379 | 2126022 | 8198 633 | 1 | 1 1192.15/1192.55 c 1192s | 22 | 10833224 | 2129422 | 8198 634 | 1 | 1 1194.15/1194.57 c 1194s | 22 | 10844386 | 2131622 | 8198 634 | 1 | 1 1196.15/1196.58 c 1196s | 22 | 10860991 | 2135222 | 8198 635 | 1 | 1 1198.24/1198.64 c 1198s | 22 | 10878918 | 2138722 | 8198 636 | 1 | 1 1200.24/1200.67 c 1200s | 22 | 10891180 | 2142122 | 8198 637 | 1 | 1 1202.34/1202.73 c 1202s | 22 | 10901445 | 2145522 | 8198 638 | 1 | 1 1204.34/1204.74 c 1204s | 22 | 10909466 | 2148522 | 8198 638 | 1 | 1 1206.35/1206.79 c 1206s | 22 | 10917773 | 2151722 | 8198 639 | 1 | 1 1208.74/1209.10 c 1209s | 22 | 10922316 | 2154322 | 8198 640 | 1 | 1 1210.74/1211.13 c 1211s | 22 | 10929271 | 2157122 | 8198 640 | 1 | 1 1212.74/1213.13 c 1213s | 22 | 10941206 | 2160622 | 8198 641 | 1 | 1 1214.73/1215.14 c 1215s | 22 | 10949117 | 2163722 | 8198 642 | 1 | 1 1216.73/1217.19 c 1217s | 22 | 10956869 | 2167122 | 8198 643 | 1 | 1 1218.83/1219.21 c 1219s | 22 | 10968899 | 2170422 | 8198 643 | 1 | 1 1220.84/1221.23 c 1221s | 22 | 10979216 | 2173722 | 8198 644 | 1 | 1 1222.85/1223.26 c 1223s | 22 | 10987032 | 2176822 | 8198 645 | 1 | 1 1224.93/1225.31 c 1225s | 22 | 10994671 | 2180222 | 8198 646 | 1 | 1 1226.93/1227.33 c 1227s | 22 | 11001946 | 2183622 | 8198 647 | 1 | 1 1228.93/1229.35 c 1229s | 22 | 11009338 | 2187022 | 8198 647 | 1 | 1 1230.93/1231.35 c 1231s | 22 | 11012983 | 2189822 | 8198 648 | 1 | 1 1233.03/1233.41 c 1233s | 22 | 11017208 | 2191622 | 8198 648 | 1 | 1 1235.03/1235.42 c 1235s | 22 | 11024106 | 2194522 | 8198 649 | 1 | 1 1237.03/1237.46 c 1237s | 22 | 11033169 | 2197622 | 8198 650 | 1 | 1 1239.13/1239.50 c 1239s | 22 | 11040582 | 2200322 | 8198 651 | 1 | 1 1241.13/1241.52 c 1241s | 22 | 11051011 | 2203722 | 8198 651 | 1 | 1 1243.13/1243.54 c 1243s | 22 | 11058408 | 2206922 | 8198 652 | 1 | 1 1245.22/1245.60 c 1245s | 22 | 11068195 | 2209722 | 8198 653 | 1 | 1 1247.22/1247.64 c 1247s | 22 | 11081457 | 2212822 | 8198 654 | 1 | 1 1249.23/1249.69 c 1249s | 22 | 11095874 | 2216422 | 8198 654 | 1 | 1 1251.22/1251.69 c 1251s | 22 | 11106678 | 2219722 | 8198 655 | 1 | 1 1253.32/1253.72 c 1253s | 22 | 11117828 | 2223222 | 8198 656 | 1 | 1 1255.32/1255.73 c 1255s | 22 | 11122621 | 2224822 | 8198 656 | 1 | 1 1257.32/1257.75 c 1257s | 22 | 11135207 | 2227822 | 8198 657 | 1 | 1 1259.41/1259.80 c 1259s | 22 | 11149339 | 2231122 | 8198 658 | 1 | 1 1261.42/1261.82 c 1261s | 22 | 11159389 | 2234122 | 8198 659 | 1 | 1 1263.41/1263.83 c 1263s | 22 | 11174240 | 2237522 | 9018 659 | 1 | 1 1265.41/1265.87 c 1265s | 22 | 11191770 | 2240922 | 9018 660 | 1 | 1 1267.41/1267.89 c 1267s | 22 | 11203006 | 2243922 | 9018 661 | 1 | 1 1269.61/1270.02 c 1269s | 22 | 11208825 | 2246622 | 9018 661 | 1 | 1 1271.60/1272.02 c 1271s | 22 | 11220646 | 2250022 | 9018 662 | 1 | 1 1272.31/1272.71 c 1272s | 23 | 11222060 | 2251038 | 9018 662 | 1 | 1 1274.30/1274.72 c 1274s | 23 | 11233891 | 2254138 | 9018 663 | 1 | 1 1276.40/1276.80 c 1276s | 23 | 11246908 | 2257238 | 9018 664 | 1 | 1 1278.41/1278.85 c 1278s | 23 | 11255226 | 2260038 | 9018 664 | 1 | 1 1280.41/1280.89 c 1280s | 23 | 11281562 | 2263638 | 9018 665 | 1 | 1 1282.51/1282.92 c 1282s | 23 | 11297730 | 2267638 | 9018 666 | 1 | 1 1284.51/1284.95 c 1284s | 23 | 11315154 | 2270838 | 9018 666 | 1 | 1 1286.50/1286.98 c 1286s | 23 | 11334665 | 2274038 | 9018 667 | 1 | 1 1288.60/1289.04 c 1288s | 23 | 11354447 | 2277538 | 9018 668 | 1 | 1 1290.60/1291.06 c 1290s | 23 | 11381842 | 2281038 | 9018 669 | 1 | 1 1292.70/1293.10 c 1293s | 23 | 11396487 | 2284738 | 9018 669 | 1 | 1 1294.70/1295.11 c 1295s | 23 | 11415054 | 2288538 | 9018 670 | 1 | 1 1296.69/1297.11 c 1297s | 23 | 11435272 | 2292238 | 9018 671 | 1 | 1 1298.70/1299.13 c 1299s | 23 | 11442748 | 2295438 | 9018 672 | 1 | 1 1300.69/1301.18 c 1301s | 23 | 11459038 | 2297638 | 9018 672 | 1 | 1 1302.79/1303.20 c 1303s | 23 | 11476818 | 2301038 | 9018 673 | 1 | 1 1304.79/1305.24 c 1305s | 23 | 11497233 | 2304038 | 9018 674 | 1 | 1 1306.79/1307.27 c 1307s | 23 | 11525378 | 2307138 | 9018 674 | 1 | 1 1308.79/1309.29 c 1309s | 23 | 11546473 | 2310838 | 9018 675 | 1 | 1 1310.90/1311.34 c 1311s | 23 | 11564610 | 2314538 | 9018 676 | 1 | 1 1312.89/1313.35 c 1313s | 23 | 11582159 | 2318038 | 9018 677 | 1 | 1 1314.88/1315.37 c 1315s | 23 | 11595753 | 2321438 | 9018 677 | 1 | 1 1316.88/1317.39 c 1317s | 23 | 11603217 | 2324738 | 9018 678 | 1 | 1 1318.98/1319.41 c 1319s | 23 | 11610784 | 2327838 | 9018 679 | 1 | 1 1320.98/1321.50 c 1321s | 23 | 11625491 | 2330138 | 9018 679 | 1 | 1 1323.08/1323.55 c 1323s | 23 | 11639144 | 2333338 | 9018 680 | 1 | 1 1325.08/1325.59 c 1325s | 23 | 11655821 | 2336938 | 9018 681 | 1 | 1 1327.18/1327.62 c 1327s | 23 | 11669239 | 2340338 | 9018 682 | 1 | 1 1329.18/1329.67 c 1329s | 23 | 11682085 | 2343838 | 9018 682 | 1 | 1 1331.37/1331.85 c 1331s | 23 | 11686480 | 2345938 | 9018 683 | 1 | 1 1333.37/1333.85 c 1333s | 23 | 11710196 | 2349738 | 9018 684 | 1 | 1 1335.47/1335.94 c 1335s | 23 | 11728361 | 2353438 | 9018 684 | 1 | 1 1337.47/1337.96 c 1337s | 23 | 11738078 | 2356738 | 9018 685 | 1 | 1 1339.48/1339.99 c 1339s | 23 | 11746347 | 2359538 | 9018 686 | 1 | 1 1341.47/1342.00 c 1341s | 23 | 11768391 | 2363238 | 9018 687 | 1 | 1 1343.56/1344.05 c 1343s | 23 | 11786960 | 2367038 | 9018 687 | 1 | 1 1345.66/1346.10 c 1346s | 23 | 11799984 | 2370538 | 9018 688 | 1 | 1 1347.66/1348.12 c 1348s | 23 | 11809751 | 2373838 | 9018 689 | 1 | 1 1349.66/1350.15 c 1350s | 23 | 11822857 | 2376838 | 9018 690 | 1 | 1 1351.66/1352.17 c 1352s | 23 | 11842401 | 2380338 | 9018 690 | 1 | 1 1353.67/1354.18 c 1354s | 23 | 11852177 | 2383638 | 9018 691 | 1 | 1 1355.76/1356.20 c 1356s | 23 | 11868663 | 2387138 | 9018 692 | 1 | 1 1357.76/1358.22 c 1358s | 23 | 11885891 | 2390838 | 9018 693 | 1 | 1 1359.76/1360.26 c 1360s | 23 | 11905696 | 2394638 | 9018 693 | 1 | 1 1361.76/1362.28 c 1362s | 23 | 11921566 | 2398538 | 9018 694 | 1 | 1 1363.85/1364.33 c 1364s | 23 | 11933573 | 2402338 | 9018 695 | 1 | 1 1365.87/1366.39 c 1366s | 23 | 11945382 | 2405338 | 9018 696 | 1 | 1 1367.97/1368.44 c 1368s | 23 | 11960545 | 2409138 | 9018 697 | 1 | 1 1369.96/1370.47 c 1370s | 23 | 11969203 | 2412638 | 9018 697 | 1 | 1 1372.06/1372.50 c 1372s | 23 | 11976625 | 2415938 | 9018 698 | 1 | 1 1374.06/1374.51 c 1374s | 23 | 11981150 | 2418938 | 9018 699 | 1 | 1 1376.05/1376.54 c 1376s | 23 | 11986361 | 2422338 | 9018 699 | 1 | 1 1378.15/1378.68 c 1378s | 23 | 11998135 | 2425138 | 9018 700 | 1 | 1 1380.25/1380.71 c 1380s | 23 | 12013116 | 2427938 | 9018 701 | 1 | 1 1382.26/1382.74 c 1382s | 23 | 12028457 | 2431038 | 9018 701 | 1 | 1 1384.25/1384.76 c 1384s | 23 | 12039427 | 2434038 | 9018 702 | 1 | 1 1386.35/1386.87 c 1386s | 23 | 12052779 | 2436638 | 9018 703 | 1 | 1 1388.35/1388.87 c 1388s | 23 | 12069904 | 2439438 | 9018 703 | 1 | 1 1390.45/1390.92 c 1390s | 23 | 12090080 | 2442338 | 9018 704 | 1 | 1 1392.45/1392.98 c 1392s | 23 | 12103370 | 2445438 | 9018 704 | 1 | 1 1394.46/1394.99 c 1394s | 23 | 12114136 | 2448438 | 9018 705 | 1 | 1 1396.56/1397.05 c 1396s | 23 | 12126250 | 2451538 | 9018 706 | 1 | 1 1398.55/1399.08 c 1399s | 23 | 12133592 | 2454438 | 9018 706 | 1 | 1 1401.65/1402.17 c 1402s | 23 | 12138575 | 2457138 | 9018 707 | 1 | 1 1403.65/1404.19 c 1404s | 23 | 12167487 | 2460038 | 9018 708 | 1 | 1 1405.85/1406.32 c 1406s | 23 | 12192508 | 2462838 | 9018 708 | 1 | 1 1407.85/1408.32 c 1408s | 23 | 12203496 | 2465938 | 9018 709 | 1 | 1 1409.85/1410.38 c 1410s | 23 | 12209565 | 2468838 | 9018 710 | 1 | 1 1411.95/1412.42 c 1412s | 23 | 12220281 | 2472038 | 9018 710 | 1 | 1 1413.94/1414.45 c 1414s | 23 | 12236559 | 2474638 | 9018 711 | 1 | 1 1415.94/1416.49 c 1416s | 23 | 12249829 | 2477538 | 9018 711 | 1 | 1 1418.04/1418.51 c 1418s | 23 | 12260268 | 2480338 | 9018 712 | 1 | 1 1420.04/1420.52 c 1420s | 23 | 12277833 | 2482938 | 9018 713 | 1 | 1 1422.04/1422.59 c 1422s | 23 | 12294414 | 2486138 | 9018 713 | 1 | 1 1424.15/1424.63 c 1424s | 23 | 12315199 | 2489138 | 9018 714 | 1 | 1 1426.14/1426.66 c 1426s | 23 | 12330529 | 2492138 | 9018 715 | 1 | 1 1428.24/1428.70 c 1428s | 23 | 12346173 | 2495638 | 9018 715 | 1 | 1 1430.24/1430.71 c 1430s | 23 | 12361096 | 2498738 | 9018 716 | 1 | 1 1432.24/1432.77 c 1432s | 23 | 12371913 | 2501938 | 9018 717 | 1 | 1 1434.34/1434.81 c 1434s | 23 | 12384077 | 2505138 | 9018 717 | 1 | 1 1436.34/1436.86 c 1436s | 23 | 12391530 | 2508138 | 9018 718 | 1 | 1 1438.45/1438.95 c 1438s | 23 | 12403515 | 2510238 | 9018 719 | 1 | 1 1440.44/1440.96 c 1440s | 23 | 12418987 | 2512438 | 9018 719 | 1 | 1 1442.44/1442.99 c 1442s | 23 | 12440820 | 2514738 | 9018 720 | 1 | 1 1444.54/1445.02 c 1444s | 23 | 12467551 | 2517938 | 9018 720 | 1 | 1 1446.54/1447.05 c 1446s | 23 | 12481610 | 2521138 | 9018 721 | 1 | 1 1448.54/1449.10 c 1449s | 23 | 12501332 | 2524038 | 9018 722 | 1 | 1 1450.64/1451.15 c 1451s | 23 | 12518302 | 2527038 | 9018 722 | 1 | 1 1452.64/1453.17 c 1453s | 23 | 12542509 | 2529638 | 9018 723 | 1 | 1 1454.74/1455.23 c 1455s | 23 | 12559807 | 2532638 | 9018 723 | 1 | 1 1456.74/1457.26 c 1457s | 23 | 12578113 | 2535738 | 9018 724 | 1 | 1 1458.73/1459.26 c 1459s | 23 | 12598092 | 2538938 | 9018 725 | 1 | 1 1460.73/1461.27 c 1461s | 23 | 12630971 | 2541838 | 9018 725 | 1 | 1 1462.74/1463.29 c 1463s | 23 | 12659393 | 2545238 | 9018 726 | 1 | 1 1464.85/1465.32 c 1465s | 23 | 12687256 | 2548838 | 9018 727 | 1 | 1 1466.84/1467.36 c 1467s | 23 | 12701473 | 2551938 | 9018 728 | 1 | 1 1468.84/1469.39 c 1469s | 23 | 12719737 | 2555638 | 9018 728 | 1 | 1 1470.94/1471.42 c 1471s | 23 | 12744484 | 2558938 | 9018 729 | 1 | 1 1472.94/1473.45 c 1473s | 23 | 12772514 | 2562038 | 9018 730 | 1 | 1 1474.94/1475.47 c 1475s | 23 | 12796290 | 2565138 | 9018 730 | 1 | 1 1477.04/1477.53 c 1477s | 23 | 12809606 | 2568138 | 9018 731 | 1 | 1 1479.04/1479.58 c 1479s | 23 | 12820169 | 2571238 | 9018 732 | 1 | 1 1481.14/1481.64 c 1481s | 23 | 12839263 | 2574338 | 9018 732 | 1 | 1 1483.14/1483.68 c 1483s | 23 | 12859968 | 2577538 | 9018 733 | 1 | 1 1485.24/1485.71 c 1485s | 23 | 12872654 | 2580538 | 9018 734 | 1 | 1 1487.34/1487.82 c 1487s | 23 | 12889337 | 2583738 | 9018 735 | 1 | 1 1489.34/1489.82 c 1489s | 23 | 12906368 | 2587138 | 9018 735 | 1 | 1 1491.34/1491.84 c 1491s | 23 | 12920827 | 2590438 | 9018 736 | 1 | 1 1493.34/1493.88 c 1493s | 23 | 12932240 | 2593838 | 9018 737 | 1 | 1 1495.43/1495.92 c 1495s | 23 | 12942917 | 2597138 | 9018 737 | 1 | 1 1497.53/1498.01 c 1497s | 23 | 12945121 | 2597938 | 9018 738 | 1 | 1 1499.53/1500.03 c 1499s | 23 | 12960906 | 2600538 | 9018 738 | 1 | 1 1501.53/1502.08 c 1502s | 23 | 12974992 | 2603538 | 9018 739 | 1 | 1 1503.63/1504.12 c 1504s | 23 | 13008018 | 2606838 | 9018 740 | 1 | 1 1505.63/1506.14 c 1506s | 23 | 13027182 | 2610238 | 9018 740 | 1 | 1 1507.64/1508.15 c 1508s | 23 | 13045616 | 2613238 | 9018 741 | 1 | 1 1509.63/1510.16 c 1510s | 23 | 13063042 | 2616038 | 9018 742 | 1 | 1 1511.73/1512.21 c 1512s | 23 | 13080981 | 2619338 | 9018 742 | 1 | 1 1513.73/1514.24 c 1514s | 23 | 13100141 | 2622638 | 9018 743 | 1 | 1 1515.73/1516.26 c 1516s | 23 | 13114594 | 2625538 | 9018 744 | 1 | 1 1517.83/1518.32 c 1518s | 23 | 13123644 | 2628638 | 9018 744 | 1 | 1 1520.03/1520.57 c 1520s | 23 | 13129389 | 2630938 | 9018 745 | 1 | 1 1522.03/1522.58 c 1522s | 23 | 13147987 | 2634038 | 9018 745 | 1 | 1 1524.03/1524.59 c 1524s | 23 | 13174658 | 2637638 | 9018 746 | 1 | 1 1526.13/1526.61 c 1526s | 23 | 13189888 | 2640938 | 9018 747 | 1 | 1 1528.12/1528.66 c 1528s | 23 | 13207016 | 2644338 | 9018 748 | 1 | 1 1530.22/1530.73 c 1530s | 23 | 13225149 | 2647738 | 9018 748 | 1 | 1 1532.32/1532.80 c 1532s | 23 | 13242403 | 2651038 | 9018 749 | 1 | 1 1534.32/1534.82 c 1534s | 23 | 13256512 | 2654438 | 9018 750 | 1 | 1 1536.33/1536.83 c 1536s | 23 | 13268891 | 2656938 | 9018 750 | 1 | 1 1538.32/1538.83 c 1538s | 23 | 13292575 | 2660338 | 9018 751 | 1 | 1 1540.32/1540.87 c 1540s | 23 | 13310643 | 2663938 | 9018 752 | 1 | 1 1542.33/1542.89 c 1542s | 23 | 13331548 | 2666638 | 9018 753 | 1 | 1 1544.33/1544.89 c 1544s | 23 | 13369987 | 2670138 | 9018 753 | 1 | 1 1546.63/1547.17 c 1547s | 23 | 13384438 | 2673338 | 9018 754 | 1 | 1 1548.73/1549.23 c 1549s | 23 | 13423838 | 2676938 | 9018 755 | 1 | 1 1550.73/1551.29 c 1551s | 23 | 13445776 | 2680138 | 9018 756 | 1 | 1 1552.83/1553.32 c 1553s | 23 | 13474448 | 2683538 | 9018 756 | 1 | 1 1554.83/1555.35 c 1555s | 23 | 13501778 | 2686438 | 9018 757 | 1 | 1 1556.83/1557.36 c 1557s | 23 | 13520135 | 2689538 | 9018 758 | 1 | 1 1558.83/1559.38 c 1559s | 23 | 13544528 | 2692338 | 9018 758 | 1 | 1 1560.82/1561.39 c 1561s | 23 | 13567429 | 2695138 | 9018 759 | 1 | 1 1562.92/1563.43 c 1563s | 23 | 13580148 | 2698238 | 9018 759 | 1 | 1 1565.02/1565.50 c 1565s | 23 | 13601063 | 2701238 | 9018 760 | 1 | 1 1567.03/1567.56 c 1567s | 23 | 13615022 | 2704338 | 9018 761 | 1 | 1 1569.02/1569.56 c 1569s | 23 | 13633091 | 2707438 | 9018 761 | 1 | 1 1571.02/1571.57 c 1571s | 23 | 13643625 | 2710238 | 9018 762 | 1 | 1 1573.12/1573.60 c 1573s | 23 | 13651490 | 2712838 | 9018 763 | 1 | 1 1575.12/1575.62 c 1575s | 23 | 13654874 | 2715238 | 9018 763 | 1 | 1 1577.12/1577.64 c 1577s | 23 | 13661587 | 2716538 | 9018 763 | 1 | 1 1579.13/1579.66 c 1579s | 23 | 13674674 | 2719438 | 9018 764 | 1 | 1 1581.12/1581.67 c 1581s | 23 | 13686128 | 2722338 | 9018 765 | 1 | 1 1583.12/1583.67 c 1583s | 23 | 13702508 | 2725638 | 9018 765 | 1 | 1 1585.22/1585.70 c 1585s | 23 | 13718204 | 2728838 | 9018 766 | 1 | 1 1587.22/1587.76 c 1587s | 23 | 13731693 | 2731938 | 9018 767 | 1 | 1 1589.22/1589.79 c 1589s | 23 | 13743861 | 2735238 | 9018 768 | 1 | 1 1591.32/1591.82 c 1591s | 23 | 13757264 | 2738938 | 9018 768 | 1 | 1 1593.82/1594.31 c 1594s | 23 | 13767053 | 2742238 | 9018 769 | 1 | 1 1595.82/1596.32 c 1596s | 23 | 13785107 | 2744938 | 9018 770 | 1 | 1 1597.82/1598.33 c 1598s | 23 | 13805599 | 2748138 | 9018 770 | 1 | 1 1599.81/1600.38 c 1600s | 23 | 13828799 | 2751738 | 9018 771 | 1 | 1 1601.91/1602.42 c 1602s | 23 | 13845061 | 2754838 | 9018 772 | 1 | 1 1603.91/1604.45 c 1604s | 23 | 13854465 | 2757938 | 9018 772 | 1 | 1 1605.91/1606.47 c 1606s | 23 | 13863187 | 2760638 | 9018 773 | 1 | 1 1608.01/1608.52 c 1608s | 23 | 13870684 | 2763238 | 9018 774 | 1 | 1 1610.02/1610.56 c 1610s | 23 | 13875368 | 2765338 | 9018 774 | 1 | 1 1612.01/1612.59 c 1612s | 23 | 13892639 | 2768838 | 9018 775 | 1 | 1 1614.11/1614.66 c 1614s | 23 | 13906502 | 2771938 | 9018 775 | 1 | 1 1616.11/1616.69 c 1616s | 23 | 13916794 | 2775038 | 9018 776 | 1 | 1 1618.21/1618.70 c 1618s | 23 | 13925804 | 2778038 | 9018 777 | 1 | 1 1620.21/1620.70 c 1620s | 23 | 13932564 | 2780538 | 9018 777 | 1 | 1 1622.21/1622.75 c 1622s | 23 | 13940552 | 2783438 | 9018 778 | 1 | 1 1624.22/1624.76 c 1624s | 23 | 13946435 | 2786138 | 9018 779 | 1 | 1 1626.21/1626.77 c 1626s | 23 | 13955296 | 2789138 | 9018 779 | 1 | 1 1628.31/1628.84 c 1628s | 23 | 13960891 | 2791738 | 9018 780 | 1 | 1 1630.31/1630.85 c 1630s | 23 | 13965792 | 2794338 | 9018 780 | 1 | 1 1632.62/1633.19 c 1633s | 23 | 13969944 | 2796938 | 9018 781 | 1 | 1 1634.71/1635.22 c 1635s | 23 | 13978134 | 2799038 | 9018 781 | 1 | 1 1636.71/1637.27 c 1637s | 23 | 13999384 | 2802338 | 9018 782 | 1 | 1 1638.81/1639.33 c 1639s | 23 | 14017521 | 2805438 | 9018 783 | 1 | 1 1640.82/1641.36 c 1641s | 23 | 14038121 | 2808538 | 9018 783 | 1 | 1 1642.92/1643.42 c 1643s | 23 | 14057568 | 2811638 | 9018 784 | 1 | 1 1644.91/1645.43 c 1645s | 23 | 14075835 | 2814838 | 9018 785 | 1 | 1 1646.91/1647.44 c 1647s | 23 | 14096506 | 2818338 | 9018 786 | 1 | 1 1648.91/1649.46 c 1649s | 23 | 14110443 | 2821538 | 9018 786 | 1 | 1 1650.91/1651.49 c 1651s | 23 | 14124768 | 2824738 | 9018 787 | 1 | 1 1653.01/1653.54 c 1653s | 23 | 14147245 | 2827738 | 9018 788 | 1 | 1 1655.01/1655.55 c 1655s | 23 | 14164053 | 2831038 | 9018 788 | 1 | 1 1657.01/1657.59 c 1657s | 23 | 14182430 | 2834038 | 9018 789 | 1 | 1 1659.11/1659.62 c 1659s | 23 | 14189983 | 2836738 | 9018 790 | 1 | 1 1661.11/1661.67 c 1661s | 23 | 14210435 | 2840138 | 9018 790 | 1 | 1 1663.21/1663.71 c 1663s | 23 | 14230445 | 2843538 | 9018 791 | 1 | 1 1665.20/1665.75 c 1665s | 23 | 14248406 | 2846738 | 9018 792 | 1 | 1 1667.21/1667.78 c 1667s | 23 | 14265194 | 2850038 | 9018 792 | 1 | 1 1669.31/1669.84 c 1669s | 23 | 14277156 | 2853338 | 9018 793 | 1 | 1 1671.30/1671.85 c 1671s | 23 | 14282487 | 2856038 | 9018 794 | 1 | 1 1673.40/1673.93 c 1673s | 23 | 14284779 | 2856538 | 9018 794 | 1 | 1 1675.40/1675.95 c 1675s | 23 | 14311171 | 2860038 | 9018 795 | 1 | 1 1677.40/1677.97 c 1677s | 23 | 14329047 | 2863338 | 9018 795 | 1 | 1 1679.50/1680.02 c 1679s | 23 | 14344288 | 2866238 | 9018 796 | 1 | 1 1681.51/1682.03 c 1681s | 23 | 14359075 | 2869338 | 9018 797 | 1 | 1 1683.50/1684.09 c 1684s | 23 | 14382254 | 2872938 | 9018 797 | 1 | 1 1685.60/1686.13 c 1686s | 23 | 14403788 | 2876238 | 9018 798 | 1 | 1 1687.60/1688.15 c 1688s | 23 | 14423597 | 2879638 | 9018 799 | 1 | 1 1689.60/1690.16 c 1690s | 23 | 14439418 | 2883038 | 9018 800 | 1 | 1 1691.70/1692.21 c 1692s | 23 | 14450263 | 2886638 | 9018 800 | 1 | 1 1693.70/1694.22 c 1694s | 23 | 14467458 | 2890038 | 9018 801 | 1 | 1 1695.70/1696.30 c 1696s | 23 | 14477688 | 2893338 | 9018 802 | 1 | 1 1697.80/1698.34 c 1698s | 23 | 14483588 | 2895338 | 9018 802 | 1 | 1 1699.80/1700.34 c 1700s | 23 | 14496397 | 2898338 | 9018 803 | 1 | 1 1701.80/1702.37 c 1702s | 23 | 14508046 | 2901538 | 9018 804 | 1 | 1 1703.80/1704.39 c 1704s | 23 | 14516302 | 2904738 | 9018 804 | 1 | 1 1705.90/1706.40 c 1706s | 23 | 14526170 | 2907738 | 9018 805 | 1 | 1 1707.90/1708.45 c 1708s | 23 | 14538756 | 2910638 | 9018 806 | 1 | 1 1709.90/1710.48 c 1710s | 23 | 14558709 | 2913738 | 9018 806 | 1 | 1 1711.99/1712.53 c 1712s | 23 | 14571076 | 2916538 | 9018 807 | 1 | 1 1713.99/1714.60 c 1714s | 23 | 14585274 | 2919738 | 9018 808 | 1 | 1 1716.09/1716.61 c 1716s | 23 | 14595325 | 2922838 | 9018 808 | 1 | 1 1718.09/1718.64 c 1718s | 23 | 14604605 | 2925938 | 9018 809 | 1 | 1 1720.10/1720.69 c 1720s | 23 | 14612450 | 2928538 | 9018 810 | 1 | 1 1722.21/1722.74 c 1722s | 23 | 14627165 | 2931638 | 9018 810 | 1 | 1 1724.20/1724.79 c 1724s | 23 | 14643185 | 2934938 | 9018 811 | 1 | 1 1726.30/1726.87 c 1726s | 23 | 14649502 | 2937538 | 9018 812 | 1 | 1 1728.50/1729.07 c 1729s | 23 | 14653958 | 2940138 | 9018 812 | 1 | 1 1730.60/1731.14 c 1731s | 23 | 14663963 | 2943338 | 9018 813 | 1 | 1 1732.60/1733.16 c 1733s | 23 | 14669830 | 2946238 | 9018 813 | 1 | 1 1734.70/1735.22 c 1735s | 23 | 14673675 | 2948838 | 9018 814 | 1 | 1 1736.70/1737.29 c 1737s | 23 | 14680081 | 2951138 | 9018 814 | 1 | 1 1738.80/1739.30 c 1739s | 23 | 14687090 | 2953138 | 9018 815 | 1 | 1 1740.80/1741.33 c 1741s | 23 | 14696647 | 2956038 | 9018 816 | 1 | 1 1742.79/1743.36 c 1743s | 23 | 14703722 | 2958738 | 9018 816 | 1 | 1 1744.79/1745.38 c 1745s | 23 | 14712104 | 2961238 | 9018 817 | 1 | 1 1746.89/1747.42 c 1747s | 23 | 14718148 | 2964038 | 9018 817 | 1 | 1 1748.89/1749.43 c 1749s | 23 | 14723798 | 2966638 | 9018 818 | 1 | 1 1751.19/1751.78 c 1751s | 23 | 14727332 | 2969238 | 9018 818 | 1 | 1 1753.29/1753.82 c 1753s | 23 | 14737967 | 2972238 | 9018 819 | 1 | 1 1755.29/1755.83 c 1755s | 23 | 14750532 | 2975338 | 9018 820 | 1 | 1 1757.30/1757.84 c 1757s | 23 | 14757589 | 2978138 | 9018 820 | 1 | 1 1759.39/1759.90 c 1759s | 23 | 14768344 | 2980938 | 9018 821 | 1 | 1 1761.39/1761.98 c 1761s | 23 | 14783985 | 2983838 | 9018 822 | 1 | 1 1763.49/1764.00 c 1763s | 23 | 14793108 | 2986738 | 9018 822 | 1 | 1 1765.49/1766.01 c 1765s | 23 | 14804710 | 2989538 | 9018 823 | 1 | 1 1767.49/1768.05 c 1767s | 23 | 14809170 | 2992238 | 9018 823 | 1 | 1 1769.50/1770.07 c 1770s | 23 | 14820152 | 2994538 | 9018 824 | 1 | 1 1771.49/1772.08 c 1772s | 23 | 14826563 | 2997038 | 9018 824 | 1 | 1 1773.59/1774.12 c 1774s | 23 | 14838302 | 3000138 | 9018 825 | 1 | 1 1775.59/1776.14 c 1776s | 23 | 14851743 | 3003138 | 9018 826 | 1 | 1 1777.59/1778.18 c 1778s | 23 | 14861974 | 3006238 | 9018 826 | 1 | 1 1779.69/1780.21 c 1780s | 23 | 14871355 | 3009138 | 9018 827 | 1 | 1 1781.69/1782.27 c 1782s | 23 | 14882657 | 3012138 | 9018 828 | 1 | 1 1783.69/1784.30 c 1784s | 23 | 14889355 | 3015138 | 9018 828 | 1 | 1 1785.78/1786.32 c 1786s | 23 | 14893940 | 3017338 | 9018 829 | 1 | 1 1787.78/1788.34 c 1788s | 23 | 14900990 | 3020038 | 9018 829 | 1 | 1 1789.78/1790.36 c 1790s | 23 | 14906975 | 3022838 | 9018 830 | 1 | 1 1791.88/1792.40 c 1792s | 23 | 14913823 | 3025438 | 9018 831 | 1 | 1 1793.88/1794.42 c 1794s | 23 | 14920792 | 3028338 | 9018 831 | 1 | 1 1795.89/1796.47 c 1796s | 23 | 14925980 | 3031138 | 9018 832 | 1 | 1 1797.88/1798.49 c 1798s | 23 | 14930481 | 3033938 | 9018 832 | 1 | 1 1799.98/1800.54 c 1800s | 23 | 14934706 | 3036838 | 9018 833 | 1 | 1
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-4106802-1466278504/watcher-4106802-1466278504 -o /tmp/evaluation-result-4106802-1466278504/solver-4106802-1466278504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106802-1466278504.opb pid=9604 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.16 2.10 2.02 3/179 9607 /proc/meminfo: memFree=30100028/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=746940 CPUtime=0 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 2786 0 0 0 0 0 0 0 20 0 4 0 29895879 764866560 3659 33554432000 4194304 16246674 140733997427712 140733997427136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 187503 3668 441 2943 0 184397 0 [pid=9607/tid=9608] ppid=9604 vsize=765372 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 783740928 3728 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=769468 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 787935232 3747 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=773564 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29895879 792129536 3762 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 [startup+0.100178 s] /proc/loadavg: 2.16 2.10 2.02 3/179 9607 /proc/meminfo: memFree=30100028/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1218116 CPUtime=0.09 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 25518 0 0 0 6 3 0 0 20 0 4 0 29895879 1247350784 26378 33554432000 4194304 16246674 140733997427712 140733997427136 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 304529 26387 790 2943 0 301423 0 [pid=9607/tid=9608] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 26393 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 26400 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 26406 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200539 s] /proc/loadavg: 2.16 2.10 2.02 3/179 9607 /proc/meminfo: memFree=30100028/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1218116 CPUtime=0.19 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 50207 0 0 0 13 6 0 0 20 0 4 0 29895879 1247350784 51067 33554432000 4194304 16246674 140733997427712 140733997427136 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 304529 51084 790 2943 0 301423 0 [pid=9607/tid=9608] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 51095 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 51106 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 51117 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300476 s] /proc/loadavg: 2.16 2.10 2.02 3/179 9607 /proc/meminfo: memFree=30100028/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1218116 CPUtime=0.29 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 76095 0 0 0 20 9 0 0 20 0 4 0 29895879 1247350784 76955 33554432000 4194304 16246674 140733997427712 140733997427136 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 304529 76966 790 2943 0 301423 0 [pid=9607/tid=9608] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 76970 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 76976 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 76981 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700413 s] /proc/loadavg: 2.16 2.10 2.02 3/179 9607 /proc/meminfo: memFree=30100028/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1218116 CPUtime=0.69 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 180756 0 0 0 44 25 0 0 20 0 4 0 29895879 1247350784 181616 33554432000 4194304 16246674 140733997427712 140733997427136 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 304529 181633 790 2943 0 301423 0 [pid=9607/tid=9608] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 181642 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 181652 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1218116 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29895879 1247350784 181661 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.5004 s] /proc/loadavg: 2.15 2.10 2.02 3/183 9611 /proc/meminfo: memFree=29112904/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1221188 CPUtime=1.48 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 246192 0 0 0 115 33 0 0 20 0 4 0 29895879 1250496512 247029 33554432000 4194304 16246674 140733997427712 140733997427024 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 305297 247029 851 2943 0 302191 0 [pid=9607/tid=9608] ppid=9604 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1250496512 247029 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1250496512 247029 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1221188 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1250496512 247029 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10043 s] /proc/loadavg: 2.15 2.10 2.02 3/183 9611 /proc/meminfo: memFree=29031188/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1308228 CPUtime=3.09 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 268078 0 0 0 273 36 0 0 20 0 4 0 29895879 1339625472 268915 33554432000 4194304 16246674 140733997427712 140733997409600 6021728 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 327057 268915 852 2943 0 323951 0 [pid=9607/tid=9608] ppid=9604 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1339625472 268915 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1339625472 268915 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1308228 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1339625472 268915 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1308228 [startup+6.30043 s] /proc/loadavg: 2.15 2.10 2.02 3/183 9611 /proc/meminfo: memFree=29024748/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1309252 CPUtime=6.29 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 268258 0 0 0 593 36 0 0 20 0 4 0 29895879 1340674048 269095 33554432000 4194304 16246674 140733997427712 140733997409600 5523400 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 327313 269095 852 2943 0 324207 0 [pid=9607/tid=9608] ppid=9604 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1340674048 269095 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1340674048 269095 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1309252 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1340674048 269095 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.13 2.10 2.02 3/183 9611 /proc/meminfo: memFree=29020580/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1313348 CPUtime=12.69 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 269224 0 0 0 1233 36 0 0 20 0 4 0 29895879 1344868352 270061 33554432000 4194304 16246674 140733997427712 140733997409600 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 328337 270061 852 2943 0 325231 0 [pid=9607/tid=9608] ppid=9604 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1344868352 270061 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1344868352 270061 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1313348 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1344868352 270061 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1313348 [startup+25.5005 s] /proc/loadavg: 2.11 2.09 2.02 3/183 9611 /proc/meminfo: memFree=29017644/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1315396 CPUtime=25.48 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 269941 0 0 0 2512 36 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 140733997409600 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 328849 270778 852 2943 0 325743 0 [pid=9607/tid=9608] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1315396 [startup+51.1005 s] /proc/loadavg: 2.20 2.12 2.03 4/183 9611 /proc/meminfo: memFree=29017616/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1315396 CPUtime=51.08 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 269941 0 0 0 5072 36 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 140733997409600 5722656 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 328849 270778 852 2943 0 325743 0 [pid=9607/tid=9608] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1315396 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1346965504 270778 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1315396 [startup+102.301 s] /proc/loadavg: 2.22 2.14 2.04 3/183 9612 /proc/meminfo: memFree=29016368/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1316420 CPUtime=102.28 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 270197 0 0 0 10191 37 0 0 20 0 4 0 29895879 1348014080 271034 33554432000 4194304 16246674 140733997427712 140733997409600 6012272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 329105 271034 852 2943 0 325999 0 [pid=9607/tid=9608] ppid=9604 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1348014080 271034 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1348014080 271034 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1316420 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1348014080 271034 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1316420 ################ # More data... # ################ /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275645 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1334852 [startup+1302.3 s] /proc/loadavg: 2.28 2.19 2.11 3/183 9642 /proc/meminfo: memFree=28954580/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1301.89 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275177 0 0 0 130137 52 0 0 20 0 4 0 29895879 1366888448 275645 33554432000 4194304 16246674 140733997427712 140733997409600 5677179 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275645 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275645 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275645 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275645 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1334852 [startup+1362.3 s] /proc/loadavg: 2.22 2.18 2.11 3/183 9643 /proc/meminfo: memFree=28951152/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1361.86 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275213 0 0 0 136134 52 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 140733997410712 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275646 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1334852 [startup+1422.3 s] /proc/loadavg: 2.19 2.18 2.11 3/183 9693 /proc/meminfo: memFree=28995356/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1421.85 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275227 0 0 0 142132 53 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 140733997409600 13194513 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275646 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1334852 [startup+1482.3 s] /proc/loadavg: 2.21 2.18 2.11 3/183 9694 /proc/meminfo: memFree=28994888/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1481.84 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275227 0 0 0 148130 54 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 140733997409600 5515740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275646 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1334852 [startup+1542.31 s] /proc/loadavg: 2.23 2.19 2.12 3/184 9699 /proc/meminfo: memFree=28994780/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1541.83 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275227 0 0 0 154129 54 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 140733997409600 6021672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275646 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1334852 [startup+1602.3 s] /proc/loadavg: 2.19 2.19 2.12 3/184 9723 /proc/meminfo: memFree=28994576/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1601.81 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275227 0 0 0 160126 55 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 140733997409600 12875026 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275646 852 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275646 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1334852 [startup+1662.3 s] /proc/loadavg: 2.17 2.18 2.12 3/183 9724 /proc/meminfo: memFree=28990708/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1661.81 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275228 0 0 0 166125 56 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 140733997409600 5515740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275647 853 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1334852 [startup+1722.3 s] /proc/loadavg: 2.22 2.19 2.12 3/183 9725 /proc/meminfo: memFree=28990616/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1721.8 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275228 0 0 0 172123 57 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 140733997409600 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275647 853 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1334852 [startup+1782.3 s] /proc/loadavg: 2.08 2.15 2.11 3/183 9726 /proc/meminfo: memFree=28967700/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1781.79 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275228 0 0 0 178122 57 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 140733997409600 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275647 853 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1334852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 2.06 2.14 2.10 3/183 9726 /proc/meminfo: memFree=28967544/32872528 swapFree=496868/529572 [pid=9607] ppid=9604 vsize=1334852 CPUtime=1800.08 cores=1,3,5,7 /proc/9607/stat : 9607 (toysat) R 9604 9607 7739 0 -1 4202496 275228 0 0 0 179951 57 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 140733997409600 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0 /proc/9607/statm: 333713 275647 853 2943 0 330607 0 [pid=9607/tid=9608] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9608/stat : 9608 (toysat) S 9604 9607 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862806080752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0 [pid=9607/tid=9609] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9609/stat : 9609 (toysat) S 9604 9607 7739 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862724291824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0 [pid=9607/tid=9610] ppid=9604 vsize=1334852 CPUtime=0 cores=1,3,5,7 /proc/9607/task/9610/stat : 9610 (toysat) S 9604 9607 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29895879 1366888448 275647 33554432000 4194304 16246674 140733997427712 139862713818288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1800.08 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 9607 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.61 CPU time (s): 1800.1 CPU user time (s): 1799.52 CPU system time (s): 0.579911 CPU usage (%): 99.9718 Max. virtual memory (cumulated for all children) (KiB): 1334852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.579911 maximum resident set size= 1102588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 275228 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= 434 involuntary context switches= 1838 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.41318 second user time and 7.62984 second system time The end
Begin job on node141 at 2016-06-18 21:35:04 IDJOB=4106802 IDBENCH=48265 IDSOLVER=2542 FILE ID=node141/4106802-1466278504 RUNJOBID= node141-1466264081-7756 PBS_JOBID= 19918217 Free space on /tmp= 71712 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_5.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106802-1466278504/watcher-4106802-1466278504 -o /tmp/evaluation-result-4106802-1466278504/solver-4106802-1466278504 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7756 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106802-1466278504.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ae2bd1e13f1871c16ad2ebb51fc6f92a RANDOM SEED=596930619 node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.547 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 30100400 kB Buffers: 158832 kB Cached: 258956 kB SwapCached: 2528 kB Active: 1226428 kB Inactive: 271820 kB Active(anon): 1080696 kB Inactive(anon): 2028 kB Active(file): 145732 kB Inactive(file): 269792 kB Unevictable: 529572 kB Mlocked: 496868 kB SwapTotal: 67108856 kB SwapFree: 67099068 kB Dirty: 16328 kB Writeback: 4 kB AnonPages: 1608712 kB Mapped: 10792 kB Shmem: 0 kB Slab: 610316 kB SReclaimable: 53732 kB SUnreclaim: 556584 kB KernelStack: 1464 kB PageTables: 6904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1754448 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 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= 71696 MiB End job on node141 at 2016-06-18 22:05:05