| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| toysat 2016-05-02 | ? (TO) | 1800.02 | 1800.51 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb |
| MD5SUM | c154cb0964ce03c2d199339cf62d0c63 |
| 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 | -29 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 301 |
| Number of constraints which are clauses | 100 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 201 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 200 |
| Number of terms in the objective function | 100 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 100 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2520 |
| Sum of products size (including duplicates) | 5040 |
| Number of different products | 1260 |
| Sum of products size | 2520 |
0.00/0.00 c 2016-06-18T21:16:50+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-4106763-1466277409.opb"] 0.00/0.01 c use --random-gen="839210611 869753881 2665734507 1337470894 2063680150 534030287 3663374583 484001848 2729910895 876820113 1516038462 924440746 179716415 855329047 2640193555 215463931 3061647829 4263394403 949553771 974727585 2510128461 2321165765 1027390352 1685067924 933992815 916288525 4048524249 1694015883 1029057846 1768948962 1144659710 1558534166 3828040818 3533088980 3685483743 1129914130 2895929373 3078845164 1852807602 994377524 2335363694 3492019163 1721790985 2639272135 3800234665 801488003 860512418 2596493195 3085455887 1959227604 1748320529 652793850 700423642 1762386006 690059815 293064974 1840821723 274475828 2543644646 432114913 927822585 1911146654 1404791761 4087112845 3402288012 1977506724 4083171995 2667561894 845371210 2739794258 2963421605 413162238 3858396508 3257571196 2625121335 1368870530 3819670448 572815864 2803695200 2074193904 3097672959 3382179476 1875155505 3949637570 4283619674 4067543706 252844586 3609684100 587449267 1541462512 2525300461 2147722975 1737817470 2129649118 4155545661 3341189500 3773908357 2822001893 3254236674 2003923789 760929248 1891976143 1529939731 1259194814 1763768926 3639632183 195840817 3466910034 1778277557 1104529253 3348612892 3590502516 3625191045 2154933525 1031226801 1524321455 1059397873 549174867 1051726439 3596792782 2312410918 511869702 3651253994 2042326542 2691869163 2419815113 2320287220 965996744 89234030 1271351247 3583838988 4015036050 248618046 1108776567 1648295948 2379393871 1742271161 1767889512 1182684816 1326106764 2729343298 3986622940 1186278110 2386739389 346914143 1527654410 3506243912 2200360291 4029859305 3042584104 3348688210 2562898049 141358417 2575356421 3306377132 3804486171 4007542562 3087866009 2109245794 1508892812 3869601307 382981227 482101326 2571863989 3582600757 2479068306 86266619 213059748 2893046680 1142200255 3857728527 2165555432 1389179787 3063677037 986465809 3148078676 2905859081 671385526 1599163159 2377141770 2766718722 1418987697 3822605394 2904618643 229965073 4091660090 1295340041 1768543404 635419890 2863483166 490752016 1419467532 3338014984 4099936894 3583407501 3661539673 1327228465 165097518 2003911784 3495652832 949266594 1923930851 4122928425 2010366418 827644052 4209621037 678815083 732944863 4001135821 4284791288 2732564224 2435716755 1503164238 955672689 1126445663 2211989646 2163095356 700630635 240076414 483245816 2599486108 3415288921 649696978 1809822772 1770052973 504458907 1191865645 3797506037 870016727 214598054 960052605 2835379716 1229378498 1371585094 2536052067 2596639789 3153507030 1459094930 2455113591 1299185301 449753709 3255406301 2253272877 833177143 1673866462 2070412729 213314206 3821307099 4049324727 4271075524 635409835 1781784153 2254061801 1688140303 1233149204 1787443597 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 | 1007 0 | 0 | 0 0.00/0.05 c 0.0s | 0 | 142 | 1 | 1007 0 | 0 | 0 0.00/0.05 c #cpu_time = 0.004s 0.00/0.05 c #wall_clock_time = 0.004s 0.00/0.05 c #decision = 142 0.00/0.05 c #random_decision = 0 0.00/0.05 c #conflict = 1 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.05 c BCD2: 0 <= obj <= 82 0.00/0.05 c BCD2: #cores=0, #unrelaxed=100, #relaxed=0, #hardened=0 0.00/0.05 c BCD2: #sat=1 #unsat=1 bias=1/2 0.00/0.05 c Solving starts ... 0.00/0.05 c ============================[ Search Statistics ]============================ 0.00/0.05 c Time | Restart | Decision | Conflict | LEARNT | Fixed | Removed 0.00/0.05 c | | | | Limit GC | Var | Constra 0.00/0.05 c ============================================================================= 0.00/0.05 c 0.0s | 0 | 0 | 0 | 1007 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 66 | 2 | 1007 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 = 66 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 | 1007 0 | 0 | 0 0.00/0.06 c 0.0s | 0 | 51 | 1 | 1007 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 | 1007 0 | 1 | 0 0.09/0.10 c 0.0s | 1 | 2377 | 100 | 1108 0 | 1 | 1 0.09/0.17 c 0.1s | 2 | 4443 | 250 | 1219 0 | 1 | 1 0.29/0.30 c 0.2s | 3 | 6123 | 475 | 1341 0 | 1 | 1 0.39/0.49 c 0.4s | 4 | 9894 | 813 | 1476 0 | 1 | 1 0.69/0.78 c 0.7s | 5 | 12664 | 1320 | 1624 0 | 1 | 1 1.10/1.17 c 1.1s | 6 | 19340 | 2081 | 1787 1 | 1 | 1 1.59/1.65 c 1.6s | 7 | 27958 | 3223 | 1966 2 | 1 | 1 2.49/2.50 c 2.4s | 8 | 33546 | 4936 | 2163 4 | 1 | 1 3.59/3.63 c 3.6s | 9 | 64187 | 7506 | 2380 6 | 1 | 1 5.09/5.16 c 5.1s | 10 | 107077 | 11361 | 2618 9 | 1 | 1 7.08/7.18 c 7.1s | 10 | 165468 | 16061 | 2618 12 | 1 | 1 7.58/7.64 c 7.6s | 11 | 178658 | 17144 | 2880 13 | 1 | 1 9.59/9.64 c 9.6s | 11 | 208771 | 21644 | 2880 16 | 1 | 1 11.39/11.42 c 11.4s | 12 | 257086 | 25819 | 3169 18 | 1 | 1 13.39/13.44 c 13.4s | 12 | 308360 | 30819 | 3169 21 | 1 | 1 15.40/15.46 c 15.4s | 12 | 338030 | 35819 | 3169 24 | 1 | 1 16.60/16.65 c 16.6s | 13 | 354263 | 38832 | 3486 26 | 1 | 1 18.59/18.65 c 18.6s | 13 | 408598 | 43732 | 3486 29 | 1 | 1 20.59/20.68 c 20.6s | 13 | 464053 | 49132 | 3486 32 | 1 | 1 22.59/22.69 c 22.6s | 13 | 511204 | 54332 | 3486 34 | 1 | 1 24.20/24.27 c 24.2s | 14 | 539481 | 58352 | 3835 36 | 1 | 1 26.19/26.27 c 26.2s | 14 | 572879 | 62752 | 3835 39 | 1 | 1 28.19/28.28 c 28.2s | 14 | 613468 | 67652 | 3835 41 | 1 | 1 30.19/30.29 c 30.2s | 14 | 633699 | 72252 | 3835 43 | 1 | 1 32.29/32.31 c 32.2s | 14 | 657837 | 76752 | 3835 46 | 1 | 1 34.29/34.36 c 34.3s | 14 | 677681 | 81452 | 3835 48 | 1 | 1 36.30/36.40 c 36.3s | 14 | 690293 | 85652 | 3835 50 | 1 | 1 37.29/37.30 c 37.2s | 15 | 706658 | 87632 | 4219 51 | 1 | 1 39.29/39.34 c 39.3s | 15 | 762511 | 92532 | 4219 53 | 1 | 1 41.29/41.37 c 41.3s | 15 | 794870 | 97432 | 4219 55 | 1 | 1 43.38/43.41 c 43.3s | 15 | 843529 | 102032 | 4219 58 | 1 | 1 45.38/45.45 c 45.4s | 15 | 875251 | 106432 | 4219 60 | 1 | 1 47.39/47.46 c 47.4s | 15 | 908824 | 110932 | 4219 62 | 1 | 1 49.38/49.47 c 49.4s | 15 | 926142 | 115032 | 4219 63 | 1 | 1 51.48/51.50 c 51.4s | 15 | 956028 | 119332 | 4219 65 | 1 | 1 53.48/53.52 c 53.5s | 15 | 975412 | 123932 | 4219 68 | 1 | 1 55.48/55.54 c 55.5s | 15 | 987677 | 128332 | 4219 69 | 1 | 1 57.19/57.24 c 57.2s | 16 | 999354 | 131552 | 4641 71 | 1 | 1 59.18/59.28 c 59.2s | 16 | 1041039 | 135652 | 4641 73 | 1 | 1 61.28/61.31 c 61.2s | 16 | 1054551 | 139552 | 4641 74 | 1 | 1 63.28/63.33 c 63.3s | 16 | 1083096 | 143652 | 4641 76 | 1 | 1 65.28/65.33 c 65.3s | 16 | 1118048 | 148152 | 4641 78 | 1 | 1 67.28/67.36 c 67.3s | 16 | 1132753 | 152552 | 4641 80 | 1 | 1 69.29/69.38 c 69.3s | 16 | 1155834 | 156452 | 4641 81 | 1 | 1 71.28/71.39 c 71.3s | 16 | 1183877 | 160552 | 4641 83 | 1 | 1 73.38/73.42 c 73.4s | 16 | 1205849 | 164652 | 4641 85 | 1 | 1 75.38/75.49 c 75.4s | 16 | 1230360 | 169152 | 4641 87 | 1 | 1 77.48/77.54 c 77.5s | 16 | 1244035 | 173252 | 4641 88 | 1 | 1 79.47/79.56 c 79.5s | 16 | 1274451 | 177452 | 4641 90 | 1 | 1 81.48/81.58 c 81.5s | 16 | 1299239 | 181852 | 4641 92 | 1 | 1 83.58/83.61 c 83.6s | 16 | 1307836 | 185952 | 4641 93 | 1 | 1 85.57/85.64 c 85.6s | 16 | 1331028 | 190052 | 4641 95 | 1 | 1 87.57/87.64 c 87.6s | 16 | 1349054 | 194252 | 4641 97 | 1 | 1 89.27/89.32 c 89.3s | 17 | 1364807 | 197432 | 5106 98 | 1 | 1 91.28/91.34 c 91.3s | 17 | 1376396 | 201132 | 5106 100 | 1 | 1 93.27/93.37 c 93.3s | 17 | 1391814 | 204832 | 5106 101 | 1 | 1 95.27/95.39 c 95.3s | 17 | 1409949 | 208432 | 5106 102 | 1 | 1 97.27/97.39 c 97.3s | 17 | 1428032 | 212232 | 5106 104 | 1 | 1 99.37/99.40 c 99.3s | 17 | 1442537 | 216232 | 5106 105 | 1 | 1 101.37/101.44 c 101s | 17 | 1449865 | 219832 | 5106 107 | 1 | 1 103.38/103.45 c 103s | 17 | 1458693 | 223632 | 5106 108 | 1 | 1 105.59/105.64 c 105s | 17 | 1466119 | 227432 | 5106 110 | 1 | 1 107.68/107.70 c 107s | 17 | 1487037 | 230632 | 5106 111 | 1 | 1 109.68/109.73 c 109s | 17 | 1504729 | 234532 | 5106 112 | 1 | 1 111.68/111.76 c 111s | 17 | 1528215 | 239032 | 5106 114 | 1 | 1 113.68/113.79 c 113s | 17 | 1565566 | 243032 | 5106 115 | 1 | 1 115.77/115.80 c 115s | 17 | 1598717 | 247332 | 5106 117 | 1 | 1 117.78/117.83 c 117s | 17 | 1639631 | 251732 | 5106 119 | 1 | 1 119.77/119.86 c 119s | 17 | 1689250 | 256132 | 5106 120 | 1 | 1 121.77/121.89 c 121s | 17 | 1709576 | 260032 | 5106 122 | 1 | 1 123.87/123.92 c 123s | 17 | 1729958 | 264432 | 5106 124 | 1 | 1 125.87/125.95 c 125s | 17 | 1760506 | 269232 | 5106 125 | 1 | 1 127.87/127.99 c 127s | 17 | 1781294 | 273432 | 5106 127 | 1 | 1 129.97/130.00 c 129s | 17 | 1792585 | 276932 | 5106 128 | 1 | 1 131.98/132.03 c 131s | 17 | 1804979 | 280632 | 5106 130 | 1 | 1 133.97/134.04 c 133s | 17 | 1833824 | 284832 | 5106 131 | 1 | 1 135.97/136.06 c 135s | 17 | 1858687 | 289032 | 5106 133 | 1 | 1 137.97/138.06 c 138s | 17 | 1892741 | 293632 | 5106 135 | 1 | 1 139.17/139.26 c 139s | 18 | 1906976 | 296252 | 5617 135 | 1 | 1 141.17/141.28 c 141s | 18 | 1932575 | 299952 | 5617 137 | 1 | 1 143.27/143.32 c 143s | 18 | 1953652 | 304252 | 5617 138 | 1 | 1 145.27/145.33 c 145s | 18 | 1980588 | 308352 | 5617 140 | 1 | 1 147.27/147.33 c 147s | 18 | 2003316 | 312652 | 5617 141 | 1 | 1 149.27/149.36 c 149s | 18 | 2013174 | 316552 | 5617 142 | 1 | 1 151.27/151.37 c 151s | 18 | 2025851 | 320152 | 5617 144 | 1 | 1 153.26/153.37 c 153s | 18 | 2040509 | 324152 | 5617 145 | 1 | 1 155.26/155.38 c 155s | 18 | 2065291 | 328352 | 5617 147 | 1 | 1 157.27/157.39 c 157s | 18 | 2081883 | 332452 | 5617 148 | 1 | 1 159.36/159.45 c 159s | 18 | 2093689 | 336052 | 5617 149 | 1 | 1 161.36/161.48 c 161s | 18 | 2102881 | 339952 | 5617 151 | 1 | 1 163.46/163.53 c 163s | 18 | 2117857 | 343652 | 5617 152 | 1 | 1 165.46/165.57 c 165s | 18 | 2138693 | 347452 | 5617 153 | 1 | 1 167.56/167.60 c 167s | 18 | 2159401 | 351252 | 5617 154 | 1 | 1 169.56/169.65 c 169s | 18 | 2179803 | 354852 | 5617 156 | 1 | 1 171.57/171.68 c 171s | 18 | 2202990 | 358552 | 5617 157 | 1 | 1 173.56/173.68 c 173s | 18 | 2224524 | 362452 | 5617 158 | 1 | 1 175.66/175.71 c 175s | 18 | 2235555 | 366052 | 5617 159 | 1 | 1 177.67/177.72 c 177s | 18 | 2245660 | 369652 | 5617 161 | 1 | 1 179.67/179.77 c 179s | 18 | 2271486 | 373452 | 5617 162 | 1 | 1 181.66/181.79 c 181s | 18 | 2286964 | 377152 | 5617 163 | 1 | 1 183.77/183.82 c 183s | 18 | 2306048 | 381452 | 5617 165 | 1 | 1 185.76/185.87 c 185s | 18 | 2316683 | 385352 | 5617 166 | 1 | 1 187.86/187.94 c 187s | 18 | 2341520 | 389252 | 5617 168 | 1 | 1 189.86/189.98 c 189s | 18 | 2357333 | 393352 | 5617 169 | 1 | 1 191.96/192.01 c 191s | 18 | 2381583 | 397852 | 5617 170 | 1 | 1 193.96/194.01 c 193s | 18 | 2391462 | 401752 | 5617 172 | 1 | 1 195.96/196.04 c 195s | 18 | 2404451 | 405152 | 5617 173 | 1 | 1 197.97/198.05 c 197s | 18 | 2423155 | 408852 | 5617 174 | 1 | 1 199.96/200.09 c 200s | 18 | 2431277 | 412552 | 5617 176 | 1 | 1 202.06/202.17 c 202s | 18 | 2448873 | 416052 | 5617 177 | 1 | 1 204.16/204.21 c 204s | 18 | 2475342 | 420352 | 5617 178 | 1 | 1 206.16/206.24 c 206s | 18 | 2506198 | 424552 | 5617 180 | 1 | 1 208.16/208.30 c 208s | 18 | 2534859 | 428852 | 5617 181 | 1 | 1 210.26/210.33 c 210s | 18 | 2564061 | 433052 | 5617 183 | 1 | 1 212.26/212.34 c 212s | 18 | 2605779 | 437552 | 5617 184 | 1 | 1 214.26/214.35 c 214s | 18 | 2629580 | 441552 | 6179 186 | 1 | 1 215.46/215.58 c 215s | 19 | 2645494 | 444482 | 6179 186 | 1 | 1 217.56/217.63 c 217s | 19 | 2665394 | 448082 | 6179 188 | 1 | 1 219.56/219.63 c 219s | 19 | 2704520 | 452482 | 6179 189 | 1 | 1 221.56/221.65 c 221s | 19 | 2740641 | 457182 | 6179 190 | 1 | 1 223.56/223.66 c 223s | 19 | 2771951 | 461582 | 6179 192 | 1 | 1 225.65/225.71 c 225s | 19 | 2787009 | 465982 | 6179 193 | 1 | 1 227.66/227.76 c 227s | 19 | 2816881 | 469382 | 6179 194 | 1 | 1 229.75/229.85 c 229s | 19 | 2825707 | 473282 | 6179 196 | 1 | 1 231.75/231.88 c 231s | 19 | 2841284 | 477282 | 6179 197 | 1 | 1 233.85/233.90 c 233s | 19 | 2853222 | 481282 | 6179 198 | 1 | 1 235.85/235.91 c 235s | 19 | 2865206 | 484782 | 6179 199 | 1 | 1 237.85/237.95 c 237s | 19 | 2891566 | 488382 | 6179 200 | 1 | 1 239.86/239.96 c 239s | 19 | 2911744 | 492582 | 6179 202 | 1 | 1 241.85/241.98 c 241s | 19 | 2941196 | 496382 | 6179 203 | 1 | 1 243.95/244.00 c 243s | 19 | 2974571 | 500282 | 6179 204 | 1 | 1 245.95/246.01 c 245s | 19 | 3004038 | 504582 | 6179 205 | 1 | 1 247.95/248.03 c 247s | 19 | 3029732 | 508482 | 6179 207 | 1 | 1 249.95/250.06 c 250s | 19 | 3044929 | 512582 | 6179 208 | 1 | 1 251.96/252.07 c 252s | 19 | 3060397 | 516282 | 6179 209 | 1 | 1 254.05/254.11 c 254s | 19 | 3092021 | 520582 | 6179 210 | 1 | 1 256.05/256.12 c 256s | 19 | 3123881 | 524982 | 6179 212 | 1 | 1 258.05/258.17 c 258s | 19 | 3140048 | 529582 | 6179 213 | 1 | 1 260.05/260.18 c 260s | 19 | 3167977 | 533982 | 6179 215 | 1 | 1 262.15/262.20 c 262s | 19 | 3205284 | 538082 | 6179 216 | 1 | 1 264.15/264.20 c 264s | 19 | 3228726 | 542382 | 6179 217 | 1 | 1 266.16/266.23 c 266s | 19 | 3251961 | 547082 | 6179 219 | 1 | 1 268.15/268.28 c 268s | 19 | 3268587 | 551482 | 6179 220 | 1 | 1 270.25/270.32 c 270s | 19 | 3296857 | 556182 | 6179 222 | 1 | 1 272.25/272.33 c 272s | 19 | 3308485 | 560282 | 6179 223 | 1 | 1 274.25/274.38 c 274s | 19 | 3324404 | 564482 | 6179 224 | 1 | 1 276.35/276.43 c 276s | 19 | 3332652 | 568282 | 6179 225 | 1 | 1 278.36/278.43 c 278s | 19 | 3339543 | 571882 | 6179 227 | 1 | 1 280.35/280.46 c 280s | 19 | 3360276 | 575882 | 6179 228 | 1 | 1 282.35/282.47 c 282s | 19 | 3397522 | 579682 | 6179 229 | 1 | 1 284.45/284.52 c 284s | 19 | 3423865 | 583982 | 6179 230 | 1 | 1 286.44/286.55 c 286s | 19 | 3442247 | 587782 | 6179 232 | 1 | 1 288.44/288.58 c 288s | 19 | 3460967 | 592182 | 6179 233 | 1 | 1 290.54/290.60 c 290s | 19 | 3472457 | 596282 | 6179 234 | 1 | 1 292.44/292.60 c 292s | 19 | 3501345 | 599782 | 6179 235 | 1 | 1 294.54/294.66 c 294s | 19 | 3521972 | 603682 | 6179 237 | 1 | 1 296.64/296.70 c 296s | 19 | 3545061 | 607382 | 6179 238 | 1 | 1 298.64/298.74 c 298s | 19 | 3570212 | 611582 | 6179 239 | 1 | 1 300.64/300.75 c 300s | 19 | 3589188 | 615582 | 6179 240 | 1 | 1 302.64/302.78 c 302s | 19 | 3603604 | 619482 | 6179 242 | 1 | 1 304.65/304.78 c 304s | 19 | 3627914 | 623582 | 6179 243 | 1 | 1 306.74/306.82 c 306s | 19 | 3643787 | 627682 | 6179 244 | 1 | 1 308.74/308.86 c 308s | 19 | 3669713 | 631982 | 6179 245 | 1 | 1 310.74/310.89 c 310s | 19 | 3701867 | 636582 | 6179 247 | 1 | 1 312.74/312.90 c 312s | 19 | 3727113 | 640982 | 6179 248 | 1 | 1 314.84/314.90 c 314s | 19 | 3761325 | 645782 | 6179 250 | 1 | 1 316.74/316.90 c 316s | 19 | 3782790 | 650482 | 6179 251 | 1 | 1 319.05/319.16 c 319s | 19 | 3795737 | 654582 | 6179 253 | 1 | 1 321.15/321.21 c 321s | 19 | 3811913 | 658982 | 6179 254 | 1 | 1 323.15/323.23 c 323s | 19 | 3820372 | 662582 | 6797 255 | 1 | 1 325.15/325.24 c 325s | 19 | 3830108 | 666782 | 6797 256 | 1 | 1 325.15/325.26 c 325s | 20 | 3830161 | 666827 | 6797 256 | 1 | 1 327.15/327.29 c 327s | 20 | 3857462 | 670327 | 6797 257 | 1 | 1 329.15/329.29 c 329s | 20 | 3881524 | 674627 | 6797 258 | 1 | 1 331.24/331.33 c 331s | 20 | 3906183 | 678527 | 6797 260 | 1 | 1 333.25/333.39 c 333s | 20 | 3927853 | 682727 | 6797 261 | 1 | 1 335.34/335.43 c 335s | 20 | 3937153 | 686427 | 6797 262 | 1 | 1 337.34/337.45 c 337s | 20 | 3948348 | 690427 | 6797 263 | 1 | 1 339.34/339.46 c 339s | 20 | 3961927 | 694427 | 6797 264 | 1 | 1 341.34/341.49 c 341s | 20 | 3991443 | 698527 | 6797 265 | 1 | 1 343.44/343.51 c 343s | 20 | 4022165 | 702827 | 6797 266 | 1 | 1 345.45/345.53 c 345s | 20 | 4033601 | 706427 | 6797 268 | 1 | 1 347.44/347.57 c 347s | 20 | 4046254 | 710827 | 6797 269 | 1 | 1 349.44/349.57 c 349s | 20 | 4077106 | 714627 | 6797 270 | 1 | 1 351.54/351.60 c 351s | 20 | 4103586 | 718627 | 6797 271 | 1 | 1 353.54/353.62 c 353s | 20 | 4125429 | 722727 | 6797 272 | 1 | 1 355.54/355.63 c 355s | 20 | 4139573 | 726527 | 6797 273 | 1 | 1 357.54/357.69 c 357s | 20 | 4173478 | 730527 | 6797 274 | 1 | 1 359.54/359.70 c 359s | 20 | 4203351 | 735027 | 6797 276 | 1 | 1 361.64/361.71 c 361s | 20 | 4234567 | 739527 | 6797 277 | 1 | 1 363.64/363.72 c 363s | 20 | 4247500 | 743627 | 6797 278 | 1 | 1 365.64/365.73 c 365s | 20 | 4278670 | 748127 | 6797 279 | 1 | 1 367.64/367.77 c 367s | 20 | 4298289 | 752527 | 6797 281 | 1 | 1 369.64/369.78 c 369s | 20 | 4312027 | 756627 | 6797 282 | 1 | 1 371.74/371.80 c 371s | 20 | 4325873 | 760927 | 6797 283 | 1 | 1 373.73/373.81 c 373s | 20 | 4333472 | 764227 | 6797 284 | 1 | 1 375.73/375.86 c 375s | 20 | 4355731 | 767727 | 6797 285 | 1 | 1 377.73/377.88 c 377s | 20 | 4369377 | 771427 | 6797 286 | 1 | 1 379.73/379.88 c 379s | 20 | 4390253 | 774927 | 6797 287 | 1 | 1 381.83/381.93 c 381s | 20 | 4406540 | 778627 | 6797 288 | 1 | 1 383.84/383.96 c 383s | 20 | 4423368 | 782927 | 6797 289 | 1 | 1 385.93/386.00 c 385s | 20 | 4429422 | 786127 | 6797 290 | 1 | 1 387.93/388.02 c 387s | 20 | 4447981 | 790427 | 6797 292 | 1 | 1 389.93/390.07 c 390s | 20 | 4464229 | 794527 | 6797 293 | 1 | 1 391.93/392.08 c 392s | 20 | 4479426 | 798527 | 6797 294 | 1 | 1 394.03/394.11 c 394s | 20 | 4495293 | 802827 | 6797 295 | 1 | 1 396.03/396.14 c 396s | 20 | 4507589 | 807027 | 6797 296 | 1 | 1 398.03/398.19 c 398s | 20 | 4515661 | 810927 | 6797 297 | 1 | 1 400.13/400.21 c 400s | 20 | 4544147 | 814727 | 6797 298 | 1 | 1 402.12/402.25 c 402s | 20 | 4595873 | 818427 | 6797 300 | 1 | 1 404.12/404.26 c 404s | 20 | 4643751 | 823227 | 6797 301 | 1 | 1 406.12/406.27 c 406s | 20 | 4688323 | 827827 | 6797 302 | 1 | 1 408.13/408.27 c 408s | 20 | 4719795 | 832527 | 6797 304 | 1 | 1 410.23/410.31 c 410s | 20 | 4744180 | 837027 | 6797 305 | 1 | 1 412.22/412.35 c 412s | 20 | 4754450 | 840727 | 6797 306 | 1 | 1 414.23/414.35 c 414s | 20 | 4778766 | 845327 | 6797 307 | 1 | 1 416.23/416.38 c 416s | 20 | 4800498 | 849927 | 6797 309 | 1 | 1 418.33/418.40 c 418s | 20 | 4812816 | 854227 | 6797 310 | 1 | 1 420.33/420.40 c 420s | 20 | 4824689 | 858427 | 6797 311 | 1 | 1 422.34/422.45 c 422s | 20 | 4834493 | 862627 | 6797 312 | 1 | 1 424.33/424.45 c 424s | 20 | 4854824 | 866227 | 6797 313 | 1 | 1 426.43/426.52 c 426s | 20 | 4877058 | 870727 | 6797 315 | 1 | 1 428.43/428.52 c 428s | 20 | 4892205 | 874627 | 6797 316 | 1 | 1 430.43/430.54 c 430s | 20 | 4921839 | 879027 | 6797 317 | 1 | 1 432.43/432.57 c 432s | 20 | 4943236 | 883327 | 6797 318 | 1 | 1 434.54/434.61 c 434s | 20 | 4962556 | 887527 | 6797 319 | 1 | 1 436.53/436.62 c 436s | 20 | 4987542 | 891827 | 6797 321 | 1 | 1 438.53/438.64 c 438s | 20 | 5001739 | 895827 | 6797 322 | 1 | 1 440.53/440.66 c 440s | 20 | 5040476 | 900327 | 6797 323 | 1 | 1 442.53/442.68 c 442s | 20 | 5072295 | 905027 | 6797 324 | 1 | 1 444.63/444.71 c 444s | 20 | 5092660 | 909427 | 6797 326 | 1 | 1 446.63/446.74 c 446s | 20 | 5103624 | 913227 | 6797 327 | 1 | 1 448.62/448.77 c 448s | 20 | 5120402 | 917927 | 6797 328 | 1 | 1 450.62/450.78 c 450s | 20 | 5131500 | 922027 | 6797 329 | 1 | 1 452.72/452.80 c 452s | 20 | 5147824 | 926427 | 6797 330 | 1 | 1 454.72/454.83 c 454s | 20 | 5167314 | 930527 | 6797 332 | 1 | 1 456.72/456.83 c 456s | 20 | 5190853 | 935527 | 6797 333 | 1 | 1 458.73/458.85 c 458s | 20 | 5224308 | 940227 | 6797 334 | 1 | 1 460.72/460.88 c 460s | 20 | 5255088 | 945227 | 6797 336 | 1 | 1 462.82/462.91 c 462s | 20 | 5280071 | 950127 | 6797 337 | 1 | 1 464.82/464.95 c 464s | 20 | 5306711 | 954627 | 6797 338 | 1 | 1 466.82/466.97 c 466s | 20 | 5331363 | 959627 | 6797 340 | 1 | 1 468.82/468.98 c 468s | 20 | 5350973 | 964227 | 6797 341 | 1 | 1 470.92/471.00 c 470s | 20 | 5370858 | 968827 | 6797 343 | 1 | 1 472.93/473.05 c 472s | 20 | 5385285 | 973227 | 6797 344 | 1 | 1 474.92/475.06 c 475s | 20 | 5394639 | 977327 | 6797 345 | 1 | 1 476.92/477.07 c 477s | 20 | 5407706 | 981127 | 6797 346 | 1 | 1 479.02/479.10 c 479s | 20 | 5428654 | 985927 | 6797 347 | 1 | 1 481.02/481.12 c 481s | 20 | 5448914 | 990827 | 6797 349 | 1 | 1 483.02/483.13 c 483s | 20 | 5463572 | 995227 | 7477 350 | 1 | 1 485.02/485.16 c 485s | 20 | 5476918 | 1000027 | 7477 351 | 1 | 1 485.22/485.30 c 485s | 21 | 5477639 | 1000345 | 7477 351 | 1 | 1 487.32/487.45 c 487s | 21 | 5496871 | 1004145 | 7477 352 | 1 | 1 489.42/489.53 c 489s | 21 | 5548963 | 1008745 | 7477 354 | 1 | 1 491.41/491.56 c 491s | 21 | 5579411 | 1012945 | 7477 355 | 1 | 1 493.41/493.57 c 493s | 21 | 5613889 | 1017545 | 7477 356 | 1 | 1 495.51/495.62 c 495s | 21 | 5636946 | 1022045 | 7477 357 | 1 | 1 497.51/497.63 c 497s | 21 | 5651604 | 1025745 | 7477 358 | 1 | 1 499.51/499.65 c 499s | 21 | 5682809 | 1030445 | 7477 359 | 1 | 1 501.52/501.66 c 501s | 21 | 5700504 | 1034245 | 7477 360 | 1 | 1 503.51/503.69 c 503s | 21 | 5739789 | 1039045 | 7477 361 | 1 | 1 505.61/505.71 c 505s | 21 | 5766806 | 1043445 | 7477 363 | 1 | 1 507.61/507.74 c 507s | 21 | 5803438 | 1047845 | 7477 364 | 1 | 1 509.61/509.77 c 509s | 21 | 5834673 | 1052645 | 7477 365 | 1 | 1 511.71/511.80 c 511s | 21 | 5857295 | 1057345 | 7477 366 | 1 | 1 513.72/513.81 c 513s | 21 | 5869613 | 1060845 | 7477 367 | 1 | 1 515.71/515.85 c 515s | 21 | 5888563 | 1065145 | 7477 368 | 1 | 1 517.71/517.89 c 517s | 21 | 5905487 | 1069745 | 7477 369 | 1 | 1 519.81/519.91 c 519s | 21 | 5930172 | 1074145 | 7477 371 | 1 | 1 521.81/521.92 c 521s | 21 | 5950721 | 1078745 | 7477 372 | 1 | 1 523.81/523.92 c 523s | 21 | 5959543 | 1082645 | 7477 373 | 1 | 1 525.81/525.95 c 525s | 21 | 5968247 | 1086545 | 7477 374 | 1 | 1 528.31/528.42 c 528s | 21 | 5981046 | 1090845 | 7477 375 | 1 | 1 530.31/530.44 c 530s | 21 | 6032840 | 1094545 | 7477 376 | 1 | 1 532.32/532.44 c 532s | 21 | 6068048 | 1099045 | 7477 377 | 1 | 1 534.31/534.45 c 534s | 21 | 6103049 | 1103345 | 7477 378 | 1 | 1 536.41/536.52 c 536s | 21 | 6143915 | 1108145 | 7477 380 | 1 | 1 538.41/538.55 c 538s | 21 | 6160227 | 1112745 | 7477 381 | 1 | 1 540.51/540.67 c 540s | 21 | 6182614 | 1116945 | 7477 382 | 1 | 1 542.51/542.68 c 542s | 21 | 6209346 | 1121445 | 7477 383 | 1 | 1 544.61/544.70 c 544s | 21 | 6215761 | 1124745 | 7477 384 | 1 | 1 546.62/546.73 c 546s | 21 | 6238101 | 1129145 | 7477 385 | 1 | 1 548.61/548.74 c 548s | 21 | 6264199 | 1133845 | 7477 386 | 1 | 1 550.61/550.75 c 550s | 21 | 6279638 | 1138145 | 7477 387 | 1 | 1 552.61/552.76 c 552s | 21 | 6290273 | 1142245 | 7477 388 | 1 | 1 554.61/554.77 c 554s | 21 | 6300632 | 1145745 | 7477 389 | 1 | 1 556.71/556.83 c 556s | 21 | 6325832 | 1150245 | 7477 391 | 1 | 1 558.71/558.86 c 558s | 21 | 6360487 | 1155145 | 7477 392 | 1 | 1 560.71/560.89 c 560s | 21 | 6380010 | 1159745 | 7477 393 | 1 | 1 562.81/562.91 c 562s | 21 | 6412023 | 1164245 | 7477 394 | 1 | 1 564.81/564.94 c 564s | 21 | 6440593 | 1168645 | 7477 395 | 1 | 1 566.81/566.97 c 566s | 21 | 6461349 | 1172745 | 7477 396 | 1 | 1 568.81/568.98 c 568s | 21 | 6478435 | 1177045 | 7477 398 | 1 | 1 570.91/571.02 c 570s | 21 | 6509013 | 1181645 | 7477 399 | 1 | 1 572.90/573.06 c 572s | 21 | 6526079 | 1186045 | 7477 400 | 1 | 1 574.90/575.06 c 574s | 21 | 6540157 | 1190545 | 7477 401 | 1 | 1 576.90/577.09 c 577s | 21 | 6552253 | 1194745 | 7477 402 | 1 | 1 579.00/579.12 c 579s | 21 | 6564911 | 1198045 | 7477 403 | 1 | 1 581.00/581.15 c 581s | 21 | 6584651 | 1202145 | 7477 404 | 1 | 1 583.01/583.16 c 583s | 21 | 6604345 | 1206445 | 7477 405 | 1 | 1 585.00/585.20 c 585s | 21 | 6629268 | 1210745 | 7477 406 | 1 | 1 587.10/587.24 c 587s | 21 | 6656979 | 1214945 | 7477 407 | 1 | 1 589.10/589.26 c 589s | 21 | 6684363 | 1219445 | 7477 409 | 1 | 1 591.10/591.29 c 591s | 21 | 6698043 | 1223545 | 7477 410 | 1 | 1 593.20/593.32 c 593s | 21 | 6711230 | 1227045 | 7477 411 | 1 | 1 595.20/595.34 c 595s | 21 | 6725762 | 1231445 | 7477 412 | 1 | 1 597.20/597.35 c 597s | 21 | 6738019 | 1235945 | 7477 413 | 1 | 1 599.20/599.39 c 599s | 21 | 6748091 | 1240345 | 7477 414 | 1 | 1 601.29/601.44 c 601s | 21 | 6765759 | 1244045 | 7477 415 | 1 | 1 603.30/603.45 c 603s | 21 | 6786694 | 1248445 | 7477 416 | 1 | 1 605.40/605.50 c 605s | 21 | 6797443 | 1252545 | 7477 417 | 1 | 1 607.40/607.51 c 607s | 21 | 6814755 | 1256545 | 7477 418 | 1 | 1 609.41/609.55 c 609s | 21 | 6831466 | 1260345 | 7477 419 | 1 | 1 611.40/611.57 c 611s | 21 | 6840456 | 1264045 | 7477 420 | 1 | 1 613.50/613.61 c 613s | 21 | 6849324 | 1267945 | 7477 421 | 1 | 1 615.50/615.64 c 615s | 21 | 6859974 | 1271445 | 7477 422 | 1 | 1 617.50/617.68 c 617s | 21 | 6867641 | 1275245 | 7477 423 | 1 | 1 619.60/619.72 c 619s | 21 | 6875949 | 1278845 | 7477 424 | 1 | 1 621.60/621.72 c 621s | 21 | 6884386 | 1282545 | 7477 425 | 1 | 1 623.61/623.76 c 623s | 21 | 6891775 | 1286445 | 7477 426 | 1 | 1 625.60/625.77 c 625s | 21 | 6896771 | 1289945 | 7477 427 | 1 | 1 627.60/627.78 c 627s | 21 | 6902301 | 1292945 | 7477 428 | 1 | 1 629.70/629.83 c 629s | 21 | 6911776 | 1296545 | 7477 429 | 1 | 1 631.70/631.87 c 631s | 21 | 6921424 | 1300345 | 7477 430 | 1 | 1 633.70/633.88 c 633s | 21 | 6926727 | 1303845 | 7477 431 | 1 | 1 635.80/635.94 c 635s | 21 | 6936690 | 1307445 | 7477 431 | 1 | 1 637.80/637.96 c 637s | 21 | 6944734 | 1310945 | 7477 432 | 1 | 1 639.79/639.99 c 639s | 21 | 6949460 | 1314345 | 7477 433 | 1 | 1 641.89/642.04 c 641s | 21 | 6955168 | 1317845 | 7477 434 | 1 | 1 643.89/644.06 c 643s | 21 | 6964543 | 1321145 | 7477 435 | 1 | 1 645.89/646.06 c 645s | 21 | 6974784 | 1325045 | 7477 436 | 1 | 1 647.90/648.07 c 648s | 21 | 6986478 | 1329045 | 7477 437 | 1 | 1 650.00/650.12 c 650s | 21 | 6993508 | 1333045 | 7477 438 | 1 | 1 651.99/652.15 c 652s | 21 | 7003684 | 1336645 | 7477 439 | 1 | 1 653.99/654.15 c 654s | 21 | 7036769 | 1340245 | 7477 440 | 1 | 1 655.99/656.17 c 656s | 21 | 7081831 | 1344645 | 7477 441 | 1 | 1 658.09/658.21 c 658s | 21 | 7112740 | 1349245 | 7477 442 | 1 | 1 660.09/660.22 c 660s | 21 | 7138883 | 1353345 | 7477 443 | 1 | 1 662.10/662.23 c 662s | 21 | 7178981 | 1357845 | 7477 445 | 1 | 1 664.09/664.26 c 664s | 21 | 7200869 | 1362345 | 7477 446 | 1 | 1 666.19/666.32 c 666s | 21 | 7212392 | 1365945 | 7477 447 | 1 | 1 668.19/668.32 c 668s | 21 | 7236162 | 1370245 | 7477 448 | 1 | 1 670.19/670.32 c 670s | 21 | 7259942 | 1374445 | 7477 449 | 1 | 1 672.19/672.33 c 672s | 21 | 7280363 | 1378445 | 7477 450 | 1 | 1 674.19/674.35 c 674s | 21 | 7292745 | 1382545 | 7477 451 | 1 | 1 676.29/676.40 c 676s | 21 | 7308744 | 1386245 | 7477 452 | 1 | 1 678.28/678.41 c 678s | 21 | 7324755 | 1390345 | 7477 453 | 1 | 1 680.28/680.42 c 680s | 21 | 7336666 | 1394145 | 7477 454 | 1 | 1 682.28/682.44 c 682s | 21 | 7348588 | 1398045 | 7477 455 | 1 | 1 684.28/684.48 c 684s | 21 | 7358382 | 1402145 | 7477 456 | 1 | 1 686.29/686.49 c 686s | 21 | 7370664 | 1404945 | 7477 457 | 1 | 1 688.38/688.51 c 688s | 21 | 7394897 | 1409345 | 7477 458 | 1 | 1 690.38/690.56 c 690s | 21 | 7418568 | 1413845 | 7477 459 | 1 | 1 692.48/692.62 c 692s | 21 | 7439674 | 1418345 | 7477 460 | 1 | 1 694.48/694.65 c 694s | 21 | 7448823 | 1422145 | 7477 461 | 1 | 1 696.48/696.69 c 696s | 21 | 7458560 | 1426445 | 7477 463 | 1 | 1 698.59/698.70 c 698s | 21 | 7471184 | 1430645 | 7477 464 | 1 | 1 700.60/700.74 c 700s | 21 | 7489997 | 1434945 | 7477 465 | 1 | 1 702.59/702.74 c 702s | 21 | 7504848 | 1438745 | 7477 466 | 1 | 1 704.59/704.78 c 704s | 21 | 7522919 | 1442545 | 7477 467 | 1 | 1 706.69/706.83 c 706s | 21 | 7552067 | 1447245 | 7477 468 | 1 | 1 708.69/708.83 c 708s | 21 | 7575071 | 1451545 | 7477 469 | 1 | 1 710.69/710.84 c 710s | 21 | 7603401 | 1456045 | 7477 470 | 1 | 1 712.69/712.85 c 712s | 21 | 7625770 | 1460645 | 7477 471 | 1 | 1 714.69/714.88 c 714s | 21 | 7660580 | 1464945 | 7477 473 | 1 | 1 716.79/716.91 c 716s | 21 | 7679958 | 1469145 | 7477 474 | 1 | 1 718.79/718.92 c 718s | 21 | 7689617 | 1473045 | 7477 475 | 1 | 1 720.79/720.93 c 720s | 21 | 7706435 | 1477145 | 7477 476 | 1 | 1 722.79/722.96 c 722s | 21 | 7718122 | 1481445 | 7477 477 | 1 | 1 724.89/725.01 c 724s | 21 | 7731364 | 1485145 | 7477 478 | 1 | 1 726.88/727.04 c 726s | 21 | 7748735 | 1488945 | 7477 479 | 1 | 1 728.88/729.07 c 729s | 21 | 7762189 | 1493245 | 8225 480 | 1 | 1 730.98/731.11 c 731s | 21 | 7785572 | 1497445 | 8225 481 | 1 | 1 732.49/732.65 c 732s | 22 | 7797701 | 1500622 | 8225 481 | 1 | 1 734.48/734.67 c 734s | 22 | 7827944 | 1503922 | 8225 482 | 1 | 1 736.48/736.69 c 736s | 22 | 7856941 | 1507722 | 8225 483 | 1 | 1 738.58/738.73 c 738s | 22 | 7898908 | 1511922 | 8225 484 | 1 | 1 740.58/740.78 c 740s | 22 | 7947372 | 1516322 | 8225 485 | 1 | 1 742.68/742.82 c 742s | 22 | 7988255 | 1520722 | 8225 486 | 1 | 1 744.69/744.83 c 744s | 22 | 8003863 | 1524822 | 8225 487 | 1 | 1 746.68/746.87 c 746s | 22 | 8028707 | 1528722 | 8225 488 | 1 | 1 748.78/748.90 c 748s | 22 | 8042570 | 1532722 | 8225 489 | 1 | 1 750.78/750.92 c 750s | 22 | 8060807 | 1536422 | 8225 490 | 1 | 1 752.78/752.93 c 752s | 22 | 8073512 | 1540222 | 8225 491 | 1 | 1 754.78/754.94 c 754s | 22 | 8084471 | 1544222 | 8225 492 | 1 | 1 756.78/756.98 c 756s | 22 | 8103835 | 1548522 | 8225 493 | 1 | 1 758.78/758.99 c 758s | 22 | 8117243 | 1552922 | 8225 494 | 1 | 1 760.87/761.05 c 760s | 22 | 8123185 | 1555922 | 8225 495 | 1 | 1 762.87/763.06 c 763s | 22 | 8130371 | 1559722 | 8225 496 | 1 | 1 764.97/765.11 c 765s | 22 | 8164035 | 1564022 | 8225 497 | 1 | 1 766.97/767.14 c 767s | 22 | 8202140 | 1568322 | 8225 498 | 1 | 1 768.97/769.14 c 769s | 22 | 8217552 | 1572122 | 8225 498 | 1 | 1 770.98/771.15 c 771s | 22 | 8227986 | 1575922 | 8225 499 | 1 | 1 772.97/773.18 c 773s | 22 | 8240770 | 1579822 | 8225 500 | 1 | 1 774.97/775.19 c 775s | 22 | 8245407 | 1582822 | 8225 501 | 1 | 1 777.08/777.23 c 777s | 22 | 8253288 | 1586822 | 8225 502 | 1 | 1 779.08/779.28 c 779s | 22 | 8261571 | 1590522 | 8225 503 | 1 | 1 781.08/781.29 c 781s | 22 | 8276087 | 1593922 | 8225 504 | 1 | 1 783.18/783.32 c 783s | 22 | 8305679 | 1597422 | 8225 504 | 1 | 1 785.17/785.35 c 785s | 22 | 8320776 | 1601322 | 8225 505 | 1 | 1 787.17/787.38 c 787s | 22 | 8338823 | 1605222 | 8225 506 | 1 | 1 789.27/789.40 c 789s | 22 | 8363741 | 1609122 | 8225 507 | 1 | 1 791.27/791.44 c 791s | 22 | 8372226 | 1613122 | 8225 508 | 1 | 1 793.27/793.46 c 793s | 22 | 8381139 | 1616222 | 8225 509 | 1 | 1 795.28/795.48 c 795s | 22 | 8393348 | 1619922 | 8225 510 | 1 | 1 797.38/797.51 c 797s | 22 | 8406497 | 1623722 | 8225 511 | 1 | 1 799.47/799.60 c 799s | 22 | 8413571 | 1627022 | 8225 512 | 1 | 1 801.47/801.65 c 801s | 22 | 8423231 | 1631022 | 8225 512 | 1 | 1 803.47/803.66 c 803s | 22 | 8452864 | 1635122 | 8225 513 | 1 | 1 805.47/805.68 c 805s | 22 | 8469005 | 1638922 | 8225 514 | 1 | 1 807.57/807.74 c 807s | 22 | 8479210 | 1642722 | 8225 515 | 1 | 1 809.57/809.77 c 809s | 22 | 8496921 | 1646722 | 8225 516 | 1 | 1 811.67/811.81 c 811s | 22 | 8507522 | 1650722 | 8225 517 | 1 | 1 813.77/813.91 c 813s | 22 | 8513923 | 1654122 | 8225 518 | 1 | 1 815.77/815.93 c 815s | 22 | 8523142 | 1657722 | 8225 519 | 1 | 1 817.77/817.96 c 817s | 22 | 8534036 | 1661422 | 8225 520 | 1 | 1 819.77/819.98 c 819s | 22 | 8551921 | 1665122 | 8225 521 | 1 | 1 821.87/822.03 c 821s | 22 | 8560795 | 1668522 | 8225 521 | 1 | 1 823.87/824.03 c 823s | 22 | 8571402 | 1672622 | 8225 522 | 1 | 1 825.86/826.08 c 826s | 22 | 8586085 | 1676622 | 8225 523 | 1 | 1 827.96/828.12 c 828s | 22 | 8604041 | 1680822 | 8225 524 | 1 | 1 829.96/830.18 c 830s | 22 | 8610502 | 1684022 | 8225 525 | 1 | 1 832.06/832.21 c 832s | 22 | 8635806 | 1688222 | 8225 526 | 1 | 1 834.06/834.24 c 834s | 22 | 8652341 | 1692322 | 8225 527 | 1 | 1 836.06/836.28 c 836s | 22 | 8664297 | 1696022 | 8225 528 | 1 | 1 838.17/838.32 c 838s | 22 | 8672525 | 1699922 | 8225 529 | 1 | 1 840.16/840.35 c 840s | 22 | 8679146 | 1703522 | 8225 530 | 1 | 1 842.26/842.40 c 842s | 22 | 8689513 | 1706522 | 8225 530 | 1 | 1 844.26/844.45 c 844s | 22 | 8695703 | 1709822 | 8225 531 | 1 | 1 846.26/846.46 c 846s | 22 | 8702192 | 1713122 | 8225 532 | 1 | 1 848.36/848.51 c 848s | 22 | 8715250 | 1716822 | 8225 533 | 1 | 1 850.36/850.55 c 850s | 22 | 8719591 | 1719622 | 8225 533 | 1 | 1 852.36/852.57 c 852s | 22 | 8727182 | 1723122 | 8225 534 | 1 | 1 854.36/854.59 c 854s | 22 | 8731934 | 1726222 | 8225 535 | 1 | 1 856.46/856.61 c 856s | 22 | 8744266 | 1729722 | 8225 536 | 1 | 1 858.46/858.65 c 858s | 22 | 8763282 | 1733622 | 8225 537 | 1 | 1 860.56/860.70 c 860s | 22 | 8778479 | 1737422 | 8225 538 | 1 | 1 862.55/862.71 c 862s | 22 | 8790508 | 1741522 | 8225 539 | 1 | 1 864.56/864.74 c 864s | 22 | 8804091 | 1745422 | 8225 540 | 1 | 1 866.55/866.78 c 866s | 22 | 8821284 | 1749622 | 8225 541 | 1 | 1 868.55/868.79 c 868s | 22 | 8828077 | 1752922 | 8225 541 | 1 | 1 870.66/870.84 c 870s | 22 | 8838124 | 1756622 | 8225 542 | 1 | 1 872.66/872.84 c 872s | 22 | 8843779 | 1760122 | 8225 543 | 1 | 1 874.66/874.87 c 874s | 22 | 8850231 | 1763422 | 8225 544 | 1 | 1 876.76/876.91 c 876s | 22 | 8858161 | 1767022 | 8225 545 | 1 | 1 878.77/878.91 c 878s | 22 | 8865132 | 1770622 | 8225 546 | 1 | 1 880.76/880.91 c 880s | 22 | 8871133 | 1774222 | 8225 546 | 1 | 1 882.76/882.93 c 882s | 22 | 8876644 | 1777922 | 8225 547 | 1 | 1 884.76/884.98 c 884s | 22 | 8881431 | 1781522 | 8225 548 | 1 | 1 886.76/886.99 c 886s | 22 | 8887006 | 1785222 | 8225 549 | 1 | 1 888.86/889.02 c 888s | 22 | 8893681 | 1788822 | 8225 550 | 1 | 1 890.86/891.05 c 890s | 22 | 8900789 | 1792222 | 8225 551 | 1 | 1 892.86/893.05 c 892s | 22 | 8911602 | 1796222 | 8225 552 | 1 | 1 894.86/895.09 c 895s | 22 | 8918637 | 1800022 | 8225 553 | 1 | 1 896.96/897.15 c 897s | 22 | 8922650 | 1803222 | 8225 553 | 1 | 1 898.96/899.15 c 899s | 22 | 8928020 | 1806822 | 8225 554 | 1 | 1 901.06/901.22 c 901s | 22 | 8938683 | 1810522 | 8225 555 | 1 | 1 903.06/903.25 c 903s | 22 | 8949062 | 1814122 | 8225 556 | 1 | 1 905.05/905.27 c 905s | 22 | 8954866 | 1817322 | 8225 557 | 1 | 1 907.05/907.28 c 907s | 22 | 8963055 | 1820722 | 8225 557 | 1 | 1 909.15/909.34 c 909s | 22 | 8970871 | 1824422 | 8225 558 | 1 | 1 911.15/911.39 c 911s | 22 | 8981430 | 1827822 | 8225 559 | 1 | 1 913.25/913.44 c 913s | 22 | 8988235 | 1831522 | 8225 560 | 1 | 1 915.25/915.50 c 915s | 22 | 8994475 | 1835122 | 8225 561 | 1 | 1 917.36/917.53 c 917s | 22 | 9001455 | 1838322 | 8225 562 | 1 | 1 919.35/919.54 c 919s | 22 | 9010809 | 1842322 | 8225 563 | 1 | 1 921.35/921.56 c 921s | 22 | 9019570 | 1846122 | 8225 563 | 1 | 1 923.35/923.56 c 923s | 22 | 9033909 | 1849622 | 8225 564 | 1 | 1 925.45/925.61 c 925s | 22 | 9045879 | 1853622 | 8225 565 | 1 | 1 927.45/927.64 c 927s | 22 | 9052852 | 1856722 | 8225 566 | 1 | 1 929.45/929.65 c 929s | 22 | 9060498 | 1859822 | 8225 567 | 1 | 1 931.44/931.69 c 931s | 22 | 9067462 | 1863322 | 8225 568 | 1 | 1 933.54/933.71 c 933s | 22 | 9073219 | 1866822 | 8225 568 | 1 | 1 935.64/935.82 c 935s | 22 | 9077442 | 1869822 | 8225 569 | 1 | 1 937.64/937.85 c 937s | 22 | 9093813 | 1874122 | 8225 570 | 1 | 1 939.63/939.87 c 939s | 22 | 9103292 | 1878322 | 8225 571 | 1 | 1 941.73/941.93 c 941s | 22 | 9116852 | 1881822 | 8225 572 | 1 | 1 943.75/943.97 c 943s | 22 | 9125814 | 1885622 | 8225 573 | 1 | 1 945.85/946.01 c 945s | 22 | 9142574 | 1889422 | 8225 574 | 1 | 1 947.84/948.02 c 947s | 22 | 9150471 | 1893122 | 8225 575 | 1 | 1 949.84/950.06 c 949s | 22 | 9155049 | 1896522 | 8225 575 | 1 | 1 951.94/952.11 c 952s | 22 | 9158922 | 1899622 | 8225 576 | 1 | 1 953.94/954.13 c 954s | 22 | 9169111 | 1903322 | 8225 577 | 1 | 1 955.94/956.13 c 956s | 22 | 9190789 | 1907022 | 8225 578 | 1 | 1 957.94/958.18 c 958s | 22 | 9200647 | 1910522 | 8225 579 | 1 | 1 960.03/960.27 c 960s | 22 | 9206606 | 1914022 | 8225 580 | 1 | 1 962.13/962.31 c 962s | 22 | 9216822 | 1917922 | 8225 580 | 1 | 1 964.13/964.36 c 964s | 22 | 9227347 | 1921622 | 8225 581 | 1 | 1 966.23/966.41 c 966s | 22 | 9239213 | 1925122 | 8225 582 | 1 | 1 968.23/968.46 c 968s | 22 | 9244029 | 1928322 | 8225 583 | 1 | 1 970.23/970.46 c 970s | 22 | 9256152 | 1931122 | 8225 584 | 1 | 1 972.34/972.51 c 972s | 22 | 9284514 | 1935422 | 8225 585 | 1 | 1 974.33/974.52 c 974s | 22 | 9298325 | 1939522 | 8225 586 | 1 | 1 976.33/976.57 c 976s | 22 | 9314806 | 1944122 | 8225 587 | 1 | 1 978.43/978.62 c 978s | 22 | 9325815 | 1948422 | 8225 588 | 1 | 1 980.42/980.67 c 980s | 22 | 9333685 | 1951822 | 8225 589 | 1 | 1 982.42/982.67 c 982s | 22 | 9344963 | 1955722 | 8225 589 | 1 | 1 984.52/984.70 c 984s | 22 | 9355505 | 1959622 | 8225 590 | 1 | 1 986.53/986.73 c 986s | 22 | 9366515 | 1963422 | 8225 591 | 1 | 1 988.52/988.74 c 988s | 22 | 9375445 | 1967322 | 8225 592 | 1 | 1 990.71/990.92 c 990s | 22 | 9380947 | 1970622 | 8225 593 | 1 | 1 992.71/992.93 c 992s | 22 | 9395836 | 1974922 | 8225 594 | 1 | 1 994.71/994.97 c 994s | 22 | 9405921 | 1979322 | 8225 595 | 1 | 1 996.71/996.98 c 996s | 22 | 9414182 | 1983322 | 8225 596 | 1 | 1 998.81/999.04 c 998s | 22 | 9419052 | 1986922 | 8225 597 | 1 | 1 1000.92/1001.13 c 1001s | 22 | 9434747 | 1990422 | 8225 598 | 1 | 1 1002.91/1003.19 c 1003s | 22 | 9447615 | 1994622 | 8225 599 | 1 | 1 1004.91/1005.19 c 1005s | 22 | 9459118 | 1998422 | 8225 600 | 1 | 1 1007.01/1007.21 c 1007s | 22 | 9481816 | 2003022 | 8225 601 | 1 | 1 1009.00/1009.21 c 1009s | 22 | 9490401 | 2006822 | 8225 602 | 1 | 1 1011.00/1011.27 c 1011s | 22 | 9499152 | 2010722 | 8225 603 | 1 | 1 1013.01/1013.29 c 1013s | 22 | 9509480 | 2014422 | 8225 603 | 1 | 1 1015.00/1015.30 c 1015s | 22 | 9518373 | 2018222 | 8225 604 | 1 | 1 1017.10/1017.34 c 1017s | 22 | 9527864 | 2022222 | 8225 605 | 1 | 1 1019.20/1019.45 c 1019s | 22 | 9534358 | 2025722 | 8225 606 | 1 | 1 1021.20/1021.48 c 1021s | 22 | 9541574 | 2029122 | 8225 607 | 1 | 1 1023.20/1023.49 c 1023s | 22 | 9549476 | 2032822 | 8225 608 | 1 | 1 1025.30/1025.53 c 1025s | 22 | 9558589 | 2036622 | 8225 609 | 1 | 1 1027.30/1027.54 c 1027s | 22 | 9565313 | 2040222 | 8225 610 | 1 | 1 1029.29/1029.60 c 1029s | 22 | 9570991 | 2043922 | 8225 610 | 1 | 1 1031.39/1031.64 c 1031s | 22 | 9575523 | 2047022 | 8225 611 | 1 | 1 1033.39/1033.64 c 1033s | 22 | 9582278 | 2050622 | 8225 612 | 1 | 1 1035.39/1035.64 c 1035s | 22 | 9595808 | 2054322 | 8225 613 | 1 | 1 1037.39/1037.64 c 1037s | 22 | 9609737 | 2058522 | 8225 614 | 1 | 1 1039.39/1039.68 c 1039s | 22 | 9621513 | 2062422 | 8225 615 | 1 | 1 1041.38/1041.69 c 1041s | 22 | 9630272 | 2066122 | 8225 616 | 1 | 1 1043.48/1043.72 c 1043s | 22 | 9639689 | 2069922 | 8225 617 | 1 | 1 1045.49/1045.77 c 1045s | 22 | 9650196 | 2073622 | 8225 617 | 1 | 1 1047.49/1047.80 c 1047s | 22 | 9658134 | 2077422 | 8225 618 | 1 | 1 1049.59/1049.81 c 1049s | 22 | 9665310 | 2080922 | 8225 619 | 1 | 1 1051.59/1051.83 c 1051s | 22 | 9673734 | 2084322 | 8225 620 | 1 | 1 1053.59/1053.88 c 1053s | 22 | 9682533 | 2087222 | 8225 621 | 1 | 1 1055.68/1055.90 c 1055s | 22 | 9688171 | 2090822 | 8225 622 | 1 | 1 1057.68/1057.95 c 1057s | 22 | 9693844 | 2094722 | 8225 622 | 1 | 1 1059.78/1060.00 c 1059s | 22 | 9702738 | 2098222 | 8225 623 | 1 | 1 1061.78/1062.03 c 1061s | 22 | 9708979 | 2101522 | 8225 624 | 1 | 1 1063.78/1064.09 c 1064s | 22 | 9716751 | 2105422 | 8225 625 | 1 | 1 1065.88/1066.10 c 1066s | 22 | 9723116 | 2109222 | 8225 626 | 1 | 1 1067.89/1068.10 c 1068s | 22 | 9727727 | 2112422 | 8225 627 | 1 | 1 1069.87/1070.11 c 1070s | 22 | 9735707 | 2115722 | 8225 627 | 1 | 1 1071.87/1072.14 c 1072s | 22 | 9753938 | 2119622 | 8225 628 | 1 | 1 1073.87/1074.19 c 1074s | 22 | 9761989 | 2123322 | 8225 629 | 1 | 1 1075.97/1076.23 c 1076s | 22 | 9776885 | 2127222 | 8225 630 | 1 | 1 1077.97/1078.29 c 1078s | 22 | 9784711 | 2131022 | 8225 631 | 1 | 1 1080.07/1080.32 c 1080s | 22 | 9791612 | 2134822 | 8225 632 | 1 | 1 1082.07/1082.32 c 1082s | 22 | 9800097 | 2138422 | 8225 633 | 1 | 1 1084.07/1084.34 c 1084s | 22 | 9808894 | 2142122 | 8225 634 | 1 | 1 1086.06/1086.34 c 1086s | 22 | 9815450 | 2146022 | 8225 635 | 1 | 1 1088.16/1088.40 c 1088s | 22 | 9819953 | 2149422 | 8225 635 | 1 | 1 1090.16/1090.42 c 1090s | 22 | 9825310 | 2152322 | 8225 636 | 1 | 1 1092.17/1092.46 c 1092s | 22 | 9830970 | 2155822 | 8225 637 | 1 | 1 1094.27/1094.51 c 1094s | 22 | 9836215 | 2159322 | 8225 638 | 1 | 1 1096.26/1096.54 c 1096s | 22 | 9842051 | 2162422 | 8225 639 | 1 | 1 1098.26/1098.57 c 1098s | 22 | 9850888 | 2166322 | 8225 639 | 1 | 1 1100.36/1100.62 c 1100s | 22 | 9860632 | 2170022 | 8225 640 | 1 | 1 1102.36/1102.64 c 1102s | 22 | 9866870 | 2173322 | 8225 641 | 1 | 1 1104.36/1104.67 c 1104s | 22 | 9871915 | 2177022 | 8225 642 | 1 | 1 1106.46/1106.72 c 1106s | 22 | 9878412 | 2180622 | 8225 643 | 1 | 1 1108.45/1108.73 c 1108s | 22 | 9882597 | 2183522 | 8225 644 | 1 | 1 1110.45/1110.76 c 1110s | 22 | 9887564 | 2187222 | 8225 644 | 1 | 1 1112.45/1112.77 c 1112s | 22 | 9891156 | 2190322 | 8225 645 | 1 | 1 1114.55/1114.80 c 1114s | 22 | 9895869 | 2193622 | 8225 646 | 1 | 1 1116.55/1116.81 c 1116s | 22 | 9907991 | 2197222 | 8225 647 | 1 | 1 1118.56/1118.82 c 1118s | 22 | 9916124 | 2200622 | 8225 648 | 1 | 1 1120.54/1120.87 c 1120s | 22 | 9924325 | 2204522 | 8225 649 | 1 | 1 1122.64/1122.91 c 1122s | 22 | 9932316 | 2208522 | 8225 649 | 1 | 1 1124.64/1124.93 c 1124s | 22 | 9939593 | 2212422 | 8225 650 | 1 | 1 1126.64/1126.95 c 1126s | 22 | 9950517 | 2216422 | 8225 651 | 1 | 1 1128.64/1128.96 c 1128s | 22 | 9958010 | 2219922 | 8225 652 | 1 | 1 1130.65/1130.99 c 1130s | 22 | 9976698 | 2224222 | 8225 653 | 1 | 1 1132.64/1133.00 c 1132s | 22 | 9986229 | 2227922 | 8225 654 | 1 | 1 1134.74/1135.02 c 1134s | 22 | 10000998 | 2231622 | 8225 655 | 1 | 1 1136.74/1137.06 c 1137s | 22 | 10018930 | 2236222 | 9048 656 | 1 | 1 1138.83/1139.10 c 1139s | 22 | 10030394 | 2240322 | 9048 657 | 1 | 1 1140.83/1141.12 c 1141s | 22 | 10037655 | 2244322 | 9048 658 | 1 | 1 1142.84/1143.16 c 1143s | 22 | 10044967 | 2247722 | 9048 658 | 1 | 1 1144.64/1144.93 c 1144s | 23 | 10054205 | 2251038 | 9048 659 | 1 | 1 1146.64/1146.94 c 1146s | 23 | 10070159 | 2253538 | 9048 660 | 1 | 1 1148.64/1148.97 c 1148s | 23 | 10090687 | 2257538 | 9048 661 | 1 | 1 1150.74/1151.00 c 1150s | 23 | 10102810 | 2261238 | 9048 661 | 1 | 1 1152.73/1153.01 c 1152s | 23 | 10122335 | 2264938 | 9048 662 | 1 | 1 1154.74/1155.06 c 1154s | 23 | 10140404 | 2268538 | 9048 663 | 1 | 1 1156.73/1157.07 c 1157s | 23 | 10160724 | 2272238 | 9048 664 | 1 | 1 1158.83/1159.15 c 1159s | 23 | 10175992 | 2275938 | 9048 665 | 1 | 1 1160.83/1161.18 c 1161s | 23 | 10186966 | 2279538 | 9048 665 | 1 | 1 1162.93/1163.24 c 1163s | 23 | 10198667 | 2283238 | 9048 666 | 1 | 1 1164.93/1165.26 c 1165s | 23 | 10217302 | 2286738 | 9048 667 | 1 | 1 1167.03/1167.30 c 1167s | 23 | 10229021 | 2290538 | 9048 668 | 1 | 1 1169.03/1169.32 c 1169s | 23 | 10243139 | 2294338 | 9048 669 | 1 | 1 1171.03/1171.35 c 1171s | 23 | 10252732 | 2298038 | 9048 669 | 1 | 1 1173.02/1173.37 c 1173s | 23 | 10258972 | 2301538 | 9048 670 | 1 | 1 1175.12/1175.40 c 1175s | 23 | 10262072 | 2303738 | 9048 671 | 1 | 1 1177.12/1177.41 c 1177s | 23 | 10269016 | 2307638 | 9048 671 | 1 | 1 1179.12/1179.46 c 1179s | 23 | 10276213 | 2311538 | 9048 672 | 1 | 1 1181.22/1181.53 c 1181s | 23 | 10281433 | 2315138 | 9048 673 | 1 | 1 1183.22/1183.54 c 1183s | 23 | 10289132 | 2318138 | 9048 674 | 1 | 1 1185.32/1185.60 c 1185s | 23 | 10293789 | 2321438 | 9048 674 | 1 | 1 1187.32/1187.65 c 1187s | 23 | 10304839 | 2324538 | 9048 675 | 1 | 1 1189.31/1189.69 c 1189s | 23 | 10314709 | 2327938 | 9048 676 | 1 | 1 1191.41/1191.72 c 1191s | 23 | 10322710 | 2331038 | 9048 676 | 1 | 1 1193.42/1193.74 c 1193s | 23 | 10329188 | 2334038 | 9048 677 | 1 | 1 1195.43/1195.78 c 1195s | 23 | 10342288 | 2337138 | 9048 678 | 1 | 1 1197.52/1197.83 c 1197s | 23 | 10349677 | 2340138 | 9048 678 | 1 | 1 1199.52/1199.89 c 1199s | 23 | 10352991 | 2342638 | 9048 679 | 1 | 1 1201.62/1201.93 c 1201s | 23 | 10358015 | 2345238 | 9048 680 | 1 | 1 1203.62/1203.93 c 1203s | 23 | 10367169 | 2347938 | 9048 680 | 1 | 1 1205.61/1205.95 c 1205s | 23 | 10380405 | 2351438 | 9048 681 | 1 | 1 1207.71/1208.01 c 1207s | 23 | 10391916 | 2354538 | 9048 682 | 1 | 1 1209.72/1210.03 c 1209s | 23 | 10421126 | 2357938 | 9048 682 | 1 | 1 1211.71/1212.04 c 1211s | 23 | 10461174 | 2361738 | 9048 683 | 1 | 1 1213.71/1214.06 c 1213s | 23 | 10478194 | 2365138 | 9048 684 | 1 | 1 1215.81/1216.12 c 1216s | 23 | 10492614 | 2368538 | 9048 685 | 1 | 1 1217.81/1218.17 c 1218s | 23 | 10522560 | 2372038 | 9048 685 | 1 | 1 1219.81/1220.18 c 1220s | 23 | 10551650 | 2375638 | 9048 686 | 1 | 1 1221.91/1222.21 c 1222s | 23 | 10568581 | 2379138 | 9048 687 | 1 | 1 1223.91/1224.23 c 1224s | 23 | 10584789 | 2382838 | 9048 688 | 1 | 1 1225.91/1226.23 c 1226s | 23 | 10592088 | 2385638 | 9048 688 | 1 | 1 1227.91/1228.25 c 1228s | 23 | 10613629 | 2389138 | 9048 689 | 1 | 1 1229.90/1230.29 c 1230s | 23 | 10625031 | 2392338 | 9048 690 | 1 | 1 1231.90/1232.30 c 1232s | 23 | 10632200 | 2395638 | 9048 690 | 1 | 1 1234.01/1234.32 c 1234s | 23 | 10650221 | 2399338 | 9048 691 | 1 | 1 1236.00/1236.34 c 1236s | 23 | 10663114 | 2402738 | 9048 692 | 1 | 1 1238.00/1238.35 c 1238s | 23 | 10680763 | 2406338 | 9048 693 | 1 | 1 1240.10/1240.40 c 1240s | 23 | 10699904 | 2410438 | 9048 694 | 1 | 1 1242.20/1242.51 c 1242s | 23 | 10720137 | 2414338 | 9048 695 | 1 | 1 1244.19/1244.53 c 1244s | 23 | 10736334 | 2418038 | 9048 695 | 1 | 1 1246.19/1246.56 c 1246s | 23 | 10745064 | 2421638 | 9048 696 | 1 | 1 1248.39/1248.74 c 1248s | 23 | 10755639 | 2424638 | 9048 697 | 1 | 1 1250.40/1250.77 c 1250s | 23 | 10777364 | 2428238 | 9048 698 | 1 | 1 1252.49/1252.83 c 1252s | 23 | 10793813 | 2431738 | 9048 698 | 1 | 1 1254.49/1254.87 c 1254s | 23 | 10809121 | 2435038 | 9048 699 | 1 | 1 1256.49/1256.88 c 1256s | 23 | 10826021 | 2438438 | 9048 700 | 1 | 1 1258.49/1258.88 c 1258s | 23 | 10856132 | 2442338 | 9048 701 | 1 | 1 1260.59/1260.93 c 1260s | 23 | 10875823 | 2446038 | 9048 701 | 1 | 1 1262.59/1262.99 c 1262s | 23 | 10892765 | 2449638 | 9048 702 | 1 | 1 1264.69/1265.02 c 1264s | 23 | 10909892 | 2453338 | 9048 703 | 1 | 1 1266.69/1267.08 c 1267s | 23 | 10923884 | 2455838 | 9048 704 | 1 | 1 1268.78/1269.10 c 1269s | 23 | 10950897 | 2459638 | 9048 704 | 1 | 1 1270.78/1271.13 c 1271s | 23 | 10970165 | 2463038 | 9048 705 | 1 | 1 1272.78/1273.17 c 1273s | 23 | 10981720 | 2466138 | 9048 706 | 1 | 1 1274.88/1275.22 c 1275s | 23 | 10995011 | 2469738 | 9048 707 | 1 | 1 1276.89/1277.23 c 1277s | 23 | 11011116 | 2473138 | 9048 707 | 1 | 1 1278.88/1279.27 c 1279s | 23 | 11042221 | 2476838 | 9048 708 | 1 | 1 1280.88/1281.29 c 1281s | 23 | 11064480 | 2480438 | 9048 709 | 1 | 1 1282.98/1283.30 c 1283s | 23 | 11071314 | 2483538 | 9048 710 | 1 | 1 1284.98/1285.32 c 1285s | 23 | 11095636 | 2487038 | 9048 710 | 1 | 1 1287.08/1287.40 c 1287s | 23 | 11124955 | 2490638 | 9048 711 | 1 | 1 1289.08/1289.46 c 1289s | 23 | 11143729 | 2493738 | 9048 712 | 1 | 1 1291.08/1291.46 c 1291s | 23 | 11157329 | 2497138 | 9048 712 | 1 | 1 1293.18/1293.54 c 1293s | 23 | 11176685 | 2500738 | 9048 713 | 1 | 1 1295.18/1295.54 c 1295s | 23 | 11186056 | 2503738 | 9048 714 | 1 | 1 1297.27/1297.63 c 1297s | 23 | 11195965 | 2506238 | 9048 714 | 1 | 1 1299.27/1299.67 c 1299s | 23 | 11209725 | 2509538 | 9048 715 | 1 | 1 1301.37/1301.71 c 1301s | 23 | 11223269 | 2512938 | 9048 716 | 1 | 1 1303.37/1303.72 c 1303s | 23 | 11232630 | 2515738 | 9048 717 | 1 | 1 1305.37/1305.79 c 1305s | 23 | 11252226 | 2519038 | 9048 717 | 1 | 1 1307.47/1307.82 c 1307s | 23 | 11258724 | 2521838 | 9048 718 | 1 | 1 1309.56/1309.90 c 1309s | 23 | 11265924 | 2524938 | 9048 718 | 1 | 1 1311.56/1311.96 c 1311s | 23 | 11276008 | 2528038 | 9048 719 | 1 | 1 1313.56/1313.97 c 1313s | 23 | 11281371 | 2530638 | 9048 720 | 1 | 1 1315.56/1315.99 c 1315s | 23 | 11287959 | 2533138 | 9048 720 | 1 | 1 1317.57/1317.99 c 1317s | 23 | 11298468 | 2536238 | 9048 721 | 1 | 1 1319.77/1320.11 c 1320s | 23 | 11309407 | 2539938 | 9048 722 | 1 | 1 1321.76/1322.14 c 1322s | 23 | 11319894 | 2543138 | 9048 722 | 1 | 1 1323.76/1324.14 c 1324s | 23 | 11331961 | 2546338 | 9048 723 | 1 | 1 1325.86/1326.21 c 1326s | 23 | 11341749 | 2549338 | 9048 724 | 1 | 1 1327.86/1328.28 c 1328s | 23 | 11348142 | 2552238 | 9048 724 | 1 | 1 1329.96/1330.34 c 1330s | 23 | 11353246 | 2555238 | 9048 725 | 1 | 1 1332.06/1332.40 c 1332s | 23 | 11366209 | 2559138 | 9048 726 | 1 | 1 1334.06/1334.41 c 1334s | 23 | 11371874 | 2562538 | 9048 727 | 1 | 1 1336.06/1336.43 c 1336s | 23 | 11386114 | 2566238 | 9048 727 | 1 | 1 1338.06/1338.48 c 1338s | 23 | 11406643 | 2570138 | 9048 728 | 1 | 1 1340.15/1340.52 c 1340s | 23 | 11421315 | 2573538 | 9048 729 | 1 | 1 1342.15/1342.58 c 1342s | 23 | 11440491 | 2577038 | 9048 730 | 1 | 1 1344.25/1344.62 c 1344s | 23 | 11454743 | 2580338 | 9048 730 | 1 | 1 1346.26/1346.63 c 1346s | 23 | 11472213 | 2583738 | 9048 731 | 1 | 1 1348.27/1348.64 c 1348s | 23 | 11483147 | 2586938 | 9048 732 | 1 | 1 1350.25/1350.66 c 1350s | 23 | 11495436 | 2590038 | 9048 733 | 1 | 1 1352.35/1352.71 c 1352s | 23 | 11504790 | 2593238 | 9048 733 | 1 | 1 1354.35/1354.76 c 1354s | 23 | 11509134 | 2596238 | 9048 734 | 1 | 1 1356.45/1356.82 c 1356s | 23 | 11523127 | 2599138 | 9048 735 | 1 | 1 1358.45/1358.85 c 1358s | 23 | 11529189 | 2602438 | 9048 735 | 1 | 1 1360.45/1360.89 c 1360s | 23 | 11535091 | 2605238 | 9048 736 | 1 | 1 1362.65/1363.02 c 1362s | 23 | 11542212 | 2608438 | 9048 737 | 1 | 1 1364.64/1365.06 c 1364s | 23 | 11545757 | 2611338 | 9048 737 | 1 | 1 1366.64/1367.09 c 1367s | 23 | 11567463 | 2614238 | 9048 738 | 1 | 1 1368.74/1369.17 c 1369s | 23 | 11592362 | 2617638 | 9048 739 | 1 | 1 1370.84/1371.21 c 1371s | 23 | 11616352 | 2621338 | 9048 739 | 1 | 1 1372.84/1373.25 c 1373s | 23 | 11630152 | 2624538 | 9048 740 | 1 | 1 1374.94/1375.30 c 1375s | 23 | 11659463 | 2628738 | 9048 741 | 1 | 1 1376.94/1377.36 c 1377s | 23 | 11682013 | 2632138 | 9048 742 | 1 | 1 1379.04/1379.41 c 1379s | 23 | 11701461 | 2635738 | 9048 742 | 1 | 1 1381.03/1381.44 c 1381s | 23 | 11709044 | 2638838 | 9048 743 | 1 | 1 1383.03/1383.47 c 1383s | 23 | 11715825 | 2642138 | 9048 744 | 1 | 1 1385.13/1385.52 c 1385s | 23 | 11722864 | 2645738 | 9048 745 | 1 | 1 1387.13/1387.53 c 1387s | 23 | 11741858 | 2649338 | 9048 745 | 1 | 1 1389.13/1389.56 c 1389s | 23 | 11760683 | 2652838 | 9048 746 | 1 | 1 1391.13/1391.60 c 1391s | 23 | 11773973 | 2656138 | 9048 747 | 1 | 1 1393.23/1393.63 c 1393s | 23 | 11782904 | 2659238 | 9048 748 | 1 | 1 1395.23/1395.66 c 1395s | 23 | 11792900 | 2662638 | 9048 748 | 1 | 1 1397.23/1397.68 c 1397s | 23 | 11803008 | 2665938 | 9048 749 | 1 | 1 1399.32/1399.70 c 1399s | 23 | 11811783 | 2668538 | 9048 750 | 1 | 1 1401.32/1401.72 c 1401s | 23 | 11842422 | 2672638 | 9048 750 | 1 | 1 1403.33/1403.76 c 1403s | 23 | 11852779 | 2676238 | 9048 751 | 1 | 1 1405.32/1405.77 c 1405s | 23 | 11869962 | 2679438 | 9048 752 | 1 | 1 1407.32/1407.78 c 1407s | 23 | 11899173 | 2683438 | 9048 753 | 1 | 1 1409.42/1409.82 c 1409s | 23 | 11916245 | 2686938 | 9048 754 | 1 | 1 1411.42/1411.82 c 1411s | 23 | 11926494 | 2690338 | 9048 754 | 1 | 1 1413.42/1413.85 c 1413s | 23 | 11936768 | 2693638 | 9048 755 | 1 | 1 1415.43/1415.87 c 1415s | 23 | 11950141 | 2697238 | 9048 756 | 1 | 1 1417.42/1417.90 c 1417s | 23 | 11957665 | 2700538 | 9048 756 | 1 | 1 1419.52/1419.95 c 1419s | 23 | 11972925 | 2703638 | 9048 757 | 1 | 1 1421.62/1422.00 c 1421s | 23 | 11985517 | 2706938 | 9048 758 | 1 | 1 1423.62/1424.00 c 1423s | 23 | 11997122 | 2709938 | 9048 758 | 1 | 1 1425.62/1426.05 c 1425s | 23 | 12005246 | 2712938 | 9048 759 | 1 | 1 1427.62/1428.09 c 1428s | 23 | 12012953 | 2716338 | 9048 760 | 1 | 1 1429.72/1430.15 c 1430s | 23 | 12021232 | 2719438 | 9048 761 | 1 | 1 1431.71/1432.15 c 1432s | 23 | 12027655 | 2722538 | 9048 761 | 1 | 1 1433.71/1434.16 c 1434s | 23 | 12033145 | 2724838 | 9048 762 | 1 | 1 1435.71/1436.19 c 1436s | 23 | 12052922 | 2728038 | 9048 762 | 1 | 1 1437.81/1438.22 c 1438s | 23 | 12068988 | 2731138 | 9048 763 | 1 | 1 1439.81/1440.27 c 1440s | 23 | 12085120 | 2734638 | 9048 764 | 1 | 1 1441.90/1442.30 c 1442s | 23 | 12097960 | 2737738 | 9048 764 | 1 | 1 1443.91/1444.36 c 1444s | 23 | 12116790 | 2741338 | 9048 765 | 1 | 1 1445.90/1446.37 c 1446s | 23 | 12125896 | 2744338 | 9048 766 | 1 | 1 1448.00/1448.42 c 1448s | 23 | 12134200 | 2747438 | 9048 767 | 1 | 1 1450.00/1450.48 c 1450s | 23 | 12141901 | 2750638 | 9048 767 | 1 | 1 1452.10/1452.51 c 1452s | 23 | 12152659 | 2753638 | 9048 768 | 1 | 1 1454.10/1454.56 c 1454s | 23 | 12164618 | 2756838 | 9048 769 | 1 | 1 1456.10/1456.56 c 1456s | 23 | 12171765 | 2759838 | 9048 769 | 1 | 1 1458.10/1458.58 c 1458s | 23 | 12177676 | 2763038 | 9048 770 | 1 | 1 1460.09/1460.59 c 1460s | 23 | 12185033 | 2765938 | 9048 771 | 1 | 1 1462.09/1462.59 c 1462s | 23 | 12189846 | 2768838 | 9048 771 | 1 | 1 1464.19/1464.63 c 1464s | 23 | 12194425 | 2771138 | 9048 772 | 1 | 1 1466.29/1466.71 c 1466s | 23 | 12202636 | 2774538 | 9048 772 | 1 | 1 1468.29/1468.75 c 1468s | 23 | 12211230 | 2777738 | 9048 773 | 1 | 1 1470.29/1470.76 c 1470s | 23 | 12218106 | 2780938 | 9048 774 | 1 | 1 1472.39/1472.80 c 1472s | 23 | 12223475 | 2784038 | 9048 774 | 1 | 1 1474.38/1474.86 c 1474s | 23 | 12230063 | 2787238 | 9048 775 | 1 | 1 1476.48/1476.90 c 1476s | 23 | 12236425 | 2790038 | 9048 776 | 1 | 1 1478.58/1479.01 c 1478s | 23 | 12246482 | 2793338 | 9048 777 | 1 | 1 1480.58/1481.03 c 1480s | 23 | 12252737 | 2796538 | 9048 777 | 1 | 1 1482.58/1483.08 c 1483s | 23 | 12262092 | 2799638 | 9048 778 | 1 | 1 1484.69/1485.14 c 1485s | 23 | 12269146 | 2802638 | 9048 779 | 1 | 1 1486.68/1487.16 c 1487s | 23 | 12274247 | 2805538 | 9048 779 | 1 | 1 1488.78/1489.20 c 1489s | 23 | 12279351 | 2808538 | 9048 780 | 1 | 1 1490.78/1491.21 c 1491s | 23 | 12287281 | 2811838 | 9048 780 | 1 | 1 1492.78/1493.25 c 1493s | 23 | 12291797 | 2814638 | 9048 781 | 1 | 1 1494.88/1495.31 c 1495s | 23 | 12296825 | 2817438 | 9048 782 | 1 | 1 1496.88/1497.36 c 1497s | 23 | 12303250 | 2820638 | 9048 782 | 1 | 1 1498.98/1499.42 c 1499s | 23 | 12308548 | 2823238 | 9048 783 | 1 | 1 1500.97/1501.43 c 1501s | 23 | 12319769 | 2826838 | 9048 784 | 1 | 1 1502.97/1503.45 c 1503s | 23 | 12336083 | 2830638 | 9048 785 | 1 | 1 1504.97/1505.47 c 1505s | 23 | 12346250 | 2834538 | 9048 785 | 1 | 1 1507.07/1507.51 c 1507s | 23 | 12353021 | 2838238 | 9048 786 | 1 | 1 1509.07/1509.52 c 1509s | 23 | 12363309 | 2841738 | 9048 787 | 1 | 1 1511.07/1511.56 c 1511s | 23 | 12373599 | 2845238 | 9048 788 | 1 | 1 1513.07/1513.59 c 1513s | 23 | 12382403 | 2848738 | 9048 788 | 1 | 1 1515.17/1515.60 c 1515s | 23 | 12388740 | 2852338 | 9048 789 | 1 | 1 1517.17/1517.63 c 1517s | 23 | 12395420 | 2855738 | 9048 790 | 1 | 1 1519.16/1519.64 c 1519s | 23 | 12401719 | 2859238 | 9048 791 | 1 | 1 1521.26/1521.71 c 1521s | 23 | 12413475 | 2862738 | 9048 792 | 1 | 1 1523.26/1523.72 c 1523s | 23 | 12428160 | 2866938 | 9048 792 | 1 | 1 1525.27/1525.72 c 1525s | 23 | 12438481 | 2870738 | 9048 793 | 1 | 1 1527.26/1527.76 c 1527s | 23 | 12444314 | 2874538 | 9048 794 | 1 | 1 1529.26/1529.77 c 1529s | 23 | 12452497 | 2878238 | 9048 795 | 1 | 1 1531.26/1531.78 c 1531s | 23 | 12457596 | 2881538 | 9048 796 | 1 | 1 1533.36/1533.81 c 1533s | 23 | 12465230 | 2885538 | 9048 796 | 1 | 1 1535.36/1535.83 c 1535s | 23 | 12469838 | 2888938 | 9048 797 | 1 | 1 1537.37/1537.88 c 1537s | 23 | 12474059 | 2892238 | 9048 798 | 1 | 1 1539.36/1539.89 c 1539s | 23 | 12488855 | 2895438 | 9048 799 | 1 | 1 1541.46/1541.92 c 1541s | 23 | 12506853 | 2899538 | 9048 799 | 1 | 1 1543.46/1543.92 c 1543s | 23 | 12522071 | 2903338 | 9048 800 | 1 | 1 1545.46/1545.96 c 1545s | 23 | 12532933 | 2906838 | 9048 801 | 1 | 1 1547.46/1547.97 c 1547s | 23 | 12542039 | 2910138 | 9048 802 | 1 | 1 1549.47/1549.97 c 1549s | 23 | 12549668 | 2913438 | 9048 802 | 1 | 1 1551.56/1552.01 c 1551s | 23 | 12554515 | 2916438 | 9048 803 | 1 | 1 1553.56/1554.03 c 1553s | 23 | 12564691 | 2919538 | 9048 804 | 1 | 1 1555.66/1556.10 c 1556s | 23 | 12570341 | 2922738 | 9048 805 | 1 | 1 1557.66/1558.14 c 1558s | 23 | 12577291 | 2926138 | 9048 805 | 1 | 1 1559.65/1560.18 c 1560s | 23 | 12583080 | 2929238 | 9048 806 | 1 | 1 1561.85/1562.32 c 1562s | 23 | 12589928 | 2932438 | 9048 807 | 1 | 1 1563.86/1564.34 c 1564s | 23 | 12602432 | 2936238 | 9048 807 | 1 | 1 1565.85/1566.35 c 1566s | 23 | 12609391 | 2939438 | 9048 808 | 1 | 1 1567.85/1568.39 c 1568s | 23 | 12619248 | 2943138 | 9048 809 | 1 | 1 1569.95/1570.43 c 1570s | 23 | 12625980 | 2946238 | 9048 810 | 1 | 1 1571.94/1572.43 c 1572s | 23 | 12632127 | 2949438 | 9048 810 | 1 | 1 1573.94/1574.47 c 1574s | 23 | 12637104 | 2952838 | 9048 811 | 1 | 1 1576.04/1576.52 c 1576s | 23 | 12641806 | 2956138 | 9048 812 | 1 | 1 1578.05/1578.57 c 1578s | 23 | 12649307 | 2959338 | 9048 812 | 1 | 1 1580.04/1580.59 c 1580s | 23 | 12653529 | 2962238 | 9048 813 | 1 | 1 1582.14/1582.62 c 1582s | 23 | 12657900 | 2965338 | 9048 814 | 1 | 1 1584.14/1584.66 c 1584s | 23 | 12663433 | 2968538 | 9048 814 | 1 | 1 1586.14/1586.67 c 1586s | 23 | 12668345 | 2971538 | 9048 815 | 1 | 1 1588.24/1588.72 c 1588s | 23 | 12672152 | 2974238 | 9048 816 | 1 | 1 1590.25/1590.73 c 1590s | 23 | 12677518 | 2977738 | 9048 816 | 1 | 1 1592.24/1592.76 c 1592s | 23 | 12682623 | 2981338 | 9048 817 | 1 | 1 1594.24/1594.79 c 1594s | 23 | 12689279 | 2984738 | 9048 818 | 1 | 1 1596.34/1596.82 c 1596s | 23 | 12694920 | 2988038 | 9048 819 | 1 | 1 1598.34/1598.87 c 1598s | 23 | 12699804 | 2991238 | 9048 819 | 1 | 1 1600.44/1600.92 c 1600s | 23 | 12703760 | 2994138 | 9048 820 | 1 | 1 1602.44/1602.93 c 1602s | 23 | 12708153 | 2997038 | 9048 821 | 1 | 1 1604.45/1604.95 c 1604s | 23 | 12712327 | 3000038 | 9048 821 | 1 | 1 1606.44/1606.96 c 1606s | 23 | 12715694 | 3002838 | 9048 822 | 1 | 1 1608.44/1608.99 c 1608s | 23 | 12726331 | 3005638 | 9048 822 | 1 | 1 1610.54/1611.01 c 1610s | 23 | 12752996 | 3008938 | 9048 823 | 1 | 1 1612.54/1613.09 c 1613s | 23 | 12776392 | 3012538 | 9048 824 | 1 | 1 1614.64/1615.12 c 1615s | 23 | 12809957 | 3016038 | 9048 825 | 1 | 1 1616.65/1617.18 c 1617s | 23 | 12831443 | 3019838 | 9048 826 | 1 | 1 1618.75/1619.21 c 1619s | 23 | 12852582 | 3023338 | 9048 826 | 1 | 1 1620.74/1621.24 c 1621s | 23 | 12871499 | 3026638 | 9048 827 | 1 | 1 1622.74/1623.29 c 1623s | 23 | 12879825 | 3029538 | 9048 828 | 1 | 1 1624.84/1625.33 c 1625s | 23 | 12890255 | 3032638 | 9048 828 | 1 | 1 1626.84/1627.34 c 1627s | 23 | 12918434 | 3035738 | 9048 829 | 1 | 1 1628.84/1629.36 c 1629s | 23 | 12940117 | 3039538 | 9048 830 | 1 | 1 1630.84/1631.36 c 1631s | 23 | 12961678 | 3043838 | 9048 831 | 1 | 1 1632.94/1633.41 c 1633s | 23 | 12989480 | 3047938 | 9048 832 | 1 | 1 1634.94/1635.46 c 1635s | 23 | 13004382 | 3051438 | 9048 832 | 1 | 1 1636.94/1637.47 c 1637s | 23 | 13019594 | 3055238 | 9048 833 | 1 | 1 1638.94/1639.48 c 1639s | 23 | 13041156 | 3058938 | 9048 834 | 1 | 1 1641.04/1641.51 c 1641s | 23 | 13053063 | 3062538 | 9048 835 | 1 | 1 1643.04/1643.54 c 1643s | 23 | 13064567 | 3065838 | 9048 835 | 1 | 1 1645.03/1645.54 c 1645s | 23 | 13079136 | 3069238 | 9048 836 | 1 | 1 1647.03/1647.57 c 1647s | 23 | 13090051 | 3072838 | 9048 837 | 1 | 1 1649.03/1649.59 c 1649s | 23 | 13114007 | 3076438 | 9048 838 | 1 | 1 1651.13/1651.61 c 1651s | 23 | 13133512 | 3079938 | 9048 839 | 1 | 1 1653.13/1653.62 c 1653s | 23 | 13151188 | 3083538 | 9048 839 | 1 | 1 1655.14/1655.62 c 1655s | 23 | 13161220 | 3086738 | 9048 840 | 1 | 1 1657.13/1657.63 c 1657s | 23 | 13171310 | 3089838 | 9048 841 | 1 | 1 1659.13/1659.64 c 1659s | 23 | 13179454 | 3092838 | 9048 841 | 1 | 1 1661.13/1661.68 c 1661s | 23 | 13192802 | 3095938 | 9048 842 | 1 | 1 1663.23/1663.73 c 1663s | 23 | 13199879 | 3098838 | 9048 843 | 1 | 1 1665.33/1665.80 c 1665s | 23 | 13210545 | 3101938 | 9048 843 | 1 | 1 1667.33/1667.84 c 1667s | 23 | 13215889 | 3104838 | 9048 844 | 1 | 1 1669.34/1669.85 c 1669s | 23 | 13220948 | 3107638 | 9048 845 | 1 | 1 1671.33/1671.85 c 1671s | 23 | 13227445 | 3110938 | 9048 845 | 1 | 1 1673.43/1673.90 c 1673s | 23 | 13232721 | 3113838 | 9048 846 | 1 | 1 1675.43/1675.91 c 1675s | 23 | 13238378 | 3117138 | 9048 847 | 1 | 1 1677.43/1677.97 c 1677s | 23 | 13246142 | 3120738 | 9048 847 | 1 | 1 1679.43/1679.97 c 1679s | 23 | 13260534 | 3123538 | 9048 848 | 1 | 1 1681.43/1682.00 c 1681s | 23 | 13274040 | 3126538 | 9048 849 | 1 | 1 1683.53/1684.03 c 1683s | 23 | 13284376 | 3129938 | 9048 849 | 1 | 1 1685.53/1686.04 c 1685s | 23 | 13293010 | 3133038 | 9048 850 | 1 | 1 1687.53/1688.06 c 1687s | 23 | 13302610 | 3136038 | 9048 851 | 1 | 1 1689.53/1690.09 c 1690s | 23 | 13313244 | 3139438 | 9048 851 | 1 | 1 1691.62/1692.11 c 1692s | 23 | 13330715 | 3143138 | 9048 852 | 1 | 1 1693.63/1694.11 c 1694s | 23 | 13345136 | 3146738 | 9048 853 | 1 | 1 1695.62/1696.15 c 1696s | 23 | 13353643 | 3150038 | 9048 854 | 1 | 1 1697.72/1698.24 c 1698s | 23 | 13367023 | 3153738 | 9048 855 | 1 | 1 1699.72/1700.25 c 1700s | 23 | 13380461 | 3157638 | 9048 855 | 1 | 1 1701.72/1702.29 c 1702s | 23 | 13386783 | 3161038 | 9048 856 | 1 | 1 1703.82/1704.33 c 1704s | 23 | 13398669 | 3163538 | 9048 857 | 1 | 1 1705.82/1706.36 c 1706s | 23 | 13407323 | 3166638 | 9048 857 | 1 | 1 1707.83/1708.37 c 1708s | 23 | 13416436 | 3169738 | 9048 858 | 1 | 1 1709.92/1710.41 c 1710s | 23 | 13425534 | 3172738 | 9048 859 | 1 | 1 1711.92/1712.42 c 1712s | 23 | 13439897 | 3176038 | 9048 859 | 1 | 1 1714.02/1714.50 c 1714s | 23 | 13445014 | 3179038 | 9048 860 | 1 | 1 1716.02/1716.55 c 1716s | 23 | 13450847 | 3181938 | 9048 861 | 1 | 1 1718.12/1718.63 c 1718s | 23 | 13456770 | 3184938 | 9048 861 | 1 | 1 1720.12/1720.65 c 1720s | 23 | 13463303 | 3187438 | 9048 862 | 1 | 1 1722.22/1722.71 c 1722s | 23 | 13471143 | 3190538 | 9048 862 | 1 | 1 1724.22/1724.76 c 1724s | 23 | 13477395 | 3193538 | 9048 863 | 1 | 1 1726.22/1726.79 c 1726s | 23 | 13486210 | 3196838 | 9048 864 | 1 | 1 1728.32/1728.80 c 1728s | 23 | 13493885 | 3199938 | 9048 864 | 1 | 1 1730.32/1730.82 c 1730s | 23 | 13505160 | 3203238 | 9048 865 | 1 | 1 1732.31/1732.85 c 1732s | 23 | 13509812 | 3206038 | 9048 866 | 1 | 1 1734.41/1734.91 c 1734s | 23 | 13514441 | 3209138 | 9048 866 | 1 | 1 1736.42/1736.98 c 1736s | 23 | 13518553 | 3211838 | 9048 867 | 1 | 1 1738.51/1739.03 c 1738s | 23 | 13521637 | 3214338 | 9048 868 | 1 | 1 1740.52/1741.04 c 1740s | 23 | 13529961 | 3216638 | 9048 868 | 1 | 1 1742.52/1743.04 c 1742s | 23 | 13539630 | 3220038 | 9048 869 | 1 | 1 1744.62/1745.15 c 1745s | 23 | 13546218 | 3223138 | 9048 870 | 1 | 1 1746.62/1747.16 c 1747s | 23 | 13554315 | 3226538 | 9048 870 | 1 | 1 1748.63/1749.17 c 1749s | 23 | 13570836 | 3230238 | 9048 871 | 1 | 1 1750.73/1751.21 c 1751s | 23 | 13581089 | 3233738 | 9048 872 | 1 | 1 1752.72/1753.25 c 1753s | 23 | 13586774 | 3236938 | 9048 873 | 1 | 1 1754.72/1755.25 c 1755s | 23 | 13599239 | 3240738 | 9048 873 | 1 | 1 1756.72/1757.26 c 1757s | 23 | 13608645 | 3244338 | 9048 874 | 1 | 1 1758.72/1759.29 c 1759s | 23 | 13617963 | 3247238 | 9048 875 | 1 | 1 1760.82/1761.31 c 1761s | 23 | 13625164 | 3250538 | 9048 875 | 1 | 1 1762.82/1763.32 c 1763s | 23 | 13640756 | 3253838 | 9048 876 | 1 | 1 1764.82/1765.34 c 1765s | 23 | 13648492 | 3256738 | 9048 877 | 1 | 1 1766.82/1767.38 c 1767s | 23 | 13654003 | 3259938 | 9048 877 | 1 | 1 1768.91/1769.44 c 1769s | 23 | 13660385 | 3263138 | 9048 878 | 1 | 1 1770.91/1771.44 c 1771s | 23 | 13664816 | 3265838 | 9048 879 | 1 | 1 1772.91/1773.47 c 1773s | 23 | 13676833 | 3268838 | 9048 879 | 1 | 1 1775.02/1775.51 c 1775s | 23 | 13695774 | 3272438 | 9048 880 | 1 | 1 1777.01/1777.52 c 1777s | 23 | 13708828 | 3275938 | 9048 881 | 1 | 1 1779.01/1779.54 c 1779s | 23 | 13722344 | 3279238 | 9048 882 | 1 | 1 1781.01/1781.58 c 1781s | 23 | 13738464 | 3283038 | 9048 882 | 1 | 1 1783.11/1783.64 c 1783s | 23 | 13757843 | 3286838 | 9048 883 | 1 | 1 1785.11/1785.64 c 1785s | 23 | 13767801 | 3290238 | 9048 884 | 1 | 1 1787.12/1787.67 c 1787s | 23 | 13773614 | 3293538 | 9048 885 | 1 | 1 1789.22/1789.72 c 1789s | 23 | 13779022 | 3296638 | 9048 885 | 1 | 1 1791.21/1791.74 c 1791s | 23 | 13786411 | 3299838 | 9048 886 | 1 | 1 1793.21/1793.78 c 1793s | 23 | 13794703 | 3303338 | 9048 887 | 1 | 1 1795.21/1795.79 c 1795s | 23 | 13800704 | 3306338 | 9048 888 | 1 | 1 1797.31/1797.84 c 1797s | 23 | 13805753 | 3309838 | 9048 888 | 1 | 1 1799.31/1799.86 c 1799s | 23 | 13811475 | 3312738 | 9048 889 | 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-4106763-1466277409/watcher-4106763-1466277409 -o /tmp/evaluation-result-4106763-1466277409/solver-4106763-1466277409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106763-1466277409.opb pid=10666 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.34 2.25 2.12 2/170 10669 /proc/meminfo: memFree=30147184/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=748988 CPUtime=0 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 2797 0 0 0 0 0 0 0 20 0 4 0 29788090 766963712 3157 33554432000 4194304 16246674 140735453038720 140735453038144 15002730 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 187759 3167 441 2943 0 184653 0 [pid=10669/tid=10670] ppid=10666 vsize=766396 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 784789504 3227 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=770492 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 788983808 3244 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=774588 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788090 793178112 3259 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 [startup+0.100241 s] /proc/loadavg: 2.34 2.25 2.12 2/170 10669 /proc/meminfo: memFree=30147184/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1218116 CPUtime=0.09 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 25558 0 0 0 5 4 0 0 20 0 4 0 29788090 1247350784 25905 33554432000 4194304 16246674 140735453038720 140735453038144 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 304529 25918 791 2943 0 301423 0 [pid=10669/tid=10670] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 25929 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 25939 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 25950 33554432000 4194304 16246674 140735453038720 140367533952176 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.200493 s] /proc/loadavg: 2.34 2.25 2.12 2/170 10669 /proc/meminfo: memFree=30147184/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1218116 CPUtime=0.19 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 49880 0 0 0 12 7 0 0 20 0 4 0 29788090 1247350784 50228 33554432000 4194304 16246674 140735453038720 140735453038144 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 304529 50244 791 2943 0 301423 0 [pid=10669/tid=10670] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 50255 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 50265 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 50276 33554432000 4194304 16246674 140735453038720 140367533952176 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.300471 s] /proc/loadavg: 2.34 2.25 2.12 2/170 10669 /proc/meminfo: memFree=30147184/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1218116 CPUtime=0.29 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 75708 0 0 0 18 11 0 0 20 0 4 0 29788090 1247350784 76055 33554432000 4194304 16246674 140735453038720 140735453038144 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 304529 76070 791 2943 0 301423 0 [pid=10669/tid=10670] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 76079 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 76088 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 76096 33554432000 4194304 16246674 140735453038720 140367533952176 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.700348 s] /proc/loadavg: 2.34 2.25 2.12 2/170 10669 /proc/meminfo: memFree=30147184/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1218116 CPUtime=0.69 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 177273 0 0 0 46 23 0 0 20 0 4 0 29788090 1247350784 177621 33554432000 4194304 16246674 140735453038720 140735453038144 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 304529 177635 791 2943 0 301423 0 [pid=10669/tid=10670] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 177643 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 177650 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1218116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29788090 1247350784 177654 33554432000 4194304 16246674 140735453038720 140367533952176 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.5004 s] /proc/loadavg: 2.34 2.25 2.12 3/183 10689 /proc/meminfo: memFree=28817684/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1221188 CPUtime=1.49 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 246277 0 0 0 118 31 0 0 20 0 4 0 29788090 1250496512 246602 33554432000 4194304 16246674 140735453038720 140735453038032 6020686 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 305297 246602 850 2943 0 302191 0 [pid=10669/tid=10670] ppid=10666 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1250496512 246602 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1250496512 246602 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1221188 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1250496512 246602 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1221188 [startup+3.10036 s] /proc/loadavg: 2.34 2.25 2.12 3/183 10689 /proc/meminfo: memFree=28544016/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1308228 CPUtime=3.09 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 267938 0 0 0 275 34 0 0 20 0 4 0 29788090 1339625472 268263 33554432000 4194304 16246674 140735453038720 140735453037896 5661483 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 327057 268263 851 2943 0 323951 0 [pid=10669/tid=10670] ppid=10666 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1339625472 268263 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1339625472 268263 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1308228 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1339625472 268263 33554432000 4194304 16246674 140735453038720 140367533952176 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) 1308228 [startup+6.30041 s] /proc/loadavg: 2.31 2.24 2.12 3/183 10689 /proc/meminfo: memFree=28193608/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1312324 CPUtime=6.29 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 269177 0 0 0 595 34 0 0 20 0 4 0 29788090 1343819776 269502 33554432000 4194304 16246674 140735453038720 140735453021720 5663997 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 328081 269502 851 2943 0 324975 0 [pid=10669/tid=10670] ppid=10666 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1343819776 269502 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1343819776 269502 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1312324 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1343819776 269502 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 1312324 [startup+12.7004 s] /proc/loadavg: 2.29 2.24 2.12 3/183 10689 /proc/meminfo: memFree=27968216/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1316420 CPUtime=12.69 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 270201 0 0 0 1234 35 0 0 20 0 4 0 29788090 1348014080 270526 33554432000 4194304 16246674 140735453038720 140735453020608 5572121 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 329105 270526 851 2943 0 325999 0 [pid=10669/tid=10670] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270526 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270526 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270526 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 1316420 [startup+25.5005 s] /proc/loadavg: 2.22 2.22 2.12 4/183 10689 /proc/meminfo: memFree=27969128/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1316420 CPUtime=25.49 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 270203 0 0 0 2514 35 0 0 20 0 4 0 29788090 1348014080 270528 33554432000 4194304 16246674 140735453038720 140735453020608 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 329105 270528 853 2943 0 325999 0 [pid=10669/tid=10670] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270528 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270528 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1316420 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1348014080 270528 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 1316420 [startup+51.1005 s] /proc/loadavg: 2.27 2.24 2.12 3/183 10689 /proc/meminfo: memFree=27967300/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1318468 CPUtime=51.08 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 270715 0 0 0 5073 35 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140735453021720 5823611 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 329617 271040 853 2943 0 326511 0 [pid=10669/tid=10670] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367533952176 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) 1318468 [startup+102.3 s] /proc/loadavg: 2.31 2.25 2.13 3/183 10690 /proc/meminfo: memFree=27967360/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1318468 CPUtime=102.28 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 270715 0 0 0 10193 35 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140735453020608 5546023 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 329617 271040 853 2943 0 326511 0 [pid=10669/tid=10670] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1318468 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1350111232 271040 33554432000 4194304 16246674 140735453038720 140367533952176 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) 1318468 ################ # More data... # ################ /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1335876 [startup+1362.3 s] /proc/loadavg: 2.36 2.31 2.22 4/183 10721 /proc/meminfo: memFree=27872148/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1335876 CPUtime=1361.94 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 275332 0 0 0 136144 50 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140735453020608 12478249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 333969 275397 855 2943 0 330863 0 [pid=10669/tid=10670] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1335876 [startup+1422.3 s] /proc/loadavg: 2.28 2.30 2.22 3/184 10726 /proc/meminfo: memFree=27872164/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1335876 CPUtime=1421.92 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 275373 0 0 0 142141 51 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140735453020608 6020640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 333969 275397 855 2943 0 330863 0 [pid=10669/tid=10670] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367533952176 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) 1335876 [startup+1482.3 s] /proc/loadavg: 2.33 2.30 2.22 4/183 10727 /proc/meminfo: memFree=27871900/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1335876 CPUtime=1481.88 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 275408 0 0 0 148137 51 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140735453020608 5546214 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 333969 275397 855 2943 0 330863 0 [pid=10669/tid=10670] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275397 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1335876 [startup+1542.31 s] /proc/loadavg: 2.29 2.31 2.23 3/183 10728 /proc/meminfo: memFree=27831748/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1335876 CPUtime=1541.87 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 275443 0 0 0 154135 52 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140735453020608 5522872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 333969 275399 855 2943 0 330863 0 [pid=10669/tid=10670] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1335876 [startup+1602.3 s] /proc/loadavg: 2.15 2.26 2.21 3/183 10729 /proc/meminfo: memFree=27826980/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1335876 CPUtime=1601.84 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 275459 0 0 0 160132 52 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140735453020608 6013193 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 333969 275399 855 2943 0 330863 0 [pid=10669/tid=10670] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1335876 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1367937024 275399 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1335876 [startup+1662.3 s] /proc/loadavg: 2.29 2.27 2.22 3/183 10730 /proc/meminfo: memFree=27815676/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1346116 CPUtime=1661.83 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 277866 0 0 0 166130 53 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140735453020608 5721567 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 336529 277806 855 2943 0 333423 0 [pid=10669/tid=10670] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1346116 [startup+1722.3 s] /proc/loadavg: 2.19 2.25 2.21 3/183 10732 /proc/meminfo: memFree=27815364/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1346116 CPUtime=1721.82 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 277866 0 0 0 172129 53 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140735453020608 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 336529 277806 855 2943 0 333423 0 [pid=10669/tid=10670] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1346116 [startup+1782.3 s] /proc/loadavg: 2.26 2.26 2.22 3/183 10733 /proc/meminfo: memFree=27814912/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1346116 CPUtime=1781.81 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 277866 0 0 0 178127 54 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140735453020608 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 336529 277806 855 2943 0 333423 0 [pid=10669/tid=10670] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1346116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 2.32 2.28 2.22 3/183 10733 /proc/meminfo: memFree=27814880/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1346116 CPUtime=1800.01 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 277866 0 0 0 179947 54 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140735453020608 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 336529 277806 855 2943 0 333423 0 [pid=10669/tid=10670] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1346116 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 10669 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 2.32 2.28 2.22 3/183 10733 /proc/meminfo: memFree=27814880/32872528 swapFree=17888/1798212 [pid=10669] ppid=10666 vsize=1346116 CPUtime=1800.01 cores=0,2,4,6 /proc/10669/stat : 10669 (toysat) R 10666 10669 10472 0 -1 4202496 277866 0 0 0 179947 54 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140735453020608 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/10669/statm: 336529 277806 855 2943 0 333423 0 [pid=10669/tid=10670] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10670/stat : 10670 (toysat) S 10666 10669 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367554915568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0 [pid=10669/tid=10671] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10671/stat : 10671 (toysat) S 10666 10669 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367544425712 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0 [pid=10669/tid=10672] ppid=10666 vsize=1346116 CPUtime=0 cores=0,2,4,6 /proc/10669/task/10672/stat : 10672 (toysat) S 10666 10669 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 29788090 1378422784 277806 33554432000 4194304 16246674 140735453038720 140367533952176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1346116 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.02 CPU user time (s): 1799.48 CPU system time (s): 0.547916 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1346116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.48 system time used= 0.547916 maximum resident set size= 1111224 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277866 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= 402 involuntary context switches= 1889 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.85526 second user time and 6.65499 second system time The end
Begin job on node123 at 2016-06-18 21:16:50 IDJOB=4106763 IDBENCH=48241 IDSOLVER=2542 FILE ID=node123/4106763-1466277409 RUNJOBID= node123-1466275608-10488 PBS_JOBID= 19918249 Free space on /tmp= 71636 MiB SOLVER NAME= toysat 2016-05-02 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_2.opb COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106763-1466277409/watcher-4106763-1466277409 -o /tmp/evaluation-result-4106763-1466277409/solver-4106763-1466277409 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10488 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106763-1466277409.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED=1653779596 node123.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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 : 2666.791 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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: 30147572 kB Buffers: 65508 kB Cached: 120528 kB SwapCached: 1604 kB Active: 53924 kB Inactive: 135224 kB Active(anon): 2340 kB Inactive(anon): 3080 kB Active(file): 51584 kB Inactive(file): 132144 kB Unevictable: 1798212 kB Mlocked: 17888 kB SwapTotal: 67108856 kB SwapFree: 67099320 kB Dirty: 16388 kB Writeback: 0 kB AnonPages: 1804948 kB Mapped: 7064 kB Shmem: 0 kB Slab: 601700 kB SReclaimable: 45616 kB SUnreclaim: 556084 kB KernelStack: 1432 kB PageTables: 6956 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1894732 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 1787904 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= 71604 MiB End job on node123 at 2016-06-18 21:46:50