| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.07 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_4.opb |
| MD5SUM | edb32574ecafd14c2d1410b208d85a45 |
| 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 | -25 |
| 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 | -30 |
| 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) | 2516 |
| Sum of products size (including duplicates) | 5032 |
| Number of different products | 1258 |
| Sum of products size | 2516 |
0.00/0.00 c 2016-06-18T21:41:52+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-4106814-1466278912.opb"] 0.00/0.01 c use --random-gen="3783575152 3395248665 931766884 2875413287 359492560 1076938074 2023264279 2065625668 2068288628 1574420607 766033463 1038445790 3702604375 4080259553 2208873979 3814642069 1367154802 3089376813 2446677017 3473837681 2873280347 1712058767 132931599 2000243144 162284652 193675491 2359013889 3227925042 2816115906 2088706331 763667572 1497306001 4172016450 2683410765 3772008964 3875416628 3045979985 1261620684 414558508 3258801469 680227925 434714096 4194698229 1883736790 1197161737 525463009 470217572 4218424391 278611754 818275037 3778888959 2101928845 3054090800 2960309845 5793213 1992124943 1789346471 980228266 2486043393 2996380697 1929949157 3306777445 2594086036 702512740 3072519362 640071494 271889487 2925148465 3213366441 46630871 631491499 1494486304 2035049754 3005611324 979848391 2629676869 661290976 418538422 1630776342 894579433 276755585 3474471365 2649345349 344898786 1048321757 2467179725 3430450217 4143859456 2044065292 900585969 1854954215 3482763373 396969701 1773833222 3926953078 3321302032 2781084614 1208619257 4226145654 314711463 3044388734 3668222546 282459411 3802524351 1711530774 3318452312 3619698385 3704898572 2952103466 4187056624 2256083555 2270594824 680047476 3332111280 2018755395 2618441691 2102339410 3321726242 4202183584 749963618 1228713615 3291100979 3161581599 1109258313 3155496334 1061214193 2809643239 3779554099 331250507 3037423964 3146392243 2640291632 2369048406 1596788237 3220951568 1147189272 3324439603 456027476 912534347 1386082530 362062994 2153837293 3500152265 1863757969 626026492 1722499496 2190314606 3902108350 2969205657 486213348 2700796389 1813303545 1968686695 2748601076 3452705204 1443729829 1718929394 1364484899 3618875694 1952220046 3116708456 2327636977 2342830677 1413955728 4106588883 1038981560 3114926787 496229518 3489777301 1616707559 3552558712 1257283507 1620791266 200171529 1230812852 571499549 921323159 42178265 2638836472 3852762261 1844471244 1469993834 1533747294 4090327065 4051072535 972672118 1566100583 2274155013 3862176 489540431 1445639336 386142572 3114431369 181284888 2723093458 3355450183 631629136 1219196827 3440863963 1657746215 1604109895 2575657681 361822820 763998029 2874297437 2253039263 1632245509 750249629 2509776148 2745117318 1053339851 615166601 139848463 206349938 3057790856 479522288 3657973475 1201213359 1836381205 612338269 2587602557 2592644535 1600974137 3930913799 2408110787 3795522688 2410444823 2704182820 2110161734 2894962207 2798487912 2040222417 1224596876 1784754140 711283841 1197612511 4064047316 3635787672 3468307574 4209394063 3190116213 2439720961 1535769944 1150541550 2581013195 3656450297 1657180420 2786323945 268201681 1516174538 2667610821 3352731798 2643586233 2883426383 2617975496 1462250978 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 | 1006 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 116 | 0 | 1006 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.003s 0.00/0.05 c #wall_clock_time = 0.003s 0.00/0.05 c #decision = 116 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 0 0.00/0.05 c #restart = 0 0.00/0.05 o -17 0.00/0.05 c BCD2: updating upper bound: 100 -> 82 0.00/0.06 c BCD2: 0 <= obj <= 82 0.00/0.06 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.06 c BCD2: #sat=1 #unsat=1 bias=1/2 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 | 1006 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 52 | 2 | 1006 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 = 52 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 <= 82 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 | 1006 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 1 | 1006 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 <= 82 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 | 1006 0 | 1 | 0 0.09/0.10 c 0.0s | 1 | 2653 | 100 | 1107 0 | 1 | 1 0.09/0.17 c 0.1s | 2 | 6280 | 250 | 1218 0 | 1 | 1 0.29/0.32 c 0.3s | 3 | 8396 | 475 | 1340 0 | 1 | 1 0.49/0.53 c 0.5s | 4 | 10218 | 813 | 1475 0 | 1 | 1 0.79/0.83 c 0.8s | 5 | 13216 | 1320 | 1623 0 | 1 | 1 1.09/1.16 c 1.1s | 6 | 19925 | 2081 | 1786 1 | 1 | 1 1.48/1.52 c 1.5s | 7 | 29026 | 3223 | 1965 2 | 1 | 1 2.09/2.14 c 2.1s | 8 | 44480 | 4936 | 2162 3 | 1 | 1 3.19/3.24 c 3.2s | 9 | 60861 | 7506 | 2379 6 | 1 | 1 4.78/4.86 c 4.8s | 10 | 99906 | 11361 | 2617 9 | 1 | 1 6.78/6.90 c 6.8s | 10 | 135768 | 16761 | 2617 12 | 1 | 1 6.98/7.05 c 7.0s | 11 | 138827 | 17144 | 2879 13 | 1 | 1 8.98/9.05 c 9.0s | 11 | 173464 | 22644 | 2879 16 | 1 | 1 10.18/10.22 c 10.2s | 12 | 211186 | 25819 | 3167 18 | 1 | 1 12.19/12.24 c 12.2s | 12 | 265526 | 31219 | 3167 22 | 1 | 1 14.18/14.25 c 14.2s | 12 | 323668 | 36819 | 3167 25 | 1 | 1 15.08/15.15 c 15.1s | 13 | 335969 | 38832 | 3484 26 | 1 | 1 17.08/17.16 c 17.1s | 13 | 378696 | 43832 | 3484 29 | 1 | 1 19.18/19.21 c 19.1s | 13 | 404974 | 48832 | 3484 31 | 1 | 1 21.18/21.23 c 21.2s | 13 | 436070 | 53332 | 3484 34 | 1 | 1 23.19/23.24 c 23.2s | 13 | 473458 | 58332 | 3833 36 | 1 | 1 23.19/23.25 c 23.2s | 14 | 473606 | 58352 | 3833 36 | 1 | 1 25.18/25.27 c 25.2s | 14 | 504796 | 63052 | 3833 39 | 1 | 1 27.28/27.30 c 27.2s | 14 | 520763 | 67552 | 3833 41 | 1 | 1 29.28/29.32 c 29.3s | 14 | 551221 | 72552 | 3833 44 | 1 | 1 31.28/31.32 c 31.3s | 14 | 584477 | 78152 | 3833 46 | 1 | 1 33.29/33.33 c 33.3s | 14 | 616453 | 83152 | 3833 49 | 1 | 1 34.99/35.05 c 35.0s | 15 | 656106 | 87632 | 4217 51 | 1 | 1 36.99/37.05 c 37.0s | 15 | 695850 | 92532 | 4217 53 | 1 | 1 38.99/39.09 c 39.0s | 15 | 709685 | 97032 | 4217 55 | 1 | 1 41.09/41.14 c 41.1s | 15 | 730553 | 101632 | 4217 57 | 1 | 1 43.09/43.16 c 43.1s | 15 | 747453 | 106032 | 4217 59 | 1 | 1 45.09/45.17 c 45.1s | 15 | 769026 | 110332 | 4217 61 | 1 | 1 47.18/47.20 c 47.1s | 15 | 791342 | 114632 | 4217 63 | 1 | 1 49.18/49.20 c 49.1s | 15 | 809330 | 118932 | 4217 65 | 1 | 1 51.18/51.23 c 51.2s | 15 | 817785 | 122732 | 4217 67 | 1 | 1 53.18/53.25 c 53.2s | 15 | 842298 | 127232 | 4217 69 | 1 | 1 54.99/55.07 c 55.0s | 16 | 863506 | 131552 | 4639 71 | 1 | 1 57.08/57.10 c 57.0s | 16 | 910218 | 136652 | 4639 73 | 1 | 1 59.08/59.11 c 59.0s | 16 | 932266 | 141152 | 4639 75 | 1 | 1 61.08/61.14 c 61.1s | 16 | 947939 | 145552 | 4639 77 | 1 | 1 63.08/63.17 c 63.1s | 16 | 965824 | 150152 | 4639 78 | 1 | 1 65.18/65.22 c 65.2s | 16 | 986472 | 154752 | 4639 80 | 1 | 1 67.19/67.26 c 67.2s | 16 | 1012883 | 158952 | 4639 82 | 1 | 1 69.18/69.27 c 69.2s | 16 | 1045952 | 163152 | 4639 84 | 1 | 1 71.28/71.31 c 71.2s | 16 | 1075432 | 167352 | 4639 86 | 1 | 1 73.28/73.31 c 73.2s | 16 | 1103346 | 171952 | 4639 88 | 1 | 1 75.28/75.34 c 75.3s | 16 | 1115790 | 176252 | 4639 89 | 1 | 1 77.28/77.35 c 77.3s | 16 | 1136071 | 179952 | 4639 91 | 1 | 1 79.28/79.36 c 79.3s | 16 | 1153884 | 184452 | 4639 93 | 1 | 1 81.28/81.40 c 81.3s | 16 | 1183970 | 188852 | 4639 95 | 1 | 1 83.38/83.43 c 83.4s | 16 | 1211139 | 193152 | 4639 96 | 1 | 1 85.38/85.47 c 85.4s | 16 | 1222127 | 197052 | 5103 98 | 1 | 1 85.58/85.63 c 85.6s | 17 | 1223371 | 197432 | 5103 98 | 1 | 1 87.57/87.64 c 87.6s | 17 | 1274559 | 201732 | 5103 100 | 1 | 1 89.57/89.68 c 89.6s | 17 | 1303973 | 205732 | 5103 101 | 1 | 1 91.57/91.68 c 91.6s | 17 | 1334123 | 209832 | 5103 103 | 1 | 1 93.67/93.73 c 93.7s | 17 | 1379274 | 214532 | 5103 105 | 1 | 1 95.68/95.74 c 95.7s | 17 | 1409339 | 218632 | 5103 106 | 1 | 1 97.67/97.74 c 97.7s | 17 | 1429661 | 222432 | 5103 108 | 1 | 1 99.67/99.75 c 99.7s | 17 | 1446121 | 226632 | 5103 109 | 1 | 1 101.67/101.75 c 101s | 17 | 1460922 | 229932 | 5103 110 | 1 | 1 103.67/103.78 c 103s | 17 | 1488553 | 234432 | 5103 112 | 1 | 1 105.77/105.81 c 105s | 17 | 1505269 | 238732 | 5103 114 | 1 | 1 107.78/107.82 c 107s | 17 | 1528314 | 242932 | 5103 115 | 1 | 1 109.77/109.84 c 109s | 17 | 1559440 | 247432 | 5103 117 | 1 | 1 111.87/111.97 c 111s | 17 | 1578815 | 251632 | 5103 119 | 1 | 1 113.97/114.01 c 113s | 17 | 1603611 | 255932 | 5103 120 | 1 | 1 115.97/116.05 c 115s | 17 | 1617281 | 260032 | 5103 122 | 1 | 1 117.97/118.05 c 117s | 17 | 1639495 | 264032 | 5103 123 | 1 | 1 119.97/120.09 c 120s | 17 | 1654831 | 268032 | 5103 125 | 1 | 1 122.07/122.11 c 122s | 17 | 1668608 | 272132 | 5103 126 | 1 | 1 124.07/124.15 c 124s | 17 | 1679762 | 276332 | 5103 128 | 1 | 1 126.06/126.19 c 126s | 17 | 1690766 | 280232 | 5103 129 | 1 | 1 128.16/128.20 c 128s | 17 | 1712109 | 284532 | 5103 131 | 1 | 1 130.16/130.25 c 130s | 17 | 1724495 | 289032 | 5103 133 | 1 | 1 132.16/132.26 c 132s | 17 | 1736622 | 293032 | 5103 134 | 1 | 1 133.86/133.97 c 133s | 18 | 1742780 | 296252 | 5614 135 | 1 | 1 135.96/136.00 c 135s | 18 | 1756430 | 299752 | 5614 137 | 1 | 1 137.96/138.02 c 137s | 18 | 1772975 | 304052 | 5614 138 | 1 | 1 139.96/140.04 c 139s | 18 | 1786526 | 308352 | 5614 139 | 1 | 1 141.97/142.04 c 141s | 18 | 1803480 | 312352 | 5614 141 | 1 | 1 143.96/144.08 c 144s | 18 | 1812715 | 316352 | 5614 142 | 1 | 1 145.96/146.09 c 146s | 18 | 1819788 | 320152 | 5614 144 | 1 | 1 148.06/148.11 c 148s | 18 | 1827562 | 324152 | 5614 145 | 1 | 1 150.06/150.14 c 150s | 18 | 1835384 | 327952 | 5614 146 | 1 | 1 152.16/152.20 c 152s | 18 | 1850515 | 331752 | 5614 148 | 1 | 1 154.16/154.22 c 154s | 18 | 1862895 | 336152 | 5614 149 | 1 | 1 156.17/156.25 c 156s | 18 | 1877316 | 340352 | 5614 150 | 1 | 1 158.17/158.27 c 158s | 18 | 1890161 | 344552 | 5614 152 | 1 | 1 160.27/160.30 c 160s | 18 | 1900547 | 348852 | 5614 153 | 1 | 1 162.27/162.35 c 162s | 18 | 1909283 | 352952 | 5614 155 | 1 | 1 164.27/164.38 c 164s | 18 | 1927190 | 357352 | 5614 156 | 1 | 1 166.37/166.40 c 166s | 18 | 1934794 | 361252 | 5614 158 | 1 | 1 168.37/168.45 c 168s | 18 | 1941794 | 365352 | 5614 159 | 1 | 1 170.36/170.47 c 170s | 18 | 1953879 | 369352 | 5614 161 | 1 | 1 172.36/172.49 c 172s | 18 | 1978751 | 373852 | 5614 162 | 1 | 1 174.46/174.52 c 174s | 18 | 2003679 | 378452 | 5614 164 | 1 | 1 176.46/176.56 c 176s | 18 | 2014947 | 382652 | 5614 165 | 1 | 1 178.46/178.56 c 178s | 18 | 2028064 | 386352 | 5614 166 | 1 | 1 180.47/180.57 c 180s | 18 | 2049421 | 390852 | 5614 168 | 1 | 1 182.57/182.69 c 182s | 18 | 2067518 | 395452 | 5614 170 | 1 | 1 184.66/184.73 c 184s | 18 | 2077539 | 399952 | 5614 171 | 1 | 1 186.66/186.77 c 186s | 18 | 2085544 | 403752 | 5614 172 | 1 | 1 188.66/188.78 c 188s | 18 | 2093492 | 407652 | 5614 174 | 1 | 1 190.76/190.80 c 190s | 18 | 2101698 | 411252 | 5614 175 | 1 | 1 192.76/192.81 c 192s | 18 | 2112395 | 415152 | 5614 176 | 1 | 1 194.77/194.83 c 194s | 18 | 2116917 | 418652 | 5614 178 | 1 | 1 196.76/196.87 c 196s | 18 | 2123555 | 422652 | 5614 179 | 1 | 1 198.85/198.91 c 198s | 18 | 2142748 | 426252 | 5614 180 | 1 | 1 200.85/200.93 c 200s | 18 | 2175152 | 430452 | 5614 182 | 1 | 1 202.85/202.98 c 202s | 18 | 2205791 | 435352 | 5614 183 | 1 | 1 204.85/204.99 c 204s | 18 | 2215897 | 438952 | 5614 185 | 1 | 1 206.95/207.01 c 206s | 18 | 2240125 | 442752 | 6176 186 | 1 | 1 207.75/207.85 c 207s | 19 | 2249215 | 444482 | 6176 186 | 1 | 1 209.75/209.89 c 209s | 19 | 2287203 | 448082 | 6176 187 | 1 | 1 211.85/211.90 c 211s | 19 | 2327601 | 451882 | 6176 189 | 1 | 1 213.85/213.95 c 213s | 19 | 2344433 | 455482 | 6176 190 | 1 | 1 215.85/215.95 c 215s | 19 | 2355097 | 458682 | 6176 191 | 1 | 1 217.86/217.96 c 217s | 19 | 2370468 | 462182 | 6176 192 | 1 | 1 219.85/219.99 c 219s | 19 | 2394193 | 465682 | 6176 193 | 1 | 1 221.95/222.03 c 221s | 19 | 2413174 | 469382 | 6176 194 | 1 | 1 223.95/224.06 c 223s | 19 | 2438879 | 472982 | 6176 195 | 1 | 1 226.05/226.10 c 226s | 19 | 2452477 | 476882 | 6176 197 | 1 | 1 228.05/228.13 c 228s | 19 | 2468045 | 480582 | 6176 198 | 1 | 1 230.05/230.17 c 230s | 19 | 2479926 | 484182 | 6176 199 | 1 | 1 232.05/232.19 c 232s | 19 | 2486580 | 486982 | 6176 200 | 1 | 1 234.15/234.23 c 234s | 19 | 2500687 | 491182 | 6176 201 | 1 | 1 236.15/236.26 c 236s | 19 | 2517692 | 494982 | 6176 202 | 1 | 1 238.25/238.30 c 238s | 19 | 2550022 | 499082 | 6176 203 | 1 | 1 240.25/240.31 c 240s | 19 | 2575031 | 502982 | 6176 205 | 1 | 1 242.25/242.33 c 242s | 19 | 2600241 | 506882 | 6176 206 | 1 | 1 244.25/244.34 c 244s | 19 | 2618671 | 510782 | 6176 207 | 1 | 1 246.35/246.44 c 246s | 19 | 2639253 | 514982 | 6176 209 | 1 | 1 248.35/248.44 c 248s | 19 | 2663336 | 519082 | 6176 210 | 1 | 1 250.35/250.45 c 250s | 19 | 2678155 | 522982 | 6176 211 | 1 | 1 252.35/252.47 c 252s | 19 | 2685981 | 526282 | 6176 212 | 1 | 1 254.35/254.49 c 254s | 19 | 2694375 | 530282 | 6176 213 | 1 | 1 256.45/256.56 c 256s | 19 | 2701416 | 534182 | 6176 215 | 1 | 1 258.45/258.59 c 258s | 19 | 2714917 | 538282 | 6176 216 | 1 | 1 260.54/260.62 c 260s | 19 | 2730067 | 542282 | 6176 217 | 1 | 1 262.54/262.62 c 262s | 19 | 2739897 | 545982 | 6176 218 | 1 | 1 264.54/264.65 c 264s | 19 | 2768163 | 549682 | 6176 219 | 1 | 1 266.54/266.65 c 266s | 19 | 2778064 | 553082 | 6176 220 | 1 | 1 268.55/268.67 c 268s | 19 | 2799457 | 556482 | 6176 222 | 1 | 1 270.56/270.69 c 270s | 19 | 2823686 | 560282 | 6176 223 | 1 | 1 272.55/272.69 c 272s | 19 | 2851913 | 564282 | 6176 224 | 1 | 1 274.65/274.71 c 274s | 19 | 2892522 | 568282 | 6176 225 | 1 | 1 276.65/276.72 c 276s | 19 | 2909109 | 571982 | 6176 226 | 1 | 1 278.65/278.75 c 278s | 19 | 2919568 | 575682 | 6176 228 | 1 | 1 280.65/280.79 c 280s | 19 | 2935730 | 578882 | 6176 229 | 1 | 1 282.75/282.81 c 282s | 19 | 2955013 | 582382 | 6176 230 | 1 | 1 284.74/284.84 c 284s | 19 | 2973425 | 586182 | 6176 231 | 1 | 1 286.74/286.86 c 286s | 19 | 2987684 | 590182 | 6176 232 | 1 | 1 288.74/288.86 c 288s | 19 | 3009513 | 593582 | 6176 233 | 1 | 1 290.84/290.91 c 290s | 19 | 3025014 | 597582 | 6176 235 | 1 | 1 292.84/292.94 c 292s | 19 | 3039497 | 601082 | 6176 236 | 1 | 1 294.85/294.99 c 294s | 19 | 3050598 | 604782 | 6176 237 | 1 | 1 296.95/297.04 c 296s | 19 | 3064133 | 608682 | 6176 238 | 1 | 1 298.94/299.05 c 298s | 19 | 3071794 | 612482 | 6176 239 | 1 | 1 301.04/301.10 c 301s | 19 | 3079501 | 616282 | 6176 240 | 1 | 1 303.04/303.13 c 303s | 19 | 3092710 | 619582 | 6176 241 | 1 | 1 305.04/305.16 c 305s | 19 | 3106946 | 623382 | 6176 243 | 1 | 1 307.04/307.19 c 307s | 19 | 3122246 | 627282 | 6176 244 | 1 | 1 309.14/309.22 c 309s | 19 | 3130815 | 630982 | 6176 245 | 1 | 1 311.13/311.25 c 311s | 19 | 3137200 | 634382 | 6176 246 | 1 | 1 313.13/313.28 c 313s | 19 | 3151082 | 637582 | 6176 247 | 1 | 1 315.13/315.28 c 315s | 19 | 3162321 | 641382 | 6176 248 | 1 | 1 317.24/317.30 c 317s | 19 | 3174417 | 644782 | 6176 249 | 1 | 1 319.24/319.32 c 319s | 19 | 3190452 | 648582 | 6176 251 | 1 | 1 321.25/321.32 c 321s | 19 | 3206672 | 652382 | 6176 252 | 1 | 1 323.24/323.34 c 323s | 19 | 3217495 | 656282 | 6176 253 | 1 | 1 325.24/325.36 c 325s | 19 | 3233013 | 659682 | 6176 254 | 1 | 1 327.24/327.36 c 327s | 19 | 3245129 | 663582 | 6794 255 | 1 | 1 328.84/328.96 c 328s | 20 | 3266843 | 666827 | 6794 256 | 1 | 1 330.94/331.02 c 330s | 20 | 3290757 | 671127 | 6794 257 | 1 | 1 332.93/333.06 c 333s | 20 | 3309127 | 674627 | 6794 258 | 1 | 1 334.93/335.10 c 335s | 20 | 3333830 | 678227 | 6794 259 | 1 | 1 337.03/337.12 c 337s | 20 | 3359666 | 682427 | 6794 261 | 1 | 1 339.03/339.13 c 339s | 20 | 3373051 | 686127 | 6794 262 | 1 | 1 341.04/341.15 c 341s | 20 | 3394414 | 690127 | 6794 263 | 1 | 1 343.03/343.17 c 343s | 20 | 3408528 | 694227 | 6794 264 | 1 | 1 345.13/345.20 c 345s | 20 | 3416792 | 698227 | 6794 265 | 1 | 1 347.13/347.25 c 347s | 20 | 3437797 | 703627 | 6794 267 | 1 | 1 349.23/349.37 c 349s | 20 | 3461362 | 708127 | 6794 268 | 1 | 1 351.32/351.41 c 351s | 20 | 3487828 | 712627 | 6794 269 | 1 | 1 353.32/353.44 c 353s | 20 | 3521892 | 717027 | 6794 271 | 1 | 1 355.33/355.48 c 355s | 20 | 3548473 | 721627 | 6794 272 | 1 | 1 357.32/357.48 c 357s | 20 | 3580470 | 726127 | 6794 273 | 1 | 1 359.42/359.53 c 359s | 20 | 3592661 | 730327 | 6794 274 | 1 | 1 361.42/361.54 c 361s | 20 | 3608287 | 733927 | 6794 275 | 1 | 1 363.42/363.57 c 363s | 20 | 3624571 | 737827 | 6794 277 | 1 | 1 365.42/365.58 c 365s | 20 | 3638991 | 741827 | 6794 278 | 1 | 1 367.43/367.58 c 367s | 20 | 3662200 | 745827 | 6794 279 | 1 | 1 369.52/369.62 c 369s | 20 | 3687773 | 750227 | 6794 280 | 1 | 1 371.52/371.64 c 371s | 20 | 3709115 | 754827 | 6794 281 | 1 | 1 373.52/373.65 c 373s | 20 | 3717875 | 758327 | 6794 282 | 1 | 1 375.52/375.67 c 375s | 20 | 3726401 | 762427 | 6794 284 | 1 | 1 377.52/377.69 c 377s | 20 | 3737717 | 766527 | 6794 285 | 1 | 1 379.61/379.71 c 379s | 20 | 3762594 | 770327 | 6794 286 | 1 | 1 381.62/381.75 c 381s | 20 | 3794374 | 774927 | 6794 287 | 1 | 1 383.61/383.77 c 383s | 20 | 3809515 | 779327 | 6794 288 | 1 | 1 385.61/385.79 c 385s | 20 | 3830094 | 783227 | 6794 290 | 1 | 1 387.71/387.83 c 387s | 20 | 3868007 | 788027 | 6794 291 | 1 | 1 389.71/389.85 c 389s | 20 | 3891958 | 792327 | 6794 292 | 1 | 1 391.81/391.90 c 391s | 20 | 3906670 | 795827 | 6794 293 | 1 | 1 393.82/393.93 c 393s | 20 | 3941718 | 800027 | 6794 294 | 1 | 1 395.81/395.97 c 395s | 20 | 3986553 | 804727 | 6794 296 | 1 | 1 397.81/397.97 c 397s | 20 | 4020454 | 809027 | 6794 297 | 1 | 1 399.91/400.00 c 399s | 20 | 4059358 | 813927 | 6794 298 | 1 | 1 401.90/402.01 c 401s | 20 | 4085749 | 818527 | 6794 300 | 1 | 1 403.90/404.02 c 403s | 20 | 4106155 | 823027 | 6794 301 | 1 | 1 405.91/406.05 c 405s | 20 | 4124413 | 826527 | 6794 302 | 1 | 1 407.90/408.08 c 408s | 20 | 4161635 | 831227 | 6794 303 | 1 | 1 410.00/410.11 c 410s | 20 | 4190690 | 835727 | 6794 305 | 1 | 1 412.00/412.11 c 412s | 20 | 4224254 | 840027 | 6794 306 | 1 | 1 414.00/414.15 c 414s | 20 | 4246581 | 844527 | 6794 307 | 1 | 1 416.10/416.27 c 416s | 20 | 4261484 | 848127 | 6794 308 | 1 | 1 418.20/418.31 c 418s | 20 | 4297601 | 852627 | 6794 310 | 1 | 1 420.20/420.35 c 420s | 20 | 4335850 | 856927 | 6794 311 | 1 | 1 422.19/422.37 c 422s | 20 | 4376467 | 861327 | 6794 312 | 1 | 1 424.29/424.40 c 424s | 20 | 4416641 | 866027 | 6794 313 | 1 | 1 426.29/426.43 c 426s | 20 | 4442402 | 870527 | 6794 315 | 1 | 1 428.29/428.46 c 428s | 20 | 4478546 | 875127 | 6794 316 | 1 | 1 430.40/430.51 c 430s | 20 | 4509451 | 879627 | 6794 317 | 1 | 1 432.39/432.52 c 432s | 20 | 4528993 | 884027 | 6794 319 | 1 | 1 434.40/434.56 c 434s | 20 | 4541032 | 887827 | 6794 320 | 1 | 1 436.39/436.56 c 436s | 20 | 4554132 | 892027 | 6794 321 | 1 | 1 438.39/438.59 c 438s | 20 | 4568141 | 896227 | 6794 322 | 1 | 1 440.49/440.65 c 440s | 20 | 4597816 | 900227 | 6794 323 | 1 | 1 442.49/442.65 c 442s | 20 | 4631024 | 904527 | 6794 324 | 1 | 1 444.49/444.68 c 444s | 20 | 4658174 | 908827 | 6794 326 | 1 | 1 446.49/446.69 c 446s | 20 | 4679863 | 913127 | 6794 327 | 1 | 1 448.59/448.71 c 448s | 20 | 4689170 | 916627 | 6794 328 | 1 | 1 450.59/450.73 c 450s | 20 | 4703601 | 920927 | 6794 329 | 1 | 1 452.58/452.77 c 452s | 20 | 4721801 | 925327 | 6794 330 | 1 | 1 454.58/454.77 c 454s | 20 | 4736694 | 929427 | 6794 332 | 1 | 1 456.68/456.81 c 456s | 20 | 4749467 | 933727 | 6794 333 | 1 | 1 458.69/458.83 c 458s | 20 | 4756213 | 937227 | 6794 334 | 1 | 1 460.68/460.87 c 460s | 20 | 4770708 | 941427 | 6794 335 | 1 | 1 462.68/462.88 c 462s | 20 | 4781658 | 945227 | 6794 336 | 1 | 1 464.68/464.89 c 464s | 20 | 4791683 | 949327 | 6794 337 | 1 | 1 466.78/466.90 c 466s | 20 | 4799183 | 953327 | 6794 338 | 1 | 1 468.78/468.93 c 468s | 20 | 4809772 | 957027 | 6794 340 | 1 | 1 470.78/470.95 c 470s | 20 | 4817388 | 961027 | 6794 341 | 1 | 1 472.78/472.99 c 472s | 20 | 4825784 | 965327 | 6794 342 | 1 | 1 474.87/475.01 c 474s | 20 | 4834623 | 969527 | 6794 343 | 1 | 1 476.87/477.03 c 476s | 20 | 4846173 | 973427 | 6794 344 | 1 | 1 478.87/479.03 c 478s | 20 | 4854133 | 977727 | 6794 345 | 1 | 1 480.87/481.05 c 480s | 20 | 4873240 | 981927 | 6794 347 | 1 | 1 482.88/483.06 c 482s | 20 | 4886903 | 986127 | 6794 348 | 1 | 1 484.87/485.08 c 485s | 20 | 4907410 | 990227 | 6794 349 | 1 | 1 486.87/487.08 c 487s | 20 | 4918032 | 994127 | 7474 350 | 1 | 1 488.87/489.08 c 489s | 20 | 4928899 | 997927 | 7474 351 | 1 | 1 490.37/490.57 c 490s | 21 | 4933761 | 1000345 | 7474 352 | 1 | 1 492.37/492.59 c 492s | 21 | 4951842 | 1003645 | 7474 353 | 1 | 1 494.47/494.66 c 494s | 21 | 4974250 | 1007445 | 7474 354 | 1 | 1 496.57/496.70 c 496s | 21 | 4991020 | 1011345 | 7474 355 | 1 | 1 498.57/498.74 c 498s | 21 | 5008869 | 1015045 | 7474 355 | 1 | 1 500.57/500.75 c 500s | 21 | 5023150 | 1018945 | 7474 357 | 1 | 1 502.57/502.76 c 502s | 21 | 5041966 | 1023045 | 7474 358 | 1 | 1 504.56/504.77 c 504s | 21 | 5050944 | 1027045 | 7474 359 | 1 | 1 506.56/506.77 c 506s | 21 | 5059296 | 1031045 | 7474 360 | 1 | 1 508.66/508.81 c 508s | 21 | 5070524 | 1034545 | 7474 361 | 1 | 1 510.66/510.83 c 510s | 21 | 5081385 | 1038045 | 7474 361 | 1 | 1 512.66/512.87 c 512s | 21 | 5097252 | 1041445 | 7474 362 | 1 | 1 514.66/514.90 c 514s | 21 | 5115547 | 1045345 | 7474 363 | 1 | 1 516.76/516.92 c 516s | 21 | 5138587 | 1049445 | 7474 364 | 1 | 1 518.76/518.99 c 518s | 21 | 5156537 | 1053345 | 7474 366 | 1 | 1 520.86/521.01 c 520s | 21 | 5170664 | 1057245 | 7474 367 | 1 | 1 522.85/523.02 c 522s | 21 | 5184605 | 1060845 | 7474 367 | 1 | 1 524.85/525.03 c 524s | 21 | 5209502 | 1065045 | 7474 369 | 1 | 1 526.86/527.03 c 526s | 21 | 5222788 | 1069345 | 7474 370 | 1 | 1 528.85/529.08 c 529s | 21 | 5234986 | 1072945 | 7474 371 | 1 | 1 530.95/531.12 c 531s | 21 | 5248460 | 1077045 | 7474 372 | 1 | 1 532.95/533.16 c 533s | 21 | 5263359 | 1080845 | 7474 373 | 1 | 1 534.95/535.17 c 535s | 21 | 5280751 | 1084845 | 7474 374 | 1 | 1 536.95/537.19 c 537s | 21 | 5290856 | 1088745 | 7474 375 | 1 | 1 539.05/539.20 c 539s | 21 | 5297618 | 1092445 | 7474 376 | 1 | 1 541.05/541.23 c 541s | 21 | 5311415 | 1095545 | 7474 377 | 1 | 1 543.05/543.25 c 543s | 21 | 5331925 | 1099245 | 7474 378 | 1 | 1 545.05/545.26 c 545s | 21 | 5355322 | 1103345 | 7474 379 | 1 | 1 547.05/547.29 c 547s | 21 | 5373704 | 1107445 | 7474 380 | 1 | 1 549.15/549.31 c 549s | 21 | 5386697 | 1111245 | 7474 381 | 1 | 1 551.14/551.34 c 551s | 21 | 5391853 | 1114245 | 7474 381 | 1 | 1 553.15/553.34 c 553s | 21 | 5399564 | 1117945 | 7474 382 | 1 | 1 555.14/555.36 c 555s | 21 | 5406517 | 1121645 | 7474 383 | 1 | 1 557.14/557.37 c 557s | 21 | 5411491 | 1125145 | 7474 384 | 1 | 1 559.14/559.38 c 559s | 21 | 5423221 | 1128845 | 7474 385 | 1 | 1 561.24/561.42 c 561s | 21 | 5437069 | 1132545 | 7474 386 | 1 | 1 563.24/563.48 c 563s | 21 | 5447115 | 1136245 | 7474 387 | 1 | 1 565.25/565.49 c 565s | 21 | 5462422 | 1139845 | 7474 388 | 1 | 1 567.35/567.52 c 567s | 21 | 5475435 | 1143845 | 7474 389 | 1 | 1 569.35/569.56 c 569s | 21 | 5486355 | 1147545 | 7474 390 | 1 | 1 571.34/571.58 c 571s | 21 | 5493464 | 1151345 | 7474 391 | 1 | 1 573.44/573.61 c 573s | 21 | 5503383 | 1155145 | 7474 392 | 1 | 1 575.44/575.62 c 575s | 21 | 5511381 | 1158345 | 7474 393 | 1 | 1 577.45/577.67 c 577s | 21 | 5517223 | 1161745 | 7474 394 | 1 | 1 579.44/579.68 c 579s | 21 | 5522489 | 1165245 | 7474 395 | 1 | 1 581.54/581.75 c 581s | 21 | 5528488 | 1168545 | 7474 396 | 1 | 1 583.54/583.77 c 583s | 21 | 5535201 | 1172045 | 7474 397 | 1 | 1 585.54/585.79 c 585s | 21 | 5540636 | 1175345 | 7474 397 | 1 | 1 587.64/587.81 c 587s | 21 | 5545877 | 1178745 | 7474 398 | 1 | 1 589.64/589.85 c 589s | 21 | 5550598 | 1181945 | 7474 399 | 1 | 1 591.74/591.92 c 591s | 21 | 5555503 | 1185145 | 7474 400 | 1 | 1 593.73/593.96 c 593s | 21 | 5585195 | 1188645 | 7474 401 | 1 | 1 595.73/595.98 c 595s | 21 | 5613924 | 1192145 | 7474 402 | 1 | 1 597.83/598.02 c 597s | 21 | 5637417 | 1196145 | 7474 403 | 1 | 1 599.83/600.09 c 600s | 21 | 5652425 | 1199645 | 7474 404 | 1 | 1 601.92/602.12 c 602s | 21 | 5676832 | 1203345 | 7474 405 | 1 | 1 603.92/604.15 c 604s | 21 | 5696527 | 1207245 | 7474 406 | 1 | 1 605.93/606.17 c 606s | 21 | 5710567 | 1210745 | 7474 407 | 1 | 1 608.02/608.23 c 608s | 21 | 5729300 | 1213745 | 7474 408 | 1 | 1 610.02/610.25 c 610s | 21 | 5743329 | 1216945 | 7474 408 | 1 | 1 612.02/612.26 c 612s | 21 | 5752619 | 1220145 | 7474 409 | 1 | 1 614.02/614.28 c 614s | 21 | 5766960 | 1223245 | 7474 410 | 1 | 1 616.02/616.29 c 616s | 21 | 5783417 | 1227045 | 7474 411 | 1 | 1 618.13/618.31 c 618s | 21 | 5797518 | 1230745 | 7474 412 | 1 | 1 620.12/620.34 c 620s | 21 | 5808121 | 1233545 | 7474 413 | 1 | 1 622.11/622.38 c 622s | 21 | 5836494 | 1237545 | 7474 414 | 1 | 1 624.21/624.42 c 624s | 21 | 5859456 | 1241345 | 7474 415 | 1 | 1 626.21/626.48 c 626s | 21 | 5890828 | 1244945 | 7474 416 | 1 | 1 628.21/628.49 c 628s | 21 | 5909478 | 1248445 | 7474 417 | 1 | 1 630.31/630.53 c 630s | 21 | 5940514 | 1252245 | 7474 418 | 1 | 1 632.31/632.57 c 632s | 21 | 5963925 | 1256145 | 7474 419 | 1 | 1 634.31/634.58 c 634s | 21 | 5993117 | 1260045 | 7474 420 | 1 | 1 636.41/636.66 c 636s | 21 | 6014525 | 1263945 | 7474 421 | 1 | 1 638.51/638.70 c 638s | 21 | 6033609 | 1267745 | 7474 422 | 1 | 1 640.51/640.74 c 640s | 21 | 6053209 | 1271245 | 7474 423 | 1 | 1 642.50/642.75 c 642s | 21 | 6066945 | 1274945 | 7474 424 | 1 | 1 644.60/644.82 c 644s | 21 | 6080376 | 1278545 | 7474 425 | 1 | 1 647.10/647.32 c 647s | 21 | 6086262 | 1281745 | 7474 425 | 1 | 1 649.11/649.36 c 649s | 21 | 6106436 | 1284945 | 7474 426 | 1 | 1 651.12/651.38 c 651s | 21 | 6141097 | 1289245 | 7474 427 | 1 | 1 653.21/653.40 c 653s | 21 | 6172623 | 1293845 | 7474 429 | 1 | 1 655.20/655.41 c 655s | 21 | 6199243 | 1298145 | 7474 430 | 1 | 1 657.20/657.46 c 657s | 21 | 6216767 | 1302445 | 7474 431 | 1 | 1 659.20/659.48 c 659s | 21 | 6233445 | 1306645 | 7474 432 | 1 | 1 661.30/661.52 c 661s | 21 | 6247487 | 1310245 | 7474 433 | 1 | 1 663.30/663.54 c 663s | 21 | 6261155 | 1313945 | 7474 434 | 1 | 1 665.30/665.57 c 665s | 21 | 6272669 | 1317645 | 7474 435 | 1 | 1 667.30/667.60 c 667s | 21 | 6289782 | 1321845 | 7474 436 | 1 | 1 669.40/669.60 c 669s | 21 | 6299012 | 1325545 | 7474 437 | 1 | 1 671.39/671.63 c 671s | 21 | 6312512 | 1329445 | 7474 438 | 1 | 1 673.39/673.63 c 673s | 21 | 6322531 | 1333145 | 7474 439 | 1 | 1 675.39/675.64 c 675s | 21 | 6328789 | 1336345 | 7474 440 | 1 | 1 677.40/677.69 c 677s | 21 | 6333973 | 1339645 | 7474 441 | 1 | 1 679.49/679.77 c 679s | 21 | 6338581 | 1342245 | 7474 441 | 1 | 1 681.49/681.78 c 681s | 21 | 6364521 | 1345545 | 7474 442 | 1 | 1 683.48/683.78 c 683s | 21 | 6384784 | 1349045 | 7474 443 | 1 | 1 685.58/685.82 c 685s | 21 | 6414004 | 1353045 | 7474 444 | 1 | 1 687.58/687.83 c 687s | 21 | 6437466 | 1356845 | 7474 445 | 1 | 1 689.60/689.84 c 689s | 21 | 6454701 | 1360445 | 7474 446 | 1 | 1 691.59/691.87 c 691s | 21 | 6476071 | 1364845 | 7474 447 | 1 | 1 693.69/693.92 c 693s | 21 | 6487687 | 1368545 | 7474 448 | 1 | 1 695.69/695.94 c 695s | 21 | 6501459 | 1372645 | 7474 449 | 1 | 1 697.68/697.99 c 697s | 21 | 6514849 | 1376745 | 7474 450 | 1 | 1 699.78/700.01 c 699s | 21 | 6544367 | 1380545 | 7474 451 | 1 | 1 701.78/702.04 c 701s | 21 | 6566470 | 1384245 | 7474 452 | 1 | 1 703.79/704.10 c 704s | 21 | 6597682 | 1388345 | 7474 453 | 1 | 1 705.88/706.14 c 706s | 21 | 6610450 | 1392245 | 7474 454 | 1 | 1 707.88/708.19 c 708s | 21 | 6624549 | 1396445 | 7474 455 | 1 | 1 709.98/710.26 c 710s | 21 | 6645136 | 1400645 | 7474 457 | 1 | 1 711.97/712.29 c 712s | 21 | 6663765 | 1404545 | 7474 458 | 1 | 1 714.07/714.30 c 714s | 21 | 6683850 | 1408545 | 7474 459 | 1 | 1 716.07/716.33 c 716s | 21 | 6699977 | 1412845 | 7474 460 | 1 | 1 718.18/718.46 c 718s | 21 | 6710197 | 1416945 | 7474 461 | 1 | 1 720.17/720.50 c 720s | 21 | 6732090 | 1420845 | 7474 462 | 1 | 1 722.27/722.51 c 722s | 21 | 6748606 | 1424845 | 7474 463 | 1 | 1 724.27/724.55 c 724s | 21 | 6760587 | 1428645 | 7474 464 | 1 | 1 726.27/726.57 c 726s | 21 | 6770896 | 1432445 | 7474 465 | 1 | 1 728.27/728.58 c 728s | 21 | 6778955 | 1435845 | 7474 466 | 1 | 1 730.37/730.60 c 730s | 21 | 6784155 | 1438945 | 7474 466 | 1 | 1 732.37/732.61 c 732s | 21 | 6791582 | 1442645 | 7474 467 | 1 | 1 734.36/734.64 c 734s | 21 | 6802729 | 1446745 | 7474 469 | 1 | 1 736.36/736.64 c 736s | 21 | 6811522 | 1450445 | 7474 469 | 1 | 1 738.36/738.65 c 738s | 21 | 6832411 | 1454445 | 7474 471 | 1 | 1 740.36/740.66 c 740s | 21 | 6843664 | 1458145 | 7474 472 | 1 | 1 742.47/742.70 c 742s | 21 | 6853062 | 1461645 | 7474 472 | 1 | 1 744.47/744.72 c 744s | 21 | 6862146 | 1465445 | 7474 473 | 1 | 1 746.47/746.74 c 746s | 21 | 6870303 | 1469345 | 7474 474 | 1 | 1 748.47/748.77 c 748s | 21 | 6876882 | 1472845 | 7474 475 | 1 | 1 750.47/750.79 c 750s | 21 | 6886158 | 1476045 | 7474 476 | 1 | 1 752.56/752.84 c 752s | 21 | 6894285 | 1479645 | 7474 477 | 1 | 1 754.56/754.87 c 754s | 21 | 6900235 | 1483245 | 7474 478 | 1 | 1 756.67/756.91 c 756s | 21 | 6905897 | 1486445 | 7474 479 | 1 | 1 758.66/758.91 c 758s | 21 | 6912186 | 1489945 | 8222 480 | 1 | 1 760.66/760.96 c 760s | 21 | 6918867 | 1493645 | 8222 481 | 1 | 1 762.66/762.96 c 762s | 21 | 6924838 | 1497245 | 8222 481 | 1 | 1 764.66/764.94 c 764s | 22 | 6930285 | 1500622 | 8222 482 | 1 | 1 766.66/766.98 c 766s | 22 | 6941804 | 1503722 | 8222 483 | 1 | 1 768.77/769.04 c 768s | 22 | 6963236 | 1507722 | 8222 484 | 1 | 1 770.76/771.07 c 771s | 22 | 6973804 | 1511422 | 8222 485 | 1 | 1 772.85/773.12 c 773s | 22 | 6984186 | 1514922 | 8222 486 | 1 | 1 774.85/775.14 c 775s | 22 | 6991860 | 1518322 | 8222 486 | 1 | 1 776.85/777.18 c 777s | 22 | 6998195 | 1521422 | 8222 487 | 1 | 1 778.85/779.18 c 779s | 22 | 7008573 | 1525222 | 8222 488 | 1 | 1 780.86/781.19 c 781s | 22 | 7019312 | 1528822 | 8222 489 | 1 | 1 782.95/783.23 c 783s | 22 | 7030522 | 1532322 | 8222 490 | 1 | 1 784.95/785.28 c 785s | 22 | 7036450 | 1535522 | 8222 490 | 1 | 1 786.95/787.29 c 787s | 22 | 7043689 | 1538722 | 8222 491 | 1 | 1 789.05/789.33 c 789s | 22 | 7052028 | 1542222 | 8222 492 | 1 | 1 791.05/791.37 c 791s | 22 | 7059544 | 1545822 | 8222 493 | 1 | 1 793.14/793.40 c 793s | 22 | 7063527 | 1548622 | 8222 494 | 1 | 1 795.15/795.42 c 795s | 22 | 7070147 | 1552122 | 8222 494 | 1 | 1 797.14/797.46 c 797s | 22 | 7077092 | 1555522 | 8222 495 | 1 | 1 799.14/799.47 c 799s | 22 | 7082653 | 1559022 | 8222 496 | 1 | 1 801.24/801.51 c 801s | 22 | 7089044 | 1562522 | 8222 497 | 1 | 1 803.24/803.55 c 803s | 22 | 7095100 | 1566622 | 8222 498 | 1 | 1 805.24/805.57 c 805s | 22 | 7103410 | 1571122 | 8222 499 | 1 | 1 807.25/807.59 c 807s | 22 | 7113721 | 1575722 | 8222 500 | 1 | 1 809.35/809.62 c 809s | 22 | 7125376 | 1580222 | 8222 501 | 1 | 1 811.34/811.65 c 811s | 22 | 7133579 | 1583722 | 8222 502 | 1 | 1 813.44/813.70 c 813s | 22 | 7144987 | 1588122 | 8222 503 | 1 | 1 815.44/815.74 c 815s | 22 | 7156943 | 1592422 | 8222 504 | 1 | 1 817.54/817.80 c 817s | 22 | 7170249 | 1596722 | 8222 505 | 1 | 1 819.54/819.81 c 819s | 22 | 7181704 | 1600522 | 8222 506 | 1 | 1 821.54/821.86 c 821s | 22 | 7194033 | 1604422 | 8222 507 | 1 | 1 823.53/823.87 c 823s | 22 | 7202233 | 1608722 | 8222 508 | 1 | 1 825.63/825.90 c 825s | 22 | 7214448 | 1612622 | 8222 509 | 1 | 1 827.63/827.95 c 827s | 22 | 7224108 | 1616422 | 8222 510 | 1 | 1 829.63/829.99 c 829s | 22 | 7233333 | 1620322 | 8222 511 | 1 | 1 831.72/832.03 c 831s | 22 | 7243994 | 1624522 | 8222 512 | 1 | 1 833.72/834.04 c 833s | 22 | 7252221 | 1628622 | 8222 513 | 1 | 1 835.73/836.07 c 836s | 22 | 7261245 | 1632522 | 8222 514 | 1 | 1 837.72/838.08 c 838s | 22 | 7274667 | 1637122 | 8222 515 | 1 | 1 839.82/840.12 c 840s | 22 | 7287230 | 1641422 | 8222 516 | 1 | 1 841.82/842.15 c 842s | 22 | 7298067 | 1645222 | 8222 517 | 1 | 1 843.82/844.15 c 844s | 22 | 7305406 | 1648722 | 8222 517 | 1 | 1 845.82/846.19 c 846s | 22 | 7316567 | 1652822 | 8222 518 | 1 | 1 847.92/848.23 c 848s | 22 | 7326062 | 1656422 | 8222 519 | 1 | 1 849.92/850.29 c 850s | 22 | 7335247 | 1660222 | 8222 520 | 1 | 1 852.01/852.35 c 852s | 22 | 7345036 | 1664222 | 8222 521 | 1 | 1 854.01/854.36 c 854s | 22 | 7354750 | 1668022 | 8222 522 | 1 | 1 856.51/856.87 c 856s | 22 | 7362703 | 1671722 | 8222 523 | 1 | 1 858.61/858.91 c 858s | 22 | 7372605 | 1676022 | 8222 524 | 1 | 1 860.61/860.94 c 860s | 22 | 7379853 | 1679922 | 8222 525 | 1 | 1 862.61/862.97 c 862s | 22 | 7386161 | 1683622 | 8222 526 | 1 | 1 864.71/865.05 c 864s | 22 | 7391522 | 1687322 | 8222 527 | 1 | 1 866.71/867.08 c 867s | 22 | 7395591 | 1690522 | 8222 527 | 1 | 1 868.72/869.08 c 869s | 22 | 7403082 | 1695122 | 8222 528 | 1 | 1 870.72/871.09 c 871s | 22 | 7412345 | 1699622 | 8222 529 | 1 | 1 872.81/873.10 c 873s | 22 | 7429712 | 1703622 | 8222 530 | 1 | 1 874.81/875.12 c 875s | 22 | 7445650 | 1707722 | 8222 531 | 1 | 1 876.81/877.16 c 877s | 22 | 7454551 | 1711422 | 8222 532 | 1 | 1 878.91/879.22 c 879s | 22 | 7462745 | 1715422 | 8222 533 | 1 | 1 880.92/881.26 c 881s | 22 | 7475174 | 1719122 | 8222 534 | 1 | 1 882.91/883.29 c 883s | 22 | 7492621 | 1723422 | 8222 535 | 1 | 1 885.01/885.32 c 885s | 22 | 7501977 | 1727122 | 8222 536 | 1 | 1 887.01/887.37 c 887s | 22 | 7513544 | 1731022 | 8222 537 | 1 | 1 889.11/889.41 c 889s | 22 | 7523322 | 1735022 | 8222 538 | 1 | 1 891.11/891.45 c 891s | 22 | 7530437 | 1738422 | 8222 539 | 1 | 1 893.20/893.51 c 893s | 22 | 7538177 | 1742122 | 8222 540 | 1 | 1 895.21/895.52 c 895s | 22 | 7545494 | 1746222 | 8222 540 | 1 | 1 897.20/897.52 c 897s | 22 | 7551250 | 1749622 | 8222 541 | 1 | 1 899.20/899.58 c 899s | 22 | 7557436 | 1753322 | 8222 542 | 1 | 1 901.30/901.61 c 901s | 22 | 7572506 | 1756722 | 8222 543 | 1 | 1 903.30/903.66 c 903s | 22 | 7590082 | 1760822 | 8222 544 | 1 | 1 905.40/905.71 c 905s | 22 | 7604582 | 1764822 | 8222 545 | 1 | 1 907.40/907.73 c 907s | 22 | 7617975 | 1769022 | 8222 546 | 1 | 1 909.40/909.75 c 909s | 22 | 7629553 | 1772322 | 8222 547 | 1 | 1 911.39/911.76 c 911s | 22 | 7648126 | 1776722 | 8222 548 | 1 | 1 913.39/913.77 c 913s | 22 | 7667812 | 1780922 | 8222 549 | 1 | 1 915.39/915.79 c 915s | 22 | 7677889 | 1785022 | 8222 550 | 1 | 1 917.49/917.83 c 917s | 22 | 7687108 | 1788322 | 8222 551 | 1 | 1 919.59/919.92 c 919s | 22 | 7699126 | 1792522 | 8222 552 | 1 | 1 921.59/921.92 c 921s | 22 | 7709845 | 1796722 | 8222 553 | 1 | 1 923.59/923.94 c 923s | 22 | 7718552 | 1800922 | 8222 554 | 1 | 1 925.59/925.97 c 925s | 22 | 7731037 | 1804822 | 8222 554 | 1 | 1 927.69/928.00 c 927s | 22 | 7747636 | 1808822 | 8222 555 | 1 | 1 929.69/930.03 c 929s | 22 | 7755778 | 1812622 | 8222 556 | 1 | 1 931.69/932.07 c 932s | 22 | 7762097 | 1816222 | 8222 557 | 1 | 1 933.69/934.09 c 934s | 22 | 7771343 | 1819922 | 8222 558 | 1 | 1 935.79/936.12 c 936s | 22 | 7779790 | 1823822 | 8222 559 | 1 | 1 937.78/938.15 c 938s | 22 | 7787498 | 1827622 | 8222 560 | 1 | 1 939.78/940.17 c 940s | 22 | 7794038 | 1831022 | 8222 561 | 1 | 1 941.78/942.19 c 942s | 22 | 7801062 | 1834822 | 8222 562 | 1 | 1 943.88/944.27 c 944s | 22 | 7808952 | 1838822 | 8222 563 | 1 | 1 945.98/946.30 c 946s | 22 | 7816970 | 1842722 | 8222 563 | 1 | 1 947.99/948.34 c 948s | 22 | 7823185 | 1846322 | 8222 564 | 1 | 1 949.98/950.37 c 950s | 22 | 7829743 | 1850022 | 8222 565 | 1 | 1 952.08/952.43 c 952s | 22 | 7835162 | 1853322 | 8222 566 | 1 | 1 954.08/954.44 c 954s | 22 | 7842760 | 1857022 | 8222 567 | 1 | 1 956.08/956.48 c 956s | 22 | 7851580 | 1861022 | 8222 568 | 1 | 1 958.08/958.48 c 958s | 22 | 7858908 | 1864922 | 8222 569 | 1 | 1 960.19/960.50 c 960s | 22 | 7865807 | 1868422 | 8222 570 | 1 | 1 962.19/962.55 c 962s | 22 | 7873516 | 1872322 | 8222 570 | 1 | 1 964.19/964.56 c 964s | 22 | 7878716 | 1876022 | 8222 571 | 1 | 1 966.19/966.56 c 966s | 22 | 7886021 | 1879222 | 8222 572 | 1 | 1 968.18/968.58 c 968s | 22 | 7896299 | 1883022 | 8222 573 | 1 | 1 970.28/970.63 c 970s | 22 | 7904064 | 1886622 | 8222 574 | 1 | 1 972.28/972.63 c 972s | 22 | 7909983 | 1890122 | 8222 575 | 1 | 1 974.29/974.68 c 974s | 22 | 7914304 | 1893422 | 8222 575 | 1 | 1 976.38/976.72 c 976s | 22 | 7919581 | 1896922 | 8222 576 | 1 | 1 978.38/978.74 c 978s | 22 | 7925431 | 1900522 | 8222 577 | 1 | 1 980.38/980.74 c 980s | 22 | 7929844 | 1903722 | 8222 578 | 1 | 1 982.38/982.78 c 982s | 22 | 7933686 | 1906822 | 8222 579 | 1 | 1 984.38/984.78 c 984s | 22 | 7938778 | 1910122 | 8222 579 | 1 | 1 986.49/986.85 c 986s | 22 | 7944547 | 1913722 | 8222 580 | 1 | 1 988.48/988.86 c 988s | 22 | 7948914 | 1916922 | 8222 581 | 1 | 1 990.58/990.90 c 990s | 22 | 7952825 | 1920022 | 8222 582 | 1 | 1 992.58/992.95 c 992s | 22 | 7957044 | 1923422 | 8222 583 | 1 | 1 994.58/994.99 c 994s | 22 | 7962739 | 1927422 | 8222 584 | 1 | 1 996.68/997.03 c 996s | 22 | 7972225 | 1931522 | 8222 584 | 1 | 1 998.68/999.07 c 999s | 22 | 7981334 | 1935522 | 8222 585 | 1 | 1 1000.68/1001.07 c 1001s | 22 | 7991106 | 1939122 | 8222 586 | 1 | 1 1002.68/1003.08 c 1003s | 22 | 7999922 | 1942622 | 8222 587 | 1 | 1 1004.77/1005.11 c 1005s | 22 | 8009094 | 1946422 | 8222 588 | 1 | 1 1006.77/1007.15 c 1007s | 22 | 8018881 | 1949822 | 8222 589 | 1 | 1 1008.77/1009.17 c 1009s | 22 | 8028600 | 1953622 | 8222 590 | 1 | 1 1010.87/1011.20 c 1011s | 22 | 8036746 | 1957322 | 8222 591 | 1 | 1 1012.88/1013.23 c 1013s | 22 | 8051076 | 1961522 | 8222 592 | 1 | 1 1014.87/1015.26 c 1015s | 22 | 8061550 | 1965522 | 8222 593 | 1 | 1 1016.87/1017.28 c 1017s | 22 | 8070392 | 1969022 | 8222 593 | 1 | 1 1018.97/1019.32 c 1019s | 22 | 8079629 | 1972822 | 8222 594 | 1 | 1 1020.97/1021.34 c 1021s | 22 | 8091423 | 1976822 | 8222 595 | 1 | 1 1022.97/1023.38 c 1023s | 22 | 8099829 | 1980522 | 8222 596 | 1 | 1 1025.07/1025.43 c 1025s | 22 | 8110140 | 1984422 | 8222 597 | 1 | 1 1027.08/1027.47 c 1027s | 22 | 8116197 | 1988022 | 8222 598 | 1 | 1 1029.08/1029.47 c 1029s | 22 | 8120705 | 1990822 | 8222 599 | 1 | 1 1031.08/1031.49 c 1031s | 22 | 8126280 | 1994322 | 8222 599 | 1 | 1 1033.18/1033.51 c 1033s | 22 | 8132708 | 1998222 | 8222 600 | 1 | 1 1035.18/1035.53 c 1035s | 22 | 8136734 | 2001422 | 8222 601 | 1 | 1 1037.37/1037.73 c 1037s | 22 | 8141511 | 2004522 | 8222 602 | 1 | 1 1039.37/1039.75 c 1039s | 22 | 8152658 | 2008022 | 8222 603 | 1 | 1 1041.48/1041.85 c 1041s | 22 | 8160356 | 2011622 | 8222 604 | 1 | 1 1043.47/1043.87 c 1043s | 22 | 8164942 | 2014922 | 8222 604 | 1 | 1 1045.47/1045.88 c 1045s | 22 | 8171848 | 2018222 | 8222 605 | 1 | 1 1047.57/1047.92 c 1047s | 22 | 8182571 | 2022022 | 8222 606 | 1 | 1 1049.57/1049.93 c 1049s | 22 | 8191748 | 2025822 | 8222 607 | 1 | 1 1051.57/1051.97 c 1051s | 22 | 8199020 | 2029522 | 8222 608 | 1 | 1 1053.58/1053.99 c 1053s | 22 | 8205512 | 2033122 | 8222 609 | 1 | 1 1055.57/1055.99 c 1055s | 22 | 8214719 | 2036722 | 8222 609 | 1 | 1 1057.57/1057.99 c 1057s | 22 | 8222461 | 2040322 | 8222 610 | 1 | 1 1059.67/1060.04 c 1059s | 22 | 8231543 | 2043922 | 8222 611 | 1 | 1 1061.67/1062.05 c 1061s | 22 | 8242039 | 2047722 | 8222 612 | 1 | 1 1063.77/1064.10 c 1064s | 22 | 8252441 | 2051822 | 8222 613 | 1 | 1 1065.77/1066.11 c 1066s | 22 | 8259734 | 2055422 | 8222 614 | 1 | 1 1067.77/1068.15 c 1068s | 22 | 8266289 | 2058922 | 8222 615 | 1 | 1 1069.87/1070.27 c 1070s | 22 | 8271297 | 2062222 | 8222 616 | 1 | 1 1071.97/1072.30 c 1072s | 22 | 8276552 | 2065522 | 8222 616 | 1 | 1 1073.97/1074.32 c 1074s | 22 | 8282701 | 2069122 | 8222 617 | 1 | 1 1075.97/1076.32 c 1076s | 22 | 8287887 | 2072622 | 8222 618 | 1 | 1 1077.97/1078.34 c 1078s | 22 | 8291927 | 2075622 | 8222 619 | 1 | 1 1079.97/1080.39 c 1080s | 22 | 8299009 | 2079222 | 8222 620 | 1 | 1 1081.97/1082.39 c 1082s | 22 | 8303471 | 2082622 | 8222 620 | 1 | 1 1084.07/1084.43 c 1084s | 22 | 8308328 | 2085922 | 8222 621 | 1 | 1 1086.06/1086.48 c 1086s | 22 | 8312607 | 2088822 | 8222 622 | 1 | 1 1088.06/1088.49 c 1088s | 22 | 8317548 | 2092222 | 8222 623 | 1 | 1 1090.16/1090.50 c 1090s | 22 | 8320972 | 2095222 | 8222 623 | 1 | 1 1092.16/1092.54 c 1092s | 22 | 8325502 | 2098622 | 8222 624 | 1 | 1 1094.17/1094.60 c 1094s | 22 | 8337127 | 2101622 | 8222 625 | 1 | 1 1096.26/1096.66 c 1096s | 22 | 8351946 | 2105622 | 8222 626 | 1 | 1 1098.26/1098.66 c 1098s | 22 | 8365773 | 2109522 | 8222 627 | 1 | 1 1100.26/1100.68 c 1100s | 22 | 8384518 | 2112622 | 8222 628 | 1 | 1 1102.36/1102.74 c 1102s | 22 | 8400977 | 2116322 | 8222 628 | 1 | 1 1104.36/1104.78 c 1104s | 22 | 8409771 | 2119722 | 8222 629 | 1 | 1 1106.46/1106.83 c 1106s | 22 | 8419846 | 2122822 | 8222 630 | 1 | 1 1108.47/1108.83 c 1108s | 22 | 8434930 | 2126222 | 8222 631 | 1 | 1 1110.46/1110.85 c 1110s | 22 | 8450492 | 2129622 | 8222 632 | 1 | 1 1112.46/1112.85 c 1112s | 22 | 8467260 | 2133322 | 8222 632 | 1 | 1 1114.46/1114.87 c 1114s | 22 | 8486268 | 2137322 | 8222 633 | 1 | 1 1116.46/1116.89 c 1116s | 22 | 8497599 | 2140922 | 8222 634 | 1 | 1 1118.56/1118.92 c 1118s | 22 | 8504858 | 2144322 | 8222 635 | 1 | 1 1120.56/1120.93 c 1120s | 22 | 8519413 | 2147222 | 8222 636 | 1 | 1 1122.56/1122.94 c 1122s | 22 | 8531844 | 2151322 | 8222 637 | 1 | 1 1124.55/1124.97 c 1124s | 22 | 8543550 | 2155422 | 8222 638 | 1 | 1 1126.65/1127.00 c 1126s | 22 | 8558748 | 2159122 | 8222 639 | 1 | 1 1128.65/1129.01 c 1128s | 22 | 8584355 | 2163522 | 8222 640 | 1 | 1 1130.65/1131.03 c 1130s | 22 | 8616404 | 2167422 | 8222 641 | 1 | 1 1132.66/1133.06 c 1132s | 22 | 8634974 | 2171522 | 8222 642 | 1 | 1 1134.65/1135.07 c 1135s | 22 | 8648479 | 2175022 | 8222 642 | 1 | 1 1136.65/1137.07 c 1137s | 22 | 8662919 | 2178922 | 8222 643 | 1 | 1 1138.75/1139.13 c 1139s | 22 | 8679235 | 2182922 | 8222 644 | 1 | 1 1140.75/1141.13 c 1141s | 22 | 8693236 | 2187022 | 8222 645 | 1 | 1 1142.75/1143.18 c 1143s | 22 | 8711295 | 2190722 | 8222 646 | 1 | 1 1144.77/1145.19 c 1145s | 22 | 8726820 | 2193922 | 8222 647 | 1 | 1 1146.86/1147.21 c 1147s | 22 | 8742643 | 2197922 | 8222 648 | 1 | 1 1148.86/1149.24 c 1149s | 22 | 8757256 | 2201922 | 8222 649 | 1 | 1 1150.86/1151.26 c 1151s | 22 | 8767623 | 2205822 | 8222 650 | 1 | 1 1152.86/1153.29 c 1153s | 22 | 8777657 | 2209422 | 8222 651 | 1 | 1 1154.96/1155.33 c 1155s | 22 | 8789451 | 2213222 | 8222 652 | 1 | 1 1156.96/1157.37 c 1157s | 22 | 8800132 | 2216922 | 8222 652 | 1 | 1 1158.96/1159.38 c 1159s | 22 | 8812481 | 2220722 | 8222 653 | 1 | 1 1160.96/1161.38 c 1161s | 22 | 8821948 | 2224422 | 8222 654 | 1 | 1 1163.05/1163.42 c 1163s | 22 | 8830660 | 2228322 | 8222 655 | 1 | 1 1165.05/1165.44 c 1165s | 22 | 8838836 | 2231722 | 8222 656 | 1 | 1 1167.05/1167.45 c 1167s | 22 | 8842856 | 2234922 | 8222 657 | 1 | 1 1169.06/1169.46 c 1169s | 22 | 8848437 | 2237922 | 9045 657 | 1 | 1 1171.05/1171.47 c 1171s | 22 | 8857196 | 2241422 | 9045 658 | 1 | 1 1173.15/1173.50 c 1173s | 22 | 8866655 | 2243822 | 9045 658 | 1 | 1 1175.15/1175.54 c 1175s | 22 | 8888981 | 2247622 | 9045 659 | 1 | 1 1177.15/1177.58 c 1177s | 22 | 8897305 | 2250922 | 9045 660 | 1 | 1 1177.25/1177.64 c 1177s | 23 | 8897480 | 2251038 | 9045 660 | 1 | 1 1179.25/1179.65 c 1179s | 23 | 8935947 | 2254538 | 9045 661 | 1 | 1 1181.25/1181.69 c 1181s | 23 | 8965497 | 2257938 | 9045 662 | 1 | 1 1183.36/1183.71 c 1183s | 23 | 8982693 | 2262038 | 9045 662 | 1 | 1 1185.35/1185.76 c 1185s | 23 | 8999873 | 2265438 | 9045 663 | 1 | 1 1187.55/1187.97 c 1187s | 23 | 9006589 | 2268738 | 9045 664 | 1 | 1 1189.65/1190.01 c 1189s | 23 | 9033344 | 2272638 | 9045 665 | 1 | 1 1191.65/1192.04 c 1191s | 23 | 9060609 | 2276138 | 9045 666 | 1 | 1 1193.65/1194.09 c 1194s | 23 | 9101437 | 2279438 | 9045 666 | 1 | 1 1195.74/1196.11 c 1196s | 23 | 9143710 | 2282738 | 9045 667 | 1 | 1 1197.74/1198.11 c 1198s | 23 | 9169422 | 2286738 | 9045 668 | 1 | 1 1199.75/1200.15 c 1200s | 23 | 9192458 | 2290638 | 9045 669 | 1 | 1 1201.74/1202.15 c 1202s | 23 | 9225527 | 2293938 | 9045 669 | 1 | 1 1203.84/1204.20 c 1204s | 23 | 9241424 | 2297638 | 9045 670 | 1 | 1 1205.84/1206.21 c 1206s | 23 | 9277758 | 2301138 | 9045 671 | 1 | 1 1207.84/1208.27 c 1208s | 23 | 9289747 | 2304638 | 9045 672 | 1 | 1 1209.94/1210.35 c 1210s | 23 | 9315713 | 2308338 | 9045 673 | 1 | 1 1211.95/1212.36 c 1212s | 23 | 9328373 | 2312238 | 9045 673 | 1 | 1 1213.94/1214.39 c 1214s | 23 | 9349934 | 2315338 | 9045 674 | 1 | 1 1216.04/1216.40 c 1216s | 23 | 9363463 | 2319138 | 9045 675 | 1 | 1 1218.04/1218.44 c 1218s | 23 | 9370726 | 2322438 | 9045 676 | 1 | 1 1220.04/1220.49 c 1220s | 23 | 9373986 | 2325438 | 9045 676 | 1 | 1 1222.14/1222.52 c 1222s | 23 | 9385714 | 2328438 | 9045 677 | 1 | 1 1224.14/1224.56 c 1224s | 23 | 9405071 | 2332238 | 9045 678 | 1 | 1 1226.24/1226.63 c 1226s | 23 | 9419414 | 2335238 | 9045 678 | 1 | 1 1228.24/1228.66 c 1228s | 23 | 9434564 | 2338738 | 9045 679 | 1 | 1 1230.34/1230.72 c 1230s | 23 | 9452841 | 2342538 | 9045 680 | 1 | 1 1232.34/1232.76 c 1232s | 23 | 9460332 | 2345938 | 9045 681 | 1 | 1 1234.54/1234.94 c 1234s | 23 | 9470489 | 2349538 | 9045 681 | 1 | 1 1236.54/1236.94 c 1236s | 23 | 9493691 | 2352938 | 9045 682 | 1 | 1 1238.54/1238.96 c 1238s | 23 | 9511601 | 2356538 | 9045 683 | 1 | 1 1240.64/1241.06 c 1240s | 23 | 9518606 | 2359438 | 9045 684 | 1 | 1 1242.74/1243.11 c 1243s | 23 | 9527688 | 2362938 | 9045 684 | 1 | 1 1244.73/1245.16 c 1245s | 23 | 9538431 | 2366338 | 9045 685 | 1 | 1 1246.73/1247.18 c 1247s | 23 | 9552581 | 2369738 | 9045 686 | 1 | 1 1249.24/1249.62 c 1249s | 23 | 9569100 | 2373538 | 9045 687 | 1 | 1 1251.23/1251.63 c 1251s | 23 | 9581772 | 2377038 | 9045 687 | 1 | 1 1253.23/1253.66 c 1253s | 23 | 9596766 | 2380138 | 9045 688 | 1 | 1 1255.33/1255.71 c 1255s | 23 | 9602638 | 2383238 | 9045 689 | 1 | 1 1257.34/1257.74 c 1257s | 23 | 9616503 | 2385938 | 9045 689 | 1 | 1 1259.34/1259.79 c 1259s | 23 | 9639281 | 2389438 | 9045 690 | 1 | 1 1261.45/1261.83 c 1261s | 23 | 9654452 | 2392838 | 9045 691 | 1 | 1 1263.44/1263.86 c 1263s | 23 | 9669481 | 2396438 | 9045 692 | 1 | 1 1265.44/1265.87 c 1265s | 23 | 9678900 | 2400038 | 9045 692 | 1 | 1 1267.44/1267.89 c 1267s | 23 | 9693833 | 2402838 | 9045 693 | 1 | 1 1269.54/1269.94 c 1269s | 23 | 9705583 | 2406338 | 9045 694 | 1 | 1 1271.54/1271.95 c 1271s | 23 | 9712734 | 2409638 | 9045 694 | 1 | 1 1273.64/1274.00 c 1273s | 23 | 9721934 | 2413538 | 9045 695 | 1 | 1 1275.64/1276.00 c 1275s | 23 | 9732158 | 2417138 | 9045 696 | 1 | 1 1277.64/1278.04 c 1277s | 23 | 9746328 | 2420738 | 9045 697 | 1 | 1 1279.64/1280.07 c 1280s | 23 | 9753407 | 2424038 | 9045 698 | 1 | 1 1281.64/1282.09 c 1282s | 23 | 9763111 | 2427738 | 9045 698 | 1 | 1 1283.74/1284.10 c 1284s | 23 | 9770211 | 2430938 | 9045 699 | 1 | 1 1285.74/1286.15 c 1286s | 23 | 9776884 | 2434238 | 9045 700 | 1 | 1 1287.74/1288.17 c 1288s | 23 | 9791820 | 2438138 | 9045 701 | 1 | 1 1289.83/1290.20 c 1290s | 23 | 9799466 | 2441738 | 9045 701 | 1 | 1 1291.83/1292.20 c 1292s | 23 | 9820939 | 2445238 | 9045 702 | 1 | 1 1293.83/1294.23 c 1294s | 23 | 9838378 | 2448938 | 9045 703 | 1 | 1 1295.83/1296.27 c 1296s | 23 | 9852367 | 2452438 | 9045 704 | 1 | 1 1297.83/1298.29 c 1298s | 23 | 9869014 | 2456038 | 9045 704 | 1 | 1 1299.94/1300.34 c 1300s | 23 | 9878476 | 2459238 | 9045 705 | 1 | 1 1301.93/1302.39 c 1302s | 23 | 9889137 | 2462238 | 9045 706 | 1 | 1 1304.03/1304.44 c 1304s | 23 | 9902369 | 2465838 | 9045 707 | 1 | 1 1306.03/1306.48 c 1306s | 23 | 9917010 | 2469438 | 9045 707 | 1 | 1 1308.13/1308.53 c 1308s | 23 | 9948900 | 2472738 | 9045 708 | 1 | 1 1310.13/1310.57 c 1310s | 23 | 9993432 | 2477038 | 9045 709 | 1 | 1 1312.13/1312.57 c 1312s | 23 | 10028169 | 2481538 | 9045 710 | 1 | 1 1314.14/1314.60 c 1314s | 23 | 10054557 | 2485238 | 9045 711 | 1 | 1 1316.23/1316.62 c 1316s | 23 | 10084531 | 2488838 | 9045 712 | 1 | 1 1318.23/1318.66 c 1318s | 23 | 10109267 | 2492838 | 9045 712 | 1 | 1 1320.23/1320.68 c 1320s | 23 | 10126599 | 2496638 | 9045 713 | 1 | 1 1322.33/1322.72 c 1322s | 23 | 10134835 | 2499338 | 9045 714 | 1 | 1 1324.33/1324.72 c 1324s | 23 | 10158249 | 2503438 | 9045 715 | 1 | 1 1326.43/1326.80 c 1326s | 23 | 10168003 | 2507238 | 9045 716 | 1 | 1 1328.43/1328.83 c 1328s | 23 | 10191549 | 2511438 | 9045 716 | 1 | 1 1330.43/1330.83 c 1330s | 23 | 10228215 | 2515438 | 9045 717 | 1 | 1 1332.43/1332.86 c 1332s | 23 | 10253185 | 2519038 | 9045 718 | 1 | 1 1334.43/1334.86 c 1334s | 23 | 10270302 | 2522538 | 9045 719 | 1 | 1 1336.43/1336.89 c 1336s | 23 | 10291191 | 2526338 | 9045 720 | 1 | 1 1338.53/1338.93 c 1338s | 23 | 10302622 | 2530238 | 9045 721 | 1 | 1 1340.53/1340.95 c 1340s | 23 | 10316793 | 2533738 | 9045 721 | 1 | 1 1342.52/1342.96 c 1342s | 23 | 10327556 | 2537538 | 9045 722 | 1 | 1 1344.52/1344.96 c 1344s | 23 | 10335326 | 2541338 | 9045 723 | 1 | 1 1346.52/1346.99 c 1346s | 23 | 10341624 | 2544938 | 9045 724 | 1 | 1 1348.62/1349.00 c 1348s | 23 | 10354676 | 2548538 | 9045 725 | 1 | 1 1350.62/1351.02 c 1350s | 23 | 10370922 | 2551938 | 9045 725 | 1 | 1 1352.63/1353.04 c 1352s | 23 | 10391826 | 2556038 | 9045 726 | 1 | 1 1354.62/1355.08 c 1355s | 23 | 10406330 | 2559738 | 9045 727 | 1 | 1 1356.72/1357.10 c 1357s | 23 | 10420046 | 2563438 | 9045 728 | 1 | 1 1358.72/1359.12 c 1359s | 23 | 10434046 | 2567438 | 9045 729 | 1 | 1 1360.72/1361.14 c 1361s | 23 | 10440741 | 2571038 | 9045 729 | 1 | 1 1362.92/1363.32 c 1363s | 23 | 10452251 | 2573238 | 9045 730 | 1 | 1 1364.92/1365.33 c 1365s | 23 | 10464952 | 2577238 | 9045 731 | 1 | 1 1366.92/1367.37 c 1367s | 23 | 10484130 | 2581238 | 9045 732 | 1 | 1 1369.02/1369.41 c 1369s | 23 | 10499885 | 2585438 | 9045 732 | 1 | 1 1371.02/1371.44 c 1371s | 23 | 10520217 | 2589838 | 9045 733 | 1 | 1 1373.02/1373.48 c 1373s | 23 | 10530265 | 2593838 | 9045 734 | 1 | 1 1375.32/1375.70 c 1375s | 23 | 10538610 | 2597538 | 9045 735 | 1 | 1 1377.32/1377.71 c 1377s | 23 | 10547943 | 2600938 | 9045 736 | 1 | 1 1379.32/1379.71 c 1379s | 23 | 10558239 | 2604538 | 9045 737 | 1 | 1 1381.32/1381.75 c 1381s | 23 | 10572804 | 2608138 | 9045 737 | 1 | 1 1383.31/1383.75 c 1383s | 23 | 10602085 | 2611938 | 9045 738 | 1 | 1 1385.31/1385.77 c 1385s | 23 | 10619624 | 2615738 | 9045 739 | 1 | 1 1387.31/1387.78 c 1387s | 23 | 10643620 | 2619538 | 9045 740 | 1 | 1 1389.41/1389.81 c 1389s | 23 | 10656980 | 2623438 | 9045 741 | 1 | 1 1391.42/1391.82 c 1391s | 23 | 10667170 | 2626838 | 9045 741 | 1 | 1 1393.43/1393.85 c 1393s | 23 | 10679200 | 2630438 | 9045 742 | 1 | 1 1395.42/1395.86 c 1395s | 23 | 10688912 | 2634038 | 9045 743 | 1 | 1 1397.42/1397.88 c 1397s | 23 | 10694816 | 2637538 | 9045 744 | 1 | 1 1399.52/1399.92 c 1399s | 23 | 10707756 | 2640238 | 9045 744 | 1 | 1 1401.52/1401.94 c 1401s | 23 | 10727711 | 2644038 | 9045 745 | 1 | 1 1403.52/1403.98 c 1403s | 23 | 10739016 | 2647938 | 9045 746 | 1 | 1 1405.62/1406.02 c 1405s | 23 | 10752263 | 2651438 | 9045 747 | 1 | 1 1407.62/1408.02 c 1407s | 23 | 10760065 | 2654938 | 9045 747 | 1 | 1 1409.62/1410.07 c 1410s | 23 | 10765967 | 2658538 | 9045 748 | 1 | 1 1411.62/1412.08 c 1412s | 23 | 10772434 | 2661038 | 9045 749 | 1 | 1 1413.62/1414.08 c 1414s | 23 | 10786383 | 2665038 | 9045 750 | 1 | 1 1415.72/1416.10 c 1416s | 23 | 10818551 | 2669338 | 9045 751 | 1 | 1 1417.72/1418.13 c 1418s | 23 | 10842983 | 2673838 | 9045 752 | 1 | 1 1419.72/1420.16 c 1420s | 23 | 10863642 | 2678338 | 9045 753 | 1 | 1 1421.71/1422.18 c 1422s | 23 | 10884609 | 2683038 | 9045 754 | 1 | 1 1423.81/1424.23 c 1424s | 23 | 10894802 | 2687038 | 9045 754 | 1 | 1 1425.81/1426.27 c 1426s | 23 | 10901429 | 2690738 | 9045 755 | 1 | 1 1427.91/1428.30 c 1428s | 23 | 10909510 | 2693738 | 9045 756 | 1 | 1 1429.91/1430.32 c 1430s | 23 | 10917190 | 2697038 | 9045 757 | 1 | 1 1431.92/1432.35 c 1432s | 23 | 10924152 | 2700738 | 9045 757 | 1 | 1 1433.91/1434.39 c 1434s | 23 | 10933521 | 2704238 | 9045 758 | 1 | 1 1436.01/1436.45 c 1436s | 23 | 10942395 | 2707638 | 9045 759 | 1 | 1 1438.01/1438.48 c 1438s | 23 | 10948825 | 2710838 | 9045 760 | 1 | 1 1440.11/1440.50 c 1440s | 23 | 10955370 | 2714538 | 9045 760 | 1 | 1 1442.11/1442.52 c 1442s | 23 | 10962372 | 2718038 | 9045 761 | 1 | 1 1444.11/1444.56 c 1444s | 23 | 10968231 | 2721338 | 9045 762 | 1 | 1 1446.11/1446.57 c 1446s | 23 | 10987287 | 2724838 | 9045 763 | 1 | 1 1448.21/1448.63 c 1448s | 23 | 10995611 | 2728238 | 9045 763 | 1 | 1 1450.21/1450.68 c 1450s | 23 | 11014436 | 2731638 | 9045 764 | 1 | 1 1452.31/1452.70 c 1452s | 23 | 11034286 | 2735338 | 9045 765 | 1 | 1 1454.31/1454.75 c 1454s | 23 | 11052268 | 2738938 | 9045 766 | 1 | 1 1456.31/1456.76 c 1456s | 23 | 11072078 | 2742838 | 9045 767 | 1 | 1 1458.41/1458.84 c 1458s | 23 | 11082959 | 2746038 | 9045 767 | 1 | 1 1460.41/1460.87 c 1460s | 23 | 11100866 | 2749238 | 9045 768 | 1 | 1 1462.50/1462.92 c 1462s | 23 | 11122493 | 2752938 | 9045 769 | 1 | 1 1464.50/1464.95 c 1464s | 23 | 11136464 | 2756638 | 9045 769 | 1 | 1 1466.50/1466.99 c 1466s | 23 | 11163995 | 2760238 | 9045 770 | 1 | 1 1468.60/1469.00 c 1468s | 23 | 11190673 | 2763538 | 9045 771 | 1 | 1 1470.60/1471.04 c 1470s | 23 | 11208185 | 2767338 | 9045 772 | 1 | 1 1472.61/1473.05 c 1472s | 23 | 11226340 | 2770838 | 9045 773 | 1 | 1 1474.60/1475.06 c 1474s | 23 | 11241137 | 2774238 | 9045 773 | 1 | 1 1476.60/1477.08 c 1477s | 23 | 11269150 | 2778538 | 9045 774 | 1 | 1 1478.70/1479.12 c 1479s | 23 | 11288746 | 2782538 | 9045 775 | 1 | 1 1480.71/1481.12 c 1481s | 23 | 11304534 | 2786538 | 9045 776 | 1 | 1 1482.71/1483.16 c 1483s | 23 | 11309715 | 2789238 | 9045 777 | 1 | 1 1484.71/1485.17 c 1485s | 23 | 11320318 | 2792938 | 9045 777 | 1 | 1 1486.81/1487.20 c 1487s | 23 | 11333827 | 2796538 | 9045 778 | 1 | 1 1488.80/1489.20 c 1489s | 23 | 11343481 | 2800338 | 9045 779 | 1 | 1 1490.80/1491.24 c 1491s | 23 | 11351679 | 2804238 | 9045 780 | 1 | 1 1492.90/1493.32 c 1493s | 23 | 11358909 | 2807738 | 9045 781 | 1 | 1 1494.90/1495.32 c 1495s | 23 | 11369093 | 2811238 | 9045 781 | 1 | 1 1496.90/1497.37 c 1497s | 23 | 11383035 | 2814338 | 9045 782 | 1 | 1 1498.91/1499.38 c 1499s | 23 | 11406055 | 2817938 | 9045 783 | 1 | 1 1501.00/1501.42 c 1501s | 23 | 11420119 | 2821638 | 9045 784 | 1 | 1 1503.00/1503.43 c 1503s | 23 | 11429907 | 2825338 | 9045 784 | 1 | 1 1505.00/1505.48 c 1505s | 23 | 11444019 | 2828838 | 9045 785 | 1 | 1 1507.10/1507.53 c 1507s | 23 | 11452229 | 2832438 | 9045 786 | 1 | 1 1509.10/1509.58 c 1509s | 23 | 11460774 | 2835538 | 9045 787 | 1 | 1 1511.11/1511.58 c 1511s | 23 | 11474001 | 2838938 | 9045 787 | 1 | 1 1513.21/1513.63 c 1513s | 23 | 11487858 | 2843038 | 9045 788 | 1 | 1 1515.20/1515.68 c 1515s | 23 | 11500471 | 2846738 | 9045 789 | 1 | 1 1517.30/1517.71 c 1517s | 23 | 11510059 | 2850638 | 9045 790 | 1 | 1 1519.30/1519.71 c 1519s | 23 | 11520317 | 2853538 | 9045 790 | 1 | 1 1521.30/1521.74 c 1521s | 23 | 11537755 | 2857738 | 9045 791 | 1 | 1 1523.30/1523.75 c 1523s | 23 | 11550693 | 2861438 | 9045 792 | 1 | 1 1525.30/1525.79 c 1525s | 23 | 11569063 | 2865538 | 9045 793 | 1 | 1 1527.39/1527.82 c 1527s | 23 | 11581082 | 2868938 | 9045 794 | 1 | 1 1529.49/1529.96 c 1529s | 23 | 11591187 | 2872538 | 9045 795 | 1 | 1 1531.49/1531.99 c 1531s | 23 | 11604111 | 2876738 | 9045 795 | 1 | 1 1533.59/1534.03 c 1533s | 23 | 11610012 | 2880138 | 9045 796 | 1 | 1 1535.59/1536.06 c 1535s | 23 | 11615901 | 2882938 | 9045 797 | 1 | 1 1537.59/1538.09 c 1538s | 23 | 11622489 | 2886438 | 9045 798 | 1 | 1 1539.60/1540.09 c 1540s | 23 | 11629675 | 2889738 | 9045 798 | 1 | 1 1541.69/1542.12 c 1542s | 23 | 11636402 | 2893238 | 9045 799 | 1 | 1 1543.69/1544.14 c 1544s | 23 | 11641580 | 2895838 | 9045 800 | 1 | 1 1545.70/1546.14 c 1546s | 23 | 11652144 | 2899538 | 9045 800 | 1 | 1 1547.70/1548.17 c 1548s | 23 | 11664117 | 2903338 | 9045 801 | 1 | 1 1549.70/1550.18 c 1550s | 23 | 11671602 | 2906738 | 9045 802 | 1 | 1 1551.70/1552.19 c 1552s | 23 | 11678182 | 2910038 | 9045 803 | 1 | 1 1553.79/1554.21 c 1554s | 23 | 11688087 | 2913638 | 9045 803 | 1 | 1 1555.79/1556.26 c 1556s | 23 | 11696742 | 2917538 | 9045 804 | 1 | 1 1557.89/1558.37 c 1558s | 23 | 11704211 | 2921238 | 9045 805 | 1 | 1 1559.89/1560.38 c 1560s | 23 | 11710572 | 2924838 | 9045 806 | 1 | 1 1561.89/1562.39 c 1562s | 23 | 11719410 | 2927538 | 9045 806 | 1 | 1 1563.90/1564.39 c 1564s | 23 | 11735409 | 2931538 | 9045 807 | 1 | 1 1566.00/1566.43 c 1566s | 23 | 11757708 | 2935838 | 9045 808 | 1 | 1 1567.99/1568.49 c 1568s | 23 | 11768601 | 2939738 | 9045 809 | 1 | 1 1570.09/1570.53 c 1570s | 23 | 11776616 | 2943738 | 9045 810 | 1 | 1 1572.09/1572.56 c 1572s | 23 | 11786626 | 2947038 | 9045 811 | 1 | 1 1574.09/1574.58 c 1574s | 23 | 11794966 | 2950438 | 9045 811 | 1 | 1 1576.19/1576.65 c 1576s | 23 | 11800622 | 2953738 | 9045 812 | 1 | 1 1578.19/1578.67 c 1578s | 23 | 11809151 | 2956438 | 9045 813 | 1 | 1 1580.29/1580.71 c 1580s | 23 | 11818811 | 2959938 | 9045 813 | 1 | 1 1582.29/1582.76 c 1582s | 23 | 11826789 | 2963238 | 9045 814 | 1 | 1 1584.29/1584.77 c 1584s | 23 | 11831548 | 2966238 | 9045 815 | 1 | 1 1586.49/1586.98 c 1586s | 23 | 11839121 | 2969638 | 9045 816 | 1 | 1 1588.49/1588.99 c 1588s | 23 | 11857844 | 2973538 | 9045 816 | 1 | 1 1590.59/1591.01 c 1590s | 23 | 11865518 | 2976938 | 9045 817 | 1 | 1 1592.58/1593.07 c 1593s | 23 | 11875473 | 2980238 | 9045 818 | 1 | 1 1594.69/1595.12 c 1595s | 23 | 11885239 | 2983538 | 9045 819 | 1 | 1 1596.68/1597.16 c 1597s | 23 | 11890152 | 2986638 | 9045 819 | 1 | 1 1598.68/1599.19 c 1599s | 23 | 11897849 | 2990038 | 9045 820 | 1 | 1 1600.68/1601.19 c 1601s | 23 | 11904674 | 2993238 | 9045 821 | 1 | 1 1602.78/1603.27 c 1603s | 23 | 11911654 | 2996638 | 9045 821 | 1 | 1 1604.88/1605.31 c 1605s | 23 | 11917336 | 2999438 | 9045 822 | 1 | 1 1606.98/1607.43 c 1607s | 23 | 11921439 | 3002338 | 9045 823 | 1 | 1 1608.99/1609.44 c 1609s | 23 | 11927054 | 3005538 | 9045 823 | 1 | 1 1611.19/1611.62 c 1611s | 23 | 11931195 | 3008438 | 9045 824 | 1 | 1 1613.18/1613.64 c 1613s | 23 | 11945151 | 3012238 | 9045 825 | 1 | 1 1615.18/1615.66 c 1615s | 23 | 11953403 | 3015638 | 9045 826 | 1 | 1 1617.18/1617.67 c 1617s | 23 | 11967063 | 3019538 | 9045 826 | 1 | 1 1619.28/1619.73 c 1619s | 23 | 11975794 | 3023338 | 9045 827 | 1 | 1 1621.28/1621.78 c 1621s | 23 | 11981511 | 3026638 | 9045 828 | 1 | 1 1623.38/1623.81 c 1623s | 23 | 11990377 | 3029538 | 9045 829 | 1 | 1 1625.38/1625.84 c 1625s | 23 | 11995934 | 3032938 | 9045 829 | 1 | 1 1627.48/1627.91 c 1627s | 23 | 12001460 | 3036038 | 9045 830 | 1 | 1 1629.48/1629.91 c 1629s | 23 | 12007076 | 3039038 | 9045 831 | 1 | 1 1631.48/1631.92 c 1631s | 23 | 12012995 | 3042038 | 9045 831 | 1 | 1 1633.48/1633.94 c 1633s | 23 | 12017221 | 3045238 | 9045 832 | 1 | 1 1635.48/1635.96 c 1635s | 23 | 12021240 | 3048138 | 9045 833 | 1 | 1 1637.48/1638.00 c 1637s | 23 | 12027643 | 3050938 | 9045 833 | 1 | 1 1639.57/1640.04 c 1639s | 23 | 12038984 | 3053938 | 9045 834 | 1 | 1 1641.57/1642.06 c 1641s | 23 | 12049527 | 3057538 | 9045 835 | 1 | 1 1643.57/1644.07 c 1644s | 23 | 12056925 | 3060938 | 9045 835 | 1 | 1 1645.57/1646.08 c 1646s | 23 | 12062623 | 3064138 | 9045 836 | 1 | 1 1647.67/1648.11 c 1648s | 23 | 12067589 | 3066838 | 9045 837 | 1 | 1 1649.68/1650.13 c 1650s | 23 | 12073390 | 3070238 | 9045 837 | 1 | 1 1651.67/1652.14 c 1652s | 23 | 12078020 | 3073438 | 9045 838 | 1 | 1 1653.67/1654.17 c 1654s | 23 | 12082523 | 3076438 | 9045 839 | 1 | 1 1655.77/1656.22 c 1656s | 23 | 12086834 | 3078938 | 9045 839 | 1 | 1 1657.78/1658.22 c 1658s | 23 | 12091542 | 3082138 | 9045 840 | 1 | 1 1659.78/1660.23 c 1660s | 23 | 12096139 | 3085138 | 9045 840 | 1 | 1 1661.79/1662.25 c 1662s | 23 | 12100128 | 3088138 | 9045 841 | 1 | 1 1663.78/1664.29 c 1664s | 23 | 12110377 | 3091038 | 9045 842 | 1 | 1 1665.88/1666.33 c 1666s | 23 | 12128888 | 3094438 | 9045 843 | 1 | 1 1667.88/1668.34 c 1668s | 23 | 12150086 | 3097838 | 9045 843 | 1 | 1 1669.88/1670.39 c 1670s | 23 | 12166362 | 3100838 | 9045 844 | 1 | 1 1671.98/1672.44 c 1672s | 23 | 12182548 | 3103938 | 9045 845 | 1 | 1 1673.98/1674.46 c 1674s | 23 | 12199986 | 3107238 | 9045 845 | 1 | 1 1675.98/1676.49 c 1676s | 23 | 12206451 | 3110338 | 9045 846 | 1 | 1 1678.08/1678.50 c 1678s | 23 | 12225207 | 3113138 | 9045 847 | 1 | 1 1680.08/1680.52 c 1680s | 23 | 12248540 | 3116438 | 9045 847 | 1 | 1 1682.07/1682.56 c 1682s | 23 | 12264004 | 3120238 | 9045 848 | 1 | 1 1684.37/1684.84 c 1684s | 23 | 12275646 | 3122738 | 9045 849 | 1 | 1 1686.37/1686.85 c 1686s | 23 | 12310204 | 3126238 | 9045 849 | 1 | 1 1688.47/1688.90 c 1688s | 23 | 12336155 | 3129838 | 9045 850 | 1 | 1 1690.47/1690.95 c 1690s | 23 | 12354265 | 3133338 | 9045 851 | 1 | 1 1692.47/1692.97 c 1692s | 23 | 12372620 | 3136738 | 9045 852 | 1 | 1 1694.57/1695.06 c 1694s | 23 | 12386953 | 3140438 | 9045 853 | 1 | 1 1696.68/1697.11 c 1697s | 23 | 12395098 | 3143338 | 9045 853 | 1 | 1 1698.67/1699.14 c 1699s | 23 | 12411667 | 3146538 | 9045 854 | 1 | 1 1700.67/1701.15 c 1701s | 23 | 12424260 | 3150138 | 9045 855 | 1 | 1 1702.67/1703.19 c 1703s | 23 | 12435751 | 3154238 | 9045 856 | 1 | 1 1704.77/1705.22 c 1705s | 23 | 12447012 | 3157838 | 9045 856 | 1 | 1 1706.78/1707.25 c 1707s | 23 | 12455163 | 3161438 | 9045 857 | 1 | 1 1708.77/1709.27 c 1709s | 23 | 12469642 | 3163538 | 9045 858 | 1 | 1 1710.77/1711.27 c 1711s | 23 | 12485279 | 3167438 | 9045 858 | 1 | 1 1712.87/1713.32 c 1713s | 23 | 12503769 | 3171038 | 9045 859 | 1 | 1 1714.87/1715.35 c 1715s | 23 | 12514356 | 3174438 | 9045 860 | 1 | 1 1716.87/1717.39 c 1717s | 23 | 12519842 | 3177638 | 9045 861 | 1 | 1 1718.97/1719.42 c 1719s | 23 | 12528297 | 3180938 | 9045 861 | 1 | 1 1720.97/1721.46 c 1721s | 23 | 12536958 | 3184338 | 9045 862 | 1 | 1 1722.97/1723.47 c 1723s | 23 | 12545952 | 3187938 | 9045 863 | 1 | 1 1724.97/1725.49 c 1725s | 23 | 12554075 | 3191338 | 9045 864 | 1 | 1 1727.07/1727.53 c 1727s | 23 | 12565156 | 3195138 | 9045 864 | 1 | 1 1729.27/1729.70 c 1729s | 23 | 12569912 | 3198038 | 9045 865 | 1 | 1 1731.27/1731.74 c 1731s | 23 | 12581603 | 3201738 | 9045 866 | 1 | 1 1733.27/1733.78 c 1733s | 23 | 12591764 | 3205438 | 9045 867 | 1 | 1 1735.37/1735.80 c 1735s | 23 | 12607349 | 3208938 | 9045 867 | 1 | 1 1737.36/1737.82 c 1737s | 23 | 12619286 | 3212538 | 9045 868 | 1 | 1 1739.36/1739.84 c 1739s | 23 | 12625603 | 3216138 | 9045 869 | 1 | 1 1741.36/1741.87 c 1741s | 23 | 12633903 | 3219338 | 9045 870 | 1 | 1 1743.36/1743.88 c 1743s | 23 | 12639500 | 3222638 | 9045 870 | 1 | 1 1745.46/1745.91 c 1745s | 23 | 12645975 | 3226038 | 9045 871 | 1 | 1 1747.47/1747.96 c 1747s | 23 | 12653312 | 3228838 | 9045 872 | 1 | 1 1749.56/1750.00 c 1749s | 23 | 12659839 | 3231538 | 9045 872 | 1 | 1 1751.56/1752.00 c 1751s | 23 | 12670957 | 3234838 | 9045 873 | 1 | 1 1753.56/1754.04 c 1753s | 23 | 12676431 | 3238238 | 9045 874 | 1 | 1 1755.56/1756.10 c 1756s | 23 | 12685464 | 3242038 | 9045 875 | 1 | 1 1757.66/1758.14 c 1758s | 23 | 12692032 | 3245738 | 9045 875 | 1 | 1 1759.67/1760.16 c 1760s | 23 | 12700853 | 3248738 | 9045 876 | 1 | 1 1761.66/1762.20 c 1762s | 23 | 12710233 | 3251838 | 9045 877 | 1 | 1 1763.76/1764.25 c 1764s | 23 | 12715176 | 3255438 | 9045 877 | 1 | 1 1765.76/1766.27 c 1766s | 23 | 12719735 | 3258938 | 9045 878 | 1 | 1 1767.86/1768.31 c 1768s | 23 | 12728343 | 3261938 | 9045 879 | 1 | 1 1769.86/1770.36 c 1770s | 23 | 12742340 | 3265038 | 9045 880 | 1 | 1 1771.86/1772.39 c 1772s | 23 | 12758670 | 3268538 | 9045 880 | 1 | 1 1773.96/1774.44 c 1774s | 23 | 12769309 | 3272438 | 9045 881 | 1 | 1 1775.96/1776.44 c 1776s | 23 | 12784553 | 3276138 | 9045 882 | 1 | 1 1777.95/1778.47 c 1778s | 23 | 12800744 | 3280238 | 9045 883 | 1 | 1 1779.95/1780.49 c 1780s | 23 | 12817515 | 3284438 | 9045 884 | 1 | 1 1782.05/1782.50 c 1782s | 23 | 12831112 | 3288438 | 9045 885 | 1 | 1 1784.05/1784.56 c 1784s | 23 | 12839550 | 3292338 | 9045 885 | 1 | 1 1786.15/1786.60 c 1786s | 23 | 12845825 | 3295838 | 9045 886 | 1 | 1 1788.16/1788.64 c 1788s | 23 | 12853741 | 3299438 | 9045 887 | 1 | 1 1790.36/1790.88 c 1790s | 23 | 12860909 | 3302538 | 9045 888 | 1 | 1 1792.45/1792.90 c 1792s | 23 | 12877483 | 3306238 | 9045 888 | 1 | 1 1794.45/1794.90 c 1794s | 23 | 12897155 | 3309838 | 9045 889 | 1 | 1 1796.45/1796.92 c 1796s | 23 | 12912886 | 3313538 | 9045 890 | 1 | 1 1798.45/1798.96 c 1798s | 23 | 12923392 | 3317238 | 9045 891 | 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-4106814-1466278912/watcher-4106814-1466278912 -o /tmp/evaluation-result-4106814-1466278912/solver-4106814-1466278912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106814-1466278912.opb pid=10445 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.14 2.02 3/173 10451 /proc/meminfo: memFree=31261120/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=498108 CPUtime=0 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 1817 0 0 0 0 0 0 0 20 0 4 0 29941333 510062592 1666 33554432000 4194304 16246674 140736890370656 140736890370080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 125039 1677 441 2943 0 121933 0 [pid=10451/tid=10452] ppid=10445 vsize=514492 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 526839808 1732 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=518588 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 531034112 1749 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=522684 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29941334 535228416 1763 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100115 s] /proc/loadavg: 2.12 2.14 2.02 3/173 10451 /proc/meminfo: memFree=31261120/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 24795 0 0 0 7 2 0 0 20 0 4 0 29941333 1247350784 24632 33554432000 4194304 16246674 140736890370656 140736890370080 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 304529 24638 790 2943 0 301423 0 [pid=10451/tid=10452] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 24643 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 24649 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 24656 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1218116 [startup+0.200471 s] /proc/loadavg: 2.12 2.14 2.02 3/173 10451 /proc/meminfo: memFree=31261120/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 48810 0 0 0 14 5 0 0 20 0 4 0 29941333 1247350784 48647 33554432000 4194304 16246674 140736890370656 140736890370080 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 304529 48655 790 2943 0 301423 0 [pid=10451/tid=10452] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 48662 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 48669 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 48679 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1218116 [startup+0.300438 s] /proc/loadavg: 2.12 2.14 2.02 3/173 10451 /proc/meminfo: memFree=31261120/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 73684 0 0 0 20 9 0 0 20 0 4 0 29941333 1247350784 73521 33554432000 4194304 16246674 140736890370656 140736890370080 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 304529 73531 790 2943 0 301423 0 [pid=10451/tid=10452] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 73537 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 73544 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 73550 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1218116 [startup+0.700358 s] /proc/loadavg: 2.12 2.14 2.02 3/173 10451 /proc/meminfo: memFree=31261120/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 177175 0 0 0 46 23 0 0 20 0 4 0 29941333 1247350784 177012 33554432000 4194304 16246674 140736890370656 140736890352576 5707789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 304529 177022 792 2943 0 301423 0 [pid=10451/tid=10452] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 177028 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 177035 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29941334 1247350784 177042 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1218116 [startup+1.50036 s] /proc/loadavg: 2.12 2.14 2.02 3/183 10475 /proc/meminfo: memFree=29898388/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1221188 CPUtime=1.48 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 246251 0 0 0 117 31 0 0 20 0 4 0 29941333 1250496512 246065 33554432000 4194304 16246674 140736890370656 140736890352576 5717604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 305297 246065 851 2943 0 302191 0 [pid=10451/tid=10452] ppid=10445 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1250496512 246065 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1250496512 246065 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1250496512 246065 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 1221188 [startup+3.10035 s] /proc/loadavg: 2.11 2.14 2.02 3/183 10475 /proc/meminfo: memFree=29117924/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1307204 CPUtime=3.09 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 267865 0 0 0 275 34 0 0 20 0 4 0 29941333 1338576896 267679 33554432000 4194304 16246674 140736890370656 140736890352576 5667272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 326801 267679 852 2943 0 323695 0 [pid=10451/tid=10452] ppid=10445 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1338576896 267679 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1338576896 267679 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1307204 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1338576896 267679 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1307204 [startup+6.30037 s] /proc/loadavg: 2.11 2.14 2.02 3/183 10475 /proc/meminfo: memFree=29110748/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1309252 CPUtime=6.28 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 268409 0 0 0 594 34 0 0 20 0 4 0 29941333 1340674048 268223 33554432000 4194304 16246674 140736890370656 140736890352576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 327313 268223 852 2943 0 324207 0 [pid=10451/tid=10452] ppid=10445 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1340674048 268223 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1340674048 268223 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1309252 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1340674048 268223 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 1309252 [startup+12.7004 s] /proc/loadavg: 2.09 2.13 2.02 3/183 10475 /proc/meminfo: memFree=29104588/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1315396 CPUtime=12.68 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 269860 0 0 0 1234 34 0 0 20 0 4 0 29941333 1346965504 269674 33554432000 4194304 16246674 140736890370656 140736890352576 6021624 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 328849 269674 852 2943 0 325743 0 [pid=10451/tid=10452] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269674 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269674 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269674 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 1315396 [startup+25.5005 s] /proc/loadavg: 2.08 2.13 2.02 3/183 10475 /proc/meminfo: memFree=29105604/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1315396 CPUtime=25.48 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 269945 0 0 0 2514 34 0 0 20 0 4 0 29941333 1346965504 269759 33554432000 4194304 16246674 140736890370656 140736890352576 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 328849 269759 852 2943 0 325743 0 [pid=10451/tid=10452] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269759 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269759 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1315396 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1346965504 269759 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.12 2.13 2.02 3/183 10475 /proc/meminfo: memFree=29100404/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1320516 CPUtime=51.08 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 271225 0 0 0 5073 35 0 0 20 0 4 0 29941333 1352208384 271039 33554432000 4194304 16246674 140736890370656 140736890352576 12477787 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 330129 271039 852 2943 0 327023 0 [pid=10451/tid=10452] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1320516 [startup+102.3 s] /proc/loadavg: 2.38 2.20 2.05 3/183 10476 /proc/meminfo: memFree=29100396/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1320516 CPUtime=102.28 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 271225 0 0 0 10193 35 0 0 20 0 4 0 29941333 1352208384 271039 33554432000 4194304 16246674 140736890370656 140736890368512 5600331 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 330129 271039 852 2943 0 327023 0 [pid=10451/tid=10452] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1320516 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1352208384 271039 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 1320516 ################ # More data... # ################ /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1330756 [startup+1362.3 s] /proc/loadavg: 2.12 2.10 2.09 3/183 10531 /proc/meminfo: memFree=29043740/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1361.92 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 136143 49 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 5823884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1330756 [startup+1422.3 s] /proc/loadavg: 2.15 2.11 2.09 3/183 10532 /proc/meminfo: memFree=29043828/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1421.92 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 142142 50 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1330756 [startup+1482.3 s] /proc/loadavg: 2.15 2.12 2.09 3/183 10534 /proc/meminfo: memFree=29009400/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1481.91 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 148140 51 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 13882295 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1330756 [startup+1542.31 s] /proc/loadavg: 2.13 2.12 2.09 3/183 10535 /proc/meminfo: memFree=29010012/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1541.9 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 154139 51 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1330756 [startup+1602.3 s] /proc/loadavg: 2.11 2.11 2.09 3/183 10536 /proc/meminfo: memFree=29009812/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1601.88 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 160136 52 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 13191431 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1330756 [startup+1662.3 s] /proc/loadavg: 2.29 2.16 2.10 3/183 10537 /proc/meminfo: memFree=29008856/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1661.88 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 166135 53 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 5823242 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1330756 [startup+1722.3 s] /proc/loadavg: 2.28 2.18 2.11 3/184 10541 /proc/meminfo: memFree=29010592/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1721.87 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 172133 54 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890369832 5723568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1330756 [startup+1782.3 s] /proc/loadavg: 2.19 2.17 2.11 3/183 10543 /proc/meminfo: memFree=29009860/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1781.85 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 178131 54 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890352576 5754700 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1330756 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.15 2.16 2.11 3/183 10543 /proc/meminfo: memFree=29010360/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1800.05 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 179951 54 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890368448 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1330756 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 10451 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.15 2.16 2.11 3/183 10543 /proc/meminfo: memFree=29010360/32872528 swapFree=526336/559040 [pid=10451] ppid=10445 vsize=1330756 CPUtime=1800.05 cores=0,2,4,6 /proc/10451/stat : 10451 (toysat) R 10445 10451 10280 0 -1 4202496 274151 0 0 0 179951 54 0 0 20 0 4 0 29941333 1362694144 273859 33554432000 4194304 16246674 140736890370656 140736890368448 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10451/statm: 332689 273859 854 2943 0 329583 0 [pid=10451/tid=10452] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10452/stat : 10452 (toysat) S 10445 10451 10280 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209447480560 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10451/tid=10453] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10453/stat : 10453 (toysat) S 10445 10451 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209436990704 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10451/tid=10454] ppid=10445 vsize=1330756 CPUtime=0 cores=0,2,4,6 /proc/10451/task/10454/stat : 10454 (toysat) S 10445 10451 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29941334 1362694144 273859 33554432000 4194304 16246674 140736890370656 140209426517168 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1330756 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.07 CPU user time (s): 1799.52 CPU system time (s): 0.549916 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1330756 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.52 system time used= 0.549916 maximum resident set size= 1095436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274151 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= 375 involuntary context switches= 1856 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.54431 second user time and 6.99394 second system time The end
Begin job on node106 at 2016-06-18 21:41:52 IDJOB=4106814 IDBENCH=48274 IDSOLVER=2542 FILE ID=node106/4106814-1466278912 RUNJOBID= node106-1466277111-10296 PBS_JOBID= 19918270 Free space on /tmp= 71684 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106814-1466278912/watcher-4106814-1466278912 -o /tmp/evaluation-result-4106814-1466278912/solver-4106814-1466278912 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10296 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106814-1466278912.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45 RANDOM SEED=1321610016 node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.073 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 31261284 kB Buffers: 102732 kB Cached: 200628 kB SwapCached: 1736 kB Active: 105056 kB Inactive: 202480 kB Active(anon): 3360 kB Inactive(anon): 3048 kB Active(file): 101696 kB Inactive(file): 199432 kB Unevictable: 559040 kB Mlocked: 526336 kB SwapTotal: 67108856 kB SwapFree: 67099160 kB Dirty: 16320 kB Writeback: 0 kB AnonPages: 601688 kB Mapped: 7172 kB Shmem: 0 kB Slab: 612612 kB SReclaimable: 56616 kB SUnreclaim: 555996 kB KernelStack: 1520 kB PageTables: 4744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 663328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71668 MiB End job on node106 at 2016-06-18 22:11:53